ETAPS is a confederation of several conferences, each with its own Programme Committee and Steering Committee. ETAPS is the most important and visible annual European event related to software sciences. Altogether, more than 500 researchers participate in this event every year. The confederated conferences cover various aspects of software systems, ranging from theoretical foundations to programming language developments, compiler advancements, analysis tools, formal approaches to software engineering, and security.

A gather.town room will be open during the whole conference, which can be found here:

https://gather.town/app/nSgVv0DDYoCkmdkP/ETAPS2021

Password: Luxembourg2021

This can be used to meet in the coffee breaks.

 PDF's of the papers are available on https://etaps.org/2021/programme

European Joint Conferences on Theory and Practice of Software 2021

Please join us for the Award Ceremony via this zoom link: https://zoom.us/j/97497335339?pwd=bEhyYmlwZkpxZEFNZldxQ0FSVmhyZz09

Award Ceremony

Invited Speaker: Willem Visser

Invited tutorial: Madhusudan Parthasararathy

Invited Tutorial: Madhusudan Parthasararathy

Invited speaker session with Scott Smolka

Invited Speaker: Scott Smolka

Invited Tutorial: Erika Ábrahám

Invited Speaker: Isil Dillig

Opening Session

An O(m log n) algorithm for branching bisimilarity on labelled transition systems

Quasipolynomial Computation of Nested Fixpoints

Congruences Adequate with Temporal Logics Combining Weak and Strong Modalities

On Satisficing in Quantitative Games

Bounded Model Checking for Hyperproperties

A Game for Linear-time–Branching-time Spectroscopy

Generating Extended Resolution Proofs with a BDD-Based SAT Solver

TACAS - Game Theory/Model Checking session chaired by Marcin Jurdzinski.

TACAS: Game Theory/Model Checking

FASE: Software Verification/Program Analysis session chaired by Paolo Bottoni