FTRTFT '96 - Call for Demonstrations

FTRTFT '96 - Call for Demonstrations

[Matz Kindahl]

 
			    Call for Demos
				 and
			Short Papers on Tools

			      FTRTFT '96

		4th International School and Symposium
      Formal Techniques in Real Time and Fault Tolerant Systems
	 Sept 9-10 (School) and Sept 11-13 (Symposium) 1996,
			   Uppsala, Sweden

In connection with the School and Symposium we are organizing sessions
for demonstrations of tools for specification, verification, analysis
and construction of distributed and embedded systems. Authors are
invited to submit short papers on demos (not exceeding 1500 words (or
4 pages) describing (not limited to) the goals, functionalities,
features, performance, new extensions, and/or industrial case-studies
of tools.

Selected short papers will be included in the conference proceedings,
which will appear in the series, Lecture Notes in Computer Science
(LNCS) - Springer Verlag, and will be available at the
conference. Therefore, short papers should be prepared according to
the LNCS typing instructions available at

    http://www.docs.uu.se/ftrtft96/lncs-instructions.txt

Submissions, including a precise description of the hardware and
software needed for demos, authors addresses, telephone number, and
fax number should be sent by e-mail to

	Wang Yi                             
	Uppsala University		     
	Dept. of Computer Systems	    
	Box 325, S-751 05 Uppsala, Sweden  
	Tel: + 46 18 - 183110               
	Fax: + 46 18 - 550225             
	E-mail: yi@docs.uu.se               

The submission should be in uuencoded Encapsulated Postscript.

This call for demonstrations can also be found at

	http://www.docs.uu.se/ftrtft96/cfd.txt


IMPORTANT DATES

Deadline for submission:       June 25, 1996 
Notification of acceptance:    July 1, 1996 
-- 
----------------------------------------------------------------------
Mats Kindahl			! matkin@docs.uu.se
Department of Computer Systems  ! 
Box 325				! Tel  +46 18 18 10 66
S-751 05 Uppsala		! Fax  +46 18 55 02 25
SWEDEN				! URL  http://www.docs.uu.se/~matkin/

PGP Key fingerprint =  92 5C FC 39 32 A8 7F 91  01 56 A0 D3 9C A9 6C 81 
PGP key available under finger matkin@kay.docs.uu.se

"People do strange things when you give them money."
	-- Simple Minds