- ``RelMiCS 0''
- 28th Banach Semester, Warsaw, 1991
- RelMiCS 1
-
- 17-21 Jan. 1994, Dagstuhl, Germany:
talks,
participants
- RelMiCS 2
- 10-14 July 1995, Parati, Brasil:
talks,
participants
- RelMiCS 3
- 6-10 Jan. 1997, Hammamet, Tunisia:
talks,
participants
- RelMiCS 4
- 14-20 Sept. 1998, Warsaw, Poland:
talks,
participants
- RelMiCS 5
- 10-14 Jan. 2000, Québec, Canada:
participants
- RelMiCS 6
- 16-21 October 2001, Oisterwijk (near Tilburg), the Netherlands
- 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 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
Related Workshops
- Alfred Tarski Centenary Conference
- 28 May - 1 June 2001, Warsaw, Poland
- RelMiS 2001, Relational Methods in Software
- 7-8 April 2001, Genova, Italy
-
61st Workshop on General Algebra, special topic ``Relational Algebra in Computer Science''
-
2-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