Workshop on Circuit and Proof Complexity
1-7 October 2001, Edinburgh
|Home | Scientific Programme & Participants | Workshop Arrangements | Registration Form | Timetable|
Click here for the report on
this meeting in ICMS News 11
Timetable page added on 25 September 2001. Click here.
J. Krajicek (Prague)
A. A. Razborov (Princeton/Moscow)
A. J. Wilkie (Oxford)
The emphasis of this Workshop will be on lower bounds in circuit and propositional proof complexity - a topic of basic importance in theoretical computer science and in mathematical logic.
Attendance at the Workshop is limited by the space available. There may be a few places remaining and anyone interested in taking part should approach Jan Krajicek (email@example.com).
The meeting is supported by
The Engineering and Physical Sciences Research Council
This meeting's pages created 4 May 2001
|Back to ICMS Website|