From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/10523 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: =?UTF-8?Q?Jo=C3=A3o_F=2E_Ferreira?= Newsgroups: gmane.science.mathematics.logic.acl2.general,gmane.comp.lang.caml.inria,gmane.science.mathematics.categories,gmane.comp.science.concurrency,gmane.science.mathematics.logic.coq.club Subject: Second Call for Papers (Deadline Extension): Formal Methods Teaching Workshop and Tutorial (FMTea 2021) Date: Fri, 2 Jul 2021 11:03:03 +0100 Message-ID: Reply-To: =?UTF-8?Q?Jo=C3=A3o_F=2E_Ferreira?= Mime-Version: 1.0 Content-Type: multipart/alternative; boundary="000000000000590f4605c62110ff" Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="32451"; mail-complaints-to="usenet@ciao.gmane.io" To: FMxSOCandBPM-iEixELS/QsY1GQ1Ptb7lUw@public.gmane.org, acl2-wNjIbZq71S3S/e0kzai8jze48wsgrGvP@public.gmane.org, agents-iAiprmkJuSSVc3sceRu5cw@public.gmane.org, all-ZTXTTVQmh+NpF8Fk/HG8vA@public.gmane.org, all-fttHeCC794+tlBvVaVFjCm6XGmf1S8Or@public.gmane.org, announce-jNDFPZUTrfTs/wu/ztDUQnmj43O/BPlP@public.gmane.org, announce-5KQwm+K1Ixwj83aOlRudGUfYrIRD+uNTQH7oEaQurus@public.gmane.org, announcements-xIg/pKzrS1+z+1QnA0p122WpMmwukr/P2LY78lusg7I@public.gmane.org, appsem-bvfaE1kav+4XOLVLeuLo0qTdHet3F+8AWV23jfQ1LcY@public.gmane.org, ascens-mrEvjEli4ZB4G4PSnj+uLxvVK+yQ3ZXh@public.gmane.org, ast-FV+mU1CFjts@public.gmane.org, cade-YidNj35/HaM@public.gmane.org, caic1402arvi-teODSv7kPrt1eUJJRftigYQuADTiUCJX@public.gmane.org, caml-list-MZpvjPyXg2s@public.gmane.org, categories-59hdLBrVOVU@public.gmane.org, comlab-wzN9gXeOksgSiZgQ0OGTRA@public.gmane.org, comm-theory-EkmVulN54Sk@public.gmane.org, complog-qcTL/1vZYtiVc3sceRu5cw@public.gmane.org, concurrency-rh8NL+sEX9E@public.gmane.org, concurrency-JX7+OpRa80RGWJATNv3lvGZHpeb/A1Y/@public.gmane.org, coq-club-MZpvjPyXg2s@public.gmane.org, dbworld-hcNo3dDEHLuVc3sceRu5cw@public.gmane.org, dipartimento-6l1t1zIuRx01GQ1Ptb7lUw@public.gmane.org, EAPLS-BJlGqfXgjbjQzY9nttDBhA@public.gmane.org, ecoop-info-khN00PUlwG3YtjvyW6yDsg@public.gmane.org, envisage-all-lH6CXPim9AFhCjiJDEAuB+yrfmlZI2zM@public.gmane.org, events-UYyDbajZw9Ng9hUCZPvPmw@public.gmane.org, FACS-BJlGqfXgjbjQzY9nttDBhA@public.gmane.org, facs-events-BJlGqfXgjbjQzY9nttDBhA@public.gmane.org, fg-arc-FfzAktRlpg5lCZ00bGekxt7m1AW04n4n@public.gmane.org, fmics-xhhIRkXa/2pvynnTyRI/EA@public.gmane.org, fm-announcement Archived-At: Original-X-From: acl2-owner-wNjIbZq71S3S/e0kzai8jze48wsgrGvP@public.gmane.org Fri Jul 02 12:23:56 2021 Return-path: Envelope-to: gsmla-acl2@m.gmane-mx.org Original-Received: from esa12.utexas.iphmx.com ([216.71.154.221]) by ciao.gmane.io with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.92) (envelope-from ) id 1lzGKy-00089u-7f for gsmla-acl2@m.gmane-mx.org; Fri, 02 Jul 2021 12:23:56 +0200 IronPort-SDR: PEFrdNJNBe33dm3xZuU3rsXLNZerhQoeqs7pFXZRnO7sq7vcHxYsx8hbNyL3OGOfZ+osxT0fUL Hu0qweqtoWwZMYCusjXIHXO8Hx93ooRygLRSEYP+WJCEFng7/ILIuuAyrC3ESP+w3EqtyrHY1j 88sW7JCTakCQlFYiBTDtSrmEabJCjmD/D/HJV52zE3BCZ5Ts58zrCkIsijjltx/VmJFfcsqB9c tlf4CzOxx7kR5r2Ppn79f/I079giRe6eQNMQJkYqehwzZIFCLJBOGy5BGUxqOOquNSp/h9mAr9 Jwo= X-Utexas-Sender-Group: None X-IronPort-MID: 286339916 Original-Received: from utlists-sympa-p10.utlists.utexas.edu (HELO utlists-sy-p10.its.utexas.edu) ([35.174.83.226]) by esa12.utexas.iphmx.com with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 02 Jul 2021 05:23:42 -0500 Original-Received: from utlists-sy-p10.its.utexas.edu (localhost [127.0.0.1]) by utlists-sy-p10.its.utexas.edu (8.14.7/8.14.7) with ESMTP id 162AN9aA021332; Fri, 2 Jul 2021 05:23:09 -0500 Original-Received: (from sympa@localhost) by utlists-sy-p10.its.utexas.edu (8.14.7/8.14.7/Submit) id 162AMeC3021311; Fri, 2 Jul 2021 05:22:40 -0500 Original-Received: from esa13.utexas.iphmx.com (esa13.utexas.iphmx.com [139.138.56.158]) by utlists-sy-p10.its.utexas.edu (8.14.7/8.14.7) with ESMTP id 162A3GBu020108 for ; Fri, 2 Jul 2021 05:03:17 -0500 Authentication-Results: esa13.utexas.iphmx.com; dkim=pass (signature verified) header.i=@joaoff-com.20150623.gappssmtp.com IronPort-SDR: 8+TLtVbE3AfWzXj/7p+Kkmu/3+aHrn433IdOIYrz1YyvNk62CrtJGWv5rsUTNI6zcZQdRrx0Bq /7Aer251wwOC+Pb3LJJSK+mN9ROjRmgBLzR33qA0ooOqvwrDU9f/Frv3DesWKs/HMPLOkFOdAG 07IE7dTQFJMZ8oYAHaDjPRW0c4yV1ydzEHhR2G02FT6Pi9r3mfPrleAtlpSfC2Jg8VM/FkzWLq /JKc0tea+x04eLMV5RaGM1S2+IjPo9PDSUTNJjxh4D/5lfVtw89uo0IjXDTuWGyic42XzBH5vD Wh7jzcgvxb0NkheYKc0Iycau X-IronPort-MID: 247446427 X-SBRS: 2.7 X-IPAS-Result: =?us-ascii?q?A0FoBQA2495gfyqhVdFaDoRQKHMLVjsxhEiBHpBRlSgvh?= =?us-ascii?q?hOBEQMYMwkBCgEBAQEBAQEBAQkqAQoMBAEBAwEDgVeBP4E1gncCJTgTAgEDA?= =?us-ascii?q?QEBAQMCAwEBAQEBBAEBAQQBAQECAQEFAgICAhABAYENZGM4gRc4gUEGAwEwD?= =?us-ascii?q?YNWUAMzAgEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBDwINUhlPAQUBEAsGH?= =?us-ascii?q?QEBEhICBQ0YDTAHAgIiEgEFASECCSuCBEyDBw+LaY4hAXU0PgIQEwEpFwEMg?= =?us-ascii?q?QiJDHqBMoEBggcBAQaHH4EdAwYSgSiHBwEBgmeDeicWBkCBTTRhNoI9b4FAA?= =?us-ascii?q?RGBEAICGIEJFFaCaoJkgkgfLjFeBwkiEzwsBw4IBTQJBQUwIwaRRhsHmAaTA?= =?us-ascii?q?QeDJIokk34rg2GGIYUgjX2JApVyjCqTRIUaECOCGyKBXE0jFTsxBoIyTQECA?= =?us-ascii?q?QIBDAECAgECAQIBAQEIAQEBAVOOAIM5gmSCMIUFCD5DLwI2AgYBCQEBAwmJL?= =?us-ascii?q?oJHAQE?= IronPort-PHdr: A9a23:Thvt6x2H5QFwzrBdsmDOPwUyDhhOgF2JFhBAs8lvgudUaa3m5JTrZ hGBtr1m2UXEWYzL5v4DkefSurDtVT9lg97J+DhKONQEW0oHjswRkQJlC8mATxejdaOyMXZhW stLTEd+5HSnKQ5eH8OtL0aH+CXrsGZMQE6sUGg9bqy9Usaax8Ti0uG39tjNbh9ThT27M71oK xDkoQzNu5sTjJB5I6k8jxrF8GBVceZbzn86OVXA+nS0ro/4tNYruy5Q7vc66+ReDfzrUrUYd +R9CRUUFTx25pOw5UXjbyKz60MadFxHvhFJOibh9k2vDfKT+mOy/qI1kGGQaOzVELokVyr58 pc6SD+vhCcLGDMGznGLyf5ZrfoCoRzi5BJ5mp/kZYWnJsgnLqXcb85FdU9/AcYBcQ1tX46aa q4TNI9jda4Q58G17xNGnAGSFwSPCcPV7zNEjHbc844iiuIkKwPj4hV7NdYUkVqXtfb1DYsLe +uk8rKU9TbuN9JU+jS69o7Ndw8vnejXAo5IfeC0qwFnX0uNxh3Y4dD4HRyujr09unGJ9K1mf LOftmEo9DhYuxSVw5kQo4eRot5E9F2e7j1exqQFHuC4WHNSOPW8F5hRtC6zOI9nUOl4UmxV3 URygvVO8dbzNGAW58sd5jTjMPOhVaii/B2ya8OjLjgn2nNPVYiRni7xqXWK++DHCo6s1n1A6 RQUs8Dij04W7x7y9/GAdaBl+x+rwAqqi2WxoqkMaQh83eKTJqx585kitIMRrGfHQAuqhELal 6O0cQIp1ba0u7TIa4ehoNjMLL5lkFH6PvoSw83uLbVmPS4LflOaw+rs1pTd5R3JfaQv7LV+2 uGR+NiSbeE IronPort-HdrOrdr: A9a23:izfXlKy6GANy4TQiHttiKrPwIb1zdoMgy1knxilNoH1uA6ulfq WV9sjzuiWE6wr5NEtBpTniAsi9qBHnhPxICOAqVN/IYOCMghrMEGgN1/qH/9QiIUHDHyxmuJ uIv5IQNDQ4NzZHsfo= X-IronPort-Anti-Spam-Filtered: true X-IronPort-AV: E=Sophos;i="5.83,316,1616475600"; d="scan'208,217";a="247446427" X-Amp-Result: SKIPPED(no attachment in message) X-Amp-File-Uploaded: False X-Utexas-Seen-Inbound: true X-IronPort-Outbreak-Status: No, level 0, Unknown - Unknown Original-Received: from mail-oo1-f42.google.com ([209.85.161.42]) by esa13.utexas.iphmx.com with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 02 Jul 2021 05:03:14 -0500 Original-Received: by mail-oo1-f42.google.com with SMTP id d1-20020a4ad3410000b029024c4d2ea72aso2328595oos.4 for ; Fri, 02 Jul 2021 03:03:14 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=joaoff-com.20150623.gappssmtp.com; s=20150623; h=mime-version:from:date:message-id:subject:to; bh=mstBv41yEyHR0MmIZN4+j6384HJATePnNQ9DciQFLr4=; b=IK5bxfv3uX9hH/dhdGeWVx4+ZAI01if++fn1yXmlZzZ18nizu7XMV7h8NID5eNmMtS YrDzeKeHRMddbaBFKp1nmRjMVq3BlrIF+qKhQDqBcyVs4PkE0IjKk/vnmmwfTq37TPdB 4uJGS01Xaqzs/nA9XUgg7QAqDRm6TAf0L49Ve2spOnJXSUhxUA1CpokikgAglyzB2yeU tG7RIBT3gNNHBvg9WMZgg76iBERFqP+0UBYeS4/pnCb/V9IqFQVsPjIuQoW3pm0bqTM4 eZ0YOzJqjuKl6L4toDsdJo/eG6t88GaZ/n/8sYyr8ld6T1i9D96gNmISiRf8jAVp8XUy Mg2A== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:from:date:message-id:subject:to; bh=mstBv41yEyHR0MmIZN4+j6384HJATePnNQ9DciQFLr4=; b=VVw7VxbX6Z3/8NfvDPrdL4GJ4vL2vniy8lTwB6VI7nib/X2wEa0V9praDonjar4GI8 52ILv6Oi3zQV4EGOULTT4XMINAwhaza6GhVF0Lr+17LQcD5X3vddBEU0l+vhBG4veIPY 7BPeG4ZXjZIu/ZGYJCXvidwC2PdBSfMrieonGFEHMrhI0ZrujbDNy13AsGXf0cYXpDy1 msr2+5BrgEKckpxWy9gftiK9OMQOJYhTr6WluHgOnY9YbYgFsmCCAyR0RprY60K+ech5 PO3kW/cWdPvX8jlsfaqYbqI2I7oG5dq/5Fa7iiT0lXlG7NAyXrN/rGlvfW9naPqkSOnq a3rw== X-Gm-Message-State: AOAM530ft4j6NPla5xY9hSs7ZRWJrtTKNoB75sQLP/OHHAVqArtSxQ/Y wynD2WsZEptY83VojdmfUliG41vj+O8r8kbHkTlmjQ== X-Google-Smtp-Source: ABdhPJxvXAnlbH7oPouJpsOpW2Gt6myvadh20t9EUc7kyVtl4pt034TMJvEDpPKx/I+Bc2dgopFmi4o7IfgHCMuPY+c= X-Received: by 2002:a4a:4f92:: with SMTP id c140mr3690596oob.25.1625220194039; Fri, 02 Jul 2021 03:03:14 -0700 (PDT) X-Validation-by: kaufmann-NZpS4cJIG2HvQtjrzfazuQ@public.gmane.org X-Loop: acl2-wNjIbZq71S3S/e0kzai8jze48wsgrGvP@public.gmane.org X-Sequence: 1498 Errors-To: acl2-owner-wNjIbZq71S3S/e0kzai8jze48wsgrGvP@public.gmane.org Precedence: list Precedence: bulk Original-Sender: acl2-request-wNjIbZq71S3S/e0kzai8jze48wsgrGvP@public.gmane.org X-no-archive: yes List-Id: List-Help: List-Subscribe: List-Unsubscribe: List-Post: List-Owner: List-Archive: X-Gmane-Expiry: 2021-07-16 Xref: news.gmane.io gmane.science.mathematics.logic.acl2.general:1117 gmane.comp.lang.caml.inria:69494 gmane.science.mathematics.categories:10523 gmane.comp.science.concurrency:6186 gmane.science.mathematics.logic.coq.club:23074 Archived-At: --000000000000590f4605c62110ff Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable [ Please distribute, apologies for multiple postings. ] =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D Call for Papers: Formal Methods Teaching Workshop and Tutorial (FMTea 2021) 21 November 2021, *online* Co-located with the 24th International Symposium on Formal Methods, FM 2021 FMTea21 is a one-day combined workshop and tutorial that brings together researchers and educators working on formal methods to share their experiences in teaching formal methods, discuss key challenges, and stimulate collaboration that can lead to ways to reboot the presence of formal methods in curricula= . FMTea21 will be an online event at the 24th International Symposium on Formal Methods, FM2021. More details can be found on the workshop website: https://fmtea.github.io =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D Invited Speakers =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D - Tobias Nipkow (Technical University Munich, Germany) "Teaching Algorithms and Data Structures with a Proof Assistant" - Jeremy Avigad (Carnegie Mellon University, USA) "Tutorial on the Lean Theorem Prover" - Laura Kovacs (Vienna University of Technology, Austria) "Online teaching and examining in deductive verification and automated deduction" Important Dates =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D - 9 July 2021: Deadline for abstract submission (AoE) - 16 July 2021: Deadline for submission of papers (AoE) - 9 August 2021: Notifications to authors - 17 September 2021: Deadline for camera-ready version - 21 November 2021: FMTea21 Workshop (online) Objectives and Scope =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D Formal Methods provide software engineering with tools and techniques for rigorously reasoning about the correctness of systems. While in recent year= s 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. Topics =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D In the workshop part of the event, we welcome papers detailing experiences with FM Teaching, including papers discussing successes and failures of various methods, case studies, tools, etc. Given the increasing importance of onlin= e teaching and self-learning, we also welcome reports of experiences with online teaching, including experiences with teaching formal methods via MOOCs. We invite novel papers that cover, but are not limited to, the following aspects: - Experiences and proposals related with "traditional" FM learning and teaching - Experiences and proposals related with online FM learning and teaching - Integrating/embedding FM teaching/thinking within other computer science courses - Teaching FM for industry - Innovative learning and teaching methods for FM Submission Details =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D FMTea21 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. As in previous events, 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. Papers should not exceed 15 pages in length. Submissions should be made using the FMTea21 Easychair web site: https://easychair.org/conferences/?conf=3Dfmtea21 All accepted papers must be remotely presented at the workshop. Authors must be prepared to sign a copyright transfer statement. At least one author of eac= h accepted paper must register to the conference by an early date, to be indicated by the FM2021 organizers, and present the paper. Organization =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D FMTea21 is organized by FME=E2=80=99s Teaching Committee, whose broad aim i= s to support a worldwide improvement in learning Formal Methods, mainly by teaching but also via self-learning. To that end, the committee manages a list of FM courses taught worldwide (https://fme-teaching.github.io) and plans to collect othe= r resources as well, such as FM case studies, FM inspirational papers, etc. Program Committee =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D - Jo=C3=A3o F. Ferreira (co-chair), INESC-ID & IST, University of Lisbon, Portugal - Alexandra Mendes (co-chair), INESC TEC & University of Beira Interior, Portugal - Claudio Menghi (co-chair), University of Luxembourg, Luxembourg - Sandrine Blazy, University of Rennes 1, France - Brijesh Dongol, University of Surrey, UK - Catherine Dubois, ENSIIE, France - Rustan Leino, Amazon Web Services, US - Jos=C3=A9 N. Oliveira, University of Minho, Portugal - Luigia Petre, =C3=85bo Akademi University, Finland - Leila Ribeiro, Federal University of Rio Grande do Sul, Brazil - Kristin Rozier, Iowa State University, US - Pierluigi San Pietro, Politecnico di Milano, Italy - Emil Sekerinski, McMaster University, Canada - Graeme Smith, The University of Queensland, Australia - Kenji Taguchi, CAV, Japan Contact =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D All questions about submissions should be emailed to the chairs. --000000000000590f4605c62110ff Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
<= div dir=3D"ltr">[ Please distribute, apologies for multiple postings. ]
=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D

