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

There will be a small workshop on December 19, 2006 in Room 3.27 (Euclides Building, Plantage Muidergracht 24). The main theme of the workshop is comparing and contrasting temporal frameworks for logics for knowledge, beliefs, actions and choices.

The invited speakers are Johan van Benthem, Jan van Eijk, Dov Gabbay, Valentin Goranko, Andreas Herzig and Wiebe van der Hoek.

See http://staff.science.uva.nl/~epacuit/socsit/ for more information. Space is limited, so please contact Eric Pacuit (epacuit at science.uva.nl) if you are planning on attending.

On Monday December 18th, 13 - 18 hours, ILLC and Elsevier are throwing a party to celebrate the appearance of a number of volumes in the the growing series "Handbook of the Philosophy of Science", edited by Dov Gabbay, Paul Thagard, & John Woods. More in particular, we will also launch the just-appeared "Handbook of Modal Logic", edited by Patrick Blackburn, Johan van Benthem & Frank Wolter. Many people at and around ILLC have contributed to this volume, but other 'prime movers' will be present as well, including the Series publishers that we have worked with for so long.

The event will include short presentations, displays, and some further social items. It is be held in the historical VOC Building in the centre of Amsterdam. See the webpage http://www.illc.uva.nl/lgc/HANDBOOK/ for details on the direction and the programme.

This is a chance to see authors and publishers who produce important defining documents in our world. All are welcome! If you have any questions or suggestions, please email Johan van Benthem.

For abstracts and more information, see http://staff.science.uva.nl/~bloewe/CML.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/seminar06-2.html#Dec15 .

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 Jonathan Zvesper (jonathan at illc.uva.nl), Hartmut Fitz (h.fitz at uva.nl) or Joel Uckelmann (juckelma at science.uva.nl).

Abstract:
In this talk, I review the philosophy of language that can be developed within object theory. The theory predicts the existence of abstract objects that can serve as the senses of individual terms and abstract objects that can serve as the senses of relational terms. The theory also predicts that the senses of relation terms map the senses of individual terms to abstract objects that serve as the senses of the whole sentence. These senses of sentences seem appropriate as Fregean thoughts, and they can serve as the denotation of sentences when sentences are embedded within propositional attitude reports. (Object theory also yields denotations for individual terms and denotations for relation terms, and though the latter map the former to propositions instead of truth-values, each proposition does still receive a truth value as its extension.) In the second part of the talk, I show how this work unites a quasi-Fregean philosophy of language a neo-Fregean philosophy of mathematics.

For abstracts and more information, see http://ilps.science.uva.nl/Seminar/seminar06-2.html#Dec8 .

Computational social choice is a new discipline emerging at the interface of social choice theory and computer science. It is concerned with the application of computational techniques to the study of social choice mechanisms, and with the integration of social choice paradigms into computing (read more).

The 1st International Workshop on Computational Social Choice (COMSOC-2006) will take place on 6-8 December 2006 in Amsterdam. It will be hosted by the Institute for Logic, Language and Computation (ILLC) at the University of Amsterdam. The aim of the workshop is to bring together different communities: computer scientists interested in computational issues in social choice; people working in artificial intelligence and multiagent systems who are using ideas from social choice to organise societies of artificial software agents; logicians interested in the logic-based specification and analysis of social procedures (social software); and last but not least people coming from social choice theory itself.

COMSOC-2006 is generously funded by the NWO (Dutch Research Council), which will allow us to bring in several prominent scientists as invited speakers, whilst keeping registration fees very low.

The registration fee is €60 (€30 for (PhD) students). Please register by 16 November 2006. For more information, see http://www.illc.uva.nl/~ulle/COMSOC-2006/ or contact Ulle Endriss (ulle at illc.uva.nl).

Modern beliefs theories are able to shed light on dynamic processes involving beliefs, such as belief update, revision and fusion, because they use mathematical tools sophisticated enough to cope with such complex phenomena. The next PALMYR will be part of a conjoined effort between Amsterdam and Paris to bring young researchers to share their expertise and interest in mathematical approaches to belief dynamics.

Keynote speaker: Krister Segerberg (Uppsala) and Hans van Ditmarsch (Otago). Other speakers include Ivan José Varzinczak (IRIT), Brian Hill (Paris), Meghyn Bienvenu (IRIT), Paul Égré (CNRS), Tiago de Lima (IRIT), Cedric Paternotte (Paris), Guillaume Aucher (IRIT), Nicolas Troquard (IRIT), Mikaël Cozic (ENS Ulm)

For more information, see http://www.illc.uva.nl/PALMYR/PALMYR-4/ or contact: Olivier Roy (oroy at science.uva.nl)

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

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

Moved to February 2, 2007. For more information, see http://ilps.science.uva.nl/Seminar/seminar06-2.html#Dec1 .

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

The document confirming my appointment by Queen Juliana of the Netherlands to become "Lector Mathematische Informatica aan de Gemeentelijke Universiteit van Amsterdam" is signed 30 November 1976, now 30 years ago. I accepted the position three months later on Feb 01 1977.

I like to use this sixth lustrum of my appointment to look back into what was happening in Theoretical Computer Science in Amsterdam 30 years ago, how it was embedded into the University and exhibit some of the roots of the ILLC as we know it today.

The Logic Tea homepage can be found at http://www.illc.uva.nl/logic_tea/. For more information, please contact Jonathan Zvesper (jonathan at illc.uva.nl), Hartmut Fitz (h.fitz at uva.nl) or Joel Uckelmann (juckelma at science.uva.nl).

For abstracts and more information, see http://ilps.science.uva.nl/Seminar/seminar06-2.html#Nov27 .

For abstracts and more information, see http://staff.science.uva.nl/~bloewe/CML.html

For abstracts and more information, see http://ilps.science.uva.nl/Seminar/seminar06-2.html#Nov24 .

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 Jonathan Zvesper (jonathan at illc.uva.nl), Hartmut Fitz (h.fitz at uva.nl) or Joel Uckelmann (juckelma at science.uva.nl).

For abstracts and more information, see http://staff.science.uva.nl/~bloewe/CML.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/seminar06-2.html#Nov17 .

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

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

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

The Medvedev lattice is a structure from computability theory with ties to constructive logic. We will briefly describe this connection and the relation to structures such as the Turing degrees. We will then discuss structural properties of the Medvedev lattice, in particular, the size of its intervals. We prove that every interval in the lattice is either finite, in which case it is isomorphic to a finite Boolean algebra, or contains an antichain of size 22^\aleph_0, the size of the lattice itself. We also prove that it is consistent that the lattice has chains of this size, and in fact that these big chains occur in every interval that has a big antichain. We also study embeddings of lattices and algebras. We show that large Boolean algebras can be embedded into the Medvedev lattice as upper semilattices, but that a Boolean algebra can be embedded as a lattice only if it is countable. Finally we discuss which of these results hold for the closely related Muchnik lattice. The talk was given previously in the Mathematical Logic Seminar but many people missed it.

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

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 Hartmut Fitz (h.fitz at uva.nl) or Joel Uckelmann (juckelma at science.uva.nl).

A visual lecture (Dutch only) by Tine Wilde on the use of text and image in an installation. The lecture will be introduced by the poet Arie van den Berg and will end with the presentation of a publication, entitled Remodel[l]ing Reality. This publication connects Tine Wilde's previous projects, dating from 1990 to 2004, with `Do not Erase ... wait for Meaning' the project she is currently working on at the Universiteit van Amsterdam. For those who attend the lecture there will be a free copy. After that, the booklet can be obtained from International Booksellers Nijhof & Lee, Staalstraat 13a, Amsterdam.

For more information, see here, http://www.arti.nl/ or http://www.tinewilde.com/.

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

For abstracts and more information, see http://staff.science.uva.nl/~bloewe/CML.html

Abstract.
We study many important properties of negations using neighborhood semantics, including antitony, De Morgan laws, classical double negation, constructive double negation and so on. We generalize the correspondence between such properties of negations and the conditions on the frames. Finally we discuss the duality between the category of distributive modal algebras with antitone negations and the category of descriptive generated neighborhood frames.

For more information, contact Yde Venema (yde at science.uva.nl)

For abstracts and more information, see http://ilps.science.uva.nl/Seminar/seminar06-2.html#Nov3 .

The MSc Logic Programme is being evaluated by an international visitation committee in order to be officially accredited as a Master's programme. This procedure has been started last fall, and in the meantime we have produced a so-called "self-evaluation", an 80-page document with details about the MSc Logic.

The international visitation committee will come to Amsterdam on November 1 and 2, 2006 in order to inspect the facilities of the MSc and compare the actual running programme with the description of the self-evaluation. The committee will consist of two international experts (Prof Dr Ramon Jansana from Barcelona and Prof Dr Peter Koepke from Bonn), two members of the accreditation agency CERTIKED and a student member; during these two days, the committee will talk to teachers, alumni, students and administrators of the MSc Logic.

Thursday afternoon this committee will give a public first feedback on their findings. You are all invited to join this meeting at:
Thursday, November 2, 2006 at 17.00 hrs.
In room P-0.16, Plantage Muidergracht 24, Amsterdam

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

The programme of the research evaluation, and the selfstudy written for this occasion, can be downloaded from http://www.illc.uva.nl/ResearchEvaluation/.

The outcome of the review will have a major impact on the research and on the status of ILLC in the coming six years.

On Wednesday afternoon, November 1st, at 2 pm the review committee will give a preliminary report of their findings. All of the ILLC members are invited to attend this meeting and the "borrel" given afterwards. The session takes place in the Bungehuis, Spuistraat 210, room 1.01.

Details of place and time can be found in the programme at http://www.illc.uva.nl/ResearchEvaluation/.

For abstracts and more information, see http://staff.science.uva.nl/~bloewe/CML.html

For abstracts and more information, see http://ilps.science.uva.nl/Seminar/seminar06-2.html#Oct27 .

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

This workshop intends to establish interdisciplinary contacts within the fields of music, mathematics and computation, and to get an overview of the research that is done in some prominent research groups. Furthermore, we hope to start a discussion about the research methods in these fields and to reach a consensus about the importance of the combination of these research disciplines. Speakers include Elaine Chew, Thomas Noll, Rens Bod, Henkjan Honing, Frans Wiering/Anja Volk. At the end of the afternoon, there will be time for a discussion session on the topic of the workshop. Besides the invited speakers, all participants are invited to take part in the discussion.

Everybody is cordially invited to participate; attendance is free. However, to get an idea about the number of people that participate, please send an e-mail to ahoningh at science.uva.nl for registration.

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

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

For abstracts and more information, see http://ilps.science.uva.nl/Seminar/seminar06-2.html#Oct20 .

The Beth-Stichting, Nederlandse Vereniging voor Wetenschapsfilosofie (NVWF), Facult eit der Wijsbegeerte (Erasmus Universiteit Rotterdam) and Wiener-Kreis-Stichting are financing the afternoon conference "Structuralism in Science".

Coffee, tea, biscuits and snacks are all free. For more information, see http://www.illc.uva.nl/NewsandEvents/Attachments/StructScienceOct2006.pdf or contact the organizer at f.a.muller at fwb.eur.nl.

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

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

Abstract
What's testing? Well, from some point of view, it is a game. Testing tasks can be viewed (and organized!) as games against nature. We introduce and study reachability games. Such games are ubiquitous. A single industrial test suite may involve many instances of a reachability game; hence the importance of optimal or near optimal strategies for reachability games. We find out when exactly optimal strategies exist for a given reachability game, and how to construct them.

For abstracts and more information, see http://www.math.uu.nl/people/jvoosten/seminar.html or contact P. van Emde Boas, peter 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).

Abstract:

In his recent [2005] book Sweet Dreams: Philosophical Obstacles to a science of Consciousness, Dennett renews his attack on a philosophical notion of qualia, the success of which attack is required if his brand of Functionalism is to survive. He also articulates once again what he takes to be essential to his notion of consciousness. I shall argue that his new, central argument against the philosophical concept of qualia fails. In passing I point out a difficulty that David Rosenthal's "higher-order thought" theory of consciousness also faces in accounting for qualia. I then contrast Dennett's newest account of consciousness with interestingly different conceptions by contemporary neuro-scientists, and I suggest that philosophers should take the recent suggestions by neuro-scientists more seriously as a subject for philosophical investigation.

The Logic Tea homepage can be found at http://www.illc.uva.nl/logic_tea/. For more information, please contact Hartmut Fitz (h.fitz at uva.nl) or Joel Uckelmann (juckelma at science.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/Seminar/seminar06-2.html#Oct6 .

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 Hartmut Fitz (h.fitz at uva.nl) or Joel Uckelmann (juckelma at science.uva.nl).

This workshop is the thirteenth episode in an irregular workshop series called Games in Logic, Language and Computation. The GLLC workshop series provides an informal platform for researchers with an interest in logic and its applications in, amongst others, game theory, linguistics and computer science. GLLC 14 aims to emphasize the interface of computability theory, quantifier theory, and game theory. Speakers include M. Mostowski, B. Renne, G. Sandu, T. Tulenheimo, J. Uiterwijk and P. van Emde Boas. Everybody is cordially invited to participate; attendance is free.

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

