From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/10114 Path: news.gmane.io!.POSTED.ciao.gmane.io!not-for-mail From: "Sadrzadeh, Mehrnoosh" Newsgroups: gmane.comp.science.types.announce,gmane.science.mathematics.prooftheory,gmane.science.mathematics.categories Subject: Call for Nominations: E. W. Beth Outstanding Dissertation Prize 2020 Date: Fri, 24 Jan 2020 06:53:06 +0000 Message-ID: Mime-Version: 1.0 Content-Type: multipart/mixed; boundary="===============1986511380701211518==" Injection-Info: ciao.gmane.io; posting-host="ciao.gmane.io:159.69.161.202"; logging-data="12600"; mail-complaints-to="usenet@ciao.gmane.io" To: "mol-V71VymMgRlXze30W9zQq0w@public.gmane.org" , "folli-WRVizKnH2qah6J55Ss3d3w@public.gmane.org" , "ProofTheory-nJFXYWEDAR8wZN84zEGlPg@public.gmane.org" , "categories-59hdLBrVOVU@public.gmane.org" , "types-announce-nHFbR+4dATOoZA3Q9b/B0PZ8FUJU4vz8@public.gmane.org" , "elsnet-list-7c3ZUmdANhgPAKkF5K/T/g@public.gmane.org" , "nordlingnet-afly1vuFV30@public.gmane.org" , "ln-mZqXLFNjc/wBFtycHlIdikZa+K1vlBrA@public.gmane.org" Original-X-From: types-announce-bounces-0AtTguNXcGkudfPDI7pAfjevRRvlBcP1@public.gmane.org Fri Jan 24 08:07:18 2020 Return-path: Envelope-to: gcst-types-announce@m.gmane-mx.org Original-Received: from mx0b-000c2a01.pphosted.com ([148.163.155.36]) by ciao.gmane.io with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.92) (envelope-from ) id 1iut3l-0003BP-Ty for gcst-types-announce@m.gmane-mx.org; Fri, 24 Jan 2020 08:07:18 +0100 Original-Received: from pps.filterd (m0128480.ppops.net [127.0.0.1]) by mx0b-000c2a01.pphosted.com (8.16.0.42/8.16.0.42) with SMTP id 00O76Twl009211; Fri, 24 Jan 2020 02:06:39 -0500 Original-Received: from leopard.seas.upenn.edu (leopard.seas.upenn.edu [158.130.64.245]) by mx0b-000c2a01.pphosted.com with ESMTP id 2xkw51apnw-1; Fri, 24 Jan 2020 02:06:39 -0500 Original-Received: from RHIZOME.seas.upenn.edu (RHIZOME.SEAS.UPENN.EDU [158.130.69.24]) by leopard.seas.upenn.edu (8.15.2/8.15.2) with ESMTP id 00O76TGD020045; Fri, 24 Jan 2020 02:06:36 -0500 Original-Received: from RHIZOME.SEAS.UPENN.EDU (localhost.upenn.edu [127.0.0.1]) by RHIZOME.seas.upenn.edu (8.15.2/8.15.2) with ESMTP id 00O76KCq009602; Fri, 24 Jan 2020 02:06:26 -0500 X-Mailman-Handler: $Id: mm-handler,v 1.2 2002/04/05 19:41:09 bwarsaw Exp $ Original-Received: from mx0b-00390e01.pphosted.com (mx0b-00390e01.pphosted.com [148.163.137.158]) by RHIZOME.seas.upenn.edu (8.15.2/8.15.2) with ESMTP id 00O6rAqG008244 for ; Fri, 24 Jan 2020 01:53:10 -0500 Original-Received: from pps.filterd (m0172793.ppops.net [127.0.0.1]) by mx0b-00390e01.pphosted.com (8.16.0.42/8.16.0.42) with SMTP id 00O6rAlI023648 for ; Fri, 24 Jan 2020 01:53:10 -0500 Original-Received: from eur01-ve1-obe.outbound.protection.outlook.com (mail-eopbgr140120.outbound.protection.outlook.com [40.107.14.120]) by mx0b-00390e01.pphosted.com with ESMTP id 2xkxeey2sx-1 (version=TLSv1.2 cipher=ECDHE-RSA-AES256-GCM-SHA384 bits=256 verify=NOT) for ; Fri, 24 Jan 2020 01:53:09 -0500 ARC-Seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=Tup+fHpCmIZ/pwbIrnQe1uL9jybgkFc1xVImYa+xlPMH9GzBkBFjJXc2tA27Gl2Fyigmoi1BJMPqp9lmK9hECg/4QwtA52/0Zg4vTXzEjH5Pn9eoZ7z1nlOD3rF0USl4ULgNoPRttMTCe2ppPEvKwTIcMeZRr6ivOpGhL81niVe96zGL2vgLLkXM6YT32q6eW6eD8A7JyZ2yIsFE+eCh+vyjo3BNu8NOCrPFpghuoCLwdZag7JN9eftKnfHdfekOSGNGIuQIcocKlXgvUTb93rGNGhINZk25+Xy9RC8zAk8h24jnaSP6yPBw8g4wzQquq5+5IuRlYhTMvIW2mckxig== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=microsoft.com; s=arcselector9901; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-SenderADCheck; bh=gVtqE1lo6hoHVUkYWTeSfA8PmEsxOYjzCLRhlTl6ghg=; b=QAYDjeAdTSTkXqUmbHx3+QJyw9XzIHOjTi07/ERJm2H+c/9/oQZfRg0g2TIJWHy7iJflPVLUfT0NRdWWQotKU1J86HeNiTtKk8ZCJq+LuLJr9jVnTeCH5gkWhVMvTceUscLWF/6JshumDZM67gDCeUt/OX/oMDELUvdTRLFHSbykS5WO6e/+5vdQL5oEH3Khat0UalEJeyPlBvJY6PSXkqakwnlD3sVjoXREblM4b1SmCmhdl7W6kIAf8PS0aVJXtjNj18JZCsDyTzQ08Hh6u+8bh5uIHxD4HdoYfrk6hu2+GuddWgdalWPmJVzUaP+0UTERjXYd4rGX8ByzUw9POw== ARC-Authentication-Results: i=1; mx.microsoft.com 1; spf=pass smtp.mailfrom=ucl.ac.uk; dmarc=pass action=none header.from=ucl.ac.uk; dkim=pass header.d=ucl.ac.uk; arc=none DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=liveuclac.onmicrosoft.com; s=selector2-liveuclac-onmicrosoft-com; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-SenderADCheck; bh=gVtqE1lo6hoHVUkYWTeSfA8PmEsxOYjzCLRhlTl6ghg=; b=WpU8yKcpjRcOHKWK+SUFOoRBjKl2Itn5zuEaCTOrRrQwO9CJEVj25G0Zuw9tECiRtElZBdi/K59SDKtygi/Wy7eFJOBcqLsgsHlvWd6le2xzcGwrxb28iD2WfVwPB+9+ffs0aAD5NxqFv5Ec3+XsgjkdFhtWD/1jWuvGgkvPOhM= Original-Received: from VI1PR0101MB2286.eurprd01.prod.exchangelabs.com (10.169.130.149) by VI1PR0101MB2574.eurprd01.prod.exchangelabs.com (10.168.68.18) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.2644.20; Fri, 24 Jan 2020 06:53:06 +0000 Original-Received: from VI1PR0101MB2286.eurprd01.prod.exchangelabs.com ([fe80::8408:5686:759:2352]) by VI1PR0101MB2286.eurprd01.prod.exchangelabs.com ([fe80::8408:5686:759:2352%2]) with mapi id 15.20.2644.028; Fri, 24 Jan 2020 06:53:06 +0000 Thread-Topic: Call for Nominations: E. W. Beth Outstanding Dissertation Prize 2020 Thread-Index: AQHV0oGHhHJcNIsge0Stlu3ZxRePow== Accept-Language: en-US Content-Language: en-US x-originating-ip: [2a00:23c4:2d92:8901:7c61:196e:da7d:23b] x-ms-publictraffictype: Email x-ms-office365-filtering-correlation-id: 1c6afec6-e47e-4a66-d505-08d7a09a1102 x-ms-traffictypediagnostic: VI1PR0101MB2574: x-microsoft-antispam-prvs: x-ms-oob-tlc-oobclassifiers: OLM:10000; x-forefront-prvs: 02929ECF07 x-forefront-antispam-report: SFV:NSPM; SFS:(10019020)(4636009)(396003)(346002)(39860400002)(376002)(366004)(136003)(209900001)(189003)(199004)(66556008)(64756008)(66446008)(66476007)(7696005)(66946007)(76116006)(786003)(316002)(110136005)(478600001)(71200400001)(186003)(8676002)(81156014)(966005)(8936002)(6506007)(33656002)(81166006)(52536014)(9686003)(55016002)(2906002)(5660300002)(86362001)(66574012)(19627405001)(6606295002); DIR:OUT; SFP:1102; SCL:1; SRVR:VI1PR0101MB2574; H:VI1PR0101MB2286.eurprd01.prod.exchangelabs.com; FPR:; SPF:None; LANG:en; PTR:InfoNoRecords; MX:1; A:1; received-spf: None (protection.outlook.com: ucl.ac.uk does not designate permitted sender hosts) x-ms-exchange-senderadcheck: 1 x-microsoft-antispam: BCL:0; x-microsoft-antispam-message-info: UXjDOU5OTNjFbYUorc/KttA3T/2GSuhUhwJ2+Yajl+4WAKNVvAo36MwMwyqmem9vBvGIyyWWLlrcyzOGv4w2t0RX4Vnjn+0pfN81d1LL2PSzCPWGNBorVtXudE7XXFWMtK8I4UkvR4B80BNEzWnrv7ZJj2Nt7Fet1JL4rmR7xRhJrZS1VpQXseJOb6B/f++DxhUTZ29U8ia8nNDISxj9Azhvm8qfdbDMxufTNVQ3/9oXxfyQiKDddeawa5r4dDqV9LYvDRpRJvIL8h/0Y383MmfiRdtsZuYpsPtwEjbkbi3zbDMaL4h84+tzDhQxqFQuzoZ2p1SOnzm8K9MS2lPSR+IyyH8FQM4D7qZH/Ld3L+48VyIpdahOnHfWNBk+/sGrx3Ax4Ec0c2iPbALd65CEdwajfBueDZ2P79AEyPYjpqkzz2gSotrWt3kOaaXIB2fO99ppp0HpByvGobBCfGO0s0w2e+YhJV+xRuCee0OGQcwz9EZWN5SdVHgbLXAkYmOHKweJvRJlDuUHFziFnCyRtBkk2ULMLZzhiu1i01jSImI= x-ms-exchange-transport-forked: True X-OriginatorOrg: ucl.ac.uk X-MS-Exchange-CrossTenant-Network-Message-Id: 1c6afec6-e47e-4a66-d505-08d7a09a1102 X-MS-Exchange-CrossTenant-originalarrivaltime: 24 Jan 2020 06:53:06.4481 (UTC) X-MS-Exchange-CrossTenant-fromentityheader: Hosted X-MS-Exchange-CrossTenant-id: 1faf88fe-a998-4c5b-93c9-210a11d9a5c2 X-MS-Exchange-CrossTenant-mailboxtype: HOSTED X-MS-Exchange-CrossTenant-userprincipalname: nMuLlUyXO+hY+Lyks3/Z53IFo5wE+W3wiIYsBqxcSqz8hdXl5miDZGdWhpPUNHqfOuiJ9v/HeL9fWITmOxkgxA== X-MS-Exchange-Transport-CrossTenantHeadersStamped: VI1PR0101MB2574 X-Language-Detected: English X-Proofpoint-Virus-Version: vendor=fsecure engine=2.50.10434:6.0.138, 18.0.572 definitions=2020-01-21_04:2020-01-21, 2020-01-21 signatures=0 X-Proofpoint-Spam-Details: rule=outbound_notspam policy=outbound score=0 phishscore=0 bulkscore=0 clxscore=191 adultscore=0 malwarescore=0 spamscore=0 impostorscore=0 priorityscore=0 mlxlogscore=999 mlxscore=0 suspectscore=0 lowpriorityscore=0 classifier=spam adjust=0 reason=mlx scancount=1 engine=8.12.0-1910280000 definitions=main-2001240055 X-Mailman-Approved-At: Fri, 24 Jan 2020 02:06:19 -0500 X-BeenThere: types-announce-0AtTguNXcGkudfPDI7pAfjevRRvlBcP1@public.gmane.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: Announcements of interest to the TYPES community List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: types-announce-bounces-0AtTguNXcGkudfPDI7pAfjevRRvlBcP1@public.gmane.org Original-Sender: "Types-announce" X-Proofpoint-Virus-Version: vendor=fsecure engine=2.50.10434:6.0.138,18.0.572 definitions=2020-01-24_01:2020-01-24,2020-01-24 signatures=0 X-Proofpoint-Spam-Details: rule=outbound_notspam policy=outbound score=0 mlxlogscore=999 phishscore=0 mlxscore=0 clxscore=1011 suspectscore=0 bulkscore=0 impostorscore=0 adultscore=0 spamscore=0 lowpriorityscore=0 priorityscore=1501 malwarescore=0 classifier=spam adjust=0 reason=mlx scancount=1 engine=8.12.0-1910280000 definitions=main-2001240056 Xref: news.gmane.io gmane.comp.science.types.announce:8883 gmane.science.mathematics.prooftheory:1634 gmane.science.mathematics.categories:10114 Archived-At: --===============1986511380701211518== Content-Type: text/plain; charset="us-ascii" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit Content-Disposition: inline [ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] --===============1986511380701211518== Content-Language: en-US Content-Type: multipart/alternative; boundary="_000_VI1PR0101MB2286E84780362A248573EE82A90E0VI1PR0101MB2286_" --_000_VI1PR0101MB2286E84780362A248573EE82A90E0VI1PR0101MB2286_ Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: quoted-printable Call for Nominations: E. W. Beth Outstanding Dissertation Prize 2020 Since 2002, the Association for Logic, Language, and Information (FoLLI) ha= s 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=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 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 J= anuary 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 conferri= ng the Ph.D. degree, nor on the language in which the dissertation has orig= inally been written. - In accordance with the aim of the Beth Foundation to continue and exte= nd the work of the Dutch logician Evert Willem Beth, nominations are invite= d of excellent dissertations on current topics in philosophical and mathema= tical logic, computer science logic, philosophy of science, philosophy of l= anguage, history of logic, history of the philosophy of science and scienti= fic philosophy in general, as well as the current theoretical and foundatio= nal developments in information and computation, language and cognition. Di= ssertations with results more broadly impacting various research areas in t= heir 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 E= nglish abstract, see below. If the committee decides that a nominated disse= rtation in a language other than English requires translation to English fo= r proper evaluation, the committee can transfer its nomination to the compe= tition in 2021. The English translation must in such cases be submitted bef= ore the deadline of the call for nominations in 2021. The committee may rec= ommend the Beth Foundation to consider supporting such nominated dissertati= ons 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 (Sprin= ger). Only digital submissions are accepted, without exception. Hard copy submiss= ions are not allowed. The following documents are to be submitted in the no= mination dossier: - The original dissertation in pdf format (ps/doc/rtf etc. not acceptable= ). - A ten-page English abstract of the dissertation, presenting the main re= sults of each chapter. - A letter of nomination from the dissertation supervisor, which concisel= y describes the scope and significance of the dissertation, stating when th= e degree was officially awarded and the members of the Ph.D. committee. Nom= inations should contain the address, phone and email details of the nominat= or. - Two additional letters of support, including at least one from a refere= e not affiliated with the academic institution that awarded the Ph.D. degre= e, 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 Ea= syChair by following the link https://easychair.org/conferences/?conf=3Dbdp= 2020. In case of any problems with the submission one should contact the ch= air of the committee Mehrnoosh Sadrzadeh (m.sadrzadeh-hclig2XLE9Zaa/9Udqfwiw@public.gmane.org). The prize will be awarded by the chair of the FoLLI board at a ceremony dur= ing the 32nd ESSLLI summer school in University of Utrecht, August 3-14, 20= 20. Beth dissertation prize committee 2020: 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 (University of Groningen and University of 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) Mark Steedman (University of Edinburgh) Matthew Stone (Rutgers) Jouko V=E4=E4n=E4nen (University of Helsinki) Noam Zeilberger (Ecole Polytechnique) --_000_VI1PR0101MB2286E84780362A248573EE82A90E0VI1PR0101MB2286_ Content-Type: text/html; charset="iso-8859-1" Content-Transfer-Encoding: quoted-printable

