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.
| << November 2005 | ||||||
|---|---|---|---|---|---|---|
| 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
|
|||
21-23 May 2006, STOC 2006: 38th ACM Symposium on Theory of Computing, Seattle
The 38th ACM Symposium on Theory of Computing (STOC 2006), sponsored by the ACM Special Interest Group on Algorithms and Computation Theory (SIGACT), will be held in Seattle, WA, May 21 to 23, 2006. Typical but not exclusive topics of interest include: algorithms and data structures, computational complexity, cryptography, computational geometry, algorithmic graph theory and combinatorics, randomness in computing, parallel and distributed computation, machine learning, applications of logic, algorithmic algebra and coding theory, computational biology, computational game theory, quantum computing and other alternative models of computation, and theoretical aspects of areas such as databases, information retrieval, and networks.
For more information, see http://www.cs.washington.edu/stoc06/
22-24 February 2006, WLP 2006: 20th Workshop on Logic Programming, Vienna University of Technology, Austria
The series of workshops on (constraint) logic programming serve as the annual meeting of the Society of Logic Programming (GLP e.V.) and bring together researchers interested in logic programming, constraint programming, and related areas like databases and artificial intelligence. Previous workshops have been held in Germany, Austria and Switzerland. The workshops provide a forum for exchanging ideas on declarative logic programming, nonmonotonic reasoning and knowledge representation, and facilitate interactions between research in theoretical foundations and in the design and implementation of logic-based programming systems. The technical program of the workshop will include invited talks, presentations of refereed papers, and system demonstrations.
For more information, see http://www.kr.tuwien.ac.at/wlp06/
22-24 March 2006, SALT 16 (Semantics and Linguistic Theory), Tokyo
SALT 16 will be held March 22-24, 2006 at the Komaba campus of the University of Tokyo under the auspices of the Center for Evolutionary Cognitive Sciences. SALT has provided a leading annual international forum for semantics for the past 15 years. 2006 will mark the first time for it to be held outside the United States.
For more information, see here or http://research.nii.ac.jp/salt16/
17-19 November 2005, Understanding the Dynamics of Knowledge, Siena, Certosa di Pontignano
"Integrating Models of Knowledge Change, Development and Evolution in Cognitive Science, Epistemology, Artificial Intelligence, Philosophy, Logic and Developmental Psychology"
For more information, see http://linus.media.unisi.it/cirg/udk/
17-19 November 2005, Understanding the Dynamics of Knowledge, Siena, Certosa di Pontignano
"Integrating Models of Knowledge Change, Development and Evolution in Cognitive Science, Epistemology, Artificial Intelligence, Philosophy, Logic and Developmental Psychology"
For more information, see http://linus.media.unisi.it/cirg/udk/
17-19 November 2005, Understanding the Dynamics of Knowledge, Siena, Certosa di Pontignano
"Integrating Models of Knowledge Change, Development and Evolution in Cognitive Science, Epistemology, Artificial Intelligence, Philosophy, Logic and Developmental Psychology"
For more information, see http://linus.media.unisi.it/cirg/udk/
25 November 2005, VvL Symposium "Proofs and Problems", Beatrixgebouw, room 412, Jaarbeurs, Jaarbeursplein 6, Utrecht
The Vereniging voor Logica (VvL) organizes a symposium "Proofs and Problems" on Friday November 25, 2005, in the Jaarbeurs in Utrecht, Beatrixgebouw, room 412. Participation is free, registration not necessary. You are very welcome to attend.
For more information, a programme and abstracts see http://www.ai.rug.nl/orgs/vvl/toekomst.html
19-21 January 2006, Days in Logic - 2006, Coimbra, Portugal
This meeting aims at bringing together mathematicians and computer scientists with interests in Logic. It is specially directed for graduate students. It consists of four introductory courses and contributed talks. Courses include "Category Theory", "Proof Interpretations", "Computations with Ordinals, and Models of Set Theory" and "Provable Recursion and Arithmetical Independence Results"
For registration or more information, see http://www.mat.uc.pt/~kahle/dl06/ or contact the organizers at kahle at mat.uc.pt.
Participants wishing to give a talk at the meeting are requested to submit an abstract of 1 page (LaTeX or plain text, or ps or pdf) to kahle at mat.uc.pt by 30 November 2005.
30 November - 2 December 2005, EmCAP Kick-off Meeting, Barcelona
EmCAP (Emergent Cognition through Active Perception) KickOff meeting will be held November 30 - December 2, 2005 in Barcelona.
For more information, see http://www.iua.upf.edu/mtg/emcap/