FLoC '02 - hats per country

Hats by country

"Country" is a somewhat slippery concept. Is the European Union a country? It has a parliament and a currency. Is Scotland a country? It sends its own teams to international sports events (at least for some sports) - and has its own currency (at least banknotes) and a parliament, too.

The least arbitrary definition seems to be that a "country" equals one member of the United Nations. That definition will be used below.

[The punchline of this decision used to be that two Swiss institutions would be listed under a "(no country)" heading. That apparently succeeded where decades of quiet diplomacy and appeals to common sense had failed, because three weeks later the Swiss voted themselves into the UN. Please mail suggestions for a replacement punchline to the webmaster.]

USA has 426 hats

Carnegie Mellon University - 42 hats
Stanford University - 27 hats
SRI International - 22 hats
University of Pennsylvania - 20 hats
University of California at Berkeley - 18 hats
State University of New York at Stony Brook - 16 hats
Princeton University - 10 hats
Bell Labs - 9 hats
University of Texas at Austin - 9 hats
Cadence Design Systems - 8 hats
Rice University - 8 hats
University of Wisconsin at Madison - 8 hats
Yale University - 8 hats
Clarkson University - 7 hats
Cornell University - 7 hats
Penn State University - 7 hats
University of Iowa - 7 hats
Loyola University Chicago - 6 hats
New York University - 6 hats
State University of New York at Albany - 6 hats
Indiana University Bloomington - Daniel Leivant (5 hats)
Kestrel Institute - Asuman Sünbül (REFINE paper co-author) - Douglas R. Smith (EFSD invited speaker) - Dusko Pavlovic (EFSD invited speaker) - Matthias Anlauff (REFINE paper co-author; EFSD invited speaker)
NASA Ames - Bernd Fischer (FME paper co-author; CADE paper co-author) - Johann Schumann (PaPS invited speaker; FME paper co-author; CADE paper co-author)
Naval Research Laboratory - Catherine Meadows (4 hats) - Paul Syverson (FCS Organizing Committee)
University of California at Santa Cruz - Luca de Alfaro (CAV paper co-author; CAV paper co-author) - Martín Abadi (FCS Organizing Committee) - Phokion G. Kolaitis (CiAD invited speaker; LICS PC member)
University of Colorado at Boulder - Fabio Somenzi (CAV paper co-author; CAV paper co-author; CAV PC member) - Mitra Purandare (CAV paper co-author) - Sankar Gurumurthy (CAV paper co-author)
University of Miami - Geoff Sutcliffe (5 hats)
University of Texas at Dallas - Gopal Gupta (5 hats)
AT&T Labs - David McAllester (ICLP paper co-author) - Pamela Zave (FME PC member) - Rebecca Wright (FCS Organizing Committee) - Trevor Jim (FCS PC member)
Compaq - Cormac Flanagan (CAV paper co-author) - Sanjit Seshia (CAV paper co-author) - Shaz Qadeer (CAV paper co-author) - Tim Leonard (CAV PC member)
Intel - Jim Grundy (FME PC member) - John Harrison (RADM+PaPS invited speaker; CADE PC member; CASC Competition panel)
Johns Hopkins University - Christian Skalka (FCS paper co-author) - Scott F. Smith (FCS paper co-author; FCS paper co-author) - Yu David Liu (FCS paper co-author)
Massachusetts Institute of Technology - Daniel Jackson (CADE invited speaker) - Darko Marinov (FME paper co-author) - Michael D. Ernst (RV PC member) - Sarfraz Khurshid (FME paper co-author)
Microsoft Research - Jakob Rehof (CAV paper co-author) - James R. Larus (RV PC member) - Sriram K. Rajamani (CAV paper co-author) - Thomas Ball (CAV PC member)
Ohio State University - Carl Pollard (NLULP paper co-author) - Detmar Meurers (NLULP paper co-author; NLULP PC member) - Mike Daniels (NLULP paper co-author)
University of Massachusetts - Neil Immerman (LICS paper co-author; ICC invited speaker) - William Hesse (LICS paper co-author; CAV paper co-author)
University of Utah - Chris Myers (CAV paper co-author) - Ganesh Gopalakrishnan (CAV paper co-author) - Hemanthkumar Sivaraj (CAV paper co-author) - Prosenjit Chatterjee (CAV paper co-author)
Boston University - Assaf J. Kfoury (ITRS paper co-author) - Geoffrey Washburn (ITRS paper co-author) - Wayne Snyder (CADE PC member)
Brown University - Mark Johnson (NLULP PC member) - Pascal Van Hentenryck (ICLP PC member) - Peter Wegner (PCL paper co-author)
Case Western Reserve University - Guo-Qiang Zhang (PCL paper author; FICS paper author; DOMAIN paper co-author)
City University of New York - Melvin Fitting (HYLO invited speaker; TABLEAUX PC member) - Sergei Artemov (IMLA PC member)
DePaul University - Alan Jeffrey (LICS paper co-author; FCS+VERIFY panel; FCS PC member)
ITT Industries - Iliano Cervesato (UNIF paper author; FCS program chair; VERIFY PC member)
Kestrel Technology/NASA Ames - Klaus Havelund (CAV PC member; RT-TOOLS PC member; RV Organizers)
Oregon Health and Science University - Richard B. Kieburtz (WRS paper co-author) - Sylvain Conchon (FCS paper author) - William L. Harrison (WRS paper co-author)
State University of New York at Buffalo - Bharat Jayaraman (ICLP PC member) - Bill Lawvere (DOMAIN invited speaker) - Jan Chomicki (PCL PC member)
University of Kentucky - Miroslaw Truszczynski (ICLP invited tutorial; ICLP paper co-author; ICLP PC member)
University of Minnesota - Gopalan Nadathur (RTA paper co-author) - Michael Whalen (FME paper co-author; CADE paper co-author)
University of Waterloo - Donald D. Cowan (CLPSE paper co-author) - Jing Dong (CLPSE paper co-author) - Paulo S. C. Alencar (CLPSE paper co-author)
Argonne National Laboratory - William McCune (RADM+PaPS panel; CADE PC member)
Brandeis University - Harry G. Mairson (ICC paper co-author) - Peter Møller Neergaard (ICC paper co-author)
Harvard University - Chung-chieh Shan (TABLEAUX paper co-author; NLULP paper co-author)
Harvey Mudd College - Joshua S. Hodas (LFM paper co-author) - Lubomira Stoilova (LFM paper co-author)
Honeywell - David J. Musliner (RT-TOOLS paper co-author) - Michael J. S. Pelican (RT-TOOLS paper co-author)
MITRE - Amy L. Herzog (VERIFY paper co-author) - Joshua Guttman (VERIFY paper co-author)
NASA Langley - Alfons Geser (RTA paper author) - Ben Di Vito (FME PC member)
Palo Alto Reseach Center - Valeria de Paiva (IMLA PC member; IMLA Organizers)
Purdue University - Jens Palsberg (LICS paper co-author) - Tian Zhao (LICS paper co-author)
Stevens Institute of Technology - David A. Naumann (REFINE invited speaker; FME paper co-author)
Syracuse University - James S. Royer (ICC invited speaker; ICC program chair)
University of New Mexico - Deepak Kapur (CADE PC member; VERIFY PC member)
Wesleyan University - Daniel J. Dougherty (RTA paper co-author; RTA PC member)
37 institutions with one hat each.

France has 195 hats

LORIA Nancy - 48 hats
IMAG Grenoble - 24 hats
University of Paris VII - 15 hats
University of Paris XI (Paris-Sud) - 14 hats
ENS Cachan - 12 hats
University of Orléans - 11 hats
INRIA Rocquencourt - 9 hats
IRISA Rennes - 8 hats
ENS Lyon - 6 hats
INRIA Sophia-Antipolis - Davide Sangiorgi (LICS paper co-author) - Gerard Boudol (FICS paper co-author) - Marieke Huisman (FME paper co-author) - Néstor Cataño (FME paper co-author) - Pascal Zimmer (FICS paper co-author)
ENS Paris - Alain Frisch (LICS paper co-author) - Alain Frish (ITRS paper co-author) - Giuseppe Castagna (LICS paper co-author) - Patrick Cousot (CAV invited tutorial)
Ecole des Mines de Nantes - Narendra Jussien (WLPE paper co-author; CICLOPS paper co-author) - Rémi Douence (CICLOPS paper co-author) - Samir Ouis (WLPE paper co-author)
IML Marseille - Jean-Yves Girard (ICC PC member) - Kazushige Terui (LL invited speaker) - Laurent Regnier (LL Organizers) - Sylvain Lippi (RTA paper author)
INRIA Rhône-Alpes - Gordon Pace (CAV paper co-author) - Hubert Garavel (FME paper co-author) - Karine Altisen (RT-TOOLS paper co-author) - Olivier Brunet (IMLA paper author)
LaBRI Bordeaux - Grégoire Sutre (CAV paper co-author) - Igor Walukiewicz (CADE PC member) - Luigi Santocanale (FICS paper author)
LIM Marseille - Monique Rolbert (NLULP PC member) - Paul Sabatier (NLULP PC member)
University of Caen - Jean-Marie Le Bars (LICS paper author) - Patrice Boizumault (WLPE paper co-author)
University of Franche-Comté - Bruno Legeard (FME paper co-author) - Fabien Peureux (FME paper co-author)
University of Lille - Jean-Marc Talbot (RTA paper co-author) - Sophie Tison (RTA program chair)
École Polytechnique - Miki Hermann (CiAD paper co-author; CiAD Organizers)
14 institutions with one hat each.

UK has 191 hats

University of Edinburgh - 24 hats
University of Cambridge - 17 hats
Imperial College - 15 hats
University of Manchester - 15 hats
University of Birmingham - 12 hats
Oxford University - 10 hats
University of Kent at Canterbury - 10 hats
University of Leicester - 8 hats
Heriot-Watt University - 6 hats
King's College London - 6 hats
University of Liverpool - 6 hats
Microsoft Research Cambridge - Dieter Gollmann (FCS+VERIFY invited speaker) - Ernie Cohen (FCS+VERIFY paper author; FCS+VERIFY panel; FME PC member) - Nick Benton (FICS paper co-author)
Rutherford Appleton Laboratory - Juan Bicarregui (4 hats) - Theodosis Dimitrakos (VDM paper co-author)
Queen Mary, University of London - David Pym (CADE PC member) - Josh Berdine (LL paper co-author) - Peter O'Hearn (LL paper co-author; LICS PC member)
Transitive Technologies Ltd - John Fitzgerald (4 hats)
University of Newcastle upon Tyne - Maciej Koutny (CAV paper co-author) - Neil Henderson (FME paper co-author) - Peter Ryan (FCS Organizing Committee) - Victor Khomenko (CAV paper co-author)
Royal Holloway, University of London - Helen Treharne (FME paper author) - Steve Schneider (FCS Organizing Committee; VERIFY PC member)
The Open University - Adrian Hilton (REFINE paper co-author) - Bashar Nuseibeh (ICLP paper co-author) - Jon G. Hall (REFINE paper co-author)
University College London - Jeremy Gow (RADM paper co-author) - Paul Cairns (RADM paper co-author) - Rob Miller (ICLP paper co-author)
University of Sussex - Bernhard Reus (LICS paper co-author) - Julian Rathke (LICS paper co-author) - Vladimiro Sassone (LICS paper co-author)
University of York - Fiona Polack (REFINE paper co-author) - Ian Toyn (REFINE paper co-author) - Steve King (FME paper co-author)
City University, London - Michael Schroeder (CLIMA paper co-author) - Ralf Schweimeier (CLIMA paper co-author)
University of St Andrews - Roy Dyckhoff (TABLEAUX PC member) - Ursula Martin (CADE PC member)
21 institutions with one hat each.

