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 2011 | ||||||
|---|---|---|---|---|---|---|
| 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 May 2011, LIRa Seminar, Michael De (Utrecht)
For more information, see https://www.illc.uva.nl/lgc/seminar/
9 May 2011, Colloquium on Mathematical Logic, Jouko Väänänen
For abstracts and more information, see http://www.math.uu.nl/people/jvoosten/seminar.html
9 May 2011, Logic Tea, Leo Czajka
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).
13 May 2011, DIP Colloquium, Maribel Romero (University of Konstanz)
For abstracts and more information, see http://sites.google.com/site/illcdip/
15 May 2011, 'Wat is logisch?, Nina Gierasimczuk
Kinderlezing over manieren van denken en logica.
Voor meer informatie, zie http://www.kinderlezingen.nl/kinderlezingen/
16 May 2011, Colloquium on Mathematical Logic, Juliette Kennedy
For abstracts and more information, see http://www.math.uu.nl/people/jvoosten/seminar.html
16 May 2011, Logic Tea, Lucian Zagan
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).
19-20 May 2011, Mathematical Logic in The Netherlands (MLNL'11), University of Groningen
MLNL'11 is the third issue of a series of yearly meetings on Mathematical Logic (and related areas) in the Netherlands. The first meeting was held in Nijmegen and the second one in Utrecht. Rather than a specialized conference, where advanced research results are reported, we aim to get to know each other better and, by understanding the various branches of logic represented in the Netherlands, strengthen our community.
We have reserved a generous amount of time for expository talks, but also strongly encourage contributions by young researchers and Ph.D. students. Advanced master students in logic are most welcome to attend the meeting too.
Registration deadline: 12 May 2011. For more information, see: http://www.ai.rug.nl/MLNL2011/

19 May 2011, Computational Social Choice Seminar, Jouko Väänänen
For more information, see here or https://www.illc.uva.nl/~ulle/seminar/ or contact Ulle Endriss (ulle.endriss at uva.nl).
19-20 May 2011, Mathematical Logic in The Netherlands (MLNL'11), University of Groningen
MLNL'11 is the third issue of a series of yearly meetings on Mathematical Logic (and related areas) in the Netherlands. The first meeting was held in Nijmegen and the second one in Utrecht. Rather than a specialized conference, where advanced research results are reported, we aim to get to know each other better and, by understanding the various branches of logic represented in the Netherlands, strengthen our community.
We have reserved a generous amount of time for expository talks, but also strongly encourage contributions by young researchers and Ph.D. students. Advanced master students in logic are most welcome to attend the meeting too.
Registration deadline: 12 May 2011. For more information, see: http://www.ai.rug.nl/MLNL2011/
20-21 May 2011, PALMYR X: Logic and the Use of Language, Institut Jean Nicod, Paris
Both Paris and Amsterdam host a lively group of young researchers working at the interface of logic, language, and theories of rationality. PALMYR brings them together.
PALMYR is a series of yearly meetings taking place alternatively in Amsterdam and Paris. At each PALMYR meeting, visitors give talks about their current research interests, each presentation being commented by a fellow researcher from the host town. This year's meeting will take place in Paris and is devoted to the theme "Logic and the Use of Language".
For more information, see: https://www.illc.uva.nl/PALMYR/PALMYR-10/.
20-21 May 2011, PALMYR X: Logic and the Use of Language, Institut Jean Nicod, Paris
Both Paris and Amsterdam host a lively group of young researchers working at the interface of logic, language, and theories of rationality. PALMYR brings them together.
PALMYR is a series of yearly meetings taking place alternatively in Amsterdam and Paris. At each PALMYR meeting, visitors give talks about their current research interests, each presentation being commented by a fellow researcher from the host town. This year's meeting will take place in Paris and is devoted to the theme "Logic and the Use of Language".
For more information, see: https://www.illc.uva.nl/PALMYR/PALMYR-10/.
23 May 2011, Logic Tea, Bruno Jacinto and Kasper Christensen
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).
26-28 May 2011, Workshop on Admissible Rules and Unification, Utrecht, The Netherlands
Admissible rules of a logical system are rules that can be added to the system without changing its set of theorems. In algebra, admissible rules correspond to quasi-equations holding in free algebras, while from a computer science perspective, admissibility is intimately related to equational unification.
The aim of this workshop is to bring together experts from these distinct areas of research spanning mathematics, philosophy, and computer science, to share ideas and methods.
For more information, see http://www.phil.uu.nl/~iemhoff/Conferenties/Waru/waru.html.
26 May 2011, Logic Tea, Niki Pfeifer
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).
26-28 May 2011, Workshop on Admissible Rules and Unification, Utrecht, The Netherlands
Admissible rules of a logical system are rules that can be added to the system without changing its set of theorems. In algebra, admissible rules correspond to quasi-equations holding in free algebras, while from a computer science perspective, admissibility is intimately related to equational unification.
The aim of this workshop is to bring together experts from these distinct areas of research spanning mathematics, philosophy, and computer science, to share ideas and methods.
For more information, see http://www.phil.uu.nl/~iemhoff/Conferenties/Waru/waru.html.
27 May 2011, DIP Colloquium, Hotze Rullman
For abstracts and more information, see http://sites.google.com/site/illcdip/
26-28 May 2011, Workshop on Admissible Rules and Unification, Utrecht, The Netherlands
Admissible rules of a logical system are rules that can be added to the system without changing its set of theorems. In algebra, admissible rules correspond to quasi-equations holding in free algebras, while from a computer science perspective, admissibility is intimately related to equational unification.
The aim of this workshop is to bring together experts from these distinct areas of research spanning mathematics, philosophy, and computer science, to share ideas and methods.
For more information, see http://www.phil.uu.nl/~iemhoff/Conferenties/Waru/waru.html.
30 May 2011, Logic Tea, Merlin Carl
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).

31 May 2011, LIRA Seminar, Alexandru Baltag, Cedric Degremont, Fernando Velazquez-Quesada
For more information, see https://www.illc.uva.nl/lgc/seminar/.