Difference between revisions of "FOSSACS 2001"
Jump to navigation
Jump to search
(Created page with "{{Event |Acronym=FOSSACS 2001 |Title=International Conference on Foundations of Software Science and Computation |Ordinal=4 |Series=FOSSACS |Type=Conference |Superevent=ETAPS...") |
|||
Line 15: | Line 15: | ||
|presence=presence | |presence=presence | ||
|has program chair=Furio Honsell, Marino Miculan | |has program chair=Furio Honsell, Marino Miculan | ||
+ | |Submitted papers=63 | ||
+ | |Accepted papers=27 | ||
+ | |has Proceedings DOI=https://doi.org/10.1007/3-540-45315-6 | ||
+ | |has Proceedings Bibliography=https://link.springer.com/book/10.1007%2F3-540-45315-6 | ||
}} | }} | ||
The 4. International Conference on Foundations of Software Science and Computation (FOSSACS) 2001 | The 4. International Conference on Foundations of Software Science and Computation (FOSSACS) 2001 |
Revision as of 10:28, 3 December 2021
FOSSACS 2001 | |
---|---|
International Conference on Foundations of Software Science and Computation
| |
Ordinal | 4 |
Event in series | FOSSACS |
Subevent of | ETAPS 2001 |
Dates | 2001/04/02 (iCal) - 2001/04/06 |
Presence | presence |
Homepage: | https://www.disi.unige.it/etaps2001/FoSSaCS/ |
Location | |
Location: | Genova, Italy |
Papers: | Submitted 63 / Accepted 27 (42.9 %) |
Committees | |
PC chairs: | Furio Honsell, Marino Miculan |
Table of Contents | |
The 4. International Conference on Foundations of Software Science and Computation (FOSSACS) 2001