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

       

Aims and topics
Format and location
Important dates
Committees
Invited speakers
 Submissions
Accepted abstracts
Proceedings new
Program
Registration
Grants
Sponsorships
Travel
Accommodation
Meals
Information
Contact