Skip to content

TASE 2026

Theoretical Aspects of Software Engineering

Software Engineering

Cycle closed, awaiting the next call

All deadlines

AbstractMar 1, 2026est.
Paper submissionMar 7, 2026est.

From past proceedings

Papers in TASE's main DBLP volume each year, not official acceptance counts.

Full proceedings stats →

Papers in 2025

22

main DBLP volume

5-year change

-24%

vs 2020

Papers, all years

619

20 years since 2007

Authors per paper

3.5

3.5 in 2015

By an entirely new team

50%

of 2025 papers

Papers per year2007 to 2025
2007: 48 papers2008: 41 papers2009: 57 papers2010: 24 papers2011: 39 papers2012: 42 papers2013: 35 papers2014: 29 papers2015: 22 papers2016: 26 papers2017: 19 papers2018: 20 papers2019: 36 papers2020: 29 papers2021: 27 papers2022: 27 papers2023: 21 papers2024: 27 papers2025: 22 papers
Read the 2025 proceedingsProceedings ↗DBLP ↗

Top keywords, 2025

formalverificationformal verificationprogramdynamicgenerationlanguageneuralweighting

Venues like TASE

  1. ICFEM International Conference on Formal Engineering Methods0.29automataevent-bformaltimed automata
  2. SETTA Symposium on Dependable Software Engineering: Theories, Tools and Applications0.28concurrent objectsformalformal verificationcoq
  3. FM International Symposium on Formal Methods0.21automataformalverificationverifying
  4. CAV International Conference on Computer-Aided Verification0.19verifyingverificationautomataverified

Most published at TASE

  1. Huibiao Zhu2007 to 202629
  2. Shengchao Qin2007 to 202619
  3. Zongyan Qiu2007 to 201713
  4. Zhenhua Duan2007 to 202411
  5. Ming Gu2008 to 201911

Who publishes here

2026 · papers count once per institution on them

Academia 79%Industry 0%Government and other 21%

Institutions

  1. 1East China Normal University🇨🇳7
  2. 2Peking University🇨🇳6
  3. 3Shanghai Jiao Tong University🇨🇳4
  4. 4Xidian University🇨🇳3
  5. 5Huaqiao University🇨🇳2
  6. 6Chinese Academy of Sciences🇨🇳2
  7. 7Hong Kong University of Science and Technology🇭🇰2
  8. 8Shanghai Key Laboratory of Trustworthy Computing🇨🇳2

Countries

  1. China21
  2. Hong Kong SAR China2
  3. Denmark1
  4. France1
  5. United Kingdom1
  6. India1

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.