Proof Society 2025

Speaker

Raheleh Jalali

University of Bath

Talks at this conference:

 Tue, 16:00 Introduction to bounded arithmetic
Tutorial
 Wed, 11:30 Introduction to bounded arithmetic
Tutorial
 Wed, 16:00 Introduction to bounded arithmetic
Tutorial
 Fri, 10:50 Correctness of the AKS primality algorithm in bounded arithmetic
Contributed

 Overview  Program