Visiting VeriVITAL

Technical Societies

Publication Venues

Conference lists

  • CPS Week
  • HSCC
  • NASA Formal Methods
  • To add: FM, FMCAD, RTSS, RTAS, ICCPS, EMSOFT, CAV, TACAS, VMCAI, ATVA, SPIN, FORTE, SSS, ICDCS, FORMATS, QEST, CONCUR
  • Real-time: RTCSA (http://tcrts.org/2015/02/19/rtcsa-2015-cfp/), CPSNA (http://tcrts.org/2015/02/19/cpsna-2015-cfp/)
  • Other great venues, but haven't pursued: POPL, PLDI, OSDI, PODC, DISC
  • SAFECOMP

Journals lists

Relevant journals

Conferences versus Journals, particularly in computer science. The moral of the story and best advice is: publish in the best possible venues, regardless of whether they are conferences or journals, i.e., focus on quality and publish in both.