Mathematics in Computer Science

Mathematics in Computer Science (MCS) is a research journal dedicated to mathematical theories and methods in computer and information science, and their application.

• Publishes mathematically rigorous, original research on theoretical foundations and algorithmic approaches for computation and reasoning.
• Addresses the integration of mathematics and computer science leading to computational approaches, implementations, and applications.
• Covers a wide range of application areas including but not limited to computational linguistics, economics, engineering, formal methods, the natural sciences, security, verification.
• Carefully selected topical collections reflect the trends of research and development in the broad area of mathematics in computer science.
• The presentation of the published articles is accessible to a wide audience, which corresponds to the broad scope of the journal.