BEAT 2019 Contributors -

Filter

Role Type

Contributing to

Number of Roles

Country

Results (40)

B Stephanie BalzerBalzer, Stephanie Carnegie Mellon University, USAUnited States Committee Member in Program Committee within the BEAT-track
Elias BenussiBenussi, Elias Imperial College London Effpi: Concurrent Programming with Dependent Behavioural Types
Laura BocchiBocchi, Laura University of KentUnited Kingdom Committee Member in Program Committee within the BEAT-track
Mario BravettiBravetti, Mario Università di BolognaItaly Getting Rid of Null-Dereferences – Behavioural Types to the Rescue
C Mauricio CanoCano, Mauricio Two Declarative Approaches for Session-Based Concurrency
Ilaria CastellaniCastellani, Ilaria INRIA Sophia Antipolis, FranceFrance Global Types with Internal Delegation
Tiago CogumbreiroCogumbreiro, Tiago University of Massachusetts BostonUnited States Hardware Interactions as Behavioural Types
D Ugo Dal LagoDal Lago, Ugo University of Bologna, Italy / Inria, FranceItaly Invited Talk: On Type-Based Complexity Analysis of Programs and Processes
Søren DeboisDebois, Søren IT University of Copenhagen Towards Legally Compliant Governmental Case Work with Dynamic Condition Response Graphs
Mariangiola DezaniDezani, Mariangiola Università di TorinoItaly Global Types with Internal Delegation
F Adrian FrancalanzaFrancalanza, Adrian University of MaltaMalta Session Chair of Session 4 (part of BEAT) Getting Rid of Null-Dereferences – Behavioural Types to the Rescue Committee Member in Program Committee within the BEAT-track
G Paola GianniniGiannini, Paola Universita' del Piemonte OrientaleItaly Session Chair of Session 3 (part of BEAT) Global Types with Internal Delegation Committee Member in Program Committee within the BEAT-track
H Thomas H. HildebrandtH. Hildebrandt, Thomas Towards Legally Compliant Governmental Case Work with Dynamic Condition Response Graphs
Jan HoffmannHoffmann, Jan Carnegie Mellon UniversityUnited States Invited Talk: Resource-Aware Session Types
Ross HorneHorne, Ross Computer Science and Communications Research Unit, University of Luxembourg Global Types with Internal Delegation
Hans HüttelHüttel, Hans Department of Computer Science, Aalborg UniversityDenmark Getting Rid of Null-Dereferences – Behavioural Types to the Rescue
I Atsushi IgarashiIgarashi, Atsushi Kyoto University, JapanJapan Gradual Session Types in Imperative Style
J Sung-Shik JongmansJongmans, Sung-Shik Open University of the Netherlands Committee Member in Program Committee within the BEAT-track
K Kaede KobayashiKobayashi, Kaede Kyoto University Gradual Session Types in Imperative Style
Dimitrios KouzapasKouzapas, Dimitrios University of Cyprus Behavioral Types as a Semantic Foundation for the GDPR Notion of Purpose
L Hugo A. LópezLópez, Hugo A. IT University of Copenhagen, Denmark & DCR Solutions A/SColombia Towards Legally Compliant Governmental Case Work with Dynamic Condition Response Graphs
M Francisco MartinsMartins, Francisco LaSIGE, University of Lisbon Hardware Interactions as Behavioural Types
Hernan MelgrattiMelgratti, Hernan University of Buenos Aires, Argentina Committee Member in Program Committee within the BEAT-track
Fabrizio MontesiMontesi, Fabrizio University of Southern DenmarkDenmark Committee Member in Program Committee within the BEAT-track
Andreia MordidoMordido, Andreia Lasige / Faculty of Sciences, Universidade de Lisboa Checking the Equivalence of Context-Free Session Types
Carlos Mão de FerroMão de Ferro, Carlos LASIGE, Faculty of Sciences, University of LisbonPortugal Hardware Interactions as Behavioural Types
N Daniele Nantes-SobrinhoNantes-Sobrinho, Daniele University of Brasília, Brazil Relating Process Languages for Security and Communication Correctness
Rumyana NeykovaNeykova, Rumyana Brunel University LondonUnited Kingdom Invited Talk: A Session Type Provider: Compile-time Generation of Session Types with Interaction Refinements
O Dominic OrchardOrchard, Dominic University of Kent, UKUnited Kingdom Session Chair of Session 2 (part of BEAT) Committee Member in Program Committee within the BEAT-track
P Luca PadovaniPadovani, Luca University of Turin, ItalyItaly Committee Member in Program Committee within the BEAT-track
Kirstin PetersPeters, Kirstin TU Berlin Invited Talk: Session Types for Fault-Tolerant Distributed Algorithms
Anna PhilippouPhilippou, Anna University of Cyprus Behavioral Types as a Semantic Foundation for the GDPR Notion of Purpose Committee Member in Program Committee within the BEAT-track
Jorge A. PérezPérez, Jorge A. University of Groningen, The NetherlandsNetherlands Session Chair of Session 4 (part of BEAT) Closing Opening Relating Process Languages for Security and Communication Correctness Co-chair in Program Committee within the BEAT-track Committee Member in Organizing Committee within the BEAT-track
R António RavaraRavara, António Department of Informatics, Faculty of Sciences and Technology, NOVA University of Lisbon and NOVA LINCSPortugal Getting Rid of Null-Dereferences – Behavioural Types to the Rescue Closing Opening Co-chair in Program Committee within the BEAT-track Committee Member in Organizing Committee within the BEAT-track
S Alceste ScalasScalas, Alceste Imperial College LondonUnited Kingdom Effpi: Concurrent Programming with Dependent Behavioural Types
T Peter ThiemannThiemann, Peter University of Freiburg, Germany Invited Talk: Gradual Session Types — an Ongoing Journey
V Evangelia VaneziVanezi, Evangelia University of Cyprus Behavioral Types as a Semantic Foundation for the GDPR Notion of Purpose
Vasco T. VasconcelosVasconcelos, Vasco T. LASIGE, Faculty of Sciences, University of LisbonPortugal Checking the Equivalence of Context-Free Session Types
W Philip WadlerWadler, Philip University of Edinburgh, UKUnited Kingdom Session Chair of Session 1 (part of BEAT) Committee Member in Program Committee within the BEAT-track
Y Nobuko YoshidaYoshida, Nobuko Imperial College London Effpi: Concurrent Programming with Dependent Behavioural Types