FM 2015: Joint Call for Papers at FM Satellite Workshops & Doctoral Symposium (20th Intl. Symposium on Formal Methods, Oslo)
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
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.
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.