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=Pr5ybwQC; 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 A3FB0400A6 for ; Fri, 13 Mar 2026 15:24:13 +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=M8528sW6pR3E7KUAYR56TiXDg9n76U3Xa3jjUVZiQkg=; b=Pr5ybwQCAjSH7w3djU6ohTyUNpATeKgNPn0kGyM+L+fvyd1/scIw8ydH 3WwWkFoWmrcz5vg7SRgSpcy/LHV6sQ+QDBiSFWBuc+SJTNtJM44cM2Ci2 6fEIqoXzbWBFbjmp4Vgppzgt1DIyHgxmkSL7ar8FFmS4j6Xq3sITgmP/5 g=; X-CSE-ConnectionGUID: ++MgVanpT/CqJ/VX1ZrQrA== X-CSE-MsgGUID: tu0no10qTk2dW1dcOBMYyA== 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.23,118,1770591600"; d="scan'";a="267709616" Received: from prod-sympa-app.inria.fr ([128.93.162.27]) by mail2-relais-roc.national.inria.fr with ESMTP; 13 Mar 2026 16:24:12 +0100 Received: by prod-sympa-app.inria.fr (Postfix, from userid 990) id BB01581E7D; Fri, 13 Mar 2026 16:24:12 +0100 (CET) Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by prod-sympa-app.inria.fr (Postfix) with ESMTP id 8CE7981E5E for ; Fri, 13 Mar 2026 16:01:30 +0100 (CET) X-CSE-ConnectionGUID: 7ZxEoCTNQ3Sr9cBOv/HWyQ== X-CSE-MsgGUID: zYCQPUsDTLeSkwDyqpIJ4Q== IronPort-SDR: 69b426ca_bD2E6zJZLQuEIo0ZkkV2s5qoNTJElD4i6dRieaJ3PceW9cz d4iYKfw6Dtu41WYtCU4xEo8iYcIqJv8E+ja20VA== X-ThreatScanner-Verdict: Negative X-IPAS-Result: =?us-ascii?q?A0GVCwA2JrRp/wZZH8BaglmCQYEHXjEDBAtJjVOIeWyec?= =?us-ascii?q?RYpBgkBAwENPRQEAQEDAQIBkiYfBwEEMwYOAQIEAQEBAQMCAwEBAQEBAQEBA?= =?us-ascii?q?Q0BAQUBAQECAQECBAYBAoEKE4ZPDYJFLYEVZAkHAQEBAQEBAQEBJwIBAQEBA?= =?us-ascii?q?QEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQIIBQctKkMhd?= =?us-ascii?q?zACHjGDFoJzAxGhe5BXgQHeKAkkgVMGgU2RFIJxgg2BFYYyFwKBN4Q+gi8Eg?= =?us-ascii?q?iJ6FIF5iW+HQYFmA1ksAVUTFwsHBYFmA4EGbjIdgSM+F4ELGwcFhRoPilOBE?= =?us-ascii?q?YMoAwttPTcUG48wPYF/cn0TPE4wBAk7YpJ0C7M4kESVOgRJqmuZBo4Jig6La?= =?us-ascii?q?YVBgX4ngVlygwEBNE4DGQ9XkX2BC4Emgi/EByo0OgIHCwEBAwmRajSBSwEB?= IronPort-PHdr: A9a23:Qa0B9xXq+EPs1UfqMUyMR5P4O5XV8Kw3XzF92vMcY1JmTK2v8tzYM VDF4r011RmVBtmds6oP0bqH7f6ocFdDyKjCmUhKSIZLWR4BhJdetC0bK+nBJGvFadXHVGgEJ vlET0Jv5HqhMEJYS47UblzWpWCuv3ZJQk2sfQV6Kf7oFYHMks+5y/69+4HJYwVPmTGxfa5+I A+5oAjfucQam5duJro+xhfXoXZFf+VbyGJ1Ll+Pghjw4du985Fk/ylMofwq6tROUb/9f6Q2T LxYCCopPmUo78D1thfNUBWC6GIEXmsZihRHDBHJ4Q/1UJnsqif1ufZz1yecPc3tULA7Qi+i4 LtxSB/pkygIKTg0+3zKh8NqjaJbpBWhpwFjw4PRfYqYOuZycr/bcNgHQmVPQ9tRVzdZAoyic 4QPE+QPPeFdr4bnplsOqwa1CQ2jCe7rzzNFgGL9068n3OQ7CQzIwRIuENwAvnrXrNv4L7seX fypwKXU0TnOde9a1DHg44bIaBAhpvSMUKp/ccXPzkkvGQ3Fg06Mpoz+JT+V0+UNvHKe7+phT +6glXMoqxx3rzOyycgilpPHiZgJylDY6yp52oA1KMW3RkJnfdOqHppduz+bOoZyTM4vQX9lt ig0x7AbpZO2cjUHxpo7yhDfdfGKfJaE7BzsWeuTIzp0mHJrdb2+ihuy90Wr1+PyVs6x0FlQr ypFlMHBtnQX2BPP7siLUPV9/l251TaTygDf8/xLIUcularHLp4h37gwmYcJvUveACD6gEr2j K6KdkUk5+in8P7rYrThppOENo90jBv+MqU0lcClD+Q4KBACX2af+eS7yLLv40z0TK9Njv0sn anUto3RK8cDpqOhHgNY1pgv5wyxAju7ytgVnn0KIEhEdR+BkoPnIUvBIOriAve6m1mskClkx /TBPrD5GJrNNH3DkLb6fbZh9UFT0hc8wcpD6J1IEbENOvfzWk7ru9zdDx81KRK7zPv6CNll1 4MeX3yAArOBPa/PtVKE+PgjLueRaIMPuzvwL+Ip6v/2gX88g1AdfK2p3ZUNaHC/G/RrO0qZb mTrgtcPH2cHpRYxTPfwhF2HUD5cfXOyX6Mm6j4lFY2mEJ/PRpqxj7yZwCe7AppWa3haBV+WF Hfoc5yIW/MNaCKJPs9siScEVLikS485zx6irg76y7x9LurV4CIUr5zj1MJt6+3Vjh497SZ0A NiF02GRU2F0mXsFSyIu0KBwv0N9zVSN37JgjvNWCNJf/+lJXRkkNZDf1eJ3E8r9WhjEfteIU 1amXsupDissQd4r39AOeFxxG9Cjjh/Z2iqqAqUZmKKWC5wp6q7TwnvxJ8d4y3vezKcvgFcpT NVTO2C6gKBz7xXcB4vTnEWDi6mnbbwS0jfV+mmM1WaOp1lYUABoXKvfQX0Re1bYoczi5kPaQ b+hEbQnPRVFyc6FMqZEcsTng01JSqSrBNOLN2m4nmP1AReT2puNapDrciMTxnOOJlIDllUc8 HGIOyA1HWGkomvbDXpjGU+8MAvX7eBipSbjHQcPxAaQYhg9htJdmzYQjP2YELYI264c/Twms 3NyFUq82NTfD5yBoRBgdeNSe4B1+09JgETesQE1JZm8N+Z6nFdLfAlwsU3G3A4xD4RJlMlso X83n0JpMazN6FpabHuD2IzofLjeK2385heqPqHb3V/Q+N2NvKIO4fE57VjvoVLhDVIsplNg1 dQdyH6A/tPKAQ4VBIr2SVoy/gNmqqvyazM45pjI2HRgd6K/qXnH2tssBa0oxgvIk853FqSCG UeyFsQbA5PrM+k2gx2yaQpCOulO9akyNsfgdv2c2aftMvwy1DShxX9K5oxwyCfuv2J1V/LI0 pAZwvqZwhrPVjHyi02ku9z2noYMbC8bH262wyzpTIBLYag6cYEOAGaoa8q5o7c2z5HgXHBW3 FW4QVYH0cqoPxeech213AFd01gWvW3ygTGxnHR/lzAkqLba3TSbmrW4MkFefD4aAjcx6DWka ZK5hN0bQkWyOg0glR/+oF3/27Aev6NnaW/aXUZPeSHyaWBkSKq58LSYMKstoNsltztaVOOkb BWUULn49lEV3iTtEUNV33Y+djivu9P0kwEw2wf/ZD5j6WHUf81930KV69HbS/B51SFAQShxj DiRC1ShdYrh7ZCfkJHNtfq7XmSqW8hIcCXl+oiHsTOy+WxgBRDXc+mbotT8CkB61Cb604IvT iDUtFPnZZGt0a2mMOVhd00uBVnm6sM8FJss2oc3gZgR3zAdiPD3tTIInGD9P/1QwuT7bXMIR HgGz8Od7AX+2UJlJ26E3MqgBy/bmZInN4j8PCsfwWol4tpPCbuI4bAh/2M9uVe+oQ/LILB8k job1foy+SsfiuANthAqy3bVCbQTEE9EeC30wk3ZtZbl9eMHNSDxIt3SnAJkkNusDa+PuFRZU Xf9IdI5GDNoq954KBTK2WHy7YftfJ/Ra8gSv1uaiUSl7aAdJZQvm/4NnSciN3j6uChvxOM8g xJG1or8uYmOLmQr8a6kSE09VHW9d4YI9zfhgLwL1Mmb2I6hNp56XDAKVZ7pC/+kDXhB/eSiP AGIHjomr36dEreKBg6T5nBtqHfXGoyqPXWadxx7hZ1yAQOQL0tFjEUITS03y9QnQxuyypWrI w9poyoc7Vnipl5Qx/J0YlPhB3zHql7NCH98SYDDfkMHtEcZvgGFYIrGqbgvVyBAos/49l3Lc zPCIV8USzhQEk2CDFT+MrT80sLY/a6XAe2xK/aIarKLzI4WH+GBwZblumd/1xCLMMjHfnxrD vlgn1FGQWg8AMPB3TMGVy0QkSvJKc+dvha1vCNt/Ii597zwVQTj6JHqafMaOMhz+x2wnaaIN vKBzCd/JzFC05oQxHjOgLEB1V8WgitqenGjC7MF/SLKSavRnOdQAXt5I2trM9BU6qsnwgRXE cfBj9LuyrNxgrg+AEwDUF3on8DvaMAXYim8OF7BGEeXJeGGKDnMkKSVKeu3TbxdivkRtgXl4 GfBVRS6eGTS0We6MnLneftBhyyaIhFE7YS0cxI2THPmUMqjcRqjdtl+kTwxx7QwwHLML28Vd zZmICYv5vWd6z1VhvJnFilP9H1geKOLliGX4cHTMdATsPJuA2J5m/8QsxFYg/NFqTpJQvB4g n6Yttl1v1SvifWC0BJuSh9PsSpGjY7Ntk55f6DY/5xBH3vI4VheiAfYQwRPrNxjBNr1vqlWw dWaj6P/JgBJ9NfM9NcdDczZQCpoGHE6dx/oETvVSgYJUGzyXYk+r0VHlfCJ6nCcot4xoYOqn ZsHT74dWVAoRKty4qFNF8dEJZZ+WzJinLKG3pZg2A== IronPort-Data: A9a23:Rba0G6qQwQNKuHU7aT6+A1YLr/5eBmJqYRIvgKrLsJaIsI4StFCzt garIBmAbPeJa2qgL4t0bdy18R4EvJeByIJgQVc6pHw3Fn4a+ePIVI+TRqvSF3PLf5ebFCqLz O1HN4KedJhsJpP4jk3wWlQ0hSAkjclkfpKlVaiZfHk3HVI5IMsYoUoLs/YjhYJ1isSODQqIu Nfjy+XSI1bNNwRcawr40Ird7kk01BjOkGlA5AJmPqkQ5Aa2e0Q9VfrzG4nhdxMUfaEPRoZWd 86bpJml82XQ+QsaC9/Nut7Tbk0QT7fOChOFg3xQVrLKqkAqSvsaj87XnNJFAatmo23hc+JZk L2hhrTsIesdBZAgrcxGO/Vu/46SCoUdkFPPCSDXXcV+VCQqeVO0qxllJBle0YH1Zo+bqIyBn BAVAGllU/yNuw656O2JWsRrrfgFFZLQJtIUkFZ+ihHmHM9zFPgvQ42SjTNZ9D4qg8FVAfvXa 4wSYiEpaRXJZhwJN1sKYH48tL753D+kKnsI+RTLzUY0yzC7IAhZ37XqPtT9ccfMQMRcm0feq 27bl4j8KkhGbYbAmWfYrBpAgMfdrAjCYL8JOIGc+8Vpn3GC33QyKkEvAA7TTf6R1hfkBY4BQ 6AOwQIlpK02sUiqVcXVRAy9uHfCvxgGWtMWHfdS1e2W4qPO5geCGmUNQnhKc5ojtcYzRHon2 kLhc87V6SJH74+FZHW2ypGt9gioaCM/CnFFRRAVdF5QizX8m73fmC4jWTqKLUJYptTvHDDr3 z2DoG41nPMWjMcO1uO28U2vb9OQSnrhElFdCub/BD7NAuZFiGmNPNTA1LQjxawcRLt1t3HY1 JXE8uDHhAz0MX1yqMB9aLlURu/1uZ5pwRXBh19xEoM69ii8s3mtNYVR6TR/THpU3wdtUWGBX XI/TisKv8MOYyT3NfUqC29zYuxzpZXd+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:ARRt1Ksu5BKOddTI6iCGgJHH7skDHNV00zEX/kB9WHVpm6Oj+P xG8M576faLslgssRgb8LjqBEDqexnhHPBOjLX5cY3PYDXb X-Talos-CUID: 9a23:W5JQumGIBT5kYIJUqmI4xl45HesZVESG922BKGWfFyFJd6ysHAo= X-Talos-MUID: 9a23:gRmgOQYnOG59huBTpQ7HvQlfL+tUx6mVC18hgIwemuvYDHkl X-IronPort-Anti-Spam-Filtered: true X-IronPort-AV: E=Sophos;i="6.23,118,1770591600"; d="scan'208";a="141278556" X-MGA-submission: =?us-ascii?q?MDGFVbV/TuJWB7C6wZP/8+U3zDkxr5TxGwNPcA?= =?us-ascii?q?fnPNVG01FjQOJxcIUFegOZtO8AGEeCLsJ2qe0pqRHZfq0lJs6tiHSyg+?= =?us-ascii?q?Q/h9npJkFz73R4a+uHAQzsgitT1RPWHFVDuaD4fO9TT+k2dFp+R/Y9lP?= =?us-ascii?q?lSpG4AzASV7PvqNWtI1fi24Q=3D=3D?= Received: from armistead.cs.miami.edu (HELO armistead.ccs.miami.edu) ([192.31.89.6]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 13 Mar 2026 16:01:30 +0100 Received: by armistead.ccs.miami.edu (Postfix, from userid 3640) id A78DFA015B4; Fri, 13 Mar 2026 11:01:13 -0400 (EDT) To: User-Agent: mail (GNU Mailutils 3.14) Date: Fri, 13 Mar 2026 11:01:13 -0400 Message-Id: <20260313150113.A78DFA015B4@armistead.ccs.miami.edu> From: geoff@cs.miami.edu X-Validation-by: geoff@cs.miami.edu Subject: [Caml-list] FSCD workshops at FLoC Reply-To: geoff@cs.miami.edu X-Loop: caml-list@inria.fr X-Sequence: 19469 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: @@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@ GaLoP: Games for Logic and Programming Languages GALOP is an international workshop on formal models for program interaction. It has a broad interest, in both the foundational aspects of these models as well as their practical applications. FULL INFORMATION AT: https://galop-2026.lacl.fr/ - submission deadline: 6 May 2026 - what to submit: an abstract up to 2 pages, describing a talk - notification: 26 May 2026 @@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@ ITRS: Intersection Types and Related Systems The ITRS 2026 workshop aims to bring together researchers working on both the theory and practical applications of systems based on intersection types and related approaches. FULL INFORMATION AT: https://itrs2026.tu-dortmund.de/ - submission deadline: 15 May 2026 - what to submit: 3-5 pages, excluding bibliography - notification: 29 May 2026 @@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@ IWC: International Workshop on Confluence IWC seeks to provide a forum for researchers interested in the topic of confluence to exchange and share new developments in the field. The workshop will enable discussion on theoretical results, new problems, applications, implementations and benchmarks, and share the current state-of-the-art on the development of confluence tools. FULL INFORMATION AT: https://iwc2026.github.io/ - submission deadline: 20 April 2026 - what to submit: extended abstract or short paper of at most 5 pages - notification: 26 May 2026 @@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@ LSFA: Logical and Semantic Frameworks, with Applications Logical and semantic frameworks are formal languages that represent logics and languages, as well as computational, AI and deductive systems. The LSFA series is a platform that fosters collaboration, bringing together theoreticians and practitioners. FULL INFORMATION AT: https://lsfa-workshop.github.io/2026/ - abstract deadline: 30 March 2026 - submission deadline: 4 April 2026 - what to submit: full paper of at most 16 pages - notification: 4 May 2026 @@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@ LFMTP: Logical Frameworks and Meta Languages: Theory and Practice This workshop will bring together designers, implementors and practitioners to discuss various aspects impinging on the structure and utility of logical frameworks, including the treatment of variable binding, inductive and co-inductive reasoning techniques and the expressiveness and lucidity of the reasoning process. FULL INFORMATION AT: https://lfmtp.github.io/lfmtp-page/workshops/2026/ - abstract deadline: 21 April 2026 - submission deadline: 28 April 2026 - what to submit: full papers (at most 15 pages), system descriptions (at most 10 pages) and work in progress reports (at most 8 pages) - notification: 29 May 2026 @@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@ TGD: Tribute to Gilles Dowek ---------------------------------------------------------------------------- Call for talk proposals Tribute to Gilles Dowek July 18, 2026, Lisbon, Portugal https://deducteam.gitlabpages.inria.fr/tribute-to-gilles/ ---------------------------------------------------------------------------- This workshop aims at celebrating Gilles Dowek's influence in logic and computer science. We welcome short or long talk proposals on the connections between logic, computation, and possibly physical theories, reviews of work done by Gilles or with him, or of results obtained thanks to Gilles' influence or related to Gilles' work. Topics include, but are not limited to, logical frameworks, proof systems interoperability, ecumenical proof libraries, automated deduction, quantum programming languages, and physics-inspired models of computation. - Submission website: https://submissions.floc26.org/tgd - Submission deadline: 3 May 2026 - Notification: 15 May 2026 ----------------------------------------------------------------------------