[TYPES/announce] FM 2015: Joint Call for Papers at FM Satellite Workshops & Doctoral Symposium (20th Intl. Symposium on Formal Methods, Oslo)

Martin Steffen msteffen at ifi.uio.no
Fri Jan 16 03:48:14 EST 2015


------------------------------------------------------------------------
-----------                                           ------------------
--------=== 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.

=====================================================================


More information about the Types-announce mailing list