Difference between revisions of "FOSSACS 2020"
Jump to navigation
Jump to search
Line 1: | Line 1: | ||
{{Event | {{Event | ||
|Acronym=FOSSACS 2020 | |Acronym=FOSSACS 2020 | ||
− | |Title= | + | |Title=International Conference on Foundations of Software Science and Computation Structures |
+ | |Ordinal=23 | ||
|Series=FOSSACS | |Series=FOSSACS | ||
|Type=Conference | |Type=Conference | ||
Line 7: | Line 8: | ||
|Start date=2020/04/27 | |Start date=2020/04/27 | ||
|End date=2020/04/30 | |End date=2020/04/30 | ||
+ | |Submission deadline=2019/10/24 | ||
|Homepage=https://www.etaps.org/2020/fossacs | |Homepage=https://www.etaps.org/2020/fossacs | ||
+ | |TibKatId=1697215289 | ||
+ | |gndId=1212463382 | ||
+ | |DblpConferenceId=fossacs/fossacs2020 | ||
|City=Dublin | |City=Dublin | ||
|Country=Ireland | |Country=Ireland | ||
− | |presence= | + | |presence=online |
+ | |Submitting link=https://easychair.org/account/signin?l=NnJh4s2sXoC5hqXMlivIo4# | ||
|has general chair=Tiziana Margaria | |has general chair=Tiziana Margaria | ||
|has program chair=Barbara König, Jean Goubault-Larrecq | |has program chair=Barbara König, Jean Goubault-Larrecq | ||
Line 17: | Line 23: | ||
|Accepted papers=31 | |Accepted papers=31 | ||
}} | }} | ||
− | The | + | The 23. International Conference on Foundations of Software Science and Computation Structure (FOSSACS) 2020 |
==Topics== | ==Topics== |
Revision as of 09:13, 10 December 2021
FOSSACS 2020 | |
---|---|
International Conference on Foundations of Software Science and Computation Structures
| |
Ordinal | 23 |
Event in series | FOSSACS |
Subevent of | ETAPS 2020 |
Dates | 2020/04/27 (iCal) - 2020/04/30 |
Presence | online |
Homepage: | https://www.etaps.org/2020/fossacs |
Submitting link: | https://easychair.org/account/signin?l=NnJh4s2sXoC5hqXMlivIo4# |
Location | |
Location: | Dublin, Ireland |
Important dates | |
Submissions: | 2019/10/24 |
Papers: | Submitted 98 / Accepted 31 (31.6 %) |
Committees | |
General chairs: | Tiziana Margaria |
PC chairs: | Barbara König, Jean Goubault-Larrecq |
Keynote speaker: | Scott Smolka |
Table of Contents | |
The 23. International Conference on Foundations of Software Science and Computation Structure (FOSSACS) 2020