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.
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.
[2] The second RelMiCS was organized by the late Armando Haeberer[3] and held July 10–14, 1995 in Paraty near Rio de Janeiro, Brazil.
[4][5] 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.
[8] The 5th International Seminar on Relational Methods in Computer Science (RelMiCS 5) occurred January 9–14, 2000 at Valcartier near Québec, Canada.