Set-Theoretic Foundations for Horn Clause Driven Verification
Event details
| Date | 07.07.2023 |
| Hour | 14:00 › 16:00 |
| Speaker | Sankalp Gambhir |
| Location | |
| Category | Conferences - Seminars |
EDIC candidacy exam
Exam president: Prof. Clément Pit-Claudel
Thesis advisor: Prof. Viktor Kuncak
Co-examiner: Prof. Christoph Koch
Abstract
coming soon
Background papers
Exam president: Prof. Clément Pit-Claudel
Thesis advisor: Prof. Viktor Kuncak
Co-examiner: Prof. Christoph Koch
Abstract
coming soon
Background papers
- Werner, Benjamin. "Sets in types, types in sets." Theoretical Aspects of Computer Software: Third International Symposium, TACS'97 Sendai, Japan, September 23–26, 1997 Proceedings 3. Springer Berlin Heidelberg, 1997.
URL: https://link.springer.com/chapter/10.1007/BFb0014566 - Bjørner, Nikolaj, et al. "Horn clause solvers for program verification." Fields of Logic and Computation II: Essays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthday. Cham: Springer International Publishing, 2015. 24-51.
URL: https://link.springer.com/chapter/10.1007/978-3-319-23534-9_2 - Moura, Leonardo de, and Sebastian Ullrich. "The Lean 4 theorem prover and programming language." Automated Deduction–CADE 28: 28th International Conference on Automated Deduction, Virtual Event, July 12–15, 2021, Proceedings 28. Springer International Publishing, 2021.URL: https://link.springer.com/chapter/10.1007/978-3-030-79876-5_37
Practical information
- General public
- Free