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. On Fri, Jan 1, 2016 at 7:50 PM, Joao Marcos <[email protected]> wrote: > 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 > [email protected]. > * 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 [email protected]. 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. -- http://sequiturquodlibet.googlepages.com/ -- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para [email protected]. Para postar neste grupo, envie um e-mail para [email protected]. Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_LgP_0hc888eNu4Bd3ywE%3D3zcN7yHYzwVhi9aC%2BB179gOw%40mail.gmail.com.