Call for Nominations: E. W. Beth Outstan= ding Dissertation Prize 2020


Since 2002, the Association for Logic, L= anguage, and Information (FoLLI) has been awarding the annual E.W. Beth Dis= sertation Prize to outstanding Ph.D. dissertations in Logic, 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). No= minations are now invited for the best dissertation in these areas resultin= g in a Ph.D. degree awarded in 2019.


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


Qualifications:


  - A dis= sertation is eligible for the Beth Dissertation Prize 2020, if the Ph.D. de= gree has been awarded in Logic, Language, or Information between January 1s= t and December 31st, 2019.

  - There= are no restrictions on the nationality, ethnicity, age, gender or employme= nt status of the author of the nominated dissertation, nor on the universit= y, academic department or scientific institution formally conferring the Ph.D. degree, nor on the language in which the dis= sertation 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 a= re invited of excellent dissertations on current topics in philosophical and mathematical logic, computer science logic, ph= ilosophy of science, philosophy of language, history of logic, history of t= he philosophy of science and scientific philosophy in general, as well as t= he current theoretical and foundational developments in information and computation, language and cognition. Disse= rtations with results more broadly impacting various research areas in thei= r 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 E= nglish requires translation to English for proper evaluation, the committee= can transfer its nomination to the competition in 2021. The English transl= ation 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 disser= tations for English translation, upon request by the author of the disserta= tion.



