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

                  24th JUNE 2007, Braga (Portugal)
                  ================================

  Participation:
  ==============
Michel Bidoit, Christine Choppy (secretary), Andrea Corradini, 
Hartmut Ehrig,
Jos Luiz Fiadeiro (chair), Fabio Gaducci, Marie-Claude Gaudel, Stefania Gnesi,
Reiko Heckel, Rolf Hennicker, Alexander Kurz,
Pascale Le Gall, 
Narciso Marti-Oliet, Dominique Mery, Ugo Montanari, 
Till Mossakowski, Peter Mosses, 
Jos Oliveira, 
Fernando Orejas, Dirk Pattinson, 
Laure Petrucci, ?? S Ramesh, 
Markus Roggenbach, ?? Grigore Rosu, 
Nicoletta Sabadini, Don Sannella, Vladimiro Sassone, 
Pierre-Yves Schobbens, 
Lutz Schrder, Alberto Verdejo,
Robert Walters, Martin Wirsing

Mike HINCHEY (TC1 chair)

Present at the scientific meeting only:


  ADMINISTRATIVE AGENDA :
  =======================
  (0)     Finalisation of the Agenda

  (1)     Minutes of the 15th Meeting, La Roche and La Jolla, June, 2006

  (2)     Report on sponsored activities
          - CoFI: Till Mossakowski 
          - FLIRTS
          - HiFi
          - ICGT 2006
          - CALCO'07

  (3)     Informatics Europe

  (4)     Meetings
          - Present meeting
          - Next meetings
  (5)     WADT'08

  (6)     Membership issues.

  (7)     Any other business

========================================================================
1. Approval of the minutes of the 15th Meeting, La Roche and La Jolla, 
   June, 2006


2. Report on sponsored activities
- WADT'06 LNCS 4409 in print (due April 18)

- ICGT 2006, International Conference on Graph Transformation
report by Ugo Montanari
took place on September 17th-23rd September 2006  in Natal, Brazil
by Leila Ribeiro
colocated SMBF 2006, the Brasilian Symposium on Formal Methods
62 submissions, 28 accepted
http://www.dimap.ufrn.br/icgt2006/
http://www.dimap.ufrn.br/icgt2006/Pages/home.html
together with satellite events:
  GCM 2006 (Workshop on Graph Computation Models), GraBaTs 2006
(International Workshop on Graph-Based Tools), Gra-Tra Tutorial
(Tutorial on Foundations and Applications of Graph Transformation),
PNGT06 (Petri Nets and Graph Transformations 2006), SeTra 2006 (3rd
Workshop on Software Evolution through Transformations: Model-based
vs. Implementation-level Solutions)

- CoFI, the Common Framework Initiative, by Till Mossakowski
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
- HiFi by Till Mossakowski
http://www.informatik.uni-bremen.de/hifi/

-- CALCO 2007, August 20-24th, 2007
3 days conference, preceded by 1 day CALCO junior
together with a Tools day (Grigore Rosu, Narciso Marti-Oliet), 
tutorials ?
NEW: special issue in the Journal: logical methods in computer science
electronic, freely available
web page http://www.ii.uib.no/calco2007

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.
Abstract submission:   April     10, 2007                *
*         Author notification:   April     30, 2007                *
*         Final abstract due:    May       16, 2007                *
*         Full paper submission: September 30, 2007    
It is also planned to have a tool day, and some tutorials.

-- WADT 2008 to be organised by Andrea Corradini in Italy in July

3. Informatics Europe
=====================

4. Meetings
===========
- Present meeting:
before ETAPS, March 24 - April 1, 
2007, Braga, Portugal
http://www.di.uminho.pt/etaps07/

We thank
for a very nice organization.

- Next meetings
- Jan 08 in Sierra Nevada, Spain, hosted by Narciso Marti-Oliet

- end of August 2008, in Hamilton, Canada, hosted by Tom Maibaum

5. WADT'08
==========
-- WADT 2008 to be organised by Andrea Corradini in Italy in July

6. Membership issues
====================
Hartmut, Mohamed, Gianna, have now missed 3 consecutive 
meetings
(Bangalore excluded).

- Observers to be invited again:
Luis Caires, S. Ramesh, Vladimiro Sassone, John Tucker, Jan Rutten,
Fabio Gaducci, Markus Roggenbach, Razvan Diaconescu,
Nazareno Aguirre, Pascale Le Gall, Laure Petrucci, Leila Ribeiro,
Nicoletta Sabadini, Robert Walters, Stefania Gnes

- Observers not to be invited again:

7. Any other business
=====================
There was none.

Christine Choppy.

================================================================

Scientific Programme (Braga, Portugal):

