Due to illness of ZIC-initiator and organiser Rob Nederpelt, we have decided to postpone the 250th and last ZIC, announced for Tuesday December 20.

The ZIC colloquium started in september 1986, and we are currently approaching the 250th talk in this series! In the light of several developments, and because it is always good to end on a high note, we have decided to let this 250th talk be the final one. To say goodbye to the ZIC and to celebrate its succesful history, this last talk will be a special event. There will be drinks afterwards!

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

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

CALL FOR REGISTRATION
Please note that also ILLC staffmembers and ILLC students who want to participate, need to register online.
For more information and a registration form, see http://www.illc.uva.nl/AC05/

On December 16th, ILLC and the Institute for Logic and Cognition (ILC) of the Sun Yat Sen University in Guangzhou (China) will officially sign a cooperation agreement for the next five years.

In honor of this this occasion a minisymposium on 'Logic and Cognition' is held. You are all cordially invited (*) to attend both the workshop and the ceremony. Both are held in vakbondsmuseum "de Burcht".

One of the speakers at the symposium will be Prof. Ju Shier, director of the Institute for Logic and Cognition. He is accompanied by Prof. Liang Qingyin, vice-president of Sun Yat Sen University. Bboth the dean of the Faculty of Science, Prof. Karel Gaemers, and the dean of the Faculty of Humanities, Prof. Aafke Hulk will attend the ceremony.

For more information, see here.

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

My object here is twofold. In the first part I will try to explain why it is important for rational choice theory to incorporate intentions in its framework. In doing so I shall not yet go into the question whether intentions can be defined in terms of strategies, preferences, or beliefs or in any other ingredient of the existing models; I simply introduce intentions as an extra variable and then introduce some conditions that one might impose on them. I argue that the conditions that I use reveal new information about the behaviour of rational individuals and that intentions thus do indeed add something to rational choice theory.

Whereas the first part is somewhat formal, the second part is of a more informal nature. Here I will address the question of how certain intentions are to be defined in terms of specific rational choice models. It is argued that a particular class of intentions, viz. intentions that have autonomous effects, cannot be modelled by standard rational choice theory in a satisfactory way.

For more information: oroy at science.uva.nl

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

Now that the DOP approach has entered its 15th year from its original conception, the time has come to critically look back and think afresh about the future. What went astray with DOP's statistical estimator and has it been solved? What are the problems related to DOP's productive units, and how can they be redressed? What else is still to be done in DOP? And how far can the model be stretched?

DOP has led to statistical extensions of Lexical-Functional Grammar, Head-driven Phrase-Structure Grammar and Tree-Adjoining Grammar. It has been applied to machine translation, speech understanding, music analysis, problem-solving and equational reasoning. Can it be extended to other fields of cognition? What are the counter-examples that DOP has to face? And what is its relation with frameworks like Case-Based Reasoning and Probabilistic Inductive Logic Programming?

This workshop aims to provide an informal discussion platform on DOP and is open to everyone. Each talk will discuss one or more open problems and will be followed by ample discussion. The workshop is also meant to give an overview of the projects and/or recently founded research groups on DOP at the University of Amsterdam, the University of St Andrews, at Dublin City University and the University of Essex.

For more information, see http://staff.science.uva.nl/~rens/whitherdop.html

The lecture and seminar by prof. dr. Steven Mithen (University of Reading) are centered around his latest book "The Singing Neanderthals: The Origins of Music, Language, Mind and Body" that addresses the question: What is the point of music, and where did our capacity for it come from? The book offers a thought-provoking answer, weaving together diverse strands of evidence in a smart rejoinder to those, like Steven Pinker, who have dismissed music's evolutionary significance. In doing so, it offers new perspectives on the origins and relationship between language and music, and their place in the development of the modern mind.

The lecture is open to the general public. Participation in the seminar will be on the basis of registration. A registration form can be found at http://www.hum.uva.nl/mmm/origins For more information, see the aforementioned site, or the CSCA website at http://www.csca.uva.nl/.

This seminar and lecture by prof. dr. Steven Mithen (University of Reading) are centered round his new book 'The Singing Neanderthals: The Origins of Music, Language, Mind & Body' that addresses the question: What is the point of music, and where did our capacity for it come from?

The seminar will bring together a variety of experts from fields ranging from cognition, evolutionary psychology and linguistics to philosophy, musicology, anthropology and archeology. A number of respondents will be invited to comment on (chapters of) the book.

The lecture is open to the general public. Participation in the seminar will be on the basis of registration. For more information, see here or http://www.hum.uva.nl/mmm/origins/. Addendum: video fragments are now online at the latter location.

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

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

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

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

We provide elementary and uniform proofs of order independence for various strategy elimination procedures for finite strategic games, both for dominance by pure and by mixed strategies. The proofs follow the same pattern and focus on the structural properties of the dominance relations. They rely on Newman's Lemma and related results on the abstract reduction systems.

The talk is an account of the following article: K.R. Apt, ``Uniform Proofs of Order Independence for Various Strategy Elimination Procedures'', Contributions to Theoretical Economics, 4(1), Article 5, 48 pages, http://xxx.lanl.gov/abs/cs.GT/0403024.

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

We investigate uniform interpolants in propositional modal logics from the proof-theoretical point of view. Our approach is adopted from Pitts' proof of uniform interpolation in intuitionistic propositional logic. The method is based on a simulation of certain quantifiers ranging over propositional variables and uses a terminating sequent calculus for which structural rules are admissible. We can present such a proof of the uniform interpolation theorem for normal modal logics K, T, GL, S4Grz and K4Grz. It provides an explicit algorithm constructing the interpolants.

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

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

The aim of the contribution is to provide two kinds of game theoretical semantics for fuzzy logics with special attention to Lukasiewicz logic. The first one of the proposed semantics is a generalization of the evaluation games for classical logic. It is shown that it provides an interesting contribution to the model theory of fuzzy logics as, unlike the standard semantics, it can deal with so called non-safe models. The second kind of semantics makes explicit the intuition about fuzzy logics as logics of partial truth and provides a semantics in the form of a non zero sum game (bargaining fuzzy game). Finally a basic kind of information independence logic is introduced and the differences from the classical IF logic are discussed.

For more information, contact oroy at science.uva.nl

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

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

Stochastic Tree Substitution Grammars (STSGs), such as used in Data-Oriented Parsing, have great linguistic advantages, essentially merging "construction grammar" with "probabilistic linguistics". However, from a computational linguistics perspective, they pose a number of computational challenges that have not yet been satisfactorily solved.

Two fundamental and related problems are "the problem of estimation" -- estimating the weights of an STSG from observed subtree frequencies in a tree bank -- and "the problem of expectation" -- calculating the expected subtree frequencies when generating trees using an STSG with known weights. A linguistic desideratum for estimation is that it converges to the maximally general STSG out of the possibly many correct ones. I will briefly discuss why none of the existing estimation methods fulfills this desideratum. I will then present my recent work on the problem of expectation and discuss how its solution directly suggests an alternative approach to the first problem.

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

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

On 21, 22, and 23 November 2005, the School for Information and Knowledge Systems (SIKS) organizes the annual three-day course "Research methods and methodology for IKS". The location will be Conference center Woudschoten in Zeist. The course will be given in English. Although the course is primarily intended for SIKS-Ph.D. students, other participants are not excluded.

The primary goal of this hands-on course is to enable Ph.D. students to make a good research design for their own research project. To this end, it provides an interactive training in various elements of research design, such as the conceptual design and the research planning. But the course also contains a general introduction to the philosophy of science (and particularly to the philosophy of mathematics, computer science and AI). And, it addresses such divergent topics as "the case-study method", "elementary research methodology for the empirical sciences" and "empirical methods for computer science".

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

This ESF Exploratory Workshop aims to explore various co-related features of knowledge dynamics in human and artificial agents, including evolution of concepts, cognitive development and learning, and short-term dynamics such as belief change and information update. Both individual and social dynamics of knowledge will be explored, and their interplay analyzed. Formal and computational models will be compared with socio-cognitive theories of knowledge change, and with empirical findings in psychology, anthropology, and social sciences.

For more information, see here or the workshop website at http://www.media.unisi.it/cirg/udk

Registration is open until half october: you can register online at http://conference.unisi.it/gest-congressi/web/online_ing.asp?id_cong=658

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

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

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

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

Raul has given a general introduction. This talk will go over the basic technical stuff (still for everybody)

For more information, see http://student.science.uva.nl/~ckissig/mol/cool_logic.xml.html

For more information, see here or contact Krzysztof Apt (apt at cwi.nl) or 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 Olivier Roy (oroy at science.uva.nl) or Hartmut Fitz (h.fitz at uva.nl).

Probabilistic data-oriented methods have become increasingly successful in mastering the structural ambiguity of natural language utterances. We are now investigating whether similar methods can be used to model visual Gestalt perception. This talk will sketch the most important issues involved in that research agenda.

For more information, see the HAI Tea website: http://www.science.uva.nl/onderwijs/studieprogramma/haitea/

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

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

Edgar and Raul will give an introduction to Category Theory for everybody. This talk is a preliminary for the MoL Category Theory course, and part of the Cool Logic series, for and by Master of Logic students.

For more information, see http://student.science.uva.nl/~ckissig/mol/cool_logic.xml.html

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

Traditionally, logic has dealt with the zero-agent notion of truth and the one-agent notion of reasoning. In the last decades, research focus in logic shifted from these topics to the vast field of "interactive logic", encompassing logics of communication and interaction. The main applications of this move to n-agent notions are logical approaches to games and social software. The wealth of applications in these areas will be the focus of the 7th Augustus de Morgan Workshop.

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

On November 2nd, prof. dr. Luc Steels will be holding a CSCA lecture on language origins. He is, among other things, founder and director (from 1983) of the VUB Artificial Intelligence Laboratory and is now working as professor in Computer Science at the Free University of Brussels.

For more information see the CSCA website at http://www.csca.uva.nl/.

(dutch only)
De Commissie Wetenschap en Kunst van de Koninklijke Nederlandse Akademie van Wetenschappen (KNAW) organiseert op woensdagmiddag 2 november 2005 een discussiebijeenkomst over de benadering van muziek, literatuur, po~zie en beeldende kunst vanuit de cognitiewetenschappen.

Harald Baayen (RU) en Jan de Roder (UM) zullen spreken over de rol van cognitie in po~zie en beeldende kunst. Henkjan Honing (UvA) en Emile Wennekes (UU) zullen de relatie tussen cognitie en muziek onder de loep nemen. Filosoof en psycholoog Jaap van Heerden zal de middag voorzitten.

