About this book series

The series Lecture Notes in Computer Science (LNCS), including its subseries Lecture Notes in Artificial Intelligence (LNAI) and Lecture Notes in Bioinformatics (LNBI), has established itself as a medium for the publication of new developments in computer science and information technology research, teaching, and education. 

LNCS enjoys close cooperation with the computer science R & D community, the series counts many renowned academics among its volume editors and paper authors, and collaborates with prestigious societies. Its mission is to serve this international community by providing an invaluable service, mainly focused on the publication of conference and workshop proceedings and postproceedings. LNCS commenced publication in 1973.

This book series contains subseries
View subseries
Electronic ISSN
1611-3349
Print ISSN
0302-9743
Series Editor
  • Gerhard Goos

Book titles in this series

  1. Formal Methods

    26th International Symposium, FM 2024, Milan, Italy, September 9–13, 2024, Proceedings, Part I

    Editors:
    • André Platzer
    • Kristin Yvonne Rozier
    • Matteo Pradella
    • Matteo Rossi
    • Open Access
    • Copyright: 2025

    Available Renditions

    • Soft cover
    • eBook
  2. Formal Methods

    26th International Symposium, FM 2024, Milan, Italy, September 9–13, 2024, Proceedings, Part II

    Editors:
    • Andre Platzer
    • Kristin Yvonne Rozier
    • Matteo Pradella
    • Matteo Rossi
    • Open Access
    • Copyright: 2025

    Available Renditions

    • Soft cover
    • eBook
  3. Modelling and Simulation for Autonomous Systems

    10th International Conference, MESAS 2023, Palermo, Italy, October 17–19, 2023, Revised Selected Papers

    Editors:
    • Jan Mazal
    • Adriano Fagiolini
    • Petr Vasik
    • Francesco Pacillo
    • Copyright: 2023

    Available Renditions

    • Soft cover
    • eBook
  4. Formal Aspects of Component Software

    20th International Conference, FACS 2024, Milan, Italy, September 9–10, 2024, Proceedings

    Editors:
    • Diego Marmsoler
    • Meng Sun
    • Copyright: 2024

    Available Renditions

    • Soft cover
    • eBook

Publish with us

Contact the Publishing Editor
Ronan Nugent

Abstracted and indexed in

  1. ACM Digital Library
  2. Astrophysics Data System (ADS)
  3. Chemical Abstracts Service (CAS)
  4. DBLP
  5. EI Compendex
  6. INSPEC
  7. Japanese Science and Technology Agency (JST)
  8. Norwegian Register for Scientific Journals and Series
  9. SCImago
  10. SCOPUS
  11. WTI AG
  12. zbMATH