The Logic Tea homepage can be found at http://www.illc.uva.nl/logic_tea/. For more information, please contact Johannes Marti (johannes.marti at gmail.com), Sebastian Speitel (sebastian.speitel at gmail.com), or Matthijs Westera (M.Westera at uva.nl).

Or see here.

As in the previous editions, the purpose of this meeting is to inform you on various issues that are currently of importance in the ILLC and / or the Master of Logic programme, amongst them the possible merger of the Science faculties at UvA & VU, and the relocation of ILLC within Science Park early in 2013. All ILLC staff, PhD students and guests are invited to attend. Christmas drinks will be served afterwards in the ILLC Common Room, C3.113.

There will certainly be room to ask questions at this meeting. Should you wish to ask a more extensive question for which the answer may require preparation by us, please let us know in advance.

The theme of the 27th Superdag will be: Next generation computing in service of Science and R&D.

An advanced national ICT research infrastructure is of essential importance for academia and industry. The use of this infrastructure has great impact on the knowledge economy and will enhance the internationally competitive position of the Netherlands now and in the future.

For more information, see https://www.sara.nl/form/sara-superdag-19-december-2012

For more information, see here or http://www.illc.uva.nl/~ulle/seminar/ or contact Ulle Endriss (ulle.endriss at uva.nl).

For more information, see here or http://www.illc.uva.nl/~ulle/seminar/ or contact Ulle Endriss (ulle.endriss at uva.nl).

For more information, contact coollogic.uva at gmail.com

For abstracts and more information, see http://smartcognitivescience.wordpress.com/

This workshop will create a platform for researchers coming from different fields to present their work and exchange ideas on the topic of belief change in social contexts. We look both at already-established work as well as the possible new connections that can emerge between the areas of logic, belief revision theory, learning theory, game theory and social science.

We are particularly interested in the conceptual-theoretical work as well as in the applications of formal models to specific multi-agent scenarios in which belief revision plays a crucial role. In contrast to the classical single-agent approach to Belief Revision Theory, the new developments from the area of Logic and Game Theory make it now possible to pursue a multi-agent perspective. Similarly, the study of the iterated belief revision procedures can benefit from the work on learning strategies in Formal Learning Theory. Bringing the ideas from these different areas together allows us to put forward new theoretical work which can lead to new modeling techniques and offer a better understanding of puzzling social-informational phenomena (such as pluralistic ignorance, the bandwagoning effect, group polarization, etc.).

Everybody is welcome to attend, please register via the workshop website. For more information, see http://www.ninagierasimczuk.com/logicic/kickoff/.

For more information, see here or http://www.illc.uva.nl/~ulle/seminar/ or contact Ulle Endriss (ulle.endriss at uva.nl).

First talk (15:00-16:30):
Speaker: Thomas Bolander (TU Denmark)
Title: Don't Plan for the Unexpected: Planning Based on Plausibility Models

Second talk (16:30-18:00):
Speaker: Hans van Ditmarsch (LORIA, Nancy & IMSc, Chennai)
Title: Refinement modal logic

For more information, see http://www.illc.uva.nl/lgc/seminar.

For more information, see http://www.illc.uva.nl/lgc/seminar/?p=1736

For more information, contact coollogic.uva at gmail.com

For abstracts and more information, see http://www.illc.uva.nl/LoLa/DIP-Colloquium/.

For abstracts and more information, see http://www.math.uu.nl/people/jvoosten/seminar.html

For more information, see http://www.illc.uva.nl/lgc/seminar

For abstracts and more information, see http://smartcognitivescience.wordpress.com/

For more information and abstracts, see http://www.illc.uva.nl/LaCo/CLS/

For more information, see http://www.illc.uva.nl/lgc/seminar

For more information, see http://jeroengoudsmit.com/piia/.

Rick Sommer is the director of Academic Programs at Stanford Pre-Collegiate Studies and a lecturer in Mathematics and Philosophy at Stanford University. He will give a talk on Stanford Pre-collegiate Programs.

For more information, see here, or contact nina.gierasimczuk at gmail.com.

For more information, contact coollogic.uva at gmail.com

For more information, see http://www.illc.uva.nl/lgc/seminar

American philosopher Daniel Dennett (Center for Cognitive Studies at Tufts University) has addressed two of the major cultural questions of our time, questions that have defined our self-image: Where do we come from and What is consciousness? He has shown that through the power of thinking combined with sheer hard work one can add new insights to the fields of study that these questions traditionally have belonged to, in this case evolutionary biology, neurobiology and psychology. Dennett addresses philosophical questions with tools derived from the Life Sciences. The new insights that he has developed are challenging and considered groundbreaking among the experts. However, they are also highly accessible to a wider academic readership.

This symposium offers a select group of PhD students an opportunity to enter into discussion with Daniel Dennett on a range of philosophical topics. The idea is that questions to Dennett should be inspired by on-going PhD work of the students. Deadline for applications: Tuesday 1 May 2012

For more information, see http://www.huizingainstituut.nl/

For abstracts and more information, see http://sites.google.com/site/illcdip/.

For more information, see http://www.illc.uva.nl/lgc/seminar

The Logic Tea homepage can be found at http://www.illc.uva.nl/logic_tea/. For more information, please contact Johannes Marti (johannes.marti at gmail.com), Sebastian Speitel (sebastian.speitel at gmail.com), or Matthijs Westera (M.Westera at uva.nl).

Or see here.

For more information, contact coollogic.uva at gmail.com

For more information, see http://www.illc.uva.nl/lgc/seminar

For more information and abstracts, see http://www.illc.uva.nl/LaCo/CLS/

The afternoon will start at 13.00 hour with the award ceremony of the Stieltjes Prize for the best Mathematics PhD thesis in the Netherlands followed by a lecture by the prize winner. The prize winner is dr. Jop Briët (CWI) for a thesis defended at UvA, promotor prof. dr. Harry Buhrman (CWI and UvA/ILLC).

This will be followed by two lectures on the work of Abel prize winner 2011 Endre Szemeredi.

For more information, see here or http://web.science.uu.nl/WONDER/prizes.html.

For more information on the Stieltjes prize awarded to Job Briët, see http://www.cwi.nl/news/2012/ or http://www.uva.nl/en/news-events/news/uva-news/item/. The thesis itself may be found at http://dare.uva.nl/en/record/395592.

Computational Modeling of Language Acquisition

For abstracts and more information, see http://smartcognitivescience.wordpress.com/

For more information, see http://www.illc.uva.nl/lgc/seminar/?p=1606

The Logic Tea homepage can be found at http://www.illc.uva.nl/logic_tea/. For more information, please contact Johannes Marti (johannes.marti at gmail.com), Sebastian Speitel (sebastian.speitel at gmail.com), or Matthijs Westera (M.Westera at uva.nl).

Or see here.

For more information, see http://www.rug.nl/corporate/nieuws/archief/archief2012/promoties_oraties/.

For more information, contact coollogic.uva at gmail.com

CSCA lecture - Prof. dr. Eric F. Clarke, University of Oxford, Faculty of Music

For more information, see http://csca.uva.nl/events/item/

For more information and abstracts, see http://www.illc.uva.nl/lgc/seminar.

For abstracts and more information, see http://sites.google.com/site/illcdip/.

The NAP-dag ('Nieuw Amsterdams Peil') is an annual event at which PhD candidates from the ACLC and the ILLC present their research. This event is free and is open to the public.

For more information, see http://www.hum.uva.nl/acl-nw-events/events.cfm.

Times and rooms of the three lectures:

• Friday 12 October: 15-17h, room B0.203
• Monday 15 October: 15-17h, room B0.206
• Thursday 18 October: 13:30-15:30, room B0.206

For an outline of each lecture of the course, see http://www.illc.uva.nl/LoLa/LOGICiC-Seminar/

Please note that Valentin Goranko will also give a talk (separate from this tutorial) within the joint LogiCIC/LIRa seminar session on Wednesday, October 17th.

Note: this talk was earlier announced to take place in September. It has been postponed due to a scheduling conflict.

For more information, see http://www.illc.uva.nl/lgc/seminar

The Logic Tea homepage can be found at http://www.illc.uva.nl/logic_tea/. For more information, please contact Johannes Marti (johannes.marti at gmail.com), Sebastian Speitel (sebastian.speitel at gmail.com), or Matthijs Westera (M.Westera at uva.nl).

For an abstract, see here.

For more information, contact coollogic.uva at gmail.com

For more information, see here or http://www.illc.uva.nl/~ulle/seminar/ or contact Ulle Endriss (ulle.endriss at uva.nl).

For more information, see here or http://www.illc.uva.nl/~ulle/seminar/ or contact Ulle Endriss (ulle.endriss at uva.nl).

The year 2012 marks the centenary of the birth of Alan M. Turing. All over the world, researchers are celebrating the 100th birthday of this great and inspiring scientist by workshops and conferences. The Nederlandse Vereniging voor Logica & Wijsbegeerte der Exacte Wetenschappen (VvL) decided to add an opportunity for the Dutch community of researchers to engage in similarly fruitful discussions and have a meeting that will put Turing's achievements into a contemporary research context in Amsterdam in October 2012.

turing100.nl will be open for all researchers in the fields of logic, artificial intelligence, history of computing, and theoretical computer science; it will serve as a forum for Dutch researchers to meet international top experts. The meeting will feature five speakers, two from history of computing, two from the research areas resting on Turing's ideas, and the science journalist Bennie Mols who published the book "Turings Tango. Waarom de mens de computer de baas blijft". In the evening, the University Players Hamburg will perform Hugh Whitemore's Breaking the Code about Alan Turing's life and work. The meeting is funded by NWO.

For more information, see http://www.turing100.nl/

For more information, see http://www.illc.uva.nl/lgc/seminar

Breaking the Code is a 1986 play by Hugh Whitemore about the British mathematician Alan Turing whose 100th birthday is being celebrated all over the world during the year 2012 as the Alan Turing Year. Turing, one of the foundational thinkers behind the modern theory of computation, was also a key player in breaking of the German Enigma code at Bletchley Park during World War II. The play thematically links Turing's cryptographic activities with his attempts to grapple with his homosexuality.

The University Players at the Universität Hamburg take their motto of "teaching theatre" very seriously. Under the guidance of experienced actors and directors, new members of the University Players gather practical experience in all areas of the theatre (production, publicity, programs, directing, acting, lighting, sound, costuming, stage design, make-up, etc.). The workshop atmosphere of the University Players has won the group national recognition as a remarkable and unique enterprise.

