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.
| << January 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
|
7 January 2004, CSCA Lecture, Roelien Bastiaanse
This lecture elaborates on how neurolinguistic research on aphasic patients, children with and without language impairments and non-brain-damaged speakers can serve to test hypotheses on the grammatical structure of the Dutch language.
For more information see the CSCA website at http://www.csca.uva.nl/.
8 January 2004, Logic Tea, Aline Honingh, ILLC
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).
9 January 2004, DIP Colloquium, Laura Alonso i Alemany
For abstracts and more information, see https://www.illc.uva.nl/dip/.
17-18 January 2004,
Annual conference of the Australasian Association of Logic(AAL 2004)
, Dunedin, New Zealand
The annual conference of the Australasian Association of Logic will be held in Dunedin, University of Otago, on 17 and 18 January, directly prior to the Australasian Computer Science Week (ACSW 2004).
For more information, see http://www.cs.otago.ac.nz/aal/
17-18 January 2004,
Annual conference of the Australasian Association of Logic(AAL 2004)
, Dunedin, New Zealand
The annual conference of the Australasian Association of Logic will be held in Dunedin, University of Otago, on 17 and 18 January, directly prior to the Australasian Computer Science Week (ACSW 2004).
For more information, see http://www.cs.otago.ac.nz/aal/
20 January 2004, Tf Lunch meetings, William W. Tait
For more information, see http://www.phil.uu.nl/~jjoosten/tflunch
20 January 2004, Zuidelijk Interuniversitair Colloquium (ZIC), Peter Grünwald
For abstracts and more information, see http://www.win.tue.nl/zic/ or contact Francien Dechesne (f.dechesne at uvt.nl).
23 January 2004, Colloquium on Mathematical Logic, Sergei Artemov
Opzomerkamer, Academiegebouw, Domplein 29, Utrecht
We use de Jongh Theorem in a combination with the usual methods of the logic of proofs to establish the completeness of the basic intuitionistic logic of proofs w.r.t. the Heyting arithmetic.
For more information, see http://www.math.uu.nl/people/jvoosten/seminar.html
24-30 January 2004, SOFSEM 2004, Hotel VZ Merin, Czech Republic
SOFSEM (SOFtware SEMinar) is an annual five-day international conference devoted to the theory and practice of Computer Science. Its aim is to foster co-operation among professionals from academia and industry working in various areas of Computer Science. The program consists of series of Invited Talks, given by prominent professionals and researchers, Contributed Talks selected by the Program Committee from submitted papers, Workshop Sessions discussing work-in-progress, and the Student Research Forum.
For more information, see the conference website: http://www.sofsem.cz/
24-30 January 2004, SOFSEM 2004, Hotel VZ Merin, Czech Republic
SOFSEM (SOFtware SEMinar) is an annual five-day international conference devoted to the theory and practice of Computer Science. Its aim is to foster co-operation among professionals from academia and industry working in various areas of Computer Science. The program consists of series of Invited Talks, given by prominent professionals and researchers, Contributed Talks selected by the Program Committee from submitted papers, Workshop Sessions discussing work-in-progress, and the Student Research Forum.
For more information, see the conference website: http://www.sofsem.cz/
24-30 January 2004, SOFSEM 2004, Hotel VZ Merin, Czech Republic
SOFSEM (SOFtware SEMinar) is an annual five-day international conference devoted to the theory and practice of Computer Science. Its aim is to foster co-operation among professionals from academia and industry working in various areas of Computer Science. The program consists of series of Invited Talks, given by prominent professionals and researchers, Contributed Talks selected by the Program Committee from submitted papers, Workshop Sessions discussing work-in-progress, and the Student Research Forum.
For more information, see the conference website: http://www.sofsem.cz/
24-30 January 2004, SOFSEM 2004, Hotel VZ Merin, Czech Republic
SOFSEM (SOFtware SEMinar) is an annual five-day international conference devoted to the theory and practice of Computer Science. Its aim is to foster co-operation among professionals from academia and industry working in various areas of Computer Science. The program consists of series of Invited Talks, given by prominent professionals and researchers, Contributed Talks selected by the Program Committee from submitted papers, Workshop Sessions discussing work-in-progress, and the Student Research Forum.
For more information, see the conference website: http://www.sofsem.cz/
24-30 January 2004, SOFSEM 2004, Hotel VZ Merin, Czech Republic
SOFSEM (SOFtware SEMinar) is an annual five-day international conference devoted to the theory and practice of Computer Science. Its aim is to foster co-operation among professionals from academia and industry working in various areas of Computer Science. The program consists of series of Invited Talks, given by prominent professionals and researchers, Contributed Talks selected by the Program Committee from submitted papers, Workshop Sessions discussing work-in-progress, and the Student Research Forum.
For more information, see the conference website: http://www.sofsem.cz/
28 January 2004, The Fifth Amsterdam-Utrecht Workshop: Psycholinguistics
This is already the fifth workshop in the series of `Amsterdam - Utrecht workshops', that were initiated to further improve the interaction between the ILLC and OTS. For this occasion, the topic we have decided on is psycholinguistics. The program consists of talks on various subjects in this field such as: acquisition of tense, ellipsis processing, autism and an afternoon session on aphasia. Participation is free, lunch will be arranged for and everyone is welcome!
For more information, see http://www.geocities.com/rmastop/AU-workshop.html. Information about past meetings is available at http://www-uilots.let.uu.nl/~ctl/workshops/am-ut.html
24-30 January 2004, SOFSEM 2004, Hotel VZ Merin, Czech Republic
SOFSEM (SOFtware SEMinar) is an annual five-day international conference devoted to the theory and practice of Computer Science. Its aim is to foster co-operation among professionals from academia and industry working in various areas of Computer Science. The program consists of series of Invited Talks, given by prominent professionals and researchers, Contributed Talks selected by the Program Committee from submitted papers, Workshop Sessions discussing work-in-progress, and the Student Research Forum.
For more information, see the conference website: http://www.sofsem.cz/
29 January 2004, Logic Tea, Yoav Seginer, ILLC
The Logic Tea homepage can be found at https://www.illc.uva.nl/logic_tea/. For more information, please contact Hartmut Fitz (hfitz at hum.uva.nl).
24-30 January 2004, SOFSEM 2004, Hotel VZ Merin, Czech Republic
SOFSEM (SOFtware SEMinar) is an annual five-day international conference devoted to the theory and practice of Computer Science. Its aim is to foster co-operation among professionals from academia and industry working in various areas of Computer Science. The program consists of series of Invited Talks, given by prominent professionals and researchers, Contributed Talks selected by the Program Committee from submitted papers, Workshop Sessions discussing work-in-progress, and the Student Research Forum.
For more information, see the conference website: http://www.sofsem.cz/
30 January 2004, Colloquium on Mathematical Logic, Jan Wolenski
(Bus 12 from Utrecht Central Station).
For abstracts and more information, see http://www.math.uu.nl/people/jvoosten/seminar.html
30 January 2004, DIP Colloquium, Regine Eckardt
For abstracts and more information, see https://www.illc.uva.nl/dip/.