October 2019 - computational.science

Call for Papers: ScalA@SC 2017 - Papers due August 28
by Engelmann, Christian 04 Nov '20

04 Nov '20

We apologize if you receive multiple copies of this notice. ----------------------------------------------------------------------------- ScalA’17: 8th Workshop on Latest Advances in Scalable Algorithms for Large-Scale Systems held in conjunction with the SC17: The International Conference on High Performance Computing, Networking, Storage and Analysis in cooperation with ACM SIGHPC November 13, 2017, Denver, CO, USA <http://www.csm.ornl.gov/srt/conferences/Scala/2017> Novel scalable scientific algorithms are needed in order to enable key science applications to exploit the computational power of large-scale systems. This is especially true for the current tier of leading petascale machines and the road to exascale computing as HPC systems continue to scale up in compute node and processor core count. These extreme-scale systems require novel scientific algorithms to hide network and memory latency, have very high computation/communication overlap, have minimal communication, and have no synchronization points. Scientific algorithms for multi-petaflop and exa-flop systems also need to be fault tolerant and fault resilient, since the probability of faults increases with scale. Resilience at the system software and at the algorithmic level is needed as a crosscutting effort. Finally, with the advent of heterogeneous compute nodes that employ standard processors as well as GPGPUs, scientific algorithms need to match these architectures to extract the most performance. This includes different system-specific levels of parallelism as well as co-scheduling of computation. Key science applications require novel mathematical models and system software that address the scalability and resilience challenges of current- and future-generation extreme-scale HPC systems. Submission Guidelines Authors are invited to submit manuscripts in English structured as technical papers not exceeding 8 letter size (8.5in x 11in) pages including figures, tables, and references using the ACM format for conference proceedings. Submissions not conforming to these guidelines may be returned without review. Reference style files are available at <http://www.acm.org/sigs/publications/proceedings-templates>. All manuscripts will be reviewed and judged on correctness, originality, technical strength, and significance, quality of presentation, and interest and relevance to the workshop attendees. Submitted papers must represent original unpublished research that is not currently under review for any other conference or journal. Papers not following these guidelines will be rejected without review and further action may be taken, including (but not limited to) notifications sent to the heads of the institutions of the authors and sponsors of the conference. Submissions received after the due date, exceeding length limit, or not appropriately structured may also not be considered. At least one author of an accepted paper must register for and attend the workshop. Authors may contact the workshop program chair for more information. Papers should be submitted electronically at: <https://easychair.org/conferences/?conf=scala17>. Full papers will be published with the SC'17 workshop proceedings in the ACM Digital Library and IEEE Xplore. Selected papers will be invited for an extended version in a special issue of the Journal of Computational Science (JoCS). Important Dates - Full paper submission: August 28, 2017 - Notification of acceptance: September 11, 2017 - Final paper submission (firm): October 9, 2017 - Workshop/conference early registration: TBD - Workshop: November 13, 2017 Topics of interest include, but are not limited to: - Novel scientific algorithms that improve performance, scalability, resilience, and power efficiency - Porting scientific algorithms and applications to many-core and heterogeneous architectures - Performance and resilience limitations of scientific algorithms and applications at scale - Crosscutting approaches (system software and applications) in addressing scalability challenges - Scientific algorithms that can exploit extreme concurrency (e.g. 1 billion for exascale by 2020) - Naturally fault tolerant, self-healing, or fault oblivious scientific algorithms - Programming model and system software support for algorithm scalability and resilience Workshop Chairs - Vassil Alexandrov, Barcelona Supercomputing Center, Spain - Al Geist, Oak Ridge National Laboratory, USA - Jack Dongarra, University of Tennessee, Knoxville, USA Workshop Program Chair - Christian Engelmann, Oak Ridge National Laboratory, USA Program Committee - Vassil Alexandrov, Barcelona Supercomputing Center, Spain - Hartwig Anzt, University of Tennessee, Knoxville, USA - Rick Archibald, Oak Ridge National Laboratory, USA - Franck Cappello, Argonne National Laboratory and University of Illinois at Urbana Champaign, USA - Zizhong Chen, University of California, Riverside, USA - James Elliott, Sandia National Laboratories, USA - Nahid Emad, University of Versailles SQ, France - Christian Engelmann, Oak Ridge National Laboratory, USA - Wilfried Gansterer, University of Vienna, Austria - Michael Heroux, Sandia National Laboratories, USA - Kirk E. Jordan, IBM T.J. Watson Research, USA - Dieter Kranzlmueller, Ludwig-Maximilians-University Munich, Germany - Ignacio Laguna, Lawrence Livermore National Laboratory, USA - Piotr Luszczek, University of Tennessee, Knoxville, USA - Michael Mascagni, Florida State University, USA - Ron Perrot, University of Oxford, UK - Yves Robert, ENS Lyon, France - Stuart Slattery, Oak Ridge National Laboratory, USA - Keita Teranishi, Sandia National Laboratories, USA -- Christian Engelmann, Ph.D. R&D Staff Scientist Computer Science Research Group Computer Science and Mathematics Division Oak Ridge National Laboratory Mail: P.O. Box 2008, Oak Ridge, TN 37831-6173, USA Phone: +1 (865) 574-3132 / Fax: +1 (865) 576-5491 e-Mail: engelmannc(a)ornl.gov / Home: www.christian-engelmann.info

