Cesare Tinelli's Service
Coordination
- The SMT-LIB
initiative (since Aug 2003)
Steering Committees
- FTP
(since November 2003)
- SMT
(since September 2009)
- CADE Inc.
(November 2005 - November 2008)
- FroCoS
(July 2004 - November 2007)
- IJCAR
(October 04 - October 2007)
Program Committees
- EMSQMS 2010,
July 20, 2010, Edinburgh, United Kingdom
- IJCAR 2010,
July 16 - 19, 2010, Edinburgh, United Kingdom
- LfSA 2010,
July 15, 2010, Edinburgh, United Kingdom
- SMT 2010,
July 14 - 15, 2010, Edinburgh, United Kingdom
- FroCoS 2009,
September 16 - 18, 2009, Trento, Italy
- CADE 2009,
August 4 - 7, 2009, Montreal, Canada
- SMT 2009,
August 2 - 3, 2009, Montreal, Canada
- IJCAR 2008,
August 12 - 15, 2008, Sydney, Australia
- PAAR 2008,
August 10 - 11, 2008, Sydney, Australia
- SMT 2008,
July 7 - 8, 2008, Princeton, USA
- LPAR 2007,
October 15 - 19, 2007, Yerevan, Armenia
- FroCoS 2007,
September 10 - 12, 2007, Liverpool, UK
- CADE-21,
July 17 - 20, 2007, Bremen, Germany
- SMT 2007,
July 1 - 2, 2007, Berlin, Germany
- ECAI 2006,
August 28 - September 1, 2006, Riva del Garda, Italy
- VSTTE 2006,
August 22, 2006, Seattle, USA
- PDPAR 2006,
August 21, 2006, Seattle, USA
- DISPROVING 2006,
August 16, 2006, Seattle, USA
- LPAR 2005,
December 2 - 6, 2005, Montego Bay, Jamaica
- FroCoS 2005,
September 19-21, 2005, Vienna, Austria
- DISPROVING 2005,
July 22, 2005, Tallinn, Estonia
- CADE-20,
July 22 - 27, 2005, Tallinn, Estonia
- PDPAR 2005,
July 12, 2005, Edinburgh, UK
- LPAR 2004,
March 14 - 18, 2005, Montevideo, Uruguay
- PDPAR 2004,
July 4, 2004, Cork, Ireland
- DISPROVING 2004,
July 4, 2004, Cork, Ireland
- PDPAR 2004,
July 4, 2004, Cork, Ireland
- PDPAR 2003,
July 28 - July 29, 2003, Miami, USA
- CADE-19,
July 28 - August 2, 2003, Miami, USA
- UNIF 2002,
July 25 - 26, 2002, Copenhagen, Denmark
- FroCoS 2002,
April 8 - 10, 2002, Santa Margherita Ligure, Italy
- UNIF 2001,
June 18 - 19, 2001, Siena, Italy
Organization
- EMSQMS 2010,
July 20, 2010, Edinburgh, United Kingdom
- MVD 2009,
September 11 - 12, 2009, Iowa City, USA
- PDPAR 2004,
July 4, 2004, Cork, Ireland
- PDPAR 2003,
July 28 - July 29, 2003, Miami, USA
- CADE-19,
July 28 - August 2, 2003, Miami, USA
- UNIF 2002,
July 25 - 26, 2002, Copenhagen, Denmark
- UNIF 2001,
June 18 - 19, 2001, Siena, Italy
Journal Editing
-
Special issue of Electronic Notes in Theoretical Computer Science, 125(3), 2005,
with selected papers from PDPAR 2004 and Disproving 2004
-
Special issue of Theoretical Computer Science, 291(3), 2003,
with selected papers from AMAST 2000