AMAST Mail 1996
[Prev][Next][Index]
Final CfP: FORTE/PSTV'96
Submission deadline: April 19, 1996
! Update:
- CHAPMAN & HALL has agreed to publish the final proceedings.
- Author's guidelines for paper formatting are available at URL
http://www.chaphall.com/chaphall/macros.html
or by request to the conference organization chair.
Since the final proceedings will be available at the conference,
authors should be prepared that deadlines will be handled strictly.
------------------------------------------------------------------------
_____ ___ ____ _____ _____ ______ ____ _______ ___ ___ __
| ___/ _ \| _ \_ _| ____| / / _ \/ ___|_ _\ \ / ( ) _ \ / /_
| |_ | | | | |_) || | | _| / /| |_) \___ \ | | \ \ / /|/ (_) | '_ \
| _|| |_| | _ < | | | |___ / / | __/ ___) || | \ V / \__, | (_) |
|_| \___/|_| \_\|_| |_____/_/ |_| |____/ |_| \_/ /_/ \___/
Final Call for Papers
IFIP TC6/WG6.1 Joint International Conference on
FORMAL DESCRIPTION TECHNIQUES
for Distributed Systems and Communication Protocols, and
PROTOCOL SPECIFICATION, TESTING, AND VERIFICATION
Kaiserslautern, Germany, 8-11 October 1996
URL: http://www.informatik.uni-kl.de/aggotz/forte.pstv96
FORTE/PSTV'96 will address Formal Description Techniques (FDTs)
applicable to Communication Protocols and Distributed Systems (such as
Estelle, Lotos, SDL, ASN.1, TTCN, Z, Automata, Process Algebras,
Logics). The conference will be a forum for presentation of the state
of the art in theory, application, tools and industrialization of FDTs,
and will provide an excellent orientation for newcomers. For the first
time, the hitherto separate conferences FORTE and PSTV will be combined
into a joint edition. FORTE/PSTV'96 will be sponsored by IFIP. The
final proceedings will be published by Chapman & Hall. Research papers
and industrial usage reports as well as proposals for tutorials
(advanced technology seminars), poster displays and tool demonstrations
are solicited, particularly in the following areas:
- FDT-based system and protocol - Extensions of FDTs
engineering - Semantical foundations
- Practical experience and case - Real-time and probability aspects
studies - Protocol testing
- FDT-application to distributed - Conformance testing, test selection
systems, highspeed protocols, and test coverage
multimedia protocols, mobile - Performance modeling and analysis
communication, Intelligent - Quality of Service modeling and
Networks, network management, analysis
network security - Verification and validation
- FDT-based implementation - Protocol synthesis
- Corporate strategic and financial - Tools and tool support
consequences of FDT use
FORTE/PSTV'96 will start with one day of tutorials and advanced
technology seminars, and will continue with three days of technical
presentations. Tool presentations and poster displays will be possible
throughout the conference. The conference will be held at the Dorint
Hotel Kaiserslautern.
Conference Chairperson: Reinhard Gotzhein (University of Kaiserslautern, D)
Conference Organization Chairperson: Jan Bredereke (University of
Kaiserslautern, D)
Important dates:
April 19, 1996 Submission deadline (for more details, see below)
June 24, 1996 Notification of acceptance
July 19, 1996 Camera-ready copy for final proceedings due
Program committee:
G. v. Bochmann (Univ. of Montreal, Canada), T. Bolognesi (CNUCE,
Italy), H. Bowman (Univ. of Kent at Canterbury, UK), J. Bredereke
(Univ. of Kaiserslautern, Germany), E. Brinksma (Univ. of Twente,
Netherlands), S. Budkowski (INT, France), A. Cavalli (INT, France),
S. T. Chanson (Univ. of Science and Technology, Hong Kong), J. P.
Courtiat (LAAS-CNRS, France), P. Dembinski (Academy of Science,
Poland), W. Effelsberg (Univ. of Mannheim, Germany), U. Herzog (Univ.
of Erlangen, Germany), T. Higashino (Univ. of Osaka, Japan), D. Hogrefe
(Univ. of Berne, Switzerland), G. Holzmann (AT&T, USA), S. P. Iyer
(NC State Univ., USA), J. Kroon (PTT Research, Netherlands), P. Ladkin
(Univ. of Bielefeld, Germany), G. Leduc (Univ. of Liege, Belgium),
S. Leue (Univ. of Waterloo, Canada), L. Logrippo (Univ. of Ottawa,
Canada), J. de Meer (GMD FOKUS, Germany), E. Najm (ENST, France),
J. Quemada (Technical Univ. of Madrid, Spain), H. Rudin (IBM,
Switzerland), R. Tenney (Univ. of Massachusetts, Boston, USA),
K. Turner (Univ. of Stirling, UK), S. T. Vuong (Univ. of British
Columbia, Canada)
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/PSTV'96 Organization Committee or by World-Wide Web as
described below. A cover letter naming a contact author (including
postal and E-mail address) and indicating the preferred category
(research paper or industrial 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 another conference
or by a journal; furthermore it should state that, in case of
acceptance, one of the authors will attend FORTE/PSTV'96 and present
the paper. Authors may propose a list of Program Committee members
whom they consider to be particularly qualified to review their
submission. Chapman & Hall has agreed to publish the final
proceedings, which will be available at the conference. For that
reason, authors should be prepared that deadlines will be handled
strictly.
- Proposals for tool demonstrations (including hard- and software
requirements) and poster displays.
- Proposals for tutorials and advanced technology seminars.
All submissions should be sent to Jan Bredereke.
For further information:
Jan Bredereke, University of Kaiserslautern, P.O. Box 3049,
D-67653 Kaiserslautern, Germany, (street address: room 12/407,
Erwin-Schroedinger-Str., D-67663 Kaiserslautern, Germany),
Tel.: +49 631 205-3426 (Reinhard Gotzhein), -3287 (Jan Bredereke),
-2640 (Fax), E-mail: forte.pstv96@informatik.uni-kl.de
To obtain additional information (Postscript copy of the Call for
Papers, keyword list, etc.), you may also browse our World-Wide Web pages,
the URL is http://www.informatik.uni-kl.de/aggotz/forte.pstv96
Expression of interest in FORTE/PSTV'96:
If you are interested in FORTE/PSTV'96, please return the following
information to the Conference Organization Chairperson (preferably by
E-mail to forte.pstv96@informatik.uni-kl.de):
Name (including title): ...............................................
Affiliation: ..........................................................
Address: ..............................................................
Tel: ................ Fax: ............. Email: .......................
o I would like to receive further information about FORTE/PSTV'96 by
MAIL or ELECTRONIC MAIL (please indicate), please put me on your
mailing lists.
o I intend to submit to FORTE/PSTV'96 a research paper / an industrial
usage report / a proposal for a tool demonstration / a proposal 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: ...........................................................
[
AMAST Mail 1996
|
Latest Update |
AMAST Mail Meta-Index |
AMAST
]