RAMiCS 2014 - Venue

14th International Conference on Relational and Algebraic Methods in Computer Science (RAMiCS 2014)
Marienstatt im Westerwald, Germany
28 April - 1 May 2014

Welcome CFP ⊕ Submission Dates Invited Speakers Venue ⊕ Travel Accommodation Registration Programme Committees History

Invited Speakers

Invited Talks

Tony Hoare, University of Oxford, UK
Developments in Concurrent Kleene Algebra
Alexander Kurz, University of Leicester, UK
Relation Lifting
José Nuno Oliveira, Universidade do Minho, Portugal
Preparing Relation Algebra for “Just Good Enough” Hardware

Sponsors