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=tfSVN5tN;
	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 7FC8240099
	for <caml-list@tunbury.org>; Sat, 29 Aug 2026 10:01:26 +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:subject:
   sender:list-id:list-help:list-subscribe:list-unsubscribe:
   list-post:list-owner:list-archive;
  bh=fxI6ebduo5eZ6a4Wl7UzwkjTXhzdoqRA2DFTttokK2Y=;
  b=tfSVN5tNz2bTQpj0cDJZSYhxUns6hMms5Ehb3wVo2kFLfDlLBeEVByW+
   nWkqLqI2Gw6ThGkNfNLChE7vF27a3508nTkrmA5Id9eh8pNvj31xOIb4Q
   YcoV3pl0WaasHDQ332F92EoiKtQ3oFbnUXvZl4RrCDV1MHgxcLCdGiiJL
   c=;
X-CSE-ConnectionGUID: /oIUn7AySaqy8mq9TbsgmQ==
X-CSE-MsgGUID: Votcg9tdTVmT6yBZg4aHmg==
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,250,1779141600"; 
   d="scan'208,217";a="292113582"
Received: from prod-sympa-app.inria.fr ([128.93.162.27])
  by mail2-relais-roc.national.inria.fr with ESMTP; 29 Aug 2026 12:01:26 +0200
Received: by prod-sympa-app.inria.fr (Postfix, from userid 990)
	id CDE2281EB8; Sat, 29 Aug 2026 12:01:25 +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 9517F81343
	for <caml-list@sympa.inria.fr>; Sat, 29 Aug 2026 11:58:29 +0200 (CEST)
X-CSE-ConnectionGUID: g6jfZQQFTdm2P3mSHJvG/w==
X-CSE-MsgGUID: 46pS3l3SQIGqQgM/ulMS7A==
IronPort-SDR: 6a92ad44_/RmD5TnPz/Hsyu2sjBN+Ob/6PZYPgdOguAb1ICQfwzQymV+
 ko6GNNtCTu6TfBJrx8LhnrCtR10BVjZhkDvvYaQ==
X-ThreatScanner-Verdict: Negative
X-IPAS-Result: =?us-ascii?q?A0GcAgDvq5Jqjw4BWcdRCQ6CTYIWKUIBR18zBwhJhFiBI?=
 =?us-ascii?q?4IsjiSBFpA3jhAuCwYPAQMBDS4BCBoEAQEBAgEDgUoBQIE8gTeNdgIfBgEEN?=
 =?us-ascii?q?BMBAgQDAgMBAQEBAQEBAQEBAQsBAQEEAQEBAgEBAgQDAQEBAQIQAQEBAQEBO?=
 =?us-ascii?q?QVJhhUIMg1JARABggA7cV5HAQEBAQEBAQEBAQEBAQEBAQEBAQEBARQCDQdXA?=
 =?us-ascii?q?SEFARgDBh0BASQCBQ0YDTcCAiESAQUBI4I8WAGCIgEBBEwDEaY4kCyKd3qBM?=
 =?us-ascii?q?oEBggwBAQaBCIFJ2WKBDVwDBoFNiF4BgV8BAg6ECDuEQSeBZESBFTWCPgWBd?=
 =?us-ascii?q?jyBIASBMgQDDUWDLoJqghEVgQwpg2sxhnSIGiYHBxgDBwcOKgFGDgEhAyYzL?=
 =?us-ascii?q?AFVExcLBwVeVTMBAgEfCi8UGQIUHRIPBBYyHTc5DCcSLBc1WBsGBYEdQzorh?=
 =?us-ascii?q?A8jGTZ6gQkKVIErKWEBERd+C04BAwKBNAIGgTeBHYIFAgFJQw4HOQ5TCQQLY?=
 =?us-ascii?q?gs9NwYDDBlJAUEdEo53H4JiTAQIBQoLGRgTDkUVFQEHBRcZBAkKBx4MDgk8D?=
 =?us-ascii?q?4c/izULJo9lgh6BOJ4cgT4HhCGMIpVUM4QEhxeMRDyLC4Y+IWeIBJEEI41nl?=
 =?us-ascii?q?TQuAhOFMREKGoFbI0mBEzMaMCJSBoEigQ5QAxkPgUyMbAKDaYUTLolzCbxrN?=
 =?us-ascii?q?TU+AQcCBwEBCwEDgXOMcIMRM4FMAQE?=
IronPort-PHdr: A9a23:uJJZmR2kkV/4BnnFsmDOUwgyDhhOgF0UFjAc5pdvsb9SaKPrp82kY
 BeBo600xwaUBt6Fo9t/yMPo8InYEVQa5piAtH1QOLdtbDQizegwoUkLLfXBN3fGKuX3ZTcxB
 sVIWQwt1Xi6NU9IBJS2PAWK8TW94jEIBxrwKxd+KPjrFY7OlcS30P2594HObwlSizewb7J/I
 A+qoQnMucUanItvJ6g/xxbIv3BFZ/lYyWR0KF2cmBrx+t2+94N5/SRKvPIh+c9AUaHkcKk9U
 LdVEjcoPX0r6cPyrRXNQhOB6XQFXmgInRRGHhDJ4x7mUJj/tCv6rfd91zKBPcLqV7A0WC+t4
 LltRRT1lSoILT858GXQisxtkKJWpQ+qqhJjz4LIZoyeKfxzdb7fc9wHX2pMRsleVzZBDI2yb
 IUBEvQPMvpDoobnu1cDtwGzCRWwCO7tzDJDm3/43bc90+QkCQzI3xAvH9IPsHTOq9X+KaUcX
 vquzKnVyjXIcvRb2Tbn5IjIaB8huuyMXbVrfMXL1UYvEhnJjlKKqYzqJj6Y0PkGvGeH4eR6T
 +2vl3InpB9rojip3soglpXEiI0bx1zZ9Ch0w4I4KNKmREB1fNOoDodcuiKYOodqQM4vX31kt
 Sg+x7AGt5C2eCoHxIglyhPbdvCKcIeG7xT+X+ifJjd4gWhqeLO5hxuq7EigyPfwWdep31ZXt
 CZFit3MumgN1xzU9siIVuF9/l+71TmT0ADT7+dJKl03m6rDM5Mt37o9m54JvUnAGiL6glj6g
 LWLekgr4uSk9fjrb7H8qpKfN4J4kBzyProtl8ClHOg1MRQCUm6G8uqmzrLj51f2QLBSg/02j
 KbZtJfaKNwHqqKkHgNZyIIj5AywDju81dQXh3gHLFZfeBKAkojpJ0/BLOr+Dfihn1SgiDZrx
 /bYMb39GpjBM3zOnbP7cbt+70NQ0hc/wcpC659bEr0BJej8Wk71tNzWFB85NAm0zv7mCNln1
 oMRQ3mPArKeMK7Jq1CH+ucvL/OLZI8PtzbxM+Il6OL2jX8lhV8derGk0ocNZ3C9GvRqOkGZY
 Xv3gtcdCmoKpQo/TOnyiFKYSzJTZnCyX7g95j4hEo6mA53DSpirgLOaxCi7BIFZZnhaClCQF
 nflb5iIV+8DaC2MJc9vkSYKWKCvRIE8zR2urhH1y6RkIOTO4iAUqY/v2MVv6+3Xjx4z+iZ4D
 8GH3GGMS2F0hGQIRyIq3K9hu0B9zEmM0bRgj/NFFtxT5vZJXx8iO5DTweN0Fcz8Vx7HcNuRV
 VmmR8+pASstQd8p29EAel5zFdq6ghDYxyqqDacYmaaXCZIp76zQx2PxJ95zy3ne1KkukV0mQ
 sxXOGO8mqNx6hXdVMb1lBCFhr6nbuEV2ijK6WGIwEKKvVpES0hrXKzeG20Ha03Q69n1+weKR
 LayBLsgKApM0uaHNqIMYdStxU1YX9/oI9CYeHiw3Wy3AFLAyLaHZYbCZnkZ3T7BEw4Zjw0D9
 G3AOAQjQm+huGnVJDhvDk70JULo9eh4r3KgCEI40kXCdkB6y/+8/BgSmPqXRtsSwrNCuSMlq
 jNzHU370t7LT5KLoBMkd6FBa/s85k1G3CTXrUg1NZjlLrtrjFMadwkyoljjzQ4yDZpGnNICq
 HIx0BE0IqudllpKMS6bmdjoILrYb237+h+HZ6/VxxfS05Le8a4K7LE8qk7/lACvDEsrtXt9l
 5FV1H/Z55PECyIWUIntSQAs8AVgrLzUZTMy6sXS2GEoea21uSTqwd8yCeI/wRbmddpbNOaAH
 QXpVcYdAozmJfInnUSBbxRCIP0X/6o9Iti6d/KCnqKmeK5plzb8pXlb5IFmzlnK6jZxWufTm
 ZsJ3rXQ1QyBXCrmllqnudHfnYFfeSofBHSy0274GYMXYKk2NZoLBGC0Moizwdp/jLbmQDhT8
 UPlCl8bnIexdAaIbhn70BEVykMNpXCPgSak1T1yni1vqKeDmGTAwuLjaBdCP2lHSW0nkVfhJ
 pKlp9QbR1SzKRI2iBvg7E/xx6Vd4qhyayHPQUpPZTnwM0lmU7CsrbeYfYhJ758hsmNaXPn4K
 VyQVbnnpxcy2DilAGpFz3Y2eyzu8pH4mRFzkkqWNzBosHPfd8ZqyVHS6MGYDf1exRICQyZ5g
 n/eGhz0MNCs8M68k5bYrvv4TX29VthaeCLrwIXGuCb/rWNtBRm+t/60ntnmVwk83yi/n9ZmT
 2DJohPUbYXxkqW0NKRpZA0gBF7z6857FYFiibw7g5QVxH4bmoS98XsJnyHudN9cw67zZWcdA
 zARkOTY+Az05Eo2LzSJzpnkUV2Uyc4nYMO1MU0M3SdozstKCb2TpJxNhjZy6g656wLYeuV6t
 j4WzL0p8nFM0LJBgxYk0ijIWuNaJkJfJyG5z3xgjvi7paRTPiO0dKSokVB5lpanBa2DpQdVX
 DD4fI0jFGl+9JY3K0rChVv07IysY9zMdZQLrBTBklHAhvNIL7o4nf9MgjBoairmpXNw8+cgl
 lR12I2i+o2OKmFj5qW8Vx8eNjTuesQ78zroy6FEkZXexJihS61oAS5DR570VbSoHTYV4OzgL
 BqLGSYgp22zQeOGWwuW+AFjpnPLCZe2K3zRInQFpTl7bD+aIkEXwAUdXTFg24U8Chjv3svqN
 kFw+jEW4Ff87BpK0ONhcRflAC/Zo0+zZzE4RYL6TlIe5xxe50rTLc2V7/5iVyBe8Jq7qQWRK
 2udLw1WBGANU0aAChjtJL6rrdXH9uGZAKK5IZ6sKf2P7+xXTOqP7Zuk181h5TnNfsSDM39+D
 uEqj1JZVCMxEMDYljMTDi0PwnucPojL9VHlvHQr/aXduLzxVQni5JWCEe5XONRroVWthLubc
 vSXj2B/ICpZ0ZUFwTnJzqIe1RgckXILFXHlHLIeuCrKVK+VlLVQCktRamVzPdBV6Io11QwLP
 tTUwIC9xvtjg/g5Bk0QH12nmsiyeMsiKmq4clTdCwzYUdbObS2OyMbxb6SmTLRWh+gBrBy8t
 wGQFEr7NyiCnT3kP/y2GdlFlzrTfBlXuYXnNw1oFXCmVtXtLBuyLN5wizQyh7wynHLDc2AGY
 3BwdEZEr7vY6i094L03GipB52F4KsGNkCPf6PPXYpobqvpkBC1omvkSuSVrjesEqngCHaA9k
 TCattN0plC6juSDgiFqVhZDsHcu5srDvElvP7nY6ogVXH/F+BwX6mDDQx8OptZjFpjuo/UJm
 4mJxPO1cXEbr4Gxn4NUHcXfJcOZPWB0NBPoHGSRFw4ZVXuxMmqZgUVBkfaU/3nTr54gq5Gql
 oBdL90THFEzCP4eDVxoWdIYJ5IiFDJikbeAkckg7HG76h7LS48J9oCCTf+UDfj1fXyYy7lNf
 AYP6brzKMIULIKxiCkAIhFq2Y/NHUTXR9VEpCZsOxQ1rEt6+397VmQv2kjhZ1Dl8DoJGPWzh
 BJzlhpmbLFn6mL3+1lubAmvxmN4gAwrlN7imzzUbDPhMPL6Q9RNEySt/0kpbsGlH0AvNl30x
 BE1cm6ZFvpQl+cyLzk1zlaB/8EUQ7gHEcgmKFcR3a3FPqRwlwUG7Hz6lQkbrerdVck8yU1zL
 MDq9zQYnFg4JN8tef6PeOwQlAUW3uTW+Xb2s4J5iA4GexRXqDLUKHNO4RZYcOFhfnXg//Qyu
 1baw2IRJDhSD6h28qw2pBF6ZrrlrWqo0qYdeBrtb7DNcfPB4zqcxZDUEAF3ix1AllEbr+Ioi
 ZhxfRqeDxJznOXNRUZOaJSnS0kdbtIMpiKDJX7c6uuVk84lYdnvRKe1E6ePrPhG2Ev8RFRwQ
 9lUvJhRQMX+ggaFc6KFZPYE0Ut/vg+zKgeLBqkRKk7bzmtV8Ybiktd2xdUPfGlMRzwkYGPvo
 O6Q/FRP4rLLXc9qMC1DBM1eai1wApD8w2kD4jxBFGXljL1fmVTEsHmk4X6MRDjkM4g+PrHNO
 E0qUoztv25ltPLm7DyfupTGezOkb5I44IKJsL5c9sbPCusIH+Mk7AGD3dAJGDrwCzSHEMbpd
 cKoOs91NI2yVjDiFQbk7lB9B8bpYIT3dvnO2Fi5A9gS6M7BgHgiLZPvTGlYREo2/adau/w7P
 11LYoJnM0Oy8V5ja+rlcUHJjJL0HAPPYXNXV6UNlL3hIeYHiXZ2KLf9kidoT4lmnbDrrwhdF
 NdQ3leGgqz/L4hGDXqqRCcbJ1qJ/Hph0TAmbLxXoK93wQuU4wNEaHbWKaozMSoc+ItgTVKKf
 ScsUjZ+GALa1NaZpFbrhexa/jMBzYwLl7Qf7j6n4sGZOHX2BMnJ4d3Uq3ZyNIl35f0gd9Sle
 ozc7dvfhmCNEcWW6FTeFnfiTrwKxJBROH4KHaUOwzh+f5Ve4MwQsS9THo8/P+AdVfVq/OjyL
 2ciVHVJhS4BC9HdgHpY27f6geCK0E3KKNwjKEBW7ckE24tCFXcuOWVE/PHGNc2elnfYGDVXZ
 l1LtUIVtFhGz9YoNuH9vNiVFtkQk3gM+6kyCHOWXphwqwmmECfG0B6hF6rnyrfzuGAahPP0j
 otGAlgkWA4EnbkQzxN0YLBvd/tL4siQ6GTOLBOh+juykaOnPAUDlJGSLg2lStOU5SylA3B5m
 zVcRJcTmiyDU81CzkwkMeB2+R1NONz0Jxq4vWV4gds0WeDjDIiq3wp39y5aAX3xQpwZTbkh6
 g6yOnUtYpagrIjpNsdlWXdeoduUoFJul19idRm1j5dVMNBB5zcWV35XuzLVqtK2TIcrNdZeN
 5YXOZ8/vn78HPkBI52NuzgsvbepzHbF+jc6uVP8xTOpGqb+QfgLt2EZHwwoISyZpCxNR6M09
 XzO91nWrl1u178CX/6LhFU3pT98GopJGypEk3aoMxx/QWJHvONTNKnOO5UNEr9iNFn2fUViX
 fc9ui7BtVl5h3L4fzB/ukNB9ibRUhN1HSgZj7HxmCEP/8GqPThJA5lMbDgnc2LEM1fCyHER7
 EcZMgczB8N8YJ4N4bwQ0IpK89CXTE+tLXtARxl+Lkci1vEZk0dfsUKecCSbDAyydP+JvAckG
 KXZ5MOvMvn9+x9Kz439t+VtvaRFR3S9hAqFSNvb6YjmuZfZ0ynGPLe9KOC6bXLbGXLUigusg
 L4/E5TQ13CKaUxfIok8zHMlZYLmFHLGexJLO+hIQigTHbA/YtJArOdAYsZic6tc4q5hCCWMQ
 Rb3EZCupv1LfR7DAC7TJCKb/qmjsJreuPbDHPP4aJXGlBOlC+pne4134j7hF/L23J9CrwDoj
 +x1+BoySECaYXnQ/ZKxd0VTopHlLBKq+5QtGXm+6HZYyCO0gEVJZ4wSSiyu6pMF1J4f7nvsG
 7sQOq3bueZXsb5+5ttvi1iG4c6/IOHVM/sI6Cda
