The impact of David Lewis on contemporary philosophy is still tangible, ten years after his premature departure. The conference intends to discuss Lewis' long-lasting contribution in the fields of logic and metaphysics, with particular focus on the nature of modality, his views on possible worlds, counterfactuals, causation, and convention. We also wish to provide a setting for young philosophers and logicians to present topics related to Lewis' philosophy and discuss the state of art of his legacy in the contemporary philosophical debate.

For further information and for the conference program, please contact conlewis2011 at gmail.com or visit the website at http://sites.google.com/site/conferencelewis/.

The main goal of this meeting is to foster collaboration among researchers in the area of Many-valued Logic, and to promote communication and cooperation with researchers on related topics. The featured topics include, but are not limited to, Algebraic semantics, First-order fuzzy logics, Proof systems for fuzzy logics and Applied fuzzy logical calculi. The conference's scientific programme includes invited lectures and contributed talks.

For further information please visit the website: http://logica.dmi.unisa.it/AlgebraicSemantics2011/

This is a workshop on contemporary Logicism. The aim of this workshop is to gather philosophers working from within a logicist perspective (or from within a perspective close to logicism) so as to question the coherence and unity of the movement - that is, both to make apparent the conceptual tensions that divide logicism, and to outline possible rapprochements between different logicist approaches of mathematics. The three-day meeting will feature both invited and contributed talks.

For more information, see http://www.univ-bpclermont.fr/LABOS/phier/Logicism/index.html.en

For more information, see http://www.bslps.be/YRD2.html

For more information, see http://www.bslps.be/YRD2.html

For more information, see http://www.bslps.be/YRD2.html

For more information, see http://www.bslps.be/YRD2.html

The Dutch Asssociation for Theoretical Computer Science (NVTI) supports the study of theoretical computer science and its applications. One of the main activities of the NVTI is the organization of the yearly Theory Day. This year, as usual, we have an interesting program with excellent speakers from The Netherlands and abroad, covering important streams in theoretical computer science.

For more information, see http://www.nvti.nl/aankondiging_2011.txt. It is possible to participate in the organized lunch, for which registration is required (no later than February 25, 2011),

The Tinbergen Institute will organise a Workshop on Economic Theory and Game Theory. See the link below for a programme and abstracts of the talks.

For more information, see http://www.tinbergen.nl/ti-events/ti-seminars.php?id=1840

For more information, see http://www.bslps.be/YRD2.html

For more information, see http://www.bslps.be/YRD2.html

For more information, see http://www.bslps.be/YRD2.html

For more information, see http://www.bslps.be/YRD2.html

For more information, see http://www.bslps.be/YRD2.html

Philosophy of mathematics has proved to be one of the most lively areas of philosophy in recent times, and numerical cognition has proved the same with respect to cognitive science. Many traditional issues in the philosophy of mathematics, concerning both our understanding of the concept of number and our conception of mathematical objects, has been seen in a new light under the pressure of the development of cognitive studies. Often, however, we are faced with the stark opposition between those who believe that cognitive results tell us all there is to say about mathematics, pace most traditional philosophical concerns, and those who deny that cognitive aspects of mathematical thinking, however interesting they may be on their own, can foster any progress in the solution of as yet theoretically unavoidable philosophical issues.

Many, however, feel the urge of filling the gap, one way or the other. Major and interrelated issues are indeed at stake. This workshop aims at bringing together scholars on both sides of the divide, and to offer the opportunity to young researchers of discussing works at the interplay between cognitive science and the philosophy of mathematics.

The workshop Numerical Cognition and Mathematical Ontology is one of the Workshop associated to the Seventh Conference in Analytic Philosophy (ECAP7).

For more information, see the workshop website at http://www.esap.info/ecap7/?page_id=29 or the conference website at http://www.esap.info/ecap7/.

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.

This year's invited speakers are Johan van Benthem, Yossi Feinberg, Ithzak Gilboa and Larry Moss. Two full-day workshops (included in the registration fee) will precede and follow the conference: "Reasoning about other minds: logical and cognitive perspectives" and "Quantum physics meets TARK".

Early registration deadline: May 31, 2011. For registration, a list of accepted papers and a schedule, see the TARK website at http://TARK2011.org/. For more information, see the website or contact S.J.L.Smets at rug.nl.

For more information, see http://www.bslps.be/YRD2.html

he Symposium on Theoretical Aspects of Computer Science (STACS) takes place each year since 1984, alternately in Germany and France.

Typical topics of the conference include:
* Algorithms and data structures, including: parallel and distributed algorithms, computational geometry, cryptography, algorithmic learning theory;
* Automata and formal languages;
* Computational and structural complexity
* Logic in computer science, including: semantics, specification, and verification of programs, rewriting and deduction;
* Current challenges, for example: biological computing, quantum computing, mobile and net computing.

For more information, see http://stacs2011.de/

For more information, see http://www.bslps.be/YRD2.html

he Symposium on Theoretical Aspects of Computer Science (STACS) takes place each year since 1984, alternately in Germany and France.

Typical topics of the conference include:
* Algorithms and data structures, including: parallel and distributed algorithms, computational geometry, cryptography, algorithmic learning theory;
* Automata and formal languages;
* Computational and structural complexity
* Logic in computer science, including: semantics, specification, and verification of programs, rewriting and deduction;
* Current challenges, for example: biological computing, quantum computing, mobile and net computing.

For more information, see http://stacs2011.de/

The twelfth installment of the workshop that takes linguists and experimental philosophers to the ski slopes will be held March 11~15, 2011, on the mountaintop Szrenica, Poland.

The workshop aims to bring together linguists, philosophers, logicians, and all others interested in the semantics and pragmatics of natural language. This year the theme is "Ambiguity and Disambiguation" - as usual this 'hot topic' should not exclude submissions on other subjects, but talks relating concerns to ambiguity and disambiguation are especially welcome. Experimental as well as theoretical approaches to the problem are welcome. We prefer new and original ideas, even if the material is not fully ripe and the presentation still tentative. For more details see the call for papers. Invited Speakers include Justyna Grudzinska, Katrin Schulz, Jacques Jayez and Bernhard Schröder (confirmed)

For further details check the webpage: http://szklarska2011.hlotze.com/.

For more information, see http://www.bslps.be/YRD2.html

he Symposium on Theoretical Aspects of Computer Science (STACS) takes place each year since 1984, alternately in Germany and France.

Typical topics of the conference include:
* Algorithms and data structures, including: parallel and distributed algorithms, computational geometry, cryptography, algorithmic learning theory;
* Automata and formal languages;
* Computational and structural complexity
* Logic in computer science, including: semantics, specification, and verification of programs, rewriting and deduction;
* Current challenges, for example: biological computing, quantum computing, mobile and net computing.

For more information, see http://stacs2011.de/

The twelfth installment of the workshop that takes linguists and experimental philosophers to the ski slopes will be held March 11~15, 2011, on the mountaintop Szrenica, Poland.

The workshop aims to bring together linguists, philosophers, logicians, and all others interested in the semantics and pragmatics of natural language. This year the theme is "Ambiguity and Disambiguation" - as usual this 'hot topic' should not exclude submissions on other subjects, but talks relating concerns to ambiguity and disambiguation are especially welcome. Experimental as well as theoretical approaches to the problem are welcome. We prefer new and original ideas, even if the material is not fully ripe and the presentation still tentative. For more details see the call for papers. Invited Speakers include Justyna Grudzinska, Katrin Schulz, Jacques Jayez and Bernhard Schröder (confirmed)

For further details check the webpage: http://szklarska2011.hlotze.com/.

The aim of the symposium is to bring together researchers from academia and industry which are actively working in the fields of Games, Automata, Logics, and Formal Verification. The idea is to cover an ample spectrum of themes, ranging from theory to concrete applications, and to stimulate cross-fertilization.

Invited speakers: Thomas Colcombet (CNRS), Erich Graedel (Aachen University), Moshe Vardi (Rice University).

For more information, see http://gandalf.dia.unisa.it/

For more information, see http://www.bslps.be/YRD2.html

The twelfth installment of the workshop that takes linguists and experimental philosophers to the ski slopes will be held March 11~15, 2011, on the mountaintop Szrenica, Poland.

The workshop aims to bring together linguists, philosophers, logicians, and all others interested in the semantics and pragmatics of natural language. This year the theme is "Ambiguity and Disambiguation" - as usual this 'hot topic' should not exclude submissions on other subjects, but talks relating concerns to ambiguity and disambiguation are especially welcome. Experimental as well as theoretical approaches to the problem are welcome. We prefer new and original ideas, even if the material is not fully ripe and the presentation still tentative. For more details see the call for papers. Invited Speakers include Justyna Grudzinska, Katrin Schulz, Jacques Jayez and Bernhard Schröder (confirmed)

For further details check the webpage: http://szklarska2011.hlotze.com/.

For more information, see http://www.bslps.be/YRD2.html

The twelfth installment of the workshop that takes linguists and experimental philosophers to the ski slopes will be held March 11~15, 2011, on the mountaintop Szrenica, Poland.

The workshop aims to bring together linguists, philosophers, logicians, and all others interested in the semantics and pragmatics of natural language. This year the theme is "Ambiguity and Disambiguation" - as usual this 'hot topic' should not exclude submissions on other subjects, but talks relating concerns to ambiguity and disambiguation are especially welcome. Experimental as well as theoretical approaches to the problem are welcome. We prefer new and original ideas, even if the material is not fully ripe and the presentation still tentative. For more details see the call for papers. Invited Speakers include Justyna Grudzinska, Katrin Schulz, Jacques Jayez and Bernhard Schröder (confirmed)

