CogSci 2009 is the annual meeting of the Cognitive Science Society for basic and applied cognitive science research. Scientists from across the world submit their best work and attend CogSci to hear the latest theories and data from the world's best cognitive science researchers. This year the conference will be in the Netherlands for the first time, in Amsterdam. Invited speakers this year are Nikola Clayton, Randall O'Reilly, Joshua Tenenbaum, and the winners of the Rumelhart prize for Cognitive Science, Susan Carey, and Heineken prize for Cognitive Science, Stanislas Dehaene.

More information about the conference can be found through the Cognitive Science Society website: http://cognitivesciencesociety.org/conference2009/.

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 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 British Logic Colloquium exists to support, promote, and foster the study of logic (especially, but not exclusively, formal and mathematical logic) in Britain. It embraces diverse aspects of logic, from the studies of traditional formal systems to philosophical logic and the modern applications in artificial intelligence, computer science and linguistics; above all, it aims to encourage communication between logicians working in related fields.

The Annual Meeting of the British Logic Colloquium will be held at the Department of Computer Science, Swansea University.

For more information, see http://www.cs.swan.ac.uk/blc09/ or contact Ulrich Berger at u.berger at swansea.ac.uk. We have reserved a limited number of on campus accommodation, which are on hold until Monday, August 10, 2009.

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/

Theme: The interaction between ideas or techniques from mathematical logic and other areas of mathematics.
Sponsored by the London Mathematical Society and the British Logic Colloquium

Deadline for early registrations: 31 March 2009. For more information, see http://maths.york.ac.uk/www/York2009

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/

Theme: The interaction between ideas or techniques from mathematical logic and other areas of mathematics.
Sponsored by the London Mathematical Society and the British Logic Colloquium

Deadline for early registrations: 31 March 2009. For more information, see http://maths.york.ac.uk/www/York2009

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/

Theme: The interaction between ideas or techniques from mathematical logic and other areas of mathematics.
Sponsored by the London Mathematical Society and the British Logic Colloquium

Deadline for early registrations: 31 March 2009. For more information, see http://maths.york.ac.uk/www/York2009

Theme: The interaction between ideas or techniques from mathematical logic and other areas of mathematics.
Sponsored by the London Mathematical Society and the British Logic Colloquium

Deadline for early registrations: 31 March 2009. For more information, see http://maths.york.ac.uk/www/York2009

Theme: The interaction between ideas or techniques from mathematical logic and other areas of mathematics.
Sponsored by the London Mathematical Society and the British Logic Colloquium

Deadline for early registrations: 31 March 2009. For more information, see http://maths.york.ac.uk/www/York2009

Our aim is to bring together active researchers in the area of logics and mobile systems, especially in the field of logics and calculi for mobility, agents, and multi-agent systems. Many notions used in the theory of agents are derived from philosophy, logic, and linguistics (belief, desire, intention, speech act, etc.), and interdisciplinary discourse has proved fruitful for the advance of this domain. Outside of academia, the deployment of large-scale pervasive infrastructures (mobile ad-hoc networks, mobile devices, RFIDs, etc.) is becoming a reality. This raises a number of scientific and technological challenges for the software modelling and programming models for such large-scale, open and highly-dynamic distributed systems. The agent and multi-agent systems approach seems particularly adapted to tackle this challenge, but there are many issues remaining to be investigated. The workshop is intended to showcase results and current work being undertaken in these areas with a focus on logics for specification and verification of dynamic, mobile systems.

The workshop will be held as a one-and-a-half-day event before LICS'2009. There will be a general introduction and brief survey of the field by the organiser as an introduction to the workshop. The workshop will contain invited talks, contributed talks, and a discussion session. The latter is meant to give the participants a chance to discuss informally research directions, open problems, and possible co-operations.

Further Information: About the workshop: http://www.dur.ac.uk/lam.09.
About LICS: http://www2.informatik.hu-berlin.de/lics/lics09/

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/

