- computational.science - lists.iccsa.org

Call for Papers: ARES 2018
by res.mb.conference 06 Feb '18

06 Feb '18

ARES 2018 - CALL FOR PAPERS ****************************************************************************************** The 13th International Conference on Availability, Reliability and Security (ARES 2018) August 27 - August 30, 2018, Hamburg, Germany http://www.ares-conference.eu ****************************************************************************************** ICS-CSR 2018 (https://ics-csr.com/) & CD-MAKE 2018 (https://cd-make.net/) co-located with ARES! *********** ARES CONFERENCE ************ The 13th International Conference on Availability, Reliability and Security ("ARES - The International Dependability Conference") will bring together researchers and practitioners in the area of dependability. ARES will highlight the various aspects of dependability - with special focus on the crucial linkage between availability, reliability and security. ARES aims at a full and detailed discussion of the research issues of dependability as an integrative concept that covers amongst others availability, safety, confidentiality, integrity, maintainability and security in the different fields of applications. ARES will emphasize the interplay between foundations and practical issues of dependability in emerging areas such as e-government, m-government, location-based applications, ubiquitous computing, autonomous computing, chances of grid computing etc. ARES is devoted to the critical examination and research challenges of the various aspects of Dependable Computing and the definition of a future road map. Selected papers that are accepted by and presented at the ARES Conference will be published, after further revision, in special issues of international journals (e.g. Springer EURASIP Journal on Information Security). The acceptance rate of the ARES 2017 conference was 24% (full papers only). ARES 2017 was published by the International Conference Proceedings Series published by ACM (ACM ICPS). ARES is ranked as B-conference in CORE. Qualis (backed by Brazilian Ministry) ranked ARES and Esorics as leading security conference in Europe (A2) l papers only). ************ CONFERENCE OFFICERS ************ General Chairs 2018 Mathias Fischer, Universität Hamburg, Germany Dominik Herrmann, Universität Hamburg, Germany Program Committee Chairs 2018 Christian Doerr, TU Delft, Netherlands Sebastian Schrittwieser, FH St. Pölten, Austria ************ IMPORTANT DATES ************ Submission Deadline: March 16, 2018 23:59 UTC-11 Author Notification: May 30, 2018 Proceedings Version: June 29, 2018 Conference: August 27 - August 30, 2018 ************ SUBMISSION ************ ARES 2017 was published by the International Conference Proceedings Series published by ACM (ACM ICPS). Authors are invited to submit research and application papers according the following guidelines: two columns, single-spaced, including figures and references, using 10 pt fonts and number each page. For the main conference as well as the workshops submission papers are classified into 3 categorizes representing original, previously unpublished work: -full paper (10 pages) -short paper (6 pages) -workshop paper (8 pages, a maximum of 10 pages is tolerated) Formating Instructions / template: Please read the template instructions carefully before submitting a paper, they can be found here (http://www.acm.org/publications/article-templates/proceedings-template.html/) Papers submitted to ARES 2018 have to use the SigConf template! Submitted papers will be carefully evaluated based on originality, significance, technical soundness, presentation and clarity of exposition. Simultaneous submission of the same work to multiple venues, submission of previously published work, or plagiarism constitutes dishonesty or fraud. ARES, like other scientific and technical conferences and journals, prohibits these practices and may take action against authors who have committed them. Contact author must provide the following information at the ARES conference system: paper title, authors' names, affiliations, postal address, phone, fax, and e-mail address of the author(s), about 200-250 word abstract, and about five keywords. Accepted papers will be given guidelines in preparing and submitting the final manuscript(s) together with the notification of acceptance. Double blind review: ARES requires anonymized submissions - please make sure that submitted papers contain no author names or obvious self-references. Submission of a paper implies that should the paper be accepted, at least one of the authors will register and present the paper in the conference. The ARES submission system (EasyChair) is available here: https://easychair.org/conferences/?conf=ares2018 Publishing preprints to Arxiv or other, open repositories is allowed prior to the notification of ARES and does not violate the requirement for novelty. Reviewers will be asked to not search for and ignore preprints that can deanonymize blinded submission. Important Note: To avoid accepting papers for ARES 2018 which are not presenting original work your paper will be plagiarism checked by PlagScan Plagarism Check. If you don't want your paper to be checked automatically please contact us. ************ PROGRAM COMMITTEE ************ Isaac Agudo Ruiz, University of Malaga, Spain Todd R. Andel, University of South Alabama, United States Abdelmalek Benzekri, University of Toulouse, France Francesco Buccafurri, University of Reggio Calabria, Italy Lasaro Camargos, Federal University of Uberlândia, Brazil David Chadwick, University of Kent, United Kingdom Nathan Clarke, Plymouth University, United Kingdom Jörg Daubert, TU Darmstadt, Germany Luca De Cicco, Politecnico di Bari, Italy José Maria de Fuentes, Carlos III University of Madrid, Spain Pavlos Efraimidis Democritus, University of Thrace, Greece Dominik Engel, Salzburg University of Applied Sciences, Austria Christian Engelmann, Oak Ridge National Laboratory, United States Hannes Federrath, University of Hamburg, Germany Christophe Feltus, Luxembourg Institute of Science and Technology, Luxembourg Umberto Ferraro Petrillo, Universitá degli studi di Roma - La Sapienza, Italy Steven Furnell, Plymouth University, United Kingdom Joaquin Garcia-Alfaro, Télécom SudParis, France Karl Goeschka, Vienna University of Technology, Austria Lorena Gonzalez-Manzano, Carlos III University of Madrid, Spain Bogdan Groza, Politehnica University of Timisoara, Romania Sheikh Mahbub Habib, TU Darmstadt, Germany Dominik Herrmann, University Hamburg, Germany Martin Gilje Jaatun, SINTEF, Norway Jan Jürjens, TU Dortmund and Fraunhofer ISST, Germany Anatoli Kalysch, Friedrich-Alexander University Erlangen-Nuremberg, Germany Sokratis K. Katsikas, NTNU: Norwegian University of Science and Technology, Norway Peter Kieseberg, SBA Research, Austria Ralf Kuesters, University of Stuttgart, Germany Oksana Kulyk, TU Darmstadt, Germany Romain Laborde, University of Toulouse, France Costas Lambrinoudakis, University of Piraeus, Greece Shujun Li, University of Surrey, United Kingdom Giovanni Livraga, Universita' degli Studi di Milano, Italy Robert Luh, Institute of IT Security Research, Austria Keith Martin, Royal Holloway, University of London, United Kingdom Barbara Masucci, University of Salerno, Italy Ioannis Mavridis, University of Macedonia, Greece Wojciech Mazurczyk, Warsaw University of Technology, Poland Mattia Monga, Universita` degli Studi di Milano, Italy Haralambos Mouratidis, University of Brighton, United Kingdom Thomas Nowey, Krones AG, Germany Jaehong Park, University of Alabama in Huntsville, United States Günther Pernul, University of Regensburg, Germany Stefanie Rinderle-Ma, Vienna University, Austria Michael Roßberg, TU Ilmenau, Germany Volker Roth, Freie Universität Berlin, Germany Giovanni Russello, University of Auckland, New Zealand Mark Scanlon, University College Dublin, Ireland Sebastian Schinzel, FH Münster, Germany Jörn-Marc Schmidt, Secunet, Germany Max Schuchard, University of Minnesota, United States Stefan Schulte, Vienna University of Technology, Austria Daniele Sgandurra, Royal Holloway, University of London, United Kingdom Jon A. Solworth, University of Illinois at Chicago, United States Jordi Soria-Comas, Universitat Rovira i Virgili, Spain Mark Strembeck, WU Vienna, Austria Jakub Szefer, Yale University, United States Oliver Theel, Carl von Ossietzky Universität Oldenburg, Germany Simon Tjoa, St. Pölten University of Applied Sciences, Austria Emmanouil Vasilomanolakis, TU Darmstadt Germany Umberto Villano, Universita' del Sannio, Italy Corrado Aaron, Visaggio Univeristà del Sannio, Italy Xiao Wang, Carnegie Mellon University, United States Christos Xenakis, University of Piraeus, Greece Nicola Zannone, Eindhoven University of Technology, Netherlands *********** TOPCIS of interest include, but are not limited to: ************ Authorization, Authentication, and Access Control Availability, Dependability, and Resilience Botnets and Botnet Monitoring Business Continuity & Resilience Cost/Benefit Analysis Cryptography Dependability Aspects for Special Applications Dependability Aspects of e-Government Dependability and Resilience in Open Source Software Designing Security Requirements Digital Forensics E-Commerce Dependability Identity Management IPR of Security Technology Incident Response and Prevention Information Flow Control Information Hiding and Steganograhpy Interoperability Aspects Intrusion Detection and Fraud Detection Legal Issues related to Security and Privacy Mobile Security Network and Organizational Vulnerability Analysis Network Security Privacy-Enhancing Technologies Process based Security Models and Methods Resilience and Security for Critical Infrastructures Resilience of Computing Systems Resilience, Security, and Privacy for Smart Grids Resilience, Security, and Privacy for the Internet of Things RFID Security and Privacy Risk planning, Analysis & Awareness Safety Critical Systems Secure Enterprise Architectures Security and Privacy for Ubiquitous Systems Security and Privacy in E-Health Security and Trust Management in P2P and Grid applications Security and Privacy for Sensor Networks, Wireless/Mobile Devices and Applications Security and Usability Security as Quality of Service Security in Distributed Systems / Distributed Databases Security in Electronic Payments Security in Electronic Voting Software Engineering of Dependable Systems Software Security Threats and Attack Modelling Trusted Computing Tools for Dependable System Design and Evaluation Trust Models and Trust Management Wireless Security

1 0

MobiSPC-Conf: The 15th Intl. Conf. on Mobile Systems and Pervasive Computing, Gran Canaria, Spain (Submission Date: March 22, 2018)
by Davidekova Monika 06 Feb '18

06 Feb '18

============================================================================== The 15th International Conference on Mobile Systems and Pervasive Computing (MobiSPC'18) August 13-15, 2018 Gran Canaria, Spain <http://cs-conferences.acadiau.ca/fnc-18/>http://cs-conferences.acadiau.ca/mobispc-18/ ============================================================================== 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-2018 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-2018 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 ============= - Workshop Proposal Due: February 10, 2018 - Paper Submission Due: March 22, 2018 - Acceptance Notification: May 15, 2018 - Final Manuscript Due: June 15, 2018 Publication ============= All MobiSPC 2018 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 following special issues: - Journal of Ambient Intelligence and Humanized Computing (IF: 1.588), by Springer (http://www.springer.com/engineering/journal/12652) - International Journal of Computing and Informatics (IF: 0.504), (http://www.cai.sk/ojs/index.php/cai/index) - IEEE Intelligent Transportation Systems Magazine (IF: 3.654), by IEEE (http://ieeexplore.ieee.org/xpl/RecentIssue.jsp?punumber=5117645) MobiSPC 2018 will be held in conjunction with The 13th International Conference on Future Networks and Communications (FNC'18). <http://cs-conferences.acadiau.ca/mobispc-18/>http://cs-conferences.acadiau.ca/fnc-18/ Venue ============= MobiSPC 2018 is co-organized & co-hosted by the University of University of Las Palmas de Gran Canaria, Spain. MobiSPC 2018 will be held in Gran Canaria, Spain. Gran Canaria originally meaning "Great [Island] of Dogs" is the second most populous island of the Canary Islands, an African archipelago which is part of Spain, with a population of 847,830 (in 2015) that constitutes approximately 40% of the population of the archipelago. Located in the Atlantic Ocean about 150 kilometres (93 mi) off the northwestern coast of Africa and about 1,350 km (840 mi) from Europe. With an area of 1,560 km2 (602 sq. mi) and an altitude of 1,956 m (6,417 ft) at the Pico de las Nieves, Gran Canaria is the third largest island of the archipelago in both area and altitude. Committees ============= General Chair Boris Magnusson, Lund University, Sweden Program Chair StŽphane Galland, UniversitŽ de Technologie de Belfort-MontbŽliard, France Elhadi Shakshuki, Acadia University, Canada Local Chair Javier Sanchez Medina, University of Las Palmas de Gran Canaria, Spain Advisory Committee Nirwan Ansari, New Jersey Institute of Technology, USA Abdelfettah Belghith, University of Manouba, Tunisia Flavien Balbo, Ecole Nationale SupŽrieure des Mines de Saint Etienne, France Erol Gelenbe, Imperial College, UK Vincenzo Loia, University of Salerno, Italy No‘l de Palma, UniversitŽ de Grenoble, France Ralf Steinmetz, Technische Universitaet Darmstadt, Germany Mohamed Younis, University of Maryland Baltimore County, USA Workshops Chair Haroon Malik, Marshall University, USA Tracks Chairs Habib M. Ammari, Fordham University, USA Longbiao Chen, Xiamen University, China Mohamed Guerroumi, USTHB University, Algeria Danny Hughes, K. U. Leuven, Belgium Francesco Piccialli, University of Naples, Federico II, Italy Zahoor Khan, HCT, UAE Prashant Kumar, University of Surrey, UK Marc Kšrner, TUB Berlin, Germany Christian Poellabauer, University of Notre Dame, USA Kashif Akhtar Saleem, KSA Michael Sheng, University of Adelaide, Australia David S. L. Wei, Fordham University, USA International Journals Chair Salvatore Cuomo, University of Naples Federico II, Italy Publicity Chairs Wim Ectors, Hasselt University, Belgium Monika Davidekova, Comenius University, Slovak Republic Technical Program Committee http://cs-conferences.acadiau.ca/mobispc-18/#programCommittees Your contributions and support are appreciated. Sincerely, Monika Davidekova on behalf of MobiSPC 2018 Organizers

