<html>
<head>
<meta http-equiv="content-type" content="text/html; charset=UTF-8">
</head>
<body>
<pre class="moz-quote-pre" wrap="">[apologies for cross-postings]
</pre>
<p><b style="font-weight:normal;"
id="docs-internal-guid-78d4eb84-7fff-5298-b874-3917a2de6583"> </b></p>
<p dir="ltr"
style="line-height:1.38;margin-top:0pt;margin-bottom:0pt;"><b
style="font-weight:normal;"
id="docs-internal-guid-78d4eb84-7fff-5298-b874-3917a2de6583"><span style="font-size:12pt;font-family:'Times New Roman';color:#000000;background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre;white-space:pre-wrap;"># Formal Methods Teaching Workshop (FMTea 2023)</span></b></p>
<b style="font-weight:normal;"
id="docs-internal-guid-78d4eb84-7fff-5298-b874-3917a2de6583"><br>
<p dir="ltr"
style="line-height:1.38;margin-top:0pt;margin-bottom:0pt;"><span style="font-size:12pt;font-family:'Times New Roman';color:#000000;background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre;white-space:pre-wrap;">6 March 2023 --- Affiliated with Formal Methods 2023</span></p>
<br>
<p dir="ltr"
style="line-height:1.38;margin-top:0pt;margin-bottom:0pt;"><span style="font-size:12pt;font-family:'Times New Roman';color:#000000;background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre;white-space:pre-wrap;">INVITED SPEAKER</span></p>
<br>
<p dir="ltr"
style="line-height:1.38;margin-top:0pt;margin-bottom:0pt;"><span style="font-size:12pt;font-family:'Times New Roman';color:#000000;background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre;white-space:pre-wrap;">Erika Abraham, RWTH Aachen (Title to be announced)
</span></p>
<br>
<p dir="ltr"
style="line-height:1.38;margin-top:0pt;margin-bottom:0pt;"><span style="font-size:12pt;font-family:'Times New Roman';color:#000000;background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre;white-space:pre-wrap;">IMPORTANT DATES</span></p>
<br>
<ul
style="margin-top:0;margin-bottom:0;padding-inline-start:48px;">
<li dir="ltr" style="list-style-type:disc;font-size:13pt;font-family:'Times New Roman';color:#000000;background-color:transparent;font-weight:700;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre;" aria-level="1">11 November 2022 : NEW Deadline for submission of papers
</li>
<li dir="ltr" style="list-style-type:disc;font-size:13pt;font-family:'Times New Roman';color:#000000;background-color:transparent;font-weight:700;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre;" aria-level="1"><p dir="ltr" style="line-height:1.295;margin-top:0pt;margin-bottom:0pt;" role="presentation"><span style="font-size:13pt;font-family:'Times New Roman';color:#000000;background-color:transparent;font-weight:700;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre;white-space:pre-wrap;">5 December 2022: Notifications to authors</span></p></li>
<li dir="ltr" style="list-style-type:disc;font-size:13pt;font-family:'Times New Roman';color:#000000;background-color:transparent;font-weight:700;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre;" aria-level="1"><p dir="ltr" style="line-height:1.295;margin-top:0pt;margin-bottom:0pt;" role="presentation"><span style="font-size:13pt;font-family:'Times New Roman';color:#000000;background-color:transparent;font-weight:700;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre;white-space:pre-wrap;">5 January 2023: Deadline for camera-ready version</span></p></li>
<li dir="ltr" style="list-style-type:disc;font-size:13pt;font-family:'Times New Roman';color:#000000;background-color:transparent;font-weight:700;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre;" aria-level="1"><p dir="ltr" style="line-height:1.295;margin-top:0pt;margin-bottom:8pt;" role="presentation"><span style="font-size:13pt;font-family:'Times New Roman';color:#000000;background-color:transparent;font-weight:700;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre;white-space:pre-wrap;">6 March 2023: FMTea 2023 Workshop</span></p></li>
</ul>
<br>
<p dir="ltr"
style="line-height:1.38;margin-top:0pt;margin-bottom:0pt;"><span style="font-size:12pt;font-family:'Times New Roman';color:#000000;background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre;white-space:pre-wrap;">OBJECTIVES AND SCOPE</span></p>
<br>
<p dir="ltr"
style="line-height:1.38;margin-top:0pt;margin-bottom:0pt;"><span style="font-size:12pt;font-family:'Times New Roman';color:#000000;background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre;white-space:pre-wrap;">Formal Methods provide software engineering with tools and techniques for rigorously reasoning about the correctness of systems. While in recent years formal methods are increasingly being used in industry, 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. It is thus important to develop, share, and discuss approaches to effectively teach formal methods to the next generations. This discussion is now more important than ever due to the challenges and opportunities that arose from the pandemic, which forced many educators to adapt and deliver their teaching online. Exchange of ideas is critical to making these new online approaches a success and having a greater reach.</span></p>
<br>
<p dir="ltr"
style="line-height:1.38;margin-top:0pt;margin-bottom:0pt;"><span style="font-size:12pt;font-family:'Times New Roman';color:#000000;background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre;white-space:pre-wrap;">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 for educators of Formal Methods in the 21st century.</span></p>
<br>
<p dir="ltr"
style="line-height:1.38;margin-top:0pt;margin-bottom:0pt;"><span style="font-size:12pt;font-family:'Times New Roman';color:#000000;background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre;white-space:pre-wrap;">More details can be found on our website: <a class="moz-txt-link-freetext" href="https://urldefense.com/v3/__https://fmtea.github.io__;!!IBzWLUs!QiuyZjIaQ-BTl2WxuMo-J5gDJvqqBicnFGFWJotTnF-lbnTWAHj_QU-7_7dL95ii-ccC6RRXH-_-4pZGkdfZdbfqdFNJM9kUGRDupw5DN4Q$" moz-do-not-send="true">https://fmtea.github.io</a></span></p>
<br>
<p dir="ltr"
style="line-height:1.38;margin-top:0pt;margin-bottom:0pt;"><span style="font-size:12pt;font-family:'Times New Roman';color:#000000;background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre;white-space:pre-wrap;">TOPICS</span></p>
<br>
<p dir="ltr"
style="line-height:1.38;margin-top:0pt;margin-bottom:0pt;"><span style="font-size:12pt;font-family:'Times New Roman';color:#000000;background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre;white-space:pre-wrap;">We aim to attract papers detailing authors’ experiences with FM Teaching. We would like to get papers discussing successes and failures of various methods, case studies, tools, etc. As self-learning seems to be an important aspect of FM teaching, we appreciate experiences with online teaching, including experiences with teaching formal methods via MOOCs. A non-exhaustive list of topics of interest for the FMTea23 workshop is below:</span></p>
<br>
<ul
style="margin-top:0;margin-bottom:0;padding-inline-start:48px;">
<li dir="ltr" style="list-style-type:disc;font-size:12pt;font-family:'Times New Roman';color:#000000;background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre;" aria-level="1"><p dir="ltr" style="line-height:1.38;margin-top:0pt;margin-bottom:0pt;" role="presentation"><span style="font-size:12pt;font-family:'Times New Roman';color:#000000;background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre;white-space:pre-wrap;">Experiences and proposals related with “traditional” FM learning and teaching</span></p></li>
<li dir="ltr" style="list-style-type:disc;font-size:12pt;font-family:'Times New Roman';color:#000000;background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre;" aria-level="1"><p dir="ltr" style="line-height:1.38;margin-top:0pt;margin-bottom:0pt;" role="presentation"><span style="font-size:12pt;font-family:'Times New Roman';color:#000000;background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre;white-space:pre-wrap;">Experiences and proposals related with online FM learning and teaching</span></p></li>
<li dir="ltr" style="list-style-type:disc;font-size:12pt;font-family:'Times New Roman';color:#000000;background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre;" aria-level="1"><p dir="ltr" style="line-height:1.38;margin-top:0pt;margin-bottom:0pt;" role="presentation"><span style="font-size:12pt;font-family:'Times New Roman';color:#000000;background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre;white-space:pre-wrap;">Integrating/embedding FM teaching/thinking within other computer science courses</span></p></li>
<li dir="ltr" style="list-style-type:disc;font-size:12pt;font-family:'Times New Roman';color:#000000;background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre;" aria-level="1"><p dir="ltr" style="line-height:1.38;margin-top:0pt;margin-bottom:0pt;" role="presentation"><span style="font-size:12pt;font-family:'Times New Roman';color:#000000;background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre;white-space:pre-wrap;">Teaching FM for industry</span></p></li>
<li dir="ltr" style="list-style-type:disc;font-size:12pt;font-family:'Times New Roman';color:#000000;background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre;" aria-level="1"><p dir="ltr" style="line-height:1.38;margin-top:0pt;margin-bottom:0pt;" role="presentation"><span style="font-size:12pt;font-family:'Times New Roman';color:#000000;background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre;white-space:pre-wrap;">Student projects on FM, including group projects</span></p></li>
<li dir="ltr" style="list-style-type:disc;font-size:12pt;font-family:'Times New Roman';color:#000000;background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre;" aria-level="1"><p dir="ltr" style="line-height:1.38;margin-top:0pt;margin-bottom:0pt;" role="presentation"><span style="font-size:12pt;font-family:'Times New Roman';color:#000000;background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre;white-space:pre-wrap;">Innovative learning and teaching methods for FM</span></p></li>
</ul>
<br>
<p dir="ltr"
style="line-height:1.38;margin-top:0pt;margin-bottom:0pt;"><span style="font-size:12pt;font-family:'Times New Roman';color:#000000;background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre;white-space:pre-wrap;">Computer science is transforming into a rigorous engineering discipline. Improved teaching techniques will ensure that FM is at the heart of this transformation process. </span></p>
<br>
<p dir="ltr"
style="line-height:1.38;margin-top:0pt;margin-bottom:0pt;"><span style="font-size:12pt;font-family:'Times New Roman';color:#000000;background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre;white-space:pre-wrap;">ORGANIZATION</span></p>
<br>
<p dir="ltr"
style="line-height:1.38;margin-top:0pt;margin-bottom:0pt;"><span style="font-size:12pt;font-family:'Times New Roman';color:#000000;background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre;white-space:pre-wrap;">FMTea 2023 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 (<a class="moz-txt-link-freetext" href="https://urldefense.com/v3/__https://fme-teaching.github.io__;!!IBzWLUs!QiuyZjIaQ-BTl2WxuMo-J5gDJvqqBicnFGFWJotTnF-lbnTWAHj_QU-7_7dL95ii-ccC6RRXH-_-4pZGkdfZdbfqdFNJM9kUGRDu3K4BiEk$" moz-do-not-send="true">https://fme-teaching.github.io</a>) and plan to collect other resources as well, such as FM case studies, FM inspirational papers, etc. </span></p>
<p dir="ltr"
style="line-height:1.38;margin-top:0pt;margin-bottom:0pt;"><span style="font-size:12pt;font-family:'Times New Roman';color:#000000;background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre;white-space:pre-wrap;">Furthermore, the FME Teaching Committee coordinates a tutorial series, held online via zoom. Tutorials are collected on the FME Teaching Committee website (<a class="moz-txt-link-freetext" href="https://urldefense.com/v3/__https://fme-teaching.github.io/__;!!IBzWLUs!QiuyZjIaQ-BTl2WxuMo-J5gDJvqqBicnFGFWJotTnF-lbnTWAHj_QU-7_7dL95ii-ccC6RRXH-_-4pZGkdfZdbfqdFNJM9kUGRDumtd5nHs$" moz-do-not-send="true">https://fme-teaching.github.io/</a>).</span></p>
<br>
<p dir="ltr"
style="line-height:1.38;margin-top:0pt;margin-bottom:0pt;"><span style="font-size:12pt;font-family:'Times New Roman';color:#000000;background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre;white-space:pre-wrap;">PROGRAM COMMITTEE </span></p>
<p dir="ltr"
style="line-height:1.38;margin-top:0pt;margin-bottom:0pt;"><span style="font-size:12pt;font-family:'Times New Roman';color:#000000;background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre;white-space:pre-wrap;">
</span></p>
</b><b style="font-weight:normal;"
id="docs-internal-guid-78d4eb84-7fff-5298-b874-3917a2de6583">
<ul
style="margin-top:0;margin-bottom:0;padding-inline-start:48px;">
<li style="box-sizing: border-box;"><font face="Times New Roman"><span
style="box-sizing: border-box;">Catherine Dubois
(co-chair)</span>, ENSIIE, France</font></li>
<li style="box-sizing: border-box;"><font face="Times New Roman"><span
style="box-sizing: border-box;">Pierluigi San Pietro
(co-chair)</span>, Politecnico di Milano, Italy</font></li>
<li style="box-sizing: border-box;"><font face="Times New Roman"><span
style="box-sizing: border-box;">Brijesh Dongol</span>,
University of Surrey, UK</font></li>
<li style="box-sizing: border-box;"><font face="Times New Roman"><span
style="box-sizing: border-box;">Luigia Petre</span>, Åbo
Akademi University, Finland</font></li>
<li style="box-sizing: border-box;"><font face="Times New Roman"><span
style="box-sizing: border-box;">Kristin Rozier</span>,
Iowa State University, US</font></li>
<li style="box-sizing: border-box;"><font face="Times New Roman"><span
style="box-sizing: border-box;">Graeme Smith</span>, The
University of Queensland, Australia</font></li>
<li style="box-sizing: border-box;"><font face="Times New Roman"><span
style="box-sizing: border-box;">Claudio Menghi</span>,
McMaster University, Canada</font></li>
<li style="box-sizing: border-box;"><font face="Times New Roman"><span
style="box-sizing: border-box;">João F. Ferreira</span>,
INESC-ID & IST, University of Lisbon, Portugal</font></li>
<li style="box-sizing: border-box;"><font face="Times New Roman"><span
style="box-sizing: border-box;">Alexandra Mendes</span>,
INESC TEC & University of Beira Interior, Portugal</font></li>
<li style="box-sizing: border-box;"><font face="Times New Roman"><span
style="box-sizing: border-box;">Sandrine Blazy</span>,
University of Rennes 1, France</font></li>
<li style="box-sizing: border-box;"><font face="Times New Roman"><span
style="box-sizing: border-box;">José N. Oliveira</span>,
University of Minho, Portugal</font></li>
<li style="box-sizing: border-box;"><font face="Times New Roman"><span
style="box-sizing: border-box;">Emil Sekerinski</span>,
McMaster University, Canada</font></li>
</ul>
<br>
<br>
<p dir="ltr"
style="line-height:1.38;margin-top:0pt;margin-bottom:0pt;"><span style="font-size:12pt;font-family:'Times New Roman';color:#000000;background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre;white-space:pre-wrap;">PREVIOUS EDITIONS</span></p>
<br>
<p dir="ltr"
style="line-height:1.38;margin-top:0pt;margin-bottom:0pt;"><span style="font-size:12pt;font-family:'Times New Roman';color:#000000;background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre;white-space:pre-wrap;">Several events focused on teaching aspects for Formal Methods were held at the beginning of the 2000s: two BCS-FACS TFM workshops (Oxford in 2003 and London in 2006), the TFM 2004 conference in Ghent (with proceedings published as Springer LNCS Volume 3294), the FM-Ed 2006 workshop (Hamilton, co-located with FM'06), FORMED (Budapest, at ETAPS 2008), FMET 2008 (Kitakyushu 2008, co-located with ICFEM), and TFM 2009 (Eindhoven, at FM 2009 with proceedings published as Springer LNCS Volume 5846). The first FMTea event was FMTea 2019, the Formal Methods Teaching Workshop and Tutorial, in October 2019 in Porto, Portugal, affiliated with the 3rd World Congress on Formal Methods (FM19) with proceedings as Springer LNCS 11758. The FMTea 2021 workshop, affiliated with FM 2021, the 24th International Symposium on Formal Methods, Beijing, was held only online in November 2021, with proceedings published as Springer LNCS 13122.</span></p>
<br>
<p dir="ltr"
style="line-height:1.38;margin-top:0pt;margin-bottom:0pt;"><span style="font-size:12pt;font-family:'Times New Roman';color:#000000;background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre;white-space:pre-wrap;">SUBMISSION DETAILS</span></p>
<br>
<p dir="ltr"
style="line-height:1.38;margin-top:0pt;margin-bottom:0pt;"><span style="font-size:12pt;font-family:'Times New Roman';color:#000000;background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre;white-space:pre-wrap;">FMTea 2023 invites high quality papers reporting on opinions, approaches, and experiences related to the topic of teaching Formal Methods. Each submitted paper will be reviewed by at least three PC members. The conference proceedings will be published in Springer's Lecture Notes in Computer Science series. All submissions must be original, unpublished, and not submitted for publication elsewhere. Submissions must be in PDF format, using the Springer LNCS style files; we suggest to use 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 in length. Submissions should be made using the FMTea 2023 Easychair web site:</span></p>
<br>
<p dir="ltr"
style="line-height:1.38;margin-top:0pt;margin-bottom:0pt;"><span style="font-size:12pt;font-family:'Times New Roman';color:#ff0000;background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre;white-space:pre-wrap;"><a class="moz-txt-link-freetext" href="https://urldefense.com/v3/__https://easychair.org/conferences/?conf=fmtea2023__;!!IBzWLUs!QiuyZjIaQ-BTl2WxuMo-J5gDJvqqBicnFGFWJotTnF-lbnTWAHj_QU-7_7dL95ii-ccC6RRXH-_-4pZGkdfZdbfqdFNJM9kUGRDuzvTZp7U$" moz-do-not-send="true">https://easychair.org/conferences/?conf=fmtea2023</a></span></p>
<br>
<p dir="ltr"
style="line-height:1.38;margin-top:0pt;margin-bottom:0pt;"><span style="font-size:12pt;font-family:'Times New Roman';color:#000000;background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre;white-space:pre-wrap;">All accepted papers must be presented at the workshop. Their authors must be prepared to sign a copyright transfer statement. At least one author of each accepted paper must register to the conference by an early date, to be indicated by the FM2023 organizers, and present the paper.</span></p>
</b><br class="Apple-interchange-newline">
<pre class="moz-signature" cols="72">--
Catherine Dubois, professor
ENSIIE, lab. Samovar</pre>
</body>
</html>