CALL FOR PARTICIPATION (RAMiCS 2015)

CALL FOR PARTICIPATION (RAMiCS 2015)

[Michael Winter]

    ? ? ? ?
                       CALL FOR PARTICIPATION

                  15th International Conference on
    Relational and Algebraic Methods in Computer Science (RAMiCS 2015)

            28 September to 1 October 2015, Braga, Portugal
                  URL:  http://ramics2015.di.uminho.pt


The RAMiCS Conference is the main forum for Relational and Algebraic Methods
in Computer Science. Special focus lies on formal methods for software
engineering, logics of programs and links with neighbouring disciplines.

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

Registration, venue, travel information and accommodation
---------------------------------------------------------
     Please visit http://ramics2015.di.uminho.pt

Registration deadline
---------------------
     4 September 2015

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

Invited Talks
-------------

Towards a Probabilistic Interpretation of Game Logic
     Ernst-Erich Doberkat

Connections Between Relation Algebras and Cylindric Algebras
     Ian Hodkinson

A quest for Kleene algebra in 2 dimensions
     Gheorghe Stefanescu

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

List of Accepted Papers
-----------------------

L-Fuzzy Databases in Arrow Categories
     Evans Adjei, Wazed Chowdhury, Michael Winter

Mechanised Relation-Algebraic Order Theory in Ordered Categories without Meets
     Musa Al-Hassy, Wolfram Kahl

Closure, Properties and Closure Properties of Multirelations
     Rudolf Berghammer, Walter Guttmann

Tool-Based Verification of a Relational Vertex Coloring Program
     Rudolf Berghammer, Peter H?fner, Insa Stucke

Investigating and Computing Bipartitions with Algebraic Means
     Rudolf Berghammer, Insa Stucke, Michael Winter

Completeness via canonicity for distributive substructural logics: a coalgebraic perspective
     Fredrik Dahlqvist, David Pym

Relational Mathematics for Relative Correctness
     Jules Desharnais, Nafi Diallo, Wided Ghardallou, Ali Jaoua, Marcelo Frias, Ali Mili

Roughness by Residuals: Algebraic desription of rough sets and an algorithm for finding core relations
     Martin Eric M?ller

Relational Formalisations of Compositions and Liftings of Multirelations
     Hitoshi Furusawa, Yasuo Kawahara, Georg Struth, Norihiro Tsumagari

Towards Interactive Verification of PLC Programs using MKA and KIV
     Roland Gl?ck, Florian Benedikt Krebs

Text categorization using hyper rectangular keyword extraction: Application to news articles classification
     Abdelaali Hassaine, Souad Mecheter, Ali Jaoua

Type Checking by Domain Analysis in Ampersand
     Stef Joosten, Sebastiaan Joosten

Relations among Matrices over a Semiring
     Dylan Killingbeck, Milene Santos Teixeira, Michael Winter

Completeness and Incompleteness in Nominal Kleene Algebra
     Dexter Kozen, Konstantinos Mamouras, Alexandra Silva

Solving a tropical optimization problem via matrix sparsification
     Nikolai Krivulin

Antichain Algebra
     Bernhard M?ller

Metaphorisms in Programming
     Jose Oliveira

Decomposition of Database Preferences on the Power Set of the Domain
     Patrick Roocks

Encoding and Decoding in Refinement Algebra
     Kim Solin

Generalized N-ary relations
     Bartosz Zielinski

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

List of Student Track Papers
----------------------------

Loop Analysis and Repair
     Nafi Diallo

A Generic Matrix Manipulator
     Dylan Killingbeck

RLE-based Algorithm for Testing Biorders
     Oliver Lanzerath

Relational Equality in the Intensional Theory of Types
     Victor Miraldo

Decision Methods for Concurrent Kleene Algebra with Tests: Based on Derivative
     Yoshiki Nakamura

On a monadic encoding of continuous behaviour
     Renato Neves

Relational Approximation of Maximum Independent Sets
     Insa Stucke

Monoid Modules and Structured Documents Algebra
     Andreas Zelend

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


Programme Committee
-------------------

     Rudolf Berghammer     (Kiel, Germany)
     Jules Desharnais      (Laval U., Canada)
     Marcelo Frias         (Buenos Aires, Argentina)
     Steven Givant         (Mills College, USA)
     Hitoshi Furusawa      (Kagoshima, Japan)
     Timothy G. Griffin    (Cambridge, UK)
     Walter Guttmann       (Canterbury, New Zealand)
     Robin Hirsch          (London, UK)
     Peter H?fner          (NICTA, Australia)
     Ali Jaoua             (Doha, Qatar)
     Peter Jipsen          (Chapman U., USA)
     Wolfram Kahl          (McMaster U., Canada)
     Rodger Maddux         (Iowa State U., USA)
     Ali Mili              (NJIT, U. Heights, USA)
     Bernhard M?ller       (U. Augsburg, Germany)
     Martin E. M?ller      (U. Augsburg, Germany)
     Jos? N. Oliveira      (U. Minho, Portugal; General chair)
     Ewa Orlowska          (Warsaw, Poland)
     Agnieszka Rusinowska  (Univ. Paris 1, France)
     Gunther Schmidt       (Munich, Germany)
     Renate Schmidt        (Manchester, UK)
     Isar Stubbe           (U. Littoral-C?te-d'Opale, France)
     Michael Winter        (Brock U., Canada; PC chair)


Steering Committee
------------------

     Rudolf Berghammer  (Kiel, Germany)
     Jules Desharnais   (Laval U., Canada)
     Ali Jaoua          (Doha, Qatar)
     Peter Jipsen       (Chapman U., USA)
     Bernhard M?ller    (U. Augsburg, Germany)
     Jos? N. Oliveira   (U. Minho, Portugal)
     Ewa Orlowska       (Warsaw, Poland)
     Gunther Schmidt    (Munich, Germany)
     Michael Winter     (Brock U., Canada)


Organising Committee
--------------------

     Jos? N. Oliveira    (U. Minho, Portugal; General chair)
     Michael Winter      (Brock U., Canada; PC chair)
     Lu?s S. Barbosa     (U. Minho, Portugal)
     Manuel A. Cunha     (U. Minho, Portugal)
     Ant?nio N. Ribeiro  (U. Minho, Portugal)


[For admin and other information see: http://www.mta.ca/~cat-dist/ ]