E2 Design and Verification of Embedded Systems from Natural Language Descriptions

Agenda

Time	Label	Session
13:00	E2	Lunch Break Buffet meal
14:30	E2.1	Session 1
14:30	E2.1.1	Introduction and Envisioned Design Flow Robert Wille, University of Bremen, DE
14:45	E2.1.2	Natural Language Processing Ian G. Harris, University of California, Irvine, US
15:30	E2.1.3	Deriving Formal Specifications Through NLP Rolf Drechsler, DFKI GmbH, DE
16:00	E2	Coffee Break Monday and Friday morning and afternoon coffee breaks will be located in the Salle de Reception. On Tuesday-Thursday the breaks will be located in the Exhibition Hall. Morning and afternoon (with the exception of Thursday afternoon which is a 30 minute break) coffee breaks on Tuesday-Thursday are extended breaks and will run for 60 minutes (coffee points will be open for the first 30 minutes only) from the start time indicated in the programme.
16:30	E2.2	Session 2
16:30	E2.2.1	Verification of Formal Specifications Robert Wille, University of Bremen, DE
17:00	E2.2.2	Code Generation Wolfgang Ecker¹ and Rainer Findenig² ¹Infineon Technologies, DE; ²Intel Mobile Communications, AT
17:45	E2.2.3	Conclusion and Open Research Questions Rolf Drechsler, DFKI GmbH, DE