International Workshop on Logic and Complexity in Computer Science (LCCS'2001)
(3–5 сентября 2001 г., Créteil, Франция)

International Workshop on Logic and Complexity in Computer Science (LCCS'2001), Créteil, 3–5 сентября 2001 г.
	5 сентября 2001 г. (ср)
1.	Proof Complexity of pigeonhole principles A. A. Razborov 5 сентября 2001 г. 09:00, Créteil