You are cordially invited to the ILLC Open House in Felix Meritis on 19 december 2008 from 12.00 until 19.00hrs.

The purpose of this event, organized by the the Institute for Logic, Language and Computation (ILLC) of the University of Amsterdam, is fourfold:
- an afternoon in which the ILLC presents itself to the outer world
- the traditional annual ILLC Alumni Event
- changing of ILLC director and
- Christmas drinks

In between lectures there will be cultural and musical performances by ILLC members.

The full programme can be found on http://www.illc.uva.nl/NewsandEvents/OpenHouse. To register or for more information, please contact illc at uva.nl.

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

Wat is gewoon en wat is bijzonder aan muzikaliteit? Is het herkennen van ingewikkelde melodieën bijzonder, en het meeklappen op de maat van de muziek gewoon? Het zou wel eens precies andersom kunnen zijn.

Elke derde dinsdag van de maand vindt in Paard van Troje het NWO-Spinozadebat plaats. Op 16 december verkent Henkjan Honing, universitair hoofddocent muziekcognitie, een aantal visies op het ontstaan van muziek en de actieve rol van luisteraar daarin. Van het ritmegevoel van pasgeboren baby's tot een op muziek dansende kaketoe en van het maatgevoel van kleuters tot de onvermoede muzikale expertise van gewone luisteraars.

Voor meer informatie, zie http://www.nwo.nl/nwohome.nsf/pages/NWOA_7JRDJE

Elke derde dinsdag van de maand vindt in Paard van Troje het NWO-Spinozadebat plaats. Op deze avonden komt de absolute wetenschappelijke top van Nederland naar het Haagse poppodium om de fascinerende kanten van hun vakgebied uit te leggen. En dan niet met behulp van ellenlange formules, grafieken en tabellen maar in begrijpelijke taal.

Of de avond interessant wordt hangt van het publiek af. Het is namelijk aan de bezoekers om te komen met prangende vragen die de aanzet zijn voor verdere discussie. Geen voorgekookt programma dus maar interactie met het publiek. Teleac registreert het debat en zendt het via internet en televisie uit.

Op 16 december 2008 komt het volgende onderwerp aan bod: Dit is Muziek door Henkjan Honing (ILLC / UvA).

Voor meer informatie, zie http://www.nwo.nl/nwohome.nsf/pages/NWOA_7JRD72

The relevant paper can be downloaded from http://www.illc.uva.nl/Publications/ResearchReports/PP-2008-44.text.pdf. For more information on this talk and future events please refer to the website at http://www.illc.uva.nl/logic_tea/ or contact Edgar Andrade (E.J.AndradeLotero at uva.nl), Lorenz Demey (lorenzdemey at hotmail.com), or Yurii Khomskii (Y.D.Khomskii at uva.nl).

While it is clear that there are a lot of regularities in the world, whether these can be handled by formal, symbolic processes is a question that is being widely debated today. In this work, we present computational evidence for the process by which symbols may arise from perceptual input (2D and 3D videos). Based on cognitive psychology models of pre-linguistic "perceptual schemas", we use unsupervised clustering on an intuitive feature space for object shapes, relative positions, and actions, we show how concepts corresponding to nouns, prepositions and verbs can be acquired. Finally, we show how these "prior" schemas can now be associated with linguistic commentary to pick out the words that best correspond to the concepts in the target language. These associations, with a semantic pole (the grounded perceptual schema) linked to a phonological pole (the word learned) constitute our elementary symbols. One of the primary differences with formal models of semantics is that the meaning associations for these symbols are plastic, and can be altered by subsequent experience. Issues regarding the composition of symbols indicate a preference for frequently occurring data, which is also typical of linguistic usage.

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

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

De ontwikkelingen binnen de disciplines Astronomie, Informatica en Wiskunde lijken vaak parallel te verlopen. In de praktijk versterken ze elkaar tot op grote hoogte. NWO Exacte Wetenschappen nodigt u uit om tijdens het congres Parallelle Werelden op maandag 8 december 2008 in het Muziekgebouw aan 't IJ deze werelden te bezoeken.

Parallelle Werelden wordt een unieke dag die u niet mag missen. Dit evenement is de plek om u te inspireren en te komen tot verrassende ontmoetingen met andere disciplines. Beleef op een bijzondere wijze de succesverhalen, de huidige ontwikkelingen en de plannen die binnen het NWO-gebied op stapel staan. Maak kennis met topwetenschappers uit de verschillende disciplines, de samenwerkingspartners en geïnteresseerden van overheid en bedrijfsleven en de medewerkers van het EW-bureau.

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

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

As part of the program of the ESF Eurocores LogICCC program "Logic for Interaction - LINT", a workshop is organized at ILLC in Amsterdam December 4-6, 2008.

The program starts December 4 after lunch and ends December 6 lunch time. The workshop will have four tutorials. They will be given by Samson Abramsky on Game Semantics, Dietmar Berwanger on Imperfect Information Games, Denis Bonnay on Logic Constants and Jouko Väänänen on Dependence Logic. In addition there will be presentations by Fredrik Engström, Pietro Galliani, Juha Kontinen, Allen Mann, Bernd Puchala, and Nikos Tzevelekos. An Opening Talk on Logic for Interaction will be given by Johan van Benthem.

The organizer of the workshop is Jouko Väänänen.
Lecture halls are Thursday P015A, Friday P018, and Saturday P327.

For more information, see http://www.illc.uva.nl/lint/workshop2008.php

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 abstracts and more information, see http://ilps.science.uva.nl/ilps-seminar-2008-2#Nov28 .

For more information, see http://www.medewerker.uva.nl/feb_nieuws/agenda.cfm/.

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

Abstract:
There are many ways in which a problem can be hard or easy. In this talk I will focus on one such meaning: a problem is hard if solving it requires an excessive amount of time. NP-complete - or otherwise NP-hard - problems are traditionally considered to be hard in this sense. This notion of hardness has been playing an important role in debates in cognitive science over the last decades, among them debates on the modularity of mind and the heuristic nature of human rationality. In these debates often claims have been made (explicitly or implicitly) about what it is that makes a given problem hard. Reasons that are commonly listed include the following: (1) optimization is hard, (2) solving a problem exactly is hard, (3) problems with large search spaces are hard. On the other hand, there are also claims about what characterizes easy problems, including: (4) satisficing is relatively easy, (5) heuristics are relatively easy, and (6) approximation is relatively easy. In this talk I discuss the misleading nature of these claims. Drawing on insights from complexity theory, I propose an alternative way of addressing the question "What makes a problem hard (or easy)?", one that recognizes that the hardness or easiness of a problem often depends on a complex interplay of a problem's parameters.

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

The "Moscow-Utrecht meeting" will cover a variety of topics in theoretical and applied logic. Speakers: Adian, De Jongh, Van Oostrom, Vaporis, Plisko, Shapirovsky, Beklemishev, Van Oosten, Broersen, Shatrov, Shehtman.

The first edition has been held in Steklov Mathematical Institute, Moscow (May 5-8, 2008). For more information, see http://people.cs.uu.nl/paolo/LMRC/

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.ru.nl/~landsman/PP.html

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

For abstracts and more information, see http://www.hum.uva.nl/aclc/object.cfm/

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

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

The academic conference on Logic and Cognition is an annual meeting since the year 2001. It is a continuous effort to share insights on the interaction between different logics and cognition. The 7th international conference on Logic and Cognition sponsored by the Institute of Logic and Cognition (ILC) and the Institute of Logic, Language and Computation (ILLC) aims to bring together researchers from philosophy, psychology, and linguistics to discuss the issues of common interest, and to serve as a platform for future research. For more information, please check: http://logic.sysu.edu.cn/logic/iclc2008/

For more information, please check: http://logic.sysu.edu.cn/logic/iclc2008/Index.asp or contact Minghui Xiong (hssxmh at mail.sysu.edu.cn) or Fenrong Liu (fenrong at mail.tsinghua.edu.cn).

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

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

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/

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

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

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

For abstracts and more information, see http://www.math.ru.nl/~landsman/PP.html

This conference brings together scholars and historians of the various humanities disciplines to draw the outlines for a comparative history of the humanities. An edited book is planned, with the provisional title "Another History of Science: The Making of the Humanities".

Organizers: Rens Bod, Jaap Maat and Thijs Weststeijn. For more information, see http://www.illc.uva.nl/MakingHumanities/

I will present several algorithms for assigning heads in phrase structure trees, based on different linguistic intuitions on the role of heads in natural language syntax. The starting point of the approach is the observation that a head-annotated treebank defines a unique lexicalized tree substitution grammar. This allows us to go back and forth between the two representations, and define objective functions for the unsupervised learning of head assignments in terms of features of the implicit lexicalized tree grammars. We evaluate algorithms based on the match with gold standard head-annotations, and the comparative parsing accuracy of the lexicalized grammars they give rise to.

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)

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

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

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

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

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

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

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

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

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

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.
This edition of the NAPdag will be somewhat special: 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 before September 15th.

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

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

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

For more information, see here or http://www.cs.sfu.ca/~hunter/personal/research.html, or contact Ulle Endriss <ulle.endriss at uva.nl>.

A one-hour biographical documentary, "Julia Robinson and Hilbert's Tenth Problem" (directed by George Paul Csicsery) tells the story of an important American mathematician against a background of mathematical ideas. It features interviews with many famous logicians such as Martin Davis, Hilary Putnam, Solomon Feferman, or Dana Scott.

The movie is shown as part of the course "Core Logic".

For more information about the movie, see http://www.zalafilms.com/films/juliarobinson.html. For practical information contact Benedikt Löwe or Sara Uckelman.

The Mifare Classic chipcard has been dismantled. Between 1 and 2 billion copies have been sold worldwide. The card is mainly used for access to buildings and for public transport. The talk will give an overview of these developments and of the role of the Digital Security Group of the Radboud University Nijmegen. (This public lecture is part of the NIAS-Lorentz workshop Logic and information security, to be held from 22 to 26 Sept at the Lorentz Center in Leiden. The public lecture is open to all, and registration for this lecture is NOT required. Registration for the workshop is obligatory.

For more information, see http://www.lorentzcenter.nl/lc/web/2008/302/info.php3?wsid=302

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

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 abstracts and more information, see http://ilps.science.uva.nl/ilps-seminar-2008-2#Sep19 .

This talk presents one of the main ideas proposed in Floris Roelofsen's dissertation, which will be defended on the 9th of October. Anyone interested is invited to attend the defense.

For more information and abstracts, see http://www.illc.uva.nl/LaCo/CLS/ or http://student.science.uva.nl/~froelofs/defense/.

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

For more information, contact Yde Venema: Y.Venema at uva.nl

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

Motto: 'My philosophical endeavor is directed to help create the conditions for a rational reflection on the most diverse domains of human activity' (E. W. Beth)

Evert Willem Beth (1908-1964) was the founding father of scientific philosophy in the Netherlands, as well as the founder of institutionalized logic in Amsterdam. In celebration of the centenary of his birth, the E. W. Beth Foundation in Amsterdam organizes a Symposium on Beth's Life and Influence.

For more information, see here or contact Ms. Pauline Mol at pauline.mol at bureau.knaw.nl or Prof. Henk Visser at h.visser at micc.unimaas.nl

The Logic Tea homepage can be found at http://www.illc.uva.nl/logic_tea/. For more information, please contact Joel Uckelmann (juckelma at science.uva.nl) or Edgar Andrade (E.J.AndradeLotero at uva.nl).

Evert Willem Beth (1908-1964) was the founding father of scientific philosophy in the Netherlands, as well as the founder of institutionalized logic in Amsterdam.

In celebration of the centenary of his birth, the E.W. Beth Centenary Conference will focus on Beth's contributions to logic, philosophy of mathematics, philosophy of science, history of logic and scientific philosophy, in relation to contemporary ideas.

The scientific conference is devoted to four subjects, divided over four sessions:
* Foundations and philosophy of mathematics
* Philosophy and history of science
* Pure and applied logic
* Scientific philosophy

For more information, see here or contact Ms. Pauline Mol at pauline.mol at bureau.knaw.nl or Prof. Henk Visser at h.visser at micc.unimaas.nl

This workshop addresses foundational aspects of semantics within a broadly biolinguistic approach to language, where explanatory accounts to the semantic component of the language faculty (in comparison tothe sensorimotor component, or syntax) are still lacking. The workshop's more specific focus is the question of how syntactic structures feed semantic interpretation. It is particularly devoted to the 'elements of truth', such as predication, categorization, and reference. Truth is the basic category and theoretical primitive around which most semantic theories have been built. But only very specific syntactic structures are evaluable for truth: not Noun Phrases, in particular. The origin of truth therefore throws up central questions in the pursuit of biolinguistics: the structure of the syntax-semantics interface and the mapping of syntactic to semantic categories, clause-structure, the theory of categories, the units of computation (phases), the truth-reference distinction, cross-linguistic variance in categorization, clause-structure, the growth of reference in acquisition, semantics and extra-linguistic domains, the neurological basis of the syntax-semantics interface, and the theory of predication. The conference is a part of the NWO-funded ILLC/UvA project on the 'Origins of truth'.

For more information, see http://home.medewerker.uva.nl/b.arsenijevic/page2.html

In the field of machine learning, many problems are treated as classification tasks. A classifier takes an event and assigns a (pre-defined) class to it. When events are sequences, the classification may be based on aspects of the structure of these events. For instance, the fact that certain symbols co-occur in a sequence may be an indication that these sequences belong to a certain class.

In this talk, I will describe some research I have been doing in this field recently. This work is still in progress. I will show some results on the task of question classification (assign the type of answer to a question), and composer classification (given a musical piece, assign its composer).

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

Symposium Meetkunde ter gelegenheid van het emeritaat van Dirk Siersma

Programma:

For more information, mail F.Beukers at f.beukers at uu.nl.

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

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

We are happy to announce that the ILLC will (as usual) welcome its new Master students by having a boat trip in which you can see the city from another point of view, followed by an informal reception where there will be something to eat and to drink. This gathering will be a nice opportunity to meet with ILLC staff members and students.

The boat leaves at 17.00 hrs sharp from the back of the Euclides building (Plantage Muidergracht 24), we request you to gather at the front desk at 16.45 from where we will walk to the landing place of the boat. The boat will return at 18.30. Reception is from 18.30 - 20.00 at the ILLC, third floor of Euclides, Plantage Muidergracht 24

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

It has been strongly argued that human rationality, language, and meaning are intrinsically normative, and that as such they cannot be described in purely naturalistic terms. But how are we conceive of normativity? Taking this question as our starting point, we are interested in bringing together young researchers who are working towards a model that helps explain the nature of norms underlying human cognition and (linguistic) behaviour.

We are happy to announce that the conference's two confirmed keynote speakers are:
- James O'Shea (University College Dublin)
- Allan Gibbard (University of Michigan)

For further information, you can visit the conference website at: http://www.illc.uva.nl/normativity/ or contact: normativity at science.uva.nl.

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

Lev Beklemishev will report on a work in progress (jointly with Thomas Icard) on the problem of finding a complete topological semantics of polymodal provability logic GLP (due to Giorgi Japaridze). They isolate the concept of a GLP-space that turns out to encompass some structures prominent in set theory and ininitary combinatorics. In particular, the most natural "ordinal GLP spaces" are tightly related to the so-called stationary reflection principles. The existence of a complete semantics for GLP, and the mere nontriviality of topologies involved, is then dependent on various (large cardinal) axioms outside ZFC.

For more information, please contact karin at science.uva.nl

State-of-the-art statistical parsing models applied to free word-order languages tend to underperform compared to, e.g., parsing English. Constituency-based models often fail to capture generalizations that cannot be stated in structural terms, and dependency-based models employ a ~single-head~ assumption that often breaks in the face of multiple exponence. In this paper we suggest that the position of a constituent is a form manifestation of its grammatical function, one among various possible means of realization. We develop the Relational-Realizational approach to parsing in which we untangle the projection of grammatical functions and their means of realization to allow for phrase-structure variability and morphological-syntactic interaction. We empirically demonstrate the application of our approach to parsing Modern Hebrew, obtaining 7% error reduction from previously reported results.

For more information, see http://www.illc.uva.nl/LaCo/CLS/ or http://staff.science.uva.nl/~rtsarfat/coling08.pdf

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.

The school has developed into an important meeting place and forum for discussion for students, researchers and IT professionals 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 or the ESSLLI website at http://www.illc.uva.nl/ESSLLI2008/

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

This is the eighth in a series of conferences on the applications of logical methods to foundational issues in the theory of individual and interactive decision-making, with a focus on papers which bring together the work and problems of several fields, such as game and decision theory, logic, computer science and artificial intelligence, philosophy, cognitive psychology, mathematics and mind sciences.

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

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

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. Three invited speakers deliver lectures on decision theory, game theory and logic and the connections of these fields. Graduate students and young researchers present their work in both formal and informal sessions.

For more information, see http://www.meansandends.com/workshop08/ or contact dgl08 at science.uva.nl.

On June 27 2008, the Cognitive Science Center Amsterdam of the University of Amsterdam will organize a symposium chaired by visiting professor McClelland in which a number of prominent European researchers will give presentations on their work within the general area of connectionist modeling. Speakers will include Eric Postma, Axel Cleeremans, Mike Page, Bob French and Jaap Murre. At the end of the symposium, professor McClelland will comment on the various lectures. The symposium will an excellent overview of the current status of connectionist modeling.

For more information, please contact J.J.W.vanderMeer at uva.nl

For abstracts and more information, see http://ilps.science.uva.nl/Seminar/seminar08-1.html#Jun20 .

On Thursday 26 June 2008 the EG lisaison will organize a training for scientists who are about to submit an application for a Marie Curie grant. This training aims to teach you how to look at your proposal from a pragmatic perspective. Emphasis will lie on how the evaluator looks at your proposal so this can be taken into account when you write your own proposal.

For more information, see http://www.senternovem.nl/egl/agenda/

Do not Erase. . . wait for Meaning is an <InstallationPackage> by TineWilde offering a new perspective on the art of installation as a result of a trans-disciplinary PhD research project carried out at the University of Amsterdam.

Tine Wilde investigates facts and values concerning social practices and cultural attitudes, worked out in what she calls an InstallationPackage. An InstallationPackage consists of one or more installations exploring a particular concept from different perspectives. In this exhibition the point of departure is the philosopher's room, in which the concept reflexive dynamics is central. On the one hand this reflexive dynamics points to the dynamic relation between the various parts of the room. On the other it refers to an emotional space that gives the viewer the opportunity to take a reflexive distance by means of a subtle play of colours. In this way, the installation becomes a poem with proportion.

The exhibition will be officially opened by Martin Stokhof at the opening reception on Saturday 21 June 2008, 8-10 pm: the exhibition will run from Sunday 22 June until Sunday 13 July 2008. For more information, see http://www.tinewilde.com/Arti2008.htm

For abstracts and more information, see http://ilps.science.uva.nl/Seminar/seminar08-1.html#Jun20 .

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

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

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

For abstracts and more information, see http://ilps.science.uva.nl/Seminar/seminar08-1.html#Jun13 .

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

Note: this lecture was originally scheduled for 14 May 2008.
The Logic Tea homepage can be found at http://www.illc.uva.nl/logic_tea/. For more information, please contact Joel Uckelmann (juckelma at science.uva.nl) or Edgar Andrade (E.J.AndradeLotero at uva.nl).

Design is about building a definition for an object that is yet to exist. The construction of such a definition requires a particular type of reasoning process which is different from usual ones such as search, optimization or theorem proving. In this talk, we will present a theory of design reasoning called Concept-Knowledge (CK) theory. CK theory captures some of the fundelmental properties of design reasoning based on the distinction and interaction between two spaces; a knowledge space K, containing, propositions whose logical status are known by a designer, and a concept space, which contains propositions that are undecidable in K space. The undecidability of concepts is a source for creativity and it allows new types of definitions for unprecedented objects.

CK theory is currently a very active research topic in a variety of context such as organization theory and design education. On the other hand more recent efforts explore logical and mathematical models of the theory. During the talk, after presenting the theory informally, we will discuss three of such models: 1) The relationship between ZF set theory, Cohen's notion of Forcing and CK type design reasoning (Hatchuel, Weil, 2007) 2) A model of CK theory based on NAL (non-axiomatic logic), a syllogistic term logic (Kazakci, Hatchuel and Weil, 2008) 3) A model of CK theory based on Intuionistic Logic (Kazakci, Upcoming)

For more information, please contact juckelma at science.uva.nl

Saturday June 7 Martin Coath (Plymouth University; FameLab finalist) and Henkjan Honing (University of Amsterdam; Nominee for the Academic Year Prize) will combine forces in interactively demonstrating to a general audience how we hear and interpret sound and music, using recent results from the European EmCAP project on music cognition.

For more information, see http://www.cheltenhamfestivals.com/whats_on/event_detail.html?id=2074.

The talk will present and explain basic notions of interactive epistemology that were developed by game theorists, logicians and computer scientists.

For more information, please contact f.veltman at uva.nl.

In June 2008 the ILLC will host the 3rd MARA Get-Together, an informal workshop on Multiagent Resource Allocation. Everyone, in particular ILLC staff and students, is very welcome to attend. There is no registration fee, but for organisational reasons we need to know who's coming. If you wish to attend, please let Ulle Endriss know before 28 May 2008.

For more information, see http://www.illc.uva.nl/~ulle/MARA3/.

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

The first part of this essay defends reliance on truth values against those who, on nominalistic grounds, would uniformly substitute a truth predicate. I rehearse some practical advantages of working with truth values in logic. In the second part I look at several cases in which logics involve, as part of their semantics, quantification over a silent parameter, such as modal logic's quantification over worlds. In many cases, this facility produces truth values for sentences which seem neither true nor false by ``supervaluation,'' that is, by ``quantifying out'' the extra, silent argument. Logics that generate truth values for the neither-true-nor-false in this way exhibit striking differences. I consider the following: open sentences in first order logic, vague sentences, ambiguous sentences, paradoxical sentences, and future-tensed sentences in indeterministic tense logic.

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

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

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

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

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

Our part time professor Krzysztof Apt is appointed CWI Fellow on 1 April 2008. This title is given to outstanding members of CWI's research staff and offers them full freedom in research.

At CWI Apt is member of the research group Algorithms, Combinatorics and Optimization. In 2006 he was appointed member of the Academia Europæa. He is founder and past Editor-in-Chief of the ACM Transactions in Computational Logic. Apt published four books and numerous journal articles, in computer science, mathematical logic and, more recently, game theory.

In honour of his appointment, and to mark the growing interaction between economics and computer science, CWI organizes a symposium on game theory on 27 May 2008. Invited distinguished speakers on this Game Theory Day at CWI are Christos Papadimitriou (University of California, Berkeley) and our Beth Chair holder Dov Samet (Tel Aviv University).

For more information, see http://www.cwi.nl/events/2008/gametheoryday.html

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

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

For abstracts and more information, see http://ilps.science.uva.nl/Seminar/seminar08-1.html#May23 .

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

Bureau Kennistransfer of the Universiteit van Amsterdam and International Office of VU University Amsterdam organize a workshop "Writing Competitive ITN Proposals in the People Programme" for everybody involved in the Initial Training Network (ITN) proposal preparation process.

This workshop is all about making your Marie Curie ITN proposal the best competitive proposal. Competition for the ITN proposals is fierce, and it is not enough to provide good science! The training will be given by Lotte Jaspers (Yellow Research) and Alie Kwint, a highly experienced Marie Curie advisor. We will focus on the selection criteria Science, Training, Implementation and Impact.

The full text of this announcement and a registration form can be found at here. A program is available as a PDF document.

The Logic Tea homepage can be found at http://www.illc.uva.nl/logic_tea/. For more information, please contact Joel Uckelmann (juckelma at science.uva.nl) or Edgar Andrade (E.J.AndradeLotero at uva.nl).

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

For more information, see http://www.cwi.nl/htbin/acg/ACG.php4?mode=future

We discuss the thesis formulated by Hintikka (1973) that there exist natural language sentences which require non-linear (non-Fregean) quantification to express their meaning. Our basic assumption is that a criterion for an adequacy of a meaning representation is its compatibility with sentence truth-conditions. Among others, it can be established by observing linguistic behavior of language users. We investigate sentences with non-Fregean combinations of quantifiers similar to Hintikka's examples and propose a novel alternative reading expressible by linear formulae. The interpretation seems intuitively very solid. Moreover, our empirical research shows that people tend to interpret Hintikka's like sentences in a way consistent with it. We will survey discussion on Hintikka's Thesis and present our experiments and results.

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

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.illc.uva.nl/dip/.

For abstracts and more information, see http://ilps.science.uva.nl/Seminar/seminar08-1.html#May9 .

We would like to inform all ILLC members that our current Beth Chair, Professor Dov Samet, will be teaching a short course on "The Epistemic Foundations of Game Theory".

The course will be concerned with the definition and analysis of the notions of knowledge and belief in game theory focusing on the models used in game theory to describe knowledge and probabilistic belief. MSc students can obtain 3 ECTS credits for following this course. The course will start on May 8, 2008.

For more information, see http://studiegids.uva.nl/web/uva/sgs/nl/c/8136.html

The Logic Tea homepage can be found at http://www.illc.uva.nl/logic_tea/. For more information, please contact Joel Uckelmann (juckelma at science.uva.nl) or Edgar Andrade (E.J.AndradeLotero at uva.nl).

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

(Dutch only)
Elk jaar organiseren het Korteweg-de Vries Instituut voor Wiskunde (KdVI) en het Institute for Logic, Language & Computation (ILLC) van de Universiteit van Amsterdam voor het congres Leve de Wiskunde!. Wetenschappers met passie (waaronder Henkjan Honing) voor het vak vertellen over hun onderzoek in de wiskunde en logica. Op vrijdag 25 april 2008 zijn docenten wiskunde, 6-vwo scholieren en andere belangstellenden van harte welkom.

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

(Dutch only)
De KNAW organiseert deze bijeenkomst op woensdag 23 april 2008 naar aanleiding van de aanbieding van het eerste exemplaar van het gelijknamige KNAW-advies door KNAW-President Frits van Oostrom aan minister van OCW dr. Ronald Plasterk en van de keynote speech van prof. dr. Daniel Dennett over de multidisciplinariteit van de cognitiewetenschappen.

Voor meer informatie en aanmelden: http://www.knaw.nl/cfdata/agenda/agenda_detail.cfm?agenda__id=1200

The Drinking Group on Fundamental Issues in Linguistics (DGFIL) is aimed to facilitate informal discussion of fundational issues in linguistics between linguists with different views and approaches. Different topics are covered in series: the last one was about language evolution, and the ongoing one is on the modular status of language within cognition, as well as potential modules within language.

The current meeting is on Elizabeth Bates' "Modularity, Domain Specificity and the Development of Language". available at http://users.ecs.soton.ac.uk/harnad/Papers/Py104/bates-1994.html. For more information, please contact b.arsenijevic at uva.nl

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

For abstracts and more information, see http://ilps.science.uva.nl/Seminar/seminar08-1.html#Apr18 .

A comparative conception of similarity lies at the foundation of much philosophy. Which of several future persons is you? According to closest-continuer theory, whichever resembles you more closely, overall. Would the match have lit, if struck? Possible-worlds theorists say this depends on what happened in those worlds in which the match was struck, but which are otherwise, overall, most like the actual world.

I take up the question of how a relation of overall comparative similarity might emerge from a multitude of similarities and differences in various respects. The surprising answer is that, basically, it cannot. Kenneth Arrow's celebrated theorem of social choice shows that the only way to combine several dimensions of comparative similarity into a single overall comparison is for one of the dimensions to be a dictator. This plays havoc with philosophy founded on comparative similarity.

The Logic Tea homepage can be found at http://www.illc.uva.nl/logic_tea/ For more information, please contact Joel Uckelmann (juckelma at science.uva.nl) or Edgar Andrade (E.J.AndradeLotero at uva.nl

The Logic Tea homepage can be found at http://www.illc.uva.nl/logic_tea/. For more information, please contact Joel Uckelmann (juckelma at science.uva.nl) or Edgar Andrade (E.J.AndradeLotero at uva.nl).

