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

CiE Conference Series cie.conference.series at gmail.com
Tue Jun 7 23:43:58 CEST 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





More information about the Proof-Complexity mailing list