The Logic Colloquium is the annual European conference on logic, organised under the auspices of the Association for Symbolic Logic (ASL). It provides a forum for presenting and discussing the new developments in the area of logic. The conference attracts researchers from logic, with an emphasis on mathematical logic, but also including researchers from computer science logic and philosophical logic. In previous years, the Logic Colloquium has been organised in Athens (2005) and Turin (2004). The leading researchers on logic participate in the conference, as invited speaker, tutorial speaker or as participant. It also attracts students (master and Ph.D. students) in logic from all over the world and in that way it also serves for students as an introduction into the research field of logic.

For more information, see http://www.cs.ru.nl/lc2006/ or contact lc2006 at cs.ru.nl.

The purpose of the workshop is to gather contributions that (i) take seriously into account the ontological aspects of communication and interaction and (ii) use formal ontologies for achieving a better semantic coordination between interacting and communicating agents.

For more information, see here or http://www.loa-cnr.it/esslli06/

The main focus of ESSLLI is on the interface between linguistics, logic and computation. Foundational, introductory and advanced courses together with workshops cover a wide variety of topics within the three areas of interest: Language and Computation, Language and Logic, and Logic and Computation.

The school has developed into an important meeting place and forum for discussion for students, researchers and IT professionals interested in the interdisciplinary study of Logic, Language and Information. ESSLLI-2006 is organised under the auspices of the European Association for Logic, Language and Information (FoLLI).

For more information, see the ESSLLI website at http://esslli2006.lcc.uma.es/.

The Fourth International Conference on Information, Information'06, and the Fourth Irish Conference on the Mathematical Foundations of Computer Science and Information Technology'06, MFCSIT'06, will be co-located on the campus of the National University of Ireland, Cork (NUI, Cork).

Information'06 will focus on Information and Communication Technologies (ICT) in a broad sense, and the applications of these. MFCSIT'06 will focus on mathematical and theoretical aspects of ICT and, conversely, with the applications of ICT to the mathematical sciences. Both conferences are part of interdisciplinary, international conference series held every two years.

For more information, see http://www.ucc.ie/info-mfcsit/

The Logic Colloquium is the annual European conference on logic, organised under the auspices of the Association for Symbolic Logic (ASL). It provides a forum for presenting and discussing the new developments in the area of logic. The conference attracts researchers from logic, with an emphasis on mathematical logic, but also including researchers from computer science logic and philosophical logic. In previous years, the Logic Colloquium has been organised in Athens (2005) and Turin (2004). The leading researchers on logic participate in the conference, as invited speaker, tutorial speaker or as participant. It also attracts students (master and Ph.D. students) in logic from all over the world and in that way it also serves for students as an introduction into the research field of logic.

For more information, see http://www.cs.ru.nl/lc2006/ or contact lc2006 at cs.ru.nl.

The purpose of the workshop is to gather contributions that (i) take seriously into account the ontological aspects of communication and interaction and (ii) use formal ontologies for achieving a better semantic coordination between interacting and communicating agents.

For more information, see here or http://www.loa-cnr.it/esslli06/

The main focus of ESSLLI is on the interface between linguistics, logic and computation. Foundational, introductory and advanced courses together with workshops cover a wide variety of topics within the three areas of interest: Language and Computation, Language and Logic, and Logic and Computation.

The school has developed into an important meeting place and forum for discussion for students, researchers and IT professionals interested in the interdisciplinary study of Logic, Language and Information. ESSLLI-2006 is organised under the auspices of the European Association for Logic, Language and Information (FoLLI).

For more information, see the ESSLLI website at http://esslli2006.lcc.uma.es/.

The Fourth International Conference on Information, Information'06, and the Fourth Irish Conference on the Mathematical Foundations of Computer Science and Information Technology'06, MFCSIT'06, will be co-located on the campus of the National University of Ireland, Cork (NUI, Cork).

Information'06 will focus on Information and Communication Technologies (ICT) in a broad sense, and the applications of these. MFCSIT'06 will focus on mathematical and theoretical aspects of ICT and, conversely, with the applications of ICT to the mathematical sciences. Both conferences are part of interdisciplinary, international conference series held every two years.

For more information, see http://www.ucc.ie/info-mfcsit/

The purpose of the workshop is to gather contributions that (i) take seriously into account the ontological aspects of communication and interaction and (ii) use formal ontologies for achieving a better semantic coordination between interacting and communicating agents.

For more information, see here or http://www.loa-cnr.it/esslli06/

The main focus of ESSLLI is on the interface between linguistics, logic and computation. Foundational, introductory and advanced courses together with workshops cover a wide variety of topics within the three areas of interest: Language and Computation, Language and Logic, and Logic and Computation.

The school has developed into an important meeting place and forum for discussion for students, researchers and IT professionals interested in the interdisciplinary study of Logic, Language and Information. ESSLLI-2006 is organised under the auspices of the European Association for Logic, Language and Information (FoLLI).

For more information, see the ESSLLI website at http://esslli2006.lcc.uma.es/.

The Fourth International Conference on Information, Information'06, and the Fourth Irish Conference on the Mathematical Foundations of Computer Science and Information Technology'06, MFCSIT'06, will be co-located on the campus of the National University of Ireland, Cork (NUI, Cork).

Information'06 will focus on Information and Communication Technologies (ICT) in a broad sense, and the applications of these. MFCSIT'06 will focus on mathematical and theoretical aspects of ICT and, conversely, with the applications of ICT to the mathematical sciences. Both conferences are part of interdisciplinary, international conference series held every two years.

For more information, see http://www.ucc.ie/info-mfcsit/

The purpose of the workshop is to gather contributions that (i) take seriously into account the ontological aspects of communication and interaction and (ii) use formal ontologies for achieving a better semantic coordination between interacting and communicating agents.

For more information, see here or http://www.loa-cnr.it/esslli06/

The main focus of ESSLLI is on the interface between linguistics, logic and computation. Foundational, introductory and advanced courses together with workshops cover a wide variety of topics within the three areas of interest: Language and Computation, Language and Logic, and Logic and Computation.

The school has developed into an important meeting place and forum for discussion for students, researchers and IT professionals interested in the interdisciplinary study of Logic, Language and Information. ESSLLI-2006 is organised under the auspices of the European Association for Logic, Language and Information (FoLLI).

For more information, see the ESSLLI website at http://esslli2006.lcc.uma.es/.

The Fourth International Conference on Information, Information'06, and the Fourth Irish Conference on the Mathematical Foundations of Computer Science and Information Technology'06, MFCSIT'06, will be co-located on the campus of the National University of Ireland, Cork (NUI, Cork).

Information'06 will focus on Information and Communication Technologies (ICT) in a broad sense, and the applications of these. MFCSIT'06 will focus on mathematical and theoretical aspects of ICT and, conversely, with the applications of ICT to the mathematical sciences. Both conferences are part of interdisciplinary, international conference series held every two years.

For more information, see http://www.ucc.ie/info-mfcsit/

The main focus of ESSLLI is on the interface between linguistics, logic and computation. Foundational, introductory and advanced courses together with workshops cover a wide variety of topics within the three areas of interest: Language and Computation, Language and Logic, and Logic and Computation.

The school has developed into an important meeting place and forum for discussion for students, researchers and IT professionals interested in the interdisciplinary study of Logic, Language and Information. ESSLLI-2006 is organised under the auspices of the European Association for Logic, Language and Information (FoLLI).

For more information, see the ESSLLI website at http://esslli2006.lcc.uma.es/.

The Fourth International Conference on Information, Information'06, and the Fourth Irish Conference on the Mathematical Foundations of Computer Science and Information Technology'06, MFCSIT'06, will be co-located on the campus of the National University of Ireland, Cork (NUI, Cork).

Information'06 will focus on Information and Communication Technologies (ICT) in a broad sense, and the applications of these. MFCSIT'06 will focus on mathematical and theoretical aspects of ICT and, conversely, with the applications of ICT to the mathematical sciences. Both conferences are part of interdisciplinary, international conference series held every two years.

For more information, see http://www.ucc.ie/info-mfcsit/

The main focus of ESSLLI is on the interface between linguistics, logic and computation. Foundational, introductory and advanced courses together with workshops cover a wide variety of topics within the three areas of interest: Language and Computation, Language and Logic, and Logic and Computation.

The school has developed into an important meeting place and forum for discussion for students, researchers and IT professionals interested in the interdisciplinary study of Logic, Language and Information. ESSLLI-2006 is organised under the auspices of the European Association for Logic, Language and Information (FoLLI).

For more information, see the ESSLLI website at http://esslli2006.lcc.uma.es/.

The main focus of ESSLLI is on the interface between linguistics, logic and computation. Foundational, introductory and advanced courses together with workshops cover a wide variety of topics within the three areas of interest: Language and Computation, Language and Logic, and Logic and Computation.

The school has developed into an important meeting place and forum for discussion for students, researchers and IT professionals interested in the interdisciplinary study of Logic, Language and Information. ESSLLI-2006 is organised under the auspices of the European Association for Logic, Language and Information (FoLLI).

For more information, see the ESSLLI website at http://esslli2006.lcc.uma.es/.

This workshop, sponsored by the American Institute of Mathematics and the U.S. National Science Foundation, will focus on effective notions of randomness such as Martin-Lof randomness, measures of relative randomness, effective dimension, Kolmogorov complexity and other concepts from algorithmic information theory, and interactions with computability theory and complexity theory.

For more information, see http://aimath.org/ARCC/workshops/randomness.html

Students and researchers are invited to attend the sixth summer school on quantum information processing held at the University of Calgary. The goal of the school is to introduce a general audience of computer scientists, physicists, and mathematicians with little or no background in quantum information processing to this exciting and growing field.

For more information, see http://www.equips.ca/

We are pleased to invite you to a conference on topology and computer science to mark the retirements of Peter Collins and Mike Reed from the Oxford Mathematical Institute and the Oxford Computing Laboratory.

The conference will take place in Oxford, 7th-10th, August 2006, the week before the Prague Symposium and will include special sessions on Set-theoretic Topology, Theoretical Computer Science and Continuum Theory and Dynamics.

The workshop on rationality and knowledge intends to bring together researchers from a wide variety of fields - including Artificial Intelligence, Cryptography, Distributed Computing, Economics and Game Theory, Linguistics, Logic, Philosophy, and Psychology, in order to further our understanding of interdisciplinary issues involving reasoning about rationality and knowledge.

Invited speakers are Johan van Benthem (Amsterdam/Stanford) and Remzi Sanver (Istanbul Bilgi University).

The workshop is part of ESSLLI 2006 and is open to all ESSLLI participants. It will consist of five 90-minute sessions held over five consecutive days in the second week of ESSLLI. There will be 2 or 3 slots for paper presentation and discussion per session.

For more information, see: http://www.cs.gc.cuny.edu/~sartemov/rkw/.

The XIII SLALM will take place in the beautiful city of OAXACA, MEXICO, from August 7th to August 12th. Prior to the conference the "Escuela Latinoamericana de Logica Matematica" will be held, giving four introductory courses.

For more information, see here or http://slalm.izt.uam.mx/

The main focus of ESSLLI is on the interface between linguistics, logic and computation. Foundational, introductory and advanced courses together with workshops cover a wide variety of topics within the three areas of interest: Language and Computation, Language and Logic, and Logic and Computation.

The school has developed into an important meeting place and forum for discussion for students, researchers and IT professionals interested in the interdisciplinary study of Logic, Language and Information. ESSLLI-2006 is organised under the auspices of the European Association for Logic, Language and Information (FoLLI).

For more information, see the ESSLLI website at http://esslli2006.lcc.uma.es/.

This workshop, sponsored by the American Institute of Mathematics and the U.S. National Science Foundation, will focus on effective notions of randomness such as Martin-Lof randomness, measures of relative randomness, effective dimension, Kolmogorov complexity and other concepts from algorithmic information theory, and interactions with computability theory and complexity theory.

For more information, see http://aimath.org/ARCC/workshops/randomness.html

Students and researchers are invited to attend the sixth summer school on quantum information processing held at the University of Calgary. The goal of the school is to introduce a general audience of computer scientists, physicists, and mathematicians with little or no background in quantum information processing to this exciting and growing field.

For more information, see http://www.equips.ca/