On Friday, April 11 from 14.00 - 17.00, ACLC and ILLC will organize a small joint workshop, the fourth in a row. This time the topic is "Future collaboration". The four collaborative projects that started recently will present themselves, and there will be a general discussion.

Afterwards, from 17.00 - 18.15 a drink will be organized (in the Café Atrium, Oudezijds Achterburgwal 237).

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

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

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

For abstracts and more information, see http://ilps.science.uva.nl/Seminar/seminar08-1.html#Apr4 .

In the past years, logicians have become more and more interested in the phenomenon of interaction. The area "logic and 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. A number of conferences and workshops have been dealing with logic in game and decision theory and dynamic logics with announcement and action operations. Fruitful technical advances have led to deep insights into the nature of communicative interaction and behaviour by logicians.

While these interactive aspects are relatively new to logicians, on a rather different level, modelling intelligent interaction has been an aspect of the practical work of computer game designers, researchers in artificial intelligence, robotics, and human-machine interaction for a long time. The practical aspects of simulating interaction and behaviour 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. Our symposium will explore the possibilities of joining the theoretical approach to interaction and communication with the practical approach to simulating behaviour. We would like to include purely logical aspects, cognitive and psychological aspects (including empirical testing of formal models), and pragmatic aspects.

This symposium is sponsored by the ILLC GLoRiClass project.

For more information, see http://www.illc.uva.nl/GLoRiClass/index.php?page=8_1 or http://www.aisb.org.uk/convention/aisb08/

The Logic Tea homepage can be found at http://www.illc.uva.nl/logic_tea/. For more information, please contact Joel Uckelmann (juckelma at science.uva.nl) or Edgar Andrade (E.J.AndradeLotero at uva.nl).

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

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

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

For abstracts and more information, see http://ilps.science.uva.nl/Seminar/seminar08-1.html#Mar28 .

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

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 Joel Uckelmann (juckelma at science.uva.nl) or Edgar Andrade (E.J.AndradeLotero at uva.nl).

Modal fixpoint logics constitute a research field of considerable interest, not only because of their many applications, but also because of their rich logical/mathematical theory. Systems such as LTL, PDL, CTL, and the modal mu-calculus, originate from computer science, and are for instance applied in the theory of program specification and verification. The richness of their theory stems from the deep connections with various fields in logic, mathematics, and theoretical computer science, such as lattices and universal (co-)algebra, modal logic, automata, and game theory.

The aim of the workshop is to bring together researchers from various backgrounds, in particular, computer scientists and pure logicians, who share an interest in the area. The invited talks together will represent an overview of the richness of the theory of modal fixpoint logics.

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

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

For abstracts and more information, see http://ilps.science.uva.nl/Seminar/seminar08-1.html#Mar14 .

For abstracts and more information, see http://ilps.science.uva.nl/Seminar/seminar08-1.html#Mar14 .

Quite a few researchers from Utrecht and Amsterdam will present their work at Semantics and Linguistic Theory (SALT) this year. There will be a joint try-out session this Friday March 14th.

For more information, see http://www.let.uu.nl/~Rick.Nouwen/personal/minisalt.html and http://www.umass.edu/linguist/events/salt18/program.shtml

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

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

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

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

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

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

Marc Makkes' talk on 'Detecting and normalizing named entities in Dutch reactions to news' which would have taken place before 'G-Logs' was canceled.

For abstracts and more information, see http://ilps.science.uva.nl/Seminar/seminar08-1.html#Feb29 .

For more information and abstracts, see here or http://www.illc.uva.nl/LaCo/CLS/, or contact R.Tsarfaty at uva.nl

After having focused for years on issues related to knowledge, beliefs and action in rational decision making, many logicians have recently taken the natural next step to the study of preferences and intentions, including the dynamics of how they change. By doing so logic approaches other well-established areas of research, ranging from Bayesian epistemology to action, decision and game theory.

This 15th edition of the well-known series of workshops Games, Logic, Language, and Computation will bring together logicians, philosophers, computer scientists, and economists to share their expertise, find unifying themes and methods, and create a new interdisciplinary research network.

The workshop will be hosted by the Institute for Logic, Language and Computation of the Universiteit van Amsterdam, on the 26, 27 and 28 of Februay 2008. The workshop will also coincide with the PhD defenses of Fenrong Liu (Beijing) and Olivier Roy (Quebec), on February 26.

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

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

For more information, see here or contact Leigh Smith (lsmith at science.uva.nl).

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

In de reeks 'Magie van wetenschap' i.h.k.v. tweehonderd jaar Koninklijke Nederlandse Academie van Wetenschappen (KNAW), geeft Henkjan Honing op 21 februari a.s. een lunchlezing voor een breed publiek over Wetenschap en Kunst.

Voor meer informatie, zie http://www.knaw200.nl/Pages/DEF/640.html

This is to announce the ninth installment of the workshop that takes linguists and experimental philosophers to the ski slopes. It will be held February 21-25 2008, 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 Complexity and Language - as usual this 'hot topic' should not exclude submissions on other subjects, but talks relating typical Szklarska Poreba concerns to complexity are especially welcome. We prefer new and original ideas, even if the material is not fully ripe and the presentation still tentative.

The possibility exists to hire cross-country skis, however we need to know in advance who would be interested and (crucially) how big their feet are.

For more information, see http://staff.science.uva.nl/~sjagerde/szklarska/ or here.

The Logic Tea homepage can be found at http://www.illc.uva.nl/logic_tea/. For more information, please contact Joel Uckelmann (juckelma at science.uva.nl) or Edgar Andrade (E.J.AndradeLotero at uva.nl).

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

For abstracts and more information, see http://ilps.science.uva.nl/Seminar/seminar08-1.html#Feb15 .

(dutch only)
Deze lezing gaat over de vraag hoeveel verschillende akkoorden denkbaar zijn in een universum van 12 tonen. Niet dat deze vraag nog op een antwoord wacht. Tussen 1850 en nu hebben onderzoekers degelijke protocollen bedacht voor het classificeren en tellen van deze akkoorden. Maar hun antwoorden lopen uiteen, afhankelijk van de intu~ties over akkoordverwantschap die eraan ten grondslag liggen.

Om die intu~ties gaat het hier - en om de beweegredenen van vooral de muzikaal bezielde onderzoekers: wat heeft een componist of harmonieleraar gemotiveerd om een volledige catalogus aan te leggen van akkoorden tot en met 12 tonen? Vanuit deze invalshoek zullen de akkoordcatalogi van Ernst Bacon (1917), Bruno Weigl (1922), Fritz Heinrich Klein (1925) en anderen bestudeerd en met elkaar vergeleken worden.

Voor meer informatie, zie http://www.hum.uva.nl/mmm/cmw/2007/09/11-oktober-2007-michiel-schuijer.html

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

The Marie Curie Research Training Site GLoRiClass took up its work in February 2006. Now it's coming up to the half-way point. So we shall have a public event to mark this: the GLoRiClass Half Time Event.

On February 13, 2008, we will celebrate this event. The location, in Amsterdam, will be announced shortly.

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

Is logic about real human reasoning, or about the pure mathematics of valid consequence relations? Frege's famous 'anti-psychologism' drew a sharp distinction, right at a time when modern pyschology started developing exciting ideas about informal and mathematical reasoning. I will argue that such 'barrier theses' are otiose - and that, fortunately, they do not work, since there is an interesting reality of contacts between logic and empirical cognitive science. My examples come mainly from 'natural logic', while I survey some other contacts.

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

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

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

For more information, see http://www.mondriaanhuis.nl/PDF/affichelezingen.pdf.

For abstracts and more information, see http://ilps.science.uva.nl/Seminar/seminar08-1.html#Feb1 .

The exhibition will be officially opened by the director of the UB, Nol Verhagen, and will remain open until February 10th, 2008.

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

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

For abstracts and more information, see http://ilps.science.uva.nl/Seminar/seminar08-1.html#Jan18 .

For more information, see http://www.mondriaanhuis.nl/PDF/affichelezingen.pdf.

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

The topic of this symposium is situated at the current interface between Logic and the Foundations of Physics. The aim is to look at already-established, as well as new connections between the two fields, within the context of recent work on logics of space, time, action and information flow, with an eye towards a wider philosophical perspective.

Due to the interdisciplinary nature, the symposium is intended to be of interest to logicians, physicists, philosophers of physics as well as to computer scientists.

For more information and the on-line programme see http://symposium.tiddlyspot.com/

The main goal of this conference is to present current trends situated at the interface of Logic and the Foundations of Physics. The conference will bring together researchers from both fields, giving them a forum to present new developments, exchange ideas, explore and establish new connections between logic and physics. On the one hand, we are interested in technical contributions on the use of new methods and techniques coming from logic, computation and information theory to axiomatize and model physical theories and to reason about their concepts, phenomena and/or applications. On the other hand, we are interested in contributions coming from the foundations and philosophy of physics dealing with the general conceptual framework and with questions of interpretation. In particular, we solicit contributions that merge new developments in logic and physics, focusing for instance on how the use of techniques from logic can be combined with insights in physics to yield a new perspective on the main foundational issues and open problems in modern physics.

For more information, see http://www.vub.ac.be/CLWF/TrendsVI

FSTTCS (Foundations of Software Technology and Theoretical Computer Science) is an annual international conference held in India. This year, it will be held in Bangalore, India, from December 9 to December 11, 2008. In the more than 25 years of existence, it has had a long tradition of excellent invited talks and high quality submissions. As an added attraction, this year's conference is colocated with APLAS 2008 (Sixth Asian Symposium on Programming Languages and Systems).

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

The 18th Workshop on Logic-based methods in Programming Environments will take place in Udine (Italy), as a satellite workshop of ICLP 2008, the 24th International Conference on Logic Programming. This workshop will continue the series of successful international workshops on logic programming environments held since 1989. The workshop aims at providing an informal meeting for researchers working on logic-based methods and tools which support program development and analysis. This year, we plan to continue and consolidate the shift in focus from environmental tools for logic programming to logic-based environmental tools for programming in general, so that this workshop can be possibly interesting for a wider scientific community. In addition to papers describing more conceptual and theoretical work, the call for papers will solicit papers describing the implementation of, and the experience with, such tools.

For more information, see http://www.clip.dia.fi.upm.es/Conferences/WLPE08/

AP-CAP 2008 is part of the series of conferences organised by the International Association for Computing and Philosophy (IACAP, www-ia-cap.org). This is the first time this conference is being held in India. As with the other CAP conferences, AP-CAP 2008 will deal with all aspects of the "computational turn" that is occurring through the interaction of the disciplines of philosophy and computing. However, there are also some specific themes which would be the focus of this meet. The themes are:

(*) Contemporary issues in philosophy of information and computation
(*) Computation, algorithm and mathematics
(*) Computation and algorithms in Indian mathematics and linguistics
(*) Indian logic and its relationship with computation/computer science
(*) Culture and information technologies

For more information, see http://ia-cap.org/ap-cap08/ or contact Prof. Sundar Sarukkai at cfpnias at gmail.com.

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

For more information, see http://www.qatar.cmu.edu/lpar08/.

Constructive modal logics and type theories are of increasing foundational and practical relevance in computer science. Applications are in type disciplines for programming languages, and meta-logics for reasoning about a variety of computational phenomena. Theoretical and methodological issues center around the question of how the proof-theoretic strengths of constructive logics can best be combined with the model-theoretic strengths of modal logics. Practical issues center around the question of which modal connectives with associated laws or proof rules capture computational phenomena accurately and at the right level of abstraction and how to implement these efficiently.

There have been a series of LICS-affiliated workshops devoted to the theme. The first one was held as part of FLoC1999, Trento, Italy, the second was part of FLoC2002, Copenhagen, Denmark, the third was associated with LiCS2005, Chicago, USA and the last one was associated with LICS 2008 in Pittsburgh, PA, USA. Two special issues of journals on the theme have already appeared, in 2001 and 2004. We are hereby soliciting papers for a further special volume of Information and Computation, devoted to Intuitionistic Modal Logics and Applications. We hope to cover the novel applications presented in the last two workshops, especially applications to computer security, automated deduction and computational linguistics, but also to include work not presented at the workshops.

Papers (preferably under 20 pages long) should be submitted by 31st May 2009. For more information, see here or contact one of the editors (Valeria de Paiva valeria at cuill.com or Brigitte Pientka bpientka at cs.mcgill.ca).

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

Game theory is a formal framework with a set of mathematical tools to study the complex interactions among interdependent rational players. For more than half a century, computational game theory has led to revolutionary changes in economics, and has found important applications in politics, sociology, psychology, communication, transportation, biology.

Evolutionary Game Theory (EGT) is a solid basis for understanding learning and constructing new learning algorithms. The Replicator Equations will appear to be an interesting model to study learning in various settings. This model consists of a system of differential equations describing how a population (or a probability distribution) of strategies evolves over time, and plays a central role in biological and economical models. Thus, EGT is an integral part of AI.

The aim of this issue is to bring together the state-of-the-art research contributions that address the fundamentals and sound theoretical models of game theory and the major opportunities and challenges of applying game theory to solving real problems in industry, biology, medicine, communications, and other disciplines.

For more information, see http://www.ieeesmc.org/publications/CFP-IEEE%20SMCB%20spec%20issues_plan/.

The Center for Research in Syntax, Semantics and Phonology (CRISSP) in Brussels is pleased to announce the first Brussels Conference on Natural Logic. The theme of this year's conference is Logic Now and Then.

For more information, see http://www.crissp.be/lnat.html

SBIA is the leading conference in Brazil for presentation of research and applications in Artificial Intelligence. Since 1995, SBIA has become an international conference, with papers written in English, international program committee and keynote speakers, and proceedings published in the LNAI series of Springer-Verlag. Since 1996, SBIA is a biennial event.

As has occurred since 2002, the 19th Brazilian Symposium on Artificial Intelligence (SBIA) and the 10th Brazilian Symposium on Artificial Neural Networks (SBRN) will be collocated, this time also with the Brazilian Symposium on Intelligent Robotics (JRI)

For more information, see http://www.sbia2008.ufba.br/sbia2008.html.

This workshop will be held as part of the 7th International Semantic Web Conference (ISWC 2008). The goal of this workshop is to bring together researchers from the Semantic Web community with more Nature inspired communities, such as the people interested in Computational Intelligence (CI), Neural Networks and to discuss current trends in Semantic Web.

