RAMiCS - RAMiCS

RAMiCS
ZkratkaRAMiCS
DisciplínaTeoretická informatika
Podrobnosti o publikaci
VydavatelSpringer LNCS
Dějiny1994–
Frekvence18 měsíčně (od roku 1994)

RAMiCS,[1] the Mezinárodní konference o relačních a algebraických metodách v informatice, je akademická konference pořádá každých osmnáct měsíců mezinárodní řídící výbor a koná se na různých místech, zejména v Evropě, ale i na jiných kontinentech. Stejně jako většina konferencí o teoretické informatice je i její příspěvek velmi silný recenzováno. Sborník konferencí je uveden v Přednášky z informatiky a některé silnější články byly publikovány v Journal of logických a algebraických metod v programování.

Raná historie

RAMiCS, tehdy ještě nazývaný RelMiCS, nejprve organizoval Chris Brink a Gunther Schmidt ve dnech 17. – 21. ledna 1994 v Schloß Dagstuhl, Německo tak jako Mezinárodní seminář o relačních metodách v informatice.[2] Druhý RelMiCS byl organizován pozdě Armando Haeberer[3] a konalo se 10. – 14. července 1995 v Paraty poblíž Rio de Janeira, Brazílie.[4][5] 3. mezinárodní seminář o použití relačních metod v informatice (RelMiCS 3) se konal 6. – 10. Ledna 1997 v hotelu Albatros v Hammamet, Tunisko.[6] 4. mezinárodní seminář o relačních metodách v informatice (RelMiCS 4) se konal ve dnech 14. – 20. Září 1998 v Stefan Banach International Mathematical Center,[7] Září 2004, Varšava, Polsko.[8] 5. mezinárodní seminář o relačních metodách v informatice (RelMiCS 5) se konal ve dnech 9. – 14. Ledna 2000 Valcartier u Québec, Kanada.[9] Od té chvíle byla publikace uspořádána se Springerem v seriálu Přednášky z informatiky.

Svazky sborníku

  • Jules Desharnais, Walter Guttmann, Stef Joosten (2018) RAMiCS-17 relační a algebraické metody v informatice, sborník z mezinárodní konference v nizozemském Groningenu, 29. října až 1. listopadu 2018 Přednášky z informatiky #11194
  • Peter Höfner (2017) RAMiCS-16 relační a algebraické metody v informatice, sborník z mezinárodní konference ve francouzském Lyonu 16. – 18. května 2017 Přednášky z informatiky #10226
  • Wolfram Kahl (2015) RAMiCS-15 relační a algebraické metody v informatice, Sborník mezinárodní konference v Braga, Portugalsko 28. září až 1. října 2015 LNCS # 9348
  • Höfner, P .; Jipsen, P .; Kahl, W .; Müller, M. E., eds. (2014), „RAMiCS '14 - relační a algebraické metody v informatice“, Přednášky z informatiky, 8428, ISBN  978-3-319-06250-1.
  • Kahl, W .; Griffin, T. G., eds. (2012), „RAMiCS '13 - relační a algebraické metody v informatice“, Přednášky z informatiky, 7560, ISBN  978-3-642-33313-2.
  • de Swart, H. C. M., vyd. (2011), „RAMiCS '12 - Relační a algebraické metody v informatice“, Přednášky z informatiky, 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“, Přednášky z informatiky, 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“, Přednášky z informatiky, 4988, ISBN  978-3-540-78912-3.
  • Schmidt, R. A., ed. (2006), „RelMiCS '9 - Relations and Kleene-Algebra in Computer Science“, Přednášky z informatiky, 4136, ISBN  978-3-540-37873-0.
  • MacCaull, W .; Winter, M .; Düntsch, I., eds. (2005), „RelMiCS '8 - relační metody v informatice“, Přednášky z informatiky, 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“, Přednášky z informatiky, 3051, ISBN  978-3-540-22145-6.
  • de Swart, H. C. M., vyd. (2001), „RelMiCS '6 - Relational Methods in Computer Science“, Přednášky z informatiky, 2561, ISBN  978-3-540-22145-6.

Edice časopisů založené na RAMiCS / RelMiCS

Následující speciální čísla Journal of logických a algebraických metod v programování obsahují výsledky prezentované na konferencích RAMiCS:

Itinerář

  • 18. mezinárodní konference o relačních a algebraických metodách v informatice (RAMiCS 18), původně plánovaná na 8. dubna - 11. dubna 2020, se bude konat v Palaiseau, Francie[14]; z důvodu koronské krize se tato akce uskuteční jako virtuální konference 26. října - 29. října 2020
  • 17. mezinárodní konference o relačních a algebraických metodách v informatice (RAMiCS 17), 29. října - 1. listopadu 2018, Groningen, Nizozemí[15]
  • 16. mezinárodní konference o relačních a algebraických metodách v informatice (RAMiCS 16), 15. – 18. Května 2017, Lyon, Francie[16]
  • 15. mezinárodní konference o relačních a algebraických metodách v informatice (RAMiCS 15), 28. září - 2. října 2015, Braga, Portugalsko[17]
  • 14. mezinárodní konference o relačních a algebraických metodách v informatice (RAMiCS 14) v klášteře Marienstatt im Westerwald, Německo, 28. dubna - 1. května 2014, [1]
  • 13. mezinárodní konference o relačních a algebraických metodách v informatice (RAMiCS 13), 17. – 20. Září 2012 Cambridge, Spojené království[2]
  • 12. mezinárodní konference o relačních a algebraických metodách v informatice (RAMiCS 12), 30. května - 3. června 2011, Rotterdam, Holandsko [3]
  • 11. mezinárodní konference o relačních metodách v informatice (RAMiCS 11), 1. – 5. Listopadu 2009, Dauhá, Katar [4]
  • 10. mezinárodní konference o relačních metodách v informatice (RelMiCS 10) a 5. mezinárodní konference o aplikacích Kleene algebry (AKA5), Frauenwörth, Německo[5]
  • 9. mezinárodní konference o vztazích a Kleene-Algebře v informatice (RelMiCS 9), Manchester, Spojené království
  • 8. mezinárodní konference o relačních metodách v informatice (RelMiCS 8), St. Catharines, Ontario, Kanada[6]
  • 7. mezinárodní konference o relačních a kleene-algebraických metodách v informatice (RelMiCS 7), Varšava, Polsko[7]
  • 6. mezinárodní konference o relačních metodách v informatice (RelMiCS 6), Oisterwijk, Holandsko

Viz také

Reference

  1. ^ Dříve RelMiCS, Mezinárodní seminář o relačních metodách v informatice
  2. ^ Brink, C., Schmidt, G.: Relational Methods in Computer Science, Dagstuhl-Seminar-Report 80 (9403)
  3. ^ „Aktualizace UNU: Smrt Armanda Haeberera“.
  4. ^ Frias, M .; Haeberer, A. M., eds. (1998), „RelMiCS '2 - relační metody v informatice“, Logický deník IGPL, Elsevier, 6 (2), ISSN  1367-0751
  5. ^ Brink, C., Kahl, W., Schmidt, G.: Relational Methods in Computer Science, Advances in Computing Science. Springer Vídeň-New York, 1997, ISBN  3-211-82971-7
  6. ^ Jaoua, A.; Schmidt, G., eds. (1999), „RelMiCS '3 - relační metody v informatice“, Informační vědy, 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“, Studium fuzziness a soft computingu, Physica-Verlag, ISBN  978-3-7908-1365-4.
  9. ^ Desharnais, J., ed. (2000), RelMiCS2000, 5. mezinárodní seminář o relačních metodách v informatice, Université Laval.
  10. ^ „Dr. RA Schmidt z University of Manchester - Výzkumné perspektivy - EPSRC - Osobní profil“.
  11. ^ „.index.html“.
  12. ^ „Archivovaná kopie“. Archivovány od originál dne 06.03.2011. Citováno 2015-01-12.CS1 maint: archivovaná kopie jako titul (odkaz)
  13. ^ „Prof. Dr. Bernhard Möller“.
  14. ^ „Vítejte - RAMiCS 2020 (26. října - 29. října 2020)“.
  15. ^ „Vítejte - RAMiCS 2018 (29. října - 1. listopadu 2018)“.
  16. ^ „Vítejte - RAMiCS 2017 (15. května - 19. května)“.
  17. ^ „Vítejte - RAMiCS 2015 (28. září - 1. října)“.