From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.4.2 (2018-09-13) on inbox.vuxu.org X-Spam-Level: X-Spam-Status: No, score=-1.1 required=5.0 tests=DKIM_SIGNED,DKIM_VALID, DKIM_VALID_EF,HEADER_FROM_DIFFERENT_DOMAINS,HTML_MESSAGE, MAILING_LIST_MULTI,RCVD_IN_DNSWL_NONE,T_DKIMWL_WL_MED autolearn=ham autolearn_force=no version=3.4.2 Received: from mail-ed1-x53a.google.com (mail-ed1-x53a.google.com [IPv6:2a00:1450:4864:20::53a]) by inbox.vuxu.org (OpenSMTPD) with ESMTP id 9abdd506 for ; Sat, 15 Jun 2019 19:04:21 +0000 (UTC) Received: by mail-ed1-x53a.google.com with SMTP id f19sf8850429edv.16 for ; Sat, 15 Jun 2019 12:04:21 -0700 (PDT) ARC-Seal: i=2; a=rsa-sha256; t=1560625460; cv=pass; d=google.com; s=arc-20160816; b=Bz5L8/UVaOxi3Q/lBmoyvM5LK0BBH0CTykQ7UHLdR7/cymCXVWv0K3e/+bPG26Sw8Y Zuvjkz+3cjIuTVamsZGa2tyzHO6TbM0FNjKLzgRatzXLtDhDtPlpWwEHbdm651fjAWd4 NlIRQ47Jq2hi3CcffCiHM8rx1qIWGVdZd38OgR8PUO8qxRmeVVfnXgYZtqWsqxdjRELW GV6UvWgZhh2Hcxyx70LsQeFJsrlWpuIo8lJNroR3fkKfTyfLMW9I9zWfmaCgnTWUw7ah vdo2RL54CagdjGiYmWPdpl3OMZ6H1W8HoX8EwGGCEm/Ro3G+R9W0z+R9yPjhjfJT+Yv2 ej4w== ARC-Message-Signature: i=2; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=list-unsubscribe:list-archive:list-help:list-post:list-id :mailing-list:precedence:to:cc:date:message-id:subject:mime-version :from:sender:dkim-signature; bh=BFm+eJu6YJtPB4nneO4ywEzhBmyjAKtZCOUyj8FfGR8=; b=rY2aY7KKck8bGXwAXf27YqjSQJxZG+H8Lq31C+ksJOoakF6wNHUZDDbek4AFEKGGUk 9whEuxnSULnD2YucRTy7ZApULUKpv6QnoECbwz1T7hcx9fUFo6glqwfCuesoa6Edp+8F DRJykvU3WDXlYevosEtkS0nsiw6v2Xqg6wUG+pNXD/kKwAyrLI48/KLaCaDtkW+LkklU EAgPUoHhPpqDYL5SfGkP8m0z/aH0+L/R0IznGOCgh8Xt+kW/EU9mJQ2tA98E1M1JC5Rc asYlShfPhmKMrSpg4+WfR/7BjFGphfzh9UK7HDVAp1QMaZb1gMnzs1ndiUFBifVKz1YJ MTpg== ARC-Authentication-Results: i=2; gmr-mx.google.com; dkim=pass header.i=@cmu-edu.20150623.gappssmtp.com header.s=20150623 header.b=J1O5gGfR; spf=pass (google.com: domain of awodey@andrew.cmu.edu designates 2a00:1450:4864:20::22a as permitted sender) smtp.mailfrom=awodey@andrew.cmu.edu; dmarc=pass (p=NONE sp=NONE dis=NONE) header.from=cmu.edu DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlegroups.com; s=20161025; h=sender:from:mime-version:subject:message-id:date:cc:to :x-original-sender:x-original-authentication-results:precedence :mailing-list:list-id:list-post:list-help:list-archive :list-unsubscribe; bh=BFm+eJu6YJtPB4nneO4ywEzhBmyjAKtZCOUyj8FfGR8=; b=rSvSkgEe7irW+uYkQIwIK9Z0k2OErxXJC4s1UnZYrZMU1cqVrfOjrfELaPIOXNHWb2 uKTJ97RJBsiw64aJPKtMyMxXvtF2KLf9IC6eZeRaZZEBfXYPYwGoREgpToWM+KZy/rx0 FkLv0gRpp1IwjU9vYZqniYjdOPU3nuTPF2Y9urB4MyP9728xCLgYxS+IDBaTiBVaJfK+ lykr4rQGxQK/LTsxGE8E1dkw2URwNAsgh3Nqlf2BKKY/xf9FoPDNVlgmb8NXxVUPRMBD pOONeXHC7ug/h8GDORwf6n/yAUY6HlpKEDWfWoj6kHSOXoLHhGXcIE1B5rDTkkQRPz9W G9BQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=sender:x-gm-message-state:from:mime-version:subject:message-id:date :cc:to:x-original-sender:x-original-authentication-results :precedence:mailing-list:list-id:x-spam-checked-in-group:list-post :list-help:list-archive:list-unsubscribe; bh=BFm+eJu6YJtPB4nneO4ywEzhBmyjAKtZCOUyj8FfGR8=; b=IhD7njqDJWHXecVwN2oP3LuGrrGwFpWAn6wijvUKD38BtCELHmw/g/r63dgDvB9677 BF4FDcUApJ+G+EQzt7QlbiRg++K9LOAh1Mv+YzQ+u0DLFN/mU9ELuKWS6B6S9ODXslju hTQWWHDaqS1ZYd2YL5zz8OBfxQJdHgZPEN9T7Fpm5sxcee7/01mAcbwIUObPWWZuhRX/ qkFhQGagxxL/yyaKC8vB2fu/FE5m2Cube75nQJacTNW7jmMzFtHkbqdHdaPrSYN9uYU/ 6spkJ7M5W9QEPoQH5ZrGP77gdMMs/n14iKbGZw0n2it37FnaZXiRmOWIKuVfpKh5Q6Ip beCQ== Sender: homotopytypetheory@googlegroups.com X-Gm-Message-State: APjAAAWUvRv0tdiVC07B6t/MeXKx5uJA7KW0JFhh0F/nsqB8P1yKqWuM 6TnobayMARo+HP6+gxzxFOQ= X-Google-Smtp-Source: APXvYqyflG41+g2obXn8+E5mlK/wsI7CdoU+jVdgt0O/B6Rcl1d78oFhLpFEh8JaSxFO5cb0fnWSHw== X-Received: by 2002:a17:906:eb93:: with SMTP id mh19mr15535106ejb.42.1560625460735; Sat, 15 Jun 2019 12:04:20 -0700 (PDT) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:a17:906:f89:: with SMTP id q9ls2894198ejj.8.gmail; Sat, 15 Jun 2019 12:04:20 -0700 (PDT) X-Received: by 2002:a17:906:ad86:: with SMTP id la6mr68214984ejb.43.1560625458132; Sat, 15 Jun 2019 12:04:18 -0700 (PDT) ARC-Seal: i=1; a=rsa-sha256; t=1560625458; cv=none; d=google.com; s=arc-20160816; b=b+ekgokOrv0HD4dwtHTkEEUX15G+P0f0/j97+ZbVRfEGVfNHhFcyCCoQ6deexHvBam cG4XVA8ZPmP1RhDl9PaLh+LnieQER0NWylIQXAWXbYttNNApWkGaUyviu/GCtiJnI4xw mBD/LYY4VPTgYyu8BsvGjlI0/gghoY4zY2zpXrSFhEOOH08kOMMU6Wh1E+I/Z6kJ09TW baXdlQXmOapjuUcMfPTLhRz20l5iSwDr/BUstI0fq2vivmziAYnNSfPXbFNbOnreTuQR phXq4iCl+yd9K2cxS1mzGvfBbnNCmlcWZG5uRdrr8/hSUz/XMCj94VkFL32FGjQux857 aMZw== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=to:cc:date:message-id:subject:mime-version:from:dkim-signature; bh=vvB62tsHa1H7EHXukRH8OlJNJSOEnTR6QYM7agY1BDY=; b=avGMoLIhKP4Hyviv+mCZYRs/0tWHPbPW6k4j/tzGA3ggmN5vvq5E8ViM7le2jAvEwq jTJ24GGTSub1c2r8jpGC0hDa/kv+6PypuGWc8Qq/8pe+tnORWsy97RfKMDMTkyp4ojjB Ewx+7/p2b4iQdWvQdJZPVbxnQDypGAb2Y/oMwSbiiWr8TVbAqRuUH45n2h6XfwWnpgEn ZI0NXgPfwaQjEP+hEDZNx5yoUedfpnBbnxA4Uqamqx2hSj1hR5Hi8daYweFteITQbGzO ayrWixOLoP0r1mkywaHiheyC87vXfIHZ9xdNgPcG3OeRBl3GIEPH76nCh+6LHsVAzz2s Rr/A== ARC-Authentication-Results: i=1; gmr-mx.google.com; dkim=pass header.i=@cmu-edu.20150623.gappssmtp.com header.s=20150623 header.b=J1O5gGfR; spf=pass (google.com: domain of awodey@andrew.cmu.edu designates 2a00:1450:4864:20::22a as permitted sender) smtp.mailfrom=awodey@andrew.cmu.edu; dmarc=pass (p=NONE sp=NONE dis=NONE) header.from=cmu.edu Received: from mail-lj1-x22a.google.com (mail-lj1-x22a.google.com. [2a00:1450:4864:20::22a]) by gmr-mx.google.com with ESMTPS id r8si148104edh.4.2019.06.15.12.04.18 for (version=TLS1_3 cipher=AEAD-AES128-GCM-SHA256 bits=128/128); Sat, 15 Jun 2019 12:04:18 -0700 (PDT) Received-SPF: pass (google.com: domain of awodey@andrew.cmu.edu designates 2a00:1450:4864:20::22a as permitted sender) client-ip=2a00:1450:4864:20::22a; Received: by mail-lj1-x22a.google.com with SMTP id p17so5590215ljg.1 for ; Sat, 15 Jun 2019 12:04:18 -0700 (PDT) X-Received: by 2002:a2e:9a13:: with SMTP id o19mr18811212lji.102.1560625457305; Sat, 15 Jun 2019 12:04:17 -0700 (PDT) Received: from [192.168.2.6] (cm-84.211.232.172.getinternet.no. [84.211.232.172]) by smtp.gmail.com with ESMTPSA id b62sm1181920ljb.71.2019.06.15.12.04.15 (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Sat, 15 Jun 2019 12:04:16 -0700 (PDT) From: Steve Awodey Content-Type: multipart/alternative; boundary="Apple-Mail=_876DD67F-BD38-4B57-83A2-BD89B2AE1BCB" Mime-Version: 1.0 (Mac OS X Mail 11.5 \(3445.9.1\)) Subject: [HoTT] LFCS '20 first call for papers Message-Id: <52786E5C-589D-4D7D-9BAD-D62C48A05BFD@cmu.edu> Date: Sat, 15 Jun 2019 21:04:14 +0200 Cc: CMU HoTT To: Homotopy Type Theory X-Mailer: Apple Mail (2.3445.9.1) X-Original-Sender: awodey@cmu.edu X-Original-Authentication-Results: gmr-mx.google.com; dkim=pass header.i=@cmu-edu.20150623.gappssmtp.com header.s=20150623 header.b=J1O5gGfR; spf=pass (google.com: domain of awodey@andrew.cmu.edu designates 2a00:1450:4864:20::22a as permitted sender) smtp.mailfrom=awodey@andrew.cmu.edu; dmarc=pass (p=NONE sp=NONE dis=NONE) header.from=cmu.edu Precedence: list Mailing-list: list HomotopyTypeTheory@googlegroups.com; contact HomotopyTypeTheory+owners@googlegroups.com List-ID: X-Google-Group-Id: 1041266174716 List-Post: , List-Help: , List-Archive: , --Apple-Mail=_876DD67F-BD38-4B57-83A2-BD89B2AE1BCB Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset="UTF-8" Call for papers: Symposium on LOGICAL FOUNDATIONS OF COMPUTER SCIENCE (LFCS= =E2=80=9920), Deerfield Beach, Florida, January 4-7, 2020. LFCS Steering Committee: Anil Nerode, (Ithaca, NY, General Chair); Stephen = Cook (Toronto); Dirk van Dalen (Utrecht); Yuri Matiyasevich (St.Petersburg,= Russia); Samuel Buss (San Diego); Gerald Sacks (Cambridge, MA); Andre Sced= rov (Philadelphia, PA); Dana Scott, (Pittsburgh, PA - Berkeley, CA). LFCS topics of interest include, but are not limited to: constructive mathe= matics and type theory; homotopy type theory; logic, automata, and automati= c structures; computability and randomness; logical foundations of programm= ing; logical aspects of computational complexity; parameterized complexity;= logic programming and constraints; automated deduction and interactive th= eorem proving; logical methods in protocol and program verification; logic= al methods in program specification and extraction; domain theory logics; l= ogical foundations of database theory; equational logic and term rewriting;= lambda and combinatory calculi; categorical logic and topological semantic= s; linear logic; epistemic and temporal logics; intelligent and multiple ag= ent system logics; logics of proof and justification; nonmonotonic reasonin= g; logic in game theory and social software; logic of hybrid systems; distr= ibuted system logics; mathematical fuzzy logic; system design logics; other= logics in computer science. LFCS=E2=80=9920 Program Committee: Sergei Artemov (New York, NY) - PC Chair= ; Eugene Asarin (Paris); Steve Awodey (Pittsburgh, PA); Lev Beklemishev (Mo= scow); Andreas Blass (Ann Arbor, MI); Samuel Buss (San Diego, CA); Robert C= onstable (Ithaca, NY); Thierry Coquand (G=C3=B6teborg); Ruy de Queiroz (Rec= ife); Nachum Dershowitz (Tel Aviv); Melvin Fitting (New York); Sergey Gonch= arov (Novosibirsk); Denis Hirschfeldt (Chicago, IL); Rosalie Iemhoff (Utrec= ht); Hajime Ishihara (JAIST - Kanazawa); Bakhadyr Khoussainov (Auckland); R= oman Kuznets (Vienna); Daniel Leivant (Bloomington, IN); Robert Lubarsky (B= oca Raton, FL); Victor Marek (Lexington, KY); Lawrence Moss (Bloomington, I= N); Anil Nerode (Ithaca, NY) - General LFCS Chair; Hiroakira Ono (JAIST - K= anazawa); Alessandra Palmigiano (Delft); Ramaswamy Ramanujam (Chennai); Mi= chael Rathjen (Leeds); Sebastiaan Terwijn (Nijmegen).=20 Submission details. Proceedings will be published in the Springer LNCS series. Submissions shou= ld be made electronically via easychair. Submitted papers must be in pdf/12= pt format and of no more than 15 pages, present work not previously publish= ed, and must not be submitted concurrently to another conference with refer= eed proceedings.=20 LFCS issues the best student paper award named after John Barkley Rosser Sr= . (1907-1989), a prominent American logician with fundamental contributions= in both Mathematics and Computer Science. Important Dates. Submissions deadline: midnight September 10, 2019, any time zone. Notification: October 10, 2019. Symposium dates: January 4 =E2=80=93 7, 2020. Local Arrangements. The venue of LFCS 2020 will be the spectacular Wyndham Deerfield Beach Reso= rt, 2096 NE 2nd Street, Deerfield Beach, Florida 33441. Website: http://www= .wyndhamdeerfieldresort.com LFCS=E2=80=9920 Local Organizing Committee Chair is Robert Lubarsky, Florid= a Atlantic University. Further Information about LFCS=E2=80=9920: http://lfcs.ws.gc.cuny.edu/ =20 Expected sponsorships: The US National Science Foundation (NSF), Associatio= n for Symbolic Logic (ASL), The City University of New York Research Founda= tion.=20 =20 --=20 You received this message because you are subscribed to the Google Groups "= constructivenews" group. To unsubscribe from this group and stop receiving emails from it, send an e= mail to constructivenews+unsubscribe@googlegroups.com . To view this discussion on the web visit https://groups.google.com/d/msgid/= constructivenews/008f01d5238f%244c6ff9c0%24e54fed40%24%40att.net . For more options, visit https://groups.google.com/d/optout . --=20 You received this message because you are subscribed to the Google Groups "= Homotopy Type Theory" group. To unsubscribe from this group and stop receiving emails from it, send an e= mail to HomotopyTypeTheory+unsubscribe@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/= HomotopyTypeTheory/52786E5C-589D-4D7D-9BAD-D62C48A05BFD%40cmu.edu. For more options, visit https://groups.google.com/d/optout. --Apple-Mail=_876DD67F-BD38-4B57-83A2-BD89B2AE1BCB Content-Transfer-Encoding: quoted-printable Content-Type: text/html; charset="UTF-8"

Call for papers: Symposium on LOGICAL FOUNDATIONS OF COMP= UTER SCIENCE (LFCS=E2=80=9920), Deerfield Beach, Florida, January 4-7, 2020= .

LFCS Steering Committee: Anil Nerode, (Ithac= a, NY, General Chair); Stephen Cook (Toronto); Dirk van Dalen (Utrecht); Yu= ri Matiyasevich (St.Petersburg, Russia); Samuel Buss (San Diego); Gerald Sa= cks (Cambridge, MA); Andre Scedrov (Philadelphia, PA); Dana Scott, (Pittsbu= rgh, PA - Berkeley, CA).

LFCS topics of intere= st include, but are not limited to: constructive mathematics and type theor= y; homotopy type theory; logic, automata, and automatic structures; computa= bility and randomness; logical foundations of programming; logical aspects = of computational complexity; parameterized complexity;  logic programm= ing and constraints; automated deduction and interactive theorem proving; l= ogical methods in protocol and program verification;  logical methods = in program specification and extraction; domain theory logics; logical foun= dations of database theory; equational logic and term rewriting; lambda and= combinatory calculi; categorical logic and topological semantics; linear l= ogic; epistemic and temporal logics; intelligent and multiple agent system = logics; logics of proof and justification; nonmonotonic reasoning; logic in= game theory and social software; logic of hybrid systems; distributed syst= em logics; mathematical fuzzy logic; system design logics; other logics in = computer science.

LFCS=E2=80=9920 Program Comm= ittee: Sergei Artemov (New York, NY) - PC Chair; Eugene Asarin (Paris); Ste= ve Awodey (Pittsburgh, PA); Lev Beklemishev (Moscow); Andreas Blass (Ann Ar= bor, MI); Samuel Buss (San Diego, CA); Robert Constable (Ithaca, NY); Thier= ry Coquand (G=C3=B6teborg); Ruy de Queiroz (Recife); Nachum Dershowitz (Tel= Aviv); Melvin Fitting (New York); Sergey Goncharov (Novosibirsk); Denis Hi= rschfeldt (Chicago, IL); Rosalie Iemhoff (Utrecht); Hajime Ishihara (JAIST = - Kanazawa); Bakhadyr Khoussainov (Auckland); Roman Kuznets (Vienna); Danie= l Leivant (Bloomington, IN); Robert Lubarsky (Boca Raton, FL); Victor Marek= (Lexington, KY); Lawrence Moss (Bloomington, IN); Anil Nerode (Ithaca, NY)= - General LFCS Chair; Hiroakira Ono (JAIST - Kanazawa);  Alessandra P= almigiano (Delft); Ramaswamy Ramanujam (Chennai); Michael Rathjen (Leeds); = Sebastiaan Terwijn (Nijmegen). <= /span>

Submission details.
Proce= edings will be published in the Springer LNCS series. Submissions should be= made electronically via easychair. Submitted papers must be in pdf/12pt fo= rmat and of no more than 15 pages, present work not previously published, a= nd must not be submitted concurrently to another conference with refereed p= roceedings. 

LFCS issues the best student paper award named after John = Barkley Rosser Sr. (1907-1989), a prominent American logician with fundamen= tal contributions in both Mathematics and Computer Science.
<= br class=3D"">Important Dates.
Submissions deadline: midnight= September 10, 2019, any time zone.
Notification: October 10,= 2019.
Symposium dates: January 4 =E2=80=93 7, 2020.

Local Arrangements.
The venue of LFCS 20= 20 will be the spectacular Wyndham Deerfield Beach Resort, 2096 NE 2nd Stre= et, Deerfield Beach, Florida 33441. Website: http= ://www.wyndhamdeerfieldresort.com

LFCS=E2= =80=9920 Local Organizing Committee Chair is Robert Lubarsky, Florida Atlan= tic University.

Further Information about LFCS= =E2=80=9920:  http://lfcs.ws.g= c.cuny.edu/ 

Expected sponsorships: The US National Science Foundat= ion (NSF), Association for Symbolic Logic (ASL), The City University of New= York Research Foundation. 


 

-- 
You received this message because you are subscribed to the Google Gr= oups "constructivenews" group.
To unsubscribe from this group and stop receiving ema= ils from it, send an email to constructivenews+unsubscribe@googlegroups.com.
To view this discussion on the web visit https://groups.= google.com/d/msgid/constructivenews/008f01d5238f%244c6ff9c0%24e54fed40%24%4= 0att.net.
For more options, visit https://groups.google.com/d/optout= .

--
You received this message because you are subscribed to the Google Groups &= quot;Homotopy Type Theory" group.
To unsubscribe from this group and stop receiving emails from it, send an e= mail to = HomotopyTypeTheory+unsubscribe@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid= /HomotopyTypeTheory/52786E5C-589D-4D7D-9BAD-D62C48A05BFD%40cmu.edu.
For more options, visit http= s://groups.google.com/d/optout.
--Apple-Mail=_876DD67F-BD38-4B57-83A2-BD89B2AE1BCB--