From: matkin@Owein.docs.uu.se (Matz Kindahl)
Subject: FTRTFT '96 - Call for Demonstrations
Date: 1996/05/31
Date: 1996-05-31T00:00:00+00:00 [thread overview]
Message-ID: <MATKIN.96May31163419@Owein.docs.uu.se> (raw)
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
reply other threads:[~1996-05-31 0:00 UTC|newest]
Thread overview: [no followups] expand[flat|nested] mbox.gz Atom feed
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox