- computational.science - lists.iccsa.org

ICCSA 2020: COA Workshop
by Ana Rocha 10 Jan '20

10 Jan '20

Dear colleague, This is an invitation to submit a contribution for the: Computational Optimization and Applications (COA 2020) Workshop of the 20th International Conference on Computational Science and Applications (ICCSA 2020, http://www.iccsa.org/) will be held on July 1 - 4, 2020 in Cagliari, Italy. TOPICS ====== The scope of the Workshop is to bring together scientists working in Computational Optimization and its applications in science and engineering. Topics of interest include (but are not limited to): * Computational Optimization: new issues in computational algorithms for continuous and discrete optimization; deterministic and stochastic algorithms, nature-inspired algorithms and other metaheuristic algorithms for solving optimization problems. * Applications: case studies in all areas of sciences, engineering and industry, including economics, medicine, biology, earth sciences and social sciences. IMPORTANT DATES ================ February 15, 2020: Deadline for abstract and paper submission to the COA Workshop April 15, 2020: Notification of Acceptance. May 8, 2020: Early-bird Registration ends. May 8, 2020: Submission deadline for the final version of the Proceeding Papers July 1-4, 2020: ICCSA 2020 Conference PROCEEDINGS ============ The proceedings of the COA 2020 Workshop will appear in the Springer-Verlag, Lecture Notes in Computer Science (LNCS) series. The paper must be camera-ready, between 10 and 16 pages long and formatted according to the LNCS rules SUBMISSION DETAILS ================== All accepted papers will be included in the Springer Lecture Notes in Computer Science (LNCS, http://www.springer.com/gp/computer-science/lncs ) series and indexed by Scopus, EI Engineering Index, Thomson Reuters Conference Proceedings Citation Index (included in ISI Web of Science), and several other indexing services. The papers will contain linked references, XML versions and citable DOI numbers. Submitted papers will be subject to stringent peer review by at least three experts and carefully evaluated based on originality, significance, technical soundness, and clarity of exposition. The authors can submit abstracts and papers to your session accessing the electronic submission site: http://ess.iccsa.org/ You can find the instructions to prepare and submit papers on the web site (http://www.iccsa.org/instructions-for-authors ) If you are not registered, you must to register before the submission. From the personal page the author is able to submit first an abstract (phase 1), then a full paper (phase 2), selecting the session from the list of sessions in the submission forms. The author will be able to update the paper until the submission deadline. ORGANIZERS =========== * Ana Maria A. C. Rocha (arocha(a)dps.uminho.pt) Dep. of Production and Systems (University of Minho), Centro ALGORITMI (University of Minho), Portugal * Humberto Rocha (hrocha(a)fe.uc.pt) Economics Faculty (University of Coimbra), CeBER (University of Coimbra), Portugal If you have some doubts or problems so not hesitate to contact the organizers. Best regards, Ana Maria A.C. Rocha and Humberto Rocha (COA 2020 organizers)

1 0

CFP: The Humanities and the Rise of AI - Luxembourg, 14-18 June 2020
by Amro NAJJAR 09 Jan '20

09 Jan '20

The Humanities and the Rise of AI - Luxembourg, 14-18 June 2020 --------------- http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=97474&copyownerid=… The Humanities and the Rise of AI Implications of Cultural and Societal Engineering Organized by the Faculty of Humanities, Education and Social Sciences in cooperation with the Department of Computer Science (University of Luxembourg) We invite paper presentations of 20 minutes in one of our 4 sections (see below): Submission deadline for abstracts (up to 2 pages) January 31, 2020 - please send to: cfp(a)endsofthehumanities.com<mailto:cfp@endsofthehumanities.com> Travel grants for early career researchers are available. For further information, please visit http://endsofthehumanities.com/wp/travel-grants/ Digitization and the rise of artificial intelligence forecast radical change on all aspects of human practice, especially given the ever-improving abilities of algorithms in tasks like pattern recognition and their practical application. Powerful technology arises from AI research, opening the gate for various forms of cultural and societal engineering, i.e., a reshaping of culture and society by dint of algorithmic models and ‘intelligent’ applications. Although the development of artificial intelligence is still in its beginnings, it has already triggered an enormous rush of utopian and dystopian thinking. While some dream of immortality and the vanquishing of poverty, disease, and warfare, others foresee a grim future for those parts of humanity that will find themselves outpaced by technology. Potential consequences of the changes imposed by technological advancement on human practice reach from the level of the individual, through cultural techniques, to the organization of society as a whole, raising fundamental questions which we will address in the four sections of the conference resp. special events. Special events are planned by the AI-team around the topics "Social robotics" and "A technological roadmap for AI after 2050". We consider a special issue of a high-ranked journal for extended versions of high-quality computer-science-oriented contributions. More information will be provided in the coming months. Invited speakers include, among others: -------------------------------------- - Armin Grunwald (Head of Institute for Technology Assessment and Systems Analysis, KIT, Karlsruhe ) - Koen V. Hindriks (Prof. Artificial intelligence, VU Amsterdam, focusing on Social Robotics, Co-Founder "Interactive Robotics") - Lyse Langlois (Scientific director of the International Observatory of the Societal Impact of AI and Digitization, Université Laval) Luís Moniz Pereira (Prof. emeritus of Computer Science at the New university of Lisbon, author of several books on Machine Ethics) - Giuseppe Longo (Prof. emeritus, Centre Cavaillès, CNRS, Collège de France & Ecole Normale Supérieure, Paris) - Jan Broersen (Professor of logical methods in AI, University of Utrecht, ERC on Responsible Intelligent Systems 2013-18) - Raja Chatila (Sorbonne, Paris, Professor and director of the Institute of Intelligent Systems and Robotics) - Marija Slavkovik (Associate Professor, University of Bergen, Norway, Advisory group on Ethical, Legal, Social Issues of CLAIRE) Conference sections: -------------------- • Section I – Mind and Consciousness: How does artificial intelligence impact our understanding of the human mind, especially in relation to the role of its computational equivalents that reach more and more aspects of everyday life (e.g., chatbots, driverless mobility, risk assessment software in the banking and insurance sector)? • Section II – Learning and Inventing What are the consequences of digitization and machine learning algorithms for education and our understanding of learning and creativity (e.g., in schooling through adaptive tutors, but also against the background of our current notion of creativity as a unique human ability)? • Section III – Reading and Data Modeling How will the increasing use of computational methodology change the ways we relate to the past and envision the future (e.g., by reading), both in academia and in society? How can the enrichment of algorithmic models with methods and results from the humanities shape and improve computational assessment of human practice (e.g., data mining of big text corpora, automated translation, racial bias in neural networks)? • Section IV – Complexity and Control: How does the use of artificial intelligence in all domains of human practice influence how we deal with complexity (e.g., of society) and human control thereof? Can computational methods help to reduce, organize, and analyze cultural complexity, or do they pose a threat to human control over different aspects of the lifeworld (e.g., security and network technology, automation of industrial production, autonomous weaponry)? Against the background of such questions, the conference aims to foster an open and critical reflection on the consequences of cultural and societal engineering. The conference investigates not only opportunities and shortcomings of AI research, but also implications and potential structural effects of technological innovation for the organization of societal practice (e.g., work) and techniques of cultural self-reflection (e.g., history). It will not only ask what technologies can do (or will be able to do in the future), but also how these capabilities can be compared and related to their human equivalents, e.g., perception, cognition, and communication. The original general CfP can be found at http://endsofthehumanities.com/wp/wp-content/uploads/2016/05/CfP-Humanities… Dr. Amro Najjar AI RoboLab FSTC / CSC UNIVERSITÉ DU LUXEMBOURG CAMPUS BELVAL 6, avenue de la Fonte L-4364 Esch-sur-Alzette T (+352) 46 66 44 5473 amro.najjar(a)uni.lu<mailto:amro.najjar@uni.lu> / www.uni.lu<http://www.uni.lu>

1 0

CFP - IEEE INFOCOM: The 10th International Workshop on Big Data and Cloud Performance (DCPerf’20)
by Peter Mueller 09 Jan '20

09 Jan '20

Call for Papers ----------------------------------------------------------------- The 10th International Workshop on Big Data and Cloud Performance (DCPerf’20) ----------------------------------------------------------------- in conjunction with IEEE INFOCOM 2020 April 27, 2020, Beijing, China https://infocom2020.ieee-infocom.org/workshop-big-data-and-cloud-performance The 10th Workshop on Big Data and Cloud Performance (DCPerf'20) will be held in conjunction with the IEEE INFOCOM'20 in Beijing, China on April 27, 2020. The goal of DCPerf is to promote a community-wide discussion to identify suitable strategies to enable effective and scalable performance optimizations. Submissions on any topics of datacenter, cloud and bigdata performance are welcome. Submission site will remain open until Jan. 8th, 2020. Cloud data centers are the backbone infrastructure for tomorrow's information technology. Their advantages are efficient resource provisioning and low operational costs for supporting a wide range of computing needs, be it in business, scientific or mobile/pervasive environments. Because of the rapid growth in user-defined and user-generated applications and content, the range of services provided at data centers will expand tremendously and unpredictably. Particularly, big data applications and services, e.g., social and environmental sensing, and IoT monitoring, present a unique class of challenges in the Cloud. In addition, the high volume of mixed workloads and the diversity of services offered render the performance optimization of data centers even more challenging. Moreover, important optimization criteria, such as scalability, reliability, manageability, power efficiency, area density, and operating costs, are often conflicting. The increasing mobility of users across geographically distributed areas adds another dimension to optimizing big data and cloud applications. The goal of this workshop is to promote a community-wide discussion to identify suitable strategies to enable effective and scalable performance optimizations. We are looking for papers that present new techniques, introduce new methodologies, propose new research directions, or discuss strategies for resolving open performance problems for hosting big data analytics in the cloud. Topics of interest include (but are not limited to): - Big data applications and services - Emerging IoT applications - Data flow management - Processing platforms - Empirical studies - Cloud systems - Novel architectures - Resource allocation - Content distribution - Evaluation/modeling methodology - Big data and cloud performance - Cost/pricing design - Power/energy management - Reliability/dependability - Performance evaluation/modeling - Big data in the cloud - Intra/Inter communication - Network protocols - Security - Real-time analytics Important Dates: Full Paper Submission: Jan. 20th, 2020 Notification of Acceptance: Feb. 15th, 2020 Final Manuscript Due: March 6, 2020 Submission Guideline: Manuscripts must be limited to 6 pages in IEEE 8.5x11-inch format. Accepted papers will be published in the combined INFOCOM 2020 Workshop proceedings and will be submitted to IEEE Xplore. Submitted papers may not have been previously published in or be under consideration for publication in another journal or conference. The reviews will be single blinded. Manuscripts should be submitted as PDF files via EDAS link: https://edas.info/newPaper.php?c=26866&track=99584 Committee: General Chair Wanyang Dai, Department of Mathematics, Nanjing University, China TPC co-Chairs Peter Mueller, IBM Research Zurich Lab, Switzerland Rui Han, School of Computer Science&Technology, Beijing Instititute of Technology

1 0

Advanced Transport Tools and Methods at ICCSA 2020 (Scopus and ISI index) - 1st call
by Massimiliano Petri 09 Jan '20

09 Jan '20

Dear Colleague, This is an invitation to submit a contribution for the: Advanced Transport Tools and Methods (A2TM 2020) Workshop of the 20th International Conference on Computational Science and Applications (ICCSA 2020, http://www.iccsa.org/) will be held on July 1 - 4, 2020 in Cagliari, Italy. TOPICS ====== The aim of A2TM workshop is to bring together scientists working on mobility. Topics of interest include (but are not limited to): Sustainable Mobility, Innovation in Mobility, MaaS-Mobility as a Service, Transport Modelling Methods and Techniques, BigData in Transport, Logistic and Freight Transport, Transport Planning IMPORTANT DATES ================ February 29, 2020: Deadline for abstract and paper submission to the A2TM Workshop. April 15, 2020: Notification of Acceptance. May 8, 2020: Early-bird Registration ends. May 8, 2020: Submission deadline for the final version of the Proceeding Papers. July 1-4, 2020: ICCSA 2020 Conference. PROCEEDINGS ============ The proceedings of the A2TM 2020 Workshop will appear in the Springer-Verlag, Lecture Notes in Computer Science (LNCS) series. The paper must be camera-ready, between 10 and 16 pages long and formatted according to the LNCS rules SUBMISSION DETAILS ================== All accepted papers will be included in the Springer Lecture Notes in Computer Science (LNCS, http://www.springer.com/gp/computer-science/lncs ) series and indexed by Scopus, EI Engineering Index, Thomson Reuters Conference Proceedings Citation Index (included in ISI Web of Science), and several other indexing services. The papers will contain linked references, XML versions and citable DOI numbers. Submitted papers will be subject to stringent peer review by at least three experts and carefully evaluated based on originality, significance, technical soundness, and clarity of exposition. The authors can submit abstracts and papers to your session accessing the electronic submission site: http://ess.iccsa.org/ You can find the instructions to prepare and submit papers on the web site: http://www.iccsa.org/instructions-for-authors If you are not registered, you must to register before the submission. From the personal page the author is able to submit first an abstract (phase 1), then a full paper (phase 2), selecting the session from the list of sessions in the submission forms. The author will be able to update the paper until the submission deadline. ORGANIZERS =========== * Massimiliano Petri (m.petri(a)ing.unipi.it) * Antonio Pratelli (a.pratelli(a)ing.unipi.it) Dep. of Industrial and Civil Engineering (University of Pisa), Italy. If you have some doubts or problems, do not hesitate to contact organizers. Best regards, Massimiliano Petri and Antonio Pratelli (A2TM 2020 organizers)

1 0

Computational and Applied Statistics at ICCSA 2020 (Scopus and ISI index) - 1st call
by Ana Cristina Silva Braga 08 Jan '20

08 Jan '20

********************************************* Apologies if you receive multiple copies of this email. ********************************************* Dear Colleague, This is an invitation to submit a contribution for the: Computational and Applied Statistics (CAS 2020) https://cas2020.webnode.com/ Workshop of the 20th International Conference on Computational Science and Applications (ICCSA 2020, http://www.iccsa.org/) will be held on July 1 - 4, 2020 in Cagliari, Italy. TOPICS ====== The aim of CAS workshop is to bring together scientists working in computational statistics, scientific computation and applications in all areas of sciences, engineering, industry, economics, life sciences and social sciences. Topics of interest include (but are not limited to): * Computational Statistics: new issues in the design of computational algorithms for implementing statistical methods, development in R, etc * Applications: statistical case study in all areas of sciences, engineering and industry, including economics, medicine, biology, earth sciences and social sciences. IMPORTANT DATES ================ February 29, 2020: Deadline for abstract and paper submission to the CAS Workshop. April 15, 2020: Notification of Acceptance. May 8, 2020: Early-bird Registration ends. May 8, 2020: Submission deadline for the final version of the Proceeding Papers. July 1-4, 2020: ICCSA 2020 Conference. PROCEEDINGS ============ The proceedings of the CAS 2020 Workshop will appear in the Springer-Verlag, Lecture Notes in Computer Science (LNCS) series. The paper must be camera-ready, between 10 and 16 pages long and formatted according to the LNCS rules SUBMISSION DETAILS ================== All accepted papers will be included in the Springer Lecture Notes in Computer Science (LNCS, http://www.springer.com/gp/computer-science/lncs ) series and indexed by Scopus, EI Engineering Index, Thomson Reuters Conference Proceedings Citation Index (included in ISI Web of Science), and several other indexing services. The papers will contain linked references, XML versions and citable DOI numbers. Submitted papers will be subject to stringent peer review by at least three experts and carefully evaluated based on originality, significance, technical soundness, and clarity of exposition. The authors can submit abstracts and papers to your session accessing the electronic submission site: http://ess.iccsa.org/ You can find the instructions to prepare and submit papers on the web site: http://www.iccsa.org/instructions-for-authors If you are not registered, you must to register before the submission. From the personal page the author is able to submit first an abstract (phase 1), then a full paper (phase 2), selecting the session from the list of sessions in the submission forms. The author will be able to update the paper until the submission deadline. ORGANIZER =========== * Ana Cristina Braga (acb(a)dps.uminho.pt<mailto:acb@dps.uminho.pt>), Dep. of Production and Systems (University of Minho), Algoritmi Research Centre (University of Minho), Portugal. If you have some doubts or problems, do not hesitate to contact the organizer. Best regards, Ana Cristina Braga (CAS 2020 organizer)

1 0

FINAL CfC Ada-Europe 2020 Conference - Tue 14 Jan deadline!
by Dirk.Craeynest＠cs.kuleuven.be 08 Jan '20

08 Jan '20

----------------------------------------------------------------------- FINAL 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 *** DEADLINE Tuesday 14 JANUARY 2020 AoE *** Organized by University of Cantabria and Ada-Europe in cooperation with ACM SIGAda (pending) and the Ada Resource Association (ARA) 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. Journal-Track Papers: submit via https://www.journals.elsevier.com/journal-of-systems-architecture/ call-for-papers/advances-in-reliable-software-technologies Industrial Presentations: submit via https://easychair.org/conferences/?conf=aeic2020 Tutorials & Workshops: submit to the Tutorial & Workshop Chair Jorge Garrido Balaguer, jorge.garrido at upm.es Later deadline of 31 March 2020 for Work-in-Progress (WiP) papers: submit via https://easychair.org/conferences/?conf=aeic2020 For more information please see the full Call for Contributions at http://www.ada-europe.org/conference2020 #AdaEurope #AEiC2020 #AdaProgramming ----------------------------------------------------------------------- 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

[simu-conf] EXTENDED DEADLINE APPROACHING + JOURNAL OPPORTUNITY. Theory and Foundations of Modeling & Simulation (TMS)
by vsim-conf＠sce.carleton.ca 02 Jan '20

02 Jan '20

Theory and Foundations of Modelling and Simulation Track Spring Simulation Conference – Washington DC George Mason University – May 2020 Submission deadline approaching: January 6, 2020. http://www.tmsdevs.org Top articles will be invited to submit extended versions to a Special Issue for the SIMULATION journal https://journals.sagepub.com/home/sim (Special Issue information: http://bit.ly/TMSSPECIALISSUE ) TMS aims to provide a forum to present the most recent advances in the Theory and Foundations of Modeling and Simulation. The focus is on the M&S concepts, methods, methodology, practice, and toolkits, as well as related lessons learned and challenges. This track welcomes unpublished papers, and not under consideration in other venues, on the topics below as well as others that can help deepen and expand M&S Theory and Foundations for better understanding and development of computing, physical, and human systems. * Modeling & Simulation Formalisms (Agents, DEVS, Petri nets, Statecharts, etc.) * Multi-Paradigm/Multi-Domain Modeling, Multi-Resolution/Multi-Scale Modeling * Model Composition, Hybrid Modeling Languages, Multi-Modal Modeling * Model Checking, Formalism-Based Model Debugging, Model Transformation * Modular Hybrid, Spatially Distributed, and Ultra Large Scale Systems * Embedded, IoT, and Fog Computing Systems * Parallel, Distributed, Real-Time, Cloud-Based, and Interactive Simulation * Co-simulation, Interoperability, Simulation Languages, Numerical Solvers * Simulation and Model Development Visualization Tools * Model Libraries, Repositories, and Data Formats Organization Committee: General Chairs: Joachim Denil, University of Antwerp, Belgium Hessam Sarjoughian, Arizona State University, USA Program Chairs: Gabriel Wainer, Carleton University, Canada Cristina Ruiz-Martin, Carleton University, Canada Further information: http://www.tmsdevs.org [apologies for cross postings – problems/issues/comments: contact vsim-conf-owner(a)sce.carleton.ca]

1 0

Job Opening: Professor / Associate Professor / Assistant Professor (Computer Science) at Hong Kong Baptist University
by COMP HKBU 02 Jan '20

02 Jan '20

The Department of Computer Science at Hong Kong Baptist University, presently offers BSc, MSc, MPhil, and PhD programmes, is now seeking outstanding applicants for the following faculty positions on tenure-track. *Professor / Associate Professor / Assistant Professor (Computer Science) (PR0311/18-19) * The appointees will perform high-impact research; to teach and manage programmes at undergraduate and postgraduate levels, as well as to contribute to professional and institutional services. Collaboration with other faculty members in research and teaching is also expected. They will be encouraged to collaborate with colleagues within the Department to contribute to two special thematic applications including (a) health informatics and (b) secure and privacy-aware computing, and/or outside the Department to contribute to interdisciplinary research projects under our University’s Research Cluster on Data Analytics and A.I. in X. Applicants should possess a PhD degree in Computer Science, Computer Engineering, Information Systems, or a related field, and sufficiently demonstrate 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. Applicants should also show strong commitment to undergraduate and postgraduate teaching in computer science and/or information systems, possess track record of innovative research and high-impact publications, and be able to bid for and pursue externally-funded research programmes. Special consideration will be given to candidates with research background related to financial technologies, and secure and privacy-aware computing. Initial appointment will be made on a fixed-term contract of 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 at http://www.comp.hkbu.edu.hk. Those who have responded to the advertisement posted in March 2019 need not re-apply. *Rank and 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. Applicants 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 posts advertised, and the appointment will be made according to the terms and conditions applicable at the time of offer. Closing Date: *25 January 2020 (or until the positions are filled)* URL: https://www.comp.hkbu.edu.hk/v1/?page=job_vacancies&id=503

1 0

WHPC Summit - Paper submission deadline extended to 10 January
by Jana Makar 19 Dec '19

19 Dec '19

WHPC Summit Update: The paper submission deadline has been extended to 10 January 2020, so there’s still time to send in your abstracts before (or during!) the holiday break! Please share this across your networks! -------------------------------- Call for Submissions Women in HPC (WHPC) Summit Simon Fraser University Vancouver, Canada 29 April - 01 May, 2020 * Paper submission deadline extended! * Submission Deadlines Paper Submission Deadline: extended to 10 January, 2020 Poster Submission Deadline: January 31st, 2020 Submission Topics The WHPC Summit is seeking submissions of papers and posters on a diverse range of technical topics, including but not limited to: Programming models and applications for HPC, Big Data, and Artificial Intelligence (AI) Architectures and accelerators on high performance platforms Computational Models and Algorithms for HPC, Big Data and AI Addressing cyber security issues in HPC, Big Data and AI Large-scale data analytics and machine learning trends Using machine learning to analyze large-scale system Performance modeling, analysis and benchmarking of HPC, AI and Big Data applications/architectures Intersection of cloud and HPC System software to accelerate the performance of data-intensive applications In addition to technical topics, WHPC is also soliciting submissions on topics related to diversity, inclusion and leadership, including but not limited to: Methods and techniques to create a diverse workforce Inclusive leadership and retention strategies Building diversity advocates and allies Dealing with unconscious bias and sexism in the workplace Achieving the right work/life balance Fostering creativity through diversity Statistics about women's representation in HPC community More information on paper and poster submissions is available here. If you have any questions or would like more information about the Summit or submissions, please email: info(a)womeninhpc.org. -- Jana Makar Communications Manager New Zealand eScience Infrastructure (NeSI) www.nesi.org.nz @NeSI_NZ Level 10 – 70 Symonds Street, Auckland 1010 My office hours are Mondays, Wednesdays, and Thursdays.

1 0

Ada-Europe 2020 Conference - EXTENDED 14 January deadline
by Dirk.Craeynest＠cs.kuleuven.be 19 Dec '19

19 Dec '19

The Ada-Europe 2020 Conference organizers decided to provide more time for authors to prepare their contributions. The deadline for most submissions is extended to Tuesday 14 January 2020. 3+ weeks remain! ----------------------------------------------------------------------- Call for Contributions UPDATED Call for Papers - EXTENDED DEADLINE 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 in cooperation with ACM SIGAda (pending) and the Ada Resource Association (ARA) *** Extended DEADLINE 14 JANUARY 2020 AoE *** #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 14 January 2020: Submission of journal-track papers, industrial presentation outlines, and tutorial and workshop proposals (EXTENDED) 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 14 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 Submitted papers must follow the guidelines provided in the "Guide-for-Authors" of the JSA (https://www.elsevier.com/journals/ journal-of-systems-architecture/1383-7621/guide-for-authors). In particular, JSA does not impose any restriction on the format or extension of the submissions. *** 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 14 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 *** Program Committee Mario Aldea Rivas, Univ. de Cantabria, ES Iain Bate, University of York. UK Johann Blieberger, Vienna Univ. of Technology, AT Bernd Burgstaller, Yonsei Univ., KR Daniela Cancila, CEA LIST, FR António Casimiro, Univ. Lisboa, PT Juan A. de la Puente, Univ. Pol. de Madrid, ES Barbara Gallina, Mälardalen Univ., SE Marisol García Valls, Univ. Pol. de València, ES J. Javier Gutiérrez, Univ. de Cantabria, ES Jérôme Hugues, CMU/SEI (USA) Hubert Keller, Karlsruhe Institute of Technology, DE Patricia López Martínez, Univ. de Cantabria, ES Kristoffer Nyborg Gregertsen, SINTEF Digital, NO Laurent Pautet, Telecom ParisTech, FR Luís Miguel Pinho, CISTER/ISEP, PT Erhard Plödereder, Univ. Stuttgart, DE Jorge Real, Univ. Pol. de València, ES José Ruiz, AdaCore, FR Sergio Sáez, Univ. Pol. de València, ES Frank Singhoff, Univ. de Bretagne Occidentale, FR Tucker Taft, AdaCore, USA Elena Troubitsyna, Åbo Akademi Uni., FI Santiago Urueña, GMV, ES Tullio Vardanega, Univ. of Padua, IT Eugenio Villar Bonet, Univ. de Cantabria, ES *** Industrial Committee Ian Broster, Rapita Systems, UK Javier Coronel, FentISS, ES Dirk Craeynest, Ada-Belgium & KU Leuven, BE Thomas Gruber, Austrian Institute Of Technology (AIT), AT Ismael Lafoz, Airbus Defence and Space, ES Ahlan Marriott, White Elephant, CH Maurizio Martignano, Spazio IT, IT Laurent Rioux, Thales R&T, FR Marian Roselló, Terma, NL Jean-Pierre Rosen, Adalog, FR Emilio Salazar, GMV, ES *** 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