Skip to Content.
Sympa Menu

coq-club - [Coq-Club] RAMiCS 2023 - Call for participation

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] RAMiCS 2023 - Call for participation


Chronological Thread 
  • From: Michael Winter <mwinter AT brocku.ca>
  • To: Michael Winter <mwinter AT brocku.ca>
  • Subject: [Coq-Club] RAMiCS 2023 - Call for participation
  • Date: Thu, 2 Feb 2023 14:54:33 +0000
  • Accept-language: en-US
  • Arc-authentication-results: i=1; mx.microsoft.com 1; spf=pass smtp.mailfrom=brocku.ca; dmarc=pass action=none header.from=brocku.ca; dkim=pass header.d=brocku.ca; arc=none
  • Arc-message-signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=microsoft.com; s=arcselector9901; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-AntiSpam-MessageData-ChunkCount:X-MS-Exchange-AntiSpam-MessageData-0:X-MS-Exchange-AntiSpam-MessageData-1; bh=Y+bf00ylDCPmqCGauAtuzGUYccDTvQpuL1sJcmeaFbs=; b=WsX48kwDbqgwBCaz3qLoAhS/Gver9DynMJawKB41RwuoIvsYtKwJeNYQRp6OmFUwyDjELnyx5mB8PtjfgsLadXKq7fXNM6aZOo7vlvkzY+AHWD0yCg19uGFbsDkb9q0b9qKB+4Vm9W7OXwgwEA0KPJ5U40MomAvgsS9+TF1Zq1xL27jR2bOWHUMjC2zRiMDB6SULboFyOdBNPUSTxvSs52X9ohB0LL0tlLJHU/nqXNVF+hMwvig9D7SY/HowzKXwhBABTYxcuFZjkfIf1GdDRZflB1oHnrdO7w99EcXngG2fCTrMkAubdvAmthKzOqMiR9FvcA38SfaNqYGx0dktTg==
  • Arc-seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=kxhznvvUZ3YhEcr+tUucGXsni/NF2Y7HuhDM2OKNCToFPia+9O+SgAepF5oTNHjicSXIocE7EdDdhVoKT2UkGIoyOaakw21WZTpqIWJJg7JN6ag3kIXaZ8cgdMs8vZomlC75A3usHEr2IHrTUHXDaQtdrS6sEmaWrqV1ly/hvh/cvL5YdiIQRk4fZ3wHGESyNzUaKWi+xKaazKI/Q24/sEe+Hq31MmXTP7T1IYZQ+28JLHyEBopUI5M3MFD8HzKvA+mfoaI/GywrKSFMSTC0m79bAD7P1ZkJgfiF6uCCnDDpKtXaebpid8jiFpZVhgiQHDs72yLR1pTLIIIwb/8sfA==
  • Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=mwinter AT brocku.ca; spf=Pass smtp.mailfrom=mwinter AT brocku.ca; spf=Pass smtp.helo=postmaster AT NAM11-CO1-obe.outbound.protection.outlook.com
  • Ironport-data: A9a23:cLCsuq9P5ce+I2bfkxf7DrUD2HWTJUtcMsCJ2f8bNWPcYEJGY0x3m GoXWjiDP66MY2CkKNl/YYi/9BkOuMeAz4A2GwZpry5EQiMRo6IpJ/zJdxaqZ3v6wu7rFR88s Z1GMrEsCOhuExcwcz/0auCJQUFUjP3OHPylYAL9EngZbRd+Tys8gg5Ulec8g4p56fC0GArlV ena+qUzA3f4nW8rWo4ow/jb8kg35qyo4GlwUmEWPJingneOzxH5M7pEfcldH1OgKqFIE+izQ fr0zb3R1gs1KD9wYj8Nuu+TnnwiGtY+DyDW4pZlc/TKbix5m8AH+v1T2Mzwxqtgo27hc9hZk L2hvHErIOsjFvWkdO81C3G0H8ziVEHvFXCuzXWX6KSuI0P6n3TEm81uT1k0Ibwi4ucwB2dUr uQ/djAocUXW7w626OrTpuhEoO0GdZCuF6RG/3ZqwHfeEOosRo3FT+PS/9hE0Twsh8dIW/HDe 84ebjkpZxPFC/FNEgtPTstmw6Hy3CG5KmcFwL6WjfJfD2z7yRNw1qTgKvLfYNuBRtgTlU/wS mfuozqmWkBBaYX3JTyt7C2Dn93J3gzHRdwKJL+S6fBBgWCc2TlGYPERfQDi+qLh0xTWt8hkA 0cT428lqbU43Fe6S8H0GRy+un+N+BAGM/JbGug+rQWM0bb8+BecHmFCTzhbadVgutVeeNAx/ lqAntesDjs2trSQECua8O3N9270PjUJJ2gfYyNCVREC/9TovIA0iFTIU8pnF6m2yNbyHFkc3 gxmsgBmv7VQlcwX5p+j/BfBhSj3vr+XTisqs1C/sn2e0it1Y4usZoqN4Ffd7OpdIIvxcrVnl ChV8yR5xLBeZaxhhBBhU81RQ+/xvKrt3Cn0xAc1RcJ9rmjFF2uLJNgIuFlDyFFV3tHokNMFj b+6hO+8zJpaPX/vZqguZYu0Up0ty/K5T4mjUe3IZN1TZJQ3bBWA4CxleU+X2SbqjVQolqY8f 5ycdK5A7Er264w4klJapM9EjtfHIxzSI0uOHfgXKDz7gNKjiIa9E+ttDbd3RrlRAFm4iAvU6 c1DEMCB1g9SVubzCgGOr9FOdw9UdyNgX8qowyCySgJlClo3cI3GI6+AqY7Nh6Q/xMy5a8+Uo CHhChADlTITe1WedFXQMC8LhEzTsWZX9itgZnR1Zz5EKlAmYI2167wYeYd/dKs67uEL8BKHZ 6htRil0OdwWEm6v021FM/HV9dU+HDz2217mF3f7MVAXIcU6LySXoYCMQ+ca3HJTZsZBnZBi+ OLIO8KyacZrejmO++6NM6rykQLq4SVN8A+wNmORSuRulIzX2NACA0TMYjUfeqng8D2Sn2vI5 BXcGhoCu+jGrqk89dSD1+jOrJ6kH6E6VgBWFnXSp+T+fyTL3HuR8akZWsaxfBfZSDzV/oemb r5r1P3SCqAMs2tLlIteKIxV65wCyeHhnJJg9TQ8Lk73NwyqLphCPki52dJ+s/wR571B5iqzd EG92vhbHrSrOcjgQVwYfzc4X76u1NU/uDrb3dIqKmrUuQ51+7umVx1JHh+u0SZyEpp8ALkH8 8wA5vEEylWYpEIxE9Ckiit0yTy9HkYYWf96iqBAUZ7ZtAU773pjP7reM3bSy7OSYYxuNkIKH GeltJDaje4B+nuYImsBLlmT7+9znp9UhQtrymUFLFG3mtbooP878RlS0DYvRDRu0RR1/LNvC 1dvKnFKC/2CzxVwiOhHelKcKQVLKRma2072klUyhDL4SWusXTfzN2ETA7uG030Y1GN+RQJl2 o+k5lzrawu3Q/Gp7BAOARZkj9fBUe1O8hbznZH7PsadQLg/TznXoo6vQmsqqhDiUME433Dal LNH/cJbS67yBQgPqYIVVqiY0rUxTkifBWpgGPtOwoIALVv+ShqThwecChmWVJtWBvro9USYN ZRfFvhXXU7j6BfU/yEpO6EcBpRVwtgr3YMmUZH2Lzckt7C/kGJYgKjI/HKjuF5xEsRcqudjG Ib/bDnYL3exg0FTkGrzrMVpHGq0TN0HRQ/k1tCO7+Q7OMMfgd5obH0N/OO4j1eNPCtj2iCkj gfJSqvV7u5lkIpXj9TNFIdHDF6KMt/dbrmD3z2ylNVsVunxF/nymTkbkXTZGjhHHKAwXo13n IudsdSs00Liuq03Yl/jmJKANvdo5piYYNZ6IubKCkF/pnKcacrR/hFYxTiJLM0QmtZk+8KHZ RW0R/WyefERRd1cmWNZWxJFGUxMEYDySLnqngKmjvG2EhNG+xf2HNCm0n7IbG9gaS4DPaPlO DL0o/qD4tN5rpxGIQ0tXtVKIsZfC0Dyf7klbPjzuiuoNXapiVa8pbfSrxosxjXVAH2iEsyhw 5b6ajXhVRa1qofa5cp4ttFsgxgpE3pNu+k8UUYD8dpQiTrhLmonL/wYAKoWGKNvjS3++5HpV g7jNFJ4J33GYg1FVhHg7PDIfASVXLUOM+ikAA0ZxRqfbiPuCb6QBLdkyDxb3E53XTndndGXc YRUvjW6OxWq2ZhmSNoC/vHx068t2vrewWlO4kzn1dD7BxEFG7gRyXh9B0x3WDfaF93W3lD+T YTvqbuonGngIaIwLSphR5KRMDcwmWq2ih4PNGKIytuZvJiHxupdzvG5I/v0zrAIcMUNIvgJW G/zQGyOpWuR3xT/fIM37skxj/Yc5e2jR6CHwG3LHGX+XJ1cLkwtJcQJnjdJR8hKFMt3DQbGj jf1i5QhLB3tFa2SsYF6DS0D4ZV6UW9KBDihYMsTY9PZuURR8uU1sCRGAO42xV8cZkQjU4hlr O8uUXus
  • Ironport-hdrordr: A9a23:FHRAba7Z3QXdWre8nAPXwS+BI+orL9Y04lQ7vn2ZFiY5TiXIra qTdaogviMc0AxhPk3I6urwQZVoIEmsgqKdhLN8AV7MZniDhILFFuBfBOjZskvd8k/Fh4lgPM 5bGsAQZuEYZmIK7voSlTPIdurIt+P3kpxA692/815dCSVRL41w5QZwDQiWVmdsQhNdOJY/HJ 2AouJaujuJYx0sH4yGL0hAe9KGi8zAlZrgbxJDLQUg8hOygTSh76O/OwSE3y0ZTyhEzd4ZgC P4ek3Cl++eWsOAu1PhPlzonttrcRzau5V+7fm3+4Uow/PX+0eVjcpaKv2/VXsO0ZmSAR4R4a LxSlEbTo1OAjrqDxuIiAqo1A/63Dk07Xj+jVeenHv4uMT8ACk3EsxbmOtiA2nkAmcbzaFBOZ hwrhGknosSCQmFkDX25tDOWR0vnk2ooWA6mepWi3BES4MRZLJYsIRapSpuYeM9NTO/7JpiHP hlDcna6voTeVSGb2rBtm0qxNC3RHw8EhqPX0BHsM2I1Dpdmmx/0iIjtbkit2ZF8Ih4R4hP5u zCPKgtnLZSTtUOZaY4H+sFSdvfMB29ffsNChPtHb3KLtB5B5uWke+L3Fwc3pDXRKA1
  • Ironport-phdr: A9a23:BjYh0B/qu8lKOP9uWd+0ngc9DxPPW53KNwIYoqAql6hJOvz6uci4Y QqGvqUm0gCBdL6YwswHotKei7rnV20E7MTJm1E5W7sIaSU4j94LlRcrGs+PBB6zBvfraysnA JYKDwc9rDm0PkdPBcnxeUDZrGGs4j4OABX/Mhd+KvjoFoLIgMm7yeC/94fObwhGhzexbrJ/I RerpgjNq8cahpdvJak2xhbVuHVDZv5YxXlvJVKdnhb84tm/8Zt++ClOuPwv6tBNX7zic6s3U bJXAjImM3so5MLwrhnMURGP5noHXWoIlBdDHhXI4wv7Xpf1tSv6q/Z91SyHNsD4Ubw4RTKv5 LpsRxL0hioLKyM1/HjLhsBtkalXpA+tqhx6z4PSfYqbNudxfrnFcN0aW2RPQ9pRWSJCDIygY IQCFPAOMfpEo4Tnu1cCsQayCA+xD+3v0D9IgXr20LU93eQgDQ7G3BYvEMwKsH/JrNr1NaESU fyrw6nS0D7OaPZW2Dn86IjObhAuv+uMUKlrfsrLzkkgCwDFjkiKpYP5JTyYz+IAuHWU4OR8T +ygkXInqx1vrTi1wMchkovEiIIbx17E6yl0xJg4KcCkREN/YdCpDYZcuiGbOoZ0TM0vQG5mt ik1x7AFupO1fDQGxZQlyhDRb/GKfYaG7g7lWe2MLzl4g3dld6i+hxa06UWgzuz8VtKt3FZOt CVKicPAtn4X1xHV98OJSeN981+u1DqTzQzf9/1ILEIumabFNZIt3qQ8mocNvUnDBiP6hkT7g LOYe0gh5+Sk9//ob7Tjq5CHK4N4lwTzPbotl8G6BOk1Mw4DVHWB9+umzr3s50j5Ta1KjvIol qnZt4jXK9wHq6C+HgNZz58v5gimATu7ydgYmmIII0xfdBKAkojpJ0rBIPflDfe5nlugii9rx +rBPr39HJrCMmTDkLbmfbZ78UJczxczzcxb55JTDbEBI+j/VVP2tNzdFhM5Mgq0zPj7CNhl2 Y4SRXiDDrKFPK7Qq1OE+PwjL/WWaIMIpjrwK+Ap5/v0gn84nV8dc7Op3ZwSaH2gG/RnLUSZY XzwgtgfC2cHpRExTPbtiFKeUj5Temy+UL4m6T0jDoKpFp/MRpqxj7yZwCe7AppWa3hYBlyUC 3fna52EW+sQaCKVOsJujjsEVaG4R4A90RGuqRT1xqF8LuvU/y0YrYjs2MJ05+3VjxEy9CZ7A 96T02GXV210hH8HRycq3KBjpkxw0kuM3rJ9g/xcDNBT4/JJUhwmNZPH1Ox7C9XyWhrbcduTS VamRM+mATArQd4rzd8OeRU1J9L3qxHI3yOnB/cqlrqXCYZ8pqfD3n7tKtxVwWzB36o8yVIvF JhhL2qj04t+/AjaCoqBrESfi6uwPfAZwy/L6GqZ5WCUu0pbTUh7WPOWDjgkekLKoIGhtQv5R Li0BOF+b2OpqOaHI6pOMZjyiEleAezkIJLYan6wnGG5AVCJwKmNZczkYTZVxz3TXW4DlQ1b5 nOaLU4mHC70pn3fCiBjD3rleUTn8vQ4o3roBlQswVSyZlZ6n6Gw5gZTgPWdT/0J2bdRvTggr Sl5Bn63xdXdCMfGrAMyNL5Eb4YF6UxcnXncqxQ7PpGkKPV6gUUCdg1so070/zNeL9wZ1OMN9 TYtxgc0Lr+E2lRccT/exYr3JrDcNmj1+laodrLS3Vbdlt2R/8/j8dwerFPu9EGsH0smqDB81 sVNlmCb/tPMBRYTVpT4VgA28QJ7rvfUeHt14YScznBqPaSu112Kk9s0GOsozAqhdNZDIeuFE gH1CcgTG8mpLqQjhVGoahsOOO0a+rQzOouqcP6P2ajjO+gF/nruiHtG5pxwyGqG7S13SfOO1 J9Ei/CU0w2bVivt2U+7u5O/koRFaDcOW2unnHS8QtcJOesoJ95NUD3zcKjVjp1kipXgWmBV7 gumDlICg4qyfAaKKkf6xUtW3FgWpnqunW25ySZ1mncntPn6vmSGzuL8eR4AImMOSnNliAKmJ Je1icwXRmCidQ8ilwbj7k+wlM057OxvanLeR0tFZX28Kn5jVLe9rJKIeclE645uuiwdA6ysJ FudTLD6uR4T1SjuSnBfyD4MfDavopzlnhZ+hQpxNV5LpWHCMYF1zBbbv5nHQOJJmyEBXG9+g CXWAV61O5+o+8+VntHNqLL2W2WkX5xVOS7lqOHI/C6k5Gt2DAeXleq0kd76VwMzmSP2zNhlU yzUoQ20PtGtjvzld7g9Jg8xXgK04tEyAoxkl4osmJwcvBpSzo6Y+3YKiya7MNlW377/cGtYQ DcKx9DP5w22kEZnL3+P28f4TiDBmo04P4b8ODlOnHtnspMvau/c9rFPkCprr0DtqAvQZaM4h TIB0b4172ZchegVuQ0rxyHbA7YIHEAeMza/8nbAp924sqhTY36iNLaq008r19W+Dbeerxt0U mz+cZQ/WyR5pJYaUhqEwDjo54fodcOFJ9cMtxuIng3ohfJSI5Es0PEDz3kvKSf2unsrzPQ+h Bpl0MShvYSJHG5q+bqwHh9SMjCmAqFbsiGol6tVmdyampy+Bpg0UCteR4PmFLj7WCJXr/nsM ByCVSExumvOU6SKBheRsSIE5zrOC8z5aynRdSNflZM6A0DAbE1H3FJIBHNjxsF/Tkbyg5W/O EZhumJMvBih8kMKkqQwcECjNwWX7AawNmVtEMTZcEUQtkcaoB6Kec2GsLApFnkBrMT49V6Dd jTDNVYPUTFsOATMBki9bOOnvYCSqrHBVOTid6CcM/LS+KRfT6nan5v3i9k/pm/eOJnXZSsyV 6VjiBgEACgceYyRmi1RGXYez3ufNpfC9hngonYlpZjnqKa5H1+2rYqXVekIOI02qUnv2PWNa 7bL1ighcW4KhNRRnxqqgPAe2lUWli1jJSK1H7hGrTTKUK/bhq5QCVgcdj93M8xLqak720EIM MrfwLsZz5ZAh+UuQxdAXF3lwYSyYNASZnq6LBXBDVqKM7KPIXvKxdv2aOWyU+8YgOJRvhy28 TGVdi2rdiyEjCXsXguzPPtkqgi+ZUUbk6bkNxFnBC7kUc7sbQC9PJlvlzoqzLYoh3TMc2kBL Tx7dEALpbqViEEQyvlyAG1O6HN5IPLMx37ftrGHbMxM6b0yWHk8nvkS+HkgzrpJ8CxIDOd4n ifftJ8mol2rlPWO1isyUBdKrWUu5srDtkFjNKPFs5hYDCqcuktVsiPKUUxM/oE4WbiN8+hKx 9PClbz+MmJH+tPQpo4HAtTMbdmAKDwnOAboHzjdCE0ESySqPCfRnR848rna+3uLo5w9spWpl oAJT+oRUUM0EO8XEGxvBtsJI4oxVTpuwtv5xIYYoGGzqhXcXpAQppfcSvebGuniMh6/pJwdP l4j5uq9Ko4ecIrmx0Zld1922pzQHFbdVsxMpSsnaRIopEJK8z51SWh5iCeHIku9pXQUE/Czh Bs/jABzNP8s+Dnb6FAyPlPWpSE0nRp5iZD/jDuWajK0MLaoUNQcFX/vr0ZoeMCeIU49fUiok EdjLjuBW79Bk+4qazVwkAGF8ZpXRawAFesVOllIg6nQPqhg0EwA+Hn/gxYfuq2dT8MlzVVPE 9bkrmociV85KodtfeqIYvIOlwQYh7rS7HbwiqZtn0lGYR5KqTzaeTZW6hYBbuB0fnPxrOIws VTQyXwfKA1uH7Iruqw4rEplYrbZlnuy3eIbcRLjcLDOZ6KB5TqanJbREAppjxEGyxEer+gui Z9xIQ3JDyVNhPOQD0pbb8OacFMMNpMA+iSLJnSF6b2Vk8AyYtz1F/i2H7WH7P9G2xv9Tgh1R 99e4JxZRsv+lxyCSKWvZL8DwhEw6Am5P02LALJRYhWXnTwbosa5iphqwY1aITJbCmJ4eWC+4 rKdzufFqPCZW9w1fzERV9ldXprTcMegnCVaojJLBWvvugr44C6rymal4w/3VXz7ZdclY+qIb xRxDt3w4S8476W9lV/Q9NPZOn3+MtNh/NTI7LFDz6s=
  • Ironport-sdr: 63dbceae_6pKZ+uvC+Vqh03L0aGUDsA+Qoeh1UyQdwxRFb7XShqPMjWa hmRI+lFGAbwFLGR7gWq643Co3A4yC1Zr0czGd6Q==

(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/



  • [Coq-Club] RAMiCS 2023 - Call for participation, Michael Winter, 02/02/2023

Archive powered by MHonArc 2.6.19+.

Top of Page