Venue

The conference will be held at the Conference Centre of the Radboud University Nijmegen, the Netherlands. The visiting address is University Auditorium (Aula), Comeniuslaan 2, Nijmegen. The university has a special page indicating how to get to the campus with maps of the campus and the city. Look here for more details. There will be a special busservice for bringing people from the hotels to the conference centre. The schedule for the bus will be handed out at the conference and it can also be found here (in doc format).

Contact

For information and submission of contributed talks, send mail to lc2006@cs.ru.nl. All inquiries about registration and accomodation should be directed to Jacqueline Berns at j.berns@dac.ru.nl.

Overview

The Logic Colloquium is the annual European conference on logic, organised under the auspices of the Association for Symbolic Logic (ASL). It provides a forum for presenting and discussing the new developments in the area of logic. The conference attracts researchers from logic, with an emphasis on mathematical logic, but also including researchers from computer science logic and philosophical logic. In previous years, the Logic Colloquium has been organised in Athens (2005) and Turin (2004). The leading researchers on logic participate in the conference, as invited speaker, tutorial speaker or as participant. It also attracts students (master and Ph.D. students) in logic from all over the world and in that way it also serves for students as an introduction into the research field of logic.

Program

The program consists of a mixture of

• Tutorials: three-hour lectures by leading researchers in a specific field. There will be three tutorials.
• Invited plenary talks: one hour talks by leading researchers. There will be 14 plenary invited speakers.
• Special Sessions: three-hour sessions on a special topic; there will be 5 special sessions.
• Contributed talks: short talks by researchers in parallel sessions.

Tutorials

The tutorials will be:

• Rodney Downey (Wellington), Algorithmic Randomness and Computability
• Ieke Moerdijk (Utrecht), Introduction to Algebraic Set Theory
• Boban Velickovic (Paris), Forcing Axioms

Plenary speakers

The plenary speakers will be:

• Samson Abramsky (Oxford), Categorical Quantum Logic
• Marat Arslanov (Kazan), Problems of definability and structural differences among elementary theories of the Ershov difference hierarchy
• Harvey Friedman (Ohio), Search for consequences
• Martin Goldstern (Vienna), Applications of Mathematical Logic in Algebra: the lattice of clones
• Ehud Hrushovski (Jerusalem), Model theory of valued fields
• Jochen Koenigsmann (Freiburg), Axiomatizing Fields via Galois Theory
• Andy Lewis (Leeds), On constructing strong minimal covers
• Antonio Montalban (Chicago), Embeddability and decidability in the Turing Degrees
• Erik Palmgren (Uppsala), Intuitionism, Bishop constructivism and point-free thinking
• Wolfram Pohlers (Muenster), Iterations of ordinal operators
• Ernest Schimmerling (Pittsburgh), Coherent sequences and threads
• John Steel (Berkeley), Some correctness results for extender models
• William Tait (Chicago), Cut-Elimination for Impredicative Systems of Second-Order Number Theory
• Frank Wagner (Lyon), Amalgamation, fusion and collaps: Exotic fields and vector spaces

Plenary Discussion

On the occasion of the 100th birthday of the great logician Kurt Gödel, there will be a plenary discussion on "Gödel's Legacy", discussing his influence on set theory, proof theory and philosophical logic. This will be a two-hour plenary discussion on the legacy of Gödel in logic. The discussion will be moderated by William Tait.

Special sessions

The following special sessions will take place. These are three-hour sessions consisting of 6 technical talks on the subject.

• Computability Theory (Programme: Barry Cooper, Richard Shore).
  • Noam Greenberg, Definability in the lower regions of the c.e. degrees
  • Bjørn Kjos-Hanssen, Complex oscillations and the law of the iterated logarithm
  • Peter Hertling, Is the Mandelbrot set computable?
  • Joe Miller, Lowness Notions, Measure and Domination
  • Jan Reimann, The Metamathematics of Algorithmic Randomness
  • Frank Stephan, Computable Categoricity and Ershov Hierarchy
• Computer Science Logic (Programme: Herman Geuvers, Achim Jung).
  • Ulrich Berger, Strong normalisation via domain-theoretic computability predicates
  • Venanzio Capretta, Higher Order Abstract Syntax in Type Theory
  • John Harrison, Taking theorem proving mainstream
  • Martin Hofmann, A proof system for the linear time mu-calculus
  • Branimir Lambov, Exact and efficient computation over the real numbers
  • Andy Pitts, Names, Equations and Freshness
• Model Theory (Programme: Anand Pillay, Dugald Macpherson).
  • Raf Cluckers, b-minimality
  • Clifton Ealy, Equivalence Relations and the Existence of a Notion of Independence
  • Piotr Kowalski, Ax Theorem in arbitrary characteristic
  • Assaf Hasson, Strongly minimal sets definable in expansions of RCF
  • Sonia L'Innocente, Model Theory and Lie Algebras: Infinite dimensional representations over sl₂(K)
  • Tim Mellor, An Euler Characteristic for real closed valued fields
• Proof Theory and Type Theory (Programme: Michael Rathjen, Grigori Mints, Wilfried Sieg).
  • Klaus Aehlig, Non-Interleaved Polymorphic Types and Iterated Inductive Definitions
  • Andrey Bovykin, New results on unprovability and logical strength
  • Nicola Gambino, Sheaf models for constructive set theories
  • Joost Joosten, Lowerbounds in proof complexity
  • Thomas Studer, Cut-free systems for the propositional modal μ-calculus
  • Henry Towsner, Ordinal Analysis of Recursive Weak Compactness
