News and Events: Conferences

These pages provide information about recent developments at or relevant to the ILLC. Please let us know if you have material that you would like to be added to the news pages, by using the online submission form. For minor updates to existing entries you can also email the news administrators directly. English submissions strongly preferred.

The calender view is not available on the mobile version of the website. You can view this information as a list.

You can also view this information as a list or iCalendar-feed, or import the embedded hCalendar metadata into your calendar-app.

<< December 2012 >>
Sunday Monday Tuesday Wednesday Thursday Friday Saturday
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
Click on an event to view details.

3-7 April 2013, 6th Workshop on Intuitionistic Modal Logic and Applications (IMLA 2013), Rio de Janeiro, Brazil

Date: 3-7 April 2013
Location: Rio de Janeiro, Brazil
Deadline: 1 December 2012

Constructive modal logics and type theories are of increasing foundational and practical relevance in computer science. Applications of constructive modal logics are in type disciplines for programming languages, meta-logics for reasoning about a variety of computational phenomena and explanatory frameworks in philosophical logic.

The workshop aims at developing and explaining theoretical and methodological issues centered around the question of how the proof-theoretic strengths of constructive logics can best be combined with the model-theoretic strengths of modal logics. Practical issues center around the question of which modal connectives with associated laws or proof rules capture computational phenomena accurately and at the right level of abstraction. The workshop will be held in association with Unilog2013.

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

Contributions should be written in English and submitted in the form of full papers (with a maximum of 12 pages) or short papers (with a maximum of 6 pages). They must be unpublished and not submitted simultaneously for publication elsewhere. Paper submission deadline: December 1st, 2012.

25-27 February 2013, Systematic Analytic Philosophy and Interdisciplinary Research, Graduate Workshop (SAPhIR), Bochum, Germany

Date: 25-27 February 2013
Location: Bochum, Germany
Deadline: 1 December 2012

The Institut für Philosophie II at the Ruhr-Universität Bochum is holding a graduate workshop on Systematic Analytic Philosophy and Interdisciplinary Research. Keynote speakers are Mathias Frisch (University of Maryland), Hans Radder (Vrije Universiteit Amsterdam) and Jason Stanley (New York University).

For more information, contact

Graduate students, who are working at a University in Nordrhein-Westfalia, are invited to present a paper (25-30 minutes + discussion) at the Graduate Workshop. Please submit an extended abstract of about 1500 words to by December 1st, 2012. Workshop languages are English and German.

3-5 Apr 2013, "The Analysis of Theoretical Terms", Munich, Germany

Date: 3-5 Apr 2013
Location: Munich, Germany
Deadline: 1 December 2012

This conference is dedicated to the philosophical analysis of theoretical terms. Topics include the logic and semantics of our scientific theories, the epistemology and metaphysics of theoretical terms, and the philosophical consequences of these analyses for the philosophy of science and mathematics.

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

We invite submissions for a 30-minute presentation. Deadline for submissions is 1st December 2012.

31 October 2012, WONDER Afternoon & Stieltjes Prize award ceremony

Date & Time: Wednesday 31 October 2012, 12:30-17:00
Location: Room Z.009, CWI, Science Park 123, Amsterdam

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.

29 November - 1 December 2012, LEMMing Graduate Conference (Philosophy of Language, Logic and Mind), Cologne, Germany

Date: 29 November - 1 December 2012
Location: Cologne, Germany
Deadline: 1 September 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 .

31 October 2012, WONDER Afternoon & Stieltjes Prize award ceremony

Date & Time: Wednesday 31 October 2012, 12:30-17:00
Location: Room Z.009, CWI, Science Park 123, Amsterdam

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.

31 October 2012, WONDER Afternoon & Stieltjes Prize award ceremony

Date & Time: Wednesday 31 October 2012, 12:30-17:00
Location: Room Z.009, CWI, Science Park 123, Amsterdam

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.

31 October 2012, WONDER Afternoon & Stieltjes Prize award ceremony

Date & Time: Wednesday 31 October 2012, 12:30-17:00
Location: Room Z.009, CWI, Science Park 123, Amsterdam

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.

4-7 December 2012, Workshop "Forcing extensions and large cardinals", Kyoto, Japan

Date: 4-7 December 2012
Location: Kyoto, Japan

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 .

31 October 2012, WONDER Afternoon & Stieltjes Prize award ceremony

Date & Time: Wednesday 31 October 2012, 12:30-17:00
Location: Room Z.009, CWI, Science Park 123, Amsterdam

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.

4-7 December 2012, Workshop "Forcing extensions and large cardinals", Kyoto, Japan

Date: 4-7 December 2012
Location: Kyoto, Japan

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 .

31 October 2012, WONDER Afternoon & Stieltjes Prize award ceremony

Date & Time: Wednesday 31 October 2012, 12:30-17:00
Location: Room Z.009, CWI, Science Park 123, Amsterdam

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.

4-7 December 2012, Workshop "Forcing extensions and large cardinals", Kyoto, Japan

Date: 4-7 December 2012
Location: Kyoto, Japan

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 .

6 December 2012, NWO humanities division to visit UvA

Date: Thursday 6 December 2012
Location: PCH, Spuistraat 134

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]

31 October 2012, WONDER Afternoon & Stieltjes Prize award ceremony

Date & Time: Wednesday 31 October 2012, 12:30-17:00
Location: Room Z.009, CWI, Science Park 123, Amsterdam

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.

4-7 December 2012, Workshop "Forcing extensions and large cardinals", Kyoto, Japan

Date: 4-7 December 2012
Location: Kyoto, Japan

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 .

31 October 2012, WONDER Afternoon & Stieltjes Prize award ceremony

Date & Time: Wednesday 31 October 2012, 12:30-17:00
Location: Room Z.009, CWI, Science Park 123, Amsterdam

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.

8-11 December 2012, The Fifth Conference on Artificial General Intelligence (AGI@Oxford), Oxford, U.K.

Date: 8-11 December 2012
Location: Oxford, U.K.
Deadline: 15 July 2012

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/

31 October 2012, WONDER Afternoon & Stieltjes Prize award ceremony

Date & Time: Wednesday 31 October 2012, 12:30-17:00
Location: Room Z.009, CWI, Science Park 123, Amsterdam

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.

8-11 December 2012, The Fifth Conference on Artificial General Intelligence (AGI@Oxford), Oxford, U.K.

Date: 8-11 December 2012
Location: Oxford, U.K.
Deadline: 15 July 2012

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/

31 October 2012, WONDER Afternoon & Stieltjes Prize award ceremony

Date & Time: Wednesday 31 October 2012, 12:30-17:00
Location: Room Z.009, CWI, Science Park 123, Amsterdam

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.

8-11 December 2012, The Fifth Conference on Artificial General Intelligence (AGI@Oxford), Oxford, U.K.

Date: 8-11 December 2012
Location: Oxford, U.K.
Deadline: 15 July 2012

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/

31 October 2012, WONDER Afternoon & Stieltjes Prize award ceremony

Date & Time: Wednesday 31 October 2012, 12:30-17:00
Location: Room Z.009, CWI, Science Park 123, Amsterdam

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.

8-11 December 2012, The Fifth Conference on Artificial General Intelligence (AGI@Oxford), Oxford, U.K.

Date: 8-11 December 2012
Location: Oxford, U.K.
Deadline: 15 July 2012

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/

31 October 2012, WONDER Afternoon & Stieltjes Prize award ceremony

Date & Time: Wednesday 31 October 2012, 12:30-17:00
Location: Room Z.009, CWI, Science Park 123, Amsterdam

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.

31 October 2012, WONDER Afternoon & Stieltjes Prize award ceremony

Date & Time: Wednesday 31 October 2012, 12:30-17:00
Location: Room Z.009, CWI, Science Park 123, Amsterdam

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.

31 October 2012, WONDER Afternoon & Stieltjes Prize award ceremony

Date & Time: Wednesday 31 October 2012, 12:30-17:00
Location: Room Z.009, CWI, Science Park 123, Amsterdam

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.

14-15 December 2012, Belief Change in Social Context - LogiCIC Project kick-off workshop

Date: 14-15 December 2012
Location: (<em style="color: red">changed!</em>) Room 105, P.C. Hoofthuis, Spuistraat 134, 1012 VB Amsterdam

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

16-17 March 2013, 1st Workshop on Strategic Reasoning (SR 2013), Rome, Italy

Date: 16-17 March 2013
Location: Rome, Italy
Deadline: 15 December 2012

Strategic reasoning is one of the most active research area in multi-agent system domain. The literature in this field is extensive and provides a plethora of logics for modeling strategic ability. Theoretical results are now being used in many exciting domains, including software tools for information system security, robot teams with sophisticated adaptive strategies, and automatic players capable of beating expert human adversary, just to cite a few. All these examples share the challenge of developing novel theories and tools for agent strategies that take into account the likely behavior of adversaries.

The SR international workshop is an ETAPS 2013 workshop and aims to bring together researchers working on different aspects of strategic reasoning in computer science, both from a theoretical and a practical point of view.

For more information, see http://www.strategicreasoning.net/

Two types of submission are invited: papers reporting on novel research, and expository papers reporting on published work. Abstract submission deadline: December 15, 2012.

31 October 2012, WONDER Afternoon & Stieltjes Prize award ceremony

Date & Time: Wednesday 31 October 2012, 12:30-17:00
Location: Room Z.009, CWI, Science Park 123, Amsterdam

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.

14-15 December 2012, Belief Change in Social Context - LogiCIC Project kick-off workshop

Date: 14-15 December 2012
Location: (<em style="color: red">changed!</em>) Room 105, P.C. Hoofthuis, Spuistraat 134, 1012 VB Amsterdam

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

15-17 December 2012, 32nd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2012), Hyderabad, India

Date: 15-17 December 2012
Location: Hyderabad, India
Deadline: 13 July 2012

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

