caml-list - the Caml user's mailing list
 help / color / mirror / Atom feed
From: Mihaela Rozman <mihaela.rozman@tuwien.ac.at>
To: <caml-list@inria.fr>
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
Date: Tue, 11 Aug 2020 16:11:52 +0200	[thread overview]
Message-ID: <09e801d66fe9$5ca7eb20$15f7c160$@tuwien.ac.at> (raw)
In-Reply-To: 

[-- 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 --]

           reply	other threads:[~2020-08-11 14:12 UTC|newest]

Thread overview: expand[flat|nested]  mbox.gz  Atom feed
 [parent not found: <08e401d66fe8$589edb70$09dc9250$@tuwien.ac.at>]

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to='09e801d66fe9$5ca7eb20$15f7c160$@tuwien.ac.at' \
    --to=mihaela.rozman@tuwien.ac.at \
    --cc=caml-list@inria.fr \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).