BEGIN:VCALENDAR
VERSION:2.0
PRODID:https://github.com/derhansen/sf_event_mgt
METHOD:PUBLISH
BEGIN:VEVENT
UID:1918-3266@fg-afs.gi.de
CLASS: PUBLIC
SUMMARY:16th International Conference on Relational and Algebraic Methods i
 n Computer Science
DESCRIPTION:Welcome to RAMiCS 2017, the 16th International Conference on Re
 lational and Algebraic Methods in Computer Science. It will take place at E
 NS Lyon, France, from May 15 to May 18, 2017.\n\nFor more than two decades,
  the RAMiCS conferences series has been the main venue for research on the 
 theory of relation algebras, Kleene algebras and similar algebraic formalis
 ms, and their applications as conceptual and methodological tools in comput
 er science and beyond.\n\nTheoretical topics include the use of semigroups,
  residuated lattices, semirings, Kleene algebras, relation algebras and qua
 ntales in the theory of automata, concurrency, formal languages, games, net
 works, programming languages and social choice, and the development of algo
 rithmic, category-theoretic, coalgebraic, proof-theoretic and theorem provi
 ng methods for these.\n\nApplications include tools and techniques for prog
 ram correctness, quantitative and qualitative models for computing systems,
  logics for programs, games, social choice and distributed systems, the des
 ign of algorithms, network protocol analysis, and optimisation and control.
LOCATION:LIP, ENS de Lyon
DTSTAMP:20181221T113734Z
DTSTART:20170515T073000Z
DTEND:20170518T140000Z
END:VEVENT
END:VCALENDAR