These pages provide information about recent developments at or relevant to the ILLC. Please let us know if you have material that you would like to be added to the news pages, by using the online submission form. For minor updates to existing entries you can also email the news administrators directly. English submissions strongly preferred.
The calender view is not available on the mobile version of the website. You can view this information as a list.
You can also view this information as a list or iCalendar-feed, or import the embedded hCalendar metadata into your calendar-app.
| << March 2005 | ||||||
|---|---|---|---|---|---|---|
| Sunday | Monday | Tuesday | Wednesday | Thursday | Friday | Saturday |
|
1
|
2
|
3
|
4
|
5
|
||
|
6
|
7
|
8
|
9
|
10
|
11
|
12
|
|
13
|
14
|
15
|
16
|
17
|
18
|
19
|
|
20
|
21
|
22
|
23
|
24
|
25
|
26
|
|
27
|
28
|
29
|
30
|
31
|
||
4 March 2005, ACLC Seminar, Nikolaus Ritt
For abstracts and more information, see http://www.hum.uva.nl/aclc/object.cfm/
8 March 2005, Zuidelijk Interuniversitair Colloquium (ZIC), Jan van Eijck
For abstracts and more information, see http://www.win.tue.nl/zic/ or contact Georgi Jojgov (G.I.Jojgov at tue.nl).
8 March 2005, Logic Tea, Brian Semmes
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).
11 March 2005, DIP Colloquium, Kriszta Szendroi
- resolving the paradox of the acquisition of focus
For abstracts and more information, see https://www.illc.uva.nl/dip/.
11 March 2005, Publieksdag "Philosophy of Information", Grote Zaal van Cristofori, Prinsengracht 583, Amsterdam
If we are to believe Hollywood, the reality we live in can be replaced by a computer model. Films and series such as "The Lawnmower Man", "The Matrix" and "Star Trek" (the Holodeck) have as their underlying premise that reality and consciousness are composed solely of information, and that that information can easily be manipulated using computers. Those following the rapid development of computer games have to conclude that the perfecting of interfaces is eroding the difference between game and reality. Happily (or regretfully) science itself has not quite reached this stage, but exciting things are happening nevertheless.
At the symposium Philosophy of Information John McCarthy, Keith Devlin, Pieter Adriaans and Tine Wilde will discuss the current state of affairs. Science is achieving new insights by viewing part of reality as a computational process. Taking this approach to its extremes, this begs the philisophical question: is it only a metaphore, a useful model, or something more? Is information going to turn out to be the science-of-everything?
For more information, an online registration form and a program, see http://www.klpoll.nl/pages/project.phtml?project=66
11 March 2005, ILPS Seminar, Claire Gardent
For abstracts and more information, see http://lit.science.uva.nl/Seminar/seminar05-1.html#Mar11.
13 March 2005, Paradisolezingen in 2005, Johan van Benthem
(Dutch only)
Informatie stroomt zodra we taal gebruiken, of andere handelingen verrichten waaruit voor anderen 'iets valt af te lezen'. Het doseren van die stroom is de sleutel tot effectief sociaal handelen - waar alles draait om verschillen in kennis, geheimhouding, en discretie. Dit soort verschijnselen zijn goed te modelleren met moderne logische technieken, met een scheutje inspiratie uit de informatica. Want communicatie lijkt erg op programmeren van taalhandelingen. Een indruk van hoe dit werkt en waar nu de grens ligt.
For abstracts and more information, see http://www.nwo.nl/nwohome.nsf/pages/NWOP_68HEUU.
14 March 2005, DIP Colloquium, Hans Kamp
For abstracts and more information, see https://www.illc.uva.nl/dip/.
15 March 2005, Logica Symposium: Waarheid in Taal
(dutch only)
Hoe universeel is taal? Die vraag kunnen we figuurlijk bekijken: wat hebben alle talen gemeen? Wat is de overeenkomst tussen mensentaal en robottaal? Of we bekijken hem letterlijk: hoe praat je met buitenaardse wezens? Als we bij dit soort vragen iets doorgraven en net onder het oppervlak kijken, zien we al gauw dat er logica in verborgen ligt. Logica steekt bij veel vakgebieden de kop op.
Het symposium "Waarheid in Taal" van 15 maart 2005 zal vanuit vakgebieden zo divers als filosofie, informatica en logica licht op deze vraagstukken laten vallen. Onderzoekers, alumni en studenten worden van harte uitgenodigd om sprekers uit het hele land hun verrassende kijk op de zaak uit de doeken te zien doen.
Plaats van het gebeuren is het Trippenhuis van de Koninklijke Nederlandse Academie van Wetenschappen (KNAW) in Amsterdam. Het programma omvat 5 sprekers, een lunchbuffet en een borrel. De organisatie is in handen van de Natuurwetenschappelijke Studievereniging Amsterdam, in samenwerking met de Vereniging voor Logica. De entreeprijs bedraagt E 5,-. Inschrijven is verplicht. Er kunnen 150 mensen deelnemen.
Zie voor meer informatie http://www.science.uva.nl/~waarheid/
15 March 2005, M,P.I. Colloquium Series, Nick Chater
Wundtlaan 1, Nijmegen
For more information, see http://www.mpi.nl/world/colloquia/.
18 March 2005, ILPS Seminar, Gosse Bouma
For abstracts and more information, see http://lit.science.uva.nl/Seminar/seminar05-1.html#Mar18.
18 March 2005, ACLC Seminar, Paul Boersma
For abstracts and more information, see http://www.hum.uva.nl/aclc/object.cfm/
18 March 2005, Colloquium on Mathematical Logic, Xavier Caicedo Ferrer
(Tram 9 from Central Station, to Plantage Badlaan.)
For abstracts and more information, see http://www.math.uu.nl/people/jvoosten/seminar.html or here.
21 March 2005, GLLCX
The tenth edition of the workshop on Games in Logic, Language and Computation (GLLCX) will be held on Monday, March 21, and will be hosted by the Department of Philosophy of Tilburg University. In connection with the PhD-defense of Francien Dechesne, this workshop will have a special focus on logic with imperfect information.
Speakers include Gabriel Sandu (Helsinki), Xavier Caicedo (Bogota), Theo Janssen (Amsterdam), Barteld Kooi (Groningen), Elias Thijsse (UvT) and Johan van Benthem (Amsterdam).
For more information including a program and abstracts, see http://www.uvt.nl/faculteiten/fww/GLLCX/
22 March 2005, Logic Tea, Jouko Vaananen,
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).
24 March 2005, DIP Colloquium, Kai-Uwe Kühnberger
For abstracts and more information, see https://www.illc.uva.nl/dip/.
26 March - 4 April 2005,
1st World Congress and School on Universal Logic (UNILOG-2005)
, Montreux - Switzerland
Many conferences have been organized on specific techniques (combination of logics, labelled deductive systems, tableaux, etc.) or on some specific classes of logics (nonmonotonic logics, many-valued logics, paraconsistent logics, etc.). The idea of this event is to put together these various activities in order to promote interaction and to provide access of these different fields to the non-specialist. The school is intended for advanced students and young researchers.
Invited speakers of the congress will include A.Avron, D.Batens, J.Corcoran, M.Dunn, D.Gabbay, R.Jansana, A.Koslow, V.de Paiva, K.Segerberg.
Contributed papers for the congress can be submitted before October 30, 2004. For more information, see here or the website at http://www.uni-log.org.
26 March - 4 April 2005,
1st World Congress and School on Universal Logic (UNILOG-2005)
, Montreux - Switzerland
Many conferences have been organized on specific techniques (combination of logics, labelled deductive systems, tableaux, etc.) or on some specific classes of logics (nonmonotonic logics, many-valued logics, paraconsistent logics, etc.). The idea of this event is to put together these various activities in order to promote interaction and to provide access of these different fields to the non-specialist. The school is intended for advanced students and young researchers.
Invited speakers of the congress will include A.Avron, D.Batens, J.Corcoran, M.Dunn, D.Gabbay, R.Jansana, A.Koslow, V.de Paiva, K.Segerberg.
Contributed papers for the congress can be submitted before October 30, 2004. For more information, see here or the website at http://www.uni-log.org.
26 March - 4 April 2005,
1st World Congress and School on Universal Logic (UNILOG-2005)
, Montreux - Switzerland
Many conferences have been organized on specific techniques (combination of logics, labelled deductive systems, tableaux, etc.) or on some specific classes of logics (nonmonotonic logics, many-valued logics, paraconsistent logics, etc.). The idea of this event is to put together these various activities in order to promote interaction and to provide access of these different fields to the non-specialist. The school is intended for advanced students and young researchers.
Invited speakers of the congress will include A.Avron, D.Batens, J.Corcoran, M.Dunn, D.Gabbay, R.Jansana, A.Koslow, V.de Paiva, K.Segerberg.
Contributed papers for the congress can be submitted before October 30, 2004. For more information, see here or the website at http://www.uni-log.org.
26 March - 4 April 2005,
1st World Congress and School on Universal Logic (UNILOG-2005)
, Montreux - Switzerland
Many conferences have been organized on specific techniques (combination of logics, labelled deductive systems, tableaux, etc.) or on some specific classes of logics (nonmonotonic logics, many-valued logics, paraconsistent logics, etc.). The idea of this event is to put together these various activities in order to promote interaction and to provide access of these different fields to the non-specialist. The school is intended for advanced students and young researchers.
Invited speakers of the congress will include A.Avron, D.Batens, J.Corcoran, M.Dunn, D.Gabbay, R.Jansana, A.Koslow, V.de Paiva, K.Segerberg.
Contributed papers for the congress can be submitted before October 30, 2004. For more information, see here or the website at http://www.uni-log.org.
26 March - 4 April 2005,
1st World Congress and School on Universal Logic (UNILOG-2005)
, Montreux - Switzerland
Many conferences have been organized on specific techniques (combination of logics, labelled deductive systems, tableaux, etc.) or on some specific classes of logics (nonmonotonic logics, many-valued logics, paraconsistent logics, etc.). The idea of this event is to put together these various activities in order to promote interaction and to provide access of these different fields to the non-specialist. The school is intended for advanced students and young researchers.
Invited speakers of the congress will include A.Avron, D.Batens, J.Corcoran, M.Dunn, D.Gabbay, R.Jansana, A.Koslow, V.de Paiva, K.Segerberg.
Contributed papers for the congress can be submitted before October 30, 2004. For more information, see here or the website at http://www.uni-log.org.
26 March - 4 April 2005,
1st World Congress and School on Universal Logic (UNILOG-2005)
, Montreux - Switzerland
Many conferences have been organized on specific techniques (combination of logics, labelled deductive systems, tableaux, etc.) or on some specific classes of logics (nonmonotonic logics, many-valued logics, paraconsistent logics, etc.). The idea of this event is to put together these various activities in order to promote interaction and to provide access of these different fields to the non-specialist. The school is intended for advanced students and young researchers.
Invited speakers of the congress will include A.Avron, D.Batens, J.Corcoran, M.Dunn, D.Gabbay, R.Jansana, A.Koslow, V.de Paiva, K.Segerberg.
Contributed papers for the congress can be submitted before October 30, 2004. For more information, see here or the website at http://www.uni-log.org.