FTRTFT 2000: Second Call for Papers

• Subject: FTRTFT 2000: Second Call for Papers
• From: Purandar Bhaduri <pbhaduri@pune.tcs.co.in>
• Date: Fri, 03 Mar 2000 09:12:30 -0500
• CC: "Prof. Mathai Joseph" <mathai@pune.tcs.co.in>, ftrtft@pune.tcs.co.in
• Organization: TRDDC, Tata Consultancy Services
• Sender: pbhaduri@cs.utwente.nl

(Please note the new guidelines for submission of papers.)

Second Call for Papers

FTRTFT 2000
Formal Techniques in Real-Time and Fault-Tolerant Systems

6th International School and Symposium
School: 18-19 September; Symposium: 20-22 September 2000
Pune, India

OBJECTIVES
Computer systems are increasingly being used in real-time and mission-critical
applications. These systems are complex and have critical timing and reliability
requirements.

Formal techniques provide a foundation for the systematic design of complex
systems. They have been used effectively throughout the software engineering
process, from the capture of requirements to the definition and verification
of system specifications, the design, coding and implementation of a system
and down to the hardware, which embeds the system into its environment.

The FTRTFT 2000 School and Symposium will focus on problems and solutions
in the design of safe and reliable systems and will examine how well the use
of formal methods serves practical realities.

This is the sixth in a series of International Schools and Symposia started
in Warwick in 1988, with succeeding meetings at Nijmegen (1992), L?beck
(1994), Uppsala (1996) and Lyngby (1998). Proceedings of the Symposia are
published as volumes 331, 571, 863, 1135 and 1486 in the LNCS series by
Springer-Verlag.

SUBMISSIONS
Paper submissions are invited for the Symposium on the development and use
of formal techniques and mathematical reasoning in design of real-time,
fault-tolerant and embedded systems, covering all stages from requirements
analysis to hardware and software implementation.

In addition to the general topics, special themes of this symposium will be:

* Verification tools and algorithms for real-time and fault-tolerant
systems
* Tools and algorithms supporting formal methods
* Scheduling and timing constraints in real-time systems
* Fault-tolerance in real-time systems
* Use of formal methods for building real-time and fault-tolerant
systems
* Hybrid systems
* Case studies and applications of formal methods

GUIDELINES FOR SUBMISSION OF PAPERS
Submissions are limited to 20 double spaced standard pages in
postscript format, and will be through the Web-based conference
management system START. Full details of the submission process
are available on the conference website at
http://www.pune.tcs.co.in/ftrtft/. Accepted papers will
be published in the conference proceedings which will be published
by Springer-Verlag in the LNCS series.


Important Dates.

Deadline for Submission                             31 March, 2000
Notification to Authors                                31 May 2000
Final Version of Accepted Papers due      14 July 2000

TOOLS DEMONSTRATION
Demonstrations of software tools that support formal approaches to the
development of real-time, fault-tolerant and embedded systems are
invited
for the School and Symposium. Proposers should contact the Tools
Demonstration Chair at ftrtft@pune.tcs.co.in.

VENUE
The School will be held at the Tata Research Development and Design
Centre,
Pune. The Symposium will be held in Pune.

FOR MORE INFORMATION
Consult the symposium page at: http://www.pune.tcs.co.in/ftrtft

PROGRAM COMMITTEE                                       ORGANIZING
COMMITTEE

R. ALUR (U Penn)                                             P. Bhaduri
A. ARORA (Ohio State U)                                 M. Joseph
H. HANSSON (M?lardalen U)                            A.V. Nori
I. HAYES (U Queensland)                                 K.V. Nori
Lin HUIMIN (IOS Beijing)                                  R. Venkatesh
He JIFENG (IIST Macau)
M. JOSEPH (TRDDC) -- Chair
Z. LIU (U Leicester)
A. MOK (U Texas)
K.V. NORI (TRDDC)
P. PANDYA (TIFR)
A. PNUELI (Weizmann Inst.)
K. RAMAMRITHAM (IIT Mumbai)
S. RAMESH (IIT Mumbai)                                  STEERING
COMMITTEE
A.P. RAVN (Aalborg U)
W.-P. de ROEVER (KAU Kiel)                              M. Joseph
N. SHANKAR (SRI)                                               A. Pnueli

J. VYTOPIL (KU Nijmegen)                                   W.-P. de
Roever
S. YOVINE (IMAG Grenoble)                               J. Vytopil


ADDRESS FOR CORRESPONDENCE

FTRTFT
Tata Research Development & Design Centre
54B Hadapsar Industrial Estate
Pune 411 013 INDIA
E-mail: ftrtft@pune.tcs.co.in
URL : http://www.pune.tcs.co.in/ftrtft
Tel: +91 20 6877 186   Fax: +91 20 6812 225 / 6810 921

--
Purandar Bhaduri                        Email: pbhaduri@pune.tcs.co.in
Formal Methods Group                    Phone: +91 20 687 1058
TRDDC, Tata Consultancy Services        Fax: +91 20 681 0921
54 B, Hadapsar Industrial Estate, Pune 411 013, INDIA

• Prev: 2nd cfp: FMCAD 2000 (formal methods in computer aided design)
• Next: ITiCSE2000 Call for Workshop Participation
• Index: AMAST Mail 2000