(mobo import Concept___Events-migrated) |
Curator 75 (talk | contribs) |
||
| (4 intermediate revisions by 3 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=9 | |Ordinal=9 | ||
| + | |In Event Series=Event Series:TACAS | ||
| + | |Single Day Event=no | ||
| + | |Start Date=2003/04/07 | ||
| + | |End Date=2003/04/11 | ||
| + | |Event Status=as scheduled | ||
| + | |Event Mode=on site | ||
| + | |Venue=Fryderyk Chopin University of Music | ||
| + | |City=Warsaw | ||
| + | |Region=Mazovia | ||
| + | |Country=Country:PL | ||
| + | |Academic Field=Software Engineering | ||
| + | |Official Website=http://vasy.inria.fr/tacas03/ | ||
| + | |DOI=10.25798/0965-c820 | ||
| + | |Hashtag=TACAS 2003 | ||
|Type=Conference | |Type=Conference | ||
|Superevent=ETAPS 2003 | |Superevent=ETAPS 2003 | ||
| − | |||
|TibKatId=363154159 | |TibKatId=363154159 | ||
|gndId=10054179-3 | |gndId=10054179-3 | ||
|DblpConferenceId=tacas/tacas2003 | |DblpConferenceId=tacas/tacas2003 | ||
|wikidataid=Q106337703 | |wikidataid=Q106337703 | ||
| − | |||
| − | |||
|has program chair=Hubert Garavel, John Hatcliff | |has program chair=Hubert Garavel, John Hatcliff | ||
| − | |||
| − | |||
|has Proceedings Link=https://link.springer.com/content/pdf/10.1007%2F3-540-36577-X.pdf | |has Proceedings Link=https://link.springer.com/content/pdf/10.1007%2F3-540-36577-X.pdf | ||
|has Proceedings Bibliography=https://link.springer.com/book/10.1007%2F3-540-36577-X | |has Proceedings Bibliography=https://link.springer.com/book/10.1007%2F3-540-36577-X | ||
| Line 20: | Line 29: | ||
|pageEditor=User:Curator 75 | |pageEditor=User:Curator 75 | ||
|contributionType=1 | |contributionType=1 | ||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
}} | }} | ||
{{Event Deadline | {{Event Deadline | ||
|Notification Deadline=2002/12/13 | |Notification Deadline=2002/12/13 | ||
| + | |Camera-Ready Deadline=2003/01/17 | ||
|Submission Deadline=2002/10/18 | |Submission Deadline=2002/10/18 | ||
| + | }} | ||
| + | {{Organizer | ||
| + | |Contributor Type=organization | ||
| + | |Organization=University of Warsaw | ||
| + | }} | ||
| + | {{Event Metric | ||
| + | |Number Of Submitted Papers=140 | ||
| + | |Number Of Accepted Papers=35 | ||
}} | }} | ||
{{S Event}} | {{S Event}} | ||
Latest revision as of 10:33, 16 November 2023
Deadlines
|
||
| Submission |
|
||
| Notification |
|
||
| Camera-Ready |
Metrics
Submitted Papers
140
Accepted Papers
35
Venue
Fryderyk Chopin University of Music, Warsaw, Mazovia, Poland
The 9. International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS) 2003
Topics
- Specification and verification techniques
- Theorem-proving and model-checking
- System construction and transformation techniques
- Static and run-time analysis
- Compositional and refinement-based methodologies
- Testing and test-case generation
- Analytical techniques for real-time, hybrid and safety-critical systems
- Tool environments and tool architectures
- Applications and case studies
Submissions
As with other ETAPS conferences, TACAS accepts two types of contributions:
- Research papers (up to 15 pages) cover one or more of the topics above, including tool development and case studies from a perspective of scientific research. Research papers are evaluated by the TACAS Program Committee. See http://www.cis.ksu.edu/tacas03 for submission details.
- Tool demonstration papers (up to 4 pages) present tools based on aforementioned technologies (e.g., theorem-proving, model-checking, static analysis, or other formal methods) or fall into the above application areas (e.g., system construction and transformation, testing, analysis of real-time and hybrid systems, etc.). Tool demonstration papers are evaluated by the TACAS Tool Chair with the help of the Program Committee. See http://vasy.inria.fr/tacas03/tool.html for submission details.
Both types of contributions will appear in the proceedings and be allocated thirty-minute slots during the conference.
In brief, submitted papers must:
- be in English
- present original research which is unpublished and not submitted elsewhere
- use the Springer-Verlag LNCS style (see http://www.springer.de/comp/lncs/authors.html)
- be submitted electronically in Postscript/PDF format
Submissions deviating from these instructions may be rejected without review. Any question regarding this policy should be directed to the Conference Co-chairs prior to submission.
Important Dates
October 18, 2002 - Submission deadline (extended to October 25, 2002)
December 13, 2002 - Notification of authors
January 17, 2003 - Final version due
April 7-11, 2003 - TACAS 2003 Conference
