[TYPES/announce] FMTea 2023 - colocated with FM 2023 - call for participation

[Catherine DUBOIS]

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