Claude Kirchner

I was recently, or I am currently involved in:

18th Conference on Automated Deduction CADE-18
2nd International Workshop on Reduction Strategies in Rewriting and Programming WRS'2002
4th International Workshop on Rewriting Logic and its Applications WRLA2002
3rd International Workshop on Rule-Based Programming RULE 2002
4th International Conference on Principles and Practice of Declarative Programming PPDP 2002
5th SBC Workshop on Formal Methods WMF'2002
14th International Conference on Rewriting Techniques and Applications RTA'2003
10th International Conference on Logic for Programming Artificial Intelligence and Reasoning LPAR'2003
5th International Workshop on Rewriting Logic and its Applications WRLA'2004
Second International Joint Conference on Automated Reasoning IJCAR'2004
Sixth ACM-SIGPLAN International Conference on Principles and Practice of Declarative Programming PPDP'2004
22nd Symposium on Theoretical Aspects of Computer Science STACS 2005

16th International Conference on Rewriting Techniques and Applications RTA'2005 as part of RDP'2005

Conferences