Tarmo Uustalu
2018-08-28 17:27:14 UTC
* 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
***@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.
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
***@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.