For more information, see http://natures.few.vu.nl/

Both philosophy and sociology of science aim at understanding the workings of scientific endeavour. Despite their different emphasis and possibly methodology, they deal with the same subject matter. And yet, they seem to be worlds apart. The study of sociology of science is strongly influenced by the continental tradition, whereas the philosophy of science has been the near exclusive playground for analytic approaches. There is also the central issue of the so-called "science wars": the question of the the proper relationship between humanities and natural sciences. In the early days, the sociology of science explicitly set its task as being complementary to that of philosophy, but current sociology of science focuses on social organization, epistemic content and cultural aspects of science, breaking down the barrier respected by their ancestors, resulting in an approach seemingly incompatible and openly at odds with that of philosophy of science.

The good news is that, in the course of the last few decades, steps have been taken towards a (partial) reconciliation. We see our conference FotFS VII as part of this process, bringing sociological aspects into philosophy of science and philosophical aspects into sociology of science, by bringing together researchers from both areas.

For more information, see http://www.math.uni-bonn.de/people/fotfs/VII/. The conference is co-located with the workshop PhiMSAMP-4 (25-26 october 2008).

The Workshop on Game theory in Communication networks (GameComm) is a one-day meeting held in conjunction with the 3rd International Conference on Performance Evaluation Methodologies and Tools (VALUETOOLS'08, http://www.valuetools.org/).

The distributed nature of wireline and wireless communication networks gives rise to many challenges related to their analysis, control, and management. The selfish nature of users, development of decentralized control mechanisms, and fair allocation of system resources are among major issues in networks research. Consequently, game theoretic methods are increasingly utilized to gain a deeper understanding of these complex problems and systems. Specifically, game theoretic models have been used in the context of Internet pricing, flow and congestion control, routing, power control, and recently security, among many other topics. The application of game theory to communication networks has attracted researchers from a variety of disciplines, including computer science, operations research, control theory, and economics.

This workshop aims to bring together researchers who are interested in all aspects of the application game theory to the analysis and design of communication networks. The goal is to display the state-of-the-art in this evolving field, as well as stir discussion and outline possible directions for further progress.

For more information, see http://www.game-comm.org/

Social epistemology is a relatively new and booming field of research. It studies the social dimension of the pursuit of acquiring true beliefs and requires philosophical as well as sociological and economical expertise. The insights gained in social epistemology are not only of theoretical interest -- they also improve our understanding of social and political processes as the field includes the analysis of group deliberation and group decision making. Surprisingly, little work has yet been done on the epistemic properties of group deliberation, belief aggregation and decision-making procedures. This workshop aims at closing this gap with the help of formal models that ideally combine representational adequacy with instructive analytical results. To this end, we welcome contributions from all relevant fields of research.

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

The conference aims to present the multilayered reciprocal effects between philosophical basic reflection and applied research in the context of Philosophy and Information Science. It adresses a larger public and offers a forum of discussion between experts from different specialist areas.

For more information, see http://www.uni-paderborn.de/philosophy-information-science

The JELIA conference series is the main European forum devoted to logics in Artificial Intelligence (AI). As the latest edition of this biannual series, JELIA 2008 aims at bringing together researchers interested in all aspects of logics in AI, including their theory, applications of both theoretical and practical nature, and systems. As its predecessors, JELIA 2008 strives to foster links and facilitate cross-fertilisation of ideas between researchers from various disciplines, between researchers from academia and industry, and between theoreticians and practitioners.

Further information about JELIA 2008 is available at http://www.jelia.eu/.

Diagrams is an international and interdisciplinary conference series, covering all aspects of research on the theory and application of diagrams.

Recent technological advances have enabled the large-scale adoption of diagrams in a diverse range of areas. Increasingly sophisticated visual representations are emerging and, to enable effective communication, insight is required into how diagrams are used and when they are appropriate for use. The pervasive, everyday use of diagrams for communicating information and ideas serves to illustrate the importance of providing a sound understanding of the role that diagrams can, and do, play. Research in the field of diagrams aims to improve our understanding of the role of diagrams, sketches and other visualisations in communication, computation, cognition, creative thought, and problem solving. These concerns have triggered a surge of interest in the study of diagrams.

The study of diagrammatic communication as a whole must be pursued as an interdisciplinary endeavour. Diagrams 2008 is the fifth event in this conference series, which was launched in Edinburgh during September 2000. Diagrams attracts a large number of researchers from virtually all related fields, placing the conference as a major international event in the area.

For more information, see http://www.cmis.brighton.ac.uk/diagrams2008/

The proportion of Web pages written in English keeps decreasing, but a majority of text-handling tools and techniques have been developed for English and tested on English resources. Many languages have been reasonably well served by the existing systems, but large typological differences (complex morphology, rich inflection, freer-order syntax, not to mention cultural biases) tend to make those tools and resources less than fully adequate. This may be particularly true of deeper processing, including the acquisition of natural language semantics from text.

The workshop seeks to explore methodologies developed from scratch for a variety of languages, and perhaps their reapplication to the processing of English texts. We target the problem of automatic extraction of some form of natural language semantics from corpora and application of the knowledge extracted in that way in systems that deal with natural language.

The workshop is affiliated with the 6th International Conference on Multimedia and Network Information Systems

For more information, see http://www.zsi.pwr.wroc.pl/MISSI2008/LDALSK/

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.

For more information, see http://csl2008.cs.unibo.it/

The focus of this special issue is on logic and complexity within computational social choice. For example, while it is known from (classical) social choice theory that essentially all natural voting systems are manipulable in principle, recent research results have shown that computational complexity can be used to protect, to some extent, certain election systems against attempts of changing an election's outcome, i.e., these systems can be shown to be resistant to (various types of) manipulation, procedural control, or bribery. As two examples regarding the use of logic within computational social choice, we mention the logic-based specification and verification of social procedures and the compact representation of preferences via logic-based languages.

Original research papers (and also survey papers) related to any aspects of applying logic or computational complexity to issues arising in computational social choice are sought.

For more information, see http://ccc.cs.uni-duesseldorf.de/~rothe/MLQ-special-issue-CFP.

Tools from logic and mathematics have played a central role in models of human beliefs, of human desires and preferences and indeed the actions which are based on them. However, beliefs, preferences and perhaps even desires change. Thus the development, which has been greatly accelerated in recent times, of extensions of the logical and mathematical techniques to account for the problems of change. However, as different paradigms (AGM theory and dynamic logic in the 'logic' camp, Bayesian update and Jeffrey conditionalisation in the probability camp, to take just a few examples of theories of belief change) jostle to impose themselves, it is perhaps the moment to take a step back and ask: what do we want from a theory of change?

This question-as philosophical and methodological as it is technical-is at the heart of this colloquium / workshop. The aim is to bring together specialists working on the problem of attitude change, from a wide range of paradigms, to present and discuss their views on the objectives of theories of change. The ambition is to identify the main issues for theories of change, and clarify the major positions one could hold concerning the project of understanding or modelling attitude change.

For more information, see the conference website at http://www.flu.cas.cz/colloquium or contact colloquium at flu.cas.cz.

The TSD series evolved as a prime forum for interaction between researchers in both spoken and written language processing from the former East Block countries and their Western colleagues. The Proceedings of TSD will be published by Springer-Verlag in their Lecture Notes in Artificial Intelligence (LNAI) series.

For more information, see http://www.tsdconference.org/ or contact Dana Hlavackova at tsd2008 at tsdconference.org.

Mathematical Fuzzy Logic is a subdiscipline of Mathematical Logic which studies the notion of comparative truth. The assumption that "truth comes in degrees" has revealed very useful in many, both theoretical and applied, areas of Mathematics, Computer Science and Philosophy.

Logic, Algebra and Truth Degrees is the first official meeting of the recently founded EUSFLAT Working Group on Mathematical Fuzzy Logic. The main goal of this meeting is to foster collaboration between researchers in the area of Mathematical Fuzzy Logic, and to promote communication and cooperation with members of neighbouring fields.

For further information please visit the official web page of the conference: http://www.mat.unisi.it/~latd2008/. All correspondence should be directed to latd2008 at unisi.it.

Games 2008 is the Annual Workshop of the ESF Networking Programme on Games for Design and Verification. As in previous years, GAMES 2008 will be an informal workshop, without proceedings, with a programme consisting of invited tutorials (90 min), contributed talks (30 min) and short presentations (15 min). Contributed talks and short presentations will be selected by the programme committee on the basis of submitted abstracts.

For more information, see http://www.mimuw.edu.pl/~games08/

The British Logic Colloquium 2008 will be held on September 4-6, 2008 on the Jubilee Campus of the University of Nottingham.

See http://www.cs.nott.ac.uk/~nza/blc08/ for more details. There is a limited number of grants available for students who wish to attend. Deadline for grant applications is the 1st of July.

The joint ICNC'08-FSKD'08 will be held in Jinan, China. Jinan is the capital of Shandong Province, which is known for the home of Confucius, the Taishan Mountain, and the Baotu Spring.

ICNC'08-FSKD'08 aims to provide an international forum for scientists and researchers to present the state of the art of intelligent methods inspired from nature, including biological, ecological, and physical systems, with applications to data mining, manufacturing, design, and more. It is an exciting and emerging interdisciplinary area in which a wide range of techniques and methods are being studied for dealing with large, complex, and dynamic problems. Previously, the joint conferences in 2005,2006 and 2007 each attracted over 3000 submissions from more than 30 countries.

For more information, see http://www.icnc-fskd2008.sdu.edu.cn/

The series of International Conferences UNCONVENTIONAL COMPUTATION (UC) is devoted to all aspects of unconventional computation, theory as well as experiments and applications. Typical, but not exclusive, topics are: natural computing including quantum, cellular, molecular, neural and evolutionary computing; chaos and dynamical systems based computing; and various proposals for computations that go beyond the Turing model.

For more information, see http://www.emcc.at/UC2008/

Organized every three years since 1993 by the European Society for Analytic Philosophy, ESAP, these meetings aim at establishing contacts and encouraging collaboration among European analytic philosophers. The forthcoming Congress is locally organized by the Institute of Philosophy of the Jagiellonian University and the Polish Association of Logic and Philosophy of Science. Its site, Krakow, is widely regarded to be one of the most important European must see places with a unique atmosphere.

For more information and a registration form, please visit the official website of the Congress at http://ecap.phils.uj.edu.pl/.

The conference is concerned with the theory of computability and complexity over real-valued data. Despite remarkable progress in recent years many important fundamental problems have not yet been studied, and presumably numerous unexpected and surprising results are waiting to be detected. Scientists working in the area of computation on real-valued data come from different fields, such as theoretical computer science, domain theory, logic, constructive mathematics, computer arithmetic, numerical mathematics and all branches of analysis. The conference provides a unique opportunity for people from such diverse areas to meet, present work in progress and exchange ideas and knowledge.

For more information, see http://cca-net.de/cca2008/

There is a fast-growing interest in logics that deal with intelligent interaction in communities of agents. There is also a fast-growing jungle of formal systems. The workshop is dedicated to promising recent convergences, trying to foster a common sense of what is going on.

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

The first Workshop on Practical Aspects of Automated Reasoning will be held in August 2008, in Sydney, Australia. PAAR will be associated with the 4th International Joint Conference on Automated Reasoning (IJCAR-2008).

Deadline for submission of abstracts: May 27th, 2008. For more information, see http://www.eprover.org/EVENTS/PAAR-2008/paar-2008.html

IJCAR 2008 is the 4th International Joint Conference on Automated Reasoning, and is a merger of leading events CADE, FroCoS, FTP and TABLEAUX. IJCAR is the premier international joint conference on all aspects of automated reasoning, including foundations, implementations, and applications. The IJCAR technical program will consist of presentations of high-quality original research papers, system descriptions and invited talks. There will be two days of workshops and tutorials, 10th and 11th August, and the conference 12th to 15th August.

For more information, see http://2008.IJCAR.org/

BLAST is a new conference series focusing on Boolean algebras, Lattices, Algebraic logic and universal algebra, Set theory, and set-theoretic and point-free Topology. The 2008 conference is the first in a series that will rotate among universities of the region.

The conference will include tutorials, as well as a mini-course in Forbidden Configurations in Lattices.

We would very much appreciate a (non-committing) reply to blast at math.du.edu indicating your level of interest in the conference at the moment. This will be very useful in our planning for local accommodation, transportation and classroom reservations. Please reply by March 30.

For more information, see http://math.du.edu/blast/

The aim of the Student Session is to give an opportunity to students at all levels (Bachelor-, Master- and PhD-students) to present and discuss their work in progress with a possibility to get feedback from senior researchers.

The programme committee invites submissions of papers for oral and poster presentation and for appearance in the proceedings. We welcome submissions with topics within the areas of Logic, Language and Computation. Each year, 18 papers are selected for oral presentation and a number of others for poster presentation. Submission Deadline (extended) is 22 February 2008.

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

The workshop is on approaches with explicit dynamic operators in the language, i.e., as in dynamic epistemics, temporal epistemics and approaches to belief revision with explicit dynamic operators in the logical language. Tradional and independently well-established approaches to dynamics such as PDL and the many variants and extensions of dynamic logic in general, mu-calculus, and pi-calculus, are also in the focus of the workshop. New frontiers for dynamics in logic include: description logics and decidable fragments of FOL, semantic-web approaches, BDI-type logics, deontic logics, relations between knowability, ability, and the dynamics of knowledge, and cognitively motivated approaches. The workshop also welcomes work on information change as the result of deliberation, i.e., on the dynamics of reasoning.

For more information, see http://home.hib.no/ansatte/tag/dil08

This is the first of a series of small and thematically focused events in formal epistemology organized by Eric Swanson (Michigan), Jonathan Weisberg (Toronto), and Franz Huber (Caltech and Konstanz).

The background for the first Formal Epistemology Festival is the 40th anniversary of Robert Stalnaker's "A Theory of Conditionals" and the 20th anniversary of Wolfgang Spohn's "Ordinal Conditional Functions. A Dynamic Theory of Epistemic States".

For more information, see here

The workshop will present research and foster discussion centered around psychologically-motivated computational models of language acquisition. In recent decades there has been a thriving research agenda that applies computational learning techniques to emerging natural language technologies and many meetings, conferences and workshops in which to present such research. However, there have been only a few (but growing number of) venues in which psychocomputational models of how humans acquire their native language(s) are the primary focus.

For more information, see http://www.colag.cs.hunter.cuny.edu/psychocomp/

DCFS 2008 - Descriptional Complexity of Formal Systems will be held in Charlottetown, Prince Edward Island, July 16-18, 2008.

For more information, see http://www.csit.upei.ca/dcfs2008/.

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

Early registration deadline is June 10th. For further information, see the DEON'08 website at http://deon2008.uni.lu/.

The conference will focus on all areas related to paraconsistency, especially
* Systems of paraconsistent logic
* Inconsistent mathematics
* Paraconsistency and information processing
* Paraconsistency and the philosophy of mathematics
* Paraconsistency and the philosophy of science
* Paraconsistency and the philosophy of logic

For more information, see http://www.philosophy.unimelb.edu.au/wcp4/ or subscribe to the announcement mailing list wcp4-info by sending the message 'subscribe wp4-info' to mailserv at unimelb.edu.au.

This conference follows the successful conference on Music and Language held at Cambridge University in summer 2007. The conference will be held at Tufts University Perry and Marty Granoff Music Center. We will be honoring Ray Jackendoff and Fred Lerdahl on the occasion of the 25th Anniversary of their seminal work, "A Generative Theory of Tonal Music".

For more information, see http://musicandlanguage.tufts.edu/

The aim of the symposia on "Real Numbers and Computers" is to bring together specialists from various research areas, all concerned with problems related to computations based on real numbers. These computations may use any number system implemented by a software package or in hardware, including floating and fixed point, integers, rational or p-adic numbers, serial or on-line computations, continued fractions, fixed or multiple precision, interval and stochastic arithmetic.

For more information, see http://www.ac.usc.es/rnc8/

The 35th International Colloquium on Automata, Languages and Programming, the main conference and annual meeting of the European Association for Theoretical Computer Science (EATCS), will take place from the 6th to the 13th of July 2008 in Reykjavik, Iceland.

For further information see: http://www.ru.is/icalp08/.

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. The leading researchers on logic participate in the conference, as invited speaker, tutorial speaker or as participant. It also attracts students (master and Ph.D. students) in logic from all over the world and in that way it also serves for students as an introduction into the research field of logic.

For more information, see http://www.lc08.iam.unibe.ch/

The Scandinavian Workshop on Algorithm Theory (SWAT) is a biennial international conference, which alternates with the Workshop on Algorithms and Data Structures (WADS), intended as a forum for researchers in the area of design and analysis of algorithms and data structures.

For more information, see http://www.dmist.net/swat2008/

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.

For more information, see http://www.cin.ufpe.br/~wollic/wollic2008/

The Centre for Philosophy of Natural and Social Science announces a Graduate Conference in the Philosophy of Probability to be held at the London School of Economics. Keynote speaker will be Professor Donald Gillies (UCL).

For more information, see http://www.lse.ac.uk/collections/CPNSS/events/

The aim of the Society is to promote interaction between philosophers, psychologists, and linguists on issues of common concern. Previous topics covered at ESPP include spatial concepts, emotion, perception, simulation theory, attention, reference, problems of consciousness, early numerical cognition, infants' understanding of intentionality, memory and time, motor imagery, causal understanding, counterfactuals, the semantics/pragmatics distinction, reasoning, vagueness, mental causation, action and agency, thought without language, externalism, connectionism, hypnosis, and the interpretation of neuropsychological results.

For more information, see the conference website at http://www.let.uu.nl/espp/.

The 10th Scientific Conference, organised by St Petersburg State University, the St Petersburg Philosophical Society and the St Petersburg Association of the Logicians, will take place 26-28 June 2008. A non-exhaustive list of topics of interest includes: History of Logic, Non-classical Logics, Theory of Logical Inference, Logical Semantics, Logic and Philosophy, Logic and Theory of Argumentation, and Logic and Computer Science

For more information, see here or contact logic.spb at mail.ru

The LICS Symposium is an annual international forum on theoretical and practical topics in computer science that relate to logic broadly construed. LICS 2008 will be held in Pittsburgh, Pennsylvania, June 24 - 27, 2008.

For more information, see http://www.cs.cmu.edu/~fp/lics08/

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

Theoretical and methodological issues center around the question of how the proof-theoretic strengths of constructive logics can best be combined with the model-theoretic strengths of modal logics. Practical issues center around the question which modal connectives with associated laws or proof rules capture computational phenomena accurately and at the right level of abstraction.

This LICS'08 affiliated workshop will bring together designers, implementers, and users to discuss all aspects of intuitionistic modal logics and type theories.

For more information, see http://www.cs.bham.ac.uk/~vdp/IMLA08.html

The International Society for the History of Philosophy of Science (HOPOS) will hold its seventh international congress in Vancouver, Canada, June 18-21, 2008. The conference is open to scholarly work on the history of philosophy of science from any disciplinary perspective.

For more information, see http://www.hopos.org/hopos2008

This is the fourth in a series of conferences organised by CiE (Computability in Europe), a European network 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) and Siena (2007).

