From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: <> X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on inbox.vuxu.org X-Spam-Level: X-Spam-Status: No, score=-1.1 required=5.0 tests=DKIMWL_WL_HIGH,DKIM_SIGNED, DKIM_VALID,HTML_MESSAGE,HTTPS_HTTP_MISMATCH,RCVD_IN_DNSWL_NONE, RCVD_IN_MSPIKE_H2 autolearn=ham autolearn_force=no version=3.4.4 Received: from MEUPR01CU001.outbound.protection.outlook.com (mail-australiasoutheastazhn15010001.outbound.protection.outlook.com [52.102.201.1]) by inbox.vuxu.org (Postfix) with ESMTP id D1A4E23819 for ; Fri, 10 May 2024 12:58:48 +0200 (CEST) ARC-Seal: i=5; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=pass; b=UcIoI35xFBj20f+rfAIzGUN31pf+3dMShmoLbTzOvvI+BenikOB/57W7hp75REKRiJcsd02EPmRmFbe6zy5JxfjiRspxXgpD3O5D8gTr2HoC5JKks5vA7/0OIZ+DPrsqQCGFoOAnFAraXhzFsNdTQY9/6Rm7jsP/0lMjrU4yWOtHM576BllvYuWEiEcSIw6plKvuxwjznx+o29ze5RQCV1JuBzWSijlCQnFbVwwdFwMeu+2KvocIJQWucxK3aUAzhvPK5h9aA6eBj2+KyYv0b4KGfcKA+hd1hrYHS35FjCaKo1BSmk4MCdUigdNwqargITiFztlPxCga/Q21W2q9OA== 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=fdPXxde5xq9Z75O6QtF1xONIrOWwCB7FCvE+pt0NS6E=; b=nLeXMzcFV3/Sk3MkiB/vU02aBQ3kJRTUk9wJ+dozR0uJ35yjk9zrTRmGc8uNN/hqDUaLfFF8vcZZVeWlITu4CH8T0ZdBfKhYQtFxudR3wzxnXelzO2YPCcFIoj1bvdegOAO7juaGbEPm5qH+/QwcQeLEF9jtBJpEIQHDbMOMnZ0GOHioNj85GmaIdzl7aJnJMo+9Hx0TTdDM+W6yZoNdNV9CRb6hhl7Y+eNDn2761BVwP5DCUtIlwBr8JPnT0yacJ4Hdu7XzO8m0i18oKYO85MkIyoePMJyswcI6T9QarPkBu/jrpre5rpqunLld5mVOzYscFszKh9y+8cai6ocLVg== ARC-Authentication-Results: i=5; mx.microsoft.com 1; spf=pass (sender ip is 52.101.196.10) smtp.rcpttodomain=mq.edu.au smtp.mailfrom=ecs.soton.ac.uk; dmarc=pass (p=reject sp=reject pct=100) action=none header.from=ecs.soton.ac.uk; dkim=fail (body hash did not verify) header.d=ecs.soton.ac.uk; 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=fdPXxde5xq9Z75O6QtF1xONIrOWwCB7FCvE+pt0NS6E=; b=EhLhy2XqtptfOPOLIJwuhe2wnY3AxA1NilNAaK2JTWTK+dOyxxOXYXFhrh/3QmU5U9ajoenKsp8o8DVOxP4vQlKPsxM9FQWOszljlsCLJ+fqN0d7b5leWLi7xdQqYR5epgmcle+4wWC2SkfnrhU+f6Hz+Np3MxypyPdIDCZNdqk0Ru1s6BAKiRZyzc0aCxC2ynCwzX5sqrMGmJQuhu83t00mw9tNy8CYxBVgWWbH2lFerB4i7jGissi14vYfbUZDunLir1iHZ5qVZ5rkjnY3RFqRnpX/WSnPNyxYuA2eBMtUI4BBFr0scWlYTmmTJYTL7+v4XyjX+YXQLMASh7BAqA== Received: from SmtpServer.Submit by MEYPR01MB8031 with Microsoft SMTP Server id 15.20.7544.49; Fri, 10 May 2024 10:58:45 +0000 ARC-Seal: i=4; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=pass; b=kxWoj1Q7K8eX5omZIUHAeXaPiY82aYBibWdwX+hZ1NGUM5rFTqdX63bA8csU1r+zdoNaAwHaa5RCOQ+aFHXWIJ9YDw7SRtHRWYfhzkvBNuzrl7Dt2RZ/HP6Fh8ztKRLbaqoZ4DAbMBXTbSuCxghxcLDyFm41cFyAZRPkiQ+fT595lGCsB26qWbKOoXWd4XdZwDqM2OLsecmxvsrqkY3OZm72P7nvN+5VMnM+oi1ZFtjFfD+bm82GsPNf5PdZHdsFCc/VyXKuxW9u29f8ElxEcU5QV44rwS+FhkguNjD94JP9md4NiLdh4bIANNEg4OxRxI2OFFzJJKRABI/qLFp9xQ== 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=Ly3THGbbnr8yWBnCzB7IKfP3DVYGABBZoNOqYG2H4rU=; b=T1p8C91O/KPXm6y66VXDA/W4W2Daf7OQrAoj/bYrmENn83f0W6Gt+h2b0tLvdE673viz4kDxS/j2WvKOGfRvDx8dLtsCzjMJasmRsNRZDakOMhSLvjWaGGGEPzwAtT6CBuKRwYpc8yAiZELWGvl0S5cn0sO7FdDIcQX8CK8oGYupF+YyinF3LnMOK6QgV8EbgO/UJR2c0PNrVQz+Jx/DgDKF7lXPsjVwHhxclA7nscLCjmZnUnq5IPMZY6mirKm1lgkzhoKV5cJK2qvkls1eT0b+xd7cdXQ7/SWxX1wkXIVV1hDhegg0DwV6MK3m5mftqwYo+IFEU94QrhFHLHMMkg== ARC-Authentication-Results: i=4; mx.microsoft.com 1; spf=pass (sender ip is 52.101.196.10) smtp.rcpttodomain=mq.edu.au smtp.mailfrom=ecs.soton.ac.uk; dmarc=pass (p=reject sp=reject pct=100) action=none header.from=ecs.soton.ac.uk; dkim=fail (body hash did not verify) header.d=ecs.soton.ac.uk; arc=pass (0 oda=0 ltdi=0 93) Received: from MEYPR01MB7538.ausprd01.prod.outlook.com (2603:10c6:220:15b::11) by MEYPR01MB8031.ausprd01.prod.outlook.com (2603:10c6:220:175::6) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7544.49; Fri, 10 May 2024 10:58:39 +0000 Received: from SY4PR01MB5977.ausprd01.prod.outlook.com (2603:10c6:10:f8::13) by MEYPR01MB7538.ausprd01.prod.outlook.com (2603:10c6:220:15b::11) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7544.49; Fri, 10 May 2024 10:58:36 +0000 Received: from SY4PR01MB5977.ausprd01.prod.outlook.com ([fe80::b4a9:8bc5:7f41:df7f]) by SY4PR01MB5977.ausprd01.prod.outlook.com ([fe80::b4a9:8bc5:7f41:df7f%4]) with mapi id 15.20.7544.048; Fri, 10 May 2024 10:58:36 +0000 ARC-Seal: i=3; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=pass; b=UTG6ZTqNrChvd5WhCtc6Hnw3NRZkiR4BGRuIUKMZo8SicUfdkv8nesjJSU7BsVR3hV+D0eTgvEM/yChBkwIA3NcB0PgDuNwD58ukLor8xr1a10w/S6yKpMED/czqISdfOFNTnWHOX2HKlN30VLoYLPJqmY6DdRiPya9V/ctmTd57flursVzCa6Hk7RrL0nP3L9/W6G7UuIuuUpGM8zMcwfD3PTrwz7WrWTVasaahaCuxH2Smce5MAkhIN69vsbFXkTTRmFYdBJA2ruXQRpnjZzVGRmA69pYDfXaWjzQ9lA+eEOBZd8euNqVKXm9dswKvwLrfIv/Vnm/kpviuRasKow== 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=Ly3THGbbnr8yWBnCzB7IKfP3DVYGABBZoNOqYG2H4rU=; b=DiyGsNpmaZSY/VrkbTcpy34iOaXmeqdgkWyjPHdj3eBxYK0JsALPkUcestmbrdvW0BO0t5HWCoNvLoYv+m8fJbvTn2AIr77+Km10WtBIeebrnKhRjgtOOgD4yE6v1MQiBZtDFU3T/j8ZMrO/Pfz/uIiC/1KoC5xF43mldlvFBreWjKKIbAfVqkFDpf8mnmKMjmtr/Qux/W1fzsCLsUun3DACofQcB/4nI/73bpMW98usCQv1XNzyB3F4sFB1tg0pNTyyk8pb96SrbRFR+cFxaG0daaTsWkXEf7QhP7tn17glZOsW8k5VWbjS8NTai/9dQsWJgXnOcGRffk3aN8m75A== ARC-Authentication-Results: i=3; mx.microsoft.com 1; spf=pass (sender ip is 52.101.196.10) smtp.rcpttodomain=mq.edu.au smtp.mailfrom=ecs.soton.ac.uk; dmarc=pass (p=reject sp=reject pct=100) action=none header.from=ecs.soton.ac.uk; dkim=fail (body hash did not verify) header.d=ecs.soton.ac.uk; arc=pass (0 oda=0 ltdi=0 93) Received: from MEWPR01CA0047.ausprd01.prod.outlook.com (2603:10c6:220:1df::17) by MEYPR01MB6358.ausprd01.prod.outlook.com (2603:10c6:220:ff::7) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7544.49; Fri, 10 May 2024 10:28:04 +0000 Received: from ME3AUS01FT017.eop-AUS01.prod.protection.outlook.com (2603:10c6:220:1df:cafe::b3) by MEWPR01CA0047.outlook.office365.com (2603:10c6:220:1df::17) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7544.47 via Frontend Transport; Fri, 10 May 2024 10:28:04 +0000 Authentication-Results: spf=pass (sender IP is 52.101.196.10) smtp.mailfrom=ecs.soton.ac.uk; dkim=fail (body hash did not verify) header.d=ecs.soton.ac.uk;dmarc=pass action=none header.from=ecs.soton.ac.uk; Received-SPF: Pass (protection.outlook.com: domain of ecs.soton.ac.uk designates 52.101.196.10 as permitted sender) receiver=protection.outlook.com; client-ip=52.101.196.10; helo=LO3P265CU004.outbound.protection.outlook.com; pr=C Received: from au-smtp-inbound-delivery-1.mimecast.com (103.96.22.101) by ME3AUS01FT017.mail.protection.outlook.com (10.114.155.161) with Microsoft SMTP Server (version=TLS1_3, cipher=TLS_AES_256_GCM_SHA384) id 15.20.7565.28 via Frontend Transport; Fri, 10 May 2024 10:28:03 +0000 ARC-Message-Signature: i=2; a=rsa-sha256; c=relaxed/relaxed; d=dkim.mimecast.com; s=201903; t=1715336882; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:cc:mime-version:mime-version:content-type:content-type: dkim-signature; bh=Ly3THGbbnr8yWBnCzB7IKfP3DVYGABBZoNOqYG2H4rU=; b=ShQDb+iVRC4jQ41amez7IXiM6pool03EcpnBMxbS6e+xj4N6W1jED8bWElIEgyKXpcgPRB sJba+emLOuarVStUBeRk+AsxkwWZuCi2uEoITLuAm2KZkQSWXgwSxEVwtebe/Dn41+/IsI 9HahCZ6Gva4VmCdzJTWgjoHQ1gSB88F75dQ1v2mwBnxDBiGVn8cGeNVjaTNEK2ecaWvHrT X8Fk6xMHzciMUZlg9IxZHOjkENsQ8UMp89mmGS7BMzO/w/SEsXvb9XSa6nTXWoMi5pL2vx +CtIXyq6z8f6G8C9IKKge/jMB6INLz+dwq5us6iwEdU2CB+RMuPYDGAYXITvQQ== ARC-Seal: i=2; s=201903; d=dkim.mimecast.com; t=1715336882; a=rsa-sha256; cv=pass; b=NQ31tmIu2KNcXkrbvQGHgMl8KiO3oBF3cVd98Pd7w/PWZbEIRc/zD5nkNnRjFAIBLFXmNw D8ksHCaXZ0SxqMm4moSftnh+CfWFBxVW812zSQdrljRY/gHjk+YyQnHqKDXjbtMjK/339A 1CB/dAWgGmjPSkcSekvGbg4SJUPpuh4Bk6zp4NyvE6xiQUWs2elRU86qCciyQK9gn8Dcmx BQMBOCb4JebrVJn1iP8GU7+B9mqp2I4KcfQtkszQADdf10y9s4iYOPVUsllEKwsw8PtBnY x7JFi6I7y5MEgt4F2cps8LNmftUc0WmNLm5PaSB/JtGJYoKuRPVI+uKNAApeOw== ARC-Authentication-Results: i=2; relay.mimecast.com; dkim=pass header.d=ecs.soton.ac.uk header.s=selector1 header.b=DxUqvL8u; arc=pass ("microsoft.com:s=arcselector9901:i=1"); dmarc=pass (policy=reject) header.from=ecs.soton.ac.uk; spf=pass (relay.mimecast.com: domain of cc2@ecs.soton.ac.uk designates 52.101.196.10 as permitted sender) smtp.mailfrom=cc2@ecs.soton.ac.uk Authentication-Results-Original: relay.mimecast.com; dkim=pass header.d=ecs.soton.ac.uk header.s=selector1 header.b=DxUqvL8u; arc=pass ("microsoft.com:s=arcselector9901:i=1"); dmarc=pass (policy=reject) header.from=ecs.soton.ac.uk; spf=pass (relay.mimecast.com: domain of cc2@ecs.soton.ac.uk designates 52.101.196.10 as permitted sender) smtp.mailfrom=cc2@ecs.soton.ac.uk Received: from LO3P265CU004.outbound.protection.outlook.com (mail-uksouthazon11021010.outbound.protection.outlook.com [52.101.196.10]) by relay.mimecast.com with ESMTP with STARTTLS (version=TLSv1.2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id au-mta-34-zvpTH02vOSywiUGGb8RHnQ-1; Fri, 10 May 2024 20:27:59 +1000 X-MC-Unique: zvpTH02vOSywiUGGb8RHnQ-1 ARC-Seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=G3p6oKvUtU54SdS3X0qZvBEHKnBuxkk9+h5CcGOCfnVle0BLKEz2DOGR6eO1IaesTWMMNjmrQl8XGRzTuuIuqR9ut7BLq5CR0lBEO9IL/th01yok6ZW+zeJasK6aKB0SrQiBw8gxsqb7vU7vg1Ex7C1+KYx6wDqN3ybdtEjMrs9tBs30ZNYBMzzOYbhRZPGY3saYaGmvishp/NAaxQim5lC0SDuOY1CYBHguppeox8XZwmun855Y7E1s/1NHybdDfuWGbw9BnAFcQNVaqp08h17/7h5o/F2fueJaysAM08Jt/fjZmAL4TMgb2fONuX5uzn+zKB7KOdlmu9tI6zrzCw== 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=bCO9sFyLjDX5QrKEIxbEAQnLzQVSCRyBqQKhp0e6ZcM=; b=b10qXdEA2+KY6h6yDclOygP0OVe9ZtESA26HaUlMzrJflogNSojJm6af87+QCguAqEW/fU8/1lJyIWt4ccBfa5nHJ9TRYEsM0P/QmRQ7mm/vQHoLEUDZgXVctJJCEc3DTZIYvbctgpc7S9RKqhFp6sPB99F0Mu1UlN1DyPF2BYx1PIvOyf6ph8fW3/H6P9wW/yUWNuENELklfj0kgH0SVPyrLLBSX0JKgutRUETJtteNmK7HxnH2FD90BtT1rIeqhOxmDPB/Pq89T710ihNBRD6sWOYycX/os0aW/b2Wafzr2iSWPhATSWsJc6HUBZlzIO5IZtQGp7c9BSHvorwKJA== ARC-Authentication-Results: i=1; mx.microsoft.com 1; spf=pass smtp.mailfrom=ecs.soton.ac.uk; dmarc=pass action=none header.from=ecs.soton.ac.uk; dkim=pass header.d=ecs.soton.ac.uk; arc=none DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=ecs.soton.ac.uk; s=selector1; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-SenderADCheck; bh=bCO9sFyLjDX5QrKEIxbEAQnLzQVSCRyBqQKhp0e6ZcM=; b=DxUqvL8uXeZKgsXLKSCrA8QZs5I0JnXE0g3xwffa0NtFD5YgOGIeYqr598GeJXQVELQr/MmG69uW0LGPp3hKg00C8PII3IAwb5XxfLh1tBpLDRh4Q2dGH8zixaTld+yYs2bt+eo9QD55ECxzrvMt5ZXBzapca7bGdMdQLEQ2J4WEn0JRsv1QznCbknmnLxc4Aaf6Qi5PPDFHQuO3FZ8z8lm1ImYAAWwzocy08DQOdJ7Yr9Ray2BdGeIVRcFOL9lfSHV+c1uon8v4GmjrA1l5xlVPObBYJKjETxL569DOeyPw8YisnOIRN9hodGQi82nD080Yyoae5+cmtfriID8Zsg== Received: from CWXP265MB3959.GBRP265.PROD.OUTLOOK.COM (2603:10a6:400:121::11) by LOYP265MB1901.GBRP265.PROD.OUTLOOK.COM (2603:10a6:600:e4::11) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7544.49; Fri, 10 May 2024 10:27:53 +0000 Received: from CWXP265MB3959.GBRP265.PROD.OUTLOOK.COM ([fe80::cd0a:a9d6:b547:9dad]) by CWXP265MB3959.GBRP265.PROD.OUTLOOK.COM ([fe80::cd0a:a9d6:b547:9dad%5]) with mapi id 15.20.7544.049; Fri, 10 May 2024 10:27:53 +0000 From: Corina Cirstea To: "categories@mq.edu.au" CC: Ekaterina Komendantskaya Subject: Logic/Semantics/PL/Verification posts at the University of Southampton Thread-Topic: Logic/Semantics/PL/Verification posts at the University of Southampton Thread-Index: AQHaosS3ixyrtXXAekGPWVe6p9TiPA== Date: Fri, 10 May 2024 10:27:53 +0000 Message-ID: <795DDC16-FAD2-48FB-BC59-E57769D2DFA1@soton.ac.uk> Accept-Language: en-GB, en-US X-MS-Has-Attach: X-MS-TNEF-Correlator: x-mailer: Apple Mail (2.3654.120.0.1.15) x-ms-traffictypediagnostic: CWXP265MB3959:EE_|LOYP265MB1901:EE_|ME3AUS01FT017:EE_|MEYPR01MB6358:EE_|MEYPR01MB7538:EE_|MEYPR01MB8031:EE_ X-MS-Office365-Filtering-Correlation-Id: a36c0f4a-2f2f-47bb-6027-08dc70dbdfa7 X-MS-Exchange-SenderADCheck: 0 X-MS-Exchange-AntiSpam-Relay: 0 X-Microsoft-Antispam-Untrusted: BCL:0;ARA:13230031|1800799015|376005|366007|38070700009 X-Microsoft-Antispam-Message-Info-Original: =?us-ascii?Q?tjP89vB5upQtyCQYpVoXAt70R7JjxbyH5g26X7Iu9pC1XyfIrvQo6LTOU+qD?= =?us-ascii?Q?PbrFzDHyaWAJrmIqg1ke2Rz2b2ZqIBlgvDpNXzvWwAoetQ30j6SIvBxAN5M2?= =?us-ascii?Q?iCCyFSc+y1luYj8I9x2KVn3yL95B2UlYaqA331FO3zuQqXQFUP1nYrCRyLtZ?= =?us-ascii?Q?vwwSr7DVz8d7I/qwRVHQJmOAu3i0u6QeqW1QEkMvKSSDtbBpFrWdBLHXI4lo?= =?us-ascii?Q?7q+cSab5PqUDM4NZP00s1Q65/4L15UQPZNoj0hmyrj8zhDAmpZc06okkw4XJ?= =?us-ascii?Q?qCh6h8+NonU0J2R47TT6j6K1Pu6E5DPpNIE/G07+GX8QpebHL39ws8KM+sjL?= =?us-ascii?Q?jV3MPJUtaWKatf67mr4AiA3d5MyXOlpWCDV9d6MUi4F/0gAWFQWOxl46aAr2?= =?us-ascii?Q?w2kMSUaM8Ok6fEwQu5dOGgqhOQNG3FeONoHWWwkk2uvtEveX7VIRXMNWLyFr?= =?us-ascii?Q?in1wZ1FUZh5mOyc6BKB6uSm4+BzNTVj6gNPUH0ZuyucOEYIS986UszcYmFSD?= =?us-ascii?Q?fvyIzOjuGPdytxNYg7RL/jeM0GQhrMQHe1MZZac8ziI4WBx0MtaAdw2vUKQL?= =?us-ascii?Q?Ot62eQTePuT9SPU90ruXYXRZokYw7Pec1LQDMGyJ9lN9h3lm7UlzV/4Bp/ks?= =?us-ascii?Q?UTnw7uwGrsOZSw6Tjhj1Ng6yBeP2F1jA3Ud9tmS0IpN2TglB40zB46RnmoS5?= =?us-ascii?Q?//JCrG4clXEEvHJXjDFbCQ0FcrsaVsotX0677QB+Hjk2oevfBEfhF82gVdX6?= =?us-ascii?Q?Hj0NwkUtp5DzQdYIPGTQX/lX2ML0CpFiXdthoUAYN8VffNlG5vI5evYd0Kwj?= =?us-ascii?Q?ckOzfE0apryO0+PO0Tzg26vf3MjX0ypHvPlV0nIvrcmKO37bNaH75Ga4ROlJ?= =?us-ascii?Q?mdIku6VOAu79JWyaVshKeAEqWc+M+bxrvm4014ZiE1BnUxiOvsZs+yBmPSrp?= =?us-ascii?Q?6b0NB1SCw1POCyZQPgqo1WVYa1ZPCUECq5JpytBNlbc06er5yz+JQuZkIepy?= =?us-ascii?Q?RDWthZbsQkTzh0R3Av4h5RvJhVhfTbV9ph7gPa7PQs9d9zgPCNWmrTEUe4Z1?= =?us-ascii?Q?9Y8+XQvziBQdmEJQG9my0zNHwRUBsyxdkqgcMZOWaIbEdhLSj6650j91Fali?= =?us-ascii?Q?Y5aTTfcR546V9A8DMuxhr1u1wJEoD/16VsKhNP3wq1Dv3P20UcMYb+nAbrHF?= =?us-ascii?Q?OZEm4Gxb8tM5ohAyKvxJOYpH9SmL/btr6s4YhqrgbFjhiZdCVWZhVfv87krz?= =?us-ascii?Q?na3ZyruDgvcORRXYVpcQDCnPeIgkuJvomhRSvvyfag=3D=3D?= X-Forefront-Antispam-Report-Untrusted: CIP:255.255.255.255;CTRY:;LANG:en;SCL:1;SRV:;IPV:NLI;SFV:NSPM;H:CWXP265MB3959.GBRP265.PROD.OUTLOOK.COM;PTR:;CAT:NONE;SFS:(13230031)(1800799015)(376005)(366007)(38070700009);DIR:OUT;SFP:1102 MIME-Version: 1.0 X-MS-Exchange-Transport-CrossTenantHeadersStamped: LOYP265MB1901 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=false;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-US Content-Type: multipart/alternative; boundary="_000_795DDC16FAD248FBBC59E57769D2DFA1sotonacuk_" X-EOPAttributedMessage: 0 X-EOPTenantAttributedMessage: 82c514c1-a717-4087-be06-d40d2070ad52:0 X-MS-Exchange-SkipListedInternetSender: ip=[52.101.196.10];domain=LO3P265CU004.outbound.protection.outlook.com X-MS-Exchange-ExternalOriginalInternetSender: ip=[52.101.196.10];domain=LO3P265CU004.outbound.protection.outlook.com X-MS-Exchange-Transport-CrossTenantHeadersStripped: ME3AUS01FT017.eop-AUS01.prod.protection.outlook.com X-MS-PublicTrafficType: Email X-MS-Office365-Filtering-Correlation-Id-Prvs: a296f05f-3b5d-4993-a908-08dc70dbda0f X-Moderation-Data: 5/10/2024 10:58:34 AM X-LD-Processed: 82c514c1-a717-4087-be06-d40d2070ad52,ExtAddr,ExtAddr X-MS-Exchange-AtpMessageProperties: SA X-Microsoft-Antispam: BCL:0;ARA:13230031|48200799009|376005|32650700005|35950700004|1800799015|82310400017|7416005|35042699013|41110700001|17680700008|41080700001|41090700016; X-Microsoft-Antispam-Message-Info: =?Windows-1252?Q?35Fzb4DbCgt2gYFIVkMlFFCRLBmIBIsmVl1YuxWb4JD4ZECm9zRmBTGe?= =?Windows-1252?Q?P0qo1gcmuq62OYHLO/ATwS3kv6FMEaPNSCYgKO6vPiddtuf7u7XQh22O?= =?Windows-1252?Q?BKfXKoEcDmlxryQ5OWbZWtiwOck1Noca8LEbGOEmk13ZC7A2Mt3NJ4Pq?= =?Windows-1252?Q?RypmgnBfrpOi5vxL+vrO3A/mR+Z0Hels2Dn0Y1T0Rwhbtvx7010jq7Vn?= =?Windows-1252?Q?zEtEydlPjHvHGIkisR7+D6oqNrgoDkerbOGdkPKy0r7e22nuKcMPRkvl?= =?Windows-1252?Q?L0IR7QAqW60dw3+MsMBXKhLVEmST+r7RiWNrq+CLV+uSK901OqFJGGLX?= =?Windows-1252?Q?10MJzHqRKucuvDeFkjHBcW8A43IwmAT/IiUacz69VPIKHNRrKJAC1WGt?= =?Windows-1252?Q?/xhq26Qg1hLmiSJHeo46LTrRH0CFwWIH1951o0VGJJGODMraHpl7H3v1?= =?Windows-1252?Q?pQJ4Dm2cbyAfc8khurovUzSavelyM/SpSkQTkZkTBqDLoy+4IOHQ3SKK?= =?Windows-1252?Q?XLhK/N+vZlyXCnNQzdvqSowcMz5GbF09ACy2ppVpvfLbeIrQD4TEguYv?= =?Windows-1252?Q?uDrAEHtpp0oOxRfSo/iRKA/ufuf23Jd+ckrrNOx4fqB5W8mLxoZG9xPG?= =?Windows-1252?Q?LRL+iQnYS6uQEN+tcoW19hbMMzdnVtl8pg18HcqjvaMavFgrM2o3gjnx?= =?Windows-1252?Q?6OSGieiuahU1xMFPxgARsQtdNAqt8j8kTVjpx3braGlpsleThHZVJZVa?= =?Windows-1252?Q?i4N1Jah9pjBusFmsO7Qa5auzKuFjX8257gUvRY0lJuj5vEDqKo3Hh9PI?= =?Windows-1252?Q?HXaQ1WJWZsZwLWuTAxA/Fx9v+qPFSPK/yXSViqly23yiF/mAEe8NXw3p?= =?Windows-1252?Q?iykP4LBcRhNGFkWo+j0wk3mHixrQII61jDmM1kzyVQZJNjV+4iJcKLX5?= =?Windows-1252?Q?bmd5yYo1KpsTUjwFTMbCJ8nJsMmqtz1l8AYCHD/x9h/5IGDcBJVUO428?= =?Windows-1252?Q?fmcFV4Jsi7e9sqzKo06MHgU912zytT5dThEki6MFYTdWq4PSGaA62HAQ?= =?Windows-1252?Q?SPF2wquymbdDGjRr2XZvFqEJBR3j2IF094M1TToj9QAcQJKMzuv2ndo2?= =?Windows-1252?Q?igizHEMaHwHE4WVyc49vMTaFctP+UuSbAd4zS0H450t2JJ1d7bJJqc5o?= =?Windows-1252?Q?K7j5eKajzK/Qu/+t3PM8FbvWMhMz0aqLbAQKtxY4QaWhN+8L5gvuQKZe?= =?Windows-1252?Q?5wvXDAMjjepJ58hIocOG3GxUC5E5G0/VpZUDDU0Q6Yw6ChNlG2RfZzQK?= =?Windows-1252?Q?BAfLMn/YLKSPviHgxf5AG73c2v6fpewfjMR5W5WtFYaqIZe9kOK+TTm7?= =?Windows-1252?Q?O+cGVPOfGwCMC5WUa984DOrR4haSqRTrB9hUXgOI2c/vyT3ZAVGAh9AA?= =?Windows-1252?Q?e37gAeMMyYPKaTJ8mWbjUSPO+W3dwgyA8OFmQyjGuxjLenXCIG3FB6ZK?= =?Windows-1252?Q?Le/CoENEUca69f/VA3nWtmb05ZfxPi+HfZV8w56yKLRF3+NqHERwy2lO?= =?Windows-1252?Q?OP5rpGrmlOurj++R?= X-Forefront-Antispam-Report: CIP:103.96.22.101;CTRY:GB;LANG:en;SCL:1;SRV:;IPV:NLI;SFV:NSPM;H:LO3P265CU004.outbound.protection.outlook.com;PTR:mail-uksouthazon11021010.outbound.protection.outlook.com;CAT:NONE;SFS:(13230031)(48200799009)(376005)(32650700005)(35950700004)(1800799015)(82310400017)(7416005)(35042699013)(41110700001)(17680700008)(41080700001)(41090700016);DIR:OUT;SFP:1501; X-Auto-Response-Suppress: DR, RN, NRN, OOF, AutoReply X-MS-Exchange-CrossTenant-Network-Message-Id: a36c0f4a-2f2f-47bb-6027-08dc70dbdfa7 X-MS-Exchange-CrossTenant-Id: 82c514c1-a717-4087-be06-d40d2070ad52 X-MS-Exchange-CrossTenant-AuthSource: ME3AUS01FT017.eop-AUS01.prod.protection.outlook.com X-MS-Exchange-CrossTenant-AuthAs: Anonymous X-MS-Exchange-CrossTenant-FromEntityHeader: Internet X-MS-Exchange-CrossTenant-OriginalArrivalTime: 10 May 2024 10:58:36.1240 (UTC) X-MS-Exchange-CrossTenant-MailboxType: HOSTED X-MS-Exchange-CrossTenant-UserPrincipalName: oJ8wl2Pcq/+sHtEx1jUVIG6PAhW0NN5brxGTeel3K/Ek5hyR7Ef9fScSQ+q0pdsA5dA8kd8PqNrkxgySv7y2pP/p5/+XbOuKnMQuoeCNbeUkUpCKWsN+8VlIEBu+vtqjKlo3de5whENRXhNE8+qCp/qDZqcjwjDpLOHZ9YDGXywsWxby3l1T+n1iMlEOiPPz X-MS-Exchange-Transport-CrossTenantHeadersStamped: MEYPR01MB8031 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: <795DDC16-FAD2-48FB-BC59-E57769D2DFA1@soton.ac.uk> 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?7crdme9Xxwodo8WEqb/fYiXxB+gkyZx6bpW2nkXzn3uGuc9m6ocMNOKi?= =?Windows-1252?Q?+YCBWWvPcgkmTlJ5axUupT+XD8yMBb3MhQ2VeofLkpRmR/Oogb7XnHSj?= =?Windows-1252?Q?uOi8JRgMlaAu6TeXPp80rNVcVK8NHgCeuzTjd67qJccx8OVLYjn2ldcr?= =?Windows-1252?Q?nnS2m/Ur3WkWr7KaOhanMkXz8PBgfhbsnC9CyRW/N6Bio4xOcguc+vPn?= =?Windows-1252?Q?bhwPWHn8ssQiZx5cBdsjAogo/M8HIfGImMFggPK1dChYaMNSpQZjc1V3?= =?Windows-1252?Q?UEm/USZmL/khiUFR8mxzBeNVgv8MY7L6PYaVA7ccNvT4EAEc82wEVM2S?= =?Windows-1252?Q?j48c3UBPAixApTsi62ZTTwOUrHZrx+3tt7Qd7ydXMi1K8EZaQL9Hsufg?= =?Windows-1252?Q?mz8YHbGm+nrQIeprMxbWTYz3SPvlp71QFj6yvfG2RW7VQhme1Vr7W4ld?= =?Windows-1252?Q?MRcWxG7dP5XblAVns0OYQK+tkPWwBAdbDgFaxZG7g6vPq4vpe8TPZ6Zu?= =?Windows-1252?Q?f+W1oIAS6ABeZl4qKmGWC0qnQM/XQd0Ni91fjK+voniQe5S0G/U/gFrs?= =?Windows-1252?Q?Ow5VTqRdaFf1TRLXLXjjUMTpZ6nLqPRe0RyCKxKXh0x6BT1Fzb3TUGg/?= =?Windows-1252?Q?CBCAgWI6hPt9OUTSs5Vsf95Awdxh/2qfaWjK9FsO37y3TjCjaKoEH0qu?= =?Windows-1252?Q?I/ny8m7M9AL1XjzPnESfue6COF7Jt/KvRcCeUP0+dW0NGH3IGPIHRYlE?= =?Windows-1252?Q?CT9ubusJ0BNPNcwtA2vMLSiylFMsRIa6ueSdzd6bhLTx0eyQ1NmCZnLC?= =?Windows-1252?Q?RyGv/qv4GVQLBW2QNIk7GHrpVUZzBPeoTW8V7EZmB5+pC8Ma2N75y+Dn?= =?Windows-1252?Q?kzqhnfY4Tm1Jg+pdANHXQ20L84K4HC/ET2NrjeWqDQwqLkv3HQkwLWOq?= =?Windows-1252?Q?l/dUN28voMp1lYhQOmYWNjn19gCKyn5EdzAY2UT0/QaJ+CElONj0L6xs?= =?Windows-1252?Q?1EJcQpCnsAUc593ksRLe+nZeZ/yQTtwcVSuc6T4Ltb7sV39apTjjYTuF?= =?Windows-1252?Q?J3/ZUK/0Sg7g1hGgyp0zlSFRi0VMvE9PQNwUexa+V/2VLDMVToOXSYVv?= =?Windows-1252?Q?aIc6dcdMvXaHLxm8z9Bp3KqIFazvwQlr3y1GEsJpHPgbZ8k5/dlgO60t?= =?Windows-1252?Q?iHn/vg2+YKIHNqV7o6msBgdiQxpeUdnKqdDwQ+lb6MW2JAPx0sHz9PPE?= =?Windows-1252?Q?N7MSx3SouaYMpn34QU4QdanOAz3OO6SYfyIde12jloiSQt6ZQGj1yoTT?= =?Windows-1252?Q?kNG+JJfS/FaDHlwX1u5ZyAm1MBnIsod/W367aUco9l6noRepUVKkXUJi?= =?Windows-1252?Q?AdwcURGGxPmBS1nvpxhDo0IYY33hEcgZ9hGwXxqAoVvWqgUmBf0mYWG5?= =?Windows-1252?Q?QCwxFPpb8T0pXeFpBzizfmRGeUTsnHcHBw8Q6+NxMCW8lKcDLPpJ1+Y4?= =?Windows-1252?Q?Qiw7FTJ8VHrQn8ee8n6xLYreJQicPA=3D=3D?= X-OriginatorOrg: mq.edu.au --_000_795DDC16FAD248FBBC59E57769D2DFA1sotonacuk_ Content-Type: text/plain; charset="Windows-1252" Content-Transfer-Encoding: quoted-printable We are looking to expand our research capacity in Logic/Semantics/Programmi= ng Languages/Verification at the University of Southampton and are looking = to fill several academic positions at junior (fellowship), mid-career (lect= ureship) and senior (professor) levels. The links below give general speci= fications for the posts. Interested candidates are invited to contact Profe= ssor Ekaterina Komendantskaya (ek1u23@soton.ac.uk) to discuss the posts and opportunities at the University of Southampton. Fellowship: https://jobs.soton.ac.uk/Vacancy.aspx?ref=3D2682124FP Lecturer: https://jobs.soton.ac.uk/Vacancy.aspx?ref=3D2681824FP Associate Professor/Professor: https://jobs.soton.ac.uk/Vacancy.aspx?ref=3D2680424FP --------------------------------------------------------------- Dr Corina Cirstea Electronics and Computer Science University of Southampton Southampton, SO17 1BJ United Kingdom Tel: +44 (0)23 8059 3625 --------------------------------------------------------------- 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_795DDC16FAD248FBBC59E57769D2DFA1sotonacuk_ Content-Type: text/html; charset=WINDOWS-1252 Content-ID: <175012B86CF47F448B361C909D37036F@GBRP265.PROD.OUTLOOK.COM> Content-Transfer-Encoding: quoted-printable We are looking to expand our research capacity in Logic= /Semantics/Programming Languages/Verification at the Un= iversity of Southampton and are looking to fill&nb= sp;several academic positions at junior (fellowship), mid-career (lect= ureship) and senior (professor) levels.  The links below give general specifications for the pos= ts. Interested candidates are invited to contact Professor Ekaterina&n= bsp;Komendantskaya (e= k1u23@soton.ac.uk) to discuss the posts and opportunities at the University of Southampton.

Fellowship: 

https://jobs.soton.ac.uk/Vacancy.aspx?r= ef=3D2682124FP

Lecturer: 

https://jobs.soton.ac.uk/Vacancy.aspx?r= ef=3D2681824FP

Associate Professor/Professor: 

https://jobs.soton.ac.uk/Vacancy.aspx?r= ef=3D2680424FP

-----------------------------------------------------------= ----
Dr Corina Cirstea
Electronics and Computer Science
University of Southampton
Southampton, SO17 1BJ
United Kingdom
Tel: +44 (0)23 8059 3625
---------------------------------------------------------------






 
 
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_795DDC16FAD248FBBC59E57769D2DFA1sotonacuk_--