Invitation to the VSE Info-Days

The Verification Support Environment (VSE) is a tool which provides support for all phases of the formal software development process. It was initiated by the German Information Security Agency (GISA) and has been developed by industrial and academic partners. VSE was released in 1996 and has already been successfully applied in commercial projects. In response to several requests from academia, the VSE consortium, comprising the DFKI GmbH, the ist GmbH, and the University of Ulm, is pleased to announce a special offer to universities and non-profit research institutes. A special University Licence has been released for the VSE system, making it available for teaching and research purposes. To coincide with this, the VSE consortium cordially invites you to participate in the VSE Info-Days in Saarbrücken, where we will present the VSE system and its range of applications, as well as the groups and persons associated with the system. Although the University Licence is intended for users from academia, everyone with a technical interest in the VSE system is welcome to attend.

Programme

The Info-Days will provide background to and an overview of the VSE system. Time will be devoted to technical aspects, as well as to showing how the system can be used in practice. The system will be demonstrated in small groups, to facilitate participant interaction. A special session will be devoted to general discussion and dealing with questions raised by participants.

Thursday, December 4, 1997

14.00 - 14.15

Opening

14.15 - 14.45

Motivation and Objectives of the VSE Project (M. Ullmann, GISA)

14.45 - 15.15

Functional Modeling and Modular Deduction in VSE (Prof. Dr. W. Reif, Universität Ulm)

15.45 - 16.15

Demands to Deduction arising from Formal Software Development (Dr. D. Hutter, DFKI)

16.15 - 16.45

Secure Digital Signatures: An Application of VSE (Prof. Dr. W. Reif, M. Balser, Universität Ulm)

17.15 - 18.00

Software Development in VSE - Introduction to the Demo-Example -

Friday, December 5, 1997

9.00 - 10.30

Software Development in VSE - Demonstration of VSE in Small Groups -

11.00 - 11.30

VSE-II: An Overview of Ongoing Work (Dr. habil. W. Stephan, DFKI)

11.30 - 13.00

Final Discussion

Organisation

The event will take place at the University of Saarland, in Saarbrücken. If you have any questions or require further information do not hesitate to contact:

Registration

If you would like to participate in the Info-Days, please fill in the application form (disabled) until 30.11.1997. We will be happy to help with your hotel reservations.

You can of course register by telephone or traditional mail.

Web-Demo

Map of the University Campus