All conferences / Cities / China / Shanghai
Shanghai 🇨🇳
上海
Editions held here
| Year | Conference | Held | Paper deadline |
|---|---|---|---|
| 2026 | TASE International Symposium on Theoretical Aspects of Software Engineering | 4–6 Jul 2026 | 7 Mar 2026 |
| 2022 | EMSOFT International Conference on Embedded Software | 7–14 Oct 2022 | 7 Apr 2022 |
| 2022 | MEMOCODE ACM-IEEE International Symposium on Formal Methods and Models for System Design | 13–14 Oct 2022 | 3 Jun 2022 |
| 2019 | SETTA International Symposium on Dependable Software Engineering: Theories, Tools and Applications | 27–29 Nov 2019 | 5 Jul 2019 |
| 2016 | TASE International Symposium on Theoretical Aspects of Software Engineering | 17–19 Jul 2016 | 17 Jan 2016 |
| 2015 | ATVA International Symposium on Automated Technology for Verification and Analysis | 12–15 Oct 2015 | 2 May 2015 |