For abstracts and more information, see http://staff.science.uva.nl/~bloewe/CML.html

On Friday, 29 September 2006 the annual NAP-dag will take place. On this occasion Ph.D. students of the ACLC will present their research projects. All M.A. students, Ph.D. students, post-docs and senior staff are invited to join us in Bungehuis, room 101. Attendance is free.

For further information, please contact the NAP-dag organization committee (Antje Orgassa, Daniela Poli~enská and Loulou Edelman) at napdag at gmail.com. Programme and abstracts of the talks can be found at http://www.hum.uva.nl/aclc/object.cfm/

The Logic Tea homepage can be found at http://www.illc.uva.nl/logic_tea/. For more information, please contact Hartmut Fitz (h.fitz at uva.nl) or Joel Uckelmann (juckelma at science.uva.nl).

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

The Logical Workshops have been organized since 2000 mostly as a summertime science activity for students of philosophy and mathematics from Warsaw. This year the meeting is addressed to a broader audience. Logical Workshop 2006 will take place in Kazimierz Dolny, Poland, and is organized in cooperation with Institute of Philosophy, Warsaw University and Institute for Logic, Language and Computation, University of Amsterdam.

The main goal of the Workshop is to bring people interested in logic and game theory together. The Workshop is open to all who are interested in participation. There is no conference fee, all you have to pay is your own travel and accommodation expenses.

For more information, see http://www.logika.uw.edu.pl/workshop/

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://ilps.science.uva.nl/Seminar/seminar06-2.html#Sep22 .

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

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

With the growth of the cognitive sciences comes an increasing interest in how we can model the cognitive and linguistic achievements of real people, in realistic contexts. There is also growing realisation that formal models can be of use here: they are formal but are not limited to modelling idealisations. In the workshop 'Formal models for real people' researchers from psychology, linguistics and philosophy will present and discuss work which showcases the applicability of formal tools to modelling non-idealised language and reasoning. Topics include, amongst others: causal reasoning, language acquisition, Theory of Mind, reasoning and autism.

No registration is required, but if you are planning to attend the workshop, we would appreciate it if you notified Marian Counihan at m.e.counihan at uva.nl. Further details including the day's programme and a route description to the venue, are available at http://oase.uci.kun.nl/~ikramer/realpeople/.

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

The Logic Tea homepage can be found at http://www.illc.uva.nl/logic_tea/. For more information, please contact Hartmut Fitz (h.fitz at uva.nl) or Joel Uckelmann (juckelma 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).

For abstracts and more information, see http://ilps.science.uva.nl/Seminar/seminar06-2.html#Sep8 .

The Logic Tea homepage can be found at http://www.illc.uva.nl/logic_tea/. For more information, please contact Hartmut Fitz (h.fitz at uva.nl) or Joel Uckelmann (juckelma at science.uva.nl).

In the academic year 2006-2007 a year-long program of courses in Mathematical Logic is organized by MRI (a cooperation of Dutch Universities). The program is intended for advanced undergraduate and beginning graduate students, and aims to provide them with a solid preparation for a possible Ph.D. studentship in the area. There are possibilities for fellowships for students.

Deadline for registration: 1 April 2006. Students interested in fellowships should apply before January 15, 2006. For more information, see http://www.math.uu.nl/people/jvoosten/mclogic/.

We are happy to announce that the ILLC will (as usual) welcome its new Master students by having a boattrip 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 staffmembers and students.

The boat leaves at 17.00 hrs from the back of the Euclides building (Plantage Muidergracht 24), we request to gather at the frontdesk at 16.45 from where we will walk to the landingplace of the boat. The boat will return at 18.00. Reception is from 18.00 - 19.30 at the ILLC, third floor of Euclides, Pl. Muidergracht 24

For more information, contact the ILLC Buro at illc at science.uva.nl.

The main focus of ESSLLI is on the interface between linguistics, logic and computation. Foundational, introductory and advanced courses together with workshops cover 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-2006 is organised under the auspices of the European Association for Logic, Language and Information (FoLLI).

For more information, see the ESSLLI website at http://esslli2006.lcc.uma.es/.

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

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.cwi.nl/htbin/acg/ACG.php4?mode=future

Contrary to erroneous information in 'ILLC News 2006-26', this seminar will take place as scheduled.

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

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

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

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

The Logic Tea homepage can be found at http://www.illc.uva.nl/logic_tea/. For more information, please contact Olivier Roy (oroy at science.uva.nl), Hartmut Fitz (h.fitz at uva.nl) or Joel Uckelmann (juckelma at science.uva.nl).

On the occasion of the 40th anniversay of the p-morphism, the ILLC will host a special afternoon with three talks on the p-morphism. Dick de Jongh and Krister Segerberg will each give a talk on the developments in the sixties and seventies (these talks also forms part of the Logic Tea). Before that, in a joint talk, Helle Hansen and Clemens Kupke will present a modern, coalgebraic perspective.

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

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

Students participating in the June project on medieval logic will be giving short talks presenting the results of their research on various topics. Speakers: Can Baskent, Harald Bastiaanse, Yurii Khomskii and Lars Wortel

For more information, see http://staff.science.uva.nl/~suckelma/23junmedproj.html

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

De bijeenkomst is bedoeld voor onderzoekers en (research)masterstudenten van onze faculteit om inzicht te krijgen in de consequenties van digitalisering voor de onderzoekspraktijk van onder andere Geschiedenis, Literatuur, Kunst, Filosofie, Film, Boekwetenschap en Archeologie. Ook is er aandacht voor de ontwikkeling van digitaliseringsprojecten en de financieringsmogelijkheden.

Aanmelden via r.brandsma at uva.nl. Voor meer informatie zie here.

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

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

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

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

This workshop is the twelfth episode in an irregular workshop series called Games in Logic, Language and Computation. These workshops are intended as a informal and lively discussion platform, where both senior researchers and promising young researchers from different backgrounds can share ideas.

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

Abstract:
We define preference in terms of a constraint sequence, a concept from optimality theory. In case agents only have incomplete information, beliefs are introduced. We propose three definitions to describe different procedures agents may follow to get a preference relation using the incomplete information. Changes of preference are explored w.r.t their sources: changes of the constraint sequence, and changes in beliefs.

This is joint work with Dick de Jongh (see also ILLC-report PP-2006-38).

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

Eugen Fischer, editor of the collection "Wittgenstein at Work", will present a metaphilosophical account, inspired both by the later Wittgenstein and by recent work in cognitive science, of how problems and theories in philosophy arise.

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

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

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

The ACLC-conference on Universality and Particularity in Parts-of-Speech Systems (PoS2006) will take place from June 8-10, 2006, at the University of Amsterdam. The conference programme covers the widest possible range of perspectives on word class distinctions and parts-of-speech systems.

All information about the conference programme may be found at the conference website http://home.hum.uva.nl/pos/. Given the focused nature of the conference programme and the limited space available, participation is limited to (pre)registered participants.

The Logic Tea homepage can be found at http://www.illc.uva.nl/logic_tea/. For more information, please contact Olivier Roy (oroy at science.uva.nl), Hartmut Fitz (h.fitz at uva.nl) or Joel Uckelmann (juckelma at science.uva.nl).

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

Note that the date has changed. For more information, see http://www.cwi.nl/htbin/acg/ACG.php4?mode=future

Registration for the Gödel Centenary Celebration on Friday May 26 is open. The symposium is free of charge. The program is as follows.

10:00       Arrival, tea and coffee
10:20-10:30 Opening: Albert Visser (Utrecht)
10:30-11:45 Juliette Kennedy (Helsinki) & Mark van Atten (Paris):
            A Life Dedicated to the Fundamental
11:45-12:00 Tea break
12:00-13:00 Dick de Jongh (Amsterdam) & Albert Visser (Utrecht):
            The Incompleteness Theorems: What They Say and What They do not Say.
13:00-14:00 Lunch break
14:00-15:00 Benedikt Löwe (Amsterdam):
            Gödel's Contribution to Set Theory
15:00-15:30 Tea break
15:30-16:30 Dennis Dieks (Utrecht):
            Gödel on Time and Relativity

Update (2006/05/22): Due to large interest in the symposium there is only a limited number of seats left. Please sign up before the conference hall is full and registration closed.

For more information, see http://ozsl.uu.nl/goedel/.

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

The Logic Tea homepage can be found at http://www.illc.uva.nl/logic_tea/. For more information, please contact Olivier Roy (oroy at science.uva.nl) or Hartmut Fitz (h.fitz 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/Seminar/seminar06-1.html#May19 .

Hedonic games are a special form of cooperative games where the payoff to each player only depends on the identity of the other members of his coalition. I will present stability notions and according existence results discussed in the paper by Bogomolnaia and Jackson.

For more information, see 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

Everyone is invited to this informal workshop in medieval logic. The workshop will take place in rooms P3.27 & P0.14 at the Euclides Building (Plantage Muidergracht 24, Amsterdam)

For more information, email Sara Uckelman (suckelma at illc.uva.nl), or go to http://staff.science.uva.nl/~suckelma/may16meeting.html

For abstracts and more information, see http://staff.science.uva.nl/~bloewe/CML.html

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

For abstracts and more information, see http://staff.science.uva.nl/~bloewe/CML.html

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

(dutch only)
Op vrijdag 12 mei 2006 organiseren het Korteweg-de Vries Instituut voor Wiskunde (KdVI) en het Institute for Logic, Language & Computation (ILLC) een open dag voor docenten wiskunde, scholieren en andere belangstellenden. Wiskundigen en logici van de Universiteit van Amsterdam vertellen er over hun onderzoek.

For more information, see http://www.science.uva.nl/actueel/object.cfm/

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

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

Note that the date has changed. For more information, see http://www.win.tue.nl/prose/

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

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

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

The entire ILLC-community is invited to attend this workshop organized to celebrate Krister Segerberg's 70th birthday. After the talks, there will be a reception on the 3d floor of the Euclides Building.

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

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

For more information, see http://www.science.uva.nl/research/math/Calendar/colloq/

The Logic Tea homepage can be found at http://www.illc.uva.nl/logic_tea/. For more information, please contact Olivier Roy (oroy at science.uva.nl), Hartmut Fitz (h.fitz at uva.nl) or Joel Uckelmann (juckelma at science.uva.nl).

Co-located with ACLC Colloquium

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

For abstracts and more information, see http://staff.science.uva.nl/~bloewe/CML.html

Co-located with DIP Colloquium

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

For abstracts and more information, see http://staff.science.uva.nl/~bloewe/CML.html

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

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

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

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

Mechanism design, sometimes called reverse game theory, is concerned with the design of games that induce the participants to realize choices that are desirable for the society. In this lecture we shall explain what constitutes a mechanism design and discuss the Vickrey-Clarke-Groves (VCG) mechanism.

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

For abstracts and more information, see http://staff.science.uva.nl/~bloewe/CML.html

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

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

On Friday March 31 there will be a special ACLC/IILLC seminar on Psycholinguistics. Speakers are Michiel van Lambalgen, Esther Parigger, Marian Counihan and Nivja de Jong.

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

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

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/Seminar/seminar06-1.html#Mar24 .

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

The Logic Tea homepage can be found at http://www.illc.uva.nl/logic_tea/. For more information, please contact Olivier Roy (oroy at science.uva.nl) or Hartmut Fitz (h.fitz at uva.nl).

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

The first Amsterdam-London Workshop on Modal Logic will take place on 16th of March, 2006 at the ILLC. The speakers include:

Ian Hodkinson (Imperial College London)
Robin Hirsch (University College London)
Roman Kontchakov (Birkbeck College London)
Mikhail Sheremet (Birkbeck College London)
Mai Gehrke (New Mexico State University)
Guram Bezhanishvili (New Mexico State University)
Johan van Benthem (University of Amsterdam)
Yde Venema (University of Amsterdam)
Balder ten Cate (University of Amsterdam)

For more information, see http://staff.science.uva.nl/~nbezhani/workshop/ or contact Nick Bezhanishvili at nbezhani at science.uva.nl

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

The ZIC colloquium started in september 1986, and this talk will be the 250th talk in the series. Because it is always good to end on a high note, we have decided to let this 250th talk be the final one. We are very happy that Henk Barendregt, who has been a regular speaker at the ZIC from the very start, has accepted our invitation to give this very last lecture.

We would like to say goodbye to the ZIC and celebrate its succesful history in the company of the people who have been interested and involved in the ZIC over the past 20 years. We therefore warmly invite you to attend this last talk and have a drink with us afterwards.

For abstracts and more information, see http://www.win.tue.nl/zic/ or contact Francien Dechesne (f.dechesne at tue.nl).

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

The new Marie Curie Research Training Site GLoRiClass is officially being launched with an afternoon of public lectures and drinks. The new research training site focuses on the interaction of mathematics, computer science, linguistics and philosophy in the investigation of games. One particular goal is to provide a theoretical and conceptual embedding of game theory as it is practiced in economics.

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

For more information, see http://www.hum.uva.nl/actueel/.

We may think of propositional formulas as schemas for formulas of a first-order language. The question which then naturally arises is, "What schemas are valid in a given theory?" De Jongh's theorem settles this question for HA. Since then, mostly extensions of HA have been considered in this context. This talk will deal with much weaker theories of equality instead.

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 either Krzysztof Apt (apt at cwi.nl) or Ulle Endriss (ulle at illc.uva.nl).

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

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

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

