Talks at the La Roche IFIP WG1.3 meeting

    Talks at the La Roche en Ardenne IFIP WG1.3 meeting (June 3-6, 2006)


    18 abstracts now with 10 slides and 6 papers, and 1 MOVIE !! 3 observers home pages

    === Saturday, June 3rd
  • Andrzej TARLECKI (Warsaw U. and Polish Academy of Sciences, Poland) abstract
    Towards (institutional) foundations for heterogeneous specifications
  • Hans-Joerg KREOWSKI (U. Bremen, Germany) abstract
    Short introduction to the Collaborative Research Centre 637 Autonomous cooperating logistic processes - A paradigm shift and its limitations
  • Dominique DUVAL (U. Grenoble, France) abstract
    The category of diagrammatic logics
    • === Sunday, June 4th
  • Mark RYAN (U. Birmingham, UK) abstract
    Modelling and verifying electronic voting protocols in the applied pi calculus
  • Pascale LE GALL (U. Evry, France) abstract
    Conformance testing for input/output symbolic transition systems
  • Laure PETRUCCI (U. Paris-Nord, France) abstract
    Modular Analysis of Petri Nets
  • Aguirre NAZARENO (U. Nacional de Rio Cuarto, Argentina) abstract
    Analysing properties of execution in (Dyn)Alloy
    • ---
  • Leila RIBEIRO (U. Federal do Rio Grande do Sul, Porto Alegre, Brasil) abstract
    Assume guarantee with object-oriented graph grammars
  • Fabio GADDUCCI (U. Pisa, Italy) abstract
    Bisimulation from graphical encoding (DPOs, cospans, relative POs and all that)
  • Markus ROGGENBACH (U. Swansea, UK) abstract
    CSP-CASL: semantics, application, tools
    • === Monday, June 5th
  • Nicoletta SABADINI (U. Insubria, Varese-Como, Italy) abstract
    An algebra for automata: introduction
  • Robert WALTERS (U. Insubria, Varese-Como, Italy) abstract
    Algebra for automata
  • Razvan DIACONESCU (IMAR, Bucarest, Roumanie) abstract
    Institution-independent model theory
  • Lutz SCHROEDER (U. Bremen, Germany) abstract
    PSPACE bounds for rank 1 modal logic (with Dirk Pattinson)
    • ---
  • Christine CHOPPY (U. Paris-Nord, France) abstract
    Problem frames and UML description develoment (with Gianna Reggio)
    • === Tuesday, June 6th
  • Michel BIDOIT (LSV, ENS Cachan, France) abstract
    Proving Behavioral Refinements of COL-Specifications.
    Joint work with Rolf Hennicker
  • Andrea CORRADINI (U. Pisa, Italy) abstract
    Sesqui-pushout vs double-pushout rewriting
  • Till MOSSAKOWSKI (U. Bremen, Germany) abstract
    Heterogeneous proofs, with an example about relation algebras.