AITP 2022: AI and Theorem Proving in Aussois
In September 2022, I attended the 7th Conference on Artificial Intelligence and Theorem Proving (AITP 2022) in Aussois, France. I contributed an extended abstract and gave a talk on our work explor...
Chencheng Liang
PAAR and the SAT/SMT/AR/CP Summer School at FLoC 2022
In August 2022, I travelled to Haifa, Israel, to take part in the 8th Workshop on Practical Aspects of Automated Reasoning (PAAR 2022) and the SAT/SMT/AR/CP Summer School 2022. The two events were ...
Presenting at the 13th Alpine Verification Meeting (AVM'19)
In September 2019, I attended the 13th Alpine Verification Meeting (AVM’19) in Brno, Czechia. The meeting took place from September 9–11, 2019, and was jointly organized by the Faculty of Informati...
My First PhD Summer School: SAT/SMT/AR 2019 in Lisbon
In July 2019, I attended the SAT/SMT/AR Summer School 2019 in Lisbon, Portugal. It was the first summer school I attended during my PhD, which made the experience especially memorable. Beyond four ...