Universiteit van Amsterdam

Events

Institute for Logic, Language and Computation

Please note that this newsitem has been archived, and may contain outdated information or links.

18 - 22 June 2018, Conference "From the Fundamental Lemma to Discrete Geometry, to Formal Verification" (60th birthday of Thomas Hales), Pittsburgh PA, U.S.A.

Date: 18 - 22 June 2018
Location: Pittsburgh PA, U.S.A.

The conference, held in honor of Thomas C. Hales on the occasion of his 60th birthday, will feature talks on representation theory, discrete geometry, and formal verification, with 1.5 days dedicated to each of these topics and with broadly accessible public lectures at the interfaces.

Please note that this newsitem has been archived, and may contain outdated information or links.