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 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
|
29
|
30
|
|
31
|
||||||
1 December 2006, ILPS Seminar, Canceled
Moved to February 2, 2007. For more information, see http://ilps.science.uva.nl/Seminar/seminar06-2.html#Dec1.
1 December 2006, Computational Social Choice Seminar, Maurice Koster
For more information, see here or https://www.illc.uva.nl/~ulle/seminar/, or contact Ulle Endriss (ulle at illc.uva.nl).
1 December 2006, DIP Colloquium, Judit Gervain
Infants: a Cross-linguistic Corpus Study
For abstracts and more information, see https://www.illc.uva.nl/dip/.
4-5 December 2006, 4th Paris-Amsterdam Logic Meeting of Young Researchers (PALMYR-4): Logics for Belief Dynamics, UvA, Amsterdam
Modern beliefs theories are able to shed light on dynamic processes involving beliefs, such as belief update, revision and fusion, because they use mathematical tools sophisticated enough to cope with such complex phenomena. The next PALMYR will be part of a conjoined effort between Amsterdam and Paris to bring young researchers to share their expertise and interest in mathematical approaches to belief dynamics.
Keynote speaker: Krister Segerberg (Uppsala) and Hans van Ditmarsch (Otago). Other speakers include Ivan José Varzinczak (IRIT), Brian Hill (Paris), Meghyn Bienvenu (IRIT), Paul Égré (CNRS), Tiago de Lima (IRIT), Cedric Paternotte (Paris), Guillaume Aucher (IRIT), Nicolas Troquard (IRIT), Mikaël Cozic (ENS Ulm)
For more information, see https://www.illc.uva.nl/PALMYR/PALMYR-4/ or contact: Olivier Roy (oroy at science.uva.nl)
4-5 December 2006, 4th Paris-Amsterdam Logic Meeting of Young Researchers (PALMYR-4): Logics for Belief Dynamics, UvA, Amsterdam
Modern beliefs theories are able to shed light on dynamic processes involving beliefs, such as belief update, revision and fusion, because they use mathematical tools sophisticated enough to cope with such complex phenomena. The next PALMYR will be part of a conjoined effort between Amsterdam and Paris to bring young researchers to share their expertise and interest in mathematical approaches to belief dynamics.
Keynote speaker: Krister Segerberg (Uppsala) and Hans van Ditmarsch (Otago). Other speakers include Ivan José Varzinczak (IRIT), Brian Hill (Paris), Meghyn Bienvenu (IRIT), Paul Égré (CNRS), Tiago de Lima (IRIT), Cedric Paternotte (Paris), Guillaume Aucher (IRIT), Nicolas Troquard (IRIT), Mikaël Cozic (ENS Ulm)
For more information, see https://www.illc.uva.nl/PALMYR/PALMYR-4/ or contact: Olivier Roy (oroy at science.uva.nl)
6-8 December 2006, 1st International Workshop on Computational Social Choice (COMSOC-2006), ILLC, Amsterdam
Computational social choice is a new discipline emerging at the interface of social choice theory and computer science. It is concerned with the application of computational techniques to the study of social choice mechanisms, and with the integration of social choice paradigms into computing (read more).
The 1st International Workshop on Computational Social Choice (COMSOC-2006) will take place on 6-8 December 2006 in Amsterdam. It will be hosted by the Institute for Logic, Language and Computation (ILLC) at the University of Amsterdam. The aim of the workshop is to bring together different communities: computer scientists interested in computational issues in social choice; people working in artificial intelligence and multiagent systems who are using ideas from social choice to organise societies of artificial software agents; logicians interested in the logic-based specification and analysis of social procedures (social software); and last but not least people coming from social choice theory itself.
COMSOC-2006 is generously funded by the NWO (Dutch Research Council), which will allow us to bring in several prominent scientists as invited speakers, whilst keeping registration fees very low.
The registration fee is €60 (€30 for (PhD) students). Please register by 16 November 2006. For more information, see https://www.illc.uva.nl/~ulle/COMSOC-2006/ or contact Ulle Endriss (ulle at illc.uva.nl).
6-8 December 2006, 1st International Workshop on Computational Social Choice (COMSOC-2006), ILLC, Amsterdam
Computational social choice is a new discipline emerging at the interface of social choice theory and computer science. It is concerned with the application of computational techniques to the study of social choice mechanisms, and with the integration of social choice paradigms into computing (read more).
The 1st International Workshop on Computational Social Choice (COMSOC-2006) will take place on 6-8 December 2006 in Amsterdam. It will be hosted by the Institute for Logic, Language and Computation (ILLC) at the University of Amsterdam. The aim of the workshop is to bring together different communities: computer scientists interested in computational issues in social choice; people working in artificial intelligence and multiagent systems who are using ideas from social choice to organise societies of artificial software agents; logicians interested in the logic-based specification and analysis of social procedures (social software); and last but not least people coming from social choice theory itself.
COMSOC-2006 is generously funded by the NWO (Dutch Research Council), which will allow us to bring in several prominent scientists as invited speakers, whilst keeping registration fees very low.
The registration fee is €60 (€30 for (PhD) students). Please register by 16 November 2006. For more information, see https://www.illc.uva.nl/~ulle/COMSOC-2006/ or contact Ulle Endriss (ulle at illc.uva.nl).
6-8 December 2006, 1st International Workshop on Computational Social Choice (COMSOC-2006), ILLC, Amsterdam
Computational social choice is a new discipline emerging at the interface of social choice theory and computer science. It is concerned with the application of computational techniques to the study of social choice mechanisms, and with the integration of social choice paradigms into computing (read more).
The 1st International Workshop on Computational Social Choice (COMSOC-2006) will take place on 6-8 December 2006 in Amsterdam. It will be hosted by the Institute for Logic, Language and Computation (ILLC) at the University of Amsterdam. The aim of the workshop is to bring together different communities: computer scientists interested in computational issues in social choice; people working in artificial intelligence and multiagent systems who are using ideas from social choice to organise societies of artificial software agents; logicians interested in the logic-based specification and analysis of social procedures (social software); and last but not least people coming from social choice theory itself.
COMSOC-2006 is generously funded by the NWO (Dutch Research Council), which will allow us to bring in several prominent scientists as invited speakers, whilst keeping registration fees very low.
The registration fee is €60 (€30 for (PhD) students). Please register by 16 November 2006. For more information, see https://www.illc.uva.nl/~ulle/COMSOC-2006/ or contact Ulle Endriss (ulle at illc.uva.nl).
8 December 2006, ILPS Seminar, Börkur Sigurbjörnsson
For abstracts and more information, see http://ilps.science.uva.nl/Seminar/seminar06-2.html#Dec8.
12 December 2006, Uniting a Fregean Philosophy of Language with a Fregean
Philosophy of Mathematics, Edward N. Zalta
(Bus 11 or 12 from Utrecht Central Station).
Abstract:
In this talk, I review the philosophy of language that can
be developed within object theory.
The theory predicts the existence of abstract objects that can serve
as the senses of individual terms
and abstract objects that can serve as the senses of relational
terms. The theory also predicts that the
senses of relation terms map the senses of individual terms to
abstract objects that serve as the senses
of the whole sentence. These senses of sentences seem appropriate as
Fregean thoughts, and they can serve
as the denotation of sentences when sentences are embedded within
propositional attitude reports.
(Object theory also yields denotations for individual terms and
denotations for relation terms, and though
the latter map the former to propositions instead of truth-values,
each proposition does still receive a
truth value as its extension.) In the second part of the talk, I
show how this work unites a quasi-Fregean
philosophy of language a neo-Fregean philosophy of mathematics.
13 December 2006, Logic Tea, Edward Zalta
The Logic Tea homepage can be found at https://www.illc.uva.nl/logic_tea/. For more information, please contact Jonathan Zvesper (jonathan at illc.uva.nl), Hartmut Fitz (h.fitz at uva.nl) or Joel Uckelmann (juckelma at science.uva.nl).
14 December 2006, GLoRiClass Seminar, Ravishankar Sarma
For more information, see https://www.illc.uva.nl/GLoRiClass/index.php?page=4
15 December 2006, ILPS Seminar, Jun Wang
For abstracts and more information, see http://ilps.science.uva.nl/Seminar/seminar06-2.html#Dec15.
15 December 2006, Colloquium on Mathematical Logic, Brian Semmes
(Tram 9 from Central Station, to Plantage Badlaan.).
For abstracts and more information, see http://staff.science.uva.nl/~bloewe/CML.html
15 December 2006, DIP Colloquium, Magdalena Schwager
For abstracts and more information, see https://www.illc.uva.nl/dip/.
18 December 2006, A Day of Books and People, VOC Building, Amsterdam
On Monday December 18th, 13 - 18 hours, ILLC and Elsevier are throwing a party to celebrate the appearance of a number of volumes in the the growing series "Handbook of the Philosophy of Science", edited by Dov Gabbay, Paul Thagard, & John Woods. More in particular, we will also launch the just-appeared "Handbook of Modal Logic", edited by Patrick Blackburn, Johan van Benthem & Frank Wolter. Many people at and around ILLC have contributed to this volume, but other 'prime movers' will be present as well, including the Series publishers that we have worked with for so long.
The event will include short presentations, displays, and some further social items. It is be held in the historical VOC Building in the centre of Amsterdam. See the webpage https://www.illc.uva.nl/lgc/HANDBOOK/ for details on the direction and the programme.
This is a chance to see authors and publishers who produce important defining documents in our world. All are welcome! If you have any questions or suggestions, please email Johan van Benthem.
19 December 2006, Converging Paradigms? Comparing Temporal Frameworks for Logics of Knowledge, Belief, Action, and Choice, ILLC, Amsterdam
There will be a small workshop on December 19, 2006 in Room 3.27 (Euclides Building, Plantage Muidergracht 24). The main theme of the workshop is comparing and contrasting temporal frameworks for logics for knowledge, beliefs, actions and choices.
The invited speakers are Johan van Benthem, Jan van Eijk, Dov Gabbay, Valentin Goranko, Andreas Herzig and Wiebe van der Hoek.
See http://staff.science.uva.nl/~epacuit/socsit/ for more information. Space is limited, so please contact Eric Pacuit (epacuit at science.uva.nl) if you are planning on attending.
21 December 2006, GLoRiClass Seminar, Michel Mandjes
For more information, see https://www.illc.uva.nl/GLoRiClass/index.php?page=4