- computational.science - lists.iccsa.org

deadline extended: CMNA, computational models of natural argument at AISB 2018
by Grasso, Floriana 11 Jan '18

11 Jan '18

Submission are solicited to the 18h Workshop on Computational Models of Natural Argument, to be held in conjunction with AISB 2018<http://aisb2018.csc.liv.ac.uk/> at the University of Liverpool, UK, on April 4th-6th 2018. <http://www.cmna.info/cmna16%3Credir.aspx?REF=siVmMQ0P6F2Dd_u0BkY_hQanVzI2oz…>http://www.cmna.info/CMNA18 Paper submission will be handled by the Easychair conference system. Please submit your paper here<https://easychair.org/conferences/?conf=cmna18>. KEY DATES * Paper submission (all categories): 10 January 2018 Extended: 22 January 2018 * Notification to authors: 15 February 2018 * Final version of papers: 5 March 2018 * Early registration deadline: from the AISB 2018<http://aisb2018.csc.liv.ac.uk/> website * CMNA 18: one day workshop during the AISB conference 4th - 6th April 2018 (exact date to be announced) * CMNA18 proceedings will be published as <http://www.aisb.org.uk/aisbpublications/convention-proceedings> AISB Convention Proceedings<http://www.aisb.org.uk/aisbpublications/convention-proceedings>. <http://ceur-ws.org/> TOPICS The workshop focuses on the issue of modelling "natural" argumentation. Contributions are solicited addressing, but not limited to, the following areas of interest: * The characteristics of natural arguments: ontological aspects and cognitive issues. * Personalisation and tailoring of argument to a specific audience * Models of arguer and models of audience * The use of models from informal logic and argumentation theory, and in particular, approaches to specific schools of thought developed in informal logic and argumentation. * Rhetoric and affect: the role of emotions, personalities, etc. in models of argumentation. * The roles of manoeuvering and deceit and the ethical implications of implemented systems demonstrating such features. * The linguistic characteristics of natural argumentation, including discourse markers, sentence format, referring expressions, and style. Persuasive discourse processing (discourse goals and structure, speaker/hearer models, content selection, etc.). Language dependence and multilingual approaches. Empirical work based on corpora looking at these topics are especially welcomed. * Non-monotonic, defeasible and uncertain argumentation. * Natural argumentation and media: visual arguments, multi-modal arguments, spoken arguments. * Models of argumentation in multi-agent systems inspired by or based upon theories of human argument. * Empirically driven models of argument in AI and Law. * Evaluative arguments and their application in AI systems (such as decision support and advice giving). * Issues of domain specificity, and in particular, the independence of argumentation techniques from the domain of application. * Applications of computer supported collaborative argumentation, in realistic domains in which argument plays a key role, including pedagogy, e-democracy and public debate. * Applications of argumentation based systems, including, for example, the pedagogical, health-related, political, and promotional. * Methods to better convey the structure of complex argument, including representation and summarisation. * Tools for interacting with structures of argument, including visualisation tools and interfaces supporting natural, stylised or formal dialogue. * The building of computational resources such as online corpora related to argumentation. The workshop encourages submissions in four categories: * Long papers, either reporting on completed work or offering a polemic discussion on a burning issue (up to 10 pages). * Short papers describing work in progress (up to 5 pages). * Demonstration of implemented systems: submissions should be accompanied by written reports (up to 3 pages). * Short abstract, describing a doctoral thesis summary or a project proposal (up to 2 pages). Dr Floriana Grasso Department of Computer Science University of Liverpool A: G16, Ashton Building, Liverpool L69 3GJ, United Kingdom P: +44 (0)151 795 4240 W: http://www.csc.liv.ac.uk/~floriana/<https://owa.liv.ac.uk/owa/redir.aspx?C=1OE2ZazJZs-L4GmGx9B1nWJiy_BTGDn5Ku4w…> ATHENA SWAN<https://www.liverpool.ac.uk/electrical-engineering-electronics-and-computer…><https://owa.liv.ac.uk/owa/redir.aspx?C=zUOqaFp7BOiTh7TlnCjzRPMBzRioAqwhkrIp…> - recognising and celebrating good employment practice for women working in science, technology, engineering, maths and medicine (STEMM) in higher education and research

1 0

FOSDEM 2018 - Ada Developer Room - Sat 3 Feb 2018 - Brussels
by Dirk Craeynest 10 Jan '18

10 Jan '18

