Relational and Algebraic Methods in Computer Science (RAMiCS) Conference Series
Since 1994, the RAMiCS conference series has been the main
venue for research on relation algebras, Kleene algebras and
similar algebraic formalisms, and their applications as
conceptual and methodological tools in computer science and beyond.
Theoretical aspects include semigroups, residuated lattices,
semirings, Kleene algebras, relation algebras, quantales and
other algebras; their connections with program logics and
other logics; their use in the theories of automata,
concurrency, formal languages, games, networks and programming
languages; the development of algebraic, algorithmic,
category-theoretic, coalgebraic and proof-theoretic methods
for these theories; their formalisation with theorem provers.
Applications include tools and techniques for program
correctness, specification and verification; quantitative and
qualitative models and semantics of computing systems and
processes; algorithm design, automated reasoning, network
protocol analysis, social choice, optimisation and control.
Steering Committee
Current Steering Committee:
Past members:
- Roland C. Backhouse
- Rudolf Berghammer
- Chris Brink
- Harrie de Swart
- Jules Desharnais
- Dexter Kozen
- Bernhard Möller
- José N. Oliveira
- Ewa Stella Orlowska
- Gunther Schmidt
- Renate Schmidt
History of RAMiCS
RAMiCS is held roughly every 18 months.
It was born out of the RelMiCS workshops/conferences (Relational Methods in Computer Science)
and of the AKA workshops/conferences (Applications of Kleene algebra).
- RAMiCS 21, August 2024, Prague, Czechia
- RAMiCS 20, April 2023, Augsburg, Germany
- RAMiCS 19, November 2021, Marseille, France
- RAMiCS 18, October 2020, Palaiseau, France (virtual event; originally planned for April)
- RAMiCS 17, October 2018, Groningen, The Netherlands
- RAMiCS 16, May 2017, Lyon, France
- RAMiCS 15, September 2015, Braga, Portugal
- RAMiCS 14, April 2014, Marienstatt, Germany
- RAMiCS 13, September 2012, Cambridge, UK
- RAMiCS 12, June 2011, Rotterdam, The Netherlands
- RelMiCS 11 / AKA 6, November 2009, Doha, Qatar
- RelMiCS 10 / AKA 5, April 2008, Frauenwörth, Germany
- RelMiCS 9 /AKA 4, September 2006, Manchester, UK
- RelMiCS 8 / AKA 3, February 2005, St. Catherines, Ontario, Canada
- RelMiCS 7 / AKA 2, May 2003, Malente, Germany
- RelMiCS 6, October 2001, Oisterwijk, The Netherlands
- AKA 1, February 2001, Dagstuhl, Germany
- RelMiCS 5, January 2000, Valcartier, Québec, Canada
- RelMiCS 4, 1998, Warsaw, Poland
- RelMiCS 3, 1997, Hammamet, Tunisia
- RelMiCS 2, 1995, Paraty, Rio de Janeiro, Brazil
- RelMiCS 1, January 1994, Dagstuhl, Germany
See also the old RelMiCS web site.
fahrenberg@gmail.com