Cezary Kaliszyk -

Registered user since Thu 22 Sep 2016

Name:Cezary Kaliszyk

Country:Australia

Affiliation:University of Melbourne

Personal website: https://ckaliszyk.github.io/

Contributions

2026

GPCE

Committee Member in Program Committee within the GPCE 2026-track

FM

Keynote Speaker of AIPV Keynote: Autoformalization Across Proof Assistants: Languages, Proof Styles, and Automation within the Workshop: AIPV-track

2025

CoqPL

Author of Towards Mining Robust Coq Proof Patterns within the CoqPL 2025-track

CPP

PC Member in Program Committee within the CPP 2025-track

2024

CPP

Author of Improved Assistance for Interactive Proof within the CPP 2024-track

2023

CPP

Keynote Speaker of Improved Assistance for Interactive Proof within the CPP 2023-track

2022

CPP

Committee Member in Program Committee within the CPP 2022-track

2020

CPP

Author of Exploration of Neural Machine Translation in Autoformalization of Mathematics in Mizar within the CPP 2020-track

2018

CPP

Author of Formal Microeconomic Foundations and the First Welfare Theorem within the CPP 2018-track

CoqPL

Author of CoqHammer: Strong Automation for Program Verification within the -track

2017

CPP

Committee Member in Program Committee within the CPP-track

2016

CPP

Author of Mizar Environment for Isabelle within the CPP-track