31 October 2012, WONDER Afternoon & Stieltjes Prize award ceremony

Date & Time: Wednesday 31 October 2012, 12:30-17:00
Location: Room Z.009, CWI, Science Park 123, Amsterdam

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.

15-17 December 2012, 32nd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2012), Hyderabad, India

Date: 15-17 December 2012
Location: Hyderabad, India
Deadline: 13 July 2012

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

31 October 2012, WONDER Afternoon & Stieltjes Prize award ceremony

Date & Time: Wednesday 31 October 2012, 12:30-17:00
Location: Room Z.009, CWI, Science Park 123, Amsterdam

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.

15-17 December 2012, 32nd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2012), Hyderabad, India

Date: 15-17 December 2012
Location: Hyderabad, India
Deadline: 13 July 2012

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

31 October 2012, WONDER Afternoon & Stieltjes Prize award ceremony

Date & Time: Wednesday 31 October 2012, 12:30-17:00
Location: Room Z.009, CWI, Science Park 123, Amsterdam

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.

31 October 2012, WONDER Afternoon & Stieltjes Prize award ceremony

Date & Time: Wednesday 31 October 2012, 12:30-17:00
Location: Room Z.009, CWI, Science Park 123, Amsterdam

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.

19 December 2012, 27th SARA Superday

Date: Wednesday 19 December 2012
Location: Turingzaal, Science Park 125, Amsterdam

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

31 October 2012, WONDER Afternoon & Stieltjes Prize award ceremony

Date & Time: Wednesday 31 October 2012, 12:30-17:00
Location: Room Z.009, CWI, Science Park 123, Amsterdam

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.

31 October 2012, WONDER Afternoon & Stieltjes Prize award ceremony

Date & Time: Wednesday 31 October 2012, 12:30-17:00
Location: Room Z.009, CWI, Science Park 123, Amsterdam

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.

31 October 2012, WONDER Afternoon & Stieltjes Prize award ceremony

Date & Time: Wednesday 31 October 2012, 12:30-17:00
Location: Room Z.009, CWI, Science Park 123, Amsterdam

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.

31 October 2012, WONDER Afternoon & Stieltjes Prize award ceremony

Date & Time: Wednesday 31 October 2012, 12:30-17:00
Location: Room Z.009, CWI, Science Park 123, Amsterdam

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.

31 October 2012, WONDER Afternoon & Stieltjes Prize award ceremony

Date & Time: Wednesday 31 October 2012, 12:30-17:00
Location: Room Z.009, CWI, Science Park 123, Amsterdam

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.

31 October 2012, WONDER Afternoon & Stieltjes Prize award ceremony

Date & Time: Wednesday 31 October 2012, 12:30-17:00
Location: Room Z.009, CWI, Science Park 123, Amsterdam

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.

31 October 2012, WONDER Afternoon & Stieltjes Prize award ceremony

Date & Time: Wednesday 31 October 2012, 12:30-17:00
Location: Room Z.009, CWI, Science Park 123, Amsterdam

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.

31 October 2012, WONDER Afternoon & Stieltjes Prize award ceremony

Date & Time: Wednesday 31 October 2012, 12:30-17:00
Location: Room Z.009, CWI, Science Park 123, Amsterdam

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.

27 December 2012 - 4 January 2013, "Descriptive Set Theory and Model Theory", Kolkata, India

Date: 27 December 2012 - 4 January 2013
Location: Kolkata, India
Deadline: 31 July 2012

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/

31 October 2012, WONDER Afternoon & Stieltjes Prize award ceremony

Date & Time: Wednesday 31 October 2012, 12:30-17:00
Location: Room Z.009, CWI, Science Park 123, Amsterdam

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.

27 December 2012 - 4 January 2013, "Descriptive Set Theory and Model Theory", Kolkata, India

Date: 27 December 2012 - 4 January 2013
Location: Kolkata, India
Deadline: 31 July 2012

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/

31 October 2012, WONDER Afternoon & Stieltjes Prize award ceremony

Date & Time: Wednesday 31 October 2012, 12:30-17:00
Location: Room Z.009, CWI, Science Park 123, Amsterdam

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.

27 December 2012 - 4 January 2013, "Descriptive Set Theory and Model Theory", Kolkata, India

Date: 27 December 2012 - 4 January 2013
Location: Kolkata, India
Deadline: 31 July 2012

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/

31 October 2012, WONDER Afternoon & Stieltjes Prize award ceremony

Date & Time: Wednesday 31 October 2012, 12:30-17:00
Location: Room Z.009, CWI, Science Park 123, Amsterdam

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.

27 December 2012 - 4 January 2013, "Descriptive Set Theory and Model Theory", Kolkata, India

Date: 27 December 2012 - 4 January 2013
Location: Kolkata, India
Deadline: 31 July 2012

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/

27 December 2012 - 4 January 2013, "Descriptive Set Theory and Model Theory", Kolkata, India

Date: 27 December 2012 - 4 January 2013
Location: Kolkata, India
Deadline: 31 July 2012

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/