3 28

[Program available!] - CFP: 14th Workflows in Support of Large-Scale Science Workshop
by Ilia 31 Oct '19

31 Oct '19

Apologies if you receive multiple copies of this email! ________________________________ ********************* WORKS 2019 Workshop********************** 14th Workflows in Support of Large-Scale Science Workshop http://works.cs.cardiff.ac.uk/ Sunday 17 November 2019, 9 a.m. - 5:30 p.m., Denver, CO Room 708 Held in conjunction with SC19, http://sc19.supercomputing.org/ ************************************************************************** Call For Participation The program of the 14th Workflows in Support of Large-Scale Science (WORKS) Workshop is now available (http://works.cs.cardiff.ac.uk/program.php) Program 9:00—9:10 Welcome. Sandra Gesing, Rafael Ferreira da Silva 9:10—10:00 Keynote: Priority Research Directions for In Situ Data Management: Enabling Scientific Discovery from Diverse Data Sources. Tom Peterka 10:00—10:30Coffee Break Session: “Provenance” 10:30—11:00Provenance Data in the Machine Learning Lifecycle in Computational Science and Engineering. Renan Souza, Leonardo Azevedo, Vítor Lourenço, Elton Soares, Raphael Thiago, Rafael Brandão, Daniel Civitarese, Emilio Brazil, Marcio Moreno, Patrick Valduriez, Marta Mattoso, Renato Cerqueira and Marco Netto Session:“Performance Analysis” 11:00–11:30 A Codesign Framework for Online Data Analysis and Reduction. Kshitij Mehta, Bryce Allen, Matthew Wolf, Jeremy Logan, Eric Suchyta, Jong Choi, Keichi Takahashi, Igor Yakushin, Todd Munson, Ian Foster and Scott Klasky 11:30—12:00 Top-Down Performance Analysis Methodology for Workflows: Tracking Performance Issues from Overview to Individual Operations. Ronny Tschueter, Christian Herold, William Williams, Maximilian Knespel and Matthias Weber 12:00—12:15 Data-Aware and Simulation-Driven Planning of Scientific Workflows on IaaS Clouds. Tchimou N'Takpé, Jean Edgar Gnimassoun, Souleymane Oumtanaga and Frederic Suter 12:15—12:30Exploration of Workflow Management Systems Emerging Features from Users Perspectives. Ryan Mitchell, Loïc Pottier, Steve Jacobs, Rafael Ferreira da Silva, Mats Rynge, Karan Vahi and Ewa Deelman 12:30—14:00 Lunch (On your own) 14:00—14:30Incorporating Scientific Workflows in Computing Research Processes. Shantenu Jha, Scott Lathrop, Jarek Nabrzyski, Lavanya Ramakrishnan Session: “Workflow Applications I” 14:30—15:00 Comparing GPU Power and Frequency Capping: A Case Study with the MuMMI Workflow. Tapasya Patki, Zachary Frye, Harsh Bhatia, Francesco Di Natale, James Glosli, Helgi Ingolfsson and Barry Rountree 15:00—15:30 Coffee Break Session: “Workflow Applications II” 15:30—15:45 Inter-Job Scheduling for High-Throughput Material Screening Applications. Zhihui Du, Xinning Hui, Yurui Wang, Jun Jiang, Jason Liu, Baokun Lu and Chongyu Wang 15:45—16:00 Empowering Agroecosystem Modeling with HTC Scientific Workflows: The Cycles Model Use Case. Rafael Ferreira da Silva, Rajiv Mayani, Yuning Shi, Armen R. Kemanian, Mats Rynge and Ewa Deelman Session: “Heterogeneous Architectures” 16:00—16:30 A performance comparison of Dask and Apache Spark for data-intensive neuroimaging pipelines. Mathieu Dugré, Valérie Hayot-Sasson and Tristan Glatard 16:30—17:00On a Parallel Spark Workflow for Frequent Itemset Mining Based on Array Prefix-Tree. Xinzheng Niu, Mideng Qian, Chase Wu and Aiqin Hou 17:00—17:30 Panel: TBA

1 0

CFP: The 20th IEEE/ACM International Symposium on Cluster, Cloud and Internet Computing (CCGrid 2020)
by Bahman Javadi 28 Oct '19

28 Oct '19