IronPort-Data: A9a23:zK6EnqLek9AtH3lGFE+RJZ4lxSXFcZb7ZxGr2PjKsXjdYENS0TVTn
 DEcDWyCaP7cYjD3KI10PIy38BkGvJOGmNEyHAForCE8RH9jl5b5CIXCJC8cHQvCd5yZFBoPA
 +Y2M4SbcphsFhcwgj/3b9ANeFEljfngqoLUUbCCYmYtA1c9Fk/NsDo788YhmIlknNOlNA2Ev
 NL2sqX3NUSss9JOGjt8B5mr9lU14ZwehBtC5gZgPaAR7QeH/5UoJMt3yZ+ZfyOQrrZ8RbbSq
 9brlNmR4m7f9hExPdKp+p6TWlEKWLPbIT+VgXNQXaW46jAazsDl+vtT2FI0MC+7uh3R9zxD4
 IwlWa+YEG/FCpbxdNE1D3G0JQkuZPwcoOevzU+X6qR/x2WeG5flLm4H4EseZeX08c4uaY1CG
 GBxxJngoXlvisrvqI9XRNWAiewscsvlDromlE1syGvhVvMdYbLdbOLVsIowMDcY3qiiHN6GP
 pNfbTN/KhHJYhlVPUoLBdQ4kfvAanvXKmwJ7gLE4/NxujS7IA9ZiNABNPLUPNyDXthStk+To
 yTB5WuR7hQybo3FkGPeqSn87gPJtX+lQLlJEOaDz99FmWSc4ysODDgtCnLu9JFVjWblBogBc
 B1MksY0loA5/UmvC938RAGQu2+BphdaWtxKEuR85hvl90bPy17AXy4ARy4HbdUnsNUxWCAnk
 FmEg7sFGACDrpWaF3CTxI6tgw++PHItdmo5RQ0aYkwatoyLTJ4Isv7Zcjp0/EeIYjDdQWiph
 TSDvG47jrQXl8kWy6j9+13b695NmnQrZl5sjuk0djj8hu+cWGJDT9D1gbQ8xaoaRLt1tnHb4
 BA5dzG2tYji961haxBhsM1WQev3vKfdWNEtqUJvGJwo7HykvTaheoBW+zZ4bEhzNdscMT7va
 wm7hD69EKR7ZSPwBYcuOtrZI51zncDIS4+/PtiKNYUmX3SEXFPclM2YTRLLhzi1+KXt+IljU
 aqmnTGEVCxHVfo3k2PnF4/wE9YDn0gD+I8afrijpzzP7FZUTCf9pW4taQDXMrIK/+mfrR/L8
 t1SEcKPxl8NGKf9eyTbu8pbZ1wDMXFxV9i8pt11Z9yzBFNsOFggLPvNnpInWYhuxJpOmsnyo
 3qSZ05/yXjEv0PhFzmkUH5YRY3KYYdetlM+ZCwlAkap0SMsYKGp96YuSKE0drgGqs1h5O5Rd
 KQeSvWPH/5wZCzN2xYDYanHqKhnKRCnriOVHi+feDNkVYVRdw/I3d7FfwXU6ygFCBSsh/Y+u
 7GN0gD6Q4IJYhZLVeL6SauI4QuqnH4/nOlSYRP5EuNLch+xzLkwej3DsPAnBuotdzPB/2K+/
 CSLC046oeLtndcEwOPRj/rZk7bzQvpMJWsELWz19r3sCDL7+FCkyop+UOqlWzDReWf32ae6b
 9Vu0PDOH6wbrWlOrrZDPe5n/YAm6/vrgo1q/ABuMXHITlasU5dLAH2N2+tRvaxsmJ5dnyaLW
 Xy0x9oLAoXRZfvZE2MQKjE1McWF9/UfwQfJ4doPfU7V2S5Q/Zi8a3t0ASWisiJnEeZKANsX+
 tt54M8ywC6juyUuKeeD33x19XzTD3kuUJcHl5A9Aa3zrg8ryloZX4LlJQH06qrSdd5JOUgOC
 R2XjZrkmL5z6BfjcX0yNH6Vxstbp80Ely5rxW84BWaiu4T6lM5s+SZO4BILTghx5TdW4dJZY
 2REGRV8GvSTwm1OmsNGYVGJJyhAIx+oomrK1FoDkTzifXmCD2DiAjU0BreQwRo/7WlZQzl8+
 YOYwkbDVRLBXpn4/gk2aH5fh83Td/5D3Sycp5n/BOWAJYcwXhT9iKz3ZWYolQruMflsuGL5/
 9tV7MRCQoylExUPop8LKZiQjpURbxGmGFZsY99c+IExIGWNXw3qhBavLRiqd9JvNs761xayK
 /ZTK/JlUzW80yezrQ4nO5McHo8snNMU4Is5QI3BAFE4iYO+ryVouq3+7iLRpnEmaPQwnNcfK
 rH+TSOjEGuRjEAJnF79ipBOYkC4UINceQen/uaU8foIJb0HoupDYUE/6ZrqnnS3YS9M3QOYg
 xPHXIDSl9dd8IVLm5C2NLduHCC2FI/Db/uJ+wWNrNh+V9PDHsPQvQczqFO8HQBpEZYOetZwz
 5KhjcXW2R7bgbMITGzpoZmNOK1X78GUXuAMEMbWLmFfrBSSSv3X/BoP1GCpG6NnyOoHyJGce
 DK5T8+sefo+edRXniRVYhcDNSctMf38a6O4qB6tq/iJNAMm7jXGC9Ga7l7sU3BQc34ZGp/5C
 zKsgc2U2PJjkN1uCiMHVtZcOL0pBH/4WKAjSc/9iinAMEmsnWG5m+XDkTgO1Gj1L0eqQefAz
 7DLfBzcTCiJmbrpyYhZurNivxdMA3dah/IxT30n+NV3qm6bCW0bJMszI5k5W7hlrQru8JSpd
 QPcTXADDB/lVm9uaiTM49XEXyW9N7YOItz8djMS0G2GZxjmBY27H7pq8Bl70Up2YjfOyOKGK
 8kU3H/7Ljyd48hOa74Ix/qZhexH+Kvr9kgQ8xqgr/2oUgcsP7oa8VdAQixPbHXjOOPQnhzpI
 WMVezh1cHujQxSsLfc6Km9nIzBHjjbB1D5yUDyuxuzYsIClzOFt7v3zFuXw878bZvQxO788a
 iLrdlSJ/lyp9CQfiYkxt/ItpJ1EO/aBM8y5Da3kHCk5vaW77EY5NMIjwwsLauwf+zBkLlCMr
 Qn0vkACB3mEJn4IiffSgU8M9olqW30BMyDRgUSt7XXamBg+1J7CdwLs0Av/LorqprP+u1lDB
 g0fd1uVv0bcoQ6MSeOSbRjHjgfv7QAt+Xj4vuQAFsqr1BOlWClYHbFlyUYny98X9nBYrmmRX
 LjEyM0zoepLQQvWtz0IXv9AClSkk1vFMg0Ijvnu5h0D+h6Yytbga9jgQlqlZl96vPy1MGjtF
 uXaYFmZDhjZ2eWUsvqJpOWJI6FBBn+EO37UJbnx4Q22elNR73THp6OF3A==
IronPort-HdrOrdr: A9a23:uhLVla6DCG+Qrqo9DwPXwfaBI+orL9Y04lQ7vn2ZhyY1TiX+rb
 HJoB17726StN91YhodcL+7VZVoLUmxyXcx2/hzAV9NNDOWxFdAb7sSkLcL+lXbalLDH5dmpN
 ldmvFFeazN5DpB7foSkTPId+rIm+P3iZxA7N22px1QpENRGsNdBmFCZTpzeXcGITWua6BWKH
 O03LsymxOQPVoWc+WmDT0sRfLCqdrGmIiOW291OzcXrCePkBK14/reGxOV2w12aUI9/Z4StU
 bEji3k7eGFtey6xQ+Z7mra8ptRg9+J8KoyOOW8zuYUNxTxgUKQeIFlYLGboDwuvduz4Es3ir
 D30mIdFvU2xXPNX32/5SDg0xPn118VmgXf4G7dr3v/gNDzAAk3AcpZhY5fb3LimjEdleA5/q
 JX/n6T86FaBxPYnCj7+pzhWhxwmlCvyEBS59I7vjhwUZY+dLQUl4AZ8U9Pea1wZB7S5Yw8De
 loBNzd4vFNGGnqGEzkgg==
X-Talos-CUID: =?us-ascii?q?9a23=3AhNXjlmkCiGj2AI4FOh4sueTsAsbXOXKDznniGna?=
 =?us-ascii?q?WNWpsEoXOTGSw2r1L1NU7zg=3D=3D?=
