From owner-freebsd-embedded@freebsd.org Tue Aug 11 14:19:26 2020 Return-Path: Delivered-To: freebsd-embedded@mailman.nyi.freebsd.org Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2610:1c1:1:606c::19:1]) by mailman.nyi.freebsd.org (Postfix) with ESMTP id 6893F3AF80C for ; Tue, 11 Aug 2020 14:19:26 +0000 (UTC) (envelope-from mihaela.rozman@tuwien.ac.at) Received: from secgw1.intern.tuwien.ac.at (secgw1.intern.tuwien.ac.at [IPv6:2001:629:1005:30::71]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (Client did not present a certificate) by mx1.freebsd.org (Postfix) with ESMTPS id 4BQw244g2Hz4ZCB for ; Tue, 11 Aug 2020 14:19:24 +0000 (UTC) (envelope-from mihaela.rozman@tuwien.ac.at) Received: from totemomail (localhost [127.0.0.1]) by secgw1.intern.tuwien.ac.at (8.14.7/8.14.7) with ESMTP id 07BEJKjM006363 for ; Tue, 11 Aug 2020 16:19:20 +0200 Received: from localhost ([127.0.0.1]) by totemomail (Totemo SMTP Server) with SMTP ID 210 for ; Tue, 11 Aug 2020 16:19:20 +0200 (CEST) Received: from edge13a.intern.tuwien.ac.at (edge13a.intern.tuwien.ac.at [IPv6:2001:629:1005:30::66]) by secgw1.intern.tuwien.ac.at (8.14.7/8.14.7) with ESMTP id 07BEJJGV006344 (version=TLSv1/SSLv3 cipher=ECDHE-RSA-AES256-SHA384 bits=256 verify=FAIL) for ; Tue, 11 Aug 2020 16:19:20 +0200 Received: from mbx13b.intern.tuwien.ac.at (2001:629:1005:30::62) by edge13a.intern.tuwien.ac.at (2001:629:1005:30::66) with Microsoft SMTP Server (TLS) id 15.0.1497.2; Tue, 11 Aug 2020 16:19:20 +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:19:19 +0200 From: Mihaela Rozman To: References: <08e401d66fe8$589edb70$09dc9250$@tuwien.ac.at> In-Reply-To: Subject: Call for Participation - CONCUR 2020 - 31th International Conference on Concurrency Theory part of QONFEST 2020 - ONLINE (Vienna, Austria) - September 1-4, 2020 Date: Tue, 11 Aug 2020 16:19:18 +0200 Message-ID: <0bd601d66fea$66575c40$330614c0$@tuwien.ac.at> MIME-Version: 1.0 X-Mailer: Microsoft Outlook 16.0 Content-Language: de-at Thread-Index: AQKZ2reelLKuM+Tr9Wx6Zpn8Br4hEwHg2A+Tp50YmVA= X-ClientProxiedBy: mbx13b.intern.tuwien.ac.at (2001:629:1005:30::62) To mbx13b.intern.tuwien.ac.at (2001:629:1005:30::62) X-Rspamd-Queue-Id: 4BQw244g2Hz4ZCB X-Spamd-Bar: - Authentication-Results: mx1.freebsd.org; dkim=none; dmarc=fail reason="No valid SPF, No valid DKIM" header.from=tuwien.ac.at (policy=none); spf=none (mx1.freebsd.org: domain of mihaela.rozman@tuwien.ac.at has no SPF policy when checking 2001:629:1005:30::71) smtp.mailfrom=mihaela.rozman@tuwien.ac.at X-Spamd-Result: default: False [-1.53 / 15.00]; ARC_NA(0.00)[]; SUBJECT_ENDS_SPACES(0.50)[]; RCVD_COUNT_FIVE(0.00)[6]; NEURAL_HAM_MEDIUM(-0.99)[-0.990]; FROM_HAS_DN(0.00)[]; TO_MATCH_ENVRCPT_ALL(0.00)[]; NEURAL_HAM_LONG(-0.99)[-0.994]; MIME_GOOD(-0.10)[multipart/alternative,text/plain]; PREVIOUSLY_DELIVERED(0.00)[freebsd-embedded@freebsd.org]; TO_DN_NONE(0.00)[]; RCPT_COUNT_ONE(0.00)[1]; NEURAL_HAM_SHORT(-0.05)[-0.051]; RCVD_IN_DNSWL_NONE(0.00)[2001:629:1005:30::71:from]; R_SPF_NA(0.00)[no SPF record]; FROM_EQ_ENVFROM(0.00)[]; R_DKIM_NA(0.00)[]; MIME_TRACE(0.00)[0:+,1:+,2:~]; ASN(0.00)[asn:1853, ipnet:2001:628::/29, country:AT]; RCVD_TLS_LAST(0.00)[]; MID_RHS_MATCH_FROM(0.00)[]; DMARC_POLICY_SOFTFAIL(0.10)[tuwien.ac.at : No valid SPF, No valid DKIM,none] Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: quoted-printable X-Content-Filtered-By: Mailman/MimeDel 2.1.33 X-BeenThere: freebsd-embedded@freebsd.org X-Mailman-Version: 2.1.33 Precedence: list List-Id: Dedicated and Embedded Systems List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Tue, 11 Aug 2020 14:19:26 -0000 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