Voor meer informatie, zie here

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

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

For abstracts and more information, see http://foundations.cs.ru.nl/fndswiki/Seminars

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

One-day lecture series on Constructive Interactive Mathematics, featuring Dana Scott, Freek Wiedijk, Wim Hesselink/Jaap Top and Jeremy Avigad.

For the lunch, please register before 21 October. For more information and a preliminary program, see http://www.cs.ru.nl/fnds/diamant/.

The Calcutta Logic Circle celebrates the centenary year of Russell²s seminal essay by organizing a workshop in its 2005 Autumn Meeting in Kolkata where various issues in the interface between logic and semantics will be discussed. Speakers are: W Hodges, P Pagliani, T Poston, A Mukherjee, A Kumar Sen, R Mukhopadhaya, A Chatterjee, B Löwe.

For more information, see here.

The lecture will be followed by comments/discussion by Michiel van Lambalgen and Wolfram Hinzen

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

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

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

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

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

A colloquium presenting current research in music from a variety of perspectives using different research methodologies.

For more information, see http://www.hum.uva.nl/mmm/cmw.html#2005 or here (dutch only).

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

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

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

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

The conference will be held under the auspices of Studia Logica, Fundamenta Informaticae and Polish Association for Logic and Philosophy of Science.

Conference goals: To gather the former students and collaborators of Andrzej Mostowski, Helena Rasiowa and Cecylia Rauszer, to recall their scientific and methodological heritage, to review the impact of their results on the foundations of mathematics and computer science and to discuss future developments of logic and its applications.

For more information: see http://www.studialogica.org/mrr.html or email apt at comp.nus.edu.sg.

This informal seminar on current research is open to everyone

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

The eleventh episode of the workshop series "Games in Logic, Language and Computation" is a one day workshop in which a strong line-up of international speakers (including Wilfrid Hodges, Michael Wooldridge and Bernard Walliser) will present aspects and applications related to logic, game theory, social science and computer science.

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

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

This is the second in a series of meetings on Multiagent Resource Allogation, The meeting is part of the 3rd AgentLink Technical Forum. Topics addressed by the meeting include negotiation and auctions, fair division, preference modelling, protocol design, complexity issues, and simulation. This edition will include an Invited Tutorial on Fairness and Uncertainty, and several contributed talks.

Everybody is welcome to attend, but please note that the registration deadline is September 7th, 2005. If interested, please get in touch with Ulle Endriss (ulle at illc.uva.nl).

For more information and a preliminary programme, visit the MARA website at http://www.illc.uva.nl/~ulle/MARA/.

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

For more information, see http://ftp2005.uni-koblenz.de/.

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

This event is co-located with the FTP'2005 conference.

For more information, see http://tableaux2005.uni-koblenz.de/

The sixth Tbilisi Symposium on Language, Logic and Computation will be held in the Black Sea coastal resort Batumi from September 12 to September 16, 2005. The Symposium is organized by the Centre for Language, Logic and Speech of the Tbilisi State University in conjunction with the Institute for Logic, Language and Computation (ILLC) of the University of Amsterdam. Everybody who has been at previous occasions can confirm that these symposia constitute an unforgettable experience.

For more information , see the symposium website at http://www.illc.uva.nl/Batumi2005/

The first international summer school on constraint programming is organised for PhD students, researchers, and practitioners interested in an extensive introduction to CP concepts such as problem modelling, constraint propagation, global constraints, and search.

Leading experts in the field will give invited tutorial lectures on different aspects of constraint programming along with practical exercises. Lecturers will evaluate the work of the students. This will provide the participants with a useful feedback, and will allow Ph.D. students to use the school to cover some of their coursework.

Registration deadline is July 31 (June 30 for early registration). For more information including a program, see http://slash.math.unipd.it/cp-school-2005/

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

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

We are happy to announce that also this year the ILLC welcomes the (35!!!) new Master students with a boattrip, followed by a small reception, at Wednesday September 7. The boat leaves at 17.00 hrs from the back of the Euclides building (Plantage Muidergracht 24), exact location to be announced. Starting 18.30 hrs you are invited to have a drink in the canteen of Euclides.

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

A workshop 'Interfacing Probabilistic and Epistemic Update' will be held on September 7th at the ILLC. Its aim is to investigate shared topics between the communities in dynamic epistemic logic and in Bayesian update. The speakers are open-minded spokespersons for both traditions.

For more information, see here or the workshop site at http://www.illc.uva.nl/lgc/IPEU.html

AMLaP is an annual international conference which has established itself as the premier European venue for interdisciplinary research into how people process language. The conference aims to bring together psychological, computational, and theoretical perspectives on the cognitive architectures and mechanisms which underly any aspect of human language processing, from lexical processing, parsing and interpretation, through to discourse level mechanisms. Contributions to AMLaP which explicity relate empirical and experimental findings and computational mechanisms are especially encouraged. Topics relevant to the conference include (but are not limited to): computational models, cross-linguistic studies, language production, statistical mechanisms, corpus-based studies, discourse, lexical processing, parsing and interpretation, learning mechanisms, connectionist models, computer simulations and models of acquisition.

For more information see http://www.amlap2005.ugent.be/

On September 2nd and 3d, the ILLC will host an intensive workshop on language evolution. 21 invited speakers, from mainly Great Britain and the Netherlands, will present both biological and linguistic, and both empirical and formal approaches. The workshop is organised in 4 sessions:
(1) The evolution of speech,
(2) Interactions between learning and evolution,
(3) Social learning and conventional meaning, and
(4) The evolution of syntax.

Students and staff are very welcome to attend and partipate in the discussions. Participation is free, but registration on the workshop webpage is required.

For more information, an online registration form and a preliminary program, see http://staff.science.uva.nl/~jzuidema/LEFE05/

Computer Science Logic (CSL) is the annual conference of the European Association for Computer Science Logic (EACSL). The conference is intended for computer scientists whose research activities involve logic, as well as for logicians working on issues significant for computer science.

For more information, see http://web.comlab.ox.ac.uk/oucl/conferences/CSL05/.

The workshop "Belief revision and dynamic logic" is organized as part of ESSLLI 2005 and will take place 8-19 August, 2005, in Edinburgh. The workshop organizers are Andreas Herzig, IRIT-CNRS, Toulouse, and Hans van Ditmarsch, University of Otago, New Zealand. The submission deadline is: March 9, 2005. The accepted papers will appear in the workshop proceedings published by ESSLLI. A selection of papers might be published in a special issue of the Journal of Applied Non-Classical Logics.

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

The main focus of ESSLLI is on the interface between linguistics, logic and computation. Foundational, introductory and advanced courses together with workshops cover a wide variety of topics within the three areas of interest: Language and Computation, Language and Logic, and Logic and Computation.

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

For more information, see the ESSLLI website at http://www.esslli.org/.

FG-MOL 2005 is the 10th conference on Formal Grammar and the 9th Meeting on the Mathematics of Language, to be held in conjunction with the European Summer School in Logic, Language and Information. FG-MOL provides a forum for the presentation of new and original research on formal grammar, mathematical linguistics and the application of formal and mathematical methods to the study of natural language.

Deadline for early registration: 31 May 2005 (but note that deadline for housing requests is 31 January)

For more information, see http://www.formalgrammar.tk/

The 22nd International Conference on Machine Learning (ICML 2005) will be held in Bonn (Germany), 7-11 August 2005. The conference will bring together researchers to exchange ideas and report recent progress in the field of machine learning. ICML 2005 will be co-located with ILP 2005 (August 11-13) and will take place directly after IJCAI 2005, which will take place in Edinburgh (Scotland, July 30 - August 5).

For more information on the conference, see http://icml2005.ais.fraunhofer.de/.

We take great pleasure in announcing that the Janos Bolyai Mathematical Society is going to organize a conference on mathematical logic in Budapest, Hungary, during the period August 5 - 11, 2005. With this conference we would like to celebrate the unique event that two great Hungarian logicians, L. Kalmar and R. Peter, both have their centenary of birth in 2005.

For more information, see here or http://www.renyi.hu/lh05

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

For more information, see http://www.math.uoa.gr/~lc2005/.

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

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

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

One of the big debates in contemporary cognitive science concerns the issue of the relative contributions of `mature' and `nurture' in cognitive development. In many books and articles, Mike Tomasello has advocated the role of `nurture', in particular in the area of language acquistion. The symposium hosts proponents and opponents of Tomasello's views, and will highlight the controversial issues.

The aim of the symposium, held on July 8th, 2005, is a critical but constructive evaluation of professor Tomasello's work, highlighting convergences and differences with other traditions in developmental studies (such as generative linguistics).

For more information, an online registration form and a preliminary program, see http://www.csca.uva.nl/csca/object.cfm/

For abstracts and more information, see the CSCA site at http://www.csca.uva.nl/.

The biannual ECSQARU conferences are a major forum for advances in the theory and practice of reasoning under uncertainty. Contributors are expected to come both from researchers interested in advancing the technology and from practitioners who are using uncertainty techniques in applications. The scope of ECSQARU includes, but is not limited to, fundamental issues, representation, inference, learning, and decision making in qualitative and numeric paradigms.

Deadline for early registration: 20 May 2005

For more information, an online registration form and a preliminary program, see http://www.ecsqaru.org/ECSQARU2005/

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

Workshop held in conjunction with CONTEXT 05, the Fifth International Interdisciplinary Conference on Modeling and Using Context.

The aim of the workshop is to examine the relationships among the different criteria used in distinguishing pragmatic phenomena from semantic ones, to elicit proposals for new criteria, and to discuss the relevance and the applications of the semantics/pragmatics distinction.

Paper submission deadline is 25 March 2005. For more information, see http://spworkshop.online.fr/

Most of the results in knowledge representation and automated reasoning are based on the assumption that knowledge is stored in an unique homogeneous block. In the last decade, with the advent of the web and the ubiquitous connectivity, it becomes more and more relevant in many application areas to have the capability to represent and reason on knowledge bases which are not organized as a monolithic entity, but in which knowledge is scattered in a large set of local and autonomous inter-related contexts. In more recent years, a number of approaches to context representation and reasoning have been proposed in the different application areas, possibly under different names. This workshop has the main objective to allow the exchange of these experiences among expert in the different application areas.

This workshop is held in conjunction with the 5th International and Interdisciplinary Conference on Modeling and Using Context. For more information, see here, http://sra.itc.it/events/crr05/ or http://www.context-05.org/.

