From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on inbox.vuxu.org X-Spam-Level: X-Spam-Status: No, score=-0.5 required=5.0 tests=DKIMWL_WL_HIGH,DKIM_SIGNED, DKIM_VALID,HTML_MESSAGE,HTTPS_HTTP_MISMATCH,RCVD_IN_DNSWL_NONE, RCVD_IN_MSPIKE_H2,T_SCC_BODY_TEXT_LINE autolearn=ham autolearn_force=no version=3.4.4 Received: (qmail 3390 invoked from network); 7 Nov 2023 19:47:26 -0000 Received: from mail-me3aus01on2090.outbound.protection.outlook.com (HELO AUS01-ME3-obe.outbound.protection.outlook.com) (40.107.108.90) by inbox.vuxu.org with ESMTPUTF8; 7 Nov 2023 19:47:26 -0000 ARC-Seal: i=5; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=pass; b=LcR/C41+mVVy8FNz1tV4UHQRYuRQgGNYrgnjB2Cyu8nKSssTKuCNmSMtMdObC0z5D1qvOAeMUZdZFzNOY+D5ONE+jrtVN2tD9IL9KLpZG6eqBmzuDBV/DmkqXCbzqklAegKVBljayNwpTMXfc9p4vAgiyyVZMFSUfk8o98aGvdwFW37zjE6HVKf2BK/SEBow6hFU+GYg8SACXSI4lZ2vDLErFvyZ6oNdpctA0N9AYC9vaR2H+BpjJgcPkgRErcSRN+h+cZbNXbo9ytlVQOHYicpPemMaTgw0LLuWPT/6LNp6K+oXiHvvyiigQc827zC/aiI/NDri0X0eKENpmQhhVQ== ARC-Message-Signature: i=5; a=rsa-sha256; c=relaxed/relaxed; d=microsoft.com; s=arcselector9901; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-AntiSpam-MessageData-ChunkCount:X-MS-Exchange-AntiSpam-MessageData-0:X-MS-Exchange-AntiSpam-MessageData-1; bh=7kVaqMLsxDk7sIU91UECEJ1ox1YpNoI67qIcKQ++L5Q=; b=KCPU8ut4cNvScfmsfnT8wPBgsH7RYdXkLFRRNmeDtpU+BMXLKByOFWiRPDQ0PM1W02VvfKrB/GtOaMZYIaWvcsKyamEXs0q6hkx9wK2xl3Zlyt6AmBCMfFQqVg3jseKgHvOJzaWdB2y73PYqfsdX36cTsexlrai/6mtwWoUOJsflKXQY22mNZhBiesU60ZujdO4SNQPUEwZWJemdyqZtBwIgmx6LQK+qVvFXTtAWFo8GvtSXY0pX6t3ncIzV/ywLOigulxnscsd213wetuHSAyhKZjOeMDUUEaIHg8xEi6OAXmbXHsTxIRZ15TQkfsrbFqnU2CjSIX9jwujD8QW4Cw== ARC-Authentication-Results: i=5; mx.microsoft.com 1; spf=pass (sender ip is 147.188.128.150) smtp.rcpttodomain=mq.edu.au smtp.mailfrom=bham.ac.uk; dmarc=bestguesspass action=none header.from=bham.ac.uk; dkim=fail (signature did not verify) header.d=bham.ac.uk; dkim=fail (body hash did not verify) header.d=bham.onmicrosoft.com; arc=pass (0 oda=0 ltdi=0 93) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=groups.office.net; s=selector1; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-SenderADCheck; bh=7kVaqMLsxDk7sIU91UECEJ1ox1YpNoI67qIcKQ++L5Q=; b=Wk627W8ZNJwOVBqdrmNF41K6ePJJmC6QYo0w9yOTOgiToaA7v14k2fyDiKLtia8OLxIlO18cvvWN7NTPltTAnx/YQKsqFyQY7fQyQUcCH8f1DM6YLnnSzD4HHegqGSLX82dlugtlyonASHL79S90jNH0iO6bVwhEWuc0uhfqEsc8/+XRzEa0JzvDYGpjrjWlNUc3o688CJ65NqC1n7YfEmSnf/soS2SUSSBCYTjleMcotLxVu2LqNPk3sMFY/MLigFGd+bhVdh1P5ECjBKMSq2HLhJv59236Enr2ujamhZyH5eURWV//cyfSCs7Qjdr8qPEfJw+u3df3EC2qbgT7HQ== Received: from SmtpServer.Submit by SY6PR01MB7612 with Microsoft SMTP Server id 15.20.6977.18; Tue, 7 Nov 2023 19:47:23 +0000 ARC-Seal: i=4; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=pass; b=bXKcDqn22glLZWdFQ2AOexwuLH/GhiFz0satWH7yytquWVH6Bg+/kIgHGXTkKXlOve82UWNtJzPP8CvYMnEegBYhzXwlJyPYdH1c8Gs9ZHDeD37dAdDo7ErEdJGsUi+e6m8iLyydX8ECXZUb40Z9Pe6OQDjJvINP9kKxDTKcVIsy75bOsdm3LxFFcbvftVIhXRLy6dxLx9QRa1kfLcuCDZ0t7mh21xg9mwhnvwu7zspqI/sIfMPKscbM34ZB+kS472NZqa6FHGvh8ccG+GaXYfiU5ymyscjPLkY24/fqFWzjKm37jy5/WSztVX2qI8WEuEkR98Ytmj2W4PP62A9v8Q== ARC-Message-Signature: i=4; a=rsa-sha256; c=relaxed/relaxed; d=microsoft.com; s=arcselector9901; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-AntiSpam-MessageData-ChunkCount:X-MS-Exchange-AntiSpam-MessageData-0:X-MS-Exchange-AntiSpam-MessageData-1; bh=th9G/8Vad4jZtBs6rpkx0hleN/7KdL4ZRrJfaKoBVyI=; b=MLkmdZ79gYhy7ykZC4pKgPTFVlmElIzJLad3Gu4ymGBfst9biT61b2tOsy0sZpV6o2JtZHlcHbfcUJiMVmLhXlhO4ThyBWXQEcE/QWbKDAMp4YlIqdF+GKVASSB/00f5wq45jy7qjNiDnaiMQeuDdhoudj4ixmPwgnBQjvUzOqx44Ft4lQskJzIMworm6n3OvX2axdJuSe+2POkBV9+57EBEO5rs7xETMDr8JRWXDrrKCYyGts7VXwG4WuE6TeeMs1c7g2y1tkKvHR8sgfmyRoQyLD5FpJlBd/CuFHwjbBVyyxdnPHbJRfzK3A+k0VQxX9R56d6D3JZsPQ5/LMTCPg== ARC-Authentication-Results: i=4; mx.microsoft.com 1; spf=pass (sender ip is 147.188.128.150) smtp.rcpttodomain=mq.edu.au smtp.mailfrom=bham.ac.uk; dmarc=bestguesspass action=none header.from=bham.ac.uk; dkim=fail (signature did not verify) header.d=bham.ac.uk; dkim=fail (body hash did not verify) header.d=bham.onmicrosoft.com; arc=pass (0 oda=0 ltdi=0 93) Received: from SYBPR01MB6205.ausprd01.prod.outlook.com (2603:10c6:10:100::12) by SY6PR01MB7612.ausprd01.prod.outlook.com (2603:10c6:10:173::16) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.6977.18; Tue, 7 Nov 2023 19:47:17 +0000 Received: from MEAPR01MB4358.ausprd01.prod.outlook.com (2603:10c6:220:16::20) by SYBPR01MB6205.ausprd01.prod.outlook.com (2603:10c6:10:100::12) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.6977.18; Tue, 7 Nov 2023 19:47:08 +0000 Received: from MEAPR01MB4358.ausprd01.prod.outlook.com ([fe80::542e:22b6:4af1:aa6f]) by MEAPR01MB4358.ausprd01.prod.outlook.com ([fe80::542e:22b6:4af1:aa6f%6]) with mapi id 15.20.6977.018; Tue, 7 Nov 2023 19:47:07 +0000 ARC-Seal: i=3; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=pass; b=gi56FVBvo0uS6cPWku0GZFZPbduf+C6k3RTXk5fto71R+oLOteGz9lpWoX96yCzLNcWVV/56NZxLLTzeouXyBzlusO5eg6E3+yNCYeB++uns7U1r16wStA1kaYSxNzDd8O6KSv9lTWUovY5sJQjhQRUFNB9ULXpHCxenSkmyHEoUw4jY758CYjoLrrm7fQUBK9IfhxQ5uj4hp1wLCdWXHYYw43Q48O7E01JGy0rB0dwBTu5t0Dnx/cNGf+92peKjFqE8A5odpktE8Aoal5/f7QiSJniy3vDs/nd8Im0iYBiL3zElgeBqrgBFUKgtFVn2aapw3r1v7Il10ZvM/V0AlA== ARC-Message-Signature: i=3; a=rsa-sha256; c=relaxed/relaxed; d=microsoft.com; s=arcselector9901; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-AntiSpam-MessageData-ChunkCount:X-MS-Exchange-AntiSpam-MessageData-0:X-MS-Exchange-AntiSpam-MessageData-1; bh=th9G/8Vad4jZtBs6rpkx0hleN/7KdL4ZRrJfaKoBVyI=; b=ggvAhm14VTIkHYec3XNqgMy6H3wYfmQJk1v3hLbVATZv0r/2Yc35/+5tAoldNudRgRymlYAHBwPpDn6lpON2BUuM/hyVTLEYl+meKw0gFZy6fEyaE6gJqTuX/VSmQoGxDzVbGdYWrQwPG0u+KC5qNDJ6hpiTAhblovuAE9PxR9akt61HjyUQHloiJhCk9MsjROX3bARnTDZLnisBtB2N5NvQwhBBeCrXIRr3ATYu2bGqtKU9girVy/kqOuTQ6NNAXb2KFUyicQdyoWgMxM2ARDS96zREtHMW6zSBsyN1KzCkLBXk4MbG0+1oKZsW9KYGQm9NTAdjI9mg8FJ2zuL79g== ARC-Authentication-Results: i=3; mx.microsoft.com 1; spf=pass (sender ip is 147.188.128.150) smtp.rcpttodomain=mq.edu.au smtp.mailfrom=bham.ac.uk; dmarc=bestguesspass action=none header.from=bham.ac.uk; dkim=fail (signature did not verify) header.d=bham.ac.uk; dkim=fail (body hash did not verify) header.d=bham.onmicrosoft.com; arc=pass (0 oda=0 ltdi=0 93) Received: from SY5PR01CA0099.ausprd01.prod.outlook.com (2603:10c6:10:207::12) by ME3PR01MB5927.ausprd01.prod.outlook.com (2603:10c6:220:e2::6) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.6954.27; Tue, 7 Nov 2023 11:11:35 +0000 Received: from SY4AUS01FT004.eop-AUS01.prod.protection.outlook.com (2603:10c6:10:207:cafe::c8) by SY5PR01CA0099.outlook.office365.com (2603:10c6:10:207::12) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.6954.22 via Frontend Transport; Tue, 7 Nov 2023 11:11:35 +0000 Authentication-Results: spf=pass (sender IP is 147.188.128.150) smtp.mailfrom=bham.ac.uk; dkim=fail (signature did not verify) header.d=bham.ac.uk;dmarc=bestguesspass action=none header.from=bham.ac.uk; Received-SPF: Pass (protection.outlook.com: domain of bham.ac.uk designates 147.188.128.150 as permitted sender) receiver=protection.outlook.com; client-ip=147.188.128.150; helo=sun61.bham.ac.uk; pr=C Received: from au-smtp-inbound-delivery-1.mimecast.com (103.96.22.101) by SY4AUS01FT004.mail.protection.outlook.com (10.114.156.102) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.6977.17 via Frontend Transport; Tue, 7 Nov 2023 11:11:34 +0000 ARC-Message-Signature: i=2; a=rsa-sha256; c=relaxed/relaxed; d=dkim.mimecast.com; s=201903; t=1699355493; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:mime-version:mime-version:content-type:content-type: dkim-signature; bh=th9G/8Vad4jZtBs6rpkx0hleN/7KdL4ZRrJfaKoBVyI=; b=sJZGidb6XxA/beyCDcgHvBfRURSooZOYOKvQMSdQdvo57qR2OEVKmjInX/w5n7IZl4VdgQ OS1Qxf62G51Jh0UjgB7w4fIBnucfqIO0W5WMx4OXmJr7rGcWofbvaPVc3PTuImupzN1Hnd lNATnruVFkmbQ1SwLfuk+j+OCn22cKnNV+DEPdgirDcq4YIWaCtXWxbMog2qdGY4cdG+vG l7pVMeb9m6HBE/8821/9kE/GtswJ1GHQNbHWGGbEZvNbscmZ/ugmNUSZQEHEkeBdD9/sT9 nOj42azXASiuEq6mGOnPoGIYb8AXkl4OvGi+t87kn9MpXoZKMkGykxQQcysr1Q== ARC-Seal: i=2; s=201903; d=dkim.mimecast.com; t=1699355493; a=rsa-sha256; cv=pass; b=JD7exzNuNAdGzVKQm63ZvQ57JYG3S/iAtDt20Q1GiHp3g1o6kWN933mO67Av03Bevlk9Lf SGLZTQKYQTycyWFgthdKc+Aknq2q2jVhw/k3E3gFTSaJ2hFFKD/+XU2TeNvh0ujSLd9nRh QO8BFHbUI7adwWohF0tJjb/lioR4DxykFcGihJVGaC/kbiQe3PwZflb6CaV4Mh/h0P01Om 9uWdZYFwM5WYdoOGHRcKi6lmJksT/nHJiGgmBePrQtqoIR01SMdn8C7m2cWuf6isGwFd9A uuLTcyjn0+F8MQhpb06pC9YJiBUzgehT3JWzQLp00x8ie7TZi0Gsnn/GugoKJQ== ARC-Authentication-Results: i=2; relay.mimecast.com; dkim=pass header.d=bham.ac.uk header.s=sel-tld-bham1 header.b=z3PYgs5L; dkim=pass header.d=bham.onmicrosoft.com header.s=selector2-bham-onmicrosoft-com header.b=B+AoqHOO; arc=pass ("microsoft.com:s=arcselector9901:i=1"); dmarc=pass (policy=none) header.from=bham.ac.uk; spf=pass (relay.mimecast.com: domain of p.b.levy@bham.ac.uk designates 147.188.128.150 as permitted sender) smtp.mailfrom=p.b.levy@bham.ac.uk Received: from sun61.bham.ac.uk (sun61.bham.ac.uk [147.188.128.150]) by relay.mimecast.com with ESMTP with STARTTLS (version=TLSv1.2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id au-mta-96-ct7S7oAROuODsiwL0orHRg-1; Tue, 07 Nov 2023 22:11:29 +1100 X-MC-Unique: ct7S7oAROuODsiwL0orHRg-1 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=bham.ac.uk; s=sel-tld-bham1; h=MIME-Version:Content-Type:Message-ID:Date:Subject:To:From: Sender:Reply-To:Cc:Content-Transfer-Encoding:Content-ID:Content-Description: Resent-Date:Resent-From:Resent-Sender:Resent-To:Resent-Cc:Resent-Message-ID: In-Reply-To:References:List-Id:List-Help:List-Unsubscribe:List-Subscribe: List-Post:List-Owner:List-Archive; bh=TWAUiRlGF0VocClM2U3RZER4TZPqvhwXmbr83l5fWGA=; b=z3PYgs5LZwt/cXA1huVUc6lfUO u4AVQPC8CSqAKL+Dttb56pABbPUncSpUU8dM0h6A9WrGPhDCe/m3Z2AGPuVSMOr2p/mEgp2Mymi0c SWhIiThqahDgsDKY9zXqC6PUYooabKHjTgsvS9gAT5po5j/4CXC+83Q2ygn3iius0TBvVvWnNYlZf hDnIaWT0UVzEW1xqY3huF1IBwYK5iw+t2yM3qPGcJWBve5e8pcfx9YDpVx76x1kyRTTxwygU51NEG UkpREjD0V50k1wmSrM6q2R/rFuXVGXAG3O6iwNJchZLkxPBJ7elVBcYcaNZAXTiaFBQEYIFQxdKHE XMeVVBsQ== Received: from [147.188.128.54] (helo=mailer3) by sun61.bham.ac.uk with esmtps (TLS1.2) tls TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384 (Exim 4.96.2) (envelope-from ) id 1r0JgZ-0002hL-Ou; Tue, 07 Nov 2023 10:51:55 +0000 Received: from mail-lo4gbr01lp2104.outbound.protection.outlook.com ([104.47.85.104] helo=GBR01-LO4-obe.outbound.protection.outlook.com) by bham.ac.uk (envelope-from ) with esmtps (TLS1.2:ECDHE-RSA-AES256-GCM-SHA384:256) (Exim 4.96.2) id 1r0JgZ-0003Zj-Ew using interface mh2.bham.ac.uk; Tue, 07 Nov 2023 10:51:55 +0000 ARC-Seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=nzkN5apQrodqF/woMDKL5aWYa8qq+kfTJKQCvrG4t+tAvORVpH/y3XRwrXPkJ4ED9FrR+3LjwNQOS+i1AXEyQy+e4R1grXObt94xiSW9LavLyUyEpc6hhSxYAB51tqKb5WL7Bmcfbas/r5vtboYbAU44n5M5pcltFixdwFDgm/asWqLE+cx8KEXoL4q/qIdPR5wIGmCqYmfHa9zsTwT/jzcAir/xxGQWWJDGdyjk65o6ICYuMZseDtDc1LbkM8aFwPdGjRZguJRD4HYgv9R4pxd3c9zAW93GSYMLGH/iG97tlLHZZGpvKCpfz+aPyyBfUCoBwfgbRaZdt+o7Tx4ekw== 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-AntiSpam-MessageData-ChunkCount:X-MS-Exchange-AntiSpam-MessageData-0:X-MS-Exchange-AntiSpam-MessageData-1; bh=TWAUiRlGF0VocClM2U3RZER4TZPqvhwXmbr83l5fWGA=; b=QPZvmNaN2wpSjpc4MHkzk3/hkmVs0GmrfRSufpdYjh6dyWmM/9jHvg0xYcxxeYViKbDTypDIEjyMqvGsMyExNpnFBKsL3OrcCk7HJ6jjuXUpz4jvQB+O9BdvRFGwhxTL7xYbgmKP2sAOKcxJwi2/ojU0SOGgV62CbWwbP70lNZGljmWO5Gbf+UZTWxU2DN5N4cGKK1YhxRm0/DF4Ac1mE8fmMajIiCO07BNBeO3KdefPQoOn/IMkapB+miVcyuH0jXX6euKkr65BNdtUtBpBKrAYpJC62FMqnLkyQR0pXc66AOcIBchFE6wgwoeww9luoTwNx1KZgx1L/hBnnD4jBg== ARC-Authentication-Results: i=1; mx.microsoft.com 1; spf=pass smtp.mailfrom=bham.ac.uk; dmarc=pass action=none header.from=bham.ac.uk; dkim=pass header.d=bham.ac.uk; arc=none DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=bham.onmicrosoft.com; s=selector2-bham-onmicrosoft-com; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-SenderADCheck; bh=TWAUiRlGF0VocClM2U3RZER4TZPqvhwXmbr83l5fWGA=; b=B+AoqHOOOmOGLBtgO/JOECzoyrgLRW4tiJyWV8pP6zbweVSThIn8lItxvgF9upj1Z5HeNPUUpRr2NsuBiIRMmU371mgHfL8U9HJLkUAIXupMOkgbnmNSuXhQrOxASvPJgGek0tPBu/N1TcDJMLmlGkDEvgXbgZNyenlFvEMS7DQ= Received: from CWXP265MB4058.GBRP265.PROD.OUTLOOK.COM (2603:10a6:400:131::6) by CWXP265MB2085.GBRP265.PROD.OUTLOOK.COM (2603:10a6:400:7f::9) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.6954.28; Tue, 7 Nov 2023 10:51:54 +0000 Received: from CWXP265MB4058.GBRP265.PROD.OUTLOOK.COM ([fe80::b96c:b2e3:e744:b778]) by CWXP265MB4058.GBRP265.PROD.OUTLOOK.COM ([fe80::b96c:b2e3:e744:b778%4]) with mapi id 15.20.6954.028; Tue, 7 Nov 2023 10:51:54 +0000 From: Paul Levy To: "types-announce@lists.seas.upenn.edu" , "coalgebra@framalistes.org" , "ProofTheory@lists.bath.ac.uk" , "it-moca-announce@lists.uu.se" , "concurrency@listserver.tue.nl" , "fom@lists.ugent.be" , "categories@mq.edu.au" Subject: PhD opportunities at the University of Birmingham Thread-Topic: PhD opportunities at the University of Birmingham Thread-Index: AQHaEWa16XtcUHHk80e2zFlHVJbhZQ== Date: Tue, 7 Nov 2023 10:51:54 +0000 Message-ID: Accept-Language: en-GB, en-US X-MS-Has-Attach: X-MS-TNEF-Correlator: x-ms-traffictypediagnostic: CWXP265MB4058:EE_|CWXP265MB2085:EE_|SY4AUS01FT004:EE_|ME3PR01MB5927:EE_|SYBPR01MB6205:EE_|SY6PR01MB7612:EE_ X-MS-Office365-Filtering-Correlation-Id: f51b33b8-41ae-46b6-8aac-08dbdf824d8c X-MS-Exchange-SenderADCheck: 0 X-MS-Exchange-AntiSpam-Relay: 0 X-Microsoft-Antispam-Untrusted: BCL:0 X-Microsoft-Antispam-Message-Info-Original: MYz1QrnKs4ELmSGo4VZ8ujTETIdmcOhaxF8T6h/F02CKGIEcQzMlC0vJlcomFFhZNPayTmgcDS2u/m8PBbfM23GFqwXKZ+NdVQEJt4lJH7J8dL9Jafqgw4VTH6lz8OEBBAMoZTfRdCwPHIFBao8jARAgZ5ngkx1UUQQ7UKTStAw66vBrzY+wI/ex287AFH7Vw/395J44mcGiJk+QYXZi+/F0DapREvciMWfa/T/3ockdWUj/qb1RhGJCUE21Xo2XcDxtfmaSr4d4TAx2zOO0EIrsrFZF8nWbEZ1fkRUkyX0YFFGKujO/pPTIXG5ExiWTtM+n4aljjKzDfr+uq8cZeTmPA+4FnHUc6nKViu8CPANomZknoyVG6NSULdCNbR90jt+nmRsWzhfOeZ6moPEotWIR4zSPnxSn5efYW9+BTkqfvfCiyzGcsYqVpecVG8Kjqh3UGgqLBqWnG45XEJqF2H01SC50Tp+O/3ImI0My1H7B/7Lb2+SoUgBUAgnpO7nDj2mKOE3Enq8fhgHnvSkgEc673YFn9QIpDh5NrVQfAGUkVUvxswMO22zLrnJomU7Qzx2f8T/Gc3vY6wFLoEewswd1busSDjyx1rnj/qNYJKW0tmB0DB+GRL+InFJw9k7iDeeVZ+5Ca1vwhkMa67TWkw== X-Forefront-Antispam-Report-Untrusted: CIP:255.255.255.255;CTRY:;LANG:en;SCL:1;SRV:;IPV:NLI;SFV:NSPM;H:CWXP265MB4058.GBRP265.PROD.OUTLOOK.COM;PTR:;CAT:NONE;SFS:(13230031)(366004)(376002)(39860400002)(396003)(346002)(136003)(230922051799003)(186009)(451199024)(64100799003)(1800799009)(55016003)(38100700002)(7696005)(71200400001)(6506007)(83380400001)(166002)(9686003)(66574015)(122000001)(2906002)(66556008)(86362001)(41300700001)(33656002)(966005)(5660300002)(52536014)(8936002)(8676002)(64756008)(66476007)(66446008)(66946007)(316002)(76116006)(786003)(110136005)(26005)(478600001)(38070700009);DIR:OUT;SFP:1101 MIME-Version: 1.0 X-MS-Exchange-Transport-CrossTenantHeadersStamped: CWXP265MB2085 X-BHAM-SendViaRouter: yes Authentication-Results-Original: relay.mimecast.com; dkim=pass header.d=bham.ac.uk header.s=sel-tld-bham1 header.b=z3PYgs5L; dkim=pass header.d=bham.onmicrosoft.com header.s=selector2-bham-onmicrosoft-com header.b=B+AoqHOO; arc=pass ("microsoft.com:s=arcselector9901:i=1"); dmarc=pass (policy=none) header.from=bham.ac.uk; spf=pass (relay.mimecast.com: domain of p.b.levy@bham.ac.uk designates 147.188.128.150 as permitted sender) smtp.mailfrom=p.b.levy@bham.ac.uk X-Mimecast-Spam-Score: 0 X-Mimecast-Impersonation-Protect: Policy=MQ - Tag Header Only on Default Settings;Similar Internal Domain=false;Similar Monitored External Domain=false;Custom External Domain=false;Mimecast External Domain=false;Newly Observed Domain=false;Internal User Name=true;Custom Display Name List=false;Reply-to Address Mismatch=false;Targeted Threat Dictionary=false;Mimecast Threat Dictionary=false;Custom Threat Dictionary=false Content-Language: en-GB Content-Type: multipart/alternative; boundary="_000_CWXP265MB4058A55422F838B0F0984B38F4A9ACWXP265MB4058GBRP_" Return-Path: bounces+SRS=NxuFk=GU@mq.edu.au X-EOPAttributedMessage: 0 X-EOPTenantAttributedMessage: 82c514c1-a717-4087-be06-d40d2070ad52:0 X-MS-Exchange-SkipListedInternetSender: ip=[147.188.128.150];domain=sun61.bham.ac.uk X-MS-Exchange-ExternalOriginalInternetSender: ip=[147.188.128.150];domain=sun61.bham.ac.uk X-MS-Exchange-Transport-CrossTenantHeadersStripped: SY4AUS01FT004.eop-AUS01.prod.protection.outlook.com X-MS-PublicTrafficType: Email X-MS-Office365-Filtering-Correlation-Id-Prvs: 40edd885-e624-4445-a331-08dbdf7f8e48 X-Moderation-Data: 11/7/2023 7:47:04 PM X-LD-Processed: 82c514c1-a717-4087-be06-d40d2070ad52,ExtAddr,ExtAddr X-MS-Exchange-AtpMessageProperties: SA X-Microsoft-Antispam: BCL:0; X-Microsoft-Antispam-Message-Info: mAP391RcRQau3pJjV6MX3jViloZ3QA9+v3SGQQ+HipwEHZ38dKNa4a1xpzXx7ODySHRiLtIa42lhTXRaMTp/YeZE2/9ud4ezk1CPpuTKzQPLqRkO3yFCY/hrmGH4+QVycVbiLP8waciuQHprjbNr9nFiHe+Bex4gn7drJKwMqfgoAQDeRxY72IphNOWbz4MKfuXjGXeoxaHGXXWvJQfjxbBaQvYa71+fZFqZTwjD5vTFjh6wurCBEf+ZxQY2kph+B5b780ojsEbDMPq5JuIojfdYL5UIzVbXhGJbdGOOJDg23Uam4NJtGJoMKDIVnlRA3Qg22uJiGDcP0dTquBOq2UuBqsk9nzQAi1H21Vbri0T6a2shO9+RH6M9dXa6oYSOXzObRsOoGJGTpCrMl3r0Vth0hIJpg8SEo5rLRJYG94VMZ8JvSL7beSIS71RfgFAMl+PPY+bDvwXzLl6VhrtBBj93DoJIZn+zekbaxQSAi+WtS29GFBhGUu3pQO+zjBrigsFECXiQeCpo6WjI08TSuWPk2yOIaMSy3Y3iiErv4IN+hcVndn52V4erMCIH12HknhoVqwzxYS5KUG4cWdyzcaL+vygnOVFosXTNtCwNaeuxwJD2Nnc9t+1cUXV4n6NvlenKc6axiRcGsUPlM/CVZM/8dq0bqYzjQJB2yr0e5SMC3RhPjNIFfDbGNj2Xp8F2JchdPBgqt++v9VMTfTSmEbYW1dR3OitCQN/BAA0tLTOJdjxmKmoa0qRS7KdG1f/LoKem0W3fAYNnD8/4lB2vHYCukRcX2xMhjcuNOaYELzSERZUL9Wlk7hSmVp108M0FCWQuoj0p0RnDxxZ9R35jQAGadNXEfhOyYKBejWpCGYk8Kiu3hkdTm/atoUqqZE8o18ETKmRb2Cf6BEHalkMknLEokC34nKvv+XKgszEUjOs= X-Forefront-Antispam-Report: CIP:103.96.22.101;CTRY:GB;LANG:en;SCL:1;SRV:;IPV:NLI;SFV:NSPM;H:sun61.bham.ac.uk;PTR:ErrorRetry;CAT:NONE;SFS:(13230031)(4636009)(376002)(136003)(396003)(39860400002)(346002)(82310400011)(48200799006)(8000799017)(451199024)(61400799006)(64100799003)(40470700004)(2906002)(66574015)(336012)(5660300002)(7406005)(7416002)(7366002)(40480700001)(7336002)(7276002)(55016003)(26005)(40460700003)(35950700001)(32650700002)(81166007)(166002)(33656002)(86362001)(82740400003)(32850700003)(156005)(83380400001)(8676002)(8936002)(966005)(786003)(316002)(498600001)(76576003)(89122003)(88732003)(52536014)(68406010)(70586007)(110136005)(41300700001)(9686003)(6506007)(7696005)(41080700001);DIR:OUT;SFP:1102; X-Auto-Response-Suppress: DR, OOF, AutoReply X-MS-Exchange-CrossTenant-Network-Message-Id: f51b33b8-41ae-46b6-8aac-08dbdf824d8c X-MS-Exchange-CrossTenant-Id: 82c514c1-a717-4087-be06-d40d2070ad52 X-MS-Exchange-CrossTenant-AuthSource: SY4AUS01FT004.eop-AUS01.prod.protection.outlook.com X-MS-Exchange-CrossTenant-AuthAs: Anonymous X-MS-Exchange-CrossTenant-FromEntityHeader: Internet X-MS-Exchange-CrossTenant-OriginalArrivalTime: 07 Nov 2023 19:47:07.6409 (UTC) X-MS-Exchange-CrossTenant-MailboxType: HOSTED X-MS-Exchange-CrossTenant-UserPrincipalName: x532g7s+VZppUGHlaE8Flj5xgxeYsYDLp+0m8/TR5Y5puJ1xQBiNMsZdvyMQmWZxX+sc61NN0KIsPERh5yJYwGBM1iGTXvs7f3ZkAQYCcJhpahXCCt9i2gJXaPNVPhj9YrgwGXHdOz/SMzxqVTZZSB1N5ftlbTMvSiiLOHblbcecARrmnwmOrDPsSCfAg0kT X-MS-Exchange-Transport-CrossTenantHeadersStamped: SY6PR01MB7612 X-MS-Exchange-UnifiedGroup-DisplayName: Categories mailing list X-MS-Exchange-UnifiedGroup-Address: categories@mq.edu.au X-MS-Exchange-UnifiedGroup-MailboxGuid: 9c2f954e-92a7-451b-b723-a07075d7adb5 X-MS-Exchange-UnifiedGroup-CustomizedMessage: RedeemedBusinessGuests X-MS-Exchange-Parent-Message-Id: Auto-Submitted: auto-generated X-MS-Exchange-Generated-Message-Source: Throttled Fork Delivery Agent X-MS-Exchange-AntiSpam-MessageData-ChunkCount: 1 X-MS-Exchange-AntiSpam-MessageData-0: =?Windows-1252?Q?i/RT5CbzRQa2Z0DotsT2fhyTHMnkwxerkPTW9Tf6Wvfbr+mGFBAaOvMc?= =?Windows-1252?Q?DtiR8KhySO/M+qOqmAnOBZy4Hm6VnnzxLyc1g2BEM0noDZLtQy7OO4CH?= =?Windows-1252?Q?F9Of/+ZS0autslZDzwgmnplqGUcvQxnbMP4Ab009XEECcErtwQnSkAf8?= =?Windows-1252?Q?tqUxwJCXrymmsh7aobE/wZfAkqRVUl4D8v0b0C7clANKQbdwoM0h6MNv?= =?Windows-1252?Q?OXH/oJurTZp0iVF6plKpU/pDPzUXGVyF9S565jhmeCt9Cj1iU9ZCWI/z?= =?Windows-1252?Q?SWvBdaR0zjNig0+2JjzAv18eH8bRU7YjO5OFOCqoP+gshP+PyqFxCO4B?= =?Windows-1252?Q?/cn4Cu6PjXFEJX5+a79X1zhUQY7cIsjWjPwci7TIX+sGRrS8ifvs+NOx?= =?Windows-1252?Q?ivMj+vCGc6691qU5VDcsDyyaGEwO6px3OT51R4ACalvVAFJLtX3deVoY?= =?Windows-1252?Q?y1NGHRi4XcXdUItAdLhXmXXpU4w4NXzJoO5fN4Y3H5ozS37qZyzlBbXr?= =?Windows-1252?Q?WlIfjhr8hfeFJ4rKBe6MavB6fajz82141kkzu5KjSRClI1qZ7ppz0j3u?= =?Windows-1252?Q?bGn4x3SfUJTgIFJXusSUm6HDa1fNFWDtwiZT7BJyjRbr22Uf8Jx5I1cR?= =?Windows-1252?Q?onil7emtNLUcgMvisy8ZC5DZqys+j3Agui7h5m9RiYw9esYAAFToNoId?= =?Windows-1252?Q?B4KO5KoQP2nz5tbE5PCKc+0lNMjbqX5ljaA3OhNZlVrCir2Y6+6xg8X/?= =?Windows-1252?Q?SOQ42dMA3AX8Q5GjdZPNU+5Biqd/JtQLDnNq5Ag3ZNejx+3rQ3Wabe1u?= =?Windows-1252?Q?wAYiDjDYTYc7D8qveNghoDuY7ySypTzncQtvH8S8YKmzSpxk4IyFo0vS?= =?Windows-1252?Q?+0jytRoNrfkZixGHbAJytjoRE/27aH8SvlzEqT3/QN3Eo2n3hcIJkzS2?= =?Windows-1252?Q?tdJHP4PPTuwQjC523ny9aKgCDmWD01m0VAY+jtcuExi7cl1GFEkfAYod?= =?Windows-1252?Q?S0QI/HXwUNCkaBSxBszg+G7n1uWd/ImW7pQfFSh+PzHg6CD+aXcXEm0I?= =?Windows-1252?Q?aeZgLzuNx0q3WCMQLOgt50PzfOS3S0ZqyxEajg9HSjW+vCIi5Wf5y+5j?= =?Windows-1252?Q?fn6q5w1un9uAg9fJV3rgTPq/UdEUpMQmVpGhjodpKJg5Vq7h/bubB8dg?= =?Windows-1252?Q?ylziVxdK0mcey1DgLJq4dIawoxoipcmoQuDeg3V0z0W4vmAJbn/kiGpu?= =?Windows-1252?Q?IGZPPGrsDWN5i9fBYoS614s251ScR4p1OTSrUQzNjsl+bLLR30z2B6n/?= =?Windows-1252?Q?Pcntr+O7WsGGVgy3OZ74Ft2EQDU4r7fpsJ+r0iW5kJKHDSok?= X-OriginatorOrg: mq.edu.au --_000_CWXP265MB4058A55422F838B0F0984B38F4A9ACWXP265MB4058GBRP_ Content-Type: text/plain; charset="Windows-1252" Content-Transfer-Encoding: quoted-printable * Imminent funding deadline (1 December) - please contact us immediately if= you are interested. * Dear all, We invite applications for PhD study at the University of Birmingham. We are a group of (mostly) theoretical computer scientists who explore fund= amental concepts in computation. Our work includes category theory, computa= tional complexity, programming language semantics, proof theory, type theor= y, verification and much else besides. See our webpage, with links to individual researchers, here: https://www.birmingham.ac.uk/research/activity/computer-science/theory-of-c= omputation/index.aspx Information about PhD applications may be found here: https://www.birmingham.ac.uk/schools/computer-science/postgraduate-research= /applying-for-phd-in-computer-science.aspx If you are considering applying, please contact any of us. We will be very = happy to discuss the opportunities available. Best regards, The Birmingham CS theory group, including:- Benedikt Ahrens Rajesh Chitnis Anupam Das Mart=EDn Escard=F3 Eric Finster Dan Ghica Mirco Giacobbe Paul Levy Sonia Marin Sean Moss Jakub Opr=9Aal Vincent Rahli Uday Reddy Eike Ritter You're receiving this message because you're a member of the Categories mai= ling list group from Macquarie University. To take part in this conversatio= n, reply all to this message. View group files | Leave group | = Learn more about Microsoft 365 Groups --_000_CWXP265MB4058A55422F838B0F0984B38F4A9ACWXP265MB4058GBRP_ Content-Type: text/html; charset="Windows-1252" Content-Transfer-Encoding: quoted-printable

