The AISB convention is an annual event organised as a number of collocated symposia loosely organised around a theme, and interspersed with invited plenary talks and poster sessions.

For more information, see http://www.aisb.org.uk/convention/aisb10/ or contact Aladdin Ayesh at aayesh at dmu.ac.uk.

Ever since Codd's Relational Model, logic has played a major role in the field of databases. The significance and impact of this role have grown stronger over the years as data management research marched through many a data model, with logic keeping up and providing the foundations every step of the way. Some of the latest additions to this long list of models are XML, semantic web, probabilistic relational models, integrated model of DB+IR, data integration models, and models of unclean data to name a few. For some of these, corresponding logics already exist or are being explored. The significance of logic's role for data management will continue regardless of the data model. Logic is a fundamental tool for understanding and analyzing several aspects of data management. The Logic in Databases workshop, LID 2009, is a forum for bringing together researchers from around the world who are focusing on all logical aspects of data management.

For more information, see http://LID2009.ruc.dk/

The theme of the conference will be algorithmic randomness (Kolmogorov complexity) and its connections to various other subjects. This meeting will be in the spirit of the earlier conferences held in Argen tina in 2004 and 2007, and in China in 2008. However, this time we are using a modified Dagstuhl model, where most of the talks will be given by invited speakers.

For more information, see http://www.lif.univ-mrs.fr/lce/

On July 1-3, 2009 the 5th Spain, Italy, Netherlands Meeting on Game Theory (SING5), is going to be held at VU University Amsterdam, The Netherlands.

This meeting is jointly organized by VU University Amsterdam (VU), University of Amsterdam (UvA), Centrum Wiskunde & Informatica (CWI), and the Tinbergen Institute (TI).

For more information, see http://www.feweb.vu.nl/sing5/

For more information, see http://staff.science.uva.nl/~fitz/cnlp.html

The theme of the conference will be algorithmic randomness (Kolmogorov complexity) and its connections to various other subjects. This meeting will be in the spirit of the earlier conferences held in Argen tina in 2004 and 2007, and in China in 2008. However, this time we are using a modified Dagstuhl model, where most of the talks will be given by invited speakers.

For more information, see http://www.lif.univ-mrs.fr/lce/

On July 1-3, 2009 the 5th Spain, Italy, Netherlands Meeting on Game Theory (SING5), is going to be held at VU University Amsterdam, The Netherlands.

This meeting is jointly organized by VU University Amsterdam (VU), University of Amsterdam (UvA), Centrum Wiskunde & Informatica (CWI), and the Tinbergen Institute (TI).

For more information, see http://www.feweb.vu.nl/sing5/

The theme of the conference will be algorithmic randomness (Kolmogorov complexity) and its connections to various other subjects. This meeting will be in the spirit of the earlier conferences held in Argen tina in 2004 and 2007, and in China in 2008. However, this time we are using a modified Dagstuhl model, where most of the talks will be given by invited speakers.

For more information, see http://www.lif.univ-mrs.fr/lce/

On July 1-3, 2009 the 5th Spain, Italy, Netherlands Meeting on Game Theory (SING5), is going to be held at VU University Amsterdam, The Netherlands.

This meeting is jointly organized by VU University Amsterdam (VU), University of Amsterdam (UvA), Centrum Wiskunde & Informatica (CWI), and the Tinbergen Institute (TI).

For more information, see http://www.feweb.vu.nl/sing5/

A two week symposium on Proof Theory and Constructivism will be held in the Research Visitors' Centre of the School of Mathematics at Leeds, from 3rd July (arrival) to 16th July (departure) this year. It will comprise three connected events:

4th & 5th July: An LMS-funded conference on Proofs and Computations. This meeting will be in honour of Stan Wainer on the occasion of his 65th birthday.
5th & 6th July: A Gentzen Centenary Conference, celebrating 100 years since the birth of Gerhard Gentzen, the founder of structural proof theory.
7th - 16th July: An EPSRC-funded Research Workshop on Proof Theory and Constructivism.

For further information visit the web-site: http://www.personal.leeds.ac.uk/~matptw/ or contact the organisers at: matptw at leeds.ac.uk

A two week symposium on Proof Theory and Constructivism will be held in the Research Visitors' Centre of the School of Mathematics at Leeds, from 3rd July (arrival) to 16th July (departure) this year. It will comprise three connected events:

4th & 5th July: An LMS-funded conference on Proofs and Computations. This meeting will be in honour of Stan Wainer on the occasion of his 65th birthday.
5th & 6th July: A Gentzen Centenary Conference, celebrating 100 years since the birth of Gerhard Gentzen, the founder of structural proof theory.
7th - 16th July: An EPSRC-funded Research Workshop on Proof Theory and Constructivism.

For further information visit the web-site: http://www.personal.leeds.ac.uk/~matptw/ or contact the organisers at: matptw at leeds.ac.uk

A two week symposium on Proof Theory and Constructivism will be held in the Research Visitors' Centre of the School of Mathematics at Leeds, from 3rd July (arrival) to 16th July (departure) this year. It will comprise three connected events:

4th & 5th July: An LMS-funded conference on Proofs and Computations. This meeting will be in honour of Stan Wainer on the occasion of his 65th birthday.
5th & 6th July: A Gentzen Centenary Conference, celebrating 100 years since the birth of Gerhard Gentzen, the founder of structural proof theory.
7th - 16th July: An EPSRC-funded Research Workshop on Proof Theory and Constructivism.

For further information visit the web-site: http://www.personal.leeds.ac.uk/~matptw/ or contact the organisers at: matptw at leeds.ac.uk

This is an ESF Mathematics Conference in Partnership with EMS and ERCOM. Chair: Prof. Jouko Väänänen, University of Helsinki, FI/University of Amsterdam, NL. The conference will be in honor of Ronald Jensen's lifelong achievements in set theory.

The conference focuses on three main topics. The first topic is inner model theory and large cardinals. The second direction is descriptive set theory, which studies properties of definable sets of reals, and more generally Polish spaces. Finally, combinatorial set theory deals with uncountable structures without any definability restrictions. As a fourth scientific topic of the conference, we can list applications of set theory to Banach spaces, measure theory, general topology, and other neighboring areas.

We encourage all interested participants, especially young scientists, to submit abstracts of their work for the poster sessions. Closing date for application (as well as for abstract submission): 08 April 2009. Grants are available for young researchers to cover the conference fee and travel costs.

For more information, see http://www.esf.org/conferences/09306 or contact Ms. Anne Guehl, Conference Officer (aguehl at esf.org).

This conference is the 18th in a series of international meetings on Automated Reasoning with Analytic Tableaux and Related Methods.

Tableau methods are a convenient formalism for automating deduction in various non-standard logics as well as in classical logic. Areas of application include verification of software and computer systems, deductive databases, knowledge representation and its required inference engines, and system diagnosis. The conference brings together researchers interested in all aspects - theoretical foundations, implementation techniques, systems development and applications - of the mechanization of reasoning with tableaux and related methods.

See http://heim.ifi.uio.no/martingi/Tableaux09/ for more information on TABLEAUX 2009, and http://i12www.ira.uka.de/TABLEAUX for information about the TABLEAUX conference series.

A two week symposium on Proof Theory and Constructivism will be held in the Research Visitors' Centre of the School of Mathematics at Leeds, from 3rd July (arrival) to 16th July (departure) this year. It will comprise three connected events:

4th & 5th July: An LMS-funded conference on Proofs and Computations. This meeting will be in honour of Stan Wainer on the occasion of his 65th birthday.
5th & 6th July: A Gentzen Centenary Conference, celebrating 100 years since the birth of Gerhard Gentzen, the founder of structural proof theory.
7th - 16th July: An EPSRC-funded Research Workshop on Proof Theory and Constructivism.

For further information visit the web-site: http://www.personal.leeds.ac.uk/~matptw/ or contact the organisers at: matptw at leeds.ac.uk

This is an ESF Mathematics Conference in Partnership with EMS and ERCOM. Chair: Prof. Jouko Väänänen, University of Helsinki, FI/University of Amsterdam, NL. The conference will be in honor of Ronald Jensen's lifelong achievements in set theory.

The conference focuses on three main topics. The first topic is inner model theory and large cardinals. The second direction is descriptive set theory, which studies properties of definable sets of reals, and more generally Polish spaces. Finally, combinatorial set theory deals with uncountable structures without any definability restrictions. As a fourth scientific topic of the conference, we can list applications of set theory to Banach spaces, measure theory, general topology, and other neighboring areas.

We encourage all interested participants, especially young scientists, to submit abstracts of their work for the poster sessions. Closing date for application (as well as for abstract submission): 08 April 2009. Grants are available for young researchers to cover the conference fee and travel costs.

For more information, see http://www.esf.org/conferences/09306 or contact Ms. Anne Guehl, Conference Officer (aguehl at esf.org).

This conference is the 18th in a series of international meetings on Automated Reasoning with Analytic Tableaux and Related Methods.

Tableau methods are a convenient formalism for automating deduction in various non-standard logics as well as in classical logic. Areas of application include verification of software and computer systems, deductive databases, knowledge representation and its required inference engines, and system diagnosis. The conference brings together researchers interested in all aspects - theoretical foundations, implementation techniques, systems development and applications - of the mechanization of reasoning with tableaux and related methods.

See http://heim.ifi.uio.no/martingi/Tableaux09/ for more information on TABLEAUX 2009, and http://i12www.ira.uka.de/TABLEAUX for information about the TABLEAUX conference series.

FTP 2009 is the seventh in a series of workshops intended to focus effort on First-Order Theorem Proving as a core theme of Automated Deduction, and to provide a forum for presentation of recent work and discussion of research in progress.

The workshop welcomes original contributions on theorem proving in first-order classical, many-valued, modal and description logics, including (but not restricted to): resolution, tableau methods, equational reasoning, term-rewriting, model construction, constraint reasoning, unification, description logics, propositional logic, specialized decision procedures; strategies and complexity of theorem proving procedures; implementation techniques and applications of first-order theorem provers to verification, artificial intelligence, mathematics and education.

For more information, see http://www.mpi-inf.mpg.de/~sofronie/ftp09/.

The mission of the TARK conferences is to bring together researchers from a wide variety of fields, including Artificial Intelligence, Cryptography, Distributed Computing, Economics and Game Theory, Linguistics, Philosophy, and Psychology, in order to further our understanding of interdisciplinary issues involving reasoning about rationality and knowledge. Topics of interest include, but are not limited to, semantic models for knowledge, belief, and uncertainty, bounded rationality and resource-bounded reasoning, commonsense epistemic reasoning, epistemic logic, knowledge and action, applications of reasoning about knowledge and other mental states, belief revision, and foundations of multi-agent systems.

For more information, see http://ai.stanford.edu/~epacuit/tark09/

A two week symposium on Proof Theory and Constructivism will be held in the Research Visitors' Centre of the School of Mathematics at Leeds, from 3rd July (arrival) to 16th July (departure) this year. It will comprise three connected events:

4th & 5th July: An LMS-funded conference on Proofs and Computations. This meeting will be in honour of Stan Wainer on the occasion of his 65th birthday.
5th & 6th July: A Gentzen Centenary Conference, celebrating 100 years since the birth of Gerhard Gentzen, the founder of structural proof theory.
7th - 16th July: An EPSRC-funded Research Workshop on Proof Theory and Constructivism.

For further information visit the web-site: http://www.personal.leeds.ac.uk/~matptw/ or contact the organisers at: matptw at leeds.ac.uk

This is an ESF Mathematics Conference in Partnership with EMS and ERCOM. Chair: Prof. Jouko Väänänen, University of Helsinki, FI/University of Amsterdam, NL. The conference will be in honor of Ronald Jensen's lifelong achievements in set theory.

The conference focuses on three main topics. The first topic is inner model theory and large cardinals. The second direction is descriptive set theory, which studies properties of definable sets of reals, and more generally Polish spaces. Finally, combinatorial set theory deals with uncountable structures without any definability restrictions. As a fourth scientific topic of the conference, we can list applications of set theory to Banach spaces, measure theory, general topology, and other neighboring areas.

We encourage all interested participants, especially young scientists, to submit abstracts of their work for the poster sessions. Closing date for application (as well as for abstract submission): 08 April 2009. Grants are available for young researchers to cover the conference fee and travel costs.

For more information, see http://www.esf.org/conferences/09306 or contact Ms. Anne Guehl, Conference Officer (aguehl at esf.org).

This conference is the 18th in a series of international meetings on Automated Reasoning with Analytic Tableaux and Related Methods.

Tableau methods are a convenient formalism for automating deduction in various non-standard logics as well as in classical logic. Areas of application include verification of software and computer systems, deductive databases, knowledge representation and its required inference engines, and system diagnosis. The conference brings together researchers interested in all aspects - theoretical foundations, implementation techniques, systems development and applications - of the mechanization of reasoning with tableaux and related methods.

See http://heim.ifi.uio.no/martingi/Tableaux09/ for more information on TABLEAUX 2009, and http://i12www.ira.uka.de/TABLEAUX for information about the TABLEAUX conference series.