Workshop of the Spanish project "C@lculus" (project leader: Maria Manzano (Un. de Salamanca), ILLC associate: Dick de Jongh).

For a full project description, a program and abstracts, see http://www.illc.uva.nl/NewsandEvents/c@lculus.html.

Both Paris and Amsterdam host a lively group of young researchers in logic, language and theories of rationality. It's time to bring them together!

The PALMYR will be a one day workshop. Young researchers from Paris will give presentations about their current interests; each presentation being commented by a fellow researcher from Amsterdam. There will be a mirror event in Paris next fall, where Amsterdam young researchers will give presentations and Paris colleagues will comment.

For more information, see http://www.illc.uva.nl/PALMYR/, or contact the organizers at oroy at science.uva.nl or isidora at stanford.edu.

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

This event, organized by The Institute of Philosophy of the Academy of Sciences of the Czech Republic, is the nineteenth in a series of annual international symposia devoted to logic. The invited speakers are: M. Detlefsen, Y. Gurevich, G. Priest, and H. Rott.

For more information, see http://www.flu.cas.cz/Logica/Aconf/log2005.html

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

This meeting shares the goals of the Tbilisi conference with the same title, held in July 2003, as well as those of the Patras conference on many-valued logics and residuated structures, held in June 2004.

In recent years the interest in non-classical logics has been growing. Motivations from computer science, natural language reasoning and linguistics have played a significant role in this development. The semantic study of non-classical logics is a field where no single overarching paradigm has been established, and where a variety of techniques are currently being explored. An important goal of this meeting is to promote the cross-fertilization between the fundamental ideas connected with these approaches. Thus, we aim to bring together researchers from various fields of non-classical logics and applications, as well as from lattice theory, universal algebra, category theory and general topology, in order to foster collaboration and further research.

For more information, an online registration form and a preliminary program, see http://www.mat.ub.es/~logica/meeting2005/.

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

Joint event with the ISLA colloquium.

For abstracts and more information, see http://lit.science.uva.nl/Seminar/seminar05-1.html#Jun10 .

The mission of the bi-annual TARK conferences is to bring together researchers from a wide variety of fields - including Artificial Intelligence, Cryptography, Distributed Computing, Economics and Game Theory, Linguistics, Logic, Philosophy, and Psychology, in order to further our understanding of interdisciplinary issues involving reasoning about rationality and knowledge. 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.

TARK X will occur as part of an 8-week program "Uncertainty and Information in Economics", organized by the IMS institute of Singapore. For more information on the programme, see http://www.ims.nus.edu.sg/Programs/uie/. For more information on TARK-X, see the TARK conference site at http://www.comp.nus.edu.sg/~tark05/.

The conference CiE2005 will cover many aspects of "Computability in Europe" (CiE), with a particular focus on New Computational Paradigms. These include prominently higher mathematical models of computation (e.g., infinitary computation or real computation), and connections between computation and physical systems (e.g., quantum computation, neural nets, molecular computation).

There will be tutorials on Quantum Computing (H. Buhrman) and Computable Analysis (K. Weihrauch). Invited Speakers include: Samson Abramsky (Oxford), Joel D. Hamkins (New York NY), Ulrich Kohlenbach (Darmstadt), Jan van Leeuwen (Utrecht), Yuri Matiyasevich (St.Petersburg), Yiannis Moschovakis (Athens / Los Angeles CA), Uwe Schöning (Ulm), Viggo Stoltenberg-Hansen (Uppsala)

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

For abstracts and more information, see http://www.win.tue.nl/zic/ or contact Francien Dechesne (f.dechesne at tue.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 Logic Tea homepage can be found at http://www.illc.uva.nl/logic_tea/. For more information, please contact Olivier Roy (oroy at science.uva.nl) or Hartmut Fitz (h.fitz at uva.nl).

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

For abstracts and more information, see http://lit.science.uva.nl/Seminar/seminar05-1.html#May27 .

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

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

For the upcoming issue of the ILLC magazine we will feature a group picture of all the Master's and PhD students, under the title "Next Generation of the ILLC". All PhD and MoL students are kindly requested to take part in this picture.

Note that there is no logic tea that week. The session should take about 15 minutes. Please do your best to attend since there will not be any other alternative dates.

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

For abstracts and more information, see http://lit.science.uva.nl/Seminar/seminar05-1.html#May13 .

De derde aflevering van Leve de Wiskunde!, georganiseerd door KdVI en ILLC, zal plaats hebben op vrijdag 13 mei. Tijdens de lunchpauze zal er, zoals vorige jaren, een informatiemarkt zijn in de open ruimte en op de gangen van de 2e verdieping van gebouw Euclides. We verwachten hier ook een aantal organisaties van buiten onze instituten. Maar uiteraard zal er plaats (maar niet onbeperkt) zijn voor onderzoeksgroepen en individuen van KdVI en ILLC om zich op deze markt te presenteren.

Voor meer informatie en een programma, zie http://www.science.uva.nl/congres/

The aim of IeCCS 2005 is to bring together leading scientists of the international Computer Science community and to attract original research papers of very high quality. You can attend the Conference from your office PC or from any internet-enabled computer you may choose. Topics to be covered include (but are not limited to):
Symbolic and Algebraic Manipulation, Analysis of Algorithms, Problem Complexity, Mathematical Logic, Formal Languages, Data Structures, Data Bases, Information Systems, Artificial Intelligence, Expert Systems, Simulation and Modeling.

Invited speakers include Prof.dr. H.A. (Erik) Proper (the Netherlands) and Prof. Reda A. Ammar (USA).

Deadline for paper submission is April 10, 2005. For more information, see: http://www.ieccs.net/.

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

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

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

LACL-2005 is the 5th edition of a series of international conferences on logical and formal methods in computational linguistics. It addresses in particular the use of proof theoretic and model theoretic methods for describing natural language syntax and semantics, as well as the implementation of natural language processing software relying on such models.

For more information, an online registration form and a preliminary program, see http://lacl.labri.fr/

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

For abstracts and more information, see http://www.win.tue.nl/zic/ or contact Georgi Jojgov (G.I.Jojgov at tue.nl).

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

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

For abstracts and more information, see http://lit.science.uva.nl/Seminar/seminar05-1.html#Apr22 .

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

This talk is about the first chapter of a book which the author is currently finishing. The chapter introduces the problem of music signification and aims at analyzing the main themes of a new theory of music mediation. First, he introduces the distinction between direct involvement with music and description of this involvement. In both cases, it seems that subjective engagement with music is important. In a second section, the question is asked to what extent a subjectivist approach can contribute to a theory of music mediation. The position of subjectivism, however, is difficult to maintain because of its weak philosophical foundations in skepticism. Therefore, an alternative account, based on human action, is proposed. Finally, this alternative is considered in view of three foundations, namely linguistic descriptions, corporeal descriptions and the call for technology-mediated access to music.

Marc Leman is hoogleraar aan de afdeling Musicologie van de Vakgroep Kunst-, Muziek-, en Theaterwetenschappen van de Universiteit Gent (UGent). Hij is vakgroepvoorzitter en directeur van het onderzoeksinstituut IPEM. Hij heeft het statuut van onderzoeks-professor in de Systematische Musicologie, en zijn onderzoeksactiviteiten omvatten de methodologische en epistemologische grondslagen van de systematische muziekwetenshap.

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

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

Paul du Bois-Reymond was a noted mathematician and philosopher of the second half of the 19th Century, publishing on differential equations, analysis and the foundations of mathematics. His magnum opus, "General Function Theory", appeared in 1882 and contained what its author claimed to be a demonstration that mathematics is absolutely incomplete, that is, that there are mathematically meaningful and significant propositions A such that neither A nor not-A will ever be demonstrated by mathematicians. His arguments for this claim are not based on the idea of a formal system but on a detailed analysis of mathematical cognition. We will describe that analysis and assess for their cogency du Bois-Reymond's incompleteness arguments.

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

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

The Logic Tea homepage can be found at http://www.illc.uva.nl/logic_tea/. For more information, please contact Merlijn Sevenster (sevenstr at science.uva.nl) or Hartmut Fitz (hfitz at hum.uva.nl).

Science infers general statements and predictions from limited bodies of empirical evidence, and it therefore faces the problem of induction. Statistics plays an important role in how science solves this problem. In my talk I first make precise what role it plays, and then investigate the extent to which, in this role, it can support the realist ambitions of science.

The first task involves a critical analysis of the logical empiricist views of Carnap, and a reformulation of inductive inferences as Bayesian logical arguments. The second involves a reversed application of De Finetti's representation theorem, and a rather delicate mix of his strict subjectivism with the frequentist theory. However, these reform measures do not yet go far enough. In the last part of the talk will argue that scientists have good reasons for employing underdetermined statistical models.

For more information, please contact j.w.romeijn at uva.nl

Paul du Bois-Reymond was a noted mathematician and philosopher of the second half of the 19th Century, publishing on differential equations, analysis and the foundations of mathematics. His magnum opus, "General Function Theory", appeared in 1882 and contained what its author claimed to be a demonstration that mathematics is absolutely incomplete, that is, that there are mathematically meaningful and significant propositions A such that neither A nor not-A will ever be demonstrated by mathematicians. His arguments for this claim are not based on the idea of a formal system but on a detailed analysis of mathematical cognition. We will describe that analysis and assess for their cogency du Bois-Reymond's incompleteness arguments.

The Logic Tea homepage can be found at http://www.illc.uva.nl/logic_tea/. For more information, please contact Merlijn Sevenster (sevenstr at science.uva.nl) or Hartmut Fitz (hfitz at hum.uva.nl).

The European Joint Conferences on Theory and Practice of Software (ETAPS) is the primary European forum for academic and industrial researchers working on topics related to Software Science. It is a confederation of five main conferences:

• FOSSACS 2005: Foundations of Software Science and Computation Structures
• FASE 2005: Fundamental Approaches to Software Engineering
• ESOP 2005: European Symposium on Programming
• CC 2005: International Conference on Compiler Construction
• TACAS 2005: Tools and Algorithms for the Construction and Analysis of Systems

a number of satellite workshops, and other events.

For more information, see the ETAPS website at http://www.etaps05.inf.ed.ac.uk/

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

Many conferences have been organized on specific techniques (combination of logics, labelled deductive systems, tableaux, etc.) or on some specific classes of logics (nonmonotonic logics, many-valued logics, paraconsistent logics, etc.). The idea of this event is to put together these various activities in order to promote interaction and to provide access of these different fields to the non-specialist. The school is intended for advanced students and young researchers.

