Amid the recent COVID-19 situation, the organization committee decided that QONFEST 2020, will be organized on-line. Accepted papers will be published as planned, by September 2020, but no physical meeting/presentations will take place. We plan that the authors will record their talks and discuss them with the conference participants online.

Program

  • August 31: Workshops + QEST Tutorials
  • September 1-4: CONCUR Conference
  • September 1-3: FORMATS Conference
  • August 31st - September 3: QEST Conference
  • September 2-3: FMICS Conference
  • September 3-5: Workshops
  • The schedule is according the CEST - Central European Summer Time (Daylight Saving Time)

Current CEST Time
Aug 31 Sep 1 Sep 2 Sep 3 Sep 4 Sep 5
EXPRESS/SOS CONCUR TRENDS
SNR FORMATS
QEST Tutorials QEST
QAVS FMICS
FRIDA
Current CEST Time
QONFEST 2020, Day 1
Monday, August 31st, 2020
CEST Time EXPRESS/SOS SNR
QEST
Tutorial
QAVS
8:45-8:50 Session
SNR1

(A. Griggio's Talk)
8:50-9:00 Opening
9:00-9:45 Session
EXPR/SOS1

(G. Bacci's Talk)
9:45-10:00 Breakout
10:00-10:15 Breakout
10:15-10:30 Session
SNR2

(A. Rauh's Talk)
(N. Musavi's Talk)
(A. Bourgois's Talk)
(L. Jaulin's Talk)
10:30-12:00 Session
EXPR/SOS2

(M. Bouwman's Talk)
(D. Sabel's Talk)
(R. van Glabbeek's Talk)
Tutorial I
Session
QES-Tut1
12:00-12:30 Breakout
12:30-13:00 Breakout
13:00-13:30 Session
EXPR/SOS3

(B. Luttik's Talk)
(D. Varacca's Talk)
13:30-14:00 Breakout
14:00-15:00 Session
SNR3

(H. Schichl's Talk)
15:00-15:05 Breakout Breakout Tutorial II
Session
QES-Tut2
Opening
15:05-15:30 Session
QAVS1

(S. Apel's talk)
(G. Rodrigues's talk)
15:30-16:00 Session
EXPR/SOS4

(R. Kavanagh's talk)
Session
SNR4

(S. Sankaranarayanan's Talk)
16:00-16:35
16:35-17:00 Breakout
17:00-17:10 Closing Session
QAVS2
17:10-17:25 Business
Meeting
17:25-17:40
17:40-18:00
18:00-18:30
Current CEST Time
QONFEST 2020, Day 2
Tuesday, September 1, 2020
CEST Time CONCUR
[DayTeaserTrackA] [DayTeaserTrackB]
FORMATS
[DayTeaser]
QEST
[DayTeaser]
10:55-11:00 Opening (Video)
11:00-12:00 Plenary Speaker (Video)
Annabelle McIver
12:00-13:00 Social Lunch (Video)
Best Paper Awards
(CONCUR, FORMATS, QEST)
13:00-14:15 Session
COS2A
[Teaser]
(Video)
Session
COS2B
[Teaser]
(Video)
Session
FOS2
[Teaser]
(Video)
Session
QES2
[Teaser]
(Video)
14:15-14:45 Breakout
14:45-16:00 Session
COS4A
[Teaser]
(Video)
Session
COS4B
[Teaser]
(Video)
Session
FOS4
[Teaser]
(Video)
Session
QES4
[Teaser]
(Video)
16:00-16:30 Breakout
16:30-17:30 Keynote (Video)
A. Abate
Current CEST Time
QONFEST 2020, Day 3
Wednesday, September 2, 2020
CEST Time CONCUR
[DayTeaserTrackA] [DayTeaserTrackB]
QEST
[DayTeaser]
FMICS
[DayTeaser]
FORMATS
[DayTeaser]
12:00-13:00 Social Lunch (ZOOM)
CONCUR Test-of-Time Award
13:00-13:55 Session
COS6A

[Teaser]
(Video)
Session
COS6B

[Teaser]
(Video)
Session
QES6
[Teaser]
(Video)
Keynote
(Video)
S. Resch
Session
FOS6
[Teaser]
(Video)
13:55-14:15 Session
FMS6
[Teaser]
(Video)
14:15-14:45 Breakout
14:45-16:00 Session
COS8A
[Teaser]
(Video)
Session
COS8B
[Teaser]
(Video)
Session
QES8
[Teaser]
(Video)
Session
FMS8
[Teaser]
(Video)
Session
FOS8
[Teaser]
(Video)
16:00-16:30 Breakout
16:30-17:30 Keynote (Video)
T. Henzinger
17:30-17:45 Breakout Breakout
17:45-18:00 Session
FMS10
[Teaser]
(Video)
18:00-19:00
Current CEST Time
QONFEST 2020, Day 4
Thursday, September 3, 2020
CEST Time CONCUR
[DayTeaserTrackA] [DayTeaserTrackB]
FORMATS
[DayTeaser]
FMICS
[DayTeaser]
QEST
[DayTeaser]
12:00-13:00 Social Lunch (ZOOM)
FMICS best paper award
13:00-14:15 Session
COS11A
[Teaser]
(Video)
Session
COS11B
[Teaser]
(Video)
Session
FOS11
[Teaser]
(Video)
Session
FMS11
[Teaser]
(Video)
Session
QES11
[Teaser]
(Video)
14:15-14:45 Breakout
14:45-15:05 Session
COS13A
[Teaser]
(Video)
Session
COS13B
[Teaser]
(Video)
Session
FOS13
[Teaser]
(Video)
Session
FMS13
[Teaser]
(Video)
Session
QES13
[Teaser]
(Video)
15:05-16:00 FMICS
25th
Birthday
(Panel)

(Video)
16:00-16:30 Breakout
16:30-17:30 Keynote (Video)
R. Bloem
Keynote
(Video)
E. Smirni
17:30-18:00 Breakout
CONCUR FRIDA
18:00-19:00 Business Meeting
(Public Event)
QONFEST21 announcement
Session
FRIDA1
(Y. Feldman's Talk)
(L. Astefanoaei's Talk
(M. Lesani's Talk)
19:00-20:00
Current CEST Time
QONFEST 2020, Day 5
Friday, September 4, 2020
CEST Time CONCUR
[DayTeaserTrackA] [DayTeaserTrackB]
12:00-13:00
13:00-14:15 Session
COS17A
[Teaser]
(Video)
Session
COS17B
[Teaser]
(Video)
14:15-14:45 Breakout
14:45-16:00 Session
COS19
[Teaser]
(Video)
16:00-16:30 Breakout
16:30-17:30 Keynote (Video)
C. Palamidessi
17:30-18:00 Breakout
FRIDA
18:00-20:00 Session
FRIDA2
(D. Zufferey's Talk)
(M. Carbone's Talk
(M. J. Gabbay's Talk)
Current CEST Time
QONFEST 2020, Day 6
Saturday, September 5, 2020
CEST Time TRENDS
8:30-13:30 Session
TRENDS1
(A. Sokolova's Talk)
(G. Petri's Talk)
FRIDA
18:00-20:00 Session
FRIDA3
(A.R. Balasubramanian's Talk)
(B. Bonakdarpour's Talk
(J. R. Wilcox's Talk)

Sponsors

Platinum

Interchain

Silver

VCLA TU Wien

Bronze

ERCIM Springer