The MGS is an intensive course of lectures on the Foundations of Computing. It is very well established, with this being our 10th anniversary, and has always proved a very popular and successful event. This year we have Professor Peter Dybjer, Chalmers, Sweden, as guest lecturer.

The lectures are aimed at graduate students, typically in their first or second year of study for a PhD. However, the school is open to anyone who is interested in learning more about mathematical computing foundations. We very much welcome international applications as well as from those from the UK.

For further details and registration visit http://www.cs.le.ac.uk/events/mgs2009. All registrations must be received by 2pm on 30th January 2009.

The 50th Annual Symposium on Foundations of Computer Science (FOCS2009), sponsored by the IEEE Computer Society Technical Committee on Mathematical Foundations of Computing, will be held in at the Renaissance Atlanta Hotel Downtown in Atlanta, GA, October 24-27, 2009. Typical but not exclusive topics of interest include: algorithms and data structures, computational complexity, cryptography, computational geometry, computational game theory, algorithmic graph theory and combinatorics, optimization, randomness in computing, parallel and distributed computing, machine learning, applications of logic, algorithmic algebra and coding theory, theoretical aspects of databases, information retrieval, networks, computational biology, robotics, and quantum computing.

For more information, see http://www.cs.yale.edu/focs09 or contact the Local Arrangements Chairs, Milena Mihail and Prasad Tetali, by email to focs2009 at cc.gatech.edu or focs2009.local at gmail.com.

The MGS is an intensive course of lectures on the Foundations of Computing. It is very well established, with this being our 10th anniversary, and has always proved a very popular and successful event. This year we have Professor Peter Dybjer, Chalmers, Sweden, as guest lecturer.

The lectures are aimed at graduate students, typically in their first or second year of study for a PhD. However, the school is open to anyone who is interested in learning more about mathematical computing foundations. We very much welcome international applications as well as from those from the UK.

For further details and registration visit http://www.cs.le.ac.uk/events/mgs2009. All registrations must be received by 2pm on 30th January 2009.

The MGS is an intensive course of lectures on the Foundations of Computing. It is very well established, with this being our 10th anniversary, and has always proved a very popular and successful event. This year we have Professor Peter Dybjer, Chalmers, Sweden, as guest lecturer.

The lectures are aimed at graduate students, typically in their first or second year of study for a PhD. However, the school is open to anyone who is interested in learning more about mathematical computing foundations. We very much welcome international applications as well as from those from the UK.

For further details and registration visit http://www.cs.le.ac.uk/events/mgs2009. All registrations must be received by 2pm on 30th January 2009.

The philosophy department at New York University will be hosting a conference on the Foundations of Mathematics, in April of 2009. The conference will explore methodological issues surrounding the adoption of new axioms, as well as semantic and metaphysical issues surrounding mathematical truth.

Attendance is open, and there is no registration fee. However, anyone planning to attend must register by emailing shievak at hotmail.com no later than February 31st, 2009. The conference website can be found here: http://homepages.nyu.edu/~sjk362/NYU_Conference.html

The German conference on Multi-Agent System Technologies (MATES) provides an interdisciplinary forum for researchers, users, and developers, to present and discuss latest advances in research work, as well as prototyped or fielded systems of intelligent agents and multi-agent systems.

MATES 2009 will be colocated with the Tenth International Workshop on Computational Logic in Multi-Agent Systems (CLIMA'09) and the Fifth International Workshop on Modeling of Objects, Components, and Agents (MOCA'09). The participants of MATES 2009 will also have full access to the concurrently running programs of these events.

For more information, see http://jadex.informatik.uni-hamburg.de/mates

The philosophy department at New York University will be hosting a conference on the Foundations of Mathematics, in April of 2009. The conference will explore methodological issues surrounding the adoption of new axioms, as well as semantic and metaphysical issues surrounding mathematical truth.

Attendance is open, and there is no registration fee. However, anyone planning to attend must register by emailing shievak at hotmail.com no later than February 31st, 2009. The conference website can be found here: http://homepages.nyu.edu/~sjk362/NYU_Conference.html

The philosophy department at New York University will be hosting a conference on the Foundations of Mathematics, in April of 2009. The conference will explore methodological issues surrounding the adoption of new axioms, as well as semantic and metaphysical issues surrounding mathematical truth.

