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 2010 | ||||||
|---|---|---|---|---|---|---|
| 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
|
|||
3 March 2010, Coalgebra Day, Science Park 904, Amsterdam
The Algebra & Coalgebra group at The Institute for Logic, language and Computation is organizing a sequel to the successful Dutch Coalgebra Days that took place in previous years (the last one was in the CWI, Amsterdam on the 2nd March 2009).
The Coalgebra Day is an informal one-day meeting on topics related to the theory of coalgebras. We will have talks from the two invited speakers, Jiri Adámek and Stefan Milius (Technical University of Braunschweig, Germany), and from people attending the event. Participation is free for everyone, and there is no registration fee. Lunch and drinks will be offered to the participants.
For practical reasons, please let us know in advance if you plan to attend, and whether you would like to give a talk (+/- 30 min.), by sending an e-mail to R.A.LealRodriguez at uva.nl and vincenzoml at gmail.com before the 19th of February. For more information, see http://staff.science.uva.nl/~ciancia/coalgebra_day/.
4 March 2010, Computational Social Choice Seminar, Bart de Keijzer
For more information, see here or https://www.illc.uva.nl/~ulle/seminar/ or contact Ulle Endriss (ulle.endriss at uva.nl).
5 March 2010, DIP Colloquium, Stephan Hartmann
For abstracts and more information, see https://www.illc.uva.nl/dip/.
8 March 2010, Workshop GLLC-17: Believing in Games
This workshop takes the pulse of current interfaces between logic and games. It is held at the occasion of two thesis defenses, by Jonathan A. Zvesper and Cédric Dégremont, on the topic of dynamic logics of belief and belief change (broadly construed) and their applications to games. In addition, a number of prominent researchers will talk about their current work, ranging from game theory to computer science and philosophy. Talks will be short, and the workshop aims for exchange of ideas and interaction.
For more information, see http://staff.science.uva.nl/~cdegremo/GLLC17/GLLC17.html
10 March 2010, Computational Linguistics Seminar, Hartmut Fitz
For more information and abstracts, see https://www.illc.uva.nl/LaCo/CLS/
11 March 2010, CWI-DIAMANT Seminar Combinatorics and Optimization, Dov Samet
The core of a marriage problem consists of its stable matchings. When men and women are objectively ranked in a marriage problem, say by beauty, then the core is a singleton: pairing individuals of equal rank is the only stable matching. We generalize this observation using natural metrics on rankings and on matchings, as well as a measure of the gap in rank between mates in a matching. We provide bounds on the diameter of the core, and on the rank gap of stable matchings in terms of the diameters of the sets of rankings, and conclude that when the set of rankings is small, so are the core and the rank gap in stable matchings. We also show that when the rank gap in stable matchings is small, then the core is also small.
For more information, see http://homepages.cwi.nl/~monique/acoseminar/.
12 March 2010, NVTI Theory Day 2010
NVTI is the "Nederlandse Vereniging voor Theoretische Informatica". One of the main activities of the NVTI is the organization of the yearly Theory Day. This year, as usual, we have an interesting program with excellent speakers from The Netherlands and abroad, covering important streams in theoretical computer science.
Speakers:
Jan Friso Groote (TU/e)
Monika Henzinger (University of Vienna, Austria)
Georges Gonthier (Microsoft Research)
Monique Laurent (CWI, Tilburg University)
It is possible to participate in the organized lunch, for which registration is required. Please register with Ms Caroline Waij (cpwaij at few.vu.nl or 020-5983563) no later than one week before the meeting (March 5, 2010). The costs of 15 Euro can be paid at the location.
For more information, see here or http://www.nvti.nl/Theorydays.html
12 March 2010, DIP Colloquium, Sebastian Sequoiah-Grayson
For abstracts and more information, see https://www.illc.uva.nl/dip/.
15 March 2010, Colloquium on Mathematical Logic, André Nies
For abstracts and more information, see http://www.math.uu.nl/people/jvoosten/seminar.html
22 March 2010, Logic Tea, Mathias Madsen
The Logic Tea homepage can be found at https://www.illc.uva.nl/logic_tea/. For more information, please contact Lorenz Demey (lorenzdemey at hotmail.com), Umberto Grandi (u.grandi at uva.nl) or Yurii Khomskii (Y.D.Khomskii at uva.nl)
23 March 2010, Workshop Theory, Typology & Techonolgy: Parsing in the face of diversity
The Computational Linguistics Seminar (CLS) of the Institute for Logic, Language and Computation (ILLC) is hosting a one-day workshop on "Parsing in the face of diversity", discussing the intersection of theoretical, typological, and technological concerns, on the occasion of the public defence of Reut Tsarfaty’s PhD dissertation, entitled "Relational-Realizational Parsing".
Confirmed Speakers:
* James P. Blevins (University of Cambridge, UK)
* Mark Johnson (Macquarie University, Sydney, Australia)
* Joakim Nivre (Uppsala University, Sweden)
* Owen Rambow (Columbia University, USA)
* Gregory Stump (University of Kentucky, USA)
* Yoad Winter (Utrecht University, The Netherlands)
* Reut Tsarfaty (University of Amsterdam, The Netherlands)
Attendance is free and open for all. For planning purposes, please let us know by March 15 if you would like to attend the workshop. Any further inquiries can be sent to r.tsarfaty at uva.nl. For more information, see https://www.illc.uva.nl/LaCo/CLS/ttt-workshop.pdf.
24 March 2010, Logic and Interactive RAtionality, Sara Uckelman
For more information, see https://www.illc.uva.nl/lgc/seminar/?p=608
25 March 2010, Farewell lecture of dr. P. van Emde Boas, Peter van Emde Boas
Dr. Peter van Emde Boas (UvA, ILLC) has reached the age that he officially has to retire. On this occasion he will give a farewell lecture in the aula of the UvA (at 15:00).
On the day of his farewell speech, there will be a colloquium in which some of the subjects are represented in which Peter was active. The colloquium, in the same location, starts at 10:00.
For more information and a program, see here or contact t.m.v.janssen at uva.nl26-28 March 2010, Modelling Interaction, Dialog, Social Choice, and Vagueness (MIDiSoVa), ILLC, Amsterdam
The cross-CRP workshop "Modelling Interaction, Dialog, Social Choice, and Vagueness (MIDiSoVa)" will take place at the Institute for Logic, Language and Computation of the University of Amsterdam on 26-28 March 2010.
Members of the CFSC, DiFoS, LINT and VAAG LogICCC projects will participate in this workshop, organized by Jouko Väänänen, which aims to further cross-CRP cooperation.
For more information, see https://www.illc.uva.nl/lint/midisova.php
26 March 2010, DIP Colloquium, Margot Rozendaal
For abstracts and more information, see https://www.illc.uva.nl/dip/.
26-28 March 2010, Modelling Interaction, Dialog, Social Choice, and Vagueness (MIDiSoVa), ILLC, Amsterdam
The cross-CRP workshop "Modelling Interaction, Dialog, Social Choice, and Vagueness (MIDiSoVa)" will take place at the Institute for Logic, Language and Computation of the University of Amsterdam on 26-28 March 2010.
Members of the CFSC, DiFoS, LINT and VAAG LogICCC projects will participate in this workshop, organized by Jouko Väänänen, which aims to further cross-CRP cooperation.
For more information, see https://www.illc.uva.nl/lint/midisova.php
26-28 March 2010, Modelling Interaction, Dialog, Social Choice, and Vagueness (MIDiSoVa), ILLC, Amsterdam
The cross-CRP workshop "Modelling Interaction, Dialog, Social Choice, and Vagueness (MIDiSoVa)" will take place at the Institute for Logic, Language and Computation of the University of Amsterdam on 26-28 March 2010.
Members of the CFSC, DiFoS, LINT and VAAG LogICCC projects will participate in this workshop, organized by Jouko Väänänen, which aims to further cross-CRP cooperation.
For more information, see https://www.illc.uva.nl/lint/midisova.php
29 March 2010, Logic Tea, João Marcos
The Logic Tea homepage can be found at https://www.illc.uva.nl/logic_tea/. For more information, please contact Bruno Jacinto (jacinto.bruno at gmail.com), Umberto Grandi (u.grandi at uva.nl), or Yurii Khomskii (Y.D.Khomskii at uva.nl)
30 March 2010, Colloquium on Mathematical Logic, Pantelis Eleftheriou
For abstracts and more information, see http://www.math.uu.nl/people/jvoosten/seminar.html