RAMiCS
| RAMiCS | |
|---|---|
| 略語 | RAMiCS |
| 規律 | 理論計算機科学 |
| 出版の詳細 | |
| 出版社 | シュプリンガー LNCS |
| 歴史 | 1994年～ |
| 頻度 | 18か月間（1994年以降） |
RAMiCS [ 1]（International Conference on Relational and Algebraic Methods in Computer Science ）は、国際運営委員会によって18ヶ月ごとに開催される学術会議で、主にヨーロッパの様々な場所で開催されますが、他の大陸でも開催されることがあります。多くの理論計算機科学会議と同様に、RAMiCSの論文は厳格な査読を受けます。会議の議事録はLecture Notes in Computer Scienceに掲載され、優れた論文の一部はJournal of Logical and Algebraic Methods in Programmingに掲載されています。
初期の歴史
RAMiCS（当時はまだRelMiCSと呼ばれていました）は、1994年1月17日から21日にドイツのダグシュトゥール城でChris BrinkとGunther Schmidtによって「コンピュータサイエンスにおけるリレーショナル手法の国際セミナー」として最初に開催されました。[2]第2回のRelMiCSは故Armando Haebererによって開催され[3] 、1995年7月10日から14日にブラジルのリオデジャネイロ近郊のパラチで開催されました。[4] [5]第3回コンピュータサイエンスにおけるリレーショナル手法の利用に関する国際セミナー（RelMiCS 3）は、1997年1月6日から10日にチュニジアのハマメットにあるアルバトロスホテルで開催されました。[6]第4回国際セミナー「コンピュータサイエンスにおけるリレーショナル手法」 (RelMiCS 4) は、1998年9月14日から20日まで、ポーランドのシュテファン・バナッハ国際数学センターで開催されました。 [7] 2004年9月にはポーランドのワルシャワで開催されました。[8]第5回国際セミナー「コンピュータサイエンスにおけるリレーショナル手法」 (RelMiCS 5) は、2000年1月9日から14日まで、カナダのケベック州近郊のヴァルカルティエで開催されました。[9]その時点から、Springer社との提携により「Lecture Notes in Computer Science」シリーズとして出版されるようになりました。
参照
参考文献
- ^ 旧称RelMiCS（コンピュータサイエンスにおけるリレーショナル手法に関する国際セミナー）
- ^ ブリンク、C.、シュミット、G.：コンピュータサイエンスにおけるリレーショナルメソッド、ダグシュトゥールセミナーレポート80（9403）
- ^ 「国連大学最新情報：アルマンド・ヘーベラー氏の死」.
- ^ Frias, M.; Haeberer, AM, 編 (1998)、「RelMiCS '2 - コンピュータサイエンスにおけるリレーショナルメソッド」、Logic Journal of the IGPL、6 (2)、Elsevier、ISSN 1367-0751
- ^ ブリンク, C. , カール, W. ,シュミット, G. : コンピュータサイエンスにおけるリレーショナル手法, コンピューティングサイエンスの進歩. シュプリンガー・ウィーン-ニューヨーク, 1997, ISBN 3-211-82971-7
- ^ Jaoua, A.; Schmidt, G.編 (1999)、「RelMiCS '3 - コンピュータサイエンスにおけるリレーショナルメソッド」、Information Sciences、119 ( 3 –4)、Elsevier、ISBN 978-3-7908-1365-4
- ^ “Centrum Banacha”. 2015年9月5日時点のオリジナルよりアーカイブ。2015年1月19日閲覧。
- ^ Orłowska, E.; Szałas, A. 編 (2001)、「RelMiCS '4 - コンピュータサイエンスアプリケーションのためのリレーショナルメソッド」、Studies in Fuzziness and Soft Computing、Physica-Verlag、ISBN 978-3-7908-1365-4。
- ^ Desharnais, J. 編 (2000), RelMiCS2000, 第5回コンピュータサイエンスにおけるリレーショナル手法に関する国際セミナー, ラヴァル大学。
