Registered user since Mon 14 Dec 2015

Name: David Baelde

Country: France

Affiliation: LSV, ENS Cachan

Personal website: http://lsv.fr/~baelde

Research interests: Logic, Security, Proof Theory

POPL 2017 Activities

• Publicity Chair in Organizing Committee for POPL 2017
• Show activities from other conferences