categories - Category Theory list
 help / color / mirror / Atom feed
From: luigi.santocanale@lis-lab.fr
To: categories@mta.ca
Cc: luigi.santocanale@lis-lab.fr
Subject: RAMiCS 2021 - Call for participation (onsite/online)
Date: Wed, 1 Sep 2021 15:11:35 +0200	[thread overview]
Message-ID: <E1mLl2z-000343-TA@rr.mta.ca> (raw)

CALL FOR PARTICIPATION (onsite/online)

                      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:
     Registration deadline: 12 September 2021
     RAMiCS 2021: 2 to 5 November 2021

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.  It will take the form of a hybrid conference, allowing
both onsite and online participation. Participation is free, but
subject to approval by the conference organisers. Please register at:

       https://ramics19.lis-lab.fr/#registration

We strongly encourage participation on-site and remark that the CIRM
is a very pleasant place for a conference, but understand that some
participants will only be able to join online.  Please register before
September 12, 2021. Note that after this date we might not be able to
ensure accommodation at the conference centre and that a late
registration fee might apply for online participation.

The RAMiCS 2021 program features 3 invited talks and 29 contributed
talks. For details, see

       https://ramics19.lis-lab.fr/accepted.html

INVITED TALKS:

Marcelo Frias, Buenos Aires Institute of Technology, Argentina
       Relational Tight Field Bounds for Distributed Analysis of Programs

Barbara König, Duisburg-Essen University, Germany
       Fixpoint Games

Dmitriy Zhuk, Lomonosov Moscow State University, Russia
       Quantified Constraint Satisfaction Problem: towards the
       classification of complexity

ORGANIZING 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

For more information, see https://ramics19.lis-lab.fr/




[For admin and other information see: http://www.mta.ca/~cat-dist/ ]


                 reply	other threads:[~2021-09-01 13:11 UTC|newest]

Thread overview: [no followups] expand[flat|nested]  mbox.gz  Atom feed

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=E1mLl2z-000343-TA@rr.mta.ca \
    --to=luigi.santocanale@lis-lab.fr \
    --cc=categories@mta.ca \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).