We are pleased to invite you to a conference on topology and computer science to mark the retirements of Peter Collins and Mike Reed from the Oxford Mathematical Institute and the Oxford Computing Laboratory.

The conference will take place in Oxford, 7th-10th, August 2006, the week before the Prague Symposium and will include special sessions on Set-theoretic Topology, Theoretical Computer Science and Continuum Theory and Dynamics.

The workshop on rationality and knowledge intends to bring together researchers from a wide variety of fields - including Artificial Intelligence, Cryptography, Distributed Computing, Economics and Game Theory, Linguistics, Logic, Philosophy, and Psychology, in order to further our understanding of interdisciplinary issues involving reasoning about rationality and knowledge.

Invited speakers are Johan van Benthem (Amsterdam/Stanford) and Remzi Sanver (Istanbul Bilgi University).

The workshop is part of ESSLLI 2006 and is open to all ESSLLI participants. It will consist of five 90-minute sessions held over five consecutive days in the second week of ESSLLI. There will be 2 or 3 slots for paper presentation and discussion per session.

For more information, see: http://www.cs.gc.cuny.edu/~sartemov/rkw/.

The XIII SLALM will take place in the beautiful city of OAXACA, MEXICO, from August 7th to August 12th. Prior to the conference the "Escuela Latinoamericana de Logica Matematica" will be held, giving four introductory courses.

For more information, see here or http://slalm.izt.uam.mx/

The main focus of ESSLLI is on the interface between linguistics, logic and computation. Foundational, introductory and advanced courses together with workshops cover a wide variety of topics within the three areas of interest: Language and Computation, Language and Logic, and Logic and Computation.

The school has developed into an important meeting place and forum for discussion for students, researchers and IT professionals interested in the interdisciplinary study of Logic, Language and Information. ESSLLI-2006 is organised under the auspices of the European Association for Logic, Language and Information (FoLLI).

For more information, see the ESSLLI website at http://esslli2006.lcc.uma.es/.

This workshop, sponsored by the American Institute of Mathematics and the U.S. National Science Foundation, will focus on effective notions of randomness such as Martin-Lof randomness, measures of relative randomness, effective dimension, Kolmogorov complexity and other concepts from algorithmic information theory, and interactions with computability theory and complexity theory.

For more information, see http://aimath.org/ARCC/workshops/randomness.html

Students and researchers are invited to attend the sixth summer school on quantum information processing held at the University of Calgary. The goal of the school is to introduce a general audience of computer scientists, physicists, and mathematicians with little or no background in quantum information processing to this exciting and growing field.

For more information, see http://www.equips.ca/

We are pleased to invite you to a conference on topology and computer science to mark the retirements of Peter Collins and Mike Reed from the Oxford Mathematical Institute and the Oxford Computing Laboratory.

The conference will take place in Oxford, 7th-10th, August 2006, the week before the Prague Symposium and will include special sessions on Set-theoretic Topology, Theoretical Computer Science and Continuum Theory and Dynamics.

The workshop on rationality and knowledge intends to bring together researchers from a wide variety of fields - including Artificial Intelligence, Cryptography, Distributed Computing, Economics and Game Theory, Linguistics, Logic, Philosophy, and Psychology, in order to further our understanding of interdisciplinary issues involving reasoning about rationality and knowledge.

Invited speakers are Johan van Benthem (Amsterdam/Stanford) and Remzi Sanver (Istanbul Bilgi University).

The workshop is part of ESSLLI 2006 and is open to all ESSLLI participants. It will consist of five 90-minute sessions held over five consecutive days in the second week of ESSLLI. There will be 2 or 3 slots for paper presentation and discussion per session.

For more information, see: http://www.cs.gc.cuny.edu/~sartemov/rkw/.

The XIII SLALM will take place in the beautiful city of OAXACA, MEXICO, from August 7th to August 12th. Prior to the conference the "Escuela Latinoamericana de Logica Matematica" will be held, giving four introductory courses.

For more information, see here or http://slalm.izt.uam.mx/

The main focus of ESSLLI is on the interface between linguistics, logic and computation. Foundational, introductory and advanced courses together with workshops cover a wide variety of topics within the three areas of interest: Language and Computation, Language and Logic, and Logic and Computation.

The school has developed into an important meeting place and forum for discussion for students, researchers and IT professionals interested in the interdisciplinary study of Logic, Language and Information. ESSLLI-2006 is organised under the auspices of the European Association for Logic, Language and Information (FoLLI).

For more information, see the ESSLLI website at http://esslli2006.lcc.uma.es/.

This workshop, sponsored by the American Institute of Mathematics and the U.S. National Science Foundation, will focus on effective notions of randomness such as Martin-Lof randomness, measures of relative randomness, effective dimension, Kolmogorov complexity and other concepts from algorithmic information theory, and interactions with computability theory and complexity theory.

For more information, see http://aimath.org/ARCC/workshops/randomness.html

Students and researchers are invited to attend the sixth summer school on quantum information processing held at the University of Calgary. The goal of the school is to introduce a general audience of computer scientists, physicists, and mathematicians with little or no background in quantum information processing to this exciting and growing field.

For more information, see http://www.equips.ca/

We are pleased to invite you to a conference on topology and computer science to mark the retirements of Peter Collins and Mike Reed from the Oxford Mathematical Institute and the Oxford Computing Laboratory.

The conference will take place in Oxford, 7th-10th, August 2006, the week before the Prague Symposium and will include special sessions on Set-theoretic Topology, Theoretical Computer Science and Continuum Theory and Dynamics.

The workshop on rationality and knowledge intends to bring together researchers from a wide variety of fields - including Artificial Intelligence, Cryptography, Distributed Computing, Economics and Game Theory, Linguistics, Logic, Philosophy, and Psychology, in order to further our understanding of interdisciplinary issues involving reasoning about rationality and knowledge.

Invited speakers are Johan van Benthem (Amsterdam/Stanford) and Remzi Sanver (Istanbul Bilgi University).

The workshop is part of ESSLLI 2006 and is open to all ESSLLI participants. It will consist of five 90-minute sessions held over five consecutive days in the second week of ESSLLI. There will be 2 or 3 slots for paper presentation and discussion per session.

