Journal Information
Acta Informatica (ACTA)
http://www.springer.com/computer/theoretical+computer+science/journal/236
Impact Factor:
0.375
Publisher:
Springer
ISSN:
0001-5903
Viewed:
11245
Tracked:
0
Call For Papers
Acta Informatica provides international dissemination of articles on formal methods for the design and analysis of programs, computing systems and information structures, as well as related fields of Theoretical Computer Science such as Automata Theory, Logic in Computer Science, and Algorithmics.

Topics of interest include:

• semantics of programming languages
• models and modeling languages for concurrent, distributed, reactive and mobile systems
• models and modeling languages for timed, hybrid and probabilistic systems
• specification, program analysis and verification
• model checking and theorem proving
• modal, temporal, first- and higher-order logics, and their variants
• constraint logic, SAT/SMT-solving techniques
• theoretical aspects of databases, semi-structured data and finite model theory
• theoretical aspects of artificial intelligence, knowledge representation, description logic
• automata theory, formal languages, term and graph rewriting
• game-based models, synthesis
• type theory, typed calculi
• algebraic, coalgebraic and categorical methods
• formal aspects of performance, dependability and reliability analysis
• foundations of information and network security
• parallel, distributed and randomized algorithms
• design and analysis of algorithms
• foundations of network and communication protocols
Last updated by Dou Sun in 2022-01-30
Related Journals
CCFFull NameImpact FactorPublisherISSN
InformaticaIOS Press0868-4952
bGeoInformatica2.684Springer1384-6175
Brain InformaticsSpringer2198-4018
Scalable Computing Springer2194-6876
cFundamenta Informaticae IOS Press0169-2968
Personalized Medicine Universe Elsevier2186-4950
IEEE Transactions on Industrial Informatics10.21IEEE1551-3203
cJournal of Biomedical Informatics6.317Elsevier1532-0464
Ecological Informatics3.142Elsevier1574-9541
International Journal of Game Theory and TechnologyAIRCC2455-0892
Full NameImpact FactorPublisher
InformaticaIOS Press
GeoInformatica2.684Springer
Brain InformaticsSpringer
Scalable Computing Springer
Fundamenta Informaticae IOS Press
Personalized Medicine Universe Elsevier
IEEE Transactions on Industrial Informatics10.21IEEE
Journal of Biomedical Informatics6.317Elsevier
Ecological Informatics3.142Elsevier
International Journal of Game Theory and TechnologyAIRCC
Related Conferences
CCFCOREQUALISShortFull NameSubmissionNotificationConference
ICAICAIEEE International Conference on Artificial Intelligence and Computer Applications2020-03-312020-04-152020-06-27
BIInternational Conference on Brain Informatics2022-02-282022-04-152022-07-15
b4IHIInternational Health Informatics Symposium2011-06-232011-09-012012-01-28
Iranian-RadarIranian Conference on Radar and Surveillance Systems2019-07-222019-09-222019-11-20
SE'International Conference on Software Engineering & Trends2022-12-102022-12-202023-05-27
ab3ICMCSInternational Conference on Multimedia Computing and Systems2018-03-182018-03-312018-05-10
AEAHSSInternational Conference on Advanced Education, Arts, Humanity and Social Science2020-06-16 2020-06-20
b3INDINInternational Conference on Industrial Informatics2022-05-312022-06-212022-07-25
APCRASAsia-Pacific Conference on Robotics and Autonomous Systems2020-02-152020-02-202021-03-12
IJCBInternational Joint Conference on Biometrics2022-04-152022-06-302022-10-24
Recommendation