----------------------------------------------------------------------- Ada-Belgium is pleased to announce the program for its 8th Ada Developer Room at FOSDEM 2018 on Saturday 3 February 2018 Université Libre de Bruxelles (ULB), Solbosch Campus, Room AW1.125 Avenue Franklin D. Roosevelt Laan 50, B-1050 Brussels, Belgium Organized in cooperation with Ada-Europe <http://www.cs.kuleuven.be/~dirk/ada-belgium/events/18/180203-fosdem.html> <http://fosdem.org/2018/schedule/track/ada/> ----------------------------------------------------------------------- FOSDEM, the Free and Open source Software Developers' European Meeting, is a non-commercial two-day weekend event organized early each year in Brussels, Belgium. It is highly developer-oriented and brings together 8000+ participants from all over the world. The goal is to provide open source developers and communities a place to meet with other developers and projects, to be informed about the latest developments in the open source world, to attend interesting talks and presentations on various topics by open source project leaders and committers, and to promote the development and the benefits of open source solutions. The 2018 edition takes place on Saturday 3 and Sunday 4 February. It is free to attend and no registration is necessary. In this edition, Ada-Belgium organizes once more a series of presentations related to the Ada Programming Language and Free or Open Software in a s.c. Developer Room. The "Ada DevRoom" at FOSDEM 2018 is held on the first day of the event, Saturday 3 February 2018. --------------------------------------- Ada Programming Language and Technology --------------------------------------- Ada is a general-purpose programming language originally designed for safety- and mission-critical software engineering. It is used extensively in air traffic control, rail transportation, aerospace, nuclear, financial services, medical devices, etc. It is also perfectly suited for open source development. Awareness of safety and security issues in software systems is increasing. Multi-core platforms are now abundant. These are some of the reasons that the Ada programming language and technology attracts more and more attention, among others due to Ada's support for programming by contract and for multi-core targets. The Ada 2012 language definition was approved and published by ISO in December 2012, updated early 2016, and work on new features for the next revision is ongoing. As with the prior Ada 1995 and Ada 2005 standards, the first full implementation of the Ada 2012 standard was made available in gcc - the GNU Compiler Collection (GNAT). More and more tools are available, many are open source, including for small and recent platforms. Interest keeps increasing, also in the open source community, and many exciting projects started. The Ada DevRoom aims to present the facilities offered by the Ada language (such as for object-oriented, multicore, or embedded programming) as well as some of the many exciting tools and projects using Ada. -------------------------------- Ada Developer Room Presentations (room: AW1.125, 76 seats) -------------------------------- The presentations in the Ada DevRoom start after the opening FOSDEM keynote. The program runs from 10:30 to 19:00, and consists of 7.5 hours with 9 talks by 9 presenters from 5 different countries, plus 2 half-hour sessions with informal discussions. 10:30-11:00 - Arrival & Informal Discussions Feel free to arrive early, to start the day with some informal discussions while the set-up of the DevRoom is finished. 11:00-11:05 - Welcome by Dirk Craeynest - Ada-Belgium Welcome to the Ada Developer Room at FOSDEM 2018, which is organized by Ada-Belgium in cooperation with Ada-Europe. Ada-Belgium and Ada-Europe are non-profit organizations set up to promote the use of the Ada programming language and related technology, and to disseminate knowledge and experience into academia, research and industry in Belgium and Europe, resp. Ada-Europe has member-organizations, such as Ada-Belgium, in various countries, and direct members in many other countries. More information on this DevRoom is available on the Ada-Belgium web-site (see URL above). 11:05-11:50 - An Introduction to Ada for Beginning and Experienced Programmers by Jean-Pierre Rosen - Adalog An overview of the main features of the Ada language, with special emphasis on those features that make it especially attractive for free software development. Ada is a feature-rich language, but what really makes Ada stand-out is that the features are nicely integrated towards serving the goals of software engineering. If you prefer to spend your time on designing elegant solutions rather than on low-level debugging, if you think that software should not fail, if you like to build programs from readily available components that you can trust, you should really consider Ada! 12:00-12:50 - Making the Ada_Drivers_Library: Embedded Programming with Ada by Fabien Chouteau - AdaCore The Ada programming language was designed for embedded programming and it is well known in the aerospace domains and in general every domain where failure is not an option. Unfortunately it is not used a lot in the embedded FOSS community. In the past two years, AdaCore worked to promote the use of Ada in the FOSS community, in particular for embedded programming with the "Make with Ada" blog post series, my interview for the Embedded.fm podcase, blog posts on "ARM Community" or the "Make with Ada" competition. In this 45 minutes lecture I will: + give a short introduction of Ada for embedded and how its features (programing by contract, strong typing, representation clauses (hardware mapping), OOP, static compiler checks and optional run-time checks) can help improving the development time, maintenance and quality of FOSS embedded projects; + present the Ada_Drivers_Library project, where we put all those features in practice to develop micro-controller device drivers in Ada; + make a quick getting started demo; + present some of the best projects from the "Make with Ada" competition. 13:00-13:20 - Shared Memory Parallelism in Ada: Load Balancing by Work Stealing by Jan Verschelde - University of Illinois at Chicago Tasking in Ada provides an effective tool for shared memory parallelism. For coarse grained regular parallelism, load balancing works with one single job queue. For finer grained and irregular parallelism, work stealing balances the load with multiple job queues. The programming concepts will be illustrated with examples of algorithms in polyhedral geometry. The demonstrated code belongs to the free and open source PHCpack. 13:30-13:50 - Ada, or How to Enforce Safety Rules at Compile Time by Jean-Pierre Rosen - Adalog This is a real life story of a mixed criticality system, where a proper usage of Ada's features for controlling visibility allowed a provable enforcement of the segregation rules at compile time: any violation would simply not compile. 14:00-14:50 - Contract-based Programming: a Route to Finding Bugs Earlier by Jacob Sparre Andersen - JSA Research & Innovation Contract-based programming is a software development technique, where you include assertions of program properties as a part of the compiled source text. In the strict form, the assertions are checked at compile-time, but in this presentation I will focus on the more common, less strict, form, where at least some of the assertions aren't checked until run-time. Ada gives us a lot of help, so we can write the our assertions about the program properties once, and then have the compiler insert actual run-time checks wherever there is a possibility that the assertion is violated. This presentation will focus on how we can write these contracts in Ada in a way that make them effective at ensuring that our source text does what we intend it to and allow the compiler to generate efficient checks of the assertions. The intended audience is anybody with enough programming experience to know concepts like types, encapsulation and packages. Having tried to write Ada before will be a benefit, but it isn't a requirement. 15:00-15:50 - SPARK Language: Historical Perspective & FOSS Development by Yannick Moy - AdaCore SPARK started in 1987 as a restricted subset of Ada 83, defined by its own grammar rules. The overhaul of the language and toolset starting in 2010 increased greatly the language subset, dropping in effect the need for separate grammar rules. Since then, SPARK has progressively adopted most of the Ada features, to a point where the last remaining non-SPARK significant Ada feature today is pointers. We have started work on including safe pointers in SPARK, borrowing the ideas of pointer ownership from Rust. So one can legitimately wonder what difference remains between SPARK and Ada. In the first part of this talk, I will lay out the principles that have guided us through the inclusion of language features in SPARK since 2010. I will describe in particular the trade-offs that we considered for support of important features like recursion, types with non-static constraints, generics, object orientation, concurrency. I will give a preview of the support envisioned for pointers in SPARK. So that the distinction between Ada and SPARK appears clearly: it's not about quantity, it's about safety and security. In the second part of this talk, I will give a tour of FOSS projects which are using SPARK today: Aida, Certyflie, Muen, PolyORB-HI, Pulsar, StratoX, Tokeneer. For each one, I will describe at which level of assurance SPARK is used, with how much efforts and for which benefits. Then I will focus on the largest one, Muen, an x86/64 separation kernel for high assurance. Finally, we will look at the resources which are available to the community for FOSS development in SPARK. 16:00-16:50 - Writing REST APIs with OpenAPI and Swagger Ada by Stephane Carrez - Bouygues Telecom The OpenAPI specification is an emerging specification to describe RESTful web services. The Swagger suite is a collection of tools to write such API descriptions and have the code generated in more than 29 languages, including Ada. The presentation will describe how to write a REST operation with OpenAPI, generate the Ada client with Swagger Codegen and use the generated code to interact with the server. We will also describe the generated Ada server code and how to implement the server side and run a complete REST server. 17:00-17:50 - Browser-as-GUI and Web Applications with Gnoga by Jeffrey R. Carter - Atos Belgium Gnoga is an all-Ada library that uses the features of modern web browsers as a portable GUI. The program may run on the same computer as the browser, or on a server over the internet. Participants will be introduced to using Gnoga to create such programs. A singleton version of the Random_Int demo program will be used to demonstrate the use of Gnoga as the GUI for a program running on the same computer as the browser. Random_Int is a very simple program that generates (pseudo)random integers in a user-specified range. The Chattanooga demo is a text-chat server program allowing people to chat on line. It demonstrates the use of Gnoga to create web applications. A secure version of Chattanooga can sometimes be accessed at https://chat.gnoga.com/. (The certificate for this site has expired, but can still be used to ensure encrypted communication with the site.) After installing Gnoga, the demos are available in the demo directory. More information about Gnoga may be found at gnoga.com, especially the Tools page. 18:00-18:20 - Easy Ada Tooling with Libadalang by Raphaël Amiard and Pierre-Marie De Rodat - AdaCore A lot of developers consider that a language is only as good as the tooling that accompanies it. Ada has been conceived as a language pretty well amenable to tooling, yet the tooling offer besides AdaCore's is not very extensive, at least when compared to other languages like Java, despite the existence of the ASIS project (Ada Semantic Interface Specification). One of Libadalang's aims is to help solve that by providing an easy way to build new Ada-aware tools. Libadalang is a library that allows the user to query information about Ada code, including: + Syntactic information. Query the token stream, the syntax tree, find syntax patterns, etc. + Semantic information, such as which declaration an identifier references, the type of expressions, all references to a declaration, etc. In addition, one of the aims is to allow the users to modify the trees, and propagate the changes to the source. This talk will go over what Libadalang can already do today, how it differs from ASIS, future plans for the library, and potential exciting use cases. 18:30-19:00 - Informal Discussions & Closing Informal discussion on ideas and proposals for future events. ------------------------------- More information on Ada DevRoom ------------------------------- Speakers bios, pointers to relevant information, links to the FOSDEM site, etc., are available on the Ada-Belgium site at <http://www.cs.kuleuven.be/~dirk/ada-belgium/events/18/180203-fosdem.html> We invite you to attend some or all of the presentations: they will be given in English. Everybody interested can attend FOSDEM 2018; no registration is necessary. We hope to see many of you there! Dirk Craeynest, FOSDEM Ada DevRoom coordinator Dirk.Craeynest(a)cs.kuleuven.be (for Ada-Belgium/Ada-Europe/SIGAda/WG9)

