The respective parts of the Philosophy Departments at Bochum (Germany), Lausanne (Switzerland) and Tilburg (The Netherlands) coordinate their graduate education in philosophy of language, mind and science. In this context, week-long meetings are organized which bring together students from all three locations as well as interested graduate students from other universities. Each meeting focuses on one main topic, which is covered in extended tutorials by invited speakers. Additionally, students are invited to present and discuss their own work. The graduate school is kindly sponsored by the DAAD within the Bi-national Graduate Program.

This year's Tilburg week is focused on "Calculation, Intuition, and A Priori Knowledge", and is embedded in the series of biannual René Descartes Lectures, which will this year be delivered by Professor Ian Hacking (Toronto/Paris). There will also be two mini-tutorials, held by James Conant (Chicago) and Martin Kusch (Vienna), on aspects of Professor Hacking's work.

This year's Lausanne week focuses on reductionism in philosophy of mind and neuroscience. The main lecturer is John Bickle. Further invited speakers are Mauro Dorato, Michael Heidelberger, Max Kistler, Albert Newen, Michael Pauen, and Joëlle Proust.

For more information, see http://www.uvt.nl/tilps/blt2010/ and http://www.unil.ch/philo/page64150.html.

Every other year, a distinguished philosopher visits Tilburg University for one week to deliver the René Descartes Lectures. The inaugural lectures were given by Professor Huw Price from the University of Sydney in May 2008. The Descartes Lectures 2010 will be delivered by Professor Ian Hacking from the University of Toronto and the Collège de France. The title of the series of three lectures is "Proof: Calculation, Intuition, and A Priori Knowledge". Each lecture is followed by two commentaries.

The Descartes lectures are accompanied by a workshop that brings together scholars debating issues related to Professor Hacking's lectures.

For more information, see http://www.uvt.nl/tilps/descarteslectures2010/

Advances in Modal Logic is an initiative aimed at presenting the state of the art in modal logic and its various applications. The initiative consists of a conference series together with volumes based on the conferences. Information about the AiML series can be obtained at http://www.aiml.net. AiML-2010 is the eighth conference in the series.

For more information, see http://aiml10.mi.ras.ru/ or contact the chair of the organizing committee at lbekl at yandex.ru or the PC co-chairs at aimolog2010 at gmail.com.

The International Conference on Computational Science 2010 (ICCS 2010) aims to bring together researchers and scientists from mathematics and computer science as basic computing disciplines, researchers from various application areas who are pioneering advanced application of computational methods to sciences such as physics, chemistry, life sciences, and engineering, arts and humanitarian fields, along with software developers and vendors, to discuss problems and solutions in the area, to identify new issues, and to shape future directions for research, as well as to help industrial users apply various advanced computational techniques.

The theme for ICCS 2010 in Amsterdam is "Advancing Computational Thinking", to mark several decades of progress in computational science theory and practice, leading to greatly improved applications in science. This conference will be a unique event focusing on recent developments in methods and modelling of complex systems for diverse areas of science, scalable scientific algorithms, advanced software tools, computational grids, advanced numerical methods, and novel application areas where the above novel models, algorithms and tools can be efficiently applied such as physical systems, computational and systems biology, environmental systems, finance, and others.

For more information, see http://www.iccs-meeting.org/

On Tuesday 1 June 2010 at 11:00am, Daisuke Ikegami will publicly defend his PhD thesis entitled "Games in Set Theory and Logic" in the Oude Lutherse Kerk in Amsterdam. Following the defense, we shall hold a set theory workshop where the members of the committee, local set theorists and some additional guests will give talks. Every interested researcher is cordially invited.

Speakers: Jouko Väänänen, Katie Thompson, Christoph Weiss, Jörg Brendle, Joan Bagaria, Yurii Khomskii, Stefan Geschke, Marcin Sabok, Brian Semmes, Philipp Schlicht, Sean Cox, Dominik Adolf, Ralf Schindler

For more information, see http://staff.science.uva.nl/~ykhomski/workshop_ikegami/

The conference will consist of two parts:
1. A workshop on non-classical algebraic structures (June 2-3, 2010);
2. A workshop within the series of AAA conferences (June 4-6, 2010);
each comprising several longer keynote plenary lectures, a number of shorter plenary lectures, and a larger number of 20-minute contributed talks.

The primary aim of the conference is to review the most recent research results and trends in the above areas, and to promote discussions and interactions between researchers. It should bring together researchers working in the above areas, in order to foster collaboration and future research. A secondary goal is to attract the interest of graduate students and younger researchers, providing them with interesting and significant problems to work on.

The deadline for registration is 7 May 2010. For more information, view the conference web site at http://www.mini.pw.edu.pl/aaa80/.

Computational Humanities is a new, largely unexplored, field which is situated at the interface between the humanities and the (exact) sciences, in particular information science. The humanities differ from the sciences in their concern with expressions of the human mind, such as language, literature, music, art and history. While computational approaches to the humanities exist since the 1960s, it is only during the last decade or so that digitized data have become available in such quantities that we can observe the emergence of a new overarching field. One of the major aims of this field is to automatically detect novel patterns and concepts in historical, musical, textual and artistic data that are (practically) impossible to find by hand. While initial work in computational humanities focused on local and low-level patterns, there is a shift towards unraveling more complex, higher-level patterns such as the notion of theme in literature, style in painting and music, and long-term relations in history. The goal of this workshop is (1) to give an introduction to this upcoming field, and (2) to investigate to what extent computational humanities share models and techniques with other areas of computational science.

For more information, see http://staff.science.uva.nl/~rens/CompHum2010.htm

The International Conference on Computational Science 2010 (ICCS 2010) aims to bring together researchers and scientists from mathematics and computer science as basic computing disciplines, researchers from various application areas who are pioneering advanced application of computational methods to sciences such as physics, chemistry, life sciences, and engineering, arts and humanitarian fields, along with software developers and vendors, to discuss problems and solutions in the area, to identify new issues, and to shape future directions for research, as well as to help industrial users apply various advanced computational techniques.

The theme for ICCS 2010 in Amsterdam is "Advancing Computational Thinking", to mark several decades of progress in computational science theory and practice, leading to greatly improved applications in science. This conference will be a unique event focusing on recent developments in methods and modelling of complex systems for diverse areas of science, scalable scientific algorithms, advanced software tools, computational grids, advanced numerical methods, and novel application areas where the above novel models, algorithms and tools can be efficiently applied such as physical systems, computational and systems biology, environmental systems, finance, and others.

For more information, see http://www.iccs-meeting.org/

On Tuesday 1 June 2010 at 11:00am, Daisuke Ikegami will publicly defend his PhD thesis entitled "Games in Set Theory and Logic" in the Oude Lutherse Kerk in Amsterdam. Following the defense, we shall hold a set theory workshop where the members of the committee, local set theorists and some additional guests will give talks. Every interested researcher is cordially invited.

Speakers: Jouko Väänänen, Katie Thompson, Christoph Weiss, Jörg Brendle, Joan Bagaria, Yurii Khomskii, Stefan Geschke, Marcin Sabok, Brian Semmes, Philipp Schlicht, Sean Cox, Dominik Adolf, Ralf Schindler

For more information, see http://staff.science.uva.nl/~ykhomski/workshop_ikegami/

The conference will consist of two parts:
1. A workshop on non-classical algebraic structures (June 2-3, 2010);
2. A workshop within the series of AAA conferences (June 4-6, 2010);
each comprising several longer keynote plenary lectures, a number of shorter plenary lectures, and a larger number of 20-minute contributed talks.

The primary aim of the conference is to review the most recent research results and trends in the above areas, and to promote discussions and interactions between researchers. It should bring together researchers working in the above areas, in order to foster collaboration and future research. A secondary goal is to attract the interest of graduate students and younger researchers, providing them with interesting and significant problems to work on.

The deadline for registration is 7 May 2010. For more information, view the conference web site at http://www.mini.pw.edu.pl/aaa80/.

This is a conference on Model Theory from a philosophical perspective. The conference is supported by the Institute of Philosophical Research (EA 373) and the “Knowledge, Language and Modelling” Graduate School (ED 139) of the University Paris Ouest Nanterre, and by the Institute of History and Philosophy of Science and Technology (IHPST). It will be held in Paris from June 2 to June 5, 2010 at the University Paris Ouest and at the Ecole Normale Supérieure. Conference organizers are Denis Bonnay, Brice Halimi and Jean-Michel Salanskis.

Please also note the conference website: http://www.u-paris10.fr/91815809/0/fiche___pagelibre/

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 third in a series that will rotate among universities of the region.

There will be invited talks by Mohamed Bekkali, Robert Bonnet, Ken Kunen, Ralph McKenzie, David Milovich, Grigor Sargsyan, Juris Steprans, and Friedrich Wehrung. There will also be tutorials by Andreas Blass, Gary Gruenhage, Sabine Koppelberg, and Ross Willard.

More information can be found at http://euclid.colorado.edu/~kasterma/blast/index.php or obtained by contacting blast at colorado.edu.

The conference will consist of two parts:
1. A workshop on non-classical algebraic structures (June 2-3, 2010);
2. A workshop within the series of AAA conferences (June 4-6, 2010);
each comprising several longer keynote plenary lectures, a number of shorter plenary lectures, and a larger number of 20-minute contributed talks.

The primary aim of the conference is to review the most recent research results and trends in the above areas, and to promote discussions and interactions between researchers. It should bring together researchers working in the above areas, in order to foster collaboration and future research. A secondary goal is to attract the interest of graduate students and younger researchers, providing them with interesting and significant problems to work on.

The deadline for registration is 7 May 2010. For more information, view the conference web site at http://www.mini.pw.edu.pl/aaa80/.

This is a conference on Model Theory from a philosophical perspective. The conference is supported by the Institute of Philosophical Research (EA 373) and the “Knowledge, Language and Modelling” Graduate School (ED 139) of the University Paris Ouest Nanterre, and by the Institute of History and Philosophy of Science and Technology (IHPST). It will be held in Paris from June 2 to June 5, 2010 at the University Paris Ouest and at the Ecole Normale Supérieure. Conference organizers are Denis Bonnay, Brice Halimi and Jean-Michel Salanskis.

Please also note the conference website: http://www.u-paris10.fr/91815809/0/fiche___pagelibre/

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 third in a series that will rotate among universities of the region.

There will be invited talks by Mohamed Bekkali, Robert Bonnet, Ken Kunen, Ralph McKenzie, David Milovich, Grigor Sargsyan, Juris Steprans, and Friedrich Wehrung. There will also be tutorials by Andreas Blass, Gary Gruenhage, Sabine Koppelberg, and Ross Willard.

More information can be found at http://euclid.colorado.edu/~kasterma/blast/index.php or obtained by contacting blast at colorado.edu.

BNAIC is an international scientific conference for research in Artificial Intelligence. The BNAIC conferences series was initiated in 1988 by the Netherlands Association for Artificial Intelligence (later incorporating Belgium and Luxembourg to become the Benelux Association for AI) in order to promote research in AI among Benelux AI researchers, scientists and engineers in related disciplines. This year we are delighted to bring BNAIC for the first time to the Grand Duchy of Luxembourg. According to the success of previous years, BNAIC 2010 will include invited speakers, research and industry presentations and project demonstrations.

For more information, see http://bnaic2010.uni.lu/

The conference will consist of two parts:
1. A workshop on non-classical algebraic structures (June 2-3, 2010);
2. A workshop within the series of AAA conferences (June 4-6, 2010);
each comprising several longer keynote plenary lectures, a number of shorter plenary lectures, and a larger number of 20-minute contributed talks.

The primary aim of the conference is to review the most recent research results and trends in the above areas, and to promote discussions and interactions between researchers. It should bring together researchers working in the above areas, in order to foster collaboration and future research. A secondary goal is to attract the interest of graduate students and younger researchers, providing them with interesting and significant problems to work on.

The deadline for registration is 7 May 2010. For more information, view the conference web site at http://www.mini.pw.edu.pl/aaa80/.

This is a conference on Model Theory from a philosophical perspective. The conference is supported by the Institute of Philosophical Research (EA 373) and the “Knowledge, Language and Modelling” Graduate School (ED 139) of the University Paris Ouest Nanterre, and by the Institute of History and Philosophy of Science and Technology (IHPST). It will be held in Paris from June 2 to June 5, 2010 at the University Paris Ouest and at the Ecole Normale Supérieure. Conference organizers are Denis Bonnay, Brice Halimi and Jean-Michel Salanskis.

Please also note the conference website: http://www.u-paris10.fr/91815809/0/fiche___pagelibre/

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 third in a series that will rotate among universities of the region.

There will be invited talks by Mohamed Bekkali, Robert Bonnet, Ken Kunen, Ralph McKenzie, David Milovich, Grigor Sargsyan, Juris Steprans, and Friedrich Wehrung. There will also be tutorials by Andreas Blass, Gary Gruenhage, Sabine Koppelberg, and Ross Willard.

More information can be found at http://euclid.colorado.edu/~kasterma/blast/index.php or obtained by contacting blast at colorado.edu.

The Indian traditions of logic and epistemology do not fit into the deductive paradigm of mathematical logic which forms the foundations of a large part of current philosophical logic. Instead, intersubjectivity and interaction play an important role. In this respect, they are siumilar to large parts of the Western medieval and early modern logic traditions (e.g., the obligationes or the Logique du Port Royal).

In the past decades, logicians focused on the interactive paradigm and investigated logics of knowledge, belief and communication. These logics have been successfully used in the formalization of Western medieval texts. We expect that similar successes are possible in the field of Indian logic and epistemology. Our workshop will be an encounter between the two relevant research communities.

For more information, see http://www.math.uni-hamburg.de/home/loewe/MoFPILE/

The conference will consist of two parts:
1. A workshop on non-classical algebraic structures (June 2-3, 2010);
2. A workshop within the series of AAA conferences (June 4-6, 2010);
each comprising several longer keynote plenary lectures, a number of shorter plenary lectures, and a larger number of 20-minute contributed talks.

The primary aim of the conference is to review the most recent research results and trends in the above areas, and to promote discussions and interactions between researchers. It should bring together researchers working in the above areas, in order to foster collaboration and future research. A secondary goal is to attract the interest of graduate students and younger researchers, providing them with interesting and significant problems to work on.

The deadline for registration is 7 May 2010. For more information, view the conference web site at http://www.mini.pw.edu.pl/aaa80/.

This is a conference on Model Theory from a philosophical perspective. The conference is supported by the Institute of Philosophical Research (EA 373) and the “Knowledge, Language and Modelling” Graduate School (ED 139) of the University Paris Ouest Nanterre, and by the Institute of History and Philosophy of Science and Technology (IHPST). It will be held in Paris from June 2 to June 5, 2010 at the University Paris Ouest and at the Ecole Normale Supérieure. Conference organizers are Denis Bonnay, Brice Halimi and Jean-Michel Salanskis.

Please also note the conference website: http://www.u-paris10.fr/91815809/0/fiche___pagelibre/

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 third in a series that will rotate among universities of the region.

There will be invited talks by Mohamed Bekkali, Robert Bonnet, Ken Kunen, Ralph McKenzie, David Milovich, Grigor Sargsyan, Juris Steprans, and Friedrich Wehrung. There will also be tutorials by Andreas Blass, Gary Gruenhage, Sabine Koppelberg, and Ross Willard.

More information can be found at http://euclid.colorado.edu/~kasterma/blast/index.php or obtained by contacting blast at colorado.edu.

The Indian traditions of logic and epistemology do not fit into the deductive paradigm of mathematical logic which forms the foundations of a large part of current philosophical logic. Instead, intersubjectivity and interaction play an important role. In this respect, they are siumilar to large parts of the Western medieval and early modern logic traditions (e.g., the obligationes or the Logique du Port Royal).

In the past decades, logicians focused on the interactive paradigm and investigated logics of knowledge, belief and communication. These logics have been successfully used in the formalization of Western medieval texts. We expect that similar successes are possible in the field of Indian logic and epistemology. Our workshop will be an encounter between the two relevant research communities.

For more information, see http://www.math.uni-hamburg.de/home/loewe/MoFPILE/

The conference will consist of two parts:
1. A workshop on non-classical algebraic structures (June 2-3, 2010);
2. A workshop within the series of AAA conferences (June 4-6, 2010);
each comprising several longer keynote plenary lectures, a number of shorter plenary lectures, and a larger number of 20-minute contributed talks.

The primary aim of the conference is to review the most recent research results and trends in the above areas, and to promote discussions and interactions between researchers. It should bring together researchers working in the above areas, in order to foster collaboration and future research. A secondary goal is to attract the interest of graduate students and younger researchers, providing them with interesting and significant problems to work on.

The deadline for registration is 7 May 2010. For more information, view the conference web site at http://www.mini.pw.edu.pl/aaa80/.

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 third in a series that will rotate among universities of the region.

There will be invited talks by Mohamed Bekkali, Robert Bonnet, Ken Kunen, Ralph McKenzie, David Milovich, Grigor Sargsyan, Juris Steprans, and Friedrich Wehrung. There will also be tutorials by Andreas Blass, Gary Gruenhage, Sabine Koppelberg, and Ross Willard.

More information can be found at http://euclid.colorado.edu/~kasterma/blast/index.php or obtained by contacting blast at colorado.edu.

The Indian traditions of logic and epistemology do not fit into the deductive paradigm of mathematical logic which forms the foundations of a large part of current philosophical logic. Instead, intersubjectivity and interaction play an important role. In this respect, they are siumilar to large parts of the Western medieval and early modern logic traditions (e.g., the obligationes or the Logique du Port Royal).

In the past decades, logicians focused on the interactive paradigm and investigated logics of knowledge, belief and communication. These logics have been successfully used in the formalization of Western medieval texts. We expect that similar successes are possible in the field of Indian logic and epistemology. Our workshop will be an encounter between the two relevant research communities.

For more information, see http://www.math.uni-hamburg.de/home/loewe/MoFPILE/

Together with the Association of Journalists of Science (VNW) and the Science center NEMO, NWO organises Bessensap for the 10th time. The event, with the theme "science meets the press, the press meets science" aims to bring together journalists, editors and PR officials.

For more information, see http://www.nwo.nl/bessensap

The DisCoTec series of federated conferences is one of the major events sponsored by the International Federation for Information processing (IFIP). This year the main conferences, taking place on 07-09 June, are:

• COORDINATION - 12th International Conference on Coordination Models and Languages
• DAIS - 10th IFIP International Conference on Distributed Applications and Interoperable Systems
• FMOODS / FORTE - 12th Formal Methods for Open Object-Based Distributed Systems & 30th Formal Techniques for Networked and Distributed Systems

For more information, see http://discotec.project.cwi.nl/

In the summer of 2010, the Department of Philosophy at Carnegie Mellon University will hold a three-week summer school in logic and formal epistemology for promising undergraduates in philosophy, mathematics, computer science, linguistics, and other sciences. The goals are to introduce students to cross-disciplinary fields of research at an early stage in their career, and to forge lasting links between the various disciplines.

The summer school will be held from Monday, June 7 to Friday, June 25, 2010. There will be morning and afternoon lectures and daily problem sessions, as well as outings and social events. This year's topics are "Logic and Scientific Inquiry", "Computability and Foundations" and "Philosophical Logic and Formal Epistemology".

The summer school open to undergraduates, as well as to students who will have just completed their first year of graduate school. Applicants need not be US citizens. There is a $20 nonrefundable application fee. Deadline for applications: March 15, 2010.

For more information, see http://www.phil.cmu.edu/summerschool or contact Jeremy Avigad at avigad at cmu.edu.

The DisCoTec series of federated conferences is one of the major events sponsored by the International Federation for Information processing (IFIP). This year the main conferences, taking place on 07-09 June, are:

• COORDINATION - 12th International Conference on Coordination Models and Languages
• DAIS - 10th IFIP International Conference on Distributed Applications and Interoperable Systems
• FMOODS / FORTE - 12th Formal Methods for Open Object-Based Distributed Systems & 30th Formal Techniques for Networked and Distributed Systems

For more information, see http://discotec.project.cwi.nl/

In the summer of 2010, the Department of Philosophy at Carnegie Mellon University will hold a three-week summer school in logic and formal epistemology for promising undergraduates in philosophy, mathematics, computer science, linguistics, and other sciences. The goals are to introduce students to cross-disciplinary fields of research at an early stage in their career, and to forge lasting links between the various disciplines.

