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=mS7gB0Qj; 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 79A45400A3 for ; Mon, 2 Mar 2026 17:23:32 +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=mzziK2tPZcf8f8dc9HEvZz/z1/IWUtsGMpzVSbHkEww=; b=mS7gB0Qji3GR7preVaU4cuaZK6/k7Bogr7kis45rx12xeGy/pIBXw3LM EOtB0TT+IAlrBZu3Z822/U6q7YSoj0ywEcw2JEwReU+RDMeCFAdUC7ujw /5BpuWf0mnk3Lbwfmvj6RFQLHmGCV2HZ2ZXjsNp6PNfWVPlv+y79/zqed M=; X-CSE-ConnectionGUID: 8q99tIKJQwqc7IlHd1cZSw== X-CSE-MsgGUID: lhE9jhJGQUKlOXGd5mOgOQ== 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 include:mailout.safebrands.com a:basic-mail.safebrands.com a:basic-mail01.safebrands.com a:basic-mail02.safebrands.com 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.21,320,1763420400"; d="scan'";a="265870990" Received: from prod-sympa-app.inria.fr ([128.93.162.27]) by mail2-relais-roc.national.inria.fr with ESMTP; 02 Mar 2026 18:23:32 +0100 Received: by prod-sympa-app.inria.fr (Postfix, from userid 990) id 29571826A5; Mon, 2 Mar 2026 18:23:32 +0100 (CET) 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 2A7B980F8E for ; Mon, 2 Mar 2026 18:21:18 +0100 (CET) X-CSE-ConnectionGUID: SbVvxCy1S/i4X16TZYsAJg== X-CSE-MsgGUID: KrW8KO5kSMWwd37MAoRyUg== IronPort-SDR: 69a5c70e_BpNdd1ffWFKIAiZBHB94RIVhEPKzbr7PuZ13hyMS7piMw9k oYYHcQPDWIDnCidCHFJHfwbUpMBXkpz2vcZSooQ== X-ThreatScanner-Verdict: Negative X-IPAS-Result: =?us-ascii?q?A0E4BQACxqVp/wZZH8BahRqBB14xAwQLSYgnhSyIeZ4xg?= =?us-ascii?q?WsGCQEDAQ03GgQBAQMBA4IekAUfBwEENBMBAgQBAQEBAwIDAQEBAQEBAQEBD?= =?us-ascii?q?QEBBQEBAQIBAQIEBgECgQoThk8Ngls7ghYsMH4hKgMHQzACHhoXE4MDgnMDm?= =?us-ascii?q?U2QV4EBgxzbDAkkgVmBTYEWjTIBgkuCcYINgRWCdwKEfQEPAwGENoIvBIMcF?= =?us-ascii?q?IITkHyBZgNZLAFVExcLBwWBZgOBBjI8Mh2BIz4XgQsbBwWFeg+Ic4FkgROCF?= =?us-ascii?q?gMLbT03FBuPIz+BQSAeMzMzCx8LIBQ9ewEcKwEeVaUZoQ6EK4wZlToESYVbn?= =?us-ascii?q?UmHRwKZBI4Jh12OBQKFVIF/JmlwclWBc20JRgMZD1eWXb4mKDI8AgcBCgEBA?= =?us-ascii?q?wmSHoFLAQE?= IronPort-PHdr: A9a23:0Im6XxQvw0EWK7w2jB+dbUaRX9psou+VAWYlg6HPa5pwe6iut67vI FbYra00ygOSAcODs7ke1rqM7ujJYi8p39WoiDg6aptCVhsI2409vjcLJ4qoL3O+B9PRKxIAI cJZSVV+9Gu6O0UGUOz3ZlnVv2HgpWVKQka3OgV6PPn6FZDPhMqrye+y54fTYwJVjzahfL9+N hq7oAveu8UMnYduNqk9xgXJr3ZLZehbxX5jKE6OkRr7+sq/85lv/jhKtfk87cBAS6L6f6o5T bxcEjsrNn0+6dPouxfeUwaB/2MQXGoOnBVHGgTI8h70UIrpviT1quRy1i+aPdbrTb8vQjSt8 71rSB7zhygZMTMy7XzahdZxjKJfpxKhugB/zovJa4ybKPZyYqXQds4cSGFcXMheSjZBD5uhY YURAeUPM+VWoYnmqlcSsReyGRWgCP/1xzNUgHL9wK000/4mEQHDxAEgEMwBsHParNX7L6odT fu1wLPNzTXCdfxW3Db95JLWfR88vPGBW697fsXNx0c1DQzFkkmQppL/PzOTzukArnSW4utuW +6ximMqpB98rzmhyMsxioTHiZwYx1DG+Ch5z4g5OcO0RFN1bNO6H5ZdtiKXOYVrT88+QGxlu zs2x7sbspC1eygKzY4oxx/Za/Gfb4eH+A/sW/iQITd+mH1pYrW/hwy98UWm1+byVdG03U5Xo idBjNXArH4A2wHJ5sWETvZx5Eas1DCS3A7J8O5EO1o7la/DJp4h3LEwkp0TvFzZES/snUX2j bSWdlk69eey9uvreKnpqYOHN4NujwH+M74hmsm+AegiLAcBQnWb9fy91L3l40L5XK1HguAyn 6XHqpzXK9kXqrS6DgJRyIou6g6zDzK839QZmXkHIkhFeBWCj4XxNFHBPvf4Dfmxg1m3jDhr3 OrKPrjgAprXK3jDka3tcqhg5E5B0AYz18xQ54pICrEdJ/L+QlP+u8bdDh89KgC0x+fnCM5h1 o4FQmKOAqqZMLvIvlOS5+IvJfOMZI4PtzrnJfgl/ebijXkillAFZ6mmwYMXaGykHvRhO0iVf GLggtgfHmcNvQQwVvTnh1OfXzJLfXa9Qbw86DIhBo++F4jDXIWtgL2a3CenAJJZfH1JBkqQH nfzbYmEXvYMZziXIs9giDALS6WuS5I52R6ztw/6yr9nI/LM9CMXu53tysR76vHVmx0q6DN0C t6S03uRQGxshm0GXic40q9nrUxm0leD37B1jeZEGNJO+v1FShw6NYbSz+NiC9D9RAbBftCRR Vi+W9uoGT4/HZoNxIpaaE94H5Cmjwvf9yusGb4c0bKRUs8a6KXZinf8IMhz433dkqwghlwnB MZDKD71zpVj/hTeUtaa236SkLynIPx0NE/l8W6CyTDLp0RESEtqVq6DW3kDZ0zQpNC/50XYT rboB650ehBZx5ukLa1HIsbskU0AXO3qbdvTZGy/s2yrQxOJz7aNKofmZjZVxz3TXXANiBtb5 nOaLU47DyalrXjZCWlhGFXhbWvn6q97qXq+Twk5wxzZJ1Z52e+T/RgYzeeZV+tV3r8Av3I5r C5oGV+mw9/MI9Oaogt6YKhVbZU260wB0GPQsg07M5C9R0x7rngZdQk//0bn1hEtT55FjdBvt nQhigx7NaOf1lpFMTKex5H5fLPNeCH0+1i0Zqja10u7sp7e87oT6Pk+t1TovR24Xksk/XJ91 tBJ0nyarpzUBQsWWJj1Xw457R9/773dZyA84cvT2xgOeeG7vzjM1foiH60gyx+lfpFSPL7FX A7+HssGBtS/ffQwkgvhZRYFMeZOsa8sapr3Lb3dgej7baA+z1fExSxd7Ytw01yB7X95Q+/Mh dMexu2AmxGAXHH6hUugtcb+ncZFYysTFyyx03uBZsYZa6tscIIMEWrrLdeww4A0iJPqVXBw/ 0XlAlIP3c7vdBaPJQ+Yv0UYxQEMrHqrlDHthTN5lD8nhqGEminPyuHjMhcLJyQYDHknhlDqL 4+uitkcV0X9dAklmiyu4kPizrRarqByR4XKaX9BZDO+b2RrU6/q86GHf9YK8pQj9yNeTOW7Z 1meDL/7uRoTlS35TSNSwzUydjfivZuc/VQyh2+aInhbp2GffMB5wBaZ6dDBDfJcxTsJQiBkh CKfXwnmeYLwu4XF0cmLu/v2T2+7U5xPbSTnqOHI/DC242FnG1z3nvy+nMHmDRlv1Cb609dwU iCb5B34Y4Tty+G7Kbc+LxMuXwa6u5s8RNIb8MN4npwb1HkEi4/A+HMGlT22KtBHwefka3FLQ zcXwtnT6Qyj2Ut5L3vPyZiqMxfVisZnedS+ZXsbnywn6MUfQqiZ67JKtSBu5F+5pAfQJ/Vxg 31OrJlmoG5fmOwPtAc3m2+SD7ccE2FTJmrplh2N7pazoLgdNy6/NLO30kR5h9WoCrqP9xpdV HjOcZAnBSZs7897PQGpsjW7+sT+ddLXd95WqgyMnkKKkb1OMJxo3KlClW99NGn6p3Fg1+Mrk Ukkw8ShpIbeTgcltKOhXkwBZ2ezPJpVqmCr1eEEwo6Xx9z9R88wXGxUBd2zEbTxSXoTs//jK gqDQgonsnndFr3YEguSrkxhqhetW9i9PnWTbhH11P1EQx+QbAxaiQEQBnAhm4IhUxqtz4rne Vt44TYY4hj5rAFNw6RmLUu3VGCXvwquZjouLfrXZBNL8gFP4VvUOs2C/6pyGS9f5JiosA2KL CSSeQ1JCWgDXkHMCUrkO/Gi4tzJ8u7QAeTbTbOGebKVtelXTOuF37qmyI5n5CqBP8nJNXJ5S fg6009CG311BoWRmjkCTTAWizOYb8Ofo0TZmGU/pcS+/fL3HQP3sNLeUf0JaJM/qlbo0sLhf 6aKiS10KChVzMYJzH7Mkv0E2UIKzjtpfH+rGKgBsijESOTRnLVWBlgVcXAWVoMA4qQi0w1KI cOehMny0+sygfMyBVltXkenn8CgYM1MLm2gfgCiZg7DJPGdKDvHztuiK7u7UqFVhf5IugeYs CyeElT/Mz2P0TLiTFaqMOhJjWeWMAEU6+TfOl59TGPkStzhcBiyNtR62CY3zbMDjXTPLWcAM DJ4fiulS5Wb9mVdg/x6GipM4mc3dYFseg6Q9ezZMYobuPctCS9v0edb6XE7jbZZ8XMcLBSas CDJ6NtvqlSn1OSD12g+OCc= IronPort-Data: A9a23:wKzCqaqoqKGzI4/jnbDoyeg1+RBeBmJqYRIvgKrLsJaIsI4StFCzt garIBmEOv2LMzD1LooiYdjjoBwFusDUy9c2TVNorXs0HyMWouPIVI+TRqvSF3PLf5ebFCqLz O1HN4KedJhsJpP4jk3wWlQ0hSAkjclkfpKlVaiZfHk3HVI5IMsYoUoLs/YjhYJ1isSODQqIu Nfjy+XSI1bNNwRcawr40Ird7kk21BjOkGlA5AJmPqgR5Aa2e0Q9VfrzG4nhdxMUfaEPRoZWd 86bpJml82XQ+QsaC9/Nut7Tbk0QT7fOChOFg3xQVrLKqkAqSvsaj87XnNJFAatmo23hc+JZk L2hhrTsIesdBZAgrcxGO/Vu/46SCoUdkFPPCSDXXcV+VCQqeVO0qxllJBle0YH1Zo+bqIyBn BAVAGllU/yNuw656ImxdPd8rdV6F47qYLNG5E1S/CrwL/lzFPgvQ42SjTNZ9D4qg8FVAfvXa 4wSYiEpaRXJZhwJN1sKYH48tL753D+kKnsI+RTLzUY0yzC7IAhZ37XqPtT9ccfMQMRcm0feq 27bl4j8KktEaYzAkWbcqhpAgMfshxyre6VPF4adyeFm2wK272spGSAZAA7TTf6R1hfkBY4BQ 6AOwQIlpK02sUiqVcXVRAy9uHfCvxgGWtMWHfdS1e2W4qPO5geCGmUNQnhKc5ojtcYzRHon2 kLhc87V6SJHi7erV2K25+6v6jLuCXFLEV0zfgYmQl5QizX8m73fmC4jWTqKLUJYptTvHDDr3 z2DoG41nPMWjMcO1uO28U2vb9OQSnrhEl9dCub/BD7NAuZFiGmNPd3A1LQjxawcRLt1t3HY1 JXE8uDHhAz0MX1yqMB9aLlURu/1uZ5pwRXBh19xEoM69ii8s3mtNYVR6TR/THpU3wdtUWGBX XI/TisKuMAJZyb7N/UsC29zYuxzpZXd+R3efqi8RrJzjlJZLWdrJQk/NBLC7HOni0U2j6A0N LGSdMvmXz5QCr1qwHDyD60R2KMijHJ2j27CZ4HJ/zL+25qnZVmRVegkNnmKZbsH96+qmlje3 OteEMqo8C9hdtPCTBPZyqMtCGwbDGMaAMn2ovNHd+TYLQtBHnogOsDrwrggWtJEmopEnNjM7 H2SZE9q4wf9tCbiNA+1bnBpV7Dyb6lF9FM6Ii0eElK60FczYYuUzfk+drlmWZIF5eBc3fpPY P1dQPq5A9NLUW7h6RkGSJvMs7xZaxWggDyRMxqfYDQQe4BqQyrL8ITGejTD2TYvDC3tk+cDu Jylix3mRKQcSzRYDMr5bOyly3WztyM/nMNwR075HclBSn7z8YRFKz3DsdFvGpsicS78/zq90 xqaJTw6puOX+o88z4TvtJC+9oysF7NzI1peE2zl9o2JDCj9/Fe44Ip+Qe2NLCH8VmT1xf2YX t9r7crAad8JoFUblLBHMedP7bk/7N7RtbNl3lxaPHHUXW+KVJJkAFe7hPdqiIMc6INdiwWMX mC3xuJ7IpSMYcPsL04QLlEqb8OFzvAlpQPR5vUUfmT/wj1T+eOfYHoLJz2Jti9RF5puEYYf2 ex6ktUn2w++rRsLM9i9kSFf8VqXHEEAS6kKspI7ApfhrAgg2nVuQMb5JHftwZetb95sDBEbE gWMjvCfu4UGl1vwTXUjMFPsg8xfvM0qkzJXxgYgI1+ppIL0tsUv1kcMzQVtHxVn9TQZ4eddI WMxClZUI5+J9DJWhMRueWCgNgVCJR+B8HzK1Fo7uzzFfnasS1DyAjUxCcSV8GAd1lBsTDxR0 bWb6WTiCBLBXsX62AksUk9E9d3na/FM9TP5pcP2JPTdQqEGYgfkjJS+OksOiR/sWv0qiGP9+ OJFwedXaI/ADxA2nZEVMYeh+I4reEi2H1AaGfBF14EVLF7YYwC3iGSvKVjuW8ZjJM7q0E6fC u5sLdMSSx2B+jqHlW0fN44xIptfvv0g1PwdcJzFeE8EtLq+qGJykZTyryLRuk4ic+9Mo+0cd LzDRmmnKXOBo3l+l0vmjth2CkDhbfYqPATDjf2IqsMXHJc9gcRQWEAV0IrsmU6KMQFirimmj Cmaa4D4l+VdmJlRxa3yGaB+BiKxG9P5dMKM1CuR691uT9f+Af3ihjMviGvMHlppZOMKetFNi 76ynsb93xrFsJYIQmnpocS9OJcT1/qifth8E5zRF2ZbrxugScW3whok+kKEE7Jrvu5ZxPGaQ 1qfVJPtW/8TAttT/SgAIWwWWRMQEL/+YarctDuw5abEQAQU1Qvcasir7zn1ZGVcbTUFIID6F hSygfu1+9REt85ZMXfo3R2970NQezcPmJfKduEdcRGRFGypmU+Ps7eknhE7rzTKA3yFVsv2/ Popg/Q4mAua4Mn1IBNx6uSefSH7yF52mq81f0sY+ph7hy3S4KsuM7EGKZtfYn1LunWa6Xw7D Q0hqEMpEmP4XD1BcFPx7MmLssJzwAAREo+RGwHFNH94p8t76E1szVehGupdD69KRwbe IronPort-HdrOrdr: A9a23:0o3z86vOPfWZR9/75brUjtx47skDHNV00zEX/kB9WHVpm6Oj+P xG8M576faLslgssRgb8LjqBEDqexnhHPBOjLX5cY3PYDXb X-Talos-CUID: 9a23:aj+Ti2CnoHYIL736ExJtylAEMdF8STrckEeJfXOKOH1AarLAHA== X-Talos-MUID: 9a23:M6nA1wpa5z+Ag84m3CwezxJ4C5dLxPmtM2Uyjpld5OytMhZhBjjI2Q== X-IronPort-Anti-Spam-Filtered: true X-IronPort-AV: E=Sophos;i="6.21,320,1763420400"; d="scan'208";a="265870410" X-MGA-submission: =?us-ascii?q?MDFrqCOMzUe8FjvKERUkJ3Ki9yRcfheMAYx7+r?= =?us-ascii?q?chRhYGefCu+1RsBi+vRz+JcX6biqsGbBU8z7Pzj9gX/XQii1GLHTtixL?= =?us-ascii?q?29wzvsrsJut8ApaLjtAyuJmgeaJ/r0UugwkvhUl3EQ5OyEvu7i/MH8k9?= =?us-ascii?q?ntYFxE8XLceuj4eHKX975qOA=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; 02 Mar 2026 18:21:18 +0100 Received: by armistead.ccs.miami.edu (Postfix, from userid 3640) id E27FEA01A8A; Mon, 2 Mar 2026 12:21:06 -0500 (EST) To: User-Agent: mail (GNU Mailutils 3.14) Date: Mon, 2 Mar 2026 12:21:06 -0500 Message-Id: <20260302172106.E27FEA01A8A@armistead.ccs.miami.edu> From: geoff@cs.miami.edu X-Validation-by: geoff@cs.miami.edu Subject: [Caml-list] Nominations for Bill McCune PhD Award in Automated Reasoning 2026 Reply-To: geoff@cs.miami.edu X-Loop: caml-list@inria.fr X-Sequence: 19465 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: *********************************************************** The Bill McCune PhD Award in Automated Reasoning 2026 Call for Nominations http://cadeinc.org/McCune-Award *********************************************************** Automated Reasoning is the area of Computer Science dedicated to applying reasoning in the form of logic to computing systems. The Bill McCune PhD Award in Automated Reasoning distinguishes each year a PhD thesis defended the previous year, for its substantive contributions to the field of Automated Reasoning, its theory, its implementation, and/or its application on important problems. The award is named after the American computer scientist William Walker McCune, known for his contributions in the fields of Automated Reasoning, Algebra, Logic, and Formal Methods. He was the implementer of OTTER, Prover9 and Mace 4, automated tools for first-order reasoning which are known to this day for their accuracy and robustness. He was also known for his generosity towards research colleagues and as a great supporter of young researchers in the field. *Eligibility* Eligible for the award are those who successfully defended their PhD - at an academic institution; - in the field of Automated Reasoning; and - in the period from 1 January 2025 - 31 December 2025. The PhD students supervised or co-supervised by the Expert Committee members are not eligible. *Nomination* Candidates for the award must be nominated by their supervisor(s) and one additional independent researcher who reviewed/examined the thesis. Nominations are to be made by *March 10, 2026* (Anywhere on Earth). Nominations should proceed in two steps: In a first step, the supervisors planning to make a nomination should send an email to sofronie@uni-koblenz.de to obtain a link at which to submit all the documents. In a second step they should upload a zip file containing the following documents: - a letter from the supervisor(s) describing why the thesis should be considered for the award and the relationship of the contributions to CADE/IJCAR; - a report from the nominating additional independent researcher who reviewed/examined the thesis; - the thesis itself; - a copy of the PhD diploma; and - a copy of relevant papers by the nominee, if any, containing results published in the thesis. *Procedure* The thesis will be evaluated with respect to its quality, originality and (potential) impact to the field of Automated Reasoning. - The nominations will be evaluated and compared by an international Expert Committee (see below). - The procedure to be followed is analogous to the review phase of a conference. The justification by the supervisor and the nominating additional independent researcher report will play an important role in the evaluation. - The final decision is made by the Expert Committee at least one month before CADE/IJCAR is being held. - The award consists of a certificate announcing the winner to have received the Bill McCune PhD Award in Automated Reasoning. The award will be announced at the respective year's CADE/IJCAR. The nominators of the winner will also receive a copy of this certificate. The recipient of the award is expected to attend the award ceremony. - The decision of the Expert Committee is final and cannot be appealed. *Expert Committee* The Expert Committee, consisting of leading researchers in Automating Reasoning, is formed by the board of CADE Trustees with the aim to reflect the broad diversity in the area of Automated Reasoning. It is announced with the call for nominations, and thus formed before this call. The decision on the award is taken by the Expert Committee. The Expert Committee can seek additional expertise, even after the submission deadline for nominations. Expert Committee members cannot nominate a PhD student. Expert Committee members cannot contribute an independent report seconding a nomination. The Expert Committee for the Bill McCune PhD Award 2026 consists of the following researchers: - Pascal Fontaine, University of Liege - Carsten Fuhs, Birkbeck, University of London - Ullrich Hustadt, University of Liverpool - Mikolas Janota, Czech Institute of of Informatics - Cezary Kaliszyk, University of Melbourne - Philipp Rümmer, University of Regensburg - Viorica Sofronie-Stokkermans, University of Koblenz (chair) - Sophie Tourret, Inria - LORIA ***********************************************************