From serge.autexier at dfki.de Tue Jan 24 05:27:57 2017 From: serge.autexier at dfki.de (Serge Autexier) Date: Tue Jan 24 09:23:50 2017 Subject: [Webmath] First Call for Papers - 10th Conference on Intelligent Computer Mathematics - CICM 2017 - Abstract Submission Deadline 15. March 2017 Message-ID: <20170124102757.2EDDDE920DC@mbp-autexier.informatik.uni-bremen.de> Call for Papers 10th Conference on Intelligent Computer Mathematics - CICM 2017 - July 17-21, 2016 University of Edinburgh, Scotland http://www.cicm-conference.org/2017 ---------------------------------------------------------------------- Digital and computational solutions are becoming the prevalent means for the generation, communication, processing, storage and curation of mathematical information. Separate communities have developed to investigate and build computer based systems for computer algebra, automated deduction, and mathematical publishing as well as novel user interfaces. While all of these systems excel in their own right, their integration can lead to synergies offering significant added value. The Conference on Intelligent Computer Mathematics (CICM) offers a venue for discussing and developing solutions to the great challenges posed by the integration of these diverse areas. CICM has been held annually as a joint meeting since 2008, co-locating related conferences and workshops to advance work in these subjects. Previous meetings have been held in Birmingham (UK 2008), Grand Bend (Canada 2009), Paris (France 2010), Bertinoro (Italy 2011), Bremen (Germany 2012), Bath (UK 2013), Coimbra (Portugal 2014), Washington DC (USA 2015) and Bialystok (Poland 2016). This is a call for papers for CICM 2017, which will be held in Edinburgh, Scotland, July 17-21, 2016. CICM 2017 also invites work-in- progress papers. The principal tracks of the conference will be: * Track: Calculemus (chair: Matthew England) All topics in the intersection of computer algebra systems and automated reasoning systems including: - Automated theorem proving in computer algebra systems. - Computer algebra and symbolic computation in theorem proving systems. - Theory, design and implementation of interdisciplinary systems for computer mathematics. - Case studies and applications that involve a mix of computation and reasoning. - Case studies in formalization of mathematical theories that include non-trivial computations. - Representation of mathematics in computer algebra systems. - Input languages, programming languages, types and constraint languages, and modeling languages for mathematical assistant systems. * Track: Digital Mathematical Libraries (DML) (chair: Olaf Teschke) All topics related to the formation of a Global Digital Mathematics Library (GDML) network, ranging from experiences from existing DMLs, policies and standards facilitating interoperability, to development and integration of new techniques for content creation, preservation, enhancement and retrieval of the corpus, including: - DML creation and maintenance (content aggregation, validation, curation, enhancement). - DML architecture and representations (organization, workflows, policies, standards). - DML access and applications (retrieval, interfaces, interoperability). - DML collections and systems (experiences from various existing DMLs). * Track: Mathematical Knowledge Management (MKM) (chair: Florian Rabe) - Knowledge representation using, e.g., formal logics, computational systems, narrative document formats, or databases - Solutions to create, store, disseminate, discover, or manipulate mathematical knowledge - Corpora of knowledge inlcuding documents, theories, theorems, proofs, models, algorithms, exercises, or examples - Methods, systems, frameworks, case studies, challenges, benchmarks, or applications for mathematical knowledge - Comparisons, evaluations, or integrations of MKM solutions * Track: Systems & Projects (chair: Osman Hasan) - Systems: Stand-alone; plugins, libraries, or extensions of existing systems; or integrations of existing systems - Data: Formalizations; harvests or new processing of existing data; or case studies, test cases, or benchmark suites for systems - Projects: finished, ongoing or new - Survey papers * Track: Doctoral Programme (chair: TBD) The overall programme is organized by the General Program Chair Herman Geuvers. The local arrangements will be coordinated by Jacques Fleuriot. The publicity chair is Serge Autexier. We plan to have proceedings of the conference as in previous years with Springer Verlag as a volume in Lecture Notes in Artificial Intelligence (LNAI). *Important Dates* Conference submissions - Abstract submission deadline: 15. March 2017 - Submission deadline: 22. March 2017 - Reviews sent to authors: 26. April 2017 - Rebuttals due: 30. April 2017 - Notification of acceptance: 12. May 2017 - Camera ready copies due: 26. May 2017 - Conference: 17.-21. July 2017 Workshop Proposals - Submission deadline: 10. February 2017 - Notification of acceptance: 15. February 2017 More details on the conference are available from http://www.cicm-conference.org/2017 From pedro at mat.uc.pt Fri Feb 17 11:57:11 2017 From: pedro at mat.uc.pt (Pedro Quaresma) Date: Mon Feb 20 16:37:35 2017 Subject: [Webmath] CFP ThEdu'17 at CADE26 Message-ID: Call for Extended Abstracts & Demonstrations ?ThEdu'17 Theorem proving components for Educational software http://www.uc.pt/en/congressos/thedu/thedu17 at? CADE 26 International Conference on Automated Deduction 6-11 August 2017 Gothenburg, Sweden http://www.cade-26.info/ ThEdu'17 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 Extended Abstracts: 18 June 2017 Author Notification: 2 July 2017 Final Version: 16 July 2017 Workshop Day: 6 August 2017 Submission Interested researchers are invited to submit extended abstracts and system descriptions. Both kinds of submissions should be approximately 5 pages in length and present original unpublished work not submitted elsewhere. Submission is in PDF format via easychair, https://easychair.org/conferences/?conf=thedu17 formatted according to http://www.easychair.org/publications/easychair.zip The extended abstracts and system descriptions will be made available online. At least one author is expected to presents his/her submission at ThEdu'17. Joint publication in companion with other CADE26 events is under consideration (as a volume in the EPiC Series in Computing). Program Committee Francisco Botana, University of Vigo at Pontevedra, Spain Achim Brucker, University of Sheffield, United Kingdom Walther Neuper, Graz University of Technology, Austria (co-chair) Filip Maric, University of Belgrade, Serbia 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 ---//--- CADGME 2018, Conference on Computer Algebra and Dynamic Geometry Systems in Mathematics Education, 2018 Coimbra, Portugal ThEdu'17, 6th International Workshop on Theorem proving components for Educational software, 6-11 August 2017, Gothenburg, Sweden (at CADE 26) ---//--- -- 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/20170217/cd5fb53d/attachment.htm From grlmc at grlmc.com Sun Feb 19 10:35:12 2017 From: grlmc at grlmc.com (GRLMC) Date: Mon Feb 20 16:37:35 2017 Subject: [Webmath] DeepLearn 2017: early registration February 24 Message-ID: <545102060a010b010652550504075a565257565350015052070a5a005254550051530501045f070052045151010a58@grlmc_ip-zone_com-6> DeepLearn 2017: early registration February 24*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line* ? ************************************************************ ? INTERNATIONAL SUMMER SCHOOL ON DEEP LEARNING ? DeepLearn 2017 ? Bilbao, Spain ? July 17-21, 2017 ? Organized by: University of Deusto Rovira i Virgili University ? http://grammars.grlmc.com/DeepLearn2017/ ? ************************************************************ ? --- Early registration deadline: February 24, 2017 --- ? ******************************************************** ? SCOPE: ? DeepLearn 2017 will be a research training event with a global scope aiming at updating participants about the most recent advances in the critical and fast developing area of deep learning. This is a branch of artificial intelligence covering a spectrum of current exciting machine learning research and industrial innovation that provides more efficient algorithms to deal with large-scale data in neuroscience, computer vision, speech recognition, language processing, drug discovery, biomedical informatics, recommender systems, learning theory, robotics, games, etc. Renowned academics and industry pioneers will lecture and share their views with the audience. ? Most deep learning subareas will be displayed, and main challenges identified through 4 keynote lectures, 31 six-hour courses, and 1 round table, which will tackle the most active and promising topics. The organizers are convinced that outstanding speakers will attract the brightest and most motivated students. Interaction will be a main component of the event. An open session will give participants the opportunity to present their own work in progress in 5 minutes. ? ADDRESSED TO: ? In principle, graduate students, doctoral students and postdocs from around the world will be typical profiles of participants. However, there are no formal pre-requisites for attendance in terms of academic degrees. Since there will be a variety of levels, specific knowledge background may be assumed for some of the courses. DeepLearn 2017 is also appropriate for more senior people who want to keep themselves updated on recent developments and future trends. All will surely find it fruitful to listen and discuss with major researchers, industry leaders and innovators. ? REGIME: ? In addition to keynotes, 3 courses will run in parallel during the whole event. Participants will be able to freely choose the courses they wish to attend as well as to move from one to another. ? VENUE: ? DeepLearn 2017 will take place in Bilbao, the largest city in the Basque Country, famous for its gastronomy and the seat of the Guggenheim Museum. The venue will be: ? DeustoTech, School of Engineering University of Deusto Avda. Universidades, 24 48014 Bilbao, Spain ? KEYNOTE SPEAKERS: (to be completed) ? Richard Socher (Salesforce), Tackling the Limits of Deep Learning ? PROFESSORS AND COURSES: (to be completed) ? Narendra Ahuja (University of Illinois, Urbana-Champaign), [introductory/intermediate] Basics of Deep Learning with Applications to Image Processing, Pattern Recognition and Computer Vision ? Pierre Baldi (University of California, Irvine), [intermediate/advanced] Deep Learning: Theory and Applications to the Natural Sciences ? Sven Behnke (University of Bonn), [intermediate] Visual Perception using Deep Convolutional Neural Networks? ? Mohammed Bennamoun (University of Western Australia), [introductory/intermediate] Deep Learning for Computer Vision ? Herv? Bourlard (Idiap Research Institute), [intermediate/advanced] Deep Sequence Modeling: Historical Perspective and Current Trends ? Thomas Breuel (NVIDIA Corporation), [intermediate] Segmentation, Processing, and Tracking, with Applications to Video, Gaming, VR, and Self-driving Cars ? George Cybenko (Dartmouth College), [intermediate] Deep Learning of Behaviors ? Rina Dechter (University of California, Irvine), [introductory] Algorithms for Reasoning with Probabilistic Graphical Models ? Li Deng (Microsoft Research), tba ? Jianfeng Gao (Microsoft Research), [introductory/intermediate] An Introduction to Deep Learning for Natural Language Processing ? Michael Gschwind (IBM T.J. Watson Research Center), [introductory/intermediate] Deploying Deep Learning Applications at the Enterprise Scale ? Yufei Huang (University of Texas, San Antonio), [intermediate/advanced] Deep Learning for Bioinformatics ? Soo-Young Lee (Korea Advanced Institute of Science and Technology), [intermediate/advanced] Multi-modal Deep Learning for the Recognition of Human Emotions in the Real ? Li Erran Li (Columbia University), [intermediate/advanced] Deep Learning Security: Adversarial Examples and Adversarial Training ? Michael C. Mozer (University of Colorado, Boulder), [introductory/intermediate] Incorporating Domain Bias into Neural Networks ? Roderick Murray-Smith (University of Glasgow), [intermediate] Applications of Deep Learning Models in Human-Computer Interaction Research ? Hermann Ney (RWTH Aachen University), [intermediate/advanced] Speech Recognition and Machine Translation: From Statistical Decision Theory to Machine Learning and Deep Neural Networks ? Jose C. Principe (University of Florida), [intermediate/advanced] Cognitive Architectures for Object Recognition in Video ? Marc?Aurelio Ranzato (Facebook AI Research), [introductory/intermediate] Learning Representations for Vision, Speech and Text Processing Applications ? Maximilian Riesenhuber (Georgetown University), [introductory/intermediate] Deep Learning in the Brain ? Ruslan Salakhutdinov (Carnegie Mellon University), [intermediate/advanced] Foundations of Deep Learning and its Recent Advances ? Alessandro Sperduti (University of Padua), [intermediate/advanced] Deep Learning for Sequences ? Jimeng Sun (Georgia Institute of Technology), [introductory] Interpretable Deep Learning Models for Healthcare Applications ? Julian Togelius (New York University), [intermediate] (Deep) Learning for (Video) Games ? Raquel Urtasun (University of Toronto), tba ? Joos Vandewalle (KU Leuven), [introductory/intermediate] Data Processing Methods, and Applications of Least Squares Support Vector Machines ? Ying Nian Wu (University of California, Los Angeles), [introductory/intermediate] Deep Generative Models and Unsupervised Learning ? Eric P. Xing (Carnegie Mellon University), tba ? Georgios N. Yannakakis (University of Malta), [introductory/intermediate] Deep Learning for Games - But Not for Playing them ? Scott Wen-tau Yih (Microsoft Research), [introductory/intermediate] Continuous Representations for Natural Language Understanding ? Richard Zemel (University of Toronto), [introductory/intermediate] Learning to Understand Images and Text ? OPEN SESSION: ? An open session will collect 5-minute voluntary presentations of work in progress by participants. They should submit a half-page abstract containing title, authors, and summary of the research to david.silva409 (at) yahoo.com by July 9, 2017. ? ORGANIZING COMMITTEE: ? Jos? Gaviria Carlos Mart?n (co-chair) Manuel Jes?s Parra Iker Pastor Borja Sanz (co-chair) David Silva ? REGISTRATION: ? It has to be done at ? http://grammars.grlmc.com/DeepLearn2017/registration.php ? The selection of up to 8 courses requested in the registration template is only tentative and non-binding. For the sake of organization, it will be helpful to have an approximation of the respective demand for each course. ? Since the capacity of the venue is limited, registration requests will be processed on a first come first served basis. The registration period will be closed and the on-line registration facility disabled when the capacity of the venue will be complete. It is much recommended to register prior to the event. ? FEES: ? Fees comprise access to all courses and lunches. There are several early registration deadlines. Fees depend on the registration deadline. ? ACCOMMODATION: ? A suggestion for accommodation is available on the website. ? CERTIFICATE: ? Participants will be delivered a certificate of attendance including the number of hours of lectures. ? QUESTIONS AND FURTHER INFORMATION: ? david.silva409 (at) yahoo.com ? ACKNOWLEDGMENTS: ? Universidad de Deusto Universitat Rovira i Virgili -------------- next part -------------- An HTML attachment was scrubbed... URL: https://mail.cms.math.ca/pipermail/webmath/attachments/20170219/6397f3d8/attachment.htm From pedro at mat.uc.pt Mon May 29 06:22:44 2017 From: pedro at mat.uc.pt (Pedro Quaresma) Date: Mon May 29 11:50:36 2017 Subject: [Webmath] 2nd Cfp ThEdu'17 at CADE26 - Theorem Proving Components for Educational Software Message-ID: Call for Extended Abstracts & Demonstrations (2nd) - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - ThEdu'17 Theorem proving components for Educational software 6 August 2017 http://www.uc.pt/en/congressos/thedu/thedu17 - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - at CADE26 International Conference on Automated Deduction 6-11 August 2017 Gothenburg, Sweden http://www.cade-26.info/ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - THedu'17 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 Francisco Botana, University of Vigo, Spain, "Theorem Proving Components in GeoGebra" Important Dates * Extended Abstracts: 18 June 2017 * ?Author Notification: 2 July 2017 * ?Final Version: 16 July 2017 ? * Workshop Day: 6 August 2017 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=thedu17 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'17 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 published as a CISUC Technical Report series (ISSN 0874-338X). 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'17, 6th International Workshop on Theorem proving components for Educational software, 6-11 August 2017, Gothenburg, Sweden (at CADE 26) ---//--- -- 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/20170529/eb0c407c/attachment.htm From pedro at mat.uc.pt Mon Sep 11 10:55:50 2017 From: pedro at mat.uc.pt (Pedro Quaresma) Date: Tue Sep 12 09:30:08 2017 Subject: [Webmath] ThEdu'17 Post-proceedings Message-ID: <2f3d72ad-ca5f-ce55-e362-1ab7f68749db@mat.uc.pt> (Apologies for duplicates) Call for Papers - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - Post-Proceedings --- ThEdu'17 - Electronic Proceedings in Theoretical Computer Science - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - ThEdu'17 --- Theorem proving components for Educational software 6 August 2017, Gothenburg, Sweden, at CADE26 http://www.uc.pt/en/congressos/thedu/thedu17 - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - Post-Proceedings THedu'17 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 brought 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. This call is open for everyone, also those who did not participate in the workshop. Important Dates (EPTCS Post-Proceedings) * Call for papers: 08 Sep 2017 * Submission (full papers): 17 Nov 2017 * Notification of acceptance: 15 Dec 2017 * Revised papers due: 19 Jan 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 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=thedu17 . Program Committee Francisco Botana, University of Vigo at Pontevedra, Spain Achim Brucker, University of Sheffield, United Kingdom 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 ---//--- 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) ---//--- -- 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/20170911/e451fb4c/attachment.htm From bobm at dessci.com Tue Sep 19 09:48:07 2017 From: bobm at dessci.com (Bob Mathews) Date: Wed Sep 20 09:17:30 2017 Subject: [Webmath] Press release: MathType and WIRIS Join Forces Message-ID: <96976DDE4A17D0498C2C83B3BD677E22C0915BAA@FERMAT.corp.dessci> Hello, We are happy to announce our acquisition by Maths for More, the makers of WIRIS Editor and related products. Our combined company will soon begin offering a single equation editor product for all platforms on the desktop, online, tablets and mobile devices. This will also allow us to provide product updates at a fast pace. The press release is included below, and available here on our website: http://www.dessci.com/en/company/press/releases/170919.htm --------------------------------------------- FOR IMMEDIATE RELEASE MathType and WIRIS Join Forces LONG BEACH, Calif. and BARCELONA, Spain ? September 19, 2017 ? Maths for More, makers of WIRIS?, today announced that they acquired Design Science, makers of MathType?. MathType is the leading mathematical equation editor for Microsoft Office on Windows and Mac, and WIRIS Editor is the leading equation editor for web-based platforms including LMS, CMS and assessment platforms. The acquisition allows the combined company to begin offering a single equation editor product for all platforms on the desktop, online, tablets and mobile devices. "We will soon announce a new 'MathType Everywhere' that provides our users with universal equation editing on all platforms, and works with Microsoft Office Online, Windows and Mac, and Google Docs," said Ramon Eixarch, Maths for More's CEO. "Our products and technologies complement each other. By combining our teams we will now be able to offer education, scientific and publishing communities newer products at a fast pace," said Bruce Virga, Design Science's CEO. WIRIS recently introduced handwriting input for math and chemistry notation. WIRIS Quizzes enhances assessment products and Learning Management Systems (LMS), such as Moodle, Blackboard, Canvas, Schoology, etc., offering automated grading, randomizing, handwriting and more. The acquisition was funded by "Inveready Technology Investment Group", a venture capital fund specialized in technology, and structured by the advisory firm of "Crea Inversion". Details of the acquisition were not made public. About Maths for More Maths for More is a math and science software company based in Barcelona, Spain. Their products for math and science editing and assessment are used by leading EdTech companies. Founded by a team of mathematicians from Barcelona Tech, the company's strong growth is led by a young and energetic team inspired by inventing new products and moving technologies forward. www.wiris.com About Design Science Design Science is a worldwide leader in software for scientific and technical communication. The company's MathType, MathFlow and MathPlayer products are used by scientists, engineers, educators, students, and publishing professionals, for authoring and publishing mathematical notation in print and online content. DSI also licenses components and technology to OEM partners who want to math-enable their own products, and aggressively research new products and technologies, particularly those that extend their commanding lead in MathML technology. www.dessci.com ### Contact: Ramon Eixarch ramon@wiris.com +34 932 804 805 Maths for More Pl Gal?la Placidia 1 08006 Barcelona, Spain Bruce Virga brucev@dessci.com +1 562-432-2920 Design Science, Inc. 140 Pine Avenue Long Beach, CA 90802, USA -------------- next part -------------- An HTML attachment was scrubbed... URL: https://mail.cms.math.ca/pipermail/webmath/attachments/20170919/0f8f6e60/attachment.htm From pedro at mat.uc.pt Fri Nov 3 08:23:55 2017 From: pedro at mat.uc.pt (Pedro Quaresma) Date: Fri Nov 3 14:47:06 2017 Subject: [Webmath] CADGME 2018 first announcement Message-ID: 7th CADGME Conference on Digital Tools in Mathematics Education 26-29 June, 2018 Coimbra, Portugal https://www.uc.pt/en/congressos/cadgme2018??? ??? ????? Contacts Csaba S?rv?ri, University of P?cs - sarvari.cs@gmail.com Zsolt Lavicza, Johannes Kepler University - lavicza@gmail.com Pedro Quaresma, University of Coimbra - pedro@mat.uc.pt First Announcement Welcome After successful conferences held at P?cs, Hungary (2007), Hagenberg, Austria (2009), Hlubok? nad Vltavou, Czech Republic (2010), Novi Sad, Servia (2012), Halle, Germany (2014) and Targu Mures, Romania (2016) we are delighted to announce that the CADGME conference continues. The team from Department of Mathematics and Center for Informatics and Systems of the University of Coimbra has volunteered to host the conference in 2018 in beautiful city Coimbra. As for the last CADGME conferences we want to create a forum for all European colleagues, and for all interested academics from around the globe to exchange ideas and nurture collaboration. We hope that you will join us in Coimbra on 26 ? 29 June 2018. In Coimbra, we will have amazing keynote lectures, regular talks and posters, but additionally we will discover several new areas in the already proposed working groups: 1) Assessment in CAS-DGS environments; 2) Evaluation of step-wise problem solving with TPS; 3) TAME - Technology, Arts and Mathematics Education. Beyond these topics we are still waiting for submissions for other working groups and workshops. Futhermore, the will be an opportunity to participate in an Educational Research Design workshop mainly catered for masters and PhD students, but colleauges interested in learning about educational researh methodologies are welcome to attend. More details of the programme is below. Keynote speakers Jaime Carvalho e Silva (University of Coimbra, Portugal) The challenges schools face with the development of Computer Algebra Kristof Fenyvesi (Jyvaskyla, Finland) STEAM-ing Up Learning with GeoGebra: from Explorations in Arts and Design to Robot-making Activities Philippe R. Richard (University of Montr?al, Canada) The Utility of the Automatic Reasoning Tools for Performing Mathematical Work Ornella Robutti (University of Torino, Italy) Mathematics teachers working in collaboration with the use of technology KatarzynaWinkowska-Nowak (SWPS University, Poland) GeoGebra role in building mental models and improving computational thinking skills Call for papers The aim of the conference is to continue offering a forum for academics in Europe in closer connection with Western European colleagues to share their experiences and practices with technology-assisted mathematics teaching with colleagues from all around the world. Hence, we kindly invite colleagues - everyone from everywhere - to participate and contribute to the conference. The conference language is English. How to contribute Contributed talks The talks will be given in parallel sessions; the length is 20 minutes plus 10 minutes for discussion. Posters Research results can be presented on posters. There will be time allocated to present and discuss posters. ? Working groups Talks will be organised around topics (proposed list is below). We welcome proposals of working groups by 29 January, 2018 in which participants can contribute talks/papers. In working group sessions plenty of time will be allocated for in-depth discussion of talks/papers. Already accepted working groups: 1) Assessment in CAS-DGS environments; 2) Evaluation of step-wise problem solving with TPS; 3) TAME - Technology, Arts and Mathematics Education Workshops We encourage participants and software developers to organize workshops. Proposals (max 500 words) should be submitted by 29 January, 2018. Please let us know about the technical facilities needed for the workshop. The time limit is 90 minutes per workshop. Electronic submission of proposals and abstracts Submission of proposals for workshops/working groups and abstracts of contributed talks and posters will be made electronically through a dedicated EasyChair Web page. Publication, proceedings Abstracts The abstracts of contributed talks and posters will be available on the conference Web page. Authors should comply with Easy-Chair, ?Instructions For Authors? regarding the style/template to use.? Post Conference Publication We are in discussion with several journals that might publish a special issue with papers presented at CADGME-2018. Important dates and deadlines Working group proposals????????????????????? 29 January 2018 Workshop proposals?????????????????????????? 29 January 2018 Acceptance notifications (WG/WS)???????????? 10 February 2018 Abstract of contributed talks and posters??? 28 February 2018 Acceptance notifications???????????????????? 31 March 2018 Final Papers???????????????????????????????? 30 September 2018 Topics for contribution The conference will be arranged around four important themes ? Teaching, Learning, Curriculum and Assessment ? using any digital tools. In the past years, we paid particular attention to Computer Algebra Systems (CAS), Dynamic Geometry Software (DGS), Theorem Proving Systems (TPS) and combinations of these technologies, but we would like to open to new horizons in technology-related areas not only mathematics, but science, engineering, technology and arts education (so called STEM disciplines). This includes, but is not restricted to, contributions to the following fields. Teaching ??? ? The impact of technology uses on mathematics and STEAM teaching ??? ? The changing role of the teacher ??? ? Teacher learning ??? ? Distance learning and digital tools ??? ? Arts for the teaching of mathematics Learning ??? ? The impact of digital tools on students? learning ??? ? Students? attitudes toward digital tools ??? ? Understanding and knowledge with respect to digital tools ??? ? Algebraic skills and digital tools ??? ? Instrumentation ??? ? Creativity and digital tools Curriculum ??? ? Design of learning environments and curricula ??? ? Implementation of curricula and classroom practices ??? ? Innovative practices ??? ? Promises of digital tools for curriculum development and administration Assessment ??? ? Assessment with digital tools ??? ? Web-based assessment systems ??? ? Problem solving and stepwise use of digital tools ??? ? Intelligent Assessment https://www.uc.pt/en/congressos/cadgme2018??? ??? ????? ---//--- 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) ---//--- -- 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 contact.aristod at gmail.com Mon Dec 11 11:05:58 2017 From: contact.aristod at gmail.com (Aristod) Date: Mon Dec 11 13:15:03 2017 Subject: [Webmath] =?iso-8859-1?q?Operations_on_our_servers_/_Op=E9ration?= =?iso-8859-1?q?s_sur_nos_serveurs?= Message-ID: Probl?mes de visualisation ? Cliquez ici.? Aristod's server transfer This Wednesday, December 13th 2017, we will proceed to the transfer of the servers where our services and applications are hosted. All the services and applications will be disabled this day. On Thursday 14th the services will be back, but the transfer may cause some functioning problems with our website and online applications.(EpsilonWriter Web, Aplusix, TQuiz). In case of important problem, please contact us at contact.aristod@gmail.com. We apologize for any inconvenience it may cause. The Aristod Team Transfert du serveur d'Aristod Nous allons proc?der ? une op?ration de transfert des serveurs sur lesquels sont h?berg?s nos services et applications ce Mercredi 13 D?cembre 2017. Ce jour l? tous les services et applications seront arr?t?s. Les services seront r?activ?s le Jeudi 14, mais le transfert peut entra?ner des probl?mes de fonctionnement du site et des applications en lignes (EpsilonWriter Web, Aplusix, TQuiz). En cas de probl?me important, veuillez nous contacter ? l'adresse contact.aristod@gmail.com. Nous vous prions de nous excuser pour les d?sagr?ments occasion?s. L'?quipe Aristod Cliquez ici pour vous d?sinscrire.? -------------- next part -------------- An HTML attachment was scrubbed... URL: https://mail.cms.math.ca/pipermail/webmath/attachments/20171211/e491ce76/attachment.htm