Skip to Content.
Sympa Menu

coq-club - [Coq-Club] CfP: 26th International Symposium on Practical Aspects of Declarative Languages (PADL 2024)

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] CfP: 26th International Symposium on Practical Aspects of Declarative Languages (PADL 2024)


Chronological Thread 
  • From: Martin Gebser <martin.gebser AT aau.at>
  • To: <agents AT cs.umbc.edu>, <aiia AT dis.uniroma1.it>, <algprog AT comlab.ox.ac.uk>, <all AT xsb.com>, <ancs_announce AT cse.wustl.edu>, <arw-committee AT csc.liv.ac.uk>, <babel-group AT babel.ls.fi.upm.es>, <cadeinc AT cs.albany.edu>, <cade AT itu.dk>, <calendar AT computer.org>, <caml-list AT inria.fr>, <church-announce AT cs.bu.edu>, <church-announce AT types.bu.edu>, <cipher-cfp AT ieee-security.org>, <clean-list AT science.ru.nl>, <cogsci AT cs.tcd.ie>, <colognet AT ucy.ac.cy>, <comlab AT comlab.ox.ac.uk>, <comm-theory AT ieee.org>, <comp-lang-ml AT moderators.isc.org>, <complog AT cs.nmsu.edu>, <comprox AT doc.ic.ac.uk>, <concurrency AT cwi.nl>, <conferences AT computer.org>, <coq-club AT inria.fr>, <cphc-conf AT jiscmail.ac.uk>, <cs AT ics.forth.gr>, <cs-instructors AT lists.sabanciuniv.edu>, <distributed-ai AT jiscmail.ac.uk>, <dl AT dl.kr.org>, <dmanet AT zpr.uni-koeln.de>, <eccai-individuals AT uni-koblenz.de>, <elsnet-list AT elsnet.org>, <erlang-questions AT erlang.org>, <event AT in.tu-clausthal.de>, <fg-arc AT lists.uni-paderborn.de>, <fm-announcements AT lists.nasa.gov>, <fmics AT inria.fr>, <focs AT comlab.ox.ac.uk>, <formal-methods AT cs.toronto.edu>, <formal-methods AT cs.utoronto.ca>, <forman AT acm.org>, <formis AT dipmat.unipg.it>, <fp AT cs.cmu.edu>, <glp-list AT informatik.uni-kiel.de>, <gri AT informatik.uni-rostock.de>, <grin AT di.unipi.it>, <gulp-all AT yahoogroups.com>, <hats-all AT lists.hats-project.eu>, <hol-info AT lists.sourceforge.net>, <iclp-workshops AT sfu.ca>, <ifip AT ifip.or.at>, <imdea AT clip.dia.fi.upm.es>, <inductive AT listserv.unb.ca>, <inductive-request AT listserv.unb.ca>, <ki-inf AT uni-koblenz.de>, <kr AT kr.org>, <krlab.admin AT gmail.com>, <lfcs-interest AT dcs.ed.ac.uk>, <lics AT math.uic.edu>, <lics AT research.bell-labs.com>, <linear AT cs.stanford.edu>, <linear-request AT cs.stanford.edu>, <logic AT cs.stanford.edu>, <logic-list AT helsinki.fi>, <logic-ml AT logic.jaist.ac.jp>, <lotos-na AT site.uottawa.ca>, <logic-programming AT lists.picat-lang.org>, <lotos-world AT site.uottawa.ca>, <lpnmr AT ms.uky.edu>, <mathgroup AT smc.vnet.net>, <maude-users AT cs.uiuc.edu>, <members AT sais.se>, <micro_publicity AT crhc.uiuc.edu>, <mizar-forum AT mizar.uwb.edu.pl>, <mobisys AT listserv.acm.org>, <nqthm-users AT cs.utexas.edu>, <nvti-list AT cwi.nl>, <nwpt-info AT lists.ioc.ee>, <oegai AT ifs.tuwien.ac.at>, <om-announce AT openmath.org>, <ontology AT buffalo.edu>, <petrinet AT informatik.uni-hamburg.de>, <planetkr AT kr.org>, <planet AT lists.uni-ulm.de>, <podc-related AT acm.org>, <potassco-users AT lists.sourceforge.net>, <prog-lang AT diku.dk>, <project-calculemus AT jacobs-university.de>, <puml-list AT cs.york.ac.uk>, <relmics-l AT mcmaster.ca>, <semanticweb AT yahoogroups.com>, <senseval-discuss-admin AT listserv.hum.gu.se>, <seworld AT sigsoft.org>, <sicstus-users AT sics.se>, <sigarch-members AT listserv.acm.org>, <sig-charme AT mailhost.dcs.gla.ac.uk>, <members AT sigparse.org>, <sigplan-announce AT listserv.acm.org>, <sigsam-friends AT listserv.acm.org>, <sigsam-members AT listserv.acm.org>, <sml-list AT cs.cmu.edu>, <staff AT dbai.tuwien.ac.at>, <staff AT forsyte.tuwien.ac.at>, <staff AT kr.tuwien.ac.at>, <swiprolog AT discoursemail.com>, <tag AT cs.utexas.edu>, <theorem-provers AT ai.mit.edu>, <theory-a AT listserv.nodak.edu>, <theory-logic AT cs.cmu.edu>, <theory AT cl.cam.ac.uk>, <theorynt AT listserv.nodak.edu>, <types AT cis.upenn.edu>, <types-announce-owner AT lists.seas.upenn.edu>, <users AT mozart-oz.org>, <users-prolog AT gnu.org>, <vki-list AT dfki.de>, <webmaster AT aisb.org.uk>, <webmaster AT eatcs.org>, <wi AT aifb.uni-karlsruhe.de>, <yap-users AT lists.sourceforge.net>, <zforum AT comlab.ox.ac.uk>
  • Subject: [Coq-Club] CfP: 26th International Symposium on Practical Aspects of Declarative Languages (PADL 2024)
  • Date: Fri, 22 Sep 2023 21:37:20 +0200
  • Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=martin.gebser AT aau.at; spf=Pass smtp.mailfrom=Martin.Gebser AT aau.at; spf=None smtp.helo=postmaster AT mxout1.aau.at
  • Ironport-data: A9a23:Td9QCaneBoEq6MNclue2kmHo5gxTIkRdPkR7XQ2eYbSJt16W5kVWj iJDADrXfqbVPH21IIo1b5D1rB1Y6NKQjINT/DAc7nRsSn8MsZXebTjyBk7+Nn/KdMDIHEw45 ZVHNdfOJc1lEHXSrEygabPr8SAhjfvVG7SsUOSbN38oGldoRiwt2UNvlrFkjtBj3oGyXF7lV b8ezSH6EAbNN2lcbjJNs8pv0S9HvOjuoGFf+XMTTNZ3+ljVjGFTF58UOaC+KD3zRYwMdtJWP N0vsIxVhEuBuU9FN/uljqrjIApNSaTWexWVh2BKQbW5nl5JoSl1750WDsYGdFxLsQ6gtN1r1 NRDtJe5VQYuOITRhOQaSRhEAmd1J6ke5vzFeXjn5o/LRaUOKHvw3+08SwY9J5Fe5/16G31U6 OcEbjsKa1e+vM+M/KimUfVWve0KIMXXJp4EplpJizrDEa5rAshJq2275cNExGV3wcdFBu6Ye tEUcyZ1cQ/cJRZIPw9/NH5Fpwvbu5WFW2Ye8Dqojaor/3DInks2y7XmLNvafZqBQsAStX6j/ kj7l1gVeSr2Q+FzsxLetCrEu8fPgT/jQ9BVU6a1/eJrj1rVzWsWTzYubgODnJGFZjWFt6Vix zY8oWx2xZUPyXFHbuURfjXj8C6Ps0VDAoReH7cx5lvTxPaMs1eSVzhZFmZKZNZ25eY7FGcgv rOrt4OwVGY36NV5alrEq+zK9WvqUcQxBTVfDcPRZVJdu7EPmKlq0lSVCIwL/Jed1rXdASv3z y2BsB8wjrASid9j/6ig9DgruRr1znTyZlBzvl6/sl6NtFsjP9b0PdbwsjA30N4ZRGqnZgnZ1 JQ7s5PGhAw+JcnlvDCARuwLAIao656tWNELqQMH8zEJrlxBylb7FWxiyGkWyHRBbq7oTQTUj Hr74mu90nP80EyCNseba6rpYygjIDOJ+d7NDpg4ZfIWCnR9mZPuEIiDqid80ki0+HXAn53TN r+ZTcmPFkwULph49wTxF9cM9ZoQ5gMxkDa7qZDTl3xL0JKbdHmIVe5DOVKTKOklhE+GiFyJq JAFb5bMkkoBFrShOkE78qZLRbwOBV0yH4z3rYp4e+SYLxBOEWg8TfbNqV8kU9U/wPgEyb2Uo hlRXGdV8FbzmFSbGDmyUVsyRJ3IRY50pikSaHlE0VGAniJLjZyUxKwWcp9yebg86MR43PtsR r8Efd+BC7JBUFzv8DMEKJL5sYZKbwWunQvIPiy/YTF5cYQIeuDS0tr0eRbzrW8HBzfxvNdWT 6Cc6z43iKErH2xKZPs6otr1p79olShAyLBBTAHTL8NNeU7h1oFvJmajxrU0OswAY1GLjDeTy w/cU19SqPjvsr0F1oDDpZmFiIO1TMp4PE5RRFfA4ZiMaCL1w2uEwK17atiuQwzzbm3P1ZuHW fR01ND5af0Oo0ZLudFzEpFt1qMP2OHsrL57kCVhRSnBNGrzL4g9Iki24NR+hpRM4pR7ugKGf F2F1fcHGLeOOeLjSEUwIih8ZMu99PgkoBvgxtVrH1ff+wl246uhbUVeGzKumR5tBuJ5H619y NhwpfNMzRK0jyQbF+qvjwdWxjyqFWMBWaB2jaMqKtbnpSRzw24TfKGGLDH95ayOTNB+MkMKB Duwr4iajpR+wnvySVYCJULv78F826tX4AtryWUcLWungtDG3/87/CNA+AQNEzh68E917PJRC ENKaWtFfb6D7hV5tvhlBmqMITxMNDed2072ymYKqlHnclmVZjTzC1M5aMmw/xE/0mNDfzJk0 qmS50T7XB3LIszg/CsAdnR0iv7kTO1O2FTmne7/PsWaHqsVZSjurb+uaFEp9TrmI5IVr2/Wq dZ6+N1fbfXAChcRhKkgGq+m1bg0YzKVFlxoGP1O0vsAIjDBRWuUxzOLFXGURupMAP77qWmDF M1kI5N0ZSSUjSqhgGgSOv8RHuVSgvUs2dslf4HrL04gt5+0jGJgkLDUxxjEqF4befdcuudjF dqJbBOHKHKaulVMkWyUrMVkBHuxUeNZWCLChtKK4Mc7PLNdltE0akwj8KqGj1PMOitdwh+kl gfiZajX8u9c9bpRj7bcSqVuOgHlBu7wBcKp8R+yuetgddngE9nDnCJLp0jFPzZ5B6owWdN2p Iuj6fry8hvkvak3YU/diZKuB6lE3uTsfet1Y+bcDmhWojuGY+DouyA8wmGfLYdYtu9d6u2MZ RqKWOHpefE7A95ilWBoMQ5AGBMjOoHLR6bHpxLlic+TCxIYgDf1HPn++VDHNWhkJzI1YbvgA QrJutGr1NBSjKJIIDQmX/hGIZtJEGXPaJscVe/alGenVzGzo1a4pLHduwIq6mjLBlm6Ac/K2 8/5aSakRiuimpPj7Y9/g9V+sCRCWTw5yaM1c1kG8tF7tyGiASRUZa4BOJEBEddPnja0yJj8Y yrXYXA/DTnmGw5Jagj4/M+pSzL36jbi4TslDmdBE4KohyaK6EeoBatm6zs5pX5/Z33q0IlL7 D3YFmLYZnCMLlNBHI7/JcBXRc9uz+6cz25gFYXVjZnpGxhHaVkV/CUJIeeOPBAr1+nEnViNL HRdqaWohq2kYRaZLPuMsEK51P3UUP0DAtnogeqyLA7jhrim
  • Ironport-hdrordr: A9a23:U7SEw6HfQwzbpyQQpLqE4seALOsnbusQ8zAXPjNKKCC9E/bo8v xG88526faZslYssRIb9uxoWpPsfZq0z/cciuMs1NyZLWrbUQWTXeNfBMfZrQEJTEbFh4lgPP BbAsxDNOE=
  • Ironport-phdr: A9a23:8pgRbBJ91BB+vOLZUNmcuBhzWUAX0o4c3iYr45Yqw4hDbr6kt8y7e hCFu7M03A+CBNyKo9t/yMPu+5j6XmIB5ZvT+FsjS7drEyE/tMMNggY7C9SEA0CoZNTjbig9A dgQHAQ9pyLzPkdaAtvxaEPPqXOu8zESBg//NQ1oLejpB4Lelcu62/6z9pHJfglFhzmwbbxvI BmrqQjaq9Ubj5ZlJqst0BXCv2FGe/5RxWNmJFKTmwjz68Kt95N98Cpepuws+ddYXar1Y6o3Q 7pYDC87M28u/83kqQPDTQqU6XQCVGgdjwdFDBLE7BH+WZfxrzf6u+9g0ySUIcH6UbY5Uimk4 qx2ShHnlT0HOiY6/m/ZhcN/gqJVrg+/qRNjwo7Ze46VOOZkc67BYd8XS2hMU8BMXCJBGIO8a I4PAvIGM+lCtYn9u1oOrR2jDgetGuzg0SRIiWHs3aYn1OkhFBvJ3BY8H9IPtnTYttr1O7kJX uCu0qbI1y7OYOlM1jfg8oTHaAwhrOiKULltfsXf1VMhGBnZjlWMt4PlJTWV2/wRv2aV7edtS OOihWE5pwx1pjWiyNohh5XViowbyl3J9jt1zoY7K9C5R0B2YsKoHYZeuS+VOYV7QcwsT310t CsnzLANpJC1fC8PyJs9xh7fbeSKc5OJ4hLsTOaRJS13hHR/dLK4nRay/lCsyvbkVsmu0VZKq CVFncfWtnwXyxPT7c2HRuN9/kemxTaAyxrT6vleLU8okqrbLoYtzaIqmZoWqkvDBC72l1j5j KCIbEkk/fKo6+vhb777pZGcL5d5hhzxP6kggMCzH/g0PwgUU2SG++mx1afv8VD7TblWlvE6j 6bUvZ7AKcgFuqK0AxVZ3psh5hu+FTur09IVlmQdIl1fYhKIlY3pNknOIP/mCfe/hEyhkDJkx vDBI73hHojBImLZn7j7YLZx8VRTyBYrwdBe4ZJbFK0BLeruVkL+utHUFAE1PxC0zur9Fdlw1 IITVXiSDqKbLK/eqVqI6fguI+mIao8VojH9K/096vDpl3A5g0Mdfaiv3ZcNaX63AO9pI16Hb nr2mdoOC30FvhckQOPwlF2OSThTaG2qUKIm+j47EJ6mDZvERo21nrCNxD27EYFOZmBaFlCMF m/leJmeVPcJbCKeO8thkj0fVbi9UIIhzhGvtAriy7V9NObU+ysYtYji1Ndv/eHTmwsy+SRuD 8uBy2GNU310nmQQSjAq26B/uFVxxUuH0ahlmPNVDsdT5vNMUgciL5HQ1e16C9boWgLAZNiFU limQs/1SQ02G4Y4zNIIf11VEM7kkxXJ1GynD6JD0/TfDZ01+4rQ3mO3OsB80XHD3fBnjkVwB oMbPGmpnrR4+CDYAIvNmk/fkLbsfK9awS2bsC/XxG6KlFFDWkh7VqCTGThLb03dtuPw4EXFU rmlBJwsKQYH1tOZNq8MZ9H02xEOEP75J5HVZGe0mnusCBugzaiHKo7rZSMU12PACx5A21QZ9 HyLMU0xHCC8u0rUBTZjERTreAXi8K9jsHb9Q1Rii0neZERt2ruz8TYenrqVT/ka2KNCtSs8/ XE8SF2009/+Csad4QZiKuEUNdg05FpB2WvDnwd6O4S9M614wFkEfFIz9xfl3hBzT4FBitQCr XUwzQM0J7jOlBsVfDOFx5vwf7TRLG7v+huiQ6XNnFvDltua5/FLoKAzq0j5twHsH0wk9Ghh2 NR9z2qE646MBhdUXJ7sBAJ/oxN7v7HXeGw26Zv81HBhPOyvvzTfwdM1Fa0i0Bn2O58LO6eJH Qm3F8wBG+C1I+0nnVOkKAgZeuZWoup8a8iheOCN2YagJ6B8lz7gjGkRpMgp2UWI8CV6R/Lgw p0UhfiTmACWAXO02Fymt8T+k6hPYjQWF2D5zjiiDYUXe64kOc5fAmCrJoirxth5nY/FWnNV+ RikHVxQnIf9ch2Xdxn51AtfkEETiXmglSaixiBziSpvr7GUmivUzLKmPE4MPWtTQG5tpVz3Z 46xlM1cUUS1OUxhwBCi4F7gwLhzqKN0aWjYB05DOTX1eSUqBqC3sLGfedRC7pg5mS5IUaK6Z QbeAur2pB0U3jnuGWBT3xgwcDSyp4n0hVp9km3LaD4np33APMp02B335drGRPcX0CBQAGEsg iHXDR23ON+n1deVjJzGu+G6EWuqEIBQJ22jmYibnCqw/itkBgejn7a8gIujWVwxymr60cJ2T zjDsBHmeaHv1r+mKqR8d0NhAlT99sx7BMdznpZmwNlE1XkBmo+U92cbnGu2ONRz26PlZ38ER DpNytWT/QuznAU3Inahy4a/VW/bxdFuMZ3yNm8T0yQw8+hYEL3S8bpF2Chyr16+6w7cN7w1y joWwvIvrX8cj+AXuQYwxyGGKq0UHAxbOibomhKaqdyz+uEfMGurar69yA96nMu9JLyGuQdRR DD+YJh0WWck4997OVTDlWTu55r4ed7WdvoerBmdlRiGiPJaftZ5wvcUiCx7EWP7+2E4juU/h AF1wZGzuM6LJjMptPa3DVtRLDbdY8II5iqrkKBf296f0421FJJ7HHMHUc2sBaamFXcbs/LgK gCFHTgxrGuAMb7eBhOErkFvtHuJHJe1YTXfcHcczN55bBibPk1Wxg4OCnFyypA+HRuCz8vkd E5zoDcBoFfz7AZPnKYgYxf4SGLWoEKtZys0T5SEBBFNqB1F/UDTLcvY4+5uSWUQqpOmtgmEL imeahhICm0SckefQU3/OaOp48XHteORUK72e/XJe7CHr8RXXPLOwoighM8uqziLLMCOJVFuD uU+01YFQHZ4A8ufmilZD2RDmTrlZNXdrxKhvCB7s5b7uKDkXBqq4YqUF5NTN9to4RW/naaAc fOWhWN6KDtckJ8BkzuAnLcF3XYTjS9pbTykDbUD8zPLTefKnbRLCBUYLS9+Yo8Au60m3w9lN c+dl9X0zr8+j+JjTx8RWkHlgoSgYcgiMmi9M1TIHkGWLK/ALjrOlYW/NaO1VaYVheFQnxmxo iqAVU/qIi/GjyPuVR2kLadBkXffdEhev4X4cxBjDkDnTcn6cVugN8JthjA4xqc7izXMOHJKd XAockhJtviP6jlbmfV4A3dp9XR4a+KNzWLRu+jWK44+sPVqGmJzjaRT/CJ+g+9U6S1JTdR+n CrK6NJvqheok6+S0j8hXQEY7n4fhYSHoE5+OLvU3p1BQmrf8QgTq3iWAVIBro0hQonuvaxNw cTOiq+2Mjpb7t/P4eMYBtPIM8+dLjw8NxCvEzeCSENRTj/uNGfRr1FbkbSR8XeRo54o7JThz t5GHrxBfF8vUPQABRIhVIgBOpN+VHUtnbuaiuYH4HO/qF/aQ8AM+tiTUvyZGrDuLiqUl7Rfe zMEyqi+IIhVP4a9xk80LhEumIXBAGLVVMxN5DBgZUk5rFgbtDAqSmw4wGr/Zxig6WUYFbi+k xoyzw93a/9r/zDptRN/cl7LoiY5imE6gpP+nTmXfjnrIOG9UZwAT2Kgs0k3P5rhBhx4dBC/h lBMPyyCXK5YibVnb2wthQPB798HTfpbQqxPSBQLg+qLbvMm1k5Q7Cir2BkDrb/BDpRjn04uc IWwh3JN3xliat00Y6LRcu4BmlxXiaOF+yqs/uQ2zw4VYUQE8XiOPicD/k4QYP1ucy6v4ut3r AqLsyBCZGVKSv02vvt1/wU2MrLEh3bk1LFCIQWpLeuQNaqcvmnGmuaMQ0gszQUQlkJM4f1y2 MEsNU2OWBZrhO+VEAgOLo/dLhtRY+JJ9WTeOzuJrfnE3pszNIzrUqi8SfeIsbw8h1niAQU4W YkA85JFVs2p2V3YIt3gMaYt0hAmohrtKUnDCvlVLlbDxDIOvs2yiYJs0JNGDjoGR3h8LC7x6 7rK8Eti1P+OWd07eGwyRYIFLTQtVZv+03pcvn9aCw6vz+gdyQOD8y7UrT7QB3/hbsdoIvqYe EUoQIWz+Cc26e24jkTK973bJnPzL5J/pdWJ5O8H4Y6DXbccGbx6uUbHipJwQ32xT3XCC8DzL pP1LY42YoqwQiK8S0C/jncoVMrrJ/6mNe6VnQz4TJ0SvYWGinRrYcmjCjBbHxZru8kI+6M6Y wlVJ9JvZwHwq0E/MaK4CAOZycm1BWeqIn1bQq8bhbG9arNezgItYPT81GY/T5w8ieC8t0cRE tVC2hbbgP+lYY5DVyP+MntFdgPKrDY50W97ObB2irM4xg/PtV4TIhiBaeJnYWhD+dwwGAXWa SFuB3YiRlmRkaLC5ACrxbUb4ype2ctS0KhFuX30o4XQJj6hDujj/Y3Ruiwtcds8i65rd4v5L Z3C/MfGmjXZQYX4tgyeTDX8Cvxb38VUJWRUTa8M0TU9PsAN/JBM7UMtW8sWLrdKTq42qebuI W58CjIb1jQSUMadxzEYmc+42qDGjVGLd4k4OxEKt49Nj50bXjIgJmtKvLWkWMDSnmmLYmQKI xpV4QcaoEpUjpV3fO3u/M/DRZtH1jpbpu9veinCHZ5i7B7mTGCIjELjSemw1eCki0YamOrx1 91eXB9kFWBW3KBHkVErbrh8bbQT6MqC5iWFcUb7t3mozMOjL1xY0tHZbRvzBdyB/T7nXygV/ 2EVTpBCwlnOHJQVlAVjb7szvxNHJ4XwPg6q/DEi3Il3Fr39WcGwzEs+tjMPSyKrFfJFCvp6q 1/NRntlfpXtp4ijIJgEBicE45CCrE1dnG12MiGizpRAbcZX7WhIFGxUoD6GoMapDdBY1NVtJ 4QNKcw5oHqrXOsQI5meqmc9uvnqx3rT9ionmFO73ymoFrWmCetS+isZAAp/YyzKsUggSuAs+ 33X/3jIu1Fw/+BAGv6Dhl43rzJ0WJlFQCtKgzTte1F+SXNLqf5yM6Xaa8VGWPR0YgWgbVh2Q eUn0FSN9EcxlHH/ZDF0vQZy/yHGQxI5TzdTi7zo3zoEpZfjcWsBSp1TZDBkYT3EJgSXgghTv Q1DcExwRdYQCdMD/KsUi88cqtHDRl2lLGQAURloOxgj+f5ejlJYvV+GPynWCEyvb/mZ9lUjZ sKV6cqoN+jR9xwBgYb69u006vNHDym9hQSjT/jSpYb98MGXqUqDcuHxOKu1fSmFBGzXkRm+i 58qCIPR7jTedhZGNJh3zzwtat7oFTiPdUBdO6sVKWJYT+ZmdMpHr+YcbsQicbpfvec5HQ2GX gnoHIughPVHNV3UWC7FIiCI8+j5qoXWu/iVHfTpaeSH3DDaX69nN4w85DXmTfOihZNe903s1 /Io7ll9V1XcKAiIrZLkJx9N6cW/IA+q6oEpEDTMEdJ5uH7s3V1betAJBSut/J0bjp5V9SC0A bZk0kX0qvwX875r6IIf6KsvwsKpY6reNKIe+Rt7AhWTHBRC/ZFrC2F6AWlaJPISfrOZKbgZg Mf0uubrP6gW8wGO9vZHL93AK0jC3MSzF2fYAUhYjR8MshYRLxDayuaInakyRMq486yxjl48+ 1WlaxcAyrdw44yJv62XouLNRx/Q1qQfHLPnT9i1s6whvUXU6PE5wvpGLnFubhe8OO0aRMcH2 iLn3+Yt1y16V4uXAqnt4uUGT2g+mjXvs597AhMRAPxCWfLf44df22M5gPDxOtMVc+ZOlzDLX Uq7H7UHwGW35jG/KWh+iFfJyR62XGDlqBeisiJyRCLX09r5ukdcSrKsQ0BIUHztcRtnsRuGP QTi8sfxuOE25VsyKXb5tN/LmGb3fPsDDsTnYcGHLDMvjFYWl4EqAMeoxJoQFNS6Otgctndzc q2aoze5nShbvqJvjI3b5sifvPLHW3CrybCZ/eaj3jddn10xp00+7JiPO/vV6sfCF/GhzXoQS WFwtgHaUgSdo7XG6VkIbx/YmHzXkZAHa4kKlUIz0VvrsbBLqLMb8QxfEtyFfPYevXXpPzCyx 1+DYtUxXy3Y0j1NH1uzH0MrULMk1jfWu8TE3WzV50VuXpN5IknunwB2CcM3JEg25UI/yyMeV wEROliAFL/9PU3+NsMfUFQbLxGO3by0YKAyiGh62K+u4qn8YOZnCrAlP/9AyAeSzxBAApxDl 6oYTfpnfkNFsq7aog+3E4/8Q/3vjmY9L9WwUsdH7ZlfvnI/pA+jL/a5wbFE6btTyJWBd6oeJ IPJoNg59UBsozgGai1KhhF7yRK/S+EV4u75sJDdt9Kz5+CiWbxIJa1f/gUoB2l4k5r7gUwy6 dDR2eBGT4TJiIP5uAlTKn+OsYze3lFyM+0LY46seb9h8T0AKU18bzoLNMCKav967CJnKzjJz 1VLH4UFeZJQPcbAnxxVlly8QKtapa+5UheTD4Z+cdxt7nKikWxut8FkD6C5t2HwfM+HvDQvd 7tZgS5hlczPvr0QyPvWUm0M5GWBLgJyyWWEwoWMDPD5+aONzsvVXhUIBH1TMc8VKTyc9AigX ufwmo/uV1bez8bpnJM4Mm2dTGe8howMu7sKGPIK2UCZlnBOU5v4gf6YqY/m7WJNqlxBVol+5 wbIAo1WN4g9MAiyxazJDgBsQyD4fs/TbB8nvuGbk/wN7+tJPEz7fYYHIxgAxtoW8FJtRxB1A P7zt1edB6cKYcd+DenDpTZT4J5hLKkGOB6coobrp3FGsgJ+DAgsYb425jtUEyuG1ChcQbr1v vgvhwEHXMRRsEZRX2uscG4z/DvIU61JgbLZUaBOtG/LE+pXDBsua3wmCxqukI1jYb6ogexKv gYk1mtmrf4m3iYnDBqwtCvwpr4cjDcp+bW2rjIE6jROSuSTlTuNCE0WlahRy/1EVjC7tgL6O SZbP+6QqPF9KM/t9Jcs+SE6aBQnJWgdWPi4Tjv3hOWOC5COt9RVgFiMvt/PZPm9N3t3VPx1x BT9Snx6ygWbkgxv9T5BZzy68N4iYqqwM90o3AKhEHWdfUpGscYr+IPh8EUGSuc7cwYr5Wx5z smBAAIATtfCAU48hxViYHkOI/choVcKUqIvhDiPpKxP+AoZNSzVHoqS8Y7Vhc7U2HM5QIQi1 ifMq6aCnJ9vzGx9loY+8HuVoHpLPb+9MYckEj3p24xY0+C7e/i9rrVNVt590Lr4GP4abpv6p TDwgs03HBfjnvNHQRLuOesHjN83Sg+DTmuVEaSOemmIxXMiN1LqoAOvJRsxYdtLqEk0Nq3Dg IRdnkvvS+E8QCLYvlLdwGE5VIFSPwsrpIeqfRALR+8NdqCdI+Yp2vg3FFoLaTfAAyJ3D+a8t VPlkpJ8Pj1s5kDzYOKl9Q6DUpPaAh4fDYvTtYJ849S/VmWcJSYmxRRvekBotq/eG1k3qu5AY sORkNzX1LEZmaYOc/ZgNzF4u8ZGw944r9PMjYHTLk+Xl8mqdrS36rCCDvbSzlonYDRfW7sdO 0bu4pkie8Q+UPvVFKdYuhIVAe47RoYgPiH/7vIRTks7fwjPabCzmsSvqPiMY84egnbM8lM2a gjRsQYO0NS9RBE9Zozg1BCQaNggAylMqdFgEE4sBIxUB8YJtBaqGbaRiKaml4b38kpn/eYW+ /mVaLiCxJGy2IN/WIJf7EqAMWPKBaVltU9ii/y7nvbK1pSZ4SbKcNoZEuFnEDatgl7uG5W4N y7XfMv1ZghP7+zEuFqWehyYeWbwQ/jf3BA=
  • Ironport-sdr: 650ded17_HWU+fmIb+TgRDIaIKLX6l5EfiOGEUWH5ALGGZo5TtZaBBlN ea1iWXx0DYzTvSRE5xTFzJxqvdfGp41+v2H1ouw==

