[ecoop-info] Second Call for Papers (Deadline Extension): Formal Methods Teaching Workshop and Tutorial (FMTea 2021)

[João F. Ferreira]

[ Please distribute, apologies for multiple postings. ]

=========================================================

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

=========================================================


Invited Speakers
========================

 - 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
========================

 - 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
========================

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.


Topics
========================

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 online
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
========================

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=fmtea21

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 each
accepted paper must register to the conference by an early date, to be
indicated
by the FM2021 organizers, and present the paper.


Organization
========================

FMTea21 is organized by FME’s Teaching Committee, whose broad aim is 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 other
resources as well, such as FM case studies, FM inspirational papers, etc.


Program Committee
========================

 - João 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é N. Oliveira, University of Minho, Portugal
 - Luigia Petre, Åbo 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
========================
All questions about submissions should be emailed to the chairs.