1 0

iWAPT 2018 :: CALL FOR PAPERS (extended: Jan 29, 2018 (AOE))
by Boyana Norris 10 Jan '18

10 Jan '18

The deadline of submission is extended to Jan 29, 2018 (AOE). ============================================================== :: iWAPT 2018 :: CALL FOR PAPERS The 13th International Workshop on Automatic Performance Tuning http://www.iwapt.org/2018/ <http://www.iwapt.org/2018/> May 25, 2018 at JW Marriott Parq Vancouver, Vancouver, British Columbia, Canada The iWAPT 2018 will be held in conjunction with IPDPS 2018. http://www.ipdps.org/ <http://www.ipdps.org/> =============================================================== # Important dates Submission closes: Monday, Jan 29, 2018 (AOE) Author notification: Monday, Feb 26, 2018 Camera-ready: Friday, Mar 16, 2018 Workshop: Friday, May 25, 2018 Submission site: https://easychair.org/conferences/?conf=iwapt2018 <https://easychair.org/conferences/?conf=iwapt2018> (If you do not have an EasyChair account, please create it first.) # About iWAPT iWAPT (International Workshop on Automatic Performance Tuning) is a series of workshops that focus on research and techniques that address performance sustainability issues. It provides an opportunity for researchers and users of automatic performance tuning (AT) technologies to exchange ideas and experiences while applying such technologies to improve the performance of algorithms, libraries, and applications; in particular, on cutting edge computing platforms. The full-day workshops consist of invited keynote speaker presentations and 30-minute presentations of well-founded papers. Occasionally, exploratory papers are also accepted. Topics of interest include performance modeling, adaptive algorithms, autotuned numerical algorithms, libraries and scientific applications, empirical compilation, automated code generation, frameworks and theories of AT and software optimization, autonomic computing, and context-aware computing. We are particularly interested in autotuning and its relationship to the following areas (the list is not exhaustive): * Machine-adaptive algorithms * Automatic program generation * Performance analysis and modeling * Adaptive numerical algorithms and libraries * Multi- and manycore systems, heterogeneous architectures challenges * Compilation strategies (e.g. iterative and empirical compilers) * Programming models * Runtime systems * Empirical search heuristics * Power- and/or energy-aware computing # Paper Submission guidelines Submitted manuscripts may not exceed ten (10) single-spaced double-column pages using 10-point size font on 8.5x11 inch pages (IEEE conference style), including figures, tables, and references. See style templates for details: LaTex Package (ZIP): http://www.ipdps.org/templates/IEEECS_CPS_LaTeX_Letter_2Col.zip <http://www.ipdps.org/templates/IEEECS_CPS_LaTeX_Letter_2Col.zip> Word Template (ZIP): http://www.ipdps.org/templates/IEEECS_CPS_8.5x11x2.zip <http://www.ipdps.org/templates/IEEECS_CPS_8.5x11x2.zip> Files should be submitted by following the instructions available at the EasyChair portal (http://www.easychair.org/conferences/?conf=iwapt2018 <http://www.easychair.org/conferences/?conf=iwapt2018>). Authors must ensure that electronically submitted files are formatted in PDF format for 8.5x11 inch paper. Accepted submissions will be included in the IPDPS proceedings. Submission implies the willingness of at least one of the authors to register and present the paper. The authors may use PDF eXpress, the IEEE’s online file converter and validation tool, to complete the final paper submission process. More details about camera-ready will also be announced when notification of the paper. # Program Committee PC Chair: Jakub Kurzak (University of Tennessee, USA) PC Vice-Chair: Akihiro Fujii (Kogakuin University, Japan) Ray-Bing Chen, National Cheng Kung University, Taiwan I-Hsin Chung, IBM T. J. Watson Research Center, USA Björn Franke, University of Edinburgh, UK Takeshi Fukaya, Hokkaido University, Japan Michael Gerndt, Technische Universitaet Muenchen, Germany Torsten Hoefler, ETH Zurich, Switzerland Jeremy Johnson, Drexel University, USA Takahiro Katagiri, Nagoya University, Japan Che-Rung Lee, National Tsing Hua University, Taiwan Osni Marques, Lawrence Berkeley National Laboratory, USA Daichi Mukunoki, RIKEN AICS, Japan Boyana Norris, University of Oregon, USA Satoshi Ohshima, The University of Tokyo, Japan Louis-Noel Pouchet, Ohio State University, USA Daisuke Takahashi, University of Tsukuba, Japan Hiroyuki Takizawa, Tohoku University, Japan Teruo Tanaka, Kogakuin University, Japan Richard Vuduc, Georgia Institute of Technology, USA Weichung Wang, National Taiwan University, Taiwan Yusaku Yamamoto, The University of Electro-Communications, Japan # Organizing Committee * (General Chair) Osni Marques, LBNL, USA * (General Vice-Chair) Reiji Suda, The University of Tokyo, Japan * Toshiyuki Imamura (Riken AICS, Japan) * Takeshi Iwashita (Hokkaido University, Japan) * Takahiro Katagiri (University of Tokyo, Japan) * Markus Pueschel (ETH Zurich, Switzerland) * Rich Vuduc (Georgia Tech, USA) * Yusaku Yamamoto (The University of Electro-Communications, Japan) * Weichung Wang (National Taiwan University, Taiwan) # Contact iwapt2018(a)iwapt.org <mailto:iwapt2018@iwapt.org> =============================================================== -- Boyana Norris https://ix.cs.uoregon.edu/~norris

