Program Committee Member

WRLA 2022
14th International Workshop on Rewriting Logic and its Applications
Munich, April 2 – 3, 2022

ARCADE 2021
3rd International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements
virtual, July 16, 2021

WRLA 2020
13th International Workshop on Rewriting Logic and its Applications
virtual, October 20 – 22, 2020

FSCD 2020
5th International Conference on Formal Structures for Computation and Deduction
Paris, July 1 – 4, 2020

LPAR-23
23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning
virtual, January 12 – 13, 2021

PPDP 2019
21st International Symposium on Principles and Practice of Programming Languages
Porto, October 7 – 9, 2019

ARCADE 2019
2nd International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements
Natal, August 26, 2019

FSCD 2019
4th International Conference on Formal Structures for Computation and Deduction
Dortmund, June 24 – 30, 2019

WST 2018
16th International Workshop on Termination
Oxford, July 18 – 19, 2018

CADE-26
26th International Conference on Automated Deduction
Gothenburg, August 6 – 11, 2017

ARCADE 2017
1st International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements
Gothenburg, August 6, 2017

LPAR-21
21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning
Maun, Botswana, May 7 – 12, 2017

WST 2016   program co-chair
15th International Workshop on Termination
Obergurgl, September 5 – 7, 2016

IJCAR 2016
8th International Joint Conference on Automated Reasoning
Coimbra, June 27 – July 2, 2016

FSCD 2016
1st International Conference on Formal Structures for Computation and Deduction
Porto, June 22 – 26, 2016

LPAR-20
20th International Conference on Logic for Programming, Artificial Intelligence and Reasoning
Suva, Fiji, November 24 – 28, 2015

CADE-25   program co-chair
25th International Conference on Automated Deduction
Berlin, August 1 – 7, 2015

IJCAR 2014
7th International Joint Conference on Automated Reasoning
Vienna, July 19 – 22, 2014

TERMGRAPH 2014   program co-chair
8th International Workshop on Computing with Terms and Graphs
Vienna, July 13, 2014

LPAR-19   program co-chair
19th International Conference on Logic for Programming, Artificial Intelligence and Reasoning
Stellenbosch, December 15 – 19, 2013

RTA 2013
24th International Conference on Rewriting Techniques and Applications
Eindhoven, June 24 – 26, 2013

FoSSaCS 2013
16th International Conference on Foundations of Software Science and Computation Structures
Rome, March 18 – 22, 2013

SCSS 2012
4th International Symposium on Symbolic Computation in Software Science
Gammarth, Tunisia, December 15 – 17, 2012

TCS 2012
7th IFIP International Conference on Theoretical Computer Science
Amsterdam, September 26 – 28, 2012

IWC 2012
1st International Workshop on Confluence   program co-chair
Nagoya, May 29, 2012

LPAR-18
18th International Conference on Logic for Programming, Artificial Intelligence and Reasoning
Mérida, Venezuela, March 10 – 15, 2012

LATA 2012
6th International Conference on Language and Automata Theory and Applications
A Coruña, March 5 – 9, 2012

CADE-23
23rd International Conference on Automated Deduction
Wroclaw, July 31 – August 5, 2011

RTA 2011
22nd International Conference on Rewriting Techniques and Applications
Novi Sad, May 30 – June 1, 2011

WRS 2011
10th International Workshop on Reduction Strategies in Rewriting and Programming
Novi Sad, May 29, 2011

LPAR-17
17th International Conference on Logic for Programming, Artificial Intelligence and Reasoning
Yogyakarta, October 10 – 15, 2010

SCCS 2010
3rd International Workshop on Symbolic Computation in Software Science
Hagenberg, July 29 – 30, 2010

IJCAR 2010
5th International Joint Conference on Automated Reasoning
Edinburgh, July 16 – 19, 2010

LPAR-16
16th International Conference on Logic for Programming, Artificial Intelligence and Reasoning
Dakar, Senegal, April 25 – May 1, 2010

