Overall Objectives
Research Program
Application Domains
Highlights of the Year
New Software and Platforms
New Results
Partnerships and Cooperations
XML PDF e-pub
PDF e-Pub

Section: Partnerships and Cooperations

International Research Visitors

Visits of International Scientists

Professor Chuck Liang (from Hofstra University, NY, USA) visited the team from 5 June to 25 June 2016 in order to continue his collaborations with team members on basic questions of proof theory. In particular, he worked with Miller on identifying possible means to allow classical and intuitionistic logic to be mixed in a common proof system. Miller is exploring how the resulting ideas might be able to reorganize the notion of kernel logic used within the ProofCert project.


Ameni Chtourou was an intern funded by ProofCert during May, June, and July 2016. She was advised by Accattoli and worked with using the Abella theorem prover to formalize connections various connections between λ-term evaluation and abstract machine models.

Visits to International Teams

Research Stays Abroad

Stéphane Graham-Lengrand spent 8 months, from January 2016 to August 2016, at SRI International, Computer Science Lab. This visit developed a collaboration with N. Shankar, MP Bonacina, D. Jovanovic, and Martin Schaeff on new algorithms and new architectures for automated and interactive theorem proving, as well as on new programme verification techniques.