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

2024-03-22 Thread Walther Neuper via hol-info
versity, Austria 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 Coi

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

2024-01-28 Thread Walther Neuper via hol-info
lien Narboux, University 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 Ander

[Hol-info] ThEdu'23 proceedings - cfp

2023-07-16 Thread Walther Neuper via hol-info
asbourg, France (co-chair)   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)   Joana Teles, University of Coimbra, Portugal   Vanda Santos, University of

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

2023-03-12 Thread Walther Neuper
ir) Filip Maric, University 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

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

2023-01-08 Thread Walther Neuper
dra, Spain David Cerna, 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, Au

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

2022-10-18 Thread Walther Neuper
e do Norte, 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 Mello

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

2022-09-10 Thread Walther Neuper
ersidade Federal do Rio Grande do Norte, 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)

[Hol-info] ThEdu'22 2nd CfP

2022-04-16 Thread Walther Neuper
hannes Kepler University, 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 Quaresm

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

2021-09-13 Thread Walther Neuper
o 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 Quaresma, University of Coimbra, Portugal (co-chair) Philippe R. Richard, Université d

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

2021-07-28 Thread Walther Neuper
o 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 Quaresma, University of Coimbra, Portugal (co-chair)   Philippe R. Richard, Université d

[Hol-info] 2nd CfP ThEdu'21

2021-02-21 Thread Walther Neuper
ic, 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 Sant

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

2021-01-05 Thread Walther Neuper
azil (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 Quaresma, University of Coimbra, Portugal (co-chair) Philippe R. Richard, Université de Montréa

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

2020-06-10 Thread Walther Neuper
(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 Quaresma, University of Coimbra, Portugal (co-chair)   Philippe R. Richard, Université de Montré

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

2020-05-02 Thread Walther Neuper
(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 Quaresma, University of Coimbra, Portugal (co-chair) Philippe R. Richard, Université de Montréal, Can

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

2020-02-04 Thread Walther Neuper
in David Cerna, Johannes Kepler 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, Austri

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

2019-09-18 Thread Walther Neuper
razil 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. Richard, Université de Montréal, Cana

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

2019-04-25 Thread Walther Neuper
versidade 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 Quaresma, University of Coimbra, Portugal (co-chai

[Hol-info] CfP ThEdu'19

2019-02-25 Thread Walther Neuper
sek, University of South 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

[Hol-info] CfP: Postproceedings ThEdu'18

2018-09-11 Thread Walther Neuper
s of EPTCS in number, there will 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 o

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

2018-05-08 Thread Walther Neuper
pers on experience reports, 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, Pri

[Hol-info] CfP CME-EI at CICM

2018-04-10 Thread Walther Neuper
* Short papers on experience reports, 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, Pri

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

2018-04-04 Thread Walther Neuper
dra, Spain 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 (co-chai

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

2018-02-22 Thread Walther Neuper
ontevedra, Spain 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] CfP ThEdu'17 post-proceedings

2017-08-31 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 Santo

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

2017-05-27 Thread Walther Neuper
, Spain Achim Brucker, 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

[Hol-info] CFP ThEdu'17 at CADE 26

2017-02-18 Thread Walther Neuper
, 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 Wolfgang Schreiner, Johannes Kepler Univers

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

2016-05-24 Thread Walther Neuper
org/). 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 Neuper, TUG University of Technology, Austria (co-chair) Pavel Pech, University of South Bohemia,

[Hol-info] Deadline extended for eduTPS at CADGME

2016-05-09 Thread Walther Neuper
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
lip Maric, University 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 Sc

[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) Pavel

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

2016-04-06 Thread Walther Neuper
ofessional 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] CfP ThEdu'16 at CICM

2016-03-08 Thread Walther Neuper
ration (e.g. http://ceur-ws.org/). 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 Neuper, TUG University of Technology, Austria

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

2015-05-06 Thread Walther Neuper
of Vigo at Pontevedra, Spain 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, Un

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

2015-02-16 Thread Walther Neuper
ntevedra, Spain 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, Univer

[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 FO

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

2013-04-15 Thread Walther Neuper
Zlatan Magajna, 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, Univ

[Hol-info] 2nd CfP "TP components for educational software" THedu at CICM

2013-04-15 Thread Walther Neuper
ohemia Predrag Janicic, University of Belgrade, Serbia 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, Po

[Hol-info] forward CfP at Innsbruck

2013-03-06 Thread Walther Neuper
South Bohemia Zlatan Magajna, University of Ljubljana Walther Neuper, Graz University of Technology Pavel Pech, University of South Bohemia Jordi Saludes, University Polytechnic

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

2013-03-04 Thread Walther Neuper
ohemia Predrag Janicic, University of Belgrade, Serbia 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, Po