Germany has 188 hats

Saarland University - 23 hats
MPI Saarbrücken - 17 hats
Dresden University of Technology - 16 hats
Technical University of Munich - 14 hats
University of Munich - 12 hats
Aachen University of Technology - 9 hats
DFKI Saarbrücken - 9 hats
University of Freiburg - 8 hats
University of Mannheim - 8 hats
Technical University of Braunschweig - 7 hats
Karlsruhe University - 6 hats
University of Kiel - Frank Huch (WRS paper co-author) - Martin Steffen (FME paper co-author) - Michael Hanus (WRS paper co-author; WRS PC member) - Ralf Küsters (FCS paper author)
Frankfurt University - Manfred Schmidt-Schauß (4 hats)
University of Koblenz-Landau - Peter Baumgartner (CADE PC member; CADE Publicity Chair; TABLEAUX PC member) - Ulrich Furbach (FLoC Steering Committee: CADE representative)
University of Potsdam - Philippe Besnard (PCL paper co-author) - Torsten Schaub (PCL paper co-author; ICLP paper co-author) - Vladimir Sarsakov (ICLP paper co-author)
University of Bremen - Christoph Lüth (FICS paper co-author; EFSD Organizers) - Grigoris Antoniou (ICLP paper co-author)
University of Dortmund - Bernhard Steffen (CAV PC member) - Goran Frehse (RT-TOOLS paper author) - Tiziana Margaria (RT-TOOLS PC member)
University of Hannover - Erich Barke (CAV paper co-author) - Lars Hedrich (CAV paper co-author) - Walter Hartong (CAV paper co-author)
University of Kaiserslautern - Bernd Löchner (CADE paper co-author) - Jürgen Avenhaus (CADE PC member) - Reiner Hartenstein (WRS paper co-author)
Cirrus Management - Christian Suttner (CASC Organizers; PaPS Organizers)
Humboldt University of Berlin - Axel Martens (FME-T2 Presenters) - Wolfgang Reisig (FME-T2 Presenters)
Opel AG - Christoph Weidenbach (CADE paper co-author; CADE PC member)
University of Augsburg - Georg Struth (RTA paper author) - Walter Vogler (CAV paper co-author)
University of Bamberg - Michael Mendler (IMLA PC member; IMLA Organizers)
University of Erlangen - Markus Siegle (PAPM-PROBMIV paper co-author) - Matthias Kuntz (PAPM-PROBMIV paper co-author)
University of Hamburg - Berndt Farwer (LL paper co-author) - Ralf Möller (CADE PC member)
University of Leipzig - Frank Wolter (LICS paper co-author) - Johannes Waldmann (RTA paper author)
University of Oldenburg - Michael Möller (RV paper co-author) - Werner Damm (CAV PC member)
University of Passau - Adi Palm (HYLO paper author) - Volker Weispfenning (CADE PC member)
10 institutions with one hat each.

Italy has 109 hats

