PessoALL:
Recordo que o workshop on Theorem Proving Components for Educational
Software deste ano iria ocorrer junto ao IJCAR, em Paris, mas optamos
por cancelá-lo tendo em vista o prejuízo em termos de oportunidade de
_networking_ que previmos associado a uma edição puramente remota do
nosso evento, neste momento.
Tendo recebido várias expressões de interesse, não obstante, e
acreditando que este momento de isolamento social poderá dar um
impulso até maior do que o habitual ao desenvolvimento de softwares
educacionais online baseados em componentes certificados de
demonstração de teoremas, propusemos ao EPTCS a organização de um
volume especial ligado ao evento deste ano --- mesmo sem o evento.
Nossa proposta foi aprovada. Segue o CFP, para todos os eventuais interessados.
Mantenham-se saudáveis!
Joao Marcos
%%%
Open Call for Papers
**************************************************************************
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 a proceedings volume, in spite of our decision to
cancel the event after the IJCAR became a remote meeting.
Our proposal received the approval for publication on the part of 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
--
Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos
Grupos do Google.
Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um
e-mail para [email protected].
Para ver esta discussão na web, acesse
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_LhHCKQ3nORP%3DycF2j-QwHUs2ckgiCpMwDWk6cMX29tX0A%40mail.gmail.com.
