RAMiCS 2023 - Call for participation
Michael Winter via clean-list <[email protected]>
| Newsgroups | gmane.comp.lang.clean |
|---|---|
| Message-ID | <YT4PR01MB9718F552DB79435B72B9F63DAAD69@YT4PR01MB9718.CANPRD01.PROD.OUTLOOK.COM> |
(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://urldefense.com/v3/__https://ramics20.lis-lab.fr/__;!!HJOPV4FYYWzcc1jazlU!7pUpln-IsFNJo9Cf8Dhdkm7x1swqZ8B6mIdZXSipPpJv66T2QJCeZIOCLu7ztNprttRKjnfg3XxR3aXpDMnQUo4$ 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://urldefense.com/v3/__https://ramics20.lis-lab.fr/*registration__;Iw!!HJOPV4FYYWzcc1jazlU!7pUpln-IsFNJo9Cf8Dhdkm7x1swqZ8B6mIdZXSipPpJv66T2QJCeZIOCLu7ztNprttRKjnfg3XxR3aXpKlOgdNI$ . 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://urldefense.com/v3/__https://ramics20.lis-lab.fr/accepted.html__;!!HJOPV4FYYWzcc1jazlU!7pUpln-IsFNJo9Cf8Dhdkm7x1swqZ8B6mIdZXSipPpJv66T2QJCeZIOCLu7ztNprttRKjnfg3XxR3aXpmiMuONw$ 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://urldefense.com/v3/__https://ramics20.lis-lab.fr/__;!!HJOPV4FYYWzcc1jazlU!7pUpln-IsFNJo9Cf8Dhdkm7x1swqZ8B6mIdZXSipPpJv66T2QJCeZIOCLu7ztNprttRKjnfg3XxR3aXpDMnQUo4$ _______________________________________________ clean-list mailing list [email protected] https://mailman.science.ru.nl/mailman/listinfo/clean-list