<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
</head>
<body style="overflow-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;">
<div style="orphans: 2; widows: 2;"><font face="Verdana, Arial, Helvetica, sans-serif" size="2"><span style="background-color: rgb(255, 255, 255);">FMTea 2024: Formal Methods Teaching Workshop</span></font></div>
<div style="orphans: 2; widows: 2;"><font face="Verdana, Arial, Helvetica, sans-serif" size="2"><span style="background-color: rgb(255, 255, 255);">Politecnico di Milano</span></font></div>
<div style="orphans: 2; widows: 2;"><font face="Verdana, Arial, Helvetica, sans-serif" size="2"><span style="background-color: rgb(255, 255, 255);">Milan, Italy, September 10, 2024</span></font></div>
<div style="orphans: 2; widows: 2;"><br>
</div>
<div style="orphans: 2; widows: 2;"><font face="Verdana, Arial, Helvetica, sans-serif" size="2"><span style="background-color: rgb(255, 255, 255);">Conference website<span class="Apple-tab-span" style="white-space:pre">
</span>https://fmtea.github.io/</span></font></div>
<div style="orphans: 2; widows: 2;"><br>
</div>
<div style="orphans: 2; widows: 2;"><font face="Verdana, Arial, Helvetica, sans-serif" size="2"><span style="background-color: rgb(255, 255, 255);">Invited Speaker</span></font></div>
<div style="orphans: 2; widows: 2;"><font face="Verdana, Arial, Helvetica, sans-serif" size="2"><span style="background-color: rgb(255, 255, 255);">Leslie Lamport, Microsoft Research, USA – Turing Award Winner</span></font></div>
<div style="orphans: 2; widows: 2;"><font face="Verdana, Arial, Helvetica, sans-serif" size="2"><span style="background-color: rgb(255, 255, 255);"><br>
</span></font></div>
<div style="orphans: 2; widows: 2;"><font face="Verdana, Arial, Helvetica, sans-serif" size="2"><span style="background-color: rgb(255, 255, 255);">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.</span></font></div>
<div style="orphans: 2; widows: 2;"><font face="Verdana, Arial, Helvetica, sans-serif" size="2"><span style="background-color: rgb(255, 255, 255);"><br>
</span></font></div>
<div style="orphans: 2; widows: 2;"><font face="Verdana, Arial, Helvetica, sans-serif" size="2"><span style="background-color: rgb(255, 255, 255);">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.</span></font></div>
<div style="orphans: 2; widows: 2;"><font face="Verdana, Arial, Helvetica, sans-serif" size="2"><span style="background-color: rgb(255, 255, 255);"><br>
</span></font></div>
<div style="orphans: 2; widows: 2;"><font face="Verdana, Arial, Helvetica, sans-serif" size="2"><span style="background-color: rgb(255, 255, 255);">Organization</span></font></div>
<div style="orphans: 2; widows: 2;"><font face="Verdana, Arial, Helvetica, sans-serif" size="2"><span style="background-color: rgb(255, 255, 255);">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/).</span></font></div>
<div style="orphans: 2; widows: 2;"><font face="Verdana, Arial, Helvetica, sans-serif" size="2"><span style="background-color: rgb(255, 255, 255);"><br>
</span></font></div>
<div style="orphans: 2; widows: 2;"><font face="Verdana, Arial, Helvetica, sans-serif" size="2"><span style="background-color: rgb(255, 255, 255);">Topics</span></font></div>
<div style="orphans: 2; widows: 2;"><font face="Verdana, Arial, Helvetica, sans-serif" size="2"><span style="background-color: rgb(255, 255, 255);">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:</span></font></div>
<div style="orphans: 2; widows: 2;"><font face="Verdana, Arial, Helvetica, sans-serif" size="2"><span style="background-color: rgb(255, 255, 255);"><br>
</span></font></div>
<div style="orphans: 2; widows: 2;"><font face="Verdana, Arial, Helvetica, sans-serif" size="2"><span style="background-color: rgb(255, 255, 255);">- Experiences and proposals related to "traditional" and online FM learning and teaching</span></font></div>
<div style="orphans: 2; widows: 2;"><font face="Verdana, Arial, Helvetica, sans-serif" size="2"><span style="background-color: rgb(255, 255, 255);">- Integrating and embedding formal methods within other computer science courses</span></font></div>
<div style="orphans: 2; widows: 2;"><font face="Verdana, Arial, Helvetica, sans-serif" size="2"><span style="background-color: rgb(255, 255, 255);">- Teaching formal methods for industry</span></font></div>
<div style="orphans: 2; widows: 2;"><font face="Verdana, Arial, Helvetica, sans-serif" size="2"><span style="background-color: rgb(255, 255, 255);">- Innovative learning and teaching methods, like automated grading and automated feedback using Large Language
Models</span></font></div>
<div style="orphans: 2; widows: 2;"><font face="Verdana, Arial, Helvetica, sans-serif" size="2"><span style="background-color: rgb(255, 255, 255);">- Student projects, including group projects</span></font></div>
<div style="orphans: 2; widows: 2;"><font face="Verdana, Arial, Helvetica, sans-serif" size="2"><span style="background-color: rgb(255, 255, 255);"><br>
</span></font></div>
<div style="orphans: 2; widows: 2;"><font face="Verdana, Arial, Helvetica, sans-serif" size="2"><span style="background-color: rgb(255, 255, 255);">Software development is transforming into a rigorous engineering discipline. </span></font><span style="background-color: rgb(255, 255, 255); font-family: Verdana, Arial, Helvetica, sans-serif; font-size: small;">Improved
teaching techniques will ensure that FM is at the heart of this transformation process.</span></div>
<div style="orphans: 2; widows: 2;"><font face="Verdana, Arial, Helvetica, sans-serif" size="2"><span style="background-color: rgb(255, 255, 255);"><br>
</span></font></div>
<div style="orphans: 2; widows: 2;"><font face="Verdana, Arial, Helvetica, sans-serif" size="2"><span style="background-color: rgb(255, 255, 255);">Submission Details</span></font></div>
<div style="orphans: 2; widows: 2;"><font face="Verdana, Arial, Helvetica, sans-serif" size="2"><span style="background-color: rgb(255, 255, 255);">Each submitted paper will be reviewed by at least three PC members. All submissions must be original, unpublished,
and not submitted for publication elsewhere.</span></font></div>
<div style="orphans: 2; widows: 2;"><font face="Verdana, Arial, Helvetica, sans-serif" size="2"><span style="background-color: rgb(255, 255, 255);"><br>
</span></font></div>
<div style="orphans: 2; widows: 2;"><font face="Verdana, Arial, Helvetica, sans-serif" size="2"><span style="background-color: rgb(255, 255, 255);">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:</span></font></div>
<div style="orphans: 2; widows: 2;"><font face="Verdana, Arial, Helvetica, sans-serif" size="2"><span style="background-color: rgb(255, 255, 255);"><br>
</span></font></div>
<div style="orphans: 2; widows: 2;"><font face="Verdana, Arial, Helvetica, sans-serif" size="2"><span style="background-color: rgb(255, 255, 255);">https://easychair.org/conferences/?conf=fmtea2024</span></font></div>
<div style="orphans: 2; widows: 2;"><font face="Verdana, Arial, Helvetica, sans-serif" size="2"><span style="background-color: rgb(255, 255, 255);"><br>
</span></font></div>
<div style="orphans: 2; widows: 2;"><font face="Verdana, Arial, Helvetica, sans-serif" size="2"><span style="background-color: rgb(255, 255, 255);">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.</span></font></div>
<div style="orphans: 2; widows: 2;"><font face="Verdana, Arial, Helvetica, sans-serif" size="2"><span style="background-color: rgb(255, 255, 255);"><br>
</span></font></div>
<div style="orphans: 2; widows: 2;"><font face="Verdana, Arial, Helvetica, sans-serif" size="2"><span style="background-color: rgb(255, 255, 255);">Important Dates</span></font></div>
<div style="orphans: 2; widows: 2;"><font face="Verdana, Arial, Helvetica, sans-serif" size="2"><span style="background-color: rgb(255, 255, 255);">10 May 2024: Deadline for submission of papers</span></font></div>
<div style="orphans: 2; widows: 2;"><font face="Verdana, Arial, Helvetica, sans-serif" size="2"><span style="background-color: rgb(255, 255, 255);">10 June 2024: Notifications to authors</span></font></div>
<div style="orphans: 2; widows: 2;"><font face="Verdana, Arial, Helvetica, sans-serif" size="2"><span style="background-color: rgb(255, 255, 255);">24 June 2024: Deadline for camera-ready version</span></font></div>
<div style="orphans: 2; widows: 2;"><font face="Verdana, Arial, Helvetica, sans-serif" size="2"><span style="background-color: rgb(255, 255, 255);">10 September 2024: FMTea'24 Workshop</span></font></div>
<div style="orphans: 2; widows: 2;"><font face="Verdana, Arial, Helvetica, sans-serif" size="2"><span style="background-color: rgb(255, 255, 255);"><br>
</span></font></div>
<div style="orphans: 2; widows: 2;"><span style="background-color: rgb(255, 255, 255); font-family: Verdana, Arial, Helvetica, sans-serif; font-size: small;">Program Committee Chairs</span></div>
<div style="orphans: 2; widows: 2;"><font face="Verdana, Arial, Helvetica, sans-serif" size="2"><span style="background-color: rgb(255, 255, 255);">Leila Ribeiro, Universidade Federal do Rio Grande do Sul, Brazil</span></font></div>
<div style="orphans: 2; widows: 2;"><font face="Verdana, Arial, Helvetica, sans-serif" size="2"><span style="background-color: rgb(255, 255, 255);">Emil Sekerinski, McMaster University, Canada</span></font></div>
<div style="orphans: 2; widows: 2;"><font face="Verdana, Arial, Helvetica, sans-serif" size="2"><span style="background-color: rgb(255, 255, 255);"><br>
</span></font></div>
<div style="orphans: 2; widows: 2;"><font face="Verdana, Arial, Helvetica, sans-serif" size="2"><span style="background-color: rgb(255, 255, 255);">Program Committee</span></font></div>
<div style="orphans: 2; widows: 2;"><font face="Verdana, Arial, Helvetica, sans-serif" size="2"><span style="background-color: rgb(255, 255, 255);">Erika Ábrahám, RWTH Aachen University, Germany</span></font></div>
<div style="orphans: 2; widows: 2;"><font face="Verdana, Arial, Helvetica, sans-serif" size="2"><span style="background-color: rgb(255, 255, 255);">Sandrine Blazy, University of Rennes 1, France</span></font></div>
<div style="orphans: 2; widows: 2;"><font face="Verdana, Arial, Helvetica, sans-serif" size="2"><span style="background-color: rgb(255, 255, 255);">Catherine Dubois, ENSIIE, France</span></font></div>
<div style="orphans: 2; widows: 2;"><font face="Verdana, Arial, Helvetica, sans-serif" size="2"><span style="background-color: rgb(255, 255, 255);">Brijesh Dongol, University of Surrey, UK</span></font></div>
<div style="orphans: 2; widows: 2;"><font face="Verdana, Arial, Helvetica, sans-serif" size="2"><span style="background-color: rgb(255, 255, 255);">João F. Ferreira, INESC-ID & IST, University of Lisbon, Portugal</span></font></div>
<div style="orphans: 2; widows: 2;"><font face="Verdana, Arial, Helvetica, sans-serif" size="2"><span style="background-color: rgb(255, 255, 255);">Stefan Hallerstede, Aarhus University, Denmark</span></font></div>
<div style="orphans: 2; widows: 2;"><font face="Verdana, Arial, Helvetica, sans-serif" size="2"><span style="background-color: rgb(255, 255, 255);">Thierry Lecomte, CLEARSY, France</span></font></div>
<div style="orphans: 2; widows: 2;"><font face="Verdana, Arial, Helvetica, sans-serif" size="2"><span style="background-color: rgb(255, 255, 255);">Michael Leuschel, University of Düsseldorf, Germany</span></font></div>
<div style="orphans: 2; widows: 2;"><font face="Verdana, Arial, Helvetica, sans-serif" size="2"><span style="background-color: rgb(255, 255, 255);">Alexandra Mendes, INESC TEC & Faculty of Engineering, University of Porto, Portugal</span></font></div>
<div style="orphans: 2; widows: 2;"><font face="Verdana, Arial, Helvetica, sans-serif" size="2"><span style="background-color: rgb(255, 255, 255);">Tim Nelson, Brown University, US</span></font></div>
<div style="orphans: 2; widows: 2;"><font face="Verdana, Arial, Helvetica, sans-serif" size="2"><span style="background-color: rgb(255, 255, 255);">Markus Kuppe, Microsoft, US</span></font></div>
<div style="orphans: 2; widows: 2;"><font face="Verdana, Arial, Helvetica, sans-serif" size="2"><span style="background-color: rgb(255, 255, 255);">David Pearce, ConsenSys & Victoria University of Wellington, New Zealand</span></font></div>
<div style="orphans: 2; widows: 2;"><font face="Verdana, Arial, Helvetica, sans-serif" size="2"><span style="background-color: rgb(255, 255, 255);">Luigia Petre, Åbo Akademi University, Finland</span></font></div>
<div style="orphans: 2; widows: 2;"><font face="Verdana, Arial, Helvetica, sans-serif" size="2"><span style="background-color: rgb(255, 255, 255);">Pierluigi San Pietro, Politecnico di Milano, Italy</span></font></div>
<div style="orphans: 2; widows: 2;"><font face="Verdana, Arial, Helvetica, sans-serif" size="2"><span style="background-color: rgb(255, 255, 255);">Graeme Smith, The University of Queensland, Australia</span></font></div>
<div style="orphans: 2; widows: 2;"><font face="Verdana, Arial, Helvetica, sans-serif" size="2"><span style="background-color: rgb(255, 255, 255);"><br>
</span></font></div>
<div style="orphans: 2; widows: 2;"><span style="background-color: rgb(255, 255, 255); font-family: Verdana, Arial, Helvetica, sans-serif; font-size: small;">Previous Editions</span></div>
<div style="orphans: 2; widows: 2;"><font face="Verdana, Arial, Helvetica, sans-serif" size="2"><span style="background-color: rgb(255, 255, 255);">The previous editions are listed on the workshop homepage (https://fmtea.github.io/).</span></font></div>
<div style="orphans: 2; widows: 2;"><font face="Verdana, Arial, Helvetica, sans-serif" size="2"><span style="background-color: rgb(255, 255, 255);"><br>
</span></font></div>
<div style="orphans: 2; widows: 2;"><font face="Verdana, Arial, Helvetica, sans-serif" size="2"><span style="background-color: rgb(255, 255, 255);">Publication</span></font></div>
<div style="orphans: 2; widows: 2;"><font face="Verdana, Arial, Helvetica, sans-serif" size="2"><span style="background-color: rgb(255, 255, 255);">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).</span></font></div>
<div style="orphans: 2; widows: 2;"><font face="Verdana, Arial, Helvetica, sans-serif" size="2"><span style="background-color: rgb(255, 255, 255);"><br>
</span></font></div>
<div style="orphans: 2; widows: 2;"><font face="Verdana, Arial, Helvetica, sans-serif" size="2"><span style="background-color: rgb(255, 255, 255);">Venue</span></font></div>
<div style="orphans: 2; widows: 2;"><font face="Verdana, Arial, Helvetica, sans-serif" size="2"><span style="background-color: rgb(255, 255, 255);">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.</span></font></div>
<div style="orphans: 2; widows: 2;"><font face="Verdana, Arial, Helvetica, sans-serif" size="2"><span style="background-color: rgb(255, 255, 255);"><br>
</span></font></div>
<div style="orphans: 2; widows: 2;"><font face="Verdana, Arial, Helvetica, sans-serif" size="2"><span style="background-color: rgb(255, 255, 255);">Contact</span></font></div>
<div style="orphans: 2; widows: 2;"><font face="Verdana, Arial, Helvetica, sans-serif" size="2"><span style="background-color: rgb(255, 255, 255);">Questions about submissions should be directed to the program committee chairs, Leila Ribeiro <leila@inf.ufrgs.br>
and Emil Sekerinski <emil@mcmaster.ca>.</span></font></div>
</body>
</html>