From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by c5ff346549e7 (Postfix) with ESMTP id CED222DF6 for ; Sat, 23 Mar 2019 09:07:00 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.60,256,1549926000"; d="scan'208,217";a="375398819" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 23 Mar 2019 10:06:58 +0100 Received: by sympa.inria.fr (Postfix, from userid 20132) id 7E32682652; Sat, 23 Mar 2019 10:06:58 +0100 (CET) Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id 60D5082652 for ; Sat, 23 Mar 2019 10:00:43 +0100 (CET) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=gianluca.dellavedova@unimib.it; spf=Pass smtp.mailfrom=gianluca.dellavedova@unimib.it; spf=None smtp.helo=postmaster@mail-qt1-f194.google.com IronPort-PHdr: =?us-ascii?q?9a23=3AHvdaRBA7Eg+4g2a39ppdUyQJP3N1i/DPJgcQr6Af?= =?us-ascii?q?oPdwSP34psqwAkXT6L1XgUPTWs2DsrQY0rKQ7PqrADZaqb+681k6OKRWUBEEjc?= =?us-ascii?q?hE1ycBO+WiTXPBEfjxciYhF95DXlI2t1uyMExSBdqsLwaK+i764jEdAAjwOhRo?= =?us-ascii?q?LerpBIHSk9631+ev8JHPfglEnjWwba5uIBmsrwjdqMYajZZ8Jqov1xDEvmZGd+?= =?us-ascii?q?NKyG1yOFmdhQz85sC+/J5i9yRfpfcs/NNeXKv5Yqo1U6VWACwpPG4p6sLrswLD?= =?us-ascii?q?TRaU6XsHTmoWiBtIDBPb4xz8Q5z8rzH1tut52CmdIM32UbU5Uims4qt3VBPljj?= =?us-ascii?q?oMNzs48GHMkcxwjaRboB28rBJh2oDffY+VNPtgcaPZYNwRWG5NU8hNWyBEBI6y?= =?us-ascii?q?b4wPD/AOPelGsob2ulkAowWgCwe2Ge3k1ztEi3Dq0aE/1ekqDAPI0xE6H98Wt3?= =?us-ascii?q?rbotr6OqQcX+610afH0S7OYOlK1Trn8oXFaAosrPOKULltccTR004vFwbdg1me?= =?us-ascii?q?qILlPima1uIJs2iG8+VvT/+khWA5pAF1pjig3NonhYbXiY0IzVDE6z92zIgoLt?= =?us-ascii?q?C/R057YMSrEJ1UtyGHK4R5WNkuTHx2tyY+zr0Jo4C7czYXx5Qg2R7QceeKc5WO?= =?us-ascii?q?4hLiUeaRICx3iGhkeLKjnhu/91WrxOP7VsmxyllKryxFn8HQuXAK0hzT8tWHSu?= =?us-ascii?q?dn8Ui62DaP0wHT6v1EIEwukqrbMZEhzqQtlpoQqUjMADX5mF72jaCKdkUr4Omo?= =?us-ascii?q?6/79brXhvJ+cOJd4ihrmMqQ0m8y/B+s4PRYUX2SB5eu807jj8VXkT7VXlP06iL?= =?us-ascii?q?PWv4zAKcQGpa61GxVa0p0n6xa4CTem1NUYnX8ZI15ffxKHlYfpN0nOIP/iFfe/?= =?us-ascii?q?hEijnC1sx/DcMb3tGo/CIWTCkLj/Z7py9VNcxQwuxt5c/5JZEq8NLO73V0Prt9?= =?us-ascii?q?HVDgU1PxG1zur7Etlxy4cTVG2XDqKYMa7eq0KE6v8yL+WWa4IZoijxJ+Ym6vPo?= =?us-ascii?q?kHQ3g0USfbOz0psScH24HuppI0GeYXf0h9cOC2YKvg4nQOzzlF2OTCdfZ3ivU6?= =?us-ascii?q?846Tw3Eo2mDYDERoCihLyOwj23EYFRZmBDElyMEHHoeJuYW/oUdi6ePstsniYH?= =?us-ascii?q?WLWhUYMtyBCjuBPgx7Z6KufZ9TUUtZf529h04+3Tmwsy9TtxD8mF3GGNTnt7nm?= =?us-ascii?q?UMRz8rwK9wu1ZxxUqd3qh8h/xXD8JT6O1UXQc9K57T1fd3C830WgLAe9eJSU2p?= =?us-ascii?q?Ts+nATEtVt4x2cMBY15hG9W+iRDOxzalDKUQl7yPHZA09qPc32PtJ8tm0HbH1K?= =?us-ascii?q?whj0E8TcdVNG2mgLR/9wnJCILTnUWZjb6mdaEG0y7M8GeDw3COvEZdUANoXqXF?= =?us-ascii?q?XGoQZk3SrdTk+kzNVbiiCbE5PQtazM6CNrNKZcf0jVVaRPfjIMrRY3iqm2e3Ax?= =?us-ascii?q?aH3LeMbIv2e2QdxSnQDFYIng4N8XuENwUyGCSsr3vAADByGl/iYUzh/OpxpX64?= =?us-ascii?q?V0M0wACKYFdn17qx5x4ameaTR+kO0b0avCchry97HEij0N3LDNqAuRBucb1EbN?= =?us-ascii?q?Mg5ldH1GfZtw1mMZC6LqBimkUTfBlpsEPq0xV4EJtAntY3o3Mt0gp9M7iU0FRb?= =?us-ascii?q?dzOX2537J6PaKm3v/BC0d67ZxEve3suX+qYO9vs1s0nv70mHDE0npj9I0tBT12?= =?us-ascii?q?aX793mAQ4WWNrPX0ow6REw7+XVYyA7457f3DtgPK2wuyHP19U3DcM4zBelft0Z?= =?us-ascii?q?Mb/SR1y6KNETG8X7cL9ioFOudB9RY7gLpfwEevi+fv7D45aFeeNpnTaol2NCud?= =?us-ascii?q?kvz0SN8it2DO/Ujc9cn6OomzCfXjK5t2+P99jtkNkdNywUH2++w27lGNwJP/Ag?= =?us-ascii?q?TcMwEW6rZvaP6JB+iprqASAK8VeiAxYfxJbsd0PDMxry2gpf0UlRqnuiy3O1?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0BUAwD39JVcf8KgVdFJGoIXgSuBToEbD?= =?us-ascii?q?4QOg0qFMYpCgVYEBoMwhQCKQAGHcQ0BASWBCoNihFkaBwEEMwYNAQEDAQEJAQM?= =?us-ascii?q?BAQETAQEJCwsIGwwlDII6DAwDA4JqLAYdAQEfBxJPDQIuCAEFATUUR4JHAYF1D?= =?us-ascii?q?zWcWzyKLHGBL4J4AQEFgTEBgQqEcAgJAQiBHgGGaIRIghYTfieCO4M2GQQYgQA?= =?us-ascii?q?ggzEUgkOKKoxmjgAHAgKBOoYnhAmHRh+CAluCaoI3gxOIa5ECGYMahy2CWwIEA?= =?us-ascii?q?gQFAgYPIYFCgXiBQC4aVgqBRAmBXTAXg0uBAYFtgiaCZoJYHSMBATEBHYwXgk0?= =?us-ascii?q?B?= X-IPAS-Result: =?us-ascii?q?A0BUAwD39JVcf8KgVdFJGoIXgSuBToEbD4QOg0qFMYpCgVY?= =?us-ascii?q?EBoMwhQCKQAGHcQ0BASWBCoNihFkaBwEEMwYNAQEDAQEJAQMBAQETAQEJCwsIG?= =?us-ascii?q?wwlDII6DAwDA4JqLAYdAQEfBxJPDQIuCAEFATUUR4JHAYF1DzWcWzyKLHGBL4J?= =?us-ascii?q?4AQEFgTEBgQqEcAgJAQiBHgGGaIRIghYTfieCO4M2GQQYgQAggzEUgkOKKoxmj?= =?us-ascii?q?gAHAgKBOoYnhAmHRh+CAluCaoI3gxOIa5ECGYMahy2CWwIEAgQFAgYPIYFCgXi?= =?us-ascii?q?BQC4aVgqBRAmBXTAXg0uBAYFtgiaCZoJYHSMBATEBHYwXgk0B?= X-IronPort-AV: E=Sophos;i="5.60,256,1549926000"; d="scan'208,217";a="375398200" X-MGA-submission: =?us-ascii?q?MDErMxu+VMlwWHx4WnonZFtBW9NqNTI159JMoD?= =?us-ascii?q?LvWz/bTiGB46J2kJhAJEbHQIRdp9BV9iuhGQT/7yg8KpPM+5cgLU++nx?= =?us-ascii?q?dS91rjHzfTJ9KmWOO8b+icG9kpPaa5oPoBsMX9yzHl/PW0nTlsqMnFrn?= =?us-ascii?q?mUNPdhB3puI9oc3LgDwGMfJg=3D=3D?= Received: from mail-qt1-f194.google.com ([209.85.160.194]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 23 Mar 2019 10:00:41 +0100 Received: by mail-qt1-f194.google.com with SMTP id w30so5198460qta.8 for ; Sat, 23 Mar 2019 02:00:41 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=unimib.it; s=google; h=user-agent:mime-version:message-id:date:from:subject; bh=5kRKGY4CXaSwHlzsd6cf/y675iBBj+lUWNs5avTGU14=; b=ffViLLYCvImJkyBJKglPbWz0auMHSc5tUsvWGBMsa9lHdB82/v0gQdcs9eh10uJK4x m4pFXcaCt60yYUytzENe1V0lw+1lShwBOMlT1BX0NK3p8NjBRG3vraUQDQnIuILa/xyp AOEgPR0fVygeeg5q5dEaGDlYiCSs1lymukuttTb4BtTjP/KIM64tBwq9JzSullsR0LoQ WCF0oZJE0rpa+oqFvcrA4aRGYzgagdh3igd9lAKGR2vd7iFL7mIFH3Vl7CvORCBuVt6w E64pbQm1MB3pkKIVZXKXFY+t2b3ivKIYgXuGJ+eh8uFXGoF1A6xEU5DlnTcpI4ELuu/U AJRA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:user-agent:mime-version:message-id:date:from :subject; bh=5kRKGY4CXaSwHlzsd6cf/y675iBBj+lUWNs5avTGU14=; b=BhvI1e9LDcw4inNKN8DC93r1sWLvXskIEtlMsX+Hl8sdp1b3ZVKD/DG6aQH7R5CDnk 0YaRe3n1/iieK1XQAG3o1suApGnWCT9tZ0OHN69Pjpyyq0RJWw+Lkb8FVQUog4WaVkel yl7cUrcNURmCfSFbodVywHjK7A1+U9/JZnzIWiLVKRLHoK/5AYMIN8NW60ljH6m63ABz 2gHqmIEGePWbFP6J/OO0pHvn/jpn0yxkZU+pqF+XzNnYSHHpcCn3pkHUIJlj77oR1dYn 3yGYEGupJqYsEUCAQjDVUnyce+Gox86hhT68kw0pJYi3YmRllCmo+LkBlrn0I1Tn/Yb3 lHtw== X-Gm-Message-State: APjAAAXiosi7CaTD1E+6ZEe0Uopl+tWMAp19FnRFUrJkBFPyg8170xG4 LCbyneWV6hOjcXXa5jyeM8z0zQ== X-Google-Smtp-Source: APXvYqyG7kikdnlW+u/uFtC7v2HeWlBHVGWBvQnOvRBQjq1Bj0GJIfRkLIk3kRfPLMMyZ/ZeCIPOug== X-Received: by 2002:ac8:3812:: with SMTP id q18mr1116868qtb.17.1553331640026; Sat, 23 Mar 2019 02:00:40 -0700 (PDT) Received: from auth2-smtp.messagingengine.com (auth2-smtp.messagingengine.com. [66.111.4.228]) by smtp.gmail.com with ESMTPSA id o3sm5355767qte.55.2019.03.23.02.00.38 (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Sat, 23 Mar 2019 02:00:39 -0700 (PDT) Received: from compute4.internal (compute4.nyi.internal [10.202.2.44]) by mailauth.nyi.internal (Postfix) with ESMTP id 82C2E218D2; Sat, 23 Mar 2019 05:00:38 -0400 (EDT) Received: from imap3 ([10.202.2.53]) by compute4.internal (MEProxy); Sat, 23 Mar 2019 05:00:38 -0400 X-ME-Sender: X-ME-Proxy-Cause: gggruggvucftvghtrhhoucdtuddrgedutddrjedvgdduvdehucetufdoteggodetrfdotf fvucfrrhhofhhilhgvmecuhfgrshhtofgrihhlpdfqfgfvpdfurfetoffkrfgpnffqhgen uceurghilhhouhhtmecufedttdenuchmihhsshhinhhgucfvqfcufhhivghlugculdeftd dmnefhohhrghgvugcujffvvffrufculdegtddmnecujfgurhepofgfggfkfffhufgtsegr tderreerreejnecuhfhrohhmpedfifhirghnlhhutggrucffvghllhgrucggvgguohhvrg dfuceoghhirghnlhhutggrrdguvghllhgrvhgvughovhgrsehunhhimhhisgdrihhtqeen ucffohhmrghinheptghomhhpuhhtrggsihhlihhthidrohhrghdruhhkpdgvrghshigthh grihhrrdhorhhgpdhsphhrihhnghgvrhdrtghomhdpughurhdrrggtrdhukhdprghslhho nhhlihhnvgdrohhrghdphhgrphhotgdrohhrghdprggtihgvrdgvuhenucfrrghrrghmpe hmrghilhhfrhhomhepghhirghnlhhutggrodhmvghsmhhtphgruhhthhhpvghrshhonhgr lhhithihqdelvdefvdejjedvkedqvddtgeejgeekgeekqdhgihgrnhhluhgtrgdruggvlh hlrghvvgguohhvrgeppehunhhimhhisgdrihhtseguvghllhgrvhgvughovhgrrdhorhhg necuvehluhhsthgvrhfuihiivgeptd X-ME-Proxy: Received: by mailuser.nyi.internal (Postfix, from userid 501) id C2CF67C46F; Sat, 23 Mar 2019 05:00:32 -0400 (EDT) X-Mailer: MessagingEngine.com Webmail Interface User-Agent: Cyrus-JMAP/3.1.5-976-g376b1f3-fmstable-20190314v3 Mime-Version: 1.0 X-Me-Personality: 92327728 Message-Id: Date: Sat, 23 Mar 2019 05:00:30 -0400 From: "Gianluca Della Vedova" Content-Type: multipart/alternative; boundary=122d9f68e0a149d88f03cc52f2ae8be0 X-Validation-by: gianluca.dellavedova@unimib.it Subject: [Caml-list] CiE 2019 CALL FOR INFORMAL PRESENTATIONS Reply-To: "Gianluca Della Vedova" X-Loop: caml-list@inria.fr X-Sequence: 17431 Errors-to: caml-list-owner@inria.fr Precedence: list Precedence: bulk Sender: caml-list-request@inria.fr X-no-archive: yes List-Id: List-Archive: List-Help: List-Owner: List-Post: List-Subscribe: List-Unsubscribe: --122d9f68e0a149d88f03cc52f2ae8be0 Content-Type: text/plain;charset=utf-8 Content-Transfer-Encoding: quoted-printable =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D CiE 2019 CALL FOR INFORMAL PRESENTATIONS: =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D CiE 2019: Computing with Foresight and Industry Durham, United Kingdom July 15 - July 19, 2019 https://community.dur.ac.uk/cie.2019/ https://www.acie.eu IMPORTANT DATES: =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D Deadline for informal presentations submission: 1 May 2019 (The notifications of acceptance for informal presentations will be sen= t a few days after submission.) Early registration before: 17 May 2019 CiE 2019 is the 15th conference organized by CiE (Computability in Euro= pe), a European association of mathematicians, logicians, computer scien= tists, philosophers, physicists and others interested in new development= s 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), S= ofia (2011), Cambridge (2012), Milan (2013), Budapest (2014), Bucharest = (2015), Paris (2016), Turku (2017) and Kiel (2018). TUTORIAL SPEAKERS: =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D - Markus Holzer (JLU Giessen) - Assia Mahboubi (University of Nantes) INVITED SPEAKERS: =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D - Felipe Cucker (City University of Hong Kong) - Ursula Martin (University of Oxford) - Alexander Sch=C3=B6nhuth (CWI, Amsterdam) - Sonja Smets (University of Amsterdam) - Linda Brown Westrick (Penn State) HOSTED BY: =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D Algorithms and Complexity in Durham (ACiD), a research group in the Dep= artment of Computer Science, Durham University For questions please contact the organisers at the e-mail address cie.2= 019@durham.ac.uk. SPECIAL SESSIONS: =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D Computational Neuroscience, organised by Noura Al Moubayed (Durham Univ= ersity) and Jason Connolly (Durham University) - Ulrik Beierholm (Durham University) - Netta Cohen (Leeds University) - Evelyne Sernagor (Newcastle University) - V Anne Smith (University of St Andrews) History and Philosophy of Computing, organised by the Council of the Ha= PoC 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 (Hofstr= a University) and Joseph S. Miller (University of Wisconsin-Madison) - Kenshi Miyabe (Meiji University) - Benoit Monin (LACL, Cr=C3=A9teil University) - Keng Meng Ng (Nanyang Technological University) - Don Stull (LORIA) Probabilistic Programming and Higher-Order Computation, organised by Ch= ristine 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 Ma= nthey (University of Twente) - Sophie Huiberts (CWI, Amsterdam) - Stefan Klootwijk (University of Twente) - Clemens R=C3=B6sner (University of Bonn) - Sebastian Wild (University of Waterloo) Transfinite Computations, organised by Sabrina Ouazzani (LIX, =C3=89col= e Polytechnique) - Merlin Carl (University of Konstanz) - Lorenzo Galeotti (University of Hamburg) - Benjamin Rin (Utrecht University) - Philip Welch (University of Bristol) CONTRIBUTED PAPERS: =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D The list of accepted papers can be found at https://community.dur.ac.uk= /cie.2019/. INFORMAL PRESENTATIONS: =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D Continuing the tradition of past CiE conferences, we invite researchers= to present informal presentations of their recent work. A proposal for = an informal presentation must be submitted via EasyChair (https://easych= air.org/conferences/?conf=3Dcie2019), using the LNCS style file (availab= le at https://www.springer.com/gp/computer-science/lncs/conference-proce= edings-guidelines) and be 1 page; a brief description of the results suf= fices and an abstract is not required. Informal presentations will not b= e published in the LNCS conference proceedings. Results presented as inf= ormal presentations at CiE 2019 may appear or may have appeared in other= conferences with formal proceedings and/or in journals. WOMEN IN COMPUTABILITY: =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D 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 f= our grants of up to 250 EUR for junior female researchers who want to pa= rticipate in CiE 2019. Applications for this grant should be sent to Lie= sbeth De Mol, liesbeth.demol@univ-lille3.fr, before 15 May 2019 and incl= ude a short cv (at most 2 pages) and contact information for an academic= reference. Preference will be given to junior female researchers who ar= e presenting a paper (including informal presentations) at CiE 2019. HaPoc Travel Grants =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D The HaPoc Council offers two HaPoC travel grants of 250USD each to supp= ort participation in the conference. To be eligible for a grant, an acce= pted paper or informal presentation in the area of history and/or philos= ophy of computing is required. Applications for these grants must be mad= e to HaPoC directly, see hapoc.org/node/284 for further details. ASL Travel Grants =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D Students, who are members of the Association for Symbolic Logic, may ap= ply for (limited) ASL travel funds that the ASL is making available for = sponsored meetings. See aslonline.org/meetings/student-travel-awards/. Association CiE: https://www.acie.eu CiE Conference Series: http://www.computability.org.uk/index.php/cie-conference-series/ --122d9f68e0a149d88f03cc52f2ae8be0 Content-Type: text/html;charset=utf-8 Content-Transfer-Encoding: quoted-printable
=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D
CiE 2019 CALL FOR INFOR= MAL PRESENTATIONS:
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D
CiE 2019: Computing with Foresight and Indus= try
Durham, United Kingdom
July 15 - July = 19, 2019