FTP 2009 is the seventh in a series of workshops intended to focus effort on First-Order Theorem Proving as a core theme of Automated Deduction, and to provide a forum for presentation of recent work and discussion of research in progress.

The workshop welcomes original contributions on theorem proving in first-order classical, many-valued, modal and description logics, including (but not restricted to): resolution, tableau methods, equational reasoning, term-rewriting, model construction, constraint reasoning, unification, description logics, propositional logic, specialized decision procedures; strategies and complexity of theorem proving procedures; implementation techniques and applications of first-order theorem provers to verification, artificial intelligence, mathematics and education.

For more information, see http://www.mpi-inf.mpg.de/~sofronie/ftp09/.

The mission of the TARK conferences is to bring together researchers from a wide variety of fields, including Artificial Intelligence, Cryptography, Distributed Computing, Economics and Game Theory, Linguistics, Philosophy, and Psychology, in order to further our understanding of interdisciplinary issues involving reasoning about rationality and knowledge. Topics of interest include, but are not limited to, semantic models for knowledge, belief, and uncertainty, bounded rationality and resource-bounded reasoning, commonsense epistemic reasoning, epistemic logic, knowledge and action, applications of reasoning about knowledge and other mental states, belief revision, and foundations of multi-agent systems.

For more information, see http://ai.stanford.edu/~epacuit/tark09/

Studying logics via semantics is a well-established and very active branch of mathematical logic, with many applications, in computer science and elsewhere. The area is characterized by results, tool and techniques stemming from various fields, including universal algebra, topology, category theory, order, and model theory. The program of the conference TACL 2009 will focus on three interconnecting mathematical themes central to the semantical study of logics and their applications: algebraic, categorical, and topological methods.

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

The Semantics in the Netherlands Day (SiN-dag) is a series of annual conferences which provide the opportunity for graduate students working on natural language semantics in the Netherlands to present the results of their current research. This year SiN-dag (SiN VII) will take place on Friday, 6 November, at the University of Amsterdam, being hosted by the Amsterdam Center for Language and Communication (ACLC). It will be an all-day event including coffee breaks, lunch and drinks afterwards.

If you would like to attend (parts of) the SiN VII please register before 30 October by sending an e-mail to the organisers (J.Sweep at uva.nl & M.O.vanSchaik-Radulescu at uva.nl). Registration is free. For more information, see http://www.hum.uva.nl/sin7.

A two week symposium on Proof Theory and Constructivism will be held in the Research Visitors' Centre of the School of Mathematics at Leeds, from 3rd July (arrival) to 16th July (departure) this year. It will comprise three connected events:

4th & 5th July: An LMS-funded conference on Proofs and Computations. This meeting will be in honour of Stan Wainer on the occasion of his 65th birthday.
5th & 6th July: A Gentzen Centenary Conference, celebrating 100 years since the birth of Gerhard Gentzen, the founder of structural proof theory.
7th - 16th July: An EPSRC-funded Research Workshop on Proof Theory and Constructivism.

For further information visit the web-site: http://www.personal.leeds.ac.uk/~matptw/ or contact the organisers at: matptw at leeds.ac.uk

This is an ESF Mathematics Conference in Partnership with EMS and ERCOM. Chair: Prof. Jouko Väänänen, University of Helsinki, FI/University of Amsterdam, NL. The conference will be in honor of Ronald Jensen's lifelong achievements in set theory.

The conference focuses on three main topics. The first topic is inner model theory and large cardinals. The second direction is descriptive set theory, which studies properties of definable sets of reals, and more generally Polish spaces. Finally, combinatorial set theory deals with uncountable structures without any definability restrictions. As a fourth scientific topic of the conference, we can list applications of set theory to Banach spaces, measure theory, general topology, and other neighboring areas.

We encourage all interested participants, especially young scientists, to submit abstracts of their work for the poster sessions. Closing date for application (as well as for abstract submission): 08 April 2009. Grants are available for young researchers to cover the conference fee and travel costs.

For more information, see http://www.esf.org/conferences/09306 or contact Ms. Anne Guehl, Conference Officer (aguehl at esf.org).

This conference is the 18th in a series of international meetings on Automated Reasoning with Analytic Tableaux and Related Methods.

Tableau methods are a convenient formalism for automating deduction in various non-standard logics as well as in classical logic. Areas of application include verification of software and computer systems, deductive databases, knowledge representation and its required inference engines, and system diagnosis. The conference brings together researchers interested in all aspects - theoretical foundations, implementation techniques, systems development and applications - of the mechanization of reasoning with tableaux and related methods.

See http://heim.ifi.uio.no/martingi/Tableaux09/ for more information on TABLEAUX 2009, and http://i12www.ira.uka.de/TABLEAUX for information about the TABLEAUX conference series.

The mission of the TARK conferences is to bring together researchers from a wide variety of fields, including Artificial Intelligence, Cryptography, Distributed Computing, Economics and Game Theory, Linguistics, Philosophy, and Psychology, in order to further our understanding of interdisciplinary issues involving reasoning about rationality and knowledge. Topics of interest include, but are not limited to, semantic models for knowledge, belief, and uncertainty, bounded rationality and resource-bounded reasoning, commonsense epistemic reasoning, epistemic logic, knowledge and action, applications of reasoning about knowledge and other mental states, belief revision, and foundations of multi-agent systems.

For more information, see http://ai.stanford.edu/~epacuit/tark09/

Studying logics via semantics is a well-established and very active branch of mathematical logic, with many applications, in computer science and elsewhere. The area is characterized by results, tool and techniques stemming from various fields, including universal algebra, topology, category theory, order, and model theory. The program of the conference TACL 2009 will focus on three interconnecting mathematical themes central to the semantical study of logics and their applications: algebraic, categorical, and topological methods.

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

A two week symposium on Proof Theory and Constructivism will be held in the Research Visitors' Centre of the School of Mathematics at Leeds, from 3rd July (arrival) to 16th July (departure) this year. It will comprise three connected events:

4th & 5th July: An LMS-funded conference on Proofs and Computations. This meeting will be in honour of Stan Wainer on the occasion of his 65th birthday.
5th & 6th July: A Gentzen Centenary Conference, celebrating 100 years since the birth of Gerhard Gentzen, the founder of structural proof theory.
7th - 16th July: An EPSRC-funded Research Workshop on Proof Theory and Constructivism.

For further information visit the web-site: http://www.personal.leeds.ac.uk/~matptw/ or contact the organisers at: matptw at leeds.ac.uk

This is an ESF Mathematics Conference in Partnership with EMS and ERCOM. Chair: Prof. Jouko Väänänen, University of Helsinki, FI/University of Amsterdam, NL. The conference will be in honor of Ronald Jensen's lifelong achievements in set theory.

The conference focuses on three main topics. The first topic is inner model theory and large cardinals. The second direction is descriptive set theory, which studies properties of definable sets of reals, and more generally Polish spaces. Finally, combinatorial set theory deals with uncountable structures without any definability restrictions. As a fourth scientific topic of the conference, we can list applications of set theory to Banach spaces, measure theory, general topology, and other neighboring areas.

We encourage all interested participants, especially young scientists, to submit abstracts of their work for the poster sessions. Closing date for application (as well as for abstract submission): 08 April 2009. Grants are available for young researchers to cover the conference fee and travel costs.

For more information, see http://www.esf.org/conferences/09306 or contact Ms. Anne Guehl, Conference Officer (aguehl at esf.org).

This conference is the 18th in a series of international meetings on Automated Reasoning with Analytic Tableaux and Related Methods.

Tableau methods are a convenient formalism for automating deduction in various non-standard logics as well as in classical logic. Areas of application include verification of software and computer systems, deductive databases, knowledge representation and its required inference engines, and system diagnosis. The conference brings together researchers interested in all aspects - theoretical foundations, implementation techniques, systems development and applications - of the mechanization of reasoning with tableaux and related methods.

See http://heim.ifi.uio.no/martingi/Tableaux09/ for more information on TABLEAUX 2009, and http://i12www.ira.uka.de/TABLEAUX for information about the TABLEAUX conference series.

Studying logics via semantics is a well-established and very active branch of mathematical logic, with many applications, in computer science and elsewhere. The area is characterized by results, tool and techniques stemming from various fields, including universal algebra, topology, category theory, order, and model theory. The program of the conference TACL 2009 will focus on three interconnecting mathematical themes central to the semantical study of logics and their applications: algebraic, categorical, and topological methods.

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

Interdisciplinary conference on evolution theory in natural, social and human sciences.

For more information, see http://www.esf.org/conferences/09309 or contact Ms Zuzana Vercinska, COST Conference Officer (zvercinska at cost.esf.org).

The workshop serves as a forum for presenting original research results that are relevant to the analysis of resource (time, space) consumption by computer programs. The workshop aims to bring together the researchers that work on foundational issues with the researchers that focus more on practical results. Therefore, both theoretical and practical contributions are encouraged. The workshop is a satellite event of the 16th International Symposium on Formal Methods, FM2009.

For more information, see http://www.aha.cs.ru.nl/fopara/

A two week symposium on Proof Theory and Constructivism will be held in the Research Visitors' Centre of the School of Mathematics at Leeds, from 3rd July (arrival) to 16th July (departure) this year. It will comprise three connected events:

4th & 5th July: An LMS-funded conference on Proofs and Computations. This meeting will be in honour of Stan Wainer on the occasion of his 65th birthday.
5th & 6th July: A Gentzen Centenary Conference, celebrating 100 years since the birth of Gerhard Gentzen, the founder of structural proof theory.
7th - 16th July: An EPSRC-funded Research Workshop on Proof Theory and Constructivism.

For further information visit the web-site: http://www.personal.leeds.ac.uk/~matptw/ or contact the organisers at: matptw at leeds.ac.uk

This is an ESF Mathematics Conference in Partnership with EMS and ERCOM. Chair: Prof. Jouko Väänänen, University of Helsinki, FI/University of Amsterdam, NL. The conference will be in honor of Ronald Jensen's lifelong achievements in set theory.

The conference focuses on three main topics. The first topic is inner model theory and large cardinals. The second direction is descriptive set theory, which studies properties of definable sets of reals, and more generally Polish spaces. Finally, combinatorial set theory deals with uncountable structures without any definability restrictions. As a fourth scientific topic of the conference, we can list applications of set theory to Banach spaces, measure theory, general topology, and other neighboring areas.

We encourage all interested participants, especially young scientists, to submit abstracts of their work for the poster sessions. Closing date for application (as well as for abstract submission): 08 April 2009. Grants are available for young researchers to cover the conference fee and travel costs.

For more information, see http://www.esf.org/conferences/09306 or contact Ms. Anne Guehl, Conference Officer (aguehl at esf.org).

This conference is the 18th in a series of international meetings on Automated Reasoning with Analytic Tableaux and Related Methods.

Tableau methods are a convenient formalism for automating deduction in various non-standard logics as well as in classical logic. Areas of application include verification of software and computer systems, deductive databases, knowledge representation and its required inference engines, and system diagnosis. The conference brings together researchers interested in all aspects - theoretical foundations, implementation techniques, systems development and applications - of the mechanization of reasoning with tableaux and related methods.

See http://heim.ifi.uio.no/martingi/Tableaux09/ for more information on TABLEAUX 2009, and http://i12www.ira.uka.de/TABLEAUX for information about the TABLEAUX conference series.

Studying logics via semantics is a well-established and very active branch of mathematical logic, with many applications, in computer science and elsewhere. The area is characterized by results, tool and techniques stemming from various fields, including universal algebra, topology, category theory, order, and model theory. The program of the conference TACL 2009 will focus on three interconnecting mathematical themes central to the semantical study of logics and their applications: algebraic, categorical, and topological methods.

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

A two week symposium on Proof Theory and Constructivism will be held in the Research Visitors' Centre of the School of Mathematics at Leeds, from 3rd July (arrival) to 16th July (departure) this year. It will comprise three connected events:

4th & 5th July: An LMS-funded conference on Proofs and Computations. This meeting will be in honour of Stan Wainer on the occasion of his 65th birthday.
5th & 6th July: A Gentzen Centenary Conference, celebrating 100 years since the birth of Gerhard Gentzen, the founder of structural proof theory.
7th - 16th July: An EPSRC-funded Research Workshop on Proof Theory and Constructivism.

For further information visit the web-site: http://www.personal.leeds.ac.uk/~matptw/ or contact the organisers at: matptw at leeds.ac.uk

Studying logics via semantics is a well-established and very active branch of mathematical logic, with many applications, in computer science and elsewhere. The area is characterized by results, tool and techniques stemming from various fields, including universal algebra, topology, category theory, order, and model theory. The program of the conference TACL 2009 will focus on three interconnecting mathematical themes central to the semantical study of logics and their applications: algebraic, categorical, and topological methods.

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

