[ecoop-info] 2nd CALL FOR PARTICIPATION (RAMiCS 2015)

[Michael Winter]

                      2nd 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

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

RAMiCS 2015 Programme

Monday
------
    8:00-9:00 
    Registration
    
    9:00-10:15
    Opening
    Invited Talk: A quest for Kleene algebra in 2 dimensions
        Gheorghe Stefanescu

    10:45-12:00
    Relational Mathematics for Relative Correctness
        Jules Desharnais, Nafi Diallo, Wided Ghardallou, Ali Jaoua, Marcelo Frias, Ali Mili
    Metaphorisms in Programming
        Jose Oliveira

    14:00-15:30
    Type Checking by Domain Analysis in Ampersand
        Stef Joosten, Sebastiaan Joosten
    Completeness and Incompleteness in Nominal Kleene Algebra
        Dexter Kozen, Konstantinos Mamouras, Alexandra Silva
    Student Track Presentation: Decision Methods for Concurrent Kleene Algebra with Tests: Based on Derivative
        Yoshiki Nakamura

    16:00-17:30
    Towards Interactive Verification of PLC Programs using MKA and KIV
        Roland Glück, Florian Benedikt Krebs
    Investigating and Computing Bipartitions with Algebraic Means
        Rudolf Berghammer, Insa Stucke, Michael Winter
    Student Track Presentation: RLE-based Algorithm for Testing Biorders
        Oliver Lanzerath

Tuesday
-------
    9:00-10:00
    Invited Talk: Towards a Probabilistic Interpretation of Game Logic
        Ernst-Erich Doberkat

    10:30-12:00
    Mechanised Relation-Algebraic Order Theory in Ordered Categories without Meets
        Musa Al-Hassy, Wolfram Kahl
    Encoding and Decoding in Refinement Algebra
        Kim Solin
    Student Track Presentation: Relational Equality in the Intensional Theory of Types
        Victor Miraldo
    
    14:00-22:00
    Excursion and Conference Dinner

Wednesday
---------
    9:00-10:00
    Invited Talk: Connections Between Relation Algebras and Cylindric Algebras
        Ian Hodkinson

    10:30-12:00
    Tool-Based Verification of a Relational Vertex Coloring Program
        Rudolf Berghammer, Peter Höfner, Insa Stucke
    L-Fuzzy Databases in Arrow Categories
        Evans Adjei, Wazed Chowdhury, Michael Winter
    Student Track Presentation: Loop Analysis and Repair
        Nafi Diallo

    14:00-15:30
    Text categorization using hyper rectangular keyword extraction: Application to news articles classification
        Abdelaali Hassaine, Souad Mecheter, Ali Jaoua
    Relations among Matrices over a Semiring
        Dylan Killingbeck, Milene Santos Teixeira, Michael Winter
    Student Track Presentation: Monoid Modules and Structured Documents Algebra
        Andreas Zelend
    
    16:00-17:15
    Roughness by Residuals: Algebraic desription of rough sets and an algorithm for finding core relations
        Martin Eric Müller
    Antichain Algebra
        Bernhard Möller
    
    17:15-18:00
    Business Meeting

Thursday
--------
    9:00-10:30
    Closure, Properties and Closure Properties of Multirelations
        Rudolf Berghammer, Walter Guttmann
    Relational Formalisations of Compositions and Liftings of Multirelations
        Hitoshi Furusawa, Yasuo Kawahara, Georg Struth, Norihiro Tsumagari
    Student Track Presentation: On a monadic encoding of continuous behaviour
        Renato Neves
    
    11:00-12:00
    Solving a tropical optimization problem via matrix sparsification
        Nikolai Krivulin
    Student Track Presentation: Models of Quantum Algorithms in Sets and Relations
        William Zeng

    14:00-15:30
    Decomposition of Database Preferences on the Power Set of the Domain
        Patrick Roocks
    Completeness via canonicity for distributive substructural logics: a coalgebraic perspective
        Fredrik Dahlqvist, David Pym
    Student Track Presentation: Relational Approximation of Maximum Independent Sets
        Insa Stucke

    16:00-17:30
    Generalized N-ary relations
        Bartosz Zielinski
    Student Track Presentation: A Generic Matrix Manipulator
        Dylan Killingbeck

    Closing


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

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 Or?owska          (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 Or?owska       (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)