RAMiCS
RAMiCS, the International Conference on Relational and Algebraic Methods in Computer Science, is an academic conference organized every eighteen months by an international steering committee and held in different locations mainly in Europe, but also in other continents. Like most theoretical computer science conferences, its contributions are strongly peer-reviewed. Proceedings of the conferences appear in Lecture Notes in Computer Science, and some of the stronger papers have been published in Journal of Logical and Algebraic Methods in Programming.

Early history
RAMiCS, then still called RelMiCS, was first organized by Chris Brink and Gunther Schmidt on January 17–21, 1994 in Schloß Dagstuhl, Germany as International Seminar on Relational Methods in Computer Science. The second RelMiCS was organized by the late Armando Haeberer and held July 10–14, 1995 in Paraty near Rio de Janeiro, Brazil. The 3rd International Seminar on the Use of Relational Methods in Computer Science (RelMiCS 3) was January 6–10, 1997 in Albatros Hotel in Hammamet, Tunisia. A 4th International Seminar on Relational Methods in Computer Science (RelMiCS 4) took place September 14–20, 1998 in Stefan Banach International Mathematical Centre, Sept. 2004, Warsaw, Poland. The 5th International Seminar on Relational Methods in Computer Science (RelMiCS 5) occurred January 9–14, 2000 at Valcartier near Québec, Canada. From that point on, publication was arranged with Springer in the series Lecture Notes in Computer Science.

Proceedings volumes 
 .
 .
 .
 .
 .
 .
 .
 .
 .
 .
 .
 .
 .
 .

Journal editions based on RAMiCS/RelMiCS 
The following special issues of the Journal of Logical and Algebraic Methods in Programming contain results presented at RAMiCS conferences:

November 2019 (last update): edited by Peter Höfner, Damien Pous, Georg Struth; Relational and Algebraic Methods in Computer Science, 9 research articles
 June 2016: edited by Peter Höfner, Peter Jipsen, Wolfram Kahl, Martin Eric Müller; Relational and algebraic methods in computer science, Volume 85, Issue 4, Pages 447–652, 9 research articles
 May 2015: edited by Wolfram Kahl, Timothy G. Griffin, Peter Höfner; 13th International Conference on Relational and Algebraic Methods in Computer Science (RAMiCS 2012), Volume 84, Issue 3, Pages 283–482, 10 research articles
 August 2012: edited by H. C. M. de Swart; Relational and Algebraic Methods in Computer Science, Volume 81, Issue 6, Pages 623–718, 5 research articles
 August 2011: edited by R. Berghammer, Jaoua, A. and B. Möller; Relations and Kleene Algebras in Computer Science, Volume 80, Issue 6, Pages 219–376, 6 research articles
 November 2010: edited by R. Berghammer, B. Möller and G. Struth; Relations and Kleene Algebras in Computer Science, Volume 79, Issue 8, Pages 705–844, 7 research articles
 May–June 2008: edited by R.A. Schmidt and G. Struth; Relations and Kleene Algebras in Computer Science, Volume 76, Issue 1, Pages 1–160, 8 research articles
 February–March 2006: edited by B. Möller; Relation algebra and Kleene algebra, Volume 66, Issue 2, Pages 69–272, 8 research articles

Itinerary 
 19th International Conference on Relational and Algebraic Methods in Computer Science (RAMiCS 19), Nov 2–Nov 5, 2021, CIRM in Marseille, France, 
 18th International Conference on Relational and Algebraic Methods in Computer Science (RAMiCS 18), originally planned for Apr 8–11, 2020, was held in Palaiseau, France; due to the Corona crisis, this event took place as a virtual conference Oct 26–29, 2020
 17th International Conference on Relational and Algebraic Methods in Computer Science (RAMiCS 17), Oct 29–Nov 1, 2018, Groningen, The Netherlands
 16th International Conference on Relational and Algebraic Methods in Computer Science (RAMiCS 16), May 15–18, 2017, Lyon, France
 15th International Conference on Relational and Algebraic Methods in Computer Science (RAMiCS 15), Sep 28–Oct 02, 2015, Braga, Portugal
 14th International Conference on Relational and Algebraic Methods in Computer Science (RAMiCS 14), April 28–May 1, 2014, in the monastery Marienstatt im Westerwald, Germany
 13th International Conference on Relational and Algebraic Methods in Computer Science (RAMiCS 13), September 17–20, 2012, Cambridge, UK
 12th International Conference on Relational and Algebraic Methods in Computer Science (RAMiCS 12), May 30–June 3, 2011, Rotterdam, Netherlands
 11th International Conference on Relational Methods in Computer Science and 6th International Conference on Applications of Kleene Algebra (RAMiCS 11 / AKA 6), Nov 1–5, 2009, Doha, Qatar
 10th International Conference on Relational Methods in Computer Science and 5th International Conference on Applications of Kleene Algebra (RelMiCS 10 / AKA 5), April 7-11, 2008, Frauenwörth, Germany
 9th International Conference on Relational Methods in Computer Science and 4th International Workshop on Applications of Kleene Algebra (RelMiCS 9 / AKA 4), Aug 29-Sep 2, 2006, Manchester, UK
 8th International Conference on Relational Methods in Computer Science and 3rd International Workshop on Applications of Kleene Algebra (RelMiCS 8 / AKA 3), February 22-26, 2005, St. Catharines, Ontario, Canada
 7th International Conference on Relational Methods in Computer Science and 2nd International Workshop on Applications of Kleene Algebra (RelMiCS 7 / AKA 2), May 12-17, 2003, Malente, Germany
 6th International Conference on Relational Methods in Computer Science (RelMiCS 6), October 16-21, 2001, Oisterwijk, Netherlands
 1st International Workshop on Applications of Kleene Algebra (AKA 1), February 18-23, 2001 Dagstuhl, Germany
 5th International Conference on Relational Methods in Computer Science (RelMiCS 5), January 9-14, 2000, Valcartier, Canada
 4th International Conference on Relational Methods in Computer Science (RelMiCS 4), September 14-20, 1998, Warsaw, Poland
 3rd International Conference on Relational Methods in Computer Science (RelMiCS 3), January 6-10, 1997, Hammamet, Tunisia
 2nd International Conference on Relational Methods in Computer Science (RelMiCS 2), July 10-14, 1995, Parati, Brazil
 1st International Conference on Relational Methods in Computer Science (RelMiCS 1), January 17-21, 1994, Dagstuhl, Germany

See also 
 Calculus of relations
 Binary relation
 Heterogeneous relation
 List of computer science conferences

References 

Theoretical computer science conferences
Relational algebra
Recurring events established in 1994