posted by user: Calendar_Sites || 3695 views || tracked by 7 users: [display]

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

FacebookTwitterLinkedInGoogle

Link: http://www.csedu.org/TSFME.asp
 
When May 6, 2011 - May 9, 2011
Where Noordwijkerhout, The Netherlands
Submission Deadline Jan 17, 2011
Notification Due Feb 9, 2011
Final Version Due Feb 25, 2011
Categories    education   formal methods
 

Call For Papers

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

Related Resources

FM 2024   Formal Methods
AP-EduTeach 2024   6th Asia-Pacific Conference on Education, Teaching & Technology 2024
AVC 2024   Advances in Vision Computing: An International Journal
ICFEM 2024   International Conference on Formal Engineering Methods
FMICS 2024   29th International Conference on Formal Methods for Industrial Critical Systems
CRBL 2024   International Conference on Cryptography and Blockchain
AFMAS 2024   Science of Computer Programming special issue on Advances in Formal Methods for Autonomous Systems
SPM 2024   11th International Conference on Signal, Image Processing and Multimedia
LANMR 2024   The 16th Latin American Workshop on New Methods of Reasoning Logic, Languages, Algorithms, New Methods of Reasoning
7FMA 2024   7th International Symposium Formal Methods in Architecture