[TYPES/announce] Call for Participation: Formal Methods in Software Engineering (FormaliSE) (co-located with ICSE 2019)

[Eunsuk Kang]

CALL FOR PARTICIPATION: FormaliSE 2019 
https://www.formalise.org/ <https://www.formalise.org/>
Conference on Formal Methods in Software Engineering (May 27th)
co-located with ICSE 2019, Montréal, Canada

INTRODUCTION
FormaliSE is a yearly conference on Formal Methods in Software Engineering. FormaliSE is organized by FME (Formal Methods Europe) and is co-located with ICSE (International Conference on Software Engineering). The main goal of the conference is to foster integration between the formal methods and the software engineering communities. The lack of formalization in key places makes software engineering overly sensitive to the weaknesses that are inevitable in the complex activities behind software creation. This is where formal methods (FMs) have a huge opportunity.

The program (https://www.formalise.org/program <https://www.formalise.org/program>) features presentations of 13 research papers. Dr. Jeffrey Joyce (Critical System Labs Inc., Canada) will give a keynote presentation. 

VENUE
FormaliSE 2019 will be held at the Fairmont The Queen Elizabeth Hotel, Montréal, Canada.

REGISTRATION
Registration for FormaliSE is open. You can register here (https://2019.icse-conferences.org/attending/registration <https://2019.icse-conferences.org/attending/registration>). Registration is handled by ICSE. Early bird registration deadline is 1 April 2019.

ACCOMODATION
A number of hotel rooms have been blocked for ICSE 2019 participants, click here (https://2019.icse-conferences.org/attending/hotel-registration <https://2019.icse-conferences.org/attending/hotel-registration>) for details.

See you in Montréal!

Nico Plat and Stefania Gnesi (General Chairs)
Nancy Day and Matteo Rossi (PC Chairs)

Keynote speaker
Dr. Jeffrey Joyce is the co-founder and managing director of a Vancouver-based engineering consultancy, Critical System Labs Inc., (CSL) that provides clients with expertise in the specification, analysis and certification of software-intensive critical systems. Jeff has more than 30 years of experience across a variety of technical domains including aerospace, automotive, defence, energy, medical devices and rail signalling systems. He has served on international working groups that have developed industry standards such as RTCA DO-178C (airborne software), RTCA DO-333 (formal methods) and ISO 26262 (automotive). In 1990, Jeff earned a doctorate from Cambridge University following earlier degrees from the University of Calgary and the University of Waterloo. His doctoral research under the supervision of Prof. Michael Gordon was among early work on the use of formal methods to verify digital hardware. More recently, Jeff and his CSL colleagues have use formal methods to verify aspects of critical software systems for clients in aerospace, automotive and high-energy physics.

Title of the keynote: The Benefits of (having doubts about) Formal Methods
To believe with certainty we must begin with doubting - Stanisław Leszczyński (1677 – 1766)

Abstract: A variety of industry standards for critical systems, such as RTCA DO-178C and ISO 26262, refer to the possibility of using formal methods to produce verification results for the purpose of certification. However, satisfying the expectations of a certification authority using verification results obtained by means of formal methods can be a formidable challenge. Dr. Joyce will describe some reasonable doubts that might be raised by a certification authority about a plan to use formal methods as a source of verification results in place of test-based results. He will explain how such doubts influenced guidance developed by the aerospace industry for use of formal methods in the certification of airborne software. Anticipating these doubts can be the basis of an effective strategy to use formal methods as part of the certification of a critical system.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20190329/e7313603/attachment-0001.html>