From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by c5ff346549e7 (Postfix) with ESMTPS id 6C9385D5 for ; Tue, 11 Aug 2020 14:12:02 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.75,461,1589234400"; d="scan'208,217";a="463149047" Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 11 Aug 2020 16:11:59 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 7E932E0C00; Tue, 11 Aug 2020 16:11:59 +0200 (CEST) Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id D91D6E0C00 for ; Tue, 11 Aug 2020 16:11:56 +0200 (CEST) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=mihaela.rozman@tuwien.ac.at; spf=None smtp.mailfrom=mihaela.rozman@tuwien.ac.at; spf=None smtp.helo=postmaster@secgw1.intern.tuwien.ac.at IronPort-PHdr: =?us-ascii?q?9a23=3AEKaICBVCPfF9hr6XEnTqBz/nfyDV8LGtZVwlr6E/?= =?us-ascii?q?grcLSJyIuqrYZRSHvqdThVPEFb/W9+hDw7KP9fy5BypRud3e6zgrS99lb1c9k8?= =?us-ascii?q?IYnggtUoauKHbQC7rUVRE8B9lIT1R//nu2YgB/Ecf6YEDO8DXptWZBUhrwOhBo?= =?us-ascii?q?KevrB4Xck9q41/yo+53Ufg5EmCexbal9IRmrrAjdrM0bjZdtJqszxBbCv2dFdf?= =?us-ascii?q?lRyW50P1yYggzy5t23/J5t8iRQv+wu+stdWqjkfKo2UKJVAi0+P286+MPkux/D?= =?us-ascii?q?TRCS5nQHSWUZjgBIAwne4x7kWJr6rzb3ufB82CmeOs32UKw0VDG/5KplVBPklC?= =?us-ascii?q?EKPCM+/2/Kl8xwl7pbrwy9qBxjzYDUZ4SVO+B/fqPbYNgWQWVMU8JUWyFHH4iy?= =?us-ascii?q?bZYAD/AZMOhYsYf9qVkBowawCwevC+zg1jhGhmPt0KIgz+ghHhnL0BI8E98Mtn?= =?us-ascii?q?nfsdX7NL0VUeCw1KTGyjTDb/NM1jjj7IjHaA0qr+2LXbNxdMre008vHB7Cg1WV?= =?us-ascii?q?qIzlPyma2foJs2eB9eZgT+Wvim8iqw5rpDii3dssipTHh4IU1F/E8z91z5wpKt?= =?us-ascii?q?GiUkF7fcepHZ1NvC6VK4V4WNktQ310uCkk0L0Gv4a2cScFxpkpxhPSb/+KfpWI?= =?us-ascii?q?7x7+VuudPDN1iXBrdb+imxq/8kqtxvPiWsS2zVpGszdIn9vIu3wT0xHe5MqKRu?= =?us-ascii?q?V/80qnxD2B2QfT6uReLkA1k6rWM5AhwrkqlpoIsUXDAjH5lF/sg6+Kbkkr5PKn?= =?us-ascii?q?6//nY7r6pp+TLY50ihvkPqQpgMy/Dvw0MgcPX2iH+eS8yabs8Vf4QLVNiPA9j6?= =?us-ascii?q?rXsIjCKMgGuKK0ABVZ3pst5hqjFTur3sgUkWMFIV5YYB6LkpblNlLULPzlA/qz?= =?us-ascii?q?nk6gnCp2y/zbJLHtHInBI3zFnbz8Z7hy8VRcxxA2zd1H55JbFLUBIPXrV0/qqt?= =?us-ascii?q?PXEhA5MgKpz+r9CdV90J8eVnyVAq+fKq/SrUKI5+wuI+aSYo8ZoizyJOQ/6/H0?= =?us-ascii?q?kX81gV4dfa+30psLcH20A+pqLkaDbXbxjNoNDX0GswQiQODwilCOTCZfZ3OoUK?= =?us-ascii?q?I94jE7BpimDYDGRo21hbyB3Se7EYdIaWBCEF+AC23od4KFWvcJci2SJNRskiAZ?= =?us-ascii?q?VbmvSo8uyxeuuBXgxLV7NObb4DEYuYr51Ndp/+3TiQ0y9TtsAsuByW6NSmV0kn?= =?us-ascii?q?oMRz83x6B/vVdwykyD0Kh9m/xXD8Zf5/JPUgcgNJ7T1fZ2C97oWlGJQtDcHF2v?= =?us-ascii?q?R9HjBTAqUvowxcUPagBzAYPxoArE2n+PAr8cmriCTKYz4KfV2TClIsd9wnvC3e?= =?us-ascii?q?87iEsjS81nKXC5h6N5sQHYQYfVxRbK3522fLgRiXaevFyIynCD6R0JCVMiYeD+?= =?us-ascii?q?RXkaI3Dug5H560fFFe/8ErksPRQYj8+ENqZQbJv1kEpHSfGlMd+Yan7jwz7hVy?= =?us-ascii?q?bN/auFac/RQ0tY2SzcDEYelAVKoSSaKBc/CyHnqmmYBSA8TQuzMXOpyvF3rTaA?= =?us-ascii?q?dmFx1xuDNhEzy6eq+xMTw/WXDfoPjOoJ?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0CdAgBgpjJfh0cegoBgg3YvgUdXMCyEN?= =?us-ascii?q?okBl2qMQQIJAQMBCgEBIwoCBAEBhwICHAYGNBMCEAEBBQEBAQIBAwMEARMBAQE?= =?us-ascii?q?KCwkIKYVjDII3DIMvBggCEwYKOx4DAkQHAgIZIxsCBB4FgxYBgX5+AQ6yPYEyi?= =?us-ascii?q?EohFoE6BiKBFoZQhk+BTD+BETaCKgKBcIFYAgGEdYJgBI9Ogy2SPZBGKgeBW4E?= =?us-ascii?q?KBIEFBAuHS4ZKimwhoBWFU4gWjwOUdwIEAgkCFAGBaoF6MxqDXD8RGQ1XjWACH?= =?us-ascii?q?YFxhC2CMIVEQTECNQIGCAEBAwl8EwsBj2sBAQ?= X-IPAS-Result: =?us-ascii?q?A0CdAgBgpjJfh0cegoBgg3YvgUdXMCyENokBl2qMQQIJAQM?= =?us-ascii?q?BCgEBIwoCBAEBhwICHAYGNBMCEAEBBQEBAQIBAwMEARMBAQEKCwkIKYVjDII3D?= =?us-ascii?q?IMvBggCEwYKOx4DAkQHAgIZIxsCBB4FgxYBgX5+AQ6yPYEyiEohFoE6BiKBFoZ?= =?us-ascii?q?Qhk+BTD+BETaCKgKBcIFYAgGEdYJgBI9Ogy2SPZBGKgeBW4EKBIEFBAuHS4ZKi?= =?us-ascii?q?mwhoBWFU4gWjwOUdwIEAgkCFAGBaoF6MxqDXD8RGQ1XjWACHYFxhC2CMIVEQTE?= =?us-ascii?q?CNQIGCAEBAwl8EwsBj2sBAQ?= X-IronPort-AV: E=Sophos;i="5.75,461,1589234400"; d="scan'208,217";a="356355532" X-MGA-submission: =?us-ascii?q?MDGBGqhQi1rSR4JxYl+wN8quqVjBwNy8m9ErIv?= =?us-ascii?q?FjyOzDxAFp4QvEZ2aMtTuYOaJylXpNy0OQkaKYnmIiY5djXT1CAIB65n?= =?us-ascii?q?9jf9RXzpMTAQ+d+azECtSEHti45unQhaWX6SBPXY9ffusR9KwFxmR3Qa?= =?us-ascii?q?4mWED+jULSmKKBo1tw7mGDXA=3D=3D?= Received: from secgw1.intern.tuwien.ac.at ([128.130.30.71]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 11 Aug 2020 16:11:55 +0200 Received: from totemomail (localhost [127.0.0.1]) by secgw1.intern.tuwien.ac.at (8.14.7/8.14.7) with ESMTP id 07BEBs2w032404 for ; Tue, 11 Aug 2020 16:11:54 +0200 Received: from localhost ([127.0.0.1]) by totemomail (Totemo SMTP Server) with SMTP ID 488 for ; Tue, 11 Aug 2020 16:11:54 +0200 (CEST) Received: from edge13b.intern.tuwien.ac.at (edge13b.intern.tuwien.ac.at [IPv6:2001:629:1005:30::67]) by secgw1.intern.tuwien.ac.at (8.14.7/8.14.7) with ESMTP id 07BEBsoT032397 (version=TLSv1/SSLv3 cipher=ECDHE-RSA-AES256-SHA384 bits=256 verify=FAIL) for ; Tue, 11 Aug 2020 16:11:54 +0200 Received: from mbx13b.intern.tuwien.ac.at (2001:629:1005:30::62) by edge13b.intern.tuwien.ac.at (2001:629:1005:30::67) with Microsoft SMTP Server (TLS) id 15.0.1497.2; Tue, 11 Aug 2020 16:11:54 +0200 Received: from vita (128.131.111.209) by mbx13b.intern.tuwien.ac.at (2001:629:1005:30::62) with Microsoft SMTP Server (TLS) id 15.0.1497.2; Tue, 11 Aug 2020 16:11:53 +0200 From: Mihaela Rozman To: References: <08e401d66fe8$589edb70$09dc9250$@tuwien.ac.at> In-Reply-To: Date: Tue, 11 Aug 2020 16:11:52 +0200 Message-ID: <09e801d66fe9$5ca7eb20$15f7c160$@tuwien.ac.at> MIME-Version: 1.0 Content-Type: multipart/alternative; boundary="----=_NextPart_000_09E9_01D66FFA.20321AB0" X-Mailer: Microsoft Outlook 16.0 Content-Language: de-at Thread-Index: AQKZ2reelLKuM+Tr9Wx6Zpn8Br4hEwHg2A+Tp50WhTA= X-ClientProxiedBy: mbx13b.intern.tuwien.ac.at (2001:629:1005:30::62) To mbx13b.intern.tuwien.ac.at (2001:629:1005:30::62) Subject: [Caml-list] Call for Participation - CONCUR 2020 - 31th International Conference on Concurrency Theory part of QONFEST 2020 - ONLINE (Vienna, Austria) - September 1-4, 2020 Reply-To: Mihaela Rozman X-Loop: caml-list@inria.fr X-Sequence: 18215 Errors-To: caml-list-owner@inria.fr Precedence: list Precedence: bulk Sender: caml-list-request@inria.fr X-no-archive: yes List-Id: List-Help: List-Subscribe: List-Unsubscribe: List-Post: List-Owner: List-Archive: Archived-At: ------=_NextPart_000_09E9_01D66FFA.20321AB0 Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: quoted-printable CONCUR 2020 - Call for Participation =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D =20 Early Registration Deadline: 13 August 2020=20 https://concur2020.forsyte.at=20 =20 =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D =20 The 31th International Conference on Concurrency Theory (CONCUR) will be = held online on 1-4 September 2020.=20 =20 The purpose of the CONCUR conferences is to bring together researchers,=20 developers, and students in order to advance the theory of concurrency, = and=20 promote its applications. =20 It is held as part of the QONFEST 2020, the umbrella conference = comprising the joint international 2020 meetings alongside with several = workshops and tutorials. =20 =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D Keynote speakers =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D =20 -Roderick Bloem - TU Graz (Austria) =20 -Thomas A. Henzinger - IST (Austria) =20 -Annabelle McIver - Macquarie University (Australia) =20 -Catuscia Palamidessi - INRIA Saclay and LIX (France) =20 =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D High-quality papers =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D =20 CONCUR 2020 features 45 high-quality papers: =20 https://concur2020.forsyte.at/accepted.html=20 =20 The program of CONCUR 2020 can be found at: =20 https://easychair.org/smart-program/CONCUR20=20 =20 =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D Co-located conferences and workshops =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D =20 CONCUR 2020 is part of the umbrella conference QONFEST 2020 comprising = the joint international 2020 meetings CONCUR, FMICS, FORMATS, QEST, = alongside with tutorials and the workshops EXPRESS/SOS, FRIDA, SNR, TRENDS, and QAVS. =20 More details to be found at: =20 https://qonfest2020.github.io=20 =20 and https://concur2020.forsyte.at/workshops.html=20 =20 =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D Registration =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D =20 This year, the early registration fee (August 13, 2020) for the whole of QONFEST is only 10 EUR. The early workshop registration fee is 5 EUR. = Late registration is 50% more expensive (15 EUR and 8 EUR, respectively). =20 More information at: =20 https://qonfest2020.github.io/registration.html=20 =20 =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D Organizing Committee =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D =20 QONFEST General Chair: =20 -Ezio Bartocci (TU Wien, Austria) =20 Workshop Chair: =20 -Florian Zuleger (TU Wien, Austria) =20 Program Co-chairs: =20 -Igor Konnov (Informal Systems, Austria) =20 -Laura Kovacs (TU Wien, Austria) =20 ------=_NextPart_000_09E9_01D66FFA.20321AB0 Content-Type: text/html; charset="utf-8" Content-Transfer-Encoding: quoted-printable

