ECAI, the biannual European Conference on Artificial Intelligence, is the leading conference in its field in Europe. ECAI-06, the 17th conference in this series, is jointly organized by the European Coordinating Committee on Artificial Intelligence and the Italian Association of Artificial Intelligence.

ECAI-06 will give researchers from all over the world the possibility to identify important new trends and challenges in all subfields of Artificial Intelligence, and it will provide a major forum for potential users of innovative AI technique

For more information, see http://ecai2006.itc.it/

The series of MFCS symposia, organized alternately in the Czech Republic, Poland and Slovakia since 1972, has a long and well-established tradition. The MFCS symposia encourage high-quality research in all branches of theoretical computer science. Their broad scope provides an opportunity to bring together specialists who do not usually meet at specialized conferences. Quality papers presenting original research on theoretical aspects of computer science are solicited

For more information, see http://www.mfcs.sk/

The RelMiCS Conference is the main forum for the relational calculus as a conceptual and methodological tool. The AKA Workshop is a forum on topics related to Kleene algebras. As in previous years, the two events are co-organised; they have a joint programme committee and joint proceedings. RelMiCS/AKA 2006 will be held from 30 August to 2 September 2006 and a PhD training programme on 29 August 2006.

For more information, see http://www.cs.man.ac.uk/relmics06/

The AMLaP conferences have established themselves as the premier European venue for interdisciplinary research on how people process language. The conference aims to bring together psychological, computational, and theoretical perspectives on the cognitive architectures and mechanisms which underlie any aspect of human language processing.

For more information, see http://www2.ru.nl/congres/AMLaP2006/welcome.htm

The main topics of this conference on discrete mathematics and theoretical computer science are:
* combinatorics on words (including algebraic and algorithmic aspects)
* all aspects of formal languages and codes,
* finite and infinite automata (including structural and logical aspects), ...

For more information, see http://www.irisa.fr/JM06/

This international research conference is organised by the research project ''The We-Perspective, Social Institutions, and Social Change'' (directed by Prof. Raimo Tuomela) and the Philosophical Society of Finland. The main (but not the only) theme of the Helsinki conference is collective responsibility, and part of the conference will be devoted to this theme.

For more information, see http://www.valt.helsinki.fi/staff/tuomela/collint/

The leading idea of Lvov-Warsaw School of Logic, philosophy and mathematics was to investigate the philosophical problems by means of rigorous methods of mathematics. Since its very first issue Studia Logica has joined forces of mathematicians and philosophers in carrying out logical investigations. There are many elaborate mathematical theories that find their origin in philosophy and have had a big impact on both philosophy and mathematics. For a couple of decades we have been witnessing the fruitful application of strictly mathematical methods to handling more and more philosophical problems.

The main goal of the conference is to present current trends in applying mathematical methods to philosophical problems.

For more information, see http://www.logika.uni.torun.pl/TrendsIV.html

The RelMiCS Conference is the main forum for the relational calculus as a conceptual and methodological tool. The AKA Workshop is a forum on topics related to Kleene algebras. As in previous years, the two events are co-organised; they have a joint programme committee and joint proceedings. RelMiCS/AKA 2006 will be held from 30 August to 2 September 2006 and a PhD training programme on 29 August 2006.

For more information, see http://www.cs.man.ac.uk/relmics06/

The main topics of this conference on discrete mathematics and theoretical computer science are:
* combinatorics on words (including algebraic and algorithmic aspects)
* all aspects of formal languages and codes,
* finite and infinite automata (including structural and logical aspects), ...

For more information, see http://www.irisa.fr/JM06/

This international research conference is organised by the research project ''The We-Perspective, Social Institutions, and Social Change'' (directed by Prof. Raimo Tuomela) and the Philosophical Society of Finland. The main (but not the only) theme of the Helsinki conference is collective responsibility, and part of the conference will be devoted to this theme.

For more information, see http://www.valt.helsinki.fi/staff/tuomela/collint/

The leading idea of Lvov-Warsaw School of Logic, philosophy and mathematics was to investigate the philosophical problems by means of rigorous methods of mathematics. Since its very first issue Studia Logica has joined forces of mathematicians and philosophers in carrying out logical investigations. There are many elaborate mathematical theories that find their origin in philosophy and have had a big impact on both philosophy and mathematics. For a couple of decades we have been witnessing the fruitful application of strictly mathematical methods to handling more and more philosophical problems.