===================================================================== The 20th IEEE/ACM International Symposium on Cluster, Cloud and Internet Computing (CCGrid 2020) May 11-14, 2020, Melbourne, Australia Website: http://cloudbus.org/ccgrid2020/ ===================================================================== Call for Papers Tremendous advances in processing, communication and systems/middle-ware technologies are leading to new paradigms and platforms for computing, ranging from computing Clusters to widely distributed Clouds and emerging Internet computing paradigms such as Fog/Edge Computing for Internet of Things (IoT)/Big Data applications. CCGrid is a series of very successful conferences, sponsored by the IEEE Computer Society Technical Committee on Scalable Computing (TCSC) and ACM (Association for Computing Machinery), with the overarching goal of bringing together international researchers, developers, and users and to provide an international forum to present leading research activities and results on a broad range of topics related to these platforms and paradigms and their applications. The conference features keynotes, technical presentations, posters, workshops, tutorials, as well as the SCALE challenge featuring live demonstrations and the ICFEC 2020 conference. In 2020, CCGrid will return to Melbourne, Australia, to celebrate its 20th anniversary. CCGrid 2020 will have a special focus on three important issues that are significantly influencing all aspects of Cluster, Cloud, and Internet computing: Adaptive Elastic Computing, Green Computing, and Cyber-Physical Computing. Topics of interest include, but are not limited to: Internet Computing Frontiers: Edge, Fog, Serverless, Lambda, Streaming, etc. More decentralized approaches to cloud computing. Edge/fog/mist computing, sensor data streaming and computation on the edges of the network. Function as a Service (Faas), Backend as a Service (BaaS), serverless computing, lambda computing. Architecture, Networking, Data Centers: Service oriented architectures. Utility computing models. IaaS, PaaS, SaaS, *aaS paradigms. Service composition and orchestration. Micro-datacenter, cloudlet, edge, or fog computing infrastructure. Virtualized hardware: GPUs, tensor processing units, FPGAs. Storage and I/O Systems: Distributed storage, cloud storage, Storage as a Service, data locality techniques for in-memory processing, storage in the edge. Programming Models and Runtime Systems: Programming models, languages, systems and tools/environments. Virtualization, containers, and middleware technologies. Actors, agents, programming decentralized computing systems. Resource Management and Scheduling: Resource allocation algorithms, profiling, modeling. Cluster, cloud, and internet computing scheduling and meta-scheduling techniques. Performance Modelling and Evaluation: Performance models. Monitoring and evaluation tools. Analysis of system/application performance. Cyber-Security and Privacy: Cloud security and trust. Access control. Data privacy and integrity. Regulation. Sustainable and Green Computing: Environment friendly computing ecosystems. Hardware/software/application energy efficiency. Power, cooling and thermal awareness. Applications: Data Science, Artificial Intelligence, Cyber-Physical Systems, etc. Applications to real and complex problems in science, engineering, business and society. User studies. Experiences with large-scale deployments systems and data science applications. Distributed AI/Machine Learning on the cloud. Data streaming analytics for intelligent transportation systems. ------------------------------------------------------------------- Chairs and Committees ------------------------------------------------------------------- General Chair: Rajkumar Buyya, University of Melbourne, Australia. General Vice Chairs: Dhabaleswar Panda, Ohio State University, USA Jin Hai, Huazhong University of Science and Technology, China Massimo Villari, The University of Messina, Italy Program Committee Co-Chairs: Carlos A Varela, RPI, USA Laurent Lefevre, INRIA, France Workshops Co-Chairs: George Pallis, The University of Cyprus, Cyprus Borja Sotomayor, The University of Chicago, USA Doctoral Symposium Chairs : Anne-Cecile Orgerie, Inria, France Ivan Rodero, The State University of New Jersey, USA Posters Co-Chairs : Hari Subramoni, Ohio State University, USA Joanna Kolodziej, National Research Institute (NASK), Poland Student Travel Awards Chair: Lena Mashayekhy, University of Delaware, USA SCALE Challenge Chair : Yogesh Simmhan, Indian Institute of Science, India Research/Product Demonstrations Chairs : Rodrigo Calheiros, Western Sydney University, Australia Proceedings Co-Chair : Omer Rana, Cardiff University, UK Adel N. Toosi, Monash University, Australia Publicity Co-Chairs: Jithin Jose, Microsoft, USA Stefan Schulte, Vienna University of Technology, Austria Bahman Javadi, Western Sydney University, Australia Mohsen Amini, The University of Louisiana at Lafayette, USA Ching-Hsien Hsu, National Chung Cheng University, Taiwan Carlos Westphall, Federal University of Santa Catarina, Brazil Cyber Chair : Mohammad Goudarzi, The University of Melbourne, Australia Important Dates Paper Due: 10 December 2019 Acceptance Notification: 30 January 2020 Camera Ready Papers Due: 25 February 2020 =====================================================================

1 0

WSCG 2020 - CALL for PAPERS - 28 .Conference on Computer Graphics, Visualization and Computer Vision
by Prof. Ing. Vaclav Skala, CSc. 27 Oct '19

27 Oct '19

