Programme Committee Memberships
SEFM 2021, Software Engineering and Formal Methods
Pittsburg, Nur-Sultan, York, USA, Kazakhstan, UK,
December 2021,
Conference Homepage.
TABLEAUX 2021, the International Conference on Automated Reasoning with
Analytic Tableaux and Related Methods
Birmingham, UK, September 2021,
Conference Homepage.
ICTAC 2021, International Colloquium on Theoretical Aspects of Computing
Nur-Sultan, Kazakhstan, September 2021,
Conference Homepage.
CADE 28, International Conference on Automated Deduction
Pittsburg, USA, July 2021,
Conference Homepage.
SEFM 2020, Software Engineering and Formal Methods
Amsterdam, the Netherlands, September 2020.
Conference Homepage.
PAAR 2020, Workshop on Practical Aspects of Automated Reasoning
Paris, France, June 2020.
Workshop Homepage.
LPAR 23, the International Conference on Logic for Programming,
Artificial Intelligence, and Reasoning
Alicante, Spain 2020.
Conference Homepage.
FMFun 2019, Formal Methods - Fun for Everybody
Bergen, Norway, December 2020.
Workshop Homepage.
TABLEAUX 2019, the International Conference on Automated
Reasoning with Analytic Tableaux and Related Methods
London, UK, 2019.
Conference Homepage.
CADE 27, International Conference on Automated Deduction
Natal, Brazil, August 2019.
Conference Homepage.
(Link doesn't work well.)
ARQNL 2018,
the International Workshop on Automated Reasoning in Quantified,
Non-Classical Logics
Oxford, UK, July 2018.
Workshop Homepage.
IJCAR 2018,
the International Joint Conference on Automated Reasoning
Oxford, UK, July 2018.
Conference Homepage.
PxTP 2017, the Workshop on Proof eXchange for Theorem Proving
Brasília, Brazil, September 2017.
Conference Homepage.
TABLEAUX 2017, the International Conference on Automated Reasoning
with Analytic Tableaux and Related methods
Brasília, Brazil, September 2017.
Conference Homepage.
CADE 26, the International Conference on Automated Deduction
Gothenburg, Sweden, August 2016.
Conference Homepage.
PAAR 2016, Workshop on Practial Aspects of Automated Reasoning
Coimbra, Portugal, June 2016.
Workshop Homepage.
ARQNL 2016, Automated Reasoning in Quantified, Non-Classical Logics
Coimbra, Portugal, June 2016.
Workshop Homepage.
IJCAR 2016,
the International Joint Conference on Automated Reasoning
Coimbra, Portugal, June 2016.
Conference Homepage.
TABLEAUX 2015, Automated Reasoning with Analytic Tableaux and Related Methods
Wrocław, Poland, September 2015.
Conference Homepage.
I organized this conference, also
FroCoS.
PAAR 2014, Practical Aspects of Automated Reasoning
Vienna, Austria, July 2014.
Workshop Homepage.
PAAR 2012, Practical Aspects of Automated Reasoning
Manchester, UK, June 2012.
Workshop Homepage.
IJCAR 2012, International Joint Conference on Automated Reasoning
Manchester, UK, June 2012.
Conference Homepage.
PxTP 2011, First Workshop on Proof eXchange for Theorem Proving
Wrocław, Poland, August 2011.
Workshop Homepage.
CADE 23, 23d International Conference on Automated Deduction
Wrocław, Poland, August 2011.
Conference Homepage.
(I also organzed the conference.)
FTP 2011, International Workshop on First-Order Theorem Proving
Bern, Switzerland, July 2011.
Workshop Homepage.
PAAR 2010, Workshop on Practical Aspects of Automated Reasoning
Edinburgh, UK,
Workshop Homepage.
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, November 2008.
IJCAR 2008, 4th International Joint Conference on Automated
Reasoning
Sydney, Australia, 10-15 August 2008.
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.
CADE 21, the 21st Conference on Automated Deduction
Bremen, Germany, 17-20 July 2007.
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.
IWIL 6, the 6th International Workshop on the Implementation of Logics
Phnomh Penh, Cambodia, 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.
CADE 17, the International Conference on Automated Deduction
Pittsburg, USA, June 2000.
Conference Homepage.
CADE 16, the International Conference on Automated Deduction
Trento, Italy, July 1999.
M4M-1, First Workshop on Methods for Modalities
Amsterdam, the Netherlands, May 1999.