The University Players will perform Breaking the Code as part of the Alan Turing Year celebrations at the following locations:
14 September 2012: Paderborn, Germany
16 September 2012: Hamburg, Germany
19 September 2012: Braunschweig, Germany
4 October 2012: Amsterdam, The Netherlands
5 October 2012: Amsterdam, The Netherlands
1 November 2012: Almere, The Netherlands

There will be two performances in Amsterdam, one on 4 October, 17:00 in Cafe Oerknal at Science Park Amsterdam which is reserved for students and staff of CWI and FNWI, and the second one on 5 October, 19:30 in the Openbare Bibliotheek Amsterdam open for everyone.

If you plan to attend the Thursday performance, please note that there is a limited number of places, so reservations are required. Please send an email to info-science at uva.nl stating "play Alan Turing". In this case, also indicate whether you stay for dinner afterwards and if you want to eat vegetarian.
No reservation is required for the Friday performance.

For more information, see http://www.math.uni-hamburg.de/BreakingTheCode/

John Pickstone will outline his present views on Ways of Knowing and Working as a means of analysing and synthesising across the histories commonly presented as Science, Technology and Medicine. He will then open discussion around several specific questions.

Ways of knowing in science, technology and medicine: can they also cover 'the humanities'?

John Pickstone will outline his present views on Ways of Knowing and Working as a means of analysing and synthesising across the histories commonly presented as Science, Technology and Medicine. He will then open discussion around 5 questions:

A) Does the WoK/WoW schema also reasonably cover the humanities, before 'c. 1800', e.g. by putting the verbal Trivium alongside the mathematical Quadrivium?

B) Does the Wok/WoW frame help us understand the actors' views of the humanities, pre 1800, especially in relation to philosophy?

C) How do these questions relate to the relations of 'sciences' and 'arts' pre c. 1800?

D) How then did the relevant configurations change c 1800? ( i.e. c. 1770-1830)

E) How do these questions relate to the relations of 'sciences' and 'humanities' in the 20th century?

For more information, please contact rens.bod at gmail.com

On Monday, 1 October 2012 the Faculty of Science, together with Bureau Kennistransfer (BKT) organizes a meeting to introduce the new European Framework Programme for Research and Technological Development: Horizon2020. The meeting will be organized for everybody involved in Research in the Faculty and at the Science Park and will be moderated by Dr Sean McCarthy, expert on European Research Programmes.

Horizon2020 follows the 7th Framework Programme (FP7), which ends in 2013. Horizon2020 will start on 1 January 2014, with a total budget of around 80 billion euro. The programme has a duration of 7 years and will determine to a high extend the research agenda in Europe and thus The Netherlands. Given that ILLC aims for greater participation in EU projects, all ILLC staff members (including ILLC staff from the Faculty of Humanities) are urged to attend this meeting.

For more information and registration, see http://www.medewerker.uva.nl/science/news_and_agenda.cfm/ and http://www.uva.nl/nieuws-agenda/agenda/alle-evenementen/item/horizon-2020.html.

For abstracts and more information, see http://sites.google.com/site/illcdip/.

For more information, see http://www.illc.uva.nl/lgc/seminar

The Logic Tea homepage can be found at http://www.illc.uva.nl/logic_tea/. For more information, please contact Johannes Marti (johannes.marti at gmail.com), Sebastian Speitel (sebastian.speitel at gmail.com), or Matthijs Westera (M.Westera at uva.nl).

For an abstract, see here.

For abstracts and more information, see http://www.math.uu.nl/people/jvoosten/seminar.html

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

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

The abstract of G. Aucher's lecture is available at : http://www.illc.uva.nl/LoLa/LOGICiC-Seminar/

We have the pleasure to invite you to participate in our monthly LogiCIC seminar series which is being organized within the ERC project on "The Logical Structure of Correlated Information Change". Every month, this seminar will host one or two invited speakers who present their latest research results on topics in Logic, Epistemology and Philosophy of Science.

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

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

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

For more information, contact coollogic.uva at gmail.com

For more information, see here.

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

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

For abstracts and more information, see http://sites.google.com/site/illcdip/.

Everyone is cordially invited to the first LIRa talk this fall. Note that the regular time slot for LIRa this semester will be Thursdays, 15:30-17:30. Also note that room G0.05 is a short walk from Science Park 904.

For more information, see http://www.illc.uva.nl/lgc/seminar

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 http://www.illc.uva.nl/Workshops/LR2012/

The Logic Tea homepage can be found at http://www.illc.uva.nl/logic_tea/ For more information, please contact Johannes Marti (johannes.marti at gmail.com), Sebastian Speitel (sebastian.speitel at gmail.com), or Matthijs Westera (M.Westera at uva.nl).

For an abstract, see here.

[In Dutch only]
Na meer dan 40 jaar verbonden te zijn geweest aan de Universiteit van Nijmegen neemt Wim Veldman dit najaar afscheid. Ter gelegenheid hiervan is er voor 10 september een middagprogramma georgani seerd in het Huygensgebouw van de Radboud Universiteit Nijmegen (zaal HG 00.304):

12.00-13.00 Aankomst gasten van buiten (met broodjes en koffie)
13.00-15.00 Voordrachten van Yiannis Moschovakis,
Joan Rand Moschovakis en Tonny Hurkens
15.00-15.30 Pauze
15.30-16.30 Voordracht Wim Veldman
gevolgd door Receptie.
Belangstellenden zijn van harte welkom.

For more information, concact Sebastiaan Terwijn <terwijn at math.ru.nl>

For abstracts and more information, see http://sites.google.com/site/illcdip/.

The Arend Heyting Stichting was founded in 1981. It's goal is to further knowledge of the foundations of mathematics, in particular Intuitionism. On 7 September 2012 Yiannis Moschovakis will deliver the Arend Heyting Lecture to support this goal.

For more information, contact illc at uva.nl. The Heyting Lecture is part of the celebration of the Alan Turing Year 2012.

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

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

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

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

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

This year marks the 380th anniversary of the University of Amsterdam (UvA). In honour of this 76th 'lustrum' (anniversary occurring every five years), the UvA will be celebrating the opening of the academic year on a grand scale with the arrival of the 'Glass House of Science and Scholarship' ('het Glazen Huis van de Wetenschap'). On Monday, 3 September from 09:30 to 18:15, the Spui in Amsterdam will be transformed into a public lecture hall.

For more information, seehttp://www.english.uva.nl/news/news.cfm/8CB86D70-94B8-45C8-97F7404A3ADC3E3D. Video's of the lectures may be found at http://webcolleges.uva.nl/Mediasite/Catalog/Full/ (requires SilverLight).

To welcome the new MSc Logic students and the new PhD students of the ILLC, we have our yearly drinks with pizza.

A meeting of young scholars working on the Realist tradition in the History and Philosophy of Logic and Mathematics.

For more information, see http://www.hum.leidenuniv.nl/filosofie/nieuws-agenda/logical-realism.html or contact anstenklev at gmail.com.

The Aarhus Workshop on Satisfiability funded by CTIC wants to bring together researchers who are interested in different aspects of Boolean Satisfiability. The workshop consists of two parts. In Part 1, leading experts in the field will give a minicourse on selected topics. In Part 2, we will work in small groups on open problems. All participants are invited to contribute one or two open problems related to satisfiability. The goal of the workshop is to learn from each other, start fruitful collaborations on the open problems, and enjoy the beautiful town of Aarhus in summer.

Important Dates:
Wednesday, August 1: Registration deadline
Friday, August 17: Deadline for submitting open problems
Monday, August 20 to Wednesday, August 22: Workshop

Please find more information on our webpage: http://ctic.au.dk/workshops-conferences/wsat2012/