CONCUR 2020 - Call for = Participation

=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D

 

Early = Registration Deadline: 13 August 2020

https://concur2020.forsyte.at =

 

=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D

 

The 31th = International Conference on Concurrency Theory (CONCUR) will be held = online on 1-4 September 2020.

 

The = purpose of the CONCUR conferences is to bring together researchers, =

developers, and students in order to advance = the theory of concurrency, and

promote = its applications.

 

It is = held as part of the QONFEST 2020, the umbrella conference comprising the = joint international 2020 meetings alongside with several workshops and = tutorials.

 

=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=

Keynote speakers

=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=

 

-Roderick Bloem - TU Graz = (Austria)

 

-Thomas = A. Henzinger - IST (Austria)

 

-Annabelle McIver - Macquarie University = (Australia)

 

-Catuscia Palamidessi - INRIA Saclay and LIX = (France)

 

=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=

High-quality papers

=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D

 

CONCUR = 2020 features 45 high-quality papers:

 

https://concur2020.f= orsyte.at/accepted.html

 

The = program of CONCUR 2020 can be found at:

 

https://easychair.o= rg/smart-program/CONCUR20

 

=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D

Co-located conferences and = workshops

=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D

 

CONCUR = 2020 is part of the umbrella conference QONFEST 2020 comprising = the

joint international 2020 meetings CONCUR, = FMICS, FORMATS, QEST, alongside with

tutorials and the workshops EXPRESS/SOS, = FRIDA, SNR, TRENDS, and QAVS.

 

More = details to be found at:

 

https://qonfest2020.github.io =

 

and https://concur2020.= forsyte.at/workshops.html

 

=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D

Registration

=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D

 

This = year, the early registration fee (August 13, 2020) for the whole = of

QONFEST is only 10 EUR. The early workshop = registration fee is 5 EUR.  Late

registration is 50% more expensive (15 EUR = and 8 EUR, respectively).

 

More = information at:

 

https://qonfest2= 020.github.io/registration.html

 

=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D

Organizing Committee

=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D

 

QONFEST = General Chair:

 

-Ezio = Bartocci  (TU Wien, Austria)

 

Workshop = Chair:

 

-Florian = Zuleger (TU Wien, Austria)

 

Program = Co-chairs:

 

-Igor = Konnov (Informal Systems, Austria)

 

-Laura = Kovacs (TU Wien, Austria)

 

------=_NextPart_000_09E9_01D66FFA.20321AB0--