RAMiCS , [1] la Conferencia Internacional sobre Métodos Relacionales y Algebraicos en Ciencias de la Computación , es una conferencia académica organizada cada dieciocho meses por un comité directivo internacional y que se lleva a cabo en diferentes lugares principalmente en Europa, pero también en otros continentes. Como la mayoría de las conferencias de ciencias de la computación teóricas, sus contribuciones son fuertemente revisadas por pares . Las actas de las conferencias aparecen en Lecture Notes in Computer Science , y algunos de los artículos más sólidos se han publicado en Journal of Logical and Algebraic Methods in Programming .
RAMiCS, entonces todavía llamado RelMiCS, fue organizado por primera vez por Chris Brink y Gunther Schmidt del 17 al 21 de enero de 1994 en Schloß Dagstuhl , Alemania , como Seminario Internacional sobre Métodos Relacionales en Ciencias de la Computación . [2] El segundo RelMiCS fue organizado por el difunto Armando Haeberer [3] y se llevó a cabo del 10 al 14 de julio de 1995 en Paraty, cerca de Río de Janeiro, Brasil . [4] [5] El 3er Seminario Internacional sobre el Uso de Métodos Relacionales en Ciencias de la Computación (RelMiCS 3) se llevó a cabo del 6 al 10 de enero de 1997 en el Albatros Hotel en Hammamet , Túnez .[6] El 4º Seminario Internacional sobre Métodos Relacionales en Ciencias de la Computación (RelMiCS 4) tuvo lugar del 14 al 20 de septiembre de 1998 en el Centro Matemático Internacional Stefan Banach , [7] de septiembre de 2004, Varsovia , Polonia. [8] El 5º Seminario Internacional sobre Métodos Relacionales en Ciencias de la Computación (RelMiCS 5) se llevó a cabo del 9 al 14 de enero de 2000 en Valcartier, cerca de Québec , Canadá . [9] A partir de ese momento, se concertó la publicación con Springer en la serie Lecture Notes in Computer Science .
Los siguientes números especiales del Journal of Logical and Algebraic Methods in Programming contienen los resultados presentados en las conferencias RAMiCS: