Logic List Mailing Archive

RAMiCS 2018: Relational & Algebraic Methods in Computer Science

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