This symposium is part of the AISB/IACAP World Congress 2012 in honour of Alan Turing. It is a sequel to the Symposium Mathematical Practice and Cognition held at the AISB convention 2010 in Leicester. That multidisciplinary symposium welcomed researchers into mathematical practice from cognitive science, philosophy, psychology, computational linguistics and robotics. The aim of this symposium is to continue this work, with particular (but not exclusive) emphasis on cognitive science and the role of computers in mathematical practice.

2012 is the centenary of Alan Turing's birth, and his life and scientific impact are being celebrated as the Alan Turing Year. In honour of this, the symposium will include a Turing-themed session.

For more information, see http://homepages.inf.ed.ac.uk/apease/aisb12/home.html

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

We have all been shocked and saddened by the untimely passing of Horacio Arló-Costa. To honor Horacio Arló-Costa's memory and influence on all of us in the community, Jeffrey Helzner, Vincent F. Hendricks, Paul Pedersen and Gregory Wheeler will be editing a book with essays on his philosophy, his intellectual biography, his official obituary, words of remembrance from his friends and colleagues, his unpublished manuscripts and notes, and other relevant communications from or about Horacio.

If you have words of remembrance, please feel welcome to post them at Choice and Inference under the entry In Memory of Horacio Arló-Costa, as we will, with your permission, use your words of remembrance for the volume. Please send all other material (correspondences, notes, etc.) to any one of the editors by email.

Deadline for submissions is February 1, 2012. For more information, see http://choiceandinference.com/2011/07/31/honoring-horacio-arlo-costa/

How can a group of agents aggregate their individually assigned truth-values to a collection of logically related propositions into a consistent aggregate? This is a social choice problem studied by the theory of judgment aggregation. relatively new problem of social choice, much is unknown about the theory, methods, implementation and application of judgment aggregation.

In the past decade we witnessed the role of a computer shifting from the computer being a self contained machine for executing software, a ``personal computer", to being a ``net-book", a global communication tool and an access node for disseminating information. As computers and computing become more distributed, pervasive and invisible, the need is created for aggregating information from various sources into a consistent aggregate. Can judgment aggregation fill this need? This is the topic of the workshop organized by the University of Luxembourg and the Cost AGGREEMENT TECHNOLOGIES action.

For more information, see http://icr.uni.lu/JAWorkshop/

Klaus Ambos-Spies' 60th birthday in November is approaching. On the occasion of his anniversary, a two-day symposium "Degrees and Randomness" will be held in Heidelberg on 3 and 4 February, 2012. The meeting will start on Friday afternoon and will comprise a social dinner on Friday night.

For details see the preliminary web page for the meeting at http://math.uni-heidelberg.de/logic/e_aktuelles.html or contact the local organizers at logic at math.uni-heidelberg.de.

Klaus Ambos-Spies' 60th birthday in November is approaching. On the occasion of his anniversary, a two-day symposium "Degrees and Randomness" will be held in Heidelberg on 3 and 4 February, 2012. The meeting will start on Friday afternoon and will comprise a social dinner on Friday night.

For details see the preliminary web page for the meeting at http://math.uni-heidelberg.de/logic/e_aktuelles.html or contact the local organizers at logic at math.uni-heidelberg.de.

On Friday February 10th 2012, Yurii Khomskii will publicly defend his PhD thesis in Amsterdam (11am, Aula). Following the defense, we shall hold a set theory workshop where the members of the committee, local set theorists and some additional guests will give talks. Every interested researcher is cordially invited.

For more information and a programme, see http://staff.science.uva.nl/~zhenhao/SetThy12/index.html

On Friday February 10th 2012, Yurii Khomskii will publicly defend his PhD thesis in Amsterdam (11am, Aula). Following the defense, we shall hold a set theory workshop where the members of the committee, local set theorists and some additional guests will give talks. Every interested researcher is cordially invited.

For more information and a programme, see http://staff.science.uva.nl/~zhenhao/SetThy12/index.html

Fundamental results in the mathematical theory of games were obtained early on in the 20th century by Zermelo, Borel, and von Neumann; after the publication of Theory of Games and Economic Behavior by von Neumann & Morgenstern in 1944, it quickly became of fundamental importance to economic theory, being applied later on to other fields such as biology, while in philosophy David Lewis¹ Convention was an important early application. Games also played a significant role within mathematics, especially in model theory with, e.g., the back-and-forth games, and with the work of Lorenzen in the 1950s and Hintikka in the 1960s, game semantics emerged, again leading to important developments in philosophy, e.g., within epistemic logic. Showing again the extraordinary fruitfulness and interdisciplinary nature of the concept of game, game semantics has become since a paradigm in logic and in computer science where it have been used inter alia to model interactive computation and multi-agents systems, as well as in linguistics and argumentation theory. The consequences on philosophy of these numerous developments need to be explored.

In an interdisciplinary spirit, this conference will bring together a number of key contributors to and welcomes papers on the concept of games, game theory and game semantics, with applications in economics, logic, computer science, linguistics, argumentation theory, and philosophy.

For more information, see http://cognition.lu.lv/symp/8-call.html.

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 variety of optionality and modification phenomena, and their intricate relations with intensional properties, lead to some hard puzzles about syntax and semantics. This workshop will examine, from the perspectives of formal syntax and semantics and the formal philosophy of intensional properties, a few of these questions:

1. Should there be a unified grammatical framework for analyzing phenomena of optionality?
2. Is there still a role for intensional properties in accounting for optionality effects?
3. How precise and elegant are current hypotheses about optionality in natural language grammar?

For more information, see http://www.hum.uu.nl/medewerkers/h.devries1/poss2012.htm.

The variety of optionality and modification phenomena, and their intricate relations with intensional properties, lead to some hard puzzles about syntax and semantics. This workshop will examine, from the perspectives of formal syntax and semantics and the formal philosophy of intensional properties, a few of these questions:

1. Should there be a unified grammatical framework for analyzing phenomena of optionality?
2. Is there still a role for intensional properties in accounting for optionality effects?
3. How precise and elegant are current hypotheses about optionality in natural language grammar?

For more information, see http://www.hum.uu.nl/medewerkers/h.devries1/poss2012.htm.

In recent years we are witnessing a cognitive turn in logic. It results in inclusion of some areas of cognitive science, psychology and computer science into its hard core. Consequently, logic becomes capable of modelling actual cognitive activity of real life agents. This turn does not create a rival for the mathematical logic: it forms a next step in the development of logic. It also reminds that for many centuries logic stood in a close and natural relationship to the science of actual reasoning processes.

Poznan Logic and Cognition Conference is an initiative focusing on research on the interplay of logic, cognitive science, psychology and computer science which aim at sheding the light on actual reasoning processes.

For more information, see: http://logicandcognition.org/

The academic program covers all aspects of cryptology. Technical sessions will run from Monday morning to Thursday noon.

For more information, see http://www.iacr.org/conferences/crypto2012/.

In the year 2012, the academic world will celebrate Alan Turing's (1912-1954) birth centenary as the Alan Turing Year. The event "Turing in Context" will highlight the many contributions of Alan Turing for a general academic audience, in particular for undergraduate and postgraduate students of all fields, and put these contributions in a historical context. Our seven speakers will cover topics such as British war intelligence, discrimination laws, pattern formation in biological systems, artificial intelligence, as well as logic and foundations of computing.

Since there is only limited seating capacity in Keynes Hall, we ask for advance registration by sending an e-mail to Jenny Mackay at programmes at newton.ac.uk with the subject line "Registration for Turing in Context, 18-19 Feb 2012". Acceptance is on a first-come first-served basis. For more information, see http://www.math.uni-hamburg.de/home/loewe/TiC@Kings/

In the year 2012, the academic world will celebrate Alan Turing's (1912-1954) birth centenary as the Alan Turing Year. The event "Turing in Context" will highlight the many contributions of Alan Turing for a general academic audience, in particular for undergraduate and postgraduate students of all fields, and put these contributions in a historical context. Our seven speakers will cover topics such as British war intelligence, discrimination laws, pattern formation in biological systems, artificial intelligence, as well as logic and foundations of computing.

Since there is only limited seating capacity in Keynes Hall, we ask for advance registration by sending an e-mail to Jenny Mackay at programmes at newton.ac.uk with the subject line "Registration for Turing in Context, 18-19 Feb 2012". Acceptance is on a first-come first-served basis. For more information, see http://www.math.uni-hamburg.de/home/loewe/TiC@Kings/

The winter school will provide an in depth coverage of lattices and their role in cryptographic constructions. Among other things, we will study the basics of lattices, hard problems on lattices and advanced reductions between problems. In addition, we will study cryptographic constructions based on lattices. These will include encryption, interactive protocols, advanced encryption (identity based and others), and finally recent advances in fully homomorphic encryption. The school program includes approximately 20 hours of lectures, a social dinner and an excursion.

