🏠홈📊트렌드🏆논문👤마이
CS-Pedia
TrendsBest Papers
← 학회 목록으로

TACAS

SE마감

International Conference on Tools and Algorithms for the Construction and Analysis of Systems

📍 Turin, Italy · 2026-04-13 ~ 2026-04-16

공식 웹사이트DBLP정보 오류 신고
키워드Model CheckingEfficientSATFairnessSafety

기관 인정 현황?

BK21
2점
KIISE
우수
KAIST
최우수
SNU
—
POST
최우수

데드라인

2026 (main)
📍 Turin, Italy
📝 Paper: 2025-10-16
📅 학회: 2026-04-13 ~ 2026-04-16

데드라인은 변경될 수 있습니다. 제출 전 공식 웹사이트에서 최종 일정을 확인하세요.

Acceptance Rate?

채택률 데이터가 없습니다.

Research Trend?

Best Papers

🏆 2025Best Paper Award
Unsatisfiability Proofs for Horn Solving
Otoni, Blicha, Barandiaran Rivera, Eugster, Kofroň & Sharygina
SMT SolvingFormal Verification
🏆 2024Best Paper Award
Scalable Tree-based Register Automata Learning
Fiterau-Brostean, Dierl, Howar, Jonsson, Sagonas & Tåquist
Automata LearningFormal Methods

CS-Pedia — 한국 CS 연구자를 위한 학회 통합 플랫폼

데이터 출처: DBLP (CC0), OpenAlex (CC0), Semantic Scholar, aideadlin.es (MIT), 한국연구재단, 한국정보과학회, jeffhuang.com

제출 전 데드라인·학회 일정은 공식 웹사이트에서 반드시 확인하세요.

소개·개인정보 처리방침·이용약관·문의