caml-list - the Caml user's mailing list
 help / Atom feed
* [Caml-list] Call for Participation - CONCUR 2020 - 31th International Conference on Concurrency Theory part of QONFEST 2020 - ONLINE (Vienna, Austria) - September 1-4, 2020
       [not found] <08e401d66fe8$589edb70$09dc9250$@tuwien.ac.at>
@ 2020-08-11 14:12 ` Mihaela Rozman
  0 siblings, 0 replies; 1+ messages in thread
From: Mihaela Rozman @ 2020-08-11 14:12 UTC (permalink / raw)
  To: caml-list

[-- Attachment #1: Type: text/plain, Size: 2454 bytes --]

CONCUR 2020 - Call for Participation

====================================

 

Early Registration Deadline: 13 August 2020 

https://concur2020.forsyte.at 

 

====================================

 

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.

 

================

Keynote speakers

================

 

-Roderick Bloem - TU Graz (Austria)

 

-Thomas A. Henzinger - IST (Austria)

 

-Annabelle McIver - Macquarie University (Australia)

 

-Catuscia Palamidessi - INRIA Saclay and LIX (France)

 

================

High-quality papers

===================

 

CONCUR 2020 features 45 high-quality papers:

 

https://concur2020.forsyte.at/accepted.html 

 

The program of CONCUR 2020 can be found at:

 

https://easychair.org/smart-program/CONCUR20 

 

====================================

Co-located conferences and workshops

====================================

 

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 

 

============

Registration

============

 

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://qonfest2020.github.io/registration.html 

 

==================

Organizing Committee

==================

 

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)

 


[-- Attachment #2: Type: text/html, Size: 11617 bytes --]

^ permalink raw reply	[flat|nested] 1+ messages in thread

only message in thread, back to index

Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
     [not found] <08e401d66fe8$589edb70$09dc9250$@tuwien.ac.at>
2020-08-11 14:12 ` [Caml-list] Call for Participation - CONCUR 2020 - 31th International Conference on Concurrency Theory part of QONFEST 2020 - ONLINE (Vienna, Austria) - September 1-4, 2020 Mihaela Rozman

caml-list - the Caml user's mailing list

Archives are clonable: git clone --mirror https://inbox.ocaml.org/caml-list

AGPL code for this site: git clone https://public-inbox.org/ public-inbox