- RAMiCS 12,
12th International Conference on Relational and Algebraic Methods in
Computer Science
- 30 May – 3 June 2011, Rotterdam, Netherlands
- RelMiCS 11 / AKA 6,
11th International Conference on Relational Methods in
Computer Science
in combination with the
6th International Conference on Applications of Kleene Algebra
- 1–5 November 2009, Doha, Qatar
- RelMiCS 10,
10th International Conference on Relational Methods in
Computer Science,
in combination with the
5th International Conference on Applications of Kleene Algebra (AKA5)
- 7–11 April 2008, Frauenwörth (near Munich), Germany
- RelMiCS 9, in combination with the
4th International Workshop on Applications of Kleene Algebra
- 29 August – 2 September 2006, Manchester, UK
- RelMiCS 8,
in combination with the COST 274 / TARSKI Workshops
and the
3rd International Workshop on Applications of Kleene Algebra
-
22–26 February 2005,
St. Catharines, Ontario, Canada
- RelMiCS 7,
in combination with the
2nd International Workshop on Applications of Kleene Algebra
- 12–17 May 2003, Malente (near Kiel), Germany:
talks,
participants
-
RelMiCS 6
- 16–21 October 2001, Oisterwijk (near Tilburg), the Netherlands
- RelMiCS 5
- 10–14 Jan. 2000, Québec, Canada:
participants
- RelMiCS 4
- 14–20 Sept. 1998, Warsaw, Poland:
talks,
participants
- RelMiCS 3
- 6–10 Jan. 1997, Hammamet, Tunisia:
talks,
participants
- RelMiCS 2
- 10–14 July 1995, Parati, Brasil:
talks,
participants
- RelMiCS 1
-
- 17–21 Jan. 1994, Dagstuhl, Germany:
talks,
participants
- “RelMiCS 0”
-
- 38th Banach Semester
on Algebraic Methods in Logic and their Computer Science Application,
Warsaw, Poland, 1991
Related Workshops
- Alfred Tarski Centenary Conference
- 28 May – 1 June 2001, Warsaw, Poland
- RelMiS 2001, Relational Methods in Software
- ETAPS workshop 7–8 April 2001, Genova, Italy
-
61st Workshop on General Algebra, special topic ``Relational Algebra in Computer Science''
-
27–4 February 2001, Darmstadt, Germany
- International Symposion on
Relational Methods in Software Engineering - RelMiSE
- 20–22 March 1999,
McMaster University, Hamilton, Ontario, Canada,
organised by David Lorge Parnas
Related Projects
-
TARSKI
- COST Action 274: Theory and Applications of Relational Structures as Knowledge Instruments