*** Apologies for cross-posting ***


==============================================================================
Call for Papers

26th International Symposium on Practical Aspects of Declarative Languages
(PADL 2024)

https://popl24.sigplan.org/home/PADL-2024

London, United Kingdom, January 15-16, 2024

Co-located with ACM POPL 2024
==============================================================================

Conference Description
----------------------

Declarative languages comprise several well-established classes of
formalisms, namely, functional, logic, and constraint programming.
Such formalisms enjoy both sound theoretical bases and the
availability of attractive frameworks for application development.
Indeed, they have been already successfully applied to many different
real-world situations, ranging from database management to active
networks to software engineering to decision support systems.

New developments in theory and implementation fostered applications in
new areas. At the same time, applications of declarative languages to
novel and challenging problems raise many interesting research issues,
including designing for scalability, language extensions for
application deployment, and programming environments. Thus,
applications drive the progress in the theory and implementation of
declarative systems, and benefit from this progress as well.

PADL is a well-established forum for researchers and practitioners to
present original work emphasizing novel applications and
implementation techniques for all forms of declarative programming,
including functional and logic programming, database and constraint
programming, and theorem proving.

Topics of interest include, but are not limited to:

- Innovative applications of declarative languages
- Declarative domain-specific languages and applications
- Practical applications of theoretical results
- New language developments and their impact on applications
- Declarative languages and software engineering
- Evaluation of implementation techniques on practical applications
- Practical experiences and industrial applications
- Novel uses of declarative languages in the classroom
- Practical extensions such as constraint-based, probabilistic,
and reactive languages

