Relational and Algebraic Methods in Computer Science

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:

• Uli Fahrenberg (co-chair)
• Roland Glück
• Walter Guttmann
• Peter Höfner
• Ali Jaoua
• Peter Jipsen
• Damien Pous
• Luigi Santocanale (co-chair)
• Michael Winter

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 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.

Contact

fahrenberg@gmail.com