Dataspesialister fra hele verden samles i Grimstad
- Abstract State Machines Workshop (ASM'07) har blitt en av de viktigste årlige begivenhetene for alle som er involvert i Modellering av systemer ved bruk av matematiske metoder, sier professor Andreas Prinz ved Fakultet for teknologi.
Professor Andreas Prinz leder den årlige samlingen for ledende datamodelleringseksperter. ASM'07 er lagt til Grimstad 7. - 9. juni.
Fra 7. juni – 9. juni tar HiA i Grimstad imot modelleringsspesialister fra hele verden.
Konferansen tilbyr flere interessante gjester fra forskjellige områder der modellering er viktig. Deltakelse på enkelte foredrag er gratis, men for de som er interessert å delta på hele konferansen har vi en spesialpris for HiA-ansatte. Ta kontakt med professor Andreas Prinz - gjerne på e-post:
Følgende størrelser i faget holder foredrag:
Michael Altenhofen (SAP): on Design and analysis of web services
Don Batory (University of Texas): On the Compositional Structure of SoftwareProducts
Giampaolo Bella (Università di Catania): What is Correctness of SecurityProtocols?
Yuri Gurevich (Microsoft Research, Redmond, USA): The Background of a Computation
Jakob Rehof (Fraunhofer ISST): Software Architectures for Security
Kommentarer
Universitetet i Agderpost@uia.no
Telefon: +47 38 14 10 00 Fax: +47 38 14 10 01
