ASM '07
The 14th International ASM Workshop is devoted to all aspects of the theory and applications of Abstract State Machines in SW/HW engineering, including the development of ASM tool support and industrial applications.
The following three focus areas are planned and will be subject of a series of invited lectures:
Software Engineering: Integration of (ASM-)Tools, Generation of correct software.
Security: Modelling and implementing security.
Web service modelling: Abstract and high-level description of web services.
There will be the following invited talks at the workshop:
Michael Altenhofen (SAP): on Design and analysis of web services
Don Batory (University of Texas): On the Compositional Structure of Software Products
Giampaolo Bella (Universitΰ di Catania): What is Correctness of Security Protocols?
Yuri Gurevich (Microsoft Research, Redmond, USA): The Background of a Computation
Jakob Rehof (Fraunhofer ISST): Software Architectures for Security
Important Dates:
March 31st, 2007 Deadline for paper submission
May 7th, 2007 Notification of acceptance
June 7th-9th, 2007 Workshop
September 10th, 2007 Submission for publication in a special issue of a journal
We recommend early registration, in particular early hotel reservation, to be done by every participant directly with the hotels which proceed on a first-come-first-served basis. Indicate the affiliation with ASM'2007 to get the reduced hotel rate.
