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.
| << September 2012 | ||||||
|---|---|---|---|---|---|---|
| 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
|
||||||
Click on an event to view details.
4 September 2012, Master of Logic defense, Kyndylan Nienhuis
Date & Time:
Tuesday 4 September 2012, 15:00
Title: Automatic Verification of Programs with Indirection
Location: Room G3.10, Science Park 904, Amsterdam
Supervisor: Jan van Eijck
For more information, please contact T.Kassenaar at uva.nl
5 September 2012, Master of Logic defense, Stefanie Kooistra
Date & Time:
Wednesday 5 September 2012, 13:30
Title: Logic in Classical and Evolutionary Games
Location: Room D1.112, Science Park 904, Amsterdam
Supervisor: Johan van Benthem
Please note that the time for this defense has been moved up to 13:30 (from 14:00).
6 September 2012, Master of Logic defense, Paula Henk
Date & Time:
Thursday 6 September 2012, 13:00
Title: Supremum in the Lattice of Interpretability
Location: Room C3.163, Science Park 904, Amsterdam
Supervisor: Dick de Jongh and Albert Visser
7 September 2012, Master of Logic defense, Nal Kalchbrenner
Date & Time:
Friday 7 September 2012, 13:00
Title: Walking the Graph of Language: On a Framework for Meaning and Analogy
Location: Room D1.162, Science Park 904, Amsterdam
Supervisor: Reinhard Blutner and Raquel Fernandez
For more information, please contact T.Kassenaar at uva.nl
18 September 2012, Master of Logic defense, Riccardo Pinosio
Date & Time:
Tuesday 18 September 2012, 14:00
Title: Kant's Transcendental Synthesis of the Imagination and Constructive Euclidean Geometry
Location: Room G3.10, Science Park 904, Amsterdam
Supervisor: Michiel van Lambalgen
For more information, please contact T.Kassenaar at uva.nl
19 September 2012, Master of Logic defense, Alwin Blok
Date & Time:
Wednesday 19 September 2012, 13:00
Title: Interaction Observation and Denotation (A Study of Dialgebras for Program Semantics)
Location: Room A1.08, Science Park 904, Amsterdam
Supervisor: Vincenzo Ciancia
For more information, please contact T.Kassenaar at uva.nl
19 September 2012, Master of Logic defense, Aleks Knoks
Date & Time:
Wednesday 19 September 2012, 15:15
Title: Abnormality Counts!
Location: Room G3.13 Science Park 904, Amsterdam
Supervisor: Frank Veltman
For more information, please contact T.Kassenaar at uva.nl.
19 September 2012, Master of Logic defense, Tong Wang
Date & Time:
Wednesday 19 September 2012, 17:00
Title: An Ehrenfeucht-Fraisse Game for the Logic L-omega1-omega
Location: Room A1.04, Science Park 904, Amsterdam
Supervisor: Jouko Väänänen and Benedikt Löwe
20 September 2012, Master of Logic defense, Vahid Hashemi
Date & Time:
Thursday 20 September 2012, 11:00-12:30
Title: Extracting Trends from Incomplete Ordinal Preferences
Location: Room D1.110 Science Park 904, Amsterdam
Supervisor: Ulle Endriss
For more information, please contact T.Kassenaar at uva.nl
21 September 2012, Master of Logic defense, Haitao Cai
Date & Time:
Friday 21 September 2012, 10:15
Title: Causation and the Semantics of Counterfactuals
Location: Room 4.01,KHI, Herengracht 286, Amsterdam
Supervisor: Michiel van Lambalgen
For more information, please contact T.Kassenaar at uva.nl
21 September 2012, PhD defense, Pietro Galliani
Date & Time:
Friday 21 September 2012, 13:00
Title: The Dynamics of Imperfect Information
Location: Aula der Universiteit, Singel 411, Amsterdam
Promotor: Jouko Väänänen
For more information, please contact pgallian at gmail.com
25 September 2012, PhD defense, Umberto Grandi
Date & Time:
Tuesday 25 September 2012, 10:00
Title: Binary Aggregation with Integrity Constraints
Location: Agnietenkapel, Oudezijds Voorburgwal 231, Amsterdam
Supervisor: Ulle Endriss
26 September 2012, Master of Logic defense, Fenner Tanswell
Date & Time:
Wednesday 26 September 2012, 11:00-12:30
Title: Proof and Prejudice: Why Formalising doesn't make you a Formalist
Location: Room 5.02, P.C. Hoofthuis, Spuistraat 134, Amsterdam
Supervisor: Benedikt Löwe
For more information, please contact T.Kassenaar at uva.nl