Workshop on Specifying Proof Systems and Computations
All talks are either in the bocal or prefa seminar rooms at LIX.
Tuesday, 3 July 2012
10h Kaustuv Chaudhuri. MLL with 2 subexponentials is undecidable.
14h Vivek Nigam. Authorization logic and complexity.
14h Vivek Nigam. Authorization logic and complexity.
Wednesday, 4 July 2012
10h Elaine Pimentel. Specifying proof systems in SELLF
14h Giselle Ries. The TATU web tool for computing on proof system specifications
14h Giselle Ries. The TATU web tool for computing on proof system specifications
Thursday, 5 July 2012
10h Beniamino Accattoli. On the invariance of the unitary cost model for head reduction.
14h Stefan Hetzl.
Friday, 6 July 2012
10h Zakaria Chihani and Dale Miller. Starting ProofCert with a checker and some formats
