Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] SSV 2011: Call for Participation


view this post on Zulip Email Gateway (Aug 18 2022 at 18:02):

From: Hendrik Tews <tews@os.inf.tu-dresden.de>
[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 *

* Registration Deadlines *

* Location *

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

* Program *

Invited Talks:

Regular Talks:

* 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)


Last updated: Mar 29 2024 at 12:28 UTC