caml-list - the Caml user's mailing list
 help / Atom feed
* [Caml-list] CARI/ICTAC Spring School and ICTAC 2018 conference, call for participation
@ 2018-08-28 17:28 Tarmo Uustalu
  0 siblings, 0 replies; 1+ messages in thread
From: Tarmo Uustalu @ 2018-08-28 17:28 UTC (permalink / raw)
  To: isabelle-users, caml-list, coq-club, agda

* 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.

-- 
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

^ permalink raw reply	[flat|nested] 1+ messages in thread

only message in thread, back to index

Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2018-08-28 17:28 [Caml-list] CARI/ICTAC Spring School and ICTAC 2018 conference, call for participation Tarmo Uustalu

caml-list - the Caml user's mailing list

Archives are clonable: git clone --mirror https://inbox.ocaml.org/caml-list

AGPL code for this site: git clone https://public-inbox.org/ public-inbox