The meeting is intended to bring together researchers interested in the differnt aspects of the interactions between logic, combinatorics and computer science. The objective is to provide a forum for the presentation of research, exchange of ideas, comparison of approaches and experiences in topics concerned with feasible formal systems.
|
Participants Miklos Ajtai (Almaden) Klaus Ambos-Spies (Heidelberg) Arnold Beckmann (Münster) Harry Buhrman (Amsterdam) Anuj Dawar (Sansea) Lance Fortnow (Chicago) Johan Hastad (Stockholm) Makoto Kikuchi (Kobe) Jan Krajicek (Prague) Jack Lutz (Ames) Dieter van Melkebeek (Chicago) Daniel Leivant (Indiana) Toniann Pitassi (Tucson, not yet confirmed) Chris Pollett (Boston) Pavel Pudlak (Prague) Volodya Shavrukov (Leicester) Sebastiaan Terwijn (Amsterdam) Katherine St. John (Santa Clara) Rick Thomas (Leicester) Leen Torenvliet (Amsterdam) Alan Woods (Perth)
|
Organizers Sam Buss (San Diego) Domenico Zambella (Amsterdam)
Sponsors
Local organization (March 2--4) Tutorials
|
Those wishing to participate should contact one of the organizers,
| sbuss@herbrand.ucsd.edu | michiell@wins.uva.nl | domenico@wins.uva.nl |