Received: from mout.gmx.net (mout.gmx.net [212.227.15.15]) by h1439878.stratoserver.net (8.14.2/8.14.2/Debian-2build1) with ESMTP id s2IKaWtS015325 for ; Tue, 18 Mar 2014 21:36:33 +0100 Received: from relay2.uni-heidelberg.de ([129.206.210.211]) by mx-ha.gmx.net (mxgmx109) with ESMTPS (Nemesis) id 0MHaE4-1WOtkc420a-003Q7b for ; Tue, 18 Mar 2014 21:36:27 +0100 Received: from listserv.uni-heidelberg.de (listserv.uni-heidelberg.de [129.206.100.94]) by relay2.uni-heidelberg.de (8.13.8/8.13.8) with ESMTP id s2IKXwaq021876 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NO); Tue, 18 Mar 2014 21:33:58 +0100 Received: from listserv.uni-heidelberg.de (listserv.uni-heidelberg.de [127.0.0.1]) by listserv.uni-heidelberg.de (8.13.8/8.13.8) with ESMTP id s2IH3hno020168; Tue, 18 Mar 2014 21:33:58 +0100 Received: by LISTSERV.UNI-HEIDELBERG.DE (LISTSERV-TCP/IP release 16.0) with spool id 10855608 for LATEX-L@LISTSERV.UNI-HEIDELBERG.DE; Tue, 18 Mar 2014 21:33:57 +0100 Received: from relay.uni-heidelberg.de (relay.uni-heidelberg.de [129.206.100.212]) by listserv.uni-heidelberg.de (8.13.8/8.13.8) with ESMTP id s2IKXvLm005541 for ; Tue, 18 Mar 2014 21:33:57 +0100 Received: from moutng.kundenserver.de (moutng.kundenserver.de [212.227.17.13]) by relay.uni-heidelberg.de (8.14.1/8.14.1) with ESMTP id s2IKXmsP028699 for ; Tue, 18 Mar 2014 21:33:50 +0100 Received: from mittelbach-online.de (p4FEE449E.dip0.t-ipconnect.de [79.238.68.158]) by mrelayeu.kundenserver.de (node=mreue102) with ESMTP (Nemesis) id 0MPp7i-1WUyn00Hmk-0051EH; Tue, 18 Mar 2014 21:33:48 +0100 Received: from [192.168.123.105] (falco [192.168.123.105]) (Authenticated sender: frank) by mittelbach-online.de (Postfix) with ESMTPSA id 60A6FA01A2 for ; Tue, 18 Mar 2014 21:33:42 +0100 (CET) User-Agent: Mozilla/5.0 (Windows NT 6.1; WOW64; rv:24.0) Gecko/20100101 Thunderbird/24.3.0 MIME-Version: 1.0 References: <4492873668220750.WA.acmbulletinacm.org@listserv.acm.org> Content-Type: text/plain; charset=ISO-8859-1; format=flowed X-MailScanner-ID: 60A6FA01A2.A7324 X-MailScanner: Not scanned: please contact your Internet E-Mail Service Provider for details X-MailScanner-From: frank.mittelbach@latex-project.org X-Spam-Status: No X-Provags-ID: V02:K0:jM6KQbn4QRVtDdvoX5P5EygUVMCAgeStWrefcaffx95 px5t4uRARzYKS5OrDQ2NgAJkom6RK/pVD+cvmlQGUSziTkRr7t 0UnRXV22e2SakVjOr0TXLhtwbpl7+95ADWSvxmjEuIJ78Z/5Tj jeS82txrXIhHtpLs1oauG3JNQGEglp/jtt/gzoVcrEHbopLvWz Z+nk6AsHi6Prn1pXUTLkFTFVex9//ywYItCtvcyz5vG50Qwy5H X6u0U9hRGZy9N7xoNL00k68vgRcCpzZOeYg0KOvijEyVlxVqa6 69MVzSt6TWTq45/SQJSmYMmFGnyrrjnNhTB7BtIgwwVeKTYgw4 P2xxhOkTehP6ucp/pdVkk2qdZUMjsTxkKGR5khouCqds0ZQllL LAVsH3AAlAMeA== X-MIME-Autoconverted: from quoted-printable to 8bit by listserv.uni-heidelberg.de id s2IKXvLm005542 Message-ID: <5328ADA0.1060304@latex-project.org> Date: Tue, 18 Mar 2014 21:33:36 +0100 Reply-To: Mailing list for the LaTeX3 project Sender: Mailing list for the LaTeX3 project From: Frank Mittelbach Subject: Re: [ACM-BULLETIN] Today's Topic: 2013 ACM Turing Award Goes to Leslie Lamport for Advancing Reliability and Consistency of Computing Systems To: LATEX-L@LISTSERV.UNI-HEIDELBERG.DE In-Reply-To: Precedence: list List-Help: , List-Unsubscribe: List-Subscribe: List-Owner: List-Archive: Content-Transfer-Encoding: quoted-printable X-MIME-Autoconverted: from 8bit to quoted-printable by relay2.uni-heidelberg.de id s2IKXwaq021876 Envelope-To: X-GMX-Antispam: 0 (Mail was not recognized as spam); Detail=V3; X-GMX-Antivirus: 0 (no virus found) X-UI-Filterresults: notjunk:1;V01:K0:sjENsZ5OiXQ=:ntBIgtPIpwGdjIHjD4J3N7pvmk z5kKlD/OQpML05std+I2pbmV3quJ8/UY4hTSUH5hOq1hLRk/Vb48rnZJEvoMg+jLQGg9h5o/v mAxRrn9aNBdDDW8FmhV6FxVvyak3s9241U2a4X37n8aP1hgo4Eh+j6W2fPlIV/jyqEYNYihQx rATE+SlBekaUQKdYJU3EqlTZdygkKjpTyT4RcDV0s47EfTW5JP5xreGov/onzPzWA6+xJj9E0 NalNgvA+CQz4efojOgQV6fYcbEQILZYYDGioqL+eRx5hzZelB9rDL9c7wK0ZWoC9j0zaKoCML iYlyhMfEohxYIofVvr6sMVpsWT4LpUpskeSc65Im1LGajdtoxh26d1QtzR+Motxyg2HpKJn3U TQwW/uWPDvbCGAnIkS0VPvXBjiluDztLCOnsVVps/oTTQR3ROwIUL/gYwDsYGFeURXQ/gEc9t 5v1ZP/O5GlB0Ha9CJCfkoHmCwHh96gVWYTiGNnUj934szjETRpqN0XQ9nyTKcB04HBDFCmNsP E4CwWCQOFntyQeZBsR99oD4wiUuzdHlbMK//zkwbbX2VW9FvUTu+B+3KF7Daiene+zvc42cxh mHwySeeBAFRQl2LE5H97Zk4DjAManHihu6OWd2AIF2oRHqi4zvp3ZP5eHN288uvN4Gjai13wX thdKql1tTnAAceqEikQNn6p99F12pjPMqfCuVEcMnnRuECfphIfkFU/qP7CQ9JdBbfNEeqkGu H6VpD7gwldgmZmTM1/6VbTWZkddjJzJ5A3jgxGu25Er+CwNRUF08sq7aXL0ewJCiHXkALXd+o zoQ9ILz1UCWuI0pzVeKfbgBKtPsML+HHQq32o6f5avaWZyLkE3+6e3Mgx4Gw8volS3GH4Du1+ gMgiBc4FJz3mo4vMjkjgBhGTSVr2qBT9GGcP3pFHOPuLLo0z4I21Tfvm9gH20vgDqHZkIvTUD yARXaMECivMO+tnZZYIIlgINXknakgLr8+gj5/n9SwEku8OaaCY2xnfzgAAI0YJNY75+oWZmd 6G4xv+jdtM4TDGWpI5lPx8NKorxuUa9asQfwDHBylRwxSFZIa3IdjYPaoQ8ktgc0oTDFXMlbU iTxPy2uB3WTknkwNfcNkrPGKlENYm6dD5wfLS8WBGWNdazb84/GgXNQUxQQUK9VVqz5GaSs+4 PJAToUB+qdb7lvFXEI1TkkyIL1689WlU17S5LRWCX7oHsH8B1DY64P1zJk4XGSAPLklRobXmH Eg7WT2LhgmHG0gxVxnSS+/ckm6C1dL8aC542kPyx0DDyvERuxmQ5cT7y0UGmRsViKwPshXlqu 1tTWY3w4bBnAvZgq/qZuPm4ESWp3IRiEXTAd3OLyavadltju73Ix6hRTLSIxLLfMOnyTBaHzq EAS4qiPeYNaa8x79/492cVQTknCM4qFd5lsNJ1t5XrKFDfVe3XMvnVC9I8knDUXyDtrM2P9hG wxcRyKLA== X-UI-Loop:V01:BQJRFjaOXg0=:mk37H0SFj4xdSxym5K+5a900NzDX4kKyhiGj4ud45VM= Status: R X-Status: X-Keywords: X-UID: 7346 Am 18.03.2014 14:59, schrieb Martin Schr=F6der: > ---------- Forwarded message ---------- > From: ACM Bulletin > Date: 2014-03-18 14:05 GMT+01:00 > Subject: [ACM-BULLETIN] Today's Topic: 2013 ACM Turing Award Goes to Le= slie > Lamport for Advancing Reliability and Consistency of Computing Systems > To: ACM-BULLETIN@listserv.acm.org > > > Today's Topic: 2013 ACM Turing Award Goes to Leslie Lamport for Advanci= ng > Reliability and Consistency of Computing Systems great news indeed!