coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] ACM SIGPLAN Awards (Deadline 5 January 2016)

From: Satnam Singh <s.singh AT acm.org>
To: agda AT lists.chalmers.se, church-announce AT types.bu.edu, clp AT comp.nus.edu.sg, concurrency AT cwi.nl, concurrency AT listserver.tue.nl, coq-club AT inria.fr, ecoop-info AT ecoop.org, erlang-questions AT erlang.org, fp-nl AT cs.uu.nl, fun AT cs.nott.ac.uk, functional-programming AT cs.st-and.ac.uk, haskell AT haskell.org, lprolog AT cs.umn.edu, prog-lang AT diku.dk, puml-list AT cs.york.ac.uk, spls AT dcs.gla.ac.uk, theorem-provers AT ai.mit.edu, theory-logic AT cs.cmu.edu, zforum AT comlab.ox.ac.uk
Subject: [Coq-Club] ACM SIGPLAN Awards (Deadline 5 January 2016)
Date: Mon, 7 Dec 2015 11:27:46 -0800
Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=satnam6502 AT gmail.com; spf=Pass smtp.mailfrom=satnam6502 AT gmail.com; spf=None smtp.helo=postmaster AT mail-io0-f181.google.com
Ironport-phdr: 9a23:4kKA5hG8XMAQ9YB3BS66DZ1GYnF86YWxBRYc798ds5kLTJ79ocuwAkXT6L1XgUPTWs2DsrQf27SQ6vmrADZYqb+681k8M7V0HycfjssXmwFySOWkMmbcaMDQUiohAc5ZX0Vk9XzoeWJcGcL5ekGA6ibqtW1aJBzzOEJPK/jvHcaK1oLsh770osSYOl8QzBOGIppMbzyO5T3LsccXhYYwYo0Q8TDu5kVyRuJN2GlzLkiSlRuvru25/Zpk7jgC86l5r50IAu3GePExQrBRJDAnKHwuosbrvB3GQBGUoGARFi0dkgdSCAiA5Rf8WYr3uSbSqvtl1TLcN9CwQLwpHXyp679DQxjtkGEBKiV//W3KzNd/yOpQpxSqugZlzojfcameK/s4eKeZNdgdQ2FcRNxcUSdQKoe9dJcUAvAfMPwes5Tw4V0K6VO1AhDpD+fywBdJgGX31Os0yaBpHArB2xRlHtQAt1zZp9LyLOEVS+/xhKTSyTzFYLZPxDrm9InPdAsJrOuIVLR/N83Lxg1nGRuAiFG4opejIi7T0OBJ+2aG6cJrTqSpjHI77Qh65CWsgo8il4/CmoMSzFnAsD1jx4kvLNi9SUh0SdW/VoBM8iicO81/SYU/QCUguC8hybACvba7dTMJxZAjgRnFZLjPd5CS5RbkW86aOnFlgXQjdb6iw16q60+vj+n1UMac3FdJs2xJkZ2Erm0I01nX69ObYvBmuFamwzXJ3guV9+IAaVsskbHzJ5U6hLE0n9waugLeHWu+hEX7i7WbcwA84O+25v78Srzn4JqdK8l5hhy6ergul8ulEKE8NQcPVECQ4qK30aCl8EHkBP1YgPosj6zxu5ffIc0R4KmpRQZelJsguDilCDLz690Em3ACZGlEfh2Hx9zyfUrPJv/4Jf60hhKrijg9lKOOBaHoHpiYdiuLq7zmZ7sos0M=

Please can I kindly ask you to consider and nominate candidates for the ACM SIGPLAN awards http://www.sigplan.org/Awards/ The deadline for these awards is Tuesday 5 January 2016. Please upload submissions to the awards submission site: https://awards.sigplan.org/

Programming Languages Achievement Awardhttp://www.sigplan.org/Awards/Achievement/

Robin Milner Young Researcher Award http://www.sigplan.org/Awards/Milner/

Software Award http://www.sigplan.org/Awards/Software/

John C. Reynolds Doctoral Dissertation Awardhttp://www.sigplan.org/Awards/Dissertation/

Thank you very much,

Satnam Singh
Facebook

Email: satnam AT raintown.org satnam6502 AT gmail.com

Cell (USA, personal): +1 408 656 4590

Cell (Facebook, work): +1 650 924 6838

Home (Los Altos, California): +1 650 383 7650

Mobile (UK): +44 7979 648412

www.linkedin.com/in/satnam6502/

[Coq-Club] ACM SIGPLAN Awards (Deadline 5 January 2016), Satnam Singh, 12/07/2015