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

In de afgelopen decennia is er in de taalwetenschap in toenemende mate aandacht besteed aan de relatie tussen taal en cognitie. De Cognitieve Linguïstiek, zoals die is ontwikkeld door o.a. Lakoff, Langacker, Talmy en Fauconnier, beschouwt het menselijk taalsysteem niet als een aparte module, maar als een systeem dat fundamenteel verbonden is met meer algemene aspecten van cognitie. In de analyse van taalverschijnselen wordt een centrale rol toebedeeld aan aspecten als taalgebruik, (culturele) ervaring, en algemene cognitieve processen (zoals analogie en 'image schemas').

Ook in Nederland en Vlaanderen is er steeds meer belangstelling voor deze benadering van taalwetenschap, ook in aangrenzende disciplines als taalbeheersing en psycholinguïstiek. Om die reden wordt op 17 december 2004 een (informele) lezingendag georganiseerd, de Cognitieve Linguïstiek Dag. Het doel van deze dag is om een platform te bieden voor het werk van cognitief georiënteerde taalwetenschappers.

Deadline for submissions: 10 september 2004. For more information, see http://www-uilots.let.uu.nl/events/coglingdag.htm

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

Four stanford Ph.D. students: Patrick Girard, Darko Sarenac, Josh Snyder, and Tomasz Sadzik, are visiting the ILLC this week and the week after. On this occasion, we are organizing a series of technical seminars on update, space-time, games and complexity. The seminars will be real working sessions (not 'sales talks'), consisting of a one hour talk followed by discussion among expert students and researchers.

You are welcome to join one or more of the sessions if you have an interest. Papers will be made available beforehand on the website.

For more information, a schedule of lectures, and papers, please visit the website at http://staff.science.uva.nl/~oroy/stanford/ For all other matters, contact Olivier Roy at oroy at science.uva.nl.

*** SPECIAL ILLC EVENTS ***

You are cordially invited to attend this event that will take place Saturday December 11.

Michael Friedman (Bloomington & Stanford) is a well-known philosopher of science and historian of philosophy with special interests in Kant and the Vienna Circle. He will speak about his new book "The Dynamics of Reason" which brings together insights on scientific progress from Carnap and Kuhn, in a Kant-inspired perspective.

Further speakers are Boudewijn de Bruin, Henk de Regt, Jan-Willen Romeyn, Rens Bod, and Johan van Benthem.

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

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

Lectures by Jan van Eijck & Albert Visser, Rick Nouwen and Frank Veltman.
The lectures are followed by drinks.

All are invited, but you are requested to preregister by sending an email to heleen.hoekstra at let.uu.nl

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

GLLC9 is an informal workshop about applications of game theory in logic, linguistics, and computer science, and on the logical foundations of game and decision theory. Speakers include Wlodek Rabinowicz (Lund University) and Marc Pauly (Toulouse).

For more information, a programme and abstracts, see http://staff.science.uva.nl/~debruin, or write to debruin at science.uva.nl

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

On friday, 3 december 2004 the annual Student Accolade of the OzsL, the Dutch research school in logic, is held, as part of the OzsL schoolweek. The Accolade is a day on which the PhD students of the OzsL communicate on their research and share their experience as a doctoral student. PhD students of the OzsL are hereby warmly invited to submit an abstract for a 15 minute presentation.

Submission deadline: November 15, 2004.
For more information, see here or contact H. J. Sander Bruggink (bruggink at phil.uu.nl) or Joost J. Joosten (Joost.Joosten at phil.uu.nl).

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

Programme: 14:00 - 14:10: Opening
14:10 - 14:45: Hiroyuki Iida, Games and Ranking
14:45 - 15:15: Erik van der Werf, Full Board Evaluation in the Game of Go
15:15 - 15:30: Break
15:30 - 16:00: Levente Kocsis, Omaha Hi-Lo Poker
16:00 - 16:30: Mark Winands, Building a World Champion LOA Program

For more information, see http://www.cs.unimaas.nl/ikat/symposiumwinands/

(dutch only)
Onder de titel Maagdenhuis op Maandag buigen topwetenschappers van de UvA en hun gasten zich over wat onlangs ontdekt, bedacht of uitgevonden is. Universiteitshoogleraar Johan van Benthem houdt in zijn verhandeling de verhouding tussen natuurlijke talen en kunsstalen nog eens tegen het licht.

Voor meer informatie, zie http://www.uva.nl/actueel/object.cfm/

From Monday the 29th of November till Friday the 3rd of December the OzsL Schoolweek will be held in the forests of Nunspeet. The week will consist of two parts:

• Lectures on Automated Theorem Proving [Aut], Provability Logic [PL], Proof Theory [PT] and Philosophy [Phil]
• Accolade meeting. PhD students of the OzsL communicate on their research and share their experience as a doctoral student.

If you are a PhD-student of the ILLC or one of the other participating groups of the OzsL, the group wil pay your registration fee. For others, the fee is € 700. The registration fee includes 4 nights at Hotel Dennenhoeve, as well as Breakfast, lunch and dinner.

For more information, see the OzsL Schoolweek page at http://godot.phil.uu.nl/~pape/ozsl/schoolweek.php.

Infinite Games have been investigated by mathematicians since the beginning of the twentieth century and have played a central role in mathematical logic. However, their applications go far beyond mathematics: they feature prominently in theoretical computer science, philosophical Gedankenexperiments, as limit cases in economical applications, and in many other applications. The conference FotFS V wants to bring together researchers from the various areas that employ infinitary game techniques to talk about similarities and dissimilarities of the different approaches and develop cross-cultural bridges.

We invite all researchers from areas applying infinitary game-theoretic methods (economists, mathematicians, logicians, philosophers, computer scientists, sociologists) to submit their papers before September 15th, 2004. Topics will include Games in Algebra and Logic, Games in Higher Set Theory, Games in Set-Theoretic Topology, Infinite Games & Computer Science, Infinite Games in Philosophy, Infinite Evolutionary Games, Machine Games, Game Logics, Infinite Games in the Social Sciences.

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

The Nijmegen Centre for Semantics (NCS) presents the third Semantics in the Netherlands day. SiN provides a platform for graduate students working on natural language semantics in the Netherlands. This year's edition is hosted by the NCS and will take place Thursday, November 25 at the Radboud University Nijmegen (deadline for submission of 1p PDF abstracts: October 1). The SiNday is the opportunity for graduate students to present their research in any area of natural language semantics and its interfaces with pragmatics, syntax, morphology, logic, computational linguistics, and the like. SiN III will be concluded with an invited lecture by Prof. dr Henriëtte de Swart (Utrecht University).

Deadline for submissions is October 1st, 2004. For more information, see here or point a browser at http://www.ru.nl/ncs/sin

Preliminary program:

13.00-13.30	Welcome with tea or coffee.
13.30-14.00	Albert Visser: Dick de Jongh and provability
14.10-14.40	Rosalie Iemhoff: Dick and rules
14.50-15.05	Ingrid van Loon: Dick de Jongh, a master of logic
15.05-15.20	Tea break
15.20-15.50	Yoav Seginer: A topic from learning theory
16.00-16.30	Jaap van Oosten: Proving maximality results by realizability
16.40-17.40	Drinks

For more information mail to anne at science.uva.nl.

Het afscheidscollege begint om *14 uur precies*. Na afloop van het college vindt een receptie plaats.

Dick de Jongh heeft aangegeven graag in toga te gaan, en hierbij het verzoek aan alle collega-hoogleraren hem desgewenst daarin te volgen. In dat geval wordt u verwacht een kwartiertje eerder aanwezig te zijn.

The idea of a "Semantic Web" has rapidly gained visibility on both the academic and the industrial agenda in recent years. Currently, some cornerstone technologies are in place, some applications are beginning to emerge, and many new research challenges have emerged. In this two day course, all these aspects will be highlighted.

Deadline for registration for SIKS-Ph.D students (who can participate at no charge): 1 November 2004. For more information, including an online registration form, see http://www.siks.nl/sem-web2.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/.

There is a long-standing debate about the principles and mechanisms that constrain the combinatorial properties of affixes, in particular of English suffixes. Most recently, Hay has proposed a psycholinguistic model of morphological complexity, according to which an affix which can be easily parsed out in processing should not occur inside an affix which cannot. This model has been called 'complexity based ordering'. The general claim is that affixes can be approximately ordered along a hierarchy of complexity, with more separable affixes at one end, and less separable affixes at the other end. More separable affixes can attach outside less separable affixes, but not vice-versa.

In this talk, Ingo Plag presents research that tested the predictions of complexity based ordering through an investigation of 30 English suffixes and their potential combinations.

For abstracts and more information, see http://www.mpi.nl/world/colloquia/col-program.html .

(dutch only)
De Vereniging voor Logica en Wijsbegeerte der Exacte Wetenschappen (VvL) nodigt u hierbij uit voor een VvL symposium "Logica in de Lage Landen". Deze gebeurtenis vindt plaats op vrijdag 12 november 2004 in zaal 414 van de de Jaarbeurs in Utrecht. Het programma begint om 12.45 met een broodjeslunch, u aangeboden door de VvL, tijdens de jaarlijkse Algemene Ledenvergadering.

