default search action
International Conference on Relational and Algebraic Methods in Computer Science (RAMiCS)
International Seminar on Relational Methods in Computer Science (RelMiCS)
21st RAMICS 2024: Prague, Czech Republic
- Uli Fahrenberg, Wesley Fussner, Roland Glück:
Relational and Algebraic Methods in Computer Science - 21st International Conference, RAMiCS 2024, Prague, Czech Republic, August 19-22, 2024, Proceedings. Lecture Notes in Computer Science 14787, Springer 2024, ISBN 978-3-031-68278-0 [contents]
20th RAMICS 2023: Augsburg, Germany
- Roland Glück, Luigi Santocanale, Michael Winter:
Relational and Algebraic Methods in Computer Science - 20th International Conference, RAMiCS 2023, Augsburg, Germany, April 3-6, 2023, Proceedings. Lecture Notes in Computer Science 13896, Springer 2023, ISBN 978-3-031-28082-5 [contents]
19th RAMICS 2021: Marseille, France
- Uli Fahrenberg, Mai Gehrke, Luigi Santocanale, Michael Winter:
Relational and Algebraic Methods in Computer Science - 19th International Conference, RAMiCS 2021, Marseille, France, November 2-5, 2021, Proceedings. Lecture Notes in Computer Science 13027, Springer 2021, ISBN 978-3-030-88700-1 [contents]
18th RAMICS 2020: Palaiseau, France
- Uli Fahrenberg, Peter Jipsen, Michael Winter:
Relational and Algebraic Methods in Computer Science - 18th International Conference, RAMiCS 2020, Palaiseau, France, April 8-11, 2020, Proceedings [postponed]. Lecture Notes in Computer Science 12062, Springer 2020, ISBN 978-3-030-43519-6 [contents]
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
- 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, September 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, Brazil
1st RelMiCS 1994: Dagstuhl, Germany
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.