1 0

1st CfP: 4th International Conference on machine Learning, Optimization & Data science - LOD 2018 Call for Papers - Paper submission deadline: March 31, 2018
by Ludovico Montalcini 05 Feb '18

05 Feb '18

[Apologies if you receive multiple copies of this announcement] [Please kindly help forward it to potentially interested attendees] 4th International Conference on machine Learning, Optimization & Data science - LOD 2018 An Interdisciplinary Conference: Machine Learning, Optimization & Data Science without Borders SIAF Learning Village - Volterra (Pisa) Tuscany, September 13-16, 2018 https://lod2018.icas.xyz/ lod(a)icas.xyz ************************* CALL FOR PAPERS ************************* Paper submission deadline: March 31, 2018 https://lod2018.icas.xyz/call-for-papers/ The LOD 2018 conference will consist of four days of main conference sessions. The 4th Annual Conference on machine Learning, Optimization and Data science (LOD) is a single-track machine learning, computational optimization, data science conference that includes invited talks, tutorial talks, special sessions, industrial tracks, demonstrations and oral and poster presentations of refereed papers. We invite submissions of papers, abstracts and posters on all topics related to Machine learning, Optimization and Big Data including real-world applications for the conference proceedings: https://lod2018.icas.xyz/call-for-papers/ Please prepare your paper in English using the Lecture Notes in Computer Science (LNCS) template, which is available http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0 Papers must be submitted in PDF. LOD 2018 Types of Submissions When submitting a paper to LOD 2018, authors are required to select one of the following four types of papers: + Long paper: original novel and unpublished work (max. 12 pages in Springer LNCS format); + Short paper: an extended abstract of novel work (max. 4 pages); + Work for oral presentation only (no page restriction; any format). For example, work already published elsewhere, which is relevant and which may solicit fruitful discussion at the conference; + Work for poster presentation only. The poster format for the presentation is A0 (118.9 cm high and 84.1 cm wide, respectively 46.8 x 33.1 inch). For research work which is relevant and which may solicit fruitful discussion at the conference. LOD 2018 Post-Proceedings All accepted long papers will be published in a volume of the series 'Lecture Notes in Computer Science' from Springer after the conference. Instructions for preparing and submitting the final versions (camera-ready papers) of all accepted papers will be available later on. All the other papers (short papers, abstract of the oral presentations, poster presentations) will be published on the LOD 2018 web site. LOD 2018 Best Paper Springer sponsors the LOD 2018 Best Paper Award with a cash prize of EUR 1,000. LOD 2018 Submission System All papers must be submitted using EasyChair: https://easychair.org/conferences/?conf=lod2018 DEADLINE: Saturday March 31, 2018 LOD 2018 Important Dates + Paper Submission Deadline: March 31, 2018 + Decision Notification to Authors: June 1st, 2018 + Camera Ready Submission Deadline: July 1st, 2018 + Deadline for early Registration as Presenting Author: July 1st, 2018 + Late registration: July 2 – September 16, 2018 + On-Site registration: September 13-16, 2018 + LOD 2018 conference: September 13-16, 2018 LOD 2018 Registration https://lod2018.icas.xyz/registration/ LOD 2018 Program Committee The current LOD 2018 Program Committee includes about 300 Program Committee members: https://lod2018.icas.xyz/program-committee/ Any questions regarding the submission process can be sent to conference organizers: lod(a)icas.xyz We look forward to seeing you in Tuscany! LOD 2018 Chairs & Organizing Committee. https://lod2018.icas.xyz/ lod(a)icas.xyz MOD 2017 Keynote Speakers: Yi-Ke Guo, Imperial College London, UK. Founding Director of Data Science Institute Panos Pardalos, University of Florida, USA. Director of the Center for Applied Optimization Ruslan Salakhutdinov,Carnegie Mellon University, USA. Director of AI Research at Apple. My Thai, University of Florida, USA Jun Pei, Hefei University of Technology, China Vincenzo Sciacca, Cloud and Cognitive Division – IBM Rome, Italy http://www.taosciences.it/mod/keynote-speakers/ MOD 2016 Keynote Speakers: Nello Cristianini, University of Bristol, UK George Michailidis, University of Florida, USA Stephen Muggleton, Imperial College London, UK Panos Pardalos, University of Florida, USA http://www.taosciences.it/mod-2016/keynote-speakers/ MOD 2015 Keynote Speakers: Vipin Kumar, University of Minnesota, USA Panos Pardalos, University of Florida, USA Tomaso Poggio, MIT, USA http://www.taosciences.it/mod-2015/MOD 2015 Best Paper Award of the Previous Editions: https://lod2018.icas.xyz/best-paper-award/

1 0

Call for Submissions Extended to Febr 18: UK OpenMP Users' Conference 2018
by OpenMP ARB 05 Feb '18

05 Feb '18