The European Summer School in Logic, Language and Information (ESSLLI) is organized every year by the Association for Logic, Language and Information (FoLLI, http://www.folli.org/) in different sites around Europe. The main focus of ESSLLI is on the interface between linguistics, logic and computer science. ESSLLI offers foundational, introductory and advanced courses, as well as workshops, covering a wide variety of topics within or around the three main areas of interest: Language and Computation, Language and Logic, and Logic and Computation. Previous summer schools have been highly successful, attracting up to 500 students from Europe and elsewhere. The school has developed into an important meeting place and forum for discussion for students and researchers interested in the interdisciplinary study of Logic, Language and Information.

For more information, see http://www.esslli2012.pl/

For abstracts and more information, see http://www.math.uu.nl/people/jvoosten/seminar.html

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 http://www.illc.uva.nl/ILLCColloquium/Midsummernight2012/ or contact rens.bod at uva.com.

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

What, beyond proof, makes mathematics a powerful form of understanding? We approach this question by attending to the way mathematics modularizes, by shaping special-purpose contents by the expressions it deploys (and avoids) in special contexts.

For abstracts and more information, see http://www.math.uu.nl/people/jvoosten/seminar.html

For more information, see here or http://www.illc.uva.nl/~ulle/seminar/ or contact Ulle Endriss (ulle.endriss at uva.nl).

Abstract:
Herakleitos' sparse remarks on a "logos" have been deemed dark, but 2500 years later we can see that they are not as dark as Wittgenstein's TLP. I will use modern findings to show that they naturally fit in Wittgenstein's program, and that they help us to transform Aristotle's square of opposition into an obvious cube of opposition. If time permits I will argue that Herakleitos' logic of distinction is also appropriately conceived of as dynamic in nature, and that it naturally fits his own, even more sparse, remarks on ethical matters.

For more information, write to inescrespo at uva.nl or P.J.E.Dekker at uva.nl.

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

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

For abstracts and more information, see http://www.math.uu.nl/people/jvoosten/seminar.html

For more information, see http://www.illc.uva.nl/LoLa/LOGICiC-Seminar/ and http://www.illc.uva.nl/lgc/seminar.

For more information, see here or write to inescrespo at uva.nl or P.J.E.Dekker at uva.nl.

For abstracts and more information, see http://www.math.uu.nl/people/jvoosten/seminar.html

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.

For more information, see http://www.illc.uva.nl/lgc/seminar

For more information, see http://www.science.uva.nl/actueel/Agenda.cfm/FF16E798-1321-B0BE-A4E1D4CD458897AD

For abstracts and more information, see http://sites.google.com/site/illcdip/.

In this presentation I introduce the formal foundation of a new game semantics to define the concept of defeasible knowledge. My approach is inspired by Keith Lehrer's use of "justification games''. These games are an essential ingredient of Lehrer's account of knowledge as "undefeated justified acceptance'': an agent plays against an (ultra)critical opponent in order to give an irrefutable justification for accepting a certain proposition. My formal treatment of such type of games should provide a valuable addition to the literature on formal epistemology. I will make the notions of preference, justification, truth, belief and knowledge explicit within the framework of Dynamic Epistemic Logic and its recent extensions to deal with belief revision theory. This talk is based on on-going joint work with A. Baltag and S. Smets.

The Logic Tea homepage can be found at http://www.illc.uva.nl/logic_tea/ For more information, please contact Johannes Marti (johannes.marti at gmail.com), Sebastian Speitel (sebastian.speitel at gmail.com), or Matthijs Westera (M.Westera at uva.nl).

Some authors have recently started to consider modal expansions of the well-known Belnap four-valued logic, either with implication (S. Odintsov, H. Wansing et al.) or without it (G. Priest). Given that some bilattice logics are four-valued (conservative) expansions of the Belnap logic, we may wonder whether it makes sense to consider modal expansions of bilattice logics and their algebraic counterpart, which would be bilattices with modal operators. I will present a few ideas on how this can be done.

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

For more information, see http://www.illc.uva.nl/lgc/seminar.

Program:
16h00, Willem Zuidema (ILLC, UvA), SMART Perspective on Evolutionary Linguistics
16h20, Carel ten Cate (Leiden), On the linguistic abilities of songbirds
17h10, Discussion
17h30, Drinks in Cafe Frenzi (Zwanenburgwal 232 – that’s 100 meters in the direction of the Waterloo Square market)

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

How do we learn to count and listen to music? In a NIAS Seminar on 24 May, Johan Rooryck and Henkjan Honing will discuss the cognitive qualities that we share with other animals, and the ones that are uniquely human.

In this seminar, Johan Rooryck and Henkjan Honing will present some aspects of the Horizon research project Knowledge and Culture that they recently submitted to NWO for funding. In this project, they intend to study the relationship between innate cognitive capacities that are not specific for humans, so-called core knowledge systems, and innate cognitive capacities that are uniquely human, such as language and music.

For more information, see http://musiccognition.blogspot.com/2012/05/ and http://www.nias.nl/Pages/NIA/33/300.bGFuZz1FTkc.html.

This talk extends Tarski's classical topological semantics for propositional modal logic to first-order modal logic, with respect to the following two aspects: (i) It takes a sheaf over a topological space, and shows that such structures (or the category of them) model first-order modal logic by equipping points of the space with domains of individuals. (ii) It is also shown how topological semantics extends to the more general case of neighborhood semantics, at the level of sheaf semantics. These extensions provide semantics for the simple unions of first-order logic with S4 modal logic and with more general modal logics. Corresponding to the point-set and algebraic formulations of Tarski's topological semantics, the semantics of this paper will be presented in both point-set and topos-theoretic formulations.

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

On 22-23 May 2012, the Innovatiecentra Academisch Bètaonderwijs (ICAB) will organise a conference on education in the sciences (in Dutch). If you are a lecturer in the MSc Logic programme and would like to participate, please tell Ulle Endriss (the registration fee can be convered from a central UvA budget).

For more information, see http://www.icab.nl/?pid=3.

For abstracts and more information, see http://www.illc.uva.nl/LoLa/LOGICiC-Seminar/.

For more information, see http://www.illc.uva.nl/lgc/seminar

For abstracts and more information, see http://sites.google.com/site/illcdip/.

For abstracts and more information, see http://www.math.uu.nl/people/jvoosten/seminar.html

For more information, see here or http://www.illc.uva.nl/logic_tea/, or contact Johannes Marti (johannes.marti at gmail.com), Tong Wang (tongwang01 at gmail.com), or Matthijs Westera (M.Westera at uva.nl).

For more information, see http://www.illc.uva.nl/lgc/seminar

For abstracts and more information, see http://sites.google.com/site/illcdip/.

For more information, see here or http://www.illc.uva.nl/~ulle/seminar/, or contact Ulle Endriss (ulle.endriss at uva.nl).

For more information, see http://www.illc/uva.nl/lgc/seminar

Starting at 24 april 2012, a course on `Models of Computation' will be taught at Utrecht University, in the master programme `Cognitive Artificial Intelligence', but open to other students, also from other universities. At the moment there is still room for enrollment of 7-8 additional students.

The aim of this course is to get acquainted with some of the most frequently used models of computation in computability theory and logic, and in the disciplines of AI. Classical and less well-known models will be studied. Relationships between these models will be established via simulations. The Church-Turing Thesis about effective calculability will be explained, evidence for it, and possible limitations of this statement, will be discussed. Some non-classical models of computation and their reach will be treated. Furthermore, applications in AI-disciplines will be considered.

Lecturers: Vincent van Oostrom and Clemens Grabmayer

For more information, please see the webpage http://www.phil.uu.nl/moc/ or contact the lecturers.

For abstracts and more information, see http://smartcognitivescience.wordpress.com/

The Logic Tea homepage can be found at http://www.illc.uva.nl/logic_tea/ For more information, please contact Umberto Grandi (u.grandi at uva.nl), Tong Wang (tongwang01 at gmail.com), or Matthijs Westera (M.Westera at uva.nl).

For abstracts and more information, see http://sites.google.com/site/illcdip/.

Deze dag met colleges geeft een inspirerende en toegankelijke inleiding tot de belangrijkste keerpunten binnen de humaniora. Het is een veelomvattend overzicht van waar de geesteswetenschappen ons gebracht hebben, opgehangen aan de belangrijkste centrale inzichten en de ontdekkingen die daartoe geleid hebben. De samenhang tussen de verschillende wetenschapsgebieden als historische wetenschappen, taalkunde, muziekwetenschap, literatuurwetenschap en mediastudies, komt uitgebreid aan de orde. Kortom, wat is de betekenis van de geesteswetenschappen voor de wereld?

Deze middag wordt afgesloten met een forumdiscussie over de waarde van Geesteswetenschappen nu en in het verleden en hoe deze zich verhouden tot bijvoorbeeld de natuur- en gedragswetenschappen. Het publiek is van harte uitgenodigd hierover mee te praten.

For more information, see http://www.uva.nl/actueel/agenda.cfm/5A6AB394-876A-4617-9FFF3CF7CF14AC04.

For more information, see http://www.illc.uva.nl/lgc/seminar

Abstract:
The Second Lecture applies the historical approach I have been developing to issues of interest within contemporary philosophy involving naturalism, mathematics, and the place of normativity in a scientific world-view. I do this by briefly sketching a new look at the history of philosophical rationalism and its involvement with mathematical science from Plato, through the scientific revolution of the seventeenth century (Galileo, Descartes, Newton, Leibniz), to Kant. And I aim thereby to indicate how we might fruitfully go on from this rationalist tradition today.

For more information, contact Y.T.M.Verbeek at uva.nl.

For abstracts and more information, see http://sites.google.com/site/illcdip/.

The Logic Tea homepage can be found at http://www.illc.uva.nl/logic_tea/ For more information, please contact Umberto Grandi (u.grandi at uva.nl), Tong Wang (tongwang01 at gmail.com), or Matthijs Westera (M.Westera at uva.nl).

For more information, see here or http://www.illc.uva.nl/~ulle/seminar/ or contact Ulle Endriss (ulle.endriss at uva.nl).

For more information, see here or http://www.illc.uva.nl/~ulle/seminar/ or contact Ulle Endriss (ulle.endriss at uva.nl).

Abstract:
My Dynamics of Reason (2001) responds to Thomas Kuhn’s theory of scientific revolutions by developing a new-Kantian conception of dynamical and historically relative a priori constitutive principles and applies this conception to Kuhn’s central example of the transition from Newtonian physics to Einstein’s theory of relativity. It argues for the trans-historical rationality of this revolutionary scientific change by appealing to the contemporaneous developments in scientific philosophy throughout the late nineteenth and early twentieth centuries, involving such figures as Hermann von Helmholtz, Ernst Mach, and Henri Poincaré. The First Lecture briefly summarizes this argument and then extends it in two interrelated ways – by, on the one hand, exploring the scientific, philosophical, and theological background to Kant’s original conception of a non-dynamical, timeless conception of the synthetic a priori, and, on the other, relating these developments to the wider cultural context. I thus make a beginning in connecting the purely intellectual historical narrative on which I have concentrated so far with cultural and political history, thus making contact with work in history of science and science studies.

For more information, contact Y.T.M.Verbeek at uva.nl.

The session is jointly organized by the LIRa seminar and the LogiCIC project.

For more information, see http://www.illc.uva.nl/lgc/seminar

We present some applications of utility optimization in queueing networks. We introduce a number of results on utility functions and optimization decompositions. We present results about the equilibrium state of certain queueing networks. We then show how both these optimization problems and queueing networks can be modified so that the asymptotic state of a queueing network converges to the solution of a utility optimization problem.

For more information, email k.r.apt at cwi.nl.

For abstracts and more information, see http://smartcognitivescience.wordpress.com/

Please note that the regular slot for the LIRa seminar has changed from Thursday 3 p.m. to Tuesday 3 p.m.!

For more information, see http://www.illc.uva.nl/lgc/seminar.

COIN — Coalgebra in the Netherlands is a bimonthly seminar, to be held on Mondays alternately in Nijmegen and Amsterdam. The aim of COIN is to bring together coalgebra researchers at various locations in the Netherlands, and share current results and questions in the world of coalgebra. We welcome presentations on any subject related to coalgebra.

The next COIN meeting is scheduled for Monday, 19 March 2012, at CWI, in room L120. The schedule is as follows:
13:30 - 14:15 Georgiana Caltais
14:15 - 15:00 Tomasz Brengos
15:15 - 16:00 Clemens Kupke

For more information, see the seminar website at http://homepages.cwi.nl/~winter/coin.html

The second ILLC Current Affairs Meeting will take place on Friday 16th March next, from 16:00 to 17:30 hours in room C0.110, Science Park 904. At the Current Affairs meetings, ILLC staff and PhD students are informed about matters of importance regarding day-to-day affairs at ILLC, and also about larger issues concerning the ILLC. All ILLC employees are invited to this meeting, which will be followed by drinks in the ILLC Common Room.

This talk is based on joint work with A. Baltag on the use of concepts and techniques from Dynamic Epistemic Logic (DEL) to model and reason about quantum behavior. First I will concentrate on an improvement of the older results (due to Piron, Soler, Mayet and others) on the 'Hilbert-complete' axiomatizations of algebraic quantum logic and present a dynamic-logical setting, in which physical actions (and not only static physical properties) are logically represented. Secondly I will focus on compound systems and analyse both classical and quantum correlations. Our formalism for this is based on an extension of epistemic logic with operators for 'group knowledge'. And as models I introduce correlation models, as a generalization of the 'interpreted systems' semantics (commonly used in Computer Science as a model for information flow in distributed systems). I use this second setting to investigate the relationship between the information carried by each of the parts of a complex system and the information carried by the whole system. Our dynamic logical setting explains the non-local informational dynamics of quantum systems that are triggered by quantum observations (measurements) and un-observed evolutions (quantum gates), and the epistemic logical setting yields an informational-logical characterization of the notion of 'quantum entanglement'.

For more information, see here or http://www.illc.uva.nl/~ulle/seminar/, or contact Ulle Endriss (ulle.endriss at uva.nl).

The Logic Tea homepage can be found at http://www.illc.uva.nl/logic_tea/ For more information, please contact Umberto Grandi (u.grandi at uva.nl), Tong Wang (tongwang01 at gmail.com), or Matthijs Westera (M.Westera at uva.nl).

For abstracts and more information, see http://sites.google.com/site/illcdip/.

For more information, see http://www.illc.uva.nl/lgc/seminar.

The Logic Tea homepage can be found at http://www.illc.uva.nl/logic_tea/ For more information, please contact Umberto Grandi (u.grandi at uva.nl), Tong Wang (tongwang01 at gmail.com), or Matthijs Westera (M.Westera at uva.nl).

For more information, see http://www.science.uva.nl/actueel/Agenda.cfm/FF16E798-1321-B0BE-A4E1D4CD458897AD

For more information, see here or http://www.illc.uva.nl/~ulle/seminar/ or contact Ulle Endriss (ulle.endriss at uva.nl).

For more information, see http://www.illc.uva.nl/lgc/seminar.

For more information, see here.

For more information and an abstract, see here or contact nina.gierasimczuk at gmail.com.

For more information and an abstract, see here or contact kishidakohei at gmail.com.

For abstracts and more information, see http://sites.google.com/site/illcdip/.

Two cross-linguistic experiments comparing musicians and non-musicians were performed in order to examine whether musicians have enhanced perception of specific acoustical features of speech in a second language (L2). These discrimination and identification experiments examined the perception of various speech features; namely, the timing and quality of Japanese consonants, and the quality of Dutch vowels. We found that musical experience was more strongly associated with discrimination performance rather than identification performance. The enhanced perception was observed not only with respect to L2, but also L1. It was most pronounced when tested with Japanese consonant timing.

These findings suggest the following: 1) musicians exhibit enhanced early acoustical analysis of speech, 2) musical training does not equally enhance the perception of all acoustic features automatically, and 3) musicians may enjoy an advantage in the perception of acoustical features that are important in both language and music, such as pitch and timing.

For more information, see http://staff.science.uva.nl/~ahoningh/readinggroup.html

The General Mathematics Colloquium homepage can be found at http://www.science.uva.nl/research/math/Calendar/colloq/ For more information, please contact Tanja Eisner (t.eisner at uva.nl), Hessel Posthuma (h.b.posthumsa at uva.nl) or Neil Walton (n.s.walton at uva.nl)

The Logic Tea homepage can be found at http://www.illc.uva.nl/logic_tea/. For more information, please contact Umberto Grandi (u.grandi at uva.nl), Tong Wang (tongwang01 at gmail.com) or Matthijs Westera (M.Westera at uva.nl).

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

For more information, see http://www.illc.uva.nl/lgc/seminar/?p=1340.

STW funds excellent research, which can lead to the development of a product. In its’ evaluation processes both scientific excellence and possibility for utilization are equally important. Therefore when you write an STW application you need to keep in mind what it takes to get from research to product, and you need to get the parties necessary to bring the product to market aboard.

Dr Eppo Bruins, director of STW, will give a presentation on the ins- and outs of STW funding. Dr Marja Oosterlaken will talk about the do’s and don't’s, and dr (tbc, Erik Manders) will give his tips for writing a successful STW application.

This workshop is intended for researchers, and for possible industry partners. Feel free to invite your industry contacts to this meeting.

The workshop will be given in English. Participation is free

For more information, see http://www.english.uva.nl/technology-transfer-office/workshops-and-training.cfm/

The Logic Tea homepage can be found at http://www.illc.uva.nl/logic_tea/ For more information, please contact Umberto Grandi (u.grandi at uva.nl), Tong Wang (tongwang01 at gmail.com), or Matthijs Westera (M.Westera at uva.nl).

We study a fair division problem, where a set of indivisible goods is to be allocated to a set of n agents. Each agent may have different preferences, represented by a valuation function that is a probability distribution on the set of goods. In the continuous case, where goods are infinitely divisible, it is well known that proportional allocations always exist, i.e., allocations where every agent receives a bundle of goods worth to him at least 1/n. In the presence of indivisible goods however, this is not the case and one would like to find worst case guarantees on the value that every agent can have. We focus on algorithmic and mechanism design aspects of this problem.

In the work of [Hill 1987], an explicit lower bound was identified, as a function of the number of agents and the maximum value of any agent for a single good, such that for any instance, there exists an allocation that provides at least this guarantee to every agent. The proof however did not imply an efficient algorithm for finding such allocations. Following upon the work of Hill, we first provide a slight strengthening of the guarantee we can make for every agent, as well as a polynomial time algorithm for computing such allocations. We then move to the design of truthful mechanisms. For deterministic mechanisms, we obtain a negative result showing that a truthful 2/3-approximation of these guarantees is impossible. We complement this by exhibiting a simple truthful algorithm that can achieve a constant approximation when the number of goods is bounded. Regarding randomized mechanisms, we also provide a negative result, showing that we cannot have truthful in expectation mechanisms under the restrictions that they are Pareto-efficient and satisfy certain symmetry requirements.

Joint work with Christos-Alexandros Psomas

For more information, contact k.r.apt at cwi.nl

In February 2012, Roberto Guintini (University of Cagliari) will give a 4-part LogiCIC and LiQuID tutorial on The Logics of Quantum Computation: An Introduction.

For more information, see http://www.illc.uva.nl/lgc/seminar/?p=1344

For more information, see http://acg.project.cwi.nl/htbin/acg/ACG.php4?tid=290

The aim of the Interrogative Model of Inquiry Workshop is to bring together researchers interested in Hintikka's Interrogative Model of Inquiry (IMI), and to promote cooperation and exchange on research projects related to the development of the IMI. The workshop will be the occasion to assess the different past scientific contributions to the IMI, and to open and discuss possibilities for new research directions.

The IMI Workshop is made possible by the IMI Project funded by the ANR and hosted by the IHPST.

For more information, see http://imi2012.sciencesconf.org/ or contact Henri Galinon at henri.galinon at gmail.com.

In my book Analyzing Atonal Music: Pitch-Class Set Theory and Its Contexts, one of my aims was to show that pitch-class set theory was not just tailored to the analysis of revolutionary compositions, and that it neither heralded a new era of computational musicology - although it has been identified with each of these two claims from early on. What struck me was the continuity it exhibited with music theories of the past. And it seemed to enable the same kind of engagement with twentieth-century, "modernist" music as earlier generations had felt for the great masterworks of the eighteenth and nineteenth centuries.

In this talk, I will take my cue from the relation between "similarity" and "distance", and discuss the "roadmaps" that music theorists of the eighteenth and nineteenth centuries conceived to establish the distances between tonal keys.

For more information, see http://staff.science.uva.nl/~ahoningh/readinggroup.html

Or see here.

This is the closing workshop for the NWO project On Vagueness - And How to Be Precise Enough (2008-2012). The workshop brings together philosophers, linguists, and psychologists working on the topic.

Organisers: Harald Bastiaanse, Robert van Rooij, Galit W. Sassoon, and Frank Veltman.

For more information, see: http://sites.google.com/site/vaguenesscircle/workshop. Participation in the workshop is free of charge, but we kindly ask you to let us know if you have plans to come (galitadar at gmail.com), so that we have an estimation of number of participants (for technical arrangements).

For more information, see http://www.illc.uva.nl/lgc/seminar/?p=1203

(Dutch only)
Taal is essentieel voor de mens. Mensen zijn de enige diersoort met taal en essentikle dingen die ons mens maken, zoals samenwerking, cultuur en wetenschap zouden niet mogelijk zijn zonder taal. Wetenschappers zijn daarom zeer geonteresseerd in hoe taal gekvolueerd is. Het enige aspect van taal waar fossiel bewijs voor is, is spraak. Deze presentatie behandelt een onderdeel van dat fossiele bewijs: het verdwijnen van de keelzak.

Keelzakken zijn grote zakken die verbonden zijn met het spreekkanaal. Alle apen hebben keelzakken, behalve de mens. Waarom zijn die keelzakken bij de mens verdwenen en heeft dat iets met spraak te maken? Deze vragen worden beantwoord en er kan zelfs gezegd worden hoe lang geleden dit allemaal gebeurd is.

De lezing van Bart de Boer wordt ingeleid door prof. dr. Paul Boersma.

For more information, see http://www.spui25.nl/spui25/programma.cfm/8E8CA761-2F20-43B5-AD2B7B3F6349055E

We have the pleasure to invite you to participate in our new monthly LogiCIC seminar series which is being organized within our ERC project on "The Logical Structure of Correlated Information Change". Every month, this seminar will host one or two invited speakers who present their latest research results on topics in Logic, Epistemology and Philosophy of Science. For the opening of this seminar next Tuesday, we have the honor to present you with two lectures. The speakers are Kevin T. Kelly and Hanti Lin from Carnegie Mellon University.

For more information and an abstract, see https://sites.google.com/site/logicicproject/logicic-seminar or here.

COIN, or Coalgebra in the Netherlands, is a seminar taking place alternating at the Radboud University Nijmegen and the CWI in Amsterdam. The aim of COIN is to bring together coalgebra researchers from various locations in the Netherlands, and share current results and questions in the world of coalgebra. We welcome presentations on any subject related to coalgebra.

The next COIN meeting is scheduled for Monday, 23 January 2012, at the Huygens building of the Radboud Universiteit Nijmegen, in room HG00.086. The schedule is as follows:
14:30 - 15:15 Jörg Endrullis (VU)
    Part 1: Causality via productivity
    Part 2: Degree of undecidability of stream equality
15:15 - 16:00 Bart Jacobs (RU)
    Bases as coalgebras
16:15 - 17:00 Joost Winter (CWI)
    Generalized context-freeness

For more information, see the seminar website at http://homepages.cwi.nl/~winter/coin.html

Professor Kelly, who is currently a visitor at ILLC, will give a two-part tutorial on Topological Epistemology for a general audience.

For more information, see http://www.illc.uva.nl/lgc/seminar/?p=1241.

For more information on the workshop and the full program, please visit: http://staff.science.uva.nl/~simaan/workshop2012.html or e-mail k.simaan at uva.nl or m.mylonakis at uva.nl.

For the abstract of the talk, visit http://www.illc.uva.nl/lgc/seminar/?p=1209

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

(Dutch only)
Tijd is onlosmakelijk verbonden met muziek en is eveneens een centrale notie in de muziekcognitie, de studie naar de manier waarop muziek door de hersenen wordt verwerkt. Cognitiewetenschappers doen onderzoek naar mentale processen zoals kennisverwerving en -verwerking door het menselijk brein. Juist omdat muziek met onze cognitieve functies speelt, zijn deze wetenschappers muziek als onderzoeksobject in de loop der jaren steeds interessanter gaan vinden - zeker naarmate de computer en nieuwe technieken het makkelijker maakten theorieën over muziek toetsbaar te maken. In deze aflevering van 'Stand van de Wetenschap' bieden John Michon en Henkjan Honing een inkijkje in de ontwikkelingen binnen de muziek- en cognitiewetenschap, aan de hand van verschillende onderzoeken naar de notie tijd in de muziek.

For more information, see http://www.spui25.nl/spui25/programma.cfm/43709F9E-C3AE-44D4-B42ACD3CA472AC4E

The ILLC will celebrate the New Year at the ILLC New Year's Colloquium 2012.

Program:
16.00-16.30: Jelle Zuidema: Is Recursion Monkey Business?
16.30-17.00: Jan van Eijck: Logic of Communication
17.00-17.30: Katrin Schulz: The Semantic Anatomy of Conditional Sentences
17.30-19.00: New Year's toast and drinks

For more information see here or contact illc at uva.nl.

For more information, see http://www.hum.uva.nl/aclc-news/events.cfm/C358946E-BBBB-45E5-81F6ECFDCE5A8490

For more information, see http://staff.science.uva.nl/~fsangati/WSJ12/.

As part of our "Logic and Interactive Rationality" series of workshops and seminars, on 12 January we will have a workshop on connections between Logic, Learning Theory and Epistemology, with the occasion of Kevin Kelly's visit to ILLC.

Speakers include Kevin Kelly (Carnegie Mellon), Johan van Benthem (ILLC and Stanford), Jan van Eijck (ILLC, CWI and Utrecht), Peter Grunwald (CWI and Leiden), Sonja Smets (ILLC), Nina Gierasimczuk (ILLC), Alexandru Baltag (ILLC).

More information, including full program and abstracts, will be posted at the LIRA homepage at http://www.illc.uva.nl/lgc/seminar/.

On the 9th January 2012, the programme "Semantics & Syntax" will be officially opened. In addition to being the official opening of the programme, this event will provide the general mathematical public (with strong emphasis on postgraduate students) a glimpse of the current state of the art and explain what is going to happen during the six months at Cambridge.

The day is one of the Spitalfields Days of the London Mathematical Society, named in honour of the Spitalfields Mathematical Society, a precursor of the London Mathematical Society which flourished from 1717 to 1845. Spitalfields Days provide survey lectures aimed at a general mathematical audience.

If you are a postgraduate student and wish to apply for a travel grant (£100), please contact the organizer at bloewe at science.uva.nl by 15 December 2011.

For more information, see http://www.newton.ac.uk/programmes/SAS/sasw05.html

A colloquium on the occasion of Daniel Dennett's honorary doctorate at the UvA, with talks and discussions on Logic, Philosophy & Cognition and Modelling, Evolution & Intelligence. Speakers include Daniel Dennett, Michiel van Lambalgen, Julian Kiverstein and Jelle Zuidema

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

The aim of this meeting is to present the state of art in Descriptive Set Theory and Model Theory. In Descriptive Set Theory, focus will be on its interaction with Ergodic Theory and Functional Analysis. In Model Theory, focus will be on its interaction with Number Theory, Algebra and Geometry.

Programme: A preparatory workshop will be held during Dec. 27-31, 2012. The workshop will be followed by a conference during Jan. 1-4, 2013.

For more information, see http://www.isical.ac.in/~dst.model/

The FSTTCS conference is a forum for presenting original results in foundational aspects of Computer Science and Software Technology.

Representative areas include, but are not limited to:
* Algorithms and data structures
* Automata and formal languages
* Combinatorial optimization
* Computational complexity
* Concurrent, timed and hybrid systems
* Cryptography and security
* Logic in computer science
* Programming languages

For further details see the conference website at http://www.fsttcs.org/.

Continuing the mission of the first four AGI conferences, AGI-12@Oxford gathers an international group of academic and industry researchers involved in scientific and engineering work aimed directly toward the goal of artificial general intelligence. The AGI conferences are the only major conference series devoted wholly and specifically to the creation of AI systems possessing general intelligence at the human level and ultimately beyond.

AGI-12@Oxford will feature invited and contributed talks on all areas of AGI, poster presentations, workshops, tutorials, and technology demonstrations. As in prior AGi conferences, there will be ample panel discussions and occasions for open collaborative discussion on key AGI issues.

AGI-12@Oxford will be followed by a related conference, AGI-Impacts, hosted by Oxford's Future of Humanity Institute and focused on the broader implications of AGI. AGI-12 attendees will get free admission to AGI-Impacts.

For more information, see http://agi-conf.org/2012/

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

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

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

The 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 annual meeting of the working group "Logic in Computer Science" of the "Society for Computer Science" in 2012 will take place at the University of Applied Sciences in Mannheim on November 16 & 17 (Friday and Saturday), 2012. Invited Speakers: Klaus Ambos-Spies (Heidelberg), Carsten Lutz (Bremen) and Nicole Schweikardt (Frankfurt)

For further information and registration, please see http://www.am.hs-mannheim.de/gi_tagung_2012.php. or contact Professor Dr. Lutz Strüngmann at l.struengmann at hs-mannheim.de.

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.

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

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

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

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

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

The 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 conference 'Numbers and truth - the philosophy and mathematics of arithmetic and truth' will be held at the University of Gothenburg, Sweden, on October 19-21, 2012. Its main objective is to permit an exchange of ideas between truth theorists, philosophers and mathematicians interested in the foundations of mathematics. The conference will contain 10 invited and 4 contributed talks. It will give the researchers an opportunity both to present technical results and to diagnose their philosophical significance.

For more information, see the Conference Website at http://www.numbersandtruth.org/

The conference will offer a forum for the presentation of multidisciplinary perspectives on the concept of time and its embodied, phenomenological experience as expressed in diverse systems, above all human language, and should thus be of interest to students and researchers in philosophy, anthropology and psychology of time.

Also welcome are scholars who investigate temporal experience, time expressions and categorization in language and literature, including metaphor and figurative language, learning-acquisition of temporal concepts as well as annotation and identification of temporal structures in language corpora. In addition, the organizers hope to attract researchers who propose cognitive, formal and other models of time and time-related dimensions in the framework of event structures.

For more information, see http://www.timeling.pl/.

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 workshop "Turing in Context II" aims at gaining a better and deeper understanding of Turing's work and legacy by bringing together historians, philosophers, logicians and computer scientists who work on topics that are relevant to one of the many fields Turing has contributed to. The focus of this workshop is thus not Turing's work per se, but rather the work of others before, during and after Turing's life up to today which is directly relevant to understanding Turing's work now and then.

Turing in Context II is a trans-disciplinary research workshop meant for experts in the fields touched by Turing's contributions to science, and will allow for submission of contributed papers.

For more information, see http://www.computing-conference.ugent.be/tic2

This is the fourth in an annual series of workshops on the philosophy of mathematics organized by a team of scholars in France and elsewhere. The three-day meeting will feature both invited and contributed talks.

For more information, see http://www-ihpst.univ-paris1.fr/operations/colloque.php?id_colloque=59

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

WoLLIC is an annual international forum on inter-disciplinary research involving formal logic, computing and programming theory, and natural language and reasoning. Each meeting includes invited talks and tutorials as well as contributed papers. The nineteenth WoLLIC will be held at the University of Buenos Aires, Argentina, from September 3rd to 6th, 2012.

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

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

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

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

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

A controlled natural language (CNL) is based on natural language but comes with restrictions on vocabulary, grammar, and/or semantics. The general goal is to reduce or eliminate ambiguity and complexity.

Some of these languages are designed to improve communication among humans, especially for non-native speakers of the respective natural language. In other cases, the restrictions on the language are supposed to make it easier for computers to analyze such texts in order to improve computer-aided, semi-automatic, or automatic translations into other languages. A third group of CNL has the goal to enable reliable automated reasoning on seemingly natural texts. Such languages have a direct mapping to some sort of formal logic and should improve the accessiblity of formal knowledge representations or specifications for people unfamiliar with formal notations. All these types of CNL are covered by this workshop.

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

The purpose of the CLIMA Workshop Series is to provide a forum for discussing techniques, based on computational logic, for representing, programming and reasoning about agents and multi-agent systems in a formal way.

Following the previous, very successful, editions, the 13th CLIMA will be affiliated with ECAI 2012 and will take place in Montpellier, France, on the 27th and 28th of August 2012. In addition to CLIMA's regular topics and sessions, this edition will feature two special sessions, on Logics for Multi-Agent Programming and on Logics for Agreement Technologies

For more information, see http://www.csc.liv.ac.uk/~michael/clima2012.html

The targeted audience for the workshop are researchers associated with the fields working in the development of computational models for creativity, concept formation, concept discovery, idea generation, and their overall relation and role to general intelligence. Furthermore, researchers coming from application areas, like computer-aided innovation (CAI) are welcome to submit papers for this workshop.

For more information, see http://www.cogsci.uos.de/~c3gi. This workshop is part of ECAI 2012.

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.

The International Conference will be held 25-26 August. The program will consist of a combination of invited talks and contributed talks based on papers submitted to the scientific committee of the event.

EASLLC'2012 will be held 27-31 August, and is a school for graduate students and postdoctoral scholars, similar in spirit to the annual ESSLLI summer schools in Europe and also to the Sino-European Summer School on Logic, Language, and Computation, which took place in Guangzhou, China in December 2010.

The program of EASLLC 2012 will consist of nine courses in three different tracks: logic, language, and computation. The program will also feature one plenary evening talk for a wider audience given by one of the lecturers of the School. There will be student sessions in the late afternoon/early evening of some days of the School in which students will give short presentations of work in progress. In addition, a mentoring program is being planned. Selected students will be assigned one of the lecturers as mentor for informal interaction and discussions on research and career goals during the School.

For more information, see http://home.hib.no/prosjekter/easllc2012/

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/

After a gap of fifteen years, the Scandinavian Logic Symposium is back. The Symposium is the first major initiative of the newly revived Scandinavian Logic Society and will be held at Roskilde University (RUC), Denmark. As with previous editions of this conference, the aim of the programme is to reflect current activity in logic in our part of the world. The scope of SLS 2012 is broad, ranging over the whole area of mathematical and philosophical logic, and logical methods in computer science.

