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 Amsterdam Colloquia aim at bringing together linguists, philosophers, logicians and computer scientists who share an interest in the formal study of the semantics and pragmatics of natural and formal languages. The spectrum of topics covered ranges from descriptive (syntactic and semantic analyses of all kinds of expressions) to theoretical (logical and computational properties of semantic theories, philosophical foundations, evolution and learning of language).

For more information, see

http://www.illc.uva.nl/AC2007/

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

Truth, one might think, is at the heart of reasoning, and of logic. But logic has moved on from bivalence. - Witness intuitionistic, quantum and paraconsistent logics. Furthermore, truth itself is a philosophically sticky subject: The jury is still out as to whether it is nothing (as the view of the deflationist can be caricatured) or everything (including the basis for a theory of meaning, as the truth-conditional semanticist might hold). This movement away from a classical reliance on the received views on truth has, in logic, come accompanied with alternative (notably game-theoretical) semantics for logical languages.

We want to know what young researchers working on philosophical or technical issues related to contemporary theories of truth think about all this. Therefore we have decided that PALMYR VI will bring them together, along with two more experienced guest speakers, so that we can determine exactly that.

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

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

We examine the understanding of sentences containing a single quantifier. Subjects were asked to make truth value judgments of a sentence relative to a model (the latter presented visually), where each sentence contained a single quantifier which could be an Aristotelean (e.g., "all", "some", "no"), a cardinal determiner ("at least n", where n > 0), a parity determiner (e.g., "an even/odd number of") or a majority determiner (e.g., "more than half"). The judgment marshalled parts of the parietal lobe normally associated with number processing; furthermore, a neuroanatomical difference was noted between first order and higher order quantifiers. Based on these observations, we compared different populations---corticobasal degeneration (CBD) patients, fronto-temporal dementia (FTD) patients and Alzheimers (AZ) patients---with respect to their behavior on various types of quantifiers. The results suggest that understanding of sentences containing quantifiers crucially involves number sense.

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

Machine translation is more relevant than ever, especially in a European Union with 23 official languages. What will happen to languages such as Dutch? Will it survive as a language of commerce, or will it be abandoned in favour of English? By lowering translation costs, we would expect to systain the viability of a commercial zone that uses so many different languages. Statistical machine translation holds the promise of instant machine translation. Given open source tools such the Moses decoder, just add a parallel corpus and you have a machine translation system. This talk will present some problems where the standard phrase-based approach fails, and where attention to the specifics of the languages involved is required. I will present methods that deal with different word order, morphology and agglutinative compounding.

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

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

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

11:00-11:30 Cedric Degremont

(designated supervisor: van Benthem)
Project title: Logic for Information and Interaction

11:30-12:00 Amelie Gheerbrant

(designated supervisors: ten Cate, Väänänen)
Project title: Model-theoretic properties of fragments of second-order logic on restricted classes of structures

12:00-12:30 Marc Staudacher

(designated supervisors: Dekker, van Rooij, Stokhof)
Project title: Convention, Cognition and Games

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

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

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

In this talk I shall go in detail into the writing process of a scientific article. In particular, I shall provide some suggestions how to organize the article, in what order to write its parts, how to organize and break down the proofs, how to link the results together, and what pitfalls to avoid.

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

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

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

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

In this talk I will consider <-inv-FO, order-invariant first-order, over finite structures. <-inv-FO is the class of first-order formulas that use an extra predicate interpreted as a linear order, but such that the truthness of the formula does not depend on the choice of the linear order. Over arbitrary structures, it is a simple consequence of Craig Interpolation Theorem to show that <-inv-FO and FO have the same expressive power. Over finite structures it is possible to show that <-inv-FO express strictly more than FO. I will then show that over simple strucutres, such as words or trees, <-inv-FO=FO. To achieve this I will introduce and use an algebraic characterization of FO over trees.

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

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

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

Speakers include:
Graham Birtwistle - Lecturer History of Arts, Vrije Universiteit Amsterdam
Jos Joosten - Professor Dutch Literature, Radboud Universiteit Nijmegen
Robbert Dijkgraaf - universiteitshoogleraar Mathematical Physics, Universiteit van Amsterdam
Peter Desain - Lecturer Neuroscience, Nijmeegs Institute for Cognition and Information (NICI), Radboud Universiteit Nijmegen

For more information, see http://www.knaw.nl/cfdata/agenda/agenda_detail.cfm?agenda__id=1114 or contact suzanne.wagenaar at bureau.knaw.nl.

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

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

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

Please visit the website http://www.illc.uva.nl/logic_tea/ for the abstract of the talk.

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

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

"The beauty of a theorem is an objective property on a par with its truth." - Gian-Carlo Rota

For more information, see http://www.phil.uu.nl/~iemhoff/beauty.html or contact Jipke.Detrie at phil.uu.nl (for practical info) or Juliette.Kennedy at phil.uu.nl (otherwise). For reservations for the conference dinner on Friday 9 November, 7pm, please mail Jipke Detrie.

A Day of Mathematical Logic satellite meeting to "Aesthetics and Mathematics"

Speakers: Wilfred Hodges (Queen Mary)
Roman Kossak (City Unversity New York)
Ieke Moerdijk (University Utrecht)
Bill Tait (University of Chicago)
Albert Visser (University Utrecht)
Hugh Woodin (University of California, Berkeley)
Boris Zilber (University of Oxford)

For more information, see http://www.phil.uu.nl/~iemhoff/beauty.html

Roskilde University (Denmark) and ILLC would like to invite researchers and students to Denmark for a two-day workshop on deontic logic. The workshop will consist of presentations by PhD students as well as lectures by leading figures in the field.

Amongst the invited speakers are John F. Horty (University of Maryland), Kai von Fintel (MIT), Frank Veltman (ILLC) and Eric Pacuit (Stanford).

Registration deadline: 25 October 2007. For more information, see http://akira.ruc.dk/~mamobe/deonticworkshop or contact Martin Mose Bentzen at mamobe at ruc.dk.

Abstract:
In this talk I shall present a detailed map of a conceptual landscape that contains the notions of misleading, deceiving, cheating, self-deceiving, simulating, acting hypocritically, and lying. In my attempt at throwing some light on these concepts and their interrelations I shall draw upon Bernard Bolzano's sadly neglected work in this area.

Professor Künne is author of the book `Conceptions of Truth' (OUP 2003); see http://www.oup.com/uk/catalogue/?ci=9780199280193

Professor Künne's visit is organised jointly with the Dept. of Philosophy of the Free University, where he will lecture on Frege. Contact Arianna Betti (A.Betti at ph.vu.nl) if you wish to attend.

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

For more information, see http://www.illc.uva.nl/dip/events.html#katrin-workshop or contact k.schulz at uva.nl

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

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

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

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

For more information, see http://www.illc.uva.nl/dip/events.html#hedde-workshop or contact Zeijlstra at uva.nl

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

We propose a denotational definition for the (actual) meaning of a cryptographic message and, based on it, an equational definition for the context-sensitivity of that meaning, both via hypothetical knowledge and provability. As a result, we obtain a formalisation of the first of Abadi and Needham's principles for prudent engineering practice for - and a tentative denotational semantics of - cryptographic protocols. Building on this (published) work, we present ongoing work on the distinction between the intended and the actual meaning of a cryptographic message and protocol. Our notions are viable for general multi-agent systems.

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

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

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

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

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

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

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

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

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

On Friday, October 12th 2007, on the occasion of Yoav Seginer's PhD-defense, there will be workshop on "Learning Syntactic Structure"

10.00, Agnietenkapel, PhD defense Yoav Seginer
13.30, P3.27, lunch
14h00, P3.27, Alexander Clark, What makes languages learnable?
15h00 - 17h00, P3.27, discussion sessions (including coffee breaks)

For more information, see here

This talk is based on my MSc. Logic Thesis' research on learning from experiments. Its slogan is: Science progresses by the performing of experiments to evaluate hypotheses. I introduce a formal model of active learning in terms of information-theoretic games.

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

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

Abstract:
The Gricean theory of conversational implicature has always been plagued by data suggesting that what would seem to be conversational inferences may occur within the scope of operators like believe, for example - which for bona fide implicatures should be an impossibility. Concentrating my attention on scalar implicatures, I argue that, for the most part, such observations can be accounted for within a Gricean framework, and without resorting to local pragmatic inferences of any kind. However, there remains a small class of marked cases that cannot be treated as conversational implicatures, and they do require a local mode of pragmatic interpretation.

For more information contact Jakub Szymanik at szymanik at illc.uva.nl

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

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

The Seventh International Tbilisi Symposium on Language, Logic and Computation will be held on 1-5 October 2007 in the vicinity of Tbilisi, the capital of Georgia. The symposium is organised by the Centre for Language, Logic and Speech at Tbilisi State University, in conjunction with the Institute for Logic, Language and Computation (ILLC) at the University of Amsterdam.

The symposium will feature three invited tutorials as well as several invited talks. Furthermore, up to 30 contributed papers can be accepted for presentation. Anybody who has attended one of the previous editions of this event can confirm that these symposia constitute an unforgettable experience.

The event is co-located with the Third Vienna-Tbilisi Summer School in Logic and Languages, 24-28 September 2007.

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

The official opening of the new academic-cultural center SPUI25 will be held Friday September 28th, at 17.00. SPUI25 is a platform for connecting the academic culture of the University of Amsterdam and the world of culture in general. Speakers are Nelleke Noordervliet, Rens Bod and Maarten Doorman.

For more information (dutch only), see http://www.uva.nl/actueel/object.cfm/187950C2-1321-B0BE-684777FDBB1543DC.

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

Games are an important tool in set theory and model theory. This GLLC meeting (the 14th in the GLLC series) will focus on the current work of students from Amsterdam and Helsinki dealing with aspects of games in set theory and model theory. It is also to be seen as an encounter between Dutch and Finnish culture in mathematical logic and a great opportunity to learn about each others' research plans, goals, techniques and questions.

Speakers include Ioanna Dimitriou, Tapio Eerola, Jokke Hasa, Daisuke Ikegami, Lauri Keskinen, Yurii Khomskii, Vadim Kulikov, Brian Semmes, Laura Sutinen and Lauri Tuomi.

For more information, see http://www.illc.uva.nl/lgc/gllc14.5/ or contact Daisuke Ikegami <ikegami at science.uva.nl>.

This talk is based on joint work with A. Baltag on the use of concepts and techniques from Dynamic Epistemic Logic (DEL) to model and interpret quantum behavior. I start by giving a brief overview of traditional Quantum Logic, as a non-classical propositional logic. Then I move on to Goldblatt's early work on Modal Quantum Logic. Next I present a dynamic-epistemic setting for quantum logic, that can overcome some of the limitations of this earlier work.

For more information on this talk and future events please refer to the website at http://staff.science.uva.nl/~fitz/logic_tea or contact Joel Uckelmann (juckelma at science.uva.nl) or Edgar Andrade (E.J.AndradeLotero at uva.nl).

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

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

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

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

This is the first of set of meetings researchers in the Netherlands and Germany on Optimality Theory and Interpretation are organising for keeping in touch about issues they are working on. Interested others are very welcome (please announce your attendance to henk.zeevat@uva.nl, also saying whether you are joining in for lunch).

For more information, see here

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

Paul Vitányi is one of the world's most distinguished researchers in the area of Kolmogorov complexity. His research deserves broad attention. To honor Paul and his research, CWI has invited three of the world's most important researchers in theoretical computer science: Andrew Yao (Turing award 2000), Ming Li (coauthor of 'Introduction to Kolmogorov Complexity and its Applications) and Leonid Levin (co-inventor of NP-completeness). Paul's research is the central theme of this afternoon.

For more information and registration, see http://www.cwi.nl/events/2007/cwilectures1.html/.

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

The boat leaves at 16.30 hrs from the back of the Euclides building (Plantage Muidergracht 24), we request to gather at the front desk at 16.15 from where we will walk to the landing place 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, please contact tkassena at science.uva.nl

We are pleased to announce a one-day set theory meeting in Amsterdam in the above schedule. Topics include Prikry forcing, too large large cardinals, Wadge reducibility and its generalization and non-standard models of set theory. Any people interested in set theory are welcome to join.

For more information inclusing a program and abstracts, see http://staff.science.uva.nl/~ikegami/Ams_Aug_2007.html or e-mail ikegami at science.uva.nl.

The main focus of ESSLLI is on the interface between linguistics, logic and computation. ESSLLI offers foundational, introductory and advanced courses, as well as workshops, covering a wide variety of topics within the three areas of interest: Language and Computation, Language and Logic, and Logic and Computation.

The school has developed into an important meeting place and forum for discussion for students, researchers and IT professionals interested in the interdisciplinary study of Logic, Language and Information. ESSLLI-2007 is organised under the auspices of the European Association for Logic, Language and Information (FoLLI).

For more information, see the ESSLLI website at https://www.cs.tcd.ie/esslli2007/.

In the past decade it has become increasingly clear that studying information, first and foremost, means studying information exchange. This acknowledgement of the inherently social character of information shows up at many places in modern logical theories. More generally, information exchange is a form of interaction where agents act together in strategic ways. This new perspective has led to contacts between logic and game theory, bringing a new set of disciplines into the scope of logic: viz., economics, and the social sciences.

New interfaces are arising, such as epistemic studies of rational behavior in games. Another interesting development in this area is the rise of the notion of 'social software', the idea of using computational techniques for analyzing patterns of social behavior. And finally, interaction is also crucial to intelligent behavior in the field of natural language. Here pragmatics, the study of the actual use of language between different agents, has become the primary focus of research. Notions from game theory, in particular evolutionary games, are being used to-day to answer all kinds of pragmatic issues, for instance, how linguistic conventions can arise.

This workshop aims to bring together researchers working on these and related topics in logic, philosophy, computer science, and related areas in order to arrive at an integrated perspective on knowledge acquisition, information exchange, and rational action.

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

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

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

For an abstract, see here. For more information, see http://homepages.cwi.nl/~monique/acoseminar/ or contact Vangelis Markakis (V.Markakis at cwi.nl).

The meeting will be held in room P.327. Speakers include J. van Benthem, K.R. Apt, J. van Eijck and E. Pacuit.

For more information, see http://homepages.cwi.nl/~apt/meeting07/ or contact apt at cwi.nl

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

14.00-15.30: Jeroen Groenendijk, "Alternative Logical Semantics"
16.00-17.30: Paul Egré, "Embedded Questions Revisited: An Answer, not Necessarily"

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

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

In recent years formalizing actions has become a common theme in formal philosophy and philosophical logic. Understanding actions and agency is important for e.g. dynamic logic, deontic logic and epistemic logic. Actions might be seen as unique or as part of a more general theory of dynamic processes. In this workshop we bring together top researchers who formalize actions within dynamic logic, deontic logic, epistemic logic, formal decision theory, temporal logic - and any combination of these.

For more information, see http://akira.ruc.dk/~mamobe/actionworkshop.html.

This seminar aims at bringing together researchers interested in human reasoning and language processing.

For more information, contact Jakub Szymanik at szymanik at science.uva.nl

As part of the workshop and meeting in Amsterdam for the EU FP-6 project "EmCAP: Emergent Cognition Through Active Perception", Monday is devoted to research presentations of contributing project members of the University of Plymouth, Universiteit van Amsterdam, Hungarian Academy of Sciences, and University Pompeu Fabra:

9:00 Neurophysiology and music cognition modeling
11:40 Psychology and music cognition modeling
15:00 Overview presentations
17:00 End of public part of the workshop

For more information, see http://www.hum.uva.nl/mmm/EmCAP/EmCAP-poster-UvA-workshop.pdf, http://www.hum.uva.nl/mmm/EmCAP/ or http://emcap.iua.upf.edu. Workshop participation is limited to EmCAP members. However, interested researchers can register by sending an email to lsmith at science.uva.nl before Monday 11 June 2007.

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

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

On the 14th of June the students association for Cognitive Artificial Intelligence (CKI) at Utrecht University will hold its annual symposium. This year's symposium will focus on the famous mathematical question whether the complexity class P equals NP. In four talks we shall try to gain some insight into the problem from different perspectives, varying from cryptography to quantum logic.

These are the topics:
- Prof. Dr. Jan van Leeuwen, UU: "The history of the P vs. NP problem."
- Dr. Eike Kiltz, CWI Amsterdam: "P vs. NP in Cryptography. Which World Are We Living In?"
- Dr. Joost Joosten, ILLC/UvA: "Looking for hay in a haystack."
- Dr. Elham Kashefi, Oxford UK: "A quantum complexity tour."
Chairman of the day will be Prof. Dr. Pieter Adriaans (UvA).

For more information, see http://symposium.uscki.nl or contact symposium at uscki.nl.

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

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

Two of the GLoRiClass students, Joel Uckelman and Jonathan Zvesper, will be presenting their PhD research projects in two short 20-minute presentations (+10 minutes discussion) to all ILLC members and students. Everyone is cordially invited to listen and ask questions.

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

For the final meeting of the Friday morning Latin reading group we're meeting on a Friday afternoon to have a presentation of the material that we've translated since last fall. Everyone is invited to attend this informal report on work in progress.

For more information, contact Sara at suckelma at illc.uva.nl

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

The participants of Joel Hamkins' course "Advanced Topics in Recursion Theory" will be presenting their results on various interesting topics involving computability theory. There will be five short student presentations. All ILLC members and students are cordially invited.

For more information, see here.

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

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

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

Since the inception of linguistics, the mainstream of researchers considered language as a static system. The situation has changed dramatically over the last few decades as the interests of the scientific community shifted from studying meaning to studying the processes behind the production and comprehension of utterances. This dynamic turn gave a much wider perspective on meaning in the framework of formal semantics and opened the door for new mathematical tools in the conceptual foundations of linguistics. Modal logic, computability theory, game theory and many others have become standard tools for formal semanticists.

PALMYR V will bring together young researchers interested in these dynamic perspectives on language and meaning.

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

Classical truth-functional semantics and almost all of its modifications have a serious problem in treating prototypes and their combination. Though some modelling variants can fit many of the puzzling empirical observation, their explanatory value is seldom noteworthy. Reinhard Blutner will argue that the explanatory inadequacy is due to the Boolean characteristic of the underlying semantics, which only allows mixing possible words but it excludes the idea of superposition crucial for geometrical models of meanings.

For more information, see http://www.illc.uva.nl/LaCo/CLS/ or contact Jelle Zuidema (jzuidema 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/seminar07-1.html#May25 .

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

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 more information, see http://www.illc.uva.nl/LaCo/CLS/ or contact Jelle Zuidema (jzuidema at science.uva.nl).

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

This is the second meeting of the seminar "Logic, Language and Reasoning" which aims at bringing together researchers interested in human reasoning. The talk by Marian Counihan will be from 4-5: the second half of the seminar is question time and discussion.

For more information contact Jakub Szymanik at szymanik at illc.uva.nl

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

Coalgebras have been expanding and reshaping the mathematical environment of modal logic: pivoting on the crucial notion of 'bisimulation invariance', a wide range of languages based on Set-endofunctors have been recognized as modal in nature and conversely, the coalgebraic nature of modal logic is clearly recognizable by its model theory.

This workshop aims at giving a snapshot of the advances in the resulting field of coalgebraic modal logic. The program also includes a tutorial on coalgebras for modal logicians.

For more information, see http://staff.science.uva.nl/~gfontain/logics_for_coalgebras/home.html or contact Allesandra Palmigiano at apalmigi at science.uva.nl or Gaelle Fontaine at gfontain at science.uva.nl. Early expressions of interests are very welcome: if you plan to attend the meeting, please contact Alessandra.

In this lecture Pieter Adriaans will present some recent work he did with Paul Vitanyi and Ceriel Jacobs on the application of the MDL (Minimum Description Length) principle to grammar induction.

For more information, see http://www.illc.uva.nl/LaCo/CLS/ or contact Jelle Zuidema (jzuidema at science.uva.nl).

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

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

Probabilistic methods are increasingly becoming an important tool in a variety of disciplines. These include computer science (probabilistic computation and automata, randomness), mathematics (probabilistic proofs), artificial intelligence (reasoning under uncertainty), epistemology (bayesian epistemology) and linguistics (probabilistic grammars). Of course, from the beginning, probabilistic and statistical methods have been heavily used in game theory and decision theory. Often separate to the discussion on applications of probabilistic methods is an important philosophical debate over the precise meaning of probabilistic and statistical statements. This debate often raises a number of issues crucial to understanding how to interpret results achieved using probabilistic methods.

We understand this conference as an interdisciplinary venue for researchers that use probabilistic and statistical methods in their respective fields and researchers that are concerned with the philosophical interpretation of probability and statistics to exchange ideas, approaches and techniques. Such a forum will facilitate discussions about the applicability of probabilistic methods and help ground foundational debates with concerns of practitioners of probabilistic methods.

For more information, see http://www.math.uni-bonn.de/people/fotfs/VI/

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

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

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

Moved from April 13th. For abstracts and more information, see http://ilps.science.uva.nl/Seminar/seminar07-1.html#Apr20 .

This symposium is organized bij the OzsL, the VvL and the Heyting Foundation. Invited speakers include Prof.dr. Dirk van Dalen, Dr. Mark van Atten, Dr. Wim Veldman and Dr. John van Mill.

Registration deadline: 16 April. For more information about programme, speakers and registration, see http://ozsl.uu.nl/brouwer/ or contact the organizers at brouwer at ozsl.uu.nl.

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

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

Technical results on Intuitionistic Logic and Heyting Algebra by Gaelle Fontaine, Lex Hendriks, Joost Joosten, Nick Vaporis (phil. UU), Yde Venema, Fan Yang.

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

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

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

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 more information, see http://www.cwi.nl/htbin/acg/ACG.php4?mode=future

A workshop organized by the Department of Philosophy, Utrecht University and the Institute for Logic, Language and Computation, University of Amsterdam, featuring Enayat, Engstrom, Kaye, Kennedy, Kossak, Ressayre, and Visser.

Venue Wednesday: Kromme Nieuwegracht 80
Venue Thursday: Drift 21
Organizers: Albert Visser (Utrecht) and Jouko Väänänen (Amsterdam)

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

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

Increasingly, medical science rests on biological discoveries about cells, genes and proteins. Increasingly, medical science rests on the processing by computers of large bodies of data deriving from new diagnostic techniques. But serious problems arise when biologists and clinical researchers need to communicate, and these problems are compounded wherever computers are involved. We will show how these problems overlap with some of the traditional concerns of the philosophy of language, and how philosophers are working with biomedical researchers to contribute to their solution.

Prof. Barry Smith is Julian Park Professor of Philosophy at SUNY in Buffalo, and Director of the Institute for Formal Ontology and Medical Information Science at the University of Saarbruecken. He is also Scientific Director of the European Centre for Ontological Research.

For more information, please contact rosja.mastop at phil.uu.nl

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

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

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

The Cognitive Science Center Amsterdam celebrates its first lustrum. Three CSCA VICI laureates will present findings that emerged from their research. Cyriel Pennartz is working in Cognitive Neuroscience, Richard Ridderinkhof in Cognitive Psychology and Rens Bod in Cognitive Systems. Together they cover the broad domain of the Brain and Cognitive Sciences.

Address: Keizersgracht 324, Amsterdam. For more information, including a program and abstracts, see http://www.csca.uva.nl/csca/object.cfm/. If you want to participate, please send an email to info-mcs at uva.nl.

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

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 more information, see here or http://www.illc.uva.nl/~ulle/seminar/ or contact Ulle Endriss (ulle at illc.uva.nl).

(dutch only)
De European Research Council heeft onlangs bekendheid gegeven aan de start van twee subsidieprogramma's voor excellente onderzoekers: ERC Starting Independent researcher Grants en ERC Advanced Investigator Grants. De oproep voor de Starting Grants sluit op 25 april, die voor Advanced Grants komt later dit jaar. De Starting Grant is vergelijkbaar met een VIDI-subsidie van NWO.

Het College van Bestuur van de Universiteit van Amsterdam stimuleert graag de deelname aan de Starting Grant en biedt ondersteuning in de vorm van een schrijfclinic, waarin onderzoekers advies en begeleiding krijgen bij het opstellen van hun voorstel. Dr. Frans van den Beemt neemt met u de succesfactoren door en becommentarieert desgewenst uw voorstel. Hij heeft in 25 jaar een schat aan ervaring opgebouwd, heeft het fenomeen van onderzoeksbeoordeling internationaal onderzocht en is er bovendien op gepromoveerd. Op elk vakgebied analyseert hij concept- onderzoeksaanvragen op inhoud en tactiek. Met zijn analyse en advies kunt u uw scoringskans drastisch verhogen, zo bewijst zijn praktijk.

Voor meer informatie, zie here

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

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

This paper reconciles the standpoint that language users do not aim at improving their sound systems with the observation that languages seem to improve their sound systems. Computer simulations of sibilant inventories show that Optimality-Theoretic learners who optimize their perception grammars automatically introduce a so-called prototype effect, i.e. the phenomenon that the learner's preferred auditory realization of a certain phonological category is more peripheral than the average auditory realization of this category in her language environment. In production, however, this prototype effect is counteracted by an articulatory effect that limits the auditory form to something that is not too difficult to pronounce. If the prototype effect and the articulatory effect are of a ifferent size, the learner must end up with an auditorily different sound system from that of her language environment. The computer simulations show that, independently of the initial auditory sound system, a stable equilibrium is reached within a small number of generations. In this stable state, the dispersion of the sibilants of the language strikes an optimal balance between articulatory ease and auditory contrast. This result has been derived from a model without goal-oriented elements.

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

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

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

This seminar will be shared between two speakers giving two different talks of 20 minutes plus questions each.

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

There are two very different ways to represent the dynamics of belief. One is the well known conditionalization: An agent whose belief function is represented by a probability function Pr(X) shifts to Pr(X ∧ A)/Pr(A) after discovering that A is the case. An other kind of dynamics is associated with the evaluation of a counterfactual: Pr(A > B) = Pr_A(B) where Pr_A is obtained from Pr by some minimal change to obtain Pr _A(A) = 1. This is Imaging as introduced by David Lewis.

After a characterization of Lewis imaging, we ask the question of the possibility of extending imaging to the general framework of conditional probability functions, i.e. of the possibility of defining - given that conditional probability function Pr(X, Γ) is the primitive notion - Pr(A > B,Γ) using imaging. We show that there is no simple and intuitive way to do so.

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

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

Speakers: Robert van Rooy (ILLC), Enoch Aboh & Umberto Ansaldo (ACLC), Hartmut Fitz (ILLC), Bart de Boer (ACLC).

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

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

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

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

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

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

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

In this lecture I will present some recent work I did with Paul Vitanyi and Ceriel Jacobs on the application of the MDL (Minimum Description Length) principle to grammar induction. We have studied MDL in terms of two-part code optimization and randomness deficiency. These notions will be explained in the lecture. In this framework we showed that: 1) Shorter code not necessarily leads to better theories, e.g. the randomness deficiency does not decrease monotonically with the MDL code, 2) contrary to what is suggested by the results of Gold:1967 there is no fundamental difference between positive and negative data from an MDL perspective, 3) MDL is extremely sensitive to the correct calculation of code length. Using these ideas we have implemented a MDL variant of the EDSM algorithm. The results show that although MDL works well as a global optimization criterion, it falls short of the performance of algorithms that evaluate local features of the problem space. MDL can be described as a global strategy for featureless learning.

For more information, see http://homepages.cwi.nl/~paulv/papers/perils.pdf and http://staff.science.uva.nl/~pietera/ALS/background/lncs_icgi-mdl.pdf.
For more information on HAI-Tea lectures, see http://www.science.uva.nl/onderwijs/studieprogramma/haitea/.

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

We cordially invite you to attend the plenary session of the annual site visit of the dean of the Faculty of Science. The site visit takes place Thursday February 22 from 13.00-17.30. We explicitly ask our Humanities colleagues to be present, as the directors visit the ILLC as an interfaculty institute, not only the Science part.

The full text of this announcement can be found at here.

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

(Dutch only)
19 February 1907 promoveerde L.E.J. Brouwer in de aula van de Universiteit van Amsterdam. Exact 100 jaar later zal Professor van Dalen een lezing houden over deze revolutionair, die tot de grootste zieners en geleerden van de twintigste eeuw behoorde.

Voor meer informatie, zie http://www.forumeuropesecultuur.nl/. Reserveren is gewenst: receptie at felix.meritis.nl of telefoon: (020)6231311.

(dutch only)
Als we collectief de klimaatverandering binnen de perken willen houden, dan zullen we moeten inzien dat effectieve collectieve actie nooit de optelsom kan zijn van individueel handelen. Collectieve weet van de actiebereidheid van de hele groep is nodig voor succesvol collectief handelen, betoogt prof. dr. Jan van Eijck in deze editie van Maagdenhuis op Maandag.

Voor meer informatie, zie here of http://www.uva.nl/maagdenhuisopmaandag/.

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

Note that the fprmerly-announced talk by Leif Azzopardi has been moved to March 23. For abstracts and more information, see http://ilps.science.uva.nl/Seminar/seminar07-1.html#Feb16 .

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

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

The Logic Tea homepage can be found at http://www.illc.uva.nl/logic_tea/. For the abstract of this talk, see here

This is the first meeting of the seminar "Logic, Language and Reasoning" (this is a provisional title). This seminar aims at bringing together the Netherlands-based researchers interested in human reasoning. After the talk there will be time for discussion between the participants in order to organise the next sessions of the seminar.

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

The Royal Netherlands Academy of Arts and Sciences (KNAW) in collaboration with the Institute for Logic, Language and Computation (ILLC) is organizing a Master Class on "New perspectives on Games and Interaction". This Master Class will feature three tutorials by Alexandru Baltag (Oxford), Giacomo Bonanno (UC Davis), and Wolfgang Thomas (Aachen).

If you are interested, please register before January 15, 2007. The registration fee is € 5,-. For more information, see http://www.illc.uva.nl/KNAW-AC/MasterClass/.

A workshop on "Musical Structure: Expectation generation, disruption and resolution", will take place on Wednesday the 7th of February following Neta Spiro's PhD defence at 12:00. The talks will begin at 2:30. Everybody is welcome to attend.

Speakers include:
Rens Bod, ILLC, University of Amsterdam, NL.
Ian Cross, Centre for Music & Science, Faculty of Music, University of Cambridge, UK
Rokus de Groot, Faculty of Music, University of Amsterdam, NL
Pieter Adriaans, University of Amsterdam¸ N
Henkjan Honing, ILLC, University of Amsterdam¸ N

Since the workshop will be at a private address, please contact Neta at ns319 at cam.ac.uk for further information.

Recently, the dynamic and interactive aspects of logical reasoning, communication, and information processing have become central in logic, linguistics and computer science. It is the interplay of many actors with goals and preferences, whether human or computational, which underlies their core tasks. To account for these interactive aspects, the notion of a 'game' as a mathematical model of strategic interaction between players with their own preferences on the possible outcomes has proved to be important in all those disciplines.

The purpose of this colloquium is to encourage these incipient interactions between the various disciplines thinking about games and interaction, and clarify their common concerns and potential for fruitful collaboration. The colloquium will be organized as an Academie Colloquium of the Royal Acedemy of the Netherlands (KNAW) and will consist of fifteen invited talks by international speakers that cover various aspects of games in logic, computer science, economics, and linguistics. Each talk will be followed by a commentary and discussion.

For more information, see http://www.illc.uva.nl/KNAW-AC/

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

The ILLC will host the next meeting of the Diamant/Eidma cryptography working group. The meeting will take place in Room D028, Roeterseiland, Nieuwe Achtergracht 129, Amsterdam.

Details of the program can be found at the Eidma website at http://www.win.tue.nl/wsk/eidma/cwg.html. For more information, please contact peter at science.uva.nl.

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

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

The abstract of this talk can be found at here. For more information, see the Logic Tea homepage at http://www.illc.uva.nl/logic_tea/ or contact Hartmut Fitz (h.fitz at uva.nl), Joel Uckelman (uckelman at nomic.net) or Jonathan Zvesper (jonathan at illc.uva.nl)

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

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

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/seminar07-1.html#Jan19 .

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

The 3rd Indian International Conference on Artificial Intelligence (IICAI-07) will be held in Pune, INDIA during December 17-19 2007. IICAI-07 is one of the major AI events in the world. This conference focuses on all areas of AI and related fields. Please visit on the conference website for more details.

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

The Asian Symposium on Computer Mathematics (ASCM) is a series of conferences which serves as a forum for participants to present original research, learn of research progress and developments, and exchange ideas and views on doing mathematics using computers. ASCM 2007 will consist of invited talks, regular sessions of contributed papers, and software demonstrations.

For more information, see http://www.comp.nus.edu.sg/~ascm2007/ or contact raja at tifr.res.in

The IADIS CELDA 2007 conference aims to address the main issues concerned with evolving learning processes and supporting pedagogies and applications in the digital age. There have been advances in both cognitive psychology and computing that have affected the educational arena. The convergence of these two disciplines is increasing at a fast pace and affecting academia and professional practice in many ways. This conference aims to cover both technological as well as pedagogical issues related to these developments.

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

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.

Each conference focuses on two or three themes. The themes for MACIS 2007 are: Computational Geometry and Computer Aided Geometric Design, Polynomial System Solving and Algorithms and Complexity

For more information, see http://www-spiral.lip6.fr/MACIS2007/

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

To stimulate interaction and transfer of expertise, M4M will feature a number of invited talks by leading scientists, research presentations aimed at highlighting new developments, and submissions of system demonstrations.

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

The conference on Infinity in Logic & Computation is the first conference in South Africa that focuses on infinity in automata theory, logic, computability and verification. One purpose of this conference is to catalyse new interactions among local and international researchers and to expose postgraduate students to recent research trends in these fields.

The conference will be organised at the University of Cape Town co-located with the 50th Annual Congress of the South African Mathematical Society (SAMS) that takes place from 31 October until 2 November 2007. We plan to organise a summer school on Logic & Computation directly following the conference from 6-9 November 2007. This summer school is intended for postgraduate students and other interested participants.

For more information, see http://www.mth.uct.ac.za/FACS-Lab/ILC07/

The meeting aims at bringing together young researchers in the history, philosophy and didactics of mathematics or related fields from all over Europe, especially PhD students and PostDocs, to exchange their results and discuss work in progress. This year's theme, Mathematical practice & development throughout history, offers a wide scope for contributions, providing the opportunity of interaction between historians, philosophers, and researchers in the didactics of mathematics. It allows for a variety of conceptions of mathematics, and for a combination of different research methods used in history, philosophy and didactics.

Our invited guest speaker will be Leo Corry from the University of Tel Aviv.

The deadline for participant registration is September 1st. For more information, see http://www.novembertagung.uni-bonn.de/.

The Workshop on Game theory in Communication networks (GameComm) is a one-day event held in conjunction with the Second International Conference on Performance Evaluation Methodologies and Tools (VALUETOOLS'07 <http://www.valuetools.org/>).

Game theoretic approaches have been recently used to gain an understanding of the behavior of various systems in communication networks. Specifically, game theoretic models have helped understand Internet pricing, flow and congestion control, and routing. Application of game theory to communication networks has brought together researchers from a variety of disciplines, such as computer science, queueing, and optimal control.

This workshop is aimed at bringing together researchers, who are applying game theory to analyzing, designing, and assessing the performance of networks. The objective is to generate discussion of best practices in modeling, as well as limitations of game theory as a performance assessment and design tool for networks. Both the application of game theory to networking problems and the development of new game-theoretic methodologies that can be applied in that context are of interest.

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

Quotation is a sort of metarepresentation that is found in all natural languages. Linguistic research has made clear that in quotation, there are complex syntactic, morphological and graphematic mechanisms at work. In philosophy of language, there are long-standing debates on quotation and paradoxes, on the use-mention distinction, and the meaning of quotation marks and quotation expressions. More recently, quotation has become a topic within the debate on the semantics/pragmatics distinction.

For more information, see http://www.zitatundbedeutung.uni-mainz.de/eng/icqm.php or contact Markus Steinbach at steinbac at uni-mainz.de.

Intelligent computing is a quite mature field of information and communication technology covering a hybrid palette of methods and techniques derived from classical artificial intelligence, computational intelligence, multi-agent systems a.o. Intelligent computing is generally known to be computationally intensive from the point of view of resources required: time, memory, bandwidth. As this is usually thought to be a drawback, distributed computing is expected to give an impetus to its practical applications. Moreover, intelligent techniques have also proved their usefulness to core distributed computing technologies like: planning & scheduling, load balancing, replication, resource allocation and management, etc. Therefore, the emergent field of intelligent and distributed computing is expected to pose new challenges of adaptation and fruitful combination of both areas. The aim of this symposium is to bring together researchers involved in intelligent and distributed computing to allow cross-fertilization and synergy of ideas and to enable advancement of researches in the field.

For more information, see http://software.ucv.ro/~badica_costin/idc2007/

Deadline for registration: 2007

For more information, see http://www.lpar.net/2007/

Computer simulations play an important role in many scientific contexts, and they are often based on a particular model of the phenomenon under investigation. This raises questions both about the nature and methodology of simulations themselves, as well as their relations to models. These issues have recently attracted some attention, and were also discussed at the 'Models and Simulations' conference in Paris in June 2006. The aim of the present conference is both to provide a forum to continue ongoing debates and to try to slightly shift the focus of attention. So far case studies played an important role in the debates over models and simulations and a lot has been learned from them. We are now also interested in theoretical approaches that attempt to rationalize these cases and help furthering our philosophical understanding of how models and simulations explain, how they are confirmed, how they relate to theories and other models, and how they represent.

For more information, see http://www.tilburguniversity.nl/faculties/fww/tilps/MS2/

This special issue has its origin in the International Workshop on Hybrid Logic (HyLo 2007), which was held 6-10 August in Dublin, Ireland as part of the European Summer School in Logic, Language, and Information (ESSLLI 2007). Topics of interest include not only standard hybrid-logical machinery like nominals, satisfaction operators, and the downarrow binder, but generally extensions of modal logic that increase its expressive power.

Deadline for paper submission is March 1, 2008. For more information, see here or http://www.springer.com/west/home/philosophy/logic?SGWID=4-40392-70-35503189-0

Idealization is ubiquitous in scientific practice, yet there is little consensus in the extant philosophical literature on some of the most basic questions about idealization, such as: What exactly constitutes idealization? Is idealization compatible with realism? Are idealization and abstraction distinct? Should theorists work to eliminate idealizations as science progresses? Are there rules governing the rational use of idealization, or should a theorist's intuition alone guide the process? We would like to see more sustained philosophical analysis directed at these and related questions. To help accomplish this, we will assemble a small group of philosophers from diverse backgrounds for in depth discussion about the philosophical questions related to idealization. The workshop will be organized to maximize discussion time and to ensure that novel material about idealization is given maximum time for discussion. We are especially interested to discuss the more epistemological aspects of idealization, with a lesser emphasis on the detailed case studies that have dominated much of the recent literature.

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

PHIBOOK is an annual volume devoted to philosophical logic and its relation to philosophy and science with particular emphasis on multi- agent and modal systems, active agency and social software. The yearbook is intended to inform the community of current and future directions of research and activity in philosophical logic, major events, books and important papers of the past year but also leaves extensive room for discussion in terms of columns, opinion pieces, and critical reports.

The yearbook will be published by Automatic Press / VIP, around 250 pages coming out in November every year - $25-7 a copy. The first yearbook covering 2007 will be coming out in May 2008 and the 2008 volume will appear in December 2008.

SUBMISSIONS

For more information, see http://www.formalphilosophy.com/phibook

The annual IEEE Congress on Evolutionary Computation is one of the leading events in the area of evolutionary computation. CEC 2007 will feature a world-class conference that aims to bring together researchers and practitioners in the field of evolutionary computation and computational intelligence from all around the globe. Technical exchanges within the research community will encompass keynote speeches, special sessions, tutorial workshops, panel discussions as well as poster presentations.

For more information, see http://www.cec2007.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. CSL'07, the 16th annual EACSL conference will be organized in Lausanne by the Western Swiss Center for Logic, History and Philosophy of Sciences, and the University of Lausanne. The Ackermann Award for 2007 is sponsored by Logitech and will be presented to the recipients at CSL'07. A joint session with GAMES 07, the annual meeting of the European Network will take place on 11 September, 2007.

For more information, see http://www.unil.ch/csl07/.

Topics include halting problems, minimal universal codes, computational complexity, self-reproduction and decidability in areas such as Digital computation (fundamental classical models), Digital models of computation, and Analog and Hybrid Computations.

For more information, see http://www.univ-orleans.fr/lifo/Manifestations/MCU07/

Within the course of the last 50 years, Artificial Intelligence has developed into a major field of research with a multitude of facets and application areas. While, in general, Artificial Intelligence research is driven by application needs, it is nevertheless a fact that foundational questions and theoretical insights have always been one of the driving forces behind its development. This includes the quest for realising intelligent behaviour in artificial systems as envisioned in the early days of AI research. But it also comprises biological inspirations e.g. for robot design, artificial neural networks, or emergent intelligence, as well as logical underpinnings of automated deduc-tion and knowledge representation.

Indeed, formal and foundational aspects of artificial intelligence are being studied in many sub areas in order to serve application needs. It lies in the nature of such fundamental research that a critical mass of different formal perspectives can generate a cross-fertilization of ideas and applications. We therefore intend to bring together researchers working on foundational aspects of Artificial Intelligence across different communities, in order to stimulate an exchange of ideas and methods between them.

For more information, see http://logic.aifb.uni-karlsruhe.de/wiki/FAInt-07

The 2007 Annual Meeting of the GAMES Network "Games and Automata for Synthesis and Validation" will be held in Lausanne from the 10th to 13th September 2007. It will be co-located with CSL 2007 (www2.unil.ch/csl07), with a joint GAMES-CSL programme on 11th September.

As in previous years, GAMES 2007 will be an informal workshop, without proceedings, with a programme consisting of 5-6 invited tutorials (90 min), contributed talks (30 min) and short presentations (15 min).

For more information, see http://www.games.rwth-aachen.de/.

In recent years, multi-agent systems have come to form one of the key technologies for software development. The third edition of the FAMAS workshop series, after the success of FAMAS'03 affiliated to ETAPS'03 in Warsaw and FAMAS'06 affiliated with ECAI'06 in Riva del Garda, 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

The workshop will be part of this year's Multi-Agent Logics, Languages, and Organisations federated Workshops, MALLOW'007 hosted by the Department of Computer Science and St. Chad's College, University of Durham, U.K. Participants in the FAMAS workshop are urged to participate in the co-located workshops. For more details of MALLOW, please see http://www.dur.ac.uk/durham.agents007/MALLOW007/

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

The British Logic Colloquium (BLC 2007) will be held in De Morgan House, Central London, 6th September to 8th September 2007.

For more information, see here or http://www.dcs.bbk.ac.uk/~roman/blc/

There are a plethora of views as to the relationship between probability and logic and a panoply of proposals for combining the two. In particular, probabilistic logics offer formal combinations of probability and logic - often, however, at the expense of perspicuity and tractability. The question arises as to whether probabilistic networks might be used to render probabilistic logics more comprehensible and computationally feasible. In this workshop we aim to bring researchers from a variety of disciplines together to assess the prospects of applying probabilistic networks to probabilistic logics, and more generally to elucidate the relationship between probability and logic.

For more information, see http://www.kent.ac.uk/secl/philosophy/jw/2007/progic/

Logics of knowledge and belief, as well as other attitudes such as desire or intention, have been extensively studied. However, most of the treatments of knowledge and belief make strong and idealised assumptions about the reasoners. For example, traditional epistemic logics say that agents know all logical consequences of their knowledge. Similarly, logics of action and strategic interaction are usually based on game theoretic models which assume perfect rationality. Models based on such assumptions can be used to describe ideal agents without bounds on resources such as time, memory, etc, but they fail to accurately describe non-ideal agents which are computationally bounded. The workshop aims to provide a forum for discussing possible solutions to the problem of formally capturing the properties of knowledge, belief, action, etc. of non-idealised resource-bounded agents.

LRBA 2007 is part of Multi-Agent Logics, Languages, and Organisations: Federated Workshops (MALLOW'007)

For more information, see http://www.agents.cs.nott.ac.uk/events/lrba07/

AQIS'07 will focus on quantum information science and technology. This is a new interdisciplinary field that bridges quantum physics, computer science, mathematics, as well as computing technologies. AQIS'07 is the successor of the series EQIS'01-EQIS'05 and AQIS'06. Following tradition, AQIS'07 will consist of invited talks and selected oral communications and posters.

For more and the latest information, please check the conference website at http://qc.naist.jp/aqis07/ or e-mail to aqis07 at is.naist.jp.

The aim of this event is to provide an opportunity for researchers with a broad range of interests in formal methods to discuss recent developments in this field.

For more information, see http://www.sbmf2007.ufop.br/

ASAI, the Argentine Symposium on Artificial Intelligence, is an annual event intended to be the main forum of the Artificial Intelligence (AI) community in Argentina. The symposium will consist of invited talks and regular paper sessions presenting both mature work and new ideas in theoretical research and applications, and aims at providing a forum for researchers and AI community members to discuss and exchange ideas and experiences on diverse topics of AI. Previous ASAI editions stimulated presentations on both applications of AI and new tools and foundations currently under development. ASAI 2007 will be part of the 36th JAIIO, the 36th Argentine Meetings on Informatics and Operations Research.

For more information, see http://www.exa.unicen.edu.ar/asai2007/

The joint ICNC'07-FSKD'07 will be held in Haikou, China. Previously, the joint conferences in 2005 and 2006 each attracted over 3100 submissions from more than 30 countries.

For more information, see http://www.hainu.edu.cn/htm/icnc-fskd2007

The topic of the conference is the investigation of concept types (sortal, relational, individual and functional concepts) and their respective relationships to frames (recursive attribute-value structures). The interdisciplinary conference combines approaches from linguistics, computational linguistics, neuroscience, philosophy, philosophy of science and the history of science.

For more information, see http://phil-fak.uni-duesseldorf.de/fff/ctf/ or email to: ctf at phil-fak.uni-duesseldorf.de.

The Sixth International and Interdisciplinary Conference on Modeling and Using Context (CONTEXT'07) will provide a forum for presenting and discussing high-quality research and applications on context, within a wide range of disciplines. The conference will include paper and poster presentations, system demonstrations, workshops, and a doctoral consortium.

For more information, see http://context-07.ruc.dk/.

CALCO brings together researchers and practitioners to exchange new results related to foundational aspects and both traditional and emerging uses of algebras and coalgebras in computer science. CALCO 2007 will be preceded by two events: CALCO-jnr - a CALCO Young Researchers Workshop dedicated to presentations by PhD students and by those who completed their doctoral studies within the past few years - and the Tools & Application Day - providing the opportunity to give system demonstrations.

For more information, see http://www.ii.uib.no/calco07/

Further to the highly successful Studia Logica International Conference Trends in Logic V, held in Guangzhou, China, during July 6-9, 2007, we cordially invite you to submit a paper for a special issue of Studia Logica devoted to Many-valued Logic and Cognition.

For more information, contact the Guest editors, Shier Ju (hssjse at mail.sysu.edu.cn) and Daniele Mundici (mundici at math.unifi.it). To submit, please send the PDF file of your paper to both editors before December 31, 2007.

This event is the second in a series of events whose objective is to gather logicians from all orientations (philosophy, mathematics, computer science, linguistics, artificial intelligence etc) - people not focusing only on some specific systems of logic or some particular problems, but inquiring the fundamental concepts of logic. There will be a four days school with about 20 tutorials followed by a 3 days congress. Among the participants there will be Walter Carnielli, Hartry Field, Valentin Goranko, Vincent Hendricks, Wilfrid Hodges, Istvan Németi, Gabriel Sandu, Stan Surma, Heinrich Wansing and many others.

For more information, see http://www.uni-log.org/

UC'07 is the 6th Conference in the Series Unconventional Computation. The first venue of the International Conference on Unconventional Computation (formerly called Unconventional Models of Computation) was Auckland, New Zealand in 1998; subsequent sites of the conference were Brussels, Belgium in 2000, Kobe, Japan in 2002, Sevilla, Spain in 2005, and York, U.K. in 2006. By coming to Kingston in 2007, the International Conference on Unconventional Computation makes its debut in the Americas.

For more information, see http://www.cs.queensu.ca/uc07/.

Why not spend a week in August in bustling Beijing, listening to and meeting top scholars in logic, methodology and philosophy of science? The congress fee includes a reception, a farewell dinner, and a tour to the Great Wall.

The congress is held for the first time in Asia, organized by the International Union for History and Philosophy of Science, Division of Logic, Methodology and Philosophy of Science (IUHPS/DLMPS), and Tsinghua University, Beijing. The congress features plenary speakers, invited speakers in 16 sections, a number of special symposia, affiliated meetings, and contributed papers in each section.

Registration deadline is May 15. For more information, see http://www.clmps2007.org or send email to lmps2007 at tsinghua.edu.cn.

We are pleased to announce the Student Session of the 19th European Summer School in Logic, Language and Information, which will be held in Dublin, Ireland on August 6-17, 2007. Student Session exists to bring together young researchers to present and discuss their work in progress with a possibility to get feedback from senior researchers.

For more information, see the Student Session webpage at http://www.loria.fr/~sustreto/stus07/.

Hybrid logic is a branch of modal logic allowing direct reference to worlds/times/states. It is easy to justify interest in hybrid logic on the grounds of applications as the additional expressive power is very useful. In addition, hybrid-logical machinery improves the behaviour of the underlying modal formalism. For example, it becomes considerably simpler to formulate modal proof systems, and one can prove completeness and interpolation results of a generality that is not available in orthodox modal logic.

The topic of the HyLo workshop of 2007 is not only standard hybrid-logical machinery like nominals, satisfaction operators, and the downarrow binder, but generally extensions of modal logic that increase its expressive power. The workshop continues a series of previous workshops on hybrid logic, most recently the LICS-affiliated HyLo 2006 (http://hylomol.ruc.dk/HyLo2006/). HyLo 2007 is organized as part of ESSLLI 2007.

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

The 30th International Wittgenstein Symposium will be held in Its general theme will be: "Philosophy of the Information Society".

Sections
1. Wittgenstein
2. Wittgenstein and the digital turn
3. Information science, text theory and hermeneutics in the digital context
4. Philosophy of media
5. Philosophy of the Internet
6. Ethics and political economy of the information society

For more information, see http://www.alws.at/.

This international conference is the third in the series Algebraic and Topological methods in Non-Classical Logics (TANCL). The topics covered by TANCL'07 lie within a well-established and active area of mathematical logic. It is hoped to attract to the meeting established researchers and also postdoctoral and graduate students, from the UK and overseas.

The programme will focus on three interconnecting mathematical themes central to the study of non-classical logics and their applications: algebraic, categorical, and topological methods. Three more specialized satellite workshops are planned (see below).

A conference homepage is being set up at http://www.maths.ox.ac.uk/notices/events/special/tancl07/. In the meantime, expression of interest by potential participants is welcomed; please email tancl07 at maths.ox.ac.uk

The 15th International Conference on Conceptual Structures (ICCS 2007) is the latest in a series of annual conferences that have been held in Europe, Australia, and North America since 1993. The focus of these conferences has been the representation and analysis of conceptual knowledge for research and business applications. ICCS brings together researchers in information technology, arts, humanities and social science to explore novel ways that can conceptual structures can be employed in information systems.

ICCS 2007's theme is "Conceptual Structures: Knowledge Architectures for Smart Applications". From these architectures, smart applications arise that allow enterprises to share meaning with its interconnected computing resources, and realise transactions that would otherwise remain as lost business opportunities. Conceptual structures and smart applications integrate the creativity of individuals and organisations with the productivity of computers for a meaningful digital future.

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

LFMTP'07 continues the International workshop on Logical Frameworks and Meta-languages (LFM) and the MERLIN workshop on MEchanized Reasoning about Languages with variable BIndingIN).

Logical frameworks and meta-languages form a common substrate for representing, implementing, and reasoning about a wide variety of deductive systems of interest in logic and computer science. Their design and implementation on the one hand and their applications in for example proof-carrying code have been the focus of considerable research over the last two decades. This workshop will bring together designers, implementors, and practitioners to discuss all aspects of logical frameworks.

For more information, see http://www.cs.mcgill.ca/~bpientka/lfmtp07

Decidability, and especially complexity and tractability of logical theories is extremely important for a large number of applications. Although general logical formalisms (such as predicate logic or number theory) are undecidable, decidable theories or decidable fragments thereof (sometimes even with low complexity) often occur in mathematics, in program verification, in the verification of reactive, real time or hybrid systems, as well as in databases and ontologies. It is therefore important to identify such decidable fragments and design efficient decision procedures for them. It is equally important to have uniform methods (such as resolution, rewriting, tableaux, sequent calculi, ...) which can be tuned to provide algorithms with optimal complexity.

The goal of ADDCT is to bring together researchers interested in - identifying (fragments of) logical theories which are decidable, identifying fragments thereof which have low complexity, and analyzing possibilities of obtaining optimal complexity results with uniform tools;
- analyzing decidability in combinations of theories and possibilities of combining decision procedures;
- efficient implementations for decidable fragments;
- application domains where decidability resp. tractability are crucial.

For more information, see http://www.mpi-inf.mpg.de/~sofronie/addct07.html or contact Viorica Sofronie-Stokkermans at sofronie at mpi-inf.mpg.de.

The Center for Junior Research Fellows (ZWN) at the University of Konstanz sponsors a winter school program at the University of Konstanz every year. The program is targeted at postdoctoral scholars who do not hold a tenured position. Running a winter/summer school offers young researchers the opportunity to popularize their own research fields and ideas, to intensive discuss their research topic with experts in their field in a calm, inspiring environment and beyond time pressure. Moreover,

According to the multidisciplinary character of the ZWN, postdoctoral scholars of all research disciplines may apply. Alternating every other year, the program is open to members of the University of Konstanz only and to external applicants. For the winter 2007/2008 the ZWN announces the financing of a winter/summer school up to EUR 14,000. Young scholars both with and without German residency are invited to apply by 15 September 2007.

For more information, see http://www.uni-konstanz.de/forschung/zwn/Ausschreibung/.

Truth is one of the central subjects in philosophy. It is also one of the largest and perhaps oldest. Moreover, a huge variety of issues in philosophy relate to truth, either by relying on theses about truth, or implying theses about truth. Studia Philosophica Estonica welcomes all submission on the topic "truth", systematic discussions of conceptions of truth as well as historic discussions of theories of truth in the philosophical tradition. Studia Philosophica Estonica invites submissions for its next special issue on "Truth", due for publication in December 2007. Papers should be received through our online submission system no later than October 1st, 2007.

Submissions must be in English and conform to the submission standards of the journal and the methodological standards of analytic philosophy. All submissions must be prepared for blind review. For more information on online submissions, please see our submission guidelines (http://www.spe.ut.ee/ojs/index.php/spe/about/submissions#authorGuidelines).

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 Nijmegen (2006) and Athens (2005). 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.

LC'07 will be colocated with ICALP'07 and LICS'07.

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

The LICS Symposium is an annual international forum on theoretical and practical topics in computer science that relate to logic broadly construed. LICS 2007 will be held in the Institute of Computer Science, University of Wroclaw, Poland, from 10th July to 14th July 2007. It will be colocated with two other meetings: the International Colloquium on Automata, Languages, and Programming (ICALP'07) July 9-13, 2007, and also the European Logic Colloquium (ELC 2007), July 14-19. Workshops are planned for July 8, 9 and July 15 (possibly the afternoon of 14th).

For more information, see http://www2.informatik.hu-berlin.de/lics/lics07/.

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 13th of July 2007 in Wroclaw, Poland. ICALP'07 will be colocated with LC'07 and LICS'07.

For more information, see http://icalp07.ii.uni.wroc.pl/.

WMSCI 2007 is an international forum for scientists and engineers, researchers and consultants, theoreticians and practitioners in the fields of Systemics, Cybernetics and Informatics. The forum focuses into specific disciplinary research, and also in multi, inter, and trans-disciplinary studies and projects. One of its aims is to relate disciplines, fostering analogical thinking and, hence, producing input to the logical thinking.

For more information, see http://www.iiis-cyber.org/wmsci2007/.

This Studia Logica International Conference will highlight significant recent developments in many valued-logics as well as their interaction with cognition. The conference seeks to bring together researchers working in the aforementioned areas, promote a greater degree of communication and interaction among the featured research communities, and act as a catalyst for new directions of research.

For more information, see http://logic.sysu.edu.cn/information/TrendsInLogic.htm or http://www.ifispan.waw.pl/studialogica/TrendsV.html.

The Panhellenic Logic Symposium (PLS) is a biannual scientific event established in 1997. It is open to researchers from Greece, as well as from other countries, who work on logic broadly conceived. The language of the Symposium is English.

For more information visit the site of the symposium: http://pls6.pre.uth.gr

WoLLIC is an annual international forum on inter-disciplinary research involving formal logic, computing and programming theory, and natural language and reasoning. Each meeting includes invited talks and tutorials as well as contributed papers.

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

Deciding the satisfiability of first-order formulas modulo background theories, known as the Satisfiability Modulo Theories (SMT) problem, has proved to be useful in verification, compiler optimization, scheduling, and other areas. The success of SMT techniques depends on the development of both domain-specific decision procedures for each concrete theory (e.g. linear arithmetic, the theory of arrays, or the theory of bit-vectors) and combination methods that allow one to obtain more versatile SMT tools. These two ingredients together make SMT techniques well-suited for use in larger automated reasoning and formal verification efforts.

The aim of the workshop is to bring together researchers and users of SMT tools and techniques. Continuing with the PDPAR tradition, we especially encourage submission of papers focused on pragmatic aspects.

For more information, see http://www.lsi.upc.edu/~oliveras/smt07

The workshop GPMR-LS1 is the inaugural workshop of the working group "Logic & Semantics" of the Gesellschaft für Philosophie des Mittel-alters und der Renaissance. We aim to bring together all researchers interested in logical and semantical aspects of medieval and early modern philosophy.

Invited Speakers include Bert Bos, Catarina Dutilh Novaes, Sten Ebbesen, Peter King, Gyula Klima, Simo Knuuttila, Peter Ohrstrom and Stephen Read

For more information, see http://www.illc.uva.nl/GPMR-LS1/

Calculemus is a series of conferences dedicated to the integration of computer algebra systems (CAS) and automated deduction systems (ADS) towards the development of universal mathematical assistant systems (MAS).

Currently, symbolic computation is divided into several (more or less) independent branches, traditional ones (e.g. computer algebra and theorem proving) as well as newly emerging ones (on user interfaces, knowledge management, theory exploration, etc.). The main concern of the Calculemus community is to bring these developments together in order to facilitate the theory, design, and implementation of integrated MAS that will routinely be used by mathematicians, computer scientists, and engineers in their every-day business.

For more information, see http://www.risc.uni-linz.ac.at/about/conferences/Calculemus2007/

The International Conference on Rewriting Techniques and Applications RTA is the major forum for the presentation of research on all aspects of rewriting. The 18th Conference (RTA'07) is organized as part of the Federated Conference on Rewriting, Deduction, and Programming (RDP'07), which comprises, in addition to RTA'07, the conference on Typed Lambda Calculi and Applications (TLCA'07) and eight workshops (HOR, PATE, RULE, SecReT, UNIF, WFLP, WRS, and WST).

For more information, see http://www.lsv.ens-cachan.fr/rdp07/rta.html

The 28th annual international Petri Net conference and tutorials will be organised by the Institute of Computer Science at the University of Podlasie and Institute of Computer Science of the Polish Academy of Sciences.

For more information, see http://atpn2007.ap.siedlce.pl.

WG 2007 aims at uniting theory and practice by demonstrating how graph-theoretic concepts can be applied to various areas in Computer Science, or by extracting new problems from applications. The goal is to present recent research results and to identify and explore directions of future research. The conference is well-balanced with respect to established researchers and young scientists.

For more information, see http://wwwteo.informatik.uni-rostock.de/wg2007/

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

For more information, see http://www.info.fundp.ac.be/~pys/TARK07/.

The 5th International Conference on Logic, Game Theory and Social Choice will be held at the Euskalduna Conference Centre in Bilbao, Spain, from 20th to 22th June 2007. Just like the four previous LGS-conferences (Tilburg 1999, Saint Petersburg 2001, Siena 2003, Caen 2005), LGS5 will focus on the theoretical connections between the three disciplines in the conference title. The conference programme will consist of three invited lectures by Robert J. Aumann, Matthew O. Jackson and Mamoru Kaneko, and contributed papers.

For more information,, see http://www.lgs-5.com/.

CiE is a European network of mathematicians, logicians, computer scientists, philosophers, theoretical physicists and others interested in new developments in computability and in their underlying significance for the real world.

CiE 2007 will address various aspects of the ways computability and theoretical computer science enable scientists and philosophers to deal with mathematical and real world issues, ranging through problems related to logic, mathematics, physical processes, real computation and learning theory. At the same time it will focus on different ways in which computability emerges from the real world, and how this affects our way of thinking about everyday computational issues.

CiE 2007 will be co-located with the annual CCA (Computability and Complexity in Analysis) Conference

For more information, an online registration form and a preliminary program, see http://www.mat.unisi.it/newsito/cie07.html

AutoMathA 2007 is the main conference of the programme AutoMathA of the European Science Foundation. This five-year multidisciplinary programme (2005-2010), at the crossroads of mathematics, theoretical computer science and applications, gathers 14 European countries. The goal of AutoMathA is to propose a set of co-ordinated actions for advancing the theory of automata and for increasing its application to challenging scientific problems.

For more information, see http://www.math.unipa.it/~ama07/

Analysis of algorithms is a scientific basis for computation, providing a link between abstract algorithms and the performance characteristics of their implementations in the real world. The general effort to precisely predict the performance of algorithms has come to involve research in analytic combinatorics, the analysis of random discrete structures, asymptotic analysis, exact and limiting distributions, and other fields of inquiry in computer science, probability theory, and enumerative combinatorics.

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

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.

This year CCA 2007 is co-located with the conference CiE 2007.

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

Recent years have witnessed increased research activity on the interface between logic and universal algebra. In particular, the use of algebraic methods has proved to be fruitful in the study of non-classical logics -- such as modal logic, fuzzy logic, and substructural logics -- and ordered structures play a central role in this relationship. The purpose of the conference is to bring together researchers from these fields to foster collaboration and further research.

For more information, see http://www.math.vanderbilt.edu/~oal2007/

SIGACT is pleased to announce the first Symposium on Theory of Computing (STOC) ACM Student Research Competition (SRC) sponsored by Microsoft Research. The STOC SRC offers an opportunity for undergraduate students conducting theoretical computer science research to present their original work at STOC 2007. Research in all areas of theoretical computer science is welcome.

More information is available on the participation page of the ACM SRC website http://www.acm.org/src

The 39th ACM Symposium on Theory of Computing (STOC 2007), sponsored by the ACM Special Interest Group on Algorithms and Computation Theory (SIGACT), will be held in San Diego, CA, June 11 to 13, 2007, as part of the FCRC. 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://research.microsoft.com/research/theory/feige/homepagefiles/stoc07.htm

The LFCS series provides an outlet for the fast-growing body of work in the logical foundations of computer science, e.g., areas of fundamental theoretical logic related to computer science.

For more information, see http://www.cs.gc.cuny.edu/lfcs07

This will be the first international congress dedicated entirely to the square of opposition. The square will be considered in its various aspects. There will be talks by the best specialists of the square and this will be also an interdisciplinary event gathering people from various fields : logic, philosophy, mathematics, psychology, linguistics, anthropology, semiotics. Visual and artistic representations of the square will also be presented.

For further information, visit the website below: http://www.square-of-opposition.org/.

RIAO 2007 aims to present recent, substantial, original and unpublished research that has been validated to the level of the creation of a functioning prototype. We are interested in large-scale solutions to the problem of accessing the semantic content found in unstructured text, images, video and audio.

For more information, see http://www.riao.org/index_eng.php

The purpose of the conference is the presentation of empirical, theoretical, and analytical work from all areas of interest in cognitive science, such as artificial intelligence, education, linguistics, neuroscience, philosophy, psychology and anthropology. The focus is on interdisciplinary work that is either of interest for more than one of the mentioned research areas or integrates research methods from different fields. Furthermore, applications of cognitive science research in such domains as human-computer interaction, education, knowledge management, or engineering are equally welcome.

For more information, see http://conferences.phs.uoa.gr/EuroCogSci07/

The 4th Annual Conference on Theory and Applications of Models of Computation (TAMC07) will be held in Shanghai, China, May 22 to 25, 2007. Three previous annual meetings were held in 2004, 2005 and 2006, with enthusiastic participation from researchers all around the world. The three main themes of the conference TAMC07 will continue to be Computability, Complexity, and Algorithms. It aims to bring together researchers with an interest in theoretical computer science, algorithmic mathematics, and applications to the physical sciences.

For more information, see http://www.tamc2007.fudan.edu.cn/

(dutch only)
Dit congres wordt georganiseerd door de Nederlandse Vereniging voor Wetenschapsfilosofie (NVWF) in overleg met een aantal Vlaamse wetenschapsfilosofen. Op het congres zullen Nederlandse en Vlaamse onderzoekers met een wetenschapsfilosofische ori~ntatie hun onderzoek presenteren met ruime gelegenheid voor discussie en informele contacten. Naast onderwerpen uit de algemene wetenschapsfilosofie, kentheorie en methodologie kunnen ook onderwerpen uit de filosofie en grondslagen van de afzonderlijke wetenschappen een wetenschapsgebieden (alfa, b~ta, gamma, medisch, technisch) aan bod komen.

Deadline voor registratie: 1 February 2007. Voor meer informatie, zie http://www.nvwf.nl/ en http://www.isvw.nl/voorjaar2007-13.htm.

The AAMAS conference series was initiated in 2002 as a merger of three highly respected individual conferences: the International Conference on Autonomous Agents, the International Workshop on Agent Theories, Architectures, and Languages, and the International Conference on Multi-Agent Systems. The aim of the joint conference is to provide a single, high-profile, internationally respected archival forum for scientific research in the theory and practice of autonomous agents and multiagent systems.

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

The workshop on Declarative Agent Languages and Technologies (DALT), in its fifth edition this year, is a well-established forum for researchers interested in sharing their experiences in combining declarative and formal approaches with engineering and technology aspects of agents and multiagent systems. Building complex agent systems calls for models and technologies that en- sure predictability, allow for the verification of properties, and guarantee flexibility. Developing technologies that can sat- isfy these requirements still poses an important and difficult challenge. Here, declarative approaches have the potential of of- fering solutions satisfying the needs for both specifying and de- veloping multiagent systems. Moreover, they are gaining more and more attention in important application areas such as the seman- tic web, service-oriented computing, security, and electronic contracting. For instance, some convergence points between the areas of formal methods for dealing with web services and formal methods for agents are emerging and gaining more and more atten- tion.

DALT 2007 will be held as a satellite workshop of AAMAS 2007. For more information, see http://www.di.unito.it/~baldoni/DALT-2007/

The annual Belgian-Dutch Benelearn Conference will be held in Amsterdam 14 and 15 May 2007. Benelearn serves as a forum where researchers, developers and users of Machine Learning, Data Mining, Knowledge Discovery and related areas exchange ideas and present recent work. The language of the conference is English. Benelearn 2007 will be organised by the Adaptive Information Management group of the Human-Computer Studies Laboratory of the University of Amsterdam.

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

The systematic study of intertheory relations such as strong and uniform equivalence has recently become an active sub-area of research in the field of LPNMR. Various kinds of correspondence relations that may hold between logic programs or between nonmonotonic theories have been analysed and shown to be of practical relevance for theory or program transformation, optimisation and modularity. Several systems for verifying such relations have been implemented. Different types of knowledge representation and reasoning tasks have begun to be explored in this context, such as abductive and inductive reasoning, causal reasoning, preference-based reasoning or reasoning about updates.

In the field of KRR more generally one notes an increased interest in inter-theory relations that are relevant for ontologies, eg to describe modular ontologies or equivalences between ontologies or their parts. It may therefore be of interest to combine work in this area with work on equivalences between nonmonotonic rules. We are also interested in new results on equivalences between different ontology languages proposed for the Semantic Web, particularly in combinations with (nonmonotonic) rules. Frameworks for study might therefore include e.g. DL-programs or hybrid knowledge bases that provide combinations of a classical or description logic KB with logic programming rules.

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

One of the most striking developments in recent epistemological theorizing is the use of linguistic data and arguments to defend epistemological positions. Famous epistemological positions that are motivated and disputed in this way are contextualism, subject sensitive invariantism, and contrastivism. The overall aim of this conference is to bring together outstanding researchers working in this area of epistemology to both discuss the validity of the 'linguistic method' and bring this method into actual practice.

For more information, see http://www.abdn.ac.uk/philosophy/events/lingepist/ or contact Martijn Blaauw at m.blaauw at abdn.ac.uk.

This is the third of a series of successful meetings on the development of Formal Topology and its connections with related approaches. The first two have been held in Padua, 1997, and Venice, 2002. Before the workshop, on 7-8 May 2007, two days of extensive and coordinated tutorials are planned, given by Bernhard Banaschewski and other pioneers.

For more information, see http://www.3wftop.math.unipd.it/.

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.

For more information, see http://www.doc.ic.ac.uk/crg/events/ARW07/.

The MFPS conferences are devoted to those areas of mathematics, logic, and computer science which are related to models of computation, in general, and to the semantics of programming languages, in particular. The series has particularly stressed providing a forum where researchers in mathematics and computer science can meet and exchange ideas about problems of common interest.

For more information, see http://www.math.tulane.edu/~mfps/mfps23.htm

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

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

The general philosophical theme of this meeting will be that of why and how philosophers and historians of mathematics need each other. This takes for granted the thesis, ventilated by Lakatos, that they do so. One is here referring, of course, to his famous paraphrase of Kantian dictum: "The history of mathematics, lacking the guidance of philosophy, has become blind, while the philosophy of mathematics, turning its back on the most intruiging phenomena in the history of mathematics, has become empty".

Any serious attempt at remedying this, and thus approaching the history and philosophy of mathematics, will either have to "bring to" philosophers the historian's expertise of conducting meticulous diachronical case-studies, or else "bring to" historians the philosopher's concern with epistemological depth; preferably both. Moreover, a focus on the historical dimension of mathematical practices is not to the exclusion of contemporary themes. To the contrary: Lakatos's point pertains to the historicity of mathematical knowledge, past and present.

For more and detailed information, visit http://www.vub.ac.be/CLWF/PMP2007/.

Group decision-making problems occur every time a collective choice has to be made from several individuals that have conflicting interests or preferences. There has been recently a growing interest on the use of logic as the basic tool for formalizing and computing those problems. This is in particular true in two close fields of research. The first one lies at the intersection of game theory and logics, especially by exploring how modal logics may be used to model and reason about games. A second one, which focuses on the logical insights into rational collective choice, has recently emerged around problems of judgment aggregation and beliefs/goals merging, on the one hand, and logical formalization of welfare distribution processes (social software), on the other. These two domains propose further formal refinements, using logical tools, of the classical theories of collective decision-making, by offering new evaluation criteria of and new ways of building social choice procedures. The workshop aims at sparking off interaction between social choice theorists, computer scientists, logicians and philosophers.

For more information, see http://www.illc.uva.nl/LCD07/ or contact us via lcd07 at hotmail.fr.

Opinions on confirmation and induction diverge wildly in philosophy of science. At one extreme are those such as the Bayesians, who believe that the true system of inductive logic has been found and all that needs to be resolved are the details. At the other are skeptics, such as some supporters of the underdetermination thesis, who hold that no logic can vindicate the level of support scientists claim for their best, mature theories, for, they urge, the real inductive import of evidence cannot be that decisive. Between these extreme are many intermediate positions, including the view that the very nature of inductive inference remains poorly understood. Our goal in this conference is to bring together representatives from as many of these viewpoints as possible in order to advance our understanding of this problem.

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

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 '07 is the twelfth event of the series.

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

The deadline for application and submission of abstracts is 19 January 2007. Details on the application procedure and cost are available from the school webpage, http://cs.ioc.ee/yik/schools/win2007/. Questions should be sent to ewscs07 at cs.ioc.ee.

For more information, see http://www.cs.rwth-aachen.de/stacs07/

The IADIS Applied Computing 2007 conference aims to address the main issues of concern within the applied computing area and related fields. This conference covers essentially technical aspects.

For more information, see http://www.computing-conf.org/ or contact the organizers at ac_sec at iadis.org.

The workshop Logic and Multi-Agent Systems aims to provide a forum to foster lively and fruitful discussion on issues involved in logic and multiagent systems.

Particular topics of interest are:
1. Specification, verification, and synthesis of multiagent systems
2. Description logics
3. Relation between temporal and dynamic logics
4. Automated reasoning and model checking
5. Security protocols
6. Models of peer-to-peer networking
7. Intelligent databases (with multiagent aspects)
8. Models of electronic institutions and contracts

For more information, see http://www.cs.otago.ac.nz/staffpriv/hans/lamas2.html

Starting from very different motivations, various groups of mathematicians and computer scientists have sought to describe abstract structures in great generality. This parallel evolutionary process has led to various groups of researchers working on highly interrelated areas, though unable to effectively communicate with each other due to vastly differing languages.

This workshop aims to bring together researchers working in category theory, universal algebra, logic and their applications to computer science in order to highlight recent advances in these fields and to facilitate dialogue between the different camps. Of particular interest is work which spans two or more of these areas.

Deadline for registration: 2nd February 2007 For more information, see http://usmc07.rsise.anu.edu.au/

CATS is the premier theoretical computer science conference in Australasia. It is held annually as part of Australasian Computer Science Week (ASCW) which comprises many other conferences and is overseen by the Computer Research and Education Association (CORE).

For more information, see http://www-staff.it.uts.edu.au/~cbj/cats07/

The annual Symposium on Principles of Programming Languages is a forum for the discussion of fundamental principles and important innovations in the design, definition, analysis, transformation, implementation and verification of programming languages, programming systems, and programming abstractions. Both experimental and theoretical papers are welcome.

For more information, see http://www.cse.ucsd.edu/popl/07/

The theme of the conference will be algorithmic randomness and related topics in logic, computability and complexity. The program will consist of invited talks, contributed talks and discussions. The meeting is sponsored by the Association for Symbolic Logic.

For more information, see http://www.dc.uba.ar/people/logic2007/

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.

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

Navya-Nyaya is an offshoot of the Nyaya system which was originally intended to be a comprehensive philosophy having an ontology of its own. The logical apparatus and the analysis of language developed by the Nyaya system were originally devised to lend support to this ontology. But the Nyaya techniques of drawing conclusions from given premises and the Nyaya way of analyzing language were borrowed by the other systems of Indian philosophy. This suggests that the Nyaya system has a formal core which is relatively, if not absolutely, independent of its ontological commitments and can be applied to entirely different contexts.

This conference is homage to Bimal Krishna Matilal who was one of the few thinkers who devoted major part of his philosophical career to initiating meaningful dialogues between the philosophical traditions of the East and the West. The main objective of his studying an ancient Indian system such as Navya-Nyaya was to explain its significance and relevance to modern discussions in the area called "philosophical logic". Issues in philosophical logic like those of ontological commitments, existence and truth are also addressed by Navya-Nyaya. This opens up the possibility of an interface between the approaches and conclusions of the different traditions.

For more information, see http://philosophy-ju.org/news&announce/ or contact Prof Dr Mihir Chakraborty at mihirc99 at vsnl.com.

Invited speakers include Corrado Böhm, Mariangiola Dezani-Ciancaglini, Jan Willem Klop, Jean-Jacques Lévy, Giuseppe Longo, Bill Phillips, Gordon Plotkin, Anne Speckens and Richard Statman.

Please register by sending a mail to barendregt60 at cs.ru.nl before 10 december. For more information, see http://www.cs.ru.nl/barendregt60/

The workshop, which is held on the occasion of Wolfgang Thomas's 60th birthday, is devoted to the theory of automata and its connection to mathematical logic, verification, and games.

The workshop will take place in Aachen, December 14 - 15, 2007 at the premises of the Computer Science Department of the RWTH Aachen. It will start on Friday, December 14, in the early afternoon, and will finish on Saturday, December 15, around noon. There is no registration fee, but registration is mandatory via the workshop homepage.

For more information, see http://www-i2.informatik.rwth-aachen.de/Events/WAL07/

A one-day conference in the series "Set theory and its neighbours" will take place on Wednesday, 5th December 2007 at the Department of Mathematics, University College London, 25 Gordon Street, London, WC1. There is no registration fee for the meeting.

We aim to keep the meetings 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. And let us know if you would like to speak or have ideas for speakers at future meetings.

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

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 3 to the 14 of December 2007, at the Physics G6 lecture theatre at the ANU. The School will consist of short courses on aspects of pure and applied logic taught by experts from Australia and overseas. In addition to the scheduled courses, time will be set aside each day for practical classes, discussions and software demonstrations.

"We call this, 'two weeks of wall-to-wall logic'. The Logic and Computation group at ANU believe that logic is not just about computers, or computer scientists. We say that anything that makes sense can be subjected to logical analysis, which means that this School is attractive to any IT professionals, educators in logic and undergraduate students planning to do research in logic-related fields."

Deadline for early registration: 2 November 2007. For more information, see http://lss.rsise.anu.edu.au/.

The 2007 Australasian Association for Logic Conference will be held at the University of Melbourne from Friday November 9 to Sunday November 11.

For more information, see http://www.cs.otago.ac.nz/staffpriv/hans/aal/

Witten/Herdecke University launches in 2007 the "Witten Lectures in Economics and Philosophy" which will be delivered annually at the University. Appointment as a Witten Lecturer is a recognition for uncommon achievement and outstanding quality in the field of economics and philosophy widely interpreted to include work that has fundamentally changed the way we think of the economic, political or social order.

Professor Kenneth Arrow, Stanford University, Nobel Laureate of Economics in 1972 will deliver the 1st Witten Lectures in Economics and Philosophy, titled "Social Values and Government Policy" (23 oktober) and "Social and Economic Values and Obligations" (24 oktober).

For more information, see http://wga.dmz.uni-wh.de/wiwi/html/default/

PhiMSAMP-2 is a workshop of the PhiMSAMP network for its members. Part of the workshop is open for the general public, and we cordially invite all researchers and students in the vicinity of Utrecht to come. Friday evening, we will present research results of the PhiMSAMP network in short talks by Eva Wilhelmus, Dirk Schlimm, and Esther Ramharter. The whole Saturday is devoted to tutorials on methodology in the social sciences and cognitive science by leading researchers. These tutorials could be particularly interesting for graduate students who are most enthusiastically invited. Speakers include Vincent Buskens, Herbert Kalthoff, Hansjörg Neth and Keith Stenning.

For more information, see http://www.lib.uni-bonn.de/PhiMSAMP/PhiMSAMP2.html or contact Thomas Müller at <Thomas.Mueller at phil.uu.nl>

Synthese hosts its first annual conference at the Carlsberg Academy in Copenhagen, October 3- 5 , 2007. The conference is sponsored by PHIS - The Danish Research School in Philosophy, History of Ideas and History of Science and Springer. This conference serves as a tribute to Lewis and as a venue for adressing questions concerning the relationship between logic and philosophical intuition and the future of formal methods in philosophy. Invited speakers are John Collins, Alan Hajék, Hannes Leitgeb, Rohit Parikh and L.A. Paul.

Deadline for registration: October 1, 2007. To register, please write conference manager Peter Guldborg Hansen at pgh at ruc.dk and include "SAC 2007" in the subject entry. A conference fee of 150 Danish Kroner/day (450 Danish Kroner total) is to be paid cash upon final registration (Wednesday, October 3, 2007). For more information, see http://www.springer.com/west/home/philosophy?SGWID=4-40385-70-35761018-0

The Third Vienna Tbilisi Summer School in Logic and Language is held from 24-28 September in Tbilisi. The event is co-located with the Seventh International Tbilisi Symposium on Language, Logic and Computation, held October 1-5.

For more information, see http://www.logic.at/tbilisi07/

On the one hand, computer science is now aiming at the development of more and more complex and autonomous computer systems which call for forms of meta-systems with regulating and controlling functions. On the other hand, philosophical disciplines are now trying to systematically address key notions in the understanding of social agency, e.g., "norm", "intention", "obligation".

Aim of the symposium is to bring together leading researchers from computer-science and philosophy in order to exchange points of view and stimulate scientific cooperation on the issue of normative systems. Speakers include Johan van Benthem, Christiano Castelfranchi Davide Grossi John Horty and Marek Sergot

Participation is free and includes lunch and coffee and tea breaks. However, advance registration is required. Please register before September 11 by sending an email to henry at cs.uu.nl or broersen at cs.uu.nl. For more information, see http://people.cs.uu.nl/davide/ANS/home.htm

The broad theme of the Fall schools is the interaction of Mathematical Logic and Complexity Theory, with special emphasis on Proof Complexity. The main guest speaker of this school will be Albert Atserias (Universitat Politecnica de Catalunya) who will deliver a tutorial on "Finite Model Theory and Complexity". The second tutorial series will concentrate on recent advances in Proof Complexity and will be given by members of the Prague school.

Deadline for registration: May 1, 2007

For more information, see http://www.math.cas.cz/~krajicek/trest07.html

EASSS-2007 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.dur.ac.uk/durham.agents007/EASSS07/.

The Summer School "Formal Methods in Philosophy and Linguistics" is a two week research training course in formal methods and their use in philosophy and linguistics for PhD students in the respective fields. The courses cover classical logic and its meta-theory, developments in modal and non-classical logic, as well as historical aspects in the philosophy of logic since Frege. Mathematical models that had a wider impact on philosophical model building, like probability theory and game theory, are also taken into account. The courses also introduce systematically formal semantics as it is studied by philosophers and linguists.

After a three day recapitulation of the standard technical vocabulary and some of the central metalogical results, a philosophy of language/ linguistics branch will take a closer look at the use of formal methods in specific problem areas and at specific formal theories. This will be paralleled by courses for philosophers working in areas other than philosophy of language and linguistics, offering closer examinations of applications of formal methods in the philosophy of science, mind, and action. The courses are designed for graduate students of philosophy and linguistics who lack a background in mathematics but work in a field that requires the assessment of formal methods or results obtained by such methods.

Student applications will be accepted until June 15, 2007. We will accept 30 students in total. For more information, see http://www.cohnitz.de/phpwcms/index.php?summerschool

Preliminary list of speakers: Warren Goldfarb (Harvard), Mary Leng (Liverpool), Douglas Macbeth (Ohio State), Mathieu Marion (Quebec) and Soeren Stenlund (Uppsala)

For more information, see http://www.socialsciences.manchester.ac.uk/sociology/staff/cg/

Hilary Kornblith is one of the most important figures in epistemology and an outstanding proponent of naturalism. Mr. Kornblith will be our guest in Cologne for one week and will be discussing central theses of his philosophy along with a group of international students and philosophers. Psychologists, biologists and other interested parties are also kindly invited.

The number of participants is relatively small, and those interested may apply through May 15 at the website. For more information, see http://www.summerschoolphilosophy.uni-koeln.de/english/index.htm

This event is the following in a list of gatherings on combination of logics, such as Logical Consequences and its Combinations held in Pune, India, December 2005, CombLog'04 held in Lisbon, July 2004 and the FroCoS (Frontiers of Combining Systems) going on since 1996.

All the dimensions of combination of logics will be touched: from abstract general frameworks based on universal logic and category theory to applications to some philosophical problems through some typical cases related with classical and intuitionistic logics

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

This is the 2nd Brussels Conference on Generative Linguistics.

For more information, see http://www.kubrussel.ac.be/onderwijs/onderzoekscentra/crissp/bcgl/2007/index.htm or email info at crissp.be.

In 1957 Andrzej Mostowski published his paper introducing the notion of generalized quantifier. Later on wide area of logical research was opened and many papers devoted to generalized quantifiers were published. The main purpose of the meeting is to summarize current knowledge on this subject.

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

Speakers include Ulrich Berger and Stanley Wainer (Festkolloquium) and Peter Aczel, Hajime Ishihara, Gerhard Jaeger, Ralph Matthes, Erik Palmgren, Monika Seisenberger and Anton Setzer (Workshop).

Please register no later than than June 1, 2007 by email to ratiu at math.lmu.de. For more information, see http://www.mathematik.uni-muenchen.de/~pschust/puc2.html.

The dynamic turn in logic opens new perspective for epistemology and action theory. Information changes and interactive situations unveil fresh and fascinating issues about fondamental concepts such as knowledge, beliefs and rationality. This workshop aims at giving these issues high priority in the philosophical agenda, by bringing together philosophers and logicians that share interest for dynamics phenomena.

Organization: Mathieu Marion (UQAM), Patrick Girard (Stanford), Olivier Roy (Amsterdam) and Francois Lepage (UdM)

For more information, a program and a registration form, see http://www.unites.uqam.ca/philo/dlmontreal2007/

Recently, the subject of language evolution has received more and more interest in almost all fields related to language: from anthropology and cognitive psychology to linguistics and neurobiology. A very original approach to the subject is through experimentation with robots. Considering the present state of research on Artificial Intelligence it is possible, in principle, to program autonomous (even humanoid) robots in such a way that they independently create a communication system grounded in their perceptual experience of the world.

Monday the 11th of June, the NVP presents a masterclass in which both this approach and more classicical experiments with people are discussed. The masterclass will be of interest to PhD students in a broad range of fields. Motivated master students are also welcome. There will be opportunity to present your ideas on the subject and receive individual feedback.

Participation is limited to 30 participants, so be quick to register. For more information, see http://www.psychonomie.nl/nvpmasterclass.

This international conference brings together leading figures in philosophy to discuss the nature and the logic of vagueness. Organised by Arche, The AHRC Research Centre for the Philosophy of Logic, Language, Mathematics and Mind, the conference will conclude the series of workshops hosted by the Arche Vagueness Project since January 2004.

Confirmed Speakers: Graeme Forbes, Leon Horsten, John MacFarlane, Vann McGee, Nathan Salmon, Scott Soames, Crispin Wright

For more information, see http://www.st-andrews.ac.uk/%7Earche/vagueness/

Speakers include Dirk van Dalen, Henk Barendregt, Alain Michel, Philippe Nabonnand & Gerhard Heinzmann, Per Martin-Löf (E.W. Beth Lecture), Marcel Guillaume, Mohammad Ardeshir, Carl Posy, Richard Tieszen, Bernd Buldt, Mathieu Marion, Dag Prawitz, Charles McCarty, Jacques Dubucs, Jean Fichot, Douglas Bridges, Erik Palmgren, Giovanni Sambin, Peter Schroeder-Heister, Anton Setzer, Mitsu Okada, Göran Sundholm & Mark van Atten and Wim Veldman.

Further information: http://www.ccic-cerisy.asso.fr/intuitionnisme07.html (please note that although the titles and abstracts on the webpage are in French, most talks will actually be in English).

The Fourth International Symposium on Neural Networks (ISNN 2007) will be held in Nanjing, as a sequel of ISNN 2004/ISNN 2005/ISNN 2006. Nanjing is the old capital of China, a modern metropolitan with 2470-year history and rich cultural heritage, featuring numerous historic and scenery sites. ISNN 2007 aims to provide a high-level international forum for scientists, engineers, and educators to present the state of the art of neural network research and applications in diverse fields. The symposium will feature plenary speeches given by worldwide renowned scholars, regular sessions with broad coverage, and some special sessions focusing on popular topics.

For more information, see http://liu.ece.uic.edu/ISNN07/

(dutch only: the conference itself will be english spoken)
De Vereniging voor Logica en Wijsbegeerte der Exacte Wetenschappen (VvL) nodigt u hierbij uit voor het symposium Logica en Cognitie, georganiseerd in samenwerking met Cover (studievereniging Kunstmatige Intelligentie, Groningen). Het symposium staat onder auspiciën van het Instituut Kunstmatige Intelligentie van de Rijksuniversiteit Groningen, het Cognitieprogramma van NWO en de onderzoeksscholen BCN en SIKS.

Alle belangstellenden zijn van harte welkom. De toegang is gratis, inclusief koffie en thee, lunch en een drankje aan het einde van de middag.

Voor meer informatie en abstracts, zie http://www.ai.rug.nl/~sympocie/2007/

Craig's interpolation theorem is part of the standard logic curriculum. This and other results of Craig's have had a profound significance in logic, philosophy of science, philosophy of logic, and computer science. Six internationally distinguished speakers will reflect on the importance and impact of Craig's work:

Solomon Feferman (Stanford University),
Michael Friedman (Stanford University),
Cesare Tinelli (University of Iowa),
Dana Scott (Carnegie Mellon University),
Jouko Väänänen (University of Amsterdam and University of Helsinki),
Johan van Benthem (University of Amsterdam and Stanford University).

Further information can be found at http://philosophy.berkeley.edu/events/detail/275 .

The workshop aims to bring together philosophers of science and leading researchers in the social sciences to discuss current methodological problems in these sciences. The focus of the workshop is on the interplay between, on the one hand, the use of probability theory in modeling human agents and, on the other, the use of statistical models in dealing with data about human agents.

There is no registration fee. However, participants have to register by 15 April 2007 by sending an email to MPSS2007 at gmail.com. For more information, see http://www.tilburguniversity.nl/faculties/humanities/tilps/MPSS/

We are pleased to announce our sixteenth annual BEST conference. There will be four talks by invited speakers:
Andres Caicedo (Caltech)
Tim Carlson (Ohio State University)
Marcia Groszek (Dartmouth College)
Peter Komjath (Eotvos University)

The conference webpage at http://math.boisestate.edu/~best/best16/ contains the most current information including lodging, abstract submission, maps, schedule, etc. Anyone interested in participating should contact the organizers as soon as possible by sending an email to: best at math.boisestate.edu.

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

Again, we managed to compose an interesting program with excellent speakers from the Netherlands and abroad, covering important streams in theoretical computer science. Lecturers include Tom Ball (Microsoft Research), Nitin Saxena (CWI) Rineke Verbrugge (RUG) and Gerhard Woeginger (TU/e).

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

The international conference Social cognition, emotion, and self-consciousness will be held from the 8-10 March 2007 at the Hanse-Wissenschaftskolleg in Delmenhorst, Germany.

To participate, please register before 10th of February 2006 by sending an email to Marion Daniel at the Hanse-Wissenschaftskolleg: mdaniel at h-w-k.de. For further information, see here or contact Alexandra Zinck: alexandra.zinck at uni-tuebingen.de.

The 2007 Annual Meeting of the Association for Symbolic Logic will take place March 10-13, 2007 at the University of Florida. Associated with the event is the workshop "Singular Cardinal Combinatorics and Inner Model Theory", to be held March 5-11. The Eighteenth Annual Gödel Lecture will be given by Ehud Hrushovski (Hebrew University, Israel). Special Sessions will be held on "Computability Theory", "Algebraic Model Theory", "Logic Research for Undergraduates" and "Connections of Set Theory with Boolean Algebras and Topology". The ASL will make available modest travel awards to graduate students in logic (deadline for applications: December 22, 2006).

For more information, see http://www.math.ufl.edu/~jal/logicyear/asl/

This workshop is part of the special year in logic at the University of Florida. The tutorials will take place on February 5-6, providing introductions to computable model theory and to model-theoretical applications within mathematics. The tutorials will be accessible to graduate students in logic, as well as to other interested mathematicians. The lectures on February 7-10 will present recent results in areas related to the tutorials.

For more information, see http://www.math.ufl.edu/~jal/logicyear/mtcmt/

Confirmed speakers include Carl Jockusch, Julia Knight, Manuel Lerman, Anil Nerode, Gerald Sacks, Stephen Simpson, Theodore Slaman and Robert Soare.

For more information, see http://www.math.uwaterloo.ca/~csima/shore/

Recent years saw the emergence of Ordinal Computability - the generalization of standard computability theory to ordinal time or ordinal space. Ordinal computability theory links computability, complexity, descriptive set theory, constructibility theory and other fields in innovative and fruitful ways.

The Bonn International Workshop on Ordinal Computability BIWOC aims at bringing together specialists, interested graduate students, and representatives from neighbouring fields. The program will consist of morning talks which will represent the current spectrum of ordinal machine models and identify relevant research questions and projects. Afternoons will be reserved for informal discussions, collaborations, and presentations. We expect that some progress may already be reported at an open session at the end of the workshop.

For more information, see http://www.math.uni-bonn.de/people/logic/biwoc/

On Friday January 19th 2007 there will be a small workshop organized by the Dutch Logic Society on "Logics for Interacting Agents" linked to the interdisciplinairy NIAS-project 'Games, Action and Social Software' (http://www.nias.knaw.nl/en/research_group_2006_07/nucleus/).

The meeting takes place in the Regardz Meeting Center La Vie Utrecht (Lange Viestraat 351, 3511BK Utrecht). This is a short walk from the Central Station.

For more information, see http://www.verenigingvoorlogica.nl/activiteiten/2007/agents.html

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

For more information, see pormondt at science.uva.nl

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

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

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

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

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

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

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

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

This is a rectification of the previously announced date of 20th of August.

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

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

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

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

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

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

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

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

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

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

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

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

A workshop on "Musical Structure: Expectation generation, disruption and resolution" will take place following Neta Spiro's PhD defence at 12:00. The talks will begin at 2:30. For more information, see the workshop entry.

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

Alessandra Palmigiano for her project:
Dualities for Quantales - a spatial understanding of noncommutative topology

Raquel Fernandez for her project:
Change and Coordination via Dialogue Interaction

The Dutch Ministry for Education, Culture and Science has funded an extra funding round for the prestigious HSP Huygens Programme for international Master students coming to the Netherlands. We have just received the results of this additional scholarship round and are pleased to announce that six of our MSc Logic students were awarded an HSP grant. This is particularly remarkable, as there were only 23 grants for FNWI students in total.

We would like to congratulate the awardees: Chris Brumwell, Ivano Ciardelli, Pablo Cubides Kovacsics, Pietro Galliani, Frank Nebel, and Robert Uhlhorn.

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

As reported last year, a generous ASL (Association for Symbolic Logic) member has donated an institutional ASL membership for the ILLC. As an institutional member, the ILLC can nominate nine students for sponsored ASL student memberships. This year, the nominees are Amelie Gheerbrant, Nina Gierasimczuk, Jarmo Kontinen, Lena Kurzen, Stefan Minica, Brian Semmes, Levan Uridia, Fernando Velazquez-Quesada, and Andreas Witzel.

We hope that the students who were sponsored in for the year 2007 decide to stay ASL members.

Contact person for the institutional ASL membership at the ILLC is Benedikt Löwe <bloewe at science.uva.nl>. For more information on the ASL, please consult http://www.aslonline.org/.

The Belgium-Netherlands Artificial-Intelligence Conference 2007 was held in Utrecht (5-6 November 2007). Out of 57 accepted papers, 6 were nominated for the best paper award by a program and reviewing committee. A best paper award committee consisting of 6 BNVKI senior members selected a single winner. The best paper award went to the paper entitled Translation Lexicon Estimates from Non-Parallel Corpora by Markos Mylonakis and Khalil Sima'an.

This is the second time the BNAIC best paper award goes to a paper (co-)authored by Khalil Sima'an ((first time BNAIC 2000).

The Deutsche Forschungsgemeinschaft (DFG) and the NWO are jointly funding a three-year research project (DN 62-630; 2007-2010) in set theory in Amsterdam and Bonn (Dutch coordinator: Benedikt Löwe; German coordinator: Peter Koepke) on "Infinitary Combinatorics without the Axiom of Choice". The project will fund a PhD student in Bonn, Ioanna Dimitriou (who is one of our former MSc Logic students), and has funds for travel between Amsterdam and Bonn, for visits of Arthur Apter for collaborative research, and for research workshops.

Official NWO announcement: http://www.nwo.nl/projecten.nsf/pages/

On Friday the 7th there was a special ceremony at CWI in honor of Paul Vitanyi. In a very entertaining afternoon session three famous mathematicians/computer scientists gave a talk more or less related to Paul's work. At the end of the afternoon Paul was awarded knighthood in the order of the "Nederlandse Leeuw", which is the highest ranking decoration that is not military.

For more information, see also here and http://www.cwi.nl/pr/press-releases/2007/pb-lintje-Vitanyi0907.html

Master of Logic student Thomas Icard III won the award of the Best Student Paper in the Oral Session at the ESSLLI summer school of 2007 with his paper "Towards An Alternative Proof of Solovay's Arithmetical Completeness Theorem" based on a project advised by Joost Joosten.

The ILLC is happy to announce that Master of Logic alumnus Yurii Khomskii was awarded a NWO Mosaic grant. The Mosaic programme is developed to boost the participation of ethnic minorities in academic research and provides funds for a 4 year period of doctoral research.

Yurii will start his PhD research as soon as possible under the supervision of Benedikt Loewe, on the project called Making Guesswork Precise: Developing a mathematical theory of rules-of-thumb in Set Theory of the Real Line"

For more information about the Mosaic program, see http://www.nwo.nl/subsidiewijzer.nsf/pages/NWOP_5RNBJK_Eng

We were happy to hear that a NWO Rubicon grant is awarded to Emar Maier from Nijmegen University (http://www.ru.nl/ncs/~emar/). The grant allows him to work for one year as a researcher at ILLC, together with Jeroen Groenendijk. The planned starting date is January 2007.

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

We are very proud that (again!) the NWO VIDI round has lead to two awards to ILLC members, Maria Aloni and Ulle Endriss:

Within the Division of Humanities: Maria Aloni for her project 'Indefinites and beyond: evolutionary pragmatics and typological semantics', and

within the Division of Exact Sciences: Ulle Endriss for his project 'Collective Decision Making in Combinatorial Domains'.

Both will receive the sum of 600 kEURO (2/3 NWO; 1/3 UvA matching) with which they can start their own research group.

The Teaching Prize 2007 of the Faculty of Humanities has been granted to the course "Logica en de Linguistic Turn", which is part of the Bachelor of Philosophy.

Almost every ILLC member working in the Philosophy Department has taught this course - some more than fifteen times. We congratulate them all. It was the first time this prize was granted to a course (instead of a teacher). On the picture Frank Veltman, who co~rdinated this course for many years, and who replaced the present co~rdinator Karen Kwast receives the prize from Amanda Kluveld, Chair of the Jury.

You can find the picture and jury report on http://www.hum.uva.nl/.

NWO has announced that two NWO VENI projects have been awarded to:

Jelle Zuidema (now postdoc at the ILLC), for his project proposal "Discovering grammar: statistical models of sequence learning in humans, animals and machines"

and

Catarina Dutilh-Novaes (Master of Logic alumna), for her project: "Philosophical Foundations of Formal Languages in Logic: Formal Languages as Language Games"

We are very happy for Jelle and Catarina (and obviously for the ILLC as well). Congratulations!!!

Frank Veltman

We were proud to see the name of ILLC mentioned as one of the 25 top research institutes in the Netherlands in last week's special issue on `Knowledge Capital' of Vrij Nederland, a weekly Dutch magazine. You can view the complete list at http://www.illc.uva.nl/NewsandEvents/Attachments/Breinmagneten.pdf.

(dutch only)
Jaarlijks verleent de KNAW financiële en logistieke ondersteuning aan zes Akademie-Colloquia. Doel van een Akademie-Colloquium is het bijeenbrengen van een selecte groep wetenschappelijke onderzoekers uit binnen- en buitenland op een actueel thema. De deelnemers aan een Akademie-Colloquium zijn met zorg geselecteerde experts. Voor promovendi kan voorafgaand of aansluitend aan het colloquium een een of tweedaagse masterclass worden georganiseerd.

De bijdrage van de KNAW is 16.000 euro per colloquium en 3.500 euro per dag voor een een- of tweedaagse masterclass. Daarnaast levert het Bureau van de KNAW kosteloos organisatorische en administratieve ondersteuning aan de organisator van het Colloquium.

Deadline voor het indienen van aanvragen voor Akademie-Colloquia in 2009 is 1 maart 2008. Voor meer informatie, zie http://www.knaw.nl/cfdata/nieuws/laatstenieuws_detail.cfm?nieuws__id=622

EG-Liaison offers training programmes. EG-Liaison wishes to transfer its knowledge and experience to interested parties willing to participate in a European project. To achieve this goal we frequently organise focused training programmes. As well as in the Netherlands, these take place particularly in countries in their pre-EU accession phase. Subjects specifically covered by these programmes include among others:

• How to draft a successful proposal
• Juridical and financial aspects of a European project
• Project management
• Participation of Small to Medium-sized Enterprises in European project

Costs are 125 euro including trainingmaterial, coffee/tea and lunch. For more information, see SenterNovem / EG-Liaison, http://www.senternovem.nl/egl/english.asp, Phone: +31 70 373 52 50, Email: info at egl.nl.

Von Humboldt Nederlandse onderzoekers kunnen tot 15 mei nog een Duitse collega voordragen voor een van de Von Humboldt Stiftung Researchprijzen. Vier van deze prijzen worden jaarlijks toegekend door de Von Humboldt Stiftung en NWO, twee voor Nederlandse onderzoekers die vier maanden tot een jaar in Duitsland gaan werken, twee voor Duitse onderzoekers die naar Nederland komen. Duitse kandidaten moeten worden voorgedragen bij NWO. Deadline: 15 mei

Voor meer informatie, zie http://www.nwo.nl/subsidiewijzer.nsf/pages/NWOA_4XGLAK?Opendocument.

Recently a Women in FNWI (WiF) network has been initiated within our faculty. Among the objectives of this network are to provide a forum for women to regularly meet and to work with the university administration to achieve a more balanced man/women representation among the scientific positions of this faculty.

To promote the scientific work of women in the FNWI, an annual 'Best Publication Prize' has been launched. More information about this prize can be found at the bottom of this message. We encourage candidates and academic staff to submit publications that fit with the terms before February 1, 2008. The winner will receive a 500 Euro prize during the annual WiF network day (March / April 2008), and deliver a prize lecture in a final session of the day open to the entire FNWI community.