For more information, see: http://www.cs.gc.cuny.edu/~sartemov/rkw/.

The XIII SLALM will take place in the beautiful city of OAXACA, MEXICO, from August 7th to August 12th. Prior to the conference the "Escuela Latinoamericana de Logica Matematica" will be held, giving four introductory courses.

For more information, see here or http://slalm.izt.uam.mx/

Mathematical Knowledge Management (MKM) is an emerging interdisciplinary field of research in the intersection of mathematics, computer science, library science, and scientific publishing. Its objective is to develop new and better ways of managing mathematical knowledge using sophisticated software tools. Its grand challenge is to create a universal digital mathematics library accessible via the World-Wide Web.

MKM 2006 will be the fifth conference in a series of international MKM conferences that started in 2001. MKM 2006 will stress two themes: the nature of mathematical proof and its role in managing mathematical knowledge. and new modes of consuming and producing mathematical knowledge.

For more information, including a registration form, see http://www.reading.ac.uk/MKM06/

CATS is the premier theoretical computer science conference in Australasia. It is held annually as part of Australasian Computer Science Week (ASCW) which comprises many other conferences and is overseen by the Computer Research and Education Association (CORE).

For more information, see http://www-staff.it.uts.edu.au/~cbj/cats07/

The main focus of ESSLLI is on the interface between linguistics, logic and computation. Foundational, introductory and advanced courses together with workshops cover a wide variety of topics within the three areas of interest: Language and Computation, Language and Logic, and Logic and Computation.

The school has developed into an important meeting place and forum for discussion for students, researchers and IT professionals interested in the interdisciplinary study of Logic, Language and Information. ESSLLI-2006 is organised under the auspices of the European Association for Logic, Language and Information (FoLLI).

For more information, see the ESSLLI website at http://esslli2006.lcc.uma.es/.

This workshop, sponsored by the American Institute of Mathematics and the U.S. National Science Foundation, will focus on effective notions of randomness such as Martin-Lof randomness, measures of relative randomness, effective dimension, Kolmogorov complexity and other concepts from algorithmic information theory, and interactions with computability theory and complexity theory.

For more information, see http://aimath.org/ARCC/workshops/randomness.html

Students and researchers are invited to attend the sixth summer school on quantum information processing held at the University of Calgary. The goal of the school is to introduce a general audience of computer scientists, physicists, and mathematicians with little or no background in quantum information processing to this exciting and growing field.

For more information, see http://www.equips.ca/

The workshop on rationality and knowledge intends to bring together researchers from a wide variety of fields - including Artificial Intelligence, Cryptography, Distributed Computing, Economics and Game Theory, Linguistics, Logic, Philosophy, and Psychology, in order to further our understanding of interdisciplinary issues involving reasoning about rationality and knowledge.

Invited speakers are Johan van Benthem (Amsterdam/Stanford) and Remzi Sanver (Istanbul Bilgi University).

The workshop is part of ESSLLI 2006 and is open to all ESSLLI participants. It will consist of five 90-minute sessions held over five consecutive days in the second week of ESSLLI. There will be 2 or 3 slots for paper presentation and discussion per session.

For more information, see: http://www.cs.gc.cuny.edu/~sartemov/rkw/.

The XIII SLALM will take place in the beautiful city of OAXACA, MEXICO, from August 7th to August 12th. Prior to the conference the "Escuela Latinoamericana de Logica Matematica" will be held, giving four introductory courses.

For more information, see here or http://slalm.izt.uam.mx/

Mathematical Knowledge Management (MKM) is an emerging interdisciplinary field of research in the intersection of mathematics, computer science, library science, and scientific publishing. Its objective is to develop new and better ways of managing mathematical knowledge using sophisticated software tools. Its grand challenge is to create a universal digital mathematics library accessible via the World-Wide Web.

MKM 2006 will be the fifth conference in a series of international MKM conferences that started in 2001. MKM 2006 will stress two themes: the nature of mathematical proof and its role in managing mathematical knowledge. and new modes of consuming and producing mathematical knowledge.

For more information, including a registration form, see http://www.reading.ac.uk/MKM06/

Hybrid logic is a branch of modal logic in which it is possible to directly refer to worlds/times/states or whatever the elements of the (Kripke) model are meant to represent. The workshop HyLo 2006 is likely to be relevant to a wide range of people, including those interested in description logic, feature logic, applied modal logics, temporal logic, and labelled deduction. A theme of special interest at this HyLo workshop will be the combination of hybrid logic with other logics, the basic methodological question being "what is the best way of hybridizing a given logic?"
HyLo 2006 is affiliated with LICS 2006.

For more information, see http://hylomol.ruc.dk/HyLo2006/

There is a recent trend to study probabilistic extensions of traditional concepts of automata-theory and logics. The applications of such probabilistic formalisms cover the analysis of randomized protocols, biological systems, multi-agent systems with uncertainties, security protocols, speech recognition, logic programming, description logics for the semantic web, and many more.

The goal of this workshop is to bring together researchers that are interested in the foundations of probabilistic automata and probabilistic logics and their applications.

For more information, see http://web.informatik.uni-bonn.de/I/baier/PAuL/paul_workshop.html

Reduction strategies in rewriting and programming have attracted an increasing attention within the last years. Research in this field ranges from primarily theoretical questions about reduction strategies to very practical application and implementation issues. The need for a deeper understanding of reduction strategies in rewriting and programming, both in theory and practice, is obvious, since they bridge the gap between unrestricted general rewriting (computation) and (more deterministic) rewriting with particular strategies (programming). Moreover, reduction strategies provide a natural way to go from operational principles (e.g., graph and term rewriting, narrowing, lambda-calculus) and semantics (e.g., normalization, computation of values, infinitary normalization, head-normalization) to implementations of programming languages.

The workshop intends to promote and stimulate international research and collaboration in the area of evaluation strategies. It encourages the presentation of new directions,developments and results as well as surveys and tutorials on existing knowledge in this area.

For more information, see http://www.cs.pdx.edu/~antoy/wrs06/

The XIII SLALM will take place in the beautiful city of OAXACA, MEXICO, from August 7th to August 12th. Prior to the conference the "Escuela Latinoamericana de Logica Matematica" will be held, giving four introductory courses.

