Probabilistic Model Checking Team @ ISCAS

Skip to content
  • Home
  • The Team
    • Lijun Zhang
    • David N. Jansen
    • Andrea Turrini
    • Yong Li (李勇)
    • Students
    • Visitors
  • Students
  • Tools/Case studies
  • Publications
  • Events
    • 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 →

IscasMC Web Access

Username:
Password:
Username(*):
Password(*):
Repeat Password(*):
Email Address(*):
First Name:
Last Name:

Recent Posts

  • Junnan Xu Passed His Master Thesis Defense
  • Xuechao Sun Passed His Master Thesis Defense
  • We co-organize LICS
  • JCST Special Section on Software Systems 2020
  • SKLCS seminar on“Automata for Profit and Pleasure”

Admin area

  • Log in
Proudly powered by WordPress