Index of /user/avigad/Talks

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory   -  
[ ]stanford.pdf 2026-01-16 17:23 96K 
[ ]heidelberg.pdf 2026-01-16 17:23 140K 
[ ]simplicity.pdf 2026-01-16 17:23 79K 
[ ]pitt.pdf 2026-01-16 17:23 132K 
[ ]ioannina.pdf 2026-01-16 17:23 261K 
[ ]manchester.pdf 2026-01-16 17:23 199K 
[ ]verification.pdf 2026-01-16 17:23 71K 
[ ]decision_procedures.pdf2026-01-16 17:23 94K 
[ ]forcing_talk2.pdf 2026-01-16 17:23 116K 
[ ]inverting2.pdf 2026-01-16 17:23 125K 
[ ]interpreting.pdf 2026-01-16 17:23 88K 
[ ]realizability.pdf 2026-01-16 17:23 57K 
[ ]semantic.pdf 2026-01-16 17:23 128K 
[ ]survey1.pdf 2026-01-16 17:23 107K 
[ ]tautologies.pdf 2026-01-16 17:23 72K 
[ ]leiden.pdf 2026-01-16 17:23 130K 
[ ]sheaves.pdf 2026-01-16 17:23 87K 
[ ]type_inference.pdf 2026-01-16 17:23 156K 
[ ]paris.pdf 2026-01-16 17:23 96K 
[ ]baltimore.pdf 2026-01-16 17:23 225K 
[ ]icerm.pdf 2026-01-16 17:23 130K 
[ ]paris_functions.pdf 2026-01-16 17:23 164K 
[ ]london.pdf 2026-01-16 17:23 281K 
[ ]herbrand2.pdf 2026-01-16 17:23 93K 
[ ]clarke.pdf 2026-01-16 17:23 47K 
[ ]ud_talk.pdf 2026-01-16 17:23 135K 
[ ]illinois_understandi..>2026-01-16 17:23 230K 
[ ]munich_dirichlet.pdf 2026-01-16 17:23 211K 
[ ]nonstandard2.pdf 2026-01-16 17:23 94K 
[ ]ohio_convergence.pdf 2026-01-16 17:23 202K 
[ ]admissible.pdf 2026-01-16 17:23 107K 
[ ]australia1.pdf 2026-01-16 17:23 612K 
[ ]admissible2.pdf 2026-01-16 17:23 101K 
[ ]dagstuhl_2013.pdf 2026-01-16 17:23 132K 
[ ]birs.pdf 2026-01-16 17:23 156K 
[ ]wesley.pdf 2026-01-16 17:23 421K 
[ ]australia2.pdf 2026-01-16 17:23 120K 
[ ]definitions2.pdf 2026-01-16 17:23 78K 
[ ]australia3.pdf 2026-01-16 17:23 227K 
[ ]updatetalk.pdf 2026-01-16 17:23 116K 
[ ]princeton.pdf 2026-01-16 17:23 579K 
[ ]australia4.pdf 2026-01-16 17:23 186K 
[ ]polya.pdf 2026-01-16 17:23 202K 
[ ]forcing.pdf 2026-01-16 17:23 106K 
[ ]toulouse1.pdf 2026-01-16 17:23 127K 
[ ]vienna.pdf 2026-01-16 17:23 101K 
[ ]math_concepts.pdf 2026-01-16 17:23 248K 
[ ]brussels_dirichlet.pdf 2026-01-16 17:23 170K 
[ ]fields_type_theory.pdf 2026-01-16 17:23 221K 
[ ]fields_hott.pdf 2026-01-16 17:23 169K 
[ ]icerm_2016.pdf 2026-01-16 17:23 215K 
[ ]toulouse2.pdf 2026-01-16 17:23 169K 
[ ]distances.pdf 2026-01-16 17:23 88K 
[ ]asl04.pdf 2026-01-16 17:23 213K 
[ ]fields_hott_lean.pdf 2026-01-16 17:23 510K 
[ ]sweden.pdf 2026-01-16 17:23 122K 
[ ]newyork.pdf 2026-01-16 17:23 130K 
[ ]dagstuhl.pdf 2026-01-16 17:23 174K 
[TXT]steinhaus.htm 2026-01-16 17:23 1.1K 
[ ]toulouse3.pdf 2026-01-16 17:23 259K 
[ ]spain.pdf 2026-01-16 17:23 72K 
[ ]beijing.pdf 2026-01-16 17:23 142K 
[ ]toulouse4.pdf 2026-01-16 17:23 420K 
[ ]vig.pdf 2026-01-16 17:23 124K 
[ ]mit.pdf 2026-01-16 17:23 156K 
[ ]geometry.pdf 2026-01-16 17:23 476K 
[ ]dc.pdf 2026-01-16 17:23 112K 
[ ]toulouse5.pdf 2026-01-16 17:23 180K 
[ ]stanford_formal_meth..>2026-01-16 17:23 444K 
[ ]stanford_understandi..>2026-01-16 17:23 579K 
[ ]berkeley_modularity.pdf2026-01-16 17:23 184K 
[ ]lean_ini.pdf 2026-01-16 17:23 224K 
[ ]oxford_formal_method..>2026-01-16 17:23 287K 
[ ]sc_square.pdf 2026-01-16 17:23 236K 
[ ]san_diego.pdf 2026-01-16 17:23 376K 
[ ]calgary.pdf 2026-01-16 17:23 1.3M 
[ ]london_ergodic_theor..>2026-01-16 17:23 156K 
[ ]qpf.pdf 2026-01-16 17:23 175K 
[ ]mechanization_talk_o..>2026-01-16 17:23 1.2M 
[ ]mathematical_practic..>2026-01-16 17:23 54K 
[ ]mechanization_talk.pdf 2026-01-16 17:23 1.3M 
[ ]reliability_talk.pdf 2026-01-16 17:23 100K 
[ ]mechanization.pdf 2026-01-16 17:23 1.3M 
[ ]quarantine.pdf 2026-01-16 17:23 171K 
[ ]dirichlet.pdf 2026-01-16 17:23 358K 
[ ]prague.pdf 2026-01-16 17:23 196K 
[ ]perimeter_surveillan..>2026-01-16 17:23 184K 
[ ]education.pdf 2026-01-16 17:23 143K 
[ ]wuhan.pdf 2026-01-16 17:23 173K 
[ ]bohemian.pdf 2026-01-16 17:23 165K 
[ ]design.pdf 2026-01-16 17:23 200K 
[ ]hoskinson_inaugural.pdf2026-01-16 17:23 459K 
[ ]wkl_seminar.pdf 2026-01-16 17:23 187K 
[ ]topos.pdf 2026-01-16 17:23 513K 
[ ]fmtea.pdf 2026-01-16 17:23 229K 
[ ]stark_cpp.pdf 2026-01-16 17:23 187K 
[ ]fields_education.pdf 2026-01-16 17:23 175K 
[ ]loughborough.pdf 2026-01-16 17:23 170K 
[ ]ams_design.pdf 2026-01-16 17:23 204K 
[ ]understanding2022.pdf 2026-01-16 17:23 229K 
[ ]varieties_small.pdf 2026-01-16 17:23 3.9M 
[ ]varieties_talk.pdf 2026-01-16 17:23 4.0M 
[ ]varieties_talk_hando..>2026-01-16 17:23 4.0M 
[ ]digital_revolution2.pdf2026-01-16 17:23 5.1M 
[ ]mathematical_compone..>2026-01-16 17:23 702K 
[ ]proof_systems.pdf 2026-01-16 17:23 224K 
[ ]asl_promise.pdf 2026-01-16 17:23 1.5M 
[ ]loughborough2.pdf 2026-01-16 17:23 259K 
[ ]obsolete.pdf 2026-01-16 17:23 819K 
[ ]poland.pdf 2026-01-16 17:23 362K 
[ ]rutgers.pdf 2026-01-16 17:23 533K 
[ ]ai4math.pdf 2026-01-16 17:23 1.7M 
[ ]R2SR.pdf 2026-01-16 17:23 347K 
[ ]structures.pdf 2026-01-16 17:23 408K 
[ ]cbms.pdf 2026-01-16 17:23 105K 
[ ]pasadena.pdf 2026-01-16 17:23 739K 
[ ]CbmsDemo.lean 2026-01-16 17:23 1.3K 
[ ]him_stark.pdf 2026-01-16 17:23 414K 
[ ]kerala.pdf 2026-01-16 17:23 2.5M 
[ ]ijcar.pdf 2026-01-16 17:23 404K 
[ ]thedu.pdf 2026-01-16 17:23 215K 
[ ]lausanne.pdf 2026-01-16 17:23 238K 
[ ]karlsruhe.pdf 2026-01-16 17:23 2.8M 
[ ]ai4mathematicians.pdf 2026-01-16 17:23 110K 
[ ]proofsociety.pdf 2026-01-16 17:23 559K 
[ ]structures_old.pdf 2026-01-16 17:23 223K 
[ ]euclid.pdf 2026-01-16 17:23 3.9M 
[ ]dedekind.pdf 2026-01-16 17:23 512K 
[ ]PartialInstanceGraph..>2026-01-16 17:23 87K 
[ ]obsolete2.pdf 2026-01-16 17:23 3.1M 
[ ]lms-bcs.pdf 2026-01-16 17:23 10M 
[ ]ICARM_introduction.pdf 2026-01-16 17:23 1.9M 
[ ]rademacher1-intro.pdf 2026-01-16 17:23 4.4M 
[ ]ICARM_introduction_m..>2026-01-16 17:23 1.1M 
[ ]rademacher2-formaliz..>2026-01-16 17:23 4.4M 
[ ]rademacher3-automate..>2026-01-16 17:23 3.4M 
[ ]rademacher4-machine-..>2026-01-16 17:23 4.2M 
[ ]sledgehammer.pdf 2026-01-16 17:23 8.0M 
[ ]understanding2025.pdf 2026-01-16 17:23 115K 
[ ]worrying.pdf 2026-01-16 17:23 4.7M 
[DIR]helsinki/ 2026-01-16 17:23 -