[SMT-LIB] Call for participation: SMT 2011

[Shuvendu Lahiri]

[**** We apologize if you receive multiple copies of this message ******]


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

                            SMT Workshop 2011
     9th International Workshop on Satisfiability Modulo Theories
         Affiliated with CAV'11 Snowbird, Utah, USA, 14-15 July 2011
           http://uclid.eecs.berkeley.edu/smt11/

                         ---CALL FOR PARTICIPATION---

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

Registration and accommodation
-----------------------------
******** Special Room Rate and Block Until: June 20, 2011 *****
******** Normal CAV Registration Rate Ends: June 20, 2011 *****

http://www.cs.utah.edu/events/conferences/cav2011/index.php?page=participation


Program
---------
The program for SMT11 is now online:

http://uclid.eecs.berkeley.edu/smt11/program.html


Invited speakers
----------------
* Viktor Kuncak.
    Software Construction using Executable Constraints.
* Bud Mishra.
    When Biology Meets (Symbolic) Computing: Algebra, Biology, Computability and Diophantus.


Workshop Chairs
---------------
* Shuvendu K. Lahiri   (Microsoft Research)
* Sanjit A. Seshia     (University of California, Berkeley)

Program Committee
-----------------
* Clark Barrett        (NYU)
* Maria Paola Bonacina (Univ. of Verona)
* Alessandro Cimatti   (FBK Trento)
* Scott Cotton         (Univ. College Dublin)
* Bruno Dutertre       (SRI International)
* Martin Fränzle       (Carl von Ossietzky Universität Oldenburg)
* Vijay Ganesh         (MIT)
* Amit Goel            (Intel)
* Franjo Ivancic       (NEC Labs)
* Daniel Kroening      (Oxford)
* Andreas Kuehlmann    (Coverity)
* Shuvendu K. Lahiri   (Microsoft Research)
* Leonardo de Moura    (Microsoft Research)
* Sanjit A. Seshia     (University of California, Berkeley)
* Ofer Strichman       (Technion)
* Cesare Tinelli       (Iowa)

--------------------------------------------------------------------------------