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 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 Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of gianluca.dellavedova@unimib.it) identity=pra; client-ip=209.85.160.194; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="gianluca.dellavedova@unimib.it"; x-sender="gianluca.dellavedova@unimib.it"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of gianluca.dellavedova@unimib.it designates 209.85.160.194 as permitted sender) identity=mailfrom; client-ip=209.85.160.194; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="gianluca.dellavedova@unimib.it"; x-sender="gianluca.dellavedova@unimib.it"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-qt1-f194.google.com) identity=helo; client-ip=209.85.160.194; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="gianluca.dellavedova@unimib.it"; x-sender="postmaster@mail-qt1-f194.google.com"; x-conformance=sidf_compatible 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 --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 sent a= few days after submission.) Early registration before: 17 May 2019 CiE 2019 is the 15th conference organized by CiE (Computability in Europe)= , a European association of mathematicians, logicians, computer scientists,= philosophers, physicists and others interested in new developments in comp= utability and their underlying significance for the real world. Previous meetings have taken place in Amsterdam (2005), Swansea (2006), Si= ena (2007), Athens (2008), Heidelberg (2009), Ponta Delgada (2010), Sofia (= 2011), Cambridge (2012), Milan (2013), Budapest (2014), Bucharest (2015), P= aris (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 Depart= ment of Computer Science, Durham University For questions 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 Computational Neuroscience, organised by Noura Al Moubayed (Durham Univers= ity) 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 HaPoC= 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 (Hofstra U= niversity) 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 Chris= tine 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 Manth= ey (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=89cole P= olytechnique) - 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/ci= e.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 inf= ormal presentation must be submitted via EasyChair (https://easychair.org/c= onferences/?conf=3Dcie2019), using the LNCS style file (available at https:= //www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelin= es) and be 1 page; a brief description of the results suffices and an abstr= act is not required. Informal presentations will not be published in the LN= CS conference proceedings. Results presented as informal presentations at C= iE 2019 may appear or may have appeared in other conferences with formal pr= oceedings 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 Co= mputability programme, sponsored by ACM-Women, we are able to offer four gr= ants of up to 250 EUR for junior female researchers who want to participate= in CiE 2019. Applications for this grant should be sent to 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. Prefer= ence will be given to 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 support= participation in the conference. To be eligible for a grant, an accepted p= aper or informal presentation in the area of history and/or philosophy of c= omputing is required. Applications for these grants must be made to HaPoC d= irectly, 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 apply= for (limited) ASL travel funds that the ASL is making available for sponso= red 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 INFORMAL PRESENTA= TIONS:
=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/

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 20= 19
(The notifications of acceptance for informal presentatio= ns will be sent a few days after submission.)

Early registration before: 17 May 2019

CiE= 2019 is the 15th conference 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 pla= ce 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)

=
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 Kon= g)
- Ursula Martin (University of Oxford)
- A= lexander Sch=C3=B6nhuth (CWI, Amsterdam)
- Sonja Smets (Univ= ersity 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 Department of Computer Science, Durham Universit= y

For questions please contact the organiser= s 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
Computational Neuroscience, organised by Noura = Al Moubayed (Durham University) and Jason Connolly (Durham University)
<= /div>

- Ulrik Beierholm (Durham University)
<= div> - Netta Cohen (Leeds University)
- Evelyne Sernagor (Ne= wcastle University)
- V Anne Smith (University of St Andrews= )

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

= - Tony Hoare (University of Oxford, via Skype)
- Michael Jac= kson (Open University)
- Ray Turner (University of Essex)

Lowness Notions in Computability, organised by= Johanna Franklin (Hofstra 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)
<= /div>

Probabilistic Programming and Higher-Order Compu= tation, organised by Christine Tasson (Paris Diderot University)
<= div>
- Thomas Ehrhard (IRIF, Paris Diderot University)
<= /div>
- Cameron Freer (MIT)
- Joost-Pieter Katoen (RWTH= Aachen)
- Sam Staton (University of Oxford)
=
Smoothed and Probabilistic Analysis of Algorithms, organise= d by Bodo Manthey (University of Twente)

- S= ophie Huiberts (CWI, Amsterdam)
- Stefan Klootwijk (Universi= ty of Twente)
- Clemens R=C3=B6sner (University of Bonn)
=
- Sebastian Wild (University of Waterloo)

Transfinite Computations, organised by Sabrina Ouazzani (LIX, =C3= =89cole Polytechnique)

- Merlin Carl (Univer= sity of Konstanz)
- Lorenzo Galeotti (University of Hamburg)=
- Benjamin Rin (Utrecht University)
- Philip= Welch (University of Bristol)

CONTRIBUTED P= APERS:
=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 fo= und 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 (ht= tps://easychair.org/conferences/?conf=3Dcie2019), using the LNCS style = file (available at https:/= /www.springer.com/gp/computer-science/lncs/conference-proceedings-guideline= s) 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.

=
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=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 Gr= ants
=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 Ha= PoC 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

<= div> 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/studen= t-travel-awards/.


Associ= ation CiE:

CiE Conference Series:
<= /body>= --122d9f68e0a149d88f03cc52f2ae8be0--