We co-organize LICS

LICS 2020 is co-organized by the Probabilistic Model Checking team at ISCAS and the Dependable team at Saarland University.

For 2020, LICS is a virtual meeting, with talks, tutorials, and workshops given online.