Chiemsee, near Munich (Germany),
  22nd-24th September 2002MeetingsCala Galdana, on Menorca (Spain), 1st-4th June 2003

Cala Galdana, on Menorca (Spain), 1st-4th June 2003

An IFIP WG1.3 Meeting was held:
Sunday 1st to Wednesday 4th June 2003,
at Cala Galdana, Menorca, Spain.

The meeting was held at Cala Galdana Hotel.

The meeting was organized and hosted by Fernando Orejas (Barcelona).

Registration Fees: Participants have to pay a fee of 50 euro for the whole meeting.

Climate: In June, on Menorca, the average temperature is 20.8C (average minimum: 16.8C, average maximum: 24.9C). The average number of days with rain (more than 1mm of rain) is 5.4 and the average number of sunny hours is 311.

  • Participation
  • Abstracts of Talks
  • José Fiadeiro: Components vs Services
  • Dominique Duval: A diagrammatic view on overloading, coercions and subsorts
  • Thorsten Altenkirch: Containers and their derivatives
  • Dominique Méry: Proof based development of systems
  • Carlos Caleiro: Cryptofibring: avoiding collapses when combining logics
  • Reiko Heckel: Towards modeling service oriented architectures - Models and semantics
  • Martin Grosse-Rhode: Applied research on the specification of component based systems
  • Narciso Marti-Oliet: Formal metareasoning in membership equational logic
  • José Meseguer: Modular rewriting semantics of programming languages
  • Dusko Pavlovic: System dynamics, protocols and evolving specifications
  • Michel Bidoit: Using an instition encoding for proving consequences of COL specifications
  • Peter Pepper: Programming concurrent garbage collectors with pushouts and monads
  • Alexander Kurz: Modal logics from categories of coalgebras
  • Dirk Pattinson: On the complexity of Picard's theorem - Initial Value Problems in Domain Theory
  • Bart Jacobs: Java programs verification challenges
  • Fernando Orejas: Generic architectural components
  • Christine Choppy: Towards a formally grounded development method
  • Till Mossakowski: Foundations of heterogeneous specifications, illustrated with an example from process algebra
  • Kokichi Futatsugi: Specification and verification in CafeOBJ - a progress report
  • Grigore Rosu: Monitoring Extended Regular Expressions (ERE)
  • Carolyn Talcott: Analysis of a secure service proxy toolkit
  • Bernd Krieg-Brückner: The MMiSS project, document structuring for formal methods
  • Hubert Baumeister: Software Engineering for Mobile Systems II
  • Mohamed Bettaz: Towards mobile Z schemas

  • Edited by: Peter D. Mosses (pdmosses@brics.dk), January 19, 2004
    IFIP WG1.3 Home Page: http://www.fiadeiro.org/jose/IFIP-WG1.3/

    Chiemsee, near Munich (Germany),
  22nd-24th September 2002MeetingsCala Galdana, on Menorca (Spain), 1st-4th June 2003