* Imminent funding deadline (1 December) - please contact u= s immediately if you are interested. *

 

Dear all,

 

We invite applications for PhD study at the University of B= irmingham.  

 

We are a group of (mostly) theoretical computer scientists = who explore fundamental concepts in computation. Our work includes category= theory, computational complexity, programming language semantics, proof th= eory, type theory, verification and much else besides. =

 

See our webpage, with links to individual researchers, here= :

https://www.birmingh= am.ac.uk/research/activity/computer-science/theory-of-computation/index.asp= x

 

Information about PhD applications may be found here:<= /o:p>

https://www.birmingh= am.ac.uk/schools/computer-science/postgraduate-research/applying-for-phd-in= -computer-science.aspx

 

If you are considering applying, please contact any of us. = We will be very happy to discuss the opportunities available.

 

Best regards,

The Birmingham CS theory group, including:-

Benedikt Ahrens

Rajesh Chitnis

Anupam Das

Mart=EDn Escard=F3

Eric Finster

Dan Ghica

Mirco Giacobbe

Paul Levy

Sonia Marin

Sean Moss

Jakub Opr=9Aal

Vincent Rahli

Uday Reddy

Eike Ritter

 
 
You're receiving this message because you're a member of the Categories mai= ling list group from Macquarie University. To take part in this conversatio= n, reply all to this message.
 
View group files   |   Leav= e group   |&n= bsp;  Learn more about Microsoft 365 Groups
 
--_000_CWXP265MB4058A55422F838B0F0984B38F4A9ACWXP265MB4058GBRP_--