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