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 AEAC4826E4 for ; Mon, 24 Jun 2019 14:30:46 +0200 (CEST) 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-lf1-f65.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.167.65; 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.167.65 as permitted sender) identity=mailfrom; client-ip=209.85.167.65; 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-lf1-f65.google.com) identity=helo; client-ip=209.85.167.65; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="gianluca.dellavedova@unimib.it"; x-sender="postmaster@mail-lf1-f65.google.com"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3AAUG1MBAD35Gm/SKpb/ewUyQJP3N1i/DPJgcQr6Af?= =?us-ascii?q?oPdwSP36p8WwAkXT6L1XgUPTWs2DsrQY0rCQ6vqrBDZIoc7Y9ixbKdoUD15NoP?= =?us-ascii?q?5VtjRoONSCB0z/IayiRA0BN+MGamVY+WqmO1NeAsf0ag6aiHSz6TkPBke3blIt?= =?us-ascii?q?daz6FYHIksu4yf259YHNbAVUnjq9Zq55IAmroQnLucQanJVuJrwsxhfXrXdFe/?= =?us-ascii?q?pazn5sKV6Pghrw/Mi98IN+/yhKp/4t68tMWrjmcqolSrBVEC4oOH0v6s3xshnD?= =?us-ascii?q?QwqP5n8CXWgTjxFFHQvL4gzkU5noqif1ufZz1yecPc3tULA7Qi+i4LtxSB/pky?= =?us-ascii?q?gIKTg0+3zKh8NqjaJbpBWhpwFjw4PRfYqYOuZycr/bcNgHQmVMQshcWzBcDo+l?= =?us-ascii?q?c4cDEvcKMeJFo4T9olcDqwa1CwuxC+P10jJHiX/406M53eo8Dw/JwAMuEs8VvX?= =?us-ascii?q?TItdX4LrseXfypwKTKyzjIcvNY2S366IjNah0voPCMUqh2ccrV1EkgCxnKhUie?= =?us-ascii?q?p4P7OzOV0v4CuHWU4OV+SO2vjHAnpBtsqTWoyccsi5PGhoQRylDZ6Sp22pw5Ks?= =?us-ascii?q?CmR05/Zd6rCoVQuD+HOItxXMMtWXpluDs8yr0HvJ67fTMFxI4mxx7DcvGKdZWD?= =?us-ascii?q?7BzkVOaUOzh4hXRldaqjiBa19Eig0vD8VtWu31lRrypFltjMtmwN1hDJ7ciHUP?= =?us-ascii?q?R98l282TaMzwzc9/9LIUQwlaXBNZ4u3KM/lp0NsUvZBCP2n1/2jKCOeko64Oeo?= =?us-ascii?q?8OTmbanmppCGNo90kBvyMqM0msywGeg4KRAOX3Ka+eS6273s41f5TK9Wgf0xl6?= =?us-ascii?q?nVqI3VJdkBpqKjGQBazpwv6wu8Dzu+ytsYhn0HLFVDeBKDjojpPU/BLOr/Dfel?= =?us-ascii?q?jFSgiDdryOrePr3mHprBNH/DkK3ufbpl8UFT1Aszws5F651KF7EMJu/4VEzptN?= =?us-ascii?q?HAEBM1Lwi5z/zkBdh9zI8SRGOCD62DPK7TsVKF4P8kLfOWa48Pojn9LuAo5/7w?= =?us-ascii?q?gn89nl8QZayp0oEWaHC8B/hmJ0uZbWf1jtcPEGoHvhAyTOPtiF2FXj5TY2i9U7?= =?us-ascii?q?gg6TE8DYKqFYbDRoazj7ydxCq3AIFaa2RcBl2PEXrkbZiIVvYOZS6II8JskiQI?= =?us-ascii?q?Vb27RI8g0RGuuhX6y71iLufM9S0YtIjs1N5x5+3OiR497yZ4ANmD3GGJS2F7hH?= =?us-ascii?q?0ISCEr06B4v0xy0EyO0bV+g/xZENxT5uhGXh07NZ7A1+B6Ecz9WhrdfteVT1ar?= =?us-ascii?q?WsmpDis0TtI12tMOZ0d9G86+jh3YxCqrA7oVl6SRC5Au86Lc2WLxJ8dnxHrc2q?= =?us-ascii?q?khlQpufswaGmyvgKpi/AGbK4PNl0zRqaumcroVlHrC9W6FyXeFtQdUXQp0WLvI?= =?us-ascii?q?UXcBb2PLq9X850mETqP4Wpo9NQ4U5s+LLK9XYdShoVhCQP6rBtnSZHy40zO/BB?= =?us-ascii?q?+Owq6HZczmdmEZ1TvQBE8amigO+3eDNAJ4Bzv38DGWNyBnCV+6OxCkyuJ5sn7u?= =?us-ascii?q?FxJtnlO6KnZ53r/wwSY7wPmVSvcdxLUB4X5ztjN1GVe3mdPKWYPZ+lhROZ5EaN?= =?us-ascii?q?Z4229pkGLUswsnY86lJqFmw1oQKkF54R6o2BJwBYFN18MtqSFylVYgGeejyFpE?= =?us-ascii?q?Mgig89XoILSOczvv+hGqaqSQ202MiNs=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0DoKgCgwRBdZ0GnVdFKGhoBAQEBAR8CA?= =?us-ascii?q?QEBAQMBAQEBgVCBLgIBAQEBAWAoQlEzFBSEFpgJjVaKCAkBAwEMJQoBAYQ8AoJ?= =?us-ascii?q?vGwcBBDQTAQMBAQQBAQIBAgMBEwsLCwYpikAMgjoMgygGHQEBHwcSJQ8CJgIkE?= =?us-ascii?q?gEFASITFIMPggoPN5VQPIovcYExgnkBAQWFZoE9CRJ6JgIBAQEBAQEBi1eCFoE?= =?us-ascii?q?RgmKDNhkEGIEAIIMxgliLbp4fBwKBTUmCdINZhGKIMxuCKGuDF4MLjhKUMyKEB?= =?us-ascii?q?4hcgwoPIYFGgXkzGnMxBoI1CYJEF4NNgQGBbYImgmaCWANAMAEejT+CUgEB?= X-IPAS-Result: =?us-ascii?q?A0DoKgCgwRBdZ0GnVdFKGhoBAQEBAR8CAQEBAQMBAQEBgVC?= =?us-ascii?q?BLgIBAQEBAWAoQlEzFBSEFpgJjVaKCAkBAwEMJQoBAYQ8AoJvGwcBBDQTAQMBA?= =?us-ascii?q?QQBAQIBAgMBEwsLCwYpikAMgjoMgygGHQEBHwcSJQ8CJgIkEgEFASITFIMPggo?= =?us-ascii?q?PN5VQPIovcYExgnkBAQWFZoE9CRJ6JgIBAQEBAQEBi1eCFoERgmKDNhkEGIEAI?= =?us-ascii?q?IMxgliLbp4fBwKBTUmCdINZhGKIMxuCKGuDF4MLjhKUMyKEB4hcgwoPIYFGgXk?= =?us-ascii?q?zGnMxBoI1CYJEF4NNgQGBbYImgmaCWANAMAEejT+CUgEB?= X-IronPort-AV: E=Sophos;i="5.63,412,1557180000"; d="scan'208";a="388815974" X-MGA-submission: =?us-ascii?q?MDE04V9cKDeGZDvXa9SXadS10dUDewYI4FwgY8?= =?us-ascii?q?ZqIkD4dLWBknat7ijXdnKV2zwqsKPNx/rqzcr2Iww4fprQtaK2w0IlZS?= =?us-ascii?q?zr5B7u4HhJMJDszHHAABjncBeJ8X1P8IbnIGcXIs87CmFhDi5CbljPw0?= =?us-ascii?q?eBtUbz7rO3rluUcxK8s3uSrw=3D=3D?= Received: from mail-lf1-f65.google.com ([209.85.167.65]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 24 Jun 2019 14:30:42 +0200 Received: by mail-lf1-f65.google.com with SMTP id j29so9868458lfk.10 for ; Mon, 24 Jun 2019 05:30:42 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=unimib.it; s=google; h=mime-version:from:date:message-id:subject:to :content-transfer-encoding; bh=5iyYi4OST4dzspYmZNBKWXEC6WW6sgOl4ohRYSBI3eY=; b=Daza+dqBU5HDNw9LTPjn/+U59RriiGxi7uakb5NkN11ERNLoebeQqGsLSwIkUJoYxM ByPp4wUgGKXqG4K+oN1AODiov0R8mxZ2ruX/AYdbw2VgidzdHa582Ddq7QIlxJbEqL7V sSYuqF2ZBm0Zk7A+QmuCZ7xvFaQvD9bRIZubHNSuTzbkB4K8y/FA63Ii6CGC3Orbz+mk h0x7h7TWVZisSQXjGPP3Ut9U5q07P21kMDt8tFsjU50gxgUKuGhEJtoqvGebuWkNJp4t FUJKM9xMBuLVSG23V9X1ItyjtYnQb3J2wqtXy2TSxl7qfMh0v9GDfrlgo5m8NB7/bLNv 5/4g== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:from:date:message-id:subject:to :content-transfer-encoding; bh=5iyYi4OST4dzspYmZNBKWXEC6WW6sgOl4ohRYSBI3eY=; b=q3KSrTPpJ0oF/LIgUkNLzhsFlV5D5jK3vHjqXSRFDPRV7wYuUGVabPB7lQU/gEEXJP ET68hZ8xn9pamceotGVaKawG2mlK5PbCM83osLUXiR/jCzsvRoIWqWE3o1kpSZT7/fob spJN5MvsexLllKVDvmDCZhB2M/tBBWVtW6i3/c1Hq7G8lJDLw3uz4mslJ1bwYQoqDtI4 FIeTLUiYkbckbolQ1xCqbgu7aoTBiy1Vgj2+//PvF8/Mr54xqQG1qae+eRydiIiDr5TO 6SBp6K3yo4uBs6gy1Xdr1AEpcQGRGDLg0K7iKdeqEaNQ2+34TPNTUMsBzpNiTLkXgxRy oZhA== X-Gm-Message-State: APjAAAVcP4TsRN1slhX144Q1/hQZtB2oCr+FSy8zopySBHJO4EZ9lRGY kUXCE+Ap96TGXn58+U+YrF7Jcl/ilF15RI+Kif57GQ== X-Google-Smtp-Source: APXvYqzKCSr3KTKeJqZCLbPScnmOXB1X7m8uFMByY9ayi4YlZZJLZX5KevkSaDyCVCe/52XRdHjtDmI5sG8cB/uXskA= X-Received: by 2002:a19:5046:: with SMTP id z6mr28303324lfj.185.1561379441737; Mon, 24 Jun 2019 05:30:41 -0700 (PDT) MIME-Version: 1.0 From: Gianluca Della Vedova Date: Mon, 24 Jun 2019 14:30:30 +0200 Message-ID: To: Gianluca Della Vedova Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable X-Validation-by: gianluca.dellavedova@unimib.it Subject: [Caml-list] CiE 2019 CALL FOR PARTICIPATION =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 PARTICIPATION: =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 Early registration before: 25 June 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 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), 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 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 Department 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 University) 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 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 Christine 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 Manthey (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 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://easychair.org/conferences/?conf=3Dcie2019), using the LNCS style file (available at https://www.springer.com/gp/computer-science/lncs/conference-proceedings-gu= idelines) and be 1 page; a brief description of the results suffices and an abstract is not required. Informal presentations will not be published in the LNCS conference proceedings. Results presented as informal 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 four grants 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. Preference 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 paper or informal presentation in the area of history and/or philosophy of computing is required. Applications for these grants must 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 apply 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/ --=20 Gianluca Della Vedova DIpartimento di Informatica, Sistemistica e Comunicazione Universit=C3=A0 di Milano - Bicocca https://gianluca.dellavedova.org