From mboxrd@z Thu Jan 1 00:00:00 1970 X-Received: by 2002:a17:90a:2f62:: with SMTP id s89mr4987132pjd.100.1586361041212; Wed, 08 Apr 2020 08:50:41 -0700 (PDT) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:a62:2b4d:: with SMTP id r74ls3544698pfr.3.gmail; Wed, 08 Apr 2020 08:50:39 -0700 (PDT) X-Received: by 2002:a63:8249:: with SMTP id w70mr1289659pgd.52.1586361038728; Wed, 08 Apr 2020 08:50:38 -0700 (PDT) ARC-Seal: i=1; a=rsa-sha256; t=1586361038; cv=none; d=google.com; s=arc-20160816; b=JKhwXFqZq/PoCpSQelCjGulAgUxFUUrPAxQsVJWixOjl/0k0OuhzPGupoWmA4og0nu P22IxWq6Xm6n+Zhj7Yl263kvy6pRZZ7JhHyhIDoLZUBWHtGR2PgVVgOzAL3VJHR4J+kI oOpDeiXuXw0940nP5DBp4cH0R+ojAJDxKOkK3iefDHuca4wyPYcVt4CoPPDAWZVw2kO0 RTOExBp6VbtqJ0AWHsFPJ9EQ4GGgLfo5pmHZJ3I7nDAO85707fMTvU9e4KXFAse7VhJf mZz36kdJBCUP57nx35gKpglU3v1jgFg1ExnRcl83r05P7pteInqFnCL0DDVh/7SQi2Ge qfRQ== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=to:subject:message-id:date:from:in-reply-to:references:mime-version :dkim-signature; bh=C/67uqt/fPLYWGpaSKx8bdNAI36d/Brx73VqwXz8CQQ=; b=BVyfpGhlBebMf14k8oKfmpEDL2bqKGBBmQHcyktbVpMvHRGrUlHD7KkrQtuW0V3WOk cR+BfaM2YDFQeh1Fv461fwFmEgSOHN1MjycPVPkXPZtaeIdevqGuaANFMxRSGkiRoOqE FhV4a29aeq51+io/YZ/DDoYYKsa+HpIpsJPqj2zYhWw0VDEz3+my5vBTqqmzHcamtyUv 0Sj/6Kgxe6wCefsR1kYEbNFcjXiz2Sj9umWzX6Of+6I/0ktzcHx7GLvVhnZQ8EkUiEkG wRd1Rn4YrueN3cvlzbRiLE9/OxRSRyJEsM4Dv/EJNAORe+ZtqOARrfK3iLRoZP8yI5ZS nQYg== ARC-Authentication-Results: i=1; gmr-mx.google.com; dkim=pass head...@gmail.com header.s=20161025 header.b=o1chJ7bU; spf=pass (google.com: domain of noam.ze...@gmail.com designates 2607:f8b0:4864:20::e34 as permitted sender) smtp.mailfrom=noam.ze...@gmail.com; dmarc=pass (p=NONE sp=QUARANTINE dis=NONE) header.from=gmail.com Return-Path: Received: from mail-vs1-xe34.google.com (mail-vs1-xe34.google.com. [2607:f8b0:4864:20::e34]) by gmr-mx.google.com with ESMTPS id 74si492840pfy.0.2020.04.08.08.50.38 for (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Wed, 08 Apr 2020 08:50:38 -0700 (PDT) Received-SPF: pass (google.com: domain of noam.ze...@gmail.com designates 2607:f8b0:4864:20::e34 as permitted sender) client-ip=2607:f8b0:4864:20::e34; Authentication-Results: gmr-mx.google.com; dkim=pass head...@gmail.com header.s=20161025 header.b=o1chJ7bU; spf=pass (google.com: domain of noam.ze...@gmail.com designates 2607:f8b0:4864:20::e34 as permitted sender) smtp.mailfrom=noam.ze...@gmail.com; dmarc=pass (p=NONE sp=QUARANTINE dis=NONE) header.from=gmail.com Received: by mail-vs1-xe34.google.com with SMTP id z125so4912762vsb.13 for ; Wed, 08 Apr 2020 08:50:38 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=mime-version:references:in-reply-to:from:date:message-id:subject:to; bh=C/67uqt/fPLYWGpaSKx8bdNAI36d/Brx73VqwXz8CQQ=; b=o1chJ7bUWV+XH86Ba3e4OmIvRWaqKj2onh6FVKjfGK7qttMxnGN/C9pMk6O6PcxaVU GnkjwlyEHTIX+LnMzik1m7n66MRh93bJffUGbNw4d6g8AEBAUw9I1dENSz9bo1Xrf6qO 5W8K+IPT35VC/gBa7O8e0OwtaIgWwbKymF9Di+adBBvxYTpt4HN0oqckl1RnvlvGZ97D 6I4eiY/M/1JcFfrFWhsHxSTffRPz5anP91Xvv5+3yvFZ6qhGLgCCvbHUfjkUFiw/NaTv wtFiKihwoY4qx3Qq0nZMDIkRftEZ27YIDoV5B+gyHpDf53/UKHv3YSSSi/x5OM5y2qYK rLYg== X-Gm-Message-State: AGi0PuZKgfffMpd1v5sdvndEtJt9xOPFeNGW0g04YHEtKQ4qT9I2656L 0/Jc6B9yJsI+N9XD4swfvQmt9lK1oljcskmy/VnQFlk= X-Received: by 2002:a67:6944:: with SMTP id e65mr376461vsc.217.1586361037138; Wed, 08 Apr 2020 08:50:37 -0700 (PDT) MIME-Version: 1.0 References: <35B61141-915E-4B31-8EAA-80399495D2BC@ucl.ac.uk> <10604891-E0CF-43F3-8563-57581C9BD1BE@ucl.ac.uk> In-Reply-To: <10604891-E0CF-43F3-8563-57581C9BD1BE@ucl.ac.uk> From: Noam Zeilberger Date: Wed, 8 Apr 2020 17:50:24 +0200 Message-ID: Subject: Fwd: [TYPES/announce] Deadline Extension for E. W. Beth Outstanding Dissertation Prize 2020 To: "HomotopyT...@googlegroups.com" Content-Type: multipart/alternative; boundary="0000000000001aaed505a2c976d3" --0000000000001aaed505a2c976d3 Content-Type: text/plain; charset="UTF-8" ---------- Forwarded message --------- From: Sadrzadeh, Mehrnoosh Date: Wed, 8 Apr 2020 at 14:55 Subject: [TYPES/announce] Deadline Extension for E. W. Beth Outstanding Dissertation Prize 2020 To: fo...@folli.info , m...@cs.earlham.edu < m...@cs.earlham.edu>, Proof...@lists.bath.ac.uk < Proof...@lists.bath.ac.uk>, categ...@mta.ca , types-a...@lists.seas.upenn.edu , elsne...@list.hum.uu.nl , l...@groupes.renater.fr , nordl...@uib.no < nordl...@uib.no>, formal...@cs.haifa.ac.il < formal...@cs.haifa.ac.il>, PHILOS-L...@listserv.liv.ac.uk < PHILOS-L...@listserv.liv.ac.uk>, co...@sussex.ac.uk , phil...@louisiana.edu , ucam-langua...@lists.cam.ac.uk < ucam-langua...@lists.cam.ac.uk>, ne...@thereasoner.org < ne...@thereasoner.org>, ifi-ci...@lists.tu-clausthal.de < ifi-ci...@lists.tu-clausthal.de>, sema...@uni-duesseldorf.de < sema...@uni-duesseldorf.de> [ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Deadline Extension for E. W. Beth Outstanding Dissertation Prize 2020 The Beth Dissertation Prize is to go ahead in 2020 with a deadline extension to *30th of April 2020*. Nominations are welcome for the best dissertations in the areas of logic, language and information, resulting in a Ph.D. degree awarded in 2019. The 32nd ESSLLI summer school is postponed to 2021, due to the spread of CV-19. The Beth Prize will be awarded either through a virtual ceremony in 2020 or a presentation in ESSLLI 2021. The winner will be announced in early July 2020. For details about the qualifications and the prize, see http://www.folli.info/?page_id=74. Only digital submissions are accepted. The following documents are to be submitted in the nomination dossier: - The original dissertation in pdf format (ps/doc/rtf etc. not acceptable). - A ten-page English abstract of the dissertation, presenting the main results of each chapter. - A letter of nomination from the dissertation supervisor, which concisely describes the scope and significance of the dissertation, stating when the degree was officially awarded and the members of the Ph.D. committee. Nominations should contain the address, phone and email details of the nominator. - Two additional letters of support, including at least one from a referee not affiliated with the academic institution that awarded the Ph.D. degree, nor otherwise related to the nominee (e.g. former teachers, supervisors, co-authors, publishers or relatives) or the dissertation. - Self-nominations are not possible. *All pdf documents must be submitted electronically, as one zip file, via EasyChair by following the link **https://easychair.org/conferences/?conf=bdp2020 **. * In case of any problems or questions please contact the chair of the committee Mehrnoosh Sadrzadeh (m.sad...@ucl.ac.uk). Beth dissertation prize committee 2020: Samson Abramsky (University of Oxford) Maria Aloni (University of Amsterdam) Alexander Clark (Kings College London) Cleo Condoravdi (Stanford University) Robin Cooper (University of Gothenburg) Guy Emerson (University of Cambridge) Katrin Erk (University of Texas at Austin) Arash Eshghi (Hariot-Watt University) Sujata Ghosh (ISI, Chennai) Davide Grossi (Universities of Groningen and Amsterdam) Chris Haase (University College London) Aurelie Herbelot (University of Trento) Louise McNally (Universitat Pompeu Fabra Barcelona) Reinhard Muskens (University of Amsterdam) Laura Rimmell (Deep Mind) Mehrnoosh Sadrzadeh (University College London, chair) Matthew Stone (Rutgers) Jouko Vaananen (University of Helsinki) Noam Zeilberger (Ecole Polytechnique) Since 2002, the Association for Logic, Language, and Information (FoLLI) has been awarding the annual E.W. Beth Dissertation Prize to outstanding Ph.D. dissertations in Logic, Language, and Information ( http://www.folli.info/?page_id=74), with financial support of the E.W. Beth Foundation ( https://www.knaw.nl/en/awards/funds/evert-willem-beth-stichting/evert-willem-beth-foundation ). --0000000000001aaed505a2c976d3 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable


---------- Forwarded message ---------
From: Sadrzadeh, Mehrnoosh <m.sad...@ucl.ac.uk>
Date: Wed, 8 Apr 2020 at 14:55
Subject: [TYPES/announce] Deadline E= xtension for E. W. Beth Outstanding Dissertation Prize 2020
To: fo...@folli.info <fo...@folli.info>, m...@cs.earlham.edu <m..= .@cs.earlham.edu>, Proo= f...@lists.bath.ac.uk <= Proof...@lists.bath.ac.uk>, categ= ...@mta.ca <categ...@mta.ca&g= t;, types-a...@lists.sea= s.upenn.edu <type= s-a...@lists.seas.upenn.edu>, elsne...@list.hum.uu.nl <elsne...@vz07-list.im.hum.uu.nl>, l...@groupes.renater.fr <l...@groupes.renater.fr>, nordl...@uib.no <n= ordl...@uib.no>, formal.= ..@cs.haifa.ac.il <forma= l...@cs.haifa.ac.il>, PHILOS-L...@listserv.liv.ac.uk <PHILOS-L...@listserv.liv.ac.uk>, co...@sussex.ac.uk <co...@sussex.ac.uk>, phil...@louisiana.edu <phil...@louisiana.edu>, ucam-langua...@lists.cam.ac.uk <ucam-langua...@lists.cam.ac.uk>, ne...@thereasoner.org <ne...@thereasoner.org>, ifi-ci...@lists.tu-clausthal.de <ifi-ci...@lists.tu-clausthal.= de>, sema...@uni-duess= eldorf.de <sema...@uni= -duesseldorf.de>


[ The Types Forum (announcements o= nly),
=C2=A0 =C2=A0 =C2=A0http://lists.seas.upe= nn.edu/mailman/listinfo/types-announce ]


Deadline Extension for E. W. Beth Outstanding Dissertation Prize 2020

The Beth Dissertation Prize is to go ahea= d in 2020 with a deadline extension to 30th of April 2020. Nominations are welcome for the best dissertatio= ns in the areas of logic, language and information,=C2=A0 resulting in a Ph= .D. degree awarded in 2019.=C2=A0

The 32nd ESSLLI summer school is postpone= d to 2021, due to the spread of CV-19. The Beth Prize will be awarded eithe= r through a virtual ceremony in 2020 or a presentation in ESSLLI 2021. The = winner will be announced in early July 2020.


For details about the qualifications and = the prize,=C2=A0 see http://ww= w.folli.info/?page_id=3D74.=C2=A0


Only digital submissions are accepted. Th= e following documents are to be submitted in the nomination dossier:=

=C2=A0 - The original dissertation in pdf format (ps/doc/rtf etc. not accep= table).
=C2=A0 - A ten-page English abstract of the dissertation, presenting the ma= in results of each chapter.
=C2=A0 - A letter of nomination from the dissertation supervisor, which con= cisely describes the scope and significance of the dissertation, stating wh= en the degree was officially awarded and the members of the Ph.D. committee= . Nominations should contain the address, phone and email details of the nominator.
=C2=A0 - Two additional letters of support, including at least one from a r= eferee not affiliated with the academic institution that awarded the Ph.D. = degree, nor otherwise related to the nominee (e.g. former teachers, supervi= sors, co-authors, publishers or relatives) or the dissertation.
=C2=A0 - Self-nominations are not possible.

All pdf documents must be submitted el= ectronically, as one zip file, via EasyChair by following the link https://easychair.org/conferences/?conf=3Dbdp2020<= /a>.=C2=A0

In case of any problems or questions plea= se contact the chair of the committee Mehrnoosh Sadrzadeh (m.sad...@ucl.ac.uk).



Beth dissertation prize committee 2020:


Samson Abramsky (University of Oxford)
Maria Aloni (University of Amsterdam)
Alexander Clark (Kings College London)=C2=A0
Cleo Condoravdi (Stanford University)
Robin Cooper (University of Gothenburg)
Guy Emerson (University of Cambridge)
Katrin Erk (University of Texas at Austin)
Arash Eshghi (Hariot-Watt University)
Sujata Ghosh (ISI, Chennai)
Davide Grossi (Un= iversities of Groningen and Amsterdam)=C2=A0
Chris Haase (University College London)
Aurelie Herbelot (University of Trento)=C2=A0
Louise McNally (Universitat Pompeu Fabra Barcelona)
Reinhard Muskens (University of Amsterdam)
Laura Rimmell (Deep Mind)
Mehrnoosh Sadrzadeh (University College London, chair)
Matthew Stone (Rutgers)
Jouko Vaananen (University of Helsinki)
Noam Zeilberger (= Ecole Polytechnique)

Since 2002, the Association for Logic, La= nguage, and Information (FoLLI) has been awarding the annual E.W. Beth Diss= ertation Prize to outstanding Ph.D. dissertations in Logic, Language, and I= nformation (http://www.folli.info/?page_id=3D74), with financial support of the E.W. Beth Foundation (https://www.knaw.nl/en/awards/funds/evert-willem-= beth-stichting/evert-willem-beth-foundation).=C2=A0


--0000000000001aaed505a2c976d3--