The target audience for the school is graduate students and postdocs in cryptography (we will assume background in cryptography, but not lattices). However, faculty, undergrads and professionals with the necessary background are all welcome. The winter school is open to participants from all over the world; all talks will be in English.

For more information, see http://crypto.biu.ac.il/winterschool2012/

The winter school will provide an in depth coverage of lattices and their role in cryptographic constructions. Among other things, we will study the basics of lattices, hard problems on lattices and advanced reductions between problems. In addition, we will study cryptographic constructions based on lattices. These will include encryption, interactive protocols, advanced encryption (identity based and others), and finally recent advances in fully homomorphic encryption. The school program includes approximately 20 hours of lectures, a social dinner and an excursion.

The target audience for the school is graduate students and postdocs in cryptography (we will assume background in cryptography, but not lattices). However, faculty, undergrads and professionals with the necessary background are all welcome. The winter school is open to participants from all over the world; all talks will be in English.

For more information, see http://crypto.biu.ac.il/winterschool2012/

WSMBio 2012 offers a broad and intensive series of lectures on bioinformatics at different levels. The students choose their preferred courses according to their interests and background. Instructors are top names in their respective fields. The School intends to help students initiate and foster their research career.

Most appropriate degrees include: Computer Science, Biology and Medicine. Other students (for instance, from Mathematics or Engineering) are welcome too. The School is appropriate also for people more advanced in their career who want to keep themselves updated on developments in the field.

For more information, see http://grammars.grlmc.com/wsmbio2012/.

The winter school will provide an in depth coverage of lattices and their role in cryptographic constructions. Among other things, we will study the basics of lattices, hard problems on lattices and advanced reductions between problems. In addition, we will study cryptographic constructions based on lattices. These will include encryption, interactive protocols, advanced encryption (identity based and others), and finally recent advances in fully homomorphic encryption. The school program includes approximately 20 hours of lectures, a social dinner and an excursion.

The target audience for the school is graduate students and postdocs in cryptography (we will assume background in cryptography, but not lattices). However, faculty, undergrads and professionals with the necessary background are all welcome. The winter school is open to participants from all over the world; all talks will be in English.

For more information, see http://crypto.biu.ac.il/winterschool2012/

WSMBio 2012 offers a broad and intensive series of lectures on bioinformatics at different levels. The students choose their preferred courses according to their interests and background. Instructors are top names in their respective fields. The School intends to help students initiate and foster their research career.

Most appropriate degrees include: Computer Science, Biology and Medicine. Other students (for instance, from Mathematics or Engineering) are welcome too. The School is appropriate also for people more advanced in their career who want to keep themselves updated on developments in the field.

For more information, see http://grammars.grlmc.com/wsmbio2012/.

The winter school will provide an in depth coverage of lattices and their role in cryptographic constructions. Among other things, we will study the basics of lattices, hard problems on lattices and advanced reductions between problems. In addition, we will study cryptographic constructions based on lattices. These will include encryption, interactive protocols, advanced encryption (identity based and others), and finally recent advances in fully homomorphic encryption. The school program includes approximately 20 hours of lectures, a social dinner and an excursion.

The target audience for the school is graduate students and postdocs in cryptography (we will assume background in cryptography, but not lattices). However, faculty, undergrads and professionals with the necessary background are all welcome. The winter school is open to participants from all over the world; all talks will be in English.

For more information, see http://crypto.biu.ac.il/winterschool2012/

WSMBio 2012 offers a broad and intensive series of lectures on bioinformatics at different levels. The students choose their preferred courses according to their interests and background. Instructors are top names in their respective fields. The School intends to help students initiate and foster their research career.

Most appropriate degrees include: Computer Science, Biology and Medicine. Other students (for instance, from Mathematics or Engineering) are welcome too. The School is appropriate also for people more advanced in their career who want to keep themselves updated on developments in the field.

For more information, see http://grammars.grlmc.com/wsmbio2012/.

WSMBio 2012 offers a broad and intensive series of lectures on bioinformatics at different levels. The students choose their preferred courses according to their interests and background. Instructors are top names in their respective fields. The School intends to help students initiate and foster their research career.

