Robert Nieuwenhuis' research events

Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456

Robert Nieuwenhuis' research events

Research Events (since 1999)

(conferences, summer schools; invited talks, program committees...)

2005

The 20th International Conference on Automated Deduction (CADE-20) (Program Committee Chair).

2003

The 14th International Conference on Rewriting Techniques and Applications (RTA 2003) (Program Committee Chair).
The Joint Conference on Computer Science Logic (CSL'03) / Kurt Gödel Colloquium (KGC) (Program Committee Member).

2002

The 17th IEEE Symposium on Logic in Computer Science (LICS 2002). (Program Committee member).
The 19th International Conference on Automated Deduction (CADE 2002) (Program Committee Member).
The ACM SIGPLAN International Conference on Principles and Practice of Declarative Programming (PPDP'2002) (Program Committee Member).
The 3rd International Workshop on Implementation of Logics (Program Chair).
The 9th International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR 2002) (Program Committee member).

2001

The 8th International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR 2001) (Program Committee Co-chair).
The 12th International Conference on Rewriting Techniques and Applications (RTA 2001) (Program Committee Member).
The 2nd International Workshop on Implementation of Logics (Program Committee Member).
The Eighth Workshop on Automated Reasoning (ARW 2001) (Invited Speaker).
The International Workshop on Rewriting in Proof and Computation (RPC'01) Sendai, Japan, October 25-27, 2001. (Invited Speaker).

2000

The 17th International Conference on Automated Deduction (CADE'2000) (Program Committee Member).
The ACM SIGPLAN International Conference on Principles and Practice of Declarative Programming (PPDP'2000) (Program Committee Member).
The 7th International Conference on Logic for Programming and Automated Reasoning (LPAR'2000) (Program Committee Member).
The The Reunion Workshop on Implementations of Logic (Invited speaker).

1999

The Federated Logic Conference (FLoC) (CADE Invited speaker).
The International Summer School on Constraints in Computational Logics (Lecturer).
The International Workshop on Constraints in Computational Logics.
The 16th International Conference on Automated Deduction (Program Committee Member).
The 6th International Conference on Logic for Programming and Automated Reasoning (LPAR'99) (Program Committee Member).