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.8 required=5.0 tests=DKIM_SIGNED,DKIM_VALID,
	DKIM_VALID_AU,HTML_MESSAGE,RCVD_IN_DNSWL_LOW,RCVD_IN_MSPIKE_H5,
	RCVD_IN_MSPIKE_WL autolearn=ham autolearn_force=no version=3.4.4
Received: (qmail 18725 invoked from network); 31 Oct 2023 20:21:15 -0000
Received: from au-smtp-delivery-110.mimecast.com (103.96.21.110)
  by inbox.vuxu.org with ESMTPUTF8; 31 Oct 2023 20:21:15 -0000
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=mq.edu.au;
	s=mimecast20180308; t=1698783672;
	h=from:from:reply-to:subject:subject:date:date:message-id:message-id:
	 to:to:cc:mime-version:mime-version:content-type:content-type;
	bh=mc6v99eDhOR1wXG8ND/jERkxVOXmJvC2I+moiUf268M=;
	b=dj2AUOtNApVsn9JhUXv0ZB6rRLjZzmndc3mPFkezTQXjf3XRtqEWjF+/fLkhCkHIpCwYyb
	N8jt116UtOrCiFEifioOje0+eyi2+6kvcH5XUOSLa96zyp4ITrg6JUeZFmrA2G8cfCqCnf
	/ICiP0ZyjGS7GP+tzPBHvPiH251VQIg=
