coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] ACM SIGPLAN Awards deadline extended to 30 January

From: Satnam Singh <s.singh AT acm.org>
To: acm-fse AT lists.inf.unisi.ch, agda AT lists.chalmers.se, agents AT cs.umbc.edu, announcements AT lists.artist-embedded.org, appsem AT lists.tcs.ifi.lmu.de, bforum AT inrets.fr, bx AT liste.es.e-technik.tu-darmstadt.de, categories AT mta.ca, 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, event AT in.tu-clausthal.de, events AT fmeurope.org, fm-announcements AT lists.nasa.gov, fmnet AT jiscmail.ac.uk, fmics AT inrialpes.fr, fg-arc AT lists.uni-paderborn.de, fp-lunch AT cs.nott.ac.uk, fp-nl AT cs.uu.nl, fun AT cs.nott.ac.uk, functional-programming AT cs.st-and.ac.uk, generics AT haskell.org, haskell AT haskell.org, ipalist AT listserver.tue.nl, kgs AT logic.tuwien.ac.at, lprolog AT cs.umn.edu, mercury-ads AT cs.mu.oz.au, nvti-list AT cwi.nl, om-announce AT openmath.org, petrinet AT informatik.uni-hamburg.de, PROCOS AT jiscmail.ac.uk, prog-lang AT diku.dk, puml-list AT cs.york.ac.uk, pvs-announce AT csl.sri.com, qest-announce AT iti.uiuc.edu, relmics-l AT mcmaster.ca, sehc AT listserv.uni-heidelberg.de, seworld AT sigsoft.org, spls AT dcs.gla.ac.uk, tccc AT lists.cs.columbia.edu, theorem-provers AT ai.mit.edu, theory-logic AT cs.cmu.edu, theorynt AT listserv.nodak.edu, types-announce AT lists.seas.upenn.edu, users AT mozart-oz.org, zforum AT comlab.ox.ac.uk
Subject: [Coq-Club] ACM SIGPLAN Awards deadline extended to 30 January
Date: Tue, 10 Jan 2017 08:30:26 -0800
Authentication-results: mail3-smtp-sop.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-vk0-f68.google.com
Ironport-phdr: 9a23:5GDL2hAE1STNzv9S/nGwUyQJP3N1i/DPJgcQr6AfoPdwSP77pMqwAkXT6L1XgUPTWs2DsrQf2raQ6f6rCTxIyK3CmUhKSIZLWR4BhJdetC0bK+nBN3fGKuX3ZTcxBsVIWQwt1Xi6NU9IBJS2PAWK8TW94jEIBxrwKxd+KPjrFY7OlcS30P2594HObwlSijewZbx/IA+ooQjQucUbgohvIbstxxXUpXdFZ/5Yzn5yK1KJmBb86Maw/Jp9/ClVpvks6c1OX7jkcqohVbBXAygoPG4z5M3wqBnMVhCP6WcGUmUXiRVHHQ7I5wznU5jrsyv6su192DSGPcDzULs5Vyiu47ttRRT1jygJKjk58HvLisNuka1VvAyuqAB+w47Mfo2eKf5yc6zBcd8fQ2dKQ8RfWDFbAo6kb4UBAekPM/tGoYbhvFYBtweyCBO2Ce/z1jNFhHn71rA63eQ7FgHG2RQtEc8Uv3TIqtX6LqISWv2owqnJyzXDYPNW0ir65YjTaBwhuvCMXbR/ccrR0kQgDR/KjlCKpYziJTOV2f0Avm6G5ORuUuKvjnQoqwB3ojW33ccsi4bJhpoRyl/e8yV12oE1Jce3SEJjZd6kEZ1QtyKEOIRrQ8MiRXtktzo9yr0Dv5OwYSsEyIw/yhLBd/CKd5KE7xHjWeqLPzt0mXxodKi+ihux90Wr1/fyWdOu0FlQqypIitnMuW4J1xzU8sWHT+Fy/kal2TqWyQDT6f1ILVk6lafaKJMt2LEwlp0UsUTMGi/5hl/6g7ORdkUh4uSo6uLnbav6ppKEKYN4lgXzPr4tl8G/G+g0LBUCUmaB9em917Dv5Uj5T69Ljv0ynKnZqpfaJcEDq66iGQBVzoAj5Ay6Dzqn0NkUgWcLIUlKeBKClYfpOlXOLOrkAve4hlSgiC1ryOzePr39HpXNKWDOn6vmfbZk8kJT1A4zzc1E6J9PEbEAIPfzWlfru9DCDx85NRa0w+f9B9ln2IMeQzHHPqjMOajX9FGT68orIvKQf8kUvji7Nv4k/P+ohn990VYScaCB2ZoMdGv+FfRvJ0CUe2GqmdpFWW4FswwiV8ThkxufVDRYIXu+QuZ07zc9D5+gBorGS4axm5SF3TynBdtffHxHEUzJHHLieomIVvtKbzidZodoiiQfWL2JT446yQroqAThjbtpL6zQ/zBeuZ+nnNJ74PfOkDkz8yZ5E9/b3XvJB2tktmcJXCM7mq1k50E41lqI0a55gLpECJlf7ulMSRszOYKaw+E+Q9v7Rg/Oec2IRU2OR8mvRzo4Cpo6w8IUaEY4EtOkiQ3F1CeCH64NmqfNDoFy/67BmzD6I95VwHHDzO8nkkJgT8dSc3apwuZ08A7YGpTTnkOSho6haqVa2iqJvGyEy2GTpltVVgVheaHERmwEa1HIoM6/+l7PCbmqTfwsNRIEwsqfIINLbMfohBNIXrOrNd/ZZHr0mmG+Aj6FzbSLdMztYWpZlCjHDEECnEUK4HudKQk5ADyJrnjaBTphU1X1bAek/Pdzrm+TT0ly0xzPZEloyqGp+hcRw/CRD7sewL8CpDwJpTB5AUy6x9+QDMCP40JveeBVZ9U6/VFM2GfUsRBmFpihNLx5wFgXaA0xsETwk115D4NNjeAorWghyQNzLeSR2xVcdHfQ05XxMab/K2/o/Rmrc6PNnF/ElJ6Y9eIG8v8Qr1T4oBrvC0wjtm1u39RP2XyG4NPGAU5aX4q0Vlsx/BhSrKqcZC4h+8Xd3jtxMu38vCeH3dYBD/Bj1wvmedMbeK2ZEif5CIscANSybuUh3UWqKloKIeZZ6K8zOcqiMuOc36GxNeNlnTSppW9cppthl0uK+2x1QajV3NJNzPye0xGGXCzUjF66sc3zncZDfz5WVmq20ivpAIp5ZqRpfosPDSGpOcLzjtRmjprsQGJw8F+4G0gLwtGkY1yOclG72wkUnUcYulSjniS5xHpoji4oo6zZ1SeIyvimPB4fIGlPQ2ZKhkyqPI2yyd0WQQzgagUznwa/9APzy7Nzr785KnSVRlUOdjWyZ2d8Tqr1sruZf+ZE95JutyETGOO5JFmcTLngpRAX+yT7Em1bzSw7MTawtdGxhxFmkmObIWpbrXzXftt1zAve55rBQ/8U3jMDTjRihn/bCxz0B+OO1vKvv5XCqeu7XmOlEJRYNzToicuYriy0oGljBxKXk/Gwh5vrEkxyyTL+05xuVD7UhB3nJJjszaf8OOkhY0osTEfi8I9zHId5j407ibkbwnxcnY+Uu3EAlCO7KNhAxef3anwKWDgAzvbU/AmjxUx+JTSEy5+9Hm+Qxs5gbML/ZksT0Sc09NxHEuGf5fgMhiZ1qXK8rBnNevVngHEAz/pr6HMbj+wNsgc3wWORD/RaBkRHOjbomzyT7t+lq6tLImG1fvz4z1J6hvitB6rErQVVHn/yPIohWWds5c50GFbNy2HorIr/PtLXac8WvByd1RrMkqwdNJI8keAHgG9/I2XjsGc+4+c6yxlvwde3sJXDY3lt8aWjE1tcMTL0bOsY4XfmiLsYk8qLm8izHphmACQNQLPsTOm0Cz8Iq7LhMAqHE3sxpmrfUabOBQKErU5gqXXSFZumH3WWP2UCi85vTQLbOVRShgZSUTkn2tYkDQ2w3+Tkd1Vw/CxU4Uy+rQFDjqp6OR7lT2L3rwCtbj4+Dp+PahNdqBxBtGnPNsnL1etvGShdtqagqgONYjiAIR9JC24JckWPAhbkJLb4toqIyPSRGufrd6iGWr6Js+ELC6+F

The deadline for submitting nominations for the following awards has been extended to 30 January:

Programming Languages Software Award (last year's winner V8)
Programming Languages Achievement Award (last year's winner Simon Peyton-Jones)
Robin Milner Young Researcher Award (last year's winner Stephanie Weirich)

Descriptions of these awards and the link for submitting nominations can be found at http://www.sigplan.org/Awards/ (note that the deadline for the John C. Reynolds dissertation award is not extended).

Please can you consider submitting nominations and also publicizing these awards to other colleagues and appropriate groups. Thank you kindly. Please don't hesitate to contact me if you have any questions about the awards.

Satnam Singh

ACM SIGPLAN EC Awards Chair

Satnam Singh

Email: s.singh AT acm.org satnamsingh AT fb.com 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
Twitter: @satnam6502
LinkedIn: www.linkedin.com/in/satnam6502

[Coq-Club] ACM SIGPLAN Awards deadline extended to 30 January, Satnam Singh, 01/10/2017