We are pleased to announce the newest edition of the International Workshop on Spatio-Temporal Dynamics (STeDy 2012) as a two-day event at the European Conference on Artificial Intelligence (ECAI 2012), Montpellier, France. STeDy-12 focusses on the theme: Commonsense, Space, and Change, and the contemporary scientific agenda of STeDy addresses several areas within Knowledge Representation and Reasoning (KR) in particular, and reaches out to all sub-disciplines within Artificial Intelligence, Spatial Cognition, and Cognitive Technologies in general.

We seek to provide a forum to stimulate and facilitate an active exchange on interdisciplinary applications, ideas, and methods in the above stated areas. The format of the workshop will combine invited speakers, peer-reviewed full contributions, as well as short position papers and posters, and will allow ample time for open discussions amongst the participants.

Details information can be accessed at the STeDy website at http://stedy.spatialnetwork.org/. Queries may be addressed to: bhatt at informatik.uni-bremen.de, h.w.guesgen at massey.ac.nz or davise at cs.nyu.edu.

Advances in Modal Logic is an initiative aimed at presenting the state of the art in modal logic and its various applications. The initiative consists of a conference series together with volumes based on the conferences. Information about the AiML series can be obtained at http://www.aiml.net. AiML-2012 is the ninth conference in the series.

There will be a special session of AiML devoted to papers on hybrid logic, an extension of modal logic which allows us to refer explicitly to states of the model in the syntax of formulas. The scope of the special session is standard hybrid-logical machinery like nominals, satisfaction operators, and the downarrow binder, but also other extensions of modal logic can be considered.

For more information, see http://hylocore.ruc.dk/aiml2012/

This workshop will address the relation between core knowledge, language, music, and culture, with a view to assessing the current understanding of these questions for a theory of the mind/brain. We hope that the participants – scholars from fields as diverse as psychology, linguistics, neurobiology, neurolinguistics, music cognition, and cognitive anthropology – will contribute to defining a research program that may address both new and as yet unresolved research questions in this area.

For more information, see http://musiccognition.blogspot.com/2012/05/ or http://www.lorentzcenter.nl/lc/web/2012/493/info.php3?wsid=493.

The University of North Carolina will inaugurate an annual conference series, beginning in 2012, dedicated to complexity theory, with particular application to understanding the intricacies of human experience across all domains. The goal of the series is to provide a trans-disciplinary venue for scholars from the humanities and the social sciences, as well as some aspects of the natural sciences (such as neuroscience, pharmacology, etc.). Since matters of life and death pertain to human experience in profound and important ways, the conference hopes to attract representatives from the allied health sciences as well.

The conference series will be dedicated to a particular topic each year. The topic for our first conference will be: *Modeling Complexity in the Humanities and Social Sciences.*

For more information, see http://sites.google.com/site/humancomplexity2012/

The 11th Trends in Logic international conference will be held at Ruhr University Bochum, Germany, from June 3-June 5, 2012 under the title "Advances in Philosophical Logic". It is organized by the chair of Logic and Epistemology at the Department of Philosophy II of Ruhr University Bochum, in co-operation with the journal Studia Logica,

For more information, see http://www.ruhr-uni-bochum.de/philosophy/trendsxi

The 11th Trends in Logic international conference will be held at Ruhr University Bochum, Germany, from June 3-June 5, 2012 under the title "Advances in Philosophical Logic". It is organized by the chair of Logic and Epistemology at the Department of Philosophy II of Ruhr University Bochum, in co-operation with the journal Studia Logica,

For more information, see http://www.ruhr-uni-bochum.de/philosophy/trendsxi

Together with the Association of Journalists of Science (VNW) and the Science center NEMO, NWO organises Bessensap for the 12th time. The yearly event, with the theme "science meets the press, the press meets science" aims to bring together journalists, editors and PR officials.

For more information, see http://www.nwo.nl/bessensap

LAMAS is a scientific network spanning an interdisciplinary community of researchers working on logical aspects of MAS from the perspectives of logic, artificial intelligence, computer science, game theory, etc. The LAMAS workshop is the pivotal event of the network and it provides a platform for presentation, exchange, and publication of ideas in all these areas. LAMAS 2012 is a satellite workshop of AAMAS 2012.

For more information, see http://icr.uni.lu/lamas2012/ or contact lamas at uni.lu.

The International Summer School "Information and Uncertainty (SSIU 2012) and the International Workshop "Information, Uncertainty, and Imprecision" (WIUI 2012) aim at bringing together researchers in the areas of information and uncertainty to present recent results and discuss current and future research directions. Of a particular interest to both events are fuzzy logic, veristic uncertainty, probabilistic uncertainty, uncertainty measures, rough sets, and their applications.

The Summer School will contain series of tutorial-like talks by internationally recognized experts and is thus particularly suitable for young researchers including doctoral students. The Workshop will consist of regular talks focusing on current and future research directions and of student presentations in the form of posters and talks.

If you consider your participation, please register (no registration fee). For registration, a program, information about traveling and accommodation, and the latest news, see http://mcin.upol.cz/SSWIU-2012/.

Secure Multiparty Computation is a powerful cryptographic notion that - in theory - can solve virtually any cryptographic protocol problem. In recent years the technology has been used in practice and holds great promise for future applications. MPC technology can be used to implement, for instance, voting, auctions, procurement and benchmarking with better security, in particular without anyone having to reveal his private data to anyone else.

This workshop brings together people in both theory and practice of the field, and we are convinced that this will prove very productive. The first day will be dedicated for tutorials that cover the basic definitions, constructions and building blocks. In the rest of the workshop, leading researchers in the field will present their latest results in secure computation. 22 invited speakers have confirmed participation.

For more information, see http://cfem.au.dk/events/theory-and-practice-of-multiparty-computation/

The 15th Latin American Symposium on Mathematical Logic, SLALM 2012, will be held in Bogota, Colombia, during the week of June 4 to 8, 2012. The first SLALM (Simposio Latinoamericano de Lógica Matemática) was held in 1970 in Santiago de Chile and subsequent meetings have taken place in Brazil, Chile, Colombia, Venezuela, Argentina, Costa Rica, and Mexico. In addition to plenary talks, this meeting willinclude four special sessions on Algebraic and Non-classical logics, Model Theory, Recursion and Computer Science Logic, and Set Theory. Four tutorial courses are planned during the week previous to the meeting.

For more information, see http://matematicas.uniandes.edu.co/eventos/SLALM2012/.

AAMAS is the leading scientific conference for research in autonomous agents and multiagent systems. The AAMAS conference series was initiated in 2002 by merging three highly respected meetings: the International Conference on Multi-Agent Systems (ICMAS); the International Workshop on Agent Theories, Architectures, and Languages (ATAL); and the International Conference on Autonomous Agents (AA). The aim of the joint conference is to provide a single, high-profile, internationally respected archival forum for scientific research in the theory and practice of autonomous agents and multiagent systems. AAMAS 2012 is the eleventh conference in the AAMAS series, following enormously successful previous conferences, and will be held at the Universitat Politècnica de València in Valencia, Spain, June 4-8, 2012.

For more information, see http://aamas2012.webs.upv.es