TO: computational.science(a)lists.iccsa.org From Skala - Call for Papers CfP - 28. WSCG 2020 Conf. on Graphics, Visualization & Computer Vision >> Apologies for duplicates if any >> To be REMOVED from the list REPLY to: mailto:skala@kiv.zcu.cz?subject=WSCG%20REMOVE >> Sent via: WSCGconf(a)gmail.com Call for Papers --------------- WSCG 2020 - 28. Int. Conf. on Computer Graphics, Visualization and Computer Vision 2020 Pilsen close to Prague, Czech Republic http://www.wscg.eu http://www.wscg.cz Conference rate: CORE B, Qualis B1, ERA B ------------------ WSCG 2020 (held annually at Pilsen [Plzen]-the CITY of BEER-since 1992) --------------- 28. Int. Conf. on Computer Graphics, Visualization and Computer Vision 2020 http://www.wscg.eu – main page of WSCG http://www.wscg.cz – WSCG 2020 page When: May 18 – 22, 2020 Where: Primavera Congress Center, Pilsen [Plzen] (the City of Beer), close to Prague, Czech Republic approx. 70 mins. from the Prague Airport by public transport > Proposals for workshops and special session are welcome. Important dates & Submission: ----------------------------- December 10, 2019 - Workshops/Special sessions proposals (via e-mail) January 10, 2020 - Abstract (recommended) (via submission server only) January 31, 2020 - Full, Short, Poster papers (via submission server only) May 18 – 22, 2020 - venue Proceedings will be published in Computer Science Research Notes (ISSN 2464-4617). The best selected papers will be published in the Journal of WSCG (ISSN 1213-6972). >> "Pay to publish" strategy submission is NOT acceptable. << >> At least one author has to present the paper at the conference. << >> Proceedings will be made after the conference << Recent publications available via http://wscg.zcu.cz/DL/wscg_DL.htm - repository since 1992. Accepted workshops/sessions: - Meshless methods in Computer Graphics and Visualization - Other agreements pending - still possibile a proposal submission Conference organizer & Chair --------------------------- Prof. Vaclav Skala Contact: http://www.VaclavSkala.eu, skala(a)kiv.zcu.cz subject: WSCG 2020 c/o University of West Bohemia, Faculty of Applied Sciences Dept. of Computer Science and Engineering, Univerzitni 8, CZ 30614, Plzen, Czech Republic ---------------- To be REMOVED from the list: mailto:skala@kiv.zcu.cz?subject=WSCG%20REMOVE or REPLY to this mail with this email address in the text to skala(a)kiv.zcu.cz with the subject to WSCG REMOVE (DO NOT REMOVE the @mail address in the mail we sent to you). ~~~~~~~~~~~~~~~~~ Prof.Vaclav Skala WSCG Conf. on Computer Graphics, Visualization and Computer Vision http://www.WSCG.eu http://www.VaclavSkala.eu c/o University of West Bohemia Faculty of Applied Sciences Dept.of Computer Science & Engineering Univerzitni 8 CZ 306 14 Plzen Czech Republic tel. (420) 37-763-2473 -- ~~~~~~~~~~~~~~~~~ Prof.Vaclav Skala http://www.VaclavSkala.eu tel. 37-763-2473 c/o University of West Bohemia Head of Computer Graphics and Visualization Center Faculty of Applied Sciences Dept.of Computer Science & Engineering Univerzitni 8 CZ 306 14 Plzen Czech Republic ResearcherID:http://www.researcherid.com/rid/F-9141-2011 Scopus Author ID:https://www.scopus.com/authid/detail.uri?authorId=7004643209 Research Gate:https://www.researchgate.net/profile/Vaclav_Skala/publications

1 0

CFP : International Workshop on Statistical Methods and Artificial Intelligence
by abdallah abarda 26 Oct '19

26 Oct '19

*International Workshop on **Statistical Methods and Artificial Intelligence* *(IWSMAI 2020)* *April 6 - 9, 2020, Warsaw, Poland.* https://sites.google.com/view/iwsmai/home The aim of IWSMAI is to bring together researchers, professors and students from around the world to present their latest ideas and research results within the scope of IWSMAI 2020. This workshop will also provide an ideal environment to develop new collaborations and meet experts on the fundamentals, applications, and products of Statistical Methods and Artificial Intelligence fields. The workshop will include presentations of contributed papers, poster sessions, and state of the art lectures by invited keynote speakers. *Topics:* · Artificial Intelligence · Statistical methods · Data Analysis and Data mining · Computational Statistic · Supervised and unsupervised learning · Statistical methodology · Bioinformatics · Medical statistics · Deep Learning · Intelligent Transportation Systems · Data Collection and Applications · Data Science and Blockchain Technology · Data Science and Artificial Intelligence · Big Data · Mathematical Statistics · Economic intelligence · Statistical Software (R, SAS, Python) All accepted papers will be scheduled for oral presentations and will be included in the conference proceedings published by Elsevier Science in the open-access Procedia Computer Science series on-line (indexed by *Scopus)* [image: image.png][image: image.png] Selected papers will be invited for publication, in the special issues of: -International Journal of Ambient Intelligence and Humanized Computing (IF: 1.588), by Springer: https://www.springer.com/journal/12652 - International Journal on Transportation Research Part A: Policy and Practice (IF: 3.69): https://www.journals.elsevier.com/transportation-research-part-a-policy-and… - International Journal of Computing and Informatics (IF: 0.504): http://www.cai.sk/ojs/index.php/cai/index *Important Dates:* · Paper submission deadline: *December 15, 2019* · Notification of acceptance: *January 13, 2020* · Camera-ready submission: *February 10 **, 2020* · Final Manuscript Due : *April 6-9, 2019* *Contact :* Email: abdallah.abarda(a)uhp.ac.ma -- *Abdallah ABARDA*

1 0

CfP - Ada Developer Room at FOSDEM 2020, Brussels, Belgium
by Dirk.Craeynest＠cs.kuleuven.be 26 Oct '19

26 Oct '19

