From pedro at mat.uc.pt Fri Feb 7 07:49:40 2014 From: pedro at mat.uc.pt (Pedro Quaresma) Date: Fri Feb 7 09:52:06 2014 Subject: [Webmath] NLSR 2014 - call for papers Message-ID: <2802888.iIFimKKfMl@gentzen> [Please distribute - apologies for multiple copies.] First Call for Extended Abstracts & Demonstrations -------------------------------------------------- NLSR 2014 International Workshop ON NATURAL LANGUAGE SERVICES FOR REASONERS ======================================= July 18, 2014 - Vienna, Austria affiliated to RTA-TLCA Sponsored by FoLLI (http://institucional.us.es/folliweb/) More details at http://vsl2014.at/pages/NLSR-index.html Important Dates --------------- Deadline for contributions: March 16, 2014 Decision of acceptance: April 20, 2014 Final revision: May 25, 2014 Workshop: July 18, 2014 Aims ---- To bring together groups in natural language processing and automatic reasoning To increase awareness of natural language techniques in automatic reasoning Scope ----- * Multilingual on-line accessible mathematical content * Advanced tools for automated and interactive theorem proving and problem solving. * Rigorous reasoning methods and tools; * Formal methods and tools (making them more accessible to non-experts). * Generating explanations from business rules. Paper 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://www.easychair.org/conferences/?conf=nlsr2014 At least one author of each accepted extended abstract/demonstration proposal is expected to attend NLSR and present his/her work. ---//--- CICM 2014, 7-11 July 2014, University of Coimbra, Portugal. ADG 2014, 9-11 July 2014, University of Coimbra, Portugal. ---//--- -- 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 correioE: pedro@mat.uc.pt p\'agina: http://www.mat.uc.pt/~pedro/ telef: +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/20140207/01802fc5/attachment.htm From serge.autexier at dfki.de Mon Feb 17 09:03:49 2014 From: serge.autexier at dfki.de (Serge Autexier) Date: Wed Feb 19 12:07:39 2014 Subject: [Webmath] 2nd Call for Papers: Conf. Intelligent Computer Mathematics (CICM 2014) Message-ID: <20140217140349.AD1221EB485F@mbp-autexier.informatik.uni-bremen.de> ? CICM 2014 - Conferences on Intelligent Computer Mathematics July 7-11, 2014 at University of Coimbra, Portugal http://www.cicm-conference.org/2014 Second Call for Papers ------------------------------------------------------------------- * Co-located Workshops * - CCA'14: Workshop on Compact Computer Algebra (organiser: Elena Smirnova) - MathUI'14: Workshop on Mathematical User Interfaces (organisers: Andrea Kohlhase, Paul Libbrecht) - OpenMath Workshop (organisers: James Davenport, Michael Kohlhase) - Workshop on The Notion of Proof (organisers: Jesse Alama, Reinhard Kahle) - ThEdu'14: Workshop on Theorem Provers Components for Educational Software (organisers: Walther Neuper, Pedro Quaresma) ------------------------------------------------------------------- As computers and communications technology advance, greater opportunities arise for intelligent mathematical computation. While computer algebra, automated deduction, mathematical publishing and novel user interfaces individually have long and successful histories, we are now seeing increasing opportunities for synergy among these areas. The Conferences on Intelligent Computer Mathematics (CICM) offer a venue for discussing these areas and their synergy. CICM has been held annually as a joint meeting since 2008, colocating related conferences and workshops to advance work in these subjects. Previous meetings have been held in Birmingham (U.K. 2008), Grand Bend (Canada 2009), Paris (France 2010), Bertinoro (Italy 2011), Bremen (Germany 2012) and Bath (U.K. 2013). This is a call for papers for CICM 2014, which will be held at the University of Coimbra, 7-11 July 2014, following the 10th International Workshop on Automated Deduction in Geometry. The principal tracks of the conference will be: Calculemus (Symbolic Computation and Mechanised Reasoning) Chair: James Davenport DML (Digital Mathematical Libraries) Chair: Petr Sojka MKM (Mathematical Knowledge Management) Chair: Josef Urban Systems and Projects Chair: Alan Sexton The local arrangements will be coordinated by the Local Arrangements Chair, Pedro Quaresma (U. Coimbra, Portugal), and the overall programme will be organised by the General Program Chair, Stephen Watt (U. Western Ontario, Canada). The proceedings of the conference will be published by Springer Verlag as a volume in Lecture Notes in Artificial Intelligence (LNAI). As in previous years, it is anticipated that there will be a number co-located workshops, including one to mentor doctoral students giving presentations. ---------------------------------------------------------------- Important dates ---------------------------------------------------------------- Conference submissions: Abstract submission: 28 February 2014 Submission deadline: 7 March 2014 Reviews sent to authors: 4 April 2014 Rebuttals due: 8 April 2014 Notification of acceptance: 14 April 2014 Camera ready copies due: 25 April 2014 Work in progress and Doctoral Programme submissions: Submission deadline: 28 April 2014 (Doctoral: Abstract+CV) Notification of acceptance: 19 May 2014 Camera ready copies due: 26 May 2014 Conference: 7-11 July 2014 ---------------------------------------------------------------- Tracks ---------------------------------------------------------------- ================================================================ Track Calculemus: Symbolic Computation and Mechanised Reasoning ================================================================ Calculemus 2014 invites the submission of original research contributions to be considered for publication and presentation at the conference. Calculemus is a series of conferences dedicated to the integration of computer algebra systems (CAS) and systems for mechanised reasoning like interactive proof assistants (PA) or automated theorem provers (ATP). Currently, symbolic computation is divided into several (more or less) independent branches: traditional ones (e.g., computer algebra and mechanised reasoning) as well as newly emerging ones (on user interfaces, knowledge management, theory exploration, etc.) The main concern of the Calculemus community is to bring these developments together in order to facilitate the theory, design, and implementation of integrated mathematical assistant systems that will be used routinely by mathematicians, computer scientists and all others who need computer-supported mathematics in their every day business. All topics in the intersection of computer algebra systems and automated reasoning systems are of interest for Calculemus. These include but are not limited to: * Automated theorem proving in computer algebra systems. * Computer algebra in theorem proving systems. * Adding reasoning capabilities to computer algebra systems. * Adding computational capabilities to 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. * Representation of mathematics in computer algebra systems. * Theory exploration techniques. * Combining methods of symbolic computation and formal deduction. * Input languages, programming languages, types and constraint languages, and modeling languages for mathematical assistant systems. * Homotopy type theory. * Infrastructure for mathematical services. ================================================================ Track DML: Digital Mathematical Libraries ================================================================ Mathematicians dream of a digital archive containing all validated mathematical literature ever published, reviewed, properly linked, and verified. It is estimated that the entire corpus of mathematical knowledge published over the centuries does not exceed 100,000,000 pages, an amount easily manageable by current information technologies. The track objective is to provide a forum for the development of math-aware technologies, standards, algorithms and formats for the fulfillment of the dream of a global digital mathematical library (DML). Computer scientists (D) and librarians of the digital age (L) are especially welcome to join mathematicians (M) and discuss many aspects of DML preparation. Track topics are all topics of mathematical knowledge management and digital libraries applicable in the context of DML building, including the processing of mathematical knowledge expressed in scientific papers in natural languages: * Math-aware text mining (math mining) and MSC classification * Math-aware representations of mathematical knowledge * Math-aware computational linguistics and corpora * Math-aware tools for [meta]data and fulltext processing * Math-aware OCR and document analysis * Math-aware information retrieval * Math-aware indexing and search * Authoring languages and tools * MathML, OpenMath, TeX and other mathematical content markup languages * Web interfaces for DML content * Mathematics on the web, math crawling and indexing * Math-aware document processing workflows * Archives of written mathematics * DML management, business models * DML rights handling, funding, sustainability * DML content acquisition, validation and curation * Reports and experience from running existing DMLs ================================================================ Track MKM: Mathematical Knowledge Management ================================================================ Mathematical Knowledge Management is an interdisciplinary field of research in the intersection of mathematics, computer science, library science, and scientific publishing. The objective of MKM is to develop new and better ways of managing sophisticated mathematical knowledge, based on innovative technology of computer science, the Internet, and intelligent knowledge processing. MKM is expected to serve mathematicians, scientists, and engineers who produce and use mathematical knowledge; educators and students who teach and learn mathematics; publishers who offer mathematical textbooks and disseminate new mathematical results; and librarians and mathematicians who catalog and organize mathematical knowledge. The track is concerned with all aspects of mathematical knowledge management. A non-exclusive list of important topics includes: * Representations of mathematical knowledge * Authoring languages and tools * Repositories of formalized mathematics * Deduction systems * Mathematical digital libraries * Diagrammatic representations * Mathematical OCR * Mathematical search and retrieval * Math assistants, tutoring and assessment systems * MathML, OpenMath, and other mathematical content standards * Web presentation of mathematics * Data mining, discovery, theory exploration * Computer algebra systems * Collaboration tools for mathematics * Challenges and solutions for mathematical workflows ================================================================ Track Systems and Projects ================================================================ The Systems and Projects track of the Conferences on Intelligent Computer Mathematics is a forum for presenting available systems and new and ongoing projects in all areas and topics related to the CICM conferences: * Deduction and Computer Algebra (Calculemus) * Digital Mathematical Libraries (DML) * Mathematical Knowledge Management (MKM) The track aims to provide an overview of the latest developments and trends within the CICM community as well as to exchange ideas between developers and introduce systems to an audience of potential users. ---------------------------------------------------------------- Submission Instructions ---------------------------------------------------------------- Electronic submission is done through Easychair http://www.easychair.org/conferences/?conf=cicm2014 All papers should be prepared in LaTeX and formatted according to the requirements of Springer's LNCS series (the corresponding style files can be downloaded from http://www.springer.de/comp/lncs/authors.html). By submitting a paper the authors agree that if it is accepted at least one of the authors will attend the conference to present it. Submissions to the research tracks (Calculemus, DML, MKM) must not exceed 15 pages in the LNCS style and will be reviewed and evaluated with respect to relevance, clarity, quality, originality, and impact. Shorter papers, e.g., for system descriptions, are welcome. Authors will have an opportunity to respond to their papers' reviews before the programme committee makes a decision. System descriptions and projects descriptions should be 2-4 pages in the LNCS style and should present * newly developed systems, * systems not previously been presented to the CICM community, or * significant updates to existing systems. Systems must either be available for download or currently executable by the general public as a web application. Project presentations should describe * projects that are new or about to start, * ongoing projects that have not yet been presented to the CICM community or * significant new developments in ongoing previously presented projects. Presentations of new projects should mention relevant previous work and include a roadmap that outlines concrete steps. All project submissions must have a live project website and should contain links to demos, videos, downloadable systems or downloadable datasets. Accepted conference submissions from all tracks will be published as a volume in the series Lecture Notes in Artificial Intelligence (LNAI) by Springer. In addition to these formal proceedings, authors are permitted and encouraged to publish the final versions of their papers on arXiv.org. Work-in-progress submissions are intended to provide a forum for the presentation of original work that is not yet in a suitable form for submission as a full paper for a research track or system description. This includes work in progress and emerging trends. Their size is not limited, but we recommend 5-10 pages. The programme committee may offer authors of rejected formal submissions the opportunity to publish their contributions as work-in-progress papers instead. Depending on the number of work-in-progress papers accepted, they will be presented at the conference either as short talks or as posters. The work-in-progress proceedings will be published as a technical report, as well as online with CEUR-WS.org. ---------------------------------------------------------------- Doctoral Programme ---------------------------------------------------------------- Chair: David Wilson (University of Bath, UK) CICM is an excellent opportunity for graduate students to meet established researchers from the areas of computer algebra, automated deduction, and mathematical publishing. The Doctoral Programme provides a dedicated forum for PhD students to present and discuss their ideas, ongoing or planned research, and achieved results in an open atmosphere. It will consist of presentations by the PhD students to get constructive feedback, advice, and suggestions from the research advisory board, researchers, and other PhD students. Each PhD student will be assigned to an experienced researcher from the research advisory board who will act as a mentor and who will provide detailed feedback and advice on their intended and ongoing research. Students at any stage of their PhD can apply and should submit the following documents through EasyChair: * A two-page abstract of your thesis describing your research questions, research plans, completed and remaining research, evaluation plans and publication plans; * A two-page CV that includes background information (name, university, supervisor), education (degree sought, year/status of degree, previous degrees), employments, relevant research experience (publications, presentations, attended conferences or workshops, etc.) Submission Deadline: 28 April 2014. ---------------------------------------------------------------- Programme Committee ---------------------------------------------------------------- General chair: Stephen Watt (University of Western Ontario, Canada) Calculemus track James Davenport, University of Bath, UK (Chair) Matthew England, University Of Bath, UK, Dejan Jovanovi?, SRI, USA Laura Kov?cs, Chalmers University of Technology, Sweden Assia Mahboubi, INRIA, France Adam Naumowicz, Institute of Informatics, U. Bialystok, Poland Grant Passmore, U. Cambridge and U. Edinburgh, UK Florian Rabe, Jacobs University Bremen. Germany Claudio Sacerdoti Coen, University of Bologna, Italy Freek Wiedijk, Radboud University Nijmegen, Netherlands (Other invitations pending) DML track Petr Sojka, Masaryk University, Brno, CZ (Chair) Akiko Aizawa, NII, University of Tokyo, Japan ?ukasz Bolikowski, ICM, University of Warsaw, Poland Thierry Bouche, Universit? Joseph Fourier, Grenoble, france Yannis Haralambous, Inst Mines-T?l?com - T?l?com Bretagne, France Janka Chleb?kov?, School of Computing, University of Portsmouth, UK Michael Kohlhase, Jacobs University Bremen, Germany Ji?? R?kosn?k, Institute of Mathematics AS CR, CZ David Ruddy, Cornell University, USA Volker Sorge, University of Birmingham, UK Frank Tompa, University of Waterloo, Canada Richard Zanibbi, Rochester Institute of Technology, USA MKM track Josef Urban, Radboud University Nijmegen, The Netherlands (Chair) Rob Arthan, Queen Mary University of London, UK David Aspinall, Univerity of Edinburgh, UK Michael Beeson, San Jose State University, USA Claudio Sacerdoti Coen, University of Bologna, Italy Thomas Hales, University of Pittsburgh, USA Johan Jeuring, Open Universiteit Nederland and Universiteit Utrecht, NL Peter Jipsen, Chapman University, USA Cezary Kaliszyk, University of Innsbruck, Austria Michael Kohlhase, Jacobs University Bremen, Germany Christoph Lange, University of Birmingham, UK Paul Libbrecht, Weingarten University of Education, Germany Ursula Martin, Queen Mary University of London, UK Bruce Miller, NIST, USA Adam Naumowicz, University of Bialystok, Poland Florian Rabe, Jacobs University Bremen, Germany Alan Sexton, University of Birmingham, UK Enrico Tassi, INRIA, France Stephen Watt, University of Western Ontario, Canada Makarius Wenzel, Universit? Paris-Sud 11, France Freek Wiedijk, Radboud University Nijmegen, The Netherlands Systems & Projects track Alan Sexton, University of Birmingham, UK (Chair) Christoph Lange, University of Bonn, Germany Jesse Alama, Technical University of Vienna, Austria Rob Arthan, Queen Mary University of London, UK Deyan Ginev, Jacobs University Bremen, Germany J?nathan Heras, University of Dundee, Scotland Mateja Jamnik, University of Cambridge, UK Predrag Jani?i?, University of Belgrade, Serbia Christoph L?th, DFKI and University of Bremen, Germany Bruce Miller, NIST, Gaithersburg, Maryland, USA Hendrik Tews, TU Dresden, Germany From pedro at mat.uc.pt Tue Feb 25 14:43:19 2014 From: pedro at mat.uc.pt (Pedro Quaresma) Date: Wed Feb 26 10:02:19 2014 Subject: [Webmath] ThEdu'14 - Call for Extended Abstracts & Demonstrations Message-ID: <2404643.f7B5Qqz5KA@gentzen> ---------------------------------------------------------------------- Call for Extended Abstracts & Demonstrations ---------------------------------------------------------------------- ThEdu'14 TP components for educational software (http://www.uc.pt/en/congressos/thedu/thedu14) at CICM 2014 Conferences on Intelligent Computer Mathematics 7-11 July 2014 University Coimbra, Portugal http://cicm-conference.org/2014/cicm.php Co-located with ADG 2014 10th International Workshop on Automated Deduction in Geometry 9-11 July 2014 University of Coimbra, Portugal http://www.uc.pt/en/congressos/adg/adg2014/ ---------------------------------------------------------------------- THedu'14 Scope -------------- THedu is a forum to gather the research communities for computer Theorem Proving (TP), Automated Theorem Proving (ATP), Interactive Theorem Proving (ITP) as well as for Computer Algebra Systems (CAS) and Dynamic Geometry Systems (DGS). The goal of this union is to combine and focus systems of these areas and to enhance existing educational software as well as studying the design of the next generation of mechanised mathematics assistants. Important Dates --------------- * Extended Abstracts: 25 May 2014 * Author Notification: 08 Jun 2014 * Final Version: 22 Jun 2014 * Workshop Day: (still to be defined, 7-11 July) (https://www.easychair.org/conferences/?conf=thedu14) ThEdu's aims ------------- address elements for next-generation assistants, which include: * Declarative Languages for Problem Solution: education in applied sciences and in engineering is mainly concerned with problems, which are understood as operations on elementary objects to be transformed to an object representing a problem solution. Preconditions and post-conditions of these operations can be used to describe the possible steps in the problem space; thus, ATP-systems can be used to check if an operation sequence given by the user does actually present a problem solution. Such "Problem Solution Languages" encompass declarative proof languages like Isabelle/Isar or Coq's Mathematical Proof Language, but also more specialised forms such as, for example, geometric problem solution languages that express a proof argument in Euclidean Geometry or languages for graph theory. * Consistent Mathematical Content Representation: libraries of existing ITP-Systems, in particular those following the LCF-prover paradigm, usually provide logically coherent and human readable knowledge. In the leading provers, mathematical knowledge is covered to an extent beyond most courses in applied sciences. However, the potential of this mechanised knowledge for education is clearly not yet recognised adequately: renewed pedagogy calls for enquiry-based learning from concrete to abstract --- and the knowledge's logical coherence supports such learning: for instance, the formula 2.Pi depends on the definition of reals and of multiplication; close to these definitions are the laws like commutativity etc. Clearly, the complexity of the knowledge's traceable interrelations poses a challenge to usability design. * User-Guidance in Step-wise Problem Solving: Such guidance is indispensable for independent learning, but costly to implement so far, because so many special cases need to be coded by hand. However, TP technology makes automated generation of user-guidance reachable: declarative languages as mentioned above, novel programming languages combining computation and deduction, methods for automated construction with ruler and compass from specifications, etc --- all these methods 'know how to solve a problem'; so, using the methods' knowledge to generate user-guidance mechanically is an appealing challenge for ATP and ITP, and probably for compiler construction. * Pedagogical strategies: Using TP technologies in learning environments call for strategies for linking and adapting the availble tools for specific educational needs and new methods for the management of mathematical knowledge capable of filling the gap between repositories and end-user system and new visual and/or natural language interfaces to allow the use of rigorous reasoning methods and tools. In principle, mathematical software can be conceived as models of mathematics: The challenge addressed by this workshop is to provide appealing models for mathematics assistants which are interactive and which explain themselves such that interested students can independently learn by inquiry and experimentation. 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 THedu'14 easychair (https://www.easychair.org/conferences/?conf=thedu14). Extended abstracts and demonstration proposals should be no more than 4 pages in length and are to be submitted in PDF format. They must conform to the EPTCS style guidelines (http://style.eptcs.org/). At least one author of each accepted extended abstract/demonstration proposal is expected to attend THedu'14 and presents his/her extended abstract/demonstration. Program Committee ----------------- Francisco Botana, University of Vigo at Pontevedra, Spain Roman Hasek, University of South Bohemia, Czech Republic Filip Maric, University of Belgrade, Serbia Walther Neuper, Graz University of Technology, Austria (co-chair) Pedro Quaresma, University of Coimbra, Portugal (co-chair) Vanda Santos, CISUC, Portugal Wolfgang Schreiner, Johannes Kepler University, Austria -------------------------------------------------------------------- ---//--- CICM 2014, 7-11 July 2014, University of Coimbra, Portugal. ADG 2014, 9-11 July 2014, University of Coimbra, Portugal. ---//--- -- 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 correioE: pedro@mat.uc.pt p\'agina: http://www.mat.uc.pt/~pedro/ telef: +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/20140225/cf427070/attachment.htm From serge.autexier at dfki.de Fri Feb 28 03:48:21 2014 From: serge.autexier at dfki.de (Serge Autexier) Date: Fri Feb 28 09:14:13 2014 Subject: [Webmath] CICM 2014: Extended Deadline March 14th, 2014 Message-ID: <20140228084821.1175F1EF761D@mbp-autexier.informatik.uni-bremen.de> ? CICM 2014 - Conferences on Intelligent Computer Mathematics July 7-11, 2014 at University of Coimbra, Portugal http://www.cicm-conference.org/2014 Call for Papers ** Extended Deadline: March 14th, 2014 ** ------------------------------------------------------------------- * Co-located Workshops * - CCA'14: Workshop on Compact Computer Algebra (organiser: Elena Smirnova) - MathUI'14: Workshop on Mathematical User Interfaces (organisers: Andrea Kohlhase, Paul Libbrecht) - OpenMath Workshop (organisers: James Davenport, Michael Kohlhase) - Workshop on The Notion of Proof (organisers: Jesse Alama, Reinhard Kahle) - ThEdu'14: Workshop on Theorem Provers Components for Educational Software (organisers: Walther Neuper, Pedro Quaresma) ------------------------------------------------------------------- As computers and communications technology advance, greater opportunities arise for intelligent mathematical computation. While computer algebra, automated deduction, mathematical publishing and novel user interfaces individually have long and successful histories, we are now seeing increasing opportunities for synergy among these areas. The Conferences on Intelligent Computer Mathematics (CICM) offer a venue for discussing these areas and their synergy. CICM has been held annually as a joint meeting since 2008, colocating related conferences and workshops to advance work in these subjects. Previous meetings have been held in Birmingham (U.K. 2008), Grand Bend (Canada 2009), Paris (France 2010), Bertinoro (Italy 2011), Bremen (Germany 2012) and Bath (U.K. 2013). This is a call for papers for CICM 2014, which will be held at the University of Coimbra, 7-11 July 2014, following the 10th International Workshop on Automated Deduction in Geometry. The principal tracks of the conference will be: Calculemus (Symbolic Computation and Mechanised Reasoning) Chair: James Davenport DML (Digital Mathematical Libraries) Chair: Petr Sojka MKM (Mathematical Knowledge Management) Chair: Josef Urban Systems and Projects Chair: Alan Sexton The local arrangements will be coordinated by the Local Arrangements Chair, Pedro Quaresma (U. Coimbra, Portugal), and the overall programme will be organised by the General Program Chair, Stephen Watt (U. Western Ontario, Canada). The proceedings of the conference will be published by Springer Verlag as a volume in Lecture Notes in Artificial Intelligence (LNAI). As in previous years, it is anticipated that there will be a number co-located workshops, including one to mentor doctoral students giving presentations. ---------------------------------------------------------------- Important dates ---------------------------------------------------------------- Conference submissions: Abstract submission (extended): ** 14 March 2014 ** Submission deadline (extended): ** 14 March 2014 ** Reviews sent to authors: 4 April 2014 Rebuttals due: 8 April 2014 Notification of acceptance: 14 April 2014 Camera ready copies due: 25 April 2014 Work in progress and Doctoral Programme submissions: Submission deadline: 28 April 2014 (Doctoral: Abstract+CV) Notification of acceptance: 19 May 2014 Camera ready copies due: 26 May 2014 Conference: 7-11 July 2014 ---------------------------------------------------------------- Tracks ---------------------------------------------------------------- ================================================================ Track Calculemus: Symbolic Computation and Mechanised Reasoning ================================================================ Calculemus 2014 invites the submission of original research contributions to be considered for publication and presentation at the conference. Calculemus is a series of conferences dedicated to the integration of computer algebra systems (CAS) and systems for mechanised reasoning like interactive proof assistants (PA) or automated theorem provers (ATP). Currently, symbolic computation is divided into several (more or less) independent branches: traditional ones (e.g., computer algebra and mechanised reasoning) as well as newly emerging ones (on user interfaces, knowledge management, theory exploration, etc.) The main concern of the Calculemus community is to bring these developments together in order to facilitate the theory, design, and implementation of integrated mathematical assistant systems that will be used routinely by mathematicians, computer scientists and all others who need computer-supported mathematics in their every day business. All topics in the intersection of computer algebra systems and automated reasoning systems are of interest for Calculemus. These include but are not limited to: * Automated theorem proving in computer algebra systems. * Computer algebra in theorem proving systems. * Adding reasoning capabilities to computer algebra systems. * Adding computational capabilities to 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. * Representation of mathematics in computer algebra systems. * Theory exploration techniques. * Combining methods of symbolic computation and formal deduction. * Input languages, programming languages, types and constraint languages, and modeling languages for mathematical assistant systems. * Homotopy type theory. * Infrastructure for mathematical services. ================================================================ Track DML: Digital Mathematical Libraries ================================================================ Mathematicians dream of a digital archive containing all validated mathematical literature ever published, reviewed, properly linked, and verified. It is estimated that the entire corpus of mathematical knowledge published over the centuries does not exceed 100,000,000 pages, an amount easily manageable by current information technologies. The track objective is to provide a forum for the development of math-aware technologies, standards, algorithms and formats for the fulfillment of the dream of a global digital mathematical library (DML). Computer scientists (D) and librarians of the digital age (L) are especially welcome to join mathematicians (M) and discuss many aspects of DML preparation. Track topics are all topics of mathematical knowledge management and digital libraries applicable in the context of DML building, including the processing of mathematical knowledge expressed in scientific papers in natural languages: * Math-aware text mining (math mining) and MSC classification * Math-aware representations of mathematical knowledge * Math-aware computational linguistics and corpora * Math-aware tools for [meta]data and fulltext processing * Math-aware OCR and document analysis * Math-aware information retrieval * Math-aware indexing and search * Authoring languages and tools * MathML, OpenMath, TeX and other mathematical content markup languages * Web interfaces for DML content * Mathematics on the web, math crawling and indexing * Math-aware document processing workflows * Archives of written mathematics * DML management, business models * DML rights handling, funding, sustainability * DML content acquisition, validation and curation * Reports and experience from running existing DMLs ================================================================ Track MKM: Mathematical Knowledge Management ================================================================ Mathematical Knowledge Management is an interdisciplinary field of research in the intersection of mathematics, computer science, library science, and scientific publishing. The objective of MKM is to develop new and better ways of managing sophisticated mathematical knowledge, based on innovative technology of computer science, the Internet, and intelligent knowledge processing. MKM is expected to serve mathematicians, scientists, and engineers who produce and use mathematical knowledge; educators and students who teach and learn mathematics; publishers who offer mathematical textbooks and disseminate new mathematical results; and librarians and mathematicians who catalog and organize mathematical knowledge. The track is concerned with all aspects of mathematical knowledge management. A non-exclusive list of important topics includes: * Representations of mathematical knowledge * Authoring languages and tools * Repositories of formalized mathematics * Deduction systems * Mathematical digital libraries * Diagrammatic representations * Mathematical OCR * Mathematical search and retrieval * Math assistants, tutoring and assessment systems * MathML, OpenMath, and other mathematical content standards * Web presentation of mathematics * Data mining, discovery, theory exploration * Computer algebra systems * Collaboration tools for mathematics * Challenges and solutions for mathematical workflows ================================================================ Track Systems and Projects ================================================================ The Systems and Projects track of the Conferences on Intelligent Computer Mathematics is a forum for presenting available systems and new and ongoing projects in all areas and topics related to the CICM conferences: * Deduction and Computer Algebra (Calculemus) * Digital Mathematical Libraries (DML) * Mathematical Knowledge Management (MKM) The track aims to provide an overview of the latest developments and trends within the CICM community as well as to exchange ideas between developers and introduce systems to an audience of potential users. ---------------------------------------------------------------- Submission Instructions ---------------------------------------------------------------- Electronic submission is done through Easychair http://www.easychair.org/conferences/?conf=cicm2014 All papers should be prepared in LaTeX and formatted according to the requirements of Springer's LNCS series (the corresponding style files can be downloaded from http://www.springer.de/comp/lncs/authors.html). By submitting a paper the authors agree that if it is accepted at least one of the authors will attend the conference to present it. Submissions to the research tracks (Calculemus, DML, MKM) must not exceed 15 pages in the LNCS style and will be reviewed and evaluated with respect to relevance, clarity, quality, originality, and impact. Shorter papers, e.g., for system descriptions, are welcome. Authors will have an opportunity to respond to their papers' reviews before the programme committee makes a decision. System descriptions and projects descriptions should be 2-4 pages in the LNCS style and should present * newly developed systems, * systems not previously been presented to the CICM community, or * significant updates to existing systems. Systems must either be available for download or currently executable by the general public as a web application. Project presentations should describe * projects that are new or about to start, * ongoing projects that have not yet been presented to the CICM community or * significant new developments in ongoing previously presented projects. Presentations of new projects should mention relevant previous work and include a roadmap that outlines concrete steps. All project submissions must have a live project website and should contain links to demos, videos, downloadable systems or downloadable datasets. Accepted conference submissions from all tracks will be published as a volume in the series Lecture Notes in Artificial Intelligence (LNAI) by Springer. In addition to these formal proceedings, authors are permitted and encouraged to publish the final versions of their papers on arXiv.org. Work-in-progress submissions are intended to provide a forum for the presentation of original work that is not yet in a suitable form for submission as a full paper for a research track or system description. This includes work in progress and emerging trends. Their size is not limited, but we recommend 5-10 pages. The programme committee may offer authors of rejected formal submissions the opportunity to publish their contributions as work-in-progress papers instead. Depending on the number of work-in-progress papers accepted, they will be presented at the conference either as short talks or as posters. The work-in-progress proceedings will be published as a technical report, as well as online with CEUR-WS.org. ---------------------------------------------------------------- Doctoral Programme ---------------------------------------------------------------- Chair: David Wilson (University of Bath, UK) CICM is an excellent opportunity for graduate students to meet established researchers from the areas of computer algebra, automated deduction, and mathematical publishing. The Doctoral Programme provides a dedicated forum for PhD students to present and discuss their ideas, ongoing or planned research, and achieved results in an open atmosphere. It will consist of presentations by the PhD students to get constructive feedback, advice, and suggestions from the research advisory board, researchers, and other PhD students. Each PhD student will be assigned to an experienced researcher from the research advisory board who will act as a mentor and who will provide detailed feedback and advice on their intended and ongoing research. Students at any stage of their PhD can apply and should submit the following documents through EasyChair: * A two-page abstract of your thesis describing your research questions, research plans, completed and remaining research, evaluation plans and publication plans; * A two-page CV that includes background information (name, university, supervisor), education (degree sought, year/status of degree, previous degrees), employments, relevant research experience (publications, presentations, attended conferences or workshops, etc.) Submission Deadline: 28 April 2014. ---------------------------------------------------------------- Programme Committee ---------------------------------------------------------------- General chair: Stephen Watt (University of Western Ontario, Canada) Calculemus track James Davenport, University of Bath, UK (Chair) Matthew England, University Of Bath, UK, Dejan Jovanovi?, SRI, USA Laura Kov?cs, Chalmers University of Technology, Sweden Assia Mahboubi, INRIA, France Adam Naumowicz, Institute of Informatics, U. Bialystok, Poland Grant Passmore, U. Cambridge and U. Edinburgh, UK Florian Rabe, Jacobs University Bremen. Germany Claudio Sacerdoti Coen, University of Bologna, Italy Freek Wiedijk, Radboud University Nijmegen, Netherlands (Other invitations pending) DML track Petr Sojka, Masaryk University, Brno, CZ (Chair) Akiko Aizawa, NII, University of Tokyo, Japan ?ukasz Bolikowski, ICM, University of Warsaw, Poland Thierry Bouche, Universit? Joseph Fourier, Grenoble, france Yannis Haralambous, Inst Mines-T?l?com - T?l?com Bretagne, France Janka Chleb?kov?, School of Computing, University of Portsmouth, UK Michael Kohlhase, Jacobs University Bremen, Germany Ji?? R?kosn?k, Institute of Mathematics AS CR, CZ David Ruddy, Cornell University, USA Volker Sorge, University of Birmingham, UK Frank Tompa, University of Waterloo, Canada Richard Zanibbi, Rochester Institute of Technology, USA MKM track Josef Urban, Radboud University Nijmegen, The Netherlands (Chair) Rob Arthan, Queen Mary University of London, UK David Aspinall, Univerity of Edinburgh, UK Michael Beeson, San Jose State University, USA Claudio Sacerdoti Coen, University of Bologna, Italy Thomas Hales, University of Pittsburgh, USA Johan Jeuring, Open Universiteit Nederland and Universiteit Utrecht, NL Peter Jipsen, Chapman University, USA Cezary Kaliszyk, University of Innsbruck, Austria Michael Kohlhase, Jacobs University Bremen, Germany Christoph Lange, University of Birmingham, UK Paul Libbrecht, Weingarten University of Education, Germany Ursula Martin, Queen Mary University of London, UK Bruce Miller, NIST, USA Adam Naumowicz, University of Bialystok, Poland Florian Rabe, Jacobs University Bremen, Germany Alan Sexton, University of Birmingham, UK Enrico Tassi, INRIA, France Stephen Watt, University of Western Ontario, Canada Makarius Wenzel, Universit? Paris-Sud 11, France Freek Wiedijk, Radboud University Nijmegen, The Netherlands Systems & Projects track Alan Sexton, University of Birmingham, UK (Chair) Christoph Lange, University of Bonn, Germany Jesse Alama, Technical University of Vienna, Austria Rob Arthan, Queen Mary University of London, UK Deyan Ginev, Jacobs University Bremen, Germany J?nathan Heras, University of Dundee, Scotland Mateja Jamnik, University of Cambridge, UK Predrag Jani?i?, University of Belgrade, Serbia Christoph L?th, DFKI and University of Bremen, Germany Bruce Miller, NIST, Gaithersburg, Maryland, USA Hendrik Tews, TU Dresden, Germany From paul at hoplahup.net Mon Mar 24 10:39:26 2014 From: paul at hoplahup.net (Paul Libbrecht) Date: Mon Mar 24 12:05:16 2014 Subject: [Webmath] CfP MathUI 2014, Coimbra: Mathematical User Interfaces Workshop 2014 Message-ID: <4B7DFC15-8545-4B29-AFBC-297AF916443E@hoplahup.net> Call for Papers: MathUI'14 ---------------------------------------- 9th Mathematical User Interfaces Workshop 2014 ---------------------------------------- At the Conference on Intelligent Computer Mathematics Coimbra, Portugal, a day in 7-11 July, 2014 ------------------------------ please redistribute SCOPE MathUI is an international workshop to discuss how users interact with mathematics represented on a computer. - Did users of your software have the a-ha moment after exploring mathematical objects? - Did you meet a team of people that exchanged math electronically as easily as talking together on a blackboard? - Is it as easy to search for mathematics facts as to search for a history date? - Have mathematics learning resources a special flavor that make them less easy to re-use? We invite all questions, that care for the use of mathematics on computers and how the user experience can be improved, to be discussed in the workshop. Topics include: - user-requirements for math interfaces - presentation formats - mobile-devices powered mathematics - cultural differences in practices of mathematical languages - didactically sensible scenarios of use - spreadsheets as mathematical interfaces - manipulations of mathematical expressions This workshop follows a successful series of workshops held at the Conferences on Intelligent Computer Mathematics since 10 years; it features presentations of brand new ideas in papers selected by a review process, wide space for discussions, as well as a software demonstration session. SUBMISSIONS The organizers invite authors to submit contributions of 6 to 12 pages on the workshop-related topics in PDF format optionally illustrated by supplementary media such as video recordings or access to demos. Deadline for submissions: May 20th 2014. Method of submission: please login and submit via EasyChair. The submissions will be reviewed by the international programme committee whose comments and recommendations will be sent back by June 10 requesting a final version no later than June 20. Moreover, MathUI will be concluded by an expo-like demonstration session. Proposed demonstrations should be sent by email until June 20th, containing a URL to a software description, a title, a short abstract of the demonstrated features, and the indication of hardware expectations (own/lent laptop/tablet, internet access (speed?), power, ...). After a short elevator pitch, the demonstration session will run for 1-3h, each demonstrating to interested parties. See the web-page: http://cermat.org/events/MathUI/14/ PROGRAMME COMMITTEE The following persons have accepted to review. More invitations are pending: - Paul Cairns, University of York, Great Britain - Andrea Kohlhase (organizer), Jacobs University Bremen, Germany - Christoph Lange, University of Bonn / Fraunhofer IAIS. - Paul Libbrecht (organizer), University of Education of Weingarten, Germany - Andrea Hoffkamp, HU Berlin, Germany - Elena Smirnova, Texas Instruments Inc. Education Technology, USA - Helena Mihaljevic-Brandt, Zentralblatt MATH For other inquiries please contact Paul Libbrecht, paul@cermat.org. From serge.autexier at dfki.de Mon May 5 02:34:11 2014 From: serge.autexier at dfki.de (Serge Autexier) Date: Tue May 6 09:43:11 2014 Subject: [Webmath] CICM 2014: Invited Speakers & Call for Work-in-Progress Papers, 1 June 2014 Message-ID: <20140505063411.9B78D201FA1E@mbp-autexier.informatik.uni-bremen.de> CICM 2014 - Conferences on Intelligent Computer Mathematics 7-11 July 2014 at the University of Coimbra, Portugal http://www.cicm-conference.org/2014 * * * Announcement of Invited Speakers * * * * * * Call for Work-in-Progress Papers -- Deadline June 1 * * * ---------------------------------------------------------------------- As computers and communications technology advance, greater opportunities arise for intelligent mathematical computation. While computer algebra, automated deduction, mathematical publishing and novel user interfaces individually have long and successful histories, we are now seeing increasing opportunities for synergy among these areas. CICM 2014 offers a venue to discuss these areas and their synergy. The conference will take place at the University of Coimbra, Portugal, and consists of four tracks: * Calculemus, Chair: James Davenport * Digital Mathematical Libraries (DML), Chair: Petr Sojka * Mathematical Knowledge Management (MKM), Chair: Josef Urban * Systems and Projects, Chair: Alan Sexton As in previous years, there will be a Doctoral Programme for the mentoring of Doctoral students and several co-located workshops. * MathUI 2014: Mathematical User Interfaces * OpenMath Workshop 2014 * The Notion of Proof 2014 * ThEdu 2014: TP Components for Educational Software * Doctoral Programme All of these are now accepting contributions. Please see the web site for their calls for submissions. The overall programme is organised by the General Program Chair Stephen Watt. ---------------------------------------------------------------------- CICM Invited Talks ---------------------------------------------------------------------- * Yves Bertot, INRIA A naive view of homotopy type theory and its relation to the calculus of constructions * Jaime Carvalho e Silva, U Coimbra What international studies say about the importance and limitations of using computers to teach mathematics in secondary schools * Antonio Leal Duarte, U Coimbra [Joint Speaker with ADG 2014] Teaching Tiles * Herbert Van de Sompel, Los Alamos Natioanl Laboratory Towards robust hyperlinks for web-based scholarly communication * Eric Weisstein, Wolfram|Alpha Computable data, mathematics, and digital libraries in Mathematica and Wolfram|Alpha ---------------------------------------------------------------------- Work-in-Progress Call-for-Papers ---------------------------------------------------------------------- Work-in-progress submissions are intended to provide a forum for the presentation of original work that is not (yet) in a suitable form for submission as a full or system description paper. This includes work in progress and emerging trends. Papers may be on any CICM topic, including those from Calculemus, DML, MKM and Systems and Projects. Accepted work-in-progress papers will be presented at the conference as short teaser talks and as posters. The work-in-progress proceedings will be published digitally in the CEUR Workshop Proceedings series (CEUR-WS.org). WiP papers should be prepared in LaTeX and formatted according Springer's LNCS series (the corresponding style files can be downloaded from http://www.springer.de/comp/lncs/authors.html). Papers should be between 5 and 10 pages in length. By submitting a paper the authors agree that if it is accepted at least one of the authors will attend the conference to present it. ---------------------------------------------------------------------- Work-in-Progress Submission Particulars ---------------------------------------------------------------------- WiP paper submission deadline : 1 June 2014 WiP paper notification of acceptance : 15 June 2014 WiP Camera ready copies due : 20 June 2014 Conference : 7-11 July 2014 Electronic submission is done through Easychair at https://www.easychair.org/conferences/?conf=cicm2014wip Note that this is different from the main CICM submission page. ========== Calculemus ========== Calculemus 2014 invites the submission of original research contributions to be considered for publication and presentation at the conference. Calculemus is a series of conferences dedicated to the integration of computer algebra systems (CAS) and systems for mechanised reasoning like interactive proof assistants (PA) or automated theorem provers (ATP). Currently, symbolic computation is divided into several (more or less) independent branches: traditional ones (e.g., computer algebra and mechanised reasoning) as well as newly emerging ones (on user interfaces, knowledge management, theory exploration, etc.) The main concern of the Calculemus community is to bring these developments together in order to facilitate the theory, design, and implementation of integrated mathematical assistant systems that will be used routinely by mathematicians, computer scientists and all others who need computer-supported mathematics in their every day business. All topics in the intersection of computer algebra systems and automated reasoning systems are of interest for Calculemus. These include but are not limited to: * Automated theorem proving in computer algebra systems. * Computer algebra in theorem proving systems. * Adding reasoning capabilities to computer algebra systems. * Adding computational capabilities to 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. * Representation of mathematics in computer algebra systems. * Theory exploration techniques. * Combining methods of symbolic computation and formal deduction. * Input languages, programming languages, types and constraint languages, and modeling languages for mathematical assistant systems. * Homotopy type theory. * Infrastructure for mathematical services. === DML === Mathematicians dream of a digital archive containing all peer-reviewed mathematical literature ever published, properly linked, validated and verified. It is estimated that the entire corpus of mathematical knowledge published over the centuries does not exceed 100,000,000 pages, an amount easily manageable by current information technologies. Track objective is to provide a forum for development of math-aware technologies, standards, algorithms and formats towards fulfillment of the dream of global digital mathematical library (DML). Computer scientists (D) and librarians of digital age (L) are especially welcome to join mathematicians (M) and discuss many aspects of DML preparation. Track topics are all topics of mathematical knowledge management and digital libraries applicable in the context of DML building -- processing of math knowledge expressed in scientific papers in natural languages, namely: * Math-aware text mining (math mining) and MSC classification * Math-aware representations of mathematical knowledge * Math-aware computational linguistics and corpora * Math-aware tools for [meta]data and fulltext processing * Math-aware OCR and document analysis * Math-aware information retrieval * Math-aware indexing and search * Authoring languages and tools * MathML, OpenMath, TeX and other mathematical content standards * Web interfaces for DML content * Mathematics on the web, math crawling and indexing * Math-aware document processing workflows * Archives of written mathematics * DML management, business models * DML rights handling, funding, sustainability * DML content acquisition, validation and curation === MKM === Mathematical Knowledge Management is an interdisciplinary field of research in the intersection of mathematics, computer science, library science, and scientific publishing. The objective of MKM is to develop new and better ways of managing sophisticated mathematical knowledge, based on innovative technology of computer science, the Internet, and intelligent knowledge processing. MKM is expected to serve mathematicians, scientists, and engineers who produce and use mathematical knowledge; educators and students who teach and learn mathematics; publishers who offer mathematical textbooks and disseminate new mathematical results; and librarians and mathematicians who catalog and organize mathematical knowledge. The conference is concerned with all aspects of mathematical knowledge management. A non-exclusive list of important topics includes: * Representations of mathematical knowledge * Authoring languages and tools * Repositories of formalized mathematics * Deduction systems * Mathematical digital libraries * Diagrammatic representations * Mathematical OCR * Mathematical search and retrieval * Math assistants, tutoring and assessment systems * MathML, OpenMath, and other mathematical content standards * Web presentation of mathematics * Data mining, discovery, theory exploration * Computer algebra systems * Collaboration tools for mathematics * Challenges and solutions for mathematical workflows ==================== Systems and Projects ==================== The Systems and Projects track of the Conferences on Intelligent Computer Mathematics is a forum for presenting available systems and new and ongoing projects in all areas and topics related to the CICM conferences: * Deduction and Computer Algebra (Calculemus) * Digital Mathematical Libraries (DML) * Mathematical Knowledge Management (MKM) The track aims to provide an overview of the latest developments and trends within the CICM community as well as to exchange ideas between developers and introduce systems to an audience of potential users. From m.kohlhase at jacobs-university.de Sun May 11 10:36:26 2014 From: m.kohlhase at jacobs-university.de (Michael Kohlhase) Date: Mon May 12 09:28:37 2014 Subject: [Webmath] First Call for Papers: 26. OpenMath Workshop (at CICM 2014; July 7. July 2014) Message-ID: <20140511143626.1B5BA3494B6E@Michael-Kohlhases-MacBook-Pro.local> 26th OpenMath Workshop Coimbra, Portugal July 7. 2014 co-located with CICM 2014 Submission deadline 7 June http://www.cicm-conference.org/2014/openmath/ OBJECTIVES OpenMath (http://www.openmath.org) is a language for exchanging mathematical formulae across applications (such as computer algebra systems). From 2010 its importance has increased in that OpenMath Content Dictionaries were adopted as a foundation of the MathML 3 W3C recommendation (http://www.w3.org/TR/MathML), the standard for mathematical formulae on the Web. Topics we expect to see at the workshop include * Feature Requests (Standard Enhancement Proposals) and Discussions for going beyond OpenMath 2; * Further convergence of OpenMath and MathML 3; * Reasoning with OpenMath; * Software using or processing OpenMath; * OpenMath on the Semantic Web; * New OpenMath Content Dictionaries; Contributions can be either full research papers, Standard Enhancement Proposals, or a description of new Content Dictionaries, particularly ones that are suggested for formal adoption by the OpenMath Society. IMPORTANT DATES (all times are "anywhere on earth") * 7. June 2014: Submission * 20. June 2014: Notification of acceptance or rejection * 5. July 2014: Final revised papers due * 7. July 2014: Workshop (Coimbra time) SUBMISSIONS Submission is via EasyChair (http://www.easychair.org/conferences?conf=om20131). Final papers must conform to the EasyChair LaTeX style. Initial submissions in this format are welcome but not mandatory ? but they should be in PDF and within the given limit of pages/words. Submission categories: * Full paper: 5?10 EasyChair pages * Short paper: 1?4 EasyChair pages * CD description: 1-6 EasyChair pages; a .zip or .tgz file of the CDs must be attached, or a link to the CD provided. * Standard Enhancement Proposal: 1-10 EasyChair pages (as appropriate w.r.t. the background knowledge required); a .zip or .tgz file of any related implementation (e.g. a Relax NG schema) should be attached. If not in EasyChair format, 500 words count as one page. PROCEEDINGS Electronic proceedings will be published with CEUR-WS.org. ORGANISATION COMMITTEE * James Davenport (University of Bath, UK) * Michael Kohlhase (Jacobs University Bremen, Germany) PROGRAMME COMMITTEE * James Davenport (University of Bath, UK) * Michael Kohlhase (Jacobs University Bremen, Germany) * Christoph Lange (Rheinische Friedrich-Wilhelms-Universit?t Bonn, Germany) * Lars Hellstr?m (Ume? Universitet, Sweden) * Jan Willem Knopper (Technische Universiteit Eindhoven, Netherlands) * Paul Libbrecht (PH Weingarten) * Chris Rowley (LaTeX3 Project and Open Math Society) Comments/questions/enquiries: to be sent to the organizers From a.kohlhase at jacobs-university.de Tue May 13 05:33:37 2014 From: a.kohlhase at jacobs-university.de (Michael Kohlhase) Date: Tue May 13 09:17:49 2014 Subject: [Webmath] Final Call for Papers: MathUI'14 (New Deadline: 2014/05/22) Message-ID: <20140513093337.AAAB1349A8E7@michaelhasesmbp.jacobs-university.de> Dear all (sorry for multiple copies), please consider to contribute to *MathUI'14*: 9th Mathematical User Interfaces Workshop 2014 Coimbra (Portugal), 2014/07/10 NEW SUBMISSION DEADLINE: 2014/05/22 ---------------------------------------- (http://cermat.org/events/MathUI/14/) ---------------------------------------- at the Conference on Intelligent Computer Mathematics (CICM'14) -------------------------------------- Please have a look at the Call-for-Papers below for more details, redistribute if possible and join us in Coimbra. Looking forward to your submissions (9 days to go ...), Andrea Kohlhase and Paul Libbrecht -----CfP-Final-MathUI14.txt----------------------------------------------------------------------------------------------------- Call for Papers: MathUI'14 (http://cermat.org/events/MathUI/14/) ---------------------------------------- 9th Mathematical User Interfaces Workshop 2014 ---------------------------------------- at the Conference on Intelligent Computer Mathematics Coimbra, Portugal, 10th of July 2014 ------------------------------ please redistribute SCOPE MathUI is an international workshop to discuss how users interact with mathematics represented on a computer. - Did users of your software have the a-ha moment after exploring mathematical objects? - Did you meet a team of people that exchanged math electronically as easily as talking together on a blackboard? - Is it as easy to search for mathematics facts as to search for a history date? - Have mathematics learning resources a special flavor that make them less easy to re-use? We invite all questions, that care for the use of mathematics on computers and how the user experience can be improved, to be discussed in the workshop. Topics include: - user-requirements for math interfaces - presentation formats - mobile-devices powered mathematics - cultural differences in practices of mathematical languages - didactically sensible scenarios of use - spreadsheets as mathematical interfaces - manipulations of mathematical expressions This workshop follows a successful series of workshops held at the Conferences on Intelligent Computer Mathematics since 10 years; it features presentations of brand new ideas in papers selected by a review process, wide space for discussions, as well as a software demonstration session. SUBMISSIONS The organizers invite authors to submit contributions of 6 to 12 pages on the workshop-related topics in PDF format optionally illustrated by supplementary media such as video recordings or access to demos. Deadline for submissions: May 22th 2014. Method of submission: please login and submit via EasyChair. The submissions will be reviewed by the international programme committee whose comments and recommendations will be sent back by June 10th requesting a final version no later than June 20th. Moreover, MathUI will be concluded by an expo-like demonstration session. Proposed demonstrations should be sent by email until June 20th, containing a URL to a software description, a title, a short abstract of the demonstrated features, and the indication of hardware expectations (own/lent laptop/tablet, internet access (speed?), power, ...). After a short elevator pitch, the demonstration session will run for 1-3h, each demonstrating to interested parties. See the web-page: http://cermat.org/events/MathUI/14/ PROGRAMME COMMITTEE Canada - Marco Pollanen, Trent University Finland - Olga Caprotti, University of Helsinki France - Frederic Wang, Free Math Software Projects, Paris Germany - Christoph Lange, University of Bonn / Fraunhofer IAIS - Paul Libbrecht (organizer), University of Education of Weingarten - Andrea Kohlhase (organizer), Jacobs University, Bremen - Andrea Hoffkamp, HU Berlin - Helena Mihaljevic-Brandt, Zentralblatt MATH Great Britain - Paul Cairns, University of York - David Aspinall, University of Edinburgh USA - Patrick Ion, American Mathematical Reviews - Elena Smirnova, Texas Instruments Inc. Education Technology For other inquiries please contact Paul Libbrecht,paul@cermat.org or Andrea Kohlhasea.kohlhase@jacobs-university.de . From serge.autexier at dfki.de Tue Nov 11 11:12:05 2014 From: serge.autexier at dfki.de (Serge Autexier) Date: Wed Nov 12 09:43:28 2014 Subject: [Webmath] First CFP CICM 2015 Message-ID: <20141111161205.E022B23A4CBA@mbp-autexier.informatik.uni-bremen.de> Call for Papers Conference on Intelligent Computer Mathematics CICM 2015 13-17 July 2015 Washington DC, USA 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), and Coimbra (Portugal 2014). This is a (short version of the) call for papers for CICM 2015, which will be held in Washington, D.C., 13-17 July 2015. The full version of the CFP is available from the conference web page at http://cicm-conference.org/2015/cicm.php ********************************************************************** The principal tracks of the conference will be: ********************************************************************** * Calculemus (Symbolic Computation and Mechanised Reasoning) Chair: Jacques Carette * DML (Digital Mathematical Libraries) Chair: Volker Sorge * MKM (Mathematical Knowledge Management) Chair: Cezary Kaliszyk * Systems and Data Chair: Florian Rabe Publicity chair is Serge Autexier. The local arrangements will be coordinated by the Local Arrangements Chairs, Bruce R. Miller (National Institute of Standards and Technology, USA) and Abdou Youssef (The George Washington University, Washington, D.C.), and the overall programme will be organized by the General Programme Chair, Manfred Kerber (U. Birmingham, UK). As in previous years, it is anticipated that there will be a number co-located workshops, including one to mentor doctoral students giving presentations. We also solicit for project descriptions and work-in-progress papers. ********************************************************************** Important Dates ********************************************************************** Conference submissions: Abstract submission deadline: 16 February 2015 Submission deadline: 23 February 2015 Reviews sent to authors: 6 April 2015 Rebuttals due: 9 April 2015 Notification of acceptance: 13 April 2015 Camera ready copies due: 27 April 2015 Conference: 13-17 July 2015 Work-in-progress and Doctoral Programme submissions: Submission deadline: (Doctoral: Abstract+CV) 4 May 2015 Notification of acceptance: 25 May 2015 Camera ready copies due: 1 June 2015 More detailed information, e.g. on submission via EasyChair, can be found on http://cicm-conference.org/2015/cicm.php -- Serge Autexier, serge.autexier@dfki.de, http://www.dfki.de/~serge/ DFKI Bremen, Cyber-Physical Systems MZH, Room 3120 Phone: +49 421 218 59834 Bibliothekstr.1, D-28359 Bremen Fax: +49 421 218 98 59834 ---------------------------------------------------------------------- Deutsches Forschungszentrum fuer Kuenstliche Intelligenz GmbH principal office, *not* the address for mail etc.!!!: Trippstadter Str. 122, D-67663 Kaiserslautern management board: Prof. Wolfgang Wahlster (chair), Dr. Walter Olthoff supervisory board: Prof. Hans A. Aukes (chair) Amtsgericht Kaiserslautern, HRB 2313 ---------------------------------------------------------------------- From serge.autexier at dfki.de Tue Dec 2 13:15:04 2014 From: serge.autexier at dfki.de (Serge Autexier) Date: Wed Dec 3 10:01:02 2014 Subject: [Webmath] CICM 2015: Call for Workshops Message-ID: <20141202181504.1539A24302FA@gigondas.local> Call for Workshop Proposals CICM 2015 - Conference on Intelligent Computer Mathematics July 13-17, 2015 The George Washington University, Washington, D.C , USA http://www.cicm-conference.org/2015 ---------------------------------------------------------------------- As computers and communications technology advance, greater opportunities arise for intelligent mathematical computation. While computer algebra, automated deduction, mathematical publishing and novel user interfaces individually have long and successful histories, we are now seeing increasing opportunities for synergy among these areas. The Conference on Intelligent Computer Mathematics (CICM) offer a venue for discussing these areas and their synergy. CICM has been held annually as a joint meeting since 2008, colocating related conferences and workshops to advance work in these subjects. Previous meetings have been held in Birmingham (U.K. 2008), Grand Bend (Canada 2009), Paris (France 2010), Bertinoro (Italy 2011), Bremen (Germany 2012), Bath (U.K. 2013) and Coimbra (Portugal, 2014). This is a call for proposals for workshops to be held at CICM 2015, which will be held in Washington D.C. (USA), July 13-17 next year. The principal tracks of the 2015 meeting will be Calculemus (Symbolic Computation and Mechanised Reasoning) DML (Towards a Digital Mathematics Library) MKM (Mathematical Knowledge Management) Systems and Data Some of the workshops that have been held at past CICM meetings are: Automated Reasoning: Bridging the Gap between Theory and Practice Compact Computer Algebra Empirically Successful Automated Reasoning for Mathematics Intelligent Proof Search Mathematical user Interfaces OpenMath Pen-Based Mathematical Computation Programming languages for Mechanized Mathematics Systems SCIEnce The Notion of Proof Proposals for workshops to be held at CICM 2015 are solicited. Both well-established workshops and newer or brand new ones are encouraged. Please provide the following information: + Workshop title. + Names and affiliations of organizers. + Brief description of workshop goals and/or topics. + Proposed workshop duration (half a day up to two days is possible). + If the workshop has met previously, please include the conference affiliation for the previous meeting. If the workshop is new, please indicate so. CICM will take care of copying and distributing informal printed proceedings for workshops that would like this service, as well as permanently archived open access online proceedings with CEUR-WS.org. All proposals should be sent via email to cicm-organizers@cs.bham.ac.uk for consideration by the CICM 2015 organizers: Local Organization Chairs: Bruce Miller (NIST) Abdou Youssef (GWU, USA) General Program Chair: Manfred Kerber (U. Birmingham, UK) Calculemus Track Chair: Jacques Carette (McMaster U., Canada) DML Track Chair: Volker Sorge (U. Birmingham, UK) MKM Track Chair: Cezary Kaliszyk (U. Innsbruck, Austria) System & Data Chair: Florian Rabe (JUB, Germany) Workshop Chair: Serge Autexier (DFKI, Germany) Important dates: Deadline for proposal submissions: January 23, 2015 Acceptance/rejection notification: February 4, 2015 Workshop dates: July 13-17, 2015 ---------------------------------------------------------------------- From abanades at ajz.ucm.es Wed Dec 3 02:56:10 2014 From: abanades at ajz.ucm.es (=?UTF-8?B?TWlndWVsIMOBLiBBYsOhbmFkZXM=?=) Date: Wed Dec 3 14:03:37 2014 Subject: [Webmath] =?utf-8?b?Q2FsbCBmb3IgUGFwZXJzICwg77u/77u/UG9zdC1jb25m?= =?utf-8?q?erence_Proceedings=EF=BB=BF=2C_ADG_2014=EF=BB=BF?= Message-ID: [Apologies for multiple copies of this announcement] ---------------------------------------------------------------- Call for Papers ? ??Post-conference Proceedings? ??Automated Deduction in Geometry (ADG 2014)? ??http://www.uc.pt/en/congressos/adg/adg2014? -------------------------------------------------------------------- *OVERVIEW* ADG is a forum to exchange ideas and views, to present research results and progress, and to demonstrate software tools at the intersection between geometry and automated deduction. The post-conference proceedings of ADG 2014 will be published in the LNCS/LNAI series by Springer-Verlag. You are invited to submit original research papers (of 10-20 pages) for possible publication. Your contributions have to be within the scope of ADG, but their contents do not necessarily have to be related to the presentations made at ADG 2014. Moreover, contributions from authors who were not present at ADG 2014 are also welcome. All submissions will be formally reviewed according to the usual standard of international conferences. *SCOPE* Relevant topics include (but are not limited to): polynomial algebra, invariant and coordinate-free methods, probabilistic, synthetic, and logical approaches, techniques for automated geometric reasoning from discrete mathematics, combinatorics, and numerics; symbolic and numeric methods for geometric computation, geometric constraint solving, automated generation/reasoning and manipulation with diagrams; design and implementation of geometry software, special-purpose tools, automated theorem provers, experimental studies; applications of ADG to mechanics, geometric modelling, CAGD/CAD, computer vision, robotics, and education. *SUBMISSION GUIDELINES* We invite the submission of full papers up to 20 pages. The submissions should follow the standard LaTeX2e format for Springer LNCS Proceedings and Other Multiauthor Volumes available here; Electronic submission is required via EasyChair (Easychair track, ADG 2014 post-proceedings). Note that submissions go through a new Easychair track, ADG 2014 post-proceedings. Please, do not remove your old submission, if any. If you have any problems with the submission of your paper, or questions concerning ADG 2014 or EasyChair, please contact any of the editors. *IMPORTANT DATES* Submission: 2015/01/30 Reviews sent to authors: 2015/03/20 Revised papers due: 2015/03/27 Final Decision: 2015/04/03 Camera ready copies due: 2015/04/17 *EDITORS* * Francisco Botana, University of Vigo, Spain. * Pedro Quaresma, University of Coimbra, Portugal. *PROGRAM COMMITTEE* * Francisco Botana, University of Vigo, Spain (Chair) * Hirokazu Anai, ??Fujitsu Laboratories Ltd/Kyushu University, Japan * Xiaoyu Chen, Beihang University, China * Giorgio Dalzotto, ISI N. Machiavelli, Italy. * Jacques Fleuriot, University of Edinburgh, UK * Xiao-Shan Gao, Chinese Academy of Sciences, China * Tetsuo Ida, University of Tsukuba, Japan * Predrag Janicic, University of Belgrade, Serbia * Ulrich Kortenkamp, Martin-Luther-Universit?t Halle-Wittenberg, Germany * Shuichi Moritsugu, University of Tsukuba, Japan * Julien Narboux, University of Strasbourg, France * Pavel Pech, University of South Bohemia, Czech Republic * Pedro Quaresma, University of Coimbra, Portugal * Eugenio Roanes-Lozano, Complutense University of Madrid, Spain * Pascal Schreck, University of Strasbourg, France * Meera Sitharam, University of Florida, USA * Thomas Sturm, Max Planck Institute, Germany * Dingkang Wang, Chinese Academy of Sciences, China * Dongming Wang, Beihang University, China and UPMC-CNRS, France -------------- next part -------------- An HTML attachment was scrubbed... URL: https://mail.cms.math.ca/pipermail/webmath/attachments/20141203/e81f7797/attachment.htm From contact at epsilonwriter.com Wed Dec 24 03:54:15 2014 From: contact at epsilonwriter.com (Aristod) Date: Mon Dec 29 07:15:06 2014 Subject: [Webmath] EpsilonWriter: free tools for teaching algebra, new version Message-ID: Si ce bulletin ne s'affiche pas correctement, veuillez cliquer ici. http://tools.emailsys2a.net/mailing/106/576580/4869297/113t411/index.html EpsilonWriter : free, innovative and efficient tools for teaching math and sciences. New version 2.5. Epsilonwriter is an intuitive text and math editor which makes algebra dynamic (calculations with simple gestures). ? With a simple click, you can: Make exact and approximate numerical calculations, as well as expansions and simplications. Generate the solving schemes of equations of degree 2 and 3. Obtain the definition conditions of rational functions, and transform logic conditions into definition/solution sets. Calculate limits, produce tables of signs, calculate derivatives, produce tables of variations. The new version 2.5 brings a level "personalized dynamic Algebra" to finely select usable calculation tools. It also lets you assign parameters to a document and so choose the tools that students can use with this document. Discover version 2.5: ? EpsilonWriter en ligne? Epsilonwriter is also a set of applications to practice math and communicate that you can find on our site:? http://epsilonwriter.com? Use this software at home and in the classroom. It's free. And if you like, consider making them known to your colleagues. ? EpsilonWriter : des outils gratuits, innovants et performants pour enseigner les maths et les sciences. Nouvelle version 2.5. EpsilonWriter est un ?diteur intuitif de texte et de math qui rend l?alg?bre dynamique?: on peut ainsi ?crire tr?s simplement des formules math?matiques et calculer par de simples gestes. Par simple clic, vous pouvez?: Faire des calculs num?riques exacts ou approch?s, et des d?veloppements-r?ductions. Produire les sch?mas de r?solution d'?quations de degr? 2 et 3. Obtenir les conditions de d?finition de fonctions rationnelles, et transformer des conditions logiques en ensembles de d?finition/solutions. Calculer des limites, Produire des tableaux de signes, Calculer des d?riv?es, Produire des tableaux de variations. La nouvelle version 2.5 apporte un niveau ??Alg?bre dynamique personnalis?e??? pour choisir finement les outils de calcul utilisables. Elle permet ?galement d'associer des param?tres ? un document et ainsi de choisir les outils que les ?l?ves pourront utiliser avec ce document. D?couvrez la version 2.5?: ? EpsilonWriter en ligne? EpsilonWriter c?est aussi un ensemble d?applications pour pratiquer les math?matiques et communiquer que vous pouvez d?couvrir sur notre site?:? http://epsilonwriter.com? ? Utilisez ces logiciels ? la maison et en classe. C?est gratuit. Et si vous aimez, pensez ? les faire conna?tre ? vos coll?gues. ? Veuillez cliquer ici pour se d?sinscrire avec votre adresse email suivante: webmath@camel.math.ca http://tools.emailsys2a.net/106/576580/751/4869297/n2jh2d/unsubscribe.html -------------- next part -------------- Skipped content of type multipart/related