From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by c5ff346549e7 (Postfix) with ESMTPS id BEF915D4 for ; Thu, 17 May 2018 12:05:08 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.49,410,1520895600"; d="scan'208,217";a="327288492" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 17 May 2018 14:05:05 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 6C0678244D; Thu, 17 May 2018 14:05:05 +0200 (CEST) Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id 4A55B82416 for ; Thu, 17 May 2018 14:03:58 +0200 (CEST) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=alessandro.aldini@uniurb.it; spf=Pass smtp.mailfrom=alessandro.aldini@uniurb.it; spf=None smtp.helo=postmaster@mail-wm0-f46.google.com IronPort-PHdr: =?us-ascii?q?9a23=3Aauq56xEfYg8VaEZd+s/dTZ1GYnF86YWxBRYc798d?= =?us-ascii?q?s5kLTJ7zpsSwAkXT6L1XgUPTWs2DsrQY07GQ6/iocFdDyK7JiGoFfp1IWk1Nou?= =?us-ascii?q?QttCtkPvS4D1bmJuXhdS0wEZcKflZk+3amLRodQ56mNBXdrXKo8DEdBAj0OxZr?= =?us-ascii?q?KeTpAI7SiNm82/yv95HJbAhEmDSwbaluIBmqsA7cqtQYjYx+J6gr1xDHuGFIe+?= =?us-ascii?q?NYxWNpIVKcgRPx7dqu8ZBg7ipdpesv+9ZPXqvmcas4S6dYDCk9PGAu+MLrrxjD?= =?us-ascii?q?QhCR6XYaT24bjwBHAwnB7BH9Q5fxri73vfdz1SWGIcH7S60/VDK/5KlpVRDokj?= =?us-ascii?q?8KOT43/m/Ul8J+kr5UrQ+6qhNl34LZepuYOOZicq7fe94RWGpPXtxWVyxEGo6w?= =?us-ascii?q?YZcCD+4cMuZZqYn9pkMCpgaiCAmoGuzv0SRIiWXw3aInyeQhFg/K1xEnEt0UtH?= =?us-ascii?q?Tbss71NLwIXuCz0abI1zLDY+lM1jf59YfIcxYhofCXULJtd8rRyFQvFxnegVmK?= =?us-ascii?q?qIzlIyqY2+IQuGaV6OpgUPigi28hqwxpvzivwMYsipTTho0O0FzE9Dl5zYAoLt?= =?us-ascii?q?O7UE52edypHZRKuy2HKYd7QtkuTmJ2tCogxbALuJi2dzUQxps93R7QcfmHfpCI?= =?us-ascii?q?4h39UOaRJi91hHd/d7K+gxa+6EahyujgWsWt3lZHoStInsPDtnAK0BzT5cyHRe?= =?us-ascii?q?Vn8ki93jaP0hjf6uBCIU8qiarWM5wsz7EqmpYOr0jOHjX6lUbogKOMeUgp+/Ck?= =?us-ascii?q?6+H9bbXnop+cOZV0igb7Mqk2gMO/Bfo3MhMVX2eB/+Szyafj/UrjTLpQiv05j6?= =?us-ascii?q?jZsJbbJckAu665BQ5V0ps56xmkFTum0cgYkWEdLF1ZYBKHk5TpO1bWLf/kF/i/?= =?us-ascii?q?hlCsnC5vx/DHJb3hHo7ALmPDkbfkZbZy8VRQyAs1zdBF5pJbEKsNIPzpWhy5iN?= =?us-ascii?q?uNAQU4NUm53evhFNRV2ZkfXyeOBKGeKqbbrV6D76QuP63EZYRTtT/hIOMN6/+o?= =?us-ascii?q?kHk4gV5bfLX684EQbSXyN/BqIkOYJTLFhtoaCm4MshA5BqS+gVmPSiVaYXqoWO?= =?us-ascii?q?Q14j06DoOOEIHCW5qnxr2dinToVqZKb3xLXwjfWUzjcJ+JDq9VOXCiZ/R5mzlB?= =?us-ascii?q?boCPDooo1BWgrgj/kuM1M+zV5zcS85P/hoEsu7/j0Coq/DkxNPyzlnmXRjgtzH?= =?us-ascii?q?4ORiIs1uZ+vR4lkwrR4e1Dm/VdUOdrybZJXwM9b8OOyuV7D5XtX1qEcIvXDlmh?= =?us-ascii?q?RdqiDHc6Sddjm9I=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0CQAwAnb/1afy5SfUpcHgEGDINnPX0oB?= =?us-ascii?q?AaDaoEdk16DCI4/hm8LI4ZTBxkHAQQ0FAECAQEBAQEBAQEBEwEBCQsLCCYlDII?= =?us-ascii?q?1IoJ7HQEBJhIeBzcCJBIBBQEjLIMLgX8PmxI8ihhtghyCbwEBBYVXgh8IEogcg?= =?us-ascii?q?VU+g22Bb4FQAYRhglSYSAMEAgKBCi6DaIkzjHiQYQ8DHoEEM4FzgXEGggwJggs?= =?us-ascii?q?Yhj6HZj0wAY82AQE?= X-IPAS-Result: =?us-ascii?q?A0CQAwAnb/1afy5SfUpcHgEGDINnPX0oBAaDaoEdk16DCI4?= =?us-ascii?q?/hm8LI4ZTBxkHAQQ0FAECAQEBAQEBAQEBEwEBCQsLCCYlDII1IoJ7HQEBJhIeB?= =?us-ascii?q?zcCJBIBBQEjLIMLgX8PmxI8ihhtghyCbwEBBYVXgh8IEogcgVU+g22Bb4FQAYR?= =?us-ascii?q?hglSYSAMEAgKBCi6DaIkzjHiQYQ8DHoEEM4FzgXEGggwJggsYhj6HZj0wAY82A?= =?us-ascii?q?QE?= X-IronPort-AV: E=Sophos;i="5.49,410,1520895600"; d="scan'208,217";a="327288160" Received: from mail-wm0-f46.google.com ([74.125.82.46]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 17 May 2018 14:03:22 +0200 Received: by mail-wm0-f46.google.com with SMTP id f8-v6so8628182wmc.4 for ; Thu, 17 May 2018 05:03:22 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=uniurb.it; s=google; h=mime-version:from:date:message-id:subject:to; bh=8pej0P37mm6w7BuN/ncv0G7QC538C1YEmjhmRYmCkew=; b=jT/rFph7PgIezc8EagdGPGx1sciKsDakcnRldCJHcq4y2FttnqGo0SPTA2RLJZPUBb mdbOLmEW4xOR86B9YOHU50iriewl8D/DGm14kdFfcd97toje/fpNKXmZzbuchR6t7AFZ V0v2LkNI9zDf2u82iIgIw2yORBJQ2T7jY+iec= X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:from:date:message-id:subject:to; bh=8pej0P37mm6w7BuN/ncv0G7QC538C1YEmjhmRYmCkew=; b=l+JJrX/Mzya1N4X87++/3HD0sFfZ8m5UDhrxgWp3GHgCHq6fXG6fCQytR+WFgDwXUf QMwvQryIZAbHzzcJ+whw0mqWDjji8Xx/ef+eUyx8FAOZfVkYMKI2rZ0CGWEDenHVvbHp B60QJ/YLvIW4TImEd5/c3Dza9pwOUZhKltKAXnJ6Yb8p/KuIpPS8fmrr+eCZ7yH3ZFT+ DZXMGhY0pM9LNy5y0jDfOOVC9GJxubIw77F1pPJ2FM8AgnA/NuqIxFv5nn9NcCuSIJdb lu+0o1QJcNzNQKGt0vOh0fX4S2d3TEy9pga6LKOrRuRBMlNyQaBwIcEc++rIWdohz6F9 3e9A== X-Gm-Message-State: ALKqPwdyICU6BKXAxteKSvXHpKJqEaxK5hq7RvRT8mSwixXsysA+1tvh PfZjuq5LQMYgQrPhmMeMXKhtKNqdIdJognNf7an5lzf+igVTtg== X-Google-Smtp-Source: AB8JxZrvracQA0QTb1x34tMlSIpke17eEJ6CVeT812uDAq12LtE7JMTKRStVHnZyJTxi8dVrQ/1bYK9RJskrcGZlR9U= X-Received: by 2002:a50:9ea3:: with SMTP id a32-v6mr6860558edf.78.1526558601362; Thu, 17 May 2018 05:03:21 -0700 (PDT) MIME-Version: 1.0 Received: by 10.80.179.247 with HTTP; Thu, 17 May 2018 05:03:21 -0700 (PDT) From: "Aldini, Alessandro" Date: Thu, 17 May 2018 14:03:21 +0200 Message-ID: To: grin-eventi@grin-informatica.it, ic.eatcs@di.unipi.it Content-Type: multipart/alternative; boundary="00000000000029d840056c659ff6" X-Validation-by: alessandro.aldini@uniurb.it Subject: [Caml-list] Extended deadline ICTCS 2018 - Urbino (Italy) Reply-To: "Aldini, Alessandro" X-Loop: caml-list@inria.fr X-Sequence: 16895 Errors-to: caml-list-owner@inria.fr Precedence: list Precedence: bulk Sender: caml-list-request@inria.fr X-no-archive: yes List-Id: List-Archive: List-Help: List-Owner: List-Post: List-Subscribe: List-Unsubscribe: --00000000000029d840056c659ff6 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable *Extended deadline ICTCS 2018* Due to a high number of requests, the deadlines for abstract and paper submission have been extended: ***** Abstract submission: 24 May 2018 ***** ***** Paper submission: 31 May 2018 ***** =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D 19th Italian Conference on Theoretical Computer Science 18-20 September 2018, Urbino, Italy http://www.sti.uniurb.it/events/ictcs2018/ =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=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 reminder -* two types of contributions are solicited, regular papers and communications. A selection of the best papers will be invited for submission to a special issue of an international journal. *News -* we are pleased to announce two invited speakers: Rossella Petreschi, Universit=C3=A0 di Roma "Sapienza", Italy Davide Sangiorgi, Universit=C3=A0 di Bologna, Italy --=20 Caml-list mailing list. Subscription management and archives: https://sympa.inria.fr/sympa/arc/caml-list Beginner's list: http://groups.yahoo.com/group/ocaml_beginners Bug reports: http://caml.inria.fr/bin/caml-bugs= --00000000000029d840056c659ff6 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
Extended deadline ICTCS 2018

Due to a high number of requests, the deadl= ines for abstract and paper submission=C2=A0
have bee= n extended:=C2=A0

***** Ab= stract submission: 24 May 2018 *****
***** Paper subm= ission: =C2=A0 =C2=A031 May 2018 *****

=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D
19th Itali= an Conference on Theoretical Computer Science=C2=A0
<= br>
18-20 September 2018, Urbino, Italy=C2=A0

<= div dir=3D"ltr">=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=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 reminder -=C2=A0two types of contribut= ions are solicited, regular papers
and communications= . A selection of the best papers will be invited for submission=C2=A0
=
to a special issue of an international journal.

News -=C2=A0we are pleased to= announce two invited speakers:
Rossella Petreschi, U= niversit=C3=A0 di Roma "Sapienza", Italy
Da= vide Sangiorgi, Universit=C3=A0 di Bologna, Italy
--00000000000029d840056c659ff6--