30 Jul - 3 Aug 2018
Kiel, Germany
========================= CALL FOR PARTICIPATION: ========================= CiE 2018: Sailing Routes in the World of Computation Kiel, Germany July 30 - August 3, 2018 http://cie2018.uni-kiel.de http://www.computability.org.uk IMPORTANT DATES: ================ *** Early registration before: May 30, 2018 *** (Please see information about grants below) CiE 2018 is the fourteenth 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), and Turku (2017). TUTORIAL SPEAKERS: ================== Pinar Heggernes (Bergen, Norway) Bakhadyr Khoussainov (Auckland, NZ) INVITED SPEAKERS: ================= Kousha Etessami (Edinburgh, UK) Johanna Franklin (Hempstead, US) Mai Gehrke (Paris, France) Alberto Marcone (Udine, Italy) Alexandra Silva (London, UK) Jeffrey O. Shallit (Waterloo, Canada) SPECIAL SESSIONS: ================= Approximation and Optimisation, Bioinformatics and Bio-inspired Computing, Computing with Imperfect Information, Continuous Computation, History and Philosophy of Computing, SAT-Solving. The speakers and organisers of the special sessions are listed on the website of the conference: http://cie2018.uni-kiel.de/#sessions CONTRIBUTED PAPERS: =================== The list of papers accepted to be published in the Springer LNCS proceedings: http://cie2018.uni-kiel.de/accepted-papers/ Continuing the tradition of past CiE conferences, in addition to the formal presentations based on the LNCS proceedings volume, CiE 2018 will host a track of informal presentations, that are prepared shortly before the conference and inform the participants about current research and work in progress. The list of informal presentations will be soon available on the website. WOMEN IN COMPUTABILITY: ======================= We are very happy to announce that within the framework of the Women in Computability programme, sponsored by ACM-Women, we are able to offer four grants of up to 250 EUR for junior female researchers who want to participate in CiE 2018. Applications for this grant should be sent to Liesbeth De Mol, liesbeth.demol@univ-lille3.fr, before 15 May 2018 and include a short cv (at most 2 pages) and contact information for an academic reference. Preference will be given to junior female researchers who are presenting a paper (including informal presentations) at CiE 2018. HaPoC Grants | Commission for the History and Philosophy of Computing ===================================================================== The HaPoc Council is happy to announce the availability of two HAPOC travel grants of 250USD each to support participation to the conference. To be eligible for a grant, a paper or informal presentation in the area of history and/or philosophy of computing accepted at CiE 2018 is required. In order to apply for a grant, please send the following details to info@hapoc.org: cv, the paper or informal presentation submitted, accompanied by the acceptance email, a detailed budget indicating any other funding possibilities (if available). ASL Travel Grants | Association for Symbolic Logic =========================================== Students, who are members of the Association for Symbolic Logic (https://www.aslonline.org/index.htm), may apply for (limited) ASL travel funds that we are making available for sponsored meetings. See http://www.aslonline.org/studenttravelawards.html. ORGANIZED BY: ============= Department of Computer Science, Kiel University For questions please contact the organisers at the email address cie2018@email.uni-kiel.de =============== Association CiE: http://www.computability.org.uk CiE Conference Series: http://www.computability.org.uk/index.php/cie-conference-series/ -- [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