The summer school will be held from Monday, June 7 to Friday, June 25, 2010. There will be morning and afternoon lectures and daily problem sessions, as well as outings and social events. This year's topics are "Logic and Scientific Inquiry", "Computability and Foundations" and "Philosophical Logic and Formal Epistemology".

The summer school open to undergraduates, as well as to students who will have just completed their first year of graduate school. Applicants need not be US citizens. There is a $20 nonrefundable application fee. Deadline for applications: March 15, 2010.

For more information, see http://www.phil.cmu.edu/summerschool or contact Jeremy Avigad at avigad at cmu.edu.

Algebra and Substructural Logics is a workshop on algebraic structures related to substructural logic, organized by Hiroakira Ono (Research Center of Integrated Science, Japan Advanced Institute of Science and Technology JAIST) and Constantine Tsinakis (Vanderbilt University and Consortium for Order in Algebra and Logic, OAL) at the Research Center for Integrated Science at JAIST.

Please direct all inquiries to asubl4 at jaist.ac.jp and visit the workshopÿÿs webpage at http://www.jaist.ac.jp/rcis/asubl4.

The DisCoTec series of federated conferences is one of the major events sponsored by the International Federation for Information processing (IFIP). This year the main conferences, taking place on 07-09 June, are:

• COORDINATION - 12th International Conference on Coordination Models and Languages
• DAIS - 10th IFIP International Conference on Distributed Applications and Interoperable Systems
• FMOODS / FORTE - 12th Formal Methods for Open Object-Based Distributed Systems & 30th Formal Techniques for Networked and Distributed Systems

For more information, see http://discotec.project.cwi.nl/

In the summer of 2010, the Department of Philosophy at Carnegie Mellon University will hold a three-week summer school in logic and formal epistemology for promising undergraduates in philosophy, mathematics, computer science, linguistics, and other sciences. The goals are to introduce students to cross-disciplinary fields of research at an early stage in their career, and to forge lasting links between the various disciplines.

The summer school will be held from Monday, June 7 to Friday, June 25, 2010. There will be morning and afternoon lectures and daily problem sessions, as well as outings and social events. This year's topics are "Logic and Scientific Inquiry", "Computability and Foundations" and "Philosophical Logic and Formal Epistemology".

The summer school open to undergraduates, as well as to students who will have just completed their first year of graduate school. Applicants need not be US citizens. There is a $20 nonrefundable application fee. Deadline for applications: March 15, 2010.

For more information, see http://www.phil.cmu.edu/summerschool or contact Jeremy Avigad at avigad at cmu.edu.

Algebra and Substructural Logics is a workshop on algebraic structures related to substructural logic, organized by Hiroakira Ono (Research Center of Integrated Science, Japan Advanced Institute of Science and Technology JAIST) and Constantine Tsinakis (Vanderbilt University and Consortium for Order in Algebra and Logic, OAL) at the Research Center for Integrated Science at JAIST.

Please direct all inquiries to asubl4 at jaist.ac.jp and visit the workshopÿÿs webpage at http://www.jaist.ac.jp/rcis/asubl4.

Formal approaches to rational individual and interactive decision making is a dynamic and interdisciplinary field of research. The workshop series in Decisions, Games & Logic (DGL) started in 2007 aims at fostering interactions between graduate students, post-docs and senior researchers from economics, logic and philosophy. These year;s workshop will take place at the ENS in Paris and will feature three tutorials in Decisions, Games & Logic, and a panel discussion on the theme 'The future of the Decision Sciences'.

For more information, see the website at http://meansandends.com/workshop10/ or contact the organizers at dgl2010 at rationalite.org.

In the summer of 2010, the Department of Philosophy at Carnegie Mellon University will hold a three-week summer school in logic and formal epistemology for promising undergraduates in philosophy, mathematics, computer science, linguistics, and other sciences. The goals are to introduce students to cross-disciplinary fields of research at an early stage in their career, and to forge lasting links between the various disciplines.

The summer school will be held from Monday, June 7 to Friday, June 25, 2010. There will be morning and afternoon lectures and daily problem sessions, as well as outings and social events. This year's topics are "Logic and Scientific Inquiry", "Computability and Foundations" and "Philosophical Logic and Formal Epistemology".

The summer school open to undergraduates, as well as to students who will have just completed their first year of graduate school. Applicants need not be US citizens. There is a $20 nonrefundable application fee. Deadline for applications: March 15, 2010.

For more information, see http://www.phil.cmu.edu/summerschool or contact Jeremy Avigad at avigad at cmu.edu.

Algebra and Substructural Logics is a workshop on algebraic structures related to substructural logic, organized by Hiroakira Ono (Research Center of Integrated Science, Japan Advanced Institute of Science and Technology JAIST) and Constantine Tsinakis (Vanderbilt University and Consortium for Order in Algebra and Logic, OAL) at the Research Center for Integrated Science at JAIST.

Please direct all inquiries to asubl4 at jaist.ac.jp and visit the workshopÿÿs webpage at http://www.jaist.ac.jp/rcis/asubl4.

Formal approaches to rational individual and interactive decision making is a dynamic and interdisciplinary field of research. The workshop series in Decisions, Games & Logic (DGL) started in 2007 aims at fostering interactions between graduate students, post-docs and senior researchers from economics, logic and philosophy. These year;s workshop will take place at the ENS in Paris and will feature three tutorials in Decisions, Games & Logic, and a panel discussion on the theme 'The future of the Decision Sciences'.

For more information, see the website at http://meansandends.com/workshop10/ or contact the organizers at dgl2010 at rationalite.org.

The publication of the seminal issue on Nonmonotonic Logics by the Artificial Intelligence Journal in 1980 resulted in the new area of research in Knowledge Representation. This development changed the paradigm of logic originated in antiquity, created an important area of mathematical logic, and resulted in exciting discoveries of logical techniques creating new bridges between logic, knowledge representation and computation. The research contributed to mathematical logic, computer science and philosophy, and changed the perspective on applications of logic.

This conference aims to sum up the experience of the first 30 years of nonmonotonic logics and map paths into the future. It will interleave longer invited talks covering all major research trends of the past 30 years with shorter technical presentations providing an account of the current research. Invited presentations will be published in an edited book by the College Publications. A special issue of the Journal of Artificial Intelligence Research will provide a venue for technical presentations.

For more information, see http://sites.google.com/site/nonmonat30/

In the summer of 2010, the Department of Philosophy at Carnegie Mellon University will hold a three-week summer school in logic and formal epistemology for promising undergraduates in philosophy, mathematics, computer science, linguistics, and other sciences. The goals are to introduce students to cross-disciplinary fields of research at an early stage in their career, and to forge lasting links between the various disciplines.

The summer school will be held from Monday, June 7 to Friday, June 25, 2010. There will be morning and afternoon lectures and daily problem sessions, as well as outings and social events. This year's topics are "Logic and Scientific Inquiry", "Computability and Foundations" and "Philosophical Logic and Formal Epistemology".

The summer school open to undergraduates, as well as to students who will have just completed their first year of graduate school. Applicants need not be US citizens. There is a $20 nonrefundable application fee. Deadline for applications: March 15, 2010.

For more information, see http://www.phil.cmu.edu/summerschool or contact Jeremy Avigad at avigad at cmu.edu.

Formal approaches to rational individual and interactive decision making is a dynamic and interdisciplinary field of research. The workshop series in Decisions, Games & Logic (DGL) started in 2007 aims at fostering interactions between graduate students, post-docs and senior researchers from economics, logic and philosophy. These year;s workshop will take place at the ENS in Paris and will feature three tutorials in Decisions, Games & Logic, and a panel discussion on the theme 'The future of the Decision Sciences'.

For more information, see the website at http://meansandends.com/workshop10/ or contact the organizers at dgl2010 at rationalite.org.

For more information, see http://www.dif.unige.it/woc3/ ,

In the summer of 2010, the Department of Philosophy at Carnegie Mellon University will hold a three-week summer school in logic and formal epistemology for promising undergraduates in philosophy, mathematics, computer science, linguistics, and other sciences. The goals are to introduce students to cross-disciplinary fields of research at an early stage in their career, and to forge lasting links between the various disciplines.

The summer school will be held from Monday, June 7 to Friday, June 25, 2010. There will be morning and afternoon lectures and daily problem sessions, as well as outings and social events. This year's topics are "Logic and Scientific Inquiry", "Computability and Foundations" and "Philosophical Logic and Formal Epistemology".

The summer school open to undergraduates, as well as to students who will have just completed their first year of graduate school. Applicants need not be US citizens. There is a $20 nonrefundable application fee. Deadline for applications: March 15, 2010.

For more information, see http://www.phil.cmu.edu/summerschool or contact Jeremy Avigad at avigad at cmu.edu.

For more information, see http://www.dif.unige.it/woc3/ ,

In the summer of 2010, the Department of Philosophy at Carnegie Mellon University will hold a three-week summer school in logic and formal epistemology for promising undergraduates in philosophy, mathematics, computer science, linguistics, and other sciences. The goals are to introduce students to cross-disciplinary fields of research at an early stage in their career, and to forge lasting links between the various disciplines.

The summer school will be held from Monday, June 7 to Friday, June 25, 2010. There will be morning and afternoon lectures and daily problem sessions, as well as outings and social events. This year's topics are "Logic and Scientific Inquiry", "Computability and Foundations" and "Philosophical Logic and Formal Epistemology".

The summer school open to undergraduates, as well as to students who will have just completed their first year of graduate school. Applicants need not be US citizens. There is a $20 nonrefundable application fee. Deadline for applications: March 15, 2010.

For more information, see http://www.phil.cmu.edu/summerschool or contact Jeremy Avigad at avigad at cmu.edu.

