Selected past and future conferences
(co-)organized by Jan Krajicek

Since 1999 I organize annual Fall schools of Logic and Complexity. These are aimed and graduate students and postdocs.

I was also a (co-)organizer of, or responsible for the scientific program at, a number of workshops and conferences. Here are selected few (in the anti-chronological order) from last not so many years:

Logic Colloquium, Bern, July 2008 (pc member, spec.sect. org.).

New directions in proof complexity, a workshop at
the Isaac Newton Institute in Cambridge in April'06 (principal organizer).

EMS Mathematical Weekend with section in Complexity of computations and proofs, September'04 (section organizer).

12th International congress on Logic, Methodology and Philosophy of Science, Ovideo, Spain, 2003 (chair of PC for math.logic).

Circuit and Proof Complexity, International Centre for Mathematical Sciences, Edinburgh, October 2001 (principal organizer).

Logic Colloquium, Vienna, August 2001 (program committee chair).

11th International Congress on Logic, Methodology, and Philosophy of Science, Jagiellonian University, Cracow, August 1999.

Algebraic Methods and Arithmetic Circuits, DIMACS-DIMATIA Workshop, Rutgers University, New Brunswick, June, 1999.

Proof Theory and Complexity, BRICS (Basic Research in Computer Science), University of Aarhus, August 1998.

Selected past and future conferences (co-)organized by Jan Krajicek

Selected past and future conferences
(co-)organized by Jan Krajicek