The purpose of this conference is to initiate an investigation into how current research on computer games touches upon philosophical issues. In line with this purpose, the conference is interdisciplinary, drawing together researchers from diverse fields such as: philosophy, computer game-theory, semiotics, aesthetics, sociology, psychology, and anthropology.

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

The conference, part of the annual conference series "LANGUAGE, UNDERSTANDING, INTERPRETATION", is held in memory of Imre Ruzsa (1921-2008), the father of modern philosophical logic in Hungary. His professional interests centered around modal logic, intensional logic, modeling natural language in systems of intensional logic, and the foundations of logic and mathematics. He always thought of his generalization of A. N. Prior's concept of semantic value gaps to quantified, intensional and type-theoretic systems as his most important contribution to logic.

For more information, see http://phil.elte.hu/ruzsaconf/ or contact Prof. Dr. Andras Mate at mate at ludens.elte.hu.

Logic and probability theory are often studied in conjunction to decision making, and for good reason: we want our reasoning to be rational because the reasoning precedes and controls for actions. But the models for rationality in reasoning have seen major changes and additions in recent years: logicians have taken a dynamic turn, and probabilists have discovered network tools and new representations of uncertainty. In this workshop we address the question how these developments in modelling rationality carry over to the science of decision making.

Invited speakers include Johan van Benthem, Luc Bovens, Richard Bradley, Igor Douven, Stephan Hartmann, Jim Joyce, Christian List, Clemens Puppe, Wlodek Rabinowicz, Teddy Seidenfeld, and Jon Williamson.

For more information, see http://www.philos.rug.nl/progic2009/.

A GAMES spring school will take place in the Centro Residenziale Universitario in Bertinoro (near Bologna), Italy, organised by the ESF Research Networking Programme Games for Design and Verification. The school is addressed to Ph.D. students and young researchers with a background in computer science or mathematics who are interested in the field of game theory and its applications to logic, verification and automata theory.

The number of participants will be limited to 70. If you want to participate, please apply before February 28, 2009. For more information, see http://www.games.rwth-aachen.de/Activities/bertinoro.html

One of the major long-term goals of AI is to endow computers with common sense. Although we know how to build programs that excel at certain bounded or mechanical tasks which humans find difficult, such as playing chess, we have very little idea how to program computers to do well at commonsense tasks which are easy for humans. One approach to this problem is to formalize commonsense reasoning using mathematical logic.

The symposium aims to bring together researchers who have studied the formalization of commonsense reasoning. The focus of the symposium is on representation rather than on algorithms, and on formal rather than informal methods.

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

A GAMES spring school will take place in the Centro Residenziale Universitario in Bertinoro (near Bologna), Italy, organised by the ESF Research Networking Programme Games for Design and Verification. The school is addressed to Ph.D. students and young researchers with a background in computer science or mathematics who are interested in the field of game theory and its applications to logic, verification and automata theory.

The number of participants will be limited to 70. If you want to participate, please apply before February 28, 2009. For more information, see http://www.games.rwth-aachen.de/Activities/bertinoro.html

One of the major long-term goals of AI is to endow computers with common sense. Although we know how to build programs that excel at certain bounded or mechanical tasks which humans find difficult, such as playing chess, we have very little idea how to program computers to do well at commonsense tasks which are easy for humans. One approach to this problem is to formalize commonsense reasoning using mathematical logic.

The symposium aims to bring together researchers who have studied the formalization of commonsense reasoning. The focus of the symposium is on representation rather than on algorithms, and on formal rather than informal methods.

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

A GAMES spring school will take place in the Centro Residenziale Universitario in Bertinoro (near Bologna), Italy, organised by the ESF Research Networking Programme Games for Design and Verification. The school is addressed to Ph.D. students and young researchers with a background in computer science or mathematics who are interested in the field of game theory and its applications to logic, verification and automata theory.

The number of participants will be limited to 70. If you want to participate, please apply before February 28, 2009. For more information, see http://www.games.rwth-aachen.de/Activities/bertinoro.html

One of the major long-term goals of AI is to endow computers with common sense. Although we know how to build programs that excel at certain bounded or mechanical tasks which humans find difficult, such as playing chess, we have very little idea how to program computers to do well at commonsense tasks which are easy for humans. One approach to this problem is to formalize commonsense reasoning using mathematical logic.

The symposium aims to bring together researchers who have studied the formalization of commonsense reasoning. The focus of the symposium is on representation rather than on algorithms, and on formal rather than informal methods.

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

A GAMES spring school will take place in the Centro Residenziale Universitario in Bertinoro (near Bologna), Italy, organised by the ESF Research Networking Programme Games for Design and Verification. The school is addressed to Ph.D. students and young researchers with a background in computer science or mathematics who are interested in the field of game theory and its applications to logic, verification and automata theory.

The number of participants will be limited to 70. If you want to participate, please apply before February 28, 2009. For more information, see http://www.games.rwth-aachen.de/Activities/bertinoro.html

The analysis of metaphor in different modalities, not just in written texts, elucidates the vital ties between metaphor and metonymy in meaning-making. This workshop therefore integrates these three topics for its theme. The multiple forms of expression to be considered include written words, spoken language, the pictorial mode (still and moving images), sound, and the gestural mode. Attention will be focused on the multimodal use of metaphor and metonymy in TV advertising, film, comics, animation, naturalistic spoken discourse, experimental settings, and foreign language teaching.

The workshop will feature a combination of plenary lectures, introducing basic concepts, and hands-on workshops, in which the plenary speakers will guide participants in the analysis of materials. There will be two plenaries on the analysis of images and two on gestures, and three workshops on each of the modes of images and gestures. The same hands-on workshops will run on both days so that participants may take part in two out of the three on each topic. There will also be time allotted for a poster session by participants who wish to present their own research on multimodal metaphor and/or metonymy.

Deadline for registration is March 15, 2009. For more information, see http://www.raam.org.uk/

A GAMES spring school will take place in the Centro Residenziale Universitario in Bertinoro (near Bologna), Italy, organised by the ESF Research Networking Programme Games for Design and Verification. The school is addressed to Ph.D. students and young researchers with a background in computer science or mathematics who are interested in the field of game theory and its applications to logic, verification and automata theory.

The number of participants will be limited to 70. If you want to participate, please apply before February 28, 2009. For more information, see http://www.games.rwth-aachen.de/Activities/bertinoro.html