*Call for Submissions Extension - Deadline February 18, 2018* ------------------------------ The inaugural UK OpenMP User's Conference <https://openmp.us4.list-manage.com/track/click?u=2cbbeac1cf1adba6fb39190d5&…> is intended to become the annual meeting of the growing UK-based community of developers who use OpenMP, with the aims being to: - Share OpenMP programing knowledge and best practise amongst UK users. - Network with fellow developers. Help to promote the evolution of the OpenMP standard. - Provide a feedback channel to the OpenMP Architecture Review Board, so that the OpenMP language reflects the needs of the programmers who use it. - Enable the exchange of ideas with vendors of OpenMP hardware, software and tools. The event is open to anyone who is interested in participating in, or contributing to, the UK community of OpenMP developers. Visit the Conference Website <https://openmp.us4.list-manage.com/track/click?u=2cbbeac1cf1adba6fb39190d5&…>. ------------------------------ Call for Submissions Submissions, in the form of short abstract (max 500 words) are requested for consideration by the program committee. Submissions related to any aspect of using OpenMP are of interest, including (but not limited to): case-studies of OpenMP use in applications, software tools, programming methods, debugging, performance analysis, and integration. Submissions will be evaluated on their merit based on their relevance to OpenMP users. They do not have to cover new or un-published work, but should be topical and be appropriate for a technical audience. Three formats of presentation are available: - Technical Presentations and Research Papers (30 min presentations) - Tutorials & Workshops (1/4 or 1/2 Day) - Posters (Displayed during the breaks) The deadline for all submissions is: *18 February, 2018 *and should be made via *EasyChair* <https://openmp.us4.list-manage.com/track/click?u=2cbbeac1cf1adba6fb39190d5&…> ------------------------------ Conference Program In addition to the technical sessions we will also be scheduling extended breaks during the event to ensure that there is plenty of time to meet and network with other member of the OpenMP community to discuss and share knowledge and experience of parallel programming with OpenMP. There will also be a panel discussion to include members of the OpenMP ARB, vendors and most importantly: OpenMP users. The following sessions have already been scheduled to provide an outline of the program. *Please don't let these limit your submissions! * Anything that is related to OpenMP will be considered as long as its of a technical nature (not marketing). *Monday Tutorials & Panel Discussion:* - A Hands-On-Introduction to OpenMP (all day): - Advanced OpenMP: Performance and 4.5 Features (half day) - Programming Your GPU with OpenMP: A Hands-On Introduction (half day) - Panel Discussion: OpenMP is Twenty. Where is it Going? Including an opportunity for users to put questions to the OpenMP ARB members present. There will be a Conference Dinner on the Monday evening followed by networking at local pub. *Tuesday* The following invited talks have currently been confirmed and additional talks will be added according to the Call for Submissions above. - Keynote: *Thread Alert: Improving Weather Warnings and Forecasts With OpenMP* by Paul Selwood, Manager of HPC Optimisation, Met Office Asbtract: - Abstract: Accurate weather forecasts are hugely important to a nation's economy. They help keep transport links open, keep electricity flowing and enable emergency response to extreme weather events. The Unified Model is a key component in the Met Office's ability to generate hundreds of forecasts every day to tight operational timescale. It is constantly being improved with more accurate and computationally expensive physics. OpenMP has been an important tool in meeting the scalability challenge this has presented. This presentation will describe the Unified Model's journey with OpenMP. This has taken it from an enabler of hyperthreads, through I/O acceleration to being a fully-fledged part of the model's parallelism strategy. The lessons learned during this process will be shared, along with some recent experiences with tasking to mitigate MPI load imbalance. - Invited Talk: *OpenMP Gotchas* by Dr Mark Bull, Architect (Research and Training), EPCC - Invited Talk: *OpenMP 4.5 Performance Portability* by Simon McIntosh-Smith, Prof. in High Performance Computing, University of Bristol Conference Dinner There will be a conference dinner on the evening of Monday 21st May. ------------------------------ Program Committee - Conference Chair: Simon McIntosh-Smith, Prof. in High Performance Computing, University of Bristol - Program Co-Chair: Dr Mark Bull, Architect (Research and Training), EPCC Program Co-Chair: - Jim Cownie, Principal Engineer, Intel Corporation (UK) Ltd. - Founder, Local Organiser & Marketing Chair: Tim Lewis, Croftedge Marketing Limited ------------------------------ Proceedings All the presentations, tutorials and posters presented at the meeting will be collated into a set of electronic proceedings and made available on-line. All presenters must register for the conference at the prevailing rate and must attend the conference to be included in the proceedings. ------------------------------ Sponsors If your company is interested in promoting its products to the UK OpenMP community please contact tim.lewis(a)croftedge.com <tim.lewis(a)croftedge.com?subject=UK%20OpenMP%20User's%20Conference> to discuss the various Sponsorship Opportunities available. Your support is greatly appreciated and will help us build the UK OpenMP community. *Read More* <https://openmp.us4.list-manage.com/track/click?u=2cbbeac1cf1adba6fb39190d5&…>

1 0

PDSEC/IPDPS-18 workshop: extended deadline Feb 09
by Peter Strazdins 05 Feb '18

05 Feb '18

(apologies for cross-postings) The 19th IEEE International Workshop on Parallel and Distributed Scientific and Engineering Computing (PDSEC-18) http://cse.stfx.ca/~pdsec18 will be held on May 25, 2018 in Vancouver in conjunction with IPDPS 2018. Deadline: PDSEC-18 extended deadline: 09 Feb 2018 (AoE) Scope and Interests: The technological trends of HPC system evolution indicates increasing burden for application developers in management of the unprecedented levels of complexity in hardware and the associated performance characteristics. Many existing application codes are unlikely to perform well on future systems without major modifications or even complete rewrites. It will be important to utilize, in unison, many characteristics such as multiple levels of parallelism, many lightweight cores, complex memory hierarchies, novel I/O technology, power capping, system-wide temporal/spatial performance heterogeneity and reliability concerns. The HPC community has developed new programming models, algorithms, libraries and tools to meet these challenges in order to accommodate productive code development and effective system use. However, the application community still needs to identify the benefit through practical evaluations. Thus, the focus of this workshop is on methodologies and experiences of scientific and engineering applications and algorithms to achieve sustainable code development for better productivity, application performance and reliability. Important Dates: Paper submission due (FINAL EXTENSION) . . . . . February 09, 2018 Notification of Acceptance . . . . . . . . . . . March 02, 2018 Final camera-ready paper . . . . . . . . . . . . March 15, 2018 Workshop . . . . . . . . . . . . . . . . . . . . May 25, 2018 General Chairs Peter Strazdins, Australian National University, Australia Raphael Couturier, University of Franche-Comte, France Program Chairs Keita Teranishi, Sandia National Laboratories, USA Joseph Antony, National Computational Infrastructure, Australia Steering Committee Thomas Rauber, University of Bayreuth, Germany Gudula Runger, Chemnitz University of Technology, Germany Laurence T. Yang (Chair), St. Francis Xavier University, Canada -- Regards, Peter ------------------------------------------------------------------------ Peter Strazdins, PhD GCHE, SIEEE SFHEA Research School of Computer Science ANU College of Engineering and Computer Science CSIT Building 108, North Rd The Australian National University, Canberra ACT 2601 AUSTRALIA T: +61 2 6125 5140 F: +61 2 6125 0010 W: http://cs.anu.edu.au/~Peter.Strazdins E: Peter.Strazdins(a)cs.anu.edu.au ------------------------------------------------------------------------