The 11th Trends in Logic international conference will be held at Ruhr University Bochum, Germany, from June 3-June 5, 2012 under the title "Advances in Philosophical Logic". It is organized by the chair of Logic and Epistemology at the Department of Philosophy II of Ruhr University Bochum, in co-operation with the journal Studia Logica,

For more information, see http://www.ruhr-uni-bochum.de/philosophy/trendsxi

LAMAS is a scientific network spanning an interdisciplinary community of researchers working on logical aspects of MAS from the perspectives of logic, artificial intelligence, computer science, game theory, etc. The LAMAS workshop is the pivotal event of the network and it provides a platform for presentation, exchange, and publication of ideas in all these areas. LAMAS 2012 is a satellite workshop of AAMAS 2012.

For more information, see http://icr.uni.lu/lamas2012/ or contact lamas at uni.lu.

The International Summer School "Information and Uncertainty (SSIU 2012) and the International Workshop "Information, Uncertainty, and Imprecision" (WIUI 2012) aim at bringing together researchers in the areas of information and uncertainty to present recent results and discuss current and future research directions. Of a particular interest to both events are fuzzy logic, veristic uncertainty, probabilistic uncertainty, uncertainty measures, rough sets, and their applications.

The Summer School will contain series of tutorial-like talks by internationally recognized experts and is thus particularly suitable for young researchers including doctoral students. The Workshop will consist of regular talks focusing on current and future research directions and of student presentations in the form of posters and talks.

If you consider your participation, please register (no registration fee). For registration, a program, information about traveling and accommodation, and the latest news, see http://mcin.upol.cz/SSWIU-2012/.

Secure Multiparty Computation is a powerful cryptographic notion that - in theory - can solve virtually any cryptographic protocol problem. In recent years the technology has been used in practice and holds great promise for future applications. MPC technology can be used to implement, for instance, voting, auctions, procurement and benchmarking with better security, in particular without anyone having to reveal his private data to anyone else.

This workshop brings together people in both theory and practice of the field, and we are convinced that this will prove very productive. The first day will be dedicated for tutorials that cover the basic definitions, constructions and building blocks. In the rest of the workshop, leading researchers in the field will present their latest results in secure computation. 22 invited speakers have confirmed participation.

For more information, see http://cfem.au.dk/events/theory-and-practice-of-multiparty-computation/

The 15th Latin American Symposium on Mathematical Logic, SLALM 2012, will be held in Bogota, Colombia, during the week of June 4 to 8, 2012. The first SLALM (Simposio Latinoamericano de Lógica Matemática) was held in 1970 in Santiago de Chile and subsequent meetings have taken place in Brazil, Chile, Colombia, Venezuela, Argentina, Costa Rica, and Mexico. In addition to plenary talks, this meeting willinclude four special sessions on Algebraic and Non-classical logics, Model Theory, Recursion and Computer Science Logic, and Set Theory. Four tutorial courses are planned during the week previous to the meeting.

For more information, see http://matematicas.uniandes.edu.co/eventos/SLALM2012/.

AAMAS is the leading scientific conference for research in autonomous agents and multiagent systems. The AAMAS conference series was initiated in 2002 by merging three highly respected meetings: the International Conference on Multi-Agent Systems (ICMAS); the International Workshop on Agent Theories, Architectures, and Languages (ATAL); and the International Conference on Autonomous Agents (AA). The aim of the joint conference is to provide a single, high-profile, internationally respected archival forum for scientific research in the theory and practice of autonomous agents and multiagent systems. AAMAS 2012 is the eleventh conference in the AAMAS series, following enormously successful previous conferences, and will be held at the Universitat Politècnica de València in Valencia, Spain, June 4-8, 2012.

For more information, see http://aamas2012.webs.upv.es

This workshop brings together experts on Alfred Tarski's work, with a variety of backgrounds. Together they throw light on the many facets of Tarski's work, such that the extent of it becomes visible and the interrelation between the various parts emerges.

For more information, see http://axiom.vu.nl/Tarski_Workshop/ or contact the organizer of the workshop: Iris Loeb, at i.loeb at vu.nl.

The International Summer School "Information and Uncertainty (SSIU 2012) and the International Workshop "Information, Uncertainty, and Imprecision" (WIUI 2012) aim at bringing together researchers in the areas of information and uncertainty to present recent results and discuss current and future research directions. Of a particular interest to both events are fuzzy logic, veristic uncertainty, probabilistic uncertainty, uncertainty measures, rough sets, and their applications.

The Summer School will contain series of tutorial-like talks by internationally recognized experts and is thus particularly suitable for young researchers including doctoral students. The Workshop will consist of regular talks focusing on current and future research directions and of student presentations in the form of posters and talks.

If you consider your participation, please register (no registration fee). For registration, a program, information about traveling and accommodation, and the latest news, see http://mcin.upol.cz/SSWIU-2012/.

Secure Multiparty Computation is a powerful cryptographic notion that - in theory - can solve virtually any cryptographic protocol problem. In recent years the technology has been used in practice and holds great promise for future applications. MPC technology can be used to implement, for instance, voting, auctions, procurement and benchmarking with better security, in particular without anyone having to reveal his private data to anyone else.

This workshop brings together people in both theory and practice of the field, and we are convinced that this will prove very productive. The first day will be dedicated for tutorials that cover the basic definitions, constructions and building blocks. In the rest of the workshop, leading researchers in the field will present their latest results in secure computation. 22 invited speakers have confirmed participation.

For more information, see http://cfem.au.dk/events/theory-and-practice-of-multiparty-computation/

The 15th Latin American Symposium on Mathematical Logic, SLALM 2012, will be held in Bogota, Colombia, during the week of June 4 to 8, 2012. The first SLALM (Simposio Latinoamericano de Lógica Matemática) was held in 1970 in Santiago de Chile and subsequent meetings have taken place in Brazil, Chile, Colombia, Venezuela, Argentina, Costa Rica, and Mexico. In addition to plenary talks, this meeting willinclude four special sessions on Algebraic and Non-classical logics, Model Theory, Recursion and Computer Science Logic, and Set Theory. Four tutorial courses are planned during the week previous to the meeting.

For more information, see http://matematicas.uniandes.edu.co/eventos/SLALM2012/.

AAMAS is the leading scientific conference for research in autonomous agents and multiagent systems. The AAMAS conference series was initiated in 2002 by merging three highly respected meetings: the International Conference on Multi-Agent Systems (ICMAS); the International Workshop on Agent Theories, Architectures, and Languages (ATAL); and the International Conference on Autonomous Agents (AA). The aim of the joint conference is to provide a single, high-profile, internationally respected archival forum for scientific research in the theory and practice of autonomous agents and multiagent systems. AAMAS 2012 is the eleventh conference in the AAMAS series, following enormously successful previous conferences, and will be held at the Universitat Politècnica de València in Valencia, Spain, June 4-8, 2012.

For more information, see http://aamas2012.webs.upv.es

This workshop brings together experts on Alfred Tarski's work, with a variety of backgrounds. Together they throw light on the many facets of Tarski's work, such that the extent of it becomes visible and the interrelation between the various parts emerges.

For more information, see http://axiom.vu.nl/Tarski_Workshop/ or contact the organizer of the workshop: Iris Loeb, at i.loeb at vu.nl.

