TSFME 2011 - International Workshop on Tool Support for Formal Methods Education - TSFME 201

Website | Edit Freely

Category TSFME 2011

Deadline: January 17, 2011 | Date: May 06, 2011-May 09, 2011

Venue/Country: Noordwijkerhout, Netherlands

Updated: 2011-01-04 18:44:39 (GMT+9)

Call For Papers - CFP

6-9 May, 2011 - Noordwijkerhout, The Netherlands

In conjunction with the 3rd International Conference on Computer Supported Education - CSEDU 2011

CO-CHAIRS

Kasi Periyasamy

University of Wisconsin-La Crosse

U.S.A.

e-mail

Kenny Hunt

University of Wisconsin-La Crosse

U.S.A.

e-mail

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.secretariatinsticc.org