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 F143F5D5 for ; Fri, 13 Apr 2018 02:49:57 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.48,444,1517871600"; d="scan'208";a="322635772" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 13 Apr 2018 04:49:56 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 3E41D82444; Fri, 13 Apr 2018 04:49:56 +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 3644C8240C; Fri, 13 Apr 2018 04:44:40 +0200 (CEST) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=tarmo@cs.ioc.ee; spf=None smtp.mailfrom=tarmo@cs.ioc.ee; spf=None smtp.helo=postmaster@smtp3.ioc.ee IronPort-PHdr: =?us-ascii?q?9a23=3AnxBV8xQhax9dOZbSNn3xx8hDxtpsv+yvbD5Q0YIu?= =?us-ascii?q?jvd0So/mwa6yYRaN2/xhgRfzUJnB7Loc0qyK6/umATRIyK3CmUhKSIZLWR4BhJ?= =?us-ascii?q?detC0bK+nBN3fGKuX3ZTcxBsVIWQwt1Xi6NU9IBJS2PAWK8TW94jEIBxrwKxd+?= =?us-ascii?q?KPjrFY7OlcS30P2594HObwlSizexfb1/IA+qoQnNq8IbnZZsJqEtxxXTv3BGYf?= =?us-ascii?q?5WxWRmJVKSmxbz+MK994N9/ipTpvws6ddOXb31cKokQ7NYCi8mM30u683wqRbD?= =?us-ascii?q?VwqP6WACXWgQjxFFHhLK7BD+Xpf2ryv6qu9w0zSUMMHqUbw5Xymp4KlxSB/slS?= =?us-ascii?q?wJKTg3/m/KgcB0ja9XpRSsrAF9zYHJeoGYLPRwcKPDc90HRmRPWcleWDBODI6n?= =?us-ascii?q?c4sPFvAMMfpCooXhpVYDqwa1Cwm2BOPozz9FnmH40rcg0+QkFgHNwQIvH88VsH?= =?us-ascii?q?TIttr1MLoSWv2ywanU1zrDdfZW2TDm5YfUaRAtu/CMXbVsfsbL10YgCRrIg1ON?= =?us-ascii?q?ooLrODOV0/4Cs2md7+d4TuKvlmgnpxtrrTez3ssjlJPGhpkVy1/Y9SV22oc1Jc?= =?us-ascii?q?eiRE58e96kH4NctyaAN4t5WM8jQntntSAnwbMFoZ62ZDUGxZApyhLFZPGLb5KE?= =?us-ascii?q?7gzjWeqMOzt0mXFodbG5ih2v60av0Pf8WdOx0FtSripKjN3MtncV2hzI78iHVu?= =?us-ascii?q?N980m71TaO0ADc9vtILl4qmqbDKp4hxKA/loYLvEjeGiL7ll/6gaCKekk+5OSl?= =?us-ascii?q?6/nrbq/7qpKfNIJ4kgT+Pb4vmsy7D+Q4KA8OX22D9OSgzrLj50j5QLJRg/Iqia?= =?us-ascii?q?nVqpHaJcMHqaKjHQBazJ4v6wyjADe+zNQYgX4HIUpZdx2diojpP0jCIPT5Dfek?= =?us-ascii?q?n1ShiyxrxvDDPr35GJrBNHnDkLH7fbZ88UFQ0gQzzcpH7ZJOFr4BOO7zWlP2tN?= =?us-ascii?q?HAEhA5NBW0z//7B9V5y4MRQnmCArSZMaPXqV+H/PgjI+iKZI8PuTbyMeIp5/D0?= =?us-ascii?q?jSxxpVhIZqytmJ8Wc2yQFe8gKECEJ3fgn5NJGm4Puk86Tff2oFyESz9aIXioG+?= =?us-ascii?q?o34Sh+A4a7B6/CQJqsifqPxnSVBJpTM1xPEFWLWUr1bJmNX+pEPD6bOMpmujcf?= =?us-ascii?q?E7mmQMks2Ef950fB17N7I7+MqWUjvpX52Y0rvryBpVQJ7TVxSv+l/SSIRmBwkH?= =?us-ascii?q?kPQmZvjqtk5016wRGO3Pog2qAKJZlo//pMFzwCG9vE1eUjUoL5QUTAedzPRVv0?= =?us-ascii?q?Goz7UwF0dco4xpo1W2g4G9imiUmfjTGvH6dO0b2MD9o5//CE0g=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0BbAgAxGNBa/7z7KMFcDoM2gRBvKINki?= =?us-ascii?q?GCNV4FhjiCERIF7LoFXhUUGBjAYAQIBAQEBAQEBAQFrHAyCNQyDBQZFPggCBSE?= =?us-ascii?q?CEToVhSMLpwKCHIRXg22CL4EJiQeBD4RMgVAEGIEfgyeCVAKMYoNjhxgIhVeIV?= =?us-ascii?q?2dXg1qHOYkliBQcOIE8DggzGggwgiJbCYIXDAuIWYRxEz08MI0IgkUBAQ?= X-IPAS-Result: =?us-ascii?q?A0BbAgAxGNBa/7z7KMFcDoM2gRBvKINkiGCNV4FhjiCERIF?= =?us-ascii?q?7LoFXhUUGBjAYAQIBAQEBAQEBAQFrHAyCNQyDBQZFPggCBSECEToVhSMLpwKCH?= =?us-ascii?q?IRXg22CL4EJiQeBD4RMgVAEGIEfgyeCVAKMYoNjhxgIhVeIV2dXg1qHOYkliBQ?= =?us-ascii?q?cOIE8DggzGggwgiJbCYIXDAuIWYRxEz08MI0IgkUBAQ?= X-IronPort-AV: E=Sophos;i="5.48,444,1517871600"; d="scan'208";a="261891067" Received: from smtp3-out.ioc.ee (HELO smtp3.ioc.ee) ([193.40.251.188]) by mail3-smtp-sop.national.inria.fr with ESMTP; 13 Apr 2018 04:44:39 +0200 Received: from cs.ioc.ee (ioc-gw.kybi [172.17.0.254]) by smtp3.ioc.ee (Postfix) with ESMTPSA id BCB4360036; Fri, 13 Apr 2018 05:44:37 +0300 (EEST) Date: Fri, 13 Apr 2018 05:44:36 +0300 From: Tarmo Uustalu To: sml-list@cs.cmu.edu, caml-list@inria.fr, coq-club@inria.fr Message-ID: <20180413054436.208e2d10@cs.ioc.ee> X-Mailer: Claws Mail 3.8.0 (GTK+ 2.24.10; x86_64-pc-linux-gnu) Mime-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable X-Validation-by: tarmo@cs.ioc.ee Subject: [Caml-list] ICTAC 2018 2nd call for papers Reply-To: Tarmo Uustalu X-Loop: caml-list@inria.fr X-Sequence: 16805 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: CALL FOR PAPERS 15th International Colloquium on Theoretical Aspects of Computing ICTAC 2018 Stellenbosch, South Africa, 16-19 October 2018 https://www.ictac.org.za/ COLOCATED EVENTS * ICTAC tutorials, 12-14 October 2018 * ICTAC workshop(s), 15 October 2018 * 14th African Conference on Research in Computer Science and Applied Mathematics / 14eme Colloque Africain sur la Recherche en Informatique et en Math=C3=A9matiques Appliqu=C3=A9es, CARI 2018, 14-16 October 2018 IMPORTANT DATES * Abstracts 4 May 2018 * Papers 11 May 2018 * Notification 6 July 2018 * Camera-ready 3 August 2018 BACKGROUND Established in 2004 by the International Institute for Software Technology of the United Nations University (UNU-IIST), the ICTAC conference series aims at bringing together researchers and practitioners from academia, industry and government to present research and exchange ideas and experience addressing challenges in both theoretical aspects of computing and the exploitation of theory through methods and tools for system development. ICTAC also aims to promote research cooperation between developing and industrial countries. SCOPE The topics of the conference include, but are not limited to: * Languages and automata * Semantics of programming languages * Logic in computer science * Lambda calculus, type theory and category theory * Domain-specific languages * Theories of concurrency and mobility * Theories of distributed, grid and cloud computing * Models of objects and components * Coordination models * Models of software architectures * Timed, hybrid, embedded and cyber-physical systems * Static analysis * Software verification * Software testing * Program generation and transformation * Model checking and automated theorem proving * Interactive theorem proving * Verified software, formalized programming theory SUBMISSION OF CONTRIBUTIONS We solicit full-length research papers reporting original research contributions. Submissions must adhere to the LNCS format and must not exceed 18 pages (excluding bibliography of maximum 2 pages). Submissions must not have been published or be under consideration for publication elsewhere. All submissions will be judged on the basis of originality, contribution to the field, technical and presentation quality, and relevance to the conference. Submission is through Easychair: https://easychair.org/conferences/?conf=3Dictac2018 One author of each accepted paper must attend the conference to present it, having paid the regular registration fee. PROCEEDINGS The proceedings will be published by Springer in the Lecture Notes in Computer Science series. BEST PAPER AWARD Springer is sponsoring a best paper award. SPECIAL ISSUE After the conference, authors of the best contributions are invited to submit a revised and extended version to a special issue, to be published in Elsevier's Theoretical Computer Science. GENERAL CHAIR Bernd Fischer (Stellenbosch University, ZA) PROGRAMME CHAIRS Bernd Fischer (Stellenbosch University, ZA) Tarmo Uustalu (Reykjavik University, IS) PROGRAM COMMITTEE June Andronick (Data61, AU) =C3=89ric Badouel (IRISA, FR) Eduardo Bonelli (Universidad Nacional de Quilmes, AR) Ana Cavalcanti (University of York, UK) Uli Fahrenberg (LIX, FR) Anna Lisa Ferrara (University of Southampton, UK) Adrian Francalanza (University of Malta, MT) Edward Hermann Haeusler (Pontificia Universidade Cat=C3=B3lica do Rio de Janeiro, BR) Ross Horne (Nanyang Technological University, SG) Dang Van Hung (VNU University of Engineering and Technology, VN) Atsushi Igarashi (Kyoto University, JP) Jan Kretinsky (Technische Universit=C3=A4t M=C3=BCnchen, DE) Martin Leucker (Universitaet zu L=C3=BCbeck, DE) Zhiming Liu (Southwest University, CN) Radu Mardare (Aalborg Universitet, DK) Tobias Nipkow (Technische Universit=C3=A4t M=C3=BCnchen, DE) Maciej Pir=C3=B3g (Wroclaw University, PL) Sanjiva Prasad (IIT Delhi, IN) Camilo Rueda (Pontificia Universidad Javeriana Cali, CO) Murali Krishna Ramanathan (Uber, US) Augusto Sampaio (Universidade Federal de Pernambuco, BR) Ina Schaefer (Technische Universit=C3=A4t Braunschweig, DE) Natarajan Shankar (SRI International, US) Georg Struth (University of Sheffield, UK) Cong Tian (Xidian University, CN) Lynette van Zijl (Stellenbosch University, ZA) ICTAC STEERING COMMITTEE Ana Cavalcanti (University of York, UK) Martin Leucker (Universit=C3=A4t zu L=C3=BCbeck, DE) Zhiming Liu (Southwest University, CN) Tobias Nipkow (Technische Universit=C3=A4t M=C3=A4nchen, DE) Augusto Sampaio (Universidade Federal de Pernambuco, BR) Natarajan Shankar (SRI International, US) HOST INSTITUTION AND CITY The conference will be hosted by the Division of Computer Science of Stellenbosch University. The city of Stellenbosch, founded 1685, is the second oldest European settlement in South Africa after Cape Town. It is situated about 50 km to the east of Cape Town. It is the place to admire Cape Dutch architecture and the heart of the Cape Winelands, South Africa's prime wine region. Stellenbosch University is one of the leading universities in Africa. FURTHER INFORMATION Please contact Bernd Fischer, bfischer(at)cs.sun.ac.za. --=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=