Home
Committees
Organizing Committee
Steering Committee
Calls
Call for Paper
Call for Workshop Proposals
Program
Keynotes
Invited Speakers
Best Paper
Practical Info
Visa
Venue
Things to do
Registration
Accepted Papers
Camera-ready Submission
Contact
Sponsorship
Register!
Home
Committees
Organizing Committee
Steering Committee
Calls
Call for Paper
Call for Workshop Proposals
Program
Keynotes
Invited Speakers
Best Paper
Practical Info
Visa
Venue
Things to do
Registration
Accepted Papers
Camera-ready Submission
Contact
Sponsorship
Programme
Day 1
September 6, 2022
Day 2
September 7, 2022
Registration
9:00
Keynote, Maria Papadopouli: Identifying Neuronal Modules of Communication in Primary Visual Cortex
9:30
Coffee break
10:30
D. Smuseva, A. Marin, and S. Rossi: Selfish Mining in Public Blockchains: A Quantitative Analysis
11:15
A. Garnaev and W. Trappe: An Anti-Jamming Game When None Player Knows Rival’s Channel Gain
10:45
(ONLINE) Eshwar S.R., S. Kolathaya and G. Thoppe, Improving Sample Efficiency in Evolutionary RL Using Off-Policy Ranking
11:45
M. Sanchez and J. Doncel, Efficiency of Symmetric Nash Equilibria in Epidemic Models with Confinements (WIP)
12:15
Lunch Break
12:30
Poster Session
13:30
M. Straesser et al, Kubernetes-in-the-Loop: Enriching Microservice Simulation Through Authentic Container Orchestration
15:00
M. Niehage and A. Remke, The best of both worlds: Analytically-guided simulation of HPnGs for optimal reachability
14:30
Gala Dinner in Parasties Heraklion Restaurant – Crete
19:00
Keynote: Aad van Moorsel, Models for Blockchain and Decentralised Systems
9:30
Coffee break
10:30
G. Stamatiou and K. Magoutis, Quantum-enhanced control of a tandem queue system
10:45
L. Maile, K. Hielscher and R. German, Combining Static and Dynamic Traffic with Delay Guarantees in Time-Sensitive Networking
11:15
(ONLINE) Pavamana KJ and C. Singh, Caching Contents with Varying Popularity using Restless Bandits
11:45
Lunch Break
12:30
A. Hartl, F. Iglesias and T. Zseby, dSalmon: High-Speed Anomaly Detection for Evolving Multivariate Data Streams
14:30
Poster Session
13:30
Departure to Knoss Trip
17:00
J. Delicaris, J. Stübbe, S. Schupp and A. Remke. RealySt: A C++ Tool for Optimizing Reachability Probabilities in Stochastic Hybrid Systems (Tool Paper)
15:00