The main goals of the BNAIC are two-fold:
to bring together AI researchers in the Netherlands and Belgium, as a place to meet and to present research activities.
to present high-quality research results, possibly already published in international conferences or journals.

The format of the BNAIC is therefore a mixture of a meeting place and a forum for good-quality research results. This forms a balance that has proven to be successful in the previous years, as is shown by the high number of participants each year.

Submissions of the following three types are invited: Regular Papers, Compressed Contributions, and Demonstrations & Applications. Submission Deadline: Thursday 7 June 2012

For more information, see http://www.unimaas.nl/bnaic2012/.

The International Summer School "Information and Uncertainty (SSIU 2012) and the International Workshop "Information, Uncertainty, and Imprecision" (WIUI 2012) aim at bringing together researchers in the areas of information and uncertainty to present recent results and discuss current and future research directions. Of a particular interest to both events are fuzzy logic, veristic uncertainty, probabilistic uncertainty, uncertainty measures, rough sets, and their applications.

The Summer School will contain series of tutorial-like talks by internationally recognized experts and is thus particularly suitable for young researchers including doctoral students. The Workshop will consist of regular talks focusing on current and future research directions and of student presentations in the form of posters and talks.

If you consider your participation, please register (no registration fee). For registration, a program, information about traveling and accommodation, and the latest news, see http://mcin.upol.cz/SSWIU-2012/.

Secure Multiparty Computation is a powerful cryptographic notion that - in theory - can solve virtually any cryptographic protocol problem. In recent years the technology has been used in practice and holds great promise for future applications. MPC technology can be used to implement, for instance, voting, auctions, procurement and benchmarking with better security, in particular without anyone having to reveal his private data to anyone else.

This workshop brings together people in both theory and practice of the field, and we are convinced that this will prove very productive. The first day will be dedicated for tutorials that cover the basic definitions, constructions and building blocks. In the rest of the workshop, leading researchers in the field will present their latest results in secure computation. 22 invited speakers have confirmed participation.

For more information, see http://cfem.au.dk/events/theory-and-practice-of-multiparty-computation/

The 15th Latin American Symposium on Mathematical Logic, SLALM 2012, will be held in Bogota, Colombia, during the week of June 4 to 8, 2012. The first SLALM (Simposio Latinoamericano de Lógica Matemática) was held in 1970 in Santiago de Chile and subsequent meetings have taken place in Brazil, Chile, Colombia, Venezuela, Argentina, Costa Rica, and Mexico. In addition to plenary talks, this meeting willinclude four special sessions on Algebraic and Non-classical logics, Model Theory, Recursion and Computer Science Logic, and Set Theory. Four tutorial courses are planned during the week previous to the meeting.

For more information, see http://matematicas.uniandes.edu.co/eventos/SLALM2012/.

AAMAS is the leading scientific conference for research in autonomous agents and multiagent systems. The AAMAS conference series was initiated in 2002 by merging three highly respected meetings: the International Conference on Multi-Agent Systems (ICMAS); the International Workshop on Agent Theories, Architectures, and Languages (ATAL); and the International Conference on Autonomous Agents (AA). The aim of the joint conference is to provide a single, high-profile, internationally respected archival forum for scientific research in the theory and practice of autonomous agents and multiagent systems. AAMAS 2012 is the eleventh conference in the AAMAS series, following enormously successful previous conferences, and will be held at the Universitat Politècnica de València in Valencia, Spain, June 4-8, 2012.

For more information, see http://aamas2012.webs.upv.es

The DL workshop is the major annual event of the description logic research community. It is the forum at which those interested in description logics, both from academia and industry, meet to discuss ideas, share information and compare experiences.

In this year, DL workshop will share a joint session together with the International Workshop on Non-Monotonic Reasoning (NMR 2012).

Information about submission, registration, travel information, etc., is available on the DL 2012 homepage: http://dl.kr.org/dl2012. Further enquiries about the DL 2012 workshop can be made by contacting the organizing committee at dl2012 at dis.uniroma1.org.

The International Summer School "Information and Uncertainty (SSIU 2012) and the International Workshop "Information, Uncertainty, and Imprecision" (WIUI 2012) aim at bringing together researchers in the areas of information and uncertainty to present recent results and discuss current and future research directions. Of a particular interest to both events are fuzzy logic, veristic uncertainty, probabilistic uncertainty, uncertainty measures, rough sets, and their applications.

The Summer School will contain series of tutorial-like talks by internationally recognized experts and is thus particularly suitable for young researchers including doctoral students. The Workshop will consist of regular talks focusing on current and future research directions and of student presentations in the form of posters and talks.

If you consider your participation, please register (no registration fee). For registration, a program, information about traveling and accommodation, and the latest news, see http://mcin.upol.cz/SSWIU-2012/.

Secure Multiparty Computation is a powerful cryptographic notion that - in theory - can solve virtually any cryptographic protocol problem. In recent years the technology has been used in practice and holds great promise for future applications. MPC technology can be used to implement, for instance, voting, auctions, procurement and benchmarking with better security, in particular without anyone having to reveal his private data to anyone else.

This workshop brings together people in both theory and practice of the field, and we are convinced that this will prove very productive. The first day will be dedicated for tutorials that cover the basic definitions, constructions and building blocks. In the rest of the workshop, leading researchers in the field will present their latest results in secure computation. 22 invited speakers have confirmed participation.

For more information, see http://cfem.au.dk/events/theory-and-practice-of-multiparty-computation/

The 15th Latin American Symposium on Mathematical Logic, SLALM 2012, will be held in Bogota, Colombia, during the week of June 4 to 8, 2012. The first SLALM (Simposio Latinoamericano de Lógica Matemática) was held in 1970 in Santiago de Chile and subsequent meetings have taken place in Brazil, Chile, Colombia, Venezuela, Argentina, Costa Rica, and Mexico. In addition to plenary talks, this meeting willinclude four special sessions on Algebraic and Non-classical logics, Model Theory, Recursion and Computer Science Logic, and Set Theory. Four tutorial courses are planned during the week previous to the meeting.

For more information, see http://matematicas.uniandes.edu.co/eventos/SLALM2012/.

AAMAS is the leading scientific conference for research in autonomous agents and multiagent systems. The AAMAS conference series was initiated in 2002 by merging three highly respected meetings: the International Conference on Multi-Agent Systems (ICMAS); the International Workshop on Agent Theories, Architectures, and Languages (ATAL); and the International Conference on Autonomous Agents (AA). The aim of the joint conference is to provide a single, high-profile, internationally respected archival forum for scientific research in the theory and practice of autonomous agents and multiagent systems. AAMAS 2012 is the eleventh conference in the AAMAS series, following enormously successful previous conferences, and will be held at the Universitat Politècnica de València in Valencia, Spain, June 4-8, 2012.

For more information, see http://aamas2012.webs.upv.es

The DL workshop is the major annual event of the description logic research community. It is the forum at which those interested in description logics, both from academia and industry, meet to discuss ideas, share information and compare experiences.

In this year, DL workshop will share a joint session together with the International Workshop on Non-Monotonic Reasoning (NMR 2012).

Information about submission, registration, travel information, etc., is available on the DL 2012 homepage: http://dl.kr.org/dl2012. Further enquiries about the DL 2012 workshop can be made by contacting the organizing committee at dl2012 at dis.uniroma1.org.

