The "Gesellschaft für Semantik" (GfS) is pleased to announce its Eighth Annual Meeting "Sinn und Bedeutung VIII". The "Sinn und Bedeutung" meetings aim to provide a platform for semanticists to present recent work. The area of interest includes all topics from current semantic research: formal semantics, cognitive semantics, descriptive semantics, typological semantics, historical semantics, philosophy of language etc.

Invited speakers include Sigrid Beck (Connecticut), Hans Kamp (Stuttgart) and Robert van Rooy (Amsterdam).

For more information and registration, see http://www.uni-frankfurt.de/fb10/SuB8.

What are large cardinals? What is the correlation between them and the theory of the real numbers? And why do we rarely (if ever) see those sets of real numbers that are influenced by the existence or nonexistence of these huge objects?

For more information, see here or http://www.science.uva.nl/research/math/Calendar/colloq/#lowe

The 1st of 2 conferences in 50th Anniversary of the leading journal in symbolic logic Studia Logica. Submit papers by August 15 to stud at ifispan.waw.pl

This is the first of two conferences on the occasion of the 50th Anniversary of the leading journal in symbolic logic Studia Logica. The aim of the conference is to bring together scholars of philosophy, logic, mathematics, and computer science and other discplines who have contributed significantly to what Studia Logica is today. The conference will include lectures by distinguished scholars covering topics within the aim and scope of the journal.

For more information, see http://www.50yrs.philog.ruc.dk/

The 1st of 2 conferences in 50th Anniversary of the leading journal in symbolic logic Studia Logica. Submit papers by August 15 to stud at ifispan.waw.pl

This is the first of two conferences on the occasion of the 50th Anniversary of the leading journal in symbolic logic Studia Logica. The aim of the conference is to bring together scholars of philosophy, logic, mathematics, and computer science and other discplines who have contributed significantly to what Studia Logica is today. The conference will include lectures by distinguished scholars covering topics within the aim and scope of the journal.

For more information, see http://www.50yrs.philog.ruc.dk/

The 1st of 2 conferences in 50th Anniversary of the leading journal in symbolic logic Studia Logica. Submit papers by August 15 to stud at ifispan.waw.pl

This is the first of two conferences on the occasion of the 50th Anniversary of the leading journal in symbolic logic Studia Logica. The aim of the conference is to bring together scholars of philosophy, logic, mathematics, and computer science and other discplines who have contributed significantly to what Studia Logica is today. The conference will include lectures by distinguished scholars covering topics within the aim and scope of the journal.

For more information, see http://www.50yrs.philog.ruc.dk/

The fifth Tbilisi Symposium on Language, Logic and Computation will be held in the capital of Georgia, Tbilisi, at the Tbilisi State University from October 6 to October 10, 2003. The Symposium is organized by the Centre for Language, Logic and Speech of the Tbilisi State University in conjunction with the Institute for Logic, Language and Computation (ILLC) of the University of Amsterdam.

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

The fifth Tbilisi Symposium on Language, Logic and Computation will be held in the capital of Georgia, Tbilisi, at the Tbilisi State University from October 6 to October 10, 2003. The Symposium is organized by the Centre for Language, Logic and Speech of the Tbilisi State University in conjunction with the Institute for Logic, Language and Computation (ILLC) of the University of Amsterdam.

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

The fifth Tbilisi Symposium on Language, Logic and Computation will be held in the capital of Georgia, Tbilisi, at the Tbilisi State University from October 6 to October 10, 2003. The Symposium is organized by the Centre for Language, Logic and Speech of the Tbilisi State University in conjunction with the Institute for Logic, Language and Computation (ILLC) of the University of Amsterdam.

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

Spatial memory - knowing what is where (including your own position) and how to get there - is vitally important for our daily life. Without it we would continuously be searching for tools, vehicles and other important objects and we would not be able to find our way back home or navigate through our surroundings.

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

The fifth Tbilisi Symposium on Language, Logic and Computation will be held in the capital of Georgia, Tbilisi, at the Tbilisi State University from October 6 to October 10, 2003. The Symposium is organized by the Centre for Language, Logic and Speech of the Tbilisi State University in conjunction with the Institute for Logic, Language and Computation (ILLC) of the University of Amsterdam.

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

Student association VIA, for AI, computer science and informatics students of the University of Amsterdam, is organizing the second edition of BNAIS, Belgian-Dutch Artificial Intelligence Symposium for students. This year's BNAIS theme is "Playing God? Creation and control". A wide variety of issues are brought together in this theme. Technical, theoretical as well as ethical considerations will be brought forward. Current and future developments in AI will be discussed, with subjects ranging from the creation of artificial life to controlling that creation, or control in modern day society using AI techniques.

