会議情報

LICS 2026: IEEE Symposium on Logic in Computer Science

会議のウェブサイトを表示するにはログインしてください
無料登録で公式サイトの閲覧、締切のトラッキング、メールリマインダーが利用できます。
新規登録 ログイン
投稿締切日:
2026-01-15
通知日:
2026-04-16
開催日:
2026-07-20
開催地:
Lisbon, Portugal
開催回数:
41
CCF: A   ICORE: A*   QUALIS: A2   閲覧: 72506   フォロー: 41   参加: 6
このページに誤りがありますか？お知らせください
締切カウントダウンバッジを埋め込む
LICS
このデータを API で取得
検索とランキング一覧は資格情報なしで利用できます。このページの詳細データには無料の API キーが必要です。詳しくは開発者向けガイドをご覧ください。

会伴インデックス (CP-I)

85.5 / 100
全 5,694 件中 第 125 位 · 上位 3%

理論・アルゴリズム 分野 142 件中 第 8 位

学術的評価 (35%)
100
投稿の選択性 (20%)
79
開催回数 (20%)
100
コミュニティの注目度 (10%)
49
公開情報の充実度 (15%)
65

使用した入力: 収録ランク：CCF A, QUALIS A2 · 採択率：29.5%（記録のある 5 回の平均） · 確認できる開催回数：41 · 会伴でフォローしている研究者：41 人 · 過去 24 か月にこのページを開いた研究者：5 人

公開情報で不足しているもの: 過去の開催回 (+3.0) · 最優秀論文の記録 (+2.3)
主催者は会議を認証申請したうえで、このページから直接追加できます。スコアは毎晩再計算されます。このスコアを上げるには

信頼度 100% — スコアのうち、中立の基準値ではなく実際に観測されたデータに基づく割合。 このスコアの算出方法 · ランキングを見る · アルゴリズム版 1.1 · 算出日 2026-10-07

論文募集

LICS 2026 (IEEE Symposium on Logic in Computer Science) is a CCF A / ICORE A* / QUALIS A2 conference held in Lisbon, Portugal on 2026-07-20. The paper submission deadline is 2026-01-15. Acceptance notifications are sent on 2026-04-16.

The 41st Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2026) will be held in Lisbon, from 20 – 23 July 2026, as part of the Federated Logic Conference FLOC'26. The LICS Symposium is an annual international forum on theoretical and practical topics in computer science that relate to logic, broadly construed. We invite submissions on topics that fit under that rubric. Suggested, but not exclusive, topics of interest include: automata theory, automated deduction, categorical models and logics, concurrency and distributed computation, constraint programming, constructive mathematics, database theory, decision procedures, description logics, domain theory, finite model theory, formal aspects of program analysis, formal methods, foundations of computability, foundations of probabilistic, real-time and hybrid systems, games and logic, higher-order logic, knowledge representation and reasoning, lambda and combinatory calculi, linear logic, logic programming, logical aspects of AI, logical aspects of bioinformatics, logical aspects of computational complexity, logical aspects of quantum computation, logical frameworks, logics of programs, modal and temporal logics, model checking, process calculi, programming language semantics, proof theory, reasoning about security and privacy, rewriting, type systems, type theory, and verification.
最終更新：Dou Sun（）

採択率

平均採択率: 30.9% 9 年間 (1995–2005).

年投稿数採択数採択率(%)
20051274434.6%
20041684023.8%
20031223427.9%
20021353626.7%
20011043634.6%
19981204235%
19971083936.1%
19961754726.9%
19951374432.1%

関連会議

CCFICORECP-I略称正式名称投稿締切開催日
AA*92.6SIGIRInternational Conference on Research and Development in Information Retrieval2026-01-152026-07-20
AA*97.8AAAIAAAI Conference on Artificial Intelligence2026-07-212027-02-16
AA*94.4CVPRIEEE Conference on Computer Vision and Pattern Recognition2026-11-102027-06-20
AA*92.6STOCACM Symposium on Theory of Computing2026-11-022027-06-06
AA*95.3OSDIUSENIX Symposium on Operating Systems Design and Implementation2026-12-012027-07-07
AA*95.1ICMLInternational Conference on Machine Learning2026-01-232026-07-06
AA*97.3INFOCOMInternational Conference on Computer Communications2026-07-242027-05-24
AA*89.4ICCVInternational Conference on Computer Vision2025-03-072025-10-19
AA*94.2CHIACM Conference on Human Factors in Computing Systems2026-09-102027-05-10
AA92.7ISSTAInternational Symposium on Software Testing and Analysis2027-01-082027-09-07

関連ジャーナル

コメント 0

まだコメントはありません。

コメントするにはログインしてください