From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id F13808247D for ; Mon, 3 Jun 2019 20:42:57 +0200 (CEST) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=cla.menghi@gmail.com; spf=Pass smtp.mailfrom=cla.menghi@gmail.com; spf=None smtp.helo=postmaster@mail-wm1-f51.google.com Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of cla.menghi@gmail.com) identity=pra; client-ip=209.85.128.51; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="cla.menghi@gmail.com"; x-sender="cla.menghi@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of cla.menghi@gmail.com designates 209.85.128.51 as permitted sender) identity=mailfrom; client-ip=209.85.128.51; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="cla.menghi@gmail.com"; x-sender="cla.menghi@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-wm1-f51.google.com) identity=helo; client-ip=209.85.128.51; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="cla.menghi@gmail.com"; x-sender="postmaster@mail-wm1-f51.google.com"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3AJL/dexxv8bGAwCfXCy+O+j09IxM/srCxBDY+r6Qd?= =?us-ascii?q?2+sRIJqq85mqBkHD//Il1AaPAdyCrasf1KGP6fuocFdDyK7JiGoFfp1IWk1Nou?= =?us-ascii?q?QttCtkPvS4D1bmJuXhdS0wEZcKflZk+3amLRodQ56mNBXdrXKo8DEdBAj0OxZr?= =?us-ascii?q?KeTpAI7SiNm82/yv95HJbAhEmSexbalvIBi4rwjdudQajZVsJ60s1hbHv3xEdv?= =?us-ascii?q?hMy2h1P1yThRH85smx/J5n7Stdvu8q+tBDX6vnYak2VKRUAzs6PW874s3rrgTD?= =?us-ascii?q?QhCU5nQASGUWkwFHDBbD4RrnQ5r+qCr6tu562CmHIc37SK0/VDq+46t3ThLjlS?= =?us-ascii?q?EKPCM7/m7KkMx9lKJVrw6uqBJiwIDabp+bOv1lc6zHYd8aQHBMXsZNWyFDBI63?= =?us-ascii?q?cosBD/AGPeZdt4TwuV8OogGjBQaxBePvzSJDiHjo0q083OQhEQDG1xEnEt0StH?= =?us-ascii?q?Tbts/5NKIMXuCzw6nIzTTDYuhZ2Tf48ofIcxQhreuQUrJ3dMrc0E8iHB7LgFWX?= =?us-ascii?q?rIzqJTKV1uIVvmeF9eVgTuKuhHInqw5roziv3N0gio7ThoIa0lzE+iR5wJo1Jd?= =?us-ascii?q?2lU0F3e8KrEJxVtyycKoB4QdsiTnl2tComzrAKo522cSgQxJg62RLSaOaLfoiV?= =?us-ascii?q?7h77SuqdPSt0iG9gdb2lmhq/8k2txvH5W8avzlpHoC9In9zNu30Lyhfd8NKISu?= =?us-ascii?q?Fn8UekwTuP1x7c6uVDIU0skKrUMZ8hwropmpsdtETPAzb6mEv2gaOLbEkk9e+o?= =?us-ascii?q?6+PoYrXiuJCQLZN7igb7Mqg2m8y/B/o3MhQWUmSF5eix0Kfv8E75TblQk/E6jK?= =?us-ascii?q?rUvIraKMgGvqK5BhVa0ocn6xaxFTem19EYkGEbI1JBYh2LlY3pNE/IIPD3Dfe/?= =?us-ascii?q?gk+hkDhux//cP73hBo/BIWTEkLfkZbp98VJTyBIvzdBD4JJZEq0OL+j2Wk/1rd?= =?us-ascii?q?DYCh45Mxeow+v8E9V81oYeWXqVDaODMaPSt0WI5uM1LOWWao8VomW1F/9w7Pfr?= =?us-ascii?q?iTo9mEQBVaivx5oeLn6iTdp8JEDMSn7ln9sAFi8vswwxTO2i3FaGWHhWanC9X6?= =?us-ascii?q?MU6TQyCYbgBoDGENP+yIed1Tu2S8UFLltNDUqBRC+xJte0HswUYSfXGfdP1zkN?= =?us-ascii?q?VLyvUYgkjEj8uwrzyr4hJe3RqHRB6cDTkeNt7uiWrikcsCRuBp3EgW6IRmBw2G?= =?us-ascii?q?gPQm1uhf0tkQlG0l6GlJNArblYGNhUva4bVw47MdvDyrU/BY2rHA3GediNRRCt?= =?us-ascii?q?RdD0WTw=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0COAgAlafVchjOAVdFmHgEGBwaBZYEPL?= =?us-ascii?q?ymBFIEshBSYdYZojioPgVgJAQMBCgEBBR4KAgEBgUuCdYMUGwcBBDQTAQMBAQQ?= =?us-ascii?q?BAQIBAQMBEwEBAQgLCwgpIwyCOiKDGB0BGwwFDQMSEC0KAiURAQUBLIJgSwGBa?= =?us-ascii?q?QEDHQEOmiuDHzyLIIEUBQEXgnoFgkiBcQoZJw1dA4E6AgcJAQiBIotagVc/gRE?= =?us-ascii?q?nH4IcboFAAUtVAgIYgQwDFVCCXTKCJgSLKhEIF4k/k2AHAoIPhj+McxtPgVNoh?= =?us-ascii?q?gmDSYQ7hVeSYIErjA+DBAIEAgQFAgYPIYFFgXkzGiNQKgEGgjoBCTVZeBqDVoU?= =?us-ascii?q?UhHVMPTOBKZAbAQE?= X-IPAS-Result: =?us-ascii?q?A0COAgAlafVchjOAVdFmHgEGBwaBZYEPLymBFIEshBSYdYZ?= =?us-ascii?q?ojioPgVgJAQMBCgEBBR4KAgEBgUuCdYMUGwcBBDQTAQMBAQQBAQIBAQMBEwEBA?= =?us-ascii?q?QgLCwgpIwyCOiKDGB0BGwwFDQMSEC0KAiURAQUBLIJgSwGBaQEDHQEOmiuDHzy?= =?us-ascii?q?LIIEUBQEXgnoFgkiBcQoZJw1dA4E6AgcJAQiBIotagVc/gREnH4IcboFAAUtVA?= =?us-ascii?q?gIYgQwDFVCCXTKCJgSLKhEIF4k/k2AHAoIPhj+McxtPgVNohgmDSYQ7hVeSYIE?= =?us-ascii?q?rjA+DBAIEAgQFAgYPIYFFgXkzGiNQKgEGgjoBCTVZeBqDVoUUhHVMPTOBKZAbA?= =?us-ascii?q?QE?= X-IronPort-AV: E=Sophos;i="5.60,547,1549926000"; d="scan'208,217";a="308017057" X-MGA-submission: =?us-ascii?q?MDEJAsIHzpsbC433pwB0+6AnfA1bk5zrNreCGB?= =?us-ascii?q?nQ89u+UVIjxdPX2CMHxtoihaKQvCSTSYGeH+Vps3tMtX5HvSSlD7gGdB?= =?us-ascii?q?E0WqX3jlv/o02mv1ILBpX776HmxNA4t12U6/EWIUGimq3xRG4zjJkJOC?= =?us-ascii?q?LB+OJAhCqtC2UzMyjOOfygDg=3D=3D?= Received: from mail-wm1-f51.google.com ([209.85.128.51]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 03 Jun 2019 20:42:56 +0200 Received: by mail-wm1-f51.google.com with SMTP id f10so12304403wmb.1 for ; Mon, 03 Jun 2019 11:42:56 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=from:mime-version:subject:message-id:date:to; bh=ebIqdNxWSafRGhAChYpO2rD61laMH0zFz3pxDbye3+4=; b=aylT57E4KIK0Ppzh6IPOFObYBbD4NPPJ2Pmlg1mSH9xHIIMQtXlBjmQo8V1Tby2tTz RGXM3I3LOtVlxM8NgVIEmb2MZm4pbccaV42EOR57g9xCqalqfwJIN+6vGJ3xoNJFPv20 pVKfTb5Dv7EXPsBIWIxY6kBdnU9I1j1VFkI2zy8hKw+f4dcrPpQE7wcjajubgR9BRaDD UBGrbGnIVw5y4BbquEoLqRBu5yvzwuSTGtAg5q+ogioU2zpzOwOjIUQe9ovpA4ZRT25J Ls8ukGg+8OJZisB5Gkv9RsS7TPuSvWDscJFQ4AuFUZgFpffv6MEAjTdf8003Sgxvtvmu 9afw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:from:mime-version:subject:message-id:date:to; bh=ebIqdNxWSafRGhAChYpO2rD61laMH0zFz3pxDbye3+4=; b=UYQi5/CM0z1Gn8KAq9PObKoDEIfJgYcQv3pFEf6GDXM67DeywycCwYGk2MVfH1xfd3 ImUwthUM7Lzm/iLAztaioZNTqMbP7RQi4aO84Ww1GC5i1f26N8AzrNal1ePIJb1PWD4X 3fRX36nLHVTKxWt5j8DTuuqwtwKW+AYAmRVaYh1NaS4LRaNARCiTEo2j6o3v6F9Ou5cc VVT63nWFcYOiQOAJtS9GrAckCAEJHiWT0938gNcq4bdECgN6IiuKOej8RXUymueFpQh0 0gTxaQS5v04jt1K3SJ3OOCNCoiptr+5P8kDzK6iP5O6fRgmsrvwijaWY0rk8erEprJLX ChqQ== X-Gm-Message-State: APjAAAVphJ4a03cPB8L6U8Y56Usp4565JJ99c2vnsGRkaLiwOin9Dy4o jT2W251sAa6Kv2KlDFGcUajAZWDHI9PDSg== X-Google-Smtp-Source: APXvYqzS1AWESPY/Md/zGj2Kr+wLrmf1TBQ7lXBOlpKICVy9dqjjZi7F5NtcSMsXESWnvcFsiXkIQg== X-Received: by 2002:a1c:7216:: with SMTP id n22mr15682099wmc.111.1559587375726; Mon, 03 Jun 2019 11:42:55 -0700 (PDT) Received: from ?IPv6:2001:a18:a:1fed:7fd4:ce11:2c8b:b7d5? ([2001:a18:0:b23::6]) by smtp.gmail.com with ESMTPSA id u13sm930048wrq.62.2019.06.03.11.42.55 for (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Mon, 03 Jun 2019 11:42:55 -0700 (PDT) From: Claudio Menghi Content-Type: multipart/alternative; boundary="Apple-Mail=_CF881C3D-10DA-4E63-97F4-4E8E04DF754F" Mime-Version: 1.0 (Mac OS X Mail 12.4 \(3445.104.11\)) Message-Id: <192479DA-A36C-4A0D-84DC-3DEDB9B1BF01@gmail.com> Date: Mon, 3 Jun 2019 20:42:54 +0200 To: caml-list@inria.fr X-Mailer: Apple Mail (2.3445.104.11) X-Validation-by: cla.menghi@gmail.com Subject: [Caml-list] FMTea19, deadline extension: Formal Methods Teaching Workshop and Tutorial --Apple-Mail=_CF881C3D-10DA-4E63-97F4-4E8E04DF754F Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset=utf-8 Dear colleagues, =20 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 21stcentury, so your contribution will be much= appreciated. Also note our excellent invited and tutorial speakers: Carrol= l Morgan, Tony Hoare, and Bas Luttik! =20 Deadline extended to June 15, paper length 15 pages, publication in Springe= r LNCS. =20 Looking forward to meeting you in Porto for a cup of FMTea, Luigia, Graeme, Brijesh =20 =20 FMTea19 Formal Methods Teaching Workshop and Tutorial, Event affiliated with FM2019, 3rd World Congress on Formal Methods 7 October 2019, Porto, Portugal =20 Deadline extended to June 15, 2019 =20 OBJECTIVES AND SCOPE =20 Formal Methods provide software engineering with tools and techniques for r= igorously reasoning about the correctness of systems. While in recent years= formal methods are increasingly being used in industry, university curricu= la are not adapting at the same pace. Some existing formal methods classes = interest and challenge students, whereas others fail to ignite student moti= vation. 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 st= udents. =20 FMTea19 is a combined workshop and tutorial at the 3rd World Congress on Fo= rmal Methods, FM2019. Its aim is to share experiences of teaching formal me= thods 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.=20 =20 Tutorial part of FMTea19 =20 We are very pleased to have Carroll Morgan giving an invited talk on his ap= proach to and experiences with teaching formal methods to undergraduate stu= dents. Sir Tony Hoare will also join us to give a talk on the foundations o= f teaching computer science for future formal methods scientists. We will r= un two more tutorial presentations, held by Holger Hermanns and Bas Luttik,= on experiences with concurrency and online teaching. Our goal is to discus= s various models of existing FM teaching, together with innovative proposal= s for remaining relevant as educators of Formal Methods in the 21st century= .=20 =20 Workshop Part of FMTea19 =20 In the workshop part of the event, we aim to attract papers detailing autho= rs=E2=80=99 experiences with FM Teaching. We would like to get papers discu= ssing successes and failures of various methods, case studies, tools, etc. = As self-learning seems to be an important aspect of FM teaching, we appreci= ate experiences with online teaching, including experiences with teaching f= ormal methods via MOOCs. A non-exhaustive list of topics of interest for th= e FMTea19 workshop is below: =20 =E2=80=A2 traditional FM teaching: lectures, exercises, exams =E2=80=A2 online FM teaching/learning: experiences/proposals =E2=80=A2 teaching FM for industry =E2=80=A2 integrating/embedding FM teaching/thinking within other computer = science courses =E2=80=A2 student projects on FM, including group projects =20 Computer science is transforming into a rigorous engineering discipline. Im= proved teaching techniques will ensure that FM is at the heart of this tran= sformation process.=20=20=20=20 =20 ORGANIZATION =20 FMTea19 is organized by FME=E2=80=99s Teaching Committee. Our broad aim is = to support a worldwide improvement in learning Formal Methods, mainly by te= aching 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:https://github.com/luigiapetre/Formal-Methods-Courses/issues (we are in the proce= ss 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 st= udies, FM inspirational papers, etc.=20 =20 PROGRAM COMMITTEE =20 =E2=80=A2 Luigia Petre, =C3=85bo Akademi University, Finland (co-chair) =E2=80=A2 Brijesh Dongol, University of Surrey, UK (co-chair) =E2=80=A2 Graeme Smith, University of Queensland, Australia (co-chair) =E2=80=A2 Catherine Dubois, ENSIIE, France =E2=80=A2 Joao F. Ferreira, University of Lisbon, Portugal =E2=80=A2 K. Rustan M. Leino, Amazon Web Services, US =E2=80=A2 Alexandra Mendes, University of Beira Interior, Portugal =E2=80=A2 Leila Ribeiro, Federal University of Rio Grande do Sul, Brazil =E2=80=A2 Pierluigi San Pietro, Politecnico di Milano, Italy =E2=80=A2 Kenji Taguchi, CAV, Japan =20 PREVIOUS EDITIONS =20 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 publish= ed as Springer LNCS Volume 3294), the FM-Ed 2006 workshop (Hamilton, co-loc= ated with FM'06), FORMED (Budapest, at ETAPS 2008), and FMET 2008 (Kitakyus= hu 2008, co-located with ICFEM). The latest event was TFM2009, the 2nd Inte= rnational FME Conference on Teaching Formal Methods, in November 2009 in Ei= ndhoven, the Netherlands.=20 =20 SUBMISSION DETAILS =20 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 procee= dings is planned to be published in Springer's Lecture Notes in Computer Sc= ience series. All submissions must be original, unpublished, and not submit= ted for publication elsewhere. Submissions must be in PDF format, using the= Springer LNCS style files; we suggest to use the LaTeX2e package (the llnc= s.cls class file, available in llncs2e.zip and the typeinst.dem available i= n typeinst.zip as a template for your contribution). Papers should not exce= ed 15 pages in length. Submissions should be made using the FMTea19 Easycha= ir web site: =20 https://easychair.org/conferences/?conf=3DFMTea19 =20 All accepted papers must be presented at the workshop. Their authors must b= e prepared to sign a copyright transfer statement. At least one author of e= ach accepted paper must register to the conference by an early date, to be = indicated by the FM2019 organizers, and present the paper. =20 =20 IMPORTANT DATES =20 =E2=80=A2 June 15 (June 1), 2019: Submission of papers =E2=80=A2 July 15 (July 1), 2019: Notifications to authors =E2=80=A2 August 15 (August 1), 2019: Proceedings version ready =E2=80=A2 October 7, 2019: FMTea19 in Porto=20= --Apple-Mail=_CF881C3D-10DA-4E63-97F4-4E8E04DF754F Content-Transfer-Encoding: quoted-printable Content-Type: text/html; charset=utf-8
Dear colleagues,
 