Received: from AUS01-SY4-obe.outbound.protection.outlook.com
 (mail-sy4aus01lp2169.outbound.protection.outlook.com [104.47.71.169]) by
 relay.mimecast.com with ESMTP with STARTTLS (version=TLSv1.2,
 cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id
 au-mta-109-OWNhmKTcMJSy8Jb06tyvsw-6; Wed, 01 Nov 2023 07:20:21 +1100
X-MC-Unique: OWNhmKTcMJSy8Jb06tyvsw-6
Received: from SY4PR01MB5675.ausprd01.prod.outlook.com (2603:10c6:10:fb::12)
 by SY4PR01MB7922.ausprd01.prod.outlook.com (2603:10c6:10:17d::11) with
 Microsoft SMTP Server (version=TLS1_2,
 cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.6954.19; Tue, 31 Oct
 2023 20:20:03 +0000
Received: from ME2PR01MB3122.ausprd01.prod.outlook.com (2603:10c6:201:25::10)
 by SY4PR01MB5675.ausprd01.prod.outlook.com (2603:10c6:10:fb::12) with
 Microsoft SMTP Server (version=TLS1_2,
 cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.6954.19; Tue, 31 Oct
 2023 20:19:59 +0000
Received: from ME2PR01MB3122.ausprd01.prod.outlook.com
 ([fe80::7ed2:cf3:437c:20f4]) by ME2PR01MB3122.ausprd01.prod.outlook.com
 ([fe80::7ed2:cf3:437c:20f4%6]) with mapi id 15.20.6954.019; Tue, 31 Oct 2023
 20:19:59 +0000
From: JS Lemay <js.lemay@mq.edu.au>
To: Categories mailing list <categories@mq.edu.au>
Subject: Workshop on Fixed Points in Computer Science -- Call for
 Contributions
Thread-Topic: Workshop on Fixed Points in Computer Science -- Call for
 Contributions
Thread-Index: AQHaDDdDiN8q6DoqSEeYfs/LTBIllw==
Date: Tue, 31 Oct 2023 20:19:59 +0000
Message-ID: <ME2PR01MB3122EC903A2C561A6E213ED5CDA0A@ME2PR01MB3122.ausprd01.prod.outlook.com>
Accept-Language: en-US
X-MS-Has-Attach: 
X-MS-TNEF-Correlator: 
msip_labels: 
x-ms-publictraffictype: Email
x-ms-traffictypediagnostic: ME2PR01MB3122:EE_|SY4PR01MB5675:EE_|SY4PR01MB7922:EE_
x-ms-office365-filtering-correlation-id: f8901121-8e8e-4396-f312-08dbda4ec19a
x-ld-processed: 82c514c1-a717-4087-be06-d40d2070ad52,ExtAddr
x-ms-exchange-senderadcheck: 1
x-ms-exchange-antispam-relay: 0
x-microsoft-antispam: BCL:0
x-microsoft-antispam-message-info: aheq2DSLz+gVUHa0d7ENJOUzb8McXxa/k1j9JyJKa4cfnbqguxDzQ19+lf6EloRTcuohSNkh0ohHGogQq9E3hctQ1RLB0C5oxb5dkcwmiRfQkE/cXim7suDoha2HwULPKJ5s1iRaDxa2lCUgbkhWYdgj6OMf3mq3UIDU5z7bY1gNvMUXyV2i1oCOaxOysg+yTDwx6Qwd1Lrc2d1yjwJP9c8B0Ej4EAP9LidJBY89nrhlfhNEvRa9sYL7JCyA8esCCOFD04nU7kSSyfdQyRWPeX+BDZJM4nziYbe2X8fu3rH420+mE3IxHdYxgrOozXfsInjBUwk3DzeDiRfHt+nYmVGmfMvRjaYdSucNdIX8ojQnXoL27jBtn3DWOKbjDKNygAcxvUI2w+Xfe6w3JkEY82vv9L+Eq2/jFjWxO1qH7jFSb7BeQAWXY0+axgeClJmIlZedqMW965oCB0pFT2PlMT+SmMrfurKuySOkh6WpmeAGY/3+S1bkhdYpawDdJS6gaMZHQR0LAIYhi8ioGHoQMgpmqdsJhDNEoBr+baAlVB14Mm0kZcrb27i1O4anBl5ACzccFqmKhduaFs9718m5zdTTBY0hfMSuEFzwmaqbIH1riVsza+EB7meRkmFNDvZ1oNXJJX2xZFncmEEaIK04/SfqRT70ZN1lGb9bZPwMotys3RtIjRPDyheCPgyUtGHpKcOZ6i98Fi8trHvRBtdQug==
x-forefront-antispam-report: CIP:255.255.255.255;CTRY:;LANG:en;SCL:1;SRV:;IPV:NLI;SFV:NSPM;H:SY4PR01MB5675.ausprd01.prod.outlook.com;PTR:;CAT:NONE;SFS:(13230031)(396003)(39860400002)(136003)(346002)(376002)(366004)(230922051799003)(186009)(64100799003)(1800799009)(451199024)(55016003)(19627405001)(1015004)(9686003)(38070700009)(6506007)(7696005)(71200400001)(41110700001)(478600001)(89122003)(966005)(76576003)(88732003)(52536014)(5660300002)(38100700002)(7406005)(7276002)(7336002)(7366002)(7416002)(83380400001)(33656002)(6862004)(8936002)(8676002)(2906002)(41300700001)(76116006)(91956017)(6636002)(786003)(316002)(26005)(66899024)(86362001)(166002)(66476007)(66446008)(66946007)(66556008)(122000001)(64756008)(41080700001)(41090700016);DIR:OUT;SFP:1501
x-ms-exchange-antispam-messagedata-chunkcount: 1
x-ms-exchange-antispam-messagedata-0: =?iso-8859-1?Q?z1D0ZOQ0CHJ3mfPo9GYBdAOW4zPfpqdoCNNdCwhbg9Yx3kJHBTzIDhV6UI?=
 =?iso-8859-1?Q?lPdbgSQgpl7CLRm8XqqTXJCl2O23QxTY2FYebWx8Dv5O/S8KjghaqPVvby?=
 =?iso-8859-1?Q?2V0ekWHE54khldiHiidiQnIXzb4NY5MJ2kmahlhwqaWnZTqT4zemGcOGWZ?=
 =?iso-8859-1?Q?xCrZnthGaKRfV/zDyHCEtWtsjhYqMGXiOQ+PxRuqWpisKBrLy5du/Tsxdx?=
 =?iso-8859-1?Q?wTiGP8IrsAPit3doUvDaIY0lDvhJxfztucWUGmhroXY2JHiMZkUpsTVSO5?=
 =?iso-8859-1?Q?6/45QUxTsutPdQGkwCUKggjIAV++15Kn6UN2vjGxlVy1sWQLLjl18HLrbh?=
 =?iso-8859-1?Q?c2zKrXxlsVXQ6l0TwPF+qvr7VfVQ2uYBrLFdjK0bny99w0IllLlheGz2r/?=
 =?iso-8859-1?Q?fIQACPnHvA0wUVbjkOlJk9OenTN1H7DAKQzfptrSSrd9jwHGQFGLao/uB2?=
 =?iso-8859-1?Q?r13OP1WI5TM7g4div3/1OBKgFrb1Tp7x1Y7L4e6HGeXaQ9u7bjxFjeiJMy?=
 =?iso-8859-1?Q?x0YHAjHM3Sj5spadnYvEsmcJchq2emZRISv799R6xwVsGZgTajPq2xwwhX?=
 =?iso-8859-1?Q?ythxwyNUaDd9/TMNBFq3GF5tAcZPD0JKgl2u7KgMkb7ibJYEhZzTIoYhnU?=
 =?iso-8859-1?Q?SKaFThv0fAbnwYcf2oU0gdcQpj6sXBalH3rZfl5P23EM1MkLgLL7Hfo1ed?=
 =?iso-8859-1?Q?yEPomJvRRp0jQemkcbeEKjE70sSVtZg5LJTyf2r6lExlSeXC8C5xcPW88S?=
 =?iso-8859-1?Q?dVtNdd4vj/yp+wYjPRDWlNUW3SvU5wBG/oh65HwxLhRijRmjYyLvodMXEG?=
 =?iso-8859-1?Q?PQQIlZTnUzKtt3ed46vW01fTWmgHemTXsqC7Vtv0HHs7PgJZ5nfPBUvdW0?=
 =?iso-8859-1?Q?RWHIPBtIMp8+CkGKDEPc72vLFuvZgdWjrBt9VUsInnC59/cLDNPx1lKRQJ?=
 =?iso-8859-1?Q?aHuqyXGM60QDTYrqlWlnJWcQZaVrOEE9+GHs6iUnbvGspE6e1WpziXRvFe?=
 =?iso-8859-1?Q?B/pYXMlRhviM+pUE9+Nbn63u/dFGlA1Py+veI799QtrcdtPw3FzRDB/CZ+?=
 =?iso-8859-1?Q?EwYf6m5WQXBYPf/31Zfb3blnTEz4olHONeYlktxnJpxUkxgeWBEKS25Zj+?=
 =?iso-8859-1?Q?gI5QDCKBahA9c+qq+DNkblU5SVKXu8oYGOd/HLjbt9YgTONMxh6dUOKqLR?=
 =?iso-8859-1?Q?KbJp+G6VM4bomi+9eqkvcRalW9N1+BTk23VjgzxK2mHXUrWwqdGdxlugj5?=
 =?iso-8859-1?Q?w/k75JJjXzg8NnwJKSi8WO6qgdZLh20Py22h6/1wHlh/XwWdG3mu/vTWWV?=
 =?iso-8859-1?Q?Jtje0A+K2kc6GDTK5JkPId6lEpGJNFL9L8+ZTYtE5TN/q1vo/rUcvvhkXS?=
 =?iso-8859-1?Q?GwrCwXpNtEXhlrkrDv4XV6VymVsYNilD6LrfTjyn5Q7GNJZ3AL7Ip6SjCu?=
 =?iso-8859-1?Q?3w6cqYlkPVv/lXCTbEqehFaplYjc4aMInt8s0zp0vl9RDtoN74/STmg1ak?=
 =?iso-8859-1?Q?Q+mg3pdzOb6YkpmrL07yuxi2tSGJyV91yU5e/M4vwAJwLPfg8hycjGCW91?=
 =?iso-8859-1?Q?8KVGEoKxuAV2Ne6qa1tEHKtDgoSqZU8EfsARESDya7Ojw4sHUGMiKXoHX1?=
 =?iso-8859-1?Q?JjxE5hRRyPZa8=3D?=
MIME-Version: 1.0
X-Auto-Response-Suppress: DR, OOF, AutoReply
X-MS-Exchange-AntiSpam-ExternalHop-MessageData-ChunkCount: 5
X-MS-Exchange-AntiSpam-ExternalHop-MessageData-0: =?iso-8859-1?Q?CT9qUa04Hij0Al08n0/NTu48lnZXRhmKmzx4E8JIBoWkn8skgU4hMLwuF7?=
 =?iso-8859-1?Q?wLTKKFq37R9O1xNtDkkS9wOtYMeBW0w8Y4qp5GO36RB85gyUHY0sAlFkTW?=
 =?iso-8859-1?Q?gLn1UX0hHehqPmIv0frny/kn/RwjPDnI3zPpKCYFOP3L29WxHgY2VhpbN2?=
 =?iso-8859-1?Q?ZyGaY941tLDPoewAZTMKwZdHud82Pikx3rMJqcv7uC52vKY0pJGxTdX0dp?=
 =?iso-8859-1?Q?KsEhxaSmYnRrBEjsr5L8kEJsNLo4GIusw904C6J1i9h062RuvfxwdzIXyU?=
 =?iso-8859-1?Q?UQfqvFnogzgi85HAGmKN/vRwLZon+12Fi89tpJH+3aQeOOmqoLFFTIMVtG?=
 =?iso-8859-1?Q?rCHbN4V3oIBFlSvNXlOYLEwtwRLKVECwbj4gPUlU/7T0LZozaUboYVyYhq?=
 =?iso-8859-1?Q?KGl2wueGsXFudipQuIu4OB08dayQaalEYn8rfh51ULWyqvAi533vqLOvTd?=
 =?iso-8859-1?Q?mh9R4i7hWgxFa2FqvJPQBxFqKvLBr8J7axlGPKTJxaQVz/9cKAG3ug8Xcq?=
 =?iso-8859-1?Q?C6/cgvAVB2qVYRNZ6kbBTFVsZTZ3tG22PeJXtQbb4a4UJIMkPQlKk/TyZI?=
 =?iso-8859-1?Q?kMSKmeHawtN/aypsJ4TfPRRqNkx2Ku9ItYVIFb71EkSj1ARYaNQyBKCbuj?=
 =?iso-8859-1?Q?ELF8KINV2q5HqJuj3rKN+v/HLUrxl3POEh2JfVw5yVk4i8cEOKI0H2nTYe?=
 =?iso-8859-1?Q?8IYXjEoCPLwUPK5T/XAqt6uJdzdCW5+XeSdrDbF+RR1Fw17L6aWiUn6E0L?=
 =?iso-8859-1?Q?WOgq79kh/1FWJxmctkSIzBM5VQnmZTFQIVdU32Xh66xcplEAVDTSqj3vMM?=
 =?iso-8859-1?Q?xoK+N6d2lntfVOvvWKByhHp120d7JNY2vNxYRWt31/401FwvyaFpZiMIpL?=
 =?iso-8859-1?Q?MnKY1TJ/LyT7RBxFZxJii4Tky3WELtVMRETijxQ7GTkotXfA3PBjTa4QQm?=
 =?iso-8859-1?Q?oD5jfoqzj/BAvPc/8VRDq+Ga2uoD9HiShsnrRY4jdy8TJkA7r4NjCNV6fb?=
 =?iso-8859-1?Q?72FWbFkB55iew60tAbF0qWh1uQsQAyrebeeoatTf5k772uWifZUGQlfvof?=
 =?iso-8859-1?Q?y8Q9636MukXt7RUXbR1Qrv1VAo1PU9lUQ1LZZD4NcOOfxiJZTwLl6k5C/G?=
 =?iso-8859-1?Q?QriXoJLfoj0EoQBkzvCtcNchLKkOnhGJeS9S6/MItDDh6SG/6rrOfjxp5X?=
 =?iso-8859-1?Q?1l4jLE9O4atWXVFvhZXhGbo11nhHhaJdv07Phm5cWL6vAgWO2LqN0RuPAT?=
 =?iso-8859-1?Q?1NtRuetZ/2FlMT4aNg9mP/WS6ZDnV7p7MLOQ1HFyCVIbuzI8yoz3YtI79z?=
 =?iso-8859-1?Q?Bly+IVSTjI2rtMBEIN5nzL/Igo2VP4MlxTElFuNKk1ZWd2sh8mYvlgw9Q9?=
 =?iso-8859-1?Q?NlQvY+e1j3s05sd5DT/oCfURQ2WueNdfCA+kMR0C1HgtDO+W4jF7LsPhzj?=
 =?iso-8859-1?Q?NqFK2X8n4JiukYk/62M4oRk0csDhYDwxK8t9zdinn800nfokrtTVD8UeNX?=
 =?iso-8859-1?Q?ePkAhMS2odmtiXJD/SlFAU0Rbs6YMBA9EOqWBichzikiyN1qUCrnTdSR9U?=
 =?iso-8859-1?Q?JlxxevzGBhDAJaljrurFPaJv4Yr0bF5DJ8yCFTa9VqYAD5A8zm0IrN5iA3?=
 =?iso-8859-1?Q?c3oEQd46GlcQA2PMkgU/1BYqaNiZvTn53Un00KxdjrUjf3MzBTfw3Fleay?=
 =?iso-8859-1?Q?TePVED6Uo0fRJ5GkyssUj6AohjEgQo9PtnpDY4jRiT4aeqzw4KXnlXkbYQ?=
 =?iso-8859-1?Q?KDxoOfeVNJRZ+hMyCqzVLx5OdkpZzggD7/+nZtkWfd8FNXF6eNAOcXZxnJ?=
 =?iso-8859-1?Q?rJUw5pYL4mj4lUszPcg+xFCvlaJZezr681O5TJEkrxBcVku5q9m38qYLGq?=
 =?iso-8859-1?Q?4O?=
X-MS-Exchange-AntiSpam-ExternalHop-MessageData-1: =?iso-8859-1?Q?0VfwFRv5WhzJfdxYWb/tfbmwlsPbP4urtBooBbR9Di8Bua8m9KatMsgGzM?=
 =?iso-8859-1?Q?zN/SwU1EYVWH45js6gYdXtIVXu8HAxZ6m3s93YiFsvgh8ZMe5WqoGD7LyJ?=
 =?iso-8859-1?Q?grPVzuR2q0VGaI2gns9vg4VENvQc88vJw9VDDv07U6tXjUF7/k+AQN+VGS?=
 =?iso-8859-1?Q?uwp3ilNkS04rqUbbQyoX6ivPRI+IB02CYqAb8r3U0kF/jG9seuasSyyqxL?=
 =?iso-8859-1?Q?wa/EEv5oDir5dwZLAh9CJPV0+8Afwiu6lpHHXo9RMJwaR3HmX9vHQ3182z?=
 =?iso-8859-1?Q?C9CnAusZydxEi5bZIpraGg3KvEiHAB4dgDFdzLGE97OACsA1X7vK7fxm8s?=
 =?iso-8859-1?Q?tCSnnguo8n+hgtDbB/s3x+mAnhETiGNaX2iET32AniIVZQkPFFqeQJYWB2?=
 =?iso-8859-1?Q?b36qaKu4f99A2TM/Wm7+I1Ti7wqZZEXMsW8kFAh2Ubto2s9nG2Jt+ev/ka?=
 =?iso-8859-1?Q?IlaWjAr4ssjbVVMgQ3TTukpfc2fvMjuP/jLj4Kol2aDA1ZA4VWWJCdRdIv?=
 =?iso-8859-1?Q?4mfjbjfP0Z+5TacasrgKK87bCSA8SS/c37fECDykhlcMthEHMRWPEGZx14?=
 =?iso-8859-1?Q?B2fCxiw9wb5dZKhyUdvICgXS2qHmDQEhu88NCZOS5hn5LXVSw858U8GqaS?=
 =?iso-8859-1?Q?VPEJdcvXTUSQZZzI2tCeXFKW4Ra46BgvzBuXCz8wL6t/TJnwcxHec9Lrtq?=
 =?iso-8859-1?Q?d6ZBVLUVpzRgNquyg9T44on4xirgD6ZMIumUZlYGhXGJcxNccorbHE6usE?=
 =?iso-8859-1?Q?K6lGE8qYuFEMY7KmVdpm82Mpn0tGsfBZgO/HJJQXLS2bpFO3bI2EGtNFi1?=
 =?iso-8859-1?Q?ItC9Q+BtBPv2YyVzrllkQUMKZXsif83cgrVAFEXjGel8PLuLiImjGJuVzP?=
 =?iso-8859-1?Q?N8nO6NYJFiKHex2UAamOzyurMbg7PX9GauQfwloXRHpBXuJU5DAcKceYNI?=
 =?iso-8859-1?Q?JVv8YVAkd9bv+f6kYIf27una78FxoIQObfY3eMGx8ybM7DnyU6z2eMA8nz?=
 =?iso-8859-1?Q?vOpeMzxwkGIQdFfhrfnAMBVH4PClDxkgrve26lpW+bNVhq0VhZb/XNL9M8?=
 =?iso-8859-1?Q?SSu8+qRUkdpUBZPi7WTtOMEVdKyWksPgaHlNPUhtwExcQPdro32t33FkJ4?=
 =?iso-8859-1?Q?D0AcjSMkV/+AAWDMsP8OaDdgLKz9I6O9hdOH7oiC3+nTsUthQYHReECSwo?=
 =?iso-8859-1?Q?UDvkO+ZYcRcPZfzNrYZ7MQF9wRkQaEIwtphHkjZ+naV0KBp/uxJlvJj1zK?=
 =?iso-8859-1?Q?UK1zuB+JmUYpuaTQ/vCAE3QRa13UXQ2BHjwOUJkJ1FUGTtpLsS1LIHUct0?=
 =?iso-8859-1?Q?lfEXfRWYKvZKZHydipTzrpMh6urHU86O3oQaZvelw8ffJB8KX2sGBgghxr?=
 =?iso-8859-1?Q?GTvrtY2cOb1d3OVPE8qVAQhCmywjq2x1V2/faqMxDWlFDS8nyaA+aa3oR3?=
 =?iso-8859-1?Q?+op8SMkT2qCzudV4ThaebmXwCiZCjWHBoaUVXsOTr9y6dVKuIqhf2021RZ?=
 =?iso-8859-1?Q?Ttyk2RH3oiJxhQS3P8ytlxElAziBkkWwGag6DWnq0xiVNyR8+ToG9H6hvl?=
 =?iso-8859-1?Q?LlFVVT0YyQp5OI0YWGiVElT1t7OYgTk226g6NTtDY0JqNX6xZ1vpZn4cV4?=
 =?iso-8859-1?Q?NNVF1R84eAVPd/2Pg4J+EXWRFXexicJa4XrM3v5qdWPUho/SGutq1nnWCv?=
 =?iso-8859-1?Q?mRkLXDCWP8+I/ULtj5xbbpy8d/G7/A5IhfSp4u3jEzuzCBARKd1V9MSdZA?=
 =?iso-8859-1?Q?2SvlayZL5eJ5wPHMPeHkH/+bFBytuL5a/GbQhd4awFjllFhkPpjLWbMjpZ?=
 =?iso-8859-1?Q?g1XarkdteNMsUClx8689Q+Qnj0//Dn/J8YS/C7uP3QXlPSLrZ2B8jCE7Z3?=
 =?iso-8859-1?Q?Zc?=
X-MS-Exchange-AntiSpam-ExternalHop-MessageData-2: =?iso-8859-1?Q?S6tns1PFdnm4J7YgMGXhqc0NNgcK+8KLsRxmN9peIf1mlYK2Udf9odFAH8?=
 =?iso-8859-1?Q?AgP+unaImxePRCwR8BwE0dee7TjCSWOuHgCO5BDk0DEOUdotBGaBK870Ow?=
 =?iso-8859-1?Q?9H6LctuPDnS+4VBeTJnc+GYI4LTZ4TFKEztAgBX82OEVK+K88xYEfvotgG?=
 =?iso-8859-1?Q?q9fcizWsb0A67PJf9HmJ0dyVeXleUBMoifhXUwe/mHmXXk5LDUzVq87TeF?=
 =?iso-8859-1?Q?xwWOoZ6a786+bX/Z+6R1bWH7+iAmUgL4MeHd4TQMfPFZXbmEASPxxmAWgj?=
 =?iso-8859-1?Q?GUTm5p9URb/fuTIOVxZVUGNCLwUPELtlh5OlyLn/gIxau5px2S4f5319vg?=
 =?iso-8859-1?Q?2BYYrkJJBoO+TUPF249R1G3moLNFQTfbSHVZo2gngfoDzQptaAz3IfJW/c?=
 =?iso-8859-1?Q?+ZqK72zIBGb0TzeFVm3MrXuNjPdb/wv/8rJu/A/NI+qv9Yun3q4zZhaecv?=
 =?iso-8859-1?Q?H2KOzp8A227GeDfkiGvVPT1FAkqBaQTIc8ihpBXQYiVWPn6F3j1fcICFT5?=
 =?iso-8859-1?Q?nez0zb7W5VyHAISFQ/1z7BkoUQOe4IwUPYOMyWVfHOi+LBwuwt/KUG/j+T?=
 =?iso-8859-1?Q?/VDkaMRWt/KvZlMMem0wVdR0gtWXMXW5t7NLzu0M2bTKkJg/APNBIJwGrZ?=
 =?iso-8859-1?Q?au7eVpBcUACddAdvusyZiQ72R13gnH1G+3iLYoGplgbztCkkbcFvNMT7Bt?=
 =?iso-8859-1?Q?M6b6KmeRxJ/ZL/UFw42v3y/JWOb26F8dMvCCfSdlwOAkWxt4H6E6eXhgV0?=
 =?iso-8859-1?Q?KY+d0nDY8n/FTi4F3JJkXmUTyymhk6BDci7QdW9mgJFL4ClPqvvFNgkazf?=
 =?iso-8859-1?Q?Z+qqPR+FaGFYwS3K9kB9gB5eDF4Ij/NbGyOIB3LstIEiCFu5vqpZSoQVk9?=
 =?iso-8859-1?Q?IVBlqTb7dhrfAlQji9XBiLM9IloB2cENRnwaLYm2qASDAxIdlp+IyebXJC?=
 =?iso-8859-1?Q?HhJzxzhQB/X2QepGeETUdDWO8NyOhKZovcRIFUOuguG+6dTBsOv6qNQ5R9?=
 =?iso-8859-1?Q?jjEldT1RXTO/miohMXdNQp99Psn+Q9I8KqCriNtVRZ8ql45S0da/cT9iXN?=
 =?iso-8859-1?Q?dWQ6jhBQ5/O9ZpAhfzwYjUszV4C9KAHWKAPV1dJefNaHZ7mJQ6npUfpCWR?=
 =?iso-8859-1?Q?JGGOFupUidva/lH0A2PQgn5DEdWV4d2S4EGuHuhufns2I/2Bjm5ouORB1P?=
 =?iso-8859-1?Q?xEDlrnEKIRyBNzjGz4uyUgMVbwNkKUVhv7Ubh02Aenl2kN3Gub2AEMuhp+?=
 =?iso-8859-1?Q?GbJLWfUp870FNk1xNkbvdDlWyNceIjAVBphAjvNFsY+zieBtwRYzx6riqx?=
 =?iso-8859-1?Q?wNbHu2ZARBw1L1xow/F58JrwfMmzGikvV+XG6olQL7/o9vuUVJq4bcxdkh?=
 =?iso-8859-1?Q?wTTc5WPpA+KguErbm8wGP8LBXCJyBKG7a5k/OQ8uMJXBga+QT3t5xSt0UT?=
 =?iso-8859-1?Q?mP2/kz2Beyeb0fkk+Rpg44KOnghgsa5dxl1RSKIuWca6QooTJFPQEcrmpS?=
 =?iso-8859-1?Q?Mhv8UJUELI0L16mD68orchD0rzp2S0H/XdQQHA7c705t+ZLE+LCJP+QXCf?=
 =?iso-8859-1?Q?JmUlwTPLCBORFIVjsVUHWASV/qvdMXxn/qt/LniFJgcVSsq0Wbz9ZB1q6x?=
 =?iso-8859-1?Q?EWkQk75tkdEum7HZibSChBOn5+xo3hgE8LiWJskFg0NneuhksVHnpdX1an?=
 =?iso-8859-1?Q?GxWvhymzFOJ+Bs/gMZ4gZ1HV+HG76SMUHJwJNLRijXLRtrlh+N8D5jWQjE?=
 =?iso-8859-1?Q?Kf7OA405KWDCqUGio7xW6X5NJXj3USOC3EEfdcD4Qr0azsxHR8+Esp7PnV?=
 =?iso-8859-1?Q?nyu25qHrCCm4A91WBUvsryZZzt4xOpm8UpE2jf1l+ke4vlX6dIONq5YdoX?=
 =?iso-8859-1?Q?ro?=
X-MS-Exchange-AntiSpam-ExternalHop-MessageData-3: =?iso-8859-1?Q?AZ43Vyz5nPqI1sPyxfka3/HElY1oxFFEVxj/KEy8+STRaT3/aw0xtHCylz?=
 =?iso-8859-1?Q?eWA+jvmXG/em66kn6cALAJng3c/DgZb5nzNU/hQi+8/PrGROlFhMNuQwI0?=
 =?iso-8859-1?Q?6hDP1OVFTP+a3IAVw2mhrzumwbHleiKPzU7vO4b6TMB2MS4VCG1kTPXa1u?=
 =?iso-8859-1?Q?rjnENmS7RvcTlXQrOjO8TZ/OyGNUYuEZIdsxOurmm5lVG1ePzjSaX9FWJC?=
 =?iso-8859-1?Q?HMcK51dG1vQAP2CG2B7yuWf5OYW8uTZBcPWxFhnVKkbc0g66hEvhkZsQ8/?=
 =?iso-8859-1?Q?M20L2lkPLd3k9vOaiprQ2NtHl27CeL8vlGmdunj8CzPASNe/SdmPEcxZeJ?=
 =?iso-8859-1?Q?CaliHAGqIDK1TOkXvZvtnZnUjtJFPQ+c6W8Onn+G02bb9YyizFF7XBLsB9?=
 =?iso-8859-1?Q?ZNn+BWLyfxOkaVgi4cCjUuGl8Hay6cWwEOCj0kMhhdsiVg03dO8gNTVsOT?=
 =?iso-8859-1?Q?Ya5nbhbjeM9dA1sKwnNAnPtaZ+NZoqXBLbtyoTce4gWJ/ewcHOCw+cWXdO?=
 =?iso-8859-1?Q?X0wdaiqP+K92jvEDUhqUO1UQQX1VVbvCTxUxZrIEWM/8eVx1N8W3iEZ3Oa?=
 =?iso-8859-1?Q?tnRG5FhocErI9jGR2xNKzlRMIibgwxTqeHrrtlQjFJN8AYNzcmGhbQKxf9?=
 =?iso-8859-1?Q?PBDE5EiJo7iF6gKFbplRm9ud5cc0B/pQjpAKQHaRkXhGYhHF99a6a3SpMs?=
 =?iso-8859-1?Q?vQ/eukiPluPmlryn8R3GyqeK3ZG578fvH+UKO0TepIl7zzOVjkEySiF2T4?=
 =?iso-8859-1?Q?BkbZ8ijmpUoqTMXWUxlxN7WcyMCmlze/QWUMup5wFxREFw2JyHd/mnRjWM?=
 =?iso-8859-1?Q?fKymBj29JCt7xxJd0JkqHR4QMlHLDlnBzUve4k8bifPa0QhOzCNZ6pmjTM?=
 =?iso-8859-1?Q?yAKC0VQpUldT8ofNUsqXTSVXx8B5o2n+rak0cfwa/+xqa/atQq1L4BLR0V?=
 =?iso-8859-1?Q?XhC5fBHDIvVmiEaNsM3XTIRe0HbTzb+FIszOzaTcoEa0zD/1bTojX0acFm?=
 =?iso-8859-1?Q?cEu3swr+oxWoaurYme9qrpQqZAcLWe8CzSZeFC0EeLKYR6aaCYeRT+Hvkt?=
 =?iso-8859-1?Q?CJZDwlDgdQHuJjV32Yhlcxuqdf7fTR29kg6omt2VzqPAchc11wfQg5QWzH?=
 =?iso-8859-1?Q?wdyFdBMgutIUk7tor64srMap2ruvxn1x1oC4oXZVxv8DI0VLSySMqckG64?=
 =?iso-8859-1?Q?auyVglAglo5qbpGtSV3/2VhN4r0K3ImMf2+g5VSrsn4lFyB6wL6MNhTcTj?=
 =?iso-8859-1?Q?b96P6a6yQLMlulQ78j2Vsppv9K1IlDJb6GQnr/ttNEE1LrfDk9RYD/PlxO?=
 =?iso-8859-1?Q?FNqwevfUVcLfBoa/WZg2ZllEJFL2QcDKGxGiC+gHB0J50Z1bKGLhqaLb9D?=
 =?iso-8859-1?Q?6xkcTSXcYDhZWa0PlNKIPPty6HW5/+9Oe1tJ+6iykzSsGSE/3IpsIChQgg?=
 =?iso-8859-1?Q?RqcHnhkZOO+zHasZ3WctCo0ROtEjkt0d9K5fru+9g5oaVmMxgoPK15fWXl?=
 =?iso-8859-1?Q?0gQrGIUJF/yHuTmVm2/RrnSOtfPzzOaXjFg/oz/dZZY84E/oyCpSv8Kn1j?=
 =?iso-8859-1?Q?BoAncLE0pDfcUzOpKR4KYI8fDgIvMTFBO0bUwo8+vSWwH7dDl5gwJVHAjA?=
 =?iso-8859-1?Q?EIgqTDp3lcBBCl5o8R+KrNDX6Y1frY5+OURWDM073pSVOmJ464OVoRVKki?=
 =?iso-8859-1?Q?i3qmefm/grOnbKeOGsnJf6cCHLhcVMkIkDFsvHgJUexVhARSyXyRO+EGVA?=
 =?iso-8859-1?Q?IZNw0LeFoLFwbfdD4pkDG2w/wmBzb7WZ63FbaUdfqqQjopzdfXH8bMVfcN?=
 =?iso-8859-1?Q?SV2OTg5uzcSEF6vErw98R3nBIuWi0dfSaNERkPWh9pp/Koi3eWx4ddGOLy?=
 =?iso-8859-1?Q?kD?=
X-MS-Exchange-AntiSpam-ExternalHop-MessageData-4: =?iso-8859-1?Q?vko9ZGYWJbtW41rDklhYJ4LpaaAQxjO4w+Q5vcQHbpCnZISBBvE3KrCT8f?=
 =?iso-8859-1?Q?It5X0xnoAylN8f11w1vH2xBXXjqrDWGvnlKfzaCF0l6cOGJCW9WbOjRQTx?=
 =?iso-8859-1?Q?0OXj/W9X2WDJsYQhMSYMzYyE1y1HHHSqWRp3gkpOPoMAJpOonzQRZHzzk7?=
 =?iso-8859-1?Q?lLjo1F7uv6Ho57HKoZff5mon5eTbWr/40a2lT5TCvi7zcu9co0QlqG4/rS?=
 =?iso-8859-1?Q?WCpEdFfFoZTJTjylF6uoS+q3ah8l3BgCLQ6GIxiG8z8pbpKCkmNkDD1WOO?=
 =?iso-8859-1?Q?fK2qs0S9pYcBf+cAjHJr+vt9pzscIlz7gzzcMvOKbrq+a5ZlvQ7w1zOJDU?=
 =?iso-8859-1?Q?IgLKl1bonNeQV2CY+P+9GE9uROxC7E+WnqhIQT27O5iYUg2KiDPy0pW9iw?=
 =?iso-8859-1?Q?3d15XmYAn1x/cAtOaTbmv5DTT9qecvsWSEC7sdujySo6EDa4sywJDZIb5s?=
 =?iso-8859-1?Q?AV+fg3hTw7P6QGjxm6Gx4YKF1Ezce1H4a2eBW29zqhZGxmG/8MX1N90ADE?=
 =?iso-8859-1?Q?Eh8RqPwd73QWCf0/BX/JYFRIRdo05ctvt5gJhxc0ZzbuD2I1+Fg3ktGXOX?=
 =?iso-8859-1?Q?XHcP4Wq0aU2Ki5Qx5Z9ppBhJ2OnOGoGHvyYsgIoMnaP1flC3geAEqKF//1?=
 =?iso-8859-1?Q?3hN3Q1QkaT+LYb8uHMOh5V1iOl80tDFBN5qJqc24ucuH/P/Djh/dTBLNbB?=
 =?iso-8859-1?Q?0WF/k41XYR3WosJhztBo/2F1kTFWOWEw14H25oc4fbuW8JMpU+NI3SpDh9?=
 =?iso-8859-1?Q?kUqTyuyOwAYK98+rm6frObUXzMwaBKdhawZHRriSp95oO9XzXMuggV1hVY?=
 =?iso-8859-1?Q?WTh/cmN7Oyms/zxRYF10wl/tZ/8XpRu1Xvrl06RzVhR8/zL3abavOvWBTI?=
 =?iso-8859-1?Q?YrIn2IOvRSZYor/a9Ke/B65TKRmldiFUlUb7efjz4b9NybpabXea0gZO7e?=
 =?iso-8859-1?Q?OknwzUmZOpj5ft5KgMw3oTjUEQgNhda+nPm9Oun/jL57ru/SW/JD6c1Sex?=
 =?iso-8859-1?Q?RFwX7j2Cm6UTfZ4LaQZ5SNfzvo1qt393LOf47uTDYypswKvU0rpFY16Bb8?=
 =?iso-8859-1?Q?deIaAJG78MwHRv72b8/lxZOSaVo7u8dO5440LXuE/MBFRPxfuKLz1Rgz69?=
 =?iso-8859-1?Q?6G80KomnkQK+S/HlveRGbb3y/weKawt0gmFjiFIsCBkoiCxHPtuEsbucWk?=
 =?iso-8859-1?Q?Zp5CuB/LXy1p0WIXWukmHuoEvXJf5Kz1Yo3851c9nvCzR+He9OoBZoQbOY?=
 =?iso-8859-1?Q?k5nN645Z0=3D?=
X-OriginatorOrg: mq.edu.au
X-MS-Exchange-CrossTenant-AuthAs: Internal
X-MS-Exchange-CrossTenant-AuthSource: ME2PR01MB3122.ausprd01.prod.outlook.com
X-MS-Exchange-CrossTenant-Network-Message-Id: f8901121-8e8e-4396-f312-08dbda4ec19a
X-MS-Exchange-CrossTenant-originalarrivaltime: 31 Oct 2023 20:19:59.3147
 (UTC)
X-MS-Exchange-CrossTenant-fromentityheader: Hosted
X-MS-Exchange-CrossTenant-id: 82c514c1-a717-4087-be06-d40d2070ad52
X-MS-Exchange-CrossTenant-mailboxtype: HOSTED
X-MS-Exchange-CrossTenant-userprincipalname: jLzYpBR0klQunqYt7V/N/6wBInugFu9KfG93lZcem5UH0l/u5nMvIdbR3StvXDmdDET7s595YjhrScriqLVTqA==
X-MS-Exchange-Transport-CrossTenantHeadersStamped: SY4PR01MB7922
X-Mimecast-Spam-Score: 0
X-Mimecast-Originator: mq.edu.au
Content-Language: en-US
Content-Type: multipart/alternative;
	boundary="_000_ME2PR01MB3122EC903A2C561A6E213ED5CDA0AME2PR01MB3122ausp_"

--_000_ME2PR01MB3122EC903A2C561A6E213ED5CDA0AME2PR01MB3122ausp_
Content-Type: text/plain; charset=WINDOWS-1252
Content-Transfer-Encoding: quoted-printable

[[Sent on behalf of alexis.saurin@irif.fr -- the following message was sent=
 to the old mailing email]]

=3D=3D=3D Call for contributions =3D=3D=3D

Workshop on Fixed Points in Computer Science
19 & 20 February 2024
https://www.irif.fr/users/saurin/fics2024/index.html<https://www.irif.fr/us=
ers/saurin/fics2024/index.html>


This year, FICS workshop (Workshop on Fixed Points in Computer Science)
will take place in Naples on the 19th and 20th of February, 2024,
affiliated with CSL 2024 (https://csl2024.github.io/Home/<https://csl2024.g=
ithub.io/Home>).


=3D=3D NEWS =3D=3D
* Program committee is announced below;
* Workshop proceedings containing the extended abstracts will be
published as an EPTCS volume;
* CFP available at: https://www.irif.fr/users/saurin/fics2024/cfp.html;<htt=
ps://www.irif.fr/users/saurin/fics2024/cfp.html;>
* Easychair submission link:
https://easychair.org/conferences/?conf=3Dfics2024<https://easychair.org/co=
nferences/?conf=3Dfics2024>


=3D=3D Important dates and practical details=3D=3D

- Submission deadline for short and extended abstracts: 1 December 2023;
- Notification: 21 December 2023;
- Workshop: 19 and 20 February 2024.


Submission link: https://easychair.org/conferences/?conf=3Dfics2024<https:/=
/easychair.org/conferences/?conf=3Dfics2024>

Registration will be handled by CSL 2024 (details to come). Online
participation will be possible with a reduced registration fees, but at
least an author of each abstract will have to register with on-site fees.


=3D=3D About FICS workshop series =3D=3D

The goal is to bring together people from different subfields such as
algebra/coalgebra, verification, logic, around the thematic of fixed
points. Fixed points play a fundamental role in several areas of
computer science. They are used to justify (co)recursive definitions and
associated reasoning techniques. The construction and properties of
fixed points have been investigated in many different settings such as:
design and implementation of programming languages, logics,
verification, databases.


=3D=3D Scope =3D=3D

Topics include, but are not restricted to:

- fixed points in algebra and coalgebra
- fixed points in formal languages and automata
- fixed points in game theory
- fixed points in programming language semantics
- fixed points in proofs
- fixed points in the mu-calculus and modal logics
- fixed points in process algebras and process calculi
- fixed points in functional programming and type theory
- fixed points in relation to dataflow and circuits
- fixed points in automated theorem proving, interactive theorem proving
and logic programming
- fixed points in finite model theory, descriptive complexity theory,
and databases
- fixed points in category theory for logic in computer science


=3D=3D Types of submissions =3D=3D

This year, we welcome two categories of submissions, short abstracts as
well as extended abstracts:

- Both types of submissions will be handled via Easychair and will be
peer-reviewed by the PC.
- In order to submit a short or extended abstract to FICS, please visit
the following link: https://easychair.org/conferences/?conf=3Dfics2024<http=
s://easychair.org/conferences/?conf=3Dfics2024>
- A proceedings volume gathering the extended abstracts will be
published by EPTCS shortly after the workshop (see details below).


Here are details on each type of submission:

- **short abstracts** are abstracts of **3 to 5 pages, references
included**, describing the topic of the proposed contributed talk. They
may contain (i) new completed results, (ii) work in progress or (iii)
already (recently) published or submitted works. The submission can
refer to a published paper or a preprint but the description given in
the short abstract should be sufficiently detailed for the PC to judge
the relevance of the proposed talk to the workshop program.

- **extended abstracts** are papers of **6 to 10 pages, references
excluded**, describing original results which have not been published
nor are currently submitted elsewhere. The results must be presented in
sufficient details to constitute a scientific publication. An appendix
can provide additional details for the reviewer but will be read at the
discretion of the reviewers.
A volume of proceedings containing the **extended abstracts** will be
published soon after the workshop by EPTCS: the authors of extended
abstracts will be asked to submit a revised version few weeks after the
event, allowing them to take into account the workshop discussions.
Details will be released later.


=3D=3D Program Committee =3D=3D

- Zena Ariola (University of Oregon, USA)
- Abhishek De (University of Birmingham, UK)
- Zeinab Galal (Universit=C3 degli sutdi di Bologna, Italy)
- Guilhem Jaber (Universit=C3=A9 de Nantes, France)
- Ekaterina Komendantskaya (Heriot-Watt University, UK)
- Denis Kuperberg (CNRS & ENS Lyon, France)
- Martin Lange (University of Kassel, Germany)
- Christine Paulin-Mohring (Universit=C3=A9 Paris Saclay, France)
- Daniela Petrisan (Universit=C3=A9 Paris Cit=C3=A9, France)
- Alexis Saurin (CNRS & Universit=C3=A9 Paris Cit=C3=A9, France), PC Chair
- Thomas Studer (University of Bern, Switzerland)
- Tarmo Uustalu (Reykjavik University, Iceland)
- Yde Venema (University of Amsterdam, Netherland)


=3D=3D Journal publication =3D=3D

Depending on the number and quality of submissions, we will plan a
subsequent special issue of a journal, as often done for previous
editions of the workshop.


=3D=3D Contact =3D=3D

Alexis Saurin, alexis.saurin@irif.fr
https://www.irif.fr/users/saurin/index<https://www.irif.fr/users/saurin/ind=
ex>

--_000_ME2PR01MB3122EC903A2C561A6E213ED5CDA0AME2PR01MB3122ausp_
Content-Type: text/html; charset=WINDOWS-1252
Content-Transfer-Encoding: quoted-printable

<html>
<head>
<meta http-equiv=3D"Content-Type" content=3D"text/html; charset=3Diso-8859-=
1">
<style type=3D"text/css" style=3D"display:none;"> P {margin-top:0;margin-bo=
ttom:0;} </style>
</head>
<body dir=3D"ltr">
<div class=3D"elementToProof"><span style=3D"font-family: Aptos, Aptos_Embe=
ddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 1=
2pt; color: rgb(0, 0, 0);">[[Sent on behalf of alexis.saurin@irif.fr -- the=
 following message was sent to the old
 mailing email]]</span></div>
<div class=3D"elementToProof"><br>
</div>
<div class=3D"elementToProof"><span style=3D"font-family: Aptos, Aptos_Embe=
ddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 1=
2pt; color: rgb(0, 0, 0);">=3D=3D=3D Call for contributions =3D=3D=3D</span=
></div>
<div class=3D"elementToProof"><span style=3D"font-family: Aptos, Aptos_Embe=
ddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 1=
2pt; color: rgb(0, 0, 0);"><br>
Workshop on Fixed Points in Computer Science<br>
19 &amp; 20 February 2024<br>
<a href=3D"https://www.irif.fr/users/saurin/fics2024/index.html" target=3D"=
_blank" id=3D"OWA04644c5f-6d95-4996-9687-6a616ab7b5cf" class=3D"OWAAutoLink=
" rel=3D"noopener noreferrer" data-auth=3D"NotApplicable" data-linkindex=3D=
"20">https://www.irif.fr/users/saurin/fics2024/index.html</a><br>
<br>
<br>
This year, FICS workshop (Workshop on Fixed Points in Computer Science)<br>
will take place in Naples on the 19th and 20th of February, 2024,<br>
affiliated with CSL 2024 (<a href=3D"https://csl2024.github.io/Home" target=
=3D"_blank" id=3D"OWA8a3bc081-20e8-a239-d54b-616e42666f06" class=3D"OWAAuto=
Link" rel=3D"noopener noreferrer" data-auth=3D"NotApplicable" data-linkinde=
x=3D"21">https://csl2024.github.io/Home/</a>).<br>
<br>
<br>
=3D=3D NEWS =3D=3D<br>
* Program committee is announced below;<br>
* Workshop proceedings containing the extended abstracts will be<br>
published as an EPTCS volume;<br>
* CFP available at: <a href=3D"https://www.irif.fr/users/saurin/fics2024/cf=
p.html;" target=3D"_blank" id=3D"OWA4cdc049e-1f21-6344-9091-c3cbd96dbc56" c=
lass=3D"OWAAutoLink" rel=3D"noopener noreferrer" data-auth=3D"NotApplicable=
" data-linkindex=3D"22">
https://www.irif.fr/users/saurin/fics2024/cfp.html;</a><br>
* Easychair submission link:<br>
<a href=3D"https://easychair.org/conferences/?conf=3Dfics2024" target=3D"_b=
lank" id=3D"OWAd4b30909-22ab-dec7-6993-9bbd258caf8e" class=3D"OWAAutoLink" =
rel=3D"noopener noreferrer" data-auth=3D"NotApplicable" data-linkindex=3D"2=
3">https://easychair.org/conferences/?conf=3Dfics2024</a><br>
<br>
<br>
=3D=3D Important dates and practical details=3D=3D<br>
<br>
- Submission deadline for short and extended abstracts: 1 December 2023;<br=
>
- Notification: 21 December 2023;<br>
- Workshop: 19 and 20 February 2024.<br>
<br>
<br>
Submission link: <a href=3D"https://easychair.org/conferences/?conf=3Dfics2=
024" target=3D"_blank" id=3D"OWAdb397411-e336-97d7-ce3a-58e3a2a4c05d" class=
=3D"OWAAutoLink" rel=3D"noopener noreferrer" data-auth=3D"NotApplicable" da=
ta-linkindex=3D"24">
https://easychair.org/conferences/?conf=3Dfics2024</a><br>
<br>
Registration will be handled by CSL 2024 (details to come). Online<br>
participation will be possible with a reduced registration fees, but at<br>
least an author of each abstract will have to register with on-site fees.<b=
r>
<br>
<br>
=3D=3D About FICS workshop series =3D=3D<br>
<br>
The goal is to bring together people from different subfields such as<br>
algebra/coalgebra, verification, logic, around the thematic of fixed<br>
points. Fixed points play a fundamental role in several areas of<br>
computer science. They are used to justify (co)recursive definitions and<br=
>
associated reasoning techniques. The construction and properties of<br>
fixed points have been investigated in many different settings such as:<br>
design and implementation of programming languages, logics,<br>
verification, databases.<br>
<br>
<br>
=3D=3D Scope =3D=3D<br>
<br>
Topics include, but are not restricted to:<br>
<br>
- fixed points in algebra and coalgebra<br>
- fixed points in formal languages and automata<br>
- fixed points in game theory<br>
- fixed points in programming language semantics<br>
- fixed points in proofs<br>
- fixed points in the mu-calculus and modal logics<br>
- fixed points in process algebras and process calculi<br>
- fixed points in functional programming and type theory<br>
- fixed points in relation to dataflow and circuits<br>
- fixed points in automated theorem proving, interactive theorem proving<br=
>
and logic programming<br>
- fixed points in finite model theory, descriptive complexity theory,<br>
and databases<br>
- fixed points in category theory for logic in computer science<br>
<br>
<br>
=3D=3D Types of submissions =3D=3D<br>
<br>
This year, we welcome two categories of submissions, short abstracts as<br>
well as extended abstracts:<br>
<br>
- Both types of submissions will be handled via Easychair and will be<br>
peer-reviewed by the PC.<br>
- In order to submit a short or extended abstract to FICS, please visit<br>
the following link: <a href=3D"https://easychair.org/conferences/?conf=3Dfi=
cs2024" target=3D"_blank" id=3D"OWA21f660ad-8d1a-b2ff-2cc2-6ffa965af37e" cl=
ass=3D"OWAAutoLink" rel=3D"noopener noreferrer" data-auth=3D"NotApplicable"=
 data-linkindex=3D"25">
https://easychair.org/conferences/?conf=3Dfics2024</a><br>
- A proceedings volume gathering the extended abstracts will be<br>
published by EPTCS shortly after the workshop (see details below).<br>
<br>
<br>
Here are details on each type of submission:<br>
<br>
- **short abstracts** are abstracts of **3 to 5 pages, references<br>
included**, describing the topic of the proposed contributed talk. They<br>
may contain (i) new completed results, (ii) work in progress or (iii)<br>
already (recently) published or submitted works. The submission can<br>
refer to a published paper or a preprint but the description given in<br>
the short abstract should be sufficiently detailed for the PC to judge<br>
the relevance of the proposed talk to the workshop program.<br>
<br>
- **extended abstracts** are papers of **6 to 10 pages, references<br>
excluded**, describing original results which have not been published<br>
nor are currently submitted elsewhere. The results must be presented in<br>
sufficient details to constitute a scientific publication. An appendix<br>
can provide additional details for the reviewer but will be read at the<br>
discretion of the reviewers.<br>
A volume of proceedings containing the **extended abstracts** will be<br>
published soon after the workshop by EPTCS: the authors of extended<br>
abstracts will be asked to submit a revised version few weeks after the<br>
event, allowing them to take into account the workshop discussions.<br>
Details will be released later.<br>
<br>
<br>
=3D=3D Program Committee =3D=3D<br>
<br>
- Zena Ariola (University of Oregon, USA)<br>
- Abhishek De (University of Birmingham, UK)<br>
- Zeinab Galal (Universit=C3 degli sutdi di Bologna, Italy)<br>
- Guilhem Jaber (Universit=C3=A9 de Nantes, France)<br>
- Ekaterina Komendantskaya (Heriot-Watt University, UK)<br>
- Denis Kuperberg (CNRS &amp; ENS Lyon, France)<br>
- Martin Lange (University of Kassel, Germany)<br>
- Christine Paulin-Mohring (Universit=C3=A9 Paris Saclay, France)<br>
- Daniela Petrisan (Universit=C3=A9 Paris Cit=C3=A9, France)<br>
- Alexis Saurin (CNRS &amp; Universit=C3=A9 Paris Cit=C3=A9, France), PC Ch=
air<br>
- Thomas Studer (University of Bern, Switzerland)<br>
- Tarmo Uustalu (Reykjavik University, Iceland)<br>
- Yde Venema (University of Amsterdam, Netherland)<br>
<br>
<br>
=3D=3D Journal publication =3D=3D<br>
<br>
Depending on the number and quality of submissions, we will plan a<br>
subsequent special issue of a journal, as often done for previous<br>
editions of the workshop.<br>
<br>
<br>
=3D=3D Contact =3D=3D<br>
<br>
Alexis Saurin, alexis.saurin@irif.fr</span></div>
<div class=3D"elementToProof"><span style=3D"font-family: Aptos, Aptos_Embe=
ddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 1=
2pt; color: rgb(0, 0, 0);"><a href=3D"https://www.irif.fr/users/saurin/inde=
x" target=3D"_blank" id=3D"OWA68eb8bcd-f946-09f4-d2f8-ffe1d35807f3" class=
=3D"OWAAutoLink" rel=3D"noopener noreferrer" data-auth=3D"NotApplicable" da=
ta-linkindex=3D"26">https://www.irif.fr/users/saurin/index</a></span></div>
</body>
</html>

--_000_ME2PR01MB3122EC903A2C561A6E213ED5CDA0AME2PR01MB3122ausp_--