spacer Universiteit van Tilburg spacer
Print-vriendelijke versieEnglishSitemapContact
spacer
Ga terug naar
spacer
Wijsbegeerte
spacer
spacer
spacerNieuws & Agenda
spacerOnderwijs
spacerOnderzoek
spacerOrganisatie
spacerMedewerkers
spacerLinks
spacerSecties
spacer
spacer
spacer
spacer
spacer
spacer
spacer
spacer
International workshop: October 16-21, 2001
bullet General Information
bullet Topics
bullet Call for papers
bullet Submissions
bullet Program
bullet Speakers
bullet Committee
bullet Sponsors
bullet More Information

Relmics 6: Relational Methods in Computer Science

together with a workshop of the COST-action

TARSKI: Theory and Applications of Relational Systems as Knowledge Instruments

Conference Centre Boschoord, Gemullehoekenweg 143, Oisterwijk (near Tilburg), the Netherlands
tel. +31.13.5231600
fax +31.13.5220034


GENERAL INFORMATION

The purpose of this series of international workshops is to bring together researchers from various subdisciplines of Computer Science, Mathematics and Philosophy, all of whom use relational methods as a conceptual and methodological tool in their work. Topics include but are not limited to: relational, cylindric, fork and Kleene algebras; relational proof theory and decidability issues; relational representation theorems; relational semantics; applications to programming, databases and analysis of language; computer systems for relational knowledge representation.
This workshop is a continuation of international workshops on Relational Methods in Computer Science in Schloss Dagstuhl, Germany, January 1994; Parati near Rio de Janeiro, September 1995; Hammamet, Tunisia, January 1997; Stefan Banach Center, Warsaw, September 1998 and Quebec, Canada, January 2000.

This conference has the scientific and financial support of the Faculty of Philosophy of Tilburg University (the Netherlands), and is sponsored by:

  • the Royal Netherlands Academy of Arts and Sciences,
  • the Dutch Research School in Logic,
  • the TUE-KUB research group on Logic and Informationsystems.

TUTORIALS will be part of the conference program.

There are five INVITED LECTURES.

After a thorough refereeing process, the best papers presented at the workshop will be published in a special book, devoted to the topics of the conference.

Top.


TOPICS

Topics include, but are not limited to:

  • Relational, cylindric, fork and Kleene algebras;
  • Relational proof theory and decidability issues;
  • Relational representation theorems;
  • Relational semantics;
  • Applications to programming, databases and analysis of language;
  • Computer systems for relational knowledge representation.

With respect to applications one can think of:

  • Relational Specifications and Modelling;
  • Relational Software Design and Development Techniques;
  • Programming with Relations;
  • Implementing Relational Algebra.
Top.


CALL FOR PAPERS AND TUTORIALS

The conference will include contributed papers, tutorials and invited lectures. Submissions are invited in three categories:
(A) Original research papers (full papers or extended abstracts, up to 15 pages);
(B) Original papers about system descriptions (up to 5 pages);
(C) Tutorials (of 3 hours) in all areas of Relational Methods in Computer Science, from academic research to applications (proposals up to 5 pages).

Papers in categories (A) and (B) will be reviewed by members of the program committee.
The cover page should include the name, address and e-mail address of each author, the submission category and whether it concerns a full paper or an extended abstract.

Authors are also asked to classify their paper into one or more of the following Work Areas (sessions):

  • WA 1: Algebraic and logical foundations of 'real world' relations
  • WA 2: Mechanisation of relational reasoning
  • WA 3: Relational scaling and preferences
  • WA 4: Relational reasoning in qualitative physics
  • None of the above

AD (C): Tutorial levels may be introductory, intermediate and advanced. Novel topics and topics of broad interest are preferred. The submission should include the title, the author, the topic of the tutorial, its level, its relevance to conference topics, and a description of the interest and the scientific contents of the proposed tutorial.
Proposals will be reviewed by members of the program committee.

Top.


SUBMISSIONS

Authors are requested to submit their papers or their proposals for tutorials by e-mail, preferably in the form of files using the LaTeX llncs style, to the Program Chair before August 15, 2001: H.C.M.deSwart@uvt.nl. Authors of papers are also requested to send separately an e-mail, containing title, work area, authors AND abstract.
Hardcopy submission is allowed for people without e-mail access.

Top.