University of Turin - 15 hats
University of Genova - 14 hats
ITC-irst - 13 hats
University of Rome I (La Sapienza) - 7 hats
University of Trento - 7 hats
University of Bologna - 6 hats
University of Udine - 6 hats
CNR Pisa - Fabio Martinelli (SAVE paper author; FCS+VERIFY panel; VERIFY PC member) - Umberto Straccia (ICLP paper co-author) - Yann Loyer (ICLP paper co-author)
University of Milan - Camillo Fiorentini (TABLEAUX paper co-author) - Lorenzo Sacchetti (UNIF paper co-author) - Mauro Ferrari (TABLEAUX paper co-author) - Piero A. Bonatti (ICLP paper author) - Silvio Ghilardi (UNIF paper co-author)
University of Padova - Francesca Rossi (ICLP PC member) - Giovanni Sambin (IMLA invited speaker) - Maria Emilia Maietti (IMLA paper co-author; ICC paper co-author)
University of Pisa - Alessandra Di Pierro (PAPM-PROBMIV paper co-author) - Andrea Corradini (RTA PC member) - Egon Börger (REFINE invited speaker; AS invited speaker)
University of Verona - Gianluigi Bellin (IMLA paper author) - Giuseppe Scollo (EFSD paper co-author) - Nicola Piccinini (EFSD paper co-author) - Roberto Segala (PAPM-PROBMIV Organizers)
Polytechnic of Turin - Gianpiero Cabodi (CAV paper co-author) - Sergio Nocco (CAV paper co-author) - Stefano Quer (CAV paper co-author)
University of Rome III - Carla Limongelli (TABLEAUX paper co-author) - Marta Cialdea Mayer (TABLEAUX paper co-author; TABLEAUX paper co-author)
University of Salerno - Aniello Murano (LICS paper co-author) - Marco Faella (LICS paper co-author) - Salvatore La Torre (LICS paper co-author)
University of Bari - Emanuele Covino (LICS paper co-author) - Giovanni Pani (LICS paper co-author)
University of Venice - Riccardo Focardi (VERIFY PC member) - Stefania Lusin (ITRS paper co-author)
Varese University - Guido Fiorino (TABLEAUX paper author; TABLEAUX paper co-author)
4 institutions with one hat each.

Denmark has 97 hats

University of Copenhagen - 29 hats
Technical University of Denmark - 16 hats
IT University of Copenhagen - 14 hats
University of Aarhus - 12 hats
Aalborg University - 11 hats
University of Roskilde - 9 hats
Systematic Software Engineering - Paul Mukherjee (VDM invited tutorial; FME Tool Demonstration Coordinator) - Peter Gorm Larsen (VDM invited tutorial; IDAY invited speaker; VDM Organizers)
IFAD Odense - Richard Moore (FME PC member)

Japan has 60 hats

Toshiba - 6 hats
AIST - Hitoshi Ohsaki (UNIF paper co-author; RTA paper co-author) - Toshinori Takai (UNIF paper co-author; RTA paper co-author; RTA paper co-author)
Osaka University - Akio Nakata (FME paper co-author) - Kenichi Taniguchi (FME paper co-author) - Takaaki Umedu (FME paper co-author) - Teruo Higashino (FME paper co-author) - Yoshiki Terashima (FME paper co-author)
University of Tsukuba - Aart Middeldorp (4 hats) - Mircea Marin (UNIF paper co-author)
Kobe University - Katsumi Inoue (4 hats)
Nagoya University - Katsuhiko Toyama (CLIMA paper co-author) - Masahiko Sakai (HOR paper co-author) - Takahiro Kojima (CLIMA paper co-author) - Yasuyoshi Inagaki (CLIMA paper co-author)
Nara Institute of Science and Technology - Hiroyuki Seki (RTA paper co-author) - Keiichi Yasumoto (FME paper co-author) - Youhei Fujinaka (RTA paper co-author) - Yuichi Kaji (RTA paper co-author)
Tokyo Institute of Technology - Tomohiro Yoneda (CAV paper co-author) - Tomoya Kitai (CAV paper co-author) - Toshiharu Waragai (PCL Organizers)
ATR Media Information Science Laboratories - Shiro Takata (CLIMA paper co-author; CLIMA paper co-author)
Kyushu University - Keijiro Araki (VDM paper co-author) - Ryuzo Hasegawa (CADE PC member)
NTT Communication Science Laboratories - Tadashi Araragi (CLIMA paper co-author; CLIMA paper co-author)
Nara Women's University - Naoyuki Nide (CLIMA paper co-author; CLIMA paper co-author)
National Institute of Informatics - Ken Satoh (CLIMA PC member; CLIMA Organizers)
Nihon University - Chen Lingjun (RADM paper co-author) - Hidetsune Kobayashi (RADM paper co-author)
Tohoku University - Keiichirou Kusakari (HOR paper co-author) - Yoshihito Toyama (WRS PC member)
University of Gunma - Makoto Hamana (UNIF paper author; HOR paper author)
8 institutions with one hat each.

