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