For more information, see here or http://slalm.izt.uam.mx/

Mathematical Knowledge Management (MKM) is an emerging interdisciplinary field of research in the intersection of mathematics, computer science, library science, and scientific publishing. Its objective is to develop new and better ways of managing mathematical knowledge using sophisticated software tools. Its grand challenge is to create a universal digital mathematics library accessible via the World-Wide Web.

MKM 2006 will be the fifth conference in a series of international MKM conferences that started in 2001. MKM 2006 will stress two themes: the nature of mathematical proof and its role in managing mathematical knowledge. and new modes of consuming and producing mathematical knowledge.

For more information, including a registration form, see http://www.reading.ac.uk/MKM06/

Oxford's graduate philosophy conferences are unique in that faculty members lead the replies to student papers, thus providing student participants with the opportunity to engage in direct discussion of their papers with leading philosophers.

For more information, see website: http://www.philosophy.ox.ac.uk/gradconf/ E-mail: gradconf at philosophy.ox.ac.uk

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 Eighth International Workshop on Termination will delve into all aspects of termination of processes. The intent is to bring together, in an informal setting, researchers interested in all aspects of termination, whether this interest be practical or theoretical, primary or derived. The workshop is hoped to provide a ground for cross-fertilisation of ideas from term rewriting and from the different programming language communities.

For more information, an online registration form and a preliminary program, see http://www.cs.mu.oz.au/wst2006/

The Eighth International Workshop on Termination will delve into all aspects of termination of processes. The intent is to bring together, in an informal setting, researchers interested in all aspects of termination, whether this interest be practical or theoretical, primary or derived. The workshop is hoped to provide a ground for cross-fertilisation of ideas from term rewriting and from the different programming language communities.

For more information, an online registration form and a preliminary program, see http://www.cs.mu.oz.au/wst2006/

Since the first conference held in Marseilles in 1982, ICLP has been the premier international conference for presenting research in logic programming.

For more information, see http://www.cs.uky.edu/iclp06/

Since the first conference held in Marseilles in 1982, ICLP has been the premier international conference for presenting research in logic programming.

For more information, see http://www.cs.uky.edu/iclp06/

Since the first conference held in Marseilles in 1982, ICLP has been the premier international conference for presenting research in logic programming.

For more information, see http://www.cs.uky.edu/iclp06/

Since the first conference held in Marseilles in 1982, ICLP has been the premier international conference for presenting research in logic programming.

For more information, see http://www.cs.uky.edu/iclp06/

For more information, see http://www.pu.kielce.pl/~topoconf/

For more information, see http://www.pu.kielce.pl/~topoconf/

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

The Institute of Modern Language and Communication Multimedia University will be organizing an International Seminar on "Multimedia Adventures in Languages Learning" . The seminar undertakes to explore beyond the traditional boundaries of teaching and learning of languages through a blend of various aspects of multimedia and technology.

The deadline for registration is 31 July 2006. Seats will only be confirmed upon receipt of payment.

For more information, see http://cmlc.mmu.edu.my/MAFL/, or contact Mr Mohd Yusri Bin Nordin (tel. 00603-8312-5762, fax 00603-8312-5535, email yusri at mmu.edu.my).

The event is the annual training event run by the Marie Curie Early Stage Training Network MATHLOGAPS. It features lecture courses, intended particularly for PhD students with an interest in mathematical logic, by Anand Pillay (Leeds), Bob Soare (Chicago) and Jeff Paris (Manchester), and invited lectures by Klaus Aehlig (Munich) and Wilfried Buchholz (Munich). Bretton Hall (home of the Yorkshire Sculpture Park) is in the countryside about 15 miles south of Leeds.

Please register as soon as possible. For more information, an online registration form and a preliminary program, see http://www.leeds.ac.uk/european/mathlogaps.html

ADFOCS is organized as part of the activities of the Algorithms and Complexity Group and the International Max-Planck Research School of the Max-Planck-Institut für Informatik. The scope of ADFOCS is international. Young researchers at the PhD student or postdoc level are cordially invited to participate. The goal of ADFOCS is to have hot topics from fundamental areas of computer science presented by top researchers in the field, bringing participants to the frontiers of current resarch.

For this year's ADFOCS we have three main speakers. Each of them is giving two 90-minute lectures with subsequent exercise and discussion sessions. There will be further lectures and activities as well. The main speakers are:
-- Tamal Dey, Ohio State University
-- Joel Spencer, New York University
-- Ingo Wegener, Universitaet Dortmund

Deadline for early registration: 21 June 2006. For more information, an online registration form and a preliminary program, see http://www.mpi-inf.mpg.de/adfocs/

The FM Symposia continue to be the premier international forum for practitioners and researchers applying mathematical methods to the design of highly trusted computer systems. It enables them to meet and exchange experiences and ideas. This is the 14th event in this series, and for the first time will take place in North America. As in previous years, an Industry Day will be dedicated for practitioners to share their experiences with industrial applications.

For more information, see http://fm06.mcmaster.ca/

For more information, see http://www.pu.kielce.pl/~topoconf/

The Institute of Modern Language and Communication Multimedia University will be organizing an International Seminar on "Multimedia Adventures in Languages Learning" . The seminar undertakes to explore beyond the traditional boundaries of teaching and learning of languages through a blend of various aspects of multimedia and technology.

The deadline for registration is 31 July 2006. Seats will only be confirmed upon receipt of payment.

For more information, see http://cmlc.mmu.edu.my/MAFL/, or contact Mr Mohd Yusri Bin Nordin (tel. 00603-8312-5762, fax 00603-8312-5535, email yusri at mmu.edu.my).

The event is the annual training event run by the Marie Curie Early Stage Training Network MATHLOGAPS. It features lecture courses, intended particularly for PhD students with an interest in mathematical logic, by Anand Pillay (Leeds), Bob Soare (Chicago) and Jeff Paris (Manchester), and invited lectures by Klaus Aehlig (Munich) and Wilfried Buchholz (Munich). Bretton Hall (home of the Yorkshire Sculpture Park) is in the countryside about 15 miles south of Leeds.

Please register as soon as possible. For more information, an online registration form and a preliminary program, see http://www.leeds.ac.uk/european/mathlogaps.html

