Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

International Workshop on Theorem Proving Components for Educational Software (ThEdu)

> Home > Conferences and Workshops

Venue statistics

records by year

document access Please note:
▪ This facet is still work in progress.
▪ Open access information for publications is still rather incomplete.

frequent authors

12th ThEdu@CADE 2023: Rome, Italy

- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2404-03709
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2404-03709
Julien Narboux, Walther Neuper, Pedro Quaresma:
Proceedings 12th International Workshop on Theorem proving components for Educational software, ThEdu@CADE 2023, Rome, Italy, 5th July 2023. EPTCS 400, 2024 [contents]

11th ThEdu@FLoC 2022: Haifa, Israel

- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2303-05360
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2303-05360
Pedro Quaresma, João Marcos, Walther Neuper:
Proceedings 11th International Workshop on Theorem Proving Components for Educational Software, ThEdu@FLoC 2022, Haifa, Israel, 11 August 2022. EPTCS 375, 2023 [contents]

10th ThEdu@CADE 2021 [virtual]

- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2202-02144
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2202-02144
João Marcos, Walther Neuper, Pedro Quaresma:
Proceedings 10th International Workshop on Theorem Proving Components for Educational Software, ThEdu@CADE 2021, (Remote) Carnegie Mellon University, Pittsburgh, PA, United States, 11 July 2021. EPTCS 354, 2022 [contents]

9th ThEdu@IJCAR 2020: Paris, France

- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2010-15832
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2010-15832
Pedro Quaresma, Walther Neuper, João Marcos:
Proceedings 9th International Workshop on Theorem Proving Components for Educational Software, ThEdu@IJCAR 2020, Paris, France, 29th June 2020. EPTCS 328, 2020 [contents]

8th ThEdu@CADE 2019: Natal, Brazil

- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2002-11895
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2002-11895
Pedro Quaresma, Walther Neuper, João Marcos:
Proceedings 8th International Workshop on Theorem Proving Components for Educational Software, ThEdu@CADE 2019, Natal, Brazil, 25th August 2019. EPTCS 313, 2020 [contents]

7th ThEdu@FLoC 2018: Oxford, UK

- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1903-12402
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1903-12402
Pedro Quaresma, Walther Neuper:
Proceedings 7th International Workshop on Theorem proving components for Educational software, ThEdu@FLoC 2018, Oxford, United Kingdom, 18 july 2018. EPTCS 290, 2019 [contents]

6th ThEdu@CADE 2017: Gothenburg, Sweden

- view
- export record
  dblp key:
  - journals/corr/abs-1803-00722
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1803-00722
Pedro Quaresma, Walther Neuper:
Proceedings 6th International Workshop on Theorem proving components for Educational software, ThEdu@CADE 2017, Gothenburg, Sweden, 6 Aug 2017. EPTCS 267, 2018 [contents]

5th ThEdu@CICM 2017: 2016: Bialystok, Poland

4th ThEdu@CICM 2015: Washington, DC, USA

3rd ThEdu@CICM 2014: Coimbra, Portugal

- view
- export record
  dblp key:
  - conf/mkm/2014ws
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mkm/2014ws
Matthew England, James H. Davenport, Andrea Kohlhase, Michael Kohlhase, Paul Libbrecht, Walther Neuper, Pedro Quaresma, Alan P. Sexton, Petr Sojka, Josef Urban, Stephen M. Watt:
Joint Proceedings of the MathUI, OpenMath and ThEdu Workshops and Work in Progress track at CICM co-located with Conferences on Intelligent Computer Mathematics (CICM 2014), Coimbra, Portugal, July 7-11, 2014. CEUR Workshop Proceedings 1186, CEUR-WS.org 2014 [contents]

2nd ThEdu@CICM 2013: Bath, UK

- view
- export record
  dblp key:
  - conf/mkm/2013ws
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mkm/2013ws
Christoph Lange, David Aspinall, Jacques Carette, James H. Davenport, Andrea Kohlhase, Michael Kohlhase, Paul Libbrecht, Pedro Quaresma, Florian Rabe, Petr Sojka, Iain Whiteside, Wolfgang Windsteiger:
Joint Proceedings of the MathUI, OpenMath, PLMMS and ThEdu Workshops and Work in Progress at CICM, Bath, UK. CEUR Workshop Proceedings 1010, CEUR-WS.org 2013 [contents]

1st ThEdu@CADE 2011: Wroclaw, Poland

- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1202-4535
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1202-4535
Pedro Quaresma, Ralph-Johan Back:
Proceedings First Workshop on CTP Components for Educational Software, THedu'11, Wroclaw, Poland, 31th July 2011. EPTCS 79, 2011 [contents]

a service of

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.