2^nd International

Workshop

in Bad Herrenalb, Germany

10^th - 12^th of June, 2003

Aim of the workshop

Like the first KeY Workshop 2002 in Göteborg, the KeY Workshop 2003 collects the researchers who work on or have a serious interest in the KeY approach to integrating formal methods into software engineering. We will present each other the latest achievements concerning KeY related research and the KeY Tool. Moreover, we will exchange current ideas, discuss the next steps and milestones, as well as future directions in general.
The KeY Workshop includes an Industry Session, to which the organizers invited representatives of different companies. It will contain a presentation of the KeY approach and a demonstration of the KeY tool. The Industry Session will be a platform for discussions of future directions of KeY in the light of the needs of industry.

Location

The workshop takes place in the "Haus der Kirche" in Bad Herrenalb. Bad Herrenalb is a small town in the Black Forest about 30 km south of Karlsruhe. Here is a detailed description on how to go to our venue (in German).

Participants

Workshop Participants (25 participants, final list)


	Wolfgang Ahrendt	(Chalmers University of Technology)
	Gustav Andersson	(Chalmers University of Technology)
	Thomas Baar	(École Polytechnique Fédérale de Lausanne)
	Richard Bubel	(Universität Karlsruhe)
	Bernhard Beckert	(Universität Karlsruhe)
	Hans-Joachim Daniels	(Universität Karlsruhe)
	Adam Darvas	(Chalmers University of Technology)
	Christian Engel	(Universität Karlsruhe)
	Martin Giese	(Chalmers University of Technology)
	Reiner Hähnle	(Chalmers University of Technology)
	Kristofer Johannisson	(Chalmers University of Technology)
	Bastian Katz	(Universität Karlsruhe)
	Uwe Keller	(Universität Karlsruhe)
	Vladimir Klebanov	(Universität Karlsruhe)
	Daniel Larsson	(Chalmers University of Technology)
	Wolfram Menzel	(Universität Karlsruhe)
	Wojciech Mostowski	(Chalmers University of Technology)
	Stanislas Nanchen	(ETH Zürich)
	André Platzer	(Universität Karlsruhe)
	Andreas Roth	(Universität Karlsruhe)
	Philipp Rümmer	(Universität Karlsruhe)
	Steffen Schlager	(Universität Karlsruhe)
	Peter H. Schmitt	(Universität Karlsruhe)
	Holger Stenger	(Universität Karlsruhe)
	Angela Wallenburg	(Chalmers University of Technology)

Industry Session Participants (preliminary list)


	The KeY Workshop Participants
	Stefan Gerberding	(DB Systems)
	Joachim Posegga	(SAP)
	Clemens Reichmann	(Uni Karlsruhe, Dept. Electrical Engineering)
	Peter Stemer	(Agilent Technologies)
	NN	(Agilent Technologies)