Conference name: CSEDU International Workshop on Tool Support for Formal Methods Education - TSFME 2011

Venue: Noordwijkerhout, The Netherlands


Event Date:6-9 May, 2011


Co-chairs
Kasi Periyasamy
University of Wisconsin-La Crosse
U.S.A.


Kenny Hunt
University of Wisconsin-La Crosse
U.S.A.


Scope

Formal methods have become an increasingly important ?eld of study in the computing sciences due to a variety of factors that include an increase in demand for correct and reliable software systems, and an emerging awareness of privacy and security. Even though curriculum committees recognize formal methods as an essential ?eld of study within software engineering, faculty members who teach software engineering ?nd it more di?cult to teach formal methods because of lack of adequate tool support. Tools for formal methods education may range from simple editors to typeset formal specifications to theorem provers that help proving the correctness and consistency of formal speci?cations.

The TSFME 2011 workshop focuses on tool support primarily for teaching formal methods. The aim of this workshop is to create an awareness of the availability of these tools for formal methods educators.
Topics of interest
The workshop solicits papers that describe completed tools as well as those under development. Topics include (but not restricted to) the following:

› Graphical Editors
› Syntax and Type Checkers
› Pretty-printing Tools
› Consistency Checkers
› Theorem Provers
› Test Case Generation from Formal Speci?cations
› Automatic Code Generation from Formal Speci?cations
› Analysis of Formal Speci?cations
› Animation of Formal Speci?cations
› Tools that Support More Than One Formal Notation

Important Dates

Regular Paper Submission: January 17, 2011
Authors Notification: February 9, 2011
Final Paper Submission and Registration: February 25, 2011

Workshop Program Committee

Available soon.

Paper Submission

Prospective authors are invited to submit papers in any of the topics listed above.
Instructions for preparing the manuscript (in Word and Latex formats) are available at: Paper Templates
Please also check the Submission Guidelines.
Papers should be submitted electronically via the web-based submission system at: http://www.insticc.org/Primoris

Publications

All accepted papers will be published in the workshop proceedings book, under an ISBN reference and on CD-ROM support.
All papers presented at the conference venue will be available at the SciTePress Digital Library (http://www.scitepress.org/DigitalLibrary/).
Registration Information
At least one author of an accepted paper must register for the workshop. If the registration fees are not received by February 25, 2011, the paper will not be published in the workshop proceedings book.


Secretariat Contacts

CSEDU Workshops - TSFME 2011

e-mail: csedu.secretariat@insticc.org

website:http://www.csedu.org/TSFME.asp