RAMiCS

RAMiCS
Abbreviation RAMiCS
Discipline Theoretical computer science
Publication details
Publisher Springer LNCS
History 1994–
Frequency 18 monthly (since 1994)

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

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,[2] ISSN 2352-2208. Such outcomes of RAMiCS are in particular the Special Issues on

See also

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.[12] The second RelMiCS was organized by the late Armando Haeberer[13] and held July 10–14, 1995 in Paraty near Rio de Janeiro, Brazil.[14][15] 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.[16] A 4th International Seminar on Relational Methods in Computer Science (RelMiCS 4) took place September 14–20, 1998 in Stefan Banach International Mathematical Centre,[17] Sept. 2004, Warsaw, Poland.[18] The 5th International Seminar on Relational Methods in Computer Science (RelMiCS 5) occurred January 9–14, 2000, Valcartier near Québec, Canada[19] From that point on, publication was arranged with Springer in the Lecture Notes Series; see below.

Proceedings volumes

References

  1. ↑ Formerly RelMiCS, the International Seminar on Relational Methods in Computer Science
  2. ↑ http://www.journals.elsevier.com/journal-of-logical-and-algebraic-methods-in-programming/
  3. ↑ http://www.sciencedirect.com/science/journal/15678326/81/6
  4. ↑ http://www.sciencedirect.com/science/journal/15678326/80/6
  5. ↑ http://faculty.qu.edu.qa/jaoua/
  6. ↑ http://www.informatik.uni-augsburg.de/en/chairs/dbis/pmi/staff/moeller/
  7. ↑ http://www.sciencedirect.com/science/journal/15678326/79/8
  8. ↑ http://staffwww.dcs.shef.ac.uk/people/G.Struth/
  9. ↑ http://www.sciencedirect.com/science/journal/15678326/76/1
  10. ↑ http://www.researchperspectives.org/person/58111/Dr-RA-Schmidt-The-University-Of-Manchester
  11. ↑ http://www.sciencedirect.com/science/journal/15678326/66/2
  12. ↑ Brink, C., Schmidt, G.: Relational Methods in Computer Science, Dagstuhl-Seminar-Report 80 (9403)
  13. ↑ http://archive.unu.edu/update/archive/issue24_5.htm
  14. ↑ Frias, M.; Haeberer, A. M., eds. (1998), "RelMiCS '2 - Relational Methods in Computer Science", Logic Journal of the IGPL, Oxford University Press, Elsevier, 6 (2), ISSN 1367-0751
  15. ↑ 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
  16. ↑ Jaoua, A.; Schmidt, G., eds. (1999), "RelMiCS '3 - Relational Methods in Computer Science", Special Issue of Information Sciences, Elsevier, 119 (3-4), ISBN 3-7908-1365-6
  17. ↑ http://www.impan.pl/BC/
  18. ↑ 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 3-7908-1365-6.
  19. ↑ Desharnais, J., ed. (2000), RelMiCS2000, 5th International Seminar on Relational Methods in Computer Science, Université Laval.
  20. ↑
This article is issued from Wikipedia - version of the 10/23/2016. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.