Formal Methods Teaching Workshop and Tutorial - FMTea19
Porto, October 7, 2019

Affiliated with the 3rd World Congress on Formal 

FMTea19 aims to share experiences of teaching formal methods that have gone 
well, or that failed in surprising ways, as well as to develop ways to reboot 
the presence of formal methods in curricula.

FMTea19 is a full-day event, comprising both a tutorial part in the morning as 
well as the workshop part in the afternoon. We are extremely happy with both 
the invited and tutorial lectures in the morning as well as with the 
enthusiastic response we got to our call for papers.

Tutorial part of FMTea19
We are very pleased to present the following tutorial program in the morning:
-        Invited lecture: Prof Carroll Morgan (University of New South Wales 
and Data61, Australia) - Is Formal Methods Really Essential?
-        Tutorial lecture: Sir Tony Hoare (Cambridge University Computing 
Laboratory, UK) - Logic, Algebra, and Geometry at the Foundation of Computer 
-        Tutorial lecture: Prof Holger Hermanns (Saarland University, Germany) 
- pseuCo.com
-        Tutorial lecture: Prof Bas Luttik (Eindhoven University of Technology, 
the Netherlands): Efficient Online Homologation to Prepare Students for Formal 
Methods Courses

Workshop Part of FMTea19
The workshop program includes the presentation and discussion of 12 papers and 
3 posters. We have divided the papers into three panel sessions. Each paper is 
shortly presented in its panel session and then, the session's presenters 
participate in a panel discussion of 30 minutes, led by one/two session chairs. 
The idea is to encourage an open and inclusive discussion that could also 
engage the audience. The posters will be placed inside FMTea's room and be 
available for discussion, for instance, during the afternoon coffee break. You 
can check the accepted papers below:

- Andrew Simpson. Teaching Introductory Formal Methods and Discrete Mathematics 
to Software Engineers: Reflections on a modelling-focussed approach
- Nestor Catano. Teaching Formal Methods: Lessons Learnt from Using Event-B
- Sandrine Blazy. Teaching Deductive Verification in Why3 to Undergraduate 
- Pamela Fleischmann, Mitja Kulczynski, Dirk Nowotka and Thomas Wilke. Managing 
Heterogeneity and Bridging the Gap in Teaching Formal Methods
- Adrian Johnstone and Elizabeth Scott. Principled and Pragmatic Specification 
of Programming Languages
- Kristin Yvonne Rozier. On Teaching Applied Formal Methods in Aerospace 
- María-Del-Mar Gallardo and Laura Panizo. Teaching Formal Methods: From 
Software in the Small to Software in the Large
- Faron Moller and Liam O'Reilly. Teaching Discrete Mathematics to Computer 
Science Students
- Emil Sekerinski. Teaching Concurrency with the Disappearing Formal Method
- Jose Divasón and Ana Romero. Using Krakatoa for Teaching Formal Verification 
of Java Programs
- Tony Hoare, Alexandra Mendes and Joao F. Ferreira. Logic, Algebra, and 
Geometry at the Foundation of Computer Science (invited paper)
- Ariane A. Almeida, Ana Cristina Rocha-Oliveira, Thiago Mendonça Ferreira 
Ramos, Flavio L. C. De Moura and Mauricio Ayala-Rincon. The Computational 
Relevance of Formal Logic through Formal Proofs
- Christophe Garion, Jérôme Hugues, Claire Dross, Joffrey Huguet and Léo 
Creuse. Teaching Deductive Verification through Frama-C and SPARK
- Catherine Dubois, Virgile Prevosto and Guillaume Burel. Teaching Formal 
Methods to Future Engineers
- Giampaolo Bella. You Already Used Formal Methods but Did Not Know

The abstracts of all presentations and the FMTea19 schedule can be seen here: 

Registration is open as follows:
-        Early - until Sep 10 (AoE)
-        Late - from Sep 11 until 5 Oct (AoE)
-        On site - from Oct 6 to Oct 11 (AoE)

Registration is via the FM2019 website: 
http://formalmethods2019.inesctec.pt/?page_id=2363, where you can check the 
info on prices, deadlines, etc for FMTea, FM and related events, while the 
registration platform itself is here: https://www.weezevent.com/fm-19. The 
early registration fee (until September 10) for FMTea19 is 140 eur. It is very 
important that you mention FMTea19 in the text box if you register for more 
than our event (say for the whole week at FM'19). Only in this way we will know 
that you registered to FMTea and prepare accordingly.

The FMTea19 proceedings will be available only online. This belongs to a global 
move of the FM'19 events - they are all paperless, in an effort to provide a 
greener environment. The FMTea19 online proceedings will be available only to 
the registered FMTea19 participants, so please register in time to catch the 
early fee, until September 10. The proceedings is published by Springer in the 
Lecture Notes in Computer Science series, volume 11758.

Please do not hesitate to contact us for any question that may pop up. We are 
very happy about the FMTea19 program and look forward to meet you all on 
October 7 in Porto!

Kind regards,
Luigia Petre, Brijesh Dongol, Graeme Smith
(the PC co-chairs)

*** Welcome to FMTea19 ***
*** Welcome to PORTO ***
*** Welcome to Portugal ***

Luigia Petre, Docent, PhD
Faculty of Science and Engineering
Åbo Akademi University, Finland

hol-info mailing list

Reply via email to