Theoretical Computer Science is broadly divided into disciplines dealing with logic, semantics and formal methods on the one hand, and algorithmics and computational complexity on the other. The Newton Institute Semester Programme will focus on active areas of research that cut across this divide, dealing with algorithmic and complexity aspects of logic as well as logical methods in complexity.

Satellite workshops include 'Workshop on Finite and Algorithmic Model Theory', 'Logic and Databases', 'Mathematics of Constraint Satisfaction', 'New Directions in Proof Complexity', 'Constaints and Verification' and 'Games and Verification'.

For more information, see here or http://www.newton.cam.ac.uk/programmes/LAA/

Theoretical Computer Science is broadly divided into disciplines dealing with logic, semantics and formal methods on the one hand, and algorithmics and computational complexity on the other. The Newton Institute Semester Programme will focus on active areas of research that cut across this divide, dealing with algorithmic and complexity aspects of logic as well as logical methods in complexity.

Satellite workshops include 'Workshop on Finite and Algorithmic Model Theory', 'Logic and Databases', 'Mathematics of Constraint Satisfaction', 'New Directions in Proof Complexity', 'Constaints and Verification' and 'Games and Verification'.

For more information, see here or http://www.newton.cam.ac.uk/programmes/LAA/

The 10th International Conference on Principles of Knowledge Representation and Reasoning (KR2006) invites PhD students to apply for the Doctoral Consortium program. It is a student mentoring program that will introduce students to senior researchers with similar interests.

Information about how to submit the applications can be found on the following web pages: http://www.cs.ust.hk/~flin/kr06-dc.html For more information, see here.

Theoretical Computer Science is broadly divided into disciplines dealing with logic, semantics and formal methods on the one hand, and algorithmics and computational complexity on the other. The Newton Institute Semester Programme will focus on active areas of research that cut across this divide, dealing with algorithmic and complexity aspects of logic as well as logical methods in complexity.

Satellite workshops include 'Workshop on Finite and Algorithmic Model Theory', 'Logic and Databases', 'Mathematics of Constraint Satisfaction', 'New Directions in Proof Complexity', 'Constaints and Verification' and 'Games and Verification'.

For more information, see here or http://www.newton.cam.ac.uk/programmes/LAA/

The 10th International Conference on Principles of Knowledge Representation and Reasoning (KR2006) invites PhD students to apply for the Doctoral Consortium program. It is a student mentoring program that will introduce students to senior researchers with similar interests.

Information about how to submit the applications can be found on the following web pages: http://www.cs.ust.hk/~flin/kr06-dc.html For more information, see here.

Theoretical Computer Science is broadly divided into disciplines dealing with logic, semantics and formal methods on the one hand, and algorithmics and computational complexity on the other. The Newton Institute Semester Programme will focus on active areas of research that cut across this divide, dealing with algorithmic and complexity aspects of logic as well as logical methods in complexity.

Satellite workshops include 'Workshop on Finite and Algorithmic Model Theory', 'Logic and Databases', 'Mathematics of Constraint Satisfaction', 'New Directions in Proof Complexity', 'Constaints and Verification' and 'Games and Verification'.

For more information, see here or http://www.newton.cam.ac.uk/programmes/LAA/

The 10th International Conference on Principles of Knowledge Representation and Reasoning (KR2006) invites PhD students to apply for the Doctoral Consortium program. It is a student mentoring program that will introduce students to senior researchers with similar interests.

Information about how to submit the applications can be found on the following web pages: http://www.cs.ust.hk/~flin/kr06-dc.html For more information, see here.

Theoretical Computer Science is broadly divided into disciplines dealing with logic, semantics and formal methods on the one hand, and algorithmics and computational complexity on the other. The Newton Institute Semester Programme will focus on active areas of research that cut across this divide, dealing with algorithmic and complexity aspects of logic as well as logical methods in complexity.

Satellite workshops include 'Workshop on Finite and Algorithmic Model Theory', 'Logic and Databases', 'Mathematics of Constraint Satisfaction', 'New Directions in Proof Complexity', 'Constaints and Verification' and 'Games and Verification'.

For more information, see here or http://www.newton.cam.ac.uk/programmes/LAA/

Uncertainty is a ubiquitous phenomenon in everyday life, but it is also a topic of fundamental significance to many scientific disciplines. Uncertainty taken here in a broad sense, has many facets - among them probability and vagueness, including possibility, confidence, fuzziness etc. These are captured by different theories which often seem to be conceptually and technically incompatible. The aim of the conference is to provide a platform for an open discussion between proponents of the main theories of uncertainty and vagueness on the market. Special attention shall be paid to the comparison of theories, analyzing differences and similarities of the respective concepts of uncertainty. Of particular interest are logical aspects and formal models of reasoning about vague information.

For more information, see http://www.flu.cas.cz/Logica/konf/col2006.html

Theoretical Computer Science is broadly divided into disciplines dealing with logic, semantics and formal methods on the one hand, and algorithmics and computational complexity on the other. The Newton Institute Semester Programme will focus on active areas of research that cut across this divide, dealing with algorithmic and complexity aspects of logic as well as logical methods in complexity.

Satellite workshops include 'Workshop on Finite and Algorithmic Model Theory', 'Logic and Databases', 'Mathematics of Constraint Satisfaction', 'New Directions in Proof Complexity', 'Constaints and Verification' and 'Games and Verification'.

For more information, see here or http://www.newton.cam.ac.uk/programmes/LAA/

Theoretical Computer Science is broadly divided into disciplines dealing with logic, semantics and formal methods on the one hand, and algorithmics and computational complexity on the other. The Newton Institute Semester Programme will focus on active areas of research that cut across this divide, dealing with algorithmic and complexity aspects of logic as well as logical methods in complexity.

Satellite workshops include 'Workshop on Finite and Algorithmic Model Theory', 'Logic and Databases', 'Mathematics of Constraint Satisfaction', 'New Directions in Proof Complexity', 'Constaints and Verification' and 'Games and Verification'.

For more information, see here or http://www.newton.cam.ac.uk/programmes/LAA/

Theoretical Computer Science is broadly divided into disciplines dealing with logic, semantics and formal methods on the one hand, and algorithmics and computational complexity on the other. The Newton Institute Semester Programme will focus on active areas of research that cut across this divide, dealing with algorithmic and complexity aspects of logic as well as logical methods in complexity.

Satellite workshops include 'Workshop on Finite and Algorithmic Model Theory', 'Logic and Databases', 'Mathematics of Constraint Satisfaction', 'New Directions in Proof Complexity', 'Constaints and Verification' and 'Games and Verification'.

For more information, see here or http://www.newton.cam.ac.uk/programmes/LAA/

The ACLC-conference on Universality and Particularity in Parts-of-Speech Systems (PoS2006) will take place from June 8-10, 2006, at the University of Amsterdam. The conference programme covers the widest possible range of perspectives on word class distinctions and parts-of-speech systems.

All information about the conference programme may be found at the conference website http://home.hum.uva.nl/pos/. Given the focused nature of the conference programme and the limited space available, participation is limited to (pre)registered participants.

Theoretical Computer Science is broadly divided into disciplines dealing with logic, semantics and formal methods on the one hand, and algorithmics and computational complexity on the other. The Newton Institute Semester Programme will focus on active areas of research that cut across this divide, dealing with algorithmic and complexity aspects of logic as well as logical methods in complexity.

Satellite workshops include 'Workshop on Finite and Algorithmic Model Theory', 'Logic and Databases', 'Mathematics of Constraint Satisfaction', 'New Directions in Proof Complexity', 'Constaints and Verification' and 'Games and Verification'.

For more information, see here or http://www.newton.cam.ac.uk/programmes/LAA/

The ACLC-conference on Universality and Particularity in Parts-of-Speech Systems (PoS2006) will take place from June 8-10, 2006, at the University of Amsterdam. The conference programme covers the widest possible range of perspectives on word class distinctions and parts-of-speech systems.

All information about the conference programme may be found at the conference website http://home.hum.uva.nl/pos/. Given the focused nature of the conference programme and the limited space available, participation is limited to (pre)registered participants.

