THE PEOPLE BEHIND THE CONFERENCE
FSCD 2023
International Conference on Formal Structures for Computation and Deduction
Source-attributed rosters checked 2026-09-13. 121 collected records; 121 await identity review and remain visible as unlinked names. Affiliations are preserved as stated by each source. Source gaps: Official proceedings PDF captured 31 PC and full 90-member External Reviewers table. Legacy official site returns 404; workshop-specific organizers not published in checked sources.
FSCD 2023 External Reviewers
90 service records| Person | Role | Affiliation as listed | Evidence |
|---|---|---|---|
| Nicolas AmatIdentity not yet linked | External Reviewer | Not stated in source | Conference website ↗Checked 2026-09-13 |
| James LairdIdentity not yet linked | External Reviewer | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Pedro ÂngeloIdentity not yet linked | External Reviewer | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Salvador LucasIdentity not yet linked | External Reviewer | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Mauricio Ayala-RincónIdentity not yet linked | External Reviewer | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Giulio ManzonettoIdentity not yet linked | External Reviewer | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Giorgio BacciIdentity not yet linked | External Reviewer | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Ralph MatthesIdentity not yet linked | External Reviewer | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Davide BarbarossaIdentity not yet linked | External Reviewer | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Nelma MoreiraIdentity not yet linked | External Reviewer | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Stefano BerardiIdentity not yet linked | External Reviewer | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Haiko MullerIdentity not yet linked | External Reviewer | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Benno van den BergIdentity not yet linked | External Reviewer | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Guillaume Munch-MaccagnoniIdentity not yet linked | External Reviewer | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Richard BluteIdentity not yet linked | External Reviewer | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Yuito MuraseIdentity not yet linked | External Reviewer | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Rafaël BocquetIdentity not yet linked | External Reviewer | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Keisuke NakanoIdentity not yet linked | External Reviewer | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Roberto BruniIdentity not yet linked | External Reviewer | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Koji NakazawaIdentity not yet linked | External Reviewer | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Mihai CalanceaIdentity not yet linked | External Reviewer | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Lê Thành Dũng NguyễnIdentity not yet linked | External Reviewer | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Matteo CapucciIdentity not yet linked | External Reviewer | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Paulo OlivaIdentity not yet linked | External Reviewer | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Evan CavalloIdentity not yet linked | External Reviewer | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Dominic OrchardIdentity not yet linked | External Reviewer | Not stated in source | Conference website ↗Checked 2026-09-13 |
| David CernaIdentity not yet linked | External Reviewer | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Eugenio OrlandelliIdentity not yet linked | External Reviewer | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Jules ChouquetIdentity not yet linked | External Reviewer | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Hugo PaquetIdentity not yet linked | External Reviewer | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Pierre ClairambaultIdentity not yet linked | External Reviewer | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Romain PéchouxIdentity not yet linked | External Reviewer | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Liron CohenIdentity not yet linked | External Reviewer | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Luc PellissierIdentity not yet linked | External Reviewer | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Bruce CollieIdentity not yet linked | External Reviewer | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Thomas PowellIdentity not yet linked | External Reviewer | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Anupam DasIdentity not yet linked | External Reviewer | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Jakob von RaumerIdentity not yet linked | External Reviewer | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Ivan Di LibertiIdentity not yet linked | External Reviewer | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Laurent RegnierIdentity not yet linked | External Reviewer | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Martín DiéguezIdentity not yet linked | External Reviewer | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Michel RigoIdentity not yet linked | External Reviewer | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Harley Eades IIIIdentity not yet linked | External Reviewer | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Alessio SantamariaIdentity not yet linked | External Reviewer | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Jörg EndrullisIdentity not yet linked | External Reviewer | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Ralph SarkisIdentity not yet linked | External Reviewer | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Mário FloridoIdentity not yet linked | External Reviewer | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Alexis SaurinIdentity not yet linked | External Reviewer | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Jonas FreyIdentity not yet linked | External Reviewer | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Gabriel SchererIdentity not yet linked | External Reviewer | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Francesco GavazzoIdentity not yet linked | External Reviewer | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Ezra SchoenIdentity not yet linked | External Reviewer | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Alfons GeserIdentity not yet linked | External Reviewer | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Jonas SchöpfIdentity not yet linked | External Reviewer | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Alexis GhyselenIdentity not yet linked | External Reviewer | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Ian ShillitoIdentity not yet linked | External Reviewer | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Alessandro GianolaIdentity not yet linked | External Reviewer | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Michael ShulmanIdentity not yet linked | External Reviewer | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Marianna GirlandoIdentity not yet linked | External Reviewer | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Alex SimpsonIdentity not yet linked | External Reviewer | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Tamara von GlehnIdentity not yet linked | External Reviewer | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Nicholas SmallboneIdentity not yet linked | External Reviewer | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Rajeev GoreIdentity not yet linked | External Reviewer | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Siva SomayyajulaIdentity not yet linked | External Reviewer | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Daniel GratzerIdentity not yet linked | External Reviewer | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Bas SpittersIdentity not yet linked | External Reviewer | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Adrien GuattoIdentity not yet linked | External Reviewer | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Toby St Clere SmitheIdentity not yet linked | External Reviewer | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Stefano GuerriniIdentity not yet linked | External Reviewer | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Lutz StraßburgerIdentity not yet linked | External Reviewer | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Jules HedgesIdentity not yet linked | External Reviewer | Not stated in source | Conference website ↗Checked 2026-09-13 |
| René ThiemannIdentity not yet linked | External Reviewer | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Stefan HetzlIdentity not yet linked | External Reviewer | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Taichi UemuraIdentity not yet linked | External Reviewer | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Naohiko HoshinoIdentity not yet linked | External Reviewer | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Gabriele VanoniIdentity not yet linked | External Reviewer | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Andrzej IndrzejczakIdentity not yet linked | External Reviewer | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Pedro VasconcelosIdentity not yet linked | External Reviewer | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Marie KerjeanIdentity not yet linked | External Reviewer | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Daniel VenturaIdentity not yet linked | External Reviewer | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Delia KesnerIdentity not yet linked | External Reviewer | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Luca ViganòIdentity not yet linked | External Reviewer | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Cynthia KopIdentity not yet linked | External Reviewer | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Albert VisserIdentity not yet linked | External Reviewer | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Clemens KupkeIdentity not yet linked | External Reviewer | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Jan Willem KlopIdentity not yet linked | External Reviewer | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Dietrich KuskeIdentity not yet linked | External Reviewer | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Akihisa YamadaIdentity not yet linked | External Reviewer | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Felix LaarmannIdentity not yet linked | External Reviewer | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Noson YanofskyIdentity not yet linked | External Reviewer | Not stated in source | Conference website ↗Checked 2026-09-13 |
FSCD 2023 Program Committee
31 service records| Person | Role | Affiliation as listed | Evidence |
|---|---|---|---|
| Martin AvanziniIdentity not yet linked | Program Committee | INRIA, France | Conference website ↗Checked 2026-09-13 |
| Patrick BahrIdentity not yet linked | Program Committee | ITU Copenhagen, Denmark | Conference website ↗Checked 2026-09-13 |
| Pablo BarenbaumIdentity not yet linked | Program Committee | University of Quilmes (CONICET) & ICC, Argentina | Conference website ↗Checked 2026-09-13 |
| Filippo BonchiIdentity not yet linked | Program Committee | University of Pisa, Italy | Conference website ↗Checked 2026-09-13 |
| Sabine BrodaIdentity not yet linked | Program Committee | University of Porto, Portugal | Conference website ↗Checked 2026-09-13 |
| Valeria De PaivaIdentity not yet linked | Program Committee | Topos Institute, USA | Conference website ↗Checked 2026-09-13 |
| Andrej DudenhefnerIdentity not yet linked | Program Committee | TU Dortmund, Germany | Conference website ↗Checked 2026-09-13 |
| Santiago EscobarIdentity not yet linked | Program Committee | Universitat Politècnica de València, Spain | Conference website ↗Checked 2026-09-13 |
| Claudia FaggianIdentity not yet linked | Program Committee | University of Paris (IRIF), France | Conference website ↗Checked 2026-09-13 |
| Frank (Peng) FuIdentity not yet linked | Program Committee | Dalhousie University, Canada | Conference website ↗Checked 2026-09-13 |
| Marco GaboardiIdentity not yet linked | Co-Chair | Boston University, USA | Conference website ↗Checked 2026-09-13 |
| Silvio GhilardiIdentity not yet linked | Program Committee | University of Milano, Italy | Conference website ↗Checked 2026-09-13 |
| Clemens GrabmayerIdentity not yet linked | Program Committee | Gran Sasso Science Institute, Italy | Conference website ↗Checked 2026-09-13 |
| Nao HirokawaIdentity not yet linked | Program Committee | JAIST, Japan | Conference website ↗Checked 2026-09-13 |
| Mirai IkebuchiIdentity not yet linked | Program Committee | National Institute of Informatics, Japan | Conference website ↗Checked 2026-09-13 |
| Ambrus KaposiIdentity not yet linked | Program Committee | Eötvös Loránd University, Hungary | Conference website ↗Checked 2026-09-13 |
| Ian MackieIdentity not yet linked | Program Committee | University of Sussex, UK | Conference website ↗Checked 2026-09-13 |
| Radu MardareIdentity not yet linked | Program Committee | University of Strathclyde, UK | Conference website ↗Checked 2026-09-13 |
| Aart MiddeldorpIdentity not yet linked | Program Committee | University of Innsbruck, Austria | Conference website ↗Checked 2026-09-13 |
| Anders MörtbergIdentity not yet linked | Program Committee | University of Stockholm, Sweden | Conference website ↗Checked 2026-09-13 |
| Daniele Nantes-SobrinhoIdentity not yet linked | Program Committee | Imperial College London, UK & University of Brasília, Brazil Imperial College London · UK · Universidade de Brasília | Conference website ↗Checked 2026-09-13 |
| Vincent van OostromIdentity not yet linked | Program Committee | Independent researcher, The Netherlands | Conference website ↗Checked 2026-09-13 |
| Femke van RaamsdonkIdentity not yet linked | Co-Chair | Vrije Universiteit Amsterdam, The Netherlands | Conference website ↗Checked 2026-09-13 |
| Grigore RosuIdentity not yet linked | Program Committee | University of Illinois Urbana-Champaign, USA | Conference website ↗Checked 2026-09-13 |
| Luca RoversiIdentity not yet linked | Program Committee | University of Torino, Italy | Conference website ↗Checked 2026-09-13 |
| Aleksy SchubertIdentity not yet linked | Program Committee | University of Warsaw, Poland | Conference website ↗Checked 2026-09-13 |
| Jakob G. SimonsenIdentity not yet linked | Program Committee | University of Copenhagen, Denmark | Conference website ↗Checked 2026-09-13 |
| Alwen TiuIdentity not yet linked | Program Committee | Australian National University, Australia | Conference website ↗Checked 2026-09-13 |
| Valeria VignudelliIdentity not yet linked | Program Committee | CNRS/ENS Lyon, France CNRS · École Normale Supérieure de Lyon | Conference website ↗Checked 2026-09-13 |
| Johannes WaldmannIdentity not yet linked | Program Committee | HTWK Leipzig, Germany | Conference website ↗Checked 2026-09-13 |
| Sarah WinklerIdentity not yet linked | Program Committee | University of Bolzano, Italy | Conference website ↗Checked 2026-09-13 |