Robert Nieuwenhuis. Research events I'm involved in

2015

• The 12th International Conference on Integration of Artificial Intelligence (AI) and Operations Research (OR) techniques in Constraint Programming (CPAIOR 2015) (Invited Speaker).
  

2012

• The 6th International Joint Conference on Automated Reasoning (IJCAR 2012) (Invited Speaker).
  

2010

• The 16th International Conference on Principles and Practice of Constraint Programming (CP 2010) (Invited Speaker).
  
• The 13th International Conference on Theory and Applications of Satisfiability Testing (SAT 2010) (Program Committee member).
  

2009

• The Twelfth International Conference on Theory and Applications of Satisfiability Testing (SAT 2009) (Invited Speaker).
  
• The Annual ERCIM Workshop on Constraint Solving and Constraint Logic Programming (Invited Speaker).
  

2008

• The 2nd International Workshop on Logic and Search (LaSh 2008) (Invited Speaker).
  
• The 23th IEEE Symposium on Logic in Computer Science (LICS 2008). (Program Committee member).
  
• The 14th Int. Conf. on Principles and Practice of Constraint Programming (CP 2008) (Program Committee member).
  
• The 19th International Conference on Rewriting Techniques and Applications (RTA 2008) (Program Committee member).
  
• The 6th International Workshop on Satisfiability Modulo Theories (SMT 2008) (Program Committee member).
  

2007

• The 18th International Conference on Rewriting Techniques and Applications (RTA 2007) (Invited Speaker).
  
• The Workshop on integration of SAT and CP (CP-SAT'07). (Program Committee Member)
  
• The 5th Int. Workshop on Satisfiability Modulo Theories (SMT 2007) (Program Committee Member).

2006

• The Workshop on integration of SAT and CP (CP-SAT'06). (invited speaker)
  
• The Workshop on AT Solving and Program Veification (SSPV'06). (invited speaker)
• The Workshop on Pragmatics of Decision Procedures in Automated Reasoning (PDPAR 2006) (Program Committee Member).

2005

• The 12th International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR 2005) (Invited Speaker).
• 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).