Cesare Tinelli's Service
Coordination
- The SMT-LIB
initiative (since Aug 2003)
Steering Committees
- FTP
(since November 2003)
- SMT
(since August 2012, September 2009 - August 2011)
- CADE Inc.
(November 2005 - November 2008)
- FroCoS
(since August 2010, July 2004 - November 2007)
- IJCAR
(October 04 - October 2007)
Organization
- StarExec 2013,
June 8, 2013, Lake Placid, NY, USA
- StarExec 2012,
July 1, 2012, Manchester, UK
- FroCoS 2011,
October 5 - 7, 2011, Saarbrücken, Germany
- SAT/SMT Summer School 2011,
June 12 - 17, 2011, Boston, USA
- MVD 2010,
September 17 - 18, 2010, Iowa City, USA
- 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
Program Committees
- CILC 2013,
September 25 - 27, 2013, Catania, Italy
- SMT 2013,
July 8 - 9, 2013, Helsinki, Finland
- NFM 2013,
May 13 - 16, 2013, Moffett Field, CA, USA
- TACAS 2013,
March 16 - 24, 2013, Rome, Italy
- SMT 2012,
June 30 - July 1, 2012, Manchester, UK
- IJCAR 2012,
June 26 - June 29, 2012, Manchester, UK
- LPAR-18 ,
March 11 - 15, 2012 , Merida, Venezuela
- FroCoS 2011,
October 5 - 7, 2011, Saarbrücken, Germany
- CADE 23,
July 31 - August 5, 2011, Wrocław, Poland
- SMT 2011,
July 14 - 15, 2011, Snowbird, Utah, USA
- LPAR 17,
October 10 - 15, 2010, Yogyakarta, Indonesia
- 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 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
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