CADE-22
22nd International Conference on Automated Deduction
Montreal, August 2 – 7, 2009

RTA 2009
20th International Conference on Rewriting Techniques and Applications
Brasília, June 29 – July 1, 2009

LPAR-15
15th International Conference on Logic for Programming, Artificial Intelligence and Reasoning
Doha, Qatar, November 22 – 27, 2008

RTA 2008
19th International Conference on Rewriting Techniques and Applications
Hagenberg, July 15 – 17, 2008

WRS 2008   program chair
8th International Workshop on Reduction Strategies in Rewriting and Programming
Hagenberg, July 14, 2008

SCCS 2008
Austrian – Japanese Workshop on Symbolic Computation in Software Science
Hagenberg, July 12 – 13, 2008

WST 2007
9th International Workshop on Termination
Paris, June 29, 2007

WRS 2007
7th International Workshop on Reduction Strategies in Rewriting and Programming
Paris, June 25, 2007

TERMGRAPH 2007
4th International Workshop on Computing with Terms and Graphs
Lisbon, March 31, 2007

AISC 2006
8th International Conference on Artificial Intelligence and Symbolic Computation
Beijing, September 20 – 22, 2006

IJCAR 2006
3rd International Joint Conference on Automated Reasoning
Seattle, August 16 – 21, 2006

TERMGRAPH 2006
3rd International Workshop on Term Graph Rewriting
Vienna, April 1, 2006

CSL 2005
14th Annual Conference of the European Association for Computer Science Logic
Oxford, August 22 – 25, 2005

WRS 2005
5th International Workshop on Reduction Strategies in Rewriting and Programming
Nara, April 22, 2005.

RTA 2005
16th International Conference on Rewriting Techniques and Applications
Nara, April 19 – 21, 2005

AISC 2004
7th International Conference on Artificial Intelligence and Symbolic Computation
Hagenberg, September 22 – 24, 2004

IJCAR 2004
2nd International Joint Conference on Automated Reasoning
Cork, July 4 – 9, 2004

WRS 2004
4th International Workshop on Reduction Strategies in Rewriting and Programming
Aachen, June 2, 2004

WST 2004   program co-chair
7th International Workshop on Termination
Aachen, June 1 – 2, 2004

FLOPS 2004
7th International Symposium on Functional and Logic Programming
Nara, April 7 – 9, 2004

WRS 2003
4th International Workshop on Reduction Strategies in Rewriting and Programming
Valencia, June 8, 2003

FLOPS 2002
6th International Symposium on Functional and Logic Programming
Aizu, September 15 – 17, 2002

RTA 2002
13th International Conference on Rewriting Techniques and Applications
Copenhagen, July 22 – 24, 2002

CSL 2001
10th Annual Conference of the European Association for Computer Science Logic
Paris, September 10 – 13, 2001

RTA 2001   program chair
12th International Conference on Rewriting Techniques and Applications
Utrecht, May 22 – 24, 2001

RTA 2000
11th International Conference on Rewriting Techniques and Applications
Norwich, July 10 – 12, 2000

FLOPS 1999   program co-chair
4th Fuji International Symposium on Functional and Logic Programming
Tsukuba, November 11 – 13, 1999

FROCOS 1998
2nd International Workshop on Frontiers of Combining Systems
Amsterdam, October 2 – 4, 1998

FLOPS 1998
3rd Fuji International Symposium on Functional and Logic Programming
Kyoto, April 2 – 4, 1998

RTA 1998
9th International Conference on Rewriting Techniques and Applications
Tsukuba, March 30 – April 1, 1998

ALP 1997
6th International Conference on Algebraic and Logic Programming
Southampton, September 3 – 5, 1997

RTA 1997
8th International Conference on Rewriting Techniques and Applications
Sitges, June 2 – 4, 1997

ALP 1996
5th International Conference on Algebraic and Logic Programming
Aachen, September 25 – 27, 1996

RTA 1996
7th International Conference on Rewriting Techniques and Applications
New Brunswick, July 27 – 30, 1996