Kalpana Kalpana (Editor)

RAMiCS

Updated on
Edit
Like
Comment
Share on FacebookTweet on TwitterShare on LinkedInShare on Reddit
Abbreviation
  
RAMiCS

History
  
1994–

Publisher
  
Springer LNCS

Frequency
  
18 monthly (since 1994)

Discipline
  
Theoretical computer science

Rapid airborne mine clearance system ramics video


RAMiCS, the International Conference on Relational and Algebraic Methods in Computer Science, is an academic conference organized every one and a half year 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. The articles have appeared in proceedings published by Springer in their Lecture Notes in Computer Science.

Contents

Airborne laser mine detection system almds ramics video


Journal Editions based on RAMiCS/RelMiCS

It has become a tradition that authors of some of the peer-selected articles are asked after the conference to extend their material which is then peer-refereed anew before it appears in a special issues of the Journal of Logical and Algebraic Methods in Programming, ISSN 2352-2208. Such outcomes of RAMiCS are in particular the Special Issues on

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

    • 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. 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, Valcartier near Québec, Canada From that point on, publication was arranged with Springer in the Lecture Notes Series; see below.

    Proceedings volumes

  • 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 .

    • References

    RAMiCS Wikipedia
    (Text) CC BY-SA