Reducing the likelihood of human error in the use of interactive systems is increasingly important: the use of such systems is becoming widespread in applications that demand high reliability due to safety, security, financial or similar considerations. Interactive systems are also becoming increasingly ubiquitous and being used in new and more complex situations. Consequently, the use of formal methods in verifying the correctness of interactive systems should also include analysis of human behaviour in interacting with the interface as well as with the wider socio-technical system.

The aim of this workshop is to bring together researchers in computer science, cognitive psychology, and other areas of HCI, from both academia and industry, who are interested in both formal methods and interactive system design.

For more information, see http://homepages.cs.ncl.ac.uk/michael.harrison/fmis/. The workshop will be held in conjunction with FM2009 <http://www.win.tue.nl/fm2009/>

Our aim is to bring together active researchers in the area of logics and mobile systems, especially in the field of logics and calculi for mobility, agents, and multi-agent systems. Many notions used in the theory of agents are derived from philosophy, logic, and linguistics (belief, desire, intention, speech act, etc.), and interdisciplinary discourse has proved fruitful for the advance of this domain. Outside of academia, the deployment of large-scale pervasive infrastructures (mobile ad-hoc networks, mobile devices, RFIDs, etc.) is becoming a reality. This raises a number of scientific and technological challenges for the software modelling and programming models for such large-scale, open and highly-dynamic distributed systems. The agent and multi-agent systems approach seems particularly adapted to tackle this challenge, but there are many issues remaining to be investigated. The workshop is intended to showcase results and current work being undertaken in these areas with a focus on logics for specification and verification of dynamic, mobile systems.

The workshop will be held as a one-and-a-half-day event before LICS'2009. There will be a general introduction and brief survey of the field by the organiser as an introduction to the workshop. The workshop will contain invited talks, contributed talks, and a discussion session. The latter is meant to give the participants a chance to discuss informally research directions, open problems, and possible co-operations.

Further Information: About the workshop: http://www.dur.ac.uk/lam.09.
About LICS: http://www2.informatik.hu-berlin.de/lics/lics09/

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/

BLAST is a conference focusing on Boolean Algebras, Lattices, Algebraic Logic, Universal Algebra, Set Theory, Set-theoretic Topology and Point-free Topology. The conference is the second in a series that will rotate among universities of the region. The first conference was held in Denver last summer and was a big success.

The conference webpage is at http://www.math.nmsu.edu/blast.

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/

BLAST is a conference focusing on Boolean Algebras, Lattices, Algebraic Logic, Universal Algebra, Set Theory, Set-theoretic Topology and Point-free Topology. The conference is the second in a series that will rotate among universities of the region. The first conference was held in Denver last summer and was a big success.

The conference webpage is at http://www.math.nmsu.edu/blast.

The IEEE Symposium on Logic In Computer Science (LICS) is an annual international forum on topics that lie at the intersection of computer science and mathematical logic. LICS 2009 will be held at UCLA in Los Angeles, California, USA, 11th-14th August 2009. It will be colocated with the 16th International Static Analysis Symposium (SAS 2009; August 9th-11th).

For more information, see http://www2.informatik.hu-berlin.de/lics/lics09/index.html)

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/

BLAST is a conference focusing on Boolean Algebras, Lattices, Algebraic Logic, Universal Algebra, Set Theory, Set-theoretic Topology and Point-free Topology. The conference is the second in a series that will rotate among universities of the region. The first conference was held in Denver last summer and was a big success.

The conference webpage is at http://www.math.nmsu.edu/blast.

The IEEE Symposium on Logic In Computer Science (LICS) is an annual international forum on topics that lie at the intersection of computer science and mathematical logic. LICS 2009 will be held at UCLA in Los Angeles, California, USA, 11th-14th August 2009. It will be colocated with the 16th International Static Analysis Symposium (SAS 2009; August 9th-11th).

For more information, see http://www2.informatik.hu-berlin.de/lics/lics09/index.html)

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/

