Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] iFM 2023 call for participation

Email Gateway (Sep 21 2023 at 13:12):

From: "\"Laarman, A.W. (Alfons)\"" <cl-isabelle-users@lists.cam.ac.uk>

iFM 2023 - Call for Participation
18th International Conference on integrated Formal Methods
13-16 November 2023, Leiden, the Netherlands
https://ifm23.liacs.nl

This year, iFM 2023 and its associated events will be held in Leiden,
The Netherlands, on 13-16 November 2023. The four-day event consists
of the main conference iFM 2023, the workshop on Formal Methods for
Autonomous Systems (FMAS 2023), a PhD Symposium and an artifact session.
The programme will include the following keynote and invited speakers:

• Erika Ábrahám (RWTH Aachen University, DE) - IFM 2023 and FMAS 2023
• Marieke Huisman (University of Twente, NL) – PhD Symposium
• Barbara Jobstmann (EPFL and Cadence Design Systems, CH) - IFM 2023
• Rustan Leino (Amazon Web Services, USA) – IFM 2023 and PhD Symposium
• Alice Miller (University of Glasgow, UK) - FMAS 2023

The list of accepted papers at iFM 2023 can be found at

https://ifm23.liacs.nl/program.html

To register for the main conference and the affiliated events, go to

https://ifm23.liacs.nl/registration.html

The early registration fees (until October 15th) for the iFM 2023
main conference, the PhD symposium, and the FMAS 2023 workshop are
as follows:

iFM 2023 main conference EUR 500
PhD symposium EUR 150
FMAS 2023 workshop EUR 200
iFM 2023 + PhD symposium EUR 600
iFM 2023 + FMAS 2023 workshop EUR 650

The registration fees include lunches and tea/coffee breaks during
the registered event, as well as a social dinner. Additionally, the
registration fees for the main conference iFM 2023 include a small
reception on the first conference day.

GENERAL CHAIR
Marcello M. Bonsangue (LIACS, Leiden University, The Netherlands)

iFM 2023 PROGRAM COMMITTE CHAIRS
Paula Herber (University of Münster, Germany)
Anton Wijs (Eindhoven University of Technology, The Netherlands)

iFM 2023 ARTIFACT EVALUATION COMMITTEE CHAIRS
Muhammad Osama (Eindhoven University of Technology, The Netherlands)
Anna-Lena Lamprecht (University of Potsdam, Germany)

PhD Symposium Chairs
Crystal Chang Din (University of Bergen, Norway)
Gidon Ernst (Ludwig-Maximilians-University of Munich, Germany)

FMAS 2023 Workshop Chairs
Marie Farrell (University of Manchester, United Kingdom)
Mario Gleirscher (University of Bremen, Germany)
Matt Luckcuck (University of Derby, United Kingdom)
Maike Schwammberger (Karlsruhe Institute of Technology, Germany)

iFM 2023 PUBLICITY CHAIRS
Alfons Laarman (LIACS, Leiden University, The Netherland)

© iFM 2023

Last updated: Apr 29 2024 at 04:18 UTC