Misplaced Pages

RAMiCS

Article snapshot taken from Wikipedia with creative commons attribution-sharealike license. Give it a read and then ask your questions in the chat. We can research this topic together.
This article has multiple issues. Please help improve it or discuss these issues on the talk page. (Learn how and when to remove these messages)
This article needs additional citations for verification. Please help improve this article by adding citations to reliable sources. Unsourced material may be challenged and removed.
Find sources: "RAMiCS" – news · newspapers · books · scholar · JSTOR (July 2022) (Learn how and when to remove this message)
This article may rely excessively on sources too closely associated with the subject, potentially preventing the article from being verifiable and neutral. Please help improve it by replacing them with more appropriate citations to reliable, independent, third-party sources. (July 2022) (Learn how and when to remove this message)
(Learn how and when to remove this message)
RAMiCS
AbbreviationRAMiCS
DisciplineTheoretical computer science
Publication details
PublisherSpringer LNCS
History1994–
Frequency18 monthly (since 1994)

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.

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, 6 (2), ISSN 1367-0751 {{citation}}: Unknown parameter |agency= ignored (help)
  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, 119 (3–4), Elsevier, 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.
Categories:
RAMiCS Add topic