X-Talos-MUID: =?us-ascii?q?9a23=3AZ32VFg5BbdzotqTEyoxMetgFxow0vbyVU0RWqqw?=
 =?us-ascii?q?nlNC9Ogk3JjO4t2ueF9o=3D?=
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-AV: E=Sophos;i="6.25,250,1779141600"; 
   d="scan'208,217";a="292113338"
X-IronPort-Outbreak-Status: No, level 0, Unknown - Unknown
X-MGA-submission: =?us-ascii?q?MDEpGIaXeE1xIFYj8nstCKbvEVwEZ02n1q2/8C?=
 =?us-ascii?q?ELoLpRj4+VAQiOT4SJm2/0TqIr4nH9prZ7LwUCkhMqqCxnMgA+kJXVbW?=
 =?us-ascii?q?emBn8XpUgBxOm8CZpAtGfJ60sj1+zoAWqaS1Rda1XUbM+sg3YzW5YNaQ?=
 =?us-ascii?q?sb7/0MpwhKbVqCa7UnAqtMbA=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; 29 Aug 2026 11:58:27 +0200
Received: from localhost (localhost [127.0.0.1])
	by 011.lax.mailroute.net (Postfix) with ESMTP id 4hX9gP3xsrz1XM5kW
	for <caml-list@inria.fr>; Sat, 29 Aug 2026 09:58:25 +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 eemV_1vBdVPt for <caml-list@inria.fr>;
 Sat, 29 Aug 2026 09:58:22 +0000 (UTC)
