From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <caml-list-owner@inria.fr>
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=rKaJGofQ;
	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 5CBFD40086
	for <caml-list@tunbury.org>; Mon, 13 Jul 2026 00:31:13 +0000 (UTC)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
  d=inria.fr; s=dc;
  h=mime-version:reply-to:from:date:message-id:to:cc:subject:
   sender:list-id:list-help:list-subscribe:list-unsubscribe:
   list-post:list-owner:list-archive;
  bh=XvZOiQlicR/56LFJ6FZfZ16+jmsKk1wC20kNJrOagKY=;
  b=rKaJGofQgeoc7A8MB06nQ4iL+ZnmuwExSi5X0ZhXh5IAcpOBjnE7AYPk
   WQKkKOyK8W0wzRGV65QRBAqZYKoQOyv+n3C5Xt4rKCgl3i3bIx1t2EHIR
   5HRMehu984ZzP+O3/ov3nM5+od+ZfaTDKxS9GwdU5vIlFDyoWe5ixb0C7
   A=;
X-CSE-ConnectionGUID: JdpcbeVXSsysFrzZruQgtw==
X-CSE-MsgGUID: 4B4xPKOQTEaO6Fsiwesh+A==
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.25,154,1779141600"; 
   d="scan'208,217";a="286074969"
Received: from prod-sympa-app.inria.fr ([128.93.162.27])
  by mail2-relais-roc.national.inria.fr with ESMTP; 13 Jul 2026 02:31:13 +0200
Received: by prod-sympa-app.inria.fr (Postfix, from userid 990)
	id C743181CED; Mon, 13 Jul 2026 02:31:12 +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 6676D81CCF
	for <caml-list@sympa.inria.fr>; Mon, 13 Jul 2026 02:27:22 +0200 (CEST)
X-CSE-ConnectionGUID: nIe2UBlKRaKvX5tWfCDeCQ==
X-CSE-MsgGUID: k+3syozETVGsdkLF7KYUSw==
IronPort-SDR: 6a5430e9_Rtf3ZjQvSxG/Rc7EO99+K7lR3bMKaBNeCQDbv+GUpn6O5w8
 tGMVkVfyBfR2SyXTFWuJSF3A69WYLbz0pXnkzDg==
X-ThreatScanner-Verdict: Negative
X-IPAS-Result: =?us-ascii?q?A0HXAQCpL1Rqjw4BWcdRCQ6CSwKCFilCAUdfMwcISYRYg?=
 =?us-ascii?q?SOQUIEWkDeOEDgBBg8BAwENLgEIGgQBAQECBIFKAUCCc41QAh8GAQQzBg4BA?=
 =?us-ascii?q?gQDAgMBAQEBAQEBAQEBAQsBAQEEAQEBAgEBAgQDAQEBAQIQAQEBAQEBOQVJh?=
 =?us-ascii?q?hUIMg1JARABggcBgSReSAEBAQEBAQEBAQEBAQEBAQEBAQEBARQCDQdXASEFA?=
 =?us-ascii?q?RAIAwYdAQEkAgUMARgNNwICIRIBBQEjNIIIWAGCIgEBBEsDEaEkjz2BAkKKQ?=
 =?us-ascii?q?3qBMoEBggwBAQaCUdlggQ1cAwaBTYhcAYFfAQIOhAc6AYRBJ4FkRIEVNYI+B?=
 =?us-ascii?q?QKBdDyBIASBMgQDUoMugmqCERWBDCmDN4FWMYtjJgcHGAMHBw4qAUYOASEDJ?=
 =?us-ascii?q?jMsAVUTFwsHBV5VMwECAR8KLxQZAhQdEg8EFjIdNzkMJxIsFzRYGwcFgR1EQ?=
 =?us-ascii?q?FWBBIR3Ix8DOX+BMAprSnktcgEBER4KgUcLgRwBAwJ0WQMLYgs9NwYCDBtJA?=
 =?us-ascii?q?UEdEo1AFw+CVUwECAUKCxkYEw5FFRUBBwUXGQQJCgceDA4JPA+HP4s1CyaPZ?=
 =?us-ascii?q?YIegTieHIE+B4QgjCGVVDOEBIcXjEQ8iwuGPiFniASRBCONZ5U0LgIThTERC?=
 =?us-ascii?q?hqBWiRJgRMzGjAiUgaBIoEOUAMZD4FMjGwCiHwuiXMJvFs1NT4BBwIHAQELA?=
 =?us-ascii?q?QOBc4xwgxEzgUwBAQ?=
