공학·기술

Logic in Computer Science (LICS 2026)

공식 웹사이트 방문

기간: 2026. 7. 20 ~ 7. 23
장소: Lisbon, 포르투갈
구분: 해외

주제

theoretical computer sciencecomputation theoryformal methodslogic

학회 시작까지 D-5