Skip to Content.
Sympa Menu

coq-club - [Coq-Club] LPAR 2023 Call for Workshops and Tutorials

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] LPAR 2023 Call for Workshops and Tutorials


Chronological Thread 
  • From: geoff AT cs.miami.edu
  • To: <coq-club AT inria.fr>
  • Subject: [Coq-Club] LPAR 2023 Call for Workshops and Tutorials
  • Date: Tue, 7 Mar 2023 09:57:37 -0500 (EST)
  • Authentication-results: mail2-smtp-roc.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:7Fn5dKKtEeBn/G9sFE+RqpElxSXFcZb7ZxGr2PjKsXjdYENS1mNTz WtMXW2AOq7YYmHxc91/a9y18ElT78fSxtJgHlYd+CA2RRqmi+KVXIXDdh+Y0wC6d5CYEho/t 63yTvGacajYm1eF/k/F3oDJ9CU6j+fRLlbFILasEjhrQgN5QzsWhxtmmuoo6qZlmtHR7zml4 LsemOWCfg71s9JIGjhMsfnb80sw5K6aVA4w5zTSW9gb5DcyqFFOVPrzFYnpR1PkT49dGPKNR uqr5NlVKUuEl/uFIorNfofTKiXmcJaKVeS9oiY+t5yZv/R3jndaPpDXmxYrQRw/Zz2hx7idw TjW3HC6YV9B0qbkwIzxX/TEes3X0GIvFLLveBCCXcKvI0LuTzjU77ZECX8MYYQfpchsIWxS7 sQCN2VYBvyDr7reLLOTQ/Nph98/IcDneogUoTdlzDjcDLArTY2rr6fivI4CmmxpwJAfW6i2i 8kxMVKDaDzPbhpBNH8cE9Q7ne6thz/yfyAwRFe99PdnsjSDk1IZPL7FO/3HQPKxf59uw2XFi 3rMp0j7KEBKDYnKodaC2i713LGTw0sXQrk6H7qhs/VunVe73X0WEBRQVF2hoPD/hFTWZj5EA 0UO/ys1saU7+AqgVZ/4XhS9oTiJsgN0t8ds//MS1EK15un+5jijWmEDERBaSNE6r/csWml/v rOWpO/BCTtqubyTbHuS8LaIsD+/URQowX8+iTwsF1ZauIWzyG0nplefFow5Sv7dYsjdQGmY/ tyckMQpa1z/Z+Yu1qy+/DgraBr3/cGSFWbZCujNN19JAytwfoukfJCl4FSd5u0GKYeQS1jHs XQZ8yR/0AzsJc3U/MBuaL9RdF1M2xpiGGeA6WOD57F7q1yQF4eLJOi9IFhWfS+FyPosdz7ze 1P0sghM/pJVN3bCRfYpPNLoUZt2k/mwSIuNuhXogjxmOcYZmOivp38GWKJs9zmFfLUEzvxnY cfznTiEVidy5VtbIMqeG75Hj+N1rszP7X7VRI721Q+mzavWY3DdTLYMNVrmUwzKxP/snegUm v4BX/a3J+J3CrShPHOOqtZDRb3IRFBiba3LRwVsXrbrCmJb9KsJUpc9GJtxK9Y3rLcfjerS4 HC2V2lRzVe11zWNKhyHZjonIPnjVIp25yBzdyE9H0ea6156a6aW7YAba8QWe5sj/7dd1vJad aQOVPiBJfVtcQ753QohQ6PzlrE/SyTztzmyZ3KkRBMdY69fQxf4/464Xwn3qwgLICmFleo/h LyC1AjKHIYKeCp+Bf2LbMCP8lKVlloekdJUQEHnDIRyekLt0Y4yMA33rKY9DP8tICX55Amx9 lipEzZCgMeVuK4z0t3CpZ7cnreTC+EkQ3ZrRTjK34i5JQzx3zSFw7YZdM2qYDqEdmf/2Jv6V NVv1/umbcE2xgdbgbFdTYRu47k1veb0hrlgyQ9hInXHQnKrBp5kIViExcN/jbJM9JAIpTqJX l+zxfcCNYWrIM/FFHsjFDghZMmH1tAWnWDc1uRqAUPY4CQswqGLf38PNDaxiQtcDoBPDqUb/ ckbtvU71SmDmzsxE9Pfjilr52WGdXMBdKM8t6AlOozgiyt161RscJbjDj36z6+PWf4RMHhxB yKeu67CjYtf23j9SSMSFGfM78VZl58hqBBH935cBlWry/7upO474w1VyhszFj9q9xRg1/liH GpBO2leB7S8zx0xiOdtB2mTShx8XjuH8UnP+n41vWz+TXjwcFfSLWc4aN2/zGpA/01yJjFkr aylkkD7WjPXfeb07Cs4eWhhj9fBFdVR1AnzqPqLLvS/PasRQGTa2/e1RG8ytRHYL9s7hxTHq clU7e9AU/DHGhBKkZIrKbux9Oo2eEifKX1gUMNR2voDPVvhdQGY3RmMLEGMef1xGcHazH/gC +FTIpNgahfv8gePsTEROoAUKZBWgvMCxYQPa5HrF0E8opqdqTtY67fN/Bf6hGUUQMhcrvxkC 4LOdgCtFn6bqmtUllTs8uhFGDucSvsVaDLs2Nua9L0yKKsCl+V3YGcw+LeQlFeEAjtNph67k lvKWP7L8rZE149pobrJLoxCIAeFcfXIS+WC9VGIgeRkNN/gH5/HiFIIlwPBIQ9TALo2XuZ3n 5SrtPrc/hvMnJQyYlDjt6ixLYt7zuTsY7MPKePyFmdQogWaUsy14xcjxXGxGaYUrPxjvPuYV ymKQ+ruU+5MV9lkkSgfL2AUFhsGEK34Y5vxvS73/bzGFhEZ1heBN9+9s2PgaWZAbCITJpniE UnOtu2z4sxD5pF5bPPe6yqK37cjSLMiZUcnSzE1nTCCC2iznl6Ltv3pngFm7DDCD3jCHcrni X4Aqt4Sazzq0JwkDvkA22CxgvHTJH1mx+wxd0ccvdN6llhWyUYYeP8FP8xu5o58yUTPOVKRW N0JRGA5TyD8VDFFNxjw/bwPm+tZ6vMmYr/EG9Diw69Yh+paym9N7HuNOxqMO0tLRwY=
  • Ironport-hdrordr: A9a23:oo4voqsySAtyVElDUpKRwJYx7skDHNV00zEX/kB9WHVpm6Oj+f xG8M576faLslkssRgb8LjqBEDqexnhHPBOjLX5RY3PYDXb
  • Ironport-phdr: A9a23:hmIOAB1ehRhZTvzUsmDOTw8yDhhOgF0UFjAc5pdvsb9SaKPrp82kY BaCo6801BSXBs3y0LFttan/i+jYQ2sO4JKM4jgpUadncFs7s/gQhBEqG8WfCEf2f7bAZi0+G 9leBhc+pynoeUdaF9zjaFLMv3a88SAdGgnlNQpyO+/5BpPeg9642uys+5DfeRtEiCehbb99L Ri7oxjau9ULj4dlNqs+xRzFr2dSde9L321oP1WTnxj95se04pFu9jlbtuwi+cBdT6j0Zrw0Q rNEAjsoNWA1/9DrugLYTQST/HscU34ZnQRODgPY8Rz1RJbxsi/9tupgxCmXOND9QL4oVTi+6 apgVRnlgzoFOTEk6mHaktF+grxcrhyiqRJxw5XZbJ2JOPZiYq/QZ88WSXZHU81MVyJBGIS8b 44XAuoOI+lYqIf9p1UVoBSiHgmgHubvyj5SiX/z3K02yfouHhzb3AEmAtkBv2jaos/vO6cOT eC60rPIzTPbYv5L2Drw6ofFfxMvrPyRU7x+f8ncxEshGQ7BgFudqpDoMjCI2+kOsWWV4fRsW +yvhWMjtw1/rDahytswh4fGhI8YzE3P+yt+wIYwP9K4SUh7bMa6H5RKrCGbN5d5QsM4TGFpo iY20LoGuYS0fCUM1Z8pxAbfZuSaf4WM/B7vTuicLSpiiH9mfL+znRe//E69wePmTMa0ykxFr i9dn9nMqH8N0xvT59CdRftn+0eh2C2P1xzN5e5ePE84j7bUJII6wrIqk5oTsF7MHir3mEnsk qCZa1gk9vCp6+ThfLrmuoeRO5Jwhw3gKKgjlNGzDf47PwUKRWSW+Pyw1Lj58k34RLVKgOc2k q7csJ3CKsQUuKm5AwFb0os49xm/FC2q0NEZnXYdKVJFeQiLgJb0NFHTOPz4C+ywjEy2kDh33 /DGIqHhApLVI3TeiLvhZ6py61ZAyAovytBS/45bCrYYIP7qRkDxsMHYAQQiPgyvw+fnDc192 ZkEVWKOBK+ZKqLSvkWS6uIhOenfLLMS7WL2LOFg7Przh1c4n0UcdO+nx81ERmq/G6FpLkKXb 1LnmZEEEG4Pv0wzQPG52xW5TTdPaiPqDOoH7TYhBdf+ZW+iboWkgbjbmTy+AoUTfGdNTFaFD XbvcYyAHfYKciObZMF7wXQfTbb0bYgn2Fm1sRPijaJ9J7/b9yoWu7roz55w5uTWlFc/+SEnR 9+F3TS2SG9osGoJQ3ct2bxn50l0y1ONy6991vNVEtJdz/hSFAI7PJvdieF2FoO6QRrPK/GOT lvuWdC6GXcxQ9Y2lscJeFp4Es6+gwrr1jCvAqQJmrWHQpc/6eTZ3nH0JoBwx2uuOLAJqV4gT 4MPMGSngvQ67A3PH8vTlE7fka+2dKMa1SqL9WGZzGPIslsKGAh3Gb7IW3wSfC605Zzw+1/CQ rmyCL8mLhoJyMiMLbFPY8HoilMOTenqOdDXaWa802mqAhPAyrSJZYvsM2ITuUeVQEcJlA4d1 X2dcw0/DyKg5W/SEX0mFF7iZV/t7fgrsGmyHQc/ywCHaVEk1qLgo09Pw6fFDaNCmOxX3UVp4 y95F1u8wd/MXt+Jpg47Ob5Zfct4+lBMk2TQqw16OJWkaaFknF8XNQpt7CaMn116DJtNlc8yo TYk1g13fOiX3VRPeRuTxtb1O7TSKy//8A3lOMu0khnOlc2b/KsC8qFypFjksg+BHVFk9nRu1 tgT3neBrMaCHE8ZVpT/VVwy/h5xquTBYyUz0IjT0GVlLai+tjKqN8sBP+wr1jipftMXcKaNF QuoVtYfG9DrMush3V6gchMDOulWsq8yJcKvMfWciuanO+NpnTTD7ywP54413U+L+SRUQfWO2 pcMxvDe0weaHzbnxFanucT2n41ILS0VVmy41WDoCZVQaat7YYtuay/mepztgI4nwc68HSAQ/ UXrH14c3c61ZReeJ0fw2wFdzwVfoHCqnze50y0hljgoqqSF2ymdpoaqPBEDO2NNWCxjlQK1c NLy1IlcDBnuMVtM9lPt/0vxyqlFqb4qKmDSRR0NZC3qNyR4VaD2sLOeYslJ4ZdusCNNUe36b 0rJL9y16xYczS7nGHNTgT4hcDT/8Jr0mBJ0oGmGanNypX/YP8x82F2Mgb6UDe4UxTcASCRi3 HPYC1+yMfGi5pORlp7Gs6azW3/rBdVDNCLsy42Hri6y42ZnVAa+k/6EkdriCQEm0CX/2ooPN 22AvFPmb4Lszaj/LfN/cxwiGgrn88QjUNI2gs4qiZoXw3RfmpiF4S9NjzLoKdsCvMC2JHsVG WxSkoSTu1GjiBwldyjBxpqlBCzHk404OID8OT9Qg3t17sZBDLqY4e5zhjN75FW/qg3VbL52m TJ4q7Nm/nceh6thVBMF6CKbD/hSGEBZOXapjBGU95Wkq64RYm+zcL+23U44nNa7DbjErBsOE HD+MowvGyN99KAdeBrFzWHz54f4edLRccNbtxualA3FhvRUL5R5n+QDhC5uM2bw9XM/zOtzg Rtr1JC89I+JTgcltLq+GQJdPybpatk78yvojL1Ck8+amYukBdNkGzwOXd3lQe/pWDMeuPL7N hqfRT0xrnDIfNiXVQSb6UpgszfOC8XyZivRfyBfnYQkGkr4RgQXmg0fUTQkk4RsEwmrwJaka 0Jl/nUL4VW+rBJQy+VuPh25U2HFpQ7uZC1nLfrXZBdQ8AxG4F/YdMKE6ecmVS5V+ZOvhAeWb GmabgFJS2wFRwbXYjKrdqnr/tTG/+WCU6CmKODSZLyVteFEf/6SwJO0zoZv83CHPd7JO3hrC vx910ZeFyMceYyRi3AETCoZkDjIZsiQqUKn+yF5mcu49eziRAPl4Ybn4156Os4p/hG/hKbFO uKN1n4Rwddw34kJxGTUxbETmlUZkGdrdjCoEPINuTOfFMo4dYdcFFgeaip2NY1F479uhWFw
  • Ironport-sdr: 640750e8_wnA5tR1Rgq83FRy7OwOlNdTc6srVFJZfza8Fx6Xixb0w3hX 7jT4/h866AcHOYvnfA8dqhg8umpbKN3SjqQfH2A==

