Changes between Version 24 and Version 25 of Conferences
- Timestamp:
- 06/01/16 21:59:27 (10 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
Conferences
v24 v25 10 10 || NSV || Feb-May || Apr-Jul || Int'l workshop on Numerical Software Verification || || 5/29 || [http://nsv2016.pages.ist.ac.at 7/17–18] || || || || 11 11 || NFM || Feb || Jun || [http://www.wikicfp.com/cfp/program?id=2200&f=NASA%20Formal%20Methods NASA Formal Methods] || || 2/19 || [http://crisys.cs.umn.edu/nfm2016/ 6/7–9] || || || || 12 || FSE || Mar || Nov || Foundations of Software Engineering||12 || FSE || Mar || Nov || [http://www.wikicfp.com/cfp/program?id=1093&%3Bf=Foundations ACM/SIGSOFT Int'l Symp. Foundations of Software Engineering] || || 3/11 || [http://www.cs.ucdavis.edu/fse2016/ 11/13–18] || || || || 13 13 || PACT || Mar || Sep || Parallel Architectures and Compilation Techniques || 14 14 || SCxx || Apr || Nov || Supercomputing: HPC ||
