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.win.tue.nl/zic/ or contact Georgi Jojgov (G.I.Jojgov at tue.nl).

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/

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/

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

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

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

The Logic Tea homepage can be found at https://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 https://www.illc.uva.nl/dip/.

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/

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

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

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

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

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