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.
| << June 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 June 2005, DIP Colloquium, Nicholas Asher
For abstracts and more information, see https://www.illc.uva.nl/dip/.
3 June 2005, Colloquium on Mathematical Logic, Joel Hamkins
Room P.014, Euclides Building (P), Plantage Muidergracht 24, Amsterdam
(Tram 9 from Central Station, to Plantage Badlaan.)
For abstracts and more information, see http://www.math.uu.nl/people/jvoosten/seminar.html
7 June 2005, Zuidelijk Interuniversitair Colloquium (ZIC), Lionel Mamane
For abstracts and more information, see http://www.win.tue.nl/zic/ or contact Francien Dechesne (f.dechesne at tue.nl).
8-12 June 2005, CiE 2005: New Computational Paradigms, Euclides building, UvA, Amsterdam
The conference CiE2005 will cover many aspects of "Computability in Europe" (CiE), with a particular focus on New Computational Paradigms. These include prominently higher mathematical models of computation (e.g., infinitary computation or real computation), and connections between computation and physical systems (e.g., quantum computation, neural nets, molecular computation).
There will be tutorials on Quantum Computing (H. Buhrman) and Computable Analysis (K. Weihrauch). Invited Speakers include: Samson Abramsky (Oxford), Joel D. Hamkins (New York NY), Ulrich Kohlenbach (Darmstadt), Jan van Leeuwen (Utrecht), Yuri Matiyasevich (St.Petersburg), Yiannis Moschovakis (Athens / Los Angeles CA), Uwe Schöning (Ulm), Viggo Stoltenberg-Hansen (Uppsala)
For more information, see https://www.illc.uva.nl/CiE/
8-12 June 2005, CiE 2005: New Computational Paradigms, Euclides building, UvA, Amsterdam
The conference CiE2005 will cover many aspects of "Computability in Europe" (CiE), with a particular focus on New Computational Paradigms. These include prominently higher mathematical models of computation (e.g., infinitary computation or real computation), and connections between computation and physical systems (e.g., quantum computation, neural nets, molecular computation).
There will be tutorials on Quantum Computing (H. Buhrman) and Computable Analysis (K. Weihrauch). Invited Speakers include: Samson Abramsky (Oxford), Joel D. Hamkins (New York NY), Ulrich Kohlenbach (Darmstadt), Jan van Leeuwen (Utrecht), Yuri Matiyasevich (St.Petersburg), Yiannis Moschovakis (Athens / Los Angeles CA), Uwe Schöning (Ulm), Viggo Stoltenberg-Hansen (Uppsala)
For more information, see https://www.illc.uva.nl/CiE/
8-12 June 2005, CiE 2005: New Computational Paradigms, Euclides building, UvA, Amsterdam
The conference CiE2005 will cover many aspects of "Computability in Europe" (CiE), with a particular focus on New Computational Paradigms. These include prominently higher mathematical models of computation (e.g., infinitary computation or real computation), and connections between computation and physical systems (e.g., quantum computation, neural nets, molecular computation).
There will be tutorials on Quantum Computing (H. Buhrman) and Computable Analysis (K. Weihrauch). Invited Speakers include: Samson Abramsky (Oxford), Joel D. Hamkins (New York NY), Ulrich Kohlenbach (Darmstadt), Jan van Leeuwen (Utrecht), Yuri Matiyasevich (St.Petersburg), Yiannis Moschovakis (Athens / Los Angeles CA), Uwe Schöning (Ulm), Viggo Stoltenberg-Hansen (Uppsala)
For more information, see https://www.illc.uva.nl/CiE/
10-12 June 2005, TARK X, Singapore
The mission of the bi-annual TARK conferences is to bring together researchers from a wide variety of fields - including Artificial Intelligence, Cryptography, Distributed Computing, Economics and Game Theory, Linguistics, Logic, Philosophy, and Psychology, in order to further our understanding of interdisciplinary issues involving reasoning about rationality and knowledge. Topics of interest include, but are not limited to, semantic models for knowledge, belief, and uncertainty, bounded rationality and resource-bounded reasoning, commonsense epistemic reasoning, epistemic logic, knowledge and action, applications of reasoning about knowledge and other mental states, belief revision, and foundations of multi-agent systems.
TARK X will occur as part of an 8-week program "Uncertainty and Information in Economics", organized by the IMS institute of Singapore. For more information on the programme, see http://www.ims.nus.edu.sg/Programs/uie/. For more information on TARK-X, see the TARK conference site at http://www.comp.nus.edu.sg/~tark05/.
10 June 2005, ILPS Seminar, Nicu Sebe
Joint event with the ISLA colloquium.
For abstracts and more information, see http://lit.science.uva.nl/Seminar/seminar05-1.html#Jun10.
10 June 2005, ACLC Seminar, Wouter Kusters
For abstracts and more information, see http://www.hum.uva.nl/aclc/object.cfm/
8-12 June 2005, CiE 2005: New Computational Paradigms, Euclides building, UvA, Amsterdam
The conference CiE2005 will cover many aspects of "Computability in Europe" (CiE), with a particular focus on New Computational Paradigms. These include prominently higher mathematical models of computation (e.g., infinitary computation or real computation), and connections between computation and physical systems (e.g., quantum computation, neural nets, molecular computation).
There will be tutorials on Quantum Computing (H. Buhrman) and Computable Analysis (K. Weihrauch). Invited Speakers include: Samson Abramsky (Oxford), Joel D. Hamkins (New York NY), Ulrich Kohlenbach (Darmstadt), Jan van Leeuwen (Utrecht), Yuri Matiyasevich (St.Petersburg), Yiannis Moschovakis (Athens / Los Angeles CA), Uwe Schöning (Ulm), Viggo Stoltenberg-Hansen (Uppsala)
For more information, see https://www.illc.uva.nl/CiE/
10-12 June 2005, TARK X, Singapore
The mission of the bi-annual TARK conferences is to bring together researchers from a wide variety of fields - including Artificial Intelligence, Cryptography, Distributed Computing, Economics and Game Theory, Linguistics, Logic, Philosophy, and Psychology, in order to further our understanding of interdisciplinary issues involving reasoning about rationality and knowledge. Topics of interest include, but are not limited to, semantic models for knowledge, belief, and uncertainty, bounded rationality and resource-bounded reasoning, commonsense epistemic reasoning, epistemic logic, knowledge and action, applications of reasoning about knowledge and other mental states, belief revision, and foundations of multi-agent systems.
TARK X will occur as part of an 8-week program "Uncertainty and Information in Economics", organized by the IMS institute of Singapore. For more information on the programme, see http://www.ims.nus.edu.sg/Programs/uie/. For more information on TARK-X, see the TARK conference site at http://www.comp.nus.edu.sg/~tark05/.
8-12 June 2005, CiE 2005: New Computational Paradigms, Euclides building, UvA, Amsterdam
The conference CiE2005 will cover many aspects of "Computability in Europe" (CiE), with a particular focus on New Computational Paradigms. These include prominently higher mathematical models of computation (e.g., infinitary computation or real computation), and connections between computation and physical systems (e.g., quantum computation, neural nets, molecular computation).
There will be tutorials on Quantum Computing (H. Buhrman) and Computable Analysis (K. Weihrauch). Invited Speakers include: Samson Abramsky (Oxford), Joel D. Hamkins (New York NY), Ulrich Kohlenbach (Darmstadt), Jan van Leeuwen (Utrecht), Yuri Matiyasevich (St.Petersburg), Yiannis Moschovakis (Athens / Los Angeles CA), Uwe Schöning (Ulm), Viggo Stoltenberg-Hansen (Uppsala)
For more information, see https://www.illc.uva.nl/CiE/
10-12 June 2005, TARK X, Singapore
The mission of the bi-annual TARK conferences is to bring together researchers from a wide variety of fields - including Artificial Intelligence, Cryptography, Distributed Computing, Economics and Game Theory, Linguistics, Logic, Philosophy, and Psychology, in order to further our understanding of interdisciplinary issues involving reasoning about rationality and knowledge. Topics of interest include, but are not limited to, semantic models for knowledge, belief, and uncertainty, bounded rationality and resource-bounded reasoning, commonsense epistemic reasoning, epistemic logic, knowledge and action, applications of reasoning about knowledge and other mental states, belief revision, and foundations of multi-agent systems.
TARK X will occur as part of an 8-week program "Uncertainty and Information in Economics", organized by the IMS institute of Singapore. For more information on the programme, see http://www.ims.nus.edu.sg/Programs/uie/. For more information on TARK-X, see the TARK conference site at http://www.comp.nus.edu.sg/~tark05/.
15-18 June 2005, Algebraic and Topological Methods in Non-Classical Logics II, Barcelona, Spain
This meeting shares the goals of the Tbilisi conference with the same title, held in July 2003, as well as those of the Patras conference on many-valued logics and residuated structures, held in June 2004.
In recent years the interest in non-classical logics has been growing. Motivations from computer science, natural language reasoning and linguistics have played a significant role in this development. The semantic study of non-classical logics is a field where no single overarching paradigm has been established, and where a variety of techniques are currently being explored. An important goal of this meeting is to promote the cross-fertilization between the fundamental ideas connected with these approaches. Thus, we aim to bring together researchers from various fields of non-classical logics and applications, as well as from lattice theory, universal algebra, category theory and general topology, in order to foster collaboration and further research.
For more information, an online registration form and a preliminary program, see http://www.mat.ub.es/~logica/meeting2005/.
15-18 June 2005, Algebraic and Topological Methods in Non-Classical Logics II, Barcelona, Spain
This meeting shares the goals of the Tbilisi conference with the same title, held in July 2003, as well as those of the Patras conference on many-valued logics and residuated structures, held in June 2004.
In recent years the interest in non-classical logics has been growing. Motivations from computer science, natural language reasoning and linguistics have played a significant role in this development. The semantic study of non-classical logics is a field where no single overarching paradigm has been established, and where a variety of techniques are currently being explored. An important goal of this meeting is to promote the cross-fertilization between the fundamental ideas connected with these approaches. Thus, we aim to bring together researchers from various fields of non-classical logics and applications, as well as from lattice theory, universal algebra, category theory and general topology, in order to foster collaboration and further research.
For more information, an online registration form and a preliminary program, see http://www.mat.ub.es/~logica/meeting2005/.
15-18 June 2005, Algebraic and Topological Methods in Non-Classical Logics II, Barcelona, Spain
This meeting shares the goals of the Tbilisi conference with the same title, held in July 2003, as well as those of the Patras conference on many-valued logics and residuated structures, held in June 2004.
In recent years the interest in non-classical logics has been growing. Motivations from computer science, natural language reasoning and linguistics have played a significant role in this development. The semantic study of non-classical logics is a field where no single overarching paradigm has been established, and where a variety of techniques are currently being explored. An important goal of this meeting is to promote the cross-fertilization between the fundamental ideas connected with these approaches. Thus, we aim to bring together researchers from various fields of non-classical logics and applications, as well as from lattice theory, universal algebra, category theory and general topology, in order to foster collaboration and further research.
For more information, an online registration form and a preliminary program, see http://www.mat.ub.es/~logica/meeting2005/.
17 June 2005, DIP Colloquium, Cleo Condoravdi
For abstracts and more information, see https://www.illc.uva.nl/dip/.
15-18 June 2005, Algebraic and Topological Methods in Non-Classical Logics II, Barcelona, Spain
This meeting shares the goals of the Tbilisi conference with the same title, held in July 2003, as well as those of the Patras conference on many-valued logics and residuated structures, held in June 2004.
In recent years the interest in non-classical logics has been growing. Motivations from computer science, natural language reasoning and linguistics have played a significant role in this development. The semantic study of non-classical logics is a field where no single overarching paradigm has been established, and where a variety of techniques are currently being explored. An important goal of this meeting is to promote the cross-fertilization between the fundamental ideas connected with these approaches. Thus, we aim to bring together researchers from various fields of non-classical logics and applications, as well as from lattice theory, universal algebra, category theory and general topology, in order to foster collaboration and further research.
For more information, an online registration form and a preliminary program, see http://www.mat.ub.es/~logica/meeting2005/.
20-24 June 2005, Logica 2005, Hejnice, Czech Republic
This event, organized by The Institute of Philosophy of the Academy of Sciences of the Czech Republic, is the nineteenth in a series of annual international symposia devoted to logic. The invited speakers are: M. Detlefsen, Y. Gurevich, G. Priest, and H. Rott.
For more information, see http://www.flu.cas.cz/Logica/Aconf/log2005.html
20-24 June 2005, Logica 2005, Hejnice, Czech Republic
This event, organized by The Institute of Philosophy of the Academy of Sciences of the Czech Republic, is the nineteenth in a series of annual international symposia devoted to logic. The invited speakers are: M. Detlefsen, Y. Gurevich, G. Priest, and H. Rott.
For more information, see http://www.flu.cas.cz/Logica/Aconf/log2005.html
20-24 June 2005, Logica 2005, Hejnice, Czech Republic
This event, organized by The Institute of Philosophy of the Academy of Sciences of the Czech Republic, is the nineteenth in a series of annual international symposia devoted to logic. The invited speakers are: M. Detlefsen, Y. Gurevich, G. Priest, and H. Rott.
For more information, see http://www.flu.cas.cz/Logica/Aconf/log2005.html
20-24 June 2005, Logica 2005, Hejnice, Czech Republic
This event, organized by The Institute of Philosophy of the Academy of Sciences of the Czech Republic, is the nineteenth in a series of annual international symposia devoted to logic. The invited speakers are: M. Detlefsen, Y. Gurevich, G. Priest, and H. Rott.
For more information, see http://www.flu.cas.cz/Logica/Aconf/log2005.html
20-24 June 2005, Logica 2005, Hejnice, Czech Republic
This event, organized by The Institute of Philosophy of the Academy of Sciences of the Czech Republic, is the nineteenth in a series of annual international symposia devoted to logic. The invited speakers are: M. Detlefsen, Y. Gurevich, G. Priest, and H. Rott.
For more information, see http://www.flu.cas.cz/Logica/Aconf/log2005.html
24 June 2005, ACLC Seminar, Joep Leerssen
For abstracts and more information, see http://www.hum.uva.nl/aclc/object.cfm/
25 June 2005, First Paris-Amsterdam Logic Meeting of Young Researchers (PALMYR)
Both Paris and Amsterdam host a lively group of young researchers in logic, language and theories of rationality. It's time to bring them together!
The PALMYR will be a one day workshop. Young researchers from Paris will give presentations about their current interests; each presentation being commented by a fellow researcher from Amsterdam. There will be a mirror event in Paris next fall, where Amsterdam young researchers will give presentations and Paris colleagues will comment.
For more information, see https://www.illc.uva.nl/PALMYR/, or contact the organizers at oroy at science.uva.nl or isidora at stanford.edu.
27-28 June 2005, Workshop Spanish project "C@lculus"
Workshop of the Spanish project "C@lculus" (project leader: Maria Manzano (Un. de Salamanca), ILLC associate: Dick de Jongh).
For a full project description, a program and abstracts, see https://www.illc.uva.nl/NewsandEvents/c@lculus.html.
27-28 June 2005, Workshop Spanish project "C@lculus"
Workshop of the Spanish project "C@lculus" (project leader: Maria Manzano (Un. de Salamanca), ILLC associate: Dick de Jongh).
For a full project description, a program and abstracts, see https://www.illc.uva.nl/NewsandEvents/c@lculus.html.