<html xmlns:v="urn:schemas-microsoft-com:vml" xmlns:o="urn:schemas-microsoft-com:office:office" xmlns:w="urn:schemas-microsoft-com:office:word" xmlns:m="http://schemas.microsoft.com/office/2004/12/omml" xmlns="http://www.w3.org/TR/REC-html40">
<head>
<meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1">
<meta name="Generator" content="Microsoft Word 15 (filtered medium)">
<style><!--
/* Font Definitions */
@font-face
{font-family:"Cambria Math";
panose-1:2 4 5 3 5 4 6 3 2 4;}
@font-face
{font-family:Calibri;
panose-1:2 15 5 2 2 2 4 3 2 4;}
/* Style Definitions */
p.MsoNormal, li.MsoNormal, div.MsoNormal
{margin:0cm;
margin-bottom:.0001pt;
font-size:12.0pt;
font-family:"Times New Roman",serif;}
a:link, span.MsoHyperlink
{mso-style-priority:99;
color:#0563C1;
text-decoration:underline;}
a:visited, span.MsoHyperlinkFollowed
{mso-style-priority:99;
color:#954F72;
text-decoration:underline;}
p.msonormal0, li.msonormal0, div.msonormal0
{mso-style-name:msonormal;
mso-margin-top-alt:auto;
margin-right:0cm;
mso-margin-bottom-alt:auto;
margin-left:0cm;
font-size:12.0pt;
font-family:"Times New Roman",serif;}
span.EmailStyle18
{mso-style-type:personal-compose;
font-family:"Calibri",sans-serif;
color:windowtext;}
.MsoChpDefault
{mso-style-type:export-only;
font-size:10.0pt;
font-family:"Calibri",sans-serif;
mso-fareast-language:EN-US;}
@page WordSection1
{size:612.0pt 792.0pt;
margin:70.85pt 70.85pt 70.85pt 70.85pt;}
div.WordSection1
{page:WordSection1;}
--></style><!--[if gte mso 9]><xml>
<o:shapedefaults v:ext="edit" spidmax="1026" />
</xml><![endif]--><!--[if gte mso 9]><xml>
<o:shapelayout v:ext="edit">
<o:idmap v:ext="edit" data="1" />
</o:shapelayout></xml><![endif]-->
</head>
<body lang="SV-FI" link="#0563C1" vlink="#954F72">
<div class="WordSection1">
<p class="MsoNormal"><span lang="EN-US">Dear colleagues,<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US"><o:p> </o:p></span></p>
<p class="MsoNormal"><span lang="EN-US">Please consider submitting a paper on your experiences with formal methods teaching to our FMTea19 workshop affiliated with the FM conference in Porto in October. We are encouraging a wide spectrum discussion on how we
should teach formal methods in the 21<sup>st</sup> century, so your contribution will be much appreciated. Also note our excellent invited and tutorial speakers: Carroll Morgan, Tony Hoare, and Bas Luttik!<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US"><o:p> </o:p></span></p>
<p class="MsoNormal"><span lang="EN-US">Deadline extended to June 15, paper length 15 pages, publication in Springer LNCS.<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US"><o:p> </o:p></span></p>
<p class="MsoNormal"><span lang="EN-US">Looking forward to meeting you in Porto for a cup of FMTea,<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US">Luigia, Graeme, Brijesh<o:p></o:p></span></p>
<p class="MsoNormal"><b><u><span lang="EN-US"><o:p><span style="text-decoration:none"> </span></o:p></span></u></b></p>
<p class="MsoNormal"><b><u><span lang="EN-US"><o:p><span style="text-decoration:none"> </span></o:p></span></u></b></p>
<p class="MsoNormal"><b><u><span lang="EN-US">FMTea19</span></u></b><span lang="EN-US"><o:p></o:p></span></p>
<p class="MsoNormal"><u><span lang="EN-US">Formal Methods Teaching Workshop and Tutorial,
<o:p></o:p></span></u></p>
<p class="MsoNormal"><i><span lang="EN-US">Event affiliated with FM2019, 3rd World Congress on Formal Methods<o:p></o:p></span></i></p>
<p class="MsoNormal"><span lang="EN-US">7 October 2019, Porto, Portugal<o:p></o:p></span></p>
<p class="MsoNormal"><b><span lang="EN-US" style="color:red"><o:p> </o:p></span></b></p>
<p class="MsoNormal"><b><span lang="EN-US" style="color:red">Deadline extended to June 15, 2019<o:p></o:p></span></b></p>
<p class="MsoNormal"><span lang="EN-US"><o:p> </o:p></span></p>
<p class="MsoNormal"><span lang="EN-US">OBJECTIVES AND SCOPE<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US"><o:p> </o:p></span></p>
<p class="MsoNormal"><span lang="EN-US">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.<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US"><o:p> </o:p></span></p>
<p class="MsoNormal"><b><span lang="EN-US">FMTea19</span></b><span lang="EN-US"> 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. <o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US"><o:p> </o:p></span></p>
<p class="MsoNormal"><span lang="EN-US">Tutorial part of FMTea19<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US"><o:p> </o:p></span></p>
<p class="MsoNormal"><span lang="EN-US">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. <o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US"><o:p> </o:p></span></p>
<p class="MsoNormal"><span lang="EN-US">Workshop Part of FMTea19<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US"><o:p> </o:p></span></p>
<p class="MsoNormal"><span lang="EN-US">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:<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US"><o:p> </o:p></span></p>
<p class="MsoNormal"><span lang="EN-US">• traditional FM teaching: lectures, exercises, exams<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US">• online FM teaching/learning: experiences/proposals<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US">• teaching FM for industry<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US">• integrating/embedding FM teaching/thinking within other computer science courses<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US">• student projects on FM, including group projects<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US"><o:p> </o:p></span></p>
<p class="MsoNormal"><span lang="EN-US">Computer science is transforming into a rigorous engineering discipline. Improved teaching techniques will ensure that FM is at the heart of this transformation process. <o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US"><o:p> </o:p></span></p>
<p class="MsoNormal"><span lang="EN-US">ORGANIZATION<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US"><o:p> </o:p></span></p>
<p class="MsoNormal"><span lang="EN-US">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:
</span><a href="https://github.com/luigiapetre/Formal-Methods-Courses/issues"><span lang="EN-US" style="color:#094FD1">https://github.com/luigiapetre/Formal-Methods-Courses/issues</span></a><span lang="EN-US"> (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. <o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US"><o:p> </o:p></span></p>
<p class="MsoNormal"><span lang="EN-US">PROGRAM COMMITTEE<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US"><o:p> </o:p></span></p>
<p class="MsoNormal"><span lang="EN-US">• Luigia Petre, Åbo Akademi University, Finland (co-chair)<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US">• Brijesh Dongol, University of Surrey, UK (co-chair)<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US">• Graeme Smith, University of Queensland, Australia (co-chair)<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US">• Catherine Dubois, ENSIIE, France<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US">• Joao F. Ferreira, University of Lisbon, Portugal<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US">• K. Rustan M. Leino, Amazon Web Services, US<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US">• Alexandra Mendes, University of Beira Interior, Portugal<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US">• Leila Ribeiro, Federal University of Rio Grande do Sul, Brazil<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US">• Pierluigi San Pietro, Politecnico di Milano, Italy<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US">• Kenji Taguchi, CAV, Japan<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US"><o:p> </o:p></span></p>
<p class="MsoNormal"><span lang="EN-US">PREVIOUS EDITIONS<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US"><o:p> </o:p></span></p>
<p class="MsoNormal"><span lang="EN-US">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. <o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US"><o:p> </o:p></span></p>
<p class="MsoNormal"><span lang="EN-US">SUBMISSION DETAILS<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US"><o:p> </o:p></span></p>
<p class="MsoNormal"><span lang="EN-US">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:<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US"><o:p> </o:p></span></p>
<p class="MsoNormal"><u><span style="color:#094FD1"><a href="https://easychair.org/conferences/?conf=FMTea19"><span lang="EN-US">https://easychair.org/conferences/?conf=FMTea19</span></a></span></u><span lang="EN-US" style="color:#094FD1"><o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US"><o:p> </o:p></span></p>
<p class="MsoNormal"><span lang="EN-US">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.<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US"><o:p> </o:p></span></p>
<p class="MsoNormal"><span lang="EN-US"><o:p> </o:p></span></p>
<p class="MsoNormal"><span lang="EN-US">IMPORTANT DATES<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US"><o:p> </o:p></span></p>
<p class="MsoNormal"><span lang="EN-US">• June 15 (<s>June 1)</s>, 2019: Submission of papers<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US">• July 15 (<s>July 1</s>), 2019: Notifications to authors<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US">• August 15 (<s>August 1</s>), 2019: Proceedings version ready<o:p></o:p></span></p>
<p class="MsoNormal"><span style="mso-fareast-language:EN-US">• October 7, 2019: FMTea19 in Porto </span><span style="font-size:11.0pt;font-family:"Calibri",sans-serif;mso-fareast-language:EN-US"><o:p></o:p></span></p>
</div>
</body>
</html>