News and Events: MoL and PhD defenses

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.

<< August 2007 >>
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.

14 August 2007, Master of Logic defense, Ansten Morch Klev

Date & Time: Tuesday 14 August 2007, 11:00
Title: Extending Kleene's <i>O</i> Using Infinite Time Turing Machines
Location: Room 3.27, Euclides Building, Plantage Muidergracht 24, Amsterdam
Supervisor: Joel Hamkins

For more information, please contact

14 August 2007, Master of Logic defense, Yurii Khomskii

Date & Time: Tuesday, August 14, 2007, 14:00
Title: Regularity Properties and Determinacy
Location: Room 3.27, Euclides Building, Plantage Muidergracht 24, Amsterdam
Supervisor: Benedikt Löwe

For more information, please contact

14 August 2007, Master of Logic defense, Joost Winter

Date & Time: Tuesday 14 August 2007, 16:00
Title: Space Complexity in Infinite Time Tuning Machines
Location: Room 3.27, Euclides Building, Plantage Muidergracht 24, Amsterdam
Supervisor: Benedikt Löwe

For more information, please contact

21 August 2007
, Master of Logic defense, Sandeep Murthy

Date & Time: Tuesday 21 August 2007
(updated!), 11:00
Title: Group-Theoretic Methods for bounding the exponent of matrix Multiplication
Location: Room 3.27, Euclides Building, Plantage Muidergracht 24, Amsterdam
Supervisor: Tom Koornwinder
Mentor: Dick de Jongh

This is a rectification of the previously announced date of 20th of August.

For more information, please contact

29 August 2007, Master of Logic defense, Christian Kissig

Date & Time: Wednesday 29 August 2007, 11:00
Title: Decidability of S2S
Location: Room 3.27, Euclides Building, Plantage Muidergracht 24,
Amsterdam
Supervisor: Yde Venema and Clemens Kupke

For more information, please contact

29 August 2007, Master of Logic defense, Raul Leal

Date & Time: Wednesday 29 August 2007, 13:00
Title: Expresivity of Coalgebraic Modal Languages
Location: Room 3.27, Euclides Building, Plantage Muidergracht 24,
Amsterdam
Supervisor: Yde Venema

For more information, please contact

29 August 2007, Master of Logic defense, Petter Remen

Date & Time: Wednesday, August 29, 2007, 15:00
Title: Automata on Flows
Location: Room 3.27, Euclides Building, Plantage Muidergracht 24,
Amsterdam
Supervisor: Yde Venema

For more information, please contact

30 August 2007, Master of Logic defense, Jesse Harris

Date & Time: Thursday 30 August 2007, 11:00
Title: Revealing Concealment: A (neuro-)logical investigation of concealed questions
Location: Room 3.27, Euclides Building, Plantage Muidergracht 24, Amsterdam
Supervisor: Paul Dekker, Liina Pylkkanen, Martin Stokhof

For more information, please contact

31 August 2007, Master of Logic defense, Gustaaf Haan

Date & Time: Friday 31 August 2007, 11:00
Title: How illiterates interpret syllogistic problems
Location: Room 3.27, Euclides Building, Plantage Muidergracht 24, Amsterdam
Supervisor: Michiel van Lambalgen

For more information, please contact