Changes between Initial Version and Version 1 of Conferences


Ignore:
Timestamp:
02/24/16 13:39:43 (10 years ago)
Author:
siegel
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • Conferences

    v1 v1  
     1
     2
     3|| Name || deadline ||  conf || subject ||
     4|| SPIN ||  Jan ||   Apr  || (model checking)
     5CAV:     Jan   Jul  (Computer Aided Verification)
     6ISSTA:   Jan   Jul  (software testing, analysis)
     7FMo:     Jan   Jun  (Formal Methods)
     8EuroPar: Feb   Aug  (European Parallel Computing)
     9NFM:     Feb   Jun  (NASA Formal Methods)
     10FSE:     Mar   Nov  (Foundations of Software Engineering) 
     11SCxx:    Apr   Nov  (Supercomputing: HPC)
     12ISOLA:   Apr   Oct  (Intl Symposium On Leveraging Apps of formal methods,
     13                     verification, and validation)
     14ASE:     Apr   Sep  (Automated Software Engineering)
     15EuroMPI: May   Sep  (MPI)
     16FMe:     May   Nov 
     17POPL:    Jul   Jan  (Principles of Programming Languages, 12 ACM pages)
     18ICSE:    Sep   May  (Intl Conference on Software Engineering)
     19PPoPP:   Sep   Feb  (Principles & Practices of Parallel Programming)
     20TACAS:   Sep   Apr  ()
     21VMCAI:   Sep   Jan  (Verification, Model Checking, Abstract Interpretation) 
     22PLDI:    Nov   Jun  (compilers, programming languages)