TACAS（International Conference on Tools and Algorithms for the Construction and Analysis of Systems）到底是什么档次的会议？

在这里 http://www.ntu.edu.sg/home/assourav/crank.htm 将TACAS归结为在软件工程领域第二流的国际会议，而在中国计算机学会给出的参考意见中，将TACAS归结为第三流的国际会议。

但是本人看到这个会议在Constraint Solver方面的文章经常被大家引用，所以很是奇怪。目前暂缺把它归为第二类，至少和ISSTA是一个档次的会议。

就谈谈自己的想法。

PS：TACAS 2010年的会议论文集链接：http://www.springer.com/computer/swe/book/978-3-642-12001-5

学校的网络可以直接在Springer上下载，但是话说Springer的LNCS和ACM相比起来，不说别的，就是组织文章和Proceedings的方式，就差了很远。