23rd International Conference on
Relational and Algebraic Methods in Computer Science
RAMICS 2027
Since 1994, the RAMiCS conference series has served as the primary forum for research on relation algebras, Kleene algebras, and related algebraic structures. These frameworks play a central role as conceptual and methodological tools in computer science and beyond.
On the theoretical side, RAMiCS covers topics such as semigroups, residuated lattices, semirings, Kleene algebras, relation algebras, quantales, and other related structures. The conference explores their connections with program logics and other logical systems, as well as their roles in automata theory, concurrency, formal languages, games, networks, and programming languages. It also welcomes contributions on the development of algebraic, algorithmic, categorical, coalgebraic, and proof-theoretic methods, including formalisation efforts using theorem provers.
Applications of these formalisms span a wide range of domains, including tools and techniques for program specification, verification, and correctness; qualitative and quantitative models of computing systems; algorithm design; automated reasoning; network protocol analysis; optimisation; control; and even social choice theory.
Important dates
Invited speakers
To be announced.
Venue and local organization
RAMICS 2027 will take place at the Wits Rural Facility outside Hoedspruit, South Africa from 15 to 20 August 2027. Accommodation and meals for all delegates will be at the conference facility. The registration fee will be advised in 2027.
The nearest international airport is OR Tambo International in Johannesburg (JNB). From there you can catch local flights to Hoedspruit (HDS) or Kruger Mpumalanga (MQP). Shuttles are available from HDS and MQP to the conference venue. You can also rent a car from JNB, or catch a shuttle (approximately 6 hours drive).
More detailed information will be posted nearer the time of the conference.
RAMICS history
RAMiCS has been taking place since 1994, first under the acronym of RelMiCS ("Relational Methods in Computer Science") and, after uniting with the AKA conferences ("Applications of Kleene Algebra") as RAMiCS since 2009. For more information, see https://ramics-conf.github.io/.
List of previous conferences
RAMiCS 2026, Będlewo, Poland RAMiCS 2024, Prague, Czech Republic RAMiCS 2023, Augsburg, Germany RAMiCS 2021, Marseille, France RAMiCS 2020, Palaiseau, France (virtual event) RAMiCS 2018, Groningen, The Netherlands RAMiCS 2017, Lyon, France RAMiCS 2015, Braga, Portugal RAMiCS 2014, Marienstatt, Germany RAMiCS 2012, Cambridge, UK RAMiCS 2011, Rotterdam, The Netherlands RelMiCS/AKA 2009, Doha, Qatar RelMiCS/AKA 2008, Frauenwörth, Germany RelMiCS/AKA 2006, Manchester, UK RelMiCS/AKA 2005, St. Catherines, Canada RelMiCS/AKA 2003, Malente, Germany RelMiCS 2001, Oisterwijk, The Netherlands AKA 2001, Dagstuhl, Germany RelMiCS 2000, Valcartier, Canada RelMiCS 1998, Warsaw, Poland RelMiCS 1997, Hammamet, Tunisia RelMiCS 1995, Parati, Brazil RelMiCS 1994, Dagstuhl, Dagstuhl, Germany RelMiCS Project PageRAMICS 2027 sponsors
|
Contact
- Program committee: ramics2027@easychair.org
- Local organising: committee ramics2027@uj.ac.za