Trustworthy Intelligent Systems

Skip to content
  • News
  • Members
  • Research
    • Publications
    • Projects
  • Teaching
    • Discrete Mathematics
    • Formal Methods
    • Reinforcement Learning
    • Algorithm Design and Analysis
  • Group activities
  • Contact
  • Sino-Europe institute

We co-organize LICS

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.

This entry was posted in Event on June 21, 2020 by andrea.

Post navigation

← JCST Special Section on Software Systems 2020 Xuechao Sun Passed His Master Thesis Defense →

Recent Posts

  • We organize MEMOCODE 2021
  • 国科大杭州高等研究院2022年招收攻读博士学位研究生简章
  • Jianlin Li Passed His Master Thesis Defense
  • Pengfei Yang Passed His PhD Thesis Defense
  • Junnan Xu Passed His Master Thesis Defense

Admin area

  • Log in
Proudly powered by WordPress