The focus of the meeting will be on descriptive set theory and its connections (with algebra, topology, measure theory, topological dynamics, combinatorics, etc). In part, the meeting is organized to honor Alexander S. Kechris of CalTech on the occasion of his 60th birthday.

There will be two invited lectures on Friday (the 9th) starting at 3pm, five on Saturday, and three on Sunday; the meeting will end at 1 pm on the 11th.

For more information, see http://www.math.uiuc.edu/Bulletin/lm2006.html Deadline for student travel award application is: April 7, 2006.

Multi-Valued logics provide powerful mechanisms for reasoning about domains that are incomplete and inconsistent, such as databases, knowledge representation, model checking,asynchronous electronic circuits, etc. Research in this area spans theoretical issues regarding the semantics and the role of negation, to implementation strategies, to practical tools for solving problems in various application domains.M

This ICLP'2006 workshop is meant to provide a channel for interaction between researchers working in these areas, by presenting their results and fostering discussion. This will engender newdirections for researchers to pursue and showcase the considerable amount of research thathas already been performed in the area.

For more information, see http://www.utdallas.edu/~axm011500/mvlpa06.html

Theoretical Computer Science is broadly divided into disciplines dealing with logic, semantics and formal methods on the one hand, and algorithmics and computational complexity on the other. The Newton Institute Semester Programme will focus on active areas of research that cut across this divide, dealing with algorithmic and complexity aspects of logic as well as logical methods in complexity.

Satellite workshops include 'Workshop on Finite and Algorithmic Model Theory', 'Logic and Databases', 'Mathematics of Constraint Satisfaction', 'New Directions in Proof Complexity', 'Constaints and Verification' and 'Games and Verification'.

For more information, see here or http://www.newton.cam.ac.uk/programmes/LAA/

The ACLC-conference on Universality and Particularity in Parts-of-Speech Systems (PoS2006) will take place from June 8-10, 2006, at the University of Amsterdam. The conference programme covers the widest possible range of perspectives on word class distinctions and parts-of-speech systems.

All information about the conference programme may be found at the conference website http://home.hum.uva.nl/pos/. Given the focused nature of the conference programme and the limited space available, participation is limited to (pre)registered participants.

The focus of the meeting will be on descriptive set theory and its connections (with algebra, topology, measure theory, topological dynamics, combinatorics, etc). In part, the meeting is organized to honor Alexander S. Kechris of CalTech on the occasion of his 60th birthday.

There will be two invited lectures on Friday (the 9th) starting at 3pm, five on Saturday, and three on Sunday; the meeting will end at 1 pm on the 11th.

For more information, see http://www.math.uiuc.edu/Bulletin/lm2006.html Deadline for student travel award application is: April 7, 2006.

Theoretical Computer Science is broadly divided into disciplines dealing with logic, semantics and formal methods on the one hand, and algorithmics and computational complexity on the other. The Newton Institute Semester Programme will focus on active areas of research that cut across this divide, dealing with algorithmic and complexity aspects of logic as well as logical methods in complexity.

Satellite workshops include 'Workshop on Finite and Algorithmic Model Theory', 'Logic and Databases', 'Mathematics of Constraint Satisfaction', 'New Directions in Proof Complexity', 'Constaints and Verification' and 'Games and Verification'.

For more information, see here or http://www.newton.cam.ac.uk/programmes/LAA/

The focus of the meeting will be on descriptive set theory and its connections (with algebra, topology, measure theory, topological dynamics, combinatorics, etc). In part, the meeting is organized to honor Alexander S. Kechris of CalTech on the occasion of his 60th birthday.

There will be two invited lectures on Friday (the 9th) starting at 3pm, five on Saturday, and three on Sunday; the meeting will end at 1 pm on the 11th.

For more information, see http://www.math.uiuc.edu/Bulletin/lm2006.html Deadline for student travel award application is: April 7, 2006.

Theoretical Computer Science is broadly divided into disciplines dealing with logic, semantics and formal methods on the one hand, and algorithmics and computational complexity on the other. The Newton Institute Semester Programme will focus on active areas of research that cut across this divide, dealing with algorithmic and complexity aspects of logic as well as logical methods in complexity.

Satellite workshops include 'Workshop on Finite and Algorithmic Model Theory', 'Logic and Databases', 'Mathematics of Constraint Satisfaction', 'New Directions in Proof Complexity', 'Constaints and Verification' and 'Games and Verification'.

For more information, see here or http://www.newton.cam.ac.uk/programmes/LAA/

The workshop will explore topics in Modal Logic, Stone Duality, and Coalgebra. Invited speakers include Alexandru Baltag, Martin Escardo, Ian Hodkinson, Yde Venema and Frank Wolter.

For more information, see http://www.cs.le.ac.uk/people/nb118/workshop.html

In 2006, the Department of Philosophy at Carnegie Mellon University will launch 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 promising students to cross-disciplinary fields of research at an early stage in their career; and
- forge lasting interdisciplinary links between the various disciplines.

Deadline for application: March 15, 2006

For more information, an online application form and a course program, see http://www.phil.cmu.edu/summerschool/

From June 12th to 30th, 2006, the Master Cognitive Science (at the Universiteit van Amsterdam) will organize her fourth Summerschool.

The CSCA Summerschool concentrates on the work of Frijda Honorary Chair in Cognitive Science, occupied this academic year by professor Annette Karmiloff-Smith (Neurocognitive Development Unit, University College London). Dr. Karmilloff-Smith has provided an immense contribution to the field of developmental cognitive neuroscience. During the three-week Summerschool, international experts from the fields of psychology, psychiatry, biology, genetics, neuroscience, and computational modeling will present lectures on advances in research on developmental cognitive disorders. In addition, the Summerschool will comprise hands-on workshops led by senior researchers from the participating fields. The finale of the Summerschool will be a one-day Symposium at June 30, 2006. At the Symposium, experts from international standing will cover the themes of the Summerschool.
Master students from relevant fields are encouraged to register.

For more information, see http://www.csca.uva.nl/.

Theoretical Computer Science is broadly divided into disciplines dealing with logic, semantics and formal methods on the one hand, and algorithmics and computational complexity on the other. The Newton Institute Semester Programme will focus on active areas of research that cut across this divide, dealing with algorithmic and complexity aspects of logic as well as logical methods in complexity.

Satellite workshops include 'Workshop on Finite and Algorithmic Model Theory', 'Logic and Databases', 'Mathematics of Constraint Satisfaction', 'New Directions in Proof Complexity', 'Constaints and Verification' and 'Games and Verification'.

For more information, see here or http://www.newton.cam.ac.uk/programmes/LAA/

The workshop will explore topics in Modal Logic, Stone Duality, and Coalgebra. Invited speakers include Alexandru Baltag, Martin Escardo, Ian Hodkinson, Yde Venema and Frank Wolter.

For more information, see http://www.cs.le.ac.uk/people/nb118/workshop.html

In 2006, the Department of Philosophy at Carnegie Mellon University will launch 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 promising students to cross-disciplinary fields of research at an early stage in their career; and
- forge lasting interdisciplinary links between the various disciplines.

Deadline for application: March 15, 2006

For more information, an online application form and a course program, see http://www.phil.cmu.edu/summerschool/

From June 12th to 30th, 2006, the Master Cognitive Science (at the Universiteit van Amsterdam) will organize her fourth Summerschool.

The CSCA Summerschool concentrates on the work of Frijda Honorary Chair in Cognitive Science, occupied this academic year by professor Annette Karmiloff-Smith (Neurocognitive Development Unit, University College London). Dr. Karmilloff-Smith has provided an immense contribution to the field of developmental cognitive neuroscience. During the three-week Summerschool, international experts from the fields of psychology, psychiatry, biology, genetics, neuroscience, and computational modeling will present lectures on advances in research on developmental cognitive disorders. In addition, the Summerschool will comprise hands-on workshops led by senior researchers from the participating fields. The finale of the Summerschool will be a one-day Symposium at June 30, 2006. At the Symposium, experts from international standing will cover the themes of the Summerschool.
Master students from relevant fields are encouraged to register.

