News and Events: Conferences

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 2004 >>
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.

5-7 February 2004, Philosophical Logic Meets Mathematical Logic: From Classical to Quantum

Date: 5-7 February 2004
Location: Vrije Universiteit Brussel, Pleinlaan 2, Brussels, Belgium
Deadline: 6 January 2004

Broadly the aim of this workshop is to explore the connections between quantum and other non-classical logics such as modal and dynamic logics, linear logic and multivalued logics. It is our hope to develop closer connections between these areas of research. 

Invited speakers at this workshop: S. Abramsky, A. Baltag, B. Coecke, D. Foulis, P. Ptak and A. Wilce.

Deadline for submitting abstracts is January 6, 2004. For more information & the call for contributed talks, see: http://www.vub.ac.be/CLWF/PML-2004

29 February - 5 March 2004, 9th Estonian Winter School in Computer Science, EWSCS'04, Palmse, Estonia

Date: 29 February - 5 March 2004
Location: Palmse, Estonia
Target audience: PhD students in logic and theoretical computer science
Deadline: 16 January 2004

This is the 9th edition of a regional-scope international winter school for (theoretical) computer science. Lecturers include S. Artemov (CUNY), R. Freivalds (U. Latvia), A. Jung (Birmingham), M. Naor (Weizmann) and M. Sudan (MIT / Radcliffe)

The deadline for registration and submission of abstracts for student talks/posters is 16 Jan. 2004. For more information, a program and an online registration form, see http://www.cs.ioc.ee/yik/schools/win2004/.