BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Memento EPFL//
BEGIN:VEVENT
SUMMARY:Set-Theoretic Foundations for Horn Clause Driven Verification
DTSTART:20230707T140000
DTEND:20230707T160000
DTSTAMP:20260407T091256Z
UID:d70aa217d4ef881ee21199a4d205289387f94aec90facaaee69b7c49
CATEGORIES:Conferences - Seminars
DESCRIPTION:Sankalp Gambhir\nEDIC candidacy exam\nExam president: Prof. Cl
 ément Pit-Claudel\nThesis advisor: Prof. Viktor Kuncak\nCo-examiner: Prof
 . Christoph Koch\n\nAbstract\ncoming soon\n\nBackground papers\n\n	Werner\
 , Benjamin. "Sets in types\, types in sets." Theoretical Aspects of Comput
 er Software: Third International Symposium\, TACS'97 Sendai\,  Japan\, Se
 ptember 23–26\, 1997 Proceedings 3. Springer Berlin Heidelberg\, 1997. 
 \n	URL: https://link.springer.com/chapter/10.1007/BFb0014566\n	Bjørner\, 
 Nikolaj\, et al. "Horn clause solvers for program verification." Fields of
  Logic and Computation II: Essays Dedicated to Yuri Gurevich on the Occasi
 on of His 75th Birthday. Cham: Springer International Publishing\, 2015. 2
 4-51.\n	URL: https://link.springer.com/chapter/10.1007/978-3-319-23534-9_2
 \n	Moura\, Leonardo de\, and Sebastian Ullrich. "The Lean 4 theorem prover
  and programming language." Automated Deduction–CADE 28: 28th Internatio
 nal Conference on Automated Deduction\, Virtual Event\, July 12–15\, 202
 1\, Proceedings 28. Springer International Publishing\, 2021.URL: https://
 link.springer.com/chapter/10.1007/978-3-030-79876-5_37\n
LOCATION:BC 329 https://plan.epfl.ch/?room==BC%20329
STATUS:CONFIRMED
END:VEVENT
END:VCALENDAR