April 2018 - computational.science

Deadline of April 12 for CFP for Special Session on Virtualization in High Performance Computing and Simulation (VIRT 2018)
by Uday Kurkure 07 Apr '18

07 Apr '18

The deadline for submission is April 12th, 2018 for Special Session on Virtualization in High Performance Computing and Simulation (VIRT 2018). Please refer to http://hpcs2018.cisedu.info/2-conference/special- sessions---hpcs2018/session01-vhpc. *(VIRT 2018)* *CALL FOR PAPERS & PARTICIPATION* *As part of* *The 16th International Conference on High Performance Computing & Simulation (HPCS 2018)* *http://hpcs2018.cisedu.info/ <http://hpcs2018.cisedu.info/> or http://cisedu.us/rp/hpcs18 <http://cisedu.us/rp/hpcs18>* *July 16 – 20, 2018* *Orléans, France* *Paper Submission Deadline: April 12, 2018 - Extended* *Submissions could be for full papers, short papers, poster papers, or posters* *PURPOSE and SCOPE* Virtualization has become the foundation of cloud computing. The scale of cloud computing data centers is similar to the supercomputers used in High Performance Computing. Both involve millions of CPU cores, tens of thousands of accelerators like GPUs, FPGAs connected by high speed interconnects and different connection topologies. Studies have shown that the GPU utilization in HPC is often at 50%. Virtualization can be the key to increasing resource utilization and managing massive infrastructures efficiently. GPU vendors have introduced virtualized versions of GPUs. FPGAs are being deployed in virtual infrastructure. These and other developments in the field, along with future exascale systems, will provide increasing degree of virtualization within the systems. The goal of this session is to be an opportunity to discuss and exchange research on the different virtualization technologies and how they can be efficiently applied in High Performance Computing. Theoretical research, engineering solutions dealing with practical tradeoffs, and complex system implementation papers are welcomed. *The VIRT topics include (but are not limited to) the following: * - *Virtualization in HPC* o Energy efficient solutions for HPC applications in the cloud environment o High-availability based on system-level virtualization mechanisms for HPC o Fault tolerance mechanisms based on system-level virtualization mechanisms for HPC o Performance and evaluation of diverse HPC workloads in virtualization environment o Security Isolation, Resource Isolation and Data Isolation in Virtualized HPC o Flexibility and Ease of system administration and management for virtualized environments for HPC o Running diverse workloads o Running heterogeneous Operating Systems o Live Migration and Suspend/Resume of VMs to improve resource utilization and avoid downtime o Scheduling of resources and Workloads o Software Defined Data Centers (SDDC) o Hypervisors and other virtualization solutions tailored for HPC systems o Big Data and Analytics in Virtualized Environments o Enterprise High Performance Computing in Virtualized Environments - *Accelerators in Virtualized HPC Environments:* o Virtualized GPUs § Scheduling of Virtual GPUs o Using FPGAs in Virtualization Stack § Dynamic Reconfiguration of FPGAs - * IO Virtualization* o Network Virtualization o SR-IOV o Software Defined Networking (SDN) o Storage Virtualization o RDMA and vRDMA - *Containers in HPC* o Isolation of Multiple User-Spaces o Running containers in Virtual Machines - *Tools* o Virtualization solutions for dealing with heterogeneity in HPC environments o Compilers for heterogenous architectures involving GPUS, FPGAs, multi-core CPUs o Operating system support for virtualization in HPC systems o Debugging and/or profiling in virtual environments - *Algorithms* o Distributed Resource Scheduling o Distributed Computing - *Virtualization in Simulation* *INSTRUCTIONS FOR PAPER SUBMISSIONS* You are invited to submit original and unpublished research works on above and other topics related to *virtualization in high performance computing*. Submitted papers must not have been published or simultaneously submitted elsewhere until it appears in HPCS proceedings, in the case of acceptance, or notified otherwise. For Regular papers, please submit a PDF copy of your full manuscript, not to exceed 8 double-column formatted pages per template, and include up to 7 keywords and an abstract of no more than 400 words. Additional pages will be charged additional fee. Submission should include a completed online web based form (can also include a cover page) with authors' names, affiliation addresses, fax numbers, phone numbers, and all authors email addresses. Please, indicate clearly the corresponding author(s) although all authors are equally responsible for the manuscript. Short papers (up to 4 pages), poster papers and posters (please refer to http://hpcs2018.cisedu.info/1-call-for-papers-and- participation/call-for-posters for posters submission details) will also be considered. Please specify the type of submission you have. Please include page numbers on all preliminary submissions to make it easier for reviewers to provide helpful comments. Submit a PDF copy of your full manuscript to the special session paper submission site at https://cmt3.research.microsoft.com/VIRT2018 . Acknowledgement will be sent within 48 hours of submission. *Conference Policies* Only PDF files will be accepted, uploaded to the submission link above. Each paper will receive a minimum of three reviews. Papers will be selected based on their originality, relevance, significance, technical clarity and presentation, language, and references. Submission implies the willingness of at least one of the authors to register and present the paper, if accepted. At least one of the authors of each accepted paper will have to register and attend the HPCS 2018 conference to present the paper at the special session as scheduled. By submitting the paper to the HPCS conference, all authors agree to abide by all HPCS conference paper submission, publication and presentation policies as well as following ethical and professional codes of conduct, including those of the professional co-sponsoring organizations. Contents of manuscripts submitted to the tracks program committees shall be regarded as privileged as well and handled in the same manner and standards. For more information, please refer to the Authors Info <http://hpcs2018.cisedu.info/6-participants/author-s-info-hpcs2018> and Registration Info <http://hpcs2018.cisedu.info/6-participants/registration-info-hpcs2018> pages. *Proceedings* Accepted papers will be published in the Conference proceedings. Instructions for final manuscript format and requirements will be posted on the HPCS 2018 Conference web site. It is our intent to have the proceedings formally published in hard and soft copies and be available at the time of the conference. The proceedings is projected to be included in the IEEE or ACM Digital Library and indexed in all major indexing services accordingly. *SPECIAL ISSUE* Plans are underway to have the best papers, in extended version, selected for possible publication in a reputable journal as special issue. Detailed information will soon be announced and will be made available on the conference website. If you have any questions about paper submission or the special session, please contact the special session organizers. *IMPORTANT DATES* *Paper Submissions: ------------------------------------------- April 12, 2018 - Extended* *Acceptance Notification: -------------------------------------- April 26, 2018* *Camera Ready Papers and Registration Due by: ----------- May 11, 2018* *Conference Dates: -------------------------------------------- July 16 – 20, 2018* *-Uday Kurkure* *Co-Chair for Special Session on Virtualization in High Performance Computing and Simulation (VIRT 2018)*

1 0

PSD 2018 Final Call for papers (submission deadline May 27, 2018)
by Catedra Unesco Privadesa De Dades 05 Apr '18

05 Apr '18

PRIVACY IN STATISTICAL DATABASES 2018 (PSD 2018) ================================================ *** CALL FOR PAPERS: HARD SUBMISSION DEADLINE MAY 27, 2018*** Valencia, Spain, Sep. 26-28, 2018 http://unescoprivacychair.urv.cat/psd2018 1. AIMS AND GOALS----------------- Privacy in statistical databases is about finding tradeoffs to the tension between the increasing societal and economical demand for accurate information and the legal and ethical obligation to protect the privacy of individuals and enterprises which are the respondents providing the statistical data. In the case of statistical databases, the motivation for respondent privacy is one of survival: statistical agencies or survey institutes cannot expect to collect accurate information from individual or corporate respondents unless these feel the privacy of their responses is guaranteed. Beyond respondent privacy, there are two additional privacy dimensions to be considered: privacy for the data owners (organizations owning or gathering the data, who would not like to share the data they have collected at great expense) and privacy for the users (those who submit queries to the database and would like their analyses to stay private). Co-utility has shown to provide sustainable solutions to user privacy. "Privacy in Statistical Databases 2018" (PSD 2018) is a conference sponsored and organized by the UNESCO Chair in Data Privacy (http://unescoprivacychair.urv.cat) with proceedings published by Springer-Verlag in Lecture Notes in Computer Science. The purpose of PSD 2018 is to attract world-wide, high-level research in statistical database privacy. PSD 2018 is a successor to PSD 2016 (Dubrovnik, Sep. 14-16, 2016 https://unescoprivacychair.urv.cat/psd2016/) PSD 2014 (Eivissa, Sep. 17-19, 2014, http://unescoprivacychair.urv.cat/psd2014/) PSD 2012 (Palermo, Sep. 26-28, 2012, http://unescoprivacychair.urv.cat/psd2012) PSD 2010 (Corfu, Sep. 22-24, 2010, http://unescoprivacychair.urv.cat/psd2010) PSD 2008 (Istanbul, Sep. 24-26, 2008, http://unescoprivacychair.urv.cat/psd2008) PSD 2006 (Rome, Dec. 13-15, 2006, http://crises-deim.urv.cat/psd2006) and PSD 2004 (Barcelona, June 9-11, 2004, http://crises-deim.urv.cat/psd2004) all with proceedings published by Springer in LNCS 9867, LNCS 8744, LNCS 7556, LNCS 6344, LNCS 5262, LNCS 4302 and LNCS 3050, respectively. Those eight PSD conferences follow a tradition of high-quality technical conferences on SDC which started with "Statistical Data Protection-SDP'98", held in Lisbon in 1998 and with proceedings published by OPOCE, and continued with the AMRADS project SDC Workshop, held in Luxemburg in 2001 and with proceedings published in Springer LNCS 2316. Like the aforementioned preceding conferences, PSD 2018 originates in Europe, but wishes to stay a worldwide event in database privacy and SDC. Thus, contributions and attendees from overseas are welcome. 2. ORGANIZATION--------------- PROGRAM COMMITTEE (TO BE CONFIRMED AND POSSIBLY WITH ADDITIONAL NAMES) Jane Bambauer (University of Arizona, USA) Bettina Berendt (KU Leuven, Belgium) Elisa Bertino (CERIAS, Purdue University, USA) Aleksandra Bujnowska (EUROSTAT, European Union) Jordi Castro (Polytechnical University of Catalonia) Anne-Sophie Charest (Université Laval, Québec, Canada) Josep Domingo-Ferrer (Universitat Rovira i Virgili, Catalonia) Joerg Drechsler (IAB, Germany) Khaled El Emam (University of Ottawa, Canada) Mark Elliot (Manchester University, UK) Sarah Giessing (Destatis, Germany) Sara Hajian (Eurecat Technology Center, Catalonia) Alan Karr (CoDA, RTI, USA) Julia Lane (New York University, USA) Bradley Malin (Vanderbilt University, USA) Laura McKenna (Census Bureau, USA) Gerome Miklau (University of Massachusetts-Amherst, USA) Krish Muralidhar (The University of Oklahoma, USA) Anna Oganyan (National Center for Health Statistics, USA) Christine O'Keefe (CSIRO, Australia) Jerry Reiter (Duke University, USA) Yosef Rinott (Hebrew University, Israel) Pierangela Samarati (University of Milan, Italy) David Sánchez (Universitat Rovira i Virgili, Catalonia) Eric Schulte Nordholt (Statistics Netherlands) Natalie Shlomo (University of Manchester, UK) Aleksandra Slavkovic (Penn State University, USA) Jordi Soria-Comas (Universitat Rovira i Virgili, Catalonia) Tamir Tassa (The Open University, Israel) Vicenc Torra (Skövde University, Sweden) Vassilios Verykios (Hellenic Open University, Greece) William E. Winkler (Census Bureau, USA) Peter-Paul de Wolf (Statistics Netherlands) PROGRAM CHAIR Josep Domingo-Ferrer (UNESCO Chair in Data Privacy, Universitat Rovira i Virgili, Catalonia) GENERAL CHAIR Francisco Montes Suay (Universitat de València, Spain) ORGANIZATION COMMITTEE Joaquín Garcia-Alfaro (Télécom SudParis, France) Jesús Manjón (Universitat Rovira i Virgili, Catalonia) Romina Russo (Universitat Rovira i Virgili, Catalonia) 3. TOPICS OF INTEREST--------------------- Topics of interest include but are not limited to: - New anonymization methods for tabular data - New anonymization methods for microdata (including non-conventional microdata types such as trajectories, graphs, etc.) - Best anonymization practices for tabular data - Best anonymization practices for microdata - Co-utility for privacy preservation - Big data anonymization - Streaming data anonymization - Decentralized anonymization - Balancing data quality and data confidentiality in SDC - Differential privacy and other privacy models - SDC transparency issues - Onsite access centers - Remote access facilities - SDC software - Estimating disclosure risk in SDC - Record linkage methods - Real-life disclosure scenarios in EU-member states and abroad - Privacy preserving data mining (both cryptographic and non-cryptographic) - Private information retrieval - Privacy in web-based e-commerce - Privacy in healthcare - Privacy in official and corporate statistics - Other data anonymization issues 4. SUBMISSIONS-------------- Full papers containing either original technical contributions or high-quality surveys on the above topics or on related topics are sought. Camera-ready versions of accepted papers should be prepared using the LaTeX2e style or the Word template of Springer Verlag Lecture Notes in Computer Science. For LaTeX2e, a macro package llncs.zip and an example file typeinst.zip can be downloaded from http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0 For Microsoft Word, a template word.zip can be downloaded from the same page above. We encourage authors to use the above formats already for their submissions. The submission Web page for PSD 2018 is https://easychair.org/conferences/?conf=psd2018 LENGTH OF SUBMISSIONS. Using the above format with 11 point font, the paper should be at most 12 pages excluding bibliography and appendices, and at most 16 pages total. Committee members are not required to read appendices; the paper should be intelligible without them. Submissions not meeting these guidelines risk rejection without consideration of their merits. 5. PROCEEDINGS -------------- Among PSD 2018 accepted papers, a selection will be made based on quality and coverage and the selected papers will be published in the Lecture Notes in Computer Science (LNCS) series by Springer. This follows the tradition of the previous PSD conferences. The remaining accepted papers will be published in a CD with an ISBN. It is possible to submit a paper directly for the CD, which benefits from a later submission deadline (see CD-only dates below). The form of publication of an accepted paper will be clearly specified in the acceptance message. Both the LNCS volume and the CD will be *available at the conference*. 6. IMPORTANT DATES------------------ Submission deadline: **MAY 27, 2018** Acceptance notification: June 29, 2018 Proceedings version due: July 9, 2018 Conference: Sep. 26-28, 2018 CD-only submission deadline: July 9, 2018 CD-only acceptance notification: July 30, 2018 CD-only proceedings version due: Aug. 10, 2018 7. VENUE AND TRAVEL------------------- The conference will take place at the Botanical Garden of the Universitat de València, located in the old city of Valencia. http://www.jardibotanic.org/index.php?apid=presentacio-226 Further venue, travel and accomodation information will be posted in due course at http://unescoprivacychair.urv.cat/psd2018 A number of travel grants are made available by the UNESCO Chair in Data Privacy, especially for authors and delegates from transition countries. Information on grants is posted in the conference web site. 8. REGISTRATION Registration information will be posted no later than June 2018 at http://unescoprivacychair.urv.cat/psd2018

