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 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
|
26 March - 4 April 2005,
1st World Congress and School on Universal Logic (UNILOG-2005)
, Montreux - Switzerland
Many conferences have been organized on specific techniques (combination of logics, labelled deductive systems, tableaux, etc.) or on some specific classes of logics (nonmonotonic logics, many-valued logics, paraconsistent logics, etc.). The idea of this event is to put together these various activities in order to promote interaction and to provide access of these different fields to the non-specialist. The school is intended for advanced students and young researchers.
Invited speakers of the congress will include A.Avron, D.Batens, J.Corcoran, M.Dunn, D.Gabbay, R.Jansana, A.Koslow, V.de Paiva, K.Segerberg.
Contributed papers for the congress can be submitted before October 30, 2004. For more information, see here or the website at http://www.uni-log.org.
1 April 2005, DIP Colloquium, Tatjana Heyde-Zybatow
For abstracts and more information, see https://www.illc.uva.nl/dip/.
26 March - 4 April 2005,
1st World Congress and School on Universal Logic (UNILOG-2005)
, Montreux - Switzerland
Many conferences have been organized on specific techniques (combination of logics, labelled deductive systems, tableaux, etc.) or on some specific classes of logics (nonmonotonic logics, many-valued logics, paraconsistent logics, etc.). The idea of this event is to put together these various activities in order to promote interaction and to provide access of these different fields to the non-specialist. The school is intended for advanced students and young researchers.
Invited speakers of the congress will include A.Avron, D.Batens, J.Corcoran, M.Dunn, D.Gabbay, R.Jansana, A.Koslow, V.de Paiva, K.Segerberg.
Contributed papers for the congress can be submitted before October 30, 2004. For more information, see here or the website at http://www.uni-log.org.
2-10 April 2005, ETAPS 2005, Edinburgh, Scotland, UK
The European Joint Conferences on Theory and Practice of Software (ETAPS) is the primary European forum for academic and industrial researchers working on topics related to Software Science. It is a confederation of five main conferences:
- FOSSACS 2005: Foundations of Software Science and Computation Structures
- FASE 2005: Fundamental Approaches to Software Engineering
- ESOP 2005: European Symposium on Programming
- CC 2005: International Conference on Compiler Construction
- TACAS 2005: Tools and Algorithms for the Construction and Analysis of Systems
a number of satellite workshops, and other events.
For more information, see the ETAPS website at http://www.etaps05.inf.ed.ac.uk/
26 March - 4 April 2005,
1st World Congress and School on Universal Logic (UNILOG-2005)
, Montreux - Switzerland
Many conferences have been organized on specific techniques (combination of logics, labelled deductive systems, tableaux, etc.) or on some specific classes of logics (nonmonotonic logics, many-valued logics, paraconsistent logics, etc.). The idea of this event is to put together these various activities in order to promote interaction and to provide access of these different fields to the non-specialist. The school is intended for advanced students and young researchers.
Invited speakers of the congress will include A.Avron, D.Batens, J.Corcoran, M.Dunn, D.Gabbay, R.Jansana, A.Koslow, V.de Paiva, K.Segerberg.
Contributed papers for the congress can be submitted before October 30, 2004. For more information, see here or the website at http://www.uni-log.org.
2-10 April 2005, ETAPS 2005, Edinburgh, Scotland, UK
The European Joint Conferences on Theory and Practice of Software (ETAPS) is the primary European forum for academic and industrial researchers working on topics related to Software Science. It is a confederation of five main conferences:
- FOSSACS 2005: Foundations of Software Science and Computation Structures
- FASE 2005: Fundamental Approaches to Software Engineering
- ESOP 2005: European Symposium on Programming
- CC 2005: International Conference on Compiler Construction
- TACAS 2005: Tools and Algorithms for the Construction and Analysis of Systems
a number of satellite workshops, and other events.
For more information, see the ETAPS website at http://www.etaps05.inf.ed.ac.uk/
2-10 April 2005, ETAPS 2005, Edinburgh, Scotland, UK
The European Joint Conferences on Theory and Practice of Software (ETAPS) is the primary European forum for academic and industrial researchers working on topics related to Software Science. It is a confederation of five main conferences:
- FOSSACS 2005: Foundations of Software Science and Computation Structures
- FASE 2005: Fundamental Approaches to Software Engineering
- ESOP 2005: European Symposium on Programming
- CC 2005: International Conference on Compiler Construction
- TACAS 2005: Tools and Algorithms for the Construction and Analysis of Systems
a number of satellite workshops, and other events.
For more information, see the ETAPS website at http://www.etaps05.inf.ed.ac.uk/
4 April 2005, Logic Tea, D.C. McCarty, The Logic Program, Indiana University
Paul du Bois-Reymond was a noted mathematician and philosopher of the second half of the 19th Century, publishing on differential equations, analysis and the foundations of mathematics. His magnum opus, "General Function Theory", appeared in 1882 and contained what its author claimed to be a demonstration that mathematics is absolutely incomplete, that is, that there are mathematically meaningful and significant propositions A such that neither A nor not-A will ever be demonstrated by mathematicians. His arguments for this claim are not based on the idea of a formal system but on a detailed analysis of mathematical cognition. We will describe that analysis and assess for their cogency du Bois-Reymond's incompleteness arguments.
The Logic Tea homepage can be found at https://www.illc.uva.nl/logic_tea/. For more information, please contact Merlijn Sevenster (sevenstr at science.uva.nl) or Hartmut Fitz (hfitz at hum.uva.nl).
2-10 April 2005, ETAPS 2005, Edinburgh, Scotland, UK
The European Joint Conferences on Theory and Practice of Software (ETAPS) is the primary European forum for academic and industrial researchers working on topics related to Software Science. It is a confederation of five main conferences:
- FOSSACS 2005: Foundations of Software Science and Computation Structures
- FASE 2005: Fundamental Approaches to Software Engineering
- ESOP 2005: European Symposium on Programming
- CC 2005: International Conference on Compiler Construction
- TACAS 2005: Tools and Algorithms for the Construction and Analysis of Systems
a number of satellite workshops, and other events.
For more information, see the ETAPS website at http://www.etaps05.inf.ed.ac.uk/
5 April 2005, Statistical Inference, the Problem of Induction, and the Realism Debate, Jan-Willem Romeyn
Science infers general statements and predictions from limited bodies of empirical evidence, and it therefore faces the problem of induction. Statistics plays an important role in how science solves this problem. In my talk I first make precise what role it plays, and then investigate the extent to which, in this role, it can support the realist ambitions of science.
The first task involves a critical analysis of the logical empiricist views of Carnap, and a reformulation of inductive inferences as Bayesian logical arguments. The second involves a reversed application of De Finetti's representation theorem, and a rather delicate mix of his strict subjectivism with the frequentist theory. However, these reform measures do not yet go far enough. In the last part of the talk will argue that scientists have good reasons for employing underdetermined statistical models.
For more information, please contact j.w.romeijn at uva.nl
5 April 2005, Logic Tea, Rosja Mastop
The Logic Tea homepage can be found at https://www.illc.uva.nl/logic_tea/. For more information, please contact Merlijn Sevenster (sevenstr at science.uva.nl) or Hartmut Fitz (hfitz at hum.uva.nl).
2-10 April 2005, ETAPS 2005, Edinburgh, Scotland, UK
The European Joint Conferences on Theory and Practice of Software (ETAPS) is the primary European forum for academic and industrial researchers working on topics related to Software Science. It is a confederation of five main conferences:
- FOSSACS 2005: Foundations of Software Science and Computation Structures
- FASE 2005: Fundamental Approaches to Software Engineering
- ESOP 2005: European Symposium on Programming
- CC 2005: International Conference on Compiler Construction
- TACAS 2005: Tools and Algorithms for the Construction and Analysis of Systems
a number of satellite workshops, and other events.
For more information, see the ETAPS website at http://www.etaps05.inf.ed.ac.uk/
2-10 April 2005, ETAPS 2005, Edinburgh, Scotland, UK
The European Joint Conferences on Theory and Practice of Software (ETAPS) is the primary European forum for academic and industrial researchers working on topics related to Software Science. It is a confederation of five main conferences:
- FOSSACS 2005: Foundations of Software Science and Computation Structures
- FASE 2005: Fundamental Approaches to Software Engineering
- ESOP 2005: European Symposium on Programming
- CC 2005: International Conference on Compiler Construction
- TACAS 2005: Tools and Algorithms for the Construction and Analysis of Systems
a number of satellite workshops, and other events.
For more information, see the ETAPS website at http://www.etaps05.inf.ed.ac.uk/
2-10 April 2005, ETAPS 2005, Edinburgh, Scotland, UK
The European Joint Conferences on Theory and Practice of Software (ETAPS) is the primary European forum for academic and industrial researchers working on topics related to Software Science. It is a confederation of five main conferences:
- FOSSACS 2005: Foundations of Software Science and Computation Structures
- FASE 2005: Fundamental Approaches to Software Engineering
- ESOP 2005: European Symposium on Programming
- CC 2005: International Conference on Compiler Construction
- TACAS 2005: Tools and Algorithms for the Construction and Analysis of Systems
a number of satellite workshops, and other events.
For more information, see the ETAPS website at http://www.etaps05.inf.ed.ac.uk/
8 April 2005, ACLC Seminar, Lisa Lim
For abstracts and more information, see http://www.hum.uva.nl/aclc/object.cfm/
8 April 2005, Colloquium on Mathematical Logic, D.C. McCarty, The Logic Program, Indiana University
(Bus 12 from Utrecht Central Station).
Paul du Bois-Reymond was a noted mathematician and philosopher of the second half of the 19th Century, publishing on differential equations, analysis and the foundations of mathematics. His magnum opus, "General Function Theory", appeared in 1882 and contained what its author claimed to be a demonstration that mathematics is absolutely incomplete, that is, that there are mathematically meaningful and significant propositions A such that neither A nor not-A will ever be demonstrated by mathematicians. His arguments for this claim are not based on the idea of a formal system but on a detailed analysis of mathematical cognition. We will describe that analysis and assess for their cogency du Bois-Reymond's incompleteness arguments.
For abstracts and more information, see http://www.math.uu.nl/people/jvoosten/seminar.html
2-10 April 2005, ETAPS 2005, Edinburgh, Scotland, UK
The European Joint Conferences on Theory and Practice of Software (ETAPS) is the primary European forum for academic and industrial researchers working on topics related to Software Science. It is a confederation of five main conferences:
- FOSSACS 2005: Foundations of Software Science and Computation Structures
- FASE 2005: Fundamental Approaches to Software Engineering
- ESOP 2005: European Symposium on Programming
- CC 2005: International Conference on Compiler Construction
- TACAS 2005: Tools and Algorithms for the Construction and Analysis of Systems
a number of satellite workshops, and other events.
For more information, see the ETAPS website at http://www.etaps05.inf.ed.ac.uk/
2-10 April 2005, ETAPS 2005, Edinburgh, Scotland, UK
The European Joint Conferences on Theory and Practice of Software (ETAPS) is the primary European forum for academic and industrial researchers working on topics related to Software Science. It is a confederation of five main conferences:
- FOSSACS 2005: Foundations of Software Science and Computation Structures
- FASE 2005: Fundamental Approaches to Software Engineering
- ESOP 2005: European Symposium on Programming
- CC 2005: International Conference on Compiler Construction
- TACAS 2005: Tools and Algorithms for the Construction and Analysis of Systems
a number of satellite workshops, and other events.
For more information, see the ETAPS website at http://www.etaps05.inf.ed.ac.uk/
12 April 2005 (), Logic Tea, Balder ten Cate
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 (hfitz at hum.uva.nl).
14 April 2005, Colloquium Muziekwetenschap, prof. dr Marc Leman (Universiteit Gent)
This talk is about the first chapter of a book which the author is currently finishing. The chapter introduces the problem of music signification and aims at analyzing the main themes of a new theory of music mediation. First, he introduces the distinction between direct involvement with music and description of this involvement. In both cases, it seems that subjective engagement with music is important. In a second section, the question is asked to what extent a subjectivist approach can contribute to a theory of music mediation. The position of subjectivism, however, is difficult to maintain because of its weak philosophical foundations in skepticism. Therefore, an alternative account, based on human action, is proposed. Finally, this alternative is considered in view of three foundations, namely linguistic descriptions, corporeal descriptions and the call for technology-mediated access to music.
Marc Leman is hoogleraar aan de afdeling Musicologie van de Vakgroep Kunst-, Muziek-, en Theaterwetenschappen van de Universiteit Gent (UGent). Hij is vakgroepvoorzitter en directeur van het onderzoeksinstituut IPEM. Hij heeft het statuut van onderzoeks-professor in de Systematische Musicologie, en zijn onderzoeksactiviteiten omvatten de methodologische en epistemologische grondslagen van de systematische muziekwetenshap.
For more information, see http://www.musicology.nl/
15 April 2005, DIP Colloquium, Jelle Gerbrandy
For abstracts and more information, see https://www.illc.uva.nl/dip/.
22 April 2005, ILPS Seminar, Ronny Lempel
(Israel)
For abstracts and more information, see http://lit.science.uva.nl/Seminar/seminar05-1.html#Apr22.
22 April 2005, ACLC Seminar, Silke Hamann
For abstracts and more information, see http://www.hum.uva.nl/aclc/object.cfm/
22 April 2005, DIP Colloquium, Simon Kirby
For abstracts and more information, see https://www.illc.uva.nl/dip/.
26 April 2005, Zuidelijk Interuniversitair Colloquium (ZIC), J-J. Ch. Meyer
()
For abstracts and more information, see http://www.win.tue.nl/zic/ or contact Georgi Jojgov (G.I.Jojgov at tue.nl).
26 April 2005 (), Logic Tea, Chantal Bax
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 (hfitz at hum.uva.nl).
28-30 April 2005, LACL 2005: Fifth International Conference on
Logical Aspects of Computational Linguistics, Bordeaux, France
LACL-2005 is the 5th edition of a series of international conferences on logical and formal methods in computational linguistics. It addresses in particular the use of proof theoretic and model theoretic methods for describing natural language syntax and semantics, as well as the implementation of natural language processing software relying on such models.
For more information, an online registration form and a preliminary program, see http://lacl.labri.fr/
28 April 2005, Colloquium on Mathematical Logic, C. Tapp
+ theologians of his time
(Bus 11 from Utrecht Central Station)
For abstracts and more information, see http://www.math.uu.nl/people/jvoosten/seminar.html
28-30 April 2005, LACL 2005: Fifth International Conference on
Logical Aspects of Computational Linguistics, Bordeaux, France
LACL-2005 is the 5th edition of a series of international conferences on logical and formal methods in computational linguistics. It addresses in particular the use of proof theoretic and model theoretic methods for describing natural language syntax and semantics, as well as the implementation of natural language processing software relying on such models.
For more information, an online registration form and a preliminary program, see http://lacl.labri.fr/
29 April 2005, Colloquium on Mathematical Logic, Emil Jerabek
(Tram 9 from Central Station, to Plantage Badlaan.)
For abstracts and more information, see http://www.math.uu.nl/people/jvoosten/seminar.html
28-30 April 2005, LACL 2005: Fifth International Conference on
Logical Aspects of Computational Linguistics, Bordeaux, France
LACL-2005 is the 5th edition of a series of international conferences on logical and formal methods in computational linguistics. It addresses in particular the use of proof theoretic and model theoretic methods for describing natural language syntax and semantics, as well as the implementation of natural language processing software relying on such models.
For more information, an online registration form and a preliminary program, see http://lacl.labri.fr/