caml-list - the Caml user's mailing list
 help / color / Atom feed
* [Caml-list] FMTea19 CALL for PARTICIPATION: Formal Methods Teaching, on October 7, 2019, in Porto, Portugal
@ 2019-08-29  9:58 Luigia Petre
  0 siblings, 0 replies; only message in thread
From: Luigia Petre @ 2019-08-29  9:58 UTC (permalink / raw)
  To: caml-list

[-- Attachment #1: Type: text/plain, Size: 5593 bytes --]


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

Affiliated with the 3rd World Congress on Formal Methods<>

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 Science
-        Tutorial lecture: Prof Holger Hermanns (Saarland University, Germany) -
-        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 Students
- 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 Engineering
- 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:, where you can check the info on prices, deadlines, etc for FMTea, FM and related events, while the registration platform itself is here: 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<>

[-- Attachment #2: Type: text/html, Size: 18132 bytes --]

^ permalink raw reply	[flat|nested] only message in thread

only message in thread, back to index

Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2019-08-29  9:58 [Caml-list] FMTea19 CALL for PARTICIPATION: Formal Methods Teaching, on October 7, 2019, in Porto, Portugal Luigia Petre

caml-list - the Caml user's mailing list

Archives are clonable:
	git clone --mirror
	git clone --mirror

Example config snippet for mirrors

Newsgroup available over NNTP:

AGPL code for this site: git clone