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.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,T_SCC_BODY_TEXT_LINE autolearn=ham autolearn_force=no version=3.4.4 Received: (qmail 24007 invoked from network); 18 Dec 2023 16:19:43 -0000 Received: from mail-me3aus01on2139.outbound.protection.outlook.com (HELO AUS01-ME3-obe.outbound.protection.outlook.com) (40.107.108.139) by inbox.vuxu.org with ESMTPUTF8; 18 Dec 2023 16:19:43 -0000 Received: from SY4PR01MB7876.ausprd01.prod.outlook.com (2603:10c6:10:1b7::5) by MEYPR01MB6488.ausprd01.prod.outlook.com (2603:10c6:220:113::9) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7091.38; Mon, 18 Dec 2023 16:03:44 +0000 ARC-Seal: i=4; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=pass; b=itcQf8+8yQoNEZVh41JCX9R+nY3hq3eOIn4ERBNtpN8NYXRJffkSali+YJisYMzPpjzOKOc2Nq9FQ4TPJTVlYBKvTsgImyj70RWCIMyckny79qlpexiM1Iik6+k0LsR4NlX001rgwd4U7Z3Or5yU2jz1KAk3tV6e4JXH/6s9HGoJoPqPIAeD5NFjylt4GdQDM039UBb+SnzB3oasyi6pZpKz8WobwTEkLrVdXdcuTvnq/8152WmWStVAoQ3LiVpWpxF5mOp4iYDCRwSaqzgd1EdR+LgYuJxiXLUYwwGsiLQ3iHiySrp1IrNnKH6tfySbNQWpKrjznMnJgLYQ8th1qA== 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=kpvmTT+zxq7gRAvNB9td4UHKNMZpCaIE+xsjPVlGSJc=; b=X6w1YEl1Lg67jEclZNDTgajoV/K08GbS4Cw4rldHLYkPEZ9X4uLfBD2K0oXZ8dGoT9FIfHK5mdHHzL9E3I8YjdAJ1l9atIFdVIZLcl9uNKXOScflchxkHcEnlbim0esQURFCt9/osBL19S93OoZjnORAsX9w/psQx+WN120jYixV/zfq0DohiRIbNS0NMIKKR6kXuErt9aZc4xW/v+LNdO5f+1xia58eyRu6TTVk2/aYZHy1wuuASpYC+q2EoAzHzeSabwOESClTyi1bi+HtqDAC7eMt94N3L8Lmw4iv2C5c6ZGI52nKuuNZZak1X6FpM0492Dhgxu+L1jWE5/9jIw== ARC-Authentication-Results: i=4; mx.microsoft.com 1; spf=pass (sender ip is 209.85.208.170) smtp.rcpttodomain=mq.edu.au smtp.mailfrom=rug.nl; dmarc=pass (p=none sp=none pct=100) action=none header.from=rug.nl; dkim=fail (body hash did not verify) header.d=rug.nl; 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=kpvmTT+zxq7gRAvNB9td4UHKNMZpCaIE+xsjPVlGSJc=; b=dB70BpmP/G+SH7ovegbHhJxsI12smhxmKFMdYx5GizkRwJ9j0LvN1s0vhmu1N13mNST2ppnJvjtd7jqhjvqv6KVHfJbp+HE/ET5itYaJz0oSxZ7DWYlCSPIp0ZQJwJkckdnoK2WmhxmRz4yU8KpW8dy2dhOrpQ/JGfxvOQhUORsvRRSZS4yP5M+Cl/mU7WSmZLY+IvYVBinhrI1yO+IjHlxX0+VLKLwHt9ReQ9JphgqYb+2ZLTfxuR1aYjDh7jnGahyMUbmOnk8GjP4Zax3Y19leU7AGUDboRPWjY6SFmjHFl/MqU6iET+Gz+cdWEnJRGz7SsiO2lASENRxNtSlGvQ== Received: from SmtpServer.Submit by SY4PR01MB7876 with Microsoft SMTP Server id 15.20.7091.37; Mon, 18 Dec 2023 13:15:56 +0000 ARC-Seal: i=3; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=pass; b=BFNzjpDgtZq9qxxxWvC4d17zjv5lFNm2VxRi8HiY2J9fpPOXTzxviiw4KNqP3JbuC52HRCuk8IZ4mfmdNjtFATsy+pLUnyIJZPbTWLXx0qd6WS+MQvHPxr9QIspPdj8+rP0CGbWj9GlzZod9QtwWkwDLkoj6bEtWqbKrQDIFePt3QfGR/j3mZm2VLAWX8NNdgZDlmr7EiAs3r4jueOvzqAJJ4pVnrOH93gIM6xVdvvmnOux74UPaYXpSkzs06X3SZU72jM8D2JO/+XOe5NZMiADYCdcZ7wFJkSBB5odwQVOiyFr/TrukIK8cxQ76jYMS79Bfq00lmq+PJp7AE3n7rw== 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=3PGdGB6o3PbuYE6L7afefD5bNWG4PqqDTz7ZpYmFOh4=; b=n5dpjAzpORUvJVxKAbZIce+N/NUq6N0qXwnxMrS0k0EnWQkV7N9oqz8EFpBKm5HyXmSZBWbSY5jlUBeUdTpoQdAFqfjePRH4spbHcQks7Vexz54jzj9sDAjUer/QAASoZwtHq9pAJLu9wnr5j26eF+gyANIJ2DQ7+NQOPTC7H23Am1IVcQmiUIrIquT7N26O5wL63ZFsN2Agn2ijYy8Cij3xVJKgyuqKm3L1/utAMYMDFExcg1vhVATEZQsqgnQwlBhjxjD8y/8p2rMmVXiiPPEh8iTDG9WUZjmTJErV3onj4sTCWt+8m01jgCaIi4ONNtVGzSF8MQaWctYTdCamxQ== ARC-Authentication-Results: i=3; mx.microsoft.com 1; spf=pass (sender ip is 209.85.208.170) smtp.rcpttodomain=mq.edu.au smtp.mailfrom=rug.nl; dmarc=pass (p=none sp=none pct=100) action=none header.from=rug.nl; dkim=fail (body hash did not verify) header.d=rug.nl; arc=pass (0 oda=0 ltdi=0 93) Received: from ME3PR01MB8597.ausprd01.prod.outlook.com (2603:10c6:220:18f::9) by SY4PR01MB7876.ausprd01.prod.outlook.com (2603:10c6:10:1b7::5) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7091.37; Mon, 18 Dec 2023 13:15:51 +0000 Received: from MEAPR01MB3654.ausprd01.prod.outlook.com (2603:10c6:201:38::9) by ME3PR01MB8597.ausprd01.prod.outlook.com (2603:10c6:220:18f::9) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7091.37; Mon, 18 Dec 2023 13:15:45 +0000 Received: from MEAPR01MB3654.ausprd01.prod.outlook.com ([fe80::c998:8560:6e08:9b8a]) by MEAPR01MB3654.ausprd01.prod.outlook.com ([fe80::c998:8560:6e08:9b8a%4]) with mapi id 15.20.7091.034; Mon, 18 Dec 2023 13:15:45 +0000 ARC-Seal: i=2; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=pass; b=bDoWcEqOaeJK3kOMGqH4RKoRQ8vfjQwimCbWUIx0uNrVGm2ZRYtnxOczFG+S1N3TqZ6meKJ0KOLH/9TbnPatL0G9a44BP2cB/cd3F6YUrpagWi7ZZiwwCBMGO88fqB7yv168wmGrVwnMNhPunWOH8HDiKLxtZpxN0Jhwev8YjwH0UNhdKztgTUvAFO/LrHjloGwa8/rnX6Rts8LfuGdR9M98UjKVThqSpZJAb3W/zxvS+VJXnMdKbyAH5Z8vD2YCrk62bj8+cUXYE62NR8aX/+qsGIfZ1vYbJNeL0XXI5AoP9p0Mm1GJDV8IfNsavfq3GvCho6/c6qbS36jU6r/BhA== ARC-Message-Signature: i=2; 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=3PGdGB6o3PbuYE6L7afefD5bNWG4PqqDTz7ZpYmFOh4=; b=IPlBghzXuYUaPi3h2rTkiemKCzaui3AQT7dyqqzqyM2T+kJHZYxeojddODl3ZCuSy9M0pKabPth645enM7/7t2vwM3dy+pDwN/lv8TBpzaXkgPGLEXLED2xFwhWUOX9wO2wZEM/TulNgp7g3mzYx14A2jdPDDal4Lj9d83lIV426lLi/LIli/pYH6o10be1HHuXk67QZuij9pqC9ZMja12zkeWVhv/M1WrQWyWi0dZoKspp2pVuwnh7nwz907EBUDh+2pyTqgaEICjmDB6bAnEjE2rv37wikmiUspK67IPvg8K5Owjobi9sEcP2KDHf76mCtMhvVkJQlcbSnNpy7KQ== ARC-Authentication-Results: i=2; mx.microsoft.com 1; spf=pass (sender ip is 209.85.208.170) smtp.rcpttodomain=mq.edu.au smtp.mailfrom=rug.nl; dmarc=pass (p=none sp=none pct=100) action=none header.from=rug.nl; dkim=fail (body hash did not verify) header.d=rug.nl; arc=pass (0 oda=0 ltdi=0 93) Received: from ME3P282CA0013.AUSP282.PROD.OUTLOOK.COM (2603:10c6:220:80::23) by SYBPR01MB7194.ausprd01.prod.outlook.com (2603:10c6:10:13d::13) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7091.38; Mon, 18 Dec 2023 11:56:07 +0000 Received: from ME3AUS01FT009.eop-AUS01.prod.protection.outlook.com (2603:10c6:220:80:cafe::d2) by ME3P282CA0013.outlook.office365.com (2603:10c6:220:80::23) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7091.38 via Frontend Transport; Mon, 18 Dec 2023 11:56:07 +0000 Authentication-Results: spf=pass (sender IP is 209.85.208.170) smtp.mailfrom=rug.nl; dkim=fail (body hash did not verify) header.d=rug.nl;dmarc=pass action=none header.from=rug.nl; Received-SPF: Pass (protection.outlook.com: domain of rug.nl designates 209.85.208.170 as permitted sender) receiver=protection.outlook.com; client-ip=209.85.208.170; helo=mail-lj1-f170.google.com; pr=C Received: from au-smtp-inbound-delivery-1.mimecast.com (103.96.22.101) by ME3AUS01FT009.mail.protection.outlook.com (10.114.155.79) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7113.17 via Frontend Transport; Mon, 18 Dec 2023 11:56:05 +0000 ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=dkim.mimecast.com; s=201903; t=1702900564; 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=3PGdGB6o3PbuYE6L7afefD5bNWG4PqqDTz7ZpYmFOh4=; b=FFeNz7o4o42sefOmN4g2VcLY6laeEut8ePJv9ox2s//mKKoHwjKolhVCI3CrfhvrkHN6Ak 1XmA8KzuG0yH8SnW5YNJfM8FwoA3bR6cuk5ZnTvjvtac3YkMjP07nWyKHNKerEXkhieSb+ b3GlcmXHbvE7sBNVYw/ISO7qi0lHYPFL+GpKo8r1or3x+YN5UpA6U+5m2yI/nYJZZ7qgfz SOX+uMHWmnzDfUT9BAbgcfSVFAbYUdmJ81PNx/VxelvdnwA+bxIRSBFpq/fljyIg5WqfOZ ks6sKpU81jDXgL/0KEBhOfVZFMeA/IDpvtaXS3OgqJaciMFe4Psksj+GN7P9FA== ARC-Seal: i=1; s=201903; d=dkim.mimecast.com; t=1702900564; a=rsa-sha256; cv=none; b=k46QvPyqRnvwo6cC8G2mNftOwTcxhhZONqIhUReA9N8n52onOh+tLa3KW1gWBjrBBZXBUy 2dbjTpvJ5LrUx3Uj3FbXFlHnppWWCTVCndIcu2s8KZkguwLU4gw56d9MwGc9twrGWjpgZH R1CZR4LWps5HCcg1w0SZXNWuEPe89kqR37ZIN59iJ9BVVSXBjI0MXh42LnNmD/8oU5MTXS cdstIIOY01fZcIn1KP88yY6BVN7gpQklMXIUxUSOdYSNo2h2ugrb7quCIeWuULely0H65i TDUaQTNS2XvdPG4QMzKidISLi7jtQmIaQJBs7mkxoLzZafVe0Jyyv86cWS6NJQ== ARC-Authentication-Results: i=1; relay.mimecast.com; dkim=pass header.d=rug.nl header.s=google-rug header.b=HiK0uXf5; dmarc=pass (policy=none) header.from=rug.nl; spf=pass (relay.mimecast.com: domain of h.h.hansen@rug.nl designates 209.85.208.170 as permitted sender) smtp.mailfrom=h.h.hansen@rug.nl Received: from mail-lj1-f170.google.com (mail-lj1-f170.google.com [209.85.208.170]) by relay.mimecast.com with ESMTP with STARTTLS (version=TLSv1.3, cipher=TLS_AES_256_GCM_SHA384) id au-mta-108-iCRbPlIdNPKsAIt4cLoExQ-2; Mon, 18 Dec 2023 22:54:16 +1100 X-MC-Unique: iCRbPlIdNPKsAIt4cLoExQ-2 Received: by mail-lj1-f170.google.com with SMTP id 38308e7fff4ca-2ca04b1cc37so27411541fa.1 for ; Mon, 18 Dec 2023 03:54:15 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=rug.nl; s=google-rug; t=1702900454; x=1703505254; darn=mq.edu.au; h=to:subject:message-id:date:from:mime-version:from:to:cc:subject :date:message-id:reply-to; bh=rZaxJ+6ASPLlhAj5lLWHRpUDQA0YLqB7y9/Amcy1vBE=; b=HiK0uXf5cnxUhLNS/CrKwHKM4UYjX/nNzG5zZGQN31WL8EpA7q9Zeand65QMMqlEHn N69Tet/0Lyq7JThPsJehDG7F/z212NR0+SvL4OiUiuuE4ZzT/8JpP80vmDcwDAoSfN0k U4EpZrGaau+7zSlMJCTeRMhYdBb4EkOkKzDQRcLfDDNuGrgf4m9JF2T9qNM2QofXOQRf WGefSVJ+qzS+mhi1eOcG4ZxpdN2uo3jyLTVDsRtKlLsbAASzyexb2u5bOTbJ2K4QV1IC NkHfdpxFHcu9PbHEy5XP1l25rFROdcYSeDNPa/e68lw6A8ZC2YIPSQhMBXREY5Q6lCpa 8/mQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1702900454; x=1703505254; h=to:subject:message-id:date:from:mime-version:x-gm-message-state :from:to:cc:subject:date:message-id:reply-to; bh=rZaxJ+6ASPLlhAj5lLWHRpUDQA0YLqB7y9/Amcy1vBE=; b=o/UbUJsfR97JEXSd7nZYCtRa1TJ/Nhy/pl8Eg5lTPNh+PEDlLW3NoNU6cv8GrFg1dK vJVxuhZND1KWdt8Br75WJjwjlyx1aNfoJTcvOxWH0eLs5npAS7CDK7xU2B4Frc6O2ydV 8cUpYvcsfKX2MgIrfy48FrhCvRTpLYR8n7h3cSOli5VQn/g8xuuTHTLPR6uYnc/UHYjC NlecX3EicXDkvSbGg08Qb1tHvhTrkzk7JBaveYbD4EZZ2ZHe9FIzbOVSA6sOWkirUtnA rXFZlj/GtMYLmphdVAjE2iORTgM9ygFy5u6HQu8kxcZluCHBG2YQgw8oAnQ8riBcbPUc y6Ig== X-Gm-Message-State: AOJu0YxPtvd2dXF6kTCOrXtYDUiY8gah6N1mI640fEPajUk8CrmIKXMu 2xVIEkTx3vJy4q7EpXupJ7ShdsAzcKFDy7VYAcbdR5dL4BwJ3pfiVsk= X-Google-Smtp-Source: AGHT+IHTlSNqnLiIT5WOGGikGbEYdQqp0O/DgOm0OliZAywm709l08urJSIPTj5iPw6L1obN4hHgFa3ZUh8JmDDMRzI= X-Received: by 2002:a2e:c4a:0:b0:2cc:6109:c395 with SMTP id o10-20020a2e0c4a000000b002cc6109c395mr1856471ljd.1.1702900454384; Mon, 18 Dec 2023 03:54:14 -0800 (PST) MIME-Version: 1.0 From: "Hansen, H.H." Date: Mon, 18 Dec 2023 12:54:03 +0100 Message-ID: Subject: Visiting/postdoc researcher in Logic, Semantics, Concurrency - University of Groningen (NL) To: categories@mq.edu.au Authentication-Results-Original: relay.mimecast.com; dkim=pass header.d=rug.nl header.s=google-rug header.b=HiK0uXf5; dmarc=pass (policy=none) header.from=rug.nl; spf=pass (relay.mimecast.com: domain of h.h.hansen@rug.nl designates 209.85.208.170 as permitted sender) smtp.mailfrom=h.h.hansen@rug.nl 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-Type: multipart/alternative; boundary="000000000000ac1667060cc7689a" Return-Path: <> X-EOPAttributedMessage: 0 X-EOPTenantAttributedMessage: 82c514c1-a717-4087-be06-d40d2070ad52:0 X-MS-Exchange-SkipListedInternetSender: ip=[209.85.208.170];domain=mail-lj1-f170.google.com X-MS-Exchange-ExternalOriginalInternetSender: ip=[209.85.208.170];domain=mail-lj1-f170.google.com X-MS-PublicTrafficType: Email X-MS-TrafficTypeDiagnostic: ME3AUS01FT009:EE_|SYBPR01MB7194:EE_|ME3PR01MB8597:EE_|SY4PR01MB7876:EE_|MEYPR01MB6488:EE_ X-MS-Office365-Filtering-Correlation-Id: 7878365f-30df-409c-50f0-08dbffc05084 X-Moderation-Data: 12/18/2023 1:15:43 PM X-LD-Processed: 82c514c1-a717-4087-be06-d40d2070ad52,ExtAddr,ExtAddr,ExtAddr X-MS-Exchange-AtpMessageProperties: SA X-MS-Exchange-SenderADCheck: 0 X-MS-Exchange-AntiSpam-Relay: 0 X-Microsoft-Antispam: BCL:0; X-Microsoft-Antispam-Message-Info: a26/ER/IsSL8LSbaLmoQ5vK5XCrTgQBvnqrqtse3fPTy1QPzPbOL76xngBUuBFyu89s+T17CChFQ4nBXvrMeAXmjgl/gN1bmkrMnGL9mySkO1OfR3mLHTilojkVHZMWbg5Xs5XzzprCs0LqxpaJ4p+XAKkN83pYzJ7UqWbJRBepl+7tWSM+nfRIQDoMn5JmNpGtXPfEaJjWjf8zyYHacbARTkajFhqu5seszNV7SmAaVVajT3CKkGELwS9BxHbpx8XLJD2fYQ0KNamfC86cnIr/IZwilhWBA0F94BCOp2C+gipyw9sjmrDHrwOPeX1bPXDxMc7zDAfabtgcYsrAC9vGfWxZ3+8x43YbepyANUhOGgJN4D97OwEZe5RVMtBBPAc1BliVTOSWgLQivf8kXusdnwHwcqDD2ll2wxohJbpf59StyLHJICvguqv+RdR9cyOOZgNz1LWQLvrWuyj+739NU3L3Vlvu5abyhmX2hm2irSmdCAfDuS9PqS3H0yqAXxAbuc0q4bPYbyNBW2p6+N7BytFYIY2qZ6hrsAyjGMCsHHpbHVpPaclIoWuYDvjVF6MGZ2nPpO2KqO7bZrSVMOQkvow9Lrp0uTZiK13E80qtOeB9dXerDPmE4556TebKoyFus6NPPlK3FQjq8eupR4OUlN80G8px87TnP/ixHDljFVsh6OK5nN1aRvz67zhPMaxXz0ZND3NpZQCzLGuiL6Zqh2DoKX/OrT095laKt1dXHkRrYDrT5/OMbnuFNdKCJ/8vQ2YyIE9429mey7uqKUBki/Pmdpzr3VkZGe+Wb+mwT6frcgFxtrPzrRX+G5NopfxiX6r212lznFNtGMlfbt0mn1FT/0qfvUpGQCZn9e2dKX+18OD+3uUsC7LfWQAbbvxbIo/4M/CgaxJ0ggUOCXNwEeflnJF6Oup4gZ7Mni9Q= X-Forefront-Antispam-Report: CIP:103.96.22.101;CTRY:US;LANG:en;SCL:1;SRV:;IPV:NLI;SFV:NSPM;H:mail-lj1-f170.google.com;PTR:mail-lj1-f170.google.com;CAT:NONE;SFS:(13230031)(4636009)(396003)(39860400002)(376002)(136003)(346002)(48200799006)(64100799003)(82310400011)(1800799012)(8000799017)(451199024)(40470700004)(34206002)(66899024)(8676002)(8936002)(68406010)(316002)(786003)(70586007)(498600001)(89122003)(88732003)(76576003)(41300700001)(966005)(7406005)(7276002)(2906002)(86362001)(7416002)(55446002)(42186006)(32650700002)(7336002)(156005)(35950700001)(166002)(7366002)(9686003)(6666004)(32850700003)(5660300002)(82740400003)(33964004)(7596003)(7636003)(26005)(66574015)(336012)(40480700001)(40460700003)(41080700001)(67856001);DIR:OUT;SFP:1102; X-Auto-Response-Suppress: DR, RN, NRN, OOF, AutoReply X-MS-Exchange-CrossTenant-Network-Message-Id: 7878365f-30df-409c-50f0-08dbffc05084 X-MS-Exchange-CrossTenant-Id: 82c514c1-a717-4087-be06-d40d2070ad52 X-MS-Exchange-CrossTenant-AuthSource: ME3AUS01FT009.eop-AUS01.prod.protection.outlook.com X-MS-Exchange-CrossTenant-AuthAs: Anonymous X-MS-Exchange-CrossTenant-FromEntityHeader: Internet X-MS-Exchange-CrossTenant-OriginalArrivalTime: 18 Dec 2023 13:15:45.4906 (UTC) X-MS-Exchange-CrossTenant-MailboxType: HOSTED X-MS-Exchange-CrossTenant-UserPrincipalName: s6WRB5fBqOoUXSXfwgh8WyZsryG+bE2DogPZ5tqlepiJ+q4H/TL0IyFFt4pvFnCOET5ZMCeL04ff3ZlCPCAKFsDXFd4tYnrDq0Q5CsgfRHalQmJ4u/w8EVeES8AI8M7tA2hL4K6J1FpZj/RoHghwU+5y0RB9uJjd1jqO7Vj6D486ZN+qmhPvmPWjqV1yfGNk1veZ88jAl+S8wRSvDDD0Grf9f1w8dqo3DnX+ftpGay4= X-MS-Exchange-Transport-CrossTenantHeadersStamped: SY4PR01MB7876 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: =?utf-8?B?UVBZdEVyVEQrdXBFVlgrNHNDYVlrRG91TVZJamVSNGdzSE5mTng1eXFRRXNn?= =?utf-8?B?NVVtSUc3VlI2V0pGb1A1aVhaWGM3WDE5QlZiT0NmenowTHhZMWxVeFNCWko0?= =?utf-8?B?c1BXUS9hNUlXT3FJenUrZGdDOEpDeUhvZVV0RE1mVkt4NXUyb1FjOElnTDVu?= =?utf-8?B?K1pPV0o0M0UzN2gvNzZhd21XYWZsQjg4SUExaWMyOWVTT3FpTnZ1Zlg5T08w?= =?utf-8?B?dE1nVGoxemlEbE03K1BZYTIzYWVzaTJZY0MvVDB2VlZoSUJpZmE5aDBMb25k?= =?utf-8?B?dTdSWUlFeVE0YytBOGE4UVFuUUNXa2hROUkvYjBzVFl0Qnlmd1R5c3l1TVEv?= =?utf-8?B?cnpKTG1manhWdGIwMnMxVll0b0YxV1RoUjhOSDA0VzRGeW90YTQrSTgyRGo5?= =?utf-8?B?U0VKZDJIbFN3dXBMMDR4b2dzaHA0b3lIeVVNY3drN29VTXlwUmVnUG9PY29U?= =?utf-8?B?NTkzSUdrTWVveHhUMzJZVWt6L1N1K2RvbFlvUXowalNzc2tHUmU3Wmp0TTRW?= =?utf-8?B?UndpS2NxOXhYREZXclpCSE83R0o5VlhKbndZeW5xcjBWeHN0SVZpRFVDLzNO?= =?utf-8?B?eTB5SnVsZDh1bHFmSHV6ZmhRajhrTFhDMWJCbG5tZWd4ZVZQSjdCcHd4WDEv?= =?utf-8?B?ZUlWOVdIQ2dSdEdXcXVZOERlcEh4NjFsRTJtRE5tKzZZYmNadWRCdUxLN2JU?= =?utf-8?B?TEpPaEs3Uy9IWnNrbDM5RmhhNlcxcjhabHVQZ2RPUUttNHFUMHRLN3p4dk04?= =?utf-8?B?SXRMNHMwSExtamg4MDBFS21JWk9TWVRYMW53ZnJrYTRPUVRZUldUU0dNcDg2?= =?utf-8?B?ZHR0eG1KMTV0VytTV0RGZmxORW5tbnViMFRGUTVXS1Z6ZVc1bTBGdTJSTHJM?= =?utf-8?B?b24yM3ZtTmR5ak5VWFlsY3ZRMjZDaXV5RDErbms1OXZQblUrTG9Pa1dSRm9i?= =?utf-8?B?Z0JYRWtYQ2RhL2FSUXZFMVZpc2FkZVNLQVhFZ2t6UWhnNy9QVHR5bEgwOXdC?= =?utf-8?B?c1JPZFpnTGFHYmMwaFdEc2M1ZHdBRThZN2dTcnR3TWN1QlhiUXZUM1d1S1do?= =?utf-8?B?dHBDWWZTSjZFUy9HNkQrTlJFeHFwMThJYWFHZ2YrVWpOS2QrcVQvazB3OU4v?= =?utf-8?B?VXlCQTZGRTFkZmpHOEtaVytaNzJGdFFYUkhmdWtyZUJ0MlVvM0E4dEFkY1hy?= =?utf-8?B?TTh6YkJxNC9nbTZzaGplRlcrb2tjRmt2RU5iN3FNMHpBck5jSzNSeG83U2Zx?= =?utf-8?B?Qm02ZlduWGw3WlM2Z2c5NnBDTWpZZVVMV3dUVkZFS1h1RTZ5OSt5OFV6WE1o?= =?utf-8?B?eGUrQVlnNi9janlienQ4V295WXB0WXJjbmh3djhGVEtxamkrTHFPQnJUM2ts?= =?utf-8?B?QU9QWGd6U1Y0aTRBY21RMURqR3lHMHZTOWhUWjZ4TFRqU010YVY2NEVVbHVr?= =?utf-8?B?SUxLYy9KZTN5Z3pBajFNcGVKUkw2VTZwUnltdUFEZ2g0YU5xRmtwdWl5VzRF?= =?utf-8?B?ZUFVQXpaK2lpVmlsbFZ6TG9BYTVQN0k2bC9UOXpIMG1Vdk43aEI4MjB2ZzlY?= =?utf-8?B?R1l4OVFQK2RrMTY0V01hS0JXQWhBT2lscHE3aDhQWmg3Z2ZyQUttb3gyL05F?= =?utf-8?B?ZHBsNWFKMzhmMkhDQmtIT2pqN1pyYVVlRElxUkowREV1Z3M3YlNrTGxnYzBs?= =?utf-8?B?ZmZnWmxyK1d3Vnc0NU1kbDBkMHB1aXltVDE4bkJ0RHdrWmxyS0hZUGZFNzhw?= =?utf-8?B?MU5RakJTVmx6SUlCb3dacDlSTEg4OXBFSEw3alBTRDFPZFJGU1lVVWxZeDQ1?= =?utf-8?B?amFwNWR4eHlyeVBSdytndDdzM0tlRXBXdHplbSt0NXdqYmM4N2JNNGJtRmNs?= =?utf-8?B?N2o3UnRoVk95U0FZaW5KOW1aY1U1S2hPNUtRT1NrTzJXdjYwMGtkS01nWHli?= =?utf-8?B?bVI4bW41UTNKS0lLOTA4Mk5BQnFzRW9DTGJmbm9PU0c4TC9qcUl6Y3NhZnF3?= =?utf-8?Q?Qp/oYbNfP6PIcfJUY0LrOU9nrpO63M=3D?= X-OriginatorOrg: mq.edu.au --000000000000ac1667060cc7689a Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: quoted-printable We invite applications for a post-doctoral researcher position at the Funda= mental Computing group of the University of Groningen, The Netherlands (www= .rug.nl/fse/fc). The successful candidate will work together with Helle Hvid Hansen and Jorg= e A. P=C3=A9rez and contribute to the group=E2=80=99s research activities o= n the formal specification and analysis of software systems (broadly constr= ued). The duration of the position will be six months, but there are possibilitie= s for an extension. While this is shorter than a typical postdoc appointmen= t, we see this vacancy as offering an extended =E2=80=9Cvisiting researcher= =E2=80=9D position. As such, it could be appealing for (young) scholars wis= hing to develop their own research agenda within a vibrant research environ= ment and an internationally-oriented university and city. We warmly encourage applications from individuals with proven experience in= any of the research areas covered by the Fundamental Computing group: moda= l logic, coalgebra, concurrency theory, type systems, programming languages= , semantics, program logics, proof theory, exact algorithms. The starting date is negotiable, but preferably before April 1st, 2024. Submit your application until January 24, 23:59 (Dutch local time, CET) fol= lowing the instructions detailed here: https://www.rug.nl/about-ug/work-with-us/job-opportunities/?details=3D00347= -02S000AJ0P For informal inquiries about the vacancy, please contact Jorge A. P=C3=A9re= z, leader, Fundamental Computing group (>). -- Helle Hvid Hansen Associate Professor Fundamental Computing Bernoulli Institute for Maths, CS and AI University of Groningen URL: https://www.rug.nl/staff/h.h.hansen/ Tel. +31 50 36 33939 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 --000000000000ac1667060cc7689a Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable

= We invite applications for a post-doctoral researcher position at the Fundame= ntal Computing group of the University of Groningen, The Netherlands (www.rug.nl/fse/fc). 


= The successful candidate will work together with Helle Hvid Hansen and Jorge A= . P=C3=A9rez and contribute to the group=E2=80=99s research activities on t= he formal specification and analysis of software systems (broadly construed= ). 


= The duration of the position will be six months, but there are possibilities f= or an extension. While this is shorter than a typical postdoc appointment, = we see this vacancy as offering an extended =E2=80=9Cvisiting researcher=E2= =80=9D position. As such, it could be appealing for (young) scholars wishing to develop their own research agenda within a= vibrant research environment and an internationally-oriented university an= d city. 


= We warmly encourage applications from individuals with proven experience in a= ny of the research areas covered by the Fundamental Computing group: modal = logic, coalgebra, concurrency theory, type systems, programming languages, = semantics, program logics, proof theory, exact algorithms. 


= The starting date is negotiable, but preferably before April 1st, 2024. <= /span>


= Submit your application until January 24, 23:59 (Dutch local time, CET) following= the instructions detailed here:

= https://www.rug.nl/about-ug/= work-with-us/job-opportunities/?details=3D00347-02S000AJ0P 


= For informal inquiries about the vacancy, please contact Jorge A. P=C3=A9rez, = leader, Fundamental Computing group (<j.a.perez@rug.nl>).




--
Helle Hvid Hansen
Associate Professor
Fundamental Computing
Bernoulli Institute for Maths, CS and AI=
University of Groningen
Tel. +31 50 36 33939=


 
 
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
 
--000000000000ac1667060cc7689a--