* 2nd CALL FOR PARTICIPATION (RAMiCS 2015)
@ 2015-09-02 18:40 Michael Winter
0 siblings, 0 replies; only message in thread
From: Michael Winter @ 2015-09-02 18:40 UTC (permalink / raw)
To: categories
? ? ? ?
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)
[For admin and other information see: http://www.mta.ca/~cat-dist/ ]
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2015-09-02 18:40 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2015-09-02 18:40 2nd CALL FOR PARTICIPATION (RAMiCS 2015) Michael Winter
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).