[TYPES/announce] BEAT 2014 -- Call for Participation

[Marco Carbone]

CALL FOR PARTICIPATION

                                BEAT 2014

           Third International Workshop on Behavioural Types
                    *1 September 2014, Rome, Italy*
  http://beat2014.behavioural-types.eu

Organized by COST Action IC1201: Behavioural Types for Reliable
Large-Scale Software Systems (BETTY).

Affiliated to CONCUR 2014: 25th International Conference on
Concurrency Theory.


*** Highlights ***

- *Early Registration Deadline: 27th July 2014*
      http://www.concur2014.org/reg_easy.php

- *Invited Speaker: Vladimiro Sassone*
     http://www.ecs.soton.ac.uk/people/vs

- *Accepted Works:*

Franco Barbanera, Mariangiola Dezani and Ugo De'Liguoro
Compliance for reversible client/server interactions

Massimo Bartoletti, Alceste Scalas and Roberto Zunino
A semantic deconstruction of session types
(Presentation only)

Ilaria Castellani, Mariangiola Dezani-Ciancaglini and Jorge A. Pérez
Self-Adaptation and Secure Information Flow in Multiparty Structured
Communications: A Unified Perspective

Ornela Dardha
Recursive Session Types Revisited

Silvia Ghilezan, Svetlana Jaksic, Jovanka Pantovic, Jorge A. Pérez and Hugo
Torres Vieira
Dynamic role authorization in multiparty conversations

Rumyana Neykova, Laura Bocchi and Nobuko Yoshida
Timed Runtime Monitoring for Multiparty Conversations


More information available online at: http://beat2014.behavioural-types.eu
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20140727/df7fdb99/attachment.html>