Call=C2=A0for Paper= s: Formal Methods Teaching Workshop and Tutorial (= FMTea=C2=A02021)

21 November 2021, *online*

Co-located= with the 24th International Symposium on Formal Methods,=C2=A0FM=C2=A02021


FMTea21=C2=A0is a one-day comb= ined workshop and tutorial that brings together
researchers and educator= s working on formal methods to share their experiences
in teaching forma= l methods, discuss key challenges, and stimulate collaboration
that can = lead to ways to reboot the presence of formal methods in curricula.

= FMTea21=C2=A0will be an online event at the 24th International Symposium on= Formal
Methods, FM2021. More details can be found on the workshop websi= te:

=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 = =C2=A0 =C2=A0 =C2=A0=C2=A0https://fmtea.github.io

= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D


Invited Speakers
=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D

=C2=A0- Tobias N= ipkow (Technical University Munich, Germany)
=C2=A0=C2=A0 "Teaching= Algorithms and Data Structures with a Proof Assistant"

- Jeremy Avigad (Carnegie Mellon Uni= versity, USA)
=C2=A0 "Tutorial on the Lean T= heorem Prover"=C2=A0

=C2=A0-=C2=A0Laura Kovacs (Vienna University of Technology, Austria)=C2=A0=C2=A0 "Online teaching and examining in deductive verification= and automated deduction"


