RAMiCS 2021 - Call for participation (onsite/online)

RAMiCS 2021 - Call for participation (onsite/online)

[luigi.santocanale]

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