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

The Seventeenth Amsterdam Colloquium will be held December 16 - 18 2009 at the University of Amsterdam. The Amsterdam Colloquia aim at bringing together linguists, philosophers, logicians and computer scientists who share an interest in the formal study of the semantics and pragmatics of natural and formal languages. The spectrum of topics covered ranges from descriptive (syntactic and semantic analyses of all kinds of expressions) to theoretical (logical and computational properties of semantic theories, philosophical foundations, evolution and learning of language).

Details about the symposium, and about the submission of abstracts, can be found at: http://www.illc.uva.nl/AC2009/

The one-day symposium The End of Infinity marks the end of the NWO-FOCUS/BRICKS sponsored research project Infinity, concerned with infinite objects, computation, modeling, and reasoning. In several talks participants of the Infinity project will report on the results that have been obtained in the project, new insights and challenges for ongoing research. There will be invited talks by Larry Moss and Hans Zantema.

For more information, see http://infinity.few.vu.nl/infinity/index.php/The_End_of_Infinity

The Logic Tea homepage can be found at http://www.illc.uva.nl/logic_tea/ For more information, please contact Lorenz Demey (lorenzdemey at hotmail.com), or Yurii Khomskii (Y.D.Khomskii at uva.nl)

[In Dutch only]
Een reeks gepresenteerd door universiteitshoogleraren van de UvA. In samenwerking met bureau Communicatie.

De stelling van dr. Johan van Benthem luidt: ‘Het academisch debat bestaat niet.'
In het zelfbeeld van veel academici is een levendig publiek debat de bron van de wetenschappelijke vooruitgang, want 'bij de botsing der meningen vonkt de waarheid'. Interessant academisch debat is aan de universiteit echter opvallend afwezig, betoogt Van Benthem.

For more information, see http://www.cms.uva.nl/spui25/programma.cfm/34917699-1321-B0BE-6801F753DACBB3E7

On December 14-16, 2009 the Tinbergen Workshop on Cooperative Game Theory and Economics, and the Fourth Dutch-Russian Symposium will be held in Amsterdam, The Netherlands.

There is no registration fee, but because of capacity restrictions, participation into the workshop and symposium is limited to about 35 participants. For more information, see http://staff.feweb.vu.nl/mestevez/WebPage_TIGAEC/default.php

Preferences are ubiquitous and unavoidable when dealing with interacting agents. This workshop consists of five talks by researchers in preference representation, highlighting recent work. No registration is required.

For more information, see http://staff.science.uva.nl/~juckelma/events/ndipr.

(Dutch only)
Je zou kunnen zeggen dat muziek in evolutionair opzicht zinloos is: het stilt onze honger niet, en we leven er geen dag langer door. Muziek lijkt weinig nut te hebben, behalve misschien dat we er plezier aan beleven als we het maken of ernaar luisteren. Althans, dat was de redenering van cognitief psycholoog Steven Pinker. Pinker zette taal af tegen muziek, waarbij taal stond voor een evolutionair relevante, en muziek voor een evolutionair irrelevante menselijke eigenschap.

Klopt dat? Zijn er echt geen argumenten aan te voeren dat muziek een beslissende rol heeft gespeeld in de evolutionaire ontwikkeling van de mens? Is muziek niet eerder een 'adaptatie', een aanpassing, die bijgedragen heeft aan het overleven van de mens als groep? Of is ze toch, zoals Pinker stelt, niet meer dan een prettige bijwerking van belangrijker functies zoals spraak en taal?

Een gesprek hierover met Henkjan Honing, Annemie Ploeger en Machiel Keestra, onder leiding van Jaap van Heerden, n.a.v. het verschijnen van Iedereen is muzikaal: wat we weten over het luisteren naar muziek bij uitgeverij Nieuw Amsterdam.

Voor meer informatie, zie http://www.spui25.nl/spui25/programma.cfm/C8F6CB1B-1321-B0BE-6870D88F10191EA8.

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

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.win.tue.nl/prose/

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

The Logic Tea homepage can be found at http://www.illc.uva.nl/logic_tea/ For more information, please contact Lorenz Demey (lorenzdemey at hotmail.com), or Yurii Khomskii (Y.D.Khomskii at uva.nl)

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

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 and abstracts, see http://www.illc.uva.nl/LaCo/CLS/.

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

For more information, see http://www.win.tue.nl/prose/

