nasaformalmethods.org
Organization | Nasa Formal Methods 2015
http://nasaformalmethods.org/organization
Nasa Formal Methods 2015. NASA/JPL (klaus.havelund@jpl.nasa.gov). NASA/JPL (gerard.j.holzmann@jpl.nasa.gov). NASA/JPL (rajeev.joshi@jpl.nasa.gov). Erika Abraham, RWTH Aachen University, Germany. Julia Badger, NASA Johnson Space Center, USA. Christel Baier, Technische Universität Dresden, Germany. Saddek Bensalem, VERIMAG/UJF, France. Dirk Beyer, University of Passau, Germany. Armin Biere, Johannes Kepler University, Austria. Nikolaj Bjorner, Microsoft Research, USA. Dawson Engler, Stanford University, USA.
ifm2010.loria.fr
iFM 2010: call for papers
http://ifm2010.loria.fr/call.html
11 - 14 October 2010. Call for Papers (. Areas of interest include but are not limited to:. Integration of formal modeling and analysis methods Integration of formal and semi-formal modeling and analysis methods Integration of formal methods into software engineering practice Semantics Logics Type systems Verification Model checking Static analysis Theorem proving Refinement Model transformations Tools Experience reports Case studies. Institut für Theoretische Informatik, Technische Universität Dresden.
ifm2010.loria.fr
iFM 2010: Conference program
http://ifm2010.loria.fr/program.html
11 - 14 October 2010. But note changes below). Monday, October 11, 2010. Workshop on Formal Methods for Web Data Trust and Security. Tutorial: Verification of C# programs using Spec# and Boogie 2 (. National University of Ireland. Coffee and lunch breaks. Tutorial: The TLA Proof System (. MSR-INRIA Joint Centre, Saclay, Stephan Merz. INRIA Nancy and LORIA. Tuesday, October 12, 2010. Opening session (chair: Dominique Méry). Opening of iFM 2010. School of Computer Science, Newcastle University. Verificatio...
cav2013.forsyte.at
Call for Papers | CAV 2013
http://www.cav2013.forsyte.at/cfp/index.html
25th International Conference on Computer Aided Verification. July 13 19, 2013 · Saint Petersburg, Russia. Skip to primary content. Skip to secondary content. 25th International Conference on Computer Aided Verification (CAV 2013). July 13-19, 2013 St. Petersburg, Russia. Program Chairs: Natasha Sharygina and Helmut Veith. Website: http:/ cav2013.forsyte.at/. Topics of interest include:. Algorithms and tools for verifying models and implementations. Program analysis and software verification. Submissions...
cav2013.forsyte.at
Program Committee | CAV 2013
http://www.cav2013.forsyte.at/pc/index.html
25th International Conference on Computer Aided Verification. July 13 19, 2013 · Saint Petersburg, Russia. Skip to primary content. Skip to secondary content. LIAFA, Univ. of Paris 7). Microsoft Research, Univ. College London). The University of Edinburgh). Carnegie Mellon Univ.). Carnegie Mellon Univ.). CNRS, Verimag, Jasper DA). Robert P. Kurshan (Cadence Design Systems). Univ of Illinois at Urbana-Champaign). Carnegie Mellon Univ., NASA Ames). Anna Slobodova (Centaur Technology).