For more information, see http://www.csca.uva.nl/.

Theoretical Computer Science is broadly divided into disciplines dealing with logic, semantics and formal methods on the one hand, and algorithmics and computational complexity on the other. The Newton Institute Semester Programme will focus on active areas of research that cut across this divide, dealing with algorithmic and complexity aspects of logic as well as logical methods in complexity.

Satellite workshops include 'Workshop on Finite and Algorithmic Model Theory', 'Logic and Databases', 'Mathematics of Constraint Satisfaction', 'New Directions in Proof Complexity', 'Constaints and Verification' and 'Games and Verification'.

For more information, see here or http://www.newton.cam.ac.uk/programmes/LAA/

In 2006, the Department of Philosophy at Carnegie Mellon University will launch 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 promising students to cross-disciplinary fields of research at an early stage in their career; and
- forge lasting interdisciplinary links between the various disciplines.

Deadline for application: March 15, 2006

For more information, an online application form and a course program, see http://www.phil.cmu.edu/summerschool/

From June 12th to 30th, 2006, the Master Cognitive Science (at the Universiteit van Amsterdam) will organize her fourth Summerschool.

The CSCA Summerschool concentrates on the work of Frijda Honorary Chair in Cognitive Science, occupied this academic year by professor Annette Karmiloff-Smith (Neurocognitive Development Unit, University College London). Dr. Karmilloff-Smith has provided an immense contribution to the field of developmental cognitive neuroscience. During the three-week Summerschool, international experts from the fields of psychology, psychiatry, biology, genetics, neuroscience, and computational modeling will present lectures on advances in research on developmental cognitive disorders. In addition, the Summerschool will comprise hands-on workshops led by senior researchers from the participating fields. The finale of the Summerschool will be a one-day Symposium at June 30, 2006. At the Symposium, experts from international standing will cover the themes of the Summerschool.
Master students from relevant fields are encouraged to register.

For more information, see http://www.csca.uva.nl/.

This workshop is the twelfth episode in an irregular workshop series called Games in Logic, Language and Computation. These workshops are intended as a informal and lively discussion platform, where both senior researchers and promising young researchers from different backgrounds can share ideas.

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

Theoretical Computer Science is broadly divided into disciplines dealing with logic, semantics and formal methods on the one hand, and algorithmics and computational complexity on the other. The Newton Institute Semester Programme will focus on active areas of research that cut across this divide, dealing with algorithmic and complexity aspects of logic as well as logical methods in complexity.

Satellite workshops include 'Workshop on Finite and Algorithmic Model Theory', 'Logic and Databases', 'Mathematics of Constraint Satisfaction', 'New Directions in Proof Complexity', 'Constaints and Verification' and 'Games and Verification'.

For more information, see here or http://www.newton.cam.ac.uk/programmes/LAA/

In 2006, the Department of Philosophy at Carnegie Mellon University will launch 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 promising students to cross-disciplinary fields of research at an early stage in their career; and
- forge lasting interdisciplinary links between the various disciplines.

Deadline for application: March 15, 2006

For more information, an online application form and a course program, see http://www.phil.cmu.edu/summerschool/

From June 12th to 30th, 2006, the Master Cognitive Science (at the Universiteit van Amsterdam) will organize her fourth Summerschool.

The CSCA Summerschool concentrates on the work of Frijda Honorary Chair in Cognitive Science, occupied this academic year by professor Annette Karmiloff-Smith (Neurocognitive Development Unit, University College London). Dr. Karmilloff-Smith has provided an immense contribution to the field of developmental cognitive neuroscience. During the three-week Summerschool, international experts from the fields of psychology, psychiatry, biology, genetics, neuroscience, and computational modeling will present lectures on advances in research on developmental cognitive disorders. In addition, the Summerschool will comprise hands-on workshops led by senior researchers from the participating fields. The finale of the Summerschool will be a one-day Symposium at June 30, 2006. At the Symposium, experts from international standing will cover the themes of the Summerschool.
Master students from relevant fields are encouraged to register.

For more information, see http://www.csca.uva.nl/.

Theoretical Computer Science is broadly divided into disciplines dealing with logic, semantics and formal methods on the one hand, and algorithmics and computational complexity on the other. The Newton Institute Semester Programme will focus on active areas of research that cut across this divide, dealing with algorithmic and complexity aspects of logic as well as logical methods in complexity.

Satellite workshops include 'Workshop on Finite and Algorithmic Model Theory', 'Logic and Databases', 'Mathematics of Constraint Satisfaction', 'New Directions in Proof Complexity', 'Constaints and Verification' and 'Games and Verification'.

For more information, see here or http://www.newton.cam.ac.uk/programmes/LAA/

In 2006, the Department of Philosophy at Carnegie Mellon University will launch 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 promising students to cross-disciplinary fields of research at an early stage in their career; and
- forge lasting interdisciplinary links between the various disciplines.

Deadline for application: March 15, 2006

For more information, an online application form and a course program, see http://www.phil.cmu.edu/summerschool/

From June 12th to 30th, 2006, the Master Cognitive Science (at the Universiteit van Amsterdam) will organize her fourth Summerschool.

The CSCA Summerschool concentrates on the work of Frijda Honorary Chair in Cognitive Science, occupied this academic year by professor Annette Karmiloff-Smith (Neurocognitive Development Unit, University College London). Dr. Karmilloff-Smith has provided an immense contribution to the field of developmental cognitive neuroscience. During the three-week Summerschool, international experts from the fields of psychology, psychiatry, biology, genetics, neuroscience, and computational modeling will present lectures on advances in research on developmental cognitive disorders. In addition, the Summerschool will comprise hands-on workshops led by senior researchers from the participating fields. The finale of the Summerschool will be a one-day Symposium at June 30, 2006. At the Symposium, experts from international standing will cover the themes of the Summerschool.
Master students from relevant fields are encouraged to register.

For more information, see http://www.csca.uva.nl/.

Theoretical Computer Science is broadly divided into disciplines dealing with logic, semantics and formal methods on the one hand, and algorithmics and computational complexity on the other. The Newton Institute Semester Programme will focus on active areas of research that cut across this divide, dealing with algorithmic and complexity aspects of logic as well as logical methods in complexity.

Satellite workshops include 'Workshop on Finite and Algorithmic Model Theory', 'Logic and Databases', 'Mathematics of Constraint Satisfaction', 'New Directions in Proof Complexity', 'Constaints and Verification' and 'Games and Verification'.

For more information, see here or http://www.newton.cam.ac.uk/programmes/LAA/

In 2006, the Department of Philosophy at Carnegie Mellon University will launch 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 promising students to cross-disciplinary fields of research at an early stage in their career; and
- forge lasting interdisciplinary links between the various disciplines.

Deadline for application: March 15, 2006

For more information, an online application form and a course program, see http://www.phil.cmu.edu/summerschool/

From June 12th to 30th, 2006, the Master Cognitive Science (at the Universiteit van Amsterdam) will organize her fourth Summerschool.

The CSCA Summerschool concentrates on the work of Frijda Honorary Chair in Cognitive Science, occupied this academic year by professor Annette Karmiloff-Smith (Neurocognitive Development Unit, University College London). Dr. Karmilloff-Smith has provided an immense contribution to the field of developmental cognitive neuroscience. During the three-week Summerschool, international experts from the fields of psychology, psychiatry, biology, genetics, neuroscience, and computational modeling will present lectures on advances in research on developmental cognitive disorders. In addition, the Summerschool will comprise hands-on workshops led by senior researchers from the participating fields. The finale of the Summerschool will be a one-day Symposium at June 30, 2006. At the Symposium, experts from international standing will cover the themes of the Summerschool.
Master students from relevant fields are encouraged to register.

For more information, see http://www.csca.uva.nl/.

IARCS, the Indian Association for Research in Computing Science announces the 26th Annual FSTTCS Conference in Kolkata (formerly Calcutta). The FSTTCS conference is a forum for presenting original results in foundational aspects of Computer Science and Software Technology.

