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 2013 | ||||||
|---|---|---|---|---|---|---|
| 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.
2 September 2013, Master of Logic defense, Nathaniel Forde
Date & Time:
Monday 2 September 2013, 10:00
Title: Dependence in Logic and Probability
Location: room F1.15, Science Park 107, Amsterdam
Supervisor: Martin Stokhof and Sonja Smets
For more information, please contact c.l.moolhuijzen at uva.nl
13 September 2013, Master of Logic defense, Anthony Renard
Date & Time:
Friday 13 September 2013, 14:00
Title: A final coalgebra theorem in the context of algebraic set theory
Location: Room F1.15, Science Park 107, Amsterdam
Supervisor: Benno van den Berg
For more information, please contact T.Kassenaar at uva.nl
25 September 2013, Master of Logic defense, Femke Bekius
Date & Time:
Wednesday 25 September 2013, 14:00
Title: The iterative Minimum Cost Spanning Tree Problem
Location: room F1.15, Science Park 107, Amsterdam
Supervisor: Ulle Endriss
For more information, please contact c.l.moolhuijzen at uva.nl
26 September 2013, Master of Logic defense, YunQi Xue
Date & Time:
Thursday 26 September 2013, 11:00
Title: Towards Closed-world Reasoning in Games - Ultimatum Game Revisited
Location: room F1.15, Science Park 107, Amsterdam
Supervisor: Michiel van Lambalgen
For more information, please contact c.l.moolhuijzen at uva.nl
27 September 2013, Master of Logic defense, Vlasta Sikimic
Date & Time:
Friday 27 September 2013, 14:00
Title: Towards a Proof-Theoretic Semantics for Dynamics Logics
Location: Room F1.15, Science Park 107, Amsterdam
Supervisor: Alessandra Palmigiano and Giuseppe Greco
For more information, please contact T.Kassenaar at uva.nl
30 September 2013, Master of Logic defense, Maximilian Fillinger
Date & Time:
Monday 30 September 2013, 14:00
Title: Reconstructing the Cryptanalytic Attack Behind the Flame Malware
Location: Room F1.15, Science Park 107, Amsterdam
Supervisor: Christian Schaffner and Marc Stevens
For more information, please contact T.Kassenaar at uva.nl