<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
</head>
<body style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class="">
<div style="margin: 0px; font-stretch: normal; line-height: normal;" class=""><span style="text-decoration: underline ; font-kerning: none" class=""><b class="">FMTea19</b></span></div>
<div style="margin: 0px; font-stretch: normal; line-height: normal;" class=""><span style="text-decoration: underline ; font-kerning: none" class="">Formal Methods Teaching Workshop and Tutorial</span></div>
<div style="margin: 0px; font-stretch: normal; line-height: normal; min-height: 14px;" class="">
<span style="font-kerning: none" class=""></span><br class="">
</div>
<div style="margin: 0px; font-stretch: normal; line-height: normal;" class=""><span style="font-kerning: none" class=""><i class="">Event affiliated with FM2019, 3rd World Congress on Formal Methods</i></span></div>
<div style="margin: 0px; font-stretch: normal; line-height: normal; min-height: 14px;" class="">
<span style="font-kerning: none" class=""></span><br class="">
</div>
<div style="margin: 0px; font-stretch: normal; line-height: normal;" class=""><span style="font-kerning: none" class="">7 October 2019, Porto, Portugal</span></div>
<div style="margin: 0px; font-stretch: normal; line-height: normal; min-height: 14px;" class="">
<span style="font-kerning: none" class=""></span><br class="">
</div>
<div style="margin: 0px; font-stretch: normal; line-height: normal;" class=""><span style="font-kerning: none" class="">OBJECTIVES AND SCOPE</span></div>
<div style="margin: 0px; font-stretch: normal; line-height: normal; min-height: 14px;" class="">
<span style="font-kerning: none" class=""></span><br class="">
</div>
<div style="margin: 0px; font-stretch: normal; line-height: normal;" class=""><span style="font-kerning: none" class="">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. We need to
find ways to teach formal methods to the next generation, and doing so will require us to adapt our teaching to the 21st century students.</span></div>
<div style="margin: 0px; font-stretch: normal; line-height: normal; min-height: 14px;" class="">
<span style="font-kerning: none" class=""></span><br class="">
</div>
<div style="margin: 0px; font-stretch: normal; line-height: normal;" class=""><span style="font-kerning: none" class=""><b class="">FMTea19</b> is a combined workshop and tutorial at the 3rd World Congress on Formal Methods, FM2019. Its aim is 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. </span></div>
<div style="margin: 0px; font-stretch: normal; line-height: normal; min-height: 14px;" class="">
<span style="font-kerning: none" class=""></span><br class="">
</div>
<div style="margin: 0px; font-stretch: normal; line-height: normal;" class=""><span style="font-kerning: none" class="">Tutorial part of FMTea19</span></div>
<div style="margin: 0px; font-stretch: normal; line-height: normal; min-height: 14px;" class="">
<span style="font-kerning: none" class=""></span><br class="">
</div>
<div style="margin: 0px; font-stretch: normal; line-height: normal;" class=""><span style="font-kerning: none" class="">We are very pleased to have Carroll Morgan giving an invited talk on his approach to and experiences with teaching formal methods to undergraduate
students. Sir Tony Hoare will also join us to give a talk on the foundations of teaching computer science for future formal methods scientists. We will run two more tutorial presentations, held by Holger Hermanns and Bas Luttik, on experiences with concurrency
and online teaching. Our goal is to discuss various models of existing FM teaching, together with innovative proposals for remaining relevant as educators of Formal Methods in the 21st century. </span></div>
<div style="margin: 0px; font-stretch: normal; line-height: normal; min-height: 14px;" class="">
<span style="font-kerning: none" class=""></span><br class="">
</div>
<div style="margin: 0px; font-stretch: normal; line-height: normal;" class=""><span style="font-kerning: none" class="">Workshop Part of FMTea19</span></div>
<div style="margin: 0px; font-stretch: normal; line-height: normal; min-height: 14px;" class="">
<span style="font-kerning: none" class=""></span><br class="">
</div>
<div style="margin: 0px; font-stretch: normal; line-height: normal;" class=""><span style="font-kerning: none" class="">In the workshop part of the event, 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 FMTea19 workshop is below:</span></div>
<div style="margin: 0px; font-stretch: normal; line-height: normal; min-height: 14px;" class="">
<span style="font-kerning: none" class=""></span><br class="">
</div>
<div style="margin: 0px; font-stretch: normal; line-height: normal;" class=""><span style="font-kerning: none" class=""><span class="Apple-tab-span" style="white-space:pre"></span>• traditional FM teaching: lectures, exercises, exams</span></div>
<div style="margin: 0px; font-stretch: normal; line-height: normal;" class=""><span style="font-kerning: none" class=""><span class="Apple-tab-span" style="white-space:pre"></span>• online FM teaching/learning: experiences/proposals</span></div>
<div style="margin: 0px; font-stretch: normal; line-height: normal;" class=""><span style="font-kerning: none" class=""><span class="Apple-tab-span" style="white-space:pre"></span>• teaching FM for industry</span></div>
<div style="margin: 0px; font-stretch: normal; line-height: normal;" class=""><span style="font-kerning: none" class=""><span class="Apple-tab-span" style="white-space:pre"></span>• integrating/embedding FM teaching/thinking within other computer science courses</span></div>
<div style="margin: 0px; font-stretch: normal; line-height: normal;" class=""><span style="font-kerning: none" class=""><span class="Apple-tab-span" style="white-space:pre"></span>• student projects on FM, including group projects</span></div>
<div style="margin: 0px; font-stretch: normal; line-height: normal; min-height: 14px;" class="">
<span style="font-kerning: none" class=""></span><br class="">
</div>
<div style="margin: 0px; font-stretch: normal; line-height: normal;" class=""><span style="font-kerning: none" class="">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></div>
<div style="margin: 0px; font-stretch: normal; line-height: normal; min-height: 14px;" class="">
<span style="font-kerning: none" class=""></span><br class="">
</div>
<div style="margin: 0px; font-stretch: normal; line-height: normal;" class=""><span style="font-kerning: none" class="">ORGANIZATION</span></div>
<div style="margin: 0px; font-stretch: normal; line-height: normal; min-height: 14px;" class="">
<span style="font-kerning: none" class=""></span><br class="">
</div>
<div style="margin: 0px; font-stretch: normal; line-height: normal;" class=""><span style="font-kerning: none" class="">FMTea19 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, that can be seen, for the time being, here:
<a href="https://github.com/luigiapetre/Formal-Methods-Courses/issues" class=""><span style="-webkit-font-kerning: none; color: rgb(9, 79, 209);" class="">https://github.com/luigiapetre/Formal-Methods-Courses/issues</span></a> (we are in the process of migrating
the courses to a webpage, so they will not live much longer as issues) and plan to collect other resources as well, such as FM case studies, FM inspirational papers, etc. </span></div>
<div style="margin: 0px; font-stretch: normal; line-height: normal; min-height: 14px;" class="">
<span style="font-kerning: none" class=""></span><br class="">
</div>
<div style="margin: 0px; font-stretch: normal; line-height: normal;" class=""><span style="font-kerning: none" class="">PROGRAM COMMITTEE</span></div>
<div style="margin: 0px; font-stretch: normal; line-height: normal; min-height: 14px;" class="">
<span style="font-kerning: none" class=""></span><br class="">
</div>
<div style="margin: 0px; font-stretch: normal; line-height: normal;" class=""><span style="font-kerning: none" class=""><span class="Apple-tab-span" style="white-space:pre"></span>• Luigia Petre, Åbo Akademi University, Finland (co-chair)</span></div>
<div style="margin: 0px; font-stretch: normal; line-height: normal;" class=""><span style="font-kerning: none" class=""><span class="Apple-tab-span" style="white-space:pre"></span>• Brijesh Dongol, University of Surrey, UK (co-chair)</span></div>
<div style="margin: 0px; font-stretch: normal; line-height: normal;" class=""><span style="font-kerning: none" class=""><span class="Apple-tab-span" style="white-space:pre"></span>• Graeme Smith, University of Queensland, Australia (co-chair)</span></div>
<div style="margin: 0px; font-stretch: normal; line-height: normal;" class=""><span style="font-kerning: none" class=""><span class="Apple-tab-span" style="white-space:pre"></span>• Catherine Dubois, ENSIIE, France</span></div>
<div style="margin: 0px; font-stretch: normal; line-height: normal;" class=""><span style="font-kerning: none" class=""><span class="Apple-tab-span" style="white-space:pre"></span>• Joao F. Ferreira, University of Lisbon, Portugal</span></div>
<div style="margin: 0px; font-stretch: normal; line-height: normal;" class=""><span style="font-kerning: none" class=""><span class="Apple-tab-span" style="white-space:pre"></span>• K. Rustan M. Leino, Amazon Web Services, US</span></div>
<div style="margin: 0px; font-stretch: normal; line-height: normal;" class=""><span style="font-kerning: none" class=""><span class="Apple-tab-span" style="white-space:pre"></span>• Alexandra Mendes, University of Beira Interior, Portugal</span></div>
<div style="margin: 0px; font-stretch: normal; line-height: normal;" class=""><span style="font-kerning: none" class=""><span class="Apple-tab-span" style="white-space:pre"></span>• Leila Ribeiro, Federal University of Rio Grande do Sul, Brazil</span></div>
<div style="margin: 0px; font-stretch: normal; line-height: normal;" class=""><span style="font-kerning: none" class=""><span class="Apple-tab-span" style="white-space:pre"></span>• Pierluigi San Pietro, Politecnico di Milano, Italy</span></div>
<div style="margin: 0px; font-stretch: normal; line-height: normal;" class=""><span style="font-kerning: none" class=""><span class="Apple-tab-span" style="white-space:pre"></span>• Kenji Taguchi, CAV, Japan</span></div>
<div style="margin: 0px; font-stretch: normal; line-height: normal; min-height: 14px;" class="">
<span style="font-kerning: none" class=""></span><br class="">
</div>
<div style="margin: 0px; font-stretch: normal; line-height: normal;" class=""><span style="font-kerning: none" class="">PREVIOUS EDITIONS</span></div>
<div style="margin: 0px; font-stretch: normal; line-height: normal; min-height: 14px;" class="">
<span style="font-kerning: none" class=""></span><br class="">
</div>
<div style="margin: 0px; font-stretch: normal; line-height: normal;" class=""><span style="font-kerning: none" class="">Several events focused on teaching aspects for Formal Methods were held in 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), and FMET 2008 (Kitakyushu 2008, co-located
with ICFEM). The latest event was TFM2009, the 2nd International FME Conference on Teaching Formal Methods, in November 2009 in Eindhoven, the Netherlands. </span></div>
<div style="margin: 0px; font-stretch: normal; line-height: normal; min-height: 14px;" class="">
<span style="font-kerning: none" class=""></span><br class="">
</div>
<div style="margin: 0px; font-stretch: normal; line-height: normal;" class=""><span style="font-kerning: none" class="">SUBMISSION DETAILS</span></div>
<div style="margin: 0px; font-stretch: normal; line-height: normal; min-height: 14px;" class="">
<span style="font-kerning: none" class=""></span><br class="">
</div>
<div style="margin: 0px; font-stretch: normal; line-height: normal;" class=""><span style="font-kerning: none" class="">FMTea19 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 is planned to 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 FMTea19 Easychair web site:</span></div>
<div style="margin: 0px; font-stretch: normal; line-height: normal; min-height: 14px;" class="">
<span style="font-kerning: none" class=""></span><br class="">
</div>
<div style="margin: 0px; font-stretch: normal; line-height: normal; color: rgb(9, 79, 209);" class="">
<span style="text-decoration: underline ; font-kerning: none" class=""><a href="https://easychair.org/conferences/?conf=FMTea19" class="">https://easychair.org/conferences/?conf=FMTea19</a></span></div>
<div style="margin: 0px; font-stretch: normal; line-height: normal; min-height: 14px;" class="">
<span style="font-kerning: none" class=""></span><br class="">
</div>
<div style="margin: 0px; font-stretch: normal; line-height: normal;" class=""><span style="font-kerning: none" class="">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 FM2019 organizers, and present the paper.</span></div>
<div style="margin: 0px; font-stretch: normal; line-height: normal; min-height: 14px;" class="">
<span style="font-kerning: none" class=""></span><br class="">
</div>
<div style="margin: 0px; font-stretch: normal; line-height: normal; min-height: 14px;" class="">
<span style="font-kerning: none" class=""></span><br class="">
</div>
<div style="margin: 0px; font-stretch: normal; line-height: normal;" class=""><span style="font-kerning: none" class="">IMPORTANT DATES</span></div>
<div style="margin: 0px; font-stretch: normal; line-height: normal; min-height: 14px;" class="">
<span style="font-kerning: none" class=""></span><br class="">
</div>
<div style="margin: 0px; font-stretch: normal; line-height: normal;" class=""><span style="font-kerning: none" class=""><span class="Apple-tab-span" style="white-space:pre"></span>• June 1, 2019: Submission of papers</span></div>
<div style="margin: 0px; font-stretch: normal; line-height: normal;" class=""><span style="font-kerning: none" class=""><span class="Apple-tab-span" style="white-space:pre"></span>• July 1, 2019: Notifications to authors</span></div>
<div style="margin: 0px; font-stretch: normal; line-height: normal;" class=""><span style="font-kerning: none" class=""><span class="Apple-tab-span" style="white-space:pre"></span>• August 1, 2019: Proceedings version ready</span></div>
<div style="margin: 0px; font-stretch: normal; line-height: normal;" class=""><span style="font-kerning: none" class=""><span class="Apple-tab-span" style="white-space:pre"></span>• October 7, 2019: FMTea19 in Porto </span></div>
<div style="margin: 0px; font-stretch: normal; line-height: normal; min-height: 14px;" class="">
<span style="font-kerning: none" class=""></span><br class="">
</div>
<div style="margin: 0px; font-stretch: normal; line-height: normal; min-height: 14px;" class="">
<span style="font-kerning: none" class=""></span><br class="">
</div>
<div style="margin: 0px; font-stretch: normal; line-height: normal; min-height: 14px;" class="">
<span style="font-kerning: none" class=""></span><br class="">
</div>
</body>
</html>