The analysis of metaphor in different modalities, not just in written texts, elucidates the vital ties between metaphor and metonymy in meaning-making. This workshop therefore integrates these three topics for its theme. The multiple forms of expression to be considered include written words, spoken language, the pictorial mode (still and moving images), sound, and the gestural mode. Attention will be focused on the multimodal use of metaphor and metonymy in TV advertising, film, comics, animation, naturalistic spoken discourse, experimental settings, and foreign language teaching.

The workshop will feature a combination of plenary lectures, introducing basic concepts, and hands-on workshops, in which the plenary speakers will guide participants in the analysis of materials. There will be two plenaries on the analysis of images and two on gestures, and three workshops on each of the modes of images and gestures. The same hands-on workshops will run on both days so that participants may take part in two out of the three on each topic. There will also be time allotted for a poster session by participants who wish to present their own research on multimodal metaphor and/or metonymy.

Deadline for registration is March 15, 2009. For more information, see http://www.raam.org.uk/

The thirteenth annual meeting of the Association for the Scientific Study of Consciousness will be held from June 5th to June 8th, 2009, at the Berlin School of Mind and Brain. Hosted by the renowned Humboldt-University, the Berlin School of Mind and Brain is an international graduate research school on the interface of humanities and behavioral sciences with neurosciences. ASSC XIII is intended to promote interdisciplinary dialogue in the scientific study of consciousness. ASSC members as well as non-members are encouraged to submit contributions that address current empirical and theoretical issues in the study of consciousness, from the perspectives of philosophy, neuroscience, psychology, computer science, and cognitive ethology. ASSC XIII will provide an excellent opportunity for the presentation of new empirical findings or novel theoretical perspectives in an atmosphere that will promote discussion and debate.

For more information, see http://www.assc13.com/

In recent years, multi-agent systems have come to form one of the key technologies for software development. Part of MALLOW 2009, the fourth edition of the FAMAS workshop series aims at bringing together researchers from the fields of logic, theoretical computer science and multi-agent systems in order to discuss formal techniques for specifying and verifying multi-agent systems.

For more information, see http://www.mimuw.edu.pl/MAS/FAMAS2009/

A GAMES spring school will take place in the Centro Residenziale Universitario in Bertinoro (near Bologna), Italy, organised by the ESF Research Networking Programme Games for Design and Verification. The school is addressed to Ph.D. students and young researchers with a background in computer science or mathematics who are interested in the field of game theory and its applications to logic, verification and automata theory.

The number of participants will be limited to 70. If you want to participate, please apply before February 28, 2009. For more information, see http://www.games.rwth-aachen.de/Activities/bertinoro.html

The thirteenth annual meeting of the Association for the Scientific Study of Consciousness will be held from June 5th to June 8th, 2009, at the Berlin School of Mind and Brain. Hosted by the renowned Humboldt-University, the Berlin School of Mind and Brain is an international graduate research school on the interface of humanities and behavioral sciences with neurosciences. ASSC XIII is intended to promote interdisciplinary dialogue in the scientific study of consciousness. ASSC members as well as non-members are encouraged to submit contributions that address current empirical and theoretical issues in the study of consciousness, from the perspectives of philosophy, neuroscience, psychology, computer science, and cognitive ethology. ASSC XIII will provide an excellent opportunity for the presentation of new empirical findings or novel theoretical perspectives in an atmosphere that will promote discussion and debate.

For more information, see http://www.assc13.com/

The thirteenth annual meeting of the Association for the Scientific Study of Consciousness will be held from June 5th to June 8th, 2009, at the Berlin School of Mind and Brain. Hosted by the renowned Humboldt-University, the Berlin School of Mind and Brain is an international graduate research school on the interface of humanities and behavioral sciences with neurosciences. ASSC XIII is intended to promote interdisciplinary dialogue in the scientific study of consciousness. ASSC members as well as non-members are encouraged to submit contributions that address current empirical and theoretical issues in the study of consciousness, from the perspectives of philosophy, neuroscience, psychology, computer science, and cognitive ethology. ASSC XIII will provide an excellent opportunity for the presentation of new empirical findings or novel theoretical perspectives in an atmosphere that will promote discussion and debate.

For more information, see http://www.assc13.com/

The thirteenth annual meeting of the Association for the Scientific Study of Consciousness will be held from June 5th to June 8th, 2009, at the Berlin School of Mind and Brain. Hosted by the renowned Humboldt-University, the Berlin School of Mind and Brain is an international graduate research school on the interface of humanities and behavioral sciences with neurosciences. ASSC XIII is intended to promote interdisciplinary dialogue in the scientific study of consciousness. ASSC members as well as non-members are encouraged to submit contributions that address current empirical and theoretical issues in the study of consciousness, from the perspectives of philosophy, neuroscience, psychology, computer science, and cognitive ethology. ASSC XIII will provide an excellent opportunity for the presentation of new empirical findings or novel theoretical perspectives in an atmosphere that will promote discussion and debate.

For more information, see http://www.assc13.com/

Controlled natural languages (CNLs) are subsets of natural languages, obtained by restricting the grammar and vocabulary in order to reduce or eliminate ambiguity and complexity. This workshop is dedicated to discussing the similarities and differences of existing controlled natural languages of the second type (those that enable reliable automatic semantic analysis of the language), possible improvements to these languages, relations to other knowledge representation languages, tool support, existing and future applications, and further topics of interest.

For more information, see http://attempto.ifi.uzh.ch/site/cnl2009/

In the summer of 2009, the Department of Philosophy at Carnegie Mellon University will hold a three-week summer school in logic and formal epistemology for promising undergraduates in philosophy, mathematics, computer science, linguistics, and other sciences. The goals are to introduce students to cross-disciplinary fields of research at an early stage in their career, forge lasting links between the various disciplines.

The summer school will be held from Monday, June 8 to Friday, June 26, 2009. There will be morning and afternoon lectures and daily problem sessions, as well as planned outings and social events. This year's topics are: Categories and Structures, Decisions and Games, and Logic and Formal Verification.

Instructions for applying can be found on the summer school web page, http://www.phil.cmu.edu/summerschool Materials must be received by the Philosophy Department by March 15, 2009. Inquiries may be directed to Jeremy Avigad (avigad at cmu.edu).

Controlled natural languages (CNLs) are subsets of natural languages, obtained by restricting the grammar and vocabulary in order to reduce or eliminate ambiguity and complexity. This workshop is dedicated to discussing the similarities and differences of existing controlled natural languages of the second type (those that enable reliable automatic semantic analysis of the language), possible improvements to these languages, relations to other knowledge representation languages, tool support, existing and future applications, and further topics of interest.

For more information, see http://attempto.ifi.uzh.ch/site/cnl2009/