The European Summer School in Logic, Language and Information (ESSLLI) is organized every year by the Association for Logic, Language and Information (FoLLI, http://www.folli.org/) in different sites around Europe. The main focus of ESSLLI is on the interface between linguistics, logic and computer science. ESSLLI offers foundational, introductory and advanced courses, as well as workshops, covering a wide variety of topics within or around the three main areas of interest: Language and Computation, Language and Logic, and Logic and Computation. Previous summer schools have been highly successful, attracting up to 500 students from Europe and elsewhere. The school has developed into an important meeting place and forum for discussion for students and researchers interested in the interdisciplinary study of Logic, Language and Information.

For more information, see the ESSLLI 2011 website at http://esslli2011.ijs.si/

In the summer of 2010, the Department of Philosophy at Carnegie Mellon University will hold a three-week summer school in logic and formal epistemology for promising undergraduates in philosophy, mathematics, computer science, linguistics, and other sciences. The goals are to introduce students to cross-disciplinary fields of research at an early stage in their career, and to forge lasting links between the various disciplines.

The summer school will be held from Monday, June 7 to Friday, June 25, 2010. There will be morning and afternoon lectures and daily problem sessions, as well as outings and social events. This year's topics are "Logic and Scientific Inquiry", "Computability and Foundations" and "Philosophical Logic and Formal Epistemology".

The summer school open to undergraduates, as well as to students who will have just completed their first year of graduate school. Applicants need not be US citizens. There is a $20 nonrefundable application fee. Deadline for applications: March 15, 2010.

For more information, see http://www.phil.cmu.edu/summerschool or contact Jeremy Avigad at avigad at cmu.edu.

The goal of our school is to bring people up to speed on certain areas of formal epistemology. We hope to bring those attending up to the point where they have a sense of the cutting edge of the subjects being covered, and understand outstanding issues and problems that researchers hope to address in the future. Our target audience will be philosophers who have a background in logic, but not necessarily in formal epistemology. We particularly welcome the attendance of graduate students.

We ask that you submit a letter of interest to us by April 30. For more information, see here or contact the two organizers, Dylan Dodd (dylan.dodd at gmail.com) and Luca Moretti (l.moretti at abdn.ac.uk).

As part of the interdisciplinary research project on "Knowing how and knowing that" sponsored by the Volkswagen Foundation we organize a three-day international workshop on the Foundations of Social Cognition.

This interdisciplinary meeting starts with philosophical investigations of different levels of processing realized in cognitive and social abilities. These methodological considerations will then be used to develop and discuss a new research framework of investigating social cognition. The workshop will be organized in four Symposia on (1) Levels of Processing, (2) Understanding Other Minds, (3) Social Cognition, and (4) Cultural Cognition/Neuroscience. In addition there will be a Session with Graduate Student presentations and a Poster Session. The conference language will be English.

For more information, see http://www.wuk.uni-bonn.de/workshop2010/topic2010_e.htm

This is the second of a biennially organized conference that brings together scholars and historians of humanities disciplines to draw the outlines for a comparative history of the humanities. Although there exist histories of single humanities disciplines, a comparative history would satisfy a long-felt need, and fill a conspicuous gap in intellectual history.

The first highly successful conference, held in 2008, discussed the early modern period. The theme of this year's meeting is From Early Modern to Modern Disciplines, focusing on the period 1600-1900. Topics include all aspects of the history of philology, linguistics, rhetoric, musicology, literary theory, historiography, art history, archeology and other humanities disciplines, with an emphasis on their interrelations.

Registration deadline: 30 september. For more information, see the conference website at https://www.illc.uva.nl/MakingHumanities/2010/.

In the summer of 2010, the Department of Philosophy at Carnegie Mellon University will hold a three-week summer school in logic and formal epistemology for promising undergraduates in philosophy, mathematics, computer science, linguistics, and other sciences. The goals are to introduce students to cross-disciplinary fields of research at an early stage in their career, and to forge lasting links between the various disciplines.

The summer school will be held from Monday, June 7 to Friday, June 25, 2010. There will be morning and afternoon lectures and daily problem sessions, as well as outings and social events. This year's topics are "Logic and Scientific Inquiry", "Computability and Foundations" and "Philosophical Logic and Formal Epistemology".

The summer school open to undergraduates, as well as to students who will have just completed their first year of graduate school. Applicants need not be US citizens. There is a $20 nonrefundable application fee. Deadline for applications: March 15, 2010.

For more information, see http://www.phil.cmu.edu/summerschool or contact Jeremy Avigad at avigad at cmu.edu.

The goal of our school is to bring people up to speed on certain areas of formal epistemology. We hope to bring those attending up to the point where they have a sense of the cutting edge of the subjects being covered, and understand outstanding issues and problems that researchers hope to address in the future. Our target audience will be philosophers who have a background in logic, but not necessarily in formal epistemology. We particularly welcome the attendance of graduate students.

We ask that you submit a letter of interest to us by April 30. For more information, see here or contact the two organizers, Dylan Dodd (dylan.dodd at gmail.com) and Luca Moretti (l.moretti at abdn.ac.uk).

In the summer of 2010, the Department of Philosophy at Carnegie Mellon University will hold a three-week summer school in logic and formal epistemology for promising undergraduates in philosophy, mathematics, computer science, linguistics, and other sciences. The goals are to introduce students to cross-disciplinary fields of research at an early stage in their career, and to forge lasting links between the various disciplines.

The summer school will be held from Monday, June 7 to Friday, June 25, 2010. There will be morning and afternoon lectures and daily problem sessions, as well as outings and social events. This year's topics are "Logic and Scientific Inquiry", "Computability and Foundations" and "Philosophical Logic and Formal Epistemology".

The summer school open to undergraduates, as well as to students who will have just completed their first year of graduate school. Applicants need not be US citizens. There is a $20 nonrefundable application fee. Deadline for applications: March 15, 2010.

For more information, see http://www.phil.cmu.edu/summerschool or contact Jeremy Avigad at avigad at cmu.edu.

The goal of our school is to bring people up to speed on certain areas of formal epistemology. We hope to bring those attending up to the point where they have a sense of the cutting edge of the subjects being covered, and understand outstanding issues and problems that researchers hope to address in the future. Our target audience will be philosophers who have a background in logic, but not necessarily in formal epistemology. We particularly welcome the attendance of graduate students.

We ask that you submit a letter of interest to us by April 30. For more information, see here or contact the two organizers, Dylan Dodd (dylan.dodd at gmail.com) and Luca Moretti (l.moretti at abdn.ac.uk).

The conference subject is the relationship between logic and knowledge, considered as a topic of current debate, or as an historical case study, or when appropriate as both. Each paper has been assigned a discussant. The Conference is open to public. No registration fee.

For more information, see http://w3.uniroma1.it/logic or contact emiliano.ippoliti at uniroma1.it.

The SemDial Workshops aim at bringing together researchers working on the semantics and pragmatics of dialogue in fields such as formal semantics and pragmatics, artificial intelligence, computational linguistics, psychology, and neural science. SemDial 2010 will be the 14th workshop in the SemDial series. It will take place in the historic city of Poznan (Poland), organized by the Institute of Psychology at Adam Mickeiwicz University. Invited talks will be given by Dale Barr, Jonathan Ginzburg, Jeroen Groenendijk, and Henry Prakken.

The (extended) submission deadline for full papers (8 pages) is the 29th of March, 2010. For more information, see http://www.semdial2010.amu.edu.pl/ and https://www.illc.uva.nl/semdial/

In the summer of 2010, the Department of Philosophy at Carnegie Mellon University will hold a three-week summer school in logic and formal epistemology for promising undergraduates in philosophy, mathematics, computer science, linguistics, and other sciences. The goals are to introduce students to cross-disciplinary fields of research at an early stage in their career, and to forge lasting links between the various disciplines.

The summer school will be held from Monday, June 7 to Friday, June 25, 2010. There will be morning and afternoon lectures and daily problem sessions, as well as outings and social events. This year's topics are "Logic and Scientific Inquiry", "Computability and Foundations" and "Philosophical Logic and Formal Epistemology".

The summer school open to undergraduates, as well as to students who will have just completed their first year of graduate school. Applicants need not be US citizens. There is a $20 nonrefundable application fee. Deadline for applications: March 15, 2010.

For more information, see http://www.phil.cmu.edu/summerschool or contact Jeremy Avigad at avigad at cmu.edu.

The goal of our school is to bring people up to speed on certain areas of formal epistemology. We hope to bring those attending up to the point where they have a sense of the cutting edge of the subjects being covered, and understand outstanding issues and problems that researchers hope to address in the future. Our target audience will be philosophers who have a background in logic, but not necessarily in formal epistemology. We particularly welcome the attendance of graduate students.

We ask that you submit a letter of interest to us by April 30. For more information, see here or contact the two organizers, Dylan Dodd (dylan.dodd at gmail.com) and Luca Moretti (l.moretti at abdn.ac.uk).

The conference subject is the relationship between logic and knowledge, considered as a topic of current debate, or as an historical case study, or when appropriate as both. Each paper has been assigned a discussant. The Conference is open to public. No registration fee.

For more information, see http://w3.uniroma1.it/logic or contact emiliano.ippoliti at uniroma1.it.

The SemDial Workshops aim at bringing together researchers working on the semantics and pragmatics of dialogue in fields such as formal semantics and pragmatics, artificial intelligence, computational linguistics, psychology, and neural science. SemDial 2010 will be the 14th workshop in the SemDial series. It will take place in the historic city of Poznan (Poland), organized by the Institute of Psychology at Adam Mickeiwicz University. Invited talks will be given by Dale Barr, Jonathan Ginzburg, Jeroen Groenendijk, and Henry Prakken.

The (extended) submission deadline for full papers (8 pages) is the 29th of March, 2010. For more information, see http://www.semdial2010.amu.edu.pl/ and https://www.illc.uva.nl/semdial/

The aim of the symposium is to bring together researchers from academia and industry which are actively working in the fields of Games, Automata, Logics, and Formal Verification. The idea is to cover an ample spectrum of themes, ranging from theory to concrete applications, and to stimulate cross-fertilization.

For more information, see http://gandalf.dia.unisa.it/

The square of opposition is a very famous theme related to Aristotelian logic dealing with the notions of opposition, negation, quantification and proposition. This will be the second world congress organized about the square of opposition after a very succesful first edition organized in Montreux , Switzerland in 2007.

The square will be considered in its various aspects. There will be talks by the best specialists of the square and this will be an interdisciplinary event gathering people from various fields : logic, philosophy, mathematics, psychology, linguistics, anthropology, semiotics. Visual and artistic representations of the square will also be presented. There will be a music show and a movie illustrating the square. Invited speakers include Alain Badiou, Pierre Cartier, Jaakko Hintikka, Saul Kripke, Stephen Read.

For more information, see http://www.square-of-opposition.org/.

In the summer of 2010, the Department of Philosophy at Carnegie Mellon University will hold a three-week summer school in logic and formal epistemology for promising undergraduates in philosophy, mathematics, computer science, linguistics, and other sciences. The goals are to introduce students to cross-disciplinary fields of research at an early stage in their career, and to forge lasting links between the various disciplines.

The summer school will be held from Monday, June 7 to Friday, June 25, 2010. There will be morning and afternoon lectures and daily problem sessions, as well as outings and social events. This year's topics are "Logic and Scientific Inquiry", "Computability and Foundations" and "Philosophical Logic and Formal Epistemology".

The summer school open to undergraduates, as well as to students who will have just completed their first year of graduate school. Applicants need not be US citizens. There is a $20 nonrefundable application fee. Deadline for applications: March 15, 2010.

For more information, see http://www.phil.cmu.edu/summerschool or contact Jeremy Avigad at avigad at cmu.edu.

The goal of our school is to bring people up to speed on certain areas of formal epistemology. We hope to bring those attending up to the point where they have a sense of the cutting edge of the subjects being covered, and understand outstanding issues and problems that researchers hope to address in the future. Our target audience will be philosophers who have a background in logic, but not necessarily in formal epistemology. We particularly welcome the attendance of graduate students.

We ask that you submit a letter of interest to us by April 30. For more information, see here or contact the two organizers, Dylan Dodd (dylan.dodd at gmail.com) and Luca Moretti (l.moretti at abdn.ac.uk).

The conference subject is the relationship between logic and knowledge, considered as a topic of current debate, or as an historical case study, or when appropriate as both. Each paper has been assigned a discussant. The Conference is open to public. No registration fee.

For more information, see http://w3.uniroma1.it/logic or contact emiliano.ippoliti at uniroma1.it.

The SemDial Workshops aim at bringing together researchers working on the semantics and pragmatics of dialogue in fields such as formal semantics and pragmatics, artificial intelligence, computational linguistics, psychology, and neural science. SemDial 2010 will be the 14th workshop in the SemDial series. It will take place in the historic city of Poznan (Poland), organized by the Institute of Psychology at Adam Mickeiwicz University. Invited talks will be given by Dale Barr, Jonathan Ginzburg, Jeroen Groenendijk, and Henry Prakken.

The (extended) submission deadline for full papers (8 pages) is the 29th of March, 2010. For more information, see http://www.semdial2010.amu.edu.pl/ and https://www.illc.uva.nl/semdial/

The aim of the symposium is to bring together researchers from academia and industry which are actively working in the fields of Games, Automata, Logics, and Formal Verification. The idea is to cover an ample spectrum of themes, ranging from theory to concrete applications, and to stimulate cross-fertilization.

For more information, see http://gandalf.dia.unisa.it/

The square of opposition is a very famous theme related to Aristotelian logic dealing with the notions of opposition, negation, quantification and proposition. This will be the second world congress organized about the square of opposition after a very succesful first edition organized in Montreux , Switzerland in 2007.

The square will be considered in its various aspects. There will be talks by the best specialists of the square and this will be an interdisciplinary event gathering people from various fields : logic, philosophy, mathematics, psychology, linguistics, anthropology, semiotics. Visual and artistic representations of the square will also be presented. There will be a music show and a movie illustrating the square. Invited speakers include Alain Badiou, Pierre Cartier, Jaakko Hintikka, Saul Kripke, Stephen Read.

For more information, see http://www.square-of-opposition.org/.

The aim of PCC is to stimulate research in proof theory, computation, and complexity, focusing on issues which combine logical and computational aspects. Topics may include applications of formal inference systems in computer science, as well as new developments in proof theory motivated by computer science demands. Specific areas of interest are (non-exhaustively listed) foundations for specification and programming languages, logical methods in specification and program development including program extraction from proofs, type theory, new developments in structural proof theory, and implicit computational complexity.

For more information, see http://pcc2010.unibe.ch/

In the summer of 2010, the Department of Philosophy at Carnegie Mellon University will hold a three-week summer school in logic and formal epistemology for promising undergraduates in philosophy, mathematics, computer science, linguistics, and other sciences. The goals are to introduce students to cross-disciplinary fields of research at an early stage in their career, and to forge lasting links between the various disciplines.

The summer school will be held from Monday, June 7 to Friday, June 25, 2010. There will be morning and afternoon lectures and daily problem sessions, as well as outings and social events. This year's topics are "Logic and Scientific Inquiry", "Computability and Foundations" and "Philosophical Logic and Formal Epistemology".

The summer school open to undergraduates, as well as to students who will have just completed their first year of graduate school. Applicants need not be US citizens. There is a $20 nonrefundable application fee. Deadline for applications: March 15, 2010.

For more information, see http://www.phil.cmu.edu/summerschool or contact Jeremy Avigad at avigad at cmu.edu.

The conference subject is the relationship between logic and knowledge, considered as a topic of current debate, or as an historical case study, or when appropriate as both. Each paper has been assigned a discussant. The Conference is open to public. No registration fee.

For more information, see http://w3.uniroma1.it/logic or contact emiliano.ippoliti at uniroma1.it.

The square of opposition is a very famous theme related to Aristotelian logic dealing with the notions of opposition, negation, quantification and proposition. This will be the second world congress organized about the square of opposition after a very succesful first edition organized in Montreux , Switzerland in 2007.

The square will be considered in its various aspects. There will be talks by the best specialists of the square and this will be an interdisciplinary event gathering people from various fields : logic, philosophy, mathematics, psychology, linguistics, anthropology, semiotics. Visual and artistic representations of the square will also be presented. There will be a music show and a movie illustrating the square. Invited speakers include Alain Badiou, Pierre Cartier, Jaakko Hintikka, Saul Kripke, Stephen Read.

For more information, see http://www.square-of-opposition.org/.

The aim of PCC is to stimulate research in proof theory, computation, and complexity, focusing on issues which combine logical and computational aspects. Topics may include applications of formal inference systems in computer science, as well as new developments in proof theory motivated by computer science demands. Specific areas of interest are (non-exhaustively listed) foundations for specification and programming languages, logical methods in specification and program development including program extraction from proofs, type theory, new developments in structural proof theory, and implicit computational complexity.

For more information, see http://pcc2010.unibe.ch/

This summer there will be a Math Research Community in the Model Theory of Fields. The program is run by the American Mathematical Society, funded largely by the NSF, and it will take place at Snowbird, Utah June 19-25, 2010. Those of us organizing the program believe it will be a great and intense opportunity for 40 Ph-D-young researchers to learn about and work on problems related to the model theory of valued fields, including topics in motivic integration, Witt-Frobenius, and Berkovich spaces. There will also be a follow-up with a special session in New Orleans in January 2011, and some support for travel there as well.

See http://www.ams.org/amsmtgs/mrc-10.html for details. Application deadline: March 1,2010.

Fixed points play a fundamental role in several areas of computer science and logic by justifying induction and recursive definitions. The construction and properties of fixed points have been investigated in many different frameworks such as: design and implementation of programming languages, program logics, databases. The aim of the workshop is to provide a forum for researchers to present their results to those members of the computer science and logic communities who study or apply the theory of fixed points.

FICS-2010 is a satellite workshop to MFCS & CSL 2010. For more information, see http://www.lif.univ-mrs.fr/fics2010/

The workshop will bring together logicians, philosophers, psychologists and cognitive scientists to discuss the interface between cognitive science and psychology, on the one hand, and the philosophy of logic on the other hand. More specifically, we wish to investigate the extent to which (if at all), and in what ways, experimental results from these fields may contribute to the formulation of an empirically-informed philosophy of logic, taking into account how human agents, logicians and non-logicians alike, in fact reason.

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

In the summer of 2010, the Department of Philosophy at Carnegie Mellon University will hold a three-week summer school in logic and formal epistemology for promising undergraduates in philosophy, mathematics, computer science, linguistics, and other sciences. The goals are to introduce students to cross-disciplinary fields of research at an early stage in their career, and to forge lasting links between the various disciplines.

The summer school will be held from Monday, June 7 to Friday, June 25, 2010. There will be morning and afternoon lectures and daily problem sessions, as well as outings and social events. This year's topics are "Logic and Scientific Inquiry", "Computability and Foundations" and "Philosophical Logic and Formal Epistemology".

The summer school open to undergraduates, as well as to students who will have just completed their first year of graduate school. Applicants need not be US citizens. There is a $20 nonrefundable application fee. Deadline for applications: March 15, 2010.

For more information, see http://www.phil.cmu.edu/summerschool or contact Jeremy Avigad at avigad at cmu.edu.

The square of opposition is a very famous theme related to Aristotelian logic dealing with the notions of opposition, negation, quantification and proposition. This will be the second world congress organized about the square of opposition after a very succesful first edition organized in Montreux , Switzerland in 2007.

The square will be considered in its various aspects. There will be talks by the best specialists of the square and this will be an interdisciplinary event gathering people from various fields : logic, philosophy, mathematics, psychology, linguistics, anthropology, semiotics. Visual and artistic representations of the square will also be presented. There will be a music show and a movie illustrating the square. Invited speakers include Alain Badiou, Pierre Cartier, Jaakko Hintikka, Saul Kripke, Stephen Read.

For more information, see http://www.square-of-opposition.org/.

This summer there will be a Math Research Community in the Model Theory of Fields. The program is run by the American Mathematical Society, funded largely by the NSF, and it will take place at Snowbird, Utah June 19-25, 2010. Those of us organizing the program believe it will be a great and intense opportunity for 40 Ph-D-young researchers to learn about and work on problems related to the model theory of valued fields, including topics in motivic integration, Witt-Frobenius, and Berkovich spaces. There will also be a follow-up with a special session in New Orleans in January 2011, and some support for travel there as well.

See http://www.ams.org/amsmtgs/mrc-10.html for details. Application deadline: March 1,2010.

The fourth NASSLLI (after previous editions at Stanford University, Indiana University, and UCLA) will return to Bloomington, Indiana, June 20 - 26, 2010. The summer school, loosely modeled on the long-running ESSLLI series in Europe, will consist of a number of courses and workshops, selected on the basis of the proposals. By default, courses and workshops meet for 90 or 120 minutes on each of five days.

For more information, see http://www.indiana.edu/~nasslli/ or contact the local organisers at nasslli at indiana.edu.

In the summer of 2010, the Department of Philosophy at Carnegie Mellon University will hold a three-week summer school in logic and formal epistemology for promising undergraduates in philosophy, mathematics, computer science, linguistics, and other sciences. The goals are to introduce students to cross-disciplinary fields of research at an early stage in their career, and to forge lasting links between the various disciplines.

The summer school will be held from Monday, June 7 to Friday, June 25, 2010. There will be morning and afternoon lectures and daily problem sessions, as well as outings and social events. This year's topics are "Logic and Scientific Inquiry", "Computability and Foundations" and "Philosophical Logic and Formal Epistemology".

The summer school open to undergraduates, as well as to students who will have just completed their first year of graduate school. Applicants need not be US citizens. There is a $20 nonrefundable application fee. Deadline for applications: March 15, 2010.

For more information, see http://www.phil.cmu.edu/summerschool or contact Jeremy Avigad at avigad at cmu.edu.

This summer there will be a Math Research Community in the Model Theory of Fields. The program is run by the American Mathematical Society, funded largely by the NSF, and it will take place at Snowbird, Utah June 19-25, 2010. Those of us organizing the program believe it will be a great and intense opportunity for 40 Ph-D-young researchers to learn about and work on problems related to the model theory of valued fields, including topics in motivic integration, Witt-Frobenius, and Berkovich spaces. There will also be a follow-up with a special session in New Orleans in January 2011, and some support for travel there as well.

See http://www.ams.org/amsmtgs/mrc-10.html for details. Application deadline: March 1,2010.

The fourth NASSLLI (after previous editions at Stanford University, Indiana University, and UCLA) will return to Bloomington, Indiana, June 20 - 26, 2010. The summer school, loosely modeled on the long-running ESSLLI series in Europe, will consist of a number of courses and workshops, selected on the basis of the proposals. By default, courses and workshops meet for 90 or 120 minutes on each of five days.

For more information, see http://www.indiana.edu/~nasslli/ or contact the local organisers at nasslli at indiana.edu.

This conference is part of a series of conferences organised by the PratiScienS research group at the Archives Henri Poincaré, Nancy University, France. It is aimed at discussing and exploring the practice of mathematics and logic from an epistemological standpoint. That is, we look for papers on how the concrete practices of mathematicians and logicians may influence the results of their enquiries and, more broadly, the notion of what counts as proof. Through this conference, the PratiScienS group also aims at promoting a methodological reflection on the difficulties that a critical analysis of such practices in logic and mathematics implies and on issues related to the development of the appropriate exploratory conceptual tools.

For more information, see http://poincare.univ-nancy2.fr/encours/Activites?contentId=6803

The subject of the conference is general algebra, lattice theory and their applications. The program will consist of inivited lectures, shorter plenary talks and contributed talks in parallel sections. The list of shorter plenary lectures includes Jaroslav Jezek (Prague) and Vera Trnkova (Prague).

The registration deadline is June 1 (unless you request dormitories, see bellow). For more information, see http://www.karlin.mff.cuni.cz/~ical/

In the summer of 2010, the Department of Philosophy at Carnegie Mellon University will hold a three-week summer school in logic and formal epistemology for promising undergraduates in philosophy, mathematics, computer science, linguistics, and other sciences. The goals are to introduce students to cross-disciplinary fields of research at an early stage in their career, and to forge lasting links between the various disciplines.

The summer school will be held from Monday, June 7 to Friday, June 25, 2010. There will be morning and afternoon lectures and daily problem sessions, as well as outings and social events. This year's topics are "Logic and Scientific Inquiry", "Computability and Foundations" and "Philosophical Logic and Formal Epistemology".

The summer school open to undergraduates, as well as to students who will have just completed their first year of graduate school. Applicants need not be US citizens. There is a $20 nonrefundable application fee. Deadline for applications: March 15, 2010.

For more information, see http://www.phil.cmu.edu/summerschool or contact Jeremy Avigad at avigad at cmu.edu.

This summer there will be a Math Research Community in the Model Theory of Fields. The program is run by the American Mathematical Society, funded largely by the NSF, and it will take place at Snowbird, Utah June 19-25, 2010. Those of us organizing the program believe it will be a great and intense opportunity for 40 Ph-D-young researchers to learn about and work on problems related to the model theory of valued fields, including topics in motivic integration, Witt-Frobenius, and Berkovich spaces. There will also be a follow-up with a special session in New Orleans in January 2011, and some support for travel there as well.

See http://www.ams.org/amsmtgs/mrc-10.html for details. Application deadline: March 1,2010.

The fourth NASSLLI (after previous editions at Stanford University, Indiana University, and UCLA) will return to Bloomington, Indiana, June 20 - 26, 2010. The summer school, loosely modeled on the long-running ESSLLI series in Europe, will consist of a number of courses and workshops, selected on the basis of the proposals. By default, courses and workshops meet for 90 or 120 minutes on each of five days.

For more information, see http://www.indiana.edu/~nasslli/ or contact the local organisers at nasslli at indiana.edu.

This conference is part of a series of conferences organised by the PratiScienS research group at the Archives Henri Poincaré, Nancy University, France. It is aimed at discussing and exploring the practice of mathematics and logic from an epistemological standpoint. That is, we look for papers on how the concrete practices of mathematicians and logicians may influence the results of their enquiries and, more broadly, the notion of what counts as proof. Through this conference, the PratiScienS group also aims at promoting a methodological reflection on the difficulties that a critical analysis of such practices in logic and mathematics implies and on issues related to the development of the appropriate exploratory conceptual tools.

For more information, see http://poincare.univ-nancy2.fr/encours/Activites?contentId=6803

The subject of the conference is general algebra, lattice theory and their applications. The program will consist of inivited lectures, shorter plenary talks and contributed talks in parallel sections. The list of shorter plenary lectures includes Jaroslav Jezek (Prague) and Vera Trnkova (Prague).

The registration deadline is June 1 (unless you request dormitories, see bellow). For more information, see http://www.karlin.mff.cuni.cz/~ical/

Solution concepts for extensive form games is a classical topic of game theory. In recent years, the topic has also been attracting attention from various subcommunities of the theoretical computer science community. This workshop brings together researchers from game theory, economics, cryptography, algorithms and formal methods.

Topics to be discussed include
* Game theoretic analysis and solution concepts for cryptographic protocols,
* Computational properties of solution concepts (e.g., algorithms and computational hardness of equilibrium refinements),
* Bounded and computational rationality in extensive games,
* Solution concepts for extensive form games from the perspective of epistemic game theory,
* Solution concepts for infinite duration games (stochastic games, recursive games, reachability games etc.).

The workshop will be open to a limited number of participants. There will be no registration fee. If you wish to participate please send an email to cagt at cs.au.dk with subject header [SCEG] by May 15th.

Detailed information about the workshop will be added later at the workshop webpage: http://www.cs.au.dk/cagt/sol.html A detailed program can be expected around June 1st.

This is a small workshop on June 22, 2010, in connection with the PhD defense of Jarmo Kontinen on the topic of the thesis: Coherence and Complexity in Fragments of Dependence Logic.

Speakers are: Davide Grossi (Amsterdam), Peter Lohmann (Hannover), Lauri Hella (Tampere), Pietro Galliani (Amsterdam), Theo Janssen (Amsterdam), Juha Kontinen (Helsinki). Organizer: Jouko Väänänen

For more information, see http://www.math.helsinki.fi/logic/jarmo/

In the summer of 2010, the Department of Philosophy at Carnegie Mellon University will hold a three-week summer school in logic and formal epistemology for promising undergraduates in philosophy, mathematics, computer science, linguistics, and other sciences. The goals are to introduce students to cross-disciplinary fields of research at an early stage in their career, and to forge lasting links between the various disciplines.

The summer school will be held from Monday, June 7 to Friday, June 25, 2010. There will be morning and afternoon lectures and daily problem sessions, as well as outings and social events. This year's topics are "Logic and Scientific Inquiry", "Computability and Foundations" and "Philosophical Logic and Formal Epistemology".

The summer school open to undergraduates, as well as to students who will have just completed their first year of graduate school. Applicants need not be US citizens. There is a $20 nonrefundable application fee. Deadline for applications: March 15, 2010.

For more information, see http://www.phil.cmu.edu/summerschool or contact Jeremy Avigad at avigad at cmu.edu.

This summer there will be a Math Research Community in the Model Theory of Fields. The program is run by the American Mathematical Society, funded largely by the NSF, and it will take place at Snowbird, Utah June 19-25, 2010. Those of us organizing the program believe it will be a great and intense opportunity for 40 Ph-D-young researchers to learn about and work on problems related to the model theory of valued fields, including topics in motivic integration, Witt-Frobenius, and Berkovich spaces. There will also be a follow-up with a special session in New Orleans in January 2011, and some support for travel there as well.

See http://www.ams.org/amsmtgs/mrc-10.html for details. Application deadline: March 1,2010.

The fourth NASSLLI (after previous editions at Stanford University, Indiana University, and UCLA) will return to Bloomington, Indiana, June 20 - 26, 2010. The summer school, loosely modeled on the long-running ESSLLI series in Europe, will consist of a number of courses and workshops, selected on the basis of the proposals. By default, courses and workshops meet for 90 or 120 minutes on each of five days.

For more information, see http://www.indiana.edu/~nasslli/ or contact the local organisers at nasslli at indiana.edu.

This conference is part of a series of conferences organised by the PratiScienS research group at the Archives Henri Poincaré, Nancy University, France. It is aimed at discussing and exploring the practice of mathematics and logic from an epistemological standpoint. That is, we look for papers on how the concrete practices of mathematicians and logicians may influence the results of their enquiries and, more broadly, the notion of what counts as proof. Through this conference, the PratiScienS group also aims at promoting a methodological reflection on the difficulties that a critical analysis of such practices in logic and mathematics implies and on issues related to the development of the appropriate exploratory conceptual tools.

For more information, see http://poincare.univ-nancy2.fr/encours/Activites?contentId=6803

The subject of the conference is general algebra, lattice theory and their applications. The program will consist of inivited lectures, shorter plenary talks and contributed talks in parallel sections. The list of shorter plenary lectures includes Jaroslav Jezek (Prague) and Vera Trnkova (Prague).

The registration deadline is June 1 (unless you request dormitories, see bellow). For more information, see http://www.karlin.mff.cuni.cz/~ical/

Solution concepts for extensive form games is a classical topic of game theory. In recent years, the topic has also been attracting attention from various subcommunities of the theoretical computer science community. This workshop brings together researchers from game theory, economics, cryptography, algorithms and formal methods.

Topics to be discussed include
* Game theoretic analysis and solution concepts for cryptographic protocols,
* Computational properties of solution concepts (e.g., algorithms and computational hardness of equilibrium refinements),
* Bounded and computational rationality in extensive games,
* Solution concepts for extensive form games from the perspective of epistemic game theory,
* Solution concepts for infinite duration games (stochastic games, recursive games, reachability games etc.).

The workshop will be open to a limited number of participants. There will be no registration fee. If you wish to participate please send an email to cagt at cs.au.dk with subject header [SCEG] by May 15th.

Detailed information about the workshop will be added later at the workshop webpage: http://www.cs.au.dk/cagt/sol.html A detailed program can be expected around June 1st.

In the summer of 2010, the Department of Philosophy at Carnegie Mellon University will hold a three-week summer school in logic and formal epistemology for promising undergraduates in philosophy, mathematics, computer science, linguistics, and other sciences. The goals are to introduce students to cross-disciplinary fields of research at an early stage in their career, and to forge lasting links between the various disciplines.

The summer school will be held from Monday, June 7 to Friday, June 25, 2010. There will be morning and afternoon lectures and daily problem sessions, as well as outings and social events. This year's topics are "Logic and Scientific Inquiry", "Computability and Foundations" and "Philosophical Logic and Formal Epistemology".

The summer school open to undergraduates, as well as to students who will have just completed their first year of graduate school. Applicants need not be US citizens. There is a $20 nonrefundable application fee. Deadline for applications: March 15, 2010.

For more information, see http://www.phil.cmu.edu/summerschool or contact Jeremy Avigad at avigad at cmu.edu.

This summer there will be a Math Research Community in the Model Theory of Fields. The program is run by the American Mathematical Society, funded largely by the NSF, and it will take place at Snowbird, Utah June 19-25, 2010. Those of us organizing the program believe it will be a great and intense opportunity for 40 Ph-D-young researchers to learn about and work on problems related to the model theory of valued fields, including topics in motivic integration, Witt-Frobenius, and Berkovich spaces. There will also be a follow-up with a special session in New Orleans in January 2011, and some support for travel there as well.

See http://www.ams.org/amsmtgs/mrc-10.html for details. Application deadline: March 1,2010.

The fourth NASSLLI (after previous editions at Stanford University, Indiana University, and UCLA) will return to Bloomington, Indiana, June 20 - 26, 2010. The summer school, loosely modeled on the long-running ESSLLI series in Europe, will consist of a number of courses and workshops, selected on the basis of the proposals. By default, courses and workshops meet for 90 or 120 minutes on each of five days.

For more information, see http://www.indiana.edu/~nasslli/ or contact the local organisers at nasslli at indiana.edu.

The subject of the conference is general algebra, lattice theory and their applications. The program will consist of inivited lectures, shorter plenary talks and contributed talks in parallel sections. The list of shorter plenary lectures includes Jaroslav Jezek (Prague) and Vera Trnkova (Prague).

The registration deadline is June 1 (unless you request dormitories, see bellow). For more information, see http://www.karlin.mff.cuni.cz/~ical/

Solution concepts for extensive form games is a classical topic of game theory. In recent years, the topic has also been attracting attention from various subcommunities of the theoretical computer science community. This workshop brings together researchers from game theory, economics, cryptography, algorithms and formal methods.

Topics to be discussed include
* Game theoretic analysis and solution concepts for cryptographic protocols,
* Computational properties of solution concepts (e.g., algorithms and computational hardness of equilibrium refinements),
* Bounded and computational rationality in extensive games,
* Solution concepts for extensive form games from the perspective of epistemic game theory,
* Solution concepts for infinite duration games (stochastic games, recursive games, reachability games etc.).

The workshop will be open to a limited number of participants. There will be no registration fee. If you wish to participate please send an email to cagt at cs.au.dk with subject header [SCEG] by May 15th.

Detailed information about the workshop will be added later at the workshop webpage: http://www.cs.au.dk/cagt/sol.html A detailed program can be expected around June 1st.

This Workshop seeks to examine and explore issues concerning the logical and philosophical aspects of knowledge, communication and action in an integrated view. Perspectives are sought from those engaged in the fields of logic, history and philosophy of logic, logic applied to artificial intelligence and cognitive systems, general epistemology, social epistemology, belief theory, communication theory, discourse theory, formal semantics, pragmatics, philosophy of action, and history of philosophy connected with those topics. These disciplines are indicative only, as papers are welcomed from any area in which logic and philosophy of KCA play a part.

For more information, see http://www.ilcli.ehu.es/p287-content/en/contenidos/evento/ or contact Dr. María Ponte (e-mail: maria.deponte at ehu.es) or Dr. Xabier Arrazola (e-mail: josebaxabier.arrazola at ehu.es).

In the summer of 2010, the Department of Philosophy at Carnegie Mellon University will hold a three-week summer school in logic and formal epistemology for promising undergraduates in philosophy, mathematics, computer science, linguistics, and other sciences. The goals are to introduce students to cross-disciplinary fields of research at an early stage in their career, and to forge lasting links between the various disciplines.

The summer school will be held from Monday, June 7 to Friday, June 25, 2010. There will be morning and afternoon lectures and daily problem sessions, as well as outings and social events. This year's topics are "Logic and Scientific Inquiry", "Computability and Foundations" and "Philosophical Logic and Formal Epistemology".

The summer school open to undergraduates, as well as to students who will have just completed their first year of graduate school. Applicants need not be US citizens. There is a $20 nonrefundable application fee. Deadline for applications: March 15, 2010.

For more information, see http://www.phil.cmu.edu/summerschool or contact Jeremy Avigad at avigad at cmu.edu.

This summer there will be a Math Research Community in the Model Theory of Fields. The program is run by the American Mathematical Society, funded largely by the NSF, and it will take place at Snowbird, Utah June 19-25, 2010. Those of us organizing the program believe it will be a great and intense opportunity for 40 Ph-D-young researchers to learn about and work on problems related to the model theory of valued fields, including topics in motivic integration, Witt-Frobenius, and Berkovich spaces. There will also be a follow-up with a special session in New Orleans in January 2011, and some support for travel there as well.

See http://www.ams.org/amsmtgs/mrc-10.html for details. Application deadline: March 1,2010.

The fourth NASSLLI (after previous editions at Stanford University, Indiana University, and UCLA) will return to Bloomington, Indiana, June 20 - 26, 2010. The summer school, loosely modeled on the long-running ESSLLI series in Europe, will consist of a number of courses and workshops, selected on the basis of the proposals. By default, courses and workshops meet for 90 or 120 minutes on each of five days.

For more information, see http://www.indiana.edu/~nasslli/ or contact the local organisers at nasslli at indiana.edu.

The subject of the conference is general algebra, lattice theory and their applications. The program will consist of inivited lectures, shorter plenary talks and contributed talks in parallel sections. The list of shorter plenary lectures includes Jaroslav Jezek (Prague) and Vera Trnkova (Prague).

The registration deadline is June 1 (unless you request dormitories, see bellow). For more information, see http://www.karlin.mff.cuni.cz/~ical/

Solution concepts for extensive form games is a classical topic of game theory. In recent years, the topic has also been attracting attention from various subcommunities of the theoretical computer science community. This workshop brings together researchers from game theory, economics, cryptography, algorithms and formal methods.

Topics to be discussed include
* Game theoretic analysis and solution concepts for cryptographic protocols,
* Computational properties of solution concepts (e.g., algorithms and computational hardness of equilibrium refinements),
* Bounded and computational rationality in extensive games,
* Solution concepts for extensive form games from the perspective of epistemic game theory,
* Solution concepts for infinite duration games (stochastic games, recursive games, reachability games etc.).

The workshop will be open to a limited number of participants. There will be no registration fee. If you wish to participate please send an email to cagt at cs.au.dk with subject header [SCEG] by May 15th.

Detailed information about the workshop will be added later at the workshop webpage: http://www.cs.au.dk/cagt/sol.html A detailed program can be expected around June 1st.

The Centre for Philosophy of Natural and Social Science announces its Third Graduate Conference in Philosophy of Probability to be held at the London School of Economics.

We are very pleased to have Professor Dorothy Edgington (Birkbeck), Professor Mauricio Suárez (Compultense University) and Dr. Antony Eagle (Oxford) as our keynote speakers.

For more information, see http://www2.lse.ac.uk/CPNSS/events/GraduateConferences/gradconf10.aspx or contact Seamus Bradley at :s.c.bradley at lse.ac.uk.

The fourth NASSLLI (after previous editions at Stanford University, Indiana University, and UCLA) will return to Bloomington, Indiana, June 20 - 26, 2010. The summer school, loosely modeled on the long-running ESSLLI series in Europe, will consist of a number of courses and workshops, selected on the basis of the proposals. By default, courses and workshops meet for 90 or 120 minutes on each of five days.

For more information, see http://www.indiana.edu/~nasslli/ or contact the local organisers at nasslli at indiana.edu.

The Centre for Philosophy of Natural and Social Science announces its Third Graduate Conference in Philosophy of Probability to be held at the London School of Economics.

We are very pleased to have Professor Dorothy Edgington (Birkbeck), Professor Mauricio Suárez (Compultense University) and Dr. Antony Eagle (Oxford) as our keynote speakers.

For more information, see http://www2.lse.ac.uk/CPNSS/events/GraduateConferences/gradconf10.aspx or contact Seamus Bradley at :s.c.bradley at lse.ac.uk.

Confirmed speakers include:
Johan van Benthem, Amsterdam and Stanford
Paul Egre, Jean-Nicod Institute
Branden Fitelson, Rutgers
Stephan Hartmann, Tilburg
James Joyce, Michigan
Hans Kamp, Stuttgart
Hannes Leitgeb, Bristol
Rohit Parikh, CUNY
Wilfried Sieg, Carnegie Mellon
Brian Skyrms, UC Irvine
Wolfgang Spohn, Konstanz
James Woodward, Cal Tech

For details regarding the Center for formal epistemology, the opening celebration conference, and local arrangements, please follow the relevant links at: http://www.formalepistemology.org/.

Confirmed speakers include:
Johan van Benthem, Amsterdam and Stanford
Paul Egre, Jean-Nicod Institute
Branden Fitelson, Rutgers
Stephan Hartmann, Tilburg
James Joyce, Michigan
Hans Kamp, Stuttgart
Hannes Leitgeb, Bristol
Rohit Parikh, CUNY
Wilfried Sieg, Carnegie Mellon
Brian Skyrms, UC Irvine
Wolfgang Spohn, Konstanz
James Woodward, Cal Tech

For details regarding the Center for formal epistemology, the opening celebration conference, and local arrangements, please follow the relevant links at: http://www.formalepistemology.org/.

Both Paris and Amsterdam host a lively group of young researchers working at the interface of logic, language, and theories of rationality. PALMYR brings them together.

PALMYR is a yearly meeting taking place alternatively in Amsterdam and Paris. At each PALMYR workshop, visitors give talks about their current reserch interests, each presentation being commented by a fellow researcher from the host town. PALMYR IX will be held at the Institute for Logic, Language and Computation (ILLC).

For more information, see: https://www.illc.uva.nl/PALMYR/PALMYR-9/.

MOVEP is a 5 day summer school about modelling and verifying parallel processes. The first five occurrences of the School took place in Nantes (France) every two years from 1994 to 2002. The next editions were held in Brussels (Belgium) in December 2004, in Bordeaux (France) in June 2006, and in Orleans (France) in June 2008.

The purpose of MOVEP is to bring together researchers, students and people from industry working in the fields of control and verification of concurrent and reactive systems. The school seeks to offer a broad spectrum of current research in this area of theoretical and applied computer science. The topics covered by MOVEP 2010 include model checking, testing, synthesis, real-time and hybrid systems, games, stochastic systems, security, computational systems biology etc.

In addition to the tutorials and talks, there will be special sessions where Ph.D. students have the possibility to present their on-going research.

FURTHER INFORMATION
Web site: http://automata.rwth-aachen.de/movep2010/
Email: movep2010 at automata.rwth-aachen.de

The Graduate Summer School bridges the gap between a general graduate education in mathematical logic and the specific preparation necessary to do research on problems of current interest in the subject. In general, students who attend the AII Summer School should have completed their first year, and in some cases, may already be working on a thesis. While a majority of the participants will be graduate students, some postdoctoral scholars and researchers may also be interested in attending. Having completed at least one course in Mathematical Logic is required, and completion of an additional graduate course in either set theory or recursion theory is strongly recommended. Students should be familiar with the Gödel Completeness and Incompleteness Theorems and with the Gö del and Cohen Independence Theorems in Set Theory.

The main activity of the AII Graduate Summer School will be a set of three intensive short courses offered by leaders in the field, designed to introduce students to exciting, current research topics. These lectures will not duplicate standard courses available elsewhere. Each course will consist of lectures with problem sessions. On average, the participants of the AII Graduate Summer School meet twice each day for lectures and then again for a problem session.

Applications are invited from interested students. Each student selected for participation will be provided with a stipend of at least US$2000. Additional funding will be available to cover accommodation. Applications will be considered from 7 April 2010 and decisions made on a rolling basis, for as along as funds remain available. For further details, visit http://www2.ims.nus.edu.sg/Programs/010aiiss/

Both Paris and Amsterdam host a lively group of young researchers working at the interface of logic, language, and theories of rationality. PALMYR brings them together.

PALMYR is a yearly meeting taking place alternatively in Amsterdam and Paris. At each PALMYR workshop, visitors give talks about their current reserch interests, each presentation being commented by a fellow researcher from the host town. PALMYR IX will be held at the Institute for Logic, Language and Computation (ILLC).

For more information, see: https://www.illc.uva.nl/PALMYR/PALMYR-9/.

MOVEP is a 5 day summer school about modelling and verifying parallel processes. The first five occurrences of the School took place in Nantes (France) every two years from 1994 to 2002. The next editions were held in Brussels (Belgium) in December 2004, in Bordeaux (France) in June 2006, and in Orleans (France) in June 2008.

The purpose of MOVEP is to bring together researchers, students and people from industry working in the fields of control and verification of concurrent and reactive systems. The school seeks to offer a broad spectrum of current research in this area of theoretical and applied computer science. The topics covered by MOVEP 2010 include model checking, testing, synthesis, real-time and hybrid systems, games, stochastic systems, security, computational systems biology etc.

In addition to the tutorials and talks, there will be special sessions where Ph.D. students have the possibility to present their on-going research.

FURTHER INFORMATION
Web site: http://automata.rwth-aachen.de/movep2010/
Email: movep2010 at automata.rwth-aachen.de

The Graduate Summer School bridges the gap between a general graduate education in mathematical logic and the specific preparation necessary to do research on problems of current interest in the subject. In general, students who attend the AII Summer School should have completed their first year, and in some cases, may already be working on a thesis. While a majority of the participants will be graduate students, some postdoctoral scholars and researchers may also be interested in attending. Having completed at least one course in Mathematical Logic is required, and completion of an additional graduate course in either set theory or recursion theory is strongly recommended. Students should be familiar with the Gödel Completeness and Incompleteness Theorems and with the Gö del and Cohen Independence Theorems in Set Theory.

The main activity of the AII Graduate Summer School will be a set of three intensive short courses offered by leaders in the field, designed to introduce students to exciting, current research topics. These lectures will not duplicate standard courses available elsewhere. Each course will consist of lectures with problem sessions. On average, the participants of the AII Graduate Summer School meet twice each day for lectures and then again for a problem session.

Applications are invited from interested students. Each student selected for participation will be provided with a stipend of at least US$2000. Additional funding will be available to cover accommodation. Applications will be considered from 7 April 2010 and decisions made on a rolling basis, for as along as funds remain available. For further details, visit http://www2.ims.nus.edu.sg/Programs/010aiiss/

Formal models of norm change have been drawing attention since the seminal work of Alchourrón and Bulygin on normative systems, and that of Alchourrón, Gärdenfors and Makinson on the logic of theory change. Research trends in Artificial Intelligence have recently revived this attention emphasizing the importance of a formal analysis of the type(s) of dynamics involved in systems of norms, and norm change has become the topic of a dedicated international workshop.

This special issue aims at providing an up to date account of the formal analysis of norm change, an area at the interface of logic, philosophy, computer science and legal theory.

Deadline for submissions (extended): 30 June 2010. For more information, see the CfP at http://staff.science.uva.nl/~grossi/SpecialIssue/NormChangeJANCL.

MOVEP is a 5 day summer school about modelling and verifying parallel processes. The first five occurrences of the School took place in Nantes (France) every two years from 1994 to 2002. The next editions were held in Brussels (Belgium) in December 2004, in Bordeaux (France) in June 2006, and in Orleans (France) in June 2008.

The purpose of MOVEP is to bring together researchers, students and people from industry working in the fields of control and verification of concurrent and reactive systems. The school seeks to offer a broad spectrum of current research in this area of theoretical and applied computer science. The topics covered by MOVEP 2010 include model checking, testing, synthesis, real-time and hybrid systems, games, stochastic systems, security, computational systems biology etc.

In addition to the tutorials and talks, there will be special sessions where Ph.D. students have the possibility to present their on-going research.

FURTHER INFORMATION
Web site: http://automata.rwth-aachen.de/movep2010/
Email: movep2010 at automata.rwth-aachen.de

The Graduate Summer School bridges the gap between a general graduate education in mathematical logic and the specific preparation necessary to do research on problems of current interest in the subject. In general, students who attend the AII Summer School should have completed their first year, and in some cases, may already be working on a thesis. While a majority of the participants will be graduate students, some postdoctoral scholars and researchers may also be interested in attending. Having completed at least one course in Mathematical Logic is required, and completion of an additional graduate course in either set theory or recursion theory is strongly recommended. Students should be familiar with the Gödel Completeness and Incompleteness Theorems and with the Gö del and Cohen Independence Theorems in Set Theory.

The main activity of the AII Graduate Summer School will be a set of three intensive short courses offered by leaders in the field, designed to introduce students to exciting, current research topics. These lectures will not duplicate standard courses available elsewhere. Each course will consist of lectures with problem sessions. On average, the participants of the AII Graduate Summer School meet twice each day for lectures and then again for a problem session.

Applications are invited from interested students. Each student selected for participation will be provided with a stipend of at least US$2000. Additional funding will be available to cover accommodation. Applications will be considered from 7 April 2010 and decisions made on a rolling basis, for as along as funds remain available. For further details, visit http://www2.ims.nus.edu.sg/Programs/010aiiss/

Computability in Europe provides the largest international conference dealing with the full spectrum of computability-related research. CiE serves as an interdisciplinary forum for research in all aspects of computability and foundations of computer science, as well as the interplay of these theoretical areas with practical issues in computer science and with other disciplines such as biology, mathematics, philosophy, or physics.

CiE 2010 in the Azores is the sixth conference of the Series, held in a geographically unique and dramatic location, Europe's most Westerly outpost. The theme of CiE 2010 - "Programs, Proofs, Processes" - points to the usual CiE synergy of Computer Science, Mathematics and Logic, with important computability-theoretic connections to science and the real universe. The conference will address not only the more established lines of research of Computational Complexity and the interplay between Proofs and Computation, but also novel views that rely on physical and biological processes and models to find new ways of tackling computations and improving their efficiency.

For more information, see http://www.cie2010.uac.pt/

CiE 2010 is the sixth in a successful series of conferences organised by CiE (Computability in Europe), a European association of mathematicians, logicians, computer scientists, philosophers, physicists and others interested in new developments in computability and their underlying significance for the real world. Previous meetings took place in Amsterdam (2005), Swansea (2006), Siena (2007), Athens (2008), and Heidelberg (2009).

Formal systems, attendant proofs, and the possibility of their computer generation and manipulation (for instance, into programs) have been changing a whole spectrum of disciplines. The conference will address not only the more established lines of research of Computational Complexity and the interplay between Proof Theory and Computation, but also novel views that rely on physical and biological processes and models to find new ways of tackling computations and improving their efficiency. Also, information systems like the Web are a recent subject of attention in view of the fact that managing such complex and evolving systems pose particular problems. In all cases we are looking for fundamental and theoretical submissions.

In line with other conferences in this series, CiE2010 has a broad scope and provides a forum for the discussion of theoretical and practical issues in Computation with an emphasis on new paradigms of computation and the development of their mathematical theory.

For more information, see http://www.cie2010.uac.pt/