Skip to Content.
Sympa Menu

coq-club - [Coq-Club] RAMiCS 2023 - Third call for papers

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] RAMiCS 2023 - Third call for papers


Chronological Thread 
  • From: Michael Winter <mwinter AT brocku.ca>
  • To: Michael Winter <mwinter AT brocku.ca>
  • Subject: [Coq-Club] RAMiCS 2023 - Third call for papers
  • Date: Fri, 9 Sep 2022 13:05:23 +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=5Rb50cFAv4aVqdsYSvJ/48LtkF6Yknb66/rw1GYgjW0=; b=dNl2LfbeQfmrHu+iD1d4fWCQENTQJb7CswzSavjlis133bjkbCc/OGuGPZvee5DK/fxD2+HovFzm421ALX9zqWTlHKYhHH3IMjILhGcfpdYPQbEdtg67DzP0jTsjaEIvKY62ETjKCqna9IO0qjAwngt020Ju3jcJAAyCcRlEL3rsyFVp8wQdBXqdOALpO1OFqtmq+2h68wT/Ae4auUpie4NY4u712FRzIEqJK5ETmm7COYiHJZBzYR8xhHV4nagDwo0Qe7UuJtVpR0D/TFwCcxXtNHNvN/NupUbxYxniSTI0KRen8wk3aUieRwuj32SqI8Xo7yRlcPy+do/D7S/ytQ==
  • Arc-seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=mOPSshm1C120bUSku5bNW21JtQhuBKJT0xgw28eqpVzxTjimNbT+dm14pM5cjW+oDFSdqdmCQ51X79dfjlYi7FLOowmiVa+2m3vi1XxwsYsVTrWmt2T7XyCi2XQ7yo6FQ3zJokly4PcgNVzLxpWDyxMevVUI3UnMP6548dNkc3vlkCV8EkgdBGJ9sXn0L9gvaAulOHDUv7y9uXvSbculj3AmH9a8Gk+vNbeKCsJG2my7/XJXzy0d+YKSksMyMiTcDQ8+s3c6TW1MjW+MTYaUxFkcOxf2COPLTwdU6eeA4yM/s6nBusVAERXOvnb31879Bai4Lq7LGD9EihHXFvChuA==
  • 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-YQB-obe.outbound.protection.outlook.com
  • Ironport-data: A9a23:BN2/jaN9YlUirKjvrR3GksFynXyQoLVcMsEvi/4bfWQNrUpxhmQOz TAaUDrUM//cajGncth/PIjlp0oPvpSAnIc1T3M5pCpnJ55ogZqcVI7Bdi8cHAvLc5adFBo/h yk6QoOdRCzhZiaE/n9BCpC48T8kk/vgqoPUUIYoAAgoLeNfYHpn2EkLd9IR2NYy24DoW1LV4 7senuWGULOb824sWo4rw/nbwP9flKyaVOQw4zTSzdgS1LPvvyF94KA3fcldHFOkKmVgJdNWc s6YpF2PEsw1yD92Yj+tuu6TnkTn2dc+NyDW4pZdc/DKbhSvOkXe345jXMfwZ3u7hB27otp27 tkcsqWoYjUDApPtpdo0AjhxRnQW0a1uoNcrIFCUmOrLlgj3SlGpxP9jSkYrIYcf5+B7R3lU8 uAVIywMaRbFgP+qxLW8Sa9ngcFLwMvDYNtZ4yk/i2iAU7B/G8yrr6bivbe02B81mcFIAfvET 8ADbjFscVLLanWjP39NU8lmx7zw2BETdRVdkHybjodr81GI8wpfz7rQGvryY9GjEJA9ckGw/ TudpDygWHn2Lue3wj2ct3mom+XnhjL+QItUFbui9/csjkf77mcaDRlTUVqgvdGim0umUpReL VYV82wgt8APGFeDS9D8W1ipuXSPtxhEAt1WSbRgtEeK17be5BufCi4cVDldZdc6tcgwAzs3y luOmNCvDjtq2FGIdZ6D3oWppzSUNXkSFHcpVwU4cyo43fCygahm23ojUe1fOKKyi9T0HxT5z DaLsDUyit0vYSgjh/XTEbfv02LEm3TZcuImzlmJATP5vmuVcKbgONXytQeDhRpVBNzBJmRtq kTojOC1xYji57m0iYdMSugGdF1Cz9ncC1UwbbOjdqTNGhyo8n+nOJFJ6jp3Ih8wNcBeIGW1J kjOpQlW+ZlfemOwarN6aJ6wDMJsyrX8EdPiVbbfad8mjnlNmO2vongGia24hjyFfK0QfUcXZ cjznSGEUShyNEif5GDqL9rxKJdyrszE+UvdRIrg0zOs2qeEaXieRN8taQXQNL5ntfPf/1uEo r6z0vdmLT0PAYUShQGHoeYuwawidyBT6W3e8JMNK7/ZfFYO9J8JUqSPnut8E2Cao0ilvryRp SrlAxUwJKvXgHzMMwKRbX5/ILr9QIxyxU/XzgR9VWtEL0MLON71hI9GL8VfVeB+qIRLk6QoJ 9FbIJ/oKqoUFVz6F8E1NsSVQHpKL0jw2mpj/kONPFACQnKXb1eRo4O4JlK1rXNm4+jenZJWn oBMHzjzGfIrLzmOxu6MAB5251/u73UbhsxoWE7EfotadEn2odpgMSv6jeJxKMhVcUfPwT6T1 gC3BxYEpLiS+t5loYeS1a3U/Z20F+ZeH1ZBGzWJ57iBMySHrHGoxpVNUbrVcD2EDDH09ayua P971fb5NPFbzl9Gv5AtQbxxyqk9+p3kruYCnAhjGXzKaXWtC69hcybfjJke6PYdy+YA6wWsW 0+J9t1LApmzOZvoQAwLOQ4oTuWfzvVIyDPc2vI4fRfh7yht8bvbDEhfMkXeiCFZK7cpYoopz f195Zw9wirn018bC/zDiSpZsWORMnYHTqMr8IkAB5PmgRYqzVcEZoHADijx49eEbNAVahsmJ TqdhazjgbVAxxWdLCNjTySVhecN144TvB1qzUMZIwvbl9fAgMgx1kID/DkySDNT0Rgagfl4P XJmNhEuKKjSrS1kgtNPAzKlFw1bWUTL/0Xwzx4YjWfSRk/wD2vLdjRnZaCK4VwT9H9acn5D5 raExW35UDHsOsbswi81Xk0joPvmFIQj+grHkcGhPsKEA5hlPmW80vXyPTIF+0n9HMc8pEzbv u01rut9bKvMMyRP8aA2Do+t06sdFUKfL2tYTPA9p64EEAkwot1pNeRi9qxwRi9MGxAO2WSRL ZQ3Y/N2fVG53ivIqS0HD6kRJbMyhOQu+NcJZrLsIygBrqebqT1q9pnX80ASQUc1Fs52n59Vx pz5Llq//q643BO4WFMhaOFOIG2zYsRCbwSUMCWd7rASD5xa2A1zWRha71Z31kl59CNt5RWfv x6FbKa+IymOD2hzt9OEL5ivzDlY5T8+uCpkPexzXxlzgQvzDPrz
  • Ironport-hdrordr: A9a23:gRh/7qO34Jxa4sBcTu+jsMiBIKoaSvp037BN7S9MoH1uHvBw8v rEoB1173HJYUkqKRQdcLy7WJVoOEmskaKduLNhWotKPzOKhILLFvAZ0WKK+VSJcREWkNQttp uIGJIOauEYY2IasS8q2njBLz5vqOP3i5xByY/lvg5QpU4DUdAH0ztE
  • Ironport-phdr: A9a23:Hc0MYheE1Vrc8M6URgfRrw26lGM+FNbLVj580XLHo4xHfqnrxZn+J kuXvawr0AWSG96DtrkZ2qL/iOPJYSQ4+5GPsXQPItRndiQuroEopTEmG9OPEkbhLfTnPGQQF cVGU0J5rTngaRAGUMnxaEfPrXKs8DUcBgvwNRZvJuTyB4Xek9m72/q99pHNbQhEnjSwba9yI Rm5rQjcstQdjJd/JKo21hbHuGZDdf5MxWNvK1KTnhL86dm18ZV+7SleuO8v+tBZX6nicKs2U bJXDDI9M2Ao/8LrrgXMTRGO5nQHTGoblAdDDhXf4xH7WpfxtTb6tvZ41SKHM8D6Uaw4VDK/5 KhsVBLlhjsLOyMg/G3Ll8B7kaZXrA+hqhB6xYPffYObO+dkfq7Ffd0UW3dPXtpfWSJCHoyzY JACAPAdMepEtYTxu0cCoQa4CAKxBO3v0DhIhnru0KM90uQuDQHG0xY+ENIKrX/brNT1NKEOU e+r1qnD0DLOb/ZY2Df87ojIbg4uoeuXUL1ra8rRzlUgFwDYjlmKtYPqJSqY2+IQuGeU8+RuT /igi3I7qw5vuDivwN8hhpTUi48JxF3K9SF0zYgrKNO2R0B2YtqpHZhfuSyGKoZ6XN8vTmVpt Ss7yrAKp522cTUExZkn2RLSZOCLfpaW7x/lSe2fLzB4hHd/d7K+gRa/6UygyuznVsWt1FZFt DFKnsPCtnAXzxDc9NKISuB9/0i92TaAzQHT6vteLUAzj6rbJIYtwqUolpoJsETDGCD2l1vsj KOMa0or5O6l4PnkbLX+vpKROJN4hhvjPqgymMGzG/k0PhUPUmSB5OiwyrLu8VXnTLhLkvE7n KzUvI3GKcsAp6O0BhRa3po+5xu6ETir09EVkHwGIV9DZRmJlZLmO0vUL/D9Ffq/g0qjkDNsx /3eILDsHo3DImTenLv4f7lz8FNRxBM0zd9E+Z1YELYBIO/vWkDqs9zYExk5PBGuz+b/EtV90 Z8eVnyTDa+FMaPStlmI6vgoI+mReI8VvDH9K/8m5/L0kXA5nlodcbGo3ZsRdn+4AuxrLkqFb Xb2n9sNDWUHshAjQOD3iVCOSyNfa2i9Uq4k4zE0EoOmDYPNRoC3h7yB2T+2HphYZ2BHDFCMD Wnnd5+fVvgXciKSJdNukj8ZVbS7V4AuzwmitAnhxLV/NOrb5jUYtY7/1Nhy/+Dfiwk+9SZoA MSFz2GNU2Z0k3sUSD8xxaBzuFByylOe0adjmPFYDtxS5/ZRUgggL5Lczup6C8rzWg3bZNuJR kymTs28AT4tVtIx38MOY0FlFtq+lB/D2i6qD6YRl7yKH5w07rnR32PxJsZ403bJzrMtj1ggQ stVNG2pnLRz9wbJB92Br0LMsqehda0R2Gby9WGfwHDG6ERHUQhsXL/tV2oYbUjL69/wsBDsV birXJEmOQtIxMrKFapMdtDzxQFDW/blJNnES2irnGyzGFCDz+XfP8LRZ2wB0XCFWwA/mAcJ8 CPfaGDWZw+kqmPaV3l1EE73Jljr6a94oW+6SUk9y0eLaVdg3vy74E1dnuSSHtUU2L9MoyI9s 3NsBl/o2s3XDcaNvSJrZqJXYs57614UnXnBuVlFN4e7Z7tnmkZYdg12u0300BAiD5pBl9Qnt lsg1g15Kr/e21oSPyiA08XIM6bMYnL34Ajpa6PS3QTG182K/64U9Pkig37KmlnwU3sb2TBg2 dQT1GaA7JLXCgZUSYj2Tks86xl9offdfzU54ITXk3ZrNMFYqxfk3NQkTKsgwxekJJJENb+cU RT1C4scDtSvL+ojnx6oaAgFNaZc7vx8OcTubPaA1KOxWYQo1Du7kWRK5px82UOQ5mJ9TODPx ZMM3/Cf2EOOST79iF6rts2/l5pDYHkeGW+2yC6sA4A0BOU6eJkKD3ujOeW93NJ1hIOrUHcZv F+vClUa2dO4LAKIZg+11glR2EIL5H2/zHfgiWUszHdw9/TZhXaSkIGAPFIdN2VGRXdvlwLpK Imw1JUBWVSwKhMujF2j7Fr7wK5SoOJ+KXPSSAFGZXuTTSkqX62uu76Fe8MK5okvtHAdVfu9Z 0yXUJb3uRwR0D6lFGIUl1VZP3m6/470mRB3kjfXKWlyqmbUY+l63xDU58GaTvcbjXIWASJ/j zfQHF21OdKkqM6Vm5n0uee7T2u9V5dXfEEH1Ku4vTCgrS1vCBy7xLWon8H/VBM9yWn93sVrU iPBqFD9ZJPq3uK0K7Avck5tDV76o810f+M22o4vhZcM1GIyjI+S9nka12z6edlWwqPxanMRS CVDn4aTuVC6nhQ6cDTQnd6xX27V2sZ7Ytimfm4av0B1p9tHDquZ9v0MnCd4pEa5sROEZPF8m jkHzv59oHUeguwPpE8s1nDBWvZLRRYeZHWy0U3Ss4Pbzu0ffmukfLmu2VArmNmgCOrHuQRAQ DPifY9kGyZs78J5OVaK0Xvp64iidsODCLBb/hCSjRrEiPBYbZwrkf9fzy94OGThsGcNwfQ8h h9zm5qz9tviSS0l7OeiDxhUOyegLcYM+zfxgLx2lNyR1IOyWJ5oUGZDTN7jSvSmFygXvPLsO lOVETEynXycHKLWAQ6V7Eo1yhCHW4DuLXycI2MViMlzXBTIblIKmxgaBX9p1o58DA2hw9btN Vt09ixErECtsQNCk4cKf1H+SjuN+F/uO21yEN7Ha0MLpgBauxWJaYrHtr01R2cAucT/5A2Vd j7GPUIRVTlPAgrcQAm/W9vmrdjYr7rBXrb4c6SIOfPW7rUBH/aQm8D129M/rW/Vb5eBYiE6X a98hhomPzgxGtyHyW8GE3VFznuUPcDH/EzuqGor/4i+6Kq5Agu3vNnWUuIAP4k3oELm2f/bZ bzX2X4cS34Q14tSlyXBkOFNhQdL2S8yL2L/GuxY7XyfC/+J0q5PUUxBYnsqZpIRtvAyglEWa 8CD0ounhPkl1JtXQx9EU1flh82kN9cSLW37LEnAGEuAKLWBI3vM3t3zZqS/D7ZXia0Rvhm08 153CmfbNy+Y33nsXhGraqRXiT2DeQdZoMe7ewpsDm7qSJTnbAe6OZl5l29+zboxj3LMfWkSV Fo0O1tKtaGV5DhEj+9XMEVntiMgHNCu3iGT4q/fN4octuZtDmJsjeVG7X8myrxTqiZZWPhyn yiUpdlrxjPu2uWC0TtoVhNSpy0D2NrN5B09f/yAqN8ZAyqM9QlF9WiKDhUWu9ZpQsbivaxd0 JmHla7+LitD78OB/cYYAJuxSorPO34gPBz1XT/MWVddC2fzaieG3hIbyavOpRj35tAgp5Phm YQDUOpeXV0xTbYBD1h9WccFONFxVy8llriSiIgJ42C/pV/fXpY/3NiPW/SMDPHoMDvcg6NDY k5CxKz5K5geLKXxwUtpaUQ8l42ASC+yFZhd5zZsaAM5uhAH6H9lUmg6wF7ocCuGyVlLTLuFp zRzjQFzJ+Mw6D3r/lE7YELQozc9m1UwntOjhi2NdDn2L+G7WoQcWE+W/wAhd5j8RQhydwi7m 0dpYSzFS7xmhLxlbWl3iQXYtMgHCbtGQKZDehNV2eCPaqBizwFHsiv+jxwih6ONGd54mQAta 5Lps39Qx1cpcosuPaKJbKtRkgoM3uTf5GnwkLh2mVJWJl5Roj/KPndQ5wpQcOFhfnTNnKQk6 BTeyWYZPjFUD7xy5Kotrx91OvzcnXu4j/gfdQbpcbTYdvzRunCex5SBGgpijxpRxUcZpeAkg 4B/Iy/2Hwgu1OXDTR1RbJibcFgHYZYKryqBOnrf+eTVn8AvNt3kRLmxFL2A6P5P0BL8RF57T cNRtqFjVtGtyB+Kd86/dexckEx/6lizfweOVKwRKkDMzW5PotnhnsV+hdAPf2hEU2shaX7l6 O6P/l14x6fZObV+KnYcVY8ZOn9kQ9W0l2hBpXNcATKr0+Ufjg+f8zv7oSeWBz75J59qYPPeD fuDINus/j487u69gAyOmn0/D0rTE4w7/+72w6YdrZvBDO5IR75gtUuag5NfW3GhT2/IF5iyO oT0bI4vK9fzDyTjOrRaozgvSMzyIZCmJ/rQ6Tw=
  • Ironport-sdr: anHzxW5ICHq3cX+3DUc2DHNZnb6Xct4d5DTcjK7WAGWjALTVOxtc9mcxliOeTHER9H0HxR5AAp fQYwprfnTNlfrNNUe2Gw7nCtgrrFF/KSPi44d12Q0Yly3nGnD+cApwoF1zWUsdTV31X2qj4HF0 AjaheAEreoT8S325KLmndYVyJFNIWCvzX6PgCjvW6aFuFfG3yeetskFQYgLGrnQYbCbc9QSRzv QT0KNcqhGm7iSutxjh6OG4eM1lguK64seCUHRmz0xEuvYmVB2RHPM05lHpb0iYD6mbd9iylbvR 3QmQjpchXUrGECN23ZbOqv0/

(Apologies for multiple posting)

 

THIRD AND LAST CALL FOR PAPERS

 

 

                     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:

 

    Abstract Submission:    September 23, 2022

    Paper Submission:       September 30, 2022

    Author Notification:    December 09, 2022

    Final Version:          January 06, 2023

    RAMiCS 2023:            April 03-06, 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. Depending on the Covid-19 situation, it will take the form of a physical conference, a virtual conference, or a hybrid between the two.

 

 

 

TOPICS:

 

We invite 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

 

 

INVITED SPEAKERS

    Alexander Knapp, Augsburg University, Germany

    John Stell, University of Leeds, UK

    Valeria Vignudelli, CNRS/ENS Lyon, France

 

 

 

SUBMISSION INSTRUCTIONS:

 

Submission is via EasyChair at

 

   https://www.easychair.org/conferences/?conf=ramics2023

 

All papers will be peer-reviewed by at least three referees. The proceedings will be published in an LNCS volume by Springer, ready at the conference. Submissions must not be published or under review for publication elsewhere. Submissions must be in English using a PDF not exceeding 16 pages in LNCS style. Submissions must provide sufficient information to judge their merits. Additional material may be provided in a clearly marked appendix or by a reference to a manuscript on a web site. Experimental data, software or mathematical components for theorem provers must be available in sufficient detail for referees. Deviation from these requirements may lead to rejection.

 