----------------------------------------------------------------------- Call for Presentations 10th Ada Developer Room at FOSDEM 2020 Saturday 1 February 2020, Brussels, Belgium http://www.cs.kuleuven.be/~dirk/ada-belgium/events/20/200201-fosdem.html Organized in cooperation with Ada-Europe ----------------------------------------------------------------------- Ada-Belgium [1] is pleased to announce there will be a one-day Ada Developer Room on Saturday 1 February 2020 at FOSDEM 2020 in Brussels, Belgium. Our 10th Ada DevRoom is once more organized in cooperation with Ada-Europe [2]. General Information ------------------- FOSDEM [3], the Free and Open source Software Developers' European Meeting, is a free and 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. No registration is necessary. 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. Ada Programming Language and Technology --------------------------------------- Awareness of safety and security issues in software systems is ever 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 latest Ada language definition was updated early 2016. Work on new features is ongoing, such as improved support for fine-grained parallelism, and will result in a new Ada standard scheduled for 2021. Ada-related technology such as SPARK provides a solution for the safety and security aspects stated above. More and more tools are available, many are open source, including for small and recent platforms. Interest in Ada keeps further increasing, also in the open source community, and many exciting projects have been started. Ada Developer Room ------------------ FOSDEM is an ideal fit for an Ada Developer Room. On the one hand, it gives the general open source community an opportunity to see what is happening in the Ada community and how Ada technology can help to produce reliable and efficient open source software. On the other hand, it gives open source Ada projects an opportunity to present themselves, get feedback and ideas, and attract participants to their project and collaboration between projects. At previous FOSDEM events, the Ada-Belgium non-profit organization organized successful Ada Developer Rooms, offering a full day program in 2006 [4], a two-day program in 2009 [5], and full day programs in 2012-2016 [6-10], and in 2018-2019 [12]. An important goal is to present exciting Ada technology and projects also to people outside the traditional Ada community. Our proposal for another dedicated Ada DevRoom was accepted, and now work continues to prepare the detailed program. We most probably will have a total of 8.5 schedulable hours between 10:30 and 19:00 in one of the rooms which accommodate from 59 to 85 participants. More information will be posted on the dedicated web-page on the Ada-Belgium site [13], and final announcements will of course also be sent to various forums, lists and newsgroups. Call for Presentations ---------------------- We would like to schedule technical presentations, tutorials, demos, live performances, project status reports, discussions, etc, in the Ada Developer Room. Ada-Belgium calls on you to: - inform us at ada-belgium-board(a)cs.kuleuven.be about specific presentations you would like to hear in this Ada DevRoom; - for bonus points, subscribe to the Ada-FOSDEM mailing list [14] to discuss and help organize the details; - for more bonus points, be a speaker: the Ada-FOSDEM mailing list is the place to be! Do you have a talk you want to give? Do you have a project you would like to present? Would you like to get more people involved with your project? We're inviting proposals that are related to Ada software development, and include a technical oriented discussion. You're not limited to slide presentations, of course. Be creative. Propose something fun to share with people so they might feel some of your enthusiasm for Ada! Speaking slots are 15 or 45 minutes, plus 5 minutes for Q&A. Depending on interest, we might also have a session with lightning presentations (e.g. 5 minutes each), and/or an informal discussion session. Note that all talks will be streamed live (audio+video) and recorded, for remote as well as later viewing of talks, and so that people can watch streams in the hallways when rooms are full. By submitting a proposal, you agree to being recorded and streamed, and agree the content of your talk will be published under the same license as all FOSDEM content, a Creative Commons (CC-BY) license. Submission Guidelines --------------------- Subscribe to the Ada-FOSDEM mailing list [14], and submit your proposal there. If needed, feel free to contact us at ada-belgium-board(a)cs.kuleuven.be. Please include: - your name, affiliation, contact info; - the title of your talk (be descriptive and creative); - a short descriptive and attractive abstract; - potentially pointers to more information; - a short bio and photo. See programs of previous Ada DevRooms (URLs below) for presentation examples, as well as for the kind of info we need. We'd like to put together a draft schedule by end of November. So, please act ASAP, the sooner the better, but definitely by November 25, 2019 at the latest. We look forward to lots of feedback and proposals! Dirk Craeynest Dirk.Craeynest(a)cs.kuleuven.be (for Ada-Belgium/Ada-Europe/SIGAda/WG9) ----------------------------------------------------------------------- [1] http://www.cs.kuleuven.be/~dirk/ada-belgium [2] http://www.ada-europe.org [3] https://fosdem.org [4] http://www.cs.kuleuven.be/~dirk/ada-belgium/events/06/060226-fosdem.html [5] http://www.cs.kuleuven.be/~dirk/ada-belgium/events/09/090207-fosdem.html [6] http://www.cs.kuleuven.be/~dirk/ada-belgium/events/12/120204-fosdem.html [7] http://www.cs.kuleuven.be/~dirk/ada-belgium/events/13/130203-fosdem.html [8] http://www.cs.kuleuven.be/~dirk/ada-belgium/events/14/140201-fosdem.html [9] http://www.cs.kuleuven.be/~dirk/ada-belgium/events/15/150131-fosdem.html [10] http://www.cs.kuleuven.be/~dirk/ada-belgium/events/16/160130-fosdem.html [11] http://www.cs.kuleuven.be/~dirk/ada-belgium/events/18/180203-fosdem.html [12] http://www.cs.kuleuven.be/~dirk/ada-belgium/events/19/190202-fosdem.html [13] http://www.cs.kuleuven.be/~dirk/ada-belgium/events/20/200201-fosdem.html [14] http://listserv.cc.kuleuven.be/archives/adafosdem.html -----------------------------------------------------------------------

1 0

CfC 25th Ada-Europe Conf. on Reliable Software Technologies
by Dirk.Craeynest＠cs.kuleuven.be 25 Oct '19