For more information, see http://www.cse.iitd.ernet.in./~fsttcs26/

Theoretical Computer Science is broadly divided into disciplines dealing with logic, semantics and formal methods on the one hand, and algorithmics and computational complexity on the other. The Newton Institute Semester Programme will focus on active areas of research that cut across this divide, dealing with algorithmic and complexity aspects of logic as well as logical methods in complexity.

Satellite workshops include 'Workshop on Finite and Algorithmic Model Theory', 'Logic and Databases', 'Mathematics of Constraint Satisfaction', 'New Directions in Proof Complexity', 'Constaints and Verification' and 'Games and Verification'.

For more information, see here or http://www.newton.cam.ac.uk/programmes/LAA/

In 2006, the Department of Philosophy at Carnegie Mellon University will launch 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 promising students to cross-disciplinary fields of research at an early stage in their career; and
- forge lasting interdisciplinary links between the various disciplines.

Deadline for application: March 15, 2006

For more information, an online application form and a course program, see http://www.phil.cmu.edu/summerschool/

From June 12th to 30th, 2006, the Master Cognitive Science (at the Universiteit van Amsterdam) will organize her fourth Summerschool.

The CSCA Summerschool concentrates on the work of Frijda Honorary Chair in Cognitive Science, occupied this academic year by professor Annette Karmiloff-Smith (Neurocognitive Development Unit, University College London). Dr. Karmilloff-Smith has provided an immense contribution to the field of developmental cognitive neuroscience. During the three-week Summerschool, international experts from the fields of psychology, psychiatry, biology, genetics, neuroscience, and computational modeling will present lectures on advances in research on developmental cognitive disorders. In addition, the Summerschool will comprise hands-on workshops led by senior researchers from the participating fields. The finale of the Summerschool will be a one-day Symposium at June 30, 2006. At the Symposium, experts from international standing will cover the themes of the Summerschool.
Master students from relevant fields are encouraged to register.

For more information, see http://www.csca.uva.nl/.

Theoretical Computer Science is broadly divided into disciplines dealing with logic, semantics and formal methods on the one hand, and algorithmics and computational complexity on the other. The Newton Institute Semester Programme will focus on active areas of research that cut across this divide, dealing with algorithmic and complexity aspects of logic as well as logical methods in complexity.

Satellite workshops include 'Workshop on Finite and Algorithmic Model Theory', 'Logic and Databases', 'Mathematics of Constraint Satisfaction', 'New Directions in Proof Complexity', 'Constaints and Verification' and 'Games and Verification'.

For more information, see here or http://www.newton.cam.ac.uk/programmes/LAA/

In 2006, the Department of Philosophy at Carnegie Mellon University will launch 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 promising students to cross-disciplinary fields of research at an early stage in their career; and
- forge lasting interdisciplinary links between the various disciplines.

Deadline for application: March 15, 2006

For more information, an online application form and a course program, see http://www.phil.cmu.edu/summerschool/

From June 12th to 30th, 2006, the Master Cognitive Science (at the Universiteit van Amsterdam) will organize her fourth Summerschool.

The CSCA Summerschool concentrates on the work of Frijda Honorary Chair in Cognitive Science, occupied this academic year by professor Annette Karmiloff-Smith (Neurocognitive Development Unit, University College London). Dr. Karmilloff-Smith has provided an immense contribution to the field of developmental cognitive neuroscience. During the three-week Summerschool, international experts from the fields of psychology, psychiatry, biology, genetics, neuroscience, and computational modeling will present lectures on advances in research on developmental cognitive disorders. In addition, the Summerschool will comprise hands-on workshops led by senior researchers from the participating fields. The finale of the Summerschool will be a one-day Symposium at June 30, 2006. At the Symposium, experts from international standing will cover the themes of the Summerschool.
Master students from relevant fields are encouraged to register.

For more information, see http://www.csca.uva.nl/.

Theoretical Computer Science is broadly divided into disciplines dealing with logic, semantics and formal methods on the one hand, and algorithmics and computational complexity on the other. The Newton Institute Semester Programme will focus on active areas of research that cut across this divide, dealing with algorithmic and complexity aspects of logic as well as logical methods in complexity.

Satellite workshops include 'Workshop on Finite and Algorithmic Model Theory', 'Logic and Databases', 'Mathematics of Constraint Satisfaction', 'New Directions in Proof Complexity', 'Constaints and Verification' and 'Games and Verification'.

For more information, see here or http://www.newton.cam.ac.uk/programmes/LAA/

In 2006, the Department of Philosophy at Carnegie Mellon University will launch 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 promising students to cross-disciplinary fields of research at an early stage in their career; and
- forge lasting interdisciplinary links between the various disciplines.

Deadline for application: March 15, 2006

For more information, an online application form and a course program, see http://www.phil.cmu.edu/summerschool/

From June 12th to 30th, 2006, the Master Cognitive Science (at the Universiteit van Amsterdam) will organize her fourth Summerschool.

The CSCA Summerschool concentrates on the work of Frijda Honorary Chair in Cognitive Science, occupied this academic year by professor Annette Karmiloff-Smith (Neurocognitive Development Unit, University College London). Dr. Karmilloff-Smith has provided an immense contribution to the field of developmental cognitive neuroscience. During the three-week Summerschool, international experts from the fields of psychology, psychiatry, biology, genetics, neuroscience, and computational modeling will present lectures on advances in research on developmental cognitive disorders. In addition, the Summerschool will comprise hands-on workshops led by senior researchers from the participating fields. The finale of the Summerschool will be a one-day Symposium at June 30, 2006. At the Symposium, experts from international standing will cover the themes of the Summerschool.
Master students from relevant fields are encouraged to register.

For more information, see http://www.csca.uva.nl/.

Theoretical Computer Science is broadly divided into disciplines dealing with logic, semantics and formal methods on the one hand, and algorithmics and computational complexity on the other. The Newton Institute Semester Programme will focus on active areas of research that cut across this divide, dealing with algorithmic and complexity aspects of logic as well as logical methods in complexity.

Satellite workshops include 'Workshop on Finite and Algorithmic Model Theory', 'Logic and Databases', 'Mathematics of Constraint Satisfaction', 'New Directions in Proof Complexity', 'Constaints and Verification' and 'Games and Verification'.

For more information, see here or http://www.newton.cam.ac.uk/programmes/LAA/

In 2006, the Department of Philosophy at Carnegie Mellon University will launch 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 promising students to cross-disciplinary fields of research at an early stage in their career; and
- forge lasting interdisciplinary links between the various disciplines.

Deadline for application: March 15, 2006

For more information, an online application form and a course program, see http://www.phil.cmu.edu/summerschool/

From June 12th to 30th, 2006, the Master Cognitive Science (at the Universiteit van Amsterdam) will organize her fourth Summerschool.

The CSCA Summerschool concentrates on the work of Frijda Honorary Chair in Cognitive Science, occupied this academic year by professor Annette Karmiloff-Smith (Neurocognitive Development Unit, University College London). Dr. Karmilloff-Smith has provided an immense contribution to the field of developmental cognitive neuroscience. During the three-week Summerschool, international experts from the fields of psychology, psychiatry, biology, genetics, neuroscience, and computational modeling will present lectures on advances in research on developmental cognitive disorders. In addition, the Summerschool will comprise hands-on workshops led by senior researchers from the participating fields. The finale of the Summerschool will be a one-day Symposium at June 30, 2006. At the Symposium, experts from international standing will cover the themes of the Summerschool.
Master students from relevant fields are encouraged to register.

For more information, see http://www.csca.uva.nl/.

Theoretical Computer Science is broadly divided into disciplines dealing with logic, semantics and formal methods on the one hand, and algorithmics and computational complexity on the other. The Newton Institute Semester Programme will focus on active areas of research that cut across this divide, dealing with algorithmic and complexity aspects of logic as well as logical methods in complexity.