An informal workshop on constructive set theory (Aczel's CZF in particular), with speakers including Peter Aczel, Michael Rathjen and Robert Lubarsky.

For more information, see http://www.math.uu.nl/people/vdberg/workshop/

The Logic Tea homepage can be found at http://www.illc.uva.nl/logic_tea/. For more information, please contact Olivier Roy (oroy at science.uva.nl) or Hartmut Fitz (h.fitz at uva.nl).

The goal of this symposium is to give an overview of current research into the reasoning abilities of preschool children, both in the Netherlands and outside. Which talents, potentials and abilities do children aged 3-5 have, how are talents in different fields interconnected, and how can these talents be developed further? The main focus will be on talents that could be considered part of the fields of mathematics, physics, technique and logic.

For more information, including a preliminary program, see http://www.talentenkracht.nl/

For abstracts and more information, see http://staff.science.uva.nl/~bloewe/CML.html

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

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

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

For abstracts and more information, see here or http://staff.science.uva.nl/~bloewe/CML.html

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

The Logic Tea homepage can be found at http://www.illc.uva.nl/logic_tea/. For more information, please contact Olivier Roy (oroy at science.uva.nl) or Hartmut Fitz (h.fitz at uva.nl).

For more information, see http://www.win.tue.nl/oas/main_colloquium.html.

Music listening and music lessons have been claimed to confer intellectual advantages. Any association between music and intellectual functioning would be notable only if the benefits apply reliably to non-musical abilities and if music is unique in producing the effects. The available evidence indicates that music listening leads to enhanced performance on a variety of cognitive tests, but that such effects are short-term and stem from the impact of music on arousal level and mood, which, in turn, affect cognitive performance; experiences other than music listening have similar effects. Music lessons in childhood tell a different story. They are associated with small but general and long-lasting intellectual benefits that cannot be attributed to obvious confounding variables such as family income and parents' education. Other out-of-school activities do not appear to have similar effects. The mechanisms underlying the association between music lessons and intellectual abilities have yet to be determined.

Glenn Schellenberg is professor of psychology at the Universiteit van Toronto, Canada.

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

This is the first meeting of the GLoRiClass seminar which will continue to meet Thursdays 11-13.

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 either Krzysztof Apt (apt at cwi.nl) or Ulle Endriss (ulle at illc.uva.nl).

Sunday February 12 at 11.00 AM, prof.dr. Johan van Benthem will give a lecture especially for children in Science Center Nemo, Amsterdam. By means of games and puzzles, he will show and explain children what logic means to scientists and how to use logic in everyday life.

For more information, see www.kinderlezingen.nl/.

In this seminar, students from the mathematical logic group in Bonn are presenting various topic on games and set theory, leading up to Tony Martin's proof of the determinacy of all Π¹₁ sets from a measurable cardinal.

All ILLC students interested in set theory are cordially invited to listen. The talks presuppose basic knowledge of set theory, comparable to our course Axiomatic Set Theory. The last two talks will also presuppose some knowledge about measurable cardinals.

Note that the Euclides building is closed on the weekend, so in order to attend, you either need to have an overwerkpass to get into the building, or to arrange a meeting with Stefan Bold to get into the building.

For more information, see http://staff.science.uva.nl/~bloewe/WS0506-Bonn.html

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

Prof. Ap Dijksterhuis will be holding the first CSCA lecture of 2006. On February 9th, he will comment on the role of unconsciousness and conscious processes in attitude formation and decision making. Prof. Dijksterhuis is professor at the Psychology department of the Universiteit van Amsterdam; he received the Early Career Award from the American Psychological Association in 2005.

For more information, see here or http://www.csca.uva.nl/.

In this talk I will assume that the audience is at least superficially familiar with the approach to exemplar-based language processing which is known as "Data-Oriented Parsing" (DOP). So far, the models which instantiate the DOP approach tend to deal exclusively with the syntactic aspects of language processing. The purpose of the talk is to look at the prospects of generalizing this work toward the development of data-oriented models of semantics.

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

The Logic Tea homepage can be found at http://www.illc.uva.nl/logic_tea/. For more information, please contact Olivier Roy (oroy at science.uva.nl) or Hartmut Fitz (h.fitz at uva.nl).

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

One of the bottlenecks in model checking is the time (and space) consuming transformation of a model to a state space. The main activity in such a transformation is often the rewriting of data expressions. In this talk the author will give an overview of his work on the rewriter(s) of the mCRL2 toolset. This toolset differs from other such toolsets in that it has a higher order data specification language (amongst other features).

For more information, see http://www.win.tue.nl/oas/main_colloquium.html.

The rationalizability concept was introduced in (Bernheim 84) and (Pearson 84) to assess what can be inferred by rational players in a non-cooperative game in presence of common knowledge. However, this notion can be defined in a number ways that differ in seemingly unimportant minor details. We shed light on these differences, explain their impact, and clarify for which games these notions coincide. Also we apply the same analysis to clarify the differences and similarities between various ways iterated elimination of strictly dominated strategies was defined in the literature.

The paper is available at http://homepages.cwi.nl/~apt/ps/stronger05.ps. For more information, please contact Ulle Endriss (ulle at illc.uva.nl).

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

Students who participated in the ancient & medieval logic project will be presenting their results on the topics of Stoice logic, future contingents & the immutability of God, linguistic analyses of the use of pronouns in the Eucharist, and Anselm's logic of agency. Everyone is welcome!

For more information, see http://staff.science.uva.nl/~suckelma/medlogic.html or contact Sara Uckelman (suckelma at illc.uva.nl)

For abstracts and more information, see http://staff.science.uva.nl/~bloewe/CML.html

Interactive epistemology is the study of the role of players' uncertainty in a game-theoretic situation. We will introduce some of the mathematical models which have been used by game theorists to represent this uncertainty. The talk will focus on type spaces, introduced by John Harsanyi in 1967. In particular, we will disucss the existence of a "universal" type space and the epistemic foundations of various solution concepts. To that end, the talk will be based on a recent survey by Adam Brandenburger which can be found below: http://pages.stern.nyu.edu/%7Eabranden/pop-09-29-05.pdf

For more information, please contact Ulle Endriss (ulle at illc.uva.nl).

For abstracts and more information, see http://staff.science.uva.nl/~bloewe/CML.html

The 17th International Symposium on Algorithms and Computation (ISAAC 2006) will take place at Taj Bengal Hotel, 5-star hotel in Kolkata, India, December 18-20, 2006. The symposium is intended to provide a forum for researchers working in algorithms and theory of computation.

For more information, see http://www.iscal.ac.in/~ISAAC06/

FOMI aims to become an international forum where researchers in different disciplines and practitioners of various industry sectors meet to analyze and discuss issues related to methods, theories, research directions, tools and applications based on formal ontologies.

For more information, see http://www.loa-cnr.it/fomi

IARCS, the Indian Association for Research in Computing Science announces the 26th Annual FSTTCS Conference in Kolkata (formerly Calcutta). The FSTTCS conference is a forum for presenting original results in foundational aspects of Computer Science and Software Technology.

For more information, see http://www.cse.iitd.ernet.in./~fsttcs26/

AI 2006 is the 19th Australian Joint Conference on Artificial Intelligence. This conference series is Australia's premier venue for the dissemination of new research in both the theory and application of artificial intelligence. AI 2006 will be hosted by the University of Tasmania's School of Computing, and will be held in the beautiful city of Hobart, Tasmania from the 4th to the 8th of December.

For more information, see http://www.comp.utas.edu.au/ai06/

CISSE 2006 provides a virtual forum for presentation and discussion of the state-of the-art research on computers, information and systems sciences and engineering. The CISSE 2006 virtual conference will be conducted through the Internet using web-conferencing tools, made available by the conference.

For more information, see http://www.cisse2006.org/ or mail to: info at cisse2006.org

The Call for Nominations for the 8th Donald E Knuth Prize for outstanding contributions to the foundations of computer science can be found at http://sigact.acm.org/prizes/knuth/. The Deadline for nominations is January 31, 2007.

We would like to invite submissions of full original papers in the interface of the areas of belief revision, belief merging and social choice. We will also accept submissions in related areas that investigate common problems. Selected papers will be published as a special issue of the Journal of Logic and Computation.

Electronic submission of a postscript or PDF file with a separate covering message can be made to Odinaldo Rodrigues by February, 16th, 2007. Contributions will be acknowledged in all cases. For more information, see http://www.dcs.kcl.ac.uk/events/ADMW06/proceedings.html

For more information, see http://www.lix.polytechnique.fr/~hermann/LPAR2006/

The 6th International Workshop on the Implementation of Logics (IWIL-6) will be held 12th November 2006, as part of LPAR-13 in Phnom Penh, Cambodia. The IWIL workshop series brings together developers and users of systems that implement reasoning in logic, to share information about successful implementation techniques for automated reasoning systems and similar programs.

For more information, see http://www.cs.miami.edu/~geoff/Conferences/IWIL-6/

Analyticity is a topic that connects foundational issues in logic with applications, mainly in automated deduction and analysis of proofs. The workshop, part of LPAR-13, is primarily intended to enhance awareness for this topic and to promote corresponding discussions and contacts between experienced experts and younger colleagues.

For more information, see http://www.logic.at/staff/chrisf/ws/AS-2.html

Oxford's graduate philosophy conferences are unique in that faculty members lead the replies to student papers, thus providing student participants with the opportunity to engage in direct discussion of their papers with leading philosophers.

For more information, see website: http://www.philosophy.ox.ac.uk/gradconf/ E-mail: gradconf at philosophy.ox.ac.uk

The workshop will be held at Notre Dame the weekend of Saturday, November 11th and Sunday, November 12th. As usual, the plan is to schedule a full day of talks and discussions for Saturday and a half day for Sunday. Also as usual, there will be workshop dinner Saturday evening, with all participants invited to attend as guests of the university.

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

The process of voting can be seen as the aggregation of individual preferences (i.e., that of the voters for candidates) to produce a collectively preferred alternative (the result of the election). This problem is extensively studied by social choice theory. On the other hand, belief revision investigates the dynamics of the process of belief change: when an agent is faced with new information which contradicts his/her current beliefs, he/she will have to retract some of the old beliefs in order to accommodate the new belief consistently. The main concern here is how to make a fair decision on what old beliefs to retract. There is a vaste literature on the subject. Similarly, belief merging investigates ways to aggregate a number of individual belief bases into a collective one. Here again, the aggregation procedure in belief merging faces problems similar to those addressed in voting theory and belief revision. Although there are clear connections and sharing of principles between the areas, the investigation of the similarities between the three of them is quite new. The main motivation for this workshop is to promote interaction between researchers of the areas and generate cross-fertilisation of ideas.

For more information, see http://www.dcs.kcl.ac.uk/events/ADMW06/.

The conference is concerned with the theory of computability and complexity over real-valued data. Unlike the well established classical theory over discrete structures, the theory of computation over continuous data is still in early stages of development, 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 and exchange ideas and knowledge.

For this year's meeting, there will be a particular focus on effectively closed sets and on algorithmic randomness.

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

Information Science is the interface of a number of scientific disciplines, all related to the diverse aspects of the information access, management, retrieval and usage. A number of approaches to the same object of study, the information, converge in this space: technological, mathematical, linguistic, and cognitive aspects as well as those related to the Artificial Intelligence, Natural Language Processing or Human-Computer Interaction, organizational aspects and so on. All these approaches shape the wide range of domains which must interact in order to find the solutions to the problems we all face when deploying and improving these information systems.

InSciT2006, with a strong multi and inter disciplinary focus, aims at creating a forum in Spain where gather together researchers and practitioners coming from the widest range of knowledge domains involved in the study of information.

For more information, an online registration form and a preliminary program, see http://www.instac.es/inscit2006/

The first Lisbon Colloquium for the Philosophy of Science to be held October 25-28th, 2006 is intended to stimulate, discuss and evaluate new approaches to the problem of the unity of science which incorporate logic, decision theory, learning theory, probability theory and other formal methods in creative and productive ways.

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

The 47th Annual Symposium on Foundations of Computer Science (FOCS 2006), sponsored by the IEEE Computer Society Technical Committee on Mathematical Foundations of Computing, will be held on October 22-24, 2006, at the Doubletree Hotel, in Berkeley, CA.

For more information and a call for papers, see http://focs06.cs.princeton.edu/

Papers are invited to a special issue of the Journal on Satisfiability, Boolean Modeling and Computation (JSAT) on the subject of Satisfiability Modulo Theories (SMT). Deadline for paper submission: November 25th, 2006.

For more information, see http://dit.unitn.it/~rseba/jsat_smt06/.

Papers are invited to a special issue of the Journal of Logic, Language and Information, based on an ESSLLI 2006 workshop on logics for resource-bounded agents. Deadline 20/01/2007.

For more information, see here or contact nza at cs.nott.ac.uk

The NWPT series of annual workshops is a forum bringing together programming theorists from the Nordic and Baltic countries (but also elsewhere). Invited speakers include Gerd Behrmann, Matthew Hennessy, Hanne Riis Nielson and David Sands.

For more information, see http://www.ru.is/NWPT06/

SPIRE 2006 is the 13th Symposium on String Processing and Information Retrieval. The first four editions focused primarily on string processing and South America, and were called WSP (South American Workshop on String Processing). Starting in 1998, the focus of the workshop was broadened to include the area of information retrieval due to its increasing relevance and its inter-relationship with the area of string processing. In addition, since 2000, the conference venue has been in Europe in even years.

SPIRE 2006 covers research in all aspects of string processing, information retrieval, computational biology, pattern matching, semi-structured data, and related applications.

For more information, see http://www.cis.strath.ac.uk/external/spire06/

The conferences, on the theoretical foundations of machine learning and on the evelopment and analysis of methods for intelligent data analysis, knowledge discovery and machine learning, will be held in parallel and share invited talks.

For more information, see http://www-alg.ist.hokudai.ac.jp/~thomas/ALT06/alt06.jhtml and http://www-ai.ijs.si/~ds06/.

There will be lectures, discussion sessions, round tables and software demonstrations. You are kindly invited to take active part in discussion sessions and to demonstrate your teaching or professional software.

For more information, see here or http://logicae.usal.es/SICTTL/

Advances in Modal Logic is an initiative aimed at presenting an up-to-date picture of the state of the art in modal logic and its many applications. The initiative consists of a conference series together with volumes based on the conferences.

AiML-2006 is the sixth conference in the series. For more information, see http://www.itee.uq.edu.au/~aiml06/

The CP conference is the annual international conference on constraint programming and related areas. It is concerned with all aspects of computing with constraints, including: theory, algorithms, applications, environments, languages, models and systems. CP 2006 includes a technical programme, where presentations of theoretical and application papers, as well as invited talks, tutorials, posters and system demos aim at describing the best results and techniques in the state-of-the-art of constraint programming. Moreover, CP 2006 continues the tradition of the CP doctoral programme, in which PhD students can present their work, listen to tutorials on career and ethical issues, and discuss their work with senior researchers via a mentoring scheme. Finally, there will also be a number of workshops, where researchers will be able to meet in an informal setting and discuss their most recent ideas with their peers.

For more information, see http://www.sciences.univ-nantes.fr/cp06/

Colloquium Logicum 2006 (CL 2006) is the biannual meeting of the German Logic Society (DVMLG) The scientific program commences on Friday with two minisymposia: "The use of proof theory in mathematics" and "Set theory". On Saturday and Sunday about six invited one-hour talks will be presented on mathematical logic, complexity theory, history of logic, and philosophy of mathematics. A PhD colloquium will feature four young postdocs and their dissertations.

For more information, see here or http://www.math.uni-bonn.de/veranstaltung/cl2006/

Following the workshop "Formal Ontologies for Communicating Agents" that took place within the last ESSLLI summer school in Malaga, we would like to invite contributions for a special issue of the international journal ''Applied Ontology''. We especially invite the authors of the paper presented at FOCA 2006 to submit an extended version of their contribution. However, anyone is invited to submit a relevant contribution for the topic of the special issue described below.

Deadline (extended) is January 19, 2007. For more information, see http://www.applied-ontology.org/ or here.

Traditionally, there has been a deep divide between philosophy of mathematics dealing with foundational issues (questions about mathematical ontology, connections between logic and mathematics, and the proper axiomatic framework) and sociological and didactical approaches to mathematics deadling with a description of mathematical practice (including mathematics education and related matters). Currently, we witness this picture undergoing considerable changes. Recent developments question the special character of philosophy of mathematics as traditionally conceived. Our workshop is devoted to developing this line of development further, putting special emphasis on the epistemological issues involved.

For more information, an online registration form and a preliminary program, see http://www.phimsamp.uni-bonn.de/GAP6/

The International Workshop on Parameterized and Exact Computation covers research in all aspects of parameterized and exact computation and complexity. The goal is to present recent research results, including significant work-in-progress, and to identify and explore directions for future research.

For more information, see http://algo06.inf.ethz.ch/iwpec

JELIA'06 will bring together researchers interested in all aspects concerning the use of logics in AI to discuss current research, results, problems and applications of both a theoretical and practical nature.

For more information, including lists of Conference Officials and Programme Committee, see http://www.csc.liv.ac.uk/~jelia/.

The symposium covers research in the use, design and analysis of efficient algorithms and data structures in computer science, discrete applied mathematics, operations research and mathematical programming. It has two tracks, which deal respectively with:
- the design and mathematical analysis of algorithms (the "Design and Analysis" track);
- real-world applications, engineering and experimental analysis of algorithms (the "Engineering and Applications" track).
ESA 2006 is organised in the context of ALGO 2006.

For more information, see http://algo06.inf.ethz.ch/esa/

Uncertainty is a ubiquitous phenomenon in everyday life, but it is also a topic of fundamental significance to many scientific disciplines. Uncertainty taken here in a broad sense, has many facets - among them probability and vagueness, including possibility, confidence, fuzziness etc. These are captured by different theories which often seem to be conceptually and technically incompatible. The aim of the conference is to provide a platform for an open discussion between proponents of the main theories of uncertainty and vagueness on the market. Special attention shall be paid to the comparison of theories, analyzing differences and similarities of the respective concepts of uncertainty. Of particular interest are logical aspects and formal models of reasoning about vague information.

For more information, see http://www.flu.cas.cz/Logica/konf/col2006.html

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.cs.york.ac.uk/nature/uc06/

The leading idea of Lvov-Warsaw School of Logic, philosophy and mathematics was to investigate the philosophical problems by means of rigorous methods of mathematics. Since its very first issue Studia Logica has joined forces of mathematicians and philosophers in carrying out logical investigations. There are many elaborate mathematical theories that find their origin in philosophy and have had a big impact on both philosophy and mathematics. For a couple of decades we have been witnessing the fruitful application of strictly mathematical methods to handling more and more philosophical problems.

The main goal of the conference is to present current trends in applying mathematical methods to philosophical problems.

For more information, see http://www.logika.uni.torun.pl/TrendsIV.html

This international research conference is organised by the research project ''The We-Perspective, Social Institutions, and Social Change'' (directed by Prof. Raimo Tuomela) and the Philosophical Society of Finland. The main (but not the only) theme of the Helsinki conference is collective responsibility, and part of the conference will be devoted to this theme.

For more information, see http://www.valt.helsinki.fi/staff/tuomela/collint/

The AMLaP conferences have established themselves as the premier European venue for interdisciplinary research on how people process language. The conference aims to bring together psychological, computational, and theoretical perspectives on the cognitive architectures and mechanisms which underlie any aspect of human language processing.

For more information, see http://www2.ru.nl/congres/AMLaP2006/welcome.htm

The RelMiCS Conference is the main forum for the relational calculus as a conceptual and methodological tool. The AKA Workshop is a forum on topics related to Kleene algebras. As in previous years, the two events are co-organised; they have a joint programme committee and joint proceedings. RelMiCS/AKA 2006 will be held from 30 August to 2 September 2006 and a PhD training programme on 29 August 2006.

For more information, see http://www.cs.man.ac.uk/relmics06/

Artificial Intelligence researchers continue to face huge challenges in their quest to develop truly intelligent systems. The recent developments in the field of neural-symbolic integration bring an opportunity to integrate well-founded symbolic artificial intelligence with robust neural computing machinery to help tackle some of these challenges.

The Workshop on Neural-Symbolic Learning and Reasoning is intended to create an atmosphere of exchange of ideas, providing a forum for the presentation and discussion of the key topics related to neural-symbolic integration.

For more information, see http://www.neural-symbolic.org/NeSy06/

The series of MFCS symposia, organized alternately in the Czech Republic, Poland and Slovakia since 1972, has a long and well-established tradition. The MFCS symposia encourage high-quality research in all branches of theoretical computer science. Their broad scope provides an opportunity to bring together specialists who do not usually meet at specialized conferences. Quality papers presenting original research on theoretical aspects of computer science are solicited

For more information, see http://www.mfcs.sk/

In recent years, multi-agent systems have come to form one of the key technologies for software development. The second edition of the FAMAS workshop series, after a success of FAMAS'03 affiliated to ETAPS'03 in Warsaw, aims at bringing together researchers from the fields of logic, theoretical computer science and multi-agent systems in order to discuss formal techniques for specifying and verifying multi-agent systems.

FAMAS'06 is affiliated to ECAI 2006. For more information, see http://www.mimuw.edu.pl/MAS/FAMAS/

The 9th International Workshop on Approximation Algorithms for Combinatorial Optimization Problems (APPROX 2006), and the 10th International Workshop on Randomized Techniques in Computation (RANDOM 2006) will be held at UPC Barcelona, from August 28-31, 2006. APPROX 2006 focuses on algorithmic and complexity theoretic issues relevant to the development of efficient approximate solutions to computationally difficult problems, while RANDOM 2006 focuses on applications of randomness to computational and combinatorial problems.

For more information, see http://cui.unige.ch/tcs/random-approx/

CONCUR 2006, the 17th International Conference on Concurrency Theory, will take place in Bonn, Germany, August 27 - 30, 2006. The purpose of the CONCUR conferences is to bring together researchers working on the theory of concurrency and its applications. About ten workshops will be held in affiliation with CONCUR 2006, including the 2nd German Verification Day, and the 11th International ERCIM Workshop on Formal Methods for Industrial Critical Systems.

For more information, see http://depend.cs.uni-sb.de/concur06/.

The 2006 meeting is the ninth installment of the Symposium series, which is designed to provide a forum where logicians and linguists can meet to share and discuss ideas and issues about how linguistics and logic influence each other, with the aim of promoting a fruitful cooperation. This year's symposium theme is "information structure". Invited speakers include Jonathan Ginzburg, Marcus Kracht, Manfred Krifka and Barbara H. Partee.

For more information, see http://www.nytud.hu/lola9/

Philosophers, psychologists, and linguists who are interested in interdisciplinary work are very welcome to attend the conference. Invited Speakers: György Gergely (Budapest), Susan Goldin-Meadow (Chicago), Patrick Haggard (London) and Kevin Mulligan (Geneva)

Invited Symposia:
AUDITORY PERCEPTION opened by Jerome Dokic, IJN Paris
MODALITY AND LANGUAGE opened by Bencie Woll, UCLLondon
MENTAL TIME TRAVEL opened by Teresa McCormack, Belfast
PRETENCE opened by Hannes Rakoczy, MPG Leipzig

For more information, see http://www.psych.qub.ac.uk/eurospp2006/. Information about the Society can be found at http://www.eurospp.org/.

The FM Symposia continue to be the premier international forum for practitioners and researchers applying mathematical methods to the design of highly trusted computer systems. It enables them to meet and exchange experiences and ideas. This is the 14th event in this series, and for the first time will take place in North America. As in previous years, an Industry Day will be dedicated for practitioners to share their experiences with industrial applications.

For more information, see http://fm06.mcmaster.ca/

Multi-Valued logics provide powerful mechanisms for reasoning about domains that are incomplete and inconsistent, such as databases, knowledge representation, model checking,asynchronous electronic circuits, etc. Research in this area spans theoretical issues regarding the semantics and the role of negation, to implementation strategies, to practical tools for solving problems in various application domains.M

This ICLP'2006 workshop is meant to provide a channel for interaction between researchers working in these areas, by presenting their results and fostering discussion. This will engender newdirections for researchers to pursue and showcase the considerable amount of research thathas already been performed in the area.

For more information, see http://www.utdallas.edu/~axm011500/mvlpa06.html

The Institute of Modern Language and Communication Multimedia University will be organizing an International Seminar on "Multimedia Adventures in Languages Learning" . The seminar undertakes to explore beyond the traditional boundaries of teaching and learning of languages through a blend of various aspects of multimedia and technology.

The deadline for registration is 31 July 2006. Seats will only be confirmed upon receipt of payment.

For more information, see http://cmlc.mmu.edu.my/MAFL/, or contact Mr Mohd Yusri Bin Nordin (tel. 00603-8312-5762, fax 00603-8312-5535, email yusri at mmu.edu.my).

Since the first conference held in Marseilles in 1982, ICLP has been the premier international conference for presenting research in logic programming.

For more information, see http://www.cs.uky.edu/iclp06/

The Eighth International Workshop on Termination will delve into all aspects of termination of processes. The intent is to bring together, in an informal setting, researchers interested in all aspects of termination, whether this interest be practical or theoretical, primary or derived. The workshop is hoped to provide a ground for cross-fertilisation of ideas from term rewriting and from the different programming language communities.

For more information, an online registration form and a preliminary program, see http://www.cs.mu.oz.au/wst2006/

Reduction strategies in rewriting and programming have attracted an increasing attention within the last years. Research in this field ranges from primarily theoretical questions about reduction strategies to very practical application and implementation issues. The need for a deeper understanding of reduction strategies in rewriting and programming, both in theory and practice, is obvious, since they bridge the gap between unrestricted general rewriting (computation) and (more deterministic) rewriting with particular strategies (programming). Moreover, reduction strategies provide a natural way to go from operational principles (e.g., graph and term rewriting, narrowing, lambda-calculus) and semantics (e.g., normalization, computation of values, infinitary normalization, head-normalization) to implementations of programming languages.

The workshop intends to promote and stimulate international research and collaboration in the area of evaluation strategies. It encourages the presentation of new directions,developments and results as well as surveys and tutorials on existing knowledge in this area.

For more information, see http://www.cs.pdx.edu/~antoy/wrs06/

There is a recent trend to study probabilistic extensions of traditional concepts of automata-theory and logics. The applications of such probabilistic formalisms cover the analysis of randomized protocols, biological systems, multi-agent systems with uncertainties, security protocols, speech recognition, logic programming, description logics for the semantic web, and many more.

The goal of this workshop is to bring together researchers that are interested in the foundations of probabilistic automata and probabilistic logics and their applications.

For more information, see http://web.informatik.uni-bonn.de/I/baier/PAuL/paul_workshop.html

Hybrid logic is a branch of modal logic in which it is possible to directly refer to worlds/times/states or whatever the elements of the (Kripke) model are meant to represent. The workshop HyLo 2006 is likely to be relevant to a wide range of people, including those interested in description logic, feature logic, applied modal logics, temporal logic, and labelled deduction. A theme of special interest at this HyLo workshop will be the combination of hybrid logic with other logics, the basic methodological question being "what is the best way of hybridizing a given logic?"
HyLo 2006 is affiliated with LICS 2006.

For more information, see http://hylomol.ruc.dk/HyLo2006/

Mathematical Knowledge Management (MKM) is an emerging interdisciplinary field of research in the intersection of mathematics, computer science, library science, and scientific publishing. Its objective is to develop new and better ways of managing mathematical knowledge using sophisticated software tools. Its grand challenge is to create a universal digital mathematics library accessible via the World-Wide Web.

MKM 2006 will be the fifth conference in a series of international MKM conferences that started in 2001. MKM 2006 will stress two themes: the nature of mathematical proof and its role in managing mathematical knowledge. and new modes of consuming and producing mathematical knowledge.

For more information, including a registration form, see http://www.reading.ac.uk/MKM06/

The workshop on rationality and knowledge intends to bring together researchers from a wide variety of fields - including Artificial Intelligence, Cryptography, Distributed Computing, Economics and Game Theory, Linguistics, Logic, Philosophy, and Psychology, in order to further our understanding of interdisciplinary issues involving reasoning about rationality and knowledge.

Invited speakers are Johan van Benthem (Amsterdam/Stanford) and Remzi Sanver (Istanbul Bilgi University).

The workshop is part of ESSLLI 2006 and is open to all ESSLLI participants. It will consist of five 90-minute sessions held over five consecutive days in the second week of ESSLLI. There will be 2 or 3 slots for paper presentation and discussion per session.

For more information, see: http://www.cs.gc.cuny.edu/~sartemov/rkw/.

The XIII SLALM will take place in the beautiful city of OAXACA, MEXICO, from August 7th to August 12th. Prior to the conference the "Escuela Latinoamericana de Logica Matematica" will be held, giving four introductory courses.

For more information, see here or http://slalm.izt.uam.mx/

The Fourth International Conference on Information, Information'06, and the Fourth Irish Conference on the Mathematical Foundations of Computer Science and Information Technology'06, MFCSIT'06, will be co-located on the campus of the National University of Ireland, Cork (NUI, Cork).

Information'06 will focus on Information and Communication Technologies (ICT) in a broad sense, and the applications of these. MFCSIT'06 will focus on mathematical and theoretical aspects of ICT and, conversely, with the applications of ICT to the mathematical sciences. Both conferences are part of interdisciplinary, international conference series held every two years.

For more information, see http://www.ucc.ie/info-mfcsit/

The purpose of the workshop is to gather contributions that (i) take seriously into account the ontological aspects of communication and interaction and (ii) use formal ontologies for achieving a better semantic coordination between interacting and communicating agents.

For more information, see here or http://www.loa-cnr.it/esslli06/

The Logic Colloquium is the annual European conference on logic, organised under the auspices of the Association for Symbolic Logic (ASL). It provides a forum for presenting and discussing the new developments in the area of logic. The conference attracts researchers from logic, with an emphasis on mathematical logic, but also including researchers from computer science logic and philosophical logic. In previous years, the Logic Colloquium has been organised in Athens (2005) and Turin (2004). 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.cs.ru.nl/lc2006/ or contact lc2006 at cs.ru.nl.

Mathematical Aspects of Computer and Information Sciences (MACIS) is a new series of conferences where foundational research on theoretical and practical problems of mathematics for computing and information processing may be presented and discussed. MACIS also addresses experimental and case studies, scientific and engineering computation, design and implementation of algorithms and software systems, and applications of mathematical methods and tools to outstanding and emerging problems in applied computer and information sciences.

For more information, see http://www.cc4cm.org/macis2006/

CCCT'06 is an International Conference that will bring together researchers, developers, practitioners, consultants and users of Computer, Communications and Control Technologies, with the aim to serve as a forum to present current and future work, solutions and problems in these fields, as well as in the relationships among them. Consequently, efforts will be done in order to promote and to foster the analogical thinking required by the Systems Approach for interdisciplinary cross-fertilization, "epistemic things" generation and "technical objects" production.

For more information, see http://www.info-cybernetics.org/ccct06/

This is the thirteenth in a series of workshops to foster interdisciplinary research in pure and applied logic.

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

The International Conferences on Conceptual Structures (ICCS) has been held annually in Europe, Australia, or North America since 1993. The central focus is the formal representation and analysis of conceptual knowledge with research and business applications focusing on artificial intelligence, computational linguistics, and related areas of computer science.

For more information, see http://www.iccs-06.hum.aau.dk/

CL&C'06 is the first of a new conference series on "Classical Logic and Computation". It intends to cover all work aiming to propose a programming language inspired by classical logic, and a semantics for it

For more information, see http://www.doc.ic.ac.uk/~svb/CLaC

The aim of the LOPSTR series is to stimulate and promote international research and collaboration on logic-based program development. LOPSTR is open to contributions in logic-based program development in any language paradigm.

LOPSTR has a reputation for being a lively, friendly forum for presenting and discussing work in progress, so it is a real workshop in the sense that it is also intended to provide useful feedback to authors on their research. Formal proceedings are produced only after the conference, so that authors can incorporate this feedback in the published papers. This year, tool demonstrations are also solicited as a separate submission category. LOPSTR'06 is colocated with ICALP'06, PPDP'06 and CSWF'06.

For more information, see http://www.dsi.unive.it/lopstr2006/

This is the seventh in a series of conferences on the applications of logical methods to foundational issues in the theory of individual and interactive decision-making.

The aim of the LOFT conferences is to promote exchange across different disciplines. Preference is given to 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.csc.liv.ac.uk/~wiebe/LOFT06/

The biennial DEON workshops are designed to promote cooperation among scholars across disciplines who are interested in deontic logic and its use in computer science. These workshops traditionally support research 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, DEON2006 will encourage a special focus on the topic "Artificial Normative Systems"

For more information see http://www.cs.uu.nl/deon2006/

The biennial DEON workshops are designed to promote cooperation among scholars across disciplines who are interested in deontic logic and its use in computer science. These workshops traditionally support research 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, DEON2006 will encourage a special focus on the topic "Artificial Normative Systems"

For more information, see http://www.cs.uu.nl/deon2006/

The 33rd 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 9th to the 16th of July 2006 in Venice, Italy.

ICALP 2006 will be colocated with the 8th ACM-SIGPLAN International Conference on Principles and Practice of Declarative Programming PPDP 2006.

For more information, see http://icalp06.dsi.unive.it/

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://rnc7.loria.fr/

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. Since 1988 SWAT has been held in the five Nordic countries, but this year's conference - the 10th in the series - will be held in the neighboring Baltic region, which has traditionally had a strong connection to the Nordic countries.

Early registration deadline is April 30. For more information and an online registratino form, see http://www.lumii.lv/swat/

The Colloquia on Structural Information and Communication Complexity (SIROCCO) focus on the relationship between computing and communication, i.e., the study of those factors that are significant for the computability and the communication complexity of problems and on the interplay between structure, knowledge and complexity. The Colloquia provide an opportunity to bring together specialists interested in the fundamental principles underlying all computing through communication.

SIROCCO prides itself on being a lively venue, which encourages the emergence of new research areas (related to distributed computing in a broad sense) and the dissemination of original ideas. This is achieved by dedicating ample time for informal discussions and open problem sessions in addition to regular conference activities.

For more information, see http://sirocco06.csc.liv.ac.uk/

CiE 2006 is the second of a new conference series on Computability Theory and related topics which started in Amsterdam in 2005. CiE 2006 will focus on (but not be limited to) logical approaches to computational barriers:
- practical and feasible barriers, e.g., centred around the P vs. NP problem;
- computable barriers connected to models of computers and programming languages;
- hypercomputable barriers related to physical systems.

For more information, see here or http://www.cs.swansea.ac.uk/cie06/

For more information, see http://www.univ-nancy2.fr/poincare/colloques/AR06/epresentation.htm

The conference is held to honor the 75th anniversary of academician Andrei Ershov (1931-1988) and his outstanding contributions towards advancing informatics. The first five conferences were held in 1991, 1996, 1999, 2001 and 2003, respectively, and proved to be significant international events.

The aim of the conference is to provide a forum for the presentation and in-depth discussion of advanced research directions in computer science. For a developing science, it is important to work out consolidating ideas, concepts and models. Movement in this direction is another aim of the conference. Improvement of the contacts and exchange of ideas between researchers from the East and West are further goals.

For more information, see here or http://www.iis.nsk.su/PSI06/

Each PALMYR consists of two workshops, one in Paris and one in Amsterdam, and is aimed at fostering connections between two lively logic communities. This year's first meeting will be in Paris on June 27th and 28th, and will have as a theme "What is the relationship between logic and reasoning?" As in the previous editions, each talk will be commented.

For a long time, logic and reasoning have been bedfellows, for better or for worst. Boole viewed logic as nothing less than An investigation into the Laws of Thought, while Frege argued for an irrevocable split up. But even if modern logical literature abound with attempts at getting closer to real-life reasoning (e.g. epistemic, fuzzy, conditional, intensional, paraconsistent, and other "non-classical" logics) the state of their relationship is still unclear. Does logic describe reasoning? Does it provide normative standards for reasoning? For this third PALMYR, we are looking for researchers from, but not only, Paris or Amsterdam interested to share their opinion on this long-standing relationship.

For more information, see http://www.illc.uva.nl/PALMYR/PALMYR-3/.

It is common wisdom that the still growing power of digital data processing greatly enhances the wealth of human knowledge and will continue to do so. A precondition for this is, however, that knowledge is encoded and represented in a computer-accessible manner, such that it can be algorithmically processed. This requires, in turn, the use of appropriate formal structures for knowledge representation and knowledge processing. Such structures, called `Knowledge Structures', will be the topic of this year's ICCL summer school.

Deadline for registration: 18 March 2006. For more information, an online registration form and a preliminary program, see http://www.computational-logic.org/iccl-ss-2006.

E-CAP is the European conference on Computing and Philosophy, the European affiliate of the International Association for Computing and Philosophy (IACAP) The E-CAP conferences deal with all aspects of the "computational turn" that is occurring through the interaction between the disciplines of Philosophy and Computing.

For more information, see http://www.eu-cap.org/

The 10th International Conference on Principles of Knowledge Representation and Reasoning (KR2006) invites PhD students to apply for the Doctoral Consortium program. It is a student mentoring program that will introduce students to senior researchers with similar interests.

Information about how to submit the applications can be found on the following web pages: http://www.cs.ust.hk/~flin/kr06-dc.html For more information, see here.

The 6th Int. Conference on Algorithms and Complexity covers research in all aspects of computational complexity and the use, design, analysis and experimentation of efficient algorithms and data structures.

For more information, see http://www.dsi.uniroma1.it/~ciac/.

(dutch only)
NWO organiseert op 23 mei 2006 voor de zesde keer Bessensap. We doen dat samen met de Vereniging Wetenschapsjournalisten Nederland (VWN) en met science center NEMO. Het evenement brengt journalisten, redacteuren, voorlichters en mediagenieke onderzoekers dichter bij elkaar. Het motto: wetenschap ontmoet pers, pers ontmoet wetenschap.

Voor meer informatie, zie http://www.nwo.nl/bessensap

The 38th ACM Symposium on Theory of Computing (STOC 2006), sponsored by the ACM Special Interest Group on Algorithms and Computation Theory (SIGACT), will be held in Seattle, WA, May 21 to 23, 2006. Typical but not exclusive topics of interest include: algorithms and data structures, computational complexity, cryptography, computational geometry, algorithmic graph theory and combinatorics, randomness in computing, parallel and distributed computation, machine learning, applications of logic, algorithmic algebra and coding theory, computational biology, computational game theory, quantum computing and other alternative models of computation, and theoretical aspects of areas such as databases, information retrieval, and networks.

For more information, see http://www.cs.washington.edu/stoc06/

The Rally is a conference intended mainly for YOUNG PEOPLE - undergraduate, postgraduate, and PhD students - who are interested in PHILOSOPHY, LOGIC, cognitive science, artificial intelligence, or linguistics, and are considering an academic career. The program of the Rally will include reported paper presentations as well as WORKSHOPS, DEBATES, and LECTURES of invited speakers (i.e. Diderik Batens, Theo Kuipers, Jaroslav Peregrin, Leslie Stevenson from outside of Poland, and Stanislaw Judycki, Katarzyna Paprzycka, Andrzej Wisniewski, Maciej Witek, Ryszard Wojcicki, Krzysztof Wojtowicz from Poland). In this way, young conference participants will be able not only to present the results of their own work, but also to acquaint themselves with research methods of well-known and respected philosophers and logicans.

Deadline for sending applications, lecture papers and announcements is April 16, 2006. For more information, see http://www.filozofia.pl/zf/en/?nzw=zwiastun

TAMC06 is a new annual conference focusing on theory and applications of computation. It is organized as part of the Grand China NSF International Joint Project after which the conference is named, and is supported by the Chinese National Science Foundation, and the Institute of Software of the Chinese Academy of Sciences. Previously two annual meetings were held in 2004 and 2005, with enthusiastic participation from researchers all around the world. TAMC 06 will be a much larger international conference. The scope of the conference will include algorithms, complexity, models of computation, and computability. The conference will be interdisciplinary in nature, and bring together researchers and students with an interest in computer science, mathematics and logic, and applications to the physical sciences.

For more information, see http://gcl.iscas.ac.cn/accl06/TAMC06_Home.htm

DALT-2006 will be held as a satellite workshop of AAMAS-2006, the 5th International Joint Conference on Autonomous Agents and Multiagent Systems. Topics of interest include logic-based approaches to specifying and developing multiagent systems (including modal and temporal logics, model checking, constraint logic programming) and applications such as the semantic web, security, and electronic contracting. Deadline for submission of papers is the 15 January 2006.

For more information, see http://staff.science.uva.nl/~ulle/DALT-2006/ or contact Ulle Endriss (ulle at illc.uva.nl).

The Third International Workshop on Philosophy and Informatics is organized by the Institute for Formal Ontology and Medical Information Science and the Special Interest Group on Philosophy and Informatics of the German Informatics Society.

The workshops are designed to encourage interdisciplinary exchange on the philosophical foundations of informatics. They seek to bring together researchers from philosophy and informatics and neighboring disciplines in order to explore common points of interest and to develop an interface between the disciplines and a common vocabulary. The workshop also serves as the annual meeting platform of the members of the Special Interest Group on Philosophy and Informatics. The 2006 Workshop has a special focus on the area of bio- and biomedical informatics.

For more information, see http://wspi2006.workshop.hm/

Logics, Foundations of Mathematics, and the Quest for Understanding the Nature of Knowledge.
An International Symposium Celebrating the 100th Birthday of Kurt Goedel.
Organized by the Kurt Goedel Society (http://kgs.logic.at/).

The Symposium will consist of more than 20 invited lectures by eminent scientists in the fields of logics, mathematics, philosophy, physics, cosmology, and theology. There will be a young researchers competition and a poster session, and a social program including a visit to Goedel's birthplace Brno.

For more information, including the list of invited speakers and an online registration form, please see http://www.logic.at/goedel2006/ or contact goedel2006team at logic.at

BCTCS provides a forum in which researchers in theoretical computer science can meet, present research findings, and discuss developments in the field. It also aims to provide an environment in which PhD students can gain experience in presenting their work, and benefit from contact with established researchers.

Deadline for registration and contributions: February 20, 2006. For more information, an online registration form and a preliminary program, see http://www.cs.swan.ac.uk/bctcs2006/

Continuing the highly successful series of Workshops on Automated Reasoning, this event will provide an informal forum for the automated reasoning community. The ARW workshop series aims to bring together researchers from all areas of automated reasoning in order to foster links and facilitate cross-fertilisation of ideas among researchers from various disciplines; among researchers from academia, industry and government; and between theoreticians and practitioners.

We invite interested persons to submit a camera-ready, two-page abstract about recent work or work in progress, or a system description. Anyone wishing to attend but not interested in presenting should send a shorter position statement (1/2 - 1 page).

Deadline for submission of papers is February 10th, 2006. For more information, see here, http://www.csc.liv.ac.uk/~clare/ARW/about.html or http://www.cs.nott.ac.uk/~mxw/arw06/

We are pleased to announce our fifteenth annual BEST conference. There will be four talks by invited speakers:
Natasha Dobrinen (Kurt Godel Research Center for Mathematical Logic)
Michael Hrusak (UNAM)
Istvan Juhasz (Alfred Renyi Institute of Mathematics)
Boban Velickovic (Universite de Paris 7)

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

SALT 16 will be held March 22-24, 2006 at the Komaba campus of the University of Tokyo under the auspices of the Center for Evolutionary Cognitive Sciences. SALT has provided a leading annual international forum for semantics for the past 15 years. 2006 will mark the first time for it to be held outside the United States.

For more information, see here or http://research.nii.ac.jp/salt16/

The philosophy graduate student associations of Rutgers University and Princeton University will be hosting a conference on the weekend of March 4-5, 2006. Papers from graduate students in all areas of philosophy will be considered. Deadline: January 15th 2006.

For more information, see here or http://web.princeton.edu/sites/philosph/gradconf/

The series of workshops on (constraint) logic programming serve as the annual meeting of the Society of Logic Programming (GLP e.V.) and bring together researchers interested in logic programming, constraint programming, and related areas like databases and artificial intelligence. Previous workshops have been held in Germany, Austria and Switzerland. The workshops provide a forum for exchanging ideas on declarative logic programming, nonmonotonic reasoning and knowledge representation, and facilitate interactions between research in theoretical foundations and in the design and implementation of logic-based programming systems. The technical program of the workshop will include invited talks, presentations of refereed papers, and system demonstrations.

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

This meeting aims at bringing together mathematicians and computer scientists with interests in Logic. It is specially directed for graduate students. It consists of four introductory courses and contributed talks. Courses include "Category Theory", "Proof Interpretations", "Computations with Ordinals, and Models of Set Theory" and "Provable Recursion and Arithmetical Independence Results"

For registration or more information, see http://www.mat.uc.pt/~kahle/dl06/ or contact the organizers at kahle at mat.uc.pt.

The Nijmegen Lectures 2006 committee is pleased to announce that the Nijmegen Lectures 2006 will take place on December 11th, 12th and 13th. In the Nijmegen Lectures series, a leading scientist in the fields of psychology or linguistics presents a three-day series of lectures and seminars. The purpose of the series is to allow broad and intensive coverage of research topics by providing extensive interaction among the invited speaker and the participants. This year's lectures will be given by Paul Bloom, Yale University.

Registration is mandatory both for mornings and afternoons, because seating is limited. We advise you to register as soon as possible (deadline November 30th).

For more information, including abtracts and a registration form, see http://www.mpi.nl/events/nijmegenlect/

The eleventh and final Abstraction Workshop of Arché research project concerning The Logical and Metaphysical Foundations of Classical Mathematics is taking place in St Andrews, 8-10 December 2006, under the title "Status belli: Neo-Fregeans and Their Critics."

The workshop focuses on topics concerning the very heart of the Neo- Fregean programme. It revisits a variety of specific criticisms and trouble-spots, and evaluates what progress has been made on these issues, or might yet be made.

The programme of the workshop and more details can be found here: http://www.st-andrews.ac.uk/~arche/pages/workshops/abstractionwrks11.html. Please email us <arche at st-andrews.ac.uk> if you would like to register for the workshop.

The IADIS CELDA 2006 conference aims to address the main issues concerning with the evolving learning processes and supporting pedagogies and applications in digital age. There have been huge advancements in both cognitive psychology and computing that have affected the educational arena.

For more information, see http://www.iadis.org/celda2006/ E-mail: celda_sec at iadis.org

The Computer Sciences Laboratory in the Research School of Information Sciences and Engineering at The Australian National University will host the Logic Summer School from the 4th to the 15th of December 2006, at the Physics G6 lecture theatre at the ANU.

The Logic Summer School comprises a blend of practical and theoretical short courses on aspects of pure and applied logic taught by international and national experts. Topics include: Foundations of first-order logic,Modal and temporal logic,Introduction to Automated reasoning, Formal Methods, Knowledge representation and reasoning, non-classical logic, Computability and incompleteness.

Deadline for early registration: 27 November 2006. For more information, see http://lss.rsise.anu.edu.au/ or contact Professor John Slaney by email at: John.Slaney at anu.edu.au

CAMELEON is a research group of logicians based in CAmbridgE LEeds Or Norwich. We are having a meeting in Cambridge on the weekend of 2-3 December 2006 with possibly some spillover events in the days leading up to it.

The details are very far from finalised: if you are able to come to Cambridge at that time - and would like to be kept au courant so that you can make up your mind whether or not to come, then contact Thomas Forster at tf at dpmms.cam.ac.uk. For more information, see also http://www.dpmms.cam.ac.uk/~tf/cameleon.html

"Logical methods in exact and social sciences": a conference to commemorate the 70th birthday of Rohit Parikh, to be held at the CUNY Graduate Center 365 Fifth Avenue, New York. Sponsored by the MidAtlantic Mathematical Logic Seminar, New York Logic Colloquium, and CUNY Computer Science Colloquium.

For more information, see http://nylogic.org/Colloquium/ParikhFest

Friday, November 24
14.00 Marietje van der Schaar (Leiden): Bolzano on Judgement and Error.
16.00 Igor Douven (Leuven): Antirealist Truth.

Saturday, November 25
9.00 Leon Horsten (Leuven): Inferential Deflationism.
11.00 Gabriel Sandu (Helsinki/Paris): The Van Heijenoort-Hintikka Dichotomy.
14.00 Paolo Casalegno (Milan): Margin for Error Principles and Williamson's Antiluminosity Thesis.
16.00 Kevin Mulligan (Geneva): Reasons, Rightness and Knowledge.

Sunday, November 26
10.00 Per Martin-Löf (Stockholm): Evidence and Coherence.

Participation is free, but participants are requested to register via email to Prof B.G.Sundholm at b.g.sundholm at let.leidenuniv.nl. For more information, see http://www.filosofie.leidenuniv.nl/index.php3?m=&c=268

A one-day conference in the series "Set theory and its neighbours", which will take place on Wednesday 22nd November 2006 at the Department of Mathematics, University College London. The speakers at the meeting will be Riccardo Camerlo (Turin), Greg Piper (tbc), Shingo Saito (University College London) and Philip Welch (Bristol)

As ever, we hope to keep the meeting fairly relaxed, allowing plenty of opportunity for informal discussion. We welcome and encourage anyone to participate. Please do tell anyone about the meeting who you think may be interested in it. We are happy for you to email us to let us know if you intend to come, but you are also very welcome simply to turn up on the day if you make a late decision.

For more information, see http://www.ucl.ac.uk/~ucahcjm/stn.html

Speakers: Fabian Dorsch, Lucy O'Brien, Susanna Siegel, A. David Smith, Stephen White

Open to all those interested; but please, if possible, notify us of your participation.

For more information, see http://www.unifr.ch/philo/fr/news/events_display.php?id=1

Dear Colleagues,

The Joint Session of the two Divisions of the International Union for History and Philosophy of Science is planned in Paris, November 17-18, at the École Normale Supérieure. The thema of the conference is: "Calculability and Constructivity: Historical and Philosophical Aspects".

More information on the website of the conference at http://www-ihpst.univ-paris1.fr/dlmps/jointsession06/.

ICTAC is an International Colloquium on Theoretical Aspects of Computing created by the International Institute for Software Technology of the United Nations University (UNU-IIST). The aim of the colloquium is to bring together practitioners and researchers from academia, industry and government to present research results, and exchange experience, ideas, and solutions for their problems in theoretical aspects of computing. Beyond these scholarly goals, another main purpose of the conference is to promote cooperation in research and education between participants and their institutions, from developing and industrial countries, as in the mandate of the United Nations University.

ICTAC comprises a School (13-17 November) and a Conference (20-24 November). Deadline for applications for the school is September 15, 2006.

For more information, see http://www.iist.unu.edu/ICTAC2006/

Researchers in such areas as artificial intelligence, formal and computational linguistics, biomedical informatics, conceptual modeling, knowledge engineering and information retrieval have come to realise that a solid foundation for their research calls for serious work in ontology, understood as a general theory of the types of entities and relations that make up their respective domains of inquiry. As the need for integrating research in these different fields arises, so does the realisation that strong principles for building well-founded ontologies might provide significant advantages over ad hoc, case-based solutions. The purpose of FOIS is to provide a forum for genuine interdisciplinary exchange in the spirit of a unified effort towards solving the problems of ontology, with an eye to both theoretical issues and concrete applications.

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

Program
14 - 15 uur: Stephen Read (St. Andrews): Why is Bradwardine so Good?
15 - 16 uur: Sara Uckelman (UvA): The Changing Scope of Logic: Recasting the *logica vetus*/*logica nova* distinction
16 - 17 uur: Göran Sundholm: The Propositio per se nota and Formal Consequentia. Two Strands in the Validity of Logical Inference.
17 - 18 uur: Borrel.

All lectures are 30 minutes, followed by 15 minutes of discussion and a break.

Address: Room 007, Witte Singel-Doelen complex, Matthias de Vrieshof 4, Leiden

For more information, contact: Bert Bos at c.e.bos at hetnet.nl.

The 17th Novembertagung on the History and Philosophy of Mathematics will take place from Friday 3rd to Sunday 5th November 2006 at the Science Studies Unit in the University of Edinburgh.

The "Novembertagung" is an annual international event, started in 1990, which brings together young historians and philosophers of mathematics. The conference provides an opportunity to give a presentation in a relaxed and friendly atmosphere. It is open to PhD students, post-doctoral fellows, and others who are at an early stage in their research careers.

For more information, and to register for the conference or apply to give a paper, please go to http://www.17th-novembertagung.net/ or email contact at 17th-novembertagung.net

Speakers include Saharon Shelah, Ben Miller, István Juhász and Boban Velickovic.

See further details on the conference web page at http://www.math.rutgers.edu/~cherlin/Mamls/Current/.

The IADIS WWW/Internet 2006 conference aims to address the main issues of concern within WWW/Internet. WWW and Internet had a huge development in recent years. Aspects of concern are no longer just technical anymore but other aspects have aroused. This conference aims to cover both technological as well as non-technological issues related to these developments.

For more information, see http://www.iadis.org/icwi2006/ or email: icwi_sec at iadis.org

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://www.inf.u-szeged.hu/~csl06/

A symposium to celebrate the 60th birthday of Gordon Plotkin.
Two days of invited talks on 7th and 8th September, with a banquet on the evening of Thursday 7th September.

Registration is now open. For more information, see the webpage at http://www.lfcs.ed.ac.uk/events/plotkin-symposium/

The Theory of Fallacies and Its Use from Boethius to Paul of Venice.

The Symposium will take place from Tuesday 5th morning to Saturday 9th morning, with an half day free (probably Thursday afternoon) for the traditional, but of course unconstrained, excursion. Arrival day is Monday 4th, the conference will necessarily end before 13.00 on Saturday 9th, due to the closing of the University building. As usual, a dinner will be offered to the participants and a conference meeting will be held in the final part of the Symposium. The conference sessions will be held at Palazzo Antonini, (the Humanities building, nr. 2 in the map of the city that you can find at http://web.uniud.it/ceco/pianta.pdf).

For more information, see http://www.swif.uniba.it/lei/filmed/settembre_06.htm or contact Andrea Tabarroni
Università degli Studi di Udine
Istituto di Storia e Tutela dei Beni Culturali
Via Antonini 8
I - 33100 Udine
Tel. 0432 556111

The main topics of this conference on discrete mathematics and theoretical computer science are:
* combinatorics on words (including algebraic and algorithmic aspects)
* all aspects of formal languages and codes,
* finite and infinite automata (including structural and logical aspects), ...

For more information, see http://www.irisa.fr/JM06/

ECAI, the biannual European Conference on Artificial Intelligence, is the leading conference in its field in Europe. ECAI-06, the 17th conference in this series, is jointly organized by the European Coordinating Committee on Artificial Intelligence and the Italian Association of Artificial Intelligence.

ECAI-06 will give researchers from all over the world the possibility to identify important new trends and challenges in all subfields of Artificial Intelligence, and it will provide a major forum for potential users of innovative AI technique

For more information, see http://ecai2006.itc.it/

ACAC is a biannual meeting aiming to bring together researchers working in all areas of the theory of algorithms and computational complexity. It is expected to serve as a lively forum for presenting research results that are in a preliminary stage or have been recently presented in some major conference. For this first meeting there will be no regular submissions. Invited contributions may appear, fully or partially, in informal proceedings distributed at the workshop. The language of the workshop is English.

Deadline for registration: 16 August 2006

For more information and a preliminary program, see http://www.corelab.ece.ntua.gr/acac06/

The event is the annual training event run by the Marie Curie Early Stage Training Network MATHLOGAPS. It features lecture courses, intended particularly for PhD students with an interest in mathematical logic, by Anand Pillay (Leeds), Bob Soare (Chicago) and Jeff Paris (Manchester), and invited lectures by Klaus Aehlig (Munich) and Wilfried Buchholz (Munich). Bretton Hall (home of the Yorkshire Sculpture Park) is in the countryside about 15 miles south of Leeds.

Please register as soon as possible. For more information, an online registration form and a preliminary program, see http://www.leeds.ac.uk/european/mathlogaps.html

ADFOCS is organized as part of the activities of the Algorithms and Complexity Group and the International Max-Planck Research School of the Max-Planck-Institut für Informatik. The scope of ADFOCS is international. Young researchers at the PhD student or postdoc level are cordially invited to participate. The goal of ADFOCS is to have hot topics from fundamental areas of computer science presented by top researchers in the field, bringing participants to the frontiers of current resarch.

For this year's ADFOCS we have three main speakers. Each of them is giving two 90-minute lectures with subsequent exercise and discussion sessions. There will be further lectures and activities as well. The main speakers are:
-- Tamal Dey, Ohio State University
-- Joel Spencer, New York University
-- Ingo Wegener, Universitaet Dortmund

Deadline for early registration: 21 June 2006. For more information, an online registration form and a preliminary program, see http://www.mpi-inf.mpg.de/adfocs/

For more information, see http://www.pu.kielce.pl/~topoconf/

This workshop, sponsored by the American Institute of Mathematics and the U.S. National Science Foundation, will focus on effective notions of randomness such as Martin-Lof randomness, measures of relative randomness, effective dimension, Kolmogorov complexity and other concepts from algorithmic information theory, and interactions with computability theory and complexity theory.

For more information, see http://aimath.org/ARCC/workshops/randomness.html

Students and researchers are invited to attend the sixth summer school on quantum information processing held at the University of Calgary. The goal of the school is to introduce a general audience of computer scientists, physicists, and mathematicians with little or no background in quantum information processing to this exciting and growing field.

For more information, see http://www.equips.ca/

We are pleased to invite you to a conference on topology and computer science to mark the retirements of Peter Collins and Mike Reed from the Oxford Mathematical Institute and the Oxford Computing Laboratory.

The conference will take place in Oxford, 7th-10th, August 2006, the week before the Prague Symposium and will include special sessions on Set-theoretic Topology, Theoretical Computer Science and Continuum Theory and Dynamics.

Symposium on Music and Cognition at CogSci 2006.

Like language, music is a uniquely human capacity that arguably played a central role in the origins of human cognition. The ways in which music can illuminate fundamental issues in cognition have been underexamined, or even dismissed as epiphenomenal. This symposium highlights cognition in music, especially as related to language, as enlarging our understanding of cognition as a hole, contributing conceptually and methodologically to cognitive science, and showing the advantages of taking music as a strong partner in studying human cognitive functioning in all its facets.

With contributions by:
Richard Ashley (Northwestern University, USA)
Erin Hannon (Harvard University, USA)
Henkjan Honing (University of Amsterdam, The Netherlands)
Edward Large (Florida Atlantic University, USA)
Caroline Palmer & Sean Hutchins (McGill University, Canada)

For more information, see http://www.cogsci.rpi.edu/~rsun/cogsci2006/

This Summer School is organized by the S2S² project and the Music Technology Group of the Pompeu Fabra University in Barcelona, with the goal to promote interdisciplinary education and research in the field of Sound and Music Computing. The School is aimed at graduate students working on their Master or PhD thesis, but it is open to any person carrying out research in this field.

The lectures are designed to be of interest to any graduate student or researcher in the field of Sound and Music Computing. The topics chosen for this year are Interface Design and Music Cognition; relevant topics in our research fields which have particular methodologies and research strategies. The lectures will present these particular methodologies and their application in Music related problems.

For more information, see http://www.iua.upf.es/mtg/sssmc2006/

EASSS-2006 consists of a mixture of introductory and advanced courses delivered by internationally leading experts in the multiagent systems field, and it covers the full range of theoretical and practical aspects of multiagent systems.

For more information see http://www.esia.univ-savoie.fr/easss06

The MPC conferences aim to promote the development of mathematical principles and techniques that are demonstrably useful and usable in the process of constructing computer programs. Topics of interest range from algorithmics to support for program construction in programming languages and systems.

MPC'06 is colocated with AMAST'06. For more information,see http://cs.ioc.ee/mpc-amast06/mpc/ or the joint MPC/AMAST'06 page at http://cs.ioc.ee/mpc-amast06/.

Games are pervasive in the theory of computation. Traditionally, they have been used as tools for understanding definability in logic. More generally, games are useful, as alternating automata, for solving a variety of algorithmic questions about finite and infinite state systems (such as reachability and liveness properties). A third, and much more recent, use of games is the semantics of programming languages, where the meaning of a program is defined in terms of winning strategies. This event will bring together researchers in the several different areas in the theory of computation in which games play an important role.

This workshop is the first annual meeting of GAMES, a research training network funded by the European Community, and is part of the Spring 2006 program on Logic and Algorithms at the Isaac Newton Institute for Mathematical Sciences.

For more information, an online registration form and a preliminary program, see http://www.newton.cam.ac.uk/programmes/LAA/laaw06.html

The workshop is organized on the occasion of Michael Bratman's visit to the Netherlands and is intended at bringing together Dutch scientists from different fields to exchange ideas on Bratman's theory of collective agency. This should allow for a deeper understanding of the theory itself, but also for evaluating its relevance in more applied settings such as mechanism design or legal responsibility assessment. In addition, we expect that this will foster networking between the numerous Dutch research groups that are currently working on some aspects of collective agency, more often than not in parallel.

Speakers include Michael Bratman (Stanford), John A. Michon (Leiden), Frans Groen (UvA), Frank Hindriks (Groningen) and Boudewijn de Bruin (Groningen).

Those who want to attend the workshop can now register online! Registration is free and open to everyone. For more information, see http://staff.science.uva.nl/~oroy/Doing_it_together/.

The Dutch national Cognition programme is organizing a symposium around consciousness at Wednesday June 28 in Utrecht, the Netherlands. Four internationally renowned speakers from very different cognitive backgrounds will address this issue from their respective points of view in a lively and stimulating environment with ample opportunities for formal and informal discussion. Do not miss this event and register now!

Participation is free, but as there is only a limited numbers of seats available, registration is obligatory. For more information, see http://www.cognitie.nl/Symposium

In recent years, research at the intersection of game theory and computer science has become increasingly important, increasingly strong and increasingly diverse. This summer school will span computational and algorithmic game theory as well as topics of algorithmic flavor in pure game theory.

The summer school will take place at the BRICS PhD school at the Department of Computer Science, University of Aarhus on June 26-30, 2006. The intended participants of the summer school are graduate students and post-docs within computer science, but also students within mathematics and economics interested in computational aspects of game theory are encouraged to register for the summer school.

Deadline for registration: May 1st, 2006. For more information, see http://www.brics.dk/game06/.

The 19th Annual Conference on Learning Theory will be held at the Carnegie Mellon University, Pittsburgh. The conference will be co-located with ICML' 06.

For more information, an online registration form and a program, see http://learningtheory.org/colt2006/

The workshop will explore topics in Modal Logic, Stone Duality, and Coalgebra. Invited speakers include Alexandru Baltag, Martin Escardo, Ian Hodkinson, Yde Venema and Frank Wolter.

For more information, see http://www.cs.le.ac.uk/people/nb118/workshop.html

In 2006, the Department of Philosophy at Carnegie Mellon University will launch 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 promising students to cross-disciplinary fields of research at an early stage in their career; and
- forge lasting interdisciplinary links between the various disciplines.

Deadline for application: March 15, 2006

For more information, an online application form and a course program, see http://www.phil.cmu.edu/summerschool/

From June 12th to 30th, 2006, the Master Cognitive Science (at the Universiteit van Amsterdam) will organize her fourth Summerschool.

The CSCA Summerschool concentrates on the work of Frijda Honorary Chair in Cognitive Science, occupied this academic year by professor Annette Karmiloff-Smith (Neurocognitive Development Unit, University College London). Dr. Karmilloff-Smith has provided an immense contribution to the field of developmental cognitive neuroscience. During the three-week Summerschool, international experts from the fields of psychology, psychiatry, biology, genetics, neuroscience, and computational modeling will present lectures on advances in research on developmental cognitive disorders. In addition, the Summerschool will comprise hands-on workshops led by senior researchers from the participating fields. The finale of the Summerschool will be a one-day Symposium at June 30, 2006. At the Symposium, experts from international standing will cover the themes of the Summerschool.
Master students from relevant fields are encouraged to register.

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

The focus of the meeting will be on descriptive set theory and its connections (with algebra, topology, measure theory, topological dynamics, combinatorics, etc). In part, the meeting is organized to honor Alexander S. Kechris of CalTech on the occasion of his 60th birthday.

There will be two invited lectures on Friday (the 9th) starting at 3pm, five on Saturday, and three on Sunday; the meeting will end at 1 pm on the 11th.

For more information, see http://www.math.uiuc.edu/Bulletin/lm2006.html Deadline for student travel award application is: April 7, 2006.

The purpose of these workshops is to bring together individuals, both faculty and graduate students, using mathematical methods in epistemology in small focused meetings. Besides papers with respondents, each workshop will typically include short introductory tutorials (three or four topically related presentations) on formal methods. These tutorials will be oriented particularly to graduate students.

For more information and a preliminary program, see http://ist-socrates.berkeley.edu/~fitelson/few/

The international workshop on the Universal Urysohn Metric Space will take place at Ben-Gurion University (Beer Sheva, Israel) from 21-24 May, 2006. The Urysohn space U is the universal complete metric separable space. This remarkable mathematical object, introduced by P. Urysohn 80 years ago, has generated a considerable and steadily growing interest over the past two decades. The purpose of the workshop is to bring together leading mathematicians working in the fields of Topological Groups, Functional Analysis, Geometry, Representation Theory, Dynamics, Logic and Set Theory in order to exchange ideas and present results of current research of the Urysohn space.

For more information, see http://www.math.bgu.ac.il/~arkady/Workshop_2006/main_page.html

As Gödel scholars are now becoming increasingly familiar not only with the texts in the Collected Works but also with the still unpublished ones in the Archive, we see changes in our understanding of Gödel's work: his results in logic, the development of which has now begun to be traced in much more detail, but also his philosophical reflections, the full importance of which is becoming ever clearer. The aim of this workshop will be to discuss Gödel's writings and to present and compare different perspectives on the philosophy and career of this logician. We will study his writings in order better to understand his intellectual development, his own reflections on his logical theorems, and, finally, the concomittant metaphysics that he hoped to develop.

The official languages will be English and French

For more information, see here or contact the organisers: Pierre Cassou-Nogués (pierre.cassou-nogues at univ-lille3.fr) and Mark van Atten (mark.vanatten at univ-paris1.fr).

The Seventeenth Annual Gödel Lecture will be given by P. Martin-Löf, and a tutorial on quantum information theory will be offered by P. Selinger. The invited program also includes a symposium to commemorate the centennial of the birth of Gödel, in which J. Avigad, S. Friedman, and A. Kanamori will speak. Special sessions are planned in categorical logic/quantum information theory, effective aspects of measure theory and analysis, model theory, and set theory.

For more information, an online registration form and a preliminary program, see http://asl2006.uqam.ca/

The aim of this workshop is to bring together psychologists and philosophers who are studying the epistemological and ontological foundations of number.Key topics are: what are numbers? How do we acquire knowledge about them? What is the role of language and other cultural factors in acquiring numerical concepts? What neural correlates underlie numerical competence? What are the implications of psychological foundations of number for the philosophy of mathematics? We expect that bringing together philosophers and psychologists will foster a unique cross-fertilization for both fields. As the workshop will have an in-depth, focused character, we have invited eminent scholars in psychology and philosophy whose work has deepened the understanding of the nature and knowledge of number.

For more details, including full programme, titles and abstracts, follow this link: http://www.vub.ac.be/CLWF/WON2006/

The COMBSTRU School on Computational Complexity is a forum for advanced training of pre- and post-docs on hot topics in Computer Science at the frontier of current research trends. Such a school is held for the first time in Italy and is an opportunity for young researchers in Computer Science, Economics and Applied Mathematics to meet with research leaders in the areas of Computational Economics and Complexity Theory.

The school is open to Ph.D. students and post-docs in Computer Science, Economics, and Applied Mathematics. There is a limited number of BICI fellowships available to cover registration costs for students without other means of support. For more information, an online registration form and a syllabus, see http://www.iit.cnr.it/cscc06/.

Mathematical Logic has been contributing in a relevant way to the birth and the development of Computer Science. Accordingly the AILA Logic and Computer Science workshop just aims at bringing together researchers interested in the interactions between Mathematical Logic and several fields in Computer Science.

AILA Logic, Model and Computer Science workshop LMCS06 wishes also to honour the memory of Sauro Tulipani, who so largely and brilliantly, and for so many years contributed to this research area. Hence the workshop will focus in particular on Sauro's main research interests
- computability and computational complexity,
- uncertainty logic,
but it will also deal with other topics such as
- logic of concurrency,
- game semantics
and further themes concerned with the relationship between Mathematical Logic and Computer Science.

For more information, see http://dmi.unicam.it/merelli/LMCS06/

The third MODNET SUMMER SCHOOL will be in Freiburg, 19-22 April, 2006. It is intended for PhD-students, but other participants are welcome. There will be three 5 hour courses, supported by tutorials:

• Introduction to Algebraic Geometry (Anand Pillay)>
• Finite Model Theory (Joerg Flum)
• Advanced Stability Theory (Enrique Casanovas)

For more information, see http://home.mathematik.uni-freiburg.de/ziegler/modnet.freiburg.06.html

Proof complexity is an area of mathematics (and mathematical logic and computational complexity theory in particular) centered around the problem whether the complexity class NP is closed under complementation. With a suitable general definition of a propositional proof system (Cook and Reckhow 1979) this becomes a lengths-of-proofs question: Is there a propositional proof system in which every tautology admits a proof whose length is bounded above by a polynomial in the length of the tautology? The ultimate goal of proof complexity is to show that there is no such proof system; that is, to demonstrate superpolynomial lower bounds for all proof systems.

For more information, see http://www.newton.cam.ac.uk/programmes/LAA/laaw04.html

A conference in memory of Stanley Tennenbaum.

For more information, see http://mamls.org/Tennenbaum

The European Chapter of the ACL (EACL) is the primary professional association for computational linguistics in Europe.

Deadline for early registration is 6 March 2006. For more information and an online registration form, see http://eacl06.itc.it/ or contact jzuidema at science.uva.nl

Keynote speakers: Timothy Williamson ('"Conceptual truth"/'Is justification in the head?'), Stefaan Cuypers ('The internalism/externalism debate on moral responsibility') and Jeanne Peijnenburg ('On the probability of a probability'). Contributed papers by: Betty, Blaauw, Coeckelberg, Connolly, De Clercq, De Nul, Derra, Douven, Hindriks, Horsten, Kirschenmann, Leilich, Lockhorst, Mueller, Myin, Romeijn, Slurink, van der Schaar, Van Kerckhove, Vasconez, Veldeman, Wilde

For more information and a programme, see http://www.filosofie.vu.nl/Nieuws/index.cfm/news_content.cfm/newsid/ or contact L.B.Decock at ph.vu.nl or C.van.Putten at ph.vu.nl.

FOSSACS will present original papers on foundational research with a clear significance for software science. The conference focuses on on theories and methods to support the analysis, integration, synthesis, transformation, and verification of programs and software systems.

For more information, see http://fossacs06.ru.is/

The year 2006 marks the centenary of Kurt Gödel's birth. This conference aims to bring together mathematicians and philosophers of mathematics to reflect on the foundations of mathematics, particularly in the light of Gödel's work.

For more information, see http://homepages.ed.ac.uk/s0090199/conference.htm

During the last few years, it has become increasingly clear that a great variety of state-based dynamical systems, like transition systems, automata, process calculi and class-based systems, can be captured uniformly as coalgebras. Coalgebra is developing into a field of its own interest presenting a deep mathematical foundation, a growing field of applications and interactions with various other fields such as reactive and interactive system theory, object oriented and concurrent programming, formal system specification, modal logic, dynamical systems, control systems, category theory, algebra, analysis, etc. The aim of the workshop is to bring together researchers with a common interest in the theory of coalgebras and its applications.

For more information, see http://conferences.inf.ed.ac.uk/cmcs06/cmcs06.html

A two-day colloquium on Modern Type Theory will be held on Friday, March 24 and Saturday, March 25 at the IHPST in Paris.

For more information, see here or http://www-ihpst.univ-paris1.fr, or contact Mrs. Peggy Cardon at peggy.cardon at univ-paris1.fr.

INFINITY is a BRICKS project sponsored by NWO, and is concerned with infinite objects, computation, modeling, and reasoning. The symposium is meant as an opportunity to learn about related work and meet people working in related fields. Most talks will be of a tutorial nature.

For more information, see here or http://fspc282.few.vu.nl/infinity/index.php/Infinity_Symposium

The study of constraint satisfaction problems (CSPs) began in the 1970's in artificial intelligence, where this paradigm is now as popular as ever, with hundreds of researchers using this framework to model and solve a wide variety of problems. In 1978, Thomas Schaefer published a seminal paper on the complexity classification of Boolean CSPs, and since then the importance of the CSP in theoretical computer science has continued to grow. For example, many standard complete problems for standard complexity classes are variants of CSPs, and some of the first optimal inapproximability results in combinatorial optimization were proved for certain CSPs.

For more information, see http://www.comlab.ox.ac.uk/mathscsp/.

The goal of the workshop is to allow researchers working on formal linguistics to present their ongoing work. Speakers include Jan van Eijck, Michael Moortgat & Willemijn Vermaat, Rick Nouwen, Oystein Nilsen & Jakub Dotlacil, Matteo Capelletti, Fabian Battaglini.

For more information, contact Fabian Battaglini at Fabian.Battaglini at let.uu.nl

The goal of the workshop is to allow people working on formal linguistics to present their ongoing research. This workshop is organised in collaboration with the CTL colloquium. Speakers include Jan van Eijck, Michael Moortgat, Matteo Capelletti and Fabian Battaglini.

For more information, see here

There will be a "Set Theory and its Neighbours" meeting in London on 15th March 2006, with some funding from 'Cameleon'. The speakers at the meeting will be Peter Komjath, Matteo Viale, Mirna Dzamonja, Taras Banakh and Piotr Koszmider. As ever, we aim to keep the meetings fairly relaxed, allowing plenty of opportunity for informal discussion. We welcome and encourage anyone to participate.

For more information, see here.

Topics include the general theory of o-minimality, generalizations, definable groups, and connections with stability and complex geometry. Speakers will (tentatively) include: Alessandro Berarducci, Mario Edmundo, Rahim Moosa, Kobi Peterzil, Artur Piekosz, Zachary Robinson, Sergei Starchenko, Alex Wilkie, Boris Zilber.

For more information, see http://www.logique.jussieu.fr/modnet/events/omin06Leeds.html

We are happy to invite you for the Theory Day 2006 of the NVTI. The Dutch Asssociation for Theoretical Computer Science (NVTI) supports the study of theoretical computer and its applications.

As in previous years we have a strong program featuring excellent speakers from the Netherlands and abroad, covering important streams in theoretical computer science.

For more information, see http://www.nvti.nl/Theorydays.html.

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'06 is the eleventh 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.

Deadline for registration: 20 January 2006

For more information, an online registration form and a course list, see http://www.cs.ioc.ee/yik/schools/win2006/

Logic and databases have been intimately linked since the rise of relational database systems in the 1970s. Relational databases can be modelled by finite relational structures, and first-order logic lies at the core of standard database query languages such as the Structured Query Language, SQL. As another example, closer to current research, XML documents can be modelled by labelled unranked trees, and XML query languages as logics on trees.

The workshop will focus on recent research on logical aspects of the theory of database systems. These include the applications of logic and logical methods in the study of databases as well as questions in logic that arise from this study. Particular topics of interest include the expressive power and complexity of query languages; models and languages for semi-structured data; probabilistic databases; constraint databases, etc.

For more information, see http://www.newton.cam.ac.uk/programmes/LAA/laaw02.html

Extended abstracts, slides, and notes of the workshop on "Proof theory at the syntax/semantics interface" held at the 2005 Institute of the Linguistic Society of America are posted at http://wintermute.linguistics.ucla.edu/prooftheory/

The workshop, sponsored by NSF, brought together computational linguists, logicians, and semanticists to explore the use of proof theory as a mediator between model theoretic semantics and generative syntax.

Organizers: Anna Szabolcsi and Edward Stabler. For more information, please contact anna.szabolcsi at nyu.edu

Far too few people subscribed for the schoolweek of the OzsL. Therefore the organisers decided to cancel the schoolweek.

For more information, see here or the OZSL-site at http://www.ozsl.uu.nl/.

Theoretical Computer Science is broadly divided into disciplines dealing with logic, semantics and formal methods on the one hand, and algorithmics and computational complexity on the other. The Newton Institute Semester Programme will focus on active areas of research that cut across this divide, dealing with algorithmic and complexity aspects of logic as well as logical methods in complexity.

Satellite workshops include 'Workshop on Finite and Algorithmic Model Theory', 'Logic and Databases', 'Mathematics of Constraint Satisfaction', 'New Directions in Proof Complexity', 'Constaints and Verification' and 'Games and Verification'.

For more information, see here or http://www.newton.cam.ac.uk/programmes/LAA/

On Friday 13th of January, Willemijn Vermaat defends her PhD thesis 'The Logic of Variation' at Utrecht University (Academiegebouw, Domplein 29, Utrecht, 12.45). On the occasion of this event, an informal workshop will be held on Thursday 12th of January.

For more information, see here or contact Merlijn Sevenster at sevenstr at science.uva.nl.

This Wednesday, Gideon Borensztajn will defend his MSc thesis "Automatic Discovery of Constructions in Children's Speech" (MSc Cognitive Science). The meeting will consist of a 30 minute presentation by the candidate, and 30 minute questioning by the thesis committee (Remko Scha, Reinhard Blutner, Jelle Zuidema). Everyone is welcome to attend.

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

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

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