Cesare Tinelli's Service
Coordination
- The SMT-LIB
initiative (since Aug 2003)
Steering Committees
- CADE Inc.
(November 2005–November 2008)
- ETAPS
(December 2013–November 2014)
- FroCoS
(since August 2010, July 2004–November 2007)
- FTP
(November 2003–November 2012)
- IJCAR
(October 2004–October 2007)
- MVD
(Since September 2009)
- SMT
(August 2012–August 2014, September 2009–August 2011, September 2020–August 2024)
Organization
- OSSyM 2024,
July 23, 2024, Toronto, Canada
- Dagstuhl Seminar 19371,
September 8–13, 2019, Wadern, Germany
- MVD 2018,
September 28–29, 2018, Iowa City, IA, USA
- Dagstuhl Seminar 17371,
September 10–15, 2017, Wadern, Germany
- 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
- SBFN 2023,
December 4 – 8, 2023, Manaus, Brazil
- Overlay-23,
November 6 – 9, 2023, Rome, Italy
- SC2 2023,
July 28, 2023, Tromsø, Norway
- CADE-29,
July 1 – 4, 2023, Rome, Italy
- TACAS 2023,
April 24–27, 2023, Paris, France
- HILT 2022,
October 10, 2022, Ann Arbor, MI, USA
- TACAS 2022,
April 2–7, 2022, Munich, Germany
- VMCAI 2022,
January 16–18, 2022, Philadelphia, PA, USA
- ATVA 2021,
October 18–22, 2021, Gold Coast, Australia
- CAV 2021,
July 18–23, 2021, Los Angeles, CA, USA
- SMT 2021,
July 18–19, 2021, Los Angeles, CA, USA
- NFM 2021,
May 24–28, 2021, Norfolk, VA, USA
- IJCAR 2020,
June 29–July 5, 2020, Paris, France
- FMCAD 2019,
October 22–25, 2019, San Jose, CA, USA
- FroCoS 2019,
September 4–6, 2019, London, UK
- CAV 2019,
July 15–18, 2019, New York, NY, USA
- SMT 2019,
July 7–8, 2019, Lisbon, Portugal
- LPAR-22,
November 16–21, 2018, Awassa, Ethiopia
- IJCAR 2018,
July 14–17, 2018, Oxford, UK
- ITP 2018,
July 9–12, 2018, Oxford, UK
- NFM 2018,
April 17–19, 2018, Newport News, VA, USA
- TABLEAUX 2017,
September 25–29, 2017, Brasília, Brazil
- CADE-26,
August 8–11, 2017, Gothenburg, Sweden
- ARCADE 2017,
August 6, 2017, Gothenburg, Sweden
- NFM 2017,
May 16–18, 2017, Moffett Field, CA, USA
- SC2 2016,
September 24, 2016, Timisoara, Romania
- LICS 2016,
July 5–8, 2016, New York City, NY, USA
- SMT 2016,
July 1–2, 2016, Coimbra, Portugal
- HaTT 2016,
July 1, 2016, Coimbra, Portugal
- TACAS 2016,
2–8 April 2016, Eindhoven, The Netherlands
- CPP 2016,
January 18–19, 2016, Saint Petersburg, FL, USA
- SETTA 2015,
November 4–6, 2015 Nanjing, China
- FroCoS 2015,
September 15–19, 2015, Wroclaw, Poland
- PxTP 2015,
August 2–3, 2015, Berlin, Germany
- CAV 2015,
July 18–24, 2015, San Francisco, CA, USA
- TACAS 2015,
April 11–19, 2015, London, UK
- FMCAD 2014,
October 21–24, 2014, Lausanne, Switzerland
- ARQNL 2014,
July 23, 2014, Vienna, Austria
- IJCAR 2014,
July 19–22, 2014, Vienna, Austria
- CAV 2014,
July 18–22, 2014, Vienna, Austria
- SMT 2014,
July 17–18, 2014, Vienna, Austria
- VSTTE 2014,
July 17–18, 2014, Vienna, Austria
- CSTVA 2014,
May 31, 2014, Hyderabad, India
- TACAS 2014,
April 5–13, 2014, Grenoble, France
- 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