The Conference will be the last event organised during the AHRC-funded Foundations of Logical Consequence project, and so will aim to bring together all the themes considered during the project. The overall goal has been to clarify the foundations of logical consequence. The aim is to bring together researchers in these fields to share their findings, reach conclusions, and provide a stimulus to further research.

For more information, see http://www.st-andrews.ac.uk/~arche/events/event?id=537

The DL workshop is the major annual event of the description logic research community. It is the forum at which those interested in description logics, both from academia and industry, meet to discuss ideas, share information and compare experiences.

In this year, DL workshop will share a joint session together with the International Workshop on Non-Monotonic Reasoning (NMR 2012).

Information about submission, registration, travel information, etc., is available on the DL 2012 homepage: http://dl.kr.org/dl2012. Further enquiries about the DL 2012 workshop can be made by contacting the organizing committee at dl2012 at dis.uniroma1.org.

The Conference will be the last event organised during the AHRC-funded Foundations of Logical Consequence project, and so will aim to bring together all the themes considered during the project. The overall goal has been to clarify the foundations of logical consequence. The aim is to bring together researchers in these fields to share their findings, reach conclusions, and provide a stimulus to further research.

For more information, see http://www.st-andrews.ac.uk/~arche/events/event?id=537

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 DL workshop is the major annual event of the description logic research community. It is the forum at which those interested in description logics, both from academia and industry, meet to discuss ideas, share information and compare experiences.

In this year, DL workshop will share a joint session together with the International Workshop on Non-Monotonic Reasoning (NMR 2012).

Information about submission, registration, travel information, etc., is available on the DL 2012 homepage: http://dl.kr.org/dl2012. Further enquiries about the DL 2012 workshop can be made by contacting the organizing committee at dl2012 at dis.uniroma1.org.

The Conference will be the last event organised during the AHRC-funded Foundations of Logical Consequence project, and so will aim to bring together all the themes considered during the project. The overall goal has been to clarify the foundations of logical consequence. The aim is to bring together researchers in these fields to share their findings, reach conclusions, and provide a stimulus to further research.

For more information, see http://www.st-andrews.ac.uk/~arche/events/event?id=537

Aimed at understanding the structure of mathematical proofs, proof theory has undergone different phases: it has been reductive, general, structural. Especially thanks to sequent calculus formalizations, deep results were attained as far as proofs in pure logic and arithmetic are concerned. Through significant connections with computer science, proof theory contributed to the birth of new areas of research outside traditional mathematics, such as the verification of correctness of computer programs. Natural deduction has led to the Curry-Howard correspondence and to connections with functional programming, and sequent calculus is often used in systems of automatic proof search, as in logic programming. Rooted in general proof theory, a proof-theoretic semantics has been recently developed as an alternative to standard denotational truth-condition semantics. The workshop will focus mainly on proof systems, but we aim at touching several areas of proof-theoretical research.

The workshop will be framed in two six-hour tutorials, six one-hour lectures, and is open to half-hour contributed talks.

For more information, see the preliminary webpage at http://www.helsinki.fi/~negri/pswpt.html

Aimed at understanding the structure of mathematical proofs, proof theory has undergone different phases: it has been reductive, general, structural. Especially thanks to sequent calculus formalizations, deep results were attained as far as proofs in pure logic and arithmetic are concerned. Through significant connections with computer science, proof theory contributed to the birth of new areas of research outside traditional mathematics, such as the verification of correctness of computer programs. Natural deduction has led to the Curry-Howard correspondence and to connections with functional programming, and sequent calculus is often used in systems of automatic proof search, as in logic programming. Rooted in general proof theory, a proof-theoretic semantics has been recently developed as an alternative to standard denotational truth-condition semantics. The workshop will focus mainly on proof systems, but we aim at touching several areas of proof-theoretical research.

The workshop will be framed in two six-hour tutorials, six one-hour lectures, and is open to half-hour contributed talks.

For more information, see the preliminary webpage at http://www.helsinki.fi/~negri/pswpt.html

Aimed at understanding the structure of mathematical proofs, proof theory has undergone different phases: it has been reductive, general, structural. Especially thanks to sequent calculus formalizations, deep results were attained as far as proofs in pure logic and arithmetic are concerned. Through significant connections with computer science, proof theory contributed to the birth of new areas of research outside traditional mathematics, such as the verification of correctness of computer programs. Natural deduction has led to the Curry-Howard correspondence and to connections with functional programming, and sequent calculus is often used in systems of automatic proof search, as in logic programming. Rooted in general proof theory, a proof-theoretic semantics has been recently developed as an alternative to standard denotational truth-condition semantics. The workshop will focus mainly on proof systems, but we aim at touching several areas of proof-theoretical research.

The workshop will be framed in two six-hour tutorials, six one-hour lectures, and is open to half-hour contributed talks.

For more information, see the preliminary webpage at http://www.helsinki.fi/~negri/pswpt.html

The Open Russian-Finnish Colloquium in Logic ORFiC 2012 marks the co-ocurrence of the two widely known series of international logical events, the 12th in the series of St Petersburg biennal Logical Forums "Logic Today" and the 10th of Russian (formerly Soviet) - Finnish Colloquia.

For more information, contact orfic2012 at gmail.com or see http://logics.pro/ (coming soon).

This is the annual Symposium of Utrecht's student association of Artificial Intelligence. We will try to discuss several questions on Logical Reasoning by means of cognitive psychology, non-monotone logics, intuitionistic logics, human-agent networks and decision theories.

Chairman: prof. dr. Michael Moortgat. Speakers: Henry Prakken, Wim Veldman and Johan Bos. The talks and discussion are all in English.

For more information and a programme, see http://symposium.uscki.nl/.

The application of formal tools from logic and rational choice theory to the analysis of ethical concepts and theories is a rapidly growing field of research. It has shed new light on a variety of concepts that are central to ethical theory, such as freedom, responsibility, values, norms, and conventions. We invite submissions to Formal Ethics 2012, to be held at the Munich Center for Mathematical Philosophy on October 11th to 13th, 2012. The workshop aims to bring together researchers at the crossroads of ethical theory and formal methods.

Contact and further information:
Email: organization at formalethics.net
Web: http://www.formalethics.net

The Italian Society of Logic and Philosophy of Science (SILFS) will hold on November 20-21, 2012 its mid-term Conference at the Department of Human Sciences, University of Milan-Bicocca.

For more information, see http://www.episteme.formazione.unimib.it/en/silfs2012.

The European Summer School in Logic, Language and Information (ESSLLI) is organized every year by the Association for Logic, Language and Information (FoLLI) in different sites around Europe. Under the auspices of FoLLI (the Association for Logic, Language, and Information), ESSLLI brings together logicians, linguists, computer scientists, and philosophers to study language, logic, and information, and their interconnections. The school hosts approximately 50 courses at both introductory and advanced levels, and brings together around 500 participants from all over the world. Along with the courses, ESSLLI hosts workshops and invited lectures, providing opportunities for in-depth discussion of current research.

For more information, see http://www.esslli2013.de/

