Home
EPiC Series
Kalpa Publications
Preprints
For Authors
For Editors
Main Page
•
All Volumes
•
Editorial Board
EPiC Series in Computing
All Volumes
ISSN: 2398-7340
Proceedings of 10th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH23)
Goran Frehse
and
Matthias Althoff
(editors).
EPiC Series in Computing
, Volume 96
Proceedings of European University Information Systems Congress 2023
Jean-François Desnos
and
Martín López Nores
(editors).
EPiC Series in Computing
, Volume 95
Proceedings of 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning
Ruzica Piskac
and
Andrei Voronkov
(editors).
EPiC Series in Computing
, Volume 94
Proceedings of Society 5.0 Conference 2023
Aurona Gerber
and
Knut Hinkelmann
(editors).
EPiC Series in Computing
, Volume 93
Proceedings of International Conference on Bioinformatics and Computational Biology (BICOB-2023)
Hisham Al-Mubaid
,
Tamer Aldwairi
and
Oliver Eulenstein
(editors).
EPiC Series in Computing
, Volume 92
Proceedings of 38th International Conference on Computers and Their Applications
Ajay Bandi
,
Mohammad Hossain
and
Ying Jin
(editors).
EPiC Series in Computing
, Volume 91
Proceedings of 9th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH22)
Goran Frehse
,
Matthias Althoff
,
Erwin Schoitsch
and
Jeremie Guiochet
(editors).
EPiC Series in Computing
, Volume 90
Proceedings of 35th International Conference on Computer Applications in Industry and Engineering
Yan Shi
,
Gongzhu Hu
,
Krishna Kambhampaty
and
Takaaki Goto
(editors).
EPiC Series in Computing
, Volume 89
Proceedings of 31st International Conference on Software Engineering and Data Engineering
Frederick C. Harris Jr
,
Alexander Redei
and
Rui Wu
(editors).
EPiC Series in Computing
, Volume 88
Proceedings of 10th International Workshop on Security Proofs for Embedded Systems
Ulrich Kühne
and
Fan Zhang
(editors).
EPiC Series in Computing
, Volume 87
Proceedings of EUNIS 2022 – The 28th International Congress of European University Information Systems
Jean-François Desnos
,
Ramin Yahyapour
and
Raimund Vogl
(editors).
EPiC Series in Computing
, Volume 86
Proceedings of 11th International Congress on Advanced Applied Informatics
Tokuro Matsuo
(editor).
EPiC Series in Computing
, Volume 81
Proceedings of 43rd Conference of the South African Institute of Computer Scientists and Information Technologists
Aurona Gerber
(editor).
EPiC Series in Computing
, Volume 85
Proceedings of the Society 5.0 Conference 2022 - Integrating Digital World and Real World to Resolve Challenges in Business and Society
Knut Hinkelmann
and
Aurona Gerber
(editors).
EPiC Series in Computing
, Volume 84
Proceedings of 14th International Conference on Bioinformatics and Computational Biology
Hisham Al-Mubaid
,
Tamer Aldwairi
and
Oliver Eulenstein
(editors).
EPiC Series in Computing
, Volume 83
Proceedings of 37th International Conference on Computers and Their Applications
Bidyut Gupta
,
Ajay Bandi
and
Mohammad Hossain
(editors).
EPiC Series in Computing
, Volume 82
8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21)
Goran Frehse
and
Matthias Althoff
(editors).
EPiC Series in Computing
, Volume 80
Proceedings of ISCA 34th International Conference on Computer Applications in Industry and Engineering
Yan Shi
,
Gongzhu Hu
,
Quan Yuan
and
Takaaki Goto
(editors).
EPiC Series in Computing
, Volume 79
Proceedings of the European University Information Systems Conference 2021
Spiros Bolis
,
Jean-François Desnos
,
Lazaros Merakos
and
Raimund Vogl
(editors).
EPiC Series in Computing
, Volume 78
Proceedings of ISCA 30th International Conference on Software Engineering and Data Engineering
Frederick C. Harris Jr
,
Rui Wu
and
Alexander Redei
(editors).
EPiC Series in Computing
, Volume 77
CAINE 2020. The 33rd International Conference on Computer Applications in Industry and Engineering
Yan Shi
,
Gongzhu Hu
,
Takaaki Goto
and
Quan Yuan
(editors).
EPiC Series in Computing
, Volume 75
SEDE 2020. 29th International Conference on Software Engineering and Data Engineering
Alexander Redei
,
Rui Wu
and
Frederick C. Harris Jr
(editors).
EPiC Series in Computing
, Volume 76
ARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20)
Goran Frehse
and
Matthias Althoff
(editors).
EPiC Series in Computing
, Volume 74
LPAR23. LPAR-23: 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning
Elvira Albert
and
Laura Kovács
(editors).
EPiC Series in Computing
, Volume 73
GCAI 2020. 6th Global Conference on Artificial Intelligence (GCAI 2020)
Gregoire Danoy
,
Jun Pang
and
Geoff Sutcliffe
(editors).
EPiC Series in Computing
, Volume 72
Vampire 2018 and Vampire 2019. The 5th and 6th Vampire Workshops
Laura Kovács
and
Andrei Voronkov
(editors).
EPiC Series in Computing
, Volume 71
Proceedings of the 12th International Conference on Bioinformatics and Computational Biology
Qin Ding
,
Oliver Eulenstein
and
Hisham Al-Mubaid
(editors).
EPiC Series in Computing
, Volume 70
Proceedings of 35th International Conference on Computers and Their Applications
Gordon Lee
and
Ying Jin
(editors).
EPiC Series in Computing
, Volume 69
ANDREI-60. Automated New-era Deductive Reasoning Event in Iberia
Laura Kovács
,
Konstantin Korovin
and
Giles Reger
(editors).
EPiC Series in Computing
, Volume 68
Proceedings of the 7th OpenSky Workshop 2019
Christina Pöpper
and
Martin Strohmeier
(editors).
EPiC Series in Computing
, Volume 67
Proceedings of 6th International OMNeT++ Community Summit 2019
Meyo Zongo
,
Antonio Virdis
,
Vladimir Vesely
,
Zeynep Vatandas
,
Asanga Udugama
,
Koojana Kuladinithi
,
Michael Kirsche
and
Anna Förster
(editors).
EPiC Series in Computing
, Volume 66
GCAI 2019. Proceedings of the 5th Global Conference on Artificial Intelligence
Diego Calvanese
and
Luca Iocchi
(editors).
EPiC Series in Computing
, Volume 65
Proceedings of 28th International Conference on Software Engineering and Data Engineering
Frederick C. Harris Jr
,
Sergiu Dascalu
,
Sharad Sharma
and
Rui Wu
(editors).
EPiC Series in Computing
, Volume 64
Proceedings of 32nd International Conference on Computer Applications in Industry and Engineering
Quan Yuan
,
Yan Shi
,
Les Miller
,
Gordon Lee
,
Gongzhu Hu
and
Takaaki Goto
(editors).
EPiC Series in Computing
, Volume 63
SUMO User Conference 2019
Melanie Weber
,
Laura Bieker-Walz
,
Robert Hilbrich
and
Michael Behrisch
(editors).
EPiC Series in Computing
, Volume 62
ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systems
Goran Frehse
and
Matthias Althoff
(editors).
EPiC Series in Computing
, Volume 61
Proceedings of 11th International Conference on Bioinformatics and Computational Biology
Oliver Eulenstein
,
Hisham Al-Mubaid
and
Qin Ding
(editors).
EPiC Series in Computing
, Volume 60
Proceedings of Pragmatics of SAT 2015 and 2018
Daniel Le Berre
and
Matti Järvisalo
(editors).
EPiC Series in Computing
, Volume 59
Proceedings of 34th International Conference on Computers and Their Applications
Gordon Lee
and
Ying Jin
(editors).
EPiC Series in Computing
, Volume 58
LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning
Gilles Barthe
,
Geoff Sutcliffe
and
Margus Veanes
(editors).
EPiC Series in Computing
, Volume 57
Proceedings of the 5th International OMNeT++ Community Summit
Anna Förster
,
Asanga Udugama
,
Antonio Virdis
and
Giovanni Nardini
(editors).
EPiC Series in Computing
, Volume 56
GCAI-2018. 4th Global Conference on Artificial Intelligence
Daniel Lee
,
Alexander Steen
and
Toby Walsh
(editors).
EPiC Series in Computing
, Volume 55
ARCH18. 5th International Workshop on Applied Verification of Continuous and Hybrid Systems
Goran Frehse
(editor).
EPiC Series in Computing
, Volume 54
Vampire 2017. Proceedings of the 4th Vampire Workshop
Laura Kovács
and
Andrei Voronkov
(editors).
EPiC Series in Computing
, Volume 53
ICT4S2018. 5th International Conference on Information and Communication Technology for Sustainability
Birgit Penzenstadler
,
Steve Easterbrook
,
Colin Venters
and
Syed Ishtiaque Ahmed
(editors).
EPiC Series in Computing
, Volume 52
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
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
ARCH17. 4th International Workshop on Applied Verification of Continuous and Hybrid Systems
Goran Frehse
and
Matthias Althoff
(editors).
EPiC Series in Computing
, Volume 48
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
ARCH16. 3rd International Workshop on Applied Verification for Continuous and Hybrid Systems
Goran Frehse
and
Matthias Althoff
(editors).
EPiC Series in Computing
, Volume 43
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
NLCS'15. Third Workshop on Natural Language and Computer Science
Makoto Kanazawa
,
Larry Moss
and
Valeria de Paiva
(editors).
EPiC Series in Computing
, Volume 32
PAAR-2014. 4th Workshop on Practical Aspects of Automated Reasoning
Stephan Schulz
,
Leonardo de Moura
and
Boris Konev
(editors).
EPiC Series in Computing
, Volume 31
SCSS 2014. 6th International Symposium on Symbolic Computation in Software Science
Temur Kutsia
and
Andrei Voronkov
(editors).
EPiC Series in Computing
, Volume 30
VPT 2014. Second International Workshop on Verification and Program Transformation
Alexei Lisitsa
and
Andrei Nemytykh
(editors).
EPiC Series in Computing
, Volume 28
POS-14. Fifth Pragmatics of SAT workshop
Daniel Le Berre
(editor).
EPiC Series in Computing
, Volume 27
PSI 2014. Ershov Informatics Conference
Irina Virbitskaite
and
Andrei Voronkov
(editors).
EPiC Series in Computing
, Volume 23
LPAR-19. 19th International Conference on Logic for Programming, Artificial Intelligence and Reasoning
Kenneth L. McMillan
,
Aart Middeldorp
,
Geoff Sutcliffe
and
Andrei Voronkov
(editors).
EPiC Series in Computing
, Volume 26
TACL 2013. Sixth International Conference on Topology, Algebra and Categories in Logic
Nikolaos Galatos
,
Alexander Kurz
and
Constantine Tsinakis
(editors).
EPiC Series in Computing
, Volume 25
UNIF 2012 Post-Worskhop Proceedings. The 26th International Workshop on Unification
Santiago Escobar
,
Konstantin Korovin
and
Vladimir Rybakov
(editors).
EPiC Series in Computing
, Volume 24
POS-13. Pragmatics of SAT 2013
Daniel Le Berre
(editor).
EPiC Series in Computing
, Volume 29
HOWARD-60. A Festschrift on the Occasion of Howard Barringer's 60th Birthday
Andrei Voronkov
and
Margarita Korovina
(editors).
EPiC Series in Computing
, Volume 42
IWIL 2012. The 9th International Workshop on the Implementation of Logics
Konstantin Korovin
,
Stephan Schulz
and
Eugenia Ternovska
(editors).
EPiC Series in Computing
, Volume 22
SMT 2012. 10th International Workshop on Satisfiability Modulo Theories
Pascal Fontaine
and
Amit Goel
(editors).
EPiC Series in Computing
, Volume 20
PAAR-2012. Third Workshop on Practical Aspects of Automated Reasoning
Pascal Fontaine
,
Renate A. Schmidt
and
Stephan Schulz
(editors).
EPiC Series in Computing
, Volume 21
UNIF 2013. 27th International Workshop on Unification
Konstantin Korovin
and
Barbara Morawska
(editors).
EPiC Series in Computing
, Volume 19
WWV 2010. 6th International Workshop on Automated Specification and Verification of Web Systems
Laura Kovács
and
Temur Kutsia
(editors).
EPiC Series in Computing
, Volume 18
ATx'12/WInG'12: Joint Proceedings of the Workshops on Automated Theory eXploration and on Invariant Generation
Jacques Fleuriot
,
Peter Höfner
,
Annabelle McIver
and
Alan Smaill
(editors).
EPiC Series in Computing
, Volume 17
VPT 2013. First International Workshop on Verification and Program Transformation
Alexei Lisitsa
and
Andrei Nemytykh
(editors).
EPiC Series in Computing
, Volume 16
SCSS 2013. 5th International Symposium on Symbolic Computation in Software Science
Laura Kovács
and
Temur Kutsia
(editors).
EPiC Series in Computing
, Volume 15
PxTP 2013. Third International Workshop on Proof Exchange for Theorem Proving
Jasmin Christian Blanchette
and
Josef Urban
(editors).
EPiC Series in Computing
, Volume 14
LPAR-17-short. short papers for 17th International Conference on Logic for Programming, Artificial intelligence, and Reasoning.
Andrei Voronkov
,
Geoff Sutcliffe
,
Matthias Baaz
and
Christian Fermüller
(editors).
EPiC Series in Computing
, Volume 13
PSPL 2010. International Workshop on Proof Systems for Program Logics
Alex Simpson
(editor).
EPiC Series in Computing
, Volume 12
CASC-J6. The 6th IJCAR ATP System Competition
Geoff Sutcliffe
(editor).
EPiC Series in Computing
, Volume 11
Turing-100. The Alan Turing Centenary
Andrei Voronkov
(editor).
EPiC Series in Computing
, Volume 10
WING 2010. Workshop on Invariant Generation 2010
Andrei Voronkov
,
Laura Kovács
and
Nikolaj Bjorner
(editors).
EPiC Series in Computing
, Volume 1
PAAR-2010: Proceedings of the 2nd Workshop on Practical Aspects of Automated Reasoning
Renate A. Schmidt
,
Stephan Schulz
and
Boris Konev
(editors).
EPiC Series in Computing
, Volume 9
POS-10. Pragmatics of SAT
Daniel Le Berre
(editor).
EPiC Series in Computing
, Volume 8
LAM'10. 3rd International Workshop on Logics, Agents, and Mobility
Berndt Müller
(editor).
EPiC Series in Computing
, Volume 7
EMSQMS 2010. Workshop on Evaluation Methods for Solvers, and Quality Metrics for Solutions
Aaron Stump
,
Geoff Sutcliffe
and
Cesare Tinelli
(editors).
EPiC Series in Computing
, Volume 6
PAR-10. Partiality and Recursion in Interactive Theorem Provers
Ekaterina Komendantskaya
,
Ana Bove
and
Milad Niqui
(editors).
EPiC Series in Computing
, Volume 5
WCB10. Workshop on Constraint Based Methods for Bioinformatics
Agostino Dovier
,
Alessandro Dal Palù
and
Sebastian Will
(editors).
EPiC Series in Computing
, Volume 4
VERIFY-2010. 6th International Verification Workshop
Markus Aderhold
,
Serge Autexier
and
Heiko Mantel
(editors).
EPiC Series in Computing
, Volume 3
IWIL 2010. The 8th International Workshop on the Implementation of Logics
Geoff Sutcliffe
,
Stephan Schulz
and
Eugenia Ternovska
(editors).
EPiC Series in Computing
, Volume 2
Copyright © 2012-2023 easychair.org. All rights reserved.