[ThEdu] EPTCS/ThEdu'20 Post-proceedings

[Pedro Quaresma <pedro@mat.uc.pt>]

Dear ThEduers

We received today the confirmation of the approval of ThEdU'20 Post-Proceedings by EPTCS

I'm happy to convey to you that our board has approved the publication of the ThEdu'20 proceedings in 
Electronic Proceedings in Theoretical Computer Science.

So it is time to finalize/prepare you submissions :)

                          Open Call for Contributions
**************************************************************************
                            Proceedings for ThEdu'20            
                Theorem Proving Components for Educational Software
                   http://www.uc.pt/en/congressos/thedu/thedu20
**************************************************************************
                            to be published by EPTCS, 
               Electronic Proceedings in Theoretical Computer Science
                           http://published.eptcs.org
**************************************************************************
    
    Synopsis
    
      ThEdu'20 was accepted as a workshop at IJCAR 2020, the
    International
      Joint Conference on Automated Reasoning, June 29 - July 5, 2020,
      Paris, France (https://ijcar2020.org/).
    
      The interest expressed for the workshop was such, that the PC
      decided to publish proceedings, in spite of cancellation after
    IJCAR
      become virtual.  Thanks to a decision of the EPTCS editorial board
      adapting to the specific situation, the proceedings already
    received
      the approval to be published by EPTCS.
    
    ThEdu'20 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 the new software generation
    and
      to discuss existing systems.
    
    Important Dates
    
     * Full Papers:         14 June 2020
     * Author Notification: 12 July 2020
     * Revised papers due:  13 Sept.2020
    
    Topics of interest include:
    
     * 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 steps;
     * automated provers specific for dynamic geometry systems;
     * proof and proving in mathematics education.
    
    Submission
    
      We welcome submission of full papers presenting original
    unpublished work 
      which is not been submitted for publication elsewhere.
    
      All contributions will be reviewed (blind review) by three members
      of the PC for each submission, to meet the high standards of
    EPTCS.
      
      The authors should comply with the "instructions for authors",
    LaTeX
      style files and accept the "Non-exclusive license to distribute"
    of
      EPTCS: Instructions for authors (http://info.eptcs.org/) LaTeX
    style
      file and formatting instructions (http://style.eptcs.org/)
    Copyright 
      (http://copyright.eptcs.org/)
    
      Papers should be submitted via EasyChair,   
      https://easychair.org/conferences/?conf=thedu20.
    
    Program Committee
    
      Francisco Botana, University of Vigo at Pontevedra, Spain
      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, Austria (co-chair)
      Pedro Quaresma, University of Coimbra, Portugal (co-chair)
      Philippe R. Richard, Université de Montréal, Canada
      Vanda Santos, University of Aveiro, Portugal
      Wolfgang Schreiner, Johannes Kepler University, Austria
      Jørgen Villadsen, Technical University of Denmark, Denmark
    
---//---
8IMM, 8th Iberian Mathematical Meeting, Institute of Mathematics of the University of Seville, 7-9 October 2020.
---//---

-- 

At\'e breve;Deica Logo;\`A bient\^ot;See you later;Vidimo se;A tra poco;Do zobaczenia

Professor Pedro Quaresma
Mathematics Departament, Science and Technology Faculty
University of Coimbra
P-3001-454 COIMBRA, PORTUGAL
Elec. mail: pedro@mat.uc.pt
webpage: http://www.mat.uc.pt/~pedro/
phone: +351 239 791 137; fax: +351 239 832 568