For further details check the webpage: http://szklarska2011.hlotze.com/.

"The Mathematics of Games: Strategies, Cooperation and Fair Division" is an advanced course devoted to the mathematical aspects of Game Theory and Social Choice, in which leading specialists in the area will offer young researchers the possibility to gain insight on the main topics and enable them to undertake research projects in these specific subjects. The course is addressed to beginner and intermediate graduate students from institutions of all over the world. The maximum number of students will be around 30. The course will finish with a Workshop "Challenges of Mathematics for Game Theory" which will be open to the course participants and other interested researchers.

Registration deadline: Tuesday 15 February 2011. For more information, see http://www.imus.us.es/DC/2011_ECR/php/.

ICTAC 2011 is the 8th International Colloquium on Theoretical Aspects of Computing, the latest in a series founded by the International Institute for Software Technology of the United Nations University (UNU-IIST). ICTAC 2011 will bring together practitioners and researchers from academia, industry and government to present research and to exchange ideas and experience addressing challenges in both theoretical aspects of computing and in the exploitation of theory through methods and tools for system development. The other main purpose is to promote cooperation in research and education between participants and their institutions, from developing and industrial countries, as in the mandate of the United Nations University.

For more information, see http://www.ictac.net/ictac2011/

Since 1981, ASMDA aims to serve as the interface between Stochastic Modeling and Data Analysis and their real life applications particularly in Business, Finance and Insurance, Management, Production and Reliability, Biology and Medicine. Our main objective is to publish papers, both theoretical or practical, presenting new results having potential for solving real-life problems. Another important objective is to present new methods for solving these problems by analyzing the relevant data. Also, the use of recent advances in different fields, will be promoted such as for example, new optimization and statistical methods, data warehouse, data mining and knowledge systems, computing-aided decision supports and neural computing.

For more information, see the site http://www.asmda.eu/

