2nd MONDRIAN Workshop: 9-10 May, 2011

This 2nd Research Workshop intends to bring together researchers in mathematical foundations for specification and verification of software systems and their application to the development of models and calculi for interaction, composition and coordination of software components and services. It is expected the workshop will promote a deep understanding of these topics and their interplay, discussing ongoing work, raising new research questions and fostering further collaboration.

Call for Participation (download)


Monday, 9th May

  • Seminar on Protoalgebraic Pi-institutions, G. Voutsadakis (Lake Superior State University)
  • Project Talks (tba)

Monday, 10th May

  • Project Talks (tba)