RAMiCS

RAMiCS,[1] 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.

RAMiCS
AbbreviationRAMiCS
DisciplineTheoretical computer science
Publication details
PublisherSpringer LNCS
History1994–
Frequency18 monthly (since 1994)

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.[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 at Valcartier near Québec, Canada.[9] From that point on, publication was arranged with Springer in the series Lecture Notes in Computer Science.

Proceedings volumes
  • Jules Desharnais, Walter Guttmann, Stef Joosten (2018) RAMiCS-17 Relational and Algebraic Methods in Computer Science, proceedings of an international conference in Groningen, The Netherlands, October 29 to November 1, 2018 Lecture Notes in Computer Science #11194
  • 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, Lecture Notes in Computer Science #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 978-3-540-37873-0.
  • MacCaull, W.; Winter, M.; Düntsch, I., eds. (2005), "RelMiCS '8 - Relational Methods in Computer Science", Lecture Notes in Computer Science, 3929, ISBN 978-3-540-33339-5.
  • 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 978-3-540-22145-6.
  • de Swart, H. C. M., ed. (2001), "RelMiCS '6 - Relational Methods in Computer Science", Lecture Notes in Computer Science, 2561, ISBN 978-3-540-22145-6.

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:

Itinerary
  • 18th International Conference on Relational and Algebraic Methods in Computer Science (RAMiCS 18), originally planned for Apr 8–Apr 11, 2020, to be held in Palaiseau, France;[14] due to the Corona crisis, this event will take place as a virtual conference Oct 26–Oct 29, 2020
  • 17th International Conference on Relational and Algebraic Methods in Computer Science (RAMiCS 17), Oct 29–Nov 01, 2018, Groningen, The Netherlands[15]
  • 16th International Conference on Relational and Algebraic Methods in Computer Science (RAMiCS 16), May 15–May 18, 2017, Lyon, France[16]
  • 15th International Conference on Relational and Algebraic Methods in Computer Science (RAMiCS 15), Sep 28–Oct 02, 2015, Braga, Portugal[17]
  • 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

See also

References
  1. Formerly RelMiCS, the International Seminar on Relational Methods in Computer Science
  2. Brink, C., Schmidt, G.: Relational Methods in Computer Science, Dagstuhl-Seminar-Report 80 (9403)
  3. "UNU Update: Death of Armando Haeberer".
  4. Frias, M.; Haeberer, A. M., eds. (1998), "RelMiCS '2 - Relational Methods in Computer Science", Logic Journal of the IGPL, Elsevier, 6 (2), ISSN 1367-0751
  5. Brink, C., Kahl, W., Schmidt, G.: Relational Methods in Computer Science, Advances in Computing Science. Springer Vienna-New York, 1997, ISBN 3-211-82971-7
  6. Jaoua, A.; Schmidt, G., eds. (1999), "RelMiCS '3 - Relational Methods in Computer Science", Information Sciences, Elsevier, 119 (3–4), ISBN 978-3-7908-1365-4
  7. "Centrum Banacha".
  8. Orłowska, E.; Szałas, A., eds. (2001), "RelMiCS '4 - Relational Methods for Computer Science Applications", Studies in Fuzziness and Soft Computing, Physica-Verlag, ISBN 978-3-7908-1365-4.
  9. Desharnais, J., ed. (2000), RelMiCS2000, 5th International Seminar on Relational Methods in Computer Science, Université Laval.
  10. "Dr RA Schmidt the University of Manchester - Research Perspectives - EPSRC - Personal Profile".
  11. ".index.html".
  12. "Archived copy". Archived from the original on 2011-03-06. Retrieved 2015-01-12.CS1 maint: archived copy as title (link)
  13. "Prof. Dr. Bernhard Möller".
  14. "Welcome - RAMiCS 2020 (Oct 26–Oct 29, 2020)".
  15. "Welcome - RAMiCS 2018 (Oct 29–Nov 01, 2018)".
  16. "Welcome - RAMiCS 2017 (May 15-May 19)".
  17. "Welcome - RAMiCS 2015 (Sep 28-Oct 01)".
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.