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

For more information, see: http://www.st-andrews.ac.uk/~arche/spe/

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

For more information, see: http://www.st-andrews.ac.uk/~arche/spe/

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

For more information, see: http://www.st-andrews.ac.uk/~arche/spe/

As its very successful predecessors, EASSS'08 aims to offer a valuable forum for knowledge exchange between various research groups in this field for the benefit of students and researchers at both beginner and advanced level. EASSS consists of a mixture of introductory and advanced courses delivered by internationally leading experts in multi-agent systems, and it covers the full range of theoretical and practical aspects of multi-agent systems.

For more information, see http://centria.di.fct.unl.pt/events/easss08/.

As its very successful predecessors, EASSS'08 aims to offer a valuable forum for knowledge exchange between various research groups in this field for the benefit of students and researchers at both beginner and advanced level. EASSS consists of a mixture of introductory and advanced courses delivered by internationally leading experts in multi-agent systems, and it covers the full range of theoretical and practical aspects of multi-agent systems.

For more information, see http://centria.di.fct.unl.pt/events/easss08/.

As its very successful predecessors, EASSS'08 aims to offer a valuable forum for knowledge exchange between various research groups in this field for the benefit of students and researchers at both beginner and advanced level. EASSS consists of a mixture of introductory and advanced courses delivered by internationally leading experts in multi-agent systems, and it covers the full range of theoretical and practical aspects of multi-agent systems.

For more information, see http://centria.di.fct.unl.pt/events/easss08/.

As its very successful predecessors, EASSS'08 aims to offer a valuable forum for knowledge exchange between various research groups in this field for the benefit of students and researchers at both beginner and advanced level. EASSS consists of a mixture of introductory and advanced courses delivered by internationally leading experts in multi-agent systems, and it covers the full range of theoretical and practical aspects of multi-agent systems.

For more information, see http://centria.di.fct.unl.pt/events/easss08/.

As its very successful predecessors, EASSS'08 aims to offer a valuable forum for knowledge exchange between various research groups in this field for the benefit of students and researchers at both beginner and advanced level. EASSS consists of a mixture of introductory and advanced courses delivered by internationally leading experts in multi-agent systems, and it covers the full range of theoretical and practical aspects of multi-agent systems.

For more information, see http://centria.di.fct.unl.pt/events/easss08/.

Three simultaneous events be held between 11-17 May 2008 in Paraty, Brazil: * CLE 30 - 30th Anniversary of the Centre for Logic, Epistemology and the History of Science (CLE), UNICAMP
* XV EBL - 15th Brazilian Logic Conference
* XIV SLALM - 14th Latin-American Symposium on Mathematical Logic

The topics include Philosophical and Mathematical Logic and applications with emphasis on Model Theory and Proof Theory, Set Theory, Non-Classical Logics and applications, History and Philosophy of Logic, Philosophy of the Formal Sciences and Foundations of Mathematics. A "Logic School" intended for students (but open to anyone interested) is planned to be held in the State University of Campinas (UNICAMP) between 7 - 9 May, 2008.

For more information, see http://www.cle.unicamp.br/cle30-ebl-slalm/

Three simultaneous events be held between 11-17 May 2008 in Paraty, Brazil: * CLE 30 - 30th Anniversary of the Centre for Logic, Epistemology and the History of Science (CLE), UNICAMP
* XV EBL - 15th Brazilian Logic Conference
* XIV SLALM - 14th Latin-American Symposium on Mathematical Logic

The topics include Philosophical and Mathematical Logic and applications with emphasis on Model Theory and Proof Theory, Set Theory, Non-Classical Logics and applications, History and Philosophy of Logic, Philosophy of the Formal Sciences and Foundations of Mathematics. A "Logic School" intended for students (but open to anyone interested) is planned to be held in the State University of Campinas (UNICAMP) between 7 - 9 May, 2008.

For more information, see http://www.cle.unicamp.br/cle30-ebl-slalm/

AAMAS is the leading scientific conference for research in autonomous agents and multiagent systems. The aim of the conference is to provide a single, high-profile, internationally respected archival forum for research in all aspects of the theory and practice of autonomous agents and multi-agent systems.

For more information, see http://gaips.inesc-id.pt/aamas2008/.

Three simultaneous events be held between 11-17 May 2008 in Paraty, Brazil: * CLE 30 - 30th Anniversary of the Centre for Logic, Epistemology and the History of Science (CLE), UNICAMP
* XV EBL - 15th Brazilian Logic Conference
* XIV SLALM - 14th Latin-American Symposium on Mathematical Logic

