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.
| << May 2004 | ||||||
|---|---|---|---|---|---|---|
| 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
|
|||||
Two Days of Truth
On 14/5 Wolfgang Künne will give an overview of his recent magnum opus "Conceptions of Truth", Oxford U. P., 2003. On 15/5 Sundholm and Wolenski will discuss specific issues in the book, and Mulligan will speak on truth- and -fact-making.
For more information, see http://www.filosofie.leidenuniv.nl/
14-16 May 2004, Third Flamish-Dutch Congress for Philosophy of Science, ISVW, Leusden
From Friday May 14th to Sunday May 16th the Third Flamish-Dutch Congress for General and Special Philosophy of Science will take place. The congress will be organized by the Dutch Society for Philosophy of Science (NVWF) and hosted by the International School for Philosophy (ISVW) in Leusden.
For more information (in Dutch), see here or http://www.isvw.nl/programma2_isvw_index.htm.
14 May 2004, Leve de Wiskunde! Passie voor het vak (Open dag)
On friday 14 May the Korteweg-de Vries Institute for Mathematics and the Institute for Logic, Language and Computation will host an Open Day for teachers of mathematics, students, and other interested parties. 'Leve de Wiskunde' is the opportunity to become acquainted with the renowned research programs in mathematics and logic at the UvA.
For more information and an online application form, see http://www.science.uva.nl/congres/.
14 May 2004, Language and Inference Technology (LIT) Seminar, Walter Daelemans
(Antwerp/Tilburg)
For abstracts and more information, see http://lit.science.uva.nl/News/seminar04-1.html#May14.
14 May 2004, Colloquium on Mathematical Logic, Andreas Weiermann
for Ackermannian Paris Harrington - functions
(Bus 11 from Utrecht Central Station).
For abstracts and more information, see http://www.math.uu.nl/people/jvoosten/seminar.html
14 May 2004, DIP Colloquium, Hans-Christian Schmitz
For abstracts and more information, see https://www.illc.uva.nl/dip/.
Two Days of Truth
On 14/5 Wolfgang Künne will give an overview of his recent magnum opus "Conceptions of Truth", Oxford U. P., 2003. On 15/5 Sundholm and Wolenski will discuss specific issues in the book, and Mulligan will speak on truth- and -fact-making.
For more information, see http://www.filosofie.leidenuniv.nl/
14-16 May 2004, Third Flamish-Dutch Congress for Philosophy of Science, ISVW, Leusden
From Friday May 14th to Sunday May 16th the Third Flamish-Dutch Congress for General and Special Philosophy of Science will take place. The congress will be organized by the Dutch Society for Philosophy of Science (NVWF) and hosted by the International School for Philosophy (ISVW) in Leusden.
For more information (in Dutch), see here or http://www.isvw.nl/programma2_isvw_index.htm.
14-16 May 2004, Third Flamish-Dutch Congress for Philosophy of Science, ISVW, Leusden
From Friday May 14th to Sunday May 16th the Third Flamish-Dutch Congress for General and Special Philosophy of Science will take place. The congress will be organized by the Dutch Society for Philosophy of Science (NVWF) and hosted by the International School for Philosophy (ISVW) in Leusden.
For more information (in Dutch), see here or http://www.isvw.nl/programma2_isvw_index.htm.
19 May 2004, Computing with LLI Seminar, Karin Müller
(Amsterdam)
For abstracts and more information, see http://lit.science.uva.nl/News/seminar04-1.html#May07.
24 May 2004, International Workshop on Language Resources: Integration and Development in E-Learning and in Teaching Computational Linguistics., Centro Cultural de Belem, LISBON, Portugal
Language resources (LRs) are of crucial importance not only for research and development in language and speech technology but also for teaching purposes. E-learning added a new dimension to the usability of language resources and made them interesting outside the area of computational linguistics.
This one-day workshop will focus on the integration of LRs in the educational process and the relation between LRs and e-learning. Special attention will be dedicated to the use of LRs in the curriculum of computational linguistics.
Extended Deadline for abstract submissions is February 15th, 2004. For more information, see http://nats-wiki.informatik.uni-hamburg.de/~cri/lrecwp04/index.html. This workshop is organized in association with the LREC 2004, the 4th International Conference on Language Resources and Evalution.
26 May 2004, Automath Symposium, Auditorium 16, TU Eindhoven
An important question is whether computer assisted proofs are acceptable to the scientific community. One can distinguish romantic (human understandable) vs cool (machine verified) proofs. The heart of the matter is whether a proof is reliable. Reliability can be obtained by providing fully formalised proofs that can be algorithmically verified. The methodology of de Bruijn's Automath Project delivers proofs that are reliable and human-readable.
What is the feasibility of constructing fully formalised proofs for `everyday use' in mathematics? Interactive support from the computer in developing proofs brings us a step forward, but how far can we get? On the occasion of the digitizing of the Automath Archive a short symposium is organised on these matters, as a cooperation of the ZIC-colloquium and the Brouwer Seminar of the Foundations group in Nijmegen.
All information on the program of this symposium can be found at the website: http://www.win.tue.nl/automath/. For more information, please contact f.dechesne at uvt.nl
28 May 2004, Computing with LLI Seminar, Jan Kors
(Erasmus University Rotterdam)
For abstracts and more information, see http://lit.science.uva.nl/News/seminar04-1.html#May28.