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.
| << February 2009 | ||||||
|---|---|---|---|---|---|---|
| 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
|
6 February 2009, DIP Colloquium, Fred Landman
For abstracts and more information, see https://www.illc.uva.nl/dip/
9 February 2009, PROSE Colloquium, Ana Sokolova
In this talk I will report on a joint work with Bart Jacobs on examples of expressivity of modal logics. We investigate expressivity of modal logics for transition systems, multitransition systems, Markov chains, and Markov processes, as coalgebras of the powerset, finitely supported multiset, finitely supported distribution, and measure functor, respectively. Expressivity means that logically indistinguishable states, satisfying the same formulas, are behaviourally indistinguishable too. The investigation is based on the framework of dual adjunctions between spaces and logics and focuses on a crucial injectivity property. The approach is generic both in the choice of systems and modalities, and in the choice of a ``base logic''. Most of these expressivity results are already known, but the applicability of the uniform setting of dual adjunctions to these particular examples is what constitutes the contribution of this work. In addition, we observed an interesting comparison of the mentioned types of systems, in particular of Markov chains and Markov processes.
For more information, see http://www.win.tue.nl/prose/
11 February 2009, Computational Linguistics Seminar, Dan Roth
For more information and abstracts, see https://www.illc.uva.nl/LaCo/CLS/
13 February 2009, Computational Social Choice Seminar, Umberto Grandi
For more information, see here or https://www.illc.uva.nl/~ulle/seminar/, or contact Ulle Endriss (ulle.endriss at uva.nl).
16-20 February 2009, Mini-course Highlights of Lambda Calculus and Term Rewriting Systems
This five day master class in lambda calculus and term rewriting is centered around some twenty of the main theorems, both classical and recent. Each theorem is treated in a syllabus chapter of 10 pages, concluded with a section of exercises and notes for follow-up subjects and further reading.
Deadline for registration is January 30th, 2009. For more information, see http://www.win.tue.nl/math/eidma/courses/minicourses/barendregtenklop/ or here. The complete programme may be found at http://www.cs.ru.nl/~henk/LC-TRS.pdf.
16-20 February 2009, Mini-course Highlights of Lambda Calculus and Term Rewriting Systems
This five day master class in lambda calculus and term rewriting is centered around some twenty of the main theorems, both classical and recent. Each theorem is treated in a syllabus chapter of 10 pages, concluded with a section of exercises and notes for follow-up subjects and further reading.
Deadline for registration is January 30th, 2009. For more information, see http://www.win.tue.nl/math/eidma/courses/minicourses/barendregtenklop/ or here. The complete programme may be found at http://www.cs.ru.nl/~henk/LC-TRS.pdf.
16-20 February 2009, Mini-course Highlights of Lambda Calculus and Term Rewriting Systems
This five day master class in lambda calculus and term rewriting is centered around some twenty of the main theorems, both classical and recent. Each theorem is treated in a syllabus chapter of 10 pages, concluded with a section of exercises and notes for follow-up subjects and further reading.
Deadline for registration is January 30th, 2009. For more information, see http://www.win.tue.nl/math/eidma/courses/minicourses/barendregtenklop/ or here. The complete programme may be found at http://www.cs.ru.nl/~henk/LC-TRS.pdf.
16-20 February 2009, Mini-course Highlights of Lambda Calculus and Term Rewriting Systems
This five day master class in lambda calculus and term rewriting is centered around some twenty of the main theorems, both classical and recent. Each theorem is treated in a syllabus chapter of 10 pages, concluded with a section of exercises and notes for follow-up subjects and further reading.
Deadline for registration is January 30th, 2009. For more information, see http://www.win.tue.nl/math/eidma/courses/minicourses/barendregtenklop/ or here. The complete programme may be found at http://www.cs.ru.nl/~henk/LC-TRS.pdf.
19 February 2009, GLoRiClass Seminar, Julien Cristau
For more information, see https://www.illc.uva.nl/GLoRiClass/index.php?page=4
16-20 February 2009, Mini-course Highlights of Lambda Calculus and Term Rewriting Systems
This five day master class in lambda calculus and term rewriting is centered around some twenty of the main theorems, both classical and recent. Each theorem is treated in a syllabus chapter of 10 pages, concluded with a section of exercises and notes for follow-up subjects and further reading.
Deadline for registration is January 30th, 2009. For more information, see http://www.win.tue.nl/math/eidma/courses/minicourses/barendregtenklop/ or here. The complete programme may be found at http://www.cs.ru.nl/~henk/LC-TRS.pdf.
20 February 2009, Colloquium on Mathematical Logic, Martin Davis
(Bus 11 or 12 from Utrecht Central Station)
Abstract: In Gödel's (unsent) reply to the questionaire sent to him by B.D. Grandjean he asserted that since 1925 he had held a position of 'mathematical realism' whereby 'mathematical concepts [and sets] and theorems are describing objects of some kind.' (The words in square brackets were added by Gödel.) A more nuanced story emerges from the hints made available with the publication of the magnificent five volume set of Gödel's Collected Works.
For more information, see http://www.math.uu.nl/people/jvoosten/seminar.html
20 February 2009, DIP Colloquium, Herman Cappelen
For abstracts and more information, see https://www.illc.uva.nl/dip/
20 February 2009, 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).
24 February 2009, Logic Tea, Michael De
The Logic Tea homepage can be found at https://www.illc.uva.nl/logic_tea/. For more information, please contact Edgar Andrade (E.J.AndradeLotero at uva.nl), Lorenz Demey (lorenzdemey at hotmail.com), or Yurii Khomskii (Y.D.Khomskii at uva.nl).
27 February 2009, Colloquium on Mathematical Logic, D. Isaacson
/ A. MacIntyre
/ A. MacIntyre (London)
(Bus 11 or 12 from Utrecht Central Station).
For abstracts and more information, see http://www.math.uu.nl/people/jvoosten/seminar.html