Individual hat counts

9 hats

8 hats

7 hats

6 hats

5 hats

4 hats

3 hats

Alan Jeffrey, Albert Rubio, Alessandro Cimatti, Anna Gringauze, Balder ten Cate, Baruch Sterin, Carsten Schürmann, Cesare Tinelli, Christoph Kreitz, Ernie Cohen, Fabio Martinelli, Fabio Somenzi, Femke van Raamsdonk, Francesca Toni, Francisco Bueno, François Bry, François Fages, Gerard J. Holzmann, Gilles Audemard, Glynn Winskel, Gordon Plotkin, Guo-Qiang Zhang, Hans Tompits, Harald Fecher, Henning Makholm, Henny B. Sipma, Hermano Moura, Iliano Cervesato, Insup Lee, Jean Goubault-Larrecq, Jean-Yves Marion, Jens Peter Secher, Joakim von Wright, Johann Schumann, John Derrick, John Harrison, Joseph Sifakis, José Luiz Fiadeiro, João Alexandre Leite, Jürgen Zimmer, Klaus Havelund, Leo Bachmair, Luís Moniz Pereira, Maria Paola Bonacina, Marta Kwiatkowska, Martin Hyland, Mateja Jamnik, Michaël Rusinowitch, Mila Majster-Cederbaum, Miroslaw Truszczynski, Nachum Dershowitz, Nils Andersen, Oleg Sokolsky, Olivier Bournez, Orna Kupferman, Paliath Narendran, Paul-André Melliès, Paula Severi, Peter Baumgartner, Peter Gorm Larsen, Pierre Réty, Rance Cleaveland, Reinhold Letz, Samson Abramsky, Sandro Etalle, Sharon Barner, Stefan Woltran, Steffen van Bakel, Toshinori Takai, Ulrich Kohlenbach, Wang Yi, Yaron Wolfsthal.

2 hats

198 persons wear 2 hats each.

1 hat

855 persons wear 1 hat each.