Apostolos Doxiadis, one of the authors of the Logicomix (http://www.logicomix.com/en/) will show a 20 min. movie discussing the making of the comic and then have a Q&A/discussion session.

For more information, contact Sara Uckelman (S.L.Uckelman at uva.nl) or Peter van Ormondt (P.vanOrmondt at uva.nl)/

Liesbeth de Mol (Gent), Maarten Bullynck (Paris) Janet Martin-Nielsen (Toronto) & Karel van Oudheusden (Amsterdam) will appear in the Colloquium on the History of Computing and amongst them connect such diverging historical subjects as Von Neumann, Lehmer, Chomsky and Dijkstra.

For more information, see http://www.science.uva.nl/history-of-computing/object.cfm/

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

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

The Semantics in the Netherlands Day (SiN-dag) is a series of annual conferences which provide the opportunity for graduate students working on natural language semantics in the Netherlands to present the results of their current research. This year SiN-dag (SiN VII) will take place on Friday, 6 November, at the University of Amsterdam, being hosted by the Amsterdam Center for Language and Communication (ACLC). It will be an all-day event including coffee breaks, lunch and drinks afterwards.

If you would like to attend (parts of) the SiN VII please register before 30 October by sending an e-mail to the organisers (J.Sweep at uva.nl & M.O.vanSchaik-Radulescu at uva.nl). Registration is free. For more information, see http://www.hum.uva.nl/sin7.

On the ocasion of the visits of two eminent speakers, Peter Hacker from Oxford and Peter Koepke from Bonn, we are organising a special session of the seminar.

All interested are cordially invited to attend. Summaries of the lectures can be found at here.

The Logic Tea homepage can be found at http://www.illc.uva.nl/logic_tea/ For more information, please contact Lorenz Demey (lorenzdemey at hotmail.com), Umberto Grandi (u.grandi at uva.nl) or Yurii Khomskii (Y.D.Khomskii at uva.nl)

A 1-day workshop on Indian logic, bringing together researches from Lille and Amsterdam in the working group DDAHL (Dynamic and Dialogical Approaches to Historical Logic.

For more information, see http://www.illc.uva.nl/medlogic/DDAHL/nov2.html

The NWO programme committee for Cognition organizes both an internet discussion and an afternoon symposium on " FADS AND FALLACIES in the name of COGNITIVE SCIENCE"

The symposium is organized to discuss exaggerated and conceptually confused claims concerning results of Cognitive Science and Neuroscience. This discussion was initiated by Prof. Pieter Adriaans in a letter. Both the internet discussion and the afternoon symposium are intended as a partial fulfillment of Pieter's request for more attention to these methodological and conceptual issues. Keynote speakers are Prof. Ruth Millikan (University of Connecticut) and Dr. Peter Hacker (St Johns College Oxford). The symposium will be chaired by Prof. dr. Herman Philipse.

For more information and registration, see http://www.nwo.nl/philosophy. To take part in the internet discussion, see http://www.cognitie.nl/discussion.

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

On this TCSA-day, organised by UvA, VU en CWI, theoretical computer scientists from the Amsterdam region can meet to learn about each others' work. The programme consists of talks by researchers from CWI, UvA, and VU. There is no need to register. Tea and coffee is offered; lunch is not organised.

For more information, see http://www.cs.vu.nl/en/news-agenda/agenda/2009/TCSA_index.asp

Peirce first identified abduction as a type of inference distinct from induction and deduction. He claimed that abduction permeates every aspect of human thought, from low-level perception to scientific theory choice. In contemporary philosophy, abduction is frequently considered only in the latter capacity, as a form of high-level scientific reasoning. In A.I., abduction is closely associated with the frame problem, the problem of how to determine relevance. Again, however, philosophers tend to identify this as a problem only for high-level reasoning. Fodor, for example, argues that low-level perceptual processes are encapsulated, and thus immune to the challenges of holistic reasoning, like abduction. In this talk I provide an overview of several different perspectives on abduction. I argue that the fundamental stumbling block for formal models of abduction is its inherently creative character. I conclude with a defence of Peirce’s original insight, arguing that empirical research on perception is a field from which models of abduction in other domains (such as scientific reasoning) can and should draw inspiration.

For more information contact Nina Gierasimczuk at N.Gierasimczuk at uva.nl.

The symposium starts with a lecture by Prof. Bill Batchelder, who will give an overview of the history of mathematical learning models. He will discuss how recent advances in statistical computing have renewed the relevance of traditional, and seemingly out-dated, models for learning and memory. This lecture is followed by presentations of recent developments and applications of learning models in the areas of category learning, probabilistic learning, causal learning, classical and operant conditioning, and discrimination learning.

Participation is free. Please register by sending an email to v.d.schmittmann at uva.nl. For more information, see http://www.cognitie.nl/events/.

The Logic Tea homepage can be found at http://www.illc.uva.nl/logic_tea/ For more information, please contact Lorenz Demey (lorenzdemey at hotmail.com), Umberto Grandi (u.grandi at uva.nl) or Yurii Khomskii (Y.D.Khomskii at uva.nl).

NAP is the abbreviation of Nieuw Amsterdams Peil and this day is meant for junior researchers to present their (ongoing) research. The NAPdag will be a full day of presentations, including social events like having lunch and drinks afterwards.

Because of the growing collaboration between the two research institutes, there will be presentations of PhD's from the ACLC as well as from the ILLC. Attendance is free, but if you wish to join the (free) lunch, please send an email to the organizers.

For more information, see here or http://www.hum.uva.nl/aclc/object.cfm/4317883A-3102-4F8A-A31CBC1402EBC5E4/, or contact the organizers at napdag2009 at gmail.com.

The Logic Tea homepage can be found at http://www.illc.uva.nl/logic_tea/. For more information, please contact Lorenz Demey (lorenzdemey at hotmail.com) or Yurii Khomskii (Y.D.Khomskii at uva.nl)

Tijdens de eerstvolgende editie van de voordrachtenreeks De stelling van ... is het woord aan Henkjan Honing, universitair hoofddocent op het terrein van Muziekcognitie. Hij gaat op maandag 12 oktober in op de stelling ‘We zijn allemaal muzikale dieren'.

Over muzikaliteit bestaan veel misverstanden. Mensen die zichzelf amuzikaal vinden, zeggen dat ze geen ritmegevoel hebben of niet zuiver kunnen zingen. Een zingende vogel of een op de maat dansende kaketoe vinden ze echter al snel ‘muzikaal'. Maar kunnen dieren wel muzikaal zijn en wat is muzikaliteit eigenlijk?

De toegang is vrij. U dient zich wel van te voren aan te melden. Voor meer informatie, zie http://www.science.uva.nl/actueel/nieuws.cfm/E0B0A7B2-1321-B0BE-68C7AD498A41BF51 en http://www.science.uva.nl/actueel/Agenda.cfm/C806D906-1321-B0BE-68CAD58FF96CEFB3

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

The First International Workshop on Logic, Rationality and Interaction (LORI-I) took place in Beijing in August 2007, with participation by researchers from artificial intelligence, game theory, linguistics, logic, philosophy, and cognitive science. The workshop led to great advances in mutual understanding, both academically and culturally, between Chinese and foreign logicians. Due to the success of LORI-I, we have decided to continue organizing LORI at various places in China and possibly other countries in Asia and the Pacific Area in the future.

The Second International Workshop on Logic, Rationality and Interaction (LORI-II) will take place in Chongqing, China, during October 8-11, 2009. The Workshop will feature a distinguished roster of invited speakers, refereed contributed papers, poster and tutorials sessions for students, as well as cultural events and excursions.

For more information, see http://loriweb.org/lori2009

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

The conference is dedicated to exploring new ideas on what has been and remains a fundamental theme in the philosophy of language, namely, the relation between meaning and truth. We invite papers from young researchers who have an original contribution to make regarding the role of truth in a theory of meaning, the role of meaning in a theory of truth, or even the question of whether meaning and truth are actually related in an interesting way.

The conference is motivated by the ongoing debates and discussions that pose new challenges on how to conceive of meaning and of truth, and the relation between them. Some areas of interest here include: truth-functional vs. proof-theoretic semantics; semantic theories of truth; the role of context in interpretation; semantic normativity; deflationism; meaning as use; inferentialism; compositionality; vagueness; the semantics-pragmatics interface; language evolution.

The program committee invites submissions in the form of short papers (not longer than 4000 words) accompanied by short abstracts (not longer than 500 words). The deadline for submission is June 10 and it should follow the on-line submission form, available on the conference website. Candidates eligible for submission are graduate students and those who have completed a doctoral dissertation within the last three years.

For more information, please visit the conference website at http://www.illc.uva.nl/agpc/agpc09/, or contact agpc at uva.nl

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

The Logic Tea homepage can be found at http://www.illc.uva.nl/logic_tea/. For more information, please contact Lorenz Demey (lorenzdemey at hotmail.com), Umberto Grandi (u.grandi at uva.nl) or Yurii Khomskii (Y.D.Khomskii at uva.nl).

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

The Eighth International Tbilisi Symposium on Language, Logic and Computation will be held on 21 -- 25 September 2009 in Bakuriani, Georgia. The symposium is organised by the Centre for Language, Logic and Speech at Tbilisi State University and the Georgian Academy of Sciences, in conjunction with the Institute for Logic, Language and Computation (ILLC) at the University of Amsterdam.

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

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

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 Lorenz Demey (lorenzdemey at hotmail.com), Umberto Grandi (u.grandi at uva.nl) or Yurii Khomskii (Y.D.Khomskii at uva.nl)

NWO sluit het programma Cognitie op 12 september spetterend af met het evenement 'Illusio'. Illusio is een publieksdag voor iedereen van twaalf jaar en ouder met als thema 'illusies'. Er is een doorlopend dagprogramma waarbij de bezoekers in verschillende ruimtes van het Pakhuis worden blootgesteld aan klassieke illusies en boeiende cognitieve experimenten. Aan de programmaonderdelen worden begeleid door diverse Nederlandse cognitiewetenschappers. In de grote zaal vindt van 14.30 - 16.45 uur een speciaal geïntegreerd middagprogramma plaats waarvoor registratie verplicht is, waarbij de beroemde Amerikaanse illusionist Teller als hoofdact een inkijkje zal geven in de geheimen van de magie, en Peter Hagoort en Johan van Benthem het Publieksboek 'Geestdrift, wat Cognitiewetenschappers bezielt' zullen presenteren.

Voor meer informatie, zie http://www.illusio.nl/.

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

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

The Women in the FNWI network organizes a speed date event where potential mentors and potential mentees can meet. The program will consist of a short introduction with drinks, and about 30 minutes of "mentor speed dating": potential mentors and potential mentees engage in conversation for three minutes, and then change partner at the end of each three-minute period. Drinks afterwards.

For more information, see http://www.science.uva.nl/wif.

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

Traditionally, the philosophy of logic pays little attention to the actual practices of logicians. This is somewhat surprising, as the works of several influential authors have shown the relevancy of attending to actual scientific practices within the philosophy of the empirical sciences as well as the philosophy of mathematics. But there is no hint of a similar 'practical' turn in the philosophy of logic.

The workshop is intended to enable philosophers, logicians and mathematicians to discuss the fruitfulness and viability of a practice-based approach to logic. Within the philosophy of mathematics this approach already has a certain standing, so practice-based philosophy of mathematics can serve as a starting point for the development of a practice-based philosophy of logic. We hope to offer a novel vantage point into what is after all an essentially human and social activity, the practice of logic. What do logicians do? How do they conduct their researches, individually and within the scientific community? How do they communicate with each other? Answers to these questions may offer new insights into the most fundamental issues that the philosophy of logic must address.

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

Because the boats that cruise the canals of Amsterdam are not allowed to land near Science Park, this year we will not have our annual boat trip. We will have our very enjoyable ILLC drinks (with pizza) during which staff and (new) students can mingle and get to know each other.

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

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

The main focus of ESSLLI is on the interface between linguistics, logic and computation. ESSLLI offers foundational, introductory and advanced courses, as well as workshops, covering a wide variety of topics within the three 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. ESSLLI-2008 is organised under the auspices of the European Association for Logic, Language and Information (FoLLI).

For more information, see the website at http://esslli2009.labri.fr/.

The 2009 ESSLLI Student Session will take place from July 20 to July 31 in Bordeaux, France, as part of the annual European Summer School in Logic, Language, and Information. We hereby invite paper submissions from students in the areas of logic and computation, logic and language, and language and computation for presentation in the oral session or in the poster session. All submissions will be reviewed by three experts in the field, and those selected for presentation will be published in the proceedings. The Student Session is an excellent venue to present work in progress, and also to gain experience presenting one's research to a wide audience. As in previous years, Springer is offering 500 Euro in textbooks for the best paper award, and 250 Euro in textbooks to each of two runners-up. The extended deadline for submission is February 14, 2009.

For more details, please see the full call for papers: http://www.stanford.edu/~icard/esslli/call

In the past years, logicians have become more and more interested in the phenomenon of interaction and the formal modelling of social procedures and phenomena. The area Logic & Games deals with the transition from the static logical paradigm of formal proof and derivation to the dynamic world of intelligent interaction and its logical models. Modelling intelligent interaction has been an aspect of the practical work of computer game designers for a long time. Pragmatic questions such as 'What makes a storyline interesting', 'What makes an reaction natural', and 'What role do emotions play in game decisions' have been tackled by practicing programmers. The practical aspects of computer gaming reach out to a wide interdisciplinary field including psychology and cognitive science. So far, there are only a few cross-links between these two communities.

LSIR2 focuses on the relation between techniques of modern logic (such as discourse representation theory or dynamic epistemic logic) and concrete modelling problems in computer games (either as part of the story or game design or as part of the design of the artificial agents). We aim combining communities of logic, multi-agent systems, computer game design, the story understanding community, and various parts of AI dealing with the formal modelling of emotions and intentions, as well as the empirical testing of these models; we invite all researchers in these and related field to submit their abstracts of papers, in particular those that build bridges between the communities.

For more information, see http://www.illc.uva.nl/GLoRiClass/index.php?page=8_2. The main financial sponsor of the workshop is the Marie Curie research training site GLoRiClass.

Studying logics via semantics is a well-established and very active branch of mathematical logic, with many applications, in computer science and elsewhere. The area is characterized by results, tool and techniques stemming from various fields, including universal algebra, topology, category theory, order, and model theory. The program of the conference TACL 2009 will focus on three interconnecting mathematical themes central to the semantical study of logics and their applications: algebraic, categorical, and topological methods.

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

Following the PhD defense of Hartmut Fitz on Neural Syntax, a public symposium will be held on neural network approaches to processing natural language. Participation is free and registration is not required.

For more information, see http://staff.science.uva.nl/~fitz/cnlp.html

On July 1-3, 2009 the 5th Spain, Italy, Netherlands Meeting on Game Theory (SING5), is going to be held at VU University Amsterdam, The Netherlands.

This meeting is jointly organized by VU University Amsterdam (VU), University of Amsterdam (UvA), Centrum Wiskunde & Informatica (CWI), and the Tinbergen Institute (TI).

For more information, see http://www.feweb.vu.nl/sing5/

Prior to the "5th Spain, Italy, Netherlands Meeting on Game Theory" (SING5, http://www.feweb.vu.nl/sing5/) there will take place "BRICKS Workshop on Game Theory and Multiagent Systems". BRICKS stands for Basic Research in Informatics for Creating the Knowledge Society.

For more information, see http://www.bsik-bricks.nl/ or http://www.cwi.nl/en/events/.

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

Modelling intelligent and rational interaction in multi-agent systems has been one of the main issues in Artificial Intelligence that gained momentum in the last decade of the past century. This is now merging into broader studies of formal models of society, where computer science meets decision theory, game theory and social choice theory, for instance in the study of rational deliberation and decision making.

This first workshop on logics and strategies of the project STRATMAS focuses on ideas and concepts for bringing in the notion of strategies explicitly in the logical frameworks dealing with intelligent and rational interaction in multi-agent systems, which is one of the main goals of the project. The workshop consists of talks by some experts in this area as well as some young researchers. It can also be regarded as the first event in the revival of "Dag der GrAmschap" which used to be a regular event, not so many years ago, to mark a day of talks and discussions between the Amsterdam and the Groningen logic research community on some topics of mutual interest.

The workshop is free for participants, but please pre-register before June 20, 2009, by sending mail to Sujata Ghosh (sujata at ai.rug.nl) so that we can organize an appropriate lecture room and catering. For more information, see http://www.ai.rug.nl/~sujata/strat1.html and http://www.ai.rug.nl/~sujata/stratmas.html.

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

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

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

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

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

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

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

The General Mathematics Colloquium homepage can be found at http://www.science.uva.nl/research/math/Calendar/colloq/ For more information, please contact Jochen Heinloth (j.heinloth at uva.nl), Bas Kleijn (b.kleijn at uva.nl) or Peter Spreij (p.j.c.spreij at uva.nl)

Following the PhD defense of Brian Semmes there will be a two-day workshop in set theory. A wide variety of topics are covered, including descriptive set theory, ordinal computability and combinatorics without the Axiom of Choice

For more information, see http://staff.science.uva.nl/~ykhomski/workshop2009/index.html

Together with the Association of Journalists of Science (VNW) and the Science center NEMO, NWO organises Bessensap for the 9th time. The 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

(Dutch only)
Een klasgenoot die altijd uit de maat klapt, een tante die vals zingt of een buurjongen die jengelt op zijn gitaar. Dit zijn mensen bij wie muzikaliteit ver te zoeken is, zou je zeggen...Of toch niet?

Tijdens deze kinderlezing op zondag 24 mei in science center NEMO laat dr. Henkjan Honing de kinderen zelf ervaren wat muzikaliteit betekent. Herken je een liedje nog als het ritme wordt aangepast? Hoor je het als muziek in de verkeerde toonsoort wordt gespeeld? Met geluidsfragmenten en filmpjes laat Honing zien dat je ook muzikaal kunt zijn zonder zelf een instrument te spelen.

For more information, see http://www.kinderlezingen.nl/kinderlezingen/object.cfm/

The Logic Tea homepage can be found at http://www.illc.uva.nl/logic_tea/. For more information, please contact Lorenz Demey (lorenzdemey at hotmail.com), or Yurii Khomskii (Y.D.Khomskii at uva.nl).

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

The Leibniz Center for Law develops computer models of statutes as well as methods in order to make the 'translation' from legal language to computer language increasingly automated. A trustworthy, neutral interpretation of the legal text, without added details, is here of great importance. In the presentation the speakers will explain these 'translation'-methods and their 'technical' approach to legal interpretation with examples from various areas of law.
The lecture will be given in Dutch.

For more information, please go to http://www.jur.uva.nl/acll or write an e-mail to c.j.w.baaij at uva.nl.

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

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

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

The Leibniz Center for Law develops computer models of statutes as well as methods in order to make the 'translation' from legal language to computer language increasingly automated. A trustworthy, neutral interpretation of the legal text, without added details, is here of great importance. In the presentation the speakers will explain these 'translation'-methods and their 'technical' approach to legal interpretation with examples from various areas of law.

For more information, please go to http://www.jur.uva.nl/acll or write an e-mail to c.j.w.baaij at uva.nl">c.j.w.baaij@uva.nl.

The Logic Tea homepage can be found at http://www.illc.uva.nl/logic_tea/ For more information, please contact Edgar Andrade (E.J.AndradeLotero at uva.nl), Lorenz Demey (lorenzdemey at hotmail.com), or Yurii Khomskii (Y.D.Khomskii at uva.nl)

This lecture is a join event with the Wallis conference (see http://www.illc.uva.nl/Wallis/). For abstracts and more information on the DIP Colloquium, see http://www.illc.uva.nl/dip/.

(Dutch only)
Op vrijdag 24 april organiseert het Korteweg-de Vries Instituut van de UvA voor de zevende keer het congres Leve de Wiskunde! Vooraanstaande wetenschappers zullen u op de hoogte brengen van de recente ontwikkelingen in en rondom de wiskunde.

Voor meer informatie en aanmelden, zie http://www.science.uva.nl/actueel/Agenda.cfm/E34AF2FD-1321-B0BE-A460B1E1E02AED47

Ten speakers will discuss the status of logic and its position within the intellectual context of the seventeenth century, taking as a starting-point a logic textbook written by John Wallis (1616-1703), founder member of the Royal Society and a prominent mathematician, linguist and musicologist. Topics of discussion include the views of the value of logic held by Hobbes, Locke, Arnauld and Leibniz, as well as the relations between logic and grammar, between logic and mathematics, and between logic and science.

An international symposium, organized by the Wallis Project, Oxford, in collaboration with ILLC, Amsterdam. For more information, see http://www.illc.uva.nl/Wallis/

The Logic Tea homepage can be found at http://www.illc.uva.nl/logic_tea/. For more information, please contact Edgar Andrade (E.J.AndradeLotero at uva.nl), Lorenz Demey (lorenzdemey at hotmail.com), or Yurii Khomskii (Y.D.Khomskii at uva.nl).

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

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

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

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

For more information, see http://www.win.tue.nl/prose/

The Logic Tea homepage can be found at http://www.illc.uva.nl/logic_tea/. For more information, please contact Edgar Andrade (E.J.AndradeLotero at uva.nl), Lorenz Demey (lorenzdemey at hotmail.com), or Yurii Khomskii (Y.D.Khomskii at uva.nl).

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

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

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

The Logic Tea homepage can be found at http://www.illc.uva.nl/logic_tea/. For more information, please contact Edgar Andrade (E.J.AndradeLotero at uva.nl), Lorenz Demey (lorenzdemey at hotmail.com), or Yurii Khomskii (Y.D.Khomskii at uva.nl).

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

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

The Logic Tea homepage can be found at http://www.illc.uva.nl/logic_tea/. For more information, please contact Edgar Andrade (E.J.AndradeLotero at uva.nl), Lorenz Demey (lorenzdemey at hotmail.com), or Yurii Khomskii (Y.D.Khomskii at uva.nl).

For more information, see http://staff.science.uva.nl/~yde/ac/seminar.html or contact Yde Venema (Y.Venema 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 abstracts and more information, see http://www.math.uu.nl/people/jvoosten/seminar.html

We announce the tenth edition of the workshop that takes linguists, philosophers and logicians to the ski slopes. It will be held March 12-16 2009, on the mountaintop Szrenica, Poland (the same location as every year).

The workshop aims to bring together linguists, philosophers, logicians, and all others interested in the semantics and pragmatics of natural language. This year the theme is Learning - as usual this 'hot topic' should not exclude submissions on other subjects, but talks relating typical Szklarska Poreba concerns to learning are especially welcome. We prefer new and original ideas, even if the material is not fully ripe and the presentation still tentative. Invited Speakers include Paul Boersma, Wojciech Buszkowski, Damir & Malgorzata E. Ćavar and Markus Kracht.

For more information, see http://amor.rz.hu-berlin.de/~h0998dgh/Sklarska/Workshop%2010

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

For more information, see http://staff.science.uva.nl/~yde/ac/seminar.html or contact Yde Venema (Y.Venema at uva.nl).

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

The workshop will be mostly devoted to generalized quantifier theory and its interrelation with computational and cognitive aspects of language. One major focus will be computational complexity and its interplay with "difficulty" as experienced by subjects in cognitive science. The workshop will combine classical generalized quantifier theory (linguistics and mathematics) with newer generalized quantifier theory (computation and cognition).

For more information, see http://staff.science.uva.nl/~szymanik/GLLC

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

The Logic Tea homepage can be found at http://www.illc.uva.nl/logic_tea/. For more information, please contact Edgar Andrade (E.J.AndradeLotero at uva.nl), Lorenz Demey (lorenzdemey at hotmail.com), or Yurii Khomskii (Y.D.Khomskii at uva.nl).

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

The Logic Tea homepage can be found at http://www.illc.uva.nl/logic_tea/. For more information, please contact Edgar Andrade (E.J.AndradeLotero at uva.nl), Lorenz Demey (lorenzdemey at hotmail.com), or Yurii Khomskii (Y.D.Khomskii at uva.nl).

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

Abstract: In Gödel's (unsent) reply to the questionaire sent to him by B.D. Grandjean he asserted that since 1925 he had held a position of 'mathematical realism' whereby 'mathematical concepts [and sets] and theorems are describing objects of some kind.' (The words in square brackets were added by Gödel.) A more nuanced story emerges from the hints made available with the publication of the magnificent five volume set of Gödel's Collected Works.

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

For more information, see http://www.illc.uva.nl/GLoRiClass/index.php?page=4

This five day master class in lambda calculus and term rewriting is centered around some twenty of the main theorems, both classical and recent. Each theorem is treated in a syllabus chapter of 10 pages, concluded with a section of exercises and notes for follow-up subjects and further reading.

Deadline for registration is January 30th, 2009. For more information, see http://www.win.tue.nl/math/eidma/courses/minicourses/barendregtenklop/ or here. The complete programme may be found at http://www.cs.ru.nl/~henk/LC-TRS.pdf.

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 and abstracts, see http://www.illc.uva.nl/LaCo/CLS/

In this talk I will report on a joint work with Bart Jacobs on examples of expressivity of modal logics. We investigate expressivity of modal logics for transition systems, multitransition systems, Markov chains, and Markov processes, as coalgebras of the powerset, finitely supported multiset, finitely supported distribution, and measure functor, respectively. Expressivity means that logically indistinguishable states, satisfying the same formulas, are behaviourally indistinguishable too. The investigation is based on the framework of dual adjunctions between spaces and logics and focuses on a crucial injectivity property. The approach is generic both in the choice of systems and modalities, and in the choice of a ``base logic''. Most of these expressivity results are already known, but the applicability of the uniform setting of dual adjunctions to these particular examples is what constitutes the contribution of this work. In addition, we observed an interesting comparison of the mentioned types of systems, in particular of Markov chains and Markov processes.

For more information, see http://www.win.tue.nl/prose/

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

For more information, see here 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/GLoRiClass/index.php?page=4

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

The relevant paper can be downloaded from http://www.illc.uva.nl/Publications/ResearchReports/MoL-2008-09.text.pdf. The Logic Tea homepage can be found at http://www.illc.uva.nl/logic_tea/. For more information, please contact Edgar Andrade (E.J.AndradeLotero at uva.nl), Lorenz Demey (lorenzdemey at hotmail.com), or Yurii Khomskii (Y.D.Khomskii at uva.nl).

For more information, see http://www.win.tue.nl/prose/

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

For abstracts and more information, see http://ilps.science.uva.nl/ilps-seminar-2008-2#Jan09 .

For more information, see http://www.illc.uva.nl/GLoRiClass/index.php?page=4

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

In the last two decades, we have seen a significant increase of interest in agent-oriented technology. It is crucial that both academics and industrialists within Europe have access to a forum at which current research and application issues are presented and discussed. The aim of this Seventh European Workshop on Multi-Agent Systems is to encourage and support activity in the research and development of multi-agent systems, in academic and industrial efforts. This workshop is primarily intended as a European forum at which researchers and those interested in activities relating to research in the area of autonomous agents and multi-agent systems could meet, present (potentially preliminary) research results, problems, and issues in an open and informal but academic environment.

For more information, see http://www.eumas.org/ or http://www.easychair.org/conferences/?conf=eumas09

The 4th Indian International Conference on Artificial Intelligence (IICAI-09) will be held in Tumkur (near Bangalore), India during December 16-18 2009. The conference consists of paper presentations, special workshops, sessions, invited talks and local tours, etc. and it is one of the biggest AI events in the world.

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

The IADIS (International Association for Development of the Information Society) Applied Computing 2009 conference aims to address the main issues of concern within the applied computing area and related fields. This conference covers essentially technical aspects. The applied computing field is divided into more detailed areas (see below). However innovative contributes that don't fit into these areas will also be considered since they might be of benefit to conference attendees.

For more information, see: http://www.computing-conf.org/.

WWW and Internet had a huge development in recent years. Aspects of concern are no longer just technical anymore but other aspects have arisen. This conference, organized by IADIS (the International Association for Development of the Information Society) aims to cover both technological as well as non-technological issues related to these developments.

For more information, see: http://www.internet-conf.org/.

LENLS is an annual international workshop focusing on formal semantics and pragmatics. In the past it has been a satellite of the Japanese Society for Artificial Intelligence conference; this year it will be part of a special workshop session to be held in November, distinct from the conference though still sponsored by JSAI.

For more information, see http://www.is.ocha.ac.jp/~bekki/lenls/ or contac lenls6submission at gmail.com.

The workshop "Methods for Modalities" (M4M) aims to bring together researchers interested in developing algorithms, verification methods and tools based on modal logics. Here the term "modal logics" is conceived broadly, including temporal logic, description logic, guarded fragments, conditional logic, temporal and hybrid logic, etc.

To stimulate interaction and transfer of expertise, M4M will feature a number of invited talks by leading scientists, research presentations aimed at highlighting new developments, and submissions of system demonstrations. M4M-6 will be preceded by a two-day mini-course aimed at preparing PhD students and other researchers for participation in the workshop. The mini-course is associated with the FIRST research school (http://first.dk).

For more information, see http://m4m.loria.fr/M4M6

Arché, the Philosophical Research Centre for Logic, Language, Metaphysics and Epistemology, and CSMN, Centre for the Study of Mind in Nature, are pleased to announce the sixth in a series of graduate conferences aimed at showcasing international graduate work in contemporary analytic philosophy, especially in the areas of Philosophy of Language, Philosophy of Mind, Epistemology, and Metaphysics.

For more information, see http://www.st-andrews.ac.uk/~arche/acgc/

This workshop aims to provide an opportunity to discuss and further develop the current research directions on the topic of Dependence Logic, Dependence Friendly Logic, and Independence Friendly Logic, such as the investigation of their proof- and model-theoretic properties, their extensions and their relations to each other and to other formalisms.

The workshop organizers are Jouko Väänänen and Dag Westerståhl. If you intend to come to the workshop, please send Jouko a message, preferably no later than November 1. For more information, see http://www.illc.uva.nl/lint/deplog01.php

FM2009 is the sixteenth international symposium of the Formal Methods Europe association. Ten years after the world congress in Toulouse in 1999, FM2009 will be organized as a world congress again, a global platform for researchers and practitioners from a diversity of countries, backgrounds and schools to exchange ideas and share experiences. Several conferences are colocating with FM2009 within FMweek. As is tradition, the symposium will go together with an Industry Day, a Doctoral Symposium, a Tool Exhibition, an event on Teaching Formal Methods, as well as a wide range of workshops.

For more information, see http://www.win.tue.nl/fm2009/.

The conference is designed to provide a biennial, international forum for new work in logic, epistemology, and philosophy of science. The format of the conference will provide an opportunity for speakers to receive constructive feedback from interested colleagues from Colombia and abroad, and for other participants to become acquainted with new work in the field. Invited speakers are Susan Haack (University of Miami), Arnold Koslow (CUNY Graduate Center) and Michael Bishop (Florida State University).

For further details, please visit http://filosofia.uniandes.edu.co/filociencia/eng.htm or contact apaez at uniandes.edu.co

The workshop serves as a forum for presenting original research results that are relevant to the analysis of resource (time, space) consumption by computer programs. The workshop aims to bring together the researchers that work on foundational issues with the researchers that focus more on practical results. Therefore, both theoretical and practical contributions are encouraged. The workshop is a satellite event of the 16th International Symposium on Formal Methods, FM2009.

For more information, see http://www.aha.cs.ru.nl/fopara/

Reducing the likelihood of human error in the use of interactive systems is increasingly important: the use of such systems is becoming widespread in applications that demand high reliability due to safety, security, financial or similar considerations. Interactive systems are also becoming increasingly ubiquitous and being used in new and more complex situations. Consequently, the use of formal methods in verifying the correctness of interactive systems should also include analysis of human behaviour in interacting with the interface as well as with the wider socio-technical system.

The aim of this workshop is to bring together researchers in computer science, cognitive psychology, and other areas of HCI, from both academia and industry, who are interested in both formal methods and interactive system design.

For more information, see http://homepages.cs.ncl.ac.uk/michael.harrison/fmis/. The workshop will be held in conjunction with FM2009 <http://www.win.tue.nl/fm2009/>

The journal "Dialogue and Discourse" reflects the surge of interest in the analysis of language `beyond the single sentence', in discourse (i.e., text, monologue) and dialogue, from a formal, computational, or experimental perspective, as reflected in the wide range of work presented at the SEMDIAL and SIGDIAL conferences (http://www.illc.uva.nl/semdial/; http://www.sigdial.org/) and various other forums. "Dialogue and Discourse" is the first journal devoted to a wide dissemination of such work.

We are part of the eJournal initiative of the Linguistic Society of America http://elanguage.net/home.php. Articles will be published online as soon as they have been accepted. Each year, a (hardcopy) volume, collecting all articles of the year will be published by CSLI Publications, Stanford.

The journal is open for submissions and we urge you to consider submitting your work on any topic relevant to dialogue and discourse as specified in our Aims and Scope. For more information, see http://www.dialogue-and-discourse.org/

For more information, see http://www.ams.org/amsmtgs/2161_program.html or contact Bob Lubarsky Robert.Lubarsky at comast.net or Fred Richman richman at fau.edu.

Ever since Codd's Relational Model, logic has played a major role in the field of databases. The significance and impact of this role have grown stronger over the years as data management research marched through many a data model, with logic keeping up and providing the foundations every step of the way. Some of the latest additions to this long list of models are XML, semantic web, probabilistic relational models, integrated model of DB+IR, data integration models, and models of unclean data to name a few. For some of these, corresponding logics already exist or are being explored. The significance of logic's role for data management will continue regardless of the data model. Logic is a fundamental tool for understanding and analyzing several aspects of data management. The Logic in Databases workshop, LID 2009, is a forum for bringing together researchers from around the world who are focusing on all logical aspects of data management.

For more information, see http://LID2009.ruc.dk/

At the workshop there will be sessions on algebra (Fred Richman), analysis (Doug Bridges), topology (Bas Spitters), and set theory (Michael Rathjen). The workshop will conclude with a talk by Vladimir Lifschitz on constructive mathematics and computer science aimed at a general mathematics audience. The special session will be part of the AMS sectional meeting at FAU, (http://www.ams.org/amsmtgs/2161_program.html).

For more information, see http://math.fau.edu/Richman/Worshop/ or contact the organizers (Robert Lubarsky, Fred Richman, and Marty Solomon) at Robert.Lubarsky at comcast.net.

The 50th Annual Symposium on Foundations of Computer Science (FOCS2009), sponsored by the IEEE Computer Society Technical Committee on Mathematical Foundations of Computing, will be held in at the Renaissance Atlanta Hotel Downtown in Atlanta, GA, October 24-27, 2009. Typical but not exclusive topics of interest include: algorithms and data structures, computational complexity, cryptography, computational geometry, computational game theory, algorithmic graph theory and combinatorics, optimization, randomness in computing, parallel and distributed computing, machine learning, applications of logic, algorithmic algebra and coding theory, theoretical aspects of databases, information retrieval, networks, computational biology, robotics, and quantum computing.

For more information, see http://www.cs.yale.edu/focs09 or contact the Local Arrangements Chairs, Milena Mihail and Prasad Tetali, by email to focs2009 at cc.gatech.edu or focs2009.local at gmail.com.

Next October (21--22) a workshop in the philosophy of mathematics will be held at the University of Nancy 2. This is envisioned as the first in a continuing, annual series of workshops organized by a team of scholars from Paris, Nancy and elsewhere in France. The two day meeting will feature both invited and contributed talks. Deadline for the submission: July 31.

For more information, see http://poincare.univ-nancy2.fr/Activites/?contentId=6242&languageId=1

After its successful first conference in Madrid in November 2007, the second conference of the European Philosophy of Science Association (EPSA) will take place at VU University Amsterdam from 21-24 October 2009.

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

The purpose of SAGT is to bring together researchers from Computer Science, Economics and Mathematics to present and discuss original research at the intersection of Algorithms and Game Theory.

For more information, see http://www.cs.ucy.ac.cy/~mavronic/sagt2009/

IMSCIT is a multi-disciplinary conference gathering scientists form the different fields of IT & Computer Science together with representatives of industry and end-users. IMSCIT with its motto: "new ideas are born not inside peoples' heads but in the space between them", quickly became a unique place to share thoughts and ideas. This year's gathering is held in October 2009 in a beautiful town of Mragowo in the midst of Mazury Lake Country.

The CLA Workshop is located within the framework of the IMCSIT conference to create a dialog between researchers and practitioners involved in Computational Linguistics and related areas of Information Technology. The Workshop will focus on practical outcome of modeling human language use and the applications needed to improve human-machine interaction.

For more information, see http://cla.imcsit.org/

The tenth annual Midwest PhilMath Workshop (MWPMW 10) will be held at Notre Dame the weekend of Saturday, October 10th and Sunday, October 11th. There will be a full day of talks and discussions for Saturday and a half day for Sunday, as well as a workshop dinner Saturday evening, with all participants invited to attend as guests of the university. Some special events are planned to mark the tenth anniversary of the workshop. Some of these will occur as part of the workshop. Hugh Woodin and Tony Martin will be joining us and giving talks as part of a special session on set theory and philosophical questions concerning it. There will also be a special meeting of the Notre Dame weekly Logic Seminar in connection with this.

For more information, see the website at http://philosophy.nd.edu/news/events/philosophy-math-conference/.

The 20th International Conference on Algorithmic Learning Theory (ALT 2009) will be held at the University of Porto, Portugal, October 3 - 5, 2009. The conference is on the theoretical foundations of machine learning. The conference will be co-located with the 12th International Conference on Discovery Science (DS 2009).

ALT 2009 homepage: http://www-alg.ist.hokudai.ac.jp/~thomas/ALT09/alt09.jhtml

Although modern logic has neglected the notion of judgement, logic is in need of this notion, because the premises and conclusions in our reasoning are judgements. The notion of judgement brings back to logic and to philosophy in general the notion of judging agent. This focus on the agent is not to be understood in an exclusively subjective sense, because the agent is entitled to judge only if he has grounds for his judgement. Recently, the notion of assertion, the linguistic counterpart to the notion of judgement, has come into focus. The aim of the workshop is to bring together different perspectives on the notion of judgement from the history of philosophy that may have a relevance for a theory of assertion and judgement today.

For more information, see or contact the organizer Maria van der Schaar: m.v.d.schaar at phil.leidenuniv.nl.

The conference, part of the annual conference series "LANGUAGE, UNDERSTANDING, INTERPRETATION", is held in memory of Imre Ruzsa (1921-2008), the father of modern philosophical logic in Hungary. His professional interests centered around modal logic, intensional logic, modeling natural language in systems of intensional logic, and the foundations of logic and mathematics. He always thought of his generalization of A. N. Prior's concept of semantic value gaps to quantified, intensional and type-theoretic systems as his most important contribution to logic.

For more information, see http://phil.elte.hu/ruzsaconf/ or contact Prof. Dr. Andras Mate at mate at ludens.elte.hu.

Logic and probability theory are often studied in conjunction to decision making, and for good reason: we want our reasoning to be rational because the reasoning precedes and controls for actions. But the models for rationality in reasoning have seen major changes and additions in recent years: logicians have taken a dynamic turn, and probabilists have discovered network tools and new representations of uncertainty. In this workshop we address the question how these developments in modelling rationality carry over to the science of decision making.

Invited speakers include Johan van Benthem, Luc Bovens, Richard Bradley, Igor Douven, Stephan Hartmann, Jim Joyce, Christian List, Clemens Puppe, Wlodek Rabinowicz, Teddy Seidenfeld, and Jon Williamson.

For more information, see http://www.philos.rug.nl/progic2009/.

The philosophically relevant track within the KI-Conference "History and Philosophical Foundations of AI" deals with the history of AI, its philosophical basics and conceptual debates on basic principles.

Relevant topics are Artificial intelligence and limits of computability, Multi-Agent-Systems and action theory, Computational functionalism, Philosophical reasoning and AI, and Phenomenology and artificial subject.

For more information, see http://www.uni-paderborn.de/philosophie/personal/hagengruber/ki09/ or contact Prof. Dr. Ruth Hagengruber at Ruth.hagengruber at upb.de

Interdisciplinary conference on evolution theory in natural, social and human sciences.

For more information, see http://www.esf.org/conferences/09309 or contact Ms Zuzana Vercinska, COST Conference Officer (zvercinska at cost.esf.org).

Intelligent virtual agents (IVAs) are interactive characters that exhibit human-like qualities and communicate with humans or each other using natural human modalities such as speech and gesture. They are capable of real-time perception, cognition and action that allow them to participate in a dynamic social environment.

IVA'09 is an interdisciplinary annual conference and the main forum for presenting research on modeling, developing and evaluating intelligent virtual agents with a focus on communicative abilities and social behavior. In addition to presentations on theoretical issues, the conference encourages the showcasing of working applications. Researchers from the fields of human-human and human-robot interaction are also welcome to share work which has a bearing on intelligent virtual agents. IVA'09 particularly encourages submissions on this year's special topic of games.

IVA'09 will be co-located in Amsterdam with the complementary Affective Computing & Intelligent Interaction International Conference (ACII'09, http://www.acii2009.nl/), held 10-12 September 2009.

For more information, see http://iva09.dfki.de

As in previous years, GAMES 2009 will be an informal workshop, without proceedings, with a programme consisting of introductory and advanced tutorials, contributed talks and short presentations. GAMES 2009 will also feature an open problem session, which will consist of very short (10 min) descriptions of interesting open problems about games.

For more information, see http://games2009.dimi.uniud.it/

The 5th International Symposium on Domain Theory (ISDT2009) will be held in September 12-14, 2009, Software Engineering Institute, East China Normal University, Shanghai, People’s Republic of China.

International Symposium on Domain Theory (ISDT) is a series of conference held in the mainland of China. It aims at providing a forum for researchers in domain theory and its applications. Each meeting includes invited talks and contributed papers. The previous four ISDT events were held in Shanghai (1999), Chengdu (2001), Xi'an (2004) and Changsha (2006).

For more information, see http://sites.sei.ecnu.edu.cn/isdt2009/Conferences/~isdt2009/.

Objects, components, and agents are fundamental units to organise models. They are also fundamental concepts of the modelling process. Even though software engineers intensively use models based on these fundamental units, and models are the subjects of theoretical research, the relations and potential mutual enhancements between theoretical and practical models have not been sufficiently investigated. There is still the need for better modelling languages, standards and tools. Important research areas are for example UML, BPEL, Petri nets, process algebras, or different kinds of logics. Application areas like business processes, (Web) services, production processes, organisation of systems, communication, cooperation, cooperation, ubiquity, mobility etc. will support the domain dependent modelling perspectives.

Therefore, the workshop addresses all relations between theoretical foundations of models on the one hand and objects, components, and agents on the other hand with respect to modelling in general. The intention is to gather research and application directions to have a lively mutual exchange of ideas, knowledge, viewpoints, and experiences.

For more information, see http://www.informatik.uni-hamburg.de/TGI/events/moca09/ or contact the programme commitee by email at moca09 at informatik.uni-hamburg.de

The German conference on Multi-Agent System Technologies (MATES) provides an interdisciplinary forum for researchers, users, and developers, to present and discuss latest advances in research work, as well as prototyped or fielded systems of intelligent agents and multi-agent systems.

MATES 2009 will be colocated with the Tenth International Workshop on Computational Logic in Multi-Agent Systems (CLIMA'09) and the Fifth International Workshop on Modeling of Objects, Components, and Agents (MOCA'09). The participants of MATES 2009 will also have full access to the concurrently running programs of these events.

For more information, see http://jadex.informatik.uni-hamburg.de/mates

The research group phlox organizes a workshop on modality with Dorothy Edgington and Keith Hossack as keynote speakers. The workshop will focus on counterfactual reasoning, modal knowledge, and modal idioms in natural language.

Questions that may be addressed include, but are not limited to, the following:
- What strength or kind of modality is expressed in different sorts of everyday modal idioms?
- What role does metaphysical possibility play for non-philosophical reasoning?
- Is knowledge of counterfactuals prior to knowledge of possibilities and necessities?
- Can modal knowledge be grounded in knowledge of some non-modal facts?

For more information, see http://phloxshop2.wordpress.com/ or write to justbecause at gmx.de.

The fast growth of digital material is challenging for research in many disciplines. The EU has funded many projects to advance research in this field and facilitate end-user access to cultural and scientific heritage. The ENRICH, Europeana, CACAO, GAMA, NEEO and TELplus projects, funded by the eContentplus programme, have joined forces to organise a workshop as a satellite event of ICSD 2009 (http://www.icsd-conference.org/).

The workshop aims to bring together stakeholders in order to present an overview of state-of-the-art systems in the field and identify open research problems that require further work.

For more information, see http://www.cacaoproject.eu/at4dl

Computer Science Logic (CSL) is the annual conference of the European Association for Computer Science Logic (EACSL). The conference is intended for computer scientists whose research activities involve logic, as well as for logicians working on issues significant for computer science. CSL'09, the 18th annual EACSL conference will be organized at the Department of Mathematics of the University of Coimbra.

The invited speakers include: M. Bojanczyk, T. Coquand, M. Grohe, Y. Moschovakis, and P. Oliva. A special session on the life and work of Stephen Kleene also is planned: 2009 marks the centennial of his birth.

For more information, see http://www.mat.uc.pt/~csl/

Computer Science Logic (CSL) is the annual conference of the European Association for Computer Science Logic (EACSL). The conference is intended for computer scientists whose research activities involve logic, as well as for logicians working on issues significant for computer science. CSL'09, the 18th annual EACSL conference will be organized at the Department of Mathematics of the University of Coimbra

The Ackermann Award for 2009 will be presented to the recipients at CSL'09.

Early registration deadline is 31 July, 2009. For more information, see http://www.mat.uc.pt/CSL09 or contact csl at mat.uc.pt

In recent years, multi-agent systems have come to form one of the key technologies for software development. Part of MALLOW 2009, the fourth edition of the FAMAS workshop series aims at bringing together researchers from the fields of logic, theoretical computer science and multi-agent systems in order to discuss formal techniques for specifying and verifying multi-agent systems.

For more information, see http://www.mimuw.edu.pl/MAS/FAMAS2009/

CALCO is a high-level, bi-annual conference formed by joining the forces and reputations of CMCS (the International Workshop on Coalgebraic Methods in Computer Science), and WADT (the Workshop on Algebraic Development Techniques). The conference brings together researchers and practitioners to exchange new results about both traditional and emerging uses of algebras and coalgebras in computer science.

CALCO 2009 will be preceded by two events on September 6, 2009:
* CALCO-jnr - a CALCO Young Researchers Workshop dedicated to presentations by PhD students and by those who completed their doctoral studies within the past few years.

* CALCO Tools Day - providing the opportunity to give system demonstrations of tools based on algebraic and coalgebraic principles. These include systems/prototypes/tools developed specifically for design, checking, execution, and verification of (co)algebraic specifications, but also tools targeting different application domains but making core or interesting use of (co)algebraic techniques.

For more information, see http://www.dimi.uniud.it/calco09/

The British Logic Colloquium exists to support, promote, and foster the study of logic (especially, but not exclusively, formal and mathematical logic) in Britain. It embraces diverse aspects of logic, from the studies of traditional formal systems to philosophical logic and the modern applications in artificial intelligence, computer science and linguistics; above all, it aims to encourage communication between logicians working in related fields.

The Annual Meeting of the British Logic Colloquium will be held at the Department of Computer Science, Swansea University.

For more information, see http://www.cs.swan.ac.uk/blc09/ or contact Ulrich Berger at u.berger at swansea.ac.uk. We have reserved a limited number of on campus accommodation, which are on hold until Monday, August 10, 2009.

The Department of Logic at the Institute of Philosophy of the Academy of Sciences of the Czech Republic and the Formal Epistemology Research Group at the University of Konstanz are jointly organizing a colloquium on philosophical issues concerning uncertainty calculi, in particular interpretations of the probability calclulus. Invited speakers include: Colin Howson, Jim Joyce, Peter Milne, Jeff Paris, and Glenn Shafer.

For further information please see the conference website http://www.flu.cas.cz/colloquium/. The conference mail address is colloquium at flu.cas.cz

Trends in Logic is the conference series of Studia Logica. This year's conference will focus entirely on the philosophy of mathematics. We have invited scholars who pursue the subject at the currently most advanced level. In addition, we invite papers that contribute to and try to advance current debates in the field.

For more information, see http://web.uni-frankfurt.de/trends

Within the context of EASSS'09, the Student Session is designed to encourage student interaction and feedback from the tutors. By providing the students with a conference-like setup, both in the presentation and in the review process, students have the opportunity to prepare their own submission, go through the selection process (peer review) and possibly present their work to themselves and their interests to their fellow students as well as internationally leading experts in the agent field, both from the theoretical and the practical sector. All submissions will be peer-reviewed and accepted paper submissions will be assigned a 15 minute slot for presentation. Typically a presentation will either detail the intended approach to a problem or ask a specific question, directed at the audience.

Deadline for submissions: June 26th. For more information, see the Call for Papers, available at http://agents009.di.unito.it/studentses.html.

This conference brings together scholars working on philosophy of science, history of philosophy and history of science and/or mathematics. The topic is the role of symbolic representations in the development of modern science and mathematics from the end of the sixteenth century throughout the seventeenth century.

For more information, see http://www.pasr.ugent.be/

This conference is dedicated to the 100th anniversary of Anatolii Ivanovich Mal'tsev (1909-1967). The topics of the conference include group theory, ring theory, universal algebra, mathematical logic, computability theory, theoretical computer science, and related areas of mathematics.

For more information, see http://www.math.nsc.ru/conference/malmeet/09/ or contact the organisers by e-mail at tclab at math.nsc.ru.

The purpose of this conference is to initiate an investigation into how current research on computer games touches upon philosophical issues. In line with this purpose, the conference is interdisciplinary, drawing together researchers from diverse fields such as: philosophy, computer game-theory, semiotics, aesthetics, sociology, psychology, and anthropology.

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

The IEEE Symposium on Logic In Computer Science (LICS) is an annual international forum on topics that lie at the intersection of computer science and mathematical logic. LICS 2009 will be held at UCLA in Los Angeles, California, USA, 11th-14th August 2009. It will be colocated with the 16th International Static Analysis Symposium (SAS 2009; August 9th-11th).

For more information, see http://www2.informatik.hu-berlin.de/lics/lics09/index.html)

BLAST is a conference focusing on Boolean Algebras, Lattices, Algebraic Logic, Universal Algebra, Set Theory, Set-theoretic Topology and Point-free Topology. The conference is the second in a series that will rotate among universities of the region. The first conference was held in Denver last summer and was a big success.

The conference webpage is at http://www.math.nmsu.edu/blast.

The general theme of the 32nd International Wittgenstein Symposium will be "Language and World", with sections focusing on Wittgenstein, Theories of the Linguistic Sign, Language and Action, Language and Consciousness, Language and Metaphysics, and Reality and Construction. There will be two workshops, on "Wittgenstein and the Literary" and "Wittgenstein's Nachlass "

For more information, see http://www.alws.at/index.php/wittgenstein/symposium_aktuell/

Our aim is to bring together active researchers in the area of logics and mobile systems, especially in the field of logics and calculi for mobility, agents, and multi-agent systems. Many notions used in the theory of agents are derived from philosophy, logic, and linguistics (belief, desire, intention, speech act, etc.), and interdisciplinary discourse has proved fruitful for the advance of this domain. Outside of academia, the deployment of large-scale pervasive infrastructures (mobile ad-hoc networks, mobile devices, RFIDs, etc.) is becoming a reality. This raises a number of scientific and technological challenges for the software modelling and programming models for such large-scale, open and highly-dynamic distributed systems. The agent and multi-agent systems approach seems particularly adapted to tackle this challenge, but there are many issues remaining to be investigated. The workshop is intended to showcase results and current work being undertaken in these areas with a focus on logics for specification and verification of dynamic, mobile systems.

The workshop will be held as a one-and-a-half-day event before LICS'2009. There will be a general introduction and brief survey of the field by the organiser as an introduction to the workshop. The workshop will contain invited talks, contributed talks, and a discussion session. The latter is meant to give the participants a chance to discuss informally research directions, open problems, and possible co-operations.

Further Information: About the workshop: http://www.dur.ac.uk/lam.09.
About LICS: http://www2.informatik.hu-berlin.de/lics/lics09/

Theme: The interaction between ideas or techniques from mathematical logic and other areas of mathematics.
Sponsored by the London Mathematical Society and the British Logic Colloquium

Participants are invited to submit abstracts of papers they would like to present.

Deadline for early registrations: 31 March 2009. For more information, see http://maths.york.ac.uk/www/York2009

The Logic Colloquium is the annual European conference on logic, organised under the auspices of the Association for Symbolic Logic (ASL). It provides a forum for presenting and discussing the new developments in the area of logic. The conference attracts researchers from logic, with an emphasis on mathematical logic, but also including researchers from computer science logic and philosophical logic. In previous years, the Logic Colloquium has been organised in Bern (2008) and Wroclaw (2007).

For more information, see http://lc2009.fmi.uni-sofia.bg/

CogSci 2009 is the annual meeting of the Cognitive Science Society for basic and applied cognitive science research. Scientists from across the world submit their best work and attend CogSci to hear the latest theories and data from the world's best cognitive science researchers. This year the conference will be in the Netherlands for the first time, in Amsterdam. Invited speakers this year are Nikola Clayton, Randall O'Reilly, Joshua Tenenbaum, and the winners of the Rumelhart prize for Cognitive Science, Susan Carey, and Heineken prize for Cognitive Science, Stanislas Dehaene.

More information about the conference can be found through the Cognitive Science Society website: http://cognitivesciencesociety.org/conference2009/.

The workshop is part of ESSLLI in Bordeaux and is aimed at researchers who use logics in design and / or verification of agent programming languages. The workshop will provide a forum for advanced PhD students and researchers in these areas to compare methodologies, exchange ideas and identify challenges in agent programming languages and writing reliable agent programs.

Deadline for submissions: 4 March 2009. For more information, see http://www.agents.cs.nott.ac.uk/events/lapl09/.

The 17th International Conference on Conceptual Structures (ICCS 2009) is the latest in a series of annual conferences that have been held in Europe, Australia, and North America since 1993. The focus of the conference has been the representation and analysis of conceptual knowledge for research and practical application. ICCS brings together researchers and practioners in information and computer sciences as well as social science to explore novel ways that conceptual structures can be deployed.

Arising from the research on knowledge representation and reasoning with Conceptual Graphs, over the years ICCS has broadened its scope to include innovations from a wider range of theories and related practices. The 2009 ICCS's theme "leveraging semantic technologies" hints to the large overlap of the research fields of semantic technologies and conceptual structures, and emphasizes the goal of closer connecting these two areas in order to obtain a mutual benefit.

For more information, see http://www.iccs.info/

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.

TIME 2009 encompasses three tracks, but has a single program committee. The conference will span three days, and will be organized as a combination of technical paper presentations, poster sessions, and keynote lectures.

For more information, see http://www.inf.unibz.it/krdb/events/time-2009/

Although vagueness has long since been an important topic in philosophy, logic and linguistics, some recent advances have made the functions of vagueness in natural language communication an exciting and timely research area. This renewed interest has a distinct cross-disciplinary character and has spawned many new research questions. While the classical instruments of dealing with vagueness have not been significantly extended, new approaches investigate questions like context-sensitivity of vagueness, the sharpening of vague predicates in context, and the modeling of precision levels with expressions like 'roughly' or 'like'. On a more fundamental level, the question why there is vagueness to begin with, what role vagueness serves in human communication, has been addressed. Game-theoretic methods have been employed that show that being vague or imprecise can be beneficial for communication even if the speaker could truthfully use more precise terms (de Jaegher 2003). Furthermore, the important role of vagueness became evident in a number of empirical domains beyond obvious examples such as the language of diplomacy.

The ViC-2009 workshop is part of the European Summer School on Logic, Language and Information (ESSLLI 2009), and is organised as an event of the VAAG project of the ESF Eurocore LogicCC. It aims to provide a forum for researchers (including advanced PhD students) to present and discuss their work with colleagues and researchers who work in the broad subject of the disciplines relevant for particles and modal adverbs, as represented in ESSLLI.

For more information, see http://www.fit.fraunhofer.de/~hcschmitz/esslli2009/ or contact Rick Nouwen at rnouwen at gmail.com.

Both computer science and the social sciences are interested in social concepts such as power, cooperation, responsibility, delegation, trust, reputation, convention, agreement, commitment, etc. The aim of this workshop is to study whether logical approaches developed in the multi-agent system (MAS) domain are adequate to express them in an accurate way. The workshop is intended to bring together logicians and social theorists in order to provide a better understanding of the potentialities and limitations of logical methods for the analysis of social reality. Its scope includes not only the technical aspects of logics for multi-agent systems, but also multidisciplinary aspects from social sciences (e.g. economics, sociology, social philosophy) and a critical analysis of the existing logical frameworks for the specification of social concepts. It is organized as part of ESSLLI'2009.

For more information, see http://www.irit.fr/~Andreas.Herzig/Esslli09

.

CiE 2009 is the fifth in a series of conferences organised by CiE (Computability in Europe), a European association of mathematicians, logicians, computer scientists, philosophers, physicists and others interested in new developments in computability and their underlying significance for the real world. Previous meetings took place in Amsterdam (2005), Swansea (2006), Siena (2007) and Athens (2008).

CiE 2009 has a broad scope and bridges the gap from the theoretical methods of mathematical and meta-mathematical flavour to the applied and industrial questions of computational practice. The conference aims to bring together researchers who want to explore the historical and philosophical aspects of the field.

For more information, see http://www.math.uni-heidelberg.de/logic/cie2009/

A special issue of the Journal of Philosophical Logic on the theme of Logic in India is being planned. Please see the Special Issue page http://www.imsc.res.in/tcsweb/li-jpl.html for details. Potential authors who are interested to submit to this volume are requested to send an email to one of the Guest Editors, by /August 15, 2009/, mentioning their intention, with a title and an abstract of one paragraph. The submission Deadline is: January 1, 2010. Editors are: Rohit Parikh, Ram Ramanujam, Hans van Ditmarsch.

For more information, see http://www.imsc.res.in/tcsweb/li-jpl.html

Hybrid logic is a branch of modal logic allowing direct reference to worlds/times/states. It is easy to justify interest in hybrid logic on the grounds of applications, as the additional expressive power is very useful. In addition, hybrid-logical machinery improves the behaviour of the underlying modal formalism. For example, it becomes considerably simpler to formulate modal proof systems, and one can prove completeness and interpolation results of a generality that is not available in orthodox modal logic. But more generally, the topic of HyLo 2009 is not only standard hybrid-logical machinery (like nominals, satisfaction operators, binders, etc) but also extensions of modal logic that increase its expressive power in one way or other.

HyLo 2009 will be an special event, conmemorating the ten years since the organization of the first HyLo workshop in 1999. HyLo 2009 will be relevant to a wide range of people, including those interested in description logic, feature logic, applied modal logics, temporal logic, and labelled deduction. The workshop aims to provide a forum for advanced PhD students and researchers to present and discuss their work with colleagues and researchers.

For more information, see http://hylo.loria.fr/content/Hylo09/

The Panhellenic Logic Symposium is a biannual scientific event established in 1997. It is open to researchers worldwide who work in Logic broadly conceived. The Seventh Panhellenic Logic Symposium will be hosted at the Conference Center of the University of Patras. The scientific program of the symposium will consist of hour-long invited talks, tutorials, and presentations of accepted contributed papers.

Further information about PLS7 can be found at the conference web site http://www.bma.upatras.gr/pls7/. E-mail inquires about PLS7 should be directed to the local organizers at cdrossos at upatras.gr or pavlos at upatras.gr.

In 2009, to commemorate the 800th anniversary of the launch of the Albigensian Crusade, the International Medieval Congress has the special thematic focus Heresy and Orthodoxy.

For more information, see http://www.leeds.ac.uk/ims/imc/imc2009_call.html or contact S.L.Uckelman at uva.nl.

The mission of the TARK conferences is to bring together researchers from a wide variety of fields, including Artificial Intelligence, Cryptography, Distributed Computing, Economics and Game Theory, Linguistics, Philosophy, and Psychology, in order to further our understanding of interdisciplinary issues involving reasoning about rationality and knowledge. Topics of interest include, but are not limited to, semantic models for knowledge, belief, and uncertainty, bounded rationality and resource-bounded reasoning, commonsense epistemic reasoning, epistemic logic, knowledge and action, applications of reasoning about knowledge and other mental states, belief revision, and foundations of multi-agent systems.

For more information, see http://ai.stanford.edu/~epacuit/tark09/

This conference is the 18th in a series of international meetings on Automated Reasoning with Analytic Tableaux and Related Methods.

Tableau methods are a convenient formalism for automating deduction in various non-standard logics as well as in classical logic. Areas of application include verification of software and computer systems, deductive databases, knowledge representation and its required inference engines, and system diagnosis. The conference brings together researchers interested in all aspects - theoretical foundations, implementation techniques, systems development and applications - of the mechanization of reasoning with tableaux and related methods.

See http://heim.ifi.uio.no/martingi/Tableaux09/ for more information on TABLEAUX 2009, and http://i12www.ira.uka.de/TABLEAUX for information about the TABLEAUX conference series.

The theme of the conference will be algorithmic randomness (Kolmogorov complexity) and its connections to various other subjects. This meeting will be in the spirit of the earlier conferences held in Argen tina in 2004 and 2007, and in China in 2008. However, this time we are using a modified Dagstuhl model, where most of the talks will be given by invited speakers.

For more information, see http://www.lif.univ-mrs.fr/lce/

GASICS is an ESF project of the EUROCORES programme LogICCC (Modelling intelligent interaction Logic in the Humanities, Social and Computational sciences ). It studies game theoretic formalizations of interactive computational systems and algorithms for their analysis and synthesis. Our aim is to extend the existing notions of games played on graphs introduced by computer scientists. Currently, most of the games played on graphs are of the sort "two-players zero-sum", we aim to extend them to "multiple-players non-zero-sum", and show the applicability of the new theory to the analysis and synthesis of interactive computational systems.

The aim of this workshop is to bring together researchers working on game-related subjects, and to discuss on various aspects of game theory in the fields where it is applied. The workshop will be composed of two invited talks, together with contributed talks on relevant topics.

For more information, see http://www.lsv.ens-cachan.fr/Events/gasics09/

The Eleventh Asian Logic Conference will be held in Singapore from 22 to 27 June 2009. The Asian Logic Conference series is sponsored by the Association for Symbolic Logic, and the meetings are major international events in mathematical logic. The series features the latest scientific developments in the fields in mathematical logic and its applications, logic in computer science, and philosophical logic. It also aims to promote mathematical logic in the Asia-Pacific region and to bring logicians together both from within Asia and elsewhere to exchange information and ideas.

For more information, see http://www.ims.nus.edu.sg/Programs/09asianlogic/

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 Sixteenth WoLLIC will be held at the National Institute of Informatics in Tokyo, Japan, from June 21 to 24, 2009.

As 2009 will mark the 60-th anniversary of the publication of Paul Erdos' elementary proof of the Prime Number Theorem, WoLLIC will celebrate this by screening the documentary about Paul Erdos which was directed by George Csicsery "N is a number - A Portrait of Paul Erdos".

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

The Journal "Argument and Computation" aims to promote the interaction and cross-fertilisation between the fields of argumentation theory and computer science. It will be of interest to researchers in the fields of artificial intelligence, multi-agent systems, computer science, logic, philosophy, argumentation theory, psychology, cognitive science, game theory and economics.

For more information, see http://www.tandf.co.uk/journals/tarc

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, as well as presentation and poster sessions by young researchers. The third edition of the DGL has also the pleasure to feature a discussion panel on rationality.

For more information, see the website at http://meansandends.com/DGL09/ or email christianwoldemar.bach at unil.ch.

Controlled natural languages (CNLs) are subsets of natural languages, obtained by restricting the grammar and vocabulary in order to reduce or eliminate ambiguity and complexity. This workshop is dedicated to discussing the similarities and differences of existing controlled natural languages of the second type (those that enable reliable automatic semantic analysis of the language), possible improvements to these languages, relations to other knowledge representation languages, tool support, existing and future applications, and further topics of interest.

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

The thirteenth annual meeting of the Association for the Scientific Study of Consciousness will be held from June 5th to June 8th, 2009, at the Berlin School of Mind and Brain. Hosted by the renowned Humboldt-University, the Berlin School of Mind and Brain is an international graduate research school on the interface of humanities and behavioral sciences with neurosciences. ASSC XIII is intended to promote interdisciplinary dialogue in the scientific study of consciousness. ASSC members as well as non-members are encouraged to submit contributions that address current empirical and theoretical issues in the study of consciousness, from the perspectives of philosophy, neuroscience, psychology, computer science, and cognitive ethology. ASSC XIII will provide an excellent opportunity for the presentation of new empirical findings or novel theoretical perspectives in an atmosphere that will promote discussion and debate.

For more information, see http://www.assc13.com/

The analysis of metaphor in different modalities, not just in written texts, elucidates the vital ties between metaphor and metonymy in meaning-making. This workshop therefore integrates these three topics for its theme. The multiple forms of expression to be considered include written words, spoken language, the pictorial mode (still and moving images), sound, and the gestural mode. Attention will be focused on the multimodal use of metaphor and metonymy in TV advertising, film, comics, animation, naturalistic spoken discourse, experimental settings, and foreign language teaching.

The workshop will feature a combination of plenary lectures, introducing basic concepts, and hands-on workshops, in which the plenary speakers will guide participants in the analysis of materials. There will be two plenaries on the analysis of images and two on gestures, and three workshops on each of the modes of images and gestures. The same hands-on workshops will run on both days so that participants may take part in two out of the three on each topic. There will also be time allotted for a poster session by participants who wish to present their own research on multimodal metaphor and/or metonymy.

The Programme Committee cordially invites all researchers to submit their papers for presentation.

Deadline for registration is March 15, 2009. For more information, see http://www.raam.org.uk/

One of the major long-term goals of AI is to endow computers with common sense. Although we know how to build programs that excel at certain bounded or mechanical tasks which humans find difficult, such as playing chess, we have very little idea how to program computers to do well at commonsense tasks which are easy for humans. One approach to this problem is to formalize commonsense reasoning using mathematical logic.

The symposium aims to bring together researchers who have studied the formalization of commonsense reasoning. The focus of the symposium is on representation rather than on algorithms, and on formal rather than informal methods.

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

This is the second of three small, thematically focused events in formal epistemology, organized by Franz Huber (Konstanz), Eric Swanson (Michigan), and Jonathan Weisberg (Toronto). This year's festivities coincide with the 10th anniversary of the publication of James Joyce's The Foundations of Causal Decision Theory.

For more information, see http://www-personal.umich.edu/~ericsw/2fef

Formal Concept Analysis emerged in the 1980's from attempts to restructure lattice theory to promote better communication between lattice theorists and potential users of lattice theory. Since then, Formal Concept Analysis has developed into a growing research field in its own right with a thriving theoretical community and an increasing number of applications in information and knowledge processing including visualization, data mining, analysis and knowledge management.

The conference aims to unify theoretical and applied practitioners using Formal Concept Analysis drawing from the fields of Mathematics, Computer and Information Sciences, Software Engineering, as well as diverse application domains such as Linguistics or Life Sciences. Other aspects are welcome.

For more information, see http://www.icfca2009.h-da.de/

The 17th Nordic Conference on Computational Linguistics will be held at the University of Southern Denmark in Odense, Denmark, on May 14-16, 2009, with two days for the main conference, and a separate day for workshops.

More information about the conference and local information about Odense will be available at the conference website at: http://beta.visl.sdu.dk/nodalida2009/, or by contacting nodalida2009 at visl.sdu.dk.

AAMAS is the leading scientific conference for research in autonomous agents and multiagent systems. The AAMAS conference series was initiated in 2002 by merging highly respected individual conferences ICMAS, ATAL and 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. The main theme of AAMAS-09, based on feedback from previous conferences, will be reinforcing the rich panorama of *interconnections* in the field.

Oct 10, 2008 EDT (GMT-4): electronic abstract submission deadline Oct 14, 2008 EDT (GMT-4): electronic paper submission deadline Dec 19, 2008: paper notification Feb 06, 2009: camera-ready copy submission deadline

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

The purpose of the colloquium is to enhance the dialogue between linguists and philosophers and to provide a new forum for presenting research in the interface between linguistic semantics and the various related areas of philosophy (philosophy of language, epistemology, metaphysics, philosophy of mathematics, and philosophy of mind). The colloquium is to take place every year, alternating between Paris, London, St Andrews, Barcelona and Oslo: this is the second colloquium.

For more information, see http://www.philosophy.sas.ac.uk/spe_cfp.php

The AISB convention is an annual event organised as a number of collocated symposia loosely organised around a theme, and interspersed with invited plenary talks and poster sessions. This symposium focuses on the application of artificial intelligence or intelligent-like techniques, frameworks and theories to the creation of interactive engaging intelligent games.

For more information, see http://www.aisb.org.uk/convention/aisb09/

There is now a growing body of research on formal algorithmic models of social procedures and interactions between rational agents. Largely using the language of logic and game theory, these studies have led to new insights into the dynamics of observation, updating of knowledge and belief, preference change, dialogues and processes of strategic interaction. Central to many of these studies is a multi-agent perspective on rational agency that situates inference in an interactive context.

In this context, a workshop on Logic and Social Interaction was held in the Institute of Mathematical Sciences, Chennai during 7-8 January, 2009, focussing on current advances made towards modelling complex multi-agent interactive situations, attempting to identify logical elements in our daily social activities. As a follow-up of the Workshop, a special issue of the "Knowledge, Rationality and Action" section of the journal "Synthese" is planned on the theme of Logic and Social Interaction.

Deadline for abstracts: May 1st, 2009. For more information, see the Special Issue page at http://www.imsc.res.in/tcsweb/kra-lasi.html and the workshop page at http://ali.cmi.ac.in/icla2009/social.html.

We are pleased to announce our eighteenth annual BEST conference. There will be four talks by invited speakers:
Steve Jackson (University of North Texas)
Ljubisa Kocinac (University of Nis, Republic of Serbia)
Assaf Rinot (Tel Aviv University, Israel)
Grigor Sargsyan (University of California, Berkeley)

The talks will be held on Friday, Saturday and Sunday at the Department of Mathematics, Boise State University.

For more information, see http://math.boisestate.edu/~best/best18

Continuing the mission of the highly successful first AGI conference (AGI-08), AGI-09 will gather an international group of leading academic and industry researchers involved in serious scientific and engineering work aimed directly toward the goal of artificial general intelligence.

This is 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. By gathering together active researchers in the field, for presentation of results and discussion of ideas, we accelerate our progress toward our common goal.

For more information, see http://www.agi-09.org/

The STACS conference Symposium on Theoretical Aspects of Computer Science takes place each year since 1984, alternately in Germany and France. STACS 2009 will be held in the city of Freiburg (located in the Southern Black Forest) on February 26-28, 2009.

For more information, see http://stacs2009.informatik.uni-freiburg.de/

The aim of the colloquium is to bring together young researchers in the field of logic. During these two days there will be 6 tutorials in total, 3 about mathematical and 3 about philosophical logic. In addition, PhD students and postdocs in mathematical or philosophical logic are invited to give a presentation. In combination with the planned social activity this will hopefully lead to a better overview of the current research in logic and even joint work.

For more information, see http://www.phdsinlogic.ugent.be/ or contact phdsinlogic at ugent.be.

The third International Workshop on Algorithms and Computation (WALCOM 2009) will take place in Kolkata, India, during February 18-20, 2009. The workshop is intended to provide a forum for researchers working in algorithms and theory of computation.

WALCOM 2009 will be preceded by the Second National Workshop on Nano-Science and Bio-chips (February 16-17, 2009), whose theme is "Combinatorial and Algorithmic aspects of Bio-chips"

Conference web site: http://www.isical.ac.in/~walcom.

For more than two decades now, each year has seen a growing number of important results in the emerging field centered on the interactions between game theory and logic. We feel that it is time for the philosopher to assess in which ways those results bear on the fundamental questions of the philosophy of logic. In particular, what insight have we gained on such central notions as truth, validity, proof, proposition, form and formality, logicality, etc. We would thus like to open a series of books that we conceive as a gathering place where philosophical ideas concerning those topics can be expressed, scrutinized and confronted. The series will be published by College Publications (http://www.collegepublications.co.uk/) as a new subseries of the 'Philosophy' series.

We therefore invite submissions related to all aspects of the philosophical consequences of the interactions between games and logic. More specific topics include (but are not limited to): game-theoretical semantics, dialogical logic, ludics, Ehrenfeucht-Fraïssé games, game-theoretical notions of logical form, game-theoretical notion of proposition, logical games between semantics and proof theory, games and modal logic. Paper submission deadline: 15th March 2009.

For more information, see here or http://www.collegepublications.co.uk/.

Capturing common sense knowledge often involves uncovering the implicit, unstated assumptions behind communication, often best expressed through stories. Work in story representations dates back to Schank-style scripts and other efforts in the 80s, but recent developments have unleashed new potential in this area. The maturity of common sense knowledge bases such as Cyc, Open Mind and ThoughtTreasure; statistical and corpora-based natural language understanding techniques; the explosion of participatory knowledge collection over the Web; progress in cognitive science; the popularity of Web-based storytelling media such as blogs; and new common sense reasoning techniques are all enablers of the new generation of work on common sense stories.

We are accepting both papers and demos to our workshop. Submission deadline is November 20th. For more information, see http://csc.media.mit.edu/iuiStories/.

Analytic philosophy has a prominent place in Dutch and Flemish philosophy departments. In order to promote analytic philosophy in the Dutch and Flemish communities, the Vereniging voor Analytische Filosofie (VAF) was founded in 2006. The third bi-annual organised event of the VAF will be a two-day conference on recent trends in philosophy of language.

For more information, see http://www.tilburguniversity.nl/faculties/humanities/tilps/VAF2009/

CLIN 19 is the Nineteenth Meeting of Computational Linguistics in The Netherlands (Deadline for abstract submission: Monday 17 November 2008). The meeting will take place in Groningen, The Netherlands. It will be held on Thursday 22 January 2009 in conjunction with the Treebanks and Linguistic Theory (TLT) conference.

For more information, see http://www.let.rug.nl/clin/

The Philosophy Faculty of Cambridge University is pleased to announce its second graduate conference on the Philosophy of Logic and Mathematics. The conference will be held in The Fisher Building of St. John's College, Cambridge (CB2 1TP). Keynote speakers are Prof. Hannes Leitgeb (Bristol) and Prof. Timothy Williamson (Oxford).

For more information, see http://www.phil.cam.ac.uk/news_events/camgradphilconf.html or contact the conference organizers, Luca Incurvati & Florian Steinberger, at cam.phil.grad.conf at googlemail.com.

ALI, the Association for Logic in India, announces the next edition of its biennial International Conference on Logic and its Applications (ICLA), to be held at the Institute of Mathematical Sciences, Chennai, from January 7 to 11, 2009.

ICLA is a forum for bringing together researchers from a wide variety of fields that formal logic plays a significant role in, along with mathematicians, philosophers and logicians studying foundations of formal logic in itself. A special feature of this conference is the inclusion of studies in systems of logic in the Indian tradition, and historical research on logic.

The earlier events in this series featured many eminent logicians as invited speakers, as will be the case this year as well. See http://ali.cmi.ac.in/icla2009/ for updates on this conference as well as links to information on past events.

The Association for Logic in India (ALI) announces a pre-conference workshop on logic and social interaction to be held during January 7-8, 2009, in the Institute of Mathematical Sciences, Chennai prior to the 3rd Indian Conference on Logic and its applications (ICLA 2009).

For more information, see http://ali.cmi.ac.in/icla2009/social.html

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

For more information, see http://ww.lfcs.info/.

Predicting rational play is the central concern of game theory, and game models are built on rationality assumptions. Re-examining notions of rationality in new contexts has led to many interesting questions for game theory, as for instance in games of infinite duration, motivated by computation theory.

This FSTTCS-2009 Pre-Conference Workshop on Structural Aspects of Rationality (STAR) is intended as an occasion for exchanging ideas on foundations of game theory, especially on structural and computational arguments for the analysis of solution concepts.

For more information, see http://www.imsc.res.in/tcsweb/star/star.html

At one time, there was lively dialogue between Western and Eastern philosophy. Schopenhauer, Nietzsche and William James were strongly influenced by Eastern philosophy. But, during recent years, Western philosophy has shown much less respect for the East than previous and there seems less awareness that issues like epistemology, time, and selfhood have been addressed very intelligently in the East.

The purpose of the conference is to reinvigorate the dialog between Eastern and Western philosophy (philosophy as distinct from religion), and a galaxy of brilliant speakers from all over the globe have agreed to participate.

For more information, see http://web.cs.gc.cuny.edu/~kgb/

A workshop on "Combinatorial set theory and forcing theory" will take place at the Research Institute for Mathematical Sciences of Kyoto University (Japan) from November 16 (Mon.) till November 19 (Thu.), 2009. The workshop is organized by Teruyuki Yorioka (Shizuoka University). The program will feature minicourses by Sy Friedman and Ilijas Farah, as well as many other talks by participants from Japan and abroad.

See the webpage http://www.ipc.shizuoka.ac.jp/~styorio/rims09/ for details. If you are interested in attending, please contact the organizers at styorio at ipc.shizuoka.ac.jp or brendle at kurt.scitec.kobe-u.ac.jp.

The goal of the Autumn School on Modal Logic is to prepare PhD students and other researchers for participation in the sixth workshop Methods for Modalities (M4M-6) which takes place November 12-14 2009 in Copenhagen. The workshop Methods for Modalities aims to bring together researchers interested in developing proof tools and decision methods based on modal logics. Here the term "modal logics" is conceived broadly, including description logic, guarded fragments, conditional logic, temporal and hybrid logic, etc. The first M4M workshop took place in Amsterdam in 1999. Since then, M4M workshops have taken place in 2001 (Amsterdam), 2003 (Nancy), 2005 (Berlin), and 2007 (Paris).

The Autumn School on Modal Logic is open to anyone interested. The intended participants will have a general background in theoretical computer science, but wish to obtain more concrete knowledge on modal logic and its computational aspects. Besides a working knowledge of English, prerequisites are a basic knowledge of logic and mathematics that is usually covered in undergraduate classes on discrete mathematics.

The registration deadline for the Autumn school is Friday, October 23 2009. For more information, see http://hylocore.ruc.dk/m4m6school.html. See http://m4m.loria.fr/ for more information on the workshop series.

The workshop "Focus on Discourse and Context-dependence" will be held in Amsterdam, on Friday, 25 September, 2009. The aim of the workshop is to bring together researchers and discuss the mattersof focus, discourse and context from different perspectives form linguisticsto philosophy.

For more information and abstracts, see http://staff.science.uva.nl/~kbalogh/workshop/.

On the occasion of Eva van Lier's thesis defence, a small workshop on Recent developments in language typology is organized.

For more information, see http://www.hum.uva.nl/aclc/object.cfm/4317883A-3102-4F8A-A31CBC1402EBC5E4/

While it strikes most as obvious that there exist close conceptual connections between conditionals and conditionalization, it is far less obvious what these connections precisely are. The aim of the workshop is to investigate these connections from an interdisciplinary perspective, drawing on recent work in philosophy and experimental psychology. The time is ripe for such an approach, given that both linguists and psychologists working on conditionals are increasingly turning to the probabilistic theories of conditionals that philosophers have been developing over the past forty years or so. On the other hand, various philosophical claims have been made about conditionals - in particular concerning their semantics and pragmatics - apparently on no other basis than the linguistic intuitions of the philosophers making these claims. It would be interesting, and from a methodological perspective desirable, to subject these claims to more rigorous testing, which is where experimental psychologists could help (and, to some extent, have already helped).

Deadline for registrations: August 15th (no registration fee). For more information, see: http://formalphilosophy.org/node/333 or contact Richard Diets at richard.dietz at hiw.kuleuven.be.

EASSS is the annual European summer school for PhD and Master's students working in multiagent systems and related fields. Courses include "Game Theory and Mechanism Design", "Coalitional Games", "Negotiation and Auctions", "Fair Division", "Multiagent Planning", "Agents and Arguments", and "Normative Multiagent Systems". This year's edition is colocated with several international workshops (MALLOW-2009).

For more information, see http://agents009.di.unito.it/EASSS.html.

Human natural languages are complex adaptive systems, forever emergent and adapting to the needs of their communities. This insight is currently revolutionizing many branches of linguistics and this summer school feels the pulse of these exciting developments. It brings together typologists and historical linguists studying language variation and the emergence of new grammatical structure, evolutionary linguists modeling the origins and evolution of language, cognitive linguists investigating the cognitive foundations of language usage and learning, complex systems researchers using methods from statistical physics to study the semiotic dynamics of evolving languages, and computational linguists and AI researchers carrying out experiments to achieve open-ended communication with autonomous robots.

For more information, see http://www.alear.eu/events/cortona2009/Home.html.

Although classical computable model theory is most naturally concerned with countable domains, several methods---some old, some new---extend its basic concepts to uncountable structures. The purpose of this workshop is to study these various extensions of effectivity to the uncountable, bringing together experts in such topics as sigma-definable structures, alpha-recursion theory, E-recursion thoery, ordinal computability, Blum-Shub-Smale machines, infinite time Turing machines and locally computable structures, among others.

This workshop is the second of its kind, after the inaugural EMU in 2008. In the 2009 workshop we plan to provide tutorial-type introductions to models of computation which were not discussed last year, as well as discuss progress made since last year. A particular theme we plan to focus on is the role of a computable well-ordering of the universe of a structure. We will contrast the approaches which allow such an ordering with those which forbid it. We expect this will have methodological repercussions for the study of effective model theory on countable structures as well.

For more information, see here or http://nylogic.org/EMU, or contact Denis Hirschfeldt at drh at math.uchicago.edu.

The aims of this summer school are 1) to teach and discuss recent philosophical and linguistic advances on our understanding of conditionals and 2) to promote discussions among the faculty and participants of issues involving conditionals from the perspectives of linguistics, philosophy of language, philosophical logic, cognitive psychology, and philosophy of science 3) to help establish a network of young researchers on issues in philosophy of language and philosophical logic.

Application deadline: 16 February 2009. For more information about the course, see http://www.sun.ceu.hu/conditionals. CEU Summer University web page: http://www.sun.ceu.hu/. Please address your inquiries to summeru at ceu.hu.

The UCLA Logic Center is organizing a summer school for undergraduates this July. 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 material within three weeks.

For more information, see http://www.math.ucla.edu/~ineeman/Summer-2009/

FTP 2009 is the seventh in a series of workshops intended to focus effort on First-Order Theorem Proving as a core theme of Automated Deduction, and to provide a forum for presentation of recent work and discussion of research in progress.

The workshop welcomes original contributions on theorem proving in first-order classical, many-valued, modal and description logics, including (but not restricted to): resolution, tableau methods, equational reasoning, term-rewriting, model construction, constraint reasoning, unification, description logics, propositional logic, specialized decision procedures; strategies and complexity of theorem proving procedures; implementation techniques and applications of first-order theorem provers to verification, artificial intelligence, mathematics and education.

For more information, see http://www.mpi-inf.mpg.de/~sofronie/ftp09/.

This is an ESF Mathematics Conference in Partnership with EMS and ERCOM. Chair: Prof. Jouko Väänänen, University of Helsinki, FI/University of Amsterdam, NL. The conference will be in honor of Ronald Jensen's lifelong achievements in set theory.

The conference focuses on three main topics. The first topic is inner model theory and large cardinals. The second direction is descriptive set theory, which studies properties of definable sets of reals, and more generally Polish spaces. Finally, combinatorial set theory deals with uncountable structures without any definability restrictions. As a fourth scientific topic of the conference, we can list applications of set theory to Banach spaces, measure theory, general topology, and other neighboring areas.

We encourage all interested participants, especially young scientists, to submit abstracts of their work for the poster sessions. Closing date for application (as well as for abstract submission): 08 April 2009. Grants are available for young researchers to cover the conference fee and travel costs.

For more information, see http://www.esf.org/conferences/09306 or contact Ms. Anne Guehl, Conference Officer (aguehl at esf.org).

A two week symposium on Proof Theory and Constructivism will be held in the Research Visitors' Centre of the School of Mathematics at Leeds, from 3rd July (arrival) to 16th July (departure) this year. It will comprise three connected events:

4th & 5th July: An LMS-funded conference on Proofs and Computations. This meeting will be in honour of Stan Wainer on the occasion of his 65th birthday.
5th & 6th July: A Gentzen Centenary Conference, celebrating 100 years since the birth of Gerhard Gentzen, the founder of structural proof theory.
7th - 16th July: An EPSRC-funded Research Workshop on Proof Theory and Constructivism.

For further information visit the web-site: http://www.personal.leeds.ac.uk/~matptw/ or contact the organisers at: matptw at leeds.ac.uk

There will be a small workshop on proof theory on Friday 26th of June (next week). Everyone is cordially invited to attend the talks. If you are interested in giving a talk yourself, please do not hesitate to contact the organisers.

Abstracts and more information can be found on http://cage.ugent.be/ptworkshop/, or contact Michiel De Smet at mmdesmet at cage.ugent.be or Andreas Weiermann at weierman at cage.ugent.be.

Set theory has recently experienced major new developments concerning the construction of models for large cardinals, combinatorial set theory, descriptive set theory, generalisations of Martin's axiom, strong absoluteness and the theory of forcing.

Particularly encouraging is the fact that many unusually talented young people have recently entered the subject, who have established remarkable results concerning the Proper Forcing Axiom and its variants, the Singular Cardinal Hypothesis, subtle properties of stationary sets, and important aspects of applied set theory, including topological dynamics, Borel equivalence relations and metric geometry.

Our two-week workshop, which will be open to the set theory community at large, will focus around two principal themes: Large Cardinals and Descriptive Set Theory. The workshop is organized by the Erwin Schrödinger Institute (ESI) and financed by the ESI and Austrian Science Fund (FWF).

For more information, see http://www.logic.univie.ac.at/conferences/2009_esi/

In the summer of 2009, the Department of Philosophy at Carnegie Mellon University will hold a three-week summer school in logic and formal epistemology for promising undergraduates in philosophy, mathematics, computer science, linguistics, and other sciences. The goals are to introduce students to cross-disciplinary fields of research at an early stage in their career, forge lasting links between the various disciplines.

The summer school will be held from Monday, June 8 to Friday, June 26, 2009. There will be morning and afternoon lectures and daily problem sessions, as well as planned outings and social events. This year's topics are: Categories and Structures, Decisions and Games, and Logic and Formal Verification.

Instructions for applying can be found on the summer school web page, http://www.phil.cmu.edu/summerschool Materials must be received by the Philosophy Department by March 15, 2009. Inquiries may be directed to Jeremy Avigad (avigad at cmu.edu).

A GAMES spring school will take place in the Centro Residenziale Universitario in Bertinoro (near Bologna), Italy, organised by the ESF Research Networking Programme Games for Design and Verification. The school is addressed to Ph.D. students and young researchers with a background in computer science or mathematics who are interested in the field of game theory and its applications to logic, verification and automata theory.

The number of participants will be limited to 70. If you want to participate, please apply before February 28, 2009. For more information, see http://www.games.rwth-aachen.de/Activities/bertinoro.html

Preference change is a phenomenon that everyone experiences in himself or herself. Such change can be gradual or radical, expected or surprising, caused by external experiences (such as encountering another culture) or by internal influences (such as aging), and so on. How should preference change be explained and modelled? This is a methodological question of tremendous importance, with repercussions in various areas such as dynamic decision theory, welfare economics, consumer theory, moral psychology, philosophy of mind, political science, and the study of deliberation. Yet the question is far from settled, and a science of preference change, if it exists at all at this point, is certainly in its infancy. To mention only one point of disagreement, standard rational choice models explain every preference change by an underlying belief change, whereas critics reject this reduction. The aim of this workshop is to bring together different researchers with interests in this area and to discuss fresh perspectives.

For more information, see http://www.lse.ac.uk/collections/CPNSS/projects/ChoiceGroup/PreferenceChange.htm

This meeting is intended to be the first issue of a series of yearly meetings on Mathematical Logic (and related areas) in the Netherlands. Rather than a specialized conference, where advanced research results are reported, we aim to get to know each other better and, by understanding the various branches of logic represented in the Netherlands, strengthen our community.

We have reserved a generous amount of time for expository talks, but also strongly encourage contributions by young researchers and Ph.D. students. In all, we hope to create an environment where we can share common interests and where we may fruitfully explore possibilities of collaboration in research, Ph.D. projects, and teaching.

See also the web site of the symposium: http://www.math.ru.nl/~mgehrke/MLNL09/MLNL09-mainpage.htm. Please register with the local organization. If you'd like to speak, please send an e-mail to Bas Spitters: spitters at cs.ru.nl.

In this workshop conditionals are analyzed from a logical, epistemological and psychological perspective. The focus lies on uncertain conditionals, their non-monotonic character and probabilistic reliability.

For more information, see http://www.phil-fak.uni-duesseldorf.de/philo/personal/thphil/conditionals. If you plan to attend, please contact us at unterhuber at phil-fak.uni-duesseldorf.de.

The symposium brings together leading researchers working at the interface of the three disciplines: game theory, logic programming, and argumentation theory. Inspired by Dung's seminal work "On the Acceptability of Arguments and its Fundamental Role in Non-monotonic Reasoning, Logic Programming and N-persons games" (Artificial Intelligence, 1995), it aims at fostering the interaction between these active but historically autonomous subareas of nonmonotonic and practical reasoning.

The symposium is organized by the Individual and Collective Reasoning Group of the University of Luxembourg. Registration is free but required. More info: http://eqas.gforge.uni.lu/Galp/galp.html

The aim of this conference is to bring together PhD students and postdocs 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. Four senior set theorists have been invited to represent a branch of Set Theory and give morning tutorials about their work. The afternoons will be devoted to small group discussion sessions.

The deadline for registration is 28th February 2009. For more information, see http://wwwmath.uni-muenster.de/logik/YS09/

This symposium marks the start of a new initiative to boost Cognitive Science research at the University of Amsterdam. Following the designation of Cognition as a key research area of the UvA, a small committee of researchers from the CSCA was asked to draw up a proposal to promote collaborative research between groups of different institutes. One of the key elements of the proposal is the establishment of a new institute where researchers from different disciplines will work together on a programme to resolve questions regarding the mechanisms underlying human (and animal) cognition. The new institute will be located near the Spinoza Center for Neuroimaging.

For more information, see here or contact the organisers at info-mcs at uva.nl

The philosophy department at New York University will be hosting a conference on the Foundations of Mathematics, in April of 2009. The conference will explore methodological issues surrounding the adoption of new axioms, as well as semantic and metaphysical issues surrounding mathematical truth.

Attendance is open, and there is no registration fee. However, anyone planning to attend must register by emailing shievak at hotmail.com no later than February 31st, 2009. The conference website can be found here: http://homepages.nyu.edu/~sjk362/NYU_Conference.html

The MGS is an intensive course of lectures on the Foundations of Computing. It is very well established, with this being our 10th anniversary, and has always proved a very popular and successful event. This year we have Professor Peter Dybjer, Chalmers, Sweden, as guest lecturer.

The lectures are aimed at graduate students, typically in their first or second year of study for a PhD. However, the school is open to anyone who is interested in learning more about mathematical computing foundations. We very much welcome international applications as well as from those from the UK.

For further details and registration visit http://www.cs.le.ac.uk/events/mgs2009. All registrations must be received by 2pm on 30th January 2009.

NVTI is the "Nederlandse Vereniging voor Theoretische Informatica". One of the main activities of the NVTI is the organization of the yearly Theory Day. This year, as usual, there is an interesting program with excellent speakers, both domestic and foreign, covering the wide spectrum of theoretical computer science from algorithmics to logic.

The speakers will be:
*E. Allen Emerson (U Texas, Austin)
*Barbara Terhal (IBM Watson, NY)
*Frank de Boer (CWI, U Leiden)
*Paul Vitanyi (CWI, U v Amsterdam)

Attendance is free. Registration deadline for the organized lunch (at € 15,-) is March 13, 2009. For more information, see http://www.nvti.nl/

The aim of the colloquium is to bring together young researchers in the field of logic. During these two days there will be 6 tutorials in total, 3 about mathematical and 3 about philosophical logic. In addition, PhD students and postdocs in mathematical or philosophical logic are invited to give a presentation. Of course, everyone is kindly invited to attend the tutorials and contributed talks!

For more information, see http://www.phdsinlogic.ugent.be/.

One of the grand challenges in science and engineering is to build computer systems that are trustworthy and intelligent. While achieving this goal could be many decades away, computer systems are clearly getting smarter and more reliable year by year and human society is becoming more reliant on exploiting their increasing intelligence. Logic and machine learning are two indispensable parts of the efforts to meet this challenge.

Join us for a new summer school experience where you have a unique two week opportunity to combine the solid foundations of logic and machine learning, with an introductory track in artificial intelligence. Courses are taught by some of the world's leading computer scientists and blend practical and theoretical short courses with lectures and demonstrations in state-of-the-art computer facilities at ANU.

Details (including Fees and Registration, and Accommodation) are available from the website at http://ssll.cecs.anu.edu.au/.

One of the grand challenges in science and engineering is to build computer systems that are trustworthy and intelligent. While achieving this goal could be many decades away, computer systems are clearly getting smarter and more reliable year by year and human society is becoming more reliant on exploiting their increasing intelligence. Logic and machine learning are two indispensable parts of the efforts to meet this challenge. The Summer Schools in Logic and Learning bring together two annual summer schools in the area of logic and machine learning: the Logic Summer School and the Machine Learning Summer School.

The Logic courses will consist of short courses on aspects of pure and applied logic. The Machine Learning courses will consist of short courses on the theory and practice of machine learning, which combine deep theory from areas as diverse as Statistics, Mathematics, Engineering, and Information Technology with many practical and relevant real life applications. The courses will be taught by experts from Australia and overseas. The summer schools this year will also include a special track on Artificial Intelligence (AI), which will feature courses on aspects of both logic and machine learning. In addition to the scheduled courses, time will be set aside each day for practical classes, discussions and software demonstrations.

Deadline for early registration: 19 December 2008. For more information, an online registration form and a preliminary program, see http://ssll.cecs.anu.edu.au/

This is a workshop on current perspectives on the indispensability argument for mathematical platonism. Many scientic realists are willing to commit to various esoteric unobservable features of the world, but at the same time they treat mathematical platonism with great suspicion. According to the indispensability argument such preference for concrete theoretical posits is unjustified, because mathematics plays an indispensable role in scientific theorising.

The present state of debate turns on an attempt at a more precise characterisation of mathematics's role in our best science. In particular, it has been argued that the explanatory function of mathematics is decisive here, given the realist's reliance on inference to the best explanation in defending realism about unobservable concreta. If mathematical entities can play a bona fide explanatory role in science, then arguably commitment to those entities follows by inference to the best explanation.

For more information, see here or contact Juha Saatsi at J.T.Saatsi at leeds.ac.uk.

Note that Michael Franke's defence is the same day, at 10am, also in the Agnietenkapel.

Note that Tikitu de Jager will also defend at 12.00 the same day, also in the Agnietenkapel.

If you want to visit this defense and you do not own a UvAcard, please tell the receptionist of the Science Park building that you are there to attend the defense of Sam van Gool at 15.30 in room C3.158. That way you should get a visitors card to enter the elevators.

For more information, see http://www.illc.uva.nl/Publications/Dissertations/DS-2009-09.abstract.txt

For more information, see http://www.illc.uva.nl/Publications/Dissertations/DS-2009-07.abstract.txt

For more information, see http://home.medewerker.uva.nl/c.bax/index.html

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

For more information, contact Sara Uckelman at S.L.Uckelman at uva.nl

Khalil Sima'an has been granted a project proposal in the 2009 second round of the NWO Free Competition of the Board for Exact Sciences (NWO-EW Vrije Competitie). The project title is "Machine Translation when Exact Pattern Match Fails" and covers a PhD position.

With the Free Competition, NWO stimulates high-risk innovative research, and offers opportunities for researchers to develop pioneering ideas. In general, Free Competition entails the possibility to submit original and innovative research proposals without programmatic or thematic restrictions.

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

Erik Rietveld, former PhD student of the ILLC, is awarded a VENI grant by NWO for his project Unreflective action in everyday life. Erik was awarded a Rubicon grant earlier to work as a postdoc at Harvard University.

For more information, see http://www.nwo.nl/nwohome.nsf/pages/NWOA_7XFCMN#M

At the ESF headquarters in Strasbourg, the new Research Networking Programme INFTY: "New Frontiers of Infinity" was launched on 16 March 2009. This programme covers set theory and its interdisciplinary applications (for instance, philosophical questions about the foundations of mathematics, constructive set theory, applications in computability theory and computer science) and will be run by currently nine partner countries for the coming five years (until March 2014). The programme will be funding conferences, workshops, schools, and in particular bilateral research visits between partner countries.

The ILLC is represented by Jouko Väänänen in the executive group of the network. Benedikt Löwe is the Dutch representative on the Steering Committee.

The Bureau Kennistransfer has published a BKT factsheet on the NWO-Vernieuwingsimpuls, (Veni-Vidi-Vici) with a short summary of the latest developments.

It is available from the ILLC website at http://www.illc.uva.nl/NewsandEvents/GrantUpdate/BKT_factsheet_VI.pdf. For more information, see the website of the Bureau Kennistransfer at http://www.uva.nl/bureaukennistransfer/ or the NWO Vernieuwingsimpuls website at http://www.nwo.nl/nwohome.nsf/pages/NWOP_5TTCVA.

Grant Update offers the latest information on grant applications and deadlines. It is published monthly by the grant advisory team of Bureau Kennistransfer UvA (Knowledge Transfer Office UvA), formerly known as the UvA Liaison Office. The grant advisory team offers support and expertise concerning procedures for applying for national and international grants.

The 1st issue of 2010 is now available from the ILLC website at http://www.illc.uva.nl/NewsandEvents/GrantUpdate/Grant_Update_3-01.pdf. For more information, see the website of the Bureau Kennistransfer at http://www.uva.nl/bureaukennistransfer/.

The Royal Netherlands Academy of Arts and Sciences offers financial and logistical support in organising a maximum of six top-flight research colloquia a year, each one attended by no more than fifty participants.

Deadline: 1 March 2010.

For more information, see http://www.knaw.nl/cfdata/funding/funding_detail.cfm?orgid=1

The october and november editions of the EGL newsletter "R&D in Europa" (dutch only) are available from the SenterNovem website, at http://www.senternovem.nl/egl/nieuwsbrief/.

Grant Update offers the latest information on grant applications and deadlines. It is published monthly by the grant advisory team of Bureau Kennistransfer UvA (Knowledge Transfer Office UvA), formerly known as the UvA Liaison Office. The grant advisory team offers support and expertise concerning procedures for applying for national and international grants.

The 12th issue of 2009 is now available from the ILLC website at http://www.illc.uva.nl/NewsandEvents/GrantUpdate/Grant_Update_2-12.pdf. For more information, see the website of the Bureau Kennistransfer at http://www.uva.nl/bureaukennistransfer/.

The Call for Proposals for the 2nd intake of the Science and Technology Fellowship Programme (STF2 China) is open now. The STF Programme offers 2-year fellowship to EU researchers in China. The programme is open to all academic and scientific disciplines.

The deadline for submission of proposals is 04 January 2010 at 16:00 Beijing Time. For more information, see http://www.euchinastf.eu/.

Nominations are invited for the 2009 Victor Lesser Distinguished Dissertation Award sponsored by IFAAMAS, the International Foundation for Autonomous Agents and Multiagent Systems. This award includes a certificate signed by the IFAAMAS Chair and 1500EUR. Eligible doctoral dissertations are those defended between January 1, 2009 and December 31, 2009 in the area of Autonomous Agents or Multiagent Systems. The award will be based on the originality, significance, and real or potential impact of the work.

The dissertation must be nominated by the thesis supervisor. Deadline for submissions: February 5, 2010. For more information, see here or the IFAAMAS website at http://www.ifaamas.org/.

Grant Update offers the latest information on grant applications and deadlines. It is published monthly by the grant advisory team of Bureau Kennistransfer UvA (Knowledge Transfer Office UvA), formerly known as the UvA Liaison Office. The grant advisory team offers support and expertise concerning procedures for applying for national and international grants.

The 11th issue of 2009 is now available from the ILLC website at http://www.illc.uva.nl/NewsandEvents/GrantUpdate/Grant_Update_2-11.pdf. For more information, see the website of the Bureau Kennistransfer at http://www.uva.nl/bureaukennistransfer/.

Established in 2009 by the Hong Kong Research Grants Council (RGC), the Hong Kong PhD Fellowship Scheme aims to attract the outstanding students in the world to pursue their PhD degree programmes in Hong Kong's institutions. The Fellowship provides a monthly stipend of HK$20,000 (approx. US$2,600) and a conference and research-related travel allowance of HK$10,000 (approx. US$1,300) per year for a period of three years. 135 PhD Fellowships will be awarded for the 2010/11 academic year. Applications related to dialogue systems or corpus/computational linguistics research are welcome.

Application deadline: 1 December 2009. For further details, see http://www.rgc.edu.hk/hkphd or contact Raquel Fernandez at raquel.fernandez at uva.nl.

Using funds from the royalties it receives, the AI Journal is pleased to announce a new opportunity for the AI community to benefit from these with the aim of promoting AI Research.

In providing this funding (in the order of US$250k p.a.), AIJ aims to:
- promote and raise awareness of AI research and practice;
- encourage the timely and widespread dissemination of AI research results, techniques, and tools;
- promote interaction and exchange of ideas between AI researchers, practitioners, and students;
- promote the exploitation of AI research results, techniques, and tools.

For further details, including the application procedure, see http://www.aijd.org/. Direct link: http://www.ida.liu.se/ext/aijd/funding-final.pdf

Ethnic minorities are currently under-represented in Dutch academic research. The Netherlands Organisation for Scientific Research (NWO) and the Ministry of Education, Culture and Science are keen to promote diversity and are concerned about the present loss of talent to the academic world.

The closing date for submitting concise idea is 14 January 2010. For more information, see http://www.nwo.nl/nwohome.nsf/pages/NWOP_5RNBJK_Eng?open&no

Eligible for the 2010 Ackermann Award are PhD dissertations in topics specified by the EACSL and LICS conferences, which were formally accepted as PhD theses at a university or equivalent institution between 1.1.2008 and 31.12. 2009. The 2010 Ackermann Award will be presented to the recipients at the annual conference of the EACSL (CSL'10).

The deadline for submission is 15.3.2010. For more information, see http://www.eacsl.org/submissionsAck.html

Grant Update offers the latest information on grant applications and deadlines. It is published monthly by the grant advisory team of Bureau Kennistransfer UvA (Knowledge Transfer Office UvA), formerly known as the UvA Liaison Office. The grant advisory team offers support and expertise concerning procedures for applying for national and international grants.

The 10th issue of 2009 is now available from the ILLC website at http://www.illc.uva.nl/NewsandEvents/GrantUpdate/Grant_Update_2-10.pdf. For more information, see the website of the Bureau Kennistransfer at http://www.uva.nl/bureaukennistransfer/.

The KNAW Conference subsidy fund is there to promote the organisation of international scientific conferences in the Netherlands. There are three application deadlines every year. The next upcoming deadline is 01-01-2010.

For more information, see http://www.knaw.nl/cfdata/subsidies/subsidie_detail.cfm?orgid=2 , or contact Rachel.Basaur at bureau.knaw.nl

The European Commission's Directorate-General for Research is calling for proposals for Marie Curie Initial Training Networks (ITNs). In support of training and career development for researchers, the action addresses joint research training networks in the form of either multi- or mono-partner ITNs. Multi-partner ITNs require at least three participants from three different Member States or Associated Countries. Mono-partner ITNs, on the other hand, are composed of just one single participant in a Member State or Associated Country and a network of associated partners.

The indicative budget of this call for proposals amounts to EUR 243.79 million. Submission deadline for proposals: 22 December 2009. For more information, see http://cordis.europa.eu/fp7/dc/

The Lorentz Fellowship program is a joint venture between the Netherlands Institute for Advanced Study in the Social Sciences and Humanities in Wassenaar (NIAS) and the Lorentz Center in Leiden. The programme was (formally) launched in 2006 to promote interdisciplinary research that bridges the gap between the humanities and/or the social sciences on the one hand and the natural sciences on the other; Lorentz Fellowships are awarded by NIAS to scholars whose research reaches across this boundary. Project proposals are welcomed that approach research topics from an inherently interdisciplinary viewpoint.

For more information, see http://www.lorentzcenter.nl/fellowships.php

The Lorentz Center of the University of Leiden calls for proposals of workshops. Workshop proposals are submitted for review by the scientific program boards three times per year: 15 January, 15 May, and September 15.

For more information, see http://www.lorentzcenter.nl/proposals.php

Grant Update offers the latest information on grant applications and deadlines. It is published monthly by the grant advisory team of Bureau Kennistransfer UvA (Knowledge Transfer Office UvA), formerly known as the UvA Liaison Office. The grant advisory team offers support and expertise concerning procedures for applying for national and international grants.

The 9th issue of 2009 is now available from the ILLC website at http://www.illc.uva.nl/NewsandEvents/GrantUpdate/Grant_Update_2-09.pdf. For more information, see the website of the Bureau Kennistransfer at http://www.uva.nl/bureaukennistransfer/.

Applications are open for Imperial's second round of Junior Research Fellowships, to give the world's top early-career researchers freedom to focus on research, by providing a competitive salary and laboratory support costs; there will be no teaching or administrative duties associated with the appointments.

Deadline for applications October 30th 2009. For more information, see http://www3.imperial.ac.uk/juniorresearchfellowships

Annually The Árni Magnússon Institute for Icelandic Studies invites applications for the Snorri Sturluson Icelandic Fellowships. The Snorri Sturluson Fellowships are granted to writers, translators and scholars (not to university students) in the field of humanities, from outside Iceland, to enable them to stay in Iceland for a period of at least three months, in order to improve their knowledge of the Icelandic language, culture and society.

Applications should be sent by ordinary mail (no e-mail application) no later than 31 October. For more information, see http://www.arnastofnun.is/page/a_inter_snorri_sturluson_fellowships

The Center for Interdisciplinary Research of Bielefeld University intends to establish a new research group in the academic year 2011/2012. Research Groups are the ZiF's primary format to support long-term interdisciplinary collaboration. The fellows of the research group reside at the ZiF and work together on a broader research theme. Support by the ZiF comprises financial assistance (for a research group up to € 500.000) as well as providing its infrastructure, i. e. accommodation, workspaces, conference facilities.

Applications for a ZiF research group may be submitted by any scientist or scholar from Germany or abroad. In the initial phase, a draft proposal for a research group (up to 5 pages) is required. Draft proposals should be received by the Managing Director of the ZiF Professor Dr. Jörg Bergmann by October 31, 2009 at the latest. For further information, see http://www.uni-bielefeld.de/ZIF/ or Dr. Britta Padberg at britta.padberg at uni-bielefeld.de.

Grant Update offers the latest information on grant applications and deadlines. It is published monthly by the grant advisory team of Bureau Kennistransfer UvA (Knowledge Transfer Office UvA), formerly known as the UvA Liaison Office. The grant advisory team offers support and expertise concerning procedures for applying for national and international grants.

The 8th issue of 2009 is now available from the ILLC website at http://www.illc.uva.nl/NewsandEvents/GrantUpdate/Grant_Update_2-08.pdf. For more information, see the website of the Bureau Kennistransfer at http://www.uva.nl/bureaukennistransfer/.

Research in experimental pragmatics generates data as it tests between theories of pragmatics. After having seen accelerated growth over the last ten years, experimental pragmatics is now in a better position to resolve theoretical disputes, to advance beyond armchair theory-making and to make pragmatic theories more accessible to the cognitive science community at large. As part of an effort to provide a more permanent platform, a Research Network Program known as EURO-XPRAG supported by the ESF is now kicking off through a call for proposals that will support collaborative research by means of travel grants for short visits.

Deadline: September 15th, 2009. For more information, see http://www.euro-xprag.org/.

The june edition of the EGL newsletter "R&D in Europa" (dutch only) is available from the SenterNovem website, at http://www.senternovem.nl/egl/nieuwsbrief/.

Within the Seventh Research Framework Programme (FP7) 3 grants have been made available:

• Intra-European Fellowships for Career Development
• International Incoming Fellowships
• International Outgoing Fellowships for Career Development

These Marie Curie grants are intended for postdocs or researchers with at least 4 years of research experience together with a research group abroad which will be the host organisation.

Deadline: 18 August 2009. For more information, see
http://cordis.europa.eu/fp7/dc/ (Intra -European)
http://cordis.europa.eu/fp7/dc/ (International Outgoing)
http://cordis.europa.eu/fp7/dc/ (International Incoming)

The purpose of this investment subsidy is stimulating a balanced national investment policy and a balanced investment policy of research institutes.

This investment subsidy is meant for investments with financial contributions from NWO between 110,000 and 900,000 euro.

For more information, see http://www.nwo.nl/NWOhome.nsf/pages/NWOP_5K4ENS_Eng

Grant Update offers the latest information on grant applications and deadlines. It is published monthly by the grant advisory team of Bureau Kennistransfer UvA (Knowledge Transfer Office UvA), formerly known as the UvA Liaison Office. The grant advisory team offers support and expertise concerning procedures for applying for national and international grants.

The 7th issue of 2009 is now available from the ILLC website at http://www.illc.uva.nl/NewsandEvents/GrantUpdate/Grant_Update_2-07.pdf. For more information, see the website of the Bureau Kennistransfer at http://www.uva.nl/bureaukennistransfer/.

The Heineken Prizes are international prizes awarded biannually to five internationally renowned scientists and one highly talented Dutch visual artist for their great merits to science, Dutch art and society.

The deadline for nomination is 1 November 2009. The laureates will be announced in April 2010. For more information, see http://www.knaw.nl/heinekenprizes/

The aim of this subsidy is to strengthen the social sciences research infrastructure. The Divisional Board of the Division for Humanities wants to realise this objective by addressing medium-sized, research-driven, thematically organised and/or discipline wide infrastructural initiatives that promote the humanities in the Netherlands in general. Such large-scale projects with a broader scientific importance can only be realised if researchers match their research agendas with each other. The Start Subsidies actively support the setting up of such coordinated large-scale collaborations.

For more information, see http://www.nwo.nl/nwohome.nsf/pages/NWOA_4XHD5Z_Eng

The Humanities area of NWO will start a pilot of scientific theme programmes. So-called G-programmes focus on innovation of content. The research should have the potential to determine future research agenda's. Because this is a pilot only one proposal will be accpeted.

For more information, see http://www.nwo.nl/nwohome.nsf/pages/NWOA_7S6KJS

The february and april editions of the EGL newsletter "R&D in Europa" (dutch only) are available from the SenterNovem website, at http://www.senternovem.nl/egl/nieuwsbrief/.

Grant Update offers the latest information on grant applications and deadlines. It is published monthly by the grant advisory team of Bureau Kennistransfer UvA (Knowledge Transfer Office UvA), formerly known as the UvA Liaison Office. The grant advisory team offers support and expertise concerning procedures for applying for national and international grants.

The 6th issue of 2009 is now available from the ILLC website at http://www.illc.uva.nl/NewsandEvents/GrantUpdate/Grant_Update_2-06.pdf. For more information, see the website of the Bureau Kennistransfer at http://www.uva.nl/bureaukennistransfer/.

Grant Update offers the latest information on grant applications and deadlines. It is published monthly by the grant advisory team of Bureau Kennistransfer UvA (Knowledge Transfer Office UvA), formerly known as the UvA Liaison Office. The grant advisory team offers support and expertise concerning procedures for applying for national and international grants.

The 5th issue of 2009 is now available from the ILLC website at http://www.illc.uva.nl/NewsandEvents/GrantUpdate/Grant_Update_2-05.pdf. For more information, see the website of the Bureau Kennistransfer at http://www.uva.nl/bureaukennistransfer/.

The NWO programme ‘Brain & Cognition: an integrated approach’ is part of the larger National Initiative on Brain and Cognition. The programme is financed by the boards of three NWO divisions – Earth & Life Sciences, Humanities, and Behavioral & Social Sciences - as well as ZonMW, and has a budget of 7,5 M€.

The overall and most important aim of the programme is to promote research that uses an integrative approach. Within this framework, three specific goals are set:
- Stimulation of excellent research;
- Formation of (inter)national networks;
- Support for the scientific development of high potential junior investigators.

For more information, see http://www.nwo.nl/nwohome.nsf/pages/NWOA_7BBK4H

The Von Humboldt Stiftung (VHS) at Bonn every year offers two research prizes to Dutch senior researchers affiliated with a German research institute. NWO offers the same opportunity to two German senior researchers at Dutch research institutes.

For more information, see http://www.nwo.nl/subsidiewijzer.nsf/pages/NWOP_5GPHN9?Open

Grant Update offers the latest information on grant applications and deadlines. It is published monthly by the grant advisory team of Bureau Kennistransfer UvA (Knowledge Transfer Office UvA), formerly known as the UvA Liaison Office. The grant advisory team offers support and expertise concerning procedures for applying for national and international grants.

The 4th issue of 2009 is now available from the ILLC website at http://www.illc.uva.nl/NewsandEvents/GrantUpdate/Grant_Update_2-04.pdf. For more information, see the website of the Bureau Kennistransfer at http://www.uva.nl/bureaukennistransfer/.

Each year, ESF supports approximately 50 Exploratory Workshops across all scientific domains.

These small, interactive group sessions are aimed at opening up new directions in research to explore new fields with a potential impact on developments in science. The workshops, which usually last 1-3 days, have a wide participation from across Europe and involve mature scientists as well as young, independent researchers and scholars with leadership potential. The relatively small scale (in terms of people involved) provides an ideal platform for focus on the topic and for all participants to contribute to discussions and plan follow-up collaborative work. Interdisciplinary topics are greatly encouraged.

Proposal submission deadline: 30 April 2009. For more information, see http://www.esf.org/activities/exploratory-workshops.html

The French Dutch Academy seeks to promote and support collaboration between research institutions by offering grants for research exchanges.

For more information, see http://www.frnl.org/fr/ [In Dutch/French only].

Grant Update offers the latest information on grant applications and deadlines. It is published monthly by the grant advisory team of Bureau Kennistransfer UvA (Knowledge Transfer Office UvA), formerly known as the UvA Liaison Office. The grant advisory team offers support and expertise concerning procedures for applying for national and international grants.

The 3rd issue of 2009 is now available from the ILLC website at http://www.illc.uva.nl/NewsandEvents/GrantUpdate/Grant_Update_2-03.pdf. For more information, see the website of the Bureau Kennistransfer at http://www.uva.nl/bureaukennistransfer/.

On the 12th of May there will be a new edition of Science Park Amsterdam Nieuwe Ideeën Prijsvraag'. Students and employees based at the Science Park are asked for ideas that are new, innovating and applicable.

Deadline: 30 maart 2009, 18.00u. For more information [in Dutch only], see http://www.uva.nl/bureaukennistransfer/nieuweideeenprijsvraag.cfm.

The European Association for American Studies is pleased to announce the 2009 EAAS travel grants for postgraduate students in the Humanities and Social Sciences who are registered for a higher research degree at any European university. Two kinds of grants are available: the Transatlantic Grant and the Intra-European Grant. It is expected that four scholarships will be available this year. The maximum single award granted may amount to EUR 2,000.

For more information, see http://www.eaas.eu/travel_grants.htm

The Royal Netherlands Academy of Arts and Sciences (KNAW) has launched its Visiting Professors Programme in the Summer of 2008. The Visiting Professors Programme is an Academy initiative to allow excellent researchers working outside the Netherlands to spend some time in the Netherlands to contribute towards strengthening Dutch science.

Members of KNAW and of KNAW's The Young Academy, as well as researchers at all of KNAW's research institutes, are invited to submit nominations.

For more information, see http://www.knaw.nl/visitingprofessors/

The aim of the Rubicon programme is to encourage talented researchers at Dutch universities and research institutes run by KNAW and NWO to dedicate themselves to a career in postdoctoral research. Rubicon offers researchers who have completed their doctorates in the past year the chance to gain experience at a top research institution outside the Netherlands (maximum of two years).

The Rubicon programme also offers talented researchers from abroad the opportunity to obtain grants to spend one year conducting research in the Netherlands.

For more information, see http://www.nwo.nl/subsidiewijzer.nsf/pages/NWOP_6H2G7R_Eng

The overall and most important aim of the programme Brain & Cognition: an integrated approach is to promote research that uses an integrative approach. Within this framework, four specific goals are set:

• Stimulation of excellent research;
• Formation of (inter)national interdisciplinary networks;
• Interdisciplinary education of high-potential junior investigators;
• Contribution to new insights into neural substrates of human cognition.

The programme Brain and Cognition: an integrated approach is looking for innovative, risk-taking, out of the box and unusual crosslinks between disciplines. The present Call for Programmes for Excellence offers scientists the possibility to apply for a subsidy up to 500 k€. Proposals should be dedicated to integrative interdisciplinary research on brain and cognition and should contribute to new insights in the connection between human cognition and neural substrates.

For more information, see http://www.nwo.nl/nwohome.nsf/pages/NWOA_7NSJJD_Eng

Grant Update offers the latest information on grant applications and deadlines. It is published monthly by the grant advisory team of Bureau Kennistransfer UvA (Knowledge Transfer Office UvA), formerly known as the UvA Liaison Office. The grant advisory team offers support and expertise concerning procedures for applying for national and international grants.

The 1st and 2nd issue of 2009 are now available from the ILLC website at http://www.illc.uva.nl/NewsandEvents/GrantUpdate/Grant_Update_2-01.pdf and http://www.illc.uva.nl/NewsandEvents/GrantUpdate/Grant_Update_2-02.pdf. For more information, see the website of the Bureau Kennistransfer at http://www.uva.nl/bureaukennistransfer/.

With this grant instrument, the Humanities Divisional Board wants to facilitate the international cooperation between Dutch research groups and their foreign colleagues, stimulate the formation of international networks within the social sciences and encourage social sciences applications to international agencies.

Senior researchers at Dutch institutes for university education and research and/or researchers at institutes recognised by NWO can apply. Researchers not employed at an institute recognised by NWO, can submit an application in collaboration with senior university researchers. The application must be submitted by a Dutch research group that wants to work with at least two foreign research groups. A second Dutch research group may be involved in the project.

For more information, see http://www.nwo.nl/subsidiewijzer.nsf/pages/NWOA_6JVJDY_Eng?Opendocument

The International Foundation for Autonomous Agents and Multi-Agent Systems has established an award to recognize publications that have made influential and long-lasting contributions to the field. Candidates for this award are papers that have proved a key result, led to the development of a new subfield, demonstrated a significant new application or system, or simply presented a new way of thinking about a topic that has proved influential.

This award is presented annually at the AAMAS Conference, in this case AAMAS-09 in Budapest in May. Winning papers must have been published at least 10 years before the award presentation, therefore this year's eligible set comprises papers published in 1999 or earlier, in any recognized forum (journal, conference, workshop).

To nominate a publication for this award, please send the full reference plus a brief statement (150 words or fewer) about the significance of the paper to Michael Wellman (chair of the 2009 award cmte), wellman at umich.edu. Nominations are due by 4 February 2009. For more information, see http://www.conferences.hu/AAMAS2009/nominations.html#IFAAMAS

The Innovational Research Incentives Scheme will change in 2009: * higher grants
* no contribution from the institute
* no prior embedding
* also for professors.

Would you like to know how high the grant payments will be? Are you interested in what changes will take place in the procedures? Or are you curious about tips from successful applicants? Then make sure you attend one of NWO's morning or afternoon information meetings about the Innovational Research Incentives Scheme. There you will hear from successful applicants, coordinators and (ex) committee members about what is new, what to pay attention to when completing your grant application and which alternatives are available if your application is not successful. And in the speed date sessions of five minutes you can ask them all you ever wanted to know.

For more information, see http://www.nwo.nl/nwohome.nsf/pages/NWOA_7HYFHV_Eng

The Association for Symbolic Logic is seeking nominations for the Sacks Prize. The Sacks Prize is awarded for the most outstanding doctoral dissertation in mathematical logic; it was established to honor Professor Gerald Sacks of MIT and Harvard for his unique contribution to mathematical logic, particularly as adviser to a large number of excellent Ph.D. students. The Prize became an ASL Prize in 1999; the Fund on which the Prize is based is now administered by the ASL and the selection of the recipient is made by the ASL Committee on Prizes and Awards. The Sacks Prize consists of a cash award plus five years free membership in the ASL.

This is an international prize, with no restriction on the nationality of the candidate or the university where the doctorate is granted.

Deadline for nominations: 30 september 2009. For more information, see http://www.aslonline.org/Sacks_nominations.html

A postdoc position is available in the Multi-agent Systems Group in the Institute of Artificial Intelligence (ALICE) at the University of Groningen. The candidate will join the five-year Vici project "Cognitive systems in interaction: Logical and computational models of higher-order social cognition" of prof.dr. Rineke Verbrugge, comprising six researchers.

In the Vici project, we investigate children's development and adults' limitations in applying higher-order reasoning, using a close-knit combination of empirical research and formal modeling. Whereas first-order social cognition has been intensely investigated, higher-order social cognition is far less well-understood. This Vici project aims to apply improved understanding of higher-order social reasoning to design realistic logics, ready for implementation in systems supporting mixed human-computer teams.

Deadline for applications: January 15th, 2010. For more information, see http://loriweb.org/?p=2113 or http://www.rug.nl/bcn/news/jobs (vacancy number 209395), or contact prof.dr. Rineke Verbrugge at L.C.Verbrugge at rug.nl.

The Computer Science and Engineering group at the Department of Computer and System Sciences of Sapienza University of Rome invites young researchers holding a PhD in Computer Science and/or Engineering interested in applying for a faculty (tenured assistant professor) position at our School to contact the recruiting committee of our Department.

In order to compete for the position a formal application must also be submitted by January 3rd, 2010. Further information is available at http://www.dis.uniroma1.it/ or can be requested at RecruitingCSE at dis.uniroma1.it

The Estonian Ministry of Education and the Estonian Science Foundation will offer new research positions commencing in 2010 through its "Mobilitas" scheme. The purpose of the scheme is to develop and diversify Estonian research potential through scientific mobility and exchange of experience, and thereby to activate international exchange of knowledge, and support the development of careers of young researchers. Positions will be awarded on a competitive basis and will be full time for two or three years.

The Department of Philosophy of the University of Tartu welcomes expressions of interest from early career researchers (PhD awarded within the last 5 years, counting from March 2, 2010) interested in applying through our department's research project "Relativism and pluralism regarding truth and knowledge, norms and values". The project covers a wide variety of topics related to pluralism, relativism and contextualism in the areas of ethics, epistemology, philosophy of language, and logic, as these are discussed in contemporary analytic philosophy.

Expressions of interest must be received before 15 January 2010. For more information, see http://www.fl.ut.ee/687856 or contact Prof. Dr. Margit Sutrop at margit.sutrop at ut.ee.

Applications are invited from candidates with proven research ability in Mathematics, especially those with research interests in an area where the Department has current strengths, such as algorithms and discrete mathematics, financial mathematics, game theory and probability theory. Interest in applications of Mathematics or Computer Science to the Social Sciences is an asset.

You will maintain an active programme of research and will contribute to the general work of the department, including the teaching of a range of mathematics courses. You should have an established track-record of research at a level of international excellence as well as a completed, or nearly completed, PhD in a mathematical subject. Ideally, the post will commence on 1 September 2010.

The closing date for the receipt of applications is 18 January 2010 at 5.30pm. For more information, see http://www2.lse.ac.uk/maths/News/Lectureship.aspx.

A Full Professor position in the area of Theoretical Computer Science is available in the Department of Computer Science, School of Engineering, University of Erlangen-Nuremberg, Germany.

Applications must be received before 1 February 2010. For more information, see here or http://www.uni-erlangen.de/infocenter/jobs/professoren/Informatik.shtml.

The Department of Computing and Mathematics at Manchester Metropolitan University has a leading reputation for research excellence. In the 2008 Research Assessment Exercise, 75% of Computer Science Informatics research was judged to be at least "internationally recognised", and 35% was deemed to be at least "internationally excellent". As a result of this, the Department has secured significant research funding, and, with the support of the MMU Dalton Research Institute, we are able to offer four fully-funded* Ph.D. studentships in the following areas:

* Novel Computation
* Logic and Computation
* Intelligent Systems
* Optimisation by Quantum Annealing

For more information, see http://www.jobs.ac.uk/job/AAL008/

The Theory of Computation group at Cornell is seeking candidates for a post-doctoral position in the general area of the theory of computation. This fellowship is made possible by a generous gift from the Simons Foundation. The fellowship is a two year position, starting the summer or fall of 2010. The fellowship stipend is gauged to attract the highest caliber of applicants. Fellows will be assigned a faculty member close to their research interests from the group.

Candidates must receive their PhD during the academic year immediately preceding that in which the fellowship would begin. Applicants should submit a CV and research statement, and provide the names and contact information for three references who will be contacted electronically. Please send complete applications by January 30th, 2010 to Eva Tardos at eva at cs.cornell.edu. Please include the words "Simons Postdoctoral Fellowship" in the header.

The Theory of Computation (TOC) group at the Computer Science and Artificial Intelligence Laboratory (CSAIL) at MIT is seeking candidates for a post-doctoral position in the general area of the theory of computation. Applicants in /all areas/ of theory are encouraged to apply, including (but not exclusive to) algorithms, complexity theory, combinatorial optimization, cryptography, distributed computing, game theory and computation, geometry, parallel computing, and quantum computing. This fellowship is made possible by a generous gift from the Simons Foundation.

The fellowship is a two year position, starting the summer or fall of 2010. The fellowship stipend is gauged to attract the highest caliber of applicants. Generous funds for scientific travel will be available for use at the fellow's discretion. Fellows will be assigned a faculty member close to their research interests from the TOC group. Fellows will be encouraged (although not required) to teach a graduate seminar in their area of research.

Please submit complete applications by January 1st, 2010. For more information, see http://www.csail.mit.edu/node/1047

The Algorithms, Randomness and Complexity (ARC) Center at Georgia Tech is seeking a postdoctoral fellow to participate in research investigations. Candidates with a PhD in Computer Science, Mathematics, Operations Research or a related field are encouraged to apply. The selected candidate will have the opportunity to work on any aspect of algorithms and complexity, broadly interpreted, and collaborate with ARC faculty.

The position is for up to two years, with a start date between July 1 and September 1. There is no teaching requirement, but the postdoc is encouraged to lead a research seminar.

Interested candidates should send a CV, research statement, and request 3 letters of recommendation be sent to: arc-postdoc at cc.gatech.edu. Applications should be received by January 10, 2010. for full consideration.

Please contact Elizabeth Ndongi (ndongi at cc.gatech.edu) for any further information.

The Simons Foundation has awarded Carnegie Mellon a Postdoctoral Fellowship in Theoretical Computer Science for the two-year period Fall 2010 through Summer 2012. Applicants must have received a PhD in the academic year immediately preceding the fellowship (i.e. 2009-2010). Postdoctoral Fellows will have opportunity to work with all members of the Algorithms and Complexity group at CMU. In addition to salary, fellows will receive a $7,000/year travel/equipment research budget.

Applications (CV and research statement) as well as recommendation letters should be sent to Marilyn Walgora at mwalgora at cs.cmu.edu. Please include the words "Simons Postdoctoral Fellowship" in the header. For full consideration, applications should be received by February 28, 2010.

An Associate Professor position in the area of Algorithms and Data Structures is available in the Department of Computer Science, Aarhus University, Denmark starting August 2010. The position will be affiliated with Center for Massive Data Algorithms (MADALGO)

All applications must be made online and received by March 1st, 2010. For more information, see http://www.madalgo.au.dk/html_sider/2_4_Jobs/2_4_Positions.html or contact Professor Lars Arge at large at madalgo.au.dk

Within the ERC-funded project "The Parameterized Complexity of Reasoning Problems" lead by Prof. Stefan Szeider applications are invited for two postdoctoral positions in computer science. The aim of the project is to study computational reasoning problems in the framework of parameterized complexity theory. The positions are for the duration of two years with the possibility to extend. The earliest starting date is January 2010.

The candidates should have a PhD degree in Computer Science or related area; research experience at postdoctoral level is of advantage. The review of applicants will begin immediately and continue until the positions are filled. Applications received by 19 December 2009 will receive full consideration.

Further details on the requirements and information on how to apply can be found at http://www.kr.tuwien.ac.at/drm/jobs.

The Max Planck Institute for Informatics seeks several Postdocs for the Algorithms and Complexity Department directed by Kurt Mehlhorn. We are looking for applicants from all areas of algorithmics, including related areas like computer algebra, complexity theory and discrete mathematics. We are also explicitly looking for people interested in algorithm engineering and the design and implementation of algorithm libraries.

The institute is also seeking Ph.D students for the same group, to carry out theoretical work in the areas of algorithmic game theory, online algorithms, and approximation algorithms.

Applications must be sent by email in PDF format to Christina Fries at chfries at mpi-inf.mpg.de (PostDoc position) or Rob van Stee at vanstee at mpi-inf.mpg.de (PhD position), by January 31, 2010. For further information, also on other offers, please refer to http://www.mpi-inf.mpg.de/departments/ag1/offers.html

North Side Inc. is developing software to support conversation in unrestricted English between people and machines. Initially we will focus on developing Bot Colony - a game featuring English-based dialog between the player and the characters. We are developing a full NLP pipeline, with reasoning as its central component.

We are looking for a researcher and software developer with a background in AI and reasoning to join our team in our Montreal facility. A Ph.D. in AI or areas related to reasoning is desirable. A background developing a First Order Predicate Logic reasoner coupled with a good understanding of temporal logic, modal logic, deontics, reasoning on large knowledge-bases would be ideal.

Application Deadline: Open until filled.
For more information, see http://www.northsideinc.com or contact Eugene Joseph at eugene at northsideinc.com. For more information on BotColony, see See www.botcolony.com and YouTube Bot Colony videos.

The Computing Laboratory has several competitive scholarships available for full-time doctoral (D.Phil.) study to commence in October 2010. The scholarships typically include full or partial support towards college and university fees, as well as maintenance. Several types of scholarships are available, include EPSRC Doctoral Training Awards (DTA), Clarendon scholarships and departmental awards.

Scholarship applications must be received by 22 January 2010 at the latest to be considered for 2010 start. To be considered for a scholarship, candidates must have been accepted for doctoral study at Oxford. For more details and application details see http://www.comlab.ox.ac.uk/news/140-full.html. or email graduate.admissions at comlab.ox.ac.uk.

Q-go provides interactive, online applications based on natural search technology. The company was founded in 1999 and has grown to become a leading European supplier of Natural Language Search solutions.

We are currently looking for a computational linguist to complete our Professional Services team. You will be responsible for the implementation, maintenance and management of our customers projects. Furthermore you will improve Q-gos natural language resources (grammars, dictionaries...) and participate in internal projects for further improvement of our core technology.

The ideal candidate would have a (near)native knowledge of at least 2 of the following languages, Dutch, English, French, Italian and Spanish, aminimum of a Bachelor in Computational Linguistics, Linguistics or related field and experience with NLP systems or computational grammars.

For more information, see http://linguistlist.org/jobs/get-jobs.cfm?JobID=70381&SubID=236141 or contact us directly at jobs at q-go.com. Position open until filled.

Anita Borg (1949-2003) devoted her adult life to revolutionising the way we think about technology and dismantling barriers that keep women and minorities from entering computing and technology fields. Her combination of technical expertise and fearless vision continues to inspire and motivate countless women to become active participants and leaders in creating technology.

As part of Google's ongoing commitment to furthering Anita's vision, we are pleased to announce The Google Anita Borg Memorial Scholarship: Europe, the Middle East and Africa. Through the scholarship, we aim to encourage women to excel in computing and technology, and become active role models and leaders.

Applicants should complete the online application and submit all requested documents by 1st February 2010. For more information, see http://www.google.com/anitaborg-emea/ or e-mail anitaborgscholars-emea at google.com, including 'Anita Borg Question' in the subject field of your email.

Applications are invited for one PhD position and one postdoctoral position within the theory section at the Department of Computing, Imperial College London. Both positions are available for three years and funded by the EPSRC within the project "Cool: Coalgebras, Ontologies and Logic", starting March 1, 2010 or as soon as possible thereafter. The goal of the project is to investigate both foundations and applications of knowledge representation using coalgebraic logics.

For details please see http://www.doc.ic.ac.uk/~dirk/COOL/ or email Dirk Pattinson (dirk at doc.ic.ac.uk) for informal enquiries.

The Department of Computer Science at the University of Liverpool
invites applications for a full Professorship to be attached to the newly established Economics & Computation Research Group.

Job Ref: A-570583. Closing date for applications: 8 January 2010. For more information, see http://www.csc.liv.ac.uk/department/vacancies/profvacnov09.html or contact Professor Paul W. Goldberg at P.W.Goldberg at liverpool.ac.uk.

A position as associate professor in the area of Computational complexity theory is available at the Department of Computer Science (www.cs.au.dk), starting January 1, 2010.

The Department conducts research and teaching in theoretical as well as experimental computer science. The staff is close to 200 people, including 30 full or associate professors, and 60 PhD students. The number of students is approximately 600. Applicants must document a strong record of original research and have teaching experience at both the undergraduate and graduate level.

For more information about the job vacancy, see http://science.au.dk/stillinger-og-stipendier/videnskabelige-stillinger/. Application date: 20/11/2009

Applications are invited for a Departmental Lecturership in Philosophy, in association with a Non-Stipendiary Lecturership in Philosophy at New College, for the period 1 October 2010 to 30 September 2012. The post is a temporary replacement for Professor Timothy Williamson who has been awarded a Leverhulme Major Research Fellowship and who will be on special research leave during this period.

The areas of research specialization for this post are as follows: epistemology, metaphysics, philosophical logic, and philosophy of language. The successful candidate must be able to teach one or more of these areas at graduate level.

For more information, see http://www.philosophy.ox.ac.uk/vacancies/ or contact the Assistant Administrator at catriona.hopton at philosophy.ox.ac.uk. The deadline for receipt of applications is 12noon on Monday 7 December 2009.

There will be a EU funded PhD position in mathematical logic in Prague, to start in October 2010. The funding will be through the EU network "Mathematical Logic and Applications" (MALOA). The position is intended for students interested in logic&complexity, proof complexity in particular.

Deadline for applications is 31 January 2010. More information is available at: http://www.karlin.mff.cuni.cz/~krajicek/maloa.html. Or contact Jan Krajicek at krajicek at karlin.mff.cuni.cz.

Bergen University College, Faculty of Engineering, has 1-3 open positions for PhD students/research fellows (3-4 years) and 1-2 open positions for postdoctoral researchers (2-3 years) in computer science/informatics, as a part of the research project Formal Modelling and Verification of Grid Systems (FORMGRID), funded by the Research Council of Norway.

Topics: formal methods for multi-agent systems (logic, category theory, grid computing).

Deadline: 28 November 2009. For more information, see http://hib.easycruit.com/vacancy/347903/41311 (for the PhD student positions) or http://hib.easycruit.com/vacancy/348002/41311 (for the postdoc positions), or contact Associate professor Thomas Ågotnes at tag at hib.no.

The Declarative Languages and Artificial Intelligence Group at the Catholic University of Leuven is urgently looking for doctoral and postdoctoral research candidates in the area of Constraint Programming.

For more information, see http://www.cs.kuleuven.be/~toms/MCP/ or here.

A position as Professor of Philosophy has been announced at Umeå University. Deadline for application is December 18, 2009.

For more information, see http://www8.umu.se/umu/aktuellt/arkiv/lediga_tjanster/311-991-09.html#eng

KTH is Sweden's largest technological university. Its Division of Philosophy (around 30 employees including PhD students) conducts research and education in areas such as ethics, philosophy of risk, decision theory, logic, and philosophy of science. We now have an open position as associate professor (senior lecturer) in analytic philosophy. This is a permanent, tenured position. The primary emphasis is on subject areas that are of particular interest to KTH as a technological university, which includes ethics, decision theory, epistemology, logic, and the philosophy of science and technology.

The application should be sent so that it arrives at KTH no later than November 30. For more information, see http://www.kth.se/polopoly_fs/ or contact Sven Ove Hansson at soh at kth.se.

The Penn State Mathematics Department is seeking to fill openings for S. Chowla Research Assistant Professors. Successful candidates will be new or recent Ph.D.s with exceptional research potential and a commitment to excellence in teaching. These non-tenure-track appointments are for three years. The Department may in addition make other postdoctoral appointments for two or three year terms. Applicants for the Chowla position will automatically be considered for these positions. Initial offers will be made in January 2010.

The Department also is seeking to fill two or more tenure and tenure track faculty positions; dependent on the qualifications and experience of the appointee, these may be at the assistant, associate or full professor level. Areas of emphasis for hiring are Dynamical Systems and its applications; Geometry, including algebraic geometry; Logic and Foundations. A Ph.D. degree or its equivalent is required. Review of applications will begin November 23, 2009 and will continue until positions are filled.

For more information, see http://www.math.psu.edu/hiring/

The Business Analytics and Mathematical Sciences Department of the IBM Thomas J. Watson Research Center invites applications for its 2010-2011 Herman Goldstine Memorial Postdoctoral Fellowship for research in mathematical and computer sciences. Areas of active research in the department include: algorithms, data mining, dynamical systems and differential equations, high-performance computing, numerical analysis, optimization, probability theory, statistics, and supply-chain and operations management.

Candidates must have received a Ph.D. or receive one between September 2005 and August 2010. One fellowship will be awarded with a stipend between $95,000 and $115,000 (depending on area and experience).

Applications must be received between October 26, 2009 and January 6, 2010. Complete details are available at http://www.research.ibm.com/math/goldstine.html.

Caltech's Center for the Mathematics of Information (CMI) announces openings in the CMI Postdoctoral Fellowship Program, starting in fall 2010. The CMI is dedicated to fundamental mathematical research with an eye to the roles of information and computation throughout science and engineering. Areas of interest include algorithms, complexity, algorithmic game theory, applied combinatorics, applied probability, statistics, machine learning, information and coding theory, control, optimization, networked systems, geometry processing, multiresolution methods, and molecular programming.

Please apply and have three reference letters sent directly as instructed at http://www.ist.caltech.edu/joinus/positions.html. All candidate materials are due by Friday, December 18, 2009 and reference letters are due by Monday, December 21, 2009.

The European Post-Doctoral Institute for the Mathematical Sciences has an open call for applications for EPDI Fellowships for 2010-2012. Each year, 7 European laureates and 1 Japanese fellow are selected by an International Jury on the basis of excellency. Deadline for applications: November 29, 2009.

For more information, see http://www.crm.cat/CALLS/EPDIposter2009.pdf and http://www.ihes.fr/jsp/site/Portal.jsp?page_id=36

Based within the School of Computing, Mathematical and Information Sciences, you will join the school's Visual Modelling Group which is internationally renowned in the visual languages research community. Diagrammatic reasoning was noted as a particular strength in the school's RAE 2008 Computer Science and Informatics results, with 65% of the submitted research outputs being graded as 3* (Internationally Excellent) or 4* (World Leading). Working on the EPSRC funded project Defining Regular Languages with Diagrams, you will develop a diagrammatic logic that can be used to define regular languages, including its formalization and devising inference rules. The post is fixed-term for 12 months as funding is limited to this period.

Closing date: 10 November 2009 For more information, see http://www.jobs.ac.uk/job/AAD838/ or contact Dr Gem Stapleton, Senior Research Fellow at g.e.stapleton at brighton.ac.uk (please quote reference number MM4037).

The University of Newcastle, Australia, invites expressions of interest for Postdoctoral Research Fellowships in the area of theory and algorithms for optimization of integrated supply chains, starting early in 2010, or as soon as possible subject to applicant availability. Fellowships are available for 1 or 2 years, with possible 1-year extensions. The postdoctoral fellows will join a research team of several faculty, research fellows and PhD students working on this project, under the supervision of Professor Natashia Boland.

This project will investigate the optimization of key planning activities in the export coal supply chain, and seek to develop effective algorithms for their solution. The successful applicant will hold a PhD in operations research, engineering, mathematics, computer science, or related discipline. Strong optimization and computer programming skills are essential. A knowledge of constraint programming and/or artificial intelligence techniques would be an asset.

Expressions of interest are preferred before November 2, 2009, however later interest will be considered until all positions are filled. For more information, see here, or contact Megan Stephenson at Megan.Stephenson at newcastle.edu.au.

The Algorithms and Logic Section (AlgoLog) at DTU Informatics, Technical University of Denmark, encourages applications for PhD scholarships starting in spring 2010.

For more information on AlgoLog and the PhD scholarships, see http://www.imm.dtu.dk/English/Research/Algorithms_and_Logic.aspx and http://www.dtu.dk/English/About_DTU/. Applications must be received by October 14, 2009.

The Zukunftskolleg is a central scientific institution of the University of Konstanz for the promotion of young scientists in the natural sciences, humanities and social sciences. It forms a platform for interdisciplinary discourse between distinguished researchers in Germany and abroad, and provides young scientists with resources for obtaining third-party funding.

The Zukunftskolleg is offering 5 Research Positions (Salary Scale 14 TV-L) for the development and implementation of individual research projects / research groups. Each position can, in principle, be divided into two half-time positions. The initial appointments will commence on April 1, 2010 and end on September 30, 2011. An extension of the work contract for an additional 3.5 years will be financed by the Zukunftskolleg, provided that substantial external third-party funding for a research project has been granted.

The prerequisites for acceptance are a doctoral degree and outstanding scientific qualification as documented by research activities and publications. The ideal candidate has just finished her/his dissertation or has acquired initial work experience as a postdoctoral researcher. International experience in teaching or research and a strong interest in interdisciplinary topics are desirable.

Application deadline: November 30, 2009. Fellows will be selected on the basis of their project outlines and a two-day workshop to be held on February 22-23, 2010 at the University of Konstanz. For more information, see http://www.uni-konstanz.de/news/index.php?cont=stellausw&seite=2009/.

The University of Maryland is looking for an Assistant or Associate Professor (tenure track). Junior candidates are preferrred, but outstanding applicants at the Associate level will also be considered. AOS: formal epistemology or related areas of philosophical logic, decision theory, or game theory. AOC: the ability to teach logic or traditional epistemology at the graduate level would be an advantage.

Applications will be considered until the position is filled, but for best consideration all materials should arrive by November 23, 2009. For more information, see here or http://philosophy.umd.edu/.

The University of Haway has a NSF-funded non-tenurable Postdoctoral Fellow position available for six months (January 1 - June 30, 2010) or nine months (August 1, 2010 - May 31, 2011), to conduct mathematical research in computability theory. The research will focus on common interests of the fellow and the principal investigator within computability, probability, and randomness. The postdoctoral fellow should be willing to contribute to the supervision of the undergraduate researchers, whose work may involve mathematical computer software.

Closing Date: Continuous - application review begins October 15, 2009 For more information, see http://www.pers.hawaii.edu/wuh/.

The Tilburg Center for Logic and Philosophy of Science (TiLPS) invites candidates for three- to nine-months visiting fellowships in the academic year 2010/11 intended for advanced Ph.D. students or faculty. Candidates should work in one of the areas the Center covers and have a commitment to interdisciplinary and collaborative work.

The deadline for applications is December 15, 2009. For more information, see http://www.tilburguniversity.nl/faculties/humanities/tilps/jobs/

Doctoral degree holders can apply for postdoctoral stays at the CRM, provided that their doctorate has been awarded no earlier than 5 years before the application date. A certificate of doctoral award must be presented before the starting date of the stay. Applicants must have a written acceptance by a host research group, stating their conformity with the research plan of the applicant and their willingness to host him or her as a participant in the activities of the group during his or her stay at the CRM. A member of the host research group will act as responsible for liaison with the applicant and follow-up.

The normal duration of a postdoctoral grant is one year, although shorter stays are also possible with lower priority, and extensions for a second period may be negotiated. The gross salary will amount to 24,480 euros per year. Successful applicants will be provided with office space and working facilities at the Centre, as well as house-finding assistance if necessary. They are expected to start their stay at the CRM in September 2010 under normal circumstances. Delayed arrivals are acceptable under request, provided that the starting date of the stay does not surpass February 2011.

Applications can be submitted before October 31, 2009. For more information, see http://www.crm.es/CALLS/postdoctoral_grants_guidelines.htm

The University of Aberdeen is recruiting to two three year research fellow positions in connection with the new RCUK-funded digital research hub, in the areas of Computational Models of Argumentation and Natural Language Generation, respectively.

Applications must be received before 30 September or 7 October 2009, respectively. For more information, see http://www.abdn.ac.uk/jobs/display.php?recordid=RDH006R and http://www.abdn.ac.uk/jobs/display.php?recordid=RDH007R.

Applications are invited for the post of Research Assistant to join the Interactions on the Move project at the UCL Interaction Centre. The RA will be responsible for the running of experiments aimed at investigating how people perform multiple ongoing tasks while driving. Candidates should have a degree in Psychology (or equivalent subject) and have experience of running controlled experiments with human subjects. Effective working knowledge of statistical data analysis tools is essential (preferably R). Working knowledge of JAVA is desirable. This post is flexible in terms of working hours. It can be either a full-time position for one year starting November 2009, or a half-time position for two years.

Closing date for applications is 1st October 2009. For more information, see http://bit.ly/1gYFO9 or contact Duncan Brumby at d.brumby at cs.ucl.ac.uk.

The University of Aberdeen is currently advertising for a lecturer/senior lecturer in Computing Science. The research interests of the applicant should enhance and complement our existing activities in Intelligent Systems: Knowledge Technologies, Intelligent Agents, Natural Language Generation, and Computational Analysis and Modelling. The successful candidate will be expected to work with colleagues in one or more of these research themes, but also to have the ambition to develop new areas of strength for the Department.

Applications must be received before 19 October 2009. For more information, see: http://www.abdn.ac.uk/jobs/display.php?recordid=COM003AX

The Oxford University Computing Laboratory is looking to recruit two Grade 7 Postdoctoral Research Assistants to work on the EPSRC-funded project "Automated Verification of Probabilistic Programs", under the direction of Joel Ouaknine, Andrzej Murawski, and James Worrell.

Applicants should have (or shortly expect to receive) a PhD in Computer Science or a closely related field, and either strong programming skills, some experience of tool construction, and basic knowledge of program analysis, or a strong background in theoretical computer science or mathematics and exposure to topics in system or program verification.

Further particulars, including details of how to apply, are available from: http://www.comlab.ox.ac.uk/news/122-full.html or by email request to: job1 at comlab.ox.ac.uk. The closing date for applications is Sunday 20th September 2009.

Within the Software Technology group of the Information and Computing Sciences department of Utrecht University there is a vacancy for a 4-year PhD student to work on the efficient implementation of functional languages.

For efficient implementation of functional languages, graph-based term representations are used in which identical subterms can be (but not always are) shared. The question arises whether graph-representations and their reductions that are optimal in a theoretical sense can also be practical from an implementer's point of view. The overall-goal of this project is to answer this question in a back-and-forth communication between theoretical concepts and practical realizations. Project leaders are Prof.dr. Doaitse Swierstra and dr. Vincent van Oostrom.

Application deadline: Sept 31, 2009. For more information, see http://www.cs.uu.nl/wiki/bin/view/Center/OptimalSharing or here, or contact Doaitse Swierstra at doaitse at cs.uu.nl. Note vacancy nr 62910 in communications.

At the Institute for Culture and Identity, Roskilde University, a full professorship in philosophy with special emphasis on epistemology, philosophy of technology, and philosophy of science together with applications of formal methods in some of these areas is vacant. The position is connected to the Research Group in Science Studies. The position starts on 1 February 2010 or soon thereafter.

In order to be considered for the position, the applicant must demonstrate an original and internationally recognized scientific production in epistemology, philosophy of science, Philosophy of technology, or formal logic. The applicant must document pedagogical skills and competence at a high level. Since the professor is expected to actively partake in the institute's international research and publication activity the applicant must in addition document considerable experience with research management and editorial work.

Please send your application marked 62.01/04 together with appendices in triplicate to Rector at Roskilde University. Closing date: Monday 9 November 2009 at 12:00 noon. More information about the position may be obtained from http://www.ruc.dk/ruc_en/about/Positions/620104/ or by contacting Professor Stig Andur Pedersen, phone 4674 2265.

There is a PhD position available at the Donders Institute for Brain, Cognition and Behaviour for the project "The meaning of movements: A computational model of nonverbal communication", funded by a DCC-PhD grant.

As a PhD student in this project you will study the cognitive computational bases of human non-verbal communication. You will test the computational necessity and sufficiency of several basic cognitive abilities for effective human communication. You will formalize these abilities in a computer program that engages humans in an open-ended (nonverbal and non-linguistic) communicative game.
The project has both scientific and technological aims.

For more information, see http://www.ru.nl/vacaturedetails?recid=496347

1 Postdoc position is available in the research group "Theoretical Computer Science and Logic" at the Institute for Computer Science and Applied Mathematics of Bern University. The position is available from October 1, 2009 for a period of two years, after which time an extension may be possible.

This position is within a research project about proof theory focussing on reflections and (non-)monotone inductive definitions, operational set theory, and feasible and subrecursive proof and type systems. An excellent background in logic and previous working experience in proof theory are required.

Interested candidates should send an application letter and a detailed CV (including a list of courses completed and marks received) to G. Jaeger (email: jaeger at iam.unibe.ch, phone: +41 31 631 85 60, fax: +41 31 631 32 60). See http://www.iam.unibe.ch/~til/ for further information about the research group.