Sweden has 58 hats

Chalmers University of Technology - 15 hats
Uppsala University - 15 hats
Linköping University - Aida Vitória (PCL paper co-author) - Jan Maluszynski (PCL paper co-author) - Pierangelo Dell'Acqua (CLIMA paper co-author) - Ulf Nilsson (CLIMA paper co-author; ICLP PC member)
Swedish Institute of Computer Science - Christoph Sprenger (FICS paper co-author) - Magnus Ågren (WLPE paper co-author) - Mats Carlsson (WLPE paper co-author) - Nicolas Beldiceanu (WLPE paper co-author) - Tamás Szeredi (WLPE paper co-author)
Ericsson - Thomas Arts (4 hats)
Lund Institute of Technology - Anton Cervin (RT-TOOLS paper co-author) - Bo Lincoln (RT-TOOLS paper co-author) - Dan Henriksson (RT-TOOLS paper co-author) - Karl-Erik Årzén (RT-TOOLS paper co-author)
Enea OSE Systems AB - Jan Lindblad (RT-TOOLS paper co-author) - Martin Carlsson (RT-TOOLS paper co-author)
Safelogic AB - Johan Mårtensson (PaPS paper co-author) - Koen Claessen (PaPS paper co-author)
University of Skövde - Barbara Gawronska (NLULP paper author) - Göran Falkman (WLPE paper co-author)
4 institutions with one hat each.

The Netherlands has 54 hats

University of Amsterdam - 18 hats
CWI Amsterdam - 11 hats
University of Twente - 10 hats
Utrecht University - 7 hats
Vrije University of Amsterdam - Femke van Raamsdonk (LFM paper co-author; HOR Organizers; RTA PC member)
Eindhoven University of Technology - Dragan Bosnacki (RT-TOOLS paper author) - Natalia Sidorova (FME paper co-author)
West Consulting - Nico Plat (VDM invited tutorial; FME PC member)
University of Groningen - Gertjan van Noord (NLULP PC member)

Spain has 45 hats

Polytechnic University of Valencia - 12 hats
Technical University of Madrid - 11 hats
Technical University of Catalonia - 6 hats
University of Málaga - Enrique Mérida-Casermeiro (ICLP paper co-author) - Ernesto Pimentel (LFM paper co-author) - Jesús Medina (ICLP paper co-author) - Manuel Ojeda-Aciego (ICLP paper co-author) - Pablo López (LFM paper co-author)
University of Vigo - Francisco J. Gonzáles-Castaño (FME paper co-author) - Juan C. Burguillo-Rial (FME paper co-author) - Manuel J. Fernández-Iglesias (FME paper co-author) - Martín Llamas-Nistal (FME paper co-author)
University of Girona - Mateu Villaret (UNIF paper co-author; RTA paper co-author) - Miquel Bofill (CADE paper co-author)
4 institutions with one hat each.

Israel has 40 hats

IBM Haifa - 18 hats
Israel Institute of Technology - Johann A. Makowsky (LICS PC member) - Nissim Francez (NLULP PC member) - Orna Grumberg (CAV paper co-author; LICS PC member) - Yoram Moses (LICS PC member)
Tel Aviv University - Arnon Avron (CADE-T2 Organizer) - Mooly Sagiv (LICS paper co-author) - Nachum Dershowitz (FLoC Steering Committee: RTA representative; WG16 paper author; UNIF invited speaker)
Weizmann Institute of Science - Amir Pnueli (4 hats) - Nir Piterman (CAV paper co-author)
Hebrew University of Jerusalem - Orna Kupferman (CAV paper co-author; CADE paper co-author; CAV PC member)
Bar-Ilan University - Zurab Khasidashvili (WRS paper co-author; RTA paper co-author)
2 institutions with one hat each.

Brazil has 36 hats

