LICS 2020 is co-organized by the Probabilistic Model Checking team at ISCAS and Dependable team at Saarland University.
For 2020, LICS is a virtual meeting, with talks, tutorials, and workshops given online.
LICS 2020 is co-organized by the Probabilistic Model Checking team at ISCAS and Dependable team at Saarland University.
For 2020, LICS is a virtual meeting, with talks, tutorials, and workshops given online.