Difference between revisions of "ETAPS 2019"
Jump to navigation
Jump to search
Line 1: | Line 1: | ||
{{Event | {{Event | ||
|Acronym=ETAPS 2019 | |Acronym=ETAPS 2019 | ||
− | |Title= | + | |Title=European Joint Conferences on Theory and Practice of Software |
+ | |Ordinal=22 | ||
|Series=ETAPS | |Series=ETAPS | ||
|Type=Conference | |Type=Conference | ||
− | |||
|Start date=2019/04/06 | |Start date=2019/04/06 | ||
|End date=2019/04/11 | |End date=2019/04/11 | ||
|Homepage=https://conf.researchr.org/home/etaps-2019 | |Homepage=https://conf.researchr.org/home/etaps-2019 | ||
+ | |gndId=1183926626 | ||
+ | |DblpConferenceId=etaps/index | ||
|City=Prague | |City=Prague | ||
|Country=Czech Republic | |Country=Czech Republic | ||
+ | |presence=presence | ||
|has general chair=Jan Kofroň, Jan Vitek | |has general chair=Jan Kofroň, Jan Vitek | ||
|has Keynote speaker=Kathleen Fisher, Thomas Colcombet, Marsha Chechik, Cormac Flanagan | |has Keynote speaker=Kathleen Fisher, Thomas Colcombet, Marsha Chechik, Cormac Flanagan | ||
Line 15: | Line 18: | ||
|Accepted papers=137 | |Accepted papers=137 | ||
}} | }} | ||
+ | The 22. European Joint Conferences on Theory and Practice of Software (ETAPS) 2019 | ||
+ | |||
+ | |||
+ | |||
+ | |||
+ | |||
+ | |||
'''Co-hosted Conferences''' | '''Co-hosted Conferences''' | ||
* ESOP | * ESOP |
Revision as of 13:22, 23 December 2021
ETAPS 2019 | |
---|---|
European Joint Conferences on Theory and Practice of Software
| |
Ordinal | 22 |
Event in series | ETAPS |
Dates | 2019/04/06 (iCal) - 2019/04/11 |
Presence | presence |
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 | |
The 22. European Joint Conferences on Theory and Practice of Software (ETAPS) 2019
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