coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] LOPSTR 2023 - Final Call for Participation

From: Daniel Jurjo <daniel.jurjo AT imdea.org>
To: undisclosed-recipients: ;
Subject: [Coq-Club] LOPSTR 2023 - Final Call for Participation
Date: Thu, 12 Oct 2023 12:06:49 +0200
Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=daniel.jurjo AT imdea.org; spf=Pass smtp.mailfrom=daniel.jurjo AT imdea.org; spf=None smtp.helo=postmaster AT mail.imdea.org
Ironport-data: A9a23:BeDkgKgoQvqC3lBQ9u7JFUxNX161VRQKZh0ujC45NGQN5FlHY01je htvWW+OOf2KajSgeIwgOt7np0lT7cWDx9VjHVFt/3owEyljpJueD7x1DG+gZnLIdpWroGFPt phFNIGYdKjYaleG+39B55C49SEUOZmgH+a6UqieUsxIbVcMYD87jh5+kPIOjIdtgNyoayuAo tqaT/f3YTdJ4BYqdDpPg06/gEk35q+r4GpC5gVWic1j5TcyqVFFVPrzGonqdxMUcqEMdsamS uDKyq2O/2+x13/B3fv4+lpTWhRiro/6ZWBiuFIOM0SRqkQqShgJ70oOHKF0hXG7JNm+t4sZJ N1l7fRcQOqyV0HGsLx1vxJwS0mSMUDakVNuzLfWXcG7liX7n3XQL/pGVRwsPtAn+91OD15x9 dE+BzASMCnErrfjqF67YrEEasULKcDqOMUev31txHfeF/lOrZLrGvWXo4YJgXFh14YUTJ4yZ OJBAdZrRBjJZRxCPhEVFYg8m8+pg3Xyentfsl39Sa8fvTiOlFYogOOF3Nz9VdqxWMAFxmChp kHHuFbUWSs8JM65xm/Qmp6rrrSVwX+gAdh6+KeD3vVjhVnWwm0IFDUNRF6jqL+4jFS/UpRRM SQ88S036KM26UaDVcj4RxT+oXievxdaVcA4LgEhwASEy66S4gOVC2FCSSROADA7iCMobWV3z FzUoNLSPDJQj724b12d6emt6hrnbED5MlQ+TSMDSAIE5fzqr4cykg/DQ75fLUKlsjHmMW2on 2vQ80DSk51W1pBRjv3TEUXv2WrEm3TfcuIizijsNo5PxiZwaJSka+REAnCBva4bc+51onGkt XQemsT20QzjJZSElSjLQeABEbjv4OyKWNE9vbKNN8Rxn9hO0yT5FWy13N2YDBw1WirjUWS3C HI/QSsLuPdu0IKCNMebmb6ZBcUw1rTHHt/4TP3SZdcmSsEvJVDfoHA2PhDMjjqFfK0QfUcXZ MbznSGEUCpyNEib5GPeqxo1iOdxmkjSO0uKH8qTI+ubPUq2PyTJFexcajNin8gw4L2Npg7Y/ 55EMMWW1BxFXaXmeC7b7IUPLFcMZXw6A52y49cRcqjrH+aVMDxJNhMl+pt4I9YNt/0Nyo/gp yjtMmcGkgSXrSOcc22iNCs8AI4DqL4m9xrXywRwYgr2s5XiCK7zhJoim2wfJuV6rLY/kKAlH pHouayoW5xyd9gOwBxFBbGVkWCoXE3Dadumb3T/MgssNYVtXRLI8dLCdw7ivntGRCmuuMd05 /Xq2grHSNBRD05vHeTHWsKJllmRhHk6nP4tfk3qJtIIRl7g3rI3IAPMj9g2Afo2FzP9+hWg2 T27PzIktMjWgops8ND2laGO9IioNO1lH3tlJWrQ7JfoFCyD/mOc3pJJb7+LTw/wSWmv2qODZ PpU/d74IvYojFZHiKsiMrdJnIYVxcrjmK9e9StgRE70VlWMDqhxBEWG0e1klLx/9pUAtSSYA kuwq8RnY5OXM8bbIXstDQsCbNXb88oLmzPXvM8HEG+j6ABZpLO4AFhvZT+SgylgLZxwAoMv4 cElnOU0swWfqB4bAuyqvxBu1VanDyI/Cv08l5QgHoXUpBIhyQhCbbziGybG2syzROsWAHY6A A2/pfTkt+xHy1vgYkgDMyHH/dBgiKQkvDFIy14/JGq1pOfVu89v4jpv9WUYcwcE6DRGzON5B UZzPWJXO6il3mlllepDbU+WCiBDAxyQxRXy+WQkiWeCbU+JV3PMHkI5K+2i7EAUyEMCXzl5r ZWz6nfpbibuR+71hhANYE9Cr+fya+Bx+inputGVL+7cE7YUOTPa07KTP0wWoB7ZMOYNrUzgp 9gy2t1vaKf+ZBUik4diB6a0jb0vGQ25fkpcSvRc/YQML2HWWBe2/ROsc0mRWMd8F8bmwH+CK f5FB5xwDkyl9SO0sDokK7YGIOZ0kN4X9dMyQO7XClBcgYSPjAhCkcz2xnDliX4JUudet583C rnsegKoFk2SgnppmFHxkvRUB1rgYfQ5YFzT4ePk1sQICJMJj890e24QzLafniuYISlnzT2ur SLBYK7f8LVh+7tBgoG3MKNiBhq1G/z3Ru+n4AC+iPUQTNLtYOPllRIZlUnjBCtSZYAuYtVQk a+cluL30GfunqcEY0qAl7avT6B2tNiPBsxJOcfJHVxmtCqlWv60xSAc+mq9eKd7oPkE6uaJH wKHOdaNL/gLUNJgxVpQWShUMzAZL4/VNq7AhyeMn86gOygn8z7sDY2YrCfyTGRhaCU3FYX0C Vb0t9aQ99loltlwKyFeNc52Ia1TAQHFafIqeeSk4HPcRiOtj0iZs7TvqQs45HuZQjOYGcL9+ tTeSgK4aB22v7rSwcpEt5Bp+CcaF2t5nfJ6a3d1FwSaUNxmJDVuwSUh3ZQ65lV8lyXz0Nf5Y T3AZS0lEyqVsfGot/njyIyLY+tdLrVm1hTFyvgB/kaYZi7wA5mPaFek3jk1+G94I1MP08n+Q ezzORTM0tyZw5RlSO9V4ea06QuiKjU22VpQkX3AfwfO79ryzFnEOLGN3OaAaMAfL/zwqQ==
Ironport-hdrordr: A9a23:Lpnru6pzyimJSYvaKOhMjwUaV5r+eYIsimQD101hICG9Afbo8P xG+85rryMc6QxhI03I/OrgBEDuewK/yXcY2/h2AV7AZniChILLFvAA0WKK+VSJexEWndQtrJ uIHZIOcOEYQWIK6frS0U2RCN4rwd6G/ajtpeq29R1QpOxRBp2I9T0XNi+rVnduTA0DP5A+D5 b03KZ6TiSbF0j/sf7ROkU4
Ironport-phdr: A9a23:a7cebBDIXmT320NqM5NQUyQUgkkY04WdBeb1wqQuh78GSKm/5ZOqZ BWZua89ygGRFt+Bo7Ic0qyK6f6mATRBqb+681k6OKRWUBEEjchE1ycBO+WiTXPBEfjxciYhF 95DXlI2t1uyMExSBdqsLwaK+i764jEdAAjwOhRoLerpBIHSk9631+ev8JHPfglEnjWwba1xI RmsrAjdqsYajZV8Jq0szhfFvmZEd/5ZyG92JF+fhQrw6tu18JV+7ylepvUt+tJaX67nZao4V 7tYDDonM2Ax+sLmsATIQBWM6HUBTGgYiwJEDAfZ4h70WJfxqTb6ufFm2CaGJ832TKs7Viqk4 qx2VRLnkiYHNzo+8GHKlsx9ib9QrRy9qxBjxYPffYaaOudjfqPGZdMVW3ZOXtpfWSxGB4Ozd YoPD+wcNupcoITwo14CoB25CgmxAuPg1z5IhmTq0q0+1OQhCh/J0xE9FN4Kv3nYsND5OaEPW u630abI1y3OYfBY1zjy5ofGcg0vru2DU79rbcrcylMiGx/Zglieq4HoOS6e2OQXs2ic6uptT eyhhHQhqwFwvDevwtonhI3UhoIPyFDE8jhyzYEoKtKiTk57YMCrEJ9KuyGYKot2WMEiQ2Zzt SY7z70JpIC0czIQxJQg3R7fZOWKfo6V6R3sSOifOy13hG55eL2hnRay91CtxOLyW8Wq3ltEo DZInNbQunwQyRHe5NSLRPtg80mv2TuC1w/d5+JKLE0wiabVK58szqMum5QcsknOHDP6lFn1g aKQa04q9O+o6+H9bbXnoJ+RL4B0igDiMqQuh8ywGv40MgkJX2SD4uS8zLnj8lfiQLVKkvI2l a/ZvIrdJcQBqa60BRJe3IU76xunEjur09QVkWMaIF9BeB+LlYzkNlXULPzmCfqzm1uhnTdxy /zbMLDsDI/BImXNnbriZ7px9UBRxBQ1wNtC/ZxbEKsBL+j2WkLptNzXEBs5MwuszubiEtp91 4ceVXiOAq+cLazdr0WH6vgoI+mWa48ZoDf9K/476P7ylXI1hFwQcKmz0ZcKbH21Hu5qLkGdb Hb2nNsMFX8Gvg8kQ+zrjF2CXyRTZ3G3X68k+z40EoSmDYbdSYCpmrCB3jq7HodUZmBBEV2ME HLoeJiaVPgWci6SJdVhkjMcWbinUIAuzQuuuxPiy7p7MurU/TUVuYz72Nhv++LTjQ0y9SBzD 8mFz26CVWR0nmcRSz8y3aB/ulB9x0yY0al4hvxYDcZc6+lIUgc8L57czvZ1B8r8WgLbZtuJU kqpQs26ATEtSdI828MBY0FkG9m7kh/D2zeqDKQOmryQBJ0097rc0GLrK8Z8zXbGzqghgEM8T stBL231zpJ4ohXVC4/SmEGejKumML4R1y/V9WqF0XHc9BILfhR3VPDpVHYea0+ej8nj5ESKG 7OnD7UqNk1D1NSALYNLb9HkhBNBXvi1a4eWWH64h2rlXUXA/biLdoe/KzR1NET1DUEFl1tW5 nOaLU0lAT/npWvCDTtoHFapYkX28OA4pmnoBlQswVSsaEtsn6Gw5gZTneaVHv8a2LMJvGEjt i92G3682t7bApyHvQUyNL5Eb4YF6UxcnXncqxQ7O5WhK654gVtLfw1xvk7qkRdqEIdHuckvo H4jig1oJvHQy0tPIhWf2524IbjLMi/y8RSoPrbRwU3b2c2K970n7f05rxPiuQ2kHwwl6XoPP 8B99Xya692KCQMTVcm0SUMr711hoKmcZCAh5oTS3HkqMK+uszaE1ch7TO0igg2tedtSKsbmX Ef7DtEaCs6yKecrh0nhbxQKO/pX/bI1OMXufuWP2aqiNuJt1Dy8imEP7Id420OKvy1yL4yAl 5oMxfCV2k2FSi3+i3+gt8z6kMZDfz5TVmuzxC74BZJAM7VodNVuay/mKMm2y9Niwp/1DicIq Rj6Vg5AiZ7vI0vBCj61lRdd3kkWv3G9zC6xzjgv1iossrLaxyvWheLraBsAPGdPAmhkl1blZ 4au3LV4FAClaRYkkBy96AP03a9e8e5zJm/STEMOfTXsLWZKU668u7PEZNRAosBN020fQKGnb FaWR6So6RcT1SLuGy1c2So5cBmrv5n0llp9km3XfxMR5DLJPMp3wxnY/tnVQ/VciyEHSCdPg j7SHlGgPtOt8L14jr/7u/ulHyKkX5xXKmzwyJ+Y8TC8/StsCAG+mPa6npvmFxI72Gn1zYsiW SLNpRf6Ko7lssbyee5ueEhlABn+9tB4Hal/l4c9jdcXw3dSipiO/HUBmHv+Kp0Cif+4NStQA 29ahYSEqAH+kFVuNHeI2570WhD/ioN6at+2b3lXkiMx4sZWCbuFublNnC97uF29/kraZflwm CtYyON7sS5HxbhY5Ux8n2PHU+N3fwEQJyHnmhWW4srrqaxWYD3qar2szA9lmsjnCrieowZaU XK/e5E4HCY24N8sVTCEmHD19Izgf8HdKNwJsRjB2RvJielYLNQzi+AIggJmPG7wtDsi0eFx3 nkMldmq+ZOKLWlg5vfzDhdeNzDxIcEO4DPqpadbksufmYe1Ed8yf1dDFIutRvWuHjUIsP3hP AvbCzwwpECQHr/HFBOe4kNr/DrfVoqmPHaNKDwF3M1vEVODcVdHjlleD1BY1tYpUxqnz8v7f AJl6yANsxTm/wBUxLsgNgGjAD6P+UHxO2pyGcnZdkse7xketRaNd5XAt6QvTmcBrsPpqRzoS CTTZgJDCXwFVx6fCkr9M6O1o9zL6PbeAOeiZ77HZbHEwQBHf9GPw5/nko5v/jLXc96KImEnF PojnExKQXF+Hc3d3TQJUS0e0SzXPYado1+n9yt7o9rakryjUR/z5YaJF7pZMMl+sxGwj6CZM ueMhSF/YT9G35IIzHXMxfARxlkXwy1pcjCsF/wHu0uvBOrInbRLChcAdy5pHM5B7qZ63wxBN Medjcn6l/Z5gvMzF1ZZRAnhl8WuNqloaym2MFLKAlrONazTfG2WhZimPOXtGPsK3bYx1VX4o zuQHk79My7WkjDoU0vqKuRQlGSAOwQYvoihcxFrAGylTdT8axT9PsUk6F9+ibAymH7OMnYRd DZmdEYY5LGZ6yJVhrN9BnZD6VJkKOWJkmCe9eaSefN0+bN7Rz95ke5X+iFw07xO8CRNX+B4g gPXp99q5VCjnuSGjD19X1Adz1QDzJLOtkJkN6LD85BGUnuR5xMB41KbDBESrsdkANni00i14 tnKmK/6bjBY/ICMlSP9L83dKcbBMX8tPBOvHyTbXlNtpdGDNGTTikUbl+udpCT9kw==
Ironport-sdr: 6527c626_IHaUnkFgt/yFwKZI10UUMCR9Ui7sod+lJifmxzHBieD0OLm 5duKubUF844waONjQXjxHowAXPBc82TpSB+mfnQ==

