Cezary Kaliszyk
Cezary Kaliszyk
Affiliation: University of Melbourne
Affiliation: University of Innsbruck
Affiliation: University of Melbourne, Australia
Pages in this Program
Polymorphism Meets Dependently Typed Higher-Order Logic
Agent Hunt: Bounty Based Collaborative Autoformalization With LLM Agents
Presentation of the Bill McCune PhD Award
Designed and Developed by EventKey | Copyright 2026 EventKey Last updated:
🔍 ↑