ADFOCS is organized as part of the activities of the Algorithms and Complexity Group and the International Max-Planck Research School of the Max-Planck-Institut für Informatik. The scope of ADFOCS is international. Young researchers at the PhD student or postdoc level are cordially invited to participate. The goal of ADFOCS is to have hot topics from fundamental areas of computer science presented by top researchers in the field, bringing participants to the frontiers of current resarch.

For this year's ADFOCS we have three main speakers. Each of them is giving two 90-minute lectures with subsequent exercise and discussion sessions. There will be further lectures and activities as well. The main speakers are:
-- Tamal Dey, Ohio State University
-- Joel Spencer, New York University
-- Ingo Wegener, Universitaet Dortmund

Deadline for early registration: 21 June 2006. For more information, an online registration form and a preliminary program, see http://www.mpi-inf.mpg.de/adfocs/

The FM Symposia continue to be the premier international forum for practitioners and researchers applying mathematical methods to the design of highly trusted computer systems. It enables them to meet and exchange experiences and ideas. This is the 14th event in this series, and for the first time will take place in North America. As in previous years, an Industry Day will be dedicated for practitioners to share their experiences with industrial applications.

For more information, see http://fm06.mcmaster.ca/

ACAC is a biannual meeting aiming to bring together researchers working in all areas of the theory of algorithms and computational complexity. It is expected to serve as a lively forum for presenting research results that are in a preliminary stage or have been recently presented in some major conference. For this first meeting there will be no regular submissions. Invited contributions may appear, fully or partially, in informal proceedings distributed at the workshop. The language of the workshop is English.

Deadline for registration: 16 August 2006

For more information and a preliminary program, see http://www.corelab.ece.ntua.gr/acac06/

For more information, see http://www.pu.kielce.pl/~topoconf/

The event is the annual training event run by the Marie Curie Early Stage Training Network MATHLOGAPS. It features lecture courses, intended particularly for PhD students with an interest in mathematical logic, by Anand Pillay (Leeds), Bob Soare (Chicago) and Jeff Paris (Manchester), and invited lectures by Klaus Aehlig (Munich) and Wilfried Buchholz (Munich). Bretton Hall (home of the Yorkshire Sculpture Park) is in the countryside about 15 miles south of Leeds.

Please register as soon as possible. For more information, an online registration form and a preliminary program, see http://www.leeds.ac.uk/european/mathlogaps.html

ADFOCS is organized as part of the activities of the Algorithms and Complexity Group and the International Max-Planck Research School of the Max-Planck-Institut für Informatik. The scope of ADFOCS is international. Young researchers at the PhD student or postdoc level are cordially invited to participate. The goal of ADFOCS is to have hot topics from fundamental areas of computer science presented by top researchers in the field, bringing participants to the frontiers of current resarch.

For this year's ADFOCS we have three main speakers. Each of them is giving two 90-minute lectures with subsequent exercise and discussion sessions. There will be further lectures and activities as well. The main speakers are:
-- Tamal Dey, Ohio State University
-- Joel Spencer, New York University
-- Ingo Wegener, Universitaet Dortmund

Deadline for early registration: 21 June 2006. For more information, an online registration form and a preliminary program, see http://www.mpi-inf.mpg.de/adfocs/

The FM Symposia continue to be the premier international forum for practitioners and researchers applying mathematical methods to the design of highly trusted computer systems. It enables them to meet and exchange experiences and ideas. This is the 14th event in this series, and for the first time will take place in North America. As in previous years, an Industry Day will be dedicated for practitioners to share their experiences with industrial applications.

For more information, see http://fm06.mcmaster.ca/

ACAC is a biannual meeting aiming to bring together researchers working in all areas of the theory of algorithms and computational complexity. It is expected to serve as a lively forum for presenting research results that are in a preliminary stage or have been recently presented in some major conference. For this first meeting there will be no regular submissions. Invited contributions may appear, fully or partially, in informal proceedings distributed at the workshop. The language of the workshop is English.

Deadline for registration: 16 August 2006

For more information and a preliminary program, see http://www.corelab.ece.ntua.gr/acac06/

For more information, see http://www.pu.kielce.pl/~topoconf/

The event is the annual training event run by the Marie Curie Early Stage Training Network MATHLOGAPS. It features lecture courses, intended particularly for PhD students with an interest in mathematical logic, by Anand Pillay (Leeds), Bob Soare (Chicago) and Jeff Paris (Manchester), and invited lectures by Klaus Aehlig (Munich) and Wilfried Buchholz (Munich). Bretton Hall (home of the Yorkshire Sculpture Park) is in the countryside about 15 miles south of Leeds.

Please register as soon as possible. For more information, an online registration form and a preliminary program, see http://www.leeds.ac.uk/european/mathlogaps.html

ADFOCS is organized as part of the activities of the Algorithms and Complexity Group and the International Max-Planck Research School of the Max-Planck-Institut für Informatik. The scope of ADFOCS is international. Young researchers at the PhD student or postdoc level are cordially invited to participate. The goal of ADFOCS is to have hot topics from fundamental areas of computer science presented by top researchers in the field, bringing participants to the frontiers of current resarch.

For this year's ADFOCS we have three main speakers. Each of them is giving two 90-minute lectures with subsequent exercise and discussion sessions. There will be further lectures and activities as well. The main speakers are:
-- Tamal Dey, Ohio State University
-- Joel Spencer, New York University
-- Ingo Wegener, Universitaet Dortmund

Deadline for early registration: 21 June 2006. For more information, an online registration form and a preliminary program, see http://www.mpi-inf.mpg.de/adfocs/

The FM Symposia continue to be the premier international forum for practitioners and researchers applying mathematical methods to the design of highly trusted computer systems. It enables them to meet and exchange experiences and ideas. This is the 14th event in this series, and for the first time will take place in North America. As in previous years, an Industry Day will be dedicated for practitioners to share their experiences with industrial applications.

For more information, see http://fm06.mcmaster.ca/

The 2006 meeting is the ninth installment of the Symposium series, which is designed to provide a forum where logicians and linguists can meet to share and discuss ideas and issues about how linguistics and logic influence each other, with the aim of promoting a fruitful cooperation. This year's symposium theme is "information structure". Invited speakers include Jonathan Ginzburg, Marcus Kracht, Manfred Krifka and Barbara H. Partee.

