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=0.8 required=5.0 tests=DKIM_INVALID,DKIM_SIGNED, HTML_MESSAGE,HTTPS_HTTP_MISMATCH,KHOP_HELO_FCRDNS,URIBL_SBL_A autolearn=no autolearn_force=no version=3.4.4 Received: from SY8PR01CU002.outbound.protection.outlook.com (mail-australiaeastazlp17010016.outbound.protection.outlook.com [40.93.136.16]) by inbox.vuxu.org (Postfix) with ESMTP id 766A420250 for ; Wed, 15 Jan 2025 13:27:28 +0100 (CET) Received: from SmtpServer.Submit by MEYPR01MB6791 with Microsoft SMTP Server id 15.20.8356.13; Wed, 15 Jan 2025 12:27:26 +0000 Received: from SYBPR01MB6285.ausprd01.prod.outlook.com (2603:10c6:10:106::13) by MEYPR01MB6791.ausprd01.prod.outlook.com (2603:10c6:220:12f::14) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.8356.13; Wed, 15 Jan 2025 12:27:17 +0000 Received: from MEAPR01MB2599.ausprd01.prod.outlook.com (2603:10c6:201:c::14) by SYBPR01MB6285.ausprd01.prod.outlook.com (2603:10c6:10:106::13) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.8356.13; Wed, 15 Jan 2025 12:27:14 +0000 Received: from MEAPR01MB2599.ausprd01.prod.outlook.com ([fe80::adc9:9921:5a05:f59c]) by MEAPR01MB2599.ausprd01.prod.outlook.com ([fe80::adc9:9921:5a05:f59c%6]) with mapi id 15.20.8356.010; Wed, 15 Jan 2025 12:27:14 +0000 ARC-Seal: i=2; a=rsa-sha256; s=arcselector10001; d=microsoft.com; cv=pass; b=iZSwQ6+4oCY6QUOFjhyKqbRfKrEDT7Nazc2ArT/feHc2Rl2fnf5bUL2mW+Tx/jCkJHyUK/3LvxRVB0/lFEEU6xHRG/J0lEhL58tlvy1viEU8IUhOK/QpSsdhdi92zXJjZoGNoh//Tb8t8GKZE73JWNcpkn7CDwtVHE4EEt1I60dIyW33HDoPla5NoU2SIcQWSF9YELdBbm8JO/IE4VhddTmFcwmYKjInCt+kpakU7N/W8Pb7mUdFL8UFHDiApRd9Ttg2NZda/pg/p7bSlV1UwbXIvErf4cyJsNybvcCOVSMCzERF7KpFeoDd+zXjmy2basPYES2EX22PExHAk6FM5w== ARC-Message-Signature: i=2; a=rsa-sha256; c=relaxed/relaxed; d=microsoft.com; s=arcselector10001; 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=OFHp/sNl2R5zVOvkUWJmqbr8vQ9XqDhCbehON7nuTI0=; b=ZbYLBF4HbZpCdMIudjseoDJnzF44QR5UZswbScrHMdI59fNnrTE7KxVkHWLSky4Vga9RkNUnN3WqkCqiLlwlXDlMf8GWIg9CederYdiOTD7BpT0P0CXTmfIPK1Da2pq6kQe8i/aHUIxw07OhC9uZlcc4ynZK28VyPWQa41Lr6Vx2FtNXd7E+9yuyQtMXlmu0WhnjOJ9qt62VJqUaG6NoosC9rh+ECVfTfaaeV9+LDOtqDGq2vaaQ3tebh6PCcBUzUXissbmk5x2mrSwxEjvo6ByWQvrFZ7W4SIuFcKUYL3NDYqDff/vEyBMqP5ryl5a9srQhv6q70SWTxvgiyv0QGQ== ARC-Authentication-Results: i=2; mx.microsoft.com 1; spf=pass (sender ip is 132.230.150.5) smtp.rcpttodomain=mq.edu.au smtp.mailfrom=informatik.uni-freiburg.de; dmarc=bestguesspass action=none header.from=informatik.uni-freiburg.de; dkim=fail (signature did not verify) header.d=informatik.uni-freiburg.de; arc=pass (0 oda=0 ltdi=0 93) Received: from SY5PR01CA0067.ausprd01.prod.outlook.com (2603:10c6:10:1f4::14) by SYBPR01MB6810.ausprd01.prod.outlook.com (2603:10c6:10:129::10) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.8335.17; Wed, 15 Jan 2025 12:23:52 +0000 Received: from SY2PEPF00004FF3.ausprd01.prod.outlook.com (2603:10c6:10:1f4:cafe::4) by SY5PR01CA0067.outlook.office365.com (2603:10c6:10:1f4::14) with Microsoft SMTP Server (version=TLS1_3, cipher=TLS_AES_256_GCM_SHA384) id 15.20.8356.13 via Frontend Transport; Wed, 15 Jan 2025 12:23:52 +0000 Authentication-Results: spf=pass (sender IP is 132.230.150.5) smtp.mailfrom=informatik.uni-freiburg.de; dkim=fail (signature did not verify) header.d=informatik.uni-freiburg.de;dmarc=bestguesspass action=none header.from=informatik.uni-freiburg.de; Received-SPF: Pass (protection.outlook.com: domain of informatik.uni-freiburg.de designates 132.230.150.5 as permitted sender) receiver=protection.outlook.com; client-ip=132.230.150.5; helo=smtp2.informatik.uni-freiburg.de; pr=C Received: from au-smtp-inbound-delivery-1.mimecast.com (103.96.22.101) by SY2PEPF00004FF3.mail.protection.outlook.com (10.167.241.5) with Microsoft SMTP Server (version=TLS1_3, cipher=TLS_AES_256_GCM_SHA384) id 15.20.8356.11 via Frontend Transport; Wed, 15 Jan 2025 12:23:51 +0000 ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=dkim.mimecast.com; s=201903; t=1736943831; 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=OFHp/sNl2R5zVOvkUWJmqbr8vQ9XqDhCbehON7nuTI0=; b=WGQTXZmsp878RPzMfv6Y+JIg2jYivGyiHf9q+fH4CxyvQ5nCwqP/yQVK5ycpNcjooeHdAW jwSixO5YjdvYngxL7fxmDiH4MovDERFh+JO2DABAjqgMtGJ3+mRSggvHnOXeyeDZoRIK7V KTz4I+AN3ET2k8Ov0BZFWLg2Yw8e1s5KUUzBg1SR16qkVttP7QF1gbItJj7BbgNH6+oAHA pq9+rmWiJ68KARxKf24nGqdn1l7G0hiV4Iw4YO5EvDjcj/Yr83v2aKJjnBPoYxYRlAzmBU YAui7A0h6flvEIfZ808+7kzesImVRWhOB7oqB9Fjm6ceIlXyAhmB0nswIqfchA== ARC-Seal: i=1; s=201903; d=dkim.mimecast.com; t=1736943831; a=rsa-sha256; cv=none; b=WWqxO6jkBLQKaCeqGvKD57h4rc2ct0+KZhlzirfGpf5Qg5gq/7H0/VdX3abfVsRceMmgH5 Fn0T1+ICJtXwTPdA7hXUVRdm9qys+0vPJEMHrJR5kv3QGHFWuvnCSOg0TFQdg5+Y7ZaKxY YFiZEQVnpBT2vPSG1sg8CRdsrK8LqvM/wllymmzVhJCiIlRi+E7PPbotUsqZKZlTuHMzGh lyNyJGQI+7UpZS1kmYqfcWx2qaxEYoNeseMnDptiaMOZ98iH/LTGsZPQhlTBmtUxHSildu qS3oe3X+8y2JtyH+W7oFtDzHw4zYOOXwNaPeLnZpbFT4DQgtoH3ojKvyyX4D+g== ARC-Authentication-Results: i=1; relay.mimecast.com; dkim=pass header.d=informatik.uni-freiburg.de header.s=mx2401 header.b=dvuEpaen; dmarc=none; spf=pass (relay.mimecast.com: domain of vdheuvel@informatik.uni-freiburg.de designates 132.230.150.5 as permitted sender) smtp.mailfrom=vdheuvel@informatik.uni-freiburg.de Authentication-Results-Original: relay.mimecast.com; dkim=pass header.d=informatik.uni-freiburg.de header.s=mx2401 header.b=dvuEpaen; dmarc=none; spf=pass (relay.mimecast.com: domain of vdheuvel@informatik.uni-freiburg.de designates 132.230.150.5 as permitted sender) smtp.mailfrom=vdheuvel@informatik.uni-freiburg.de Received: from smtp2.informatik.uni-freiburg.de (smtp2.informatik.uni-freiburg.de [132.230.150.5]) by relay.mimecast.com with ESMTP with STARTTLS (version=TLSv1.2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id au-mta-98-6nCPBuQYPgaiBHS9fHgttw-1; Wed, 15 Jan 2025 23:23:46 +1100 X-MC-Unique: 6nCPBuQYPgaiBHS9fHgttw-1 X-Mimecast-MFC-AGG-ID: 6nCPBuQYPgaiBHS9fHgttw DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=informatik.uni-freiburg.de; s=mx2401; h=Content-Type:To:Subject:Message-ID: Date:From:MIME-Version: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=F3O7xD/7XxaatY1IHX4uRQRTQ0Ypqol/z1jQ+2xprLk=; b=dvuEpaenTTmworoXf2xSbfLOQF GESS8ibRc/Bje8y4WvPzrLKj/R3J/YmJQ2JuYQzP4pYrYwUdp+FL+vXIulUj0I0SWjeN5ARAYZ+e7 SIV8Ti2p/LGkUKzstMASlaBv+12dFLCdCGh9SSfrxZMUmgEWhUZKsrHflr40C06O+ASuiaXJ/LvhY m+1PgWICtBqWPeaxZNhlCpJ+ZYsZ2R2gP7ySBQzW+R2nrftMqF2alDQzA9jdJQJagT9QB0sUa2z94 E61gGaECZK1UMNT8ePVCS5/8kf3ilve3wW4PTrv2+8Mkb+pXDSqTOdgf6C3vv0fvl5t63U31U/jSN WoXH5K5A== Received: from mail-ed1-f49.google.com ([209.85.208.49]) by smtp2.informatik.uni-freiburg.de with esmtpsa (TLS1.2) tls TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384 (Exim 4.98) (envelope-from ) id 1tY2Qx-000000004Qm-2q5z for categories@mq.edu.au; Wed, 15 Jan 2025 13:23:39 +0100 Received: by mail-ed1-f49.google.com with SMTP id 4fb4d7f45d1cf-5d3cf094768so11496498a12.0 for ; Wed, 15 Jan 2025 04:23:39 -0800 (PST) X-Gm-Message-State: AOJu0YwyBhLxr8EkylJT8PDrjocbu4kquCItwRT26tEiGBPcRcwDxLrV p3jmkP0zudXLb9qcBvQVyBIexojcrfsCBBalC46zw8Ubsr55aTRVVZugg3s71Lh360bX6VEvrYV 8g9C706RX3LhulPZxmqLnFtU+aMs= X-Google-Smtp-Source: AGHT+IGEhxZcZotovjBc56Ka+p0x1tj5rmDULShDGN/zPJTtMIrBpfEkEspvnNhqdTrkCKElaKrpV6KY65DDjP/0iAE= X-Received: by 2002:a17:907:9629:b0:aaf:ab71:bf79 with SMTP id a640c23a62f3a-ab2ab6a44e4mr2615786666b.19.1736943818607; Wed, 15 Jan 2025 04:23:38 -0800 (PST) MIME-Version: 1.0 From: Bas van den Heuvel Date: Wed, 15 Jan 2025 13:23:27 +0100 X-Gmail-Original-Message-ID: X-Gm-Features: AbW1kvallDJWghVFKRZ3jXCPmbCU89kXexfHEmRcOt8L6b3YJj5n_AVpim2_Sz4 Message-ID: Subject: DisCoTec 2025, 2nd CfP: 20th International Federated Conference on Distributed Computing Techniques To: categories@mq.edu.au Organization: Universitaet Freiburg, Institut f. Informatik X-Mimecast-Spam-Score: 0 X-Mimecast-MFC-PROC-ID: 1UvfyZNJR0Gd48mzoUfVyDOfOG1I7_Pwh77czeA9eKU_1736943820 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="0000000000004d9a05062bbdbf36" X-EOPAttributedMessage: 0 X-EOPTenantAttributedMessage: 82c514c1-a717-4087-be06-d40d2070ad52:0 X-MS-Exchange-SkipListedInternetSender: ip=[132.230.150.5];domain=smtp2.informatik.uni-freiburg.de X-MS-Exchange-ExternalOriginalInternetSender: ip=[132.230.150.5];domain=smtp2.informatik.uni-freiburg.de X-MS-PublicTrafficType: Email X-MS-TrafficTypeDiagnostic: SY2PEPF00004FF3:EE_|SYBPR01MB6810:EE_|SYBPR01MB6285:EE_|MEYPR01MB6791:EE_ X-MS-Office365-Filtering-Correlation-Id: 772ff30c-b02f-4b87-a572-08dd355f7886 X-Moderation-Data: 1/15/2025 12:27:11 PM X-LD-Processed: 82c514c1-a717-4087-be06-d40d2070ad52,ExtAddr,ExtAddr X-Auto-Response-Suppress: DR, RN, NRN, OOF, AutoReply X-MS-Exchange-CrossTenant-Network-Message-Id: 772ff30c-b02f-4b87-a572-08dd355f7886 X-MS-Exchange-CrossTenant-Id: 82c514c1-a717-4087-be06-d40d2070ad52 X-MS-Exchange-CrossTenant-AuthSource: SY2PEPF00004FF3.ausprd01.prod.outlook.com X-MS-Exchange-CrossTenant-AuthAs: Anonymous X-MS-Exchange-CrossTenant-FromEntityHeader: Internet X-MS-Exchange-CrossTenant-OriginalArrivalTime: 15 Jan 2025 12:27:14.6835 (UTC) X-MS-Exchange-Transport-CrossTenantHeadersStamped: MEYPR01MB6791 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-OriginatorOrg: mq.edu.au --0000000000004d9a05062bbdbf36 Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: quoted-printable [Apologies for multiple postings] ************************************************************************ Joint Call for Papers DisCoTec 2025 20th International Federated Conference on Distributed Computing Technique= s Lille, France, 16-20 June 2025 Submission deadline: 7 February 2025 https://www.discotec.org/2025 ************************************************************************ DisCoTec 2025 is one of the major events sponsored by the International Fed= eration for Information Processing (IFIP) and the European Association for = Programming Languages and Systems (EAPLS). It gathers conferences and satel= lite events that cover a broad spectrum of distributed computing subjects = =E2=80=94 from theoretical foundations and formal description techniques, t= esting and verification methods, to language design and system implementati= on approaches. The three main conferences are: * COORDINATION 2025 - International Conference on Coordination Models and L= anguages * DAIS 2025 - International Conference on Distributed Applications and Inte= roperable Systems * FORTE 2025 - International Conference on Formal Techniques for Distribute= d Objects, Components, and Systems DisCoTec 2025 is organised by Inria Lille and the University of Lille. It w= ill be hosted by Polytech Lille. * NEW: Accommodations for parents of young children * Subject to budget availability, we are planning to make special logistica= l arrangements for conference participants travelling with young children (= and potentially accompanying persons). We invite interested persons to cont= act the General Chair (simon.bliudze@inria.fr), as soon as possible to discuss the arrangements that might be applicabl= e. * Keynote Speakers * - Alysson Bessani (Universidade de Lisboa, Portugal) - H=C3=A9l=C3=A8ne Coullon (IMT Atlantique, France) - Omar Inverso (GSSI, Italy) - Burcu Ozkan (TU Delft, The Netherlands) * Important Dates (for all main conferences) * All deadlines expire at 23:59 anywhere on earth. - Abstract submission: 31 January 2025 - Paper submission: 7 February 2025 - Paper notification: 28 March 2025 - Camera-ready: 23 April 2025 (TBC) - DisCoTec conference: 16-20 June 2025 See each conference site for topics of interest, paper categories, and su= bmission instructions. * Main Conferences * - COORDINATION (https://www.discotec.org/2025/coordination= ) 27rd International Conference on Coordination Models and Languages PC Chairs: Cinzia Di Giusto (Universit=C3=A9 C=C3=B4te d=E2=80=99Azur, = FR) and Ant=C3=B3nio Ravara (NOVA School of Science and Technology, PT) - DAIS (https://www.discotec.org/2025/dais) 25st International Conference on Distributed Applications and Interoper= able Systems PC Chairs: Daniel Balouek (INRIA, FR) and Ib=C3=A9ria Medeiros (Univers= ity of Lisbon, PT) - FORTE (https://www.discotec.org/2025/forte) 45st International Conference on Formal Techniques for Distributed Obje= cts, Components and Systems PC Chairs: Carla Ferreira (NOVA University of Lisbon, PT) and Claudio A= . Mezzina (University of Urbino, IT) * Artefact Evaluation Chairs * - DisCoTec-wide: Roberto Casadei (University of Bologna, Italy) - COORDINATION: Duncan Attard (University of Glasgow, UK) - DAIS: Vinicius Cogo (Ci=C3=AAncias/ULisboa, Portugal) - FORTE: Emilio Incerto (IMT School for Advanced Studies Lucca, Italy) * Proceedings * Main conference proceedings will be published as volumes in the Springer = LNCS-IFIP series. The volumes will be open access from the IFIP digital lib= rary after a 3-year embargo. * Journal Special Issues * Selected papers accepted at the main conferences will be invited for subm= ission to special issues in high-quality journals, such as: - Logical Methods in Computer Science - Science of Computer Programming (Software Track). * Organizing Committee * - Simon Bliudze, General Chair (Inria Center at the University of Lille, = France) - Larisa Safina, Satellite Events Chair (Inria Center at the University o= f Lille, France) - Adrien Luxey-Bitri, Young Researchers Forum Chair (University of Lille,= France) - Imen Sayar, Gender equality / Women in Science co-Chair (University of = Lille, France) - Manel Barkallah, Gender equality / Women in Science co-Chair (Universit= y of Namur, Belgium) - Bas van den Heuvel, Publicity co-Chair (University of Freiburg, Germany= ) - Matthew Alan Le Brun, Publicity co-Chair (University of Glasgow, UK) - R=C3=A9my Raes, Head of student volunters (Inria Center at the Universi= ty of Lille, France) * Steering Committee * - Rocco De Nicola (IMT School for Advanced Studies Lucca, Italy) - Adrian Francalanza (University of Malta, Malta; Chair) - Ivan Lanese (University of Bologna/INRIA, Italy) - Alberto Lluch Lafuente (Technical University of Denmark, Denmark) - Mieke Massink (CNR-ISTI, Italy) - Lu=C3=ADs Veiga (INESC-ID, Universidade de Lisboa, Portugal) - Gianluigi Zavattaro (University of Bologna, Italy) - Carla Ferreira (NOVA University of Lisbon, Portugal) - Jorge A. P=C3=A9rez (University of Groningen, The Netherlands) 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 --0000000000004d9a05062bbdbf36 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
[Apologies for multiple postings]
************************************************************************
 Joint Call for Papers

 DisCoTec 2025

 20th International Federated Conference on Distributed Computing Tech= niques

 Lille, France, 16-20 June 2025

 Submission deadline: 7 February 2025

 https://www.discotec.org/= 2025

************************************************************************
DisCoTec 2025 is one of the major events sponsored by the International Fed= eration for Information Processing (IFIP) and the European Association for = Programming Languages and Systems (EAPLS). It gathers conferences and satel= lite events that cover a broad spectrum of distributed computing subjects =E2=80=94 from theoretical foundations a= nd formal description techniques, testing and verification methods, to lang= uage design and system implementation approaches. The three main conference= s are:

* COORDINATION 2025 - International Conference on Coordination Models and L= anguages
* DAIS 2025 - International Conference on Distributed Applications and Inte= roperable Systems
* FORTE 2025 - International Conference on Formal Techniques for Distribute= d Objects, Components, and Systems

DisCoTec 2025 is organised by Inria Lille and the University of Lille. It w= ill be hosted by Polytech Lille.


* NEW: Accommodations for parents of young children *

  Subject to budget availability, we are planning to make special logi= stical arrangements for conference participants travelling with young child= ren (and potentially accompanying persons). We invite interested persons to= contact the General Chair (simon.bliudze@inria.fr), as soon as possible to discuss the arrangements that might be applicable.<= br>

* Keynote Speakers *

  - Alysson Bessani (Universidade de Lisboa, Portugal)

  - H=C3=A9l=C3=A8ne Coullon (IMT Atlantique, France)

  - Omar Inverso (GSSI, Italy)

  - Burcu Ozkan (TU Delft, The Netherlands)


* Important Dates (for all main conferences) *

  All deadlines expire at 23:59 anywhere on earth.

  - Abstract submission: 31 January 2025

  - Paper submission: 7 February 2025

  - Paper notification: 28 March 2025

  - Camera-ready: 23 April 2025 (TBC)

  - DisCoTec conference: 16-20 June 2025

  See each conference site for topics of interest, paper categories, a= nd submission instructions.


* Main Conferences *

  - COORDINATION (https://= www.discotec.org/2025/coordination)
    27rd International Conference on Coordination Models and Lang= uages
    PC Chairs: Cinzia Di Giusto (Universit=C3=A9 C=C3=B4te d=E2= =80=99Azur, FR) and Ant=C3=B3nio Ravara (NOVA School of Science and Technol= ogy, PT)

  - DAIS (https://www.disc= otec.org/2025/dais)
    25st International Conference on Distributed Applications and= Interoperable Systems
    PC Chairs: Daniel Balouek (INRIA, FR) and Ib=C3=A9ria Medeiro= s (University of Lisbon, PT)

  - FORTE (https://www.dis= cotec.org/2025/forte)
    45st International Conference on Formal Techniques for Distri= buted Objects, Components and Systems
    PC Chairs: Carla Ferreira (NOVA University of Lisbon, PT) and= Claudio A. Mezzina (University of Urbino, IT)


* Artefact Evaluation Chairs *

  - DisCoTec-wide: Roberto Casadei (University of Bologna, Italy)

  - COORDINATION: Duncan Attard (University of Glasgow, UK)

  - DAIS: Vinicius Cogo (Ci=C3=AAncias/ULisboa, Portugal)

  - FORTE: Emilio Incerto (IMT School for Advanced Studies Lucca, Ital= y)


* Proceedings *

  Main conference proceedings will be published as volumes in the Spri= nger LNCS-IFIP series. The volumes will be open access from the IFIP digita= l library after a 3-year embargo.


* Journal Special Issues *

  Selected papers accepted at the main conferences will be invited for= submission to special issues in high-quality journals, such as:

  - Logical Methods in Computer Science

  - Science of Computer Programming (Software Track).


* Organizing Committee *

  - Simon Bliudze, General Chair (Inria Center at the University of Li= lle, France)
  - Larisa Safina, Satellite Events Chair (Inria Center at the Univers= ity of Lille, France)
  - Adrien Luxey-Bitri, Young Researchers Forum Chair (University of L= ille, France)
  - Imen Sayar, Gender equality / Women in Science co-Chair (Universit= y of Lille, France)
  - Manel Barkallah, Gender equality / Women in Science co-Chair (Univ= ersity of Namur, Belgium)
  - Bas van den Heuvel, Publicity co-Chair (University of Freiburg, Ge= rmany)
  - Matthew Alan Le Brun, Publicity co-Chair (University of Glasgow, U= K)
  - R=C3=A9my Raes, Head of student volunters (Inria Center at the Uni= versity of Lille, France)


* Steering Committee *

  - Rocco De Nicola (IMT School for Advanced Studies Lucca, Italy)
  - Adrian Francalanza (University of Malta, Malta; Chair)
  - Ivan Lanese (University of Bologna/INRIA, Italy)
  - Alberto Lluch Lafuente (Technical University of Denmark, Denmark)<= br>   - Mieke Massink (CNR-ISTI, Italy)
  - Lu=C3=ADs Veiga (INESC-ID, Universidade de Lisboa, Portugal)
  - Gianluigi Zavattaro (University of Bologna, Italy)
  - Carla Ferreira (NOVA University of Lisbon, Portugal)
  - Jorge A. P=C3=A9rez (University of Groningen, The Netherlands)
 
 
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
 
--0000000000004d9a05062bbdbf36--