1 0

The Second International Workshop on Parallel and Distributed Data Mining (WPDM 2018)
by Massimo Cafaro 02 Feb '18

02 Feb '18

The Second International Workshop on Parallel and Distributed Data Mining (WPDM 2018) http://sara.unisalento.it/~cafaro/WPDM2018/ CALL FOR PAPERS As part of The 18th International Conference on Computational Science and Its Applications (ICCSA 2018), http://www.iccsa.org July 2 - 5 2018, Melbourne, Australia Submission Deadline: March 8, 2018 SPECIAL ISSUE Selected extended versions of workshop papers will be invited to a Special Issue to appear in the Algorithms journal (see http://www.mdpi.com/journal/algorithms/special_issues/Parallel_Distributed_…) SCOPE AND OBJECTIVES The Workshop on Parallel and Distributed Data Mining is an international forum which brings together researchers and practitioners working on different high-performance aspects of data mining algorithms, enabling novel applications. Data mining techniques and algorithms to process huge amount of data in order to extract useful and interesting information have become popular in many different contexts. Algorithms are required to make sense of data automatically and in efficient ways. Nonetheless, even though sequential computer systems performance is improving, they are not suitable to keep up with the increase in the demand for data mining applications and the data size. Moreover, the main memory of sequential systems may not be enough to hold all the data related to current applications. Therefore, there is an increasing interest in the design and implementation of parallel data mining algorithms. On parallel computers, by exploiting the vast aggregate main memory and processing power of processors and accelerators, parallel algorithms can easily address both the running time and memory requirement issues. Anyway, parallelizing existing algorithms in order to achieve good performance and scalability with regard to massive datasets is not trivial. Indeed, it is of paramount importance a good data organization and decomposition strategy in order to balance the workload while minimizing data dependences. Another concern is related to minimizing synchronization and communication overhead. Finally, I/O costs should be minimized as well. The Workshop will allow exchanging ideas and results related to on-going research, focusing on high-performance aspects of data mining algorithms and applications. Creating breakthrough parallel algorithms for high-performance data mining applications requires addressing several key computing problems which may lead to novel solutions and new insights in interdisciplinary applications. The focus of the workshop is on all forms of advances in high-performance data mining algorithms and applications, and related topics. The WPDM Workshop topics include (but are not limited to) the following: - Parallel data mining algorithms using MPI and/or OpenMP - Parallel data mining algorithms targeting GPUs and many-cores accelerators - Parallel data mining applications exploiting FPGA - Distributed data mining algorithms - Benchmarking and performance studies of high-performance data mining applications - Novel programming paradigms to support high-performance computing for data mining - Performance models for high-performance data mining applications and middleware - Programming models, tools, and environments for high-performance computing in data mining - Caching, streaming, pipelining, and other optimization techniques for data management in high-performance computing for data mining INSTRUCTIONS FOR PAPER SUBMISSIONS You are invited to submit original and unpublished research works on above topics. Submitted papers must not have been published or simultaneously submitted elsewhere. The submitted paper must be between 10 to 16 pages long and formatted according to the Springer LNCS (Lecture Notes in Computer Science) rules, Guidelines and templates can be found at the url http://www.springer.com/it/computer-science/lncs/conference-proceedings-gui… To submit a paper, please connect to the Submission site from the link available at the ICCSA 2018 web site: http://ess.iccsa.org. Only papers submitted through the electronic system and strictly adhering to the relevant format will be considered for reviewing and publication. Please pay attention, when submitting your contribution to the workshop, to select the right entry in the listbox shown in the submission form. CONFERENCE POLICY By submitting the paper to ICCSA conference, all authors agree to abide by all ICCSA conference paper submission, publication and presentation policies. Namely, authors confirm that the work is original, has not appeared in literature in any form in the past and will not be submitted to any other venue concurrently with ICCSA submission or until it appears in ICCSA proceedings (in the case of acceptance). Furthermore, upon paper acceptance, authors agree to transfer copyright on the accepted paper to ICCSA, and one of the authors will register the paper and present the paper at the event. No paper withdrawals can be accepted after Conference pre-registration date or within three months of the actual event, whichever date comes first. Paper withdrawal request can be only accepted in writing through email, letter or fax to conference organizers. The conference has no responsibility for any intentional or accidental misuse, misinterpretation, or failure to follow above rules and conditions and holds no legal, civil or other responsibility for opinions, content or utilization of any methods/algorithms expressed in the Conference Proceedings. If you have any questions about paper submission or the workshop, please contact the workshop organisers. IMPORTANT DATES March 8, 2018: Deadline for paper submission April 8, 2018: Notification of Acceptance. May 6, 2018: Early-bird Registration ends. May 6, 2018: Submission deadline for the final version of the Papers July 2-5, 2018: ICCSA 2018 Conference WORKSHOP ORGANIZERS Massimo Cafaro University of Salento, Italy Phone: +39 0832 297371 Fax: +39 0832 297235 Email: massimo.cafaro(a)unisalento.it Italo Epicoco University of Salento, Italy Phone: +39 0832 297235 Fax: +39 0832 297235 Email: italo.epicoco(a)unisalento.it Marco Pulimeno University of Salento, Italy Phone: +39 0832 297371 Fax: +39 0832 297235 Email: marco.pulimeno(a)unisalento.it Giovanni Aloisio University of Salento & Euro Mediterranean Center on Climate Change Foundation, Italy Phone: +39 334 6501704 Fax: +39 0832 297235 Email: giovanni.aloisio(a)unisalento.it International Program Committee: All submitted papers will be reviewed by the workshop technical program committee members. Program Committee formation is pending and will be finalised shortly. Current TPC members: Gianfranco Bilardi, University of Padova, Italy Matteo Ceccarello, University of Padova, Italy Alfredo Cuzzocrea, University of Trieste and ICAR-CNR, Italy Giuseppe Di Fatta, University of Reading, UK Ann Gordon-Ross, University of Florida, USA Giuliano Laccetti, University of Naples, Italy Pablo Moscato, University of Newcastle, Australia Mitsunori Ogihara, University of Miami, USA Takahiko Shintani, University of Electro-Communications, Japan Domenico Talia, University of Calabria, Italy Paolo Trunfio, University of Calabria, Italy Jeffrey D. Ullman, Stanford University, USA - ************************************************************************************ Massimo Cafaro, Ph.D. Associate Professor Dept. of Engineering for Innovation University of Salento, Lecce, Italy Via per Monteroni 73100 Lecce, Italy Voice/Fax +39 0832 297371 Web http://sara.unisalento.it/~cafaro E-mail massimo.cafaro(a)unisalento.it cafaro(a)ieee.org cafaro(a)acm.org CMCC Foundation Euro-Mediterranean Center on Climate Change Via Augusto Imperatore, 16 - 73100 Lecce massimo.cafaro(a)cmcc.it ************************************************************************************

