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.
| << March 2011 | ||||||
|---|---|---|---|---|---|---|
| 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
|
||
1 March 2011, ACG Colloquium, Joost Winter
For more information, see http://acg.project.cwi.nl/htbin/acg/ACG.php4?tid=268
4 March 2011, NVTI Theory Day
The Dutch Asssociation for Theoretical Computer Science (NVTI) supports the study of theoretical computer science and its applications. One of the main activities of the NVTI is the organization of the yearly Theory Day. This year, as usual, we have an interesting program with excellent speakers from The Netherlands and abroad, covering important streams in theoretical computer science.
For more information, see http://www.nvti.nl/aankondiging_2011.txt. It is possible to participate in the organized lunch, for which registration is required (no later than February 25, 2011),
4 March 2011, DIP Colloquium, Thomas Mueller
For abstracts and more information, see http://sites.google.com/site/illcdip/
4 March 2011, DIP Colloquium, Thomas Mueller
For abstracts and more information, see http://sites.google.com/site/illcdip/
18 March 2011, Viva Informatica
At Friday 18 March, the ILLC and IvI together organise the workshop Viva Informatica, for teachers, students and other people interested in recent developments in computer science. Presentations will be in Dutch. Aline Honingh will give a presentation on behalf of the ILLC.
For more information, see http://www.science.uva.nl/vivainformatica
18 March 2011, DIP Colloquium, Boudewijn de Bruin
For abstracts and more information, see http://sites.google.com/site/illcdip/
23-25 March 2011, Truth be Told: a Workshop on Philosophical and Formal Theories of Truth, Amsterdam, the Netherlands
Truth be Told, a Workshop on Philosophical and Formal Theories of Truth, is organised by the Department of Philosophy and the Institute for Logic, Language, and Computation of the Universiteit van Amsterdam. The workshop will be held between Wednesday the 23rd and Friday the 25th of March 2011.
The aim of the workshop is to bring together experts in the field in order to assess the current state of the art of theories of truth, as well as to facilitate discussion between philosophers of truth and those more interested in formal methods and results in the study of truth.
The workshop will contain 11 invited and 5 contributed talks. Invited talks will be followed by a short commentary.
For more information and an online registration form, see https://www.illc.uva.nl/truth/truth11/
23 March 2011, Beth Lecture, Hartry Field
Prof. Field will speak on the intended distinction between sets and properties, and review work since Goedel toward resolving the property-theoretic paradoxes. He will also discuss the role of properties in the foundations of mathematics, as a replacement of proper classes and to implement an appropriate version of higher order logic.
The lecture forms part of the 'Truth be Told' workshop. Previous E.W.Beth Lecturers include P. Lorenzen, P. Aczel, B. van Fraassen, M. Finocchiaro, P. Suppes, S. Feferman, E. Agazzi, H. Kamp, J. Bricmont.
For more information and an abstract, see the 'Truth be Told' programme at https://www.illc.uva.nl/truth/truth11/Conference_Programme.
23-25 March 2011, Truth be Told: a Workshop on Philosophical and Formal Theories of Truth, Amsterdam, the Netherlands
Truth be Told, a Workshop on Philosophical and Formal Theories of Truth, is organised by the Department of Philosophy and the Institute for Logic, Language, and Computation of the Universiteit van Amsterdam. The workshop will be held between Wednesday the 23rd and Friday the 25th of March 2011.
The aim of the workshop is to bring together experts in the field in order to assess the current state of the art of theories of truth, as well as to facilitate discussion between philosophers of truth and those more interested in formal methods and results in the study of truth.
The workshop will contain 11 invited and 5 contributed talks. Invited talks will be followed by a short commentary.
For more information and an online registration form, see https://www.illc.uva.nl/truth/truth11/
24 March 2011, Computational Social Choice Seminar, Britta Dorn
For more information, see here or https://www.illc.uva.nl/~ulle/seminar/, or contact Ulle Endriss (ulle.endriss at uva.nl).
28 March 2011, LIRa Seminar Special Session, John Horty, Eric Pacuit, Olivier Roy, Frank Veltman
For more information, see https://www.illc.uva.nl/lgc/seminar/