From math.semantic.web at gmail.com Fri Jan 18 07:39:59 2013 From: math.semantic.web at gmail.com (Christoph LANGE) Date: Fri Jan 18 07:40:09 2013 Subject: [Webmath] SePublica Semantic Publishing Workshop@ESWC (Montpellier 26-30 May); deadline 4 March Message-ID: <50F9429F.4000600@gmail.com> Call for Participation: Sepublica 2013 -an ESWC Workshop Machine-comprehensible Documents Bridging the Gap between Publications and Data. ** May 26-30, 2013, Montpelier, France. Workshop Web site: http://sepublica.mywikipaper.org/drupal/ *** Relevant dates *** Submission Deadline: March 4,2013 Acceptance Notification: April 1,2013 Camera-Ready: April 15,2013 *** Topics *** Publishing of scholarly works is on the cusp of great change. Data is now routinely published accompanied by or in some semantic form, but this is not the case for scholarly works. Advances in technology have made it possible for the scientific article to adopt electronic dissemination channels, from paper-based journals to purely electronic formats. Yet, despite the improvements in the distribution, accessibility and retrieval of information, little has really changed in the publishing of scholarly works compared to that of the data about which scholarly works are written. The availability of data and the open, digital form of scholarly works is leading to a drive to semantically enable scholarly works to make the works themselves more computationally useful as well as to link them intimately to the data about which they are written. Sepublica is a forum in which to discuss and present what is best and up and coming in semantic publishing. How are new technologies changing scholarly communication? How do we want scholarly communication to change? Where do we want it to go? Semantics, within publication workflows, is usually added post hoc, how could we support publications to be born semantic? At Sepublica we will discuss and present new ways of publishing, sharing, linking, and analyzing such scientific resources as well as reasoning over the data to discover new links and scientific insights. Sepublica is not, however, limited to the scientific domain; the humanities, cultural industries, news, commerce etc. all have published works that can benefit from semantic enhancement and data to which they can link; all are welcome. topics include, but are not limited to: * How could we realize a paper with an API? How could we have a paper as a database, as a knowledge base? * How is the paper an interface, gateway, to the web of data? How could such an interface be delivered in a contextual manner? * How are semantic scholarly works to be created? * How are news agencies adopting technologies in support of their publications? Has the delivered technology been adopted? What are the experiences from news agencies been so far? Lessons learnt. * How could semantic technologies be used to represent the knowledge encoded in scientific documents and in general-interest media publications? * Connecting scientific publications with underlying research data sets * What semantics and ontologies do we need for representing structural elements in a document? * Moving from the bibliographic reference to the full content within a linked environment? *** Call for Papers *** Sepublica 2013 is soliciting submissions of novel (not previously published nor concurrently submitted) research papers in the areas of the topics outlined above. The organizing committee is happy to discuss possible submissions with authors. Submissions will be welcome from a broad range ofapproaches to semantic publishing. We are particularly keen on submissions that are themselves examples of semantic publishing of scholarly works. LaTeX documents in the LNCS format can, e.g., be annotated using SALT or sTeX. We also invite submissions in XHTML+RDFa or in the format of YOUR semantic publishing tool. However, to ensure a fair review procedure, authors must additionally produce a narrative submitted as a PDF that is submitted as normal. Submission is via EasyChair (https://www.easychair.org/conferences/?conf=sepublica2013). Papers must formatted according to the LNCS format *** Submission Types *** 1. Full paper, 12 pages 2. Position paper, 5 pages. 3. Software demo papers, 2 pages 4. Late-breaking news, 1 page. *** Contact *** Please email sepublica2013@easychair.org For any enquiries. *** Organizing Committee *** Alexander Garcia Castro, alexgarciac@gmail.com, Florida State University Christoph Lange, math.semantic.web@gmail.com, University of Birmingham Phillip Lord, phillip.lord@newcastle.ac.uk, University of Newcastle Robert Stevens, Robert.stevens@manchester.ac.uk, University of Manchester From serge.autexier at dfki.de Thu Feb 14 03:56:02 2013 From: serge.autexier at dfki.de (Serge Autexier) Date: Thu Feb 14 09:43:21 2013 Subject: [Webmath] Second Call For Papers: Conf. Intelligent Computer Mathematics (CICM 2013), July 8-12, 2013, Bath, UK Message-ID: <20130214085602.BB39913EB910@mbp-autexier.informatik.uni-bremen.de> CICM 2013 - Conferences on Intelligent Computer Mathematics July 8-12, 2013 at University of Bath, Bath, UK http://www.cicm-conference.org/2013/cicm.php 2nd Call for Papers ---------------------------------------------------------------------- * Invited Talks by Patrick Ion (Mathematical Reviews, American Mathematical Society, USA) Assia Mahboubi (?cole Polytechnique and INRIA/Microsoft Research Joint Centre, France) Ursula Martin (Queen Mary, University of London, UK) * Co-Located Workshops: - MathUI'13: Mathematical User Interfaces - OpenMath Workshop 2013 - PLMMS'13: Programming Languages for Mechanized Mathematics Systems - THedu'13: TP Components for Educational Software ---------------------------------------------------------------------- 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 offers a venue for discussing these areas and their synergy. The conference will take place at the University of Bath (www.bath.ac.uk), with James Davenport as the local organiser. It consists of four tracks: Calculemus Chair: Wolfgang Windsteiger Digital Mathematical Libraries (DML) Chair: Petr Sojka Mathematical Knowledge Management (MKM) Chair: David Aspinall Systems and Projects Chair: Christoph Lange As in previous years, there will be a Doctoral Programme for presentations by Doctoral students. The overall programme will be organised by the General Program Chair Jacques Carette. ---------------------------------------------------------------------- Important dates ---------------------------------------------------------------------- Abstract submission: 1 March 2013 Submission deadline: 8 March 2013 Reviews sent to authors: 5 April 2013 Rebuttals due: 8 April 2013 Notification of acceptance: 14 April 2013 Camera ready copies due: 26 April 2013 Conference: 8-12 July 2013 ---------------------------------------------------------------------- Tracks ---------------------------------------------------------------------- ========== Calculemus ========== Calculemus 2013 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) * Artificial Intelligence and Symbolic Computation (AISC) 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 ---------------------------------------------------------------------- Submissions to the research tracks must not exceed 15 pages 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 and should present * newly developed systems, * systems that have not previously been presented to the CICM community, or * significant updates to existing systems. Systems must be available for download. Project presentations should describe * projects that are new or about to start, * ongoing projects that have not yet been presented to the CICM community. * 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 submissions should contain links to demos, downloadable systems, or project websites. Accepted conference submissions from all tracks is intended to 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 or system description paper. 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 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. 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. Electronic submission is done through easychair http://www.easychair.org/conferences/?conf=cicm2013 ---------------------------------------------------------------------- Programme Committee ---------------------------------------------------------------------- Akiko Aizawa, NII, The University of Tokyo, Japan Jesse Alama, CENTRIA, FCT, Universidade Nova de Lisboa, Portugal Rob Arthan, Queen Mary University of London, UK Andrea Asperti, University of Bologna, Italy David Aspinall, University of Edinburgh, UK Jeremy Avigad, Carnegie Mellon University, US Thierry Bouche, Universit? Joseph Fourier (Grenoble), France Jacques Carette, McMaster University, Canada John Charnley, Department of Computing, Imperial College London, UK Janka Chleb?kov?, School of Computing, University of Portsmouth, UK Simon Colton, Department of Computing, Imperial College, London, UK Leo Freitas, Newcastle University, UK Deyan Ginev, Jacobs University Bremen, Germany Gudmund Grov, Heriot-Watt University, Edinburgh, UK Thomas Hales, University of Pittsburgh, US Yannis Haralambous, T?l?com Bretagne, France J?nathan Heras, University of Dundee, UK Hoon Hong, North Carolina State University, US Predrag Jani?i?, University of Belgrade, Serbia Cezary Kaliszyk, University of Innsbruck, Austria Manfred Kerber, University of Birmingham, UK Adam Kilgarriff, Lexical Computing Ltd, UK Andrea Kohlhase, Jacobs University Bremen, Germany Michael Kohlhase, Jacobs University Bremen, Germany Temur Kutsia, RISC Institute, JKU Linz, Austria Christoph Lange, University of Birmingham, UK Paul Libbrecht, Martin Luther University Halle-Wittenberg, Germany Christoph L?th, DFKI Bremen, Germany Till Mossakowski, DFKI Bremen, Germany Magnus O. Myreen, University of Cambridge, UK Florian Rabe, Jacobs University Bremen, Germany Ji?? R?kosn?k, Institute of Mathematics, Academy of Sciences, Czech Republic Carsten Schuermann, IT University of Copenhagen, Denmark Petr Sojka, Masaryk University, Faculty of Informatics, Czech Republic Hendrik Tews, TU Dresden, Germany Frank Tompa, University of Waterloo, Canada Josef Urban, Radboud University, Netherlands Stephen Watt, University of Western Ontario, Canada Makarius Wenzel, Universit? Paris-Sud 11, France Wolfgang Windsteiger, RISC Institute, JKU Linz, Austria Richard Zanibbi, Rochester Institute of Technology, US -- Dr. Serge Autexier, serge.autexier@dfki.de, http://www.dfki.de/~serge/ Research Department 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 pedro at mat.uc.pt Wed Feb 27 10:29:37 2013 From: pedro at mat.uc.pt (Pedro Quaresma) Date: Thu Feb 28 09:58:33 2013 Subject: [Webmath] ThEdu'13 - call for papers Message-ID: <201302271529.38926.pedro@mat.uc.pt> --------------------------------------------------------------------- Call for Papers ---------------------------------------------------------------------- THedu'13 TP components for educational software (http://www.uc.pt/en/congressos/thedu) Co-located with CICM 2013 Conferences on Intelligent Computer Mathematics 8.-12. July 2013 Bath, UK http://www.cicm-conference.org/2013/cicm.php ---------------------------------------------------------------------- THedu'13 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: 06 May 2013 * Author Notification: 03 Jun 2013 * Final Version: 15 Jun 2013 * Workshop Day: (still to be defined, 8-12 July) * Postproceedings(EPTCS): 15 October 2013 (https://www.easychair.org/conferences/?conf=thedu13) Elements for next-generation assistants 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 postconditions 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 specialized 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 Stepwise 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, CTP 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! 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 (4 pages max) presenting original unpublished work which is not been submitted for publication elsewhere. All accepted extended abstracts will be presented at the workshop, and the extended abstracts will be made available online. A publication post-proceedings (papers, 16 pages max) under EPTCS is under consideration. Extended abstracts and demo proposals should be submitted via THedu'13 easychair (https://www.easychair.org/conferences/?conf=thedu13). Extended abstracts 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://http://style.eptcs.org/). At least one author of each accepted extended abstract/demo is expected to attend THedu'13 and presents her or his extended abstract/demo. Program Committee ----------------- Ralph-Johan Back, Abo Akademy University, Finland Francisco Botana, University of Vigo at Pontevedra, Spain Roman Ha?ek, University of South Bohemia Predrag Janicic, University of Belgrade, Serbia Julien Narboux, University of Strasbourg, France Filip Maric, University of Belgrade, Serbia Walther Neuper, Graz University of Technology, Austria Pavel Pech, University of South Bohemia Vanda Santos, CISUC, Portugal Wolfgang Schreiner, University of Linz, Austria Dusan Vallo, University of Nitra, Slovakia Makarius Wenzel, University Paris-Sud, France Burkhart Wolff, University Paris-Sud, France _________________________________________ -- 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 From paul at hoplahup.net Fri Mar 1 04:28:53 2013 From: paul at hoplahup.net (Paul Libbrecht) Date: Fri Mar 1 09:31:11 2013 Subject: [Webmath] CfP MathUI 2013: Mathematical User Interfaces Workshop at CICM Bath Message-ID: <15590040-7661-48FD-932A-CE64B691ED38@hoplahup.net> Call for Papers: MathUI'13 ---------------------------------------- Mathematical User Interfaces Workshop 2013 ---------------------------------------- at the CICM conferences, July 8-12, Bremen Germany http://cermat.org/events/MathUI/13/ ------------------------------ please redistribute SCOPE MathUI is an international workshop for discussing mathematical user interfaces, i.e., ideas and studies of how users (can) interact with mathematical representations on a computer. Topics include: - user-requirements for math interfaces - presentation formats - mobile-devices powered mathematics - cultural differences in practices of mathematical languages - didactically sensible scenarios - spreadsheets as mathematical interfaces - manipulations of mathematical expressions This workshop follows a successful series of meetings held at the Conferences on Intelligent Computer Mathematics; 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 We welcome submissions that present new ideas, features, user-studies, and software systems relevant to MathUI in the form of a description (4-8 pages) and/or a video submitted to the easychair system. The programme committee will review the submission following criteria of originality and applicability. The final forms of the papers will be included in the proceedings on the web page and on CEUR-WS. Deadline for submissions: May 6th 2013. The programme committee will send their comments and recommendations by May 27th requesting a final version no later than June 20th. Moreover, MathUI will be concluded by an expo-like demonstration session which will run for 1-3h, each demonstrating to interested parties. See the web-page: http://cermat.org/events/MathUI/13/ PROGRAMME COMMITTEE The workshop will be reviewed by the following persons: - David Aspinall, University of Edinburgh, Scotland - Paul Cairns, University of York, Great Britain - Olga Caprotti, University of Gothenburg, Chalmers, Sweden. - Andrea Kohlhase (organizer), Jacobs University Bremen, Germany - Paul Libbrecht (organizer), CERMAT, MLU Halle, Germany - Andrea Hoffkamp, HU Berlin, Germany - Elena Smirnova, Texas Instruments Inc. Education Technology, USA - Helena Mihaljevic-Brandt, Zentralblatt MATH, Berlin, Germany For other inquiries please contact Paul Libbrecht, paul@cermat.org. You are receiving this mail because we believe that you have an interest the workhop topics. Should you wish to not receive it anymore, please reply by email. From serge.autexier at dfki.de Wed Mar 6 11:34:37 2013 From: serge.autexier at dfki.de (Serge Autexier) Date: Thu Mar 7 09:11:55 2013 Subject: [Webmath] Deadline Extension March 12th, 2013: Conf. Intelligent Computer Mathematics (CICM 2013), July 8-12, 2013, Bath, UK Message-ID: <20130306163437.0DF36149EAC0@gigondas.dfki.uni-bremen.de> CICM 2013 - Conferences on Intelligent Computer Mathematics July 8-12, 2013 at University of Bath, Bath, UK http://www.cicm-conference.org/2013/cicm.php Call for Papers ------------------------------------------------------------------- * Invited Talks by Patrick Ion, Assia Mahboubi, and Ursula Martin * ------------------------------------------------------------------- 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 offers a venue for discussing these areas and their synergy. The conference will take place at the University of Bath (www.bath.ac.uk), with James Davenport as the local organiser. It consists of four tracks: Calculemus Chair: Wolfgang Windsteiger Digital Mathematical Libraries (DML) Chair: Petr Sojka Mathematical Knowledge Management (MKM) Chair: David Aspinall Systems and Projects Chair: Christoph Lange As in previous years, there are plans to organise a workshop for presentations by Doctoral students. The overall programme will be organised by the General Program Chair Jacques Carette. ---------------------------------------------------------------- Important dates ---------------------------------------------------------------- Submission deadline: 12 March 2013 (EXTENDED) Reviews sent to authors: 5 April 2013 Rebuttals due: 8 April 2013 Notification of acceptance: 14 April 2013 Camera ready copies due: 26 April 2013 Conference: 8-12 July 2013 ---------------------------------------------------------------- Tracks ---------------------------------------------------------------- ========== Calculemus ========== Calculemus 2013 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) * Artificial Intelligence and Symbolic Computation (AISC) 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 ---------------------------------------------------------------- Submissions to the research tracks must not exceed 15 pages 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 and should present * newly developed systems, * systems that have not previously been presented to the CICM community, or * significant updates to existing systems. Systems must be available for download. Project presentations should describe * projects that are new or about to start, * ongoing projects that have not yet been presented to the CICM community. * 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 submissions should contain links to demos, downloadable systems, or project websites. Accepted conference submissions from all tracks is intended to 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 or system description paper. 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 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. 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. Electronic submission is done through easychair http://www.easychair.org/conferences/?conf=cicm2013 ---------------------------------------------------------------- Programme Committee ---------------------------------------------------------------- Jacques Carette, McMaster University, Canada Wolfgang Windsteiger, RISC Institute, JKU Linz, Austria Petr Sojka, Masaryk University, Faculty of Informatics, Czech Republic David Aspinall, University of Edinburgh, UK Christoph Lange, University of Birmingham, UK Till Mossakowski, DFKI Bremen, Germany J?nathan Heras, University of Dundee, UK Josef Urban, Radboud University, Netherlands Deyan Ginev, Jacobs University Bremen, Germany Rob Arthan, Queen Mary University of London, UK Makarius Wenzel, Universit? Paris-Sud 11, France Hendrik Tews, TU Dresden, Germany Simon Colton, Department of Computing, Imperial College, London, UK Paul Libbrecht, Martin Luther University Halle-Wittenberg, Germany Cezary Kaliszyk, University of Innsbruck, Austria Andrea Kohlhase, Jacobs University Bremen, Germany Yannis Haralambous, T?l?com Bretagne, France Florian Rabe, Jacobs University Bremen, Germany Akiko Aizawa, NII, The University of Tokyo, Japan Carsten Schuermann, IT University of Copenhagen, Denmark Magnus O. Myreen, University of Cambridge, UK Janka Chleb?kov?, School of Computing, University of Portsmouth, UK Richard Zanibbi, Rochester Institute of Technology, US Michael Kohlhase, Jacobs University Bremen, Germany Adam Kilgarriff, Lexical Computing Ltd, UK Leo Freitas, Newcastle University, UK Frank Tompa, University of Waterloo, Canada Gudmund Grov, Heriot-Watt University, Edinburgh, UK Jeremy Avigad, Carnegie Mellon University, US Stephen Watt, University of Western Ontario, Canada Temur Kutsia, RISC Institute, JKU Linz, Austria Manfred Kerber, University of Birmingham, UK Hoon Hong, North Carolina State University, US Christoph L?th, DFKI Bremen, Germany Thierry Bouche, Universit? Joseph Fourier (Grenoble), France Andrea Asperti, University of Bologna, Italy Jesse Alama, CENTRIA, FCT, Universidade Nova de Lisboa, Portugal Ji?? R?kosn?k, Institute of Mathematics, Academy of Sciences, Czech Republic Thomas Hales, University of Pittsburgh, US Predrag Jani?i?, University of Belgrade, Serbia David Ruddy, Cornell University Library, US Volker Sorge, University of Birmingham, UK Mark Adams, Proof Technologies Ltd, UK John Charnley, Department of Computing, Imperial College London, UK From bobm at dessci.com Thu Mar 14 15:58:10 2013 From: bobm at dessci.com (Bob Mathews) Date: Thu Mar 14 15:59:23 2013 Subject: [Webmath] [ann] MathType 6.9: New version works with Office 2013 and Office 365 Message-ID: <96976DDE4A17D0498C2C83B3BD677E220F17F0@FERMAT.corp.dessci> Hi, We've released MathType 6.9 for Windows, fully compatible with Office 2013 and Office 365 installed on Windows 7 and 8 computers. In addition, MathType 6.9 includes increased compatibility with 700+ applications and websites, full MathJax support, and more. MathType 6.9 is available in English, French, and German. See the full feature list: http://www.dessci.com/en/products/mathtype/features.htm Regards, Bob Mathews Director of Training Twitter: @afwings, @MathType Tel: (512) 434-9741 Fax: (425) 977-1157 Design Science, Inc. 140 Pine Avenue, 4th Floor Long Beach CA 90802 www.dessci.com ~Makers of MathType, MathFlow, MathPlayer, MathDaisy, Equation Editor~ From math.semantic.web at gmail.com Fri Apr 19 07:53:44 2013 From: math.semantic.web at gmail.com (Christoph LANGE) Date: Fri Apr 19 07:59:17 2013 Subject: [Webmath] CfP: OpenMath workshop at CICM (10 July, Bath, UK), submission deadline 7 June Message-ID: <51713048.4010005@gmail.com> 25th OpenMath Workshop Bath, UK 10 July 2013 co-located with CICM 2013 Submission deadline 7 June http://www.cicm-conference.org/2013/cicm.php?event=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: Submission * 20 June: Notification of acceptance or rejection * 5 July: Final revised papers due * 10 July: Workshop 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 * Christoph Lange (University of Birmingham, UK) * James Davenport (University of Bath, UK) * Michael Kohlhase (Jacobs University Bremen, Germany) Comments/questions/enquiries: to be sent to openmath-workshop@googlegroups.com -- Christoph Lange, School of Computer Science, University of Birmingham http://cs.bham.ac.uk/~langec/, Skype duke4701 ? Intelligent Computer Mathematics, 7?12 July, Bath, UK. Work-in-progress deadline 7 June; http://cicm-conference.org/2013/ From paul at cermat.org Fri May 3 08:57:01 2013 From: paul at cermat.org (Paul Libbrecht) Date: Fri May 3 09:25:06 2013 Subject: [Webmath] Deadline extension for MathUI 2013: Mathematical User Interfaces Workshop at CICM Bath Message-ID: <030DA5E7-CCC4-4FD1-BCF4-E97129753B4F@cermat.org> Deadline extension for MathUI'13 ---------------------------------------- Mathematical User Interfaces Workshop 2013 ---------------------------------------- at the CICM conferences, July 10th, Bath, UK http://cermat.org/events/MathUI/13/ ------------------------------ please redistribute NEW DEADLINE: May 14th SCOPE MathUI is an international workshop for discussing mathematical user interfaces, i.e., ideas and studies of how users (can) interact with mathematical representations on a computer. Topics include: - user-requirements for math interfaces - presentation formats - mobile-devices powered mathematics - cultural differences in practices of mathematical languages - didactically sensible scenarios - spreadsheets as mathematical interfaces - manipulations of mathematical expressions This workshop follows a successful series of meetings held at the Conferences on Intelligent Computer Mathematics; 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 We welcome submissions that present new ideas, features, user-studies, and software systems relevant to MathUI in the form of a description (4-8 pages) and/or a video submitted to the easychair system. The programme committee will review the submission following criteria of originality and applicability. The final forms of the papers will be included in the proceedings on the web page and on CEUR-WS. Deadline for submissions: May 14th 2013. The programme committee will send their comments and recommendations by May 27th requesting a final version no later than June 20th. Moreover, MathUI will be concluded by an expo-like demonstration session which will run for 1-3h, each demonstrating to interested parties. See the web-page: http://cermat.org/events/MathUI/13/ PROGRAMME COMMITTEE The workshop will be reviewed by the following persons: - David Aspinall, University of Edinburgh, Scotland - Paul Cairns, University of York, Great Britain - Olga Caprotti, University of Gothenburg, Chalmers, Sweden. - Andrea Kohlhase (organizer), Jacobs University Bremen, Germany - Paul Libbrecht (organizer), CERMAT, MLU Halle, Germany - Andrea Hoffkamp, HU Berlin, Germany - Elena Smirnova, Texas Instruments Inc. Education Technology, USA - Helena Mihaljevic-Brandt, Zentralblatt MATH, Berlin, Germany For other inquiries please contact Paul Libbrecht, paul@cermat.org. From math.semantic.web at gmail.com Mon May 20 07:22:18 2013 From: math.semantic.web at gmail.com (Christoph LANGE) Date: Mon May 20 07:43:41 2013 Subject: [Webmath] 2nd CfP: OpenMath workshop at CICM (10 July, Bath, UK), submission deadline 7 June Message-ID: <519A076A.9090805@gmail.com> 25th OpenMath Workshop Bath, UK 10 July 2013 co-located with CICM 2013 Submission deadline 7 June http://www.cicm-conference.org/2013/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: Submission * 20 June: Notification of acceptance or rejection * 5 July: Final revised papers due * 10 July: Workshop 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 * Christoph Lange (University of Birmingham, UK) * James Davenport (University of Bath, UK) * Michael Kohlhase (Jacobs University Bremen, Germany) PROGRAMME COMMITTEE * Lars Hellstr?m (Ume? Universitet, Sweden) * Jan Willem Knopper (Technische Universiteit Eindhoven, Netherlands) * Paul Libbrecht (Center for Educational Research in Mathematics and Technology, Martin-Luther-University Halle-Wittenberg) (to be completed) Comments/questions/enquiries: to be sent to openmath-workshop@googlegroups.com -- Christoph Lange, School of Computer Science, University of Birmingham http://cs.bham.ac.uk/~langec/, Skype duke4701 ? Intelligent Computer Mathematics, 8?12 July, Bath, UK. Work-in-progress deadline 7 June; http://cicm-conference.org/2013/ ? OpenMath Workshop, 10 July, Bath, UK. Submission deadline 7 June; http://cicm-conference.org/2013/openmath/ From serge.autexier at dfki.de Mon Jun 3 03:40:24 2013 From: serge.autexier at dfki.de (Serge Autexier) Date: Mon Jun 3 10:11:14 2013 Subject: [Webmath] CICM 2013: Final Call for Work in Progress Papers, Deadline June 7th, 2013 Message-ID: <20130603074024.7B97317D4A99@mbp-autexier.informatik.uni-bremen.de> CICM 2013 - Conferences on Intelligent Computer Mathematics July 8-12, 2013 at University of Bath, Bath, UK http://www.cicm-conference.org/2013/cicm.php Final Call for Work-in-Progress Papers ---------------------------------------------------------------------- * Final call for Work-In-Progress Papers on any CICM topic * Submissions 5-10 pages, for poster/talk presentations * Deadline 7th June, notification 20th June * Invited Talks by Patrick Ion (Mathematical Reviews, American Mathematical Society, USA) Assia Mahboubi (?cole Polytechnique and INRIA/Microsoft Research Joint Centre, France) Ursula Martin (Queen Mary, University of London, UK) * Accepted regular papers are online on the website * Co-Located Workshops: - MathUI'13: Mathematical User Interfaces - OpenMath Workshop 2013 - PLMMS'13: Programming Languages for Mechanized Mathematics Systems - THedu'13: TP Components for Educational Software ---------------------------------------------------------------------- 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 offers a venue for discussing these areas and their synergy. The conference will take place at the University of Bath (www.bath.ac.uk), with James Davenport as the local organiser. It consists of four tracks: Calculemus Chair: Wolfgang Windsteiger Digital Mathematical Libraries (DML) Chair: Petr Sojka Mathematical Knowledge Management (MKM) Chair: David Aspinall Systems and Projects Chair: Christoph Lange As in previous years, there will be a Doctoral Programme for presentations by Doctoral students. The overall programme is organised by the General Program Chair Jacques Carette. ---------------------------------------------------------------------- Important dates ---------------------------------------------------------------------- WiP paper submission deadline : 7 June 2013 WiP paper Notification of acceptance : 20 June 2013 WiP Camera ready copies due : 5 July 2013 Conference : 8-12 July 2013 ---------------------------------------------------------------------- Tracks ---------------------------------------------------------------------- ========== Calculemus ========== Calculemus 2013 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) * Artificial Intelligence and Symbolic Computation (AISC) 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 ---------------------------------------------------------------------- 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. Their size is not limited, but we recommend 5-10 pages. 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 online with CEUR-WS.org. WiP 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. Electronic submission is done through easychair http://www.easychair.org/conferences/?conf=cicm2013 ---------------------------------------------------------------------- Programme Committee ---------------------------------------------------------------------- Akiko Aizawa, NII, The University of Tokyo, Japan Jesse Alama, CENTRIA, FCT, Universidade Nova de Lisboa, Portugal Rob Arthan, Queen Mary University of London, UK Andrea Asperti, University of Bologna, Italy David Aspinall, University of Edinburgh, UK Jeremy Avigad, Carnegie Mellon University, US Thierry Bouche, Universit? Joseph Fourier (Grenoble), France Jacques Carette, McMaster University, Canada John Charnley, Department of Computing, Imperial College London, UK Janka Chleb?kov?, School of Computing, University of Portsmouth, UK Simon Colton, Department of Computing, Imperial College, London, UK Leo Freitas, Newcastle University, UK Deyan Ginev, Jacobs University Bremen, Germany Gudmund Grov, Heriot-Watt University, Edinburgh, UK Thomas Hales, University of Pittsburgh, US Yannis Haralambous, T?l?com Bretagne, France J?nathan Heras, University of Dundee, UK Hoon Hong, North Carolina State University, US Predrag Jani?i?, University of Belgrade, Serbia Cezary Kaliszyk, University of Innsbruck, Austria Manfred Kerber, University of Birmingham, UK Adam Kilgarriff, Lexical Computing Ltd, UK Andrea Kohlhase, Jacobs University Bremen, Germany Michael Kohlhase, Jacobs University Bremen, Germany Temur Kutsia, RISC Institute, JKU Linz, Austria Christoph Lange, University of Birmingham, UK Paul Libbrecht, Martin Luther University Halle-Wittenberg, Germany Christoph L?th, DFKI Bremen, Germany Till Mossakowski, DFKI Bremen, Germany Magnus O. Myreen, University of Cambridge, UK Florian Rabe, Jacobs University Bremen, Germany Ji?? R?kosn?k, Institute of Mathematics, Academy of Sciences, Czech Republic Carsten Schuermann, IT University of Copenhagen, Denmark Petr Sojka, Masaryk University, Faculty of Informatics, Czech Republic Hendrik Tews, TU Dresden, Germany Frank Tompa, University of Waterloo, Canada Josef Urban, Radboud University, Netherlands Stephen Watt, University of Western Ontario, Canada Makarius Wenzel, Universit? Paris-Sud 11, France Wolfgang Windsteiger, RISC Institute, JKU Linz, Austria Richard Zanibbi, Rochester Institute of Technology, US -- Dr. Serge Autexier, serge.autexier@dfki.de, http://www.dfki.de/~serge/ Research Department 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 Fri Jun 7 02:37:17 2013 From: serge.autexier at dfki.de (Serge Autexier) Date: Fri Jun 7 10:06:40 2013 Subject: [Webmath] Call for Participation CICM 2013 8-12 July 2013, Registration deadline 23rd June 2013 Message-ID: <20130607063717.7A50417E7C47@mbp-autexier.informatik.uni-bremen.de> CICM 2013 - Conferences on Intelligent Computer Mathematics July 8-12, 2013 at University of Bath, Bath, UK http://cicm-conference.org/2013/cicm.php Call for participation Registration deadline: 23 June 2013 ----------------------------------------------------------------------- Invited talks will be given by: - Patrick Ion, Mathematical Reviews, American Mathematical Society, USA - Assia Mahboubi, ?cole Polytechnique and INRIA/Microsoft Research Joint Centre, France - Ursula Martin, Queen Mary, University of London, UK Co-Located Workshops: - MathUI'13: Mathematical User Interfaces - OpenMath Workshop 2013 - PLMMS'13: Programming Languages for Mechanized Mathematics Systems - THedu'13: TP Components for Educational Software The global programme of the conference, tracks, and workshops are available via: http://cicm-conference.org/2013/cicm.php?event=&menu=detailed-programme Accepted Papers: - Pedro Quaresma, Vanda Santos and Seifeddine Bouallegue. The Web Geometry Laboratory Project - Russell Bradford, James H. Davenport, Matthew England and David Wilson. Optimising Problem Formulation for Cylindrical Algebraic Decomposition - Matthew England, Russell Bradford, James H. Davenport and David Wilson. Understanding branch cuts of expressions - Christoph Lange, Colin Rowat and Manfred Kerber. The ForMaRE Project - Formal Mathematical Reasoning in Economics - Cezary Kaliszyk and Josef Urban. Automated Reasoning Service for HOL Light Corpora - J?nathan Heras and Ekaterina Komendantskaya. ML4PG: proof-mining in Coq - J?nathan Heras, Gadea Mata, Ana Romero, Julio Rubio and Rub?n S?enz. Verifying a platform for digital imaging: a multi-tool strategy - Dmitry Chebukov, Alexandr Izaak, Olga Misurina, Yury Pupyrev and Alexey Zhizhchenko. Math-Net.Ru as a Digital Archive of the Russian Mathematical Knowledge - Chau Do and Eric Pauwels. Using MathML to Represent Units of Measurement for Improved Ontology Alignment - Miguel A. Abanades and Francisco Botana. A dynamic symbolic geometry environment for the computation of geometric loci and envelopes - Shahab Kamali and Frank Tompa. Structural Similarity Search For Mathematics Retrieval - Rui Hu and Stephen Watt. Determining Points on Handwritten Mathematical Symbols - Rein Prank. Software for evaluating relevance of steps in algebraic transformations - Eno Tonisson. When Students Compare Their Own Answers with the Answers of a Computer Algebra System - Carst Tankink, Cezary Kaliszyk, Josef Urban and Herman Geuvers. Formal Mathematics on Display: A Wiki for Flyspeck - Michael Kohlhase, Felix Mance and Florian Rabe. A Universal Machine for Biform Theory Graphs - Florian Rabe. The MMT API: A Generic MKM System - William Farmer. The Formalization of Syntax-Based Mathematical Algorithms Using Quotation and Evaluation - Paul Libbrecht. Escaping the Trap of too Precise Topic Queries - Bruno Barras, Hugo Herbelin, Lourdes Del Carmen Gonz?lez Huesca, Yann R?gis-Gianas, Enrico Tassi, Makarius Wenzel and Burkhart Wolff. Pervasive Parallelism in Highly-Trustable Interactive Theorem Proving Systems - Christoph Lange, Marco Caminati, Manfred Kerber, Till Mossakowski, Colin Rowat, Makarius Wenzel and Wolfgang Windsteiger. A Qualitative Comparison of the Suitability of Four Theorem Provers for Basic Auction Theory - Deyan Ginev and Bruce Miller. LaTeXML 2012 - A Year of LaTeXML - Xavier Allamigeon, St?phane Gaubert, Victor Magron and Benjamin Werner. Certification of Bounds of Non-linear Functions: the Templates Method - Bruce Miller. 3 Years of DLMF on the Web; Math & Search - Minh-Quoc Nghiem, Giovanni Yoko Kristianto, Goran Topic and Akiko Aizawa. A hybrid approach for semantic enrichment of MathML mathematical expressions - Steven Obua, Mark Adams and David Aspinall. Capturing Hiproofs in HOL Light - Ulf Sch?neberg and Wolfram Sperber. Text analysis in mathematics - the DeLiVerMATH project - Sebastian B?nisch, Michael Brickenstein, Hagen Chrapary, Gert-Martin Greuel and Wolfram Sperber. swMATH - a new service for mathematics software - Christoph L?th and Martin Ring. A Web Interface for Isabelle: The Next Generation - Michal R??i?ka, Petr Sojka and Vlastimil Krej???. Towards Machine-Actionable Modules of a Digital Mathematics Library Registration is online via http://cicm-conference.org/2013/cicm.php?event=&menu=registration From autexier at mbp-autexier.informatik.uni-bremen.de Mon Nov 11 07:32:40 2013 From: autexier at mbp-autexier.informatik.uni-bremen.de (Serge Autexier) Date: Mon Nov 11 11:57:34 2013 Subject: [Webmath] Call for Workshops: Conf. Intelligent Computer Mathematics (CICM 2014) Message-ID: <20131111123240.217241D0F8A0@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 Workshop Proposals *** ---------------------------------------------------------------------- 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 proposals for workshops to be held at CICM 2014, which will be held in Coimbra (Portugal), July 7-11 next year. The principal tracks of the 2014 meeting will be Calculemus (Symbolic Computation and Mechanised Reasoning) DML (Towards a Digital Mathematics Library) MKM (Mathematical Knowledge Management) Systems and Projects 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 Proposals for workshops to be held at CICM 2014 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. Fees for conference participants will be levied on a per-day basis, so workshop-only participation is possible. The CICM organizers plan to make available a small amount towards partial reimbursement for travel expenses of invited speakers. Also, 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@lists.jacobs-university.de for consideration by the CICM 2014 organizers: Local Organization Chair: Pedro Quaresma (U. Coimbra, Portugal) General Program Chair: Stephen Watt (U. Western Ontario, Canada) Calculemus Track Chair: James Davenport (U. Bath, UK) DML Track Chair: Petr Sojka (Masaryk U., CZ) MKM Track Chair: Josef Urban (Radboud U., NL) System & Projects Track Chair: Alan Sexton (U. Birmingham, UK) Important dates: Deadline for proposal submissions: January 17, 2014 Acceptance/rejection notification: February 3, 2014 Workshop dates: July 7-11, 2014 ---------------------------------------------------------------------- From serge.autexier at dfki.de Fri Nov 22 10:45:38 2013 From: serge.autexier at dfki.de (Serge Autexier) Date: Fri Nov 22 13:38:10 2013 Subject: [Webmath] First Call for Papers: Conf. Intelligent Computer Mathematics (CICM 2014) Message-ID: <20131122154538.800431D93B54@mbp-autexier.informatik.uni-bremen.de> ?[Apologies for multiple copies] CICM 2014 - Conferences on Intelligent Computer Mathematics July 7-11, 2014 at University of Coimbra, Portugal http://www.cicm-conference.org/2014 First Call for Papers ------------------------------------------------------------------- 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, Paedro 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 contact at epsilonwriter.com Thu Dec 12 09:11:04 2013 From: contact at epsilonwriter.com (Aristod) Date: Thu Dec 12 09:45:10 2013 Subject: [Webmath] Communicate with Math: chat and live document Message-ID: If the message is not correctly displayed,please click here. http://tools.emailsys.net/mailing/106/385070/4869297/1vmg1q5/index.html Communicate with Math: chat and live document EpsilonChat software application has just been released. It allows "to chat" with text, mathematical and formulas and images. It uses contacts and allows "to chat" with a contact or a group of contacts. EpsilonChat also allows working with a contact or a group of contacts on live documents; they are synchronous collaborative documents. EpsilonChat has three modes: supervised (the leader chooses who writes), ordered (everyone writes in order of request) and free. More information: http://www.epsilonwriter.com/en/ewchat.html? ? EpsilonChat is supplied with EpsilonWriter for writing emails with text, mathematical formulas and images, documents, web pages, questionnaires, and also to do dynamic algebra. More information: http://www.epsilonwriter.com/? ? EpsilonChat and EpsilonWriter are free for non-commercial use. ? Thank you for forwarding this message to those of your contacts whom it can interest. French version - Version fran?aise Communiquez avec des maths : chat et documents live Le logiciel EpsilonChat vient de sortir. Il permet de ??chatter?? avec du texte, des formules de math?matique et des images. Il utilise des contacts et permet de ??chatter?? avec un contact ou un groupe de contacts. EpsilonChat permet aussi de travailler avec? un contact ou un groupe de contacts sur des documents live?; ce sont des documents collaboratifs synchrones. EpsilonChat comporte trois modes?: supervis? (l?animateur choisit la personne qui ?crit), ordonn? (chacun ?crit dans l?ordre des demandes) et libre. Plus d?information ??: http://www.epsilonwriter.com/fr/ewchat.html? ? EpsilonChat est fourni avec EpsilonWriter qui permet d??crire des emails avec du texte, des formules de math?matique et des images, de r?diger des documents, pages web, questionnaires, et aussi de faire de l?alg?bre dynamique. Plus d?information ??: http://www.epsilonwriter.com/? ? EpsilonChat et EpsilonWriter sont gratuits pour usage non commercial. ? Merci de faire suivre ce message ? ceux de vos contacts que cela peut int?resser. Recommend this newsletter http://tools.emailsys.net/mailing/385070/1u95onl/recommendation.html SARL ARISTOD, 217 rue de Paris, 91120 Palaiseau, France www.aristod.com? Please click here to unsubscribe with your following email address: webmath@camel.math.ca http://tools.emailsys.net/106/385070/751/4869297/jo5l2d/unsubscribe.html -------------- next part -------------- Skipped content of type multipart/related