PADL 2024 especially welcomes new ideas and approaches related to
applications, design and implementation of declarative languages going
beyond the scope of the past PADL symposia, for example, advanced
database languages and contract languages, as well as verification and
theorem proving methods that rely on declarative languages.


Submissions
-----------

PADL 2024 welcomes three kinds of submission:

* Technical papers (max. 15 pages):
Technical papers must describe original, previously unpublished
research results.

* Application papers (max. 8 pages):
Application papers are a mechanism to present important practical
applications of declarative languages that occur in industry or in
areas of research other than Computer Science. Application papers
are expected to describe complex and/or real-world applications that
rely on an innovative use of declarative languages. Application
descriptions, engineering solutions and real-world experiences (both
positive and negative) are solicited.

* Extended abstracts (max. 3 pages):
Describing new ideas, a new perspective on already published work,
or work-in-progress that is not yet ready for a full
publication. Extended abstracts will be posted on the symposium
website but will not be published in the formal proceedings.

All page limits exclude references. Submissions must be written in English
and formatted according to the standard Springer LNCS style, see
https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines

Page numbers (and, if possible, line numbers) should appear on the
manuscript to help the reviewers in writing their reports. So, for
LaTeX, we recommend that authors use:

\pagestyle{plain}
\usepackage{lineno}
\linenumbers

