Programme Committee Memberships

IJCAR 2016, International Joint Conference on Automated Reasoning

Coimbra, Portugal.

TABLEAUX 2015, Automated Reasoning with Analytic Tableaux and Related Methods

Wrocław, Poland, September 2015. Conference Homepage.

I organized the conference, also FroCoS.

PAAR 2014, Practical Aspects of Automated Reasoning

Vienna, Austria, July 2014. Workshop Homepage.

IJCAR 2012, International Joint Conference on Automated Reasoning

Manchester, UK, June 2012. Conference Homepage.

CADE 23, 23d International Conference on Automated Deduction

Wrocław, Poland, August 2011. Conference Homepage. (I also organzed the conference.)

CADE 22, 22nd International Conference on Automated Deduction

Montreal, Canada, August 2009. Conference Homepage.

IWIL 2008, 7th International Workshop on the Implementation of Logics

Doha, Qatar, 22 November 2008. Workshop Homepage.

IJCAR 2008, 4th International Joint Conference on Automated Reasoning

Sydney, Australia, 10-15 August 2008. Conference Homepage.

PAAR 2008, Workshop on Practical Aspects of Automated Reasoning

Sydney, Australia, 10-11 August 2008. Workshop Homepage.

FTP 2007, International Workshop on First-Order Theorem Proving

Liverpool, UK, 12-13 September 2007. Workshop Homepage.

The 21st Conference on Automated Deduction (CADE 21)

Bremen, Germany, 17-20 July 2007. Conference Homepage.

Workshop on Disproving - Non-Theorems, Non-Validity, Non-Provability.

Bremen, Germany, 16 July 2007. Workshop Homepage.

Empirically Successful Automated Reasoning in Large Theories (ESARLT)

Bremen, Germany, 15 July 2007. Workshop Homepage.

The 6th International Workshop on the Implementation of Logics

Phnom Penh, Cambodia, 12 November 2006. Workshop Homepage.

Workshop on Disproving - Non-Theorems, Non-Validity, Non-Provability.

Seattle, USA, Wednesday, 16 August 2006. Workshop Homepage.

Workshop on Disproving - Non-Theorems, Non-Validity, Non-Provability.

Tallin, Estonia, Friday Morning, 22 July 2005. Workshop Homepage.

Workshop on Guarded Logics: Proof Techniques and Applications

Nancy, France, 9-13 August 2004. Colocated with the Europen Summer School on Logic, Language and Information. Workshop Homepage .

Workshop on Disproving - Non-Theorems, Non-Validity, Non-Provability.

July 4th 2004, University College, Cork, Ireland. Colocated with the International Joint Conference on Automated Reasoning. Workshop Homepage .

Annual Conference of the European Association for Computer Science Logic

September 19-24 2004, Karpacz, Poland. Conference Homepage .

Second International Workshop on the Implementation of Logics

December 8th 2001, Havana, Cuba. Workshop Homepage .