FormaliSE 2027 Contributors

Filter

Role Type

Contributing to

Number of Roles

Country

Results (59)

A Wolfgang AhrendtAhrendt, Wolfgang Chalmers University of TechnologySweden Committee Member in Program Committee Members within the FormaliSE Research Track-track
Oana AndreiAndrei, Oana University of GlasgowUnited Kingdom Committee Member in Program Committee Members within the FormaliSE Research Track-track
Toshiaki AokiAoki, Toshiaki JAISTJapan Committee Member in Program Committee Members within the FormaliSE Research Track-track
B Kyungmin BaeBae, Kyungmin POSTECHSouth Korea Committee Member in Program Committee Members within the FormaliSE Research Track-track
Luís BarbosaBarbosa, Luís Universidade do MinhoPortugal Committee Member in Program Committee Members within the FormaliSE Research Track-track
Gustavo BetarteBetarte, Gustavo Facultad de Ingeniería, Universidad de la RepúblicaUruguay Committee Member in Program Committee Members within the FormaliSE Research Track-track
Simon BliudzeBliudze, Simon Inria Center at the University of LillleFrance Committee Member in Program Committee Members within the FormaliSE Research Track-track
Silvia BonfantiBonfanti, Silvia University of BergamoItaly Committee Member in Program Committee Members within the FormaliSE Research Track-track
Timothy BourkeBourke, Timothy Inria/ENSFrance Committee Member in Program Committee Members within the FormaliSE Research Track-track
Giovanna BrocciaBroccia, Giovanna ISTI-CNR, FMT LabItaly Web and Social Media Chair in Organizing Commitee for FormaliSE 2027
C Marsha ChechikChechik, Marsha University of TorontoCanada Committee Member in Program Committee Members within the FormaliSE Research Track-track
Alessandro CimattiCimatti, Alessandro Fondazione Bruno KesslerItaly Committee Member in Program Committee Members within the FormaliSE Research Track-track
D Nancy DayDay, Nancy University of Waterloo, CanadaCanada Committee Member in Program Committee Members within the FormaliSE Research Track-track
F Alessio FerrariFerrari, Alessio University College Dublin (UCD) and Consiglio Nazionale delle Ricerche (CNR)Italy PC Co-Chair in Organizing Commitee for FormaliSE 2027 Program Co-Chair in Program Committee Chairs within the FormaliSE Research Track-track
Carla FerreiraFerreira, Carla NOVA University LisbonPortugal Committee Member in Program Committee Members within the FormaliSE Research Track-track
Emily FirstFirst, Emily Rutgers UniversityUnited States Committee Member in Program Committee Members within the FormaliSE Research Track-track
Simon FosterFoster, Simon University of YorkUnited Kingdom Committee Member in Program Committee Members within the FormaliSE Research Track-track
Carlo A. FuriaFuria, Carlo A. Università della Svizzera italiana (USI)Switzerland Committee Member in Program Committee Members within the FormaliSE Research Track-track
G Stefania GnesiGnesi, Stefania Istituto di Scienza e Tecnologie dell'Informazione "Alessandro Faedo" Italy General Chair in Organizing Commitee for FormaliSE 2027
H Ernst Moritz HahnHahn, Ernst Moritz University of TwenteNetherlands Committee Member in Program Committee Members within the FormaliSE Research Track-track
Arnd HartmannsHartmanns, Arnd University of TwenteNetherlands Committee Member in Program Committee Members within the FormaliSE Research Track-track
J Marie-Christine JakobsJakobs, Marie-Christine LMU Munich, GermanyGermany Committee Member in Program Committee Members within the FormaliSE Research Track-track
Kenneth JohnsonJohnson, Kenneth Auckland University of TechnologyNew Zealand Committee Member in Program Committee Members within the FormaliSE Research Track-track
Taylor T JohnsonJohnson, Taylor T Vanderbilt UniversityUnited States Committee Member in Program Committee Members within the FormaliSE Research Track-track
L NIANYU LILI, NIANYU ZGC Lab, ChinaChina Committee Member in Program Committee Members within the FormaliSE Research Track-track
Carlos Gustavo Lopez PomboLopez Pombo, Carlos Gustavo Universidad Nacional de Rio Negro Committee Member in Program Committee Members within the FormaliSE Research Track-track
Hugo A. LópezLópez, Hugo A. Technical University of DenmarkDenmark Committee Member in Program Committee Members within the FormaliSE Research Track-track
M Shahar MaozMaoz, Shahar Tel Aviv UniversityIsrael Committee Member in Program Committee Members within the FormaliSE Research Track-track
Tiziana MargariaMargaria, Tiziana University of Limerick and Lero - The Irish Software Research Centre Ireland Committee Member in Program Committee Members within the FormaliSE Research Track-track
Anastasia MavridouMavridou, Anastasia KBR / NASA Ames Research CenterUnited States Committee Member in Program Committee Members within the FormaliSE Research Track-track
Hernan MelgrattiMelgratti, Hernan University of Buenos Aires, Argentina Committee Member in Program Committee Members within the FormaliSE Research Track-track
Simão Melo de SousaMelo de Sousa, Simão NOVA LINCS & Universidade da Beira Interior, Portugal Committee Member in Program Committee Members within the FormaliSE Research Track-track
Alexandra MendesMendes, Alexandra Faculty of Engineering, University of Porto, PortugalPortugal PC Co-Chair in Organizing Commitee for FormaliSE 2027 Program Co-Chair in Program Committee Chairs within the FormaliSE Research Track-track
Claudio MenghiMenghi, Claudio University of Bergamo; McMaster UniversityItaly Committee Member in Program Committee Members within the FormaliSE Research Track-track
Dominique MeryMery, Dominique Université de Lorraine, CNRS, INRIA / LORIA & Telecom Nancy, FranceFrance Committee Member in Program Committee Members within the FormaliSE Research Track-track
Rosemary MonahanMonahan, Rosemary National University of IrelandIreland Committee Member in Program Committee Members within the FormaliSE Research Track-track
Federico MoraMora, Federico University of WaterlooCanada Committee Member in Program Committee Members within the FormaliSE Research Track-track
Mohammad Reza MousaviMousavi, Mohammad Reza King's College LondonUnited Kingdom Committee Member in Program Committee Members within the FormaliSE Research Track-track
Logan MurphyMurphy, Logan University of TorontoCanada Committee Member in Program Committee Members within the FormaliSE Research Track-track
N Quentin NivonNivon, Quentin France Committee Member in Program Committee Members within the FormaliSE Research Track-track
P Luigia PetrePetre, Luigia Åbo Akademi UniversityFinland Committee Member in Program Committee Members within the FormaliSE Research Track-track
Nico PlatPlat, Nico Netherlands General Chair in Organizing Commitee for FormaliSE 2027
R Yasmeen RafiqRafiq, Yasmeen University of Manchester Committee Member in Program Committee Members within the FormaliSE Research Track-track
Pedro RibeiroRibeiro, Pedro University of York, UKUnited Kingdom Artifact Evaluation Co-Chair in Organizing Commitee for FormaliSE 2027 Artifact Evaluation Co-Chair in Artifact Evaluation Chairs within the FormaliSE Artifact Track-track
Camilo RochaRocha, Camilo Pontificia Universidad JaverianaColombia Committee Member in Program Committee Members within the FormaliSE Research Track-track
Matteo RossiRossi, Matteo Politecnico di MilanoItaly Committee Member in Program Committee Members within the FormaliSE Research Track-track
Neea RuschRusch, Neea Uppsala UniversitySweden Artifact Evaluation Co-Chair in Organizing Commitee for FormaliSE 2027 Artifact Evaluation Co-Chair in Artifact Evaluation Chairs within the FormaliSE Artifact Track-track
S Gwen SalaünSalaün, Gwen University of Grenoble AlpesFrance Committee Member in Program Committee Members within the FormaliSE Research Track-track
Cristina SeceleanuSeceleanu, Cristina Mälardalen UniversitySweden Committee Member in Program Committee Members within the FormaliSE Research Track-track
Laura SeminiSemini, Laura Università di Pisa - Dipartimento di InformaticaItaly Committee Member in Program Committee Members within the FormaliSE Research Track-track
Marjan SirjaniSirjani, Marjan Malardalen UniversitySweden Committee Member in Program Committee Members within the FormaliSE Research Track-track
Graeme SmithSmith, Graeme The University of QueenslandAustralia Committee Member in Program Committee Members within the FormaliSE Research Track-track
Allison SullivanSullivan, Allison University of Texas at ArlingtonUnited States Committee Member in Program Committee Members within the FormaliSE Research Track-track
T Silvia Lizeth Tapia TarifaTapia Tarifa, Silvia Lizeth University of Oslo, NorwayNorway Committee Member in Program Committee Members within the FormaliSE Research Track-track
Maurice ter Beekter Beek, Maurice CNR-ISTI Pisa, ItalyItaly Committee Member in Program Committee Members within the FormaliSE Research Track-track
W Heike WehrheimWehrheim, Heike Carl von Ossietzky Universität Oldenburg / University of OldenburgGermany Committee Member in Program Committee Members within the FormaliSE Research Track-track
Michael WhalenWhalen, Michael Amazon Web Services and the University of MinnesotaUnited States Committee Member in Program Committee Members within the FormaliSE Research Track-track
Z Stefan ZetzscheZetzsche, Stefan Amazon Web ServicesUnited Kingdom Committee Member in Program Committee Members within the FormaliSE Research Track-track
Zhenya ZhangZhang, Zhenya Kyushu UniversityJapan Committee Member in Program Committee Members within the FormaliSE Research Track-track