Home / Venues / Computer science / HSCC
HSCC
Computer scienceTheory
Paper deadline
Not announcedLast deadline 2026-11-05; next edition not announced yet.
- Edition
- May 17-20, 2027
- Where
- Boulder, Colorado, USA
How much it publishes
Where its authors come from
Share of the 91 papers since 2023 with at least one author in each country.
| Country | Share of papers |
|---|---|
| United States | 49% |
| Germany | 21% |
| United Kingdom | 20% |
| Netherlands | 10% |
| France | 9% |
Main subject areas of those papers:
| Subject area | Share of papers |
|---|---|
| Formal Methods in Verification | 77% |
| Stability and Control of Uncertain Systems | 3% |
| Advanced Control Systems Optimization | 3% |
| Control Systems and Identification | 3% |
| Smart Grid Security and Resilience | 2% |
| Model Reduction and Neural Networks | 2% |
Most cited papers since 2023
- Fossil 2.0: Formal Certificate Synthesis for the Verification and Control of Dynamical Models (2024, 27 citations)
- Conformal Quantitative Predictive Monitoring of STL Requirements for Stochastic Processes (2023, 23 citations)
- TOOL LyZNet: A Lightweight Python Tool for Learning and Verifying Neural Lyapunov Functions and Regions of Attraction (2024, 19 citations)
- Quantitative Verification for Neural Networks using ProbStars (2023, 14 citations)
- An STL-based Approach to Resilient Control for Cyber-Physical Systems (2023, 14 citations)
Past deadlines
When the paper deadline fell in recent years: a good guide to when the next call will close.
| Edition | Paper deadline | Where |
|---|---|---|
| 2027 | 2026-11-05 | Boulder, Colorado, USA |
| 2026 | 2025-11-13 | Saint Malo, France |
| 2025 | 2024-11-14 | Irvine, California, USA |
| 2024 | 2023-10-31 | Hong Kong, China |
| 2023 | 2022-10-31 | San Antonio, Texas, USA |
| 2022 | 2021-10-29 | Online |
Official rankings
Computer science ranks its conferences. We don't reproduce the lists; check HSCC on each:
- CORE conference ranking (A*, A, B, C): what CORE ranks mean
- CCF recommended list (A, B, C): what CCF classes mean
- Proceedings on DBLP
More theory deadlines
| Meeting | Deadline |
|---|---|
| SOCGInternational Symposium on Computational Geometry | 2 Dec 2026 |
| ISITIEEE International Symposium on Information Theory | 10 Jan 2027 |
| CAVInternational Conference on Computer-Aided Verification | 20 Jan 2027 |
| CADEThe Conference on Automated Deduction | 22 Feb 2027 |
| FSCDInternational Conference on Formal Structures for Computation and Deduction | 26 Apr 2027 |
| PacificVisIEEE Pacific Visualization Symposium | 9 Nov 2026 |
| NOMSIEEE/IFIP Network Operations and Management Symposium | 9 Nov 2026 |
| ICDEIEEE International Conference on Data Engineering | 11 Nov 2026 |
Submitting to HSCC? DeskReady checks your final PDF against itself before you do: numbers against the tables, claims against the results, figures against their captions, every reference against the databases. Each finding is highlighted on your own page. The first check is free.
Check your paperOnly the reference list? Check it free, no account needed.
Deadlines from public conference data and the official site, checked 2026-11-09 (Data sources). Dates change: confirm on the official site before you submit. DeskReady is not affiliated with HSCC.