From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/9694 Path: news.gmane.org!.POSTED!not-for-mail From: Tarmo Uustalu Newsgroups: gmane.science.mathematics.categories Subject: CARI/ICTAC Spring School and ICTAC 2018 conference, call for participation Date: Tue, 28 Aug 2018 17:16:23 +0000 Message-ID: Reply-To: Tarmo Uustalu NNTP-Posting-Host: blaine.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable X-Trace: blaine.gmane.org 1535500440 18868 195.159.176.226 (28 Aug 2018 23:54:00 GMT) X-Complaints-To: usenet@blaine.gmane.org NNTP-Posting-Date: Tue, 28 Aug 2018 23:54:00 +0000 (UTC) To: categories@mta.ca, tarmo@cs.ioc.ee Original-X-From: majordomo@mlist.mta.ca Wed Aug 29 01:53:56 2018 Return-path: Envelope-to: gsmc-categories@m.gmane.org Original-Received: from smtp2.mta.ca ([198.164.44.40]) by blaine.gmane.org with esmtp (Exim 4.84_2) (envelope-from ) id 1funo3-0004lO-Va for gsmc-categories@m.gmane.org; Wed, 29 Aug 2018 01:53:56 +0200 Original-Received: from mlist.mta.ca ([138.73.1.63]:44352) by smtp2.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1funpk-0007xc-Hq; Tue, 28 Aug 2018 20:55:40 -0300 Original-Received: from majordomo by mlist.mta.ca with local (Exim 4.71) (envelope-from ) id 1funp6-0005uS-QY for categories-list@mlist.mta.ca; Tue, 28 Aug 2018 20:55:00 -0300 Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:9694 Archived-At: * 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 * Early registration ends 12 September. CALL FOR PARTICIPATION CARI/ICTAC Spring School =20 and =20 15th International Colloquium on Theoretical Aspects of Computing ICTAC 2018 =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. [For admin and other information see: http://www.mta.ca/~cat-dist/ ]