Automatic music transcription refers to extraction of a human readable and interpretable description from a recording of a musical performance. Traditional music notation is such a description that lists the pitch levels (notes) and corresponding timestamps. Such a representation would be useful in several applications such as interactive music performance, information retrieval (Music-IR) and content description of musical material in large music databases. In this talk, I will focus on a subproblem in music-ir, where I assume that exact timing information of notes is available, for example as a stream of MIDI events from a digital keyboard. I will present a probabilistic generative model for timing deviations in expressive music performance. The structure of the proposed model will turn out to be a switching state space model (switching Kalman filter). The switch variables correspond to discrete note locations as in a musical score. The continuous hidden variables denote the tempo.

Given the model, we can formulate two well known music recognition problems, namely tempo tracking and automatic transcription (rhythm quantization) as filtering and maximum a posteriori (MAP) state estimation tasks. Unfortunately, exact computation of posterior features such as the MAP state is intractable in this model class, so we resort to Monte Carlo methods for integration and optimization. I have compared Markov Chain Monte Carlo (MCMC) methods (such as Gibbs sampling, simulated annealing and iterative improvement) and sequential Monte Carlo methods (particle filters). Simulation results suggest better results with sequential methods. The methods can be applied in both online and batch scenarios (such as tempo tracking and transcription) and are thus potentially useful in a number of music applications such as adaptive automatic accompaniment, score typesetting and music information retrieval.

The symposium aims at bringing together researchers working at the intersection of logic, game theory and multiagent systems, in order to identify the key issues, problems, and techniques in the application of logic to games and multiagent systems. Conferences with a related subject area are LOFT, TARK, and LGS.

For more information, see http://www.csc.liv.ac.uk/~pauly/logamas/

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/News/seminar02-2.html#Dec13 .

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

The abstract of this talk can be found here or on The Logic Tea homepage at http://staff.science.uva.nl/~debruin/logic_tea.html For further information please contact Mark Theunissen at mailto:mtheunis at science.uva.nl, or Boudewijn de Bruin at mailto:debruin at science.uva.nl.

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

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

Benelearn is the annual machine learning conference of Belgium and The Netherlands. It serves as a forum for researchers in this field to exchange ideas and present recent work.

For more information, see http://www.cs.uu.nl/~marco/benelearn2002/

