From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me X-Spam-Level: X-Spam-Status: No, score=-1.3 required=5.0 tests=BAYES_00,INVALID_MSGID, T_FILL_THIS_FORM_SHORT autolearn=no autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,619319947f2cf3fe,start X-Google-Attributes: gid103376,public X-Google-Thread: 101ec5,619319947f2cf3fe,start X-Google-Attributes: gid101ec5,public X-Google-Thread: 115aec,619319947f2cf3fe,start X-Google-Attributes: gid115aec,public X-Google-Thread: 106582,619319947f2cf3fe,start X-Google-Attributes: gid106582,public X-Google-Thread: f7888,619319947f2cf3fe,start X-Google-Attributes: gidf7888,public X-Google-Thread: f8362,619319947f2cf3fe,start X-Google-Attributes: gidf8362,public X-Google-Thread: f43e6,619319947f2cf3fe,start X-Google-Attributes: gidf43e6,public From: matkin@Owein.docs.uu.se (Matz Kindahl) Subject: FTRTFT '96 - Call for Demonstrations Date: 1996/05/31 Message-ID: #1/1 X-Deja-AN: 157734644 distribution: world organization: DoCS, Uppsala University newsgroups: comp.theory,comp.specification.misc,comp.specification.z,comp.specification.larch,comp.software-eng,comp.realtime,comp.lang.ada Date: 1996-05-31T00:00:00+00:00 List-Id: 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