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

Main Menu

Searching By

PARTNERS

Contact us

EC2 2014 - 7th International Workshop on Exploiting Concurrency Efficiently and Correctly

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 (EC)2 2014 is shown below.
Michael Emmi (IMDEA Software Institute) - chair
Malay Ganai (NEC Labs America)
Christoph Kirsch (University of Salzburg)
Akash Lal (Microsoft Research) - chair
Zvonimir Rakamaric (University of Utah)
Murali Talupur (Intel)

Other CFPs

  1. Workshop on Formal Reasoning in Distributed Algorithms
  2. 2nd International Workshop Fun With Formal Methods
  3. Workshop on Horn Clauses for Verification and Synthesis
  4. Higher Order Program Analysis
  5. 3rd International Workshop on Hybrid Systems Biology

Last modified: 2014-01-19 15:01:42