Program Committee Member
LPAR 2024
25th International Conference on Logic for Programming, Artificial
Intelligence and Reasoning
Mauritius, May 26 – 31, 2024
FLOPS 2024
17th International Symposium on Functional and Logic Programming
Kumamoto, May 15 – 17, 2024
WRLA 2024
15th International Workshop on Rewriting Logic and its Applications
Luxembourg, April 6 – 7, 2024
FSCD 2023
8th International Conference on Formal Structures for Computation and
Deduction
Rome, July 3 – 6, 2023
LPAR 2023
24th International Conference on Logic for Programming, Artificial
Intelligence and Reasoning
Manizales, Colombia, June 4 – 9, 2023
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