[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
------------------------------------------------------------------------ ----------- ------------------ --------=== FM 2015 workshops & doctoral symposium ===--------------- --------=== Joint Call for Papers ===--------------- ----------- ------------------ ------------------------------------------------------------------------ 20th International Symposium on Formal Methods Oslo, Norway, Workshops: June 22-23, 2015 Doctoral Symposium: June 22, 2015 (FM main event June 24-26, 2015) http://fm2015.ifi.uio.no/workshops/ http://fm2015.ifi.uio.no/fm-2015-doctoral-symposium/ Joint Call for Papers ========================================================================== o About FM: FM 2015 is the twentieth in a series of symposia organized by Formal Methods Europe, an independent association whose aim is to stimulate the use of, and research on, formal methods for software development. =========================================================================== o FM SATELLITE WORKSHOPS and Doctoral Symposium (at 22-23. June, preceding the main conference) - FMICS (Formal Methods for Industrial Critical Systems) abstract due: 19.1 paper due: 26.1 notification: 13.1 final version: 30.3 - Overture/VDM paper due: 1.4 notification: 1.5 final version: 1.6 - WWV (Automated Specification and Verification of Web Systems) abstract due: 18.3 paper due: 25.3 notification: 8.5 final version: 31.5 - Refinement - ESSS (Engineering Safety and Security Systems) paper due: 16.3 notification: 27.4 - SAFOME (Safety and Formal Methods) paper due: 24.3 notification: 30.4 final version: 15.5 - USE (Usages of Symbolic Execution) paper due: 1.4 notification: 1.5 final version: 1.6 - SETS (Sets and Tools) abstract due: 31.3 paper due: 7.4 notification: 7.5 final version: 22.5 - FMSEET (Formal Methods in Software Engineering Education and Training) abstract due: 31.3 paper due: 7.4 notification: 7.5 final version: 22.5 - Formal Methods and Model-Driven Engineering in Robotics paper due: 1.4 notification: 15.5 - F-IDE (Formal Integrated Development Environment) abstract due: 24.3 paper due: 31.3 notification: 30.4 final version: 15.5 - FM Doctoral Symposium: paper due: 20.3 notification: 3.4 ===================================================================== Please consult the general FM Website and the workshop/symposium page for the general event and the satellite events in particular, for individual call for contributions, individual submsission details and more: http://fm2015.ifi.uio.no http://fm2015.ifi.uio.no/workshops/ http://fm2015.ifi.uio.no/fm-2015-doctoral-symposium/ Further enquiries specific for particular satellite events are best directed to the corresponding specific event's chairs. =====================================================================