[情報] 今年可投的Verification/Tesing conference
我從一個網站上列出一些大家適合的 給大家參考
然後我沒有列一些Conference的Sympnosism(像是ICSE,ASE的子會議)
基本上這些都是比較偏軟體的
時間表
Abstract Submission Notification Camera 刊在哪裡 我所知的Quality
TACAS'08 Tools and Algorithms for the Construction and Analysis of Systems
05.10.2007 12.10.2007 07.12.2007 04.01.2008 LNCS ***
SOFSEM'08 SOFtware SEMinar
20.08.2007 28.08.2007 26.10.2007 09.11.2007 LNCS
SCCC'07 Chilean Computer Science Society
31.05.2007 31.05.2007 10.07.2007 06.08.2007 IEEE
LOPSTR'07 Intl. Symp. on Logic-Based Program Synthesis and Transformation
08.06.2007 08.06.2007 23.07.2007 10.08.2007 LNCS
ICFEM'07 International Conference on Formal Engineering Methods
28.05.2007 28.05.2007 17.07.2007 15.08.2007 LNCS
HVC'07 Haifa Verification Conference (IBM)
28.06.2007 28.06.2007 15.08.2007 19.11.2007 LNCS
HASE'07 High Assurance Systems Engineering Symposium
01.06.2007 01.06.2007 30.07.2007 27.08.2007 IEEE
FOSSACS'08 Foundations of Software Science and Computation Structures
05.10.2007 12.10.2007 07.12.2007 04.01.2008 LNCS
FMCAD'07 Formal Methods in Computer-Aided Design
30.04.2007 07.05.2007 21.06.2007 28.07.2007 IEEE ***
FASE'08 Fundamental Approaches to Software Engineering
05.10.2007 12.10.2007 07.12.2007 04.01.2008 LNCS ***
EDCC'07 European Dependable Computing Conference
20.09.2007 20.09.2007 15.01.2008 28.02.2008 IEEE
ATVA'07 Automated Technology for Verification and Analysis
14.05.2007 14.05.2007 02.07.2007 30.07.2007 LNCS
ASE'07 Automated Software Engineering
04.06.2007 11.06.2007 10.08.2007 31.08.2007 IEEE/ACM ***
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 140.112.42.216