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=dN4pZUyN; 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 0CE194009A for ; Thu, 28 May 2026 23:06:18 +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=23ZJIb8FV7nDrIYKV/LKuiTLmXabtWmrcO2Zj1lKkbA=; b=dN4pZUyNWokqgfXv4CRqOROpDiBMikT/PaNbkoOYAZ0oSH3iNs7Ongir PPEqtcwSeaklE2TY+X+tFxcMuxEPl+L4+egPHs/t4y6Z4R06DYVrUnNin G39s6st8w2OaWpA02PJ1sOvcPtizHz31c59eKYlAPqT2QScvwTqOR5aVJ 4=; X-CSE-ConnectionGUID: /DzcNeXZQbqCyutsaAo++w== X-CSE-MsgGUID: E5YbpFUDTtq5oEh1ng2y1w== 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.24,174,1774306800"; d="scan'";a="278781080" Received: from prod-sympa-app.inria.fr ([128.93.162.27]) by mail2-relais-roc.national.inria.fr with ESMTP; 29 May 2026 01:06:18 +0200 Received: by prod-sympa-app.inria.fr (Postfix, from userid 990) id 1657A831FC; Fri, 29 May 2026 01:06:18 +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 EE43581BEC for ; Fri, 29 May 2026 00:54:11 +0200 (CEST) X-CSE-ConnectionGUID: F9P71atmSReRyXtHj0ukiA== X-CSE-MsgGUID: WnlXkqL3RU+QXgMTqJQyGA== IronPort-SDR: 6a18c793_JQmIJ3P9qBYYUwZPt9FKCqzGMISBLn5kOTw09Bpzc2YAqp7 Qc+qpH61BUDyepBDK2X68C7OvNbshTERsVkxqLA== X-ThreatScanner-Verdict: Negative X-IPAS-Result: =?us-ascii?q?A0G5GgDZxhhq/wZZH8BaglmCQYEIXjEDBAtJjVOIeWydM?= =?us-ascii?q?hSBagYJAQMBDTcaBAEBAQIEkjUfBwEEMAkOAQIEAwIDAQEBAQEBAQEBAQELA?= =?us-ascii?q?QEBBAEBAQIBAQIEAwEBAQECgQoThk8NgluBLIEmAQEBAQEBAQEBAQEBHQIUg?= =?us-ascii?q?RohVCMwAh4xE4MDgnMDEZhajRmQV4EB3isJJIFZgU2RHIJxgg2BFYI6P4NFg?= =?us-ascii?q?TgBCwcBboNIgi8EgiKBDIJsgVKKa4FmA1ksAVUTFwsHBYFmA4EGbjIdgSM+F?= =?us-ascii?q?4ELGwcFgUt2gVyBA4UYIx8DTYEtgX+BIQMLbT03FBuBB4s/Gg+CMTNxFxQ8Q?= =?us-ascii?q?oEiFZMJs1+mAQRJhASNFJlTlAaFAKN/GIUpgWg9aXBygzUJRwMZD1eRf8wCH?= =?us-ascii?q?SsyPQIHAgcBAQsBAwuRaDSBSwEB?= IronPort-PHdr: A9a23:segWeBQyGKzHqBaYKIMiIiq14tpsopGVAWYlg6HPa5pwe6iut67vI FbYra00ygOSAMODs7kd1bqL7+igATVGvc3d9ihaMdRlbFwst4Y/p0QYGsmLCEn2frbBThcRO 4BvcmEg1FyAdXZvJcDlelfJqWez5zNBUj/2NA5yO/inUtWK15f/2O+94YDcbBtVjzShf7xyM A+2rQLMvcUKnIduMKk8xxXJr3dSZ+ha2WxkKU+Skhv/5sq984No/yBMt/487cJNXqv3cqsiQ bBEEDgqNn0+6dH2uxXEUQaA6XwQX3kMnBFVGQbF9hb6Xpnwsiv+qOVw3TSRMNP1Q74pRzms9 r9nRhDwhigILjI07m7ZhNFogK1UvByuqRp/w5XJYI6OL/pxYrndfdIBSmVfWMtaSjFMDZm9b 4sLCOoBIPpYoozgrFYAsReyGQ+hD/7pxzRVhHH5wLc63vw8Hw/Y0gMuEdEAvnTPodnpKKseT fy5wLXSwDnfaf5dxDfz6JLPchAkufyMUqx/cc3fyUkhDA7Kkk6QpZbgPzOUzOsNtmmb4/B+W u2ylm4qrRx6rTezyMk2kIbJmp4VxU7e9SV/2Is4J961Rk5mbdOqDpddtSWXOYV3T88/TG9lu Tg3xLIYtJO5YiUExpopyRHBZvKIcIWF4BHuWuaMLTp4mH5ofLyyihCv+kauze38U9O70FdMr iddl9nMrn8N2wbO5ceZTPZ240Sv2S6X2gzO7uxIP1o4mKTGJ5I7wbM9koAfvEXFEyTrgkv5l rWWeV8h+uWw6+TofLHmppiEOoBukAH+N6UumtejAesmKAcBQnKX9vig273450H5RbRKgeczk qnYqpzVO9kUprOhDw9U1IYs9Qq/Ai+73Nkcg3ULNlxIdA+dg4XqP1zCOvH1Ae+6g1u2kTdrw /7GPqfmApXINnXDn6nufbFz605S0wc80ctf64hRCrEAOv3zX07xuMbGARAkLgy42/znB8ll1 oMCRWKPBbeUP7/Ivl+N4uIjOu2MZI4OuDbhMPUl/P7vjXohmVAHZ6Wp3J0XaGq5Hvt8OUmZb 2Dsjs8HEWgRpgU+VvDliEWeUT5PYHa/R78w6ik0CI24CofNRZqjjaSP0ymmBpFWfH5JCk6PH 3nyb4iLQe0MaCeTIs96jjwLS6KuRJI72R6yrw/20b9nLuvO9S0dtJLvzsZ66PDOlR0q6DN0D MWd02SVQm9skW0HSSE40rxjrEJ70luMzK14jOZCFdNP//5HSh40O4bTweBiENDyQgzBc8+TR lu6X9uoHCk9Tskpw98Ae0l9G8utjhTE3yeyG7EbjqSFCpNnup7biiz6LsN5jnLHz7UJjl88Q 8IJO3fw1YBl8A2GCIPOnUuxnL3scKUV2S+L+WuenjnGh11RTAMlCfaNZnsYfEaD9bwRh2vHR r6qU/E8NxdZjNSFIe1MY8HoilNPQLHiPs7faiS/gTT4Hg6Gk5WLaoeiYGABxGPFEkFRnA0U8 3iuPhN4AyaopmOYATBzRhr0e025yeBlszugS1MsiQSDbklvzb2wrxEYgvKSY/gImLcFsSIg7 Th4AQX1xMrYXvyHoQcpZ6BAeZU97VNAgHrerBB4N4e8IrpKj0Qbch9rskrikR58EcNFkMEvr TUnwBcaxbuw9lRHenvY2JnxPueSMWzu5FW1bKWQ3FjC0dGQ86NJ6fIiqlylshv7Xkwlu25q1 dVYyR7+rt3DERYSXJTtU0026wkyprfUZTM47p/V0nskOLe9szvL0dYkTOU/zRPoc9BaOaKCX Aj8dq9ST8ejL+Iks1OyKBcFNeVTsqM4IoLudveL3rKqIPc1hCiv3ixM5IFw1F7J9jIpE7+Sm c1chaHJmFXUMlW0xE2suc32h41eMDQbH27ljDPhGJYUfKp5O4ACFWapJcSzgNR4nZ/kHXBCp zvBTxsL3tGkfR2KYhnzxwpVgA4YrHuplwOz1Hpxkjgsr+yS0DGEkIGAPFIXf3VGQmVvlwKmL oWzgd4yV1PuagkgkRrj6ErnjfsTtOF0KG/dRl1Ndi79IjR5U6e+gbGFZtZG9JIitSg/vP2UW VmBUfa9phIb13mmBG5C3HUhcDrsvJzlnht8gWbbLXBprXOfd9sijRvY4dXdQ7ZW0F9kDGF3h D7ZCHC3JJ+s/NyRltHOvv32W2+6V5JVeDXm1svZ5XH9vjQsUUz5wbi6gZX/HBI/0DPn2tUPN 22Atxv6boTxluy7Pe9hYkh0FQr54st+FJt5l9h4j5UR1H4Gw5SNqCNWyyGoaJMLiOSgPx9vD XYRztXY4RbowhhmJ3ONncfiU2mFh9FmbJ+8a38X3SQ064ZLDr2V5fpKh3gQwBLwoATPbPx6h jpYx+Ep7StQjOwOtgQFxT7bB7EbGEgeMCDx3UftjZj2vOBMaWCjfKLlnkVzmt6vJLqZ5ARdU XP4PJouAGUjptU6O1XK3nrp74jic9SFdtMfuCqflBLYhvRUIpY8xZ9ozWJ3fHjwtno/x6snn ARjiNuk6ZOfJTwnr+qpRwRVPTrva4YP9yHx2OxAy92O0dnKfN0pGy1XDsK5F7TzSXRC5LK/c FzSWDwk9iXCQ+uZRFDGrhw66SuWW5GtPHWKKHRL+s56Sl+SI0tQhA1SVzI/+/xxXhajwMirG KtgzhYW4FOw6h5Fy+YycgL6Tn+avgCjLDE9VJmYKhNSqABE/Ubcd8KEvKp1GGlD85utoRboS CTTbhlUDWwPRk2PBkzydrio697a9uGEB+24Z/LQaLSKoOZaWr+G35Wqmodh+j+NMI2IMBwAR 7Uj3VFfWHliB8nDszwVTi0Miy/EY4iQrwz6/yx+q8H5/fj2GUru6YaJF7pOIIBv9hSx0sLhf 6abgCd0Lyod14tZnC6SjuNGmg5DzX89ElvlWa4NviPMUq/Kz6peDhpBLjh2KNMN9aU3mA9EJ c/cjNrxkL9+lP88TVlfBjmD0omkY9IHJ2alORbJHkGOYf6JKDrFzen8euW5SLRVjaNZuwD66 lP5Wwfzey+OkTXkTUXlKeZXkCSSJwBToqm0aBNsEnTuRd6gYRagdtp2hDg3h7A4mzmZUAxUe Sg5eERLoLqK6CpeifgqAG1N4E1uKuyckjqY5e3VQn73mfJxByVvi+9T7DIxwKAT6SBNQf0zl SfP/IYGS76OmfLJzztuVRsIpzpW1tvjVaBKMr6f85hJXHeC8R4Qvz34Ng== IronPort-Data: A9a23:nxogJ6+2G5sP55S0IAXIDrUDknqTJUtcMsCJ2f8bNWPcYEJGY0x3n DMZWWuHM6mOazH0Lo8iYdy+pkkHu57WyN8yHlFlqisxFiIbosfsO4ilIxarNUt+DOWTFRM9t 512hvrodZ1vECeE/n9BFpC78BGQAInRHuKU5NbsY343HUk4Dn9413qPosZh6qZwm9+1HgiRj t37pszbKTeN1iV9Wo4uw/vrRChH4rKo5Fv0gnRkPaoV5AKExyFPZH4iDfjZw0XQEtE88tGSH L6rIIGRpgvx4xorA9W5pbf3GmViaqLSJwWHlk1NUKGkhBVYzgRqukrsHKd0he9/0l1lrvgpo Dl/ncXYpTQBZ8UgrN8gvyxwT0mSC4UWoe6deSDXXfu7lCUqe1O0qxln4dpf0Ycwoo6bCkkXn RAUxaxkgrluSItazZriItSAiPjPI+HFbbtA43h8yArjAMw3cYzjQf3X5t5xiWJYasBmRZ4yZ uIQcz9udwjNahEJMVwMTpc/leKpwHTzblW0qnrM9PBxuDGVnF03jtABM/KNEjCObcpYmUiWj mnduWH4CxQbctGT1FJp91r22b+QzXuiBN16+LuQyfhusF6K4jcpNV4vZVSeneCbs1+RcocKQ 6AT0nZ39/ZuqiRHVOLVVBS9pDuAvwUAc8FBFvUzrgCL0KvdpQiDblXoVRZIctknr9M7TDBs3 UTPmtLgAD0pvbGIIZ6AyluKhR3jAXdMJHMHXhUJdxo1//nh+JwwjzuaG76PD5WJYsvJ9SYcK g1mQQA3nbASltIG3qn99kuBhjOlo5mPQwIojuk2Yo5Hxl8oDGJGT9b0gbQ+0RqnBN3AJmRtR FBex6CjABkmVPlgVEWlGY3h5o1FGMppwBWA2AQxQ8dJG8WF5niiY41K+zBiNQ9uPI4BeDbsY SfuhO6QjbcNVEaXgVhfOt3gVZ9zl/mwTrwIlJn8N7JzX3S4TyfflAkGWKJa9zmFfJEEyPlmY cWoYoy3AGwECK9q6jOzSq1PmfUo3y0yjyebD5zy0x3tg/LUaW+3WIU1FgKETtk4y6eY/yTT0 dJUbPWRxztlDebRXyjw8KwoF24sE0QVP57NhvJySv+iOStjQWEoNO/Qy+gueqtjhKVkqd3L9 XCcBG5d5kv1unnVJSq0akJINbHeBrNip00/PSYTPkua5EJ6QIew7ZUwc4k8Uqkn+ddCk991b aghUOeRDstfTg/o/2wmUqD8i4h5LjK5qBmrPRu6UAMgfpVleRPFyuXkciTr6iMKKCi97uk6n JGNySLZRsAlazl5LcOLds+q8Uy9jUIdlM12QUHMBNtZI2fo0YpyLh3Onu0FGN4NJTrD1wml+ V6vWzlAntb0oqgx7NXtroKHpd3wE+JBQ2xrL1OC5rOybSTn7m6vxLFba9mxfBffaXjV/Zuzb uAE3tD+N/w6xGxxibReKIoy76wC5IrInYR4nyBEB3TAamq5Boxwekem2dZ9jYwT57t7lzbvZ Gex1Ih7A5urNvnhMmYtHys+T+Ha1fgrijjYtvs0B0Ph5R5IxrmMUGQMHhyAjCYHHr5MH6U35 eJ4oP8pshSbjyQpPu2nlQFRzXyHdVYbYpUkt7YbIY7lsRUqwVd8eq7hCjf6zZWMStdUOG8oK S+wqIuYopoE3WvEUX44NUaV7NpnnZ5U5Sx7lg4TFWqGiv/up6ER3iQI1R8VUw4M7BFM89wrC 1hRL0cveJm/pWZ5tvNiAVKpNRpKXiCC20rLzFAMqm3VYm+oWkHJL0w/Iey9x18YwU0NYglk+ Kyk90i9XQbIZM3R2g4AaXxhodHnTv1z8VTms+KjFMKnAZI7QGTEhomDWGk2kCbkUPgB3BD/m epX/ehLefLaMwwUqPYFEIW07+kbZy2FA21gestf2p01M1vSQgzv5gjWGXuNIptMA9fo7X6HD 9dfI5MTdhamiweLgDMpJY8NBL5WmswWtd8weZnpLn9br7KggCZgi8/UxAjDhUsAYdZnoeAiI Kz/KhOAFW2xgyNPumnv9cNrBEuxUeMmVibdgt+nwb4sLI0SluNGfWUZ8KqGj1/MPCRJpxur7 R7+PYnIxOlc+KFQtorLEJQbIT6rKNn2Bd+6wCrqv/tgNdrwYNrz7SULoVzaPiNTD7sbe/Jzs Z+v6NfX/kf0jIwaYlDjuauqNvd2vJ2pfe9tLMjIAmFQnnKCVO/S8hIzwT2EBqITouxNxPuMZ lWeU9SxR+43St0G5XxyagpiKTg/JZnzTJ/doXKak6zRJDkbiADJFYbyvzuhJ2RWbTQBNJDCG xf58aTmrMxRqINXQgQIHbd6Cpt/O0XuQrYia8a3jzSDE220mRmXj9MOT/b7Be3jURFo0foW4 K4pgjD3bhGzo73Fxd0fuIdp+BgWBXN8x+Q8YyrxPjKwZy+SVAY7wSY1aP3qya24VgT5z9f9Z TjIbS0vBTiVsfFsb0Dn+Nq6NuuALrVmBzo6TwDFO2ufcGGzBYqFAf1s+joID7KavNf85LnPF OzyMUEc8vR8Ll+FiArTCjGGbT9b+87n IronPort-HdrOrdr: A9a23:4QXUl6wF2iyP8BpEe7aoKrPwP71zdoMgy1knxilNoH1uA66lfq WV98jzuiWE7Ar5NEtApTniAtjifZqjz+8R3WB5B97LNmTbUQ2TTL2KhrGM/9SPIUHDH5Zmu5 tdTw== X-Talos-CUID: =?us-ascii?q?9a23=3A2EPH8GhNSJBGacYimKULUxE9SzJuXCzlky7ZP0q?= =?us-ascii?q?DM2tTWY2JaV3I5aBlup87?= X-Talos-MUID: 9a23:PK1v7wkw9a9eF17sffywdnpdMsNY4L2KU3ow0qw2tOy4LA5JKhi02WE= X-IronPort-Anti-Spam-Filtered: true X-IronPort-AV: E=Sophos;i="6.24,174,1774306800"; d="scan'208";a="278780147" X-IronPort-Outbreak-Status: No, level 0, Unknown - Unknown X-MGA-submission: =?us-ascii?q?MDEifbl2PHDZtEO11sTx46aE+VYFSkaub5VGxU?= =?us-ascii?q?HO1xn5vRk8qLxM4rtrwN2F5aqX4YjgLrmaGkJOCw+J/1C8wmFG9wTeec?= =?us-ascii?q?2SYWHHRnJrlq/t9ZK+MiEC5b0HqPlDl3ge5KsQEBTwajN0T1pLNuruZL?= =?us-ascii?q?sVXtOAGELf8YDsAhr5UvCjIg=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; 29 May 2026 00:54:11 +0200 Received: by armistead.ccs.miami.edu (Postfix, from userid 3640) id 5F0E7A018F8; Thu, 28 May 2026 18:53:59 -0400 (EDT) To: User-Agent: mail (GNU Mailutils 3.14) Date: Thu, 28 May 2026 18:53:59 -0400 Message-Id: <20260528225359.5F0E7A018F8@armistead.ccs.miami.edu> From: geoff@cs.miami.edu X-Validation-by: geoff@cs.miami.edu Subject: [Caml-list] Summer School on Verification Technology, Systems & Applications Reply-To: geoff@cs.miami.edu X-Loop: caml-list@inria.fr X-Sequence: 19516 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: ================================================================== First Call for Participation 14th International Summer School on Verification Technology, Systems & Applications http://www.mpi-inf.mpg.de/vtsa26/ The 18th edition of the Summer School on Verification Technology, Systems and Applications (VTSA) will be organized by the Max-Planck-Institute for Informatics Saarbruecken in cooperation with the University of Liege, Inria Nancy - Grand Est, and the University of Luxembourg. The school will take place from August 24 to August 28, 2026 on Saarland Informatics Campus, Saarbruecken, Germany. The following speakers have accepted to give courses at VTSA 2026: - Maria Paola Bonacina: Reasoning about Data Structures with CDSAT - Mathias Fleury: SAT Solving: 30 Years of CDCL, 20 Years of Proofs, 15 Years of Inprocessing, 3 Years of User Propagator - Mikoláš Janota: SMT Solving and Challenges and Opportunities - Cynthia Kop: Open-world Termination Analysis in a Small Functional Language - Christoph Scholl: Fully Automatic Formal Verification of Arithmetic Circuits Participation is free (except for travel and accommodation costs) and open to anybody holding at least a bachelor degree or equivalent in computer science. It includes the lectures, daily coffee breaks and lunches as well as a school dinner. Attendance is limited to 40 participants. Please apply electronically by sending an email to jmueller@mpi-inf.mpg.de: - a one-page CV, - an application letter explaining your interest in the school and your experience in the area, - a copy of your bachelor certificate (or equivalent or a more significant certificate), - a short statement if you want to contribute to the student sessions The deadline for application is July 5, 2026. Notification of acceptance will be given by July 10, 2026. Full details are available at http://www.mpi-inf.mpg.de/vtsa26/