Invited speakers of the congress will include A.Avron, D.Batens, J.Corcoran, M.Dunn, D.Gabbay, R.Jansana, A.Koslow, V.de Paiva, K.Segerberg.

Contributed papers for the congress can be submitted before October 30, 2004. For more information, see here or the website at http://www.uni-log.org.

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 Merlijn Sevenster (sevenstr at science.uva.nl) or Hartmut Fitz (hfitz at hum.uva.nl).

The tenth edition of the workshop on Games in Logic, Language and Computation (GLLCX) will be held on Monday, March 21, and will be hosted by the Department of Philosophy of Tilburg University. In connection with the PhD-defense of Francien Dechesne, this workshop will have a special focus on logic with imperfect information.

Speakers include Gabriel Sandu (Helsinki), Xavier Caicedo (Bogota), Theo Janssen (Amsterdam), Barteld Kooi (Groningen), Elias Thijsse (UvT) and Johan van Benthem (Amsterdam).

For more information including a program and abstracts, see http://www.uvt.nl/faculteiten/fww/GLLCX/

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

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

For abstracts and more information, see http://lit.science.uva.nl/Seminar/seminar05-1.html#Mar18 .

For more information, see http://www.mpi.nl/world/colloquia/.

(dutch only)
Hoe universeel is taal? Die vraag kunnen we figuurlijk bekijken: wat hebben alle talen gemeen? Wat is de overeenkomst tussen mensentaal en robottaal? Of we bekijken hem letterlijk: hoe praat je met buitenaardse wezens? Als we bij dit soort vragen iets doorgraven en net onder het oppervlak kijken, zien we al gauw dat er logica in verborgen ligt. Logica steekt bij veel vakgebieden de kop op.

Het symposium "Waarheid in Taal" van 15 maart 2005 zal vanuit vakgebieden zo divers als filosofie, informatica en logica licht op deze vraagstukken laten vallen. Onderzoekers, alumni en studenten worden van harte uitgenodigd om sprekers uit het hele land hun verrassende kijk op de zaak uit de doeken te zien doen.

Plaats van het gebeuren is het Trippenhuis van de Koninklijke Nederlandse Academie van Wetenschappen (KNAW) in Amsterdam. Het programma omvat 5 sprekers, een lunchbuffet en een borrel. De organisatie is in handen van de Natuurwetenschappelijke Studievereniging Amsterdam, in samenwerking met de Vereniging voor Logica. De entreeprijs bedraagt E 5,-. Inschrijven is verplicht. Er kunnen 150 mensen deelnemen.

Zie voor meer informatie http://www.science.uva.nl/~waarheid/

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

(Dutch only)
Informatie stroomt zodra we taal gebruiken, of andere handelingen verrichten waaruit voor anderen 'iets valt af te lezen'. Het doseren van die stroom is de sleutel tot effectief sociaal handelen - waar alles draait om verschillen in kennis, geheimhouding, en discretie. Dit soort verschijnselen zijn goed te modelleren met moderne logische technieken, met een scheutje inspiratie uit de informatica. Want communicatie lijkt erg op programmeren van taalhandelingen. Een indruk van hoe dit werkt en waar nu de grens ligt.

For abstracts and more information, see http://www.nwo.nl/nwohome.nsf/pages/NWOP_68HEUU .

If we are to believe Hollywood, the reality we live in can be replaced by a computer model. Films and series such as "The Lawnmower Man", "The Matrix" and "Star Trek" (the Holodeck) have as their underlying premise that reality and consciousness are composed solely of information, and that that information can easily be manipulated using computers. Those following the rapid development of computer games have to conclude that the perfecting of interfaces is eroding the difference between game and reality. Happily (or regretfully) science itself has not quite reached this stage, but exciting things are happening nevertheless.

At the symposium Philosophy of Information John McCarthy, Keith Devlin, Pieter Adriaans and Tine Wilde will discuss the current state of affairs. Science is achieving new insights by viewing part of reality as a computational process. Taking this approach to its extremes, this begs the philisophical question: is it only a metaphore, a useful model, or something more? Is information going to turn out to be the science-of-everything?

For more information, an online registration form and a program, see http://www.klpoll.nl/pages/project.phtml?project=66

For abstracts and more information, see http://lit.science.uva.nl/Seminar/seminar05-1.html#Mar11 .

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 Merlijn Sevenster (sevenstr at science.uva.nl) or Hartmut Fitz (hfitz at hum.uva.nl).

For abstracts and more information, see http://www.win.tue.nl/zic/ or contact Georgi Jojgov (G.I.Jojgov at tue.nl).

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

For abstracts and more information, see http://lit.science.uva.nl/Seminar/seminar05-1.html#Feb25 .

On the occasion of the PhD defense of Balder ten Cate (on the 24th at noon in the Aula of the University of Amsterdam), a workshop will take place on February 25, 2005, on modal logic, model theory and (co)algebras. The speakers will include Johan van Benthem, Mai Gehrke, Valentin Goranko, Ian Hodkinson, Maarten Marx, Jouko Vaananen and Yde Venema.

For more information, see http://staff.science.uva.nl/~bcate/ml-workshop/

For more information, see http://www.mpi.nl/world/colloquia/.

For abstracts and more information, see http://lit.science.uva.nl/Seminar/seminar05-1.html#Feb11 .

Friday, February 18, 2005 (in the afternoon), four speakers of both ILLC and ACLC will present a paper on the subject of Modality.

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

The Logic Tea homepage can be found at http://www.illc.uva.nl/logic_tea/. For more information, please contact Merlijn Sevenster (sevenstr at science.uva.nl) or Hartmut Fitz (hfitz at hum.uva.nl).

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

For abstracts and more information, see http://www.win.tue.nl/zic/ or contact Georgi Jojgov (G.I.Jojgov at tue.nl).

This talk is devoted to a problem posed by iterative expressions, common in colloquial speech, of the sort in 'I'm very very tired.' In a nutshell, the problem is that expressions of this sort mean very similarly in all languages (typically emphasis, but also a few, arguably related, notions involving extension of some characteristic space); as cognitive grammarians have pointed out, this is an a priori puzzle for any theory that assumes the essential arbitrariness of the syntax/semantics interface. My solution to this puzzle implies treating the relevant expressions in Markovian fashion.

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

This mini-colloquium centers around the work of prof. Gün Semin (Academy professor, KNAW & Department of Social Psychology, VU). Prof. Semin is Academy Professor at the KNAW and in the Department of Social Psychology at the VU.

Program:
14.00: Gün Semin, "Language as a tool to implement cognition"
15.00: Robert van Rooij, Commentary
15.20: Maarten de Rijke, Commentary
15.40: Rens Bod, Commentary
16.00: General discussion

For more information, see http://semin.socialpsychology.org/ or contact rens at science.uva.nl

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

For abstracts and more information, see http://lit.science.uva.nl/Seminar/seminar05-1.html#Jan28 .

Boden is one of the most influential researchers and authors in cognitive science. Within this extensive area she has, as a psychologist and a philosopher, particularly been engaged in intelligence, creativity and development. In her research, natural intelligence or creativity is often compared with computer models of the mind or of intelligence.

Although biological evolution did not bring us computers, Boden will focus on the question if a computer model of the mind can take into consideration evolutionary development of the human mind.

Response will be by Cyriel Pennartz

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

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

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

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

The aim of this event is to bring together researchers interested in any aspects of the computation of meaning in natural language, in multimedia objects, and in multimodal messages.

For more information, see http://let.uvt.nl/research/TI/sigsem/iwcs/iwcs6/

For abstracts and more information, see http://www.win.tue.nl/zic/ or contact Georgi Jojgov (G.I.Jojgov at tue.nl).

CLIN 2005, the 16th meeting of computational linguistics in The Netherlands will take place on Friday December 16, 2005, in Amsterdam, prior to the Amsterdam Colloquium. The CLIN 2005 program will consist of contributed papers, poster presentations, as well as two invited talks, by Edward Hovy (ISI, USC) and Hermann Ney (RWTH).

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

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 description logic, guarded fragments, conditional logic, temporal and hybrid logic, etc.

For more information and registration information, see the M4M homepage at http://m4m.loria.fr/

Both logic and computation bring standards to bear on grammar formalism which raise challenges for its psychological interpretation. In recent years approaches have consolidated their methodology in ways which are sometimes similar, sometimes distinct. On the one hand, opposing views often sustain an essentially common methodology: amongst these are the disputes over the relationship between syntax and semantics within a grammar, the number of levels to be articulated in a grammar, and the nature of the mappings between them. On the other hand, in recent years, there has been growing interest across a number of theoretical frameworks in defining grammar formalisms for natural language which make available stronger forms of psychological interpretation of the formalism than is standard, giving rise to new ways of articulating the relationship between grammar formalism and natural-language data. This workshop aims to provide a forum for explicit discussion of these and other foundational issues in articulating grammar formalisms for natural language.

Authors are invited to submit an abstract of not more than two pages for a contribution to the workshop. Deadline is March 9th 2005.

For more information, see http://semantics.phil.kcl.ac.uk/ldsnl/

We are pleased to announce the Student Session (StuS) of the 17th European Summer School in Logic, Language and Information (ESSLLI'05, 8-19 August, Edinburgh, http://www.macs.hw.ac.uk/esslli05/). This is going to be the 10th Student Session (StuS) in the history of ESSLLIs. The aim of the StuS is to give an opportunity to students at all levels (undergraduate, graduate, postgraduate) to present their work to an expert, yet friendly audience, and get feedback from them. Each year, 18 papers are selected for oral presentation and a number of others for poster presentation.

This year, unlike in the past, papers can be submitted for oral OR poster presentation separately. Student authors are invited to submit a full paper, not to exceed 7 pages of length exclusive of references, by February 15th, 2005. For more information and the technical details of the submission, see: http://www.sissa.it/~gervain/StuS.html or write to: gervain at sissa.it

The third edition of the LCMAS workshop series aims at bringing together researchers interested in topics related to the use of formal tools when applied to modelling, specifying, verifying, and reasoning about multi-agent systems in which communication and updating play a crucial role. Specifically, the workshop aims at providing a forum for discussing technical issues arising in the use of formalisms epistemic, temporal, dynamic and authentication logics, and related techniques) inspired by the needs of modelling information exchanges in multi-agent systems. The workshop will be held as a satellite workshop of IJCAI05, the 19-th edition of the biannual international joint conference on Artificial Intelligence. Previous editions of the workshop were held in Eindhoven in 2003 (as satellite workshop of ICALP), and in Nancy in 2004 (as satellite workshop of ESSLLI). Papers from the workshops were published in both occasions in the ENTCS series.