BLAST is a conference focusing on Boolean Algebras, Lattices, Algebraic Logic, Universal Algebra, Set Theory, Set-theoretic Topology and Point-free Topology. The conference is the second in a series that will rotate among universities of the region. The first conference was held in Denver last summer and was a big success.

The conference webpage is at http://www.math.nmsu.edu/blast.

The IEEE Symposium on Logic In Computer Science (LICS) is an annual international forum on topics that lie at the intersection of computer science and mathematical logic. LICS 2009 will be held at UCLA in Los Angeles, California, USA, 11th-14th August 2009. It will be colocated with the 16th International Static Analysis Symposium (SAS 2009; August 9th-11th).

For more information, see http://www2.informatik.hu-berlin.de/lics/lics09/index.html)

The purpose of this conference is to initiate an investigation into how current research on computer games touches upon philosophical issues. In line with this purpose, the conference is interdisciplinary, drawing together researchers from diverse fields such as: philosophy, computer game-theory, semiotics, aesthetics, sociology, psychology, and anthropology.

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

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/

BLAST is a conference focusing on Boolean Algebras, Lattices, Algebraic Logic, Universal Algebra, Set Theory, Set-theoretic Topology and Point-free Topology. The conference is the second in a series that will rotate among universities of the region. The first conference was held in Denver last summer and was a big success.

The conference webpage is at http://www.math.nmsu.edu/blast.

The IEEE Symposium on Logic In Computer Science (LICS) is an annual international forum on topics that lie at the intersection of computer science and mathematical logic. LICS 2009 will be held at UCLA in Los Angeles, California, USA, 11th-14th August 2009. It will be colocated with the 16th International Static Analysis Symposium (SAS 2009; August 9th-11th).

For more information, see http://www2.informatik.hu-berlin.de/lics/lics09/index.html)

The purpose of this conference is to initiate an investigation into how current research on computer games touches upon philosophical issues. In line with this purpose, the conference is interdisciplinary, drawing together researchers from diverse fields such as: philosophy, computer game-theory, semiotics, aesthetics, sociology, psychology, and anthropology.

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

A special issue of the Journal of Philosophical Logic on the theme of Logic in India is being planned. Please see the Special Issue page http://www.imsc.res.in/tcsweb/li-jpl.html for details. Potential authors who are interested to submit to this volume are requested to send an email to one of the Guest Editors, by /August 15, 2009/, mentioning their intention, with a title and an abstract of one paragraph. The submission Deadline is: January 1, 2010. Editors are: Rohit Parikh, Ram Ramanujam, Hans van Ditmarsch.

For more information, see http://www.imsc.res.in/tcsweb/li-jpl.html

The conference is designed to provide a biennial, international forum for new work in logic, epistemology, and philosophy of science. The format of the conference will provide an opportunity for speakers to receive constructive feedback from interested colleagues from Colombia and abroad, and for other participants to become acquainted with new work in the field. Invited speakers are Susan Haack (University of Miami), Arnold Koslow (CUNY Graduate Center) and Michael Bishop (Florida State University).

For further details, please visit http://filosofia.uniandes.edu.co/filociencia/eng.htm or contact apaez at uniandes.edu.co

LENLS is an annual international workshop focusing on formal semantics and pragmatics. In the past it has been a satellite of the Japanese Society for Artificial Intelligence conference; this year it will be part of a special workshop session to be held in November, distinct from the conference though still sponsored by JSAI.

For more information, see http://www.is.ocha.ac.jp/~bekki/lenls/ or contac lenls6submission at gmail.com.

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/

The purpose of this conference is to initiate an investigation into how current research on computer games touches upon philosophical issues. In line with this purpose, the conference is interdisciplinary, drawing together researchers from diverse fields such as: philosophy, computer game-theory, semiotics, aesthetics, sociology, psychology, and anthropology.

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

