From: Michael Winter <mwinter@brocku.ca>
To: Michael Winter <mwinter@brocku.ca>
Subject: categories: RAMiCS 2023 - Call for participation
Date: Thu, 2 Feb 2023 14:54:33 +0000 [thread overview]
Message-ID: <E1pNhGb-0002Ae-CL@rr.mta.ca> (raw)
(Apologies for multiple posting)
CALL FOR PARTICIPATION
20th International Conference on
Relational and Algebraic Methods in Computer Science
RAMiCS 2023
3 to 6 April 2023, Technologiezentrum Augsburg, Germany
https://ramics20.lis-lab.fr/
IMPORTANT DATES:
Registration deadline: February 28, 2023
RAMiCS 2021: 3 to 6 April 2023
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 2023 will take place at the Technologiezentrum Augsburg, as a
physical conference. There are no conference fees but, due to limited
resources, it is subject to approval by the conference organisers.
REGISTRATION
Participating at the conference dinner can take place at cost price
(to be paid on site). To register for the conference please refer to the
registration section of https://ramics20.lis-lab.fr/#registration.
PROGRAM AND INVITED TALKS
The RAMiCS 2023 program features 3 invited talks, 17 contributed
talks, and 7 short talks. The invited talks are:
Alexander Knapp, Augsburg University, Germany
Specifying Event/Data-based Systems
John Stell, University of Leeds, UK
Algebra and Logic in Granularity
Valeria Vignudelli, CNRS/ENS Lyon, France
Equational Theories and Distances for Computational Effects
For more details, see
https://ramics20.lis-lab.fr/accepted.html
ORGANIZING COMMITTEE:
Conf. & PC Co-Chair: Roland Glück, German Aerospace Center, Germany
Conf. & PC Co-Chair: Luigi Santocanale, LIS, Aix-Marseille University, France
Conf. & PC Co-Chair: Michael Winter, Brock University, Canada
For more information, see https://ramics20.lis-lab.fr/
[For admin and other information see: http://www.mta.ca/~cat-dist/ ]
reply other threads:[~2023-02-02 21:38 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=E1pNhGb-0002Ae-CL@rr.mta.ca \
--to=mwinter@brocku.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).