CSEDU International Workshop on Tool Support for Formal Methods Education
|Dates||2011/05/06 (iCal) - 2011/05/09|
|Location:||Noordwijkerhout, The Netherlands|
|Table of Contents|
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.
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
Regular Paper Submission: January 17, 2011 Authors Notification: February 9, 2011 Final Paper Submission and Registration: February 25, 2011
Workshop Program Committee
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
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.
CSEDU Workshops - TSFME 2011
|Acronym||TSFME 2011 +|
|End date||May 9, 2011 +|
|Event type||Conference +|
|Has coordinates||52° 15' 46", 4° 29' 26"Latitude: 52.262908333333|
Longitude: 4.4905194444444 +
|Has location city||Noordwijkerhout +|
|Has location country||Category:The Netherlands +|
|Start date||May 6, 2011 +|
|Submission deadline||January 17, 2011 +|
|Title||CSEDU International Workshop on Tool Support for Formal Methods Education +|