Although classical computable model theory is most naturally concerned with countable domains, several methods---some old, some new---extend its basic concepts to uncountable structures. The purpose of this workshop is to study these various extensions of effectivity to the uncountable, bringing together experts in such topics as sigma-definable structures, alpha-recursion theory, E-recursion thoery, ordinal computability, Blum-Shub-Smale machines, infinite time Turing machines and locally computable structures, among others.

This workshop is the second of its kind, after the inaugural EMU in 2008. In the 2009 workshop we plan to provide tutorial-type introductions to models of computation which were not discussed last year, as well as discuss progress made since last year. A particular theme we plan to focus on is the role of a computable well-ordering of the universe of a structure. We will contrast the approaches which allow such an ordering with those which forbid it. We expect this will have methodological repercussions for the study of effective model theory on countable structures as well.

For more information, see here or http://nylogic.org/EMU, or contact Denis Hirschfeldt at drh at math.uchicago.edu.

Although classical computable model theory is most naturally concerned with countable domains, several methods---some old, some new---extend its basic concepts to uncountable structures. The purpose of this workshop is to study these various extensions of effectivity to the uncountable, bringing together experts in such topics as sigma-definable structures, alpha-recursion theory, E-recursion thoery, ordinal computability, Blum-Shub-Smale machines, infinite time Turing machines and locally computable structures, among others.

This workshop is the second of its kind, after the inaugural EMU in 2008. In the 2009 workshop we plan to provide tutorial-type introductions to models of computation which were not discussed last year, as well as discuss progress made since last year. A particular theme we plan to focus on is the role of a computable well-ordering of the universe of a structure. We will contrast the approaches which allow such an ordering with those which forbid it. We expect this will have methodological repercussions for the study of effective model theory on countable structures as well.

For more information, see here or http://nylogic.org/EMU, or contact Denis Hirschfeldt at drh at math.uchicago.edu.

Although classical computable model theory is most naturally concerned with countable domains, several methods---some old, some new---extend its basic concepts to uncountable structures. The purpose of this workshop is to study these various extensions of effectivity to the uncountable, bringing together experts in such topics as sigma-definable structures, alpha-recursion theory, E-recursion thoery, ordinal computability, Blum-Shub-Smale machines, infinite time Turing machines and locally computable structures, among others.

This workshop is the second of its kind, after the inaugural EMU in 2008. In the 2009 workshop we plan to provide tutorial-type introductions to models of computation which were not discussed last year, as well as discuss progress made since last year. A particular theme we plan to focus on is the role of a computable well-ordering of the universe of a structure. We will contrast the approaches which allow such an ordering with those which forbid it. We expect this will have methodological repercussions for the study of effective model theory on countable structures as well.

For more information, see here or http://nylogic.org/EMU, or contact Denis Hirschfeldt at drh at math.uchicago.edu.

Although classical computable model theory is most naturally concerned with countable domains, several methods---some old, some new---extend its basic concepts to uncountable structures. The purpose of this workshop is to study these various extensions of effectivity to the uncountable, bringing together experts in such topics as sigma-definable structures, alpha-recursion theory, E-recursion thoery, ordinal computability, Blum-Shub-Smale machines, infinite time Turing machines and locally computable structures, among others.

This workshop is the second of its kind, after the inaugural EMU in 2008. In the 2009 workshop we plan to provide tutorial-type introductions to models of computation which were not discussed last year, as well as discuss progress made since last year. A particular theme we plan to focus on is the role of a computable well-ordering of the universe of a structure. We will contrast the approaches which allow such an ordering with those which forbid it. We expect this will have methodological repercussions for the study of effective model theory on countable structures as well.

For more information, see here or http://nylogic.org/EMU, or contact Denis Hirschfeldt at drh at math.uchicago.edu.

Although classical computable model theory is most naturally concerned with countable domains, several methods---some old, some new---extend its basic concepts to uncountable structures. The purpose of this workshop is to study these various extensions of effectivity to the uncountable, bringing together experts in such topics as sigma-definable structures, alpha-recursion theory, E-recursion thoery, ordinal computability, Blum-Shub-Smale machines, infinite time Turing machines and locally computable structures, among others.

