BEGIN:VCALENDAR
VERSION:2.0
PRODID:ILLC Website
X-WR-TIMEZONE:Europe/Amsterdam
BEGIN:VTIMEZONE
TZID:Europe/Amsterdam
X-LIC-LOCATION:Europe/Amsterdam
BEGIN:DAYLIGHT
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
DTSTART:19700329T020000
RRULE:FREQ=YEARLY;BYMONTH=3;BYDAY=-1SU
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:19701025T030000
RRULE:FREQ=YEARLY;BYMONTH=10;BYDAY=-1SU
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
UID:/NewsandEvents/Archives/2021/newsitem/12346/2-
 --5-November-2021-19th-International-Conference-on
 -Relational-and-Algebraic-Methods-in-Computer-Scie
 nce-RAMiCS-2021-Marseille-France
DTSTAMP:20210114T144241
SUMMARY:19th International Conference on Relationa
 l and Algebraic Methods in Computer Science (RAMiC
 S 2021), Marseille, France
DTSTART;VALUE=DATE:20211102
DTEND;VALUE=DATE:20211105
LOCATION:Marseille, France
DESCRIPTION: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 methodolo
 gica tools in computer science and beyond.  Submis
 sions in the general fields of algebras relevant t
 o computer science and applications of such algebr
 as are invited. Topics include but are not limited
  to:  *** Theory ***  - algebras such as semigroup
 s, residuated lattices, semirings, Kleene algebras
 , relation algebras and quantales  - their connect
 ions with program logics and other logics  - their
  use in the theories of automata, concurrency, for
 mal languages, games, networks and programming lan
 guages  - the development of algebraic, algorithmi
 c, category-theoretic, coalgebraic and proof-theor
 etic methods for these theories  - their formalisa
 tion with theorem provers  *** Applications ***  -
  tools and techniques for program correctness, spe
 cification and verification  - quantitative and qu
 alitative models and semantics of computing system
 s and processes  - algorithm design, automated rea
 soning, network protocol analysis, social choice, 
 optimisation and control  - industrial application
 s
X-ALT-DESC;FMTTYPE=text/html:<div>\n  <p>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.</p>\n</div><div>\n  <p>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:</p>\n\n  <p>*** Theory ***<br>\n  - algebras
  such as semigroups, residuated lattices, semiring
 s, Kleene algebras, relation algebras and quantale
 s<br>\n  - their connections with program logics a
 nd other logics<br>\n  - their use in the theories
  of automata, concurrency, formal languages, games
 , networks and programming languages<br>\n  - the 
 development of algebraic, algorithmic, category-th
 eoretic, coalgebraic and proof-theoretic methods f
 or these theories<br>\n  - their formalisation wit
 h theorem provers</p>\n\n  <p>*** Applications ***
 <br>\n  - tools and techniques for program correct
 ness, specification and verification<br>\n  - quan
 titative and qualitative models and semantics of c
 omputing systems and processes<br>\n  - algorithm 
 design, automated reasoning, network protocol anal
 ysis, social choice, optimisation and control<br>\
 n  - industrial applications</p>\n</div>
URL:https://ramics19.lis-lab.fr/
CONTACT:Luigi Santocanale at luigi.santocanale at 
 lis-lab.fr
END:VEVENT
END:VCALENDAR