- computational.science - lists.iccsa.org

IEEE BIBM 2017 Call for Workshop Proposal
by CFP Conference 13 Mar '17

13 Mar '17

*Call for Workshop Proposals* 2017 IEEE International Conference on Bioinformatics and Biomedicine http://muii.missouri.edu/bibm2017/ Nov 13-16, 2017, Kansas City, MO, USA ================================================================= The Program Committees of the 2017 IEEE International Conference on Bioinformatics and Biomedicine (IEEE BIBM 2017) invite proposals for Workshops. Selected workshops will hold a central position within the larger Conference, which will bring together top academic and industrial researchers from all over the world to exchange cutting edge research ideas in bioinformatics and biomedicine. Within these fields, workshops at BIBM form crucial focal points for emerging communities and forums for the examination of new ideas. Workshop organizers will be responsible for advertising the workshop, forming the program committees, reviewing and selecting the papers, and guaranteeing a high quality worthy of the prestige and breadth of the Conference. All papers accepted for workshops will be included in the Workshop Proceedings published by the IEEE Computer Society Press, made available at the Conference. The workshop organizers will also have the discretion of editing selected papers (after their expansion and revision) into books or special journal issues. Workshops should cover at least a single session (6 regular papers). The workshop organizers should ensure registration and presence of authors of accepted papers. *Workshop Topics* Each workshop subject will focus on new research challenges and initiatives in Bioinformatics, Biomedicine and Healthcare Informatics. The workshops should provide an informal and vibrant forum for researchers and industry practitioners to share their research results and practical development experiences in these three fields. Workshop topics may be narrow, e.g., “reverse-engineering” of gene regulatory networks from experimental data, computational approaches to drug discovery, mathematical modeling of signaling pathways, analysis of the next-generation sequencing data, oscillations and synchronization of biological rhythms, wireless sensor networks, patient health records, medical signal processing; or broad, e.g., computational proteomics, *in-silico* diagnosis and prognosis, data mining and machine learning algorithms for biomedical applications, application of network research to biology, emerging technology in healthcare, aging research etc. Prospective workshop organizers are encouraged to contact workshop chairs for feedback. *Important Dates* *May *1, 2017: Workshop proposal submission due: a proposed workshop announcement is sent by e-mail to any of the Workshop Chairs May 10, 2017: Notification to workshop proposers June 25, 2017: Each workshop organizer sends out Call for Workshops Papers *Guidelines for Workshop Proposals* Proposals for 2017 IEEE BIBM Workshops should contain the following components. 1. Workshop Title (e.g., mathematical modeling of signaling pathways) 2. Introduction to workshop (a few sentences about the background, importance, purpose, interests, etc. of workshop) 3. Research topics included in the workshop (list a number of interesting topics or areas covered by workshop) 4. Important dates (Please do not change the final camera-ready submission date, feel free to adjust other dates) *Sept 20, 2016:* Due date for full workshop papers submission *Oct 10, 2017:* Notification of paper acceptance to authors * Oct 25, 2017:* Camera-ready of accepted papers * Nov 13-16, 2017:* Workshops 5. Program Chairs or co-chairs: (1-3 experts in the research areas of workshop) 6. Program Committee Members: (at least 5 experts in the research areas) 7. Invited keynote speakers (optional) *Workshop Chairs:* Prof. Illhoi Yoo, University of Missouri, USA Email: yooil(a)health.missouri.edu Prof. Jane Huiru Zheng, Ulster University, UK Email: h.zheng(a)ulster.ac.uk ######################################################################## To unsubscribe from the DMB-LIST list, click the following link: http://lists.drexel.edu/cgi-bin/wa?TICKET=NzM2NDMwIGNvbXB1dGF0aW9uYWwuc2NpZ…

1 0

[MobiSPC-Conf] MobiSPC 2017 CFPs: Extended Submission Date: March 27. The 14th International Conference on Mobile Systems and Pervasive Computing
by Wim Ectors 12 Mar '17

12 Mar '17

---------------------------------------------------------------------------- The 14th International Conference on Mobile Systems and Pervasive Computing (MobiSPC) July 24-26, 2017 Leuven, Belgium http://cs-conferences.acadiau.ca/mobispc-17/ ---------------------------------------------------------------------------- Mobile Systems and Pervasive Computing (MobiSPC) have evolved into an active area of research and development. This is due to the tremendous advances in a broad spectrum of technologies and topics, including wireless networking, mobile and distributed computing, sensor systems, RFID technology, and the ubiquitous mobile phone. MobiSPC-2017 solicits papers that focus on the theory, systems, practices and challenges of providing users with a successful mobile or wireless experience. This includes how mobile computing changes how people pervasively use their computers, computing resources and applications, as well the systems, services and technologies enabling those applications. MobiSPC-2017 will provide a leading edge, scholarly forum for researchers, engineers, and students alike to share their state-of-the art research and developmental work in the broad areas of pervasive computing and mobile systems. Important Dates ---------------- - Paper Submission Due: March 27, 2017 (Extended) - Acceptance Notification: April 28, 2017 - Final Manuscript Due: May 28, 2017 Publication ------------ All MobiSPC 2017 accepted papers will be published by Elsevier Science in the open-access Procedia Computer Science series on-line. Procedia Computer Science is hosted by Elsevier on www.Elsevier.com and on Elsevier content platform ScienceDirect (www.sciencedirect.com) and will be freely available worldwide. All papers in Procedia will be indexed by Scopus ( www.scopus.com) and by Thomson Reuters' Conference Proceeding Citation Index (http://thomsonreuters.com/conference-proceedings-citation-index/) All papers in Procedia will also be indexed by Scopus (www.scopus.com) and Engineering Village (Ei) (www.engineeringvillage.com) This includes EI Compendex (www.ei.org/compendex) Moreover, all accepted papers will be indexed in DBLP (http://dblp.uni-trier.de/) The papers will contain linked references, XML versions and citable DOI numbers. You will be able to provide a hyperlink to all delegates and direct your conference website visitors to your proceedings. Selected papers will be invited for publication, in the special issues of: - Journal of Ambient Intelligence and Humanized Computing (IF: 0.835), by Springer (http://www.springer.com/engineering/journal/12652) - Journal of Future Generation Computer Systems (IF: 2.430), by Elsevier ( http://www.journals.elsevier.com/future-generation-computer-systems/) MobiSPC 2017 will be held in conjunction with the 12th International Conference on Future Networks and Communications (FNC, http://cs-conferences.acadiau.ca/fnc-17/) MobiSPC 2017 will be held in the city of Leuven. Leuven is the capital of the province of Flemish Brabant in Belgium. It is located about 25 kilometres (16 miles) east of Brussels. It is the 10th largest municipality in Belgium and the fourth in Flanders. Leuven is home to the Katholieke Universiteit Leuven, the largest and oldest university of the Low Countries and the oldest Catholic university still in existence. The related university hospital of UZ Leuven, is one of the largest hospitals of Europe. The city is also known for being the headquarters of Anheuser-Busch InBev, the world's largest brewer and one of the five largest consumer-goods companies in the world. Conference Tracks --------------- - Component-based IoT - Enabling Technologies and Emerging Topics - Internet of Things (IoT) - Mobile Cloud Computing - Mobile Data Management - Mobile Social Networking - Pervasive Computing - Smart Cities and Ubiquitous Climate Change Management - Smart Communities and Ubiquitous Systems - Mobile Systems and Applications Committees: ----------- General Chairs Danny Hughes, K. U. Leuven, Belgium Hossam Hassanein, Queen's University, Canada Program Chairs Ansar-Ul-Haque Yasar, IMOB – Hasselt University, Belgium Stéphane Galland, Université de Technologie de Belfort-Montbéliard, France Advisory Committee Nirwan Ansari, New Jersey Institute of Technology, USA Abdelfettah Belghith, University of Manouba, Tunisia Flavien Balbo, Ecole Nationale Superieure des Mines de Saint Etienne, France Erol Gelenbe, Imperial College, UK Noël de Palma, Université de Grenoble, France Ralf Steinmetz, Technische Universitaet Darmstadt, Germany David Taniar, Monash University, Australia Mohamed Younis, University of Maryland Baltimore County, USA Workshops Chairs Zahoor Khan, Higher Colleges of Technology, UAE Tracks Chairs Habib M. Ammari, Norfolk State University, USA Longbiao Chen, Xiamen University, China Danny Hughes, K. U. Leuven, Belgium Nafaa Jabeur, German University of Technology, Oman Jason J. Jung, Chung-Ang University, Korea Marc Körner, TUB Berlin, Germany Prashant Kumar, University of Surrey, UK Nawaz Mohamudally, University of Technology, Mauritius Francesco Piccialli, University of Naples, Federico II, Italy Christian Poellabauer, University of Notre Dame, USA M. Elena Renda, Istituto di Informatica e Telematica - CNR, Italy Michael Sheng, University of Adelaide, Australia Leye Wang, Hong Kong University of Science and Technology, China Publicity Chairs Mikhail Gofman, California State University of Fullerton, USA Pedro E. Lopez-de-Teruel, Spain Mario Henrique Cruz Torres, K.U. Leuven, Belgium Technical Program Committee http://cs-conferences.acadiau.ca/mobispc-17/#programCommittees Steering Committee Chair Elhadi Shakshuki, Acadia University, Canada

1 0

AlCoB 2017: call for posters
by GRLMC 12 Mar '17

12 Mar '17

AlCoB 2017: 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 Algorithms for Computational Biology (AlCoB 2017) invites researchers to submit poster presentations. AlCoB 2017 will be held in Aveiro (Portugal) on June 5-7, 2017. See http://grammars.grlmc.com/AlCoB2017/ Poster presentations are intended to enhance informal interactions with conference participants, at the same time allowing for in-depth discussion. TOPICS Presentations displaying novel work in progress on algorithms in computational biology are encouraged on the following topics: - assembling sequence reads into a complete genome, - identifying gene structures in the genome, - recognizing regulatory motifs, - aligning nucleotides and comparing genomes, - reconstructing regulatory networks of genes, and - inferring the evolutionary phylogeny of species. Posters do not need to show final research results. Work that might lead to new interesting developments is welcome. KEY DATES Poster submission deadline: April 28, 2017 Notification of poster acceptance or rejection: May 5, 2017 SUBMISSION Please submit a .pdf abstract through: https://easychair.org/conferences/?conf=alcob2017 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/LNBI proceedings volume of AlCoB 2017. However, they will be eligible for submission to the post-conference journal special issue in the Journal of Computational Biology (2015 JCR impact factor: 1.537). REGISTRATION At least one author of each accepted poster must register to the conference by May 22, 2017. The registration fare is reduced: 260 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.