Related events: A post-SLS tutorial day will be organized on August 22 . Also note that Advances in Modal Logic (AiML) will be held on 22-25 August 2012, Copenhagen, Denmark.

The conference website will be found at: http://scandinavianlogic.weebly.com/

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

The aim of PCC is to stimulate research in proof theory, computation, and complexity, focusing on issues which combine logical and computational aspects. Topics may include applications of formal inference systems in computer science, as well as new developments in proof theory motivated by computer science demands. Specific areas of interest are (non-exhaustively listed) foundations for specification and programming languages, logical methods in specification and program development including program extraction from proofs, type theory, new developments in structural proof theory, and implicit computational complexity.

For more information, see http://diku.dk/pcc_2012/.

ICITS is a conference about all aspects of information-theoretic security and brings together the leading researchers in the areas of cryptology, information theory and quantum information.

For more information, see http://icits2012.iro.umontreal.ca/.

The workshop's goal is to bring together various formal methods for modeling and reasoning about belief revision, knowledge update, preference change, and strategies for learning. With this workshop we reach out to the logicians working in the domains of social choice theory and formal learning theory.

. For more information, see: http://www.ninagierasimczuk.com/LBP2012 or contact lbp2012 at easychair.org.

The roots of logic go back to antiquity, where it was mostly used as a tool for analyzing human reasoning. In the 19th century Gottlob Frege introduced anti-psychologism in the philosophy of mathematics, the view that the nature of mathematical truth is independent of human ideas. During the same period in the 19th century, also modern psychology (Helmholtz, Wundt) was born. Frege's notion of anti-psychologism often stood in the way of a potential merge of the disciplines and led to a significant separation between logic and psychology research agendas and methods. But since the 1960s, together with the growth of cognitive science inspired by the "mind as computer" metaphor, the two disciplines have started to interact more and more.

We plan to discuss the empirical research motivated by logical theories as well as logics inspired by experimental studies. As a result, we hope to contribute towards an increase in collaboration between logicians and cognitive scientists.

For more information, see http://www.ai.rug.nl/SocialCognition/logic-cognition/

The Student Session of the 24th European Summer School in Logic, Language, and Information (ESSLLI) will take place in Opole, Poland on August 6-17, 2012, to allow students to present original, unpublished work in any area at the intersection of Logic & Language, Language & Computation, or Logic & Computation.

For more information, see http://loriweb.org/ESSLLI2012StuS/ or contact esslli2012stus at loriweb.org.

The main goal of this meeting is to promote collaboration among researchers in the areas of Logic, Mathematics and Philosophy.

The featured topics include the following:
Semantics for Uncertain and Vague Reasoning (including fuzzy, paraconsistent, etc.)
Logics and Mathematics of Uncertainty and Vagueness
Philosophy of Inexactness

For more information, see http://www.cle.unicamp.br/principal/pmuv/

SADAF, the Argentine Society for Philosophical Analysis, is organizing a Tribute to Horacio Arló-Costa, to take place in Buenos Aires, August 2nd to 4th, 2012.

For further particulars, see here or check the SADAF webpage for the conference (in Spanish) at http://www.sadaf.org.ar/web/actividades/reuniones-academicas/item/187.html, or contact the organisers by sending an e-mail to info at sadaf.org.ar

For more information, see here or http://www.sadaf.org.ar/web/actividades/reuniones-academicas/item/187.html

Next summer, during the 19th International Congress of Linguists (ICL), which will take place July 22-27, 2013 in Geneva, Switzerland, there will be an extensive session on formal semantics & pragmatics. The multi-day session on semantics & pragmatics will feature half hour presentations (20 minute talks + 10 minute discussion).

For more information, see http://semantics-online.org/icl-sp-cfp.html

The biennial DEON conferences are designed to promote interdisciplinary cooperation amongst scholars interested in linking the formal-logical study of normative concepts and normative systems with computer science, artificial intelligence, philosophy, organization theory and law. In addition to these general themes, DEON2012 will encourage a special focus on the topic "Deontic Logic and Social Choice".

For more information, see http://infomedia.uib.no/deon2012/

The role of set theory as a foundation of mathematics has been criticized from various standpoints. The conference aims to shed light on this debate by asking what foundations of mathematics are and what they are for.

Some people understand foundations as providing a justification for mathematics; others as providing the subject matter of mathematics; others still as providing us with an arena within which to settle all questions of existence and proof in mathematics. The conference will bring together philosophers, logicians and mathematicians to discuss whether any of these senses of foundations should be privileged. The prospects for a pluralistic approach to foundational issues will also be considered.

For more information, see http://www.phil.cam.ac.uk/foundations/

The conference Kant and Modality seeks to promote the important issues of Kant's theory of modality and to exchange ideas by bringing together scholars working on all issues relating to his conception and theory of modality. It takes place at Humboldt University of Berlin on July 5-7 2012.

For more information, see here

CSR 2012 intends to reflect the broad scope of international cooperation in computer science. It is the seventh conference in a series of regular events started with CSR 2006 in St. Petersburg, and continuing in Ekaterinburg, Moscow, Novosibirsk, Kazan and St. Petersburg. CRS 2012 was included in schedule of the Alan Turing Year events.

For more information, see http://agora.guru.ru/display.php?conf=csr2012 or contact csr2012.conf at gmail.com.

For the Turing year 2012, the AISB (The Society for the Study of Artificial Intelligence and Simulation of Behaviour) and the IACAP (The International Association for Computing and Philosophy) merge their annual symposia/conferences to the AISB/IACAP World Congress. The Congress has been inspired by a desire to honour Alan Turing and by the broad and deep significance of Turing's work to AI, to the philosophical ramifications of computing, and to philosophy and computing more generally. The Congress is one of the events forming the Alan Turing Year.

The intent of the Congress is to stimulate a particularly rich interchange between AI and Philosophy on any areas of mutual interest, whether directly addressing Turing's own research output or not. The Congress will consist mainly of a number of collocated Symposia on specific research areas, interspersed with Congress-wide refreshment breaks, social events and invited Plenary Talks.

For more information, see http://events.cs.bham.ac.uk/turing12/

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

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

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

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

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

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

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

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.

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.

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

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

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

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/

The international interdisciplinary conference PhML 2012 is intended to provide a forum for presentation of current research, and to stimulate an interdisciplinary dialogue between mathematicians, logicians, philosophers, computer scientists and linguists. The conference will have plenary sessions to present the latest researches. Apart from plenary sessions, there will also be several sessions to present contributed papers at thematic sections. There will also be held a panel discussion about Kant's logic.

For more information, see http://www.pdmi.ras.ru/EIMI/2012/PhML/

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.

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/

TAMC 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. TAMC aims at bringing together a wide range of researchers with interests in computational theory and applications. The main themes of the conference TAMC 2012 will be Computability, Complexity, and Algorithms with extensions to information and networks.

For more information, see http://turing2012.iscas.ac.cn/tamc2012.html or contact Angsheng Li at angsheng at ios.ac.cn.

The Fourth Workshop on the Philosophy of Information, will take place at the University of Hertfordshire, 10-11 May 2012. The topic this year will be the intersections between PI, epistemology and philosophical semantics.

The current list of participants includes:
Keynotes: Stephan Hartmann, Gregory Wheeler.
Speakers: Patrick Allo, Simon D'Alfonso, Hilmi Demir, Luciano Floridi, Nir Fresco, Phyllis Illari, Mark Jago, Giuseppe Primiero, Sebastian Sequoiah-Grayson, Sonja Smets, Matteo Turilli, Orlin Vakarelov.

Our conference is an interdisciplinary meeting of philosophers, mathematicians and a wide spectrum of researchers whose interests are in the area of pure or applied logic. Each edition of our conference is devoted to a leading theme which usually concerns important issues and ideas in logic. One of them is the part-whole relation which has been intensively investigated by logicians, philosophers and mathematicians over the centuries. Since in the recent years one can observe a growing interest in this area, we decided to put into perspective the research on the part-whole problem. Therefore, the leading theme of the upcoming conference will be *Part-whole Theory*.

The detailed information regarding conference registration, submission of abstracts, and accommodation will be available on the conference's website at http://www.klmn.uni.wroc.pl/conference.html.

Formal philosophy relies increasingly on simulations, and sometimes on empirical test, coming closer to both computer-, cognitive- and social sciences. Some examples are learning-theoretic models of inquiry, network theory-based approaches in social epistemology, and game-theoretic evolutionary approaches of communication. The aim of the G.I.R.L.'12 Conference is to bring together researchers in philosophy, cognitive science and artificial intelligence, to investigate new areas where the game- and learning-theoretic simulation approaches can lead to fruitful results.

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

/PhDs in Logic//IV/is a graduate conference organized by and for PhD-students. This edition is the fourth one of an annual Belgian--Dutch happening; earlier editions took place in Ghent (2009), Tilburg (2010), and Brussels (2011).

As all previous PhDs in Logic conferences, this two-day graduate conference follows this threefold plan:
* Four established tutorial speakers will each give two one-hour tutorial sessions on a relevant topic in logic.
* Ten to twenty PhD students are given the opportunity to do a presentation on their own work.
* Networking will be encouraged by providing for generous breaks and by having lunch with the entire group.

For more information, visit our website at http://www.phdsinlogic2012.ugent.be.

The purpose of BCTCS is to provide a forum in which researchers in theoretical computer science can meet, present research findings, and discuss developments in the field. It also aims to provide an environment in which PhD students can gain experience in presenting their work, and benefit from contact with established researchers. This year, BCTCS is part of the Alan Turing Year, and will be collocated with the Automated Reasoning Workshop ARW.

The scope of the colloquium includes all aspects of theoretical computer science, including automata theory, algorithms, complexity theory, semantics, formal methods, concurrency, types, languages and logics. Both computer scientists and mathematicians are welcome to attend, as are participants from outside of the UK.

Further details are available from the Colloquium website at http://bctcs2012.cs.manchester.ac.uk/.

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/

Social and economic networks are everywhere: from Facebook to the more complex global financial network or to networks connecting economic agents or to other complex and dynamic economic networks. The study of these networks is crucial for both academics and policy makers and presents a host of new theoretical and econometric challenges. This conference will concentrate on studying the information and econometrics of networks.

More detailed information concerning the conference is available at: http://www.american.edu/cas/economics/info-metrics/workshop/

The series of International Conferences on Logic for Programming, Artificial Intelligence and Reasoning (LPAR) is a forum where, year after year, some of the most renowned researchers in the areas of logic, automated reasoning, computational logic, programming languages and their applications come to present cutting-edge results, to discuss advances in these fields, and to exchange ideas in a scientifically emerging part of the world. The 18th LPAR will be held in Merida, Venezuela.

For more information, see http://www.lpar-18.info/.

