[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
=================================================================
Call for Participation
FMTea 2023
Formal Methods Teaching Workshop
Event affiliated with FM 2023,
25th International Symposium on Formal Methods
(https://urldefense.com/v3/__https://fm2023.isp.uni-luebeck.de/__;!!IBzWLUs!X_EEeabnR-9GPftaLnFA8_gu20GWqsZlZZmuWpSK9tOu699FmaVoA89GiYKCRQ0SkS0dN-6ebxNcpZXYFatQzpIkIWlEDx-w3KukuDZ29Jk$ )
https://urldefense.com/v3/__https://fmtea.github.io/__;!!IBzWLUs!X_EEeabnR-9GPftaLnFA8_gu20GWqsZlZZmuWpSK9tOu699FmaVoA89GiYKCRQ0SkS0dN-6ebxNcpZXYFatQzpIkIWlEDx-w3KukVgNZqBE$
=================================================================
* The programme is now available online on the workshop’s web page:
https://urldefense.com/v3/__https://docs.google.com/document/d/12Ry8_XkyTO88FwWhqKoKf_sCMUP1fm2sqnd_T42RZck/edit__;!!IBzWLUs!X_EEeabnR-9GPftaLnFA8_gu20GWqsZlZZmuWpSK9tOu699FmaVoA89GiYKCRQ0SkS0dN-6ebxNcpZXYFatQzpIkIWlEDx-w3KukRPv7maE$
Conference proceedings are published in Springer’s Lecture Notes
in Computer Science series
* Invited speaker:
Erika Abraham, RWTH Aachen: Automated Exercise Generation for
Satisfiability Checking.
* Registration
Registration details at the main FM 2023 conference site
https://urldefense.com/v3/__https://fm2023.isp.uni-luebeck.de/index.php/registration/__;!!IBzWLUs!X_EEeabnR-9GPftaLnFA8_gu20GWqsZlZZmuWpSK9tOu699FmaVoA89GiYKCRQ0SkS0dN-6ebxNcpZXYFatQzpIkIWlEDx-w3KukdDk3ZH0$
* 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.
* Last session of FMTea 2023: Formal Methods in the ACM Curriculum
ACM is revising their recommendation for Computer Science
Curricula; this activity happens every decade or
so. The FME board and our community aim to influence the Formal
Methods coverage in this Curriculum.
This last session will be devoted to that subject.
The agenda for the session (led by Ana Cavalcanti, FME Chair) is
as follows:
- 16:00-16:15 Introduction: Luigia Petre (Chair of FME Teaching Committee),
Jim Woodcock (Editor in Chief of ACM
FormalAspects of Computing Journal),
Brijesh Dongol (Member of the ACM
panel on Programming Languages)
- 16:15-17:00 Short presentations by members of the community
- 17:00-17:30 Definition of collection of white papers to be
submitted in May,2023 to ACM and FACJ
* FMTea 2023 Program Committee:
Catherine Dubois (co-chair), ENSIIE, France
Pierluigi San Pietro (co-chair), Politecnico di Milano, Italy
Brijesh Dongol, University of Surrey, UK
Luigia Petre, Åbo Akademi University, Finland
Kristin Rozier, Iowa State University, US
Graeme Smith, The University of Queensland, Australia
Claudio Menghi, McMaster University, Canada
João F. Ferreira, INESC-ID & IST, University of Lisbon, Portugal
Alexandra Mendes, University of Porto, Portugal
Sandrine Blazy, University of Rennes 1, France
José N. Oliveira, University of Minho, Portugal
Emil Sekerinski, McMaster University, Canada
