[logic-ml] Fwd: RAMiCS 2021 - CFP

[Diego A. Mejía]

---------- Forwarded message ---------
From: 'Samuel Gomes' via Grupo de Lógica de Bogotá <logbog at googlegroups.com>
Date: Wed, Jan 13, 2021 at 8:04 AM
Subject: [LOGBOG: 965] Fw: RAMiCS 2021 - CFP
To: Teoria Dos Conjuntos E. Topologia Geral Logica <
logica-teoria-dos-conjuntos-e-topologia-geral at googlegroups.com>, Logbog <
logbog at googlegroups.com>




----- Mensagem encaminhada -----
*De:* Samuel Gomes da Silva <samuel at ufba.br>
*Para:* samuca mat <samuca_mat at yahoo.com.br>
*Enviado:* terça-feira, 12 de janeiro de 2021 15:22:20 AMT
*Assunto:* Fwd: RAMiCS 2021 - CFP



----- Mensagem encaminhada -----
De: "luigi santocanale" <luigi.santocanale at lis-lab.fr>
Para: samuel at ufba.br
Cc: "luigi santocanale" <luigi.santocanale at lis-lab.fr>
Enviadas: Terça-feira, 12 de janeiro de 2021 13:39:56
Assunto: RAMiCS 2021 - CFP

CALL FOR PAPERS

                    19th International Conference on
          Relational and Algebraic Methods in Computer Science
                              RAMiCS 2021

              2 to 5 November 2021, CIRM, Marseille, France
                      https://ramics19.lis-lab.fr/

IMPORTANT DATES:

    Abstract Submission: 14 May 2021
    Paper Submission: 21 May 2021
    Author Notification: 9 July 2021
    Final Version: 30 July 2021
    RAMiCS 2021: 2 to 5 November 2021

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.

RAMiCS 2021 will take place at CIRM, the Centre International de
Rencontres Mathématiques at the beautiful Luminy campus close to
Marseille.  Depending on the Covid-19 situation, it will take the
form of a physical conference, a virtual conference, or a hybrid
between the two.

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=ramics2021

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
  --------------------

  Conf. & PC Co-Chair: Mai Gehrke, LJAD CNRS, France
  Conf. & PC Co-Chair: Uli Fahrenberg, Ecole polytechnique, France
  Conf. & PC Co-Chair: Michael Winter, Brock University, Canada
  Conf. & PC Co-Chair: Luigi Santocanale, LIS, Aix-Marseille University,
France

  Programme Committee
  -------------------

  Bahareh Afshari, University of Amsterdam, Holland
  Christel Baier,  Technische Universität Dresden, Germany
  Manuel Bodirsky,  Technische Universität Dresden, Germany
  Ignacio Fábregas, IMDEA, Spain
  Uli Fahrenberg, Ecole polytechnique, France
  Marcelo Frias, Buenos Aires Institute of Technology, Argentina
  Hitoshi Furusawa, Kagoshima University, Japan
  Mai Gehrke, LJAD CNRS, France
  Silvio Ghilardi, Università degli Studi di Milano, Italy
  Roland Glueck, German Aerospace Center, Germany
  Walter Guttmann, University of Canterbury, New Zealand
  Peter Höfner, Australian National University, Australia
  Ali Jaoua, Qatar University, Qatar
  Peter Jipsen, Chapman University, USA
  Sebastiaan Joosten,  Dartmouth College, USA
  Laura Kovacz, Technische Universität Wien, Austria
  Tadeusz Litak, Erlangen-Nürnberg University, Germany
  Roger Maddux, Iowa State University, USA
  Dale Miller, Ecole polytechnique, France
  Martin Mueller, University of Augsburg, Germany
  Daniela Petrisan, IRIF, University Paris 7, France
  Damien Pous, CNRS, ENS Lyon, France
  David Pym, University College, London, UK
  Mehrnoosh Sadrzadeh, University College, London, UK
  Luigi Santocanale, LIS, Aix-Marseille University, France
  Georg Struth, University of Sheffield, UK
  Sam van Gool, IRIF, University Paris 7, France
  Michael Winter, Brock University, Canada

-- 
-- 
Grupo de Lógica de Bogotá: https://sites.google.com/a/unal.edu.co/logbog

Ha recibido este mensaje porque usted es miembro del grupo en Google "Grupo
de Lógica de Bogotá" .
Para enviar un mensaje, envíe un email a logbog at googlegroups.com
Para salir del grupo, envíe un email a logbog-unsubscribe at googlegroups.com
Para más opciones, visite http://groups.google.com/group/logbog?hl=es
---
Has recibido este mensaje porque estás suscrito al grupo "Grupo de Lógica
de Bogotá" de Grupos de Google.
Para cancelar la suscripción a este grupo y dejar de recibir sus mensajes,
envía un correo electrónico a logbog+unsubscribe at googlegroups.com.
Para ver esta conversación en el sitio web, visita
https://groups.google.com/d/msgid/logbog/361495291.771403.1610492674277%40mail.yahoo.com
<https://groups.google.com/d/msgid/logbog/361495291.771403.1610492674277%40mail.yahoo.com?utm_medium=email&utm_source=footer>
.


-- 
Diego A. Mejía (PhD)
Associate Professor
Faculty of Science, Shizuoka University
836 Ohya, Suruga-ku, Shizuoka 422-8529 Japan
Tel: +81-54-2384787
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.fos.kuis.kyoto-u.ac.jp/pipermail/logic-ml/attachments/20210113/e8c3cc0c/attachment.htm>