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 87A045D5 for ; Tue, 3 Apr 2018 18:00:10 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.48,402,1517871600"; d="scan'208";a="321162736" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 03 Apr 2018 19:59:58 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 635FF8242A; Tue, 3 Apr 2018 19:59:58 +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 DEFE6823D7 for ; Tue, 3 Apr 2018 19:53:22 +0200 (CEST) Authentication-Results: mail2-smtp-roc.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=3AysNrnBFNj5WfMiuvTbLy7p1GYnF86YWxBRYc798d?= =?us-ascii?q?s5kLTJ76o8y8bnLW6fgltlLVR4KTs6sC17KN9fi4EUU7or+5+EgYd5JNUxJXwe?= =?us-ascii?q?43pCcHRPC/NEvgMfTxZDY7FskRHHVs/nW8LFQHUJ2mPw6arXK99yMdFQviPgRp?= =?us-ascii?q?OOv1BpTSj8Oq3Oyu5pHfeQpFiCazbL9oMBm6sRjau9ULj4dlNqs/0AbCrGFSe+?= =?us-ascii?q?RRy2NoJFaTkAj568yt4pNt8Dletuw4+cJYXqr0Y6o3TbpDDDQ7KG81/9HktQPC?= =?us-ascii?q?TQSU+HQRVHgdnwdSDAjE6BH6WYrxsjf/u+Fg1iSWIdH6QLYpUjm58axlVAHnhz?= =?us-ascii?q?sGNz4h8WHYlMpwjL5AoBm8oxBz2pPYbJ2JOPZ7eK7WYNEUSndbXstJWSJPApm8?= =?us-ascii?q?YZUSAeQCM+lXoJXyqkALrReiHwShHv/jxyVKi3LwwKY00/4hEQbD3AE4GNwBqm?= =?us-ascii?q?7Uo8nyNKwPTO260rPIzTPZYPNMxDj975XDfxc6rv6SR7Jwd9DeyVMyGAPClViQ?= =?us-ascii?q?spDlPzKP2uQQtWib7vdgVfi0hGI9qgFxviGiy8ExgYfHgYIVz0rL9SR/wIstOd?= =?us-ascii?q?K3VlN7YcS9HJperCGWLYx2QtktQ21wpSY6zLwGuYOhfCcR0pgnxgLfZvqaeIaL?= =?us-ascii?q?+hLuTOKcLStiiH54d7+yhQy+/VS6xuHhWMS4zU5GojdFn9XRrHwA1R3e5tKaRv?= =?us-ascii?q?Zy/kqtwzaC2gLV5+pZO047j7DbJIQkwrMolpocr0DDHijulUXtkK+Wd0Ak9fKp?= =?us-ascii?q?6+TjeLnmvYOcN45uhgHjNKQum9G/Af4jPQQUXmib5fyw1Lzl/ULnXLVHlvk7nr?= =?us-ascii?q?XDvJzHKskWpLS1DxNP3oo+5RuzEi+q0NECknkGKFJFdgiHj4/sO1zWO//3E+2/?= =?us-ascii?q?g1K2nzdx2v/GOabsAo7RLnjCirvhYLB9609ByAop1t9T/ZNUCq0ZLPLpRkDxrM?= =?us-ascii?q?DYDgM+MwGs3+noEtB91ocHVWKLA6+ZK7/SvEST5uMvJumMfJUatCz8K/gj/f7u?= =?us-ascii?q?jGU2lUUTfamzjtMrbyWxEflgP16xamGqn9ILGiEHshd6BOfjjVnHVT9Ie16zWb?= =?us-ascii?q?g973c1EsbuBo7fS4+qmr2Mxw++ApQQbWkCQluLF3z1bZ+JXfwdQCaTOdN6nyYa?= =?us-ascii?q?WKLnV5Iskxeq8Ef3wL1gNq/V/CMfnZ/o099toerJmlV6+CJ5CdiG+2+IQnxumX?= =?us-ascii?q?sFATgs0+Q3r0l8wUyr0K5igvVcDdFIof1TFk87LpfWwuh+BpXvQQ/bZf+CTBCt?= =?us-ascii?q?S9DgCDp3U9F1i9sJbEd2XtGjlQzr3yeuGL4TlL3NCp1wuqfb1HG0LsB7zGvA36?= =?us-ascii?q?QJi1g9Xo1OKSu7m+hk+kybAp/ClEGdmq+laKkH9CvE9WOGxGzIoU9DW0h6S+GN?= =?us-ascii?q?RXkHY2PXq9r+/EbLU76lEvIqPk1IwoifKe8CctDzg1JcQf7lM9n2Zm+rn2CsQw?= =?us-ascii?q?uTzfWBYJeuM30QwD/cDkUYuwEV83GcMAEiByTnvmTfSTxnEFjyeUyq/eQ64Guh?= =?us-ascii?q?SUBxywiMYGVt1rmovBIWwbSEVeg71akA/jw7qnN/G1P5l8vbEMbFrgxne7haat?= =?us-ascii?q?4V4UtGk3/Yqgc7M5C9a+h5i0EZaQB7l1jv2A5wBJkGltIl6Ds2zAd1M6+dlUtb?= =?us-ascii?q?cC2Vx4vYM7yRL2juuh2jduqexlHT18yHv6MI5/Uzg174+gqsCwwv/2gjm8VV3n?= =?us-ascii?q?yG95PWJA4TSo7qX1wpsR59q7jZJCQx+secyWx0PLLxuznE3M8vD+YNzhe7Y8wZ?= =?us-ascii?q?K66ND0nvC8AcAY6jJPF5oVWxagM4O7VX/bQ/OIWseuGA0bSnO859mjO7l24B4Z?= =?us-ascii?q?wu/FiL8n9ZQ/TD2N4vzuue1xGLUH+ohlq7tMntlYdsfi0TWHe5yDX+DshQevsh?= =?us-ascii?q?Ls4wFW6yLpjvlZ1FjJn3VisdrQb7XgJU6IqSYROXKmfF80hV3EUTr2agnHLlnS?= =?us-ascii?q?doknc0qKuCxiaIwviwLUNbaF4Of3FriBLXGabxl8oTBRX6dBQo0gaj5Fvgze5a?= =?us-ascii?q?uPYndjSBcQJzZyHzalpafO6wu76FOZUd848ptCxWVKKnfVHcV7j8vgEQlSL/TT?= =?us-ascii?q?JT?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0D4BQBdvsNa/4MAk1pdDoNlYW8og1+VB?= =?us-ascii?q?YFTgTCKa4dqgXojC4RghEQaBgEEMRcBAgEBAQEBAQEBAWoogjUkAYJLBQEbBh0?= =?us-ascii?q?BASYRAU4OAgIsESGFIwusL22CHIJuAQEFgQABUYN9gh0Ihmd6ghOBCwEugiYCg?= =?us-ascii?q?W+BUAGBNoMnglSXPQiBCYRJlRSCHo8EHQE2gVJNOIJ9CYIjjWcEOG0Bi3eCRQE?= =?us-ascii?q?B?= X-IPAS-Result: =?us-ascii?q?A0D4BQBdvsNa/4MAk1pdDoNlYW8og1+VBYFTgTCKa4dqgXo?= =?us-ascii?q?jC4RghEQaBgEEMRcBAgEBAQEBAQEBAWoogjUkAYJLBQEbBh0BASYRAU4OAgIsE?= =?us-ascii?q?SGFIwusL22CHIJuAQEFgQABUYN9gh0Ihmd6ghOBCwEugiYCgW+BUAGBNoMnglS?= =?us-ascii?q?XPQiBCYRJlRSCHo8EHQE2gVJNOIJ9CYIjjWcEOG0Bi3eCRQEB?= X-IronPort-AV: E=Sophos;i="5.48,402,1517871600"; d="scan'208";a="321162247" Received: from stimail.sti.uniurb.it ([90.147.0.131]) by mail2-smtp-roc.national.inria.fr with ESMTP; 03 Apr 2018 19:53:22 +0200 Received: by stimail.sti.uniurb.it (Postfix, from userid 5001) id 13361880A8; Tue, 3 Apr 2018 19:53:32 +0200 (CEST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=sti.uniurb.it; s=stimail; t=1522778013; bh=PsfAeQrHgz7gHLhPgJG4L7BnHXa5A8pSyp3Lzi0Kvow=; h=Date:From:Reply-To:To:cc:Subject:From; b=Gbw/aYibbSB9OSPnhcIMIiQmYxnFFGMPaLGW72FwocYB9b8+Tfukmd56+RFux6Bz+ IRUnMPyuoiSFJSUhYKw4hmJykWQyhiY1m4ful1yayTiT/t5Zw1VTTUDtphRtGfIe7R 8AZIPJAgtwiiHKZqthpu9bhdZQ4p8dKqfL+yfKw4= Received: from gusella.home (unknown [151.76.145.57]) (Authenticated sender: bernardo@sti.uniurb.it) by stimail.sti.uniurb.it (Postfix) with ESMTPSA id D985D88093; Tue, 3 Apr 2018 19:53:28 +0200 (CEST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=sti.uniurb.it; s=stimail; t=1522778010; bh=PsfAeQrHgz7gHLhPgJG4L7BnHXa5A8pSyp3Lzi0Kvow=; h=Date:From:Reply-To:To:cc:Subject:From; b=CdQUyXoTrNHPN4iHamWQaGxK5f5qfNuuAZ6CRrD+c5jXC7SUTVd1lVVYDqRLcctW6 WXAgbBoWxZst9UR0QFaUmdNKb/G1h6FrfcV7h6a5+r3TQT2wUJnbrclWvK/5uPUEC+ oUV+/pbSbyIOHQn1gvSVVKVuelwD4n2riOeVvE1E= Date: Tue, 3 Apr 2018 19:53:15 +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-725763336-1519751006=:3826" Content-ID: X-Validation-by: bernardo@sti.uniurb.it Subject: [Caml-list] ICTCS 2018 @ Urbino - second call for papers X-Loop: caml-list@inria.fr X-Sequence: 16774 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-725763336-1519751006=:3826 Content-Type: TEXT/PLAIN; charset=UTF-8; format=flowed Content-Transfer-Encoding: 8BIT Content-ID: ==================================================================== ICTCS 2018 - 19th Italian Conference on Theoretical Computer Science 18-20 September 2018, Urbino, Italy http://www.sti.uniurb.it/events/ictcs2018/ CALL FOR PAPERS ==================================================================== ================ SCOPE AND TOPICS ================ The Italian Conference on Theoretical Computer Science (ICTCS) is the conference of the Italian Chapter of the European Association for Theoretical Computer Science. The purpose of ICTCS is to foster the cross-fertilization of ideas stemming from different areas of theoretical computer science. In particular, ICTCS provides an ideal environment where junior researchers and PhD students can meet senior researchers. Contributions in any area of theoretical computer science are warmly invited from researchers of all nationalities. The topics of interest include, but are not limited to, the following: agents, algorithms, argumentation, automata theory, complexity theory, computational logic, computational social choice, concurrency theory, cryptography, discrete mathematics, distributed computing, dynamical systems, formal methods, game theory, graph theory, knowledge representation, languages, model checking, process algebras, quantum computing, rewriting systems, security and trust, semantics, specification and verification, systems biology, theorem proving, type theory. ================ PAPER SUBMISSION ================ Two types of contributions, written in English and formatted according to Springer LNCS style, are solicited. Regular papers: up to 12 pages, presenting original results not appeared or submitted elsewhere. To ease the reviewing process, the authors of regular papers may add an appendix, although reviewers are not required to consider it in their evaluation. Communications: up to 5 pages, suitable for extended abstracts of papers already appeared/submitted or to be submitted elsewhere, as well as papers reporting ongoing research on which the authors wish to get feedback and overviews of PhD theses or research projects. Authors are invited to submit their manuscripts in PDF format via EasyChair. All accepted original contributions (regular papers and communications) will be published on CEUR-WS.org. For each accepted contribution, at least one of the authors is required to attend the conference and present the paper. As in previous years, we plan to publish a selection of the best papers in a special issue of an international journal. =============== IMPORTANT DATES =============== Abstract submission: 17 May 2018 Paper submission: 24 May 2018 Notification: 30 June 2018 Final version: 20 July 2018 ========== COMMITTEES ========== Program Chairs: Alessandro Aldini (Università di Urbino "Carlo Bo", Italy) Marco Bernardo (Università di Urbino "Carlo Bo", Italy) Program Committee: Marco Antoniotti (Università di Milano "Bicocca", Italy) Franco Barbanera (Università di Catania, Italy) Anna Bernasconi (Università di Pisa, Italy) Davide Bilò (Università di Sassari, Italy) Stefano Bistarelli (Università di Perugia, Italy) Luca Bortolussi (Università di Trieste, Italy) Tiziana Calamoneri (Università di Roma "Sapienza", Italy) Antonio Caruso (Università del Salento, Italy) Silvia Crafa (Università di Padova, Italy) Ugo Dal Lago (Università di Bologna, Italy) Gianlorenzo D'Angelo (Gran Sasso Science Institute, Italy) Moreno Falaschi (Università di Siena, Italy) Gabriele Fici (Università di Palermo, Italy) Michele Flammini (Università dell'Aquila & GSSI, Italy) Dora Giammarresi (Università di Roma "Tor Vergata", Italy) Paola Giannini (Università del Piemonte Orientale, Italy) Flaminia Luccio (Università di Venezia "Ca' Foscari", Italy) Isabella Mastroeni (Università di Verona, Italy) Maria Chiara Meo (Università di Chieti e Pescara "G. d'Annunzio", Italy) Emanuela Merelli (Università di Camerino, Italy) Manuela Montangero (Università di Modena e Reggio Emilia, Italy) Aniello Murano (Università di Napoli "Federico II", Italy) Luca Padovani (Università di Torino, Italy) Domenico Parente (Università di Salerno, Italy) Simona Perri (Università della Calabria, Italy) Carla Piazza (Università di Udine, Italy) Giovanni Pighizzini (Università di Milano, Italy) Giovanni Michele Pinna (Università di Cagliari, Italy) Rosario Pugliese (Università di Firenze, Italy) Paola Quaglia (Università di Trento, Italy) Gianfranco Rossi (Università di Parma, Italy) Pierluigi San Pietro (Politecnico di Milano, Italy) Simone Tini (Università dell'Insubria, Italy) Mirco Tribastone (IMT Lucca, Italy) Paola Vocca (Università della Tuscia, Italy) Elena Zucca (Università di Genova, Italy) -- 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-725763336-1519751006=:3826--