RAMiCS, the International Conference on Relational and Algebraic Methods in Computer Science, is an

academic conference An academic conference or scientific conference (also congress, symposium, workshop, or meeting) is an event for researchers (not necessarily academics) to present and discuss their scholarly work. Together with academic or scientific journals an ...

organized every eighteen months by an international steering committee and held in different locations mainly in Europe, but also in other continents. Like most theoretical computer science conferences, its contributions are strongly

peer-review Peer review is the evaluation of work by one or more people with similar competencies as the producers of the work (peers). It functions as a form of self-regulation by qualified members of a profession within the relevant field. Peer review ...

ed. Proceedings of the conferences appear in

Lecture Notes in Computer Science ''Lecture Notes in Computer Science'' is a series of computer science books published by Springer Science+Business Media since 1973. Overview The series contains proceedings, post-proceedings, monographs, and Festschrifts. In addition, tutorials, ...

, and some of the stronger papers have been published in

Journal of Logical and Algebraic Methods in Programming The ''Journal of Logical and Algebraic Methods in Programming'' is a peer-reviewed scientific journal established in 1984. It was originally titled ''The Journal of Logic Programming''; in 2001 it was renamed ''The Journal of Logic and Algebraic Pr ...

Early history

RAMiCS, then still called RelMiCS, was first organized by

Chris Brink Chris Brink, CBE, FRSSAf (born 31 January 1951) is a South African mathematician and academic. He was the Vice-Chancellor of Newcastle University between 2007 and December 2016. Career After graduating with a degree in maths and computer scie ...

and Gunther Schmidt on January 17–21, 1994 in

Schloß Dagstuhl Dagstuhl is a computer science research center in Germany, located in and named after a district of the town of Wadern, Merzig-Wadern, Saarland. Location Following the model of the mathematical center at Oberwolfach, the center is installed in ...

Germany Germany,, officially the Federal Republic of Germany, is a country in Central Europe. It is the second most populous country in Europe after Russia, and the most populous member state of the European Union. Germany is situated betwe ...

as ''International Seminar on Relational Methods in Computer Science''. The second RelMiCS was organized by the late Armando Haeberer and held July 10–14, 1995 in

Paraty Paraty (or Parati, ) is a preserved Portuguese colonial (1500–1822) and Brazilian Imperial (1822–1889) municipality with a population of about 43,000. Indeed, the name "Paraty" originates from the local Guaianá Indians' Indigenous Tupi l ...

near Rio de Janeiro,

Brazil Brazil ( pt, Brasil; ), officially the Federative Republic of Brazil (Portuguese: ), is the largest country in both South America and Latin America. At and with over 217 million people, Brazil is the world's fifth-largest country by area ...

. The 3rd International Seminar on the Use of Relational Methods in Computer Science (RelMiCS 3) was January 6–10, 1997 in Albatros Hotel in Hammamet,

Tunisia ) , image_map = Tunisia location (orthographic projection).svg , map_caption = Location of Tunisia in northern Africa , image_map2 = , capital = Tunis , largest_city = capital , ...

. A 4th International Seminar on Relational Methods in Computer Science (RelMiCS 4) took place September 14–20, 1998 in Stefan Banach International Mathematical Centre, Sept. 2004,

Warsaw Warsaw ( pl, Warszawa, ), officially the Capital City of Warsaw,, abbreviation: ''m.st. Warszawa'' is the capital and largest city of Poland. The metropolis stands on the River Vistula in east-central Poland, and its population is officia ...

, Poland. The 5th International Seminar on Relational Methods in Computer Science (RelMiCS 5) occurred January 9–14, 2000 at

Valcartier Canadian Forces Base Valcartier (CFB Valcartier), now re-designated 2 Canadian Division Support Base Valcartier (2 CDSB Valcartier), is a Canadian Forces base located in the municipality of Saint-Gabriel-de-Valcartier, north northwest of Quebec ...

near

Québec Quebec ( ; )According to the Government of Canada, Canadian government, ''Québec'' (with the acute accent) is the official name in Canadian French and ''Quebec'' (without the accent) is the province's official name in Canadian English is ...

Canada Canada is a country in North America. Its ten provinces and three territories extend from the Atlantic Ocean to the Pacific Ocean and northward into the Arctic Ocean, covering over , making it the world's second-largest country by tot ...

.. From that point on, publication was arranged with Springer in the series

References

{{Authority control Theoretical computer science conferences Relational algebra Recurring events established in 1994

Early history

See also

References