BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//CERN//INDICO//EN
BEGIN:VEVENT
SUMMARY:Summer school "Proof assistants and applications"
DTSTART:20260831T070000Z
DTEND:20260904T175000Z
DTSTAMP:20260615T010000Z
UID:indico-event-16687@indico.math.cnrs.fr
CONTACT:summerschool2026@math.unistra.fr
DESCRIPTION:This summer school offers an introduction to proof assistants 
 for mathematics and its applications in programme certifications. It cover
 s several recent techniques\, such as homotopy theory or the interactions 
 with large language models.\nThe summer school is composed of five lecture
 s and three talks. Each lecture (2x1h30) will be complemented by 2 hours o
 f tutorials. It is primarily intended for the students of the graduate pro
 gram "Mathematics and interactions: research and interactions" of the Uni
 versity of Strasbourg but is also accessible to any interested PhD student
  or researcher. As space is limited\, priority will be given to PhD studen
 ts. This event is supported by the Interdisciplinary Thematic Institute I
 RMIA++. \nIt will take place from 31 August to 4 September 2026 in the IR
 MA conference room at the University of Strasbourg.   \n\nLectures \nIn
 troduction to type theory\, Loïc Pujet (Université de Strasbourg) \nAb
 stract\nIntroduction to categorical logic\, Thibaut Benjamin (Université
  Paris-Saclay) \nAbstract\nSynthetic Homotopy Theory\, Axel Ljungström (
 University of Nottingham) \nAbstract\nTitle\, Lecturer () \nAbstract\n
 Title\, Lecturer () \nAbstract\nTalk \nTitle\, Speaker () \nTitle\,
  Speaker () \n\nhttps://indico.math.cnrs.fr/event/16687/
IMAGE;VALUE=URI:https://indico.math.cnrs.fr/event/16687/logo-2529263734.pn
 g
URL:https://indico.math.cnrs.fr/event/16687/
END:VEVENT
END:VCALENDAR