SMT Meetings

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
(*) Before 2007 the workshop was known as PDPAR, Pragmatics of Decision Procedures in Automated Reasoning.




Home

Meetings

Committees

Related

Bylaws