Tuesday, June 7, 2016

[DMANET] CiE 2016: Call for Participation - Paris, 27/6-1/7/2016

----------------------------------------------------------------------------
CiE 2016: Call for Participation and Registration
----------------------------------------------------------------------------

COMPUTABILITY IN EUROPE 2016: Pursuit of the Universal
Paris, France
June 27 - July 1st, 2016
http://lipn.univ-paris13.fr/CIE2016/


Details on the registration:
http://lipn.univ-paris13.fr/CIE2016/registration.php
Details on accommodation possibilities:
http://lipn.univ-paris13.fr/CIE2016/practical.php


CiE 2016's Motto is: "Pursuit of the Universal". This year's
conference will open with a special tribute session that CiE
society is dedicating to the former CiE president, Barry Cooper
who unexpectedly passed away on October 26th 2015. Barry was
originally scheduled as a plenary speaker at this year's
conference.

The year 2016 brings the eightieth anniversary of the publication
of Alan Turing's seminal paper featuring the Universal Turing
Machine. Just as the semantics of the machine gave rise to
Incomputability, and pointed to future directions in proof
theory, AI, generalized computability, the underlying role of
typed information and natural language, and the computability and
definability underpinning bioinformatics: so our conference
subtitle honors Turing's role in anticipating the quest for
universal computational frameworks across a wide spectrum of
scientific and humanist disciplines.

CiE 2016 is the twelfth 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),
Ponte Delgada (2010), Sofia (2011), Cambridge (2012), Milan
(2013), Budapest (2014) and Bucharest (2015).


PROGRAM:

The papers accepted for CiE 2016 can be seen here:
http://lipn.univ-paris13.fr/CIE2016/contributed.php
The programme of the conference can be found here
http://lipn.univ-paris13.fr/CIE2016/program.php

The CONFERENCE PROCEEDINGS will be published by LNCS, Springer
Verlag, and there will be a best student paper award presented to
the best paper written solely by students, sponsored by Springer.


TUTORIAL SPEAKERS:

Bernard Chazelle (Princeton University)
Mikolaj Bojanczyk (University of Warsaw)


INVITED SPEAKERS:

Janet Abbate (Virginia Tech)
Natasha Alechina (University of Nottingham)
Vasco Brattka (Universität der Bundeswehr München)
Steffen Lempp (University of Wisconsin)
André Nies (University of Auckland)
Sarah Rees (University of Newcastle)
Reed Solomon (University of Connecticut)


SPECIAL SESSIONS on:

Computable and constructive analysis
(organizers: Daniel Graça, Elvira Mayordomo)
Computation in bio-chemical systems
(organizers: Alessandra Carbone, Ion Petre)
Cryptography and information theory
(organizers: Danilo Gligoroski, Carles Padro)
History and philosophy of computing
(organizers: Liesbeth de Mol, Giuseppe Primiero)
Symbolic dynamics
(organizers: Jarkko Kari, Reem Yassawi)
Weak arithmetics
(organizers: Lev Beklemishev, Stanislav Speranski)

INFORMAL PRESENTATIONS:

While computer science conferences usually host formal
presentations based on papers published in a proceedings volume,
mathematics conferences allow for informal presentations that are
prepared very shortly before the conference and inform the
participants about current research and work in progress. So,
continuing the tradition of past CiE conferences, CiE 2016 hosts
a series of informal presentations, in addition to the
presentations based on the papers in the LNCS proceedings volume.
The list of informal presentations can be found here:
http://lipn.univ-paris13.fr/CIE2016/contributed.php


___________________________________

CiE 2016 http://lipn.univ-paris13.fr/CIE2016/

ASSOCIATION COMPUTABILITY IN EUROPE
http://www.computability.org.uk
CiE Conference Series
http://www.illc.uva.nl/CiE
CiE Membership Application Form
http://www.lix.polytechnique.fr/CIE
Computability (Journal of CiE)
http://www.computability.de/journal/
CiE on FaceBook
https://www.facebook.com/AssnCiE
Association CiE on Twitter
https://twitter.com/AssociationCiE


**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************