Aimed at understanding the structure of mathematical proofs, proof theory has undergone different phases: it has been reductive, general, structural. Especially thanks to sequent calculus formalizations, deep results were attained as far as proofs in pure logic and arithmetic are concerned. Through significant connections with computer science, proof theory contributed to the birth of new areas of research outside traditional mathematics, such as the verification of correctness of computer programs. Natural deduction has led to the Curry-Howard correspondence and to connections with functional programming, and sequent calculus is often used in systems of automatic proof search, as in logic programming. Rooted in general proof theory, a proof-theoretic semantics has been recently developed as an alternative to standard denotational truth-condition semantics. The workshop will focus mainly on proof systems, but we aim at touching several areas of proof-theoretical research.

The workshop will be framed in two six-hour tutorials, six one-hour lectures, and is open to half-hour contributed talks.

For more information, see the preliminary webpage at http://www.helsinki.fi/~negri/pswpt.html

The Open Russian-Finnish Colloquium in Logic ORFiC 2012 marks the co-ocurrence of the two widely known series of international logical events, the 12th in the series of St Petersburg biennal Logical Forums "Logic Today" and the 10th of Russian (formerly Soviet) - Finnish Colloquia.

For more information, contact orfic2012 at gmail.com or see http://logics.pro/ (coming soon).

Turing's 100th Birthday Party celebrating his life and work will be held at King's College, Cambridge - Turing's beloved intellectual home.

Speakers include leading broadcasters and experts on Turing, as well as members of the Turing family and others who knew him personally - pioneers of computing who worked alongside him, building and programming the first computers as well as investigating his mathematical theory of how living matter grows. Codebreaker Jerry Roberts, one of Turing's last surviving wartime colleagues from Station X, will give the King's College Turing Centenary Lecture followed by a movie about the Bletchley Park codebreakers.

For more information about the event and for registration, please go to http://sites.google.com/site/turingace2012/ Please register early, places are limited.

The Open Russian-Finnish Colloquium in Logic ORFiC 2012 marks the co-ocurrence of the two widely known series of international logical events, the 12th in the series of St Petersburg biennal Logical Forums "Logic Today" and the 10th of Russian (formerly Soviet) - Finnish Colloquia.

For more information, contact orfic2012 at gmail.com or see http://logics.pro/ (coming soon).

Turing's 100th Birthday Party celebrating his life and work will be held at King's College, Cambridge - Turing's beloved intellectual home.

Speakers include leading broadcasters and experts on Turing, as well as members of the Turing family and others who knew him personally - pioneers of computing who worked alongside him, building and programming the first computers as well as investigating his mathematical theory of how living matter grows. Codebreaker Jerry Roberts, one of Turing's last surviving wartime colleagues from Station X, will give the King's College Turing Centenary Lecture followed by a movie about the Bletchley Park codebreakers.

For more information about the event and for registration, please go to http://sites.google.com/site/turingace2012/ Please register early, places are limited.

Interaction and Concurrency Experiences (ICEs) is a series of international scientific meetings oriented to theoretical computer science researchers with special interest in models, verification, tools and programming primitives for complex interactions. The theme of ICE 2012 is Distributed coordination, execution models, and resilient interaction.

Since its 1st edition in 2008, the distinguishing feature of ICE has been an innovative paper selection mechanism based on an interactive discussion amongst authors and PC members.

For more information, see http://www.artist-embedded.org/artist/-ICE-2012-.html

The aim of the workshop series Developments in Computational Models is to bring together researchers who are currently developing new computational models or new features for traditional computational models, in order to foster their interaction, to provide a forum for presenting new ideas and work in progress, and to enable newcomers to learn about current activities in this area.

The eighth workshop in the series, DCM 2012, will be a satellite event of the conference Computability in Europe and part of the celebrations of the Turing Centenary.

For more information, see http://www.math.uni-hamburg.de/home/loewe/DCM2012 or contact bloewe at science.uva.nl.

The 10th Conference on Logic and the Foundations of Game and Decision Theory will be held June 18-20, 2012 (NEXT YEAR), at the University of Sevilla, in Spain. This is the tenth in a series of conferences on the applications of logical methods to foundational issues in the theory of individual and interactive decision-making.

For more information, see http://personal.us.es/hvd/loft/

Logica 2012 is the 26th in the series of annual international symposia devoted to logic. Invited speakers are Sergei Artemov, Warren Goldfarb, David Makinson, Barbara Partee.

For more information, see http://www.flu.cas.cz/logica or contact logica at flu.cas.cz.

The fifth NASSLLI (after previous editions at Stanford University, Indiana University and UCLA) will be hosted at the University of Texas at Austin, on June 18 - 22, 2012. The summer school, loosely modeled on the long- running ESSLLI series in Europe, will consist of a number of courses and workshops, selected on the basis of the proposals. By default, courses and workshops meet for 90 minutes on each of five days.

For more information, see http://nasslli2012.com/. or contact the co-chairs at carlos.areces at gmail.com and valeria.depaiva at gmail.com.

The CiE-IFCoLog student session is an initiative to encourage undergraduate and master students to present their research projects at high profile computer science events, and offer a good opportunity for undergraduate and masters students to interact with more senior researchers. In 2012 CiE is celebrating the life achievements of Alan Turing and we believe that being involved in this event, will be an exciting opportunity for young people contemplating a research career.

More details about the event will become available in http://www.ifcolog.net/?page_id=6149.

CiE 2012 is one of a series of special events, running throughout the Alan Turing Year, celebrating Turing's unique impact on mathematics, computing, computer science, informatics, morphogenesis, philosophy and the wider scientific world.

Its central theme is the computability-theoretic concerns underlying the broad spectrum of Turing's interests, and the contemporary research areas founded upon and animated by them. In this sense, CiE 2012, held in Cambridge in the week running up to the centenary of Turing's birthday, deals with the essential core of what made Turing's contribution so influential and long-lasting.

For more information, see http://www.cie2012.eu/.

The 10th Conference on Logic and the Foundations of Game and Decision Theory will be held June 18-20, 2012 (NEXT YEAR), at the University of Sevilla, in Spain. This is the tenth in a series of conferences on the applications of logical methods to foundational issues in the theory of individual and interactive decision-making.

For more information, see http://personal.us.es/hvd/loft/

Logica 2012 is the 26th in the series of annual international symposia devoted to logic. Invited speakers are Sergei Artemov, Warren Goldfarb, David Makinson, Barbara Partee.

For more information, see http://www.flu.cas.cz/logica or contact logica at flu.cas.cz.

The fifth NASSLLI (after previous editions at Stanford University, Indiana University and UCLA) will be hosted at the University of Texas at Austin, on June 18 - 22, 2012. The summer school, loosely modeled on the long- running ESSLLI series in Europe, will consist of a number of courses and workshops, selected on the basis of the proposals. By default, courses and workshops meet for 90 minutes on each of five days.

For more information, see http://nasslli2012.com/. or contact the co-chairs at carlos.areces at gmail.com and valeria.depaiva at gmail.com.

The CiE-IFCoLog student session is an initiative to encourage undergraduate and master students to present their research projects at high profile computer science events, and offer a good opportunity for undergraduate and masters students to interact with more senior researchers. In 2012 CiE is celebrating the life achievements of Alan Turing and we believe that being involved in this event, will be an exciting opportunity for young people contemplating a research career.

More details about the event will become available in http://www.ifcolog.net/?page_id=6149.

