Tutorial
Research Paper
Invited Talk

Times are depicted in China Standard Time (CST)

  Time  Title
Day 3
Monday 22nd - Tuesday 23rd November 2021
Session 4: 22:00 - 23:00 Speaker: Clark Barrett, joint with memocode

Title: Domain-Specific Reasoning with Satisfiability Modulo Theories

Day 4
Tuesday 23rd - Wednesday 24th November 2021
Session 1: 16:00 - 17:30 Speaker: Paula Herber

Title: Combine Forces - How to Formally Verify Informally Defined Embedded Systems

Day 6
Thursday 25th - Friday 26th November 2021
Session 1: 16:00 - 17:30 Speaker: Assia Mahboubi

Title: Formal verification of computational mathematics

Day 7
Friday 26th - Saturday 27th November 2021
Session 4: 22:00 - 23:00 Speaker: Mingsheng Ying

Invited Talk: Model Checking for Verification of Quantum Circuits