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.
| << December 2010 | ||||||
|---|---|---|---|---|---|---|
| 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 December 2010, Inaugural Lecture, Henkjan Honing (Bijzonder Hoogleraar Muziekcognitie)
Henkjan Honing brengt tijdens zijn oratie, bij de aanvaarding van een KNAW-Muller leerstoel, een ode aan 'de ongeletterde luisteraar'.
Muziek speelt op een intrigerende manier met ons geheugen, onze aandacht en onze verwachtingen. Maar als luisteraar zijn we ons vaak niet bewust dat we zelf een actieve rol hebben in wat muziek zo spannend, troostend of opwindend maakt. Luisteren speelt zich niet af in de buitenwereld van de klinkende muziek, maar in de stille binnenwereld van ons hoofd en onze hersenen. Baby's blijken een grote perceptuele gevoeligheid hebben voor zowel de melodische, ritmische als dynamische aspecten van spraak en muziek. Dit zijn aspecten die taalkundigen graag onder de term ~prosodie' scharen, maar die feitelijk de fundamentele bouwstenen van muziek zijn. Pas veel later in de ontwikkeling van een kind wordt gebruikgemaakt van deze ~muzikale prosodie', bijvoorbeeld bij het markeren en vervolgens herkennen van woordgrenzen. Maar deze al zeer vroeg aanwezige muzikale vaardigheden zijn in essentie niet talig, benadrukt Honing. De oratie is een ode aan het ~ongeletterde luisteren', een - voor zover we weten - menselijke aanleg voor het waarnemen, interpreteren en waarderen van muzikale nuances vanaf dag één, nog voordat er een woord gesproken, laat staan bedacht is. Het is het preverbale en preletter-stadium waar het muzikale luisteren vol van is.
For more information, see http://www.uva.nl/actueel/agenda.cfm/BE6F0FB2-E9B4-4C9A-9275663F92D2AA32.
3-18 December 2010, Sino-European Winter School in Logic, Language and Computation (SELLC-2010), Guangzhou, China
This is a winter school for logic students organized in the spirit of the ESSLLI summer schools in Europe. There will be 10 lecture courses on various topics in the areas of logic, linguistics and computer science, a workshop on the topic of Logic, Language and Computation, plus a special student session for student papers.
For more information, see http://www.math.helsinki.fi/logic/sellc-2010/ or contact the organizers at sellc-2010 at helsinki.fi.
3 December 2010, Computational Social Choice Seminar, Stéphane Airiau
For more information, see here or https://www.illc.uva.nl/~ulle/seminar/ or contact Ulle Endriss (ulle.endriss at uva.nl).
3 December 2010, DIP Colloquium, Yoad Winter
Hypothetical Reasoning
For abstracts and more information, see https://www.illc.uva.nl/dip/.
3-18 December 2010, Sino-European Winter School in Logic, Language and Computation (SELLC-2010), Guangzhou, China
This is a winter school for logic students organized in the spirit of the ESSLLI summer schools in Europe. There will be 10 lecture courses on various topics in the areas of logic, linguistics and computer science, a workshop on the topic of Logic, Language and Computation, plus a special student session for student papers.
For more information, see http://www.math.helsinki.fi/logic/sellc-2010/ or contact the organizers at sellc-2010 at helsinki.fi.
3-18 December 2010, Sino-European Winter School in Logic, Language and Computation (SELLC-2010), Guangzhou, China
This is a winter school for logic students organized in the spirit of the ESSLLI summer schools in Europe. There will be 10 lecture courses on various topics in the areas of logic, linguistics and computer science, a workshop on the topic of Logic, Language and Computation, plus a special student session for student papers.
For more information, see http://www.math.helsinki.fi/logic/sellc-2010/ or contact the organizers at sellc-2010 at helsinki.fi.
3-18 December 2010, Sino-European Winter School in Logic, Language and Computation (SELLC-2010), Guangzhou, China
This is a winter school for logic students organized in the spirit of the ESSLLI summer schools in Europe. There will be 10 lecture courses on various topics in the areas of logic, linguistics and computer science, a workshop on the topic of Logic, Language and Computation, plus a special student session for student papers.
For more information, see http://www.math.helsinki.fi/logic/sellc-2010/ or contact the organizers at sellc-2010 at helsinki.fi.
6 December 2010, Probabilistic and Algebraic Methods in Discrete Mathematics, Optimization and Computer Science
The following speakers will give a lecture:
- Dimitris Achlioptas (University of California at Santa Cruz and
National and Kapodistrian University of Athens)
- Roberto Fernández (Universiteit Utrecht)
- Willem Haemers (Universiteit van Tilburg)
- Raphael Hauser (University of Oxford)
- Leen Stougie (Vrije Universiteit Amsterdam),
- Juan Vera (Universiteit van Tilburg)
There is no conference fee, but registration is required. For more information, see http://homepages.cwi.nl/~mueller/workshop.html
6 December 2010, Faculty Colloquium, Ulle Endriss / A. Osseyran
For more information, see http://www.science.uva.nl/actueel/Agenda.cfm/5FA4F78A-1321-B0BE-A49DB8733B377512.
3-18 December 2010, Sino-European Winter School in Logic, Language and Computation (SELLC-2010), Guangzhou, China
This is a winter school for logic students organized in the spirit of the ESSLLI summer schools in Europe. There will be 10 lecture courses on various topics in the areas of logic, linguistics and computer science, a workshop on the topic of Logic, Language and Computation, plus a special student session for student papers.
For more information, see http://www.math.helsinki.fi/logic/sellc-2010/ or contact the organizers at sellc-2010 at helsinki.fi.
7-8 December 2010, Workshop "From cognitive science and psychology to an empirically-informed philosophy"
The workshop will bring together logicians, philosophers, psychologists and cognitive scientists to discuss the interface between cognitive science and psychology, on the one hand, and the philosophy of logic on the other hand. More specifically, we wish to investigate the extent to which (if at all), and in what ways, experimental results from these fields may contribute to the formulation of an empirically-informed philosophy of logic, taking into account how human agents, logicians and non-logicians alike, in fact reason.
For more information, see https://www.illc.uva.nl/peipl/
7 December 2010, Logic Tea, Szymon Klarman
The Logic Tea homepage can be found at https://www.illc.uva.nl/logic_tea/
For more information, please contact Bruno Jacinto (jacinto.bruno at gmail.com), Umberto Grandi (u.grandi at uva.nl), or Yurii Khomskii (Y.D.Khomskii at uva.nl)
3-18 December 2010, Sino-European Winter School in Logic, Language and Computation (SELLC-2010), Guangzhou, China
This is a winter school for logic students organized in the spirit of the ESSLLI summer schools in Europe. There will be 10 lecture courses on various topics in the areas of logic, linguistics and computer science, a workshop on the topic of Logic, Language and Computation, plus a special student session for student papers.
For more information, see http://www.math.helsinki.fi/logic/sellc-2010/ or contact the organizers at sellc-2010 at helsinki.fi.
7-8 December 2010, Workshop "From cognitive science and psychology to an empirically-informed philosophy"
The workshop will bring together logicians, philosophers, psychologists and cognitive scientists to discuss the interface between cognitive science and psychology, on the one hand, and the philosophy of logic on the other hand. More specifically, we wish to investigate the extent to which (if at all), and in what ways, experimental results from these fields may contribute to the formulation of an empirically-informed philosophy of logic, taking into account how human agents, logicians and non-logicians alike, in fact reason.
For more information, see https://www.illc.uva.nl/peipl/
8 December 2010, FLiRT workshop: Fixed-point LogIcs and Reasoning about Trees
The FLiRT workshop will coincide with the public PhD defenses of Gaëlle Fontaine and Amélie Gheerbrant which will both take place on the 9th of December. The workshop will gather young researchers and world top experts in various areas of theoretical computer science related to fixed-point logics. These areas include automata theory, game theory, web languages and coalgebras.
The event will be hosted by the Institute for Logic, Language and Computation (ILLC) of the University of Amsterdam (UvA) and will take place in the Euclides building (Plantage Muidergracht 24).
For more information, see http://homepages.inf.ed.ac.uk/agheerbr/flirt.html
8 December 2010, Computational Linguistics Seminar, Stephen Clark
For more information and abstracts, see https://www.illc.uva.nl/LaCo/CLS/
3-18 December 2010, Sino-European Winter School in Logic, Language and Computation (SELLC-2010), Guangzhou, China
This is a winter school for logic students organized in the spirit of the ESSLLI summer schools in Europe. There will be 10 lecture courses on various topics in the areas of logic, linguistics and computer science, a workshop on the topic of Logic, Language and Computation, plus a special student session for student papers.
For more information, see http://www.math.helsinki.fi/logic/sellc-2010/ or contact the organizers at sellc-2010 at helsinki.fi.
3-18 December 2010, Sino-European Winter School in Logic, Language and Computation (SELLC-2010), Guangzhou, China
This is a winter school for logic students organized in the spirit of the ESSLLI summer schools in Europe. There will be 10 lecture courses on various topics in the areas of logic, linguistics and computer science, a workshop on the topic of Logic, Language and Computation, plus a special student session for student papers.
For more information, see http://www.math.helsinki.fi/logic/sellc-2010/ or contact the organizers at sellc-2010 at helsinki.fi.
10 December 2010, Discrete Strategies in Keyword Auctions and their Social Inefficiency, Orestis Telelis (U Liverpool, UK)
We study formally discrete bidding strategies for the game induced by the Generalized Second Price (GSP) keyword auction mechanism. Such strategies have seen experimental evaluation in the recent literature within iterative best response procedures, which have been shown not to converge.
We give a detailed definition of iterative best response under these strategies and, under appropriate discretization of the players' strategy spaces we find that the discretized configurations space contains socially optimal pure Nash equilibria. We cast discrete strategies under a new light, by studying their performance for bidders that act based on local information; we prove bounds for the worst-case ratio of the social welfare of locally stable configurations, relative to the socially optimum welfare. Finally we discuss open problems regarding convergence of discrete strategies and the social welfare of stable configurations for Keyword Auctions under the GSP mechanism.
For more information, contact k.r.apt at cwi.nl
10 December 2010, DIP Colloquium, Keith Stenning
For abstracts and more information, see https://www.illc.uva.nl/dip/.
3-18 December 2010, Sino-European Winter School in Logic, Language and Computation (SELLC-2010), Guangzhou, China
This is a winter school for logic students organized in the spirit of the ESSLLI summer schools in Europe. There will be 10 lecture courses on various topics in the areas of logic, linguistics and computer science, a workshop on the topic of Logic, Language and Computation, plus a special student session for student papers.
For more information, see http://www.math.helsinki.fi/logic/sellc-2010/ or contact the organizers at sellc-2010 at helsinki.fi.
3-18 December 2010, Sino-European Winter School in Logic, Language and Computation (SELLC-2010), Guangzhou, China
This is a winter school for logic students organized in the spirit of the ESSLLI summer schools in Europe. There will be 10 lecture courses on various topics in the areas of logic, linguistics and computer science, a workshop on the topic of Logic, Language and Computation, plus a special student session for student papers.
For more information, see http://www.math.helsinki.fi/logic/sellc-2010/ or contact the organizers at sellc-2010 at helsinki.fi.
3-18 December 2010, Sino-European Winter School in Logic, Language and Computation (SELLC-2010), Guangzhou, China
This is a winter school for logic students organized in the spirit of the ESSLLI summer schools in Europe. There will be 10 lecture courses on various topics in the areas of logic, linguistics and computer science, a workshop on the topic of Logic, Language and Computation, plus a special student session for student papers.
For more information, see http://www.math.helsinki.fi/logic/sellc-2010/ or contact the organizers at sellc-2010 at helsinki.fi.
13 December 2010, Modal Logic and Stone Duality
This workshop aims to bring together researchers working in modal logic, duality theory, algebra, point-free topology, domain theory and coalgebraic logic; fields which are all connected through logic and Stone duality.
Speakers include: Johan van Benthem (Amsterdam), Dick de Jongh (Amsterdam), Georges Hansoul (Liège), Achim Jung (Birmingham), Alexander Kurz (Leicester), Alessandra Palmigiano (Amsterdam), Steve Vickers (University of Birmingham), Jacob Vosmaer (Amsterdam).
This workshop will coincide with the PhD defense of Jacob Vosmaer at the University of Amsterdam on 14 December 2010.
For more information, see http://www.jacobvosmaer.nl/MLSD/ .
3-18 December 2010, Sino-European Winter School in Logic, Language and Computation (SELLC-2010), Guangzhou, China
This is a winter school for logic students organized in the spirit of the ESSLLI summer schools in Europe. There will be 10 lecture courses on various topics in the areas of logic, linguistics and computer science, a workshop on the topic of Logic, Language and Computation, plus a special student session for student papers.
For more information, see http://www.math.helsinki.fi/logic/sellc-2010/ or contact the organizers at sellc-2010 at helsinki.fi.
3-18 December 2010, Sino-European Winter School in Logic, Language and Computation (SELLC-2010), Guangzhou, China
This is a winter school for logic students organized in the spirit of the ESSLLI summer schools in Europe. There will be 10 lecture courses on various topics in the areas of logic, linguistics and computer science, a workshop on the topic of Logic, Language and Computation, plus a special student session for student papers.
For more information, see http://www.math.helsinki.fi/logic/sellc-2010/ or contact the organizers at sellc-2010 at helsinki.fi.
3-18 December 2010, Sino-European Winter School in Logic, Language and Computation (SELLC-2010), Guangzhou, China
This is a winter school for logic students organized in the spirit of the ESSLLI summer schools in Europe. There will be 10 lecture courses on various topics in the areas of logic, linguistics and computer science, a workshop on the topic of Logic, Language and Computation, plus a special student session for student papers.
For more information, see http://www.math.helsinki.fi/logic/sellc-2010/ or contact the organizers at sellc-2010 at helsinki.fi.
16 December 2010, Games, Logic, Language And Computation 19: Learning and Knowledge Change (GLLC-19)
The 19th edition of Workshop Series "Games, Logic, Language and Computation" (GLLC, funded by NWO) will bring together researchers interested in the topic of learning and epistemic change. The workshop will be hosted by the ILLC, on the occasion of the PhD defense of Nina Gierasimczuk.
For more information see: http://staff.science.uva.nl/~ngierasi/gllc-19
16 December 2010, Computational Social Choice Seminar, Floor Sietsma
For more information, see here or https://www.illc.uva.nl/~ulle/seminar/, or contact Ulle Endriss (ulle.endriss at uva.nl).
3-18 December 2010, Sino-European Winter School in Logic, Language and Computation (SELLC-2010), Guangzhou, China
This is a winter school for logic students organized in the spirit of the ESSLLI summer schools in Europe. There will be 10 lecture courses on various topics in the areas of logic, linguistics and computer science, a workshop on the topic of Logic, Language and Computation, plus a special student session for student papers.
For more information, see http://www.math.helsinki.fi/logic/sellc-2010/ or contact the organizers at sellc-2010 at helsinki.fi.
3-18 December 2010, Sino-European Winter School in Logic, Language and Computation (SELLC-2010), Guangzhou, China
This is a winter school for logic students organized in the spirit of the ESSLLI summer schools in Europe. There will be 10 lecture courses on various topics in the areas of logic, linguistics and computer science, a workshop on the topic of Logic, Language and Computation, plus a special student session for student papers.
For more information, see http://www.math.helsinki.fi/logic/sellc-2010/ or contact the organizers at sellc-2010 at helsinki.fi.