From J.T.Jeuring at uu.nl Mon Jan 9 05:06:59 2012 From: J.T.Jeuring at uu.nl (Johan Jeuring) Date: Mon Jan 9 09:44:21 2012 Subject: [Webmath] CICM 2012: Second call for papers Message-ID: <00DB1403-B162-4485-8FA9-79DEC5E3CAF0@uu.nl> CICM 2012 - Conference on Intelligent Computer Mathematics July 9-13, 2012 at Jacobs University, Bremen, Germany http://www.informatik.uni-bremen.de/cicm2012/ 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 Conference on Intelligent Computer Mathematics offers a venue for discussing these areas and their synergy. The conference will be organized by Serge Autexier and Michael Kohlhase at Jacobs University in Bremen and consist of five tracks: Artificial Intelligence and Symbolic Computation (AISC) Co-Chairs: John A. Campbell, Jacques Carette Calculemus Chair: Gabriel Dos Reis Digital Mathematical Libraries (DML) Chair: Petr Sojka Mathematical Knowledge Management (MKM) Chair: Makarius Wenzel Systems and Projects Chair: Volker Sorge The overall programme will be organized by the General Program Chair Johan Jeuring. Invited talks will be given by: Yannis Haralambous, D?partement Informatique, T?l?com Bretagne Conor McBride, Department of Computer and Information Sciences, University of Strathclyde Cezar Ionescu, Potsdam Institute for Climate Impact Research ---------------------------------------------------------------- Important dates ---------------------------------------------------------------- Abstract submission: 20 February 2012 Submission deadline: 26 February 2012 Reviews sent to authors: 23 March 2012 Rebuttals due: 30 March 2012 Notification of acceptance: 6 April 2012 Camera ready copies due: 20 April 2012 Conference: 9-13 July 2012 ---------------------------------------------------------------- Tracks ---------------------------------------------------------------- *** AISC *** Symbolic computation can be roughly described as the study of algorithms which operate on expression trees. Another way to phrase this is to say that the denotational semantics of expressions trees is not fixed, but is rather context dependent. Expression simplification is probably the archetypal symbolic computation. Mathematically oriented software (such as the so-called computer algebra systems) have been doing this for decades, but not long thereafter, systems doing proof planning and theorem discovery also started doing the same; some attempts at knowledge management and 'expert systems' were also symbolic, but less successfully so. More recently, many different kinds of program analyses have gotten `symbolic', as well as some of the automated theorem proving (SMT, CAV, etc). But a large number of the underlying problems solved by symbolic techniques are well known to be undecidable (never mind the many that are EXP-time complete, etc). Artificial Intelligence has been attacking many of these different sub-problems for quite some time, and has also built up a solid body of knowledge. In fact, most symbolic computation systems grew out of AI projects. These two fields definitely intersect. One could say that in the intersection lies all those problems for which we have no decision procedures. In other words, decision procedures mark a definite phase shift in our understanding, but are not always possible. Yet we still want to solve certain problems, and must find 'other' means of (partial) solution. This is the fertile land which comprises the core of AISC. Rather than try to exhaustively list topics of interest, it is simplest to say that AISC seeks work which advances the understanding of Solving problems which fundamentally involve the manipulation of expressions, but for which decision procedures are unlikely to ever exist. *** Calculemus *** Calculemus is a series of conferences dedicated to the integration of computer algebra systems (CAS) and systems for mechanised reasoning, the interactive theorem provers or proof assistants (PA) and the 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 systems for computer mathematics that will routinely be used by mathematicians, computer scientists and engineers in their every day business. The topics of interest of Calculemus include but are not limited to: * Theorem proving in computer algebra (CAS) * Computer algebra in theorem proving (PA and ATP) * Case studies and applications that both involve computer algebra and mechanised reasoning * Representation of mathematics in computer algebra * Adding computational capabilities to PA and ATP * Formal methods requiring mixed computing and proving * Combining methods of symbolic computation and formal deduction * Mathematical computation in PA and ATP * Theory, design and implementation of interdisciplinary systems for computer mathematics * Theory exploration techniques * Input languages, programming languages, types and constraint languages, and modeling languages for mechanised mathematics systems (PA, CAS, and ATP). * 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. Following success of DML 2008, DML 2009 DML 2010, and DML 2011 track objectives are to formulate the strategy and goals of a global mathematical digital library and to summarize the current successes and failures of ongoing technologies and related projects as EuDML, asking such questions as: * What technologies, standards, algorithms and formats should be used and what metadata should be shared? * What business models are suitable for publishers of mathematical literature, authors and funders of their projects and institutions? * Is there a model of sustainable, interoperable, and extensible mathematical library that mathematicians can use in their everyday work? * What is the best practice for * retrodigitized mathematics (from images via OCR to MathML or TeX); * retro-born-digital mathematics (from existing electronic copy in DVI, PS or PDF to MathML or TeX); * born-digital mathematics (how to make needed metadata and file formats available as a side effect of publishing workflow [CEDRAM/Euclid model])? DML is an opportunity to share experience and best practices between projects in any area (MKM, NLP, OCR, pattern recognition, whatever) that could change the paradigm for searching, accessing, and interacting with the mathematical corpus. The track is trans/interdisciplinary and contributions from any kind of people on any aspect of the DML building are welcome. *** 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 presentation of systems and new and ongoing projects in all areas and topics related to the CICM conferences: * AI and Symbolic Computation * Deduction and Computer Algebra * Mathematical Knowledge Management * Digital Mathematical Libraries 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. We solicit submissions for two page abstracts in the categories of system descriptions and project presentations. System description should present * newly developed systems, * systems that have not previously been presented to the CICM community, or * significant updates to existing systems. Project presentation 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. All submissions should contain links to demos, downloadable systems, or project pages. Availability of such accompanying material will be a strong prerequisite for acceptance. Accepted abstracts will be published in the CICM proceedings in Springer's LNAI series. Author's are expected to present their abstracts in 5-10 minute teaser talks followed by an open demo/poster session. System papers must be accompanied by a system demonstration, while project papers must be accompanied by a poster presentation. ---------------------------------------------------------------- Submitting ---------------------------------------------------------------- Submissions to tracks A to D 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. Submissions to the Systems & Projects track must not exceed four pages. The accepted abstracts will be presented at CICM in a fast presentation session, followed by an open demo/poster session. System papers must be accompanied by a system demonstration, and project papers must be accompanied by a poster presentation. The four pages of the abstract should be new material, accompanied by links to demos/downloads/project-pages and [existing] system descriptions. Availability of such accompanying material will be a strong prerequisite for acceptance. 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 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. 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=cicm2012). ---------------------------------------------------------------- Program Committees ---------------------------------------------------------------- General chair: Johan Jeuring (Utrecht University and Open Universiteit the Netherlands) AISC track John A. Campbell; University College London, UK; Co-chair Jacques Carette; McMaster University, Canada; Co-chair Serge Autexier; DFKI Bremen, Germany Jacques Calmet; University of Karlsruhe, Germany Jacques Fleuriot; University of Edinburgh, UK Andrea Kohlhase; International University Bremen, Germany Erik Postma; Maplesoft Inc., Canada Alan Sexton; University of Birmingham, UK Chung-chieh Shan; Cornell University, USA. Stephen Watt; University of Western Ontario, Canada Calculemus track Gabriel Dos Reis; Texas A&M University, USA; Chair Andrea Asperti; University of Bologna, Italy Laurent Bernardin; Maplesoft, Canada James Davenport; University of Bath, UK Ruben Gamboa; University of Wyoming, USA Mark Giesbrecht; University of Waterloo, Canada Sumit Gulwani; Microsoft Research, USA John Harrison; Intel, USA Joris van der Hoeven; ?cole Polytechnique, France Hoon Hong; North Carolina State University, USA Lo?c Pottier; INRIA, France Wolfgang Windsteiger; RISC, Austria DML track Petr Sojka; Masaryk University, Brno, CZ; Chair Jos? Borbinha; Technical University of Lisbon, PT Thierry Bouche; University Grenoble, FR Michael Doob; University of Manitoba, Winnipeg, CA Thomas Fischer; Goettingen University, DE Yannis Haralambous; T?l?com Bretagne, FR V?clav Hlav??; Czech Technical University, Prague, CZ Michael Kohlhase; Jacobs University Bremen, DE Janka Chleb?kov?; Portsmouth University, UK Enrique Maci?s-Virg?s; University of Santiago de Compostela, ES Bruce Miller; NIST, USA Ji?? R?kosn?k; Academy of Sciences, Prague, CZ Eugenio Rocha; University of Aveiro, PT David Ruddy; Cornell University, US Volker Sorge; University of Birmingham, UK Masakazu Suzuki; Kyushu University, JP MKM track Makarius Wenzel; University of Paris-South, France; Chair David Aspinall; University of Edinburgh, Scotland Jeremy Avigad; Carnegie Mellon University, USA Mateja Jamnik; University of Cambridge, UK Cezary Kaliszyk; University of Tsukuba, Japan Manfred Kerber; University of Birmingham, UK Christoph L?th; DFKI Bremen, Germany Adam Naumowicz; University of Bia?ystok, Poland Jim Pitman; University of California, Berkeley, USA Pedro Quaresma; Universidade de Coimbra, Portugal Florian Rabe; Jacobs University Bremen, Germany Claudio Sacerdoti Coen; University of Bologna, Italy Enrico Tassi; INRIA Saclay, France Freek Wiedijk; Radboud University Nijmegen, The Netherlands Systems & Projects track Volker Sorge; University of Birmingham, UK; Chair Josef Baker; University of Birmingham, UK John Charnley; Imperial College, UK Manuel Kauers; RISC, Austria Koji Nakagawa; Kyushu University, Japan Piotr Rudnicki; University of Alberta, Canada Josef Urban; Radboud University Nijmegen, The Netherlands Richard Zanibbi; Rochester Institute of Technologies, USA From e-smirnova at ti.com Mon Feb 13 18:03:50 2012 From: e-smirnova at ti.com (Smirnova, Elena) Date: Tue Feb 14 09:46:21 2012 Subject: [Webmath] Special Session on COMPACT COMPUTER ALGEBRA at ACA 2012 -- call for talk abstracts and software demos Message-ID: FIRST CALL FOR CONTRIBUTIONS for Special Session on COMPACT COMPUTER ALGEBRA at Applications for Computer Algebra 2012 Conference 25-28, 2012. Sofia, Bulgaria The objective of the Compact Computer Algebra (CCA) meetings has been to explore the various questions that arise for computer algebra in a resource-constrained setting, such as with portable devices or when providing a computational service in a larger setting. This includes "compactness" in algorithms, data organization and system design. Recently, the CCA community has begun to explore potential target applications of compact computer algebra, for example: what type of software and services might benefit from embedding their own "compact" Computer Algebra System (CAS), or having an easy access to one, and what set of functionalities this CAS should be offering to its host. The current meeting, to be held in Sofia, builds on directions, exploring these and related questions. Topics of interest include, but are not limited to: * space-efficient data structures * memory-efficient implementations * compact kernels/engines * math education tools * portable and Internet-accessible symbolic calculators * CAS for personal digital assistants, including smartphones and tablets * "spell checkers" for math content in document processing software * validators for online and offline mathematical recognizers * expression equivalence testing for math education software * tools for computing measure of expression complexity * embedded software to generate custom numerical evaluators in real time * backend engines to pen-computing interfaces * math editing components for 2D expressions Contributed Talks ~~~~~~~~~~~~~~~~~~ Authors are invited to submit a one- or two-page abstract by May 1, 2012. Submissions will be reviewed based on relevance to the session, originality and scientific interest. Authors will be notified on or before May 15, 2012. System Demonstrations ~~~~~~~~~~~~~~~~~~~~~ Participants with CCA-related software they wish to demonstrate, should submit a one page abstract describing their system and what they wish to present by May 1, 2010. Important Dates ~~~~~~~~~~~~~~~ May 1 Deadline for submitting contributed talks and demo abstracts. May 15 Notification of acceptance June 25-27 see you at ACA How to submit ~~~~~~~~~~~~~ All abstracts are to be submitted by May 1 via EasyChar at http://www.easychair.org/conferences/?conf=cca20120 Please ensure your abstract is clearly marked as being for a contributed paper or software demonstration. Organizers ~~~~~~~~~~ * Elena Smirnova Education Technology, Texas Instruments, USA e-smirnova@ti.com * Stephen M. Watt Ontario Research Centre for Computer Algebra, U of Western Ontario, Canada stephen.watt@uwo.ca -------------- next part -------------- An HTML attachment was scrubbed... URL: https://mail.cms.math.ca/pipermail/webmath/attachments/20120213/c655a0d3/attachment.htm From J.T.Jeuring at uu.nl Fri Feb 17 05:15:16 2012 From: J.T.Jeuring at uu.nl (Johan Jeuring) Date: Fri Feb 17 09:27:22 2012 Subject: [Webmath] Conference on Intelligent Computer Mathematics, last call for papers Message-ID: <65C6AF62-7D10-4934-A313-0B8CFE373DD5@uu.nl> CICM 2012 - Conference on Intelligent Computer Mathematics July 9-13, 2012 at Jacobs University, Bremen, Germany http://www.informatik.uni-bremen.de/cicm2012/ 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 Conference on Intelligent Computer Mathematics offers a venue for discussing these areas and their synergy. The conference will be organized by Serge Autexier and Michael Kohlhase at Jacobs University in Bremen and consist of five tracks: Artificial Intelligence and Symbolic Computation (AISC) Co-Chairs: John A. Campbell, Jacques Carette Calculemus Chair: Gabriel Dos Reis Digital Mathematical Libraries (DML) Chair: Petr Sojka Mathematical Knowledge Management (MKM) Chair: Makarius Wenzel Systems and Projects Chair: Volker Sorge The overall programme will be organized by the General Program Chair Johan Jeuring. Invited talks will be given by: Yannis Haralambous, D?partement Informatique, T?l?com Bretagne Conor McBride, Department of Computer and Information Sciences, University of Strathclyde Cezar Ionescu, Potsdam Institute for Climate Impact Research ---------------------------------------------------------------- Important dates ---------------------------------------------------------------- Abstract submission: 20 February 2012 Submission deadline: 26 February 2012 Reviews sent to authors: 23 March 2012 Rebuttals due: 30 March 2012 Notification of acceptance: 6 April 2012 Camera ready copies due: 20 April 2012 Conference: 9-13 July 2012 ---------------------------------------------------------------- Tracks ---------------------------------------------------------------- *** AISC *** Symbolic computation can be roughly described as the study of algorithms which operate on expression trees. Another way to phrase this is to say that the denotational semantics of expressions trees is not fixed, but is rather context dependent. Expression simplification is probably the archetypal symbolic computation. Mathematically oriented software (such as the so-called computer algebra systems) have been doing this for decades, but not long thereafter, systems doing proof planning and theorem discovery also started doing the same; some attempts at knowledge management and 'expert systems' were also symbolic, but less successfully so. More recently, many different kinds of program analyses have gotten `symbolic', as well as some of the automated theorem proving (SMT, CAV, etc). But a large number of the underlying problems solved by symbolic techniques are well known to be undecidable (never mind the many that are EXP-time complete, etc). Artificial Intelligence has been attacking many of these different sub-problems for quite some time, and has also built up a solid body of knowledge. In fact, most symbolic computation systems grew out of AI projects. These two fields definitely intersect. One could say that in the intersection lies all those problems for which we have no decision procedures. In other words, decision procedures mark a definite phase shift in our understanding, but are not always possible. Yet we still want to solve certain problems, and must find 'other' means of (partial) solution. This is the fertile land which comprises the core of AISC. Rather than try to exhaustively list topics of interest, it is simplest to say that AISC seeks work which advances the understanding of Solving problems which fundamentally involve the manipulation of expressions, but for which decision procedures are unlikely to ever exist. *** Calculemus *** Calculemus is a series of conferences dedicated to the integration of computer algebra systems (CAS) and systems for mechanised reasoning, the interactive theorem provers or proof assistants (PA) and the 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 systems for computer mathematics that will routinely be used by mathematicians, computer scientists and engineers in their every day business. The topics of interest of Calculemus include but are not limited to: * Theorem proving in computer algebra (CAS) * Computer algebra in theorem proving (PA and ATP) * Case studies and applications that both involve computer algebra and mechanised reasoning * Representation of mathematics in computer algebra * Adding computational capabilities to PA and ATP * Formal methods requiring mixed computing and proving * Combining methods of symbolic computation and formal deduction * Mathematical computation in PA and ATP * Theory, design and implementation of interdisciplinary systems for computer mathematics * Theory exploration techniques * Input languages, programming languages, types and constraint languages, and modeling languages for mechanised mathematics systems (PA, CAS, and ATP). * 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. Following success of DML 2008, DML 2009 DML 2010, and DML 2011 track objectives are to formulate the strategy and goals of a global mathematical digital library and to summarize the current successes and failures of ongoing technologies and related projects as EuDML, asking such questions as: * What technologies, standards, algorithms and formats should be used and what metadata should be shared? * What business models are suitable for publishers of mathematical literature, authors and funders of their projects and institutions? * Is there a model of sustainable, interoperable, and extensible mathematical library that mathematicians can use in their everyday work? * What is the best practice for * retrodigitized mathematics (from images via OCR to MathML or TeX); * retro-born-digital mathematics (from existing electronic copy in DVI, PS or PDF to MathML or TeX); * born-digital mathematics (how to make needed metadata and file formats available as a side effect of publishing workflow [CEDRAM/Euclid model])? DML is an opportunity to share experience and best practices between projects in any area (MKM, NLP, OCR, pattern recognition, whatever) that could change the paradigm for searching, accessing, and interacting with the mathematical corpus. The track is trans/interdisciplinary and contributions from any kind of people on any aspect of the DML building are welcome. *** 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 presentation of systems and new and ongoing projects in all areas and topics related to the CICM conferences: * AI and Symbolic Computation * Deduction and Computer Algebra * Mathematical Knowledge Management * Digital Mathematical Libraries 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. We solicit submissions for two page abstracts in the categories of system descriptions and project presentations. System description should present * newly developed systems, * systems that have not previously been presented to the CICM community, or * significant updates to existing systems. Project presentation 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. All submissions should contain links to demos, downloadable systems, or project pages. Availability of such accompanying material will be a strong prerequisite for acceptance. Accepted abstracts will be published in the CICM proceedings in Springer's LNAI series. Author's are expected to present their abstracts in 5-10 minute teaser talks followed by an open demo/poster session. System papers must be accompanied by a system demonstration, while project papers must be accompanied by a poster presentation. ---------------------------------------------------------------- Submitting ---------------------------------------------------------------- Submissions to tracks A to D 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. Submissions to the Systems & Projects track must not exceed four pages. The accepted abstracts will be presented at CICM in a fast presentation session, followed by an open demo/poster session. System papers must be accompanied by a system demonstration, and project papers must be accompanied by a poster presentation. The four pages of the abstract should be new material, accompanied by links to demos/downloads/project-pages and [existing] system descriptions. Availability of such accompanying material will be a strong prerequisite for acceptance. 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 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. 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=cicm2012). ---------------------------------------------------------------- Program Committees ---------------------------------------------------------------- General chair: Johan Jeuring (Utrecht University and Open Universiteit the Netherlands) AISC track John A. Campbell; University College London, UK; Co-chair Jacques Carette; McMaster University, Canada; Co-chair Serge Autexier; DFKI Bremen, Germany Jacques Calmet; University of Karlsruhe, Germany Jacques Fleuriot; University of Edinburgh, UK Andrea Kohlhase; International University Bremen, Germany Erik Postma; Maplesoft Inc., Canada Alan Sexton; University of Birmingham, UK Chung-chieh Shan; Cornell University, USA. Stephen Watt; University of Western Ontario, Canada Calculemus track Gabriel Dos Reis; Texas A&M University, USA; Chair Andrea Asperti; University of Bologna, Italy Laurent Bernardin; Maplesoft, Canada James Davenport; University of Bath, UK Ruben Gamboa; University of Wyoming, USA Mark Giesbrecht; University of Waterloo, Canada Sumit Gulwani; Microsoft Research, USA John Harrison; Intel, USA Joris van der Hoeven; ?cole Polytechnique, France Hoon Hong; North Carolina State University, USA Lo?c Pottier; INRIA, France Wolfgang Windsteiger; RISC, Austria DML track Petr Sojka; Masaryk University, Brno, CZ; Chair Jos? Borbinha; Technical University of Lisbon, PT Thierry Bouche; University Grenoble, FR Michael Doob; University of Manitoba, Winnipeg, CA Thomas Fischer; Goettingen University, DE Yannis Haralambous; T?l?com Bretagne, FR V?clav Hlav??; Czech Technical University, Prague, CZ Michael Kohlhase; Jacobs University Bremen, DE Janka Chleb?kov?; Portsmouth University, UK Enrique Maci?s-Virg?s; University of Santiago de Compostela, ES Bruce Miller; NIST, USA Ji?? R?kosn?k; Academy of Sciences, Prague, CZ Eugenio Rocha; University of Aveiro, PT David Ruddy; Cornell University, US Volker Sorge; University of Birmingham, UK Masakazu Suzuki; Kyushu University, JP MKM track Makarius Wenzel; University of Paris-South, France; Chair David Aspinall; University of Edinburgh, Scotland Jeremy Avigad; Carnegie Mellon University, USA Mateja Jamnik; University of Cambridge, UK Cezary Kaliszyk; University of Tsukuba, Japan Manfred Kerber; University of Birmingham, UK Christoph L?th; DFKI Bremen, Germany Adam Naumowicz; University of Bia?ystok, Poland Jim Pitman; University of California, Berkeley, USA Pedro Quaresma; Universidade de Coimbra, Portugal Florian Rabe; Jacobs University Bremen, Germany Claudio Sacerdoti Coen; University of Bologna, Italy Enrico Tassi; INRIA Saclay, France Freek Wiedijk; Radboud University Nijmegen, The Netherlands Systems & Projects track Volker Sorge; University of Birmingham, UK; Chair Josef Baker; University of Birmingham, UK John Charnley; Imperial College, UK Manuel Kauers; RISC, Austria Koji Nakagawa; Kyushu University, Japan Piotr Rudnicki; University of Alberta, Canada Josef Urban; Radboud University Nijmegen, The Netherlands Richard Zanibbi; Rochester Institute of Technologies, USA From pedro at mat.uc.pt Mon Feb 27 07:50:54 2012 From: pedro at mat.uc.pt (Pedro Quaresma) Date: Mon Feb 27 09:57:29 2012 Subject: [Webmath] THedu'12, 1st call for papers Message-ID: <201202271250.55831.pedro@mat.uc.pt> ---------------------------------------------------------------------- CALL FOR PAPERS ---------------------------------------------------------------------- THedu'12 TP components for educational software 11 July 2012 http://www.uc.pt/en/congressos/thedu Workshop at CICM 2012 Conferences on Intelligent Computer Mathematics 9-14. July 2012 Jacobs University, Bremen, Germany http://www.informatik.uni-bremen.de/cicm2012/cicm.php ---------------------------------------------------------------------- THedu'12 Scope -------------- This workshop intends 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 workshop tries to combine and focus systems of these areas to enhance existing educational software as well as studying the design of the next generation of mechanised mathematics assistants (MMA). Elements for next-generation MMA's include: * Declarative Languages for Problem Solution: education in applied sciences and in engineering is mainly concerned with problems, which involve 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 Euklidian 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 inquiry-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. However, 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, 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, use the methods' knowledge to generate user-guidance mechanically, this 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 series is to provide appealing models for MMAs which are interactive and which explain themselves such that interested students can independently learn by inquiry and experimentation. Program Committee ----------------- Ralph-Johan Back, Abo University, Turku, Finland Francisco Botana, University of Vigo at Pontevedra, Spain Florian Haftman, Munich University of Technology, Germany Predrag Janicic, University of Belgrade, Serbia Cezary Kaliszyk, University of Tsukuba, Japan Julien Narboux, University of Strasbourg, France Filip Maric, University of Belgrade, Serbia Walther Neuper, Graz University of Technology, Austria Pedro Quaresma, University of Coimbra, Portugal Wolfgang Schreiner, Johannes Kepler University, Linz, Austria Laurent Th?ry, Sophia Antipolis, INRIA, France Makarius Wenzel, University Paris-Sud, France Burkhart Wolff, University Paris-Sud, France Important Dates (by easychair) --------------- * Extended Abstracts/Demo proposals: 01 May 2012 * Author Notification: 01 Jun 2012 * Final Version: 15 Jun 2012 * Worshop Day: 11 Jul 2012 Submission ---------- We welcome submission of proposals to present a demo, as well as submissions of extended abstracts (8 pages max) presenting original unpublished work which is not been submitted for publication elsewhere. Selected extended abstracts will appear in CISUC Technical Report series (ISSN 0874-338X, [1]). All accepted extended abstracts and system demos will be presented at the workshop, and the extended abstracts will be made available online. A publication post-proceedings (papers, 15 pages max) under EPTCS is under consideration. Extended abstracts and demo proposals should be submitted via THedu'12 easychair [2]. Extended abstracts should be no more than 8 pages in length and are to be submitted in PDF format. They must conform to the EPTCS style guidelines [3]. At least one author of each accepted extended abstract/demo is expected to attend THedu'12 and presents her or his extended abstract/demo. [1] http://www.uc.pt/en/fctuc/ID/cisuc/RecentPublications/Techreports/ [2] http://www.easychair.org/conferences/?conf=thedu12 [3] http://http://style.eptcs.org/ -- 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 2 02:53:32 2012 From: paul at hoplahup.net (Paul Libbrecht) Date: Fri Mar 2 08:53:29 2012 Subject: [Webmath] MathUI 2012: first call for papers (Mathematical User Interfaces Workshop) Message-ID: <0A3E51CB-4DA3-42B8-A085-AF17F829BBCA@hoplahup.net> Call for Papers: MathUI'12 ---------------------------------------- Mathematical User Interfaces Workshop 2012 ---------------------------------------- at the CICM conference, July 11th, Bremen Germany http://www.cermat.org/events/MathUI/12/ SCOPE This 6th mathematical user-interfaces workshop is a forum discussing how users can interact mathematically with the representations on a computer, how they can manipulate them to feel their mathematical nature, how knowledge can be communicated through computers. It happens in the form of a peer-reviewed workshop with presentations and discussion, followed by an expo-like demo-session. This workshop follows a successful series of meetings held along the Mathematical Knowledge Management conferences with a focus on actually experimentable user-intefaces. Topics include: - presentations on manipulation of mathematical knowledge - workflow studies based on mathematical applications - user studies on the effectiveness of interfaces - interactive teaching and testing - novel, original or downright funky interfaces to mathematics software - interactive mathematics generally SUBMISSIONS We are seeking submissions of either papers on and/or demonstrations of user interfaces for mathematics. Videos, prototypes, mock ups and any other sort of demonstration are welcome! Proceedings will be online. Submission format: article of 3-8 (printed) pages, in PDF format only, which may include other electronic presentations such as videos or animations complemented by an abstract of less than 150 words. Important Dates: - Submit a paper before or on May 23rd 2012 - Expect an answer on June 13th 2012 - Enjoy the workshop on July11th 2012 For submissions and further information, see the web-page: http://www.cermat.org/events/MathUI/12/ PROGRAMME COMMITTEE The workshop will be reviewed by the following persons: - David Aspinall, Edinburgh, Scotland - Paul Cairns, York, Great Britain - Olga Caprotti, Helsinki, Finland - Paul Libbrecht (organizer), Karlsruhe, Germany - Paul Topping, Long Beach, USA - Elena Smirnova, London, Canada For other inquiries please contact Paul Libbrecht, paul@cermat.org. From m.kohlhase at jacobs-university.de Thu Mar 29 12:22:31 2012 From: m.kohlhase at jacobs-university.de (m.kohlhase@jacobs-university.de) Date: Thu Mar 29 13:01:36 2012 Subject: [Webmath] CfP: Math Information Retrieval Worksohp 14. July 2012 Message-ID: <201203291622.q2TGMVtH031850@mx0.cms.math.ca> [apologies for multiple copies] MIR 2012 Workshop (Mathematics Information Retrieval) July 14. 2011 at CICM 2012, Bremen Germany http://cicm2012.cicm-conference.org/cicm.php?event=mir The MIR Workshop brings together researchers working on information retrieval for mathematical document collections for discussions and friendly systems competition. Workshop format: =========== The MIR Workshop will consist of a traditional-style scientific program with presentations of submitted papers in the half-day Math IR Symposium together with the Math IR happening, where workshop participants competitively or jointly solve a set of Math IR challenges and submit their solutions to a panel of mathematician judges. Important dates: - Symposium: Paper Submission: May 20. 2012 Notification: May 28. 2012 Final Versions: June 15. 2012 - Happening: Dataset available: now System Registration: May 20. 2012 Organizers: Michael Kohlhase, Jacobs University (PC co-chair) Petr Sojka, Brno University (PC co-chair) Math IR Symposium at MIR 2012 ==================== http://cicm2012.cicm-conference.org/cicm.php?event=mir&menu=symposium The Math IR Symposium is a traditional-style workshop with scientific contributions about mathematics information retrieval. Topics include but not limited to: - requirements for mathematics information retrieval: use cases and typical queries - formula search algorithms - semantically enhancing mathematical corpora for IR - extracting semantic relations from corpora. - evaluation of MIR (methods and test corpora) Math IR Happening at MIR 2012 ==================== http://cicm2012.cicm-conference.org/cicm.php?event=mir&menu=happening A friendly competition for the systems presented at the workshop. Since math information retrieval is still quite young and developing, we will not make this an official competition, but a happening, where we get together and test our system on a common set of problems. We expect the happening to transcend the workshop proper. From serge.autexier at dfki.de Fri Mar 30 03:21:40 2012 From: serge.autexier at dfki.de (Serge Autexier) Date: Fri Mar 30 10:04:23 2012 Subject: [Webmath] CICM 2012 Doctoral Programme Message-ID: <4F755F04.7080206@dfki.de> [Apologies for possible multiple postings.] [Please forward to interested students] CALL FOR APPLICATIONS CICM 2012 Doctoral Programme July 11, 2012 Jacobs University, Bremen http://cicm2012.cicm-conference.org/cicm.php?event=doctoral The CICM conferences AISC, Calculemus, DML, and MKM bring together researchers from the areas of Artificial Intelligence, computer algebra, automated deduction, and mathematical publishing who are interested in intelligent mathematical computation. It provides students an excellent opportunity to get an overview of ongoing research, challenges and meet established researchers. 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. APPLICATIONS Students at any stage of their PhD can apply and should submit the following documents: * 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.) The documents must be in PDF format and be submitted by email to the organizer Serge Autexier at serge.autexier@dfki.de (subject: CICM doctoral programme application) until May 16, 2012. Acceptance of applications will be based on relevance with respect to the topics of the CICM conference. A limited number of student grants will be available for the whole conference. To apply, please indicate this when submitting your proposal including a short explanation why you need a grant. The decision for the grants will be based on neccessity and merit. IMPORTANT DATES Submission of applications: May 16, 2012 Notification of acceptance: May 25, 2012 Mentor's feedback and advices: June 15, 2012 Doctoral programme: July 11, 2012 For any further questions please contact Serge Autexier (serge.autexier@dfki.de) -- 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 ch.lange at jacobs-university.de Mon Apr 2 19:00:01 2012 From: ch.lange at jacobs-university.de (Christoph LANGE) Date: Mon Apr 2 19:07:51 2012 Subject: [Webmath] CfP: OpenMath workshop at CICM (11 July, Bremen, Germany), submission deadline 25 May Message-ID: <4F7A2F71.5030606@jacobs-university.de> 24th OpenMath Workshop Bremen, Germany 11 July 2012 co-located with CICM 2012 Submission deadline 25 May http://www.informatik.uni-bremen.de/cicm2012/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; * 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") * 25 May: Submission * 20 June: Notification of acceptance or rejection * 04 July: Final revised papers due * 11 July: Workshop SUBMISSIONS Submission is via EasyChair (http://www.easychair.org/conferences?conf=om20120). 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 in time for the conference. ORGANISATION COMMITTEE * Christoph Lange (University of Bremen and Jacobs University Bremen, Germany) * James Davenport (University of Bath, UK) Comments/questions/enquiries: to be sent to om2012-0@easychair.org From J.T.Jeuring at uu.nl Tue Apr 17 09:28:32 2012 From: J.T.Jeuring at uu.nl (Johan Jeuring) Date: Tue Apr 17 14:25:44 2012 Subject: [Webmath] Conference on Intelligent Computer Mathematics, call for work-in-progress papers In-Reply-To: <65C6AF62-7D10-4934-A313-0B8CFE373DD5@uu.nl> References: <65C6AF62-7D10-4934-A313-0B8CFE373DD5@uu.nl> Message-ID: <14AE164F-240E-4CB7-ACA0-67EF681EE8EA@uu.nl> CICM 2012 - Conference on Intelligent Computer Mathematics July 9-13, 2012 at Jacobs University, Bremen, Germany http://www.informatik.uni-bremen.de/cicm2012/ Call for work-in-progress 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 Conference on Intelligent Computer Mathematics offers a venue for discussing these areas and their synergy. The conference will be organized by Serge Autexier and Michael Kohlhase at Jacobs University in Bremen and consist of five tracks: Artificial Intelligence and Symbolic Computation (AISC) Co-Chairs: John A. Campbell, Jacques Carette Calculemus Chair: Gabriel Dos Reis Digital Mathematical Libraries (DML) Chair: Petr Sojka Mathematical Knowledge Management (MKM) Chair: Makarius Wenzel Systems and Projects Chair: Volker Sorge The overall programme will be organized by the General Program Chair Johan Jeuring. Invited talks will be given by: Yannis Haralambous, D?partement Informatique, T?l?com Bretagne Conor McBride, Department of Computer and Information Sciences, University of Strathclyde Cezar Ionescu, Potsdam Institute for Climate Impact Research ---------------------------------------------------------------- Work in progress ---------------------------------------------------------------- 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. ---------------------------------------------------------------- Important dates ---------------------------------------------------------------- Submission deadline: 6 May 2012 Notification of acceptance: 27 May 2012 Camera ready copies due: 3 June 2012 Conference: 9-13 July 2012 From Stephen.Pride at glasgow.ac.uk Wed Apr 18 03:07:19 2012 From: Stephen.Pride at glasgow.ac.uk (Steve Pride) Date: Wed Apr 18 10:04:13 2012 Subject: [Webmath] Centenary of Alan Turing In-Reply-To: <14AE164F-240E-4CB7-ACA0-67EF681EE8EA@uu.nl> References: <65C6AF62-7D10-4934-A313-0B8CFE373DD5@uu.nl>, <14AE164F-240E-4CB7-ACA0-67EF681EE8EA@uu.nl> Message-ID: <2D783B26F35D6A4F84D37A8C8463A24C56323468F0@CMS03.campus.gla.ac.uk> Centenary of Alan Turing You probably know that this year (2012) is the Centenary of the birth of Alan Turing. There is a huge number of things arranged. Here is a tribute by myself and Matthew Paton (song and film) which we have recently put on the web. You can find it at: http://www.youtube.com/watch?v=ksUyhJRkvNk **Please have a look/listen to it, and send it on to others who may be interested** Steve Pride ---------------------------------------------------------------------------------------------------------------- See also http://www.mathcomp.leeds.ac.uk/turing2012/ for some of what is going on. From serge.autexier at dfki.de Tue May 8 03:17:31 2012 From: serge.autexier at dfki.de (Serge Autexier) Date: Tue May 8 09:34:06 2012 Subject: [Webmath] CICM 2012 Doctoral Programme: 2nd Call for Applications Message-ID: <4FA8C88B.7020108@dfki.de> [Apologies for possible multiple postings.] [Please forward to interested students] SECOND CALL FOR APPLICATIONS CICM 2012 Doctoral Programme July 11, 2012 Jacobs University, Bremen http://cicm2012.cicm-conference.org/cicm.php?event=doctoral The CICM conferences AISC, Calculemus, DML, and MKM bring together researchers from the areas of Artificial Intelligence, computer algebra, automated deduction, and mathematical publishing who are interested in intelligent mathematical computation. It provides students an excellent opportunity to get an overview of ongoing research, challenges and meet established researchers. 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. APPLICATIONS Students at any stage of their PhD can apply and should submit the following documents: * 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.) The documents must be in PDF format and be submitted by email to the organizer Serge Autexier at serge.autexier@dfki.de (subject: CICM doctoral programme application) until May 16, 2012. Acceptance of applications will be based on relevance with respect to the topics of the CICM conference. A limited number of student grants will be available for the whole conference. To apply, please indicate this when submitting your proposal including a short explanation why you need a grant. The decision for the grants will be based on neccessity and merit. IMPORTANT DATES Submission of applications: May 16, 2012 Notification of acceptance: May 25, 2012 Mentor's feedback and advices: June 15, 2012 Doctoral programme: July 11, 2012 For any further questions please contact Serge Autexier (serge.autexier@dfki.de) -- 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 Wed May 16 10:20:14 2012 From: serge.autexier at dfki.de (Serge Autexier) Date: Thu May 17 09:02:59 2012 Subject: [Webmath] CICM 2012 Doctoral Programme: Final Call for Applications Message-ID: <4FB3B79E.9060004@dfki.de> -----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 [Apologies for possible multiple postings.] [Please forward to interested students] FINAL CALL FOR APPLICATIONS CICM 2012 Doctoral Programme July 11, 2012 Jacobs University, Bremen http://cicm2012.cicm-conference.org/cicm.php?event=doctoral The CICM conferences AISC, Calculemus, DML, and MKM bring together researchers from the areas of Artificial Intelligence, computer algebra, automated deduction, and mathematical publishing who are interested in intelligent mathematical computation. It provides students an excellent opportunity to get an overview of ongoing research, challenges and meet established researchers. 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. APPLICATIONS Students at any stage of their PhD can apply and should submit the following documents: * 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.) The documents must be in PDF format and be submitted by email to the organizer Serge Autexier at serge.autexier@dfki.de (subject: CICM doctoral programme application) until May 16, 2012. Acceptance of applications will be based on relevance with respect to the topics of the CICM conference. A limited number of student grants will be available for the whole conference. To apply, please indicate this when submitting your proposal including a short explanation why you need a grant. The decision for the grants will be based on neccessity and merit. IMPORTANT DATES Submission of applications: May 16, 2012 Notification of acceptance: May 25, 2012 Mentor's feedback and advices: June 15, 2012 Doctoral programme: July 11, 2012 For any further questions please contact Serge Autexier (serge.autexier@dfki.de) - -- 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 - ---------------------------------------------------------------------- -----BEGIN PGP SIGNATURE----- Version: GnuPG/MacGPG2 v2.0.12 (Darwin) Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org/ iEYEARECAAYFAk+zt54ACgkQpRemUpqrsYNJhgCdEPYnuXN+aeQlM8Mlqfnrp+8n V20AmgLVBwJIRDGLnraC9zBZN4mjFDZE =srhN -----END PGP SIGNATURE----- From J.T.Jeuring at uu.nl Mon May 21 08:56:35 2012 From: J.T.Jeuring at uu.nl (Johan Jeuring) Date: Tue May 22 10:51:28 2012 Subject: [Webmath] CICM 2012: Call for participation Message-ID: <467625DF-FF5A-4F52-8784-B57724C01BE0@uu.nl> CICM 2012 - Conference on Intelligent Computer Mathematics July 9-13, 2012 at Jacobs University, Bremen, Germany http://www.informatik.uni-bremen.de/cicm2012/ Call for participation ---------------------------------------------------------------- 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 offers a venue for discussing these areas and their synergy. The conference is organized by Serge Autexier and Michael Kohlhase at Jacobs University in Bremen and consist of five tracks: Artificial Intelligence and Symbolic Computation (AISC) Co-Chairs: John A. Campbell, Jacques Carette Calculemus Chair: Gabriel Dos Reis Digital Mathematical Libraries (DML) Chair: Petr Sojka Mathematical Knowledge Management (MKM) Chair: Makarius Wenzel Systems and Projects Chair: Volker Sorge The overall programme is organized by the General Program Chair Johan Jeuring. Invited talks will be given by: Yannis Haralambous, D?partement Informatique, T?l?com Bretagne Conor McBride, Department of Computer and Information Sciences, University of Strathclyde Cezar Ionescu, Potsdam Institute for Climate Impact Research ---------------------------------------------------------------- Programme ---------------------------------------------------------------- The global programme of the conference, tracks, and workshops are available via: http://www.informatik.uni-bremen.de/cicm2012/cicm.php?event=&menu=programme and the accepted papers via: http://www.informatik.uni-bremen.de/cicm2012/cicm.php?event=&menu=accepted ---------------------------------------------------------------- Registration ---------------------------------------------------------------- Early registration rates are applicable until June 15. See http://www.informatik.uni-bremen.de/cicm2012/cicm.php?event=&menu=registration From bobm at dessci.com Thu May 24 12:35:21 2012 From: bobm at dessci.com (Bob Mathews) Date: Thu May 24 12:36:31 2012 Subject: [Webmath] [ANN] MathType 6.8: new release supports 64-bit Microsoft Office and more! Message-ID: <12A98623DC19324692A131380D7F41CA104E03@franklin.corp.dessci> Hi, We've released MathType 6.8 for Windows, with full support for 64-bit Microsoft Office! In addition, MathType 6.8 includes increased compatibility with 600+ applications and websites, new matrix functionality, accessibility authoring and more. MathType 6.8 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 ch.lange at jacobs-university.de Thu May 24 15:32:57 2012 From: ch.lange at jacobs-university.de (Christoph LANGE) Date: Thu May 24 15:55:22 2012 Subject: [Webmath] Deadline Extended to 1 June: OpenMath workshop at CICM (11 July, Bremen, Germany) Message-ID: <4FBE8CE9.1030804@jacobs-university.de> 24th OpenMath Workshop Bremen, Germany 11 July 2012 co-located with CICM 2012 Submission deadline (EXTENDED) 1 June http://www.informatik.uni-bremen.de/cicm2012/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; * 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") * 1 June: Submission (EXTENDED) * 20 June: Notification of acceptance or rejection * 04 July: Final revised papers due * 11 July: Workshop SUBMISSIONS Submission is via EasyChair (http://www.easychair.org/conferences?conf=om20120). 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 in time for the conference. ORGANISATION COMMITTEE * Christoph Lange (University of Bremen and Jacobs University Bremen, Germany) * James Davenport (University of Bath, UK) Comments/questions/enquiries: to be sent to om2012-0@easychair.org From J.T.Jeuring at uu.nl Mon Jun 11 10:27:27 2012 From: J.T.Jeuring at uu.nl (Johan Jeuring) Date: Wed Jun 13 13:18:40 2012 Subject: [Webmath] CICM 2012: 2nd Call for participation; early registration deadline approaching In-Reply-To: <467625DF-FF5A-4F52-8784-B57724C01BE0@uu.nl> References: <467625DF-FF5A-4F52-8784-B57724C01BE0@uu.nl> Message-ID: <474D0371-A2A4-4FC9-A7FF-2AEA7BE2BFAB@uu.nl> CICM 2012 - Conference on Intelligent Computer Mathematics July 9-13, 2012 at Jacobs University, Bremen, Germany http://www.informatik.uni-bremen.de/cicm2012/ Call for participation ---------------------------------------------------------------- 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 offers a venue for discussing these areas and their synergy. The conference is organized by Serge Autexier and Michael Kohlhase at Jacobs University in Bremen and consist of five tracks: Artificial Intelligence and Symbolic Computation (AISC) Co-Chairs: John A. Campbell, Jacques Carette Calculemus Chair: Gabriel Dos Reis Digital Mathematical Libraries (DML) Chair: Petr Sojka Mathematical Knowledge Management (MKM) Chair: Makarius Wenzel Systems and Projects Chair: Volker Sorge The overall programme is organized by the General Program Chair Johan Jeuring. Invited talks will be given by: Yannis Haralambous, D?partement Informatique, T?l?com Bretagne Conor McBride, Department of Computer and Information Sciences, University of Strathclyde Cezar Ionescu, Potsdam Institute for Climate Impact Research ---------------------------------------------------------------- Programme ---------------------------------------------------------------- The global programme of the conference, tracks, and workshops are available via: http://www.informatik.uni-bremen.de/cicm2012/cicm.php?event=&menu=programme and the accepted papers via: http://www.informatik.uni-bremen.de/cicm2012/cicm.php?event=&menu=accepted ---------------------------------------------------------------- Registration ---------------------------------------------------------------- Early registration rates are applicable until June 15. See http://www.informatik.uni-bremen.de/cicm2012/cicm.php?event=&menu=registration From mir2012 at easychair.org Wed Jun 13 15:01:09 2012 From: mir2012 at easychair.org (mir2012@easychair.org) Date: Thu Jun 14 09:34:16 2012 Subject: [Webmath] CFP: MIR 2012--Mathematics Information Retrieval, Bremen, July 8th Message-ID: <20120613190109.0F15163029@anxur.fi.muni.cz> [apologies for multiple copies] MIR 2012 Workshop (Mathematics Information Retrieval) July 8th, 2012 at CICM 2012, Bremen Germany http://cicm2012.cicm-conference.org/cicm.php?event=mir The MIR Workshop brings together researchers working on information retrieval for digital mathematics libraries and mathematical document collections for discussions and friendly systems competition. Workshop format: ================ The MIR Workshop will consist of a traditional-style scientific program with presentations of submitted papers in the Math IR Symposium together with the Math IR happening, where workshop participants competitively or jointly solve a set of Math IR challenges and submit their solutions to a panel of mathematician judges. Important dates: ================ - Symposium: Abstract Submission: June 15th, 2012 Paper Submission: June 16th, 2012 Notification: June 19th, 2012 Final Versions: June 22th, 2012 Proceedings on site July 8th, 2012 - Happening: Dataset available: now MIR System Registration: June 15th, 2012 Submissions in LNCS format (llncs.cls from Manuscript guidelines at www.springer.com/authors) should be sent via Easychair at: https://www.easychair.org/account/signin.cgi?conf=mir2012 Programme Committee (to be completed): ===================================== Michael Kohlhase, Jacobs University (PC co-chair) Petr Sojka, Masaryk University (PC co-chair) Math IR Symposium at MIR 2012 (July 8th, morning) ============================= http://cicm2012.cicm-conference.org/cicm.php?event=mir&menu=symposium The Math IR Symposium is a traditional-style half-day workshop with scientific contributions about mathematics information retrieval. Topics include but not limited to: - MIR systems design and descriptions - requirements for mathematics information retrieval: use cases and typical queries - formula normalization, similarity, indexing and search algorithms - mathematics retrieval corpora preparation and tagging - semantically enhancing mathematical corpora for IR (from math OCR or presentation MathML in DML) - extracting semantic relations from corpora - evaluation of MIR (methods and test corpora) Math IR Happening at MIR 2012 (July 8th, afternoon) ============================= http://cicm2012.cicm-conference.org/cicm.php?event=mir&menu=happening A friendly competition for the systems presented at the workshop. Since math information retrieval is still quite young and developing, we will not make this an official competition, but a happening, where we get together and try our systems on a common set of problems. We expect the happening to transcend the workshop proper. MIR is part of CICM multiconference and is followed by Digital Mathematics Library track of CICM on July 9th: http://www.informatik.uni-bremen.de/cicm2012/cicm.php?event=dml From mir2012 at easychair.org Sat Jun 23 03:00:12 2012 From: mir2012 at easychair.org (mir2012@easychair.org) Date: Mon Jun 25 09:51:15 2012 Subject: [Webmath] CFP: MIR 2012--Mathematics Information Retrieval, Bremen, July 8th Message-ID: <20120623070012.A457563927@anxur.fi.muni.cz> [Apologies for multiple copies] MIR 2012 Workshop (Mathematics Information Retrieval) July 8th, 2012 at CICM 2012, Bremen Germany http://cicm2012.cicm-conference.org/cicm.php?event=mir The MIR Workshop brings together researchers working on information retrieval for digital mathematics libraries and mathematical document collections for discussions and friendly systems competition. Workshop format: ================ The MIR Workshop will consist of a traditional-style scientific program with presentations of submitted papers in the Math IR Symposium together with the Math IR happening, where workshop participants competitively or jointly solve a set of Math IR challenges and submit their solutions to a panel of mathematician judges. Important dates (note the new dates!): ================ - Symposium: Abstract Submission: June 25th, 2012 Paper Submission: June 30th, 2012 Notification: by one week after paper submission Final Versions: July 3rd, 2012 Workshop with electronic preproceedings: July 8th, 2012 Yellow Postproceedings are planned after the workshop. - Happening: Dataset available: http://arxmliv.kwarc.info/mir12/ MIR System Registration: June 30th, 2012 Submissions in LNCS format (llncs.cls from Manuscript guidelines at www.springer.com/authors) should be sent via Easychair at: https://www.easychair.org/account/signin.cgi?conf=mir2012 Programme Committee (to be completed): ===================================== Michael Kohlhase, Jacobs University (PC co-chair) Petr Sojka, Masaryk University (PC co-chair) Akiko Aizawa, The University of Tokyo Iadh Ounis, University of Glasgow Leo Galamboš, Charles University, Prague MIR Happening Judges panel (to be completed) Romeo Anghelache, Zentralblatt Math Patrick Ion, Mathematical Reviews Invited (videoconference) talk (July 8th, after lunch): ============================== Michael Trott (Wolfram Research): Mathematical Search Math IR Symposium at MIR 2012 (July 8th, morning) ============================= http://cicm2012.cicm-conference.org/cicm.php?event=mir&menu=symposium The Math IR Symposium is a traditional-style half-day workshop with scientific contributions about mathematics information retrieval. Topics include but not limited to: - MIR systems design and descriptions - requirements for mathematics information retrieval: use cases and typical queries - formula normalization, similarity, indexing and search algorithms - mathematics retrieval corpora preparation and tagging - semantically enhancing mathematical corpora for IR (from math OCR or presentation MathML in DML) - extracting semantic relations from corpora - Evaluation of MIR (methods and test corpora) Symposium contributions do not have to be complemented by MIR system registration for Happening. Math IR Happening at MIR 2012 (July 8th, afternoon) ============================= http://cicm2012.cicm-conference.org/cicm.php?event=mir&menu=happening A friendly competition for the systems presented at the workshop. Since math information retrieval is still quite young and developing, we will not make this an official competition, but a happening, where we get together and try our systems on a common set of problems. We expect the happening to transcend the workshop proper. MIR is part of CICM multiconference and is followed by Digital Mathematics Library track of CICM on July 9th: http://www.informatik.uni-bremen.de/cicm2012/cicm.php?event=dml From J.T.Jeuring at uu.nl Mon Jul 2 10:21:33 2012 From: J.T.Jeuring at uu.nl (Johan Jeuring) Date: Tue Jul 3 11:20:13 2012 Subject: [Webmath] CICM 2012: Programme details on-line, last call for participation In-Reply-To: <474D0371-A2A4-4FC9-A7FF-2AEA7BE2BFAB@uu.nl> References: <467625DF-FF5A-4F52-8784-B57724C01BE0@uu.nl> <474D0371-A2A4-4FC9-A7FF-2AEA7BE2BFAB@uu.nl> Message-ID: <89A7546C-9223-4FF1-8AA3-CDA97FBBAB96@uu.nl> The detailed programme of CICM 2012 is now on-line. http://www.informatik.uni-bremen.de/cicm2012/cicm.php?event=&menu=detailed-programme If you want to attend CICM 2012, and haven't registered yet, please do so as soon as possible: http://www.informatik.uni-bremen.de/cicm2012/cicm.php?event=&menu=registration Johan Jeuring General program chair for CICM 2012 From pedro at mat.uc.pt Tue Sep 18 14:07:04 2012 From: pedro at mat.uc.pt (Pedro Quaresma) Date: Thu Sep 20 14:29:17 2012 Subject: [Webmath] (no subject) In-Reply-To: <201109011620.17422.pedro@mat.uc.pt> References: <4D46DACC.9070400@ist.tugraz.at> <201109011620.17422.pedro@mat.uc.pt> Message-ID: <201209181907.07741.pedro@mat.uc.pt> Note: Extended Deadline is 22 September 2012] Special Issue of The Electronic Journal of Mathematics & Technology (eJMT) https://php.radford.edu/~ejmt/ on Theorem-Prover based Systems for Education ===Scope CADGME, the Conference on Computer Algebra and Dynamic Geometry Sy- stems in Mathematics Education, has a working group on Theorem-Prover (TP) based Systems since 2009. This year's conference held in Novi Sad, Serbia, leads to a special issue with this scope: Recently and largely unnoticed in public, applications in science and technology drove the development of automated and interactive theorem proving technologies, which have become of major importance for mathe- matics and computer science in academia and in industry. However, their potential for a wide-spread education technology is unexplored, in spite of the fact, that TP exhibits features relevant for educati- onal systems: * TP supports automated checks of user-input: since input states a lemma to be proved within the logical context of a proof, a cal- culation or a geometric construction, TP checks user-input without specific code for large classes of input. Such automation brings systems for step-wise problem solving within reach. * TP covers the whole problem solving process: since TP implements reasoning ? the core of mathematical thinking, it supports all steps in problem solving (mathematising, comparing specifications, reason- ing and arguing, trying various strategies, until a solution can be verified). * TP has underlying knowledge in a human readable format (following the LCF-paradigm): mathematics knowledge is mechanized down to "first principles" beginning from basic axioms and definitions; so presenting explanations to learners is not an issue of implementa- tion but an issue of filtering off details. These features are distinguished from present educational mathematics software, from CAS, DGS, Spreadsheets etc. such that they promote a new generation of educational math assistants. Several prototypes are under construction in academic R&D for geometry, algebra and appli- cations in engineering disciplines. So it seems in time to publish TP's potential and expected impact on educational practice in a special issue. ===Important Dates Deadline: September 15, 2012 Deadline extended to: September 22, 2012 Submission: 16 pages pdf https://www.easychair.org/conferences/?conf=cadgme12-edutps Preliminary notification: October 22, 2012 Final notification due to eJMT referees Expected publication: Spring 2013 ===Submission Details We expect original articles (typically 12-18 pages) that present high- quality contributions that have not been previously published in an archival venue and that must not be simultaneously submitted for publication elsewhere. Guidelines https://php.radford.edu/~ejmt/SubmissionGuidelines.php ===Program Committee Christian G?tl, Graz University of Technology Roman Ha?ek, University of South Bohemia Zlatan Magajna, University of Ljubljana Filip Maric, University of Belgrade (chair) Walther Neuper, Graz University of Technology (co-chair) Pavel Pech, University of South Bohemia Rein Prank, University of Tartu Pedro Quaresma, University of Coimbra Judit Robu, University of Xluj-Napoca Wolfgang Windsteiger, University of Linz ===Topics of interest include, but are not limited to: * Features of TP which have specific potential for innovating educati- onal software * Descriptions of systems which implement TP components, and expected impact on innovating education * Reports from field-tests for TP-based systems * What are novel promises of TP for open learning scenarios in class, independent learning at home, in renewed math and science education? * How can TP provide additional challenges for gifted and interested students as well as extra tuition to catch up on, particularly for "slow but rigorous thinkers"? * What is the gain for designing curricula, when respective math know- ledge can be mechanized and is available "from first principles"? * What is the gain for evaluation and assessment, when the same soft- ware can be used for learning as well as for assessment (because for the latter only supportive functionality needs to be reduced)? * How can TP-based systems support and enforce continuity between ?intuitive? math at high-school and ?formal? math at university? * Are there ideas for open price competitions addressing the public in interactive mathematical challenges via ?cloud computing?? -- 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 c.lange at cs.bham.ac.uk Fri Oct 26 01:18:02 2012 From: c.lange at cs.bham.ac.uk (Christoph LANGE) Date: Mon Oct 29 12:54:11 2012 Subject: [Webmath] CfP: Web Intelligence, Mining & Semantics (June 2013, Madrid), Deadline 23 Dec In-Reply-To: <201210111131.q9BBV7mX012388@m1647.giga-dns.com> References: <201210111131.q9BBV7mX012388@m1647.giga-dns.com> Message-ID: <508A1D0A.6070709@cs.bham.ac.uk> Dear Math-on-the-Web communities, this conference seems relevant to me. Its main concern is "intelligent approaches to transform the World Wide Web into a global reasoning and semantics-driven computing machine" ? I'm sure this needs mathematics! Topics of interest include (full list below): * related to math search: * Semantics-driven information retrieval * Semantic data search * Interaction paradigms for semantic search * Evaluation of semantic search * Large Scale Data Mining * related to MathUI: * User interfaces * Quality of Life Technology for Web Document Access * related to MKM: * Semantic deep Web and intelligent e-Technology * Representation techniques for Web-based knowledge * Scalability vs. expressivity of reasoning on the Web Not so much about mathematics has been published there before, but here is one example: http://dl.acm.org/citation.cfm?doid=1988688.1988713 Cheers, Christoph -------- Original Message -------- (Apologies for cross-posting!) CALL FOR PAPERS International Conference on Web Intelligence, Mining and Semantics (WIMS'13) June 12-14, 2013 Madrid, Spain http://aida.ii.uam.es/wims13/ About WIMS'13: The 3rd International Conference on Web Intelligence, Mining and Semantics (WIMS'13) will be organised under the auspices of Autonomous University of Madrid, Spain. The WIMS series of conferences concerned with intelligent approaches to transform the World Wide Web into a global reasoning and semantics-driven computing machine. The conference will provide an excellent international forum for sharing knowledge and results in theory, methodology and applications of Web intelligence, Web mining and Web semantics. The purpose of the WIMS'13 is: - To provide a forum for established researchers and practitioners to present past and current research contributing to the state of the art of Web technology research and applications. - To give doctoral students an opportunity to present their research to a friendly and knowledgeable audience and receive valuable feedback. - To provide an informal social event where Web technology researchers and practitioners can meet. Conference Venue: The conference will be hosted by Autonomous University of Madrid. Call for Papers/Tutorials/Posters/Workshop: Authors are invited to submit full papers, tutorial proposals, posters on all related areas. Papers exploring new directions or areas will receive a thorough and encouraging review. Areas of interest include, but not limited to: Semantics-driven information retrieval Semantic agent systems Semantic data search Collective Intelligence Social Networking and Semantic Technologies Interaction paradigms for semantic search Evaluation of semantic search User interfaces Web mining Ubiquitous computing Bio-inspired Models & the Web Large Scale Data Mining Semantic deep Web and intelligent e-Technology Representation techniques for Web-based knowledge Quality of Life Technology for Web Document Access Rule markup languages and systems Semantic 3D media and content Scalability vs. expressivity of reasoning on the Web The detailed call for contributed papers, tutorial/workshop proposals, and posters can be found at: http://aida.ii.uam.es/wims13/cfp.php How to submit: The maximum length of - research papers is at most 12 pages in ACM format - tutorial/demonstration papers is 3 to 12 pages in ACM format - poster is at most 2 pages in ACM format Please note that the submission format is MS Word or PDF. The papers must be written in English and formatted according to the ACM guidelines. Author instructions and style files can be downloaded athttp://www.acm.org/sigs/publications/proceedings-templates Authors of accepted papers are expected to attend the conference and present their work. Tutorial/demonstration proposals, poster papers and full research paper submissions must be made electronically in MS Word or PDF format through the EasyChair submission system at https://www.easychair.org/conferences/? conf=wims13 Publication: Accepted papers/tutorials/posters will be published by ACM and disseminated through the ACM Digital Library. Selected extended papers will be invited to appear in a special issues of reputed journals in the field and also in a book published by Elsevier. Important Dates Electronic submission of research papers: December 23, 2012 Electronic submission of poster papers: December 23, 2012 Tutorial and Workshop proposals due: December 23, 2012 Notification of workshop acceptance: January 10, 2013 Notifications of tutorial acceptance: January 10, 2013 Notification of paper/poster acceptance: February 17, 2013 Registration opens: February 18, 2013 Camera-ready of accepted papers/tutorials: March 4, 2013 Deadline for paper submissions for workshops: February 7, 2013 Acceptance of papers for workshops: March 10, 2013 Camera ready workshop papers: March 30, 2013 Author registration deadline: March 30, 2013 Conference: 12-14 June,2013 Contact: David Camacho Escuela Polit?cnica Superior Universidad Aut?noma de Madrid Francisco Tom?s y Valiente, 11 , 28049, Madrid , Spain Tel/Fax: +34 91 497 51 00 E-mail: wims13@uam.es -- Christoph Lange, School of Computer Science, University of Birmingham http://cs.bham.ac.uk/~langec, Skype duke4701 ? Enabling Domain Experts to use Formalised Reasoning @ AISB 2013 2?5 April 2013, Exeter, UK. Deadlines 10 Dec (stage 1), 14 Jan (st. 2) http://cs.bham.ac.uk/research/projects/formare/events/aisb2013/ From serge.autexier at dfki.de Wed Dec 19 16:06:56 2012 From: serge.autexier at dfki.de (Serge Autexier) Date: Thu Dec 20 14:29:51 2012 Subject: [Webmath] Call for Workshops: Conf. Intelligent Computer Mathematics (CICM 2013) Message-ID: <20121219210656.AB36CFD7C2C@gigondas.localhost> CICM 2013 - Conference on Intelligent Computer Mathematics July 8-12, 2012 at the University of Bath, UK http://www.cicm-conference.org/2013 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. Workshop proposals for CICM 2013 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 conference fees will be levied on a per-day basis, so that 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@jacobs-university.de for consideration by the CICM 2013 organizers: James Davenport (University of Bath, UK): Conference Chair Jacques Carette (McMaster University, Canada): Program Chair David Aspinall (University of Edinburgh, Scotland): MKM Track Chair Christoph Lange (Univ of Birmingham, UK): System & Projects Track Chair Petr Sojka (Masaryk University, CZ): DML Track Chair Wolfgang Windsteiger (RISC, Austria): Calculemus Track Chair Important dates: Deadline for proposal submissions: January 28, 2013 Acceptance/rejection notification: February 8, 2013 Workshop dates: July 8-12, 2013 ----------------------------------------------------------------------- From serge.autexier at dfki.de Fri Dec 21 04:13:31 2012 From: serge.autexier at dfki.de (Serge Autexier) Date: Fri Dec 21 10:32:34 2012 Subject: [Webmath] CfP: Conf. Intelligent Computer Mathematics (Bath, UK, 7-12 Jul 2013); Deadline 8 Mar Message-ID: <20121221091331.C6B62FE28F7@mbp-autexier.informatik.uni-bremen.de> CICM 2013 - Conference on Intelligent Computer Mathematics July 7-12, 2013 at University of Bath, Bath, UK http://www.cicm-conference.org/2013/cicm.php 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 Conference 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 ---------------------------------------------------------------- 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: 7-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, bussiness 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 (more names will be added as confirmations arrive)