CiE 2008 aims at bridging the gap from the logical methods of mathematical and meta-mathematical flavour to the applied and industrial questions that are involved in devising and choosing the right algorithms and analysing their effectiveness and efficiency.

For more information, see http://www.cs.swan.ac.uk/cie08/

CSR 2008 is the third conference in a series of regular events started with CSR 2006 in St.Petersburg (see LNCS 3967) and CSR 2007 in Ekaterinburg (see LNCS 4649). It intends to reflect the broad scope of international cooperation in computer science. CSR 2008 consists of two tracks: Theory Track and Applications and Technology Track.

For more information, see http://csr2008.ru/ or email: info at csr2008.ru.

A representative international conference on algebra will be held at Moscow State University from May 28 to June 3, 2008, that is, shortly before CSR 2008. This creates a very convenient opportunity to bring together researchers interested in various aspects of the interaction between algebra, combinatorics and complexity. As such, WACC 2008 takes the form of a satellite workshop to CSR 2008. Invited Speakers include Eric Allender and Boris Plotkin.

For more information, see http://csseminar.kadm.usu.ru/WACC.htm

FOMI is an international forum where academic researchers and industrial practitioners meet to analyze and discuss issues related to methods, theories, tools and applications based on formal ontologies.

For more information, see http://www.fomi2008.di.unito.it/

After L.M. de Rijk's monumental Logica Modernorum of 1962 and 1967, many important texts and interpretations have been brought forward. It is time to look with fresh eyes at the rise and development of supposition theory, especially its early phase.

For more information, see here or contact: e.p.bos at let.leidenuniv.nl.

The international Congress "ULTRAMATH 2008" aims to present recent results in the whole spectrum of mathematics which are grounded on the use of ultrafilters and ultraproducts. Its main goals are:
- Disseminate information about the various techniques related to the use of ultrafilters and ultraproducts, and their potential to attack open problems.
- Bring together researchers with different backgrounds, and encourage their collaborations and interactions, especially on topics connecting different areas of mathematics.

For more information, visit the web site below: http://www.dm.unipi.it/~ultramath/

This networking event is jointly organized by CEMS and a benelux section of IEEE, and is aimed at ph.d. students already working on a specific research topic but not yet close to defending their thesis, to bring together PhD candidates and faculty in order to facilitate focused and in-depth discussion.

For more information, see http://staff.science.uva.nl/~peter/NITIMDC200805.pdf

The Dutch Organisation for Scientific Research (NWO) organizes, in collaboration with the Dutch Society for scientific Journalists (VWN) and the Science Center (NEMO), on Monday 26th of May this year, for the 8yh time 'Bessensap'. An event that tries to bring researchers and journalists, editors and other people from the press closer together.

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

ManyVal is a prospective series of international workshops on the logical and algebraic aspects of many-valued reasoning. The aim of the workshops is to gather both established and young researchers sharing an interest for a specific topic. Accordingly, each edition has a sharp focus. The attendance is limited to approximately thirty participants in order to facilitate close and informal interaction. There are no parallel sessions.

ManyVal'08 will focus on:
States of MV-algebras and generalizations
Topological dualities in algebraic logic
Measure theory on dual spaces of algebras of logics
Subjective probability and many-valued reasoning.

For more information, see http://manyval.dsi.unimi.it/

The DL workshop is the major annual event of the description logic research community. The workshop is a gathering forum to meet, discuss and exchange experiences among all those, both in academia and industry, who are interested in description logics and their applications.

For more information, see http://dl.kr.org/dl2008/

AAMAS is the leading scientific conference for research in autonomous agents and multiagent systems. The aim of the conference is to provide a single, high-profile, internationally respected archival forum for research in all aspects of the theory and practice of autonomous agents and multi-agent systems.

For more information, see http://gaips.inesc-id.pt/aamas2008/.

Three simultaneous events be held between 11-17 May 2008 in Paraty, Brazil: * CLE 30 - 30th Anniversary of the Centre for Logic, Epistemology and the History of Science (CLE), UNICAMP
* XV EBL - 15th Brazilian Logic Conference
* XIV SLALM - 14th Latin-American Symposium on Mathematical Logic

The topics include Philosophical and Mathematical Logic and applications with emphasis on Model Theory and Proof Theory, Set Theory, Non-Classical Logics and applications, History and Philosophy of Logic, Philosophy of the Formal Sciences and Foundations of Mathematics. A "Logic School" intended for students (but open to anyone interested) is planned to be held in the State University of Campinas (UNICAMP) between 7 - 9 May, 2008.

For more information, see http://www.cle.unicamp.br/cle30-ebl-slalm/

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, St Andrews, Barcelona, and Oslo.

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

The Harvard-MIT Gradute Philosophy Conference is an annual philosophy conference for graduate students organized by graduate students at Harvard and MIT. For the 2008 edition, the conference will be a one day event on April 23rd. The conference venues will be Emerson Hall, at Harvard, and the Stata Center, at MIT. This year's Keynote Speaker will be Professor Thomas Scanlon (Harvard University).

For more information, see http://web.mit.edu/gradphilconf/ or contact gradphilconf at mit.edu.

Recent work in the philosophy of knowledge has lead to a rediscovery -or a rethinking--- of the relationships between knowledge and action. What is the role of knowledge in the explanation of action and in practical reasoning? To what extent do knowers have to be agents and can knowledge be defined in relation to what the knower does? Are beliefs and judgements in some sense actions? Are there connexions between epistemic reasons and practical reasons, and if there are, what are they? Is there a difference between knowledge and the activity of inquiry? These are, in a sense, traditional questions, which have also a long record within the pragmatist tradition, from Peirce and Ramsey to Isaac Levi, and which can be examined from many angles, from epistemology to philosophy of mind and issues about practical reasoning or meta-ethics. The aim of this conference, which is to examine these issues from a number of aspects, starting from the question: can there be epistemic agency ?

More details at: http://www.unige.ch/lettres/philo/evenements/2008/EpistemicAgency.html.

The three main themes of the conference TAMC08 (the 5th in an annual series) will continue to be Computability, Complexity, and Algorithms. It aims to bring together researchers with an interest in theoretical computer science, algorithmic mathematics, and applications to the physical sciences.

For more information, see http://ictt.xidian.edu.cn/tamc2008/

Science presents us with a variety of accounts of the world. While some of these accounts posit a deeper theoretical structure and fundamental entities, others do not. But which of these accounts is the right one? How should science conceptualize the world? And what is the relation between the various accounts?

Opinions on these issues diverge wildly in philosophy of science. At one extreme are reductionists who argue that higher-level theories should, in principle, be incorporated in or eliminated by the basic level theory. Higher-level theories do not ultimately exhibit conceptual integrity or provide genuine explanations. At the other extreme are pluralists who take higher levels of description and explanation seriously and argue for their independence and indispensability. Our goal in this conference is to bring together representatives from as many viewpoints as possible in order to advance our understanding of this problem. We invite case studies from the natural, social and behavioural sciences as well as discussions of philosophical models of intertheoretic relations.

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

Philosophical theorizing about the nature of properties has usually focussed on examples that are all-or-nothing (red, square), and scalar valued (mass, temperature). Properties with more complex values, such as vectorial properties (velocity, field strength) have not received much attention. To redress this imbalance, dialectica invites submissions for publication in a special issue on the metaphysics of vectors in the first half of 2009. Guest editors: Philipp Keller, Stephan Leuenberger.

Please send a pdf prepared for blind reviewing to philipp.keller at lettres.unige.ch and stephan at coombs.anu.edu.au. Deadline for Submissions: October 1, 2008 (Notification of Acceptance: January 1, 2009, Final version due: March 1, 2009).

LATIN was launched in 1992 to foster the interaction between the Latin-American community and computer scientists around the world. LATIN'08 will be the eighth of a series.

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

Vagueness is a pervasive phenomenon in natural language, which appears to be instantiated in nearly all lexical categories (including adjectives, nouns, verbs, and quantifiers). In recent years, progress has been made, both in philosophy and in linguistics, to characterize the sources as well as the varieties of vagueness. At the foundational level, a central debate concerns the epistemic vs. semantic nature of the vagueness phenomenon, and the proper understanding of the relation between the notions of vagueness, ambiguity, context-dependence, and imprecision. In linguistic theory, some significant advances have been made on the semantics of gradable adjectives and on the role and behavior of vagueness related adverbs (such as "clearly", "approximately", and "definitely").

These advances raise the question of how empirical studies of language may bear on the debate about the nature of vagueness, and whether they can help to adjudicate between competing accounts (epistemic vs. semantic theories, contextualist vs. non-contextualist accounts). In addition to that, a number of issues remain open for investigation: is vagueness manifested and resolved in the same way across lexical categories (nouns vs. adjectives, logical vs. non-logical expressions)? How is the vagueness of lexical items blocked or inherited in larger semantic units (e.g. in comparative constructions), and what can this tell us about its nature? How do various theories explain the fact that we use vague terms successfully to communicate meaning in spite of their vagueness? The aim of this conference will be to bring together linguists and philosophers, with contributions on both the foundational and the empirical aspects of the phenomenon of vagueness in natural language.