In the past years, logicians have become more and more interested in the phenomenon of interaction and the formal modelling of social procedures and phenomena. The area Logic & Games deals with the transition from the static logical paradigm of formal proof and derivation to the dynamic world of intelligent interaction and its logical models. Modelling intelligent interaction has been an aspect of the practical work of computer game designers for a long time. Pragmatic questions such as 'What makes a storyline interesting', 'What makes an reaction natural', and 'What role do emotions play in game decisions' have been tackled by practicing programmers. The practical aspects of computer gaming reach out to a wide interdisciplinary field including psychology and cognitive science. So far, there are only a few cross-links between these two communities.

LSIR2 focuses on the relation between techniques of modern logic (such as discourse representation theory or dynamic epistemic logic) and concrete modelling problems in computer games (either as part of the story or game design or as part of the design of the artificial agents). We aim combining communities of logic, multi-agent systems, computer game design, the story understanding community, and various parts of AI dealing with the formal modelling of emotions and intentions, as well as the empirical testing of these models; we invite all researchers in these and related field to submit their abstracts of papers, in particular those that build bridges between the communities.

For more information, see https://www.illc.uva.nl/GLoRiClass/index.php?page=8_2. The main financial sponsor of the workshop is the Marie Curie research training site GLoRiClass.

A two week symposium on Proof Theory and Constructivism will be held in the Research Visitors' Centre of the School of Mathematics at Leeds, from 3rd July (arrival) to 16th July (departure) this year. It will comprise three connected events:

4th & 5th July: An LMS-funded conference on Proofs and Computations. This meeting will be in honour of Stan Wainer on the occasion of his 65th birthday.
5th & 6th July: A Gentzen Centenary Conference, celebrating 100 years since the birth of Gerhard Gentzen, the founder of structural proof theory.
7th - 16th July: An EPSRC-funded Research Workshop on Proof Theory and Constructivism.

For further information visit the web-site: http://www.personal.leeds.ac.uk/~matptw/ or contact the organisers at: matptw at leeds.ac.uk

In the past years, logicians have become more and more interested in the phenomenon of interaction and the formal modelling of social procedures and phenomena. The area Logic & Games deals with the transition from the static logical paradigm of formal proof and derivation to the dynamic world of intelligent interaction and its logical models. Modelling intelligent interaction has been an aspect of the practical work of computer game designers for a long time. Pragmatic questions such as 'What makes a storyline interesting', 'What makes an reaction natural', and 'What role do emotions play in game decisions' have been tackled by practicing programmers. The practical aspects of computer gaming reach out to a wide interdisciplinary field including psychology and cognitive science. So far, there are only a few cross-links between these two communities.

LSIR2 focuses on the relation between techniques of modern logic (such as discourse representation theory or dynamic epistemic logic) and concrete modelling problems in computer games (either as part of the story or game design or as part of the design of the artificial agents). We aim combining communities of logic, multi-agent systems, computer game design, the story understanding community, and various parts of AI dealing with the formal modelling of emotions and intentions, as well as the empirical testing of these models; we invite all researchers in these and related field to submit their abstracts of papers, in particular those that build bridges between the communities.

For more information, see https://www.illc.uva.nl/GLoRiClass/index.php?page=8_2. The main financial sponsor of the workshop is the Marie Curie research training site GLoRiClass.

A two week symposium on Proof Theory and Constructivism will be held in the Research Visitors' Centre of the School of Mathematics at Leeds, from 3rd July (arrival) to 16th July (departure) this year. It will comprise three connected events:

4th & 5th July: An LMS-funded conference on Proofs and Computations. This meeting will be in honour of Stan Wainer on the occasion of his 65th birthday.
5th & 6th July: A Gentzen Centenary Conference, celebrating 100 years since the birth of Gerhard Gentzen, the founder of structural proof theory.
7th - 16th July: An EPSRC-funded Research Workshop on Proof Theory and Constructivism.

For further information visit the web-site: http://www.personal.leeds.ac.uk/~matptw/ or contact the organisers at: matptw at leeds.ac.uk

In the past years, logicians have become more and more interested in the phenomenon of interaction and the formal modelling of social procedures and phenomena. The area Logic & Games deals with the transition from the static logical paradigm of formal proof and derivation to the dynamic world of intelligent interaction and its logical models. Modelling intelligent interaction has been an aspect of the practical work of computer game designers for a long time. Pragmatic questions such as 'What makes a storyline interesting', 'What makes an reaction natural', and 'What role do emotions play in game decisions' have been tackled by practicing programmers. The practical aspects of computer gaming reach out to a wide interdisciplinary field including psychology and cognitive science. So far, there are only a few cross-links between these two communities.

LSIR2 focuses on the relation between techniques of modern logic (such as discourse representation theory or dynamic epistemic logic) and concrete modelling problems in computer games (either as part of the story or game design or as part of the design of the artificial agents). We aim combining communities of logic, multi-agent systems, computer game design, the story understanding community, and various parts of AI dealing with the formal modelling of emotions and intentions, as well as the empirical testing of these models; we invite all researchers in these and related field to submit their abstracts of papers, in particular those that build bridges between the communities.

For more information, see https://www.illc.uva.nl/GLoRiClass/index.php?page=8_2. The main financial sponsor of the workshop is the Marie Curie research training site GLoRiClass.

In 2009, to commemorate the 800th anniversary of the launch of the Albigensian Crusade, the International Medieval Congress has the special thematic focus Heresy and Orthodoxy.

For more information, see http://www.leeds.ac.uk/ims/imc/imc2009_call.html or contact S.L.Uckelman at uva.nl.

The UCLA Logic Center is organizing a summer school for undergraduates this July. The goal of the school is to introduce future mathematicians to methods and central results from mathematical logic. Courses are very intensive, designed to assume little if any prior experience with logic, yet reach highly advanced material within three weeks.

For more information, see http://www.math.ucla.edu/~ineeman/Summer-2009/

