[Prev][Next][Index][Thread]
3rd FLIRTS workshop, 24th to 27th September 2002
-
To: flirts@Informatik.Uni-Bremen.DE, cofi-list@brics.dk, Types <types@cis.upenn.edu>, Categories <categories@mta.ca>, "fom@math.psu.edu" <fom@math.psu.edu>, FSDM Mailing List <fsdm@it.uq.edu.au>, elf-list@cs.cmu.edu, maude@csl.sri.com, Isabelle Users <isabelle-users@cl.cam.ac.uk>, behavior@ucsd.cs.edu, objforum@csc.liv.ac.uk
-
Subject: 3rd FLIRTS workshop, 24th to 27th September 2002
-
From: Till Mossakowski <till@tzi.de>
-
Date: Thu, 09 May 2002 10:54:03 +0200
-
Sender: till@Informatik.Uni-Bremen.DE
FORMALISMS, LOGICS, INSTITUTIONS - RELATING, TRANSLATING, STRUCTURING
3rd FLIRTS Workshop, as part of WADT, 24th to 27th September 2002
BACKGROUND
The notion of institution and similar meta-notions try to capture the
essence of what a logical system is. With this, it is possible to
develop concepts for the strucuring of specifications,
parameterization, implementation, refinement, development, proof
calculi and even tools in a way completely independent of the
underlying logical system. There are also morphisms that allow to
relate and translate logical systems. Important applications of this
are re-use of logical structure (also called borrowing), heterogeneous
specification and combination of logics.
FLIRTS home page, bibliography and mailing list: http://www.tzi.de/flirts
AIMS AND SCOPE
The FLIRTS workshops on Formalisms, Logics, Institutions - Relating,
Translating, Structuring aims at bringing together researchers working
on foundations as well as researches who want to apply the theory to
specific institutions. Topics include (but are not limited to):
Formalizing particular logics as institutions
Institution-independent model theory for structured specification,
refinement, etc.
Institution-independent proof theory
Metaformalisms and metatheorems
Morphisms and borrowing of logical structure
Combination of institutions/logics
Heterogeneous specification
LOCATION AND DATE
The 3rd FLIRTS workshop will be part of the 16th International
Workshop on Algebraic Development Techniques (WADT),
24th to 27th September 2002, near Munich, Germany.
See http://www.pst.informatik.uni-muenchen.de/wadt2002/
SUBMISSION
Just submit your abstracts to the WADT, indicate that it is
FLIRTS-relevant, and then the FLIRTS-relevants talks will be collected
into a special track.
You have to sumbit a 2-page abstract, deadline is 31 May, 2002.
After the workshop, authors of selected abstracts will be invited to
submit a full paper for the refereed proceedings, which will be
published as a volume of Springer Lecture Notes in Computer Science.
FURTHER INFO: http://www.tzi.de/flirts
--
Till Mossakowski Phone +49-421-218-4683
Dept. of Computer Science Fax +49-421-218-3054
University of Bremen till@tzi.de
P.O.Box 330440, D-28334 Bremen http://www.tzi.de/~till