SCIENTIFIC PROGRAM

  • INVITED TALKS:
    • Wendy MacCaull, Relational Proof Systems
    • Wolfram Kahl, A Relation-Algebraic Approach to Graph Structure Transformation
    • Wojciech Buszkowski, Relational Models of Type Logics
    • Hajnal Andreka, Definability of new universes and logical foundation of relativity
    • Michel Grabisch, Preference representation on ordinal bipolar scales by the Sugeno integral
  • TUTORIALS:
    • Ivo Duentsch and Gunther Gediga, Rough sets: tools for non-invasive data analysis
    • Gheorghe Stefanescu, An introduction to Network Algebra
    • Wolfram Kahl and Eric Offermann, Programming with and in relational categories
  • ACCEPTED PAPERS:
    WA 1: Algebraic and logical foundations of "real world" relations
    • Philippe Balbiani, Emptiness relations in property systems
    • Ernst-Erich Doberkat, Eugenio Omodeo, Algebraic semantics of ER-models in the context of the calculus of relations. II: Dynamic view.
    • Marcelo Frias, Gabriel Baum, Thomas Maibaum, Interpretability of first-order dynamic logic in a relational calculus
    • Petr Hajek, Relations in GUHA style data mining
    • Herman Jurjus, Prioritized axiom systems
    • Yasuo Kawahara, Groups in Dedekind categories
    • Robert Kent, Distributed conceptual structures
    • Thomas Mormann, A general representation theorem for the region connection calculus
    • Mike Nachtegaal, Martine De Cock, Dietrich Van der Weken, Etienne Kerre, Fuzzy relational images in computer science
    • Hitomi Okuma, Yasuo Kawahara, A completeness theorem for extended order dependencies in information systems in Dedekind categories
    • Ewa Orlowska, Anna Radzikowska, Information relations and operators based on double residuated lattices
    • Agata Pilitowska, Interval bilattices and some other simple bilattices
    • Janusz Pomykala, Similarity in RDB and in IST
    • Gheorghe Stefanescu, "Interactive systems" - from a natural language expression to a mathematical concept
    • Micael Winter, Relational constructions in Goguen categories
    • Ernst Zimmermann, A predicate logical extension of a subintuitionistic propositional logic

    WA 2: Mechanisation of relational reasoning

    • Rudolf Berghammer, Barbara Leoniuk, Ulf Milanese, Implementation of relational algebra using binary decision diagrams
    • Gabriel Baum, Marcelo Frias, Thomas Maibaum, Adding refinements to P/PML
    • Rudolf Berghammer, Thorsten Hoffmann, Calculating a relational program for transitive reductions of strongly connected graphs
    • Georg Struth, Calculating Church-Rosser proofs in Kleene algebra

    WA 3: Relational scaling and preferences

    • Bernard De Baets, Janos Fodor, Generator triplets of additive fuzzy preference structures
    • Kim Cao-Van, Bernard De Baets, On the definition and representation of a ranking
    • Ivo Duentsch, Marc Roubens, Tangent circle algebras
    • Marc Roubens, On a sorting problem in the presence of interacting points of view including cardinal and ordinal scales

    WA 4: Relational reasoning in qualitative physics

    • Dimiter Vakarelov, Ivo Duentsch, Brandon Bennett, A note on proximity spaces and connection based mereology

    None of the above WAs

    • Tomas Feglar, The GUHA architecture
    • Marcelo Frias, Gabriel Baum, Carlos L\'{o}pez Pombo, A comparison of Ag with Alloy

    Top.


    INVITED SPEAKERS

    • Wolfram Kahl, A Relation-Algebraic Approach to Graph Structure Rewriting
    • Wendy MacCaul, Relational Proof Systems
    • Wojciech Buszkowski, Relational Models of Type Logics
    • Hajnal Andreka, Definability of new universes and logical foundation of relativity
    • Michel Grabisch, Preference representation on ordinal bipolar scales by the Sugeno integral

    Top.


    PROGRAM COMMITTEE

    • Harrie de Swart (Tilburg Univ, NL) Chair
    • Ewa Orlowska (Warsaw, PL)
    • Gunther Schmidt (Muenchen, DE)
    • Chris Brink (Australia)
    • Ivo Duentsch (Ulster, UK)

    Top.


    SPONSORS and Scientific supports

    • Faculty of Philosophy of Tilburg University, the Netherlands
    • the Royal Netherlands Academy of Arts and Sciences
    • the Dutch Research School in Logic
    • the TUE-KUB research group on Logic and Informationsystems

    Top.


    MORE INFORMATION

    More information you can find on the website about

    For any further information please contact:

    Harrie de Swart
    Section Logic and Analysis of Language
    Department of Philosophy
    Tilburg University
    P.O. Box 90153
    5000 LE TILBURG
    The Netherlands

    e-mail: H.C.M.deSwart@uvt.nl
    phone: (+31) 13 466 24 15/29 85
    fax: (+31) 13 466 28 92
    website: http://www.uvt.nl/wijsbegeerte/medewerkers/swart/

    Top.

Laatst gewijzigd: dinsdag 01 augustus 2006
spacer
spacer
Zoeken
Alles FWW
bullet Meer zoekmogelijkheden
bullet Experts en expertise
spacer
Contact
E-mail: H.C.M.deSwart
spacer