Home
EPiC Series
Kalpa Publications
Preprints
For Authors
For Editors
Main Page
•
All Volumes
Kalpa Publications in Computing
Recent Volumes
ISSN: 2515-1762
LPAR 2024 Complementary Volume
Nikolaj Bjorner
,
Marijn Heule
and
Andrei Voronkov
(editors).
Kalpa Publications in Computing
, Volume 18
Proceedings of 2023 Concurrent Processes Architectures and Embedded Systems Hybrid Virtual Conference
Lindsay Quarrie
(editor).
Kalpa Publications in Computing
, Volume 17
Proceedings of the 6th Workshop on Formal Methods for ML-Enabled Autonomous Systems
Nina Narodytska
,
Guy Amir
,
Guy Katz
and
Omri Isac
(editors).
Kalpa Publications in Computing
, Volume 16
Proceedings of The 2022 International Conference on Digital Transformation and Innovation Technology
Estevan Gomez
and
Nelson Ivan Herrera Herrera
(editors).
Kalpa Publications in Computing
, Volume 15
Proceedings of V XoveTIC Conference. XoveTIC 2022
Alvaro Leitao
and
Lucía Ramos
(editors).
Kalpa Publications in Computing
, Volume 14
Copyright © 2012-2024 easychair.org. All rights reserved.