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

LICS

Theory마감

ACM/IEEE Symposium on Logic in Computer Science

📍 Lisbon, Portugal · 2026-07-20 ~ 2026-07-23

공식 웹사이트DBLP정보 오류 신고
채택률39.7%(2020, 69/174)
키워드ComplexitySimulationGraphType TheoryConvergence

기관 인정 현황?

BK21
3점
KIISE
최우수
KAIST
최우수
SNU
✓
POST
최우수

데드라인

2026 (main)
📍 Lisbon, Portugal
📋 Abstract: 2026-01-15
📝 Paper: 2026-01-22
📬 Notification: 2026-04-16
📅 학회: 2026-07-20 ~ 2026-07-23

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

Acceptance Rate?

연도제출채택채택률
20201746939.7%

Research Trend?

Best Papers

🏆 2026Best Student Paper Award
Star Complexity of Parikh Images of Languages over Infinite Alphabets
Yoav Danieli
🏆 2026Distinguished Paper Award
A Complexity Bound for Determinisation of Min-Plus Weighted Automata
Shaull Almagor; Guy Arbel; Sarai Sheinvald
🏆 2026Distinguished Paper Award
PVASS Reachability Is Decidable
Roland Guttenberg; Eren Keskin; Roland Meyer
🏆 2026Distinguished Paper Award
Existential Positive Transductions of Sparse Graphs
Nikolas Mählmann; Sebastian Siebertz
🏆 2026Distinguished Paper Award
The Logic of Bunched Implications Is Undecidable
Nikolaos Galatos; Peter Jipsen; Søren Brinck Knudstorp; Revantha Ramanayake
🏆 2026Distinguished Paper Award
Quantum Control and General Recursion Beyond the Unitary Case
Kathleen Barsse; Romain Péchoux; Simon Perdrix
🏆 2026Distinguished Paper Award
Wiring the π-Calculus to Denotational Semantics
Ken Sakayori; Davide Sangiorgi; Simon Castellan; Pierre Clairambault
🏆 2026Distinguished Paper Award
The ∞-Category of ∞-Categories in Simplicial Type Theory
Daniel Gratzer; Jonathan Weinberger; Ulrik Buchholtz
🏆 2026Distinguished Paper Award
Dynamic Planar Graph Isomorphism Is in DynFO
Samir Datta; Asif Khan; Felix Tschirbs; Nils Vortmeier; Thomas Zeume
🏆 2026Test of Time Award
On Model-Checking Trees Generated by Higher-Order Recursion Schemes
Chih-Hao Luke Ong
🏆 2026Test of Time Award
From Nondeterministic Büchi and Streett Automata to Deterministic Parity Automata
Nir Piterman
🏆 2025Best Student Paper Award
The Steenrod squares via unordered joins
Axel Ljungstrom, David Warn
Topology
🏆 2024Best Student Paper Award
Relevant S is Undecidable
Soren Brinck Knudstorp
Logic
🏆 2023Best Student Paper Award
The Identity Problem in the special affine group of Z^2
Ruiwen Dong
Algebra
🏆 2022Best Student Paper Award
Monoidal Streams for Dataflow Programming
Elena Di Lavore
Dataflow
🏆 2021Best Student Paper Award
Separating Rank Logic from Polynomial Time
Moritz Lichter
Logic
🏆 2020Best Student Paper Award
Successor-Invariant First-Order Logic on Classes of Bounded Degree
Julien Grange
Logic

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

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

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

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