Discussion of Homotopy Type Theory and Univalent Foundations
 help / color / Atom feed
* Fwd: [TYPES/announce] Deadline Extension for E. W. Beth Outstanding Dissertation Prize 2020
       [not found] ` <10604891-E0CF-43F3-8563-57581C9BD1BE@ucl.ac.uk>
@ 2020-04-08 15:50   ` Noam Zeilberger
  0 siblings, 0 replies; only message in thread
From: Noam Zeilberger @ 2020-04-08 15:50 UTC (permalink / raw)
  To: HomotopyT...@googlegroups.com


[-- Attachment #1: Type: text/plain, Size: 4352 bytes --]

---------- Forwarded message ---------
From: Sadrzadeh, Mehrnoosh <m.sad...@ucl.ac.uk>
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 <fo...@folli.info>, m...@cs.earlham.edu <
m...@cs.earlham.edu>, Proof...@lists.bath.ac.uk <
Proof...@lists.bath.ac.uk>, categ...@mta.ca <categ...@mta.ca>,
types-a...@lists.seas.upenn.edu <types-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 <
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 <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-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
<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
).

[-- Attachment #2: Type: text/html, Size: 16875 bytes --]

^ permalink raw reply	[flat|nested] only message in thread

only message in thread, back to index

Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
     [not found] <35B61141-915E-4B31-8EAA-80399495D2BC@ucl.ac.uk>
     [not found] ` <10604891-E0CF-43F3-8563-57581C9BD1BE@ucl.ac.uk>
2020-04-08 15:50   ` Fwd: [TYPES/announce] Deadline Extension for E. W. Beth Outstanding Dissertation Prize 2020 Noam Zeilberger

Discussion of Homotopy Type Theory and Univalent Foundations

Archives are clonable: git clone --mirror http://inbox.vuxu.org/hott

Example config snippet for mirrors

Newsgroup available over NNTP:
	nntp://inbox.vuxu.org/vuxu.archive.hott


AGPL code for this site: git clone https://public-inbox.org/public-inbox.git