Home›Search›Proceedings - Symposium on Logic in Computer Science

Proceedings - Symposium on Logic in Computer Science

Institute of Electrical and Electronics Engineers Inc. · United States

ISSN1043-6871

SJR -✓ Scopus / SJR

/ 100

High Risk

Score Breakdown

No verified metrics

Total0

Journal Impact Factor

Not on record at PubScope. The Journal Impact Factor is published by Clarivate for Web of Science (JCR)–indexed journals.

SJR Score

0.97

H-Index

SNIP

1.395

Total Works

Total Citations

1,045

2yr Mean Citedness

0.00

Free JIF alternative

Aims & Scope✦ Inferred from recent articles

This journal publishes research on theoretical computer science, focusing on logic, automata theory, formal verification, and computability. Topics include the expressiveness and complexity of formal systems like automata and proof systems, the semantics and verification of programming languages, and the decidability and complexity of logical and computational problems. Specific areas explored are higher-order recursion schemes, proof complexity, runtime monitoring with automata, automatic structures, Kleene algebra with tests, descriptive complexity, and type theory.

AI-summarised from recent articles · verify on the publisher page

⚡ Speed vs Prestige

How does this journal balance review speed with impact level?

SJR Rank

Bottom 25%

General Information

Country / RegionUnited States

Primary Language—

1st Year Published—

Annual Volume~ 40 articles / year

StatusActive

Total Publications40

Publisher OrgInstitute of Electrical and Electronics Engineers

Submission Info

Publishing ModelSubscription

Peer Review—

Review Time—

Acceptance Rate—

OA License—

OA Rate—

Ethics & Quality

COPE Member✗ No

OASPA Member✗ No

Not on Predatory Lists✓ Yes

Think.Check.Submit Compliance

thinkchecksubmit.org

4/12 · 33%

✅

Do you know the journal / publisher?

Institute of Electrical and Electronics Engineers Inc.

❌

Does the journal have a website?

No URL

✅

Is the ISSN verified?

1043-6871

✅

Indexed in a trusted database?

Scopus

❌

Peer review process documented?

N/A

❌

Follows ethical publishing standards (COPE)?

N/A

❌

APC fees clearly disclosed?

N/A

✅

Not on predatory/blacklists?

✓ Clean

❌

Long-term digital preservation?

N/A

❌

Plagiarism detection in place?

N/A

❌

Listed in DOAJ (verified OA)?

N/A

❌

Primary language documented?

N/A

Based on the Think.Check.Submit framework by DOAJ, COPE & OASPA. All data from verified open sources.

SJR Quartile by Discipline

Scimago ranks this journal separately in each subject category — its quartile can differ by discipline.

Mathematics (miscellaneous)Unranked

SoftwareUnranked

Subject Classification

Scopus Categories

Mathematics (miscellaneous)Software

Research Topics (OpenAlex)

Logic, programming, and type systemsFormal Methods in VerificationLogic, Reasoning, and Knowledgesemigroups and automata theoryAdvanced Algebra and LogicAdvanced Graph Theory ResearchComputability, Logic, AI AlgorithmsComplexity and Algorithms in GraphsConstraint Satisfaction and OptimizationNatural Language Processing Techniques