1 0

International Workshop on Advances in High-Performance Algorithms Middleware and Applications
by Massimo Cafaro 02 Feb '18

02 Feb '18

My apologies for multiple copies. 1st International Workshop on Advances in High-Performance Algorithms Middleware and Applications http://sara.unisalento.it/~cafaro/AHPAMA2018/ Held in conjunction with the the 18th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing (CCGRID 2018), Washington, DC, USA May 1-4 2018 The Workshop on Advances in High-Performance Algorithms Middleware and Applications is an international forum which brings together researchers and practitioners working on different high-performance aspects of algorithms, middleware and technologies enabling novel applications. Middleware technologies include tools to assemble together different resources such as parallel supercomputers, data archives, high-speed storage systems, advanced visualization devices and scientific instruments using high speed networks connecting geographically distributed devices and organizations. Many recent international efforts are actively fostering the development of such applications and technologies. The Workshop will allow exchanging ideas and results related to on-going research, focusing on high-performance aspects of algorithms and applications. Creating breakthrough parallel algorithms for high-performance applications requires addressing several key computing problems which may lead to novel solutions and new insights in interdisciplinary applications. The focus of the workshop is on all forms of advances in high-performance algorithms middleware and applications, and related topics. For example, the following topics are relevant to the workshop: - Scalable message-passing parallel algorithms using MPI - Scalable shared-memory parallel algorithms using OpenMP - GPGPU parallel algorithms using OpenCL or CUDA - Green High-Performance Computing - Exploiting modern parallel architectures including FPGA, many-cores and multi-cores for parallel applications - Middleware for high-performance computing - Benchmarking and performance studies of high-performance applications - Novel programming paradigms to support high-performance computing - Performance models for high-performance applications and middleware - Efficient job scheduling for high-performance applications - Performance-aware resource reservation - Security-related performance issues - Programming models, tools, and environments for high-performance computing - Caching, streaming, pipelining, and other optimization techniques for data management in high-performance computing - Peer-to-peer systems for high-performance grid and cloud environments - Optimization techniques for mobile grids Submission Guidelines The results presented in the paper must be unpublished and not submitted for publication elsewhere, including the proceedings of other conferences or workshops. Papers will be peer-reviewed by at least three reviewers. Papers are evaluated with respect to originality, significance, clarity, and technical soundness. One author of each accepted paper will be expected to present the paper at the workshop. Authors are invited to submit papers electronically in PDF format. Submitted manuscripts should be structured as technical papers and may not exceed 10 letter-size (8.5 x 11) pages including all figures, tables and references using the IEEE format for conference proceedings. Papers need to be submitted through Easy Chair following this link: https://easychair.org/conferences/?conf=ahpama1 Important Dates Paper submission: February 23, 2018 Author notification: March 7, 2018 Camera ready: March 15, 2018 Workshop: May 1-4, 2018 Workshop Organizers Massimo Cafaro University of Salento, Italy Phone: +39 0832 297371 Fax: +39 0832 297235 Email: massimo.cafaro(a)unisalento.it Italo Epicoco University of Salento, Italy Phone: +39 0832 297235 Fax: +39 0832 297235 Email: italo.epicoco(a)unisalento.it Marco Pulimeno University of Salento, Italy Phone: +39 0832 297371 Fax: +39 0832 297235 Email: marco.pulimeno(a)unisalento.it Giovanni Aloisio University of Salento & Euro Mediterranean Center on Climate Change Foundation, Italy Phone: +39 334 6501704 Fax: +39 0832 297235 Email: giovanni.aloisio(a)unisalento.it Program Committee Clemente Galdi, University of Naples Federico II, Italy Giuliano Laccetti, University of Naples Federico II, Italy Barbara Masucci, University of Salerno, Italy Umberto Ferraro Petrillo, University of Rome La Sapienza, Italy Domenico Talia, University of Calabria, Italy Paolo Trunfio, University of Calabria, Italy Francesco Versaci, CRS4, Italy Laurence T. Yang, St. Francis Xavier University, Canada - ************************************************************************************ Massimo Cafaro, Ph.D. Associate Professor Dept. of Engineering for Innovation University of Salento, Lecce, Italy Via per Monteroni 73100 Lecce, Italy Voice/Fax +39 0832 297371 Web http://sara.unisalento.it/~cafaro E-mail massimo.cafaro(a)unisalento.it cafaro(a)ieee.org cafaro(a)acm.org CMCC Foundation Euro-Mediterranean Center on Climate Change Via Augusto Imperatore, 16 - 73100 Lecce massimo.cafaro(a)cmcc.it ************************************************************************************

1 0

FINAL CfP Ada-Europe 2018, Mon 5 February submission deadline
by Dirk Craeynest 01 Feb '18

01 Feb '18