25 Oct '19

----------------------------------------------------------------------- Call for Contributions 25th Ada-Europe International Conference on Reliable Software Technologies (AEiC 2020) 8-12 June 2020, Santander, Spain www.ada-europe.org/conference2020 Organized by University of Cantabria and Ada-Europe #AdaEurope #AEiC2020 #AdaProgramming ----------------------------------------------------------------------- *** General Information The 25th Ada-Europe International Conference on Reliable Software Technologies (AEiC 2020 aka Ada-Europe 2020) will take place in Santander, Spain, in the week of 8-12 June. The conference schedule includes a technical program and vendor exhibition, and parallel tutorials and workshops. The 2020 edition of the conference continues the major revamp in the registration fees introduced in 2019, redesigned to extend participation from industry and academia, and to reward contributors, especially but not solely, students and post-doc researchers. *** Schedule 7 January 2020: Submission of journal-track papers, industrial presentation outlines, and tutorial and workshop proposals 20 March 2020: Notification of acceptance for journal-track papers, industrial presentations, tutorials and workshops 31 March 2020: Submission of Work-in-Progress (WiP) papers 30 April 2020: Notification of acceptance for WiP papers *** Topics The conference is a leading international forum for providers, practitioners and researchers in reliable software technologies. The conference presentations will illustrate current work in the theory and practice of the design, development and maintenance of long-lived, high-quality software systems for a challenging variety of application domains. The program will allow ample time for keynotes, Q&A sessions and discussions, and social events. Participants include practitioners and researchers from industry, academia and government organizations active in the promotion and development of reliable software technologies. The topics of interest for the conference include but are not limited to: - Design and Implementation of Real-Time and Embedded Systems: Real-Time Scheduling, Design Methods and Techniques, Architecture Modelling, HW/SW Co-Design, Reliability and Performance; - Design and Implementation of Mixed-Criticality Systems: Scheduling Methods, Mixed-Criticality Architectures, Design Methods, Analysis Methods; - Theory and Practice of High-Integrity Systems: Medium to Large-Scale Distribution, Fault Tolerance, Security, Reliability, Trust and Safety, Languages Vulnerabilities; - Software Architectures for Reliable Systems: Design Patterns, Frameworks, Architecture-Centered Development, Component-based Design and Development; - Methods and Techniques for Quality Software Development and Maintenance: Requirements Engineering, Model-driven Architecture and Engineering, Formal Methods, Re-engineering and Reverse Engineering, Reuse, Software Management Issues, Compilers, Libraries, Support Tools; - Ada Language and Technologies: Compilation Issues, Runtimes, Ravenscar, Profiles, Distributed Systems, SPARK; - Mainstream and Emerging Applications with Reliability Requirements: Manufacturing, Robotics, Avionics, Space, Health Care, Transportation, Cloud Environments, Smart Energy Systems, Serious Games, etc; - Achieving and Assuring Safety in Machine Learning Systems; - Experience Reports in Reliable System Development: Case Studies and Comparative Assessments, Management Approaches, Qualitative and Quantitative Metrics; - Experiences with Ada: Reviews of the Ada 2012 language features, implementation and use issues, positioning in the market and in the software engineering curriculum, lessons learned on Ada Education and Training Activities with bearing on any of the conference topics. *** Call for Journal-Track Papers The journal-track papers submitted to the conference are full-length papers that must describe mature research work on the conference topics. They must be original and shall undergo anonymous peer review. Accepted journal-track papers will get a presentation slot within a technical session of the conference and they will be published in an open-access special issue of the Journal of Systems Architecture with no additional costs to authors. The corresponding authors shall submit their work by 7 January 2020 via the Special Issue web page: https://www.journals.elsevier.com/journal-of-systems-architecture/ call-for-papers/advances-in-reliable-software-technologies *** Call for WiP-Track Papers The Work-in-Progress papers (WiP-track) are short (4-page) papers describing evolving and early-stage ideas or new research directions. They must be original and shall undergo anonymous peer review. The corresponding authors shall submit their work by 31 March 2020, via https://easychair.org/conferences/?conf=aeic2020, strictly in PDF and following the Ada User Journal style (http://www.ada-europe.org/auj/) Authors of accepted WiP-track papers will get a presentation slot within a regular technical session of the conference and will also be requested to present a poster. The papers will be published in the Ada User Journal as part of the proceedings of the Conference. The conference is listed in the principal citation databases, including DBLP, Scopus, Web of Science, and Google Scholar. The Ada User Journal is indexed by Scopus and by EBSCOhost in the Academic Search Ultimate database. *** Call for Industrial Presentations The conference seeks industrial presentations that deliver insightful information value but may not sustain the strictness of the review process required for regular papers. The authors of industrial presentations shall submit their proposals, in the form of a short (one or two pages) abstract, by 7 January 2020, via https://easychair.org/conferences/?conf=aeic2020, strictly in PDF and following the Ada User Journal style (http://www.ada-europe.org/auj/) The Industrial Committee will review the submissions anonymously and make recommendations for acceptance. The abstract of the accepted contributions will be included in the conference booklet, and authors will get a presentation slot within a regular technical session of the conference. These authors will also be invited to expand their contributions into articles for publication in the Ada User Journal, as part of the proceedings of the Industrial Program of the Conference. *** Awards Ada-Europe will offer an honorary award for the best presentation. *** Call for Educational Tutorials The conference is seeking tutorials in the form of educational seminars including hands-on or practical demonstrations. Proposed tutorials can be from any part of the reliable software domain, they may be purely academic or from an industrial base making use of tools used in current software development environments. We are also interested in contemporary software topics, such as IoT and artificial intelligence and their application to reliability and safety. Tutorial proposals shall include a title, an abstract, a description of the topic, an outline of the presentation, the proposed duration (half day or full day), and the intended level of the tutorial (introductory, intermediate, or advanced). All proposals should be submitted by e-mail to the Educational Tutorial Chair. The authors of accepted full-day tutorials will receive a complimentary conference registration. For half-day tutorials, this benefit is halved. The Ada User Journal will offer space for the publication of summaries of the accepted tutorials. *** Call for Workshops Workshops on themes that fall within the conference scope may be proposed. Proposals may be submitted for half- or full-day events, to be scheduled at either end of the conference days. Workshop proposals should be submitted by e-mail to the Workshop Chair. The workshop organizer shall also commit to producing the proceedings of the event, for publication in the Ada User Journal. *** Call for Exhibitors The commercial exhibition will span the core days of the main conference. Vendors and providers of software products and services should contact the Exhibition Chair for information and for allowing suitable planning of the exhibition space and time. *** Special Registration Fees Authors of accepted contributions and all students will enjoy reduced registration fees. *** Venue Santander is a nice tourist city in the north of Spain, with a well-connected airport and at a 100 km drive from Bilbao airport. The conference venue and hotel is the Bahia Hotel in the city center and beside Santander bay. *** Organizing Committee * Conference Chair Michael González Harbour, Universidad de Cantabria, Spain mgh at unican.es * Program Chair Mario Aldea Rivas, Universidad de Cantabria, Spain aldeam at unican.es * Work-in-Progress Chair Kristoffer Nyborg Gregertsen, SINTEF Digital, Norway kristoffer.gregertsen at sintef.no * Tutorial & Workshop Chair Jorge Garrido Balaguer, Universidad Politécnica de Madrid, Spain jorge.garrido at upm.es * Industrial Chair Patricia Balbastre Betoret, Universitat Politècnica de València, Spain patricia at ai2.upv.es * Exhibition & Sponsorship Chair Ahlan Marriott, White Elephant GmbH, Switzerland software at white-elephant.ch * Publicity Chair Dirk Craeynest, Ada-Belgium & KU Leuven, Belgium dirk.craeynest at cs.kuleuven.be *** Previous Editions Ada-Europe organizes annual international conferences since the early 80's. This is the 25th event in the Reliable Software Technologies series, previous ones being held at Montreux, Switzerland ('96), London, UK ('97), Uppsala, Sweden ('98), Santander, Spain ('99), Potsdam, Germany ('00), Leuven, Belgium ('01), Vienna, Austria ('02), Toulouse, France ('03), Palma de Mallorca, Spain ('04), York, UK ('05), Porto, Portugal ('06), Geneva, Switzerland ('07), Venice, Italy ('08), Brest, France ('09), Valencia, Spain ('10), Edinburgh, UK ('11), Stockholm, Sweden ('12), Berlin, Germany ('13), Paris, France ('14), Madrid, Spain ('15), Pisa, Italy ('16), Vienna, Austria ('17), Lisbon, Portugal ('18), and Warsaw, Poland ('19). Information on previous editions of the conference can be found at http://www.ada-europe.org/confs/ae. ----------------------------------------------------------------------- Our apologies if you receive multiple copies of this announcement. Please circulate widely. Dirk.Craeynest(a)cs.kuleuven.be, Ada-Europe 2020 Publicity Chair *** 25th Ada-Europe Int'l. Conf. on Reliable Software Technologies *** June 8-12, 2020 * Santander, Spain * www.ada-europe.org/conference2020

