From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/9881 Path: news.gmane.org!.POSTED.blaine.gmane.org!not-for-mail From: Sam Staton Newsgroups: gmane.comp.science.mathematics.logic.lics-newsletter,gmane.science.mathematics.categories,gmane.comp.science.types.announce,gmane.comp.lang.agda Subject: [LICS] LICS 2019 Registration and Website Mirror Date: Fri, 5 Apr 2019 20:33:02 +0000 Message-ID: Mime-Version: 1.0 Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: 7bit Injection-Info: blaine.gmane.org; posting-host="blaine.gmane.org:195.159.176.226"; logging-data="30988"; mail-complaints-to="usenet@blaine.gmane.org" User-Agent: Microsoft-MacOutlook/10.17.1.190326 To: "las-lics@lists.tu-berlin.de" , "categories@mta.ca" , "GAMES@lists.rwth-aachen.de" , "ProofTheory.List@gmail.com" , "types-announce@lists.seas.upenn.edu" , "theory-logic@cs.cmu.edu" , "theorem-provers@ai.mit.edu" , "concurrency@listserver.tue.nl" , "finite-model-theory@lists.rwth-aachen.de" , "asl@vassar.edu" , "agda@lists.chalmers.se" , "appsem@lists.tcs.ifi.lmu.de" , "lfcs-interest@inf.ed.ac.uk" , "cade@itu.dk" , "prog-lang@diku.dk" , "linear@cs.stanford.edu" Envelope-to: gcsmll-las-lics@m.gmane.org Original-Received: from exchange.tu-berlin.de ([130.149.7.70]) by blaine.gmane.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.89) (envelope-from ) id 1hCVuu-0007wn-FB for gcsmll-las-lics@m.gmane.org; Fri, 05 Apr 2019 22:58:28 +0200 Original-Received: from SPMA-04.tubit.win.tu-berlin.de (localhost.localdomain [127.0.0.1]) by localhost (Email Security Appliance) with SMTP id 979DE974EDD_CA7C173B for ; Fri, 5 Apr 2019 20:58:27 +0000 (GMT) Original-Received: from exchange.tu-berlin.de (exchange.tu-berlin.de [130.149.7.70]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-SHA384 (256/256 bits)) (Client CN "exchange.tu-berlin.de", Issuer "DFN-Verein Global Issuing CA" (not verified)) by SPMA-04.tubit.win.tu-berlin.de (Sophos Email Appliance) with ESMTPS id 46F1499AAE5_CA7C173F for ; Fri, 5 Apr 2019 20:58:27 +0000 (GMT) Original-Received: from EX-CAS-02.tubit.win.tu-berlin.de (130.149.7.70) by EX-MBX-02.tubit.win.tu-berlin.de (130.149.6.152) with Microsoft SMTP Server (TLS) id 15.0.1395.4; Fri, 5 Apr 2019 22:58:21 +0200 Original-Received: from lists.tu-berlin.de (130.149.4.33) by EX-CAS-02.tubit.win.tu-berlin.de (172.26.35.182) with Microsoft SMTP Server (TLS) id 15.0.1395.4 via Frontend Transport; Fri, 5 Apr 2019 22:58:21 +0200 Original-Received: from [127.0.0.1] (helo=mali-2.intern.tu-berlin.de) by mali.tubit.tu-berlin.de (exim-4.91) with esmtp id 1hCVui-0008PG-4J; Fri, 05 Apr 2019 22:58:16 +0200 Original-Received: from a1861.mx.srv.dfn.de ([194.95.232.130]) by mali.tubit.tu-berlin.de (exim-4.91) with esmtps [TLSv1.2:ECDHE-RSA-AES256-GCM-SHA384:256] for id 1hCVXG-0008As-HK; Fri, 05 Apr 2019 22:34:02 +0200 Original-Received: from localhost (localhost [127.0.0.1]) by a1861.mx.srv.dfn.de (Postfix) with ESMTP id 72252220050 for ; Fri, 5 Apr 2019 22:34:02 +0200 (CEST) X-DFN-Virus-Scanned: Debian amavisd-new at mgw4-han.srv.dfn.de Original-Received: from a1861.mx.srv.dfn.de ([127.0.0.1]) by localhost (mgw4-han.srv.dfn.de [127.0.0.1]) (amavisd-new, port 20093) with ESMTP id 2uIEnXN9NqlJ for ; Fri, 5 Apr 2019 22:34:01 +0200 (CEST) Original-Received: from relay14.mail.ox.ac.uk (relay14.mail.ox.ac.uk [163.1.2.162]) by a1861.mx.srv.dfn.de (Postfix) with ESMTPS for ; Fri, 5 Apr 2019 22:33:57 +0200 (CEST) Original-Received: from hub02.nexus.ox.ac.uk ([163.1.154.217] helo=HUB02.ad.oak.ox.ac.uk) by relay14.mail.ox.ac.uk with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:128) (Exim 4.89) (envelope-from ) id 1hCVWO-0008zg-jI; Fri, 05 Apr 2019 21:33:08 +0100 Original-Received: from GBR01-CWL-obe.outbound.protection.outlook.com (104.47.20.57) by smtp.nexus.ox.ac.uk (163.1.154.217) with Microsoft SMTP Server (TLS) id 14.3.439.0; Fri, 5 Apr 2019 21:33:03 +0100 Original-Received: from CWLP265MB1393.GBRP265.PROD.OUTLOOK.COM (20.176.37.137) by CWLP265MB0545.GBRP265.PROD.OUTLOOK.COM (10.166.22.18) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.1771.16; Fri, 5 Apr 2019 20:33:02 +0000 Original-Received: from CWLP265MB1393.GBRP265.PROD.OUTLOOK.COM ([fe80::e42a:408:38c2:118a]) by CWLP265MB1393.GBRP265.PROD.OUTLOOK.COM ([fe80::e42a:408:38c2:118a%4]) with mapi id 15.20.1771.011; Fri, 5 Apr 2019 20:33:02 +0000 Thread-Topic: LICS 2019 Registration and Website Mirror Thread-Index: AQHU6+7DPa/S2tuKykWZ3BHxYWLRJQ== Accept-Language: en-US Content-Language: en-US authentication-results: spf=none (sender IP is ) smtp.mailfrom=sam.staton@cs.ox.ac.uk; x-originating-ip: [2a02:c7d:a343:a400:daa:bbd1:7950:63e5] x-ms-publictraffictype: Email x-ms-office365-filtering-correlation-id: 5566b8b9-3bb4-46d1-2b9f-08d6ba05e6a9 x-microsoft-antispam: BCL:0; PCL:0; RULEID:(2390118)(7020095)(4652040)(8989299)(4534185)(4627221)(201703031133081)(201702281549075)(8990200)(5600139)(711020)(4605104)(2017052603328)(7193020); SRVR:CWLP265MB0545; x-ms-traffictypediagnostic: CWLP265MB0545: x-ms-exchange-purlcount: 5 x-microsoft-antispam-prvs: x-forefront-prvs: 0998671D02 x-forefront-antispam-report: SFV:NSPM; SFS:(10019020)(39860400002)(136003)(346002)(376002)(366004)(396003)(189003)(199004)(68736007)(14454004)(33656002)(316002)(786003)(2906002)(2501003)(110136005)(99286004)(105586002)(6116002)(478600001)(25786009)(966005)(106356001)(58126008)(97736004)(82746002)(5660300002)(186003)(44832011)(6506007)(6486002)(6306002)(2201001)(486006)(74482002)(46003)(6512007)(102836004)(71190400001)(8936002)(305945005)(8676002)(7736002)(53936002)(2171002)(81166006)(6436002)(81156014)(83716004)(71200400001)(86362001)(256004)(476003)(2616005)(7416002)(14444005)(921003)(1121003); DIR:OUT; SFP:1102; SCL:1; SRVR:CWLP265MB0545; H:CWLP265MB1393.GBRP265.PROD.OUTLOOK.COM; FPR:; SPF:None; LANG:en; PTR:InfoNoRecords; MX:1; A:1; received-spf: None (protection.outlook.com: cs.ox.ac.uk does not designate permitted sender hosts) x-ms-exchange-senderadcheck: 1 x-microsoft-antispam-message-info: aucxOQW6ysSLp0nDAxsyGXPqCu22/WLoiWnyTpW5HbEODYole3WNSF5mIiaLY4XUd4/6y7hmbwoSWkSGSIy1rijdbykpmDLkqfsMMEQYyZKwwrbkQMA6hsiu4N2HgB+Sd0nomHNe66CLQpjej4SDumy/PtzW83yC9Cy0JqbxdfH2xhwYAddrNTjUmIXI+ow1OVZVZ7dBzrnv475eCcDGiiv5HIPNlyiwCHk3n16piOMnO6Ww4sPNM4qUfRfVSUOpp4HRWDMHjSXKG9VY7U5PrPrdqNVMjN4qXD29f4HYS5c7VMfb2m4ybGWzi2n5uqEOdhifSbn3BpBv3z7fat1dDrz4b57hLQ3Ae3WkYmk4q+sm+9uy4y3qySj5sbIGAz9NwGZf+CsjUdpYJ9AtNykJBdBLLe9dXV/LzUwYsJvgtkk= Content-ID: <962581EEC5923D44902F35133B62B919@GBRP265.PROD.OUTLOOK.COM> X-MS-Exchange-CrossTenant-Network-Message-Id: 5566b8b9-3bb4-46d1-2b9f-08d6ba05e6a9 X-MS-Exchange-CrossTenant-originalarrivaltime: 05 Apr 2019 20:33:02.5852 (UTC) X-MS-Exchange-CrossTenant-fromentityheader: Hosted X-MS-Exchange-CrossTenant-id: cc95de1b-97f5-4f93-b4ba-fe68b852cf91 X-MS-Exchange-CrossTenant-mailboxtype: HOSTED X-MS-Exchange-Transport-CrossTenantHeadersStamped: CWLP265MB0545 X-Oxmail-Spam-Status: score=0.0 tests=none X-Oxmail-Spam-Level: / X-Mailman-Approved-At: Fri, 05 Apr 2019 22:58:13 +0200 X-BeenThere: las-lics@lists.tu-berlin.de X-Mailman-Version: 2.1.12 Precedence: list List-Id: LICS Announcement and Newsletter Distribution List List-Unsubscribe: , List-Post: List-Help: List-Subscribe: , Original-Sender: Errors-To: las-lics-bounces+gcsmll-las-lics=m.gmane.org@lists.tu-berlin.de X-PMWin-Version: 4.0.1, Antivirus-Engine: 3.74.1, Antivirus-Data: 5.61 X-PureMessage: [Scanned] X-SASI-RCODE: 200 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=lists.tu-berlin.de; h=from:to:date:message-id:content-id:mime-version:subject:list-id:list-unsubscribe:list-post:list-help:list-subscribe:content-type:content-transfer-encoding:sender; s=dkim-tub; bh=FZFiJ3yRQwhSux9Td5AC5+angnE7FIuQ2FShkyFvEco=; b=Ni5yGHJ1NOt8k0wQCMumaq6eCLSnAX/ifS/V9dO5q1JUuoLZwxQa8DT/zIi66b4pP2ko0uv7AU6JiWraPs/hJLP7NGHaeqpfuLK1hH7sDeYuCy4d5f31u+57/GqRXGdukbe8UiOY6bHAUACVqg8bXDDk//4LjBAZsVJf+OOT7Ys= Xref: news.gmane.org gmane.comp.science.mathematics.logic.lics-newsletter:85 gmane.science.mathematics.categories:9881 gmane.comp.science.types.announce:8288 gmane.comp.lang.agda:10971 Archived-At: CALL FOR PARTICIPATION Thirty-Fourth Annual ACM/IEEE Symposium on LOGIC IN COMPUTER SCIENCE (LICS) Conference 24-27 June 2019, Vancouver Workshops 22-23 June 2019 LICS 2019 Registration is open. Registration page: https://ungerboeck.its.sfu.ca/emc00/register.aspx?OrgCode=01&EvtID=132686&AppCode=REG&CC=119040326516 We also encourage participants to find accommodation in Vancouver as soon as possible. Local info page (with accommodation suggestions): https://www.sfu.ca/~lics2019/ The LICS server at siglog is temperamental at present. Apologies. While we're investigating, I've put a mirror at http://www.cs.ox.ac.uk/people/samuel.staton/licstemp/lics19/ Accepted papers: http://www.cs.ox.ac.uk/people/samuel.staton/licstemp/lics19/accepted.html Original website: https://lics.siglog.org/lics19/ Workshops: LFMTP: Logical Frameworks and Metalanguages: Theory and Practice LMW: Logic Mentoring Workshop MoRe: Multi-objective reasoning in verification and synthesis LearnAut: Learning and Automata LOLA: Syntax and semantics of Low level Languages WiL: Women in Logic