ResearchBib Share Your Research, Maximize Your Social Impacts
Sign for Notice Everyday Sign up >> Login

Main Menu

Searching By

PARTNERS

Contact us

VeriSure 2014 - Second VeriSure Workshop

Date2014-07-09 - 2014-07-23

Deadline2014-03-10

VenueVienna, Austria Austria

Keywords

Websitehttps://vsl2014.at/floc-ws

Topics/Call fo Papers

The program committee of VeriSure 2014 is shown below.
John Rushby (SRI International) - chair

Other CFPs

  1. Second International Workshop on Verification and Program Transformation
  2. Working Conference on Verified Software: Theories, Tools, and Experiments
  3. 5th International Workshop on Invariant Generation
  4. 14th International Workshop on Termination
  5. International Congress on Sensor Networks 2014

Last modified: 2014-01-19 14:56:28