Search Results - ETAPS

European Joint Conferences on Theory and Practice of Software

The European Joint Conferences on Theory and Practice of Software (ETAPS) is a confederation of (currently) four computer science conferences taking place annually at one conference site, usually at the end of March or in April. Three of the four conferences (FoSSaCS, FASE, TACAS) are top ranked in software engineering and one (ESOP) is top ranked in programming languages. Provided by Wikipedia
Filter by
  1. 1
    Cover Image

    Fundamental approaches to software engineering: 26th International Conference, FASE 2023, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22–27, 2023 : proceedings

    Published 2023
    “…ETAPS…”
    Read online (freely available)
    Electronic Conference Proceedings eBook


    Saved in:
  2. 2
    Cover Image

    Tools and algorithms for the construction and analysis of systems: 29th International Conference, TACAS 2023, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022 [sic!], Paris, France, April 22–27, 2023 : proceedings, part I

    Published 2023
    “…ETAPS…”
    Read online (freely available)
    Electronic Conference Proceedings eBook


    Saved in:
  3. 3
    Cover Image

    Fundamental approaches to software engineering: 21st International Conference, FASE 2018 : held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018 : proceedings

    Published 2018
    “…ETAPS…”
    Read online (freely available)
    Electronic Conference Proceedings eBook


    Saved in:
  4. 4
    Cover Image

    Foundations of software science and computation structures: 26th International Conference, FoSSaCS 2023, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22–27, 2023 : proceedings

    Published 2023
    “…ETAPS…”
    Read online (freely available)
    Electronic Conference Proceedings eBook


    Saved in:
  5. 5
    Cover Image

    Programming languages and systems: 29th European Symposium on Programming, ESOP 2020, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020 : proceedings

    Published 2020
    “…ETAPS…”
    Read online (freely available)
    Electronic Conference Proceedings eBook


    Saved in:
  6. 6
    Cover Image

    Fundamental approaches to software engineering: 22nd international conference, FASE 2019 : held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019 : proceedings

    Published 2019
    “…ETAPS…”
    Read online (freely available)
    Electronic Conference Proceedings eBook


    Saved in:
  7. 7
    Cover Image

    Principles of security and trust: 8th international conference, POST 2019 : held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019 : proceedings

    Published 2019
    “…ETAPS…”
    Read online (freely available)
    Electronic Conference Proceedings eBook


    Saved in:
  8. 8
    Cover Image

    Foundations of software science and computation structures: 22nd international conference, FOSSACS 2019, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019 : proceedings

    Published 2019
    “…ETAPS…”
    Read online (freely available)
    Electronic Conference Proceedings eBook


    Saved in:
  9. 9
    Cover Image

    Programming languages and systems: 28th European Symposium on Programming, ESOP 2019 : held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019 : proceedings

    Published 2019
    “…ETAPS…”
    Read online (freely available)
    Electronic Conference Proceedings eBook


    Saved in:
  10. 10
    Cover Image

    Tools and algorithms for the construction and analysis of systems: 25th international conference, TACAS 2019, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019 : proceedings, part I

    Published 2019
    “…ETAPS…”
    Read online (freely available)
    Electronic Conference Proceedings eBook


    Saved in:
  11. 11
    Cover Image

    Tools and algorithms for the construction and analysis of systems: 25th international conference, TACAS 2019 : held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019 : proceedings, part II

    Published 2019
    “…ETAPS…”
    Read online (freely available)
    Electronic Conference Proceedings eBook


    Saved in:
  12. 12
    Cover Image

    Principles of security and trust: 6th International Conference, POST 2017 : held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017 : proceedings

    Published 2017
    “…ETAPS…”
    Read online
    Electronic Conference Proceedings eBook


    Saved in:
  13. 13
    Cover Image

    Programming languages and systems: 32nd European Symposium on Programming, ESOP 2023, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22–27, 2023 : proceedings

    Published 2023
    “…ETAPS…”
    Read online (freely available)
    Electronic Conference Proceedings eBook


    Saved in:
  14. 14
    Cover Image

    Tools and algorithms for the construction and analysis of systems: 29th International Conference, TACAS 2023, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022 [sic!], Paris, France, April 22–27, 2023 : proceedings, part II

    Published 2023
    “…ETAPS…”
    Read online (freely available)
    Electronic Conference Proceedings eBook


    Saved in:
  15. 15
    Cover Image

    Fundamental approaches to software engineering: 25th international conference, FASE 2022, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, proceedings

    Published 2022
    “…ETAPS…”
    Read online (freely available)
    Electronic Conference Proceedings eBook


    Saved in:
  16. 16
    Cover Image

    Foundations of software science and computation structures: 23rd International Conference, FOSSACS 2020, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, proceedings

    Published 2020
    “…ETAPS…”
    Read online (freely available)
    Electronic Conference Proceedings eBook


    Saved in:
  17. 17
    Cover Image

    Foundations of software science and computation structures: 21st International Conference, FOSSACS 2018 : held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018 : proceedings

    Published 2018
    “…ETAPS…”
    Read online (freely available)
    Electronic Conference Proceedings eBook


    Saved in:
  18. 18
    Cover Image

    Principles of security and trust: 7th International Conference, POST 2018 : held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018 : proceedings

    Published 2018
    “…ETAPS…”
    Read online (freely available)
    Electronic Conference Proceedings eBook


    Saved in:
  19. 19
    Cover Image

    Programming languages and systems: 27th European Symposium on Programming, ESOP 2018 : held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018 : proceedings

    Published 2018
    “…ETAPS…”
    Read online (freely available)
    Electronic Conference Proceedings eBook


    Saved in:
  20. 20
    Cover Image

    Foundations of software science and computation structures: 20th International Conference, FOSSACS 2017: held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017 : proceedings

    Published 2017
    “…ETAPS…”
    Read online
    Electronic Conference Proceedings eBook


    Saved in:

Search Tools: