AMAST Mail - December 1999
[Prev][Next][Index]

New FTRTFT Dates

There is a correction in the dates for the FTRTFT School and Symposium.

The final dates are

        School          18-19 September 2000
        Symposium       20-22 September 2000

Please note the change if you have already received an earlier
announcement
either by email or in hard copy. We apologize for the inconvenience
caused.
Please also refer to our web page at http://www.pune.tcs.co.in/ftrtft/
for
further announcements.

Best wishes for the Year 2000!

FTRTFT Organizing Committee


P.S. The Call for Papers with the revised dates is attached.


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

Submissions are limited to 20 double spaced standard pages, accompanied by 
a one-page abstract. Authors are encouraged to submit their papers 
electronically by mailing self-contained Postscript versions to 
ftrtft@pune.tcs.co.in. 

In addition, the following information in ASCII format should be sent to 
this address in a separate e-mail: Title, Authors; Communicating Author's Name, 
Postal Address, E-Mail Address and Fax Number if available; Abstract of Paper. 

If electronic submission is not possible, authors may send six (6) hard-copies 
of the paper by post to the address below. 

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 our 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 COMMITTED
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
[ AMAST Mail - December 1999 | November 1999 | January 2000 | Latest Update | AMAST Mail Meta-Index | AMAST Mail 1999 | AMAST ]