One author of each accepted paper is expected to present the paper at the conference. Accepted papers must be produced with LaTeX. Formatting instructions and LNCS style files are available at http://www.springer.de/comp/lncs/authors.html

 

As for earlier RAMiCS conferences, we intend to publish a journal special issue with revised and extended versions of a selection of the best papers.

 

COMMITTEES:

 

   Organising Committee

   --------------------

 

   Conf. & PC Co-Chair: Roland Glück, Deutsches Zentrum für Luft- und Raumfahrt, Germany

   Conf. & PC Co-Chair: Luigi Santocanale, LIS, Aix-Marseille University, France

   Conf. & PC Co-Chair: Michael Winter, Brock University, Canada

 

 

   Programme Committee

   -------------------

 

    Adriana Balan, University Politechnic of Bucharest, Romania

    Manuel Bodirsky, Technical University Dresden, Germany

    Paul Brunet, Paris-East Créteil University, France

    Miguel Couceiro, Loria, Nancy, France

    Manfred Droste, Leipzig University, Germany

    Uli Fahrenberg, Epita, France

    Hitoshi Furusawa, Kagoshima University, Japan

    Wesley Fussner, University of Bern, Switzerland

    Silvio Ghilardi, University of Milan, Italy

    Roland Glueck, German Aerospace Center, Augsburg, Germany

    Walter Guttmann, University of Canterbury, New Zealand

    Robin Hirsch, University College London, UK

    Peter Höfner, Australian National University, Canberra, Australia

    Marcel Jackson, La Trobe University, Melbourne, Australia

    Ali Jaoua, Qatar University, Qatar

    Peter Jipsen, Chapman University, Orange, USA

    Sebastian Joosten, Dartmouth College, Hanover, USA

    Barbara König, University of Duisburg/Essen, Germany

    Wendy MacCaull, St. Francis Xavier University, Antigonish, Canada

    Roger Maddux, Iowa State University, Ames, USA

    Nelma Moreira, University of Porto, Portugal

    Martin Mueller, University of Applied Sciences, Bonn-Rhein-Sieg, Germany

    Damien Pous, CNRS, ENS Lyon, France

    Luigi Santocanale, Aix-Marseille University, France

    Ana Sokolova, University of Salzburg, Austria

    Sara Ugolini, Artificial Intelligence Research Institute of the CSIC, Spain

    Michael Winter, Brock University, St. Catharines, Canada

    Sam van Gool, University Paris, France

 



  • [Coq-Club] RAMiCS 2023 - Third call for papers, Michael Winter, 09/09/2022

Archive powered by MHonArc 2.6.19+.

Top of Page