Alle belangstellenden zijn van harte welkom. De toegang is gratis. Voor het programma en abstracts van de lezingen, zie here.

'Eternal sunshine of the spotless mind', a recent movie, presents a romantic and futuristic neuroscience approach to deleting autobiographical memories. Although the idea of inducing amnesia may be intriguing it seems to be mere speculation in the light of the state of the art in neuroscience. In this lecture I will review the role of autobiographical memories in emotional experience; how do these memories contribute to what is experienced? After that I will discuss an approach to the modulation of emotional memories, which may eventually result in the modulation of emotional experience. I propose that retrieval of past emotional experiences needs hippocampal and amygdaloid transmission as long as this retrieval generates emotional responses. Memories that generate emotions are 'hot', in contrast to cold memories that are not accompanied by arousing emotional reactions. I hypothesize that these hot memories are better consolidated than cold memories. Modulation of emotional memories occurs through the action of stress hormones, which may influence encoding, consolidation as well as retrieval. Let's see where we are at this point in time.

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

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

(Dutch only)
Themamiddag met als onderwerp 'Communicatie als cognitief proces'. De sprekers belichten een aantal interdisciplinaire aspecten van het onderzoek, waarbij zij aandacht besteden aan vier onderwerpen:

• de evolutie en ontwikkeling van communicatief gedrag bij mens en dier
• communicatie vanuit neurocognitief perspectief
• gestoorde communicatie, in het bijzonder autisme
• communicatie tussen en met kunstmatige systemen.

Aanmelding is open tot 22 Oktober 2004. Voor meer informatie en het programma kunt u kijken op http://www.knaw.nl/cfdata/agenda/agenda_detail.cfm?agenda__id=514 .

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

Belief revision theory was first developed to give a formal answer to this question, following a long tradition of philosophical work on theory change. In the last two decades, belief revision has become one of the most active areas of research, at the confluence between cognitive science, logic, philosophy, and AI. Nevertheless, the most crucial features of belief revision still remain unsolved - and the main reason lies in a serious lack of integration between the 'formal side' and the 'cognitive side' of the problem, i.e. between approaches first developed in logic, computer science and philosophy, and theoretical models and empirical evidences gathered in the field of cognitive science and experimental psychology.

This workshop brings together leading experts in several related fields to discuss these issues and compare distinct approaches. Different paradigms need not to merge, since they might turn out to address complementary aspects of belief change. But in this workshop they will be confronted with each other, to clarify differences and synergies - with special emphasis on the primacy of cognitive studies. Belief revision is perhaps the most fundamental of our cognitive skills: therefore, its formal understanding cannot abstract from empirical data on belief change in humans.

For more information and abstracts, see:

http://www.unisi.it/ricerca/dip/fil_sc_soc/dot-sc/belrev.html

Discourse anaphora are important devices for achieving cohesion in natural language texts. It is, therefore, important that natural language generation systems are able to correctly use the anaphoric devices provided by natural languages in order generate fluent and natural sounding texts.

Research in natural language generation has concentrated on one specific class of anaphoric expressions, namely, definite noun phrases referring to a previously mentioned entity. Anaphora that establish a link to an expression which is not co-referent with the anaphoric expression and non-nominal anaphora have not been treated, so far.

In my talk, I will present the standard approaches to the generation of co-referential noun phrases and will then show how to extend them to other kinds of anaphoric expressions. In particular, I will discuss the generation of bridging descriptions (as in 1) and of additive particles (as in 2).

(1) Antonia walked towards the house. Suddenly, THE DOOR opened.
(2) Antonia likes cake. She ALSO likes ice cream.

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

As part of the Colloquium 'Cognitive Foundations of Interpretation' the Royal Netherlands Academy of Arts and Sciences organizes a masterclass on 29 October 2004 in Amsterdam, co-sponsored by the Cognition Programme of the Netherlands Organisation for Scientific Research. There are lectures by Judith Aissen, Gerhard Jaeger, Barbara Partee, and Paul Smolensky about topics in the area of linguistic explanation, semantic interpretation and cognitive architecture. The masterclass is intended for PhD students in linguistics and cognitive science and has an advanced level.

For more information, see here or http://www.let.rug.nl/~gerlof/knaw/masterclass.html

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

The main purpose of the meeting is to come up with ideas for biweekly activities to be held in the MoL room for and by the MoL students. Other than that, we are happy to discuss ongoing issues, wishes and complaints (about the room).

The symposium 'Artificial Intelligence in the wild' will be organized at the occasion of the 10th Anniversary of the AI Institute Groningen on Wednesday October 20th, before the BNAIC'04 conference.

The symposium will be focusing on the achievements of the situated & embodied paradigm, in contrast to logic-based approaches. The "wild" environment in this respect covers both the natural and man-made environments and environments in which the physical presence of the human user plays a central role in man-machine interaction. Speakers will be invited who cover a number of views on these topics.

For more information, see http://www.ai.rug.nl/conf/AI-in-the-Wild/

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.math.uu.nl/people/jvoosten/seminar.html

Plenary speakers: Andreas Blass, Gregg Hjorth, Julia Knight, Peter Komjath, Ted Slaman and John Steel. Invited speakers: Peter Cholak, John Clemens, Ilias Farah, Matt Foreman, Benedikt Löwe, Itay Neeman, Reed Solomon, Slawomir Solecki, Jindra Zapletal and Martin Zeman

For more information, see http://www.math.unt.edu/logic/ntlc.html

Cryptographic protocols play an important role for building secure distributed systems. Such protocols involve the interaction of several agents with potentially conflicting security goals. The aim of this workshop is to bring together researchers and practitioners from the cryptography and distributed computing areas, from academia and industry, who are working on secure multiparty protocols for distributed systems, in order to engage in a discussion about common goals and important research problems in the overlap of the areas.

