Cesare Tinelli's Research
Honors
- Invited/Keynote talks:
COMPARE 2012;
NFM 2012;
FT Summer School 2011;
WoLLIC 2010;
VERIFY 2007;
TABLEAUX 2007;
Interpolations (2007)
- Invited lectures/tutorials:
SAT/SMT Summer School 2012;
CAV 2005;
2004 Summer School on Combination of Decision Procedures
- Invited contributions:
Handbook of Satisfiability, 2009;
IEEE Intelligent Systems Magazine 21(6), 2006
- Invited PC Chairs: FroCoS 2011