The LEMMing Graduate Conference is a three day conference on logic, language, epistemology, metaphysics, and mind that will be held at the University of Cologne, Germany, from November 29 to December 1, 2012. It is jointly organized by the research groups Formal Epistemology (Konstanz), Understanding and the A Priori (Cologne), Phlox (Hamburg), and Nominalizations (Hamburg).

The conference will feature three keynote lectures by Tim Crane (University of Cambridge), Thomas Hofweber (University of North Carolina, Chapel Hill) and Anna-Sara Malmgren (Stanford University), as well as nine contributed talks by graduate speakers. Each graduate talk will be followed by a short commentary by a post-doc associated with one of the organizing groups, as well as a discussion session.

For more information please visit the website http://lemminggc.wordpress.com/ or contact lemmingcologne at googlemail.com.

The thirteenth annual Midwest PhilMath Workshop (MWPMW 13) will be held at Notre Dame the weekend of Saturday, October 27th and Sunday, October 28th. As usual, the plan is to schedule a full day of talks and discussions for Saturday and a half day for Sunday. Also as usual, there will be a workshop dinner Saturday evening, with all participants invited to attend as guests of the university.

For more information, see the website of the workshop, which once it is up may be found by following the links on the Philosophy Department's web page at http://www.nd.edu/~ndphilo/.

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.

TARK 2013 will precede the Indian Conference on Logics and Applications (ICLA) held from January 10 - 12, 2013, also at the Institute for Mathematical Sciences in Chennai, India. TARK 2013 is the first TARK conference to be held in India, or in January. The proceedings of all previous TARK conferences can be accessed at http://www.tark.org/.

For more information, see the conference website at http://www.imsc.res.in/tark/

Computer Science Logic (CSL) is the annual conference of the European Association for Computer Science Logic. The conference is intended for computer scientists whose research activities involve logic, as well as for logicians working on issues significant for computer science.

For more information, see http://csl2012.lacl.fr/

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 nineteenth WoLLIC will be held at the University of Buenos Aires, Argentina, from September 3rd to 6th, 2012.

WoLLIC is sponsored by the Association for Symbolic Logic (ASL), the Interest Group in Pure and Applied Logics (IGPL), the The Association for Logic, Language and Information (FoLLI), the European Association for Theoretical Computer Science (EATCS), the European Association for Computer Science Logic (EACSL), the Sociedade Brasileira de Computação (SBC), and the Sociedade Brasileira de Lógica (SBL).

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

TSD series evolved as a prime forum for interaction between researchers in both spoken and written language processing from all over the world. TSD 2012 will address the following topics within the field of natural language processing:
corpora, texts and transcription
speech analysis, recognition and synthesis
their intertwining within NL dialogue systems.

The conference program will include presentation of invited papers, oral presentations, and poster/demonstration sessions. Papers will be presented in plenary or topic oriented sessions. Keynote Speakers are Ruslan Mitkov (Wolverhampton, UK) and Walter Daelemans (Antwerp, Belgium). The TSD 2012 conference will be accompanied by a one-day satellite workshop on Hybrid Machine Translation.

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

Computer Science Logic (CSL) is the annual conference of the European Association for Computer Science Logic. The conference is intended for computer scientists whose research activities involve logic, as well as for logicians working on issues significant for computer science.

For more information, see http://csl2012.lacl.fr/

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 nineteenth WoLLIC will be held at the University of Buenos Aires, Argentina, from September 3rd to 6th, 2012.

WoLLIC is sponsored by the Association for Symbolic Logic (ASL), the Interest Group in Pure and Applied Logics (IGPL), the The Association for Logic, Language and Information (FoLLI), the European Association for Theoretical Computer Science (EATCS), the European Association for Computer Science Logic (EACSL), the Sociedade Brasileira de Computação (SBC), and the Sociedade Brasileira de Lógica (SBL).

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

TSD series evolved as a prime forum for interaction between researchers in both spoken and written language processing from all over the world. TSD 2012 will address the following topics within the field of natural language processing:
corpora, texts and transcription
speech analysis, recognition and synthesis
their intertwining within NL dialogue systems.

The conference program will include presentation of invited papers, oral presentations, and poster/demonstration sessions. Papers will be presented in plenary or topic oriented sessions. Keynote Speakers are Ruslan Mitkov (Wolverhampton, UK) and Walter Daelemans (Antwerp, Belgium). The TSD 2012 conference will be accompanied by a one-day satellite workshop on Hybrid Machine Translation.

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

Computer Science Logic (CSL) is the annual conference of the European Association for Computer Science Logic. The conference is intended for computer scientists whose research activities involve logic, as well as for logicians working on issues significant for computer science.

For more information, see http://csl2012.lacl.fr/

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 nineteenth WoLLIC will be held at the University of Buenos Aires, Argentina, from September 3rd to 6th, 2012.

WoLLIC is sponsored by the Association for Symbolic Logic (ASL), the Interest Group in Pure and Applied Logics (IGPL), the The Association for Logic, Language and Information (FoLLI), the European Association for Theoretical Computer Science (EATCS), the European Association for Computer Science Logic (EACSL), the Sociedade Brasileira de Computação (SBC), and the Sociedade Brasileira de Lógica (SBL).

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

TSD series evolved as a prime forum for interaction between researchers in both spoken and written language processing from all over the world. TSD 2012 will address the following topics within the field of natural language processing:
corpora, texts and transcription
speech analysis, recognition and synthesis
their intertwining within NL dialogue systems.

The conference program will include presentation of invited papers, oral presentations, and poster/demonstration sessions. Papers will be presented in plenary or topic oriented sessions. Keynote Speakers are Ruslan Mitkov (Wolverhampton, UK) and Walter Daelemans (Antwerp, Belgium). The TSD 2012 conference will be accompanied by a one-day satellite workshop on Hybrid Machine Translation.

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

Model checking is a tool-supported technique to analyse the correctness of ICT systems that enjoys increasing popularity in both scientific and industrial circles. In the past twenty-five years, research in this area has led to dramatic improvements in the performance of model checking tools. This has enabled its application to real-life problems, and has induced major corporations such as Microsoft and Intel to invest in the development and application of model checking technology.

The Dutch Model Checking Day (DMCD) is a forum for practitioners and researchers interested in model-based techniques for the validation and analysis of software and hardware. DMCD covers a broad spectrum of topics, ranging from fundamental algorithms to industrial applications and tools. The workshop aims to foster interactions and exchanges of ideas with all related areas in software engineering.

Registration required, but it is free of charge. For more information, see http://www.cs.vu.nl/~ekr/dmcd2012/

Computer Science Logic (CSL) is the annual conference of the European Association for Computer Science Logic. The conference is intended for computer scientists whose research activities involve logic, as well as for logicians working on issues significant for computer science.

For more information, see http://csl2012.lacl.fr/

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 nineteenth WoLLIC will be held at the University of Buenos Aires, Argentina, from September 3rd to 6th, 2012.