IronPort-PHdr: A9a23:XqMhAxynQOtFXEPXCzKU2VBlVkEcU1XcAAcZ59Idhq5Udez7ptK+Z
 xKZvawm0wGTFcWDsrQY0LaQ6/ihEUU7or+/81k6OKRWUBEEjchE1ycBO+WiTWDdErvBQhd+I
 v5/UkR49WqwK0lfFZW2TVTTpnqv8WxaQU2nZkJ6KevvB4Hdkdm82fys9J3PeQVIgye2ba9vI
 BmsogjcuMgbjZF+JqosxRfEoHpFd/pLzm9sOV6fggzw68i+8ZNs6Shcp+4t+8tdWqjmYqo0S
 qBVAzshP20p/sPgqAPNTRGI5nsSU2UWlgRHDg3Y5xzkXZn/rzX3uPNl1CeVJcP5Qqk4VCqt4
 al2UBPnhzsJODA/8GHMl8x/l7lbrw67pxx+2IHbfoeYP+djc6zHfNMaQW1BXttNVyFEH4ixY
 ZcDA/YHMO1FtIT2uUcAogWiCgmtHOPvyyFHhnnq3a0hzu8tFRjK0BE8E94StXjZqsj+OqUPX
 uCv1KTHwi/DYfNY1zn+9YbGbA4sru2XUL1qbcbc01MiGx/ZgliSr4HuIjOb1v4Ks2ie9+duV
 v6gi24mqwFrpTik28UihZPShoIIzVDP6CJ0wIcvKd24UkF7esOkEJxLui6AK4R2R9kuQ2Zyu
 CY107ALv4OwcycWxpo93RHfd+CHfJaS4hLlTOucICt0iW97db+xgxu//0utx+nzW8Sw1FtGs
 zRInsTMuH0N2BHe6seJR/Vj80qgxDuC1wTe5vxaLE40m6fWK54vz7gtnZQdtkTDGzX5mETwj
 KKOa0Uk+PKk5Pr6bbX7vJOcL4t0hwfjOaotgsyyGfk0PwwKUmSB+umx0Kfv8VDjTLlXgfA6i
 rfVvIzeKMgBpaO0AxVZ3ps95xu8FTuqzdYVkHkBIVlYYhyIlZLpNEvLIP3gDfewnVCskDBzy
 vzaI7HtH4/BLnzZn7buZ7p97lRTyAs3zdBF4JJUF60BL+zpVk/3qtPYEgc1Mw2yw+n5FNVwz
 p4SVGaLD6ODM67ftUWE6v81L+WRa4IZoDP9JOIk5/7qg385g1gdfayx0JsWcny4Hu5pI16EY
 XrrmdoOC3sFvg8kQOztkl2CXiZfZ2yuUKIk+jE7FIWmAJ/fSY+3hbyB2D63HplXZmBdFlCBC
 mzodoWBW/cUci2eOM5hkjoeVbigUYAtzx+utBXix7phNeXb4jcYuo771Nhp++3Tkgk/+SFsA
 8SSzW6NSGJ6kHkQSjA4wa5zuVZ9xUmd0aZ7mfJVDcBf6+5UXgsgMZ7T1eN7B8r3Wg3bf9eJT
 EymQtK7ATEtUN092dkObFhhG9m6kx/D3CuqA7oNmrKTC5I7/LzS0WTtKsh703rJyawhgEM8Q
 sRTLWConrdx+RDcCYLRiEWZj6iqeLwG0iPR6WmN0HKCvFpAUA5+SarFXW4QZk/Rrdnh/E3PU
 6KgB6l0ejdGnNKTMqZRL9Tvi1JbQvzuENDfeH6q3Xy9DA3O26uBaoysdmkAmG3WAVQJnAcJ/
 HudHQ0iD2GqqiaWFCJ1PVn0ZwX36+g4o3S+Cgc6ygqDY2V8y7604QIOw+GARuMaxfQJtDpl4
 zVvF12V29PNF8HGpg5lfaNbYMh77VtakSrAuhdhe5WmKad/gFUTWwVrvgXv0xF2DIJBio4no
 G5uhAF1MOeT1E5LXzKex5H5fLPNbiH5+FWucKfc11Xa3ZOL4aoV87E/tFPupimtF1E+6DNs2
 twT2nDa+5aORBIIVp20Vk8x+DB2prLHJCU+o8vf3HhodK21qSPq2tQzBeJjxAzkN9dYNOaFE
 gH1O8kbHNS1bvcthkKiYxwDJu9fsqg5I4fuc/qNw4axMf1tlSitjSJN7YR5l0aF/TE6QenNm
 94I3fyewiOGUXHgkRKqtsnqgpxEbDVUEmf7gSHvANR5e7F2fJ0XEiGzP8Cnz844ipLwHzZT8
 1ioGkkc1cmiaDKWbkfhxgBKy0kN52C6lG2+y3g8jzEkqbCOmSjJzOXpXBEcfGVOWS9vgUqoa
 ZC5k8obGU6lc002kwGh6W7iyrRBpaJyMy/VTFsMNyb3KWB+X+61sbaPZ4tT6J4vqzR/VOWnf
 UvcUKHho14T2ijjEm0YyD1/Py2qt5LjjhpmoGacN2pooWDHP8d3yR7cotHQWLoZ0jAZQzN8h
 RHcHR6jPsKiu9iYitOLtuG4Wmu7fpZINzL3xIWOszG3o2BmHFn3nP+ostngHgkxlybnk5FlX
 CDFtz74Y5L3zOKgLv5nO0BhD1/x7Yx2F8U2nIw0gJA4138egpTT/HwJliO7PtlBnKPwaVICS
 SROwtDQpgb/nAVjL32Jw4P2VmmG9cBmYtynZGIKywox7s5ETrrR5rtekSZ8v0r+oxiVKfx6k
 TYWjP4qwHAdmKcKpQs2iCaMBawVWFQeNCeqlQzMp8u5qqJLaWCoWbe300V6kN+7C6yauUdXX
 3O9MpU5BjRsq91nNHrC12a16ZzlY5/TfNUPsViJ1R7LyepNe6g8jv4buS0yOCT9tGY4zMYyh
 hko2ou176adLGA43am5AwRffh38fN4UsmXsy6ZXhduR94mkG9NmADpdD8igdu6hDD9H7aevD
 A2JCjBp7y7DQdI3fCea4UZi9TfUFoyzcmuQLz8fxMljQx+UIApehhoVVXM0hM1xDRikkermd
 kox/TUN/hjgsBIZy6RoPgLiVU/WrwLubS07G9CENBQD1ghZ/A/ONNCGqOd6HiVW5Jqk+Q3LK
 mWAegNgBGoMHEueCAOrJaGgsOHJ6PPQHe+iN73ObLGJ/PRZTOuNzImz35FOp2/VcMGGLj9nB
 vw/wE1eQX0/HcnF89kWYwoQkS+FL8uSpRPmvzZystj66vPgHgTm+YqIDbJWd9Rp4RG/x6mZZ
 aaWg25iJDBU24lppzeAwaUD3FMUlyBldiW8WbUGuynXSavMm6hRRxcFYiJ3PcFM4uoyxA5Ic
 cLcj9r00PZ/gJtXQx9EE1zogdyuTcUBJie6LlyGTEeHObKaJCHaltntaPD0QrlRgeNI8hyo7
 G/KQgmzb3La0WC1BHXNealWgSqWPQJTotS4exdpUy34Sc7+Lwe8O5lxhCE3xrs9gjXLM3QdO
 H5yaRAozPXY4CVGj/F4A2EE4GBiKLzOmmCZ5vLFLb4fuv4tBT573bES8DEhxr1Z4TsRDv0zm
 CLJs9lGqlqj1O6VxXA0NXgG4iYOj4WNs0J4PKzf/ZQVQnfI8iUG6mCIAggLrd9oYjH2k5hZ0
 cOH1Kf6KTMYtsnR4dNZHc/fbsSOLHsmNxPtXj/SFgoMCzCxZynTgElUkffa8XPwzNByq97sk
 YETTZdSX1lzEekVQkhoB90NJp5rUyhsyO/Kyp5ZoyP49UWZTd4Spp3dU/OOHfjjYC2Ui7VJf
 Vpto/uwLIgeMJH6x103b1B7mIrQHE+DFdtJoyBncko1uBAUoSk4Hjx1ggS8NlDIgjdbD/O/k
 x8ohxErZO0s8G2p+FIrPh/QoyB2lkAtmNLjiDTXcTjrLa72U5sFbki8/0U3LJ7/RB54KAOom
 kkxfjaCR7tKkrxIfGtuzgjGttEcUe4ZVqBCbBIKkLuWIfUhyklbgiyswAlA/+SPWv4A3EM6N
 JWrqXxHwQdqatU4cLfRKKR+xV9VnquSvyWs27N50EoEKk0K6m/XZD8QtRlCKOw9PyTxtL8Ji
 0TKi35ZdWMLTfZvvv966hZ3JbGb1yy5m79bdhLva6rFdPPf4jWR05fVExsxzh9azRAbu+Erl
 514KQzPCyVNhPOQD0hbbJuab1APKZMPpD6PNSeW7beTnNQsYtv7TqawCrXV/KcM3hD7QEBwR
 dlKtoJZWcDytSOQZcb/cOxfkURrtFmtfQ/VSqwOIU3DkS9Z8ZvnlMYlgdkDfmNBUTshY3fwu
 +iyxEdigeLdDo1qOitIANtcbiBqCJPmyXwe4ioIDSHpgLhHkFfQ4W/2/naMXGegPYgkOanxB
 1skCcnoq29vq/Dk0lCPoMmOeT2oZ5M/5JfO8b1I/Z/fU6ENEeQl4RuMxdUKFTv3DQutWZa0P
 8aiMYJ0Y476ACviAADv1W5nHYCsYp6sNvTa21m5A98N4c/Dmmhkb5TYdHlWGg8s9btavuQmO
 VJFOcd9OVmy6kw/L/Dtfljeg4noHCD1bmEKB/hHkbfnPfoOknRqNLLhjiB6Cctqqov/uU8VG
 MNU1FeEn6vlPtQYAHi7G2QBKV+W+mxm0TEwaaBomr13wQuU4wNEYnbSLb0vNCoc+ItnYDHaa
 XRuVjhiHw7a1NOSpFDqh/dIo2Nch4oGi7UD7yW45NmGP2zrAvzjqI2J4Xd6K4J7/+srYMqyf
 Izc6/a81nTeVMWC61XeFnTqUaYA3IAXen4QQeEUyzh5Z4pW6cwbuQxpEZ1ib71XVPt1+OvsN
 WUiVH5Ki3deDdnlvnRKg//gieGCzVHNLdJ4aVpc988eytoFD3wsOn9Y+/LlDtmM0TfDEDRDI
 R9Pv14ToltayMkpIr6juM2SEPoug3ZXu64mC3qaUMk5sQO9EibM2BD5UKnzzrDvh1sJiqu0i
 59LBlZ+ERQPmroQzBJzbugvcu9B5uuo+neJbR+o4T6rkrP+YgQXkJaPP1zgUNiY6SymC31ao
 yZEA9UVkDneDchAzlY/MfZ04gwUe8b8IhibhXRsxpw1TeTkE5rznxB8/SxAHn7yW9tZV7M76
 hSLAHs/O8vt8s24c5RKHj0NotvN+hEAzxoranXjrPgUY8BVvmxRBn4U8HPE5oT0EZUfkc5uU
 81XfpEl4Sy7QfMffsHO+jU3ouC9lyOfomBh9g7rlHPqSvLdLaoR/nVCSFh1YT3O9w9yVq1xr
 y/T6gyf7wwypb4HQOfSyxwq+X58BswcXG4Vkyr+fhIrCiEB6bk/SuydcspXR+Q+aE2YIAQwT
 Lgv1Em++lt720D1JSF7rRpW/inHVE8sTy5dlL7pnXd2RtiPATYBUNoIaDwga32AMAeHgWVNu
 x0ZbUh2WpcfC9ID+rcB3IIS8NCQAUqrLCgEWlRlOGdambJHklVftUyDZS3HJVLxLLDLuw0xe
 M6QqNSuMej0ugFKlsvrvfs5+KMKW3C90VT8EJaO/sml8ITW/kKVEcWwe/Wxe3rAUCTBgViri
 LEoAoOLtynfPQxHKoVrnHopZZ+yQWXPPBlAO+caPx8CBPE8OYQA+6YDO5wBGu5B46JmCxOZS
 wm6HYWuqKMDNVPPXXHEKC7H9OWjoIXV5LibSO76Z8XKyWyUJsA/dpp89zT/HK/nlIFE/U+jk
 PYr9kphVF/uOiuE6tP7KUlYgavqPlunpZAvET7MVd1ol2Hxw0hba8cNa3XzqdIcwYMf7X/xT
 fh/z1T+9utf6/M3jOt/q6AswsCyK6DILP1cukIyGRmYCDJh8ZA1CXR+TWRcMacBbe3cdqMDg
 YXyuvj6QuYJvQaN9bUTOr6lbwnR39OyATaGRVlYkRcd/HQEexCE2afNmrcoG5/09K6piwR1p
 QD5dEdOiblp4c3sEkug/LaOKR/Y3f4BU6nuXMTusrlqvU6Ot6RMfFsmc2dwJQq9H7pFPiby7
 m7ryOYt1y1+Sqv+
IronPort-Data: A9a23:OmRaSqlES8LpFDUq44LZA4no5gx0LURdPkR7XQ2eYbSJt1+Wr1Gzt
 xJNCDiOPPfcZzbzf9txaduzph8PvMfdxoMyGlY9/ng9Ri4T+ZvOCP2ncnv9bniYRiHhZBI+v
 p9GMrEsD+htEySC/k/1WlTFhSMhvU1dbuOkUIYoAggoG0k8Dntn0Us98wIAqtYAqcCjBA+Qs
 s/FrcTaOVu0sxZ5KWt8B5ir8XuDh9ys/mlF1rACTaoT5gGGyCFFVMt3yZyZdhMUfKEERoZWe
 M6YlNlVzkuBlz8xB9WslKrMc0Fiatb6IQiUh3NKbLOpix5EqzZa+v5T2C00NC+7Ix3Q9zxA4
 I0lWa6YEG/FDYWV8AgpaCS0JgkiVUFw0O+ecCLn6aR/+GWdG5fk660G4EjbpuT08M4vaY1F3
 aVwxDzg8nlvLg95qV62YrAEuygtECXkFIU+tytd5zX6N/8FX6CeX5rEzvNV9w5l06iiHd6GD
 yYYQWI2NVLEag0JP14WDIg5gfulwH/yb1W0qnrM9PtxszmVlUoojNABM/KNEjCObcQTnk+Du
 2Xu9m/8RBYAO7RzzBLfoiz02bOQwXOTtIQ6F/7j7e9tknCv+EMIBB4yewSYkMSClRvrMz5YA
 xdJoHR1/PBaGFaQZtL0Whn9pH+fojYHSt9IGqs77huMw+za+W6k6nMsFmcYLtgvpIkzTD0uz
 FiUg96vAzFz2FGIdZ6D3rG1oGmPEyw2F2Yhex9ZUTQLyPXui7hm23ojUe1f/LiJYsoZ8AwcL
 hjS9XF4g7wDy8sC1qGh+k3bjnSqq4Shou8JCuf/Dj7NAuBRPtfNi2mUBb7zsasowGGxEgXpg
 ZT8s5LChN3i9LnU/MB3fAnyIF1Zz63YamOH0AYH82gJ6zSq/ne4NYkWqDN5JEFyNcBMdiXuf
 VebuAVaovduAZdeVocuO9jZI51zlcDITI21PtiKNYAmSsYqK2e6ENRGORX4M5bFzBN0yflX1
 FbyWZrEMEv2/ow+kmvrH7tFjeRDK+JX7Tq7eK0XBi+PidK2DEN5g59cWLdXRrlitf/Wkxaf6
 NtFKcqBxjNWVeC0MGGd8pceIRpOZTI3DIz/4Z4fPOOSABtUKEd4Ad/owJQlZ9NEmYZRnbz25
 X2TYBJT52f+onzlEj+0TE5fRonhZrtFlkJiHwIREEaa5VVzYKKEzrsuSJ8sTLx2qM1h1aFVS
 tcGSeWhA9NOaCzj/jQdZsLDsrVNWhahvl+QNC+uYRwUXZ1pdyrW8PDKIyrt8ygvCHKslM0c+
 reP6CLScaAhdS9DUvnEWamK9Eygm0QdlMZZfVr6EvMKdGrCqIFVejHM1NkpKMQyGDD/7zq91
 TfOJywHpOPI8rQHwPOQiY+q946WQvZDRGxEFGzm7JGzBynQ3kyn5aRiCO+oXzTsZFnYyZWYR
 9d+7q/DaaUcvVNwrYBDPa5hzvs+6/vRtrZq9FlYM0uRXWu7KIFLAyeg5tZOhJ1v17UCmAqRW
 2CzwPd4F4iNGvvYFA82GFJ4QMWFjeoZixvD38QTeU/a3hJ6zJCDcEdVPiSPthBjEatIANsl7
 9sM6M8ywC6juyUuKeeD33x19XzTD3kuUJcHl5A9Aa70rzYG11ttT8D4D3b26a6fet8XDBEYG
 WKJtpr7hpB35EnLQ1wsH1fjgMtfgpUvvkhR7Vkgfl6mpPvMtsUV7jZwrwslaxtz9QpW9d5zN
 kxAFVxHFY/X8xhG3MF8Dn2RQSdfDxiny2nN4loullyBaXK3V2bIfVYPCczU8G83q2tjLyVmp
 peGw2PYUBHvTsH7/g02fWVH8/XDb9hAxjfuqfCdPfauPscFOGL+o6qUe2A3hQPtApoxiG35t
 OBaxrtMRpOhBxEAgZ8QKte87qsReiCmNWYZYPBG/YE1J0/+Vgy2+wCzLxGWRpsQCd3MqVS1G
 u5/FPJpDh6e7huDnhofJKwLIoJ3osIX2co/SuvVAlAC4pSirWtPkZPP9yLBqnchbPdwnO0cd
 I7AVTKwPVaBpHlTmmb28c51Ckzha4EuZDymhP2/q8cPNpMcsdNDdVM5/au0sk60bipm3UOwl
 yHSa5DGy9dNzdxXoLLtNaFYXSOmBMjWVtnUwDusst9LU8zDAf3OuywRtFPjGQZcZpkVZPhai
 pWPt4TR8H7enbNrTV3cpYaNJ5NJ6eq2QuBTFMD9d1tevCmaXf7T8wkxwH+5JbNJgeFiyJGeH
 SXgU/SJdPkRR9t5719WYXIHEx8iVoLGXp25ria59/mxGhwR1DLcF+ye9FjrUHp6cxEZMJivG
 y72vPeTvupjlrpuPyNdJf9aAM5fGmTBCI8GbNz6sAeKAla42m2ivqTQrjt+yDXpJETdLuPEz
 8PkfDbcei62mpn09/BCkokrvhQoHHd32uYxWUQG+u9JsTOxDU9YDOEeLJwpJINYrX3b5a7ee
 BXIPXoQGATmfDF+aR6nys/SbgSeIe0sGOajJiQi+hObUAiYFo+/ULpvzThh6HFIYQnezPmrB
 NUd23/oND6zyYFNacdKwdLjmsZh5PfR5kxQyHDHi8aoXiovW+Qb5kJuDC9mdHLhEfiUsG7pO
 GJsZ2RPYH/jeH7LCcw6JkJkQkAIjgjOkQctQzyEmuvEmoOhy+ZF9v3zFsfz3pAHb+UIPLQ+f
 mz2dUTc/1Gp3mEvhoVxt+ILmaNUDde5Lvq+JoLnRiwQmPiUwUYjNMUggyEObZ8D/ChyLlDjr
 QSvskMOXBm9FENs2bOokFRDv9o7V38XFDjGgTLuvTKMw1Rz09HdfAPs1w7hb435r6/4pUhDX
 TMOdwCrrkaLsCf/7yxL3hjBSodr3elKfZUFbswpcn82uk/1ESlZHaAn1kg708hW7WFJgINZa
 M59Fv0jrZm/UHrnMx/Mxb8kjnpP9t/t2TjvT5fg9xctEcG/vG8+W8jsMa60F27+njkvMWnsE
 aTvh5j3AAnT9w5LUVSJfiEXp4NUstyF6l7z1Lnz4Q22dFNRPljzVqNUOTWTRTk=
