Vol-1454
urn:nbn:de:0074-1454-4

Copyright © 2015 for the individual papers by the papers' authors. Copying permitted for private and academic purposes. This volume is published and copyrighted by its editors.

RAMiCS(ST) 2015
The Student Track of RAMiCS

Proceedings of the Student Track of the 15th International Conference on Relational and Algebraic Methods in Computer Science (RAMiCS 2015)

Braga, Portugal, September 28 - October 1, 2015.

Edited by

Wolfram Kahl *
Michael Winter
Jose Nuno Oliveira *

* McMaster University, Department of Computing and Software, Hamilton, L8S 4K1 Canada
** Brock University, Department of Computer Science, St. Catharines, L2S 3A1 Canada
*** INESC TEC & University of Minho, High Assurance Software Laboratory (HASLab), 4700 Braga, Portugal

Full Proceedings (PDF)

Table of Contents

Preface
Decision Methods for Concurrent Kleene Algebra with Tests: Based on Derivative 1-8
Yoshiki Nakamura
RLE-based Algorithm for Testing Biorders 9-14
Oliver Lanzerath
Relational Equality in the Intensional Theory of Types 15-22
Victor Miraldo
Loop Analysis and Repair 23-32
Nafi Diallo
Monoid Modules and Structured Document Algebra 33-42
Andreas Zelend
On a Monadic Encoding of Continuous Behaviour 43-52
Renato Neves
Relational Approximation of Maximum Independent Sets 53-60
Insa Stucke
A Generic Matrix Manipulator 61-69
Dylan Killingbeck

2015-09-22: submitted by Michael Winter, metadata incl. bibliographic data published under Creative Commons CC0
2015-09-23: published on CEUR-WS.org |valid HTML5|