[isabelle] CALL FOR PAPERS - FM-RAIL-BOK WORKSHOP 2013



CALL FOR PAPERS

  FM-RAIL-BOK WORKSHOP 2013 

  -- Workshop on a 
  -- Formal Methods Body of Knowledge for 
  -- Railway Control and Safety Systems

  23-24 September 2013, 2013, Madrid, Spain
  http://ssfmgroup.wordpress.com

  A workshop in SEFM'13
  September 25-27, 2013, Madrid, Spain
  http://antares.sip.ucm.es/sefm2013/

MOTIVATION AND SCIENCE-PHILOSOPHICAL BACKGROUND

  Formal methods in software science and software engineering have
  existed at least as long as the term “software engineering” (NATO
  Science Conference, Garmisch, 1968) itself. In many
  engineering-based application areas, such as in the railway domain,
  formal methods have reached a level of maturity that already enables
  the compilation of a so-called body of knowledge (abbreviated as
  “BOK”). Its various methods and techniques include algebraic
  specification, process-algebraic modelling and verification, Petri
  nets, fuzzy logics, etc. For example, the B-method has been used
  successfully to verify the most relevant parts of a model of the
  Metro underground railway system of the city of Paris
  (France). Software tool support is already available for a number of
  those formal methods; for example in the form of various model
  checker or SAT solver programs.

  In this context, our workshop shall bring together scientists,
  researchers and practitioners, from academia, the industry,
  professional guildes and engineering associations, national or
  international standardisation committees, as well as governmental or
  administrative regulators to re-collect and discuss the “state of
  the art” in the application of formal methods within the railway
  domain (including inner-city tram lines, urban mono-rail systems,
  etc., too). Thereby we shall adopt a methodological viewpoint based
  on Vincenti’s book "What Engineers know and how they know it:
  Analytical Studies from Aeronautical History, John Hopkins
  University Press, 1990". This book contains a science-historical and
  science-philosophical analysis of what it is that constitutes
  engineering knowledge (and the related practice) specifically, in
  other words: an epistemology of engineering. The development of the
  above-mentioned handbooks as an explicit recording of such knowledge
  is part of Vincenti’s epistemology.

SUBMISSION

  Our workshop calls for short position papers with strong emphasis on
  methodologically sound “BOK” contents and case-based “best practice”
  knowledge in the spirit of classical engineering handbooks.

  Such papers, which will be reviewed and moderated by the workshop’s
  programme committee, must not exceed 6 pages in the IEEE
  double-column conference format

    http://www.ieee.org/conferences_events/conferences/publishing/templates.html

  and must be submitted via our EasyChair Submission Website

    http://www.easychair.org/account/signin.cgi?conf=fmrailbok2013

  no later than the stipulated submission deadline.  Submissions which
  do not meet these requirements will be rejected without review.

IMPORTANT DATES:

  Paper submission deadline: 14 June 2013  
  Author notification: 5 July 2013
  Re-submission of revised accepted papers: 16 August 2013
  Distribution of revised papers amongst registered participants: 2 September 2013
  Workshop in Madrid: 23-24 September 2013
  Thereafter: post-discussions and further work towards the planned book release

WORKSHOP CO-CHAIRS

  Anne Haxthausen, Technical University of Denmark 
  Markus Roggenbach, University of Swansea, Great Britain
  Stefan Gruner, University of Pretoria, South Africa
  Tom Maibaum, McMaster University, Canada

PROGRAMME COMMITTEE (confirmation status: 21 March 2013)

  Martin Brennan, British Rail Safety Standards Board
  Simon Chadwick, Invensys Rail, Great Britain
  Lars-Henrik Eriksson, Uppsala University, Sweden
  Alessandro Fantechi, University of Firenze, Italy
  Michaela Huhn, Technical University of Clausthal, Germany
  Hoang Nga Nguyen, University of Swansea, Great Britain
  Jan Peleska, University of Bremen, Germany
  Holger Schlingloff, Humboldt-University of Berlin, Germany
  Kenji Taguchi, AIST, Japan
  Helen Treharne, University of Surrey, Great Britain
  Laurent Voisin, Systerel, France
  Kirsten Winter, University of Queensland, Australia

WORKSHOP FORMAT

  Our workshop is planned as a workshop in the proper sense of the
  word, i.e.: it will be work-oriented, not
  presentation-oriented. During the workshop, smaller sub-groups will
  work on various sub-topics, whereas plenum sessions will bring the
  sub-groups and their sub-results together again.

  For the sake of effective working during the event, all accepted
  papers will be distributed amongst the registered participants
  already before the event. Participants are expected to study these
  papers before the workshop, such that the discussions and sub-groups
  can commence effectively from the first hour of the meeting onwards.

  Soon after the workshop, its work results (proceedings) shall be
  published first in the form of an institutional technical
  report. Thereafter the technical report shall be further “polished”
  and consolidated, with the goal of publishing an authoritative BOK
  book on the chosen topic, with a reputable publisher, in the
  not-too-far future.

  In case of good success, similar BOK preparation workshops are
  planned for the future on other (yet similar) topics, for example:
  formal methods for aviation software, or formal methods for
  automobile applications, etc. In the long term, this could lead to a
  multi-volume series of such BOK books on various topics.

PUBLICATION

  According to our workshop’s goal and format we follow a 3-phase
  publication plan with informal distribution of accepted papers
  amongst registered workshop participants before the workshop,
  official release of an institutional technical report soon after the
  workshop, publication of a refined and consolidated BOK book in the
  not-too-far future, after the technical report, with a reputable
  scientific publisher.





This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.