For more information, see http://www.win.tue.nl/~evink/lcmas05.html

In recent years the interest in non-classical logics has been growing. Motivations from computer science, natural language reasoning and linguistics have played a significant role in this development. The semantic study of non-classical logics is a field where no single overarching paradigm has been established, and where a variety of techniques are currently being explored. An important goal of this meeting is to promote the cross-fertilization between the fundamental ideas connected with these approaches. Thus, we aim to bring together researchers from various fields of non-classical logics and applications, as well as from lattice theory, universal algebra, category theory and general topology, in order to foster collaboration and further research.

For more information see http://www.mat.ub.es/~logica/meeting2005/

Much of the work in formal logical modelling of agents assumes idealised rational agents with unrestricted memory and unbounded time available for reasoning. This is unrealistic, since the agents are ascribed capabilities which they do not possess (e.g. ability to derive any theorem of classical propositional logic). Recently, there has been growing interest in formal models of resource-bounded agents. While this work has been presented at agents and logics conferences and workshops (IJCAI, AAMAS, EUMAS) and published in journals, such as the Journal of Autonomous Agents and Multi-Agent Systems, this emerging community has lacked a forum for discussion. The aim of this workshop is to bring together researchers working on models of resource-bounded agents to assess the state of the art and identify open problems.

Deadline for paper submission is the 14th of March 2005. Topics of interest include general frameworks for modelling resource bounded agents, models of resource bounded agent architectures and models of resource bounded agent capabilities.

This workshop will be co-located with AAMAS 2005. For more information, see the workshop web page at http://www.agents.cs.nott.ac.uk/events/fmrba05/

On Monday December 19, 2005, there is a one-day symposium "Processes, terms, and cycles: steps on the road to infinity" in honour of Jan Willem Klop. The symposium celebrates Jan Willem's 60th birthday, and the 25th anniversary of his connection with the CWI.

The following renowned national and international friends of Jan Willem will lecture on his symposium: Zena Ariola, Arvind, Henk Barendregt, Jan Bergstra, Nachum Dershowitz, Marianiola Dezani, Roger Hindley, Jean-Jacques Levy, Ronan Sleep.

The complete program and the registration form can be found via: http://www.cwi.nl/events/2005/jwklop/. Please register before December 1, 2005.

"Recherches Québecoises en Logique" is intended at fostering Québec's logic researches. For the first edition, priority is given to young researchers (phds or postdocs). There will be six talk and one tutorial.

The event is hosted by Université du Québec à Montréal's Canada Research Chair in Philosophy of Logic and Mathematics, held by Mathieu Marion.

For more information, see http://www.illc.uva.nl/Montreal/ or contact: Olivier Roy (oroy at science.uva.nl), Patrick Girard (pgirard at stanford.edu) or Mathieu Marion (marion.mathieu at uqam.ca)

In the last 15 years we have seen a significant increase of interest in agent-oriented technology. This field is now set to become one of the key technologies in the 21st century and will underpin much of the next generation of computing that seeks to address issues in Ambient Intelligence, Pervasive and Ubiquitous Computing, Complex Systems, Grid Computing, Services Oriented Computing, Semantic Web and many other areas.

It is therefore crucial that both academics and industrialists within Europe have access to a forum at which current research and application issues are presented and discussed.

For more information, see http://como.vub.ac.be/eumas2005/

The Automated Reasoning Group in the Research School of Information Sciences and Engineering at The Australian National University will host the Logic Summer School from the 5th to the 16th of December 2005, at the Physics G6 lecture theatre at the ANU.

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

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

EmCAP (Emergent Cognition through Active Perception) KickOff meeting will be held November 30 - December 2, 2005 in Barcelona.

For more information, see http://www.iua.upf.edu/mtg/emcap/

The Vereniging voor Logica (VvL) organizes a symposium "Proofs and Problems" on Friday November 25, 2005, in the Jaarbeurs in Utrecht, Beatrixgebouw, room 412. Participation is free, registration not necessary. You are very welcome to attend.

For more information, a programme and abstracts see http://www.ai.rug.nl/orgs/vvl/toekomst.html

"Integrating Models of Knowledge Change, Development and Evolution in Cognitive Science, Epistemology, Artificial Intelligence, Philosophy, Logic and Developmental Psychology"

For more information, see http://linus.media.unisi.it/cirg/udk/

