Workshops

Workshops organisers:

• Vladimiro Sassone
• Julian Rathke

There will be a volume of Electronic Notes in Theoretical Computer Science associated with the workshops.

• Monday 30 August 2004
  • BIOCONCUR 2004
    Contact: Anna Ingolfsdottir (annai "at" decode.is)
  • 11th International Workshop in Expressiveness in Concurrency, EXPRESS 2004
    Contact: Flavio Corradini (flavio.corradini "at" unicam.it)
  • 3rd International Workshop on Foundations of Coordination Languages and Software Architectures, FOCLASA 2004
    Contact: Jean-Marie Jacquet (jmj "at" info.fundp.ac.be)
  • 2nd International Workshop on Security Issues in Coordination Models, Languages and Systems, SECCO 2004
    Contact: Gianluigi Zavattaro (zavattar "at" cs.unibo.it)
  • Workshop on Structural Operational Semantics, SOS 2004
    Contact: Luca Aceto (luca "at" cs.auc.dk)
  • II Workshop on Object-Oriented Developments, WOOD 2004
    Contact: Viviana Bono (bono "at" di.unito.it)
• Friday 3 September and Saturday 4 September 2004
  • Foundations of Global Ubiquitous Computing, FGUC
    Contact: Julian Rathke (julianr "at" susx.ac.uk)
• Saturday 4 September 2004
  • Fourth International Workshop on Automated Verification of Critical Systems, AVoCS 2004
    Contact: Michael Huth (mrh "at" doc.ic.ac.uk)
  • Infinity
    Contact: Julian Bradfield (jcb "at" inf.ed.ac.uk)
  • First International Workshop on Practical Applications of Stochastic Modelling, PASM 2004
    Contact: Jeremy Bradley (jb "at" doc.ic.ac.uk)
  • 3rd International Workshop on Parallel and Distributed Methods in VerifiCation, PDMC 2004
    Contact: Martin Leucker (Martin.Leucker "at" it.uu.se)