Received: from mail-yw1-f180.google.com (mail-yw1-f180.google.com [209.85.128.180])
	(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 4hX9gH0c54z1XM31H
	for <caml-list@inria.fr>; Sat, 29 Aug 2026 09:58:17 +0000 (UTC)
Received: by mail-yw1-f180.google.com with SMTP id 00721157ae682-836cbcd0a48so28196107b3.1
        for <caml-list@inria.fr>; Sat, 29 Aug 2026 02:58:17 -0700 (PDT)
X-Forwarded-Encrypted: i=1; AKwUvBznFXt0LyK2bEYxGAzhj+Vycasd5CA/YrUhO+ixje3NFaW2b67mLZzDRjP27Z31JFqo9YAs/+qt74k=@inria.fr
X-Gm-Message-State: AFuF++kyrptdf2+d3qfH3TYISri3rXet74ENFbwsT9k1EJhMI61RsjQ0
	ROCgG9w8NTfhvlKyq6UeRyZKhj5VDULC38m01H2hOuRuUnicwC9/lEBMDq9qwQTTNOQmpE1PCrL
	4pku9w5p6zUbOpM9XetV2h5qdZ2dd7Qc=
X-Received: by 2002:a05:690c:e143:20b0:81e:45a6:bd4c with SMTP id
 00721157ae682-85d67256a78mr41831507b3.14.1787997496806; Sat, 29 Aug 2026
 02:58:16 -0700 (PDT)
MIME-Version: 1.0
Reply-To: i.hasuo@acm.org
From: Ichiro Hasuo <i.hasuo@acm.org>
Date: Sat, 29 Aug 2026 18:58:05 +0900
X-Gmail-Original-Message-ID: <CAAbTGZUSZKruzW0=eH_4WbrBFJFPaeMbtiSoc65K=BM13-Q9mw@mail.gmail.com>
X-Gm-Features: AcwNN1V6blJh5hzTZsGFvKbvyOjp2spBMYQh8NSFVXHRQKjTFoNhj1JpSAPZGEs
Message-ID: <CAAbTGZUSZKruzW0=eH_4WbrBFJFPaeMbtiSoc65K=BM13-Q9mw@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
Content-Type: multipart/alternative; boundary="000000000000a812fb065a2c9b08"
X-Validation-by: i.hasuo@acm.org
Subject: [Caml-list] ICALP 2027 Track B (First Round) - Second Call for
 Papers
X-Loop: caml-list@inria.fr
X-Sequence: 19570
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-08/ZUzG9r6dYdySTTOIrhKyuQ>

--000000000000a812fb065a2c9b08
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/
Submission server: https://icalp27-b.hotcrp.com/
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=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
Submission server: https://icalp27-b.hotcrp.com/

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 wil=
l
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

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

<div dir=3D"ltr">[<span style=3D"background-color:transparent">Apologies fo=
r multiple=C2=A0copies]=C2=A0</span><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;ma=
rgin-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><span class=3D"gmail=
-il"><span class=3D"gmail-il">ICALP</span></span>=C2=A02027 Track B - First=
=C2=A0<span class=3D"gmail-il"><span class=3D"gmail-il">Call</span></span>=
=C2=A0for=C2=A0<span class=3D"gmail-il"><span class=3D"gmail-il">Papers</sp=
an></span>=C2=A0(First Round)<br><a href=3D"https://icalp.uj.edu.pl/track-b=
/" target=3D"_blank">https://<span class=3D"gmail-il"><span class=3D"gmail-=
il">icalp</span></span>.uj.edu.pl/track-b/</a><br>Submission server:=C2=A0<=
a href=3D"https://icalp27-b.hotcrp.com/">https://icalp27-b.hotcrp.com/</a>=
=C2=A0<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 Colloqui=
um on Automata, Languages, and Programming<br>(<span class=3D"gmail-il"><sp=
an class=3D"gmail-il">ICALP</span></span>) will take place in:<br><br>Krak=
=C3=B3w, Poland, July 5-9, 2027<br><br><span class=3D"gmail-il"><span class=
=3D"gmail-il">ICALP</span></span>=C2=A0is the main conference and annual me=
eting of the European Association for Theoretical Computer Science (EATCS).=
 As usual,=C2=A0<span class=3D"gmail-il"><span class=3D"gmail-il">ICALP</sp=
an></span>=C2=A0will be collocated with a series of workshops.<br><br>The 2=
027 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 w=
ill be using a two-round submission process. A=C2=A0<span class=3D"gmail-il=
"><span class=3D"gmail-il">paper</span></span>=C2=A0can be submitted to one=
 out of two submission deadlines, but not to both. (Track A has only one ro=
und.)<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 ear=
th)<br>Rebuttal: 5-9 November, 2026<br>Author notification: 8 December 2026=
<br><br>Second round for Track B (and the only round for Track A)<br>------=
-----------------------------------------------------------------------<br>=
Submissions: TBA<br>Rebuttal: TBA<br>Author notification: TBA<br><br>Camera=
-ready version: TBA<br>Early registration: TBA<br>Conference: July 5-9, 202=
7<br>=C2=A0<br>Deadlines are firm; late submissions will not be considered.=
<br>Conference website:=C2=A0<a href=3D"https://icalp.uj.edu.pl/home/#home"=
 target=3D"_blank">https://<span class=3D"gmail-il"><span class=3D"gmail-il=