For more information, see http://www.nytud.hu/lola9/

Philosophers, psychologists, and linguists who are interested in interdisciplinary work are very welcome to attend the conference. Invited Speakers: György Gergely (Budapest), Susan Goldin-Meadow (Chicago), Patrick Haggard (London) and Kevin Mulligan (Geneva)

Invited Symposia:
AUDITORY PERCEPTION opened by Jerome Dokic, IJN Paris
MODALITY AND LANGUAGE opened by Bencie Woll, UCLLondon
MENTAL TIME TRAVEL opened by Teresa McCormack, Belfast
PRETENCE opened by Hannes Rakoczy, MPG Leipzig

For more information, see http://www.psych.qub.ac.uk/eurospp2006/. Information about the Society can be found at http://www.eurospp.org/.

For more information, see http://www.pu.kielce.pl/~topoconf/

The event is the annual training event run by the Marie Curie Early Stage Training Network MATHLOGAPS. It features lecture courses, intended particularly for PhD students with an interest in mathematical logic, by Anand Pillay (Leeds), Bob Soare (Chicago) and Jeff Paris (Manchester), and invited lectures by Klaus Aehlig (Munich) and Wilfried Buchholz (Munich). Bretton Hall (home of the Yorkshire Sculpture Park) is in the countryside about 15 miles south of Leeds.

Please register as soon as possible. For more information, an online registration form and a preliminary program, see http://www.leeds.ac.uk/european/mathlogaps.html

ADFOCS is organized as part of the activities of the Algorithms and Complexity Group and the International Max-Planck Research School of the Max-Planck-Institut für Informatik. The scope of ADFOCS is international. Young researchers at the PhD student or postdoc level are cordially invited to participate. The goal of ADFOCS is to have hot topics from fundamental areas of computer science presented by top researchers in the field, bringing participants to the frontiers of current resarch.

For this year's ADFOCS we have three main speakers. Each of them is giving two 90-minute lectures with subsequent exercise and discussion sessions. There will be further lectures and activities as well. The main speakers are:
-- Tamal Dey, Ohio State University
-- Joel Spencer, New York University
-- Ingo Wegener, Universitaet Dortmund

Deadline for early registration: 21 June 2006. For more information, an online registration form and a preliminary program, see http://www.mpi-inf.mpg.de/adfocs/

The FM Symposia continue to be the premier international forum for practitioners and researchers applying mathematical methods to the design of highly trusted computer systems. It enables them to meet and exchange experiences and ideas. This is the 14th event in this series, and for the first time will take place in North America. As in previous years, an Industry Day will be dedicated for practitioners to share their experiences with industrial applications.

For more information, see http://fm06.mcmaster.ca/

The 2006 meeting is the ninth installment of the Symposium series, which is designed to provide a forum where logicians and linguists can meet to share and discuss ideas and issues about how linguistics and logic influence each other, with the aim of promoting a fruitful cooperation. This year's symposium theme is "information structure". Invited speakers include Jonathan Ginzburg, Marcus Kracht, Manfred Krifka and Barbara H. Partee.

For more information, see http://www.nytud.hu/lola9/

Philosophers, psychologists, and linguists who are interested in interdisciplinary work are very welcome to attend the conference. Invited Speakers: György Gergely (Budapest), Susan Goldin-Meadow (Chicago), Patrick Haggard (London) and Kevin Mulligan (Geneva)

Invited Symposia:
AUDITORY PERCEPTION opened by Jerome Dokic, IJN Paris
MODALITY AND LANGUAGE opened by Bencie Woll, UCLLondon
MENTAL TIME TRAVEL opened by Teresa McCormack, Belfast
PRETENCE opened by Hannes Rakoczy, MPG Leipzig

For more information, see http://www.psych.qub.ac.uk/eurospp2006/. Information about the Society can be found at http://www.eurospp.org/.

The FM Symposia continue to be the premier international forum for practitioners and researchers applying mathematical methods to the design of highly trusted computer systems. It enables them to meet and exchange experiences and ideas. This is the 14th event in this series, and for the first time will take place in North America. As in previous years, an Industry Day will be dedicated for practitioners to share their experiences with industrial applications.

For more information, see http://fm06.mcmaster.ca/

The 2006 meeting is the ninth installment of the Symposium series, which is designed to provide a forum where logicians and linguists can meet to share and discuss ideas and issues about how linguistics and logic influence each other, with the aim of promoting a fruitful cooperation. This year's symposium theme is "information structure". Invited speakers include Jonathan Ginzburg, Marcus Kracht, Manfred Krifka and Barbara H. Partee.

For more information, see http://www.nytud.hu/lola9/

Philosophers, psychologists, and linguists who are interested in interdisciplinary work are very welcome to attend the conference. Invited Speakers: György Gergely (Budapest), Susan Goldin-Meadow (Chicago), Patrick Haggard (London) and Kevin Mulligan (Geneva)

Invited Symposia:
AUDITORY PERCEPTION opened by Jerome Dokic, IJN Paris
MODALITY AND LANGUAGE opened by Bencie Woll, UCLLondon
MENTAL TIME TRAVEL opened by Teresa McCormack, Belfast
PRETENCE opened by Hannes Rakoczy, MPG Leipzig

For more information, see http://www.psych.qub.ac.uk/eurospp2006/. Information about the Society can be found at http://www.eurospp.org/.

The FM Symposia continue to be the premier international forum for practitioners and researchers applying mathematical methods to the design of highly trusted computer systems. It enables them to meet and exchange experiences and ideas. This is the 14th event in this series, and for the first time will take place in North America. As in previous years, an Industry Day will be dedicated for practitioners to share their experiences with industrial applications.

For more information, see http://fm06.mcmaster.ca/

Philosophers, psychologists, and linguists who are interested in interdisciplinary work are very welcome to attend the conference. Invited Speakers: György Gergely (Budapest), Susan Goldin-Meadow (Chicago), Patrick Haggard (London) and Kevin Mulligan (Geneva)

