coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] The 18th International Conference on Reachability Problems - RP 2024

From: geoff AT cs.miami.edu
To: <coq-club AT inria.fr>
Subject: [Coq-Club] The 18th International Conference on Reachability Problems - RP 2024
Date: Mon, 22 Apr 2024 13:42:21 -0400 (EDT)
Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=geoff AT cs.miami.edu; spf=SoftFail smtp.mailfrom=geoff AT cs.miami.edu; spf=None smtp.helo=postmaster AT armistead.ccs.miami.edu
Ironport-data: A9a23:TsUCB6zlk+OYQInuSaN6t+cIwirEfRIJ4+MujC+fZmUNrF6WrkVRz WoWCjyCOPuMamPzeoonbYjlo09VsMDWm95hQQM+/lhgHilAwSbnLYTAfx2oZ0t+DeWaERk5t 51GAjXkBJppJpMJjk71atANlVEliefSAOCU5NfsYkhZXRVjRDoqlSVtkus4hp8AqdWiCmthg /uryyHkEAHjg2Ec3l48sfrZ9Esz5q6q4lv0g3RnDRx1lA+G/5UqJMlHTU2BByOQapVZGOe8W 9HCwNmRlo8O10pF5nuNy94XQ2VSKlLgFVDmZkl+B8BOtiN/Shkaic7XAhazhXB/0F1ll/gpo DlEWAfZpQ0BZsUgk8xFO/VU/r0X0QSrN9YrLFDm2fF/wXEqfFP93fNSHhBtPbEp5+trLX8S2 aY3JgIkO0Xra+KemNpXS8FlnMEiN9XmNY9ZsXp7izTYBPMnB53PXs0m5/cBjW123ZkITaeYO aL1ahI3BPjESxJCPVkZIJkl2uKpj3z+NTBUtTp5oIJnvjSPkVQridABNvKPeuGQZ9xVu3rFg TjB72TgWBowONmmnG/tHnWE2raVw3+lMG4IL5Wz8ecvi1mOzEQIGRgOXB26p+O4gwiwQbpix 1c88zArrLMu+UWnCNLmGRi5qXuF+BMQRrK8DtHW9imc1Kzo8VfCBlQ1UzNdRMJ6mJUZSw4Dg wrhc8zSORRjt7icSHS4/7iSrC+vNSV9EYPkTXRVJefiy4KyyLzfni7yosBf/LlZZ+AZ9Bn52 TWLtzQzjrlVhtVN0qSy+FGBjj6xznQocuLXzlmINo5GxlklDGJAW2BPwQODhcus1K7DEjG8U IEswqBzLIkmVPlhbhClTuQXB62O7P2YKjDailMHN8B+rm/yoCH6LdABv2gWyKJV3iAsIm6Bj Kj74lM52XOvFCHCgVJfPN7uVp5CIVbITI+9PhwrUja+SsQoLlHbokmClGaN2WHznVI3kL0uc ZCVOcOtBHMbYZmLPxLqL9rwENYDmEgD+I8kbcmnkUj4juvFNCD9pHVsGALmU93VJZis+G39m +uz/ePTo/mGeLyhMnvk4sQIIEoULHM2I5nzpoYFPqSAOwdqUiVpQfPY3bprKcQvkrV3h9X42 Ci3enZZ717j2lzBCwGBMU54ZJ3VAJ1QkHMcPA4XB2iO5UQNW4iUwZ0kR8MFRoV/rO1H5txof sYBYPSFU6huSCyY2jEzbqvdjY1FdTapjhPTIyOaTiQ2RMNkdSz0+/vPXAjmxA8RBAWZ6Oo8p LyB0FvAYJwhHg5NMuffWMiN/XiQ40cPubhXcRPTA99xfE7MztBbGxbphKVqH/BWeATx+DSK8 i23XzEanLDpiK0o+oDrgaukkd+YI9FmFBAHI1iBvKeEDgiEzG+N2oQabf2pewraX2bK+KmPQ +VZ4vX/Ef8flmZxrItOPOd3/J06+ufQiedW/iZ8EFXPSmabOLdqD32F/MtI74lm5LtSvymoU UOupPheH5i0O/3eLV1AHzp9M9y/1swVlALCstUzAkHxvxFs8JS9DE59AhiriQ5mFoVTDr8L+ +kbhZMp21SNsSZyateipQJIxluINU0FAvkGtIlFIYrFiTgL61BlYL7eAT6r/JiwRclFCRQuE B+phY7ppbdV9mzdeVUdSFnP2ut8g8wVmRZolVUtGXWAquDntNQWgiJD0G4SYFxO7xNl1+lTB DBaB3dtL//TwwYy1dlxYW+8PipgWjubwxXV4HkUnjT7S0KIaDT8HFclM7zQwHFDonNuRRkFz rS2022/bC3Levv21S4MWUJIjfzvYNhy1w/akvCcAMW3MMgmUAXhn5ORSzIEmzn/DeM1oX/3l +1g0eJzSK/8bAo7gakwDauE3rUxFjGAAkF/Qs9awaBYJlGEJQmO2gWPJXuhJeJLBfjBqnGjB +JUe8lgahWZ1QS1lA49O5IiGbFPscAM2MsjYZLufG4PjKuepGFmsbXW7SnPu1UoSNRPz+c4B JLbSDaQHkOuhUl/xm389+xZMFW8YdM7ZxDO49rs0eQWFqAstPNnXlEy34CV4VSUElpD1DCFs DzTY5T5y7RZ9r1tuI/3A4NBLQmQAvHiZtSiqQycnYxHUoLSDJ3oqQgQlGjCAy1XGrkgA/JMi rWHtY/M7nPv5boZfTjQpMicKvNv+863YetwN/D3Jll8mQ+pepflwzkHylCCBa15qvFvzej5e FLgc+q1T8AfZPlFzn4MayR+LQcUO56qUoje/xGCv9a+ITlD9zfYLeGX127jNkBaUS4qB6fQK CHJv9SW29QJi7gUWTElAahqDaYtdRWnEeEjesbqvDaVMniwjxnQ8vH+nB4n8nfQBmPCDM/+5 onfSwPjcAip/pvF18xdr5c4qyh/4KyRWgXsVhl1Fx9KZzGG4KouJP4YMI4aB5hY1Cf5z9f9Z TjIbS0vBTiVsfGot/njyIyLY+tdLrVm1hTFyvgB9FjSbia/AYLGDbd8nsuly2kjYSPtlYlLN vlFkkAd/XGNLlVBTv1V4/2yhOYhy//Hrp7NFYYRjOSqaysj7X42OLCN0eaDueEr0y0AqakTG VUIeA==
Ironport-hdrordr: A9a23:Ml8W16vGBtjaRNxnv3+hvtCF7skDHNV00zEX/kB9WHVpm6Oj+f xG8M576faLslkssRgb8LjqBEDqexnhHPBOjLX5RY3PYDXb
Ironport-phdr: A9a23:rW/R9h1Vn0SW1NXasmDOew8yDhhOgF0UFjAc5pdvsb9SaKPrp82kY BaOo6w93RSQBNmTwskHotSVmpijY1BI2YyGvnEGfc4EfD4+ouJSoTYdBtWYA1bwNv/gYn9yN s1DUFh44yPzahANS47xaFLIv3K98yMZFAnhOgppPOT1HZPZg9iq2+yo9JDffQFFiCCgbb5xK Bi6ohjdutQZjIB/Nqs/1xzFr2dHdOhR2W5mP1WfkQri6Myt5pBj6SNQu/wg985ET6r3erkzQ KJbAjo7LW07/dXnuhbfQwSB4HscSXgWnQFTAwfZ9hH6X4z+vTX8u+FgxSSVJ8z2TbQzWTS/8 6dmTQLjhSkbOzIl9mzcl8p9h79Zrh28vRxy25Pabp+SOvR9cK3TfcgXSXZdUspNSyBMGJ+wY 5cJAuEcPehYtY79p14WoBuxGwasA+3vyjFTi3Dqxq02yeEhEQDc0wwlHtICqmrbo8joNKoUT Ou6w7XGwy/ZYPNKxTfy9pLIchY5rPyRXL99c8XcxEohGg7YgFuep4/oMjGb2OkJvWaW7PZtW OGyhmMkqQx/rCajyMkshITNmo4bxF7K+TllzYg6J9C1TlNwb9CjEJtVrS6aNo12T9s8TG5yo yY7yqEJuZ6hcygL0pQr3Rnfa+aIc4WO/xntV/6RLC9liH9hZr6znRi//VW6xuD/UsS4yldHo yxYmdTSsnANygfT6tSZRftn40mh2DeO2B7L5+1ZIE05k7fQJYQ7zb4qjJUTtFzOHi/ol0Xyi 6+bbl8r+vKt6+TmebXmuoGTOJVphQ3kLqshhte/Df49MggPRWeb/OW82Kf98kLkXbVGlvw2k q/Hv5DGPckXu6q0DxFP3ost9hqzFTSr3dACkXQGNF5FfQiIj4ntO1HAOvD4CvK/jkyjkDh1w PDGMLPhD47RIXjYirvheLd95FRZyAoy19xQ+Y9bCqwZLPL1QUD+rMbYAQMhMwyo3+bnD81w2 p4GVWKVHqCZKL/SsUOP5u83P+aMY5YVtC/hJPgh+v7hlmQ0mUQdfKmsxZsYcmq0HvVgI0WDY HrjmM0NEWkQvll2cOu/3FaFSHtYY2u4d6M6/DAyToy8W9TtXIeo1bOM2ym1NpZNIGVHA1WNV 3rkatbXE8wQYT6fd5cy2gcPUqKsHtdJPXCGsQb7z+EiNe/I4mgDsoql0tFp5urVnBV09DpuD s3b3XveB3pskDYuQDk7lLt6vVQ70k2KhKd1hPJWPddIofZIWwI7c5PQ0r8yEMj8DznGcMunQ VeiCs6jHSl3S9swx9EUZEMoFNilgB7r1DHsBr4ckr3NCZApoerHx3akAcF7xj7d0bU5yVkrR swaLWq9mqt27BTeHabAiUCYjLqnfKha1yXWsmKCxG+P+kxUTWacSI3jWnYSLgvTpNX9vQbZS qO2TK8gKk1HwNKDLa1Dbpvoi09HTbHtIoaWZWX5gGq2CRuSo9HEJIP3Z2UQ2jncA0kYgkgS+ 3iBLw03GiampSrXEjVvEVvlZ06k//N5rTu3SUo9zgfCaEMEtfL99RMSi/K0QOhV27MNvSZnp jlpXR6809/QF9uctl95ZqwPKdg54VpBySfYr1kkb8bmdPkk1g9YLVcS3QumzRh8B4RenNJ/q XoryFE3MqeEyBZacCve25nsO7rRI220/Ra1aqeQ1EuNtbTesqoJ9vk8rE3u+Q+zEU93uXpq1 Ndb+3CHoJDLBQ8TF5/9Twxkknoy76GfeSQ7647OgDdjPK66vBfJwJQsBeIgy1Ctc8oVY+uUU QT1FcMdHc2nLucnzkOoYhwzN+dX7KcoPsmiepNqwYaQO+h8sjuniSwH5Yl81hnJ7C9gUqvT2 I5DxfiE3wyBXjO6jVG7s8mxl5oWLT0VG2O+z02GTMZWaOV9cIEFB0+lOIuyx9x7htjgV2MQ9 UXrBlUN3M6vdBbac1u12wpMnUgaun2onyKkwlkW23lw//DZh3WIk7WkKlIOISZTSXNnjEvwL IT8lN0cUEWyLkAomBaj+Ufm1v1eraV7IXPURBQtHWC+JGVjX62s87uaNpcestVz6GMHAaLiM jX4AvbnrhAX0j3uBT5bzTE/LHSxv4nh2gd9kCSbJWpyq3zQfYdxww3e7ZrSX600vHJOSS9mh D3QHlX5McOu+IDemJrEvO6WXHnnU5xadCitwI+d/njehyUiEVikkva/l8eyWwc31iH1/9JxE yDJpRP9JITnyu7pefIidU5uCljm7sN8EYwriYo8iqYb3n0Cj4mU934KwgKReZ1LnLjzZ30XS XsX0sbYtUL7jVZ7ICvDlMrpE2+Qycx7a5ymb3MKj2gjuttSBv7xjvQMnDMp8APp90SKOL4tz 3FEk7Mv8CJI2rtY/lNyl2PGXvZLRAFZOyfoihiFveeltKsRa2Gofry9kkF5mLXDRPmUqwVYE h4VY78EGil9poV6OVPIizjo7538PcLXdZQVvwGVlBHJi65ULogwn7wEn3gvP2W1pnAjx+Mh6 H4mlZinoIiKLXls96OlE1ZZMDPyfcYa5jDqi+5XgM+X24mlGpgpFC8MWdPkSvehETRasvqCV U7GCDontnKSAqbSByeW8kJntG7CGpztPHqMYnwYxNBjAhSROQ0XgQwZWik7go9sFg2uw5+EE g8x7TQQ61jk7xpUn7s5bV+kCyGP9UH2OVJWANCFIRFb7x9P/RLQOM2atadoGj1Au4amtEqLI 3CaYAJBCScIXFaFDhbtJOrLh5GI/u6GC+65N/aLb6+JrLkUWPqPy5yH2ZAg+jeFM8TJM3V/R a5euAILTTViFsLVli9aATQQjD7IZtWHqQ2U8zdyr9uj/f3nHgnk/s2KCrJXMJNi9w380sLhf 6aAwS1+LzhfzJYFw3TFnaMe0FAlgCZrbzCxEL4EuEYlqYrbgelSDhceamV+ONYat8rUPyFEI 8vakc/437I+hfUuTVJEXFng3MyleJ5SS4lSHFjcQkOKPbGHYzDH3pOsCZ4=
Ironport-sdr: 6626a189_BNm0IVw9jBYRiw6fKo09QBdvk206XFIRKgkbSIUya4ZP5Rg bWSBmrcy/i4J7arIUPPSu2pCPor962fmXBP4vxw==

