Programme Committee Memberships
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
.