Seminars and other talks
Seminar on SAT and SMT for Solving CSP's at the University of
Bergen in March 2011, invited by Prof. Marc Bezem
Seminar on polynomial invariant inference at the University of
Parma in January 2005, invited by Prof. Roberto Bagnara