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 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
|
||||
12-16 September 2005, The Sixth International Tbilisi Symposium
on Language, Logic and Computation, Batumi, Georgia
The sixth Tbilisi Symposium on Language, Logic and Computation will be held in the Black Sea coastal resort Batumi from September 12 to September 16, 2005. 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. Everybody who has been at previous occasions can confirm that these symposia constitute an unforgettable experience.
For the general program 30 papers can be accepted for presentation. Deadline for submission of abstracts: 1 May 2005
For more information , see the symposium website at https://www.illc.uva.nl/Batumi2005/
5-11 August 2005, Logic in Hungary, Budapest, Hungary
We take great pleasure in announcing that the Janos Bolyai Mathematical Society is going to organize a conference on mathematical logic in Budapest, Hungary, during the period August 5 - 11, 2005. With this conference we would like to celebrate the unique event that two great Hungarian logicians, L. Kalmar and R. Peter, both have their centenary of birth in 2005.
For more information, see here or http://www.renyi.hu/lh05
5-7 September 2005, AMLaP Conference on Architectures and Mechanisms of Language Processing, Gent, Belgium
AMLaP is an annual international conference which has established itself as the premier European venue for interdisciplinary research into how people process language. The conference aims to bring together psychological, computational, and theoretical perspectives on the cognitive architectures and mechanisms which underly any aspect of human language processing, from lexical processing, parsing and interpretation, through to discourse level mechanisms. Contributions to AMLaP which explicity relate empirical and experimental findings and computational mechanisms are especially encouraged. Topics relevant to the conference include (but are not limited to): computational models, cross-linguistic studies, language production, statistical mechanisms, corpus-based studies, discourse, lexical processing, parsing and interpretation, learning mechanisms, connectionist models, computer simulations and models of acquisition.
For more information see http://www.amlap2005.ugent.be/
14-17 September 2005,
International Workshop on First-Order Theorem Proving (FTP 2005)
, Koblenz, Germany
FTP'2005 is the seventh in a series of workshops intended to focus effort on First-Order Theorem Proving as a core theme of Automated Deduction, and to provide a forum for presentation of recent work and discussion of research in progress. It is co-located with the TABLEAUX 2005 conference.
For more information, see http://ftp2005.uni-koblenz.de/.