[ATHENA] appel à participation Computability in Europe 2016, Paris

["ldemol" (liesbeth.demol AT univ-lille3.fr via athena Mailing List) <athena AT services.cnrs.fr>]

Cher.es collègues,

ci-dessous, l'appel à participation pour CiE 2016 (Computability in 
Europe), organisée cette année à Paris de Juin 27 à Juillet 1, 2016.


cordialement,
Liesbeth De Mol


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