27 Jun - 1 Jul 2016
Paris, France
----------------------------------------------------------------------------
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
--
[LOGIC] mailing list
http://www.dvmlg.de/mailingliste.html
Archive: http://www.illc.uva.nl/LogicList/
provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam