[loginf] Tagungsankündigung ASM 07

Prof. Dr. Peter H. Schmitt pschmitt at ira.uka.de
Fri Nov 3 11:54:31 CET 2006

Ich möchte die Mitglieder der Fachgruppe auf folgende Tagungankündigung
und "call  for papers"  hinweisen:

*                          Call for Papers                           *
*                                                                    *
*                  14th International ASM Workshop                   *
*                                                                    *
*                 June 07-09, 2007, Grimstad, Norway                 *
*                                                                    *
*               Technical paper submission: March    31, 2007        *
*               Author notification:        May       7, 2007        *
*               Camera-ready version:       May      29, 2007        *
*               http://osys.grm.hia.no/asm07                         *
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 workshop programme will include
presentation of research papers as well as workshop discussions.

The following three focus areas are planned and will be subject of a
series of invited lectures:	
Software Engineering, Security, Web service modelling.

Two kinds of contributions are solicited:
 1. Research papers: Full papers (not extended abstracts) of not more
    than 15 pages which have to be original, unpublished, not submitted
    elsewhere and written in English. The papers will be reviewed and
    upon acceptance published in the Local Proceedings of ASM'07.
 2. Short presentations of work in progress, industrial experience
    reports and tool demonstrations. An extended abstract of not more
    than 5 pages is expected and will be reviewed.
PhD students are encouraged to submit papers about their ongoing or
planned research.
All submissions will be reviewed. Accepted papers must be presented at
the workshop by one of the authors. Accepted papers will be published
in Local Proceedings available at the conference. After the conference
the program committee will invite the speakers to submit papers to
a JUCS special issue. The papers will be processed following the usual
reviewing procedure.

Paper Submissions
Electronic submission of full papers or short papers as PDF.
Papers should be formatted using the Springer LNCS style:
For submission rules see the conference webpage.
Important Dates (hard deadlines):
*	Deadline for paper submission: March 31st, 2007
*	Notification of acceptance:		 May 7th, 2007
*	Camera-ready version due:		   May 29th, 2007

Programme Committee
Andreas Prinz, Agder University College, Norway
Egon Börger, University of Pisa, Italy
Uwe Glässer, Simon Fraser University, Canada
Yuri Gurevich, Microsoft Research, USA
Elvinia Riccobene, University of Milan, Italy
Dean Rosenzweig, University of Zagreb, Croatia
Bernhard Thalheim, Christian Albrechts University, Germany
Margus Veanes, Microsoft Research, USA
Charles Wallace, Michigan Technological University, USA
Wolf Zimmermann, Martin Luther University, Germany

The 14th ASM workshop is organised by Agder University College,
Faculty of Engineering and Science
Grimstad, Norway

Conference Chair: Andreas Prinz
Conference Co-Chair: Egon Börger
Fakultät für Informatik
Universität Karlsruhe

More information about the loginf mailing list