[TYPES/announce] 2nd EATCS Young Research School on Complexity, Concurrency and Topology of Data

[Emanuela Merelli]

(Apologies for multiple copies)

************************************************

       2nd EATCS YOUNG RESEARCH SCHOOL & TOPDRIM SCHOOL

Understanding COMPLEXITY and CONCURRENCY through TOPOLOGY of DATA

                           CAMERINO, ITALY

                           July 13 – 22, 2015

                  http://camerino2015.topdrim.eu
​  ​


*************************************************

The European Association for Theoretical Computer Science (EATCS)
established a series of Young Researcher Schools on TCS topics. This year
we propose a trans-disciplinary school, joined with the TOPDRIM EU project
school (www.topdrim.eu), dedicated to understanding COMPLEXITY and
CONCURRENCY through TOPOLOGY of DATA. The motivation comes from the need of
modern society to tame the huge amount of available data, Big Data, by
constructing suitable methods that allow to extract, as much as possible,
features from data and to give them semantics, to become information.
Currently, topology and formal methods are the two main theoretical
research areas involved in pursuing such a goal.

The school offers two main streams of topics: (i) methods from topology and
their application in data analysis, and (ii) methods from semantics and
models of computation, and their applications in computer science. The aim
is training a future generation of trans-disciplinary researchers. The
topics of the lectures are of interest for PhD students and young
researchers with a background in one of the two main areas. Researchers in
complexity science can be also interested.

*Program*

The programme consists of five Basic Tutorials (T1-T5, 4 hours each)
devoted to fundamental topics, six Lectures on topology-based methods for
complex systems (L1-L6, 3 hours each) and six Advanced Lectures on related
topics (A1-A6). Note that some advanced lectures require, as prerequisites,
concepts introduced during the basic and TOPDRIM lectures: A1(L1,T1),
A2(T1,T2,T3,T4), A3(T2,T3), A4(T2,T3), A5(T2,L4,T1,T3)), A6(L1,T1,L2).


*Basic Tutorials*

T1 Algebraic & Computational Topology
      Frédéric Chazal

T2 Models of Computation & Coinduction for Automata
      Luca Tesei, Alexandra Silva

  T3 Concurrency & Behavioural Equivalences
     Rocco De Nicola, Rob Van Glabbeek

T4 Categorical Underpinnings of Computation
      Samson Abramsky

T5 Complexity Science
       Yamir Moreno


*TOPDRIM Methods and Applications*

L1 Topological Data Analysis
     Francesco Vaccarino

L2 Information Geometry & Topology of Complex Networks
   Stefano Mancini, Marco Pettini

L3 Topological Information Processing during Critical Transitions
     Peter Sloot, Rick Quax

L4 Topology-driven Modelling of Complex Systems
     Emanuela Merelli

L5 Beyond Simplicial Complexes: Hypernetworks
     Jeffrey Johnson

L6 Application of Combinatorial Topology for Shaping RNA
      Christian Reidys


*Advanced Lectures*

A1 Advanced Applied Topology
      Frédéric Chazal, INRIA, F

A2 Contextuality and Cohomology
     Samson Abramsky, Oxford University, UK

A3 Behavioural Types
     Mariangiola Dezani (EATCS fellow 2015), University of Camerino, IT

A4 Higher-order Coinductive Semantics
     David Sangiorgi, University of Bologna, IT

A5 Higher Dimensional Automata and Chu Spaces
     Rob Van Glabbeek, NICTA, AU

A6 Quantum Algorithms for Topological and Geometrical Analysis of Big Data
     Seth Lloyd, MIT Boston


*Registration Procedures*

The number of places is limited to sixty. The registration fee is 300 euros
and includes the school material. The accommodation fee is 500 euros and
covers the period July 13-22 (10 nights), double room (to share with
another participant) half board (breakfast and lunch). The reduced
accommodation fee for the participants who do not need a room is 100 euros
and covers the period July 13-22 (10 lunches).

A certain number of grants for the Summer School are available for PhD
students.
​ ​


*Important dates*

Early Registration: April 10 April, 2015
Notification Acceptance: 20 April 2015
Registration: 15 May 2015

*Programme Committee*

Samson Abramsky, Oxford University, UK
Luca Aceto, Reykjavik University, IS
Flavio Corradini, University of Camerino, IT
Jeffrey Johnson, Open University, UK
Stefano Mancini, University of Camerino, IT
Emanuela Merelli, University of Camerino, IT (Co-Chair)
Marco Pettini, Université d’Aix Marseille, F
Mario Rasetti, ISI foundation, Turin, IT
Christian Reidys, Virgina Tech, USA
Alexandra Silva, Radboud University Nijmegen, NL
Peter Sloot, University of Amsterdam, NL
Francesco Vaccarino, ISI Foundation - Politecnico di Torino, IT (Co-Chair)

*Sponsor*

The school has the sponsorship of:
- TOPDRIM, a European FET Project on “Topology driven methods for Complex
Systems” http://ww.toprim.eu
- Complex Systems Society http://cssociety.org
- European Association for Theoretical Computer Science http://www.eatcs.org

Email: topdrim.school at unicam.it
Web: http://camerino2015.topdrim.eu
Phone: +39 3383990412
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20150303/f7ffbe77/attachment.html>