ETAPS 2019 (series) / BEHAPI 2019 (series) / Workshop on Behavioural APIs /
Binary Session Types in Coq
Sat 6 Apr 2019 11:20 - 11:40 at S4 (BEHAPI) - Mechanising Proofs of Behavioural Types for APIs Chair(s): Luca Padovani
I am a Lecturer (Assistant Professor) at the School of Computing Science, University of Glasgow, UK.
I obtained my PhD in Computer Science in May 2014 from University of Bologna, Italy, under the supervision of Davide Sangiorgi. My PhD thesis Type Systems for Distributed Programs: Components and Sessions won the prize for the Best Italian PhD Thesis in Theoretical Computer Science 2015, awarded by the Italian Chapter of EATCS.
I obtained my BSc in 2008 and my MSc in 2010 in Computer Science, both summa cum laude, from Sapienza University of Rome, Italy.
Sat 6 AprDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Sat 6 Apr
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
11:00 - 12:00 | Mechanising Proofs of Behavioural Types for APIsBEHAPI at S4 (BEHAPI) Chair(s): Luca Padovani University of Turin | ||
11:00 20mTalk | Proving properties about Linear Pi in Coq BEHAPI António Ravara NOVA University of Lisbon and NOVA LINCS, Marco Giunti NOVA-LINCS, FCT NOVA / Universidade Nova de Lisboa | ||
11:20 20mTalk | Binary Session Types in Coq BEHAPI Ornela Dardha University of Glasgow | ||
11:40 20mTalk | Mechanise your proofs in Coq: From zero to cut-admissibility in less than three months. BEHAPI Marco Carbone IT University of Copenhagen | ||
