From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id 6D2B77FC86 for ; Wed, 18 Mar 2015 15:48:50 +0100 (CET) Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of pmt6sbc@maths.leeds.ac.uk) identity=pra; client-ip=129.11.36.1; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="pmt6sbc@maths.leeds.ac.uk"; x-sender="pmt6sbc@maths.leeds.ac.uk"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of pmt6sbc@maths.leeds.ac.uk) identity=mailfrom; client-ip=129.11.36.1; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="pmt6sbc@maths.leeds.ac.uk"; x-sender="pmt6sbc@maths.leeds.ac.uk"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@amsta.leeds.ac.uk) identity=helo; client-ip=129.11.36.1; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="pmt6sbc@maths.leeds.ac.uk"; x-sender="postmaster@amsta.leeds.ac.uk"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0AQAQD4jwlVnAEkC4Fcg1hati0Bj1UKgxWEM0wBAQEBAQERAQEBAQEIFAlChDNEB00NASZhiC8NoSSmIIRnDAEfkCEBghoMQYEzBYUGgQyNTk9RgyKCC4Ebgy+JOoJZg0eEET4xAYEDBxeBIQEBAQ X-IPAS-Result: A0AQAQD4jwlVnAEkC4Fcg1hati0Bj1UKgxWEM0wBAQEBAQERAQEBAQEIFAlChDNEB00NASZhiC8NoSSmIIRnDAEfkCEBghoMQYEzBYUGgQyNTk9RgyKCC4Ebgy+JOoJZg0eEET4xAYEDBxeBIQEBAQ X-IronPort-AV: E=Sophos;i="5.11,423,1422918000"; d="scan'208";a="103851297" Received: from amsta.leeds.ac.uk ([129.11.36.1]) by mail3-smtp-sop.national.inria.fr with ESMTP; 18 Mar 2015 15:48:49 +0100 Received: from maths.leeds.ac.uk (localhost [127.0.0.1]) by amsta.leeds.ac.uk (8.14.1/8.14.1) with ESMTP id t2IEmjfs000207 for ; Wed, 18 Mar 2015 14:48:48 GMT Received: (from pmt6sbc@localhost) by maths.leeds.ac.uk (8.14.1/8.13.4/Submit) id t2IEmE6J029192 for caml-list@inria.fr; Wed, 18 Mar 2015 14:48:14 GMT Date: Wed, 18 Mar 2015 14:48:14 GMT From: S B Cooper Message-Id: <201503181448.t2IEmE6J029192@maths.leeds.ac.uk> To: caml-list@inria.fr X-Validation-by: pmt6sbc@maths.leeds.ac.uk Subject: [Caml-list] Computability in Europe 2015: Call for Informal Presentations ------------------------------------------------------------------- COMPUTABILITY IN EUROPE 2015: Evolving Computability Bucharest, Romania June 29 - July 3 http://fmi.unibuc.ro/CiE2015/ ------------------------------------------------------------------- FUNDING DEADLINE APPROACHING - ASL STUDENT TRAVEL GRANTS: March 28, 2015 SUBMISSION DEADLINE FOR INFORMAL PRESENTATIONS: APRIL 24, 2015 ------------------------------------------------------------------- CALL FOR INFORMAL PRESENTATIONS 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 (between one paragraph and one page) by: APRIL 24, 2015 Please submit your abstract electronically, via EasyChair , selecting the category "Informal Presentation". You will be notified whether your talk has been accepted for informal presentation usually within a week or two after your submission. If you intend to apply for the ASL Student Travel Award, you might need us to confirm that your are going to give a presentation at CiE 2015 (applications of students who are presenting get higher priority). Therefore, we would like to ask you to submit your informal presentations by March 25 so that we can send you the notification before the ASL deadline of March 28. FUNDING OPPORTUNITIES: CiE 2015 has received funding from the ASL (Association for Symbolic Logic) and EATCS (European Association for Theoretical Computer Science) that allows students who are members of ASL or EATCS and want to attend CiE 2015 to apply for travel funds or a reduction of the early registration fee. Preference will be given to presenters of accepted papers. Applications for ASL travel grants have to be addressed directly to ASL, with a strict deadline of March 28, 2015. Applications for EATCS travel grants have to be sent to cie2015@fmi.unibuc.ro prior to the early registration deadline. ___________________________________________________________________ CiE 2015 http://fmi.unibuc.ro/CiE2015 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 ___________________________________________________________________