[Om-announce] 2nd CALL FOR PARTICIPATION (RAMiCS 2015)
Michael Winter
mwinter at brocku.ca
Wed Sep 2 20:40:47 CEST 2015
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)
More information about the Om-announce
mailing list