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
* 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:
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 |