BNAIS will consist of 3 lectures, around ten workshops, presentation of the yearly Belgian-Dutch award for the best AI Master's thesis, various discussions and a continuous information market.

For more information, see http://bnais.mine.nu/index.php?lang=en

The Workshop on Logic, Foundational Research, and Metamathematics will take place in Münster, Germany, hosted by the Institut für Mathematische Logik und Grundlagenforschung at the University of Münster. It is intended as a forum for the exchange of ideas and interaction between researchers working in different areas of proof theory.

For more information, see here or visit the workshop's homepage at http://www.math.uni-muenster.de/logik/wpt03/

The fifth Tbilisi Symposium on Language, Logic and Computation will be held in the capital of Georgia, Tbilisi, at the Tbilisi State University from October 6 to October 10, 2003. The Symposium is organized by the Centre for Language, Logic and Speech of the Tbilisi State University in conjunction with the Institute for Logic, Language and Computation (ILLC) of the University of Amsterdam.

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

The Workshop on Logic, Foundational Research, and Metamathematics will take place in Münster, Germany, hosted by the Institut für Mathematische Logik und Grundlagenforschung at the University of Münster. It is intended as a forum for the exchange of ideas and interaction between researchers working in different areas of proof theory.

For more information, see here or visit the workshop's homepage at http://www.math.uni-muenster.de/logik/wpt03/

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

The Workshop on Logic, Foundational Research, and Metamathematics will take place in Münster, Germany, hosted by the Institut für Mathematische Logik und Grundlagenforschung at the University of Münster. It is intended as a forum for the exchange of ideas and interaction between researchers working in different areas of proof theory.

For more information, see here or visit the workshop's homepage at http://www.math.uni-muenster.de/logik/wpt03/

Coming Thursday afternoon we will receive the visit of three researchers from Brazil and Suiss, who are working in themes related to modal logic, coming mainly from mathematical and philosophical aspects of the subject:

• Paulo Veloso and Sheila Veloso (COPPE and IM/UFRJ/Brasil): Filter and Ultrafilter logic
• Jean-Yves Beziau (Neuchatel/Suiss): Relations between modal logic and paraconsistent logic from the perspective of the square of oppositions

Abstract: We present topological interpretation of modal logic S4 with particular emphasis on its modern use in the theory of spatial reasoning. This interpretation dates back to at least as far as a paper of J.C.C. McKinsey and A. Tarski in the 40's [The algebra of topology, Ann. of Math. (2) 45 (1944), 141--191], but until recently not much active research has been done on the topic. Recent years have seen the revival of research with applications in robotics, AI, and spatial reasoning. In the first part of the lecture, I will introduce the topological interpretation and some of its most interesting properties. If time permits, in the second part I will say something about possible extensions of this approach and some of its uses.

Prerequisites: Some knowledge of modal logic is assumed, but no (or very little) knowledge of topology.

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 more information, see http://www.math.uni-muenster.de/logik/events/2003/kolloquium.html

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

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

This event, held under the auspices of the Institute for Studies in Theoretical Physics and Mathematics, will focus on mathematical logic and its applications in algebra and arithmetic. Invited speakers include: L.van den Dries, A.Enayat, Y.Ershov, I.Kalantari, F.-V.Kuhlman, S.Kuhlman, A.Macintyre, A.Pillay, and A.Visser.

For further information, visit http://www.ipm.ac.ir/logic2003/.

This event, held under the auspices of the Institute for Studies in Theoretical Physics and Mathematics, will focus on mathematical logic and its applications in algebra and arithmetic. Invited speakers include: L.van den Dries, A.Enayat, Y.Ershov, I.Kalantari, F.-V.Kuhlman, S.Kuhlman, A.Macintyre, A.Pillay, and A.Visser.

For further information, visit http://www.ipm.ac.ir/logic2003/.

This event, held under the auspices of the Institute for Studies in Theoretical Physics and Mathematics, will focus on mathematical logic and its applications in algebra and arithmetic. Invited speakers include: L.van den Dries, A.Enayat, Y.Ershov, I.Kalantari, F.-V.Kuhlman, S.Kuhlman, A.Macintyre, A.Pillay, and A.Visser.

For further information, visit http://www.ipm.ac.ir/logic2003/.

This event, held under the auspices of the Institute for Studies in Theoretical Physics and Mathematics, will focus on mathematical logic and its applications in algebra and arithmetic. Invited speakers include: L.van den Dries, A.Enayat, Y.Ershov, I.Kalantari, F.-V.Kuhlman, S.Kuhlman, A.Macintyre, A.Pillay, and A.Visser.

