INDUSTRY DAY
At the Industry Day, contributions of Formal Methods from the practice will be presented.
Industry representatives will demonstrate the use of Formal Methods using suitable tools.
Accepted Papers
| Paper | Authors |
| Shifting Left for Early Detection of Machine-Learning Bugs | Liblit, Luo, Molina, Mukherjee, Patterson, Piskachev, Schäf, Tripp, Visser |
| Runtime Monitoring for Out-of-Distribution Detection in Object Detection Neural Networks | Hashemi, Kretinsky, Rieder, Schmidt |
| Backdoor Mitigation in Deep Neural Networks via Strategic Retraining | Dhonthi, Hahn, Hashemi |
| veriFIRE: Verifying an Industrial, Learning-Based Wildfire Detection System | Amir, Freund, Katz, Mandelbaum, Refaeli |
| Shifting Left: Opportunities and Techniques for Early Verification in Model-Based Design | Canny, Rajhans, Sticksel |
| Specification-Guided Critical Scenario Identification for Automated Driving | Molin, Aguilar, Nickovic, Zhu, Bemporad, Esen |
| A Systematic Approach to Automotive Security | Ebrahimi, Marksteiner, Nickovic, Bloem, Schögler, Eisner, Sprung, Schober, Chlup, Schmittner, König |
| Formal and Executable Semantics of the Ethereum Virtual Machine in Dafny | Cassez, Fuller, Ghale, Pearce, Anton Quiles |
DOCTORAL SYMPOSIUM
A Doctoral Symposium will be held in conjunction with the 25th International Symposium on Formal Methods (FM 2023), 6-10 March. FM 2023 is hosted by the University of Lübeck.
Day
6 March 2023
Goals and Scope
This symposium aims to provide a supportive environment in which selected PhD students can present and discuss their ongoing work, meet other students working in the field of formal methods, and receive feedback and advice from experienced researchers. In addition to talks followed by discussions, the event will also provide opportunities for PhD students to meet senior academics in smaller groupings, to informally discuss research strategies, career aspects, or any other topic of interest.
If you are a PhD student researching any topic that falls within the area of formal methods, you are warmly invited to submit a Research Abstract for consideration to be selected as a participant of the Doctoral Symposium.
There will be a best presentation award.
Invited Speaker
Paula Herber, University of Münster
Important Dates
- Submission open: 21 November 2022
- Submission deadline: 01 December 2022
- Notification: 20 December 2022
Research Abstracts
Research Abstracts should be no more than 4 pages in Springer LNCS format. Your Research Abstract should:
- Outline the problem being addressed, its relevance, the solution you are working on, your research approach (such as your research method) and your expected contribution.
- Contain a very brief literature survey indicating the most important references related to:
- the problem being addressed and/or
- existing solutions as appropriate.
- Indicate your progress to date and the current stage of research.
The Research Abstract should be written by yourself as sole author, but may include references to relevant papers you have already published, including joint publications with collaborators.
How to Submit
Please upload your Research Abstract via the submission page.
Programme
TBA
Doctoral Symposium Chairs
- Wolfgang Ahrendt, Chalmers University of Technology, Gothenburg, Sweden
- Ralf Möller, University of Luebeck, Germany
Programme Committee
| Sebastian | Berndt | berndt@tcs.uni-luebeck.de | University of Luebeck |
| Mattias | Ulbrich | ulbrich@kit.edu | KIT (Karlsruhe Institute of Technology) |
| Rosemary | Monahan | Rosemary.Monahan@nuim.ie | Maynooth University |
| Sylvia | Melzer | sylvia.melzer@uni-hamburg.de | University of Luebeck |
| Eva | Darulova | eva.darulova@it.uu.se | Uppsala University |
| Van Den Bos | Petra | p.vandenbos@utwente.nl | University of Twente |
| Carlo | Furia | furiac@usi.ch | Università della Svizzera italiana |
| Max | Bannach | bannach@tcs.uni-luebeck.de | University of Luebeck |
D-CON 2023
The D-Con was founded as a forum of German researchers on Concurrency Theory to meet, collaborate, and exchange ideas. It became the yearly meeting of the GI Fachgruppe on Concurrency Theory, but is open to researcher from all over the world.
One of its main tasks is to connect the younger researchers in the field. Therefore, the meeting consists of several talks mostly from younger scientists that can talk about their research agenda, new ideas on ongoing work, or recent research results. The programme is enhanced with talks and tutorials from experienced researchers as wel as an invited talk.
Dates
March 09 and 10 (ends after lunch)
Persons
Roland Meyer, TU Braunschweig
Kirstin Peters, Universität Augsburg
Invited Speaker
TBA
Programme
TBA