9 hats

• Reiner Hähnle (Travel Grant Committee: for CADE; FLoC Organizing Committtee: for CADE; FLoC Steering Committee: TABLEAUX represenative; TABLEAUX paper co-author; PaPS paper co-author; CADE PC member; CADE Conference Chair; TABLEAUX PC member; VERIFY PC member)

8 hats

• Dines Bjørner (Travel Grant Committee: for FME; LOC: Danish fundraising (private); LOC: Plenary events; LOC: Public relations; LOC: Book exhibits; FLoC Organizing Committtee: for FME; FLoC Steering Committee: FME representative; IDAY Organizer)

7 hats

• Claude Kirchner (UNIF invited speaker; RTA paper co-author; RTA paper co-author; HOR paper co-author; CADE PC member; WG16 Organizers; WRS PC member)
• David Basin (FME invited speaker; FCS+VERIFY panel; CADE PC member; CAV PC member; EFSD Organizers; LFM PC member; VERIFY PC member)
• Henning Christiansen (Travel Grant Committee: for ICLP; FLoC Organizing Committtee: for ICLP; NLULP paper author; ICLP paper author; ICLP PC member; ICLP Workshop Coordinator; ICLP Conference Chair)
• Moshe Y. Vardi (FLoC Organizing Committtee: for the Steering Committee; FLoC Steering Committee: general chair; HYLO invited speaker; CAV paper co-author; CADE paper co-author; CADE paper co-author; CADE PC member)
• Natarajan Shankar (LICS paper co-author; CADE paper co-author; FME+LICS+RTA invited speaker; CADE-T3 Organizers; CADE PC member; CAV PC member; FME-T1 Presenters)
• Neil D. Jones (Travel Grant Committee: chair; LOC: Conference chair; LOC: Danish fundraising (public); FLoC Organizing Committtee: FLoC'02 conference chair; FLoC Steering Committee: conference chair; ICC invited speaker; ICC PC member)

6 hats

• Franz Baader (UNIF paper co-author; RTA invited speaker; RTA paper co-author; CADE PC member; LICS PC member; RTA Steering Committee)
• Jørgen Villadsen (LOC: backup for Danish fundraising (private); LOC: backup for Plenary events; LOC: backup for Public relations; LOC: backup for Book exhibits; PCL paper author; PCL Organizers)
• Kim Guldstrand Larsen (FLoC Organizing Committtee: for CAV; RT-TOOLS paper co-author; PAPM-PROBMIV paper co-author; CADE PC member; CAV program co-chair; RT-TOOLS PC member)
• Thomas A. Henzinger (CAV invited tutorial; CAV paper co-author; CAV paper co-author; CAV paper co-author; CADE PC member; CAV PC member)

5 hats

• Aaron Stump (LFM paper co-author; CAV paper co-author; CAV paper co-author; CADE paper co-author; FCS+VERIFY paper co-author)
• Alan Bundy (RADM paper co-author; FCS+VERIFY paper co-author; RADM+PaPS panel; CADE PC member; CASC Competition panel)
• Alessandro Armando (VERIFY paper co-author; SAVE invited speaker; SAVE paper co-author; CAV paper co-author; FCS+VERIFY paper co-author)
• Andrei Voronkov (UNIF paper co-author; CiAD invited speaker; CAV paper co-author; CADE program chair; LICS PC member)
• Christopher Lynch (UNIF invited speaker; LICS paper co-author; CADE paper co-author; CADE PC member; RTA PC member)
• Dale Miller (TABLEAUX invited speaker; LL paper author; CADE PC member; ICLP PC member; LFM PC member)
• Daniel Leivant (LICS paper author; ITRS paper author; ICC paper author; HOR paper author; ICC Steering Committee)
• Didier Galmiche (TABLEAUX paper co-author; LL paper co-author; CADE paper co-author; LFM PC member; TABLEAUX PC member)
• Fabio Massacci (FCS+VERIFY panel; VERIFY+FCS invited speaker; CADE PC member; TABLEAUX PC member; VERIFY PC member)
• Frank Pfenning (ITRS invited speaker; CADE PC member; IMLA PC member; LFM program chair; LFM Organizer)
• Geoff Sutcliffe (PaPS paper co-author; CADE paper co-author; CADE PC member; CASC Organizers; PaPS Organizers)
• Gopal Gupta (WLPE paper co-author; CLPSE paper author; CICLOPS paper co-author; CLPSE Organizer; ICLP PC member)
• Harald Ganzinger (FLoC Steering Committee: associate general chair; ICLP paper co-author; CADE paper author; CADE PC member; LICS PC member)
• Patrick Blackburn (TABLEAUX paper co-author; HYLO paper co-author; HYLO paper co-author; HYLO paper co-author; HYLO Organizers)
• Tobias Nipkow (FME paper co-author; CADE PC member; FME PC member; HOR Organizers; LFM PC member)

4 hats

• Aart Middeldorp (WRS invited speaker; UNIF paper co-author; RTA PC member; RTA Steering Committee chair)
• Amir Pnueli (RV paper co-author; CAV paper co-author; CAV PC member; CAV Steering Committee)
• Ana Cavalcanti (REFINE invited speaker; FME paper co-author; FME paper co-author; AS paper co-author)
• Bart Demoen (ICLP paper author; ICLP paper co-author; ICLP paper co-author; CICLOPS Organizer)
• Bernhard Gramlich (WG16 paper author; CADE paper co-author; RTA PC member; WRS program co-chair)
• Carlos E. Areces (HYLO paper co-author; HYLO paper co-author; CADE paper co-author; HYLO Organizers)
• Catherine Meadows (FCS+VERIFY paper author; FCS+VERIFY panel; FCS PC member; VERIFY PC member)
• David L. Dill (LFM paper co-author; CAV paper co-author; CAV paper co-author; CADE paper co-author)
• Doron A. Peled (RV invited speaker; CAV paper co-author; CAV PC member; LICS PC member)
• Edmund M. Clarke (FLoC Steering Committee: CAV representative; LICS paper co-author; CAV paper co-author; CAV Steering Committee)
• Giorgio Delzanno (SAVE paper co-author; LL paper co-author; CAV paper co-author; SAVE Organizers)
• James Harland (TABLEAUX paper author; LL paper author; CLIMA paper co-author; CLIMA PC member)
• Jens Chr. Godskesen (Travel Grant Committee: for CAV; FLoC Organizing Committtee: for CAV, too; LICS paper co-author; CAV Conference Chair)
• Jim Woodcock (REFINE invited speaker; FME paper co-author; FME PC member; REFINE Organizers)
• Joe Wells (ITRS paper co-author; HOR invited speaker; ITRS PC member; ITRS Organizers)
• John Fitzgerald (VDM invited tutorial; FME PC member; IDAY IDAY Chair; VDM Organizers)
• Juan Bicarregui (VDM paper co-author; FME paper author; FME PC member; VDM Organizers)
• Katsumi Inoue (ICLP paper co-author; CLIMA paper co-author; CLIMA PC member; ICLP PC member)
• Lars Birkedal (LOC: Budget; LOC: Conference bureau coordination; FLoC Organizing Committtee: treasurer; DOMAIN Organizers)
• Maarten Marx (TABLEAUX paper co-author; HYLO paper co-author; HYLO paper co-author; HYLO Organizers)
• Manfred Schmidt-Schauß (UNIF paper co-author; CiAD paper co-author; CADE PC member; WRS PC member)
• Martin Grohe (FLoC Organizing Committtee: publicity; LICS paper co-author; CiAD invited speaker; LICS Publicity Chair)
• Michael Maher (PCL paper author; ICLP paper co-author; ICLP paper author; ICLP PC member)
• Rajeev P. Goré (IMLA paper co-author; IMLA PC member; IMLA Organizers; TABLEAUX PC member)
• Salvador Lucas (WG16 paper author; RTA paper author; CADE paper co-author; WRS program co-chair)
• Simon Colton (RADM paper co-author; PaPS paper co-author; CADE paper author; RADM Organizers)
• Thomas Arts (Travel Grant Committee: for RTA; FLoC Organizing Committtee: for RTA; FME paper co-author; RTA Conference Chair)
• Ulrike Sattler (HYLO paper co-author; CADE paper co-author; CADE paper co-author; HYLO Organizers)
• Uwe Egly (Travel Grant Committee: for TABLEAUX; FLoC Organizing Committtee: for TABLEAUX; CADE paper author; TABLEAUX program co-chair)

3 hats

2 hats

1 hat