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 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
|
|||||
4 February 2011 , Computational Social Choice Seminar, Daniele Porello
For more information, see here or https://www.illc.uva.nl/~ulle/seminar/ or contact Ulle Endriss (ulle.endriss at uva.nl).
7 February 2011, Logic Tea, Paula Henk
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)
9 February 2011, Computational Linguistics Seminar, Mehrnoosh Sadrzadeh
For more information and abstracts, see https://www.illc.uva.nl/LaCo/CLS/
11 February 2011, Computational Social Choice Seminar, Vincent Conitzer
For more information, see here or https://www.illc.uva.nl/~ulle/seminar/, or contact Ulle Endriss (ulle.endriss at uva.nl).
16 February 2011, LIRa Seminar, Mehrnoosh Sadrzadeh (Oxford)
For more information, see https://www.illc.uva.nl/lgc/seminar/?p=813
18 February 2011, DIP Colloquium, Andy Fugard
For abstracts and more information, see http://sites.google.com/site/illcdip/
21 February 2011, Games, Logic, Language And Computation 20: Epistemic Actions for Non-ideal Agents (GLLC-20)
For more information, see the workshop's website at http://staff.science.uva.nl/~fvelazqu/eania/ or contact Fernando Raymundo Velázquez Quesada (F.R.VelazquezQuesada at uva.nl)
21 February, Logic Tea, Alexandru Marcoci
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)
24 February 2011, Workshop on Universal Models
This workshop is an informal gathering of people that study universal models or use them in their research. There will be presentations both on finished studies and on work in progress. Universal models were originated by V. Shethman and V. Rybakov, anticipated by D. de Jongh's dissertation in 1968. In intuitionistic logic the subject reemerged in N. Bezhanishvili's dissertation in 2006. The logics involved today comprise intuitionistic propositional logic and modal logics. In intuitionistic logic one has finite universal models for some fragments missing some of the usual connectives, and the usual complicated infinite ones for the full logic. One of the modal logics that will be presented is GLP, an extension of Gödel-Löb's logics GL that has a different provability modality for each ordinal. Another modal logic that will be discussed is S4. At the workshop the subject will be approached from the algebraic/co-algebraic side as well.
For more information, see https://www.illc.uva.nl/UniversalModels/.
24 February 2011, Workshop on Universal Models
Speakers include:
David Fernández Duque (Sevilla)
Sam van Gool (Nijmegen)
Dick de Jongh (ILLC)
Joost Joosten (Barcelona)
Gerard Renardel de Lavalette (Groningen)
Yde Venema (ILLC)
More information will be made available in a few weeks.
Organizers: Dick de Jongh (d.h.j.dejongh at uva.nl), Joost Joosten (jjoosten at ub.edu) and Peter van Ormondt (P.vanOrmondt at uva.nl).
For more information, see https://www.illc.uva.nl/UniversalModels/.
24 February 2011, Computational Social Choice Seminar, Héctor Palacios
For more information, see here or https://www.illc.uva.nl/~ulle/seminar/, or contact Ulle Endriss (ulle.endriss at uva.nl).