For further information, visit http://www.ipm.ac.ir/logic2003/.

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

This event, held under the auspices of the Institute for Studies in Theoretical Physics and Mathematics, will focus on mathematical logic and its applications in algebra and arithmetic. Invited speakers include: L.van den Dries, A.Enayat, Y.Ershov, I.Kalantari, F.-V.Kuhlman, S.Kuhlman, A.Macintyre, A.Pillay, and A.Visser.

For further information, visit http://www.ipm.ac.ir/logic2003/.

Neural networks are computer programs that are able to learn. Their functioning is inspired by the function of the brain. The value added by neural networks is strongest for those problems that lack explicit knowledge. A large number of neural network aided applications has already been realized. Well-known applications are pattern recognition, time series prediction, and process control. Neural networks do not always produce the best solution, however. Better solutions are therefore often obtained through a combination with explicit domain knowledge. Bayesian statistics offers an elegant formalism to combine learning and explicit modeling. Furthermore, statistical methods for quantification of reliability are of great importance. A modern trend is therefore marked by an integrated approach that combines neural networks with methods from statistics and artificial intelligence. The symposium 'Learning Solutions 2003' offers an up-to-date overview of Dutch research in this area.

For more information, see http://www.snn.kun.nl/nederland/index.php3?page=15

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

The Workshops on Optimality Theory Syntax (WOTS) played an important role in the past years for bringing together linguists sharing an interest in OT syntax. They provided excellent opportunities for researchers pioneering in OT syntax to present their work in progress and they provided a matrix for lively discussions and fruitful collaboration among those researchers and other participants. This year for the first time WOTS is organized outside Germany, which indicates its still growing international character.

For more information, see the workshop's webpage at http://www.kun.nl/pionier/wots7.htm

The Workshops on Optimality Theory Syntax (WOTS) played an important role in the past years for bringing together linguists sharing an interest in OT syntax. They provided excellent opportunities for researchers pioneering in OT syntax to present their work in progress and they provided a matrix for lively discussions and fruitful collaboration among those researchers and other participants. This year for the first time WOTS is organized outside Germany, which indicates its still growing international character.

For more information, see the workshop's webpage at http://www.kun.nl/pionier/wots7.htm

The relevant material for this tutorial can be found in: http://www.dit.unitn.it/~aiellom/publications/topax.pdf

For more information on the Spatial Reasoning Group, contact D. Sarenac at: sarenac at stanford.edu

The latest issue of the Journal of Logic Language and Information is on Connecting the Different Faces on Information. This special issue features contributions by Barteld Kooi, Johan van Benthem, Robert van Rooy, Rohit Parikh and Ramaswamy Ramanujam, Vincent Hendricks, and Peter Gruenwald and Paul Vitanyi.

Rohit Parikh's visit to the Netherlands gives us a wonderful opportunity to bring together many of the authors who contributed to the special issue for a final discussion.

For more information and a preliminary program, see http://staff.science.uva.nl/~bcate/connecting/

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

In the framework of the Cognition programme of the Dutch Research Foundation NWO, the University of Amsterdam organises a symposium on the origins of novel knowledge and novel behavior. The symposium is aimed at bringing together ideas on novelty from Artificial Intelligence, Machine Learning, Cognitive Psychology, Evolutionary Biology, Philosophy of Science and Philosophy of Language.

Registration is free but since the number of participants is limited, those who want to participate must register by sending an email with name, address and affiliation to dr. Maartje Raijmakers (Email: M.E.J.Raijmakers at uva.nl) before 27 October.

For more information, see http://users.fmg.uva.nl/mraijmakers/novelty/.

Arthur Norman Prior (1914-69) was the founding father of the modern logic of time and modality. There is still a lot to learn from Prior's writings, and of Prior's last book Papers on Time and Tense. The conference "The Logic of Time and Modality", organized by PHILOG, aims to discuss the modern challenges, problems, and applications of the Priorean approach to the logic of time and modality.

For more information, see http://www.philog.ruc.dk/phiconf3.html

This theme afternoon, organized by the VvL (the Dutch Society for Logic) features the following talks:
Robert van Rooij, Cooperative information exchange: Exhaustive interpretation and the division of pragmatic labour.
Paul Harrenstein, Game-theoretical Consequence.
Mehdi Dastani, Programming Agent Deliberation.
Rohit Parikh (special guest, New York): What to do next?

From 12:30-13:30 a cold lunch will be offered by the Society, available if you registered at least 1 week in advance by e-mailing jve at cwi.nl.

For abstracts and more information, see http://www.cwi.nl/orgs/vvl/toekomst.html