ACAT 2021

Name: ACAT 2021
Start: 2021-11-29T08:30:00+09:00
End: 2021-12-03T19:30:00+09:00
Location: Virtual and IBS Science Culture Center, Daejeon, South Korea

November 29, 2021 to December 3, 2021

Virtual and IBS Science Culture Center, Daejeon, South Korea

Asia/Seoul timezone

Overview
Scientific Program
Timetable
Proceedings
Plenary speakers
Contribution List
Author List
Registration
List of Participants
Instructions for Participants
Poster Sessions
Travel
- Entry to Korea: Visa and Quarantine Exemption
- Accommodation
Contact
ACAT History
ACAT Organization
ACAT Poster, Logo & Background
Bulletin 1
Bulletin 2
Bulletin 3
Bulletin 4
ACAT Record of Processing Operations
ACAT Workshop Code of Conduct

ACAT 2021

acat-loc2021@cern.ch
acat-spc2021@cern.ch

Verifying Mathematical Proofs with Computers

contribution ID 790

Nov 29, 2021, 4:20 PM

30m

Auditorium (Virtual and IBS Science Culture Center, Daejeon, South Korea)

Auditorium

Virtual and IBS Science Culture Center, Daejeon, South Korea

55 EXPO-ro Yuseong-gu Daejeon, South Korea email: library@ibs.re.kr +82 42 878 8299

Plenary

Kevin Buzzard (Imperial College London)

Recording

talk_KevinBuzzard_ACAT2021.pdf

ACAT 2021

ACAT 2021

Verifying Mathematical Proofs with Computers

Auditorium

Virtual and IBS Science Culture Center, Daejeon, South Korea

Speaker

Presentation materials

Choose timezone

ACAT 2021

ACAT 2021

Speaker

Presentation materials