Harrie C. M. de Swart: Relational and Algebraic Methods in Computer Science - 12th International Conference, RAMICS 2011, Rotterdam, The Netherlands, May 30 - June 3, 2011. Proceedings.Lecture Notes in Computer Science 6663, Springer2011, ISBN 978-3-642-21069-3[contents]
11th RelMiCS 2009: Doha, Qatar
Rudolf Berghammer, Ali Jaoua, Bernhard Möller: Relations and Kleene Algebra in Computer Science, 11th International Conference on Relational Methods in Computer Science, RelMiCS 2009, and 6th International Conference on Applications of Kleene Algebra, AKA 2009, Doha, Qatar, November 1-5, 2009. Proceedings.Lecture Notes in Computer Science 5827, Springer2009, ISBN 978-3-642-04638-4[contents]
10th RelMiCS 2008: Frauenwörth, Germany
Rudolf Berghammer, Bernhard Möller, Georg Struth: Relations and Kleene Algebra in Computer Science, 10th International Conference on Relational Methods in Computer Science, and 5th International Conference on Applications of Kleene Algebra, RelMiCS/AKA 2008, Frauenwörth, Germany, April 7-11, 2008. Proceedings.Lecture Notes in Computer Science 4988, Springer2008, ISBN 978-3-540-78912-3[contents]
9th RelMiCS 2006: Manchester, UK
Renate A. Schmidt: Relations and Kleene Algebra in Computer Science, 9th International Conference on Relational Methods in Computer Science and 4th International Workshop on Applications of Kleene Algebra, RelMiCS/AKA 2006, Manchester, UK, August 29-September 2, 2006, Proceedings.Lecture Notes in Computer Science 4136, Springer2006, ISBN 3-540-37873-1[contents]
Wendy MacCaull, Michael Winter, Ivo Düntsch: Relational Methods in Computer Science, 8th International Seminar on Relational Methods in Computer Science, 3rd International Workshop on Applications of Kleene Algebra, and Workshop of COST Action 274: TARSKI, St. Catharines, ON, Canada, February 22-26, 2005, Selected Revised Papers.Lecture Notes in Computer Science 3929, Springer2006, ISBN 3-540-33339-8[contents]
7th RelMiCS 2003: Malente, Germany
Rudolf Berghammer, Bernhard Möller, Georg Struth: Relational and Kleene-Algebraic Methods in Computer Science: 7th International Seminar on Relational Methods in Computer Science and 2nd International Workshop on Applications of Kleene Algebra, Bad Malente, Germany, May 12-17, 2003, Revised Selected Papers.Lecture Notes in Computer Science 3051, Springer2004, ISBN 3-540-22145-X[contents]
6th RelMiCS 2001: Oisterwijk, The Netherlands
Harrie C. M. de Swart: Relational Methods in Computer Science, 6th International Conference, RelMICS 2001, and 1st Workshop of COST Action 274 TARSKI Oisterwijk, The Netherlands, October 16-21, 2001, Revised Papers.Lecture Notes in Computer Science 2561, Springer2002, ISBN 3-540-00315-0[contents]
Jules Desharnais: Participants Copies of Fifth International Seminar on Relational Methods in Computer Science,January 9-14, 2000, Valcartier (Quebec), Canada.2000[contents]
4th RelMiCS 1998: Warsaw, Poland
Ewa Orlowska, Andrzej Szalas: Participants Copies for Relational Methods in Logic, Algebra and Computer Science, 4th International Seminar RelMiCS, Warsaw, Poland, Septermber 14-20, 1998.1998[contents]
3rd RelMiCS 1997: Hammamet, Tunisia
Participants Copies of Third International Seminar on the Use of Relational Methods in Computer Science, January 6-10, 1997, Hammamet, Tunisia.1997[contents]