Service

Coordination

The SMT-LIB initiative (since Aug 2003)

Editorial Boards

The Journal of Automated Reasoning (since October 2007)
Progress in Computer Science and Applied Logic book series (since October 2018)

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

FMCAD 2026 Student Forum, September 16-18, 2026, Graz, Austria
DASC 2026, September 13-17 2026, Orlando, FLA, USA
CAV 2026, July 26–29 2026, Lisbon, Portugal
IJCAR 2026, July 26–29 2026, Lisbon, Portugal
SMT 2025, August 10–11, 2025, Glasgow, UK
TACAS 2025, May 3–8, 2025, Hamilton, Canada
SBFN 2023, December 4–8, 2023, Manaus, Brazil
Overlay-23, November 6-9, 2023, Rome, Italy
SC² 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
SC² 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