IMPORT= ANT DATES:
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D
Deadline for informa= l presentations submission: 1 May 2019
(The notifications= of acceptance for informal presentations will be sent a few days after = submission.)

Early registration before: 1= 7 May 2019

CiE 2019 is the 15th conferenc= e organized by CiE (Computability in=20 Europe), a European association of mathematicians, logicians, computer=20= scientists, philosophers, physicists and others interested in new=20 developments in computability and their underlying significance for the=20= real world.

Previous meetings have taken = place in Amsterdam (2005), Swansea (2006),=20 Siena (2007), Athens (2008), Heidelberg (2009), Ponta Delgada (2010),=20= Sofia (2011), Cambridge (2012), Milan (2013), Budapest (2014), Bucharest= (2015), Paris (2016), Turku (2017) and Kiel (2018).

=
TUTORIAL SPEAKERS:
=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D
- Markus Holzer (JLU Giessen)=
- Assia Mahboubi (University of Nantes)
<= br>
INVITED SPEAKERS:
=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D
- Felipe Cucker (City Univers= ity of Hong Kong)
- Ursula Martin (University of Oxford)<= br>
- Alexander Sch=C3=B6nhuth (CWI, Amsterdam)
- Sonja Smets (University of Amsterdam)
- Linda Brown W= estrick (Penn State)

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

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

