2005 IEEE ISoLA Workshop

on Leveraging Applications
of Formal Methods, Verification, and Validation

23-24th September 2005
Loyola College Graduate Center, Columbia, MD (USA)


With a Special track theme:
Formal Methods in Human and Robotic Space Exploration

http://sttt.cs.uni-dortmund.de/isola2005

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.

Particularly welcome are Regular contributions, Survey papers, Student
Papers and Tool demonstrations concerning

Use of
• Deduction and model-checking
• System construction and transformation techniques
• Program analysis
• Compositional and refinement-based methodologies
• Testing and test-case generation
• Tool environments and tool architectures
• Agent techniques,
• Coordination technologies

Application Areas:
• Electrical engineering, embedded systems, and controllers
• Integration (legacy systems…)
• Interoperability (HW/SW, MEMs, …)
• Pervasive Computing
• Financial and banking sectors, E-commerce
• Real-time, hybrid, and safety critical systems
• Robotic Systems for Space Exploration
• Telecommunications
• Transportation and aviation

Keynote Speaker: John C. Knight (U. Virginia, USA)
Why Are Formal Methods Still Not Used More Widely?


Deadlines:
Papers submission (electronic): June 17th, 2005
Notification of acceptance: July 20th, 2005
Final version: August 27st, 2005
Early Registration August 25th, 2005

All accepted papers will be published in the symposiums´ proceedings
(IEEE). Selected papers will appear in "Innovations in Systems and
Software Engineering: A NASA Journal (Springer Verlag, London)".


Symposium Chair

Tiziana MARGARIA (Univ. Göttingen, D)

Program Co-Chairs

Mike Hinchey (NASA GSFC, USA)
Bernhard STEFFEN (Univ. Dortmund, D)

Organization Chair

V.J. "Ben" BENOKRAITIS (Loyola College in Maryland, USA)

Publicity Chair
Lenore Zuck (UIC, USA)

Program Committee

Yamine AIT AMEUR (ENSMA, F)
V.J. "Ben" BENOKRAITIS (Loyola College in Maryland, USA)
Ramesh BHARADWAJ (Naval Research Laboratory, USA)
Shawn BOHNER (Virginia Tech, USA)
Jonathan BOWEN (London South Bank Univ.,UK)
Martin FEATHER (JPL, USA)
Stefania GNESI (IEI Pisa, I)
John HATCLIFF (Kansas State U, USA)
Joost KOK (Univ. Leiden, NL)
Mike LOWRY (NASA Ames, USA)
Markus MÜLLER-OLM (Univ. Dortmund, D)
Jim RASH (NASA GSFC, USA)
Chris ROUFF (SAIC, USA)
Walt TRUSZKOWSKI (NASA GSFC, USA)

Sponsored by

IEEE, NASA, Loyola College of Maryland, Univ. Dortmund

Endorsed by

EASST, SEL, Univ. Göttingen