[Hol-info] ThEdu'24 - 2nd Call for Extended Abstracts

2024-03-22 Thread Walther Neuper via hol-info
Joao Marcos, Federal University of Rio Grande do Norte, Brazil Filip Maric, University of Belgrade, Serbia Julien Narboux, University of Strasbourg, France, (co-chair) Walther Neuper, Johannes Kepler University, Linz, Austria (co-chair) Pedro Quaresma, University of Coimbra, Portugal (co-c

[Hol-info] ThEdu'24 - Open Call for Extended Abstracts

2024-01-28 Thread Walther Neuper via hol-info
sity of Strasbourg, France, (co-chair) Walther Neuper, Johannes Kepler University, Linz, Austria (co-chair) Pedro Quaresma, University of Coimbra, Portugal (co-chair) Philppe R. Richard, University of Montréal, Canada Vanda Santos, University of Aveiro, Portugal Anders Schlichtkrull, Aal

[Hol-info] ThEdu'23 proceedings - cfp

2023-07-16 Thread Walther Neuper via hol-info
deral University of Technology – Parana, Brazil   Walther Neuper, Johannes Kepler University Linz, Austria (co-chair)   Pedro Quaresma, University of Coimbra, Portugal (co-chair)   Joana Teles, University of Coimbra, Portugal   Vanda Santos, University of Aveiro, Portugal   Anders Schlichtkrull, Aa

[Hol-info] ThEdu'23 2nd call for papers

2023-03-12 Thread Walther Neuper
sity of Belgrade, Serbia Adolfo Neto, Federal University of Technology – Parana, Brazil Walther Neuper, Johannes Kepler University, Linz, Austria (co-chair) Pedro Quaresma, University of Coimbra, Portugal (co-chair) Vanda Santos, University of Aveiro, Portugal Anders Schlichtkrull, Aal

[Hol-info] cfp ThEdu'23 -- 12th workshop on theorem proving components for educational software

2023-01-08 Thread Walther Neuper
erna, Johannes Kepler University, Austria Joao Marcos, Federal University of Rio Grande do Norte, Brazil (co-chair) Filip Maric, University of Belgrade, Serbia Adolfo Neto, Federal University of Technology – Parana, Brazil Walther Neuper, Johannes Kepler University, Linz, Austria (co-chair) P

[Hol-info] 2nd Open Call for Papers - Proceedings for ThEdu'22

2022-10-18 Thread Walther Neuper
ip Maric, University of Belgrade, Serbia   Adolfo Neto, Universidade Tecnológica Federal do Paraná, Brazil   Walther Neuper, Johannes Kepler University Linz, Austria (editor)   Pedro Quaresma, University of Coimbra, Portugal (editor)   Giselle Reis, Carnegie Mellon University Qatar, Qatar   Vand

[Hol-info] ThEdu'22/EPTCS Proceedings - CFP

2022-09-10 Thread Walther Neuper
orte, Brazil (editor)   Filip Maric, University of Belgrade, Serbia   Adolfo Neto, Universidade Tecnológica Federal do Paraná, Brazil   Walther Neuper, Johannes Kepler University Linz, Austria (editor)   Pedro Quaresma, University of Coimbra, Portugal (editor)   Giselle Reis, Carnegie Mellon Uni

[Hol-info] ThEdu'22 2nd CfP

2022-04-16 Thread Walther Neuper
sity, Austria João Marcos, Universidade Federal do Rio Grande do Norte, Brazil (co-chair) Filip Marić, University of Belgrade, Serbia Adolfo Neto, Universidade TecnolÛgica Federal do Paran·, Brazil Walther Neuper, Graz University of Technology, Austria (co-chair) Pedro Quaresma, University of Coi

[Hol-info] 2nd CfP - ThEdu'21 post-proceedings at EPTCS

2021-09-13 Thread Walther Neuper
ip Maric, University of Belgrade, Serbia Adolfo Neto, Universidade Tecnológica Federal do Paraná, Brazil Walther Neuper, Graz University of Technology, Austria (co-chair) Pedro Quaresma, University of Coimbra, Portugal (co-chair) Philippe R. Richard, Université de Montréal, Canada Vanda Santos,

[Hol-info] Call for papers - ThEdu'21 post-proceedings at EPTCS

2021-07-28 Thread Walther Neuper
ip Maric, University of Belgrade, Serbia   Adolfo Neto, Universidade Tecnológica Federal do Paraná, Brazil   Walther Neuper, Graz University of Technology, Austria (co-chair)   Pedro Quaresma, University of Coimbra, Portugal (co-chair)   Philippe R. Richard, Université de Montréal, Canada   Vanda Santos,

[Hol-info] 2nd CfP ThEdu'21

2021-02-21 Thread Walther Neuper
rbia   Adolfo Neto, Universidade Tecnológica Federal do Paraná, Brazil   Walther Neuper, Graz University of Technology, Austria (co-chair)   Pedro Quaresma, University of Coimbra, Portugal (co-chair)   Philippe R. Richard, Université de Montréal, Canada   Vanda Santos, University of Aveiro, Port

[Hol-info] CfP Theorem Proving Components for Educational Software at CADE-28

2021-01-05 Thread Walther Neuper
aric, University of Belgrade, Serbia Adolfo Neto, Universidade Tecnológica Federal do Paraná, Brazil Walther Neuper, Graz University of Technology, Austria (co-chair) Pedro Quaresma, University of Coimbra, Portugal (co-chair) Philippe R. Richard, Université de Montréal, Canada (tentative) V

[Hol-info] ThEdu'20/EPTCS proceedings 2nd call for papers

2020-06-10 Thread Walther Neuper
ip Maric, University of Belgrade, Serbia   Adolfo Neto, Universidade Tecnológica Federal do Paraná, Brazil   Walther Neuper, Graz University of Technology, Austria (co-chair)   Pedro Quaresma, University of Coimbra, Portugal (co-chair)   Philippe R. Richard, Université de Montréal, Canada   Vand

[Hol-info] ThEdu'20/EPTCS Post-proceedings - Open Call for Papers

2020-05-02 Thread Walther Neuper
ip Maric, University of Belgrade, Serbia Adolfo Neto, Universidade Tecnológica Federal do Paraná, Brazil Walther Neuper, Graz University of Technology, Austria (co-chair) Pedro Quaresma, University of Coimbra, Portugal (co-chair) Philippe R. Richard, Université de Montréal, Canada Vanda Santos,

[Hol-info] ThEdu'20 at the Summer of LoVe - cfp

2020-02-04 Thread Walther Neuper
ler University, Austria Joao Marcos, Universidade Federal do Rio Grande do Norte, Brazil (co-chair) Filip Maric, University of Belgrade, Serbia Adolfo Neto, Universidade Tecnológica Federal do Paraná, Brazil Walther Neuper, Graz University of Technology, Austria (co-chair) Pedro Quares

[Hol-info] cfp ThEdu'19 post-proceedings

2019-09-18 Thread Walther Neuper
ade, Serbia Adolfo Neto, Universidade Tecnológica Federal do Paraná, Brazil Walther Neuper, Graz University of Technology, Austria (co-chair) Pedro Quaresma, University of Coimbra, Portugal (co-chair) Philippe R. Richard, Université de Montréal, Canada Vanda Santos, University of Aveiro,

[Hol-info] Last CfP: ThEdu'19 at CADE

2019-04-25 Thread Walther Neuper
Rio Grande do Norte, Brazil (Local chair) Filip Maric, University of Belgrade, Serbia Adolfo Neto, Universidade Tecnológica Federal do Paraná, Brazil Walther Neuper, Graz University of Technology, Austria (co-chair) Pedro Quaresma, University of Coimbra, Portugal (co-chair) Philippe R. Ric

[Hol-info] CfP ThEdu'19

2019-02-25 Thread Walther Neuper
outh Bohemia, Czech Republic Joao Marcos, Universidade Federal do Rio Grande do Norte, Brazil (Local chair) Filip Maric, University of Belgrade, Serbia Adolfo Neto, Universidade Tecnológica Federal do Paraná, Brazil Walther Neuper, Graz University of Technology, Austria (co-chair) Pedro Quar

[Hol-info] CfP: Postproceedings ThEdu'18

2018-09-11 Thread Walther Neuper
ll be an alternative to publish as a techreport at CISUC https://www.cisuc.uc.pt/publications. Program Committee Francisco Botana, University of Vigo at Pontevedra, Spain Roman Hašek, University of South Bohemia, Czech Republic Filip Maric, University of Belgrade, Serbia Walther Neu

[Hol-info] Final CfP CME-EI at CICM

2018-05-08 Thread Walther Neuper
work in progress with preliminary results or just preparations for discussion (upto 6 pages). Submission in PDF at https://easychair.org/conferences/?conf=cmeei18. Programme Committee: Karl-Josef Fuchs, University of Salzburg Zoltan Kovacs, Private University of Education Dioces

[Hol-info] CfP CME-EI at CICM

2018-04-10 Thread Walther Neuper
tools or work in progress with preliminary results or just preparations for discussion (upto 6 pages). Submission in PDF at https://easychair.org/conferences/?conf=cmeei18. Programme Committee Karl-Josef Fuchs, University of Salzburg Zoltan Kovacs, Private University of Education Dioces

[Hol-info] 2nd CfP: ThEdu'18 at IJCAR / FLoC

2018-04-04 Thread Walther Neuper
ašek, University of South Bohemia, Czech Republic Filip Maric, University of Belgrade, Serbia Walther Neuper, Graz University of Technology, Austria (co-chair) Pavel Pech, University of South Bohemia, Czech Republic Pedro Quaresma, University of Coimbra, Portugal (co-chair) Vanda Santos, C

[Hol-info] ThEdu'18 call for extended abstracts

2018-02-22 Thread Walther Neuper
oman Hašek, University of South Bohemia, Czech Republic Filip Maric, University of Belgrade, Serbia Walther Neuper, Graz University of Technology, Austria (co-chair) Pavel Pech, University of South Bohemia, Czech Republic Pedro Quaresma, University of Coimbra, Portugal (co-chair) Vanda Sa

[Hol-info] CfP ThEdu'17 post-proceedings

2017-08-31 Thread Walther Neuper
South Bohemia, Czech Republic Filip Maric, University of Belgrade, Serbia Walther Neuper, Graz University of Technology, Austria (co-chair) Pavel Pech, University of South Bohemia, Czech Republic Pedro Quaresma, University of Coimbra, Portugal (co-chair) Vanda Santos, CISUC, Portugal

[Hol-info] ThEdu'17: Call for Extended Abstracts & Demonstrations

2017-05-27 Thread Walther Neuper
cker, University of Sheffield, United Kingdom Filip Maric, University of Belgrade, Serbia Walther Neuper, Graz University of Technology, Austria (co-chair) Pavel Pech , University of South Bohemia, Czech Republic Pedro Quaresma, University of Coimbra, Portugal (co-chair) Vanda Santos, C

[Hol-info] ThEdu at CICM'16 deadline approaching

2016-05-25 Thread Walther Neuper
Committee Francisco Botana, University of Vigo at Pontevedra, Spain Roman Hašek, University of South Bohemia, Czech Republic Filip Maric, University of Belgrade, Serbia Walther Neuper, TUG University of Technology, Austria (co-chair) Pavel Pech, University of South Bohemia, Czech Republic

[Hol-info] Deadline extended for eduTPS at CADGME

2016-05-09 Thread Walther Neuper
om educational tools to professional tools for engineers and scientists. Programme Committee: Roman Hašek, University of South Bohemia, Czech Republic Zoltán Kovács, Johannes Kepler University, Austria Filip Maric, University of Belgrade, Serbia Walther Neuper, Graz University of Technology, Austri

[Hol-info] ThEdu CfP "Theorem Prover Components for Educational Software"

2016-05-06 Thread Walther Neuper
sity of Belgrade, Serbia Walther Neuper, TUG University of Technology, Austria (co-chair) Pavel Pech, University of South Bohemia, Czech Republic Pedro Quaresma, University of Coimbra, Portugal (co-chair) Vanda Santos, CISUC, Portugal Wolfgang Schreiner, Johannes Ke

[Hol-info] Last CfP "Justifying (in) Math" at CADGME 2016

2016-04-23 Thread Walther Neuper
tools for engineers and scientists. Programme Committee: Roman Hašek, University of South Bohemia, Czech Republic Zoltán Kovács, Johannes Kepler University, Austria Filip Maric, University of Belgrade, Serbia Walther Neuper, Graz University of Technology, Austria (co-chair) Pa

[Hol-info] "Justifying (in) Math" at CADGME 2016

2016-04-06 Thread Walther Neuper
o professional tools for engineers and scientists. Programme Committee: Zoltán Kovács, Johannes Kepler University, Austria Filip Maric, University of Belgrade, Serbia Walther Neuper, Graz University of Technology, Austria (co-chair) Pavel Pech, University of South Bohemia, Czech Repub

[Hol-info] ThEdu'15, Theorem proving components for Educational software, cfp

2015-05-06 Thread Walther Neuper
Roman Hašek, University of South Bohemia, Czech Republic Filip Maric, University of Belgrade, Serbia Walther Neuper, Graz University of Technology, Austria(co-chair) Pavel Pech, University of South Bohemia, Czech Republic Pedro Quaresma, University of Coimbra, Portugal

[Hol-info] ThEdu'15, Theorem proving components for Educational software, cfp

2015-02-16 Thread Walther Neuper
Hašek, University of South Bohemia, Czech Republic Filip Maric, University of Belgrade, Serbia Walther Neuper, Graz University of Technology, Austria (co-chair) Pavel Pech, University of South Bohemia, Czech Republic Pedro Quaresma, University of Coimbra, Portugal (co

[Hol-info] NLSR: 2nd call for papers

2014-03-21 Thread Walther Neuper
- Walther Neuper (Graz University of Technology); Pedro Quaresma (Department of Mathematics, School of Science and Technology, University of Coimbra); Jordi Saludes (Technical University of Catalonia) - chair Scientific committee: - Yannis

[Hol-info] Cfp for NLSR at RTA-TLCA in Vienna 2014

2014-02-11 Thread Walther Neuper
[Please distribute - apologies for multiple copies.] First Call for Extended Abstracts Demonstrations -- NLSR 2014 International Workshop ON NATURAL LANGUAGE SERVICES

[Hol-info] 2nd CfP CSASC Proof in Education

2013-04-15 Thread Walther Neuper
, University of Ljubljana Walther Neuper, Graz University of Technology Pavel Pech, University of South Bohemia Jordi Saludes, University Polytechnica of Catalonia Dušan Vallo, University of Nitra, Slovakia Wolfgang Windsteiger, University of Linz

[Hol-info] forward CfP at Innsbruck

2013-03-06 Thread Walther Neuper
ha...@pf.jcu.cz Zlatan Magajna, University of Ljubljana zlatan.maga...@pef.uni-lj.si Walther Neuper, Graz University of Technology wneu...@ist.tugraz.at Pavel Pech, University of South Bohemia p

[Hol-info] CfP THedu at CICM, July 2013,Bath, UK

2013-03-04 Thread Walther Neuper
Julien Narboux, University of Strasbourg, France Filip Maric, University of Belgrade, Serbia Walther Neuper, Graz University of Technology, Austria Pavel Pech, University of South Bohemia Vanda Santos, CISUC, Portugal Wolfgang Schreiner, University of Linz, Austria