Attendance is open, and there is no registration fee. However, anyone planning to attend must register by emailing shievak at hotmail.com no later than February 31st, 2009. The conference website can be found here: http://homepages.nyu.edu/~sjk362/NYU_Conference.html

The TIME symposium series is a well-established annual event that brings together researchers from all areas of computer science that involve temporal representation and reasoning. This includes, but is not limited to, artificial intelligence, temporal databases, and the verification of software and hardware systems. In addition to fostering interdisciplinarity, the TIME symposia emphasize bridging the gap between theoretical and applied research.

TIME 2009 encompasses three tracks, but has a single program committee. The conference will span three days, and will be organized as a combination of technical paper presentations, poster sessions, and keynote lectures.

For more information, see http://www.inf.unibz.it/krdb/events/time-2009/

The AISB convention is an annual event organised as a number of collocated symposia loosely organised around a theme, and interspersed with invited plenary talks and poster sessions. This symposium focuses on the application of artificial intelligence or intelligent-like techniques, frameworks and theories to the creation of interactive engaging intelligent games.

For more information, see http://www.aisb.org.uk/convention/aisb09/

The AISB convention is an annual event organised as a number of collocated symposia loosely organised around a theme, and interspersed with invited plenary talks and poster sessions. This symposium focuses on the application of artificial intelligence or intelligent-like techniques, frameworks and theories to the creation of interactive engaging intelligent games.

For more information, see http://www.aisb.org.uk/convention/aisb09/

This symposium marks the start of a new initiative to boost Cognitive Science research at the University of Amsterdam. Following the designation of Cognition as a key research area of the UvA, a small committee of researchers from the CSCA was asked to draw up a proposal to promote collaborative research between groups of different institutes. One of the key elements of the proposal is the establishment of a new institute where researchers from different disciplines will work together on a programme to resolve questions regarding the mechanisms underlying human (and animal) cognition. The new institute will be located near the Spinoza Center for Neuroimaging.

For more information, see here or contact the organisers at info-mcs at uva.nl

The philosophically relevant track within the KI-Conference "History and Philosophical Foundations of AI" deals with the history of AI, its philosophical basics and conceptual debates on basic principles.

Relevant topics are Artificial intelligence and limits of computability, Multi-Agent-Systems and action theory, Computational functionalism, Philosophical reasoning and AI, and Phenomenology and artificial subject.

For more information, see http://www.uni-paderborn.de/philosophie/personal/hagengruber/ki09/ or contact Prof. Dr. Ruth Hagengruber at Ruth.hagengruber at upb.de

GASICS is an ESF project of the EUROCORES programme LogICCC (Modelling intelligent interaction Logic in the Humanities, Social and Computational sciences ). It studies game theoretic formalizations of interactive computational systems and algorithms for their analysis and synthesis. Our aim is to extend the existing notions of games played on graphs introduced by computer scientists. Currently, most of the games played on graphs are of the sort "two-players zero-sum", we aim to extend them to "multiple-players non-zero-sum", and show the applicability of the new theory to the analysis and synthesis of interactive computational systems.

The aim of this workshop is to bring together researchers working on game-related subjects, and to discuss on various aspects of game theory in the fields where it is applied. The workshop will be composed of two invited talks, together with contributed talks on relevant topics.

For more information, see http://www.lsv.ens-cachan.fr/Events/gasics09/

The 4th Indian International Conference on Artificial Intelligence (IICAI-09) will be held in Tumkur (near Bangalore), India during December 16-18 2009. The conference consists of paper presentations, special workshops, sessions, invited talks and local tours, etc. and it is one of the biggest AI events in the world.

For more information, see http://www.iiconference.org/

On July 1-3, 2009 the 5th Spain, Italy, Netherlands Meeting on Game Theory (SING5), is going to be held at VU University Amsterdam, The Netherlands.

This meeting is jointly organized by VU University Amsterdam (VU), University of Amsterdam (UvA), Centrum Wiskunde & Informatica (CWI), and the Tinbergen Institute (TI).

For more information, see http://www.feweb.vu.nl/sing5/

The aim of this conference is to bring together PhD students and postdocs in Set Theory in order to learn from leading researchers in the field, hear about the latest research and to discuss research issues in a co-operative environment. Four senior set theorists have been invited to represent a branch of Set Theory and give morning tutorials about their work. The afternoons will be devoted to small group discussion sessions.

