Skip to Content.
Sympa Menu

coq-club - [Coq-Club] RAMiCS 2023 - Call for short contributions / posters

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] RAMiCS 2023 - Call for short contributions / posters


Chronological Thread 
  • From: Michael Winter <mwinter AT brocku.ca>
  • To: Michael Winter <mwinter AT brocku.ca>
  • Subject: [Coq-Club] RAMiCS 2023 - Call for short contributions / posters
  • Date: Fri, 16 Dec 2022 19:03:25 +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=e+4EWn7/H8zA7QHSOZsZ0De7piRy+YRsBhBD7Qq1djA=; b=XpEBvJDkTFxP+24UbfRZQ2ihhmKyByIlvoyb6zDU/i8LVuGM56KjtdDoNLA27wmW7OE6Xvkr9gy2kSPnDbzODWubl9r6snrOIvA0KKWhzZ6+CvllAdjCS4nQLWGpGDqrq9EJNHfHywvLar9F5k6vku5YAulQ/o59n6LTLqt6fZofdi+j7NjWbMcuffBcsI7hZdL3tELsrvFcuZRHQpe26IaZFpLCu48N7BnilGL4PAgu2h5IptYtzE/l2ZlNFduoUCM7WkqcCIQSm+VdsXDz0Sm8hnYYE2kUOBA87EvYrSB5o3lwOUEpbkqJ0P7Mc32ydLKjSRVzh3YTwQxuKf+ajA==
  • Arc-seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=Qjw2FE7sebq8ZHpqKR1uBxh/NR97CXLV2xF0dc39mmpCGy3B177myBxmtMR870ZSs9QoHvmIX2MZhSJ9DFng068OlHXfD0oGBN9B4O7H0DHFlb9qIi6yhSS7Qpz+URJXG5YeZ6aSXzCwOa9nI0oMyvIL/iavaLa8aQCkxpkxqjFbIrxPF9amOILU0g3Ns8elfDh8tzNI+hzACB1O9buLFxgn0/ucUdP7n13pzo8twH8msuVgpyjsHZpD/ZTTEnjKmRg6UjuDszbeETmeIssCBhbug6lQp+9vv4+wv1VtTknQwQ+nu9uCZDswrK5p7L85r8GPfHNqCt2VNdgZ4o+oBw==
  • 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 CAN01-YT3-obe.outbound.protection.outlook.com
  • Ironport-data: A9a23:DQ5Wzaowc9LgPjvNdaq2O+/N0iJeBmJ0bhIvgKrLsJaIsI4StFCzt garIBnTOq2IZzGnfN8naIWwoBwC7JTWz9AwHQFu+CA3QXsR+ePIVI+TRqvSF3PLf5ebFCqLz O1HN4KedJhsJpP4jk3wWlQ0hSAkjclkfpKlVKiefHkZqTZMEE8JkQhkl/MynrlmiN24BxLlk d7pqqUzAnf8s9JPGj9SuvzrRC9H5qyo4mpC5wJmPpingXeH/5UrJMJHTU2OByCgKmVkNrbSb /rOyri/4lTY838FYj9yuuuTnuUiG9Y+DCDW4pZkc/DKbitq+kTe5p0G2M80Mi+7vdkmc+dZk 72hvbToIesg0zaldO41C3G0GAkmVUFKFSOuzdFSfqV/wmWfG0YAzcmCA2kPNLAH0P0uGl1qt uc+FmAnYD2AlumplefTpulE3qzPLeHAFaVH4zRR8WqcCvwrB5feX6/N+NlUmi8qgdxDFurfY MxfbidzaBPHYFtEPVJ/5JAWwL/u3yGgNWQB9RTM/vVfD2v7lGSd1JDoL9vTZtGQbc9PmU2bu yTN9gwVBzlGbozOlGDdrhpAgMfQnCbxV6YLRIe2+/1qgVmR200LOEY/AA7TTf6R0RflAIoGc ST44BEGpq8rsUevU9PVRAy9uHfCvxgGWtMWHfdSwAqEz66R5weCGkAfXztZYZonstU3THokz De0c8jBADVutPiEVSmW/7HM9DS0Y3FOcikFeDMOShYD75/7uoYvgxnTT9FlVqmoktnyHjK2y DePxMQju1kNpfcC6rqR5gncvxbvvb73HiQ7ywbGVX3wu2uVe7WZT4Cv7FHa69NJI4CYUkSNs RA4dy62vLBm4XalxHPlfQkdIF26z6rebmCA3jaDC7FkqGX2pST5FWxFyGsmTHqFJProbhfCS Sc/Uytt44VUOmetBUOcS6fsIqzGIUUqfOkJu9jRZ9tKJ4ltLwSO+nk3YkjKhjuy1k8xjas4J JGXN962CmoXArhmyzzwQPoB1bgsxWY1wma7qXHHI/aPj+r2iJ29EOZt3L6yggYRsP3sTOL9r 4k3Cidy408DONASmwGOmWLpEXgELGIgGbf9oNFNe+iIL2JOQT9+UqaLkOt7IN0/wMy5c9skG FntCye0L3Kv1BX6xfmiMCkLhE7HAcgv8ShmbHZE0aiAgiV7Pt3yhEvgS3fHVeJ+r7c7lKQco wgtfsSLGPNUTTrbsz0PcIPwxLGOhzz67T9iyxGNOWBlF7Y5H1Kh0oa9ImPHqnNSZgLp7pFWi +P7iWvmrW8rHFkK4DD+M670kDtcfBE1xIpPYqc/CoULKRixrNU0dHyZYz1eC5hkFCgvDwCyj 26+aSr0b8GUy2Ps2IiQ1fK3vM2yHvFgH0FXOWDe4PzkfWPZ52evi8sIGuqBYTmXBiu+9bSAd Ndl6aj2EMQGu1JW7Kt6MbJglpwl6/XV+rR18wVDHVfwVWqNNI9OGHe98Pdqirxs3Z5c4Au/Z VKO8IJVOJKPI8LUL2QSLwsEMMWA89somBDCycoxHWDrvTFG+YeaWx5sZyiJ2XVXKYJoO6MH3 +sOhswaxAihgBt3LNq2tDterTWWCnkmTa8cl4o7BbXzgVEB0WByYp37Cw737qqQat5KDFIYH z+MiIfGhJVe3kDnYVNqMVTshM12moUoqhNR6V0NNWSyhdvOg8Eo0C1r8TgYShpfyjNF2blRP ldHGlJUJ6Kc2SVBn+lGAn6RHj9eCC2j+kDez0UDkEvbRRKKUk3PNGgMBvafznsG8m5zfilpw 5/A8TzLCQ3VRcDW2jc+fWVHqPa5FNx4yVDkqfCdRs+AG8E3XCrhjqqQflE3khrAA/1goG3cp OJvwvR8Vr2jCw4UvJ8AKte70ZY+dUm6AVJsEN9d+JEHJ2X+QA2J+COvLhmxc/xdJvaR/k6fD ddvF/11VB+/9XivqxIKD/QqObNPwfwY3/sZW7bRPWVdmaCunjlol5Px9ybFm24gRet1o/s9M o/8czGjEHSaoHlpx1/2s8hPP1Snbek+ZAHT2P6/9MMLHckhtN5AXF4T0LzumVmoKypiogypu T3ca5/sz+BNzZpmm63uGP5hAyS2MdbCa/SawjussthhbcL9DumWjlk78mLYBgVxOacdf/9Vl r7X6d7+4x7jjYYMCmvcn8GMKrlN6cCMR9FoC8PQLkcLuQuZWcTp3QkPxHDgF7xNj+Fmx5eGQ ymWVZKOUOA7CvZn6l9bUSx8KyomKr/Wa/7grBytrv7XBRk61xfGHeyd9nToTD96cw0ZMcfYE APP5vSf3fFDjYF2HBRfLepXM5x5B17CWKUdaNz6sweDPFSoml+vvrjDlwIqzDP2Vkm/D8fx5 KzaSijEdBidvL/CyPdbuddQuiI7IWlcg+5qWG4g4P9z1i6HCVAZIdQnMZkpDo9elgrw3sraY BDPdG4TNjXvbw9bcBnT4MXRYSnHP7YgYuzGHz0O+1+YTwyUB4naWbtoyXpG0kdMIzDmyLmqF MEa9njOJSOO+5BOR9hC1szj1K0jjrnfy2kT8E/wr93qDlxMSf8W3XhmB0xWWTaBD8jJk17RK HMoQXxfBnu2UlP1Dd0qbks99Mv1Z98z525AgeazLNfjV0Gz58RmkKS6Ct2ol7oJYYINOaIEQ m7xSy2V+WeK13cPuKwv/dU0natzDvHNFc+/REMmbRNHhLm+swzLIOtb9Rfjjul7kOKcL78Zv jO25HM9GQKOISi9HZWInB4R9csZvm0kVln0Yc2WmdMCuRYjyNPaZl6hxWoX7H02R7fL5y1lf dvZUKpdT5B6etcpSfmSe8n3fmC6PPw=
  • Ironport-hdrordr: A9a23:69E5LaANYb0FDK7lHehLsceALOsnbusQ8zAXPh9KJCC9I/bzqy nxpp8mPEfP+VAssQIb6Km90ci7MAThHPtOjbX5Uo3SODUO1FHIEGgA1/qV/9SDIVyYygc178 4JHMZD4bbLfDtHZLPBkWyF+qEbsbu6Gc6T5dv2/jNId0VHeqtg5wB2BkKwCUttXjRLApI/Cd 61+tdHjyDIQwVeUu2LQl0+G8TTrdzCk5zrJTQcAQQ81QWIhTS0rJbnDhmj2AsEWT8n+8ZozY GFqX2y2kyQiYD29vbu7R6d032Qoqqu9jJ3Pr3AtiHSEESstu/nXvUgZ1TIhkFMnAjm0idQrD CLmWZoAy070QKqQkil5RTqwAXuyzAo9jvrzkKZm2LqpYjjSCs9ENcpv/MqTvL10TtRgDhH6t M540uJ855MSR/QliX04NbFExlsi0qvuHIn1eoelWZWX4cSYKJY6dV3xjIgLL4QWCbhrIw3Gu hnC8/RoP5QbFOBdnjc+m1i2salUHg/FgqPBkICpsuW2T5Lm20R9Tps+OUP2nMbsJ4tQZhN4O rJdqxuibFVV8cTKblwAe8QKPHHe1AlgSi8Tl56DW6Xa53vYUi91qIfyI9FmN2XRA==
  • Ironport-phdr: A9a23:dvF/Nh3hL6wiuLFSsmDOVQwyDhhOgF0UFjAc5pdvsb9SaKPrp82kY BaCo64yxwaQAs3y0LFttan/i+jYQ2sO4JKM4jgpUadncFs7s/gQhBEqG8WfCEf2f7bAZi0+G 9leBhc+pynoeUdaF9zjaFLMv3a88SAdGgnlNQpyO+/5BpPeg9642uys+5DfeQtFiTiybb9vM Rm7rxjau9ULj4dlNqs+xRzFr2dSde9L321oP1WTnxj95se04pFu9jlbtuwi+cBdT6j0Zrw0Q rNEAjsoNWA1/9DrugLYTQST/HscU34ZnQRODgPY8Rz1RJbxsi/9tupgxCmXOND9QL4oVTi+6 apgVRjnhTsJOjIl7W3bk9B8gL9Gqx6luhByw4vYbYeIP/R8Y6zdZ8sXS2pfUMhMSyxPDICyY JcAAOcaJ+lUs5XxqkESoReiGAWhAv7kxD9Shn/x2K03y+MvEQDa0wwgBd0BrnDUp8j1O6cTV +C10LfHzS/eZP5R3Df85onIchY9of6SR7J9atHeyVMoFwzZjVWQtJbpMC+P2ekUtWWQ8uVvW /61hWE9twFxviagxt0qioTRhI8byl7J+yVnzIsxO9C0VVJ3bNqkHpZNqi2XN4p7T8EsTWxrt yg0xbILtJ24cSYK1JgqxxzSZfKDfoWG7BzvSOCcKip2inJifbKwnRey8U64x+34V8m0y09Gr i5fndbXrHwN2QbT586aQfV+5keswTmC2xzJ5u1ZPUw5l7DXJ4M8zrMwjJYfrErOEy3ulEnoj aKaaksp9+215+j7ebrrp5qROJRohg3jN6khhM+yDOE9PwUPWWWQ5P6y26f5/ULjRbVHlv02n bfdsJDdPckWuLK0DRdJ3oo+8hqwDSmo3doBkXkAN11KZgiLj4/0O1HSO//4Cuq/g1Kxnztx3 /DGJLrhAonTIXffjLfhfLF960hGxAo00NBf+5ZUCrYGIPLwQEP+qNvYDhohPwy1xeboFsl92 5sRVG6TGKOVLb/evF2S6u4yPuWBZJUZtCvzJvUn//LuiGU2mV4Zfamnx5sXb3W4E+xjI0SXY HrshMsBHnkQvgclV+PqklqCXiJQZ3avRa4z+is0BJqgDYjYXo+tmqCO3D+nHp1KYWBLEk6AH W/yd4qYQ/cMdD6SIsh5nzMYUrihUpYt2g2qtA/n0LVqNfHU+y0dtZL7ztd5/ezTlRco9Tx1F cuRyW+NT3tskmMSWzA2xLx/oVB6ylqbzad3mflYFdhK6/NNUwc6LoLcwvdhC9HyXwLBZs2GR EynQtWgGzExT8g+z8UAY0ZnSJ2eiUXm3iGqCrIR34OKAoA56OqI2mfwIdpw0V7Mzq4qjERgS cIZZkO8gasq0gnYB4fElw2mlqC2eL5UiCvS9WGfwHCmtltfWw1tF67MCyNMLnDKpMj0sxuRB 4SlDq4qZ1IcoSbjAq5Da9myyE5DWO+mI9PGJWS4h2a3Ax+MgLKKdovjPWsHj23GEEZRtQcV8 D6dMBQmQD+7qjfbEz1oCV/1S0n29uJ9tTWwRxx81BmEOnVozKH94RsJnbqZQvIX0KgDvXIkt DRyAFun99jMDNGDukxqdfYUessztW9OznmRrAlhJtqgIqRl00YZaBhytljy2g9fIaxmyZFvn U9xiQ14JOSfzU9LcC6e0dboILrLJ2Lu/RepLanLxlXZ19XQ8aAKgBghg3PkugzhVk8r8nE8l sJQz2PZ/ZLSSgwbTZP2VE8zsRl8vbDTJCcntcvS0jV3PK+4vyWnuZphDfY5yhumY9ZUMb+VX A70HcoAAsGyKess01G3ZxMANepW+eY6JcSjP/eB3aeqOq5nklfExSxC/4F7zk+W3yBmTeXLw tAOyrDQ3weKUSv9kEb0qtr+yshPYTAfGHb6yDCxWNYXP/UtO99SVCH3eJLko7c2z4TgUHNZ6 lO5UlYP2cvyPAGXc0S4xgpIk0IevX2gnyK8iT1yiTAg6KSFj0msi6zvcgQKPmlTSSxsl1Dpd MKxkNEcQEWyRwIzkxCm+ADxzuIIwcY3Z3mWWkpOcyXseitnTaq2qreYS8RV75grrGNcWa7vK UDfQbn7rRwA1irlFGYL3zE3eQahvZDhlgB7gmaQRJpqhELQYto4hRLW5diHAOVUwiJDXy5gz z/eGlm7OdCtu9SSjZbK9O6kBSqtUZhacC+jyo3l1mPz4HJrBwGyhdi5gNrsEhV82iaz29RxV CrOpQrxecG3j+Ljab0hJxA1QgantIJzAclmn5E1hY0M1HR/5N3d5ncBnWrpcJ1a1a/4cHsRV GsOyt/R7hLi3R4rJXaIyoTlE3SFl5c5IYDiPSVPg397tpsVW8L2pPRekCB4o0S1t1fUaPl5x XIGzOc2rWUdm6cPsRYsySOUBvYTG1NZNGrijUftjZj2oaNJaWKoabX12lB5mIXrCa6DpB1RQ l7zYJApHjI25cw1YzeumDXjr5rpftXdd4dZswKVlQvNlcBfMpU6ledMjiMtairt+HYizeA8l xln25q36ZOGJ2ta96W8GhdENzfxapB2mHmlneNEk82RxYzqAoR5F2BBQs7zVfzxWmFapbH9O g2JCjF5tnqLBe+VA1qE8Ek/yhCHW5GzayPLfD9Il5M6AkHafREXgRhIDmli2MdhSUbygpSmK Rkx5yhNtAOi7EIUkqQwcUG4Czu6xk/gay9oGsHHcFwKsUcaoR+SaJPW7/otTXtRpsTz9VXUe GLHP1waXyZVCinmTxjiJuf8v9CYqrrBX7PsIaeWOufc7rAPH/aQm8D129M/rW/Vb5eBYiE5X a1jghIRDzckQ6G7030OU3JFzSuVNpzC/U7u9HEv9ZK0qKyzClCouNLHCqMMY49mo0nk2P7aZ eDM3H0rJ24AjsFegiKSrdpXlF8UgCVzezT/CqwOuWjVVqXMl6RLDhkdLSRuKM9P6KF61Q5Ic YvSjte/vlJhpsY8EEwNFVnom8XyINcPP3n4L1TfQkCCKLWBIzTPhcDxe6K1D7NK3q1YsBi5u DDTFEGGXHzLjz7ySxWmKv1BlgmwFToG4cSMTk0oDmLuCtX7dhe8Ldl7yyUsxqE5jW/LMmhaN iVgd0RKrfub6iY94L03F2Fa73VjJPWJgG7Ft6+BcslQ6KI2RH0vyKpT+zwixqFQ7T1YSfA9g ybUotN04hmnnuSJ1jt7QU9OpzJM1+fp9Q1pPaTU8IUFWG6RoEpLtD3PTU1T+p08UYK83sIYg sLCn6/yNjpYptfd/M9HQtPRNNrCK305dxzgBD/TCgIBCz+tL2DWwUJHw5TwvjWYqIY3rp/0l d8AULheARYwCfIcFkl/NNYYJ5x0Q3UvmPTI6axArWr7txTXSMhA69rfUemOBPz0NDuDpZJtQ UNRhILEdsEUPIC93FF+YF5nmoiMA1DXQd1GvixmaEkzvVlJ9399CGY03gi2D2HlqG9WHvmyk BksjwJ4aul47zbg7WA8IV/SrTcxmk08yp31xCqceznrIOKsTJlbXmDq4lMpPMqxEGMXJUWi2 FZpPzDeS/dNgqt8ICp13RTEt8IHGOYAH/EcJk5Kg6nRP7JxjBxdsnn1mRcBvLOaT8MkzExzL /vO5zpBw14xMYRzfPSIYvIPlh8J2uqPpnP6j7hthlNBYR5LqCTLJ2YJoBJabLB+fnjxp7U+5 1Daw2kRPzRcMphi6vNyqBFnMrzZnXu5iuxNdhjqZb7Yc/LRunCex5SBGgpijxpRxUcZpeMkg Z97KxjGEB13qdnZXxURa5iYIFkMPZMLrSrdIX7V4+6VmconbcLgT6jpVbHc7q9M2xD9RV97E dhUtZYPRsH0ghOfcJ2CTvZNyBMm4BnnKQeeFPpFPgqRlysKqN2+y5kx2pRBIjYaAiN2NiD/o 7/TokVCaB+rVs0xaXQHGIANZCpesCySsAd/5y0FPQXsl+UTxU6F8iP2oTnWAH/kdd1/afyIZ BRqTtar5TE49KvwglnSoMy2z47SP85lsdzSr+gT9c/vNg==
  • Ironport-sdr: 639cc100_Mr0wYGXbm+NTGaIEB9KcfEi3CuYjWNyx6bNjIiyiM0D9KHk v3U+1q4SoSPIjClCqNQBQNN3N2xXno3EGRafaGA==

