The theoretical framework of this course is the Theta System, as developed by Reinhart the last few years. The Theta system (what has been labelled in Chomsky's Principles and Parameters framework 'Theta theory') is a system enabling the interface between the systems of concepts and the computational system syntax (and, via the syntactic representations, with the semantic inference systems).

The first part (block) of the course is designed as intensive introduction to the basics of the system as explained below. In the second part we hope to go in depth into some new problems that are not satisfactorily solved yet. Along with theoretical research, a further goal of the course is implementation of the system using parsing tools developed by Van Eijck.

For more information, see here or contact Jan van Eijck (jve at cwi.nl) or Tanya Reinhart (tanya.reinhart at let.uu.nl).

The theoretical framework of this course is the Theta System, as developed by Reinhart the last few years. The Theta system (what has been labelled in Chomsky's Principles and Parameters framework 'Theta theory') is a system enabling the interface between the systems of concepts and the computational system syntax (and, via the syntactic representations, with the semantic inference systems).

The first part (block) of the course is designed as intensive introduction to the basics of the system as explained below. In the second part we hope to go in depth into some new problems that are not satisfactorily solved yet. Along with theoretical research, a further goal of the course is implementation of the system using parsing tools developed by Van Eijck.

For more information, see here or contact Jan van Eijck (jve at cwi.nl) or Tanya Reinhart (tanya.reinhart at let.uu.nl).

The theoretical framework of this course is the Theta System, as developed by Reinhart the last few years. The Theta system (what has been labelled in Chomsky's Principles and Parameters framework 'Theta theory') is a system enabling the interface between the systems of concepts and the computational system syntax (and, via the syntactic representations, with the semantic inference systems).

The first part (block) of the course is designed as intensive introduction to the basics of the system as explained below. In the second part we hope to go in depth into some new problems that are not satisfactorily solved yet. Along with theoretical research, a further goal of the course is implementation of the system using parsing tools developed by Van Eijck.

For more information, see here or contact Jan van Eijck (jve at cwi.nl) or Tanya Reinhart (tanya.reinhart at let.uu.nl).

The theoretical framework of this course is the Theta System, as developed by Reinhart the last few years. The Theta system (what has been labelled in Chomsky's Principles and Parameters framework 'Theta theory') is a system enabling the interface between the systems of concepts and the computational system syntax (and, via the syntactic representations, with the semantic inference systems).

The first part (block) of the course is designed as intensive introduction to the basics of the system as explained below. In the second part we hope to go in depth into some new problems that are not satisfactorily solved yet. Along with theoretical research, a further goal of the course is implementation of the system using parsing tools developed by Van Eijck.

For more information, see here or contact Jan van Eijck (jve at cwi.nl) or Tanya Reinhart (tanya.reinhart at let.uu.nl).

For abstracts and more information, see https://www.illc.uva.nl/dip/.

The theoretical framework of this course is the Theta System, as developed by Reinhart the last few years. The Theta system (what has been labelled in Chomsky's Principles and Parameters framework 'Theta theory') is a system enabling the interface between the systems of concepts and the computational system syntax (and, via the syntactic representations, with the semantic inference systems).

The first part (block) of the course is designed as intensive introduction to the basics of the system as explained below. In the second part we hope to go in depth into some new problems that are not satisfactorily solved yet. Along with theoretical research, a further goal of the course is implementation of the system using parsing tools developed by Van Eijck.

For more information, see here or contact Jan van Eijck (jve at cwi.nl) or Tanya Reinhart (tanya.reinhart at let.uu.nl).

The theoretical framework of this course is the Theta System, as developed by Reinhart the last few years. The Theta system (what has been labelled in Chomsky's Principles and Parameters framework 'Theta theory') is a system enabling the interface between the systems of concepts and the computational system syntax (and, via the syntactic representations, with the semantic inference systems).

The first part (block) of the course is designed as intensive introduction to the basics of the system as explained below. In the second part we hope to go in depth into some new problems that are not satisfactorily solved yet. Along with theoretical research, a further goal of the course is implementation of the system using parsing tools developed by Van Eijck.

For more information, see here or contact Jan van Eijck (jve at cwi.nl) or Tanya Reinhart (tanya.reinhart at let.uu.nl).

The theoretical framework of this course is the Theta System, as developed by Reinhart the last few years. The Theta system (what has been labelled in Chomsky's Principles and Parameters framework 'Theta theory') is a system enabling the interface between the systems of concepts and the computational system syntax (and, via the syntactic representations, with the semantic inference systems).

The first part (block) of the course is designed as intensive introduction to the basics of the system as explained below. In the second part we hope to go in depth into some new problems that are not satisfactorily solved yet. Along with theoretical research, a further goal of the course is implementation of the system using parsing tools developed by Van Eijck.

For more information, see here or contact Jan van Eijck (jve at cwi.nl) or Tanya Reinhart (tanya.reinhart at let.uu.nl).

The theoretical framework of this course is the Theta System, as developed by Reinhart the last few years. The Theta system (what has been labelled in Chomsky's Principles and Parameters framework 'Theta theory') is a system enabling the interface between the systems of concepts and the computational system syntax (and, via the syntactic representations, with the semantic inference systems).

The first part (block) of the course is designed as intensive introduction to the basics of the system as explained below. In the second part we hope to go in depth into some new problems that are not satisfactorily solved yet. Along with theoretical research, a further goal of the course is implementation of the system using parsing tools developed by Van Eijck.

For more information, see here or contact Jan van Eijck (jve at cwi.nl) or Tanya Reinhart (tanya.reinhart at let.uu.nl).

The theoretical framework of this course is the Theta System, as developed by Reinhart the last few years. The Theta system (what has been labelled in Chomsky's Principles and Parameters framework 'Theta theory') is a system enabling the interface between the systems of concepts and the computational system syntax (and, via the syntactic representations, with the semantic inference systems).

The first part (block) of the course is designed as intensive introduction to the basics of the system as explained below. In the second part we hope to go in depth into some new problems that are not satisfactorily solved yet. Along with theoretical research, a further goal of the course is implementation of the system using parsing tools developed by Van Eijck.

For more information, see here or contact Jan van Eijck (jve at cwi.nl) or Tanya Reinhart (tanya.reinhart at let.uu.nl).

The Logic Tea homepage can be found at http://staff.science.uva.nl/~debruin/logic_tea.html For further information you can also contact Mark Theunissen at mailto:mtheunis at science.uva.nl, or Boudewijn de Bruin at mailto:debruin at science.uva.nl.

The theoretical framework of this course is the Theta System, as developed by Reinhart the last few years. The Theta system (what has been labelled in Chomsky's Principles and Parameters framework 'Theta theory') is a system enabling the interface between the systems of concepts and the computational system syntax (and, via the syntactic representations, with the semantic inference systems).

The first part (block) of the course is designed as intensive introduction to the basics of the system as explained below. In the second part we hope to go in depth into some new problems that are not satisfactorily solved yet. Along with theoretical research, a further goal of the course is implementation of the system using parsing tools developed by Van Eijck.

For more information, see here or contact Jan van Eijck (jve at cwi.nl) or Tanya Reinhart (tanya.reinhart at let.uu.nl).

The theoretical framework of this course is the Theta System, as developed by Reinhart the last few years. The Theta system (what has been labelled in Chomsky's Principles and Parameters framework 'Theta theory') is a system enabling the interface between the systems of concepts and the computational system syntax (and, via the syntactic representations, with the semantic inference systems).

The first part (block) of the course is designed as intensive introduction to the basics of the system as explained below. In the second part we hope to go in depth into some new problems that are not satisfactorily solved yet. Along with theoretical research, a further goal of the course is implementation of the system using parsing tools developed by Van Eijck.

For more information, see here or contact Jan van Eijck (jve at cwi.nl) or Tanya Reinhart (tanya.reinhart at let.uu.nl).

For abstracts and more information, see http://lit.science.uva.nl/News/seminar02-2.html#Oct11.

The theoretical framework of this course is the Theta System, as developed by Reinhart the last few years. The Theta system (what has been labelled in Chomsky's Principles and Parameters framework 'Theta theory') is a system enabling the interface between the systems of concepts and the computational system syntax (and, via the syntactic representations, with the semantic inference systems).

The first part (block) of the course is designed as intensive introduction to the basics of the system as explained below. In the second part we hope to go in depth into some new problems that are not satisfactorily solved yet. Along with theoretical research, a further goal of the course is implementation of the system using parsing tools developed by Van Eijck.

For more information, see here or contact Jan van Eijck (jve at cwi.nl) or Tanya Reinhart (tanya.reinhart at let.uu.nl).

The OzsL Schoolweek/Accolade 2002 takes place from October 14--18 in Amsterdam. This years' Schoolweek offers four excellent master's courses. Experts in the field present exiting material, both foundational and applied. The level varies from introductions to advanced courses. The Accolade conferences bring together the Dutch logic community and provide an up-to-date overview of the projects carried out within the school.

For more information, see http://www.ozsl.uva.nl/Schoolweek/, or contact the OzsL Buro at ozsl at science.uva.nl.

For more information and a CFP, see http://rpc25.cs.man.ac.uk/lpar2002/

The OzsL Schoolweek/Accolade 2002 takes place from October 14--18 in Amsterdam. This years' Schoolweek offers four excellent master's courses. Experts in the field present exiting material, both foundational and applied. The level varies from introductions to advanced courses. The Accolade conferences bring together the Dutch logic community and provide an up-to-date overview of the projects carried out within the school.

For more information, see http://www.ozsl.uva.nl/Schoolweek/, or contact the OzsL Buro at ozsl at science.uva.nl.

For more information and a CFP, see http://rpc25.cs.man.ac.uk/lpar2002/

The OzsL Schoolweek/Accolade 2002 takes place from October 14--18 in Amsterdam. This years' Schoolweek offers four excellent master's courses. Experts in the field present exiting material, both foundational and applied. The level varies from introductions to advanced courses. The Accolade conferences bring together the Dutch logic community and provide an up-to-date overview of the projects carried out within the school.

For more information, see http://www.ozsl.uva.nl/Schoolweek/, or contact the OzsL Buro at ozsl at science.uva.nl.

For more information and a CFP, see http://rpc25.cs.man.ac.uk/lpar2002/

The OzsL Schoolweek/Accolade 2002 takes place from October 14--18 in Amsterdam. This years' Schoolweek offers four excellent master's courses. Experts in the field present exiting material, both foundational and applied. The level varies from introductions to advanced courses. The Accolade conferences bring together the Dutch logic community and provide an up-to-date overview of the projects carried out within the school.

For more information, see http://www.ozsl.uva.nl/Schoolweek/, or contact the OzsL Buro at ozsl at science.uva.nl.

For more information and a CFP, see http://rpc25.cs.man.ac.uk/lpar2002/

The OzsL Schoolweek/Accolade 2002 takes place from October 14--18 in Amsterdam. This years' Schoolweek offers four excellent master's courses. Experts in the field present exiting material, both foundational and applied. The level varies from introductions to advanced courses. The Accolade conferences bring together the Dutch logic community and provide an up-to-date overview of the projects carried out within the school.

For more information, see http://www.ozsl.uva.nl/Schoolweek/, or contact the OzsL Buro at ozsl at science.uva.nl.

For more information and a CFP, see http://rpc25.cs.man.ac.uk/lpar2002/

The 14th Belgian-Dutch Conference on Artificial Intelligence (BNAIC'02) is organised by the Katholieke Universiteit Leuven and Université Libre de Bruxelles in collaboration with PharmaDM and under the auspices of BNVKI/AIABN (the Belgian- Dutch Association for Artificial Intelligence), SIKS (School for Information and Knowledge Systems), and SNN (the Foundation for Neural Networks).

BNAIC'02 will be held on Monday 21 and Tuesday 22 in the Faculty Club, Groot Begijnhof, Leuven, Belgium. It will be collocated with a study day on bio-informatics, to be held on Wednesday 23 October. This collocation aims to promote interaction between researchers in AI and bio-informatics. BNAIC-papers addressing bio-informatics topics will be offered a poster at the bio-informatics event.

A call for papers is out now. Deadline for submissions is May 31, 2002

For more information, see http://www.cs.kuleuven.ac.be/conference/bnaic02/

The 14th Belgian-Dutch Conference on Artificial Intelligence (BNAIC'02) is organised by the Katholieke Universiteit Leuven and Université Libre de Bruxelles in collaboration with PharmaDM and under the auspices of BNVKI/AIABN (the Belgian- Dutch Association for Artificial Intelligence), SIKS (School for Information and Knowledge Systems), and SNN (the Foundation for Neural Networks).

BNAIC'02 will be held on Monday 21 and Tuesday 22 in the Faculty Club, Groot Begijnhof, Leuven, Belgium. It will be collocated with a study day on bio-informatics, to be held on Wednesday 23 October. This collocation aims to promote interaction between researchers in AI and bio-informatics. BNAIC-papers addressing bio-informatics topics will be offered a poster at the bio-informatics event.

A call for papers is out now. Deadline for submissions is May 31, 2002

For more information, see http://www.cs.kuleuven.ac.be/conference/bnaic02/

A locally decodable code is an error-correcting code (encoding an n-bit x in m-bit codeword C(x)) that allows one to recover any bit x_i from a corrupted version of C(x) while querying only a few positions in the corrupted codeword. We use a quantum argument to prove that 2-query LDCs need exponential length. Previously this was known only for linear codes (Goldreich et al 02).

Our proof shows that a 2-query LDC can be decoded with only 1 quantum query, and then proves an exponential lower bound for such 1-query locally quantum-decodable codes. We also show that q quantum queries allow more succinct LDCs than the best known LDCs with q classical queries. Finally, we give new classical lower bounds and quantum upper bounds for the setting of private information retrieval. In particular, we exhibit a quantum 2-server PIR scheme with O(n^{0.3}) qubits of communication, beating the O(n^{1/3})communication of the best known classical 2-server PIR. This is joint work with Iordanis Kerenidis (UC Berkeley).

The paper is available at http://www.cwi.nl/~rdewolf/publ/qc/qldc.ps.gz For more information, see http://www.cwi.nl/~roehrig/quantum-seminar.html.

In 2002/2003 a joint Compact Seminar on Provability Algebras is organized by L. Beklemishev and W. Pohlers. Altogether, four sessions, alternating in Utrecht (Department of Philosophy) and in Münster (Institute for Mathematical Logic and Foundations Research), will take place.

Graded provability algebras (GPA) are modal algebras developed to provide an abstract algebraic approach to proof-theoretic analysis. This subject brings together traditional methods of proof theory and methods developed in provability logic.

For more information, see here, or contact Lev Beklimishev at lev at phil.uu.nl.

For abstracts and more information, see http://lit.science.uva.nl/News/seminar02-2.html#Oct25.

Coming Friday, October 25, LEGO will feature Balder ten Cate with a try-out talk for a conference in London (KCL)

For more information, see here.

Tuesday 29 October the ILLC has the honour to host a so-called site visit by the dean and directors of the Faculty of Science. The major part of this visit is devoted to a discussion of various scientific and administrative issues. At the end of the afsternoon there will be a reception, for which you are all kindly invited. Drinks and snacks will be served at the third floor of the Euclides building (Plantage Muidergracht 24) from 17.30-18.00.

The Logic Tea homepage can be found at http://staff.science.uva.nl/~debruin/logic_tea.html. For further information you can also contact Mark Theunissen at mailto:mtheunis at science.uva.nl, or Boudewijn de Bruin at mailto:debruin at science.uva.nl.

PHILOG - The Danish Network for Philosophical Logic and Its Applications, is organizing a conference on self-reference. The aim of the conference is to bring together researchers in the fields of philosophy, mathematics, and computer science to present theories of and related to self-reference - especially pertaining to theories that explain and resolve the above paradoxes and thereby advance new theories for the involved fields.

All lectures will be of such a nature that they can be followed by students and scholars of philosophy, computer science, linguistics etc. without deep professional training in epistemic logic but provided with general knowledge of foundational issues.

For more information, see here or the PHILOG website at http://www.philog.ruc.dk