The deadline for registration is 28th February 2009. For more information, see http://wwwmath.uni-muenster.de/logik/YS09/

The Logic Colloquium is the annual European conference on logic, organised under the auspices of the Association for Symbolic Logic (ASL). It provides a forum for presenting and discussing the new developments in the area of logic. The conference attracts researchers from logic, with an emphasis on mathematical logic, but also including researchers from computer science logic and philosophical logic. In previous years, the Logic Colloquium has been organised in Bern (2008) and Wroclaw (2007).

For more information, see http://lc2009.fmi.uni-sofia.bg/

The aim of this conference is to bring together PhD students and postdocs in Set Theory in order to learn from leading researchers in the field, hear about the latest research and to discuss research issues in a co-operative environment. Four senior set theorists have been invited to represent a branch of Set Theory and give morning tutorials about their work. The afternoons will be devoted to small group discussion sessions.

The deadline for registration is 28th February 2009. For more information, see http://wwwmath.uni-muenster.de/logik/YS09/

The aim of this conference is to bring together PhD students and postdocs in Set Theory in order to learn from leading researchers in the field, hear about the latest research and to discuss research issues in a co-operative environment. Four senior set theorists have been invited to represent a branch of Set Theory and give morning tutorials about their work. The afternoons will be devoted to small group discussion sessions.

The deadline for registration is 28th February 2009. For more information, see http://wwwmath.uni-muenster.de/logik/YS09/

The purpose of the colloquium is to enhance the dialogue between linguists and philosophers and to provide a new forum for presenting research in the interface between linguistic semantics and the various related areas of philosophy (philosophy of language, epistemology, metaphysics, philosophy of mathematics, and philosophy of mind). The colloquium is to take place every year, alternating between Paris, London, St Andrews, Barcelona and Oslo: this is the second colloquium.

For more information, see http://www.philosophy.sas.ac.uk/spe_cfp.php

Intelligent virtual agents (IVAs) are interactive characters that exhibit human-like qualities and communicate with humans or each other using natural human modalities such as speech and gesture. They are capable of real-time perception, cognition and action that allow them to participate in a dynamic social environment.

IVA'09 is an interdisciplinary annual conference and the main forum for presenting research on modeling, developing and evaluating intelligent virtual agents with a focus on communicative abilities and social behavior. In addition to presentations on theoretical issues, the conference encourages the showcasing of working applications. Researchers from the fields of human-human and human-robot interaction are also welcome to share work which has a bearing on intelligent virtual agents. IVA'09 particularly encourages submissions on this year's special topic of games.

IVA'09 will be co-located in Amsterdam with the complementary Affective Computing & Intelligent Interaction International Conference (ACII'09, http://www.acii2009.nl/), held 10-12 September 2009.

For more information, see http://iva09.dfki.de

The aim of this conference is to bring together PhD students and postdocs in Set Theory in order to learn from leading researchers in the field, hear about the latest research and to discuss research issues in a co-operative environment. Four senior set theorists have been invited to represent a branch of Set Theory and give morning tutorials about their work. The afternoons will be devoted to small group discussion sessions.

The deadline for registration is 28th February 2009. For more information, see http://wwwmath.uni-muenster.de/logik/YS09/

The purpose of the colloquium is to enhance the dialogue between linguists and philosophers and to provide a new forum for presenting research in the interface between linguistic semantics and the various related areas of philosophy (philosophy of language, epistemology, metaphysics, philosophy of mathematics, and philosophy of mind). The colloquium is to take place every year, alternating between Paris, London, St Andrews, Barcelona and Oslo: this is the second colloquium.

For more information, see http://www.philosophy.sas.ac.uk/spe_cfp.php

The aim of this conference is to bring together PhD students and postdocs in Set Theory in order to learn from leading researchers in the field, hear about the latest research and to discuss research issues in a co-operative environment. Four senior set theorists have been invited to represent a branch of Set Theory and give morning tutorials about their work. The afternoons will be devoted to small group discussion sessions.

The deadline for registration is 28th February 2009. For more information, see http://wwwmath.uni-muenster.de/logik/YS09/

The purpose of the colloquium is to enhance the dialogue between linguists and philosophers and to provide a new forum for presenting research in the interface between linguistic semantics and the various related areas of philosophy (philosophy of language, epistemology, metaphysics, philosophy of mathematics, and philosophy of mind). The colloquium is to take place every year, alternating between Paris, London, St Andrews, Barcelona and Oslo: this is the second colloquium.

