Symposium Location

The Rutherford Rooms in the Core Technology Facility.

Program — Tuesday, 12 Nov 2024

08:30–08:45
Registration
08:45–09:00
Opening (Mădălina Eraşcu and Mattias Ulbrich, co-chairs PhD symposium)
09:00–10:00
Invited Talk (Chair: Mattias Ulbrich)
How to Become a Professor
Paula Herber, University of Muenster & University of Twente
10:00–10:30
Morning Session 1 (Chair: Mădălina Eraşcu)
Combining Quantitative and Qualitative Analysis for Safe and Resilient Intelligent Hybrid Systems
Pauline Blohm, Paula Herber and Anne Remke
10:30–11:00
Coffee Break
11:00–12:30
Morning Session 2 (Chair: Mădălina Eraşcu)
Hybrid Games with Triggers
Qais Hamarneh
Commonsense Knowledge and Hybrid AI for Trusted Flexible Manufacturing: Extended Abstract
Muhammad Raza Naqvi
Towards Correct-by-Construction Machine-Learnt Models
Thomas Flinkow, Barak A. Pearlmutter and Rosemary Monahan
12:30–14:00
Lunch Break
14:00–15:00
Invited Talk (Chair: Mădălina Eraşcu)
Research in Knowledge Base Extraction: Tools, Applications and Lessons Learnt
Renate Schmidt, University of Manchester
15:00–15:30
Coffee Break
15:30–17:30
Afternoon Session (Chair: Mattias Ulbrich)
Towards Logical Specification and Checking of Evasive Malware
Andrei-Catalin Mogage and Dorel Lucanu
Isomorphic Transfer Infrastructure for Nested Types in Isabelle/HOL (Work in Progress)
Gergely Buday and Andrei Popescu
Challenges in Autonomous Robotic System Verification
Huan Zhang and Hao Wu
Extended Abstract: Skill-Based Architectures in Autonomous systems: Lessons Learnt
Pierre Malafosse, Alexandre Albore, Jérémie Guiochet and Charles Lesire
17:30–17:45
Closing
18:30–22:00
PhD Symposium Dinner

Important Dates

Paper submission30 Aug 2024 (AoE)
→ 8 Sept 2024 (AoE)
Author notification22 Sep 2024 (AoE)
→ 1 Oct 2024 (AoE)
Camera-ready7 Oct 2024 (AoE)
→ 12 Oct 2024 (AoE)
Early Registrationuntil 19 Oct 2024
Symposium date12 Nov 2024

Objective and Scope

The iFM PhD symposium provides PhD students an opportunity to present and discuss their research in the fields of theory, implementation, integration or application of formal methods.

Who Can Submit?

PhD students and young researchers at an early career stage (up to 2 years after PhD completion).

Why Should I Submit and Participate?

Participants will have the possibility to present their research projects. Moreover: The doctoral symposium offers an excellent opportunity to introduce your work to fellow researchers in an international setting, and to get feedback from senior researchers in the field. The doctoral symposium lets you exchange knowledge and experiences with fellow PhD-students in a related topic – both regarding research and regarding working towards an PhD.

What Should I Submit?

There are several options for your submission:

All submissions will be reviewed and accepted papers will be made publicly available in open-access online symposium proceedings.

Submission Guidelines

Multiple submissions by one author are not permitted. Submissions must be written in English and follow the CEUR-WS single-column formatting guidelines, available at

ceur-ws.org/Vol-XXX/CEURART.zip

or on Overleaf.

Please submit your contribution electronically in PDF via the EasyChair page:

easychair.org/conferences/?conf=ifm2024phd

All submissions will be peer-reviewed, and will be evaluated based on their clarity and their potential to generate interesting discussions. Authors will get valuable feedback from more experienced reviewers. All types of contributions will benefit from feedback received during a dicussion at the workshop.

Reviewing will be single blind, i.e., submissions need not be anonymized.

Program Committee