CiE 2012 is one of a series of special events, running throughout the Alan Turing Year, celebrating Turing's unique impact on mathematics, computing, computer science, informatics, morphogenesis, philosophy and the wider scientific world.

Its central theme is the computability-theoretic concerns underlying the broad spectrum of Turing's interests, and the contemporary research areas founded upon and animated by them. In this sense, CiE 2012, held in Cambridge in the week running up to the centenary of Turing's birthday, deals with the essential core of what made Turing's contribution so influential and long-lasting.

For more information, see http://www.cie2012.eu/.

The 10th Conference on Logic and the Foundations of Game and Decision Theory will be held June 18-20, 2012 (NEXT YEAR), at the University of Sevilla, in Spain. This is the tenth in a series of conferences on the applications of logical methods to foundational issues in the theory of individual and interactive decision-making.

For more information, see http://personal.us.es/hvd/loft/

Logica 2012 is the 26th in the series of annual international symposia devoted to logic. Invited speakers are Sergei Artemov, Warren Goldfarb, David Makinson, Barbara Partee.

For more information, see http://www.flu.cas.cz/logica or contact logica at flu.cas.cz.

The fifth NASSLLI (after previous editions at Stanford University, Indiana University and UCLA) will be hosted at the University of Texas at Austin, on June 18 - 22, 2012. The summer school, loosely modeled on the long- running ESSLLI series in Europe, will consist of a number of courses and workshops, selected on the basis of the proposals. By default, courses and workshops meet for 90 minutes on each of five days.

For more information, see http://nasslli2012.com/. or contact the co-chairs at carlos.areces at gmail.com and valeria.depaiva at gmail.com.

The CiE-IFCoLog student session is an initiative to encourage undergraduate and master students to present their research projects at high profile computer science events, and offer a good opportunity for undergraduate and masters students to interact with more senior researchers. In 2012 CiE is celebrating the life achievements of Alan Turing and we believe that being involved in this event, will be an exciting opportunity for young people contemplating a research career.

More details about the event will become available in http://www.ifcolog.net/?page_id=6149.

CiE 2012 is one of a series of special events, running throughout the Alan Turing Year, celebrating Turing's unique impact on mathematics, computing, computer science, informatics, morphogenesis, philosophy and the wider scientific world.

Its central theme is the computability-theoretic concerns underlying the broad spectrum of Turing's interests, and the contemporary research areas founded upon and animated by them. In this sense, CiE 2012, held in Cambridge in the week running up to the centenary of Turing's birthday, deals with the essential core of what made Turing's contribution so influential and long-lasting.

For more information, see http://www.cie2012.eu/.

Logica 2012 is the 26th in the series of annual international symposia devoted to logic. Invited speakers are Sergei Artemov, Warren Goldfarb, David Makinson, Barbara Partee.

For more information, see http://www.flu.cas.cz/logica or contact logica at flu.cas.cz.

The fifth NASSLLI (after previous editions at Stanford University, Indiana University and UCLA) will be hosted at the University of Texas at Austin, on June 18 - 22, 2012. The summer school, loosely modeled on the long- running ESSLLI series in Europe, will consist of a number of courses and workshops, selected on the basis of the proposals. By default, courses and workshops meet for 90 minutes on each of five days.

For more information, see http://nasslli2012.com/. or contact the co-chairs at carlos.areces at gmail.com and valeria.depaiva at gmail.com.

The CiE-IFCoLog student session is an initiative to encourage undergraduate and master students to present their research projects at high profile computer science events, and offer a good opportunity for undergraduate and masters students to interact with more senior researchers. In 2012 CiE is celebrating the life achievements of Alan Turing and we believe that being involved in this event, will be an exciting opportunity for young people contemplating a research career.

More details about the event will become available in http://www.ifcolog.net/?page_id=6149.

CiE 2012 is one of a series of special events, running throughout the Alan Turing Year, celebrating Turing's unique impact on mathematics, computing, computer science, informatics, morphogenesis, philosophy and the wider scientific world.

Its central theme is the computability-theoretic concerns underlying the broad spectrum of Turing's interests, and the contemporary research areas founded upon and animated by them. In this sense, CiE 2012, held in Cambridge in the week running up to the centenary of Turing's birthday, deals with the essential core of what made Turing's contribution so influential and long-lasting.

For more information, see http://www.cie2012.eu/.

Logica 2012 is the 26th in the series of annual international symposia devoted to logic. Invited speakers are Sergei Artemov, Warren Goldfarb, David Makinson, Barbara Partee.

For more information, see http://www.flu.cas.cz/logica or contact logica at flu.cas.cz.

The fifth NASSLLI (after previous editions at Stanford University, Indiana University and UCLA) will be hosted at the University of Texas at Austin, on June 18 - 22, 2012. The summer school, loosely modeled on the long- running ESSLLI series in Europe, will consist of a number of courses and workshops, selected on the basis of the proposals. By default, courses and workshops meet for 90 minutes on each of five days.

For more information, see http://nasslli2012.com/. or contact the co-chairs at carlos.areces at gmail.com and valeria.depaiva at gmail.com.

The CiE-IFCoLog student session is an initiative to encourage undergraduate and master students to present their research projects at high profile computer science events, and offer a good opportunity for undergraduate and masters students to interact with more senior researchers. In 2012 CiE is celebrating the life achievements of Alan Turing and we believe that being involved in this event, will be an exciting opportunity for young people contemplating a research career.

More details about the event will become available in http://www.ifcolog.net/?page_id=6149.

CiE 2012 is one of a series of special events, running throughout the Alan Turing Year, celebrating Turing's unique impact on mathematics, computing, computer science, informatics, morphogenesis, philosophy and the wider scientific world.

Its central theme is the computability-theoretic concerns underlying the broad spectrum of Turing's interests, and the contemporary research areas founded upon and animated by them. In this sense, CiE 2012, held in Cambridge in the week running up to the centenary of Turing's birthday, deals with the essential core of what made Turing's contribution so influential and long-lasting.

For more information, see http://www.cie2012.eu/.

Scientific theory choice is guided by judgments of simplicity, a bias frequently referred to as "Ockham's Razor". But what is simplicity and how, if at all, does it help science find the truth? Should we view simple theories as means for obtaining accurate predictions, as classical statisticians recommend? Or should we believe the theories themselves, as Bayesian methods seem to justify? The aim of this workshop is to re-examine the foundations of Ockham's razor, with a firm focus on the connections, if any, between simplicity and truth.

For more information, see: http://www.andrew.cmu.edu/org/cfe/ockam-foundations.html

The Turing Centenary Conference features
(1) Ten Turing Award winners, a Templeton Award winner and Garry Kasparov as invited speakers
(2) 20,000 pounds worth best paper award program, including 5,000 pounds best paper award
(3) Three panels and two public lectures
(4) Turing Fellowship award ceremony
(5) and many more ...

For more details please check http://www.turing100.manchester.ac.uk/.

The CiE-IFCoLog student session is an initiative to encourage undergraduate and master students to present their research projects at high profile computer science events, and offer a good opportunity for undergraduate and masters students to interact with more senior researchers. In 2012 CiE is celebrating the life achievements of Alan Turing and we believe that being involved in this event, will be an exciting opportunity for young people contemplating a research career.

More details about the event will become available in http://www.ifcolog.net/?page_id=6149.