1 0

Job Opening: Research Assistant Professor at Hong Kong Baptist University
by COMP HKBU 24 Oct '19

24 Oct '19

The Department of Computer Science at Hong Kong Baptist University is presently offering BSc, MSc, MPhil, and PhD programmes, and invites outstanding applicants for the following position. *Research Assistant Professor (PR0166/19-20) * The position is created and funded as part of the strategic research development initiatives in the Department. The appointee will be provided with a conducive research environment, and will work within an established group of faculty members in the Department. They are expected to perform group-based high-impact research and to undertake some teaching duties. Applicants should possess a PhD degree in Computer Science, Computer Engineering, Information Systems, or a related field, and have abilities to conduct high-quality research in one of the Department's key research areas: (i) computational intelligence, (ii) databases and information management, (iii) networking and systems, and (iv) pattern recognition and machine learning. These key research areas have a special thematic focus on (a) health informatics, and (b) secure and privacy-awareness computing related applications. Initial appointment will be made on a fixed-term contract up to three years. Re-appointment thereafter will be subject to mutual agreement. For enquiry, please contact Dr William Cheung, Head of Department (email: william(a)comp.hkbu.edu.hk More information about the Department can be found on its website at http://www.comp.hkbu.edu.hk. *Salary will be commensurate with qualifications and experience.* *Application Procedure:* Applicants are invited to submit their applications at the HKBU e-Recruitment System (jobs.hkbu.edu.hk) with samples of publications, preferably three best ones out of their most recent publications/works. Those should also request two referees to send in confidential letters of reference, with PR number (stated above) quoted on the letters, to the Personnel Office (Email: recruit(a)hkbu.edu.hk) direct. Those who are not invited for interview 4 months after the closing date may consider their applications unsuccessful. All application materials including publication samples, scholarly/creative works will be disposed of after completion of the recruitment exercise. Details of the University’s Personal Information Collection Statement can be found at http://pers.hkbu.edu.hk/pics. The University reserves the right not to make an appointment for the post advertised, and appointment will be made according to the terms and conditions then applicable at the time of offer. *Closing date: 25 November 2019 (or until the position is filled)* URL: http://www.comp.hkbu.edu.hk/v1/?page=job_vacancies&id=540