Invited Symposia:
AUDITORY PERCEPTION opened by Jerome Dokic, IJN Paris
MODALITY AND LANGUAGE opened by Bencie Woll, UCLLondon
MENTAL TIME TRAVEL opened by Teresa McCormack, Belfast
PRETENCE opened by Hannes Rakoczy, MPG Leipzig

For more information, see http://www.psych.qub.ac.uk/eurospp2006/. Information about the Society can be found at http://www.eurospp.org/.

CONCUR 2006, the 17th International Conference on Concurrency Theory, will take place in Bonn, Germany, August 27 - 30, 2006. The purpose of the CONCUR conferences is to bring together researchers working on the theory of concurrency and its applications. About ten workshops will be held in affiliation with CONCUR 2006, including the 2nd German Verification Day, and the 11th International ERCIM Workshop on Formal Methods for Industrial Critical Systems.

For more information, see http://depend.cs.uni-sb.de/concur06/.

CONCUR 2006, the 17th International Conference on Concurrency Theory, will take place in Bonn, Germany, August 27 - 30, 2006. The purpose of the CONCUR conferences is to bring together researchers working on the theory of concurrency and its applications. About ten workshops will be held in affiliation with CONCUR 2006, including the 2nd German Verification Day, and the 11th International ERCIM Workshop on Formal Methods for Industrial Critical Systems.

For more information, see http://depend.cs.uni-sb.de/concur06/.

In recent years, multi-agent systems have come to form one of the key technologies for software development. The second edition of the FAMAS workshop series, after a success of FAMAS'03 affiliated to ETAPS'03 in Warsaw, aims at bringing together researchers from the fields of logic, theoretical computer science and multi-agent systems in order to discuss formal techniques for specifying and verifying multi-agent systems.

FAMAS'06 is affiliated to ECAI 2006. For more information, see http://www.mimuw.edu.pl/MAS/FAMAS/

The 9th International Workshop on Approximation Algorithms for Combinatorial Optimization Problems (APPROX 2006), and the 10th International Workshop on Randomized Techniques in Computation (RANDOM 2006) will be held at UPC Barcelona, from August 28-31, 2006. APPROX 2006 focuses on algorithmic and complexity theoretic issues relevant to the development of efficient approximate solutions to computationally difficult problems, while RANDOM 2006 focuses on applications of randomness to computational and combinatorial problems.

For more information, see http://cui.unige.ch/tcs/random-approx/

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/

CONCUR 2006, the 17th International Conference on Concurrency Theory, will take place in Bonn, Germany, August 27 - 30, 2006. The purpose of the CONCUR conferences is to bring together researchers working on the theory of concurrency and its applications. About ten workshops will be held in affiliation with CONCUR 2006, including the 2nd German Verification Day, and the 11th International ERCIM Workshop on Formal Methods for Industrial Critical Systems.

For more information, see http://depend.cs.uni-sb.de/concur06/.

The 9th International Workshop on Approximation Algorithms for Combinatorial Optimization Problems (APPROX 2006), and the 10th International Workshop on Randomized Techniques in Computation (RANDOM 2006) will be held at UPC Barcelona, from August 28-31, 2006. APPROX 2006 focuses on algorithmic and complexity theoretic issues relevant to the development of efficient approximate solutions to computationally difficult problems, while RANDOM 2006 focuses on applications of randomness to computational and combinatorial problems.

For more information, see http://cui.unige.ch/tcs/random-approx/

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/

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.

The Workshop on Neural-Symbolic Learning and Reasoning is intended to create an atmosphere of exchange of ideas, providing a forum for the presentation and discussion of the key topics related to neural-symbolic integration.

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

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/

CONCUR 2006, the 17th International Conference on Concurrency Theory, will take place in Bonn, Germany, August 27 - 30, 2006. The purpose of the CONCUR conferences is to bring together researchers working on the theory of concurrency and its applications. About ten workshops will be held in affiliation with CONCUR 2006, including the 2nd German Verification Day, and the 11th International ERCIM Workshop on Formal Methods for Industrial Critical Systems.

For more information, see http://depend.cs.uni-sb.de/concur06/.

The 9th International Workshop on Approximation Algorithms for Combinatorial Optimization Problems (APPROX 2006), and the 10th International Workshop on Randomized Techniques in Computation (RANDOM 2006) will be held at UPC Barcelona, from August 28-31, 2006. APPROX 2006 focuses on algorithmic and complexity theoretic issues relevant to the development of efficient approximate solutions to computationally difficult problems, while RANDOM 2006 focuses on applications of randomness to computational and combinatorial problems.

For more information, see http://cui.unige.ch/tcs/random-approx/

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 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/

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

Navya-Nyaya is an offshoot of the Nyaya system which was originally intended to be a comprehensive philosophy having an ontology of its own. The logical apparatus and the analysis of language developed by the Nyaya system were originally devised to lend support to this ontology. But the Nyaya techniques of drawing conclusions from given premises and the Nyaya way of analyzing language were borrowed by the other systems of Indian philosophy. This suggests that the Nyaya system has a formal core which is relatively, if not absolutely, independent of its ontological commitments and can be applied to entirely different contexts.

This conference is homage to Bimal Krishna Matilal who was one of the few thinkers who devoted major part of his philosophical career to initiating meaningful dialogues between the philosophical traditions of the East and the West. The main objective of his studying an ancient Indian system such as Navya-Nyaya was to explain its significance and relevance to modern discussions in the area called "philosophical logic". Issues in philosophical logic like those of ontological commitments, existence and truth are also addressed by Navya-Nyaya. This opens up the possibility of an interface between the approaches and conclusions of the different traditions.

For more information, see http://philosophy-ju.org/news&announce/ or contact Prof Dr Mihir Chakraborty at mihirc99 at vsnl.com.

The 9th International Workshop on Approximation Algorithms for Combinatorial Optimization Problems (APPROX 2006), and the 10th International Workshop on Randomized Techniques in Computation (RANDOM 2006) will be held at UPC Barcelona, from August 28-31, 2006. APPROX 2006 focuses on algorithmic and complexity theoretic issues relevant to the development of efficient approximate solutions to computationally difficult problems, while RANDOM 2006 focuses on applications of randomness to computational and combinatorial problems.

For more information, see http://cui.unige.ch/tcs/random-approx/

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 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/

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

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/