TACAS 2002
2002-03-07
org.kosen.entty.User@1f6e857b
김태호(dreamian)
행사&학회소개
보고서작성신청
The European Joint Conferences on Theory and Practice of Software (ETAPS) 중 TACAS(Tools and Algorithms for the Construction and Analysis of Systems) 에 참석합니다. ETAPS는 유럽에서 열리는 소프트웨어의 이론 분야에 관련한 매우 큰 학회로, CC (CC 2002 - International Conference on Compiler Construction), ESOP( ESOP 2002 - European Symposium on Programming), FASE (FASE 2002 - Fundamental Approaches to Software Engineering), FOSSACS (FOSSACS 2002 - Foundations of Software Science and Computation Structures), TACAS 이렇게 5개 분야의 메인 컨퍼런스와 13개의 workshop이 열리는 학회입니다. 5개의 메인 conference는 모두 LNCS (Lecture Notes in Computer Science)에 수록되면 13개의 학회 중 일부는 LNCS와 ENTCS 저널(Electronic Notes in Theoretical Computer Science)에 실릴정도로 괜찮은 학회입니다.이중 본인은 TACAS에 논문이 채택되어 발표하게 됩니다. 이에 TACAS conference report를 신청 합니다.
ETAPS의 메인 학회는 4월 8일부터 4월 12일까지 5일간 열리며, 4월 6,7,13,14일에는 workshop이 열리게 됩니다. workshop중 본인은 이미 INT, SPIN, SFEDL에 참석 신청을 하였습니다. (INT = International Workshop on Integration of Specification Techniques for Applications in Engineering, SPIN=International SPIN Workshop on Model Checking of Software, SFEDL =Semantic Foundations of Engineering Design Languages ) 이 세개의 학회중 특히 SPIN은 LNCS에도 논문이 출간되는 좋은 학회이고, 다른 학회들도 좋은 학회입니다. 이에 가능하다면, 이 학회기간도 4일 이니 만큼 TACAS와는 별도로 conference report를 작성했으면 합니다.
그럼 감사합니다.
ETAPS의 메인 학회는 4월 8일부터 4월 12일까지 5일간 열리며, 4월 6,7,13,14일에는 workshop이 열리게 됩니다. workshop중 본인은 이미 INT, SPIN, SFEDL에 참석 신청을 하였습니다. (INT = International Workshop on Integration of Specification Techniques for Applications in Engineering, SPIN=International SPIN Workshop on Model Checking of Software, SFEDL =Semantic Foundations of Engineering Design Languages ) 이 세개의 학회중 특히 SPIN은 LNCS에도 논문이 출간되는 좋은 학회이고, 다른 학회들도 좋은 학회입니다. 이에 가능하다면, 이 학회기간도 4일 이니 만큼 TACAS와는 별도로 conference report를 작성했으면 합니다.
그럼 감사합니다.