CiE 2012 is one of a series of special events, running throughout the Alan Turing Year, celebrating Turing's unique impact on mathematics, computing, computer science, informatics, morphogenesis, philosophy and the wider scientific world.

Its central theme is the computability-theoretic concerns underlying the broad spectrum of Turing's interests, and the contemporary research areas founded upon and animated by them. In this sense, CiE 2012, held in Cambridge in the week running up to the centenary of Turing's birthday, deals with the essential core of what made Turing's contribution so influential and long-lasting.

For more information, see http://www.cie2012.eu/.

Scientific theory choice is guided by judgments of simplicity, a bias frequently referred to as "Ockham's Razor". But what is simplicity and how, if at all, does it help science find the truth? Should we view simple theories as means for obtaining accurate predictions, as classical statisticians recommend? Or should we believe the theories themselves, as Bayesian methods seem to justify? The aim of this workshop is to re-examine the foundations of Ockham's razor, with a firm focus on the connections, if any, between simplicity and truth.

For more information, see: http://www.andrew.cmu.edu/org/cfe/ockam-foundations.html

The Turing Centenary Conference features
(1) Ten Turing Award winners, a Templeton Award winner and Garry Kasparov as invited speakers
(2) 20,000 pounds worth best paper award program, including 5,000 pounds best paper award
(3) Three panels and two public lectures
(4) Turing Fellowship award ceremony
(5) and many more ...

For more details please check http://www.turing100.manchester.ac.uk/.

Scientific theory choice is guided by judgments of simplicity, a bias frequently referred to as "Ockham's Razor". But what is simplicity and how, if at all, does it help science find the truth? Should we view simple theories as means for obtaining accurate predictions, as classical statisticians recommend? Or should we believe the theories themselves, as Bayesian methods seem to justify? The aim of this workshop is to re-examine the foundations of Ockham's razor, with a firm focus on the connections, if any, between simplicity and truth.

For more information, see: http://www.andrew.cmu.edu/org/cfe/ockam-foundations.html

The Turing Centenary Conference features
(1) Ten Turing Award winners, a Templeton Award winner and Garry Kasparov as invited speakers
(2) 20,000 pounds worth best paper award program, including 5,000 pounds best paper award
(3) Three panels and two public lectures
(4) Turing Fellowship award ceremony
(5) and many more ...

For more details please check http://www.turing100.manchester.ac.uk/.

Computability and complexity theory are two central areas of research in mathematical logic and theoretical computer science. Computability theory is the study of the limitations and abilities of computers in principle. Computational complexity theory provides a framework for understanding the cost of solving computational problems, as measured by the requirement for resources such as time and space.

The classical approach in these areas is to consider algorithms as operating on finite strings of symbols from a finite alphabet. Most mathematical models in physics and engineering, however, are based on the real number concept. Thus, a computability theory and a complexity theory over the real numbers and over more general continuous data structures is needed. Despite remarkable progress in recent years many important fundamental problems have not yet been studied, and presumably numerous unexpected and surprising results are waiting to be detected. The conference provides a unique opportunity for people working in the area of computation on real-valued data but coming from different fields to meet, present work in progress and exchange ideas and knowledge.

Conference Web Page: http://cca-net.de/cca2012/

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

Further information is available on the summer school webpage, http://www.math.ucla.edu/~ineeman/Summer-school/ . Questions about the summer school can be directed to logicschool at math.ucla.edu.

The Turing Centenary Conference features
(1) Ten Turing Award winners, a Templeton Award winner and Garry Kasparov as invited speakers
(2) 20,000 pounds worth best paper award program, including 5,000 pounds best paper award
(3) Three panels and two public lectures
(4) Turing Fellowship award ceremony
(5) and many more ...

For more details please check http://www.turing100.manchester.ac.uk/.

Computability and complexity theory are two central areas of research in mathematical logic and theoretical computer science. Computability theory is the study of the limitations and abilities of computers in principle. Computational complexity theory provides a framework for understanding the cost of solving computational problems, as measured by the requirement for resources such as time and space.

The classical approach in these areas is to consider algorithms as operating on finite strings of symbols from a finite alphabet. Most mathematical models in physics and engineering, however, are based on the real number concept. Thus, a computability theory and a complexity theory over the real numbers and over more general continuous data structures is needed. Despite remarkable progress in recent years many important fundamental problems have not yet been studied, and presumably numerous unexpected and surprising results are waiting to be detected. The conference provides a unique opportunity for people working in the area of computation on real-valued data but coming from different fields to meet, present work in progress and exchange ideas and knowledge.

Conference Web Page: http://cca-net.de/cca2012/

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

Further information is available on the summer school webpage, http://www.math.ucla.edu/~ineeman/Summer-school/ . Questions about the summer school can be directed to logicschool at math.ucla.edu.

The aim of this series of workshops is to bring together active researchers in the areas of logics and other formal frameworks that can be used to describe and analyse dynamic or mobile systems. The main focus is on the field of logics and calculi for mobile agents, and multi-agent systems, but contributions in the area of modelling and implemantation of location-based, or resource-based applications are equally welcome.

LAM'12 is organised as satellite workshop at the 33rd Conference on Theory and Application of Petri Nets and Concurrency. The workshop will be held as a one day event after the main conference. There will be a short introduction and brief survey of the field by the organisers as an introduction to the workshop. The workshop will contain invited talks, contributed talks, and will offer opportunities for discussion.

For more information, see http://lam12.wordpress.com/

It is widely acknowledged that a large variety of values and norms (including epistemic, moral, and political values and norms) play an important role in modeling. Although the literature about value-free science is huge, the specific theme of values and norms exclusively focusing on modeling has not yet received the attention it should. Models are often conceived of as being approximate representations with epistemic or even non-epistemic purposes, which makes them subject to a plethora of normative influences. This conference seeks to address these and related issues from a foundational as well as an applied perspective.

For more information, see here.

Computability and complexity theory are two central areas of research in mathematical logic and theoretical computer science. Computability theory is the study of the limitations and abilities of computers in principle. Computational complexity theory provides a framework for understanding the cost of solving computational problems, as measured by the requirement for resources such as time and space.

The classical approach in these areas is to consider algorithms as operating on finite strings of symbols from a finite alphabet. Most mathematical models in physics and engineering, however, are based on the real number concept. Thus, a computability theory and a complexity theory over the real numbers and over more general continuous data structures is needed. Despite remarkable progress in recent years many important fundamental problems have not yet been studied, and presumably numerous unexpected and surprising results are waiting to be detected. The conference provides a unique opportunity for people working in the area of computation on real-valued data but coming from different fields to meet, present work in progress and exchange ideas and knowledge.

Conference Web Page: http://cca-net.de/cca2012/

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

Further information is available on the summer school webpage, http://www.math.ucla.edu/~ineeman/Summer-school/ . Questions about the summer school can be directed to logicschool at math.ucla.edu.

The aim of this series of workshops is to bring together active researchers in the areas of logics and other formal frameworks that can be used to describe and analyse dynamic or mobile systems. The main focus is on the field of logics and calculi for mobile agents, and multi-agent systems, but contributions in the area of modelling and implemantation of location-based, or resource-based applications are equally welcome.