At the workshop there will be sessions on algebra (Fred Richman), analysis (Doug Bridges), topology (Bas Spitters), and set theory (Michael Rathjen). The workshop will conclude with a talk by Vladimir Lifschitz on constructive mathematics and computer science aimed at a general mathematics audience. The special session will be part of the AMS sectional meeting at FAU, (http://www.ams.org/amsmtgs/2161_program.html).

For more information, see http://math.fau.edu/Richman/Worshop/ or contact the organizers (Robert Lubarsky, Fred Richman, and Marty Solomon) at Robert.Lubarsky at comcast.net.

For more information, see http://www.ams.org/amsmtgs/2161_program.html or contact Bob Lubarsky Robert.Lubarsky at comast.net or Fred Richman richman at fau.edu.

A two week symposium on Proof Theory and Constructivism will be held in the Research Visitors' Centre of the School of Mathematics at Leeds, from 3rd July (arrival) to 16th July (departure) this year. It will comprise three connected events:

4th & 5th July: An LMS-funded conference on Proofs and Computations. This meeting will be in honour of Stan Wainer on the occasion of his 65th birthday.
5th & 6th July: A Gentzen Centenary Conference, celebrating 100 years since the birth of Gerhard Gentzen, the founder of structural proof theory.
7th - 16th July: An EPSRC-funded Research Workshop on Proof Theory and Constructivism.

For further information visit the web-site: http://www.personal.leeds.ac.uk/~matptw/ or contact the organisers at: matptw at leeds.ac.uk

In the past years, logicians have become more and more interested in the phenomenon of interaction and the formal modelling of social procedures and phenomena. The area Logic & Games deals with the transition from the static logical paradigm of formal proof and derivation to the dynamic world of intelligent interaction and its logical models. Modelling intelligent interaction has been an aspect of the practical work of computer game designers for a long time. Pragmatic questions such as 'What makes a storyline interesting', 'What makes an reaction natural', and 'What role do emotions play in game decisions' have been tackled by practicing programmers. The practical aspects of computer gaming reach out to a wide interdisciplinary field including psychology and cognitive science. So far, there are only a few cross-links between these two communities.

LSIR2 focuses on the relation between techniques of modern logic (such as discourse representation theory or dynamic epistemic logic) and concrete modelling problems in computer games (either as part of the story or game design or as part of the design of the artificial agents). We aim combining communities of logic, multi-agent systems, computer game design, the story understanding community, and various parts of AI dealing with the formal modelling of emotions and intentions, as well as the empirical testing of these models; we invite all researchers in these and related field to submit their abstracts of papers, in particular those that build bridges between the communities.

For more information, see https://www.illc.uva.nl/GLoRiClass/index.php?page=8_2. The main financial sponsor of the workshop is the Marie Curie research training site GLoRiClass.

In 2009, to commemorate the 800th anniversary of the launch of the Albigensian Crusade, the International Medieval Congress has the special thematic focus Heresy and Orthodoxy.

For more information, see http://www.leeds.ac.uk/ims/imc/imc2009_call.html or contact S.L.Uckelman at uva.nl.

The UCLA Logic Center is organizing a summer school for undergraduates this July. The goal of the school is to introduce future mathematicians to methods and central results from mathematical logic. Courses are very intensive, designed to assume little if any prior experience with logic, yet reach highly advanced material within three weeks.

For more information, see http://www.math.ucla.edu/~ineeman/Summer-2009/

As in previous years, GAMES 2009 will be an informal workshop, without proceedings, with a programme consisting of introductory and advanced tutorials, contributed talks and short presentations. GAMES 2009 will also feature an open problem session, which will consist of very short (10 min) descriptions of interesting open problems about games.

For more information, see http://games2009.dimi.uniud.it/

The First International Workshop on Logic, Rationality and Interaction (LORI-I) took place in Beijing in August 2007, with participation by researchers from artificial intelligence, game theory, linguistics, logic, philosophy, and cognitive science. The workshop led to great advances in mutual understanding, both academically and culturally, between Chinese and foreign logicians. Due to the success of LORI-I, we have decided to continue organizing LORI at various places in China and possibly other countries in Asia and the Pacific Area in the future.

The Second International Workshop on Logic, Rationality and Interaction (LORI-II) will take place in Chongqing, China, during October 8-11, 2009. The Workshop will feature a distinguished roster of invited speakers, refereed contributed papers, poster and tutorials sessions for students, as well as cultural events and excursions.

For more information, see http://loriweb.org/lori2009

A two week symposium on Proof Theory and Constructivism will be held in the Research Visitors' Centre of the School of Mathematics at Leeds, from 3rd July (arrival) to 16th July (departure) this year. It will comprise three connected events:

4th & 5th July: An LMS-funded conference on Proofs and Computations. This meeting will be in honour of Stan Wainer on the occasion of his 65th birthday.
5th & 6th July: A Gentzen Centenary Conference, celebrating 100 years since the birth of Gerhard Gentzen, the founder of structural proof theory.
7th - 16th July: An EPSRC-funded Research Workshop on Proof Theory and Constructivism.

For further information visit the web-site: http://www.personal.leeds.ac.uk/~matptw/ or contact the organisers at: matptw at leeds.ac.uk

In the past years, logicians have become more and more interested in the phenomenon of interaction and the formal modelling of social procedures and phenomena. The area Logic & Games deals with the transition from the static logical paradigm of formal proof and derivation to the dynamic world of intelligent interaction and its logical models. Modelling intelligent interaction has been an aspect of the practical work of computer game designers for a long time. Pragmatic questions such as 'What makes a storyline interesting', 'What makes an reaction natural', and 'What role do emotions play in game decisions' have been tackled by practicing programmers. The practical aspects of computer gaming reach out to a wide interdisciplinary field including psychology and cognitive science. So far, there are only a few cross-links between these two communities.

LSIR2 focuses on the relation between techniques of modern logic (such as discourse representation theory or dynamic epistemic logic) and concrete modelling problems in computer games (either as part of the story or game design or as part of the design of the artificial agents). We aim combining communities of logic, multi-agent systems, computer game design, the story understanding community, and various parts of AI dealing with the formal modelling of emotions and intentions, as well as the empirical testing of these models; we invite all researchers in these and related field to submit their abstracts of papers, in particular those that build bridges between the communities.

For more information, see https://www.illc.uva.nl/GLoRiClass/index.php?page=8_2. The main financial sponsor of the workshop is the Marie Curie research training site GLoRiClass.

In 2009, to commemorate the 800th anniversary of the launch of the Albigensian Crusade, the International Medieval Congress has the special thematic focus Heresy and Orthodoxy.

For more information, see http://www.leeds.ac.uk/ims/imc/imc2009_call.html or contact S.L.Uckelman at uva.nl.

The UCLA Logic Center is organizing a summer school for undergraduates this July. The goal of the school is to introduce future mathematicians to methods and central results from mathematical logic. Courses are very intensive, designed to assume little if any prior experience with logic, yet reach highly advanced material within three weeks.

For more information, see http://www.math.ucla.edu/~ineeman/Summer-2009/

Hybrid logic is a branch of modal logic allowing direct reference to worlds/times/states. It is easy to justify interest in hybrid logic on the grounds of applications, as the additional expressive power is very useful. In addition, hybrid-logical machinery improves the behaviour of the underlying modal formalism. For example, it becomes considerably simpler to formulate modal proof systems, and one can prove completeness and interpolation results of a generality that is not available in orthodox modal logic. But more generally, the topic of HyLo 2009 is not only standard hybrid-logical machinery (like nominals, satisfaction operators, binders, etc) but also extensions of modal logic that increase its expressive power in one way or other.

HyLo 2009 will be an special event, conmemorating the ten years since the organization of the first HyLo workshop in 1999. HyLo 2009 will be relevant to a wide range of people, including those interested in description logic, feature logic, applied modal logics, temporal logic, and labelled deduction. The workshop aims to provide a forum for advanced PhD students and researchers to present and discuss their work with colleagues and researchers.

For more information, see http://hylo.loria.fr/content/Hylo09/

The Panhellenic Logic Symposium is a biannual scientific event established in 1997. It is open to researchers worldwide who work in Logic broadly conceived. The Seventh Panhellenic Logic Symposium will be hosted at the Conference Center of the University of Patras. The scientific program of the symposium will consist of hour-long invited talks, tutorials, and presentations of accepted contributed papers.

Further information about PLS7 can be found at the conference web site http://www.bma.upatras.gr/pls7/. E-mail inquires about PLS7 should be directed to the local organizers at cdrossos at upatras.gr or pavlos at upatras.gr.

A two week symposium on Proof Theory and Constructivism will be held in the Research Visitors' Centre of the School of Mathematics at Leeds, from 3rd July (arrival) to 16th July (departure) this year. It will comprise three connected events:

4th & 5th July: An LMS-funded conference on Proofs and Computations. This meeting will be in honour of Stan Wainer on the occasion of his 65th birthday.
5th & 6th July: A Gentzen Centenary Conference, celebrating 100 years since the birth of Gerhard Gentzen, the founder of structural proof theory.
7th - 16th July: An EPSRC-funded Research Workshop on Proof Theory and Constructivism.

For further information visit the web-site: http://www.personal.leeds.ac.uk/~matptw/ or contact the organisers at: matptw at leeds.ac.uk

In the past years, logicians have become more and more interested in the phenomenon of interaction and the formal modelling of social procedures and phenomena. The area Logic & Games deals with the transition from the static logical paradigm of formal proof and derivation to the dynamic world of intelligent interaction and its logical models. Modelling intelligent interaction has been an aspect of the practical work of computer game designers for a long time. Pragmatic questions such as 'What makes a storyline interesting', 'What makes an reaction natural', and 'What role do emotions play in game decisions' have been tackled by practicing programmers. The practical aspects of computer gaming reach out to a wide interdisciplinary field including psychology and cognitive science. So far, there are only a few cross-links between these two communities.

LSIR2 focuses on the relation between techniques of modern logic (such as discourse representation theory or dynamic epistemic logic) and concrete modelling problems in computer games (either as part of the story or game design or as part of the design of the artificial agents). We aim combining communities of logic, multi-agent systems, computer game design, the story understanding community, and various parts of AI dealing with the formal modelling of emotions and intentions, as well as the empirical testing of these models; we invite all researchers in these and related field to submit their abstracts of papers, in particular those that build bridges between the communities.

For more information, see https://www.illc.uva.nl/GLoRiClass/index.php?page=8_2. The main financial sponsor of the workshop is the Marie Curie research training site GLoRiClass.

In 2009, to commemorate the 800th anniversary of the launch of the Albigensian Crusade, the International Medieval Congress has the special thematic focus Heresy and Orthodoxy.

For more information, see http://www.leeds.ac.uk/ims/imc/imc2009_call.html or contact S.L.Uckelman at uva.nl.

The UCLA Logic Center is organizing a summer school for undergraduates this July. The goal of the school is to introduce future mathematicians to methods and central results from mathematical logic. Courses are very intensive, designed to assume little if any prior experience with logic, yet reach highly advanced material within three weeks.

For more information, see http://www.math.ucla.edu/~ineeman/Summer-2009/

Hybrid logic is a branch of modal logic allowing direct reference to worlds/times/states. It is easy to justify interest in hybrid logic on the grounds of applications, as the additional expressive power is very useful. In addition, hybrid-logical machinery improves the behaviour of the underlying modal formalism. For example, it becomes considerably simpler to formulate modal proof systems, and one can prove completeness and interpolation results of a generality that is not available in orthodox modal logic. But more generally, the topic of HyLo 2009 is not only standard hybrid-logical machinery (like nominals, satisfaction operators, binders, etc) but also extensions of modal logic that increase its expressive power in one way or other.

HyLo 2009 will be an special event, conmemorating the ten years since the organization of the first HyLo workshop in 1999. HyLo 2009 will be relevant to a wide range of people, including those interested in description logic, feature logic, applied modal logics, temporal logic, and labelled deduction. The workshop aims to provide a forum for advanced PhD students and researchers to present and discuss their work with colleagues and researchers.

For more information, see http://hylo.loria.fr/content/Hylo09/

The Panhellenic Logic Symposium is a biannual scientific event established in 1997. It is open to researchers worldwide who work in Logic broadly conceived. The Seventh Panhellenic Logic Symposium will be hosted at the Conference Center of the University of Patras. The scientific program of the symposium will consist of hour-long invited talks, tutorials, and presentations of accepted contributed papers.

Further information about PLS7 can be found at the conference web site http://www.bma.upatras.gr/pls7/. E-mail inquires about PLS7 should be directed to the local organizers at cdrossos at upatras.gr or pavlos at upatras.gr.

Objects, components, and agents are fundamental units to organise models. They are also fundamental concepts of the modelling process. Even though software engineers intensively use models based on these fundamental units, and models are the subjects of theoretical research, the relations and potential mutual enhancements between theoretical and practical models have not been sufficiently investigated. There is still the need for better modelling languages, standards and tools. Important research areas are for example UML, BPEL, Petri nets, process algebras, or different kinds of logics. Application areas like business processes, (Web) services, production processes, organisation of systems, communication, cooperation, cooperation, ubiquity, mobility etc. will support the domain dependent modelling perspectives.

Therefore, the workshop addresses all relations between theoretical foundations of models on the one hand and objects, components, and agents on the other hand with respect to modelling in general. The intention is to gather research and application directions to have a lively mutual exchange of ideas, knowledge, viewpoints, and experiences.

For more information, see http://www.informatik.uni-hamburg.de/TGI/events/moca09/ or contact the programme commitee by email at moca09 at informatik.uni-hamburg.de

The UCLA Logic Center is organizing a summer school for undergraduates this July. The goal of the school is to introduce future mathematicians to methods and central results from mathematical logic. Courses are very intensive, designed to assume little if any prior experience with logic, yet reach highly advanced material within three weeks.

For more information, see http://www.math.ucla.edu/~ineeman/Summer-2009/

Hybrid logic is a branch of modal logic allowing direct reference to worlds/times/states. It is easy to justify interest in hybrid logic on the grounds of applications, as the additional expressive power is very useful. In addition, hybrid-logical machinery improves the behaviour of the underlying modal formalism. For example, it becomes considerably simpler to formulate modal proof systems, and one can prove completeness and interpolation results of a generality that is not available in orthodox modal logic. But more generally, the topic of HyLo 2009 is not only standard hybrid-logical machinery (like nominals, satisfaction operators, binders, etc) but also extensions of modal logic that increase its expressive power in one way or other.

HyLo 2009 will be an special event, conmemorating the ten years since the organization of the first HyLo workshop in 1999. HyLo 2009 will be relevant to a wide range of people, including those interested in description logic, feature logic, applied modal logics, temporal logic, and labelled deduction. The workshop aims to provide a forum for advanced PhD students and researchers to present and discuss their work with colleagues and researchers.

For more information, see http://hylo.loria.fr/content/Hylo09/

The Panhellenic Logic Symposium is a biannual scientific event established in 1997. It is open to researchers worldwide who work in Logic broadly conceived. The Seventh Panhellenic Logic Symposium will be hosted at the Conference Center of the University of Patras. The scientific program of the symposium will consist of hour-long invited talks, tutorials, and presentations of accepted contributed papers.

Further information about PLS7 can be found at the conference web site http://www.bma.upatras.gr/pls7/. E-mail inquires about PLS7 should be directed to the local organizers at cdrossos at upatras.gr or pavlos at upatras.gr.

The UCLA Logic Center is organizing a summer school for undergraduates this July. The goal of the school is to introduce future mathematicians to methods and central results from mathematical logic. Courses are very intensive, designed to assume little if any prior experience with logic, yet reach highly advanced material within three weeks.

For more information, see http://www.math.ucla.edu/~ineeman/Summer-2009/

The Panhellenic Logic Symposium is a biannual scientific event established in 1997. It is open to researchers worldwide who work in Logic broadly conceived. The Seventh Panhellenic Logic Symposium will be hosted at the Conference Center of the University of Patras. The scientific program of the symposium will consist of hour-long invited talks, tutorials, and presentations of accepted contributed papers.

Further information about PLS7 can be found at the conference web site http://www.bma.upatras.gr/pls7/. E-mail inquires about PLS7 should be directed to the local organizers at cdrossos at upatras.gr or pavlos at upatras.gr.

The UCLA Logic Center is organizing a summer school for undergraduates this July. The goal of the school is to introduce future mathematicians to methods and central results from mathematical logic. Courses are very intensive, designed to assume little if any prior experience with logic, yet reach highly advanced material within three weeks.

For more information, see http://www.math.ucla.edu/~ineeman/Summer-2009/

The Panhellenic Logic Symposium is a biannual scientific event established in 1997. It is open to researchers worldwide who work in Logic broadly conceived. The Seventh Panhellenic Logic Symposium will be hosted at the Conference Center of the University of Patras. The scientific program of the symposium will consist of hour-long invited talks, tutorials, and presentations of accepted contributed papers.

Further information about PLS7 can be found at the conference web site http://www.bma.upatras.gr/pls7/. E-mail inquires about PLS7 should be directed to the local organizers at cdrossos at upatras.gr or pavlos at upatras.gr.

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

CiE 2009 has a broad scope and bridges the gap from the theoretical methods of mathematical and meta-mathematical flavour to the applied and industrial questions of computational practice. The conference aims to bring together researchers who want to explore the historical and philosophical aspects of the field.

For more information, see http://www.math.uni-heidelberg.de/logic/cie2009/

The UCLA Logic Center is organizing a summer school for undergraduates this July. The goal of the school is to introduce future mathematicians to methods and central results from mathematical logic. Courses are very intensive, designed to assume little if any prior experience with logic, yet reach highly advanced material within three weeks.

For more information, see http://www.math.ucla.edu/~ineeman/Summer-2009/

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

CiE 2009 has a broad scope and bridges the gap from the theoretical methods of mathematical and meta-mathematical flavour to the applied and industrial questions of computational practice. The conference aims to bring together researchers who want to explore the historical and philosophical aspects of the field.

For more information, see http://www.math.uni-heidelberg.de/logic/cie2009/

The main focus of ESSLLI is on the interface between linguistics, logic and computation. ESSLLI offers foundational, introductory and advanced courses, as well as workshops, covering a wide variety of topics within the three areas of interest: Language and Computation, Language and Logic, and Logic and Computation.

Previous summer schools have been highly successful, attracting up to 500 students from Europe and elsewhere. The school has developed into an important meeting place and forum for discussion for students and researchers interested in the interdisciplinary study of Logic, Language and Information. ESSLLI-2008 is organised under the auspices of the European Association for Logic, Language and Information (FoLLI).

For more information, see the website at http://esslli2009.labri.fr/.

Although vagueness has long since been an important topic in philosophy, logic and linguistics, some recent advances have made the functions of vagueness in natural language communication an exciting and timely research area. This renewed interest has a distinct cross-disciplinary character and has spawned many new research questions. While the classical instruments of dealing with vagueness have not been significantly extended, new approaches investigate questions like context-sensitivity of vagueness, the sharpening of vague predicates in context, and the modeling of precision levels with expressions like 'roughly' or 'like'. On a more fundamental level, the question why there is vagueness to begin with, what role vagueness serves in human communication, has been addressed. Game-theoretic methods have been employed that show that being vague or imprecise can be beneficial for communication even if the speaker could truthfully use more precise terms (de Jaegher 2003). Furthermore, the important role of vagueness became evident in a number of empirical domains beyond obvious examples such as the language of diplomacy.

The ViC-2009 workshop is part of the European Summer School on Logic, Language and Information (ESSLLI 2009), and is organised as an event of the VAAG project of the ESF Eurocore LogicCC. It aims to provide a forum for researchers (including advanced PhD students) to present and discuss their work with colleagues and researchers who work in the broad subject of the disciplines relevant for particles and modal adverbs, as represented in ESSLLI.

For more information, see http://www.fit.fraunhofer.de/~hcschmitz/esslli2009/ or contact Rick Nouwen at rnouwen at gmail.com.

Both computer science and the social sciences are interested in social concepts such as power, cooperation, responsibility, delegation, trust, reputation, convention, agreement, commitment, etc. The aim of this workshop is to study whether logical approaches developed in the multi-agent system (MAS) domain are adequate to express them in an accurate way. The workshop is intended to bring together logicians and social theorists in order to provide a better understanding of the potentialities and limitations of logical methods for the analysis of social reality. Its scope includes not only the technical aspects of logics for multi-agent systems, but also multidisciplinary aspects from social sciences (e.g. economics, sociology, social philosophy) and a critical analysis of the existing logical frameworks for the specification of social concepts. It is organized as part of ESSLLI'2009.

For more information, see http://www.irit.fr/~Andreas.Herzig/Esslli09

The aims of this summer school are 1) to teach and discuss recent philosophical and linguistic advances on our understanding of conditionals and 2) to promote discussions among the faculty and participants of issues involving conditionals from the perspectives of linguistics, philosophy of language, philosophical logic, cognitive psychology, and philosophy of science 3) to help establish a network of young researchers on issues in philosophy of language and philosophical logic.