IronPort-HdrOrdr: A9a23:HRTyK6DRopIAGtzlHelE55DYdb4zR+YMi2TDGXoBNCC9E/bo6/
 xG+c5w6faaskd3ZJhNo6HlBEDiewK/yXcW2/hoAV7KZmCP0wfGQr2Ki7GSpgEIcBeOjdK1u5
 0QCZRWOZneC0Nlhd327AT9P9Er28mf7ayk7N2+815dCS9vL45t5xpkEQqAe3cGPTWuxqBYKL
 OsouRCrzqkPVINbsq6AXEBG8zOvcfCmp6jQTNuPW9A1OBGt0LK1FckKXWl4is=
X-Talos-CUID: 9a23:t4ckQmFSk7oHHfy/qmJh1UNOJ+ohUUfU72ngflOHB01FRZasHAo=
X-Talos-MUID: 9a23:sSLW5wqBpA9JxP4wSMcezzIhb9x55LaDNH4iipkFn+fbFh1NACjI2Q==
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-AV: E=Sophos;i="6.25,154,1779141600"; 
   d="scan'208,217";a="286074748"
X-IronPort-Outbreak-Status: No, level 0, Unknown - Unknown
X-MGA-submission: =?us-ascii?q?MDGIUMLyEwAgqXSdq3zVspPGn5rc6kOcp1JGbe?=
 =?us-ascii?q?m4dHGn9BIrUzcyOCB0TB1l2bqqzAjUoCqT3s2tswi3qjvJvCzgdem/wo?=
 =?us-ascii?q?IVSmsOOnaWbFqsWmSt5VfK9LAI2c9zBJOH10OZi99IXv6nMMUoHT8ZLB?=
 =?us-ascii?q?hG1Sjg0xUO4Ag/kB/KuxMwbA=3D=3D?=
Received: from 011.lax.mailroute.net ([199.89.1.14])
  by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 13 Jul 2026 02:27:20 +0200
Received: from localhost (localhost [127.0.0.1])
	by 011.lax.mailroute.net (Postfix) with ESMTP id 4gz3D62Psmz1XM0p7
	for <caml-list@inria.fr>; Mon, 13 Jul 2026 00:27:18 +0000 (UTC)
X-Virus-Scanned: by MailRoute
Received: from 011.lax.mailroute.net ([127.0.0.1])
 by localhost (011.lax [127.0.0.1]) (mroute_mailscanner, port 10029) with LMTP
 id hgRb_51kO-Cg for <caml-list@inria.fr>;
 Mon, 13 Jul 2026 00:27:14 +0000 (UTC)
Received: from mail-yw1-f175.google.com (mail-yw1-f175.google.com [209.85.128.175])
	(using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)
	 key-exchange X25519 server-signature RSA-PSS (2048 bits) server-digest SHA256)
	(No client certificate requested)
	(Authenticated sender: i.hasuo@acm.org)
	by 011.lax.mailroute.net (Postfix) with ESMTPSA id 4gz3D23dJKz1XM6J2
	for <caml-list@inria.fr>; Mon, 13 Jul 2026 00:27:14 +0000 (UTC)
Received: by mail-yw1-f175.google.com with SMTP id 00721157ae682-804e46366d7so37216297b3.2
        for <caml-list@inria.fr>; Sun, 12 Jul 2026 17:27:14 -0700 (PDT)
X-Forwarded-Encrypted: i=1; AHgh+RoVbtzXyLh+rnw15pZ0/Zdin7EEkLajL5L3Jjw+lYoNgD6oj+TJpLBvnpiuvI9kiipt149fz9sjQiQ=@inria.fr
X-Gm-Message-State: AOJu0YyizHwczq9LO/ok3/4R4ADY/yPi5j1T5m5HHd5F70B2c5mY0D/F
	EdSzsJ+M+2+6HgNY2Eck30anVCBpfVHNf31TO4jH/SVvqa+JqmA5NyYMVpHnZeFk1tDRQjugxw9
	sVDYprGFyMAZoFFfZYshqscgGpkbyb5E=
X-Received: by 2002:a05:690c:6b83:b0:81e:36d:c545 with SMTP id
 00721157ae682-81e8ffe53f8mr53825897b3.5.1783902433374; Sun, 12 Jul 2026
 17:27:13 -0700 (PDT)
MIME-Version: 1.0
Reply-To: i.hasuo@acm.org
From: Ichiro Hasuo <i.hasuo@acm.org>
Date: Mon, 13 Jul 2026 09:27:01 +0900
X-Gmail-Original-Message-ID: <CAAbTGZWLe0MiQbjj9fSp7JUDmbRD0gRNPfu1v=6YD+nW3RLwFQ@mail.gmail.com>
X-Gm-Features: AVVi8Ce687gNQ1Vr0uUe2tV0eizVLtJrnOYCK8WXUZPitKAXl0Ch85e4C_FwP44
Message-ID: <CAAbTGZWLe0MiQbjj9fSp7JUDmbRD0gRNPfu1v=6YD+nW3RLwFQ@mail.gmail.com>
To: types-announce@lists.seas.upenn.edu, categories@mta.ca, pvs@csl.sri.com, 
	fmcad@utlists.utexas.edu, hscc@lists.illinois.edu, 
	qest-announce@iti.illinois.edu, coq-club@inria.fr, 
	cl-isabelle-users-owner@lists.cam.ac.uk, prog-lang@diku.dk, 
	caml-list@inria.fr, hol-info@lists.sourceforge.net, 
	lics@research.bell-labs.com, event@in.tu-clausthal.de, 
	acl2@utlists.utexas.edu, concurrency@listserver.tue.nl, 
	theory-logic@cs.cmu.edu, petri-net-world@petrinet.net, 
	finite-model-theory@lists.rwth-aachen.de, theorynt@listserv.nodak.edu, 
	dbworld@cs.wisc.edu, linear@cs.stanford.edu, kgs@logic.at, 
	games@lists.rwth-aachen.de, folli@folli.info, gdr-ifm@gdr-ifm.fr, 
	highlights_community@diff.u-bordeaux.fr, logic-ml@fos.kuis.kyoto-u.ac.jp, 
	sonoteno@googlegroups.com, jssst-ppl@fos.kuis.kyoto-u.ac.jp
Cc: Manuel Bodirsky <manuel.bodirsky@tu-dresden.de>, Marcin Kozik <marcin.kozik@uj.edu.pl>, 
	Jakub Kozik <jakub.kozik@uj.edu.pl>
Content-Type: multipart/alternative; boundary="000000000000daf75906567326ab"
X-Validation-by: i.hasuo@acm.org
Subject: [Caml-list] ICALP 2027 Track B - First Call for Papers (First
 Round)
X-Loop: caml-list@inria.fr
X-Sequence: 19544
Errors-To: caml-list-owner@inria.fr
Precedence: list
Precedence: bulk
Sender: caml-list-request@inria.fr
X-no-archive: yes
List-Id: <caml-list.inria.fr>
List-Help: <https://sympa.inria.fr/sympa/help>, <mailto:sympa_inria@inria.fr?subject=HELP>
List-Subscribe: <https://sympa.inria.fr/sympa/subscribe/caml-list>, <mailto:sympa_inria@inria.fr?subject=SUB%20caml-list>
List-Unsubscribe: <https://sympa.inria.fr/sympa/signoff/caml-list>, <mailto:sympa_inria@inria.fr?subject=SIG%20caml-list>
List-Post: <mailto:caml-list@inria.fr>
List-Owner: <mailto:caml-list-request@inria.fr>
List-Archive: <https://sympa.inria.fr/sympa/arc/caml-list>
Archived-At: <https://sympa.inria.fr/sympa/msg/caml-list/2026-07/pBk6r9vnGKIEQ97TpAKuaw>

--000000000000daf75906567326ab
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable

[Apologies for multiple copies]


=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D
ICALP 2027 Track B - First Call for Papers (First Round)
https://icalp.uj.edu.pl/track-b/
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D

The 54th EATCS International Colloquium on Automata, Languages, and
Programming
(ICALP) will take place in:

Krak=C3=B3w, Poland, July 5-9, 2027

ICALP is the main conference and annual meeting of the European Association
for Theoretical Computer Science (EATCS). As usual, ICALP will be
collocated with a series of workshops.

The 2027 edition has the following features:

- Submissions are anonymous; for track B, there is a rebuttal phase.
- For the first time, Track B will be using a two-round submission process.
A paper can be submitted to one out of two submission deadlines, but not to
both. (Track A has only one round.)
- The conference is planned as a physical, in-person event.

=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D
Important dates and information (for Track B)
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D

First round (for Track B only)
--------------------------------------
Submissions: September 15, 2026 (anywhere on earth)
Rebuttal: 5-9 November, 2026
Author notification: 8 December 2026

Second round for Track B (and the only round for Track A)
---------------------------------------------------------------------------=
--
Submissions: TBA
Rebuttal: TBA
Author notification: TBA

Camera-ready version: TBA
Early registration: TBA
Conference: July 5-9, 2027

Deadlines are firm; late submissions will not be considered.
Conference website: https://icalp.uj.edu.pl/home/#home

=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D
Submission guidelines (for Track B)
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D

1) Papers must present original research on the theory of computer science.
No prior publication and no simultaneous submission to other publication
outlets (either a conference or a journal) is allowed. Authors are
encouraged to also make full versions of their submissions freely
accessible in an on-line repository such as ArXiv, HAL, ECCC.

2) Submissions should start with a title page consisting of the title of
the paper, no author information (see below), and an abstract. There is no
page limit and authors are encouraged to use the =E2=80=9Cfull version=E2=
=80=9D of their
paper as the submission. The submission should contain, within the initial
ten pages following the title page, a clear presentation of the merits of
the paper, its main contributions, and key concepts and technical ideas
used to obtain the results. Submissions must provide proofs that allow the
verification of the mathematical claims of the paper. Although there is no
bound on the length of a submission, material other than the abstract,
references, and the first ten pages will be read at the committee=E2=80=99s
discretion. The submission should be typeset using readable fonts (e.g.
11-point), in a single-column format with ample spacing throughout (e.g.
single-space between lines and 1-inch margins all around). The use of the
LIPIcs document class is recommended.

3) Submissions are anonymous. The conference will employ a lightweight
double-blind reviewing process. Submissions should not reveal the identity
of the authors in any way. Authors should ensure that any references to
their own related work are in the third person (e.g., not =E2=80=9CWe build=
 on our
previous work=E2=80=A6=E2=80=9D but rather =E2=80=9CWe build on the work of=
 =E2=80=A6=E2=80=9D).

The purpose of this double-blind process is to help PC members and external
reviewers come to an initial judgment about the paper without bias, and not
to make it impossible for them to discover who the authors are if they were
to try. Nothing should be done in the name of anonymity that weakens the
submission or makes the job of reviewing the paper more difficult. In
particular, important references should not be omitted. In addition,
authors should feel free to disseminate their ideas or draft versions of
their paper as they normally would. For example, authors may post drafts of
their papers on the web, submit them to arXiv, and give talks on their
research ideas.

4) Submissions authored or co-authored by members of the program committee
are allowed.

5) The submissions are done via HotCRP to the appropriate track of the
conference. The use of pdflatex or similar pdf generating tools is
mandatory. Papers that deviate significantly from these requirements risk
rejection without consideration of merit.

6) For Track B, the authors will have the opportunity to view and respond
to initial reviews. Further instructions will be sent to authors of
submitted papers before that time.

7) At least one author of each accepted paper is expected to register for
the conference, and all talks are in-person. In exceptional cases,
alternative arrangements may be considered by the program co-chairs.

8) Papers authored only by students should be marked as such upon
submission in order to be eligible for the best student paper awards of the
track.

9) For Track B, we use a two-round submission process. A paper may be
submitted to one out of two submission deadlines, but not to both. The
decision for the first round is final (no =E2=80=9Ccarry over=E2=80=9D to t=
he second
round); if a paper is rejected then, it cannot be resubmitted to the second
round. (Note that Track A has only one round.)

=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D
Use of Artificial Intelligence (AI)
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D

1) Use of AI tools for conducting research must be disclosed in a submitted
paper, with their specific uses described in detail. Such uses include the
design of the research project, creation of theories and algorithms,
designing experiments, generation and collection of data, coding, data
analysis, testing, assisting with writing, or any aspects that are directly
relevant to the conclusion of the research.

2) All named authors on a submission will be held responsible and
accountable for any problematic content contained in the submission,
regardless of its source.

3) PC members and subreferees must preserve confidentiality of the
submitted material; in particular, it should not be passed to external AI
tools.

=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D
Proceedings
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D

ICALP proceedings are published in the Leibniz International Proceedings in
Informatics (LIPIcs) series. This is a series of high-quality conference
proceedings across all fields in informatics established in cooperation
with Schloss Dagstuhl =E2=80=93 Leibniz Center for Informatics.
LIPIcs volumes are published according to the principle of Open Access,
i.e., they are available online and free of charge. The accepted papers
will need to comply with the LIPIcs style.

=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D
Topics
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D

Papers presenting original research on all aspects of theoretical computer
science are sought. Typical, but not exclusive, topics of interest are:

Track B: Automata, Logic, Semantics, and Theory of Programming
---------------------------------------------------------------------------=
-------------
Algebraic and Categorical Models of Computation
Automata, Logic, and Games
Database Theory, Constraint Satisfaction Problems, and Finite Model Theory
Formal and Logical Aspects of Learning
Formal and Logical Aspects of Security and Privacy
Logic in Computer Science and Theorem Proving
Models of Computation: Complexity and Computability
Models of Concurrent, Distributed, and Mobile Systems
Models of Reactive, Hybrid, and Stochastic Systems
Principles and Semantics of Programming Languages
Program Analysis, Verification, and Synthesis
Type Systems and Typed Calculi

=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D
ICALP 2027 Programme Committee
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D

Track A: Algorithms, Complexity and Games
-----------------------------------------------------------
Saket Saurabh (Institute of Mathematical Sciences, Chennai), Co-Chair
Jukka Suomela (Aalto University), Co-Chair
(Other members TBA)

Track B: Automata, Logic, Semantics, and Theory of Programming
---------------------------------------------------------------------------=
-------------
Erika Abraham, RWTH Aachen University, Germany
S. Akshay, Indian Institute of Technology Bombay, India
Shaull Almagor, Technion, Israel
Albert Atserias, Universitat Polit=C3=A8cnica de Catalunya, Spain
Miriam Backens, Inria & Loria, France
Libor Barto, Charles University, Czechia
Valerie Berthe, CNRS, France
Manuel Bodirsky (Track Co-chair), TU Dresden, Germany
Filippo Bonchi, University of Pisa, Italy
Samuel Braunfeld, Czech Academy of Sciences, Czechia
Lorenzo Clemente, University of Warsaw, Poland
Wojciech Czerwi=C5=84ski, University of Warsaw, Poland
Jos=C3=A9e Desharnais, Universit=C3=A9 Laval, Canada
Nathana=C3=ABl Fijalkow, CNRS, LaBRI, Bordeaux, France
Bernd Finkbeiner, CISPA Helmholtz Center for Information Security and
Technical University of Munich, Germany
Sergey Goncharov, University of Birmingham, UK
Ichiro Hasuo (Track Co-chair), National Institute of Informatics, Japan
Shih-Han Hung, National Taiwan University, Taiwan
Cezary Kaliszyk, University of Melbourne, Australia
Benjamin Kaminski, Saarland University, Germany and University College
London, UK
Delia Kesner, Universite Paris Cite, France
Sandra Kiefer, University of Oxford, UK
Takayuki Kihara, Nagoya University, Japan
Krishna, IIT Bombay, India
Ranko Lazic, University of Warwick, UK
Alessio Mansutti, IMDEA Software Institute, Spain
Joshua Moerman, Open University, the Netherlands
Jakob Piribauer, TU Dresden, Germany
Amaury Pouly, Univ Rennes, CNRS, Inria, IRISA, France
Jurriaan Rot, Radboud University, the Netherlands
Sebastian Rudolph, TU Dresden, Germany
Mahsa Shirmohammadi, CNRS, France
Mateusz Skomra, LAAS-CNRS, France, France
Ana Sokolova, University of Salzburg, Austria
Sam Staton, University of Oxford, UK
Hiroshi Unno, Tohoku University, Japan
Tarmo Uustalu, Reykjavik University, Iceland and Tallinn University of
Technology, Estonia
Niccol=C3=B2 Veltri, Tallinn University of Technology, Estonia
Thorsten Wissmann, FAU Erlangen-N=C3=BCrnberg, Germany
Standa =C5=BDivn=C3=BD, University of Oxford, UK

=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D
ICALP 2027 Workshops
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D
The first call will be issued in the coming fall.

=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D
ICALP 2027 Proceedings Chair
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D
Gabriele Puppis (Udine University)

=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D
ICALP 2027 Organizing Committee
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D
Jakub Kozik (Jagiellonian University), Conference Co-Chair
Marcin Kozik (Jagiellonian University), Conference Co-Chair

--000000000000daf75906567326ab
Content-Type: text/html; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable

<div dir=3D"ltr"><span id=3D"gmail-docs-internal-guid-488b4919-7fff-a807-29=
68-738d08d5524f"><p style=3D"line-height:1.38;margin-top:0pt;margin-bottom:=
0pt">[Apologies for multiple=C2=A0copies]=C2=A0</p><p style=3D"line-height:=
1.38;margin-top:0pt;margin-bottom:0pt"><br></p><p dir=3D"ltr" style=3D"line=
-height:1.38;margin-top:0pt;margin-bottom:0pt">=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D<br>ICALP=
 2027 Track B - First Call for Papers (First Round)<br><a href=3D"https://i=
calp.uj.edu.pl/track-b/">https://icalp.uj.edu.pl/track-b/</a><br>=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D<br><br>The 54th EATCS International Colloquium on Automata, Langu=
ages, and Programming<br>(ICALP) will take place in:<br><br>Krak=C3=B3w, Po=
land, July 5-9, 2027<br><br>ICALP is the main conference and annual meeting=
 of the European Association for Theoretical Computer Science (EATCS). As u=
sual, ICALP will be collocated with a series of workshops.<br><br>The 2027 =
edition has the following features:<br><br>- Submissions are anonymous; for=
 track B, there is a rebuttal phase. <br>- For the first time, Track B will=
 be using a two-round submission process. A paper can be submitted to one o=
ut of two submission deadlines, but not to both. (Track A has only one roun=
d.)<br>- The conference is planned as a physical, in-person event.<br><br>=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D<br>Important dates and information (for Track B)<br>=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D<br><br>First round (for Track B only)<br>------------------=
--------------------<br>Submissions: September 15, 2026 (anywhere on earth)=
 <br>Rebuttal: 5-9 November, 2026<br>Author notification: 8 December 2026<b=
r><br>Second round for Track B (and the only round for Track A)<br>--------=
---------------------------------------------------------------------<br>Su=
bmissions: TBA<br>Rebuttal: TBA<br>Author notification: TBA<br><br>Camera-r=
eady version: TBA<br>Early registration: TBA<br>Conference: July 5-9, 2027<=
br>=C2=A0<br>Deadlines are firm; late submissions will not be considered.<b=
r>Conference website: <a href=3D"https://icalp.uj.edu.pl/home/#home">https:=
//icalp.uj.edu.pl/home/#home</a><br><br>=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D<br>Submission =
guidelines (for Track B)<br>=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D<br><br>1) Papers must pres=
ent original research on the theory of computer science. No prior publicati=
on and no simultaneous submission to other publication outlets (either a co=
nference or a journal) is allowed. Authors are encouraged to also make full=
 versions of their submissions freely accessible in an on-line repository s=
uch as ArXiv, HAL, ECCC.<br><br>2) Submissions should start with a title pa=
ge consisting of the title of the paper, no author information (see below),=
 and an abstract. There is no page limit and authors are encouraged to use =
the =E2=80=9Cfull version=E2=80=9D of their paper as the submission. The su=
bmission should contain, within the initial ten pages following the title p=
age, a clear presentation of the merits of the paper, its main contribution=
s, and key concepts and technical ideas used to obtain the results. Submiss=
ions must provide proofs that allow the verification of the mathematical cl=
aims of the paper. Although there is no bound on the length of a submission=
, material other than the abstract, references, and the first ten pages wil=
l be read at the committee=E2=80=99s discretion. The submission should be t=
ypeset using readable fonts (e.g. 11-point), in a single-column format with=
 ample spacing throughout (e.g. single-space between lines and 1-inch margi=
ns all around). The use of the LIPIcs document class is recommended.<br><br=
>3) Submissions are anonymous. The conference will employ a lightweight dou=
ble-blind reviewing process. Submissions should not reveal the identity of =
the authors in any way. Authors should ensure that any references to their =
own related work are in the third person (e.g., not =E2=80=9CWe build on ou=
r previous work=E2=80=A6=E2=80=9D but rather =E2=80=9CWe build on the work =
of =E2=80=A6=E2=80=9D).<br><br>The purpose of this double-blind process is =
to help PC members and external reviewers come to an initial judgment about=
 the paper without bias, and not to make it impossible for them to discover=
 who the authors are if they were to try. Nothing should be done in the nam=
e of anonymity that weakens the submission or makes the job of reviewing th=
e paper more difficult. In particular, important references should not be o=
mitted. In addition, authors should feel free to disseminate their ideas or=
 draft versions of their paper as they normally would. For example, authors=
 may post drafts of their papers on the web, submit them to arXiv, and give=
 talks on their research ideas.<br><br>4) Submissions authored or co-author=
ed by members of the program committee are allowed.<br><br>5) The submissio=
ns are done via HotCRP to the appropriate track of the conference. The use =
of pdflatex or similar pdf generating tools is mandatory. Papers that devia=
te significantly from these requirements risk rejection without considerati=
on of merit.<br><br>6) For Track B, the authors will have the opportunity t=
o view and respond to initial reviews. Further instructions will be sent to=
 authors of submitted papers before that time.<br><br>7) At least one autho=
