29 Oct - 1 Nov 2018
Groningen, The Netherlands
CALL FOR PARTICIPATION
17th International Conference on
Relational and Algebraic Methods in Computer Science
RAMiCS 2018
29 October to 1 November 2018, Groningen, The Netherlands
http://www.ramics-conference.org/
GENERAL INFORMATION:
Recurrent topics of RAMiCS conferences, held since 1994, include semiring- and
lattice-based structures such as relation algebras and Kleene algebras, their
connections with program logics and other logics, their use in theories of
computing, their formalisation with theorem provers, and their application
to modelling and reasoning about computing systems and processes.
INVITED TALKS:
Philippa Gardner (Imperial College London, UK)
Scalable reasoning about concurrent programs
Manuel Bodirsky (Technische Universität Dresden, Germany)
Finite relation algebras with normal representations
Roland Backhouse (University of Nottingham, UK)
The importance of factorisation in algorithm design
ACCEPTED PAPERS:
Sarah Alexander, Peter Jipsen and Nadiya Upegui
On the structure of generalized effect algebras and separation algebras
Callum Bannister and Peter Höfner
False failure: creating failure models for separation logic
Stefano Bonzio, Michele Pra Baldi and Diego Valota
Counting finite linearly ordered involutive bisemilattices
Maximiliano Cristiá and Gianfranco Rossi
A set solver for finite set relation algebra
Jessica Ertel, Roland Glück and Bernhard Möller
Algebraic derivation of Until rules and application to timer verification
Simon Foster, Kangfeng Ye, Ana Cavalcanti and Jim Woodcock
Calculational verification of reactive programs with reactive relations and
Kleene algebra
Malvin Gattinger and Jana Wagemaker
Towards an analysis of dynamic gossip in NetKAT
Roland Glück
Distances, norms and error propagation in idempotent semirings
Maria João Gouveia and Luigi Santocanale
MIX star-autonomous quantales and the continuous weak Bruhat order
Robin Hirsch
Decidability of equational theories for sub-signatures of relation algebra
Mark Hopkins and Hans Leiß
Coequalizers and tensor products for continuous idempotent semirings
Jonathan Huerta y Munive and Georg Struth
Verifying hybrid systems with modal Kleene algebra
Wolfram Kahl
Calculational relation-algebraic proofs in the teaching tool CalcCheck
Lefteris Kirousis, Phokion Kolaitis and John Livieratos
On the computational complexity of non-dictatorial aggregation
Dexter Kozen and Matvey Soloviev
Coalgebraic tools for randomness-conserving protocols
Nikolai Krivulin
Algebraic solution of weighted minimax single-facility constrained location
problems
Pranab Kumar Ghosh and Michael Winter
A modal and relevance logic for qualitative spatial reasoning
Hans Leiß and Mark Hopkins
C-dioids and µ-continuous Chomsky-algebras
Koki Nishizawa and Norihiro Tsumagari
Composition of different-type relations via the Kleisli category for the
continuation monad
Giulia Sindoni, Katsuhiko Sano and John G. Stell
Axiomatizing discrete spatial relations
Michael Winter
T-norm based operations in arrow categories
PROGRAMME:
http://www.ramics-conference.org/?page_id=270
REGISTRATION (early fee before 15 September 2018):
http://www.ramics-conference.org/?page_id=202
COMMITTEES:
Organising Committee
--------------------
Conference Chair: Stef Joosten, Open Universiteit, The Netherlands
PC Co-Chair: Jules Desharnais, Université Laval, Canada
PC Co-Chair: Walter Guttmann, University of Canterbury, New Zealand
Publicity Chair: Sebastiaan Joosten, Universiteit Twente, The Netherlands
Programme Committee
-------------------
Luca Aceto, Reykjavík University, Iceland/Gran Sasso Science Institute, Italy
Rudolf Berghammer, Christian-Albrechts-Universität zu Kiel, Germany
Jules Desharnais, Université Laval, Canada
Uli Fahrenberg, École Polytechnique, France
Hitoshi Furusawa, Kagoshima University, Japan
Walter Guttmann, University of Canterbury, New Zealand
Robin Hirsch, University College London, UK
Peter Höfner, Data61, CSIRO, Australia
Marcel Jackson, La Trobe University, Australia
Jean-Baptiste Jeannin, University of Michigan, USA
Peter Jipsen, Chapman University, USA
Stef Joosten, Open Universiteit, The Netherlands
Wolfram Kahl, McMaster University, Canada
Barbara König, Universität Duisburg-Essen, Germany
Dexter Kozen, Cornell University, USA
Agi Kurucz, King's College London, UK
Tadeusz Litak, Friedrich-Alexander Universität Erlangen-Nürnberg, Germany
Roger Maddux, Iowa State University, USA
Annabelle McIver, Macquarie University, Australia
Szabolcs Mikulás, Birkbeck, University of London, UK
Ali Mili, New Jersey Institute of Technology, USA
Bernhard Möller, Universität Augsburg, Germany
José N. Oliveira, Universidade do Minho, Portugal
Alessandra Palmigiano, Technische Universiteit Delft, The Netherlands
Damien Pous, CNRS, France
Mehrnoosh Sadrzadeh, Queen Mary University of London, UK
John Stell, University of Leeds, UK
Georg Struth, University of Sheffield, UK
Michael Winter, Brock University, Canada
--
[LOGIC] mailing list
http://www.dvmlg.de/mailingliste.html
Archive: http://www.illc.uva.nl/LogicList/
provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam