ETAPS 2019: Difference between revisions
No edit summary |
No edit summary |
||
| Line 14: | Line 14: | ||
|Accepted papers=137 | |Accepted papers=137 | ||
}} | }} | ||
'''Co-hosted Conferences''' | |||
* ESOP | * ESOP | ||
* FASE | * FASE | ||
* FOSSACS | * FOSSACS | ||
* POST | * POST | ||
* [[TACAS | * [[TACAS 2019]] | ||
'''Workshops''' | '''Workshops''' | ||
Revision as of 15:23, 16 July 2020
| ETAPS 2019 | |
|---|---|
22nd European Joint Conferences on Theory and Practice of Software
| |
| Event in series | ETAPS |
| Dates | 2019/04/06 (iCal) - 2019/04/11 |
| Homepage: | https://conf.researchr.org/home/etaps-2019 |
| Location | |
| Location: | Prague, Czech Republic |
| Papers: | Submitted 436 / Accepted 137 (31.4 %) |
| Committees | |
| General chairs: | Jan Kofroň, Jan Vitek |
| Keynote speaker: | Kathleen Fisher, Thomas Colcombet, Marsha Chechik, Cormac Flanagan |
| Table of Contents | |
Co-hosted Conferences
- ESOP
- FASE
- FOSSACS
- POST
- TACAS 2019
Workshops
- BEHAPI
- CREST
- DICE-FOPARA
- GaLoP
- HCVS
- HSB
- InterAVT
- LiVe
- MeTRiD
- PERR
- PLACES
- QAPL
- SPIoT
- SYNT Camp
- SynCoP
- VerifyThis