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.
| << September 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
|
|
2-3 September 2005, Workshop on Language Evolution:
Formal Modelling meets Empirical data, Room A404, building A, Roeterstraat 15, Amsterdam
On September 2nd and 3d, the ILLC will host an intensive
workshop on language evolution. 21 invited speakers, from mainly
Great Britain and the Netherlands, will present both biological
and linguistic, and both empirical and formal approaches. The
workshop is organised in 4 sessions:
(1) The evolution of speech,
(2) Interactions between learning and evolution,
(3) Social learning and conventional meaning, and
(4) The evolution of syntax.
Students and staff are very welcome to attend and partipate in the discussions. Participation is free, but registration on the workshop webpage is required.
For more information, an online registration form and a preliminary program, see http://staff.science.uva.nl/~jzuidema/LEFE05/
2-3 September 2005, Workshop on Language Evolution:
Formal Modelling meets Empirical data, Room A404, building A, Roeterstraat 15, Amsterdam
On September 2nd and 3d, the ILLC will host an intensive
workshop on language evolution. 21 invited speakers, from mainly
Great Britain and the Netherlands, will present both biological
and linguistic, and both empirical and formal approaches. The
workshop is organised in 4 sessions:
(1) The evolution of speech,
(2) Interactions between learning and evolution,
(3) Social learning and conventional meaning, and
(4) The evolution of syntax.
Students and staff are very welcome to attend and partipate in the discussions. Participation is free, but registration on the workshop webpage is required.
For more information, an online registration form and a preliminary program, see http://staff.science.uva.nl/~jzuidema/LEFE05/
5-7 September 2005, AMLaP Conference on Architectures and Mechanisms of Language Processing, Gent, Belgium
AMLaP is an annual international conference which has established itself as the premier European venue for interdisciplinary research into how people process language. The conference aims to bring together psychological, computational, and theoretical perspectives on the cognitive architectures and mechanisms which underly any aspect of human language processing, from lexical processing, parsing and interpretation, through to discourse level mechanisms. Contributions to AMLaP which explicity relate empirical and experimental findings and computational mechanisms are especially encouraged. Topics relevant to the conference include (but are not limited to): computational models, cross-linguistic studies, language production, statistical mechanisms, corpus-based studies, discourse, lexical processing, parsing and interpretation, learning mechanisms, connectionist models, computer simulations and models of acquisition.
For more information see http://www.amlap2005.ugent.be/
5-7 September 2005, AMLaP Conference on Architectures and Mechanisms of Language Processing, Gent, Belgium
AMLaP is an annual international conference which has established itself as the premier European venue for interdisciplinary research into how people process language. The conference aims to bring together psychological, computational, and theoretical perspectives on the cognitive architectures and mechanisms which underly any aspect of human language processing, from lexical processing, parsing and interpretation, through to discourse level mechanisms. Contributions to AMLaP which explicity relate empirical and experimental findings and computational mechanisms are especially encouraged. Topics relevant to the conference include (but are not limited to): computational models, cross-linguistic studies, language production, statistical mechanisms, corpus-based studies, discourse, lexical processing, parsing and interpretation, learning mechanisms, connectionist models, computer simulations and models of acquisition.
For more information see http://www.amlap2005.ugent.be/
5-7 September 2005, AMLaP Conference on Architectures and Mechanisms of Language Processing, Gent, Belgium
AMLaP is an annual international conference which has established itself as the premier European venue for interdisciplinary research into how people process language. The conference aims to bring together psychological, computational, and theoretical perspectives on the cognitive architectures and mechanisms which underly any aspect of human language processing, from lexical processing, parsing and interpretation, through to discourse level mechanisms. Contributions to AMLaP which explicity relate empirical and experimental findings and computational mechanisms are especially encouraged. Topics relevant to the conference include (but are not limited to): computational models, cross-linguistic studies, language production, statistical mechanisms, corpus-based studies, discourse, lexical processing, parsing and interpretation, learning mechanisms, connectionist models, computer simulations and models of acquisition.
For more information see http://www.amlap2005.ugent.be/
7 September 2005, Interfacing Probabilistic and Epistemic Update
Plantage Muidergracht 24, Amsterdam
A workshop 'Interfacing Probabilistic and Epistemic Update' will be held on September 7th at the ILLC. Its aim is to investigate shared topics between the communities in dynamic epistemic logic and in Bayesian update. The speakers are open-minded spokespersons for both traditions.
For more information, see here or the workshop site at https://www.illc.uva.nl/lgc/IPEU.html
7 September 2005, Annual ILLC Boat Trip
We are happy to announce that also this year the ILLC welcomes the (35!!!) new Master students with a boattrip, followed by a small reception, at Wednesday September 7. The boat leaves at 17.00 hrs from the back of the Euclides building (Plantage Muidergracht 24), exact location to be announced. Starting 18.30 hrs you are invited to have a drink in the canteen of Euclides.
For more information, contact the ILLC Buro at illc at science.uva.nl.
9 September 2005, ILPS Seminar, Steven Schockaert
(Gent)
For abstracts and more information, see http://ilps.science.uva.nl/Seminar/seminar05-2.html#Sep09.
9 September 2005, DIP Colloquium, Nathan Salmon
For abstracts and more information, see https://www.illc.uva.nl/dip/.
11-15 September 2005, First International Summer School on Constraint Programming
The first international summer school on constraint programming is organised for PhD students, researchers, and practitioners interested in an extensive introduction to CP concepts such as problem modelling, constraint propagation, global constraints, and search.
Leading experts in the field will give invited tutorial lectures on different aspects of constraint programming along with practical exercises. Lecturers will evaluate the work of the students. This will provide the participants with a useful feedback, and will allow Ph.D. students to use the school to cover some of their coursework.
Registration deadline is July 31 (June 30 for early registration). For more information including a program, see http://slash.math.unipd.it/cp-school-2005/
11-15 September 2005, First International Summer School on Constraint Programming
The first international summer school on constraint programming is organised for PhD students, researchers, and practitioners interested in an extensive introduction to CP concepts such as problem modelling, constraint propagation, global constraints, and search.
Leading experts in the field will give invited tutorial lectures on different aspects of constraint programming along with practical exercises. Lecturers will evaluate the work of the students. This will provide the participants with a useful feedback, and will allow Ph.D. students to use the school to cover some of their coursework.
Registration deadline is July 31 (June 30 for early registration). For more information including a program, see http://slash.math.unipd.it/cp-school-2005/
12-16 September 2005, The Sixth International Tbilisi Symposium
on Language, Logic and Computation, Batumi, Georgia
The sixth Tbilisi Symposium on Language, Logic and Computation will be held in the Black Sea coastal resort Batumi from September 12 to September 16, 2005. The Symposium is organized by the Centre for Language, Logic and Speech of the Tbilisi State University in conjunction with the Institute for Logic, Language and Computation (ILLC) of the University of Amsterdam. Everybody who has been at previous occasions can confirm that these symposia constitute an unforgettable experience.
For the general program 30 papers can be accepted for presentation. Deadline for submission of abstracts: 1 May 2005
For more information , see the symposium website at https://www.illc.uva.nl/Batumi2005/
11-15 September 2005, First International Summer School on Constraint Programming
The first international summer school on constraint programming is organised for PhD students, researchers, and practitioners interested in an extensive introduction to CP concepts such as problem modelling, constraint propagation, global constraints, and search.
Leading experts in the field will give invited tutorial lectures on different aspects of constraint programming along with practical exercises. Lecturers will evaluate the work of the students. This will provide the participants with a useful feedback, and will allow Ph.D. students to use the school to cover some of their coursework.
Registration deadline is July 31 (June 30 for early registration). For more information including a program, see http://slash.math.unipd.it/cp-school-2005/
12-16 September 2005, The Sixth International Tbilisi Symposium
on Language, Logic and Computation, Batumi, Georgia
The sixth Tbilisi Symposium on Language, Logic and Computation will be held in the Black Sea coastal resort Batumi from September 12 to September 16, 2005. The Symposium is organized by the Centre for Language, Logic and Speech of the Tbilisi State University in conjunction with the Institute for Logic, Language and Computation (ILLC) of the University of Amsterdam. Everybody who has been at previous occasions can confirm that these symposia constitute an unforgettable experience.
For the general program 30 papers can be accepted for presentation. Deadline for submission of abstracts: 1 May 2005
For more information , see the symposium website at https://www.illc.uva.nl/Batumi2005/
11-15 September 2005, First International Summer School on Constraint Programming
The first international summer school on constraint programming is organised for PhD students, researchers, and practitioners interested in an extensive introduction to CP concepts such as problem modelling, constraint propagation, global constraints, and search.
Leading experts in the field will give invited tutorial lectures on different aspects of constraint programming along with practical exercises. Lecturers will evaluate the work of the students. This will provide the participants with a useful feedback, and will allow Ph.D. students to use the school to cover some of their coursework.
Registration deadline is July 31 (June 30 for early registration). For more information including a program, see http://slash.math.unipd.it/cp-school-2005/
12-16 September 2005, The Sixth International Tbilisi Symposium
on Language, Logic and Computation, Batumi, Georgia
The sixth Tbilisi Symposium on Language, Logic and Computation will be held in the Black Sea coastal resort Batumi from September 12 to September 16, 2005. The Symposium is organized by the Centre for Language, Logic and Speech of the Tbilisi State University in conjunction with the Institute for Logic, Language and Computation (ILLC) of the University of Amsterdam. Everybody who has been at previous occasions can confirm that these symposia constitute an unforgettable experience.
For the general program 30 papers can be accepted for presentation. Deadline for submission of abstracts: 1 May 2005
For more information , see the symposium website at https://www.illc.uva.nl/Batumi2005/
14-17 September 2005,
International Workshop on First-Order Theorem Proving (FTP 2005)
, Koblenz, Germany
FTP'2005 is the seventh in a series of workshops intended to focus effort on First-Order Theorem Proving as a core theme of Automated Deduction, and to provide a forum for presentation of recent work and discussion of research in progress. It is co-located with the TABLEAUX 2005 conference.
For more information, see http://ftp2005.uni-koblenz.de/.
14-17 September 2005,
Automated Reasoning with Analytic Tableaux and Related Methods
(TABLEAUX 2005)
, Koblenz, Germany
Tableau methods are a convenient formalism for automating deduction in various non-standard logics as well as in classical logic. Areas of application include verification of software and computer systems, deductive databases, knowledge representation and its required inference engines, and system diagnosis. The conference brings together researchers interested in all aspects - theoretical foundations, implementation techniques, systems development and applications - of the mechanization of reasoning with tableaux and related methods.
This event is co-located with the FTP'2005 conference.
For more information, see http://tableaux2005.uni-koblenz.de/
11-15 September 2005, First International Summer School on Constraint Programming
The first international summer school on constraint programming is organised for PhD students, researchers, and practitioners interested in an extensive introduction to CP concepts such as problem modelling, constraint propagation, global constraints, and search.
Leading experts in the field will give invited tutorial lectures on different aspects of constraint programming along with practical exercises. Lecturers will evaluate the work of the students. This will provide the participants with a useful feedback, and will allow Ph.D. students to use the school to cover some of their coursework.
Registration deadline is July 31 (June 30 for early registration). For more information including a program, see http://slash.math.unipd.it/cp-school-2005/
12-16 September 2005, The Sixth International Tbilisi Symposium
on Language, Logic and Computation, Batumi, Georgia
The sixth Tbilisi Symposium on Language, Logic and Computation will be held in the Black Sea coastal resort Batumi from September 12 to September 16, 2005. The Symposium is organized by the Centre for Language, Logic and Speech of the Tbilisi State University in conjunction with the Institute for Logic, Language and Computation (ILLC) of the University of Amsterdam. Everybody who has been at previous occasions can confirm that these symposia constitute an unforgettable experience.
For the general program 30 papers can be accepted for presentation. Deadline for submission of abstracts: 1 May 2005
For more information , see the symposium website at https://www.illc.uva.nl/Batumi2005/
14-17 September 2005,
International Workshop on First-Order Theorem Proving (FTP 2005)
, Koblenz, Germany
FTP'2005 is the seventh in a series of workshops intended to focus effort on First-Order Theorem Proving as a core theme of Automated Deduction, and to provide a forum for presentation of recent work and discussion of research in progress. It is co-located with the TABLEAUX 2005 conference.
For more information, see http://ftp2005.uni-koblenz.de/.
14-17 September 2005,
Automated Reasoning with Analytic Tableaux and Related Methods
(TABLEAUX 2005)
, Koblenz, Germany
Tableau methods are a convenient formalism for automating deduction in various non-standard logics as well as in classical logic. Areas of application include verification of software and computer systems, deductive databases, knowledge representation and its required inference engines, and system diagnosis. The conference brings together researchers interested in all aspects - theoretical foundations, implementation techniques, systems development and applications - of the mechanization of reasoning with tableaux and related methods.
This event is co-located with the FTP'2005 conference.
For more information, see http://tableaux2005.uni-koblenz.de/
12-16 September 2005, The Sixth International Tbilisi Symposium
on Language, Logic and Computation, Batumi, Georgia
The sixth Tbilisi Symposium on Language, Logic and Computation will be held in the Black Sea coastal resort Batumi from September 12 to September 16, 2005. The Symposium is organized by the Centre for Language, Logic and Speech of the Tbilisi State University in conjunction with the Institute for Logic, Language and Computation (ILLC) of the University of Amsterdam. Everybody who has been at previous occasions can confirm that these symposia constitute an unforgettable experience.
For the general program 30 papers can be accepted for presentation. Deadline for submission of abstracts: 1 May 2005
For more information , see the symposium website at https://www.illc.uva.nl/Batumi2005/
14-17 September 2005,
International Workshop on First-Order Theorem Proving (FTP 2005)
, Koblenz, Germany
FTP'2005 is the seventh in a series of workshops intended to focus effort on First-Order Theorem Proving as a core theme of Automated Deduction, and to provide a forum for presentation of recent work and discussion of research in progress. It is co-located with the TABLEAUX 2005 conference.
For more information, see http://ftp2005.uni-koblenz.de/.
14-17 September 2005,
Automated Reasoning with Analytic Tableaux and Related Methods
(TABLEAUX 2005)
, Koblenz, Germany
Tableau methods are a convenient formalism for automating deduction in various non-standard logics as well as in classical logic. Areas of application include verification of software and computer systems, deductive databases, knowledge representation and its required inference engines, and system diagnosis. The conference brings together researchers interested in all aspects - theoretical foundations, implementation techniques, systems development and applications - of the mechanization of reasoning with tableaux and related methods.
This event is co-located with the FTP'2005 conference.
For more information, see http://tableaux2005.uni-koblenz.de/
16 September 2005, TFG-MARA Meeting on Multiagent Resource Allocation
This is the second in a series of meetings on Multiagent Resource Allogation, The meeting is part of the 3rd AgentLink Technical Forum. Topics addressed by the meeting include negotiation and auctions, fair division, preference modelling, protocol design, complexity issues, and simulation. This edition will include an Invited Tutorial on Fairness and Uncertainty, and several contributed talks.
Everybody is welcome to attend, but please note that the registration deadline is September 7th, 2005. If interested, please get in touch with Ulle Endriss (ulle at illc.uva.nl).
For more information and a preliminary programme, visit the MARA website at https://www.illc.uva.nl/~ulle/MARA/.
16 September 2005, ILPS Seminar, Valentin Jijkoun
For abstracts and more information, see http://ilps.science.uva.nl/Seminar/seminar05-2.html#Sep23.
14-17 September 2005,
International Workshop on First-Order Theorem Proving (FTP 2005)
, Koblenz, Germany
FTP'2005 is the seventh in a series of workshops intended to focus effort on First-Order Theorem Proving as a core theme of Automated Deduction, and to provide a forum for presentation of recent work and discussion of research in progress. It is co-located with the TABLEAUX 2005 conference.
For more information, see http://ftp2005.uni-koblenz.de/.
14-17 September 2005,
Automated Reasoning with Analytic Tableaux and Related Methods
(TABLEAUX 2005)
, Koblenz, Germany
Tableau methods are a convenient formalism for automating deduction in various non-standard logics as well as in classical logic. Areas of application include verification of software and computer systems, deductive databases, knowledge representation and its required inference engines, and system diagnosis. The conference brings together researchers interested in all aspects - theoretical foundations, implementation techniques, systems development and applications - of the mechanization of reasoning with tableaux and related methods.
This event is co-located with the FTP'2005 conference.
For more information, see http://tableaux2005.uni-koblenz.de/
19 September 2005, Games in Logic, Language and Computation Workshop
The eleventh episode of the workshop series "Games in Logic, Language and Computation" is a one day workshop in which a strong line-up of international speakers (including Wilfrid Hodges, Michael Wooldridge and Bernard Walliser) will present aspects and applications related to logic, game theory, social science and computer science.
For more information, see http://staff.science.uva.nl/~sotterlo/gllc/
20 September 2005, Logic - Connecting Stanford and ILLC (Update Modelling Seminar)
This informal seminar on current research is open to everyone
For more information, see https://www.illc.uva.nl/lgc/UMS.html
23-25 September 2005, TRENDS IN LOGIC III; International Conference in memoriam A. Mostowski, H. Rasiowa and C. Rauszer, Warsaw (23) and Ruciane-Nida (24-25)
The conference will be held under the auspices of Studia Logica, Fundamenta Informaticae and Polish Association for Logic and Philosophy of Science.
Conference goals: To gather the former students and collaborators of Andrzej Mostowski, Helena Rasiowa and Cecylia Rauszer, to recall their scientific and methodological heritage, to review the impact of their results on the foundations of mathematics and computer science and to discuss future developments of logic and its applications.
For more information: see http://www.studialogica.org/mrr.html or email apt at comp.nus.edu.sg.
23 September 2005, ACLC Seminar, Kriszta Szendroi & Ad Neeleman
For abstracts and more information, see http://www.hum.uva.nl/aclc/object.cfm/
23-25 September 2005, TRENDS IN LOGIC III; International Conference in memoriam A. Mostowski, H. Rasiowa and C. Rauszer, Warsaw (23) and Ruciane-Nida (24-25)
The conference will be held under the auspices of Studia Logica, Fundamenta Informaticae and Polish Association for Logic and Philosophy of Science.
Conference goals: To gather the former students and collaborators of Andrzej Mostowski, Helena Rasiowa and Cecylia Rauszer, to recall their scientific and methodological heritage, to review the impact of their results on the foundations of mathematics and computer science and to discuss future developments of logic and its applications.
For more information: see http://www.studialogica.org/mrr.html or email apt at comp.nus.edu.sg.
23-25 September 2005, TRENDS IN LOGIC III; International Conference in memoriam A. Mostowski, H. Rasiowa and C. Rauszer, Warsaw (23) and Ruciane-Nida (24-25)
The conference will be held under the auspices of Studia Logica, Fundamenta Informaticae and Polish Association for Logic and Philosophy of Science.
Conference goals: To gather the former students and collaborators of Andrzej Mostowski, Helena Rasiowa and Cecylia Rauszer, to recall their scientific and methodological heritage, to review the impact of their results on the foundations of mathematics and computer science and to discuss future developments of logic and its applications.
For more information: see http://www.studialogica.org/mrr.html or email apt at comp.nus.edu.sg.
26 September 2005, Logic Tea, Yuri Gurevich
The Logic Tea homepage can be found at https://www.illc.uva.nl/logic_tea/. For more information, please contact Olivier Roy (oroy at science.uva.nl) or Hartmut Fitz (h.fitz at uva.nl).
30 September 2005, Colloquium on Mathematical Logic, Edwin Mares
For abstracts and more information, see http://staff.science.uva.nl/~bloewe/CML.html