1 0

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

10 Jan '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: January 28, 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 January 28, 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 Ann Gordon-Ross, University of Florida, USA Giuliano Laccetti, University of Naples, Italy Pablo Moscato, University of Newcastle, Australia 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

Gentle Reminder: Workshop on Sample size determination using R and SPSS
by Dev Rajput 10 Jan '18

10 Jan '18

It is to inform you that the *Department of Biostatistics, Swami Rama Himalayan University, Dehradun, Uttarakhand *will be organizing Workshop Series for the academic year 2017-2018 followed by *Workshop* *on Sample size determination using R and SPSS* on 22th to 25th January 2017 at Department of Biostatistics, Swami Rama Himalayan University, Dehradun. In an effort to enhance the competence of budding researchers (postgraduate students and faculty) This Workshop organized by the department will enable the participants, to know the application of Biostatistics and Sample size determination with the help of R & SPSS. · *Offline Registration:* You can also apply through offline on department email hod.biostats(a)srhu.edu.in and demand draft will be made in favor of “Swami Rama Himalayan University” payable at State Bank of India, Jolly Grant, Dehradun Branch (Code: 10580) to The Registrar, Swami Rama Himalayan University, Swami Ram Nagar, P.O. Doiwala, Dehradun-248140 Uttarakhand. · *The online Registration link is given below:* *http://www.srhu.edu.in/conferences/667-biostatistics-workshop-series-2017-18.html* <http://www.srhu.edu.in/conferences/667-biostatistics-workshop-series-2017-1…> *Kindly circulate this information to faculties and postgraduate students of your respective department.* ------------------------------------------------------------ ------------------------------------------------------------ -------------------- *Shubham Pandey* Organizing Chairperson, Asstt. Professor & Head, Department of Biostatistics, Swami Rama Himalayan University Dehradun, Uttarakhand, India Ph: *8400192344,* Landline:* 0135-2471545 * *For registration, contact: * *Ankit Singh* Organizing Secretary Department of Biostatistics, Swami Rama Himalayan University Dehradun, Uttarakhand, India Contact No: *7831839434, **8896974756, 7007027833, 9560750241* Email: hod.biostats(a)srhu.edu.in ankitbiostat(a)gmail.com

