coq-club AT inria.fr
Subject: The Coq mailing list
List archive
[Coq-Club] (Extended deadline) CfP: Automated Program and Proof Synthesis (AP2S at AAAI '24)
Chronological Thread
- From: Kristopher K Micinski <kkmicins AT syr.edu>
- To: "coq-club AT inria.fr" <coq-club AT inria.fr>, "hol-info AT lists.sourceforge.net" <hol-info AT lists.sourceforge.net>, Garrett E Katz <gkatz01 AT syr.edu>
- Subject: [Coq-Club] (Extended deadline) CfP: Automated Program and Proof Synthesis (AP2S at AAAI '24)
- Date: Sat, 2 Dec 2023 04:52:26 +0000
- Accept-language: en-US
- Arc-authentication-results: i=1; mx.microsoft.com 1; spf=pass smtp.mailfrom=syr.edu; dmarc=pass action=none header.from=syr.edu; dkim=pass header.d=syr.edu; 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=5L5Q2oijXuDOGF3FG2jr6ZgPkhJkCJLatR+H6sP78o4=; b=FPIEjVd4oCZnCZGM/MfRtrhbKj0YahmdzPYgdqV2BW0MU1d3tMVQlssmAPf3QLHpDzuBUWFzHqszPSOiPkgCQ2CgdTwHoMm7hg9KHn97GGaj52+9MRwZjCzXjpMDLDDNt/cUNzi0f8cLOorDeJ7CgRuxnKSfsbELJ7vetLNjtAypgGy7dmPM9CrplC6hKs4gl63MZ0/GPMPtdKq2MMvY6bpRS+Y46aAOZiw1CwTGjYamtnJtGBYxFLUo1VmSvABu2HXo9vlcgCCfzRSlAYIocu2AVkHeIlFkBiWovxY8gTH6eSOBmFYBYjmGBig2GfYDICONQh25YdfKRLLBHV5AqA==
- Arc-seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=dq847pRv6j6G7S9IEuYv3ddlAEXeXcJrmGnuznuDp3+x57zauZKlBmoU1DkA0Mqlw6wiZ9E25Bl+1AtS2unCWW+eVnQ2tXTMaodsVGlR/fMXrk91M+gAnQSUvhFSB5gQA18dQilrVbJXckEZpau+PItkTl57pxMZhKKtRnPWeripnKRdvM0FzZFxQ/CxYFwaA/PeVwSp8Sn35hX8R8UWAtve72sy3brl3dW/ylKdylnuEIAb9OMqRmer5xBDWTydBxzqWOgk4cnsAejolJsw+OJb4c06L9bOmgl0e6z9SiRu6kGyDcURX75Co0A3G8MxWPbOADHAknOKolVCvCODXA==
- Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=kkmicins AT syr.edu; spf=Pass smtp.mailfrom=kkmicins AT syr.edu; spf=Pass smtp.helo=postmaster AT NAM12-MW2-obe.outbound.protection.outlook.com
- Ironport-data: A9a23:sP5eAKjutW3H9jmGj6mHXKFGX161DxsKZh0ujC45NGQN5FlHY01je htvWW+BOa3eNGb3Ld4jaIq280kOsZXVyN9hTgQ4pSxhE3hjpJueD7x1DG+gZnLIdpWroGFPt phFNIGYdKjYaleG+39B55C49SEUOZmgH+a6UqieUsxIbVcMYD87jh5+kPIOjIdtgNyoayuAo tqaT/f3YTdJ4BYqdDpIg06/gEk35q+r4mtB5gBWic1j5TcyqVFFVPrzGonqdxMUcqEMdsamS uDKyq2O/2+x13/B3fv4+lpTWhRiro/6ZWBiuFIOM0SRqkQqShgJ70oOHKF0hXG7JNm+t4sZJ N1l7fRcQOqyV0HGsLx1vxJwS0mSMUDakVNuzLfWXcG7liX7n3XQL/pGJlorbIkJ981OAUZH/ +c4NDMLXhamvrfjqF67YrEEasULCuDOZdlan046iDbTALAhXIzJRLjM6ZlAxjAsi8tSHPHYI c0EdT5oaxeGaBpKUrsVIM5m2r7w2T+lL2Ee+QL9SakfuwA/yCRy073sO9vTYfSRVN8Tk0qFz o7D1zuiWEhBbITPodaD2muTou7uvxzdY9gTSLD7xsA3jQS5nHNGXXX6UnPg+qPl1SZSQel3I EsNvyEqsKIa712uVtC7XhuioXfCsAR0ZjZLO+gz6QXIz7WO5Q+cXzIDSGQZOYxgs9IqTzs30 FPPh8nuGTFkrLySTzSa66uQqjSxfyMSKAfueBPoUyMv+MSypJA+pSvPad9pC46pjdvFHxTJl mXiQDcFu50fissC1qOe9F/Bgi6xqpWhcuLTzlSPNo5CxlIhDLNJd7CVBU7nAeGsxbt1o3GEt XkA3s2BtuYHCMjXkyrXGLRdWra0+/yCLTvQx0Z1GIUs/Cis/Hjlep1M5DZ5JwFiNcNsld7Vj K375lI5CHx7ZSHCgUpLj2SZVp5CIU/ISI2NaxwsRoASCqWdjSfelM2UWWae3nr2jG8nmrwlN JGQfK6EVClCUPg6kWboF7pFjdfHIxzSI0uCHPgXKDz2iNKjiIK9Fe1UbzNik8hlsv3d+lmFq 76zyePRlEoFDbyWjtbrHX47dgtQcSdT6WHers1cbOmYJQR6UGomEee5/F/SU90Nokihrc+Rp ivVchYAljLX3CSbQS3UMSoLQO20Av5CQYcTZnFE0aCAgCR4Pu5CLc43K/MKQFXQ3LY6kaApF 6FbJpjo7zYmYm2vxgnxpKLV9ORKHClHTyrXV8Z8SGFnJsYydB+D4dL+YArk+Q8HCyf954N0o KSt2kmfCdAPThhrRpSeIv++7UKDjV5EksJLXmzMPoZyfmfo+9NUMCDftKI8DPwNDhTh/QGk8 TiqLy0Wn9SQnL9twuL13fiFi6yLD9pBGlFrGjiHzLSuagjf0GmR4a5Bd+eqbz3tdX7Gx5/7R ORKzsPTNO8Ms0ZKvrFdTZdq7/MazPn+q4BKyj9LGC3wUG2qLbd7M1+E98VrnY9c9I9z4AeZd BqGxYhHBO+vJsjgLm80GCMkSeayjdcvhTjY6KUOEnXQvSNY0uKObhRPAkOqlidYEbpSNbEly 8cHvOo9yVS2qjguA+a8ohFkzUa+BV1ebPx/rbAfOpHhtSQzwFIbYZD8ND7/0KvSV/pyaHsVM h2mr4ucoY9Dx3jyUWs5TlnM+ut/ua4gmj53yH06GlDYvead29EW2kVK/CUVXzZl6ExN89hON 1hBM2x3IqSz/AlUuvVTYlD0Gy99KU2Y3mfT12o2kHboShj0d27Vc0w4F+W/3GEY1GN+WQFmp KG9yT/DbyTLYMur/C8WXB88p9PBU9BOqw7mnuq2FZ+/G6hhWyLv2POzbzE28xHIUN04lRDFr 7My/cJbS67yBQgPqYIVVqiY0rUxTkifBWpgGPtOwoIALVv+ShqThwecDl+XQdxcAcDF6mq6A JFKCuMTck3mzweIjDQQJZBUEo9OhPRzueYzIOL6F1AJo560j2RMopnP0gPcmWVyYdFlsfhlG 7PrbzjYT1Ch3ypFqVTs8vtBFHGzO+QfRQvG2+uwzuUFOrQDvMxocmAwyrGEhGqUAiQ24yOru B7/WIGOw9xA0YhMm67eIpdHDSiwKvLxU72s2yK3uNJsc9jOEJnvsyU4l1rZBDlVbIAhA4lPq bewsdDMzBzkupQyWDvngJWvLfRCyvize+t1CfjJCkdmsxGMY+LW2CtbyVuEccRItPh/+viYQ xCJbZrsVNwNBPZY6n5nSwlfNBc/GanHT7rSmhnkjvWTCyoy1R7MA8On+ETIM0BaVH4sEL/vB jDkv82B4ohjk71NIxsfFtdkKZNcC33ya5sMLtHem2GRMTi1vwmkpLDnqysF1RjKLXu1SODB/ pPPQ0nFRiSY4a3n4olQjN1vg0cxEn14vOgXe3Ad8f5QjxSRLjYPDcYZAKU8JqBkqA7A/7CmW 2iVd0onMzv3Yhpcexal4NjDYBaWNtZTBvjHfA4W72GmQAboIrifAYlR1DZquFZ3XTrB8NuJC /8j/l/IAxzg5a0xGMgy4KW3j94yk7mejjgN9FvmmsP/PwcGDP9YnDZ9FQ5KTmrcH9uLiEzPI nMvSHtZRF2gD3T8CttkZ2UfDSRxUOkDFNn0RXznLBfjV4SnIClo7tTaYru294JZKcMAKfgJW G/9QHaL7yaOwHsPtKA1utUvx6hpFfaMGcv8J6jmLeHXt7/l8XwpZqvuggJWJPzOOiYGe78eq tVoy2MvHgKIJF05NHi+11AS45woOp4TJ2ihseM8zAMqVTQi3sKfdhS3pO4+xVcctIC713hlr PwugIp9brFYWPYIZdWzixjDmmG6PA==
- Ironport-hdrordr: A9a23:Yh8IY65S/nS8SFzCcgPXwK3XdLJyesId70hD6qkRc203TiX2ra qTdZgguCMc6wxwZJhDo7690cC7KBu2yXcS2+Us1NyZPTUO1lHGEL1f
- Ironport-phdr: A9a23:qgk2VROyahO4HHTbracl6naHBRdPi9zP1u491JMrhvp0f7i5+Ny6Z QqDv6Ur1QCRFtqAo9t/yMPo8InYGlY8qa6bt34DdJEeHzQksu4x2zIaPcieFEfgJ+TrZSFpV O5LVVti4m3peRMNQJW2aFLduGC94iAPERvjKwV1Ov71GonPhMiryuy+4ZLebxtLiTanfL9/L gm6oQrTu8QYnIBvNrs/xhzVr3RHfOhb2XlmKVWPkRji+8y+5oRj8yNeu/Ig885PT6D3dLkmQ LJbETorLXk76NXkuhffQwSP4GAcUngNnRpTHwfF9hD6UYzvvSb8q+FwxTOVPczyTbAzRDSi8 6JmQwLmhSsbKzI09nzch9duh6xHvh2uux1/w5bVYI6LMvp+Yrjdds4eSWZYQ8pdSzBNDoa6Y oQIEuQBIP1Yr5HjqFQSsRuwCw6sBOb1xT9JgH/9wKk23uslHA3D2gErAtAAv2nOrNjtNKkcT /27zLXGwzvAc/xY1jjy5ZPUchA4vf2AQa58fdbMxUQpCgjLjk+QqYvgPz6N0+oNqWmb7/F8V eKok24nqx9+oiKyzckpl4LHgYMVxUzF9SV/24Y1Jty4Q1N8bN6nE5tQsiCaOJd3QsMkWGFlo z06y70cuZKhYicF1YknygfZZveafIeG/gjtW/yNITdkmn1lYrS/ig6w/EauyODyVtS43VRUo idGnNTCuG4B2hPX58WZRPVx40Os1SuP2g7T5OxIP0A6mKTGJ5M8zbM+mIYevEvBEyL0nkj9k aGYdkIh+uey6uTnZK3rqYWGOIBuiwHyKKMumtawAeggPQgOXnSb+eSh1LL450H5QbJKg/srm afaqJDXPcsWqrKjDwNIzoou6QyzAymp3dkXh3UKKFFIdAqZg4XoJ13DLvX1Aeqjj1u3kTpmw v7LMqH8DpjIIHXOkLLscLNg50Nezgc40M5S55ZJCrEaPPL8RFXxusHZDh44LQO52/rrBdNg3 Y0EQ22PGLWWMKbKvF+I+O0vJ+6MaZcNtjvhLPYp+uDigWY+l1AdY6WlxJwXZ2umEfh8JEWZf GbsjcwGEWcXuAoxUfbmiEWYUT5Ue3a9Qb4z5i06CIKhC4fPXIetgKGd3Ce/GZ1WYWNGBkqQH nfvcoWIQ/YMaCSMLc99ijEJWqStR5U82R2ytgL20aRrI+Xb9yECsZ/u18B55+jJmhEz8Tx0A d6d02aIT2xsnWMIRDo23KFjrkx8zFeDyrN1g+dYFNxJ/f9GTBo1NYPEw+x8EN/9QhjBccuRS Fa6XtWmBik8Qs8pz98Uf0l9A8mijgzE3yeyH7AVkKWLCIUo/aLYwnj+PN1wy23G1akkl1kpW NFDNWyghq5l9gjcHZTFk0uDl/XiSaNJliXK7SKIyXeElEBeSg95F6vfFzhLbUzP6N/9+0nqT rm0CL1hPBEXjYbIKqxOL9zvg1JuQPb4JM+YeGWsgWy9CxGSyb7Kaof2MS1J3CLZTUkCnQc7+ XedKRN4HSC8uWnTAjt0Gl+pZU7wp602h3qhVEIo00mnJ25oy6j9rhEWjOCOE6o7xaMe/iott mMnMky62of1Edubuw15fKhGKfB1xVZM1GTCtA01ap+jKqFph1gFWx9mpQXj2wghWdYIqtQjs H5/lFk6Eqmfyl4UMm7BtXiRErjeK22puQuqd7aTwVbGltCf5qYI7v087VTlpgCgUEQ4oD18y 9cA9Xya693RCRYKF4rrWxM09B17rLDceQEm9pmS2HFxYuGvqjGX49syH6M+zwq4OdJWMaeKD gj3Rs4ZAsmlKeoxs0O4dFQJMP0BvLUsMZaefuCdkLWuIP4mnD+iijFf55th10uX6ydmYsjh+ s9fhtSnhE6AXTq6i0q9uMfqn4wCfSsVAme01SnjAshWe7F2eoEIT2ypJqVb3/1YgJjgEz5d/ V+nXBYd3dOxPAGVdxr71BFR0kIepTqmnzG5xnp6iWNhqK3XxyHIz+n4EXhPcmdWWGlvi0vtK omonpgbWkavdQ0giBqi4w7z2aFaoK11K2SbT11PemD6KGRrU634sbTnAYYH65AtsC5WVv+Ue kGADLPxvlpS0i/uGXdf2CFubyuj6d3ymx13jn7YLW4m8CKfIJkvg02DuJqNFa00vHJOXiRzh DjJC0LpOtCo+Y7RjJLfqqWlUHrnUJRPcC7txIfGtS2h5GQsDwfs+pL70tDhDwU+1jf2ktdwU iCd5hX/Z4jg1qKhGfl2ZA9lCEK2uK8YUslu15A9gp0dwy1QhZaQ/HEGl3zbKsRBn6/ycTBeD S5OyNnT7g//3URlJX/c3IP1WEKWxc55bsW7aGcbss4kx/hDE7zcrLlNnC8u50G9sRqUev9l2 DEU1fop7ncexeAPogskiCuHUPgeGkxRPCqkkBrtjZj2r6ZSZW2ud6OYz1tk292tEfmOrxpdV 3DwZpo5VXMoqJwnbxSWjCG1u9GsccKYdd8JsxyIjxrM6oodYIk8kPYHn2svOG7wu2Ek1/9ui BVv2Z+gu43UY25p/a+/HltZLmipP4VKom6r1/oC2JfGjOXNVt17Fz4GXYXlV6etGTMW7rH8M hqWVSY7sjGdEKbeGgmW7AFnqWjOGtalLSLyRjFRwNN8SR2aPEEajhoTWWBwnZ08FwurwtfJa 1ZjoD0d+xSrz3kEgvItLBT5XmrF8U2raTI1Q5mZNzJN/xsE6kvIe5/W/qd4GCdW+YekpQqGJ zmAZghGOmoOX1SNG1HpOrT9gLuIu/jdHOe1KOHCJKmfseELHend3oqhi8E1tybJLMiEOWNuS uE2ylYWF24sANzXwlBtA2QWj36fM5bd9U36omsv6ZniuPXzBFCzvc3WU+QUaZM3vEnoyaaba 7zN3mAgcW4ejtVUgiaUrdpXlF8K13M3L2XrTetG7WiVC/uP0q5PUUxBYnsqZpIRtvAyglEVa 5yc1oOQtPYwj+ZrWQ1MDQWzw5jwN8JWezrvZhSbVQ6KLOrUfzSTmpOuOPruR+EI17cE70Xo6 2TcTheGXHzLliG3BUqmabge1XjCbhIC4NrveU41UTqxC4+/Ihyjbo0thGVvk+Rt3yHEaTZHY zYkKxsf/PrNt2sdi/F7UQSt91JdJPKf02ac5ujccdMNtOdzRz9zj6Rc6Wg7zL1c6GdFQuZ0k W3ctIwmr1ajm+iJgj1pNXgG4i5Mn56OtF5+NL/x0LBlACyB2S1XqGKaBlINusdvDcDpt+ZI0 N/TmanvKTBEtdXJ4c8bAMuSI8WCVRhpeRbkAz/bCgIZQCXjaTmZ3hQC1qvOqjvE/tAzsdD0l YALS6NHWVB9Df4cBkl/XZQDLJpxQjI4gOubgcoPth/c5FHaQMRXuIyCV+rHXa2pcW7Gy+MYO 11ZkeCdT8xbLIDw1k18Z0MvmY3LHxGVRtVRumh6aRdypkxR8X94R2l12kT/awrr7mVAcJz81 hMwlAZ6ZvwgsTn25FJibFnJoSo7kU8qsc70m3acfCO7f8LSFclGTjH5sUQ8KMaxWwFucQi7h lBpLh/ibpcI1f5FSjoujwXR/5xSBfRbUKtIJgcKwu2abOkp1lIarTi7wUhA5q3ODp4ox25IO da86nlH3Qxkdts8I6fdcbFIwlZnjaWLpia01+o1zVxWNwMX/WiVYiJNpF0QO+xsOX+z5uI1o 1/n+XMLaC0WWvEtuP4v6k4tJ7HK0Xf7y7AaYkGpa77Dd+XI4S6Y05bPGw5411tUxRUdu+Euj oF7NRLTDh5KrvPZFgxVZ5eYb1gNN4wKsiCUJHrGsP2Rk8stY8PhSaawC7fJ7flcg1r6TlwgR 91et51YTJfwiBmKf4C7fNtngV0s/Fq5flzdVaYQIUvZnmtf+JPti8MmlYhFeGNHCD0kY3zuv +TZ+ldx0qrbBI9kMDBHBu5mfjo3QJPowScB5iYZVWDl3L5Bk1qJt2ek9HaXUWC0bsI9Nq2dP Uo+UYjvqztjq/PkhwaPqseMYDygfZFrvtuFgQv7j7CuLqoOCJxC6QLbkYQeQGG2WWnSF9LzP 4L3d4Qncd3zDDC9T0C7jDU2Ccz2OYT0RkBtqRr5X8BZvJTJhFjL2uemBytYFhtt9bhr2Q==
- Ironport-sdr: 656ab80f_WdKqhNv7iq7ewTKQeCCekzJEiuN2D7D5RhDke6/NGyu4w86 U78+PqHbY1ORIsbHb6KP5ZqKKmKa+Q6HJ18Z9wg==
- Msip_labels:
Call for Participation (/Talks/Tutorials)
Automated Program and Proof Synthesis
February 20, 2024, Vancouver, BC (a bridge workshop of AAAI 2024)
Automated Program and Proof Synthesis (AP2S) are two long-standing,
closely-related challenges in AI, recently advanced through the incorporation
of deep learning. However, much research focuses exclusively on one or the
other, instead of leveraging synergies between them. This AAAI '24 bridge
(https://aaai.org/aaai-conference/aaai-24-bridge-program/) workshop, a
continuation of last year's 2023 inaugural meeting, aims to connect
researchers from each sub-field and educate them about the other, including
but not limited to recent applications of deep learning. The workshop will
involve a series of tutorial lectures followed by group discussion.
The focus of the bridge workshop is not to present novel research results,
but rather to foster learning, discussion, and cross-pollination among
fields. We are interested in folks giving a range of talks from tutorials,
positions / cool ideas, and long-term vision for the future of the space.
Website: https://garrettkatz.github.io/ap2s-bridge/
Our informal deadline was Nov 24--we have decided to allow submissions up to
Dec 9. We are really looking to keep the workshop informal, engaging, and
discussion-focused. If you (or a PhD student you know) are planning to attend
AAAI, and you are potentially interested in hybridizing ideas and techniques
from program synthesis, proof synthesis, language modeling, etc... Please
reach out to us: we are happy to discuss and see if there would be a
potential fit.
And please spread the word about AP2S to folks in your circles interested in
theorem proving, program synthesis, and learning. Last year, we had a
relatively small crowd, but there were very lively discussions. It is an
exciting (and timely!) mix of topics, and we are looking forward to this
year's AP2S bridge.
Kris Micinski, kkmicins AT syr.edu
Garrett Katz, gkatz01 AT syr.edu
Syracuse University
- [Coq-Club] (Extended deadline) CfP: Automated Program and Proof Synthesis (AP2S at AAAI '24), Kristopher K Micinski, 12/02/2023
Archive powered by MHonArc 2.6.19+.