m (Text replacement - "|User:Curator 65" to "|Tib") |
Curator 75 (talk | contribs) |
||
| (6 intermediate revisions by 2 users not shown) | |||
| Line 3: | Line 3: | ||
|Title=International Conference on Tools and Algorithms for the Construction and Analysis of Systems | |Title=International Conference on Tools and Algorithms for the Construction and Analysis of Systems | ||
|Ordinal=17 | |Ordinal=17 | ||
| + | |In Event Series=Event Series:TACAS | ||
| + | |Single Day Event=no | ||
| + | |Start Date=2011/03/26 | ||
| + | |End Date=2011/04/03 | ||
| + | |Event Status=as scheduled | ||
| + | |Event Mode=on site | ||
| + | |Venue=Saarland University | ||
| + | |City=Saarbrücken | ||
| + | |Region=Saarland | ||
| + | |Country=Country:DE | ||
| + | |Academic Field=Software Engineering | ||
| + | |Official Website=https://etaps.org/2011/tacas | ||
| + | |Hashtag=TACAS 2011 | ||
|Type=Conference | |Type=Conference | ||
|Superevent=ETAPS 2011 | |Superevent=ETAPS 2011 | ||
| − | |||
| − | |||
|TibKatId=655747583 | |TibKatId=655747583 | ||
|gndId=16105838-3 | |gndId=16105838-3 | ||
| Line 12: | Line 23: | ||
|wikicfpId=11171 | |wikicfpId=11171 | ||
|wikidataid=Q106337700 | |wikidataid=Q106337700 | ||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
|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 | ||
| Line 26: | Line 30: | ||
|pageEditor=User:Curator 75 | |pageEditor=User:Curator 75 | ||
|contributionType=1 | |contributionType=1 | ||
| − | |||
| − | |||
| − | |||
| − | |||
}} | }} | ||
| + | {{Event Deadline | ||
| + | |Notification Deadline=2010/12/10 | ||
| + | |Abstract Deadline=2010/10/01 | ||
| + | |Submission Deadline=2010/10/08 | ||
| + | }} | ||
| + | {{Organizer | ||
| + | |Contributor Type=organization | ||
| + | |Organization=Saarland University | ||
| + | }} | ||
| + | {{Event Metric | ||
| + | |Number Of Submitted Papers=112 | ||
| + | |Number Of Accepted Papers=32 | ||
| + | }} | ||
| + | {{S Event}} | ||
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 07:42, 21 November 2023
Deadlines
|
||
| Abstract |
|
||
| Submission |
|
||
| Notification |
Metrics
Submitted Papers
112
Accepted Papers
32
Venue
Saarland University, Saarbrücken, Saarland, Germany
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
