Workshops

Mid-FLoC and Post-FLoC workshops affiliated with FM 2018

On Saturday July 14 directly preceding the Formal Methods Symposium, as well as on Wednesday July 18 and Thursday July 19 following the symposium a number of affiliated workshop  will be held. For the list of all FLoC workshops see the workshop page at the FLoC website.

See below for more detail.

Mid-FLoC workshops affiliated with FM 2018

The mid-FLoC workshop period runs from Wednesday July 11, 2018 to Saturday July 14, 2018. The mid-FLoC workshops affiliated with FM take place on Saturday July 14, 2018.

  • F-IDE 2018: 4th Workshop on Formal Integrated Development Environment

    High levels of safety, security and also privacy standards require the use of formal methods to specify and develop compliant software (sub)systems.
    Ideally, an F-IDE dedicated to such developments should

    • associate a logical theory with a programming language, in a way that facilitates the tightly coupled handling of specification
      properties and program constructs
    • offer a language/environment simple enough to be usable by most developers, making development of proofs as easy as possible
    • offer automated management of application documentation

    The workshop is open to contributions on all aspects of a system development process, including specification, design, implementation, analysis and documentation. It welcomes the presentation of tools, methods, techniques and experiments.
    Organizers: Paolo Masci, Rosemary Monahan, and Virgile Prevosto
    Date: Saturday July 14, 2018
    Website: https://sites.google.com/view/fideworkshop2018
    Submission: two weeks after FM notification (abstracts), three weeks after FM notification (papers)

  • The 16th Overture Workshop: New Capabilities and Applications for Model-based Systems Engineering

    The workshop provides a forum for discussing and advancing the state of the art in formal modelling and analysis using VDM and its family of associated formalisms. The workshop welcomes contributions addressing the development of tools for VDM, developments in foundations, and reports on practical experience.
    Organizers: Ken Pierce and Marcel Verhoef
    Date:  Saturday July 14, 2018
    Website: overturetool.org/workshops/16th-Overture-Workshop.html
    Submission: Sunday April 8, 2018 (abstracts), Sunday April 15, 2018 (papers)

  • QAPL 2018: 16th Workshop on Quantitative Aspects of Programming Languages and Systems

    The aim of the QAPL workshop series is to discuss the explicit use of time, probability and general quantities either directly in a formal model or as a tool for the analysis of systems. QAPL 2018 at FLoC is a special edition devoted to the ”Formalization of Quantitative Aspects” focusing on issues like Quantitative Logics, Formal Reasoning with Quantities, Formal Methods and Quantitative Aspects, etc.
    Organizers: Mieke Massink and Erik de Vink
    Date: Saturday July 14, 2018
    Website: www1.isti.cnr.it/~Massink/EVENTS/QAPL2018
    Submission: Tuesday April 10, 2018 (abstracts), April 15, 2018 (papers)

Post-FLoC workshops affiliated with FM 2018

The post -FLoC workshop period is from Wednesday July 18, 2018 to Thursday July 19, 2018.

  • AVoCS 2018: 18th workshop on Automated Verification of Critical Systems

    The aim of the AVoCS workshop series is to contribute to the interaction and exchange of ideas among members of the international research community on tools and techniques for the verification of critical systems. In particular, AVoCS 2018 aims to bring together scientists and engineers that are active in the area of formal methods, develop tools and techniques for the automated verification of critical systems, and are interested in exchanging their experiences in the industrial usage of these methods and tools.

    Organizers: David Pichardie and Mihaela Sighireanu
    Dates: Wednesday July 18, 2018 and Thursday July 19, 2018
    Website: avocs18.irisa.fr
    Submission: Tuesday April 10, 2018 (abstracts), April 15, 2018 (papers)

  • REFINE: 2018 Refinement Workshop

    The aim of the Refinement Workshops over the years has been to bring together people who are interested in the development of more concrete designs or executable programs from abstract specifications using formal notations, tool support for formal software development, and practical experience with formal refinement methodologies.
    Organizers: John Derrick, Steve Reeves, and Brijesh Dongol
    Date: Wednesday July 18, 2018
    Website: www.refinenet.org.uk
    Submission: Monday April 16, 2018

  • TLA+ Community Event

    The workshop is a forum for the TLA+ community to meet and exchange physically. Its program will be constituted by tutorial presentations on the latest evolutions of TLA+ and its support tools, as well as by contributed talks that present recent and ongoing work on and around TLA+ in industry and academia.
    Organizers: Leslie Lamport and Stephan Merz
    Date: Wednesday July 18, 2018
    Website: tla2018.loria.fr
    Submission of presentation abstract: TBA

  • VaVAS: International workshop on Verification and Validation of Autonomous Systems

    Autonomous Systems are frequently both safety or mission critical and complex to verify. Clearly with these systems, we must invoke techniques for analysis and test that provide much higher confidence than usual. Consequently, the verification and validation processes used for traditional systems must be enhanced to provide increased confidence in the next wave of autonomous systems.The Verification and Validation of Autonomous Systems Network aims to stimulate, co-ordinate, promote, and disseminate research on the verification and validation of autonomous systems. The event provides both the last event in the network and an open forum to showcase some of the key developments in this area achieved by network members.

    Organizers: Michael Fisher, Clare Dixon, Brian Logan, and Alessio Lomuscio
    Dates: Wednesday July 18, 2018 and Thursday July 19, 2018
    Website: cgi.csc.liv.ac.uk/~michael/VaVAS-July2018/
    Submission: TBA (papers), TBA (demos)