Skip site navigation (1)Skip section navigation (2)
Date:      Tue, 11 Aug 2020 16:19:18 +0200
From:      Mihaela Rozman <mihaela.rozman@tuwien.ac.at>
To:        <freebsd-embedded@freebsd.org>
Subject:   Call for Participation - CONCUR 2020 - 31th International Conference on Concurrency Theory part of QONFEST 2020 - ONLINE (Vienna, Austria) - September 1-4, 2020 
Message-ID:  <0bd601d66fea$66575c40$330614c0$@tuwien.ac.at>
References:  <08e401d66fe8$589edb70$09dc9250$@tuwien.ac.at> 

next in thread | previous in thread | raw e-mail | index | archive | help
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




Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?0bd601d66fea$66575c40$330614c0$>