Call for papers
Programme and registration
Sept 4-5, 2015, Madrid
in Eindhoven, co-chaired by Thomas Hildebrandt and Matthias Weidlich
in Beijing, co-chaired by Chun Ouyang and Emilio Tuosto
in Talin, co-chaired by Maurice ter Beek and Niels Lohmann
in Clermont-Ferrand, co-chaired by Marco Carbone and Jean-Marc Petit
in Hoboken, co-chaired by Mario Bravetti and Tevfik Bultan
in Bologna, co-chaired by Cosimo Laneve and Jianwen Su
in Milan, co-chaired by Roberto Bruni and Karsten Wolf
in Brisbane, co-chaired by Marlon Dumas and Reiko Heckel
in Wien, co-chaired by Mario Bravetti and Gianluigi Zavattaro
in Versailles, co-chaired by Mario Bravetti and Gianluigi Zavattaro
in Pisa, co-chaired by Mario Bravetti and Gianluigi Zavattaro
in Roma, co-chaired by Marco Carbone and Adrian Francalanza
BEAT2: 2nd International Workshop on Behavioural Types
, co-located with SEFM, September 2013
BEAT: 1st International Workshop on Behavioural Types
, co-located with POPL, January 2013
Behavioural Types Workshop
, Lisbon, April 2011
The dinner starts at 20:30. The location is
"Sazadon", Calle de Gaztambide, 44, 28015 Madrid
, closeby Moncloa.
of the symposium has been posted on this website!
Invited speakers known
We are happy to anounce that Cosimo Laneve and Javier Esparza will give an invited talk.
have been extended to July 1 and 3.
Website of WSFM/BEAT 2015 is online.