In the summer of 2009, the Department of Philosophy at Carnegie Mellon University will hold a three-week summer school in logic and formal epistemology for promising undergraduates in philosophy, mathematics, computer science, linguistics, and other sciences. The goals are to introduce students to cross-disciplinary fields of research at an early stage in their career, forge lasting links between the various disciplines.

The summer school will be held from Monday, June 8 to Friday, June 26, 2009. There will be morning and afternoon lectures and daily problem sessions, as well as planned outings and social events. This year's topics are: Categories and Structures, Decisions and Games, and Logic and Formal Verification.

Instructions for applying can be found on the summer school web page, http://www.phil.cmu.edu/summerschool Materials must be received by the Philosophy Department by March 15, 2009. Inquiries may be directed to Jeremy Avigad (avigad at cmu.edu).

The conference is dedicated to exploring new ideas on what has been and remains a fundamental theme in the philosophy of language, namely, the relation between meaning and truth. We invite papers from young researchers who have an original contribution to make regarding the role of truth in a theory of meaning, the role of meaning in a theory of truth, or even the question of whether meaning and truth are actually related in an interesting way.

The conference is motivated by the ongoing debates and discussions that pose new challenges on how to conceive of meaning and of truth, and the relation between them. Some areas of interest here include: truth-functional vs. proof-theoretic semantics; semantic theories of truth; the role of context in interpretation; semantic normativity; deflationism; meaning as use; inferentialism; compositionality; vagueness; the semantics-pragmatics interface; language evolution.

The program committee invites submissions in the form of short papers (not longer than 4000 words) accompanied by short abstracts (not longer than 500 words). The deadline for submission is June 10 and it should follow the on-line submission form, available on the conference website. Candidates eligible for submission are graduate students and those who have completed a doctoral dissertation within the last three years.

For more information, please visit the conference website at https://www.illc.uva.nl/agpc/agpc09/, or contact agpc at uva.nl

Controlled natural languages (CNLs) are subsets of natural languages, obtained by restricting the grammar and vocabulary in order to reduce or eliminate ambiguity and complexity. This workshop is dedicated to discussing the similarities and differences of existing controlled natural languages of the second type (those that enable reliable automatic semantic analysis of the language), possible improvements to these languages, relations to other knowledge representation languages, tool support, existing and future applications, and further topics of interest.

For more information, see http://attempto.ifi.uzh.ch/site/cnl2009/

In the summer of 2009, the Department of Philosophy at Carnegie Mellon University will hold a three-week summer school in logic and formal epistemology for promising undergraduates in philosophy, mathematics, computer science, linguistics, and other sciences. The goals are to introduce students to cross-disciplinary fields of research at an early stage in their career, forge lasting links between the various disciplines.

The summer school will be held from Monday, June 8 to Friday, June 26, 2009. There will be morning and afternoon lectures and daily problem sessions, as well as planned outings and social events. This year's topics are: Categories and Structures, Decisions and Games, and Logic and Formal Verification.

Instructions for applying can be found on the summer school web page, http://www.phil.cmu.edu/summerschool Materials must be received by the Philosophy Department by March 15, 2009. Inquiries may be directed to Jeremy Avigad (avigad at cmu.edu).

In the summer of 2009, the Department of Philosophy at Carnegie Mellon University will hold a three-week summer school in logic and formal epistemology for promising undergraduates in philosophy, mathematics, computer science, linguistics, and other sciences. The goals are to introduce students to cross-disciplinary fields of research at an early stage in their career, forge lasting links between the various disciplines.

The summer school will be held from Monday, June 8 to Friday, June 26, 2009. There will be morning and afternoon lectures and daily problem sessions, as well as planned outings and social events. This year's topics are: Categories and Structures, Decisions and Games, and Logic and Formal Verification.

Instructions for applying can be found on the summer school web page, http://www.phil.cmu.edu/summerschool Materials must be received by the Philosophy Department by March 15, 2009. Inquiries may be directed to Jeremy Avigad (avigad at cmu.edu).

The 5th International Symposium on Domain Theory (ISDT2009) will be held in September 12-14, 2009, Software Engineering Institute, East China Normal University, Shanghai, People’s Republic of China.

International Symposium on Domain Theory (ISDT) is a series of conference held in the mainland of China. It aims at providing a forum for researchers in domain theory and its applications. Each meeting includes invited talks and contributed papers. The previous four ISDT events were held in Shanghai (1999), Chengdu (2001), Xi'an (2004) and Changsha (2006).

For more information, see http://sites.sei.ecnu.edu.cn/isdt2009/Conferences/~isdt2009/.

In the summer of 2009, the Department of Philosophy at Carnegie Mellon University will hold a three-week summer school in logic and formal epistemology for promising undergraduates in philosophy, mathematics, computer science, linguistics, and other sciences. The goals are to introduce students to cross-disciplinary fields of research at an early stage in their career, forge lasting links between the various disciplines.

The summer school will be held from Monday, June 8 to Friday, June 26, 2009. There will be morning and afternoon lectures and daily problem sessions, as well as planned outings and social events. This year's topics are: Categories and Structures, Decisions and Games, and Logic and Formal Verification.

Instructions for applying can be found on the summer school web page, http://www.phil.cmu.edu/summerschool Materials must be received by the Philosophy Department by March 15, 2009. Inquiries may be directed to Jeremy Avigad (avigad at cmu.edu).

In the summer of 2009, the Department of Philosophy at Carnegie Mellon University will hold a three-week summer school in logic and formal epistemology for promising undergraduates in philosophy, mathematics, computer science, linguistics, and other sciences. The goals are to introduce students to cross-disciplinary fields of research at an early stage in their career, forge lasting links between the various disciplines.

The summer school will be held from Monday, June 8 to Friday, June 26, 2009. There will be morning and afternoon lectures and daily problem sessions, as well as planned outings and social events. This year's topics are: Categories and Structures, Decisions and Games, and Logic and Formal Verification.

Instructions for applying can be found on the summer school web page, http://www.phil.cmu.edu/summerschool Materials must be received by the Philosophy Department by March 15, 2009. Inquiries may be directed to Jeremy Avigad (avigad at cmu.edu).

In the summer of 2009, the Department of Philosophy at Carnegie Mellon University will hold a three-week summer school in logic and formal epistemology for promising undergraduates in philosophy, mathematics, computer science, linguistics, and other sciences. The goals are to introduce students to cross-disciplinary fields of research at an early stage in their career, forge lasting links between the various disciplines.

The summer school will be held from Monday, June 8 to Friday, June 26, 2009. There will be morning and afternoon lectures and daily problem sessions, as well as planned outings and social events. This year's topics are: Categories and Structures, Decisions and Games, and Logic and Formal Verification.

