| 2026 | 22 | Relational and Algebraic Methods in Computer Science - 22nd International Conference, RAMiCS 2026, Będlewo, Poland, April 7-10, 2026, Proceedings | Będlewo | |
| 2024 | 21 | Relational and Algebraic Methods in Computer Science - 21st International Conference, RAMiCS 2024, Prague, Czech Republic, August 19-22, 2024, Proceedings | Prague | |
| 2023 | 20 | Relational and Algebraic Methods in Computer Science - 20th International Conference, RAMiCS 2023, Augsburg, Germany, April 3-6, 2023, Proceedings | Germany | |
| 2021 | 19 | Relational and Algebraic Methods in Computer Science - 19th International Conference, RAMiCS 2021, Marseille, France, November 2-5, 2021, Proceedings | France | |
| 2020 | 18 | Relational and Algebraic Methods in Computer Science - 18th International Conference, RAMiCS 2020, Palaiseau, France, April 8-11, 2020, Proceedings [postponed]. | Palaiseau | |
| 2018 | | Relational and Algebraic Methods in Computer Science (RAMICS / RelMiCS) RELMICS | Kingdom of the Netherlands | 2018-10-29 to 2018-11-01 |
| 2018 | 17 | Relational and Algebraic Methods in Computer Science - 17th International Conference, RAMiCS 2018, Groningen, The Netherlands, October 29 - November 1, 2018, Proceedings RAMiCS | Kingdom of the Netherlands | 2018-10-29 to 2018-11-01 |
| 2017 | | Relational and Algebraic Methods in Computer Science (RAMICS / RelMiCS) RELMICS | Lyon | 2017-05-15/18 |
| 2017 | 16 | Relational and Algebraic Methods in Computer Science - 16th International Conference, RAMiCS 2017, Lyon, France, May 15-18, 2017, Proceedings RAMICS | Lyon | 2017-05-15/18 |
| 2015 | 15 | International Conference on Relational and Algebraic Methods in Computer Science RAMICS | Braga | 2015-09-28 to 2015-10-01 |
| 2015 | | Relational and Algebraic Methods in Computer Science (RAMICS / RelMiCS) RELMICS | Braga | 2015-09-28 to 2015-10-01 |
| 2014 | | Relational and Algebraic Methods in Computer Science (RAMICS / RelMiCS) RELMICS | Marienstatt Abbey | 2014-04-28 |
| 2014 | 14 | Relational and Algebraic Methods in Computer Science - 14th International Conference, RAMiCS 2014, Marienstatt, Germany, April 28-May 1, 2014. Proceedings RAMICS | Marienstatt Abbey | 2014-04-28 to 2014-05-01 |
| 2012 | | Relational and Algebraic Methods in Computer Science (RAMICS / RelMiCS) RELMICS | Cambridge | 2012-09-17/20 |
| 2012 | 13 | Relational and Algebraic Methods in Computer Science - 13th International Conference, RAMiCS 2012, Cambridge, UK, September 17-20, 2012. Proceedings | Cambridge | |
| 2011 | | Relational and Algebraic Methods in Computer Science (RAMICS / RelMiCS) RELMICS | Kingdom of the Netherlands | 2011-05-30 to 2011-06-03 |
| 2011 | 12 | Relational and Algebraic Methods in Computer Science - 12th International Conference, RAMICS 2011, Rotterdam, The Netherlands, May 30 - June 3, 2011. Proceedings RAMICS | Kingdom of the Netherlands | 2011-05-30 to 2011-06-03 |
| 2009 | | International Conference on Relational Methods in Computer Science RelMiCS | Doha | 2009-11-01/05 |
| 2009 | | Relational and Algebraic Methods in Computer Science (RAMICS / RelMiCS) RELMICS | Doha | 2009-11-01/05 |
| 2009 | 11 | 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 | Doha | |
| 2008 | | International Conference on Relational Methods in Computer Science RelMiCS | Frauenchiemsee convent | 2008-04-07/11 |
| 2008 | | Relational and Algebraic Methods in Computer Science (RAMICS / RelMiCS) RELMICS | Frauenchiemsee convent | 2008-04-07/11 |
| 2008 | 10 | 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 | Frauenchiemsee convent | |
| 2006 | | International Conference on Relational Methods in Computer Science RelMiCS | Manchester | 2006-08-29 to 2006-09-02 |
| 2006 | | Relational and Algebraic Methods in Computer Science (RAMICS / RelMiCS) RELMICS | Manchester | 2006-08-29 |
| 2006 | 9 | 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 | Manchester | |
| 2005 | | International Conference on Relational Methods in Computer Science RelMiCS | St. Catharines | 2005-02-22/26 |
| 2005 | | Relational and Algebraic Methods in Computer Science (RAMICS / RelMiCS) RELMICS | Canada | 2005-02-22/26 |
| 2005 | 8 | 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 | St. Catharines | |
| 2003 | | International Conference on Relational Methods in Computer Science RelMiCS | Malente | 2003-05-12/17 |
| 2003 | | Relational and Algebraic Methods in Computer Science (RAMICS / RelMiCS) RELMICS | Malente | 2003-05-12/17 |
| 2003 | 7 | 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 | Malente | |
| 2001 | | International Conference on Relational Methods in Computer Science RelMiCS | Kingdom of the Netherlands | 2001-10-16/21 |
| 2001 | | Relational and Algebraic Methods in Computer Science (RAMICS / RelMiCS) RELMICS | Kingdom of the Netherlands | 2001-10-16/21 |
| 2001 | 6 | 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 | Kingdom of the Netherlands | |
| 2000 | | Participants Copies of Fifth International Seminar on Relational Methods in Computer Science,January 9-14, 2000, Valcartier (Quebec), Canada RELMICS | Saint-Gabriel-de-Valcartier | 2000-01-01 |
| 1998 | 4 | Participants Copies for Relational Methods in Logic, Algebra and Computer Science, 4th International Seminar RelMiCS, Warsaw, Poland, September 14-20, 1998 RELMICS | Warsaw | 1998-01-01 |
| 1997 | | Participants Copies of Third International Seminar on the Use of Relational Methods in Computer Science, January 6-10, 1997, Hammamet, Tunisia RELMICS | Hammamet | 1997-01-06/10 |
| 1995 | | Relational and Algebraic Methods in Computer Science (RAMICS / RelMiCS) RELMICS | Paraty | 1995-01-01 |
| 1994 | | Relational and Algebraic Methods in Computer Science (RAMICS / RelMiCS) RELMICS | Schloss Dagstuhl – Leibniz Center for Informatics | 1994-01-01 |
