RelMiCS'4

                  THE 4th INTERNATIONAL SEMINAR 
    ON RELATIONAL METHODS IN LOGIC, ALGEBRA AND COMPUTER SCIENCE 
                      14-20 September, 1998
                         organised by

Stefan Banach International Mathematical Center, Warsaw
Institute of Informatics, University of Warsaw
Institute of Telecommunications, Warsaw
------------------------------------------------------------------------------

                       Keynote speakers
                       ~~~~~~~~~~~~~~~~
Johan van Benthem, 
Modality, relational guards, and decidability

Ivo Duentsch,  
Relation algebras in spatial reasoning (joint with Hui Wang and Steve McCloskey)

Joachim Lambek, 
Relations old and new

                            Speakers
                            ~~~~~~~~
Rahma Ben Ayed, Hafedh Mili and Ali Mili, Capturing pointer semantics
and scoping rules

Roland Backhouse, Pair algebras and Galois connections

Philippe Balbiani and Dimiter Vakarelov, Extending arrow logic

Khaled Basaies, Fathi Hammami, Ali Jaoua, Wassim Ksontini, May reasoning
be reduced to information retrieval problem?

Rudolf Berghammer, Using REL VIEW to solve problems on relation - based
discrete structures

Michael Boettner, Number in Peirce grammar

Chris Brink and Ingrid Rewitzky, Finite-cofinite predicate transformers

Chris Brink and Katarina Britz, Relating formula sets

Wojciech Buszkowski, More on embeddings of residuated semigroups into
algebras of relations

Marcos Castilho, Luis Farinas del Cerro, Olivier Gasquet and Andreas
Herzig, Modal tableaux based on graph-rules

Stephane Demri, Coping with semilattices of relations in logics with
relative accessibility relations

Stephane Demri and Ewa Orlowska, Classes of modal frames definable by
closure relational operations  

Jules Desharnais, Ridha Khedri and Ali Mili, Towards a uniform
relational semantics for tabular expressions

Barbara Dobrowolska, Relational proof system for natural language

Barry Dwyer, Translating relational programs into Prolog

Marcelo Frias, Gabriel Baum and Armando Haeberer, A calculus for program
construction based on fork algebras, generic algorithms and design
strategies

Lew Gordeev, Proof systems in relation algebra

Claudio Gutierrez, Decidability of the equational theory of allegories

Jifeng He, Unifying theories of programming

Robin Hirsch and Ian Hodkinson, Connections between cylindric algebras
and relation algebras

Ian Hodkinson and Szabolcs Mikulas, Colorful reducts

Luisa Iturrioz, Relational representation theorems for some algebraic
structures

Peter Jipsen, Sequential Q-algebras

Wolfram Kahl, Demonic diagrams - towards a graphical refinement calculus

Yasuo Kawahara, Lattices in Dedekind categories

Miroslawa Kolowska-Gawiejnowicz, Relational semantics for Lambek
calculus

Beata Konikowska, Charles Morgan and Ewa Orlowska, Relational semantics
for arbitrary finite valued logics

Wendy MacCaull, A relational approach to association rules and
functional dependencies

Bernhard Moeller, Modal and temporal operators on partial orders

Ingrid Rewitzky, Duality and simulations

Marc Roubens, About fuzzy preference structures

Antonino Salibra, The variety of lambda abstraction algebras does not
admit n-permutable congruences for all n

R. Seljee  and Harrie de Swart, Three types of redundancy in integrity
checking; An optimal solution

Renate Schmidt, Decidability by unrefined resolution for propositional
modal logics

Gheorghe Stefanescu, On space - time duality in computing: Imperative
programming versus wave computation

Marek Szczerba, Representation theorems for residuated groupoids

Michael Winter and Peter Kempf, Processes and relations

Artur Wolinski, Cylindric algebras for partial relational systems 
(Quasicylindric algebras)

The conference will be held in the Banach Center, Mokotowska 25, Warsaw.

----------------------------------------------------------------------- 
The Announcement prepared by:
Ewa Orlowska
Institute of Telecommunications
ul. Szachowa 1
04-894 Warsaw, Poland

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