1 0

The SPRITZ - Security and Privacy Research Group at the University of Padova is hiring!
by Eleonora Losiouk 23 Oct '19

23 Oct '19

Hi! The SPRITZ Security and Privacy Research Group <https://spritz.math.unipd.it/> at the University of Padova <https://www.youtube.com/watch?v=fHz98-ERwTs> is hiring! We are a group of researchers very passionate in investigating security and privacy issues related to current and future technologies. Our group was founded in 2011 and is led by Prof. Mauro Conti <http://www.math.unipd.it/~conti/>. Thanks to several ongoing and forthcoming projects, we are looking for smart and passionate people willing to join us. In our group we cover several research areas in CyberSecurity (e.g., Mobile Security, Adversarial Machine Learning, Authentication, Remote Attestation, Security for IoT, Cyber Physical System Security, Blockchain), but we are always open to start working in new areas! If you are interested, just fill in this form <https://forms.gle/E1yLudCjJnZkMnUY7>. Cheers, Eleonora Losiouk

1 0

[Meetings] MESS 2020 :: Metaheuristics Summer School - Learning & Optimization from Big Data
by Mario Pavone 23 Oct '19

23 Oct '19

1st Call for Participation (apologies for multiple copies) ----------------------------------------------------------------------- MESS 2020 - Metaheuristics Summer School ~ Learning & Optimization from Big Data ~ 27-31 July 2020, Catania, Italy https://www.ANTs-lab.it/mess2020/ mess.school(a)ANTs-lab.it ----------------------------------------------------------------------- ** APPLICATION DEADLINE: 5th March 2020 ** MESS 2020 is aimed at qualified and strongly motivated MSc and PhD students; post-docs; young researchers, and both academic and industrial professionals to provide an overview on the several metaheuristics techniques, and an in-depth analysis of the state-of-the-art. The main theme of the 2020 edition is ?Learning and Optimization from Big Data?, therefore MESS 2020 wants to focus on (i) Learning for Metaheuristics; (ii) Optimization in Machine Learning; and (iii) how Optimization and Learning affect the Metaheuristics making them relevant in handling Big Data. The courses will be held by world renowned experts in the field, and will be inspected practical aspects on complex combinatorial optimization problems, as well as examples of their successful real-world applications. The participants will have plenty of opportunities for debate and work with leaders in the field, benefiting from direct interaction and discussions in a stimulating environment. They will also have the possibility to present their recently results and/or their working in progress through oral or poster presentations, and interact with their scientific peers, in a friendly and constructive environment. MESS 2020 will involve a total of 36-40 hours of lectures, therefore in according to the academic system, all PhD and master students attending to the summer school will may get 8 ECTS points. Further, during the summer school the students will tackle homework, or project development. MESS 2020 will take place at the ?Palazzo delle Scienze?, today place of the Department of Economics and Business of the University of Catania. ** MESS 2020 Workshop All participants may submit an abstract of their recent results, or works in progress, for presentation and having the opportunities for debate and interact with leaders in the field. Workshop Organizers and Scientific Committee will review the abstracts and will recommend for the format of the presentation (oral or poster). All abstracts will be published on the electronic hands-out book of the summer school. The Abstracts must be submitted by *March 5, 2020*. ** MESS 2020 Metaheuristics Competition All participants to the school will be involved in the ?Metaheuristics Competition?, where each of them, individually or divided in working groups, they will must develop a metaheuristic solution on the given problem. The top three of the competition ranking will receive the MESS 2020 prize. Further, the students, whose algorithms will rank in the five top of the competition ranking, will be invited to submit a report/manuscript of their work to be published in the special MESS 2020 Volume of the AIRO Springer Series. ** School Directors + Salvatore Greco, University of Catania, Italy + Ender Ozcan, University of Nottingham, UK + Mario Pavone, University of Catania, Italy + El-Ghazali Talbi, University of Lille 1, France + Daniele Vigo, University of Bologna, Italy https://www.ANTs-lab.it/mess2020/ -- mess.school(a)ANTs-lab.it Facebook Group: https://www.facebook.com/groups/MetaheuristicsSchool/ Twitter: https://twitter.com/MESS_school -- Mario F. Pavone, PhD Associate Professor Dept of Mathematics and Computer Science University of Catania V.le A. Doria 6 - 95125 Catania, Italy --------------------------------------------- tel: +39 095 7383034 Email: mpavone(a)dmi.unict.it http://www.dmi.unict.it/mpavone/ FB: https://www.facebook.com/mfpavone Skype: mpavone =============================================

1 0