Visitor Counter

398421

Program Committee

Lothar Breuer
Peter Buchholz
Hans Daduna
Klaus Echtle
Bernhard Fechner
Markus Fidler
Reinhard German
Gerhard Haßlinger
Boudewijn Haverkort
Holger Hermanns
Joost-Pieter Katoen
Peter Kemper
Jörg Keller
Udo Krieger
Wolfram Lautenschläger
Axel Lehmann
Ralf Lehnert
Erik Maehle
Hermann de Meer
Michael Menth
Peter Reichl
Johannes Riedl
Francesca Saglietti
Jens Schmitt
Markus Siegle
Peter Sobe
Helena Szczerbicka
Kurt Tutschku
Oliver Waldhorst
Max Walter
Verena Wolf
Bernd Wolfinger
Katinka Wolter
Armin Zimmermann

Cooperating Partners

Society for Informatics
ITG
Technical Committee Measurment, Modelling and Evaluation of Computing Systems
DFT
Springer
TAO

Guidelines for Authors

Full conference papers:

Papers must be unpublished and must not be submitted for publication elsewhere. All papers will be thoroughly reviewed by at least three referees on the basis of their originality and their scientific and practical contribution to the state-of-the-art. Authors should submit full papers (PDF file, together with abstract) to the Conference System before October 6, 2013. Papers must be written in English and must not exceed 15 pages (LNCS style). The proceedings will be published in the Springer LNCS series. A best paper award will be provided.

 

Practical experience reports and industrial papers:

Besides full papers, industrial papers and practical experience reports are also solicited. Reports should not exceed 8 pages (LNCS style). Acceptedsubmissions will be published separately by University of Bamberg Press.

 

Tool descriptions:

Special sessions will be arranged to present and demonstrate tools relevant to any topic covered by the Call for Papers. Accepted tool descriptions should not exceed four pages and will appear in the proceedings.

 

Tutorial proposals:

Please send your tutorial proposals to the conference chair.

Sponsors

Centron Insius St.Erhard Grossmann