LAM'12 is organised as satellite workshop at the 33rd Conference on Theory and Application of Petri Nets and Concurrency. The workshop will be held as a one day event after the main conference. There will be a short introduction and brief survey of the field by the organisers as an introduction to the workshop. The workshop will contain invited talks, contributed talks, and will offer opportunities for discussion.

For more information, see http://lam12.wordpress.com/

It is widely acknowledged that a large variety of values and norms (including epistemic, moral, and political values and norms) play an important role in modeling. Although the literature about value-free science is huge, the specific theme of values and norms exclusively focusing on modeling has not yet received the attention it should. Models are often conceived of as being approximate representations with epistemic or even non-epistemic purposes, which makes them subject to a plethora of normative influences. This conference seeks to address these and related issues from a foundational as well as an applied perspective.

For more information, see here.

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.

Computability and complexity theory are two central areas of research in mathematical logic and theoretical computer science. Computability theory is the study of the limitations and abilities of computers in principle. Computational complexity theory provides a framework for understanding the cost of solving computational problems, as measured by the requirement for resources such as time and space.

The classical approach in these areas is to consider algorithms as operating on finite strings of symbols from a finite alphabet. Most mathematical models in physics and engineering, however, are based on the real number concept. Thus, a computability theory and a complexity theory over the real numbers and over more general continuous data structures is needed. Despite remarkable progress in recent years many important fundamental problems have not yet been studied, and presumably numerous unexpected and surprising results are waiting to be detected. The conference provides a unique opportunity for people working in the area of computation on real-valued data but coming from different fields to meet, present work in progress and exchange ideas and knowledge.

Conference Web Page: http://cca-net.de/cca2012/

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

Further information is available on the summer school webpage, http://www.math.ucla.edu/~ineeman/Summer-school/ . Questions about the summer school can be directed to logicschool at math.ucla.edu.

It is widely acknowledged that a large variety of values and norms (including epistemic, moral, and political values and norms) play an important role in modeling. Although the literature about value-free science is huge, the specific theme of values and norms exclusively focusing on modeling has not yet received the attention it should. Models are often conceived of as being approximate representations with epistemic or even non-epistemic purposes, which makes them subject to a plethora of normative influences. This conference seeks to address these and related issues from a foundational as well as an applied perspective.

For more information, see here.

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

Further information is available on the summer school webpage, http://www.math.ucla.edu/~ineeman/Summer-school/ . Questions about the summer school can be directed to logicschool at math.ucla.edu.

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

Each DGL features three tutorials, one on decision theory, one on game theory and one on logic, given by leading researchers. For DGL 2012, these will be: Richard Pettigrew (Decision Theory), Amanda Friedenberg (Game Theory), and Sonja Smets (Logic). At DGL 2012, we will also have a round table on "Qualitative vs. Quantitative Representations of Beliefs."

For more information, see the conference website at http://www.meansandends.com/workshop12/, or contact: Thomas.Meier at lrz.uni-muenchen.de

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

Further information is available on the summer school webpage, http://www.math.ucla.edu/~ineeman/Summer-school/ . Questions about the summer school can be directed to logicschool at math.ucla.edu.

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

Each DGL features three tutorials, one on decision theory, one on game theory and one on logic, given by leading researchers. For DGL 2012, these will be: Richard Pettigrew (Decision Theory), Amanda Friedenberg (Game Theory), and Sonja Smets (Logic). At DGL 2012, we will also have a round table on "Qualitative vs. Quantitative Representations of Beliefs."

For more information, see the conference website at http://www.meansandends.com/workshop12/, or contact: Thomas.Meier at lrz.uni-muenchen.de

This satellite workshop of LICS-2012 provides the opportunity to assess recent scientific advances and exchange ideas on the algorithmic theory of infinite state systems. Infinite state systems arise in many areas of computer science. Typical examples are recursive programs, communicating systems with unbounded buffers, and real time systems. Important algorithmic techniques dealing with infinite state systems include model checking, reachability and equivalence checking.

For more information, see http://www.informatik.uni-bremen.de/~goeller/AISS12

The aim of this conference is to explore the consequences of Charles Travis’s position for the possibility of systematic theoretical investigation into human psychology and linguistic understanding.

Our intention is to open up a forum for debate and discussion of the current status of Travis’s work in relation to those issues upon which his ideas have exerted the most influence, such as the semantics-pragmatics interface, perceptual disjunctivism, and (more generally) theories of representational content, each of which have come to dominate current research in analytic philosophy. The conference will bring together a group of distinguished philosophers who have engaged directly with Travis’s work over the years.

For more information and registration, see the conference website at http://www.uea.ac.uk/phi/eventsnews/events/charles-travis. We may be able to offer some student bursaries.

The ILLC Midsummernight Colloquium 2012 will have three invited (30 minutes) talks by researchers from the three respective ILLC research areas. We are happy to announce that Raquel Fernández (LoLa), Jaap Kamps (LaCo) and Anne Troelstra (LoCo) have accepted to give presentations.

For more information, see https://www.illc.uva.nl/ILLCColloquium/Midsummernight2012/ or contact rens.bod at uva.com.

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/

Mathematics and formal reasoning are fundamental building blocks of knowledge, essential for science, technology, policy-making and risk-management. Mathematical practice is a rich phenomenon of human activity, with subtle differences between various cultures: here, the word culture can refer to national cultures, but also cultural differences in different historical periods, in different strata of a given society, in different social settings.

And yet, the public perception of mathematics is of an apersonal subject with little or no human interaction, based on a false picture of a science of pure thought and deduction, with almost no interaction or visible activity.

In a move away from these traditionalist positions, philosophers and social scientists have recently become more interested in studying mathematical and logical practice, or, to be precise, different mathematical and logical practices. Our conference will focus on this plurality of viewpoints, studying the various cultures of mathematics and logic, and involve several disciplines such as philosophy, sociology, psychology, cognitive science, history of mathematics, mathematics education, and linguistics.

For more information, see http://www.math.uni-hamburg.de/home/loewe/Guangzhou2012/ or contact bloewe at science.uva.nl.

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

Further information is available on the summer school webpage, http://www.math.ucla.edu/~ineeman/Summer-school/ . Questions about the summer school can be directed to logicschool at math.ucla.edu.

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

Each DGL features three tutorials, one on decision theory, one on game theory and one on logic, given by leading researchers. For DGL 2012, these will be: Richard Pettigrew (Decision Theory), Amanda Friedenberg (Game Theory), and Sonja Smets (Logic). At DGL 2012, we will also have a round table on "Qualitative vs. Quantitative Representations of Beliefs."

For more information, see the conference website at http://www.meansandends.com/workshop12/, or contact: Thomas.Meier at lrz.uni-muenchen.de

The aim of this conference is to explore the consequences of Charles Travis’s position for the possibility of systematic theoretical investigation into human psychology and linguistic understanding.

Our intention is to open up a forum for debate and discussion of the current status of Travis’s work in relation to those issues upon which his ideas have exerted the most influence, such as the semantics-pragmatics interface, perceptual disjunctivism, and (more generally) theories of representational content, each of which have come to dominate current research in analytic philosophy. The conference will bring together a group of distinguished philosophers who have engaged directly with Travis’s work over the years.

For more information and registration, see the conference website at http://www.uea.ac.uk/phi/eventsnews/events/charles-travis. We may be able to offer some student bursaries.