GaLoP 2019 Contributors

Filter

Role Type

Contributing to

Number of Roles

Country

Results (47)

A Samson AbramskyAbramsky, Samson University of OxfordUnited Kingdom Chair in Steering Committee within the GaLoP-track
B David BaeldeBaelde, David LSV, ENS CachanFrance Bouncing Threads for Infinitary and Circular Proofs
C Simon CastellanCastellan, Simon A game semantics understanding of asynchronous multiparty session types subtyping
Simon CastellanCastellan, Simon Imperial College London, UK Probabilistic Programming Inference via Intensional Semantics
Pierre ClairambaultClairambault, Pierre CNRS & ENS LyonFrance Full Abstraction for the Quantum Lambda-Calculus Chair in Program Committee within the GaLoP-track
Pierre-Louis CurienCurien, Pierre-Louis Univ. Paris Diderot and INRIA Paris-RocquencourtFrance Sequential algorithms and innocent strategies share the same execution mechanism Committee Member in Steering Committee within the GaLoP-track
D Marc De VismeDe Visme, Marc ENS Lyon Full Abstraction for the Quantum Lambda-Calculus
Abhishek DeDe, Abhishek IRIF, CNRS, France Towards Circular Proof Nets
Amina DoumaneDoumane, Amina Bouncing Threads for Infinitary and Circular Proofs
E Clovis EberhartEberhart, Clovis National Institute of Informatics, Japan Simple game semantics and Day convolution
F Claudia FaggianFaggian, Claudia IRIFFrance Committee Member in Steering Committee within the GaLoP-track Committee Member in Program Committee within the GaLoP-track
Chris FermüllerFermüller, Chris Vienna University of Technology Modalities as prices: a game model of intuitionistic linear logic with subexponentials
Nathanaël FijalkowFijalkow, Nathanaël CNRS, LaBRI, and Alan Turing InstituteFrance Model checking games: the recent advances on parity games
G Pietro GallianiGalliani, Pietro Free University of Bozen-BolzanoItaly Characterizing Downwards Closed Strongly First Order Dependencies Committee Member in Program Committee within the GaLoP-track
Dan GhicaGhica, Dan University of BirminghamUnited Kingdom Committee Member in Steering Committee within the GaLoP-track
Sergey GoncharovGoncharov, Sergey FAU Erlangen-Nürnberg, Lehrstuhl 8Germany Universal property of the monad for infinite trace strategies (work in progress)
H Ichiro HasuoHasuo, Ichiro National Institute of InformaticsJapan Committee Member in Steering Committee within the GaLoP-track
Jules HedgesHedges, Jules University of Oxford Intertwining game theory and game semantics
Tom HirschowitzHirschowitz, Tom Univ. Grenoble Alpes, Univ. Savoie Mont Blanc, CNRS, LAMA, 73000 ChambéryFrance Simple game semantics and Day convolution
K Juha KontinenKontinen, Juha Logics for first-order definable team properties
Denis KuperbergKuperberg, Denis Bouncing Threads for Infinitary and Circular Proofs
L Jim LairdLaird, Jim University of BathUnited Kingdom Committee Member in Steering Committee within the GaLoP-track
Timo LangLang, Timo Vienna University of Technology Modalities as prices: a game model of intuitionistic linear logic with subexponentials
Alexis LaouarLaouar, Alexis Univ. Grenoble Alpes, Univ. Savoie Mont Blanc, CNRS Simple game semantics and Day convolution
Olivier LaurentLaurent, Olivier CNRS & ENS LyonFrance Committee Member in Steering Committee within the GaLoP-track
Paul Blain LevyLevy, Paul Blain University of BirminghamUnited Kingdom Universal property of the monad for infinite trace strategies (work in progress)
Yu-Yang LinLin, Yu-Yang Queen Mary University of London A Framework for Compositional Model Checking
M Guy McCuskerMcCusker, Guy University of BathUnited Kingdom Committee Member in Steering Committee within the GaLoP-track Committee Member in Program Committee within the GaLoP-track
Paul-André MellièsMelliès, Paul-André CNRS and University Paris Diderot Template games: a homotopy model of differential linear logic
Koko MuroyaMuroya, Koko RIMS, Kyoto University, JP & University of Birmingham, UK Committee Member in Program Committee within the GaLoP-track
N Lê Thành Dũng NguyễnNguyễn, Lê Thành Dũng Some ideas for a finite geometry of interaction model of second-order MLL
O Carlos OlarteOlarte, Carlos Federal University of Rio Grande do Norte, Brazil Modalities as prices: a game model of intuitionistic linear logic with subexponentials
C.-H. Luke OngOng, C.-H. Luke University of OxfordUnited Kingdom Committee Member in Steering Committee within the GaLoP-track
P Hugo PaquetPaquet, Hugo University of Cambridge Probabilistic Programming Inference via Intensional Semantics
Elaine PimentelPimentel, Elaine Federal University of Rio Grande do Norte, Brazil Modalities as prices: a game model of intuitionistic linear logic with subexponentials
Pierre PradicPradic, Pierre A Dialectica-Like Interpretation of a Linear MSO on Infinite Words
R Colin RibaRiba, Colin A Dialectica-Like Interpretation of a Linear MSO on Infinite Words
S Gabriel SanduSandu, Gabriel University of HelsinkiFinland Committee Member in Steering Committee within the GaLoP-track Committee Member in Program Committee within the GaLoP-track
Alexis SaurinSaurin, Alexis Bouncing Threads for Infinitary and Circular Proofs Towards Circular Proof Nets
Alceste ScalasScalas, Alceste Aston UniversityUnited Kingdom A game semantics understanding of asynchronous multiparty session types subtyping
Andrea SchalkSchalk, Andrea University of Manchester, UKUnited Kingdom Committee Member in Steering Committee within the GaLoP-track
Lutz SchröderSchröder, Lutz FAU Erlangen-Nürnberg, Lehrstuhl 8 Universal property of the monad for infinite trace strategies (work in progress)
Thomas SeillerSeiller, Thomas CNRSFrance Committee Member in Program Committee within the GaLoP-track
T Nikos TzevelekosTzevelekos, Nikos Queen Mary University of London A Framework for Compositional Model Checking Committee Member in Program Committee within the GaLoP-track
V Jouko VäänänenVäänänen, Jouko University of HelsinkiFinland Committee Member in Steering Committee within the GaLoP-track
Y Fan YangYang, Fan University of Helsinki Logics for first-order definable team properties
Nobuko YoshidaYoshida, Nobuko Imperial College London A game semantics understanding of asynchronous multiparty session types subtyping