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 ESMTP id 85EE85D4 for ; Tue, 28 Aug 2018 17:28:30 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.53,300,1531778400"; d="scan'208";a="343997273" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 28 Aug 2018 19:28:27 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id D523C824C9; Tue, 28 Aug 2018 19:28:27 +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 704C981792; Tue, 28 Aug 2018 19:27:16 +0200 (CEST) Authentication-Results: mail2-smtp-roc.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=3AuZhmlRUjwmSGTvY7VNRcIrTJCmfV8LGtZVwlr6E/?= =?us-ascii?q?grcLSJyIuqrYbByAt8tkgFKBZ4jH8fUM07OQ7/i/HzRYqb+681k6OKRWUBEEjc?= =?us-ascii?q?hE1ycBO+WiTXPBEfjxciYhF95DXlI2t1uyMExSBdqsLwaK+i764jEdAAjwOhRo?= =?us-ascii?q?LerpBIHSk9631+ev8JHPfglEnjWwba9wIRmssQndqtQdjJd/JKo21hbHuGZDdf?= =?us-ascii?q?5MxWNvK1KTnhL86dm18ZV+7SleuO8v+tBZX6nicKs2UbJXDDI9M2Ao/8LrrgXM?= =?us-ascii?q?TRGO5nQHTGoblAdDDhXf4xH7WpfxtTb6tvZ41SKHM8D6Uaw4VDK/5KhlUh/ojD?= =?us-ascii?q?oMOSA//m/Zl8d8iL9XrA6kqxF53oXaYpyaNOBmc63Tfd0UW3dPUMVeWCNdDY2x?= =?us-ascii?q?dJcPD/MbMOpEs4Xxu1kDoB2jDgesHuPvzTpIi2fo06IgyeQhFAbG1xEuENITq3?= =?us-ascii?q?TUsM/6NKMPUeuoy6TI0S/Mb+lT2Tf684XHbgshreuNXbJ3bcXd01cgGB3cg1iW?= =?us-ascii?q?tIfrMTSV1uEXvGia6eptTfmvi3Mhqw1ruDeg2t8gio7ThoIa0FzF9D92zYAoLt?= =?us-ascii?q?O7UE52ecOoHZ9eui2AOIZ6XtkuT39otSon0LEKpJ22cSsSxJg6yRPTd+aLf5aU?= =?us-ascii?q?7h/gTuqdPzh1iG5/dL6iiRu/91WrxPfmWcmuyllKqzJIktnSuXAJ0Bze8tOHSv?= =?us-ascii?q?5h/ke51zuDzQHT6uZYLkwui6XUNYYtwr82lpUNrUTOBjL6lUH4gaOMeUgo5vKk?= =?us-ascii?q?5/rnb7n7vJOQKox5hwLmPqQrgMO/AOA4MgYUX2ic/OSxzKHj8lfjQLVPif07ib?= =?us-ascii?q?XWsIvAKcQaoa62HxVZ3Zg95BqnFTepzMwYnWUbLFJCYB+Ik5LmO1TKIPzhCfe/?= =?us-ascii?q?gk+skCtwyvDdPrzhB43NIWLZnLfge7Z98U9cxxApwdBR/ZJeEqsBL+7rWk/tqN?= =?us-ascii?q?zYCQc0PBCzw+b+EdlyyoceWX+UDaKCK6PTsVqI5vo1LOWWZY8Vviz9K/k/6PL0?= =?us-ascii?q?g385gwxVQa783IAeYn28GvkjPl6Ue2HEidNHGm4P+AM1CvHpzBWJWDtXInKzRL?= =?us-ascii?q?4U5zchCYvgA52HDouqmfmK2DqxNpxQfGFPTF6WVT/heImNc/MNcz6JZMRhmzgB?= =?us-ascii?q?WKK6DZQshj+0swqv97N9K+2cxzADqZvnyZAh++TJkBYa/icyDsOWlWyAGTIn1l?= =?us-ascii?q?gUTiM7ifgs6Xd2zU2OhPEg2q0KJZlo//pMFzwCG9vZxu1+Bcr1X1uYLNySDleh?= =?us-ascii?q?SZOrDGNpF45j85o1e094Xu6aoFXbxSPzWu0ejPqKA5dy/6+OhyGsdfY48G7P0e?= =?us-ascii?q?wat3djQsZLMjT61LV66xCIQY/OmAOUmvTyeA=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0AoAgCNhYVbl7z7KMFaDoNDgRR/KINyi?= =?us-ascii?q?HCMdYF+gWOVJCqHYAYGMxUBAgEBAgEBAQEBEwEBAQEBCBYGTAyCNQyDGgZFPgg?= =?us-ascii?q?CBSECETcDFRKDIQGCAQSkGIEuhGuFd4ELiRyCABKBAIImPoFvhj6CVwKIFZMdC?= =?us-ascii?q?YIIhCuJMiJYZ4QzgyOFOJUkgXQzGggwGoMKCYIoAo1TEzpvjFcBAQ?= X-IPAS-Result: =?us-ascii?q?A0AoAgCNhYVbl7z7KMFaDoNDgRR/KINyiHCMdYF+gWOVJCq?= =?us-ascii?q?HYAYGMxUBAgEBAgEBAQEBEwEBAQEBCBYGTAyCNQyDGgZFPggCBSECETcDFRKDI?= =?us-ascii?q?QGCAQSkGIEuhGuFd4ELiRyCABKBAIImPoFvhj6CVwKIFZMdCYIIhCuJMiJYZ4Q?= =?us-ascii?q?zgyOFOJUkgXQzGggwGoMKCYIoAo1TEzpvjFcBAQ?= X-IronPort-AV: E=Sophos;i="5.53,300,1531778400"; d="scan'208";a="343997169" Received: from smtp3-out.ioc.ee (HELO smtp3.ioc.ee) ([193.40.251.188]) by mail2-smtp-roc.national.inria.fr with ESMTP; 28 Aug 2018 19:27:15 +0200 Received: from cs.ioc.ee (clients-pool-6.nat.ru.is [130.208.240.13]) by smtp3.ioc.ee (Postfix) with ESMTPSA id CD7E84012D; Tue, 28 Aug 2018 20:27:14 +0300 (EEST) Date: Tue, 28 Aug 2018 17:27:14 +0000 From: Tarmo Uustalu To: isabelle-users@cl.cam.ac.uk, caml-list@inria.fr, coq-club@inria.fr, agda@lists.chalmers.se Message-ID: <20180828172714.2dea4835@cs.ioc.ee> 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] CARI/ICTAC Spring School and ICTAC 2018 conference, call for participation Reply-To: Tarmo Uustalu X-Loop: caml-list@inria.fr X-Sequence: 17039 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: * A TCS spring school and conference in Stellenbosch, South Africa, 12-19 October 2018. * 7 spring school tutorials and 4 invited talks by Yves Bertot, Vincent Cheval, Martin Leucker, Tommie Meyer, Gennaro Parlato, Ina Schaefer (with Loek Cleophas), Peter Thiemann, Willem Visser, 25 contributed papers. * A single, very affordable fee covers both the summer school and the conference and includes a full-day excursion to the Cape Peninsula. =20=20 * Early registration ends 12 September. CALL FOR PARTICIPATION CARI/ICTAC Spring School=20=20=20=20=20=20=20=20=20=20= =20 and=20=20=20=20 15th International Colloquium on Theoretical Aspects of Computing ICTAC 2018 =09=09=09=20=20=20 Stellenbosch, South Africa, 12-19 October 2018 https://www.ictac.org.za/ Established by UNU IIST in 2004, 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. ICTAC 2018 will take place in Stellenbosch, South Africa, colocated with the 14th African Conference on Research in Computer Science and Applied Mathematics, CARI 2018, 14-16 October 2018. SPRING SCHOOL TUTORIALS Yves Bertot (Inria Sophia Antipolis - Mediterran=C3=A9e, FR): Interactive Theorem Proving and Program Development Vincent Cheval (Inria Nancy - Grand Est, FR): Verification of Security Protocols: From Confidentiality to Privacy Martin Leucker (Universit=C3=A4t zu L=C3=BCbeck, DE): Runtime Verification: Some Basics and Some Latest Developments Tommie Meyer (University of Cape Town, ZA): An Introduction to Description Logics Ina Schaefer (Technische Universit=C3=A4t Braunschweig, DE) and Loek Cleophas (Technische Universiteit Eindhoven, NL): The Correctness-by-Construction Approach to Programming Peter Thiemann (Universit=C3=A4t Freiburg, DE): Derivation beyond Regular Languages Willem Visser (Stellenbosch University, ZA): Symbolic Execution for Java ICTAC INVITED TALKS Yves Bertot (Inria Sophia Antipolis - Mediterran=C3=A9e, FR): Formal Verification of a Geometry Algorithm: A Quest for Abstract Views and Symmetry in Coq Proofs Tommie Meyer (University of Cape Town, ZA):=20 What is Knowledge Representation and Reasoning? Gennaro Parlato (University of Southampton, UK): Finding Rare Concurrent Programming Bugs: An Automatic, Symbolic, Randomized, and Parallelizable Approach Peter Thiemann (Universit=C3=A4t Freiburg, DE): =46rom Logic to Automata by Derivation ICTAC CONTRIBUTED PAPERS 25 papers selected from 58 submissions INFORMAL WORKSHOP ON (CO)ALGEBRAIC LANGUAGE AND AUTOMATA THEORY In the afternoon of 15 October, we will have an informal workshop on (co)algebraic language and automata theory. To propose a talk, please send a title and abstract to ictac2018@easychair.org by 12 September.=20 REGISTRATION AND COST Registration and payment is via the conference website. The single ICTAC fee includes attendance at the school and the ICTAC conference, access to the LNCS proceedings volume, tea breaks and lunches during the school and the conference, a full-day excursion to the Cape Peninsula and a conference dinner. Early registration is by 12 September. Until this date, the full fee is ~390 EUR and the student fee is ~240 EUR. GENERAL CHAIR Bernd Fischer (Stellenbosch University, ZA) PROGRAMME CHAIRS Bernd Fischer (Stellenbosch University, ZA) Tarmo Uustalu (Reykjavik University, IS) 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=BCnchen, DE) Augusto Sampaio (Universidade Federal de Pernambuco, BR) Natarajan Shankar (SRI International, US) HOST INSTITUTION Stellenbosch University Computer Science Division SPONSORS Stellenbosch University Springer IFIP Inria AUF, CIRAD, IRD concerning the school CITY 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=