The 17th Belgian-Dutch Conference on Artificial Intelligence (BNAIC'05) will be held at the Royal Flemish Academy of Belgium for Science and the Arts in Brussels and is organized by the Computational Modeling Lab of the Vrije Universiteit Brussel and the Theoretical Computer Science Group of the Universiteit Hasselt, under the auspices of the Belgian-Dutch Association for Artificial Intelligence.

The conference aims at presenting an overview of state-of-the art research in artificial intelligence in Belgium and The Netherlands. Topics of interest include logic in AI, games, natural language learning and AI in law, music & art, amongst others.

For more information, see http://como.vub.ac.be/bnaic2005/

IAT 2005 provides a leading international forum to bring together researchers and practitioners from diverse fields, to examine the design principles and performance characteristics of various approaches in intelligent agent technology, and increase the cross-fertilization of ideas on the development of autonomous agents and multi-agent systems among different domains.

The 2005 IEEE/WIC/ACM International Conference on Intelligent Agent Technology (IAT'05) will be jointly held with The 2005 IEEE/WIC/ACM International Conference on Web Intelligence (WI'05). Web Intelligence (WI) has been recognized as a new direction for scientific research and development to explore the fundamental roles as well as practical impacts of Artificial Intelligence (AI) and advanced Information Technology (IT) on the next generation of Web-empowered products, systems, services, and activities. It is one of the most important as well as promising IT research fields in the era of Web and agent intelligence.

For more information, including online registration forms, see http://www.comp.hkbu.edu.hk/WI05/ or http://www.comp.hkbu.edu.hk/IAT05/.

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 apt at cwi.nl

For a PDF and abstract of the dissertation, see http://www.illc.uva.nl/Publications/reportlist.php?Series=DS&Year=2005

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

Thesis Committee: Rob van der Waall, Stefan Bold, Joel Hamkins, Benedikt Loewe, Maricarmen Martinez

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

For more information, please contact balder.tencate at uva.nl

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

Jelle Zuidema, who works as a researcher at the ILLC since August, has successfully defended his PhD thesis at the University of Edinburgh. The thesis concerns "The Major Transitions in the Evolution of Language", and will be available soon at http://staff.science.uva.nl/~jzuidema/ .

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

In the framework of "Programmatisch onderzoek", NWO Geesteswetenschappen, our ILLC colleague Wolfram Hinzen is awarded subsidy for his project "Origins of truth and the sentence". The subsidy is for the appointment of a PhD student and postdoc.

The ILLC is extremely happy and proud to announce that the VICI research proposal of Yde Venema has been selected by NWO Exacte Wetenschappen. He is awarded the sum of 1.43 Million EURO for his project "Algebra and Coalgebra: the mathematical environment of modal logic", consisting of 3 PhD students (4 years) and 2 postdocs (2 years). The expecting starting date of the project is September 2006.

The Praemium Erasmianum Foundation yearly awards a maximum of five prizes with a value of EURO 3000 in recognition of a extraordinary dissertation from young scholarly researchers in the humanities. We are very proud that Boudewijn de Bruin is one of the researchers who wins this prize in 2005 for his ILLC thesis "Explaining Games. On the Logic of Game Theoretic Explanations".

For further information on the Praemium Erasmianum Foundation, see http://www.erasmusprijs.org/ and on Boudewijn, who now resides in Groningen: http://www.philos.rug.nl/~debruin/

The E.W. Beth Dissertation Prize 2005 has been awarded to Ash Asudeh from the University of Canterbury for the thesis 'Resumption as Resource Management'. (PhD awarded in the year 2004 at the Stanford University). An award ceremony will take place during ESSLLI 05 in Edinburgh.

An abstract and a downloadable version of the dissertation can be found on the homepage of Ash Asudehwith at: http://www.ling.canterbury.ac.nz/personal/asudeh/ For more information, see the FoLLI site at http://www.folli.org/, or the ESSLLI site at http://www.macs.hw.ac.uk/esslli05/

Computer Science student Boaz Leskes (FNWI) received the 5th UvA Thesis Award at the Universityday on Saturday June 11th, for his thesis 'The value of agreement: a new boost algorithm'. The award was presented to him by Jit Peters, Deacon of the Faculty of Law and head of the award committee. This is the third year in a row that an FNWI student wins the UvA Thesis award.

In his thesis Boaz Leskes, supervised by Leen Torenvliet, develops an entirely new model for automated learning. Not only did Leskes conceive and develope the mathematical basis for this model, he also puts it into practice with extensive programming.

For more information, see the (dutch) announcement at http://www.science.uva.nl/actueel/object.cfm/. The thesis and an abstract can be found on the ILLC website in the Publications section at http://www.illc.uva.nl/staging/Publications/.

Sixth Framework Programme of the European Union (EU-FP6-IST) granted a research proposal in the field of Music Cognition, entitled 'Emergent Cognition through Active Perception' (EmCAP). The project involves a consortium by Dr Sue Denham, Prof Mike Denham and Dr Eduardo Miranda (University of Plymouth), Dr Henkjan Honing (University of Amsterdam, Institute for Logic, Language and Computation), Prof Istvan Winkler (Institute for Psychology, Hungarian Academy of Sciences), and Prof Gustavo Deco and Prof Xavier Serra (University Pompeu Fabra, Barcelona, Music Technology Group & Computational Neuroscience Group).

Project start date: 1 October 2005.
For more information, see http://www.hum.uva.nl/mmm/jobs.html

The Committee of the 4th Conference "Understanding and Creating Music" (UCM'2004) honored Aline Honingh with the "Nicola Ugo Stame" award 2004 for young scientists.

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

The Dutch Science Foundation (NWO-GW) granted a research proposal in the context of the NWO-programme "Foundations of the Humanities". The research will explicate and evaluate the impact of the cognitive revolution on music research, as well as explore the possibilities of a new paradigm for music research in which the humanities and cognitive sciences interact.

For more information, see http://www.hum.uva.nl/mmm/ under "News".

The Fulbright Program provides grants for Graduate Students, Scholars and Professionals, and Teachers and Administrators from the U.S. and other countries.

For information (in Dutch only):

• Fulbright grants for graduate students: http://www.fulbright.nl/content.aip?language=NL&destination=USA&id=215
• Fulbright grants for PhD students (to spend 3-6 months in the US): http://www.fulbright.nl/content.aip?language=NL&destination=USA&id=216
• Fulbright grants for scientists (for a stay in the US of 3 months and longer): http://www.fulbright.nl/content.aip?language=NL&destination=USA&id=218
• Fulbright New Century Scholars Program (a grant for excellent interdisciplinary research for a team of 25-30 participants): http://www.fulbright.nl/content.aip?language=NL&destination=USA&id=382:
• Fulbright Intercountry Program http://www.fulbright.nl/content.aip?language=NL&destination=USA&id=769

Please note that the third (and probably last) round of NWO's Mosaicprogramme for talented students is open for application starting 12 December 2005, the deadline for application is 10 January 2006

For more information, see http://www.nwo.nl/kleurrijktalent or http://www.nwo.nl/subsidiewijzer.nsf/pages/NWOP_5RNBJK_Eng

Nominations have opened for the prestigious Heineken Prizes 2006 including - for the first time - the Heineken prize for the cognitive sciences. The prize, worth USD 150,000, reward outstanding scientific achievement in the field of cognitive science. Prospective candidates should be active researchers who are expected to continue their research activities for at least ten years. Their research achievements are outstanding and a source of inspiration to others. The award will be presented to a single individual.

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

Beste collega's,

Graag attendeer ik jullie op de Academische Jaarprijs van NRC Handelsblad ("Battle of the Universities"). Vertaling van wetenschappelijk onderzoek naar een breed publiek. Teams van studenten en onderzoekers van de 14 Nederlandse universiteiten worden uitgedaagd het maatschappelijk belang van wetenschappelijk onderzoek op een onorthodoxe maar begrijpelijke manier onder de aandacht van een breed publiek te brengen.

Deelnemende teams worden geacht een plan op te stellen voor de vertaling van wetenschappelijk onderzoek uit het afgelopen academisch jaar (2004-2005), bekroond of gepubliceerd als doctoraalscriptie, proefschrift, boek, artikel in een wetenschappelijk tijdschrift. De teams moeten bestaan uit tenminste twee personen, en voor de helft bestaan uit studenten.

Inzendingen dienen via de decaan (p/a I. van Loon) te verlopen. De decaan dient de inzendingen uiterlijk 1 november a.s. aan de rector van de UvA te bezorgen.

Voor informatie: zie http://www.academischejaarprijs.nl/ of neem contact op met Ingrid van Loon (6090/ingrid at science.uva.nl)

I would like to draw your attention to the opening of the nominations for the prestigious Heineken Prizes 2006. These prizes, worth USD 150,000.- each, reward outstanding scientific achievement in the fields of biochemistry and biophysics, medicine, environmental sciences, history and cognitive science. Both institutes and individual researchers may nominate suitable candidates for these prizes until January 1, 2006.

You will find digital versions of the nomination forms and background information on the Heineken Prizes 2006 on our website: http://www.knaw.nl/heinekenprizes.

Since 2002, FoLLI (the European Association for Logic, Language, and Information, www.folli.org) awards the E. W. Beth Dissertation Prize to outstanding dissertations in the fields of Logic, Language, and Information.

Submissions are invited for 2004. The prize will be awarded to the best dissertation which resulted in a Ph.D. in the year 2004. The dissertations will be judged on the impact they made in their respective fields, breadth and originality of the work, and also on the interdisciplinarity of the work. Ideally the winning dissertation will be of interest to researchers in all three fields.

The full text of this announcement can be found at here. Deadline for submissions is March 15, 2005.

The NWO project MuSeUM invited applications for:
A Post-doctoral researcher, fulltime or at least for 0.75 FTE (ILLC)
A PhD position, fulltime or at least for 0.75 FTE (ILLC)
A research programmer, fulltime or at least for 0.75 FTE (Informatics Institute)

Application deadline: December 10, 2005. For application information: click here or go to: http://www.uva.nl/vacatures/

As part of the Marie Curie project GLoRiClass ("Games in Logic Reaching Out for Classical Game Theory"), the newly created ILLC Centre for Logic and Games invites applications for 4 PhD positions in the field of Logic and Games, (starting February 1, 2006) one for each of the four Main Themes. Deadline for applications has been extended to 25 November.

For more information, see here, the Website ILLC Centre for Logic and Games at http://www.illc.uva.nl/CLG/ or the Handbook for Marie Curie Host Fellowships at ftp://ftp.cordis.lu/pub/fp6/docs/calls/mariecurie-action/, Or contact Dr B. Löwe at bloewe at science.uva.nl.

The ILLC invites applications for a PhD position in the field of Mathematical Logic for research on the (mathematical) theory of modal logic and/or set theory.

We are looking for candidates with a strong background in mathematical logic and an interest in writing a dissertation on the (mathematical) theory of modal logic, or on set theory (for instance, descriptive set theory or infinite games). We will give preference to candidates presenting an interest in both areas, and especially to those who present a proposal for research that combines these areas. While the focus of the appointment is on research training, it will include moderate teaching duties in courses on mathematical logic in the MSc in Logic and/or the BSc in Mathematics.

Deadline for applications is 1 July 2005. For more information, see here or http://www.uva.nl/vacatures/object.cfm/

The Music Cognition Group, Institute for Logic, Language and Computation (ILLC), Universiteit van Amsterdam, is looking for highly qualified candidates for a Post-Doctoral and a PhD position to work on a three-year research project in the field of Music Cognition, entitled 'Emergent Cognition through Active Perception' (EmCAP). The project is funded by the Sixth Framework Programme of the European Union.

Deadline for applications is 22 July 2005.
Project start date: 1 October 2005.
For more information, see http://www.hum.uva.nl/mmm/EmCAP/

The ILLC is seeking candidates for a PhD fellowship. We are looking for candidates with a strong background in at least one of the disciplines relevant to the research program of ILLC, and with an interest to write a dissertation in philosophy of language or in philosophical logic.

The appointment will be for a period of three years in the department of Philosophy of the Faculty of Humanities and should lead to a dissertation. The salary will be in accordance with the university regulations for academic personnel, and will range from € 2,179 (first year) up to a maximum of € 2,394 (final year) gross per month.

The job reference code for this position is 05-3016. Applications should be sent to the director of ILLC, prof. dr. F.J.M.M. Veltman, p/a Plantage Muidergracht 24, 1018 TV Amsterdam. Please include a curriculum vitae, a list of MA or Msc-scores, and a proposal for a research project (max. 2000 words). Closing date is April 18, 2005.

See http://www.illc.uva.nl/Research/ for information about the research program of ILLC. Further information about the PhD position can be obtained from prof. dr. F.J.M.M. Veltman, telephone +31-20-525 4564, e-mail f.veltman at uva.nl.

Binnen IvI & ILLC is een vacature voor een Projectbeheerder voor 20-24 uur per week (voor een periode van drie jaar), in het kader van de NWO HEFBOOM-projecten. De werkzaamheden zijn pluriform en zijn te karakteriseren als een combinatie van secretarieel, administratief, organisatorisch werk en management. Deze vacature is bedoeld voor interne (UvA-)-kandidaten. Met ontslag bedreigde medewerkers hebben voorrang.

Sollicitaties kunnen schriftelijk of per email ingediend worden vóór 15 januari 2005. Voor meer informatie, zie here of neem contact op met dr. S.F.M. van Vlijmen HEFBOOM-projectleider, e-mail vlijmen at science.uva.nl, telefoon 020-525 7584 of 06-24539660.

FORTY research studentships are available for: UK students, EU students and students worldwide Many of these are full studentships, paying your tuition fees and a stipend of 12300 pounds to cover living expenses in your first year, rising in second and third years. The rest pay your fees and/or a contribution of 6150 pounds per year towards living expenses. Payment of fees for non-EU students is subject to successful competition for an Overseas Research Student award. PhD students are encouraged to make contributions to teaching, for example by leading tutorial groups, and for this you can expect to earn an additional 500-1000 pounds per year. A very wide range of research topics is available for PhD study.

Application forms should be returned by mid-March. Earlier applications have access to a wider range of sources of financial aid. For more information, see http://www.inf.ed.ac.uk/postgraduate/phd-advert.html.

The University of Basel has a vacancy for an Assistant Professorship (part-time, 50%). Successful candidates should have a PhD in philosophy and intend to do the Habilitation, be enthusiastic about teaching and willing to assist in administrative tasks. The appointment starts on April 1, 2006 and comes with 2 hours of teaching duty per week.

Applications must be received before December 31, 2006. For more information, see here.

The Department of Mathematics and Computer Science at Saarland University is seeking applications for a Full Professor (W3) in Computer Science area cognitive technologies starting in the winter term 2006/2007. The professorship is combined with the scientific leadership of one of the laboratories at the German Research Center for Artificial Intelligence (DFKI) on campus and receives additional compensation.

Applications must be received before February 1st, 2006. For more information, see the university page at http://www.uni-saarland.de/

The recently-founded "Centre for Metacomputation" at Oxford is looking for a 4-year senior postdoc to help coordinate the activities of the centre. Topics of interest include types for quotation or reflection, termination analysis, compositional model checking of (higher-order) programs, and games semantics for aspect-orientation.

The closing date for receipt of applications is 6th December 2005. For more information, see http://web.comlab.ox.ac.uk/oucl/jobs/platform.

The Center for Logic and Computation of the Department of Mathematics of Instituto Superior Tecnico, Lisbon, Portugal, invites applications for visiting scientists and postdoctoral positions. There are no teaching duties associated with these positions.

The visiting scientist positions are for three to six months (grant of around two thousand Euro per month). Applicants should have a strong research record in topics relevant to the QuantLog project.

The postdoctoral positions are for one year (grant of around fifteen hundred Euro per month), with the possibility of renewal upon mutual agreement. Applicants should have a recent PhD and show high research potential in the areas of quantum computation, information and logic.

Messages of intent should be sent by December 9, 2005 to Amilcar Sernadas in order to get detailed information about the formal application procedure and deadline. The selection process will take place in early January, 2006. Positions can start in February, 2006. For more information, see http://clc.math.ist.utl.pt/positions2006START.html.

The Knowledge Management research group at the Institute for Applied Informatics and Formal Description Methods (AIFB, http://www.aifb.uni-karlsruhe.de/WBS) at the University of Karlsruhe (TH), Germany, is an interdisciplinary team of computer scientists, mathematicians, and industrial engineers and one of the world leading institutes in the area of the Semantic Web.

We are offering a research position (Wissenschaftlicher Mitarbeiter BAT IIa) for a PhD student or a postdoctoral researcher, on initial contract for two years, with the possibility of extending the contract. We are looking for a highly skilled person to be responsible for further development of the reasoner KAON2 (http://kaon2.semanticweb.org/).

Application deadline is January 12th, 2006. For more information, see here or http://www.aifb.uni-karlsruhe.de/Stellenmarkt/english.

The Center for Adaptive Behavior and Cognition at the Max Planck Institute for Human Development in Berlin, under the direction of Gerd Gigerenzer, is seeking applicants for up to 2 one-year Predoctoral Fellowships and up to 3 two-year Postdoctoral Fellowships beginning on or after September 1, 2006.

Candidates should be interested in studying the cognitive mechanisms underlying bounded, social, and ecological rationality in real-world domains. Current and past researchers in our group have had training in psychology, cognitive science, economics, mathematics, biology, and computer science to name but a few.

Applications will be accepted until January 10th, 2006. For more information, see http://www.mpib-berlin.mpg.de/en/forschung/abc/stellenangebote.htm.

The Center for Adaptive Behavior and Cognition at the Max Planck Institute for Human Development in Berlin, under the direction of Gerd Gigerenzer, is seeking applicants for research scientist positions at ranks equivalent to an assistant and associate professor. The positions are for 2 years (with the option to be renewed for up to 6 years) beginning August 2006, but earlier or later start dates are possible.

Candidates must have a PhD and be interested in studying the cognitive mechanisms underlying bounded, social, and ecological rationality in real-world domains. Current and past researchers in our group have had training in psychology, cognitive science, economics, mathematics, biology, and computer science to name but a few.

Applications will be accepted until January 10th, 2006. For more information, see http://www.mpib-berlin.mpg.de/en/forschung/abc/stellenangebote.htm.

The Turing Center is a newly established center at the University of Washington in Seattle. The center investigates problems at the crossroads of natural language processing, machine learning, Web search, and the Semantic Web. We are looking for candidates with strong NLP credentials and interest in semantics and/or machine translation. Multiple positions are open.

For more information, see http://www.turing.washington.edu/ or email turing at cs.washington.edu

The Stanford University Department of Mathematics expects to make one or more Szegoe assistant professor appointments. These appointments are for a term of three years beginning in September 2006. Research fields to be considered are: (1) analysis, (2) algebra, number theory, or logic, (3) geometry or topology, (4) combinatorics, (5) applied mathematics or probability, (6) financial mathematics.

Applicants are expected to show outstanding promise in research as well as strong interest and ability in teaching. They must have received the PhD prior to the start of the appointment, but not before 2004.

Deadline for Applications: December 15, 2005. For more information, see http://www.mathjobs.org/jobs/Stanford/434 or http://math.stanford.edu/

Applications are invited for several Visiting Assistant Professor positions, renewable up to three years, in the following areas of research: A) applied and computational mathematics; B) analysis and PDE (includes mathematical physics); C) geometry and topology (includes geometric analysis); D) logic and set theory; E) probability; and F) algebra and number theory (includes algebraic and arithmetic geometry). VAPs teach no more than five quarter classes per year, at a current annual salary of $46,300. Applicants must possess a Ph.D., and strong promise in research and teaching is required. Appointments will be effective July 1, 2006, or later.

