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

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://www.win.tue.nl/zic/ or contact Francien Dechesne (f.dechesne at uvt.nl).

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

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

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

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

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/

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/

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

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

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

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/

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.win.tue.nl/zic/ or contact Francien Dechesne (f.dechesne at uvt.nl).

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

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

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

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

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

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

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

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

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

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/

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

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/

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/

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/

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/