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.
| << November 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
|
|
1 November 2007, Language Change
For more information, see https://www.illc.uva.nl/dip/events.html#hedde-workshop or contact Zeijlstra at uva.nl
1 November 2007, Logic Tea, Ramasubramanian Sharma
The Logic Tea homepage can be found at https://www.illc.uva.nl/logic_tea/. For more information, please contact Joel Uckelmann (juckelma at science.uva.nl) or Edgar Andrade (E.J.AndradeLotero at uva.nl).
2 November 2007, DIP Colloquium, Canceled
For abstracts and more information, see https://www.illc.uva.nl/dip/.
2 November 2007, Computational Social Choice Seminar, Vangelis Markakis
For more information, see here or https://www.illc.uva.nl/~ulle/seminar/, or contact Ulle Endriss (ulle at illc.uva.nl).
2 November 2007, Colloquium on Mathematical Logic, Denis Bonnay
(Tram 9 from Central Station, to Plantage Badlaan).
For abstracts and more information, see http://www.math.uu.nl/people/jvoosten/seminar.html
3 November 2007, Recent Developments in the Semantics of Conditional Sentences
For more information, see https://www.illc.uva.nl/dip/events.html#katrin-workshop or contact k.schulz at uva.nl
7 November 2007, GLoRiClass Seminar, Ho-Fung Leung
strategy equilibrium: an initial proposal of an alternative to trigger strategy
equilibrium in repeated games
For more information, see https://www.illc.uva.nl/GLoRiClass/index.php?page=4
7 November 2007, Varieties of deception, W. Künne (Hamburg)
Abstract:
In this talk I shall present a detailed map of a conceptual landscape
that contains the notions of misleading, deceiving, cheating,
self-deceiving, simulating, acting hypocritically, and lying. In my
attempt at throwing some light on these concepts and their
interrelations I shall draw upon Bernard Bolzano's sadly neglected
work in this area.
Professor Künne is author of the book `Conceptions of Truth' (OUP 2003); see http://www.oup.com/uk/catalogue/?ci=9780199280193
Professor Künne's visit is organised jointly with the Dept. of Philosophy of the Free University, where he will lecture on Frege. Contact Arianna Betti (A.Betti at ph.vu.nl) if you wish to attend.
8 November 2007, "A Day of Mathematical Logic", ILLC, Amsterdam, The Netherlands
A Day of Mathematical Logic satellite meeting to "Aesthetics and Mathematics"
Speakers:
Wilfred Hodges (Queen Mary)
Roman Kossak (City Unversity New York)
Ieke Moerdijk (University Utrecht)
Bill Tait (University of Chicago)
Albert Visser (University Utrecht)
Hugh Woodin (University of California, Berkeley)
Boris Zilber (University of Oxford)
For more information, see http://www.phil.uu.nl/~iemhoff/beauty.html
8-9 November 2007, RUC-ILLC Workshop on Deontic Logic, Roskilde University, Denmark
Roskilde University (Denmark) and ILLC would like to invite researchers and students to Denmark for a two-day workshop on deontic logic. The workshop will consist of presentations by PhD students as well as lectures by leading figures in the field.
Amongst the invited speakers are John F. Horty (University of Maryland), Kai von Fintel (MIT), Frank Veltman (ILLC) and Eric Pacuit (Stanford).
Registration deadline: 25 October 2007. For more information, see http://akira.ruc.dk/~mamobe/deonticworkshop or contact Martin Mose Bentzen at mamobe at ruc.dk.
8-9 November 2007, RUC-ILLC Workshop on Deontic Logic, Roskilde University, Denmark
Roskilde University (Denmark) and ILLC would like to invite researchers and students to Denmark for a two-day workshop on deontic logic. The workshop will consist of presentations by PhD students as well as lectures by leading figures in the field.
Amongst the invited speakers are John F. Horty (University of Maryland), Kai von Fintel (MIT), Frank Veltman (ILLC) and Eric Pacuit (Stanford).
Registration deadline: 25 October 2007. For more information, see http://akira.ruc.dk/~mamobe/deonticworkshop or contact Martin Mose Bentzen at mamobe at ruc.dk.
9-10 November 2007, Aesthetics and Mathematics, Utrecht, The Netherlands
"The beauty of a theorem is an objective property on a par with its truth." - Gian-Carlo Rota
For more information, see http://www.phil.uu.nl/~iemhoff/beauty.html or contact Jipke.Detrie at phil.uu.nl (for practical info) or Juliette.Kennedy at phil.uu.nl (otherwise). For reservations for the conference dinner on Friday 9 November, 7pm, please mail Jipke Detrie.
9 November 2007 2007, ILPS Seminar, Sebastian Blohm
(University of Karlsruhe)
For abstracts and more information, see http://ilps.science.uva.nl/Seminar/seminar07-2.html#Sep27.
9-10 November 2007, Aesthetics and Mathematics, Utrecht, The Netherlands
"The beauty of a theorem is an objective property on a par with its truth." - Gian-Carlo Rota
For more information, see http://www.phil.uu.nl/~iemhoff/beauty.html or contact Jipke.Detrie at phil.uu.nl (for practical info) or Juliette.Kennedy at phil.uu.nl (otherwise). For reservations for the conference dinner on Friday 9 November, 7pm, please mail Jipke Detrie.
15 November 2007, Logic Tea, Erik Rietveld
Please visit the website https://www.illc.uva.nl/logic_tea/ for the abstract of the talk.
The Logic Tea homepage can be found at https://www.illc.uva.nl/logic_tea/ For more information, please contact Joel Uckelmann (juckelma at science.uva.nl) or Edgar Andrade (E.J.AndradeLotero at uva.nl
16 November 2007, ILPS Seminar, Jan van den Bussche
For abstracts and more information, see http://ilps.science.uva.nl/Seminar/seminar07-2.html#Nov16.
16 November 2007, Colloquium on Mathematical Logic, Tatiana Yavorskaya
(Bus 11 or 12 from Utrecht Central Station, stop 'AZU').
For abstracts and more information, see http://www.math.uu.nl/people/jvoosten/seminar.html
16 November 2007, DIP Colloquium, Cornelia Endriss
For abstracts and more information, see https://www.illc.uva.nl/dip/.
22 november 2007, Spontaneity in Science and the Arts., KNAW, Kloveniersburgwal 29, Amsterdam, The Netherlands
Speakers include:
Graham Birtwistle - Lecturer History of Arts, Vrije Universiteit Amsterdam
Jos Joosten - Professor Dutch Literature, Radboud Universiteit Nijmegen
Robbert Dijkgraaf - universiteitshoogleraar Mathematical Physics, Universiteit van Amsterdam
Peter Desain - Lecturer Neuroscience, Nijmeegs Institute for Cognition and Information (NICI), Radboud Universiteit Nijmegen
For more information, see http://www.knaw.nl/cfdata/agenda/agenda_detail.cfm?agenda__id=1114 or contact suzanne.wagenaar at bureau.knaw.nl.
22 November 2007, GLoRiClass Seminar, Nicole Immorlica
For more information, see https://www.illc.uva.nl/GLoRiClass/index.php?page=4
22 November 2007, PROSE Colloquium, MohammadReza Mousavi
For more information, see http://www.win.tue.nl/prose/
22 November 2007, Logic Tea, Luc Segoufin
In this talk I will consider <-inv-FO, order-invariant first-order, over finite structures. <-inv-FO is the class of first-order formulas that use an extra predicate interpreted as a linear order, but such that the truthness of the formula does not depend on the choice of the linear order. Over arbitrary structures, it is a simple consequence of Craig Interpolation Theorem to show that <-inv-FO and FO have the same expressive power. Over finite structures it is possible to show that <-inv-FO express strictly more than FO. I will then show that over simple strucutres, such as words or trees, <-inv-FO=FO. To achieve this I will introduce and use an algebraic characterization of FO over trees.
The Logic Tea homepage can be found at https://www.illc.uva.nl/logic_tea/. For more information, please contact Joel Uckelmann (juckelma at science.uva.nl) or Edgar Andrade (E.J.AndradeLotero at uva.nl).
23 November 2007, ILPS Seminar, Jana Kludas
Multimedia Problems?
For abstracts and more information, see http://ilps.science.uva.nl/Seminar/seminar07-2.html#Nov23.
23 November 2007, Colloquium on Mathematical Logic, Valentin Shehtman
(Bus 11 or 12 from Utrecht Central Station, stop 'AZU').
For abstracts and more information, see http://www.math.uu.nl/people/jvoosten/seminar.html
23 November 2007, Computational Social Choice Seminar, Andreas Witzel
For more information, see here or https://www.illc.uva.nl/~ulle/seminar/, or contact Ulle Endriss (ulle at illc.uva.nl).
29 November 2007, Logic Tea, Krzysztof Apt (IILC/CWI)
In this talk I shall go in detail into the writing process of a scientific article. In particular, I shall provide some suggestions how to organize the article, in what order to write its parts, how to organize and break down the proofs, how to link the results together, and what pitfalls to avoid.
The Logic Tea homepage can be found at https://www.illc.uva.nl/logic_tea/. For more information, please contact Joel Uckelmann (juckelma at science.uva.nl) or Edgar Andrade (E.J.AndradeLotero at uva.nl).
30 November 2007, DIP Colloquium, Charlotte Wollermann
For abstracts and more information, see https://www.illc.uva.nl/dip/.
30 November 2007, Colloquium on Mathematical Logic, Sonja Smets
(Tram 9 from Central Station, to Plantage Badlaan).
For abstracts and more information, see http://www.math.uu.nl/people/jvoosten/seminar.html