DICE-FOPARA 2019 Contributors

Write a Blog >>

Sat 6 - Thu 11 April 2019 Prague, Czech Republic

co-located with ETAPS 2019

Filter

Role Type

Contributing to

Number of Roles

Country

Results (39)

A Robert AtkeyAtkey, Robert University of Strathclyde Committee Member in Program Committee within the DICE-FOPARA-track
Martin AvanziniAvanzini, Martin INRIA Sophia Antipolis, FranceFrance Modular Runtime Complexity Analysis of Probabilistic While Programs PC Member in Program Committee within the DICE-FOPARA-track
B Patrick BaillotBaillot, Patrick CNRS & ENS LyonFrance Session Chair of III (part of DICE-FOPARA) Chair in Steering Committee (DICE) within the DICE-FOPARA-track
Lennart BeringerBeringer, Lennart Princeton UniversityUnited States Committee Member in Program Committee within the DICE-FOPARA-track
C Matteo CristaniCristani, Matteo Applications of Linear Defeasible Logic: combining resource consumption and exceptions to energy management and business processes
Lukasz CzajkaCzajka, Lukasz University of InnsbruckAustria PC Member in Program Committee within the DICE-FOPARA-track
D Ugo Dal LagoDal Lago, Ugo University of Bologna / InriaItaly Committee Member in Steering Committee (DICE) within the DICE-FOPARA-track
Ankush DasDas, Ankush Carnegie Mellon UniversityUnited States PC Member in Program Committee within the DICE-FOPARA-track
F Hugo FéréeFérée, Hugo University of Kent, UKUnited Kingdom PC Member in Program Committee within the DICE-FOPARA-track
G Samir GenaimGenaim, Samir Universidad Complutense de MadridSpain Committee Member in Program Committee within the DICE-FOPARA-track
Guido GovernatoriGovernatori, Guido Applications of Linear Defeasible Logic: combining resource consumption and exceptions to energy management and business processes
H Emmanuel HainryHainry, Emmanuel Tiered complexity at higher order
J Paulin Jacobé De NauroisJacobé De Naurois, Paulin Session Chair of VI (part of DICE-FOPARA) Pointers in Recursion: Exploring the Tropics
Steffen JostJost, Steffen LMU, Munich, GermanyGermany Session Chair of II (part of DICE-FOPARA) Session Chair of I (part of DICE-FOPARA) Chair in Program Committee within the DICE-FOPARA-track
K Bruce KapronKapron, Bruce University of VictoriaCanada Type-two Iteration with Bounded Query Revision Tiered complexity at higher order
Cynthia KopKop, Cynthia Radboud University NijmegenNetherlands (Invited Talk) Cons-free Rewriting
L Hans-Wolfgang LoidlLoidl, Hans-Wolfgang Heriot-Watt University, UK Committee Member in Steering Committe (FOPARA) within the DICE-FOPARA-track PC Member in Program Committee within the DICE-FOPARA-track
M Jean-Yves MarionMarion, Jean-Yves LORIAFrance Tiered complexity at higher order Committee Member in Steering Committee (DICE) within the DICE-FOPARA-track
Damiano MazzaMazza, Damiano CNRSFrance Session Chair of IV (part of DICE-FOPARA) Towards a Sheaf-Theoretic Definition of Decision Problems
Georg MoserMoser, Georg University of Innsbruck Modular Runtime Complexity Analysis of Probabilistic While Programs
N Lê Thành Dũng NguyễnNguyễn, Lê Thành Dũng From normal functors to logarithmic space queries Finite semantics of polymorphism, complexity and the power of type fixpoints
O Joanna OchremiakOchremiak, Joanna University of CambridgeUnited Kingdom PC Member in Program Committee within the DICE-FOPARA-track
Francesco OlivieriOlivieri, Francesco Applications of Linear Defeasible Logic: combining resource consumption and exceptions to energy management and business processes
P Luc PellissierPellissier, Luc PRAMs over integers do not compute maxflow efficiently
Paolo PistonePistone, Paolo University of TübingenItaly Finite semantics of polymorphism, complexity and the power of type fixpoints PC Member in Program Committee within the DICE-FOPARA-track
Pierre PradicPradic, Pierre From normal functors to logarithmic space queries
Romain PéchouxPéchoux, Romain INRIA / LORIAFrance Tiered complexity at higher order PC Member in Program Committee within the DICE-FOPARA-track
R Brian RedmondRedmond, Brian Hierarchical Digging is EXPTIME
Simona Ronchi Della RoccaRonchi Della Rocca, Simona University of TorinoItaly Committee Member in Steering Committee (DICE) within the DICE-FOPARA-track
S Michael SchaperSchaper, Michael University of Innsbruck Modular Runtime Complexity Analysis of Probabilistic While Programs
Thomas SeillerSeiller, Thomas CNRSFrance Session Chair of V (part of DICE-FOPARA) Finite semantics of polymorphism, complexity and the power of type fixpoints PRAMs over integers do not compute maxflow efficiently Chair in Program Committee within the DICE-FOPARA-track
Franz SiglmüllerSiglmüller, Franz Type-Based Resource Analysis on Haskell
Florian SteinbergSteinberg, Florian INRIA SaclayGermany Type-two Iteration with Bounded Query Revision
T Claudio TomazzoliTomazzoli, Claudio Applications of Linear Defeasible Logic: combining resource consumption and exceptions to energy management and business processes
Lorenzo Tortora de FalcoTortora de Falco, Lorenzo Finite semantics of polymorphism, complexity and the power of type fixpoints
V Marko van Eekelenvan Eekelen, Marko Open University of the NetherlandsNetherlands Session Chair of VII (part of DICE-FOPARA) Committee Member in Steering Committe (FOPARA) within the DICE-FOPARA-track
Pedro VasconcelosVasconcelos, Pedro LIACC, Universidade do Porto, Porto, PortugalPortugal PC Member in Program Committee within the DICE-FOPARA-track
Z Margherita ZorziZorzi, Margherita Università degli Studi di VeronaItaly PC Member in Program Committee within the DICE-FOPARA-track
Ç Ezgi ÇiçekÇiçek, Ezgi Facebook London PC Member in Program Committee within the DICE-FOPARA-track