The main goal of the conference is to present current trends in applying mathematical methods to philosophical problems.

For more information, see http://www.logika.uni.torun.pl/TrendsIV.html

The leading idea of Lvov-Warsaw School of Logic, philosophy and mathematics was to investigate the philosophical problems by means of rigorous methods of mathematics. Since its very first issue Studia Logica has joined forces of mathematicians and philosophers in carrying out logical investigations. There are many elaborate mathematical theories that find their origin in philosophy and have had a big impact on both philosophy and mathematics. For a couple of decades we have been witnessing the fruitful application of strictly mathematical methods to handling more and more philosophical problems.

The main goal of the conference is to present current trends in applying mathematical methods to philosophical problems.

For more information, see http://www.logika.uni.torun.pl/TrendsIV.html

The 6th International Workshop on the Implementation of Logics (IWIL-6) will be held 12th November 2006, as part of LPAR-13 in Phnom Penh, Cambodia. The IWIL workshop series brings together developers and users of systems that implement reasoning in logic, to share information about successful implementation techniques for automated reasoning systems and similar programs.

For more information, see http://www.cs.miami.edu/~geoff/Conferences/IWIL-6/

The leading idea of Lvov-Warsaw School of Logic, philosophy and mathematics was to investigate the philosophical problems by means of rigorous methods of mathematics. Since its very first issue Studia Logica has joined forces of mathematicians and philosophers in carrying out logical investigations. There are many elaborate mathematical theories that find their origin in philosophy and have had a big impact on both philosophy and mathematics. For a couple of decades we have been witnessing the fruitful application of strictly mathematical methods to handling more and more philosophical problems.

The main goal of the conference is to present current trends in applying mathematical methods to philosophical problems.

For more information, see http://www.logika.uni.torun.pl/TrendsIV.html

The series of International Conferences UNCONVENTIONAL COMPUTATION (UC) is devoted to all aspects of unconventional computation, theory as well as experiments and applications. Typical, but not exclusive, topics are: natural computing including quantum, cellular, molecular, neural and evolutionary computing; chaos and dynamical systems based computing; and various proposals for computations that go beyond the Turing model.

For more information, see http://www.cs.york.ac.uk/nature/uc06/

The series of International Conferences UNCONVENTIONAL COMPUTATION (UC) is devoted to all aspects of unconventional computation, theory as well as experiments and applications. Typical, but not exclusive, topics are: natural computing including quantum, cellular, molecular, neural and evolutionary computing; chaos and dynamical systems based computing; and various proposals for computations that go beyond the Turing model.

For more information, see http://www.cs.york.ac.uk/nature/uc06/

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

The Theory of Fallacies and Its Use from Boethius to Paul of Venice.

The Symposium will take place from Tuesday 5th morning to Saturday 9th morning, with an half day free (probably Thursday afternoon) for the traditional, but of course unconstrained, excursion. Arrival day is Monday 4th, the conference will necessarily end before 13.00 on Saturday 9th, due to the closing of the University building. As usual, a dinner will be offered to the participants and a conference meeting will be held in the final part of the Symposium. The conference sessions will be held at Palazzo Antonini, (the Humanities building, nr. 2 in the map of the city that you can find at http://web.uniud.it/ceco/pianta.pdf).

For more information, see http://www.swif.uniba.it/lei/filmed/settembre_06.htm or contact Andrea Tabarroni
Università degli Studi di Udine
Istituto di Storia e Tutela dei Beni Culturali
Via Antonini 8
I - 33100 Udine
Tel. 0432 556111

The series of International Conferences UNCONVENTIONAL COMPUTATION (UC) is devoted to all aspects of unconventional computation, theory as well as experiments and applications. Typical, but not exclusive, topics are: natural computing including quantum, cellular, molecular, neural and evolutionary computing; chaos and dynamical systems based computing; and various proposals for computations that go beyond the Turing model.

For more information, see http://www.cs.york.ac.uk/nature/uc06/

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

The Theory of Fallacies and Its Use from Boethius to Paul of Venice.

The Symposium will take place from Tuesday 5th morning to Saturday 9th morning, with an half day free (probably Thursday afternoon) for the traditional, but of course unconstrained, excursion. Arrival day is Monday 4th, the conference will necessarily end before 13.00 on Saturday 9th, due to the closing of the University building. As usual, a dinner will be offered to the participants and a conference meeting will be held in the final part of the Symposium. The conference sessions will be held at Palazzo Antonini, (the Humanities building, nr. 2 in the map of the city that you can find at http://web.uniud.it/ceco/pianta.pdf).

For more information, see http://www.swif.uniba.it/lei/filmed/settembre_06.htm or contact Andrea Tabarroni
Università degli Studi di Udine
Istituto di Storia e Tutela dei Beni Culturali
Via Antonini 8
I - 33100 Udine
Tel. 0432 556111

The series of International Conferences UNCONVENTIONAL COMPUTATION (UC) is devoted to all aspects of unconventional computation, theory as well as experiments and applications. Typical, but not exclusive, topics are: natural computing including quantum, cellular, molecular, neural and evolutionary computing; chaos and dynamical systems based computing; and various proposals for computations that go beyond the Turing model.

For more information, see http://www.cs.york.ac.uk/nature/uc06/

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

The Theory of Fallacies and Its Use from Boethius to Paul of Venice.

The Symposium will take place from Tuesday 5th morning to Saturday 9th morning, with an half day free (probably Thursday afternoon) for the traditional, but of course unconstrained, excursion. Arrival day is Monday 4th, the conference will necessarily end before 13.00 on Saturday 9th, due to the closing of the University building. As usual, a dinner will be offered to the participants and a conference meeting will be held in the final part of the Symposium. The conference sessions will be held at Palazzo Antonini, (the Humanities building, nr. 2 in the map of the city that you can find at http://web.uniud.it/ceco/pianta.pdf).

For more information, see http://www.swif.uniba.it/lei/filmed/settembre_06.htm or contact Andrea Tabarroni
Università degli Studi di Udine
Istituto di Storia e Tutela dei Beni Culturali
Via Antonini 8
I - 33100 Udine
Tel. 0432 556111

A symposium to celebrate the 60th birthday of Gordon Plotkin.
Two days of invited talks on 7th and 8th September, with a banquet on the evening of Thursday 7th September.

Registration is now open. For more information, see the webpage at http://www.lfcs.ed.ac.uk/events/plotkin-symposium/

The series of International Conferences UNCONVENTIONAL COMPUTATION (UC) is devoted to all aspects of unconventional computation, theory as well as experiments and applications. Typical, but not exclusive, topics are: natural computing including quantum, cellular, molecular, neural and evolutionary computing; chaos and dynamical systems based computing; and various proposals for computations that go beyond the Turing model.

For more information, see http://www.cs.york.ac.uk/nature/uc06/

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

The Theory of Fallacies and Its Use from Boethius to Paul of Venice.

The Symposium will take place from Tuesday 5th morning to Saturday 9th morning, with an half day free (probably Thursday afternoon) for the traditional, but of course unconstrained, excursion. Arrival day is Monday 4th, the conference will necessarily end before 13.00 on Saturday 9th, due to the closing of the University building. As usual, a dinner will be offered to the participants and a conference meeting will be held in the final part of the Symposium. The conference sessions will be held at Palazzo Antonini, (the Humanities building, nr. 2 in the map of the city that you can find at http://web.uniud.it/ceco/pianta.pdf).

For more information, see http://www.swif.uniba.it/lei/filmed/settembre_06.htm or contact Andrea Tabarroni
Università degli Studi di Udine
Istituto di Storia e Tutela dei Beni Culturali
Via Antonini 8
I - 33100 Udine
Tel. 0432 556111

A symposium to celebrate the 60th birthday of Gordon Plotkin.
Two days of invited talks on 7th and 8th September, with a banquet on the evening of Thursday 7th September.

Registration is now open. For more information, see the webpage at http://www.lfcs.ed.ac.uk/events/plotkin-symposium/

The Theory of Fallacies and Its Use from Boethius to Paul of Venice.

The Symposium will take place from Tuesday 5th morning to Saturday 9th morning, with an half day free (probably Thursday afternoon) for the traditional, but of course unconstrained, excursion. Arrival day is Monday 4th, the conference will necessarily end before 13.00 on Saturday 9th, due to the closing of the University building. As usual, a dinner will be offered to the participants and a conference meeting will be held in the final part of the Symposium. The conference sessions will be held at Palazzo Antonini, (the Humanities building, nr. 2 in the map of the city that you can find at http://web.uniud.it/ceco/pianta.pdf).

For more information, see http://www.swif.uniba.it/lei/filmed/settembre_06.htm or contact Andrea Tabarroni
Università degli Studi di Udine
Istituto di Storia e Tutela dei Beni Culturali
Via Antonini 8
I - 33100 Udine
Tel. 0432 556111

The symposium covers research in the use, design and analysis of efficient algorithms and data structures in computer science, discrete applied mathematics, operations research and mathematical programming. It has two tracks, which deal respectively with:
- the design and mathematical analysis of algorithms (the "Design and Analysis" track);
- real-world applications, engineering and experimental analysis of algorithms (the "Engineering and Applications" track).
ESA 2006 is organised in the context of ALGO 2006.

For more information, see http://algo06.inf.ethz.ch/esa/

The symposium covers research in the use, design and analysis of efficient algorithms and data structures in computer science, discrete applied mathematics, operations research and mathematical programming. It has two tracks, which deal respectively with:
- the design and mathematical analysis of algorithms (the "Design and Analysis" track);
- real-world applications, engineering and experimental analysis of algorithms (the "Engineering and Applications" track).
ESA 2006 is organised in the context of ALGO 2006.

For more information, see http://algo06.inf.ethz.ch/esa/

The symposium covers research in the use, design and analysis of efficient algorithms and data structures in computer science, discrete applied mathematics, operations research and mathematical programming. It has two tracks, which deal respectively with:
- the design and mathematical analysis of algorithms (the "Design and Analysis" track);
- real-world applications, engineering and experimental analysis of algorithms (the "Engineering and Applications" track).
ESA 2006 is organised in the context of ALGO 2006.

For more information, see http://algo06.inf.ethz.ch/esa/

The International Workshop on Parameterized and Exact Computation covers research in all aspects of parameterized and exact computation and complexity. The goal is to present recent research results, including significant work-in-progress, and to identify and explore directions for future research.

For more information, see http://algo06.inf.ethz.ch/iwpec

JELIA'06 will bring together researchers interested in all aspects concerning the use of logics in AI to discuss current research, results, problems and applications of both a theoretical and practical nature.

For more information, including lists of Conference Officials and Programme Committee, see http://www.csc.liv.ac.uk/~jelia/.

The workshop will be held at Notre Dame the weekend of Saturday, November 11th and Sunday, November 12th. As usual, the plan is to schedule a full day of talks and discussions for Saturday and a half day for Sunday. Also as usual, there will be workshop dinner Saturday evening, with all participants invited to attend as guests of the university.

For more information, see http://philosophy.nd.edu/news/events/philosophy-math-conference/.

The International Workshop on Parameterized and Exact Computation covers research in all aspects of parameterized and exact computation and complexity. The goal is to present recent research results, including significant work-in-progress, and to identify and explore directions for future research.

For more information, see http://algo06.inf.ethz.ch/iwpec

JELIA'06 will bring together researchers interested in all aspects concerning the use of logics in AI to discuss current research, results, problems and applications of both a theoretical and practical nature.

For more information, including lists of Conference Officials and Programme Committee, see http://www.csc.liv.ac.uk/~jelia/.

Traditionally, there has been a deep divide between philosophy of mathematics dealing with foundational issues (questions about mathematical ontology, connections between logic and mathematics, and the proper axiomatic framework) and sociological and didactical approaches to mathematics deadling with a description of mathematical practice (including mathematics education and related matters). Currently, we witness this picture undergoing considerable changes. Recent developments question the special character of philosophy of mathematics as traditionally conceived. Our workshop is devoted to developing this line of development further, putting special emphasis on the epistemological issues involved.

For more information, an online registration form and a preliminary program, see http://www.phimsamp.uni-bonn.de/GAP6/

The International Workshop on Parameterized and Exact Computation covers research in all aspects of parameterized and exact computation and complexity. The goal is to present recent research results, including significant work-in-progress, and to identify and explore directions for future research.

For more information, see http://algo06.inf.ethz.ch/iwpec

JELIA'06 will bring together researchers interested in all aspects concerning the use of logics in AI to discuss current research, results, problems and applications of both a theoretical and practical nature.

For more information, including lists of Conference Officials and Programme Committee, see http://www.csc.liv.ac.uk/~jelia/.

Traditionally, there has been a deep divide between philosophy of mathematics dealing with foundational issues (questions about mathematical ontology, connections between logic and mathematics, and the proper axiomatic framework) and sociological and didactical approaches to mathematics deadling with a description of mathematical practice (including mathematics education and related matters). Currently, we witness this picture undergoing considerable changes. Recent developments question the special character of philosophy of mathematics as traditionally conceived. Our workshop is devoted to developing this line of development further, putting special emphasis on the epistemological issues involved.

For more information, an online registration form and a preliminary program, see http://www.phimsamp.uni-bonn.de/GAP6/

For more information, see http://www.cs.rwth-aachen.de/stacs07/

With the growth of the cognitive sciences comes an increasing interest in how we can model the cognitive and linguistic achievements of real people, in realistic contexts. There is also growing realisation that formal models can be of use here: they are formal but are not limited to modelling idealisations. In the workshop 'Formal models for real people' researchers from psychology, linguistics and philosophy will present and discuss work which showcases the applicability of formal tools to modelling non-idealised language and reasoning. Topics include, amongst others: causal reasoning, language acquisition, Theory of Mind, reasoning and autism.

No registration is required, but if you are planning to attend the workshop, we would appreciate it if you notified Marian Counihan at m.e.counihan at uva.nl. Further details including the day's programme and a route description to the venue, are available at http://oase.uci.kun.nl/~ikramer/realpeople/.

The NWPT series of annual workshops is a forum bringing together programming theorists from the Nordic and Baltic countries (but also elsewhere). Invited speakers include Gerd Behrmann, Matthew Hennessy, Hanne Riis Nielson and David Sands.

For more information, see http://www.ru.is/NWPT06/

The process of voting can be seen as the aggregation of individual preferences (i.e., that of the voters for candidates) to produce a collectively preferred alternative (the result of the election). This problem is extensively studied by social choice theory. On the other hand, belief revision investigates the dynamics of the process of belief change: when an agent is faced with new information which contradicts his/her current beliefs, he/she will have to retract some of the old beliefs in order to accommodate the new belief consistently. The main concern here is how to make a fair decision on what old beliefs to retract. There is a vaste literature on the subject. Similarly, belief merging investigates ways to aggregate a number of individual belief bases into a collective one. Here again, the aggregation procedure in belief merging faces problems similar to those addressed in voting theory and belief revision. Although there are clear connections and sharing of principles between the areas, the investigation of the similarities between the three of them is quite new. The main motivation for this workshop is to promote interaction between researchers of the areas and generate cross-fertilisation of ideas.

For more information, see http://www.dcs.kcl.ac.uk/events/ADMW06/.

Artificial Intelligence researchers continue to face huge challenges in their quest to develop truly intelligent systems. The recent developments in the field of neural-symbolic integration bring an opportunity to integrate well-founded symbolic artificial intelligence with robust neural computing machinery to help tackle some of these challenges.

For more information, see http://www.neural-symbolic.org/NeSy07/

Colloquium Logicum 2006 (CL 2006) is the biannual meeting of the German Logic Society (DVMLG) The scientific program commences on Friday with two minisymposia: "The use of proof theory in mathematics" and "Set theory". On Saturday and Sunday about six invited one-hour talks will be presented on mathematical logic, complexity theory, history of logic, and philosophy of mathematics. A PhD colloquium will feature four young postdocs and their dissertations.

For more information, see here or http://www.math.uni-bonn.de/veranstaltung/cl2006/

Colloquium Logicum 2006 (CL 2006) is the biannual meeting of the German Logic Society (DVMLG) The scientific program commences on Friday with two minisymposia: "The use of proof theory in mathematics" and "Set theory". On Saturday and Sunday about six invited one-hour talks will be presented on mathematical logic, complexity theory, history of logic, and philosophy of mathematics. A PhD colloquium will feature four young postdocs and their dissertations.

For more information, see here or http://www.math.uni-bonn.de/veranstaltung/cl2006/

Colloquium Logicum 2006 (CL 2006) is the biannual meeting of the German Logic Society (DVMLG) The scientific program commences on Friday with two minisymposia: "The use of proof theory in mathematics" and "Set theory". On Saturday and Sunday about six invited one-hour talks will be presented on mathematical logic, complexity theory, history of logic, and philosophy of mathematics. A PhD colloquium will feature four young postdocs and their dissertations.

For more information, see here or http://www.math.uni-bonn.de/veranstaltung/cl2006/

The Logical Workshops have been organized since 2000 mostly as a summertime science activity for students of philosophy and mathematics from Warsaw. This year the meeting is addressed to a broader audience. Logical Workshop 2006 will take place in Kazimierz Dolny, Poland, and is organized in cooperation with Institute of Philosophy, Warsaw University and Institute for Logic, Language and Computation, University of Amsterdam.

The main goal of the Workshop is to bring people interested in logic and game theory together. The Workshop is open to all who are interested in participation. There is no conference fee, all you have to pay is your own travel and accommodation expenses.

For more information, see http://www.logika.uw.edu.pl/workshop/

Analyticity is a topic that connects foundational issues in logic with applications, mainly in automated deduction and analysis of proofs. The workshop, part of LPAR-13, is primarily intended to enhance awareness for this topic and to promote corresponding discussions and contacts between experienced experts and younger colleagues.

For more information, see http://www.logic.at/staff/chrisf/ws/AS-2.html

The Logical Workshops have been organized since 2000 mostly as a summertime science activity for students of philosophy and mathematics from Warsaw. This year the meeting is addressed to a broader audience. Logical Workshop 2006 will take place in Kazimierz Dolny, Poland, and is organized in cooperation with Institute of Philosophy, Warsaw University and Institute for Logic, Language and Computation, University of Amsterdam.

The main goal of the Workshop is to bring people interested in logic and game theory together. The Workshop is open to all who are interested in participation. There is no conference fee, all you have to pay is your own travel and accommodation expenses.

For more information, see http://www.logika.uw.edu.pl/workshop/

Computer Science Logic (CSL) is the annual conference of the European Association for Computer Science Logic (EACSL). The conference is intended for computer scientists whose research activities involve logic, as well as for logicians working on issues significant for computer science.

For more information, see http://www.inf.u-szeged.hu/~csl06/

Advances in Modal Logic is an initiative aimed at presenting an up-to-date picture of the state of the art in modal logic and its many applications. The initiative consists of a conference series together with volumes based on the conferences.

AiML-2006 is the sixth conference in the series. For more information, see http://www.itee.uq.edu.au/~aiml06/

The CP conference is the annual international conference on constraint programming and related areas. It is concerned with all aspects of computing with constraints, including: theory, algorithms, applications, environments, languages, models and systems. CP 2006 includes a technical programme, where presentations of theoretical and application papers, as well as invited talks, tutorials, posters and system demos aim at describing the best results and techniques in the state-of-the-art of constraint programming. Moreover, CP 2006 continues the tradition of the CP doctoral programme, in which PhD students can present their work, listen to tutorials on career and ethical issues, and discuss their work with senior researchers via a mentoring scheme. Finally, there will also be a number of workshops, where researchers will be able to meet in an informal setting and discuss their most recent ideas with their peers.

For more information, see http://www.sciences.univ-nantes.fr/cp06/

The Logical Workshops have been organized since 2000 mostly as a summertime science activity for students of philosophy and mathematics from Warsaw. This year the meeting is addressed to a broader audience. Logical Workshop 2006 will take place in Kazimierz Dolny, Poland, and is organized in cooperation with Institute of Philosophy, Warsaw University and Institute for Logic, Language and Computation, University of Amsterdam.

The main goal of the Workshop is to bring people interested in logic and game theory together. The Workshop is open to all who are interested in participation. There is no conference fee, all you have to pay is your own travel and accommodation expenses.

For more information, see http://www.logika.uw.edu.pl/workshop/

Computer Science Logic (CSL) is the annual conference of the European Association for Computer Science Logic (EACSL). The conference is intended for computer scientists whose research activities involve logic, as well as for logicians working on issues significant for computer science.

For more information, see http://www.inf.u-szeged.hu/~csl06/

Advances in Modal Logic is an initiative aimed at presenting an up-to-date picture of the state of the art in modal logic and its many applications. The initiative consists of a conference series together with volumes based on the conferences.

AiML-2006 is the sixth conference in the series. For more information, see http://www.itee.uq.edu.au/~aiml06/

The CP conference is the annual international conference on constraint programming and related areas. It is concerned with all aspects of computing with constraints, including: theory, algorithms, applications, environments, languages, models and systems. CP 2006 includes a technical programme, where presentations of theoretical and application papers, as well as invited talks, tutorials, posters and system demos aim at describing the best results and techniques in the state-of-the-art of constraint programming. Moreover, CP 2006 continues the tradition of the CP doctoral programme, in which PhD students can present their work, listen to tutorials on career and ethical issues, and discuss their work with senior researchers via a mentoring scheme. Finally, there will also be a number of workshops, where researchers will be able to meet in an informal setting and discuss their most recent ideas with their peers.

For more information, see http://www.sciences.univ-nantes.fr/cp06/

There will be lectures, discussion sessions, round tables and software demonstrations. You are kindly invited to take active part in discussion sessions and to demonstrate your teaching or professional software.

For more information, see here or http://logicae.usal.es/SICTTL/

The Logical Workshops have been organized since 2000 mostly as a summertime science activity for students of philosophy and mathematics from Warsaw. This year the meeting is addressed to a broader audience. Logical Workshop 2006 will take place in Kazimierz Dolny, Poland, and is organized in cooperation with Institute of Philosophy, Warsaw University and Institute for Logic, Language and Computation, University of Amsterdam.

The main goal of the Workshop is to bring people interested in logic and game theory together. The Workshop is open to all who are interested in participation. There is no conference fee, all you have to pay is your own travel and accommodation expenses.

For more information, see http://www.logika.uw.edu.pl/workshop/

Computer Science Logic (CSL) is the annual conference of the European Association for Computer Science Logic (EACSL). The conference is intended for computer scientists whose research activities involve logic, as well as for logicians working on issues significant for computer science.

For more information, see http://www.inf.u-szeged.hu/~csl06/

Advances in Modal Logic is an initiative aimed at presenting an up-to-date picture of the state of the art in modal logic and its many applications. The initiative consists of a conference series together with volumes based on the conferences.

AiML-2006 is the sixth conference in the series. For more information, see http://www.itee.uq.edu.au/~aiml06/

The CP conference is the annual international conference on constraint programming and related areas. It is concerned with all aspects of computing with constraints, including: theory, algorithms, applications, environments, languages, models and systems. CP 2006 includes a technical programme, where presentations of theoretical and application papers, as well as invited talks, tutorials, posters and system demos aim at describing the best results and techniques in the state-of-the-art of constraint programming. Moreover, CP 2006 continues the tradition of the CP doctoral programme, in which PhD students can present their work, listen to tutorials on career and ethical issues, and discuss their work with senior researchers via a mentoring scheme. Finally, there will also be a number of workshops, where researchers will be able to meet in an informal setting and discuss their most recent ideas with their peers.

For more information, see http://www.sciences.univ-nantes.fr/cp06/

There will be lectures, discussion sessions, round tables and software demonstrations. You are kindly invited to take active part in discussion sessions and to demonstrate your teaching or professional software.

For more information, see here or http://logicae.usal.es/SICTTL/

The Logical Workshops have been organized since 2000 mostly as a summertime science activity for students of philosophy and mathematics from Warsaw. This year the meeting is addressed to a broader audience. Logical Workshop 2006 will take place in Kazimierz Dolny, Poland, and is organized in cooperation with Institute of Philosophy, Warsaw University and Institute for Logic, Language and Computation, University of Amsterdam.

The main goal of the Workshop is to bring people interested in logic and game theory together. The Workshop is open to all who are interested in participation. There is no conference fee, all you have to pay is your own travel and accommodation expenses.

For more information, see http://www.logika.uw.edu.pl/workshop/

Computer Science Logic (CSL) is the annual conference of the European Association for Computer Science Logic (EACSL). The conference is intended for computer scientists whose research activities involve logic, as well as for logicians working on issues significant for computer science.

For more information, see http://www.inf.u-szeged.hu/~csl06/

Advances in Modal Logic is an initiative aimed at presenting an up-to-date picture of the state of the art in modal logic and its many applications. The initiative consists of a conference series together with volumes based on the conferences.

AiML-2006 is the sixth conference in the series. For more information, see http://www.itee.uq.edu.au/~aiml06/

The CP conference is the annual international conference on constraint programming and related areas. It is concerned with all aspects of computing with constraints, including: theory, algorithms, applications, environments, languages, models and systems. CP 2006 includes a technical programme, where presentations of theoretical and application papers, as well as invited talks, tutorials, posters and system demos aim at describing the best results and techniques in the state-of-the-art of constraint programming. Moreover, CP 2006 continues the tradition of the CP doctoral programme, in which PhD students can present their work, listen to tutorials on career and ethical issues, and discuss their work with senior researchers via a mentoring scheme. Finally, there will also be a number of workshops, where researchers will be able to meet in an informal setting and discuss their most recent ideas with their peers.

For more information, see http://www.sciences.univ-nantes.fr/cp06/

There will be lectures, discussion sessions, round tables and software demonstrations. You are kindly invited to take active part in discussion sessions and to demonstrate your teaching or professional software.

For more information, see here or http://logicae.usal.es/SICTTL/

The Logical Workshops have been organized since 2000 mostly as a summertime science activity for students of philosophy and mathematics from Warsaw. This year the meeting is addressed to a broader audience. Logical Workshop 2006 will take place in Kazimierz Dolny, Poland, and is organized in cooperation with Institute of Philosophy, Warsaw University and Institute for Logic, Language and Computation, University of Amsterdam.

The main goal of the Workshop is to bring people interested in logic and game theory together. The Workshop is open to all who are interested in participation. There is no conference fee, all you have to pay is your own travel and accommodation expenses.

For more information, see http://www.logika.uw.edu.pl/workshop/

Computer Science Logic (CSL) is the annual conference of the European Association for Computer Science Logic (EACSL). The conference is intended for computer scientists whose research activities involve logic, as well as for logicians working on issues significant for computer science.

For more information, see http://www.inf.u-szeged.hu/~csl06/

The CP conference is the annual international conference on constraint programming and related areas. It is concerned with all aspects of computing with constraints, including: theory, algorithms, applications, environments, languages, models and systems. CP 2006 includes a technical programme, where presentations of theoretical and application papers, as well as invited talks, tutorials, posters and system demos aim at describing the best results and techniques in the state-of-the-art of constraint programming. Moreover, CP 2006 continues the tradition of the CP doctoral programme, in which PhD students can present their work, listen to tutorials on career and ethical issues, and discuss their work with senior researchers via a mentoring scheme. Finally, there will also be a number of workshops, where researchers will be able to meet in an informal setting and discuss their most recent ideas with their peers.

For more information, see http://www.sciences.univ-nantes.fr/cp06/

There will be lectures, discussion sessions, round tables and software demonstrations. You are kindly invited to take active part in discussion sessions and to demonstrate your teaching or professional software.

For more information, see here or http://logicae.usal.es/SICTTL/

On Friday, 29 September 2006 the annual NAP-dag will take place. On this occasion Ph.D. students of the ACLC will present their research projects. All M.A. students, Ph.D. students, post-docs and senior staff are invited to join us in Bungehuis, room 101. Attendance is free.

For further information, please contact the NAP-dag organization committee (Antje Orgassa, Daniela Poli~enská and Loulou Edelman) at napdag at gmail.com. Programme and abstracts of the talks can be found at http://www.hum.uva.nl/aclc/object.cfm/

The Logical Workshops have been organized since 2000 mostly as a summertime science activity for students of philosophy and mathematics from Warsaw. This year the meeting is addressed to a broader audience. Logical Workshop 2006 will take place in Kazimierz Dolny, Poland, and is organized in cooperation with Institute of Philosophy, Warsaw University and Institute for Logic, Language and Computation, University of Amsterdam.

The main goal of the Workshop is to bring people interested in logic and game theory together. The Workshop is open to all who are interested in participation. There is no conference fee, all you have to pay is your own travel and accommodation expenses.

For more information, see http://www.logika.uw.edu.pl/workshop/

There will be lectures, discussion sessions, round tables and software demonstrations. You are kindly invited to take active part in discussion sessions and to demonstrate your teaching or professional software.

For more information, see here or http://logicae.usal.es/SICTTL/