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.
| << January 2015 | ||||||
|---|---|---|---|---|---|---|
| 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
|
Click on an event to view details.
28 January 2015, Master of Logic defense, Jouke Witteveen
Date & Time:
28 January 2015, 11:00-13:00
Title: Structural Parameterized Complexity
Location: Room F1.15, Sciencepark 105/107
Supervisor: Dr. Leen Torenvliet
For more information, please contact G.Beekelaar at uva.nl
30 January 2015, Master of Logic defense, Johannes Emerich
Date & Time:
Friday 30 January 2015, 09:30 - 11:00
Title: Applying Types as Abstract Interpretation to a Language with Dynamic Dispatch
Location: Room F1.15, Science Park 107, Amsterdam
Supervisor: Dr. Benno van den Berg (University of Amsterdam) and Dr. Tijs van der Storm (CWI, Amsterdam)
For more information, please contact G.Beekelaar at uva.nl
30 January 2015, Master of Logic defense, Ignas Vysniauskas
Date & Time:
Friday 30 January 2015, 11:00-12:30.
Title: Pi-dist: Towards a Typed Pi-calculus for Distributed Programming
Location: Room F1.15, Science Park 107, Amsterdam
Supervisor: Dr. Benno van den Berg (University of Amsterdam) and Dr Wouter Swierstra (Utrecht University)
For more information, please contact G.Beekelaar at uva.nl