From miguelangel.abanades at urjc.es Mon Jan 26 03:44:50 2015 From: miguelangel.abanades at urjc.es (=?UTF-8?B?TWlndWVsIMOBLiBBYsOhbmFkZXM=?=) Date: Mon Jan 26 09:02:52 2015 Subject: [Webmath] =?utf-8?q?Extended_Deadline=3A_Call_for_Papers_=2C_?= =?utf-8?b?77u/77u/UG9zdC1jb25mZXJlbmNlIFByb2NlZWRpbmdz77u/LCBBREcg?= =?utf-8?b?MjAxNO+7vw==?= Message-ID: ---------------------------------------------------------------- Call for Papers ? ??Post-conference Proceedings? Extended deadline: 2015/02/13 ??Automated Deduction in Geometry (ADG 2014)? ??http://www.uc.pt/en/congressos/adg/adg2014? -------------------------------------------------------------------- *OVERVIEW* ADG is a forum to exchange ideas and views, to present research results and progress, and to demonstrate software tools at the intersection between geometry and automated deduction. The post-conference proceedings of ADG 2014 will be published in the LNCS/LNAI series by Springer-Verlag. You are invited to submit original research papers (of 10-20 pages) for possible publication. Your contributions have to be within the scope of ADG, but their contents do not necessarily have to be related to the presentations made at ADG 2014. Moreover, contributions from authors who were not present at ADG 2014 are also welcome. All submissions will be formally reviewed according to the usual standard of international conferences. *SCOPE* Relevant topics include (but are not limited to): polynomial algebra, invariant and coordinate-free methods, probabilistic, synthetic, and logical approaches, techniques for automated geometric reasoning from discrete mathematics, combinatorics, and numerics; symbolic and numeric methods for geometric computation, geometric constraint solving, automated generation/reasoning and manipulation with diagrams; design and implementation of geometry software, special-purpose tools, automated theorem provers, experimental studies; applications of ADG to mechanics, geometric modelling, CAGD/CAD, computer vision, robotics, and education. *SUBMISSION GUIDELINES* We invite the submission of full papers up to 20 pages. The submissions should follow the standard LaTeX2e format for Springer LNCS Proceedings and Other Multiauthor Volumes available here; Electronic submission is required via EasyChair (Easychair track, ADG 2014 post-proceedings). Note that submissions go through a new Easychair track, ADG 2014 post-proceedings. Please, do not remove your old submission, if any. If you have any problems with the submission of your paper, or questions concerning ADG 2014 or EasyChair, please contact any of the editors. *IMPORTANT DATES* Submission: 2015/02/13 Reviews sent to authors: 2015/03/20 Revised papers due: 2015/03/27 Final Decision: 2015/04/03 Camera ready copies due: 2015/04/17 *EDITORS* * Francisco Botana, University of Vigo, Spain. * Pedro Quaresma, University of Coimbra, Portugal. *PROGRAM COMMITTEE* * Francisco Botana, University of Vigo, Spain (Chair) * Hirokazu Anai, ??Fujitsu Laboratories Ltd/Kyushu University, Japan * Xiaoyu Chen, Beihang University, China * Giorgio Dalzotto, ISI N. Machiavelli, Italy. * Jacques Fleuriot, University of Edinburgh, UK * Xiao-Shan Gao, Chinese Academy of Sciences, China * Tetsuo Ida, University of Tsukuba, Japan * Predrag Janicic, University of Belgrade, Serbia * Ulrich Kortenkamp, Martin-Luther-Universit?t Halle-Wittenberg, Germany * Shuichi Moritsugu, University of Tsukuba, Japan * Julien Narboux, University of Strasbourg, France * Pavel Pech, University of South Bohemia, Czech Republic * Pedro Quaresma, University of Coimbra, Portugal * Eugenio Roanes-Lozano, Complutense University of Madrid, Spain * Pascal Schreck, University of Strasbourg, France * Meera Sitharam, University of Florida, USA * Thomas Sturm, Max Planck Institute, Germany * Dingkang Wang, Chinese Academy of Sciences, China * Dongming Wang, Beihang University, China and UPMC-CNRS, France -------------- next part -------------- An HTML attachment was scrubbed... URL: https://mail.cms.math.ca/pipermail/webmath/attachments/20150126/6b36bf8d/attachment.htm From serge.autexier at dfki.de Tue Feb 3 01:49:57 2015 From: serge.autexier at dfki.de (Serge Autexier) Date: Tue Feb 3 10:03:57 2015 Subject: [Webmath] MKM, Calculemus and DML (CICM 2015): 2nd CfP, Invited Speakers & Workshops Message-ID: <20150203064957.A2B6B254A46F@gigondas.local> 2nd Call for Papers Conference on Intelligent Computer Mathematics CICM 2015 13-17 July 2015 Washington DC, USA Digital and computational solutions are becoming the prevalent means for the generation, communication, processing, storage and curation of mathematical information. Separate communities have developed to investigate and build computer based systems for computer algebra, automated deduction, and mathematical publishing as well as novel user interfaces. While all of these systems excel in their own right, their integration can lead to synergies offering significant added value. The Conference on Intelligent Computer Mathematics (CICM) offers a venue for discussing and developing solutions to the great challenges posed by the integration of these diverse areas. CICM has been held annually as a joint meeting since 2008, co-locating related conferences and workshops to advance work in these subjects. Previous meetings have been held in Birmingham (UK 2008), Grand Bend (Canada 2009), Paris (France 2010), Bertinoro (Italy 2011), Bremen (Germany 2012), Bath (UK 2013), and Coimbra (Portugal 2014). This is a (short version of the) call for papers for CICM 2015, which will be held in Washington, D.C., 13-17 July 2015. The full version of the CFP is available from the conference web page at http://cicm-conference.org/2015/cicm.php ********************************************************************** Invited Speakers: ********************************************************************** * Leonardo de Moura, https://leodemoura.github.io/ "Formalizing mathematics using the Lean Theorem Prover" (http://leanprover.github.io/) * Tobias Nipkow, http://www21.in.tum.de/~nipkow/ "Analyzing the Archive of Formal Proofs" * Jim Pitman, http://www.stat.berkeley.edu/~pitman/ * Richard Zanibbi, http://www.cs.rit.edu/~rlaz/ "Math Search for the Masses: Multimodal Search Interfaces and Appearance-Based Retrieval" ********************************************************************** The principal tracks of the conference will be: ********************************************************************** * Calculemus (Symbolic Computation and Mechanised Reasoning) Chair: Jacques Carette * DML (Digital Mathematical Libraries) Chair: Volker Sorge * MKM (Mathematical Knowledge Management) Chair: Cezary Kaliszyk * Systems and Data Chair: Florian Rabe * Doctoral Programme Chair: Umair Siddique Publicity chair is Serge Autexier. The local arrangements will be coordinated by the Local Arrangements Chairs, Bruce R. Miller (National Institute of Standards and Technology, USA) and Abdou Youssef (The George Washington University, Washington, D.C.), and the overall programme will be organized by the General Programme Chair, Manfred Kerber (U. Birmingham, UK). As in previous years, we will have co-located workshops. Currently planned are: * Formal Mathematics for Mathematicians * Theorem proving components for Educational software (ThEdu'15) * MathUI Furthermore we will have a doctoral programme to mentor doctoral students giving presentations and a tutorial on the generic proof assistant Isabelle. We also solicit for project descriptions, surveys, and work-in-progress papers. ********************************************************************** Important Dates ********************************************************************** Conference submissions: Abstract submission deadline: 16 February 2015 Submission deadline: 23 February 2015 Reviews sent to authors: 6 April 2015 Rebuttals due: 9 April 2015 Notification of acceptance: 13 April 2015 Camera ready copies due: 27 April 2015 Conference: 13-17 July 2015 Work-in-progress and Doctoral Programme submissions: Submission deadline: (Doctoral: Abstract+CV) 4 May 2015 Notification of acceptance: 25 May 2015 Camera ready copies due: 1 June 2015 More detailed information, e.g. on submission via EasyChair and the Springer LNAI format, can be found on http://cicm-conference.org/2015/cicm.php From muh_sidd at encs.concordia.ca Mon Feb 9 17:21:57 2015 From: muh_sidd at encs.concordia.ca (Muhammad Umair Siddique) Date: Tue Feb 10 09:50:55 2015 Subject: [Webmath] CICM 2015 Doctoral Programme [Call for Applications] Message-ID: <20150209172157.jxmk5lbugwkw88sg@mail.encs.concordia.ca> CALL FOR APPLICATIONS CICM 2015 Doctoral Programme 13-17 July 2015 Washington DC, USA http://www.cicm-conference.org/2015/cicm.php The CICM conferences 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.) 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 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 necessity and merit. IMPORTANT DATES Submission of applications: May 4, 2015 Notification of acceptance: May 25, 2015 For any further questions please contact Umair Siddique (muh_sidd@ece.concordia.ca) From pedro at mat.uc.pt Thu Feb 12 14:19:36 2015 From: pedro at mat.uc.pt (Pedro Quaresma) Date: Fri Feb 13 09:33:22 2015 Subject: [Webmath] ThEdu'15, Theorem proving components for Educational software - cfp Message-ID: <3238522.i9vU3QHUmd@gentzen> Call for Extended Abstracts & Demonstrations - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - ThEdu'15 Theorem proving components for Educational software July 13-17, 2015 http://www.uc.pt/en/congressos/thedu/thedu15) - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - at CICM 2015 Conferences on Intelligent Computer Mathematics Washington DC, USA http://cicm-conference.org/2015 - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - THedu'15 Scope: The distinguishing feature of mathematics is reasoning: questionable statements are proved by the laws of logic. This kind of reasoning makes mathematics a central thinking technology of modern science. Educational software tools have integrated technologies from Computer Algebra, from Dynamic Geometry, from Spreadsheets and others, but not from (computer) theorem proving (TP) with few exceptions: the latter have been developed to model mathematical reasoning in software; theorem provers (TPs) are successfully used to tackle difficult proofs in the science of mathematics, like the Four Color Problem or the Kepler Conjecture; and TPs are successfully used to verify safety critical software in industry. This workshop addresses support for reasoning in mathematics education by use of TP technology. The workshop addresses educators and designers and developers of TPs as well as of other educational mathematics software; and the discussions shall clarify the requirements of education, identify advantages and promises of TP for learning and motivate development of a novel kind of tools probably establishing a new generation of educational mathematical tools. Important Dates * Extended Abstracts: 24 May 2015 * Author Notification: 08 June 2015 * Final Version: 21 June 2015 * Workshop Day: 1 day (13-17 July) Points of interest include: Adaption of TP - concepts and technologies for education: knowledge representation, simplifiers, reasoners; undefinednes, level of abstraction, etc. Requirements on software support for reasoning - reasoning appears as the most advanced method of human thought, so at which age and what kind of support TP can provide? Automated TP in geometry - relating intuitive evidence with logical rigor: specific provers, adaption of axioms and theorems, visual proofs, etc. Levels of authoring - in order to cope with generality of TP: experts adapt to specifics of countries or levels, teachers adapt to courses and students. Adaptive modules, students modeling and learning paths - services for user guidance provided by TP technology: which interfaces enable flexible generation of adaptive user guidance? Next-step-guidance, which suggests a next step when a student gets stuck in problem solving: which computational methods can extend TP for that purpose? TP as unifying foundation - for the integration of technologies like CAS, DGS, Spreadsheets etc: interfaces for unified support of reasoning? Continuous tool chains - for mathematics education from high-school to university, from algebra and geometry to graph theory etc. Submission We welcome submission of extended abstracts and demonstration proposals presenting original unpublished work which is not been submitted for publication elsewhere. All accepted extended abstracts and demonstrations will be presented at the workshop. The extended abstracts will be made available online. Extended abstracts and demonstration proposals should be submitted via THedu'15 easychair (https://www.easychair.org/conferences/?conf=thedu15). Extended abstracts and demonstration proposals should be no more than 4 pages in length and are to be submitted in PDF format. They must conform to the EPTCS style guidelines (http://style.eptcs.org/). At least one author of each accepted extended abstract/demonstration proposal is expected to attend THedu'15 and presents his/her extended abstract/demonstration. Program Committee Francisco Botana, University of Vigo at Pontevedra, Spain Roman Ha?ek, University of South Bohemia, Czech Republic Filip Maric, University of Belgrade, Serbia Walther Neuper, Graz University of Technology, Austria (co-chair) Pavel Pech, University of South Bohemia, Czech Republic Pedro Quaresma, University of Coimbra, Portugal (co-chair) Vanda Santos, CISUC, Portugal Wolfgang Schreiner, Johannes Kepler University, Austria Burkhart Wolff, University Paris-Sud, France Proceedings Following ThEdu'13 and ThEdu'14 practise we expect to have a joint proceedings of the workshops co-located with the Conferences on Intelligent Computer Mathematics. ---//--- CICM 2015, Conference on Intelligent Computer Mathematics, July 13-17, 2015, Washington DC, USA. ThEdu'15, 4th International Workshop on Theorem proving components for Educational software, colocated with CICM 2015, July 13-17, 2015, Washington DC, USA. ---//--- -- 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 miguelangel.abanades at urjc.es Fri Feb 13 09:48:40 2015 From: miguelangel.abanades at urjc.es (=?UTF-8?B?TWlndWVsIMOBLiBBYsOhbmFkZXM=?=) Date: Tue Feb 17 09:55:00 2015 Subject: [Webmath] =?utf-8?q?Extended_Deadline=3A_Call_for_Papers=2C_ADG_?= =?utf-8?b?MjAxNO+7vw==?= Message-ID: ---------------------------------------------------------------- Call for Papers ? ??Post-conference Proceedings? Extended deadline: 2015/03/01 ??Automated Deduction in Geometry (ADG 2014)? ??http://www.uc.pt/en/congressos/adg/adg2014? -------------------------------------------------------------------- *OVERVIEW* ADG is a forum to exchange ideas and views, to present research results and progress, and to demonstrate software tools at the intersection between geometry and automated deduction. The post-conference proceedings of ADG 2014 will be published in the LNCS/LNAI series by Springer-Verlag. You are invited to submit original research papers (of 10-20 pages) for possible publication. Your contributions have to be within the scope of ADG, but their contents do not necessarily have to be related to the presentations made at ADG 2014. Moreover, contributions from authors who were not present at ADG 2014 are also welcome. All submissions will be formally reviewed according to the usual standard of international conferences. *SCOPE* Relevant topics include (but are not limited to): polynomial algebra, invariant and coordinate-free methods, probabilistic, synthetic, and logical approaches, techniques for automated geometric reasoning from discrete mathematics, combinatorics, and numerics; symbolic and numeric methods for geometric computation, geometric constraint solving, automated generation/reasoning and manipulation with diagrams; design and implementation of geometry software, special-purpose tools, automated theorem provers, experimental studies; applications of ADG to mechanics, geometric modelling, CAGD/CAD, computer vision, robotics, and education. *SUBMISSION GUIDELINES* We invite the submission of full papers up to 20 pages. The submissions should follow the standard LaTeX2e format for Springer LNCS Proceedings and Other Multiauthor Volumes available here; Electronic submission is required via EasyChair (Easychair track, ADG 2014 post-proceedings). Note that submissions go through a new Easychair track, ADG 2014 post-proceedings. Please, do not remove your old submission, if any. If you have any problems with the submission of your paper, or questions concerning ADG 2014 or EasyChair, please contact any of the editors. *IMPORTANT DATES* Submission: abstract submission or contact editors: 2015/02/15 extended deadline (full paper): 2015/03/01 Reviews sent to authors: 2015/04/5 Revised papers due: 2015/04/12 Final Decision: 2015/05/10 Camera ready copies due: 2015/05/17 *EDITORS* * Francisco Botana, University of Vigo, Spain. * Pedro Quaresma, University of Coimbra, Portugal. *PROGRAM COMMITTEE* * Francisco Botana, University of Vigo, Spain (Chair) * Hirokazu Anai, ??Fujitsu Laboratories Ltd/Kyushu University, Japan * Xiaoyu Chen, Beihang University, China * Giorgio Dalzotto, ISI N. Machiavelli, Italy. * Jacques Fleuriot, University of Edinburgh, UK * Xiao-Shan Gao, Chinese Academy of Sciences, China * Tetsuo Ida, University of Tsukuba, Japan * Predrag Janicic, University of Belgrade, Serbia * Ulrich Kortenkamp, Martin-Luther-Universit?t Halle-Wittenberg, Germany * Shuichi Moritsugu, University of Tsukuba, Japan * Julien Narboux, University of Strasbourg, France * Pavel Pech, University of South Bohemia, Czech Republic * Pedro Quaresma, University of Coimbra, Portugal * Eugenio Roanes-Lozano, Complutense University of Madrid, Spain * Pascal Schreck, University of Strasbourg, France * Meera Sitharam, University of Florida, USA * Thomas Sturm, Max Planck Institute, Germany * Dingkang Wang, Chinese Academy of Sciences, China * Dongming Wang, Beihang University, China and UPMC-CNRS, France -------------- next part -------------- An HTML attachment was scrubbed... URL: https://mail.cms.math.ca/pipermail/webmath/attachments/20150213/81119f3b/attachment.htm From V.Sorge at cs.bham.ac.uk Sun Feb 15 12:20:50 2015 From: V.Sorge at cs.bham.ac.uk (Volker Sorge) Date: Tue Feb 17 10:18:28 2015 Subject: [Webmath] ARW'15: Call for Abstracts and Grant Applications Message-ID: <201502162210.t1GMAIjP007605@mx0.cms.math.ca> ------------------------------------------------------------------ [ We apologise if you receive multiple copies ] ------------------------------------------------------------------ 22nd Automated Reasoning Workshop (ARW'15) 9-10 April 2015 University of Birmingham http://www.cs.bham.ac.uk/go/sdag/arw15/ CALL FOR ABSTRACTS AND STUDENT TRAVEL GRANT APPLICATIONS GENERAL INFORMATION The 22nd Automated Reasoning Workshop (ARW 2015) will be held at the University of Birmingham on 9-10 April 2015. SCOPE The workshop provides an informal forum for the automated reasoning community to discuss recent work, new ideas and applications, and current trends. It aims to bring together researchers from all areas of automated reasoning in order to foster links among researchers from various disciplines; among theoreticians, implementers and users alike. Topics include but are not limited to: - Theorem proving in classical and non-classical logics; - Interactive theorem proving, logical frameworks, proof assistants, proof planning - Reasoning methods: * Saturation-based, instantiation-based, tableau, SAT * Equational reasoning, unification * Constraint satisfaction * Decision procedures, SMT * Combining reasoning systems * Non-monotonic reasoning, commonsense reasoning, * Abduction, induction * Model checking, model generation, explanation - Formal methods to specifying, deriving, transforming and verifying computer systems, requirements and software - Logic-based knowledge representation and reasoning: * Ontology engineering and reasoning * Domain specific reasoning (spatial, temporal, epistemic,agents, etc) - Logic and functional programming, deductive databases - Implementation issues and empirical results, demos - Practical experience and applications of automated reasoning The workshop will be highly interactive, giving all attendees an opportunity to participate. There will be sessions for displaying posters and presenting system demonstrations, and open discussion sessions organised around specific topics: Inference and Systems Biology and Verification of Quantum Protocols The discussion sessions will follow the invited lectures devoted to these topics. INVITED SPEAKERS Oliver Ray University of Bristol Florian Kammueller Middlesex University London and TU Berlin SUBMISSIONS We invite the submission of camera-ready, two-page extended abstracts about recent work, work in progress, or a system description. The abstract can describe work that has already been published elsewhere. The main objective of the abstracts is to spread information about recent work in our community, and we expect to accept most on-topic submissions, but we may ask for revisions. Please send you submission via Easychair at https://www.easychair.org/conferences/?conf=arw15 To prepare your submission, please use the ARW LaTeX style file provided from the workshop website. Each submission should include the names and complete addresses (including email) of all authors. For the final versions we require all sources (tex file and any input files). PUBLICATION DETAILS Abstracts will be published in informal workshop notes and will be made available on the workshop page. PRESENTATIONS Each workshop participant will be asked to give a short talk (5-10 minutes) to introduce their research. Each participant will also be allocated space in a poster session (poster size up to A0), where they can further present and discuss their work. Please prepare posters for the event. STUDENT GRANTS We have a limited number of grants available to support PhD students in attending the event. If you are interested submit an application by 27 February. Please refer to the workshop website for details. IMPORTANT DATES 27 Feb 2015 Student grant application deadline 9 Mar 2015 Abstract submission deadline 13 Mar 2015 Abstract notification 20 Mar 2015 Final version due 9/10 Apr 2015 Workshop ARW ORGANISING COMMITTEE Alexander Bolotov Simon Colton David Crocker Louise Dennis Clare Dixon Jacques Fleuriot Ullrich Hustadt Mateja Jamnik Katya Komendantskaya Alice Miller Renate Schmidt Volker Sorge LOCAL ORGANISERS Volker Sorge CONTACT Please address any queries about the workshop to arw15@easychair.org. From serge.autexier at dfki.de Thu Feb 19 09:09:35 2015 From: serge.autexier at dfki.de (Serge Autexier) Date: Fri Feb 20 10:06:55 2015 Subject: [Webmath] CFP CICM 2015 - Deadline Extension Message-ID: <20150219140935.1071A25BA220@mbp-autexier.informatik.uni-bremen.de> [Apologies if you have received multiple copies of this announcement] Following a number of requests we have extended the submission deadlines for CICM 2015 as follows: OLD NEW Abstract submission deadline: Mon, 16 Feb Wed, 25 Feb Submission deadline: Mon, 23 Feb Mon, 2 Mar Kind regards, Manfred Kerber -------------------------------------------------------------------------------- Call for Papers Conference on Intelligent Computer Mathematics CICM 2015 13-17 July 2015 Washington DC, USA Digital and computational solutions are becoming the prevalent means for the generation, communication, processing, storage and curation of mathematical information. Separate communities have developed to investigate and build computer based systems for computer algebra, automated deduction, and mathematical publishing as well as novel user interfaces. While all of these systems excel in their own right, their integration can lead to synergies offering significant added value. The Conference on Intelligent Computer Mathematics (CICM) offers a venue for discussing and developing solutions to the great challenges posed by the integration of these diverse areas. CICM has been held annually as a joint meeting since 2008, co-locating related conferences and workshops to advance work in these subjects. Previous meetings have been held in Birmingham (UK 2008), Grand Bend (Canada 2009), Paris (France 2010), Bertinoro (Italy 2011), Bremen (Germany 2012), Bath (UK 2013), and Coimbra (Portugal 2014). This is a (short version of the) call for papers for CICM 2015, which will be held in Washington, D.C., 13-17 July 2015. The full version of the CFP is available from the conference web page at http://cicm-conference.org/2015/cicm.php ********************************************************************** The principal tracks of the conference will be: ********************************************************************** * Calculemus (Symbolic Computation and Mechanised Reasoning) Chair: Jacques Carette * DML (Digital Mathematical Libraries) Chair: Volker Sorge * MKM (Mathematical Knowledge Management) Chair: Cezary Kaliszyk * Systems and Data Chair: Florian Rabe Publicity chair is Serge Autexier. The local arrangements will be coordinated by the Local Arrangements Chairs, Bruce R. Miller (National Institute of Standards and Technology, USA) and Abdou Youssef (The George Washington University, Washington, D.C.), and the overall programme will be organized by the General Programme Chair, Manfred Kerber (U. Birmingham, UK). As in previous years, it is anticipated that there will be a number co-located workshops, including one to mentor doctoral students giving presentations. We also solicit for project descriptions and work-in-progress papers. ********************************************************************** Important Dates ********************************************************************** Conference submissions: Abstract submission deadline: 25 February 2015 Submission deadline: 2 March 2015 Reviews sent to authors: 6 April 2015 Rebuttals due: 9 April 2015 Notification of acceptance: 13 April 2015 Camera ready copies due: 27 April 2015 Conference: 13-17 July 2015 Work-in-progress and Doctoral Programme submissions: Submission deadline: (Doctoral: Abstract+CV) 4 May 2015 Notification of acceptance: 25 May 2015 Camera ready copies due: 1 June 2015 More detailed information, e.g. on submission via EasyChair, can be found on http://cicm-conference.org/2015/cicm.php From bobm at dessci.com Thu Mar 5 13:25:41 2015 From: bobm at dessci.com (Bob Mathews) Date: Thu Mar 5 13:43:10 2015 Subject: [Webmath] MathPlayer 4 Beta released -- speak math in IE, Firefox, Word, PPT Message-ID: <96976DDE4A17D0498C2C83B3BD677E22AD7758B2@FERMAT.corp.dessci> Hi, We are happy to announce the release of the MathPlayer 4 public beta. Now, students with blindness or other visual impairments are able learn, practice and take math and science tests on a more equal footing with their classroom peers. Design Science has been working jointly with Educational Testing Service (ETS) and assisted by some of the country's leading subject matter experts and developers of assistive technology. The initial release works with the NVDA screen reader to speak and Braille math in Microsoft Word & PowerPoint, Internet Explorer and Firefox. We expect to announce MathPlayer support with other AT software products in the coming weeks and months. The press release is included below, and available here on our website: http://www.dessci.com/en/company/press/releases/150305.htm Please let me know if you have questions. Sincerely, Bruce Virga brucev@dessci.com EVP of Sales & Business Development, COO T: +1 (562) 432-2920 M: +1 (949) 233-8212 Design Science, Inc. > 140 Pine Avenue, 4th Floor Long Beach, California 90802 USA ~ Makers of MathType, MathFlow & MathPlayer ~ ====================== FOR IMMEDIATE RELEASE ====================== Design Science Releases MathPlayer 4 Beta Enables math to be spoken in assistive technology products. Long Beach, Calif. - March 5, 2015 - Math and science tests by their graphic nature are difficult for students who are blind or who have visual impairments. A major step toward overcoming this barrier is being realized with today's public beta release of Design Science's MathPlayer 4, with new math-to-speech technology that enables such test takers to learn, practice, and take math and science tests on a more equal footing with their classroom peers. Design Science has been working jointly with Educational Testing Service (ETS) and assisted by some of the country's leading subject matter experts and developers of assistive technology. The effort is supported by the U.S. Department of Education's Institute of Education Sciences through a grant award of approximately $1.5 million. In supported environments, the initial release works with NonVisual Desktop Access (NVDA) screen reader to speak and Braille mathematical content in Microsoft Word and PowerPoint, Internet Explorer and Firefox. Users can also navigate within any equation to listen, study and learn at their own pace. In addition, MathPlayer 4 continues to have the most complete support for MathML and supports both visual rendering and speech in Internet Explorer (requires Enterprise Mode in IE11). "MathPlayer 4 makes it possible for people with visual impairments to hear math as it would be spoken by a teacher and to navigate the question piece by piece, something that hasn't been possible before," says Dr. Lois Frankel, Senior Assessment Specialist at ETS and the project's principal investigator. "Since our founding in 1947, ETS's mission has included serving test takers and learners with disabilities," adds Beth Brownstein, a Senior Assessment Specialist at ETS and the project's co-principal investigator. "We have designed and contributed to advances in assessment design and application in this area and this project is a wonderful contribution to improved accessibility for this important population." "NVDA breaks down barriers to information access for blind and vision impaired users by enabling them to access Windows computers via speech or Braille for no more cost than their sighted peers. However, accessing mathematical content has remained a major challenge. Existing solutions require specially prepared material, utilize special standalone applications, have a steep learning curve, or lack features such as interactive navigation that are necessary to understand complex math," said James Teh, Executive Director of NV Access Limited. "With NVDA and MathPlayer, blind and vision impaired users can now read and explore math in mainstream applications at no extra cost, lowering yet another barrier to access." "Interactive exploration of mathematics has been the critical missing piece to digital math accessibility. This is the most meaningful step forward in access to mathematics for the blind since Dr. Abraham Nemeth's Braille code. Such unparalleled access to digital mathematics will have an incredible impact in the lives of blind students and professionals," said Sina Bahram, President of Prime Access Consulting. "I'm so pleased to have helped shape this meaningful solution to the problem!" added Mr. Bahram, a computer scientist who is blind, and a contributor to MathPlayer's design. "NVDA is the first screen reader to include MathPlayer support in browsers and Microsoft Office," says Dr. Neil Soiffer, Senior Scientist at Design Science. "This allows assistive technology vendors to start incorporating MathPlayer and enhancing what they offer to their customers. I expect we will start seeing a long string of announcements from other vendors that are including MathPlayer." MathPlayer 4 will debut today at the California State University, Northridge's Annual International Technology and Persons with Disabilities Conference in San Diego, during the session on Accessible Math presented by Dr. Soiffer, Dr. Frankel, and Ms. Brownstein. A free download of the public beta is available on the Design Science website. About Design Science Founded in 1986 and headquartered in Long Beach, California, Design Science develops software used by educators, scientists and publishing professionals, including MathType, MathFlow, and MathPlayer, to communicate on the web and in print. www.dessci.com. About ETS At nonprofit ETS, we advance quality and equity in education for people worldwide by creating assessments based on rigorous research. ETS serves individuals, educational institutions and government agencies by providing customized solutions for teacher certification, English language learning, and elementary, secondary and post-secondary education, as well as conducting education research, analysis and policy studies. Founded in 1947, ETS develops, administers and scores more than 50 million tests annually - including the TOEFL(r) and TOEIC(r) tests, the GRE(r) tests and The Praxis Series(tm) assessments - in more than 180 countries, at over 9,000 locations worldwide. www.ets.org. About NV Access Limited Founded in 2007, NV Access is a global non-profit organisation, based in Australia, dedicated to the ideal that access to technology should not incur an extra cost for blind and vision impaired users. NV Access develops NVDA (NonVisual Desktop Access), which is award-winning screen reading software for the Microsoft Windows Operating System that is completely free to users. NVDA allows a blind or vision impaired person, regardless of their location, language or economic status, to gain independence through access to computers. www.nvaccess.org ### Design Science Contact: Bruce Virga brucev@dessci.com +1 (562) 432-2920 Design Science, Inc. 140 Pine Avenue, 4th Floor Long Beach, CA 90802 USA ETS Contact: Tom Ewing tewing@ets.org +1 (609) 683-2803 Education Testing Service Princeton, NJ 08541-0001 USA NV Access Contact: James Teh jamie@nvaccess.org +61 7 3149 3306 NV Access Limited 10 Bunowen Street Ferny Grove QLD 4055 Australia -------------- next part -------------- An HTML attachment was scrubbed... URL: https://mail.cms.math.ca/pipermail/webmath/attachments/20150305/69ab67cb/attachment.htm From paul at cermat.org Wed Apr 15 05:14:03 2015 From: paul at cermat.org (Paul Libbrecht) Date: Wed Apr 15 10:14:07 2015 Subject: [Webmath] Call for Papers: MathUI'15 (Mathematical User Interfaces Workshop - at CICM, Washington) Message-ID: <57274D3E-0CAC-4F07-8291-FFDD3E9F8149@cermat.org> Call for Papers: MathUI'15 (http://cermat.org/events/MathUI/15/) ---------------------------------------- 9th Mathematical User Interfaces Workshop 2015 ---------------------------------------- at the Conference on Intelligent Computer Mathematics Washington DC, USA, 1-day Workshop between 13th -- 17th of July 2015 ------------------------------ please redistribute SCOPE MathUI is an international workshop to discuss how users can be best supported when doing/learning/searching for/interacting with mathematics using a computer. - Is mathematical user interface design a design for representing mathematics, embedding mathematical context, or a specific design for mathematicians? - How is mathematics for which purpose best represented? - What specifically math-oriented support is needed? - Does learning of math require a platform different than other learning platforms? - Which mathematical services can be offered? Which services can be meaningfully combined? - What best practices wrt. mathematics can be found and how can they be best communicated? We invite all questions, that care for the use of mathematics on computers and how the user experience can be improved, to be discussed in the workshop. TOPICS include: - user-requirements for math interfaces - presentation formats - mobile-devices powered mathematics - cultural differences in practices of mathematical languages - didactically sensible scenarios of use - spreadsheets as mathematical interfaces - manipulations of mathematical expressions This workshop follows a successful series of workshops held at the Conferences on Intelligent Computer Mathematics since 11 years; it features presentations of brand new ideas in papers selected by a thorough review process, wide space for discussions,as well as a software demonstration session. SUBMISSIONS The organizers invite authors to submit contributions of 6 to 12 pages on the workshop-related topics in PDF format optionally illustrated by supplementary media such as video recordings or access to demos. DEADLINE for submissions: May 22th 2015. Method of submission: please login and submit via EasyChair. The submissions will be reviewed by the international programme committee whose comments and recommendations will be sent back by June 6th requesting a final version no later than June 16th. Moreover, MathUI will be concluded by an EXPO-like demonstration session. Proposed demonstrations should be sent by email until June 20th, containing a URL to a software description, a title, a short abstract of the demonstrated features, and the indication of hardware expectations (own/lent laptop/tablet, internet access (speed?), power, ...). After a short elevator pitch, the demonstration session will run for 1-3h, each demonstrating to interested parties. See the web-page: http://cermat.org/events/MathUI/15/ PROGRAMME COMMITTEE (to be confirmed) Austria - Wolfgang Windsteiger, Research Institute for Symbolic Computation Canada - Marco Pollanen, Trent University Finland - Olga Caprotti, University of Helsinki France - Frederic Wang, Free Math Software Projects, Paris - Jana Trgalova, Universite Claude Bernard Lyon 1 Germany - Andrea Hoffkamp, HU Berlin - Andrea Kohlhase (organizer), University of Applied Sciences Neu-Ulm - Paul Libbrecht (organizer), University of Education of Weingarten - Wolfram Sperber, Zentralblatt MATH Netherlands - Felienne Hermans, Delft University of Technology USA - Deyan Ginev, Authorea, New York - Patrick Ion, American Mathematical Reviews - Elena Smirnova, Texas Instruments Inc. Education Technology For inquiries please contact - Paul Libbrecht, paul@cermat.org or - Andrea Kohlhase, Andrea.Kohlhase@hs-neu-ulm.de From muh_sidd at encs.concordia.ca Fri Apr 17 01:38:24 2015 From: muh_sidd at encs.concordia.ca (Muhammad Umair Siddique) Date: Fri Apr 17 09:37:37 2015 Subject: [Webmath] CICM 2015 Doctoral Programme [2nd Call for Applications] Message-ID: <20150417013824.pnddfrow040w8880@mail.encs.concordia.ca> CALL FOR APPLICATIONS CICM 2015 Doctoral Programme 13-17 July 2015 Washington DC, USA http://www.cicm-conference.org/2015/cicm.php The CICM conferences 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.) 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 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 necessity and merit. IMPORTANT DATES Submission of applications: May 4, 2015 Notification of acceptance: May 25, 2015 For any further questions please contact Umair Siddique (muh_sidd@ece.concordia.ca) ----- End forwarded message ----- From serge.autexier at dfki.de Tue Apr 21 03:13:45 2015 From: serge.autexier at dfki.de (Serge Autexier) Date: Tue Apr 21 09:51:33 2015 Subject: [Webmath] CICM 2015 - Call for Work-in-Progress Papers Message-ID: <20150421071345.5DE0A268E54D@mbp-autexier.informatik.uni-bremen.de> Call for Work-in-Progress Papers Conference on Intelligent Computer Mathematics CICM 2015 13-17 July 2015 Washington DC, USA Digital and computational solutions are becoming the prevalent means for the generation, communication, processing, storage and curation of mathematical information. Separate communities have developed to investigate and build computer based systems for computer algebra, automated deduction, and mathematical publishing as well as novel user interfaces. While all of these systems excel in their own right, their integration can lead to synergies offering significant added value. The Conference on Intelligent Computer Mathematics (CICM) offers a venue for discussing and developing solutions to the great challenges posed by the integration of these diverse areas. CICM has been held annually as a joint meeting since 2008, co-locating related conferences and workshops to advance work in these subjects. Previous meetings have been held in Birmingham (UK 2008), Grand Bend (Canada 2009), Paris (France 2010), Bertinoro (Italy 2011), Bremen (Germany 2012), Bath (UK 2013), and Coimbra (Portugal 2014). This is a (short version of the) call for Work-in-Progress papers for CICM 2015, which will be held in Washington, D.C., 13-17 July 2015. We solicit for papers which describe work in progress, recent developments, and other work of interest to our communities which does not yet have the maturity for archival proceedings. The full version of the CFP is available from the conference web page at http://cicm-conference.org/2015/cicm.php ********************************************************************** The principal tracks of the conference will be: ********************************************************************** * Calculemus (Symbolic Computation and Mechanised Reasoning) Chair: Jacques Carette * DML (Digital Mathematical Libraries) Chair: Volker Sorge * MKM (Mathematical Knowledge Management) Chair: Cezary Kaliszyk * Systems and Data Chair: Florian Rabe Publicity chair is Serge Autexier. The local arrangements will be coordinated by the Local Arrangements Chairs, Bruce R. Miller (National Institute of Standards and Technology, USA) and Abdou Youssef (The George Washington University, Washington, D.C.), and the overall programme will be organized by the General Programme Chair, Manfred Kerber (U. Birmingham, UK). ********************************************************************** Important Dates ********************************************************************** Work-in-progress and Doctoral Programme submissions: Submission deadline: Full Work-in-Progress submission* 4 May 2015 Notification of acceptance: 25 May 2015 Camera ready copies due: 1 June 2015 Conference: 13-17 July 2015 * or for the Doctoral Programme: Abstract+CV More detailed information, e.g. on submission via EasyChair, can be found on http://cicm-conference.org/2015/cicm.php From grlmc at urv.cat Sun Apr 26 04:07:03 2015 From: grlmc at urv.cat (GRLMC) Date: Mon Apr 27 09:40:33 2015 Subject: [Webmath] InfoSec 2015: registration deadline 3 May Message-ID: *To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line* ********************************************************************** INTERNATIONAL SUMMER SCHOOL ON INFORMATION SECURITY InfoSec 2015 Bilbao, Spain July 6-10, 2015 Organized by Deusto University Rovira i Virgili University http://grammars.grlmc.com/InfoSec2015/ ********************************************************************** --- 5th registration deadline: May 3, 2015 --- ********************************************************************** AIM: InfoSec 2015 will be a major research training event addressed to graduates and postgraduates in the first steps of their academic career. With a global scope, it aims at updating them about the most recent advances in the critical and fast developing area of information security, which covers a large spectrum of current exciting academic research and industrial innovation. It refers to procedures to defend information from unauthorized access, use, modification, recording or destruction, with a critical role to play in order to avoid or minimize risks in the digital world. Renowned academics and industry pioneers will lecture and share their views with the audience. Most information security subareas will be displayed, namely: computer security, cryptography, privacy, cyber security, mobile security, network security, world wide web security, fraud prevention, data protection, etc. Main challenges of information security will be identified through 4 keynote lectures, 30 six-hour courses, and 1 round table, which will tackle the most active and promising topics. The organizers believe outstanding speakers will attract the brightest and most motivated students. Interaction will be a main component of the event. An open session will give participants the opportunity to present their own work in progress in 5 minutes. ADDRESSED TO: Graduates and postgraduates from around the world. There are no formal pre-requisites in terms of academic degrees. However, since there will be differences in the course levels, specific background knowledge may be required for some of them. InfoSec 2015 is also appropriate for more senior people who want to keep themselves updated on recent developments and future trends. They will surely find it fruitful to listen and discuss with major researchers, industry leaders and innovators. REGIME: In addition to keynotes, 4 courses will run in parallel during the whole event. Participants will be able to freely choose the courses they will be willing to attend as well as to move from one to another. VENUE: InfoSec 2015 will take place in Bilbao, the capital of the Basque Country region, famous for its gastronomy and the seat of the Guggenheim Museum. The venue will be: DeustoTech, School of Engineering Deusto University Avda. Universidades, 24 48014 Bilbao KEYNOTE SPEAKERS: Jan Camenisch (IBM Research, Zurich), Privacy in a Digital World: a Lost Cause? Hao Chen (University of California, Davis), (In)security of Mobile Apps in Untrusted Networks Jennifer Seberry (University of Wollongong), The Global Village: the Beginning of the Need for Computer Security [via videoconference] Gene Tsudik (University of California, Irvine), Off-line Proximity-based Social Networking PROFESSORS AND COURSES: N. Asokan (Aalto University), [intermediate] Mobile Security: Overview of Hardware Platform Security and Considerations of Usability Jan Camenisch (IBM Research, Zurich), [introductory/intermediate] Technologies to Protect Online Privacy Hao Chen (University of California, Davis), [intermediate/advanced] Security of the Mobile App Ecosystem Nicolas T. Courtois (University College London), [introductory/intermediate] Security of ECDSA in Bitcoin and Crypto Currency Claude Cr?peau (McGill University, Montr?al), [introductory/intermediate] Quantum Computation, Cryptography and Cryptanalysis Joan Daemen (ST Microelectronics Belgium, Diegem), [introductory/intermediate] Sponge Functions, Keccak and SHA-3 Sajal K. Das (Missouri University of Science and Technology, Rolla), [intermediate/advanced] Securing Cyber-Physical Systems: Challenges and Opportunities Sabrina De Capitani di Vimercati (University of Milan), [introductory/intermediate] Security and Privacy in the Cloud Herv? Debar (T?l?com SudParis), [introductory/intermediate] Detection and Reaction to Attacks: from Intrusion Detection to Cyber-Defense Rosario Gennaro (City University of New York), [intermediate/advanced] A Survey of Verifiable Delegation of Computation Trent Jaeger (Pennsylvania State University, University Park), [intermediate/advanced] How to Add Security Enforcement to Legacy Programs Somesh Jha (University of Wisconsin, Madison), [intermediate/advanced] Analysis Techniques in Information Security Antoine Joux (Pierre et Marie Curie University, Paris), [introductory/intermediate] Discrete Logarithms in Finite Fields Marc Joye (Technicolor R&I, Los Altos), [introductory/intermediate] Secure Public-Key Cryptosystems Lars R. Knudsen (Technical University of Denmark, Lyngby), [introductory/intermediate] Block Ciphers: the Workhorses in Cryptography Songwu Lu (University of California, Los Angeles), [introductory/intermediate] Cellular Network Security: Issues and Defenses Catherine Meadows (Naval Research Laboratory, Washington DC), [introductory/intermediate] Formal Analysis of Cryptographic Protocols Nasir Memon (New York University), [introductory/intermediate] User Authentication Ethan L. Miller (University of California, Santa Cruz), [intermediate/advanced] Securing Stored Data in a Connected World Stefano Paraboschi (University of Bergamo), [introductory/intermediate] Data Protection in Network-enabled Systems Bart Preneel (KU Leuven), [introductory/intermediate] Cryptology: State of the Art and Research Challenges Jean-Jacques Quisquater (Catholic University of Louvain), [introductory/intermediate] The History of RSA: from Babylon to Smart Cards Shantanu Rane (Palo Alto Research Center), [introductory/intermediate] Privacy-preserving Data Analytics: Problems, Solutions and Challenges Mark Ryan (University of Birmingham), [introductory/intermediate] Designing Security Protocols: Electronic Voting, and Electronic Mail Stefan Saroiu (Microsoft Research, Redmond), [advanced] Protecting Data on Smartphones and Tablets Using Trusted Computing Milind Tambe (University of Southern California, Los Angeles), [introductory/intermediate] Introduction to the Emerging Science of Security Games Gene Tsudik (University of California, Irvine), [intermediate/advanced] Security and Privacy in Candidate Future Internet Architectures Yang Xiao (University of Alabama, Tuscaloosa), [introductory/advanced] Security in Smart Grids Wenyuan Xu (University of South Carolina, Columbia), [intermediate] Security and Privacy Analysis of Embedded Systems Yuliang Zheng (University of North Carolina, Charlotte), [introductory] Cryptography and the Future of Money OPEN SESSION An open session will collect 5-minute presentations of work in progress by participants. They should submit a half-page abstract containing title, authors, and summary of the research to adrian.dediu@urv.cat by June 29 at the latest. ORGANIZING COMMITTEE: Adrian Horia Dediu Carlos Mart?n-Vide (co-chair) Borja Sanz (co-chair) Florentina Lilica Voicu REGISTRATION: The registration form can be found at: http://grammars.grlmc.com/InfoSec2015/registration.php The selection of up to 8 courses requested in the registration template is only tentative and non-binding. For the sake of organization, it will be helpful to have an approximation of the respective demand for each course. Since the capacity of the venue is limited, registration requests will be processed on a first come first served basis. The registration period will be closed and the on-line registration facility disabled when the capacity of the venue will be complete. It is much recommended to register prior to the event. FEES: Fees are a flat rate covering the attendance to all courses during the week. There are several early registration deadlines. Fees depend on the registration deadline. ACCOMMODATION: Accommodation for participants is available at the Colegio Mayor Deusto (student hostel). Since there may exist problems to find accommodation in Bilbao at a reasonable price during the week of the event, the organizers' advice is to book as soon as possible, and anyway by May 27. To do it, write to Carlson Wagonlit Travel at estudiantesud@carlsonwagonlit.es CERTIFICATE: Participants will be delivered a certificate of attendance. QUESTIONS AND FURTHER INFORMATION: florentinalilica.voicu@urv.cat ACKNOWLEDGEMENTS: Deusto University Rovira i Virgili University --- Este mensaje no contiene virus ni malware porque la protecci?n de avast! Antivirus est? activa. http://www.avast.com From pedro at mat.uc.pt Wed May 6 04:59:05 2015 From: pedro at mat.uc.pt (Pedro Quaresma) Date: Wed May 6 09:46:44 2015 Subject: [Webmath] ThEdu'15 2nd cfp Message-ID: <6965616.GT6oDZ5xEI@gentzen> Call for Extended Abstracts & Demonstrations - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - ThEdu'15 Theorem proving components for Educational software July 13-17, 2015 http://www.uc.pt/en/congressos/thedu/thedu15[1][1]) - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - at CICM 2015 Conferences on Intelligent Computer Mathematics Washington DC, USA http://cicm-conference.org/2015[2][2] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - THedu'15 Scope: The distinguishing feature of mathematics is reasoning: questionable statements are proved by the laws of logic. This kind of reasoning makes mathematics a central thinking technology of modern science. Educational software tools have integrated technologies from Computer Algebra, from Dynamic Geometry, from Spreadsheets and others, but not from (computer) theorem proving (TP) with few exceptions: the latter have been developed to model mathematical reasoning in software; theorem provers (TPs) are successfully used to tackle difficult proofs in the science of mathematics, like the Four Color Problem or the Kepler Conjecture; and TPs are successfully used to verify safety critical software in industry. This workshop addresses support for reasoning in mathematics education by use of TP technology. The workshop addresses educators and designers and developers of TPs as well as of other educational mathematics software; and the discussions shall clarify the requirements of education, identify advantages and promises of TP for learning and motivate development of a novel kind of tools probably establishing a new generation of educational mathematical tools. Important Dates * Extended Abstracts: 24 May 2015 * Author Notification: 08 June 2015 * Final Version: 21 June 2015 * Workshop Day: 1 day (13-17 July) Points of interest include: Adaption of TP - concepts and technologies for education: knowledge representation, simplifiers, reasoners; undefinednes, level of abstraction, etc. Requirements on software support for reasoning - reasoning appears as the most advanced method of human thought, so at which age and what kind of support TP can provide? Automated TP in geometry - relating intuitive evidence with logical rigor: specific provers, adaption of axioms and theorems, visual proofs, etc. Levels of authoring - in order to cope with generality of TP: experts adapt to specifics of countries or levels, teachers adapt to courses and students. Adaptive modules, students modeling and learning paths - services for user guidance provided by TP technology: which interfaces enable flexible generation of adaptive user guidance? Next-step-guidance, which suggests a next step when a student gets stuck in problem solving: which computational methods can extend TP for that purpose? TP as unifying foundation - for the integration of technologies like CAS, DGS, Spreadsheets etc: interfaces for unified support of reasoning? Continuous tool chains - for mathematics education from high-school to university, from algebra and geometry to graph theory etc. Submission We welcome submission of extended abstracts and demonstration proposals presenting original unpublished work which is not been submitted for publication elsewhere. All accepted extended abstracts and demonstrations will be presented at the workshop. The extended abstracts will be made available online. Extended abstracts and demonstration proposals should be submitted via THedu'15 easychair (https://www.easychair.org/conferences/?conf=thedu15[3] [3]). Extended abstracts and demonstration proposals should be no more than 4 pages in length and are to be submitted in PDF format. They must conform to the EPTCS style guidelines (http://style.eptcs.org/[4][4]). At least one author of each accepted extended abstract/demonstration proposal is expected to attend THedu'15 and presents his/her extended abstract/demonstration. Program Committee Francisco Botana, University of Vigo at Pontevedra, Spain Roman Ha?ek, University of South Bohemia, Czech Republic Filip Maric, University of Belgrade, Serbia Walther Neuper, Graz University of Technology, Austria (co-chair) Pavel Pech, University of South Bohemia, Czech Republic Pedro Quaresma, University of Coimbra, Portugal (co-chair) Vanda Santos, CISUC, Portugal Wolfgang Schreiner, Johannes Kepler University, Austria Burkhart Wolff, University Paris-Sud, France Proceedings Following ThEdu'13 and ThEdu'14 practise we expect to have a joint proceedings of the workshops co-located with the Conferences on Intelligent Computer Mathematics. ---//--- IJCAR 2016, International Joint Conference on Automated Reasoning, 27 June - 1 July, 2016, Coimbra, Portugal. CICM 2015, Conference on Intelligent Computer Mathematics, July 13-17, 2015, Washington DC, USA. ThEdu'15, 4th International Workshop on Theorem proving components for Educational software, colocated with CICM 2015, July 13-17, 2015, Washington DC, USA. CIEMeLP 2015, Confer?ncia Internacional do Espa?o Matem?tico em L?ngua Portuguesa, 28 a 31 de Outubro de 2015 em Coimbra, Portugal. ---//--- -- At\'e breve;Deica Logo;\`A bient\^ot;See you later;Vidimo se; Professor Auxiliar Pedro Quaresma Departamento de Matem\'atica, Faculdade de Ci\^encias e Tecnologia Universidade de Coimbra P-3001-454 COIMBRA, PORTUGAL correioE: pedro@mat.uc.pt[5] p\'agina: http://www.mat.uc.pt/~pedro/[6] telef: +351 239 791 137; fax: +351 239 832 568 -------- [1] http://www.uc.pt/en/congressos/thedu/thedu15[7] [2] http://cicm-conference.org/2015[8] [3] https://www.easychair.org/conferences/?conf=thedu15[9] [4] http://style.eptcs.org/[10] -------- [1] http://www.uc.pt/en/congressos/thedu/thedu15[1] [2] http://cicm-conference.org/2015[2] [3] https://www.easychair.org/conferences/?conf=thedu15[3] -------------- next part -------------- An HTML attachment was scrubbed... URL: https://mail.cms.math.ca/pipermail/webmath/attachments/20150506/151c9b14/attachment.htm From grlmc at urv.cat Sun May 17 11:42:56 2015 From: grlmc at urv.cat (GRLMC) Date: Tue May 19 10:16:47 2015 Subject: [Webmath] SLSP 2015: 2nd call for papers Message-ID: <185A36E8A0BA4FA1A85E923462E76E80@Carlos1> *To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line* ********************************************************************************** 3rd INTERNATIONAL CONFERENCE ON STATISTICAL LANGUAGE AND SPEECH PROCESSING SLSP 2015 Budapest, Hungary November 24-26, 2015 Organised by: Laboratory of Speech Acoustics Department of Telecommunications and Telematics Budapest University of Technology and Economics http://alpha.tmit.bme.hu/speech/ Research Group on Mathematical Linguistics (GRLMC) Rovira i Virgili University http://grammars.grlmc.com/SLSP2015/ ********************************************************************************** AIMS: SLSP is a yearly conference series aimed at promoting and displaying excellent research on the wide spectrum of statistical methods that are currently in use in computational language or speech processing. It aims at attracting contributions from both fields. Though there exist large, well-known conferences and workshops hosting contributions to any of these areas, SLSP is a more focused meeting where synergies between subdomains and people will hopefully happen. In SLSP 2015, significant room will be reserved to young scholars at the beginning of their career and particular focus will be put on methodology. VENUE: SLSP 2015 will take place in Budapest, on the banks of the Danube and an extensive UNESCO World Heritage site. The venue will be the Faculty of Electrical Engineering and Informatics of the Budapest University of Technology and Economics. SCOPE: The conference invites submissions discussing the employment of statistical models (including machine learning) within language and speech processing. Topics of either theoretical or applied interest include, but are not limited to: anaphora and coreference resolution authorship identification, plagiarism and spam filtering computer-aided translation corpora and language resources data mining and semantic web information extraction information retrieval knowledge representation and ontologies lexicons and dictionaries machine translation multimodal technologies natural language understanding neural representation of speech and language opinion mining and sentiment analysis parsing part-of-speech tagging question-answering systems semantic role labelling speaker identification and verification speech and language generation speech recognition speech synthesis speech transcription spelling correction spoken dialogue systems term extraction text categorisation text summarisation user modeling STRUCTURE: SLSP 2015 will consist of: invited talks invited tutorials peer-reviewed contributions INVITED SPEAKERS: Xavier Carreras (Xerox Research Centre Europe, Meylan, FR), tba Sebastian Riedel (University College London, UK), Embedding Probabilistic Logic for Machine Reading Steve Young (University of Cambridge, UK), Open-domain Statistical Spoken Dialogue Systems PROGRAMME COMMITTEE: Steven Abney (University of Michigan, Ann Arbor, USA) Roberto Basili (University of Rome Tor Vergata, Italy) Jean-Fran?ois Bonastre (University of Avignon, France) Jill Burstein (Educational Testing Service, Princeton, USA) Nicoletta Calzolari (National Research Council, Pisa, Italy) Kevin Bretonnel Cohen (University of Colorado, Denver, USA) W. Bruce Croft (University of Massachusetts, Amherst, USA) Marc Dymetman (Xerox Research Centre Europe, Meylan, France) Guillaume Gravier (IRISA, Rennes, France) Kadri Hacioglu (Sensory Inc., Santa Clara, USA) Udo Hahn (University of Jena, Germany) Thomas Hain (University of Sheffield, UK) Mark Hasegawa-Johnson (University of Illinois, Urbana, USA) Jing Jiang (Singapore Management University, Singapore) Tracy Holloway King (A9.com, Palo Alto, USA) Sadao Kurohashi (Kyoto University, Japan) Claudia Leacock (McGraw-Hill Education CTB, Monterey, USA) Mark Liberman (University of Pennsylvania, Philadelphia, USA) Carlos Mart?n?Vide (Rovira i Virgili University, Tarragona, Spain, chair) Alessandro Moschitti (University of Trento, Italy) Jian-Yun Nie (University of Montr?al, Canada) Maria Teresa Pazienza (University of Rome Tor Vergata, Italy) Adam Pease (IPsoft Inc., New York, USA) Fuchun Peng (Google Inc., Mountain View, USA) Bhiksha Raj (Carnegie Mellon University, Pittsburgh, USA) Javier Ram?rez (University of Granada, Spain) Paul Rayson (Lancaster University, UK) Dietrich Rebholz-Schuhmann (University of Zurich, Switzerland) Douglas A. Reynolds (Massachusetts Institute of Technology, Lexington, USA) Michael Riley (Google Inc., Mountain View, USA) Laurent Romary (INRIA, Saclay, France) Horacio Saggion (Pompeu Fabra University, Barcelona, Spain) David S?nchez (Rovira i Virgili University, Tarragona, Spain) Roser Saur? (Oxford University Press, Oxford, UK) Stefan Schulz (Medical University of Graz, Austria) Efstathios Stamatatos (University of the Aegean, Karlovassi, Greece) Yannis Stylianou (Toshiba Research Europe Ltd., Cambridge, UK) Maosong Sun (Tsinghua University, Beijing, China) Tomoki Toda (Nara Institute of Science and Technology, Japan) Yoshimasa Tsuruoka (University of Tokyo, Japan) Kl?ra Vicsi (Budapest University of Technology and Economics, Hungary) Enrique Vidal (Technical University of Valencia, Spain) Atro Voutilainen (University of Helsinki, Finland) Andy Way (Dublin City University, Ireland) Junichi Yamagishi (University of Edinburgh, UK) Luke Zettlemoyer (University of Washington, Seattle, USA) Pierre Zweigenbaum (LIMSI-CNRS, Orsay, France) ORGANISING COMMITTEE: Adrian Horia Dediu (Tarragona) Carlos Mart?n-Vide (Tarragona, co-chair) Gy?rgy Szasz?k (Budapest) Kl?ra Vicsi (Budapest, co-chair) Florentina Lilica Voicu (Tarragona) SUBMISSIONS: Authors are invited to submit non-anonymized papers in English presenting original and unpublished research. Papers should not exceed 12 single?spaced pages (including eventual appendices, references, proofs, etc.) and should be prepared according to the standard format for Springer Verlag's LNCS series (see http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0). Submissions have to be uploaded to: https://www.easychair.org/conferences/?conf=slsp2015 PUBLICATIONS: A volume of proceedings published by Springer in the LNCS/LNAI series will be available by the time of the conference. A special issue of a major journal will be later published containing peer-reviewed substantially extended versions of some of the papers contributed to the conference. Submissions to it will be by invitation. REGISTRATION: The registration form can be found at: http://grammars.grlmc.com/SLSP2015/Registration.php DEADLINES: Paper submission: June 23, 2015 (23:59 CET) Notification of paper acceptance or rejection: July 28, 2015 Final version of the paper for the LNCS/LNAI proceedings: August 11, 2015 Early registration: August 11, 2015 Late registration: November 10, 2015 Submission to the journal special issue: February 26, 2016 QUESTIONS AND FURTHER INFORMATION: florentinalilica.voicu@urv.cat POSTAL ADDRESS: SLSP 2015 Research Group on Mathematical Linguistics (GRLMC) Rovira i Virgili University Av. Catalunya, 35 43002 Tarragona, Spain Phone: +34 977 559 543 Fax: +34 977 558 386 ACKNOWLEDGEMENTS: Budapesti M?szaki ?s Gazdas?gtudom?nyi Egyetem Universitat Rovira i Virgili --- Este mensaje no contiene virus ni malware porque la protecci?n de avast! Antivirus est? activa. http://www.avast.com From paul at hoplahup.net Fri May 22 09:13:01 2015 From: paul at hoplahup.net (Paul Libbrecht) Date: Mon May 25 09:38:16 2015 Subject: [Webmath] Deadline Extension CfP MathUI'15 Message-ID: <15A51891-D553-4E66-860A-402B6DA632BA@hoplahup.net> Deadline Extension the new deadlines for submission to MathUI are set as follows: - abstracts: 26th of May - full submissions: 29th of May and should be made to https://easychair.org/conferences/?conf=mathui15 Call for Papers: MathUI'15 http://cermat.org/events/MathUI/15/ 9th Mathematical User Interfaces Workshop 2015 At the Conference on Intelligent Computer Mathematics Washington DC, USA, 1-day Workshop between 13th -- 17th of July 2015 Thank you to spread the word in your circles. From grlmc at urv.cat Sun Jun 7 13:46:19 2015 From: grlmc at urv.cat (GRLMC) Date: Mon Jun 8 09:34:10 2015 Subject: [Webmath] SLSP 2015: 3rd call for papers Message-ID: <8F30169A8B324525BED39FE934176F06@Carlos1> *To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line* **************************************************************************** ****** 3rd INTERNATIONAL CONFERENCE ON STATISTICAL LANGUAGE AND SPEECH PROCESSING SLSP 2015 Budapest, Hungary November 24-26, 2015 Organised by: Laboratory of Speech Acoustics Department of Telecommunications and Telematics Budapest University of Technology and Economics http://alpha.tmit.bme.hu/speech/ Research Group on Mathematical Linguistics (GRLMC) Rovira i Virgili University http://grammars.grlmc.com/SLSP2015/ **************************************************************************** ****** AIMS: SLSP is a yearly conference series aimed at promoting and displaying excellent research on the wide spectrum of statistical methods that are currently in use in computational language or speech processing. It aims at attracting contributions from both fields. Though there exist large, well-known conferences and workshops hosting contributions to any of these areas, SLSP is a more focused meeting where synergies between subdomains and people will hopefully happen. In SLSP 2015, significant room will be reserved to young scholars at the beginning of their career and particular focus will be put on methodology. VENUE: SLSP 2015 will take place in Budapest, on the banks of the Danube and an extensive UNESCO World Heritage site. The venue will be the Faculty of Electrical Engineering and Informatics of the Budapest University of Technology and Economics. SCOPE: The conference invites submissions discussing the employment of statistical models (including machine learning) within language and speech processing. Topics of either theoretical or applied interest include, but are not limited to: anaphora and coreference resolution authorship identification, plagiarism and spam filtering computer-aided translation corpora and language resources data mining and semantic web information extraction information retrieval knowledge representation and ontologies lexicons and dictionaries machine translation multimodal technologies natural language understanding neural representation of speech and language opinion mining and sentiment analysis parsing part-of-speech tagging question-answering systems semantic role labelling speaker identification and verification speech and language generation speech recognition speech synthesis speech transcription spelling correction spoken dialogue systems term extraction text categorisation text summarisation user modeling STRUCTURE: SLSP 2015 will consist of: invited talks peer-reviewed contributions INVITED SPEAKERS: Xavier Carreras (Xerox Research Centre Europe, Meylan, FR), Low-rank Matrix Learning for Compositional Objects, Strings and Trees Sebastian Riedel (University College London, UK), Embedding Probabilistic Logic for Machine Reading Steve Young (University of Cambridge, UK), Open-domain Statistical Spoken Dialogue Systems PROGRAMME COMMITTEE: Steven Abney (University of Michigan, Ann Arbor, USA) Roberto Basili (University of Rome Tor Vergata, Italy) Jean-Fran?ois Bonastre (University of Avignon, France) Jill Burstein (Educational Testing Service, Princeton, USA) Nicoletta Calzolari (National Research Council, Pisa, Italy) Kevin Bretonnel Cohen (University of Colorado, Denver, USA) W. Bruce Croft (University of Massachusetts, Amherst, USA) Marc Dymetman (Xerox Research Centre Europe, Meylan, France) Guillaume Gravier (IRISA, Rennes, France) Kadri Hacioglu (Sensory Inc., Santa Clara, USA) Udo Hahn (University of Jena, Germany) Thomas Hain (University of Sheffield, UK) Mark Hasegawa-Johnson (University of Illinois, Urbana, USA) Jing Jiang (Singapore Management University, Singapore) Tracy Holloway King (A9.com, Palo Alto, USA) Sadao Kurohashi (Kyoto University, Japan) Claudia Leacock (McGraw-Hill Education CTB, Monterey, USA) Mark Liberman (University of Pennsylvania, Philadelphia, USA) Carlos Mart?n-Vide (Rovira i Virgili University, Tarragona, Spain, chair) Alessandro Moschitti (University of Trento, Italy) Jian-Yun Nie (University of Montr?al, Canada) Maria Teresa Pazienza (University of Rome Tor Vergata, Italy) Adam Pease (IPsoft Inc., New York, USA) Fuchun Peng (Google Inc., Mountain View, USA) Bhiksha Raj (Carnegie Mellon University, Pittsburgh, USA) Javier Ram?rez (University of Granada, Spain) Paul Rayson (Lancaster University, UK) Dietrich Rebholz-Schuhmann (University of Zurich, Switzerland) Douglas A. Reynolds (Massachusetts Institute of Technology, Lexington, USA) Michael Riley (Google Inc., Mountain View, USA) Laurent Romary (INRIA, Saclay, France) Horacio Saggion (Pompeu Fabra University, Barcelona, Spain) David S?nchez (Rovira i Virgili University, Tarragona, Spain) Roser Saur? (Oxford University Press, Oxford, UK) Stefan Schulz (Medical University of Graz, Austria) Efstathios Stamatatos (University of the Aegean, Karlovassi, Greece) Yannis Stylianou (Toshiba Research Europe Ltd., Cambridge, UK) Maosong Sun (Tsinghua University, Beijing, China) Tomoki Toda (Nara Institute of Science and Technology, Japan) Yoshimasa Tsuruoka (University of Tokyo, Japan) Kl?ra Vicsi (Budapest University of Technology and Economics, Hungary) Enrique Vidal (Technical University of Valencia, Spain) Atro Voutilainen (University of Helsinki, Finland) Andy Way (Dublin City University, Ireland) Junichi Yamagishi (University of Edinburgh, UK) Luke Zettlemoyer (University of Washington, Seattle, USA) Pierre Zweigenbaum (LIMSI-CNRS, Orsay, France) ORGANISING COMMITTEE: Adrian Horia Dediu (Tarragona) Carlos Mart?n-Vide (Tarragona, co-chair) Gy?rgy Szasz?k (Budapest) Kl?ra Vicsi (Budapest, co-chair) Florentina Lilica Voicu (Tarragona) SUBMISSIONS: Authors are invited to submit non-anonymized papers in English presenting original and unpublished research. Papers should not exceed 12 single-spaced pages (including eventual appendices, references, proofs, etc.) and should be prepared according to the standard format for Springer Verlag's LNCS series (see http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0). Submissions have to be uploaded to: https://www.easychair.org/conferences/?conf=slsp2015 PUBLICATIONS: A volume of proceedings published by Springer in the LNCS/LNAI series will be available by the time of the conference. A special issue of a major journal will be later published containing peer-reviewed substantially extended versions of some of the papers contributed to the conference. Submissions to it will be by invitation. REGISTRATION: The registration form can be found at: http://grammars.grlmc.com/SLSP2015/Registration.php DEADLINES: Paper submission: June 23, 2015 (23:59 CET) Notification of paper acceptance or rejection: July 28, 2015 Final version of the paper for the LNCS/LNAI proceedings: August 11, 2015 Early registration: August 11, 2015 Late registration: November 10, 2015 Submission to the journal special issue: February 26, 2016 QUESTIONS AND FURTHER INFORMATION: florentinalilica.voicu@urv.cat POSTAL ADDRESS: SLSP 2015 Research Group on Mathematical Linguistics (GRLMC) Rovira i Virgili University Av. Catalunya, 35 43002 Tarragona, Spain Phone: +34 977 559 543 Fax: +34 977 558 386 ACKNOWLEDGEMENTS: Budapesti M?szaki ?s Gazdas?gtudom?nyi Egyetem Universitat Rovira i Virgili --- Este mensaje no contiene virus ni malware porque la protecci?n de avast! Antivirus est? activa. https://www.avast.com/antivirus From serge.autexier at dfki.de Thu Jun 11 15:58:41 2015 From: serge.autexier at dfki.de (Serge Autexier) Date: Fri Jun 12 09:07:30 2015 Subject: [Webmath] CICM 2015 CfP (Call for Participation + Call for Posters) Message-ID: <20150611195841.1E353294AB88@gigondas.local> Conference on Intelligent Computer Mathematics CICM 2015 13-17 July 2015 Washington DC, USA The programme for this year's CICM in Washington can be found as http://www.cicm-conference.org/2015/cicm.php?event=&menu=detailed-programme The accepted papers as http://www.cicm-conference.org/2015/cicm.php?event=&menu=talks In addition we solicit for posters which will not be peer reviewed, but we will just do a screen review for relevance to the conference. A poster presentation will consist of a 5 minute teaser talk and the presentation of the poster on Tuesday morning (together with the other presentations in the Systems/Data/Projects track). You can submit a brief abstract on a poster by 22 June 2015 via EasyChair: https://www.easychair.org/conferences/?conf=cicm2015 You will be informed about acceptance shortly after your submission. Registration to the conference will open shortly. For details on the conference, registration, accommodation, etc. see http://www.cicm-conference.org/2015/cicm.php ********************************************************************** Invited Speakers: ********************************************************************** * Leonardo de Moura, https://leodemoura.github.io/ "Formalizing mathematics using the Lean Theorem Prover" (http://leanprover.github.io/) * Tobias Nipkow, http://www21.in.tum.de/~nipkow/ "Analyzing the Archive of Formal Proofs" * Jim Pitman, http://www.stat.berkeley.edu/~pitman/ "Towards a Global Digital Mathematics Library" * Richard Zanibbi, http://www.cs.rit.edu/~rlaz/ "Math Search for the Masses: Multimodal Search Interfaces and Appearance-Based Retrieval" ********************************************************************** The principal tracks of the conference will be: ********************************************************************** * Calculemus (Symbolic Computation and Mechanised Reasoning) Chair: Jacques Carette * DML (Digital Mathematical Libraries) Chair: Volker Sorge * MKM (Mathematical Knowledge Management) Chair: Cezary Kaliszyk * Systems and Data Chair: Florian Rabe * Doctoral Programme Chair: Umair Siddique Publicity chair is Serge Autexier. The local arrangements are coordinated by the Local Arrangements Chairs, Bruce R. Miller (National Institute of Standards and Technology, USA) and Abdou Youssef (The George Washington University, Washington, D.C.), and the overall programme is organized by the General Programme Chair, Manfred Kerber (U. Birmingham, UK). As in previous years, we have co-located workshops: * Formal Mathematics for Mathematicians * Theorem proving components for Educational software (ThEdu'15) * MathUI Furthermore we have a doctoral programme to mentor doctoral students giving presentations and a tutorial on the generic proof assistant Isabelle. -------------------------------------------------------------------------------- From grlmc at urv.cat Sun Jun 14 10:05:10 2015 From: grlmc at urv.cat (GRLMC) Date: Mon Jun 15 14:37:14 2015 Subject: [Webmath] TPNC 2015: 1st call for papers Message-ID: <3D99926D3B0447F990B0A1429F5CBDC3@Carlos1> *To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line* **************************************************************************** ************ 4th INTERNATIONAL CONFERENCE ON THE THEORY AND PRACTICE OF NATURAL COMPUTING TPNC 2015 Mieres, Spain December 15-17, 2015 Organized by: European Centre for Soft Computing Research Group on Mathematical Linguistics (GRLMC) Rovira i Virgili University http://grammars.grlmc.com/TPNC2015/ **************************************************************************** ************ AIMS: TPNC is a conference series intending to cover the wide spectrum of computational principles, models and techniques inspired by information processing in nature. TPNC 2015 will reserve significant room for young scholars at the beginning of their career and particular focus will be put on methodology. The conference aims at attracting contributions to nature-inspired models of computation, synthesizing nature by means of computation, nature-inspired materials, and information processing in nature. VENUE: TPNC 2015 will take place in Mieres, in the north of Spain. The city is the heart of the coal mining industry in the country, today declining. The venue will be the European Centre for Soft Computing: http://www.softcomputing.es/ SCOPE: Topics include, but are not limited to: - Theoretical contributions to: amorphous computing bacterial foraging cellular automata chaos and dynamical systems based computing evolutionary computing membrane computing neural computing optical computing swarm intelligence artificial chemistry artificial immune systems artificial life complex adaptive systems self-organizing systems computing with DNA nanocomputing physarum computing quantum computing and quantum information reaction-diffusion computing computing with words developmental systems fractal geometry gene assembly in unicellular organisms granular computation intelligent systems rough/fuzzy computing in nature synthetic biology - Applications of natural computing to: algorithms bioinformatics control cryptography design economics graphics hardware human-computer interaction knowledge discovery learning logistics medicine natural language processing optimization pattern recognition planning and scheduling programming robotics telecommunications web intelligence A flexible "theory to/from practice" approach would be the perfect focus for the expected contributions. STRUCTURE: TPNC 2015 will consist of: - invited talks - invited tutorials - peer-reviewed contributions INVITED SPEAKERS: tba PROGRAMME COMMITTEE: (to be completed) Humberto Bustince (Public University of Navarra, Pamplona, Spain) Pei-Chann Chang (Yuan Ze University, Taoyuan, Taiwan) Shyi-Ming Chen (National Taiwan University of Science and Technology, Taipei, Taiwan) ?scar Cord?n (University of Granada, Spain) Swagatam Das (Indian Statistical Institute, Kolkata, India) Gianni Di Caro (Dalle Molle Institute for Artificial Intelligence, Lugano, Switzerland) Tharam Dillon (La Trobe University, Melbourne, Australia) Agoston E. Eiben (VU University Amsterdam, The Netherlands) J?nos Fodor (Obuda University, Budapest, Hungary) Francisco Herrera (University of Granada, Spain) Robert John (University of Nottingham, UK) Rudolf Kruse (University of Magdeburg, Germany) Vittorio Maniezzo (University of Bologna, Italy) Carlos Mart?n-Vide (Rovira i Virgili University, Tarragona, Spain, chair) Ujjwal Maulik (Jadavpur University, Kolkata, India) Marjan Mernik (University of Maribor, Slovenia) Radko Mesiar (Slovak University of Technology, Bratislava, Slovakia) Risto Miikkulainen (University of Texas, Austin, USA) Tal Mor (Technion, Haifa, Israel) Sankar K. Pal (Indian Statistical Institute, Kolkata, India) G?nther Palm (Ulm University, Germany) Linqiang Pan (Huazhong University of Science and Technology, Wuhan, China) Lech Polkowski (Polish-Japanese Academy of Information Technology, Warsaw, Poland) Dan Ralescu (University of Cincinnati, USA) Friedrich Simmel (Technical University of Munich, Germany) Guy Theraulaz (Paul Sabatier University, Toulouse, France) Vicen? Torra (University of Sk?vde, Sweden) Jos? Luis Verdegay (University of Granada, Spain) David Wolpert (Santa Fe Institute, USA) Ronald R. Yager (Iona College, New Rochelle, USA) Shengxiang Yang (De Montfort University, Leicester, UK) Xin-She Yang (Middlesex University, London, UK) Hao Ying (Wayne State University, Detroit, USA) Mengjie Zhang (Victoria University of Wellington, New Zealand) Qingfu Zhang (City University of Hong Kong, China) Marek ?ukowski (University of Gdansk, Poland) ORGANIZING COMMITTEE: Adrian Horia Dediu (Tarragona) Luis Magdalena (Mieres, co-chair) Carlos Mart?n-Vide (Tarragona, co-chair) Florentina Lilica Voicu (Tarragona) SUBMISSIONS: Authors are invited to submit non-anonymized papers in English presenting original and unpublished research. Papers should not exceed 12 single-spaced pages (including eventual appendices, references, proofs, etc.) and should be prepared according to the standard format for Springer Verlag's LNCS series (see http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0). Submissions have to be uploaded to: https://www.easychair.org/conferences/?conf=tpnc2015 PUBLICATIONS: A volume of proceedings published by Springer in the LNCS series will be available by the time of the conference. A special issue of a major journal will be later published containing peer-reviewed substantially extended versions of some of the papers contributed to the conference. Submissions to it will be by invitation. REGISTRATION: The registration form can be found at: http://grammars.grlmc.com/TPNC2015/Registration.php DEADLINES: Paper submission: July 14, 2015 (23:59h, CET) Notification of paper acceptance or rejection: August 18, 2015 Final version of the paper for the LNCS proceedings: September 1, 2015 Early registration: September 1, 2015 Late registration: December 1, 2015 Submission to the post-conference journal special issue: March 17, 2016 QUESTIONS AND FURTHER INFORMATION: florentinalilica.voicu@urv.cat POSTAL ADDRESS: TPNC 2015 Research Group on Mathematical Linguistics (GRLMC) Rovira i Virgili University Av. Catalunya, 35 43002 Tarragona, Spain Phone: +34 977 559 543 Fax: +34 977 558 386 ACKNOWLEDGEMENTS: European Centre for Soft Computing Universitat Rovira i Virgili --- Este mensaje no contiene virus ni malware porque la protecci?n de avast! Antivirus est? activa. https://www.avast.com/antivirus From serge.autexier at dfki.de Mon Jul 6 03:01:14 2015 From: serge.autexier at dfki.de (Serge Autexier) Date: Mon Jul 6 10:58:59 2015 Subject: [Webmath] CICM 2015: Final Call for Participation, Deadline July 6th, 2015 Message-ID: <20150706070114.90C0B29FCA82@mbp-autexier.informatik.uni-bremen.de> Final Call for Participation Conference on Intelligent Computer Mathematics CICM 2015 13-17 July 2015 Washington DC, USA Registration Deadline July 6th, 2015 The programme for this year's CICM in Washington can be found as http://www.cicm-conference.org/2015/cicm.php?event=&menu=detailed-programme The accepted papers as http://www.cicm-conference.org/2015/cicm.php?event=&menu=talks In addition we solicit for posters which will not be peer reviewed, but we will just do a screen review for relevance to the conference. A poster presentation will consist of a 5 minute teaser talk and the presentation of the poster on Tuesday morning (together with the other presentations in the Systems/Data/Projects track). You can submit a brief abstract on a poster by 22 June 2015 via EasyChair: https://www.easychair.org/conferences/?conf=cicm2015 You will be informed about acceptance shortly after your submission. Registration to the conference will open shortly. For details on the conference, registration, accommodation, etc. see http://www.cicm-conference.org/2015/cicm.php ********************************************************************** Invited Speakers: ********************************************************************** * Leonardo de Moura, https://leodemoura.github.io/ "Formalizing mathematics using the Lean Theorem Prover" (http://leanprover.github.io/) * Tobias Nipkow, http://www21.in.tum.de/~nipkow/ "Analyzing the Archive of Formal Proofs" * Jim Pitman, http://www.stat.berkeley.edu/~pitman/ "Towards a Global Digital Mathematics Library" * Richard Zanibbi, http://www.cs.rit.edu/~rlaz/ "Math Search for the Masses: Multimodal Search Interfaces and Appearance-Based Retrieval" ********************************************************************** The principal tracks of the conference will be: ********************************************************************** * Calculemus (Symbolic Computation and Mechanised Reasoning) Chair: Jacques Carette * DML (Digital Mathematical Libraries) Chair: Volker Sorge * MKM (Mathematical Knowledge Management) Chair: Cezary Kaliszyk * Systems and Data Chair: Florian Rabe * Doctoral Programme Chair: Umair Siddique Publicity chair is Serge Autexier. The local arrangements are coordinated by the Local Arrangements Chairs, Bruce R. Miller (National Institute of Standards and Technology, USA) and Abdou Youssef (The George Washington University, Washington, D.C.), and the overall programme is organized by the General Programme Chair, Manfred Kerber (U. Birmingham, UK). As in previous years, we have co-located workshops: * Formal Mathematics for Mathematicians * Theorem proving components for Educational software (ThEdu'15) * MathUI Furthermore we have a doctoral programme to mentor doctoral students giving presentations and a tutorial on the generic proof assistant Isabelle. -------------------------------------------------------------------------------- From grlmc at urv.cat Sun Jul 12 12:48:47 2015 From: grlmc at urv.cat (GRLMC) Date: Mon Jul 13 09:51:33 2015 Subject: [Webmath] TPNC 2015: 2nd call for papers Message-ID: <8B4E0A2A840A415DAE561D638EF4D254@Carlos1> *To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line* **************************************************************************** ************ 4th INTERNATIONAL CONFERENCE ON THE THEORY AND PRACTICE OF NATURAL COMPUTING TPNC 2015 Mieres, Spain December 15-17, 2015 Organized by: European Centre for Soft Computing Research Group on Mathematical Linguistics (GRLMC) Rovira i Virgili University http://grammars.grlmc.com/TPNC2015/ **************************************************************************** ************ AIMS: TPNC is a conference series intending to cover the wide spectrum of computational principles, models and techniques inspired by information processing in nature. TPNC 2015 will reserve significant room for young scholars at the beginning of their career and particular focus will be put on methodology. The conference aims at attracting contributions to nature-inspired models of computation, synthesizing nature by means of computation, nature-inspired materials, and information processing in nature. VENUE: TPNC 2015 will take place in Mieres, in the north of Spain. The city is the heart of the coal mining industry in the country, today declining. The venue will be the European Centre for Soft Computing: http://www.softcomputing.es/ SCOPE: Topics include, but are not limited to: - Theoretical contributions to: amorphous computing bacterial foraging cellular automata chaos and dynamical systems based computing evolutionary computing membrane computing neural computing optical computing swarm intelligence artificial chemistry artificial immune systems artificial life complex adaptive systems self-organizing systems computing with DNA nanocomputing physarum computing quantum computing and quantum information reaction-diffusion computing computing with words developmental systems fractal geometry gene assembly in unicellular organisms granular computation intelligent systems rough/fuzzy computing in nature synthetic biology - Applications of natural computing to: algorithms bioinformatics control cryptography design economics graphics hardware human-computer interaction knowledge discovery learning logistics medicine natural language processing optimization pattern recognition planning and scheduling programming robotics telecommunications web intelligence A flexible "theory to/from practice" approach would be the perfect focus for the expected contributions. STRUCTURE: TPNC 2015 will consist of: - invited talks - invited tutorials - peer-reviewed contributions INVITED SPEAKERS: (to be completed) John A. Smolin (IBM T.J. Watson Research Center, Yorktown Heights), tba Guy Theraulaz (Paul Sabatier University, Toulouse), Stigmergic Interactions and 3D Nest Construction in Ant Colonies PROGRAMME COMMITTEE: Hussein Abbass (University of New South Wales, Canberra, Australia) Andrew Adamatzky (University of the West of England, Bristol, UK) Humberto Bustince (Public University of Navarra, Pamplona, Spain) Pei-Chann Chang (Yuan Ze University, Taoyuan, Taiwan) Shyi-Ming Chen (National Taiwan University of Science and Technology, Taipei, Taiwan) ?scar Cord?n (University of Granada, Spain) Swagatam Das (Indian Statistical Institute, Kolkata, India) Gianni Di Caro (Dalle Molle Institute for Artificial Intelligence, Lugano, Switzerland) Tharam Dillon (La Trobe University, Melbourne, Australia) Agoston E. Eiben (VU University Amsterdam, The Netherlands) J?nos Fodor (?buda University, Budapest, Hungary) Fernando Gomide (University of Campinas, Brazil) Maoguo Gong (Xidian University, Xi'an, China) Salvatore Greco (Universiy of Catania, Italy) Jin-Kao Hao (University of Angers, France) Francisco Herrera (University of Granada, Spain) Robert John (University of Nottingham, UK) Fakhri Karray (University of Waterloo, Canada) L?szl? T. K?czy (Budapest University of Technology and Economics, Hungary) Rudolf Kruse (University of Magdeburg, Germany) Jos? A. Lozano (University of the Basque Country, Donostia, Spain) Jianquan Lu (Southeast University, Nanjing, China) Vittorio Maniezzo (University of Bologna, Italy) Carlos Mart?n-Vide (Rovira i Virgili University, Tarragona, Spain, chair) Ujjwal Maulik (Jadavpur University, Kolkata, India) Marjan Mernik (University of Maribor, Slovenia) Radko Mesiar (Slovak University of Technology, Bratislava, Slovakia) Risto Miikkulainen (University of Texas, Austin, USA) Tal Mor (Technion, Haifa, Israel) Vil?m Nov?k (University of Ostrava, Czech Republic) Sankar K. Pal (Indian Statistical Institute, Kolkata, India) G?nther Palm (Ulm University, Germany) Linqiang Pan (Huazhong University of Science and Technology, Wuhan, China) Lech Polkowski (Polish-Japanese Academy of Information Technology, Warsaw, Poland) Dan Ralescu (University of Cincinnati, USA) Friedrich Simmel (Technical University of Munich, Germany) Guy Theraulaz (Paul Sabatier University, Toulouse, France) Vicen? Torra (University of Sk?vde, Sweden) Jos? Luis Verdegay (University of Granada, Spain) David Wolpert (Santa Fe Institute, USA) Ronald R. Yager (Iona College, New Rochelle, USA) Shengxiang Yang (De Montfort University, Leicester, UK) Xin-She Yang (Middlesex University, London, UK) Hao Ying (Wayne State University, Detroit, USA) Mingsheng Ying (University of Technology, Sydney, Australia) Mengjie Zhang (Victoria University of Wellington, New Zealand) Qingfu Zhang (City University of Hong Kong, China) William Zhu (Minnan Normal University, Zhangzhou, China) Marek ?ukowski (University of Gdansk, Poland) ORGANIZING COMMITTEE: Adrian Horia Dediu (Tarragona) Luis Magdalena (Mieres, co-chair) Carlos Mart?n-Vide (Tarragona, co-chair) Florentina Lilica Voicu (Tarragona) SUBMISSIONS: Authors are invited to submit non-anonymized papers in English presenting original and unpublished research. Papers should not exceed 12 single-spaced pages (including eventual appendices, references, proofs, etc.) and should be prepared according to the standard format for Springer Verlag's LNCS series (see http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0). Submissions have to be uploaded to: https://www.easychair.org/conferences/?conf=tpnc2015 PUBLICATIONS: A volume of proceedings published by Springer in the LNCS series will be available by the time of the conference. A special issue of a major journal will be later published containing peer-reviewed substantially extended versions of some of the papers contributed to the conference. Submissions to it will be by invitation. REGISTRATION: The registration form can be found at: http://grammars.grlmc.com/TPNC2015/Registration.php DEADLINES: Paper submission: July 21, 2015 (23:59h, CET) Notification of paper acceptance or rejection: August 18, 2015 Final version of the paper for the LNCS proceedings: September 1, 2015 Early registration: September 1, 2015 Late registration: December 1, 2015 Submission to the post-conference journal special issue: March 17, 2016 QUESTIONS AND FURTHER INFORMATION: florentinalilica.voicu@urv.cat POSTAL ADDRESS: TPNC 2015 Research Group on Mathematical Linguistics (GRLMC) Rovira i Virgili University Av. Catalunya, 35 43002 Tarragona, Spain Phone: +34 977 559 543 Fax: +34 977 558 386 ACKNOWLEDGEMENTS: European Centre for Soft Computing Universitat Rovira i Virgili --- Este mensaje no contiene virus ni malware porque la protecci?n de avast! Antivirus est? activa. https://www.avast.com/antivirus From grlmc at grlmc.com Sun Aug 9 11:22:18 2015 From: grlmc at grlmc.com (GRLMC) Date: Mon Aug 10 07:12:09 2015 Subject: [Webmath] BigDat 2016: early registration deadline 26 August Message-ID: <906942feddfed7f75e64d0bcbaeec256@grlmc.com> *To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line* ******************************************************** 2ND INTERNATIONAL WINTER SCHOOL ON BIG DATA ? BIGDAT 2016 BILBAO, SPAIN FEBRUARY 8-12, 2016 Organized by: DeustoUniversity Rovira i Virgili University http://grammars.grlmc.com/bigdat2016/ ******************************************************** AIM: BigDat 2016 will be a research training event addressed to graduates and postgraduates in the first steps of their academic career. With a global scope, it aims at updating them about the most recent advances in the critical and fast developing area of big data, which covers a large spectrum of current exciting research and industrial innovation with an extraordinary potential for a huge impact on scientific discoveries, medicine, engineering, business models, and society itself. Renowned academics and industry pioneers will lecture and share their views with the audience. Most big data subareas will be displayed, namely: foundations, infrastructure, management, search and mining, security and privacy, and applications. Main challenges of analytics, management and storage of big data will be identified through 5 keynote lectures, 16 six-hour courses, and 1 round table, which will tackle the most active and promising topics. The organizers are convinced that outstanding speakers will attract the brightest and most motivated students. Interaction will be a main component of the event. An open session will give participants the opportunity to present their own work in progress in 5 minutes. ADDRESSED TO: Graduates and postgraduates from around the world. There are no formal pre-requisites in terms of academic degrees. However, since there will be differences in the course levels, specific knowledge background may be assumed for some of them. BigDat 2016 is also appropriate for more senior people who want to keep themselves updated on recent developments and future trends. All will surely find it fruitful to listen and discuss with major researchers, industry leaders and innovators. REGIME: In addition to keynotes, at least 2 courses will run in parallel during the whole event. Participants will be able to freely choose the courses they will be willing to attend as well as to move from one to another. VENUE: BigDat 2016 will take place in Bilbao, the capital of the Basque Country region, famous for its gastronomy and the seat of the GuggenheimMuseum. The venue will be: DeustoTech, School of Engineering DeustoUniversity Avda. Universidades, 24 48014 Bilbao KEYNOTE SPEAKERS: tba PROFESSORS AND COURSES: (to be completed) Nektarios Benekos (European Organization for Nuclear Research), [introductory/intermediate] Exploring the Mysteries of our Cosmos: the Big Deal between Big Data and Big Science Hendrik Blockeel (KU Leuven), [intermediate] Decision Trees for Big Data Analytics Edward Y. Chang (HTC Health, Hertfordshire), tba Nello Cristianini (University of Bristol), [introductory] THINKBIG: Towards Large Scale Computational Social Sciences, History and Digital Humanities Ernesto Damiani (University of Milan), tba George Karypis (University of Minnesota), tba Chih-Jen Lin (NationalTaiwanUniversity), tba Wladek Minor (University of Virginia), [] Big Data and Structural Biology and Chemistry JianPei (SimonFraserUniversity), [introductory/intermediate] Sampling Techniques in the Context of Big Data Jeffrey Ullman (StanfordUniversity), [introductory] Big Data Algorithms that Aren't Machine Learning Alexandre Vaniachine (Argonne National Laboratory), [introductory/advanced] Big Data: Comparison with Computational Models Mohammed J. Zaki (Rensselaer Polytechnic Institute), [introductory/advanced] Large Scale Graph Analytics and Mining OPEN SESSION An open session will collect 5-minute presentations of work in progress by participants. They should submit a half-page abstract containing title, authors, and summary of the research to adrian.dediu@urv.cat by February 5, 2016. ORGANIZING COMMITTEE: Adrian Horia Dediu Carlos Mart?n-Vide (co-chair) Borja Sanz (co-chair) Florentina Lilica Voicu REGISTRATION: It has to be done at http://grammars.grlmc.com/bigdat2016/registration.php The selection of up to 8 courses requested in the registration template is only tentative and non-binding. For the sake of organization, it will be helpful to have an approximation of the respective demand for each course. Since the capacity of the venue is limited, registration requests will be processed on a first come first served basis. The registration period will be closed and the on-line registration facility disabled when the capacity of the venue will be complete. It is much recommended to register prior to the event. FEES: Participants are expected to attend full-time. Fees are a flat rate allowing the attendance to all courses during the week. There are several early registration deadlines. Fees depend on the registration deadline. ACCOMMODATION: Suggestions of accommodation will be available on the webpage in due time. CERTIFICATE: Participants will be delivered a certificate of attendance. QUESTIONS AND FURTHER INFORMATION: florentinalilica.voicu@urv.cat ACKNOWLEDGEMENTS: DeustoUniversity Rovira i VirgiliUniversity -------------- next part -------------- An HTML attachment was scrubbed... URL: https://mail.cms.math.ca/pipermail/webmath/attachments/20150809/56ab3d1e/attachment.htm From grlmc at grlmc.com Sat Aug 29 13:44:10 2015 From: grlmc at grlmc.com (GRLMC) Date: Mon Aug 31 10:52:24 2015 Subject: [Webmath] LATA 2016: 1st call for papers Message-ID: *To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line* **************************************************************************************** 10TH INTERNATIONAL CONFERENCE ON LANGUAGE AND AUTOMATA THEORY AND APPLICATIONS ? LATA 2016 ? PRAGUE, CZECH REPUBLIC ? MARCH 14-18, 2016 Organized by: Department of Theoretical Computer Science CzechTechnicalUniversity in Prague Research Group on Mathematical Linguistics (GRLMC) Rovira i Virgili University http://grammars.grlmc.com/lata2016/ **************************************************************************************** AIMS: LATA is a conference series on theoretical computer science and its applications. Following the tradition of the diverse PhD training events in the field developed at Rovira i VirgiliUniversity in Tarragona since 2002, LATA 2016 will reserve significant room for young scholars at the beginning of their career. It will aim at attracting contributions from classical theory fields as well as application areas. ? VENUE: LATA 2016 will take place in Prague, a city full of history and cultural attractions, and one of the political and economic cores of central Europe. The venue will be the campus of the CzechTechnicalUniversity in the Dejvice quarter. ? SCOPE: Topics of either theoretical or applied interest include, but are not limited to: algebraic language theory algorithms for semi-structured data mining algorithms on automata and words automata and logic automata for system analysis and programme verification automata networks automata, concurrency and Petri nets automatic structures cellular automata codes combinatorics on words computational complexity data and image compression descriptional complexity digital libraries and document engineering foundations of finite state technology foundations of XML fuzzy and rough languages grammars (Chomsky hierarchy, contextual, unification, categorial, etc.) grammatical inference and algorithmic learning graphs and graph transformation language varieties and semigroups language-based cryptography parallel and regulated rewriting parsing patterns power series string and combinatorial issues in bioinformatics string processing algorithms symbolic dynamics term rewriting transducers trees, tree languages and tree automata unconventional models of computation weighted automata ? STRUCTURE: LATA 2016 will consist of: invited talks invited tutorials peer-reviewed contributions ? INVITED SPEAKERS: tba ? PROGRAMME COMMITTEE: (to be completed) Dana Angluin (YaleUniversity, New Haven, USA) Franz Baader (Technical University of Dresden, Germany) Christel Baier (Technical University of Dresden, Germany) Hans L. Bodlaender (UtrechtUniversity, The Netherlands) Jean-Marc Champarnaud (University of Rouen, France) Rod Downey (VictoriaUniversity of Wellington, New Zealand) Frank Drewes (Ume? University, Sweden) Ding-Zhu Du (University of Texas, Dallas, USA) Michael Fellows (CharlesDarwinUniversity, Darwin, Australia) Mohammad Taghi Hajiaghayi (University of Maryland, College Park, USA) Yo-Sub Han (Yonsei University, Seoul, South Korea) Oscar H. Ibarra (University of California, Santa Barbara, USA) Jan Janou?ek (CzechTechnicalUniversity in Prague, Czech Republic) Galina Jir?skov? (SlovakAcademy of Sciences, Ko?ice, Slovakia) Ming-Yang Kao (Northwestern University, Evanston, USA) Juhani Karhum?ki (University of Turku, Finland) Joost-Pieter Katoen (RWTH Aachen University, Germany) Martin Kutrib (University of Giessen, Germany) Zhiwu Li (Xidian University, Xi'an, China) Andreas Malcher (University of Giessen, Germany) Oded Maler (VERIMAG, Gi?res, France) Carlos Mart?n-Vide (Rovira i Virgili University, Tarragona, Spain, chair) Ugo Montanari (University of Pisa, Italy) Franti?ek Mr?z (CharlesUniversity in Prague, Czech Republic) Mitsunori Ogihara (University of Miami, Coral Gables, USA) Alexander Okhotin (University of Turku, Finland) Doron A. Peled (BarIlanUniversity, Ramat Gan, Israel) Martin Pl?tek (CharlesUniversity in Prague, Czech Republic) Daniel Reidenbach (University of Loughborough, UK) Antonio Restivo (University of Palermo, Italy) Kai Salomaa (Queen's University, Kingston, Canada) Davide Sangiorgi (University of Bologna, Italy) Uli Sattler (University of Manchester, UK) Pierre Wolper (University of Li?ge, Belgium) Zhilin Wu (Chinese Academy of Sciences, Beijing, China) Mengchu Zhou (New Jersey Institute of Technology, Newark, USA) ORGANIZING COMMITTEE: Adrian Horia Dediu (Tarragona) Jan Janou?ek (Prague, co-chair) Carlos Mart?n-Vide (Tarragona, co-chair) Radom?r Pol?ch (Prague) Eli?ka ?est?kov? (Prague) Jan Tr?vn??ek (Prague) Bianca Truthe (Giessen) Florentina Lilica Voicu (Tarragona) ? SUBMISSIONS: Authors are invited to submit non-anonymized papers in English presenting original and unpublished research. Papers should not exceed 12 single-spaced pages (including eventual appendices, references, proofs, etc.) and should be prepared according to the standard format for Springer Verlag's LNCS series (see http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0 [1]). Submissions have to be uploaded to: https://www.easychair.org/conferences/?conf=lata2016 ? PUBLICATIONS: A volume of proceedings published by Springer in the LNCS series will be available by the time of the conference. A special issue of a major journal will be later published containing peer-reviewed substantially extended versions of some of the papers contributed to the conference. Submissions to it will be by invitation. ? REGISTRATION: The period for registration is open from August 28, 2015 to March 14, 2016. The registration form can be found at: http://grammars.grlmc.com/lata2016/Registration.php DEADLINES: Paper submission: October 19, 2015 (23:59 CET) Notification of paper acceptance or rejection: November 27, 2015 Final version of the paper for the LNCS proceedings: December 7, 2015 Early registration: December 7, 2015 Late registration: February 29, 2016 Submission to the journal special issue: June 18, 2016 ? QUESTIONS AND FURTHER INFORMATION: florentinalilica.voicu@urv.cat ? POSTAL ADDRESS: LATA 2016 Research Group on Mathematical Linguistics (GRLMC) Rovira i Virgili University Av. Catalunya, 35 43002 Tarragona, Spain Phone: +34 977 559 543 Fax: +34 977 558 386 ACKNOWLEDGEMENTS: ?esk? vysok? u?en? technick? v Praze Universitat Rovira i Virgili Links: ------ [1] http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0 -------------- next part -------------- An HTML attachment was scrubbed... URL: https://mail.cms.math.ca/pipermail/webmath/attachments/20150829/360ae7e4/attachment.htm From grlmc at grlmc.com Sat Sep 12 15:47:16 2015 From: grlmc at grlmc.com (GRLMC) Date: Mon Sep 14 11:40:28 2015 Subject: [Webmath] BigDat 2016: early registration deadline 22 September Message-ID: <0d34dff606acb8301efcde1ee5e7fa5d@grlmc.com> *To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line* ******************************************************** ? 2ND INTERNATIONAL WINTER SCHOOLON BIG DATA ? BIGDAT 2016 BILBAO, SPAIN FEBRUARY 8-12, 2016 Organized by: Deusto University Rovira i Virgili University http://grammars.grlmc.com/BigDat2016/ ******************************************************** --- Early registration deadline: September 22, 2015 --- ******************************************************** AIM: BigDat 2016 will be a research training event addressed to graduates and postgraduates in the first steps of their academic career. With a global scope, it aims at updating them about the most recent advances in the critical and fast developing area of big data, which covers a large spectrum of current exciting research and industrial innovation with an extraordinary potential for a huge impact on scientific discoveries, medicine, engineering, business models, and society itself. Renowned academics and industry pioneers will lecture and share their views with the audience. Most big data subareas will be displayed, namely: foundations, infrastructure, management, search and mining, security and privacy, and applications. Main challenges of analytics, management and storage of big data will be identified through 5 keynote lectures, 16 six-hour courses, and 1 round table, which will tackle the most active and promising topics. The organizers are convinced that outstanding speakers will attract the brightest and most motivated students. Interaction will be a main component of the event. An open session will give participants the opportunity to present their own work in progress in 5 minutes. ADDRESSED TO: Graduates and postgraduates from around the world. There are no formal pre-requisites in terms of academic degrees. However, since there will be differences in the course levels, specific knowledge background may be assumed for some of them. BigDat 2016 is also appropriate for more senior people who want to keep themselves updated on recent developments and future trends. All will surely find it fruitful to listen and discuss with major researchers, industry leaders and innovators. REGIME: In addition to keynotes, at least 2 courses will run in parallel during the whole event. Participants will be able to freely choose the courses they will be willing to attend as well as to move from one to another. VENUE: BigDat 2016 will take place in Bilbao, the capital of the Basque Country region, famous for its gastronomy and the seat of the GuggenheimMuseum. The venue will be: DeustoTech, School of Engineering DeustoUniversity Avda. Universidades, 24 48014 Bilbao KEYNOTE SPEAKERS: tba PROFESSORS AND COURSES: (to be completed) Nektarios Benekos (European Organization for Nuclear Research), [introductory/intermediate] Exploring the Mysteries of our Cosmos: the Big Deal between Big Data and Big Science Hendrik Blockeel (KU Leuven), [intermediate] Decision Trees for Big Data Analytics Edward Y. Chang (HTC Health, Taipei), [introductory/intermediate] Big Data Analytics for Healthcare: Scalable Algorithms and Applications Nello Cristianini (University of Bristol), [introductory] THINKBIG: Towards Large Scale Computational Social Sciences, History and Digital Humanities Ernesto Damiani (University of Milan), tba Francisco Herrera (University of Granada), [introductory] Big Data Preprocessing George Karypis (University of Minnesota), [intermediate/advanced] Scaling Up Recommender Systems Chih-Jen Lin (NationalTaiwanUniversity), [introductory/intermediate] Large-scale Linear Classification Geoff McLachlan (University of Queensland), tba Wladek Minor (University of Virginia), [introductory/intermediate] Big Data and Structural Biology and Chemistry Sankar K. Pal (Indian Statistical Institute), [introductory/advanced] Machine Intelligence and Granular Mining: Relevance to Big Data Hanan Samet (University of Maryland), [introductory/intermediate] Sorting in Space Jeffrey Ullman (StanfordUniversity), [introductory] Big Data Algorithms that Aren't Machine Learning Alexandre Vaniachine (Argonne National Laboratory), [introductory/advanced] Big Data: Comparison with Computational Models Xiaowei Xu (University of Arkansas, Little Rock), [introductory/advanced] Big Data Analytics for Social Networks Mohammed J. Zaki (Rensselaer Polytechnic Institute), [introductory/advanced] Large Scale Graph Analytics and Mining OPEN SESSION An open session will collect 5-minute presentations of work in progress by participants. They should submit a half-page abstract containing title, authors, and summary of the research to adrian.dediu (at) urv.cat by February 5, 2016. ORGANIZING COMMITTEE: Adrian Horia Dediu Carlos Mart?n-Vide (co-chair) Borja Sanz (co-chair) Florentina Lilica Voicu REGISTRATION: It has to be done at http://grammars.grlmc.com/bigdat2016/registration.php The selection of up to 8 courses requested in the registration template is only tentative and non-binding. For the sake of organization, it will be helpful to have an approximation of the respective demand for each course. Since the capacity of the venue is limited, registration requests will be processed on a first come first served basis. The registration period will be closed and the on-line registration facility disabled when the capacity of the venue will be complete. It is much recommended to register prior to the event. FEES: Participants are expected to attend full-time. Fees are a flat rate allowing the attendance to all courses during the week. There are several early registration deadlines. Fees depend on the registration deadline. ACCOMMODATION: Suggestions of accommodation will be available on the webpage in due time. CERTIFICATE: Participants will be delivered a certificate of attendance. QUESTIONS AND FURTHER INFORMATION: florentinalilica.voicu (at) urv.cat ACKNOWLEDGEMENTS: DeustoUniversity Rovira i VirgiliUniversity -------------- next part -------------- An HTML attachment was scrubbed... URL: https://mail.cms.math.ca/pipermail/webmath/attachments/20150912/fdd14355/attachment.htm From grlmc at grlmc.com Sat Sep 19 13:02:13 2015 From: grlmc at grlmc.com (GRLMC) Date: Mon Sep 21 11:11:43 2015 Subject: [Webmath] LATA 2016: 2nd call for papers Message-ID: *To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line* **************************************************************************************** 10TH INTERNATIONAL CONFERENCE ON LANGUAGE AND AUTOMATA THEORY AND APPLICATIONS ? LATA 2016 ? PRAGUE, CZECH REPUBLIC ? MARCH 14-18, 2016 Organized by: Department of Theoretical Computer Science Faculty of Information Technology CzechTechnicalUniversity in Prague Research Group on Mathematical Linguistics (GRLMC) Rovira i Virgili University http://grammars.grlmc.com/lata2016/ **************************************************************************************** AIMS: LATA is a conference series on theoretical computer science and its applications. Following the tradition of the diverse PhD training events in the field developed at Rovira i VirgiliUniversity in Tarragona since 2002, LATA 2016 will reserve significant room for young scholars at the beginning of their career. It will aim at attracting contributions from classical theory fields as well as application areas. ? VENUE: LATA 2016 will take place in Prague, a city full of history and cultural attractions, and one of the political and economic cores of central Europe. The venue will be the campus of the CzechTechnicalUniversity in the Dejvice quarter. ? SCOPE: Topics of either theoretical or applied interest include, but are not limited to: algebraic language theory algorithms for semi-structured data mining algorithms on automata and words automata and logic automata for system analysis and programme verification automata networks automata, concurrency and Petri nets automatic structures cellular automata codes combinatorics on words computational complexity data and image compression descriptional complexity digital libraries and document engineering foundations of finite state technology foundations of XML fuzzy and rough languages grammars (Chomsky hierarchy, contextual, unification, categorial, etc.) grammatical inference and algorithmic learning graphs and graph transformation language varieties and semigroups language-based cryptography mathematical and logical foundations of programming methodologies parallel and regulated rewriting parsing patterns power series string and combinatorial issues in bioinformatics string processing algorithms symbolic dynamics term rewriting transducers trees, tree languages and tree automata unconventional models of computation weighted automata ? STRUCTURE: LATA 2016 will consist of: invited talks invited tutorials peer-reviewed contributions ? INVITED SPEAKERS: (to be completed) Martin Grohe (RWTHAachenUniversity), Connectivity Systems, Decompositions, and Tangles Jean-Fran?ois Raskin (Free University of Brussels), Non-zero Sum Games for Reactive Synthesis Frank Wolter (University of Liverpool), Automata for Ontologies ? PROGRAMME COMMITTEE: Amihood Amir (Bar-IlanUniversity, Ramat Gan, Israel) Dana Angluin (YaleUniversity, New Haven, USA) Franz Baader (Technical University of Dresden, Germany) Christel Baier (Technical University of Dresden, Germany) Hans L. Bodlaender (UtrechtUniversity, The Netherlands) Jean-Marc Champarnaud (University of Rouen, France) Bruno Courcelle (LaBRI, Bordeaux, France) Rod Downey (VictoriaUniversity of Wellington, New Zealand) Frank Drewes (Ume? University, Sweden) Ding-Zhu Du (University of Texas, Dallas, USA) Javier Esparza (Technical University of Munich, Germany) Michael Fellows (CharlesDarwinUniversity, Darwin, Australia) Mohammad Taghi Hajiaghayi (University of Maryland, College Park, USA) Yo-Sub Han (YonseiUniversity, Seoul, South Korea) Markus Holzer (University of Giessen, Germany) Juraj Hromkovi? (ETH Zurich, Switzerland) Oscar H. Ibarra (University of California, Santa Barbara, USA) Costas S. Iliopoulos (King's College London, UK) Jan Janou?ek (CzechTechnicalUniversity in Prague, Czech Republic) Galina Jir?skov? (SlovakAcademy of Sciences, Ko?ice, Slovakia) Ming-Yang Kao (Northwestern University, Evanston, USA) Juhani Karhum?ki (University of Turku, Finland) Joost-Pieter Katoen (RWTH Aachen University, Germany) Martin Kutrib (University of Giessen, Germany) Zhiwu Li (Xidian University, Xi'an, China) Andreas Malcher (University of Giessen, Germany) Oded Maler (VERIMAG, Gi?res, France) Carlos Mart?n-Vide (Rovira i Virgili University, Tarragona, Spain, chair) Bo?ivoj Melichar (CzechTechnicalUniversity in Prague, Czech Republic) Ugo Montanari (University of Pisa, Italy) Franti?ek Mr?z (CharlesUniversity in Prague, Czech Republic) Mitsunori Ogihara (University of Miami, Coral Gables, USA) Alexander Okhotin (University of Turku, Finland) Doron A. Peled (Bar-IlanUniversity, Ramat Gan, Israel) Martin Pl?tek (CharlesUniversity in Prague, Czech Republic) Alberto Policriti (University of Udine, Italy) Daniel Reidenbach (University of Loughborough, UK) Antonio Restivo (University of Palermo, Italy) Kai Salomaa (Queen's University, Kingston, Canada) Davide Sangiorgi (University of Bologna, Italy) Uli Sattler (University of Manchester, UK) Frits Vaandrager (RadboudUniversity, Nijmegen, The Netherlands) Pierre Wolper (University of Li?ge, Belgium) Zhilin Wu (Chinese Academy of Sciences, Beijing, China) Mengchu Zhou (New Jersey Institute of Technology, Newark, USA) ORGANIZING COMMITTEE: Adrian Horia Dediu (Tarragona) Jan Janou?ek (Prague, co-chair) Carlos Mart?n-Vide (Tarragona, co-chair) Radom?r Pol?ch (Prague) Eli?ka ?est?kov? (Prague) Jan Tr?vn??ek (Prague) Bianca Truthe (Giessen) Florentina Lilica Voicu (Tarragona) ? SUBMISSIONS: Authors are invited to submit non-anonymized papers in English presenting original and unpublished research. Papers should not exceed 12 single-spaced pages (including eventual appendices, references, proofs, etc.) and should be prepared according to the standard format for Springer Verlag's LNCS series (see http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0 [1]). Submissions have to be uploaded to: https://www.easychair.org/conferences/?conf=lata2016 ? PUBLICATIONS: A volume of proceedings published by Springer in the LNCS series will be available by the time of the conference. A special issue of a major journal will be later published containing peer-reviewed substantially extended versions of some of the papers contributed to the conference. Submissions to it will be by invitation. ? REGISTRATION: The period for registration is open from August 28, 2015 to March 14, 2016. The registration form can be found at: http://grammars.grlmc.com/lata2016/Registration.php DEADLINES: Paper submission: October 19, 2015 (23:59 CET) Notification of paper acceptance or rejection: November 27, 2015 Final version of the paper for the LNCS proceedings: December 7, 2015 Early registration: December 7, 2015 Late registration: February 29, 2016 Submission to the journal special issue: June 18, 2016 ? QUESTIONS AND FURTHER INFORMATION: florentinalilica.voicu (at) urv.cat ? POSTAL ADDRESS: LATA 2016 Research Group on Mathematical Linguistics (GRLMC) Rovira i Virgili University Av. Catalunya, 35 43002 Tarragona, Spain Phone: +34 977 559 543 Fax: +34 977 558 386 ACKNOWLEDGEMENTS: ?esk? vysok? u?en? technick? v Praze Universitat Rovira i Virgili Links: ------ [1] http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0 -------------- next part -------------- An HTML attachment was scrubbed... URL: https://mail.cms.math.ca/pipermail/webmath/attachments/20150919/c3d6e883/attachment.htm From grlmc at grlmc.com Sat Sep 26 12:14:53 2015 From: grlmc at grlmc.com (GRLMC) Date: Mon Sep 28 10:09:29 2015 Subject: [Webmath] TPNC 2015: call for posters Message-ID: <4361d71d6b081c8784a9c04d8b26ab6a@grlmc.com> *To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line* **************************************************************************************** The 4th International Conference on the Theory and Practice of Natural Computing (TPNC 2015) invites authors to submit poster presentations. TPNC 2015 will be held in Mieres (Spain) on 15-16 December, 2015. See http://grammars.grlmc.com/TPNC2015/ Poster presentations are intended to enhance informal interactions with the conference participants, at the same time allowing for in-depth discussion. TOPICS Authors are encouraged to submit presentations displaying novel work in progress on: - nature-inspired models of computation, - synthesizing nature by means of computation, - nature-inspired materials, - information processing in nature, - applications of natural computing. Posters do not need to show final research results. Work that might lead to new interesting developments is welcome. KEY DATES Submission deadline: November 8, 2015 Notification of poster acceptance or rejection: November 15, 2015 SUBMISSION Please submit a .pdf abstract through: https://www.easychair.org/conferences/?conf=tpnc2015 It should contain the title, author(s) and affiliation, and should not exceed 500 words. PRESENTATION Posters will be allocated 10 minutes each in the programme for oral presentation. Moreover, they will remain hanging out during the whole conference for discussion. PUBLICATION Posters will not appear in the LNCS proceedings volume of TPNC 2015. However, they will be eligible for submission to the post-conference journal special issue in Soft Computing (Springer). REGISTRATION At least one author of each accepted poster must register to the conference. Their registration fare is reduced: 225 Euro (appr. half of the cheapest fare for regular participants). Contributors of regular papers who in addition get a poster accepted must register for the latter too. -------------- next part -------------- An HTML attachment was scrubbed... URL: https://mail.cms.math.ca/pipermail/webmath/attachments/20150926/7fbe10a0/attachment.htm From grlmc at grlmc.com Sun Nov 1 09:47:27 2015 From: grlmc at grlmc.com (GRLMC) Date: Mon Nov 2 09:52:41 2015 Subject: [Webmath] TPNC 2015: posters deadline 8 November Message-ID: <7503cb5dd16d6a2c2b98e0342377bdd4@grlmc.com> *To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line* **************************************************************************************** The 4th International Conference on the Theory and Practice of Natural Computing (TPNC 2015) invites authors to submit poster presentations. TPNC 2015 will be held in Mieres (Spain) on 15-16 December, 2015. See http://grammars.grlmc.com/tpnc2015/ Poster presentations are intended to enhance informal interactions with the conference participants, at the same time allowing for in-depth discussion. TOPICS Authors are encouraged to submit presentations displaying novel work in progress on: - nature-inspired models of computation, - synthesizing nature by means of computation, - nature-inspired materials, - information processing in nature, - applications of natural computing. Posters do not need to show final research results. Work that might lead to new interesting developments is welcome. KEY DATES Submission deadline: November 8, 2015 Notification of poster acceptance or rejection: November 15, 2015 SUBMISSION Please submit a .pdf abstract through: https://www.easychair.org/conferences/?conf=tpnc2015 It should contain the title, author(s) and affiliation, and should not exceed 500 words. PRESENTATION Posters will be allocated 10 minutes each in the programme for oral presentation. Moreover, they will remain hanging out during the whole conference for discussion. PUBLICATION Posters will not appear in the LNCS proceedings volume of TPNC 2015. However, they will be eligible for submission to the post-conference journal special issue in Soft Computing (Springer). REGISTRATION At least one author of each accepted poster must register to the conference. Their registration fare is reduced: 225 Euro (appr. half of the cheapest fare for regular participants). Contributors of regular papers who in addition get a poster accepted must register for the latter too. -------------- next part -------------- An HTML attachment was scrubbed... URL: https://mail.cms.math.ca/pipermail/webmath/attachments/20151101/123dba88/attachment.htm From autexier at dfki.de Tue Dec 8 02:55:31 2015 From: autexier at dfki.de (Serge Autexier) Date: Tue Dec 8 09:22:04 2015 Subject: [Webmath] Call for Papers - 9th Conference on Intelligent Computer Mathematics - CICM 2016 - Deadline 28. February 2016 Message-ID: <20151208075531.72D863451F7E@mbp-autexier.informatik.uni-bremen.de> Call for Papers 9th Conference on Intelligent Computer Mathematics - CICM 2016 - July 25-29, 2016 University of Bialystok, Poland http://www.cicm-conference.org/2016 ---------------------------------------------------------------------- Digital and computational solutions are becoming the prevalent means for the generation, communication, processing, storage and curation of mathematical information. Separate communities have developed to investigate and build computer based systems for computer algebra, automated deduction, and mathematical publishing as well as novel user interfaces. While all of these systems excel in their own right, their integration can lead to synergies offering significant added value. The Conference on Intelligent Computer Mathematics (CICM) offers a venue for discussing and developing solutions to the great challenges posed by the integration of these diverse areas. CICM has been held annually as a joint meeting since 2008, co-locating related conferences and workshops to advance work in these subjects. Previous meetings have been held in Birmingham (UK 2008), Grand Bend (Canada 2009), Paris (France 2010), Bertinoro (Italy 2011), Bremen (Germany 2012), Bath (UK 2013), Coimbra (Portugal 2014), and Washington DC (USA 2015). This is a call for papers for CICM 2016, which will be held in Bialystok, Poland, July 25-29, 2016. The principal tracks of the conference will be: * Track: Calculemus (chair: Leonardo de Moura) * Track: Digital Mathematical Libraries (DML) (chair: Frank Tompa) * Track: Mathematical Knowledge Management (MKM) (chair: Bruce Miller) * Track: Systems & Data (chair: Moa Johansson) * Track: Doctoral Programme (chair: TBD) Like in previous years, project descriptions are welcomed as well. The overall programme is organized by the General Program Chair Michael Kohlhase. The workshop and publicity chair is Serge Autexier. The local arrangements will be coordinated by Adam Naumowicz. We plan to have proceedings of the conference as in previous years with Springer Verlag as a volume in Lecture Notes in Artificial Intelligence (LNAI). *Important Dates* Conference submissions - Abstract submission deadline: 28. February 2016 - Submission deadline: 6. March 2016 - Reviews sent to authors: 10. April 2016 - Rebuttals due: 13. April 2016 - Notification of acceptance: 25. April 2016 - Camera ready copies due: 10. May 2016 - Conference: 25.-29. July 2016 Work-in-progress and Doctoral Programme - Submission deadline (Doctoral: Abstract+CV): 1. May 2016 - Notification of acceptance: 19. May 2016 - Camera ready copies due: 19. June 2016 More details on the conference are available from http://www.cicm-conference.org/2016/cicm.php?menu=cfp From serge.autexier at dfki.de Mon Dec 14 09:13:49 2015 From: serge.autexier at dfki.de (Serge Autexier) Date: Mon Dec 14 10:34:49 2015 Subject: [Webmath] Call for Workshops - 9th Conference on Intelligent Computer Mathematics - CICM 2016 - Proposals Deadline 22. January 2016 Message-ID: <20151214141349.B767135067C6@mbp-autexier.informatik.uni-bremen.de> Call for Workshop Proposals 9th Conference on Intelligent Computer Mathematics - CICM 2016 - July 25-29, 2016 University of Bialystok, Poland http://www.cicm-conference.org/2016 ---------------------------------------------------------------------- Digital and computational solutions are becoming the prevalent means for the generation, communication, processing, storage and curation of mathematical information. Separate communities have developed to investigate and build computer based systems for computer algebra, automated deduction, and mathematical publishing as well as novel user interfaces. While all of these systems excel in their own right, their integration can lead to synergies offering significant added value. The Conference on Intelligent Computer Mathematics (CICM) offers a venue for discussing and developing solutions to the great challenges posed by the integration of these diverse areas. CICM has been held annually as a joint meeting since 2008, colocating related conferences and workshops to advance work in these subjects. Previous meetings have been held in Birmingham (U.K. 2008), Grand Bend (Canada 2009), Paris (France 2010), Bertinoro (Italy 2011), Bremen (Germany 2012), Bath (U.K. 2013), Coimbra (Portugal, 2014) and Washington D.C. (USA, 2015). This is the call for proposals for workshops to be held at CICM 2016, which will be held at the University of Bialystok (Poland), July 25-29 next year. Some of the workshops that have been held at past CICM meetings are: Automated Reasoning: Bridging the Gap between Theory and Practice Compact Computer Algebra Empirically Successful Automated Reasoning for Mathematics Formal Mathematics for Mathematicians Intelligent Proof Search Mathematical user Interfaces Mathematics Information Retrieval OpenMath Pen-Based Mathematical Computation Programming languages for Mechanized Mathematics Systems SCIEnce The Notion of Proof User Interfaces for Theorem Provers Proposals for workshops to be held at CICM 2016 are solicited. Both well-established workshops and newer or brand new ones are encouraged. Please provide the following information: + Workshop title. + Names and affiliations of organizers. + Brief description of workshop goals and/or topics. + Proposed workshop duration (half a day up to two days is possible). + If the workshop has met previously, please include the conference affiliation for the previous meeting. If the workshop is new, please indicate so. CICM will take care of copying and distributing informal printed proceedings for workshops that would like this service, as well as permanently archived open access online proceedings with CEUR-WS.org. All proposals should be sent via email to cicm-organizers@jacobs-university.de for consideration by the CICM 2016 organizers: Conference Chair: Adam Naumowicz (U Bialystok, Poland) General Program Chair: Michael Kohlhase (Jacobs University Bremen, Germany) Calculemus Track Chair: Leonardo de Moura (Microsoft Research, USA) DML Track Chair: Frank Tompa (U Waterloo, Canada) MKM Track Chair: Bruce Miller (NIST, USA) System & Data Chair: Moa Johansson (Chalmers U, Sweden) Workshop Chair: Serge Autexier (DFKI, Germany) Important dates: Deadline for proposal submissions: January 22nd, 2016 Acceptance/rejection notification: February 1, 2016 Workshop dates: July 25-29, 2016 ----------------------------------------------------------------------