The prize consists of:


  - a cer= tificate

  - a don= ation of 3000 euros, provided by the E.W. Beth Foundation

  - an in= vitation to submit the dissertation, possibly after revision, for publicati= on in FoLLI Publications on Logic, Language and Information (Springer).



Only digital submissions are accepted, w= ithout exception. Hard copy submissions are not allowed. The following docu= ments are to be submitted in the nomination dossier:


  - The o= riginal 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 let= ter of nomination from the dissertation supervisor, which concisely describ= es 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 a= dditional letters of support, including at least one from a referee not aff= iliated with the academic institution that awarded the Ph.D. degree, nor ot= herwise related to the nominee (e.g. former teachers, supervisors, co-authors, publishers or relatives) or the dissert= ation.

  - Self-= nominations are not possible.


All pdf documents must be submitted elec= tronically, 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 Sadrzadeh (m.sadrzadeh-hclig2XLE9Zaa/9Udqfwiw@public.gmane.org).


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


Beth dissertation prize committee 2020:<= /span>


Maria Aloni (University of = Amsterdam)

Alexander Clark(Kings Colle= ge London) 

Cleo Condoravdi (Stanford University)

Robin Cooper (University of= Gothenburg)

Guy Emerson (University of = Cambridge)

Katrin Erk (University of T= exas at Austin)

Arash Eshghi (Hariot-Watt U= niversity)

Sujata Ghosh (ISI, Chennai)=

Davide Gros= si (University of Groningen and U= niversity of Amsterdam) 

Chris Haase (University Col= lege London)

Aurelie Herbelot (Universit= y of Trento) 

Louise McNally (Universitat= Pompeu Fabra Barcelona)

Reinhard Muskens (Universit= y of Amsterdam)

Laura Rimmell (Deep Mind)

Mehrnoosh Sadrzadeh (Univer= sity College London, chair)

Mark Steedman (University o= f Edinburgh)

Matthew Stone (Rutgers)

Jouko V=E4=E4n=E4nen (University of Helsinki)

Noam Zeilberger (Ecole Polytechnique<= span style=3D"font-kerning: none">)




--_000_VI1PR0101MB2286E84780362A248573EE82A90E0VI1PR0101MB2286_-- --===============1986511380701211518==--