The conference proceedings of PADL 2024 will be published by
Springer-Verlag in the Lecture Notes in Computer Science series.
Work that already appeared in unpublished or informally published
workshops proceedings may be submitted but the authors should notify
the program chairs where it has previously appeared.

Papers should be submitted electronically at
https://padl2024.hotcrp.com


Important Dates
---------------

Paper submission: October 5, 2023 (AoE)
Notification: November 9, 2023
Symposium: January 15-16, 2024


Distinguished Papers
--------------------

The authors of a small number of distinguished papers will be invited
to submit a longer version for journal publication after the
symposium. For papers related to logic programming, that will be in
the journal Theory and Practice of Logic Programming (TPLP)
https://www.cambridge.org/core/journals/theory-and-practice-of-logic-programming,
and for papers related to functional programming, in Journal of
Functional Programming (JFP)
https://www.cambridge.org/core/journals/journal-of-functional-programming.
The extended journal submissions should be substantially (roughly 30%)
extended: explanations for which there was no space, illuminating examples
and proofs, additional definitions and theorems, further experimental
results, implementational details and feedback from
practical/engineering use, extended discussion of related work, and so
on. These submissions will then be subject to the usual peer review
process by the journal, although with the aim of a swifter review
process by reusing original reviews from PADL.


PADL 2024 PC Co-Chairs
----------------------

- Martin Gebser, University of Klagenfurt, Austria
- Ilya Sergey, National University of Singapore, Singapore


Programme Committee
-------------------

Alexandra Mendes University of Porto & INESC TEC, Portugal
Annie Liu Stony Brook University, USA
Anton Trunov Fuel Labs, UAE
Arnaud Spiwack Tweag, France
Daniela Inclezan Miami University, USA
Emilia Oikarinen University of Helsinki, Finland
Enrico Pontelli New Mexico State University, USA
Esra Erdem Sabanci University, Turkey
Gopal Gupta University of Texas at Dallas, USA
Jesper Cockx Delft University of Technology, Netherlands
Jessica Zangari University of Calabria, Italy
Johannes Wallner Graz University of Technology, Austria
Leo White Jane Street, UK
Magnus Myreen Chalmers University of Technology, Sweden
Manuel Carro IMDEA Software Institute, Spain
Marcello Balduccini Saint Joseph's University, USA
Matthew Flatt University of Utah, USA
Mukund Raghothaman University of Southern California, USA
Patrick Bahr University of Copenhagen, Denmark
Roland Yap National University of Singapore, Singapore
Simon Fowler University of Glasgow, UK
Stefania Costantini University of L'Aquila, Italy
Tom Schrijvers KU Leuven, Belgium
Tomi Janhunen Tampere University, Finland
Weronika T. Adrian University of Krakow, Poland
Youyou Cong Tokyo Institute of Technology, Japan
Zeynep G. Saribatur TU Wien, Austria


Contact Addresses
-----------------

martin.gebser _AT_ aau.at
ilya _AT_ nus.edu.sg

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

Attachment: smime.p7s
Description: S/MIME Cryptographic Signature



  • [Coq-Club] CfP: 26th International Symposium on Practical Aspects of Declarative Languages (PADL 2024), Martin Gebser, 09/22/2023

Archive powered by MHonArc 2.6.19+.

Top of Page