For Conference Description and details of the CFP, see: http://paulegre.free.fr/Vagueness/index.html or contact vagueness.paris08 at gmail.com.

In recent years, fresh encounters have taken place between analytic philosophy and Asian thought. Contemporary analytic and logical tools have been applied to interpret Asian philosophies, while the rich variety of traditional ideas in the latter gives new perspectives in analytic philosophy. This conference is organized to enhance this trend, as well as to assess its status quo. Any tradition of Asian philosophy is included, though the emphasis of the conference is likely to be in areas related to Buddhism, such as Zen and other Mahayana schools, and Japanese philosophy such as Kyoto.

For more information, see http://homepage2.nifty.com/ydeguchi/apat2008/

LATA is a yearly conference in Computer Science and it intends to become a major yearly conference in theoretical computer science and its applications. As linked to the International PhD School in Formal Languages and Applications that is being developed at the host institute since 2001, it will reserve significant room for young computer scientists at the beginning of their career. LATA will aim at attracting scholars from both classical theory fields and application areas (bioinformatics, systems biology, language technology, artificial intelligence, etc.).

Deadline submission of papers (extended): 23-11-2007. For more information, see http://grammars.grlmc.com/LATA2008/ or email carlos.martin at urv.cat

EWSCS is a series of regional-scope international winter schools held annually in Estonia. EWSCS are organized by Institute of Cybernetics (IoC), a research institute of Tallinn University of Technology. EWSCS '08 is the thirteenth event of the series.

The main objective of EWSCS is to expose Estonian, Baltic, and Nordic graduate students in computer science (but also interested students from elsewhere) to frontline research topics usually not covered within the regular curricula. The subject of the schools is general computer science, with a bias towards theory, this comprising both algorithms, complexity and models of computation, and semantics, logic and programming theory. The working language of the schools is English.

The deadline for applications (and submission of abstracts for the student session) is 18 January 2008.

For more information, see http://cs.ioc.ee/ewscs/2008/ or contact ewscs08 at cs.ioc.ee.

The Department of Philosophy of the University of Geneva and the Genevan centre of metaphysics EIDOS organize a conference entitled "Because", which will take place from the 15th to the 17th of February 2008 in Geneva. This three-day conference will be devoted to the topic of non-causal explanatory links.

For more information, see http://www.unige.ch/lettres/philo/because.html or contact Fabrice Correia at fabricecorreia at gmail.com.

Keynote Speaker: Prof. Alva Noe (Univ. of California/Berkeley). Registration is open until the 31st of January 2008. Selected Graduate Papers from the areas philosophy of mind or epistemology will be presented and discussed at the Graduate Conference.

For more information, see http://www.research-school.rub.de/cms/rudolf_carnap_lectur.html.

The 14th Computing: The Australasian Theory Symposium (CATS) will be held at the University of Wollongong, New South Wales, Australia, during January 22-25, 2008. Wollongong is about an hour south of Sydney by train. CATS is one of the two premier annual conferences in theoretical computer science in the Asia-Pacific.

For more information, see http://uob-community.ballarat.edu.au/~pmanyem/cats-08/

The Philosophy Faculty of Cambridge University is pleased to announce its first 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).

The conference website is: http://www.phil.cam.ac.uk/news_events/camgradphilconf.html. If you have any further questions, please contact the conference organizers, Tim Button and Luca Incurvati, at: cam.phil.grad.conf at googlemail.com.

The International Symposium on Artificial Intelligence and Mathematics (ISAIM) is a biennial meeting that fosters interactions between mathematics, theoretical computer science, and artificial intelligence. This is the tenth Symposium in the series, which is sponsored by Annals of Mathematics and Artificial Intelligence. We seek submissions of recent results with a particular emphasis on the foundations of AI and mathematical methods used in AI. Papers describing applications are also encouraged, but the focus should be on principled lessons learned from the development of the application. Traditionally, the Symposium attracts participants from a variety of disciplines, thereby providing a unique forum for scientific exchange. The three-day Symposium includes invited speakers, presentations of technical papers, and special topic sessions (including sessions on "Logic in AI" and "Computation and Social Choice").

For more information, see http://isaim2008.unl.edu/.

On November 28 2008 the Donders Institute for Brain, Cognition and Behaviour will organize a symposium on the occasion of the opening with internationally-renowned speakers from world-class research institutes.

For more information, see http://www.ru.nl/neuroimaging/general/news/

On Wednesday 19th November there will be the 17th meeting in the series "Set Theory and its Neighbours" in the Mathematics Dept. at the University of Bristol. The theme will be "Set Theory and Its Neighbours: Set Theory, Games, and Bounded Arithmetic".

Further information and a program can be found at http://www.logic.univie.ac.at/~welch/.

There is a traditional picture of logic that may be spelled out as follows: Logic is concerned with the principles for correct reasoning and valid arguments; its principles are universal, necessary, apriori and formal; logically valid arguments are necessarily truth-preserving and have a fundamental epistemic significance; and finally, logic is in some sense a normative discipline.

This traditional picture gives rise to many questions. The notions of universality, logical necessity,apriority, and formality are difficult to analyze. In what sense, if any, is logic normative? Is there a principled way of distinguishing between logical and non-logical concepts? While continuing to face these foundational questions, logic has developed into an advanced mathematical discipline - mathematical logic - where the informal notions of logical proof, validity and logical consequence are given mathematical explications.

For more information, see http://web.me.com/stenlindstrom/Webbplats/workshop.html

In 1964, in one of the six Messenger lectures he delivered at Cornell University, Richard Feynman said: "It always bothers me that, according to the laws as we understand them today, it takes a computing machine an infinite number of logical operations to figure out what goes on in no matter how tiny a region of space, and no matter how tiny a region of time ... So I have often made the hypothesis that ultimately physics will not require a mathematical statement, that in the end the machinery will be revealed, and the laws will turn out to be simple, like the chequer board with all its apparent complexities."

The topic of the conference has been chosen with this quote in mind. The conference will host a most distinguished group of scientists supporting different views of a computable universe, from those supporting the thesis that Nature performs (only) digital computation and does it up to a maximal level, to those supporting the thesis of nature as a quantum computer. Some strongly suggest however that the true nature of Nature can be only explained by the study of randomness. Randomness however preserves its mysterious reputation, for some of these authors it seems that randomness can be generated deterministically in the classical sense, while others claim the existence of "true" randomness from the principles underlying quantum mechanics necessarily to explain the complexity seen around. This event will become the place of confluence in which all these views will be presented, discussed and analyzed by the guests and the conference participants themselves. After presenting their views during the first three days of the conference, the keynote speakers will then participate in a round table discussion on the topic.

For more information, see http://www.cs.indiana.edu/~dgerman/2008midwestNKSconference/.

This is the second in a series of workshops, which are jointly organized by Roman Frigg (LSE), Jacques Dubucs (IHPST, Paris) and Stephan Hartmann (Tilburg). There will be two or three workshops per year and their objective is that both members of faculty and research students from all institutions involved as well as guests from outside get together to discuss their recent research. The workshops are open to all and there is no registration fee.

For more information, including the program and abstracts of all talks, visit http://www.tilburguniversity.nl/tilps/LPT/LPT2/

The workshop is held in honor of the 60th birthday of Giovanni Sambin. The list of speakers includes outstanding scholars such as Per Martin-Löf and many followers of Giovanni Sambin.

For more information, see http://www.math.unipd.it/60thsambin/

'Music, Science and the Brain' symposium marks end of the EU-FP6 project named EmCAP. EmCAP (Emergent Cognition through Active Perception) is a research project in the field of Music Cognition funded by the European Commission (FP6-IST, contract 013123) that involves a consortium by Dr Sue Denham and Dr Eduardo Miranda (University of Plymouth), Dr Henkjan Honing (Universiteit van Amsterdam, Institute for Logic, Language and Computation), Prof Istvan Winkler (Institute for Psychology, Hungarian Academy of Sciences), and Prof Gustavo Deco and Prof Xavier Serra (University Pompeu Fabra, Barcelona, Music Technology Group & Computational Neuroscience Group).

For more information on conference, see http://neuromusic.soc.plymouth.ac.uk/Symposium.html. For more information on EmCAP, see http://emcap.iua.upf.es/.

The interdisciplinary workshop 'Logic and information security' focuses on the logical analysis of protocols for secure communication, including additional communicative aspects susceptible to attack. Disciplines and subdisciplines involved are: modal logic, combinatorial mathematics, information science, computer science, cryptography, computer security, philosophy, cognitive science, linguistics.

For more information, see http://www.lorentzcenter.nl/lc/web/2008/302/info.php3?wsid=302

The interdisciplinary workshop 'Logic and information security' focuses on the logical analysis of protocols for secure communication, including additional communicative aspects susceptible to attack. Disciplines and subdisciplines involved are: modal logic, combinatorial mathematics, information science, computer science, cryptography, computer security, philosophy, cognitive science, linguistics. Areas of interest are combinatorial mathematics for bit exchange, information-based analysis with or without modal logic, zero-knowledge protocols and oblivious transfer (and in particular epistemic logical analyses of such phenomena), and model checking protocols - both temporal epistemic and dynamic epistemic model checking as more real-time protocol verification (often with first-order logics and systems based on term or equational rewriting).

For more information, see http://www.lorentzcenter.nl/lc/web/2008/302/info.php3?wsid=302

This is the fourth in a series of meetings exploring mathematical methods in epistemology, semantics, theories of truth, and philosophy of mathematics in a British Academy funded research project.

For more information, see http://users.ox.ac.uk/~sfop0114/rg/meetings/bristol08.html or contact Philip Welch at p.welch at bristol.ac.uk.

The biennial meeting of the German Society for Mathematical Logic (DVMLG), Colloquium Logicum 2008, will be held at the Technische Universitaet Darmstadt, September 10-12, 2008. The Herbrand Centenary Lecture will be held by Georg Kreisel (F.R.S., Salzburg).

Deadline for registration is the 30th of June. For further details about the meeting, registration, etc. see the meeting's homepage at: http://www.mathematik.tu-darmstadt.de/fbereiche/logik/events/collogicum/.

(dutch only)
Op 9 juli 2008 heeft N.G. (Dick) de Bruijn, wiskundige, KNAW-lid en erelid van het Koninklijk Wiskundig Genootschap, de leeftijd van 90 jaar bereikt. We vieren deze heuglijke gebeurtenis met een symposium ter ere van hem en zijn bijdragen aan vele uiteenlopende takken van de wiskunde en informatica.

Het symposium zal plaatsvinden op vrijdagmiddag 5 september, van 13:30 tot 17:30 uur, met aansluitend een receptie. De bijeenkomst vindt plaats in De Zwarte Doos, op het terrein van de Technische Universiteit Eindhoven.

Nadere informatie over het programma en een routebeschrijving zijn te vinden op de website van het symposium: http://www.win.tue.nl/debruijn90/

At the end of last year the research group Phlox (Philosophy and Logic of Explanation) was born at the Humboldt University in Berlin. In order to celebrate this event we are organizing a launch workshop on current issues in metaphysics and the philosophy of language.

with all relevant information concerning the workshop at phloxshop.wordpress.com In case you would like to attend or have any questions concerning the workshop, please do not hesitate to contact us via email: j We do not arrange accommodation for non-speakers but would be happy to assist you in arranging your own (Berlin is a cheap place to stay and always worth a visit, especially in beautiful late summer).

For more information, see http://eppe.wordpress.com/philosophy-and-explanation/ or http://phloxshop.wordpress.com/ or contact justbecause at gmx.de.

Rudolf Carnap's Principle of Tolerance is an early formulation of the idea of Logical Pluralism: "In Logic, there are no morals. Everyone is at liberty to build his own logic, i.e. his own form of language as he wishes". But is the logical validity of an argument just a matter of language choice? And if so, is this really a pluralism about logic, not rather a pluralism about languages?

Contemporary Logical Pluralism also insists that there is more than one correct logic. Classical, intuitionist, and relevent logic, as well as a number of other logics, all correctly govern our reasoning within a given language, but apply to different cases. Can we make sense of genuinely different, but equally good logical consequence relations?

Registration deadline for this conference is July 1st, 2008. To register, please send an email to cohnitz at ut.ee. For more information, see http://daniel.cohnitz.de/index.php?conference.

There will be two conferences related to set theory in Japan this summer. One is the ALC 10 (Asian Logic Conference) in Kobe (Sept. 1 - 6); the other is a workshop on Combinatorial and Descriptive Set Theory in Kyoto (Aug. 25 - 29).

Activities in set theory at the ALC include one 4-hour tutorial (Greg Hjorth), one plenary lecture (Justin Moore), and a special session with eight speakers. The set theory workshop in Kyoto will feature two minicourses (Simon Thomas and Menachem Kojman). Several speakers have already been invited, and we hope there will be many more talks, in particular by junior participants.

The Asian Logic Conference has occurred every three years in Asia-Pacific region since 1981, Singapore. The purpose of the conference is to facilitate interaction between researchers interested in mathematical logic, logic in computer science, and philosophical logic. It aims at promoting activities in mathematical logic in the Asia-Pacific so that logicians both from within Asia and elsewhere would get together and exchange information and ideas.

For more information, see http://kurt.scitec.kobe-u.ac.jp/ALC10/ (ALC) and http://kurt.scitec.kobe-u.ac.jp/~brendle/rims2008/e-home.html (Workshop).

The summer academy will focus on the long-lasting controversy of the relationship between modern formal logic (including its use for automated reasoning and computation) and, on the other hand, the rationality and common sense underlying human reasoning. Traditionally, a huge gap is perceived between the symbolic representation of knowledge used in modern logic and the sub-symbolic representation considered dominant in human reasoning. Psychological experiments of the past even suggested that people often don't reason logically and, in general, that logic seems to play only a minor role in human reasoning. However, recently, new ways of explaining human reasoning seem to revive its relatedness to logic. For this reason this summer academy attempts to bring together researchers from both sides for an exchange of views.

Deadline for registration: April 1, 2008 (after April 1, registration will be possible only for as long as there are vacant places). For more information, see http://www.computational-logic.org/iccl-ss-2008/.

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, ordinal computability, Blum-Shub-Smale machines, infinite time Turing machines and locally computable structures, among others. The workshop will both provide tutorial-type introductions to each approach and aim ultimately at the exploration of their connections.

