January 29 – February 3 , 2017, Dagstuhl Seminar 17051
Last update: April 23 2017
Theory and Applications of Behavioural Types
Participants
- Gul Agha (University of Illinois – Urbana-Champaign, US) [dblp]
- Nada Amin (EPFL – Lausanne, CH) [dblp]
- Robert Atkey (University of Strathclyde – Glasgow, GB) [dblp]
- Giovanni Tito Bernardi (University Paris-Diderot, FR) [dblp]
- Laura Bocchi (University of Kent – Canterbury, GB) [dblp]
- Edwin Brady (University of St. Andrews, GB) [dblp]
- Luis Caires (New University of Lisbon, PT) [dblp]
- Marco Carbone (IT University of Copenhagen, DK) [dblp]
- Ilaria Castellani (INRIA Sophia Antipolis, FR) [dblp]
- Tzu-Chun Chen (TU Darmstadt, DE) [dblp]
- Mariangiola Dezani (University of Turin, IT) [dblp]
- Patrick Thomas Eugster (TU Darmstadt, DE) [dblp]
- Adrian Francalanza (University of Malta – Msida, MT) [dblp]
- Ronald Garcia (University of British Columbia – Vancouver, CA) [dblp]
- Simon Gay (University of Glasgow, GB) [dblp]
- Philipp Haller (KTH Royal Institute of Technology – Stockholm, SE) [dblp]
- Thomas T. Hildebrandt (IT University of Copenhagen, DK) [dblp]
- Hans Hüttel (Aalborg University, DK) [dblp]
- Keigo Imai (Gifu University, JP) [dblp]
- Dimitrios Kouzapas (University of Glasgow, GB) [dblp]
- Roland Kuhn (Actyx AG – München, DE) [dblp]
- Ivan Lanese (University of Bologna, IT) [dblp]
- Hugo-Andrés López (Technical University of Denmark – Lyngby, DK) [dblp]
- Francisco Martins (University of Lisbon, PT) [dblp]
- Conor McBride (University of Strathclyde – Glasgow, GB) [dblp]
- Hernán Melgratti (University of Buenos Aires, AR) [dblp]
- Fabrizio Montesi (University of Southern Denmark – Odense, DK) [dblp]
- J. Garrett Morris (University of Edinburgh, GB) [dblp]
- Nicholas Ng (Imperial College London, GB) [dblp]
- Dominic Orchard (University of Kent – Canterbury, GB) [dblp]
- Luca Padovani (University of Turin, IT) [dblp]
- Jovanka Pantovic (University of Novi Sad, RS) [dblp]
- Frank Pfenning (Carnegie Mellon University – Pittsburgh, US) [dblp]
- Antonio Ravara (Universidade Nova de Lisboa, PT) [dblp]
- Konstantinos Sagonas (Uppsala University, SE) [dblp]
- Alceste Scalas (Imperial College London, GB) [dblp]
- Nicolas Tabareau (Ecole des Mines de Nantes, FR) [dblp]
- Peter Thiemann (Universität Freiburg, DE) [dblp]
- Hugo Torres Vieira (IMT – Lucca, IT) [dblp]
- Emilio Tuosto (University of Leicester, GB) [dblp]
- Vasco T. Vasconcelos (University of Lisbon, PT) [dblp]
- Philip Wadler (University of Edinburgh, GB) [dblp]
- Nobuko Yoshida (Imperial College London, GB) [dblp]
- Shoji Yuen (Nagoya University, JP) [dblp]
In case of mistakes or questions regarding the links to dblp, please contact Michael Wagner