For more information, see http://www.philosophy.sas.ac.uk/spe_cfp.php

The symposium brings together leading researchers working at the interface of the three disciplines: game theory, logic programming, and argumentation theory. Inspired by Dung's seminal work "On the Acceptability of Arguments and its Fundamental Role in Non-monotonic Reasoning, Logic Programming and N-persons games" (Artificial Intelligence, 1995), it aims at fostering the interaction between these active but historically autonomous subareas of nonmonotonic and practical reasoning.

The symposium is organized by the Individual and Collective Reasoning Group of the University of Luxembourg. Registration is free but required. More info: http://eqas.gforge.uni.lu/Galp/galp.html

Ten speakers will discuss the status of logic and its position within the intellectual context of the seventeenth century, taking as a starting-point a logic textbook written by John Wallis (1616-1703), founder member of the Royal Society and a prominent mathematician, linguist and musicologist. Topics of discussion include the views of the value of logic held by Hobbes, Locke, Arnauld and Leibniz, as well as the relations between logic and grammar, between logic and mathematics, and between logic and science.

An international symposium, organized by the Wallis Project, Oxford, in collaboration with ILLC, Amsterdam. For more information, see https://www.illc.uva.nl/Wallis/

This conference is dedicated to the 100th anniversary of Anatolii Ivanovich Mal'tsev (1909-1967). The topics of the conference include group theory, ring theory, universal algebra, mathematical logic, computability theory, theoretical computer science, and related areas of mathematics.

For more information, see http://www.math.nsc.ru/conference/malmeet/09/ or contact the organisers by e-mail at tclab at math.nsc.ru.

The symposium brings together leading researchers working at the interface of the three disciplines: game theory, logic programming, and argumentation theory. Inspired by Dung's seminal work "On the Acceptability of Arguments and its Fundamental Role in Non-monotonic Reasoning, Logic Programming and N-persons games" (Artificial Intelligence, 1995), it aims at fostering the interaction between these active but historically autonomous subareas of nonmonotonic and practical reasoning.

The symposium is organized by the Individual and Collective Reasoning Group of the University of Luxembourg. Registration is free but required. More info: http://eqas.gforge.uni.lu/Galp/galp.html

Ten speakers will discuss the status of logic and its position within the intellectual context of the seventeenth century, taking as a starting-point a logic textbook written by John Wallis (1616-1703), founder member of the Royal Society and a prominent mathematician, linguist and musicologist. Topics of discussion include the views of the value of logic held by Hobbes, Locke, Arnauld and Leibniz, as well as the relations between logic and grammar, between logic and mathematics, and between logic and science.

An international symposium, organized by the Wallis Project, Oxford, in collaboration with ILLC, Amsterdam. For more information, see https://www.illc.uva.nl/Wallis/

(Dutch only)
Op vrijdag 24 april organiseert het Korteweg-de Vries Instituut van de UvA voor de zevende keer het congres Leve de Wiskunde! Vooraanstaande wetenschappers zullen u op de hoogte brengen van de recente ontwikkelingen in en rondom de wiskunde.

Voor meer informatie en aanmelden, zie http://www.science.uva.nl/actueel/Agenda.cfm/E34AF2FD-1321-B0BE-A460B1E1E02AED47

Trends in Logic is the conference series of Studia Logica. This year's conference will focus entirely on the philosophy of mathematics. We have invited scholars who pursue the subject at the currently most advanced level. In addition, we invite papers that contribute to and try to advance current debates in the field.

For more information, see http://web.uni-frankfurt.de/trends

This conference brings together scholars working on philosophy of science, history of philosophy and history of science and/or mathematics. The topic is the role of symbolic representations in the development of modern science and mathematics from the end of the sixteenth century throughout the seventeenth century.

For more information, see http://www.pasr.ugent.be/

The general theme of the 32nd International Wittgenstein Symposium will be "Language and World", with sections focusing on Wittgenstein, Theories of the Linguistic Sign, Language and Action, Language and Consciousness, Language and Metaphysics, and Reality and Construction. There will be two workshops, on "Wittgenstein and the Literary" and "Wittgenstein's Nachlass "

For more information, see http://www.alws.at/index.php/wittgenstein/symposium_aktuell/