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 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
|
|
5-7 December 2007, "Mathematical Aspects of Computer and Information Sciences" MACIS 2007, Paris, France
Mathematical Aspects of Computer and Information Sciences (MACIS) is a new series of conferences where foundational research on theoretical and practical problems of mathematics for computing and information processing may be presented and discussed. MACIS also addresses experimental and case studies, scientific and engineering computation, design and implementation of algorithms and software systems, and applications of mathematical methods and tools to outstanding and emerging problems in applied computer and information sciences.
Each conference focuses on two or three themes. The themes for MACIS 2007 are: Computational Geometry and Computer Aided Geometric Design, Polynomial System Solving and Algorithms and Complexity
For more information, see http://www-spiral.lip6.fr/MACIS2007/
Potential participants of MACIS 2007 are invited to submit extended abstracts (3-4 pages) or full papers describing their work to be presented at the conference. Deadline for extended abstract submission: November 1, 2007
1-4 November 2007, 18th Novembertagug on History, Philosophy and Didactics of Mathematics, Bonn, Germany
The meeting aims at bringing together young researchers in the history, philosophy and didactics of mathematics or related fields from all over Europe, especially PhD students and PostDocs, to exchange their results and discuss work in progress. This year's theme, Mathematical practice & development throughout history, offers a wide scope for contributions, providing the opportunity of interaction between historians, philosophers, and researchers in the didactics of mathematics. It allows for a variety of conceptions of mathematics, and for a combination of different research methods used in history, philosophy and didactics.
Our invited guest speaker will be Leo Corry from the University of Tel Aviv.
The deadline for participant registration is September 1st. For more information, see http://www.novembertagung.uni-bonn.de/.
1 November 2007, Language Change
For more information, see https://www.illc.uva.nl/dip/events.html#hedde-workshop or contact Zeijlstra at uva.nl
1-4 November 2007, 18th Novembertagug on History, Philosophy and Didactics of Mathematics, Bonn, Germany
The meeting aims at bringing together young researchers in the history, philosophy and didactics of mathematics or related fields from all over Europe, especially PhD students and PostDocs, to exchange their results and discuss work in progress. This year's theme, Mathematical practice & development throughout history, offers a wide scope for contributions, providing the opportunity of interaction between historians, philosophers, and researchers in the didactics of mathematics. It allows for a variety of conceptions of mathematics, and for a combination of different research methods used in history, philosophy and didactics.
Our invited guest speaker will be Leo Corry from the University of Tel Aviv.
The deadline for participant registration is September 1st. For more information, see http://www.novembertagung.uni-bonn.de/.
1-4 November 2007, 18th Novembertagug on History, Philosophy and Didactics of Mathematics, Bonn, Germany
The meeting aims at bringing together young researchers in the history, philosophy and didactics of mathematics or related fields from all over Europe, especially PhD students and PostDocs, to exchange their results and discuss work in progress. This year's theme, Mathematical practice & development throughout history, offers a wide scope for contributions, providing the opportunity of interaction between historians, philosophers, and researchers in the didactics of mathematics. It allows for a variety of conceptions of mathematics, and for a combination of different research methods used in history, philosophy and didactics.
Our invited guest speaker will be Leo Corry from the University of Tel Aviv.
The deadline for participant registration is September 1st. For more information, see http://www.novembertagung.uni-bonn.de/.
3-5 November 2007, Infinity in Logic and Computation (ILC07), Cape Town, South Africa
The conference on Infinity in Logic & Computation is the first conference in South Africa that focuses on infinity in automata theory, logic, computability and verification. One purpose of this conference is to catalyse new interactions among local and international researchers and to expose postgraduate students to recent research trends in these fields.
The conference will be organised at the University of Cape Town co-located with the 50th Annual Congress of the South African Mathematical Society (SAMS) that takes place from 31 October until 2 November 2007. We plan to organise a summer school on Logic & Computation directly following the conference from 6-9 November 2007. This summer school is intended for postgraduate students and other interested participants.
For more information, see http://www.mth.uct.ac.za/FACS-Lab/ILC07/
3 November 2007, Recent Developments in the Semantics of Conditional Sentences
For more information, see https://www.illc.uva.nl/dip/events.html#katrin-workshop or contact k.schulz at uva.nl
1-4 November 2007, 18th Novembertagug on History, Philosophy and Didactics of Mathematics, Bonn, Germany
The meeting aims at bringing together young researchers in the history, philosophy and didactics of mathematics or related fields from all over Europe, especially PhD students and PostDocs, to exchange their results and discuss work in progress. This year's theme, Mathematical practice & development throughout history, offers a wide scope for contributions, providing the opportunity of interaction between historians, philosophers, and researchers in the didactics of mathematics. It allows for a variety of conceptions of mathematics, and for a combination of different research methods used in history, philosophy and didactics.
Our invited guest speaker will be Leo Corry from the University of Tel Aviv.
The deadline for participant registration is September 1st. For more information, see http://www.novembertagung.uni-bonn.de/.
3-5 November 2007, Infinity in Logic and Computation (ILC07), Cape Town, South Africa
The conference on Infinity in Logic & Computation is the first conference in South Africa that focuses on infinity in automata theory, logic, computability and verification. One purpose of this conference is to catalyse new interactions among local and international researchers and to expose postgraduate students to recent research trends in these fields.
The conference will be organised at the University of Cape Town co-located with the 50th Annual Congress of the South African Mathematical Society (SAMS) that takes place from 31 October until 2 November 2007. We plan to organise a summer school on Logic & Computation directly following the conference from 6-9 November 2007. This summer school is intended for postgraduate students and other interested participants.
For more information, see http://www.mth.uct.ac.za/FACS-Lab/ILC07/
12-18 May 2008, 7th International Conference on Autonomous Agents and Multiagent Systems (AAMAS-2008), Estoril, Portugal
AAMAS is the leading scientific conference for research in autonomous agents and multiagent systems. The aim of the conference is to provide a single, high-profile, internationally respected archival forum for research in all aspects of the theory and practice of autonomous agents and multi-agent systems.
For more information, see http://gaips.inesc-id.pt/aamas2008/.
AAMAS-2008 encourages the submission of theoretical, experimental, methodological, engineering and application papers across a broad range of agent topics. A list of topics is available at the conference website. Deadline for submissions is October 23, 2007.
3-5 November 2007, Infinity in Logic and Computation (ILC07), Cape Town, South Africa
The conference on Infinity in Logic & Computation is the first conference in South Africa that focuses on infinity in automata theory, logic, computability and verification. One purpose of this conference is to catalyse new interactions among local and international researchers and to expose postgraduate students to recent research trends in these fields.
The conference will be organised at the University of Cape Town co-located with the 50th Annual Congress of the South African Mathematical Society (SAMS) that takes place from 31 October until 2 November 2007. We plan to organise a summer school on Logic & Computation directly following the conference from 6-9 November 2007. This summer school is intended for postgraduate students and other interested participants.
For more information, see http://www.mth.uct.ac.za/FACS-Lab/ILC07/
8 November 2007, "A Day of Mathematical Logic", ILLC, Amsterdam, The Netherlands
A Day of Mathematical Logic satellite meeting to "Aesthetics and Mathematics"
Speakers:
Wilfred Hodges (Queen Mary)
Roman Kossak (City Unversity New York)
Ieke Moerdijk (University Utrecht)
Bill Tait (University of Chicago)
Albert Visser (University Utrecht)
Hugh Woodin (University of California, Berkeley)
Boris Zilber (University of Oxford)
For more information, see http://www.phil.uu.nl/~iemhoff/beauty.html
8-9 November 2007, RUC-ILLC Workshop on Deontic Logic, Roskilde University, Denmark
Roskilde University (Denmark) and ILLC would like to invite researchers and students to Denmark for a two-day workshop on deontic logic. The workshop will consist of presentations by PhD students as well as lectures by leading figures in the field.
Amongst the invited speakers are John F. Horty (University of Maryland), Kai von Fintel (MIT), Frank Veltman (ILLC) and Eric Pacuit (Stanford).
Registration deadline: 25 October 2007. For more information, see http://akira.ruc.dk/~mamobe/deonticworkshop or contact Martin Mose Bentzen at mamobe at ruc.dk.
8-9 November 2007, RUC-ILLC Workshop on Deontic Logic, Roskilde University, Denmark
Roskilde University (Denmark) and ILLC would like to invite researchers and students to Denmark for a two-day workshop on deontic logic. The workshop will consist of presentations by PhD students as well as lectures by leading figures in the field.
Amongst the invited speakers are John F. Horty (University of Maryland), Kai von Fintel (MIT), Frank Veltman (ILLC) and Eric Pacuit (Stanford).
Registration deadline: 25 October 2007. For more information, see http://akira.ruc.dk/~mamobe/deonticworkshop or contact Martin Mose Bentzen at mamobe at ruc.dk.
9-10 November 2007, Aesthetics and Mathematics, Utrecht, The Netherlands
"The beauty of a theorem is an objective property on a par with its truth." - Gian-Carlo Rota
For more information, see http://www.phil.uu.nl/~iemhoff/beauty.html or contact Jipke.Detrie at phil.uu.nl (for practical info) or Juliette.Kennedy at phil.uu.nl (otherwise). For reservations for the conference dinner on Friday 9 November, 7pm, please mail Jipke Detrie.
9-11 November 2007, 2007 Australasian Association for Logic Conference, Melbourne, Australia
The 2007 Australasian Association for Logic Conference will be held at the University of Melbourne from Friday November 9 to Sunday November 11.
For more information, see http://www.cs.otago.ac.nz/staffpriv/hans/aal/
25-29 April 2008, Theory and Applications of Models of Computation (TAMS 2008), Xi'an, China
The three main themes of the conference TAMC08 (the 5th in an annual series) will continue to be Computability, Complexity, and Algorithms. It aims to bring together researchers with an interest in theoretical computer science, algorithmic mathematics, and applications to the physical sciences.
For more information, see http://ictt.xidian.edu.cn/tamc2008/
The Programme Committee cordially invites all researchers to submit their papers for presentation. Submission deadline is Nov. 10, 2007.
9-10 November 2007, Aesthetics and Mathematics, Utrecht, The Netherlands
"The beauty of a theorem is an objective property on a par with its truth." - Gian-Carlo Rota
For more information, see http://www.phil.uu.nl/~iemhoff/beauty.html or contact Jipke.Detrie at phil.uu.nl (for practical info) or Juliette.Kennedy at phil.uu.nl (otherwise). For reservations for the conference dinner on Friday 9 November, 7pm, please mail Jipke Detrie.
9-11 November 2007, 2007 Australasian Association for Logic Conference, Melbourne, Australia
The 2007 Australasian Association for Logic Conference will be held at the University of Melbourne from Friday November 9 to Sunday November 11.
For more information, see http://www.cs.otago.ac.nz/staffpriv/hans/aal/
9-11 November 2007, 2007 Australasian Association for Logic Conference, Melbourne, Australia
The 2007 Australasian Association for Logic Conference will be held at the University of Melbourne from Friday November 9 to Sunday November 11.
For more information, see http://www.cs.otago.ac.nz/staffpriv/hans/aal/
10-12 April 2008, Sydney-Tilburg Conference on "Reduction and the Special Sciences", Tilburg
Science presents us with a variety of accounts of the world. While some of these accounts posit a deeper theoretical structure and fundamental entities, others do not. But which of these accounts is the right one? How should science conceptualize the world? And what is the relation between the various accounts?
Opinions on these issues diverge wildly in philosophy of science. At one extreme are reductionists who argue that higher-level theories should, in principle, be incorporated in or eliminated by the basic level theory. Higher-level theories do not ultimately exhibit conceptual integrity or provide genuine explanations. At the other extreme are pluralists who take higher levels of description and explanation seriously and argue for their independence and indispensability. Our goal in this conference is to bring together representatives from as many viewpoints as possible in order to advance our understanding of this problem. We invite case studies from the natural, social and behavioural sciences as well as discussions of philosophical models of intertheoretic relations.
For more information, see http://www.tilburguniversity.nl/faculties/humanities/tilps/RSS2008/
We invite submissions of papers of up to 3000 words by 15 November 2007. Decisions will be made by 15 January 2008.
22 november 2007, Spontaneity in Science and the Arts., KNAW, Kloveniersburgwal 29, Amsterdam, The Netherlands
Speakers include:
Graham Birtwistle - Lecturer History of Arts, Vrije Universiteit Amsterdam
Jos Joosten - Professor Dutch Literature, Radboud Universiteit Nijmegen
Robbert Dijkgraaf - universiteitshoogleraar Mathematical Physics, Universiteit van Amsterdam
Peter Desain - Lecturer Neuroscience, Nijmeegs Institute for Cognition and Information (NICI), Radboud Universiteit Nijmegen
For more information, see http://www.knaw.nl/cfdata/agenda/agenda_detail.cfm?agenda__id=1114 or contact suzanne.wagenaar at bureau.knaw.nl.
13-19 March 2008, 2nd International Conference on Language and Automata Theory and Applications (LATA 2008), Tarragona, Spain
LATA is a yearly conference in Computer Science and it intends to become a major yearly conference in theoretical computer science and its applications. As linked to the International PhD School in Formal Languages and Applications that is being developed at the host institute since 2001, it will reserve significant room for young computer scientists at the beginning of their career. LATA will aim at attracting scholars from both classical theory fields and application areas (bioinformatics, systems biology, language technology, artificial intelligence, etc.).
Deadline submission of papers (extended): 23-11-2007. For more information, see http://grammars.grlmc.com/LATA2008/ or email carlos.martin at urv.cat
29-30 November 2007, 5th Workshop on "Methods for Modalities" (M4M-5), Cachan, France
The workshop "Methods for Modalities" (M4M) aims to bring together researchers interested in developing algorithms, verification methods and tools based on modal logics. Here the term "modal logics" is conceived broadly, including temporal logic, description logic, guarded fragments, conditional logic, temporal and hybrid logic, etc.
To stimulate interaction and transfer of expertise, M4M will feature a number of invited talks by leading scientists, research presentations aimed at highlighting new developments, and submissions of system demonstrations.
For more information, see http://m4m.loria.fr/M4M5
29-30 November 2007, 5th Workshop on "Methods for Modalities" (M4M-5), Cachan, France
The workshop "Methods for Modalities" (M4M) aims to bring together researchers interested in developing algorithms, verification methods and tools based on modal logics. Here the term "modal logics" is conceived broadly, including temporal logic, description logic, guarded fragments, conditional logic, temporal and hybrid logic, etc.
To stimulate interaction and transfer of expertise, M4M will feature a number of invited talks by leading scientists, research presentations aimed at highlighting new developments, and submissions of system demonstrations.
For more information, see http://m4m.loria.fr/M4M5