CONFLIST_2020

CONFLIST_2020.md

• HSCC 2021

  • https://hscc.acm.org/2021/

• Applied Verification for Continuous and Hybrid Systems

  • https://cps-vo.org/group/ARCH

• FORMATS 2020

  • https://formats-2020.cs.ru.nl/#call
  • Abstract Submission deadline: April 4, 2020

• IFAC 2020

  • https://www.ifac2020.org/
  • https://www.ifac2020.org/program/workshops/set-based-methods-in-estimation-and-control/
  • https://www.ifac2020.org/program/workshops/applied-verification-for-continuous-and-hybrid-systems/

• Summer Workshop on Interval Methods

  • https://swim2019.ensta-paris.fr/

• Computer Aided Verification

  • http://i-cav.org/2020/call-for-papers/
  • Paper submission deadline: January 28, 2020

• NASA Formal Methods 2020

  • https://ti.arc.nasa.gov/events/nfm-2020/

• NASA Formal Methods 2021

  • https://shemesh.larc.nasa.gov/nfm2021/

• EMSOFT

  • https://esweek.org/emsoft/about

• https://www.ieee-tdla2020.org/

• http://www.casc-conference.org/2020/casc2020.html