*--------------------------------- 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/