15TH IFIP WG 1.3 MEETING (Administrative session)
            =================================================

                  5th JUNE 2006, La Roche en Ardenne (Belgium)
                  ===========================================

  Participation:
  ==============
Christine Choppy (secretary), Dominique Duval, 
José Luiz Fiadeiro (chair), Fabio Gaducci,
Hans-Jörg Kreowski, Pascale Le Gall,
Tom Maibaum, Narciso Marti-Oliet, Till Mossakowski, 
Aguirre Nazareno, Laure Petrucci, Leila Ribeiro,
Pierre-Yves Schobbens, Andrzej Tarlecki,
Mark Ryan 

Present at the scientific meeting : 
M: 
O: Lutz Schröder
LO: 
YR: 


  ADMINISTRATIVE AGENDA (DRAFT):
  =======================

June 5th, ? 16:00, 

  (0)     Finalisation of the Agenda

  (1)     Minutes of the 14th Meeting, Swansea, September, 2005 

  (2)     Report on sponsored activities
          - CoFI
          - FLIRTS
          - CALCO'05

  (3)     New activities
           - HiFi
           - CMCS'06 - Vienna with ETAPS
           - WADT'06 - Namur (or close-by, in May)
           - CALCO'07 - tba

  (4)     Meetings
          - Present meeting
          - Next meetings

  (5)     Membership issues.


  (6)     Any other business

========================================================================
1. Approval the minutes of the 14th Meeting, Swansea, September, 2005 

2. Report on sponsored activities
- CoFI, the Common Framework Initiative, by 
http://www.cofi.info

- FLIRTS: 
Formalism, Logic, Institution - Relating, Translating, and Structuring
by Till Mossakowski 
           web page : http://www.informatik.uni-bremen.de/flirts/
           mailing list: flirts@tzi.de

 WG1.3 Sponsored conferences and workshops
============================================
-- CALCO 2007, August 20-24, Bergen Norway  http://www.ii.uib.no/calco07/
2nd Conference on Algebra and Coalgebra in Computer Science
Important dates are:
 Abstract submission  	January 28, 2007
 Technical paper submission 	February 7, 2007
 Author notification 	March 28, 2007

CALCO 2007 will be preceded by a CALCO Young Researchers Workshop,
CALCO-jnr, dedicated to presentations by PhD students and by those
who completed their doctoral studies within the past few years.
It is also planned to have a tool day, and some tutorials.


3. New activities 
=================

4. Meetings
===========
- Present meeting: 
It was held on June 3-6, in La Roche (Belgium), after WADT 2006.
Attendance was : 
 members,  observers ( new),  young researchers,  local observers
and  talks were presented.

We thank Pierre-Yves Schobbens for a very nice organization.

- Next meetings

5. Membership issues
====================

6. Any other business
=====================

Christine Choppy.

================================================================
Scientific Programme:

=== Saturday, June 3rd
Andrzej TARLECKI (Warsaw U. and Polish Academy of Sciences, Poland)
Towards (institutional) foundations for heterogeneous specifications

Hans-Jörg KREOWSKI (U. Bremen, Germany)
Short introduction on the Collaborative Research Centre 637
Autonomous cooperating logistic processes - A paradigm shift and its 
limitations

Dominique DUVAL (U. Grenoble, France)
The category of diagrammatic logics

=== Sunday, June 4th
Mark RYAN (U. Birmingham, UK)
Modelling and verifying electronic voting protocols in the applied pi calculus

Pascale LE GALL (U. Evry, France)
Conformance testing for input/output symbolic transition systems

Laure PETRUCCI (U. Paris-Nord, France)
Modular Analysis of Petri Nets

Aguirre NAZARENO (U. Nacional de Rio Cuarto, Argentina)
Analysing properties of execution in (Dyn)Alloy
---
Leila RIBEIRO (U. Federal do Rio Grande do Sul, Porto Alegre, Brasil)
Assume guarantee with object-oriented graph grammars

Fabio GADUCCI (U. Pisa, Italy)
Bisimulation from graphical encoding 
(DPOs, cospans, relative POs and all that)

Markus ROGGENBACH (U. Swansea, UK)
CSP-CASL: semantics, application, tools

=== Monday, June 5th
Nicoletta SABADINI (U. Insubria, Varese-Como, Italy)
An algebra for automata: introduction

Robert WALTERS (U. Insubria, Varese-Como, Italy)
Algebra for automata

Razvan DIACONESCU (IMAR, Bucarest, Roumanie)
Institution-independent model theory

Lutz SCHROEDER (U. Bremen, Germany)
PSPACE bounds for rank 1 modal logic (with Dirk Pattinson)
---
Christine CHOPPY (U. Paris-Nord, France)
Problem frames and UML description develoment (with Gianna Reggio)

=== Tuesday, June 6th
Michel BIDOIT (LSV, ENS Cachan, France)
Proving Behavioral Refinements of COL-Specifications.
Joint work with Rolf Hennicker

Andrea CORRADINI (U. Pisa, Italy)
Sesqui-pushout vs double-pushout rewriting

Till MOSSAKOWSKI (U. Bremen, Germany)
Heterogeneous proofs, with an example about relation algebras.
========================================