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.
Internships
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
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.