This workshop is the second of its kind, after the inaugural EMU in 2008. In the 2009 workshop we plan to provide tutorial-type introductions to models of computation which were not discussed last year, as well as discuss progress made since last year. A particular theme we plan to focus on is the role of a computable well-ordering of the universe of a structure. We will contrast the approaches which allow such an ordering with those which forbid it. We expect this will have methodological repercussions for the study of effective model theory on countable structures as well.

For more information, see here or http://nylogic.org/EMU, or contact Denis Hirschfeldt at drh at math.uchicago.edu.

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.

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.

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.

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.

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/

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.

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/

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/

Human natural languages are complex adaptive systems, forever emergent and adapting to the needs of their communities. This insight is currently revolutionizing many branches of linguistics and this summer school feels the pulse of these exciting developments. It brings together typologists and historical linguists studying language variation and the emergence of new grammatical structure, evolutionary linguists modeling the origins and evolution of language, cognitive linguists investigating the cognitive foundations of language usage and learning, complex systems researchers using methods from statistical physics to study the semiotic dynamics of evolving languages, and computational linguists and AI researchers carrying out experiments to achieve open-ended communication with autonomous robots.

For more information, see http://www.alear.eu/events/cortona2009/Home.html.

Human natural languages are complex adaptive systems, forever emergent and adapting to the needs of their communities. This insight is currently revolutionizing many branches of linguistics and this summer school feels the pulse of these exciting developments. It brings together typologists and historical linguists studying language variation and the emergence of new grammatical structure, evolutionary linguists modeling the origins and evolution of language, cognitive linguists investigating the cognitive foundations of language usage and learning, complex systems researchers using methods from statistical physics to study the semiotic dynamics of evolving languages, and computational linguists and AI researchers carrying out experiments to achieve open-ended communication with autonomous robots.

For more information, see http://www.alear.eu/events/cortona2009/Home.html.

Human natural languages are complex adaptive systems, forever emergent and adapting to the needs of their communities. This insight is currently revolutionizing many branches of linguistics and this summer school feels the pulse of these exciting developments. It brings together typologists and historical linguists studying language variation and the emergence of new grammatical structure, evolutionary linguists modeling the origins and evolution of language, cognitive linguists investigating the cognitive foundations of language usage and learning, complex systems researchers using methods from statistical physics to study the semiotic dynamics of evolving languages, and computational linguists and AI researchers carrying out experiments to achieve open-ended communication with autonomous robots.

For more information, see http://www.alear.eu/events/cortona2009/Home.html.

Traditionally, the philosophy of logic pays little attention to the actual practices of logicians. This is somewhat surprising, as the works of several influential authors have shown the relevancy of attending to actual scientific practices within the philosophy of the empirical sciences as well as the philosophy of mathematics. But there is no hint of a similar 'practical' turn in the philosophy of logic.

The workshop is intended to enable philosophers, logicians and mathematicians to discuss the fruitfulness and viability of a practice-based approach to logic. Within the philosophy of mathematics this approach already has a certain standing, so practice-based philosophy of mathematics can serve as a starting point for the development of a practice-based philosophy of logic. We hope to offer a novel vantage point into what is after all an essentially human and social activity, the practice of logic. What do logicians do? How do they conduct their researches, individually and within the scientific community? How do they communicate with each other? Answers to these questions may offer new insights into the most fundamental issues that the philosophy of logic must address.

For more information, see https://www.illc.uva.nl/pplm/

EASSS is the annual European summer school for PhD and Master's students working in multiagent systems and related fields. Courses include "Game Theory and Mechanism Design", "Coalitional Games", "Negotiation and Auctions", "Fair Division", "Multiagent Planning", "Agents and Arguments", and "Normative Multiagent Systems". This year's edition is colocated with several international workshops (MALLOW-2009).

For more information, see http://agents009.di.unito.it/EASSS.html.