The Secure Multi-Party Protocols (SMP '04) workshop is organized by ECRYPT, the European Network of Excellence in Cryptology, and in connection with DISC 2004, the 18th Annual Conference on Distributed Computing, which takes place October 5-7, in Amsterdam. (The program of October 7 will be partially joint with DISC, and held at the same venue.)

For more information, see http://www.zurich.ibm.com/~cca/smp2004/

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

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

Games, like logics, are tools for investigating the world, language, and their relationship. Semantic, dialogic, evolutionary, interrogative, argumentative, and pragmatic methods have been included into the toolkit. Following the recent increase in investment on games and game-theoretic methods in logic, language, computation and communication, we still need a better understanding of the possibilities of forming converging methodologies underlying these diverse contemporary currents. The purpose of the Prague Conference on Logic, Games and Philosophy: Foundational Perspectives is to explore the interfaces between logic and games with the eye on philosophical, methodological and foundational issues.

Deadline for submissions is June 15, 2004. For more information, see http://www.flu.cas.cz/Logica/Aconf/col2004.html or here.

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 ICPR2004 Theme is "Pattern Recognition in the Digital World", and will be a multi-track international forum for discussions on recent advances in the fields of:

• Computer Vision and Robotics
• Pattern Recognition
• Neural Networks
• Image and Signal Processing
• Biomedical, multimedia and e-commerce applications

Deadline for registration: 6 August 2004

For more information, an online registration form and a preliminary program, see http://www.ee.surrey.ac.uk/icpr2004/

The 16th Belgian-Dutch Conference on Artificial Intelligence (BNAIC'04) aims at presenting an overview of state-of-the art research in AI in Belgium and the Netherlands. Topics of interest include cognitive modeling, neural networks and AI in law, music & art. The deadline for submissions is June 1, 2004. The conference is preceded by the workshop "AI in the wild: Cognition in dynamic environments".

For more information, see http://www.ai.rug.nl/conf/bnaic2004/

This lecture will cover the history of classical rhetoric, concentrating on the role of argumentation, and give some perspectives on development into the Middle Ages. It is part of the course "Core Logic" and specifically addressing the students in the M.Sc. programme in logic. Of course, all other ILLC logicians (both students and staff members) are cordially invited as well.

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

Security and management of information are key issues in informatics, and are among its fast-developing fields. On the one hand, this calls for a continuous attention of the researchers to the most recent developments in these areas. On the other hand, it asks those same researchers to come up with novel ideas and insights, while designing their own views for the growth of these fields.

The workshop aims at providing a platform for young scientist to present their research views on all areas related to the design of complex architectures, with a special focus on the security and management of information.

Deadline for submissions is June 25th, 2004. For more information, see http://www-gris.det.uvigo.es/vodca or here, or contact s.m.h.j.joosten 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/.

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

Invited speakers include: Philippe Balbiani (Toulouse), Keith Devlin (Stanford) , Valentin Goranko (Johannesburg), Wiebe van der Hoek (Liverpool), Maarten Marx (Amsterdam), Robert Stalnaker (MIT). During the conference there will be a special session on "Modal Logics for Knowledge and Action".

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

The Master of Logic Programme will be organising an introduction for the new students on Thursday 2nd of September. Part of the Master of Logic programme is a boattrip through the canals of Amsterdam. The boat will depart at 16.30 sharp from behind Euclides (same as last year).

We would like to invite you all to join the boattrip. However, as we have quite a few new students and as this is the first year we are running the 2nd year programme we may encounter a capacity problem as only 60 people are allowed on the boat. To prevent dissapointment we ask you to register for the boattrip.

For more information, see here.

ECAI is the more and more becoming a key reference point for assessing a worldwide State-of-the-Art in Artificial Intelligence. The conference brings together researchers from academy, software developers and users from industry and public organizations, offering them invaluable occasions to meet and exchange ideas, thus contributing to making real the upcoming 'Information Society'.

Along with refereed paper presentations and invited talks by prestigious speakers, the conference will offer, on August 22 through 24, 2004, workshops and tutorials on most advanced topics.

For more information, see the conference website at http://www.dsic.upv.es/ecai2004/

Binding Theory, which is concerned with sentence-internal constraints on anaphora, was originally conceived in syntactic terms as a set of conditions on the distribution of indices. But other researchers have attempted to derive these constraints from lexical semantics or the interpretative procedure rather than the syntax. Some add a semantic component to a syntactic core, but others are more radically semantic.

The workshop, which is intended for advanced PhD students and researchers, will provide a forum to compare and assess these diverse proposals. We welcome proposals for 45mn contributions (30mn presentation + 15mn discussion), which should be specific, explicit and semantically informed.

Extended deadline for submissions is March 26, 2004. This workshop is part of ESSLLI 2004. For more information, see the workshop website at http://www.linguistics.ucla.edu/people/schlenker/ESSLLI04.html.

The workshop, this year in its second edition, aims at bringing together graduate students and 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 that arise with formalisms (epistemic, temporal, dynamic and authentication logics and tools) inspired by the needs of modelling information exchanges in multi-agent systems.

The workshop will be held within the context of ESSLLI04, the 2004 edition of the European Summer School on Logic Language and Computation, to be held in Nancy in August 2004.

Those wishing to participate in the workshop are invited to submit an original research paper, at or before March 15, 2004. For more information, see http://www.win.tue.nl/~evink/lcmas04.html

LAMAS 2 is one the workshops associated with the eighth Pacific Rim International Conference on Artificial Intelligence ( PRICAI ). It is a follow-up workshop to a previous workshop on logic and multiagent Systems ( LAMAS ) held at the University of Otago in October 2002. The workshop aims to provide a forum to foster lively and fruitful discussion on issues involved in logic and multiagent systems.

The LAMAS2 organizers are Hans van Ditmarsch, Stephen Cranefield, Thomas Meyer, and Guido Governatori. The submission deadline is 15 May 2004. Particular topics of interest are: (1) Specification, verification, and synthesis of multiagent systems (2) Belief revision, belief merging, and dynamic epistemic logics (3) Protocols concerning commitment and negotiation (4) Logics of institutional agency (5) Non-monotonic reasoning, automated reasoning, and model checking.

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

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-2004 is organised under the auspices of the European Association for Logic, Language and Information (FoLLI).

Extended deadline for early registration is May 7th, 2004. For more information and an online registration form, see the website at http://esslli2004.loria.fr/.

For more information, see http://lc2004.unito.it/

WoLLIC is a series of workshops which started in 1994 with the aim of fostering interdisciplinary research in pure and applied logic. The idea is to have a forum which is large enough in the number of possible interactions between logic and the sciences related to information and computation, and yet is small enough to allow for concrete and useful interaction among participants.

For more information, an online registration form and a preliminary program, see http://www.cin.ufpe.br/~wollic/wollic2004/

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

The aim of the LOFT conferences is to promote exchange across different disciplines. Preference is given to papers which bring together the work and problems of several fields, such as game and decision theory, logic, computer science and artificial intelligence, philosophy, cognitive psychology, mathematics and mind sciences. Among the topics of particular relevance are:

For more information, see here or the conference website at http://www.econ.ucdavis.edu/faculty/bonanno/LOFT.html

The LICS Symposium is an annual international forum on theoretical and practical topics in computer science that relate to logic in a broad sense. The conference is sponsored by the IEEE Computer Society Technical Committee on Mathematical Foundations of Computing.

LICS 2004 will be held in conjunction with the thirty-first International Colloquium on Automata ,Languages, and Programming (ICALP 2004). The LICS Program Chair is H.Ganzinger (email:hg@mpi-sb.mpg.de ). Workshops are planned for July 12 13 and July 18.

For more information, see the conference website at http://www.dcs.ed.ac.uk/home/als/lics/lics04/.

The 31st International Colloquium on Automata, Languages and Programming (ICALP 2004) is organized at Turku University by the Department of Mathematics and Turku Centre for Computer Science. ICALP is the main conference and annual meeting of the European Association for Theoretical Computer Science (EATCS). ICALP 2004 is colocated with the 19th International Conference on Logic in Computer Science (LICS04).

For more information, see the conference website at http://www.math.utu.fi/ICALP04/.

The aim of this workshop is to bring together researchers from the multi-agent systems, logic, and game theory communities in order to discuss work that combines, in some way, formal theories of knowledge and games. The workshop will take place immediately after the European Agent Systems Summer School, which will also be held in Liverpool.

For more information, see here or http://www.csc.liv.ac.uk/~sieuwert/knowledgegames/

After successful summer schools on Agent Systems in Utrecht, Saarbrucken, Prague, Bologna and Barcelona, AgentLink III organises the 6th European Agent Systems Summer School in Liverpool, UK., 5 - 9 July 2004.

EASSS 2004 will consist of a mixture of introductory and advanced courses delivered by internationally leading experts in the agent field, and will cover the full range of theoretical and practical aspects of agent-based computing.

EASSS'04 is open to anyone from research or industry, both AgentLink members and non-members alike. A registration fee will be charged to cover costs, but some support will also be available for PhD students.

For more information, see http://www.agentlink.org/happenings/easss/2004/index.html

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

"THE BRAIN IS MORE CHANGEABLE THAN WE EVER THOUGHT", to quote the special issue of Scientific American, "Better Brains", September 2003. The Dutch national Cognition programme is organizing a scientific symposium around this theme at Friday June 25 in Utrecht, the Netherlands. At the symposium, our distinguished speakers Gregory Ball, Barbara Koenig (to be confirmed), Tom Mitchell and Gregory Quirk will discuss these issues from the points of view of ethology, ethics, artificial intelligence and physiology respectively. Get ready for a stimulating event about seasonal brain changes, the reduction of fear, computers reading our mind and free will.

Participation is free, but as there is only a limited numbers of seats available registration is obligatory. Registration is possible by sending an e-mail before Monday June 14 to cognition at nwo.nl stating your name and affiliation. You will be informated as soon as possible about your participation.

For more information, see http://www.nwo.nl/cognitie/symposium/

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://lit.science.uva.nl/News/seminar04-1.html#Jun22 .

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

Michael Masuch will retire at the end of this term, and the LIT group wants to take the opportunity to celebrate. There will be drinks and nibbles after Michael's presentation.

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

On Thursday, June 10th, the Dean of the Faculty of Science and his staff will visit our Institute. The program consists of two parts:

CLOSED SESSION:
13.00 -13.30 uur: Reception by institute, lunch
13.30 -14.45 uur: Board meeting Faculty-Institute

PLENARY SESSION:
15.00-15.45: Lecture by Rens Bod and Aline Honingh: "Computational models of Language, Images, and Music"
15.45-16.15 uur: Meeting in which everybody can ask questions to the management of the Faculty of Science and of the ILLC
16.15 --17.30: Drinks!!!

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

Knowledge of language and knowledge of the number system are two cognitive capacities that have been characterized as being genuinely human. A core property which is shared by these two cognitive domains is that of discrete infinity: just like the series of numbers goes on indefinitely (you can always add one more), you can go on building linguistic structures by adding new linguistic material to the already built structure, as in John and Peter and Sue and Betty and ... This property of discrete infinity accounts for the fact that there is no limit in principle to how many words a sentence may contain. In Language and Problems of Knowledge, Noam Chomsky speculates on the idea that the number faculty developed as a by-product of the language faculty. He states that we might think of the human number faculty as essentially an abstraction from human language, preserving the mechanisms of discrete infinity and eliminating the other special features of language. This thought-provoking idea suggests a certain relationship between knowledge of language and numerical knowledge. The general aim of the workshop is to further our understanding of this relationship between the two cognitive systems.

For more information, a program and an online registration form, see http://www.let.uu.nl/users/Joost.Zwarts/personal/numericals.htm

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://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://lit.science.uva.nl/News/seminar04-1.html#Jun04 .

OZSL organizes, in collaboration with the Heyting Foundation a SCHOOL EVENT on June 4 and 5. Everybody is welcome!

For more information and a program, see http://godot.phil.uu.nl/~pape/ozsl/newsitem.php?news_id=43

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

An important question is whether computer assisted proofs are acceptable to the scientific community. One can distinguish romantic (human understandable) vs cool (machine verified) proofs. The heart of the matter is whether a proof is reliable. Reliability can be obtained by providing fully formalised proofs that can be algorithmically verified. The methodology of de Bruijn's Automath Project delivers proofs that are reliable and human-readable.

What is the feasibility of constructing fully formalised proofs for `everyday use' in mathematics? Interactive support from the computer in developing proofs brings us a step forward, but how far can we get? On the occasion of the digitizing of the Automath Archive a short symposium is organised on these matters, as a cooperation of the ZIC-colloquium and the Brouwer Seminar of the Foundations group in Nijmegen.

All information on the program of this symposium can be found at the website: http://www.win.tue.nl/automath/. For more information, please contact f.dechesne at uvt.nl

Language resources (LRs) are of crucial importance not only for research and development in language and speech technology but also for teaching purposes. E-learning added a new dimension to the usability of language resources and made them interesting outside the area of computational linguistics.

This one-day workshop will focus on the integration of LRs in the educational process and the relation between LRs and e-learning. Special attention will be dedicated to the use of LRs in the curriculum of computational linguistics.

Extended Deadline for abstract submissions is February 15th, 2004. For more information, see http://nats-wiki.informatik.uni-hamburg.de/~cri/lrecwp04/index.html. This workshop is organized in association with the LREC 2004, the 4th International Conference on Language Resources and Evalution.

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

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

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

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

On friday 14 May the Korteweg-de Vries Institute for Mathematics and the Institute for Logic, Language and Computation will host an Open Day for teachers of mathematics, students, and other interested parties. 'Leve de Wiskunde' is the opportunity to become acquainted with the renowned research programs in mathematics and logic at the UvA.

For more information and an online application form, see http://www.science.uva.nl/congres/.

On 14/5 Wolfgang Künne will give an overview of his recent magnum opus "Conceptions of Truth", Oxford U. P., 2003. On 15/5 Sundholm and Wolenski will discuss specific issues in the book, and Mulligan will speak on truth- and -fact-making.

For more information, see http://www.filosofie.leidenuniv.nl/

From Friday May 14th to Sunday May 16th the Third Flamish-Dutch Congress for General and Special Philosophy of Science will take place. The congress will be organized by the Dutch Society for Philosophy of Science (NVWF) and hosted by the International School for Philosophy (ISVW) in Leusden.

For more information (in Dutch), see here or http://www.isvw.nl/programma2_isvw_index.htm.

Focus on the challenges posed by cyberculture and the new artistic practices that use digital technologies and emerging technologies for their development. These technologies and the discussions, which they generate, have a wide-reaching social repercussion.

For more information, see here or http://www.ciberart-bilbao.net/congreso_en.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/seminar04-1.html#Apr23 .

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

NWO organized three workshops to guide and evaluate the candidates and their proposals. On the 23rd of April the third workshop will take place and it involves talks by the candidates that will be play a role in evaluating the candidates and their proposals for this final round of selection. In this preparatory meeting, the three ILLC candidates will present their talks and invite comments.

Max duration is 1 hour 30 minutes, up to 30 minutes per candidate. The candidates and titles of talks:
1) Fenrong Liu; Logic of Social behavior
2) Reut Tsarfati; Beyond Trees: Morphological and Syntactic Ambiguity Resolution for Hebrew
3) Loredana Afanasiev;Model checking based algorithms for efficient query evaluation on XML documents

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

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

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

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 goal of the workshop is to inform PhD-students about the standard philosophical views on the logical and methodological function of models in science and technology. Furthermore, it is our objective to confront these views with the ways in which scientists and engineers use models in their everyday scientific work.

This workshop will be held in the context of the Dutch-Flemish Network for Philosophy of Science and Technology. Speakers include Wilfrid Hodges, Marcel Boumans, Peter van Oosterom, Michiel Korthals and Sjoerd Zwart.

Participants should register before April 1st,by sending an e-mail to filosofie at tbm.tudelft.nl and by paying the workshop fee of Euro 185. The fee covers accommodation, meals and course material. Registration is definitive only after the workshop fee has been received.

For more specific information turn to: Sjoerd Zwart (s.d.zwart at tbm.tudelft.nl, tel: 015-2785906).

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

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

It happens that at the ILLC there are presently 6 persons who have some actual relation with intuitionism. A meeting is organized in which they present their interests in an introductory way to each other; other ILLC members are welcome as well.

For a preliminary program, see here

The Logic Tea homepage can be found at http://www.illc.uva.nl/logic_tea/. For more information, please contact 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, a number of satellite workshops and other events.

For more information, see the ETAPS website at http://www.lsi.upc.es/etaps04/

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/seminar04-1.html#Mar26 .

On March 26 2004 a symposium will be held on the development of cognitive control. Executive control refers to a domain of cognitive processing that is required for maintaining goal-directed, future-oriented behavior. This symposium focuses on a variety of research on the development of executive control. Applications to normal development as well as to deviant development will be covered.

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

There are strong commonalities in human and non-human primate cognitive organisation. This similarity is the (inevitable) outcome of an adaptive economy principle governing the selection of actions and procedures beyond 'brute force' environmental arbitration and designed to secure the most powerful adaptations for the least investment in resource.

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

In recent years, quantum information science has emerged as a major research area at the intersection of physics, information theory, and computer science. It originated from the realization that information is not a purely abstract concept but depends on the physics of the systems in which it is represented.

For more information, see http://www.lc.leidenuniv.nl/lc/web/2004/20040524/description.php3?wsid=116

For more information, see here, or contact either Jan van Eijck (Jan.van.Eijck at cwi.nl) or Benedikt Löwe (bloewe at science.uva.nl).

The Institute for Theoretical Physics cordially invites you to attend the lecture 'The Elegant Universe' by Dr. Brian Greene (Columbia University). The lecture is about the String Theory and the search for the ultimate theory. Dr. Greene is the author of a book with the title 'The Elegant Universe' and he is frequently invited to give lectures.

Registration: Please contact congres at uva.nl before 16 March next. Please state your name and adress and the free entrance ticket will be send to you.
For more information, see http://www.science.uva.nl/research/itf/strings/green.html.

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

In the beginning of the twentieth century a new movement was added to the existing two that attempted to lay a solid foundation for the mathematical building. After Frege, Russell and Couturat, who viewed logic as the ultimate basis for mathematics, and Hilbert's formalist approach in which mathematics is just a manipulation with meaningless signs and symbols, Brouwer worked out earlier ideas by Poincaré and Borel: mathematics has an extra-logical content too.

For Brouwer, the ultimate basis for all mathematics is the ur-intuition of `the move of time', that is, the experience of the fact that two not-coinciding mental events are connected by a time continuum. Departing from this ur-intuition, the whole of mathematics, hence including set theory and geometry, can be constructed. In is early years as an active mathematician (in his own terms: his `first intuitionistic period', between 1907 and, say, 1914; note that most of his time during those years was spent on topology) his constructivistic requirements were very strict: only that what is constructed by the individual mind (mathematics is essentially languageless) counts as a mathematical object. In this lecture we will work this out for the logical figure of the hypothetical judgement in a mathematical context, and we will see that, in hindsight, Brouwer went too far in his constructivism.

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

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

Taal, muziek en beeld lijken essentieel verschillend. Toch is er ook een opvallende overeenkomst. Bij het waarnemen van talige, muzikale en visuele stimuli vindt een structureringsproces plaats dat het best kan worden omschreven als een boom met vertakkingen. Dit doet de vraag rijzen of er een onderliggend model voor perceptie bestaat dat de waargenomen structuur kan voorspellen voor sensorische invoer in het algemeen - of deze nu talig, muzikaal of visueel is. Rens Bod, onderzoeker aan het Institute for Logic, Language and Computation (ILLC) van de UvA, zal deze vraag in zijn voordracht bevestigend beantwoorden.

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

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

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

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

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

A group of leading researchers in Modal Logic will meet in Amsterdam, to discuss their contributions to the upcoming Handbook of Modal Logic. The Handbook, edited by Johan van Benthem, Patrick Blackburn and Frank Wolter, will provide an authoritative document concerning the scope and uses of modal logic today, while also creating new perspectives on most promising future research developments.

10 March: room P.017, 10.00 - (coffee and tea are available at 09:30)
11 March: room P.018, 09.30 - (coffee and tea area available at 09.00)

For more detailed information about the Handbook, cf. http://www.csc.liv.ac.uk/~frank/MLHandbook If you are interested in attending some of the sessions, please contact Balder ten Cate <balder.tencate at uva.nl>.

The IAS conferences have been meeting places for researchers on intelligent systems that can directly sense and act in their own environment without demanding detailed supervision from humans. These systems are beginning to enter our daily life in ambient intelligence applications. Many new challenges are emerging to create systems that can operate and interact in human inhabited environments. The goal of the IAS-8 Conference is to exchange and stimulate research ideas about how to bring active, intelligent systems into our daily lives.

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

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

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

This is the 9th edition of a regional-scope international winter school for (theoretical) computer science. Lecturers include S. Artemov (CUNY), R. Freivalds (U. Latvia), A. Jung (Birmingham), M. Naor (Weizmann) and M. Sudan (MIT / Radcliffe)

The deadline for registration and submission of abstracts for student talks/posters is 16 Jan. 2004. For more information, a program and an online registration form, see http://www.cs.ioc.ee/yik/schools/win2004/.

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

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

The Penn Linguistics Colloquium is an annual conference organized by graduate students in the Department of Linguistics at the University of Pennsylvania. Papers on any topic in linguistics and associated fields are welcome.

Invited speaker is Juliette Blevins, who will speak on "Structure-preserving sound change: How and why?"

Deadline for submissions is December 8, 2003. For more information and an online submission form, see http://www.ling.upenn.edu/Events/PLC/ or e-mail plc28 at ling.upenn.edu.

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

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

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

On Friday February 13, Jonathan Ginzburg will give a DIP talk at a workshop on Amsterdam research into questions which is held February 13/14. Please notice the unusual time and location.

Those who are interested in attending the workshop are kindly asked to (fee-freely) register with: P.J.E.Dekker@uva.nl. For abstracts and more information, see http://www.illc.uva.nl/dip/.

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

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

Those who are interested in attending the workshop are kindly asked to (fee-freely) register with: P.J.E.Dekker@uva.nl.

For more information, see here.

Support vector machine (SVM) is a promising technique for data classification and regression. In this talk the speaker will 1) introduce its basic concepts, 2) discuss its current status, and 3) present an example using real-world data sets. Finally, the speaker would like to discuss common mistakes made by users when applying SVM.

