International Conference on Relational and Algebraic Methods in Computer Science

2017

RAMICS 2017

• 15-18 May
• Lyon, France

• Relational and Algebraic Methods in Computer Science
  • 19 Papers
  • 1 Volume

2014

RAMICS 2014

• 28 April - 1 May
• Marienstatt, Germany

• Relational and Algebraic Methods in Computer Science
  • 27 Papers
  • 1 Volume

2011

RAMICS 2011

• 30 May - 3 June
• Rotterdam, The Netherlands

• Relational and Algebraic Methods in Computer Science
  • 25 Papers
  • 1 Volume

2009

RelMiCS 2009

• 1-5 November
• Doha, Qatar

• Relations and Kleene Algebra in Computer Science
  • 24 Papers
  • 1 Volume

2008

RelMiCS 2008

• 7-11 April
• Frauenwörth, Germany

• Relations and Kleene Algebra in Computer Science
  • 28 Papers
  • 1 Volume

2006

RelMiCS 2006

• 29 August - 2 September
• Manchester, UK

• Relations and Kleene Algebra in Computer Science
  • 28 Papers
  • 1 Volume

2005

RelMiCS 2005

• 22-26 February
• St. Catharines, ON, Canada

• Relational Methods in Computer Science
  • 20 Papers
  • 1 Volume

2003

RelMiCS 2003

• 12-17 May
• Bad Malente, Germany

• Relational and Kleene-Algebraic Methods in Computer Science
  • 23 Papers
  • 1 Volume

2001

RelMiCS 2001

• 16-21 October
• Oisterwijk, The Netherlands

• Relational Methods in Computer Science
  • 21 Papers
  • 1 Volume