The topics include Philosophical and Mathematical Logic and applications with emphasis on Model Theory and Proof Theory, Set Theory, Non-Classical Logics and applications, History and Philosophy of Logic, Philosophy of the Formal Sciences and Foundations of Mathematics. A "Logic School" intended for students (but open to anyone interested) is planned to be held in the State University of Campinas (UNICAMP) between 7 - 9 May, 2008.

For more information, see http://www.cle.unicamp.br/cle30-ebl-slalm/

AAMAS is the leading scientific conference for research in autonomous agents and multiagent systems. The aim of the conference is to provide a single, high-profile, internationally respected archival forum for research in all aspects of the theory and practice of autonomous agents and multi-agent systems.

For more information, see http://gaips.inesc-id.pt/aamas2008/.

The DL workshop is the major annual event of the description logic research community. The workshop is a gathering forum to meet, discuss and exchange experiences among all those, both in academia and industry, who are interested in description logics and their applications.

For more information, see http://dl.kr.org/dl2008/

Three simultaneous events be held between 11-17 May 2008 in Paraty, Brazil: * CLE 30 - 30th Anniversary of the Centre for Logic, Epistemology and the History of Science (CLE), UNICAMP
* XV EBL - 15th Brazilian Logic Conference
* XIV SLALM - 14th Latin-American Symposium on Mathematical Logic

The topics include Philosophical and Mathematical Logic and applications with emphasis on Model Theory and Proof Theory, Set Theory, Non-Classical Logics and applications, History and Philosophy of Logic, Philosophy of the Formal Sciences and Foundations of Mathematics. A "Logic School" intended for students (but open to anyone interested) is planned to be held in the State University of Campinas (UNICAMP) between 7 - 9 May, 2008.

For more information, see http://www.cle.unicamp.br/cle30-ebl-slalm/

AAMAS is the leading scientific conference for research in autonomous agents and multiagent systems. The aim of the conference is to provide a single, high-profile, internationally respected archival forum for research in all aspects of the theory and practice of autonomous agents and multi-agent systems.

For more information, see http://gaips.inesc-id.pt/aamas2008/.

The DL workshop is the major annual event of the description logic research community. The workshop is a gathering forum to meet, discuss and exchange experiences among all those, both in academia and industry, who are interested in description logics and their applications.

For more information, see http://dl.kr.org/dl2008/

Tools from logic and mathematics have played a central role in models of human beliefs, of human desires and preferences and indeed the actions which are based on them. However, beliefs, preferences and perhaps even desires change. Thus the development, which has been greatly accelerated in recent times, of extensions of the logical and mathematical techniques to account for the problems of change. However, as different paradigms (AGM theory and dynamic logic in the 'logic' camp, Bayesian update and Jeffrey conditionalisation in the probability camp, to take just a few examples of theories of belief change) jostle to impose themselves, it is perhaps the moment to take a step back and ask: what do we want from a theory of change?

This question-as philosophical and methodological as it is technical-is at the heart of this colloquium / workshop. The aim is to bring together specialists working on the problem of attitude change, from a wide range of paradigms, to present and discuss their views on the objectives of theories of change. The ambition is to identify the main issues for theories of change, and clarify the major positions one could hold concerning the project of understanding or modelling attitude change.

For more information, see the conference website at http://www.flu.cas.cz/colloquium or contact colloquium at flu.cas.cz.

Three simultaneous events be held between 11-17 May 2008 in Paraty, Brazil: * CLE 30 - 30th Anniversary of the Centre for Logic, Epistemology and the History of Science (CLE), UNICAMP
* XV EBL - 15th Brazilian Logic Conference
* XIV SLALM - 14th Latin-American Symposium on Mathematical Logic

The topics include Philosophical and Mathematical Logic and applications with emphasis on Model Theory and Proof Theory, Set Theory, Non-Classical Logics and applications, History and Philosophy of Logic, Philosophy of the Formal Sciences and Foundations of Mathematics. A "Logic School" intended for students (but open to anyone interested) is planned to be held in the State University of Campinas (UNICAMP) between 7 - 9 May, 2008.

For more information, see http://www.cle.unicamp.br/cle30-ebl-slalm/

AAMAS is the leading scientific conference for research in autonomous agents and multiagent systems. The aim of the conference is to provide a single, high-profile, internationally respected archival forum for research in all aspects of the theory and practice of autonomous agents and multi-agent systems.

For more information, see http://gaips.inesc-id.pt/aamas2008/.

The DL workshop is the major annual event of the description logic research community. The workshop is a gathering forum to meet, discuss and exchange experiences among all those, both in academia and industry, who are interested in description logics and their applications.

