From pedro at mat.uc.pt Tue Feb 27 09:13:31 2018 From: pedro at mat.uc.pt (Pedro Quaresma) Date: Wed Feb 28 10:48:29 2018 Subject: [Webmath] Cfp ThEdu'18 at FLOC/ICAR 2018 - Theorem Proving Components for Educational Software Message-ID: <2e0580e2-cbf9-2c4c-8428-44c7a9243d8b@mat.uc.pt> ????????????? Call for Extended Abstracts & Demonstrations ************************************************************************** ????????????????????????????????? ThEdu'18 ??????????? Theorem proving components for Educational software ??????????????????????????????? 18 July 2018 ??????????????? http://www.uc.pt/en/congressos/thedu/thedu18 ************************************************************************** ?????????????????????????????? at FLoC 2018 ?????????????????????? Federated Logic Conference 2018 ????????????????????????????? 6-19 July 2018 ??????????????????????????????? Oxford, UK ???????????????????????? http://www.floc2018.org/ ************************************************************************** THedu'18 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 ? Julien Narboux, University of Strasbourg, France Important Dates ?* Extended Abstracts:? 15th April 2018 ?* Author Notification: 15th May 2018 ?* Workshop Day:??????? 18 July 2018 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=thedu18 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'18 and presents his/her extended abstract/demonstration. Program Committee ? Francisco Botana, University of Vigo at Pontevedra, Spain ? Roman Ha?ek, University of South Bohemia, Czech Republic ? Filip Maric, University of Belgrade, Serbia ? Walther Neuper, Graz University of Technology, Austria (co-chair) ? Pavel Pech, University of South Bohemia, Czech Republic ? Pedro Quaresma, University of Coimbra, Portugal (co-chair) ? Vanda Santos, CISUC, Portugal ? Wolfgang Schreiner, Johannes Kepler University, Austria ? Burkhart Wolff, University Paris-Sud, France Proceedings ? The extended abstracts and system descriptions will be available in ThEdu'18 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 2018, Conference on Computer Algebra and Dynamic Geometry Systems in Mathematics Education, 2018 Coimbra, Portugal ThEdu'18, 7th International Workshop on Theorem proving components for Educational software, July 2018, Oxford, UK (at FLOC 2018) ADG 2018, The 12th International Conference on Automated Deduction in Geometry, Nanning, China, September 11-14, 2018 ---//--- -- 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 christoph.lueth at dfki.de Wed Mar 7 11:28:50 2018 From: christoph.lueth at dfki.de (=?UTF-8?Q?Christoph_L=c3=bcth?=) Date: Thu Mar 8 09:30:13 2018 Subject: [Webmath] Call for Papers: 13th International Workshop on User Interfaces for Theorem Provers (UITP 2018) Message-ID: <2869e06c-2652-f99c-e2f3-054bae66a735@dfki.de> [Apologies for multiple copies.] CALL FOR PAPERS: 13th INTERNATIONAL WORKSHOP ON USER INTERFACES FOR THEOREM PROVERS (UITP 2018) http://www.informatik.uni-bremen.de/uitp/uitp2018/ July 13th, 2018. Oxford, UK A FLoC 2018 workshop. The User Interfaces for Theorem Provers workshop series (UITP) brings together researchers interested in designing, developing and evaluating interfaces for interactive proof systems, such as theorem provers, formal method tools, and other tools manipulating and presenting mathematical formulas. While the reasoning capabilities of interactive proof systems have increased dramatically over the last years, the system interfaces have often not enjoyed the same attention as the proof engines themselves. In many cases, interfaces remain relatively basic and under-designed. The User Interfaces for Theorem Provers workshop series provides a forum for researchers interested in improving human interaction with proof systems. We welcome participation and contributions from the theorem proving, formal methods and tools, and HCI communities, both to report on experience with existing systems, and to discuss new directions. Topics covered include, but are not limited to: * Application-specific interaction mechanisms or designs for prover interfaces * Experiments and evaluation of prover interfaces * Languages and tools for authoring, exchanging and presenting proof * Implementation techniques (e.g. web services, custom middleware, DSLs) * Integration of interfaces and tools to explore and construct proof * Representation and manipulation of mathematical knowledge or objects * Visualization of mathematical objects and proof * System descriptions SUBMISSION ========== Submitted papers should describe previously unpublished work (completed or in progress), and be at least 4 pages and at most 12 pages. We encourage concise and relevant papers. Submissions should be in PDF format, and typeset with the EPTCS LaTeX document class (which can be downloaded from http://style.eptcs.org/). Submission is via EasyChair (https://www.easychair.org/conferences/?conf=uitp2018). All papers will be peer reviewed by members of the programme committee and selected by the organizers in accordance with the referee reports. At least one author/presenter of accepted papers must attend the workshop and present the work. IMPORTANT DATES =============== Submission deadline: 15.04.2018 Acceptance notification: 15.05.2018 Workshop: 13.07.2018 PROCEEDINGS =========== Authors will have the opportunity to incorporate feedback and insights gathered during the workshop to improve their accepted papers before publication in the post-proceedings in the Electronic Proceedings in Theoretical Computer Science (EPTCS). PROGRAMME COMMITTEE =================== Mateja Jamnik, University of Cambridge, UK (co-Chair) Christoph L?th, University of Bremen, Germany (co-Chair) Serge Autexier, DFKI Bremen, Germany David Aspinall, University of Edinburgh, UK Chris Benzm?ller, Free University Berlin, Germany Yves Bertot, INRIA Sophia-Antipolis, France Maria Paola Bonacina, University of Verona, Italy Joachim Breitner, University of Pennsylvania, USA Ross Duncan, University of Strathclyde, UK Moa Johansson, Chalmers University, Sweden Zolt?n Kov?cs, RISC, Austria Mohamed Yousri Mahmoud, University of Ottawa, Canada Michael Norrish, NICTA, Australia Andrei Paskevich, LRI, France Larry Paulson, University of Cambridge, UK Alison Pease, University of Dundee, UK Pedro Quaresma, University of Coimbra, Portugal Gem Stapleton (University of Brighton, UK) Christian Sternagel, University of Innsbruck, Austria Enrico Tassi, INRIA Sophia-Antipolis, France Laurent Th?ry, INRIA Sophia-Antipolis, France Makarius Wenzel, Sketis, Germany Wolfgang Windsteiger, RISC Linz, Austria Bruno Woltzenlogel Paleo, Technical University Vienna, Austria CONTACT ======= uitp2018@easychair.org From michael.kohlhase at fau.de Tue Mar 20 01:39:27 2018 From: michael.kohlhase at fau.de (Michael Kohlhase) Date: Tue Mar 20 08:34:22 2018 Subject: [Webmath] ICMS Session: Math in 2050 (ABSTRACT DEADLINE 31. March), 24-27 July 2018, Notre Dame University, South Bend, USA Message-ID: [apologies for multiple copies] ???????????? ??? ICMS Session --- ????????????????? Math in 2050 ???? Creativity, Publication, and Application ???? supported by Knowledge Bases and Software? ???? ???? Notre Dame, 24-27 July 2018 (one day, tbd) ???? co-located with ICMS 2018 http://www.icms-conference.org/2018 ???? Details: http://www.icms-conference.org/2018/sessions/session17/ Aim and Scope The Math2050 Session explores community perceptions of future workflows in ?doing mathematics? (the conception, publication, dissemination, and application of mathematical knowledge). It follows upon an ICMS event in Berlin organized by the International Mathematical Knowledge Trust (IMKT; chartered by the IMU and funded by the Alfred P. Sloan Foundation to help bring about a global digital mathematics library). The question of how to encode mathematical semantics that is at the heart of what future mathematics will be, was considered at a Fields Institute workshop in February 2016 and is still an active one. Topics and Publications The workshop seeks technical contributions and position papers on novel/computer-supported workflows and information resources for the practice of the mathematical sciences. The contributions will be used as anchors to an open discussion on how ?doing mathematics could change in the next 30 years (one full generation of mathematicians). The contributors will be invited to submit articles to a special issue of ?Mathematics in Computer Science?. IMPORTANT DATES (all times are "anywhere on earth") 1. Abstract Submission: March 31. 2018 2. Extended Abstract Submission: April 21, 2018. SUBMISSIONS/PROCEEDINGS After the meeting a full paper can appear in ICMS proceedings (LNCS) ORGANISATION/PROGRAMME COMMITTEE Organizers ??? Michael Kohlhase (FAU Erlangen-N?rnberg) ??? Patrick D. F. Ion (GDML WG & University of Michigan) Comments/questions/enquiries: to be sent to the organizers -- ---------------------------------------------------------------------- Prof. Dr. Michael Kohlhase, http://kwarc.info/kohlhase, skype: mibein42 Professur f?r Wissensrepr?sentation & -verarbeitung Informatik, FAU Erlangen N?rnberg, Martensstr. 3, D-91058 Erlangen, Room 11.139, tel/fax: (49) 9131-85-64052/55, michael.kohlhase@fau.de ---------------------------------------------------------------------- From michael.kohlhase at fau.de Thu Mar 22 14:44:50 2018 From: michael.kohlhase at fau.de (Michael Kohlhase) Date: Fri Mar 23 10:23:04 2018 Subject: [Webmath] =?utf-8?q?Multiple_Positions_at_FAU_Erlangen/N=C3=BCrn?= =?utf-8?q?berg?= Message-ID: <9b316165-ecd6-f10c-b6b4-de2f5843f906@fau.de> The KWARC group [1] at FAU Erlangen-N?rnberg [2] is looking for Ph.D. candidates and PostDocs in multiple projects. Details and an up-to-date listing can be found at [3]. We are always interested in candiates with strong backgrounds and interests in Logic, Language, and Mathematics. Currently we are seeking applications for the following projects: * ALMANAC: Argumentation Logics Manager & Argument Context Graph (DFG 2018-2020) ? Doctoral Students and PostDocs with a love for logic, language, and argumentation. * OpenDreamKit: Open Digital Research Environment Toolkit for the Advancement of Mathematics (EU 2016-2019) ? Doctoral Students and PostDocs with an interest in mathematics, computation, and system integration. The KWARC group engages in research and development in foundations of mathematics, metalogical frameworks, flexiformal knowledge representation for STEM (Science, Technology, Engineering, and Mathematics), semantics extraction from STEM documents, and knowledge management on this basis. Candidates interested in the above positions should introduce themselves and inquire for further information by sending email with the usual documents to . [1] http://kwarc.info [2] http://cs.fau.de [3] http://kwarc.info/hiring -- ---------------------------------------------------------------------- Prof. Dr. Michael Kohlhase, http://kwarc.info/kohlhase, skype: mibein42 Professur f?r Wissensrepr?sentation & -verarbeitung Informatik, FAU Erlangen N?rnberg, Martensstr. 3, D-91058 Erlangen tel/fax: (49) 9131-85-64052/55, michael.kohlhase@fau.de ---------------------------------------------------------------------- From pedro at mat.uc.pt Wed Apr 4 12:08:42 2018 From: pedro at mat.uc.pt (Pedro Quaresma) Date: Thu Apr 5 09:54:25 2018 Subject: [Webmath] 2nd cfp ThEdu'18 at FLOC/ICAR 2018 - Theorem Proving Components for Educational Software Message-ID: <3115ac2d-5629-1ccc-47fe-9c5178a09343@mat.uc.pt> ???????????? 2nd Call for Extended Abstracts & Demonstrations ************************************************************************** ?????????????????????????????? ThEdu'18 ??????????? Theorem proving components for Educational software ???????????????????????????? 18 July 2018 ??????????????? http://www.uc.pt/en/congressos/thedu/thedu18 ************************************************************************** ?????????????????????? affiliated to IJCAR 2018 ????????????????????????? July 14-17, 2018 ??????????????????????? Oxford, United Kingdom ?????????????????????? http://www.ijcar2018.org/ ???????????????????????? (part of FLoC 2018) ************************************************************************** THedu'18 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 ? Julien Narboux, University of Strasbourg, France Important Dates ?* Extended Abstracts:? 15th April 2018 ?* Author Notification: 15th May 2018 ?* Workshop Day:??????? 18 July 2018 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=thedu18 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'18 and presents his/her extended abstract/demonstration. Program Committee ? Francisco Botana, University of Vigo at Pontevedra, Spain ? Roman Ha?ek, University of South Bohemia, Czech Republic ? Filip Maric, University of Belgrade, Serbia ? Walther Neuper, Graz University of Technology, Austria (co-chair) ? Pavel Pech, University of South Bohemia, Czech Republic ? Pedro Quaresma, University of Coimbra, Portugal (co-chair) ? Vanda Santos, CISUC, Portugal ? Wolfgang Schreiner, Johannes Kepler University, Austria ? Burkhart Wolff, University Paris-Sud, France Proceedings ? The extended abstracts and system descriptions will be available in ThEdu'18 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 2018, Conference on Computer Algebra and Dynamic Geometry Systems in Mathematics Education, 2018 Coimbra, Portugal ThEdu'18, 7th International Workshop on Theorem proving components for Educational software, July 2018, Oxford, UK (at FLOC 2018) ADG 2018, The 12th International Conference on Automated Deduction in Geometry, Nanning, China, September 11-14, 2018 ---//--- -- 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 christoph.lueth at dfki.de Mon Apr 9 10:45:55 2018 From: christoph.lueth at dfki.de (=?UTF-8?Q?Christoph_L=c3=bcth?=) Date: Tue Apr 10 09:27:47 2018 Subject: [Webmath] Final Call for Papers: 13th International Workshop on User Interfaces for Theorem Provers (UITP 2018) Message-ID: <6545cec4-9cf3-0b32-6aec-d131225a2548@dfki.de> [Apologies for multiple copies.] [Deadline coming up: April 15th] CALL FOR PAPERS: 13th INTERNATIONAL WORKSHOP ON USER INTERFACES FOR THEOREM PROVERS (UITP 2018) http://www.informatik.uni-bremen.de/uitp/uitp2018/ July 13th, 2018. Oxford, UK A FLoC 2018 workshop. The User Interfaces for Theorem Provers workshop series (UITP) brings together researchers interested in designing, developing and evaluating interfaces for interactive proof systems, such as theorem provers, formal method tools, and other tools manipulating and presenting mathematical formulas. While the reasoning capabilities of interactive proof systems have increased dramatically over the last years, the system interfaces have often not enjoyed the same attention as the proof engines themselves. In many cases, interfaces remain relatively basic and under-designed. The User Interfaces for Theorem Provers workshop series provides a forum for researchers interested in improving human interaction with proof systems. We welcome participation and contributions from the theorem proving, formal methods and tools, and HCI communities, both to report on experience with existing systems, and to discuss new directions. Topics covered include, but are not limited to: * Application-specific interaction mechanisms or designs for prover interfaces * Experiments and evaluation of prover interfaces * Languages and tools for authoring, exchanging and presenting proof * Implementation techniques (e.g. web services, custom middleware, DSLs) * Integration of interfaces and tools to explore and construct proof * Representation and manipulation of mathematical knowledge or objects * Visualization of mathematical objects and proof * System descriptions SUBMISSION ========== Submitted papers should describe previously unpublished work (completed or in progress), and be at least 4 pages and at most 12 pages. We encourage concise and relevant papers. Submissions should be in PDF format, and typeset with the EPTCS LaTeX document class (which can be downloaded from http://style.eptcs.org/). Submission is via EasyChair (https://www.easychair.org/conferences/?conf=uitp2018). All papers will be peer reviewed by members of the programme committee and selected by the organizers in accordance with the referee reports. At least one author/presenter of accepted papers must attend the workshop and present the work. IMPORTANT DATES =============== Submission deadline: 15.04.2018 Acceptance notification: 15.05.2018 Workshop: 13.07.2018 PROCEEDINGS =========== Authors will have the opportunity to incorporate feedback and insights gathered during the workshop to improve their accepted papers before publication in the post-proceedings in the Electronic Proceedings in Theoretical Computer Science (EPTCS). PROGRAMME COMMITTEE =================== Mateja Jamnik, University of Cambridge, UK (co-Chair) Christoph L?th, University of Bremen, Germany (co-Chair) Serge Autexier, DFKI Bremen, Germany David Aspinall, University of Edinburgh, UK Chris Benzm?ller, Free University Berlin, Germany Yves Bertot, INRIA Sophia-Antipolis, France Maria Paola Bonacina, University of Verona, Italy Joachim Breitner, University of Pennsylvania, USA Ross Duncan, University of Strathclyde, UK Moa Johansson, Chalmers University, Sweden Zolt?n Kov?cs, RISC, Austria Mohamed Yousri Mahmoud, University of Ottawa, Canada Michael Norrish, NICTA, Australia Andrei Paskevich, LRI, France Larry Paulson, University of Cambridge, UK Alison Pease, University of Dundee, UK Pedro Quaresma, University of Coimbra, Portugal Gem Stapleton (University of Brighton, UK) Christian Sternagel, University of Innsbruck, Austria Enrico Tassi, INRIA Sophia-Antipolis, France Laurent Th?ry, INRIA Sophia-Antipolis, France Makarius Wenzel, Sketis, Germany Wolfgang Windsteiger, RISC Linz, Austria Bruno Woltzenlogel Paleo, Technical University Vienna, Austria CONTACT ======= uitp2018@easychair.org From wneuper at ist.tugraz.at Tue Apr 10 03:27:20 2018 From: wneuper at ist.tugraz.at (Walther Neuper) Date: Tue Apr 10 14:48:27 2018 Subject: [Webmath] CfP CME-EI at CICM Message-ID: <7851b246-567c-a272-07e8-b0489f544338@ist.tugraz.at> Call for papers on Technology Assessment ************************************************************************** Computer Mathematics in Education --- Enlightenment or Incantation ? ************************************************************************** CME-EI, Workshop at CICM https://www.cicm-conference.org/2018/cicm.php?event=cme-ei&menu=general August 17, 2018, RISC, Hagenberg, Austria https://www.cicm-conference.org/2018/cicm.php?event=&menu=general ************************************************************************** Theme CICM gathers computer mathematicians, and this workshop questions the impact of their doing on education. Computer Mathematics plays an important role in education -- does this role tend towards enlightenment of students or towards incantation by students ? So this workshop adresses what "Intelligent" in the conference's title might mean: raising "enlightenment" (a misleading translation from German "Aufklaerung") or raising blind trust in technology and using tools for kinds of "incantation"? Looking at the state of the art in educational use of mathematics software we see: Computer Algebra Systems are used to widen application areas of mathematics by uncaging students from tricky calculations -- and by the way tend to shift formal mathematics into mystical incantation. Dynamic Geometry Systems appeal to students' intuition, experts advocate "geometrical proof" -- and by the way bypass the challenge of demonstrating reliability by mathematical proof. And last not least a "new generation of educational mathematics software" based on technologies from Computer Theorem Proving is announced while respective software for general mathematics education still seems unavailable. So this workshop will consider recent developments in Computer Mathematics, discuss potential impact of respective tools and reconsider developers' responsibility for such impact. Topics of interest: Interesting as discussion of "Enlightenment or Incantation" in education might be, it must start from concrete technologies: * Technologies for explanation, justification and reasoning, * tools built upon Computer Algebra, Dynamic Geometry, Computer Theorem Proving, etc, * case studies: areas of mathematics which particularly benefit from mechanical explanation, justification and reasoning, * evidence and proof in Dynamic Geometry Systems, * computer Algebra and reasoning, * automated generation of concrete examples from abstract concepts, * SW mechanisms which make mathematical concepts transparent to users, * SW as models of mathematics (interactive, complete and transparent?). And from there ask questions like: * Where does Computer Mathematics tend towards "enlightenment"? * Where does Computer Mathematics tend towards "incantation"? * How does increasing use of software tools affect mathematics education? * How do software tools affect young people's interest in MINT studies? Important dates: Deadline for submissions: 20. May 2018 Notification of acceptance: 17. June 2018 Workshop day: 17. Aug 2018 Submissions: Authors should prepare their papers in one column style of CEUR-WS http://ceur-ws.org/Vol-XXX/samplestyles/. There are two categories of submissions: * Regular papers describing developed work with theoretical results (upto 15 pages) * Short papers on experience reports, tools or work in progress with preliminary results or just preparations for discussion (upto 6 pages). Submission in PDF at https://easychair.org/conferences/?conf=cmeei18. Programme Committee Karl-Josef Fuchs, University of Salzburg Zoltan Kovacs, Private University of Education Diocese Linz Walther Neuper, Graz University of Technology Barbara Sabitzer, Johannes Kepler University Linz Wolfgang Schreiner, Johannes Kepler University Linz From wneuper at ist.tugraz.at Tue May 8 10:18:06 2018 From: wneuper at ist.tugraz.at (Walther Neuper) Date: Wed May 9 09:17:51 2018 Subject: [Webmath] Final CfP CME-EI at CICM Message-ID: <8a2dd58b-f408-3d96-585a-7bdea3599acc@ist.tugraz.at> Call for papers on Technology Assessment ************************************************************************** Computer Mathematics in Education --- Enlightenment or Incantation ? ************************************************************************** CME-EI, Workshop at CICM https://www.cicm-conference.org/2018/cicm.php?event=cme-ei&menu=general August 17, 2018, RISC, Hagenberg, Austria https://www.cicm-conference.org/2018/cicm.php?event=&menu=general ************************************************************************** Important dates: Deadline for submissions: 20. May 2018 Notification of acceptance: 17. June 2018 Workshop day: 17. Aug 2018 Theme: CICM gathers computer mathematicians, and this workshop questions the impact of their doing on education. Computer Mathematics plays an important role in education -- does this role tend towards enlightenment of students or towards incantation by students ? So this workshop adresses what "Intelligent" in the conference's title might mean: raising "enlightenment" (a misleading translation from German "Aufklaerung") or raising blind trust in technology and using tools for kinds of "incantation"? Looking at the state of the art in educational use of mathematics software we see: Computer Algebra Systems are used to widen application areas of mathematics by uncaging students from tricky calculations -- and by the way tend to shift formal mathematics into mystical incantation. Dynamic Geometry Systems appeal to students' intuition, experts advocate "geometrical proof" -- and by the way bypass the challenge of demonstrating reliability by mathematical proof. And last not least a "new generation of educational mathematics software" based on technologies from Computer Theorem Proving is announced while respective software for general mathematics education still seems unavailable. So this workshop will consider recent developments in Computer Mathematics, discuss potential impact of respective tools and reconsider developers' responsibility for such impact. Topics of interest: Interesting as discussion of "Enlightenment or Incantation" in education might be, it must start from concrete technologies: * Technologies for explanation, justification and reasoning, * tools built upon Computer Algebra, Dynamic Geometry, Computer Theorem Proving, etc, * case studies: areas of mathematics which particularly benefit from mechanical explanation, justification and reasoning, * evidence and proof in Dynamic Geometry Systems, * computer Algebra and reasoning, * automated generation of concrete examples from abstract concepts, * SW mechanisms which make mathematical concepts transparent to users, * SW as models of mathematics (interactive, complete and transparent?). And from there ask questions like: * Where does Computer Mathematics tend towards "enlightenment"? * Where does Computer Mathematics tend towards "incantation"? * How does increasing use of software tools affect mathematics education? * How do software tools affect young people's interest in MINT studies? Submissions: Authors should prepare their papers in one column style of CEUR-WS http://ceur-ws.org/Vol-XXX/samplestyles/. There are two categories of submissions: * Regular papers describing developed work with theoretical results (upto 15 pages) * Short papers on experience reports, tools or work in progress with preliminary results or just preparations for discussion (upto 6 pages). Submission in PDF at https://easychair.org/conferences/?conf=cmeei18. Programme Committee: Karl-Josef Fuchs, University of Salzburg Zoltan Kovacs, Private University of Education Diocese Linz Walther Neuper, Graz University of Technology Barbara Sabitzer, Johannes Kepler University Linz Wolfgang Schreiner, Johannes Kepler University Linz From pedro at mat.uc.pt Wed May 30 14:29:31 2018 From: pedro at mat.uc.pt (Pedro Quaresma) Date: Fri Jun 1 09:59:24 2018 Subject: [Webmath] ThEdu'18 (at FLoC) - Call for participation Message-ID: <16d7514b-4b08-7690-62cc-dbb0c97f962d@mat.uc.pt> THE SEVENTH FEDERATED LOGIC CONFERENCE (FLoC 2018) Call for Participation 6-19 July 2018 Oxford, England, UKhttp://www.floc2018.org/registration-is-officially-open/ You are warmly invited to participate in FLoC 2018, the 2018 Federated Logic Conference, to be held in Oxford, UK, on 6-19th July 2018. Registration is now open and we remind speakers and participants to book accommodation as soon as possible, as Oxford is popular in the summer. Website: http://www.floc2018.org/ Registration: http://www.floc2018.org/register/ Accommodation: http://www.floc2018.org/accommodation/ ABOUT FLOC During the past forty years there has been extensive, continuous, and growing interaction between logic and computer science. In many respects, logic provides computer science with both a unifying foundational framework and a tool for modeling. In fact, logic has been called ?the calculus of computer science?, playing a crucial role in diverse areas such as artificial intelligence, computational complexity, distributed computing, database systems, hardware design, programming languages, and software engineering. The Federated Logic Conference brings together several international conferences related to mathematical logic and computer science, and was first organised in 1996, as part of the DIMACS Special Year on Logic and Algorithms. Since then FLoC was held in Trento in 1999, Copenhagen in 2002, Seattle in 2006, Edinburgh in 2010 and Vienna in 2014. The seventh Federated Logic Conference (FLoC'18) will be held in Oxford, UK, in July 2018, at the Mathematical Institute and the Blavatnik School of Government at the University of Oxford. CONFERENCES FLoC 2018 brings together nine major international conferences related to mathematical logic and computer science: International Conference on Computer Aided Verification (CAV) http://cavconference.org/2018/ IEEE Computer Security Foundations Symposium (CSF) http://www.cs.ox.ac.uk/conferences/csf2018/ International Symposium on Formal Methods (FM) http://www.fm2018.org International Conference on Formal Structures for Computation and Deduction (FSCD) http://www.cs.le.ac.uk/events/fscd2018/ International Conference on Logic Programming (ICLP) https://www.cs.nmsu.edu/ALP/iclp2018/ International Joint Conference on Automated Reasoning (IJCAR) http://ijcar2018.org International Conference on Interactive Theorem Proving (ITP) https://itp2018.inria.fr Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) http://lics.siglog.org/lics18/ International Conference on Theory and Applications of Satisfiability Testing (SAT) http://sat2018.azurewebsites.net/ Please refer to the individual websites for conference-specific information. KEYNOTES Shafi Goldwasser, MIT, Pseudo Deterministic Algorithms and Proofs Georges Gonthier, INRIA and Paris Saclay, The Logic of Real Proofs PLENARY LECTURES Peter O?Hearn, Facebook and UCL, Continuous Reasoning for Big Code Byron Cook, Amazon and UCL, Formal Reasoning about the Security of Amazon Web Services CONFERENCE INVITED SPEAKERS CAV:?? Somesh Jha, Eran Yahav CSF:??? Srini Devdas, Catuscia Palamidessi FM:???? Kim Gulstrand Larsen, Annabelle McIver, Leonardo de Moura FSCD:? Stephanie Delaune, Grigore Rosu, Peter Selinger, Valeria Vignudelli ICLP:?? Elvira Albert, Thomas Eiter IJCAR: Erika Abraham, Martin Giese ITP:???? Dan Grayson, John Harrison, Jean-Christophe Filiatre LICS:?? Thierry Coquand, Javier Esparza, Ursula Martin, Val Tannen SAT:??? Christopf Scholl, Rahul Santhanam, Marijn Heule SPECIAL SESSIONS Corrado Boehm Memorial Martin Hofmann Memorial Industry Session FLoC Olympics Please refer to conference websites for more information. PUBLIC EVENTS PUBLIC LECTURE by Stuart Russell, University of California Berkeley, to be held as part of the Strachey Lecture series in the Sheldonian Theatre, the official ceremonial hall of the University of Oxford: http://www.floc2018.org/public-lecture/ PUBLIC DEBATE on ?Ethics and Morality of Robotics?, an event in the LogicLounge series (http://www.vcla.at/logiclounge/), first organised at the Vienna Summer of Logic in 2014, to be held at the Oxford Union, a debating society with a long history of iconic debates and world-renowned speakers founded in 1823. Panelists: Luciano Floridi, Ben Kuipers, Francesca Rossi, Matthias Scheutz, Sandra Wachter and Jeannette Wing Moderator: Judy Wajcman http://www.floc2018.org/public-debate/ SUMMIT ON MACHINE LEARNING MEETS FORMAL METHODS The Summit on Machine Learning Meets Formal Methods, supported by the Alan Turing Institute, will bring together academic and industrial leaders from NVIDIA, Google, DeepMind and Microsoft who will discuss the benefits and risks of machine learning solutions. Speakers: Anupam Datta, Mark Girolami, Sumit Gulwani, Pushmeet Kohli, Alison Lowndes, Rupak Majumdar, Aditya Nori, Francesca Rossi, Stuart Russell, Christian Szegedy, Moshe Vardi and Martin Vechev http://www.floc2018.org/summit-on-machine-learning/ FOPSS LOGIC AND LEARNING SCHOOL, 1-6 July 2018 The Logic & Learning School is an opportunity to learn from, and interact with, the world's experts leading recent progress in understanding the relationships between logic and learning. These experts come from both academia and some of the leading industrial research labs (Amazon Research and DeepMind). Speakers: Borja Balle, Richard Evans, Nina Gierasimczuk, Varun Kanade, Guy Katz, Jan K?et?nsk?, Stephen H. Muggleton, Doina Precup, Dan Roy and James Worrell http://www.floc2018.org/fopss/ MENTORING AND STUDENT EVENTS FLoC will host several events aimed specifically at supporting emerging researchers, some of which will provide financial support, including: LICS 2nd Logic Mentoring Workshop, Sunday 8 July CAV Verification and Deduction Mentoring Workshop, Friday 13 July FM Doctoral Symposium, Saturday 14 July ICLP DC 2018: 14th Doctoral Consortium (DC) on Logic Programming (ICLP ? DC 2018), 18 July WORKSHOPS In addition to conferences, FLoC 2018 will also feature 70+ workshops (7-8 July, 13 July, and 18-19 July). The list of workshops can be found at http://www.floc2018.org/workshops. *** Pre-FLoC workshops (Saturday 7 - Sunday 8 July) 32nd International Workshop on Unification (UNIF 2018), 7 July http://unif2018.cic.unb.br/ 7th International Workshop on Confluence (IWC 2018), 7 July http://cl-informatik.uibk.ac.at/events/iwc-2018/ 7th International Workshop on Classical Logic and Computation (CL&C 2018), 7 July http://www.di.unito.it/~stefano/CL&C/CL&C18.htm Higher-Dimensional Rewriting and Algebra (HDRA 2018), 7 July http://hdra.gforge.inria.fr/ International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice (LFMTP 2018), 7 July http://lfmtp.org/workshops/2018/ 7th International Workshop on the Cross-Fertilization Between CSP and SAT (CSPSAT 2018), 7 July http://sysrun.haifa.il.ibm.com/hrl/cspsat2018/ Pragmatics of SAT (PoS 2018), 7 July http://www.pragmaticsofsat.org/2018/ Twenty Years of Deep Inference (TYDI 2018), 7 July https://www.lix.polytechnique.fr/~lutz/orgs/TYDI2018.html 10th International Workshop on Computing with Terms and Graphs (TERMGRAPH 2018), 7 July https://nms.kcl.ac.uk/maribel.fernandez/TERMGRAPH.html Syntax and Semantics of Low-Level Languages (LOLA 2018), 7 July https://cs.appstate.edu/~johannp/lola18/ 9th Workshop on Higher Order Rewriting (HOR 2018), 7 July https://lipn.univ-paris13.fr/HOR18/ 2018 Joint Workshop on Linearity & TLLA (5th International Workshop on Linearity and 2nd Workshop on Trends in Linear Logic and Applications), 7-8 July http://lipn.univ-paris13.fr/TLLALinearity18/ Workshop on Homotopy Type Theory and Univalent Foundations (HoTT/UF 2018), 7-8 July https://hott-uf.github.io/2018/ Game Semantics 25, 7-8 July http://www.gamesemantics.org/game-semantics-25 Workshop on Proof Complexity (PC 2018), 7-8 July http://easychair.org/smart-program/PC2018/ Programming And Reasoning on Infinite Structures (PARIS 2018), 7-8 July https://www.irif.fr/~saurin/RAPIDO/PARIS-2018/ 6th Workshop on Strategic Reasoning (SR 2018), 7-8 July http://projects.lsv.fr/sr18/ Workshop in honour of Dana Scott's 85th birthday and 50 years of domain theory, 7-8 July https://andrejbauer.github.io/domains-floc-2018/ 5th Workshop on Natural Language and Computer Science (NLCS 2018), 7-8 July http://www.indiana.edu/~iulg/nlcs.html 7th Workshop on Mathematically Structured Functional Programming (MSFP 2018), 8 July https://msfp2018.bentnib.org/ 5th International Workshop on Rewriting Techniques for Program Transformations and Evaluation (WPTE 2018), 8 July http://researchers.lille.inria.fr/niehren/WPTE-2018/main.html The Coq Workshop 2018, 8 July https://coqworkshop2018.inria.fr/ International Workshop on Quantified Boolean Formulas and Beyond (QBF 2018), 8 July http://fmv.jku.at/qbf18/ 5th International Workshop on Graphical Models for Security (GraMSec 2018), 8 July http://gramsec.uni.lu/ Women in Logic 2018, 8 July https://sites.google.com/site/womeninlogic2018/welcome 9th Workshop on Intersection Types and Related Systems (ITRS 2018), 8 July https://www.irif.fr/~michele/itrs2018 Coalgebra Now, 8 July http://homepage.tudelft.nl/c9d1n/floc2018coalgebra/index.html 12th International Workshop on Developments in Computational Models (DCM 2018), 8 July https://sites.google.com/g.uporto.pt/dcm18 IFIP Working Group 1.6: Rewriting, 8 July http://cbr.uibk.ac.at/ifip-wg1.6/ Workshop on Foundations of Computer Security (FCS 2018), 8 July http://www.andrew.cmu.edu/user/liminjia/events/fcs2018/ Logic Mentor Workshop 1, 8 July http://lics.siglog.org/lics18/lmw.php *** Mid-FLoC workshops (Wednesday 11 - Saturday 14 July) Satisfiability Checking and Symbolic Computation: Bridging Two Communities to Solve Real Problems (SC^2 2018), 11 July http://www.sc-square.org/CSA/workshop3.html IFAC Conference on Analysis and Design of Hybrid Systems (ADHS 2018), 11-13 July http://www.cs.ox.ac.uk/conferences/ADHS18/ 16th International Workshop on Satisfiability Modulo Theories (SMT 2018), 12-13 July http://smt-workshop.cs.uiowa.edu/2018/ CAV Tutorials, 13 July http://cavconference.org/2018/invited-speakers-tutorials/ 7th Workshop on Logic and Systems Biology (LSB), 13 July http://perso.ens-lyon.fr/russell.harmer/lsb7.html Isabelle Workshop, 13 July http://sketis.net/isabelle/isabelle-workshop-2018 25th RCRA International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion, 13 July https://sites.google.com/a/aixia.it/rcra/rcra-2018 5th Workshop on Formal Reasoning in Distributed Algorithms (FRIDA 2018), 13 July http://forsyte.at/events/frida2018/ 5th Vampire Workshop (Vampire 2018), 13 July http://easychair.org/smart-program/Vampire18/ 19th Workshop on Logic and Computational Complexity (LCC), 13 July http://www.cs.swansea.ac.uk/lcc/index.html 5th Workshop on Horn Clauses for Verification and Synthesis (HCVS 2018), 13 July https://www.sci.unich.it/hcvs18/ Workshop on Learning and Automata (LearnAut 2018), 13 July https://learnaut2018.wordpress.com/ 1st International Workshop on Multi-objective Reasoning in Verification and Synthesis (MoRe 2018), 13 July http://math.umons.ac.be/more2018/ Workshop on Modular Knowledge (Tetrapod), 13 July http://new.kwarc.info/events/Tetrapod-2018/ First Workshop on Automated Deduction for Separation Logics (ADSL 2018), 13 July http://adsl.univ-grenoble-alpes.fr/ DMW18: Deduction Mentoring Workshop, 13 July http://easychair.org/smart-program/DMW18/ Runtime Verification for Rigorous Systems Engineering (RV4RISE), 13 July http://rv4rise.conf.tuwien.ac.at/ 13th International Workshop on User Interfaces for Theorem Provers (UITP 2018), 13 July http://www.informatik.uni-bremen.de/uitp/uitp2018/ Verification and Deduction Mentoring Workshop 2, 13 July http://cavconference.org/2018/verification-deduction-mentoring-workshop/ Summit on Machine Learning Meets Formal Methods, sponsored by the Alan Turing Institute, 13 July http://www.floc2018.org/summit-on-machine-learning/ 4th Workshop on Formal Integrated Development Environment (F-IDE 2018), 14 July https://sites.google.com/view/fideworkshop2018 16th International Workshop on Quantitative Aspects of Programming Languages and Systems (QAPL 2018), 14 July http://www1.isti.cnr.it/~Massink/EVENTS/QAPL2018/ 16th Overture Workshop: New Capabilities and Applications for Model-based Systems Engineering, 14 July http://overturetool.org/workshops/16th-Overture-Workshop.html FM Doctoral Symposium, 14 July http://www.fm2018.org/doctoral-symposium/ *** Post-FLoC workshops (Wednesday 18 - Thursday 19 July) 18th Refinement Workshop, 18 July http://www.refinenet.org.uk/ 1st International Workshop on Parallel Logical Reasoning (PLR), 18 July https://antonwijs.wixsite.com/plr2018 7th Workshop on Synthesis (SYNT 2018), 18 July http://synt2018.seas.ucla.edu Theorem Prover Components for Educational Software (ThEdu 2018), 18 July http://www.uc.pt/en/congressos/thedu/thedu18 TLA+ Community Event 2018, 18 July http://tla2018.loria.fr/ Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP 2018), 18 July https://sites.google.com/site/aspocp2018/ International Conference on Logical Programming - Doctoral Consortium (ICLP - DC 2018), 18 July http://easychair.org/smart-program/ICLP-DC2018/ 16th International Colloquium on Implementation of Constraint and Logic Programming Systems (CICLOPS 2018), 18 July https://people.cs.kuleuven.be/~tom.schrijvers/CICLOPS2018/ 3rd International Workshop on Automated Reasoning in Quantified Non-Classical Logics (ARQNL 2018), 18 July http://iltp.de/ARQNL-2018/ Workshop on Logic and Practice of Programming (LPoP 2018), 18 July http://lpop.cs.stonybrook.edu/ 13th International Workshop on Constraint Based Methods in Bioinformatics (WCB 2018), 18 July http://clp.dimi.uniud.it/wcb/wcb18/ International Workshop on the Verification and Validation of Autonomous Systems (VaVAS), 18-19 July http://cgi.csc.liv.ac.uk/~michael/VaVAS-July2018/ 16th International Workshop on Termination (WST 2018), 18-19 July http://wst2018.webs.upv.es/ MLP18: Machine Learning for Programming, 18-19 July https://prodo.ai/mlp18 The LaSh 2018 Workshop on Logic and Search, 18-19 July http://www.logicandsearch.org/LaSh2018/ 10th Working Conference on Verified Software: Theories, Tools and Experiments (VSTTE 2018), 18-19 July http://vstte18.it.uu.se/ 11th International Workshop on Numerical Software Verification (NSV-XI), 18-19 July https://nsv-2018.github.io/nsv2018/ 18th International Workshop on Automated Verification of Critical Systems (AVOCS 2018), 18-19 July http://avocs18.irisa.fr/ Logics for Reasoning about Preferences, Uncertainty, and Vagueness (PRUV 2018), 19 July http://pruv18.inf.unibz.it/ Third Workshop on Fun With Formal Methods (FWFM 2018), 19 July http://persons.iis.nsk.su/en/FWFM2018 International Workshop on External and Internal Calculi for Non-Classical Logics, 19 July http://weic2018.loria.fr/ Robots, Morality, and Trust through the Verification Lens, 19 July http://qav.cs.ox.ac.uk/robots_morality_trust/ 6th Workshop on the Practical Aspects of Automated Reasoning (PAAR 2018), 19 July http://easychair.org/smart-program/PAAR-2018/ Verification of Engineered Molecular Devices and Programs (VEMDP 2018), 19 July http://dna.caltech.edu/vemdp2018/ SOCIAL EVENTS There is one Reception and one Banquet during each FLoC block, and one Workshop Dinner during each of the workshop blocks.? For details, see http://floc2018.org/social-events/.? Guests are welcome: you can reserve your place(s) via the registration system. REGISTRATION To register for FLoC, go to http://www.floc2018.org/register/ Registration for the main conference block gives you access to any other conference in the same period. Conference registration includes reception, lunches and coffee breaks. Stand up banquet can be added to the conference registration. Registration for a workshop day means you can attend any other workshop on the same day. Workshop registration includes lunches and coffee breaks. A dinner at an Oxford college can be added to the workshop registration. You can bring a guest to the banquet or college dinner for an extra charge. Public events are free of charge. EARLY BIRD REGISTRATION CLOSES on 6th June 2018 LATE REGISTRATION until 25th June 2018 ON SITE REGISTRATION will be possible during the conference. ACCOMMODATION http://www.floc2018.org/accommodation/ We have made block bookings at several locations in Oxford, and have other recommendations as well. Book early to avoid disappointment, as July is a busy period in Oxford! VOLUNTEERING AND TRAVEL SUPPORT A generous scheme to provide travel support for early career researchers and opportunities to volunteer (subject to restrictions) is available: http://www.floc2018.org/volunteer/ LOCAL INFORMATION Our website includes details for travel (including accessibility), venues and things to do in Oxford for our attendees and their families: see http://www.floc2018.org/local-information/ for more information. FLoC 2018 promises to be an exciting meeting, and we hope to see you in Oxford! FLOC 2018 CHAIRS Marta Kwiatkowska Daniel Kroening Moshe Vardi COMMITTEES FLoC'18 Steering Committee General Chair: Moshe Y. Vardi Conference Co-chairs: Daniel Kroening, Marta Kwiatkowska CAV Representative: Orna Grumberg CSF Representative: Stephen Chong FM Representative: Ana Cavalcanti FSCD Representative: Luke Ong ICLP Representative: Torsten Schaub IJCAR Representative: Franz Baader ITP Representative: Larry Paulson LICS Representative: Martin Grohe SAT Representative: Armin Biere SIGLOG Representative: Prakash Panangaden FLoC'18 Programme Committee General Chair: Moshe Y. Vardi Co-chair: Daniel Kroening Co-chair: Marta Kwiatkowska CAV: Hana Chockler CSF: Stephen Chong FM: Bill Roscoe FSCD: H?l?ne Kirchner ICLP: Paul Tarau IJCAR: Roberto Sebastiani ITP: Assia Mahboubi LICS: Anuj Dawar and Erich Graedel FLoC'18 Workshops Committee General Chair: Moshe Y. Vardi Co-chair: Daniel Kroening Co-chair: Marta Kwiatkowska Workshops Chair: Gethin Norman Workshops Deputy Chair: Christoph Haase CAV: Hana Chockler CSF: Cas Cremers FM: Helen Treharne FSCD: Paula Severi ICLP: Stefan Woltran IJCAR: Alberto Griggio ITP: Assia Mahboubi LICS: Patricia Bouyer SAT: Martina Seidl FLoC'18 Organising Committee Co-chair: Daniel Kroening Co-chair: Marta Kwiatkowska Website: Michael Tautschnig PR: Andrzej Murawski Fundraising: Hana Chockler Workshops Chair: Gethin Norman Workshops Deputy Chair: Christoph Haase Proceedings: Radu Calinescu Program: Dave Parker Mentoring and Diversity: Alexandra Silva Volunteer Coordinators: Julian Gutierrez, Stefan Kiefer Oxford Union Debate: May Chan CAV: Georg Weissenbacher CSF: Cas Cremers FM: Erik de Vink FSCD: Paula Severi ICLP: Marco Gavanelli IJCAR: Ian Horrocks ITP: Jeremy Avigad LICS: Sam Staton SAT: Christoph Wintersteiger FLoC'18 Local Organising Committee Co-Chair: Daniel Kroening Co-Chair: Marta Kwiatkowska Website: Michael Tautschnig PR: Andrzej Murawski Fundraising: Hana Chockler Workshops Chair: Gethin Norman Workshops Deputy Chair: Christophe Haase Proceedings: Radu Calinescu Program: Dave Parker Mentoring and Diversity: Alexandra Silva Volunteer Coordinator: Julian Gutierrez, Stefan Kiefer Oxford Union Debate: May Chan Admin team -- coordination: Patrizia Ferrari Admin team -- volunteer coordination: Katherine Fletcher Admin team -- publications: Jordan Summers Young Admin team -- venues: Renate Henison Admin team -- speakers: Sarah Baldwin PR Strategy -- Helen Wilcox ---//--- CADGME 2018, Conference on Computer Algebra and Dynamic Geometry Systems in Mathematics Education, 2018 Coimbra, Portugal ThEdu'18, 7th International Workshop on Theorem proving components for Educational software, July 2018, Oxford, UK (at FLOC 2018) ADG 2018, The 12th International Conference on Automated Deduction in Geometry, Nanning, China, September 11-14, 2018 ---//--- -- 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 Tue Sep 11 09:08:42 2018 From: pedro at mat.uc.pt (Pedro Quaresma) Date: Wed Sep 12 12:28:35 2018 Subject: [Webmath] cfp - Postproceedings for ThEdu'18 by EPTCS Message-ID: ?????????????????????????? Open Call for Papers ************************************************************************** ?????????????????? Postproceedings for ThEdu'18 by EPTCS ??????????? Theorem proving components for Educational software ??????????????? http://www.uc.pt/en/congressos/thedu/thedu18 ************************************************************************** ????????????????????????? Workshop ThEdu at FLoC ???????????????????? Federated Logic Conference 2018 ???????????????????????? http://www.floc2018.org/ ************************************************************************** THedu'18 Postproceedings: ? ThEdu's programme comprised seven contributions, presented also in the webpages. 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'18 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 ?* 2nd call for papers:??????? 10 Sep 2018 ?* Submission (full papers):?? 18 Nov 2018 ?* Notification of acceptance: 17 Dec 2018 ?* Revised papers due:???????? 21 Jan 2019 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=thedu18. ? In case the 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 ? Roman Ha?ek, University of South Bohemia, Czech Republic ? Filip Maric, University of Belgrade, Serbia ? Walther Neuper, Graz University of Technology, Austria (co-chair) ? Pavel Pech, University of South Bohemia, Czech Republic ? Pedro Quaresma, University of Coimbra, Portugal (co-chair) ? Vanda Santos, CISUC, Portugal ? Wolfgang Schreiner, Johannes Kepler University, Austria -- At\'e breve;Deica Logo;\`A bient\^ot;See you later;Vidimo se; Professor Auxiliar Pedro Quaresma Departamento de Matem\'atica, Faculdade de Ci\^encias e Tecnologia Universidade de 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