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

Main Menu

Searching By

PARTNERS

Contact us

ASA 2014 - 7th International Workshop on Analysis of Security APIs

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 ASA7 is shown below.
Graham Steel (INRIA) - chair

Other CFPs

  1. International Joint Workshop on Implementation of Constraint and Logic Programming Systems and Logic-based Methods in Programming Environments 2014
  2. 7th International Workshop on Exploiting Concurrency Efficiently and Correctly
  3. Workshop on Formal Reasoning in Distributed Algorithms
  4. 2nd International Workshop Fun With Formal Methods
  5. Workshop on Horn Clauses for Verification and Synthesis

Last modified: 2014-01-19 15:05:35