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).