Instructions for applying can be found on the summer school web page, http://www.phil.cmu.edu/summerschool Materials must be received by the Philosophy Department by March 15, 2009. Inquiries may be directed to Jeremy Avigad (avigad at cmu.edu).

Set theory has recently experienced major new developments concerning the construction of models for large cardinals, combinatorial set theory, descriptive set theory, generalisations of Martin's axiom, strong absoluteness and the theory of forcing.

Particularly encouraging is the fact that many unusually talented young people have recently entered the subject, who have established remarkable results concerning the Proper Forcing Axiom and its variants, the Singular Cardinal Hypothesis, subtle properties of stationary sets, and important aspects of applied set theory, including topological dynamics, Borel equivalence relations and metric geometry.

Our two-week workshop, which will be open to the set theory community at large, will focus around two principal themes: Large Cardinals and Descriptive Set Theory. The workshop is organized by the Erwin Schrödinger Institute (ESI) and financed by the ESI and Austrian Science Fund (FWF).

For more information, see http://www.logic.univie.ac.at/conferences/2009_esi/

In the summer of 2009, the Department of Philosophy at Carnegie Mellon University will hold a three-week summer school in logic and formal epistemology for promising undergraduates in philosophy, mathematics, computer science, linguistics, and other sciences. The goals are to introduce students to cross-disciplinary fields of research at an early stage in their career, forge lasting links between the various disciplines.

The summer school will be held from Monday, June 8 to Friday, June 26, 2009. There will be morning and afternoon lectures and daily problem sessions, as well as planned outings and social events. This year's topics are: Categories and Structures, Decisions and Games, and Logic and Formal Verification.

Instructions for applying can be found on the summer school web page, http://www.phil.cmu.edu/summerschool Materials must be received by the Philosophy Department by March 15, 2009. Inquiries may be directed to Jeremy Avigad (avigad at cmu.edu).

Set theory has recently experienced major new developments concerning the construction of models for large cardinals, combinatorial set theory, descriptive set theory, generalisations of Martin's axiom, strong absoluteness and the theory of forcing.

Particularly encouraging is the fact that many unusually talented young people have recently entered the subject, who have established remarkable results concerning the Proper Forcing Axiom and its variants, the Singular Cardinal Hypothesis, subtle properties of stationary sets, and important aspects of applied set theory, including topological dynamics, Borel equivalence relations and metric geometry.

Our two-week workshop, which will be open to the set theory community at large, will focus around two principal themes: Large Cardinals and Descriptive Set Theory. The workshop is organized by the Erwin Schrödinger Institute (ESI) and financed by the ESI and Austrian Science Fund (FWF).

For more information, see http://www.logic.univie.ac.at/conferences/2009_esi/

Formal approaches to rational individual and interactive decision making is a dynamic and interdisciplinary field of research. The workshop series in Decisions, Games & Logic (DGL) started in 2007 and aims at fostering interactions between graduate students, post-docs and senior researchers from economics, logic and philosophy.

Each DGL features three tutorials, one on decision theory, one on game theory and one on logic, given by leading researchers, as well as presentation and poster sessions by young researchers. The third edition of the DGL has also the pleasure to feature a discussion panel on rationality.

For more information, see the website at http://meansandends.com/DGL09/ or email christianwoldemar.bach at unil.ch.

In the summer of 2009, the Department of Philosophy at Carnegie Mellon University will hold a three-week summer school in logic and formal epistemology for promising undergraduates in philosophy, mathematics, computer science, linguistics, and other sciences. The goals are to introduce students to cross-disciplinary fields of research at an early stage in their career, forge lasting links between the various disciplines.

The summer school will be held from Monday, June 8 to Friday, June 26, 2009. There will be morning and afternoon lectures and daily problem sessions, as well as planned outings and social events. This year's topics are: Categories and Structures, Decisions and Games, and Logic and Formal Verification.

Instructions for applying can be found on the summer school web page, http://www.phil.cmu.edu/summerschool Materials must be received by the Philosophy Department by March 15, 2009. Inquiries may be directed to Jeremy Avigad (avigad at cmu.edu).

Set theory has recently experienced major new developments concerning the construction of models for large cardinals, combinatorial set theory, descriptive set theory, generalisations of Martin's axiom, strong absoluteness and the theory of forcing.

Particularly encouraging is the fact that many unusually talented young people have recently entered the subject, who have established remarkable results concerning the Proper Forcing Axiom and its variants, the Singular Cardinal Hypothesis, subtle properties of stationary sets, and important aspects of applied set theory, including topological dynamics, Borel equivalence relations and metric geometry.

Our two-week workshop, which will be open to the set theory community at large, will focus around two principal themes: Large Cardinals and Descriptive Set Theory. The workshop is organized by the Erwin Schrödinger Institute (ESI) and financed by the ESI and Austrian Science Fund (FWF).

For more information, see http://www.logic.univie.ac.at/conferences/2009_esi/

Formal approaches to rational individual and interactive decision making is a dynamic and interdisciplinary field of research. The workshop series in Decisions, Games & Logic (DGL) started in 2007 and aims at fostering interactions between graduate students, post-docs and senior researchers from economics, logic and philosophy.

Each DGL features three tutorials, one on decision theory, one on game theory and one on logic, given by leading researchers, as well as presentation and poster sessions by young researchers. The third edition of the DGL has also the pleasure to feature a discussion panel on rationality.

For more information, see the website at http://meansandends.com/DGL09/ or email christianwoldemar.bach at unil.ch.

In the summer of 2009, the Department of Philosophy at Carnegie Mellon University will hold a three-week summer school in logic and formal epistemology for promising undergraduates in philosophy, mathematics, computer science, linguistics, and other sciences. The goals are to introduce students to cross-disciplinary fields of research at an early stage in their career, forge lasting links between the various disciplines.

The summer school will be held from Monday, June 8 to Friday, June 26, 2009. There will be morning and afternoon lectures and daily problem sessions, as well as planned outings and social events. This year's topics are: Categories and Structures, Decisions and Games, and Logic and Formal Verification.

Instructions for applying can be found on the summer school web page, http://www.phil.cmu.edu/summerschool Materials must be received by the Philosophy Department by March 15, 2009. Inquiries may be directed to Jeremy Avigad (avigad at cmu.edu).

Set theory has recently experienced major new developments concerning the construction of models for large cardinals, combinatorial set theory, descriptive set theory, generalisations of Martin's axiom, strong absoluteness and the theory of forcing.