r of each accepted paper is expected to register for the conference, and al=
l talks are in-person. In exceptional cases, alternative arrangements may b=
e considered by the program co-chairs. <br><br>8) Papers authored only by s=
tudents should be marked as such upon submission in order to be eligible fo=
r the best student paper awards of the track.<br><br>9) For Track B, we use=
 a two-round submission process. A paper may be submitted to one out of two=
 submission deadlines, but not to both. The decision for the first round is=
 final (no =E2=80=9Ccarry over=E2=80=9D to the second round); if a paper is=
 rejected then, it cannot be resubmitted to the second round. (Note that Tr=
ack A has only one round.)<br><br>=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D<br>Use of Artificial=
 Intelligence (AI)<br>=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D<br><br>1) Use of AI tools for co=
nducting research must be disclosed in a submitted paper, with their specif=
ic uses described in detail. Such uses include the design of the research p=
roject, creation of theories and algorithms, designing experiments, generat=
ion and collection of data, coding, data analysis, testing, assisting with =
writing, or any aspects that are directly relevant to the conclusion of the=
 research.<br><br>2) All named authors on a submission will be held respons=
ible and accountable for any problematic content contained in the submissio=
n, regardless of its source.<br><br>3) PC members and subreferees must pres=
erve confidentiality of the submitted material; in particular, it should no=
t be passed to external AI tools. <br><br>=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D<br>Proceedings=
<br>=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D<br><br>ICALP proceedings are published in the Leib=
niz International Proceedings in Informatics (LIPIcs) series. This is a ser=
ies of high-quality conference proceedings across all fields in informatics=
 established in cooperation with Schloss Dagstuhl =E2=80=93 Leibniz Center =
for Informatics.<br>LIPIcs volumes are published according to the principle=
 of Open Access, i.e., they are available online and free of charge. The ac=
cepted papers will need to comply with the LIPIcs style.<br><br>=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D<br>Topics<br>=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D<br><br>Papers presenting origina=
l research on all aspects of theoretical computer science are sought. Typic=
al, but not exclusive, topics of interest are:<br><br>Track B: Automata, Lo=
gic, Semantics, and Theory of Programming<br>------------------------------=
----------------------------------------------------------<br>Algebraic and=
 Categorical Models of Computation<br>Automata, Logic, and Games<br>Databas=
e Theory, Constraint Satisfaction Problems, and Finite Model Theory<br>Form=
al and Logical Aspects of Learning<br>Formal and Logical Aspects of Securit=
y and Privacy<br>Logic in Computer Science and Theorem Proving<br>Models of=
 Computation: Complexity and Computability<br>Models of Concurrent, Distrib=
uted, and Mobile Systems<br>Models of Reactive, Hybrid, and Stochastic Syst=
ems<br>Principles and Semantics of Programming Languages<br>Program Analysi=
s, Verification, and Synthesis<br>Type Systems and Typed Calculi<br><br>=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D<br>ICALP 2027 Programme Committee<br>=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D<br=
><br>Track A: Algorithms, Complexity and Games<br>-------------------------=
---------------------------------- <br>Saket Saurabh (Institute of Mathemat=
ical Sciences, Chennai), Co-Chair<br>Jukka Suomela (Aalto University), Co-C=
hair <br>(Other members TBA)<br><br>Track B: Automata, Logic, Semantics, an=
d Theory of Programming<br>------------------------------------------------=
----------------------------------------<br>Erika Abraham, RWTH Aachen Univ=
ersity, Germany<br>S. Akshay, Indian Institute of Technology Bombay, India<=
br>Shaull Almagor, Technion, Israel<br>Albert Atserias, Universitat Polit=
=C3=A8cnica de Catalunya, Spain<br>Miriam Backens, Inria &amp; Loria, Franc=
e<br>Libor Barto, Charles University, Czechia<br>Valerie Berthe, CNRS, Fran=
ce<br>Manuel Bodirsky (Track Co-chair), TU Dresden, Germany<br>Filippo Bonc=
hi, University of Pisa, Italy<br>Samuel Braunfeld, Czech Academy of Science=
s, Czechia<br>Lorenzo Clemente, University of Warsaw, Poland<br>Wojciech Cz=
erwi=C5=84ski, University of Warsaw, Poland<br>Jos=C3=A9e Desharnais, Unive=
rsit=C3=A9 Laval, Canada<br>Nathana=C3=ABl Fijalkow, CNRS, LaBRI, Bordeaux,=
 France<br>Bernd Finkbeiner, CISPA Helmholtz Center for Information Securit=
y and Technical University of Munich, Germany<br>Sergey Goncharov, Universi=
ty of Birmingham, UK<br>Ichiro Hasuo (Track Co-chair), National Institute o=
f Informatics, Japan<br>Shih-Han Hung, National Taiwan University, Taiwan<b=
r>Cezary Kaliszyk, University of Melbourne, Australia<br>Benjamin Kaminski,=
 Saarland University, Germany and University College London, UK<br>Delia Ke=
sner, Universite Paris Cite, France<br>Sandra Kiefer, University of Oxford,=
 UK<br>Takayuki Kihara, Nagoya University, Japan<br>Krishna, IIT Bombay, In=
dia<br>Ranko Lazic, University of Warwick, UK<br>Alessio Mansutti, IMDEA So=
ftware Institute, Spain<br>Joshua Moerman, Open University, the Netherlands=
<br>Jakob Piribauer, TU Dresden, Germany<br>Amaury Pouly, Univ Rennes, CNRS=
, Inria, IRISA, France<br>Jurriaan Rot, Radboud University, the Netherlands=
<br>Sebastian Rudolph, TU Dresden, Germany<br>Mahsa Shirmohammadi, CNRS, Fr=
ance<br>Mateusz Skomra, LAAS-CNRS, France, France<br>Ana Sokolova, Universi=
ty of Salzburg, Austria<br>Sam Staton, University of Oxford, UK<br>Hiroshi =
Unno, Tohoku University, Japan<br>Tarmo Uustalu, Reykjavik University, Icel=
and and Tallinn University of Technology, Estonia<br>Niccol=C3=B2 Veltri, T=
allinn University of Technology, Estonia<br>Thorsten Wissmann, FAU Erlangen=
-N=C3=BCrnberg, Germany<br>Standa =C5=BDivn=C3=BD, University of Oxford, UK=
<br><br>=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D<br>ICALP 2027 Workshops<br>=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
<br>The first call will be issued in the coming fall. <br><br>=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D<br>ICALP 2027 Proceedings Chair<br>=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D<br>Gabriele Pu=
ppis (Udine University)<br><br>=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D<br>ICALP 2027 Organizin=
g Committee<br>=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D<br>Jakub Kozik (Jagiellonian University),=
 Conference Co-Chair<br>Marcin Kozik (Jagiellonian University), Conference =
Co-Chair<br><br></p></span></div>

--000000000000daf75906567326ab--