default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDEPiC Series in Computing (EPiC)
EasyChair Proceedings in Computing (EPiC)
100Nikolaj S. Bjørner, Marijn Heule, Andrei Voronkov:
LPAR 2024: Proceedings of 25th Conference on Logic for Programming, Artificial Intelligence and Reasoning, Port Louis, Mauritius, May 26-31, 2024. EPiC Series in Computing 100, EasyChair 2024 [contents]- 96Goran Frehse, Matthias Althoff:
Proceedings of 10th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH23), San Antonio, Texas, USA, May 9, 2023. EPiC Series in Computing 96, EasyChair 2023 [contents] - 95Jean-François Desnos, Martín López Nores:
Proceedings of European University Information Systems Congress 2023, EUNIS 2023, Vigo, Spain, 14-16 June, 2023. EPiC Series in Computing 95, EasyChair 2023 [contents] - 94Ruzica Piskac, Andrei Voronkov:
LPAR 2023: Proceedings of 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Manizales, Colombia, 4-9th June 2023. EPiC Series in Computing 94, EasyChair 2023 [contents] - 90Goran Frehse, Matthias Althoff, Erwin Schoitsch, Jérémie Guiochet:
Proceedings of 9th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH22), Munich, Germany, September 2022. EPiC Series in Computing 90, EasyChair 2022 [contents] - 86Jean-François Desnos, Ramin Yahyapour, Raimund Vogl:
Proceedings of EUNIS 2022 - The 28th International Congress of European University Information Systems, Göttingen, Germany, 1-3 June, 2022. EPiC Series in Computing 86, EasyChair 2022 [contents] - 81Proceedings of 11th International Congress on Advanced Applied Informatics, IAI-AAI Winter 2021, Jakarta, Indonesia, December 17-19, 2021. EPiC Series in Computing 81, EasyChair 2021 [contents]
- 80Goran Frehse, Matthias Althoff:
8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21), Brussels, Belgium, July 9, 2021. EPiC Series in Computing 80, EasyChair 2021 [contents] - 78Spiros Bolis, Jean-François Desnos, Lazaros F. Merakos, Raimund Vogl:
Proceedings of the European University Information Systems Conference 2021, EUNIS 2021, Virtual Event, Greece, 9-11 June, 2021. EPiC Series in Computing 78, EasyChair 2021 [contents] - 74ARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20), Berlin, Germany, July 12, 2020. EPiC Series in Computing 74, EasyChair 2020 [contents]
- 73Elvira Albert, Laura Kovács:
LPAR 2020: 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Alicante, Spain, May 22-27, 2020. EPiC Series in Computing 73, EasyChair 2020 [contents] - 72Grégoire Danoy, Jun Pang, Geoff Sutcliffe:
6th Global Conference on Artificial Intelligence, GCAI 2020, Hangzhou, China, April 6-9, 2020. EPiC Series in Computing 72, EasyChair 2020 [contents] - 69Gordon Lee, Ying Jin:
Proceedings of 35th International Conference on Computers and Their Applications, CATA 2020, San Francisco, California, USA, March 23-25, 2020. EPiC Series in Computing 69, EasyChair 2020 [contents] - 67Christina Pöpper, Martin Strohmeier:
Proceedings of the 7th OpenSky Workshop 2019, Zurich, Switzerland, November 21-22, 2019. EPiC Series in Computing 67, EasyChair 2019 [contents] - 65Diego Calvanese, Luca Iocchi:
GCAI 2019. Proceedings of the 5th Global Conference on Artificial Intelligence, Bozen/Bolzano, Italy, 17-19 September 2019. EPiC Series in Computing 65, EasyChair 2019 [contents] - 62Melanie Weber, Laura Bieker-Walz, Robert Hilbrich, Michael Behrisch:
Simulating Connected Urban Mobility, SUMO User Conference 2019, May 13-15, 2019, Berlin-Adlershof, Germany. EPiC Series in Computing 62, EasyChair 2019 [contents] - 61Goran Frehse, Matthias Althoff:
ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systemsi, part of CPS-IoT Week 2019, Montreal, QC, Canada, April 15, 2019. EPiC Series in Computing 61, EasyChair 2019 [contents] - 59Daniel Le Berre, Matti Järvisalo:
Proceedings of Pragmatics of SAT 2015, Austin, Texas, USA, September 23, 2015 / Pragmatics of SAT 2018, Oxford, UK, July 7, 2018. EPiC Series in Computing 59, EasyChair 2019 [contents] - 58Gordon Lee, Ying Jin:
Proceedings of 34th International Conference on Computers and Their Applications, CATA 2019, Honolulu, Hawaii, USA, March 18-20, 2019. EPiC Series in Computing 58, EasyChair 2019 [contents] - 57Gilles Barthe, Geoff Sutcliffe, Margus Veanes:
LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Awassa, Ethiopia, 16-21 November 2018. EPiC Series in Computing 57, EasyChair 2018 [contents] - 56Proceedings of the 5th International OMNeT++ Community Summit, University of Pisa, Italy, September 05-07, 2018. EPiC Series in Computing 56, EasyChair 2018 [contents]
- 55Daniel D. Lee, Alexander Steen, Toby Walsh:
GCAI-2018, 4th Global Conference on Artificial Intelligence, Luxembourg, September 18-21, 2018. EPiC Series in Computing 55, EasyChair 2018 [contents] - 54Goran Frehse, Matthias Althoff, Sergiy Bogomolov, Taylor T. Johnson:
ARCH18. 5th International Workshop on Applied Verification of Continuous and Hybrid Systems, ARCH@ADHS 2018, Oxford, UK, July 13, 2018. EPiC Series in Computing 54, EasyChair 2018 [contents] - 52Birgit Penzenstadler, Steve Easterbrook, Colin C. Venters, Syed Ishtiaque Ahmed:
5th International Conference on Information and Communication Technology for Sustainability, ICT4S 2018, Toronto, Canada, May 14-18, 2018. EPiC Series in Computing 52, EasyChair 2018 [contents] - 51Giles Reger, Dmitriy Traytel:
ARCADE 2017, 1st International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements, Gothenburg, Sweden, 6th August 2017. EPiC Series in Computing 51, EasyChair 2017 [contents] - 50Christoph Benzmüller, Christine L. Lisetti, Martin Theobald:
GCAI 2017, 3rd Global Conference on Artificial Intelligence, Miami, FL, USA, 18-22 October 2017. EPiC Series in Computing 50, EasyChair 2017 [contents] - 49Ulrich Kühne, Jean-Luc Danger, Sylvain Guilley:
PROOFS 2017, 6th International Workshop on Security Proofs for Embedded Systems, Taipei, Taiwan, September 29th, 2017. EPiC Series in Computing 49, EasyChair 2017 [contents] - 48Goran Frehse, Matthias Althoff:
ARCH17. 4th International Workshop on Applied Verification of Continuous and Hybrid Systems, collocated with Cyber-Physical Systems Week (CPSWeek) on April 17, 2017 in Pittsburgh, PA, USA. EPiC Series in Computing 48, EasyChair 2017 [contents] - 47Ken Satoh, Mi-Young Kim, Yoshinobu Kano, Randy Goebel, Tiago Oliveira:
COLIEE 2017. 4th Competition on Legal Information Extraction and Entailment, held in conjunction with the 16th International Conference on Artificial Intelligence and Law (ICAIL 2017) in King's College London, UK. EPiC Series in Computing 47, EasyChair 2017 [contents] - 46Thomas Eiter, David Sands:
LPAR-21, 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Maun, Botswana, May 7-12, 2017. EPiC Series in Computing 46, EasyChair 2017 [contents] - 45Mohamed Mosbah, Michaël Rusinowitch:
SCSS 2017, The 8th International Symposium on Symbolic Computation in Software Science 2017, April 6-9, 2017, Gammarth, Tunisia. EPiC Series in Computing 45, EasyChair 2017 [contents] - 44Laura Kovács, Andrei Voronkov:
Vampire@IJCAR 2016. Proceedings of the 3rd Vampire Workshop, Coimbra, Portugal, July 2, 2016. EPiC Series in Computing 44, EasyChair 2017 [contents] - 43Goran Frehse, Matthias Althoff:
ARCH@CPSWeek 2016, 3rd International Workshop on Applied Verification for Continuous and Hybrid Systems, Vienna, Austria. EPiC Series in Computing 43, EasyChair 2017 [contents] - 42Andrei Voronkov, Margarita V. Korovina:
HOWARD-60: A Festschrift on the Occasion of Howard Barringer's 60th Birthday. EPiC Series in Computing 42, EasyChair 2014 [contents] - 41Christoph Benzmüller, Geoff Sutcliffe, Raúl Rojas:
GCAI 2016. 2nd Global Conference on Artificial Intelligence, September 19 - October 2, 2016, Berlin, Germany. EPiC Series in Computing 41, EasyChair 2016 [contents] - 40Boris Konev, Stephan Schulz, Laurent Simon:
IWIL@LPAR 2015, 11th International Workshop on the Implementation of Logics, Suva, Fiji, November 23, 2015. EPiC Series in Computing 40, EasyChair 2016 [contents] - 39James H. Davenport, Fadoua Ghourabi:
7th International Symposium on Symbolic Computation in Software Science, SCSS 2016, Tokyo, Japan, March 28-31, 2016. EPiC Series in Computing 39, EasyChair 2016 [contents] - 38Laura Kovács, Andrei Voronkov:
Proceedings of the 1st and 2nd Vampire Workshops, Vampire@VSL 2014, Vienna, Austria, July 23, 2014 / Vampire@CADE 2015, Berlin, Germany, August 2, 2015. EPiC Series in Computing 38, EasyChair 2016 [contents] - 37Sergiy Bogomolov, Ashish Tiwari:
1st International Workshop on Symbolic and Numerical Methods for Reachability Analysis, SNR@CAV 2015, San Francisco, CA, USA, July 19, 2015. EPiC Series in Computing 37, EasyChair 2015 [contents] - 36Georg Gottlob, Geoff Sutcliffe, Andrei Voronkov:
Global Conference on Artificial Intelligence, GCAI 2015, Tbilisi, Georgia, October 16-19, 2015. EPiC Series in Computing 36, EasyChair 2015 [contents] - 35Ansgar Fehnker, Annabelle McIver, Geoff Sutcliffe, Andrei Voronkov:
20th International Conferences on Logic for Programming, Artificial Intelligence and Reasoning - Short Presentations, LPAR 2015, Suva, Fiji, November 24-28, 2015. EPiC Series in Computing 35, EasyChair 2015 [contents] - 34Goran Frehse, Matthias Althoff:
1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems, ARCH@CPSWeek 2014, Berlin, Germany, April 14, 2014 / ARCH@CPSWeek 2015, Seattle, WA, USA, April 13, 2015. EPiC Series in Computing 34, EasyChair 2015 [contents] - 33Christoph Benzmüller, Jens Otten:
Automated Reasoning in Quantified Non-Classical Logics, ARQNL@IJCAR 2014, Vienna, Austria, July 23, 2014. EPiC Series in Computing 33, EasyChair 2015 [contents] - 32Makoto Kanazawa, Lawrence S. Moss, Valeria de Paiva:
Third Workshop on Natural Language and Computer Science, NLCS@ICALP/LICS 2015, Kyoto, Japan, 2015. EPiC Series in Computing 32, EasyChair 2015 [contents] - 31Stephan Schulz, Leonardo de Moura, Boris Konev:
4th Workshop on Practical Aspects of Automated Reasoning, PAAR@IJCAR 2014, Vienna, Austria, 2014. EPiC Series in Computing 31, EasyChair 2015 [contents] - 30Temur Kutsia, Andrei Voronkov:
6th International Symposium on Symbolic Computation in Software Science, SCSS 2014, Gammarth, La Marsa, Tunisia, December 7-8, 2014. EPiC Series in Computing 30, EasyChair 2014 [contents] - 29Daniel Le Berre:
POS-13. Fourth Pragmatics of SAT workshop, a workshop of the SAT 2013 conference, July 7, 2013, Helsinki, Finland. EPiC Series in Computing 29, EasyChair 2014 [contents] - 28Alexei Lisitsa, Andrei P. Nemytykh:
VPT 2014. Second International Workshop on Verification and Program Transformation, July 17-18, 2014, Vienna, Austria, The workshop is an event of the Vienna Summer of Logic 2014 and it is co-located with the 26th International Conference on Computer Aided Verification CAV 2014. EPiC Series in Computing 28, EasyChair 2014 [contents] - 27Daniel Le Berre:
POS-14. Fifth Pragmatics of SAT workshop, a workshop of the SAT 2014 conference, part of FLoC 2014 during the Vienna Summer of Logic, July 13, 2014, Vienna, Austria. EPiC Series in Computing 27, EasyChair 2014 [contents] - 26Kenneth L. McMillan, Aart Middeldorp, Geoff Sutcliffe, Andrei Voronkov:
LPAR 2013, 19th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, December 12-17, 2013, Stellenbosch, South Africa, Short papers proceedings. EPiC Series in Computing 26, EasyChair 2014 [contents] - 25Nikolaos Galatos, Alexander Kurz, Constantine Tsinakis:
TACL 2013. Sixth International Conference on Topology, Algebra and Categories in Logic, Vanderbilt University, Nashville, Tennessee, USA, July 28 - August 1, 2013. EPiC Series in Computing 25, EasyChair 2014 [contents] - 24Santiago Escobar, Konstantin Korovin, Vladimir V. Rybakov:
UNIF 2012 Post-Worskhop Proceedings. The 26th International Workshop on Unification, Manchester, UK, July 1, 2012. EPiC Series in Computing 24, EasyChair 2014 [contents] - 23Irina B. Virbitskaite, Andrei Voronkov:
PSI 2014. Ershov Informatics Conference, June 24-27, 2014, Peterhof, St. Petersburg, Russia, Poster Presentations. EPiC Series in Computing 23, EasyChair 2014 [contents] - 22Konstantin Korovin, Stephan Schulz, Eugenia Ternovska:
IWIL 2012: The 9th International Workshop on the Implementation of Logics, Merida, Venezuela, March 10, 2012. EPiC Series in Computing 22, EasyChair 2013 [contents] - 21Pascal Fontaine, Renate A. Schmidt, Stephan Schulz:
Third Workshop on Practical Aspects of Automated Reasoning, PAAR-2012, Manchester, UK, June 30 - July 1, 2012. EPiC Series in Computing 21, EasyChair 2013 [contents] - 20Pascal Fontaine, Amit Goel:
10th International Workshop on Satisfiability Modulo Theories, SMT 2012, Manchester, UK, June 30 - July 1, 2012. EPiC Series in Computing 20, EasyChair 2013 [contents] - 19Konstantin Korovin, Barbara Morawska:
27th International Workshop on Unification, UNIF 2013, Eindhoven, Netherlands, June 26, 2013. EPiC Series in Computing 19, EasyChair 2013 [contents] - 18Laura Kovács, Temur Kutsia:
6th International Workshop on Automated Specification and Verification of Web Systems, WWV 2010, Vienna, Austria, July 30-31, 2010. EPiC Series in Computing 18, EasyChair 2013 [contents] - 17Jacques D. Fleuriot, Peter Höfner, Annabelle McIver, Alan Smaill:
ATx'12/WInG'12: Joint Proceedings of the Workshops on Automated Theory eXploration and on Invariant Generation, Manchester, UK, June 2012. EPiC Series in Computing 17, EasyChair 2013 [contents] - 16Alexei Lisitsa, Andrei P. Nemytykh:
First International Workshop on Verification and Program Transformation, VPT 2013, Saint Petersburg, Russia, July 12-13, 2013. EPiC Series in Computing 16, EasyChair 2013 [contents] - 15Laura Kovács, Temur Kutsia:
5th International Symposium on Symbolic Computation in Software Science, SCSS 2013, Castle of Hagenberg, Austria. EPiC Series in Computing 15, EasyChair 2013 [contents] - 14Jasmin Christian Blanchette, Josef Urban:
Third International Workshop on Proof Exchange for Theorem Proving, PxTP 2013, Lake Placid, NY, USA, June 9-10, 2013. EPiC Series in Computing 14, EasyChair 2013 [contents] - 13Andrei Voronkov, Geoff Sutcliffe, Matthias Baaz, Christian G. Fermüller:
Short papers for 17th International Conference on Logic for Programming, Artificial intelligence, and Reasoning, LPAR-17-short, Yogyakarta, Indonesia, October 10-15, 2010. EPiC Series in Computing 13, EasyChair 2013 [contents] - 12Alex Simpson:
International Workshop on Proof Systems for Program Logics, PSPL 2010, Edinburgh, Scotland, UK, July 10, 2010. EPiC Series in Computing 12, EasyChair 2013 [contents] - 11Geoff Sutcliffe:
The 6th IJCAR ATP System Competition, CASC-J6, June 28, 2012, Manchester, UK. EPiC Series in Computing 11, EasyChair 2012 - 10Andrei Voronkov:
Turing-100 - The Alan Turing Centenary, Manchester, UK, June 22-25, 2012. EPiC Series in Computing 10, EasyChair 2012 [contents] - 9Renate A. Schmidt, Stephan Schulz, Boris Konev:
Proceedings of the 2nd Workshop on Practical Aspects of Automated Reasoning, PAAR-2010, Edinburgh, Scotland, UK, July 14, 2010. EPiC Series in Computing 9, EasyChair 2012 [contents] - 8Daniel Le Berre:
POS-10. Pragmatics of SAT, Edinburgh, UK, July 10, 2010. EPiC Series in Computing 8, EasyChair 2012 [contents] - 7Berndt Müller:
3rd International Workshop on Logics, Agents, and Mobility, LAM'10, Edinburgh, UK, July 14, 2010. EPiC Series in Computing 7, EasyChair 2012 [contents] - 6Aaron Stump, Geoff Sutcliffe, Cesare Tinelli:
Workshop on Evaluation Methods for Solvers, and Quality Metrics for Solutions, EMSQMS 2010, Edinburgh, UK, July 20, 2010. EPiC Series in Computing 6, EasyChair 2012 [contents] - 5Ekaterina Komendantskaya, Ana Bove, Milad Niqui:
Partiality and Recursion in Interactive Theorem Provers, PAR@ITP 2010, Edinburgh, UK, July 15, 2010. EPiC Series 5, EasyChair 2012 [contents] - 4Agostino Dovier, Alessandro Dal Palù, Sebastian Will:
Workshop on Constraint Based Methods for Bioinformatics, WCB10, Edinburgh, UK, July 21, 2010. EPiC Series in Computing 4, EasyChair 2012 [contents] - 3Markus Aderhold, Serge Autexier, Heiko Mantel:
6th International Verification Workshop, VERIFY-2010, Edinburgh, UK, July 20-21, 2010. EPiC Series in Computing 3, EasyChair 2012 [contents] - 2Geoff Sutcliffe, Stephan Schulz, Eugenia Ternovska:
The 8th International Workshop on the Implementation of Logics, IWIL 2010, Yogyakarta, Indonesia, October 9, 2011. EPiC Series in Computing 2, EasyChair 2012 [contents] - 1Andrei Voronkov, Laura Kovács, Nikolaj S. Bjørner:
Second International Workshop on Invariant Generation, WING 2009, York, UK, March 29, 2009 and Third International Workshop on Invariant Generation, WING 2010, Edinburgh, UK, July 21, 2010. EPiC Series in Computing 1, EasyChair 2012 [contents]
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-09-18 23:47 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
