3rd Workshop on Discrete Event Systems (WODES'96) First Announcement and Call for Papers August 19-21, 1996 Edinburgh, Scotland, UK MAIN THEME: DES: Integrating control systems and computer science perspectives AIMS AND SCOPES: DES has developed to be an interdisciplinary field of shared interest, methodologies and applications between control and computer science. The workshop aims at bringing together researchers from different sciences (control theoreticians, software engineers, computer scientists) in order to exchange information and ideas and discuss new developments in the field. It is envisaged that areas of interaction will be further explored and common applications will be considered with a view to INTEGRATE methodology, techniques and tools for the new era of technology. TOPICS: The workshop will focus on the control of DES (with emphasis on real time control), computer science (with emphasis on hybrid systems, timed systems, Petri nets, process algebras, software verification and design), and applications (with emphasis on manufacturing systems and software engineering). SPONSORSHIP: The workshop is organized and sponsored by the Institution of Electrical Engineers (IEE), U.K. PLENARY LECTURES: Five plenary lectures are planned: two on control engineering, two on computer science and one on applications. At present invited speakers are: R. Kurshan, AT&T Bell Laboratories, Murray Hill, NJ, USA S. Lafortune, Dept. EE&CS, University of Michigan, Ann Arbor, MI, USA R. Milner, Computer Laboratory, University of Cambridge, Cambridge, UK ORGANIZATION COMMITTEE: M.P. Spathopoulos, R. Smedinga, P. Kozak. PROGRAM COMMITTEE: M. Broy, C.G. Cassandras, G. Cohen, S.B. Gershwin, M. Hennessy, Y.C. Ho, B.H. Krogh, R. Kurshan, S.I. Marcus, T. Murata, G.J. Olsder, J.M. Proth, P.J. Ramadge, W. Reisig, M. Rem, J.H. van Schuppen, J. Sifakis. CONTRIBUTIONS: Submitted papers should be limited to 12 A4 pages. Accepted camera-ready papers should be limited to 6 Proceedings pages. Submission by email and in LaTeX is preferred. A LaTeX-style file is available through anonymous ftp. REGISTRATION: Please, do your registration preferably using e-mail at wodes96@cs.rug.nl. PROCEEDINGS: Full versions of the accepted contributions will be included in the Workshop Proceedings published by IEE. Proceedings will be published before the workshop, have an ISBN number and are marketed using IEEE channels as well. The intention is that after the workshop a selection of extended papers will be published in an edited book. More information will follow. WORKSHOP ADDRESS: WODES96 Rein Smedinga Dept. of Computing Science University of Groningen P.O.Box 800 NL-9700 AV Groningen the Netherlands E-mail: wodes96@cs.rug.nl Fax: +31-50-633800 WWW: http://www.cs.rug.nl/info/WODES/ ftp: ftp.cs.rug.nl directory: pub/wodes96 PLACE: The workshop will take place in the University of Edinburgh complex (Edinburgh, Scotland, UK). Accommodation consists of ensuite rooms (private bathrooms) and of standard student rooms within the complex. The complex is located close to the center of Edinburgh and the time coincides with the Edinburgh festival which starts on 16 of August and lasts for two weeks. The festival is a cultural pole of attraction for thousands of visitors and include different cultural events (film festival, music and concerts, theatre, opera, and other festivities). The attractions of the city of Edinburgh are also unique and the organizing committee hopes and expects that the venue will improve the informal and social contacts between the participants. SOCIAL PROGRAM: A social program will be announced later. REGISTRATION FEE: The conference fee and IEE address for payment will be included in the second announcement. Accommodation prices are approximately 40 pounds per night for ensuite single rooms, 65 pounds for double ensuite rooms and 28 pounds for student (no bathroom) rooms. Please note that preliminary booking of rooms is essential. Also indicate if you need to keep the rooms for a period longer than the duration of the workshop. SUMMARY OF IMPORTANT DATES: January 1, 1996 - Deadline for submission of contributed papers (max 12 A4 pages) April 1, 1996 - Notification of acceptance of submitted papers, final announcement and preliminary program June 1, 1996 - Deadline for reception of camera-ready papers June 1, 1996 - Deadline for early registration August 18, 1996 - Afternoon - Registration August 19-21, 1996 - WODES 96 August 22, 1996 - Morning - Closing Breakfast and discussion FURTHER INFORMATION: http://www.cs.rug.nl/info/WODES/