1 0

CFP META'18 @Marrakech
by El-ghazali Talbi 07 Jan '18

07 Jan '18

Apologies for cross-posting. Appreciate if you can distribute this CFP to your network. ********************************************************************** META'2018 International Conference on Metaheuristics and Nature Inspired Computing 27-31 Oct 2018 Marrakech, Morocco http://meta2018.sciencesconf.org/ ********************************************************************** META is one of the main event focusing on the progress of the area of metaheuristics and their applications. As in previous editions, META’2018 will provide an opportunity to the international research community in metaheuristics to discuss recent research results, to develop new ideas and collaborations, and to meet old friends and make new ones in a friendly and relaxed atmosphere. All selected papers will be published in the conference proceedings. Following the tradition, selected long papers will be published in a postponed Springer book as in META'2014 and META'2016. At least, 2 special special issues in ISI and SCOPUS journals are also confirmed: - Special issue in "Optimization and learning" in Wiley Journal ITOR - International Journal on Operational Research (deadline for submission: 31 May 2018) - Special issue in "Metaheuristics for 4.0 industry" in Elsevier Journal Swarm-and-Evolutionary-Computation (deadline for submission: 31 May 2018) META'2018 welcomes presentations that cover any aspects of metaheuristic research such as new algorithmic developments, high-impact applications, new research challenges, theoretical developments, implementation issues, and in-depth experimental studies. META'2018 strives for a high-quality program that will be completed by a number of invited talks, tutorials, workshops and special sessions. The scope of the META’2018 conference includes, but is not limited to: * Local search, tabu search, simulated annealing, VNS, ILS, … * Evolutionary algorithms, swarm optimization, scatter search, … * Emergent nature inspired algorithms: quantum computing, artificial immune systems, bee colony, DNA computing, … * Parallel algorithms * Hybrid methods with machine learning, game theory, mathematical programming, constraint programming, co-evolutionary, … * Application to: logistics and transportation, networks, scheduling, data mining, engineering design, energy, cloud, bio-medical, … * Theory of metaheuristics, landscape analysis, convergence, problem difficulty, very large neighbourhoods, … * Multi-objective optimization, bi-level optimization * Dynamic optimization, problems with uncertainty, … * Parameter tuning (static, dynamic, adaptive, self-adaptive) * Hyper-heuristics, cross-domain metaheuristics * Software frameworks for metaheuristics and nature inspired computing Submission of papers: ____________________ - Submission of papers via the website S1) Short papers: Extended abstracts of work-in-progress and position papers of a maximum of 3 pages. S2) Long papers: Original research contributions of a maximum of 10 pages. S3) Journal papers: High-quality manuscripts that have recently, within the last year, been submitted or accepted for journal publication. For this special case, the submission should have the same title that the accepted work, the abstract AND the complete reference of the work. - Proceedings of the conference will be provided. Selected papers of type S1 and S2 will be published in a Springer book and international journals (ISI journals). - Predefined styles are available on the website http://meta2018.sciencesconf.org/ - Proposals for invited sessions, workshops and tutorials: Deadline 15th March 2018. contact meta2018(a)sciencesconf.org Important dates _______________ - Submission deadline: April 13, 2018 - Notification of acceptance: May 15, 2018

1 0

IEEE/IFIP International Workshop on Analytics for Network and Service Management - Submission Extension: 26 January 2018 (final)
by Yixin Diao 05 Jan '18

05 Jan '18

Dear colleagues, We have received many individual requests for extensions and we are also interested in ensuring a high quality technical program. Therefore we have decided to extend the paper submission deadline to 26 January 2018. Meanwhile, if possible, please register your paper as soon as you can. This will help us to prepare reviewer assignment earlier and to ensure the review quality. Keep up the good work in finalizing your submissions. We look forward to your paper submissions! Best regards and thanks, AnNet 2018 Workshop Organizers ============================================================================== 3rd IEEE/IFIP International Workshop on Analytics for Network and Service Management (AnNet 2018) In conjunction with the IEEE/IFIP Network Operations and Management Symposium (NOMS) in Taipei, Taiwan on April 23, 2018. http://annet2018.loria.fr Submissions due: January 26, 2018 ============================================================================== The third IEEE/IFIP International Workshop on Analytics for Network and Service Management (AnNet 2018) will be held in conjunction with the IEEE/IFIP Network Operations and Management Symposium (NOMS) in Taipei, Taiwan on April 23, 2018. Following the success of the first two editions of this workshop, the main goal of AnNet is to present research and experience results in the area of data analytics and machine learning for network and service management. Approaches such as statistical analysis, data mining, and machine learning are promising mechanisms to harness the immense stream of operational data and to improve operations and management of IT systems and networks. AnNet 2018 will include original full-papers presentations, a keynote, and short-paper sessions. The workshop attendees will be stimulated to participate in interesting discussions. To this end, short papers describing late-breaking advances and work-in-progress reports from ongoing research and experimental work are also welcome. ----------------------------------------------------------------------- Topics of Interest Authors are invited to submit papers that fall into or are related to one or multiple topic areas listed below: Data Analytics Analysis, modeling and visualization Operational analytics and intelligence Event, log and big data analytics Network traffic analysis Anomaly detection and prediction Crowd sensing Monitoring and measurements for management Predictive and real-time analytics Harnessing social data for management Machine Learning Techniques Supervised, semi-supervised and unsupervised learning Clustering and data mining Reinforcement learning Multi-agent based learning Deep learning Bayesian methods Ensemble methods Cognitive computing Mining spatiotemporal and time series data Network Management Paradigms Autonomous and autonomic networks Fog/edge computing In-network processing Bio-inspired networks and self-management Cognitive and software defined networks Network function virtualization Security, fault, performance and resource management Application Domains Computer networks Mobile ad-hoc and wireless sensor networks Clouds and data centers Virtualized infrastructures Internet of Things Computing and network services IT service management Storage resource management ----------------------------------------------------------------------- Paper Submission Paper submissions must present original, unpublished research or experiences. Only original papers that have not been published or submitted for publication elsewhere can be submitted. Each submission must be written in English, accompanied by a 75 to 200 words abstract that clearly outlines the scope and contributions of the paper. There is a length limitation of 6 pages (including title, abstract, all figures, tables, and references) for regular papers, and 4 pages for short papers describing work in progress. Submissions must be in IEEE 2-column style. Self-plagiarized papers will be rejected without further review. Authors should submit their papers via JEMS: https://jems.sbc.org.br/home.cgi?c=2882 Papers accepted for AnNet 2018 will be included in the conference proceedings, IEEE Xplore, IFIP database and EI Index. IFIP and IEEE reserve the right to remove any paper from the IFIP database and IEEE Xplore if the paper is not presented at the workshop. Awards will be presented to the best paper at the workshop. ----------------------------------------------------------------------- Important Dates Paper Registration: January 26, 2018 Paper Submission Deadline: January 26, 2018 Acceptance Notification: February 28, 2018 Camera-Ready Papers: March 16, 2018 Workshop Date: April 23, 2018 ----------------------------------------------------------------------- Workshop Organization General Chair Yixin Diao, IBM T. J. Watson Research Center, USA TPC Co-Chairs Remi Badonnel, Telecom Nancy, Loria-Inria, France Noriaki Kamiyama, Fukuoka University, Japan Steering Committee Raouf Boutaba, University of Waterloo, Canada Yixin Diao, IBM T. J. Watson Research Center, USA Rolf Stadler, KTH Royal Institute of Technology, Sweden Filip De Turck, Ghent University iMinds, Belgium Mehmet Ulema, Manhattan College, USA Nur Zincir-Heywood, Dalhousie University, Canada ----------------------------------------------------------------------- Please contact us if you have any question about the IEEE/IFIP International Workshop on Analytics for Network and Service Management (AnNet 2018): annet2018tpc(a)gmail.com

1 0

S4ICPS 2018 CfP
by Igor Kotenko 03 Jan '18

03 Jan '18

