From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Authentication-Results: plum.tunbury.org; dkim=pass (1024-bit key; unprotected) header.d=inria.fr header.i=@inria.fr header.a=rsa-sha256 header.s=dc header.b=EakPtpyT; dkim-atps=neutral Received-SPF: Pass (mailfrom) identity=mailfrom; client-ip=192.134.164.83; helo=mail2-relais-roc.national.inria.fr; envelope-from=caml-list-owner@inria.fr; receiver=tunbury.org Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by plum.tunbury.org (Postfix) with ESMTP id 7443540096 for ; Thu, 7 May 2026 15:24:11 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=inria.fr; s=dc; h=to:date:message-id:from:subject:reply-to:sender:list-id: list-help:list-subscribe:list-unsubscribe:list-post: list-owner:list-archive; bh=Aj1xdQlP4I8X8y6cy0r4rNNygP7XI7UAb8J+ui/pjsk=; b=EakPtpyTh6aVdAqw3lg4L+XYJ0d55/63yR2aqMuSMUcoecMRIQpgPR+z zSwwow1pGW0I5cbqWHRsBqZy8+9HIqJBAiHKni0ZG4G8VNrmRWuv7tH3R qgGvrBEl8q5GZmnDPRnx5WEQxfPF5MEqKsXI1iV65o9UXn2qxy7bVU3rp Y=; X-CSE-ConnectionGUID: PtcjGEPXQIqgbZykGj1XvQ== X-CSE-MsgGUID: 70HV8uQyQWWcnq2SSD3Fvg== Authentication-Results: mail2-relais-roc.national.inria.fr; dkim=none (message not signed) header.i=none; spf=SoftFail smtp.mailfrom=caml-list-owner@inria.fr; spf=None smtp.helo=postmaster@prod-sympa-app.inria.fr Received-SPF: SoftFail (mail2-relais-roc.national.inria.fr: domain of caml-list-owner@inria.fr is inclined to not designate 128.93.162.27 as permitted sender) identity=mailfrom; client-ip=128.93.162.27; receiver=mail2-relais-roc.national.inria.fr; envelope-from="caml-list-owner@inria.fr"; x-sender="caml-list-owner@inria.fr"; x-conformance=spf_only; x-record-type="v=spf1"; x-record-text="v=spf1 ip4:128.93.142.0/24 ip4:192.134.164.0/24 ip4:128.93.162.160 ip4:128.93.162.3 ip4:128.93.162.88 ip4:89.107.174.7 mx ~all" Received-SPF: None (mail2-relais-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@prod-sympa-app.inria.fr) identity=helo; client-ip=128.93.162.27; receiver=mail2-relais-roc.national.inria.fr; envelope-from="caml-list-owner@inria.fr"; x-sender="postmaster@prod-sympa-app.inria.fr"; x-conformance=spf_only X-IronPort-AV: E=Sophos;i="6.23,221,1770591600"; d="scan'";a="275833500" Received: from prod-sympa-app.inria.fr ([128.93.162.27]) by mail2-relais-roc.national.inria.fr with ESMTP; 07 May 2026 17:24:10 +0200 Received: by prod-sympa-app.inria.fr (Postfix, from userid 990) id D929383EC9; Thu, 7 May 2026 17:24:10 +0200 (CEST) Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by prod-sympa-app.inria.fr (Postfix) with ESMTP id A543782CFD for ; Thu, 7 May 2026 17:07:12 +0200 (CEST) X-CSE-ConnectionGUID: JtQg6x8jRIGdYYUb3L8YIQ== X-CSE-MsgGUID: vSfMW7hmRseI8vxp0TWxZQ== IronPort-SDR: 69fcaaa0_/0Seg3GJjkiO+KZLw/CBMZ120qSFEDLGGXSI5iEFpNtGWUb EFSotBg7GNyqywoYQMupVZcMLeUYZ9K2hUKTvjg== X-ThreatScanner-Verdict: Negative X-IPAS-Result: =?us-ascii?q?A0G/BADoqfxp/wZZH8BaglmCGCmBCF4xAwQLiHCFLIh5i?= =?us-ascii?q?k2TUIElAxg/BgkBAwENNxoEAQEBAgEDkjUfBwEEMAkOAQIEAwIDAQEBAQEBA?= =?us-ascii?q?QEBAQELAQEBBAEBAQIBAQIEAwEBAQECgQoThk8NgkVRcWUJNwEBAQEBAQEBA?= =?us-ascii?q?QEBAQEBAQEBAQEBFgINNCpkKiojMAIeMYMWgnMDEZwkjRmQV4EBgxzbDwkkg?= =?us-ascii?q?VMGgU2RG4Jxgg2DTz1xhBp2g0iCLwSCIoEOh26BV4JYgUaBI4FmA1ksAVUTF?= =?us-ascii?q?wsHBYFmA4EGbjIdgSM+F4EMGwcFgUuCOYFcgQKDc214IywDTnsDC209NxQbi?= =?us-ascii?q?3wdD4E9PmJkCCFPKoFExnGQRI40hwYESYQETYxGmVSHCpF8iyaCY4oWi2CFQ?= =?us-ascii?q?oFoPYFZcoM2TwMZD49XAQmELYMowQ4rbwIHAgcBAQoBAwuRaDSBSwEB?= IronPort-PHdr: A9a23:WBQNDxJDfvgVb4kL69mcuIhsWUAX0o4c3iYr45Yqw4hDbr6kt8y7e hCEuLM11BSQBdqEtLoE07OQ7/u8HzRYoN6oizMrTt9lb1c9k8IYnggtUoauKHbQC7rHSRJ/N +l5EGFfwnegLEJOE9z/bVCB6le77DoVBwmtfVEtfre9FYHdldm42P6v8JPPfQpImCC9YbRvJ xmqsAndrMYbjIViJ6or1hfFvnREd/lKyW5qJ1+enQv36sOs8JJ+6ShdtPws+sFaXanmY6g0S KFTASg7PWwy+MDkuh7PQBeV6HABSGsWiB1IAwbE7BH+QJj8tzbxu/R+1ieHI8D4VKg4Vzu64 ahkURPlligJOSMh/G7YlsJ/gqRboAm8pxNk2I7bfJuVNPtlcazDe94RWHdMUdxQVyxFBYO8c pcPAu8cNutWs4Xxu10Dpga5CgexGePv0SdIiWHq0q0m3eohFgTG0xYhH9IIrX/YqNr4OaMXX e2z0aLGzyjMb+lO1Dng9obHfB4vr/KMU79rbcbd1VUjGx/ZgliKtYDoOS6e2OQXs2ic6uptT e2vhHAgqwF/rDii3dsjipLTioIQy1DL7yB5wIcvKdKmVUF7fNipG4ZfuC+GLYV5WN8iQ312t yYgzL0LoYK2cTQFxZg72hPSavKKfoaJ7x7+SOqcLzV1iW9qdr+xhBu/8lStxvPiWsSpzltHr SVIn8XMuH4DyhHe9sqKRPV780y81ziP0AXT5ftFIUAyjafbJZohwrksmZYNsEnPBCj2mF/5j KOOeEUk/fKo6+H8Yrn8qZ+cM5F7hwfjOaotgsyyGfk0PwwQU2SB9+mwyafv8E79TblQj/A7l LTSvorAKsQBvKG5BhdY0oY95Ba7CDeryM4XnWMCLFJEYxKHk5bmNEvTL/ziEfiwn0+snC1ux /DHJLLhB5TNImLdn7j8YLZx809cyAwtwtBD/59YF7UMLOzpVkL/qdDUFBw0Pgiuz+vmENl90 5kRWWOLAq+XKqPStlqI6/ogI+aSY48Vtjj9JuM56P71l3M5nF4dcrOs3ZsWcny3AOlpI1iBb Xr2ntgBCXsKvhY5TOHylFKNSztTZ3KrU6I45zE7E56mAJzYRoGthbyBxD20EodXZmBAEFCME G3ne5+KW/cWcC6SJNRunSQeVbe9U48hyQ2utAjixrZ6NubU9TMXtZXg2tZv/+Dcmww8+SRuD 8uDzWGDTHt6k3sSSD8s2aB/oFd9ykud3qdinvNUD8Bc5+hTXgc/NJ7T1el6C9HoVg3fY9iJV U6qTcilATEwS9I828cAbUlzFNu8kh7OwyykD6cImLyOHpM06L7T0mDpKchk03jI27Etj0I+Q stBLWConLJy+RXOCYLRiEWZj6iqerwc3CHT8GeDynKDsllBXgBoXquWFUwYMx/dpNH9o0fDV KOGCLI9MwIHx9TUeYVQbdi8glhBSvnLM8+YZmO4nmb2CBqVleDEV5bjZ2hIhHaVM0MDiQ1Go Sfu3WkWAy6gpzibFzlyDRf1ZEiq9+BiqXS9R0tyzgeQbkQn2aDmsgUNi6m6TPUelqkBpD9ns y99SVmw2NzYI9Gb4Q9gdaBdJ94x/QQPznrX4jR0JYfoNKV+nhgbegVzsVnp0kB4B4JOn+Aht zUvzQN3KOSV3E4SPyiA08XWPbvaYnL34Ajpa6PS3QTG182K/64U9Pkig1z5uQCyCkcr/zNs2 MIT1nqV45SMAQYPOX7oemAw8RUy57TTYy1nopjRyWUpK66/9DnLx9MuAuIhjBemZdZWdq2eR kf0FIUBCs6iJfZP+RDhZw8YPO1U6K8/Pt+3P/qA1qmxOe98nTWgxW1Z6YF520iI+mJyUOnNl 5oCxviZ2EOAWVKexB+uv8f5l6hPfncXH2O6yG7pCJMQLqx+cIAXCHu/dtWtz4Y2jJrsVnhEs V+7UgpXgonyIFzCPhqjjmgynQwNrHeqmDW11WlxmjAt9O+E2TDWhv7lf1wBM3JKQ29riRHtJ 5K1hpYURhvNDUBhmR276EL936Ueqr54KjyZTkpPcSbeJHokV6q5s7vEbsJSosBN020fQKGnb FaWR6So6RQX1C3tN2BFgjU6fjSr/Jj1glYpwHLYJ3F1on3DfMh2zhqK/93QS8la2T8eTTV5g z3abrSlF+Gg5s7c15LKs+TkEnmkSoUWay7gi4WJqCq842RuRxy5hfG63NP9Q0A21iry1t8iU iutzl60bYTs2aqSOvkhe0hhAV665sZnUo1ziYo/gpgM1GNS38TPuyFe1zeid4sT0Lm2dHcXQ D8X39PZhWqtkFZuKH6E3cOxV3mQxNdge8jvZ2oX3iwn6MUZQKyQ7bFCgW50ug/h/FiXOqE7z mZbl6hLijZSmewCtQszwz/IB7kTGRMdJinwj1GS6Nv4qqxLZWGpeLz21UxknNnnAqvRx2MUE Hv/ZJomGjd9q8tlN1eZmnL+7Y/qUNLLK9cSvxiV1RrMkqIGTfB53upPnidhNW/n6Dcqxuk1g zRlxte/vYGCKiNg8L/zUVZIczbyYc0U4DTki61Ty92X046YFZJkAjwXXZHsQKHNcnpapbH9O g2JCjF5tmaDFO+VA1qE8Ek/5SGHA9WxOnqQPnVc0dhyWEzXOhlEmA5NOVdy1p8hSlLzlZanK x4/tmFXvhmi9lNN0r46bkOuFD6A/UHzNnFtEdCeKhFS8w1PtXDOKcLY4eV0ECVVuJamqWnvY iSNbgBMRwnlQ2SiAFbudvmr7NjEqa2DA/amauHJavOIoPBfUPGBwdSu1JFn9nCCLJfHOH4qF PA91kdZOBIxU83EhzUCTTAWnCPRfoaaohm74Ch+ssG49rziRgvu4YKFD7YaP89o/li6hqKKN ujYgygcS34QzpQX2XrB06QSxnYbkSRvbCWgGLhGviXWCqfRk6pWSRMXdmI7NcdF6b49whgYO cPfjYCQtPYwhfo0BlFZEF35z5j4P4pReiftZRWZVyPpfPycKDbGwt/6e/a5QLxU1qBPsgGo/ CycGAnlNyiCkD/gU1auN/tNhWeVJk872sn1fxBzBGzkVN+jZAe8NYo9gjAxz7McjWiMMG8VN Dk6fk9Q5O71j2sQkrBkFmpN42AwZ/GDgDqc5vLEJ4w+uOFuAz9omutWpn8x0P1Q7ShBRbp4l DaY/bsM6xm21+KIzDRgSh9HrD1G0ZmKsUtVMqLc7pBcWHzA8XrlAk2bEFIPptJgC5vit70Ck 7AncYr4M3FH8tvR/I0RC9WGcKpv0VIoKx/oAyLZBQdDRjWwc2Tejklc1vye6y/NxqU= IronPort-Data: A9a23:SMqH36qRMSg6jycCvrQL+qBpnhxeBmIKYRIvgKrLsJaIsI4StFCzt garIBnUb6zcYWqnedggbIzn90MPuZCGmINhSwA5rykxEy5E+JacVYWSI27OYx+ff5bJJK5Fx 5VHO4OYdKjYbVeF+0zzauC5xZVY/fvVLlYpILecYkidfSc9FmF5z04lw7dn6mJRqYDRKxuXv t/vqNHoNlag2jplWkoZ8KvrRClH5ZwegxtG+AZlDRx3lAWGzSdNUcpAffjZw0bQG+G4IMbqH 44v85nipgs1zz91Yvu5n7DydFE9Q7K6FWCmlnpMVqG+tQNJryo037xTHKJ0hZB/1l1lN/goo Dl8ncTYpTUBZ8Ugq8xEO/VsKBySCIUakFPxCSjm4JbLlyUqRFO3qxlmJBle0YT1YY+bC0kWn RATAGllghxuG4taaV90IwVhrp1LESXlAG8QklN89D6HHaYke7HsT5T72NUD+GcBp/kbSJ4yZ +JBAdZuRB3aZhxUJloeBNQ1l/zug3j2djwepV6IzUY1yzGClkoqif69YZyLEjCJbZ09ckKwq W/B8WrRCQpcMd2WzDvD/36x7gPKtXmkBdJIRefnqJaGhnWN/WI2N0IWUGGgrNjplF6mA+5gO 34tr39GQa8aqBXxEIWjN/Gim1aPtxsYHt5RCPES8xCI0qOS4gCDB2FCQCQpVTA9nMYsQD0xy lKAk5XiHnpqsbSQSDSQ+qr8QS6O1TY9D3M7anEUHQk/wvbvkbAOhEnrHudCKfvg5jHqIg0c1 Qxmu8TXuln+pccR0qSg4V3Oj3Snvd7MTwcw50PaUn/NAuJFiGyNO9PABbvzt6oowGOlor6p5 ihspiRmxLpSZaxhbQTUKAjNdZnwjxp/DNEjvbKfN8V4rWrxpRZPjKhN5jBgKV1yM9oVMTjnK ErSsAZQjKJu0brDRfEfXr9d/Oxxkva/RI2+C6qIBjeMC7AoHDK6EOhVTRb49wjQfIIEy8nT4 L/CKZ/0X0UJQ79q1iS3TOo72LomjHJ2j2DKSJyxi1zt3bOCbTTHAf0IIXmfXNAftamkmQTy9 8oAFs2ozx4EbvbyTBOK+qEuLHcLD0MBO7bIl+JteNWuGDFWQFMaN6eJwJcKWZBUoKBOp+KZo lC/QhB5zXT8t13mKCKLSHZRV+Lqb5VVr3kqYDAlAni00kN+ZbSP0aY7XLk0dIkB6+ZM46NVT f4EWsPYGdVJaG3N1Ao8ZKnHjr5JVUqUlzPVGhG6cR49VZJEbC7YyO/OJwfA2nEHMXuqiJEYv bal6DL+fbMCYAZTVODtd/OlygKKj0g3we5dcRPBHYhORR/K7oNvFi3Wi803KeEqLTHo5GOT9 ySSMCciidj9ma0H2/iXuvnctKasKfV0IWRCFWqC7bqWCzjTzlD+/aB+CtS3bRLvf0Kq3p69Z Ndl7eD2a9wGu1doj7BSMZhWyYAG2t++gIMCkypFGi3QYkWJG4FQBCCM/fNyu51nwp5bvgqLW XyzxORKBIXRBuTbFA8+GQl0SMWCyvAepRfK59sXPkjRxXF67ZiHY2poLjiOjy1vdoVrAoYX6 NZ6ndMc1Ai/gCUpL+S5tHl19nuNHFMEQa4IppEXO661qwsJm3VpQ43QNT/y276LM+5zC0gNJ iTOorjvnJFe91XySGUyHn3zwuZtv5QClxRUxlskJV7SuN76qtIo/R9WqxIbcx90y0hZ7udNJ WRbDU15CqGQ9TNOhsIYfWSNGRlENSKJ6H7K1FoFu23IfXaGDlWXAjUGBt+M20QF/0Z3XDtRp uiYwVm4dwfaRpj62y9qVHN1r/Dmc8dKyTTDv8KaBOWAIYgxZGv0o62pZFdQkSDdP+EKuBTlq 9VprcFKUo+qEQ4LoqY+NZuW6qRIdjCAO155YK9A+IEnIDjiXQ+ciBm0FlCJW8JSJvb131eyJ O5wK+luCRmv9ia8gQoKJKwLIo5EvuIg1PxaSIzFJkoDlbmUv2d1ua3+6iHF2WsZY+hvte0fK YrhUS2IPULNpHlTmk7L9NJlPEjha/Y6RQTM5sKH28RXKIAy68RXblAU0JG4m163ITlX1UuYk y2bbpCH0tE475pnmrXdN5lqBiK2GIvVb/uJ+gXiiOZ+R4rDHumWvjxEt2S9GRpdOIYQfNFFl b6tltrT92GdtZYUV1HpobWwJ5Nr1+6TAtUOatnWKUNElxSsQMXvuhsP216pIKxzze9y2JOVe BuaWuCRK/guRNZv9F9EYXN/EjEcKZjNQIXOmCefl8mIWz8hiVHpDdX++XHQODQRMmdCPpDlE Qb7tsq//t0S/swGGBYAAOogGJNiZkPqXaw9bdDqqD2EFS+Sj0ifvqf53w8Vgd0R5qJozO6hi X4EevT/SPh2kKjSydBCr4F7slscB207hOg5e0Nb9tJr49x/4KjqMsxFWajqyLkN+sAx6H08T DrWKm4jACD8GzlIbH0QJfz9CxyHCLVm1sjRf1QUEoD9V8tyLIibRr5g/yJhpXp6Z1MPCQ1hx c42ohXNA/R6/n2lqSv/KBB2bSeLC842Hk41xH0= IronPort-HdrOrdr: A9a23:m2MCXKvzqNI+I2qk8rkRVwze7skDHNV00zEX/kB9WHVpm6Oj+P xG8M576faLslgssRgb8LjqBEDqexnhHPBOjLX5cY3PYDXb X-Talos-CUID: 9a23:lKD8TGProsaXtu5DejVe+xAESsIfU1LR/UbtKRScWVdIcejA X-Talos-MUID: 9a23:fOcWgQvLei6pkIwy+82nmgpsEfg346GUE00swYsWo5G4CjxCAmLI X-IronPort-Anti-Spam-Filtered: true X-IronPort-AV: E=Sophos;i="6.23,221,1770591600"; d="scan'208";a="275829276" X-IronPort-Outbreak-Status: No, level 0, Unknown - Unknown X-MGA-submission: =?us-ascii?q?MDG9S114AT9uO9q/yFBhlKxQcxJ8NW/O+a/P+3?= =?us-ascii?q?60zFwq+7TBy1DQbTscEK9gbAFJo9m3dCFTIqbC3lJDWUxbo+RHFRfVQU?= =?us-ascii?q?3n+2xXeJSDm0uXBvPxLdCv9nUbnFZPXP3IDgLJUE7sUDxw2sp8uu0RdE?= =?us-ascii?q?JI4C8hW0g4Dy2g3TxQC4FJbA=3D=3D?= Received: from armistead.cs.miami.edu (HELO armistead.ccs.miami.edu) ([192.31.89.6]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 07 May 2026 17:07:12 +0200 Received: by armistead.ccs.miami.edu (Postfix, from userid 3640) id 01796A0176F; Thu, 7 May 2026 11:06:55 -0400 (EDT) To: User-Agent: mail (GNU Mailutils 3.14) Date: Thu, 7 May 2026 11:06:54 -0400 Message-Id: <20260507150655.01796A0176F@armistead.ccs.miami.edu> From: geoff@cs.miami.edu X-Validation-by: geoff@cs.miami.edu Subject: [Caml-list] SAT/SMT/AR summer school: registration and financial support Reply-To: geoff@cs.miami.edu X-Loop: caml-list@inria.fr X-Sequence: 19505 Errors-To: caml-list-owner@inria.fr Precedence: list Precedence: bulk Sender: caml-list-request@inria.fr X-no-archive: yes List-Id: List-Help: , List-Subscribe: , List-Unsubscribe: , List-Post: List-Owner: List-Archive: Archived-At: Satisfiability (SAT), Satisfiability Modulo Theories (SMT), and Automated Reasoning (AR) continue to make rapid advances and find novel uses in a wide variety of applications, in computer science and beyond. The SAT/SMT/AR Summer School aims to bring a select group of students up to speed quickly in this exciting research area. The summer school will take place from Monday the 13th to Thursday the 17th of July. It will precede the many workshops and conferences of FLoC 2026. Registration is possible as part of the FLoC registration: https://www.floc26.org/registration Note that early registration for the summer school closes on June 1st. Limited financial support is available for students. To be considered, please fill out this additional short form by **May 13th**. We apologise for the short notice. https://forms.gle/aXtyrcPjMBdyvFWY7 Mikoláš, Filipe, Michael (organisers)