HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors
Kalpa Publications •Recent Volumes •All Volumes


Recent Kalpa Publications Volumes

Recent Volumes

Proceedings of the 14th and 15th International Workshops on the Implementation of Logics
Konstantin Korovin, Stephan Schulz and Michael Rawson (editors).
Kalpa Publications in Computing, Volume 21
Proceedings of 2024 Concurrent Processes Architectures and Embedded Systems Hybrid Virtual Conference
Lindsay Quarrie (editor).
Kalpa Publications in Computing, Volume 20
Proceedings of 6th International Conference on Smart Systems and Inventive Technology
Rajakumar G (editor).
Kalpa Publications in Computing, Volume 19
LPAR 2024 Complementary Volume
Nikolaj Bjørner, Marijn Heule and Andrei Voronkov (editors).
Kalpa Publications in Computing, Volume 18
Copyright © 2012-2025 easychair.org. All rights reserved.