Skip to Content.
Sympa Menu

coq-club - [Coq-Club] cfp ThEdu'23 -- 12th workshop on theorem proving components for educational software

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

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


Chronological Thread 
  • From: Walther Neuper <walther.neuper AT jku.at>
  • To: coq-club AT inria.fr
  • Subject: [Coq-Club] cfp ThEdu'23 -- 12th workshop on theorem proving components for educational software
  • Date: Fri, 6 Jan 2023 14:16:55 +0100
  • Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=walther.neuper AT jku.at; spf=Pass smtp.mailfrom=walther.neuper AT jku.at; spf=None smtp.helo=postmaster AT emailsecure.uni-linz.ac.at
  • Ironport-data: A9a23:gE6+HK+QaKDgSgdtBDt9DrUDsXqTJUtcMsCJ2f8bNWPcYEJGY0x3z DRLWDyCaPjYMTbxfYx1YN+zpE0Av5fVzIM1SFY5qyBEQiMRo6IpJ/zJdxaqZ3v6wu7rFR88s Z1GMrEsCOhuExcwcz/0auCJQUFUjP3OHPylYAL9EngZbRd+Tys8gg5Ulec8g4p56fC0GArlV ena+qUzA3f4nW8qWo4ow/jb8kg35ays4GlwUmEWPJingneOzxH5M7pEfcldH1OgKqFIE+izQ fr0zb3R1gs1KD9wYj8Nuu+TnnwiGtY+DyDW4pZlc/TKbix5m8AH+v1T2Mzwxqtgo27hc9hZk L2hvHErIOsjFvWkdO81C3G0H8ziVEHvFXCuzXWX6KSuI0P6n3TE4ap+HRh1JKMkoaVVIX133 qw/IWszR0XW7w626OrTpuhEi8EqLc3wMYgCoHwm0DfYSPInR4KFSq6M7MMwMDUY35wWW6mOI ZFfN2QHgBfoO3WjPn8IAZYinOqywH/ybiVVsnqXprdx6nS7IAlZjOS2a4uLK4biqcN9txyY/ E7q8mjAXks+Gfqf1giOzlPwmbqa9c/8cNhDS+fjraECbEeo7mcUEVgdUUaxieKoj1a3HdNZM U0dvCQ0xZXe72SmS9D8Wwa1q2Oes1gBXdsVF+w8+keEwezd/251G1ToUBZjN8w37YwvawBxl X2pg+rCVRtm64O8HCf1GqivkRu+Pi0cLGknbCACTBcY79SLnG3Vpk6eJjqEOPLk5uAZCQ0c0 BjW/HNm2O57YdojjvnhrQyW6965jsKRJjPZ8Dk7SUqM0muVjqaBZoq6gbQwxaoYcN7xorWpg WAcltLWxf0VEYuMnUSwrAglEbSg5vKePTbBm1MpAp8gsjCs/WzldIsW6S0WyKZV3iQsJGaBj Kz74F05CHpv0J2CNvEfj2WZUJ9C8EQYPY65Ps04l/IXCnSLSCeJ/Tt1eWmb1H33nU4nnMkXY MnEK5fwVipBVvU6nVJaotvxN5d2n0jSIkuPFPjGI+iPi9JymVbLFupVbDNikMhjtfvsTPrpH yZ3bZrVkU4ED4USkwHK948NIEoRLGQqTZT3rd4/SwJwClcOJY3VMNeImelJU9U8z8x9yLySl lnjARAw9bYKrSGbQel8Qis5M+KHsFcWhS5TABHAyn7zhil/Md7wtf5PH3b1FJF+nNFeITdPZ 6FtU6297j5nEFwrIhxNMsGvn58obxmxmwOFMgysZTV1LdYqRBXE9pWgNkHj/TUHRHj//8Yvg ayS5iWCS7o6RiNmEJn3btCrxAiPpnQzor95cHbJBdhxQ3/S1rZWBRb/tdINGPFUGy7/nmOb8 y20HSYnofL8pt5p0dvR2oGBgYSbM8p/OUt4BmCA0KuHBRDb2kGBwoZwdvmCUh6AdWHz+YSkP f50ydOlOtI5vV96iahOOJc18rAfvvzB/6R7yCZgF1X1N2WbMKtqeCS67JMep59zya98kirof EC2o/1xG6iDYeHhG34vfDsVVPyJj6woq2OD/MYOARvI4QFs9+C6SmRUBR6HjRJdIJZTMI8Ix eQAutYc2zegiygFY8q3sSRJy1uidnAwcb0rlpU/Mr/ZjgAGzlJjY5uFBBTmv7CJSdFHaXcxL hGu2aHturV7x2j5SUQVK0Tj5+RmqKorhAFr134HflSApcrEjKQ43TpX6jUGcT5WxRRmjcN2B HRaCEluLv+w/TtYpsxnWV6xEjoYHxSmpxLVznULsGj3F2ipSW3/A2kvMsmd/E0i0jx9fxoK2 Jq62WraQTLRU8Wp5RQLWGlhsO3FT/Z90ibgifKXNZ2JMLdiaAW0n5L0Q3QDriXWJP8YhWrFl LFMx/lxY6iqDhwgifQ3JKfC3ItBVS3eAnJJRMxg26Y7HWv8XjWW8hrWImCTfvJ9HdD7wXWaO edPeP0WDw+f0RyQpA81HaQPer94vMA47eo4J4/EGzQ0jKu9nBFI7rTgrjPzlU06ceVIyMwdE L7cRxiGM26XhEZXpVPzkdl5CjKGRucANSLB37GT0eQWFpg8nvlmXmMs35CV4XiEEgtV0CiFn QHEZqbT07VGzKo0vorzE5dsAxe/BsPzWd+priGykYVqRvHePfjeszg6rgHcAD1XGr8KSvJLl bipm/zm7nPv5boZfTjQpMicKvNv+863YttyDuv2C3trxQ25R87m5ko4yVCScJBmvotU2Zi6e lGedsC1SN8yXuVdzl1zbwx1MU4UK4bzX5faiRKNlda+ITlD7lWfN/Kiz2HjUk9DfCxRO5HeN B79i8zz2v9m9rZzFD02LNA4Ja8hLFHaDP5sM5W7sDSDFWCnj2+Toraox1Jq9TjPDWLCC8rgp 47MQh/lbhmppaXU15djvpdvugEMRmNI6QXqkpnxJ/Yt49x7MIIHEQjZGZgDA5BQiSH5yYv1I izLbS4mCCPvGz1PNxzgiDgmssFzGcRWUuoV5BRwl69XV8tyLIGDHf1o6k+MJl9oLyD7wrjPx c42oxXN09vY/n2tbeQQ+7qynY+LAx8cKm0goSjAriA5P/rS7XjmGpCs8MqhmBEry/3wqXg=
  • Ironport-hdrordr: A9a23:6pNCXK9xw3Y1RbJ9cNhuk+DDI+orL9Y04lQ7vn2ZOiYlEPBw9v rFoB1173PJYVoqOU3I+uruBEDjex7hHPdOiOF7AV7IZmnbUQWTXeJfBMfZrQHdJw==
  • Ironport-phdr: A9a23:5mhmCRaOYqGEVHaH5K4MoXL/LTHJ2oqcDmcuAnoPtbtCf+yZ8oj4O wSHvLMx1gKPDd2QtqoMotGVmp6jcFRI2YyGvnEGfc4EfD4+ouJSoTYdBtWYA1bwNv/gYn9yN s1DUFh44yPzahANS47xaFLIv3K98yMZFAnhOgppPOT1HZPZg9iq2+yo9JDffQVFiCC+bL9uI xm7rRndvdQKjIV/Lao81hTGrnxUdupM2GhmP0iTnxHy5sex+J5s7SFdsO8/+sBDTKv3Yb02Q aRXAzo6PW814tbrtQTYQguU+nQcSGQWnQFWDAXD8Rr3Q43+sir+tup6xSmaIcj7Rq06VDi+8 6tmTgLjhSEaPDA77W7XkNR9g75YrhyvqBNwzY7abpyLOvdlZKzRYckXSHBdUstfVSFMBJ63Y YsVD+oGOOZVt4nyqEEKrRuiBQmjGvnvwSJQiHDowK06y/ouERvb1wEnEdMBqnDUrMn1NKgMS +C51q/Iwiveb/NOxzj98pPFchIiofGRR75/a9bRxFApGgjYgVqetZbrMCmJ1uQRrWeb9exgW PqzhmAnqwx8oiWiy8Qsh4XVmo4Yy03J+Dt3zosoIdC2R051bNC5HZdMqi2XOYh7T908T2x0u Cs216MKtJC0cSYKzpks2hDRa/uCc4eS4xLjUv6cISpki35/YLK/mw6+/la6xe3nVsi7zFZKo TBEktnWrHwN0AbT6seBR/Bg/UmhwS6C2x3c5+1YO0w5l6nWJ4Qvz7Iql5cesFzPEjL0lUj1l qOaa0Ep9vWy5+j6f7nquoWQO5Johg3jNKklh9axDv4iMgcUWmiW4eS826Pn/U3+WLhFkPg2n bPYsJDePsQUuLK2AxJP0ok98Rq/EjGm0NUBkXkDLVJFfhOGg5LzNF7SOvz3F+u/j0ytkDdt2 f/GIqXsDojCI3Tfirvsf7Vw51RSxQYpzN1S5opYCrQbL/LyXk/xusbYDhg8MwGszefoEtF91 p8eWW2RGK+VKqXSvkGV5uI3PeaMfpQYuDT+K/g4/fLhl2M5lUcbfaayxZQXcmy3Hux6I0WFZ nrhmsoNHX8QvgUiVOzqlEGCUTlLanmuWKI8/yg3B56iDYfeXY+gm6eB3Se+Hp1OfG9KEFGME XHyd4WFQfgAciySItUy2gADALOmUsoq0QyknA780btuaOTOqQMCspe269Fx++3ej1kU+CFsA t7Vh36ES310k3lOQTIrxK1liU5+1xGKzf4r0LRjCdVP6qYRAU8BPpnGwrkiYziTcgfIf9PSD U2jXs3jGjYpCNQ4394JZU95XdSklBHKmSSwUPcOj7LeIpsy/+rH2mTpYd5nwiPZ3a09j1Q8B M1CKHWrnIZ99BWVDpKa216BmfOSfL8HlDXI6H/FyGOPuE9CVwslTqzBQXASfA3QoMnh61nqT byzT707YUNa0cDXDKxMZ5XyiEleAvfuPNOLe2Wqh2K5HgqF3JuBaYPrf34Q1zjHBQ4ZlQFW+ XeAJ043DWGovwoyFRRIElTiKwPp+Oh68zagS1MsihqNdwtn3qa0/RgcgbqdTekS1/QKonVpr TI8B1u709/MbrjI7wN8YKVRZ88861ZbxCrYsQJ6JJmpM6FlgBYXbQ12u0rk0xg/BJ9HlIAmq 3YjzQw6Lqz9shsJaDqcwZD9IPvRJ3Tq8QqHaa3LnFjCkZ6X9qoJ9PUkugD7pgj6XkEm8nhhz 5xUyy7Fus2MU1pUCtSvDBVSlVAyvbzRbygj6pmB0HRtNfLxqTrew5cyA/NjzB+8ftBZOafCF QnoEsRcCdL9TY5i01WvcB8AO/hfsaAuOMbzPeSP3LKrMfwmmj+7lWldyIJ+zwSF62AvL4yAl 4ZA2Pye0gadAn3jhVO9ss3t34ZJeCkfBEK9yjWiDZIbNcgQNc4bTGypJcOw3NB3gZXgDmVZ+ FCUDFQDwMa1eBCWYjQRxCVo3F8M6TyikCq8lHlvli0x67GYxGrIyvjjcxwOPihKQnNjhBHiO 9r8g9cfVUmuJw8n8XntrVnzw7Rbqb45KWTOWUpSVyr1MidrTuO8u6GDbMhG9J4z+XwLCKLjM RbBDOCj6xIBmzvuBW5f2Cw2e1TI8t3ikhp2hXjcZHd/oXzFeN1hkBLW5djSX/lUjXINQCh1j yWSB0DpZoXxu4rE0cyF7L7tMgDpHodeeiTq046a4S6y5GkxRAa6g+j2gdr/Vw4zzS780dBuE yTOthf1JIfxhMHYeapqeFdlAFjk5o90AIZ7x8EvjZUM2XUAwJOY4GIKi0/xMsgd0L60Px9vD XYbhsXY5gTowhgpMXuN24L0TDObz9Z5asOSYGALnCshpZMvau/c/PlPmi17pUC9pATabK1mn zsT/vAp7WYTn+ADvAd+hjXYGL0ZGlNUeDD9jxndpc7rt71ZPSz8FNr4nFo7h92qC6uO5x1RS GqsMIl3Bjd+t41+KA6eiSGrrN60PoOWNZVJ6lWVi0uS1rQNbs1h0KFM3W09ZQef9TUk07Jp1 EA2m87q+tjBcjk0u/njSh9Aam+sO5tVpWGr3eAHwpzRhNrnH409SGxXBN23HbT4VmtO7rO8b WPsWHU9sivJQOuEW1bHtAE29TSXVMr3f3CRL30EwdgwXhSSIE1EnFpIGj49m/tbXkirwsflb Ut0tCsJ6Bv1t11B2uZpPQP+SWjFoxqwLDwzTdCWfgVJ8Uda5lfYNc+f6O5+BWdT+Zjp6QWJL ibzix1gK2YPVwTEAlniOuLr/tzc662DAfL4KfLSYLKIoOgYVvGSxJvp3JE0tzCLft6COHVvF ZhZkgJKQGx5FsLFmj4OVz1fliTDaNSerQu9/Ss/p9628fDiUgbirYWVDL4aPdJq8hGwyaCNU ozYzD5+Mipd34gQyGXgxb0W3VoJhipzbTTrDLIB8CrMSrCWk6QRBgJaIyJ/Oc1U7r4tiwlAP cmI77G9nrV8j/MzFxJETQm4xpnvOpxMeCfjagCiZg7DLrmNKDzVztuiZKq9TeYVl+BIr1irv i7dFUb/PzOFnj2vVha1MOgKgjvIWX4W8Iy7bBtpDnDuCdz8bRjuesB+iSE2zKdygH7XLWMGG Tp/bgVEsvfDiEEQyuU6AGFH4nd/eKOcnD2F6uDDNpsMmfZuCyVwjO9R/W43jaZT7WRARfpn3 iLZ6Ndy6QLD8KHH2n9sVxxArSxOjYSAsBB5OKnXwZJHXG7N4BMH6Wj44/Eipdh4TNTz6fg4I jfnlqHubj5eoYu8FSo0Cs3dKcacPXE8KxevBTjVSQ8ESyztPGqZjlAPyJmv
  • Ironport-sdr: 63b81f49_cl6l4hEIlXs1yjlVHuL1ldTvX2JQoPNW1GHhQlsfn/TM5ka 09/p8LFV1Z4qj3dBqHDtHgshYTbK9DRQyQSOigQ==

                Call for Extended Abstracts & Demonstrations
**************************************************************************
                                  ThEdu'23
            Theorem proving components for Educational software
                                5 July 2023
                http://www.uc.pt/en/congressos/thedu/ThEdu23
**************************************************************************
                               at CADE 2023
            29th international Conference on Automated Deduction 
                              July 1-5, 2023
                         Co-Located with FSCD 2023
                                Rome, Italy
**************************************************************************

THedu'23 Scope:

  Computer Theorem Proving is becoming a paradigm as well as a
  technological base for a new generation of educational software in
  science, technology, engineering and mathematics. The workshop brings
  together experts in automated deduction with experts in education in
  order to further clarify the shape of a new software generation and
  to discuss existing systems.

Invited Speaker

  Yves Bertot, INRIA, Sophia Antipolis

Important Dates

 * Extended Abstracts:  10 April 2023
 * Author Notification:  8 May 2023
 * Workshop Day:         5 July 2023


Topics of interest include:

 * interactive and automated theorem provers designed or adapted
   for education;
 * methods of automated deduction applied to checking students' input;
 * methods of automated deduction applied to prove post-conditions 
   for particular problem solutions; 
 * combinations of deduction and computation enabling systems to
   propose next step guidance;
 * combination of symbolic artificial intelligence and machine
   learning for the teaching of proof and proving;
 * design of libraries of statements and/or formal proofs for use
    in educational systems;
 * graphical user interfaces for use in the classroom;
 * specific systems integrated in educational components such as
   dynamic geometry software, automatic provers providing readable
   output or explicit counter examples, etc.;
 * the role of logic and formal systems in the didactic of proof
   and proving in mathematics education;
 * experience reports about the use of automatic or interactive
   theorem provers for teaching.


