RAMiCS

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

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

See also

• The list of computer science conferences contains other academic conferences in computer science.
• The topics of the conference cover the field of theoretical computer science, in particular Kleene Algebra and Relational Mathematics

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

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

External links

• 15th International Conference on Relational and Algebraic Methods in Computer Science (RAMiCS 15), Sep 28–Oct 02, 2015, Braga, Portugal^[20]
• 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

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