(Apologies for multiple posting)

 

CALL FOR SHORT CONTRIBUTIONS / POSTERS

 

                     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/

 

Additionally to the standard CfP, RAMiCS is also calling for short

contributions and posters.  We are hence calling for presentations of

original, unfinished, already published, or otherwise interesting work

within the topics of the RAMiCS conferences.  The submission can be in

the form of a poster, an abstract, a paper submitted to or published

at another conference, etc.  Short contributions will *not* be

published in the conference proceedings.

 

IMPORTANT DATES:

 

   Submission:          January 27, 2023

   Notification:        February 03, 2023

   RAMiCS 2023:         April 03-06, 2023

 

 

INVITED SPEAKERS:

 

   Alexander Knapp, Augsburg University, Germany

   John Stell, University of Leeds, UK

   Valeria Vignudelli, CNRS/ENS Lyon, France

 

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.

 

TOPICS:

 

We invite short submissions in the general fields of algebras relevant

to computer science and applications of such algebras. Topics include

but are not limited to:

 

* Theory

   - algebras such as semigroups, residuated lattices, semirings,

     Kleene algebras, relation algebras and quantales

   - their connections with program logics and other logics

   - their use in the theories of automata, concurrency, formal languages,

     games, networks and programming languages

   - the development of algebraic, algorithmic, category-theoretic,

     coalgebraic and proof-theoretic methods for these theories

   - their formalisation with theorem provers

 

* Applications

   - tools and techniques for program correctness, specification and

     verification

   - quantitative and qualitative models and semantics of computing

     systems and processes

   - algorithm design, automated reasoning, network protocol analysis,

     social choice, optimisation and control

   - industrial applications

 

  SUBMISSION INSTRUCTIONS:

 

Please send your short submission as a single pdf file to

 

   ramics2023 AT easychair.org

 

by January 27, 2023.

 

ORGANIZERS:

 

Roland Glück, Deutsches Zentrum für Luft- und Raumfahrt, Germany

Luigi Santocanale, LIS, Aix-Marseille University, France

Michael Winter, Brock University, Canada



  • [Coq-Club] RAMiCS 2023 - Call for short contributions / posters, Michael Winter, 12/16/2022

Archive powered by MHonArc 2.6.19+.

Top of Page