Satellite workshops include 'Workshop on Finite and Algorithmic Model Theory', 'Logic and Databases', 'Mathematics of Constraint Satisfaction', 'New Directions in Proof Complexity', 'Constaints and Verification' and 'Games and Verification'.

For more information, see here or http://www.newton.cam.ac.uk/programmes/LAA/

In 2006, the Department of Philosophy at Carnegie Mellon University will launch 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 promising students to cross-disciplinary fields of research at an early stage in their career; and
- forge lasting interdisciplinary links between the various disciplines.

Deadline for application: March 15, 2006

For more information, an online application form and a course program, see http://www.phil.cmu.edu/summerschool/

From June 12th to 30th, 2006, the Master Cognitive Science (at the Universiteit van Amsterdam) will organize her fourth Summerschool.

The CSCA Summerschool concentrates on the work of Frijda Honorary Chair in Cognitive Science, occupied this academic year by professor Annette Karmiloff-Smith (Neurocognitive Development Unit, University College London). Dr. Karmilloff-Smith has provided an immense contribution to the field of developmental cognitive neuroscience. During the three-week Summerschool, international experts from the fields of psychology, psychiatry, biology, genetics, neuroscience, and computational modeling will present lectures on advances in research on developmental cognitive disorders. In addition, the Summerschool will comprise hands-on workshops led by senior researchers from the participating fields. The finale of the Summerschool will be a one-day Symposium at June 30, 2006. At the Symposium, experts from international standing will cover the themes of the Summerschool.
Master students from relevant fields are encouraged to register.

For more information, see http://www.csca.uva.nl/.

E-CAP is the European conference on Computing and Philosophy, the European affiliate of the International Association for Computing and Philosophy (IACAP) The E-CAP conferences deal with all aspects of the "computational turn" that is occurring through the interaction between the disciplines of Philosophy and Computing.

For more information, see http://www.eu-cap.org/

The 19th Annual Conference on Learning Theory will be held at the Carnegie Mellon University, Pittsburgh. The conference will be co-located with ICML' 06.

For more information, an online registration form and a program, see http://learningtheory.org/colt2006/

Theoretical Computer Science is broadly divided into disciplines dealing with logic, semantics and formal methods on the one hand, and algorithmics and computational complexity on the other. The Newton Institute Semester Programme will focus on active areas of research that cut across this divide, dealing with algorithmic and complexity aspects of logic as well as logical methods in complexity.

Satellite workshops include 'Workshop on Finite and Algorithmic Model Theory', 'Logic and Databases', 'Mathematics of Constraint Satisfaction', 'New Directions in Proof Complexity', 'Constaints and Verification' and 'Games and Verification'.

For more information, see here or http://www.newton.cam.ac.uk/programmes/LAA/

In 2006, the Department of Philosophy at Carnegie Mellon University will launch 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 promising students to cross-disciplinary fields of research at an early stage in their career; and
- forge lasting interdisciplinary links between the various disciplines.

Deadline for application: March 15, 2006

For more information, an online application form and a course program, see http://www.phil.cmu.edu/summerschool/

From June 12th to 30th, 2006, the Master Cognitive Science (at the Universiteit van Amsterdam) will organize her fourth Summerschool.

The CSCA Summerschool concentrates on the work of Frijda Honorary Chair in Cognitive Science, occupied this academic year by professor Annette Karmiloff-Smith (Neurocognitive Development Unit, University College London). Dr. Karmilloff-Smith has provided an immense contribution to the field of developmental cognitive neuroscience. During the three-week Summerschool, international experts from the fields of psychology, psychiatry, biology, genetics, neuroscience, and computational modeling will present lectures on advances in research on developmental cognitive disorders. In addition, the Summerschool will comprise hands-on workshops led by senior researchers from the participating fields. The finale of the Summerschool will be a one-day Symposium at June 30, 2006. At the Symposium, experts from international standing will cover the themes of the Summerschool.
Master students from relevant fields are encouraged to register.

For more information, see http://www.csca.uva.nl/.

E-CAP is the European conference on Computing and Philosophy, the European affiliate of the International Association for Computing and Philosophy (IACAP) The E-CAP conferences deal with all aspects of the "computational turn" that is occurring through the interaction between the disciplines of Philosophy and Computing.

For more information, see http://www.eu-cap.org/

The 19th Annual Conference on Learning Theory will be held at the Carnegie Mellon University, Pittsburgh. The conference will be co-located with ICML' 06.

For more information, an online registration form and a program, see http://learningtheory.org/colt2006/

Students participating in the June project on medieval logic will be giving short talks presenting the results of their research on various topics. Speakers: Can Baskent, Harald Bastiaanse, Yurii Khomskii and Lars Wortel

For more information, see http://staff.science.uva.nl/~suckelma/23junmedproj.html

Theoretical Computer Science is broadly divided into disciplines dealing with logic, semantics and formal methods on the one hand, and algorithmics and computational complexity on the other. The Newton Institute Semester Programme will focus on active areas of research that cut across this divide, dealing with algorithmic and complexity aspects of logic as well as logical methods in complexity.

Satellite workshops include 'Workshop on Finite and Algorithmic Model Theory', 'Logic and Databases', 'Mathematics of Constraint Satisfaction', 'New Directions in Proof Complexity', 'Constaints and Verification' and 'Games and Verification'.

For more information, see here or http://www.newton.cam.ac.uk/programmes/LAA/

In 2006, the Department of Philosophy at Carnegie Mellon University will launch 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 promising students to cross-disciplinary fields of research at an early stage in their career; and
- forge lasting interdisciplinary links between the various disciplines.

Deadline for application: March 15, 2006

For more information, an online application form and a course program, see http://www.phil.cmu.edu/summerschool/

From June 12th to 30th, 2006, the Master Cognitive Science (at the Universiteit van Amsterdam) will organize her fourth Summerschool.

The CSCA Summerschool concentrates on the work of Frijda Honorary Chair in Cognitive Science, occupied this academic year by professor Annette Karmiloff-Smith (Neurocognitive Development Unit, University College London). Dr. Karmilloff-Smith has provided an immense contribution to the field of developmental cognitive neuroscience. During the three-week Summerschool, international experts from the fields of psychology, psychiatry, biology, genetics, neuroscience, and computational modeling will present lectures on advances in research on developmental cognitive disorders. In addition, the Summerschool will comprise hands-on workshops led by senior researchers from the participating fields. The finale of the Summerschool will be a one-day Symposium at June 30, 2006. At the Symposium, experts from international standing will cover the themes of the Summerschool.
Master students from relevant fields are encouraged to register.

For more information, see http://www.csca.uva.nl/.

E-CAP is the European conference on Computing and Philosophy, the European affiliate of the International Association for Computing and Philosophy (IACAP) The E-CAP conferences deal with all aspects of the "computational turn" that is occurring through the interaction between the disciplines of Philosophy and Computing.

For more information, see http://www.eu-cap.org/

The 19th Annual Conference on Learning Theory will be held at the Carnegie Mellon University, Pittsburgh. The conference will be co-located with ICML' 06.

For more information, an online registration form and a program, see http://learningtheory.org/colt2006/

