The Coq mailing list

["Sekerinski, Emil" <emil AT mcmaster.ca>]

FMTea 2024: Formal Methods Teaching Workshop
Politecnico di Milano
Milan, Italy, September 10, 2024

Conference website      https://fmtea.github.io/

Invited Speaker
Leslie Lamport, Microsoft Research, USA – Turing Award Winner

Formal methods originated as a means for the rigorous construction of 
software systems. While formal methods are increasingly being used in 
industry in recent years, university curricula are not adapting at the same 
pace. Some existing formal methods classes interest and challenge students, 
whereas others fail to ignite student motivation. In particular, after the 
pandemic, student engagement has not returned to the status quo ante. It is 
thus important to develop, share, and discuss approaches to effectively teach 
formal methods to the next generations.

We envision this event as a one-day combination of keynote and workshop 
presentations, where various models of teaching are presented and explored, 
together with innovative approaches relevant to educators of Formal Methods 
in the 21st century.

Organization
FMTea'24 is organized by FME’s Teaching Committee. Our broad aim is to 
support a worldwide improvement in learning Formal Methods, mainly by 
teaching but also via self-learning. To that end, we have already gathered a 
list of FM courses taught worldwide (https://fme-teaching.github.io) and plan 
to collect other resources as well, such as FM case studies, FM inspirational 
papers, etc. Furthermore, the FME Teaching Committee coordinates a tutorial 
series held online. Tutorials are collected on the FME Teaching Committee 
website (https://fme-teaching.github.io/).

Topics
FMTea'24 invites high-quality papers reporting on opinions, approaches, and 
experiences related to the topic of teaching Formal Methods. We aim to 
attract papers detailing authors’ experiences with FM Teaching. We welcome 
papers discussing the successes and failures of various methods, case 
studies, tools, etc. As self-learning is an emerging aspect of formal 
methods, we appreciate experiences with online teaching, including 
experiences with teaching formal methods via MOOCs. A non-exhaustive list of 
topics of interest for the FMTea'24 workshop is below:

- Experiences and proposals related to "traditional" and online FM learning 
and teaching
- Integrating and embedding formal methods within other computer science 
courses
- Teaching formal methods for industry
- Innovative learning and teaching methods, like automated grading and 
automated feedback using Large Language Models
- Student projects, including group projects

Software development is transforming into a rigorous engineering discipline. 
Improved teaching techniques will ensure that FM is at the heart of this 
transformation process.

Submission Details
Each submitted paper will be reviewed by at least three PC members. All 
submissions must be original, unpublished, and not submitted for publication 
elsewhere.

Submissions must be in PDF format, using the Springer LNCS style files 
(https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines).
 We suggest using the LaTeX2e package (the llncs.cls class file, available in 
llncs2e.zip and the typeinst.dem available in typeinst.zip as a template for 
your contribution). Papers should not exceed 15 pages (including references) 
in length. Submissions should be made using the FMTea'24 Easychair website:

https://easychair.org/conferences/?conf=fmtea2024

All accepted papers must be presented at the workshop. At least one author of 
each accepted paper must register for the conference by an early date, to be 
indicated by the FM 2024 organizers, and present the paper.

Important Dates
10 May 2024: Deadline for submission of papers
10 June 2024: Notifications to authors
24 June 2024: Deadline for camera-ready version
10 September 2024: FMTea'24 Workshop

Program Committee Chairs
Leila Ribeiro, Universidade Federal do Rio Grande do Sul, Brazil
Emil Sekerinski, McMaster University, Canada

Program Committee
Erika Ábrahám, RWTH Aachen University, Germany
Sandrine Blazy, University of Rennes 1, France
Catherine Dubois, ENSIIE, France
Brijesh Dongol, University of Surrey, UK
João F. Ferreira, INESC-ID & IST, University of Lisbon, Portugal
Stefan Hallerstede, Aarhus University, Denmark
Thierry Lecomte, CLEARSY, France
Michael Leuschel, University of Düsseldorf, Germany
Alexandra Mendes, INESC TEC & Faculty of Engineering, University of Porto, 
Portugal
Tim Nelson, Brown University, US
Markus Kuppe, Microsoft, US
David Pearce, ConsenSys & Victoria University of Wellington, New Zealand
Luigia Petre, Åbo Akademi University, Finland
Pierluigi San Pietro, Politecnico di Milano, Italy
Graeme Smith, The University of Queensland, Australia

Previous Editions
The previous editions are listed on the workshop homepage 
(https://fmtea.github.io/).

Publication
The proceedings will be published in the Formal Methods Teaching series of 
Springer’s Lecture Notes in Computer Science 
(https://link.springer.com/conference/tfm).

Venue
FMTea'24 is affiliated with FM 2024 (https://www.fm24.polimi.it/), the 26th 
International Symposium on Formal Methods, held at Politecnico di Milano, 
September 9 – 13, 2024.

Contact
Questions about submissions should be directed to the program committee 
chairs, Leila Ribeiro <leila AT inf.ufrgs.br> and Emil Sekerinski 
<emil AT mcmaster.ca>.