From grlmc at grlmc.com Wed Feb 3 23:44:34 2016 From: grlmc at grlmc.com (GRLMC) Date: Thu Feb 4 10:10:02 2016 Subject: [Webmath] WebST 2016: early registration 14 February Message-ID: <545102060a010b0a065253040d53595200530c075100055800005a075453005204030300525b51515605050503@grlmc_ip-zone_com-6> WebST 2016: early registration 14 February*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line* ? ***************************************************************************** INTERNATIONAL SUMMER SCHOOL ON WEB SCIENCE AND TECHNOLOGY ? WebST 2016 ? Bilbao, Spain ? July 18-22, 2016 ? Organized by: University of Deusto Rovira i Virgili University ? http://grammars.grlmc.com/webst2016/ ***************************************************************************** ? --- Early registration deadline: February 14, 2016 --- ? ******************************************************** ? AIM: ? WebST 2016 is 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, multidisciplinary and fast developing area of web studies, which covers a large spectrum of current exciting research and industrial innovation from computing and technologies to social sciences and the humanities and has turned out to be the largest socio-technical infrastructure in human history. Renowned academics and industry pioneers will lecture and share their views with the audience. ? Most subareas of web science and technology will be displayed, namely: content analysis and information extraction, information networks, search, data and semantics, ontologies, user behavior and personalization, online communities, social networks, economic transactions, mobility, security and privacy, graph analysis, web mining and applications. Main challenges and opportunities will be identified through 4 keynote lectures, 20 six-hour courses, and 1 round table, which will tackle the most active and promising topics from various perspectives: philosophy, sociology, politics, digital humanities, economics, computer science, engineering and mathematics. The organizers believe outstanding speakers will attract the brightest and most motivated students. Interaction will be a main component of the event. Moreover, 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. WebST 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, scholars, 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: ? WebST 2016 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 University of Deusto Avda. Universidades, 24 48014 Bilbao ? KEYNOTE SPEAKERS: ? Ricardo Baeza-Yates (Yahoo Labs), Big Data in the Web ? Jiawei Han (University of Illinois, Urbana-Champaign), From Data to Knowledge: A Data-to-Network-to-Knowledge (D2N2K) Paradigm ? Prabhakar Raghavan (Google), tba ? Amit P. Sheth (Wright State University), Building Intelligent Systems: Semantic, Cognitive and Perceptual Computing to Exploit Physical-Cyber-Social Big Data ? PROFESSORS AND COURSES: ? Timothy Baldwin (University of Melbourne), [intermediate] Social Media and Text Analytics ? Boualem Benatallah (University of New South Wales), [advanced] API Engineering and Management ? Vassilis Christophides (INRIA, Paris), [introductory/intermediate] Entity Resolution in the Web of Data ? Brian D. Davison (Lehigh University), [introductory] Useful Web Mining with R ? Aldo Gangemi (Italian National Research Council, Rome), [intermediate/advanced] Open Knowledge Extraction: From Machine Reading to the Semantic Web ? Marco Gori (University of Siena), [advanced] Learning Semantic-based Structures from Textual Sources ? Alon Halevy (Recruit Institute of Technology), [introductory] Structured Data on the Web ? Jiawei Han (University of Illinois, Urbana-Champaign), [intermediate] Construction and Mining of Text-Rich Heterogeneous Information Networks ? Andreas Hotho (University of W?rzburg), [intermediate] Social Semantics in the Web ? Ravi Kumar (Google), [introductory/intermediate] Computing at Scale: Models and Algorithms ? Haewoon Kwak (Qatar Foundation), [introductory/intermediate] From Social Network Analysis to Social Media Analytics and beyond: Challenges and Opportunities ? Cathy Marshall (Texas A&M University), [introductory] Qualitative Methods for Studying Users on the Web ? Mirco Musolesi (University College London), [introductory/intermediate] Mining Big (and Small) Mobile Data ? Marc Najork (Google), [introductory] Search Engine Architecture ? Bijan Parsia (University of Manchester), [introductory] The Semantic Web and Linked Data ? Prabhakar Raghavan (Google), [intermediate] How To Build a Search Engine ? Uli Sattler (University of Manchester), [introductory] OWL, Underlying Logics, and What This Reasoning Is All about ? Munindar P. Singh (North Carolina State University), [introductory/intermediate] Web Applications as Sociotechnical Systems: A Basis for a Science of Security and Privacy ? Barry Smith (University at Buffalo), [introductory] Towards Ontological Foundations for? Web Science ? Raphael Volz (Pforzheim University of Applied Science), [introductory] Improving Prediction Models with Open Data ? 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 florentinalilica.voicu (at) urv.cat by July 15, 2016. ? ORGANIZING COMMITTEE: ? Carlos Mart?n-Vide (co-chair) Manuel Jes?s Parra Roy?n Borja Sanz (co-chair) Florentina Lilica Voicu ? REGISTRATION: ? It has to be done at ? http://grammars.grlmc.com/webst2016/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: ? 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: ? University of Deusto Rovira i Virgili University -------------- next part -------------- An HTML attachment was scrubbed... URL: https://mail.cms.math.ca/pipermail/webmath/attachments/20160204/e360249c/attachment.htm From serge.autexier at dfki.de Wed Feb 17 03:12:40 2016 From: serge.autexier at dfki.de (Serge Autexier) Date: Mon Feb 22 09:45:02 2016 Subject: [Webmath] 2nd Call for Papers - 9th Conference on Intelligent Computer Mathematics - CICM 2016 - *NEW* Deadline 9. March 2016 Message-ID: <20160217081240.69D5F37290E1@mbp-autexier.informatik.uni-bremen.de> Second Call for Papers & Updates 9th Conference on Intelligent Computer Mathematics - CICM 2016 - July 25-29, 2016 University of Bialystok, Poland http://www.cicm-conference.org/2016 +----------------------------- NEWS ---------------------------------+ | The new abstract submission deadline 9. March 2016 and all other | | deadlines adjusted accordingly | | CICM will host 4 workshops (Formal Mathematics for Mathematicians, | | Mathematical User Interfaces, Openmath, and Theorem Provers | | Components for Educational Software) and 2 tutorials | +--------------------------------------------------------------------+ 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). *New Important Dates* Conference submissions - Abstract submission deadline: 9. March 2016 - Submission deadline: 16. March 2016 - Reviews sent to authors: 20. April 2016 - Rebuttals due: 23. April 2016 - Notification of acceptance: 5. May 2016 - Camera ready copies due: 20. May 2016 - Conference: 25.-29. July 2016 Work-in-progress and Doctoral Programme - Submission deadline (Doctoral: Abstract+CV): 10. May 2016 - Notification of acceptance: 29. May 2016 - Camera ready copies due: 29. 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 Mar 7 11:57:11 2016 From: serge.autexier at dfki.de (Serge Autexier) Date: Mon Mar 7 13:48:38 2016 Subject: [Webmath] Final Call for Papers - 9th Conference on Intelligent Computer Mathematics - CICM 2016 - Abstract Submission Deadline 9. March 2016 Message-ID: <20160307165711.69AD53806D53@mbp-autexier.informatik.uni-bremen.de> Second Call for Papers & Updates 9th Conference on Intelligent Computer Mathematics - CICM 2016 - July 25-29, 2016 University of Bialystok, Poland http://www.cicm-conference.org/2016 +----------------------------- NEWS ---------------------------------+ | Abstract Deadline: March 9th, 2016 | | CICM will host *5* workshops (Formal Mathematics for | | Mathematicians, Mathematical User Interfaces, Openmath, Proof | | Engineering (Constructing, Maintaining and Understanding Large | | Proofs) and Theorem Provers Components for Educational Software) | | as well as 2 tutorials | +--------------------------------------------------------------------+ 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: Martin Suda) 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). *New Important Dates* Conference submissions - Abstract submission deadline: *9. March 2016* - Submission deadline: 16. March 2016 - Reviews sent to authors: 20. April 2016 - Rebuttals due: 23. April 2016 - Notification of acceptance: 5. May 2016 - Camera ready copies due: 20. May 2016 - Conference: 25.-29. July 2016 Work-in-progress and Doctoral Programme - Submission deadline (Doctoral: Abstract+CV): 10. May 2016 - Notification of acceptance: 29. May 2016 - Camera ready copies due: 29. June 2016 More details on the conference are available from http://www.cicm-conference.org/2016/cicm.php?menu=cfp From pedro at mat.uc.pt Thu Mar 10 09:25:32 2016 From: pedro at mat.uc.pt (Pedro Quaresma) Date: Thu Mar 10 10:38:08 2016 Subject: [Webmath] Workshop ThEdu'16 - cfp Message-ID: <56E183DC.2050107@mat.uc.pt> Call for Extended Abstracts & Demonstrations - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - ThEdu'16 Theorem Prover Components for Educational Software http://www.uc.pt/en/congressos/thedu/thedu16 - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - at CICM 2016 Conferences on Intelligent Computer Mathematics July 25-29, 2016, Bialystok, Poland http://www.cicm-conference.org/2016 - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - THedu'16 Scope: Educational software tools have technologies integrated from CAS, from DGS, from Spreadsheets and others, but not from TP with few exceptions: the latter have been developed to model mathematical reasoning in software -- rigorous reasoning as a companion of calculating, which guarantees the unsurpassed reliability of mathematics. Providing students with insight in and experience with this kind of reliability is considered an essential aim of mathematics education. TPs intrude into science as well as into industry: They are used to tackle difficult proofs in the science of mathematics, like the Four Color Problem or the Kepler Conjecture. In industry TPs are successfully used to verify safety critical software. This workshop addresses a window of opportunity during the still open development of TP. The workshop provides a meeting place for educators and developers of educational mathematics software and experts in TP. The discussions shall clarify the requirements of education, identify advantages and promises of TP for learning and motivate development of a novel kind of educational mathematical tools probably establishing a new generation of such tools. Important Dates * Extended Abstracts: 4. June 2016 * Author Notification: 18. June 2016 * Final Version: 2. July 2016 * Workshop Day: 25-29. July 2016 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 which kind of support TP should be provided? * Automated TP in geometry -- relating intuitive evidence with logical rigor: specific provers, adaption of axioms and theorems, visual proofs, etc. * Application of TP components in SW for engineers -- Formal Methods increasingly advance into engineering practice, so educational software based on TP components could anticipate that advancement. * 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 -- suggesting 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. Contributions should be submitted via THedu'16 easychair https://www.easychair.org/conferences/?conf=thedu16. 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. Joint publication in companion with other CICM events is under consideration (e.g. http://ceur-ws.org/). 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, TUG 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 ---//--- IJCAR 2016, International Joint Conference on Automated Reasoning, 27 June-1 July, 2016, Coimbra, Portugal. ---//--- -- At\'e breve;Deica Logo;\`A bient\^ot;See you later;Vidimo se;A tra poco;Do zobaczenia Professor Auxiliar Pedro Quaresma Mathematics Departament, Science and Technology Faculty University of Coimbra P-3001-454 COIMBRA, PORTUGAL Elec. mail: pedro@mat.uc.pt webpage: http://www.mat.uc.pt/~pedro/ phone: +351 239 791 137; fax: +351 239 832 568 From serge.autexier at dfki.de Mon Mar 21 08:30:01 2016 From: serge.autexier at dfki.de (Serge Autexier) Date: Mon Mar 21 10:20:51 2016 Subject: [Webmath] Call for Papers: Workshop on User Interfaces for Theorem Provers (UITP 2016 @ IJCAR), Coimbra, Portugal, Deadline May 9th Message-ID: <20160321123001.A28B13894B18@mbp-autexier.informatik.uni-bremen.de> First Call for Papers UITP 2016 12th International Workshop on User Interfaces for Theorem Provers in connection with IJCAR 2016 July 2nd, 2016, Coimbra, Portugal http://www.informatik.uni-bremen.de/uitp/current/ * Submission deadline: May 9th, 2016 * ---------------------------------------------------------------------- The User Interfaces for Theorem Provers workshop series brings together researchers interested in designing, developing and evaluating interfaces for interactive proof systems, such as theorem provers, formal method tools, and other tools manipulating and presenting mathematical formulas. While the reasoning capabilities of interactive proof systems have increased dramatically over the last years, the system interfaces have often not enjoyed the same attention as the proof engines themselves. In many cases, interfaces remain relatively basic and under-designed. The User Interfaces for Theorem Provers workshop series provides a forum for researchers interested in improving human interaction with proof systems. We welcome participation and contributions from the theorem proving, formal methods and tools, and HCI communities, both to report on experience with existing systems, and to discuss new directions. Topics covered include, but are not limited to: - Application-specific interaction mechanisms or designs for prover interfaces Experiments and evaluation of prover interfaces - Languages and tools for authoring, exchanging and presenting proof - Implementation techniques (e.g. web services, custom middleware, DSLs) - Integration of interfaces and tools to explore and construct proof - Representation and manipulation of mathematical knowledge or objects - Visualisation of mathematical objects and proof - System descriptions UITP 2016 is a one-day workshop to be held on Saturday, July 2nd, 2016 in Coimbra, Portugal, as a IJCAR 2016 workshop. ** Submissions ** Submitted papers should describe previously unpublished work (completed or in progress), and be at least 4 pages and at most 12 pages. We encourage concise and relevant papers. Submissions should be in PDF format, and typeset with the EPTCS LaTeX document class (which can be downloaded from http://style.eptcs.org/). Submission should be done via EasyChair at https://www.easychair.org/conferences/?conf=uitp16 All papers will be peer reviewed by members of the programme committee and selected by the organizers in accordance with the referee reports. At least one author/presenter of accepted papers must attend the workshop and present their work. ** Proceedings ** Authors will have the opportunity to incorporate feedback and insights gathered during the workshop to improve their accepted papers before publication in the Electronic Proceedings in Theoretical Computer Science (EPTCS - http://www.eptcs.org/). ** Important dates ** Submission deadline: May 9th, 2016 Acceptance notification: June 6th, 2016 Camera-ready copy: June 20th, 2016 Workshop: July 2nd, 2016 ** Programme Committee ** Serge Autexier, DFKI Bremen, Germany (Co-Chair) Pedro Quaresma, U Coimbra, Portugal (Co-Chair) David Aspinall, University of Edinburgh, Scotland Chris Benzm?ller, FU Berlin, Germany & Stanford, USA Yves Bertot, INRIA Sophia-Antipolis, France Gudmund Grov, Heriott-Watt University, Scotland Zolt?n Kov?cs, RISC, Austria Christoph L?th, University of Bremen and DFKI Bremen, Germany Alexander Lyaletski, Kiev National Taras Shevchenko Univ., Ukraine Michael Norrish, NICTA, Australia Andrei Paskevich, LRI, France Christian Sternagel, University Innsbruck, Austria Enrico Tassi, INRIA Sophia-Antipolis, France Laurent Th?ry, INRIA Sophia-Antipolis, France Makarius Wenzel, Sketis, Germany Wolfgang Windsteiger, RISC Linz, Austria Bruno Woltzenlogel Paleo, TU Vienna, Austria From paul at hoplahup.net Tue Apr 12 09:12:37 2016 From: paul at hoplahup.net (Paul Libbrecht) Date: Tue Apr 12 09:41:39 2016 Subject: [Webmath] Announcing MathUI 2016 - the Mathematical User Interfaces Workshop Message-ID: <570CF445.2070509@hoplahup.net> Call for Papers: MathUI'16 http://www.cicm-conference.org/2016/cicm.php?event=mathui ------------------------------------------------------------------------ 10^th Mathematical User Interfaces Workshop 2016 ------------------------------------------------------------------------ at the Conference on Intelligent Computer Mathematics Bialystok, Poland on Monday 25^th of July 2016 ------------------------------------------------------------------------ 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 for mathematical content * mobile-devices powered mathematics * cultural differences in practices of mathematical languages * didactically sensible mathematical 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 30^th 2016. Method of submission: please login and submit via EasyChair: https://easychair.org/conferences/?conf=mathui16. The submissions will be reviewed by the international programme committee whose comments and recommendations will be sent back by June 19^th requesting a final version no later than July 2^nd . Moreover, MathUI will be concluded by an exhibit-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. REVIEW COMMITTEE (to be confirmed) * Finland o Olga Caprotti, University of Helsinki * France o Jana Trgalova, Universite Claude Bernard Lyon 1 * Germany o Andrea Kohlhase (organizer), Neu-Ulm University of Applied Sciences o Peter Krautzberger, krautzource UG, Bonn o Paul Libbrecht (organizer), University of Education of Weingarten * Great Britain o Chris Rowley * Netherlands o Jan Willem Knopper, Technische Universiteit Eindhoven * Spain o Daniel Marqu?s, wiris, Barcelona * USA o Deyan Ginev, Authorea, New York o 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 -------------- next part -------------- An HTML attachment was scrubbed... URL: https://mail.cms.math.ca/pipermail/webmath/attachments/20160412/b344846b/attachment.htm From pedro at mat.uc.pt Wed Apr 13 05:35:49 2016 From: pedro at mat.uc.pt (Pedro Quaresma) Date: Thu Apr 14 09:48:00 2016 Subject: [Webmath] eduTPS: "Justifying (in) Math" cfp Message-ID: <570E12F5.80104@mat.uc.pt> Deadline extended: Call for Abstracts an Posters - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - eduTPS: "Justifying (in) Math" Working Group on Education and TP Technology - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - at CADGME 2016 September 7-10, 2016, Targu Mures, Romania https://cadgme.ms.sapientia.ro/ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - New Deadline: Abstracts: May 2, 2016 Posters: May 2, 2016 The abstracts of contributed talks and posters will be published on the conference proceedings website. The length is maximum 300 words. Abstracts and posters should be submitted in as unformatted texts on the Easy Chair system: https://easychair.org/conferences/?conf=cadgme2016 Aims of the working group eduTPS: Mathematics is not only calculating, numeric and symbolic calculation, not only explaining with figures --- the distiguishing feature of math is justifying and deducing properties of mathematical objects and operations on firm grounds of logics. So Computer Algebra Systems (CAS) model calculation, Dynamic Geometry Systems (DGS) model figures --- and (Computer) Theorem Provers (TPS) model deduction and reasoning, mechanised by formal logic. TPS are widely unknown despite the fact, that recent advances in mathematics could not have been done without them (e.g. mechanised proofs of the Four Colour Theorem, of the Kepler Conjecture, etc.), that TPS are becoming indispensable in verification of requirements on complex technical systems (e.g. google car) and despite the fact, that leading TPS have math mechanised from first principles (axioms) to all undergraduate math and beyond. So the working group "eduTPS: justifying math" addresses a wide range of topics, from educational concepts of reasoning, explaining and justifying and from respective classroom experience on the one side to technical concepts and software tools, which mechanise and support these mathematical activities, on the other side. We elicit contributions from educators to the educational side as well as TP experts to the technical side --- the working group shall interactively elaborate on the connections between the two sides, connections which are not yet clarified to a considerable extent. Narrowing the apparent gap between TP technology and educational practice (and theory!) concerns the distinguishing essence of mathematics and may well lead to considerable innovations in how we teach and learn mathematics in the future. 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 which kind of support by TP should be provided? * Automated TP in geometry -- relating intuitive evidence with logical rigor: specific provers, adaption of axioms and theorems, visual proofs, etc. * TP components in SW for engineers -- Formal Methods increasingly advance into engineering practice, so educational software based on TP components could anticipate that advancement. * 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 dialogues, 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 -- suggesting 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, from educational tools to professional tools for engineers and scientists. Programme Committee: Zolt?n Kov?cs, Johannes Kepler University, Austria 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) Judit Robu, Babe?-Bolyai University Cluj, Romania Vanda Santos, CISUC, Portugal R?bert Vajda, University of Szeged, Hungary Wolfgang Windsteiger, Johannes Kepler University, Austria ---//--- IJCAR 2016, International Joint Conference on Automated Reasoning, 27 June-1 July, 2016, Coimbra, Portugal. UITP 2016, User Interfaces for Theorem Provers colocated with IJCAR 2016, 2 July, 2016, Coimbra, Portugal. ThEdu'16, International Workshop on Theorem proving components for Educational software colocated with CICM 2016, 25-29 July, 2016, Bialystok, Poland Automated Theorem Proving in Dynamic Geometry: Current Achievements Special Session at ACA'2016, 1-4 August, 2016 in Kassel, Germany CADGME 2016, Conference on Computer Algebra and Dynamic Geometry Systems in Mathematics Education 7-10 September, 2016 Targu Mures, Romania ---//--- -- At\'e breve;Deica Logo;\`A bient\^ot;See you later;Vidimo se;A tra poco;Do zobaczenia Professor Auxiliar Pedro Quaresma Mathematics Departament, Science and Technology Faculty University of Coimbra P-3001-454 COIMBRA, PORTUGAL Elec. mail: pedro@mat.uc.pt webpage: http://www.mat.uc.pt/~pedro/ phone: +351 239 791 137; fax: +351 239 832 568 From paul at hoplahup.net Mon Apr 25 12:08:00 2016 From: paul at hoplahup.net (Paul Libbrecht) Date: Tue Apr 26 09:04:40 2016 Subject: [Webmath] call for abstracts: Using sets of mathematical tools @ CADGME 2016 Message-ID: <571E40E0.2090407@hoplahup.net> ------------------------------------------------------------------------ Using Sets of Mathematical Tools A session at CADGME 2016 7--10 September 2016, Targu Mures, Romania https://cadgme.ms.sapientia.ro ------------------------------------------------------------------------ Mathematical softwares are diverse and rich. Each software can perform some tasks very well and others only with big efforts. This session aims at exploring the possibility to teach mathematics and mathematical tools when using them /together/: How can one use the systems productively, keeping the best of each software's functionality when teaching and using? We invite contributions about the exchange between computing systems such as the following: * user reports (expectations, obtained results) * teaching directions when working with several systems * scenarios of teaching of exchanges that can be effective for the education * standards and their applicability in the exchanges * technical tools that can facilitate the exchanges There is just a week left till the end of the submission period for the abstracts and posters at the CADGME conference (May 2nd). * abstracts of a presentation are max 300 words big sketch the intended presentation to be done at the conference * posters will be presented in an expo environment so as to introduce discussion We look forward to your contributions! https://cadgme.ms.sapientia.ro. -------------- next part -------------- An HTML attachment was scrubbed... URL: https://mail.cms.math.ca/pipermail/webmath/attachments/20160425/2b40b6d8/attachment.htm From serge.autexier at dfki.de Wed May 4 11:43:40 2016 From: serge.autexier at dfki.de (Serge Autexier) Date: Thu May 5 09:55:44 2016 Subject: [Webmath] Last Call for Papers: Workshop on User Interfaces for Theorem Provers (UITP 2016 @ IJCAR), Coimbra, Portugal, Deadline May 17th *NEW* (was May 9th, 2016) Message-ID: <20160504154340.ED084669A5CA@gigondas.localdomain> Last Call for Papers UITP 2016 12th International Workshop on User Interfaces for Theorem Provers in connection with IJCAR 2016 July 2nd, 2016, Coimbra, Portugal http://www.informatik.uni-bremen.de/uitp/current/ * NEW Submission deadline: May 17th, 2016 * ---------------------------------------------------------------------- NEWS: - Invited Speaker: Sylvain Conchon (LRI, France) giving a talk about "AltGr-Ergo, a graphical user interface for the SMT solver Alt-Ergo" - Submission deadline postponed by one week to May, 17th, 2016 ---------------------------------------------------------------------- The User Interfaces for Theorem Provers workshop series brings together researchers interested in designing, developing and evaluating interfaces for interactive proof systems, such as theorem provers, formal method tools, and other tools manipulating and presenting mathematical formulas. While the reasoning capabilities of interactive proof systems have increased dramatically over the last years, the system interfaces have often not enjoyed the same attention as the proof engines themselves. In many cases, interfaces remain relatively basic and under-designed. The User Interfaces for Theorem Provers workshop series provides a forum for researchers interested in improving human interaction with proof systems. We welcome participation and contributions from the theorem proving, formal methods and tools, and HCI communities, both to report on experience with existing systems, and to discuss new directions. Topics covered include, but are not limited to: - Application-specific interaction mechanisms or designs for prover interfaces Experiments and evaluation of prover interfaces - Languages and tools for authoring, exchanging and presenting proof - Implementation techniques (e.g. web services, custom middleware, DSLs) - Integration of interfaces and tools to explore and construct proof - Representation and manipulation of mathematical knowledge or objects - Visualisation of mathematical objects and proof - System descriptions UITP 2016 is a one-day workshop to be held on Saturday, July 2nd, 2016 in Coimbra, Portugal, as a IJCAR 2016 workshop. ** Submissions ** Submitted papers should describe previously unpublished work (completed or in progress), and be at least 4 pages and at most 12 pages. We encourage concise and relevant papers. Submissions should be in PDF format, and typeset with the EPTCS LaTeX document class (which can be downloaded from http://style.eptcs.org/). Submission should be done via EasyChair at https://www.easychair.org/conferences/?conf=uitp16 All papers will be peer reviewed by members of the programme committee and selected by the organizers in accordance with the referee reports. At least one author/presenter of accepted papers must attend the workshop and present their work. ** Proceedings ** Authors will have the opportunity to incorporate feedback and insights gathered during the workshop to improve their accepted papers before publication in the Electronic Proceedings in Theoretical Computer Science (EPTCS - http://www.eptcs.org/). ** Important dates ** Submission deadline: May 17th, 2016 Acceptance notification: June 6th, 2016 Camera-ready copy: June 20th, 2016 Workshop: July 2nd, 2016 ** Programme Committee ** Serge Autexier, DFKI Bremen, Germany (Co-Chair) Pedro Quaresma, U Coimbra, Portugal (Co-Chair) David Aspinall, University of Edinburgh, Scotland Chris Benzm?ller, FU Berlin, Germany & Stanford, USA Yves Bertot, INRIA Sophia-Antipolis, France Gudmund Grov, Heriott-Watt University, Scotland Zolt?n Kov?cs, RISC, Austria Christoph L?th, University of Bremen and DFKI Bremen, Germany Alexander Lyaletski, Kiev National Taras Shevchenko Univ., Ukraine Michael Norrish, NICTA, Australia Andrei Paskevich, LRI, France Christian Sternagel, University Innsbruck, Austria Enrico Tassi, INRIA Sophia-Antipolis, France Laurent Th?ry, INRIA Sophia-Antipolis, France Makarius Wenzel, Sketis, Germany Wolfgang Windsteiger, RISC Linz, Austria Bruno Woltzenlogel Paleo, TU Vienna, Austria From paul at hoplahup.net Mon May 30 10:38:39 2016 From: paul at hoplahup.net (Paul Libbrecht) Date: Mon May 30 11:43:40 2016 Subject: [Webmath] Deadline extension for MathUI 2016 - the Mathematical User Interfaces Workshop Message-ID: <574C506F.6060601@hoplahup.net> We have extended the deadline for MathUI 2016 as follows: * Extended Abstracts 6^th June 2016 (extended) * Author Notification 19^th June 2016 Please note the deadlines for early registration for CICM. * Final Version 2 July 2016 * Workshop Day 25. July 2016 Thanks in advance. Paul Libbrecht & Andrea Kohlhase > http://www.cicm-conference.org/2016/cicm.php?event=mathui > -------------- next part -------------- An HTML attachment was scrubbed... URL: https://mail.cms.math.ca/pipermail/webmath/attachments/20160530/74be1a5c/attachment.htm From grlmc at grlmc.com Fri Jul 29 09:38:14 2016 From: grlmc at grlmc.com (GRLMC) Date: Fri Jul 29 09:57:51 2016 Subject: [Webmath] BigDat 2017: early registration 26 August Message-ID: <545102060a010b020353530200045a575a5251575152040307065a010100570350050c000700075104565956500403@grlmc_ip-zone_com-6> BigDat 2017: early registration 26 August******************************************************** ? 3rdINTERNATIONAL WINTER SCHOOL ON BIG DATA ? BigDat 2017 ? Bari, Italy ? February 13-17, 2017 ? Organized by: University of Bari "Aldo Moro" Rovira i Virgili University ? http://grammars.grlmc.com/BigDat2017/ ? ******************************************************** ? --- Early registration deadline: August 26, 2016 --- ? ******************************************************** ? AIM: ? BigDat 2017 will be a research training event with a global scope aiming at updating participants about the most recent advances in the critical and fast developing area of 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 (to biological and health sciences, to business, finance and transportation, to online social networks, etc.). Main challenges of analytics, management and storage of big data will be identified through 4 keynote lectures, 20 six-hour courses, and 1 round table, which will tackle the most active and promising topics. The organizers are convinced that outstanding speakers will attract the brightest and most motivated students. Interaction will be a main component of the event. An open session will give participants the opportunity to present their own work in progress in 5 minutes. ? ADDRESSED TO: ? In principle, graduate students, PhD students and postdocs from around the world will be the most typical profiles. However, there are no formal pre-requisites for participation in terms of academic degrees. Since there will be differences in level, specific knowledge background may be assumed for some of the courses. BigDat 2017 is also appropriate for more senior people who want to keep themselves updated on recent developments and future trends. All will surely find it fruitful to listen and discuss with major researchers, industry leaders and innovators. ? REGIME: ? In addition to keynotes, 2-3 courses will run in parallel during the whole event. Participants will be able to freely choose the courses they wish to attend as well as to move from one to another. ? VENUE: ? BigDat 2017 will take place in Bari, a lively university city on the Adriatic Sea in Southern Italy. The venue will be: ? Department of Computer Science University of Bari "Aldo Moro" via Orabona, 4 70125 Bari, Italy ? KEYNOTE SPEAKERS: ? tba ? PROFESSORS AND COURSES: (to be completed) ? Thomas B?ck (Leiden University), [introductory/intermediate] Data Analytics and Optimization for Industrial Applications: Introduction, Algorithms, and Examples ? Hendrik Blockeel (KU Leuven), [intermediate] Decision Trees for Big Data Analytics ? Diego Calvanese (Free University of Bozen-Bolzano), [advanced] Data-aware Processes: Modeling and Verification ? Amr El Abbadi (University of California, Santa Barbara), tba ? Geoffrey C. Fox (Indiana University), tba ? Minos Garofalakis (Technical University of Crete), tba ? David W. Gerbing (Portland State University), [introductory] Data Visualization with R ? Joydeep Ghosh (University of Texas, Austin), [intermediate/advanced] Multi-learner Systems for Big Data ? Georgios B. Giannakis (University of Minnesota), [advanced] Signal Processing Tools for Big Data Analytics ? Sander Klous (University of Amsterdam), [introductory] We Are Big Data ? Jiebo Luo (University of Rochester), [introductory/advanced] Big Data. Strong Health. Better Life ? Soumya D. Mohanty (University of Texas Rio Grande Valley), [introductory/intermediate] Swarm Intelligence Methods and Optimization Problems in Big Data Analytics ? Bernhard Pfahringer (University of Waikato), [introductory] Introduction to Data Stream Mining for Big Data ? Krithi Ramamritham (Indian Institute of Technology Bombay), [introductory/intermediate] Harnessing Big Data for Building Smart Things ? Michael Rosenblum (University of Potsdam), tba ? Pierangela Samarati (University of Milan), [intermediate] Data Protection in the Cloud ? Jeffrey Ullman (Stanford University), [introductory] Big Data Algorithms that Aren't Machine Learning ? John Wright (Columbia University), [intermediate/advanced] Sparse and Low-Dimensional Models for High-Dimensional Data: Theory, Algorithms and Applications ? Zhongfei Zhang (Binghamton University), [introductory/advanced] Knowledge Discovery from Relational and Multimedia Data ? 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 florentinalilica.voicu (at) urv.cat by February 10, 2017. ? ORGANIZING COMMITTEE: ? Annalisa Apice Michelangelo Ceci (co-chair) Corrado Loglisci Donato Malerba (co-chair) Carlos Mart?n-Vide (co-chair) Manuel Jes?s Parra Roy?n Gianvito Pio Florentina Lilica Voicu ? REGISTRATION: ? It has to be done at ? http://grammars.grlmc.com/BigDat2017/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 allowing the attendance to all courses during the week. There are several early registration deadlines. Fees depend on the registration deadline. ? ACCOMMODATION: ? Suggestions for accommodation will be available in due time. ? CERTIFICATE: ? Participants will be delivered a certificate of attendance. ? QUESTIONS AND FURTHER INFORMATION: ? florentinalilica.voicu (at) urv.cat ? ACKNOWLEDGEMENTS: ? University of Bari "Aldo Moro" Rovira i Virgili University -------------- next part -------------- An HTML attachment was scrubbed... URL: https://mail.cms.math.ca/pipermail/webmath/attachments/20160729/e45a50b1/attachment.htm From grlmc at grlmc.com Mon Aug 1 08:31:54 2016 From: grlmc at grlmc.com (GRLMC) Date: Tue Aug 2 14:35:58 2016 Subject: [Webmath] TPNC 2016: extended submission deadline August 8 Message-ID: <545102060a010b020456500b0e025a01570551500107000402570a575755060750580406050a5502525f0201010704@grlmc_ip-zone_com-6> TPNC 2016: extended submission deadline August 8*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line* ? ---------------------------------------------------------------------------- ***** SUBMISSION DEADLINE EXTENDED: August 8 ***** ---------------------------------------------------------------------------- ? *************************************************************************** 5th INTERNATIONAL CONFERENCE ON THE THEORY AND PRACTICE OF NATURAL COMPUTING ? TPNC 2016 ? Sendai, Japan ? December 12-14, 2016 ? Organized by: ? Cyberscience Center Tohoku University ? Research Group on Mathematical Linguistics (GRLMC) Rovira i Virgili University ? http://grammars.grlmc.com/TPNC2016/ *************************************************************************** ? 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 2016 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 2016 will take place in Sendai, in the northeast (Tohoku) region of Japan. The city was founded in 1600 and is nicknamed the "city of trees". It is the second largest city north of Tokyo. It takes about 100 minutes to reach Sendai from Tokyo by bullet train (Shinkansen). The venue will be the Cyberscience Center, Aobayama Campus, Tohoku University: ? http://www.cc.tohoku.ac.jp/HTML/ ? SCOPE: ? Topics include, but are not limited to: ? - Theoretical contributions to: ? amorphous computing ant colonies artificial chemistry artificial immune systems artificial life bacterial foraging cellular automata chaos computing collision-based computing complex adaptive systems computing with DNA computing with words and perceptions developmental systems evolutionary computing fractal geometry fuzzy logic gene assembly in ciliates granular computing intelligent systems in-vivo computing membrane computing nanocomputing neural computing optical computing physarum machines quantum computing quantum information reaction-diffusion systems rough sets self-organizing systems swarm intelligence synthetic biology ? - Applications of natural computing to: ? algorithmics 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 2016 will consist of: ? - invited talks - peer-reviewed contributions - posters ? INVITED SPEAKERS: ? Eric Bonabeau (Icosystem), The Interface: Thinking Differently about How Humans and Algorithms Connect ? Luis Mart?nez L?pez (University of Ja?n), Managing Natural Noise in Recommender Systems ? Qingfu Zhang (City University of Hong Kong), Decomposition Multiobjective Evolutionary Computation ? PROGRAMME COMMITTEE: ? Andrew Adamatzky (University of the West of England, UK) Zixing Cai (Central South University, China) ?scar Castillo (Tijuana Institute of Technology, Mexico) ?scar Cord?n (University of Granada, Spain) Gianni Di Caro (Dalle Molle Institute for Artificial Intelligence Research, Switzerland) Marco Dorigo (Free University of Brussels ? ULB, Belgium) Austin G. Fowler (Google, USA) Michel Gendreau (Montreal Polytechnic, Canada) Debasish Ghose (Indian Institute of Science, Bangalore, India) Jin-Kao Hao (University of Angers, France) Inman Harvey (University of Sussex, UK) Wei-Chiang Hong (Nanjing Tech University, China) Amir Hussain (University of Stirling, UK) Robert John (University of Nottingham, UK) Joshua Knowles (University of Birmingham, UK) Kwong-Sak Leung (Chinese University of Hong Kong, China) Seth Lloyd (Massachusetts Institute of Technology, USA) Jos? A. Lozano (University of the Basque Country, Spain) Vittorio Maniezzo (University of Bologna, Italy) Carlos Mart?n-Vide (Rovira i Virgili University, Spain, chair) Philip K. McKinley (Michigan State University, USA) Jerry M. Mendel (University of Southern California, USA) Marjan Mernik (University of Maribor, Slovenia) Radko Mesiar (Slovak University of Technology in Bratislava, Slovakia) Chrystopher Nehaniv (University of Hertfordshire, UK) Vil?m Nov?k (University of Ostrava, Czech Republic) Linqiang Pan (Huazhong University of Science and Technology, China) Frederick E. Petry (Naval Research Laboratory, USA) Dan Ralescu (University of Cincinnati, USA) Francisco C. Santos (University of Lisbon, Portugal) Friedrich Simmel (Technical University of Munich, Germany) Andrzej Skowron (University of Warsaw, Poland) John A. Smolin (IBM Thomas J. Watson Research Center, USA) Ying Tan (Peking University, China) Guy Theraulaz (Paul Sabatier University, France) Tommaso Toffoli (Boston University, USA) Vicen? Torra (University of Sk?vde, Sweden) Edward Tsang (University of Essex, UK) Sergi Valverde (Pompeu Fabra University, Spain) Jos? Luis Verdegay (University of Granada, Spain) Fernando J. Von Zuben (University of Campinas, Brazil) K. Birgitta Whaley (University of California, Berkeley, USA) Darrell Whitley (Colorado State University, USA) Xin?She Yang (Middlesex University, UK) Hao Ying (Wayne State University, USA) Mengjie Zhang (Victoria University of Wellington, New Zealand) Zhi-Hua Zhou (Nanjing University, China) ? ORGANIZING COMMITTEE: ? Masayuki Fukumitsu (Ebetsu) Carlos Mart?n-Vide (Tarragona, co-chair) Takaaki Mizuki (Sendai, co-chair) Hideaki Sone (Sendai) Miguel A. Vega-Rodr?guez (C?ceres) 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://easychair.org/conferences/?conf=tpnc2016 ? 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 the journal Soft Computing (Springer, 2014 JCR impact factor: 1.304) 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/TPNC2016/Registration.php ? DEADLINES: ? Paper submission: August 8, 2016 (23:59h, CET) ? EXTENDED ? Notification of paper acceptance or rejection: September 2, 2016 Final version of the paper for the LNCS proceedings: September 9, 2016 Early registration: September 9, 2016 Late registration: November 28, 2016 Submission to the post-conference journal special issue: March 14, 2017 ? QUESTIONS AND FURTHER INFORMATION: ? florentinalilica.voicu (at) urv.cat ? POSTAL ADDRESS: ? TPNC 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: ? Tohoku University Universitat Rovira i Virgili -------------- next part -------------- An HTML attachment was scrubbed... URL: https://mail.cms.math.ca/pipermail/webmath/attachments/20160801/a6963caa/attachment.htm From grlmc at grlmc.com Wed Aug 10 19:32:15 2016 From: grlmc at grlmc.com (GRLMC) Date: Thu Aug 11 11:50:13 2016 Subject: [Webmath] SLSP 2016: call for posters Message-ID: <545102060a010b020453500a0e075a540000545103550e5203045a0453575453515004560209090a02055556545650@grlmc_ip-zone_com-6> SLSP 2016: call for posters*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line* ********************************************************************************** The 4th International Conference on Statistical Language and Speech Processing (SLSP 2016) invites researchers to submit poster presentations. SLSP 2016 will be held in Pilsen (Czech Republic) on October 11-12, 2016. See? http://grammars.grlmc.com/SLSP2016/ Poster presentations are intended to enhance informal interactions with the conference participants, at the same time allowing for in-depth discussion. TOPICS Presentations displaying novel work in progress on the employment of statistical models (including machine learning) in language and speech processing are invited. Posters do not need to show final research results. Work that might lead to new interesting developments is welcome. KEY DATES Poster submission deadline: September 4, 2016 Notification of poster acceptance or rejection: September 11, 2016 SUBMISSION Please submit a .pdf abstract through: https://www.easychair.org/conferences/?conf=slsp2016 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/LNAI proceedings volume of SLSP 2016. However, they will be eligible for submission to the post-conference journal special issue in Computer Speech and Language (Elsevier, JCR 2014 impact factor: 1.753). REGISTRATION At least one author of each accepted poster must register to the conference by September 27, 2016. The registration fare is reduced: 240 Euro. It gives the same rights all other conference participants have (attendance, copy of the proceedings volume, lunches...). Contributors of regular papers who in addition get a poster accepted must register for the latter independently. -------------- next part -------------- An HTML attachment was scrubbed... URL: https://mail.cms.math.ca/pipermail/webmath/attachments/20160811/31ea9fb4/attachment.htm From grlmc at grlmc.com Thu Aug 18 22:56:56 2016 From: grlmc at grlmc.com (GRLMC) Date: Sat Aug 20 13:33:44 2016 Subject: [Webmath] BigDat 2017: early registration August 26 Message-ID: <545102060a010b02055650040e025a5c5a02545657085354000a58555300000253075004525d015105500756025755@grlmc_ip-zone_com-6> BigDat 2017: early registration August 26*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line* ? ******************************************************** ? 3rd INTERNATIONAL WINTER SCHOOL ON BIG DATA ? BigDat 2017 ? Bari, Italy ? February 13-17, 2017 ? Organized by: University of Bari "Aldo Moro" Rovira i Virgili University ? http://grammars.grlmc.com/BigDat2017/ ? ******************************************************** ? --- Early registration deadline: August 26, 2016 --- ? ******************************************************** ? AIM: ? BigDat 2017 will be a research training event with a global scope aiming at updating participants about the most recent advances in the critical and fast developing area of 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 (to biological and health sciences, to business, finance and transportation, to online social networks, etc.). Main challenges of analytics, management and storage of big data will be identified through 4 keynote lectures, 24 six-hour courses, and 1 round table, which will tackle the most active and promising topics. The organizers are convinced that outstanding speakers will attract the brightest and most motivated students. Interaction will be a main component of the event. An open session will give participants the opportunity to present their own work in progress in 5 minutes. ? ADDRESSED TO: ? In principle, graduate students, PhD students and postdocs from around the world will be the most typical profiles. However, there are no formal pre-requisites for participation in terms of academic degrees. Since there will be differences in level, specific knowledge background may be assumed for some of the courses. BigDat 2017 is also appropriate for more senior people who want to keep themselves updated on recent developments and future trends. All will surely find it fruitful to listen and discuss with major researchers, industry leaders and innovators. ? REGIME: ? In addition to keynotes, 2-3 courses will run in parallel during the whole event. Participants will be able to freely choose the courses they wish to attend as well as to move from one to another. ? VENUE: ? BigDat 2017 will take place in Bari, a lively university city on the Adriatic Sea in Southern Italy. The venue will be: ? Department of Computer Science University of Bari "Aldo Moro" via Orabona, 4 70125 Bari, Italy ? KEYNOTE SPEAKERS: ? tba ? PROFESSORS AND COURSES: (to be completed) ? Thomas B?ck (Leiden University), [introductory/intermediate] Data Analytics and Optimization for Industrial Applications: Introduction, Algorithms, and Examples ? Paul Bliese (University of South Carolina), [introductory/intermediate] Using R for Mixed-effects (Multilevel) Models ? Hendrik Blockeel (KU Leuven), [intermediate] Decision Trees for Big Data Analytics ? Tam?s Budav?ri (Johns Hopkins University), [introductory] Big Data Approaches in Astronomy ? Diego Calvanese (Free University of Bozen-Bolzano), [advanced] Data-aware Processes: Modeling and Verification ? Amr El Abbadi (University of California, Santa Barbara), [introductory/intermediate] Managing Big Data in the Cloud ? Geoffrey C. Fox (Indiana University), tba ? Minos Garofalakis (Technical University of Crete), [intermediate/advanced] Streaming Big Data Analytics ? David W. Gerbing (Portland State University), [introductory] Data Visualization with R ? Georgios B. Giannakis (University of Minnesota), [advanced] Signal Processing Tools for Big Data Analytics ? Sander Klous (University of Amsterdam), [introductory] We Are Big Data ? Maurizio Lenzerini (Sapienza University of Rome), [intermediate/advanced] Ontology-based Data Management ? Jiebo Luo (University of Rochester), [introductory/advanced] Big Data. Strong Health. Better Life ? Soumya D. Mohanty (University of Texas Rio Grande Valley), [introductory/intermediate] Swarm Intelligence Methods and Optimization Problems in Big Data Analytics ? Bernhard Pfahringer (University of Waikato), [introductory] Introduction to Data Stream Mining for Big Data ? Krithi Ramamritham (Indian Institute of Technology Bombay), [introductory/intermediate] Harnessing Big Data for Building Smart Things ? Michael Rosenblum (University of Potsdam), [introductory/intermediate] Coupled Oscillators Approach in Time Series Analysis ? Pierangela Samarati (University of Milan), [intermediate] Data Protection in the Cloud ? V.S. Subrahmanian (University of Maryland), [introductory/intermediate] Big Data in Cybersecurity ? Alexander S. Tuzhilin (New York University), [introductory/intermediate] Recommender Systems and Big Data ? Jeffrey Ullman (Stanford University), [introductory] Big Data Algorithms that Aren't Machine Learning ? Lyle Ungar (University of Pennsylvania), [introductory] Text Mining ? John Wright (Columbia University), [intermediate/advanced] Sparse and Low-Dimensional Models for High-Dimensional Data: Theory, Algorithms and Applications ? Zhongfei Zhang (Binghamton University), [introductory/advanced] Knowledge Discovery from Relational and Multimedia Data ? 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 florentinalilica.voicu (at) urv.cat by February 10, 2017. ? ORGANIZING COMMITTEE: ? Annalisa Appice Michelangelo Ceci (co-chair) Corrado Loglisci Donato Malerba (co-chair) Carlos Mart?n-Vide (co-chair) Manuel Jes?s Parra Roy?n Gianvito Pio Florentina Lilica Voicu ? REGISTRATION: ? It has to be done at ? http://grammars.grlmc.com/BigDat2017/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 allowing the attendance to all courses during the week. There are several early registration deadlines. Fees depend on the registration deadline. ? ACCOMMODATION: ? Suggestions for accommodation will be available in due time. ? CERTIFICATE: ? Participants will be delivered a certificate of attendance. ? QUESTIONS AND FURTHER INFORMATION: ? florentinalilica.voicu (at) urv.cat ? ACKNOWLEDGEMENTS: ? Universit? degli Studi di?Bari?Aldo Moro Universitat Rovira i Virgili -------------- next part -------------- An HTML attachment was scrubbed... URL: https://mail.cms.math.ca/pipermail/webmath/attachments/20160819/5bb48901/attachment.htm From grlmc at grlmc.com Sun Dec 4 12:34:23 2016 From: grlmc at grlmc.com (GRLMC) Date: Mon Dec 5 10:12:45 2016 Subject: [Webmath] BigDat 2017: early registration December 16 Message-ID: <545102060a010b010254500400055a030150530754505050060b0f050100510506005653520e510556540406540104@grlmc_ip-zone_com-6> BigDat 2017: early registration December 16*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line* ? ******************************************************** ? 3rd INTERNATIONAL WINTER SCHOOL ON BIG DATA ? BigDat 2017 ? Bari, Italy ? February 13-17, 2017 ? Organized by: University of Bari "Aldo Moro" Rovira i Virgili University ? http://grammars.grlmc.com/BigDat2017/ ? ******************************************************** ? --- Early registration deadline: December 16, 2016 --- ? ******************************************************** ? AIM: ? BigDat 2017 will be a research training event with a global scope aiming at updating participants about the most recent advances in the critical and fast developing area of 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 (to biological and health sciences, to business, finance and transportation, to online social networks, etc.). Main challenges of analytics, management and storage of big data will be identified through 4 keynote lectures, 24 six-hour courses, and 1 round table, which will tackle the most active and promising topics. The organizers are convinced that outstanding speakers will attract the brightest and most motivated students. Interaction will be a main component of the event. An open session will give participants the opportunity to present their own work in progress in 5 minutes. ? ADDRESSED TO: ? In principle, graduate students, PhD students and postdocs from around the world will be the most typical profiles. However, there are no formal pre-requisites for participation in terms of academic degrees. Since there will be differences in level, specific knowledge background may be assumed for some of the courses. BigDat 2017 is also appropriate for more senior people who want to keep themselves updated on recent developments and future trends. All will surely find it fruitful to listen and discuss with major researchers, industry leaders and innovators. ? REGIME: ? In addition to keynotes, 2-3 courses will run in parallel during the whole event. Participants will be able to freely choose the courses they wish to attend as well as to move from one to another. ? VENUE: ? BigDat 2017 will take place in Bari, a lively university city on the Adriatic Sea in Southern Italy. The venue will be: ? Department of Computer Science University of Bari "Aldo Moro" via Orabona, 4 70125 Bari, Italy ? KEYNOTE SPEAKERS: (to be completed) ? Ernesto Damiani (EBTIC, Khalifa University, Abu Dhabi & University of Milan), Model-driven Development of Big Data Applications ? Daniele Quercia (Bell Labs), Good City Life ? PROFESSORS AND COURSES: ? Thomas B?ck (Leiden University), [introductory/intermediate] Data Analytics and Optimization for Industrial Applications: Introduction, Algorithms, and Examples ? Paul Bliese (University of South Carolina), [introductory/intermediate] Using R for Mixed-effects (Multilevel) Models ? Hendrik Blockeel (KU Leuven), [intermediate] Decision Trees for Big Data Analytics ? Tam?s Budav?ri (Johns Hopkins University), [introductory] Big Data Approaches in Astronomy ? Diego Calvanese (Free University of Bozen-Bolzano), [advanced] Data-aware Processes: Modeling and Verification ? Amr El Abbadi (University of California, Santa Barbara), [introductory/intermediate] Managing Big Data in the Cloud ? Geoffrey C. Fox (Indiana University), [intermediate] Using High Performance Computing for Big Data Analytics ? Minos Garofalakis (Technical University of Crete), [intermediate/advanced] Streaming Big Data Analytics ? David W. Gerbing (Portland State University), [introductory] Data Visualization with R ? Georgios B. Giannakis (University of Minnesota), [advanced] Signal Processing Tools for Big Data Analytics ? Sander Klous (University of Amsterdam), [introductory] We Are Big Data ? Laks V.S. Lakshmanan (University of British Columbia), [introductory] Analysis of Large Social Networks ? Maurizio Lenzerini (Sapienza University of Rome), [intermediate/advanced] Ontology-based Data Management ? Soumya D. Mohanty (University of Texas Rio Grande Valley), [introductory/intermediate] Swarm Intelligence Methods and Optimization Problems in Big Data Analytics ? Bernhard Pfahringer (University of Waikato), [introductory] Introduction to Data Stream Mining for Big Data ? Krithi Ramamritham (Indian Institute of Technology Bombay), [introductory/intermediate] Harnessing Big Data for Building Smart Things ? Michael Rosenblum (University of Potsdam), [introductory/intermediate] Coupled Oscillators Approach in Time Series Analysis ? Pierangela Samarati (University of Milan), [intermediate] Data Security and Privacy in the Cloud ? V.S. Subrahmanian (University of Maryland), [introductory/intermediate] Big Data in Cybersecurity ? Alexander S. Tuzhilin (New York University), [introductory/intermediate] Recommender Systems and Big Data ? Jeffrey Ullman (Stanford University), [introductory] Big Data Algorithms that Aren't Machine Learning ? Lyle Ungar (University of Pennsylvania), [introductory] Sentiment Mining from User Generated Content ? John Wright (Columbia University), [intermediate/advanced] Sparse and Low-Dimensional Models for High-Dimensional Data: Theory, Algorithms and Applications ? Zhongfei Zhang (Binghamton University), [introductory/advanced] Knowledge Discovery from Relational and Multimedia Data ? 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 florentinalilica.voicu (at) urv.cat by February 10, 2017. ? ORGANIZING COMMITTEE: ? Annalisa Appice Michelangelo Ceci (co-chair) Stefano Franco Corrado Loglisci Donato Malerba (co-chair) Carlos Mart?n-Vide (co-chair) Manuel Jes?s Parra Roy?n Gianvito Pio Florentina Lilica Voicu ? REGISTRATION: ? It has to be done at ? http://grammars.grlmc.com/BigDat2017/registration.php ? The selection of up to 8 courses requested in the registration template is only tentative and non-binding. For the sake of organization, it will be helpful to have an approximation of the respective demand for each course. ? Since the capacity of the venue is limited, registration requests will be processed on a first come first served basis. The registration period will be closed and the on-line registration facility disabled when the capacity of the venue will be complete. It is much recommended to register prior to the event. ? FEES: ? Fees comprise access to all courses and lunches. There are several early registration deadlines. Fees depend on the registration deadline. ? ACCOMMODATION: ? Suggestions for accommodation are available on the website. ? CERTIFICATE: ? Participants will be delivered a certificate of attendance. ? QUESTIONS AND FURTHER INFORMATION: ? florentinalilica.voicu (at) urv.cat ? ACKNOWLEDGMENTS: ? Universit? degli Studi di?Bari?Aldo Moro Universitat Rovira i Virgili -------------- next part -------------- An HTML attachment was scrubbed... URL: https://mail.cms.math.ca/pipermail/webmath/attachments/20161204/41bd3586/attachment.htm