1 0

BIOKDD-DEXA'17: CFP
by Mourad Elloumi 12 Mar '17

12 Mar '17

------------------------------------------------------------ ------------------------------------------------------------ ------------------------------------------------------------ ------------------------------------------------------------ ------------------------------------------------------------ ------------------------------------------------------------ ------------------------------------ *CALL FOR PAPERS* *8th International Workshop on* *Biological **Knowledge Discovery from Data **(BIOKDD'17)* Held in parallel with *28th International Conference on Database and * *Expert Systems Applications **(**DEXA’17**)* www.dexa.org/biokdd2017 Lyon, France August 28 - 31, 2017 In the recent years, there has been a rapid development of biological technologies producing more and more *biological data*, i.e., data related to biological macromolecules (DNA, RNA and proteins). The rise of *Next Generation Sequencing* (NGS) technologies, also known as *high-throughput sequencing* technologies, has contributed actively to the deluge of these data. In general, these data are big, heterogeneous, complex, and distributed in all over the world in databases. Analyzing this huge volume of data is a challenging task, not only, because of its complexity and its multiple and numerous correlated factors, but also, because of the continuous evolution of our understanding of the biological mechanisms. Classical approaches of biological data analysis are no longer efficient and produce only a very limited amount of information, compared to the numerous and complex biological mechanisms under study. From here comes the necessity to use computer tools and develop new *in silico* high performance approaches to support us in the analysis of biological data and, hence, to help us in our understanding of the correlations that exist between, on one hand, structures and functional patterns in biological macromolecules and, on the other hand, genetic and biochemical mechanisms. *Biological **Knowledge Discovery from Data* (BIOKDD) is a response to these new trends. Topics of BIOKDD’17 workshop include, but not limited to: *Data Preprocessing: *Biological Data Storage*, *Representation and Management (data warehouses, databases, sequences, trees, graphs, biological networks and pathways, …), Biological Data Cleaning (errors removal, redundant data removal, completion of missing data, …), Feature Extraction (motifs, subgraphs, …), Feature Selection (filter approaches, wrapper approaches, hybrid approaches, embedded approaches, …). *Data Mining: *Biological Data Regression (regression of biological sequences, …), Biological Data Clustering/Biclustering (microarray data biclustering, clustering/biclustering of biological sequences, …), Biological Data Classification (classification of biological sequences, …), Association Rules Learning from Biological Data, Text Mining and Application to Biological Sequences, Web Mining and Application to Biological Data, Parallel, Cloud and Grid Computing for Biological Data Mining. *Data Postprocessing:* Biological Nuggets of Knowledge Filtering, Biological Nuggets of Knowledge Representation and Visualization, Biological Nuggets of Knowledge Evaluation (calculation of the classification error rate, evaluation of the association rules *via* numerical indicators, e.g. *measurements of interest*, … ), Biological Nuggets of Knowledge Integration. *PAPER SUBMISSION DETAILS: * Authors are invited to submit electronically original contributions in English. Submitted papers should not exceed 5 pages in IEEE CSP format *http://www.computer.org/portal/web/cscps/formatting <http://www.computer.org/portal/web/cscps/formatting>*. All accepted papers will be published in the proceedings of DEXA’17 Workshops with IEEE CSP*. *One of the authors of an accepted paper must register to DEXA’17 conference and present the paper at BIOKDD’17 workshop. For paper registration and electronic submission see http://confdriver.ifs.tuwien.ac.at/dexa2017/ starting from January 2017. *IMPORTANT DATES:* Submission of abstracts: March 18, 2017 Submission of full papers: March 26, 2017 Notification of acceptance: May 17, 2017 Camera-ready copies due: June 07, 2017 *PROGRAM COMMITTEE:* Mourad Elloumi, LaTICE, University of Tunis, Tunisia (PC Chair) Emanuel Weitschek, Uninetuno University, Rome, Italy Daisuke Kihara, Purdue University, West Lafayette, USA Bhaskar DasGupta, University of Illinois at Chicago, Chicago, USA Giuseppe Lancia, University of Udine, Italy Dominique Lavenier, GenScale, IRISA-CNRS, Rennes, France Robert Harrison, Georgia State University, Atlanta, Georgia, USA Hasan Davulcu, Arizona State University, Arizona, USA Vladimir Makarenkov, University of Québec, Montréal, Canada Ronnie Alves, Instituto Tecnológico Vale D.S, Belém, Brasil Paul Yoo, Bournemouth University, UK Davide Verzzotto, Genome Institute of Singapore, Singapore Matteo Comin, University of Padova, Padova, Italy Adrien Goëffon, University of Angers, France Tolga Can, Middle East Technical University, Ankara, Turkey Hasan Oğul, Başkent University Ankara, Turkey Maad Shatnawi, Higher colleges of Technology, Abu Dhabi, UAE Evangelos Theodoridis, Intel Labs Europe, London, UK. Manoj Kumar Shukla, Amity School of Engineering, Amity University, Noida, India Abdelouahid Lyhyaoui, University Abdelmalek Essaadi, Tangier, Morocco Gaurav Kumar, Virginia Commonwealth University, Richmond, USA Giosuè Lo Bosco, University of Palermo, Italy Yongchao Liu, Georgia Institute of Technology, Georgia, USA Zina M. Ibrahim, King’s College, London, UK ***

1 0

[MobiSPC17] CFP 14th International Conference on Mobile Systems and Pervasive Computing
by stephane.galland＠utbm.fr 12 Mar '17

12 Mar '17

---------------------------------------------------------------------------- The 14th International Conference on Mobile Systems and Pervasive Computing (MobiSPC) July 24-26, 2017 Leuven, Belgium http://cs-conferences.acadiau.ca/mobispc-17/ ---------------------------------------------------------------------------- Mobile Systems and Pervasive Computing (MobiSPC) have evolved into an active area of research and development. This is due to the tremendous advances in a broad spectrum of technologies and topics, including wireless networking, mobile and distributed computing, sensor systems, RFID technology, and the ubiquitous mobile phone. MobiSPC-2017 solicits papers that focus on the theory, systems, practices and challenges of providing users with a successful mobile or wireless experience. This includes how mobile computing changes how people pervasively use their computers, computing resources and applications, as well the systems, services and technologies enabling those applications. MobiSPC-2017 will provide a leading edge, scholarly forum for researchers, engineers, and students alike to share their state-of-the art research and developmental work in the broad areas of pervasive computing and mobile systems. Important Dates ---------------- - Paper Submission Due: March 27, 2017 (Extended) - Acceptance Notification: April 28, 2017 - Final Manuscript Due: May 28, 2017 Publication ------------ All MobiSPC 2017 accepted papers will be published by Elsevier Science in the open-access Procedia Computer Science series on-line. Procedia Computer Science is hosted by Elsevier on www.Elsevier.com and on Elsevier content platform ScienceDirect (www.sciencedirect.com) and will be freely available worldwide. All papers in Procedia will be indexed by Scopus (www.scopus.com) and by Thomson Reuters' Conference Proceeding Citation Index (http://thomsonreuters.com/conference-proceedings-citation-index/) All papers in Procedia will also be indexed by Scopus (www.scopus.com) and Engineering Village (Ei) (www.engineeringvillage.com) This includes EI Compendex (www.ei.org/compendex) Moreover, all accepted papers will be indexed in DBLP (http://dblp.uni-trier.de/) The papers will contain linked references, XML versions and citable DOI numbers. You will be able to provide a hyperlink to all delegates and direct your conference website visitors to your proceedings. Selected papers will be invited for publication, in the special issues of: - Journal of Ambient Intelligence and Humanized Computing (IF: 0.835), by Springer (http://www.springer.com/engineering/journal/12652) - Journal of Future Generation Computer Systems (IF: 2.430), by Elsevier (http://www.journals.elsevier.com/future-generation-computer-systems/) MobiSPC 2017 will be held in conjunction with the 12th International Conference on Future Networks and Communications (FNC, http://cs-conferences.acadiau.ca/fnc-17/) MobiSPC 2017 will be held in the city of Leuven. Leuven is the capital of the province of Flemish Brabant in Belgium. It is located about 25 kilometres (16 miles) east of Brussels. It is the 10th largest municipality in Belgium and the fourth in Flanders. Leuven is home to the Katholieke Universiteit Leuven, the largest and oldest university of the Low Countries and the oldest Catholic university still in existence. The related university hospital of UZ Leuven, is one of the largest hospitals of Europe. The city is also known for being the headquarters of Anheuser-Busch InBev, the world's largest brewer and one of the five largest consumer-goods companies in the world. Conference Tracks --------------- - Component-based IoT - Enabling Technologies and Emerging Topics - Internet of Things (IoT) - Mobile Cloud Computing - Mobile Data Management - Mobile Social Networking - Pervasive Computing - Smart Cities and Ubiquitous Climate Change Management - Smart Communities and Ubiquitous Systems - Mobile Systems and Applications Committees: ----------- General Chairs Danny Hughes, K. U. Leuven, Belgium Hossam Hassanein, Queen's University, Canada Program Chairs Ansar-Ul-Haque Yasar, IMOB – Hasselt University, Belgium Stéphane Galland, Université de Technologie de Belfort-Montbéliard, France Advisory Committee Nirwan Ansari, New Jersey Institute of Technology, USA Abdelfettah Belghith, University of Manouba, Tunisia Flavien Balbo, Ecole Nationale Superieure des Mines de Saint Etienne, France Erol Gelenbe, Imperial College, UK Noël de Palma, Université de Grenoble, France Ralf Steinmetz, Technische Universitaet Darmstadt, Germany David Taniar, Monash University, Australia Mohamed Younis, University of Maryland Baltimore County, USA Workshops Chairs Zahoor Khan, Higher Colleges of Technology, UAE Tracks Chairs Habib M. Ammari, Norfolk State University, USA Longbiao Chen, Xiamen University, China Danny Hughes, K. U. Leuven, Belgium Nafaa Jabeur, German University of Technology, Oman Jason J. Jung, Chung-Ang University, Korea Marc Körner, TUB Berlin, Germany Prashant Kumar, University of Surrey, UK Nawaz Mohamudally, University of Technology, Mauritius Francesco Piccialli, University of Naples, Federico II, Italy Christian Poellabauer, University of Notre Dame, USA M. Elena Renda, Istituto di Informatica e Telematica - CNR, Italy Michael Sheng, University of Adelaide, Australia Leye Wang, Hong Kong University of Science and Technology, China Aurelia T. Williams, Norfolk State University, USA Publicity Chairs Mikhail Gofman, California State University of Fullerton, USA Pedro E. Lopez-de-Teruel, Spain Mario Henrique Cruz Torres, K.U. Leuven, Belgium Technical Program Committee http://cs-conferences.acadiau.ca/mobispc-17/#programCommittees Steering Committee Chair Elhadi Shakshuki, Acadia University, Canada

1 0

Call for Abstracts BAFI 2018
by Richard Weber 12 Mar '17

12 Mar '17

THIRD CONFERENCE ON BUSINESS ANALYTICS IN FINANCE AND INDUSTRY - BAFI 2018 January 17th - 19th, 2018 Santiago, Chile www.baficonference.cl Twitter: @bafichile Call for Abstracts The aim of the BAFI 2018 conference is to bring together researchers and developers from data science and related areas with practitioners and consultants applying the respective techniques in different business-related domains. Our goal is to stimulate an academic exchange of recent developments as well as to encourage the mutual influence between academics and practitioners. At BAFI 2018, the focus will be on methodological developments aimed at uncovering information contained in large data sets, as well as on business applications in various sectors, among them finance, retail, and telecommunications. Topics at this conference include, but are not limited to: Business Analytics - Applications: • Credit Scoring and Financial Modeling • Forecasting • Fraud Detection • Web Intelligence and Information Retrieval • Marketing, Business Intelligence, and e-Commerce • Decision Analysis and Decision Support Systems • Social Network Analysis • Privacy-preserving Data Mining and Privacy-related Issues • Text Mining, Sentiment Analysis, and Opinion Mining • Internet of Things (IoT) Business Analytics - Methods: • Dimensionality Reduction, Feature Extraction, and Feature Selection • Supervised, Semi-Supervised, and Unsupervised Methods • Statistical Learning Theory • Online Learning, Data Stream Mining, and Dynamic Data Mining • Graph Mining and Semi-Structured Data • Spatial and Temporal Data Mining • Deep Learning and Neural Network Research • Large Scale Data Mining • Uncertainty Modeling in Data Mining STUDENT GRANTS We will offer a number of travel grants for students who present their work at BAFI 2018. The following two categories will be considered: • National category: students enrolled at a Chilean university or staying at a Chilean address at the time of the conference. • International category: students enrolled at a university outside Chile and staying abroad prior to the start of the conference. Please visit www.baficonference.cl for information on Submission Guidelines, Venue, Program, Conference Fees, and more. For more information, please contact us at info(a)bafi.cl

1 0

Call for Papers - JSC Special Issue on Dynamic Geometry and Automated Reasoning
by Francisco Botana 12 Mar '17

12 Mar '17

Sorry for duplicates. ===================== *** CALL FOR PAPERS *** Special Issue on Dynamic Geometry and Automated Reasoning https://sites.google.com/site/kovzol/jsc-si-dg-ar Journal of Symbolic Computation* https://www.journals. elsevier.com/journal-of-symbolic-computation GUEST EDITORS: Francisco Botana, University of Vigo, Spain Zoltán Kovács, The Private University College of Education of the Diocese of Linz, Austria Tomas Recio, University of Cantabria, Spain IMPORTANT DATES: - submission deadline: September 1, 2017 - notification of acceptance / rejection: February 2, 2018 - final versions: March 30, 2018 SCOPE: Since the last half century, automated deduction in elementary geometry has become one of the most successful achievements in the field of automated reasoning. Along these decades various methods and techniques have been studied and developed for automated proving and discovering of elementary geometry statements. On the other hand, dynamic geometry software systems have emerged, such as Cabri Geometry, C.a.R., Cinderella, DrGeo, GeoGebra, The Geometer's Sketchpad, Geometry Expert, Geometry Expressions or Kig with an ever-increasing presence in mathematics education. Some of them possess a large number of users (over thirty million) all around the world. The merging of these two tools (automatic proving and dynamic geometry) is, thus, a very natural, challenging and promising issue, currently involving logic, symbolic computation, software development, algebraic geometry and mathematics education experts all from over the world. The Special Issue intends to be an opportunity for - presenting the current state of the art concerning the development of automatic proving features on dynamic geometry systems, - discussing the current and potential applications of such features in different contexts, such as CAGD or mathematics education. TOPICS (not restricted to): - Algorithmic aspects: formal, logic and algebraic geometry approaches, constraint solving, invariant and coordinate-free methods, real and complex geometry issues, probabilistic, synthetic approaches, techniques from discrete mathematics, combinatorics, and numerics. - Software aspects: Implementation of automated proving methods in dynamic geometry programs, design of packages and systems, data representation. Parallel and distributed computing, considerations for modern hardware and new devices. User-interface issues, use with systems for digital libraries, courseware, ... - Application aspects: applications to mechanics, geometric modeling, CAGD/CAD, computer vision, robotics and education. Papers must not duplicate work already published or submitted for publication elsewhere. All the papers will be refereed according to the JSC standards. Papers should follow the guidelines for JSC submissions (seehttps://www.elsevier.com/journals/journal-of-symbolic-computation/0747-7…) and should be submitted through Easychair (https://easychair.org/conferences/?conf=jscdgarsi2018) The introduction of the paper must explicitly address the following questions in succinct and informal manner: - What is the problem? - Why is the problem important? - What has been done so far on the problem? - What is the main contribution of the paper on the problem? - Why is the contribution original? (see below for clarification) - Why is the contribution non-trivial? Make the paper complete (since there is no page limit): - All the related works and issues must be completely and carefully discussed. - All the previous relevant JSC papers must be properly cited and discussed. - All the theorems must be rigorously proved (no sketch allowed). - All the important definitions/theorems/algorithms must be illustrated by well-chosen examples. * An international journal, the Journal of Symbolic Computation, founded by Bruno Buchberger in 1985, is directed to mathematicians and computer scientists who have a particular interest in symbolic computation. Automated theorem proving is one of the research areas of interest highlighted in the Journal’s description. The Journal of Symbolic Computation has a 1.030 Impact Factor, according to the last Thompson Reuters Journal Citation Reports (2016).

1 0

CALL FOR PAPERS - The 3nd International Conference on Big Data Innovations and Applications (Innovate-Data 2017)
by Bilan Zhu 12 Mar '17

12 Mar '17

------------------------ Call for Papers ----------------------------------- The 3rd International Conference on Big Data Innovations and Applications (Innovate-Data 2017) 21-23 August 2017, Prague, Czech Republic http://www.ficloud.org/innovate-data-2017/ ---------------------------------------------------------------------------- - Big data has become a key asset in modern societies, economies, and governmental organizations. Big data encompasses various kinds of complex and large scale information that are beyond the processing capabilities of conventional software and databases. The increasing volume and velocity of the data, captured by business organizations, web repositories, social media, data centres, cloud and IoT, have resulted in the exponential growth of big data. Big data provides a key basis for innovations in various domains and applications. It can benefit data managers, developers, companies and various kinds of organizations to carry out useful analysis of data pattern and trends, make intelligent decisions, and solve complex problems that can help societies and economies and speed up innovations. The aim of the Innovate-Data 2017 conference is to promote the state of the art in scientific and practical research of big data and to bring together researchers and practitioners from academia, industry, and public sector in an effort to present their research work and share research and development ideas. Topics of interest include, but are not limited to: - Innovations in big data - Data models and architectures - Applications of big data - Big data engineering and design - Security, privacy, and trust - Data protection and integrity - Identity theft, data loss and leakage - Legal and ethical issues - Data analytics and metrics - Data representation and structures - Data management and processing - Data capturing and acquisition - Tools and technologies - QoS of big data - Social networks analysis - Data searching and mining - Visualisation of data - Personal data logging and quantified-self - Context-aware data - Personalisation of data - Data economics - Applications of open and big data - Open and linked data - Methodologies and use cases - Usability issues - Storages and network requirements - Network models and protocols - Big data in cloud and IoT Paper submission and Publication: Authors are requested to submit papers reporting original research results and experience. The page limit for full papers is 8 pages and for short papers is 6 pages. Papers should be prepared using IEEE two-column template. See instructions on the conference website (http://www.ficloud.org/innovate-data-2017/) All papers accepted for this conference will be published in the conference proceedings by the IEEE Computer Society Conference Publishing Service (CPS). The proceedings will be submitted to the IEEE-Xplore and the IEEE Computer Society (CSDL) digital libraries. The proceedings are also submitted for indexing through IEE INSPEC, EI (Compendex), Thomson ISI, and other indexing services. Authors of selected papers will be invited to submit extended versions of their papers for special issues in international journals (see website). Important Dates: Submission Deadline: 10 March 2017 Authors Notification: 30 May 2017 Final Manuscript Due: 20 June 2017 Organising Committee General Chair Mazin Yousif, T-Systems International, USA Program Co-Chairs Dana Petcu, Western University of Timisoara, Romania Muhammad Younas, Oxford Brookes University, UK Local Organising Chair Irena Holubova, Charles University, Prague, Czech Republic Publication Chair Irfan Awan, University of Bradford, UK Workshop Coordinator Lay Ki Soon, Multimedia University, Malaysia International Liaison Chair Ruben Casado, Accenture Digital, Madrid, Spain Publicity Chair Bilan Zhu, Tokyo University of Agriculture and Technology, Japan Journal Special Issues Coordinator Farookh Hussain, University of Technology Sydney, Australia

1 2

CFP - IEEE/WIC/ACM International Conference on Web Intelligence 2017 (WI'17)
by Yue Xu 12 Mar '17

12 Mar '17

[Apologies if you receive this more than once] Please forward this CFP to anyone who might be interested. ####################################################################### CALL FOR PAPERS IEEE/WIC/ACM International Conference on Web Intelligence 2017 (WI'17) August 23-26, 2017, Leipzig, Germany Conference Website: http://webintelligence2017.com/ (Extended FULL PAPER SUBMISSION DEADLINE: Apr. 02, 2017) *** CONFIRMED KEYNOTE SPEAKERS *** Raj Reddy (Turing Award Winner 1994): The Ultimate Web Intelligence: Computational Social Science Amit Sheth: Semantic, Cognitive, and Perceptual Computing – three intertwined strands of a golden braid of intelligent computing Cristiano Castelfranchi: Cognition & Self-Organization in a Hybrid Society & Coupled Reality: The role of AI Frank Leymann: Loose Coupling and Architectural Implications ####################################################################### ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ SPONSORS ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Association for Computing Machinery (ACM) IEEE Computer Society Web Intelligence Consortium (WIC) ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ AIMS AND SCOPE ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ The topics of Web Intelligence (WI) have received increasing interest in the past years. They comprise many fields, such as collective intelligence, data science, human-centric computing, knowledge management, and network science. WI'17 aims to cover leading research that both deepens the understanding of computational, logical, cognitive, physical as well as business and social foundations of the future Web, and enables the development and application of intelligent technologies. The research track of WI'17 invites original high-quality papers. WI'17 is methodologically open, i.e. conceptual, empirical as well as theoretical and technical papers are welcome. ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ TOPICS AND AREAS RESEARCH PAPERS ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Track-1: Collective Intelligence Track-2: Data Science Track-3: Human-Centric Computing Track-4: Knowledge Management Track-5: Network Science ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ CALL FOR Proposals for TUTORIALS/WORKSHOPS/SPECIAL-SESSIONS Call for Industry and PhD symposium Papers ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ In addition to the research track, WI'17 comprises special sessions and workshops as well as tutorials and a PhD mentoring session. Moreover, industry papers and demo proposals can be submitted to WI'17 and will be dealt with by a special PC for industrial papers which will apply industry-compliant assessment criteria. In all cases please refer to the individual call for papers on webintelligence2017.com ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ PAPER SUBMISSION AND PUBLICATION ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ WI'17 solicits original work limited to 6-8 pages in ACM 2-column format. Each paper will be peer-reviewed by at least three PC members on the basis of technical quality, relevance, originality, significance and clarity. Accepted papers will be published in the conference proceedings by ACM and indexed by EI. Furthermore, selected WI'17 papers will be invited to submit extended versions for publication in Web Intelligence journal and other international journals. Papers have to be submitted via the Cyberchair submission page and according to the rules specified on this page: ..https://wi-lab.com/cyberchair/2017/wi17/scripts/submit.php?subarea=Wr ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ AWARDS ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Best Paper awards will be conferred at the conference on the authors of (1) the best research paper, (2) the best student paper. Application-oriented submissions will be considered for the best application paper award. ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ IMPORTANT DATES +++++++++++++++ ++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Submission of regular papers: Apr. 02, 2017 Notification of regular paper acceptance: May 15, 2017 Camera-Ready regular papers (Main Conference) Jun 05, 2017 Submission of Industry track papers: Apr. 23, 2017 Notification of Industry track paper acceptance: May 15, 2017 Camera-Ready Papers (Industry Track) Jun 05, 2017 Workshop and Special session proposal submission: Mar. 12, 2017 Notification of Workshop/Special session acceptance: Mar. 19, 2017 Submission of Workshop/Special session papers: May. 01, 2017 Notification of Workshop/Special session paper acceptance: May 22, 2017 Camera-Ready Papers (Workshops and Special sessions) Jun 12, 2017 Tutorial proposal submission: May 01, 2017 Notification of Tutorial acceptance: May 15, 2017 Submission of PhD Mentoring Papers: May 14, 2017 Notification of PhD Mentoring Papers acceptance: Jun. 02, 2017 Camera-Ready Papers (PhD Mentoring): Jun. 18, 2017 Author Registration (Main Conference) May 29, 2017 Main conference: Aug. 23-26, 2017 +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ ORGANIZING COMMITTEE +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ General Chairs (Regions): ------------------------- Axel Ngonga, currently Leipzig University, Germany (Africa) Amit Sheth, Wright State University, US (North-America) Guoyin Wang, Chongqing Univ. of Posts and Telecommunications, China (Asia) Elizabeth Chang, The University of New South Wales, Australia (Australia) Dominik Slezak, Infobright Inc. & Univ. of Warsaw, Poland (East Europe) Bogdan Franczyk, Leipzig University, Germany (West Europe) PC Co-Chairs: ------------- Rainer Alt (Leipzig University, Germany) Xiaohui Tao (University of Southern Queensland, Australia) Organizing Chairs: ------------------ Bjoern Schwarzbach, Leipzig University, Germany Rainer Unland, University of Duisburg-Essen, Germany Steering Committee Co-chairs: ----------------------------- Ning Zhong (Maebashi Institute of Technology, Japan) Jiming Liu (Hong Kong Baptist University, HK SAR, China) Organizing Committee -------------------- Wilfried Röder, Leipzig University, Germany Sandra Bartsch, Institute of Applied Informatics, Germany Publicity Chairs: ---------------- Guadalupe Ortiz Bellot, University of Cádiz, Spain Haoran Xie, The Education University of Hong Kong, China Yue Xu, Queensland University of Technology, Australia Roland Fassauer, Institute of Applied Informatics, Germany Workshop and Special Session Chairs: ------------------------------------ Agata Filipowska, Poznan University of Economics, Poland Omar Hussain, UNSW Canberra, Australia Juan D. Velasquez, University of Chile, Chile Yiqiang Chen, Chinese Academy of Sciences, China Olaf Reinhold, Leipzig University, Germany Doctoral Consortium Chairs: --------------------------- Alexander Pokahr, University of Hamburg, Germany René Schumann, University of Applied Sciences, Switzerland Tutorial Chairs: --------------- Christian Derksen, University of Duisburg-Essen, Germany Jacek Kucharski, Lodz University of Technology, Poland Industry Track Chairs: ---------------------- Hanno Hildmann, UC3M Robotics Lab, Spain & NEC Research Europe, Germany Fabrice Saffre, British Telecom & EBTIC, UK & UAE Webmaster: ----------- Christian Franck, Leipzig University, Germany Registrations, enquiries & special requests: -------------------------------------------- Sandra Bartsch, Institute of Applied Informatics, Germany Finance Chair and CyberChair-Master: ------------------------------------ Sebastian Fuß, Institute of Applied Informatics, Germany Industry and Sponsorship Chairs: -------------------------------- Wilfried Röder, Leipzig University, Germany Roland Fassauer, Institute of Applied Informatics, Germany +++++++++++++++++++++++++ Contact Information: rainer.alt(a)uni-leipzig.de xtao(a)usq.edu.au +++++++++++++++++++++++++

1 0

CFP: The 4th International Symposium on Intercloud and IoT
by FiCloud Conference 11 Mar '17

11 Mar '17

---------------Call for Papers--------------------------------------- The 4th International Symposium on Intercloud and IoT (ICI 2017) 21-23 August 2017, Prague, Czech Republic http://www.ficloud.org/ici2017/ Co-located with the IEEE FiCloud 2017 (http://www.ficloud.org/2017/) ------------------------------------------------------------------- Intercloud aims to create a cloud of clouds in order to enable interconnection between heterogeneous clouds. Objectives are to share resources, support extreme workload, efficiently process big data and place data and compute power closer to places where they are needed more. Intercloud can also minimise the vendor lock-in problem so that users can use services offered by multiple clouds. Intercloud can be used in a wide spectrum of applications including the IoT. For instance, according to the Cisco's Internet of Things Business Unit, Cisco plans to enhance IoT services through Intercloud in order to localise compute power and data processing where these are needed more - e.g., "sensors on a cargo ship can monitor whether the containers on board have shifted en route or gotten too hot or too cold. All those readings may add up to more data than is economical to send in real time to a data center half a world away via a narrowband satellite link” (Computerworld). The objective of the International Symposium on Intercloud and IoT (ICI) is to discuss and develop new models, methods, and techniques in order to realise the true vision of Intercloud and IoT services. It aims to provide a forum for researchers and practitioners in order to discuss ideas and share knowledge on various issues related to the theme of the symposium. Topics of the ICI symposium include (but not limited to): - Architectures and models - Integration and collaboration - Network design and architecture - Software systems - Data processing and management - Context-aware service provisioning - Security, trust and privacy - Fault tolerance and reliability - Performance evaluation and modelling - Network communication protocols - Rules and policies - Business models and standards - Service level agreements Important Dates: Submission Deadline: 15 May 2017 Authors Notification: 30 May 2017 Final Manuscript Due: 20 June 2017 Paper Publication and Submission: Authors are requested to submit papers reporting original research results and experience. The page limit for full papers is 8 pages and for short papers is 6 pages. Papers should be prepared using IEEE two-column template. IEEE Computer Society Proceedings Author Guidelines are available at: http://www.computer.org/portal/web/cscps/submission. Submitted research papers may not overlap with papers that have already been published or that are simultaneously submitted to a journal or a conference with proceedings.All papers accepted for this symposium are peer-reviewed and are to be published in the conference proceedings by the IEEE Computer Society Conference Publishing Service (CPS). PC Chairs: Joyce El Haddad, University of Paris Dauphine, France Irfan Awan, University of Bradford, UK

1 0