• Set Theory (Programme: Ralf Schindler, Jouko Vaananen, Sy David Friedman).
  • Natasha Dobrinen, Co-stationarity of the ground model, internal consistency, and new sequences
  • John Krueger, Some Consistency Results Related to Internal Approachability
  • Paul Larson, Martin's Maximum and definability in H(ℵ₂)
  • Jordi Lopez-Abad, Partial unconditionality and barriers
  • Barbara Majcher-Iwanow, Polish group actions and admissible sets
  • Christian Rosendal, Classifying Borel transformations in Kakutani style

Registration

To register, please complete the on-line registration form .

Registration is also possible by returning the attached paper registration form to the Conference Agency, fax +31 24 356 79 56 or by e-mail to j.berns@dac.ru.nl.
NB In an older version of the registration form, the IBAN number of the bank was accidently mistyped; the correct IBAN number is: NL92ABNA0537728783.

Those seeking cheaper accomodation may consult this list of small hotels. These hotels and pensions cannot be booked by the Conference Agency.

Conference fees

• Participant
  • Early registration fee (registration and payment received before June 15 May 1) Euro 190
  • Late registration fee (registration and payment received after June 15 May 1) Euro 240
  • Registration fee for Plenary Invited Speakers / Tutorial Speakers / PC members Euro 0
  • Excursion + Conference dinner Euro 65
• Accompanying person (includes excursion) Euro 110

The participants' fee covers: A conference package including a program book with abstracts, the welcome party, refreshments during the conference, the lunch on Saturday July 29, the proceedings (to be sent to the participants later) and the coach transfers between your hotel and the conference centre.
Please note: The lunches are not included except for the lunch on Saturday July 29. If you like to have the conference lunches included, please tick the appropriate box. An additional fee of Euro 62.50 will be charged.
The accompanying person's fee covers: the welcome party, the excursion and conference dinner and one additional excursion (to be determined).

Cancellation

Registered participants who are unable to attend the meeting will be refunded 75% of their fees, provided that the Conference Agency receives a written notice before July 1, 2006 after which no refunds can be made.

Excursion and Conference Dinner

On Sunday July 30 there is an excursion to the Hoge Veluwe National Park (including the Kröller-Müller Museum), followed by the conference dinner. The fee for the excursion (including the dinner) is Euro 65. A time schedule fot the excursion can be found here (in doc format).

Hoge Veluwe National Park and Kröller-Müller Museum

The Hoge Veluwe National Park and the Kröller-Müller Museum offer a unique combination of nature, art and architecture. The perfect place to enjoy peace and quiet and changing landscapes, a world-famous art collection and interesting architecture. This remarkable spot was founded by Anton Kröller and his wife, Helene Kröller-Müller. The Kröller-Müller Museum collection centres on the work of Vincent Van Gogh, constituting one of the most impressive overviews of his extensive oeuvre. The collection also contains important paintings by great artists including George Seurat, Pablo Picasso, Fernand Léger and Piet Mondriaan. The museum exhibits a range of the visual arts and hosts temporary exhibitions ranging from artists already in the collection to more contemporary artists. The twenty-five hectare sculpture garden, one of the largest in Europe, is home to a unique collection of sculpture including works by Auguste Rodin, Henry Moore, Barbara Hepworth, Richard Serra, Jean Dubuffet and Claes Oldenburg.

Conference Dinner

At the end of the excursion we will have our conference dinner in Jachtslot de Mookerheide. We will go there directly by bus from the Hoge Veluwe National Park.
At the conference dinner, Dirk van Dalen will give an evening lecture entitled Brouwer's apprenticeship, "I have yet to remain obscure for some more years, then my grip will be felt"

Grants

It is no longer possible to apply for grants.

Contributed talks

The deadline for receipt of abstracts and titles (email or hard copy) for contributed papers is Monday, April 17, 2006.
The abstracts should be sent to the Chair of the Local Organizing Committee (Herman Geuvers), preferably by email: lc2006@cs.ru.nl. Abstracts and titles can also be sent by surface mail to: Logic Colloquium 2006, ICIS Faculty of Science, Radboud University Nijmegen, P.O. Box 9010, 6500 GL Nijmegen, The Netherlands.

There is a web page with a list of contributed talks that have been submitted thus far.

Program Committee

The program committee for the Logic Colloquium 2006 consists of

• H. Schwichtenberg (Munich), Chair
• B. Cooper (Leeds)
• S. Friedman (Vienna)
• H. Geuvers (Nijmegen)
• D. Macpherson (Leeds)
• G. Mints (Stanford)
• A. Pillay (Urbana-Champaign)
• M. Rathjen (Columbus Ohio)
• R. Schindler (Münster)
• R. Shore (Cornell)
• W. Sieg (Carnegie Mellon)
• G. Sundholm (Leiden)
• J. Väänänen (Helsinki)

The Proceedings of LC2006 are to appear as a refereed post-conference proceedings with A.K. Peters Ltd. For this, the following editorial board has been established.

• Herman Geuvers, Chair
• Barry Cooper
• Anand Pillay
• Jouko Väänänen

Organization

The Local Organizing Committee consists of: Herman Geuvers (Chair), Nicole Messink, Bas Spitters, and Freek Wiedijk from the Foundations group of the Institute for Computing and Information Science of the Radboud University Nijmegen. The Logic Colloquium will take place in the "Aula" of the Radboud University, which is on the campus.

page maintained by Freek Wiedijk