(mobo import Concept___Fix_Presence-migrated) |
Curator 75 (talk | contribs) |
||
(3 intermediate revisions by one other user not shown) | |||
Line 3: | Line 3: | ||
|Title=International Conference on Tools and Algorithms for the Construction and Analysis of Systemss 2008 | |Title=International Conference on Tools and Algorithms for the Construction and Analysis of Systemss 2008 | ||
|Ordinal=14 | |Ordinal=14 | ||
+ | |In Event Series=Event Series:TACAS | ||
+ | |Single Day Event=no | ||
+ | |Start Date=2008/03/29 | ||
+ | |End Date=2008/04/06 | ||
+ | |Event Status=as scheduled | ||
+ | |Event Mode=on site | ||
+ | |Venue=Grand Hotel Margitsziget | ||
+ | |City=Budapest | ||
+ | |Country=Country:HU | ||
+ | |Official Website=http://etaps08.mit.bme.hu/Conf/conf-frame-tacas.html | ||
|Type=Conference | |Type=Conference | ||
|Superevent=ETAPS 2008 | |Superevent=ETAPS 2008 | ||
− | |||
|TibKatId=561240450 | |TibKatId=561240450 | ||
|gndId=6520071-8 | |gndId=6520071-8 | ||
|DblpConferenceId=tacas/tacas2008 | |DblpConferenceId=tacas/tacas2008 | ||
|wikidataid=Q106245026 | |wikidataid=Q106245026 | ||
− | |||
− | |||
− | |||
− | |||
|has program chair=C. R. Ramakrishnan, Jakob Rehof | |has program chair=C. R. Ramakrishnan, Jakob Rehof | ||
− | |||
− | |||
− | |||
|has Proceedings Link=https://link.springer.com/content/pdf/10.1007%2F978-3-540-78800-3.pdf | |has Proceedings Link=https://link.springer.com/content/pdf/10.1007%2F978-3-540-78800-3.pdf | ||
|has Proceedings DOI=https://doi.org/10.1007/3-540-60630-0 | |has Proceedings DOI=https://doi.org/10.1007/3-540-60630-0 | ||
Line 24: | Line 26: | ||
|pageEditor=User:Curator 75 | |pageEditor=User:Curator 75 | ||
|contributionType=1 | |contributionType=1 | ||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
}} | }} | ||
+ | {{Event Deadline | ||
+ | |Notification Deadline=2007/12/07 | ||
+ | |Paper Deadline=2007/10/12 | ||
+ | }} | ||
+ | {{Organizer | ||
+ | |Contributor Type=organization | ||
+ | |Organization=Eötvös Loránd University | ||
+ | }} | ||
+ | {{Organizer | ||
+ | |Contributor Type=organization | ||
+ | |Organization=John von Neumann University | ||
+ | }} | ||
+ | {{Event Metric | ||
+ | |Number Of Submitted Papers=32 | ||
+ | |Number Of Accepted Papers=12 | ||
+ | }} | ||
+ | {{S Event}} | ||
The 14. International Conference on Tools and Algorithms for the Construction and Analysis of Systemss (TACAS) 2008 | The 14. International Conference on Tools and Algorithms for the Construction and Analysis of Systemss (TACAS) 2008 | ||
Latest revision as of 07:45, 10 November 2022
Deadlines
|
||
Paper |
|
||
Notification |
Metrics
Submitted Papers
32
Accepted Papers
12
Venue
Grand Hotel Margitsziget, Budapest, Hungary
The 14. International Conference on Tools and Algorithms for the Construction and Analysis of Systemss (TACAS) 2008
Topics
- Specification and verification techniques for finite and infinite-state systems
- Software and hardware verification
- Theorem-proving and model-checking
- System construction and transformation techniques
- Static and run-time analysis
- Abstraction techniques for modeling and validation
- Compositional and refinement-based methodologies
- Testing and test-case generation
- Analytical techniques for secure, real-time, hybrid, critical, biological or dependable systems
- Integration of formal methods and static analysis in high-level hardware design or software environments
- Tool environments and tool architectures
- SAT solvers
- Applications and case studies