Conferences And Workshops
Rankings and Calls for Papers (CFPs)
- Considered in rankings http://csrankings.org/ (marked in red below.)
- List of HPC Conferences
- List of CS conferences
- Rankings
HPC, Performance Evaluation, and Simulation
- iWAPT: mid Dec - Jan
- HPCS: Jan
- HPDC: early Jan (csrankings.org)
- Mining Software Repositories (MSR): mid Jan
- International Conference on Supercomputing (ICS): late Jan, early Feb (csrankings.org)
- EuroPar: Mid Feb
- ICPP: early Mar
- PACT: late Feb - mid March
- SC: late March, early April (csrankings.org)
- SPLASH/OOPSLA: early April
- IEEE MASCOTS: early Apr
- ENAHPC (energy): mid April
- International Symposium on High-Level Parallel Programming and Applications (HLPP): mid Apr
- International Symposium on Parallel and Distributed Computing (ISPDC): mid Apr
- IEEE Cluster: May
- HPCMASPA Workshop: May 11
- GRADES20XX: Graph Data-management Experiences & Systems: mid-May
- SBAC-PAD: mid May
- HiPC: early June
- IEEE Big Data: mid July
- Sigmetrics - Aug
- International Conference on Software Engineering (ICSE) - Aug
- WACCPD WS(SC15) accel, power: Aug 22
- CGO (code gen and opt): August 29
- ISPA IEEE International Symposium on Parallel and Distributed Processing with Applications: Aug 31
- PPOPP: early Sept
- PMBS SC Workshop: early Sept
- HPCA (perf/power mod and opt): early Sep
- International Conference on Image Analysis and Processing ICIAP: Sep
- PDP (Parallel, Distributed, and Network-Based Processing): mid Sep
- IPDPS : early Oct
- ICPE Performance Engineering: early Oct
- SIGMETRICS: Oct-Nov
- PASC: DEC
- CCGrid: Dec
- High-performance Computing Symposium (HPCS): Dec
- ISC: Dec
Software Engineering
- ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA): late Jan
- The ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE): Late Feb
- ICSE: Feb
- |ASE: mid-April
Formal Methods
| Name | Deadline | Page Limit & Notes |
|---|---|---|
| IEEE ARITH: | Mid Jan. | |
| CAV: | Late Jan. | 20 pg. LNCS |
| Computer Aided Verification: | Early Feb. | |
| SNAPL: | Mid-Feb. | Every odd year |
| ICFP: | Mar. | csrankings |
| ITP: | Late Mar. | |
| SAS: | Late Apr. | Every 2 years. |
| NSV: | Late Apr. | 15 pg. LNCS |
| World Congress on Formal Methods: | 2021 cfp May 6. | Not every year |
| ATVA(Automated Technology for Verification and Analysis): | Early May. | Mostly temporal logic. |
| SEFM (Software Engineering for Formal Methods): | Early May. | |
| POPL: | early Jul. | csrankings |
| TACAS/ETAPS: | Mid Oct. | Joint call. |
| PLDI: | Mid Nov. | csrankings |