[SMT-LIB] SMT2016 Call For Participation

Tim King taking at google.com
Wed Jun 8 03:31:10 EDT 2016


SMT Workshop 2016
14th International Workshop on Satisfiability Modulo Theories
Affiliated with IJCAR 2016, Coimbra, Portugal
July 1sth - 2nd, 2016
http://smt-workshop.cs.uiowa.edu/2016/

--- Call For Participation ---

======================================================================

Registration is open for SMT 2016 through the IJCAR webpage
(http://www.uc.pt/en/congressos/ijcar2016/registration).
The early registration deadline is June 9, 2016.

See the IJCAR website (http://www.ijcar-2016.info/) for additional
information on travel and accommodation.

Invited Speakers
----------------

Bruno Dutertre, SRI International
The Nuts and Bolts of Yices

Carsten Fuhs, Birkbeck, University of London
SMT Techniques and Solvers in Automated Termination Analysis

Justin Pearson, Uppsala University
Constraint Programming - an Introduction, with some Applications to String
Processing


More information about the SMT-LIB mailing list