The review process starts December 15, 2005, and will continue until positions are filled. Instructions for the electronic application process can be found at: http://ps.uci.edu/employment/apply.html

The Department of Mathematics and Statistics invites applications for a tenure track position at the Assistant Professor level starting in Fall 2006.

The successful candidate must have completed a Ph.D. in Mathematics before the starting date. Duties include a continuing research program and effective teaching at the graduate and undergraduate levels. Applicants in all areas of mathematics will be considered. However, strong preference will be given to candidates in areas connected with the research interests of the department -- in particular, those in Algebra, Analysis, Applied Mathematics, Graph Theory and Combinatorics, Optimization, Set Theory, and Topology.

Applications will be accepted until the position is filled; however, screening of applications will begin on December 5, 2005. For more information, see http://unixgen1.mcs.muohio.edu/~MathStat/math_ad.html.

The Department of Mathematics and Statistics, Faculties of Arts and Science & Engineering, York University, Toronto, Ontario, Canada, seeks three tenure-track Assistant Professor appointments: one in Foundations of Computation or Mathematical Analysis; one in Numerical Analysis or Mathematical Modelling; and one in Statistics.

Details may be found at http://www.yorku.ca/acadjobs or at http://www.math.yorku.ca/Hiring. Deadline for Applications: January 6, 2006. All qualified candidates are encouraged to apply; however, Canadian citizens and Permanent Residents will be given priority.

School of Informatics, Kyoto University has five positions for Ph.D students with scholarship for three years.

See http://www.i.kyoto-u.ac.jp/2005/eng/education/program.html for more details. The application deadline for the next year starting October, 2006, will be Dec. 20, 2005.

Tenure track; AOS: Philosophy of Science; AOC: open. We especially encourage applications from candidates who can help us build upon existing connections with units in the natural and social sciences and play a role in the interdisciplinary Science and Technology Studies Ph.D. program. The department has teaching needs at all levels of logic. 2 courses per semester, undergraduate and graduate. Evidence of teaching ability required. Salary: competitive. Ph.D. completed by August 10, 2006.

Interested candidates should complete a brief on-line application at http://www.jobs.vt.edu/ [Posting No. 043046] and send a complete dossier to Chair, Philosophy of Science Search Committee, Department of Philosophy (0126), Virginia Tech, Blacksburg, VA 24061. We will begin reviewing dossiers November 30, 2005. Interviews will be conducted at the Eastern Division APA.

The School of Computer Science at the University of St Andrews (Scotland, UK) is seeking candidates for a Lectureship (permanent), a Postdoctoral Fellowship (2 years) and two fully funded PhD Studentships (3.5 years each) to reinforce the recently formed Cognitive Systems research group led by Professor Rens Bod.

Possible areas of expertise/research include but are not limited to computational musical analysis, data-oriented parsing, unsupervised language learning, case-based reasoning and cognitive modeling.

Closing Date for Lectureship and Postdoc: 24 November 2005
Closing Date for the two PhD Studentships: 24 December 2005
For more information, see here or the webpage of the Cognitive Systems group at http://cogsys.dcs.st-and.ac.uk/

The Mathematical Sciences Department of the IBM Thomas J. Watson Research Center invites applications for its 2006-2007 Herman Goldstine Memorial Postdoctoral Fellowship for research in mathematical and computer sciences. Areas of active research in the department include: algorithms, coding theory, cryptography, data mining, dynamical systems and differential equations, high-performance computation, numerical analysis, optimization, probability theory, scientific computing, statistical analysis, supply-chain and operations management, and queueing networks. Fellows interact closely with department members but are free pursue their own research.

Candidates must have a Ph.D. after September 2001 or should receive one before the second half of 2006. One fellowship will be awarded with stipend between $95,000 and $115,000 (depending on area and experience).

Applications must be received before December 31, 2005. Complete details and the application procedure are available at http://www.research.ibm.com/math/goldstine.html.

Caltech's Center for the Mathematics of Information (CMI) announces openings in the CMI Postdoctoral Fellowship Program, starting in fall 2006. The CMI is dedicated to fundamental mathematical research with an eye to the roles of information and computation as resources throughout science and engineering. Areas of interest include algorithms, complexity, applied combinatorics, applied probability, statistics, information and coding theory, geometry processing, multiresolution methods, control and optimization. Please apply and have three reference letters sent directly as instructed at http://www.ist.caltech.edu/joinus/positions.html. All materials are due by January 6, 2006.

Positions are contingent upon completion of the PhD. Caltech is an affirmative action/equal opportunity employer; women, minorities, veterans, and disabled persons are encouraged to apply.

For more information, see http://www.ist.caltech.edu/joinus/positions.html.

The Institute for Quantum Information at the California Institute of Technology will have postdoctoral scholar positions available beginning in September 2006. Researchers interested in all aspects of quantum information science are invited to apply.

Please apply on-line at http://www.iqi.caltech.edu/. Electronic copies of your curriculum vitae, publication list, statement of research interests, and three letters of recommendation are required. The deadline for receipt of all application materials is January 13, 2006.

The Department of Computer Science in the School of Engineering of the Hong Kong University of Science and Technology has two faculty positions open at the assistant professor level for the 2006-2007 academic year. The Department is looking for faculty candidates with research interests in the following areas: embedded systems, programming languages and compiler, software engineering, and theoretical computer science. The medium of instruction is English.

Applicants should have a Ph.D. degree and demonstrated potential in teaching and research. Salary and benefits are very competitive. Initial appointments will normally be on a three-year contract, renewable subject to mutual agreement. A gratuity will be payable on satisfactory completion of the contract.

Priority will be given to applications received by January 31, 2006. For more information, see here or http://www.cs.ust.hk/admin/recruitment/faculty/

The Technische Universität Berlin is advertising a position of
  Scientific Employee (Wissenschaftlicher Mitarbeiter; IIA BAT)
for the period of 5 years for writing a PhD thesis at the Institut fuer Softwaretechnik u. Theoretische Informatik / FG Programmierung eingebettete Systeme.

Tasks: Support of teaching activities in theoretical computer science and research in: software engineering, quality control for embedded systems, validation and verification, automated verification with the theorem prover Isabelle / HOL, automated design and synthesis of embedded systems.

Prerequisites: MSc in Computer Science, specialization in at least one of: embedded systems, compilers, logic, software engineering; interest in teaching.

Please send your application with the usual documents and the vacancy number WM-545 to

Technische Universität Berlin
Institut für Softwaretechnik u. Theoretische Informatik, Sekr. FR 5-6
Der Präsident
Franklinstr. 28/29
10587 Berlin

For more information, see http://www.tu-berlin.de/zuv/IIA/ or contact bloewe at science.uva.nl

A "Maitre de Conférences" position will be available for the Logic group of the maths department of the University of Savoie in Chambery.

The themes of research we are looking for are ones that have always been present in Chambery such as proof theory and lambda caculus, as well as the new ones corresponding to discrete mathematics such as the combinatorics of, for example, words or the discrete plane, the discrete geometry and the general theory of coding.