For more information, contact Rudi Cilibrasi (020-5924232, Rudi.Cilibrasi at cwi.nl) or Paul Vitanyi (Paul.Vitanyi at cwi.nl).

11.00-12.30: Per Martin-Löf (Stockholm), 'Sets, Types and Categories'
14.00-15.00: B. G. Sundholm( Leiden), 'Three Key Features of Martin-Löf's Philosophy of Logic: Content, Judgement, First-Person Perspective?
15.00-16.00: A. Ranta (Gothenburg), 'Language: A Type-Theoretical View'
16.30-17.30: M. Bourdeau (MSH, Paris), 'Categories, Types, and Constructive Reference'
17.30-18.30: Guido Löhrer (Bern), 'On Ends and Means - Constructive Type Theory as a Guide for Historical and Systematical Interpretation'.

Leren in je slaap. Hersentransplantaties. Een leerpil. Geheugenchips waarmee we informatie direct naar de hersenen kunnen downloaden. Toekomstmuziek? Of binnenkort realiteit? Op de Publieksdag "De Toekomst van het Leren" laten vooraanstaande wetenschappers hun licht schijnen op de mogelijkheden én de grenzen van hun vakgebied. Daarnaast kunt u op de Demonstratiemarkt aan de hand van experimenten, video's, proeven en simulaties zelf ervaren welke verrassende dingen er soms gebeuren als we iets leren, onthouden of zien. Een spetterende dag voor iedereen die geïnteresseerd is in hoe wij leren. Ook voor studenten zeer de moeite waard!