----------------------------------------------------------------------- FINAL Call for Papers 23rd International Conference on Reliable Software Technologies - Ada-Europe 2018 18-22 June 2018, Lisbon, Portugal http://www.ada-europe.org/conference2018 Organized by Univ. Lisboa and Ada-Europe, in cooperation with ACM SIGAda, SIGBED, SIGPLAN and the Ada Resource Association (ARA) The 23rd International Conference on Reliable Software Technologies - Ada-Europe 2018 will take place in Lisbon, Portugal. Following its traditional style, the conference will span a full week, including a three-day technical program and vendor exhibition from Tuesday to Thursday, along with parallel tutorials and workshops on Monday and Friday. This edition features a focused Special Session on Security in Safety-Critical Systems. *** DEADLINE Monday 5 FEBRUARY 2018 *** Regular & Special Session Papers + Industrial Presentations: submit via https://easychair.org/conferences/?conf=adaeurope2018 Tutorials & Workshops: submit to the Tutorial & Workshop Chair David Pereira <dmrpe at isep.ipp.pt> For more information please see the full Call for Contributions at http://www.ada-europe.org/conference2018 ----------------------------------------------------------------------- Our apologies if you receive multiple copies of this announcement. Please circulate widely. Dirk Craeynest, Ada-Europe'2018 Publicity Chair Dirk.Craeynest(a)cs.kuleuven.be

1 0