Please consider submitting a pa= per on your experiences with formal methods teaching to our FMTea19 worksho= p 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= stcentury, so your contribution will be much apprecia= ted. Also note our excellent invited and tutorial speakers: Carroll Morgan,= Tony Hoare, and Bas Luttik!
 
Deadline extended to June 15, paper length 15 pages, publication i= n Springer LNCS.
 
Looki= ng forward to meeting you in Porto for a cup of FMTea,
Luigia, Graeme, Brijesh
 
 
FMTea19=
=
Formal Methods Teaching Workshop and Tutorial,
Event affiliated with FM2019, 3rd Wor= ld Congress on Formal Methods
7 Octob= er 2019, Porto, Portugal
 
Deadline extended to June 15, 2019
 
OBJECTIVES AND SCOPE<= /div>
 
Formal Methods provide software engineering with t= ools and techniques for rigorously reasoning about the correctness of syste= ms. While in recent years formal methods are increasingly being used in ind= ustry, university curricula are not adapting at the same pace. Some existin= g formal methods classes interest and challenge students, whereas others fa= il to ignite student motivation. We need to find ways to teach formal metho= ds to the next generation, and doing so will require us to adapt our teachi= ng to the 21st century students.
 
FMTea19=  is a combined workshop and tutorial at the 3rd World Congress on Form= al Methods, FM2019. Its aim is to share experiences of teaching formal meth= ods that have gone well, or that failed in surprising ways, as well as to d= evelop ways to reboot the presence of formal methods in curricula. 
=  
Tutorial part of FMTea19=
 
We are very pleased t= o have Carroll Morgan giving an invited talk on his approach to and experie= nces with teaching formal methods to undergraduate students. Sir Tony Hoare= will also join us to give a talk on the foundations of teaching computer s= cience 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 e= xisting FM teaching, together with innovative proposals for remaining relev= ant as educators of Formal Methods in the 21st century. 
 
Workshop Part of FMTea19
 
In the workshop part of the eve= nt, we aim to attract papers detailing authors=E2=80=99 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 tea= ching, including experiences with teaching formal methods via MOOCs. A non-= exhaustive list of topics of interest for the FMTea19 workshop is below:
=  
=E2=80=A2 traditional FM= teaching: lectures, exercises, exams
=E2= =80=A2 online FM teaching/learning: experiences/proposals
=E2=80=A2 teaching FM for industry
=E2=80=A2 integrating/embedding FM teaching/thinking within othe= r computer science courses
=E2=80=A2 stud= ent projects on FM, including group projects
 
Computer science is transforming into a rigorous e= ngineering discipline. Improved teaching techniques will ensure that FM is = at the heart of this transformation process.    <= /o:p>
 
ORGANIZATION
 
FMTea19 is organized by FME=E2=80=99s 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:https://github.com/luigiapetre/Formal-Methods-Courses/issues  (we are in the process of migrating th= e courses to a webpage, so they will not live much longer as issues) and pl= an to collect other resources as well, such as FM case studies, FM inspirat= ional papers, etc. 
 
