From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: ** X-Spam-Status: No, score=2.1 required=5.0 tests=AWL,DNS_FROM_RFC_ABUSE, DNS_FROM_RFC_POST,SPF_SOFTFAIL autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by yquem.inria.fr (Postfix) with ESMTP id 801EEBB84 for ; Thu, 12 Feb 2009 10:53:51 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Ai8AAE6Ak0nVx4q1kWdsb2JhbACUUQEBAQEJCwoHEQapX5UHhBsGhX4 X-IronPort-AV: E=Sophos;i="4.38,196,1233529200"; d="scan'208";a="20997129" Received: from smtp-dub.microsoft.com ([213.199.138.181]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-MD5; 12 Feb 2009 10:53:51 +0100 Received: from DUB-EXHUB-C303.europe.corp.microsoft.com (65.53.213.93) by DUB-EXGWY-E802.partners.extranet.microsoft.com (10.251.129.2) with Microsoft SMTP Server (TLS) id 8.1.291.1; Thu, 12 Feb 2009 09:53:50 +0000 Received: from EA-EXMSG-C334.europe.corp.microsoft.com ([169.254.2.40]) by DUB-EXHUB-C303.europe.corp.microsoft.com ([65.53.213.93]) with mapi; Thu, 12 Feb 2009 09:53:45 +0000 From: Simon Peyton-Jones To: "clean-list@cs.kun.nl" , "caml-list@yquem.inria.fr" , "comp-lang-ml@moderators.isc.org" , "concurrency@cwi.nl" , "coq-club@pauillac.inria.fr" , "formal-methods@cs.uidaho.edu" , "curry@informatik.rwth-aachen.de" , "users@mozart-oz.org" , "lprolog@cs.umn.edu" , "pvs@csl.sri.com" , "rewriting@ens-lyon.fr" , "sicstus-users@sics.se" , "theorem-provers@ai.mit.edu" Cc: Simon Peyton-Jones Date: Thu, 12 Feb 2009 09:53:17 +0000 Subject: Take a break: write an essay for Onward! essays Thread-Topic: Take a break: write an essay for Onward! essays Thread-Index: AcmM97rRdtN9O5dWQaG6csovK5SNkw== Message-ID: <638ABD0A29C8884A91BC5FB5C349B1C33399201BA1@EA-EXMSG-C334.europe.corp.microsoft.com> Accept-Language: en-US Content-Language: en-US X-MS-Has-Attach: X-MS-TNEF-Correlator: x-cr-hashedpuzzle: CHd+ L0v3 NXfq wJv/ ABXoXQ== ACRkHg== AJf55A== AKKZVw== AKRskQ== AKZSuQ== ALMFYA== AN2BqA== AOX/4w== ASdMvQ== AVUV0w== AXrNkQ==;13;YwBhAG0AbAAtAGwAaQBzAHQAQAB5AHEAdQBlAG0ALgBpAG4AcgBpAGEALgBmAHIAOwBjAGwAZQBhAG4ALQBsAGkAcwB0AEAAYwBzAC4AawB1AG4ALgBuAGwAOwBjAG8AbQBwAC0AbABhAG4AZwAtAG0AbABAAG0AbwBkAGUAcgBhAHQAbwByAHMALgBpAHMAYwAuAG8AcgBnADsAYwBvAG4AYwB1AHIAcgBlAG4AYwB5AEAAYwB3AGkALgBuAGwAOwBjAG8AcQAtAGMAbAB1AGIAQABwAGEAdQBpAGwAbABhAGMALgBpAG4AcgBpAGEALgBmAHIAOwBjAHUAcgByAHkAQABpAG4AZgBvAHIAbQBhAHQAaQBrAC4AcgB3AHQAaAAtAGEAYQBjAGgAZQBuAC4AZABlADsAZgBvAHIAbQBhAGwALQBtAGUAdABoAG8AZABzAEAAYwBzAC4AdQBpAGQAYQBoAG8ALgBlAGQAdQA7AGwAcAByAG8AbABvAGcAQABjAHMALgB1AG0AbgAuAGUAZAB1ADsAcAB2AHMAQABjAHMAbAAuAHMAcgBpAC4AYwBvAG0AOwByAGUAdwByAGkAdABpAG4AZwBAAGUAbgBzAC0AbAB5AG8AbgAuAGYAcgA7AHMAaQBjAHMAdAB1AHMALQB1AHMAZQByAHMAQABzAGkAYwBzAC4AcwBlADsAdABoAGUAbwByAGUAbQAtAHAAcgBvAHYAZQByAHMAQABhAGkALgBtAGkAdAAuAGUAZAB1ADsAdQBzAGUAcgBzAEAAbQBvAHoAYQByAHQALQBvAHoALgBvAHIAZwA=;Sosha1_v1;7;{0FF18A41-24D9-4204-BFB6-F26669465083};cwBpAG0AbwBuAHAAagBAAG0AaQBjAHIAbwBzAG8AZgB0AC4AYwBvAG0A;Thu, 12 Feb 2009 09:53:17 GMT;VABhAGsAZQAgAGEAIABiAHIAZQBhAGsAOgAgAHcAcgBpAHQAZQAgAGEAbgAgAGUAcwBzAGEAeQAgAGYAbwByACAATwBuAHcAYQByAGQAIQAgAGUAcwBzAGEAeQBzAA== x-cr-puzzleid: {0FF18A41-24D9-4204-BFB6-F26669465083} acceptlanguage: en-US Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: quoted-printable MIME-Version: 1.0 X-Spam: no; 0.00; peyton-jones:01 co-located:01 oopsla:01 oopsla:01 2009:98 07.:98 garbage:01 reflection:01 compilers:01 simonpj:02 argument:02 languages:03 programming:03 programming:03 submissions:04 Friends Writing papers is fun, but we mostly only get to write one *kind* of paper.= Here is an opportunity to write something in a totally different style: Submit an essay to Onward! Essays Deadline: 20 April 2009 http://onward-conference.org/calls/foressays An Onward! essay is a thoughtful reflection upon software-related technolog= y. Its goal is to help the reader to share a new insight, engage with an ar= gument, or wrestle with a dilemma. A successful essay is a clear and compelling piece of writing that explores= a topic important to the software community. The subject area should be in= terpreted broadly, including the relationship of software to human endeavou= rs, or its philosophical, sociological, psychological, historical, or anthr= opological underpinnings. An essay can be an exploration of its topic, its = impact, or the circumstances of its creation; it can present a personal vie= w of what is, explore a terrain, or lead the reader in an act of discovery;= it can be a philosophical digression or a deep analysis. It can describe a= personal journey, perhaps that by which the author reached an understandin= g of such a topic. I'm the program chair, and I'd love to get submissions from the programming= languages and theorem-proving community. Reflections on programming, type= s, testing, verification, software engineering, compilers, society, ... you= name it. Anything to do with software. NB: Onward! is co-located with OO= PSLA, but they are otherwise unrelated. OO is fine, but not required. Don't forget: 20th April. Simon PS: To get your imagination going, here are a couple of (strongly-contrasti= ng) past essays: * Dan Grossman "The transactional memory / garbage collection analogy" http://www.cs.washington.edu/homes/djg/papers/analogy_oopsla07.pdf * Dick Gabriel "Designed as designer" http://dreamsongs.org/DesignedAsDesigner.html