CfP 13th Virtualization in High-Performance Cloud Computing Workshop (VHPC '18)
by VHPC 18 01 Feb '18

01 Feb '18

==================================================================== CALL FOR PAPERS 13th Workshop on Virtualization in High-Performance Cloud Computing (VHPC '18) held in conjunction with the International Supercomputing Conference - High Performance, June 24-28, 2018, Frankfurt, Germany. (Springer LNCS Proceedings) ==================================================================== Date: June 28, 2018 Workshop URL: http://vhpc.org Paper Submission Deadline: April 23, 2018, Springer LNCS, rolling abstract submission Abstract/Paper Submission Link: https://edas.info/newPaper.php?c=24355 Special Track: GPU - Accelerator Virtualization Call for Papers Virtualization technologies constitute a key enabling factor for flexible resource management in modern data centers, and particularly in cloud environments. Cloud providers need to manage complex infrastructures in a seamless fashion to support the highly dynamic and heterogeneous workloads and hosted applications customers deploy. Similarly, HPC environments have been increasingly adopting techniques that enable flexible management of vast computing and networking resources, close to marginal provisioning cost, which is unprecedented in the history of scientific and commercial computing. Various virtualization technologies contribute to the overall picture in different ways: machine virtualization, with its capability to enable consolidation of multiple underutilized servers with heterogeneous software and operating systems (OSes), and its capability to live-migrate a fully operating virtual machine (VM) with a very short downtime, enables novel and dynamic ways to manage physical servers; OS-level virtualization (i.e., containerization), with its capability to isolate multiple user-space environments and to allow for their coexistence within the same OS kernel, promises to provide many of the advantages of machine virtualization with high levels of responsiveness and performance; I/O Virtualization allows physical network interfaces to take traffic from multiple VMs or containers; network virtualization, with its capability to create logical network overlays that are independent of the underlying physical topology is furthermore enabling virtualization of HPC infrastructures. Publication Accepted papers will be published in a Springer LNCS proceedings volume. Topics of Interest The VHPC program committee solicits original, high-quality submissions related to virtualization across the entire software stack with a special focus on the intersection of HPC and the cloud. Major Topics - Virtualization in supercomputing environments, HPC clusters, HPC in the cloud and grids - OS-level virtualization and containers (LXC, Docker, rkt, Singularity, Shifter, i.a.) - Lightweight/specialized operating systems in conjunction with virtual machines - Novel unikernels and use cases for virtualized HPC environments - Performance improvements for or driven by unikernels - Tool support for unikernels: configuration/build environments, debuggers, profilers - Hypervisor extensions to mitigate side-channel attacks ([micro-]architectural timing attacks, privilege escalation) - VM & Container trust and security - Containers inside VMs with hypervisor isolation - GPU virtualization operationalization - Approaches to GPGPU virtualization including API remoting and hypervisor abstraction - Optimizations of virtual machine monitor platforms and hypervisors - Hypervisor support for heterogeneous resources (GPUs, co-processors, FPGAs, etc.) - Virtualization support for emerging memory technologies - Virtualization in enterprise HPC and microvisors - Software defined networks and network virtualization - Management, deployment of virtualized environments and orchestration (Kubernetes i.a.) - Workflow-pipeline container-based composability - Checkpointing facilitation utilizing containers and VMs - Emerging topics including multi-kernel approaches and NUMA in hypervisors - Operating MPI in containers/VMs and Unikernels - Virtualization in data intensive computing (big data) - HPC convergence - Adaptation of HPC technologies in the cloud (high performance networks, RDMA, etc.) - Performance measurement, modelling and monitoring of virtualized/cloud workloads - Latency-and jitter sensitive workloads in virtualized/containerized environments - I/O virtualization (including applications, SR-IOV, i.a.) - Hybrid local facility + cloud compute and based storage systems, cloudbursting - FPGA and many-core accelerator virtualization - Job scheduling/control/policy and container placement in virtualized environments - Cloud reliability, fault-tolerance and high-availability - QoS and SLA in virtualized environments - IaaS platforms, cloud frameworks and APIs - Energy-efficient and power-aware virtualization - Configuration management tools for containers (including in OpenStack, Ansible, i.a.) - ARM-based hypervisors, ARM virtualization extensions Special Track: GPU - Accelerator Virtualization GPU virtualization technologies, performance and benchmarking, integration with workflow scheduling systems, integration to cluster managers. GPUs are taking on many HPC workload areas, especially in deep learning within machine learning. In addition, a lot of workload is being pushed to elastic environments utilizing various virtualization technologies on different levels like hypervisors (e.g. VMWare, Xen, KVM), kernel (Docker, Kubernetes) or on the resource manager level (YARN, Mesos). In this track we invite submissions addressing these problems. Suggested Themes and Topics: Technology - What technologies and best practices exist for GPU - hardware accelerator virtualization and usage of hardware accelerators in virtual environments on the hypervisor, kernel or resource manager level Developers - Real-life experience when addressing HPC/ML/DL problems with GPUs or hardware accelerators in virtual environments Performance - Performance comparisons between different technologies / solutions The Workshop on Virtualization in High-Performance Cloud Computing (VHPC) aims to bring together researchers and industrial practitioners facing the challenges posed by virtualization in order to foster discussion, collaboration, mutual exchange of knowledge and experience, enabling research to ultimately provide novel solutions for virtualized computing systems of tomorrow. The workshop will be one day in length, composed of 20 min paper presentations, each followed by 10 min discussion sections, plus lightning talks that are limited to 5 minutes. Presentations may be accompanied by interactive demonstrations. Important Dates February 23, 2018 (AoE) - Abstract Submission April 23, 2018 (AoE) - Paper submission deadline (Springer LNCS) May 30, 2018 - Acceptance notification June 28, 2018 - Workshop Day July 12, 2018 - Camera-ready version due Chair Michael Alexander (chair), Institute of Science and Technology, Austria Anastassios Nanos (co-chair), OnApp, UK Romeo Kienzler (co-chair), IBM, Switzerland Program committee Stergios Anastasiadis, University of Ioannina, Greece Jakob Blomer, CERN, Europe Eduardo César, Universidad Autonoma de Barcelona, Spain Stephen Crago, USC ISI, USA Tommaso Cucinotta, St. Anna School of Advanced Studies, Italy Christoffer Dall, Columbia University, USA François Diakhaté, CEA, France Patrick Dreher, MIT, USA Kyle Hale, Northwestern University, USA Brian Kocoloski, University of Pittsburgh, USA Uday Kurkure, VMware, USA John Lange, University of Pittsburgh, USA Giuseppe Lettieri, University of Pisa, Italy Qing Liu, Oak Ridge National Laboratory, USA Nikos Parlavantzas, IRISA, France Kevin Pedretti, Sandia National Laboratories, USA Amer Qouneh, Western New England University, USA Carlos Reaño, Technical University of Valencia, Spain Borja Sotomayor, University of Chicago, USA Anata Tiwari, San Diego Supercomputer Center, USA Kurt Tutschku, Blekinge Institute of Technology, Sweden Yasuhiro Watashiba, Osaka University, Japan Chao-Tung Yang, Tunghai University, Taiwan Andrew Younge, Sandia National Laboratory, USA Na Zhang, VMware, USA Paper Submission-Publication Papers submitted to the workshop will be reviewed by at least two members of the program committee and external reviewers. Submissions should include abstract, keywords, the e-mail address of the corresponding author, and must not exceed 10 pages, including tables and figures at a main font size no smaller than 11 point. Submission of a paper should be regarded as a commitment that, should the paper be accepted, at least one of the authors will register and attend the conference to present the work. Accepted papers will be published in a Springer LNCS volume. . The format must be according to the Springer LNCS Style. Initial submissions are in PDF; authors of accepted papers will be requested to provide source files. Format Guidelines: ftp://ftp.springer.de/pub/tex/latex/llncs/latex2e/llncs2e.zip Abstract, Paper Submission Link: https://edas.info/newPaper.php?c=24355 Lightning Talks Lightning Talks are non-paper track, synoptical in nature and are strictly limited to 5 minutes. They can be used to gain early feedback on ongoing research, for demonstrations, to present research results, early research ideas, perspectives and positions of interest to the community. Submit abstract via the main submission link. General Information The workshop is one day in length and will be held in conjunction with the International Supercomputing Conference - High Performance (ISC) 2018, June 18-22, Frankfurt, Germany.

1 0

Please help disseminating Dynamic Geometry-Mathematicas Education Workshop at ACA 2018
by Prof. Tomas Recio 01 Feb '18

01 Feb '18

Dear Colleague: Please help disseminating among the members of the Computational Science Mailing List, the announcement of a "Dynamic Geometry and Mathematicas Education" Workshop at the Conference on Applications of Computer Algebra (ACA) 2018 (Santiago de Compostela, Spain, June 18-22, 2018). Enclosed please find the Call for Contributions to the Workshop. Thanks for your interest! Further information at the web www.dg-me.tk <http://www.dg-me.tk/> With best regards, Tomas Recio DYNAMIC GEOMETRY AND MATHEMATICS EDUCATION www.dg-me.tk <http://www.dg-me.tk/> SPECIAL SESSION AT THE 24TH CONFERENCE ON APPLICATIONS OF COMPUTER ALGEBRA (ACA <http://www.usc.es/regaca/aca2018/index.html> 2018), JUNE 18 - 22, 2018, SANTIAGO DE COMPOSTELA, SPAIN AIM AND SCOPE Dynamic geometry environments (DGE) have emerged in the last half-century with an ever-increasing impact in mathematics education. DGE enlarges the field of geometric objects subject to formal reasoning, for instance, simultaneous operations with many geometric objects. Today DGE open the possibility of investigating visually and formulating conjectures, comparing objects, discovering or proving rigorously properties over geometric constructions, and Euclidean elementary geometry is required to reason about them. Along these decades various utilities have been added to these environments, such as the manipulation of algebraic equations of geometric objects or the automated proving and discovering, based on computer algebra algorithms, of elementary geometry statements. Moreover, some intelligent tutoring systems for Euclidean geometry based in DGE have been developed. The merging of these tools (DGE, automated proving and intelligent tutoring systems) 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 Session intends to be a forum for: presenting the current state of the art concerning the design and implementation of automatic reasoning features on dynamic geometry systems and intelligent tutoring systems; fostering a debate concerning the role and use of such features in mathematics education, in general, and their potential impact in proof and proving conception in the classroom, in particular. ORGANIZERS Tomás Recio (tomas.recio(a)unican.es <mailto:tomas.recio@unican.es>), Universidad de Cantabria, Santander, Spain Philippe R. Richard (philippe.r.richard(a)umontreal.ca <http://www.nebrija.es/Users/TOMAS%201/Downloads/philippe.r.richard@umontrea…>), Université de Montréal, Montréal, Canada M. Pilar Vélez (pvelez(a)nebrija.es <http://www.nebrija.es/Users/TOMAS%201/Downloads/pvelez@nebrija.es>), Universidad Antonio de Nebrija, Madrid, Spain SUBMISSIONS If you are interested in proposing a talk, please send an abstract to pvelez(a)nebrija.es <mailto:pvelez@nebrija.es>. Please use the attached LaTeX template <http://www.nebrija.es/~pvelez/ACA2018/Abstract_Template.tex> <http://www.nebrija.es/~pvelez/ACA2018/Abstract_Template.tex>for your abstract and send the organizers both the LaTeX source and a compiled PDF version. We suggest that abstracts be 2-3 pages. Tentative abstract submission deadline is April 2, 2018; early submissions are appreciated. ACA2017 conference web page http://www.usc.es/regaca/aca2018/index.html <http://www.usc.es/regaca/aca2018/index.html>

1 0