Application deadline: 16 February 2009. For more information about the course, see http://www.sun.ceu.hu/conditionals. CEU Summer University web page: http://www.sun.ceu.hu/. Please address your inquiries to summeru at ceu.hu.

The 2009 ESSLLI Student Session will take place from July 20 to July 31 in Bordeaux, France, as part of the annual European Summer School in Logic, Language, and Information. We hereby invite paper submissions from students in the areas of logic and computation, logic and language, and language and computation for presentation in the oral session or in the poster session. All submissions will be reviewed by three experts in the field, and those selected for presentation will be published in the proceedings. The Student Session is an excellent venue to present work in progress, and also to gain experience presenting one's research to a wide audience. As in previous years, Springer is offering 500 Euro in textbooks for the best paper award, and 250 Euro in textbooks to each of two runners-up. The extended deadline for submission is February 14, 2009.

For more details, please see the full call for papers: http://www.stanford.edu/~icard/esslli/call

The UCLA Logic Center is organizing a summer school for undergraduates this July. The goal of the school is to introduce future mathematicians to methods and central results from mathematical logic. Courses are very intensive, designed to assume little if any prior experience with logic, yet reach highly advanced material within three weeks.

For more information, see http://www.math.ucla.edu/~ineeman/Summer-2009/

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

CiE 2009 has a broad scope and bridges the gap from the theoretical methods of mathematical and meta-mathematical flavour to the applied and industrial questions of computational practice. The conference aims to bring together researchers who want to explore the historical and philosophical aspects of the field.

For more information, see http://www.math.uni-heidelberg.de/logic/cie2009/

The main focus of ESSLLI is on the interface between linguistics, logic and computation. ESSLLI offers foundational, introductory and advanced courses, as well as workshops, covering a wide variety of topics within the three areas of interest: Language and Computation, Language and Logic, and Logic and Computation.

Previous summer schools have been highly successful, attracting up to 500 students from Europe and elsewhere. The school has developed into an important meeting place and forum for discussion for students and researchers interested in the interdisciplinary study of Logic, Language and Information. ESSLLI-2008 is organised under the auspices of the European Association for Logic, Language and Information (FoLLI).

For more information, see the website at http://esslli2009.labri.fr/.

Although vagueness has long since been an important topic in philosophy, logic and linguistics, some recent advances have made the functions of vagueness in natural language communication an exciting and timely research area. This renewed interest has a distinct cross-disciplinary character and has spawned many new research questions. While the classical instruments of dealing with vagueness have not been significantly extended, new approaches investigate questions like context-sensitivity of vagueness, the sharpening of vague predicates in context, and the modeling of precision levels with expressions like 'roughly' or 'like'. On a more fundamental level, the question why there is vagueness to begin with, what role vagueness serves in human communication, has been addressed. Game-theoretic methods have been employed that show that being vague or imprecise can be beneficial for communication even if the speaker could truthfully use more precise terms (de Jaegher 2003). Furthermore, the important role of vagueness became evident in a number of empirical domains beyond obvious examples such as the language of diplomacy.

The ViC-2009 workshop is part of the European Summer School on Logic, Language and Information (ESSLLI 2009), and is organised as an event of the VAAG project of the ESF Eurocore LogicCC. It aims to provide a forum for researchers (including advanced PhD students) to present and discuss their work with colleagues and researchers who work in the broad subject of the disciplines relevant for particles and modal adverbs, as represented in ESSLLI.

For more information, see http://www.fit.fraunhofer.de/~hcschmitz/esslli2009/ or contact Rick Nouwen at rnouwen at gmail.com.

Both computer science and the social sciences are interested in social concepts such as power, cooperation, responsibility, delegation, trust, reputation, convention, agreement, commitment, etc. The aim of this workshop is to study whether logical approaches developed in the multi-agent system (MAS) domain are adequate to express them in an accurate way. The workshop is intended to bring together logicians and social theorists in order to provide a better understanding of the potentialities and limitations of logical methods for the analysis of social reality. Its scope includes not only the technical aspects of logics for multi-agent systems, but also multidisciplinary aspects from social sciences (e.g. economics, sociology, social philosophy) and a critical analysis of the existing logical frameworks for the specification of social concepts. It is organized as part of ESSLLI'2009.

For more information, see http://www.irit.fr/~Andreas.Herzig/Esslli09

The aims of this summer school are 1) to teach and discuss recent philosophical and linguistic advances on our understanding of conditionals and 2) to promote discussions among the faculty and participants of issues involving conditionals from the perspectives of linguistics, philosophy of language, philosophical logic, cognitive psychology, and philosophy of science 3) to help establish a network of young researchers on issues in philosophy of language and philosophical logic.

Application deadline: 16 February 2009. For more information about the course, see http://www.sun.ceu.hu/conditionals. CEU Summer University web page: http://www.sun.ceu.hu/. Please address your inquiries to summeru at ceu.hu.

The 2009 ESSLLI Student Session will take place from July 20 to July 31 in Bordeaux, France, as part of the annual European Summer School in Logic, Language, and Information. We hereby invite paper submissions from students in the areas of logic and computation, logic and language, and language and computation for presentation in the oral session or in the poster session. All submissions will be reviewed by three experts in the field, and those selected for presentation will be published in the proceedings. The Student Session is an excellent venue to present work in progress, and also to gain experience presenting one's research to a wide audience. As in previous years, Springer is offering 500 Euro in textbooks for the best paper award, and 250 Euro in textbooks to each of two runners-up. The extended deadline for submission is February 14, 2009.

For more details, please see the full call for papers: http://www.stanford.edu/~icard/esslli/call

The UCLA Logic Center is organizing a summer school for undergraduates this July. The goal of the school is to introduce future mathematicians to methods and central results from mathematical logic. Courses are very intensive, designed to assume little if any prior experience with logic, yet reach highly advanced material within three weeks.

For more information, see http://www.math.ucla.edu/~ineeman/Summer-2009/

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

CiE 2009 has a broad scope and bridges the gap from the theoretical methods of mathematical and meta-mathematical flavour to the applied and industrial questions of computational practice. The conference aims to bring together researchers who want to explore the historical and philosophical aspects of the field.

For more information, see http://www.math.uni-heidelberg.de/logic/cie2009/

The main focus of ESSLLI is on the interface between linguistics, logic and computation. ESSLLI offers foundational, introductory and advanced courses, as well as workshops, covering a wide variety of topics within the three areas of interest: Language and Computation, Language and Logic, and Logic and Computation.

Previous summer schools have been highly successful, attracting up to 500 students from Europe and elsewhere. The school has developed into an important meeting place and forum for discussion for students and researchers interested in the interdisciplinary study of Logic, Language and Information. ESSLLI-2008 is organised under the auspices of the European Association for Logic, Language and Information (FoLLI).

For more information, see the website at http://esslli2009.labri.fr/.

Although vagueness has long since been an important topic in philosophy, logic and linguistics, some recent advances have made the functions of vagueness in natural language communication an exciting and timely research area. This renewed interest has a distinct cross-disciplinary character and has spawned many new research questions. While the classical instruments of dealing with vagueness have not been significantly extended, new approaches investigate questions like context-sensitivity of vagueness, the sharpening of vague predicates in context, and the modeling of precision levels with expressions like 'roughly' or 'like'. On a more fundamental level, the question why there is vagueness to begin with, what role vagueness serves in human communication, has been addressed. Game-theoretic methods have been employed that show that being vague or imprecise can be beneficial for communication even if the speaker could truthfully use more precise terms (de Jaegher 2003). Furthermore, the important role of vagueness became evident in a number of empirical domains beyond obvious examples such as the language of diplomacy.

The ViC-2009 workshop is part of the European Summer School on Logic, Language and Information (ESSLLI 2009), and is organised as an event of the VAAG project of the ESF Eurocore LogicCC. It aims to provide a forum for researchers (including advanced PhD students) to present and discuss their work with colleagues and researchers who work in the broad subject of the disciplines relevant for particles and modal adverbs, as represented in ESSLLI.

For more information, see http://www.fit.fraunhofer.de/~hcschmitz/esslli2009/ or contact Rick Nouwen at rnouwen at gmail.com.

Both computer science and the social sciences are interested in social concepts such as power, cooperation, responsibility, delegation, trust, reputation, convention, agreement, commitment, etc. The aim of this workshop is to study whether logical approaches developed in the multi-agent system (MAS) domain are adequate to express them in an accurate way. The workshop is intended to bring together logicians and social theorists in order to provide a better understanding of the potentialities and limitations of logical methods for the analysis of social reality. Its scope includes not only the technical aspects of logics for multi-agent systems, but also multidisciplinary aspects from social sciences (e.g. economics, sociology, social philosophy) and a critical analysis of the existing logical frameworks for the specification of social concepts. It is organized as part of ESSLLI'2009.

For more information, see http://www.irit.fr/~Andreas.Herzig/Esslli09

The aims of this summer school are 1) to teach and discuss recent philosophical and linguistic advances on our understanding of conditionals and 2) to promote discussions among the faculty and participants of issues involving conditionals from the perspectives of linguistics, philosophy of language, philosophical logic, cognitive psychology, and philosophy of science 3) to help establish a network of young researchers on issues in philosophy of language and philosophical logic.

Application deadline: 16 February 2009. For more information about the course, see http://www.sun.ceu.hu/conditionals. CEU Summer University web page: http://www.sun.ceu.hu/. Please address your inquiries to summeru at ceu.hu.

The 2009 ESSLLI Student Session will take place from July 20 to July 31 in Bordeaux, France, as part of the annual European Summer School in Logic, Language, and Information. We hereby invite paper submissions from students in the areas of logic and computation, logic and language, and language and computation for presentation in the oral session or in the poster session. All submissions will be reviewed by three experts in the field, and those selected for presentation will be published in the proceedings. The Student Session is an excellent venue to present work in progress, and also to gain experience presenting one's research to a wide audience. As in previous years, Springer is offering 500 Euro in textbooks for the best paper award, and 250 Euro in textbooks to each of two runners-up. The extended deadline for submission is February 14, 2009.

For more details, please see the full call for papers: http://www.stanford.edu/~icard/esslli/call

The UCLA Logic Center is organizing a summer school for undergraduates this July. The goal of the school is to introduce future mathematicians to methods and central results from mathematical logic. Courses are very intensive, designed to assume little if any prior experience with logic, yet reach highly advanced material within three weeks.

For more information, see http://www.math.ucla.edu/~ineeman/Summer-2009/

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

CiE 2009 has a broad scope and bridges the gap from the theoretical methods of mathematical and meta-mathematical flavour to the applied and industrial questions of computational practice. The conference aims to bring together researchers who want to explore the historical and philosophical aspects of the field.

For more information, see http://www.math.uni-heidelberg.de/logic/cie2009/

The main focus of ESSLLI is on the interface between linguistics, logic and computation. ESSLLI offers foundational, introductory and advanced courses, as well as workshops, covering a wide variety of topics within the three areas of interest: Language and Computation, Language and Logic, and Logic and Computation.

Previous summer schools have been highly successful, attracting up to 500 students from Europe and elsewhere. The school has developed into an important meeting place and forum for discussion for students and researchers interested in the interdisciplinary study of Logic, Language and Information. ESSLLI-2008 is organised under the auspices of the European Association for Logic, Language and Information (FoLLI).

For more information, see the website at http://esslli2009.labri.fr/.

Although vagueness has long since been an important topic in philosophy, logic and linguistics, some recent advances have made the functions of vagueness in natural language communication an exciting and timely research area. This renewed interest has a distinct cross-disciplinary character and has spawned many new research questions. While the classical instruments of dealing with vagueness have not been significantly extended, new approaches investigate questions like context-sensitivity of vagueness, the sharpening of vague predicates in context, and the modeling of precision levels with expressions like 'roughly' or 'like'. On a more fundamental level, the question why there is vagueness to begin with, what role vagueness serves in human communication, has been addressed. Game-theoretic methods have been employed that show that being vague or imprecise can be beneficial for communication even if the speaker could truthfully use more precise terms (de Jaegher 2003). Furthermore, the important role of vagueness became evident in a number of empirical domains beyond obvious examples such as the language of diplomacy.

The ViC-2009 workshop is part of the European Summer School on Logic, Language and Information (ESSLLI 2009), and is organised as an event of the VAAG project of the ESF Eurocore LogicCC. It aims to provide a forum for researchers (including advanced PhD students) to present and discuss their work with colleagues and researchers who work in the broad subject of the disciplines relevant for particles and modal adverbs, as represented in ESSLLI.