** Apologies for multiple postings **

----------------------------------------------------------------------
                      Call for Participation

                                LOPSTR 2023
               The 33rd International Symposium on Logic-based
                   Program Synthesis and Transformation

       Cascais (Lisbon), Portugal, Mon 23 - Tue 24, October 2023
                  Colocated with PPDP 23 as part of SPLASH 23

                     https://lopstr.github.io/2023/

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

Registration is now open for LOPSTR 2023!

The 33rd International Symposium on Logic-based Program Synthesis and
Transformation will be co-located with PPDP 2023 as part of SPLASH
2023 in Cascais (Lisbon), Portugal and held on October 23-24.

REGISTRATION

*Virtual registration is also possible*

Registration link: https://2023.splashcon.org/attending/Registration

INVITED SPEAKERS

- Manuel V. Hermenegildo
    On-The-Fly Verification via Incremental, Interactive Abstract
    Interpretation with CiaoPP and VeriFly.

- Maribel Fernandez
    Unification Modulo Equational Theories in Languages with Binding
    Operators

ACCEPTED PAPERS

- Gonzague Yernaux and Wim Vanhoof. Predicate Anti-unification in
    (Constraint) Logic Programming
- Bach Nguyen Trong, Kanae Tsushima and Zhenjiang Hu. Design Datalog
    Templates for Synthesizing Bidirectional Programs from Tabular
    Examples
