call for papers, previous message
From: leue@iam.unibe.ch (Stefan Leue)
Subject: CFP (2nd): Formal Description Techniques for Distributed Systems and Communications Protocols (FORTE'94)
Date: 15 Apr 1994 12:41:54 -0500
-------------------------------------------------------------------------------
* Submission deadline: 6 May 94 * FORTE'94 * Submission deadline: 6 May 94 *
-------------------------------------------------------------------------------
Second Call for Papers
IFIP WG6.1 Seventh International Conference on
FORMAL DESCRIPTION TECHNIQUES
for Distributed Systems and Communications Protocols
Berne, Switzerland, 4-7 October 1994
FORTE'94 will address formal techniques applicable to Distributed Systems such
as Estelle, Lotos, SDL, ASN.1, Z, Automata, Logics, Process, Algebras, etc.,
and will include industrial applicability to Protocols and Distributed Systems.
The conference will be a forum for presentation of the state of the art in
theory, application, tools and industrialization of Formal Techniques and will
provide an excellent orientation for newcomers. Research papers and industrial
usage reports as well as proposals for tutorials (advanced technology semi-
nars), poster displays and tool demonstrations on Formal Techniques are soli-
cited, particularly in the following areas:
* Design and implementation * Extensions of FDTs
* FDT-based software engineering * Verification, validation and testing
* Comparative analyses of FDTs * Tools & tool support
* Practical usage experience and case * Examples and analyses of formal des-
studies criptions
* Corporate strategic and financial * Real-time and probability aspects
consequences of FDT use * Feature and service interaction prob-
lems
FORTE'94 will be sponsored by IFIP WG6.1 in cooperation with ACM SIGCOMM and
IEEE Computer Society(*). Additional support will be provided by the corporate
sponsors Alcatel STR, Siemens-Albis, ASCOM, Sun Microsystems and the Swiss PTT,
as well as by the non-corporate sponsors Beer-Brawand Fund and the Swiss Natio-
nal Science Foundation. The conference Proceedings will be published by the of-
ficial publisher of IFIP WG6.1 Proceedings, presumably by Chapman & Hall, tit-
led Formal Description Techniques, VII. FORTE'94 will start with one day of tu-
torials and advanced technology seminars on 4 October 1994 and will continue
with three days of technical presentations (no parallel sessions). Tool pre-
sentations and poster displays will be offered throughout all four days of
FORTE'94. The conference will be held in the main building of the University
of Berne. (* = approval pending)
Conference Chairperson: Dieter Hogrefe (University of Berne, CH)
Conference Organization Chairperson: Stefan Leue (University of Berne, CH)
Important dates:
* 6 May 1994 Submission deadline (for more details see `Submission policy')
* 11 July 1994 Notification of acceptance
* 12 August 1994 Camera ready copy for participants proceedings due
Program Committee:
Paul Amer (University of Delaware, USA), Gregor v. Bochmann (University of Mon-
treal, CDN), Tommaso Bolognesi (CNUCE, I), Ed Brinksma (University of Twente,
NL), Ana Cavalli (INT, F), Jean-Pierre Courtiat (LAAS-CNRS, F), Piotr Dembinski
(Polish Academy of Science, PL), Ove Faergemand (EURESCOM, D), Reinhard Gotz-
hein (University of Kaiserslautern, D), Gerard Holzmann (AT&T Bell Labs, USA),
Jean-Pierre Hubaux (EPF Lausanne, CH), Toshihiko Kato (KDD, J), Jan Kroon (PTT
Research, NL), Luigi Logrippo (University of Ottawa, CDN), Nancy Lynch (MIT,
USA), Lynn Marshall (BNR, CDN), Jan de Meer (GMD Fokus, D), Elie Najm (ENST,
F), Linda Ness (Bellcore, USA), Ken Parker (Telecom Research Laboratory, AUS),
Bjorn Pehrson (SICS, S), Claude Petitpierre (EPF Lausanne, CH), Juan Quemada
(DIT ETSIT UPM, E), Harry Rudin (IBM Research, CH), Deepinder Sidhu (University
of Maryland, USA), Richard Tenney (University of Massachusetts, USA), Ken Tur-
ner (University of Stirling, UK), Umit Uyar (CUNY, USA), Son Vuong (University
of British Columbia, CDN).
Submission policy
Solicited are:
* Full original research papers and industrial usage reports, 5 copies, up to
16 pages (including bibliography), 12 point, single spaced, including an
informative abstract as well as names and affiliations of all authors, and
a list of keywords facilitating the assignment of papers to referees. The
keyword list from which authors may choose the keywords for their papers
can be obtained by sending a request to the FORTE'94 Organization Commit-
tee or by copying the file `keyword.asc' by anonymous ftp as described be-
low. A cover letter naming a contact author (including postal and email
address) and indicating the preferred category (research paper or industri-
al usage report) in which the paper should be considered, is required. The
cover letter should also state that the paper has not been presented in any
language at another conference nor is it currently being considered by an-
other conference or by a journal. Authors may propose a list of Program
Committee members whom they consider to be particularly qualified to review
their submission. Only those papers presented by an author during FORTE'94
will be included in the final proceedings.
* Proposals for tool demonstrations (including hard- and software require-
ments), poster displays, tutorials and advanced technology seminars.
* Submission deadline: 6 May 1994 *
All submissions should be sent to:
Stefan Leue, FORTE'94 Organization Committee (address see below).
For further information:
FORTE'94 Organization Committee, University of Berne,
P.O. Box 900, CH-3000 Berne 9, Switzerland
Tel.: +41 31 631 ~4994 (Dieter Hogrefe), ~4430 (Stefan Leue), ~3965 (Fax),
Email: forte94@iam.unibe.ch.
To obtain additional information (Postscript copy of the Call for Papers, key-
word list, etc.) please login via ftp on host `siam.unibe.ch' as user `anony-
mous' and give your email address as password, then get the appropriate file
from directory `forte94' (for particular filenames see file `README').
--------------------- Expression of Interest in FORTE'94 ----------------------
If you are interested in FORTE'94, please return the following information to
the Conference Organization Chairperson (preferably by email to forte94@iam.
unibe.ch):
Name (including title): .......................................................
Affiliation: ..................................................................
Address: ......................................................................
Tel: .................. Fax: ................. Email: .........................
o I would like to receive further information about FORTE'94 by MAIL or ELEC-
TRONIC MAIL (please indicate), please put me on your mailing lists.
o I intend to submit to FORTE'94 a research paper / an industrial usage report
/ a proposition for a tool demonstration / a proposition for a poster
display (please indicate category),
entitled: ...................................................................
.............................................................................
provisional author list / presented by: .....................................
o I would be interested in offering a tutorial / an advanced technology seminar
entitled: ...................................................................
-------------------------------------------------------------------------------
FORTE'94
-------------------------------------------------------------------------------
KEYWORD LIST
============
I. General Keywords:
1. Extensions of FDTs
2. Design and implementation
3. Verification, validation and testing
4. FDT-based software engineering
5. Comparative analyses of FDTs
6. Tools & Tool support
7. Practical usage experience and case studies
8. Examples and analyses of formal descriptions
9. Corporate strategic and financial consequences of FDT use
10. Real-time and probability aspects in FDTs
11. Feature and service interaction problems
II. Languages:
1. Estelle
2. Lotos
3. SDL
4. Z
5. VDM
6. ASN.1
7. TTCN
8. L.0
9. UNITY
10. Statecharts
11. Message Sequence Charts
12. Other (please specify)
III. Semantic models:
1. Automata and Languages
2. (Temporal) Logics
3. Process Algebras
4. Event structures
5. True concurrency semantics
6. Petri Nets
7. Other (please specify)
IV. Miscellaneous:
1. FDTs and Performance Analysis
2. Protocol Synthesis
3. Test Case Generation
4. Conformance/Interoperability Testing
5. Communicating Processes
6. Algebraic Specification
7. Object Oriented Specification
8. Action Refinement
9. Architectural Concepts
10. Open Distributed Processing
11. Formalization of Standards
12. Network Management
13. Network Information Models
14. Visualization with FDTs
REMARKS
=======
1. Authors of submissions to FORTE'94 are required to provide a
list of keywords describing the contents of their paper. The
keyword list should appear on the cover page of the paper.
2. Authors may select an arbitrary number of keywords from the above
list. Please use the number code to indicate your keyword, for
example `II.2' in case you wish to refer to `Lotos'.
3. Please also indicate cross-dependences, so if for example your paper
is referring to `Tool & Tool support' for `SDL' only, but not for
other languages, please list `..., I.6/II.3, ...'.
4. Should you wish to specify other languages / semantic models
please indicate `..., II.11: my language, ...' or
`..., III.7: my model, ...', respectively.
Your effort to provide a meaningful keyword list is greatly appreciated.
It helps in the assignment of your paper to reviewers who indicated their
competence and interest in reviewing papers on the respective subject.
If you have any further questions please do not hesitate to contact
the FORTE'94 Organization Committee:
FORTE'94 Organization Committee, University of Berne,
P.O. Box 900, CH-3000 Berne 9, Switzerland
Tel.: +41 31 631 ~4994 (Dieter Hogrefe), ~4430 (Stefan Leue), ~3965 (Fax),
Email: forte94@iam.unibe.ch.
-------------------------------------------------------------------------------
FORTE'94
-------------------------------------------------------------------------------
TUTORIAL / ADVANCED TECHNOLOGY SEMINAR
======================================
SUBMISSION POLICY
=================
Those interested in holding a tutorial or advanced technology seminar
at FORTE'94 are kindly requested to submit an abstract of up to 2
pages per hour of proposed presentation, giving a brief overview of
their presentation. A literature list or a collection of papers
covering the scope of the intended presentation may be appended,
authors of proposals may also like to describe their own involvement
in the topic discussed. The proposal should also specify the target
audience of the tutorial. Submissions should be made by the paper
submission deadline, namely May 6, 1994. The decision about acceptance
of proposed tutorials will be made by the Program Committee, the
notification will be as for research papers (around July 11, 1994).
The Program and the Organization Committees of FORTE'94 reserve the
right to additionally invite Tutorials. It is intended to compensate
participants presenting tutorials for a major part of their expenses.
The presentations should be planned to have a length of 120 minutes
including refreshment breaks in the general case, or of 240 minutes if
more substantial topics are being addressed. The proposals may include
options so that the PC may decide to accept the presentation in its
120 mins or 240 mins variants. The presentations should primarily
address an industrial audience and should be suited to introduce
newcomers to the use of formal methods in the scope of FORTE. The
presentations should therefore have a more practical than theoretical
character. Presentations should also attempt to cover subjects or
experiences not addressed at previous FORTE conferences.
Proposals should be submitted by May 6, 1994 to:
Stefan Leue
FORTE'94 Organization Committee
University of Berne
P.O. Box 900
CH-3000 Berne 9
Switzerland
Tel.: +41 31 631 44 30
Fax : ~39 65
Email: forte94@iam.unibe.ch