РАМиКС

РАМиКС
РАМиКС
Аббревиатура	РАМиКС
Дисциплина	Теоретическая информатика
Подробности публикации
Издатель	Спрингер ЛНКС
История	1994–
Частота	18 ежемесячно (с 1994 г.)

РАМиКС , ^[1] Международная конференция по реляционным и алгебраическим методам в информатике — это научная конференция, организуемая каждые восемнадцать месяцев международным руководящим комитетом и проводимая в разных местах, главным образом в Европе, но также и на других континентах. Как и большинство конференций по теоретической информатике, ее материалы строго рецензируются . Материалы конференций публикуются в «Конспектах лекций по информатике» , а некоторые из наиболее важных статей были опубликованы в «Журнале логических и алгебраических методов программирования» .

Ранняя история

RAMiCS, тогда еще называвшийся RelMiCS, был впервые организован Крисом Бринком и Гюнтером Шмидтом 17–21 января 1994 года в замке Дагштуль , Германия , как Международный семинар по реляционным методам в информатике . ^[2] Второй RelMiCS был организован покойным Армандо Хеберером. ^[3] и состоялся 10–14 июля 1995 года в Парати недалеко от Рио-де-Жанейро, Бразилия . ^[4]^[5] 3-й Международный семинар по использованию реляционных методов в информатике (RelMiCS 3) проходил 6–10 января 1997 года в отеле «Альбатрос» в Хаммамете , Тунис . ^[6] состоялся 4-й международный семинар по реляционным методам в информатике (RelMiCS 4) 14–20 сентября 1998 г. в Международном математическом центре имени Стефана Банаха , ^[7] Сентябрь 2004 г., Варшава , Польша. ^[8] 5-й Международный семинар по реляционным методам в информатике (RelMiCS 5) состоялся 9–14 января 2000 года в Валькартье недалеко от Квебека , Канада . ^[9] С этого момента была организована публикация со Спрингером в серии « Конспекты лекций по информатике» .

См. также

Ссылки

^ Ранее RelMiCS , Международный семинар по реляционным методам в информатике.
^ Бринк, К. , Шмидт, Г .: Реляционные методы в информатике, Отчет о семинаре Dagstuhl 80 (9403)
^ «Обновление УООН: смерть Армандо Хаберера» .
^ Фриас, М.; Хэберер, А.М., ред. (1998), «RelMiCS '2 — реляционные методы в информатике», Logic Journal of the IGPL , 6 (2), ISSN 1367-0751 {{citation}}: Неизвестный параметр |agency= игнорируется ( помогите )
^ Бринк, К. , Каль, В. , Шмидт, Г .: Реляционные методы в информатике, Достижения в области информатики. Спрингер Вена-Нью-Йорк, 1997 г., ISBN 3-211-82971-7
^ Джауа, А. ; Шмидт, Г. , ред. (1999), «RelMiCS '3 — реляционные методы в информатике», Information Sciences , 119 (3–4), Elsevier, ISBN 978-3-7908-1365-4
^ «Банах Центр» .
^ Орловская, Э.; Салас А., ред. (2001), «RelMiCS '4 - реляционные методы для приложений информатики», Исследования в области нечеткости и мягких вычислений , Physica-Verlag, ISBN 978-3-7908-1365-4 .
^ Дешарне, Дж., изд. (2000), RelMiCS2000, 5-й международный семинар по реляционным методам в информатике , Университет Лаваля .

[1] Ранее RelMiCS , Международный семинар по реляционным методам в информатике.

[2] Бринк, К. , Шмидт, Г .: Реляционные методы в информатике, Отчет о семинаре Dagstuhl 80 (9403)

[3] «Обновление УООН: смерть Армандо Хаберера» .

[4] Фриас, М.; Хэберер, А.М., ред. (1998), «RelMiCS '2 — реляционные методы в информатике», Logic Journal of the IGPL , 6 (2), ISSN 1367-0751 {{citation}}: Неизвестный параметр |agency= игнорируется ( помогите )

[5] Бринк, К. , Каль, В. , Шмидт, Г .: Реляционные методы в информатике, Достижения в области информатики. Спрингер Вена-Нью-Йорк, 1997 г., ISBN 3-211-82971-7

[6] Джауа, А. ; Шмидт, Г. , ред. (1999), «RelMiCS '3 — реляционные методы в информатике», Information Sciences , 119 (3–4), Elsevier, ISBN 978-3-7908-1365-4

[7] «Банах Центр» .

[8] Орловская, Э.; Салас А., ред. (2001), «RelMiCS '4 - реляционные методы для приложений информатики», Исследования в области нечеткости и мягких вычислений , Physica-Verlag, ISBN 978-3-7908-1365-4 .

[9] Дешарне, Дж., изд. (2000), RelMiCS2000, 5-й международный семинар по реляционным методам в информатике , Университет Лаваля .

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

Базы данных авторитетного контроля
International	VIAF
National	Germany United States