For more information, see http://www.fit.fraunhofer.de/~hcschmitz/esslli2009/ or contact Rick Nouwen at rnouwen at gmail.com.

Both computer science and the social sciences are interested in social concepts such as power, cooperation, responsibility, delegation, trust, reputation, convention, agreement, commitment, etc. The aim of this workshop is to study whether logical approaches developed in the multi-agent system (MAS) domain are adequate to express them in an accurate way. The workshop is intended to bring together logicians and social theorists in order to provide a better understanding of the potentialities and limitations of logical methods for the analysis of social reality. Its scope includes not only the technical aspects of logics for multi-agent systems, but also multidisciplinary aspects from social sciences (e.g. economics, sociology, social philosophy) and a critical analysis of the existing logical frameworks for the specification of social concepts. It is organized as part of ESSLLI'2009.

For more information, see http://www.irit.fr/~Andreas.Herzig/Esslli09

The aims of this summer school are 1) to teach and discuss recent philosophical and linguistic advances on our understanding of conditionals and 2) to promote discussions among the faculty and participants of issues involving conditionals from the perspectives of linguistics, philosophy of language, philosophical logic, cognitive psychology, and philosophy of science 3) to help establish a network of young researchers on issues in philosophy of language and philosophical logic.

Application deadline: 16 February 2009. For more information about the course, see http://www.sun.ceu.hu/conditionals. CEU Summer University web page: http://www.sun.ceu.hu/. Please address your inquiries to summeru at ceu.hu.

The 2009 ESSLLI Student Session will take place from July 20 to July 31 in Bordeaux, France, as part of the annual European Summer School in Logic, Language, and Information. We hereby invite paper submissions from students in the areas of logic and computation, logic and language, and language and computation for presentation in the oral session or in the poster session. All submissions will be reviewed by three experts in the field, and those selected for presentation will be published in the proceedings. The Student Session is an excellent venue to present work in progress, and also to gain experience presenting one's research to a wide audience. As in previous years, Springer is offering 500 Euro in textbooks for the best paper award, and 250 Euro in textbooks to each of two runners-up. The extended deadline for submission is February 14, 2009.

For more details, please see the full call for papers: http://www.stanford.edu/~icard/esslli/call

The TIME symposium series is a well-established annual event that brings together researchers from all areas of computer science that involve temporal representation and reasoning. This includes, but is not limited to, artificial intelligence, temporal databases, and the verification of software and hardware systems. In addition to fostering interdisciplinarity, the TIME symposia emphasize bridging the gap between theoretical and applied research.

TIME 2009 encompasses three tracks, but has a single program committee. The conference will span three days, and will be organized as a combination of technical paper presentations, poster sessions, and keynote lectures.

For more information, see http://www.inf.unibz.it/krdb/events/time-2009/

The UCLA Logic Center is organizing a summer school for undergraduates this July. The goal of the school is to introduce future mathematicians to methods and central results from mathematical logic. Courses are very intensive, designed to assume little if any prior experience with logic, yet reach highly advanced material within three weeks.

For more information, see http://www.math.ucla.edu/~ineeman/Summer-2009/

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

CiE 2009 has a broad scope and bridges the gap from the theoretical methods of mathematical and meta-mathematical flavour to the applied and industrial questions of computational practice. The conference aims to bring together researchers who want to explore the historical and philosophical aspects of the field.

For more information, see http://www.math.uni-heidelberg.de/logic/cie2009/

The main focus of ESSLLI is on the interface between linguistics, logic and computation. ESSLLI offers foundational, introductory and advanced courses, as well as workshops, covering a wide variety of topics within the three areas of interest: Language and Computation, Language and Logic, and Logic and Computation.

Previous summer schools have been highly successful, attracting up to 500 students from Europe and elsewhere. The school has developed into an important meeting place and forum for discussion for students and researchers interested in the interdisciplinary study of Logic, Language and Information. ESSLLI-2008 is organised under the auspices of the European Association for Logic, Language and Information (FoLLI).

For more information, see the website at http://esslli2009.labri.fr/.

Although vagueness has long since been an important topic in philosophy, logic and linguistics, some recent advances have made the functions of vagueness in natural language communication an exciting and timely research area. This renewed interest has a distinct cross-disciplinary character and has spawned many new research questions. While the classical instruments of dealing with vagueness have not been significantly extended, new approaches investigate questions like context-sensitivity of vagueness, the sharpening of vague predicates in context, and the modeling of precision levels with expressions like 'roughly' or 'like'. On a more fundamental level, the question why there is vagueness to begin with, what role vagueness serves in human communication, has been addressed. Game-theoretic methods have been employed that show that being vague or imprecise can be beneficial for communication even if the speaker could truthfully use more precise terms (de Jaegher 2003). Furthermore, the important role of vagueness became evident in a number of empirical domains beyond obvious examples such as the language of diplomacy.

The ViC-2009 workshop is part of the European Summer School on Logic, Language and Information (ESSLLI 2009), and is organised as an event of the VAAG project of the ESF Eurocore LogicCC. It aims to provide a forum for researchers (including advanced PhD students) to present and discuss their work with colleagues and researchers who work in the broad subject of the disciplines relevant for particles and modal adverbs, as represented in ESSLLI.

For more information, see http://www.fit.fraunhofer.de/~hcschmitz/esslli2009/ or contact Rick Nouwen at rnouwen at gmail.com.

Both computer science and the social sciences are interested in social concepts such as power, cooperation, responsibility, delegation, trust, reputation, convention, agreement, commitment, etc. The aim of this workshop is to study whether logical approaches developed in the multi-agent system (MAS) domain are adequate to express them in an accurate way. The workshop is intended to bring together logicians and social theorists in order to provide a better understanding of the potentialities and limitations of logical methods for the analysis of social reality. Its scope includes not only the technical aspects of logics for multi-agent systems, but also multidisciplinary aspects from social sciences (e.g. economics, sociology, social philosophy) and a critical analysis of the existing logical frameworks for the specification of social concepts. It is organized as part of ESSLLI'2009.

For more information, see http://www.irit.fr/~Andreas.Herzig/Esslli09

The aims of this summer school are 1) to teach and discuss recent philosophical and linguistic advances on our understanding of conditionals and 2) to promote discussions among the faculty and participants of issues involving conditionals from the perspectives of linguistics, philosophy of language, philosophical logic, cognitive psychology, and philosophy of science 3) to help establish a network of young researchers on issues in philosophy of language and philosophical logic.

Application deadline: 16 February 2009. For more information about the course, see http://www.sun.ceu.hu/conditionals. CEU Summer University web page: http://www.sun.ceu.hu/. Please address your inquiries to summeru at ceu.hu.

The 2009 ESSLLI Student Session will take place from July 20 to July 31 in Bordeaux, France, as part of the annual European Summer School in Logic, Language, and Information. We hereby invite paper submissions from students in the areas of logic and computation, logic and language, and language and computation for presentation in the oral session or in the poster session. All submissions will be reviewed by three experts in the field, and those selected for presentation will be published in the proceedings. The Student Session is an excellent venue to present work in progress, and also to gain experience presenting one's research to a wide audience. As in previous years, Springer is offering 500 Euro in textbooks for the best paper award, and 250 Euro in textbooks to each of two runners-up. The extended deadline for submission is February 14, 2009.

For more details, please see the full call for papers: http://www.stanford.edu/~icard/esslli/call

The TIME symposium series is a well-established annual event that brings together researchers from all areas of computer science that involve temporal representation and reasoning. This includes, but is not limited to, artificial intelligence, temporal databases, and the verification of software and hardware systems. In addition to fostering interdisciplinarity, the TIME symposia emphasize bridging the gap between theoretical and applied research.

TIME 2009 encompasses three tracks, but has a single program committee. The conference will span three days, and will be organized as a combination of technical paper presentations, poster sessions, and keynote lectures.

For more information, see http://www.inf.unibz.it/krdb/events/time-2009/

The UCLA Logic Center is organizing a summer school for undergraduates this July. The goal of the school is to introduce future mathematicians to methods and central results from mathematical logic. Courses are very intensive, designed to assume little if any prior experience with logic, yet reach highly advanced material within three weeks.

For more information, see http://www.math.ucla.edu/~ineeman/Summer-2009/

The main focus of ESSLLI is on the interface between linguistics, logic and computation. ESSLLI offers foundational, introductory and advanced courses, as well as workshops, covering a wide variety of topics within the three areas of interest: Language and Computation, Language and Logic, and Logic and Computation.

Previous summer schools have been highly successful, attracting up to 500 students from Europe and elsewhere. The school has developed into an important meeting place and forum for discussion for students and researchers interested in the interdisciplinary study of Logic, Language and Information. ESSLLI-2008 is organised under the auspices of the European Association for Logic, Language and Information (FoLLI).

For more information, see the website at http://esslli2009.labri.fr/.

Both computer science and the social sciences are interested in social concepts such as power, cooperation, responsibility, delegation, trust, reputation, convention, agreement, commitment, etc. The aim of this workshop is to study whether logical approaches developed in the multi-agent system (MAS) domain are adequate to express them in an accurate way. The workshop is intended to bring together logicians and social theorists in order to provide a better understanding of the potentialities and limitations of logical methods for the analysis of social reality. Its scope includes not only the technical aspects of logics for multi-agent systems, but also multidisciplinary aspects from social sciences (e.g. economics, sociology, social philosophy) and a critical analysis of the existing logical frameworks for the specification of social concepts. It is organized as part of ESSLLI'2009.

For more information, see http://www.irit.fr/~Andreas.Herzig/Esslli09

The aims of this summer school are 1) to teach and discuss recent philosophical and linguistic advances on our understanding of conditionals and 2) to promote discussions among the faculty and participants of issues involving conditionals from the perspectives of linguistics, philosophy of language, philosophical logic, cognitive psychology, and philosophy of science 3) to help establish a network of young researchers on issues in philosophy of language and philosophical logic.

Application deadline: 16 February 2009. For more information about the course, see http://www.sun.ceu.hu/conditionals. CEU Summer University web page: http://www.sun.ceu.hu/. Please address your inquiries to summeru at ceu.hu.

The 2009 ESSLLI Student Session will take place from July 20 to July 31 in Bordeaux, France, as part of the annual European Summer School in Logic, Language, and Information. We hereby invite paper submissions from students in the areas of logic and computation, logic and language, and language and computation for presentation in the oral session or in the poster session. All submissions will be reviewed by three experts in the field, and those selected for presentation will be published in the proceedings. The Student Session is an excellent venue to present work in progress, and also to gain experience presenting one's research to a wide audience. As in previous years, Springer is offering 500 Euro in textbooks for the best paper award, and 250 Euro in textbooks to each of two runners-up. The extended deadline for submission is February 14, 2009.

For more details, please see the full call for papers: http://www.stanford.edu/~icard/esslli/call

The TIME symposium series is a well-established annual event that brings together researchers from all areas of computer science that involve temporal representation and reasoning. This includes, but is not limited to, artificial intelligence, temporal databases, and the verification of software and hardware systems. In addition to fostering interdisciplinarity, the TIME symposia emphasize bridging the gap between theoretical and applied research.

TIME 2009 encompasses three tracks, but has a single program committee. The conference will span three days, and will be organized as a combination of technical paper presentations, poster sessions, and keynote lectures.

For more information, see http://www.inf.unibz.it/krdb/events/time-2009/

The UCLA Logic Center is organizing a summer school for undergraduates this July. The goal of the school is to introduce future mathematicians to methods and central results from mathematical logic. Courses are very intensive, designed to assume little if any prior experience with logic, yet reach highly advanced material within three weeks.

For more information, see http://www.math.ucla.edu/~ineeman/Summer-2009/

The main focus of ESSLLI is on the interface between linguistics, logic and computation. ESSLLI offers foundational, introductory and advanced courses, as well as workshops, covering a wide variety of topics within the three areas of interest: Language and Computation, Language and Logic, and Logic and Computation.

Previous summer schools have been highly successful, attracting up to 500 students from Europe and elsewhere. The school has developed into an important meeting place and forum for discussion for students and researchers interested in the interdisciplinary study of Logic, Language and Information. ESSLLI-2008 is organised under the auspices of the European Association for Logic, Language and Information (FoLLI).

For more information, see the website at http://esslli2009.labri.fr/.

Both computer science and the social sciences are interested in social concepts such as power, cooperation, responsibility, delegation, trust, reputation, convention, agreement, commitment, etc. The aim of this workshop is to study whether logical approaches developed in the multi-agent system (MAS) domain are adequate to express them in an accurate way. The workshop is intended to bring together logicians and social theorists in order to provide a better understanding of the potentialities and limitations of logical methods for the analysis of social reality. Its scope includes not only the technical aspects of logics for multi-agent systems, but also multidisciplinary aspects from social sciences (e.g. economics, sociology, social philosophy) and a critical analysis of the existing logical frameworks for the specification of social concepts. It is organized as part of ESSLLI'2009.