LPAR 2023: The 24th International Conference on Logic for Programming,
Artificial Intelligence and Reasoning

Universidad Nacional de Colombia-Manizales
Manizales, Colombia, June 4, 2023
https://easychair.org/smart-program/LPAR2023/

CALL FOR WORKSHOPS AND TUTORIALS
https://easychair.org/cfp/LPAR2023-CFW

LPAR 2023 workshops and tutorials will be held either as one-day or half-day
events. If you would like to propose a workshop or tutorial for LPAR 2023,
please contact the workshop chair via email (mbromber AT mpi-inf.mpg.de), by the
proposal deadline.

To help planning, workshop/tutorial proposals must contain the following data:

- Name of the workshop/tutorial.
- Brief description of the workshop/tutorial, including workshop topics.
- Valid web address of the workshop/tutorial.
- Contact information of the workshop/tutorial organizers.
- An estimate of the audience size.
- Proposed format of the workshop/tutorial (for example, regular talks, tool
demos, poster presentations, etc.).
- Duration of the workshop/tutorial (one-day or half-day).
- Potential invited speakers (if any).
- Procedures for selecting papers and participants.
- Special technical or AV needs.
We will process proposals as soon as they arrive. The earlier you send us
your
proposal, the earlier you will receive a notification of acceptance/rejection.

Important dates
---------------
Submission deadline: March 31, 2023
Latest notification of acceptance: April 15, 2023
Workshops: June 4, 2023


  • [Coq-Club] LPAR 2023 Call for Workshops and Tutorials, geoff, 03/07/2023

Archive powered by MHonArc 2.6.19+.

Top of Page