Er zijn slechts een beperkt aantal kaarten beschikbaar. Vol = vol! Voor meer informatie, zie http://www.hersenenenleren.nl/

Broadly the aim of this workshop is to explore the connections between quantum and other non-classical logics such as modal and dynamic logics, linear logic and multivalued logics. It is our hope to develop closer connections between these areas of research. 

Invited speakers at this workshop: S. Abramsky, A. Baltag, B. Coecke, D. Foulis, P. Ptak and A. Wilce.

Deadline for submitting abstracts is January 6, 2004. For more information & the call for contributed talks, see: http://www.vub.ac.be/CLWF/PML-2004

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

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

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

This is already the fifth workshop in the series of `Amsterdam - Utrecht workshops', that were initiated to further improve the interaction between the ILLC and OTS. For this occasion, the topic we have decided on is psycholinguistics. The program consists of talks on various subjects in this field such as: acquisition of tense, ellipsis processing, autism and an afternoon session on aphasia. Participation is free, lunch will be arranged for and everyone is welcome!

For more information, see http://www.geocities.com/rmastop/AU-workshop.html. Information about past meetings is available at http://www-uilots.let.uu.nl/~ctl/workshops/am-ut.html

SOFSEM (SOFtware SEMinar) is an annual five-day international conference devoted to the theory and practice of Computer Science. Its aim is to foster co-operation among professionals from academia and industry working in various areas of Computer Science. The program consists of series of Invited Talks, given by prominent professionals and researchers, Contributed Talks selected by the Program Committee from submitted papers, Workshop Sessions discussing work-in-progress, and the Student Research Forum.

For more information, see the conference website: http://www.sofsem.cz/

We use de Jongh Theorem in a combination with the usual methods of the logic of proofs to establish the completeness of the basic intuitionistic logic of proofs w.r.t. the Heyting arithmetic.

For more information, see http://www.math.uu.nl/people/jvoosten/seminar.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 http://www.phil.uu.nl/~jjoosten/tflunch

The annual conference of the Australasian Association of Logic will be held in Dunedin, University of Otago, on 17 and 18 January, directly prior to the Australasian Computer Science Week (ACSW 2004).

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

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

This lecture elaborates on how neurolinguistic research on aphasic patients, children with and without language impairments and non-brain-damaged speakers can serve to test hypotheses on the grammatical structure of the Dutch language.

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

We have been invited by the "Journal of Applied Logic" to prepare a Special Issue stimulated by the 2nd CoLogNET-ELSNET Symposium on "Questions and Answers: Theoretical and Applied Perspectives".

Based on the successful symposium experience, we invite papers on both theoretical issues involved in question answering or practical issues involved in querying systems for integrated structured domains (like databases, ontologies,..) as well as for open domain sources (like web-based documents).

(changed) Submissions deadline is February 28th, 2005. For more information, see here.

The workshop `Methods for Modalities' (M4M) organized every two years aims to bring together researchers interested in developing proof tools and decision methods for modal logic broadly conceived, including description logic, hybrid logic, temporal logic, etc.

During 1993 M4M-3, the third instance of the workshop was organized in Nancy, France. We have been invited by the Journal of Applied Logic to prepare a Special Issue containing selected publications from the workshop, in addition to other articles that might fit within the topics of interest of M4M.

Deadline for submissions is October 31th, 2004. For more information, see here or contact areces at loria.fr.

It has been almost ten years since Andreka, van Benthem and Nemeti proved the decidability of the guarded fragment of first order logic. Given how expressive guarded quantification is, this result gave logicians a powerful tool for proving the decidability of many formalisms arising in computer science applications, and has generated extensive research into guarded quantification in logics other than first order and into various generalisations of guarded quantification. A wealth of new proof techniques has been developed as a result of this research. This special issue, based on a workshop on guarded fragments held at ESSLLI 2004 in Nancy, aims to reflect new developments in the search for decidable fragments and their applications.

Deadline for submissions is December 1st, 2004. For more information, see here or contact nza at cs.nott.ac.uk.

This ninth ESSLLI Student Session will provide, like the previous editions, an opportunity for ESSLLI participants who are students to present their own work in progress and get feedback from senior researchers and fellow-students.

The ESSLLI Student Session encourages submissions from students at any level, undergraduates (before completion of the Master Thesis) as well as postgraduates (before completion of the PhD degree). Student authors are invited to submit a full paper, not to exceed 7 pages of length exclusive of references, by March 1, 2004 (extended deadline).

For more information, see the ESSLLI'04 student session website at http://lingua.fil.ub.es/~lalonso/stusESSLLI04/.

For more information, please contact hedde.zeijlstra at uni-tuebingen.de

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

For more information, see http://www.phil.uu.nl/~jjoosten/

For more information, see http://student.science.uva.nl/~jruan/defense.html or contact T.Kassenaar at uva.nl

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

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

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

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

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

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

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

The 2004 Bakkenist Jong Talent Afstudeerprijs (successor to the CIVI afstudeerprijs - a reward of 10000 Euro) has been awarded to our master student mrs. S.D.C. Wehner, who graduated last July on a master thesis on the subject of Quantum Computing. The award ceremony will be held on Thursday 25 November in the building of the Koninklijke Hollandse Maatschapij voor Wetenschappen te Haarlem.

For more information, contact Peter van Emde Boas (peter at science.uva.nl)

Brian Semmes has received a DAAD (German Academic Exchange Service) grant (A/04/33952) for a extended visit at the RhFWU Bonn (Germany), for a research project entitled "Rationality in Infinite Games" supervised by Benedikt Löwe and Peter Koepke (Bonn).

For more information, please contact Brian Semmes <bsemmes at science.uva.nl> or Benedikt Löwe <bloewe at science.uva.nl>.

NWO has awarded Robert van Rooij the prestigious VIDI subsidy for his project "The Economics of Language: Language Use and the Evolution of Linguistic Conventions".

For more information, see here or contact R.a.m.vanRooij at uva.nl

The Netherlands Organization for Scientific Research (NWO) awards Reut Tsarfati and Loredana Afanasiev with a grant for a 4 year Ph.D position within the MOZAIEK competition. The mozaiek programme is designed to attract more ethnic minority graduates into academic research.

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

The E.W. Beth Dissertation Prize 2004 has been awarded to John Hale (Michigan State University) for the dissertation ``Grammar, Uncertainty and Sentence Processing''. An award ceremony will take place during ESSLLI 04 in Nancy, on Thursday 12 August at 20:30 hrs.

The abstract can be found at: http://www.cs.nott.ac.uk/~nza/beth03. For more information, see the FoLLI site at http://www.folli.org/, or the ESSLLI site at http://esslli2004.loria.fr/

NWO has granted a project proposal by Rens Bod in the Open Competition (NWO Exact). The project will deal with modeling language acquisition and language evolution with the DOP model, and will last three years. Jelle Zuidema (from the University of Edinburgh) will start on August 1st as a postdoc in this project.

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