Particularly encouraging is the fact that many unusually talented young people have recently entered the subject, who have established remarkable results concerning the Proper Forcing Axiom and its variants, the Singular Cardinal Hypothesis, subtle properties of stationary sets, and important aspects of applied set theory, including topological dynamics, Borel equivalence relations and metric geometry.

Our two-week workshop, which will be open to the set theory community at large, will focus around two principal themes: Large Cardinals and Descriptive Set Theory. The workshop is organized by the Erwin Schrödinger Institute (ESI) and financed by the ESI and Austrian Science Fund (FWF).

For more information, see http://www.logic.univie.ac.at/conferences/2009_esi/

Formal approaches to rational individual and interactive decision making is a dynamic and interdisciplinary field of research. The workshop series in Decisions, Games & Logic (DGL) started in 2007 and aims at fostering interactions between graduate students, post-docs and senior researchers from economics, logic and philosophy.

Each DGL features three tutorials, one on decision theory, one on game theory and one on logic, given by leading researchers, as well as presentation and poster sessions by young researchers. The third edition of the DGL has also the pleasure to feature a discussion panel on rationality.

For more information, see the website at http://meansandends.com/DGL09/ or email christianwoldemar.bach at unil.ch.

The fast growth of digital material is challenging for research in many disciplines. The EU has funded many projects to advance research in this field and facilitate end-user access to cultural and scientific heritage. The ENRICH, Europeana, CACAO, GAMA, NEEO and TELplus projects, funded by the eContentplus programme, have joined forces to organise a workshop as a satellite event of ICSD 2009 (http://www.icsd-conference.org/).

The workshop aims to bring together stakeholders in order to present an overview of state-of-the-art systems in the field and identify open research problems that require further work.

For more information, see http://www.cacaoproject.eu/at4dl

In the summer of 2009, the Department of Philosophy at Carnegie Mellon University will hold a three-week summer school in logic and formal epistemology for promising undergraduates in philosophy, mathematics, computer science, linguistics, and other sciences. The goals are to introduce students to cross-disciplinary fields of research at an early stage in their career, forge lasting links between the various disciplines.

The summer school will be held from Monday, June 8 to Friday, June 26, 2009. There will be morning and afternoon lectures and daily problem sessions, as well as planned outings and social events. This year's topics are: Categories and Structures, Decisions and Games, and Logic and Formal Verification.

Instructions for applying can be found on the summer school web page, http://www.phil.cmu.edu/summerschool Materials must be received by the Philosophy Department by March 15, 2009. Inquiries may be directed to Jeremy Avigad (avigad at cmu.edu).

Set theory has recently experienced major new developments concerning the construction of models for large cardinals, combinatorial set theory, descriptive set theory, generalisations of Martin's axiom, strong absoluteness and the theory of forcing.

Particularly encouraging is the fact that many unusually talented young people have recently entered the subject, who have established remarkable results concerning the Proper Forcing Axiom and its variants, the Singular Cardinal Hypothesis, subtle properties of stationary sets, and important aspects of applied set theory, including topological dynamics, Borel equivalence relations and metric geometry.

Our two-week workshop, which will be open to the set theory community at large, will focus around two principal themes: Large Cardinals and Descriptive Set Theory. The workshop is organized by the Erwin Schrödinger Institute (ESI) and financed by the ESI and Austrian Science Fund (FWF).

For more information, see http://www.logic.univie.ac.at/conferences/2009_esi/

In the summer of 2009, the Department of Philosophy at Carnegie Mellon University will hold a three-week summer school in logic and formal epistemology for promising undergraduates in philosophy, mathematics, computer science, linguistics, and other sciences. The goals are to introduce students to cross-disciplinary fields of research at an early stage in their career, forge lasting links between the various disciplines.

The summer school will be held from Monday, June 8 to Friday, June 26, 2009. There will be morning and afternoon lectures and daily problem sessions, as well as planned outings and social events. This year's topics are: Categories and Structures, Decisions and Games, and Logic and Formal Verification.

Instructions for applying can be found on the summer school web page, http://www.phil.cmu.edu/summerschool Materials must be received by the Philosophy Department by March 15, 2009. Inquiries may be directed to Jeremy Avigad (avigad at cmu.edu).

Set theory has recently experienced major new developments concerning the construction of models for large cardinals, combinatorial set theory, descriptive set theory, generalisations of Martin's axiom, strong absoluteness and the theory of forcing.

Particularly encouraging is the fact that many unusually talented young people have recently entered the subject, who have established remarkable results concerning the Proper Forcing Axiom and its variants, the Singular Cardinal Hypothesis, subtle properties of stationary sets, and important aspects of applied set theory, including topological dynamics, Borel equivalence relations and metric geometry.

Our two-week workshop, which will be open to the set theory community at large, will focus around two principal themes: Large Cardinals and Descriptive Set Theory. The workshop is organized by the Erwin Schrödinger Institute (ESI) and financed by the ESI and Austrian Science Fund (FWF).

For more information, see http://www.logic.univie.ac.at/conferences/2009_esi/

In the summer of 2009, the Department of Philosophy at Carnegie Mellon University will hold a three-week summer school in logic and formal epistemology for promising undergraduates in philosophy, mathematics, computer science, linguistics, and other sciences. The goals are to introduce students to cross-disciplinary fields of research at an early stage in their career, forge lasting links between the various disciplines.

The summer school will be held from Monday, June 8 to Friday, June 26, 2009. There will be morning and afternoon lectures and daily problem sessions, as well as planned outings and social events. This year's topics are: Categories and Structures, Decisions and Games, and Logic and Formal Verification.

Instructions for applying can be found on the summer school web page, http://www.phil.cmu.edu/summerschool Materials must be received by the Philosophy Department by March 15, 2009. Inquiries may be directed to Jeremy Avigad (avigad at cmu.edu).

Set theory has recently experienced major new developments concerning the construction of models for large cardinals, combinatorial set theory, descriptive set theory, generalisations of Martin's axiom, strong absoluteness and the theory of forcing.

Particularly encouraging is the fact that many unusually talented young people have recently entered the subject, who have established remarkable results concerning the Proper Forcing Axiom and its variants, the Singular Cardinal Hypothesis, subtle properties of stationary sets, and important aspects of applied set theory, including topological dynamics, Borel equivalence relations and metric geometry.

Our two-week workshop, which will be open to the set theory community at large, will focus around two principal themes: Large Cardinals and Descriptive Set Theory. The workshop is organized by the Erwin Schrödinger Institute (ESI) and financed by the ESI and Austrian Science Fund (FWF).

For more information, see http://www.logic.univie.ac.at/conferences/2009_esi/

In the summer of 2009, the Department of Philosophy at Carnegie Mellon University will hold a three-week summer school in logic and formal epistemology for promising undergraduates in philosophy, mathematics, computer science, linguistics, and other sciences. The goals are to introduce students to cross-disciplinary fields of research at an early stage in their career, forge lasting links between the various disciplines.

The summer school will be held from Monday, June 8 to Friday, June 26, 2009. There will be morning and afternoon lectures and daily problem sessions, as well as planned outings and social events. This year's topics are: Categories and Structures, Decisions and Games, and Logic and Formal Verification.

Instructions for applying can be found on the summer school web page, http://www.phil.cmu.edu/summerschool Materials must be received by the Philosophy Department by March 15, 2009. Inquiries may be directed to Jeremy Avigad (avigad at cmu.edu).

Set theory has recently experienced major new developments concerning the construction of models for large cardinals, combinatorial set theory, descriptive set theory, generalisations of Martin's axiom, strong absoluteness and the theory of forcing.

Particularly encouraging is the fact that many unusually talented young people have recently entered the subject, who have established remarkable results concerning the Proper Forcing Axiom and its variants, the Singular Cardinal Hypothesis, subtle properties of stationary sets, and important aspects of applied set theory, including topological dynamics, Borel equivalence relations and metric geometry.

Our two-week workshop, which will be open to the set theory community at large, will focus around two principal themes: Large Cardinals and Descriptive Set Theory. The workshop is organized by the Erwin Schrödinger Institute (ESI) and financed by the ESI and Austrian Science Fund (FWF).

For more information, see http://www.logic.univie.ac.at/conferences/2009_esi/

WoLLIC is an annual international forum on inter-disciplinary research involving formal logic, computing and programming theory, and natural language and reasoning. Each meeting includes invited talks and tutorials as well as contributed papers. The Sixteenth WoLLIC will be held at the National Institute of Informatics in Tokyo, Japan, from June 21 to 24, 2009.

As 2009 will mark the 60-th anniversary of the publication of Paul Erdos' elementary proof of the Prime Number Theorem, WoLLIC will celebrate this by screening the documentary about Paul Erdos which was directed by George Csicsery "N is a number - A Portrait of Paul Erdos".

For more information, see http://wollic.org/wollic2009/.

In the summer of 2009, the Department of Philosophy at Carnegie Mellon University will hold a three-week summer school in logic and formal epistemology for promising undergraduates in philosophy, mathematics, computer science, linguistics, and other sciences. The goals are to introduce students to cross-disciplinary fields of research at an early stage in their career, forge lasting links between the various disciplines.

The summer school will be held from Monday, June 8 to Friday, June 26, 2009. There will be morning and afternoon lectures and daily problem sessions, as well as planned outings and social events. This year's topics are: Categories and Structures, Decisions and Games, and Logic and Formal Verification.

Instructions for applying can be found on the summer school web page, http://www.phil.cmu.edu/summerschool Materials must be received by the Philosophy Department by March 15, 2009. Inquiries may be directed to Jeremy Avigad (avigad at cmu.edu).

Set theory has recently experienced major new developments concerning the construction of models for large cardinals, combinatorial set theory, descriptive set theory, generalisations of Martin's axiom, strong absoluteness and the theory of forcing.

Particularly encouraging is the fact that many unusually talented young people have recently entered the subject, who have established remarkable results concerning the Proper Forcing Axiom and its variants, the Singular Cardinal Hypothesis, subtle properties of stationary sets, and important aspects of applied set theory, including topological dynamics, Borel equivalence relations and metric geometry.

Our two-week workshop, which will be open to the set theory community at large, will focus around two principal themes: Large Cardinals and Descriptive Set Theory. The workshop is organized by the Erwin Schrödinger Institute (ESI) and financed by the ESI and Austrian Science Fund (FWF).

For more information, see http://www.logic.univie.ac.at/conferences/2009_esi/

WoLLIC is an annual international forum on inter-disciplinary research involving formal logic, computing and programming theory, and natural language and reasoning. Each meeting includes invited talks and tutorials as well as contributed papers. The Sixteenth WoLLIC will be held at the National Institute of Informatics in Tokyo, Japan, from June 21 to 24, 2009.

As 2009 will mark the 60-th anniversary of the publication of Paul Erdos' elementary proof of the Prime Number Theorem, WoLLIC will celebrate this by screening the documentary about Paul Erdos which was directed by George Csicsery "N is a number - A Portrait of Paul Erdos".

For more information, see http://wollic.org/wollic2009/.

The Eleventh Asian Logic Conference will be held in Singapore from 22 to 27 June 2009. The Asian Logic Conference series is sponsored by the Association for Symbolic Logic, and the meetings are major international events in mathematical logic. The series features the latest scientific developments in the fields in mathematical logic and its applications, logic in computer science, and philosophical logic. It also aims to promote mathematical logic in the Asia-Pacific region and to bring logicians together both from within Asia and elsewhere to exchange information and ideas.

For more information, see http://www.ims.nus.edu.sg/Programs/09asianlogic/

In the summer of 2009, the Department of Philosophy at Carnegie Mellon University will hold a three-week summer school in logic and formal epistemology for promising undergraduates in philosophy, mathematics, computer science, linguistics, and other sciences. The goals are to introduce students to cross-disciplinary fields of research at an early stage in their career, forge lasting links between the various disciplines.

The summer school will be held from Monday, June 8 to Friday, June 26, 2009. There will be morning and afternoon lectures and daily problem sessions, as well as planned outings and social events. This year's topics are: Categories and Structures, Decisions and Games, and Logic and Formal Verification.

Instructions for applying can be found on the summer school web page, http://www.phil.cmu.edu/summerschool Materials must be received by the Philosophy Department by March 15, 2009. Inquiries may be directed to Jeremy Avigad (avigad at cmu.edu).

Set theory has recently experienced major new developments concerning the construction of models for large cardinals, combinatorial set theory, descriptive set theory, generalisations of Martin's axiom, strong absoluteness and the theory of forcing.

Particularly encouraging is the fact that many unusually talented young people have recently entered the subject, who have established remarkable results concerning the Proper Forcing Axiom and its variants, the Singular Cardinal Hypothesis, subtle properties of stationary sets, and important aspects of applied set theory, including topological dynamics, Borel equivalence relations and metric geometry.

Our two-week workshop, which will be open to the set theory community at large, will focus around two principal themes: Large Cardinals and Descriptive Set Theory. The workshop is organized by the Erwin Schrödinger Institute (ESI) and financed by the ESI and Austrian Science Fund (FWF).

For more information, see http://www.logic.univie.ac.at/conferences/2009_esi/

WoLLIC is an annual international forum on inter-disciplinary research involving formal logic, computing and programming theory, and natural language and reasoning. Each meeting includes invited talks and tutorials as well as contributed papers. The Sixteenth WoLLIC will be held at the National Institute of Informatics in Tokyo, Japan, from June 21 to 24, 2009.

As 2009 will mark the 60-th anniversary of the publication of Paul Erdos' elementary proof of the Prime Number Theorem, WoLLIC will celebrate this by screening the documentary about Paul Erdos which was directed by George Csicsery "N is a number - A Portrait of Paul Erdos".

For more information, see http://wollic.org/wollic2009/.

The Eleventh Asian Logic Conference will be held in Singapore from 22 to 27 June 2009. The Asian Logic Conference series is sponsored by the Association for Symbolic Logic, and the meetings are major international events in mathematical logic. The series features the latest scientific developments in the fields in mathematical logic and its applications, logic in computer science, and philosophical logic. It also aims to promote mathematical logic in the Asia-Pacific region and to bring logicians together both from within Asia and elsewhere to exchange information and ideas.

For more information, see http://www.ims.nus.edu.sg/Programs/09asianlogic/

In the summer of 2009, the Department of Philosophy at Carnegie Mellon University will hold a three-week summer school in logic and formal epistemology for promising undergraduates in philosophy, mathematics, computer science, linguistics, and other sciences. The goals are to introduce students to cross-disciplinary fields of research at an early stage in their career, forge lasting links between the various disciplines.

The summer school will be held from Monday, June 8 to Friday, June 26, 2009. There will be morning and afternoon lectures and daily problem sessions, as well as planned outings and social events. This year's topics are: Categories and Structures, Decisions and Games, and Logic and Formal Verification.

Instructions for applying can be found on the summer school web page, http://www.phil.cmu.edu/summerschool Materials must be received by the Philosophy Department by March 15, 2009. Inquiries may be directed to Jeremy Avigad (avigad at cmu.edu).

Set theory has recently experienced major new developments concerning the construction of models for large cardinals, combinatorial set theory, descriptive set theory, generalisations of Martin's axiom, strong absoluteness and the theory of forcing.

Particularly encouraging is the fact that many unusually talented young people have recently entered the subject, who have established remarkable results concerning the Proper Forcing Axiom and its variants, the Singular Cardinal Hypothesis, subtle properties of stationary sets, and important aspects of applied set theory, including topological dynamics, Borel equivalence relations and metric geometry.

Our two-week workshop, which will be open to the set theory community at large, will focus around two principal themes: Large Cardinals and Descriptive Set Theory. The workshop is organized by the Erwin Schrödinger Institute (ESI) and financed by the ESI and Austrian Science Fund (FWF).

For more information, see http://www.logic.univie.ac.at/conferences/2009_esi/

WoLLIC is an annual international forum on inter-disciplinary research involving formal logic, computing and programming theory, and natural language and reasoning. Each meeting includes invited talks and tutorials as well as contributed papers. The Sixteenth WoLLIC will be held at the National Institute of Informatics in Tokyo, Japan, from June 21 to 24, 2009.

As 2009 will mark the 60-th anniversary of the publication of Paul Erdos' elementary proof of the Prime Number Theorem, WoLLIC will celebrate this by screening the documentary about Paul Erdos which was directed by George Csicsery "N is a number - A Portrait of Paul Erdos".

For more information, see http://wollic.org/wollic2009/.

The Eleventh Asian Logic Conference will be held in Singapore from 22 to 27 June 2009. The Asian Logic Conference series is sponsored by the Association for Symbolic Logic, and the meetings are major international events in mathematical logic. The series features the latest scientific developments in the fields in mathematical logic and its applications, logic in computer science, and philosophical logic. It also aims to promote mathematical logic in the Asia-Pacific region and to bring logicians together both from within Asia and elsewhere to exchange information and ideas.

For more information, see http://www.ims.nus.edu.sg/Programs/09asianlogic/

In the summer of 2009, the Department of Philosophy at Carnegie Mellon University will hold a three-week summer school in logic and formal epistemology for promising undergraduates in philosophy, mathematics, computer science, linguistics, and other sciences. The goals are to introduce students to cross-disciplinary fields of research at an early stage in their career, forge lasting links between the various disciplines.

The summer school will be held from Monday, June 8 to Friday, June 26, 2009. There will be morning and afternoon lectures and daily problem sessions, as well as planned outings and social events. This year's topics are: Categories and Structures, Decisions and Games, and Logic and Formal Verification.

Instructions for applying can be found on the summer school web page, http://www.phil.cmu.edu/summerschool Materials must be received by the Philosophy Department by March 15, 2009. Inquiries may be directed to Jeremy Avigad (avigad at cmu.edu).

Set theory has recently experienced major new developments concerning the construction of models for large cardinals, combinatorial set theory, descriptive set theory, generalisations of Martin's axiom, strong absoluteness and the theory of forcing.

Particularly encouraging is the fact that many unusually talented young people have recently entered the subject, who have established remarkable results concerning the Proper Forcing Axiom and its variants, the Singular Cardinal Hypothesis, subtle properties of stationary sets, and important aspects of applied set theory, including topological dynamics, Borel equivalence relations and metric geometry.

Our two-week workshop, which will be open to the set theory community at large, will focus around two principal themes: Large Cardinals and Descriptive Set Theory. The workshop is organized by the Erwin Schrödinger Institute (ESI) and financed by the ESI and Austrian Science Fund (FWF).

For more information, see http://www.logic.univie.ac.at/conferences/2009_esi/

The Eleventh Asian Logic Conference will be held in Singapore from 22 to 27 June 2009. The Asian Logic Conference series is sponsored by the Association for Symbolic Logic, and the meetings are major international events in mathematical logic. The series features the latest scientific developments in the fields in mathematical logic and its applications, logic in computer science, and philosophical logic. It also aims to promote mathematical logic in the Asia-Pacific region and to bring logicians together both from within Asia and elsewhere to exchange information and ideas.

For more information, see http://www.ims.nus.edu.sg/Programs/09asianlogic/

Within the context of EASSS'09, the Student Session is designed to encourage student interaction and feedback from the tutors. By providing the students with a conference-like setup, both in the presentation and in the review process, students have the opportunity to prepare their own submission, go through the selection process (peer review) and possibly present their work to themselves and their interests to their fellow students as well as internationally leading experts in the agent field, both from the theoretical and the practical sector. All submissions will be peer-reviewed and accepted paper submissions will be assigned a 15 minute slot for presentation. Typically a presentation will either detail the intended approach to a problem or ask a specific question, directed at the audience.

Deadline for submissions: June 26th. For more information, see the Call for Papers, available at http://agents009.di.unito.it/studentses.html.

In the summer of 2009, the Department of Philosophy at Carnegie Mellon University will hold a three-week summer school in logic and formal epistemology for promising undergraduates in philosophy, mathematics, computer science, linguistics, and other sciences. The goals are to introduce students to cross-disciplinary fields of research at an early stage in their career, forge lasting links between the various disciplines.

The summer school will be held from Monday, June 8 to Friday, June 26, 2009. There will be morning and afternoon lectures and daily problem sessions, as well as planned outings and social events. This year's topics are: Categories and Structures, Decisions and Games, and Logic and Formal Verification.

Instructions for applying can be found on the summer school web page, http://www.phil.cmu.edu/summerschool Materials must be received by the Philosophy Department by March 15, 2009. Inquiries may be directed to Jeremy Avigad (avigad at cmu.edu).

Set theory has recently experienced major new developments concerning the construction of models for large cardinals, combinatorial set theory, descriptive set theory, generalisations of Martin's axiom, strong absoluteness and the theory of forcing.

Particularly encouraging is the fact that many unusually talented young people have recently entered the subject, who have established remarkable results concerning the Proper Forcing Axiom and its variants, the Singular Cardinal Hypothesis, subtle properties of stationary sets, and important aspects of applied set theory, including topological dynamics, Borel equivalence relations and metric geometry.

Our two-week workshop, which will be open to the set theory community at large, will focus around two principal themes: Large Cardinals and Descriptive Set Theory. The workshop is organized by the Erwin Schrödinger Institute (ESI) and financed by the ESI and Austrian Science Fund (FWF).

For more information, see http://www.logic.univie.ac.at/conferences/2009_esi/

The Eleventh Asian Logic Conference will be held in Singapore from 22 to 27 June 2009. The Asian Logic Conference series is sponsored by the Association for Symbolic Logic, and the meetings are major international events in mathematical logic. The series features the latest scientific developments in the fields in mathematical logic and its applications, logic in computer science, and philosophical logic. It also aims to promote mathematical logic in the Asia-Pacific region and to bring logicians together both from within Asia and elsewhere to exchange information and ideas.

For more information, see http://www.ims.nus.edu.sg/Programs/09asianlogic/

There will be a small workshop on proof theory on Friday 26th of June (next week). Everyone is cordially invited to attend the talks. If you are interested in giving a talk yourself, please do not hesitate to contact the organisers.

Abstracts and more information can be found on http://cage.ugent.be/ptworkshop/, or contact Michiel De Smet at mmdesmet at cage.ugent.be or Andreas Weiermann at weierman at cage.ugent.be.

Modelling intelligent and rational interaction in multi-agent systems has been one of the main issues in Artificial Intelligence that gained momentum in the last decade of the past century. This is now merging into broader studies of formal models of society, where computer science meets decision theory, game theory and social choice theory, for instance in the study of rational deliberation and decision making.

This first workshop on logics and strategies of the project STRATMAS focuses on ideas and concepts for bringing in the notion of strategies explicitly in the logical frameworks dealing with intelligent and rational interaction in multi-agent systems, which is one of the main goals of the project. The workshop consists of talks by some experts in this area as well as some young researchers. It can also be regarded as the first event in the revival of "Dag der GrAmschap" which used to be a regular event, not so many years ago, to mark a day of talks and discussions between the Amsterdam and the Groningen logic research community on some topics of mutual interest.

The workshop is free for participants, but please pre-register before June 20, 2009, by sending mail to Sujata Ghosh (sujata at ai.rug.nl) so that we can organize an appropriate lecture room and catering. For more information, see http://www.ai.rug.nl/~sujata/strat1.html and http://www.ai.rug.nl/~sujata/stratmas.html.

Set theory has recently experienced major new developments concerning the construction of models for large cardinals, combinatorial set theory, descriptive set theory, generalisations of Martin's axiom, strong absoluteness and the theory of forcing.

Particularly encouraging is the fact that many unusually talented young people have recently entered the subject, who have established remarkable results concerning the Proper Forcing Axiom and its variants, the Singular Cardinal Hypothesis, subtle properties of stationary sets, and important aspects of applied set theory, including topological dynamics, Borel equivalence relations and metric geometry.

Our two-week workshop, which will be open to the set theory community at large, will focus around two principal themes: Large Cardinals and Descriptive Set Theory. The workshop is organized by the Erwin Schrödinger Institute (ESI) and financed by the ESI and Austrian Science Fund (FWF).

For more information, see http://www.logic.univie.ac.at/conferences/2009_esi/

The Eleventh Asian Logic Conference will be held in Singapore from 22 to 27 June 2009. The Asian Logic Conference series is sponsored by the Association for Symbolic Logic, and the meetings are major international events in mathematical logic. The series features the latest scientific developments in the fields in mathematical logic and its applications, logic in computer science, and philosophical logic. It also aims to promote mathematical logic in the Asia-Pacific region and to bring logicians together both from within Asia and elsewhere to exchange information and ideas.

For more information, see http://www.ims.nus.edu.sg/Programs/09asianlogic/

GASICS is an ESF project of the EUROCORES programme LogICCC (Modelling intelligent interaction Logic in the Humanities, Social and Computational sciences ). It studies game theoretic formalizations of interactive computational systems and algorithms for their analysis and synthesis. Our aim is to extend the existing notions of games played on graphs introduced by computer scientists. Currently, most of the games played on graphs are of the sort "two-players zero-sum", we aim to extend them to "multiple-players non-zero-sum", and show the applicability of the new theory to the analysis and synthesis of interactive computational systems.

The aim of this workshop is to bring together researchers working on game-related subjects, and to discuss on various aspects of game theory in the fields where it is applied. The workshop will be composed of two invited talks, together with contributed talks on relevant topics.

For more information, see http://www.lsv.ens-cachan.fr/Events/gasics09/

Prior to the "5th Spain, Italy, Netherlands Meeting on Game Theory" (SING5, http://www.feweb.vu.nl/sing5/) there will take place "BRICKS Workshop on Game Theory and Multiagent Systems". BRICKS stands for Basic Research in Informatics for Creating the Knowledge Society.

For more information, see http://www.bsik-bricks.nl/ or http://www.cwi.nl/en/events/.

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/