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.
| << May 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
|
31
|
||
2-5 May 2007, Foundations of the Formal Sciences VI: Reasoning about Probabilities and Probabilistic Reasoning, ILLC University of Amsterdam
Probabilistic methods are increasingly becoming an important tool in a variety of disciplines. These include computer science (probabilistic computation and automata, randomness), mathematics (probabilistic proofs), artificial intelligence (reasoning under uncertainty), epistemology (bayesian epistemology) and linguistics (probabilistic grammars). Of course, from the beginning, probabilistic and statistical methods have been heavily used in game theory and decision theory. Often separate to the discussion on applications of probabilistic methods is an important philosophical debate over the precise meaning of probabilistic and statistical statements. This debate often raises a number of issues crucial to understanding how to interpret results achieved using probabilistic methods.
We understand this conference as an interdisciplinary venue for researchers that use probabilistic and statistical methods in their respective fields and researchers that are concerned with the philosophical interpretation of probability and statistics to exchange ideas, approaches and techniques. Such a forum will facilitate discussions about the applicability of probabilistic methods and help ground foundational debates with concerns of practitioners of probabilistic methods.
For more information, see http://www.math.uni-bonn.de/people/fotfs/VI/
2-5 May 2007, Foundations of the Formal Sciences VI: Reasoning about Probabilities and Probabilistic Reasoning, ILLC University of Amsterdam
Probabilistic methods are increasingly becoming an important tool in a variety of disciplines. These include computer science (probabilistic computation and automata, randomness), mathematics (probabilistic proofs), artificial intelligence (reasoning under uncertainty), epistemology (bayesian epistemology) and linguistics (probabilistic grammars). Of course, from the beginning, probabilistic and statistical methods have been heavily used in game theory and decision theory. Often separate to the discussion on applications of probabilistic methods is an important philosophical debate over the precise meaning of probabilistic and statistical statements. This debate often raises a number of issues crucial to understanding how to interpret results achieved using probabilistic methods.
We understand this conference as an interdisciplinary venue for researchers that use probabilistic and statistical methods in their respective fields and researchers that are concerned with the philosophical interpretation of probability and statistics to exchange ideas, approaches and techniques. Such a forum will facilitate discussions about the applicability of probabilistic methods and help ground foundational debates with concerns of practitioners of probabilistic methods.
For more information, see http://www.math.uni-bonn.de/people/fotfs/VI/
2-5 May 2007, Foundations of the Formal Sciences VI: Reasoning about Probabilities and Probabilistic Reasoning, ILLC University of Amsterdam
Probabilistic methods are increasingly becoming an important tool in a variety of disciplines. These include computer science (probabilistic computation and automata, randomness), mathematics (probabilistic proofs), artificial intelligence (reasoning under uncertainty), epistemology (bayesian epistemology) and linguistics (probabilistic grammars). Of course, from the beginning, probabilistic and statistical methods have been heavily used in game theory and decision theory. Often separate to the discussion on applications of probabilistic methods is an important philosophical debate over the precise meaning of probabilistic and statistical statements. This debate often raises a number of issues crucial to understanding how to interpret results achieved using probabilistic methods.
We understand this conference as an interdisciplinary venue for researchers that use probabilistic and statistical methods in their respective fields and researchers that are concerned with the philosophical interpretation of probability and statistics to exchange ideas, approaches and techniques. Such a forum will facilitate discussions about the applicability of probabilistic methods and help ground foundational debates with concerns of practitioners of probabilistic methods.
For more information, see http://www.math.uni-bonn.de/people/fotfs/VI/
4 May 2007, Colloquium on Mathematical Logic, Ali Enayat
(Bus 11 or 12 from Utrecht Central Station).
For abstracts and more information, see http://www.math.uu.nl/people/jvoosten/seminar.html
2-5 May 2007, Foundations of the Formal Sciences VI: Reasoning about Probabilities and Probabilistic Reasoning, ILLC University of Amsterdam
Probabilistic methods are increasingly becoming an important tool in a variety of disciplines. These include computer science (probabilistic computation and automata, randomness), mathematics (probabilistic proofs), artificial intelligence (reasoning under uncertainty), epistemology (bayesian epistemology) and linguistics (probabilistic grammars). Of course, from the beginning, probabilistic and statistical methods have been heavily used in game theory and decision theory. Often separate to the discussion on applications of probabilistic methods is an important philosophical debate over the precise meaning of probabilistic and statistical statements. This debate often raises a number of issues crucial to understanding how to interpret results achieved using probabilistic methods.
We understand this conference as an interdisciplinary venue for researchers that use probabilistic and statistical methods in their respective fields and researchers that are concerned with the philosophical interpretation of probability and statistics to exchange ideas, approaches and techniques. Such a forum will facilitate discussions about the applicability of probabilistic methods and help ground foundational debates with concerns of practitioners of probabilistic methods.
For more information, see http://www.math.uni-bonn.de/people/fotfs/VI/
8 May 2007, ACG Colloquium, Clemens Kupke and Helle Hvid Hansen
For more information, see http://www.cwi.nl/htbin/acg/ACG.php4?mode=future
9 May 2007, Computational Linguistics Seminar, Pieter Adriaans
In this lecture Pieter Adriaans will present some recent work he did with Paul Vitanyi and Ceriel Jacobs on the application of the MDL (Minimum Description Length) principle to grammar induction.
For more information, see https://www.illc.uva.nl/LaCo/CLS/ or contact Jelle Zuidema (jzuidema at science.uva.nl).
10-11 May 2007, Workshop on Logics for Coalgebras, Euclides Building, Plantage Muidergracht 24, Amsterdam
Coalgebras have been expanding and reshaping the mathematical environment of modal logic: pivoting on the crucial notion of 'bisimulation invariance', a wide range of languages based on Set-endofunctors have been recognized as modal in nature and conversely, the coalgebraic nature of modal logic is clearly recognizable by its model theory.
This workshop aims at giving a snapshot of the advances in the resulting field of coalgebraic modal logic. The program also includes a tutorial on coalgebras for modal logicians.
For more information, see http://staff.science.uva.nl/~gfontain/logics_for_coalgebras/home.html or contact Allesandra Palmigiano at apalmigi at science.uva.nl or Gaelle Fontaine at gfontain at science.uva.nl. Early expressions of interests are very welcome: if you plan to attend the meeting, please contact Alessandra.
10-11 May 2007, Workshop on Logics for Coalgebras, Euclides Building, Plantage Muidergracht 24, Amsterdam
Coalgebras have been expanding and reshaping the mathematical environment of modal logic: pivoting on the crucial notion of 'bisimulation invariance', a wide range of languages based on Set-endofunctors have been recognized as modal in nature and conversely, the coalgebraic nature of modal logic is clearly recognizable by its model theory.
This workshop aims at giving a snapshot of the advances in the resulting field of coalgebraic modal logic. The program also includes a tutorial on coalgebras for modal logicians.
For more information, see http://staff.science.uva.nl/~gfontain/logics_for_coalgebras/home.html or contact Allesandra Palmigiano at apalmigi at science.uva.nl or Gaelle Fontaine at gfontain at science.uva.nl. Early expressions of interests are very welcome: if you plan to attend the meeting, please contact Alessandra.
11 May 2007, DIP Colloquium, Regine Eckardt
For abstracts and more information, see https://www.illc.uva.nl/dip/.
16 May 2007, Seminar "Logic, Language and Reasoning", Marian Counihan (ILLC UvA)
This is the second meeting of the seminar "Logic, Language and Reasoning" which aims at bringing together researchers interested in human reasoning. The talk by Marian Counihan will be from 4-5: the second half of the seminar is question time and discussion.
For more information contact Jakub Szymanik at szymanik at illc.uva.nl
18 May 2007, Colloquium on Mathematical Logic, Dimitri Hendriks
(Tram 9 from Central Station, to Plantage Badlaan).
For abstracts and more information, see http://www.math.uu.nl/people/jvoosten/seminar.html
23 May 2007, Computational Linguistics Seminar, Louis ten Bosch
For more information, see https://www.illc.uva.nl/LaCo/CLS/ or contact Jelle Zuidema (jzuidema at science.uva.nl).
23 May 2007, Logic Tea, Ulle Endriss
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).
24 May 2007, Computational Social Choice Seminar, Jouko Väänänen
For more information, see here or https://www.illc.uva.nl/~ulle/seminar/ or contact Ulle Endriss (ulle at illc.uva.nl).
25 May 2007, ILPS Seminar, Rescheduled to June 8
For abstracts and more information, see http://ilps.science.uva.nl/Seminar/seminar07-1.html#May25.
25 May 2007, DIP Colloquium, Yoad Winter
For abstracts and more information, see https://www.illc.uva.nl/dip/.
30 May 2007, Computational Linguistics Seminar, Reinhard Blutner
Classical truth-functional semantics and almost all of its modifications have a serious problem in treating prototypes and their combination. Though some modelling variants can fit many of the puzzling empirical observation, their explanatory value is seldom noteworthy. Reinhard Blutner will argue that the explanatory inadequacy is due to the Boolean characteristic of the underlying semantics, which only allows mixing possible words but it excludes the idea of superposition crucial for geometrical models of meanings.
For more information, see https://www.illc.uva.nl/LaCo/CLS/ or contact Jelle Zuidema (jzuidema at science.uva.nl).