From mboxrd@z Thu Jan 1 00:00:00 1970 X-Received: by 2002:a5b:d47:: with SMTP id f7mr8368158ybr.396.1584456122830; Tue, 17 Mar 2020 07:42:02 -0700 (PDT) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:a25:c102:: with SMTP id r2ls7688309ybf.5.gmail; Tue, 17 Mar 2020 07:42:01 -0700 (PDT) X-Received: by 2002:a25:bfc1:: with SMTP id q1mr2367913ybm.60.1584456121490; Tue, 17 Mar 2020 07:42:01 -0700 (PDT) ARC-Seal: i=1; a=rsa-sha256; t=1584456121; cv=none; d=google.com; s=arc-20160816; b=rmWF/E8KxVK9alhvAJHVFANOziSWFp6PJ4vNG0ZKai8qZOeuhtKpbR/12NlhhET5m9 bqwfbI6O86iuWqJbikHNtkCHklzu2RQF0XdZp1IoCOdFJ009C8T8ai60IHvpZYjBd5Su wUd13mileOjXjLPOpbuse9lYhbC1eh49G9tgshigiBprokbkeJUgYNdTCWXoK4HVoA+w Nw6m63X7IQ/gZeFJBlDQUEXZoNBp21rBoPToVU42xig1o2JLIBY95dzvTntvzXn73ECx oJNo6MrcRxDettYgH0gpxIkv6jniafakEEeOiLeY+uaQ8puFx/rPppG6GgART/U82Y/l jEVg== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=to:subject:message-id:date:from:mime-version:dkim-signature; bh=fvOkxNyuHNXfS9Gl9CfNs6uGATcJHHFLT8bKNYJDpBQ=; b=lE5n7oZPZWzO19jSqx0q/ojCx5qBhz1/6NoyXCoifKxT+f8GvKxeZ82EDHAsnWNn/R rYMmWi27lmyjqwDmXnbOsiXcvtbTqqnRTR6+2z8edh8ZrKPUDUjqa8C1lPiaUAczzLvO v6TU5wPPHpH2TzgQg8e3q3LO/18HeDNvHgeR/oFbEFBphJeOXBXcNv3JS11PinOLpzI6 +cluFM3mCumkxFuakPfZchsqnlt+wyxQ9mwEcP234kjrpwgVju7jQPRAR3cWP/k/QOJV JmAYkRI28JFbJNoptx7OGsmULmH+AJ8ZLoFkTj2QjCKzrXDHt1J4EfIbr+/pYvdd61Di Nx7A== ARC-Authentication-Results: i=1; gmr-mx.google.com; dkim=pass head...@gmail.com header.s=20161025 header.b=lxxuwZsA; spf=pass (google.com: domain of noam.ze...@gmail.com designates 2607:f8b0:4864:20::e35 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-xe35.google.com (mail-vs1-xe35.google.com. [2607:f8b0:4864:20::e35]) by gmr-mx.google.com with ESMTPS id x13si327635ybs.4.2020.03.17.07.42.01 for (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Tue, 17 Mar 2020 07:42:01 -0700 (PDT) Received-SPF: pass (google.com: domain of noam.ze...@gmail.com designates 2607:f8b0:4864:20::e35 as permitted sender) client-ip=2607:f8b0:4864:20::e35; Authentication-Results: gmr-mx.google.com; dkim=pass head...@gmail.com header.s=20161025 header.b=lxxuwZsA; spf=pass (google.com: domain of noam.ze...@gmail.com designates 2607:f8b0:4864:20::e35 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-xe35.google.com with SMTP id a63so4035380vsa.8 for ; Tue, 17 Mar 2020 07:42:01 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=mime-version:from:date:message-id:subject:to; bh=fvOkxNyuHNXfS9Gl9CfNs6uGATcJHHFLT8bKNYJDpBQ=; b=lxxuwZsAdDtU0jUru97AC1hsoLiUp5rjSIGkDa1mHplfS3LZJ+MzyhlIWYieZkfQXh +jehN3RtvQZax0RlZmoCdD8lV31a2Iw/+aJBvkxErYwCIe9fcG03R9o0vpUS4EMiaFEh uVvgsc81UZgB647Fw9mn6OT+8T1rlhtx7wTdnQnBd0HZ2kMqCpufd4oS/er3MsFnJR8T GA+89SLXACS1l3WnT4gUXyLMAxbUe0+pfjVjKWHI8J3Gh+2VpYGDMwmn+lB+/X3rlagR gCoVdsJRlIb+7lXz38rbNO0s4iGm0hJ80CWPteiY6j/ejpxff9PYDSD2e+2qL038MUIS 7LzQ== X-Gm-Message-State: ANhLgQ0hw8aIDs/DXF61hN+O+fujc07nZGSYfxe4UtX1GFs8VeHoED1N ODky9Big3hqZhqu8ckYQ7c5GQNQCh9J0k4fsl1K8Efg9jj7i X-Received: by 2002:a67:ea54:: with SMTP id r20mr3637211vso.217.1584456120825; Tue, 17 Mar 2020 07:42:00 -0700 (PDT) MIME-Version: 1.0 From: Noam Zeilberger Date: Tue, 17 Mar 2020 15:41:49 +0100 Message-ID: Subject: Second Call for Nominations: E. W. Beth Outstanding Dissertation Prize 2020 To: "HomotopyT...@googlegroups.com" Content-Type: multipart/alternative; boundary="0000000000003e7acd05a10df0b9" --0000000000003e7acd05a10df0b9 Content-Type: text/plain; charset="UTF-8" forwarding on the part of Mehrnoosh Sadrzadeh: ==== 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). Nominations are now invited for the best dissertation in these areas resulting in a Ph.D. degree awarded in 2019. The deadline for nominations is the 15th of April 2020. Qualifications: - A dissertation is eligible for the Beth Dissertation Prize 2020, if the Ph.D. degree has been awarded in Logic, Language, or Information between January 1st and December 31st, 2019. - There are no restrictions on the nationality, ethnicity, age, gender or employment status of the author of the nominated dissertation, nor on the university, academic department or scientific institution formally conferring the Ph.D. degree, nor on the language in which the dissertation has originally been written. - In accordance with the aim of the Beth Foundation to continue and extend the work of the Dutch logician Evert Willem Beth, nominations are invited of excellent dissertations on current topics in philosophical and mathematical logic, computer science logic, philosophy of science, philosophy of language, history of logic, history of the philosophy of science and scientific philosophy in general, as well as the current theoretical and foundational developments in information and computation, language and cognition. Dissertations with results more broadly impacting various research areas in their interdisciplinary investigations are especially solicited. - If a nominated dissertation has originally been written in a language other than English, its dossier should still contain the required 10 page English abstract, see below. If the committee decides that a nominated dissertation in a language other than English requires translation to English for proper evaluation, the committee can transfer its nomination to the competition in 2021. The English translation must in such cases be submitted before the deadline of the call for nominations in 2021. The committee may recommend the Beth Foundation to consider supporting such nominated dissertations for English translation, upon request by the author of the dissertation. The prize consists of: - a certificate - a donation of 3000 euros, provided by the E.W. Beth Foundation - an invitation to submit the dissertation, possibly after revision, for publication in FoLLI Publications on Logic, Language and Information (Springer). Only digital submissions are accepted, without exception. Hard copy submissions are not allowed. 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 with the submission one should contact the chair of the committee Mehrnoosh Sadrzadeh (m.sad...@ucl.ac.uk). The prize will be awarded by the chair of the FoLLI board at a ceremony during the 32nd ESSLLI summer school in University of Utrecht, August 3-14, 2020. 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) --0000000000003e7acd05a10df0b9 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
forwarding on the part of Mehrnoosh Sadrzadeh:
<= div>=3D=3D=3D=3D
Since 2002, the Association for Logic,=20 Language, and Information (FoLLI) has been awarding the annual E.W. Beth Dissertation Prize to outstanding Ph.D. dissertations in Logic,=20 Language, and Information (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). Nominations are now invited for the best dissertation in these areas resul= ting in a Ph.D. degree awarded in 2019.

The deadline for nominations is the 15th = of April 2020.

Qualifications:

=C2=A0 - A dissertation is eligible for the Beth Dissertation Prize=20 2020, if the Ph.D. degree has been awarded in Logic, Language, or=20 Information between January 1st and December 31st, 2019.
=C2=A0 - There are no restrictions on the nationality, ethnicity, age,=20 gender or employment status of the author of the nominated dissertation, nor on the university, academic department or scientific institution=20 formally conferring the Ph.D. degree, nor on the language in which the dissertation has originally been written.=
=C2=A0 -=C2=A0 In accordance with the aim of the Beth Foundation to continu= e=20 and extend the work of the Dutch logician Evert Willem Beth, nominations are invited of excellent dissertations on current topics in=20 philosophical and mathematical logic, computer science logic, philosophy of science, philosophy of language, history of logic, history of the philosophy of science and scientific philosophy in=20 general, as well as the current theoretical and foundational=20 developments in information and computation, language and cognition. Dissertations with results more broadly impacting various=20 research areas in their interdisciplinary investigations are especially=20 solicited.
=C2=A0 -=C2=A0 If a nominated dissertation has originally been written in a= =20 language other than English, its dossier should still contain the=20 required 10 page English abstract, see below. If the committee decides=20 that a nominated dissertation in a language other than English requires translation to English for proper evaluation, the committee can transfer its nomination to the competition in 2021. The=20 English translation must in such cases be submitted before the deadline=20 of the call for nominations in 2021. The committee may recommend the Beth Foundation to consider supporting such nominated dissertations for English translation, upon request by the author of=20 the dissertation.


The prize consists of:

=C2=A0 - a certificate
=C2=A0 - a donation of 3000 euros, provided by the E.W. Beth Foundation
=C2=A0 - an invitation to submit the dissertation, possibly after=20 revision, for publication in FoLLI Publications on Logic, Language and=20 Information (Springer).


Only digital submissions are accepted,=20 without exception. Hard copy submissions are not allowed. The following=20 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=20 concisely describes the scope and significance of the dissertation,=20 stating when the degree was officially awarded and the members of the=20 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 referee not affiliated with the academic institution that awarded the=20 Ph.D. degree, nor otherwise related to the nominee (e.g. former=20 teachers, supervisors, co-authors, publishers or relatives) or the dissertation.
=C2=A0 - Self-nominations are not possible.

All pdf documents must be submitted elect= ronically, as one zip file, via EasyChair by following the link https://easychair.org/conferences/?conf=3Dbdp2020. In case of any problems with the submission one should contact the chair of the committee Mehrnoosh Sadrzad= eh (m.sad...@ucl.ac= .uk).

The prize will be awarded by the chair=20 of the FoLLI board at a ceremony during the 32nd ESSLLI summer school in University of Utrecht, August 3-14, 2020.

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 (Universities 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)<= /div>
--0000000000003e7acd05a10df0b9--