AMAST Mail - December 1999
[Prev][Next][Index]
FIRST CfP FORTE/PSTV 2000 and Workshop announcement
-------------------------- FIRST Call for Papers ------------------
------------------- and Satellite Workshop Announcement -----------
*******
*******
**************
**************
**************
************** F O R T E / P S T V 2 0 0 0
************** ***
************** *****
************** *****
************** *****
************** *****
************** *****
----------------------- Pisa, October 10-13, 2000 ---------------
IFIP TC6/WG6.1 Joint International Conference
FORMAL DESCRIPTION TECHNIQUES
for Distributed Systems and Communication Protocols
(FORTE XIII)
PROTOCOL SPECIFICATION, TESTING, AND VERIFICATION
(PSTV XX)
===> HomePage: http://forte-pstv-2000.cpr.it
===> e-mail: forte-pstv-2000@cpr.it
The PSTV series of international workshops started in 1981;
the first edition of the FORTE conference was held in 1988.
Since 1996, the two meetings have been combined into a single event.
FORTE/PSTV 2000 will address Formal Description Techniques (FDT's)
applicable to Distributed Systems and Communication Protocols.
The term FDT's, originally referring to the international standards
Estelle, LOTOS, SDL, ASN.1 and TTCN, is taken here in its
broadest sense, and includes a variety of formal methods and
techniques, such as CCS, pi-calculus, timed and stochastic process
algebra, VDM, Z, B, Automata and Timed Automata, Petri Nets, Statecharts,
Logics, TLA, Message Sequence Charts, ADT's, OBJ, Larch, formal
Object-Oriented approaches, and others. The conference is a forum for
presentation and discussion of the state of the art in theory,
application, tools and industrialization of FDT's. It deals with the
entire development cycle of communication protocols, distributed
systems and applications (requirements capture, specification, design,
verification, performance analysis, implementation and testing), and
provides a valuable orientation for newcomers. Research papers and
industrial usage reports, as well as proposals for tutorials and advanced
technology seminars, posters and tool demonstrations are solicited,
particularly in the following areas:
o FDT-based system and protocol engineering
o Semantical foundations
o Extensions of FDT's
o Formal approaches to concurrent/distributed Object-Oriented
systems
o Real-time and probability aspects
o Performance modeling and analysis
o Quality of Service modeling and analysis
o Verification and validation
o Relations between informal and formal specification
o FDT based protocol implementation
o Software tools and support environments
o FDT application to distributed systems, high speed protocols,
Internet protocols, multimedia and multicast protocols
o FDT application to wireless and mobile communication, intelligent
networks, network management, and network security
o Protocol testing, including conformance testing, interoperability
testing, and performance testing
o Test generation, selection and coverage
o Practical experience and case studies
o Corporate strategic and financial consequences of using formal
methods
FORTE / PSTV 2000 will start on October 10th with one day of
tutorials and advanced technology seminars, and will continue with
three days of technical presentations. Tool demonstrations and poster
displays will be possible throughout the conference.
One satellite workshop is currently planned (see bottom of this page).
Potential organisers of other satellite workshops please contact
the programme committee chairmen.
IMPORTANT DATES
March 7, 2000 Submission deadline
May 15, 2000 Notification of acceptance
June 15, 2000 Camera ready copy
BEST PAPER AWARD
IFIP TC6 kindly offers a prize of US$ 500 to the authors of the best
submitted paper. The selection is made by the Programme Committee.
CONFERENCE CHAIR
Tommaso Bolognesi (C.N.R. - I.E.I. - Pisa)
PROGRAMME COMMITTEE CO-CHAIRS
Tommaso Bolognesi (C.N.R. - I.E.I. - Pisa)
Diego Latella (C.N.R. - Istituto CNUCE - Pisa)
PROGRAMME COMMITTEE
G. v. Bochmann (Univ. of Ottawa, Canada)
H. Bowman (Univ. of Kent at Canterbury, UK)
E. Brinksma (Univ. of Twente, The Netherlands)
S. Budkowski (INT, France)
A. Cavalli (INT, France)
S. T. Chanson (Hong Kong Univ. of Sci. & Tech., China)
J.-P. Courtiat (LAAS-CNRS, France)
D. De Frutos Escrig (UCM, Spain)
P. Dembinski (IPI-PAN, Poland)
C. J. Fidge (Univ. of Queensland, Australia)
S. Fischer (International University, Bruchsal, Germany)
F. Giunchiglia (IRST and Trento Univ., Italy)
S. Gnesi (CNR - IEI, Italy)
R. Gorrieri (Univ. of Bologna, Italy)
R. Gotzhein (Univ. of Kaiserslautern, Germany)
R. Groz (France Telecom CNET, France)
T. Higashino (Univ. of Osaka, Japan)
D. Hogrefe (Univ. of Luebeck, Germany)
G. J. Holzmann (Bell Labs, USA)
M. C. Kim (Information and Communications University, Korea)
H. Koenig (BTU Cottbus, Germany)
G. Leduc (Univ. of Liege, Belgium)
D. Lee (Bell Labs Research, China)
L. Logrippo (Univ. of Ottawa, Canada)
E. Najm (ENST, France)
A. Petrenko (CRIM, Canada)
J. Quemada (UPM, Spain)
G. Reggio (Univ. of Genova, Italy)
S. Smolka (SUNY at Stony Brook, USA)
K. Suzuki (KDD, Japan)
K. Tarnay (Nokia, Hungary)
R. Tenney (Univ. of Massachusetts, USA)
K. Turner (Univ. of Stirling, UK)
A. Valenzano (CNR-IRITI, Italy)
S. T. Vuong (Univ. of British Columbia, Canada)
J. Wu (Tsinghua Univ., China)
INVITED SPEAKERS
Rocco de Nicola (Univ. di Firenze)
Fausto Giunchiglia (IRST and Trento Univ., Italy)
John Rushby (SRI)
--- others to be announced ---
PROCEEDINGS
Kluwer Academic Publishers.
--------------------- SUBMISSION POLICY ---------------------
Full original research papers and industrial usage reports should be up
to 16 pages, including abstract, names and affiliations of all authors,
and a list of keywords facilitating the assignment of papers to referees.
For industrial usage reports, short papers up to 8 pages are also
welcome. Papers should be formatted according to the templates and styles
of the final proceedings, which are available at http://www.wkap.com/ifip/,
and can be conveniently submitted via a Web-based system:
please check the Conference site for detailed instructions.
Authors are encouraged to use the A4 paper size and to make sure that
their submissions are printable on a variety of postscript printers (e.g.
by using standard fonts). Authors are required not to send papers that
have been submitted to another conference or to a journal.
At least one author for each accepted paper is kindly requested to register
to the conference before the early registration deadline.
TUTORIAL / ADVANCED SEMINAR SUBMISSION
Send your proposal by e-mail before March 7th, 2000, to Alessandro
Fantechi: fantechi@dsi.unifi.it, indicating also the expected duration of
your presentation (ranging from two hours to a full day).
TOOL DEMO SUBMISSION
Send your proposal by e-mail before September 1st, 2000, to Maurizio
Caneve: m.caneve@cpr.it.
SATELLITE WORKSHOP: FORMAL METHODS *E L S E W H E R E!*
Co-located with the FORTE/PSTV Conference, and taking place on
October 10, this Satellite Workshop is devoted to novel applications
of Formal Methods to exciting new areas *other than* communication
protocols and software engineering.
See the FORTE/PSTV 2000 Web Site for the call for
papers, deadlines and other details, or contact Howard Bowman
(H.Bowman@ukc.ac.uk).
[
AMAST Mail - December 1999
|
November 1999 |
January 2000 |
Latest Update |
AMAST Mail Meta-Index |
AMAST Mail 1999 |
AMAST
]