| ラミックス | |
|---|---|
| 略語 | ラミックス |
| 規律 | 理論計算機科学 |
| 出版の詳細 | |
| 出版社 | シュプリンガー LNCS |
| 歴史 | 1994年~ |
| 頻度 | 18か月(1994年以降) |
RAMiCS [1]は、コンピュータサイエンスにおけるリレーショナルおよび代数的手法に関する国際会議であり、国際運営委員会によって18か月ごとに組織され、主にヨーロッパのさまざまな場所で開催されますが、他の大陸でも開催されます。ほとんどの理論コンピュータサイエンス会議と同様に、その貢献は厳格に査読されています。会議の議事録は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)、ISSN 1367-0751
{{citation}}:不明なパラメータ|agency=は無視されました (ヘルプ) - ^ Brink, C.、Kahl, W.、Schmidt, G. : コンピュータサイエンスにおけるリレーショナルメソッド、コンピューティングサイエンスの進歩。Springer Vienna-New York、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
- ^ 「セントラム・バナチャ」.
- ^ 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 回コンピュータ サイエンスにおけるリレーショナル メソッドに関する国際セミナー、ラヴァル大学。
