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 2008 | ||||||
|---|---|---|---|---|---|---|
| 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
|
|||||
4 March 2008, DIP Colloquium, Raj Singh
For abstracts and more information, see https://www.illc.uva.nl/dip/.
6 March 2008, GLoRiClass Seminar, Werner Raub
For more information, see https://www.illc.uva.nl/GLoRiClass/index.php?page=4
7 March 2008, Computational Social Choice Seminar, Nicolas Maudet
For more information, see here or https://www.illc.uva.nl/~ulle/seminar/, or contact Ulle Endriss (ulle at illc.uva.nl).
13 March 2008, GLoRiClass Seminar, Theo Offerman
For more information, see https://www.illc.uva.nl/GLoRiClass/index.php?page=4
14 March 2008, MiniSalt
Quite a few researchers from Utrecht and Amsterdam will present their work at Semantics and Linguistic Theory (SALT) this year. There will be a joint try-out session this Friday March 14th.
For more information, see http://www.let.uu.nl/~Rick.Nouwen/personal/minisalt.html and http://www.umass.edu/linguist/events/salt18/program.shtml
14 March 2008, ILPS Seminar, Christof Monz
(London)
For abstracts and more information, see http://ilps.science.uva.nl/Seminar/seminar08-1.html#Mar14.
14 March 2008, ILPS Seminar, Robin Aly
For abstracts and more information, see http://ilps.science.uva.nl/Seminar/seminar08-1.html#Mar14.
14 March 2008, DIP Colloquium, Nausicaa Pouscoulous
For abstracts and more information, see https://www.illc.uva.nl/dip/.
25-27 March 2008, Workshop on "Modal Fixpoint Logics", Amsterdam, The Netherlands
Modal fixpoint logics constitute a research field of considerable interest, not only because of their many applications, but also because of their rich logical/mathematical theory. Systems such as LTL, PDL, CTL, and the modal mu-calculus, originate from computer science, and are for instance applied in the theory of program specification and verification. The richness of their theory stems from the deep connections with various fields in logic, mathematics, and theoretical computer science, such as lattices and universal (co-)algebra, modal logic, automata, and game theory.
The aim of the workshop is to bring together researchers from various backgrounds, in particular, computer scientists and pure logicians, who share an interest in the area. The invited talks together will represent an overview of the richness of the theory of modal fixpoint logics.
For more information, see http://staff.science.uva.nl/~yde/mfl
25-27 March 2008, Workshop on "Modal Fixpoint Logics", Amsterdam, The Netherlands
Modal fixpoint logics constitute a research field of considerable interest, not only because of their many applications, but also because of their rich logical/mathematical theory. Systems such as LTL, PDL, CTL, and the modal mu-calculus, originate from computer science, and are for instance applied in the theory of program specification and verification. The richness of their theory stems from the deep connections with various fields in logic, mathematics, and theoretical computer science, such as lattices and universal (co-)algebra, modal logic, automata, and game theory.
The aim of the workshop is to bring together researchers from various backgrounds, in particular, computer scientists and pure logicians, who share an interest in the area. The invited talks together will represent an overview of the richness of the theory of modal fixpoint logics.
For more information, see http://staff.science.uva.nl/~yde/mfl
26 March 2008, Logic Tea, Rosja Mastop
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).
25-27 March 2008, Workshop on "Modal Fixpoint Logics", Amsterdam, The Netherlands
Modal fixpoint logics constitute a research field of considerable interest, not only because of their many applications, but also because of their rich logical/mathematical theory. Systems such as LTL, PDL, CTL, and the modal mu-calculus, originate from computer science, and are for instance applied in the theory of program specification and verification. The richness of their theory stems from the deep connections with various fields in logic, mathematics, and theoretical computer science, such as lattices and universal (co-)algebra, modal logic, automata, and game theory.
The aim of the workshop is to bring together researchers from various backgrounds, in particular, computer scientists and pure logicians, who share an interest in the area. The invited talks together will represent an overview of the richness of the theory of modal fixpoint logics.
For more information, see http://staff.science.uva.nl/~yde/mfl
27 March 2008, PROSE Colloquium, Paul van Tilburg
For more information, see http://www.win.tue.nl/prose/
28 March 2008, DIP Colloquium, Postponed
For abstracts and more information, see https://www.illc.uva.nl/dip/.
28 March 2008, ILPS Seminar, Frans Wiering
For abstracts and more information, see http://ilps.science.uva.nl/Seminar/seminar08-1.html#Mar28.
28 March 2008, Colloquium on Mathematical Logic, Michael Rathjen
(Tram 9 from Central Station, to Plantage Badlaan).
For abstracts and more information, see http://www.math.uu.nl/people/jvoosten/seminar.html
31 March 2008, PROSE Colloquium, Rob van Glabbeek
For more information, see http://www.win.tue.nl/prose/