Relational and Algebraic Methods in Computer Science (RAMICS / RelMiCS)

RelMiCS Home Page

17th RAMICS 2018: Groningen, The Netherlands

• 
  Jules Desharnais, Walter Guttmann, Stef Joosten:
  Relational and Algebraic Methods in Computer Science - 17th International Conference, RAMiCS 2018, Groningen, The Netherlands, October 29 - November 1, 2018, Proceedings. Lecture Notes in Computer Science 11194, Springer 2018, ISBN 978-3-030-02148-1 [contents]

16th RAMICS 2017: Lyon, France

• 
  Peter Höfner, Damien Pous, Georg Struth:
  Relational and Algebraic Methods in Computer Science - 16th International Conference, RAMiCS 2017, Lyon, France, May 15-18, 2017, Proceedings. Lecture Notes in Computer Science 10226, 2017, ISBN 978-3-319-57417-2 [contents]

15th RAMICS 2015: Braga, Portugal

• 
  Wolfram Kahl, Michael Winter, José Nuno Oliveira:
  Relational and Algebraic Methods in Computer Science - 15th International Conference, RAMiCS 2015, Braga, Portugal, September 28 - October 1, 2015, Proceedings. Lecture Notes in Computer Science 9348, Springer 2015, ISBN 978-3-319-24703-8 [contents]

14th RAMICS 2014: Marienstatt, Germany

• 
  Peter Höfner, Peter Jipsen, Wolfram Kahl, Martin Eric Müller:
  Relational and Algebraic Methods in Computer Science - 14th International Conference, RAMiCS 2014, Marienstatt, Germany, April 28-May 1, 2014. Proceedings. Lecture Notes in Computer Science 8428, Springer 2014, ISBN 978-3-319-06250-1 [contents]

13th RAMICS 2012: Cambridge, UK

• 
  Wolfram Kahl, Timothy G. Griffin:
  Relational and Algebraic Methods in Computer Science - 13th International Conference, RAMiCS 2012, Cambridge, UK, September 17-20, 2012. Proceedings. Lecture Notes in Computer Science 7560, Springer 2012, ISBN 978-3-642-33313-2 [contents]

12th RAMICS 2011: Rotterdam, The Netherlands

• 
  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, Springer 2011, 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, Springer 2009, 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, Springer 2008, 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, Springer 2006, ISBN 3-540-37873-1 [contents]

8th RelMiCS 2005: Stth Catharines, Ontario, Canada

• 
  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, Springer 2006, 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, Springer 2004, 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, Springer 2002, ISBN 3-540-00315-0 [contents]

5th RelMiCS 2000: Valcartier, Quebec, Canada

RelMiCS 2000 Home Page

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

2nd RelMiCS 1995: Parati, Brasil

1st RelMiCS 1994: Dagstuhl, Germany