From pedro at mat.uc.pt Tue Feb 4 04:52:47 2020 From: pedro at mat.uc.pt (Pedro Quaresma) Date: Tue Feb 4 04:53:02 2020 Subject: [Webmath] ThEdu'20 at the Summer of LoVe - cfp Message-ID: ??? ??? Call for Extended Abstracts & Demonstrations ************************************************************************** ????????????????????????????????? ThEdu'20 ??????????? Theorem Proving Components for Educational Software ??????????????????????????????? 29? June 2020 ??????????????? http://www.uc.pt/en/congressos/thedu/thedu20 ************************************************************************** ????????????????????????????? at IJCAR 2020 ????????? International Joint Conference on Automated Reasoning ?????????????????? June 29 - July 5, 2020, Paris, France ???????????????????????? https://ijcar2020.org/ ************************************************************************** ? ThEdu'20 is part of "Paris Nord Summer of LoVe 2020", a joint event on ? LOgic and VErification at Universit? Paris 13, made of Petri Nets ? 2020, IJCAR 2020, FSCD 2020, and over 20 satellite events. ? https://lipn.univ-paris13.fr/summer-of-love-2020/" ************************************************************************** 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. Invited Talk ? Gilles Dowek, ENS Paris-Saclay Important Dates ?* Extended Abstracts:? 12 April 2020 ?* Author Notification: 10 May 2020 ?* Workshop Day:??????? 29 June 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 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=thedu20 ? 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'20 and presents his/her extended ? abstract/demonstration. 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 Proceedings ? The extended abstracts and system descriptions will be available in ? ThEdu'20 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). ---//--- CADGME 2020, The 8th Conference on Computer Algebra and Dynamic Geometry in Mathematics Education, Jerusalem, June 21st -25th , 2020. IJCAR 2020, International Joint Conference on Automated Reasoning, Paris, France, 29th June - 2nd July 2020. ECM 2020, 8th European Congress of Mathematics, Portoroz, Slovenia, 5 - 11 July 2020. ADG 2020, 13th International Workshop on Automated Deduction in Geometry, Hagenberg, Austria, 13-15 July, 2020. 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 From pedro at mat.uc.pt Thu Apr 23 06:03:31 2020 From: pedro at mat.uc.pt (Pedro Quaresma) Date: Thu Apr 23 09:17:22 2020 Subject: [Webmath] ThEdu'20/EPTCS Post-proceedings - Open Call for Papers Message-ID: <9dc0eb32-3b9b-3b53-a79d-ec7ecb33b974@mat.uc.pt> ????????????????????????? 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 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 From akelm at cms.math.ca Wed Apr 29 03:27:07 2020 From: akelm at cms.math.ca (Alan Kelm) Date: Wed Apr 29 03:27:19 2020 Subject: [Webmath] Planned retirement of webmath email list Message-ID: <81ad42a2-be1f-56e7-c80e-b032472c0bb4@cms.math.ca> The webmath email list, hosted by the Canadian Mathematical Society (CMS) for the purpose of discussing and furthering "math on the web", has fallen into disuse over the years, and the server hosting it is expected to be retired soon. The webmath list was most active around the year 2000, when June Lester of Simon Fraser University was organizing "Math on the Internet" sessions at CMS conferences. (See, for example, https://cms.math.ca/CMS/Events/math2000/symposia.html). We are planning to shut down the webmath email list one week from today, on May 6, 2020.? During this time, if anyone in the webmath community would like to send any closing comments,? or protest the intention to shut down the list,? feel free to do so. Best regards, -Alan Kelm -- Alan Kelm Manager, Electronic Services Canadian Mathematical Society Tel: +1 (613) 733-2662 ext. 799 Please consider the environment. [cms web link] Alan Kelm Chef, services ?lectroniques Soci?t? math?matique du Canada T?l : +1 (613) 733-2662 poste 799 Consid?rez svp l'environnement. -------------- next part -------------- Skipped content of type multipart/related