From - Sun Oct 12 01:25:58 1997 Received: from CS.Stanford.EDU (CS.Stanford.EDU [171.64.64.64]) by robotics.Stanford.EDU (8.8.5/8.8.5) with ESMTP id RAA04346 for ; Fri, 5 Sep 1997 17:37:13 -0700 (PDT) Received: from listserv.nodak.edu (listserv.NoDak.edu [134.129.111.8]) by CS.Stanford.EDU (8.8.7/8.8.7) with ESMTP id RAA11376; Fri, 5 Sep 1997 17:37:27 -0700 (PDT) Received: from listserv (134.129.111.8) by listserv.nodak.edu (LSMTP for Windows NT v1.1a) with SMTP id <0.E1A0BC70@listserv.nodak.edu>; Fri, 5 Sep 1997 19:35:35 -0500 Received: from LISTSERV.NODAK.EDU by LISTSERV.NODAK.EDU (LISTSERV-TCP/IP release 1.8c) with spool id 70951 for THEORYNT@LISTSERV.NODAK.EDU; Fri, 5 Sep 1997 19:35:33 -0500 Received: from listserv (134.129.111.8) by listserv.nodak.edu (LSMTP for Windows NT v1.1a) with SMTP id <0.DF66D200@listserv.nodak.edu>; Fri, 5 Sep 1997 19:35:32 -0500 Received: from LISTSERV.NODAK.EDU by LISTSERV.NODAK.EDU (LISTSERV-TCP/IP release 1.8c) with spool id 70930 for THEORY-A@LISTSERV.NODAK.EDU; Fri, 5 Sep 1997 19:35:31 -0500 Received: from usc.edu by listserv.nodak.edu (LSMTP for Windows NT v1.1a) with SMTP id <0.DBC03830@listserv.nodak.edu>; Fri, 5 Sep 1997 19:35:25 -0500 Received: from pollux2.usc.edu (pollux2.usc.edu [128.125.253.192]) by usc.edu (8.8.4/8.7.2/usc) with ESMTP id RAA18467 for ; Fri, 5 Sep 1997 17:35:08 -0700 (PDT) Received: (from ierardi@localhost) by pollux2.usc.edu (8.8.4/8.8.4/usc) id RAA23316 for theory-a@listserv.nodak.edu; Fri, 5 Sep 1997 17:35:09 -0700 (PDT) Content-Type: text Apparently-To: Approved-By: Doug Ierardi Approved-By: Theory-A - TheoryNet World-Wide Events Message-ID: <199708181021.MAA08945@brahms.fmi.uni-passau.de> Date: Fri, 5 Sep 1997 17:35:09 PDT Reply-To: Theory-A - TheoryNet World-Wide Events , Tiziana Margaria Sender: TheoryNet List From: Tiziana Margaria Subject: Call for papers for TACAS'98 and VISUAL'98: please circulate it locally Comments: To: THEORY-A@LISTSERV.NODAK.EDU To: THEORYNT@LISTSERV.NODAK.EDU Status: O X-Status: Dear Colleagues, The call for contributions to both TACAS'98 and the co-located VISUAL'98 workshops are appended below. Additional information is available at http://brahms.fmi.uni-passau.de/bs/organization/ Best regards Tiziana Margaria *---------------------------- TACAS'98 ------------------------- *--- CALL FOR PAPERS CALL FOR PAPERS ---* ***************************** * * * TACAS'98 * * * ***************************** First International Conference on Tools and Algorithms for the Construction and Analysis of Systems March 31 - April 2, 1998 Lisbon (Portugal) SCOPE: ~~~~~ Many similar tools and algorithms have been independently developed in various areas of computer science like automata and language theory, verification and synthesis of hardware and software systems, construction and analysis of real time systems, software engineering, type and proof theory, logic and algebra. TACAS is a 'community-independent' forum for discussion between the researchers and developers interested in tools. In the focus are basic principles and application-independent features of algorithms and their implementation, with the aim to increase the reliability, flexibility and efficiency of current tools by highlighting common problems, heuristics, data structures, and solutions. In particular, theoretical papers with a clear link to tool construction and tool descriptions and applications with conceptual message are encouraged. As TACAS addresses quite a heterogeneous audience, one of the major selection criteria for papers and tool demonstrations is a widely accessible presentation on a conceptual rather than technical level. This requires authors to think about their techniques in a wider context, which we believe is the key to a wider dissemination of more and more professional tools. Moreover it establishes a significant difference between TACAS contributions and typical publications in the various specialized communities, where a large common basis can be assumed. REGULAR PAPERS AND REFEREED TOOL PRESENTATIONS ARE EQUALLY TREATED: accepted contributions will receive the same space in the conference schedule and in the proceedings. In addition, there will be informal tool demonstrations during the breaks. The topics of the workshop include: - compositional verification and construction techniques; - refinement-based methodologies; - heterogeneous analysis; - theorem-proving and model checking; - analytical techniques for real-time, hybrid, probabilistic, and safety-critical systems; - tool environments and tool architectures; - applications and case studies INVITED SPEAKER: ~~~~~~~~~~~~~~~ Randy Bryant - Carnegie Mellon University (USA) PROGRAM COMMITTEE: ~~~~~~~~~~~~~~~~~~ Ed Brinksma (NL) Rance Cleaveland (USA) Fausto Giunchiglia (I) Susanne Graf (F) Tom Henzinger (USA) Daniel Jackson (USA) Kurt Jensen (DK) Kim Larsen (DK) Tiziana Margaria (D) Jens Palsberg (USA) Doron Peled (USA) Scott Smolka (USA) Bernhard Steffen (D, chair) Frits Vaandrager (NL) SUBMISSION INSTRUCTIONS: ~~~~~~~~~~~~~~~~~~~~~~~ Prospective authors are invited to submit an extended abstract for: A) Regular papers B) Tool presentations Electronic submission via e-mail is strongly encouraged. Please send an encapsulated postscript file which can be printed by any postscript device to tacas98@fmi.uni-passau.de Authors who cannot comply with these instructions should send five copies of their submission to (postal address to be confirmed soon). E-mail addresses and fax numbers of the authors should be included in the submission. Authors will be notified of the decision of the programme committee by e-mail. Papers must be unpublished and not submitted for publication elsewhere. The final paper will be no more than 15 pages in the Springer-Verlag format for Lecture Notes in Computer Science (the series in which the proceedings will be published); see the back cover of a recent volume for details or http://www.springer.de/author/ IMPORTANT DATES: ~~~~~~~~~~~~~~~~ Deadline for Submission : 6 October 1997 Notification to Authors : 8 December 1997 Camera-ready Final Version : 12 January 1998 ADDITIONAL INFORMATION: ~~~~~~~~~~~~~~~~~~~~~~~ Further information and updates are available via www at http://brahms.fmi.uni-passau.de/bs/organization/ *--------------------------------- VISUAL'98 ------------------------- *--- CALL FOR PAPERS CALL FOR PAPERS ---* ***************************** * * * VISUAL'98 * * * ***************************** International Workshop on Visualization Issues for Formal Methods March 30, 1998 Lisbon (Portugal) Formal Methods are increasingly needed in industrial practice. The great challenge for the future is to fully integrate the use of formal methods into the development process. Development engineers are unlikely to adopt the mathematical notations underlying formal methods; accordingly, formal methods must be presented and encapsulated in an application-oriented fashion inorder to be easily understood and applied by their users. Visualization and user-friendly interfaces are key issues for this. This one-day workshop intends to bring together people from industry and academia to discuss ongoing work in the field with particular focus on the transfer of research results into practical solutions. Conversely, needs arising in concrete application contexts shall be presented to provide feedback to the research arena. The workshop intends to provide a forum for critical discussion for people who are interested in the various technical aspects of formal methods and visualization. Topics: ~~~~~~ Original contributions are invited from both academia and industry on the following (non-exclusive) list of topics. All contributions should take into account the integration of formal methods and visualization concepts. - Application of visualization and representation concepts to support domain-specific instantiations of formal methods - System architectures for enhanced graphical support - Graphical or visual methods and tools supporting automatic analysis, synthesis and verification methods - Effects of visual information on productivity and performance in formal methods - Case studies based on visually-oriented tools, or comparison studies between visually and sententially oriented tools and their applications. The contributors should keep in mind that the goals of the workshop will be best fulfilled if a lively and fruitful communication between research and industry can be initiated. Workshop Organization: ~~~~~~~~~~~~~~~~~~~~~ The workshop will be associated with TACAS'98, the Intern. Conference on Tools and Algorithms for the Construction and Analysis of Systems, which is part of ETAPS'98. Its working language is English. Besides technical talks of roughly 30 minutes each, including discussion, also invited talks by distinguished speakers and tool demonstrations are planned. Program Committee: ~~~~~~~~~~~~~~~~~ Lou Feijs Philips (NL) Kathi Fisler Rice University, TX (USA) Tiziana Margaria University of Passau (D), Co-Chair Louise Moser University of California, Santa Barbara, CA (USA) Doron Peled Bell Laboratories, NJ (USA) Joachim Posegga Deutsche Telekom (D), Co-Chair Peter Reintjes Netspeak, FL (USA) Dave Robertson Univ. of Edinburgh (UK) Evaluation and Publication of Submitted Papers: ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ Prospective authors are invited to submit A) Regular contributions, evaluated on the basis of a 10 - 15 page full paper. B) Extended abstracts (3 - 4 pages), concerning very recent or ongoing work, and C) Position papers (3 - 4 pages) on hot topics, which provide good points for discussion D) Proposals for tool demonstrations (3 - 4 pages) Electronic submission is encouraged via email. Send submissions (encaps. postscript) to posegga@tzd.telekom.de Alternatively, mail 5 copies to Dr. Joachim Posegga Deutsche Telekom AG Technologiezentrum, FZ122h Phone: +49 6151 83-6715 Am Kavalleriesand 3 Fax: +49 6151 83-4090 D-64295 Darmstadt (Germany) posegga@tzd.telekom.de E-mail addresses and FAX numbers of the authors should be included. The notification of acceptance will be per E-mail. Proceedings for the participants will include all the accepted contribu- tions. They will appear in form of a Technical Report of the Deutsche Telekom (Research Center) and will be distributed at the workshop. Selected contributions among the full papers will be invited for publication in a special section of the TACAS'98 proceedings, which will appear as a volume of the series Lecture Notes in Computer Science, Springer Verlag. Important Dates: ~~~~~~~~~~~~~~~ Deadline for Submission 31 October 1997 (regular contributions) 12 January 1998 (all the other submissions) Notification to Authors 15 December 1997 (regular contributions) 31 January 1998 (all the other submissions) Final Version due on 12 January 1998 (LNCS) 15 February 1988 (otherwise) Additional Information: ~~~~~~~~~~~~~~~~~~~~~~ Further information and updates are available via www at http://brahms.fmi.uni-passau.de/bs/organization/