\n

The RAMiC S conference series has been the main venue for re search on relation algebras, Kleene algebras and s imilar algebraic formalisms, and their application s as conceptual and methodologica tools in compute r science and beyond.

\n\n

URL:https://ramics19.lis-lab.fr/
CONTACT:Luigi Santocanale at luigi.santocanale at
lis-lab.fr
END:VEVENT
END:VCALENDAR
Submi ssions in the general fields of algebras relevant to computer science and applications of such algeb ras are invited. Topics include but are not limite d to:

\n\n*** Theory ***

\n - algebras
such as semigroups, residuated lattices, semiring
s, Kleene algebras, relation algebras and quantale
s

\n - their connections with program logics a
nd other logics

\n - their use in the theories
of automata, concurrency, formal languages, games
, networks and programming languages

\n - the
development of algebraic, algorithmic, category-th
eoretic, coalgebraic and proof-theoretic methods f
or these theories

\n - their formalisation wit
h theorem provers

*** Applications ***

\n - tools and techniques for program correct
ness, specification and verification

\n - quan
titative and qualitative models and semantics of c
omputing systems and processes

\n - algorithm
design, automated reasoning, network protocol anal
ysis, social choice, optimisation and control

\
n - industrial applications