[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[PVS] SSV 2011: Call for Participation



[My apologies if you see multiple copies of this call -- Hendrik Tews]

SSV 2011: Call for Participation

6th International Workshop on
Systems Software Verification (SSV'11)
Real Software, Real Problems, Real Solutions

August 26, 2011, Nijmegen, The Netherlands
https://es.fbk.eu/events/ssv2011/

............................................................................

SSV'11 is the 6th workshop in a series bringing together researchers and
developers from both academia and industry, who are facing real software
and real problems to find real, applicable solutions. This years workshop
is co-located with the 2nd International Conference on Interactive Theorem
Proving (ITP'11).


***** Invited Talks *****

- Sebastien Bardin (CEA, France)
- Bart Jacobs (Katholieke Universiteit Leuven, Belgium)
- Peter Sewell (University of Cambridge, UK)


***** Registration Deadlines *****

- Early registration (before July 15 2011), EUR 40
- Late registration (after July 15 2011), EUR 50
Please follow directions and links on the website.


***** Location *****

Hotel Erica in Berg en Dal (next to Nijmegen, the Netherlands)


***** Program *****

Invited Talks:

* S. Bardin
  Refinement-based CFG Reconstruction from Executable Files

* B. Jacobs
  VeriFast: A Powerful, Sound, Predictable, Fast Verifier for C and Java

* P. Sewell
  Making Sense of Relaxed-Memory Concurrency

Regular Talks:

* J. Brauer, R. R. Hansen, S. Kowalewski, K. G. Larsen and M. C. Olesen
  Adaptable Value-Set Analysis for Low-Level Code

* D. Gueckel and S. Kowalewski
  Automatic Derivation of Abstract Semantics From Instruction Set Descriptions

* H. Gast
  Structuring Interactive Correctness Proofs by Formalizing Coding Idioms

* S. Berghofer
  Verification of Dependable Software using Spark and Isabelle

* A. Jääskeläinen, M. Katara, S. Katz and H. Virtanen
  Verification of Safety-Critical Systems: A Case Study Report on Using Modern
  Model Checking Tools

* J. O. Blech
  A Tool for the Certification of Sequential Function Charts based System
  Specifications


***** Workshop Dinner *****

The workshop will close with a dinner event. For planning the
workshop dinner and the number of printed proceedings, it would
be nice if you send a short email with the number of workshop and
dinner participants to hendrik@askra.de


***** Program Committee *****

Dirk Beyer (University of Passau, Germany)
Joerg Brauer (RWTH Aachen University, Germany)
Adam Chlipala (Harvard, USA)
Ansgar Fehnker (NICTA, Australia)
Alexey Gotsman (IMDEA, Spain)
Chris Hawblitzel (Microsoft Research, USA)
Andy King (University of Kent, UK)
Stefan Kowalewski (RWTH Aachen University, Germany)
Thomas Kropf (Bosch, Germany)
Kim G. Larsen (Aalborg University, Denmark)
Wolfgang Reif (University of Augsburg, Germany)
Marco Roveri (FBK-irst, Italy)
Axel Simon (TU Munich, Germany)
Nishant Sinha (NEC Labs, USA)
Hendrik Tews (TU Dresden, Germany)
Michael Whalen (UMSEC - University of Minnesota, USA)
Kwangkeun Yi (Seoul National University, Korea)


***** Program Chairs *****

Joerg Brauer (RWTH Aachen University)
Marco Roveri (FKB-irst)
Hendrik Tews (TU Dresden)