caml-list - the Caml user's mailing list
 help / Atom feed
From: acie@acie.eu
To: acie@acie.eu
Subject: [Caml-list] COMPUTABILITY IN EUROPE 2020 CALL FOR PARTICIPATION -- EXTENDED DEADLINE
Date: Tue, 16 Jun 2020 18:50:50 +0200
Message-ID: <073295a67c1567ca56f267f5addd455a@acie.eu> (raw)

[-- Attachment #1: Type: text/plain, Size: 2966 bytes --]

COMPUTABILITY IN EUROPE 2020 CALL FOR PARTICIPATION -- EXTENDED DEADLINE

CiE 2020: 
Virtually in Salerno, Italy 
Due to the Covid-19 outbreak, this edition will be an online conference.

June 29 - July 3, 2020  
https://www.acie.eu/cie-conference-series/cie2020 
https://www.acie.eu  

IMPORTANT DATES: 

21 JUNE: REGISTRATION DEADLINE (extended)

Registration (https://www.acie.eu/cie-conference-series/cie2020) is now
open and free of charge. Registration is mandatory to attend the talks. 

S. BARRY COOPER PRIZE 

During the conference, we will have the ceremony for awarding the
inaugural edition of the S. Barry Cooper Prize [1] to Bruno Courcelle
[2] who will give a lecture on Thursday July 2nd at 16:30. Registration
to the conference is mandatory to attend the ceremony. 

CiE 2020 is the 16th conference organized by CiE (Computability in
Europe), a European association of mathematicians, logicians, computer
scientists, philosophers, physicists and others interested in new
developments in computability and their underlying significance for the
real world.  

Previous meetings have taken place in Amsterdam (2005), Swansea (2006),
Siena (2007), Athens (2008), Heidelberg (2009), Ponta Delgada (2010),
Sofia (2011), Cambridge (2012), Milan (2013), Budapest (2014), Bucharest
(2015), Paris (2016), Turku (2017), Kiel (2018), and Durham (2019). 

TUTORIALS 

_Fine-Grained Complexity_ - Virginia Vassilevska Williams (MIT)  
_Computable Analysis_ - Martin Ziegler (Korea Advanced Institute of
Science and Technology)  

INVITED TALKS:  

_Centralities in Network Analysis_ -- Paolo Boldi (University of Milan) 
_A game-theoretic approach for the automated synthesis of complex
systems _-- Véronique Bruyère (University of Mons) 
On-the-fly classification of structures -- Ekatarina Fokina (Vienna
University of Technology) 
_A Survey on Analog Models of Computation_ -- Amaury Pouly (CNRS Paris) 
_On the Repetitive Structure of Words_ -- Antonio Restivo (University of
Palermo) 
_Molecular algorithms using reprogrammable DNA self-assembly_ -- Damien
Woods (Maynooth University) 

HOSTED BY: 

Department of Computer Science, University of Salerno 
Due to the Covid-19 outbreak, this edition will be an online conference.

SPECIAL SESSIONS: 

Algorithmic Learning Theory 
Combinatorial String Matching 
Computable Topology 
HAPOC session on Fairness in Algorithms 
Large scale Bioinformatics and Computational Sciences 
Modern aspects of Formal Languages 

The CiE conferences serve as an interdisciplinary forum for research in
all aspects of computability, foundations of computer science, logic,
and theoretical computer science, as well as the interplay of these
areas with practical issues in computer science and with other
disciplines such as biology, mathematics, philosophy, or physics. 

Links:
------
[1]
https://www.acie.eu/2020/06/03/2020-s-barry-cooper-prize-awarded-to-bruno-courcelle/
[2] https://en.wikipedia.org/wiki/Bruno_Courcelle

[-- Attachment #2: Type: text/html, Size: 3908 bytes --]

                 reply index

Thread overview: [no followups] expand[flat|nested]  mbox.gz  Atom feed

Reply instructions:

You may reply publically to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=073295a67c1567ca56f267f5addd455a@acie.eu \
    --to=acie@acie.eu \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link

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