FPVM 2023 Contributors

Wed 19 Jul 2023 Leicester, United Kingdom

co-located with STAF 2023

Filter

Role Type

Contributing to

Number of Roles

Country

Results (27)

A Mohammad AbdulazizAbdulaziz, Mohammad Technische Universität MünchenGermany Formal Mathematics: Matching Algorithms as a Case Study
B Luca BerardinelliBerardinelli, Luca Johannes Kepler University LinzAustria Committee Member in Program committee within the FPVM-track
Paolo BottoniBottoni, Paolo Sapienza University of RomeItaly Committee Member in Program committee within the FPVM-track
Alessio BucaioniBucaioni, Alessio Mälardalen University Committee Member in Program committee within the FPVM-track
C Federico CiccozziCiccozzi, Federico Mälardalen UniversitySweden Committee Member in Program committee within the FPVM-track
D Juan de Larade Lara, Juan Autonomous University of MadridSpain Committee Member in Program committee within the FPVM-track
Martina De SanctisDe Sanctis, Martina Gran Sasso Science InstituteItaly Committee Member in Program committee within the FPVM-track
Daniele Di PompeoDi Pompeo, Daniele University of L'AquilaItaly Committee Member in Program committee within the FPVM-track
Davide Di RuscioDi Ruscio, Davide University of L'AquilaItaly Committee Member in Program committee within the FPVM-track
Amleto Di SalleDi Salle, Amleto European University of RomeItaly Organizing Chair in Organizing Committee within the FPVM-track Web Chair in Web Chair within the FPVM-track
F Maribel FernandezFernandez, Maribel King's College LondonUnited Kingdom Session Chair of STAF Keynote / ICGT Session 1 (part of STAF Keynotes)
G Dan GhicaGhica, Dan Huawei Research and University of BirminghamUnited Kingdom Syntactic trinitarianism: terms, graphs, diagrams
I Ludovico IovinoIovino, Ludovico Gran Sasso Science Institute, L'Aquila, ItalyItaly Organizing Chair in Organizing Committee within the FPVM-track
K Steven KellyKelly, Steven MetaCaseUnited Kingdom Committee Member in Program committee within the FPVM-track
Dimitris KolovosKolovos, Dimitris University of YorkUnited Kingdom Committee Member in Program committee within the FPVM-track
L Kim LarsenLarsen, Kim Aalborg UniversityDenmark Symbolic, Statistical and Randomized Engines in UPPAAL
M Sébastien MosserMosser, Sébastien McMaster UniversityCanada Committee Member in Program committee within the FPVM-track
P Alfonso PierantonioPierantonio, Alfonso Università degli Studi dell'AquilaItaly Organizing Chair in Organizing Committee within the FPVM-track
R Nikolaus RegnatRegnat, Nikolaus Siemens AGGermany Committee Member in Program committee within the FPVM-track
Juri Di RoccoRocco, Juri Di University of L'AquilaItaly Committee Member in Program committee within the FPVM-track
S Cristina SeceleanuSeceleanu, Cristina Mälardalen UniversitySweden Session Chair of STAF Keynote / TAP Session 1 (part of STAF Keynotes)
T Matthias TichyTichy, Matthias Ulm University, Germany Committee Member in Program committee within the FPVM-track
Juha-Pekka TolvanenTolvanen, Juha-Pekka MetaCaseFinland Organizing Chair in Organizing Committee within the FPVM-track
U Mattias UlbrichUlbrich, Mattias KITGermany KeY: A Verification Platform For Java
W Manuel WimmerWimmer, Manuel JKU LinzAustria Committee Member in Program committee within the FPVM-track
Andrzej WąsowskiWąsowski, Andrzej IT University of Copenhagen, DenmarkDenmark How I lost my faith (in language technology research)? There and back again.
Z Steffen ZschalerZschaler, Steffen King's College LondonUnited Kingdom Session Chair of STAF Keynote / ECMFA Session 5 (part of STAF Keynotes)