STAF 2023 (series) / TAP 2023 (series) /
TAP 2023 Program
This is the TAP 2023 program - see the full program for STAF 2023 and all affiliated events.
Filter Program
Dates
Rooms
Tracks
Badges
Your Program
Tue 18 JulDisplayed time zone: London change
Tue 18 Jul
Displayed time zone: London change
10:30 - 11:00 | |||
10:30 30mCoffee break | Coffee Break STAF Social |
11:00 - 12:30 | STAF Keynote / TAP Session 1STAF Keynotes / Research Papers / ECMFA / ICGT Research Papers at Oak Chair(s): Cristina Seceleanu Mälardalen University Remote Participants: Zoom Link, YouTube Livestream | ||
11:00 15mDay opening | TAP Conference Opening Research Papers | ||
11:15 75mKeynote | Symbolic, Statistical and Randomized Engines in UPPAAL STAF Keynotes Kim Larsen Aalborg University |
12:30 - 13:30 | |||
12:30 60mLunch | Lunch STAF Social |
13:30 - 15:00 | TAP Session 2: Low-level code verificationResearch Papers at Oak Chair(s): Julien Signoles Université Paris-Saclay, CEA, List Remote Participants: Zoom Link | ||
13:30 30mTalk | BIRD: A Binary Intermediate Representation for formally verified Decompilation of x86-64 binaries Research Papers P: Daniel Engel Open University Of The Netherlands, Freek Verbeek Open University of the Netherlands, The Netherlands, Binoy Ravindran Virginia Tech DOI Pre-print File Attached | ||
14:00 30mTalk | Low-level Reachability Analysis based on Formal Logic Research Papers P: Nico Naus Virginia Tech, Freek Verbeek Open University of the Netherlands, The Netherlands, Marc Schoolderman Radboud University Nijmegen, Binoy Ravindran Virginia Tech DOI Pre-print | ||
14:30 30mTalk | Testing a Formally Verified Compiler Research Papers P: David Monniaux CNRS/VERIMAG, Léo Gourdin Université Grenoble Alpes, Verimag, Sylvain Boulmé Grenoble Alps University / CNRS / Grenoble INP / VERIMAG, Olivier Lebeltel Université Grenoble Alpes, CNRS, Verimag DOI Pre-print |
15:00 - 15:30 | |||
15:00 30mCoffee break | Coffee Break STAF Social |
15:30 - 16:30 | TAP Session 3: Formal ModelsResearch Papers at Oak Chair(s): Catherine Dubois ENSIIE Paris-Evry Remote Participants: Zoom Link | ||
15:30 30mTalk | Certified Logic-Based Explainable AI -- The Case of Monotonic Classifiers Research Papers DOI File Attached | ||
16:00 30mTalk | Context Specification Language for Formal Verification of Consent Properties on Models and Code Research Papers P: Myriam Clouet Université Paris-Saclay, CEA, List, Thibaud Antignac CNIL (Commission nationale de l’informatique et des libertés), Mathilde Arnaud Université Paris-Saclay, CEA, List, Julien Signoles Université Paris-Saclay, CEA, List DOI File Attached |
18:00 - 19:00 | |||
18:00 60mSocial Event | Welcome Reception STAF Social |
Wed 19 JulDisplayed time zone: London change
Wed 19 Jul
Displayed time zone: London change
09:00 - 10:15 | STAF Keynote / ICGT Session 1STAF Keynotes / Research Papers / ECMFA / ICGT Research Papers at Oak Chair(s): Maribel Fernandez King's College London Remote Participants: Zoom Link, YouTube Livestream | ||
09:00 15mDay opening | ICGT Conference Opening ICGT Research Papers File Attached | ||
09:15 60mKeynote | Syntactic trinitarianism: terms, graphs, diagrams STAF Keynotes Dan Ghica Huawei Research and University of Birmingham Pre-print |
10:30 - 11:00 | |||
10:30 30mCoffee break | Coffee Break STAF Social |
11:15 - 12:45 | TAP Session 4: Model-based test generationResearch Papers at Willow Chair(s): Nico Naus Virginia Tech Remote Participants: Zoom Link | ||
11:15 30mTalk | Symbolic Observation Graph-Based Generation of Test Paths Research Papers P: Kais Klai Universit Paris 13, Mohamed Taha Bennani Universty of Tunis El Manar, Jaime Arias CNRS; LIPN; Université Sorbonne Paris Nord, Jörg Desel Fernuniversität in Hagen, Hanen Ochi EFREI DOI File Attached | ||
11:45 30mTalk | Testing Languages with a Languages-as-databases ApproachTAP Best Paper Research Papers DOI | ||
12:15 30mTalk | Proving Properties of Operation Contracts with Test Scenarios Research Papers DOI |
12:30 - 13:30 | |||
12:30 60mLunch | Lunch STAF Social |
13:45 - 15:15 | TAP Session 5: KeynoteSTAF Keynotes at Willow Chair(s): Virgile Prevosto CEA Tech List Remote Participants: Zoom Link | ||
13:45 90mKeynote | KeY: A Verification Platform For Java STAF Keynotes Mattias Ulbrich KIT |
15:00 - 15:30 | |||
15:00 30mCoffee break | Coffee Break STAF Social |
15:45 - 16:45 | TAP Session 6: Abstraction and RefinementResearch Papers at Willow Chair(s): Matteo Cimini University of Massachusetts Lowell Remote Participants: Zoom Link | ||
15:45 30mTalk | Abstract Interpretation of Recursive Logic Definitions for Efficient Runtime Assertion CheckingTAP Best Paper Research Papers P: Thibaut Benjamin Université Paris-Saclay, CEA, List, Julien Signoles Université Paris-Saclay, CEA, List DOI | ||
16:15 30mTalk | Slow Down, Move Over: A Case Study in Formal Verification, Refinement, and Testing of the Responsibility-Sensitive Safety Model for Self-Driving Cars Research Papers DOI |
17:15 - 22:30 | STAF Excursion & BanquetSTAF Social | ||
17:15 1h45mSocial Event | Excursion to St Mary de Castro STAF Social | ||
19:00 3h30mDinner | Banquet at Bistrot Pierre STAF Social |
Thu 20 JulDisplayed time zone: London change
Thu 20 Jul
Displayed time zone: London change
10:30 - 11:00 | |||
10:30 30mCoffee break | Coffee Break STAF Social |
12:30 - 13:30 | |||
12:30 60mLunch | Lunch STAF Social |
15:00 - 15:30 | |||
15:00 30mCoffee break | Coffee Break STAF Social |
Fri 21 JulDisplayed time zone: London change
Fri 21 Jul
Displayed time zone: London change
09:00 - 10:30 | STAF Keynote / ECMFA Session 5STAF Keynotes / Research Papers / ECMFA / ICGT Research Papers at Oak Chair(s): Steffen Zschaler King's College London Remote Participants: Zoom Link, YouTube Livestream | ||
09:00 90mKeynote | How I lost my faith (in language technology research)? There and back again. STAF Keynotes Andrzej Wąsowski IT University of Copenhagen, Denmark |
10:30 - 11:00 | |||
10:30 30mCoffee break | Coffee Break STAF Social |
12:30 - 13:30 | |||
12:30 60mLunch | Lunch STAF Social |
15:00 - 15:30 | |||
15:00 30mCoffee break | Coffee Break STAF Social |