Relational and Algebraic Methods in Computer Science (RAMICS / RelMiCS)

RelMiCS Home Page

17th RAMICS 2018: Groningen, The Netherlands

16th RAMICS 2017: Lyon, France

15th RAMICS 2015: Braga, Portugal

14th RAMICS 2014: Marienstatt, Germany

13th RAMICS 2012: Cambridge, UK

12th RAMICS 2011: Rotterdam, The Netherlands

11th RelMiCS 2009: Doha, Qatar

10th RelMiCS 2008: Frauenwörth, Germany

9th RelMiCS 2006: Manchester, UK

8th RelMiCS 2005: Stth Catharines, Ontario, Canada

7th RelMiCS 2003: Malente, Germany

6th RelMiCS 2001: Oisterwijk, The Netherlands

5th RelMiCS 2000: Valcartier, Quebec, Canada

RelMiCS 2000 Home Page

4th RelMiCS 1998: Warsaw, Poland

3rd RelMiCS 1997: Hammamet, Tunisia

2nd RelMiCS 1995: Parati, Brasil

1st RelMiCS 1994: Dagstuhl, Germany

maintained by Schloss Dagstuhl LZI at University of Trier