Seminar ‘Formal Verification of Neural Networks’ – Schedule

Chair for Logic and Verification

Detailed information on what needs to be submitted when can be found on the information page.

Presentations

All presentations will take place online in this BBB room.

Date & Time (CEST) Student Topic Advisor
Tue, 30 November 2021, 13:30–14:15 Calvin Chau Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks Mohammad Abdulaziz
Tue, 30 November 2021, 14:15–15:00 Lukas Koller Safe Exploration in Continuous Action Spaces Maximilian Schäffeler
Tue, 30 November 2021, 15:15–16:00 Tao Gu Strong mixed-integer programming formulations for trained neural networks Mohammad Abdulaziz
Tue, 30 November 2021, 16:00–16:45 Maximilian Vollath Probabilistic Safety for Bayesian Neural Networks Maximilian Schäffeler

Preliminaries

16 July 2021, 16:00: Kick-off Meeting
There will be a kick-off meeting in this BBB room. All students interested in participating should attend this meeting. Those who attended the meeting will be given preference during matching.
25 July 2021: Deadline for letter of motivation
Students must send in a letter of motivation. For more details, see the Application page.
26 July 2021: Matching
Students can submit their preferences for seminars until this date.
August 2021
Students will receive an email with further details, such as how to submit their preferences for topics, and will subsequently be matched to a topic.
Around November/December 2021

Calvin Chau

All the talks will be held on 30.11.2021, starting at 13:30 and finishing at 16:30.