For more information, see http://nylogic.org/EMU

This workshop aims to discuss differences and convergences across a number of representative models of language acquisition, in the context of recent results in human language learning. In particular, we want to contribute to a better understanding of the interplay between prior knowledge and linguistic experience (rules and exemplars) in modeling the acquisition process of complex linguistic phenomena.

Organizer: Rens Bod. For more information, see http://staff.science.uva.nl/~rens/cogscisymposium08.pdf

On the occasion of Wolfram Pohlers' retirement the Institute for Mathematical Logic in Münster will sponsor a colloquium and a workshop to take place July 17-18, 2008.

Cf. http://wwwmath.uni-muenster.de/logik/Personen/rds/pohlersfest.html for further details.

On Monday the program will start with an Opening Ceremony, followed by the Prize Giving Ceremony and a Plenary lecture. In the afternoon there will be parallel Invited lectures and Prize lectures, followed by a Plenary lecture. In the evening we scheduled a special program, the Brouwer medal ceremony, organized by KWG.

On the other days the conference offers Plenary, Science, Invited and Prize lectures, four sessions of mini-symposia, and an industrial round table meeting on Tuesday. On Thursday, KWG organizes the so-called Beeger lecture. During the conference, participants will get the occasion to present posters about their research.

For more information, see http://www.5ecm.nl/

We are holding a symposium to celebrate Alan Bundy's 60th birthday, to be held on July 13th and 14th this summer.

The broad range of Alan's research interests will be reflected in the invited talks by top international researchers who have worked closely with Alan over the years: Jörg Siekmann, Fausto Giunchiglia, Frank van Harmelen, Luigia Aiello, Chris Mellish, Dave Robertson, Stan Wainer and Alan Smaill. There will be public lectures on the Future of AI and many opportunities for informal conversation as well as round table discussions. This will also be the first event showcasing the new University of Edinburgh Informatics Forum.

Further information and registration is available online at http://dream.inf.ed.ac.uk/events/bundy-symposium/. Any questions concerning the event can be sent to Sofi Freijeiro-Mato (sfmato at inf.ed.ac.uk).

The aim of the conference is to bring together specialists working in set theory, topology and functional analysis, as well as all researchers and graduate students who want to learn or already work on the interactions between these areas.

Invited Speakers: Bohuslav Balcar, István Juhász and Witold Marciszewski.

For more information, see the conference website at http://www.pu.kielce.pl/~topoconf/ or contact topoconf at pu.kielce.pl.

This symposium aims to explore the impact of the humanities in Early Modern Europe (in particular philology, grammar, logic and history) and to understand the mutual interaction between the humanities and the natural sciences. Such a comparative approach has rarely been investigated.

Questions that will be addressed are: What were the major discoveries and inventions in the humanities? What was the role of the humanities in the development of the natural sciences and the scientific revolution? Was there a (historical) revolution in the humanities? The papers of this panel show how closely intertwined the practices of the humanities and natural sciences were, and how the same scholar could combine both practices in the same piece of work. The papers highlight through a rich set of examples one of the most intriguing features of the early modern sciences: the interlocking of philological learning and observational skills -- the connection between erudition and empiricism.

Organizers: Rens Bod and Jaap Maat. For more information, see http://staff.science.uva.nl/~rens/paneloxford.pdf

The Center for Language and Speech Processing at the Johns Hopkins University is seeking outstanding members of the current junior class to participate in a summer workshop on language engineering from June 23 to August 15, 2008.

The eight-week workshop provides a vigorously stimulating and enriching intellectual environment and we hope it will encourage students to eventually pursue graduate study in the field of human language technologies.

Applications must be received by Wednesday, March 5, 2008. For more information, see http://www.clsp.jhu.edu/ws08/application

ASSC 12 is a meeting that promotes interdisciplinary discussions and debates about current empirical issues in the study of consciousness, from the perspectives of neuroscience, philosophy, psychology, computer science and cognitive ethology.

For more information, see http://www.ym.edu.tw/assc12/ or contact assc12 at ym.edu.tw

In the summer of 2008, 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, and to forge lasting links between the various disciplines.

This year's topics are "Causal and Statistical Inference", "Semantics and Discourse Representation", and "Logic and Formal Verification"

Deadline for applications: March 15, 2008. For more information, see http://www.phil.cmu.edu/summerschool/. Inquiries may be directed to Jeremy Avigad (avigad at cmu.edu).

The purpose of the 2008 International Workshop on Truth Values is to present and discuss work on various interrelated aspects of truth-values: philosophical, logical and algebraic among them. The topics of the workshop include:

- the philosophical elucidation and theoretical explication of the notion of a truth value;
- general formal tools for a uniform treatment of various logical, mathematical and philosophical aspects of truth values and valuational systems within a joint theoretical framework;
- the interpretation of logical calculi as valuational systems, the development of general methods of formalizing (in axiomatic, sequent, tableau etc. style) logical theories on the basis of a given system of truth values and the examination of their syntactic and semantic properties;
- the investigation of topical problems of many-valued logics, such as Suszko's Thesis, truth value gaps, logical and semantical paradoxes etc.;
- possible applications of generalized truth values and generalized truth value functions in various areas of philosophical and mathematical interest.

For more information, an online registration form and a preliminary program, see http://www.truthvalues2008.com/

As a mathematical framework to reason about fixpoints in modal logic, the modal \mu-calculus constitutes a meta formal system for many logics used in computer science. It is indeed weaker than second order logics, but sustains enough expressibility for many applications, in particular in program synthesis and verification. It is strongly connected with the theory of automata, since modal \mu-calculus is in fact equivalent to alternating tree automata. Modal \mu-calculus forms a research field of considerable interest, because of the richness of its powerful, although simple, mathematical theory which establishes deep connections with logic, algebra, automata, and game theory.

If the connection with the theory of automata and games, has been intensively studied, many questions remain open. For instance the precise complexity - or even the understanding - of modal \mu-calculus formulas is in many cases a total mystery. Not to mention that most decidability questions related to alternating tree automata are unanswered yet. The aim of this scientific meeting is to bring together researchers from various countries and background to work together for 2 days on \mu-calculus and automata.

Registration deadline: May 20, 2008 Further information about ABCD on Mu-Calculus can be obtained at http://www2.unil.ch/logique/ABCDmu-calculus08/. E-mail enquiries about this mini-workshop should be directed to alessandro.facchini at unil.ch

The workshop celebrates Goldman's groundbreaking contributions to contemporary epistemology.

Attendance is free and open to all. If you plan to attend, please contact us at werning at phil.uni-duesseldorf.de by April 20, 2008. For more information, see http://goldman.uni-duesseldorf.de/

As its very successful predecessors, EASSS'08 aims to offer a valuable forum for knowledge exchange between various research groups in this field for the benefit of students and researchers at both beginner and advanced level. EASSS consists of a mixture of introductory and advanced courses delivered by internationally leading experts in multi-agent systems, and it covers the full range of theoretical and practical aspects of multi-agent systems.

For more information, see http://centria.di.fct.unl.pt/events/easss08/.

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. The theme for the 2008 convention is "Communication, Interaction and Social Intelligence". This is a return to the same broad area as the highly successful AISB 2005 convention on "Social Intelligence and Interaction in Animals, Robots and Agents".

Early Registration Deadline: 4 March. For more information and a list of symposia, see http://www.aisb.org.uk/convention/aisb08/

Friday March 14, 2008 we will have the next national Dutch NVTI Theory day. NVTI is the "Nederlandse Vereniging voor Theoretische Informatica". The symposium will be held in Hoog Brabant at Utrecht Central station.

We are proud that we can announce the following scientific speakers from The Netherlands and abroad:
Christos Papadimitriou (Berkeley)
Colin Stirling (University of Edinburgh)
Marielle Stoelinga (University of Twente)
Ronald de Wolf (Centrum voor Wiskunde en Informatica)

For more information and abstracts, see http://www.nvti.nl/ or contact Jaco van de Pol. at vdpol at cs.utwente.nl.

Simulation is proposed as a mechanism for a vast spectrum of cognitions, ranging from learning motoric skills to understanding other's intentions and emotions. Within cognitive neuroscience, simulation-based accounts of cognitive abilities have become hugely popular following the discovery of mirror neurons in the mid-nineties. These neurons are activated both by the observation and production of a particular action, suggesting that the observer implicitly simulates the action with his/her own motor system in order to understand it.

In this symposium we will investigate how far we can take the simulation account for understanding the mind. To this end, several leading figures from complementary fields of cognitive science will address issues like: 'What do we simulate when we observe others?' 'Do we simulate to understand or to predict?' 'How do we understand actions that we cannot simulate?'

For more information, see http://oase.uci.ru.nl/~florisdl/simulation/

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 vizualisation, data mining and analysis, and knowledge management.

For more information, see http://www.latece.uqam.ca/icfca08/.

There will be a Very Informal Gathering of logicians at UCLA, starting the afternoon of Friday, February 1, 2008, and ending at noon on Sunday, February 3, 2008. This is the fourteenth in a series of occasional meetings, which started in 1975-76 and are characterized by few formal talks (in all areas of logic) and plenty of time for informal contact. The invited speakers are Jeremy Avigad, Deirdre Haskell, Marcus Kracht, Justin Moore, Chris Pollett, Jan Reimann, and Christian Rosendal.

The meeting is open to all, and modest Travel Awards are available for graduate students in logic. Further information can be found on the UCLA Logic Center website, http://www.logic.ucla.edu/.

The Indian winter school on Logic is a biennial event. The first school was held during January 3-18, 2006, at IIT Bombay. The objective is to place before students and researchers of the country, some basics as well as active research areas in Logic.

The plan this time is to concentrate on a few themes: Algebraic Logic, Beyond Probabilistic Uncertainty, Logic and Games, Logic, Bisimulation and Markov Processes, Philosophical Logic, Probabilistic Logic, Set Theory and Spatial Reasoning. Each theme may have more than one speaker involved, and will range from an introduction to the state-of-the-art for some topic(s) under it. In addition, there will be time for tutorials/discussion hours. Some special lectures may be accommodated as well.

There are no registration fees for the school, and local hospitality will be provided to all. Students who are ASL members, may apply for (limited) ASL travel funds directly to the ASL office (deadline: October 14, 2007). For more information, see http://home.iitk.ac.in/~mohua/school/school.htm or contact the co-ordinators at mohua at iitk.ac.in or seth at iitk.ac.in.

Preceding the defense, at 10 am (sharp) the promotion-performance 'Living Picture' will be held in the Aula.

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

For more information, please contact tkassena at science.uva.nl

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

For more information, please contact m.e.counihan at uva.nl

For more information, see http://student.science.uva.nl/~froelofs/defense/

For more information, see http://homepages.cwi.nl/~unger/. A preliminary version of the dissertation may be found at http://homepages.cwi.nl/~unger/Diss.pdf

For more information, please contact tkassena at science.uva.nl

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

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

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

For more information, see t.kassenaar at uva.nl

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

For more information, please contact tkassena at science.uva.nl

For more information, please contact tkassena at science.uva.nl

For more information, please contact tkassena at science.uva.nl

For more information, see here or http://www.rietveldlandscape.nl/downloads/CVdisswebsite.pdf, or e-mail Erik Rietveld at izeberg at hotmail.com

For more information, please contact tkassena at science.uva.nl

For more information, please contact tkassena at science.uva.nl

For more information, see http://homepages.cwi.nl/~wehner/.

For more information, contact Fenrong Liu (fenrong at science.uva.nl)

For more information, contact Olivier Roy (oroy at science.uva.nl)

In 2007, female scientists in the UvA Science Faculty have initiated a Women in FNWI (WiF) Network. The main objectives of this network are to serve as a platform for women in the FNWI to regularly meet each other in an informal setting, and to identify realistic ways to increase the proportion of female academic staff within the FNWI over the next decade.

For more information, see k.h.hair at uva.nl

Or see here.

Johan van Benthem was awarded the Weilun Visiting Professorship of Humanities at Tsinghua University in October. An honorary title presented to him by the Vice-President of the University.

For more information, please contact P.vanOrmondt at uva.nl

Endowed professorships are living memorials to the donor's belief in intellectual values and social responsibility as well as the chairholder's commitment to increasing knowledge and understanding. The donor, the person in whose honor the donor may choose to name the chair, each successive holder, and the university all share in the prestige that surrounds each endowment. At Stanford, the roster of endowed chairholders stands as an honor roll of the university's most distinguished faculty members. The list of donors is an honor roll of Stanford's most far-sighted and generous friends - friends who have made enduring contributions to the university's excellence and independence.

For more information, see http://professorships.stanford.edu/get/layout/pbooks/has4

Lorenz Demey, one of our MSc Logic student, has won the ANTW-Selexyz Essay prize for his essay titled: "Een geunificeerde theorie van bepaalde en onbepaalde beschrijvingen" (In Dutch only, I'm afraid).

The ANTW is the Algemeen Nederlands Tijdschrift voor Wijsbegeerte, or the General Dutch Journal for Philosophy.

We congratulate Lorenz with his award.

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

Katrin Schulz has won the LOT publieksprijs for her dissertation ``Minimal Models in Semantics and Pragmatics. Free Choice, Exhaustivity and Conditionals''. The price was handed out at the Taalgala 2008, held on November 14 in Utrecht.

Voor meer informatie, zie http://wwwlot.let.uu.nl/News&Events/Events/Taalgala%202008/

We are very happy that this year again we will have a VENI award winner at ILLC. Davide Grossi, now in Luxembourg, has chosen the ILLC to carry out his research on "Norm Implementation via Mechanisms". He will start January 1, 2009.

For more information, see http://www.davidegrossi.name/.

Erik Rietveld, former PhD student of ILLC, is awarded an NWO Rubicon-grant for a two year stay as a fellow in Philosophy at Harvard University. The title of his research project is 'Unreflective Action'. Congratulations!

For more information: http://www.nwo.nl/nwohome.nsf/pages/NWOA_7GTCML

NWO has awarded a Rubicon grant to Erik Rietveld. The grant allows him to work for two years to as a researcher at Harvard University's Department of Philosophy.

His project starts from the observation that in many situations in our daily lives we act adequately, yet unreflectively. With certainty and fluency we descend stairs, maintain an appropriate distance from the other people in an elevator, and without deliberation we stop the pedestrian next to us, who, while about to cross the street, does not notice an oncoming car. Often we just act, and normally this immediate action is appropriate. The overall aim of his research project at Harvard University is to contribute to a better understanding of such adequate unreflective action. He approaches this phenomenon primarily from a philosophical perspective, but one that is open to interaction with affective science and neuroscience. According to him, such an integrative approach is important because it is only through integration of the findings of various disciplines that we can achieve an understanding of this complex phenomenon.

For more info, see http://www.rietveldlandscape.com/downloads/CVdisswebsite.pdf or d.w.rietveld at uva.nl.

ILLC has been very successful in the Eurocores program LogICCC (http://www.esf.org/activities/eurocores/programmes/logiccc.html) Nine projects were selected in the first round of this program, and ILLC is a partner in four of these. Each will bring ILLC a PhD student or postdoc.

For more information, see here

Barbara Plank (thesis main supervisor: Khalil Sima'an) wins the IBM & KRDB Best Thesis Award 2008 for the best thesis on "Language and Communication Technologies" for the MSc thesis carried out within the European Masters Program in LCT jointly supervised at the UvA and the Free University of Bozen-Bolzano and entitled "Sub-domain driven parsing".

For more information, see http://www.inf.unibz.it/mcs/lct/phd08.php

Gideon Borensztajn is a graduate of the master Cognitive science. He has won the prestigious international CogSci prize for the best paper on Applied Cognitive Modeling.

Together with co-authors dr. Jelle Zuidema and professor Rens Bod Borensztajn wrote the paper: "Children's grammars grow more abstract with age - Evidence from an automatic procedure for identifying the productive units of language." The prize will be handed out in July 2008 during the Cognitive Science Conference 2008 in Washington D.C. It is a very competitive prize and from 1000 submissions only 4 papers were selected for an award.

Gideon Borensztajn obtained his 'cum laude' masters degree in Cognitive science at the end of December 2006 and now works as a PhD student at the Institute of Language Logic and Computation (ILLC). His research is aimed at the integration of cognitive science and computational linguistics. Borensztajn is part of the VICI project of Professor Rens Bod and apart from Professor Rens Bod he is supervised by dr Jelle Zuidema.

For more information, see http://www.ccc.utexas.edu/cogsci08/ and http://staff.science.uva.nl/~gideon/. The award-winning paper may itself be found at http://staff.science.uva.nl/~rens/cogsci08.pdf.

Nina Gierasimczuk, PhD student at ILLC, has won the "Foundation for Polish Science Award for Young Researchers START 2008". This stipend is awarded "to the most promising young researchers (up to the age of 30) whose achievements have been already recognised." Congratulations!

For more information, please contact ingrid at science.uva.nl

The Elsevier Foundation announced that they are funding a programme called "Increasing representation of female researchers in the computability community". The CiE conference series, coordinated by Benedikt Löwe, receives an Elsevier grant in order to play an important role in giving female researchers the opportunity to present results and serve as plenary speakers and role models. CiE-CS will use the grant to establish mentoring and childcare programs at the conference.

For more information, see http://www.illc.uva.nl/CiE/index.php?page=22_3

The Music Cognition Group has been nominated for the second and final round of the Academische Jaarprijs [Academic Year Award], an initiative of the Dutch newspaper NRC Handelsblad and two scientific organizations (NWO and KNAW) to promote the popularization of science. The UvA-team will participate with the project proposal 'Zonder luisteraar geen muziek' ['No Music without a listener']. They wish to express their thanks to everybody who has helped them in the first round.

For more information, see http://www.musiccognition.nl/blog/2008/01/zonder-luisteraar-geen-muziek.html and http://www.science.uva.nl/actueel/nieuws.cfm/A1E295C3-1321-B0BE-A450F7699BAC1EEE.

Frank Veltman and Robert van Rooij are awarded an NWO Open Competition project called 'Vagueness - and how to be precise enough'. The subsidy will be for one postdoc and one PhD student.

For more information, please contact ingrid at science.uva.nl

In the framework of 'Dynamisering van het onderzoek' the FGW awarded a project (1 PhD student) to a joint venture of Kees Hengeveld, Hedde Zeijlstra (both ACLC), Maria Aloni, Jeroen Groenendijk and Frank Veltman. The title is: 'Crosslinguistic semantics'

The European Research Consortium for Informatics and Mathematics (ERCIM) offers fellowships for young promoted researchers who would like to do research at two ERCIM affiliated institutes.

Deadline: 30 april.
For more information, see http://www.ercim.org/activity/fellows.

The Academy's Visiting Fellowship scheme, launched in 2005, enables early-career scholars from overseas to apply directly to the Academy, in conjunction with their UK hosts, for research visits to the UK of two to six months. The main purpose of the visit should be to enable the visitor to pursue research.

Deadline for applications: 12 January 2009. For more information, see http://www.britac.ac.uk/funding/guide/intl/visfells.cfm

Eligible for the 2009 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.2007 and 31.12. 2008. The 2009 Ackermann Award will be presented to the recipients at the annual conference of the EACSL (CSL'09).

The deadline for submission is 15.3.2009. For more information, see http://www.dimi.uniud.it/eacsl/submissionsAck.html

The Marie Curie International Research Staff Exchange Scheme aims at strengthening research partnerships through short period staff exchanges and networking activities between European research organisations and organisations from countries with which the Community has an S&T agreement or are in the process of negotiating one, and countries covered by the European Neighbourhood policy.

Deadline for proposals: 27 March 2009. For more information, see http://cordis.europa.eu/fp7/dc/

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 2008 is now available from the ILLC website at http://www.illc.uva.nl/NewsandEvents/GrantUpdate/Grant_Update_1-12.pdf.

The COFUND action supports existing or new regional and national fellowship programmes (to open up to and provide for trans-national mobility), as well as international programmes. COFUND will support fellowship programmes for the most promising experienced researchers, helping them in their career development. The programmes must run an open, merit-based competition for the applying researchers, founded on international peer-review. The freedom of the fellows to choose a research topic and the appropriate research organisation fitting their individual needs is a key element for the COFUND action.

Deadline for applications: 19 February 2009 at 17:00:00 Brussels local time. For more information, see http://cordis.europa.eu/fp7/dc/

The European Research Council is a European funding body. ERC Grants aim to support single research leaders ('Principal Investigators') heading a research team to conduct a frontier research project on the condition that he/she is engaged by a legally established host organisation. The ERC now calls for proposals for Advanced Investigators grants. The ERC Advanced Investigator Grant (ERC Advanced Grant) funding scheme targets researchers who have already established themselves as independent research leaders in their own right.

Deadline for submissions is March 25th, April 15th or May 6th, depending on the subject area of the research proposal. For more information, see http://erc.europa.eu/index.cfm?fuseaction=page.display&topicID=67

The september 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/egl_nieuwsbrief/ and http://www.senternovem.nl/egl/egl_nieuwsbrief/ respectively.

Subsidies are available for cooperation with mediterranean countries. Subsidies are intended for coordination and support.

For more information, see http://cordis.europa.eu/

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 2008 is now available from the ILLC website at http://www.illc.uva.nl/NewsandEvents/GrantUpdate/Grant_Update_1-11.pdf.

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 2008 is now available from the ILLC website at http://www.illc.uva.nl/NewsandEvents/GrantUpdate/Grant_Update_1-10.pdf.

The Newton International Fellowship scheme will select the very best early stage post-doctoral researchers from all over the world, and offer support for two years at UK research institutions.

Submission period: from 15 October 2008 to 12 January 2009. For more information, see http://www.newtonfellowships.org/

The Researchers NIGHT action will be on Friday, 26, September, and will be the next occasion for a European wide public and media event for the promotion of research careers. The aim of this action is to bring the researchers closer to the large public, with a view to enhancing their important role in society and in particular within the citizens' daily life.

Proposals are requested for events to be part of the 'Researchers Night' action. Deadline for proposals is 14 January 2009 at 17.00.00 Brussels local time.

For more information, see http://cordis.europa.eu/fp7/dc/.

There are two types of Reintegration Grants , the first being the European Reintegration Grant. Researchers who are from EU Member States or Associated States and who have been Marie Curie fellows for at least 2 years can apply for this award. This fellowship seeks to assist the fellow with professional reintegration after the initial Marie Curie fellowship, preferably (but not necessarily) in his or her country or region of origin.

The second type is the International Reintegration Grant. European researchers who have carried out research outside Europe for at least 5 years (with or without a Marie Curie fellowship) who wish to return to Europe can apply.

The program is open for continuous submission with 'cut-off dates' for evaluation of proposals received until then on 2 April 2009 and 8 October 2009, for both dates at 17.00.00 Brussels local time. For more information, see http://cordis.europa.eu/fp7/dc/.

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 Mozaïek (Mosaic) programme, started in 2004, aims at helping representatives of ethnic minorities into the world of science.

The deadline for submitting brief research proposals is 8 January 2009. For more information, see http://www.nwo.nl/subsidiewijzer.nsf/pages/NWOP_5RNBJK_Eng?Opendocument

De Bussy Foundation offers financial support for the publication and/or translation of dissertations in the area of philosophy.

Deadlines: 1 March 2009 and 1 October 2009. For more information, please contact
De Bussy Stichting
Veenweg 62, 7416 BD Deventer
tel. 0570 608811

(In Dutch only)
NWO will organise 4 information days about changes in the Vernieuwingsimpuls.

Donderdag 6 november 9.00 - 12.00
Donderdag 6 november 13.30 - 16.00
Vrijdag 28 november 9.00 - 12.00
Vrijdag 28 november 13.30 - 16.00

For more information, see http://www.medewerker.uva.nl/fnwi/fnwi.cfm/70270E39-1321-B0BE-A4D05C3CA4C00406 or http://www.nwo.nl/vivoorlichting/.

The Von Humboldt Stiftung (VHS) in Bonn has made two annual research prizes available for senior researchers to work at a German research centre for at least 4 months and at most 12. NWO offers the same for German researchers to work in The Netherlands.

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

The Lorentz Center of the University of Leiden calls for proposals of Workshops. Deadlines are: 15 January, 15 May, 15 September.

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

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

Fellowships are awarded to distinguished overseas scientists to visit Australia for public lecture/seminar tours and to visit scientific centres in Australia. Fellows are expected to increase public awareness of science and scientific issues and accordingly will be outstanding lecturers to the general lay public.

Closing date for applications: 30 September 2008. For more information, see http://www.science.org.au/awards/selby.htm

An ESF Research Networking Programme is a networking activity bringing together nationally funded research activities for four to five years, to address a major scientific issue or a science-driven topic of research infrastructure, at the European level with the aim of advancing the frontiers of science.

Deadline: 23 October 2008. For more information, see http://www.esf.org/activities/research-networking-programmes/.

The European Research Council has grants available for starting scientists in different fields with the following condition that the scientist has been promoted at least three years and at most eight years ago.

Deadline for applications: 29 October 2008. For more information, see http://erc.europa.eu/index.cfm?fuseaction=page.display&topicID=65 and http://cordis.europa.eu/fp7/dc/.

The KNAW has developed a new funding scheme for conferences organized after May 1, 2009. In the new scheme there are three deadlines a year: January 1, May 1 and September 1. One can apply for funding for conferences with a maximum budget of 170.000 EURO.

For more information, see http://www.knaw.nl/cfdata/subsidies/subsidie_detail.cfm?orgid=2 (Dutch 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 9th issue of 2008 is now available from the ILLC website at http://www.illc.uva.nl/NewsandEvents/GrantUpdate/Grant_Update_1-9.pdf.

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

The British Council offers small subsidies for the exchange of British and foreign researchers. In particular researchers who have just been promoted or are about to promote are considered.

Deadline for submission: 2 Juli 2008 For more information, see http://www.britishcouncil.org/science-rxp.htm

The Investment Subsidy Medium within the Division for Hunanities was revised at the start of 2006. Two types of applications can now be submitted for the programme Investment Subsidy Medium Social Sciences: applications for a Start Subsidy (maximum € 35,000) and applications for an Investment Subsidy Medium (between € 300,000 and € 900,000).

Deadline for submission: 3 September 2008. For more information, see http://www.nwo.nl/subsidiewijzer.nsf/pages/NWOA_4XHD5Z_Eng?opendocument

The april edition of the EGL newsletter "R&D in Europa" ((dutch only) is available from the SenterNovem website, at http://www.senternovem.nl/egl/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 8th issue of 2008 is now available from the ILLC website at http://www.illc.uva.nl/NewsandEvents/GrantUpdate/Grant_Update_1-8.pdf.

As part of the NWO programme Brain & Cognition, applications can be made for the so called Joint-Forces Network Grants till next September 2. This call for Joint-Forces Network Grants offers scientists the possibility to apply for small grants (up to 10 k€) which allow the organization of exploratory workshops. These workshops will have to stimulate the formation of national and international networks.

For more information, see http://www.nwo.nl/nwohome.nsf/pages/NWOA_7E2B8H_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 2008 is now available from the ILLC website at http://www.illc.uva.nl/NewsandEvents/GrantUpdate/Grant_Update_1-7.pdf.

The European Science Foundation invites individual scientists to submit proposals for high-level research conferences to take place in 2010 within the framework of its Research Conferences Scheme.

For more information, see http://www.esf.org/activities/esf-conferences/call-for-proposals.html

Microsoft Research calls for applications by European Universities for Microsoft's European PhD scholarships. The scholarships are intended for exceptional students in computing and those working at the intersection of computing and the sciences.

For more information, see http://research.microsoft.com/aboutmsr/jobs/fellowships/apply_europe.aspx

HERA ("Humanities in the European Research Area") is a partnership between fifteen Humanities Research Councils across Europe and the European Science Foundation, with the objective of firmly establishing the humanities in the European Research Area and in the 6/7th Framework Programmes

The Netherlands Organisation for Scientific Research NWO, coordinator of HERA, is happy to draw your attention to two large-scale transnational research programmes in the Humanities which will be launched in 2009. With respect to this a Matchmaking Event will take place, in Paris on Saturday, 19 April 2008.

200 travel grants (€ 500,--) are available for attending the event. Deadline: 28 February 2008, 12.00 AM CET.

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