posted by user: wg1 || 4411 views || tracked by 6 users: [display]

RAMiCS 2018 : Relational and Algebraic Methods in Computer Science

FacebookTwitterLinkedInGoogle


Conference Series : Relational and Algebraic Methods in Computer Science
 
Link: http://www.ramics-conference.org/
 
When Oct 29, 2018 - Nov 2, 2018
Where Groningen, The Netherlands
Abstract Registration Due Apr 6, 2018
Submission Deadline Apr 13, 2018
Notification Due Jun 29, 2018
Final Version Due Jul 27, 2018
Categories    computer science   mathematics   formal methods   theory
 

Call For Papers

17th International Conference on
Relational and Algebraic Methods in Computer Science
RAMiCS 2018

29 October to 2 November 2018, Groningen, The Netherlands
URL: http://www.ramics-conference.org/
PDF: http://www.ramics-conference.org/ramics-2018-cfp.pdf
Poster: http://www.ramics-conference.org/poster.pdf


INVITED SPEAKERS:

Roland Backhouse (University of Nottingham)
Manuel Bodirsky (TU Dresden)
Philippa Gardner (Imperial College London)


IMPORTANT DATES:

Abstract Submission: 6 April 2018
Paper Submission: 13 April 2018
Author Notification: 29 June 2018
Final Version: 27 July 2018
RAMiCS 2018: 29 October - 2 November 2018


GENERAL INFORMATION:

Since 1994, the RAMiCS conference 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 fields of algebras relevant to
computer science and applications of such algebras. Topics include but
are not limited to:

* Theory
- algebras such as semigroups, residuated lattices, semirings,
Kleene algebras, relation algebras and quantales
- their connections with program logics and other logics
- their use in the theories of automata, concurrency, formal languages,
games, networks and programming languages
- the development of algebraic, algorithmic, category-theoretic,
coalgebraic and proof-theoretic methods for these theories
- their formalisation with theorem provers

* Applications
- tools and techniques for program correctness, specification and
verification
- quantitative and qualitative models and semantics of computing
systems and processes
- algorithm design, automated reasoning, network protocol analysis,
social choice, optimisation and control
- industrial applications


SUBMISSION INSTRUCTIONS:

Submission is via EasyChair at

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

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 not be published or under review for
publication elsewhere. Submissions must be in English using a PDF not
exceeding 16 pages in LNCS style. Submissions must 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 referees. Deviation
from these requirements may lead to rejection.

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

As for earlier RAMiCS conferences, we intend to publish a journal
special issue with revised and extended versions of a selection of the
best papers.


COMMITTEES:

Organising Committee
--------------------

Conference Chair: Stef Joosten, Open University of the Netherlands
PC Co-Chair: Jules Desharnais, Université Laval, Québec, 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
Rudolf Berghammer, CAU 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, 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, FAU Erlangen-Nürnberg, Germany
Roger Maddux, Iowa State University, USA
Annabelle McIver, Macquarie University, Australia
Szabolcs Mikulás, Birkbeck College, 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, TU 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

Related Resources

CPAIOR 2024   International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research
ACM-Ei/Scopus-CCISS 2024   2024 International Conference on Computing, Information Science and System (CCISS 2024)
DSIT 2024   2024 7th International Conference on Data Science and Information Technology (DSIT 2024)
CCVPR 2024   2024 International Joint Conference on Computer Vision and Pattern Recognition (CCVPR 2024)
ADMIT 2024   2024 3rd International Conference on Algorithms, Data Mining, and Information Technology (ADMIT 2024)
CTISC 2024   2024 6th International Conference on Advances in Computer Technology, Information Science and Communications (CTISC 2024) -EI Compendex
NLE Special Issue 2024   Natural Language Engineering- Special issue on NLP Approaches for Computational Analysis of Social Media Texts for Online Well-being and Social Order
GreeNet Symposium - SGNC 2024   15th Symposium on Green Networking and Computing (SGNC 2024)
FCSIT 2024   2024 3rd Eurasian Conference on Frontiers of Computer Science and Information Technology
CVIV 2024   2024 6th International Conference on Advances in Computer Vision, Image and Virtualization (CVIV 2024) -EI Compendex