EasyChair Publications

EasyChair currently publishes two series of proceedings and other collections of papers in several areas, called the EPiC Series and Kalpa Publications.

If you are interested in publishing with EasyChair read about the procedure for applying.

The first volumes of Kalpa Publications were published. More volumes in computing, engineering and civil engineering will appear soon.

Recent Publications

Goran Frehse and Matthias Althoff (editors). ARCH17. 4th International Workshop on Applied Verification of Continuous and Hybrid Systems (EPiC Series in Computing, Volume 48)
Klaus Radermacher and Ferdinando Rodriguez Y Baena (editors). CAOS 2017. 17th Annual Meeting of the International Society for Computer Assisted Orthopaedic Surgery (EPiC Series in Health Sciences, Volume 1)
Rajkumar Buyya, Rajiv Ranjan, Sumantra Dutta Roy, Mehul Raval, Mukesh Zaveri, Hiren Patel, Amit Ganatra, Darshak G. Thakore, Trupti A. Desai, Zankhana H. Shah, Narendra M. Patel, Mukesh E. Shimpi, Rajiv B. Gandhi, Jagdish M. Rathod, Bhargav C. Goradiya, Mehfuza S. Holia and Dharita K. Patel (editors). ICRISET2017. International Conference on Research and Innovations in Science, Engineering &Technology. Selected Papers in Computing (Kalpa Publications in Computing, Volume 2)
Thomas Eiter, David Sands, Geoff Sutcliffe and Andrei Voronkov (editors). IWIL Workshop and LPAR Short Presentations (Kalpa Publications in Computing, Volume 1)
Ken Satoh, Mi-Young Kim, Yoshinobu Kano, Randy Goebel and Tiago Oliveira (editors). COLIEE 2017. 4th Competition on Legal Information Extraction and Entailment (EPiC Series in Computing, Volume 47)
Thomas Eiter and David Sands (editors). LPAR-21. 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning (EPiC Series in Computing, Volume 46)
Mohamed Mosbah and Michael Rusinowitch (editors). SCSS 2017. The 8th International Symposium on Symbolic Computation in Software Science 2017 (EPiC Series in Computing, Volume 45)
Laura Kovacs and Andrei Voronkov (editors). Vampire 2016. Proceedings of the 3rd Vampire Workshop (EPiC Series in Computing, Volume 44)
Chelo Vargas-Sierra (editor). Professional and Academic Discourse: an Interdisciplinary Perspective (EPiC Series in Language and Linguistics, Volume 2)
Goran Frehse and Matthias Althoff (editors). ARCH16. 3rd International Workshop on Applied Verification for Continuous and Hybrid Systems (EPiC Series in Computing, Volume 43)
Antonio Moreno Ortiz and Chantal Pérez-Hernández (editors). CILC2016. 8th International Conference on Corpus Linguistics (EPiC Series in Language and Linguistics, Volume 1)
Christoph Benzmüller, Geoff Sutcliffe and Raul Rojas (editors). GCAI 2016. 2nd Global Conference on Artificial Intelligence (EPiC Series in Computing, Volume 41)
Boris Konev, Stephan Schulz and Laurent Simon (editors). IWIL-2015. 11th International Workshop on the Implementation of Logics (EPiC Series in Computing, Volume 40)
James H. Davenport and Fadoua Ghourabi (editors). SCSS 2016. 7th International Symposium on Symbolic Computation in Software Science (EPiC Series in Computing, Volume 39)
Laura Kovács and Andrei Voronkov (editors). Proceedings of the 1st and 2nd Vampire Workshops (EPiC Series in Computing, Volume 38)
Sergiy Bogomolov and Ashish Tiwari (editors). Symbolic and Numerical Methods for Reachability Analysis, 1st International Workshop, SNR 2015 (EPiC Series in Computing, Volume 37)
Georg Gottlob, Geoff Sutcliffe and Andrei Voronkov (editors). GCAI 2015. Global Conference on Artificial Intelligence (EPiC Series in Computing, Volume 36)
Ansgar Fehnker, Annabelle McIver, Geoff Sutcliffe and Andrei Voronkov (editors). LPAR-20. 20th International Conferences on Logic for Programming, Artificial Intelligence and Reasoning - Short Presentations (EPiC Series in Computing, Volume 35)
Goran Frehse and Matthias Althoff (editors). ARCH14-15. 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems (EPiC Series in Computing, Volume 34)
Christoph Benzmüller and Jens Otten (editors). ARQNL 2014. Automated Reasoning in Quantified Non-Classical Logics (EPiC Series in Computing, Volume 33)
Makoto Kanazawa, Lawrence S. Moss and Valeria de Paiva (editors). NLCS'15. Third Workshop on Natural Language and Computer Science (EPiC Series in Computing, Volume 32)
Stephan Schulz, Leonardo De Moura and Boris Konev (editors). PAAR-2014. 4th Workshop on Practical Aspects of Automated Reasoning (EPiC Series in Computing, Volume 31)
Temur Kutsia and Andrei Voronkov (editors). SCSS 2014. 6th International Symposium on Symbolic Computation in Software Science (EPiC Series in Computing, Volume 30)
Alexei Lisitsa and Andrei Nemytykh (editors). VPT 2014. Second International Workshop on Verification and Program Transformation (EPiC Series in Computing, Volume 28)
Daniel Le Berre (editor). POS-14. Fifth Pragmatics of SAT workshop (EPiC Series in Computing, Volume 27)
Irina Virbitskaite and Andrei Voronkov (editors). PSI 2014. Ershov Informatics Conference (EPiC Series in Computing, Volume 23)
Ken Mcmillan, Aart Middeldorp, Geoff Sutcliffe and Andrei Voronkov (editors). LPAR-19. 19th International Conference on Logic for Programming, Artificial Intelligence and Reasoning (EPiC Series in Computing, Volume 26)
Nikolaos Galatos, Alexander Kurz and Constantine Tsinakis (editors). TACL 2013. Sixth International Conference on Topology, Algebra and Categories in Logic (EPiC Series in Computing, Volume 25)
Santiago Escobar, Konstantin Korovin and Vladimir Rybakov (editors). UNIF 2012 Post-Worskhop Proceedings. The 26th International Workshop on Unification (EPiC Series in Computing, Volume 24)
Daniel Le Berre (editor). POS-13. Pragmatics of SAT 2013 (EPiC Series in Computing, Volume 29)
Andrei Voronkov and Margarita Korovina (editors). HOWARD-60. A Festschrift on the Occasion of Howard Barringer's 60th Birthday (EPiC Series in Computing, Volume 42)