From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/9250 Path: news.gmane.org!.POSTED!not-for-mail From: Nikos Tzevelekos Newsgroups: gmane.comp.science.types.announce,gmane.science.mathematics.categories,gmane.science.mathematics.petri-nets Subject: HIGHLIGHTS 2017 -- Call for Participation Date: Fri, 30 Jun 2017 13:44:57 +0100 Message-ID: NNTP-Posting-Host: blaine.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset="us-ascii"; Format="flowed" Content-Transfer-Encoding: 7bit X-Trace: blaine.gmane.org 1498841750 22169 195.159.176.226 (30 Jun 2017 16:55:50 GMT) X-Complaints-To: usenet@blaine.gmane.org NNTP-Posting-Date: Fri, 30 Jun 2017 16:55:50 +0000 (UTC) User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:52.0) Gecko/20100101 Thunderbird/52.1.1 To: categories-59hdLBrVOVU@public.gmane.org, theorynt-JX7+OpRa80RAtAYDKi7u6De48wsgrGvP@public.gmane.org, types-TrQ0NnR75azkdzWRgU60H7NAH6kLmebB@public.gmane.org, types-announce-nHFbR+4dATOoZA3Q9b/B0PZ8FUJU4vz8@public.gmane.org, easst-members-wE+tr93vHrbQzY9nttDBhA@public.gmane.org, fm-announcements-cwGa0Mn2PPIb0b0yYlRVAg@public.gmane.org, proglang-Tmj1lob9twqVc3sceRu5cw@public.gmane.org, gratra-FfzAktRlpg5lCZ00bGekxt7m1AW04n4n@public.gmane.org, ifmsig-aVqd/T0vMsmzQB+pC5nmwQ@public.gmane.org, sigsoft-l-eNF/EIkcjGz2fBVCVOL8/A@public.gmane.org, acm-fse-IAPFreCvJWOPGO37gQtJtnIPMjoJpjVV@public.gmane.org, announce-jNDFPZUTrfTs/wu/ztDUQnmj43O/BPlP@public.gmane.org, papm-jNDFPZUTrfRp3KkYoAkZooXGvZO2VSpW@public.gmane.org, petrinet-jNDFPZUTrfQBEfOqpokbeYV0Y/DQsy6Ps0AfqQuZ5sE@public.gmane.org, concurrency-JX7+OpRa80RGWJATNv3lvGZHpeb/A1Y/@public.gmane.org, ecoop-info-khN00PUlwG3YtjvyW6yDsg@public.gmane.org, joint-theory-seminars-aUOafQfIvX+1Qrn1Bg8BZw@public.gmane.org Original-X-From: types-announce-bounces-nHFbR+4dATOoZA3Q9b/B0PZ8FUJU4vz8@public.gmane.org Fri Jun 30 18:55:44 2017 Return-path: Envelope-to: gcst-types-announce-Uylq5CNFT+jYtjvyW6yDsg@public.gmane.org Original-Received: from mxfilter-048035.atla03.us.yomura.com ([107.189.48.35]) by blaine.gmane.org with esmtp (Exim 4.84_2) (envelope-from ) id 1dQzCm-0005Ht-SI for gcst-types-announce-Uylq5CNFT+jYtjvyW6yDsg@public.gmane.org; Fri, 30 Jun 2017 18:55:41 +0200 X-Yomura-MXScrub: 1.0 Original-Received: from RHIZOME.seas.upenn.edu (unknown [158.130.69.24]) by mxfilter-048035.atla03.us.yomura.com (Halon) with ESMTP id f388931a-5db4-11e7-b087-b499baabecb2; Fri, 30 Jun 2017 16:55:43 +0000 (UTC) Original-Received: from RHIZOME.SEAS.UPENN.EDU (localhost.upenn.edu [127.0.0.1]) by RHIZOME.seas.upenn.edu (8.15.2/8.14.3) with ESMTP id v5UGnIUg002038; Fri, 30 Jun 2017 12:49:35 -0400 X-Mailman-Handler: $Id: mm-handler,v 1.2 2002/04/05 19:41:09 bwarsaw Exp $ Original-Received: from psychopathy.seas.upenn.edu (psychopathy.seas.upenn.edu [158.130.67.191]) by RHIZOME.seas.upenn.edu (8.15.2/8.14.3) with ESMTP id v5UCjWZQ020615 for ; Fri, 30 Jun 2017 08:45:33 -0400 Original-Received: from mail2.qmul.ac.uk (mail2.qmul.ac.uk [138.37.6.6]) by psychopathy.seas.upenn.edu (8.14.9/8.14.3) with ESMTP id v5UCjMqk003068 for ; Fri, 30 Jun 2017 08:45:32 -0400 Original-Received: from mail-he1eur02lp0180.outbound.protection.outlook.com ([213.199.180.180] helo=EUR02-HE1-obe.outbound.protection.outlook.com) by mail2.qmul.ac.uk with esmtps (TLSv1:AES256-SHA:256) (Exim 4.71) (envelope-from ) id 1dQvIE-0005JE-R6; Fri, 30 Jun 2017 13:45:03 +0100 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=qmulprod.onmicrosoft.com; s=selector1-qmul-ac-uk; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version; bh=B8CO8SftJ0WvjOr0LGiGNkk1Ao9jENqap1nBbamPxhM=; b=Kwpfz0fRguZ6NOP3P22c1WziRyMsBSdA1B2zfVsMTvnwZE4PuGjEbfR5TpOTUv8CaDaw1Stw+f0n/Me5G/7RJauVanX9tApdRtFTcEuUvGxW5qLjKfI2vdL/ONRy0c7lQFzWldFS3S6Ev8vNqfvvnrvWgrpK7ZGIx7hn9OWpIpU= Authentication-Results: qmul.ac.uk; dkim=none (message not signed) header.d=none;qmul.ac.uk; dmarc=none action=none header.from=qmul.ac.uk; Original-Received: from [192.168.1.66] (93.56.117.227) by VI1PR0701MB2943.eurprd07.prod.outlook.com (2603:10a6:800:86::22) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_128_CBC_SHA256_P256) id 15.1.1220.5; Fri, 30 Jun 2017 12:45:00 +0000 Content-Language: en-GB X-Originating-IP: [93.56.117.227] X-ClientProxiedBy: AM4PR0202CA0008.eurprd02.prod.outlook.com (2603:10a6:200:89::18) To VI1PR0701MB2943.eurprd07.prod.outlook.com (2603:10a6:800:86::22) X-MS-PublicTrafficType: Email X-MS-Office365-Filtering-Correlation-Id: 56c86852-0e00-479c-99b6-08d4bfb5d2e7 X-Microsoft-Antispam: UriScan:; BCL:0; PCL:0; RULEID:(300000500095)(300135000095)(300000501095)(300135300095)(22001)(300000502095)(300135100095)(300000503095)(300135400095)(201703131423075)(201703031133081)(300000504095)(300135200095)(300000505095)(300135600095)(300000506095)(300135500095); SRVR:VI1PR0701MB2943; X-Microsoft-Exchange-Diagnostics: 1; VI1PR0701MB2943; 3:j+uqkEcRDheGOWLDp35AqgREPdoTJkMVIyx9iykUgK9I37GnSP+RbiGSrUWbvUN37wQXeRl1+p6HEE9dROqCVqG12aFXJmVy1KhZv2i3oLzlocOf0XergVn9dvalRfgRrJu+h6Fo7r9G4SIa6tAOvIM22RTbFDZtoVxOS2u9VPnTm1Ax0t1Jxq+Zyv23/kyl98zr6hVyMLSsb3gkcW3lEJ7sl91t7nnZaGg6823Tm5JDXItpE/tcNNzDNYKoipw8ZZQmbL8cXJah8wL5Q3GlKEUtA9NTEQd8jXbDmVZe03yo6mUXjIN4gUj6mAEpQ1ZuGuaKWA3U9WvpbENbUVt5ScCOGSCxC4Si9mLxgI/M2sJOR0fTwEl5ARl418HmGQXWdmrSBRwAX4B3UmASezIIZm7E6KMH5v1cMZL9CzhBYz0FDHPIDG+JlFEp+d5joVPfsREtEjxC1BXhFLyutga9W1l64NASZDlZa3nNrOvU2UTsVfw2frY8TLz6v+T1b40uCasszDU4dafx+aw+ALAPD+1vaHqz+Q95/vjbaD+w9Z2za/bPnUh5RRntbFjWaS0A1lsPBZ/jjsgSgnOstqHivoHCcBVu3Kih4t0rFLo68qiNpILZx0ygXPxiIy2K6aU6pXEx4i4noDNzgVZHv1FZihnaxWDilOI2LpuV8nRFBumw2dSsfEH647vbcGnSVrApAAv0YkjGI5hz76Nc1UXM7PLC3diiWZiQimTaWc1kSlE= X-MS-TrafficTypeDiagnostic: VI1PR0701MB2943: X-Microsoft-Exchange-Diagnostics: 1; VI1PR0701MB2943; 25:YRB57EM4p85bzV9xbcUyf1U4ydoy0AGIsPYMwG4CrTFNMZCXf+tO93sgGTrN8IwCdr+R+woUwfIEq13dp8P5pNqsCsfqEnRylrj86y+tyD4uIFiDzAbEiTSAnZiTNRM1Bl4Sgt2BJTzvxvpDbq7lc9KNwh8KkTZwy5nfPHIa03j5ucP6xKvP1tJCcWVuq5dPpYWnE2nY/bofAcsB4lSzkOyjcKffpYLdJmNhDWq6eY4ZcPNQA64sdxSJIV8aRDsvePe0jg8qwIpLnoeO3PfAvPO65QkxTaEP9rVZE1XGV6TmdC/nrRQ8lT3UmkkC0tmrlrZUmH7pUAA7ow0h2WCUv7XWd/0H+rVV2da+7/Fr0FD8+9veTryHs0VTKbuNj29RZLFTFR/09QD8GySoV51t3bugnFMiAYR2m2wFf8AXnQly26BkWuEp8DpHey7JwGTu+fUjU6sskA3EvqC7xozIq9sen1kngxorsiLBE8f4peslRcmJEOpGHX/+GibbVzfVBuO9uySAoYKk1wLWxq8TWCYNLciODMqMdzV6btYXQPkwOruKDdd8ZklB4i0nzcyIB4bRCAnEfCVxIr5uMbEYR8oTTnQC+dr/aQLkQkoWRoLMJ1EjpJfvwqaA5kqmGARfc/PA05MPPbAzDeLzf11B3RfgA07VcLRO/3y4GBMsDtqXKhuJn8Ja4RmYNcZ6+FUHf7Gd1hErqRuIZ58vGVueK7zOeChCS1P7+Nd11WFmuo1qxulQqZmHPcMzrkxDYViKsBGO97CbAQWFsPYj6qjsMr4Qu+Og j18fVrWN+NKYfMXoylWcUA3hrOqXWc7NAsVksgMKIddM X-Microsoft-Exchange-Diagnostics: 1; VI1PR0701MB2943; 31:abDfcHp3HHmSZb8GU8EPaeEUdINfljH7OQPzOKQwTfNvbmXJxoCtpZSHOfDjhMpk8LSaSFXq+FOTVSaRxYyiegXnq5dHUpF6ZiI7CY3qZnwaHgL9Iyo6XJn+FQ5wBxXtpXIvxoZb85yuiNSz7YAdnuWxZkBoTCDwLNqgeTojQBnJAJo6zzIv8BL8wBPAcvcb/wILfoKFqMXWBPiRVZpxvnaWWE7HTaDGUK5c7bu8xRJWMCeJQasKNbj6fNJ6dQVnozs6gh3LqR/D5ZFH5QI7X6d5h6GNZA2A77dcGjQCg6erCLhglv4omspBgZ0RskVWKSTogdxQ5sf5IQoCqj+Q4TesZNPgnuyNnGRLrddmzQGD3KUbVENJZeu0zihIQSN/JwzByyqRY77Yhiqym3+7dEHY4QQ5cqqJbbe2PNmpUBb9t300qo6z2B99UUQmUJRmZyQdkbHvyBC6bP7B9K9Q/KvnxZqWTmyBx4QcKqUmKeFsqNm8ahmrjkOmitSvJ35HEowViA2pJuvDlPgVmETTdfzVB9AqvYK+RQEMUCTaX4UN050aYwptZ7k2HeM5Rxt/RmTxF1/r7K8BYxA5UKhgpjpyl7BmQ9a/wGjq4WZSu0hVd2xOebls9RJg/sf91ahZoIGszNFZdhaftphltBps/Xen7/0kyDCj5g8MPRBltek= X-Microsoft-Exchange-Diagnostics: 1; VI1PR0701MB2943; 20:gK/88wik+gFqM0ZIRClCcYYHBQ9ax58UmE2WwBSzbpFBak/OVprDysSZlJGZ4182c9/H5kcR/T7R/x9mNut72ixoN4MYq2QLoobsMznvg/n0Swh7ZdmiTssLyiIed+k/FaYezo4h5rEvNAVYFVewZav7KDbNIXXL8qI1D+DHUEWZAWQ5oUJSUgx51X7Y6h6zcWf6XFDIi/ykWBq1piNNHvTHJqN/ssolKFX6vwbEBCPwYL0jpS0XaN5Q/1ciOoo5I/gfdeATyWYYhur1r/SVxjkP2N+NiMBZcrnZIb60Z0y4B2v0l7f1NLHExnRwZwu1qTFMu8ToTJnE0ZjqWV9b/c9nPV5z9st+Cz3YG9AHIDRMiOYUEmUlo0SqhqEFkasHtf+ZdPdY0GdIeKqjU2rJgkLNbRR9CEjsn5xQ2f4yNfKhxOUk4Rj/cVUDsgczoyM3ZoVDfFcSnEMeNANUXa1C771HNF8whhUWO2hrWbF/kDazU75qZm5KerAG7Tix4llM X-Microsoft-Antispam-PRVS: X-Exchange-Antispam-Report-Test: UriScan:(278428928389397)(236129657087228)(192374486261705)(247924648384137); X-Exchange-Antispam-Report-CFA-Test: BCL:0; PCL:0; RULEID:(100000700101)(100105000095)(100000701101)(100105300095)(100000702101)(100105100095)(6040450)(601004)(2401047)(5005006)(8121501046)(3002001)(93006095)(93001095)(10201501046)(100000703101)(100105400095)(6041248)(20161123562025)(20161123555025)(20161123558100)(20161123564025)(201703131423075)(201702281529075)(201702281528075)(201703061421075)(201703061406153)(20161123560025)(6072148)(100000704101)(100105200095)(100000705101)(100105500095); SRVR:VI1PR0701MB2943; BCL:0; PCL:0; RULEID:(100000800101)(100110000095)(100000801101)(100110300095)(100000802101)(100110100095)(100000803101)(100110400095)(100000804101)(100110200095)(100000805101)(100110500095); SRVR:VI1PR0701MB2943; X-Microsoft-Exchange-Diagnostics: =?utf-8?B?MTtWSTFQUjA3MDFNQjI5NDM7NDo0VmNoSnBWbjJaV25GUm4wQjNGZGtUaEZF?= =?utf-8?B?M0ZCdjNwU2NMOGEvdVFHWDRwSm82NzdxMERLZ0hyRndwOW1qSHNVKytWMVRp?= =?utf-8?B?Rk53RFkwZ1FhcWVBQ2ZlNXAyVGhaSm8wZk5TY3dYS2dpQ0NNT3dTSzV2d2lU?= =?utf-8?B?SkU4cDdDd3pyWjVsVENiT3NMMEpBckN5clI3UVNFcXArN3ZSUG5NZ0d2a28x?= =?utf-8?B?NlAxelZOZjZNSHgzc1JZSlVEN0tRWDhOM1lHRjU4Mk50dXZodGJSMi9iQXVk?= =?utf-8?B?NkVvOFJqNGtYdk41TDVLNDI0S0tJdG1nMkZQTTJvRVhlUXpMUjcxTDRLbjVM?= =?utf-8?B?ZGNuOVc5Mkg3WWJPdVAxeUF6RHlzV2J2TENzVzZmQTRkc0pWZnJyM1RRYkkv?= =?utf-8?B?aE1tT08wVTljbjJmQXlUVVZSQnR0aWFQZVdTWkpSK1dBUTNicXJQSXpGVTNj?= =?utf-8?B?eWlqUTBIS3dyV3NhT093eDhRc1VMR01JL24zTVRNNjhLbWRWQ1RHV0piNXc1?= =?utf-8?B?UUFpcU9jN0hna0FMRHZobjRxS0ppaWdlUW1Kanc5bGJLRnkwNTBmdGtFNS9F?= =?utf-8?B?bU9PMU85RW5raGZod09UanI4RUdESFhTUnAwWTB3SVoyaG5WcUtFbUxLbUw3?= =?utf-8?B?Z3k0WFBVQzZua05zVVZTSTlkM2hRYlI5T2Z1bkxOek X-Forefront-PRVS: 0354B4BED2 X-Forefront-Antispam-Report: SFV:NSPM; SFS:(10009020)(4630300001)(6009001)(6049001)(39410400002)(39450400003)(39400400002)(39850400002)(39840400002)(6636002)(2906002)(305945005)(65806001)(65956001)(66066001)(117156002)(966005)(74482002)(42882006)(64126003)(53936002)(6666003)(6116002)(189998001)(42186005)(3846002)(33646002)(31686004)(83506001)(23676002)(478600001)(6306002)(86362001)(230700001)(31696002)(54356999)(4001350100001)(25786009)(6486002)(77096006)(50986999)(65826007)(38730400002)(36756003)(2171002)(8676002)(5660300001)(110136004)(1250700005)(81166006)(53376002)(50466002)(53386004)(7416002)(7736002)(47776003)(921003)(1121003); DIR:OUT; SFP:1101; SCL:1; SRVR:VI1PR0701MB2943; H:[192.168.1.66]; FPR:; SPF:None; MLV:nov; PTR:InfoNoRecords; LANG:en; X-Microsoft-Exchange-Diagnostics: =?utf-8?B?MTtWSTFQUjA3MDFNQjI5NDM7MjM6aVJxSlFXWDhzS0hRd2NQSjhldlQ1UXA5?= =?utf-8?B?MEpZRk5rb0lrQ3NrTGJ4cU83UFRhL3M3WVV1OTZkb3dCVkpiN2tBWDg4WWh3?= =?utf-8?B?ZHFLblAwcnYxQ21aUDhRdCs1bG1jNGxjdnc1cTIvMURWVkZOdXpGOWhBVVM0?= =?utf-8?B?VG16UDhMdzBxNWR1S0hVaVpxVUhLUkswMFllcVovRmJsUlMzeno5T2grck5m?= =?utf-8?B?TTJrbkx2U1FBTzNjR0srSFZGUXBZY0ZjVnlFZ2lsUlI3bkNMWXpnQkhUN0tw?= =?utf-8?B?ZFB2MUdhRy9rMUs3czkxYkxPWWRVeSs4ZXJPYjc1MzByTjVFbTJobkxoaWlC?= =?utf-8?B?YWdtb21ybkN3RGJacU05SXdJa2RCMm1UL3BWMUJ0N0FxcFQ1d3VrWHNKZXpL?= =?utf-8?B?UzVZeWp3SnBOR0hkSU5GUDFNNEN1dlVFWDkrbElBTHJJelJQWVNFdFQrMUZ6?= =?utf-8?B?ZkF5dXc0QlRabFA0cW44eTh6Mjh6S3pZQkQrNUVjbkpkLzhJQ2UvNTNIWGNZ?= =?utf-8?B?OTg3TEhKdUoyYnl4UDQ3eGNCRmVad1JMYWRwUkNnSnkyaTNOZkszVFpleGVa?= =?utf-8?B?ekZVYnpGY01qQXBXSUt6YkpnNHJLeEhqUm5vYThSTW52bmhRNG9XMnlEcUJF?= =?utf-8?B?T1RtcExTTW1kazhTMm5EcnpicEx2YmxmQml4UnYrQU X-Microsoft-Exchange-Diagnostics: =?utf-8?B?MTtWSTFQUjA3MDFNQjI5NDM7NjpIczVmK0JEN2E1M3pRdEx0Y21ZZUw4bUFI?= =?utf-8?B?VFdzdDhpSHY4SG9mSjFVY3FXeU5jRnpaSHk2Z3NrVm5YaURxL2J6UGVIOW1t?= =?utf-8?B?S2h6Z2NEWnVuRjJvSzNzbnF4TFF5ZFVxR05lM0tNV2trTC9sNjlxZUNWUWVD?= =?utf-8?B?eXg1RmR6VkpHTHpnTHp2RVMrTzJkRjlqTW5qZy9jUTNiQ2l0YjFBdG9xUm5X?= =?utf-8?B?NHRCSzl3U2ZoWDB3bGgzT2FuUmhwNkhWdCtkUHFYTzVhUW1LRDVRNC9RZnB6?= =?utf-8?B?LzBkM2dvYktIai90aElTYXAwNGNleHIxQjlneHEwYUJEcVBBbnBTcHB0OUNP?= =?utf-8?B?Vms2RE5uL2NjS2xHS0grS2FLeUhYTmptdEFlMVA2emRGMTBLOE12MTZhenJQ?= =?utf-8?B?cTBIUVprVk5pU3Z0TG5SemZtdHVmUWxnMlE2ZXpnWjZJU0dpSGFNVXhNN2hF?= =?utf-8?B?dTVpWERpcG1iWWlNZXcreExZYlZVYVlKQlFPOFFmcUFVVXF4VVNoN1NWNEN3?= =?utf-8?B?L0s0Zk94MzdTNFNhQjNFTUM4elREWDl3SEpUb3J4YUxGbk9EdW41SC9GOExS?= =?utf-8?B?OXdnU0Zsb2RqWHBjN200dXR5QW9mc3F4VmFqWG9JNzc4NUFEdWo5VTRIdjBI?= =?utf-8?B?b2FkZ0VTMTA0UzVkWTV3Y0J3NzZBbXhuaXNVQXFlRU X-Microsoft-Exchange-Diagnostics: 1; VI1PR0701MB2943; 5:R0judtmZgtqbl5neNCvn+Qbu9cdMS6d+Xco2TQlWOiVTckjz5hHT8t4szLn0LCwzno5oiMBEaV3fujFm3LZqmh8sPAbSkR9R0Y44KtmriEBdrWXSseUOxEgWjTSj6b7A03aPkgIy+VqukVQdnRicw/E2iT1Zz3i2mbV64sdbspGBSZ9bfdptnUp9SqOEEInrJhjSFqAoyJjpJtvnOstCySu7RPP/Fa1OtCtpsNxgC9aqU+8ype0UIeoBSpn2wjk+S5pOUqes0ngE+gcJCTF5Mq0bDPBZCZ026NC8bMyiLb+JrlWycBAE4CoMaP4zAwKba2+8xgw7e4m4CHyTQVW1H8oqT+dlynxDQp1TXl4tLXuv0CCpBHu3Eb+PY2XU3E4EKJtWWxpiLhivXhgr4MNKJ6fPyXUh2daO97FqWlfwT1nGiTn71NZZgm7klze6OhtPPgKOjqW+/5IUK5MJMa84oq5v5cMiHkdfQnF/xC++24IPPJpyD/VBfMuWOx1Vzevc; 24:ytOFPaWK7vkLBzyfHtvWjGAW9kbqGlC4Y5RJ5lobi4UWRv2f+clc/pQKp6hVyHBzcwRFeyX21T00cDC9y8xkIHNDv+f7Tuav1sJu2GK6Uho= SpamDiagnosticOutput: 1:99 SpamDiagnosticMetadata: NSPM X-Microsoft-Exchange-Diagnostics: 1; VI1PR0701MB2943; 7:Nsknuwlmk8UoZylNNeuRpkKyEbW7T77F3vbpeRO546nMlop6vsnngb6ml6L70gN06G7TZAIZt5N11tGtc1hDsPUzkzG3bABiUz5Uks0hTRpZJqtmo3jHGFL5c8PvCtfj3hHGEFuc9RRtS0MeZZdKnhx6U9Ngl9F/yp6jLIsYvA0iBcAi2QiBsjI7swp3MD5pYd6D+6gyzoNC0N274evtPDOwGkjqHLRy4TCaaiqo7UWe6JLYvjfsNmwRlcXF/Y20lbFbEptg2i/yapw540z+el77jqsDyOnw0XjSJK7eRO9h3tsp1zS9Fe3x8tMaDTE5uM8p6bAuPMgohnlLpQol5AVQBnxgTZY2VARxL6NB7KagQ/6iz52Sj2hGIy+1nsB19ocPdDGqmsIfDAL9Z8pjNEmATfzNOUWvIHUu3AZgc04PDNhlOHIUA5olARKHSsG7E4GM2fg3EOUQaCGwzTmCXOC69SOB7/bXc+v2zoQAKh19xoFgGtWsWw1O+eabosFMmz1ghZnceq7/+531H3ahsZcgr05/96MpfFVjxa08dymre2UE2eq/yVeDVZUgMddJZLJWrrMl5CfKF+1PBkvWNrtdY8qJ8ALoT2X1B/AvpwQDpsbs0YH+CwzGzzIqY4qg+NJae73DDfGFqR7yorp9esSbHFRdA0knQZWPLoPOzhyC8yCFJ+nCqevEQNi3rijLadDu2LAGUZKuF6E4OXfx/zv1cpp76r4aWrDPyrszBnJtpkYCXmq0jFTrjwu6CbvXeBp2hdB4uV2myz09A7LeuOPzAbabF oYNUBdyFiBg8nM= X-OriginatorOrg: qmul.ac.uk X-MS-Exchange-CrossTenant-OriginalArrivalTime: 30 Jun 2017 12:45:00.1851 (UTC) X-MS-Exchange-CrossTenant-FromEntityHeader: Hosted X-MS-Exchange-Transport-CrossTenantHeadersStamped: VI1PR0701MB2943 X-QM-Office365: True X-QM-Body-MD5: e9644a3d3da777c56c4854e06aa6f21a (of first 20000 bytes) X-Sender-Host-Address: 213.199.180.180 X-SpamAssassin-Score: 0.0 X-SpamAssassin-SpamBar: / X-SpamAssassin-Report: The QM spam filters have analysed this message to determine if it is spam. We require at least 5.0 points to mark a message as spam. This message scored 0.0 points. Summary of the scoring: * 0.0 AWL AWL: Adjusted score from AWL reputation of From: address X-QM-Scan-Virus: ClamAV says the message is clean X-Proofpoint-Virus-Version: vendor=nai engine=5600 definitions=5800 signatures=585085 X-Proofpoint-Spam-Details: rule=spam_score_tagging policy=default score=0 spamscore=0 suspectscore=0 phishscore=0 adultscore=0 bulkscore=12 classifier=spam adjust=0 reason=mlx scancount=1 engine=8.0.1-1410280000 definitions=main-1706300202 X-Proofpoint-SpamScore: 0 X-Mailman-Approved-At: Fri, 30 Jun 2017 12:49:16 -0400 X-BeenThere: types-announce-0AtTguNXcGkudfPDI7pAfjevRRvlBcP1@public.gmane.org X-Mailman-Version: 2.1.22 Precedence: list List-Id: Announcements of interest to the TYPES community List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: types-announce-bounces-0AtTguNXcGkudfPDI7pAfjevRRvlBcP1@public.gmane.org Original-Sender: "Types-announce" Xref: news.gmane.org gmane.comp.science.types.announce:6968 gmane.science.mathematics.categories:9250 gmane.science.mathematics.petri-nets:5206 Archived-At: [ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] [with apologies for multiple postings] HIGHLIGHTS 2017 -- FIFTH CONFERENCE ON HIGHLIGHTS OF LOGIC, GAMES AND AUTOMATA Call for Participation 12-15 SEPTEMBER 2017, London, UK http://highlights-conference.org * HIGHLIGHTS 2017 is the fifth conference on Highlights of Logic, Games and Automata which aims at integrating the community working in these fields. Papers from these areas are dispersed across many conferences, which makes them difficult to follow. A visit to Highlights conference should offer a wide picture of the latest research in the field and a chance to meet everybody in the community, not just those who happen to publish in one particular proceedings volume. * The program will offer 59 contributed talks, three keynotes: + Mikolaj Bojanczyk, "Recognisability equals MSO definability for graphs of bounded treewidth" + Sanjay Jain, "Quasi Polynomial and FPT algorithms for parity games" + Hung Ngo, "Shannon-type inequalities, submodular width, and disjunctive datalog" two special sessions organized by: + Patricia Bouyer, "Games played on graphs: quantitative games, games with multi-objectives, non-zero sum games" + Alexandra Silva, "Model learning, automata and its applications" and two tutorials + Veronique Cortier, "Verification of security protocols" + Damien Pous, "Coinduction up to and automata algorithms" Full programme can be found at: http://highlights-conference.org. * Registration open until August 20, 2017 at http://highlights-conference.org/register/