13th International Conference on Relational and Algebraic Methods in Computer Science (RAMiCS 13)
Cambridge UK
17 – 20 September 2012





Welcome       CFP ⊕ Submission       Dates       Venue ⊕ Registration       ∃ Invited Speakers       Programme       Student Papers       Committees       History      
Committees

Organizing Committee            
Timothy G. Griffin Cambridge, UK: Conference Chair, Local organizer
Wolfram Kahl McMaster U., Canada: PC-Chair
Peter Höfner NICTA, Australia: Publicity
           
Technical Program Committee            
Rudolf Berghammer U. Kiel, Germany
Jules Desharnais Laval U., Canada
Harrie de Swart U. Tilburg, The Netherlands
Marc Frappier Sherbroooke, Canada
Hitoshi Furusawa Kagoshima, Japan
Timothy G. Griffin Cambridge, UK
Peter Höfner NICTA, Australia
Ali Jaoua Doha, Qatar
Peter Jipsen Chapman U., USA
Wolfram Kahl McMaster U., Canada
Larissa Meinicke U. Queensland, Australia
Bernhard Möller U. Augsburg, Germany
Peter O'Hearn Queen Mary U., UK
José Nuno Oliveira U. Minho, Portugal
Ewa Orlowska U. Warsaw, Poland
Matthew Parkinson Microsoft Research, UK
Damien Pous CNRS Grenoble, France
Holger Schlingloff Berlin, Germany
Gunther Schmidt UniBW Munich, Germany
Renate Schmidt U. Manchester, UK
Georg Struth Sheffield, UK
George Theodorakopoulos Derby, UK
Michael Winter Brock U., Canada
           
Steering Committee            
Rudolf Berghammer U. Kiel, Germany
Jules Desharnais Laval U., Canada
Harrie de Swart U. Tilburg, The Netherlands
Ali Jaoua Doha, Qatar
Bernhard Möller U. Augsburg, Germany
Ewa Orlowska U. Warsaw, Poland
Gunther Schmidt UniBW Munich, Germany
Renate Schmidt U. Manchester, UK
Michael Winter Brock U., Canada

Sponsors
                                    Winton Capital Management