- John P. Gallagher, Manuel V. Hermenegildo, Jose F. Morales and
    Pedro Lopez-Garcia. Transforming big-step to small-step semantics
    using interpreter specialisation
- Hector Suzanne and Emmmanuel Chailloux. A reusable machine-calculus
    for automated resource analyses
- Jordina Francès de Mas and Juliana Bowles. A novel EGs-based
    framework for systematic propositional-formula simplification
- Daniel Jurjo, Jose F. Morales, Pedro Lopez-Garcia and Manuel
    V. Hermenegildo. A rule-based approach for designing and composing
    abstract domains
- Marija Kulas. A term matching algorithm and substitution generality
- Marco Carbone, Sonia Marin and Carsten Schuermann. A Logical
    Interpretation of Asynchronous Multiparty Compatibility
- Anna Bamberger and Maribel Fernandez. From Static to Dynamic Access
    Control Policies via Attribute-Based Category Mining
- Remi Desmartin, Omri Isac, Grant Passmore, Kathrin Stark, Guy Katz
    and Ekaterina Komendantskaya. Towards a Certified Proof Checker for
    Deep Neural Network Verification
- Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi and
    Maurizio Proietti. Constrained Horn Clauses Satisfiability via
    Catamorphic Abstractions
- Peter Lozov, Dmitry Kosarev, Dmitry Ivanov and Dmitry
    Boulytchev. Relational Solver for Java Generics Type System

[Coq-Club] LOPSTR 2023 - Final Call for Participation, Daniel Jurjo, 10/12/2023