CiE: Conference on Computability in Europe

FacebookTwitterLinkedInGoogle

 

Past:   Proceedings on DBLP

Future:  Post a CFP for 2020 or later   |   Invite the Organizers Email

 
 

All CFPs on WikiCFP

Event When Where Deadline
CiE 2019 Computability in Europe
Jul 15, 2019 - Jul 19, 2019 Durham, UK Jan 21, 2019
CiE 2016 Computability in Europe
Jun 27, 2016 - Jul 1, 2016 Paris, France Dec 15, 2015
CiE 2014 Language, Life, Limits
Jun 23, 2014 - Jun 27, 2014 Budapest, Hungary Jan 10, 2014
CiE 2013 Computability in Europe 2013
Jul 1, 2013 - Jul 5, 2013 University of Milano-Bicocca Jan 20, 2013
CiE 2012 Computability in Europe 2012: How the World Computes
Jun 18, 2012 - Jun 23, 2012 Cambridge, UK Jan 20, 2012
 
 

Present CFP : 2019

============================
CiE 2019 FINAL CALL FOR PAPERS:
============================
CiE 2019: Computing with Foresight and Industry
Durham, United Kingdom
July 15 - July 19, 2019
https://community.dur.ac.uk/cie.2019/
http://www.computability.org.uk

IMPORTANT DATES:
============================
Deadline for abstract registration and article submission: 21 January 2019 AOE
Notification of acceptance: 18 March 2019
Final versions due: 4 April 2019

Deadline for informal presentations submission: 1 May 2019
(The notifications of acceptance for informal presentations will be sent a few days after submission.)

Early registration before: 15 May 2019

CiE 2019 is the 15th 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), Ponta Delgada (2010), Sofia (2011), Cambridge (2012), Milan (2013), Budapest (2014), Bucharest (2015), Paris (2016), Turku (2017) and Kiel (2018).

TUTORIAL SPEAKERS:
==================
- Markus Holzer (JLU Giessen)
- Assia Mahboubi (University of Nantes)

INVITED SPEAKERS:
=================
- Felipe Cucker (City University of Hong Kong)
- Ursula Martin (University of Oxford)
- Alexander Schönhuth (CWI, Amsterdam)
- Sonja Smets (University of Amsterdam)
- Linda Brown Westrick (Penn State)

HOSTED BY:
=============
Algorithms and Complexity in Durham (ACiD), a research group in the Department of Computer Science, Durham University

For questions please contact the organisers at the e-mail address cie.2019@durham.ac.uk.

SPECIAL SESSIONS:
=================
Computational Neuroscience, organised by Noura Al Moubayed (Durham University) and Jason Connolly (Durham University)

- Ulrik Beierholm (Durham University)
- Evelyne Sernagor (Newcastle University)

History and Philosophy of Computing, organised by the Council of the HaPoC Commission

- Tony Hoare (University of Oxford, via Skype)
- Michael Jackson (Open University)
- Ray Turner (University of Essex)

Lowness Notions in Computability, organised by Johanna Franklin (Hofstra University) and Joseph S. Miller (University of Wisconsin-Madison)

- Kenshi Miyabe (Meiji University)
- Benoit Monin (LACL, Créteil University)
- Keng Meng Ng (Nanyang Technological University)
- Don Stull (LORIA)

Probabilistic Programming and Higher-Order Computation, organised by Christine Tasson (Paris Diderot University)

- Thomas Ehrhard (IRIF, Paris Diderot University)
- Cameron Freer (MIT)
- Joost-Pieter Katoen (RWTH Aachen)
- Sam Staton (University of Oxford)

Smoothed and Probabilistic Analysis of Algorithms, organised by Bodo Manthey (University of Twente)

- Sophie Huiberts (CWI, Amsterdam)
- Stefan Klootwijk (University of Twente)
- Clemens Rösner (University of Bonn)
- Sebastian Wild (University of Waterloo)

Transfinite Computations, organised by Sabrina Ouazzani (Paris-Est Créteil University)

- Lorenzo Galeotti (University of Hamburg)
- Benjamin Rin (Utrecht University)
- Philip Welch (University of Bristol)

CONTRIBUTED PAPERS:
===================

Contributed papers will be selected from submissions received by the PROGRAMME COMMITTEE consisting of:

Erika Abraham (RWTH Aachen)
Merlin Carl (University of Konstanz)
Erzsébet Csuhaj-Varjú (Eötvös Loránd University)
Walter Dean (University of Warwick)
Henning Fernau (University of Trier)
Gianluca Della Vedova (University of Milano-Bicocca)
Liesbeth De Mol (University of Lille)
Valeria de Paiva (Nuance Communications)
Alessandra Di Pierro (University of Verona)
Johanna Franklin (Hofstra University)
Pawel Gawrychowski (University of Wrocław)
Pinar Heggernes (University of Bergen)
Mathieu Hoyrup (LORIA)
Peter Jonsson (Linköping University)
Dietrich Kuske (TU Ilmenau)
Stephane Le Roux (TU Darmstadt)
Benedikt Löwe (University of Amsterdam)
Florin Manea (Christian-Albrechts-University)
Barnaby Martin (Durham University)
Elvira Mayordomo (University of Zaragoza)
Klaus Meer (BTU Cottbus-Senftenberg)
Dirk Nowotka (Christian-Albrechts-University)
Arno Pauly (Swansea University)
Daniel Paulusma (Durham University, co-chair)
Daniela Petrisan (Paris Diderot University)
Giuseppe Primiero (University of Milan, co-chair)
Christine Tasson (Paris Diderot University)
Hélène Touzet (University of Lille)
Peter Van Emde Boas (University of Amsterdam)
Georg Zetzsche (Paris Diderot University)

The CiE conferences serve as an interdisciplinary forum for research in all aspects of computability, foundations of computer science, logic, and theoretical computer science, as well as the interplay of these areas with practical issues in computer science and with other disciplines such as biology, mathematics, philosophy, or physics.

THE PROGRAMME COMMITTEE cordially invites all researchers (European and non-European) to submit their papers in all areas related to the above for presentation at the conference and inclusion in the proceedings of CiE 2019 at https://easychair.org/conferences/?conf=cie2019 .

Papers must be submitted in PDF format, using the LNCS style (available at https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines) and must have a maximum of 12 pages, including references but excluding a possible appendix in which one can include proofs and other additional material. Papers building bridges between different parts of the research community are particularly welcome.

The CONFERENCE PROCEEDINGS will be published by LNCS, Springer Verlag.
 

Related Resources

ICDMML 2019   【ACM ICPS EI SCOPUS】2019 International Conference on Data Mining and Machine Learning
STACS 2019   36th International Symposium on Theoretical Aspects of Computer Science
SSCI 2019   The 2019 IEEE Symposium Series on Computational Intelligence
Reshaping the Nation 2019   Reshaping the Nation: Collective Identities and Post-War Violence in Europe 1944–48
GreeNet Symposium - SGNC 2019   10th Symposium on Green Networking and Computing (SGNC 2019)
ALC 2019   The Sixteenth Asian Logic Conference
ETRIJ Cyber Security & AI 2019   ETRI Journal Special issue on Cyber Security and AI
DATE 2019   Design, Automation, and Test in Europe
DMDB 2019   6th International Conference on Data Mining and Database
EIS 2019   Europe IT Summit 2019: AI, VR and AR challenges and opportunities