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 03B6E5D4 for ; Sun, 22 Jul 2018 18:16:02 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.51,390,1526335200"; d="scan'208";a="339842587" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 22 Jul 2018 20:16:01 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 6BED9824B5; Sun, 22 Jul 2018 20:16:01 +0200 (CEST) Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id D258081792 for ; Sun, 22 Jul 2018 20:12:30 +0200 (CEST) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=bernardo@sti.uniurb.it; spf=Pass smtp.mailfrom=bernardo@sti.uniurb.it; spf=Pass smtp.helo=postmaster@stimail.sti.uniurb.it IronPort-PHdr: =?us-ascii?q?9a23=3A7jWFLhKCfBnurs0TpNmcpTZWNBhigK39O0sv0rFi?= =?us-ascii?q?tYgXKfT/rarrMEGX3/hxlliBBdydt6oazbKO+4nbGkU4qa6bt34DdJEeHzQksu?= =?us-ascii?q?4x2zIaPcieFEfgJ+TrZSFpVO5LVVti4m3peRMNQJW2aFLduGC94iAPERvjKwV1?= =?us-ascii?q?Ov71GonPhMiryuy+4ZLebxlJiTanfb9+MAi9oBnMuMURnYZsMLs6xAHTontPde?= =?us-ascii?q?RWxGdoKkyWkh3h+Mq+/4Nt/jpJtf45+MFOTav1f6IjTbxFFzsmKHw65NfqtRbY?= =?us-ascii?q?UwSC4GYXX3gMnRpJBwjF6wz6Xov0vyDnuOdxxDWWMMvrRr0vRz+s87lkRwPpiC?= =?us-ascii?q?cfNj427mfXitBrjKlGpB6tvgFzz5LIbI2QMvd1Y6HTcs4ARWdZUMhfVzZBDJ2h?= =?us-ascii?q?YYUMAeUOMvpXopL4p1cStxazHxWgCfnrxzJOm3T43bc60+MkEQze2wIvBcgOv2?= =?us-ascii?q?jTrN7oKaodT/q1zK/SwjXZcvxW3ir25Y/TfR8/u/GMW6h/cdDMxkkoDA7FlUmQ?= =?us-ascii?q?qY3/MzOI0OQNsnWb7/B7Wu61im4ntxh8rz6yzckijYnJg5gaylHC9Shh3YY1I9?= =?us-ascii?q?y4SFNhYdG/CpdQtj2aOo1rSc0hW2FloCI3xqEctZKmcyUHyo4rywLFZ/CafYWE?= =?us-ascii?q?/wrvWPuRLDtlnn5oerOyiwyv/UWjy+DwTNS43VVKoydDj9LCrGoC1wbJ5ciCUv?= =?us-ascii?q?Z9/lmu2TKI1w3L8eFEPUE0la/BJJ4gxr48jIETsVjCHiPshUX2iq6Wdlg++uez?= =?us-ascii?q?8ejnY6nmqoedN49ylA7+Lrwjl8ijDegiLwQDUGqW9f6g2LH54EH0TqhGguUzkq?= =?us-ascii?q?bDsZDaIcobprS+Aw9Qyoss8AiwDy2g0NsCh3kIMVVFdQmcj4j1OlHCOu34DfG+?= =?us-ascii?q?g1Sxijdk3OrKPrz9ApnVNHjMjK/hfaph605b0Ac80cpQ55dQCr0YJPLzW1TxtM?= =?us-ascii?q?DDAx8iMw20xv7nB89n2oMfX2KPGK6ZP7nIvV+G/OJ8a9WLMYYatTDhMNAu/Ljz?= =?us-ascii?q?iHUy31IRYO3h1pISbDW8H+96C0Sfe3vlxNkbVS8BtxYzQ+vwiVCZeTtPbjC5Vu?= =?us-ascii?q?Z07TY9A5+8F4rFTZGFhL2awDy2BINbfCZaF13KF3OsP4iPXPAULSOULMhJnzcD?= =?us-ascii?q?UqDnTJUukVmjqgL816FPIO/Z5zcfrZ+l08J6o6XdkBA57hR1Cd6c2mWVQnoykH?= =?us-ascii?q?lMDz4t1apypUhwj0qY3LJjq/dcU9da4rVAWUEnNtqUy+t1Ctu3XgPaYv+JRVK9?= =?us-ascii?q?Q9OlAHc/T5Z5xtgFagN0HdOlkxbI0gKuAqQJ0b2XQoEptLnRmzD0Ns16z3LL3a?= =?us-ascii?q?Y8gkIOR8JOMWivgOhi+RPYQYTT1w2Bnr6vXaUa0inX8W6fzGGV+kxUFgd7F7jG?= =?us-ascii?q?GTgHa1HYqs7870XJQperBK4jNRcH1NWJbKZGd5mhlVhaXvblNcj2YmS/nH21DA?= =?us-ascii?q?qJxfWRaouve2wY1jjHBw4InkRb5WyBOk06DyGui27fDyEoGVGrK1vy6sF1s3f9?= =?us-ascii?q?VVU1iQqNagkpzreu5lscg/qbVvUY05oFpCZntjRpFxCw08+SQ8GNuA17eKl0et?= =?us-ascii?q?Iy+1BJySTerQM5doCgIqd4i1tbax5woU70zD1+C8NFkNRsoX83iEJuKa+fykIE?= =?us-ascii?q?czSX3JvYMaaRIWzvuh2jduqexlHT18yH/Lsn7PUjt07uph/vEE0u+nYh3tVIlz?= =?us-ascii?q?OA943HF08bV5T2T0A8+jB+pqrGeW8m6orPk2B0PK+y9DLOxoETCfMh2yqnKtJW?= =?us-ascii?q?KqiDUgX/CcsTHcSpAPEsmkWzZFQFILN87qkxauavbfCBkISmJuBphj6hxTBN7Z?= =?us-ascii?q?p721iA8AJnVu+OwpAE3uuSmAqbAWSvxGy9u9z6zNgXLQoZGXCynG29XNYIN/9C?= =?us-ascii?q?OL0TAGLrGPWZg9B3hprjQXldrQPxHE8HntKveAeIZRr8wV8JjBhFkTmcgSK9ig?= =?us-ascii?q?dMvXQxtKPGgX7V3+WkaRwGJ3RBAmh+3w+1fNqEyusCVU3tVDAH0Ruo4UGgnPpA?= =?us-ascii?q?uKV6JmjXB1xUfm7rKWB/SKH2t6bQOsM=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0DZAQBtyFRb/4MAk1pcDhABDAaDTWN/K?= =?us-ascii?q?Jg0gWiNGYhIgXojCwgBg3pGgw4aBgEEMBgBAgEBAgEBAQEBbBwMgjUkAYJfBQE?= =?us-ascii?q?bIwEBJgEBDwFOEiwRIYMzggMLrWOCHIJzAQEFgQIBUYV4CIdrgReCFoFEgi4Cg?= =?us-ascii?q?W+BTwsBAoc1mW4JgQ+cE4I5kSk4gVJNODuCaQmCGg6GPocqBDhtAQF3AQEBGI1?= =?us-ascii?q?9AQE?= X-IPAS-Result: =?us-ascii?q?A0DZAQBtyFRb/4MAk1pcDhABDAaDTWN/KJg0gWiNGYhIgXo?= =?us-ascii?q?jCwgBg3pGgw4aBgEEMBgBAgEBAgEBAQEBbBwMgjUkAYJfBQEbIwEBJgEBDwFOE?= =?us-ascii?q?iwRIYMzggMLrWOCHIJzAQEFgQIBUYV4CIdrgReCFoFEgi4CgW+BTwsBAoc1mW4?= =?us-ascii?q?JgQ+cE4I5kSk4gVJNODuCaQmCGg6GPocqBDhtAQF3AQEBGI19AQE?= X-IronPort-AV: E=Sophos;i="5.51,390,1526335200"; d="scan'208";a="273736926" Received: from stimail.sti.uniurb.it ([90.147.0.131]) by mail3-smtp-sop.national.inria.fr with ESMTP; 22 Jul 2018 20:12:29 +0200 Received: by stimail.sti.uniurb.it (Postfix, from userid 5001) id D51408809B; Sun, 22 Jul 2018 20:12:27 +0200 (CEST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=sti.uniurb.it; s=stimail; t=1532283147; bh=SYvr4PEVH/mrdRokiKI2W0zq8EOuxnyD4mnu+mNwhHA=; h=Date:From:Reply-To:To:cc:Subject:From; b=Z8vO5WodtNR2EzOTlvO/JmDHTvc4Q4FlJZrpa0ynr3XW44ZVysVkJIuCw0lmScbx5 G2ABtJ+cgQHcubQAp3LNs+J2UwLlNzNfFFSkca9xIAfEefO9B2GrWpITkuqlxtvfqr whrseqw6bmKnKg9CTM6ZVOgvq7BaUMe89nhN+Lik= Received: from gusella.home (unknown [151.76.186.185]) (Authenticated sender: bernardo@sti.uniurb.it) by stimail.sti.uniurb.it (Postfix) with ESMTPSA id 5760588093; Sun, 22 Jul 2018 20:12:24 +0200 (CEST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=sti.uniurb.it; s=stimail; t=1532283145; bh=SYvr4PEVH/mrdRokiKI2W0zq8EOuxnyD4mnu+mNwhHA=; h=Date:From:Reply-To:To:cc:Subject:From; b=BY7urDUjI0Xu13KCbS5vaAoLT/cxiaFLLjiOJWLxiRSEgVxLQLDRmMK/gBJlgV6Uu TlUm2TdEOd+7PmQ4wEvFpbtTvTul6FHGb7jYOgG2lc5AHh/TFBt+lSCciZ2gtTokZM j4OhIhZ6OHt/L2UMnn+4LnThA1qHUtJcm4MSzde0= Date: Sun, 22 Jul 2018 20:12:24 +0200 (CEST) From: Marco Bernardo X-X-Sender: bernardo@gusella Reply-To: marco.bernardo@uniurb.it To: agents@cs.umbc.edu, caml-list@inria.fr, categories@mta.ca, concurrency@listserver.tue.nl, ecoop-info@ecoop.org, events@fmeurope.org, fmics@inrialpes.fr, isabelle-users@cl.cam.ac.uk, logic-list@helsinki.fi, moca-announce@list.it.uu.se, mycolleagues@mailman.ufsc.br, papm@informatics.ed.ac.uk, performance@merlot.usc.edu, petrinet@informatik.uni-hamburg.de, prog-lang@diku.dk, pvs@csl.sri.com, qest-announce@iti.uiuc.edu, seworld@sigsoft.org, theorem-provers@ai.mit.edu, theory-logic@cs.cmu.edu, theorynt@listserv.nodak.edu, types-announce@lists.seas.upenn.edu cc: Alessandro Aldini Message-ID: User-Agent: Alpine 2.02 (DEB 1266 2009-07-14) MIME-Version: 1.0 Content-Type: MULTIPART/MIXED; BOUNDARY="8323329-1663930433-1532283146=:2798" X-Validation-by: bernardo@sti.uniurb.it Subject: [Caml-list] ICTCS 2018 @ Urbino - first call for participation X-Loop: caml-list@inria.fr X-Sequence: 17005 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: This message is in MIME format. The first part should be readable text, while the remaining parts are likely unreadable without MIME-aware tools. --8323329-1663930433-1532283146=:2798 Content-Type: TEXT/PLAIN; format=flowed; charset=ISO-8859-15 Content-Transfer-Encoding: 8BIT ==================================================================== ICTCS 2018 - 19th Italian Conference on Theoretical Computer Science 18-20 September 2018, Urbino, Italy http://www.sti.uniurb.it/events/ictcs2018/ CALL FOR PARTICIPATION ==================================================================== ============ REGISTRATION ============ The on-line registration system is open: http://www.sti.uniurb.it/events/ictcs2018/registration.html Registration fees are as follows: - Senior, early (until August 31, 2018): euros 300 - Senior, late (after August 31, 2018): euros 360 - Junior, early (until August 31, 2018): euros 240 - Junior, late (after August 31, 2018): euros 300 where senior stands for faculty member (professors and researchers) while junior stands for non-faculty member (PhD students, post-docs, etc). Each registration fee includes admission to the conference, coffee breaks, lunches, and the social dinner. ======== LOCATION ======== ICTCS 2018 will be held in the center of Urbino, a walled city listed by UNESCO as a World Heritage Site, which was one of the capitals of Renaissance. Birthplace of Raffaello Sanzio, Urbino hosts the National Gallery of the Marche in the magnificent Ducal Palace built for Federico da Montefeltro. ======= PROGRAM ======= The program of ICTCS 2018 is available at: http://www.sti.uniurb.it/events/ictcs2018/program.html It includes the presentation of 16 regular papers and 9 communications, together with: - invited talks by Rossella Petreschi, Davide Sangiorgi, Nicola Prezza; - seminar in honour of Corrado Böhm; - IC-EATCS awards for best young researcher, PhD thesis, master thesis; - IC-EATCS annual meeting; - panel on past and future of the VQR, Italy's national research assessment. ============= ACCOMMODATION ============= A list of affiliated hotels is available at: http://www.sti.uniurb.it/events/ictcs2018/venue.html Booking soon is recommended because there are several events taking place in Urbino in September. -- 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 --8323329-1663930433-1532283146=:2798--