For more information, see http://www.irit.fr/~Andreas.Herzig/Esslli09

The aims of this summer school are 1) to teach and discuss recent philosophical and linguistic advances on our understanding of conditionals and 2) to promote discussions among the faculty and participants of issues involving conditionals from the perspectives of linguistics, philosophy of language, philosophical logic, cognitive psychology, and philosophy of science 3) to help establish a network of young researchers on issues in philosophy of language and philosophical logic.

Application deadline: 16 February 2009. For more information about the course, see http://www.sun.ceu.hu/conditionals. CEU Summer University web page: http://www.sun.ceu.hu/. Please address your inquiries to summeru at ceu.hu.

The 2009 ESSLLI Student Session will take place from July 20 to July 31 in Bordeaux, France, as part of the annual European Summer School in Logic, Language, and Information. We hereby invite paper submissions from students in the areas of logic and computation, logic and language, and language and computation for presentation in the oral session or in the poster session. All submissions will be reviewed by three experts in the field, and those selected for presentation will be published in the proceedings. The Student Session is an excellent venue to present work in progress, and also to gain experience presenting one's research to a wide audience. As in previous years, Springer is offering 500 Euro in textbooks for the best paper award, and 250 Euro in textbooks to each of two runners-up. The extended deadline for submission is February 14, 2009.

For more details, please see the full call for papers: http://www.stanford.edu/~icard/esslli/call

The 17th International Conference on Conceptual Structures (ICCS 2009) is the latest in a series of annual conferences that have been held in Europe, Australia, and North America since 1993. The focus of the conference has been the representation and analysis of conceptual knowledge for research and practical application. ICCS brings together researchers and practioners in information and computer sciences as well as social science to explore novel ways that conceptual structures can be deployed.

Arising from the research on knowledge representation and reasoning with Conceptual Graphs, over the years ICCS has broadened its scope to include innovations from a wider range of theories and related practices. The 2009 ICCS's theme "leveraging semantic technologies" hints to the large overlap of the research fields of semantic technologies and conceptual structures, and emphasizes the goal of closer connecting these two areas in order to obtain a mutual benefit.

For more information, see http://www.iccs.info/

The UCLA Logic Center is organizing a summer school for undergraduates this July. The goal of the school is to introduce future mathematicians to methods and central results from mathematical logic. Courses are very intensive, designed to assume little if any prior experience with logic, yet reach highly advanced material within three weeks.

For more information, see http://www.math.ucla.edu/~ineeman/Summer-2009/

The main focus of ESSLLI is on the interface between linguistics, logic and computation. ESSLLI offers foundational, introductory and advanced courses, as well as workshops, covering a wide variety of topics within the three areas of interest: Language and Computation, Language and Logic, and Logic and Computation.

Previous summer schools have been highly successful, attracting up to 500 students from Europe and elsewhere. The school has developed into an important meeting place and forum for discussion for students and researchers interested in the interdisciplinary study of Logic, Language and Information. ESSLLI-2008 is organised under the auspices of the European Association for Logic, Language and Information (FoLLI).

For more information, see the website at http://esslli2009.labri.fr/.

Both computer science and the social sciences are interested in social concepts such as power, cooperation, responsibility, delegation, trust, reputation, convention, agreement, commitment, etc. The aim of this workshop is to study whether logical approaches developed in the multi-agent system (MAS) domain are adequate to express them in an accurate way. The workshop is intended to bring together logicians and social theorists in order to provide a better understanding of the potentialities and limitations of logical methods for the analysis of social reality. Its scope includes not only the technical aspects of logics for multi-agent systems, but also multidisciplinary aspects from social sciences (e.g. economics, sociology, social philosophy) and a critical analysis of the existing logical frameworks for the specification of social concepts. It is organized as part of ESSLLI'2009.

For more information, see http://www.irit.fr/~Andreas.Herzig/Esslli09

The aims of this summer school are 1) to teach and discuss recent philosophical and linguistic advances on our understanding of conditionals and 2) to promote discussions among the faculty and participants of issues involving conditionals from the perspectives of linguistics, philosophy of language, philosophical logic, cognitive psychology, and philosophy of science 3) to help establish a network of young researchers on issues in philosophy of language and philosophical logic.

Application deadline: 16 February 2009. For more information about the course, see http://www.sun.ceu.hu/conditionals. CEU Summer University web page: http://www.sun.ceu.hu/. Please address your inquiries to summeru at ceu.hu.

The 2009 ESSLLI Student Session will take place from July 20 to July 31 in Bordeaux, France, as part of the annual European Summer School in Logic, Language, and Information. We hereby invite paper submissions from students in the areas of logic and computation, logic and language, and language and computation for presentation in the oral session or in the poster session. All submissions will be reviewed by three experts in the field, and those selected for presentation will be published in the proceedings. The Student Session is an excellent venue to present work in progress, and also to gain experience presenting one's research to a wide audience. As in previous years, Springer is offering 500 Euro in textbooks for the best paper award, and 250 Euro in textbooks to each of two runners-up. The extended deadline for submission is February 14, 2009.

For more details, please see the full call for papers: http://www.stanford.edu/~icard/esslli/call

The 17th International Conference on Conceptual Structures (ICCS 2009) is the latest in a series of annual conferences that have been held in Europe, Australia, and North America since 1993. The focus of the conference has been the representation and analysis of conceptual knowledge for research and practical application. ICCS brings together researchers and practioners in information and computer sciences as well as social science to explore novel ways that conceptual structures can be deployed.

Arising from the research on knowledge representation and reasoning with Conceptual Graphs, over the years ICCS has broadened its scope to include innovations from a wider range of theories and related practices. The 2009 ICCS's theme "leveraging semantic technologies" hints to the large overlap of the research fields of semantic technologies and conceptual structures, and emphasizes the goal of closer connecting these two areas in order to obtain a mutual benefit.

For more information, see http://www.iccs.info/

The workshop is part of ESSLLI in Bordeaux and is aimed at researchers who use logics in design and / or verification of agent programming languages. The workshop will provide a forum for advanced PhD students and researchers in these areas to compare methodologies, exchange ideas and identify challenges in agent programming languages and writing reliable agent programs.

Deadline for submissions: 4 March 2009. For more information, see http://www.agents.cs.nott.ac.uk/events/lapl09/.

ICAART brings together top researchers and practitioners in several areas of Artificial Intelligence, from multiple areas of knowledge, such as Agents, Multi-Agent Systems and Software Platforms, Distributed Problem Solving and Distributed AI in general, including web applications, on one hand, and within the area of non-distributed AI, including the more traditional areas such as Knowledge Representation, Planning, Learning, Scheduling, Perception and also not so traditional areas such as Reactive AI Systems, Evolutionary Computing and other aspects of Computational Intelligence and many other areas related to intelligent systems, on the other hand.

For more information, see http://www.icaart.org

The UCLA Logic Center is organizing a summer school for undergraduates this July. The goal of the school is to introduce future mathematicians to methods and central results from mathematical logic. Courses are very intensive, designed to assume little if any prior experience with logic, yet reach highly advanced material within three weeks.

For more information, see http://www.math.ucla.edu/~ineeman/Summer-2009/

The main focus of ESSLLI is on the interface between linguistics, logic and computation. ESSLLI offers foundational, introductory and advanced courses, as well as workshops, covering a wide variety of topics within the three areas of interest: Language and Computation, Language and Logic, and Logic and Computation.

Previous summer schools have been highly successful, attracting up to 500 students from Europe and elsewhere. The school has developed into an important meeting place and forum for discussion for students and researchers interested in the interdisciplinary study of Logic, Language and Information. ESSLLI-2008 is organised under the auspices of the European Association for Logic, Language and Information (FoLLI).

For more information, see the website at http://esslli2009.labri.fr/.

Both computer science and the social sciences are interested in social concepts such as power, cooperation, responsibility, delegation, trust, reputation, convention, agreement, commitment, etc. The aim of this workshop is to study whether logical approaches developed in the multi-agent system (MAS) domain are adequate to express them in an accurate way. The workshop is intended to bring together logicians and social theorists in order to provide a better understanding of the potentialities and limitations of logical methods for the analysis of social reality. Its scope includes not only the technical aspects of logics for multi-agent systems, but also multidisciplinary aspects from social sciences (e.g. economics, sociology, social philosophy) and a critical analysis of the existing logical frameworks for the specification of social concepts. It is organized as part of ESSLLI'2009.

For more information, see http://www.irit.fr/~Andreas.Herzig/Esslli09

The aims of this summer school are 1) to teach and discuss recent philosophical and linguistic advances on our understanding of conditionals and 2) to promote discussions among the faculty and participants of issues involving conditionals from the perspectives of linguistics, philosophy of language, philosophical logic, cognitive psychology, and philosophy of science 3) to help establish a network of young researchers on issues in philosophy of language and philosophical logic.

Application deadline: 16 February 2009. For more information about the course, see http://www.sun.ceu.hu/conditionals. CEU Summer University web page: http://www.sun.ceu.hu/. Please address your inquiries to summeru at ceu.hu.

The 2009 ESSLLI Student Session will take place from July 20 to July 31 in Bordeaux, France, as part of the annual European Summer School in Logic, Language, and Information. We hereby invite paper submissions from students in the areas of logic and computation, logic and language, and language and computation for presentation in the oral session or in the poster session. All submissions will be reviewed by three experts in the field, and those selected for presentation will be published in the proceedings. The Student Session is an excellent venue to present work in progress, and also to gain experience presenting one's research to a wide audience. As in previous years, Springer is offering 500 Euro in textbooks for the best paper award, and 250 Euro in textbooks to each of two runners-up. The extended deadline for submission is February 14, 2009.

For more details, please see the full call for papers: http://www.stanford.edu/~icard/esslli/call

The 17th International Conference on Conceptual Structures (ICCS 2009) is the latest in a series of annual conferences that have been held in Europe, Australia, and North America since 1993. The focus of the conference has been the representation and analysis of conceptual knowledge for research and practical application. ICCS brings together researchers and practioners in information and computer sciences as well as social science to explore novel ways that conceptual structures can be deployed.

Arising from the research on knowledge representation and reasoning with Conceptual Graphs, over the years ICCS has broadened its scope to include innovations from a wider range of theories and related practices. The 2009 ICCS's theme "leveraging semantic technologies" hints to the large overlap of the research fields of semantic technologies and conceptual structures, and emphasizes the goal of closer connecting these two areas in order to obtain a mutual benefit.

For more information, see http://www.iccs.info/

The workshop is part of ESSLLI in Bordeaux and is aimed at researchers who use logics in design and / or verification of agent programming languages. The workshop will provide a forum for advanced PhD students and researchers in these areas to compare methodologies, exchange ideas and identify challenges in agent programming languages and writing reliable agent programs.

Deadline for submissions: 4 March 2009. For more information, see http://www.agents.cs.nott.ac.uk/events/lapl09/.

The UCLA Logic Center is organizing a summer school for undergraduates this July. The goal of the school is to introduce future mathematicians to methods and central results from mathematical logic. Courses are very intensive, designed to assume little if any prior experience with logic, yet reach highly advanced material within three weeks.

For more information, see http://www.math.ucla.edu/~ineeman/Summer-2009/

The main focus of ESSLLI is on the interface between linguistics, logic and computation. ESSLLI offers foundational, introductory and advanced courses, as well as workshops, covering a wide variety of topics within the three areas of interest: Language and Computation, Language and Logic, and Logic and Computation.

Previous summer schools have been highly successful, attracting up to 500 students from Europe and elsewhere. The school has developed into an important meeting place and forum for discussion for students and researchers interested in the interdisciplinary study of Logic, Language and Information. ESSLLI-2008 is organised under the auspices of the European Association for Logic, Language and Information (FoLLI).

For more information, see the website at http://esslli2009.labri.fr/.

Both computer science and the social sciences are interested in social concepts such as power, cooperation, responsibility, delegation, trust, reputation, convention, agreement, commitment, etc. The aim of this workshop is to study whether logical approaches developed in the multi-agent system (MAS) domain are adequate to express them in an accurate way. The workshop is intended to bring together logicians and social theorists in order to provide a better understanding of the potentialities and limitations of logical methods for the analysis of social reality. Its scope includes not only the technical aspects of logics for multi-agent systems, but also multidisciplinary aspects from social sciences (e.g. economics, sociology, social philosophy) and a critical analysis of the existing logical frameworks for the specification of social concepts. It is organized as part of ESSLLI'2009.

For more information, see http://www.irit.fr/~Andreas.Herzig/Esslli09

The aims of this summer school are 1) to teach and discuss recent philosophical and linguistic advances on our understanding of conditionals and 2) to promote discussions among the faculty and participants of issues involving conditionals from the perspectives of linguistics, philosophy of language, philosophical logic, cognitive psychology, and philosophy of science 3) to help establish a network of young researchers on issues in philosophy of language and philosophical logic.

Application deadline: 16 February 2009. For more information about the course, see http://www.sun.ceu.hu/conditionals. CEU Summer University web page: http://www.sun.ceu.hu/. Please address your inquiries to summeru at ceu.hu.

