From: Herman Geuvers <herman@cs.ru.nl>
To: categories@mta.ca
Subject: Logic Colloquium 2006 (Nijmegen NL) Call for Participation/Contributed talks
Date: Tue, 21 Mar 2006 09:29:03 +0100 [thread overview]
Message-ID: <441FB94F.7050607@cs.ru.nl> (raw)
[The usual apologies for multiple copies apply: we are sending the
announcement both to personal e-mail addresses and to mailing lists.
Please distribute this e-mail to all interested people.]
------------- CALL for PARTICIPATION -------------------
| |
| LOGIC COLLOQUIUM 2006 |
| (ASL European Summer Meeting) |
| July 27 -- August 2, 2006 |
| |
| Institute for Computing and Information Science |
| Radboud University Nijmegen (The Netherlands) |
| |
----------------------------------------------------------
The European summer meeting of the ASL in the year 2006 will be held
in Nijmegen, the Netherlands:
http://www.cs.ru.nl/lc2006/
Plenary invited speakers:
========================
Samson Abramsky (Oxford)
Marat Arslanov (Kazan)
Harvey Friedman (Ohio)
Martin Goldstern (Vienna)
Ehud Hrushovski (Jerusalem)
Jochen Koenigsmann (Freiburg)
Andy Lewis (Leeds)
Antonio Montalban (Chicago)
Erik Palmgren (Uppsala)
Wolfram Pohlers (Muenster)
Ernest Schimmerling (Pittsburgh)
John Steel (Berkeley)
William Tait (Chicago)
Frank Wagner (Lyon)
Tutorials by:
============
Rodney Downey (Wellington)
Ieke Moerdijk (Utrecht)
Boban Velickovic (Paris)
Plenary Discussion:
==================
On the occasion of the 100th birthday of the great logician Kurt
Goedel, there will be a plenary discussion on "Goedel's Legacy",
discussing his influence on set theory, proof theory and
philosophical logic.
Special sessions:
================
* Computability Theory
Speakers: Noam Greenberg, Bjorn Kjos-Hanssen, Peter Hertling,
Joe Miller, Jan Reimann, Frank Stephan
* Computer Science Logic
Speakers: Ulrich Berger, Venanzio Capretta, Martin Escardo
John Harrison, Martin Hofmann, Andy Pitts
* Model Theory
Speakers: Raf Cluckers, Clifton Ealy, Piotr Kowalski,
Assaf Hasson, Sonia L'Innocente, Tim Mellor
* Proof Theory and Type Theory
Speakers: Klaus Aehlig, Andrey Bovykin, Nicola Gambino,
Joost Joosten, Thomas Studer, Henry Towsner
* Set Theory
Speakers: Natasha Dobrinen, John Krueger, Paul Larson,
Jordi Lopez-Abad, Christian Rosendal, Martin Zeman
REGISTRATION
============
You can now register by submitting the online registration form (or
you can send it by fax). You can find the registration form and all
other information related to the conference at:
http://www.cs.ru.nl/lc2006/
The Organizing Committee
reply other threads:[~2006-03-21 8:29 UTC|newest]
Thread overview: [no followups] expand[flat|nested] mbox.gz Atom feed
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=441FB94F.7050607@cs.ru.nl \
--to=herman@cs.ru.nl \
--cc=categories@mta.ca \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).