">icalp</span></span>.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>Submission =
server:=C2=A0<a href=3D"https://icalp27-b.hotcrp.com/">https://icalp27-b.ho=
tcrp.com/</a>=C2=A0<br><br>1)=C2=A0<span class=3D"gmail-il"><span class=3D"=
gmail-il">Papers</span></span>=C2=A0must present original research on the t=
heory of computer science. No prior publication and no simultaneous submiss=
ion to other publication outlets (either a conference or a journal) is allo=
wed. Authors are encouraged to also make full versions of their submissions=
 freely accessible in an on-line repository such as ArXiv, HAL, ECCC.<br><b=
r>2) Submissions should start with a title page consisting of the title of =
the=C2=A0<span class=3D"gmail-il"><span class=3D"gmail-il">paper</span></sp=
an>, no author information (see below), and an abstract. There is no page l=
imit and authors are encouraged to use the =E2=80=9Cfull version=E2=80=9D o=
f their=C2=A0<span class=3D"gmail-il"><span class=3D"gmail-il">paper</span>=
</span>=C2=A0as the submission. The submission should contain, within the i=
nitial ten pages following the title page, a clear presentation of the meri=
ts of the=C2=A0<span class=3D"gmail-il"><span class=3D"gmail-il">paper</spa=
n></span>, its main contributions, and key concepts and technical ideas use=
d to obtain the results. Submissions must provide proofs that allow the ver=
ification of the mathematical claims of the=C2=A0<span class=3D"gmail-il"><=
span class=3D"gmail-il">paper</span></span>. Although there is no bound on =
the length of a submission, material other than the abstract, references, a=
nd 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 betw=
een lines and 1-inch margins all around). The use of the LIPIcs document cl=
ass is recommended.<br><br>3) Submissions are anonymous. The conference wil=
l employ a lightweight double-blind reviewing process. Submissions should n=
ot reveal the identity of the authors in any way. Authors should ensure tha=
t any references to their own related work are in the third person (e.g., n=
ot =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).<br><br>The purpose of th=
is double-blind process is to help PC members and external reviewers come t=
o an initial judgment about the=C2=A0<span class=3D"gmail-il"><span class=
=3D"gmail-il">paper</span></span>=C2=A0without bias, and not to make it imp=
ossible for them to discover who the authors are if they were to try. Nothi=
ng should be done in the name of anonymity that weakens the submission or m=
akes the job of reviewing the=C2=A0<span class=3D"gmail-il"><span class=3D"=
gmail-il">paper</span></span>=C2=A0more difficult. In particular, important=
 references should not be omitted. In addition, authors should feel free to=
 disseminate their ideas or draft versions of their=C2=A0<span class=3D"gma=
il-il"><span class=3D"gmail-il">paper</span></span>=C2=A0as they normally w=
ould. For example, authors may post drafts of their=C2=A0<span class=3D"gma=
il-il"><span class=3D"gmail-il">papers</span></span>=C2=A0on the web, submi=
t them to arXiv, and give talks on their research ideas.<br><br>4) Submissi=
ons authored or co-authored by members of the program committee are allowed=
.<br><br>5) The submissions are done via HotCRP to the appropriate track of=
 the conference. The use of pdflatex or similar pdf generating tools is man=
datory.=C2=A0<span class=3D"gmail-il"><span class=3D"gmail-il">Papers</span=
></span>=C2=A0that deviate significantly from these requirements risk rejec=
tion without consideration of merit.<br><br>6) For Track B, the authors wil=
l have the opportunity to view and respond to initial reviews. Further inst=
ructions will be sent to authors of submitted=C2=A0<span class=3D"gmail-il"=
><span class=3D"gmail-il">papers</span></span>=C2=A0before that time.<br><b=
r>7) At least one author of each accepted=C2=A0<span class=3D"gmail-il"><sp=
an class=3D"gmail-il">paper</span></span>=C2=A0is expected to register for =
the conference, and all talks are in-person. In exceptional cases, alternat=
ive arrangements may be considered by the program co-chairs.<br><br>8)=C2=
=A0<span class=3D"gmail-il"><span class=3D"gmail-il">Papers</span></span>=
=C2=A0authored only by students should be marked as such upon submission in=
 order to be eligible for the best student=C2=A0<span class=3D"gmail-il"><s=
