RAMiCS

RAMiCS,^[1] the International Conference on Relational and Algebraic Methods in Computer Science, is an academic conference organized eighteen months by an internationalsteering 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 in 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.^[6] A 4th International Seminar on Relational Methods in Computer Science (RelMiCS 4) took place September 14–20, 1998 in Stefan Banach International Mathematical Centre,^[7] Sept. 2004, Warsaw, Poland.^[8] The 5th International Seminar on Relational Methods in Computer Science (RelMiCS 5) occurred January 9–14, 2000, Valcartier near Québec, Canada^[9] From that point on, publication was arranged with Springer in the Lecture Notes Series; see below.

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:

• February–March 2006: Relation algebra and Kleene algebra Volume 66, Issue 2, Pages 69–272
• May–June 2008: edited by R.A. Schmidt^[10] and G. Struth Relations and Kleene Algebras in Computer Science, Volume 76, Issue 1, Pages 1–160
• November 2010: edited by R. Berghammer, B. Möller and G. Struth^[11] Relations and Kleene Algebras in Computer Science Volume 79, Issue 8, Pages 705-844
• August 2011: edited by R. Berghammer, Jaoua, A.:^[12] and B. Möller^[13] Relations and Kleene Algebras in Computer Science, Volume 80, Issue 6, Pages 219-376
• August 2012: edited by H. C. M. de Swart Relational and Algebraic Methods in Computer Science, Volume 81, Issue 6, Pages 623-718

Proceedings volumes

• Peter Höfner (2017) RAMiCS-16 Relational and Algebraic Methods in Computer Science, proceedings of an international conference in Lyon, France May 16 to 18, 2017 Lecture Notes in Computer Science #10226
• Wolfram Kahl (2015) RAMiCS-15 Relational and Algebraic Methods in Computer Science, Proceedings of an international conference in Braga, Portugal September 28 to October 1, 2015 LNCS #9348
• Höfner, P.; Jipsen, P.; Kahl, W.; Müller, M. E., eds. (2014), "RAMiCS '14 - Relational and Algebraic Methods in Computer Science", Lecture Notes in Computer Science, 8428, ISBN 978-3-319-06250-1 .
• Kahl, W.; Griffin, T. G., eds. (2012), "RAMiCS '13 - Relational and Algebraic Methods in Computer Science", Lecture Notes in Computer Science, 7560, ISBN 978-3-642-33313-2 .
• de Swart, H. C. M., ed. (2011), "RAMiCS '12 - Relational and Algebraic Methods in Computer Science", Lecture Notes in Computer Science, 6663, ISBN 978-3-642-21069-3 .
• Berghammer, R.; Jaoua, A.; Möller, B., eds. (2009), "RAMiCS '11 - Relations and Kleene Algebra in Computer Science", Lecture Notes in Computer Science, 5827, ISBN 978-3-642-04638-4 .
• Berghammer, R.; Möller, B.; Struth, G., eds. (2008), "RelMiCS '10 - Relations and Kleene-Algebra in Computer Science", Lecture Notes in Computer Science, 4988, ISBN 978-3-540-78912-3 .
• Schmidt, R. A., ed. (2006), "RelMiCS '9 - Relations and Kleene-Algebra in Computer Science", Lecture Notes in Computer Science, 4136, ISBN 3-540-37873-1 .
• MacCaull, W.; Winter, M.; Düntsch, I., eds. (2005), "RelMiCS '8 - Relational Methods in Computer Science", Lecture Notes in Computer Science, 3929, ISBN 3-540-33339-8 .
• Berghammer, R.; Möller, B.; Struth, G., eds. (2003), "RelMiCS '7 - Relational and Kleene-Algebraic Methods in Computer Science", Lecture Notes in Computer Science, 3051, ISBN 3-540-22145-X .
• de Swart, H. C. M., ed. (2001), "RelMiCS '6 - Relational Methods in Computer Science", Lecture Notes in Computer Science, 2561, ISBN 3-540-22145-X .

See also

• List of computer science conferences
• Kleene algebra
• Relational mathematics

External links

• 15th International Conference on Relational and Algebraic Methods in Computer Science (RAMiCS 15), Sep 28–Oct 02, 2015, Braga, Portugal^[14]
• 14th International Conference on Relational and Algebraic Methods in Computer Science (RAMiCS 14) in the monastery Marienstatt im Westerwald, Germany, April 28–May 1, 2014,
• 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 (RAMiCS 11), Nov 1–5, 2009, Doha, Qatar
• 10th International Conference on Relational Methods in Computer Science (RelMiCS 10) and 5th International Conference on Applications of Kleene Algebra (AKA5), Frauenwörth, Germany
• 9th International Conference on Relations and Kleene-Algebra in Computer Science (RelMiCS 9), Manchester, UK
• 8th International Conference on Relational Methods in Computer Science (RelMiCS 8), St. Catharines, Ontario, Canada
• 7th International Conference on Relational and Kleene-Algebraic Methods in Computer Science (RelMiCS 7), Warsaw, Poland
• 6th International Conference on Relational Methods in Computer Science (RelMiCS 6), Oisterwijk, Netherlands

References