Section: Highlights of the Year
Highlights of the Year
D. Miller gave invited talks at the following two regularly held international meetings.

TYPES 2016: 22nd International Conference on Types for Proofs and Programs (Novi Sad, Serbia, 2326 May 2016) and

Linearity 2016: 4th International Workshop on Linearity (Porto, 25 June 2016).
D. Miller gave invited talks at the following research oriented meetings.

Workshop on linear logic, mathematics and computer science as part of “LL2016Linear Logic: interaction, proofs and computation”, 710 November 2016, Lyon. France.

Research seminar titled “Interactions between logic, computer science and linguistics: history and philosophy”, Université de Lille 3, 15 June 2016.

CIPPMI (Current issues in the philosophy of practice of mathematics and informatics) Workshop on Proofs, justifications and certificates. 34 June 2016, Toulouse, France.
A seminar in honor of the 60th birthday of Professor Miller was held on 1516 December at Université Paris DiderotParis 7 in Paris, France. Several members of the team contributed talks and original research papers.

Tomer Libal and Marco Volpe, A general proof certification framework for modal logic.

Roberto Blanco and Zakaria Chihani, An interactive assistant for the definition of proof certificates. Preprint available as [36].

Lutz Straßburger, Combinatorial flows as proof certificates with builtin proof compression.
B. Accattoli gave an invited talk at the following regularly held international meeting.

WPTE 2016: 3rd International Workshop on Rewriting Techniques for Program Transformations and Evaluation (Porto, 23 June 2016).
S. GrahamLengrand gave an invited talk at the following international conference.