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 Conference on Cognitive and Computational Aspects of Situation Management 2023
Kenneth Baclawski
,
Michael Kozak
,
Kirstie Bellman
,
Giuseppe D'Aniello
,
Alicia Ruvinsky
and
Candida Da Silva Ferreira Barreto
(editors).
Proceedings of the 16th International Conference on Bioinformatics and Computational Biology (BICOB-2024)
Hisham Al-Mubaid
,
Tamer Aldwairi
and
Oliver Eulenstein
(editors).
Proceedings of 25th Conference on Logic for Programming, Artificial Intelligence and Reasoning
Nikolaj Bjørner
,
Marijn Heule
and
Andrei Voronkov
(editors).
Proceedings of the 7th and 8th Vampire Workshop
Laura Kovács
and
Michael Rawson
(editors).
Proceedings of 39th International Conference on Computers and Their Applications
Ajay Bandi
,
Mohammad Hossain
and
Ying Jin
(editors).
Proceedings of 36th International Conference on Computer Applications in Industry and Engineering
Krishna Kambhampaty
,
Gongzhu Hu
and
Indranil Roy
(editors).
Proceedings of 10th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH23)
Goran Frehse
and
Matthias Althoff
(editors).
Proceedings of European University Information Systems Congress 2023
Jean-François Desnos
and
Martín López Nores
(editors).
Proceedings of 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning
Ruzica Piskac
and
Andrei Voronkov
(editors).
Proceedings of Society 5.0 Conference 2023
Aurona Gerber
and
Knut Hinkelmann
(editors).
Proceedings of International Conference on Bioinformatics and Computational Biology (BICOB-2023)
Hisham Al-Mubaid
,
Tamer Aldwairi
and
Oliver Eulenstein
(editors).
Proceedings of 38th International Conference on Computers and Their Applications
Ajay Bandi
,
Mohammad Hossain
and
Ying Jin
(editors).
Proceedings of 9th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH22)
Goran Frehse
,
Matthias Althoff
,
Erwin Schoitsch
and
Jeremie Guiochet
(editors).
Proceedings of 35th International Conference on Computer Applications in Industry and Engineering
Yan Shi
,
Gongzhu Hu
,
Krishna Kambhampaty
and
Takaaki Goto
(editors).
Proceedings of 31st International Conference on Software Engineering and Data Engineering
Frederick Harris
,
Alex Redei
and
Rui Wu
(editors).
Proceedings of 10th International Workshop on Security Proofs for Embedded Systems
Ulrich Kühne
and
Fan Zhang
(editors).
Proceedings of EUNIS 2022 – The 28th International Congress of European University Information Systems
Jean-François Desnos
,
Ramin Yahyapour
and
Raimund Vogl
(editors).
Proceedings of 11th International Congress on Advanced Applied Informatics
Tokuro Matsuo
(editor).
Proceedings of 43rd Conference of the South African Institute of Computer Scientists and Information Technologists
Aurona Gerber
(editor).
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).
Proceedings of 14th International Conference on Bioinformatics and Computational Biology
Hisham Al-Mubaid
,
Tamer Aldwairi
and
Oliver Eulenstein
(editors).
Proceedings of 37th International Conference on Computers and Their Applications
Bidyut Gupta
,
Ajay Bandi
and
Mohammad Hossain
(editors).
8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21)
Goran Frehse
and
Matthias Althoff
(editors).
Proceedings of ISCA 34th International Conference on Computer Applications in Industry and Engineering
Yan Shi
,
Gongzhu Hu
,
Quan Yuan
and
Takaaki Goto
(editors).
Proceedings of the European University Information Systems Conference 2021
Spiros Bolis
,
Jean-François Desnos
,
Lazaros Merakos
and
Raimund Vogl
(editors).
Proceedings of ISCA 30th International Conference on Software Engineering and Data Engineering
Frederick Harris
,
Rui Wu
and
Alex Redei
(editors).
CAINE 2020. The 33rd International Conference on Computer Applications in Industry and Engineering
Yan Shi
,
Gongzhu Hu
,
Takaaki Goto
and
Quan Yuan
(editors).
SEDE 2020. 29th International Conference on Software Engineering and Data Engineering
Alex Redei
,
Rui Wu
and
Frederick Harris
(editors).
ARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20)
Goran Frehse
and
Matthias Althoff
(editors).
LPAR23. LPAR-23: 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning
Elvira Albert
and
Laura Kovacs
(editors).
GCAI 2020. 6th Global Conference on Artificial Intelligence (GCAI 2020)
Gregoire Danoy
,
Jun Pang
and
Geoff Sutcliffe
(editors).
Vampire 2018 and Vampire 2019. The 5th and 6th Vampire Workshops
Laura Kovacs
and
Andrei Voronkov
(editors).
Proceedings of the 12th International Conference on Bioinformatics and Computational Biology
Qin Ding
,
Oliver Eulenstein
and
Hisham Al-Mubaid
(editors).
Proceedings of 35th International Conference on Computers and Their Applications
Gordon Lee
and
Ying Jin
(editors).
ANDREI-60. Automated New-era Deductive Reasoning Event in Iberia
Laura Kovacs
,
Konstantin Korovin
and
Giles Reger
(editors).
Proceedings of the 7th OpenSky Workshop 2019
Christina Pöpper
and
Martin Strohmeier
(editors).
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).
GCAI 2019. Proceedings of the 5th Global Conference on Artificial Intelligence
Diego Calvanese
and
Luca Iocchi
(editors).
Proceedings of 28th International Conference on Software Engineering and Data Engineering
Frederick Harris
,
Sergiu Dascalu
,
Sharad Sharma
and
Rui Wu
(editors).
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).
SUMO User Conference 2019
Melanie Weber
,
Laura Bieker-Walz
,
Robert Hilbrich
and
Michael Behrisch
(editors).
ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systems
Goran Frehse
and
Matthias Althoff
(editors).
Proceedings of 11th International Conference on Bioinformatics and Computational Biology
Oliver Eulenstein
,
Hisham Al-Mubaid
and
Qin Ding
(editors).
Proceedings of Pragmatics of SAT 2015 and 2018
Daniel Le Berre
and
Matti Järvisalo
(editors).
Proceedings of 34th International Conference on Computers and Their Applications
Gordon Lee
and
Ying Jin
(editors).
LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning
Gilles Barthe
,
Geoff Sutcliffe
and
Margus Veanes
(editors).
Proceedings of the 5th International OMNeT++ Community Summit
Anna Förster
,
Asanga Udugama
,
Antonio Virdis
and
Giovanni Nardini
(editors).
GCAI-2018. 4th Global Conference on Artificial Intelligence
Daniel Lee
,
Alexander Steen
and
Toby Walsh
(editors).
ARCH18. 5th International Workshop on Applied Verification of Continuous and Hybrid Systems
Goran Frehse
(editor).
Vampire 2017. Proceedings of the 4th Vampire Workshop
Laura Kovács
and
Andrei Voronkov
(editors).
ICT4S2018. 5th International Conference on Information and Communication Technology for Sustainability
Birgit Penzenstadler
,
Steve Easterbrook
,
Colin Venters
and
Syed Ishtiaque Ahmed
(editors).
ARCADE 2017. 1st International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements
Giles Reger
and
Dmitriy Traytel
(editors).
GCAI 2017. 3rd Global Conference on Artificial Intelligence
Christoph Benzmüller
,
Christine Lisetti
and
Martin Theobald
(editors).
PROOFS 2017. 6th International Workshop on Security Proofs for Embedded Systems
Ulrich Kühne
,
Jean-Luc Danger
and
Sylvain Guilley
(editors).
ARCH17. 4th International Workshop on Applied Verification of Continuous and Hybrid Systems
Goran Frehse
and
Matthias Althoff
(editors).
COLIEE 2017. 4th Competition on Legal Information Extraction and Entailment
Ken Satoh
,
Mi-Young Kim
,
Yoshinobu Kano
,
Randy Goebel
and
Tiago Oliveira
(editors).
LPAR-21. 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning
Thomas Eiter
and
David Sands
(editors).
SCSS 2017. The 8th International Symposium on Symbolic Computation in Software Science 2017
Mohamed Mosbah
and
Michael Rusinowitch
(editors).
Vampire 2016. Proceedings of the 3rd Vampire Workshop
Laura Kovacs
and
Andrei Voronkov
(editors).
ARCH16. 3rd International Workshop on Applied Verification for Continuous and Hybrid Systems
Goran Frehse
and
Matthias Althoff
(editors).
GCAI 2016. 2nd Global Conference on Artificial Intelligence
Christoph Benzmüller
,
Geoff Sutcliffe
and
Raul Rojas
(editors).
IWIL-2015. 11th International Workshop on the Implementation of Logics
Boris Konev
,
Stephan Schulz
and
Laurent Simon
(editors).
SCSS 2016. 7th International Symposium on Symbolic Computation in Software Science
James H. Davenport
and
Fadoua Ghourabi
(editors).
Proceedings of the 1st and 2nd Vampire Workshops
Laura Kovács
and
Andrei Voronkov
(editors).
Symbolic and Numerical Methods for Reachability Analysis, 1st International Workshop, SNR 2015
Sergiy Bogomolov
and
Ashish Tiwari
(editors).
GCAI 2015. Global Conference on Artificial Intelligence
Georg Gottlob
,
Geoff Sutcliffe
and
Andrei Voronkov
(editors).
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).
ARCH14-15. 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems
Goran Frehse
and
Matthias Althoff
(editors).
ARQNL 2014. Automated Reasoning in Quantified Non-Classical Logics
Christoph Benzmüller
and
Jens Otten
(editors).
NLCS'15. Third Workshop on Natural Language and Computer Science
Makoto Kanazawa
,
Lawrence S. Moss
and
Valeria de Paiva
(editors).
PAAR-2014. 4th Workshop on Practical Aspects of Automated Reasoning
Stephan Schulz
,
Leonardo De Moura
and
Boris Konev
(editors).
SCSS 2014. 6th International Symposium on Symbolic Computation in Software Science
Temur Kutsia
and
Andrei Voronkov
(editors).
UNIF 2012 Post-Worskhop Proceedings. The 26th International Workshop on Unification
Santiago Escobar
,
Konstantin Korovin
and
Vladimir Rybakov
(editors).
TACL 2013. Sixth International Conference on Topology, Algebra and Categories in Logic
Nikolaos Galatos
,
Alexander Kurz
and
Constantine Tsinakis
(editors).
LPAR-19. 19th International Conference on Logic for Programming, Artificial Intelligence and Reasoning
Ken Mcmillan
,
Aart Middeldorp
,
Geoff Sutcliffe
and
Andrei Voronkov
(editors).
PSI 2014. Ershov Informatics Conference
Irina Virbitskaite
and
Andrei Voronkov
(editors).
POS-14. Fifth Pragmatics of SAT workshop
Daniel Le Berre
(editor).
VPT 2014. Second International Workshop on Verification and Program Transformation
Alexei Lisitsa
and
Andrei Nemytykh
(editors).
POS-13. Pragmatics of SAT 2013
Daniel Le Berre
(editor).
HOWARD-60. A Festschrift on the Occasion of Howard Barringer's 60th Birthday
Andrei Voronkov
and
Margarita Korovina
(editors).
IWIL 2012. The 9th International Workshop on the Implementation of Logics
Konstantin Korovin
,
Stephan Schulz
and
Eugenia Ternovska
(editors).
PAAR-2012. Third Workshop on Practical Aspects of Automated Reasoning
Pascal Fontaine
,
Renate A. Schmidt
and
Stephan Schulz
(editors).
SMT 2012. 10th International Workshop on Satisfiability Modulo Theories
Pascal Fontaine
and
Amit Goel
(editors).
UNIF 2013. 27th International Workshop on Unification
Konstantin Korovin
and
Barbara Morawska
(editors).
WWV 2010. 6th International Workshop on Automated Specification and Verification of Web Systems
Laura Kovacs
and
Temur Kutsia
(editors).
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).
VPT 2013. First International Workshop on Verification and Program Transformation
Alexei Lisitsa
and
Andrei Nemytykh
(editors).
SCSS 2013. 5th International Symposium on Symbolic Computation in Software Science
Laura Kovacs
and
Temur Kutsia
(editors).
PxTP 2013. Third International Workshop on Proof Exchange for Theorem Proving
Jasmin Christian Blanchette
and
Josef Urban
(editors).
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).
PSPL 2010. International Workshop on Proof Systems for Program Logics
Alex Simpson
(editor).
CASC-J6. The 6th IJCAR ATP System Competition
Geoff Sutcliffe
(editor).
Turing-100. The Alan Turing Centenary
Andrei Voronkov
(editor).
WING 2010. Workshop on Invariant Generation 2010
Andrei Voronkov
,
Laura Kovacs
and
Nikolaj Bjorner
(editors).
PAAR-2010: Proceedings of the 2nd Workshop on Practical Aspects of Automated Reasoning
Renate A. Schmidt
,
Stephan Schulz
and
Boris Konev
(editors).
POS-10. Pragmatics of SAT
Daniel Le Berre
(editor).
LAM'10. 3rd International Workshop on Logics, Agents, and Mobility
Berndt Müller
(editor).
EMSQMS 2010. Workshop on Evaluation Methods for Solvers, and Quality Metrics for Solutions
Aaron Stump
,
Geoff Sutcliffe
and
Cesare Tinelli
(editors).
PAR-10. Partiality and Recursion in Interactive Theorem Provers
Ekaterina Komendantskaya
,
Ana Bove
and
Milad Niqui
(editors).
WCB10. Workshop on Constraint Based Methods for Bioinformatics
Agostino Dovier
,
Alessandro Dal Palù
and
Sebastian Will
(editors).
VERIFY-2010. 6th International Verification Workshop
Markus Aderhold
,
Serge Autexier
and
Heiko Mantel
(editors).
IWIL 2010. The 8th International Workshop on the Implementation of Logics
Geoff Sutcliffe
,
Stephan Schulz
and
Eugenia Ternovska
(editors).
Copyright © 2012-2024 easychair.org. All rights reserved.