For more information, see http://www.medewerker.uva.nl/science_news_and_agenda/news.cfm/

Deadline of application: April 8, 2008, 17.00 hrs
Budget: 265 Million euro
Identification code: FP7-ICT-2007-3 Possible subjects:

• Cognitive systems, Interaction &amp; Robotics; (CP, NoE, CSA)
• Digital libraries &amp; Technology-enhanced learning; (CP, NoE, CSA)
• Intelligent content &amp; Semantics; (CP, NoE, CSA)
• Science of complex systems for socially intelligent ICT (IP, CSA)
• Embodied intelligence (CP, CSA)
• ICT forever yours (IP, CSA)
• International cooperation (CSA)
• Transnational cooperation among National Contact Points (CSA).

(the corresponding instrumentalities are denoted in brackets: Integrating projects (IP); Collaborative projects (CP); Networks of Excellence (NoE); Coordination and support actions (CSA))

For more information, see http://www.senternovem.nl/egl/nieuws/derde_ict_call_gepubliceerd.asp (dutch) or http://cordis.europa.eu/fp7/ict/ (english).

There are New calls in the EU 'People Programme' for

1. Cofunding: Finance for National Grants programmes which also accept international researchers.
2. ERG (European Reintegration Grants): Reintegration grants for researchers who have been a Marie Curie fellow.
3. IAPP (Industry Academia Partnerships & Pathways).
4. IRG (International Reintegration Grants); Reintegration grants for researchers who have been working outside of the EU.
5. IRSES (International Researchers Staff Exchange Scheme).
6. Researchers Night: Grants for the organization of a 'Researchers Night'.

For more information, see here or http://www.senternovem.nl/egl/nieuws/derde_ict_call_gepubliceerd.asp

Liaison Office organiseert een workshop waarin onderzoekers advies krijgen bij het opstellen van hun voorstel voor een Veni (pas gepromoveerd) of Vidi (aantal jaren post-doc ervaring). De eerst volgende deadline voor het indienen van een Veni of een Vidi is 8 januari 2008.

Deelname is kosteloos, maar er is slechts een beperkt aantal plaatsen beschikbaar. Voor nadere informatie zie here, of neem contact op met Liaison Office, Carolien Zijderveld, telefoon 020 525-5417, e-mail c.a.l.zijderveld at uva.nl .

The next topics will be discussed:
Cognitive systems, Interaction & Robotics
Digital libraries & Technology-enhanced learning
Intelligent content & Semantics
FET Proactive (complex systems for socially intelligent ICT, embodied intelligence, ICT forever yours)

For the programme, more information and an application form see http://www.senternovem.nl/eglinformatiemaatschappij/agenda/