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.
| << October 2007 | ||||||
|---|---|---|---|---|---|---|
| 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
|
|||
1-5 October 2007, Seventh International Tbilisi Symposium on Language, Logic and Computation, Tbilisi, Georgia
The Seventh International Tbilisi Symposium on Language, Logic and Computation will be held on 1-5 October 2007 in the vicinity of Tbilisi, the capital of Georgia. The symposium is organised by the Centre for Language, Logic and Speech at Tbilisi State University, in conjunction with the Institute for Logic, Language and Computation (ILLC) at the University of Amsterdam.
The symposium will feature three invited tutorials as well as several invited talks. Furthermore, up to 30 contributed papers can be accepted for presentation. Anybody who has attended one of the previous editions of this event can confirm that these symposia constitute an unforgettable experience.
The event is co-located with the Third Vienna-Tbilisi Summer School in Logic and Languages, 24-28 September 2007.
For more information, see https://www.illc.uva.nl/Tbilisi2007/.
1-5 October 2007, Seventh International Tbilisi Symposium on Language, Logic and Computation, Tbilisi, Georgia
The Seventh International Tbilisi Symposium on Language, Logic and Computation will be held on 1-5 October 2007 in the vicinity of Tbilisi, the capital of Georgia. The symposium is organised by the Centre for Language, Logic and Speech at Tbilisi State University, in conjunction with the Institute for Logic, Language and Computation (ILLC) at the University of Amsterdam.
The symposium will feature three invited tutorials as well as several invited talks. Furthermore, up to 30 contributed papers can be accepted for presentation. Anybody who has attended one of the previous editions of this event can confirm that these symposia constitute an unforgettable experience.
The event is co-located with the Third Vienna-Tbilisi Summer School in Logic and Languages, 24-28 September 2007.
For more information, see https://www.illc.uva.nl/Tbilisi2007/.
1-5 October 2007, Seventh International Tbilisi Symposium on Language, Logic and Computation, Tbilisi, Georgia
The Seventh International Tbilisi Symposium on Language, Logic and Computation will be held on 1-5 October 2007 in the vicinity of Tbilisi, the capital of Georgia. The symposium is organised by the Centre for Language, Logic and Speech at Tbilisi State University, in conjunction with the Institute for Logic, Language and Computation (ILLC) at the University of Amsterdam.
The symposium will feature three invited tutorials as well as several invited talks. Furthermore, up to 30 contributed papers can be accepted for presentation. Anybody who has attended one of the previous editions of this event can confirm that these symposia constitute an unforgettable experience.
The event is co-located with the Third Vienna-Tbilisi Summer School in Logic and Languages, 24-28 September 2007.
For more information, see https://www.illc.uva.nl/Tbilisi2007/.
1-5 October 2007, Seventh International Tbilisi Symposium on Language, Logic and Computation, Tbilisi, Georgia
The Seventh International Tbilisi Symposium on Language, Logic and Computation will be held on 1-5 October 2007 in the vicinity of Tbilisi, the capital of Georgia. The symposium is organised by the Centre for Language, Logic and Speech at Tbilisi State University, in conjunction with the Institute for Logic, Language and Computation (ILLC) at the University of Amsterdam.
The symposium will feature three invited tutorials as well as several invited talks. Furthermore, up to 30 contributed papers can be accepted for presentation. Anybody who has attended one of the previous editions of this event can confirm that these symposia constitute an unforgettable experience.
The event is co-located with the Third Vienna-Tbilisi Summer School in Logic and Languages, 24-28 September 2007.
For more information, see https://www.illc.uva.nl/Tbilisi2007/.
1-5 October 2007, Seventh International Tbilisi Symposium on Language, Logic and Computation, Tbilisi, Georgia
The Seventh International Tbilisi Symposium on Language, Logic and Computation will be held on 1-5 October 2007 in the vicinity of Tbilisi, the capital of Georgia. The symposium is organised by the Centre for Language, Logic and Speech at Tbilisi State University, in conjunction with the Institute for Logic, Language and Computation (ILLC) at the University of Amsterdam.
The symposium will feature three invited tutorials as well as several invited talks. Furthermore, up to 30 contributed papers can be accepted for presentation. Anybody who has attended one of the previous editions of this event can confirm that these symposia constitute an unforgettable experience.
The event is co-located with the Third Vienna-Tbilisi Summer School in Logic and Languages, 24-28 September 2007.
For more information, see https://www.illc.uva.nl/Tbilisi2007/.
5 October 2007, ILPS Seminar, Jan Hidders and Szabolcs Mikulas
For abstracts and more information, see http://ilps.science.uva.nl/Seminar/seminar07-2.html#Oct5.
5 October 2007, Colloquium on Mathematical Logic, Shingo Saito
(Tram 9 from Central Station, to Plantage Badlaan).
For abstracts and more information, see http://www.math.uu.nl/people/jvoosten/seminar.html
10 October 2007, Logic, Language and Reasoning Seminar, Bart Geurts
Abstract:
The Gricean theory of conversational implicature has always been plagued by data suggesting that what would seem to be conversational inferences may occur within the scope of operators like believe, for example - which for bona fide implicatures should be an impossibility. Concentrating my attention on scalar implicatures, I argue that, for the most part, such observations can be accounted for within a Gricean framework, and without resorting to local pragmatic inferences of any kind. However, there remains a small class of marked cases that cannot be treated as conversational implicatures, and they do require a local mode of pragmatic interpretation.
For more information contact Jakub Szymanik at szymanik at illc.uva.nl
11 October 2007, GLoRiClass Seminar, Jouko Väänänen
For more information, see https://www.illc.uva.nl/GLoRiClass/index.php?page=4
11 October 2007, Logic Tea, Wouter Koolen-Wijkstra
This talk is based on my MSc. Logic Thesis' research on learning from experiments. Its slogan is: Science progresses by the performing of experiments to evaluate hypotheses. I introduce a formal model of active learning in terms of information-theoretic games.
The Logic Tea homepage can be found at https://www.illc.uva.nl/logic_tea/ For more information, please contact Joel Uckelmann (juckelma at science.uva.nl) or Edgar Andrade (E.J.AndradeLotero at uva.nl).
12 October 2007, Workshop on "Learning Syntactic Structure"
On Friday, October 12th 2007, on the occasion of Yoav Seginer's PhD-defense, there will be workshop on "Learning Syntactic Structure"
10.00, Agnietenkapel, PhD defense Yoav Seginer
13.30, P3.27, lunch
14h00, P3.27, Alexander Clark, What makes languages learnable?
15h00 - 17h00, P3.27, discussion sessions (including coffee breaks)
For more information, see here
12 October 2007, Colloquium on Mathematical Logic, Valery Plisko
(Bus 11 or 12 from Utrecht Central Station, stop 'AZU').
For abstracts and more information, see http://www.math.uu.nl/people/jvoosten/seminar.html
12 October 2007, DIP Colloquium, Petra Hendriks
For abstracts and more information, see https://www.illc.uva.nl/dip/.
12 October 2007, Computational Social Choice Seminar, Ulle Endriss
For more information, see here or https://www.illc.uva.nl/~ulle/seminar/ or contact Ulle Endriss (ulle at illc.uva.nl).
18 October 2007, GLoRiClass Seminar, Vangelis Markakis
For more information, see https://www.illc.uva.nl/GLoRiClass/index.php?page=4
19 October 2007, Colloquium on Mathematical Logic, Canceled
For abstracts and more information, see http://www.math.uu.nl/people/jvoosten/seminar.html
19 October 2007, DIP Colloquium, Ruth Millikan
For abstracts and more information, see https://www.illc.uva.nl/dip/.
25 October 2007, GLoRiClass Seminar, Simon Kramer
For more information, see https://www.illc.uva.nl/GLoRiClass/index.php?page=4
25 October 2007, PROSE Colloquium, Muck van Weerdenburg
For more information, see http://www.win.tue.nl/prose/
25 October 2007, Logic Tea, Simon Kramer
We propose a denotational definition for the (actual) meaning of a cryptographic message and, based on it, an equational definition for the context-sensitivity of that meaning, both via hypothetical knowledge and provability. As a result, we obtain a formalisation of the first of Abadi and Needham's principles for prudent engineering practice for - and a tentative denotational semantics of - cryptographic protocols. Building on this (published) work, we present ongoing work on the distinction between the intended and the actual meaning of a cryptographic message and protocol. Our notions are viable for general multi-agent systems.
The Logic Tea homepage can be found at https://www.illc.uva.nl/logic_tea/ For more information, please contact Joel Uckelmann (juckelma at science.uva.nl) or Edgar Andrade (E.J.AndradeLotero at uva.nl
26 October 2007, ILPS Seminar, Manos Tsagias
For abstracts and more information, see http://ilps.science.uva.nl/Seminar/seminar07-2.html#Oct26.