SMT

SMT Meetings

SMT 2024, Montreal, Canada - affiliated with CAV-36

SMT 2023, Rome, Italy - affiliated with CADE-29

SMT 2022, Haifa, Israel - affiliated with IJCAR 2022

SMT 2021, online - affiliated with CAV 2021

SMT 2020, online - affiliated with IJCAR 2020

SMT 2019, Lisbon, Portugal - affiliated with SAT 2019

SMT 2018, Oxford, UK - affiliated with IJCAR 2018

SMT 2017, Heidelberg, Germany - affiliated with CAV 2017

SMT 2016, Coimbra, Portugal - affiliated with IJCAR 2016

SMT 2015, San Francisco, CA, USA - affiliated with CAV 2015

SMT 2014, Vienna, Austria - affiliated with CAV 2014, IJCAR 2014, and SAT 2014

SMT 2013, Helsinki, Finland - affiliated with SAT 2013

SMT 2012, Manchester, UK - affiliated with IJCAR 2012

SMT 2011, Snowbird, USA - affiliated with CAV 2011

SMT 2010, Edinburgh, UK - affiliated with CAV 2010 and SAT 2010

SMT 2009, Montreal, Canada - affiliated with CADE-22

SMT 2008, Princeton, USA - affiliated with CAV 2008

SMT 2007, Berlin, Germany - affiliated with CAV 2007

PDPAR Meetings (*)

PDPAR 2006, Seattle, USA - affiliated with IJCAR 2006

PDPAR 2005, Edinburgh, UK - affiliated with CAV 2005

PDPAR 2004, Cork, Ireland - affiliated with IJCAR 2004

PDPAR 2003, Miami, USA - affiliated with CADE-19