Call for Papers Special Session “SECURITY FOR INDUSTRIAL CYBER-PHYSICAL SYSTEMS” (S4ICPS 2018) on the 1st IEEE International Conference on Industrial Cyber-Physical Systems (ICPS2018) https://icps2018.net/ https://icps2018.net/special-sessions/ https://icps2018.net/netcat_files/userfiles/callforpapers/SS-ICPS18-8-Secur… Scope of the Special Session: Complexity of cyber-physical security is caused by a dynamic nature of heterogeneous cyber-physical industrial devices securely operating and interacting with elements of a changing physical environment of distributed network, cloud and mobile based solutions. Special Session on "Security for Industrial Cyber-Physical Systems" aims to bring together researchers and practitioners handling techniques, algorithms and protocols for the collection and processing security information in industrial cyber-physical systems, cryptographic protection, authentication, secure information transfer, security analysis, simulation of cyber-physical attacks, visualization of security data and implementation of countermeasures for the protection of information to exchange ideas and to learn the latest developments in this important field. Topics of interest include, but are not limited to: ? Cloud-based cyber-physical security; ? Authentication, authorization and access control in cyber-physical systems; ? Cyber-physical security modeling and simulation; ? Security protocols for cyber-physical systems; ? Big data for cyber-physical security; ? Security evaluation of cyber-physical systems; ? Security of smart home infrastructure; ? Security of robotic complexes; ? Secure infrastructure of railway transport; ? Security of road infrastructure, including road transport management systems; ? Secure infrastructure of the energy and water supply system; ? Secure infrastructure of the mobile communication network; ? Security of Bodynets; ? Security policies in cyber-physical systems; ? Applied cryptography for cyber-physical systems; ? Data mining, machine learning, and bio-inspired approaches for cyber-physical security; ? Risk analysis and risk management for cyber-physical systems; ? Survivability of cyber-physical systems; ? Network and cyber-physical forensics. Submissions Procedure: Prospective participants are requested to electronically submit full papers of their work (6 pages) following the IEEE template and instructions on the conference website http://icps2018.net/. Accepted papers will be published in IEEE proceedings to be included in IEEE-Xplore. Excellent papers may be invited to the IEEE Transaction on Industrial Informatics. Deadlines: Deadline for submission of papers: 31 Jan 2018 Notification of acceptance of papers: 28 Feb 2018 Final manuscripts due: 31 Mar 2018 Session chair Igor V. Kotenko, ivkote(a)comsec.spb.ru, ITMO University, SPIIRAS International Program Committee (Reviewers) for the Special Session Fabrizio Baiardi, baiardi(a)di.unipi.it, University of Pisa, Italy Didier El Baz, elbaz(a)laas.fr, The National Center for Scientific Research (CNRS), France Sergey V. Bezzateev, bsv(a)aanet.ru, ITMO University, Russia Hakima Chaouchi, hakima.chaouchi(a)telecom-sudparis.eu, Telecom Sud Paris, Institut Mines Telecom, France Andrey A. Chechulin, chechulin(a)comsec.spb.ru, St. Petersburg State University of Telecommunications, Russia Yannick Chevalier, yannick.chevalier(a)irit.fr, Paul Sabatier University, Toulouse III, France Miguel Correia, INESC-ID, Instituto Superior Tecnico, Universidade de Lisboa, Portugal Vasily A. Desnitsky, desnitsky(a)comsec.spb.ru, St. Petersburg State University of Telecommunications, Russia Elena V. Doynikova, doynikova(a)comsec.spb.ru, SPIIRAS, ITMO University, Russia Felix Gomez Marmol, University of Murcia, Spain Vladimir Oleshchuk, vladimir.oleshchuk(a)uia.no, University of Agder, Norway Igor B. Parashchuk, parashchuk(a)comsec.spb.ru, Signal Academy, Russia Roland Rieke, roland.rieke(a)gmx.de, Fraunhofer-Institute for Secure Information Technology SIT, Germany Igor B. Saenko, ibsaen(a)comsec.spb.ru, SPIIRAS, Russia Martin Strecker, martin.strecker(a)irit.fr, Paul Sabatier University, Toulouse III, France (TBD)

1 0

CFP-The 2018 IEEE Smart World Congress
by Anna Kobusińska 03 Jan '18

03 Jan '18

----------------CALL FOR PAPERS--------------------- * The 2018 IEEE Smart World Congress * Oct. 8-12, 2018, Guangzhou, China http://www.smart-world.org/2018/cfp.php ---------------------------------------------------------------- The smart world is set to enhance everyday things with abilities of sensation, communication, computation and intelligence so that many tasks and processes could be simplified, more efficient and productive. It consists of numerous “smart things” that can be endowed with different levels/forms of computational intelligence and even capable of thinking. Research on smart world is an emerging research field covering many areas, essential problems and crucial issues in truly building the smart world that benefits humanity, and simultaneously safeguards the natural environment for sustainable development and evolution. The congress invites high quality papers in the broad areas related to ubiquitous intelligence and computing, advanced and trusted computing, scalable computing and communications, cloud and big data, and Internet of people towards the Smart World. Proposals for tutorials, special sessions, workshops, forums, demos, exhibitions are also extremely welcome. *SmartWorld 2018 topics include but are not limited to the following: * – Smart Industry and Manufacture – Smart Home and Furniture – Smart Agriculture and Aquaculture – Smart Appliances and Goods – Smart Materials and Fabric – Smart Wearables and Implants – Smart Environment and Ecosystems – Smart Medicine and Healthcare – Smart Earth/Space System – Smart Elderly/Kiddy Care – Smart Grid and Energy – Smart Foods and Living – Smart Logistics and Retail – Smart Learning and Education – Smart Building and Structure – Smart Disaster Management – Smart Roads and Transportation – Smart Internet of Things – Smart Vehicles and Networks – Smart Sensing, System and Service – Smart Machines and Robots – Smart Computing and Communication */_ _/* IMPORTANT DATES Workshop Proposal: Feb. 8, 2018 Paper Submission Deadline: Apr. 8, 2018 Authors Notification: June 25, 2018 Camera-ready Submission: Aug. 8, 2018 Accepted conference papers will be published by IEEE (IEEE-DL and EI indexed) in Conference Proceedings. Best Paper Awards will be presented to high quality papers. Selected papers will be recommended to prestige journal special issues.

1 0