Abstract:
Guarded fragments are in some sense `modal-style' fragments of first-order logic. Introduced by Andréka, van Benthem and Németi in 1997, they have become very popular. They share nice properties with modal logic, such as decidability with reasonable complexity. The finite model property for the basic guarded fragment was established by Erich Grädel in 1999. Since then, several more results for stronger fragments have been proved. The proofs use a combinatorial theorem of Herwig, and recently this theorem has been strengthened in joint work with Martin Otto, permitting a simpler proof that the loosely guarded and packed (or clique-guarded) fragments have the finite model property. I will outline some of the ideas and history of this area of research.

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

The Logic and Automated Reasoning Summer School comprises a blend of practical and theoretical short courses on aspects of pure and applied logic taught by international and Australian experts. The school provides a unique learning experience for all participants, backed up with state-of-the-art computational science facilities at the ANU.

For more information, see here or the website at http://arp.anu.edu.au/lss, or contact the Convenor, Dr John Slaney, at lss-admin at arp.anu.edu.au.

Algemene Wetenschapsfilosofie en Filosofie van de Exacte Wetenschappen, Moderne Perspectieven op de Pioniers

De Nederlandse Vereniging voor Wetenschapsfilosofie, Nederlandse Vereniging voor Logica, Evert Willem Beth Stichting en Stichting Wiener Kreis Archief organizeren een gezamenlijk herfstsymposium over Wetenschapsfilosofie en Logica: Moderne Perspectieven op de Pioniers.

Sprekers: Dirk van Dalen (Utrecht) over Brouwers anti-realisme en het wiskundig universum, Shahid Rahman (Lille) met 'Some reflections on the Vienna Circle program', Henk Visser (Maastricht) over Beth als wetenschapsfilosoof, en Michel ter Hark (Groningen) over Popper en de vroege cognitieve psychologie en pedagogie. Aan het eind volgt een discussie over de moderne relevantie van de pioniers voor het huidige interface van wetenschapsfilosofie en logica.

Voor meer information, see here or http://www.cwi.nl/vvl/toekomst.html.

The informal workshop series "Games in Logic, Language and Computation" focuses on the application of game theory in linguistics, logic and computer science, as well as on the (logical) foundations of game theory. The seventh edition of the workshop on Games in Logic, Language and Computation (GLLC7) will be held on Thursday November 28, 2002.

For more information on the workshop, including schedule, abstracts and travel information, see http://www.illc.uva.nl/lgc/gllc7/.

The workshop brings together a number of research groups working on annotated corpora and their linguistic exploitation. The common emphasis is on semantically relevant, 'deep' annotation (in the form of dependency structures, type structures, ...) in addition to purely syntactic information. The annotation approach taken in the CGN (Spoken Dutch Corpus) project is compared with that of the visiting groups.
The workshop is supported by CoLogNet and LOT/OTS.

For more information, see http://www.let.uu.nl/~ctl/workshops/programme.html

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

For more information, see here or Vincent Hendericks' page at http://www.ruc.dk/~vincent/.

Andreas Weiermann starts a mini-course of three lectures, which will take place on Friday afternoons, on November 1, November 8, and November 22.

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

The Logic Tea homepage can be found at http://staff.science.uva.nl/~debruin/logic_tea.html. For further information please contact Mark Theunissen at mailto:mtheunis at science.uva.nl, or Boudewijn de Bruin at mailto:debruin at science.uva.nl.

On Tuesday November 19, 2002, there will be an Amsterdam-Utrecht workshop entitled "Meaning and Intonation". Everyone is welcome.

For more information, see here or http://www-uilots.let.uu.nl/events/conflinks.htm.

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

For abstracts and more information, see http://lit.science.uva.nl/News/seminar02-2.html#Nov15 .

In 2002/2003 a joint Compact Seminar on Provability Algebras is organized by L. Beklemishev and W. Pohlers. Altogether, four sessions, alternating in Utrecht (Department of Philosophy) and in Münster (Institute for Mathematical Logic and Foundations Research), will take place.

Graded provability algebras (GPA) are modal algebras developed to provide an abstract algebraic approach to proof-theoretic analysis. This subject brings together traditional methods of proof theory and methods developed in provability logic.

For more information, see here, or contact Lev Beklimishev at lev at phil.uu.nl.

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

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

Andreas Weiermann starts a mini-course of three lectures, which will take place on Friday afternoons, on November 1, November 8, and November 22.

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/News/seminar02-2.html#Nov8 .

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

Andreas Weiermann starts a mini-course of three lectures, which will take place on Friday afternoons, on November 1, November 8, and November 22.

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

PHILOG - The Danish Network for Philosophical Logic and Its Applications, is organizing a conference on self-reference. The aim of the conference is to bring together researchers in the fields of philosophy, mathematics, and computer science to present theories of and related to self-reference - especially pertaining to theories that explain and resolve the above paradoxes and thereby advance new theories for the involved fields.

All lectures will be of such a nature that they can be followed by students and scholars of philosophy, computer science, linguistics etc. without deep professional training in epistemic logic but provided with general knowledge of foundational issues.

For more information, see here or the PHILOG website at http://www.philog.ruc.dk

The Logic Tea homepage can be found at http://staff.science.uva.nl/~debruin/logic_tea.html. For further information you can also contact Mark Theunissen at mailto:mtheunis at science.uva.nl, or Boudewijn de Bruin at mailto:debruin at science.uva.nl.

Tuesday 29 October the ILLC has the honour to host a so-called site visit by the dean and directors of the Faculty of Science. The major part of this visit is devoted to a discussion of various scientific and administrative issues. At the end of the afsternoon there will be a reception, for which you are all kindly invited. Drinks and snacks will be served at the third floor of the Euclides building (Plantage Muidergracht 24) from 17.30-18.00.

Coming Friday, October 25, LEGO will feature Balder ten Cate with a try-out talk for a conference in London (KCL)

For more information, see here.

For abstracts and more information, see http://lit.science.uva.nl/News/seminar02-2.html#Oct25 .

In 2002/2003 a joint Compact Seminar on Provability Algebras is organized by L. Beklemishev and W. Pohlers. Altogether, four sessions, alternating in Utrecht (Department of Philosophy) and in Münster (Institute for Mathematical Logic and Foundations Research), will take place.

Graded provability algebras (GPA) are modal algebras developed to provide an abstract algebraic approach to proof-theoretic analysis. This subject brings together traditional methods of proof theory and methods developed in provability logic.

For more information, see here, or contact Lev Beklimishev at lev at phil.uu.nl.

A locally decodable code is an error-correcting code (encoding an n-bit x in m-bit codeword C(x)) that allows one to recover any bit x_i from a corrupted version of C(x) while querying only a few positions in the corrupted codeword. We use a quantum argument to prove that 2-query LDCs need exponential length. Previously this was known only for linear codes (Goldreich et al 02).

Our proof shows that a 2-query LDC can be decoded with only 1 quantum query, and then proves an exponential lower bound for such 1-query locally quantum-decodable codes. We also show that q quantum queries allow more succinct LDCs than the best known LDCs with q classical queries. Finally, we give new classical lower bounds and quantum upper bounds for the setting of private information retrieval. In particular, we exhibit a quantum 2-server PIR scheme with O(n^{0.3}) qubits of communication, beating the O(n^{1/3})communication of the best known classical 2-server PIR. This is joint work with Iordanis Kerenidis (UC Berkeley).

The paper is available at http://www.cwi.nl/~rdewolf/publ/qc/qldc.ps.gz For more information, see http://www.cwi.nl/~roehrig/quantum-seminar.html.

The 14th Belgian-Dutch Conference on Artificial Intelligence (BNAIC'02) is organised by the Katholieke Universiteit Leuven and Université Libre de Bruxelles in collaboration with PharmaDM and under the auspices of BNVKI/AIABN (the Belgian- Dutch Association for Artificial Intelligence), SIKS (School for Information and Knowledge Systems), and SNN (the Foundation for Neural Networks).

BNAIC'02 will be held on Monday 21 and Tuesday 22 in the Faculty Club, Groot Begijnhof, Leuven, Belgium. It will be collocated with a study day on bio-informatics, to be held on Wednesday 23 October. This collocation aims to promote interaction between researchers in AI and bio-informatics. BNAIC-papers addressing bio-informatics topics will be offered a poster at the bio-informatics event.

A call for papers is out now. Deadline for submissions is May 31, 2002

For more information, see http://www.cs.kuleuven.ac.be/conference/bnaic02/

The OzsL Schoolweek/Accolade 2002 takes place from October 14--18 in Amsterdam. This years' Schoolweek offers four excellent master's courses. Experts in the field present exiting material, both foundational and applied. The level varies from introductions to advanced courses. The Accolade conferences bring together the Dutch logic community and provide an up-to-date overview of the projects carried out within the school.

For more information, see http://www.ozsl.uva.nl/Schoolweek/, or contact the OzsL Buro at ozsl at science.uva.nl.

For more information and a CFP, see http://rpc25.cs.man.ac.uk/lpar2002/

For abstracts and more information, see http://lit.science.uva.nl/News/seminar02-2.html#Oct11 .

The Logic Tea homepage can be found at http://staff.science.uva.nl/~debruin/logic_tea.html For further information you can also contact Mark Theunissen at mailto:mtheunis at science.uva.nl, or Boudewijn de Bruin at mailto:debruin 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/News/seminar02-2.html#Sep27 .

Theo Janssen and Joop Niekus like to invite you to come to see the tryout of their talks for the International Symposium on Philosophical Insights into Logic and Mathematics:

Joop Niekus: Individual Choice Sequences in the Work of L.E.J. Brouwer
Theo Janssen: Basic properties of IF Logic

For abstracts and more information, see here.

For abstracts and more information, see http://lit.science.uva.nl/News/seminar02-2.html#Sep26 .

ICGI-2002 is the sixth in a series of successful biennial international conferences on the area of grammatical inference. Grammatical inference has been extensively addressed by researchers in information theory, automata theory, language acquisition, computational linguistics, machine learning, pattern recognition, computational learning theory and neural networks. This colloquium aims at bringing together researchers in these fields. Previous editions of this meeting were held in Essex, U.K.; Alicante, Spain; Montpellier, France; Ames, Iowa, USA; and Lisbon, Portugal.

Deadlines:
Submission of manuscripts: April 19, 2002
Notification of acceptance: May 27th, 2002
Final version of manuscript: June 28th, 2002

For more information, see http://www.illc.uva.nl/ICGI-2002/

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

De Vereniging voor Logica en Wijsbegeerte der Exacte Wetenschappen (VvL) nodigt u hierbij uit voor een VvL themamiddag over Innovatie in het Logica Onderwijs. Deze gebeurtenis vindt plaats op vrijdag 20 september 2002 in zaal 031, Kromme Nieuwegracht 80, Utrecht. (Let op: gewijzigde locatie!) Kromme Nieuwegracht 80 bevindt zich vlak bij de Dom, op tien minuten loopafstand van Utrecht CS.

Voorlopig programma:
12.00-14.00 Broodjeslunch annex VvL ledenvergadering.
14.00-14.30 Jan van Eijck en Jan Jaspars, `Denkende Machines'.
14.30-15.00 Elias Thijsse, 'Het Voor en Tegen van Logica Onderwijssoftware'.
15.00-15.15 pauze
15.15-15.45 Nico Roos, `The Epistemic Model Checker' (met demo).
15.45-16.15 Michael Moortgat en Willemijn Vermaat, `Software voor Taalkunde Onderwijs' (met demo).
16.15 Gelegenheid voor andere demonstraties.
Hierna afsluiting met een borrel.

