Symposium Chair
Bernhard STEFFEN
(TU Dortmund, D)
Program Chair
Tiziana MARGARIA
(Univ. Potsdam, D)
Industrial Board
(to be
completed)
Program Committee
(to be
completed)
Yamine AIT AMEUR (LISI/ENSMA, F)
Bruno d'AUSBOURG (ONERA/DTIM, F)
Tom BALL (Microsoft Research, USA)
Ellen F. BARBOSA (ICMC-USP, BRA)
Frédéric BONIOL (IRIT/ENSEEIHT, F)
Karin BREITMAN (PUC-Rio, BRA)
Ruth BREU (Univ. Innsbruck, A)
Jean-Pierre BRIOT (UPMC - LIP6 -
F)
Eric BURGER (BEA, US)
Maura CERIOLI (Disi, Genova - I)
Noel CRESPI (GET, F)
Klaus DAVID (Univ. Kassel, D)
Jin Song DONG (National Univ., SG)
Schahram DUSTDAR (TU Wien, A)
Stefania GNESI (ISTI, Pisa, I)
Paul GIBSON (IT Sud Paris - Evry, F)
Karl M. GöSCHKA (TU Wien, A)
Edward H. HAEUSLER (PUC-Rio, BRA)
Axel HAHN (Univ. Oldenburg, D)
Mike HINCHEY (LERO - IRL)
Stefan HOLTEL (Vodafone Research,
D)
Antti HUIMA (Conformiq Software,
FIN)
Nick HULSAK (AT&T, US)
Ajit JAOKAR (Futuretext, UK)
He JIFENG (East China Norm. Univ.,
CN)
Raimund KIRNER (TU Wien, A)
Jens KNOOP (TU Wien, A)
Joost KOK (Leiden Univ., NL)
Pieter KRITZINGER(Univ. Capetown,
ZA)
Bernd KRÄMER (FU Hagen, D)
Nada LAVRAC (Jozef Stefan Inst.,
SLO)
Björn LISPER (Mälardalen Univ., S)
Zhiming LIU (UNU-IIST. Macao, CN)
Jian LU (Nanjing Univ., CN)
T. MAGEDANZ (TU
Berlin/Fraunh.FOKUS, D)
José C. MALDONADO (ICMC-USP, BRA)
Dominique MERY (LORIA - Nancy Univ., F)
Christian METZLER (BMW Car IT, D)
Roberto MINERVA (Telecom Italia,
I)
Alexander K. PETRENKO (ISPRAS, RU)
Enrico PITTALUGA (ETT, Genova, I)
Peter PUSCHNER (TU Wien, A)
Christian SCHALLHART (TU München,
D)
Jörn SCHNEIDER (Robert Bosch GmbH,
D)
Markus SCHORDAN (TU Wien, A)
Ulrich STAIGER (Deutsche Telekom,
D)
Hong-Linh TRUONG (TU Wien, A)
Helmut VEITH (TU Darmstadt, D)
Ji WANG (Changsha Inst., CN)
Martin WECHS (BMW, D)
Virginie WIELS (ONERA/DTIM, F)
Uwe ZDUN (TU Wien, A)
Dirk ZIEGENBEIN (ETAS GmbH, D)
Deadlines:
Regular
papers:
Submission: May
4th
Acceptance: June 15th
Final version: July 15th
Early Registr.: September
15th
Co-Sponsored by
Endorsed by
|
3rd
International
Symposium
On
Leveraging
Applications
of
Formal Methods, Verification and
Validation
13-16 October 2008 - Porto Sani Resort,
Kassandra (Greece)
http://www.cs.uni-potsdam.de/isola2008
ISoLA is a forum for
developers, users, and researchers to discuss
issues related to the adoption and use of rigorous
tools for the specification analysis, verification,
certification, construction, test, and maintenance
of systems from the point of view of their
different application domains. To bridge the gap
between designers and developers of (formal methods
based) rigorous tools, and users in engineering and
in other disciplines, it fosters and exploits
synergetic relationships among scientists,
engineers, software developers, decision makers,
and other critical thinkers. In particular, by
providing a venue for the discussion of common
problems, requirements, algorithms, methodologies,
and practices, ISoLA aims at
supporting researchers in their quest to improve
the utility, reliability, flexibility and
efficiency of tools for building systems and users
in their search of adequate solutions to their
problems. Applications and case studies with a
conceptual message and experience papers with a
clear link to tool construction are all
encouraged.
Special track themes:
Thematic sessions:
Co-located Workshops:
|