pan class=3D"gmail-il">paper</span></span>=C2=A0awards of the track.<br><br=
>9) For Track B, we use a two-round submission process. A=C2=A0<span class=
=3D"gmail-il"><span class=3D"gmail-il">paper</span></span>=C2=A0may be subm=
itted 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 secon=
d round); if a=C2=A0<span class=3D"gmail-il"><span class=3D"gmail-il">paper=
</span></span>=C2=A0is rejected then, it cannot be resubmitted to the secon=
d round. (Note that Track 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) U=
se of AI tools for conducting research must be disclosed in a submitted=C2=
=A0<span class=3D"gmail-il"><span class=3D"gmail-il">paper</span></span>, w=
ith their specific uses described in detail. Such uses include the design o=
f the research project, creation of theories and algorithms, designing expe=
riments, generation and collection of data, coding, data analysis, testing,=
 assisting with writing, or any aspects that are directly relevant to the c=
onclusion of the research.<br><br>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.<br><br>3) PC members and subre=
ferees must preserve confidentiality of the submitted material; in particul=
ar, it should not 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><span class=3D"gmail-il"><sp=
an class=3D"gmail-il">ICALP</span></span>=C2=A0proceedings are published in=
 the Leibniz International Proceedings in Informatics (LIPIcs) series. This=
 is a series of high-quality conference proceedings across all fields in in=
formatics established in cooperation with Schloss Dagstuhl =E2=80=93 Leibni=
z Center for Informatics.<br>LIPIcs volumes are published according to the =
principle of Open Access, i.e., they are available online and free of charg=
e. The accepted=C2=A0<span class=3D"gmail-il"><span class=3D"gmail-il">pape=
rs</span></span>=C2=A0will 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><span class=3D"gmai=
l-il"><span class=3D"gmail-il">Papers</span></span>=C2=A0presenting 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><span class=3D"gmail-il"><span class=3D"gmail-il">ICALP<=
/span></span>=C2=A02027 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>T=
rack A: Algorithms, Complexity and Games<br>-------------------------------=
----------------------------<br>Saket Saurabh (Institute of Mathematical Sc=
iences, Chennai), Co-Chair<br>Jukka Suomela (Aalto University), Co-Chair<br=
>(Other members TBA)<br><br>Track B: Automata, Logic, Semantics, and Theory=
 of Programming<br>--------------------------------------------------------=
--------------------------------<br>Erika Abraham, RWTH Aachen University, =
Germany<br>S. Akshay, Indian Institute of Technology Bombay, India<br>Shaul=
l Almagor, Technion, Israel<br>Albert Atserias, Universitat Polit=C3=A8cnic=
a de Catalunya, Spain<br>Miriam Backens, Inria &amp; Loria, France<br>Libor=
 Barto, Charles University, Czechia<br>Valerie Berthe, CNRS, France<br>Manu=
el Bodirsky (Track Co-chair), TU Dresden, Germany<br>Filippo Bonchi, Univer=
sity of Pisa, Italy<br>Samuel Braunfeld, Czech Academy of Sciences, Czechia=
<br>Lorenzo Clemente, University of Warsaw, Poland<br>Wojciech Czerwi=C5=84=
ski, University of Warsaw, Poland<br>Jos=C3=A9e Desharnais, Universit=C3=A9=
 Laval, Canada<br>Nathana=C3=ABl Fijalkow, CNRS, LaBRI, Bordeaux, France<br=
>Bernd Finkbeiner, CISPA Helmholtz Center for Information Security and Tech=
nical University of Munich, Germany<br>Sergey Goncharov, University of Birm=
ingham, UK<br>Ichiro Hasuo (Track Co-chair), National Institute of Informat=
ics, Japan<br>Shih-Han Hung, National Taiwan University, Taiwan<br>Cezary K=
aliszyk, University of Melbourne, Australia<br>Benjamin Kaminski, Saarland =
University, Germany and University College London, UK<br>Delia Kesner, Univ=
ersite Paris Cite, France<br>Sandra Kiefer, University of Oxford, UK<br>Tak=
ayuki Kihara, Nagoya University, Japan<br>Krishna, IIT Bombay, India<br>Ran=
ko Lazic, University of Warwick, UK<br>Alessio Mansutti, IMDEA Software Ins=
titute, Spain<br>Joshua Moerman, Open University, the Netherlands<br>Jakob =
Piribauer, TU Dresden, Germany<br>Amaury Pouly, Univ Rennes, CNRS, Inria, I=
RISA, France<br>Jurriaan Rot, Radboud University, the Netherlands<br>Sebast=
ian Rudolph, TU Dresden, Germany<br>Mahsa Shirmohammadi, CNRS, France<br>Ma=
teusz Skomra, LAAS-CNRS, France, France<br>Ana Sokolova, University of Salz=
burg, Austria<br>Sam Staton, University of Oxford, UK<br>Hiroshi Unno, Toho=
ku University, Japan<br>Tarmo Uustalu, Reykjavik University, Iceland and Ta=
llinn University of Technology, Estonia<br>Niccol=C3=B2 Veltri, Tallinn Uni=
versity of Technology, Estonia<br>Thorsten Wissmann, FAU Erlangen-N=C3=BCrn=
berg, 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><span class=3D"gmail-il"><span class=3D"gmail-il">ICA=
LP</span></span>=C2=A02027 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=
=C2=A0<span class=3D"gmail-il"><span class=3D"gmail-il">call</span></span>=
=C2=A0will 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><span=
 class=3D"gmail-il"><span class=3D"gmail-il">ICALP</span></span>=C2=A02027 =
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 Puppis (Udine Universit=
y)<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><span class=3D"gmail-il"><span class=3D"g=
mail-il">ICALP</span></span>=C2=A02027 Organizing 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>Mar=
cin Kozik (Jagiellonian University), Conference Co-Chair</p></div>

--000000000000a812fb065a2c9b08--