Alonzo Church Award / Goedel Prize

[Joao Marcos]

THE 2016 ALONZO CHURCH AWARD FOR OUTSTANDING CONTRIBUTIONS TO LOGIC
AND COMPUTATION
Call for Nominations
* INTRODUCTION An annual award, called the Alonzo Church Award for
Outstanding Contributions to Logic and Computation, was established
in 2015 by the ACM Special Interest Group for Logic and Computation
(SIGLOG), the European Association for Theoretical Computer Science
(EATCS), the European Association for Computer Science Logic
(EACSL), and the Kurt Godel Society (KGS). The award is for an
outstanding contribution represented by a paper or by a small group
of papers published within the past 25 years. This time span allows
the lasting impact and depth of the contribution to have been
established. The award can be given to an individual, or to a group
of individuals who have collaborated on the research. For the rules
governing this award, see
http://siglog.hosting.acm.org/the-alonzo-church-award-for-outstanding-contributions-to-logic-and-computation/
* ELIGIBILITY AND NOMINATIONS The contribution must have appeared in a
paper or papers published within the past 25 years. Thus, for the
2016 award, the cut-off date is January 1, 1991. When a paper has
appeared in a conference and then in a journal, the date of the
journal publication will determine the cut-off date. In addition,
the contribution must not yet have received recognition via a major
award, such as the Turing Award, the Kanellakis Award, or the Godel
Prize. (The nominee(s) may have received such awards for other
contributions.) While the contribution can consist of conference or
journal papers, journal papers will be given a preference.
* NOMINATIONS for the 2016 award are now being solicited. The
nominating letter must summarize the con tribution and make the case
that it is fundamental and outstanding. The nominating letter can
have multiple co-signers. Self-nominations are excluded. Nominations
must include: a proposed citation (up to 25 words); a succinct
(100-250 words) description of the contribution; and a detailed
statement (not exceeding four pages) to justify the
nomination. Nominations may also be accompanied by supporting
letters and other evidence of worthiness.
* Nominations are due by March 1, 2016, and should be submitted to
va...@cs.rice.edu.
* PRESENTATION OF THE AWARD The 2016 award will be presented at LICS,
the flagship conference of SIGLOG. The award will be accompanied by
an invited lecture by the award winner, or by one of the award
winners. The awardee(s) will receive a certificate and a cash prize
of USD 2,000. If there are multiple awardees, this amount will be
shared.
* AWARD COMMITTEE The 2016 Alonzo Church Award Committee consists of
the following four members: Catuscia Palamidessi, Gordon Plotkin,
Wolfgang Thomas, and Moshe Vardi (chair).


THE GODEL PRIZE 2016 - CALL FOR NOMINATIONS
http://www.sigact.org/Prizes/Godel
* Deadline: January 31, 2016
* The Godel Prize for outstanding papers in the area of theoretical
computer science is sponsored jointly by the European Association for
Theoretical Computer Science (EATCS) and the Association for Computing
Machinery, Special Interest Group on Algorithms and Computation Theory
(ACM SIGACT). The award is presented annually, with the presentation
taking place alternately at the International Colloquium on Automata,
Languages, and Programming (ICALP) and the ACM Symposium on Theory of
Computing (STOC). The 24th Godel Prize will be awarded at the 43rd
International Colloquium on Automata, Languages and Programming, 11-15
July 2016 in Rome, Italy.
* AWARD COMMITTEE
The winner of the Prize is selected by a
committee of six members. The EATCS President and the SIGACT Chair
each appoint three members to the committee, to serve staggered
three-year terms. The committee is chaired alternately by
representatives of EATCS and SIGACT. The 2016 Award Committee consists
of Moses Charikar (Stanford University), Orna Kupferman (Hebrew
University), Kurt Mehlhorn (Max Planck Institute), Joseph Mitchell
(State University of New York at Stony Brook), Andrew Pitts (chair,
University of Cambridge) and Madhu Sudan (Harvard University).
* NOMINATIONS
Nominations for the award should be submitted by email to the Award
Committee Chair Andrew...@cl.cam.ac.uk. Please make sure that
the Subject line of all nominations and related messages begin with
"Goedel Prize 2016". To be considered, nominations for the
2016 Prize must be received by January 31, 2016.

[Joao Marcos]

THE 2016 ALONZO CHURCH AWARD
FOR OUTSTANDING CONTRIBUTIONS TO LOGIC AND COMPUTATION

http://siglog.hosting.acm.org/wp-content/uploads/2016/05/church16.pdf
* The 2016 Alonzo Church Award for Outstanding Contributions to Logic
and Computation is given to Rajeev Alur and David Dill for their
invention of timed automata, a decidable model of real-time systems,
which combines a novel, elegant, deep theory with widespread
practical impact.
Rajeev Alur and David Dill: A theory of timed automata.
Theoretical Computer Science 126(2):183-235, 1994.
* Alur and Dill will receive the award at the 31st Annual ACM/IEEE
Symposium on Logic in Computer Science (LICS), which will be held on
July 5-8, 2016, at Columbia University, New York City, USA.
* The Award was established in 2015 by the ACM Special Interest Group

for Logic and Computation (SIGLOG), the European Association for
Theoretical Computer Science (EATCS), the European Association for

Computer Science Logic (EACSL), and the Kurt Goedel Society
(KGS). It recognises an outstanding contribution represented by a
paper or small group of papers within the past 25 years; this is the
first such award. The Award Committee consisted of Catuscia

Palamidessi, Gordon Plotkin, Wolfgang Thomas, and Moshe Vardi
(chair).

2016 GOEDEL PRIZE
http://eatcs.org/index.php/component/content/article/1-news/2280-2016-godel-prize-
* The 2016 Goedel Prize is awarded to Stephen Brookes and Peter
W. O'Hearn for their invention of Concurrent Separation Logic, as
described in the following two papers:
- S. Brookes, A Semantics for Concurrent Separation Logic.
Theoretical Computer Science 375(1-3): 227-270 (2007)
- P. W. O'Hearn, Resources, Concurrency, and Local Reasoning.
Theoretical Computer Science 375(1-3): 271-307 (2007)
Stephen Brookes and Peter O'Hearn will receive the 2016 Goedel Prize

at the 43rd International Colloquium on Automata, Languages and

Programming (ICALP 2016), 12-15 July 2016, in Rome, Italy.

--
http://sequiturquodlibet.googlepages.com/