1 0

[Deadline: April 9, 2018] The Second International Workshop on Parallel and Distributed Data Mining (WPDM 2018)
by Massimo CAFARO 04 Apr '18

04 Apr '18

WPDM 2018 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: April 9, 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 April 9, 2018: Deadline for paper submission April 23, 2018: Notification of Acceptance. May 6, 2018: Early-bird Registration ends. May 6, 2018: Submission deadline for the final version of the Papers July 2-5, 2018: ICCSA 2018 Conference WORKSHOP ORGANIZERS Massimo Cafaro University of Salento, Italy Phone: +39 0832 297371 Fax: +39 0832 297235 Email: massimo.cafaro(a)unisalento.it Italo Epicoco University of Salento, Italy Phone: +39 0832 297235 Fax: +39 0832 297235 Email: italo.epicoco(a)unisalento.it Marco Pulimeno University of Salento, Italy Phone: +39 0832 297371 Fax: +39 0832 297235 Email: marco.pulimeno(a)unisalento.it Giovanni Aloisio University of Salento & Euro Mediterranean Center on Climate Change Foundation, Italy Phone: +39 334 6501704 Fax: +39 0832 297235 Email: giovanni.aloisio(a)unisalento.it International Program Committee: All submitted papers will be reviewed by the workshop technical program committee members. Program Committee formation is pending and will be finalised shortly. Current TPC members: Gianfranco Bilardi, University of Padova, Italy Matteo Ceccarello, University of Padova, Italy Alfredo Cuzzocrea, University of Trieste and ICAR-CNR, Italy Giuseppe Di Fatta, University of Reading, UK Ann Gordon-Ross, University of Florida, USA Giuliano Laccetti, University of Naples, Italy Pablo Moscato, University of Newcastle, Australia Mitsunori Ogihara, University of Miami, USA Takahiko Shintani, University of Electro-Communications, Japan Domenico Talia, University of Calabria, Italy Paolo Trunfio, University of Calabria, Italy Jeffrey D. Ullman, Stanford University, USA - ************************************************************************************ Massimo Cafaro, Ph.D. Associate Professor Dept. of Engineering for Innovation University of Salento, Lecce, Italy Via per Monteroni 73100 Lecce, Italy Voice/Fax +39 0832 297371 Web http://sara.unisalento.it/~cafaro E-mail massimo.cafaro(a)unisalento.it cafaro(a)ieee.org cafaro(a)acm.org CMCC Foundation Euro-Mediterranean Center on Climate Change Via Augusto Imperatore, 16 - 73100 Lecce massimo.cafaro(a)cmcc.it ************************************************************************************

