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

  This message is in MIME format.  The first part should be readable text,
  while the remaining parts are likely unreadable without MIME-aware tools.

---228847484-1640188438-1465336011=:3053
Content-Type: text/plain; format=flowed; charset=UTF-8
Content-Transfer-Encoding: quoted-printable

-------------------------------------------------------------------------=
---
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=E2=80=99s=20
conference will open with a special tribute session that CiE=20
society is dedicating to the former CiE president, Barry Cooper=20
who unexpectedly passed away on October 26th 2015.  Barry was=20
originally scheduled as a plenary speaker at this year=E2=80=99s=20
conference.

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

CiE 2016 is the twelfth conference organized by CiE=20
(Computability in Europe), a European association of=20
mathematicians, logicians, computer scientists, philosophers,=20
physicists and others interested in new developments in=20
computability and their underlying significance for the real=20
world. Previous meetings have taken place in Amsterdam (2005),=20
Swansea (2006), Siena (2007), Athens (2008), Heidelberg (2009),=20
Ponte Delgada (2010), Sofia (2011), Cambridge (2012), Milan=20
(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=20
Verlag, and there will be a best student paper award presented to=20
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=C3=A4t der Bundeswehr M=C3=BCnchen)
Steffen Lempp (University of Wisconsin)
Andr=C3=A9 Nies (University of Auckland)
Sarah Rees (University of Newcastle)
Reed Solomon (University of Connecticut)


SPECIAL SESSIONS on:

Computable and constructive analysis
    (organizers: Daniel Gra=C3=A7a, 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=20
presentations based on papers published in a proceedings volume,=20
mathematics conferences allow for informal presentations that are=20
prepared very shortly before the conference and inform the=20
participants about current research and work in progress. So,=20
continuing the tradition of past CiE conferences, CiE 2016 hosts=20
a series of informal presentations, in addition to the=20
presentations based on the papers in the LNCS proceedings volume.=20
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




---228847484-1640188438-1465336011=:3053
Content-Type: text/plain; charset="us-ascii"
MIME-Version: 1.0
Content-Transfer-Encoding: 7bit
Content-Disposition: inline

_______________________________________________
Lprolog mailing list
[email protected]
https://wwws.cs.umn.edu/mm-cs/listinfo/lprolog
---228847484-1640188438-1465336011=:3053--