Workshop on Specifying Proof Systems and Computations
All talks are either in the bocal or prefa seminar rooms at LIX.
Tuesday, 3 July 2012
14h Vivek Nigam. Authorization logic and complexity.
Wednesday, 4 July 2012
14h Giselle Ries. The TATU web tool for computing on proof system specifications
Thursday, 5 July 2012
Friday, 6 July 2012