[Jan 20]. TBA. Banff Workshop on Proof Complexity. BIRS Workshop Banff (CA).

[Sep 19]

[Sep 18]

[Jul 18]

[Jul 18]

[Aug 17] Workshop on Proof Complexity and Beyond. Mathematisches Forschungsinstitut Oberwolfach.

[Jun 17]

[Sep 16]

[Aug 16]

[Sep--Dec 15]

[Oct 14] Workshop on SAT Interactions. Dagstuhl Leibniz Center (DE). Organizer.

[Jan 14]

[Mar 12]

[Oct 11]

[Feb 10]

[Aug 10]

[Aug 09] Workshop Barriers in Computational Complexity Workshop. Center For Computational Intractability. Princeton University. Princeton.

[Mar 06] Workshop on Complexity of Boolean Functions. Dagstuhl Leibniz Center (DE)

[Apr 05]

[Jun 03]

[Mar 02] Workshop Complexity of Boolean Functions Workshop. Dagstuhl Leibniz Center (DE)

[Oct 01] Workshop on Circuit and Proof Complexity. International Center for Mathematical Study. Edinburgh (UK).