WADT 2012

21st International Workshop on Algebraic Development Techniques

Salamanca, Spain, June 7-10, 2012

WADT 2012 Invited speakers


The invited speakers of WADT 2012 will be:

    • Roberto Bruni. UniversitÓ di Pisa, Italy. Open Multiparty Interaction. Joint work with Chiara Bodei and Linda Brodo.
    • Francisco Durán. Universidad de Málaga, Spain. On the modularity and reusability of the rule-based specification of QoS properties of systems. Joint work with Steffen Zschaler.
    • Kim G. Larsen. Aalborg University, Denmark. Quantitative Modal Transition Systems