PROGRAM COMMITTEE
 
<= div style=3D"margin: 0cm 0cm 0.0001pt; font-size: 12pt; font-family: "= Times New Roman", serif;" class=3D"">= =E2=80=A2 Luigia Petre, =C3=85bo Akademi University, Finland (co-chair)
<= span lang=3D"EN-US" class=3D"">=E2=80=A2 Brijesh Dongol, University of Surr= ey, UK (co-chair)
=E2=80=A2 Graeme Smith,= University of Queensland, Australia (co-chair)
=E2=80=A2 Catherine Dubois, ENSIIE, France
=E2=80=A2 Joao F. Ferreira, University of Lisbon, Portugal
=E2=80=A2 K. Rustan M. Leino, Amazon Web Service= s, US
=E2=80=A2 Alexandra Mendes, Univers= ity of Beira Interior, Portugal
=E2=80=A2= Leila Ribeiro, Federal University of Rio Grande do Sul, Brazil
=E2=80=A2 Pierluigi San Pietro, Politecnico di Mil= ano, Italy
=E2=80=A2 Kenji Taguchi, CAV, = Japan
 
PREVIOUS EDITION= S
 
Several events foc= used on teaching aspects for Formal Methods were held in the beginning of t= he 2000s: two BCS-FACS TFM workshops (Oxford in 2003 and London in 2006), t= he TFM 2004 conference in Ghent (with proceedings published as Springer LNC= S Volume 3294), the FM-Ed 2006 workshop (Hamilton, co-located with FM'06), = FORMED (Budapest, at ETAPS 2008), and FMET 2008 (Kitakyushu 2008, co-locate= d with ICFEM). The latest event was TFM2009, the 2nd International FME Conf= erence on Teaching Formal Methods, in November 2009 in Eindhoven, the Nethe= rlands. 
 
SUBMISSI= ON DETAILS
 
FMTea19 in= vites high quality papers reporting on opinions, approaches, and experience= s related to the topic of teaching Formal Methods. Each submitted paper wil= l be reviewed by at least three PC members. The conference proceedings is p= lanned to be published in Springer's Lecture Notes in Computer Science seri= es. All submissions must be original, unpublished, and not submitted for pu= blication elsewhere. Submissions must be in PDF format, using the Springer = LNCS style files; we suggest to use the LaTeX2e package (the llncs.cls clas= s file, available in llncs2e.zip and the typeinst.dem available in typeinst= .zip as a template for your contribution). Papers should not exceed 15 page= s in length. Submissions should be made using the FMTea19 Easychair web sit= e:
 
https://easychair.org/conferences/?conf=3DFMTea19
 
All accepted papers must be = presented at the workshop. Their authors must be prepared to sign a copyrig= ht transfer statement. At least one author of each accepted paper must regi= ster to the conference by an early date, to be indicated by the FM2019 orga= nizers, and present the paper.
 
 
IMPORTANT DATES
 
=E2=80=A2 June 15 (June 1), 2019: S= ubmission of papers
=E2=80=A2 July 15 (July 1), 2019: Notifications to authors
=E2=80=A2 August 15 (August 1), 2019: Proc= eedings version ready
=E2=80=A2 October 7, 2019: FMTea19 in Porto = --Apple-Mail=_CF881C3D-10DA-4E63-97F4-4E8E04DF754F--