HSCC 2027
International Conference on Hybrid Systems: Computation and Control
Theory
28days left
Abstract · Oct 29, 2026 ✓ verified
Approaching · deadline is AoE (UTC-12)
All deadlines
AbstractOct 29, 2026✓ verified
Paper submissionNov 5, 2026✓ verified
From past proceedings
Papers in HSCC's main DBLP volume each year, not official acceptance counts.
Papers in 2025
30
main DBLP volume
5-year change
-9%
vs 2020
Papers, all years
1,225
33 years since 1992
Authors per paper
3.9
3.5 in 2015
By an entirely new team
17%
of 2025 papers
Papers per year1992 to 2025
Top keywords, 2025
controlsynthesishybridautomatacyber-physicaldynamicalfunctionsnonlinearstabilitystochasticabstractionsbehaviors
Venues like HSCC
- CAV International Conference on Computer-Aided Verification0.16reachabilitycertificatessynthesistemporal logic
- ATVA International Symposium on Automated Technology for Verification and Analysis0.14hybrid automatatemporal logicsynthesislogic
- FM International Symposium on Formal Methods0.12reachabilitytemporal logicfalsificationlogic
- CONCUR International Conference on Concurrency Theory0.11reachabilitytemporal logicmean-payofflogic
Most published at HSCC
- Shankar Sastry1994 to 201035
- John Lygeros1994 to 201534
- George J. Pappas1996 to 202231
- Claire J. Tomlin1996 to 201923
- Sriram Sankaranarayanan2004 to 202523
Who publishes here
2024 to 2025 · papers count once per institution on them
Academia 79%Industry 0%Government and other 21%
Institutions
- 1Newcastle University🇬🇧8
- 2University of Colorado Boulder🇺🇸7
- 3University of Illinois Urbana-Champaign🇺🇸5
- 4UCLouvain🇧🇪5
- 5University of Oxford🇬🇧4
- 6Centre National de la Recherche Scientifique🇫🇷3
- 7Max Planck Institute for Software Systems🇩🇪3
- 8Eindhoven University of Technology🇳🇱3
Countries
- United States15
- United Kingdom7
- Germany3
- Netherlands3
- Belgium2
- Canada2
Affiliations from OpenAlex for the papers DBLP lists. A paper with authors from three institutions counts for each of them; the split above is over the top institutions.