The Bonn Graduate Conference is part of the "Rhine Valley Philosophy Summer" (http://rvps2011.net/), a series of events independently organized by philosophers in Bonn and Cologne. Its aim is to give graduate students the opportunity to present their work to leading researchers in philosophy of language, epistemology and metaphysics.

There will be up to seven talks by graduate students. Talks with a thematic focus on contextualism and relativism are given priority, but general submissions on broader topics in epistemology, philosophy of language and philosophy of science are welcome and will be considered. The conference language is English.

For further information consult our website: http://rvps2011.net/relativism/graduate.html

In 1935 Alonzo Church formulated a thesis called, after Kleene, the Church's Thesis (CT). Since then, many important logicians and philosophers have ventured to solve the numerous problems connected to the CT. Various lines of research have shown that the CT has many incarnations and constitutes an interdisciplinary problem. The research concerning the CT, as well as an analogical thesis developed by Alan Turing, has resulted in important insights regarding the concept of computability. Georg Kreisel formulated three versions of the CT, pertaining to machine, human, and physical computability. With respect to this, the conference's focus will be on three areas connected to the CT: logic, mind and nature.

The main goals of this Studia Logica International Conference include the discussion over the major results concerning the Church's Thesis (CT), as well as the presentation of contemporary approaches to problems connected with the CT.

For more information, see http://studialogica.org/TrendsIX

For more information, see http://www.bslps.be/YRD2.html

The twelfth installment of the workshop that takes linguists and experimental philosophers to the ski slopes will be held March 11~15, 2011, on the mountaintop Szrenica, Poland.

The workshop aims to bring together linguists, philosophers, logicians, and all others interested in the semantics and pragmatics of natural language. This year the theme is "Ambiguity and Disambiguation" - as usual this 'hot topic' should not exclude submissions on other subjects, but talks relating concerns to ambiguity and disambiguation are especially welcome. Experimental as well as theoretical approaches to the problem are welcome. We prefer new and original ideas, even if the material is not fully ripe and the presentation still tentative. For more details see the call for papers. Invited Speakers include Justyna Grudzinska, Katrin Schulz, Jacques Jayez and Bernhard Schröder (confirmed)

For further details check the webpage: http://szklarska2011.hlotze.com/.

"The Mathematics of Games: Strategies, Cooperation and Fair Division" is an advanced course devoted to the mathematical aspects of Game Theory and Social Choice, in which leading specialists in the area will offer young researchers the possibility to gain insight on the main topics and enable them to undertake research projects in these specific subjects. The course is addressed to beginner and intermediate graduate students from institutions of all over the world. The maximum number of students will be around 30. The course will finish with a Workshop "Challenges of Mathematics for Game Theory" which will be open to the course participants and other interested researchers.

Registration deadline: Tuesday 15 February 2011. For more information, see http://www.imus.us.es/DC/2011_ECR/php/.

For more information, see http://www.bslps.be/YRD2.html

"The Mathematics of Games: Strategies, Cooperation and Fair Division" is an advanced course devoted to the mathematical aspects of Game Theory and Social Choice, in which leading specialists in the area will offer young researchers the possibility to gain insight on the main topics and enable them to undertake research projects in these specific subjects. The course is addressed to beginner and intermediate graduate students from institutions of all over the world. The maximum number of students will be around 30. The course will finish with a Workshop "Challenges of Mathematics for Game Theory" which will be open to the course participants and other interested researchers.

Registration deadline: Tuesday 15 February 2011. For more information, see http://www.imus.us.es/DC/2011_ECR/php/.

For more information, see http://www.bslps.be/YRD2.html

"The Mathematics of Games: Strategies, Cooperation and Fair Division" is an advanced course devoted to the mathematical aspects of Game Theory and Social Choice, in which leading specialists in the area will offer young researchers the possibility to gain insight on the main topics and enable them to undertake research projects in these specific subjects. The course is addressed to beginner and intermediate graduate students from institutions of all over the world. The maximum number of students will be around 30. The course will finish with a Workshop "Challenges of Mathematics for Game Theory" which will be open to the course participants and other interested researchers.

Registration deadline: Tuesday 15 February 2011. For more information, see http://www.imus.us.es/DC/2011_ECR/php/.

The Asian Workshop on Philosophical Logic will be held at Research Center for Integrated Science (RCIS), Japan Advanced Institute of Science and Technology (JAIST) on 17th and 18th March, 2011. Our aim is to promote mutual understandings among researchers on logic working in Asian countries, and to establish closer collaborations in future.

The scope of the Workshop will cover: philosophical logic, non-classical logics, algebraic logic, and their applications in computer science and cognitive science. During the Workshop, we will have a special session of discussions on future collaborations, in particular on research, education and exchange of researchers in our region.

For more information, see here.

The European Epistemology Network (EEN) provides a platform for cooperation and exchange among epistemologists and those interested in the theory of knowledge in Europe. The 2011 meeting is held in Lund, Sweden, from Thu 17th - Sat 19th of March.

For more information, see http://www.fil.lu.se/conferences/conference.asp?id=44

For more information, see http://www.bslps.be/YRD2.html

"The Mathematics of Games: Strategies, Cooperation and Fair Division" is an advanced course devoted to the mathematical aspects of Game Theory and Social Choice, in which leading specialists in the area will offer young researchers the possibility to gain insight on the main topics and enable them to undertake research projects in these specific subjects. The course is addressed to beginner and intermediate graduate students from institutions of all over the world. The maximum number of students will be around 30. The course will finish with a Workshop "Challenges of Mathematics for Game Theory" which will be open to the course participants and other interested researchers.

Registration deadline: Tuesday 15 February 2011. For more information, see http://www.imus.us.es/DC/2011_ECR/php/.

The Asian Workshop on Philosophical Logic will be held at Research Center for Integrated Science (RCIS), Japan Advanced Institute of Science and Technology (JAIST) on 17th and 18th March, 2011. Our aim is to promote mutual understandings among researchers on logic working in Asian countries, and to establish closer collaborations in future.

The scope of the Workshop will cover: philosophical logic, non-classical logics, algebraic logic, and their applications in computer science and cognitive science. During the Workshop, we will have a special session of discussions on future collaborations, in particular on research, education and exchange of researchers in our region.

For more information, see here.

The European Epistemology Network (EEN) provides a platform for cooperation and exchange among epistemologists and those interested in the theory of knowledge in Europe. The 2011 meeting is held in Lund, Sweden, from Thu 17th - Sat 19th of March.

For more information, see http://www.fil.lu.se/conferences/conference.asp?id=44

At Friday 18 March, the ILLC and IvI together organise the workshop Viva Informatica, for teachers, students and other people interested in recent developments in computer science. Presentations will be in Dutch. Aline Honingh will give a presentation on behalf of the ILLC.

For more information, see http://www.science.uva.nl/vivainformatica

For more information, see http://www.bslps.be/YRD2.html

"The Mathematics of Games: Strategies, Cooperation and Fair Division" is an advanced course devoted to the mathematical aspects of Game Theory and Social Choice, in which leading specialists in the area will offer young researchers the possibility to gain insight on the main topics and enable them to undertake research projects in these specific subjects. The course is addressed to beginner and intermediate graduate students from institutions of all over the world. The maximum number of students will be around 30. The course will finish with a Workshop "Challenges of Mathematics for Game Theory" which will be open to the course participants and other interested researchers.

Registration deadline: Tuesday 15 February 2011. For more information, see http://www.imus.us.es/DC/2011_ECR/php/.

The European Epistemology Network (EEN) provides a platform for cooperation and exchange among epistemologists and those interested in the theory of knowledge in Europe. The 2011 meeting is held in Lund, Sweden, from Thu 17th - Sat 19th of March.

For more information, see http://www.fil.lu.se/conferences/conference.asp?id=44

For more information, see http://www.bslps.be/YRD2.html

"The Mathematics of Games: Strategies, Cooperation and Fair Division" is an advanced course devoted to the mathematical aspects of Game Theory and Social Choice, in which leading specialists in the area will offer young researchers the possibility to gain insight on the main topics and enable them to undertake research projects in these specific subjects. The course is addressed to beginner and intermediate graduate students from institutions of all over the world. The maximum number of students will be around 30. The course will finish with a Workshop "Challenges of Mathematics for Game Theory" which will be open to the course participants and other interested researchers.

Registration deadline: Tuesday 15 February 2011. For more information, see http://www.imus.us.es/DC/2011_ECR/php/.

For more information, see http://www.bslps.be/YRD2.html

"The Mathematics of Games: Strategies, Cooperation and Fair Division" is an advanced course devoted to the mathematical aspects of Game Theory and Social Choice, in which leading specialists in the area will offer young researchers the possibility to gain insight on the main topics and enable them to undertake research projects in these specific subjects. The course is addressed to beginner and intermediate graduate students from institutions of all over the world. The maximum number of students will be around 30. The course will finish with a Workshop "Challenges of Mathematics for Game Theory" which will be open to the course participants and other interested researchers.

Registration deadline: Tuesday 15 February 2011. For more information, see http://www.imus.us.es/DC/2011_ECR/php/.

The biennial Commonsense Symposia series provides a forum for exploring one of the long-term goals of Artificial Intelligence, endowing 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 still 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 characterize commonsense reasoning using representations based on logic or other formal theories. The challenges to creating such formalizations include accumulating knowledge about the everyday world, representing this knowledge formally, integrating different representations, and developing reasoning methods for these representations.

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

The aim of this conference is to bring together PhD students and postdocs in Set Theory in order to learn from leading researchers in the field, hear about the latest research and to discuss research issues in a cooperative environment. The conference format is similar to previous years.

There will be tutorials and invited talks. All participants will be asked to write a one-page statement about their research which will be made available to all participants at the conference. Each afternoon, discussion sessions will be formed for those working in similar areas and more general sessions for those interested in getting an overview of the latest research in each branch of set theory.

Please register at ystw2011 at hcm.uni-bonn.de as soon as possible to be guaranteed a place. The registration fee of 350 Euros covers the accommodation in double rooms and meals. The deadline for registration is January 3, 2011. Travel and/or accommodation grants are available (grant application deadline is December 10, 2010).

More information can be found on the conference website http://www.math.uni-bonn.de/people/logic/events/young-set-theory-2011.

For more information, see http://www.bslps.be/YRD2.html

"The Mathematics of Games: Strategies, Cooperation and Fair Division" is an advanced course devoted to the mathematical aspects of Game Theory and Social Choice, in which leading specialists in the area will offer young researchers the possibility to gain insight on the main topics and enable them to undertake research projects in these specific subjects. The course is addressed to beginner and intermediate graduate students from institutions of all over the world. The maximum number of students will be around 30. The course will finish with a Workshop "Challenges of Mathematics for Game Theory" which will be open to the course participants and other interested researchers.

Registration deadline: Tuesday 15 February 2011. For more information, see http://www.imus.us.es/DC/2011_ECR/php/.

The biennial Commonsense Symposia series provides a forum for exploring one of the long-term goals of Artificial Intelligence, endowing 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 still 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 characterize commonsense reasoning using representations based on logic or other formal theories. The challenges to creating such formalizations include accumulating knowledge about the everyday world, representing this knowledge formally, integrating different representations, and developing reasoning methods for these representations.

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

The aim of this conference is to bring together PhD students and postdocs in Set Theory in order to learn from leading researchers in the field, hear about the latest research and to discuss research issues in a cooperative environment. The conference format is similar to previous years.

There will be tutorials and invited talks. All participants will be asked to write a one-page statement about their research which will be made available to all participants at the conference. Each afternoon, discussion sessions will be formed for those working in similar areas and more general sessions for those interested in getting an overview of the latest research in each branch of set theory.

Please register at ystw2011 at hcm.uni-bonn.de as soon as possible to be guaranteed a place. The registration fee of 350 Euros covers the accommodation in double rooms and meals. The deadline for registration is January 3, 2011. Travel and/or accommodation grants are available (grant application deadline is December 10, 2010).

More information can be found on the conference website http://www.math.uni-bonn.de/people/logic/events/young-set-theory-2011.

For more information, see http://www.bslps.be/YRD2.html

"The Mathematics of Games: Strategies, Cooperation and Fair Division" is an advanced course devoted to the mathematical aspects of Game Theory and Social Choice, in which leading specialists in the area will offer young researchers the possibility to gain insight on the main topics and enable them to undertake research projects in these specific subjects. The course is addressed to beginner and intermediate graduate students from institutions of all over the world. The maximum number of students will be around 30. The course will finish with a Workshop "Challenges of Mathematics for Game Theory" which will be open to the course participants and other interested researchers.

Registration deadline: Tuesday 15 February 2011. For more information, see http://www.imus.us.es/DC/2011_ECR/php/.

The biennial Commonsense Symposia series provides a forum for exploring one of the long-term goals of Artificial Intelligence, endowing 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 still 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 characterize commonsense reasoning using representations based on logic or other formal theories. The challenges to creating such formalizations include accumulating knowledge about the everyday world, representing this knowledge formally, integrating different representations, and developing reasoning methods for these representations.

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

The aim of this conference is to bring together PhD students and postdocs in Set Theory in order to learn from leading researchers in the field, hear about the latest research and to discuss research issues in a cooperative environment. The conference format is similar to previous years.

There will be tutorials and invited talks. All participants will be asked to write a one-page statement about their research which will be made available to all participants at the conference. Each afternoon, discussion sessions will be formed for those working in similar areas and more general sessions for those interested in getting an overview of the latest research in each branch of set theory.

Please register at ystw2011 at hcm.uni-bonn.de as soon as possible to be guaranteed a place. The registration fee of 350 Euros covers the accommodation in double rooms and meals. The deadline for registration is January 3, 2011. Travel and/or accommodation grants are available (grant application deadline is December 10, 2010).

More information can be found on the conference website http://www.math.uni-bonn.de/people/logic/events/young-set-theory-2011.

Truth be Told, a Workshop on Philosophical and Formal Theories of Truth, is organised by the Department of Philosophy and the Institute for Logic, Language, and Computation of the Universiteit van Amsterdam. The workshop will be held between Wednesday the 23rd and Friday the 25th of March 2011.

The aim of the workshop is to bring together experts in the field in order to assess the current state of the art of theories of truth, as well as to facilitate discussion between philosophers of truth and those more interested in formal methods and results in the study of truth.

The workshop will contain 11 invited and 5 contributed talks. Invited talks will be followed by a short commentary.

For more information and an online registration form, see https://www.illc.uva.nl/truth/truth11/

For more information, see http://www.bslps.be/YRD2.html

"The Mathematics of Games: Strategies, Cooperation and Fair Division" is an advanced course devoted to the mathematical aspects of Game Theory and Social Choice, in which leading specialists in the area will offer young researchers the possibility to gain insight on the main topics and enable them to undertake research projects in these specific subjects. The course is addressed to beginner and intermediate graduate students from institutions of all over the world. The maximum number of students will be around 30. The course will finish with a Workshop "Challenges of Mathematics for Game Theory" which will be open to the course participants and other interested researchers.

Registration deadline: Tuesday 15 February 2011. For more information, see http://www.imus.us.es/DC/2011_ECR/php/.

The aim of this conference is to bring together PhD students and postdocs in Set Theory in order to learn from leading researchers in the field, hear about the latest research and to discuss research issues in a cooperative environment. The conference format is similar to previous years.

There will be tutorials and invited talks. All participants will be asked to write a one-page statement about their research which will be made available to all participants at the conference. Each afternoon, discussion sessions will be formed for those working in similar areas and more general sessions for those interested in getting an overview of the latest research in each branch of set theory.

Please register at ystw2011 at hcm.uni-bonn.de as soon as possible to be guaranteed a place. The registration fee of 350 Euros covers the accommodation in double rooms and meals. The deadline for registration is January 3, 2011. Travel and/or accommodation grants are available (grant application deadline is December 10, 2010).

More information can be found on the conference website http://www.math.uni-bonn.de/people/logic/events/young-set-theory-2011.

Truth be Told, a Workshop on Philosophical and Formal Theories of Truth, is organised by the Department of Philosophy and the Institute for Logic, Language, and Computation of the Universiteit van Amsterdam. The workshop will be held between Wednesday the 23rd and Friday the 25th of March 2011.

The aim of the workshop is to bring together experts in the field in order to assess the current state of the art of theories of truth, as well as to facilitate discussion between philosophers of truth and those more interested in formal methods and results in the study of truth.

The workshop will contain 11 invited and 5 contributed talks. Invited talks will be followed by a short commentary.

For more information and an online registration form, see https://www.illc.uva.nl/truth/truth11/

The invited speakers include: S. Aaronson, A. Antonelli, L. Bienvenu, L. van den Dries, D. Haskell, J. Moore, C. Rosendal, N. Thapen, and S. Thomas. Penelope Maddy will deliver a retiring presidential address. The following special sessions (with organizers in parentheses) are planned: Definability throughout Mathematical Logic, in honor of Leo Harrington (T. Slaman and J. Steel), Hilbert (W. Sieg), Model Theory (D. Marker), Philosophy of Mathematics (J. Burgess), and Set Theory (E. Schimmerling). The Shoenfield Prizes for outstanding expository writing will be awarded also.

For more information, see http://logic.berkeley.edu/ASL/.

The Student Session of the 23rd European Summer School in Logic, Language, and Information (ESSLLI) will take place in Ljubljana, Slovenia on August 1-12, 2011. The Student Session is held under the auspices of ESSLLI 2011, which will feature a wide range of foundational and advanced courses and workshops in all areas of Logic, Language, and Computation.

More information can be found on the Student Session website at http://homepages.nyu.edu/~dhl271/esslli2011stus/.

This ESSLLI-2011 workshop is organized and financially supported by the ESF research networking programme INFTY (New frontiers of infinity: mathematical, philosophical, and computational prospects). The ESF network INFTY aims (among other things) at embedding set theory in the wider scope of modern logic and its applications, as represented at the ESSLLI schools.

This workshop is funded and organized by INFTY in order to:
* Present the lively and active research area of set theory to a broader audience of logicians;
* Allow junior members of the set-theory community to present their research at an ESSLLI school in order to encourage them to interact with the broader logic community;
* Offer logic students an overview of the current research * trends in set theory.

For more information, see http://www.math.uni-hamburg.de/home/loewe/INFTY@ESSLLI2011/

The Panhellenic Logic Symposium, a biennial scientific event established in 1997, aims to promote interaction and cross-fertilization among different areas of logic. Originally conceived as a way of bringing together the many logicians of Hellenic descent throughout the world, it has evolved into an international forum for the communication of state-of-the-art advances in logic. The symposium is open to researchers worldwide who work in logic broadly conceived. The Eighth Panhellenic Logic Symposium will be hosted by the Department of Computer Science at the University of Ioannina.

The scientific program of the symposium will consist of one-hour long invited talks, three-hour long tutorials, and twenty-five-minute presentations of accepted contributed papers. There will also be special opportunities for students to give short talks, and receive comments on work in progress.

For more information, see the conference website at http://www.cs.uoi.gr/~pls8/.

For more information, see http://www.bslps.be/YRD2.html

"The Mathematics of Games: Strategies, Cooperation and Fair Division" is an advanced course devoted to the mathematical aspects of Game Theory and Social Choice, in which leading specialists in the area will offer young researchers the possibility to gain insight on the main topics and enable them to undertake research projects in these specific subjects. The course is addressed to beginner and intermediate graduate students from institutions of all over the world. The maximum number of students will be around 30. The course will finish with a Workshop "Challenges of Mathematics for Game Theory" which will be open to the course participants and other interested researchers.

Registration deadline: Tuesday 15 February 2011. For more information, see http://www.imus.us.es/DC/2011_ECR/php/.

The aim of this conference is to bring together PhD students and postdocs in Set Theory in order to learn from leading researchers in the field, hear about the latest research and to discuss research issues in a cooperative environment. The conference format is similar to previous years.

There will be tutorials and invited talks. All participants will be asked to write a one-page statement about their research which will be made available to all participants at the conference. Each afternoon, discussion sessions will be formed for those working in similar areas and more general sessions for those interested in getting an overview of the latest research in each branch of set theory.

Please register at ystw2011 at hcm.uni-bonn.de as soon as possible to be guaranteed a place. The registration fee of 350 Euros covers the accommodation in double rooms and meals. The deadline for registration is January 3, 2011. Travel and/or accommodation grants are available (grant application deadline is December 10, 2010).

More information can be found on the conference website http://www.math.uni-bonn.de/people/logic/events/young-set-theory-2011.

The invited speakers include: S. Aaronson, A. Antonelli, L. Bienvenu, L. van den Dries, D. Haskell, J. Moore, C. Rosendal, N. Thapen, and S. Thomas. Penelope Maddy will deliver a retiring presidential address. The following special sessions (with organizers in parentheses) are planned: Definability throughout Mathematical Logic, in honor of Leo Harrington (T. Slaman and J. Steel), Hilbert (W. Sieg), Model Theory (D. Marker), Philosophy of Mathematics (J. Burgess), and Set Theory (E. Schimmerling). The Shoenfield Prizes for outstanding expository writing will be awarded also.

For more information, see http://logic.berkeley.edu/ASL/.

For more information, see http://www.bslps.be/YRD2.html

"The Mathematics of Games: Strategies, Cooperation and Fair Division" is an advanced course devoted to the mathematical aspects of Game Theory and Social Choice, in which leading specialists in the area will offer young researchers the possibility to gain insight on the main topics and enable them to undertake research projects in these specific subjects. The course is addressed to beginner and intermediate graduate students from institutions of all over the world. The maximum number of students will be around 30. The course will finish with a Workshop "Challenges of Mathematics for Game Theory" which will be open to the course participants and other interested researchers.

Registration deadline: Tuesday 15 February 2011. For more information, see http://www.imus.us.es/DC/2011_ECR/php/.

The invited speakers include: S. Aaronson, A. Antonelli, L. Bienvenu, L. van den Dries, D. Haskell, J. Moore, C. Rosendal, N. Thapen, and S. Thomas. Penelope Maddy will deliver a retiring presidential address. The following special sessions (with organizers in parentheses) are planned: Definability throughout Mathematical Logic, in honor of Leo Harrington (T. Slaman and J. Steel), Hilbert (W. Sieg), Model Theory (D. Marker), Philosophy of Mathematics (J. Burgess), and Set Theory (E. Schimmerling). The Shoenfield Prizes for outstanding expository writing will be awarded also.

For more information, see http://logic.berkeley.edu/ASL/.

Set Theory as was quickly recognized by David Hilbert more than 100 years ago, plays a fundamental foundational role in the intellectual underpinning of pure mathematics. Cantor's work on cardinality and wellorderings was seen to establish several basic areas of research whose threads we discern today and indeed will be emphasized in this conference: on the arithmetic of cardinal numbers themselves, and on the `descriptive set theory' that seeks to analyse the logical complexity of sets definable within mathematical language. Cantor's work derived from his study of trigonometric series, and modern set theory goes back to classical analysis as well as to modern Banach space theory, abstract algebra, ergodic theory, and dynamical systems to find fruitful applications.

For more information, see http://www.esf.org/conferences/11368.

Computer Science Logic (CSL) is the annual conference of the European Association for Computer Science Logic (EACSL). The conference is intended for computer scientists whose research activities involve logic, as well as for logicians working on issues significant for computer science. The Ackermann Award for 2011 will be presented to the recipients at CSL 2011.

For more information, see http://www.eacsl.org/csl11

For more information, see http://www.bslps.be/YRD2.html

The invited speakers include: S. Aaronson, A. Antonelli, L. Bienvenu, L. van den Dries, D. Haskell, J. Moore, C. Rosendal, N. Thapen, and S. Thomas. Penelope Maddy will deliver a retiring presidential address. The following special sessions (with organizers in parentheses) are planned: Definability throughout Mathematical Logic, in honor of Leo Harrington (T. Slaman and J. Steel), Hilbert (W. Sieg), Model Theory (D. Marker), Philosophy of Mathematics (J. Burgess), and Set Theory (E. Schimmerling). The Shoenfield Prizes for outstanding expository writing will be awarded also.

For more information, see http://logic.berkeley.edu/ASL/.

This workshop aims at the interrelation between interactions, games and protocols. How does computer science deal with nondeterministic interactions where the actions a system takes are not (completely) determined by the interactions the system is involved in?

For more information, see http://react.cs.uni-saarland.de/iWIGP2011/

Logic Colloquium 2011, organized under the auspices of the Association for Symbolic Logic, will be held in Barcelona, Catalonia, Spain, on July 11-16, 2011.

For more information, see http://www.logic2011.org/ or contact lc2011 at lsi.upc.edu.

For more information, see http://www.bslps.be/YRD2.html

For more information, see http://www.bslps.be/YRD2.html

From a mathematical point of view, higher-order logic (HOL) and set theory have a lot in common; for instance, both allow us to talk about collections of individuals, and there are partial translations in both directions. However, philosophers often argue that HOL and set theory differ in important ways, such as epistemic status and ontological commitments. This workshop aims to assess the relation between HOL and set theory, drawing in part on an examination of the history of these theories.

To register, please email s.florio at bbk.ac.uk. For more information, see http://www.bbk.ac.uk/philosophy/our-research/ppp/w3.

For more information, see http://www.bslps.be/YRD2.html

From a mathematical point of view, higher-order logic (HOL) and set theory have a lot in common; for instance, both allow us to talk about collections of individuals, and there are partial translations in both directions. However, philosophers often argue that HOL and set theory differ in important ways, such as epistemic status and ontological commitments. This workshop aims to assess the relation between HOL and set theory, drawing in part on an examination of the history of these theories.

To register, please email s.florio at bbk.ac.uk. For more information, see http://www.bbk.ac.uk/philosophy/our-research/ppp/w3.

SING 7 is the seventh in the series of Spain-Italy-Netherlands Meetings on Game Theory, and the first one organized in France. Presentations will focus on new research directions in Game Theory. The meeting provides an avenue where new research collaborations can be forged.

All information can be found on http://ces.univ-paris1.fr/SING_7.htm. Participants have to register, submit abstract, and pay registration fees through this web site. For inquiries, please send a message to sing7 at univ-paris1.fr.

For more information, see http://www.bslps.be/YRD2.html

Julius-Richard Büchi (1924-1984) was a Swiss logician and a mathematician who received his Dr. sc. nat. in 1950 at the ETH Zürich under the supervision of Paul Bernays. Almost half a century ago, in 1962, he invented what is now called the Büchi automaton. In the recent years there has been tremendous efforts devoted to extending Büchi?s results. I The aim of this workshop is to bring together some among the best specialists from this new trend of automata theory and discuss the existing results and the ones to come.

For more information, see http://www.hec.unil.ch/logique/recent_news/SSLPS/