Difference between revisions of "TACAS 2011"
Jump to navigation
Jump to search
(modified through wikirestore by orapi) |
(modified through wikirestore by orapi) |
||
(4 intermediate revisions by the same user not shown) | |||
Line 1: | Line 1: | ||
{{Event | {{Event | ||
− | |||
− | |||
− | |||
− | |||
− | |||
|Superevent=ETAPS 2011 | |Superevent=ETAPS 2011 | ||
− | |||
− | |||
|Submission deadline=2010/10/08 | |Submission deadline=2010/10/08 | ||
− | |||
|gndId=16105838-3 | |gndId=16105838-3 | ||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
|Abstract deadline=2010/10/01 | |Abstract deadline=2010/10/01 | ||
|Notification=2010/12/10 | |Notification=2010/12/10 | ||
|has program chair=Parosh Aziz Abdulla, K. Rustan M. Leino | |has program chair=Parosh Aziz Abdulla, K. Rustan M. Leino | ||
− | |||
− | |||
|has Proceedings Link=https://link.springer.com/content/pdf/10.1007%2F978-3-642-19835-9.pdf | |has Proceedings Link=https://link.springer.com/content/pdf/10.1007%2F978-3-642-19835-9.pdf | ||
|has Proceedings DOI=https://doi.org/10.1007/978-3-642-19835-9 | |has Proceedings DOI=https://doi.org/10.1007/978-3-642-19835-9 | ||
|has Proceedings Bibliography=https://link.springer.com/book/10.1007%2F978-3-642-19835-9 | |has Proceedings Bibliography=https://link.springer.com/book/10.1007%2F978-3-642-19835-9 | ||
− | |State=DE/SL}} | + | |Acronym =TACAS 2011 |
+ | |End date=2011-04-03 | ||
+ | |Series =TACAS | ||
+ | |presence=presence | ||
+ | |Type =Conference | ||
+ | |Country =DE | ||
+ | |State =DE/SL | ||
+ | |City =DE/SL/Saarbrücken | ||
+ | |Year =2011 | ||
+ | |Homepage=https://etaps.org/2011/tacas | ||
+ | |Ordinal =17 | ||
+ | |Start date=2011-03-26 | ||
+ | |Title =International Conference on Tools and Algorithms for the Construction and Analysis of Systems | ||
+ | |Accepted papers=32 | ||
+ | |Submitted papers=112 | ||
+ | |wikicfpId=11171 | ||
+ | |DblpConferenceId=tacas/tacas2011 | ||
+ | |TibKatId=655747583 | ||
+ | |wikidataid=Q106337700 | ||
+ | }} | ||
The 17. International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS) 2011 | The 17. International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS) 2011 | ||
Latest revision as of 03:29, 11 December 2021
Event Rating
median | worst |
---|---|
![]() |
![]() |
List of all ratings can be found at TACAS 2011/rating
TACAS 2011 | |
---|---|
International Conference on Tools and Algorithms for the Construction and Analysis of Systems
| |
Ordinal | 17 |
Event in series | TACAS |
Subevent of | ETAPS 2011 |
Dates | 2011-03-26 (iCal) - 2011-04-03 |
Presence | presence |
Homepage: | https://etaps.org/2011/tacas |
Location | |
Location: | DE/SL/Saarbrücken, DE/SL, DE |
Important dates | |
Abstracts: | 2010/10/01 |
Submissions: | 2010/10/08 |
Notification: | 2010/12/10 |
Papers: | Submitted 112 / Accepted 32 (28.6 %) |
Committees | |
PC chairs: | Parosh Aziz Abdulla, K. Rustan M. Leino |
Table of Contents | |
The 17. International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS) 2011
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 safety, security, or dependability
- Analytical techniques for real-time, hybrid, or stochastic systems
- Integration of formal methods and static analysis in high-level hardware design or software environments
- Tool environments and tool architectures
- SAT and SMT solvers
- Applications and case studies