It is common wisdom that the still growing power of digital data processing greatly enhances the wealth of human knowledge and will continue to do so. A precondition for this is, however, that knowledge is encoded and represented in a computer-accessible manner, such that it can be algorithmically processed. This requires, in turn, the use of appropriate formal structures for knowledge representation and knowledge processing. Such structures, called `Knowledge Structures', will be the topic of this year's ICCL summer school.

Deadline for registration: 18 March 2006. For more information, an online registration form and a preliminary program, see http://www.computational-logic.org/iccl-ss-2006.

Theoretical Computer Science is broadly divided into disciplines dealing with logic, semantics and formal methods on the one hand, and algorithmics and computational complexity on the other. The Newton Institute Semester Programme will focus on active areas of research that cut across this divide, dealing with algorithmic and complexity aspects of logic as well as logical methods in complexity.

Satellite workshops include 'Workshop on Finite and Algorithmic Model Theory', 'Logic and Databases', 'Mathematics of Constraint Satisfaction', 'New Directions in Proof Complexity', 'Constaints and Verification' and 'Games and Verification'.

For more information, see here or http://www.newton.cam.ac.uk/programmes/LAA/

In 2006, the Department of Philosophy at Carnegie Mellon University will launch 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 promising students to cross-disciplinary fields of research at an early stage in their career; and
- forge lasting interdisciplinary links between the various disciplines.

Deadline for application: March 15, 2006

For more information, an online application form and a course program, see http://www.phil.cmu.edu/summerschool/

From June 12th to 30th, 2006, the Master Cognitive Science (at the Universiteit van Amsterdam) will organize her fourth Summerschool.

The CSCA Summerschool concentrates on the work of Frijda Honorary Chair in Cognitive Science, occupied this academic year by professor Annette Karmiloff-Smith (Neurocognitive Development Unit, University College London). Dr. Karmilloff-Smith has provided an immense contribution to the field of developmental cognitive neuroscience. During the three-week Summerschool, international experts from the fields of psychology, psychiatry, biology, genetics, neuroscience, and computational modeling will present lectures on advances in research on developmental cognitive disorders. In addition, the Summerschool will comprise hands-on workshops led by senior researchers from the participating fields. The finale of the Summerschool will be a one-day Symposium at June 30, 2006. At the Symposium, experts from international standing will cover the themes of the Summerschool.
Master students from relevant fields are encouraged to register.

For more information, see http://www.csca.uva.nl/.

The 19th Annual Conference on Learning Theory will be held at the Carnegie Mellon University, Pittsburgh. The conference will be co-located with ICML' 06.

For more information, an online registration form and a program, see http://learningtheory.org/colt2006/

It is common wisdom that the still growing power of digital data processing greatly enhances the wealth of human knowledge and will continue to do so. A precondition for this is, however, that knowledge is encoded and represented in a computer-accessible manner, such that it can be algorithmically processed. This requires, in turn, the use of appropriate formal structures for knowledge representation and knowledge processing. Such structures, called `Knowledge Structures', will be the topic of this year's ICCL summer school.

Deadline for registration: 18 March 2006. For more information, an online registration form and a preliminary program, see http://www.computational-logic.org/iccl-ss-2006.

Theoretical Computer Science is broadly divided into disciplines dealing with logic, semantics and formal methods on the one hand, and algorithmics and computational complexity on the other. The Newton Institute Semester Programme will focus on active areas of research that cut across this divide, dealing with algorithmic and complexity aspects of logic as well as logical methods in complexity.

Satellite workshops include 'Workshop on Finite and Algorithmic Model Theory', 'Logic and Databases', 'Mathematics of Constraint Satisfaction', 'New Directions in Proof Complexity', 'Constaints and Verification' and 'Games and Verification'.

For more information, see here or http://www.newton.cam.ac.uk/programmes/LAA/

In 2006, the Department of Philosophy at Carnegie Mellon University will launch 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 promising students to cross-disciplinary fields of research at an early stage in their career; and
- forge lasting interdisciplinary links between the various disciplines.

Deadline for application: March 15, 2006

For more information, an online application form and a course program, see http://www.phil.cmu.edu/summerschool/

From June 12th to 30th, 2006, the Master Cognitive Science (at the Universiteit van Amsterdam) will organize her fourth Summerschool.

The CSCA Summerschool concentrates on the work of Frijda Honorary Chair in Cognitive Science, occupied this academic year by professor Annette Karmiloff-Smith (Neurocognitive Development Unit, University College London). Dr. Karmilloff-Smith has provided an immense contribution to the field of developmental cognitive neuroscience. During the three-week Summerschool, international experts from the fields of psychology, psychiatry, biology, genetics, neuroscience, and computational modeling will present lectures on advances in research on developmental cognitive disorders. In addition, the Summerschool will comprise hands-on workshops led by senior researchers from the participating fields. The finale of the Summerschool will be a one-day Symposium at June 30, 2006. At the Symposium, experts from international standing will cover the themes of the Summerschool.
Master students from relevant fields are encouraged to register.

For more information, see http://www.csca.uva.nl/.

It is common wisdom that the still growing power of digital data processing greatly enhances the wealth of human knowledge and will continue to do so. A precondition for this is, however, that knowledge is encoded and represented in a computer-accessible manner, such that it can be algorithmically processed. This requires, in turn, the use of appropriate formal structures for knowledge representation and knowledge processing. Such structures, called `Knowledge Structures', will be the topic of this year's ICCL summer school.

Deadline for registration: 18 March 2006. For more information, an online registration form and a preliminary program, see http://www.computational-logic.org/iccl-ss-2006.

In recent years, research at the intersection of game theory and computer science has become increasingly important, increasingly strong and increasingly diverse. This summer school will span computational and algorithmic game theory as well as topics of algorithmic flavor in pure game theory.

The summer school will take place at the BRICS PhD school at the Department of Computer Science, University of Aarhus on June 26-30, 2006. The intended participants of the summer school are graduate students and post-docs within computer science, but also students within mathematics and economics interested in computational aspects of game theory are encouraged to register for the summer school.

Deadline for registration: May 1st, 2006. For more information, see http://www.brics.dk/game06/.

Theoretical Computer Science is broadly divided into disciplines dealing with logic, semantics and formal methods on the one hand, and algorithmics and computational complexity on the other. The Newton Institute Semester Programme will focus on active areas of research that cut across this divide, dealing with algorithmic and complexity aspects of logic as well as logical methods in complexity.

Satellite workshops include 'Workshop on Finite and Algorithmic Model Theory', 'Logic and Databases', 'Mathematics of Constraint Satisfaction', 'New Directions in Proof Complexity', 'Constaints and Verification' and 'Games and Verification'.

For more information, see here or http://www.newton.cam.ac.uk/programmes/LAA/

In 2006, the Department of Philosophy at Carnegie Mellon University will launch 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 promising students to cross-disciplinary fields of research at an early stage in their career; and
- forge lasting interdisciplinary links between the various disciplines.

Deadline for application: March 15, 2006

For more information, an online application form and a course program, see http://www.phil.cmu.edu/summerschool/

From June 12th to 30th, 2006, the Master Cognitive Science (at the Universiteit van Amsterdam) will organize her fourth Summerschool.

The CSCA Summerschool concentrates on the work of Frijda Honorary Chair in Cognitive Science, occupied this academic year by professor Annette Karmiloff-Smith (Neurocognitive Development Unit, University College London). Dr. Karmilloff-Smith has provided an immense contribution to the field of developmental cognitive neuroscience. During the three-week Summerschool, international experts from the fields of psychology, psychiatry, biology, genetics, neuroscience, and computational modeling will present lectures on advances in research on developmental cognitive disorders. In addition, the Summerschool will comprise hands-on workshops led by senior researchers from the participating fields. The finale of the Summerschool will be a one-day Symposium at June 30, 2006. At the Symposium, experts from international standing will cover the themes of the Summerschool.
Master students from relevant fields are encouraged to register.

For more information, see http://www.csca.uva.nl/.

It is common wisdom that the still growing power of digital data processing greatly enhances the wealth of human knowledge and will continue to do so. A precondition for this is, however, that knowledge is encoded and represented in a computer-accessible manner, such that it can be algorithmically processed. This requires, in turn, the use of appropriate formal structures for knowledge representation and knowledge processing. Such structures, called `Knowledge Structures', will be the topic of this year's ICCL summer school.

Deadline for registration: 18 March 2006. For more information, an online registration form and a preliminary program, see http://www.computational-logic.org/iccl-ss-2006.

In recent years, research at the intersection of game theory and computer science has become increasingly important, increasingly strong and increasingly diverse. This summer school will span computational and algorithmic game theory as well as topics of algorithmic flavor in pure game theory.

The summer school will take place at the BRICS PhD school at the Department of Computer Science, University of Aarhus on June 26-30, 2006. The intended participants of the summer school are graduate students and post-docs within computer science, but also students within mathematics and economics interested in computational aspects of game theory are encouraged to register for the summer school.

Deadline for registration: May 1st, 2006. For more information, see http://www.brics.dk/game06/.

Each PALMYR consists of two workshops, one in Paris and one in Amsterdam, and is aimed at fostering connections between two lively logic communities. This year's first meeting will be in Paris on June 27th and 28th, and will have as a theme "What is the relationship between logic and reasoning?" As in the previous editions, each talk will be commented.

For a long time, logic and reasoning have been bedfellows, for better or for worst. Boole viewed logic as nothing less than An investigation into the Laws of Thought, while Frege argued for an irrevocable split up. But even if modern logical literature abound with attempts at getting closer to real-life reasoning (e.g. epistemic, fuzzy, conditional, intensional, paraconsistent, and other "non-classical" logics) the state of their relationship is still unclear. Does logic describe reasoning? Does it provide normative standards for reasoning? For this third PALMYR, we are looking for researchers from, but not only, Paris or Amsterdam interested to share their opinion on this long-standing relationship.

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

The conference is held to honor the 75th anniversary of academician Andrei Ershov (1931-1988) and his outstanding contributions towards advancing informatics. The first five conferences were held in 1991, 1996, 1999, 2001 and 2003, respectively, and proved to be significant international events.

The aim of the conference is to provide a forum for the presentation and in-depth discussion of advanced research directions in computer science. For a developing science, it is important to work out consolidating ideas, concepts and models. Movement in this direction is another aim of the conference. Improvement of the contacts and exchange of ideas between researchers from the East and West are further goals.

For more information, see here or http://www.iis.nsk.su/PSI06/

On the occasion of the 40th anniversay of the p-morphism, the ILLC will host a special afternoon with three talks on the p-morphism. Dick de Jongh and Krister Segerberg will each give a talk on the developments in the sixties and seventies (these talks also forms part of the Logic Tea). Before that, in a joint talk, Helle Hansen and Clemens Kupke will present a modern, coalgebraic perspective.

For more information, see http://staff.science.uva.nl/~yde/ole.html

The 17th International Symposium on Algorithms and Computation (ISAAC 2006) will take place at Taj Bengal Hotel, 5-star hotel in Kolkata, India, December 18-20, 2006. The symposium is intended to provide a forum for researchers working in algorithms and theory of computation.

For more information, see http://www.iscal.ac.in/~ISAAC06/

Theoretical Computer Science is broadly divided into disciplines dealing with logic, semantics and formal methods on the one hand, and algorithmics and computational complexity on the other. The Newton Institute Semester Programme will focus on active areas of research that cut across this divide, dealing with algorithmic and complexity aspects of logic as well as logical methods in complexity.

Satellite workshops include 'Workshop on Finite and Algorithmic Model Theory', 'Logic and Databases', 'Mathematics of Constraint Satisfaction', 'New Directions in Proof Complexity', 'Constaints and Verification' and 'Games and Verification'.

For more information, see here or http://www.newton.cam.ac.uk/programmes/LAA/

In 2006, the Department of Philosophy at Carnegie Mellon University will launch 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 promising students to cross-disciplinary fields of research at an early stage in their career; and
- forge lasting interdisciplinary links between the various disciplines.

Deadline for application: March 15, 2006

For more information, an online application form and a course program, see http://www.phil.cmu.edu/summerschool/

From June 12th to 30th, 2006, the Master Cognitive Science (at the Universiteit van Amsterdam) will organize her fourth Summerschool.

The CSCA Summerschool concentrates on the work of Frijda Honorary Chair in Cognitive Science, occupied this academic year by professor Annette Karmiloff-Smith (Neurocognitive Development Unit, University College London). Dr. Karmilloff-Smith has provided an immense contribution to the field of developmental cognitive neuroscience. During the three-week Summerschool, international experts from the fields of psychology, psychiatry, biology, genetics, neuroscience, and computational modeling will present lectures on advances in research on developmental cognitive disorders. In addition, the Summerschool will comprise hands-on workshops led by senior researchers from the participating fields. The finale of the Summerschool will be a one-day Symposium at June 30, 2006. At the Symposium, experts from international standing will cover the themes of the Summerschool.
Master students from relevant fields are encouraged to register.

For more information, see http://www.csca.uva.nl/.

It is common wisdom that the still growing power of digital data processing greatly enhances the wealth of human knowledge and will continue to do so. A precondition for this is, however, that knowledge is encoded and represented in a computer-accessible manner, such that it can be algorithmically processed. This requires, in turn, the use of appropriate formal structures for knowledge representation and knowledge processing. Such structures, called `Knowledge Structures', will be the topic of this year's ICCL summer school.

Deadline for registration: 18 March 2006. For more information, an online registration form and a preliminary program, see http://www.computational-logic.org/iccl-ss-2006.

In recent years, research at the intersection of game theory and computer science has become increasingly important, increasingly strong and increasingly diverse. This summer school will span computational and algorithmic game theory as well as topics of algorithmic flavor in pure game theory.

The summer school will take place at the BRICS PhD school at the Department of Computer Science, University of Aarhus on June 26-30, 2006. The intended participants of the summer school are graduate students and post-docs within computer science, but also students within mathematics and economics interested in computational aspects of game theory are encouraged to register for the summer school.

Deadline for registration: May 1st, 2006. For more information, see http://www.brics.dk/game06/.

Each PALMYR consists of two workshops, one in Paris and one in Amsterdam, and is aimed at fostering connections between two lively logic communities. This year's first meeting will be in Paris on June 27th and 28th, and will have as a theme "What is the relationship between logic and reasoning?" As in the previous editions, each talk will be commented.

For a long time, logic and reasoning have been bedfellows, for better or for worst. Boole viewed logic as nothing less than An investigation into the Laws of Thought, while Frege argued for an irrevocable split up. But even if modern logical literature abound with attempts at getting closer to real-life reasoning (e.g. epistemic, fuzzy, conditional, intensional, paraconsistent, and other "non-classical" logics) the state of their relationship is still unclear. Does logic describe reasoning? Does it provide normative standards for reasoning? For this third PALMYR, we are looking for researchers from, but not only, Paris or Amsterdam interested to share their opinion on this long-standing relationship.

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

The conference is held to honor the 75th anniversary of academician Andrei Ershov (1931-1988) and his outstanding contributions towards advancing informatics. The first five conferences were held in 1991, 1996, 1999, 2001 and 2003, respectively, and proved to be significant international events.

The aim of the conference is to provide a forum for the presentation and in-depth discussion of advanced research directions in computer science. For a developing science, it is important to work out consolidating ideas, concepts and models. Movement in this direction is another aim of the conference. Improvement of the contacts and exchange of ideas between researchers from the East and West are further goals.

For more information, see here or http://www.iis.nsk.su/PSI06/

For more information, see http://www.univ-nancy2.fr/poincare/colloques/AR06/epresentation.htm

The Dutch national Cognition programme is organizing a symposium around consciousness at Wednesday June 28 in Utrecht, the Netherlands. Four internationally renowned speakers from very different cognitive backgrounds will address this issue from their respective points of view in a lively and stimulating environment with ample opportunities for formal and informal discussion. Do not miss this event and register now!

Participation is free, but as there is only a limited numbers of seats available, registration is obligatory. For more information, see http://www.cognitie.nl/Symposium

Theoretical Computer Science is broadly divided into disciplines dealing with logic, semantics and formal methods on the one hand, and algorithmics and computational complexity on the other. The Newton Institute Semester Programme will focus on active areas of research that cut across this divide, dealing with algorithmic and complexity aspects of logic as well as logical methods in complexity.

Satellite workshops include 'Workshop on Finite and Algorithmic Model Theory', 'Logic and Databases', 'Mathematics of Constraint Satisfaction', 'New Directions in Proof Complexity', 'Constaints and Verification' and 'Games and Verification'.

For more information, see here or http://www.newton.cam.ac.uk/programmes/LAA/

In 2006, the Department of Philosophy at Carnegie Mellon University will launch 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 promising students to cross-disciplinary fields of research at an early stage in their career; and
- forge lasting interdisciplinary links between the various disciplines.

Deadline for application: March 15, 2006

For more information, an online application form and a course program, see http://www.phil.cmu.edu/summerschool/

From June 12th to 30th, 2006, the Master Cognitive Science (at the Universiteit van Amsterdam) will organize her fourth Summerschool.

The CSCA Summerschool concentrates on the work of Frijda Honorary Chair in Cognitive Science, occupied this academic year by professor Annette Karmiloff-Smith (Neurocognitive Development Unit, University College London). Dr. Karmilloff-Smith has provided an immense contribution to the field of developmental cognitive neuroscience. During the three-week Summerschool, international experts from the fields of psychology, psychiatry, biology, genetics, neuroscience, and computational modeling will present lectures on advances in research on developmental cognitive disorders. In addition, the Summerschool will comprise hands-on workshops led by senior researchers from the participating fields. The finale of the Summerschool will be a one-day Symposium at June 30, 2006. At the Symposium, experts from international standing will cover the themes of the Summerschool.
Master students from relevant fields are encouraged to register.

For more information, see http://www.csca.uva.nl/.

It is common wisdom that the still growing power of digital data processing greatly enhances the wealth of human knowledge and will continue to do so. A precondition for this is, however, that knowledge is encoded and represented in a computer-accessible manner, such that it can be algorithmically processed. This requires, in turn, the use of appropriate formal structures for knowledge representation and knowledge processing. Such structures, called `Knowledge Structures', will be the topic of this year's ICCL summer school.

Deadline for registration: 18 March 2006. For more information, an online registration form and a preliminary program, see http://www.computational-logic.org/iccl-ss-2006.

In recent years, research at the intersection of game theory and computer science has become increasingly important, increasingly strong and increasingly diverse. This summer school will span computational and algorithmic game theory as well as topics of algorithmic flavor in pure game theory.

The summer school will take place at the BRICS PhD school at the Department of Computer Science, University of Aarhus on June 26-30, 2006. The intended participants of the summer school are graduate students and post-docs within computer science, but also students within mathematics and economics interested in computational aspects of game theory are encouraged to register for the summer school.

Deadline for registration: May 1st, 2006. For more information, see http://www.brics.dk/game06/.

The conference is held to honor the 75th anniversary of academician Andrei Ershov (1931-1988) and his outstanding contributions towards advancing informatics. The first five conferences were held in 1991, 1996, 1999, 2001 and 2003, respectively, and proved to be significant international events.

The aim of the conference is to provide a forum for the presentation and in-depth discussion of advanced research directions in computer science. For a developing science, it is important to work out consolidating ideas, concepts and models. Movement in this direction is another aim of the conference. Improvement of the contacts and exchange of ideas between researchers from the East and West are further goals.

For more information, see here or http://www.iis.nsk.su/PSI06/

For more information, see http://www.univ-nancy2.fr/poincare/colloques/AR06/epresentation.htm

AI 2006 is the 19th Australian Joint Conference on Artificial Intelligence. This conference series is Australia's premier venue for the dissemination of new research in both the theory and application of artificial intelligence. AI 2006 will be hosted by the University of Tasmania's School of Computing, and will be held in the beautiful city of Hobart, Tasmania from the 4th to the 8th of December.

For more information, see http://www.comp.utas.edu.au/ai06/

Theoretical Computer Science is broadly divided into disciplines dealing with logic, semantics and formal methods on the one hand, and algorithmics and computational complexity on the other. The Newton Institute Semester Programme will focus on active areas of research that cut across this divide, dealing with algorithmic and complexity aspects of logic as well as logical methods in complexity.

Satellite workshops include 'Workshop on Finite and Algorithmic Model Theory', 'Logic and Databases', 'Mathematics of Constraint Satisfaction', 'New Directions in Proof Complexity', 'Constaints and Verification' and 'Games and Verification'.

For more information, see here or http://www.newton.cam.ac.uk/programmes/LAA/

In 2006, the Department of Philosophy at Carnegie Mellon University will launch 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 promising students to cross-disciplinary fields of research at an early stage in their career; and
- forge lasting interdisciplinary links between the various disciplines.

Deadline for application: March 15, 2006

For more information, an online application form and a course program, see http://www.phil.cmu.edu/summerschool/

From June 12th to 30th, 2006, the Master Cognitive Science (at the Universiteit van Amsterdam) will organize her fourth Summerschool.

The CSCA Summerschool concentrates on the work of Frijda Honorary Chair in Cognitive Science, occupied this academic year by professor Annette Karmiloff-Smith (Neurocognitive Development Unit, University College London). Dr. Karmilloff-Smith has provided an immense contribution to the field of developmental cognitive neuroscience. During the three-week Summerschool, international experts from the fields of psychology, psychiatry, biology, genetics, neuroscience, and computational modeling will present lectures on advances in research on developmental cognitive disorders. In addition, the Summerschool will comprise hands-on workshops led by senior researchers from the participating fields. The finale of the Summerschool will be a one-day Symposium at June 30, 2006. At the Symposium, experts from international standing will cover the themes of the Summerschool.
Master students from relevant fields are encouraged to register.

For more information, see http://www.csca.uva.nl/.

It is common wisdom that the still growing power of digital data processing greatly enhances the wealth of human knowledge and will continue to do so. A precondition for this is, however, that knowledge is encoded and represented in a computer-accessible manner, such that it can be algorithmically processed. This requires, in turn, the use of appropriate formal structures for knowledge representation and knowledge processing. Such structures, called `Knowledge Structures', will be the topic of this year's ICCL summer school.

Deadline for registration: 18 March 2006. For more information, an online registration form and a preliminary program, see http://www.computational-logic.org/iccl-ss-2006.

In recent years, research at the intersection of game theory and computer science has become increasingly important, increasingly strong and increasingly diverse. This summer school will span computational and algorithmic game theory as well as topics of algorithmic flavor in pure game theory.

The summer school will take place at the BRICS PhD school at the Department of Computer Science, University of Aarhus on June 26-30, 2006. The intended participants of the summer school are graduate students and post-docs within computer science, but also students within mathematics and economics interested in computational aspects of game theory are encouraged to register for the summer school.

Deadline for registration: May 1st, 2006. For more information, see http://www.brics.dk/game06/.

The conference is held to honor the 75th anniversary of academician Andrei Ershov (1931-1988) and his outstanding contributions towards advancing informatics. The first five conferences were held in 1991, 1996, 1999, 2001 and 2003, respectively, and proved to be significant international events.

The aim of the conference is to provide a forum for the presentation and in-depth discussion of advanced research directions in computer science. For a developing science, it is important to work out consolidating ideas, concepts and models. Movement in this direction is another aim of the conference. Improvement of the contacts and exchange of ideas between researchers from the East and West are further goals.

For more information, see here or http://www.iis.nsk.su/PSI06/

For more information, see http://www.univ-nancy2.fr/poincare/colloques/AR06/epresentation.htm

The workshop is organized on the occasion of Michael Bratman's visit to the Netherlands and is intended at bringing together Dutch scientists from different fields to exchange ideas on Bratman's theory of collective agency. This should allow for a deeper understanding of the theory itself, but also for evaluating its relevance in more applied settings such as mechanism design or legal responsibility assessment. In addition, we expect that this will foster networking between the numerous Dutch research groups that are currently working on some aspects of collective agency, more often than not in parallel.

Speakers include Michael Bratman (Stanford), John A. Michon (Leiden), Frans Groen (UvA), Frank Hindriks (Groningen) and Boudewijn de Bruin (Groningen).

Those who want to attend the workshop can now register online! Registration is free and open to everyone. For more information, see http://staff.science.uva.nl/~oroy/Doing_it_together/.

CiE 2006 is the second of a new conference series on Computability Theory and related topics which started in Amsterdam in 2005. CiE 2006 will focus on (but not be limited to) logical approaches to computational barriers:
- practical and feasible barriers, e.g., centred around the P vs. NP problem;
- computable barriers connected to models of computers and programming languages;
- hypercomputable barriers related to physical systems.

For more information, see here or http://www.cs.swansea.ac.uk/cie06/