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.
| << April 2001 | ||||||
|---|---|---|---|---|---|---|
| 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
|
|||||
20-24 August 2001, ESSLLI Workhop on Logic and Games, Helsinki, Finland
20-24 August 2001, ESSLLI Workhop on Logic and Games, Helsinki, Finland
Call for Papers
New Deadline: April 9th, 2001
Games have been utilized within logic for a variety of different purposes such as semantic evaluation games, model comparison games, and proof games. On the other hand, logic has become increasingly important in game theory, in particular for the epistemic foundation of game-theoretic solution concepts. As the TARK and LOFT conferences show, interaction between logic and game theory has become more diverse in recent years, exploring game logics, the use of game-theory in multi-agent systems, game-theoretic accounts of natural language phenomena, and the role of language in defining preferences.
The workshop is part of the 13th European Summer School in Logic, Language and Information (ESSLLI) which takes place at the University of Helsinki from August 13 until August 24, 2001 (http://www.helsinki.fi/esslli). The workshop aims to provide a forum for advanced Ph.D. students and other researchers from game theory and logic to present their research on (1) game- theoretic techniques applied to logic, and (2) logical models or analyses of games and game-theoretic problems. We specifically invite presentations in any of the following areas:
- Logical analysis of games, e.g. modeling knowledge, belief, and information flow in games; applications of epistemic and dynamic logic to games
- Logic games, e.g. model comparison games, semantic evaluation games, Independence-friendly logic
- Game logics, e.g. extensions of program logics and modal logics to investigate the structure of games in general
- The role of language and logical definability in games, and connections between natural language and games generally
- Logical approaches to multi-agent systems with a special focus on game-theoretic aspects
For more information, see http://www.cwi.nl/~pauly/GameLogic/call-esslli.
23 - 28 September 2001, The Fourth International Tbilisi Symposium on Language, Logic and Computation, Borjomi, Georgia
23 - 28 September 2001, The Fourth International Tbilisi Symposium on
Language, Logic and Computation, Borjomi, Georgia
Call for Papers
Deadline: 30 April
The fourth Tbilisi Symposium on Language, Logic and Computation will be held in the mountain resort Likani, situated in the Borjomi Canyon, from 23 to 28 September. The Symposium is organized by the Centre for Language, Logic and Speech at the Tbilisi State University in conjunction with the Institute for Logic, Language and Computation (ILLC) of the University of Amsterdam.
The Symposium welcomes papers on current research in all aspects of Linguistics, Logic and Computation, including but not limited to:
- Natural language semantics/pragmatics
- Algebraic and relational semantics
- Natural language processing
- Logic in AI and natural language
- Natural language and logic programming
- Automated reasoning
- Natural language and databases
- Information retrieval from text
- Natural language and internet
- Constructive and modal logic
For more information, see https://www.illc.uva.nl/ borjomi