* 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. * Early registration ends 12 September. CALL FOR PARTICIPATION CARI/ICTAC Spring School and 15th International Colloquium on Theoretical Aspects of Computing ICTAC 2018 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ée, 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ät zu Lübeck, 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ät Braunschweig, DE) and Loek Cleophas (Technische Universiteit Eindhoven, NL): The Correctness-by-Construction Approach to Programming Peter Thiemann (Universität Freiburg, DE): Derivation beyond Regular Languages Willem Visser (Stellenbosch University, ZA): Symbolic Execution for Java ICTAC INVITED TALKS Yves Bertot (Inria Sophia Antipolis - Mediterranée, FR): Formal Verification of a Geometry Algorithm: A Quest for Abstract Views and Symmetry in Coq Proofs Tommie Meyer (University of Cape Town, ZA): 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ät Freiburg, DE):

...

From 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. 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ät zu Lübeck, DE) Zhiming Liu (Southwest University, CN) Tobias Nipkow (Technische Universität München, 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/ ]