WoLLIC is sponsored by the Association for Symbolic Logic (ASL), the Interest Group in Pure and Applied Logics (IGPL), the The Association for Logic, Language and Information (FoLLI), the European Association for Theoretical Computer Science (EATCS), the European Association for Computer Science Logic (EACSL), the Sociedade Brasileira de Computação (SBC), and the Sociedade Brasileira de Lógica (SBL).

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

TSD series evolved as a prime forum for interaction between researchers in both spoken and written language processing from all over the world. TSD 2012 will address the following topics within the field of natural language processing:
corpora, texts and transcription
speech analysis, recognition and synthesis
their intertwining within NL dialogue systems.

The conference program will include presentation of invited papers, oral presentations, and poster/demonstration sessions. Papers will be presented in plenary or topic oriented sessions. Keynote Speakers are Ruslan Mitkov (Wolverhampton, UK) and Walter Daelemans (Antwerp, Belgium). The TSD 2012 conference will be accompanied by a one-day satellite workshop on Hybrid Machine Translation.

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

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 applications, and stimulate cross-fertilization.

Please visit the conference website (http://www.gandalf.unina.it) for more information.

TSD series evolved as a prime forum for interaction between researchers in both spoken and written language processing from all over the world. TSD 2012 will address the following topics within the field of natural language processing:
corpora, texts and transcription
speech analysis, recognition and synthesis
their intertwining within NL dialogue systems.

The conference program will include presentation of invited papers, oral presentations, and poster/demonstration sessions. Papers will be presented in plenary or topic oriented sessions. Keynote Speakers are Ruslan Mitkov (Wolverhampton, UK) and Walter Daelemans (Antwerp, Belgium). The TSD 2012 conference will be accompanied by a one-day satellite workshop on Hybrid Machine Translation.

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

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 applications, and stimulate cross-fertilization.

Please visit the conference website (http://www.gandalf.unina.it) for more information.

The ESF Networking Programme on Games for Design and Verification is a European Network pursuing research and training on the design and verification of computing systems, in a framework that is based on the interplay of finite and infinite games, mathematical logic and automata theory. GAMES is the annual workshop of the Network and this year edition is the concluding one. GAMES 2012 will be held at Universita' di Napoli Federico II, Italy.

The scope of the workshop includes the mathematical and algorithmic analysis of finite and infinite games, the interplay of games with automata theory and logic, and applications of games, automata, and logic to the design and verification of computing systems. As in previous years, GAMES 2012 will be an informal workshop, without proceedings. Its programme consists of 10 invited talks, contributed talks (30 min) and short presentations (15 min).

Please visit the workshop website (http://www.games.unina.it/) for more information.

On the 7th of September 2012, there will be a workshop "Intuitionism in 2012", preceeding the Heyting lecture by Yiannis Moschovakis. Invited speakers: Benno van den Berg, Rosalie Iemhoff, Joan Rand Moschovakis.

For more information, see https://www.illc.uva.nl/KNAW/Heyting/nl/Events/Intuitionism-in-2012/

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 applications, and stimulate cross-fertilization.

Please visit the conference website (http://www.gandalf.unina.it) for more information.

The ESF Networking Programme on Games for Design and Verification is a European Network pursuing research and training on the design and verification of computing systems, in a framework that is based on the interplay of finite and infinite games, mathematical logic and automata theory. GAMES is the annual workshop of the Network and this year edition is the concluding one. GAMES 2012 will be held at Universita' di Napoli Federico II, Italy.

The scope of the workshop includes the mathematical and algorithmic analysis of finite and infinite games, the interplay of games with automata theory and logic, and applications of games, automata, and logic to the design and verification of computing systems. As in previous years, GAMES 2012 will be an informal workshop, without proceedings. Its programme consists of 10 invited talks, contributed talks (30 min) and short presentations (15 min).

Please visit the workshop website (http://www.games.unina.it/) for more information.

István Németi is turning 70 in 2012. We are pleased to announce that the Alfréd Rényi Institute of Mathematics is organizing the 1st Logic and Relativity conference in honor of this occasion.

The main topics of the conference are logic, relativity theory (both special and general) and related fields. Topics include (but are not restricted to):
- Logic and relativity
- Logical foundations of spacetime theories
- Algebraic logic
- Universal logic
- Relativistic computation

For more information, see http://www.renyi.hu/conferences/nemeti70/

The ESF Networking Programme on Games for Design and Verification is a European Network pursuing research and training on the design and verification of computing systems, in a framework that is based on the interplay of finite and infinite games, mathematical logic and automata theory. GAMES is the annual workshop of the Network and this year edition is the concluding one. GAMES 2012 will be held at Universita' di Napoli Federico II, Italy.

The scope of the workshop includes the mathematical and algorithmic analysis of finite and infinite games, the interplay of games with automata theory and logic, and applications of games, automata, and logic to the design and verification of computing systems. As in previous years, GAMES 2012 will be an informal workshop, without proceedings. Its programme consists of 10 invited talks, contributed talks (30 min) and short presentations (15 min).

Please visit the workshop website (http://www.games.unina.it/) for more information.

István Németi is turning 70 in 2012. We are pleased to announce that the Alfréd Rényi Institute of Mathematics is organizing the 1st Logic and Relativity conference in honor of this occasion.

The main topics of the conference are logic, relativity theory (both special and general) and related fields. Topics include (but are not restricted to):
- Logic and relativity
- Logical foundations of spacetime theories
- Algebraic logic
- Universal logic
- Relativistic computation

For more information, see http://www.renyi.hu/conferences/nemeti70/

The LFCS series provides an outlet for the fast-growing body of work in the logical foundations of computer science, e.g., areas of fundamental theoretical logic related to computer science. The LFCS series began with Logic at Botik, Pereslavl-Zalessky, 1989, and was co-organized by Albert R. Meyer (MIT) and Michael Taitslin (Tver), after which organization passed to Anil Nerode.

For more information, see http://lfcs.info/ or http://www.easychair.org/LFCS13/

The ESF Networking Programme on Games for Design and Verification is a European Network pursuing research and training on the design and verification of computing systems, in a framework that is based on the interplay of finite and infinite games, mathematical logic and automata theory. GAMES is the annual workshop of the Network and this year edition is the concluding one. GAMES 2012 will be held at Universita' di Napoli Federico II, Italy.

The scope of the workshop includes the mathematical and algorithmic analysis of finite and infinite games, the interplay of games with automata theory and logic, and applications of games, automata, and logic to the design and verification of computing systems. As in previous years, GAMES 2012 will be an informal workshop, without proceedings. Its programme consists of 10 invited talks, contributed talks (30 min) and short presentations (15 min).

Please visit the workshop website (http://www.games.unina.it/) for more information.

István Németi is turning 70 in 2012. We are pleased to announce that the Alfréd Rényi Institute of Mathematics is organizing the 1st Logic and Relativity conference in honor of this occasion.

The main topics of the conference are logic, relativity theory (both special and general) and related fields. Topics include (but are not restricted to):
- Logic and relativity
- Logical foundations of spacetime theories
- Algebraic logic
- Universal logic
- Relativistic computation

For more information, see http://www.renyi.hu/conferences/nemeti70/

Mathematical Cultures 1 is the first of three on mathematics as culture and mathematics in culture. It is organized by a research network funded by the Arts and Humanities Research Council under the 'science in culture' highlight notice, with additional support from the London Mathematical Society.

The first conference will gather research that explores and maps the variety of and connections among contemporary mathematical cultures. These can be research cultures, but may also include practitioner cultures (e.g. among engineers, economists, social scientists, etc.) and mathematical cultures among instructor and student groups (e.g. primary/secondary/tertiary teachers, school pupils, mathematics students at all levels). The project will not invite contributions on historically or culturally remote mathematical cultures except as these illuminate contemporary mathematical culture in developed societies.

For more information, see https://sites.google.com/site/mathematicalcultures/home.

Argumentation is an important and exciting research topic in artificial intelligence, with a broad spectrum of research activities ranging from theory to applications. The International Conference on Computational Models of Argument (COMMA) is a regular forum for presentation and exchange of the latest research results related to computational aspects of argumentation. After the successful editions in Liverpool (2006), Toulouse (2008) and Desenzano del Garda (2010), COMMA 2010 will be held in Vienna in September 2012.

For more information, see http://www.kr.tuwien.ac.at/events/comma2012/

The first annual Hamburg Summer School will take place on 10-14 September 2012, at the Department of Philosophy of the University of Hamburg. This year's speaker is Prof. Timothy Williamson (Wykeham Professor of Logic, New College, Oxford). He will give lectures on quantification and modality, based on his forthcoming book on those issues.

The course is open for a limited number of external participants. Prospective participants are asked to prepare for the course by studying the first three chapters of Williamson's book, which will be made available in due course.

If you would like to participate, please send an email, with brief CV appended, to sommerkurs at gmx.de. For more information on the summer school, including accommodation and travel suggestions, see http://hamburgersommerkurs.wordpress.com

The third official meeting of the EUSFLAT Working Group on Mathematical Fuzzy Logic will be held on 10-14 September 2012 in Kanazawa, Japan. The conference is organized by Research Center for Integrated Science, Japan Advanced Institute of Science and Technology.

Mathematical Fuzzy Logic is a subdiscipline of Mathematical Logic which studies the notion of comparative truth. The assumption that 'truth comes in degrees' has proved to be very useful in many, both theoretical and applied, areas of Mathematics, Computer Science and Philosophy. The main goal of this meeting is to foster collaboration between researchers in the area of Mathematical Fuzzy Logic, and to promote communication and cooperation with members of neighbouring fields. The deadline for contributions is 22 April 2012. The notification of acceptance/rejection will be sent until 3 June 2012.

For more information, see http://www.jaist.ac.jp/rcis/latd12/

The ESF Networking Programme on Games for Design and Verification is a European Network pursuing research and training on the design and verification of computing systems, in a framework that is based on the interplay of finite and infinite games, mathematical logic and automata theory. GAMES is the annual workshop of the Network and this year edition is the concluding one. GAMES 2012 will be held at Universita' di Napoli Federico II, Italy.

The scope of the workshop includes the mathematical and algorithmic analysis of finite and infinite games, the interplay of games with automata theory and logic, and applications of games, automata, and logic to the design and verification of computing systems. As in previous years, GAMES 2012 will be an informal workshop, without proceedings. Its programme consists of 10 invited talks, contributed talks (30 min) and short presentations (15 min).

Please visit the workshop website (http://www.games.unina.it/) for more information.

István Németi is turning 70 in 2012. We are pleased to announce that the Alfréd Rényi Institute of Mathematics is organizing the 1st Logic and Relativity conference in honor of this occasion.

The main topics of the conference are logic, relativity theory (both special and general) and related fields. Topics include (but are not restricted to):
- Logic and relativity
- Logical foundations of spacetime theories
- Algebraic logic
- Universal logic
- Relativistic computation

For more information, see http://www.renyi.hu/conferences/nemeti70/

Mathematical Cultures 1 is the first of three on mathematics as culture and mathematics in culture. It is organized by a research network funded by the Arts and Humanities Research Council under the 'science in culture' highlight notice, with additional support from the London Mathematical Society.

The first conference will gather research that explores and maps the variety of and connections among contemporary mathematical cultures. These can be research cultures, but may also include practitioner cultures (e.g. among engineers, economists, social scientists, etc.) and mathematical cultures among instructor and student groups (e.g. primary/secondary/tertiary teachers, school pupils, mathematics students at all levels). The project will not invite contributions on historically or culturally remote mathematical cultures except as these illuminate contemporary mathematical culture in developed societies.

For more information, see https://sites.google.com/site/mathematicalcultures/home.

Argumentation is an important and exciting research topic in artificial intelligence, with a broad spectrum of research activities ranging from theory to applications. The International Conference on Computational Models of Argument (COMMA) is a regular forum for presentation and exchange of the latest research results related to computational aspects of argumentation. After the successful editions in Liverpool (2006), Toulouse (2008) and Desenzano del Garda (2010), COMMA 2010 will be held in Vienna in September 2012.

For more information, see http://www.kr.tuwien.ac.at/events/comma2012/

The first annual Hamburg Summer School will take place on 10-14 September 2012, at the Department of Philosophy of the University of Hamburg. This year's speaker is Prof. Timothy Williamson (Wykeham Professor of Logic, New College, Oxford). He will give lectures on quantification and modality, based on his forthcoming book on those issues.

The course is open for a limited number of external participants. Prospective participants are asked to prepare for the course by studying the first three chapters of Williamson's book, which will be made available in due course.

If you would like to participate, please send an email, with brief CV appended, to sommerkurs at gmx.de. For more information on the summer school, including accommodation and travel suggestions, see http://hamburgersommerkurs.wordpress.com

The third official meeting of the EUSFLAT Working Group on Mathematical Fuzzy Logic will be held on 10-14 September 2012 in Kanazawa, Japan. The conference is organized by Research Center for Integrated Science, Japan Advanced Institute of Science and Technology.

Mathematical Fuzzy Logic is a subdiscipline of Mathematical Logic which studies the notion of comparative truth. The assumption that 'truth comes in degrees' has proved to be very useful in many, both theoretical and applied, areas of Mathematics, Computer Science and Philosophy. The main goal of this meeting is to foster collaboration between researchers in the area of Mathematical Fuzzy Logic, and to promote communication and cooperation with members of neighbouring fields. The deadline for contributions is 22 April 2012. The notification of acceptance/rejection will be sent until 3 June 2012.

For more information, see http://www.jaist.ac.jp/rcis/latd12/

Computational social choice is a rapidly growing discipline at the interface of social choice theory and computer science. It is concerned with the application of computational techniques to the study of social choice mechanisms, and with the integration of social choice paradigms into computing.

The aim of the workshop is to bring together different communities: computer scientists interested in computational issues in social choice; people working in artificial intelligence and multiagent systems who are using ideas from social choice to organize societies of artificial software agents; logicians interested in the logic-based specification and analysis of social procedures; computer science theorists analyzing algorithmic properties of social phenomena; and last but not least people coming from social choice theory itself.

For more information, see http://home.agh.edu.pl/~faliszew/COMSOC-2012/.

The ESF Networking Programme on Games for Design and Verification is a European Network pursuing research and training on the design and verification of computing systems, in a framework that is based on the interplay of finite and infinite games, mathematical logic and automata theory. GAMES is the annual workshop of the Network and this year edition is the concluding one. GAMES 2012 will be held at Universita' di Napoli Federico II, Italy.

The scope of the workshop includes the mathematical and algorithmic analysis of finite and infinite games, the interplay of games with automata theory and logic, and applications of games, automata, and logic to the design and verification of computing systems. As in previous years, GAMES 2012 will be an informal workshop, without proceedings. Its programme consists of 10 invited talks, contributed talks (30 min) and short presentations (15 min).

Please visit the workshop website (http://www.games.unina.it/) for more information.

István Németi is turning 70 in 2012. We are pleased to announce that the Alfréd Rényi Institute of Mathematics is organizing the 1st Logic and Relativity conference in honor of this occasion.

The main topics of the conference are logic, relativity theory (both special and general) and related fields. Topics include (but are not restricted to):
- Logic and relativity
- Logical foundations of spacetime theories
- Algebraic logic
- Universal logic
- Relativistic computation

For more information, see http://www.renyi.hu/conferences/nemeti70/

Mathematical Cultures 1 is the first of three on mathematics as culture and mathematics in culture. It is organized by a research network funded by the Arts and Humanities Research Council under the 'science in culture' highlight notice, with additional support from the London Mathematical Society.

The first conference will gather research that explores and maps the variety of and connections among contemporary mathematical cultures. These can be research cultures, but may also include practitioner cultures (e.g. among engineers, economists, social scientists, etc.) and mathematical cultures among instructor and student groups (e.g. primary/secondary/tertiary teachers, school pupils, mathematics students at all levels). The project will not invite contributions on historically or culturally remote mathematical cultures except as these illuminate contemporary mathematical culture in developed societies.

For more information, see https://sites.google.com/site/mathematicalcultures/home.

Argumentation is an important and exciting research topic in artificial intelligence, with a broad spectrum of research activities ranging from theory to applications. The International Conference on Computational Models of Argument (COMMA) is a regular forum for presentation and exchange of the latest research results related to computational aspects of argumentation. After the successful editions in Liverpool (2006), Toulouse (2008) and Desenzano del Garda (2010), COMMA 2010 will be held in Vienna in September 2012.

For more information, see http://www.kr.tuwien.ac.at/events/comma2012/

The first annual Hamburg Summer School will take place on 10-14 September 2012, at the Department of Philosophy of the University of Hamburg. This year's speaker is Prof. Timothy Williamson (Wykeham Professor of Logic, New College, Oxford). He will give lectures on quantification and modality, based on his forthcoming book on those issues.

The course is open for a limited number of external participants. Prospective participants are asked to prepare for the course by studying the first three chapters of Williamson's book, which will be made available in due course.

If you would like to participate, please send an email, with brief CV appended, to sommerkurs at gmx.de. For more information on the summer school, including accommodation and travel suggestions, see http://hamburgersommerkurs.wordpress.com

The third official meeting of the EUSFLAT Working Group on Mathematical Fuzzy Logic will be held on 10-14 September 2012 in Kanazawa, Japan. The conference is organized by Research Center for Integrated Science, Japan Advanced Institute of Science and Technology.

Mathematical Fuzzy Logic is a subdiscipline of Mathematical Logic which studies the notion of comparative truth. The assumption that 'truth comes in degrees' has proved to be very useful in many, both theoretical and applied, areas of Mathematics, Computer Science and Philosophy. The main goal of this meeting is to foster collaboration between researchers in the area of Mathematical Fuzzy Logic, and to promote communication and cooperation with members of neighbouring fields. The deadline for contributions is 22 April 2012. The notification of acceptance/rejection will be sent until 3 June 2012.

For more information, see http://www.jaist.ac.jp/rcis/latd12/

Computational social choice is a rapidly growing discipline at the interface of social choice theory and computer science. It is concerned with the application of computational techniques to the study of social choice mechanisms, and with the integration of social choice paradigms into computing.

The aim of the workshop is to bring together different communities: computer scientists interested in computational issues in social choice; people working in artificial intelligence and multiagent systems who are using ideas from social choice to organize societies of artificial software agents; logicians interested in the logic-based specification and analysis of social procedures; computer science theorists analyzing algorithmic properties of social phenomena; and last but not least people coming from social choice theory itself.

For more information, see http://home.agh.edu.pl/~faliszew/COMSOC-2012/.

Relation algebra in its modern form has been developed in fruitful exchange with neighbouring disciplines such as lattice and order theory, universal algebra, category theory, topology and model theory. Relational and lattice-theoretic methods are important to the semantic study of many nonclassical logics, as well as in the foundations of computer science, where they are widely applied. This has led to a research area with a quite liberal attitude in which results, tools and techniques from neighbouring fields are freely transported and combined. The area thus serves as an interface between fields and application domains.

The workshop aims to bring together researchers from various countries who are active in different facets of this area. Invited speakers include Zoltan Esik Szeged and Marcel Jackson La Trobe.

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

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

The conference will span three days, and will be organized as a combination of technical paper presentations, keynote lectures, and tutorials. In addition, TIME 2012 will feature a special track on Temporal Representation and Reasoning in Medicine. TIME 2012 is an official event of THE ALAN TURING YEAR.

For more information, see http://www.tech.dmu.ac.uk/STRL/time12/ or contact time12 at dmu.ac.uk (for questions related to submission, reviewing, and program) or time12-org at dmu.ac.uk (for questions related to local organization).

The first annual Hamburg Summer School will take place on 10-14 September 2012, at the Department of Philosophy of the University of Hamburg. This year's speaker is Prof. Timothy Williamson (Wykeham Professor of Logic, New College, Oxford). He will give lectures on quantification and modality, based on his forthcoming book on those issues.

The course is open for a limited number of external participants. Prospective participants are asked to prepare for the course by studying the first three chapters of Williamson's book, which will be made available in due course.

If you would like to participate, please send an email, with brief CV appended, to sommerkurs at gmx.de. For more information on the summer school, including accommodation and travel suggestions, see http://hamburgersommerkurs.wordpress.com

The third official meeting of the EUSFLAT Working Group on Mathematical Fuzzy Logic will be held on 10-14 September 2012 in Kanazawa, Japan. The conference is organized by Research Center for Integrated Science, Japan Advanced Institute of Science and Technology.

Mathematical Fuzzy Logic is a subdiscipline of Mathematical Logic which studies the notion of comparative truth. The assumption that 'truth comes in degrees' has proved to be very useful in many, both theoretical and applied, areas of Mathematics, Computer Science and Philosophy. The main goal of this meeting is to foster collaboration between researchers in the area of Mathematical Fuzzy Logic, and to promote communication and cooperation with members of neighbouring fields. The deadline for contributions is 22 April 2012. The notification of acceptance/rejection will be sent until 3 June 2012.

For more information, see http://www.jaist.ac.jp/rcis/latd12/

Computational social choice is a rapidly growing discipline at the interface of social choice theory and computer science. It is concerned with the application of computational techniques to the study of social choice mechanisms, and with the integration of social choice paradigms into computing.

The aim of the workshop is to bring together different communities: computer scientists interested in computational issues in social choice; people working in artificial intelligence and multiagent systems who are using ideas from social choice to organize societies of artificial software agents; logicians interested in the logic-based specification and analysis of social procedures; computer science theorists analyzing algorithmic properties of social phenomena; and last but not least people coming from social choice theory itself.

For more information, see http://home.agh.edu.pl/~faliszew/COMSOC-2012/.

Relation algebra in its modern form has been developed in fruitful exchange with neighbouring disciplines such as lattice and order theory, universal algebra, category theory, topology and model theory. Relational and lattice-theoretic methods are important to the semantic study of many nonclassical logics, as well as in the foundations of computer science, where they are widely applied. This has led to a research area with a quite liberal attitude in which results, tools and techniques from neighbouring fields are freely transported and combined. The area thus serves as an interface between fields and application domains.

The workshop aims to bring together researchers from various countries who are active in different facets of this area. Invited speakers include Zoltan Esik Szeged and Marcel Jackson La Trobe.

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

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

The conference will span three days, and will be organized as a combination of technical paper presentations, keynote lectures, and tutorials. In addition, TIME 2012 will feature a special track on Temporal Representation and Reasoning in Medicine. TIME 2012 is an official event of THE ALAN TURING YEAR.

For more information, see http://www.tech.dmu.ac.uk/STRL/time12/ or contact time12 at dmu.ac.uk (for questions related to submission, reviewing, and program) or time12-org at dmu.ac.uk (for questions related to local organization).

The organizers aim to provide the opportunity for students and doctoral candidates of Philosophy to get in touch with other prospective or well established philosophers, take a first peek into the philosophical business, or simply to attend interesting presentations. Beside the conference presentations there will be two symposia, one on "causality" and one on analytic philosophy of religion.

For more information, see http://www.sophia-conference.org/

The Colloquium Logicum is organized every two years by the "Deutsche Vereinigung fuer Mathematische Logik und fuer Grundlagenforschung der Exakten Wissenschaften" (DVMLG).

CL 2012 is part of the world-wide Alan Turing Year 2012. Beyond the focus on Alan Turing and the history and philosophy of computing, the conference will cover the whole range of mathematical logic and the foundations of the exact sciences, in particular, logic in philosophy, computer science and artificial intelligence. In addition to the Turing celebrations, the DVMLG celebrates its own 50th anniversary.

In addition to the keynote talks, there will be a "PhD Colloquium" with invited presentations of excellent recent PhD graduates.

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

The first annual Hamburg Summer School will take place on 10-14 September 2012, at the Department of Philosophy of the University of Hamburg. This year's speaker is Prof. Timothy Williamson (Wykeham Professor of Logic, New College, Oxford). He will give lectures on quantification and modality, based on his forthcoming book on those issues.

The course is open for a limited number of external participants. Prospective participants are asked to prepare for the course by studying the first three chapters of Williamson's book, which will be made available in due course.

If you would like to participate, please send an email, with brief CV appended, to sommerkurs at gmx.de. For more information on the summer school, including accommodation and travel suggestions, see http://hamburgersommerkurs.wordpress.com

The third official meeting of the EUSFLAT Working Group on Mathematical Fuzzy Logic will be held on 10-14 September 2012 in Kanazawa, Japan. The conference is organized by Research Center for Integrated Science, Japan Advanced Institute of Science and Technology.

Mathematical Fuzzy Logic is a subdiscipline of Mathematical Logic which studies the notion of comparative truth. The assumption that 'truth comes in degrees' has proved to be very useful in many, both theoretical and applied, areas of Mathematics, Computer Science and Philosophy. The main goal of this meeting is to foster collaboration between researchers in the area of Mathematical Fuzzy Logic, and to promote communication and cooperation with members of neighbouring fields. The deadline for contributions is 22 April 2012. The notification of acceptance/rejection will be sent until 3 June 2012.

For more information, see http://www.jaist.ac.jp/rcis/latd12/

Relation algebra in its modern form has been developed in fruitful exchange with neighbouring disciplines such as lattice and order theory, universal algebra, category theory, topology and model theory. Relational and lattice-theoretic methods are important to the semantic study of many nonclassical logics, as well as in the foundations of computer science, where they are widely applied. This has led to a research area with a quite liberal attitude in which results, tools and techniques from neighbouring fields are freely transported and combined. The area thus serves as an interface between fields and application domains.

The workshop aims to bring together researchers from various countries who are active in different facets of this area. Invited speakers include Zoltan Esik Szeged and Marcel Jackson La Trobe.

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

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

The conference will span three days, and will be organized as a combination of technical paper presentations, keynote lectures, and tutorials. In addition, TIME 2012 will feature a special track on Temporal Representation and Reasoning in Medicine. TIME 2012 is an official event of THE ALAN TURING YEAR.

For more information, see http://www.tech.dmu.ac.uk/STRL/time12/ or contact time12 at dmu.ac.uk (for questions related to submission, reviewing, and program) or time12-org at dmu.ac.uk (for questions related to local organization).

The organizers aim to provide the opportunity for students and doctoral candidates of Philosophy to get in touch with other prospective or well established philosophers, take a first peek into the philosophical business, or simply to attend interesting presentations. Beside the conference presentations there will be two symposia, one on "causality" and one on analytic philosophy of religion.

For more information, see http://www.sophia-conference.org/

The Colloquium Logicum is organized every two years by the "Deutsche Vereinigung fuer Mathematische Logik und fuer Grundlagenforschung der Exakten Wissenschaften" (DVMLG).

CL 2012 is part of the world-wide Alan Turing Year 2012. Beyond the focus on Alan Turing and the history and philosophy of computing, the conference will cover the whole range of mathematical logic and the foundations of the exact sciences, in particular, logic in philosophy, computer science and artificial intelligence. In addition to the Turing celebrations, the DVMLG celebrates its own 50th anniversary.

In addition to the keynote talks, there will be a "PhD Colloquium" with invited presentations of excellent recent PhD graduates.

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

Acting Right is a one-day workshop on (relations between) norms, games and actions organized at the Ghent University Faculty of Arts and Humanities by the Centre for Logic and Philosophy of Science. Specific topics discussed during the workshop include: (defeasible) deontic logic, logics of action, game theoretical approaches to normative reasoning and logical approaches to planning.

See the website (http://www.philosophy.ugent.be/NGA) for details and registration.

During the last decade, it has become clear that network interactions have a much larger role in our lives than had previously been appreciated: social networks have a defining impact on not only consumer choice but are also central in social and political decisions ranging from the political discourse in the blogosphere to the organization and coordination of protests in the Arab spring. Similarly financial networks seem at the heart of the 2008 crash. Network effects are now seen as major elements in other domains with human decisions including healthcare, public health, smart power grids, urban transportation, and more. As a consequence, both businesses and government are increasingly looking to build new types of networks to improve management abilities.

This workshop is intended to bring together researchers from different communities working on information propagation and decision making in social networks to investigate both rigorous models that highlight capabilities and limitations of such networks as well as empirical and simulations studies of how people exchange information, influence each other, make decisions and develop social interactions.

For more information, see http://wids.lids.mit.edu/

The organizers aim to provide the opportunity for students and doctoral candidates of Philosophy to get in touch with other prospective or well established philosophers, take a first peek into the philosophical business, or simply to attend interesting presentations. Beside the conference presentations there will be two symposia, one on "causality" and one on analytic philosophy of religion.

For more information, see http://www.sophia-conference.org/

The Colloquium Logicum is organized every two years by the "Deutsche Vereinigung fuer Mathematische Logik und fuer Grundlagenforschung der Exakten Wissenschaften" (DVMLG).

CL 2012 is part of the world-wide Alan Turing Year 2012. Beyond the focus on Alan Turing and the history and philosophy of computing, the conference will cover the whole range of mathematical logic and the foundations of the exact sciences, in particular, logic in philosophy, computer science and artificial intelligence. In addition to the Turing celebrations, the DVMLG celebrates its own 50th anniversary.

In addition to the keynote talks, there will be a "PhD Colloquium" with invited presentations of excellent recent PhD graduates.

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

This conference will tackle the notion of logical form, and its application to natural and formal languages. In what sense is an argument valid (or invalid) in virtue of its form? What are the goals of formalisation? Does grammatical form really mislead as to logical form? And what are forms anyway, and how do they reflect the structure of the world?

For more information, see http://www.phil.cam.ac.uk/news_events/logicalformconf.html

This conference will tackle the notion of logical form, and its application to natural and formal languages. In what sense is an argument valid (or invalid) in virtue of its form? What are the goals of formalisation? Does grammatical form really mislead as to logical form? And what are forms anyway, and how do they reflect the structure of the world?

For more information, see http://www.phil.cam.ac.uk/news_events/logicalformconf.html

The SEMDIAL series of workshops brings together researchers working on the semantics and pragmatics of dialogue in fields such as artificial intelligence, computational linguistics, formal semantics/pragmatics, philosophy, psychology, and neuroscience. In 2012 the workshop will be hosted by Université Paris-Diderot (Paris 7) and will include invited talks by Eve V. Clark, Gert-Jan M. Kruiff, and François Recanati. SeineDial will be immediately preceded by a workshop on Dialogue and Contextualism and will feature a special session on The Acquisition of Dialogue.

For more information, see the SemDial page at https://www.illc.uva.nl/semdial/ or contact raquel.fernandez at uva.nl

The SEMDIAL series of workshops brings together researchers working on the semantics and pragmatics of dialogue in fields such as artificial intelligence, computational linguistics, formal semantics/pragmatics, philosophy, psychology, and neuroscience. In 2012 the workshop will be hosted by Université Paris-Diderot (Paris 7) and will include invited talks by Eve V. Clark, Gert-Jan M. Kruiff, and François Recanati. SeineDial will be immediately preceded by a workshop on Dialogue and Contextualism and will feature a special session on The Acquisition of Dialogue.

For more information, see the SemDial page at https://www.illc.uva.nl/semdial/ or contact raquel.fernandez at uva.nl

The 30th Symposium on Theoretical Aspects of Computer Science will be held in Kiel, Feb 27-Mar 2, 2013 (Wednesday through Saturday). As usual, the program will be composed of approximately 50-60 contributed and three invited talks, by Kousha Etessami, Kurth Mehlhorn, and Stéphan Thomassé. As this year's pre-conference tutorial on 'Iterative Methods in Combinatorial Optimization' by R. Ravi was a great success, STACS 2013 will also include a tutorial, by Dániel Marx on algorithmic graph structure theory.

For more information, see http://www.stacs2013.uni-kiel.de or cotnact info at stacs2013.uni-kiel.de (for general information) or pc-chairs at stacs2013.uni-kiel.de (for information regarding paper submission).

The SEMDIAL series of workshops brings together researchers working on the semantics and pragmatics of dialogue in fields such as artificial intelligence, computational linguistics, formal semantics/pragmatics, philosophy, psychology, and neuroscience. In 2012 the workshop will be hosted by Université Paris-Diderot (Paris 7) and will include invited talks by Eve V. Clark, Gert-Jan M. Kruiff, and François Recanati. SeineDial will be immediately preceded by a workshop on Dialogue and Contextualism and will feature a special session on The Acquisition of Dialogue.

For more information, see the SemDial page at https://www.illc.uva.nl/semdial/ or contact raquel.fernandez at uva.nl

We live in a world of possibilities. Much of our practical life - planning, deciding, hoping and fearing - only makes sense before a background of options to choose from and possibilities for what the future will bring: real possibilities in concrete situations. Work on real possibility has so far been mainly technical, e.g., in the formal-logical study of the semantics of the future tense and the problem of future contingents. In this workshop we want to combine logical and philosophical aspects of real possibility.

WIRP-2 will take place as a satellite workshop following the GAP.8 conference of the Society for Analytic Philosophy in Germany. Attendance of the workshop is free, but limited due to space restrictions; if you wish to attend, please send an email.

For more information, see the workshop website at http://possibilities.phil.uu.nl/events/wirp2/ or contact us via possibilities at phil.uu.nl.

Speakers include Lara Buchak (Berkeley), Anna-Sara Malmgren (Stanford), Jennifer Nagel (Toronto) and Carolina Sartorio (Arizona).

For more information, see http://www.uni-konstanz.de/philosophie/fe/index.php?article_id=4 or contact corina.stroessner at uni-konstanz.de.

We live in a world of possibilities. Much of our practical life - planning, deciding, hoping and fearing - only makes sense before a background of options to choose from and possibilities for what the future will bring: real possibilities in concrete situations. Work on real possibility has so far been mainly technical, e.g., in the formal-logical study of the semantics of the future tense and the problem of future contingents. In this workshop we want to combine logical and philosophical aspects of real possibility.

WIRP-2 will take place as a satellite workshop following the GAP.8 conference of the Society for Analytic Philosophy in Germany. Attendance of the workshop is free, but limited due to space restrictions; if you wish to attend, please send an email.

For more information, see the workshop website at http://possibilities.phil.uu.nl/events/wirp2/ or contact us via possibilities at phil.uu.nl.

Dependence Logic is an extension of First Order Logic that adds to it atomic formulas for expressing functional dependence relations between terms.

This workshop, held in connection to the PhD defense of Pietro Galliani, will discuss the properties of this logic and of its variants, and, more in general, the role of strategic and game-theoretic reasoning in mathematical logic.

For more information, see http://dependencelogic.org/galliani/workshop.html

Constraint programming (CP) is a programming paradigm that provides useful tools to model and efficiently solve constrained optimisation problems, such as complex resource planning, scheduling, configuration and design.The Association for Constraint Programming (ACP) is a non-profit association that promotes constraint programming in every aspect of the scientific world. Every year ACP supports the organisation of the ACP Summer School with the aim to augment and complement university teaching of CP, and to disseminate a core body of CP knowledge supporting the recognition of CP as a mature and relevant technology for use in industry.

For more information, see http://acpss2012.ii.uni.wroc.pl/, or the ACP website at http://4c.ucc.ie/a4cp/.

Constraint programming (CP) is a programming paradigm that provides useful tools to model and efficiently solve constrained optimisation problems, such as complex resource planning, scheduling, configuration and design.The Association for Constraint Programming (ACP) is a non-profit association that promotes constraint programming in every aspect of the scientific world. Every year ACP supports the organisation of the ACP Summer School with the aim to augment and complement university teaching of CP, and to disseminate a core body of CP knowledge supporting the recognition of CP as a mature and relevant technology for use in industry.

For more information, see http://acpss2012.ii.uni.wroc.pl/, or the ACP website at http://4c.ucc.ie/a4cp/.

Collective decision-making problems arise when a set of individual agents need to make a choice over a set of common alternatives. A central problem in the study of these situations is that of aggregating individual expressions, such as preferences, judgments and beliefs, into a collective view, to obtain a summary of the individual views provided. Several frameworks have been developed to study this problem, by both the community of Social Choice Theory and the community of Artificial Intelligence. This workshop aims at bringing together scholars from diverse research areas to obtain a state-of-the-art survey of current research on frameworks for multi-agent aggregation. The workshop is co-located with the PhD defense of Umberto Grandi which will take place in the Agnietenkapel of the University of Amsterdam on September 25th at 10:00 am.

For more information, see http://staff.science.uva.nl/~grandi/FMA/

Constraint programming (CP) is a programming paradigm that provides useful tools to model and efficiently solve constrained optimisation problems, such as complex resource planning, scheduling, configuration and design.The Association for Constraint Programming (ACP) is a non-profit association that promotes constraint programming in every aspect of the scientific world. Every year ACP supports the organisation of the ACP Summer School with the aim to augment and complement university teaching of CP, and to disseminate a core body of CP knowledge supporting the recognition of CP as a mature and relevant technology for use in industry.

For more information, see http://acpss2012.ii.uni.wroc.pl/, or the ACP website at http://4c.ucc.ie/a4cp/.

The conference Theoretical Computer Science, which is held every two years, either in conjunction or in the framework of the IFIP World Computing Congress, is the meeting place of the TC1 community where new results of computation theory are presented and more broadly experts in theoretical computer science meet to share insights and ask questions about the future directions of the field.

Scope and Topics: Algorithms, Complexity and Models of Computation, Logic, Semantics, Specification and Verification.

For more information, see http://tcs.project.cwi.nl/

Logics provide a formal basis and key descriptive notation for the study and development of applications and systems in Artificial Intelligence (AI). With the depth and maturity of formalisms, methodologies, and systems today, such logics are increasingly important. The European Conference on Logics in Artificial Intelligence began back in 1988, as a workshop, in response to the need for a European forum for the discussion of emerging work in this field. Since then, JELIA has been organized biennially, with English as the official language, and with proceedings published in Springer-Verlag's Lecture Notes in Artificial Intelligence series. In 2012 the conference is organized in Toulouse, France. The increasing interest in this forum, its international level with growing participation from researchers outside Europe, and the overall technical quality, has turned JELIA into a major forum for the discussion of logic-based approaches to AI.

The aim of JELIA 2012 is to bring together active researchers interested in all aspects concerning the use of logics in Artificial Intelligence to discuss current research, results, problems, and applications of both theoretical and practical nature. JELIA strives to foster links and facilitate cross-fertilization of ideas among researchers from various disciplines, among researchers from academia and industry, and between theoreticians and practitioners.

For more information, see http://www.irit.fr/jelia2012/

Constraint programming (CP) is a programming paradigm that provides useful tools to model and efficiently solve constrained optimisation problems, such as complex resource planning, scheduling, configuration and design.The Association for Constraint Programming (ACP) is a non-profit association that promotes constraint programming in every aspect of the scientific world. Every year ACP supports the organisation of the ACP Summer School with the aim to augment and complement university teaching of CP, and to disseminate a core body of CP knowledge supporting the recognition of CP as a mature and relevant technology for use in industry.

For more information, see http://acpss2012.ii.uni.wroc.pl/, or the ACP website at http://4c.ucc.ie/a4cp/.

The conference Theoretical Computer Science, which is held every two years, either in conjunction or in the framework of the IFIP World Computing Congress, is the meeting place of the TC1 community where new results of computation theory are presented and more broadly experts in theoretical computer science meet to share insights and ask questions about the future directions of the field.

Scope and Topics: Algorithms, Complexity and Models of Computation, Logic, Semantics, Specification and Verification.

For more information, see http://tcs.project.cwi.nl/

Logics provide a formal basis and key descriptive notation for the study and development of applications and systems in Artificial Intelligence (AI). With the depth and maturity of formalisms, methodologies, and systems today, such logics are increasingly important. The European Conference on Logics in Artificial Intelligence began back in 1988, as a workshop, in response to the need for a European forum for the discussion of emerging work in this field. Since then, JELIA has been organized biennially, with English as the official language, and with proceedings published in Springer-Verlag's Lecture Notes in Artificial Intelligence series. In 2012 the conference is organized in Toulouse, France. The increasing interest in this forum, its international level with growing participation from researchers outside Europe, and the overall technical quality, has turned JELIA into a major forum for the discussion of logic-based approaches to AI.

The aim of JELIA 2012 is to bring together active researchers interested in all aspects concerning the use of logics in Artificial Intelligence to discuss current research, results, problems, and applications of both theoretical and practical nature. JELIA strives to foster links and facilitate cross-fertilization of ideas among researchers from various disciplines, among researchers from academia and industry, and between theoreticians and practitioners.

For more information, see http://www.irit.fr/jelia2012/

The ever expanding abundance of information and computing power enables researchers and users to tackle highly interesting issues, such as applications providing personalized access and interactivity to multimodal information based on user preferences and semantic concepts or human-machine interface systems utilizing information on the affective state of the user. The general focus of the AIAI conference is to provide insights on how AI can be implemented in real world applications. Also research papers describing advanced prototypes, innovative systems, tools and techniques are encouraged. General survey papers indicating future directions and professional work-in-progress reports are of equal interest. Acceptance will be based on quality, originality and the practical value of the work. We are certain that it will provide a stimulating forum for scientists, engineers and students.

Authors are invited to electronically submit original, English-language research contributions no longer than 10 pages formatted according to the well known LNCS Springer style, or experience reports. Submitted papers must present unpublished work, not being considered for publication in other journals or conferences. Three special Issues of distinguished scientific journals will be edited with selected papers. Deadline for Full paper submission: 22nd of April 2012.

For more information, see http://delab.csd.auth.gr/aiai2012/ or email: liliadis at fmenr.duth.gr

Constraint programming (CP) is a programming paradigm that provides useful tools to model and efficiently solve constrained optimisation problems, such as complex resource planning, scheduling, configuration and design.The Association for Constraint Programming (ACP) is a non-profit association that promotes constraint programming in every aspect of the scientific world. Every year ACP supports the organisation of the ACP Summer School with the aim to augment and complement university teaching of CP, and to disseminate a core body of CP knowledge supporting the recognition of CP as a mature and relevant technology for use in industry.

For more information, see http://acpss2012.ii.uni.wroc.pl/, or the ACP website at http://4c.ucc.ie/a4cp/.

The conference Theoretical Computer Science, which is held every two years, either in conjunction or in the framework of the IFIP World Computing Congress, is the meeting place of the TC1 community where new results of computation theory are presented and more broadly experts in theoretical computer science meet to share insights and ask questions about the future directions of the field.

Scope and Topics: Algorithms, Complexity and Models of Computation, Logic, Semantics, Specification and Verification.

For more information, see http://tcs.project.cwi.nl/

Logics provide a formal basis and key descriptive notation for the study and development of applications and systems in Artificial Intelligence (AI). With the depth and maturity of formalisms, methodologies, and systems today, such logics are increasingly important. The European Conference on Logics in Artificial Intelligence began back in 1988, as a workshop, in response to the need for a European forum for the discussion of emerging work in this field. Since then, JELIA has been organized biennially, with English as the official language, and with proceedings published in Springer-Verlag's Lecture Notes in Artificial Intelligence series. In 2012 the conference is organized in Toulouse, France. The increasing interest in this forum, its international level with growing participation from researchers outside Europe, and the overall technical quality, has turned JELIA into a major forum for the discussion of logic-based approaches to AI.

The aim of JELIA 2012 is to bring together active researchers interested in all aspects concerning the use of logics in Artificial Intelligence to discuss current research, results, problems, and applications of both theoretical and practical nature. JELIA strives to foster links and facilitate cross-fertilization of ideas among researchers from various disciplines, among researchers from academia and industry, and between theoreticians and practitioners.

For more information, see http://www.irit.fr/jelia2012/

The ever expanding abundance of information and computing power enables researchers and users to tackle highly interesting issues, such as applications providing personalized access and interactivity to multimodal information based on user preferences and semantic concepts or human-machine interface systems utilizing information on the affective state of the user. The general focus of the AIAI conference is to provide insights on how AI can be implemented in real world applications. Also research papers describing advanced prototypes, innovative systems, tools and techniques are encouraged. General survey papers indicating future directions and professional work-in-progress reports are of equal interest. Acceptance will be based on quality, originality and the practical value of the work. We are certain that it will provide a stimulating forum for scientists, engineers and students.

Authors are invited to electronically submit original, English-language research contributions no longer than 10 pages formatted according to the well known LNCS Springer style, or experience reports. Submitted papers must present unpublished work, not being considered for publication in other journals or conferences. Three special Issues of distinguished scientific journals will be edited with selected papers. Deadline for Full paper submission: 22nd of April 2012.

For more information, see http://delab.csd.auth.gr/aiai2012/ or email: liliadis at fmenr.duth.gr

The ever expanding abundance of information and computing power enables researchers and users to tackle highly interesting issues, such as applications providing personalized access and interactivity to multimodal information based on user preferences and semantic concepts or human-machine interface systems utilizing information on the affective state of the user. The general focus of the AIAI conference is to provide insights on how AI can be implemented in real world applications. Also research papers describing advanced prototypes, innovative systems, tools and techniques are encouraged. General survey papers indicating future directions and professional work-in-progress reports are of equal interest. Acceptance will be based on quality, originality and the practical value of the work. We are certain that it will provide a stimulating forum for scientists, engineers and students.

Authors are invited to electronically submit original, English-language research contributions no longer than 10 pages formatted according to the well known LNCS Springer style, or experience reports. Submitted papers must present unpublished work, not being considered for publication in other journals or conferences. Three special Issues of distinguished scientific journals will be edited with selected papers. Deadline for Full paper submission: 22nd of April 2012.

For more information, see http://delab.csd.auth.gr/aiai2012/ or email: liliadis at fmenr.duth.gr

Calcutta Logic Circle (CLC) announces its annual workshop on Logic and its Applications to be held at IBRAD, Kolkata from 29th September to 1st October 2012. This year being the birth centenary year of Alan Turing, the programme will have a special focus on Alan Turing and his work.

CLC is an informal research and study group which was formed in 1987, comprising members from various disciplines like, Mathematics, Computer Science and Philosophy, with an objective of providing an appropriate ambience for interdisciplinary exchange of views and opinion in studying foundations of formal logic.

We cordially invite any interested individual to participate in this programme. Please send a note of interest for participation to the organisers by September 8, 2012.

For more information, see http://home.iitk.ac.in/~mohua/clc2012.htm or contact Mihir K. Chakraborty (mihirc4 at gmail.com) or Soma Dutta (somadutta77 at yahoo.co.in).

The International Conference Logic, Argumentation and Critical Thinking III is a new academic effort of our Centre to continue to try not only to deepen and update the production of knowledge in the fields that this conference covers, but also to contribute to a positive valuation of different proposals that develop critical thinking and promote social debate with a standard of reasonableness.

This Conference, organized by the Centre for the Study of Argumentation and Reasoning (CEAR) of the Faculty of Psychology at Diego Portales University, would like to generate tools, approaches and solutions to apply in those fields in which the uses of reason is fundamental: communication, law, education, etc. We do not have an official theoretical position, but rather we value the diversity of angles and proposals.

For more information, see http://www.cear.udp.cl/conferencia/2012/index_en.html

The ever expanding abundance of information and computing power enables researchers and users to tackle highly interesting issues, such as applications providing personalized access and interactivity to multimodal information based on user preferences and semantic concepts or human-machine interface systems utilizing information on the affective state of the user. The general focus of the AIAI conference is to provide insights on how AI can be implemented in real world applications. Also research papers describing advanced prototypes, innovative systems, tools and techniques are encouraged. General survey papers indicating future directions and professional work-in-progress reports are of equal interest. Acceptance will be based on quality, originality and the practical value of the work. We are certain that it will provide a stimulating forum for scientists, engineers and students.

Authors are invited to electronically submit original, English-language research contributions no longer than 10 pages formatted according to the well known LNCS Springer style, or experience reports. Submitted papers must present unpublished work, not being considered for publication in other journals or conferences. Three special Issues of distinguished scientific journals will be edited with selected papers. Deadline for Full paper submission: 22nd of April 2012.

For more information, see http://delab.csd.auth.gr/aiai2012/ or email: liliadis at fmenr.duth.gr

Calcutta Logic Circle (CLC) announces its annual workshop on Logic and its Applications to be held at IBRAD, Kolkata from 29th September to 1st October 2012. This year being the birth centenary year of Alan Turing, the programme will have a special focus on Alan Turing and his work.

CLC is an informal research and study group which was formed in 1987, comprising members from various disciplines like, Mathematics, Computer Science and Philosophy, with an objective of providing an appropriate ambience for interdisciplinary exchange of views and opinion in studying foundations of formal logic.

We cordially invite any interested individual to participate in this programme. Please send a note of interest for participation to the organisers by September 8, 2012.

For more information, see http://home.iitk.ac.in/~mohua/clc2012.htm or contact Mihir K. Chakraborty (mihirc4 at gmail.com) or Soma Dutta (somadutta77 at yahoo.co.in).