HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors






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

Automated Formal Methods
Natarajan Shankar and Bruno Dutertre (editors).
Kalpa Publications in Computing, Volume 5
ReVo 2017: Laval Virtual ReVolution 2017 "Transhumanism++"
Akihiko Shirai, Laurent Chretien, Anne-Sophie Clayer, Simon Richir and Shoichi Hasegawa (editors).
EPiC Series in Engineering, Volume 1
LSP in Multi-disciplinary contexts of Teaching and Research. Papers from the 16th International AELFE Conference
Alejandro Curado (editor).
EPiC Series in Language and Linguistics, Volume 3
28th International Workshop on Principles of Diagnosis (DX'17)
Marina Zanella, Ingo Pill and Alessandro Cimatti (editors).
Kalpa Publications in Computing, Volume 4
RV-CuBES 2017. An International Workshop on Competitions, Usability, Benchmarks, Evaluation, and Standardisation for Runtime Verification Tools
Giles Reger and Klaus Havelund (editors).
Kalpa Publications in Computing, Volume 3
ARCADE 2017. 1st International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements
Giles Reger and Dmitriy Traytel (editors).
EPiC Series in Computing, Volume 51
AUBEA 2017: Australasian Universities Building Education Association Conference 2017
Marsha Lamb (editor).
EPiC Series in Education Science, Volume 1
GCAI 2017. 3rd Global Conference on Artificial Intelligence
Christoph Benzmüller, Christine Lisetti and Martin Theobald (editors).
EPiC Series in Computing, Volume 50
PROOFS 2017. 6th International Workshop on Security Proofs for Embedded Systems
Ulrich Kühne, Jean-Luc Danger and Sylvain Guilley (editors).
EPiC Series in Computing, Volume 49
ICRISET2017. International Conference on Research and Innovations in Science, Engineering and Technology. Selected Papers in Engineering
Ajitkumar Shukla, J. M. Patel, P. D. Solanki, K. B. Judal, R. K. Shukla, R. A. Thakkar, N. P. Gajjar, N. J. Kothari, Sukanta Saha, S. K. Joshi, Sanjay R. Joshi, Pranav Darji, Sanjay Dambhare, Bhupendra R. Parekh, P. M. George, Amit M. Trivedi, T. D. Pawar, Mehul B. Shah, Vinay J. Patel, Mehfuza S. Holia, Rashesh P. Mehta, Jagdish M. Rathod, Bhargav C. Goradiya and Dharita K. Patel (editors).
Kalpa Publications in Engineering, Volume 1
ICRISET2017. International Conference on Research and Innovations in Science, Engineering and Technology. Selected Papers in Civil Engineering
C. D. Modhera, G. J. Joshi, D.P Soni, Indrajit N. Patel, A. K. Verma, L. B. Zala, S. D. Dhiman, D. R. Bhatt, Jagdish M. Rathod, Bhargav C. Goradiya, Mehfuza S. Holia and Dharita K. Patel (editors).
Kalpa Publications in Civil Engineering, Volume 1
ARCH17. 4th International Workshop on Applied Verification of Continuous and Hybrid Systems
Goran Frehse and Matthias Althoff (editors).
EPiC Series in Computing, Volume 48
CAOS 2017. 17th Annual Meeting of the International Society for Computer Assisted Orthopaedic Surgery
Klaus Radermacher and Ferdinando Rodriguez Y Baena (editors).
EPiC Series in Health Sciences, Volume 1
ICRISET2017. International Conference on Research and Innovations in Science, Engineering and Technology. Selected Papers in Computing
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).
Kalpa Publications in Computing, Volume 2
IWIL Workshop and LPAR Short Presentations
Thomas Eiter, David Sands, Geoff Sutcliffe and Andrei Voronkov (editors).
Kalpa Publications in Computing, Volume 1
COLIEE 2017. 4th Competition on Legal Information Extraction and Entailment
Ken Satoh, Mi-Young Kim, Yoshinobu Kano, Randy Goebel and Tiago Oliveira (editors).
EPiC Series in Computing, Volume 47
LPAR-21. 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning
Thomas Eiter and David Sands (editors).
EPiC Series in Computing, Volume 46
SCSS 2017. The 8th International Symposium on Symbolic Computation in Software Science 2017
Mohamed Mosbah and Michael Rusinowitch (editors).
EPiC Series in Computing, Volume 45
Vampire 2016. Proceedings of the 3rd Vampire Workshop
Laura Kovács and Andrei Voronkov (editors).
EPiC Series in Computing, Volume 44
Professional and Academic Discourse: an Interdisciplinary Perspective
Chelo Vargas-Sierra (editor).
EPiC Series in Language and Linguistics, Volume 2
ARCH16. 3rd International Workshop on Applied Verification for Continuous and Hybrid Systems
Goran Frehse and Matthias Althoff (editors).
EPiC Series in Computing, Volume 43
CILC2016. 8th International Conference on Corpus Linguistics
Antonio Moreno Ortiz and Chantal Pérez-Hernández (editors).
EPiC Series in Language and Linguistics, Volume 1
GCAI 2016. 2nd Global Conference on Artificial Intelligence
Christoph Benzmüller, Geoff Sutcliffe and Raul Rojas (editors).
EPiC Series in Computing, Volume 41
IWIL-2015. 11th International Workshop on the Implementation of Logics
Boris Konev, Stephan Schulz and Laurent Simon (editors).
EPiC Series in Computing, Volume 40
SCSS 2016. 7th International Symposium on Symbolic Computation in Software Science
James H. Davenport and Fadoua Ghourabi (editors).
EPiC Series in Computing, Volume 39
Proceedings of the 1st and 2nd Vampire Workshops
Laura Kovács and Andrei Voronkov (editors).
EPiC Series in Computing, Volume 38
Symbolic and Numerical Methods for Reachability Analysis, 1st International Workshop, SNR 2015
Sergiy Bogomolov and Ashish Tiwari (editors).
EPiC Series in Computing, Volume 37
GCAI 2015. Global Conference on Artificial Intelligence
Georg Gottlob, Geoff Sutcliffe and Andrei Voronkov (editors).
EPiC Series in Computing, Volume 36
LPAR-20. 20th International Conferences on Logic for Programming, Artificial Intelligence and Reasoning - Short Presentations
Ansgar Fehnker, Annabelle McIver, Geoff Sutcliffe and Andrei Voronkov (editors).
EPiC Series in Computing, Volume 35
ARCH14-15. 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems
Goran Frehse and Matthias Althoff (editors).
EPiC Series in Computing, Volume 34
ARQNL 2014. Automated Reasoning in Quantified Non-Classical Logics
Christoph Benzmüller and Jens Otten (editors).
EPiC Series in Computing, Volume 33
Copyright © 2012-2018 easychair.org. All rights reserved.