Candidates should be accepted on the so called "liste de qualification aux fonctions de Maitre de Conférences", and speak French reasonably fluently.

A "Maitre de Conférences" position will be available for the Logic group of the maths department of the University of Savoie in Chambery.

This position is destinated to reinforce our group. The themes of research we are looking for are thus
- either the ones that have always be present in Chambery such as *proof theory* and *lambda caculus*
- or the new ones corresponding to discrete mathematics such as the combinatorics of, for example, words or the discrete plane, the discrete geometry and the general theory of coding.

The teaching assigments will be those of a maitre de conférences with lessons in "mathematical tools for computer science". For example, the person we are looking for will be in charge of courses as "data bases" or "Maths for computer science". The courses should be given in French.

Two conditions are necessary to get this position
- Be accepted on the so called "liste de qualification aux fonctions de Maitre de Conférences"
- Speak French reasonnably fluently.

This position is not yet official but, since it should appear officially only around February, we would like to have contact with possible candidates much before.

If you are interested by this position, please contact
- either laurent.vuillon at univ-savoie.fr
- or rene.david at univ-savoie.fr

For more informations on our laboratory visit: http://www.lama.univ-savoie.fr/.
For more informations on our university visit: http://www.univ-savoie.fr/.

ILLC members can obtain more information by contacting bloewe at science.uva.nl

For more information, see here.

The Centre for Modern Thought at the University of Aberdeen has been created as a site for cross-disciplinary theoretical research and theoretical inquiry bearing on global socio-historical developments and political issues. It will serve degree programmes throughout the College of Art and Social Sciences in the context of the University's new Graduate School and will offer a stimulating environment to students seeking a high-profile Ph.D. programme staffed by internationally recognised scholars. In the coming academic year, we aim to make a number of academic appointments (at any rank).

We will accept applications until the positions are filled, but we will begin active consideration of the applications on 15 November 2005. Enquiries may be directed to Professor Christopher Fynsk, enl290 at abdn.ac.uk. For more information, see here or visit the website of the Centre for Modern Thought and the University of Aberdeen at http://www.abdn.ac.uk/modernthought

There is a vacancy for a PhD POSITION (4 yr) ON THE SEMANTICS OF MULTI-THREADED FLOW OF CONTROL within the Programming Research Group, Informatics Institute, University of Amsterdam.

For more information, see here or contact dr. Inge Bethke at inge at science.uva.nl.

The Programming Research Group (Informatics Institute, University of Amsterdam), guided by prof.dr. Jan Bergstra, is responsible for education and research in the area of programming methods and supporting software tools. Recently NWO has approved the new research project `Thread Algebra for Strategic Interleaving' for which the PRG are looking for a PhD candidate.

Candidates should have a Masters degree in Computer Science or Mathematics (or comparable qualification) and have an interest in the field of formal methods. Appointment will be for a period of four years. Salary starts at € 2179 gross per month in the first year and increases to € 2517 gross per month in the fourth year.

Application deadline is September 1, 2005. For more information, see here or contact dr. Inge Bethke at inge at science.uva.nl.

Applications are invited for a number of PhD positions to be held at the Department of Computer Science, The University of Liverpool, Liverpool, UK. Only EU/UK citizens are eligible. The studentship is available to start from October 2005, and its duration will be for 3 years.

Deadline for applications is April 29, 2005. For more information, see http://www.csc.liv.ac.uk/~sazonov/2005_studentship.html

In the Section of Theoretical Computer Science of the Vrije Universiteit in Amsterdam there is a PhD-position available on the research project "Proving Equations For Cyclic Objects". Supervisors J.W. Klop and R.C. de Vrijer. Applications by May, 1, 2005.

For more information, see http://www.cs.vu.nl/tcs/vacancies-en.html

A few nearly permanent research positions may be available starting in 2005-2006 in the Research Group on Mathematical Linguistics (GRLMC) at Rovira i Virgili University (Tarragona, Spain). They will be funded partly by the host university and partly by the Spanish Ministry for Education and Science under the so-called Ramon y Cajal scheme.

Positions will have a duration of 5 years. The main duty of the job is research, with possible supervising and doctoral teaching too. Applicants should have at least 2 years of Postdoc experience.

Expressions of interest are welcome until March 23, 2005. They should contain the researcher's CV and mention "2005-6" in the subject box. The outcome of the preselection will be reported immediately after. Preselected candidates will be given full support in the application process by the host institute. The deadline for completing the whole process is April 2, 2005.

For more information, see the GRLMC website at http://www.grlmc.com (under 'Jobs') or send an email to Carlos Martin-Vide at carlos.martin at urv.net.

The IHPST is willing to support application of excellent candidates in the following domains: philosophy of biology, logical modelling, philosophy of physics (emergence and complexity, philosophy of quantum mechanics).

The offer only concerns foreign young searchers (limit of age: not older than 35 at December, 31, 2005). For more information and the application documents (in French), see http://www.recherche.gouv.fr/appel/2005/acpostdoc.htm.

As of October 10, the ILLC Buro will undergo some changes in its staffing. Because of the enormous number of Master of Logic students present (have a look at http://www.illc.uva.nl/gpil/people/students.php), Tanja Kassenaar will start working fully for the Master of Logic program (partly for the organisation OWI). Marjan Veldhuisen will get a new colleague secretary for a period of 3 months initially, Jessica Pogorzelski. Jessica will work in room 3.29, phone 6051, e-mail address to be announced. She will work on a fulltime basis and will, besides her general secretary job, work on preparatory work for the onderzoeksvisitatie, mainly by getting all ILLC publications 2000-2005 in METIS correctly. We welcome Jessica and we look forward to a good cooperation!

As of October 1, Olivia Ladinig from Austria will work as a PhD student on the project Emergent Cognition through Active Perception (EmCAP), supervised by Henkjan Honing.

Her coordinates: room P3.18; phone 6508; email: oladinig at science.uva.nl

We are very proud to announce that Rens Bod will take up a Chair in Computer Science at the University of St Andrews, the oldest University in Scotland. For the time being Rens will divide his time between St Andrews and Amsterdam, where he will continue to work on his two NWO-projects.

In August ILLC welcomes two former Master of Logic students as PhD students in the VIDI project of Robert van Rooij:

• Michael Franke (Germany), as of August 1; e-mail address meanwhile.in.a.secret.room at gmail.com
• Samson de Jager (New Zealand), as of August 15; e-mail address tikitu at gmail.com

Their office will be room 2.24, Nieuwe Doelenstraat 15, telephone 4552

From June 1 to August 31, 2005, Prof Dr Joel D. Hamkins will be visiting the ILLC. He is a Full Professor of Mathematics and Computer Science at the City University of New York and his visit is funded by the NWO in the project "The Modal Logic of Forcing" (DN 62-612; CN 2005/02452/IB).

For more information, see here or contact bloewe at science.uva.nl

As of April 5th we welcome Astrid Kramer in the management supportgroup. Her contact details:
room P-3.29
phone 020-525 6519
E-mail: A.I.Kramer at uva.nl

Two new PhD students join the ILLC: Reut Tsarfaty and Fenrong Liu. Their contact details are:

Reut Tsarfaty
Room: P3.24
Phone: 525 5453
Email: rtsarfat at science.uva.nl
WWW: http://www.illc.uva.nl/~rtsarfat/

Fenrong Liu
Room: P3.21
Phone: 525 6054
Email: fenrong at science.uva.nl

They have written brief introductions of himself, which you can read at here.

Dear all, Please notice that at http://www.illc.uva.nl/NewsandEvents/submit-newsentry.html you will find a new form for the electronic submission of ILLC news and events. We hope it is to your convenience.

The ILLC Buro

In october a new series of lectures in the Colloquium Musicology will begin.

For more information, see http://www.hum.uva.nl/mmm/cmw.html

Two recent ILLC alumni will soon exchange vows. Loredana and Balder will marry on August 6 in Moldova. Moldova is, of course, not around the corner. That's why there will be a dutch celebration at a later (not yet known) occasion.

Loredana and Balder wish to thank the ILLC for fostering that wonderful international and multicultural atmosphere that brought them together.

Thursday July 7, 2005, prof. Michael Tomasello (Max Planck Institute for Evolutionary Anthropology, Leipzig) held the Frijda lecture as part of the Cognitive Science Summer school. Cognitive Science is a new interdisciplinary master at the Universiteit van Amsterdam.

Professor Tomasello, known for his contributions in developmental psychology, language acquisition, cultural psychology, and primatology, gave the third well-attended Frijda lecture, with the title 'Constructing a Language'. The Frijda lecture is part of the Summer school, which is being sponsored by NWO.

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

This is the end of year, some of us are finishing their theses, projects, etc. Time to leave. Time for a break. Before some of us leave, we would like to have a chance to see you all again, namely "The end of year party".

This will be an American Style party. That means that every guest brings something to eat and/or drink. Please bring an amount of stuff that is rougly as much as you would like to consume yourself. We take care of plates, cups, cutlery.

Dit onderzoekscolloquium is het vijfde in een reeks open debatten over de stand van zaken en mogelijke toekomstscenario's voor de muziekwetenschappen. Aan de hand van de in eerdere colloquia gepresenteerde inleidingen wordt deze keer de tussenstand opgenomen. De panelleden zijn Rokus de Groot, Wim van der Meer, Sander van Maas, Jacques Boogaart en Henkjan Honing (allen van de leerstoelgroep muziekwetenschap, UvA). Henk Borgdorff (lector Kunsttheorie & Onderzoek AHK) zal als gespreksleider fungeren.

Aanvullende informatie is te vinden op http://www.hum.uva.nl/mmm/debat/ en http://www.musicology.nl.

The ILLC Annual Report 2004 is available. It can be downloaded from the ILLC website at http://www.illc.uva.nl/Research/.

The April 2005 issue of the Newsletter of the Association of Symbolic Logic is out. It is available online from the ASL website at http://www.aslonline.org/info-newsletter.html.

The NWO has launched the site www.cognitie.nl. The site is intended to be the portal for people looking for information on what is happening where in the Netherlands in the field of Cognition, answering questions such as: 'what research?', 'which courses?', 'which conferences?' or 'which public events or presentations?'.

In order to achieve this goal, the NWO invites invites comments and suggestions for improvements. Any such suggestions can be send to cognition at nwo.nl.

On 22 november 2004, on the occasion of Dick de Jonghs 65th birthday and imminent retirement, his friends and colleagues presented him with a "Liber Amicorum". You can now view it online at http://www.illc.uva.nl/D65/.