Difference between revisions of "FOSSACS 2001"
Jump to navigation
Jump to search
Line 1: | Line 1: | ||
{{Event | {{Event | ||
|Acronym=FOSSACS 2001 | |Acronym=FOSSACS 2001 | ||
− | |Title=International Conference on Foundations of Software Science and Computation | + | |Title=International Conference on Foundations of Software Science and Computation Structure |
|Ordinal=4 | |Ordinal=4 | ||
|Series=FOSSACS | |Series=FOSSACS | ||
Line 21: | Line 21: | ||
|has Proceedings Bibliography=https://link.springer.com/book/10.1007%2F3-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 Structure (FOSSACS) 2001 |
Revision as of 12:02, 9 December 2021
FOSSACS 2001 | |
---|---|
International Conference on Foundations of Software Science and Computation Structure
| |
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 Structure (FOSSACS) 2001