Arthur Elsenaar and Remko Scha's article "Electric Body Manipulation as Performance Art: A Historical Perspective," published in Leonardo Music Journal 12, has been named the winner of the 2003 Leonardo Award for Excellence.

lsenaar and Scha's winning article traces the historical development of using electrically manipulated human bodies for theatrical display. Addressing the controversial aspects of this sometimes destructive art form, they extend their inquiry to investigate the implications of electrical executions. More often, they note the stimulating effects of electricity upon the body, studying Transcutaneous Electrical Nerve Stimulation as implemented in the 19th Century by Duchenne and continued in practice today by artists such as Stelarc and co-author Elsenaar. Citing technological advances that enable interactive nerve stimulation, Elsenaar and Scha point toward a future of computer-generated dance and theater performances.

The Leonardo Award for Excellence was originally established by chemist and inventor Myron Coler and Leonardo publisher Robert Maxwell. The 2003 Leonardo Award for Excellence is co-sponsored by the Technoculture Studies Department and the Art Department at the University of California, Davis, where it will be presented at a prize award lecture on campus during the Spring 2004 session.

For more information, including downloadable versions of the winning article and three honorable mentions, see http://mitpress2.mit.edu/e-journals/Leonardo/isast/awards.html

At PODS 2004, the 23rd ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, the Best Paper Award and the Best Newcomer Award went to

XCPath, the first order complete XPath dialect
Maarten Marx

Many congratulations to LIT member Maarten Marx on this double success!

PODS is a very competetive database event; in 2002 the acceptance rate was 22% and in 2003 <20%. For more information, see http://www.sciences.univ-nantes.fr/irin/SIGMODPODS04/

We are pleased to announce that three proposals by ILLC master of logic students for the NWO MOZAIEK program have been short-listed (out of 194 submitted proposals only 40 were short-listed). After a second round 18-20 from these 40 will be awarded with a PhD position.

Candidate: Loredana Afanasiev
Supervisors: Paul Vitanyi and Maarten de Rijke and Maarten Marx

Candidate: Reut Tsarfaty (Master of Logic)
Supervisors: Remko Scha and Khalil Sima'an

Candidate: Fenrong Liu (Master of Logic)
Supervisors: Johan van Benthem

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

