The Coq mailing list

[<Peter.Hoefner AT data61.csiro.au>]

                      16th International Conference on

RELATIONAL AND ALGEBRAIC METHODS IN COMPUTER SCIENCE
                                 (RAMiCS 2017)

Abstract Submission:  2016, Dec 2
Paper Submission:     2016, Dec 9

May 15-19, 2017, Lyon, France

http://ramics-conference.org

-----------------------------------------------------

GENERAL INFORMATION:

For more than two decades, the RAMiCS conferences series has been the main 
venue for research on relation algebras, Kleene algebras and similar 
algebraic formalisms, and their applications as conceptual and methodological 
tools in computer science and beyond.

TOPICS:

We invite submissions in the general field of algebraic structures relevant 
to computer science and on applications of such algebras. Topics of the 
conference include, but are not limited to the following

-theory
  * algebraic structures from semigroups, residuated lattices and semirings 
to Kleene algebras, relation algebras and quantales
  * other algebras relevant to the theory of automata, concurrency, formal 
languages, games, networks, programming languages and social choice 
  * algorithmic, category-theoretic, coalgebraic or proof-theoretic methods 
for such algebras
  * their formalisation with automated and interactive theorem provers

-applications 
  * tools and techniques for the verification and correctness of sequential 
and concurrent programs 
  * quantitative and qualitative models for computing systems
  * logics of programs, e.g., modal, dynamic, interval, temporal or resource 
logics, logics for games, social choice and distributed systems
  * design of algorithms, network protocol analysis, optimisation and control

INVITED SPEAKERS:

  * Annabelle McIver (Macquarie University, Sydney)
  * Jean-Eric Pin (CNRS, IRIF, Paris)
  * Alexandra Silva (University College, London)

IMPORTANT DATES:

  Abstract Submission:  2016, Nov 25   EXTENDED TO DEC 2
  Paper Submission:     2016, Dec 2     EXTENDED TO DEC 9
  Author Notification:  2017, Feb 3
  Camera-ready papers:  2017, Feb 24
  RAMiCS 2017:          2017, May 15-19 


SUBMISSION INSTRUCTIONS:

Submission is via EasyChair at

https://www.easychair.org/conferences/?conf=ramics16

All papers will be peer reviewed by at least three referees. The proceedings 
will be published in an LNCS volume by Springer, ready at the conference. 
Submissions must be in English, in PDF format and should not exceed 16 pages 
in LNCS style. Submissions must be unpublished, not under review for 
publication elsewhere and provide sufficient information to judge their 
merits.  Additional material may be provided in a clearly marked appendix or 
by a reference to a manuscript on a web site.  Experimental data, software or 
mathematical components for theorem provers must be available in sufficient 
detail for reviewers.  Deviation from these requirements may lead to 
rejection.

Accepted papers must be produced with LaTeX. One author of each accepted 
paper is expected to present the paper at the conference. Formatting 
instructions and  LNCS style files can be obtained at:
http://www.springer.de/comp/lncs/authors.html.

COMMITTEES: 

  Conference Chair:
   Damien Pous, CNRS, France

  Programme Chairs:
   Peter Höfner, Data61, Australia
   Georg Struth, U Sheffield, UK,

  Programme Committee:
   Luca Aceto, Reykjavik U, Iceland
   Rudolf Berghammer, U Kiel, Germany
   Filippo Bonchi, CNRS, France
   Jules Desharnais, U Laval, Canada
   Hitoshi Furusawa, Kagoshima U,  Japan
   Tim Griffin, U Cambridge, UK
   Walter Guttmann, U Canterbury, New Zealand
   Robin Hirsch, UCL, UK
   Peter Höfner, Data61, CSIRO, Australia
   Marcel Jackson, LaTrobe U, Australia
   Jean-Baptiste Jeannin, Samsung, USA
   Peter Jipsen , Chapman U, USA
   Christian Johansen, U Oslo, Norway
   Wolfram Kahl,  McMaster U, Canada
   Dexter Kozen, Cornell U, USA
   Szabolcs Mikulas, Birkbeck U, UK
   Bernhard Möller, U Augsburg, Germany 
   José N. Oliveira,  U Minho, Portugal
   Damien Pous, CNRS, France
   Georg Struth, U Sheffield, UK,
   Pascal Weil, CNRS, France
   Michael Winter, Brock U, Canada

  Local Organisation: 

Damien Pous, ENS Lyon