Information for "TACAS 2019"
Basic information
Display title | TACAS 2019 |
Default sort key | TACAS 2019 |
Page length (in bytes) | 2,850 |
Page ID | 39294 |
Page content language | en - English |
Page content model | wikitext |
Indexing by robots | Allowed |
Number of redirects to this page | 0 |
Counted as a content page | Yes |
Page protection
Edit | Allow all users (infinite) |
Move | Allow all users (infinite) |
Edit history
Page creator | Britta.Seeberg (talk | contribs) |
Date of page creation | 16:00, 16 July 2020 |
Latest editor | Britta.Seeberg (talk | contribs) |
Date of latest edit | 05:23, 4 August 2020 |
Total number of edits | 9 |
Total number of distinct authors | 1 |
Recent number of edits (within past 90 days) | 0 |
Recent number of distinct authors | 0 |
Page properties
Transcluded templates (4) | Templates used on this page: |
Facts about "TACAS 2019"
Abstract deadline | November 9, 2018 + |
Acceptance rate | 31.4 + |
Accepted papers | 137 + |
Acronym | TACAS 2019 + |
Camera ready due | February 15, 2019 + |
End date | April 11, 2019 + |
Event in series | TACAS + |
Event type | Conference + |
Has Submitting link | http://www.easychair.org/conferences/?conf=tacas2019 + |
Has coordinates | 50° 5' 15", 14° 25' 17"Latitude: 50.087466666667 Longitude: 14.421252777778 + |
Has location city | Prague + |
Has location country | Category:Czech Republic + |
Has program chair | Tomas Vojnar + and Lijun Zhang + |
Homepage | https://conf.researchr.org/track/etaps-2019/tacas-2019-papers + |
IsA | Event + |
Notification | January 25, 2019 + |
Paper deadline | November 16, 2018 + |
Start date | April 8, 2019 + |
Submission deadline | November 16, 2018 + |
Submitted papers | 436 + |
Title | 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems + |