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.
| << February 2006 | ||||||
|---|---|---|---|---|---|---|
| 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
|
||||
2 February 2006, Computational Social Choice Seminar, Krzysztof Apt
The rationalizability concept was introduced in (Bernheim 84) and (Pearson 84) to assess what can be inferred by rational players in a non-cooperative game in presence of common knowledge. However, this notion can be defined in a number ways that differ in seemingly unimportant minor details. We shed light on these differences, explain their impact, and clarify for which games these notions coincide. Also we apply the same analysis to clarify the differences and similarities between various ways iterated elimination of strictly dominated strategies was defined in the literature.
The paper is available at http://homepages.cwi.nl/~apt/ps/stronger05.ps. For more information, please contact Ulle Endriss (ulle at illc.uva.nl).
2 February 2006, OAS Colloquium, Muck van Weerdenburg
One of the bottlenecks in model checking is the time (and space) consuming transformation of a model to a state space. The main activity in such a transformation is often the rewriting of data expressions. In this talk the author will give an overview of his work on the rewriter(s) of the mCRL2 toolset. This toolset differs from other such toolsets in that it has a higher order data specification language (amongst other features).
For more information, see http://www.win.tue.nl/oas/main_colloquium.html.
3 February 2006, DIP Colloquium, Irene Krämer
quantification and mutual knowledge in children.
For abstracts and more information, see https://www.illc.uva.nl/dip/.
7 February 2006, Logic Tea, Eric Pacuit
The Logic Tea homepage can be found at https://www.illc.uva.nl/logic_tea/. For more information, please contact Olivier Roy (oroy at science.uva.nl) or Hartmut Fitz (h.fitz at uva.nl).
8 February 2006, Computational Linguistics Seminar, Remko Scha
In this talk I will assume that the audience is at least superficially familiar with the approach to exemplar-based language processing which is known as "Data-Oriented Parsing" (DOP). So far, the models which instantiate the DOP approach tend to deal exclusively with the syntactic aspects of language processing. The purpose of the talk is to look at the prospects of generalizing this work toward the development of data-oriented models of semantics.
For more information, see here or http://staff.science.uva.nl/~jzuidema/CLS/
9 February 2006, CSCA lecture series, Prof. dr. Ap Dijksterhuis
Prof. Ap Dijksterhuis will be holding the first CSCA lecture of 2006. On February 9th, he will comment on the role of unconsciousness and conscious processes in attitude formation and decision making. Prof. Dijksterhuis is professor at the Psychology department of the Universiteit van Amsterdam; he received the Early Career Award from the American Psychological Association in 2005.
For more information, see here or http://www.csca.uva.nl/.
10 February 2006, ILPS Seminar, Vojkan Mihajlovic
For abstracts and more information, see http://ilps.science.uva.nl/Seminar/seminar06-1.html#Feb10.
11-12 February 2006, Bonn Student Seminar on Set Theory and Games, Room P.327, Euclides Building, Plantage Muidergracht 24, Amsterdam
In this seminar, students from the mathematical logic group in Bonn are presenting various topic on games and set theory, leading up to Tony Martin's proof of the determinacy of all Π11 sets from a measurable cardinal.
All ILLC students interested in set theory are cordially invited to listen. The talks presuppose basic knowledge of set theory, comparable to our course Axiomatic Set Theory. The last two talks will also presuppose some knowledge about measurable cardinals.
Note that the Euclides building is closed on the weekend, so in order to attend, you either need to have an overwerkpass to get into the building, or to arrange a meeting with Stefan Bold to get into the building.
For more information, see http://staff.science.uva.nl/~bloewe/WS0506-Bonn.html
11-12 February 2006, Bonn Student Seminar on Set Theory and Games, Room P.327, Euclides Building, Plantage Muidergracht 24, Amsterdam
In this seminar, students from the mathematical logic group in Bonn are presenting various topic on games and set theory, leading up to Tony Martin's proof of the determinacy of all Π11 sets from a measurable cardinal.
All ILLC students interested in set theory are cordially invited to listen. The talks presuppose basic knowledge of set theory, comparable to our course Axiomatic Set Theory. The last two talks will also presuppose some knowledge about measurable cardinals.
Note that the Euclides building is closed on the weekend, so in order to attend, you either need to have an overwerkpass to get into the building, or to arrange a meeting with Stefan Bold to get into the building.
For more information, see http://staff.science.uva.nl/~bloewe/WS0506-Bonn.html
12 February 12 2006, Wakker Worden Kinderlezing, Prof.dr. Johan van Benthem
Sunday February 12 at 11.00 AM, prof.dr. Johan van Benthem will give a lecture especially for children in Science Center Nemo, Amsterdam. By means of games and puzzles, he will show and explain children what logic means to scientists and how to use logic in everyday life.
For more information, see www.kinderlezingen.nl/.
15 February 2006, Computational Social Choice Seminar, Vangelis Markakis
For more information, see here or https://www.illc.uva.nl/~ulle/seminar/, or contact either Krzysztof Apt (apt at cwi.nl) or Ulle Endriss (ulle at illc.uva.nl).
16 February 2006, GLoRiClass Seminar, Johan van Benthem
This is the first meeting of the GLoRiClass seminar which will continue to meet Thursdays 11-13.
For more information, see https://www.illc.uva.nl/GLoRiClass/index.php?page=4
16 february 2006, Collloquium Muziekwetenschap, Glenn Schellenberg
Music listening and music lessons have been claimed to confer intellectual advantages. Any association between music and intellectual functioning would be notable only if the benefits apply reliably to non-musical abilities and if music is unique in producing the effects. The available evidence indicates that music listening leads to enhanced performance on a variety of cognitive tests, but that such effects are short-term and stem from the impact of music on arousal level and mood, which, in turn, affect cognitive performance; experiences other than music listening have similar effects. Music lessons in childhood tell a different story. They are associated with small but general and long-lasting intellectual benefits that cannot be attributed to obvious confounding variables such as family income and parents' education. Other out-of-school activities do not appear to have similar effects. The mechanisms underlying the association between music lessons and intellectual abilities have yet to be determined.
Glenn Schellenberg is professor of psychology at the Universiteit van Toronto, Canada.
For more information, see http://www.musicology.nl/
16 February 2006, OAS Colloquium, Adam Koprowski
For more information, see http://www.win.tue.nl/oas/main_colloquium.html.
21 February 2006, Logic Tea, Sara L. Uckelman
The Logic Tea homepage can be found at https://www.illc.uva.nl/logic_tea/. For more information, please contact Olivier Roy (oroy at science.uva.nl) or Hartmut Fitz (h.fitz at uva.nl).
24 February 2006, ILPS Seminar, Clemens Kupke
For abstracts and more information, see http://ilps.science.uva.nl/Seminar/seminar06-1.html#Feb24.
24 February 2006, Colloquium on Mathematical Logic, Asger Tornquist
(Tram 9 from Central Station, to Plantage Badlaan.)
For abstracts and more information, see here or http://staff.science.uva.nl/~bloewe/CML.html
28 February 2006, ACG Colloquium,
For more information, see http://www.cwi.nl/htbin/acg/ACG.php4?mode=future