The Vienna Forum for Analytic Philosophy, a student society for philosophical research in the analytic tradition at the Department of Philosophy of the University of Vienna, dedicates its first Graduate Conference in March 2012 to the topic of truth.

For more information, see http://wfap.philo.at/?q=node/94

LATA is a yearly conference in theoretical computer science and its applications. Following the tradition of the International Schools in Formal Languages and Applications developed at Rovira i Virgili University in Tarragona since 2002, LATA 2012 will reserve significant room for young scholars at the beginning of their career. It will aim at attracting contributions from both classical theory fields and application areas (bioinformatics, systems biology, language technology, artificial intelligence, etc.).

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

What role does the assumption of rationality play in communication? Game Theory provides a powerful tool for investigating this question. If agents are assumed to be perfectly rational, classical Game Theory can model linguistic tasks such as pragmatic interpretation as equilibrium calculations. If agents are assumed to be simple learners, then Evolutionary Game Theory can model the emergence of apparently rational signaling systems. However, real language users are neither perfectly rational, nor as simple as the agents in evolutionary games. This collection aims to explore models of communicative interaction which lie between these extremes.

We invite submissions which utilize the tools of Game Theory (broadly construed) in order to investigate the assumption of rationality (and its limits) in models of communication. Deadline for Submissions: March 31, 2012. Notification of Acceptance: May 31, 2012.

Editors: Alistair Isaac (Department of Philosophy, University of Pennsylvania) and Sven Lauer (Department of Linguistics, Stanford University). Papers prepared for blind review should be sent to aisaac at sas.upenn.edu.

The Indian School on Logic and Applications is a biennial event. The previous editions of the school were held in IIT Bombay, IIT Kanpur, and University of Hyderabad. The objective is to present before graduate students and researchers of the country, some basics as well as active research areas in logic. The School typically attracts students and teachers from mathematics, philosophy and computer science departments. The School is complemented by a biennial conference. The fourth conference was held at Delhi University, in January 2011, and the proceedings published as LNCS 6521 in the FoLLI series. The school will adopt a dual format: the mornings will consist of introductory courses on fundamental aspects of logic, by eminent researchers in the area. The afternoons will have workshops, which can be of the nature of advanced tutorials, or presentations on research areas, in different aspects of logic and applications.

The deadline for receiving applications is December 15, 2011. For more information, see http://ali.cmi.ac.in/isla2012/.

In recent years, there has been an increasing interest (nationally as well as internationally) in Game Theory and Operations Research - theoretical aspects, computational aspects as well as applications. As its contribution towards sustaining this interest and developing this area further, Indian Statistical Institute, Chennai Centre would like to invite you to the above conference and workshop to be held in Chennai.

Our focus areas include (but is not restricted to) Algorithmic Game Theory, Evolutionary Games, and applications of Game Theory and Mathematical Programming to Supply Chain Management, Networks (Social as well as Communication Networks) and to areas such as Computational Neuroscience.

Our conference website is: http://www.isichennai.com/gtora2012/. Or contact the organizers at gtora2012 at gmail.com.

The board of the humanities division of NWO will visit the UvA to inform researchers in the humanities about grant possibilities, selection procedure etc.

For more information, see http://www.nwo.nl/nwohome.nsf/pages/NWOP_89KAC3 [Dutch only]

A workshop on "Forcing extensions and large cardinals" will take place at the Research Institute for Mathematical Sciences of Kyoto University (Japan) from December 4 (Tue.) till December 7 (Fri.), 2012. The workshop is organized by Tadatoshi Miyamoto (Nanzan University). The program will feature talks by participants from Japan and abroad.

See the webpage http://www2.kobe-u.ac.jp/~hsakai/RIMS2012/index_en.html for details. If you are interested in attending, please contact Tadatoshi Miyamoto (the sooner the better) at miyamoto at nanzan-u.ac.jp.

On Friday the 2nd of November, the study-association of Utrecht philosophy-students (FUF) is organizing a symposium on the philosophy of Gottlob Frege. The symposium will start at 11:00 and will take place at the Academiegebouw (Domplein 29, 3512 JE, Utrecht) in the Belle van Zuylenzaal.

Speakers:
- Prof. dr. Wolfgang Künne (University of Hamburg): Frege on that-clauses
- Prof. dr. Göran Sundholm (Leiden University): Frege's sense of sense: lost and gone forever?
- Prof. dr. Albert Visser (Utrecht University): Sinn meets Fiction

The symposium is oriented towards master students and advanced bachelor students, however all are welcome. Attendance is free (and includes coffee/tea). We will be speaking in English throughout the symposium.

If you have any questions or would like to receive abstracts, you can contact Clint Verdonschot at clintverdonschot at gmail.com.

The primary aim of the workshop is to bring together researchers in the Netherlands who work in theoretical philosophy: logic, the philosophy of mind, philosophy of science and technology, epistemology, metaphysics and/or the philosophy of language. With five presentations by prominent researchers, the workshop is meant to give an overview of state-of-the-art research in theoretical philosophy in the Netherlands.

The workshop is inspired by the initiative to start a Netherlands Research School in Philosophy (to be decided within the next weeks). It will be held parallel to the Fourth Annual Dutch Conference on Practical Philosophy, and a Workshop on the History of Philosophy. With these three events, all philosophers working in the Netherlands are invited for a conference or workshop in the Auditorium building on the Eindhoven University of Technology campus on 2 November, with a shared dinner.

The Alan Turing Institute Almere (ATIA) invites you to its conference on Thursday, November 1, 2012: "The Alan Turing Year ATIA Conference - AI & I: truly personalized medicine". The conference has the theme "How can the Artificial Intelligence (AI) today contribute to the health of tomorrow?", and will focus on agent technology and innovative products and services. Keynote speaker: Prof. MJ (Michael) Wooldridge (University of Oxford).

For more information, see http://atiaconference.nl/

This is the third of a biennially organized conference that brings together scholars and historians of humanities disciplines to draw the outlines for a comparative history of the humanities.

Keynote speakers:
Lorraine Daston (Max Planck Institute for the History of Science)
John Joseph (University of Edinburgh)
Glenn Most (Scuola Normale Superiore di Pisa)
Jo Tollebeek (University of Leuven)

For more information, see http://makingofthehumanitiesiii.blogspot.nl/

FSFLA 2012 offers a broad and intensive series of lectures at different levels on selected topics in language and automata theory and their applications. 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.

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

The way in which human beings comprehend their spatial environment has always been at the core of philosophical attention. At the beginning of the 20th century, philosophers started developing formal ontological theories that should capture the structural relationships among things in space, thereby giving rise to qualitative geometries. In more recent years, qualitative geometry has become increasingly popular among computer scientists whose aim is to model human behaviour in a natural environment. Our workshop will focus on both formal ontological theories of spatial representation, and their applications in Computer Science.

For more information, see http://www.sgslps.ch/events.php.

Speakers: Patrick Blackburn, Michael Dunn, Melvin Fitting, Arnold Koslow, Saul Kripke, Vladimir Lifschitz, Jan Plaza, Raymond Smullyan.

For more information, see the conference website at http://cslogic.info/ComputationalLogicFitting70/

Covering selected topics in lattice-based cryptography, this summer school will provide an overview of some of the most important cryptographic applications of lattices that have emerged in recent years.

For more information, see http://latticeschool.di.uminho.pt/

TPNC is the first event in a series to cover the wide spectrum of computational principles, models and techniques inspired by information processing in nature. TPNC 2012 will reserve significant room for young scholars at the beginning of their career. It aims at attracting contributions about nature-inspired models of computation, synthesizing nature by means of computation, nature-inspired materials, and information processing in nature.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

The conference highlights frontiers of formal and philosophical approaches to reasoning and decision making: recent developments, limitations, open questions and uncharted territory. It marks the end of a series of meetings by leading experts on theoretical and practical rationality. Invited presentations will be given by Branden Fitelson, Jeff Helzner, Simon Hutegger, Katya Tentori, and Kevin Zollman, and by many of the network participants. The event is preceded by the Groningen / Munich summer school on formal methods in philosophy.

For more information, see http://www.philos.rug.nl/R&Dnetwork/ or contact the organizers at RatDec2012 at rug.nl.

Science is one of the major determinants of modern society. Both the history and philosophy of science aim at a deeper understanding of the nature of this scientific enterprise and the knowledge it produces. The philosophy of science studies general questions concerning the nature of scientific knowledge and scientific methods, but also includes conceptual analysis of fundamental theories such as relativity, quantum mechanics, evolution and modern genetics. The historical approach focuses on the development of scientific thought and practice in times past. It does not limit itself to the problems, methods and solutions assigned by scientists, but extends its scope to the interplay with cultural, social or institutional features at particular times and places.

This summer school is aimed at introducing students to modern debates in the History and Philosophy of Science (HPS). The central theme will be 'Scientific Revolutions'. The course wil consist of a nine to five program from Monday to Friday. Excursion included.

Deadline for registration: 20-05-2011. For more information, see http://www.utrechtsummerschool.nl/index.php?type=courses&code=H5

The conference aims to present, promote and provoke research on Ludwig Wittgenstein's philosophy of mathematics. Wittgenstein is one of the most important philosophers of the 20^th century and he considered his most significant contribution to be in the philosophy of mathematics. Nevertheless, this contribution has received far less attention than the rest of his work. Recent research shows that early interpreters often failed to appreciate the radical nature of his critique of the orthodoxy. It also suggests that his philosophy of mathematics still contains much from which the field can profit. We therefore intend to discuss the development of Wittgenstein's philosophy of mathematics, the debates it has already provoked and the lessons it might hold for contemporary debates.

Attendance is free, but registration is requested. For registration and further information please contact anne-katrin.schlegel at philos.uzh.ch. For more information, see http://www.uzh.ch/news/agenda/record.php?id=14600&group=10.

The Faculty of Philosophy of the University of Groningen and the Munich Center for Mathematical Philosophy are hosting a summer school on formal methods in philosophy. Target audience are master's and PhD students interested in applications of formal methods to philosophical questions.

For more information, see https://sites.google.com/site/therootsofdeduction/summerschool

SSLST 2012 offers a broad and intensive series of lectures at different levels on language and speech technologies. 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.

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

The International Association for Ontology and its Applications (IAOA) organizes the First Interdisciplinary Summer School on Ontological Analysis. Six experts in different disciplines (philosophy, cognitive linguistics, knowledge representation and conceptual modeling) will meet for a week with students and researchers to present common themes in applied ontology and describe them from each discipline's viewpoint, to engage in open discussions with each other, and to interact with the participants.

Registration is now open (to IAOA members only). The number of participants is limited to 80. Participation is granted based on the order of registration. The IAOA funds some grants for students, covering the registration fee.

Visit the web site of the school for more information: http://iaoa.org/isc2012/index.php

The 2nd EU-Cog sponsored Summer School on Auditory Cognition will be taking place between July 16th and July 23rd, 2012, in Plymouth, UK. The summer school is exclusively focused on the topic of "Auditory Cognition - Listening in the Real World" and will cover a wide range of subjects, from the basics of auditory perception to higher order cognitive processes, as well as practical applications and new approaches to understanding auditory cognition.

The deadline for applications is the 27/05/12; successful applicants will be notified by 10/06/12. For more information, see http://www.acsummerschool.org

A nice school in Algorithmic Game Theory will happen in Samos island from 14 to 21 of July. The school is organized by University of the Aegean, Greece.

The motivation of this summer school is to blend: blue seasides, green forests, bar night lights and beautiful ideas in algorithms and game theory. We hope that the beauty of this island will excite our participants and influence their lectures. We also hope that our sun enlightens their new ideas, while the ~new hotel roof helps to shape their new proofs~. When the sun goes down, and the school reaches the end, our wish is that all visitors do not forget to sign their names across the sand. It will patiently keep these names warm during the winter, until their next summer visit.

The school is open to under/postgraduate students  and researchers in general at very low (early) accommodation costs. For more information and details, see http://agt2012samos.wordpress.com/.

Logic Colloquium 2012 will be held at the University of Manchester from Thursday 12th to Wednesday 18th July 2012. There will be lectures by plenary invited speakers, tutorial courses on set theory (Ilijas Farah), computability theory (Antonio Montalbán) and model theory (Boris Zilber).

The meeting is held under the auspices of the Association for Symbolic Logic, and incorporates this year's meeting of the British Logic Colloquium.

For full details of the conference, including online registration and accommodation booking, please see the website at: http://www.mims.manchester.ac.uk/LC2012/

The Summer School in Social Simulation: A hands-on approach program, organized by the Laboratory for Socio-Historical Dynamics Simulation (LSDS - UAB) offers an intensive hands-on course on multi-agent modeling applied to the social sciences using the Netlogo modeling environment. Participants will be able to debut immediately in the field and to present their own simulation model at the end of the course.

The program will be conducted by researchers in artificial intelligence, sociology, economics, archeology and other fields in the social sciences who, parallel to the course, will present the state-of-the-art research on the implementation of social simulation in their fields of expertise. The course is mainly directed to advanced students and researchers in the various fields of the social sciences who wish to approximate or to deepen in the knowledge of agent-based simulation to analyze complex phenomena in the context of social dynamics

For more information, see http://sct.uab.cat/lsds/content/lsds-summer-school-2012

A conference "Trends in Set Theory" will take place at the Stefan Banach International Mathematical Center in Warsaw (Poland) from July 8 (Sun.) to July 11 (Wed.) 2012. It is a satellite event to the 6th European Congress of Mathematics which will take place from July 2 to July 7 in Kraków, Poland.

The list mathematicians which already agreed to be main speakers includes: A. Aviles (Murcia), A. Dow (North Carolina), A. Kechris (Caltech), S. Shelah (Jerusalem and Rutgers), S. Solecki (Urbana-Champaing), S. Thomas (Rutgers) S. Todorcevic (CNRS and Toronto).

For more details see the complete first announcement at http://www.impan.pl/~set_theory/Conference2012/.

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

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

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

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

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/

"Modality and Modalities" will be a two day event on all things Modal Logical. This event will be held on Tuesday, 29th May and Wednesday, 30th May at the University of Copenhagen

Our keynote speakers are: Max Cresswell, Adriane Rini, and Krister Segerberg. Special Tutorial Presentation by Valentin Goranko

For more information, see http://modalityandmodalities.weebly.com/. All are welcome to attend, and attendance is free. But please: email us at cadillacdk at gmail.com if you plan on attending, so that we know how many guests to expect.

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.

For more information, see http://www.ur.de/lying

Constructivity is fundamental to the application of mathematics to the real world, whether in the exact sciences, the social sciences, or engineering. Constructive logics supporting this tradition have flourished over the last century. This conference is a celebration of the past and future of the constructive tradition.

This conference is in honor of the 60th birthday of the distinguished logician Sergei Artemov. He has made fundamental contributions exploring constructivity in logic, computer science, epistemology, game theory, and other areas. With this conference we honor his work, and by extension a subject whose content he has elucidated and whose boundaries he has expanded.

For more information, see http://fsw01.bcc.cuny.edu/evangelia.antonakos/file/ConstructivityAtCUNY.html

Expressivism is the view according to which normative utterances and thoughts, whether moral, aesthetic or epistemic, do not describe reality, but are rather the expression of practical attitudes. Such an analysis of normative utterances and thoughts in "non-cognitive" terms, as conative mental dispositions of agents, offers a promising way of naturalizing normative judgments. As a general theory of normative statements, however, expressivism runs into difficulties, such as the problem of truth-functional composition. The goal of the workshop is to foster interaction between defenders and critics of expressivism, to examine whether this view necessarily leads to a relativist or irrealist conception of norms, and, finally, to analyze the difficulties involved in integrating it into a general theory of epistemic normativity.

For more information, see here.

The Cogito research group in Philosophy of Mathematics and Philosophy of Logic is glad to announce the workshop 'Philosophy of Logic' that will take place at the University of Padua on the 7th of May 2012.

For more information and abstracts, see http://cogito.lagado.org/node/641.

The aim of this conference is to bring together PhD students, postdocs and young researchers in Set Theory in order to learn from leading researchers in the field, hear about the latest research and to discuss research issues in a co-operative environment. The conference format will be similar to previous years, including tutorials, research talks and discussion sessions.

if you are interested in attending the conference, please see the registration page on the website and/or contact Lionel Nguyen Van Thé (lionel at latp.univ-mrs.fr).

For more information, please see the conference website at http://math.univ-lyon1.fr/~melleray/yst2012-info.html

A Π⁰₁ ordinal analysis of Peano arithmetic can be based on provability logics with infinitely many modalities. The aims of the workshop are to report and to discuss progress on extending the analysis to stronger theories, as well as to study the corresponding logics and algebras from topological, set-theoretical and algebraic points of view.

Topics include but are not restricted to: reflection principles; Turing--Feferman recursive progressions; provability logics and algebras; conservation results for fragments of arithmetic and analysis; ordinal notation systems; topological and set-theoretic interpretations of modal logic.

To register, please contact Joost J. Joosten at jjoosten at ub.edu by April 10th. There is a registration fee of 80€. Upon registration you will receive information on the method of payment. Students and young researchers that wish to waive the fee should mention this when registering.

For more information, see http://www.phil.uu.nl/~jjoosten/WormShop/.

Now in its 31st year, Eurocrypt 2012 will take place in Cambridge, United Kingdom, from April 15 to April 19. Devoted to all aspects of cryptology, Eurocrypt is one of the three flagship conferences organised by the IACR.

It is especially apt that Eurocrypt 2012 is held in Cambridge as this year marks the 100th anniverary of the birth of Alan Turing. Eurocrypt 2012 is forming part of the celebrations of the Alan Turing Year.

In addition to Eurocrypt 2012, Cambridge is hosting a six month program at the Isaac Newton Institute for Mathematical Sciences devoted to recent work inspired by the work of Alan Turing. This program features a significant cryptologic component.

For more information, see http://www.cs.bris.ac.uk/eurocrypt2012/

The DARC workshop is intended to bring together people interested in the dynamics of formal argumentation understood in a broad sense, to exchange ideas, techniques, and results.

This workshop is associated to the DYNARG project. The event is open to all researchers working, planning to work, or just interested in these topics. There is no registration fee.

The event is open to all researchers working, planning to work, or just interested in these topics. Website: http://icr.uni.lu/darc/.

If you would like to present your work at DARC then please send an abstract to the organisers.

SSFLA 2012 (formerly the International PhD School in Formal Languages and Applications) offers a broad and intensive series of lectures at different levels on selected topics in language and automata theory and their applications. 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 and Mathematics. Other students are welcome too provided they have a good background in discrete mathematics. 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/ssfla2012/

Computational complexity theory has its origin in logic. The fundamental goal of this area is to understand the limits of efficient computation and the sources of intractability. The most famous open problem in the area is the P = NP-problem, listed among the seven Clay Millenium Prize problems. Logic provides a multifarious toolbox of techniques to analyse questions like this, some of which promise to provide deep insights in the nature and limits of efficient computation. In our workshop, we shall focus on logical descriptions of complexity, i.e. descriptive complexity, propositional proof complexity and bounded arithmetic.

The workshop will bring together leading researchers covering all research areas within the scope of the workshop. We will especially focus on work that draws on methods from the different areas which appeal to the whole community.

Deadline for application for participation: 26th January 2012 For more information, see http://www.newton.ac.uk/programmes/SAS/sasw01.html or contact a.beckmann at swansea.ac.uk.

This workshop focuses on the interaction of form and meaning of linguistic expressions with questions in discourse. It is well known that such an interaction exists, for instance, focus in an answer often corresponds to the wh-word in an explicit or implicit question, and some verbs can even embed overt or concealed questions. Recently, however, important progress has been achieved in this regard.

Invited speakers: David Beaver, Jeroen Groenendijk, Malte Zimmermann

For more information, see https://sites.google.com/site/inquisitivesemantics/workshops/

The Royal Netherlands Academy of Arts and Sciences (KNAW) together with the Netherlands Organisation for Scientific Research (NWO) will organise a symposium concerning fundamentals and applications of complexity science.

For more information, see http://www.knaw.nl/Content/Internet_KNAW/actueel/bestanden/.

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.

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/

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

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.

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/

WSLST 2012 offers a broad and intensive series of lectures on language and speech technologies 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.

The school is addressed to undergraduate and graduate students from around the world. Most appropriate degrees include: Computer Science and Linguistics. Other students (for instance, from Mathematics, Electrical Engineering, Philosophy, or Cognitive Science) are welcome too.

Early registration deadline: November 13, 2011. For more information, see http://grammars.grlmc.com/wslst2012/ or contact Florentina-Lilica Voicu at florentinalilica.voicu at urv.cat.

For more information, please contact T.Kassenaar at uva.nl

The ILLC is very proud to announce that on Thursday, December 13, 2012, 12 noon, Floor Sietsma will publicly defend her PhD thesis in the Agnietenkapel, University of Amsterdam. She is one of the youngest people in the Netherlands ever to receive a doctorate. At the time of her defence she will be 20.

For the full story, see here.

For more information, please contact T.Kassenaar at uva.nl.

Please note that the time for this defense has been moved up to 13:30 (from 14:00).