SPECIAL SESSIONS:
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D
C= omputational Neuroscience, organised by Noura Al Moubayed (Durham Univer= sity) and Jason Connolly (Durham University)

- Ulrik Beierholm (Durham University)
- Netta Cohen (= Leeds University)
- Evelyne Sernagor (Newcastle Universit= y)
- V Anne Smith (University of St Andrews)

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

- Tony H= oare (University of Oxford, via Skype)
- Michael Jackson = (Open University)
- Ray Turner (University of Essex)
<= /div>

Lowness Notions in Computability, organised b= y Johanna Franklin (Hofstra University) and Joseph S. Miller (University of Wisconsin-Madison)
<= /div>

- Kenshi Miyabe (Meiji University)
<= div> - Benoit Monin (LACL, Cr=C3=A9teil University)
- Ken= g Meng Ng (Nanyang Technological University)
- Don Stull = (LORIA)

Probabilistic Programming and Hig= her-Order Computation, organised by Christine Tasson (Paris Diderot Univ= ersity)

- Thomas Ehrhard (IRIF, Paris Did= erot University)
- Cameron Freer (MIT)
- J= oost-Pieter Katoen (RWTH Aachen)
- Sam Staton (University= of Oxford)

Smoothed and Probabilistic An= alysis of Algorithms, organised by Bodo Manthey (University of Twente)

