Conference Information
TACAS 2018 : International Conference on Tools and Algorithms for the Construction and Analysis of Systems
http://www.etaps.org/index.php/2018/tacas
Submission Date:
2017-10-13
Notification Date:
2017-12-22
Conference Date:
2018-04-14
Location:
Thessaloniki, Greece
Years:
24
CORE: a   QUALIS: a1   Viewed: 9082   Tracked: 6   Attend: 1

Conference Location
Advertisment
Call For Papers
TACAS is a forum for researchers, developers and users interested in rigorously based tools and algorithms for the construction and analysis of systems. The conference aims to bridge the gaps between different communities with this common interest and to support them in their quest to improve the utility, reliability, flexibility and efficiency of tools and algorithms for building systems.

Theoretical papers with clear relevance for tool construction and analysis as well as tool descriptions and case studies with a conceptual message are all encouraged. The topics covered by the conference include, but are not limited to:

    specification and verification techniques;
    software and hardware verification;
    analytical techniques for real-time, hybrid, or stochastic systems;
    analytical techniques for safety, security, or dependability;
    model-checking;
    theorem-proving;
    SAT and SMT solving;
    static and dynamic program analysis;
    testing;
    abstraction techniques for modeling and verification;
    compositional and refinement-based methodologies;
    system construction and transformation techniques;
    tool environments and tool architectures;
    applications and case studies.
Last updated by Xin Yao in 2017-08-21
Related Publications
Acceptance Ratio
YearSubmittedAcceptedAccepted(%)
20072044522.1%
20061183025.4%
20051403323.6%
20041453725.5%
20031604326.9%
2002952930.5%
20011253628.8%
20001073330.8%
1999822834.1%
1998782835.9%
1997542037%
1996471940.4%
1995321237.5%
Advertisment
Related Conferences
CCFCOREQUALISShortFull NameSubmissionNotificationConference
bb4COCOAInternational Conference on Combinatorial Optimization and Applications2015-07-222015-08-312015-12-18
INAGENTSYSInternational Conference on Intelligent Autonomous Agents, Networks and Systems2014-06-302014-07-202014-08-19
b3CSNDSPInternational Symposium on Communication Systems, Networks and Digital Signal Processing2018-02-122018-04-152018-07-18
InTrustInternational Conference on Trustworthy Systems2014-10-202014-11-102014-12-16
cbb1FCInternational Conference on Financial Cryptography and Data Security2017-09-222017-11-172018-02-26
SysIntInternational Conference on System-Integrated Intelligence2013-12-062013-12-202014-07-02
EASeIEEE Conference and Workshops on Engineering of Autonomic and Autonomous Systems 2011-12-192012-04-11
cbb1SOUPSInternational Symposium On Usable Privacy and Security2017-03-012017-05-232017-07-12
ab1COCOONInternational Computing and Combinatorics Conference2015-03-152015-04-152015-08-04
ab1TPDLInternational Conference on Theory and Practice of Digital Libraries2015-03-202015-05-222015-09-14
Related Journals
CCFFull NameImpact FactorPublisherISSN
ACM Transactions on Mathematical SoftwareACM0098-3500
International Journal of Managing Public Sector Information and Communication Technologies AIRCC2230-7958
Structural and Multidisciplinary Optimization1.728Springer1615-147X
bAutonomous Agents and Multi-Agent Systems1.213Springer1387-2532
Journal of RoboticsHindawi1687-9600
Networks0.943Wiley Periodicals, Inc.1097-0037
China Communications0.424China Communications Magazine, Co., Ltd.1673-5447
Signal Processing: Image Communication2.244ELSEVIER0923-5965
ACM Transactions on Computing EducationACM1946-6226
International Journal of Peer-to-Peer networks AIRCC2229-5240
Recommendation