1 0

23rd Int.Conf. Reliable Software Technologies, Ada-Europe 2018
by Dirk Craeynest 01 Apr '18

01 Apr '18

----------------------------------------------------------------------- Call for Participation *** PROGRAM SUMMARY *** 23rd International Conference on Reliable Software Technologies - Ada-Europe 2018 18-22 June 2018, Lisbon, Portugal http://www.ada-europe.org/conference2018 Organized by Univ. Lisboa and Ada-Europe, in cooperation with ACM SIGAda, SIGBED, SIGPLAN and the Ada Resource Association (ARA) *** Online registration open *** *** Early registration discount until May 14 *** *** Extensive info available on conference web site *** *** Highly recommended to book your hotel ASAP *** ----------------------------------------------------------------------- The 23rd International Conference on Reliable Software Technologies - Ada-Europe 2018 will take place in Lisbon, Portugal, from June 18 to 22. As per its traditional style, the conference will span a full week, including, from Tuesday to Thursday, three days of scientific, technical and industrial programs, along with tutorials and workshops on Monday and Friday. The Ada-Europe series of conferences has over the years become a leading international forum for providers, practitioners and researchers in reliable software technologies. These events highlight the increased relevance of Ada in general and in safety- and security-critical systems in particular, and provide a unique opportunity for interaction and collaboration between academics and industrial practitioners. Extensive information is available on the conference web site, such as an overview of the program, the list of accepted papers and industrial presentations, and descriptions of workshops, tutorials, keynote presentations, and social events. Also check the conference web site for registration, accommodation and travel information. The 16-page Advance Program brochure will shortly be available on the conference web site as well. Quick overview - Mon 18 & Fri 22: tutorials + workshops - Tue 19 - Thu 21: core program Proceedings - published by Springer - volume 10873 in Lecture Notes in Computer Science series - will be available at conference Program Chair - António Casimiro, LASIGE/U. Lisboa, Portugal casim at ciencias.ulisboa.pt Keynote speakers - Paulo Esteves-Veríssimo, University of Luxembourg, Luxembourg, "Security and Dependability Challenges of IT/OT Integration" - Carl Brandon, Vermont Technical College, USA, "From Physicist to Rocket Scientist, and how to make a CubeSat that works" - 3rd speaker to be confirmed Workshops (full day) - "Runtime Verification and Monitoring Technologies for Embedded Systems" Workshop (RUME 2018) - 5th International Workshop on "Challenges and new Approaches for Dependable and Cyber-Physical Systems Engineering" (DeCPS 2018) Tutorials (full day) - "Recent Developments in SPARK 2014" Peter Chapin, Vermont Technical College, USA - "Scheduling analysis of AADL architecture models" Frank Singhoff, Lab-STICC/UBO, France Pierre Dissaux, Ellidiss Technologies, France Tutorials (half day) - "Access types and memory management in Ada 2012" Jean-Pierre Rosen, Adalog, France - "Design and architecture guidelines for trustworthy systems" William Bail, The MITRE Corporation, USA - "Numerics for the Non-Numerical Analyst" Jean-Pierre Rosen, Adalog, France - "Requirements development for safety and security critical systems" William Bail, The MITRE Corporation, USA - "Writing Contracts in Ada" Jacob Sparre Andersen, JSA Research & Innovation - "Introduction to Libadalang" R. Amiard, P.M. de Rodat Raphaël Amiard, Pierre-Marie de Rodat, AdaCore, France - "Unit-testing with Ahven" Jacob Sparre Andersen, JSA Research & Innovation - "Frama-C, a Framework for Analysing C Code" Julien Signoles, CEA LIST, France Papers and Presentations - 10 refereed technical papers and 4 presentations in sessions on Safety and Security, Ada 202X, Handling Implicit Overhead, Real-time Scheduling, New Application Domains - 12 industrial presentations and experience reports in sessions on Ada in Industry, Space Systems, V&V of Safety-Cricital Software, Software Methodologies - submissions by authors from 19 countries, and accepted contributions from Austria, France, Germany, Italy, Norway Poland, Portugal, South Korea, Spain, Sweden, Switzerland, UK, USA Vendor exhibition and networking area - area features exhibitor booths, project posters, reserved vendor tables, and general networking options - several companies already committed; others expected to confirm soon - vendor presentation sessions in core program Social events - each day: coffee breaks in the exhibition space and sit-down lunches offer ample time for interaction and networking - Tuesday evening: Ada-Europe General Assembly, followed by Welcome Reception; location will be announced in April - Wednesday evening: transportation to restaurant "A Casa do Bacalhau", for the traditional Ada-Europe Conference Banquet; the name means "The House of the Codfish", so it is not too difficult to guess what is their speciality - Best Paper and Best Presentation awards will be handed out Registration - online registration is open at <http://www.ada-europe.org/conference2018/registration.html> - early registration discount up to Monday May 14, 2018 - additional discount for academia, Ada-Europe, ACM SIGAda, SIGBED and SIGPLAN members - student discounts are available - registration includes copy of printed proceedings at event - includes coffee breaks and lunches - three day conference registration includes all social events - tutorial fees reduced when taken together with 3-day conference - payment possible by credit card or bank transfer - see registration page for all details Promotion - recommended Twitter hashtags: #AdaEurope and/or #AdaEurope2018 - 16-page Advance Program brochure soon available online - support Ada-Europe 2018 with promotional poster available at <http://www.ada-europe.org/conference2018/posters/AE2018_poster.png> Please make sure you book accommodation as soon as possible. Lisbon will be very busy in that week. For more info and latest updates see the conference web site at <http://www.ada-europe.org/conference2018>. We look forward to seeing you in Lisbon in June 2018! ----------------------------------------------------------------------- Our apologies if you receive multiple copies of this announcement. Please circulate widely. Dirk Craeynest, Ada-Europe'2018 Publicity Chair Dirk.Craeynest(a)cs.kuleuven.be *** 23rd Intl.Conf.on Reliable Software Technologies - Ada-Europe'2018 *** June 18-22, 2018 ** Lisbon, Portugal *** http://www.ada-europe.org

1 0