Welcome to the homepage of PhD-iFM'18, a PhD Symposium at iFM 2018 on Formal Methods: Algorithms, Tools and Applications, held at Maynooth University, Ireland on September 4 2018.
Scope
The theory, implementation, integration or application of formal methods in a broad sense.
Symposium Co-Chairs
Erika Abraham (RWTH Aachen University, Germany), chair
S. Lizeth Tapia Tarifa (University of Oslo, Norway), chair
Program Committee
Nils Jansen (Radboud University)
Richard Bubel (TU Darmstadt)
José Proença (HASLab - INESC TEC/University of Minho)
Marie Farrell (National University of Ireland Maynooth)
Luigia Petre (Åbo Akademi University)
Zoltán Horváth (Eötvös Loránd University)
Proceedings
Follow this link for the PhD-iFM 2018 proceedings.
Provisional Schedule for PhD-iFM and iFM, Tuesday, 4 September
08:00 - 09:00 Registration
Session 1
09:00 - 10:00 Joint session with FMICS / Invited speaker FMICS
Invited Speaker: Susanne Graf, Director of Research at VERIMAG Grenoble, France.
Building correct Cyber‐Physical Systems --- can we improve current practice?
10:00 - 10:30 Coffee break
Session 2
10:30 - 10:35 Opening and welcome
10:35 - 11:00 Faustin Ahishakiye and Felix Dino Lange. Non-intrusive MC/DC Measurement based on Traces
11:00 - 11:25 Fauzia Ehsan and Marieke Huisman. A Compositional Abstraction Technique for Automated Verification of Concurrent Programs
11:25 - 11:50 Eduard Kamburjan and Tzu-Chun Chen. Stateful Behavioral Types for Active Objects
11:50 - 12:15 Stefan Schupp and Erika Abraham. The HyDRA Tool – A Playground for the Development of Hybrid Systems Reachability Analysis Methods
12:15 - 13:30 Lunch
Session 3
13:30 - 14:30 Parallel session with FMICS / Invited speaker PhD-iFM
Invited Speaker:
Dr. Grant Olney Passmore.
- Co-Founder and Co-CEO, Aesthetic Integration, London
- Life Member, Clare Hall, University of Cambridge
- Honorary Associate, LABORES - Laboratoire de Recherche Scientifique, Paris
Title: Formal Verification of Financial Algorithms with Imandra
14:30 - 14:55 Rui Wang. Model-based Testing of the Single-decree Paxos protocol with the Colour Petri Nets
14:55 - 15:20 Jannik Dunkelau. Machine Learning and AI Techniques for Automated Tool Selection for Formal Methods
15:20 - 15:45 Individual mentoring session
15:45 - 16:15 Coffee break
Session 4
16:15 - 16:40 Einar Broch Johnsen, Martin Steffen, Johanna Beate Stumpf and Lars Tveito. Resource-Aware Virtually Timed Ambients
16:40 - 17:05 Francesco Leofante, Erika Abraham and Armando Tacchella. Task Planning with OMT: an Application to Production Logistics
17:05 - 17:30 Jagadeeswaran Thangaraj and Senthilkumaran Ulaganathan. A Formal Framework to Unified Metamodel for Consistent Transformation
17:30 - 17:45 Best presentation award
Invited Presentation
Dr. Grant Olney Passmore.
- Co-Founder and Co-CEO, Aesthetic Integration, London
- Life Member, Clare Hall, University of Cambridge
- Honorary Associate, LABORES - Laboratoire de Recherche Scientifique, Paris
Title: Formal Verification of Financial Algorithms with Imandra
Abstract:
Many deep issues plaguing today's financial markets are symptoms of a fundamental problem: The complexity of algorithms underlying modern finance has significantly outpaced the power of traditional tools used to design and regulate them. At Aesthetic Integration, we've pioneered the use of formal verification for analysing the safety and fairness of financial algorithms. With a focus on financial infrastructure (e.g., the matching logics of exchanges and dark pools), we'll describe the landscape, and illustrate our Imandra formal verification system on a number of real-world examples. We'll sketch many open problems and future directions along the way.
P.S. Imandra is available for use in the cloud (http://try.imandra.ai
<http://try.imandra.ai/>) and is by no means limited to financial
algorithms (for example, Imandra is now being used for the design and regulation of autonomous vehicle controllers and RobotOS nodes!). Bring your laptop if you want to experiment with Imandra and the systems we'll discuss during the talk.
Important Dates
Paper submission: June 22, 2018
Author notification: July 15, 2018
Who can submit?
PhD students and young researchers at an early career stage (up to 2 years after PhD completion).
Why to submit?
Participants will have the possibility to give short presentations about their research projects. Furthermore, we are happy to announce an invited talk by Dr. Grant Passmore, Co-Founder and Co-CEO, Aesthetic Integration, London.
- The doctoral symposium offers an excellent opportunity to present your work 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.
- The best paper/presentation will be awarded.
- The selected contributions will be published as a technical report of the University of Oslo, Norway.
What to submit?
You are welcome to submit an extended abstract of 1-3 pages, describing your research project which you would like to present. Co-authors are allowed. The results may have been accepted or even published elsewhere. If you are author of an accepted iFM'18 publication, it is sufficient to submit the title, authors and abstract of that paper.
Multiple submissions by one author are not permitted. Submissions should be written in English and follow the EasyChair formatting guidelines, available at
http://www.easychair.org/publications/for_authors
Please submit your abstract electronically in pdf via the EasyChair page
https://easychair.org/conferences/?conf=phdifm18
The submitted abstracts will undergo a lightweight reviewing process. A symposium proceedings containing the accepted abstracts will be available as a technical report of the University of Oslo.