m (Text replacement - "Homepage=" to "Official Website=") |
Curator 75 (talk | contribs) |
||
| 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 | ||
| + | |Country=Country:DE | ||
| + | |Official Website=https://etaps.org/2011/tacas | ||
|Type=Conference | |Type=Conference | ||
|Superevent=ETAPS 2011 | |Superevent=ETAPS 2011 | ||
| − | |||
|TibKatId=655747583 | |TibKatId=655747583 | ||
|gndId=16105838-3 | |gndId=16105838-3 | ||
| Line 11: | Line 20: | ||
|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 | ||
| Line 20: | Line 27: | ||
|pageEditor=User:Curator 75 | |pageEditor=User:Curator 75 | ||
|contributionType=1 | |contributionType=1 | ||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
}} | }} | ||
{{Event Deadline | {{Event Deadline | ||
| + | |Notification Deadline=2010/12/10 | ||
|Abstract Deadline=2010/10/01 | |Abstract Deadline=2010/10/01 | ||
| − | |||
|Submission Deadline=2010/10/08 | |Submission Deadline=2010/10/08 | ||
| + | }} | ||
| + | {{Organizer | ||
| + | |Contributor Type=organization | ||
| + | |Organization=Saarland University | ||
}} | }} | ||
{{Event Metric | {{Event Metric | ||
Revision as of 07:38, 10 November 2022
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
