RAMiCS

From Wikipedia, the free encyclopedia
RAMiCS
AbbreviationRAMiCS
DisciplineTheoretical computer science
Publication details
PublisherSpringer LNCS
History1994–
Frequency18 monthly (since 1994)

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.

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 [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 ,[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[]

  • Fahrenberg, U.; Jipsen, P.; Winter, M., eds. (2020), "RAMiCS 18 - Relational and Algebraic Methods in Computer Science", Lecture Notes in Computer Science, 12062, ISBN 978-3-030-43520-2.
  • Desharnais, J.; Guttmann, W.; Joosten, S., eds. (2018), "RAMiCS 17 - Relational and Algebraic Methods in Computer Science", Lecture Notes in Computer Science, 11194, ISBN 978-3-030-02149-8.
  • Höfner, P.; Pous, D.; Struth, G., eds. (2017), "RAMiCS 16 - Relational and Algebraic Methods in Computer Science", Lecture Notes in Computer Science, 10226, ISBN 978-3-319-57418-9.
  • Kahl, W.; Winter, M.; Oliveira, J., eds. (2015), "RAMiCS 15 - Relational and Algebraic Methods in Computer Science", Lecture Notes in Computer Science, 9348, ISBN 978-3-319-24704-5.
  • 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[]

  • 19th International Conference on Relational and Algebraic Methods in Computer Science (RAMiCS 19), to be held at CIRM in Marseille, France,[14] Nov 2–Nov 5, 2021
  • 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 , 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, , 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[]

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., , Schmidt, G.: Relational Methods in Computer Science, Advances in Computing Science. Springer Vienna-New York, 1997, ISBN 3-211-82971-7
  6. ^ ; 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. ^ "Archived copy". Archived from the original on 2011-03-06. Retrieved 2015-01-12.CS1 maint: archived copy as title (link)
  11. ^ "Prof. Dr. Bernhard Möller".
  12. ^ ".index.html".
  13. ^ "Dr RA Schmidt the University of Manchester - Research Perspectives - EPSRC - Personal Profile".
  14. ^ "Welcome - RAMiCS 2021 (Nov 2–Nov 5, 2021)".
Retrieved from ""