- Sophie Huiberts (CWI, Amsterdam)
- Stefan Klootwijk (University of Twente)
- Cleme= ns R=C3=B6sner (University of Bonn)
- Sebastian Wild (Uni= versity of Waterloo)

Transfinite Computat= ions, organised by Sabrina Ouazzani (LIX, =C3=89cole Polytechnique)
<= /div>

- Merlin Carl (University of Konstanz)
- Lorenzo Galeotti (University of Hamburg)
- Ben= jamin Rin (Utrecht University)
- Philip Welch (University= of Bristol)

CONTRIBUTED PAPERS:
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D

The list of accepted papers can be found at https://community.dur.ac.uk/cie.2019/.

INFORMAL PRESENTATIONS:
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D

C= ontinuing the tradition of past CiE conferences, we invite researchers=20= to present informal presentations of their recent work. A proposal for=20= an informal presentation must be submitted via EasyChair (https://easychair.org/conferences/?conf=3Dcie2019), using the LN= CS style file (available at https://www.springer.com/gp/computer-science/lncs/conference-pro= ceedings-guidelines) and be 1 page; a brief description of the results suffices and an=20 abstract is not required. Informal presentations will not be published=20= in the LNCS conference proceedings. Results presented as informal=20 presentations at CiE 2019 may appear or may have appeared in other=20 conferences with formal proceedings and/or in journals.
<= br>
WOMEN IN COMPUTABILITY:
=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D

<= /div>
We are very happy to announce that within the framework of th= e Women in=20 Computability programme, sponsored by ACM-Women, we are able to offer=20= four grants of up to 250 EUR for junior female researchers who want to=20= participate in CiE 2019. Applications for this grant should be sent to=20= Liesbeth De Mol, liesbeth.demol@univ-lille3.fr, before 15 May 2019 and include a short cv (at most 2 pages) and contact= information for an academic reference. Preference will be given to=20 junior female researchers who are presenting a paper (including informal= presentations) at CiE 2019.

HaPoc Travel= Grants
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D

The HaPoc Council offers = two HaPoC travel grants of 250USD each to=20 support participation in the conference. To be eligible for a grant, an=20= accepted paper or informal presentation in the area of history and/or=20= philosophy of computing is required. Applications for these grants must=20= be made to HaPoC directly, see hapoc.org/node/284 for further details.
=

ASL Travel Grants
=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D
Students, who are members of the Association for Symbolic = Logic, may=20 apply for (limited) ASL travel funds that the ASL is making available=20= for sponsored meetings. See aslonline.org/meetings/= student-travel-awards/.


Association CiE:
=
CiE Conference Series:
--122d9f68e0a149d88f03cc52f2ae8be0--