Federal University of Pernambuco - 17 hats
Federal University of Rio de Janeiro - J. Viana (HYLO paper co-author) - M. Benevides (HYLO paper co-author) - P. Veloso (HYLO paper co-author) - Renata de Freitas (HYLO paper co-author) - S. Veloso (HYLO paper co-author)
Federal University of Rio Grande do Norte - Anamaria Martins Moreira (RTA paper co-author) - Benjamín René Callejas Bedregal (DOMAIN paper author; DOMAIN paper co-author) - David Déharbe (RTA paper co-author)
University of Brasilia - Mauricio Ayala-Rincón (WRS paper co-author) - Ricardo P. Jacobi (WRS paper co-author) - Rinaldi Maya Neto (WRS paper co-author)
Federal University of Paraná - Cláudio R. V. Carvilhe (AS paper co-author) - Martín A. Musicante (AS paper co-author)
5 institutions with one hat each.

Austria has 33 hats

Vienna University of Technology - 32 hats
Graz University of Technology - Roderick Bloem (CAV paper co-author)

Australia has 33 hats

Australian National University - 9 hats
University of Queensland - 6 hats
RMIT University - James Harland (4 hats) - Michael Winikoff (CLIMA paper co-author)
University of New South Wales - Arun Sharma (ICLP paper co-author) - Eric Martin (ICLP paper co-author) - Kai Engelhardt (REFINE invited speaker) - Phuong Nguyen (ICLP paper co-author)
University of New England - Ian A. Mason (LICS paper co-author) - Jonathan Ford (LICS paper co-author; CADE paper co-author)
Monash University - María García de la Banda (ICLP paper co-author; ICLP PC member)
University of Melbourne - Harald Søndergaard (ICLP PC member) - Peter Stuckey (ICLP program chair)
2 institutions with one hat each.

Portugal has 25 hats

New University of Lisbon - 11 hats
University of Lisbon - Antónia Lopes (REFINE paper co-author; FME-T3 Presenters) - José Luiz Fiadeiro (REFINE paper co-author; EFSD paper co-author; FME-T3 Presenters)
University of Porto - Luis Damas (CICLOPS paper co-author) - Michel Ferreira (CICLOPS paper co-author) - Ricardo Lopes (CICLOPS paper co-author)
ATX Software - Luís Andrade (EFSD paper co-author; FME-T3 Presenters)
IST Lisbon - Antonio Pacheco (PAPM-PROBMIV paper co-author) - Claudio Hermida (IMLA paper author)
University of Minho - José N. Oliveira (VDM invited speaker; FME PC member)

Canada has 24 hats

University of Toronto - 8 hats
Simon Fraser University - Jens Happe (TABLEAUX paper author) - Veronica Dahl (ICLP banquet speaker; NLULP PC member)
McMaster University - Emil Sekerinski (REFINE invited speaker) - Michael Soltys (LICS paper co-author)
University of Alberta - Jeff Pelletier (CASC Competition panel; PaPS Organizers)
University of British Columbia - Alan J. Hu (CAV paper co-author) - Jesse D. Bingham (CAV paper co-author)
University of Ottawa - Amy Felty (LFM PC member) - Richard Blute (LL invited speaker)
5 institutions with one hat each.

Belgium has 23 hats

K.U. Leuven - 10 hats
University of Brussels (Libre) - Gilles Geeraerts (SAVE paper co-author) - Jean-François Raskin (SAVE paper co-author) - Laurent Van Begin (SAVE paper co-author) - Marc Denecker (PCL paper co-author) - Pierre Ganty (SAVE paper co-author)
European Commission - David Pearce (ICLP paper co-author; IDAY invited speaker)
Mission Critical - Michel Vanden Bossche (ICLP paper co-author; CLPSE invited speaker)
University of Liege - Bernard Boigelot (ICLP invited speaker) - Pierre Wolper (ICLP invited speaker)
2 institutions with one hat each.

Russia has 13 hats

ISP/RAS Moscow - 11 hats
IIS/RAS Novosibirsk - Natalia Olegovna Garanina (FICS paper co-author) - Nikolay Vyacheslavovich Shilov (FICS paper co-author)

China has 9 hats

