Skip to contents

  5. Déharbe, David [Editor]; Hyvärinen, Antti E. J. [Editor] ; International Workshop on Satisfiability Modulo Theories 20. 2022 Haifa

    Satisfiability Modulo Theories 20th International Workshop, SMT 2022, proceedings : Haifa, Israel, affiliated with IJCAR 2022, part of FLoC 2022, August 11-12, 2022

    Books
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    [Aachen, Germany]: [RWTH Aachen], 2022-08-14

    Published in: CEUR workshop proceedings ; 3185

  6. Fontaine, Pascal [Editor]; Korovin, Konstantin [Editor]; Kotsireas, Ilias S. [Editor]; Rümmer, Philipp [Editor]; Tourret, Sophie [Editor] ; Workshop on Practical Aspects of Automated Reasoning 7. 2020 Online

    PAAR+SC-Square 2020: Practical Aspects of Automated Reasoning and Satisfiability Checking and Symbolic Computation Workshop 2020 : joint proceedings of the 7th Workshop on Practical Aspects of Automated Reasoning (PAAR) and the 5th Satisfiability Checking and Symbolic Computation Workshop (SC-Square) Workshop, 2020 : co-located with the 10th International Joint Conference on Automated Reasoning (IJCAR 2020) : Paris, France, June-July, 2020 (virtual)

    Books
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    [Aachen, Germany]: [RWTH Aachen], 2020-11-26

    Published in: CEUR workshop proceedings ; 2752

  8. Schulz, Stephan [Editor]; Konev, Boris [Editor] ; Workshop on Practical Aspects of Automated Reasoning 4. 2014 Wien

    PAAR-2014 : 4th Workshop on Practical Aspects of Automated Reasoning

    Books
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    [Manchester]: EasyChair, July 5, 2015

    Published in: EPiC series in computing ; 31

  9. Escobar, Santiago [Editor]; Korovin, Konstantin [Editor]; Rybakov, Vladimir [Editor] ; International Workshop on Unification 26. 2012 Manchester

    UNIF 2012 post-worskhop proceedings : the 26th International Workshop on Unification

    Books
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    [Manchester]: EasyChair, July 28, 2014

    Published in: EPiC series in computing ; 24

  10. Fontaine, Pascal [Editor]; Schmidt, Renate A. [Editor]; Schulz, Stephan [Editor] ; Workshop on Practical Aspects of Automated Reasoning 3. 2012 Manchester

    PAAR-2012 : Third Workshop on Practical Aspects of Automated Reasoning

    Books
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    [Manchester]: EasyChair, August 19, 2013

    Published in: EPiC series in computing ; 21

  11. Fontaine, Pascal [Editor]; Goel, Amit [Editor] ; International Workshop on Satisfiability Modulo Theories 10. 2012 Manchester

    SMT 2012 : 10th International Workshop on Satisfiability Modulo Theories

    Books
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    [Manchester]: EasyChair, August 19, 2013

    Published in: EPiC series in computing ; 20

  12. Voronokov, Andrei [Editor]; Kovács, Laura [Editor]; Bjorner, Nikolaj [Editor] ; Workshop on Invariant Generation 3. 2010 Edinburgh

    WING 2010 : Workshop on Invariant Generation 2010

    Books
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    [Manchester]: EasyChair, June 22, 2012

    Published in: EPiC series in computing ; 1

  13. Bobot, François [Editor]; Weber, Tjark [Editor] ; International Workshop on Satisfiability Modulo Theories 18. 2020 Online

    Satisfability Modulo Theories - 18th international workshop, SMT 2020 : online (initially located in Paris, France), July 5-6, 2020 : proceedings

    Books
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    [Aachen, Germany]: [RWTH Aachen], 2021-04-23

    Published in: CEUR workshop proceedings ; 2854

  14. Schmidt, Renate A. [Editor]; Schulz, Stephan [Editor]; Konev, Boris [Editor] ; Workshop on Practical Aspects of Automated Reasoning 2. 2010 Edinburgh

    PAAR-2010 : proceedings of the 2nd Workshop on Practical Aspects of Automated Reasoning

    Books
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    [Manchester]: EasyChair, May 16, 2012

    Published in: EPiC series in computing ; 9

  15. Fleuriot, Jacques [Editor]; Höfner, Peter [Editor]; McIver, Annabelle [Editor]; Smaill, Alan [Editor] ; Workshop on Automated Theory eXploration 2012 Manchester, WING 4. 2012 Manchester

    ATx'12/WInG'12 : joint proceedings of the Workshops on Automated Theory eXploration and on Invariant Generation

    Books
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    [Manchester]: EasyChair, July 28, 2013

    Published in: EPiC series in computing ; 17

  16. Benzmüller, Christoph [Editor]; Otten, Jens [Editor] ; International Workshop on Automated Reasoning in Quantified Non-Classical Logics 4. 2022 Haifa

    Automated Reasoning in Quantified Non-Classical Logics : 4th international workshop, ARQNL 2022,Haifa, Israel, August 11th, 2022 : proceedings

    Books
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    [Aachen, Germany]: [RWTH Aachen], 2023-01-11

    Published in: CEUR workshop proceedings ; 3326

  17. Stump, Aaron [Editor]; Sutcliffe, Geoff [Editor]; Tinelli, Cesare [Editor] ; Workshop on Evaluation Methods for Solvers and Quality Metrics for Solutions 2010 Edinburgh

    EMSQMS 2010 : Workshop on Evaluation Methods for Solvers, and Quality Metrics for Solutions

    Books
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    [Manchester]: EasyChair, May 15, 2012

    Published in: EPiC series in computing ; 6

  18. Uncu, Ali Kemal [Editor]; Barbosa, Haniel [Editor] ; International Workshop on Satisfiability Checking and Symbolic Computation 7. 2022 Haifa

    SC-Square 2022: Satisfiability Checking and Symbolic Computation 2022 : proceedings of the 7th SC-Square Workshop, co-located with the Federated Logic Conference 2022 (FLoC 2022) as a part of the 11th International Joint Conference on Automated Reasoning (IJCAR 2022), Haifa, Israel, August 12, 2022

    Books
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    [Aachen, Germany]: [RWTH Aachen], 2023-08-19

    Published in: CEUR workshop proceedings ; 3458