The Coq mailing list

[CIE2017 <cie2017 AT abo.fi>]

Call for informal presentations

Computability in Europe 2017, June 12-16, Turku, Finland
http://math.utu.fi/cie2017/
Important dates
• Submission deadline: May 1, 2017
• Notification of acceptance: Within two weeks of 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 to present informal presentations. For this, please send us a brief description of your talk (one page) by the submission deadline May 1st.

Please submit your abstract electronically, via EasyChair <https://www.easychair.org/conferences/?conf=cie2017>, selecting the category “Informal Presentation”.

You will be notified whether your talk has been accepted for informal presentation within two weeks after your submission.
Jarkko Kari and Ion Petre (PC co-chairs of CiE 2017)

cie2017 AT utu.fi