ジャーナル情報

Information and Computation (IANDC)

ジャーナルのウェブサイトを表示するにはログインしてください
無料登録で公式サイトの閲覧、締切のトラッキング、メールリマインダーが利用できます。
このデータを API で取得
検索とランキング一覧は資格情報なしで利用できます。このページの詳細データには無料の API キーが必要です。詳しくは開発者向けガイドをご覧ください。
インパクトファクター:
1.4
出版社:
Elsevier
ISSN:
0890-5401
閲覧:
35845
フォロー:
14

論文募集

Information and Computation (IANDC) is an academic journal published by Elsevier. (ISSN 0890-5401, impact factor 1.4, CCF A).

Aims & Scope Information and Computation welcomes original papers in all areas of theoretical computer science and computational applications of information theory. Survey articles of exceptional quality will also be considered. Particularly welcome are papers contributing new results in active theoretical areas such as Biological computation and computational biology Computational complexity Computer theorem-proving Concurrency and distributed process theory Cryptographic theory Data base theory Decision problems in logic Design and analysis of algorithms Discrete optimization and mathematical programming Inductive inference and learning theory Logic & constraint programming Program verification & model checking Probabilistic & Quantum computation Semantics of programming languages Symbolic computation, lambda calculus, and rewriting systems Types and typechecking
最終更新:Admin Agent

Special Issues

Special Issue on Foundations of Information and Knowledge Systems: Selected Papers from FoIKS 2026 投稿締切日: 2026-11-01 This special issue contains thoroughly revised and significantly extended versions of selected papers presented at the 14th International Symposium on Foundations of Information and Knowledge Systems (FoIKS 2026), which was held at the Leibnizhaus, Hanover, March 23–26, 2026. The FoIKS symposia provide a biennial forum for presenting and discussing theoretical and applied research on information and knowledge systems. The goal is to bring together researchers with an interest in this subject, share research experiences, promote collaboration, and identify new issues and directions for future research. Guest editors: Professor Anni-Yasmin Turhan, Paderborn University, Germany Dr. Jonni Virtema, University of Glasgow, UK Special issue information: The scope of the Special Issue includes works dealing with any foundational aspect of information and knowledge systems. This includes submissions that apply ideas, theories or methods from specific disciplines to information and knowledge systems. Examples of such disciplines are discrete mathematics, logic and algebra, model theory, information theory, (parameterized) complexity theory, algorithmics and computation, statistics, and optimisation, among, of course, many others. The suggested topics include, but are not limited to: - Mathematical Foundations of Information and Knowledge Systems: Discrete structures and algorithms, graphs, and formal languages. - Database Design and Management: Formal models, (in)dependencies and models of transactions, concurrency control. - Logics in Databases and AI: Classical and non-classical logics, logic programming, description logics, spatial and temporal logics, argumentation, probability logic, fuzzy logic. - Knowledge Representation and Reasoning: Logical reasoning, Non-monotonic reasoning (reasoning under inconsistency), Reasoning under vagueness or uncertainty. - Foundations of neuro-symbolic reasoning: Embedding methods for structured information, such as knowledge graphs, mathematical expressions, grammars, logical theories. - Intelligent Agents: Multi-agent systems, autonomous agents, formal models of interactions, Boolean games, coalition formation, reputation systems, epistemic reasoning. - Knowledge Discovery and Information Retrieval: Machine learning, data mining, formal concept analysis and association rules, information extraction. - Security in Information and Knowledge Systems: Identity theft, privacy, trust, intrusion detection, access control, inference control, secure Web services, secure Semantic Web, risk management. - Mathematical Foundations: Discrete structures and algorithms, graphs, grammars, automata, abstract machines, finite model theory, information theory, coding theory, complexity theory, randomness - Security in Information and Knowledge Systems: Identity theft, privacy, trust, intrusion detection, access control, inference control, secure Web services, secure Semantic Web, risk management - Integrity and Constraint Management: Verification, validation, consistent query answering, and information cleaning. - Knowledge graphs and semi-structured Data: Data modelling, data processing, data compression, and data exchange. https://www.sciencedirect.com/special-issue/332505/foundations-of-information-and-knowledge-systems-selected-papers-from-foiks-2026
最終更新:Admin Agent

関連ジャーナル

CCF正式名称インパクトファクター出版社ISSN
Applied Mathematics and Computation3.2Elsevier0096-3003
ComputationMDPI2079-3197
Swarm and Evolutionary Computation8.5Elsevier2210-6502
CInformation & Management8.2Elsevier0378-7206
AIEEE Transactions on Multimedia9.7IEEE1520-9210
AIEEE Transactions on Computers3.8IEEE0018-9340
AIEEE Transactions on Dependable and Secure Computing7.5IEEE1545-5971
AIEEE Transactions on Parallel and Distributed Systems6.0IEEE1045-9219
AIEEE Transactions on Image Processing13.7IEEE1057-7149
AIEEE Transactions on Knowledge and Data Engineering8.9IEEE1041-4347

関連会議

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

コメント 0

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

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