For more information, see http://dl.kr.org/dl2008/

Three simultaneous events be held between 11-17 May 2008 in Paraty, Brazil: * CLE 30 - 30th Anniversary of the Centre for Logic, Epistemology and the History of Science (CLE), UNICAMP
* XV EBL - 15th Brazilian Logic Conference
* XIV SLALM - 14th Latin-American Symposium on Mathematical Logic

The topics include Philosophical and Mathematical Logic and applications with emphasis on Model Theory and Proof Theory, Set Theory, Non-Classical Logics and applications, History and Philosophy of Logic, Philosophy of the Formal Sciences and Foundations of Mathematics. A "Logic School" intended for students (but open to anyone interested) is planned to be held in the State University of Campinas (UNICAMP) between 7 - 9 May, 2008.

For more information, see http://www.cle.unicamp.br/cle30-ebl-slalm/

AAMAS is the leading scientific conference for research in autonomous agents and multiagent systems. The aim of the conference is to provide a single, high-profile, internationally respected archival forum for research in all aspects of the theory and practice of autonomous agents and multi-agent systems.

For more information, see http://gaips.inesc-id.pt/aamas2008/.

The DL workshop is the major annual event of the description logic research community. The workshop is a gathering forum to meet, discuss and exchange experiences among all those, both in academia and industry, who are interested in description logics and their applications.

For more information, see http://dl.kr.org/dl2008/

Three simultaneous events be held between 11-17 May 2008 in Paraty, Brazil: * CLE 30 - 30th Anniversary of the Centre for Logic, Epistemology and the History of Science (CLE), UNICAMP
* XV EBL - 15th Brazilian Logic Conference
* XIV SLALM - 14th Latin-American Symposium on Mathematical Logic

The topics include Philosophical and Mathematical Logic and applications with emphasis on Model Theory and Proof Theory, Set Theory, Non-Classical Logics and applications, History and Philosophy of Logic, Philosophy of the Formal Sciences and Foundations of Mathematics. A "Logic School" intended for students (but open to anyone interested) is planned to be held in the State University of Campinas (UNICAMP) between 7 - 9 May, 2008.

For more information, see http://www.cle.unicamp.br/cle30-ebl-slalm/

AAMAS is the leading scientific conference for research in autonomous agents and multiagent systems. The aim of the conference is to provide a single, high-profile, internationally respected archival forum for research in all aspects of the theory and practice of autonomous agents and multi-agent systems.

For more information, see http://gaips.inesc-id.pt/aamas2008/.

AAMAS is the leading scientific conference for research in autonomous agents and multiagent systems. The aim of the conference is to provide a single, high-profile, internationally respected archival forum for research in all aspects of the theory and practice of autonomous agents and multi-agent systems.

For more information, see http://gaips.inesc-id.pt/aamas2008/.

The workshop celebrates Goldman's groundbreaking contributions to contemporary epistemology.

Attendance is free and open to all. If you plan to attend, please contact us at werning at phil.uni-duesseldorf.de by April 20, 2008. For more information, see http://goldman.uni-duesseldorf.de/

ManyVal is a prospective series of international workshops on the logical and algebraic aspects of many-valued reasoning. The aim of the workshops is to gather both established and young researchers sharing an interest for a specific topic. Accordingly, each edition has a sharp focus. The attendance is limited to approximately thirty participants in order to facilitate close and informal interaction. There are no parallel sessions.

ManyVal'08 will focus on:
States of MV-algebras and generalizations
Topological dualities in algebraic logic
Measure theory on dual spaces of algebras of logics
Subjective probability and many-valued reasoning.

For more information, see http://manyval.dsi.unimi.it/

The workshop celebrates Goldman's groundbreaking contributions to contemporary epistemology.

Attendance is free and open to all. If you plan to attend, please contact us at werning at phil.uni-duesseldorf.de by April 20, 2008. For more information, see http://goldman.uni-duesseldorf.de/

ManyVal is a prospective series of international workshops on the logical and algebraic aspects of many-valued reasoning. The aim of the workshops is to gather both established and young researchers sharing an interest for a specific topic. Accordingly, each edition has a sharp focus. The attendance is limited to approximately thirty participants in order to facilitate close and informal interaction. There are no parallel sessions.

ManyVal'08 will focus on:
States of MV-algebras and generalizations
Topological dualities in algebraic logic
Measure theory on dual spaces of algebras of logics
Subjective probability and many-valued reasoning.

For more information, see http://manyval.dsi.unimi.it/

ManyVal is a prospective series of international workshops on the logical and algebraic aspects of many-valued reasoning. The aim of the workshops is to gather both established and young researchers sharing an interest for a specific topic. Accordingly, each edition has a sharp focus. The attendance is limited to approximately thirty participants in order to facilitate close and informal interaction. There are no parallel sessions.

ManyVal'08 will focus on:
States of MV-algebras and generalizations
Topological dualities in algebraic logic
Measure theory on dual spaces of algebras of logics
Subjective probability and many-valued reasoning.

For more information, see http://manyval.dsi.unimi.it/

The series of International Conferences on Logic for Programming, Artificial Intelligence and Reasoning (LPAR) is a forum where, year after year, some of the most renowned researchers in the areas of automated reasoning, computational logic, programming languages and their applications come to present cutting-edge results, to discuss advances in these fields, and to exchange ideas in a scientifically emerging part of the world. The 2008 edition will be held in Doha, Qatar, on the premises of the Qatar campus of Carnegie Mellon University.

For more information, see http://www.qatar.cmu.edu/lpar08/.

The conference is concerned with the theory of computability and complexity over real-valued data. Despite remarkable progress in recent years many important fundamental problems have not yet been studied, and presumably numerous unexpected and surprising results are waiting to be detected. Scientists working in the area of computation on real-valued data come from different fields, such as theoretical computer science, domain theory, logic, constructive mathematics, computer arithmetic, numerical mathematics and all branches of analysis. The conference provides a unique opportunity for people from such diverse areas to meet, present work in progress and exchange ideas and knowledge.

For more information, see http://cca-net.de/cca2008/

The Dutch Organisation for Scientific Research (NWO) organizes, in collaboration with the Dutch Society for scientific Journalists (VWN) and the Science Center (NEMO), on Monday 26th of May this year, for the 8yh time 'Bessensap'. An event that tries to bring researchers and journalists, editors and other people from the press closer together.

For more information, see http://www.nwo.nl/nwohome.nsf/pages/NWOP_5VVJQK

The first Workshop on Practical Aspects of Automated Reasoning will be held in August 2008, in Sydney, Australia. PAAR will be associated with the 4th International Joint Conference on Automated Reasoning (IJCAR-2008).

Deadline for submission of abstracts: May 27th, 2008. For more information, see http://www.eprover.org/EVENTS/PAAR-2008/paar-2008.html

Our part time professor Krzysztof Apt is appointed CWI Fellow on 1 April 2008. This title is given to outstanding members of CWI's research staff and offers them full freedom in research.

At CWI Apt is member of the research group Algorithms, Combinatorics and Optimization. In 2006 he was appointed member of the Academia Europæa. He is founder and past Editor-in-Chief of the ACM Transactions in Computational Logic. Apt published four books and numerous journal articles, in computer science, mathematical logic and, more recently, game theory.

In honour of his appointment, and to mark the growing interaction between economics and computer science, CWI organizes a symposium on game theory on 27 May 2008. Invited distinguished speakers on this Game Theory Day at CWI are Christos Papadimitriou (University of California, Berkeley) and our Beth Chair holder Dov Samet (Tel Aviv University).

For more information, see http://www.cwi.nl/events/2008/gametheoryday.html

As a mathematical framework to reason about fixpoints in modal logic, the modal \mu-calculus constitutes a meta formal system for many logics used in computer science. It is indeed weaker than second order logics, but sustains enough expressibility for many applications, in particular in program synthesis and verification. It is strongly connected with the theory of automata, since modal \mu-calculus is in fact equivalent to alternating tree automata. Modal \mu-calculus forms a research field of considerable interest, because of the richness of its powerful, although simple, mathematical theory which establishes deep connections with logic, algebra, automata, and game theory.

If the connection with the theory of automata and games, has been intensively studied, many questions remain open. For instance the precise complexity - or even the understanding - of modal \mu-calculus formulas is in many cases a total mystery. Not to mention that most decidability questions related to alternating tree automata are unanswered yet. The aim of this scientific meeting is to bring together researchers from various countries and background to work together for 2 days on \mu-calculus and automata.

Registration deadline: May 20, 2008 Further information about ABCD on Mu-Calculus can be obtained at http://www2.unil.ch/logique/ABCDmu-calculus08/. E-mail enquiries about this mini-workshop should be directed to alessandro.facchini at unil.ch

As a mathematical framework to reason about fixpoints in modal logic, the modal \mu-calculus constitutes a meta formal system for many logics used in computer science. It is indeed weaker than second order logics, but sustains enough expressibility for many applications, in particular in program synthesis and verification. It is strongly connected with the theory of automata, since modal \mu-calculus is in fact equivalent to alternating tree automata. Modal \mu-calculus forms a research field of considerable interest, because of the richness of its powerful, although simple, mathematical theory which establishes deep connections with logic, algebra, automata, and game theory.

If the connection with the theory of automata and games, has been intensively studied, many questions remain open. For instance the precise complexity - or even the understanding - of modal \mu-calculus formulas is in many cases a total mystery. Not to mention that most decidability questions related to alternating tree automata are unanswered yet. The aim of this scientific meeting is to bring together researchers from various countries and background to work together for 2 days on \mu-calculus and automata.

Registration deadline: May 20, 2008 Further information about ABCD on Mu-Calculus can be obtained at http://www2.unil.ch/logique/ABCDmu-calculus08/. E-mail enquiries about this mini-workshop should be directed to alessandro.facchini at unil.ch

This networking event is jointly organized by CEMS and a benelux section of IEEE, and is aimed at ph.d. students already working on a specific research topic but not yet close to defending their thesis, to bring together PhD candidates and faculty in order to facilitate focused and in-depth discussion.

For more information, see http://staff.science.uva.nl/~peter/NITIMDC200805.pdf

The purpose of the 2008 International Workshop on Truth Values is to present and discuss work on various interrelated aspects of truth-values: philosophical, logical and algebraic among them. The topics of the workshop include:

- the philosophical elucidation and theoretical explication of the notion of a truth value;
- general formal tools for a uniform treatment of various logical, mathematical and philosophical aspects of truth values and valuational systems within a joint theoretical framework;
- the interpretation of logical calculi as valuational systems, the development of general methods of formalizing (in axiomatic, sequent, tableau etc. style) logical theories on the basis of a given system of truth values and the examination of their syntactic and semantic properties;
- the investigation of topical problems of many-valued logics, such as Suszko's Thesis, truth value gaps, logical and semantical paradoxes etc.;
- possible applications of generalized truth values and generalized truth value functions in various areas of philosophical and mathematical interest.

For more information, an online registration form and a preliminary program, see http://www.truthvalues2008.com/

This networking event is jointly organized by CEMS and a benelux section of IEEE, and is aimed at ph.d. students already working on a specific research topic but not yet close to defending their thesis, to bring together PhD candidates and faculty in order to facilitate focused and in-depth discussion.

For more information, see http://staff.science.uva.nl/~peter/NITIMDC200805.pdf

The purpose of the 2008 International Workshop on Truth Values is to present and discuss work on various interrelated aspects of truth-values: philosophical, logical and algebraic among them. The topics of the workshop include:

- the philosophical elucidation and theoretical explication of the notion of a truth value;
- general formal tools for a uniform treatment of various logical, mathematical and philosophical aspects of truth values and valuational systems within a joint theoretical framework;
- the interpretation of logical calculi as valuational systems, the development of general methods of formalizing (in axiomatic, sequent, tableau etc. style) logical theories on the basis of a given system of truth values and the examination of their syntactic and semantic properties;
- the investigation of topical problems of many-valued logics, such as Suszko's Thesis, truth value gaps, logical and semantical paradoxes etc.;
- possible applications of generalized truth values and generalized truth value functions in various areas of philosophical and mathematical interest.

For more information, an online registration form and a preliminary program, see http://www.truthvalues2008.com/

This networking event is jointly organized by CEMS and a benelux section of IEEE, and is aimed at ph.d. students already working on a specific research topic but not yet close to defending their thesis, to bring together PhD candidates and faculty in order to facilitate focused and in-depth discussion.

For more information, see http://staff.science.uva.nl/~peter/NITIMDC200805.pdf

The purpose of the 2008 International Workshop on Truth Values is to present and discuss work on various interrelated aspects of truth-values: philosophical, logical and algebraic among them. The topics of the workshop include:

- the philosophical elucidation and theoretical explication of the notion of a truth value;
- general formal tools for a uniform treatment of various logical, mathematical and philosophical aspects of truth values and valuational systems within a joint theoretical framework;
- the interpretation of logical calculi as valuational systems, the development of general methods of formalizing (in axiomatic, sequent, tableau etc. style) logical theories on the basis of a given system of truth values and the examination of their syntactic and semantic properties;
- the investigation of topical problems of many-valued logics, such as Suszko's Thesis, truth value gaps, logical and semantical paradoxes etc.;
- possible applications of generalized truth values and generalized truth value functions in various areas of philosophical and mathematical interest.

For more information, an online registration form and a preliminary program, see http://www.truthvalues2008.com/