Submission

  We welcome submission of extended abstracts and demonstration
  proposals presenting original unpublished work which is not been
  submitted for publication elsewhere.

  All accepted extended abstracts and demonstrations will be presented
  at the workshop. Abstracts will be made available online.

  Extended abstracts and demonstration proposals should be submitted
  via easychair, https://easychair.org/conferences/?conf=thedu23
  formatted according to http://www.easychair.org/publications/easychair.zip

  Extended abstracts and demonstration proposals should be 5 pages
  (+|-1) in length and are to be submitted in PDF format.

  At least one of the authors of each accepted extended
  abstract/demonstration proposal is expected to attend THedu'23 and
  presents their extended abstract/demonstration. 


Program Committee (tentative) 

  Francisco Botana, University of Vigo at Pontevedra, 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, Austria (co-chair)
  Pedro Quaresma, University of Coimbra, Portugal (co-chair)
  Vanda Santos, University of Aveiro, Portugal
  Anders Schlichtkrull, Aalborg University, Denmark
  Wolfgang Schreiner, Johannes Kepler University, Austria
  M. Pilar Velez, Nebrija University, Spain
  Jorgen Villadsen, Technical University of Denmark, Denmark

Proceedings

  Abstracts and system descriptions will be available in ThEdu'23
  Web-wage. After the Workshop an open call for papers will be
  issued. It is expected that authors of accepted extended abstract
  can submit a substantially revised version, extended to 14-20 pages,
  for publication by the Electronic Proceedings in Theoretical
  Computer Science (EPTCS).


  • [Coq-Club] cfp ThEdu'23 -- 12th workshop on theorem proving components for educational software, Walther Neuper, 01/06/2023

Archive powered by MHonArc 2.6.19+.

Top of Page