Beijing University of Aeronautics and Astronautics - Ke Xu (ICLP paper co-author) - Shilong Ma (ICLP paper co-author)
UNU/IIST, Macau - Bernhard Aichernig (REFINE paper author; FME PC member)
5 institutions with one hat each.

Moldova has 8 hats

University of Applied Sciences of Moldova - 8 hats

Poland has 7 hats

University of Wroclaw - Jerzy Marcinkowski (RTA PC member) - Leszek Pacholski (CADE PC member) - Tomasz Wierzbicki (RTA paper co-author)
Warsaw University - Linh Anh Nguyen (TABLEAUX paper author) - Pawel Urzyczyn (ITRS PC member)
2 institutions with one hat each.

Singapore has 7 hats

National University of Singapore - Abhik Roychoudhury (ICLP invited tutorial) - Hai Wang (FME paper co-author) - Jin Song Dong (FME paper co-author) - Jing Sun (FME paper co-author) - Joxan Jaffar (ICLP PC member)
National Institute of Education - Ho Weng Kin (DOMAIN paper co-author) - Zhao Dongsheng (DOMAIN paper co-author)

Switzerland has 7 hats

IBM Zürich - Birgit Pfitzmann (FME paper co-author; FCS PC member) - Michael Waidner (FCS Organizing Committee)
4 institutions with one hat each.

Finland has 6 hats

Åbo Akademi University - Joakim von Wright (REFINE invited speaker; FME PC member; REFINE Organizers) - Johan Lilius (RT-TOOLS PC member) - Ralph-Johan Back (REFINE invited speaker)
Helsinki University of Technology - Ilkka Niemelä (CADE PC member)

Ireland has 6 hats

Dublin City University - Benjamin Aziz (SAVE paper co-author) - Claus Pahl (FME paper author) - G. W. Hamilton (SAVE paper co-author)
University College Cork - Toby Walsh (RADM paper co-author; CADE PC member)
Trinity College Dublin - Carl Vogel (NLULP PC member)

New Zealand has 6 hats

University of Auckland - Bakhadyr Khoussainov (LICS paper co-author) - Gillian Dobbie (ICLP paper co-author) - Sasha Rubin (LICS paper co-author)
Victoria University of Wellington - Lindsay Groves (REFINE paper author; EFSD paper author)
University of Waikato - Mark Utting (FME paper co-author)

South Korea has 5 hats

Hanyang University - Ki-Hwan Choi (AS paper co-author) - Kyung-Goo Doh (AS paper co-author)
SECUi.com - Moonjoo Kim (RV paper co-author; RV paper co-author)
Dongyang University - Seung Cheol Shin (AS paper co-author)

Cyprus has 4 hats

University of Cyprus - Andreas Sideris (ICLP paper co-author) - Antonis C. Kakas (CLIMA paper co-author) - Pavlos Moraitis (CLIMA paper co-author) - Yannis Dimopoulos (ICLP paper co-author)

Hungary has 4 hats

IQSOFT Intelligent Software - Péter Krauth (ICLP paper co-author) - Péter Szeredi (ICLP paper co-author) - Tamás Benkö (ICLP paper co-author)
University of Szeged - Zoltán Ésik (FICS Organizers)

(no country) has 3 hats

National Taiwan University - Jieh Hsiang (PaPS paper co-author) - YaoChinag Chen (PaPS paper co-author) - Yuh Pyng Shieh (PaPS paper co-author)

Mexico has 3 hats

University of the Americas - José Arrazola (ICLP paper co-author) - Juan Antonio Navarro (ICLP paper co-author) - Mauricio Osorio (ICLP paper co-author)

Norway has 3 hats

3 institutions with one hat each.

Czech Republic has 2 hats

Charles University - Petr Olmer (ICLP paper co-author) - Petr Stepánek (ICLP paper co-author)

Slovakia has 2 hats

Comenius University - Paul J. Voda (ICC invited speaker; ICC PC member)

Venezuela has 2 hats

2 institutions with one hat each.