AMAST Mail 1998
[Prev][Next][Index]

(fwd) 2nd CfP: *** FM-TRENDS 98 ***

>From: Dieter Hutter <Dieter.Hutter@dfki.de>
>Subject: 2nd CfP: ***  FM-TRENDS 98  ***
>Date: Fri, 06 Mar 1998 08:54:44 +0100


               Call for Papers
               ----------------


INTERNATIONAL WORKSHOP ON CURRENT TRENDS IN APPLIED FORMAL METHODS


           Boppard, Germany, 7-9 October, 1998



This workshop focuses on key technologies that broaden the application
of formal methods in an industrial setting. Rather than addressing special 
topics in an isolated way it is intended to embrace the various aspects of 
this emerging new technology comprehensively with respect to its industrial
applications.

The workshop provides an open forum for scientists, practising engineers, 
and members of regulatory and funding agencies to discuss the achievements 
as well as future needs and developments. The main objective of the workshop
is to outline a picture of  this technology and its role in the overall 
software life cycle at the end of this century. One of the major aims is to 
assist the (German and European) institutions involved in their assessment 
of this technology with respect to their future funding policies. Also some
major multinational companies will be involved with respect to their 
engagement in this technology.

The workshop will be divided into a technical program composed of invited 
and submitted talks, demonstrations of the main tools, and a special one day 
application forum including a panel discussion about future trends in formal
methods. The technical programme will be split into four tracks, each of them 
will consist of invited talks by leading scientists in the field, contributed
papers, and working groups. 



TRACKS OF THE WORKSHOP:
-----------------------

Logical Foundations:

Which formal concepts have turned out to be dominant in the context of tools
used in an industrial setting? What are the most severe shortcomings of the 
approaches currently used? Will there be a unique standard formalism or will
we be faced with a variety of formal techniques that complement each other?

Verification and Validation:

What is the role of verification and validation in the overall process of 
formal program development? What are the most promising paradigms (correctness
proofs vs. testing, model-checking vs. interactive proofs, synthesis and
transformation vs. invent and verify)? Are there specific deduction techniques 
in the context of formal methods? Which techniques scale up?

Integration into the Software Life Cycle:

How can formal methods be integrated into existing process models? How can 
the dependable parts be isolated? What combinations of conventional, 
semi-formal
and formal techniques are reasonable? How systems obtained by such a mixed
development are evaluated?

Tool Support:

What are the most promising architectures for development tools to be applied
in an industrial context? Will collections of loosely coupled specialists be
superior to large, integrated systems? How can tools for formal developments be
integrated into more comprehensive systems (e.g. CASE-Tools)?


APPLICATION DAY:
---------------

The last day of the workshop is dedicated solely to current and future
applications of formal methods. Technical sections will cover the main 
application
areas, like hardware verification, embedding systems, and security. As a 
concluding
session there will be a general panel involving also the main companies and 
funding
agencies which will discuss their expectations for formal methods and the 'hot 
topics' for research in coming years.


SUBMISSIONS:
------------

Submissions should fall into one of the two categories: regular research papers
(at most 15 pages), or system descriptions (8 pages). Research papers should be
strongly related to the questions mentioned in the description of the workshop 
tracks. Papers being of importance from a general point of view are 
particularly
welcome. Part of the proceedings will be a compendium of system descriptions. 
Therefore we welcome descriptions of tools already applied in an industrial 
setting.

All submissions must be sent electronically in Postscript form to the 
organizers (fm-trends@dfki.de). Using Springer LNCS style files is strongly 
recommended.
Submissions must reach the organizers no later than 
         
                    April 1st, 1998. 

The proceedings will be published in the Springer LNCS series.
Additional information can be found at 

             http://www.dfki.de/vse/fm-trends/


IMPORTANT DATES:
----------------

The workshop will be held from 7th to 9th October 1998, at the 
Bundesakademie, in Boppard / Rhein, Germany. The workshop will 
be hosted by the German Bundesamt fuer Sicherheit in der 
Informationstechnik in Bonn (the German Federal Office for Safety
and Security in Information Technology).

DEADLINE FOR SUBMISSION IS APRIL, 1ST 1998.
AUTHORS WILL BE NOTIFIED OF ACCEPTANCE BY JUNE 1ST, 1998.
THE CAMERA-READY FINAL VERSION IS SCHEDULED TO JULY 1ST, 1998.


ADVISORY BOARD:
---------------

 E. Astesiano, (U Genova, I), K.R. Apt (CWI, NL), J. Bergstra (U Amsterdam, 
NL),
 V. Berzins (Naval Post. School, USA), D. Bjorner (U Denmark, DK),
 R. Bloomfield (Adelard, UK), J. Bowen (U Reading, UK), B. Boyer (U Texas, 
USA),
 M. Broy (TU Munich, D), A. Bundy (U Edinburgh, UK), E. Clarke (CMU, USA),
 W. Damm (U Oldenburg, D), J.W. de Bakker (CWI, NL), W.P. de Roever (U Kiel. 
D),
 H.D. Ehrich (U Braunschweig, D), E.A. Emerson (U Texas, USA), H. Ganzinger 
(MPII, D),
 M.C. Gaudel (LRI-CNRS, F), J. Goguen (U California, USA), D. Gries (Cornell 
U, USA),
 Y. Gurevich (U Michigan, USA), D. Harel (Weizmann Inst., Is),
 T. Henzinger (Berkeley U, USA), M. Hinchey (NJ Inst. of Technology, USA), 
 C.A.R. Hoare (Oxford U UK), D. Howe (Bell Labs, USA), N. Jones (U Copenhagen, 
DK),
 D. Kapur (NY State U, USA), H. Kirchner (INRIA, F), H. Langmaack (U Kiel, D), 
 T. Maibaum (Imperial College, UK), U. Martin (U St. Andrews, UK), J S. Moore 
(U Texas, USA),
 U. Montanari, (U Pisa, I), T. Nipkow (TU Munich, D), D. Parnas (McMaster U, 
CAN)
 L. Paulson (Cambridge U, UK), A. P. Ravn (TU Denmark, DK), A. W. Roscoe 
(Oxford U, UK),
 J. Sifakis (CNRS, F).


ORGANIZERS:
-----------

 M. Ullmann, F. Koob, H.P. Wagner  (BSI, Bonn, Germany), 
 J.H. Siekmann, D. Hutter, W. Stephan (DFKI GmbH, Saarbruecken, Germany),
 M. Wilikens (European Commission, JRC, Ispra, Italy), 
 F. Giunchiglia, P. Traverso (IRST, Trento, Italy)
[ AMAST Mail 1998 | Latest Update | AMAST Mail Meta-Index | AMAST ]