Call for Papers
The 18th International Conference on Reachability Problems - RP 2024
September 25-27, 2024, TU Wien, Vienna, Austria
https://easychair.org/smart-program/RP24/index.html

**Overview**
The 18th International Conference on Reachability Problems (RP'24) is being
organised as a physical meeting by the Formal Methods in Systems Engineering
Research Unit of the Faculty of Informatics at the TU Wien.

The conference is aimed at gathering together scholars from diverse
disciplines and backgrounds interested in reachability problems that appear in
- Algebraic structures
- Automata theory and formal languages
- Computational game theory
- Concurrency and distributed computation
- Decision procedures in computational models
- Hybrid dynamical systems
- Logic and model checking
- Verification of finite and infinite-state systems

**Program Chairs and Committee**
The program committee is available at
https://easychair.org/smart-program/RP24/PC.html
and co-chaired by
- Laura Kovacs, TU Wien
- Ana Sokolova, U. Salzburg

**Submission categories**
Original research papers (up to 12 pages) and presentation-only contributions
(short abstract), with clear relevance to reachability problems, are both
encouraged.

Topics of interest include (but are not limited to):
- reachability problems in infinite-state systems
- rewriting systems
- dynamical and hybrid systems
- reachability problems in logic and verification
- reachability analysis in different computational models
- counter timed/ cellular/ communicating automata
- Petri nets
- computational and combinatorial aspects of algebraic structures
(semigroups, groups and rings)
- frontiers between decidable and undecidable reachability problems
predictability in iterative maps and new computational paradigms.

**Submission instructions**
Submissions should be prepared using the Springer LNCS guidelines and
submitted via the link https://easychair.org/conferences/?conf=rp24

Accepted original papers will be published in the Springer LNCS proceedings
of RP'24.

**Important dates**
Original Full Papers (12 pages)
- Abstracts of original full papers: May 27, 2024
- Original full papers: May 30, 2024
- Full paper notifications: July 11, 2024
- Final version: July 22, 2024

Presentation-Only Contributions (4 pages)
- Abstracts of presentation-only contributions: July, 27, 2024
- Presentation-only notifications: August 8, 2024

[Coq-Club] The 18th International Conference on Reachability Problems - RP 2024, geoff, 04/22/2024