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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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