The 2009 ESSLLI Student Session will take place from July 20 to July 31 in Bordeaux, France, as part of the annual European Summer School in Logic, Language, and Information. We hereby invite paper submissions from students in the areas of logic and computation, logic and language, and language and computation for presentation in the oral session or in the poster session. All submissions will be reviewed by three experts in the field, and those selected for presentation will be published in the proceedings. The Student Session is an excellent venue to present work in progress, and also to gain experience presenting one's research to a wide audience. As in previous years, Springer is offering 500 Euro in textbooks for the best paper award, and 250 Euro in textbooks to each of two runners-up. The extended deadline for submission is February 14, 2009.

For more details, please see the full call for papers: http://www.stanford.edu/~icard/esslli/call

The 17th International Conference on Conceptual Structures (ICCS 2009) is the latest in a series of annual conferences that have been held in Europe, Australia, and North America since 1993. The focus of the conference has been the representation and analysis of conceptual knowledge for research and practical application. ICCS brings together researchers and practioners in information and computer sciences as well as social science to explore novel ways that conceptual structures can be deployed.

Arising from the research on knowledge representation and reasoning with Conceptual Graphs, over the years ICCS has broadened its scope to include innovations from a wider range of theories and related practices. The 2009 ICCS's theme "leveraging semantic technologies" hints to the large overlap of the research fields of semantic technologies and conceptual structures, and emphasizes the goal of closer connecting these two areas in order to obtain a mutual benefit.

For more information, see http://www.iccs.info/

The workshop is part of ESSLLI in Bordeaux and is aimed at researchers who use logics in design and / or verification of agent programming languages. The workshop will provide a forum for advanced PhD students and researchers in these areas to compare methodologies, exchange ideas and identify challenges in agent programming languages and writing reliable agent programs.

Deadline for submissions: 4 March 2009. For more information, see http://www.agents.cs.nott.ac.uk/events/lapl09/.

CogSci 2009 is the annual meeting of the Cognitive Science Society for basic and applied cognitive science research. Scientists from across the world submit their best work and attend CogSci to hear the latest theories and data from the world's best cognitive science researchers. This year the conference will be in the Netherlands for the first time, in Amsterdam. Invited speakers this year are Nikola Clayton, Randall O'Reilly, Joshua Tenenbaum, and the winners of the Rumelhart prize for Cognitive Science, Susan Carey, and Heineken prize for Cognitive Science, Stanislas Dehaene.

More information about the conference can be found through the Cognitive Science Society website: http://cognitivesciencesociety.org/conference2009/.

The UCLA Logic Center is organizing a summer school for undergraduates this July. The goal of the school is to introduce future mathematicians to methods and central results from mathematical logic. Courses are very intensive, designed to assume little if any prior experience with logic, yet reach highly advanced material within three weeks.

For more information, see http://www.math.ucla.edu/~ineeman/Summer-2009/

The main focus of ESSLLI is on the interface between linguistics, logic and computation. ESSLLI offers foundational, introductory and advanced courses, as well as workshops, covering a wide variety of topics within the three areas of interest: Language and Computation, Language and Logic, and Logic and Computation.

Previous summer schools have been highly successful, attracting up to 500 students from Europe and elsewhere. The school has developed into an important meeting place and forum for discussion for students and researchers interested in the interdisciplinary study of Logic, Language and Information. ESSLLI-2008 is organised under the auspices of the European Association for Logic, Language and Information (FoLLI).

For more information, see the website at http://esslli2009.labri.fr/.

Both computer science and the social sciences are interested in social concepts such as power, cooperation, responsibility, delegation, trust, reputation, convention, agreement, commitment, etc. The aim of this workshop is to study whether logical approaches developed in the multi-agent system (MAS) domain are adequate to express them in an accurate way. The workshop is intended to bring together logicians and social theorists in order to provide a better understanding of the potentialities and limitations of logical methods for the analysis of social reality. Its scope includes not only the technical aspects of logics for multi-agent systems, but also multidisciplinary aspects from social sciences (e.g. economics, sociology, social philosophy) and a critical analysis of the existing logical frameworks for the specification of social concepts. It is organized as part of ESSLLI'2009.

For more information, see http://www.irit.fr/~Andreas.Herzig/Esslli09

The aims of this summer school are 1) to teach and discuss recent philosophical and linguistic advances on our understanding of conditionals and 2) to promote discussions among the faculty and participants of issues involving conditionals from the perspectives of linguistics, philosophy of language, philosophical logic, cognitive psychology, and philosophy of science 3) to help establish a network of young researchers on issues in philosophy of language and philosophical logic.

Application deadline: 16 February 2009. For more information about the course, see http://www.sun.ceu.hu/conditionals. CEU Summer University web page: http://www.sun.ceu.hu/. Please address your inquiries to summeru at ceu.hu.

The 2009 ESSLLI Student Session will take place from July 20 to July 31 in Bordeaux, France, as part of the annual European Summer School in Logic, Language, and Information. We hereby invite paper submissions from students in the areas of logic and computation, logic and language, and language and computation for presentation in the oral session or in the poster session. All submissions will be reviewed by three experts in the field, and those selected for presentation will be published in the proceedings. The Student Session is an excellent venue to present work in progress, and also to gain experience presenting one's research to a wide audience. As in previous years, Springer is offering 500 Euro in textbooks for the best paper award, and 250 Euro in textbooks to each of two runners-up. The extended deadline for submission is February 14, 2009.

For more details, please see the full call for papers: http://www.stanford.edu/~icard/esslli/call

The 17th International Conference on Conceptual Structures (ICCS 2009) is the latest in a series of annual conferences that have been held in Europe, Australia, and North America since 1993. The focus of the conference has been the representation and analysis of conceptual knowledge for research and practical application. ICCS brings together researchers and practioners in information and computer sciences as well as social science to explore novel ways that conceptual structures can be deployed.

Arising from the research on knowledge representation and reasoning with Conceptual Graphs, over the years ICCS has broadened its scope to include innovations from a wider range of theories and related practices. The 2009 ICCS's theme "leveraging semantic technologies" hints to the large overlap of the research fields of semantic technologies and conceptual structures, and emphasizes the goal of closer connecting these two areas in order to obtain a mutual benefit.

For more information, see http://www.iccs.info/

The workshop is part of ESSLLI in Bordeaux and is aimed at researchers who use logics in design and / or verification of agent programming languages. The workshop will provide a forum for advanced PhD students and researchers in these areas to compare methodologies, exchange ideas and identify challenges in agent programming languages and writing reliable agent programs.

Deadline for submissions: 4 March 2009. For more information, see http://www.agents.cs.nott.ac.uk/events/lapl09/.

CogSci 2009 is the annual meeting of the Cognitive Science Society for basic and applied cognitive science research. Scientists from across the world submit their best work and attend CogSci to hear the latest theories and data from the world's best cognitive science researchers. This year the conference will be in the Netherlands for the first time, in Amsterdam. Invited speakers this year are Nikola Clayton, Randall O'Reilly, Joshua Tenenbaum, and the winners of the Rumelhart prize for Cognitive Science, Susan Carey, and Heineken prize for Cognitive Science, Stanislas Dehaene.

More information about the conference can be found through the Cognitive Science Society website: http://cognitivesciencesociety.org/conference2009/.

Next October (21--22) a workshop in the philosophy of mathematics will be held at the University of Nancy 2. This is envisioned as the first in a continuing, annual series of workshops organized by a team of scholars from Paris, Nancy and elsewhere in France. The two day meeting will feature both invited and contributed talks. Deadline for the submission: July 31.

For more information, see http://poincare.univ-nancy2.fr/Activites/?contentId=6242&languageId=1

The IADIS (International Association for Development of the Information Society) Applied Computing 2009 conference aims to address the main issues of concern within the applied computing area and related fields. This conference covers essentially technical aspects. The applied computing field is divided into more detailed areas (see below). However innovative contributes that don't fit into these areas will also be considered since they might be of benefit to conference attendees.

For more information, see: http://www.computing-conf.org/.

WWW and Internet had a huge development in recent years. Aspects of concern are no longer just technical anymore but other aspects have arisen. This conference, organized by IADIS (the International Association for Development of the Information Society) aims to cover both technological as well as non-technological issues related to these developments.

For more information, see: http://www.internet-conf.org/.

The UCLA Logic Center is organizing a summer school for undergraduates this July. The goal of the school is to introduce future mathematicians to methods and central results from mathematical logic. Courses are very intensive, designed to assume little if any prior experience with logic, yet reach highly advanced material within three weeks.

For more information, see http://www.math.ucla.edu/~ineeman/Summer-2009/

The main focus of ESSLLI is on the interface between linguistics, logic and computation. ESSLLI offers foundational, introductory and advanced courses, as well as workshops, covering a wide variety of topics within the three areas of interest: Language and Computation, Language and Logic, and Logic and Computation.

Previous summer schools have been highly successful, attracting up to 500 students from Europe and elsewhere. The school has developed into an important meeting place and forum for discussion for students and researchers interested in the interdisciplinary study of Logic, Language and Information. ESSLLI-2008 is organised under the auspices of the European Association for Logic, Language and Information (FoLLI).

For more information, see the website at http://esslli2009.labri.fr/.

Both computer science and the social sciences are interested in social concepts such as power, cooperation, responsibility, delegation, trust, reputation, convention, agreement, commitment, etc. The aim of this workshop is to study whether logical approaches developed in the multi-agent system (MAS) domain are adequate to express them in an accurate way. The workshop is intended to bring together logicians and social theorists in order to provide a better understanding of the potentialities and limitations of logical methods for the analysis of social reality. Its scope includes not only the technical aspects of logics for multi-agent systems, but also multidisciplinary aspects from social sciences (e.g. economics, sociology, social philosophy) and a critical analysis of the existing logical frameworks for the specification of social concepts. It is organized as part of ESSLLI'2009.

For more information, see http://www.irit.fr/~Andreas.Herzig/Esslli09

The aims of this summer school are 1) to teach and discuss recent philosophical and linguistic advances on our understanding of conditionals and 2) to promote discussions among the faculty and participants of issues involving conditionals from the perspectives of linguistics, philosophy of language, philosophical logic, cognitive psychology, and philosophy of science 3) to help establish a network of young researchers on issues in philosophy of language and philosophical logic.

Application deadline: 16 February 2009. For more information about the course, see http://www.sun.ceu.hu/conditionals. CEU Summer University web page: http://www.sun.ceu.hu/. Please address your inquiries to summeru at ceu.hu.

The 2009 ESSLLI Student Session will take place from July 20 to July 31 in Bordeaux, France, as part of the annual European Summer School in Logic, Language, and Information. We hereby invite paper submissions from students in the areas of logic and computation, logic and language, and language and computation for presentation in the oral session or in the poster session. All submissions will be reviewed by three experts in the field, and those selected for presentation will be published in the proceedings. The Student Session is an excellent venue to present work in progress, and also to gain experience presenting one's research to a wide audience. As in previous years, Springer is offering 500 Euro in textbooks for the best paper award, and 250 Euro in textbooks to each of two runners-up. The extended deadline for submission is February 14, 2009.

For more details, please see the full call for papers: http://www.stanford.edu/~icard/esslli/call

The 17th International Conference on Conceptual Structures (ICCS 2009) is the latest in a series of annual conferences that have been held in Europe, Australia, and North America since 1993. The focus of the conference has been the representation and analysis of conceptual knowledge for research and practical application. ICCS brings together researchers and practioners in information and computer sciences as well as social science to explore novel ways that conceptual structures can be deployed.

Arising from the research on knowledge representation and reasoning with Conceptual Graphs, over the years ICCS has broadened its scope to include innovations from a wider range of theories and related practices. The 2009 ICCS's theme "leveraging semantic technologies" hints to the large overlap of the research fields of semantic technologies and conceptual structures, and emphasizes the goal of closer connecting these two areas in order to obtain a mutual benefit.

For more information, see http://www.iccs.info/

The workshop is part of ESSLLI in Bordeaux and is aimed at researchers who use logics in design and / or verification of agent programming languages. The workshop will provide a forum for advanced PhD students and researchers in these areas to compare methodologies, exchange ideas and identify challenges in agent programming languages and writing reliable agent programs.

Deadline for submissions: 4 March 2009. For more information, see http://www.agents.cs.nott.ac.uk/events/lapl09/.

CogSci 2009 is the annual meeting of the Cognitive Science Society for basic and applied cognitive science research. Scientists from across the world submit their best work and attend CogSci to hear the latest theories and data from the world's best cognitive science researchers. This year the conference will be in the Netherlands for the first time, in Amsterdam. Invited speakers this year are Nikola Clayton, Randall O'Reilly, Joshua Tenenbaum, and the winners of the Rumelhart prize for Cognitive Science, Susan Carey, and Heineken prize for Cognitive Science, Stanislas Dehaene.

More information about the conference can be found through the Cognitive Science Society website: http://cognitivesciencesociety.org/conference2009/.

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 Bern (2008) and Wroclaw (2007).

For more information, see http://lc2009.fmi.uni-sofia.bg/