HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors
Main Page •All Volumes

Kalpa Publications in Computing

Recent Volumes ISSN: 2515-1762

Proceedings of the 14th and 15th International Workshops on the Implementation of Logics
Konstantin Korovin, Stephan Schulz and Michael Rawson (editors).
Proceedings of 2024 Concurrent Processes Architectures and Embedded Systems Hybrid Virtual Conference
Lindsay Quarrie (editor).
Proceedings of 6th International Conference on Smart Systems and Inventive Technology
Rajakumar G (editor).
LPAR 2024 Complementary Volume
Nikolaj Bjørner, Marijn Heule and Andrei Voronkov (editors).
Proceedings of 2023 Concurrent Processes Architectures and Embedded Systems Hybrid Virtual Conference
Lindsay Quarrie (editor).
Proceedings of the 6th Workshop on Formal Methods for ML-Enabled Autonomous Systems
Nina Narodytska, Guy Amir, Guy Katz and Omri Isac (editors).
Proceedings of The 2022 International Conference on Digital Transformation and Innovation Technology
Estevan Gomez and Nelson Ivan Herrera Herrera (editors).
Copyright © 2012-2025 easychair.org. All rights reserved.