Alle belangstellenden zijn van harte welkom. De toegang is gratis. De broodjeslunch wordt u aangeboden door de VvL. In verband met de catering is de lunch echter alleen beschikbaar voor wie zich minstens een week tevoren heeft opgegeven door middel van een email aan ondergetekende, op email adres jve at cwi.nl.

De voorlopige agenda De voorlopige agenda voor de ledenvergadering is als volgt:
* Opening
* Kort verslag van de stand van zaken door het bestuur
* Kasoverzicht
* Voorstel voor bestuurswijziging
* VvL voorstel voor nieuwe activiteiten, met voorlopig keuze uitL:
  -Logica en spel
  -Paradoxen
  -Drogredenen
  -Argumentatie en AI
  -Robots en redeneren
* Wat verder ter tafel komt.

Belangstellenden voor het geven van een demo: neem even contact op.

To welcome our new international Logic students, ILLC organizes its annual boat trip on Thursday September 12. The boat leaves from the back side of the Euclides Building, and will return there a few hours later. Drinks and snacks are served on board.

The theoretical framework of this course is the Theta System, as developed by Reinhart the last few years. The Theta system (what has been labelled in Chomsky's Principles and Parameters framework 'Theta theory') is a system enabling the interface between the systems of concepts and the computational system syntax (and, via the syntactic representations, with the semantic inference systems).

The first part (block) of the course is designed as intensive introduction to the basics of the system as explained below. In the second part we hope to go in depth into some new problems that are not satisfactorily solved yet. Along with theoretical research, a further goal of the course is implementation of the system using parsing tools developed by Van Eijck.

For more information, see here or contact Jan van Eijck (jve at cwi.nl) or Tanya Reinhart (tanya.reinhart at let.uu.nl).

Dit evenement geeft d.m.v. lezingen en demonstraties een overzicht van de nieuwste ontwikkelingen in de ICT wereld. Onderzoek op het gebied van de ICT en innovatieve toepassing van de onderzoeksresultaten staan tijdens het congres centraal.

For more information, see http://www.ict-kenniscongres.nl/

The Logic Tea homepage can be found at http://staff.science.uva.nl/~debruin/logic_tea.html.

We are happy to invite you to an introductory meeting for new participants in the Graduate Program in Logic, where you can get to know one another, meet the staff members, and receive some practical information about the workings and rules of our institute. As part of this meeting we included the Logic Tea, a lecture series which we are certain will be of interest, and which gives you a chance to meet other ILLC members. Afterwards drinks and snacks will be served in the University Pub.

For more information, see here. We hope to see you!

Op 1 juli j.l. heeft Jaco de Bakker het CWI verlaten, waarmee een einde is gekomen aan een wetenschappelijke loopbaan van bijna veertig jaar, die met zijn aanstelling in 1964 bij de Stichting Mathematisch Centrum, de voorloper van het CWI, begon.

Ter gelegenheid van Jaco's afscheid wordt er een symposium ter zijner ere gehouden. Het programma zal bestaan uit lezingen van de volgende sprekers:

Jan Bergstra (UvA, UU)
Paul klint (CWI, UvA)
Joost Kok (UL)
Gerard van Oortmerssen (CWI)
Jan Rutten (CWI, VU)
John Tucker (University of Wales Swansea)

en zal worden afgesloten met een borrel.

The Seventh Symposium on Logic and Language will be held in Pécs from 26th to 29th of August, 2002. Special themes are:
1. Logic and Computation - Internal Information Increase
2. Syntax and Semantics - Word Order, Intonation and Interpretation

Invited speakers include L. Kalman, T. Reinhart, and J. van Eijck. Tutorials will be offred by T. Reinhart and K. Szendroi (Syntax-Semantics Interface) and J. van Eijck (Semantics); a third tutorial on information structure also is planned.

For more information, see http://maya.btk.pte.hu/~kata/lola7.html

The School is aimed at graduate students as well as other interested researchers, both from university and from industry. It will consist of several lectures on different aspects of CL; covering both the theoretical framework and relevant practical perspectives. Each lecture will provide the basic notions of its topic before proceeding to more advanced issues. Final exams in the topics studied will be available to participants on request.

Deadline for early registration: 15 May 2002

For more information, an online registration form and a preliminary program, see http://www.cs.unipr.it/ISCL02/

Abstract:

We shall present the remarkable proof [Agarwal-Kayal-Saxena '02] that $PRIMALITY \in P$

For more information, contact Hein Roehrig (roehrig at cwi.nl).

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

This event, a satellite meeting of Logic Colloquium 2002,is also the biannual meeting of the German Logic Society (DVMLG). Invited speakers include: T. Arai, J. Bagaria, A. Nies, M. Otto, C. Parsons, A. Pillay, M. Rathjen, and J. van Benthem.

For more information, an online registration form and a preliminary program, see http://www.math.uni-muenster.de/LC2002/CL2002.html

For more information, see http://www.iccs.informatics.ed.ac.uk/~malvi/esslli02.

The ESSLLI Summer Schools are organised under the auspices of FoLLI, the European Association for Logic, Language and Information.

The main focus of ESSLLI is on the interface between linguistics, 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.

In previous editions of ESSLLI the courses covered a wide variety of topics within six areas of interest: Logic, Computation, Language, Logic and Computation, Computation and Language, Language and Logic. The novelty of the 14th edition is the special emphasis on the interface between the basic areas (Logic, Language, and Computation). So, this edition offers about 50 courses, organised into three interdisciplinary areas (Language & Computation, Language & Logic, and Logic & Computation), at a variety of levels (foundational, introductory, advanced), as well as a number of workshops.

Deadline for registration: 30 June 2002. Early registration closes on 15 May 2002.

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

The ASL makes available modest travel grants to graduate students in logic and recent Ph.D's: the deadline for applications is be April 1st, 2002. For more information, a call for abstracts and a pre-registration form, please visit the meeting website at http://www.math.uni-muenster.de/LC2002/.

Hybrid logic is a branch of modal logic in which it is possible to directly refer to worlds/times/states or whatever the elements of the (Kripke) model are meant to represent. Although they date back to the late 1960s, and have been sporadically investigated ever since, it is only in the 1990s that work on them really got into its stride.

HyLo@LICS is likely to be relevant to a wide range of people, including those interested in description logic, feature logic, applied modal logics, temporal logic, and labelled deduction. In this workshop we hope to bring together researchers from all the different fields just mentioned (and hopefully some others) in an attempt to explore what they all have (and do not have) in common.

The full text of this announcement can be found at here, or on the Hybrid Logics homepage at http://staff.science.uva.nl/~carlos/hybrid/.

In 1996, as part of its Special Year on Logic and Algorithms, DIMACS hosted the first Federated Logic Conference (FLoC). It was modeled after the successful Federated Computer Research Conference (FCRC), and synergetically brought together conferences that apply logic to computer science.

The third Federated Logic Conference (FLoC'02) will be held in Copenhagen, Denmark, in July 2002, jointly hosted jointly by the IT University of Copenhagen, the Technical University of Denmark and the University of Copenhagen. The conference will be held at the University of Copenhagen.

The following conferences, as well as a large number of workshops, will participate in FLoC.

• Conference on Automated Deduction (July 27-30)
• Conference on Computer-Aided Verification (July 27-31)
• Formal Methods Europe (July 22-24)
• International Conference on Logic Programming (July 29th - August 1st)
• IEEE Symposium on Logic in Computer Science (LICS) (July 22-25)
• Conference on Rewriting Techniques and Applications (July 22-24)
• Automated Reasoning with Analytic Tableaux and Related Methods (July 30th - August 1st)

Deadline for early registration: 15 June 2002

For more information, an online registration form and preliminary programs, see http://floc02.diku.dk/

13.45 - 14.45 Rudolf Berghammer (Kiel), Computer-aided development of relational programs
14.45 - 15.15 Tool demonstration of Relview by Rudolf Berghammer
15.15 - 15.45 break
15.45 - 16.45 Jan Rauch (Prague), GUHA; relational datamining
16.45 - 17.15 Tool demonstration of GUHA by Jan Rauch

For more information, see the detailed program at here, or contact Prof.dr. H.C.M.de Swart, H.C.M.deSwart at kub.nl.

Organized by Cleo Condoravdi and Stefan Kaufmann. For more information, see here.

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

For abstracts and more information, see http://lit.science.uva.nl/News/seminar02-1.html#June28 .

Abstract:

Many model theoretic arguments for modal logics rely on bisimulation invariance which can be used to prepare nice tree-like models. The resulting tree model property of modal logics plays a major part in the usefulness and good algorithmic behaviour of modal logics. Tree models are in fact quite simply obtained as bisimilar unravellings of any given models. As bisimilar unravellings are typically infinite, however, they are not suited to the context of finite model theory. Instead, one needs other nice and manageable bisimilar companion structures that can be kept finite.

In this talk I shall discuss such constructions (and related open problems) primarily with applications to semantic characterisation theorems. Other applications, in particular also related to guarded logics, provide links with extension properties for partial isomorphisms and the finite model property of guarded logics. At the methodological level, these issues serve to illustrate the power of logic games in the model theoretic study of semantic invariances that go hand in hand with corresponding model constructions and model transformations.

The first North American Summer School in Logic, Language, and Information (NASSLLI) will take place at Stanford University from the 24th to the 30th of June. It will be followed by the eleventh Logic, Language, and Computation Colloquium (LLC) at CSLI, the program of which will be integrated with the school.

The thematic focus of NASSLLI is modeled on that of its European sister event, ESSLLI. As it is customary with schools of this nature, the classes will run from foundational and introductory to advanced. Each lecturer will give a set of five one hour lectures on a topic suitable for a broad audience interested in the interface of logic, language, and computation.

For more information, see http://www.stanford.edu/group/nasslli/ or contact Darko Sarenac at sarenac at stanfor.edu.

For abstracts and more information, see http://lit.science.uva.nl/News/seminar02-1.html#June21 .

On Friday June 21st, Josje Lodder (OU) and Hans van Ditmarsch (Otago) organize a teacher's conference to gather input for the upcoming revision of the book 'Logica voor Informatici' (Johan van Benthem et al.).

For more information, see the (dutch) invitation at here. Participants are requested to register beforehand with Josje Lodder, josje.lodder at ou.nl.

Abstract:
It may be argued that the language of mathematics is {\it about the} category of sets, although the definite article requires some justification. As possible worlds of mathematics we may admit all models of type theory, by which we mean all {\it local toposes}. For an intuitionist, there is a distinguished local topos, namely the so-called {\it free topos}, which may be constructed as the Tarski-Lindenbaum category of intuitionistic type theory. However, for a classical mathematician, to pick a distinguished model may be as difficult as to define the notion of truth in classical type theory, which Tarski has shown to be impossible.

This event is coordinated with the Sixth Workshop on Games in Logic, Language and Computation, which will take place at the same location on the same date. For more information, see http://www.illc.uva.nl/~bcate/gllc6/ .

The sixth edition of the workshop on Games in Logic, Language and Computation (GLLC6) will be held on Thursday June 20, 2002, in De Uithof, Utrecht.

The informal workshop series "Games in Logic, Language and Computation" focuses on the application of game theory in linguistics, logic and computer science, as well as on the (logical) foundations of game theory. Earlier meetings have taken place in Amsterdam, Nunspeet and Groningen.

For more information, see http://www.illc.uva.nl/~bcate/gllc6

For an abstract, see here

An abstract can be found at here. For more information, contact Cees Witteveen, witt at its.tudelft.nl

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

For abstracts and more information, see http://lit.science.uva.nl/News/seminar02-1.html#April26 .

For abstracts and more information, see http://lit.science.uva.nl/News/seminar02-1.html#June7 .

For an abstract, see here

Abstract:
Although Cross-Language Information Retrieval (CLIR) is available for more and more language pairs, based on MT services, many languages are still not covered. An attractive alternative is to construct translation models based on parallel corpora mined from the web. Since these corpora are noisy, embedding translation models in the retrieval model is not without problems. However, experiments showed that retrieval effectiveness can surpass MT systems in a CLIR evaluation task.

In this talk I offer to discuss more closely the links between the Knower Paradox and provability interpretations of modal logic. First, I bring together and compare the respective strength of several inconsistency results respectively involving truth predicates, provability predicates, up to knowledge and belief predicates. In a second part, I examine how provability interpretations of modal logic enable to bypass the limitations imposed by the Knower and related results. The discussion rests more specifically on an examination of the distinct treatments elaborated by B. Skyrms (1978), C.A. Anderson (1983), and R. Solovay (1976). imposed by the Knower and related results.

The Logic Tea homepage can be found at http://staff.science.uva.nl/~debruin/logic_tea.html

Each year the employees of the University of Amsterdam receive from the ABP their Pension Statement. The last two years the ABP has, on request of the Board of the UvA, given some workshops to the UvA-employees in order to explain the Pension Statement. This year the ABP will give the workshop in English. All UvA-employees are free to come.

In extension to the earlier given workshops in Dutch there will be special attention to pension transfer from abroad to the Netherlands and vice versa, to surrender of your pension, to the AOW-benefits and to the possibilities for insurance considering IP (disability pension) and ANW (survivor pension).

For more information, or requests for points to be addressed in the workshop, please send an email to stjon at bdu.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/News/seminar02-1.html#May31 .

For abstracts and more information, see http://lit.science.uva.nl/News/seminar02-1.html#May29 .

In this 5-day course, the basic concepts and characteristics of agent systems will be addressed, and a systematic component-based design methodology for agent systems will be presented. The course consists of both lectures and practical work.

Course material and instructions are in English.

If you would like to participate in this course, please send in a registration form before April 27th, 2002.

For more information, see http://www.cs.vu.nl/~wai/demas.

The use in science of sophisticated, complex models is widespread and yet the epistemology of science has focussed mostly on the relationship between theory and observation, to the neglect of modelling. Recent discussions of models have emphasised their autonomy and questioned the ability of previous epistemological views to account for their place in scientific practice. In this talk, I propose that we regard models as computational devices and then use algorithmic information theory to account for their use and their relationship to theory. The adoption of this perspective adds a twist to some familiar topics in the philosophy of science such as the distinction between realism and instrumentalism.

For more information on Jeremy, see http://www.arts.auckland.ac.nz/phi/staff/jeremy_seligman.htm

The Logic Tea homepage can be found at http://staff.science.uva.nl/~debruin/logic_tea.html.

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

For abstracts and more information, see http://lit.science.uva.nl/News/seminar02-1.html#May17 .

Tilburg University's Dept. of Philosophy organizes a Workshop on analytic Philosophy of Action. The workshop will focus on Intentions and Akratic Actions. Key Speaker: Alfred Mele (University of Florida).

For more information, see http://cwis.kub.nl/~fsw_2/fww/home/buekens/mele/actions.htm or mail to: Filip Buekens (f.a.i.buekens at kub.nl)

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

For abstracts and more information, see http://lit.science.uva.nl/News/seminar02-1.html#May3 .

The Logic Tea homepage can be found at http://staff.science.uva.nl/~debruin/logic_tea.html.

This conference is the first event sponsored by PHILOG, The Danish Network for Philosophical Logic and Its Applications. Its goals are: (1) to track the history and development of epistemic logic from Hintikka's first formulations to its contemporary forms,and consider some of the many applications in philosophy, computer science,economics,etc.; and (2) to describe and discuss the developments of epistemic logic in multimodal systems.

For further information,visit http://www.philog.ruc.dk/phiconf1.html.

In May, Per Martin-Löf will have his 60th birthday. To celebrate that special occasion, we organise a special afternoon, dedicated to the work of Per Martin-Löf. This event will take place on Saturday afternoon, April 27 in Hotel-Conference centre Erica, Berg en Dal, NL (near Nijmegen). The afternoon is part of the TYPES 2002 meeting, but people are cordially invited to come just for this special celebration.

For more information and registration, see http://www.cs.kun.nl/fnds/TYPES2002/martin-lof.html

For more information, see ftp://ftp.let.uu.nl/pub/colibri/logic/dutch/cabs.15-2002

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/News/seminar02-1.html#April19 .

For abstracts and more information, see http://lit.science.uva.nl/News/seminar02-1.html#April12 .

The Logic Tea homepage can be found at http://staff.science.uva.nl/~debruin/logic_tea.html.

The World-Wide Web Consortium has started, as part of its Semantic Web activity, a new working group to develop a web ontology language The second meeting of this group will be held at CWI in Amsterdam on April 8-9. Ontoweb and SIKS have taken this opportunity to organize a master class on the logical foundations of the semantic web. The two invited speakers, Peter Patel-Schneider and Pat Hayes, are members of the working group and experts in this field.

For more information and registration, see here or http://www.w3.org/2001/sw/WebOnt/, or contact enserink at swi.psy.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/News/seminar02-1.html#April4 .

For abstracts and more information, see http://lit.science.uva.nl/News/seminar02-1.html#March28 .

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

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

For abstracts and more information, see http://lit.science.uva.nl/News/seminar02-1.html#March22 .

For abstracts and more information, see http://lit.science.uva.nl/News/seminar02-1.html#May24 .

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/News/seminar02-1.html#March15 .

For more information, contact Frank Veltman (veltman at hum.uva.nl) or Martin Stokhof (stokhof at hum.uva.nl).

For an abstract of the talk, see here.

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

This second Utrecht-Amsterdam workshop aims at bringing together researchers from the University of Utrecht (UiL OTS) and the University of Amsterdam (ILLC), with common interests in the area of computational linguistics and information systems. Speakers include M. Moortgat, J. Kamps, P. Monachesi, C. Caracciolo, C. Monz, R. Moot, T. v.d. Wouden, K. Sima'an, P. Adriaans

The full program, including abstract, will be announced asap and published on the web site at http://www-uilots.let.uu.nl/~ctl/workshops#ctforl. For logistic reasons we ask you to register yourself before March 6th: registration is free. For registration and further information, please contact Caterina Caracciolo (caterina at science.uva.nl) or Paola Monachesi (paola.monachesi at let.uu.nl).

For abstracts and more information, see http://lit.science.uva.nl/News/seminar02-1.html#March1 .

This series is designed in the first place for students of mathematics, computer science, artificial intelligence, and philosophy, and the students of the Master of Logic program of the ILLC. In particular, this means that talks will not presuppose any detailed knowledge of advanced logical machinery. We expect, however, that it will be interesting for Ph.D. students and staff members, too.

Cookies and tea will be served. You are most cordially invited!

For more information, see the full announcement at here, or contact Marc Theunissen (mktheunis at science.uva.nl), or Boudewijn de Bruin (debruin at illc.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/News/seminar01-2.html#February22 .

On February 18 the newly established Cognitive Science Center Amsterdam (CSCA) will hold its first scientific meeting, which will be hosted by ILLC. Speakers are Herbert Clark, Stan Rosenschein, John Perry, Reinhard Blutner and Keith Stenning. Drinks will be served afterwards.

A program and abstracts are available at here. For more information, contact Michiel van Lambalgen (vanlambalgen at hum.uva.nl).

Organized by the Institute for History and Foundations of Physics.

This edition of the Amsterdam Aaxchen exchange will consist of three longer presentations and five shorter ones on the theme logic and games. The final program will be announced in the second week of February.

The program of this meeting now is available on the URL http://staff.science.uva.nl/~peter/prog20020215.html For more information, contact Peter van Emde Boas (peter at science.uva.nl).

For abstracts and more information, see http://lit.science.uva.nl/News/seminar02-1.html#February14 .

Lectures by Krzysztof Apt, Henk Barendregt, Johan van Benthem, Dirk van Dalen and Theo Kuipers.

For more information, contact Dick de Jongh (dickdj at science.uva.nl).

We are happy to invite you to a special talk on Wednesday, February 13. (preceeding the "Farewell Meeting Kees Doets"). An abstract can be found at here.

For more information, please contact Boudewijn de Bruin at debruin 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/News/seminar02-1.html#February8 .

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/News/seminar02-1.html#February1 .

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

For abstracts and more information, see http://lit.science.uva.nl/News/seminar02-1.html#January25 .

For abstracts and more information, see http://lit.science.uva.nl/News/seminar02-1.html#January18 .

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

Afterwards there will be the ILLC New Year's drinks in Cafe de Jaren, Nieuwe Doelenstraat.

For more information, contact Frank Veltman (veltman at hum.uva.nl) or Martin Stokhof (stokhof at hum.uva.nl).

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

This special issue intends to cover aspects such as theory and foundations, implementation issues, and applications involving underlying ideas on Annotated Terms.

We look for original, unpublished contributions of high quality which are not submitted elsewhere. The deadline for submissions is June 30, 2002.

Guest editor is Mark van den Brand (CWI).

For more information, see http://www.cwi.nl/~markvdb/JLAP-AT/ and http://www.elsevier.com/locate/jlap.

Keywords: efficient automated reasoning, CSPs, constraint propagation, modal logics, modal satisfiability.

For more information, see http://www.cwi.nl/~gennari/thesis

For more information, see http://www.cs.vu.nl/~mirna/

For more information, see http://www.aiellom.it/phd/.

Balder ten Cate and Ken Shan received the "Best Student Session Paper Award" sponsored by Kluwer Academic Publishers, on the ESSLLI Summerschool in Trento for their paper "The Partition Semantics of Questions, Syntactically". The paper can be downloaded from Balder's web-page: http://staff.science.uva.nl/~bcate/.

Het onderzoeksprogramma Interactieve Multimodale Informatie Extractie (IMIX) is een gezamenlijk initiatief van het Gebiedsbestuur Geesteswetenschappen en het Gebiedsbestuur Exacte Wetenschappen en maakt deel uit van het thema Digitalisering en Informatisering uit de NWO Strategienota Thema's met Talent.

Het IMIX programma heeft als doel het vergroten van de strategisch-fundamentele kennis op het gebied van de Nederlandse taal- en spraaktechnologie en de toepassing daarvan binnen multimodale en/of multimedia systemen. Voor de uitvoering van het IMIX programma heeft de programmacommissie een aantal strategische en thematische prioriteiten vastgesteld, die uitgebreid in de Call for Proposals staan beschreven. Deze prioriteiten zullen als basis dienen voor de beoordeling.

For more information and a Call for Proposals (also in english), see http://www.nwo.nl/imix/.

The NWO invites you to make a project proposal regarding "De Open Competitie". Deadline for this proposal is January 29, 2003

For the full invitation (in dutch), see here. More information about the grant and a brief summary of the standard procedure for applying is provided on the NWO website at https://www.iris.nwo.nl/, or contact Ir.drs. M. de Boer at boerm at nwo.nl

The ESF Standing Committee for the Physical and Engineering Sciences (PESC) herewith launches (9 September 2002) a call for "outline" proposals for ESF Scientific Programmes. PESC wishes proposals to address NOVEL SCIENCE in one or more of the following fields: chemistry, physics, mathematics, information sciences and technology, fundamental engineering sciences, materials sciences and engineering. Multi-disciplinary proposals based in these areas but also involving fields within the remit of other ESF Standing Committees are also welcome. Deadline for proposals is October 31st, 2002.

An ESF Scientific Programme is a networking activity, bringing together key researchers and research groups for four or five years to address a major scientific issue at the European level. Key objectives are to bring synergy and European added value to research work being undertaken at the national level, and to achieve a visible impact at the European level to the advantage of European science.

For more information, see http://www.esf.org/esf_article.php?domain=1&activity=5&article=262

Not all of you may know that the UvA declaration forms can be downloaded from the web. The forms can be found at: http://www.science.uva.nl/faculteit/fa/decl/
If you print and fill out the form and send it to our office accompanied by original tickets or receipts we will see to it that the amount will be transferred into your account a.s.a.p.

Through the CWI (Centrum voor Wiskunde en Informatica), there are possibilities for individual OzsL researchers to participate in the activities of ERCIM (European Research Consortium for Informatics and Mathematics) and IMA (Institute for mathematics and its Applications). The CWI is actively involved in both ERCIM and IMA.

See http://www.ercim.org and http://www.ima.umn.edu for information about ERCIM and IMA. Those interested in participation in ERCIM activities, please contact dr. ir. Barry Koren at Barry.Koren at cwi.nl (ERCIM), or prof. dr. Lex Schrijver at Lex.Schrijver at cwi.nl (IMA).

Laatste mogelijkheid om binnen 5KP Marie Curie Individuele Fellowships aan te vragen: Het gaat hierbij om Individuele Fellowships om binnen Europa maximaal 2 jaar postdoc onderzoek te doen, of jonge onderzoekers te ontvangen. Om als Marie Curie Training Site aangemerkt te worden, kunnen (delen van) onderzoekinstituten zich aanmelden bij de Europese Commissie. Onderzoek instituten geven aan dat zij op een bepaald onderzoeksthema jonge promovendi uit Europa maximaal één academisch jaar kunnen ontvangen en extra kunnen trainen. De subsidie betreft een beurs voor de fellow en een fee voor de ontvangende Training Site.

Improving Human Potential programma deadline 13 maart 2002
Quality of Life programma deadline 10 april 2002
Environment programma deadline 20 maart 2002
Environment programma Training Site deadline 20 maart 2002

Voor nadere informatie, zie http://www.cordis.lu/improving/fellowships/deadlines.htm, of zoek contact met het Liaison Office van de Universiteit. E-mail: e-lluster@ bdu.uva.nl; telefoon: 525 5417 of fax 525 5242.

The Faculty of Sciences is looking for one or two Postdocs for the Department of Artificial Intelligence.

The Department of Artificial Intelligence does research in both fundamental and applied aspects of Agent Technology, Knowledge Technology, Computational Intelligence and their applications. The current vacancy is for a position in the Agent Systems Research Group, focusing on research into modelling dynamics of agent behaviour and multi-agent organizations. This includes analysis of the usefulness of verification, (model-)checking and diagnosis of organizational dynamics, simulation of dynamics, and correlating dynamic properties on different aggregrational levels within an agent or organization.

For more information, contact dr. C.M. Jonker at jonker at cs.vu.nl or tel: 020-44 47743/47700, or prof. dr. J. Treur at treur at cs.vu.nl. Or see the departemental website at http://www.cs.vu.nl/ai.

The ILLC is looking for a PhD student in the field of Philosophy of Language, Philosophical Logic, or Computational Linguistics. The PhD student will get an appointment for four years at the Faculty of Humanities of the University of Amsterdam. The starting date of the appointment is September 1, 2002.

The application deadline is May 31, 2002. For more information, see here

The Language and Inference Technology group at the University of Amsterdam is searching for highly motivated candidates with a PhD in computer science, computational linguistics, or a related discipline, for a postdoc position. The ideal candidate has a working knowledge of linguistics and experience with applications that demand natural language processing capabilities. He or she has a strong orientation towards empirical and applied research, with system development and evaluation forming an integral part of his/her research activities. Research experience in machine learning or statistical modeling techniques is essential.

For more information, see the full text of this announcement at here, or the project homepage at http://www.science.uva.nl/~mdr/Projects/ComputingwithMeaning/

The University of Padua has renewed its programme for foreign researchers who have obtained their doctorates abroad (i.e. outside Italy) and wish to pursue their scientific research work at the University of Padua.

These fellowships are intended for foreign researchers who have achieved their research doctorate or equivalent qualification abroad within the last five years. The program offers 10 two-year fellowship grants, the annual amount of each grant being 21,000 euros. The deadline for submitting the application is December 31st, 2002. A decision about admission will be taken within February 28th, 2003.

For more detailed information, including application forms, see the web site of the University of Padua, at http://www.unipd.it/ammi/borse/call_application.pdf (English Version) or http://www.unipd.it/ammi/borse/bando.pdf (Italian version). Or contact the Liaison Office of the UvA at http://www.liaisonoffice.uva.nl/, email: e-lluster at bdu.uva.nl, tel: 525-5417 (LO identifier: Uni Padua 2002).

The Faculty invites applications for a postdoc in the Department of Theoretical Philosophy

For further information, see here or the departmental website at http://www.philos.rug.nl/algemeen/tf/tf.htm.

The Mitteleuropa Foundation, a research center in cognitive systems and ontology, has a number of posts for Research Fellows and PhD students available.

For more information, see their recently updated webpages at http://www.mitteleuropafoundation.it.

The European Post-Doctoral Institute (EPDI) launches a new call for Post-Doctoral Fellowships. Each year, the EPDI proposes 5 two-year grants in mathematical sciences, with the only requirement for the fellows to spend at least 18 months in a foreign country and from 6 to 18 months at one or several EPDI institutes. Applications are reviewed in January 2003.

For more information, see the EPDI website at http://seven.ihes.fr/EPDI/index.html,

The Department of Linguistics at Georgetown University Seeks to hire a Computational Linguist at the Associate (tenured) or Assistant(tenure-track) Professor level, with a specialty in Natural Language Processing. Ph.D. in Linguistics required; salary commensurate with experience. Priority will be given to applications received before November 1, 2002.

For more information, see here or contact Paul Portner at portnerp at georgetown.edu.

A postdoctoral fellowship/research fellowship, supported by grants from the Australian Research Council, is available in applications of modal logic to distributed systems. The research conducted may encompass both proof theory for logics of knowledge and belief and algorithmic verification techniques based on these logics, including the development of a model checker and its application to the verification of knowledge-based programs and security protocols.

Applications should be submitted by July 26. Applicants should have, or be about to complete, a Ph.D. in computer science, or equivalent research experience appropriate to the project, and expertise in modal logic (particularly epistemic logic and temporal logic) and/or model checking.

For more informatin, see http://www.cse.unsw.edu.au/~meyden/positions or contact Assoc. Prof. Ron van der Meyden at meyden at cse.unsw.edu.au.

Auckland University (New Zealand) invites applications from qualified individuals for appointment to a Lectureship (tenure-track) in the Department of Philosophy. The area of specialty is Logic. Areas of competence may be in any area of Philosophy. The Department fosters a pluralist ethos involving different areas and styles of philosophy, and values collegiality; it is expected that the successful applicant will share these values. Significant teaching experience will be strongly preferred.

The closing date for applications is 4th Nov. 2002. Preferred start date is Feb. 1st 2003. For further information, see the release on the Department's website at http://www.arts.auckland.ac.nz/phi/pr0021.htm or contact Professor Rosalind Hursthouse, email r.hursthouse at auckland.ac.nz.

2-year post-docs positions in Univ. of Padova.
Deadline for application: Jan. 30, 2002.
Area: Constraints.
Coordinator: Francesca Rossi.

For more information, please visit http://www.unipd.it/main/english/grants/call_applications.html or mail Francesca Rossi at frossi at math.unipd.it

Applications are invited for three EU-funded Marie-Curie postdoctoral fellowships, each of two years duration, within the Department of Computer Science at the University of Liverpool. The successful fellows will work on extending and refining the model checking approach, investigating deductive, lightweight and multi-agent aspects of model-checking.

Closing date for applications: 15th February 2002.

The full text of this announcement can be found at here. Details of both the research group and Department can be found via http://www.csc.liv.ac.uk/research/logics.

Master of Science students:
Elizabeth (Be) Birchall, Canada, U.K.
Julia Grodel, U.S.
Guillaume Aucher, France
Loredana Afanasiev, Moldavia
Spencer Gerhardt, U.S.
Oren Tsur, Israel
Clive Nettey, U.K.
Gilad Mishne, Israel
Chunlai Zhou, China
Tanja Hötte, Germany
Thuy Linh Nguyen, Vietnam
Jill Cirasella, Canada
Giosué Baggio, Italia

Exchange students:
Andreas Zollmann, Germany
Dirk Walther, Germany

We are happy to announce that we have found a new coordinator for the Master of Logic program. His name is Peter Paul de Witte, and he will join ILLC for two days a week (Monday and Thursday), for a period of at least half a year. His office will be room 312 in the Euclides building.

A short introduction can be found at here.

Troy Lee (USA) is PhD student at the ILLC, starting February 1, 2002

At here you can find a small text Troy has written to introduce himself

Darrin Hindsill.(re-)joins the ILLC, as a PhD student working on 'Logic and Cognition'.

At here you can find a small text Darrin has written to introduce himself For more information, contact d.hindsill at hum.uva.nl.

Nick Bezhanishvili (Georgia) is PhD student at the ILLC as of January 1, 2002, working on the 'Constructive and Intensional Logic' project. His office will be room P.316 in the Euclides building.

At here you can find a small text Nick has written to introduce himself. For more information, contact nbezhani at science.uva.nl.

Tanja Kassenaar will start on Tuesday March 19 at our office on Plantage Muidergracht 24 for 19 hours a week. Her working days will be Tuesdays, Thursdays and Fridays; room P 3.29.

As of 1 september 2002, the ILLC crew will be extended with Merlijn Sevenster and Sjoerd Druiven. They will join us as PhD students working on the InIGMA project under Johan van Benthem and Peter van Emde Boas. Before them, Merlijn Sevenster can occasionally be found in room P.318 in the Euclides building.

At here you can find a small (dutch) text Merlijn has written to introduce Sjoerd and himself. For more information, contact Merlijn at sevenstr at science.uva.nl.

Starting February 4 2002, Clemens Kupke has joined the research forces of the ILLC. He will work as a PhD student on the NWO project `Coalgebraic Modal Logic' and will divide his activities between the ILLC and the CWI. His supervisors are Yde Venema (ILLC) and Jan Rutten (CWI).

The November 2002 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 .

Dear Friends and Colleagues,

This is to let you all know that last Friday, November 15 our twin daughters Gaia and Rosa were born. They are still in hospital, together with their mother, but are expected to be released soon.

With kind regards,

Jan van Eijck and Heleen Verleur

The newsletter for PHILOG - The Danish Network for Philosophical Logic and Its Applications - PHINEWS, now has it's own website, at http://www.phinews.ruc.dk/.

We invite you to contribute material to PHINEWS. Since the release of PHINEWS volume 2 (October 2002) the subscription list has increased to more than 400 subscribers and still counting. The next volume of PHINEWS is scheduled for March 2003. Deadline for submissions is February 15, 2003.

For more information, see http://www.philog.ruc.dk/ and of course http://www.phinews.ruc.dk/.

The September 2002 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 .

As happens every year during the holiday season (22 juli-16 august) the Euclides building and other buildings of the Roeterseilandcomplex (A, E/H, P) will be closed during the evenings. Closing times are at 18:00 (as is normal for fridays). Of course it remains possible during all summer to use the "overwerkregeling" to get into the buildings.

From July 15 until August 18, 2002 the opening hours of the canteens of the Roeterseilandcomplex (REC) will be:
Mensa Agora: 09.00 till 15.00
Cafe Krater: 09.30 till 17.00
Kantine A: closed, the machines will be functioning.

The April 2002 issue of the Newsletter of the Association of Symbolic Logic is out. It is available online from the ILLC website at http://www.illc.uva.nl/NewsandEvents/ASL/april2002newsletter.pdf .

The course schedule can be found on the GPiL website at http://www.illc.uva.nl/gpil/index.php?contents=courses/trimester2001_3.html .

If you obtained your prior degree outside of the Netherlands, it is likely that you will have to request the College voor Promotions for the granting of an exemption from the formal (Dutch) educational requirements. For this you need to submit an exemption form, accompanied by properly certified copies of all diplomas, degrees and certificates beyond high school/secondary school, with list of marks, as evidence of an academic level equivalent to doctorandus.

It is advisable to do this well in advance, preferably at the start of your tenure! Problems with certifications sometimes can cause great delays, in at least one case almost delaying a promotion beyond the stay of the promovendus in the Netherlands.

The exemption request form, and an english folder with the exact requirements and procedure to follow if you did not obtain your prior degree in the Netherlands should have been included with the Promotiereglement. These documents are otherwise available from the bureau of the College voor Promoties, or online from the Promotions for ILLC Promovendi page.

Andreas Weiermann (University of Muenster) will teach this course during the third trimester on Fridays. He will explain and discuss the contents of this course and the results treated with students interested in taking it.

Contact D. de Jongh at dickdj at science.uva.nl for information.

The January 2002 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/.

The course schedule can be found on the GPiL website at http://www.illc.uva.nl/gpil/index.php?contents=courses/trimester2001_2.html .

This is a continuation of the course with the same title taught last term. In this trimester, I will consider logics for reasoning about uncertainty, modeling default reasoning, belief revision, and (if time permits) relating statistical reasoning to degree of belief. The course will probably run only in January and February.

For more information, see the GPiL course schedule .