[Flirts] Special FLIRTS track at WADT

[Till Mossakowski]

Dear FLIRTS friends,

as the first event of the FLIRTS revival, there will be a special FLIRTS track 
at the WADT'02, consisting of nine talks !

The WADT takes place on September 24-27, 2002, at Frauenchiemsee, Germany.
For Program & Registration Information see
http://www.pst.informatik.uni-muenchen.de/wadt2002/

Hoping to see many of you in Frauenchiemsee,
Till


Talks of the special FLIRTS track
----------------------------------

Module Composition over Inclusive Institutions 
J. Goguen (University of California at San Diego) and G. Rosu (University of Illinois at
Urbana-Champaign) 

Using an Institution Encoding for Proving Consequeces of Structured COL-Specifications 
M. Bidoit (CNRS & ENS de Cachan) and R. Hennicker (Ludwig-Maximilians-Universität München) 

Graph Colouring Institutions 
G. Scollo (Università di Verona) 

The General Logic of Multialgebras 
Y. Lamo and M. Walicki (University of Bergen) 

Translating Logics for Coalgebras 
D. Pattinson (Ludwig-Maximilians-Universität München) and A. Kurz (CWI, Amsterdam) 

An Institution for Mixed Specifications
M. Aiguier, F. Barbier and P. Poizat (Université d'Évry Val d'Essonne) 

Foundations of Heterogeneous CASL 
T. Mossakowski (University of Bremen) 

Completeness Results for Fibred Parchments: Beyond the Propositional-Base
C. Caleiro and J. Ramos (CLC, Lisbon) 

Presenting and Combining Inference Systems 
W. Pawlowski (Polish Academy of Sciences) 

-- 
Till Mossakowski                Phone +49-421-218-4683
Dept. of Computer Science       Fax +49-421-218-3054
University of Bremen            till at tzi.de           
P.O.Box 330440, D-28334 Bremen  http://www.tzi.de/~till