FOMLAS PROGRAM
Days: Sunday, July 31st Monday, August 1st
Sunday, July 31st
View this program: with abstractssession overviewtalk overviewside by side with other conferences
08:30-09:00Coffee & Refreshments
09:00-10:30 Session 1D
FoMLAS Session 1
Chair:
Location: Ullmann 201
| 09:00 | Why Robust Natural Language Understanding is a Challenge (abstract)   PRESENTER: Marco Casadio |
| 09:30 | An Abstraction-Refinement Approach to Verifying Convolutional Neural Networks (abstract) PRESENTER: Matan Ostrovsky |
| 10:00 | Neural Networks in Imandra: Matrix Representation as a Verification Choice (abstract) PRESENTER: Remi Desmartin |
10:30-11:00Coffee Break
11:00-12:30 Session 10E
FoMLAS Session 2
Chair:
Location: Ullmann 201
| 11:00 | Tight Neural Network Verification via Semidefinite Relaxations and Linear Reformulations (abstract) PRESENTER: Jianglin Lan |
| 11:30 | A Cascade of Checkers for Run-time Certification of Local Robustness (abstract)  PRESENTER: Ravi Mangal |
| 12:00 | RoMA: a Method for Neural Network Robustness Measurement and Assessment (abstract) PRESENTER: Natan Levy |
12:30-14:00Lunch Break
Lunches will be held in Taub hall and in The Grand Water Research Institute.
14:00-15:30 Session 14F
FoMLAS Session 3
Chair:
Location: Ullmann 201
| 14:00 | VNN-COMP 2022 (abstract) PRESENTER: Mark Müller |
15:30-16:00Coffee Break
16:00-17:00 Session 19D
FoMLAS Session 4
Chair:
Location: Ullmann 201
| 16:00 | Counter-Example Guided Neural Network Compression Refinement (CEG4N) (abstract)  PRESENTER: João Batista Pereira Matos Júnior |
| 16:30 | Goal-Aware RSS for Complex Scenarios via Program Logic (abstract) |
Monday, August 1st
View this program: with abstractssession overviewtalk overviewside by side with other conferences
08:30-09:00Coffee & Refreshments
09:00-10:30 Session 26A
FoMLAS Session 5
Chair:
Location: Ullmann 201
| 09:00 | Scalable Verification of GNN-based Job Schedulers (abstract) PRESENTER: Haoze Wu |
| 09:30 | VPN: Verification of Poisoning in Neural Networks (abstract) PRESENTER: Youcheng Sun |
| 10:00 | Verification-Aided Deep Ensemble Selection (abstract) PRESENTER: Guy Amir |
10:30-11:00Coffee Break
11:00-12:30 Session 31A
FoMLAS Session 6
Chair:
Location: Ullmann 201
| 11:00 | Formal Specification for Learning-Enabled Autonomous Systems (Extended Abstract) (abstract) PRESENTER: Doron Peled |
| 11:30 | Vehicle: A High-Level Language for Embedding Logical Specifications in Neural Networks (abstract) PRESENTER: Luca Arnaboldi |
| 12:00 | Differentiable Logics for Neural Network Verification (abstract) PRESENTER: Natalia Ślusarz |
12:30-14:00Lunch Break
Lunches will be held in Taub hall and in The Grand Water Research Institute.
14:00-15:30 Session 34B
FoMLAS Session 7
Chair:
Location: Ullmann 201
| 14:00 | Neural Network Verification with Proof Production (abstract) PRESENTER: Omri Isac |
| 14:30 | Efficient Neural Network Verification using Branch and Bound (abstract) |
15:30-16:00Coffee Break
16:00-17:00 Session 37B
FoMLAS Session 8
Chair:
Location: Ullmann 201
| 16:00 | Minimal Multi-Layer Modifications of Deep Neural Networks (abstract) PRESENTER: Idan Refaeli |
| 16:30 | Self-Correcting Neural Networks For Safe Classification (abstract) PRESENTER: Ravi Mangal |
18:00-19:00 Session 42: A session to honor 100 years since the birth of the late Boris (Boaz) Trakhtenbrot
Chair:
Location: Taub 1
18:30-20:00Workshop Dinner (at the Technion, Taub Terrace Floor 2) - Paid event