coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: Ori Lahav <orilahav AT gmail.com>
- To: coq-club AT inria.fr
- Subject: [Coq-Club] SAT/SMT/AR + CP Summer School
- Date: Mon, 18 Apr 2022 21:26:42 +0300
- Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=orilahav AT gmail.com; spf=Pass smtp.mailfrom=orilahav AT gmail.com; spf=None smtp.helo=postmaster AT mail-il1-f173.google.com
- Ironport-data: A9a23:YaHAgqpc3lxbH447cfr08Ass5ZleBmIkYxIvgKrLsJaIsI4StFCzt garIBmFa6uINmHzedhyaNjg9U4F7MKHzoUwQQdoqS8zQi0S9+PIVI+TRqvSF3PLf5ebFCqLz O1HN4KedJhsJpP4jk3wWlQ0hSAkjclkfpKlVKicfHkZqTZMEE/Nszo68wICqtMu0IDR7z+l4 4uo+ZWDYQ/9gVaYD0pNg069gEM31BjNkGhA1rAOTagjUIj2yhH5pLpGTU2AByOQrrt8RoZWd M6fpF2NxV41yj92Yj+TfhkXRWVRKlLaFVDmZnO7wMFOiDAazsA5+v5T2Pbx9S67hh3R9+2dx umhurS/bAAgM/zemd8/SkJAORNwD6BZ3rT+dC3XXcy7lyUqclPpyvRqSUAyZMgWo7ksR25J8 vMcJXYGaRXra+CemurqDLkxwJ19co+yY9h3VnJIlVk1Cd4hW5HHSqXD+/dX2T4xgoZFGvO2i 88xMmA2M06fO0Un1lE/M5UEhcytvkfETSxgr0+/h6kXyVbyw1kkuFTqGIONJobiqd9utk2fv yfN+3nzKgoLMcSWjzuD6HOlwOHV9R4XQ6oXHby8s/9u2RidnzNIThIRUlS/rL+yjUvWt89jx 1I89Q8ppKVj5k2QbMCmRzeKrkyJoTgXYo8FewEl0z2lxq3R6gefI2ELSD9dddAr3PPaoxR6h jdlePu5VVRSXK2ppWG1rejL8GvjUcQBBSpTOn9eFFptD8zL+dlr1nryosBf/LlZZ+AZ9Bn1y jGO6Sk63vAd1JFQkaq8+l/DjnSnoZ2hou8JCuf/Dj3NAuBRPtXNi2mUBb7zs68owGGxEAHpg ZT8s5LChN3i9LnU/MB3fM0DHauy+9GOOyDGjFhkEvEJrmrwoyT4LdEAvWkmfC+F1/ronxe5M Cc/XisBtPdu0IeCMMebnqrqW596kvOwfTgbfqmMNIsfPvCdizNrDAk3PRLKt4wcuEcrlq47N P+mnTWEXB4n5VBc5GPuHY81iOd1rghnnD+7bc2lknyPjOXGDFbIGO9tGAbfNYgRsfLUyC2Lq Yo3H5XRkH13DrauChQ7BKZJcjjm21BgVc6owyGWH8bfSjdb9JYJUqaPmuJwJ9Y4x8y4VI7gp xmAZ6OR83Kn7VWvFOlAQikLhGrHUcktoHQlEzYrOFr0iXEvbZz+vqgafpozO7Ig8bU7n/JzS vAEfeSGA+hOGmyXoWRDMcGlodwwbgmviCKPIzGhP2oycptmcArDpY3pcw7pwy8RA3flrsA5u bChiljWTMNbFQRvBcrbcty1yFa1sSRPke5+RRqaLdxaeUGq+49vcnSjgvgyKsAKCBPC2jrKj 1bMUUlE/bHA+tZn/sPIiKaIq5aSP9F/RkcKTXPG6buWNDXB+jXxzIJFVtGOd2+PWW7x/pKke rwJnfzxNfswnGFKvZB5JLBlwP9s/NDovbJbkl1pEXiXPVSmDrRsfiuP0cVV7PEfw7ZYvU63X hvK9IAFYvOGP8TqFFNXLw0gN7zR2fYRkzjUzPI0PESqu3MtreTfCR1fb0uWlShQDLppK4d5k +0vj8gbtl6kgR0wP9fa0y1ZqzaWInobX/l1v50WGtW32A8iy1UHYJiFTyGvv8rJZNJLPU0nZ DSTgfOa1bhbw0PDdVs1FGTMjbUB38VQ4EgSwQ9QPUmNl/rEmuQzgE9b/wMxQ1kH1R5Aye9yZ jVmOkAdyX9iJNu0aBWvnlxAGj2twDWc8031jloNzSjXFhbzEGPKK2I5NKCG+0VxH6ewuNRE1 Onw9YoneW+CkALNMu8aVktsqvilRtt0nuEHsN7yBNyLRvHWfhK86pJDpgM0R9/PDsY4hUmBr u5vlAq1hWsXKgZIy5AG50KmOXj8hfxKyKGugR2swU/RIVzhRQ==
- Ironport-hdrordr: A9a23:RhGa/qxTUTzKTZYhBEjUKrPwIb1zdoMgy1knxilNoH1uA6ulfq WV9sjzuiWE6wr5NEtBpTniAsi9qBHnhPxICOAqVN/IYOCMghrMEGgN1/qH/9QiIUHDHyxmuJ uIv5IQNDQ4NzZHsfo=
- Ironport-phdr: A9a23:iHlcVRRyCzv7Wvl51/4QpD1Bx9psoqyVAWYlg6HPa5pwe6iut67vI FbYra00ygOTB8OBs6sP0rOL+4nbGkU4qa6bt34DdJEeHzQksu4x2zIaPcieFEfgJ+TrZSFpV O5LVVti4m3peRMNQJW2aFLduGC94iAPERvjKwV1Ov71GonPhMiryuy+4ZLebxtWiDanf79+M Ai6oQrMusULgYZpN7o8xAbOrnZUYepd2HlmJUiUnxby58ew+IBs/iFNsP8/9MBOTLv3cb0gQ bNXEDopPWY15Nb2tRbYVguA+mEcUmQNnRVWBQXO8Qz3UY3wsiv+sep9xTWaMMjrRr06RTiu8 6FmQwLvhykaKj4563nXhdJsg6JHrhyhoBl/zJTVYIGTKfFyeqzQcNcfSWdHQ81fVTFOApmkY oQAD+QPM+VWoZTjqVQSthaxHxWgCfn1xzNUmnP736s32PkhHwHc2wwgGsoDvm3OrNX0KawcV /q6zKnSwjXdcvhb3jD96JLJchAlu/6MXah/cdTKxEkgEgPKlFSQqYj/MzyJ0eQNtnGW4ux9X u2gl2ApsRt+oiSzxsgykInJgJoYx07a+Sh3w4s4JMG0RU5mbdOqEZZcqSOXO5VyT84+Q2xlt ig0xLMYtJO0YiQHyZoqyRHeZvKJb4WF/hHuWeSeLzp+mXlrdrW/hxOo/kihzO3xTsa00FdWr ipBiNbDrWoB1x3U6sSfRPt9+V2h2TOU1wzJ5eFEJV47mKzGIJAi2r49joQfvVjHEyPsm0j7j LWaelgl9+Wp8ejrf7frq5GaOoRpkA/xKL4ulda6AekgMggBQWyb+eOk2b3m50L5QbFKguQ3k qndrZzWPMobqrO7DgJbyIoj5BG/DzCp0NQcg3YLNk5KeBWCj4TxOlHOJu73DeunjliyjDtmw +rKM77hD5nXM3TOkbbscaxg50Nexgc/1dVf6IhVCrEFLvLzQEjxtNnAAx8+KQy0wuLnB8991 owER2KCGaCZMKbIvl+J4uIjOfWDZIgQuDrlLfgq/ObhjWUlll8FYampwZwXZWilEvh+OUWWf WLsgssdEWcNpgcxUOvqiESbXTFPY3ayQrkz6yogCIOmCIfDXpqijKaA3Ce9BJ1WZ3pJBkqCE XfyJM24XKIHbzvXKct8mBQFU6KgQskvz0KArgj/np19L6Lw8y0Rq9q308J04+TTnA8a+jl9D sDb2GaIGTIn1lgUTiM7ifgs6Xd2zU2OhPQp6xQ5Pdla5vcTFxw/KYaZ1etxTdb7RgPGeN6ND legWNSvRz8rHZoq29FbRUF7Fp25iwzbmTKwCuoSjb2PDZw97IrT2nHwI4B2zHOVnLI5gQweS 9BUfXajmrY58gHSA4DTlEDMkLyrca0c1TDl+2KKzG7It0ZdA0ZrSauQe3cZawPNqMjhoEPPS 7j7EbM8Lg5I0tKPMINPY9ztyFRCHbLtYYuFJW22nGi0CFCDwbbkgJPCXWIb0W2dDUEFl1pW5 nOaLU0kASznpWvCDTtoHFapYkX28OA4pmnpBkkzhxqHaUFszd/XslYcmOCcRvUP37kFpDZpq jN6G0y41s7XDNzIrhRofaFVa9cwqFld0meRuwt4N52mZ6ds4zxWOwNtvkfn1xxpIopFmMku6 ngtyUs6KK6V1k9AayLNxYr5afXcLmj/+gzqaraDgAmPlobLvP5RtrJh9A6w2WPhXlAv+Hhmz dRPhn6V55GQSREXTYq0SEE8sR5zu7DdZCA5oYLSz3xld6eu4Vqgk5okAvUozhG4cpJRKqSBQ UX1CcweDsinNsQlnlGoalQPO+UYp8tWd4u2MuCL3qKmJrMqmyiniW1H6Z5V3UeF9i46QenNl cVN07ST2Q2JUC35hVGqv5XsmIxKUjoVG3K21SnuAIM5irRaRY8QEi/uJsS2wo87nJvxQztC8 1XlAVoa2civcB7Ublrn3AQW215F6XCgnCK5yXRznVRL5uKYxi3KyuTrajIIP2dKQC9pilKkL YWvjt8cVVSldEBzzErjtRu8nvYF4v0gdCHaWg9QcjLzLn1+X6fV1PLKeMNJ5J4y8G1WXOm6f VGGW+v4qhoe3TnkGjgWzzQ6eje2/5ThykYi2STNcTAq8iSfIJ4rlnK9rJTGSPVc3yQLXnx9g DjTXB2nOsWxuM+TnNHFu/y/UGSoUttSdzPqxMWOrnjehyUiDBuhkvS0gtCiHxI91Hqx0MNrU SzIpQjUbYzi1qD8OuViNBoNZhe0+49hF4dyn5FlzpYK2HwThpyL1XUCmGb3d95c3OitJGpIT jkNzdnP5QHj00A2NXOFybXyUXCFy9dgbd23MQZ0kmotqtpHA6CO4PlYjDN49xCm+BnJb6E3z X8NjOEj43kAj6QVtRoxm2+DV6sKExA9X2SklgzUvYvj6vwGPCD1Lef2jA0kwZigFO3Q/F0aA i2iPM58RWkoqZwueFPUjC+ttMe9IIOWNZRL8UfM9nWIx+lNdMBvyLxQ2XshaTq75Tp/k6Y6l UA8gsv85dTBcjQ3uvr+W04QNyWpNZxPvGi30OAG2J7Rht7KfN0pGy1XDsKwHbTxT21U5bK/c FzXWDwk9iXCRuGZRF7Drh8g9zWWTdiqLy3FfiFIi4U/AkDHdAoHx1lLOVdy1p8hSlLwnZKnL Rc/v2FLoAa/80oEy/o0ZUOmDCGF/1buMW1yEN/GfVJA5wVGrS85KOS46eR+V2Fd95yl9kmWL 3CDIh5PBicPU1CFAFbqOv+v48PB+q6WHLj2KfyGeriIpeFEMpXAjZuyzotr+SqNPcSTLzFjC fM8wE9KQXF+HYzQhTwOTyUdky+FYdScoV+w/Sh+r8b39/qOOkqn/YyUF75bKsli4TiziKaHc u+U3WN3cGkDkJwLwnDMxf4U21tTwyBiej+xEKgR4C7ASKWD/80fRxUfai51KI5J9/dmhlgLa ZOd042rkOcn1a1QaR8NT1Hql8C3aNZfJmi8MAmCH0OXLPGcIjaNxcjrYKS6QLkWjeNOthT2t yzIdi2rdjmFiTTtUAiidO9WiyTOdhtEuYW0ch9zIWfmRdPiLBa8NZUk6F9+ia1xnX7MOWMGZ HJkdFhRq7SL8S5CqvB2GmgE7348aOfdxH3f4O7fJZIb9/BsB24n8oASqGR/wLxT4iZeQfVzk yaHtd9irWatleyXwyZmWh5Dwt6urI2OtERmf67e88sYMZ4r1B0I5GSUTR8Nook8YjUOk6VZy 9yKlaaqbTkbrImS8swbCMzZbsmANSh5WSc=
- Ironport-sdr: qq/nZrTi38ZCNZ4vFpxjbUKI2Sbu3OX2TjICgRZtpvmcBvfq49UAB8USbaZrGh6juzqcAfDF4b QZt5Wr2POIAOtdmdimBrLDgKfcjE2qtfDqJk0xdN5Zz92fkUCW2XXqMn2AyRnz0bbg9dUCyiaB nDRwKmVDRGAfDGgctv+tja27JeYaQnwuLnVD4Q1b7rHGSZPqKnP2FuabAMyk7e8+bDLibULEQ8 w4t1O4Bx1FA1c2TNd5bEWj8Zlw7qmnpEKXiaOC6G8wSkIsklgL2x4j9jTg+8nAutrQ7b6zCQiB P30G9IuajKnJwFVZL/dZVTrV
SAT/SMT/AR Summer School 2022: August 14-16
CP Summer School 2022: August 17
Technion
Haifa, Israel
The joint SAT/SMT/AR and CP 2022 Summer School will take place at the Technion, Haifa, Israel, on August 14-17 - immediately after the FLoC events.
The school aims to bring its students up to speed with the exciting and developing fields of satisfiability testing, satisfiability modulo theories, automated reasoning, and constraint programming.
Confirmed speakers and talks:
Alex Nadel: Introduction to SAT
Bruno Dutertre: Introduction to SMT
Marijn J.H. Heule: Proofs of Unatisfiability — Validation and applications
Dana Drachsler Cohen: Safety of Neural Networks
Shachar Itzhaky: Formal Software Verification in Proof Assistants
Yakir Vizel: TBD
Dana Fisman: TBD
Cezary Kaliszyk: Introduction to ITP
Liron Cohen: TBD
George Katsirelos -- Introduction to CP & The cross-fertilization of CP and SAT
Michael Codish -- Constraint Minds Think Alike: The application of CP & SAT to Solve Hard Combinatorial Problems
Michael Veksler -- TBD
Tentative schedule and abstracts of the tutorials can be found in the summer school’s website:
https://sat-smt-ar-school.gitlab.io/www/2022/index.html
For registration, please fill out this form: https://forms.gle/2gEZhRt74AgptLvb6
Scholarships for housing at the Technion's dormitories will be available for the duration of the summer school, thanks to the support of our sponsors. If requested, please mark accordingly in the registration form, and we will contact you with more details around June.
For any questions, feel free to contact the organization committee at ssa.school2022 AT gmail.com
Organizing Committee of SAT/SMT/AR Summer School: Guy Katz, Ori Lahav, Yoni Zohar
Organizing Committee of CP Summer School: Emmanuel Hebrard
CP Summer School 2022: August 17
Technion
Haifa, Israel
The joint SAT/SMT/AR and CP 2022 Summer School will take place at the Technion, Haifa, Israel, on August 14-17 - immediately after the FLoC events.
The school aims to bring its students up to speed with the exciting and developing fields of satisfiability testing, satisfiability modulo theories, automated reasoning, and constraint programming.
Confirmed speakers and talks:
Alex Nadel: Introduction to SAT
Bruno Dutertre: Introduction to SMT
Marijn J.H. Heule: Proofs of Unatisfiability — Validation and applications
Dana Drachsler Cohen: Safety of Neural Networks
Shachar Itzhaky: Formal Software Verification in Proof Assistants
Yakir Vizel: TBD
Dana Fisman: TBD
Cezary Kaliszyk: Introduction to ITP
Liron Cohen: TBD
George Katsirelos -- Introduction to CP & The cross-fertilization of CP and SAT
Michael Codish -- Constraint Minds Think Alike: The application of CP & SAT to Solve Hard Combinatorial Problems
Michael Veksler -- TBD
Tentative schedule and abstracts of the tutorials can be found in the summer school’s website:
https://sat-smt-ar-school.gitlab.io/www/2022/index.html
For registration, please fill out this form: https://forms.gle/2gEZhRt74AgptLvb6
Scholarships for housing at the Technion's dormitories will be available for the duration of the summer school, thanks to the support of our sponsors. If requested, please mark accordingly in the registration form, and we will contact you with more details around June.
For any questions, feel free to contact the organization committee at ssa.school2022 AT gmail.com
Organizing Committee of SAT/SMT/AR Summer School: Guy Katz, Ori Lahav, Yoni Zohar
Organizing Committee of CP Summer School: Emmanuel Hebrard
- [Coq-Club] SAT/SMT/AR + CP Summer School, Ori Lahav, 04/18/2022
Archive powered by MHonArc 2.6.19+.