Curator 75 (talk | contribs) |
Curator 75 (talk | contribs) |
||
| Line 11: | Line 11: | ||
|Venue=University of Genoa, Dipartimento di Informatica e Scienze dell'Informazione | |Venue=University of Genoa, Dipartimento di Informatica e Scienze dell'Informazione | ||
|City=Genova | |City=Genova | ||
| + | |Region=Ligurian | ||
|Country=Country:IT | |Country=Country:IT | ||
| + | |Academic Field=Software Engineering | ||
|Official Website=https://www.disi.unige.it/etaps2001/ | |Official Website=https://www.disi.unige.it/etaps2001/ | ||
| + | |Hashtag=TACAS 2001 | ||
|Type=Conference | |Type=Conference | ||
|Superevent=ETAPS 2001 | |Superevent=ETAPS 2001 | ||
Latest revision as of 10:28, 16 November 2023
Deadlines
|
||
| Submission |
|
||
| Notification |
|
||
| Camera-Ready |
Metrics
Submitted Papers
125
Accepted Papers
36
Venue
University of Genoa, Dipartimento di Informatica e Scienze dell'Informazione, Genova, Ligurian, Italy
The 7. International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS) 2001
