From pedro at mat.uc.pt Mon Feb 25 13:32:10 2019 From: pedro at mat.uc.pt (Pedro Quaresma) Date: Tue Feb 26 09:32:41 2019 Subject: [Webmath] Cfp ThEdu'19 at CADE27 - Theorem Proving Components for Educational Software Message-ID: <83453240-a3aa-8ab3-3209-df72d2e0df3d@mat.uc.pt> ????????????? Call for Extended Abstracts & Demonstrations ************************************************************************** ????????????????????????????????? ThEdu'19 ??????????? Theorem proving components for Educational software ?????????????????????????????? 25 or 26 August 2019 ??????????????? http://www.uc.pt/en/congressos/thedu/thedu19 ************************************************************************** ?????????????????????????????? at CADE 27 ???????? 27th International Conference on Automated Deduction ????????????????????? 25-30 August 2019 - Natal - Brazil ?????????????????????? https://www.mat.ufrn.br/CADE-27/ ************************************************************************** THedu'19 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. Invited Talk ? Cezary Kaliszyk, University of Innsbruck, Austria Important Dates ?* Extended Abstracts:? 5 May 2019 ?* Author Notification: 2 June 2019 ?* Workshop Day:??????? 25 or 26 August 2019 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 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. The extended abstracts will be made available ? online. ? ? Extended abstracts and demonstration proposals should be submitted ? via easychair, https://easychair.org/conferences/?conf=thedu19 ? formatted according to ? http://www.easychair.org/publications/easychair.zip ? ? Extended abstracts and demonstration proposals should be approximately ? 5 pages in length and are to be submitted in PDF format. ? ? At least one author of each accepted extended abstract/demonstration ? proposal is expected to attend THedu'19 and presents his/her extended ? abstract/demonstration. Program Committee ? Francisco Botana, University of Vigo at Pontevedra, Spain ? 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 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 ? Proceedings ? The extended abstracts and system descriptions will be available in ? ThEdu'19 Web-page. After presentation at the conference, selected ? authors will be invited to submit a substantially revised version, ? extended to 14--20 pages, for publication by the Electronic ? Proceedings in Theoretical Computer Science (EPTCS). ---//--- ACA 2019, Applications of Computer Algebra 2019 July 16-20, 2019 Montr?al, Canada. CADE 2019, 27th International Conference on Automated Deduction, 25-30 August 2019, Natal, Brazil ThEdu'19, 8th International Workshop on Theorem proving components for Educational software, August 2019, Natal, Brazil LSFA 2019, 14th International Workshop on Logical and Semantic Frameworks, with Applications, August 24-26, 2019, Natal, Brazil ---//--- -- At\'e breve;Deica Logo;\`A bient\^ot;See you later;Vidimo se;A tra poco;Do zobaczenia Professor Auxiliar 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 From pedro at mat.uc.pt Wed Apr 24 11:24:01 2019 From: pedro at mat.uc.pt (Pedro Quaresma) Date: Wed Apr 24 11:24:17 2019 Subject: [Webmath] ThEdu 2nd cfp Message-ID: <23b5cf2a-bf46-1ccc-f59e-1b9fa275b383@mat.uc.pt> ????????????? 2nd Call for Extended Abstracts & Demonstrations ************************************************************************** ????????????????????????????????? ThEdu'19 ??????????? Theorem proving components for Educational software ?????????????????????????????? 25 or 26 August 2019 ??????????????? http://www.uc.pt/en/congressos/thedu/thedu19 ************************************************************************** ?????????????????????????????? at CADE 27 ???????? 27th International Conference on Automated Deduction ????????????????????? 25-30 August 2019 - Natal - Brazil ?????????????????????? https://www.mat.ufrn.br/CADE-27/ ************************************************************************** THedu'19 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. Invited Talk ? Cezary Kaliszyk, University of Innsbruck, Austria Important Dates ?* Extended Abstracts:? 5 May 2019 ?* Author Notification: 2 June 2019 ?* Workshop Day:??????? 25 or 26 August 2019 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 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. The extended abstracts will be made available ? online. ? ? Extended abstracts and demonstration proposals should be submitted ? via easychair, https://easychair.org/conferences/?conf=thedu19 ? formatted according to ? http://www.easychair.org/publications/easychair.zip ? ? Extended abstracts and demonstration proposals should be approximately ? 5 pages in length and are to be submitted in PDF format. ? ? At least one author of each accepted extended abstract/demonstration ? proposal is expected to attend THedu'19 and presents his/her extended ? abstract/demonstration. Program Committee ? Francisco Botana, University of Vigo at Pontevedra, Spain ? 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 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 ? Proceedings ? The extended abstracts and system descriptions will be available in ? ThEdu'19 Web-page. After presentation at the conference, selected ? authors will be invited to submit a substantially revised version, ? extended to 14--20 pages, for publication by the Electronic ? Proceedings in Theoretical Computer Science (EPTCS). ---//--- ACA 2019, Applications of Computer Algebra 2019 July 16-20, 2019 Montr?al, Canada. CADE 2019, 27th International Conference on Automated Deduction, 25-30 August 2019, Natal, Brazil ThEdu'19, 8th International Workshop on Theorem proving components for Educational software, August 2019, Natal, Brazil LSFA 2019, 14th International Workshop on Logical and Semantic Frameworks, with Applications, August 24-26, 2019, Natal, Brazil ---//--- -- At\'e breve;Deica Logo;\`A bient\^ot;See you later;Vidimo se;A tra poco;Do zobaczenia Professor Auxiliar 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 From pedro at mat.uc.pt Mon Sep 16 05:55:42 2019 From: pedro at mat.uc.pt (Pedro Quaresma) Date: Mon Sep 16 05:55:55 2019 Subject: [Webmath] Cfp ThEdu'19 post-proceedings at EPCTS, Theorem Proving Components for Educational Software Message-ID: <722af8c2-7ddd-6a0c-4300-f7c0f4ff9f62@mat.uc.pt> ????????? ?????? Open Call for Papers ************************************************************************** ?????????????????? Postproceedings for ThEdu'19 by EPTCS ??????????? Theorem Proving Components for Educational Software ??????????????? http://www.uc.pt/en/congressos/thedu/thedu19 ************************************************************************** ???????????????????????? Workshop ThEdu'19 at CADE27 ????????????????????????? http://www.cade-27.info/ ************************************************************************** THedu'19 Postproceedings: ? ThEdu's programme comprised one invited contribution and four regular ? contributions, whose abstract are in the workshop web-page. Now ? postproceedings are planned to collect the contributions upgraded to full ? papers. The contributions' topics are diverse according to ThEdu's scope, and ? this is a call open for everyone, also those who did not participate in the ? workshop. All papers will undergo review according to EPTCS standards. THedu'19 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. 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. Important Dates ?* Call for papers:??????????? 16 Sep 2019 ?* Submission (full papers):?? 18 Nov 2019 ?* Notification of acceptance: 16 Dec 2019 ?* Revised papers due:???????? 20 Jan 2020 Submission ? We welcome submission of papers presenting original unpublished work which is ? not been submitted for publication elsewhere. ? 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=thedu19. ? In case the accepted contributions finally do not reach the standards 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 ? Jo?o Marcos, Universidade Federal do Rio Grande do Norte, Brazil ? 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 ---//--- IJCAR 2020, Paris, France, 29th June - 2nd July 2020 ---//--- -- At\'e breve;Deica Logo;\`A bient\^ot;See you later;Vidimo se;A tra poco;Do zobaczenia Professor Auxiliar 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 -------------- next part -------------- An HTML attachment was scrubbed... URL: https://mail.cms.math.ca/pipermail/webmath/attachments/20190916/088e6db1/attachment.htm