Most appropriate degrees include: Computer Science, Biology and Medicine. Other students (for instance, from Mathematics or Engineering) are welcome too. The School is appropriate also for people more advanced in their career who want to keep themselves updated on developments in the field.

For more information, see http://grammars.grlmc.com/wsmbio2012/.

Modal discourse is ubiquitous in everyday life: how things could have been different, what we might do, what the future could be. Analytic philosophy also concerns itself with modal discourse in many ways; as an object of analysis, as a tool (when a modal account is offered of apparently non-modal phenomena) and, more directly, when philosophers argue about metaphysical modal claims. But how do we get to know the answers to the modal questions? By definition, modal claims transcend the way things are. In the workshop, we aim to discuss and develop different answers that have been given recently to this problem.

Speakers: Jacek Brzozowski (Köln), Bob Hale (Sheffield), Sonia Roca-Royes (Stirling), Daniele Sgaravatti (Köln), Anand Vaidya (San Jose), Timothy Williamson (Oxford).

Participation to the workshop is free, but registration is needed and there is a limited number of available places. For registration and inquiries write to: contact at fromthearmchair.net before January 10, 2012. For more information, see http://fromthearmchair.net/events/modal-epistemology.

Narratives are ubiquitous in human experience. We use them to communicate, convince, explain, and entertain. As far as we know, every society in the world has narratives, which suggests they are rooted in our psychology and serve an important cognitive function. It is becoming increasingly clear that, to truly understand and explain human intelligence, beliefs, and behaviors, we will have to understand why narrative is universal and explain (or explain away) the function it serves.

This meeting will be an appropriate venue for papers addressing fundamental topics and questions regarding narrative. Moreover, the meeting will have a special focus on the identification, collection, and construction of shared resources and corpora that facilitate the computational modeling of narrative. Papers should focus on issues fundamental to computational modeling and scientific understanding, or issues related to building shared resources to advance the field.

For more information, see http://narrative.csail.mit.edu/ws12/

WSMBio 2012 offers a broad and intensive series of lectures on bioinformatics at different levels. The students choose their preferred courses according to their interests and background. Instructors are top names in their respective fields. The School intends to help students initiate and foster their research career.

Most appropriate degrees include: Computer Science, Biology and Medicine. Other students (for instance, from Mathematics or Engineering) are welcome too. The School is appropriate also for people more advanced in their career who want to keep themselves updated on developments in the field.

For more information, see http://grammars.grlmc.com/wsmbio2012/.

Modal discourse is ubiquitous in everyday life: how things could have been different, what we might do, what the future could be. Analytic philosophy also concerns itself with modal discourse in many ways; as an object of analysis, as a tool (when a modal account is offered of apparently non-modal phenomena) and, more directly, when philosophers argue about metaphysical modal claims. But how do we get to know the answers to the modal questions? By definition, modal claims transcend the way things are. In the workshop, we aim to discuss and develop different answers that have been given recently to this problem.

Speakers: Jacek Brzozowski (Köln), Bob Hale (Sheffield), Sonia Roca-Royes (Stirling), Daniele Sgaravatti (Köln), Anand Vaidya (San Jose), Timothy Williamson (Oxford).

Participation to the workshop is free, but registration is needed and there is a limited number of available places. For registration and inquiries write to: contact at fromthearmchair.net before January 10, 2012. For more information, see http://fromthearmchair.net/events/modal-epistemology.

The conference will be held at the Isaac Newton Institute for Mathematical Sciences (INI) as a part of the INI programme Semantics and Syntax: A Legacy of Alan Turing.

Topics include Algorithmic randomness, Computability theory, Kolmogorov complexity, Computational complexity, Reverse mathematics and logic. CCR 2012 is part of the Alan Turing Year Events.

For more information, see http://math.uni-heidelberg.de/logic/conferences/ccr2012/.

In more than a decade of research, it has been established that a wide variety of state-based dynamical systems, like transition systems, automata (including weighted and probabilistic variants), Markov chains, and game-based systems, can be treated uniformly as coalgebras. Coalgebra has developed into a field of its own interest presenting a deep mathematical foundation, a growing field of applications, and interactions with various other fields such as reactive and interactive system theory, object-oriented and concurrent programming, formal system specification, modal and description logics, artificial intelligence, dynamical systems, control systems, category theory, algebra, analysis, etc. The aim of the CMCS workshop series is to bring together researchers with a common interest in the theory of coalgebras, their logics, and their applications.

For more information, see http://www.coalg.org/cmcs12/

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 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