Re: [hackathon] Virtual formal languages meeting

sittichai3442@hotmail.com Mon, 27 April 2020 15:36 UTC

Return-Path: <sittichai3442@hotmail.com>
X-Original-To: hackathon@ietfa.amsl.com
Delivered-To: hackathon@ietfa.amsl.com
Received: from localhost (localhost [127.0.0.1]) by ietfa.amsl.com (Postfix) with ESMTP id E00B43A0CFC; Mon, 27 Apr 2020 08:36:52 -0700 (PDT)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: -2.418
X-Spam-Level:
X-Spam-Status: No, score=-2.418 tagged_above=-999 required=5 tests=[BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1, FREEMAIL_ENVFROM_END_DIGIT=0.25, FREEMAIL_FROM=0.001, FREEMAIL_REPLYTO_END_DIGIT=0.25, HTML_MESSAGE=0.001, RCVD_IN_MSPIKE_H2=-0.82, SPF_PASS=-0.001, URIBL_BLOCKED=0.001] autolearn=ham autolearn_force=no
Authentication-Results: ietfa.amsl.com (amavisd-new); dkim=pass (2048-bit key) header.d=hotmail.com
Received: from mail.ietf.org ([4.31.198.44]) by localhost (ietfa.amsl.com [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id qkmV7mI6w69u; Mon, 27 Apr 2020 08:36:51 -0700 (PDT)
Received: from NAM12-DM6-obe.outbound.protection.outlook.com (mail-dm6nam12olkn2065.outbound.protection.outlook.com [40.92.22.65]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by ietfa.amsl.com (Postfix) with ESMTPS id E70953A0CF9; Mon, 27 Apr 2020 08:36:50 -0700 (PDT)
ARC-Seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=PjqThYH/vVE2OaxJDDqmKEauBcA7mHqWJm13PQvPRo4E68H3rp7/RXjloi8ck4tyMIS3/VbRklgWEtg0pS/ppfWjkA5hFuQIUmCLAxp5NRFGJWp+ruu9TYGu5ULWdS5OA5yIlHWVhlwE471Ldf3XivSYv75yC52HMZSMmQM10vLNIdMREqpuQE2bWQ0Lz6ihRomDdlqcQbIXk/ZnSgVT5wbYJzcfoTGdAvwE6TLkC8aQ/8OGgBuaaFtmVe6IZ002V3hoBZnqN/FcnwnFkMNC8EVgqBXH9S6d3fr2/i4XztVTiBiAHpiU+4iEYcS5Yorl2eVjF4f0IwQb6EdEgPrKQA==
ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=microsoft.com; s=arcselector9901; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-SenderADCheck; bh=g/RNamKD8UXjiLYW9m058kFurhtgYGq5J7CwMYDuCsA=; b=iEQDhf1NshMfVJK34YyXOB69uGi4gRAX+R8e6NZkex33/hFLwqUg5EjJYlftEnwM68QPInVe0wul4x2xg9ee0xDurVq+oOkfwH0DibN8XnWqob6/PX5wLH3V18fck9ZSXKs16be/S9FXljm4UG+991luPCkpaSnK0dQwdL2Rn/Bfu1mr7gTR3sIgUFeliLSSvk9fOrDzATzNwd1CBn61cGyJUNeCIicnu1Cg1QPY4bOOdeHV7jZvl1BbTVoNUw+qsJzQY4BcCGqXU7hIvFVlZnFyTC3caIv9xuOsbTDahNdRHp/J4VmoblczP+XVOGIv8HQHFcj5W83ttACKhYIniQ==
ARC-Authentication-Results: i=1; mx.microsoft.com 1; spf=pass smtp.mailfrom=hotmail.com; dmarc=pass action=none header.from=hotmail.com; dkim=pass header.d=hotmail.com; arc=none
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=hotmail.com; s=selector1; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-SenderADCheck; bh=g/RNamKD8UXjiLYW9m058kFurhtgYGq5J7CwMYDuCsA=; b=BjeI4h4edPJs7u4y0XFaysRqJKDSUxip2EJfa3uUL9NcliPlqGPUHwMEOiMsMRFEuDbYwe08GP5/7/QVqVOlBhm+winQiVPF0g2sEGAVGTDSfFcWZ/EyAesGCvJ6JpUNDyi7EZXgr349iDVr3rtjbWm7Othx8sRcpH4J/xPMWQJ5rF5dEVrwewl3rmf56G0wDoMKFwja4tmGUwiZyCFWWKk4/yD0tsHxzbdJD4ct9GZFWO6GJvy0UHNpZ+UjXGwi/LVM+qMXIzwhyh+fCjUvZPpaz945NLgOuM3zhtrpezmgBUkJCMnZDAnDWNsNpQ5ikNdSo9hVEFEEiqyc+GxQow==
Received: from MW2NAM12FT027.eop-nam12.prod.protection.outlook.com (2a01:111:e400:fc65::52) by MW2NAM12HT117.eop-nam12.prod.protection.outlook.com (2a01:111:e400:fc65::396) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.2921.12; Mon, 27 Apr 2020 15:36:49 +0000
Received: from DM6PR07MB4171.namprd07.prod.outlook.com (2a01:111:e400:fc65::43) by MW2NAM12FT027.mail.protection.outlook.com (2a01:111:e400:fc65::94) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.2921.12 via Frontend Transport; Mon, 27 Apr 2020 15:36:49 +0000
X-IncomingTopHeaderMarker: OriginalChecksum:1198071714B892B68940D4DD1A8CE446D6E041E8CA782C95948EE2B417E98F8A; UpperCasedChecksum:FEDBBC5BB468B74A8C74E37F5C42AECC8B3A128B3E1C5090CBCEAD2A469F03D0; SizeAsReceived:10737; Count:69
Received: from DM6PR07MB4171.namprd07.prod.outlook.com ([fe80::cc76:869c:c309:6bd4]) by DM6PR07MB4171.namprd07.prod.outlook.com ([fe80::cc76:869c:c309:6bd4%3]) with mapi id 15.20.2937.020; Mon, 27 Apr 2020 15:36:49 +0000
X-Mailru-Internal-From: sittichai3442@hotmail.com
From: sittichai3442@hotmail.com
To: =?UTF-8?B?U3RlcGhlbiBNY1F1aXN0aW4=?= <Stephen.McQuistin@glasgow.ac.uk>
Cc: hackathon@ietf.org, abnf-discuss@ietf.org
X-Mailer: My.com Mailer 1.0
Date: Mon, 27 Apr 2020 18:36:44 +0300
X-Letter-Fingerprint: X0XNNG4XuUziEnk3PbecUeMASIuSiapn
X-Mailru-Compose-Stats: =?UTF-8?B?eyJVc2VyU2Vzc2lvblRpbWUiOjEyODkzODU0LCJIb3N0IjoiZS1hai5teS5j?= =?UTF-8?B?b20ifQ==?=
Reply-To: sittichai3442@hotmail.com
Message-ID: <DM6PR07MB4171EDFD08FAAB2ED4B08390BEAF0@DM6PR07MB4171.namprd07.prod.outlook.com>
Content-Type: multipart/alternative; boundary="--ALT--1UVMBaoBF3sADutziRuUoqMmub3Xzes31588001804"
In-Reply-To: <B7A45984-2BFD-431A-BFEB-C4A357A55646@glasgow.ac.uk>
References: <DE624911-80E3-4EF6-83E5-E41E9245DC47@glasgow.ac.uk> <67B64692-A404-4F22-B65D-6D4A2C7372E6@glasgow.ac.uk> <B7A45984-2BFD-431A-BFEB-C4A357A55646@glasgow.ac.uk>
X-7564579A: EEAE043A70213CC8
X-77F55803: 68A6F98766B02875A0F21CC061F2095323D2FBEB2644075C4217F48FBB3DF915D213493EDB3C56C2C42CC529018FAF4E00A50096545A3557
X-D57D3AED: 3ZO7eAau8CL7WIMRKs4sN3D3tLDjz0dLbV79QFUyzQ2Ujvy7cMT6pYYqY16iZVKkSc3dCLJ7zSJH7+u4VD18S7Vl4ZUrpaVfd2+vE6kuoey4m4VkSEu530nj6fImhcD4MUrOEAnl0W826KZ9Q+tr5+wYjsrrSY/u8Y3PrTqANeitKFiSd6Yd7yPpbiiZ/d5BsxIjK0jGQgCHUM3Ry2Lt2G3MDkMauH3h0dBdQGj+BB/iPzQYh7XS329fgu+/vnDhD3YDg3ADCi7cNG5Wc4aSnQ==
X-Mailru-Sender: 9ED233FAA4C104D49AA606CC92BB2ECADCDCE52FE2C7AF7C35C6CF4E80965617960C005A9F5617FD5CDBD0F792EB6AD68DDC51C5D7660A175F062AF22AE25507C1066F626AABBBD93DDE9B364B0DF289AE208404248635DF
X-Mras: Ok
X-Spam: undefined
X-ClientProxiedBy: FR2P281CA0023.DEUP281.PROD.OUTLOOK.COM (2603:10a6:d10:14::10) To DM6PR07MB4171.namprd07.prod.outlook.com (2603:10b6:5:c9::33)
X-Microsoft-Original-Message-ID: <1588001804.196189293@f3.my.com>
MIME-Version: 1.0
X-MS-Exchange-MessageSentRepresentingType: 1
Received: from f3.my.com (185.30.176.241) by FR2P281CA0023.DEUP281.PROD.OUTLOOK.COM (2603:10a6:d10:14::10) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.2937.13 via Frontend Transport; Mon, 27 Apr 2020 15:36:48 +0000
X-Mailru-Internal-From: sittichai3442@hotmail.com
X-Mailer: My.com Mailer 1.0
X-Letter-Fingerprint: X0XNNG4XuUziEnk3PbecUeMASIuSiapn
X-Priority: 3 (Normal)
X-Mailru-Compose-Stats: {"UserSessionTime":12893854,"Host":"e-aj.my.com"}
X-7564579A: EEAE043A70213CC8
X-77F55803: 68A6F98766B02875A0F21CC061F2095323D2FBEB2644075C4217F48FBB3DF915D213493EDB3C56C2C42CC529018FAF4E00A50096545A3557
X-D57D3AED: 3ZO7eAau8CL7WIMRKs4sN3D3tLDjz0dLbV79QFUyzQ2Ujvy7cMT6pYYqY16iZVKkSc3dCLJ7zSJH7+u4VD18S7Vl4ZUrpaVfd2+vE6kuoey4m4VkSEu530nj6fImhcD4MUrOEAnl0W826KZ9Q+tr5+wYjsrrSY/u8Y3PrTqANeitKFiSd6Yd7yPpbiiZ/d5BsxIjK0jGQgCHUM3Ry2Lt2G3MDkMauH3h0dBdQGj+BB/iPzQYh7XS329fgu+/vnDhD3YDg3ADCi7cNG5Wc4aSnQ==
X-Mailru-Sender: 9ED233FAA4C104D49AA606CC92BB2ECADCDCE52FE2C7AF7C35C6CF4E80965617960C005A9F5617FD5CDBD0F792EB6AD68DDC51C5D7660A175F062AF22AE25507C1066F626AABBBD93DDE9B364B0DF289AE208404248635DF
X-Mras: Ok
X-Spam: undefined
X-Microsoft-Original-Message-ID: <1588001804.196189293@f3.my.com>
X-TMN: [ErK+O0a7N1v7vTEGdMm2YBE3EyC1jWzu]
X-MS-PublicTrafficType: Email
X-IncomingHeaderCount: 69
X-EOPAttributedMessage: 0
X-MS-Office365-Filtering-Correlation-Id: 8156af02-313a-475c-ada1-08d7eac0ccd5
X-MS-TrafficTypeDiagnostic: MW2NAM12HT117:
X-Microsoft-Antispam: BCL:0;
X-Microsoft-Antispam-Message-Info: SX47YqPcQpK4q4EVylsVNgCpySHG0QtpAzxp5BjT4GyULQt257mlAIw072N/rIsOqg4qQUaUgvbBdG8rB0MycdMRKH2QMZ0lZtCQ3GFGJ1PdZXzaM3PYu7ncLVRzmtNxFGIU5KK00qMJajpB3D8mAlMC7Rl1LjDfNsorvO0mOKNg7MvlrBmtbS35IDwSjJLfUGkWiBM9dSn6Rp6WA4IjEn8/rIv7JIb9ftpR3yRTS5U5J4JWdLGcoR78lqj3U5HB
X-Forefront-Antispam-Report: CIP:255.255.255.255; CTRY:; LANG:en; SCL:0; SRV:; IPV:NLI; SFV:NSPM; H:DM6PR07MB4171.namprd07.prod.outlook.com; PTR:; CAT:NONE; SFTY:; SFS:; DIR:OUT; SFP:1901;
X-MS-Exchange-AntiSpam-MessageData: 3Uxv3ZyG0d2X4iuIq+jZBabPaCMYaUIycL6jtnO1IVpxbU8nXiorST9ytRzGt1thT/BuLSfOcAbbMWZmxBdHody1x0ki5u2Qbcef2iIC4WwYoD34zMXPGGBK4Q9NeaqUySpe3Z6uJmptT1mtprVn8Q==
X-OriginatorOrg: hotmail.com
X-MS-Exchange-CrossTenant-Network-Message-Id: 8156af02-313a-475c-ada1-08d7eac0ccd5
X-MS-Exchange-CrossTenant-OriginalArrivalTime: 27 Apr 2020 15:36:49.4206 (UTC)
X-MS-Exchange-CrossTenant-FromEntityHeader: Hosted
X-MS-Exchange-CrossTenant-Id: 84df9e7f-e9f6-40af-b435-aaaaaaaaaaaa
X-MS-Exchange-CrossTenant-FromEntityHeader: Internet
X-MS-Exchange-CrossTenant-RMS-PersistedConsumerOrg: 00000000-0000-0000-0000-000000000000
X-MS-Exchange-Transport-CrossTenantHeadersStamped: MW2NAM12HT117
Archived-At: <https://mailarchive.ietf.org/arch/msg/hackathon/rZnRMLmoBdx-KCDxvB2T9paQOOE>
Subject: Re: [hackathon] =?utf-8?q?Virtual_formal_languages_meeting?=
X-BeenThere: hackathon@ietf.org
X-Mailman-Version: 2.1.29
Precedence: list
List-Id: "Discussion regarding past, present, and future IETF hackathons." <hackathon.ietf.org>
List-Unsubscribe: <https://www.ietf.org/mailman/options/hackathon>, <mailto:hackathon-request@ietf.org?subject=unsubscribe>
List-Archive: <https://mailarchive.ietf.org/arch/browse/hackathon/>
List-Post: <mailto:hackathon@ietf.org>
List-Help: <mailto:hackathon-request@ietf.org?subject=help>
List-Subscribe: <https://www.ietf.org/mailman/listinfo/hackathon>, <mailto:hackathon-request@ietf.org?subject=subscribe>
X-List-Received-Date: Mon, 27 Apr 2020 15:36:53 -0000

--
เซง แม่ง ต่อ พ.ร.ก ฉุนเฉิน ครับ  
ส่งจาก myMail สำหรับ Android วันจันทร์, 27 เมษายน 2020, 10:29PM +07:00 จาก Stephen McQuistin  Stephen.McQuistin@glasgow.ac.uk :

>We have now scheduled the formal languages side meeting for  Friday May 15th   at 16:00 to 17:30 (BST/UK time) . The meeting will take place via Zoom; the URL is  https://uofglasgow.zoom.us/j/98720811244  (instructions
> for dialling in are at  https://uofglasgow.zoom.us/u/amm0U74d4 ).
>
>As outlined previously, we’d like to showcase individual formal languages projects. If you’d like to give a short presentation, please let me know.
>
>I’ll circulate an agenda before the meeting.
>
>Thanks,
>
>Stephen
>
>>On 20 Apr 2020, at 20:20, Stephen McQuistin < Stephen.McQuistin@glasgow.ac.uk> wrote:
>>Hi,
>>
>>Given the cancellation of IETF 107 in-person meeting, we're planning to arrange
>>a virtual formal languages side meeting.
>>
>>So that we can try to schedule this for a time that suits most people, we've
>>created a Doodle poll to determine the best slot during the week May 11th
>>through May 15th. If you're planning to attend, please complete the poll at:
>>     https://doodle.com/poll/szutz9u8ufqg9qfr
>>
>>The meeting will be split into two broad parts: first, we'd like to showcase
>>projects that are related to formal languages. For this, we'd like to invite
>>presentations: please let me know if you'd like to present.
>>
>>In addition to presentations about specific projects, we plan to identify and
>>discuss the cross-cutting concerns (that cannot be addressed in existing groups)
>>around the use of formal languages in the IETF, and to discuss how to take this
>>work forward.
>>
>>I will circulate an agenda once the time/date of the meeting has been confirmed.
>>
>>If you are interested in this topic, there is also a formal description techniques
>>mailing list at  https://www.ietf.org/mailman/listinfo/fdt .
>>
>>Thanks,
>>
>>Stephen
>
>_______________________________________________
>hackathon mailing list
>hackathon@ietf.org
>https://www.ietf.org/mailman/listinfo/hackathon