workshop announcement

• Subject: workshop announcement
• From: nymeyer@cs.utwente.nl (Albert Nijmeijer)
• Date: Fri, 24 May 1996 17:36:49 +0200

Hello Pipo,

Could you please include the following workshop announcement
in the next AMAST Links issue.
You will notice that I am the local organiser.
Cheers,
Albert Nymeyer

-------------------------------------------------------------------------------
             PRELIMINARY CALL -- TACAS '97
3rd International Workshop on Tools and Algorithms for the
Construction and Analysis of Systems.
2-4 APRIL 1997, University of Twente, Enschede, The Netherlands

The aim of the workshop is to bring together researchers and practitioners
interested in the development and application of tools and algorithms for
specification, verification, analysis and construction of distributed and
embedded systems. Theoretical papers without a clear link towards
automation or tool construction as well as tool documentations and applications
without conceptual message are inappropriate for TACAS.
Besides scientific talks there will be refereed tool sessions, with five page
abstracts in the conference proceedings, and standard tool demonstrations.

The topics of the workshop include (but are not limited to):
  - Compositional verification and construction techniques
  - Refinement-based methodologies
  - Heterogeneous analysis
  - Theorem--proving and model checking
  - Analytical techniques for real--time, hybrid and safety-critical systems
  - Tool environments and tool architectures
  - Case studies

Steering Committee: Ed Brinksma (NL, chair), Kim G. Larsen (DK),
                    Rance Cleaveland (USA), Bernhard Steffen (D)
  
Submissions: Authors are invited to submit an extended abstract not exceeding
  - Regular Papers: 5000 words (approx. 15 pages) 
  - Tool Presentations: 1500 words (approx. 4 pages)

Electronic submission is encouraged via email. The submission should be sent
to Albert Nymeyer (tacas97@cs.utwente.nl) as latex file which can be printed
by any postscript device.  Alternatively, submissions may be sent by ordinary
mail (five copies required).  In either case, authors are requested to use
latex (or tex) and the Springer Verlag Lecture Notes format (see links in
the URL below).  E-mail addresses and fax numbers of the authors should also
be included.  The notification of acceptance will be per e-mail.

Proceedings: The Conference Proceedings will appear in the series
   Lecture Notes in Computer Science (LNCS) - Springer Verlag,
   and will be available at the workshop.

Important Dates:
  Deadline for Submission            18 October  1996
  Notification to Authors            13 December 1996
  Final Version due on               31 January  1997

Organization, Submissions and Information:
  Albert Nymeyer
  TIOS/INF
  University of Twente               tel: +31 (0)53 489 3767
  P.O. Box 217                       fax: +31 (0)53 489 3247
  7500 AE Enschede                   tacas97@cs.utwente.nl
  The Netherlands                    http://wwwtios.cs.utwente.nl/~tacas97/

• Prev: announcing a new joint mechanized reasoning web page
• Next: No Subject
• Index: AMAST Mail 1996