Important Dates
=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D

=C2=A0-= 9 July 2021: Deadline for abstract submission (AoE)
= =C2=A0- 16 July 2021: Deadline for submission of papers (AoE)
=C2=A0- 9 = August 2021: Notifications to authors
=C2=A0- 17 September 2021: Deadlin= e for camera-ready version
=C2=A0- 21 November 2021:=C2=A0FMTea21=C2=A0W= orkshop (online)


Objectives and Scope
=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D

Formal Methods p= rovide software engineering with tools and techniques for
rigorously rea= soning about the correctness of systems. While in recent years
formal me= thods are increasingly being used in industry, university curricula are
= not adapting at the same pace. Some existing formal methods classes interes= t and
challenge students, whereas others fail to ignite student motivati= on. It is thus
important to develop, share, and discuss approaches to ef= fectively 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 d= eliver their teaching online. Exchange of
ideas is critical to making th= ese new online approaches a success and having a
greater reach.

<= br>Topics
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D

In the workshop part of the event, we welcome papers de= tailing experiences with
FM=C2=A0Teachin= g, including papers discussing successes and failures of various
methods= , case studies, tools, etc. Given the increasing importance of online
te= aching and self-learning, we also welcome reports of experiences with onlin= e
teaching, including experiences with teaching formal methods via MOOCs= . We
invite novel papers that cover, but are not limited to, the followi= ng aspects:

=C2=A0- Experiences and proposals related with "tra= ditional"=C2=A0FM=C2=A0learning and te= aching
=C2=A0- Experiences and proposals related with online=C2=A0FM=C2=A0learning and teaching
=C2=A0- Integrat= ing/embedding=C2=A0FM=C2=A0teaching/thinkin= g within other computer science courses
=C2=A0- Teaching=C2=A0FM=C2=A0for industry
=C2=A0- Innovative learning a= nd teaching methods for=C2=A0FM


= Submission Details
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D

FMTea21=C2=A0invites high quality papers repor= ting on opinions, approaches, and
experiences related to the topic of te= aching Formal Methods. Each submitted
paper=C2=A0will be reviewed by at = least three PC members. As in previous events, the
conference proceeding= s will be published in Springer's Lecture Notes in Computer
Science = series. All submissions must be original, unpublished, and not submittedfor publication elsewhere. Submissions must be in PDF format, using the Sp= ringer
LNCS style files. Papers should not exceed 15 pages in length. Su= bmissions
should be made using the=C2=A0FMTea21=C2=A0Easychair web site:=

=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0=C2=A0h= ttps://easychair.org/conferences/?conf=3Dfmtea21

All accepted pa= pers must be remotely presented at the workshop. Authors must be
prepare= d to sign a copyright transfer statement. At least one author of each
ac= cepted=C2=A0paper=C2=A0must register to the conference by an early date, to= be indicated
by the FM2021 organizers, and present the=C2=A0paper.
<= br>
Organization
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D

