European Research Network on Formal Proofs
COST action CA20111
COST logo
EU flag and COST acknowledgement
COST (European Cooperation in Science and Technology) is a funding agency for research and innovation networks. Our Actions help connect research initiatives across Europe and enable scientists to grow their ideas by sharing them with their peers. This boosts their research, career and innovation.

Organizer: Muhammad Usama Sardar

Date: 27-28 March 2024

Venue: TU Dresden, Germany
Address: Nöthnitzer Str. 46, 01069 Dresden
Room: APB E023 on ground floor

Output

  • Final Report.
  • Some presentations and video recordings have been addded to the program page.

Program: see here

Main idea: Despite significant advances in formal methods, there remains a huge barrier to the adoption of formal methods in the industry. The key idea of this event is to bring together industry designers and formal methods research community to share ideas and experiences on how to improve the tools to reduce the barrier to adoption.

Meeting aims: The meeting aims to:

  • bring together members of the different communities (including formal methods, systems engineering and security),
  • make formal methods more effective and more accessible to all stakeholders,
  • transfer knowledge in terms of expertise and scientific tools across the different disciplines and between academia and industry, and
  • foster collaborations and build synergies among participants to ease the path to more fruitful results for the Action.

Confirmed speakers: The event will have talks from young researchers as well as academic and industrial experts, including:

  • Confidential Computing/Attestation
    • Hannes Tschofenig (University of Applied Sciences Bonn-Rhein-Sieg, Siemens/Germany)
    • Ionut Mihalcea (Arm, UK)
    • Thomas Fossati (Linaro, Switzerland)
    • Arto Niemi (Huawei, Finland)
    • Angelo Ruocco (IBM Research, Switzerland)
    • Samuel Ortiz (Rivos Inc, France)
    • Ghada Arfaoui (Orange, France)
    • Tobias Reiher (AdaCore, Germany)
    • Ian Oliver (University of Jyväskylä, Finland)
    • Andreas Berg (gematik GmbH, Germany)
    • Carsten Weinhold (Barkhausen Institut, Germany)
    • Richard Zak (Enarx maintainer, USA)
    • Rui Almeida (Klave, UK)
  • Formal methods for security
    • Vincent Cheval (University of Oxford, UK)
    • Lilia Georgieva (Microsoft/Heriot-Watt University, UK)
    • Ilias Cherkaoui (Walton Institute, Ireland)
    • Georgio Nicolas (KU Leuven, Belgium)
    • Jannik Mähn (Barkhausen Institut, Germany)
    • Dorel Lucanu and Andrei Mogage (Alexandru Ioan Cuza University, Romania)
    • Horatiu Cheval (University of Bucharest, Romania)
    • Volker Stolz (Høgskulen på Vestlandet, Norway)

Important dates:

  • Submission of talk proposals: 22 December 2023
  • Notification of selected talks: 12 January 2024
  • Funding request: 22 December 2023 (Applications received by this date will receive priority for reimbursement.)
  • Notification of funding decisions: 12 January 2024
  • Tentative detailed agenda: 31 January 2024
  • Registration for attendance (without talk): 15 February 2024

Application procedure: In all cases, please fill the same form.

  • Case 1: You have a cool talk proposal: please fill out the optional fields of title, duration, and abstract.
  • Case 2: You would like to apply for funding: check the eligibility rules and please fill out all the optional fields on second page of Google form. If you are not yet a member of EuroProofNet, please join it. If you are unsure of working group, please select WG3 because the event is being organized by WG3.
  • Case 3: You would just like to attend the event without any talk proposal: please fill out the required (marked with *) fields of the Google form, leaving the optional fields as blank. Being a member of EuroProofNet is not a requirement for this case.

Cost: The event is free of cost for anyone interested but we may need to limit the number of participants. Hence, please utilize the “Short bio” field in the form to tell us about how you can benefit from the event. Also, please wait for the confirmation email before making travel arrangements.

Reimbursement: Participants selected for funding will have to organize their travel and accommodation by themselves.

  • Membership of at least one WG of EPN is mandatory for reimbursement. Please join here if you are not already a member.
  • Please note that any transport <100 km is not reimbursed as they are included in the daily allowance. Please check the reimbursement rules carefully so that there is no bad surprise after the meeting. The daily allowance (covering accommodation, local transport and meals) is fixed at 130 Euros.

Some accommodation options:

Local transportation:

  • Taxi: For those funded by EuroProofNet, please note that taxis are not reimbursed.
  • Trams and buses: The nearest stops to the venue are:
    • “Helmholtzstraße” for Bus 85 and
    • “Münchner Platz” for tram 3.

Tourism: