Share Your Research, Maximize Your Social Impacts
Main Menu
Searching By
PARTNERS
ACL2 2014 - 12th International Workshop on the ACL2 Theorem Prover and its Applications
Date2014-07-09 - 2014-07-23
Deadline2014-03-10
VenueVienna, Austria 
Keywords
Websitehttps://vsl2014.at/floc-ws
Topics/Call fo Papers
ACL2'14 is the International Workshop on the ACL2 Theorem Prover and its Applications.
Other CFPs
- 10th International Workshop on Automated Specification and Verification of Web Systems
- International Congress on Industrial Electronics 2014
- 21st RCRA International Workshop on “Experimental Evaluation of Algorithms for solving problems with combinatorial explosion”
- 9th International Workshop on Logical Frameworks and Meta-languages: Theory and Practice
- 10th International Workshop on Developments in Computational Models
Last modified: 2014-01-19 15:12:55