Deadline Approaching - IoTBDS 2018 (3rd International Conference on Internet of Things, Big Data and Security) Extended Deadline
by Anna Kobusińska 03 Jan '18

03 Jan '18

CALL FOR PAPERS 3rd International Conference on Internet of Things, Big Data and Security Funchal, Madeira / Portugal March 19 - 21, 2018 http://www.iotbds.org/ https://www.facebook.com/ES2014ECs2015 LATE-BREAKING SUBMISSION DEALINE OF POSITION PAPERS: *JANUARY 4,2018 *Dear Colleagues: We cordially invite you to share your latest research results at the 2018 IoTBDS Conference. Due to many requests, the regular papers submission deadline of this conference has been extended --------------------------- CALL FOR PAPERS --------------------------- The internet of things (IoT) is a platform that allows a network of devices (sensors, smart meters, etc.) to communicate, analyze data and process information collaboratively in the service of individuals or organizations. The IoT network can generate large amounts of data in a variety of formats and using different protocols which can be stored and processed in the cloud. The conference looks to address the issues surrounding IoT devices, their interconnectedness and services they may offer, including efficient, effective and secure analysis of the data IoT produces using machine learning and other advanced techniques, models and tools, and issues of security, privacy and trust that will emerge as IoT technologies mature and become part of our everyday lives. Big Data (BD) has core values of volume, velocity, variety and veracity. After collecting much data from IoT, BD can be jointly used with machine learning, AI, statistical and other advanced techniques, models and methods, which can create values for people and organizations adopting it, since forecasting, deep analysis and analytics can help identify weaknesses and make improvements based on different analysis. Maintaining a high level of security and privacy for data in IoT are crucial and we welcome recommendations, solutions, demonstrations and best practices for all forms of security and privacy for IoT and BD. Conference Areas: 1 - Big Data Research 2 - Emerging Services and Analytics 3 - Internet of Things (IoT) Fundamentals 4 - Internet of Things (IoT) Applications 5 - Big Data for Multi-discipline Services 6 - Security, Privacy and Trust - IoT Technologies ---------------------------- PUBLICATION ---------------------------- All papers presented at the congress venue will also be available at the SCITEPRESS Digital Library. Proceedings will be submitted for indexation by: DBLP, Thomson-Reuters Conference Proceedings Citation Index, INSPEC, EI and SCOPUS A short list of presented papers will be selected and their revised and extended versions will be published in the *Special Issue of Journal of Grid Computing (JGC)*. Applied Soft Computing fast track Other special issues in the high quality journals like FGCS are also being discussed. ---------------------------- IMPORTANT DATES ---------------------------- Position Papers Paper Submission: January 4, 2017 Authors Notification: January 22, 2018 Camera Ready and Registration: January 31, 2018 Workshops Paper Submission: January 11, 2018 Authors Notification: January 25, 2018 Camera Ready and Registration: February 2, 2018 Doctoral Consortium Paper Submission: January 15, 2018 Authors Notification: January 26, 2018 Camera Ready and Registration: February 7, 2018 Tutorials Tutorial Proposal: January 30, 2018 Demos Demo Proposal: January 30, 2018 Panels Panel Proposal: January 30, 2018 Open Communications Paper Submission: January 15, 2018 Authors Notification: January 26, 2018 Camera Ready and Registration: February 7, 2018 Forums Paper Submission: January 15, 2018 Authors Notification: January 26, 2018 Camera Ready and Registration: February 7, 2018 ---------------------------- KEYNOTE SPEAKERS ---------------------------- Tobias Hoellwarth, EuroCloud Europe, Austria Péter Kacsuk, MTA SZTAKI, Hungary --------------------------- WORKSHOPS: --------------------------- WICSPIT 2018:Workshop on Innovative CyberSecurity and Privacy for Internet of Things http://iotbds.org/Workshops.aspx#WICSPIT IoTforeHealth 2018: Workshop on Big Data Analytics and IoT for Smarter Healthcare http://iotbds.org/Workshops.aspx#IoTforeHealth SCBDADM 2018: Workshop on Smart Cities, Big Data Analytics and Digital Manufacturing: Inspiring New Organisational forms and Democratising the Means of Design Innovation and Production http://iotbds.org/Workshops.aspx#SCBDADM ------------------------------- Organizing Committees ------------------------------- CONFERENCE CHAIR Victor Chang, Xi'an Jiaotong-Liverpool University, China PROGRAM CO-CHAIRS Víctor Méndez Muñoz, Universitat Autònoma de Barcelona, UAB, Spain Gary Wills, University of Southampton, United Kingdom Robert Walters, University of Southampton, United Kingdom Farshad Firouzi, IMEC/Katholieke Univ. Leuven, Germany PUBLICITY CHAIR Anna Kobusinska, Poznan University of Technology, Poland SCIENTIFIC ADVISORY BOARD Roy Cecil, IBM Portugal, Portugal Francisco Herrera, University of Granada, Spain Schahram Dustdar, Vienna University of Technology, Austria Hamido Fujita, Iwate Prefectural University, Japan Mohammed Atiquzzaman, University of Oklahoma, United States Chung-Sheng Li, Accenture, United States KEYNOTE SPEAKERS Tobias Hoellwarth, EuroCloud Europe, Austria Péter Kacsuk, MTA SZTAKI, Hungary Please visit IoTBDS 2018 http://www.iotbd.org for the complete listing of organizing committee and TPC members.

1 0