|
(We apologize if you received multiple copies of this email)
+--------------------------------+
| Second Call for Papers |
| CHARME 2005 |
+--------------------------------+
13th Advanced Research Working Conference on
Correct Hardware Design and Verification Methods
3-6 October 2005
Saarbrücken (Germany)
http://www.charme2005.com
Co-sponsored by the SIG-CHARME of IFIP TC10/WG10.5 Special Interest Group
on Formal Design and Verification Methods for Correct Hardware-like Systems.
Objectives
----------
CHARME 2005 is the thirteenth in a series of working conferences devoted to
the development and use of leading-edge formal techniques and tools for the
specification, design and verification of hardware and hardware-like
systems. Previous conferences have been held in Darmstadt, Edinburgh,
Grenoble, Glasgow, Leuven, Torino, Arles, Frankfurt, Montreal, Bad
Herrenalb, Edinburgh
and l'Aquila.
CHARME takes place on odd-numbered years, and rotates primarily in Europe.
It is the biennial counterpart of FMCAD, which takes place every even
year in the USA.
The aim of CHARME 2005 is to bring together researchers and users from
academia and industry working in this active area of research. This year, a
special focus on mixed technology and tool integration will be
realised through:
- a full day of hands-on tool tutorials and tool demonstrations
- research prototype demonstrations, with an emphasis on new tool
combinations
The conference will cover original research results, case studies,
technology evaluation, tool integration across application domains and
design stages, and reports on practical experiments. Papers describing
original work in all aspects of formal hardware and system on a chip
specification, design and verification
methods are invited.
The event will be held 3-6 October 2005 and hosted on the campus of
the Universität des Saarlandes, north-east of the center of Saarbrücken,
by the Computer Science Department.
Saarbrücken is located in the western part of Germany, close to the
French border.
The city is tightly connected by train or shuttle bus to the
international airports of Luxemburg and Frankfurt.
Major railroads connect Saarbrücken every hour within Germany and
frequently to Metz, Nancy or Paris.
Topics
------
Topics of interest include, but are not limited to
- formal specification languages
- formal methods for commercial high-level description languages
- correctness preserving transformations
- formal synthesis methods
- use of theorem provers for verification
- correctness aspects in HW/SW co-design
- abstraction and compositional techniques
- formal timing verification
- formal verification for special classes of virtual modules
- formal verification of hardware-dependent software
- formal verification of hardware/software systems
- combinations of formal and semi-formal methods
- synergies between methods
- reuse of proven correct virtual modules
- diagnosis of design errors
- practical and industrial applications of formal techniques
Paper submission
----------------
The conference proceedings will appear as a volume in Springer-Verlag's
Lecture Notes in Computer Science series and will be available at the
conference.
Papers may be submitted under one of the following two formats:
- Full papers, describing original research work, intended for an oral
plenary presentation, should not exceed 15 pages (LNCS style),
- Short papers, describing on-going less mature research work, or
research prototype demonstations, intended for presentation as poster
or during the tool day, should not exceed 4 pages (LNCS style).
All papers will be submitted electronically following the procedure
given on the submission page of the conference website,
http://www.charme2005.com
The program committee reserves the right to accept a submitted full
paper as a poster,
and request the authors to shorten it.
Selected contributions may be invited for publication in STTT
(International Journal on Software Tools for Technology Transfer,
Springer-Verlag).
Author's Schedule
-----------------
- March 29, 2005: Deadline for paper submission
- May 23, 2005: Notification of acceptance
- June 30, 2005: Deadline for final version
At least one author for each accepted paper will be requested to register
when submitting the final version of their paper, to guarantee lower
registration fees and publication of their contribution.
Conference Chair
----------------
Wolfgang Paul
Universität des Saarlandes
FR Informatik
Im Stadtwald
Geb. 45
66123 Saarbrücken
Germany
Tel: +49-681-302-2436
Fax: +49-681-302 4132
Email: [log in to unmask]
Program Chair
-------------
Dominique Borrione
Laboratoire TIMA
46 Avenue Félix Viallet
38031 Grenoble cedex
France
Tel: +33- 4.76.57.49.82,
Fax: +33- 4.76.57.49.81
Email: [log in to unmask]
Local Arrangements Chair
------------------------
Thomas in der Rieden
Universität des Saarlandes
FR Informatik
Im Stadtwald
Geb. 45
66123 Saarbrücken
Germany
Tel: +49-681-302-3585
Fax: +49-681-302-4132
Email: [log in to unmask]
Programme Committee
-------------------
Mark AAGAARD University of Waterloo, Canada
Armin BIERE JKU Linz, Austria
Gianpiero CABODI Politecnico di Torino, Italy
Rolf DRECHSLER Univ. Bremen, Germany
Emmanuelle ENCRENAZ LIP6, France
Hans EVEKING T. U. Darmstadt, Germany
Danny GEIST IBM, Israel
Ganesh GOPALAKRISHNAN Univ. of Utah, USA
Mike GORDON Cambridge University, UK
Alan HU Univ. of British Columbia, Canada
Warren HUNT Univ. of Texas at Austin, USA
Steve JOHNSON Indiana University, USA
Thomas KROPF Bosch, Germany
Wolfgang KUNZ Univ. Kaiserslautern, Germany
Panagiotis MANOLIOS Georgia Institute of Technology, USA
Tiziana MARGARIA Univ. Dortmund, Germany
Andrew MARTIN IBM, USA
Ken MCMILLAN Cadence, USA
Tom MELHAM Oxford University, UK
John O'LEARY Intel, USA
Enric PASTOR Univ. Polytecnica Catalunya, Spain
Laurence PIERRE Univ. Nice, France
Carl PIXLEY Synopsys, USA
Mary SHEERAN Chalmers Univ., Sweden
Eli SINGERMAN Intel, Israel
Anna SLOBODOVA Intel, USA
Enrico TRONCI Univ. Roma, Italy
Miroslav VELEV Reservoir Labs, USA
|
