30 Jul - 3 Aug 2018
Kiel, Germany
Call for participation and informal presentations ==================================================== 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 ==================================================== REGISTRATION IS NOW OPEN: http://cie2018.uni-kiel.de/#registration Early registration till May 30, 2018 INFORMAL PRESENTATION DEADLINE EXTENDED: Important dates ??? Submission deadline: May 10, 2018 (extended) ??? Notification of acceptance: few days after the submission There is a remarkable difference in conference style between computer science and mathematics conferences. 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. The format of computer science conferences with pre-conference proceedings is not able to accommodate this form of scientific communication. Continuing the tradition of past CiE conferences, also this year???s CiE conference endeavours to get the best of both worlds. In addition to the formal presentations based on our LNCS proceedings volume, we invite researchers (both in Computer Science and Mathematics) to present informal presentations. For this, please send us a brief description of your talk (one page) by the submission deadline May 10, 2018. Important note: Results presented as informal presentations at CiE 2018 are expected to appear or to have appeared in other conferences with formal proceedings and/or in journals. Also papers that have just been submitted to other formally peer reviewed conferences are eligible for being presented as informal presentations at CiE 2018. Please submit your abstract electronically, via EasyChair at: https://easychair.org/conferences/?conf=cie2018 selecting the category ???Informal Presentation???. You will be notified whether your talk has been accepted for informal presentation soon after your submission. -- [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