LFMTP 2021 on Friday, July 16th: Talk View

LFMTP 2021 ON FRIDAY, JULY 16TH: TALK VIEW

View: with abstracts session overview side by side with other conferences

8:00

8:30

9:00

9:30

10:00

10:30

11:00

11:30

12:00

12:30

13:00

13:30

14:00

14:30

15:00

15:30

16:00

08:00-09:00

Facilitating Meta-Theory Reasoning

Giselle Reis

09:00-10:00

SMLtoCoq: Automated Generation of Coq Specifications and Proof Obligations from SML Programs with

Laila El-Beheiry, Giselle Reis, Ammar Karkour

09:00-10:00

Countability of Inductive Types Formalized in the Object-Logic Level

Qinxiang Cao, Xiwei Wu

10:30-12:00

Automating Induction by Reflection

Johannes Schoisswohl, Laura Kovacs

10:30-12:00

Interacting safely with an unsafe environment

Gilles Dowek

10:30-12:00

Foundations of the Squirrel meta-logic for reasoning over security protocols

David Baelde, Stephanie Delaune, Charlie Jacomme, Adrien Koutsos, Solène Moreau

12:30-13:30

The MetaCoq Project

Matthieu Sozeau

13:30-14:00

Translating Formalizations of Type Theories from Intrinsic to Extrinsic Style

Florian Rabe, Navid Roux

14:30-16:00

Adelfa: A System for Reasoning about LF Specifications

Mary Southern, Gopalan Nadathur

14:30-16:00

A logical framework with a graph meta-language

Bruno Cuconato, Jefferson de Barros Santos, Edward Hermann Haeusler

14:30-16:00

Towards a Semantic Framework for Policy Exchange in the Internet

Anduo Wang

10:00-10:30 Break

12:00-12:30 Break

14:00-14:30 Break