BEHAPI 2019 Contributors -

Sat 6 - Thu 11 April 2019 Prague, Czech Republic

co-located with ETAPS 2019

Filter

Role Type

Contributing to

Number of Roles

Country

Results (17)

B Laura BocchiBocchi, Laura University of KentUnited Kingdom PC Member in Program Committee within the BEHAPI-track Committee Member in Organizing Committee within the BEHAPI-track
C Marco CarboneCarbone, Marco IT University of Copenhagen Mechanise your proofs in Coq: From zero to cut-admissibility in less than three months.
Caroline CaruanaCaruana, Caroline University of Malta BehAPI Practices
Guido ChariChari, Guido Czech Technical University, CzechiaCzechia A Virtual-Machine Metaobject Protocol for Run-Time Software Adaptation
D Ornela DardhaDardha, Ornela University of GlasgowUnited Kingdom Binary Session Types in Coq
Ugo de'Liguorode'Liguoro, Ugo Università di Torino Mailbox Types for Unordered Interactions
F Francisco FerreiraFerreira, Francisco Imperial College London Adventures in Formalising the Meta-Theory of Session Types
Adrian FrancalanzaFrancalanza, Adrian University of MaltaMalta Session Chair of BehAPI Business Meeting (part of BEHAPI) BehAPI Year 1 Review and Year 2 projections PC Chair in Program Committee within the BEHAPI-track Committee Member in Organizing Committee within the BEHAPI-track
G Marco GiuntiGiunti, Marco NOVA-LINCS, FCT NOVA / Universidade Nova de Lisboa Proving properties about Linear Pi in Coq
H Hans HüttelHüttel, Hans Department of Computer Science, Aalborg UniversityDenmark A Behavioural Type System for Mungo with Generics
K Wen KokkeKokke, Wen University of EdinburghUnited Kingdom Formalising session-typed languages without worries
M Francisco MartinsMartins, Francisco University of LisbonPortugal Hardware Interactions as Behavioural Types.
Hernan MelgrattiMelgratti, Hernan University of Buenos AiresArgentina PC Member in Program Committee within the BEHAPI-track Committee Member in Organizing Committee within the BEHAPI-track
P Luca PadovaniPadovani, Luca University of TurinItaly Session Chair of Mechanising Proofs of Behavioural Types for APIs (part of BEHAPI) Mailbox Types for Unordered Interactions PC Member in Program Committee within the BEHAPI-track Committee Member in Organizing Committee within the BEHAPI-track
R António RavaraRavara, António NOVA University of Lisbon and NOVA LINCSPortugal Session Chair of Mechanising Proofs for Behavioural Types and Processes (part of BEHAPI) Proving properties about Linear Pi in Coq PC Member in Program Committee within the BEHAPI-track Committee Member in Organizing Committee within the BEHAPI-track
S Ivan ScagnettoScagnetto, Ivan University of Udine A Theory of Contexts for Higher-Order Encodings of Process Algebras
T emilio tuostotuosto, emilio University of LeicesterUnited Kingdom Session Chair of Behavioural Types for API-based software (part of BEHAPI) PC Member in Program Committee within the BEHAPI-track Committee Member in Organizing Committee within the BEHAPI-track