We are happy to announce that Robert van Rooij received the 2004 Hendrik Casimir - Karl Ziegler Research Stipendium awarded by the KNAW. This will enable him to spend some time at the Institut fuer Kommunikationsforschung und Phonetik (IPK) in Bonn (Germany) to enhance the already existing cooperation between the ILLC and the interfacultary research group `Wissensformate: Information, Representation, Kognition' (Formats of Knowledge) in Bonn.

NWO has announced the names of the 2003 award winners of their Vernieuwingsimpuls program. We are happy to inform you that two ILLC researchers were among them:

• Professor Harry Buhrman (ILLC/CWI) has been awarded one of the 26 prestigious VICI grants for his project on "Quantum Information Processing"
• Dr Maria Aloni has been awarded a VENI grant, for her research on "Semantic Structure and Dynamics in Natural Language Interpretation"

(Dutch only)
In 2005 gaat een tweede ronde van het Mozaiek programma van NWO van start. Dit programma beoogt meer afgestudeerden uit minderheidsgroepen in de wetenschap te laten instromen middels een promotieplaats. Hiertoe stelt NWO in 2005 4 miljoen euro beschikbaar om ca. 20 promotieplaasten te financieren.

Het afgelopen jaar heeft het ILLC drie kandidaten aangemeld, waarvan er twee, Loredana Afanasiev en Reut Tsarfati, een promotieplaats hebben gekregen. De derde, Fenrong Liu, heeft later, naar aanleiding van deze aanmelding, alsnog via de Universiteit van Amsterdam zelf een promotieplek gekregen.

Meer informatie kunt u vinden op here. Gedetailleerde informatie over de doelgroep, procedure en criteria vindt u verder in de brochure Mozaiek 2005. Brochure en aanmeldingsformulier (en Veelgestelde Vragen) zijn downloadbaar via 'subsidie aanvragen' op de website http://www.nwo.nl/kleurrijktalent/.

Contactpersoon voor het Mozaiekprogramma bij NWO is mw.dr. W.A. van Donselaar, mozaiek at nwo.nl.

The Koninklijke Hollandsche Maatschappij der Wetenschappen announces that the J.C. Ruigrok Stichting will award a prize of € 12.000,- for Philosophical research. This year this will be in the field of Linguistics.

The award is meant as an incouragement for researches who took their doctoral degree in 2000 or after. It will be awarded to only one researcher. He or she should be Dutch or should have done most of his/her research with a Dutch Institute.

Professors, and other experienced scientists in this area, are requested to submit recommendations for awarding the prize. These recommendations need to be signed by two professors of a Dutch institute and must be with the Koninklijke Hollandsche Maatschappij der Wetenschappen before January 1, 2005.

For more information and details on the proper way to submit a recommendation for a suitable candidate please contact Ms. Tanja Kassenaar at T.Kassenaar at uva.nl or 020-5256051.

The Special Programme for the Cognitive Sciences combines forces with the Technology Foundation STW and invites strong groups working in different domains of the cognitive sciences to submit proposals for application-oriented cognitive research projects with clear innovative qualities. For this Call for Application-oriented Cognitive Research Projects, a budget with a maximum of 2.25 million euro is available.

Proposals must be submitted electronically to NWO (cognitie at nwo.nl). Proposals should be written in accordance with the Guidelines for the STW Open Technology Programme. In addition to these guidelines, it is compulsory to write a supplement in which fulfilment of the specific criteria as formulated by the programme committee should be explained. Completion of the assessment procedure will take approximately 8 months. It is possible to submit proposals from February, 1, 2004, until the available budget for the application-oriented cognitive research proposals is exhausted.

For further information on the NWO Special Programme for the Cognitive Sciences, please email cognitie at nwo.nl or visit the NWO Cognitie website at http://www.nwo.nl/cognitie/. For further information on the STW OTP procedure, please contact: Mw. Dipl. Phys. C.N.M. Jansz 030 - 6001 290 margriet at stw.nl or Dr. R.D.T. Janssen 030 - 6001 313 rik at stw.nl

The Descartes Prize: the European Prize for Outstanding Scientific and Technological Achievements Resulting from European Collaborative Research.

Named in honour of one of Europe's greatest figures of learning, René Descartes: mathematician, natural scientist, and philosopher, this prize is awarded to research teams who have obtained exceptional results from European collaborative research. The Descartes Prize aims to raise awareness of the scientific achievements of European scientists, highlighting the benefits of working together and the importance of the results achieved. The prize is open to all fields of scientific endeavour.

Deadline for submissions is 11 May 2004. For more information, see http://www.cordis.lu/science-society/descartes/home.html or http://fp6.cordis.lu/fp6/call_details.cfm?CALL_ID=124

Founded in 1971, COST is an intergovernmental framework for European Co-operation in the field of Scientific and Technical Research, allowing the co-ordination of nationally funded research (NWO) on a European level. COST Actions cover basic and pre-competitive research as well as activities of public utility and have the character of coordination/network actions.

COST has clearly shown its strength in non-competitive research, in pre-normative co-operation and in solving environmental and cross-border problems and problems of public utility. It has been successfully used to maximize European synergy and added value in research co-operation and it is a useful tool to further European integration, in particular concerning Central and Eastern European countries.

Deadline: continuous

For more information, see http://cost.cordis.lu/src/home.cfm

The NWO has once again made available subsidies for preparing KP6-applications. Deadlines are June 1st, September 1st and December 1st 2004. Be advised that the criteria have changed slightly since last year.

For more information (in Dutch), see http://www.nwo.nl/subsidiewijzer.nsf/pages/NWOP_5G3MMM?Opendocument

The ILLC/Department of Philosophy of the Universiteit van Amsterdam offers a PhD position with the project "The Economics of Language. Language Use and the Evolution of Linguistic Conventions", which is an NWO funded Vidi project, with Dr. Robert van Rooij as the principal investigator. The PhD position will be mainly about the evolution of linguistic conventions.

We sollicit applications for this position from candidates with a master degree (now, or soon) in formal linguistics (e.g. semantics, but also philosophy of language), learning and dynamical systems, and/or game theory, and with proven expertise in the areas covered by the project.

Applications should be sent before january 20, 2005 to Robert van Rooij. For more information including a description of the project, see here or contact Robert van Rooij at r.a.m.vanRooij at uva.nl

Within the ILLC there is a vacancy for an Assistant Professor (Universitair docent) in Computational Logic. Application deadline: October 15.

Candidates from all areas on the borderline of logic and computer science will be considered. For example, both specialists in algorithmics, and researchers in logic programming, automated theorem proving, or computational semantics are invited to apply. The candidate is expected to open up a new research line and to acquire external funds for it.

Teaching duties include undergraduate teaching in the bachelor program of artificial intelligence, where the course in logic programming is one of the main responsibilities. At the master level teaching duties will depend on the research interests of the succesful applicant.

The closing date for application is 15 October 2004. For more information, see here or contact Prof. dr. F. Veltman at f.veltman at uva.nl.

The Department of Philosophy, UvA, has several PhD positions available, of which one is at the Institute for Logic, Language and Computation. Deadline for applications: April 1st, 2004. Applications should be accompanied by a research proposal, curriculum vitae, and grade lists.

For more information, see http://www.uva.nl/actueel/vacatures.cfm or contact Prof. Maarten Stokhof at m.j.b.stokhof at uva.nl

There is a job opportunity in the domain of Philosophy of Social Sciences. The I.H.P.S.T. is ready to support the application of suitable candidates in the process, and to incorporate the elected person.

The profile is: Strategic Interaction and Collective Norms.
It would be suitable for a confirmed scholar, dedicated to the following topics: epistemic conditions of coordination (common knowledge a.s.o.), emergence of norms (as studied in evolutionary game theory), normative economics. Competence in decision theory, game theory and formal tools of economic modelization is required. Suitable candidates ought to be willing to work in a philosophical research environment.

For more information, see the full text at here or the original announcement at http://gestionoffres.dsi.cnrs.fr/fo/offres/detail-en.php?offre_id=172

The Departments of Philosophy and Mathematics intend to make a joint appointment in the area of mathematical and philosophical logic and foundations of mathematics. You will have an outstanding record of research or outstanding research potential in one or other of these areas. You will contribute to the research theme 'Science, Knowledge, and Reality' and will be expected to promote research co-operation between the two departments and between the Faculty of Arts and the Faculty of Science.

Grade: Lecturer Grade B
Salary: GBP 27,989 - GBP 35,883
Contact for informal enquiries:
Professor A Bird (Alexander.Bird at bristol.ac.uk, Tel. 0117 928 7826)
Professor P Welch (P.Welch at bristol.ac.uk, Tel. 0117 928 9052)

Closing date for applications is 21 january 2005 (9.00 am). For more information, see: http://www.bris.ac.uk/boris/jobs/ads?ID=30374

Two ``Ubbo Emmius'' scholarships are being offered by the Faculty of Philosophy in Groningen, the Netherlands, to non-Dutch students who wish to work for a Ph.D. in philosophy. Deadline for applications is December 13th, 2004.

For more information, see here or http://www.rug.nl/filosofie/vacatures/wetenschappelijk/faculteit/, or contact bloewe at science.uva.nl

There is an opening at Stanford University for an Assistant Professor in Logic, tenure track, beginning September 2005. Application deadline is December 1, 2004.

For more information, see here or contact marjanv at illc.uva.nl.

There is an opening at the University of Wisconsin, Madison, for an Associate (tenured) or Assistant Professor (tenure-track) position, beginning August 2005. Candidates with strengths in Philosophy of Mathematics or Origins of Analytic Philosophy are especially encouraged to apply. Candidates must be qualified to teach in a strong Ph.D. program. To ensure full consideration, applications must be received by December 1, 2004.

For more information, see here or http://philosophy.wisc.edu/.

At the Distributed and Embedded Systems group of the University of Twente we have a number of vacancies at PhD and Post-Doc level. We are also looking for candidates with a background in mathematics or computational logic who are interested in security in general and in one of the following three topics in particular:

• formal verification of protocols
• distributed trust management
• (languages for) privacy protection

For more information, see http://dies.cs.utwente.nl/vacancies/, http://wwwhome.cs.utwente.nl/~etalle/ and http://www.ctit.utwente.nl/vacancies/.

The Faculty of Computer Science at the Free University of Bozen-Bolzano, Italy, and the Department of Computational Linguistics and Phonetics (CoLi) of Saarland University, Germany, offer a distributed European Master in Language and Communication Technologies, as part of their individual Master of Science Programmes in Computer Science (Laurea Specialistica in Informatica) and Language Science and Technology (M.Sc.), respectively. Students of the European Master enrol in one of the two universities and are required to spend at least one semester at the other university; both universities adopt the ECTS credit system. In the context of the European Master Programme the Free University of Bozen-Bolzano co-operates with ITC-irst of Trento, while the Saarland University cooperates with the German Centre for Artificial Intelligence (DFKI); these centres are connected by more than 10 years of close partnership.

Human communication is at the heart of the information society and, in a richly multilingual area such as the European Union, full participation requires multilingual facilities for creating, exchanging and accessing information across language borders, throughout Europe and beyond. During the last few years, Language and Communication Technologies have seen a rapid increase in development at both research and industrial levels due to the fast growth of the Internet, of speech-based technologies, and the success of mobile communication. This has caused an acute need for continuous advancements in multilingual human language processing, cross-lingual information access, and multimodal human computer interaction. New expertise, skills and professional profiles are needed which can answer the growing requirements of our societies in the Human Language and Communication Technologies area.

For more information, see here or http://www.inf.unibz.it/msc/

The Department of Computing and Mathematics has one, three year, PhD studentship available in Logic and Computation starting in September/October 2004. The project is focused on investigation of logical consequence in non-standard logics, originating in AI and Computer Science. The prime focus of the research will be logical inference in modal intransitive and multi-modal logics. The studentship will be supervised by Dr.Vladimir Rybakov.

The closing date for applications is Friday the 18th of June 2004. For more information, see here, or contact marjanv at science.uva.nl or V.Rybakov at mmu.ac.uk.

The research programme "Modelling Freedom: Formal Analysis and Normative Philosophy", carried out at the University of Groningen in the Netherlands, aims to contribute to the further explication and understanding of concepts of freedom by engendering an interaction between philosophical and rational choice approaches to freedom. The programme covers a wide spectrum of issues, ranging from the conceptual analysis of freedom to significant contemporary social and political applications.

The research programme has in total five openings in the area of philosophy, politics and economics: three full-time PhD positions, and two full-time postdoctoral positions.

(Extended) closing date for application: 14 April 2004. Further details about the vacancies, as well as information about how to apply, can be found at http://www.rug.nl/corporate/vacatures/vacatureInternEngelse or here. More information on the research program can be found at http://www.philos.rug.nl/~vanhees/vici.

The Department of Philosophy, UvA, has several PhD positions available, of which one is at the Institute for Logic, Language and Computation. Deadline for applications: April 1st, 2004. Applications should be accompanied by a research proposal, curriculum vitae, and grade lists.

For more information, see http://www.uva.nl/actueel/vacatures.cfm or contact Prof. Maarten Stokhof at m.j.b.stokhof at uva.nl

National ICT Australia Limited (NICTA) invites applications from highly motivated researchers for appointment as Researchers (Level B). The positions are to work within the Knowledge Representation and Reasoning Program (KRR) in traditional areas of knowledge representation for a fixed term period of two to three years. Preference will be given to applicants with a strong background in logic. Research conducted in the KRR program includes, but is not limited to, the following:

• Nonmonotonic reasoning
• Belief revision and merging
• Negotiation and games
• Ontologies
• Cognitive robotics and planning
• Multi-agent systems
• Logic programming

The full vacancy announcement is available as PDF from http://nicta.com.au/jobs/research/KRR_B1.pdf. For more information about NICTA and the KRR program, go to http://www.nicta.com.au and http://nicta.com.au/programs/krr/kr.html.

From September 1 until October 31, Sieuwert van Otterloo(PhD) is a guest at our institute, working in the field of 'Games and Logic", mentored by Johan van Benthem.

His contact details:
room P-3.18
phone 020 525 6508
E-mail sotterlo at science.uva.nl

As of September 1, Olivier Roy (Canada) and Ka-Wo Chan (Hongkong) started their PhD program at the Faculty of Sciences. Olivier will be mentored by Johan van Benthem, Mark Ka-Wo Chan will be mentored by Yde Venema. Stefan Bold is a PhD (joint) student of the University of Bonn and the UvA, working under supervision of Benedikt Loewe.

Their contact details:
Olivier Roy and Mark Ka Wo Chan
room P-3.11
phone 020-525 5356
E-mail oroy at science.uva.nl and kchan at science.uva.nl

Stefan Bold
room P-3.21
phone 020 525 6054
E-mail sbold at science.uva.nl

As of August 1, Jelle Zuidema is appointed a NWO postdoc position on the project 'Unsupervised Grammar Induction' in cooperation with Rens Bod.

His contact details:
room P-3.12
phone 020-525 536
E-mail jzuidema at science.uva.nl

As of September 1, Maricarmen Martinez is appointed lecturer in the field of Mathematical Logic for the period of one year.

Her contact details:
room P-3.28
phone 020-525 5361
E-mail: mmartine at science.uva.nl

As of September 1, Chantal Bax is appointed a PhD student at the Faculty of Humanities. She will work under the supervision of Martin Stokhof on "Subjectivity after Wittgenstein".

Her contact details:
phone 020 525 4529
E-mail C.Bax at uva.nl

We would like to let you know that Martin Stokhof has stepped down as scientific director to the Institute for Logic, Language and Computation. He passed this position on to Frank Veltman (professor Logic and Cognition) as of the 1st of March.

Author: Tine Wilde
Website CORRIDO[O]R can give visitors, for example students, head hunters eagerly scouting about for genius talent, mothers who have lost their clever child, politicians searching for bright quotes, or visiting smart professors from competing universities, and the like, a glimpse behind the scenes of the everyday practices of a group of philosophers in the Universiteit van Amsterdam.

In order to look behind and beyond the scenes, it is desirable that one has a view on the scenes themselves. Thus, I - an artist/philosopher who occupies room 222 - took photographs i.e., I made an overview - of what someone sees when he opens the door of a particular room, situated on the second floor at the right of Vendelstraat 8. I am convinced that a philosophy department should have a perspicuous organisation, one that is intelligible and transparent for the outside world, so that students, head hunters, mothers and children, politicians and professors know what they can expect.

This website is part of a larger project and as such will play a role in an exhibition next year. For more information, see the website at http://www.illc.uva.nl/hum/corrido(o)r/ or contact m.wilde at uva.nl

It is a phenomenon not yet fully understood. Since if we would, we could make a computer model that generates songs that would be guaranteed to stick. Luckily, in this case, few people would mind.

Nieuwslicht (the science program of Vara Television) of 12 November contained a short item on related music cognition research.

For more information, see http://www.nieuwslicht.nl/ (or http://www.hum.uva.nl/mmm/)

Op donderdag 28 oktober as. neemt Ruud Roël afscheid als docent Informatica. Om dit afscheid niet onopgemerkt voorbij te laten gaan, zijn van 14.00 tot 16.00 uur in zaal P.227 verschillende feestelijkheden gepland. Aansluitend vindt een receptie plaats in gebouw Euclides. Een gedetailleerd programma wordt t.z.t. bekend gemaakt.

Professor Doyne Farmer of the Santa Fe Institute for Nonlinear Studies presents a miniseries of lectures (on 26, 27, and 28 October) titled: "Life's longing for itself: On propagation, prediction, purpose and progress"

The physicist (at present mostly economist) Doyne Farmer is one of the pioneers of chaos theory. He was involved in developing some fundamental aspects of the theory, but also in developing a number of interesting applications. He is well-known as one of the founders of the succesful Prediction Company, a firm whose business is automatic trading of financial instruments based on time series based directional forecasting methods. An inspiring lecturer on the multidisciplinary adventures on the intersection of between mathematics, natural science, economics and the social sciences.

The series is a joint initiative of the:
Institute for Theoretical Physics (FNWI)
Institute for Interdisciplinary Studies (IIS)
and the Department of Quantitative Economics (FEE)

For more information, see http://www.science.uva.nl/research/itf/index.php. A poster is available at http://www.science.uva.nl/research/itf/doyneposter.doc

(dutch only)
Logicus en universiteitshoogleraar Johan van Benthem en mathematisch fysicus Robbert Dijkgraaf geven acht weken lang hun visie op de thama's 'tellen', 'oneindig', 'symmetrie', 'bewijzen', 'paradoxen', 'waarschijnlijkheid', 'voorspelbaarheid' en 'spelen'. Vanuit hun eigen ervaring en viesie spreken zij over de 'onredelijke effectiviteit' van de wiskunde om de structuren om ons heen te vatten. Zij illustreren de rol van de moderne wiskunde en logica in alle mogelijke disciplines door onconventioneel, dwars door alle traditionele grenzen, juist de samenhang van de ideeënte benadrukken.

For more information, see http://www.iis.uva.nl/ or call the secretariat of the IIS (Institute for Interdisciplinary Studies) at 020-525 5190.

On the link given below you will find a short listening experiment (a pilot study) on the perception of music performance.
Your contribution is much appreciated!

See http://www.hum.uva.nl/mmm/exp/.
N.B. Those of you who did the experiment earlier: there is no need to do it again (the layout might look different, the sound examples used are the same).

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

Logical Methods in Computer Science is a fully refereed, open access, free, electronic journal. It welcomes papers on theoretical and practical areas in computer science involving logical methods, taken in a broad sense. Papers are refereed in the traditional way, with two or more referees per paper. Copyright is retained by the author.

Full-text access to all papers is freely available. No registration or subscription is required, and a free email notification service is available.

For further information, visit http://www.lmcs-online.org/.

VPRO reporter Sam Verhaert decided to test 'The Continuator', interactive music software made by Francois Pachet of Sony Computer Science Laboratories, and invited Henkjan Honing (ILLC), Music critic Koen Schouten (Volkskrant) and pianist Albert van Veenendaal to do an informal, yet musical version of the Turing Test.

For the full broadcast of 31 August 2004, see http://noorderlicht.vpro.nl/wetenschap/ (For a short fragment, see http://www.hum.uva.nl/mmm/hh/ under 'News Clippings').

Authors: Kees Doets and Jan van Eijck
From the cover:
The purpose of this book is to teach logic and mathematical reasoning in practice, and to connect logical reasoning with computer programming in Haskell.

Texts in Computing Vol.4
King's College Publications, 2004
x+426 pp

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

Hoe?Zo!, het Teleac/NOT wetenschapsprogramma, besteedde op 28 mei 2004 aandacht aan muziekcognitie -- musicologisch onderzoek naar het computationeel modelleren van ritme & timing in muziek. Wat maakt een ritme spannend, sloom of hip? En wat is het juiste tempo?

De uitzending (15 min) is te beluisteren op http://www.teleac.nl/radio/index.jsp?nr=radio_vervolg

For more information and if you like to be listed on the mailing list, contact Aline Honingh: ahoningh at science.uva.nl

Arti et Amicitiae is a society specially for visual artists. This special exhibition is the completion of a course at Gerrit Rietveld Academie, given by ILLC-member Tine Wilde, that investigated the relationships between [visual] art and philosophy [of language].

While entrance is free, you have to have a copy of the http://www.illc.uva.nl/NewsandEvents/Attachments/TinaWildeUitnodiging2.pdf in order to get in. For more information, see http://www.tinewilde.com/CoursesLectures.htm

In May 2004 dr H. Honing will be a visiting professor at the Music and Cognitive Science departments of Northwestern University, Chicago, lecturing on music cognition.

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

The April 2004 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 of April 1, 2004 the Language and Inference Technology (LIT) group of Maarten de Rijke, is no longer part of the ILLC. They are now part of the Informatics Institute of the Universiteit van Amsterdam.

Maarten joined ILLC in 1998, and in 2001 he and Michael Masuch founded the LIT group. The group quickly grew to become an award-winning group of over 20 people pursuing foundational, experimental, and applied research in intelligent information access.

At the Informatics Institute, Maarten has taken up a professorship in Information Processing and Internet. The following people have left the ILLC along with Maarten de Rijke: Loredana Afanasiev, David Ahn, Caterina Caracciolo, Sisay Fissaha, Massimo Franceschet, Evan Goris, Willem van Hage, Gabriel Infante-Lopez, Valentin Jijkoun, Jaap Kamps, Maarten Marx, Gilad Mishne, Rob Mokken, Karin Mueller, Stefan Schlobach, Borkur Sigurbjornsson, Maarten Stol, and Petrucio Viana.

The LIT group has moved out of the B building to the Watergraafsmeer, where the Informatics Institute is housed. Their new address is:
Informatics Institute
Kruislaan 403
1098 SJ Amsterdam
tel: +31 (0)20 525 7561
http://lit.science.uva.nl/

Prof. Hugh Christopher Longuet-Higgins, who proposed the field of the 'Cognitive Sciences' in the seventies, has passed away earlier this week at the age of 81.

Longuet-Higgins's career began as a theoretical chemist applying a more rigorous use of quantum mechanics to chemistry than had heretofore been customary. Having done all the chemistry he wanted to do by the age of 40, work that was recognized by his election to be a Fellow of the Royal Society, he joined Donald Michie and Richard Gregory in founding the Department of Machine Intelligence and Perception in Edinburgh University in 1967. Longuet-Higgins brought a thorough knowledge of the mathematics of the continuum to enrich that environment, and it has always informed his work in Artificial Intelligence, together with that of some at least of his students, of whom Geoffrey Hinton is perhaps best known. Longuet-Higgins has worked on various aspects of perception, including pose-recovery in machine vision, speech and the perception of music. His work on developing computational models of music understanding was recognized in the nineties by the award of an Honorary Doctorate of Music by Sheffield University.

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

The book 'Principles of Constraint Programming', by Krzysztof R. Apt., is now available.

For more information, see here.

The January 2004 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 .

In February The LIT group will start a reading group for question answering. We intend to meet every other Thursday (starting 5th of February), and discuss recent papers regarding QA; please join us if you are interested, and forward to other people who may be interested as well.

For more information, see http://lit.science.uva.nl/News/qa.html

Arti et Amicitiae is a society specially for visual artists. You are most cordially invited to be present at the opening of the exhibition of the new members. The exhibition includes a contribution by ILLC member Tine Wilde: "The CAVE-Models and Meaning: 'A Room is Brought to Sound', based on her current work with the CAVE project at SARA.

For more information, see http://www.tinewilde.com/Inprocess.htm or http://www.arti.nl/, or view the original invitation at http://www.illc.uva.nl/NewsandEvents/Attachments/TinaWildeUitnodiging.pdf .

After long and faithful service, the Beta Preprint Server is finally being retired. The electronic ILLC Publication Archives are moving to the new UvA-DARE server.

The Digital Academic Repository of the Universiteit van Amsterdam (UvA-DARE) is a service which is part of a national and international network of scientific and scholarly information services. The repository makes sure that references to your publications become available within this international network of information services, hereby increasing the visibility of your publications.

Information on how to submit documents to the new server is available at the ILLC Support and Information pages.

For more information, see http://www.illc.uva.nl/SupportandInfo/prepubproc.html or http://dare.uva.nl/.