FMTea21=C2=A0is organized by FME=E2=80=99s Tea= ching Committee, whose broad aim is to support
a worldwide improvement i= n learning Formal Methods, mainly by teaching but also
via self-learning= . To that end, the committee manages a list of=C2=A0FM=C2=A0courses
taught worldwide (https://fme-teaching.github.io) and pl= ans to collect other
resources as well, such as=C2=A0FM=C2=A0case studies,=C2=A0FM= =C2=A0inspirational papers, etc.


Program Committee
=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D

=C2= =A0- Jo=C3=A3o F. Ferreira (co-chair), INESC-ID & IST, University of Li= sbon, Portugal
=C2=A0- Alexandra=C2=A0Mendes=C2=A0(co-chair), INESC TEC & University of Beira Interior, Portuga= l
=C2=A0- Claudio Menghi (co-chair), University of Luxembourg, Luxembour= g
=C2=A0- Sandrine Blazy, University of Rennes 1, France
=C2=A0- Brij= esh Dongol, University of Surrey, UK
=C2=A0- Catherine Dubois, ENSIIE, F= rance
=C2=A0- Rustan Leino, Amazon Web Services, US
=C2=A0- Jos=C3=A9= N. Oliveira, University of Minho, Portugal
=C2=A0- Luigia Petre, =C3=85= bo Akademi University, Finland
=C2=A0- Leila Ribeiro, Federal University= of Rio Grande do Sul, Brazil
=C2=A0- Kristin Rozier, Iowa State Univers= ity, US
=C2=A0- Pierluigi San Pietro, Politecnico di Milano, Italy
= =C2=A0- Emil Sekerinski, McMaster University, Canada
=C2=A0- Graeme Smit= h, The University of Queensland, Australia
=C2=A0- Kenji Taguchi, CAV, J= apan


Contact
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D
All questions about submissions should be email= ed to the chairs.
--000000000000590f4605c62110ff--