- computational.science - lists.iccsa.org

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

HighPer 2018: early registration March 30
by IRDTA 29 Mar '18

29 Mar '18

HighPer 2018: early registration March 30*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line* ***************************************************************************** INTERNATIONAL SPRING SCHOOL ON HIGH PERFORMANCE COMPUTING HighPer 2018 San Sebastián / Donostia, Spain April 23-27, 2018 Organized by: Materials Physics Center (CSIC-UPV/EHU), Donostia International Physics Center (DIPC), and Rovira i Virgili University http://grammars.grlmc.com/HighPer2018/ ***************************************************************************** --- Early registration deadline: March 30, 2018 --- ***************************************************************************** SCOPE: HighPer 2018 will be a research training event with a global scope aiming at updating participants about the most recent advances in the critical and fast developing area of high performance computing, which covers a large spectrum of current exciting research and industrial innovation with an extraordinary potential for a huge impact on scientific discoveries, medicine, engineering, business models, and society itself. Renowned academics and industry pioneers will lecture and share their views with the audience. Most subareas of high performance computing will be displayed, from foundations, infrastructure and management to applications. Major challenges in the field will be identified through 1 keynote lecture, 19 five-hour and fifteen-minute courses, and 1 round table, which will tackle the most active and promising topics. The organizers are convinced that outstanding speakers will attract the brightest and most motivated students. Interaction will be a main component of the event. An open session will give participants the opportunity to present their own work in progress in 5 minutes. Moreover, there will be two special sessions with industrial and recruitment profiles. ADDRESSED TO: Master students, PhD students, postdocs, and industry practitioners will be typical profiles of participants. However, there are no formal pre-requisites for attendance in terms of academic degrees. Since there will be a variety of levels, specific knowledge background may be assumed for some of the courses. Overall, HighPer 2018 is addressed to students, researchers and practitioners who want to keep themselves updated about recent developments and future trends. All will surely find it fruitful to listen and discuss with major researchers, industry leaders and innovators. STRUCTURE: 3 courses will run in parallel during the whole event. Participants will be able to freely choose the courses they wish to attend as well as to move from one to another. VENUE: HighPer 2018 will take place in San Sebastián, a famous touristic coastal city in the Basque Country which was European Capital of Culture 2016. The venue will be: Centro Ignacio María Barriola Universidad del País Vasco / Euskal Herriko Unibertsitatea Campus de Gipuzkoa Plaza Elhuyar, 1 20018 San Sebastián / Donostia Spain KEYNOTE SPEAKER: Tony Hey (Rutherford Appleton Laboratory, UK Science and Technology Facilities Council), Big Scientific Data and Data Science PROFESSORS AND COURSES: Srinivas Aluru (Georgia Institute of Technology), [intermediate] High Performance Computational Biology David A. Bader (Georgia Institute of Technology), [introductory/intermediate] Massive-scale Graph Analytics Ümit V. Çatalyürek (Georgia Institute of Technology), [introductory/intermediate] HPC Graph Analytics Alan Edelman (Massachusetts Institute of Technology), [introductory] Julia, with an Introduction to Performance and Machine Learning Richard Fujimoto (Georgia Institute of Technology), [intermediate] Parallel Discrete Event Simulation Timothy C. Germann (Los Alamos National Laboratory), [intermediate] HPC Frontiers in Computational Materials Science and Engineering Lennart Johnsson (University of Houston), [introductory/intermediate] Energy Efficient Computing Alfio Lazzaro (University of Zurich), [introductory/intermediate] Code Performance Optimizations Andrew Lumsdaine (Pacific Northwest National Laboratory), [intermediate/advanced] Modern C++ for High-performance Computing Madhav Marathe (Virginia Polytechnic Institute and State University), [introductory/advanced] Massively Interacting Bio-social Systems: Pervasive, Personalized and Precision Analytics Frank Mueller (North Carolina State University), [introductory/intermediate] How to Parallelize Your Code: Taking Stencils from OpenMP to MPI, CUDA and TensorFlow Adrian Sandu (Virginia Polytechnic Institute and State University), [introductory/intermediate] Revealing Parallelism: How to Decompose your Problem into Concurrent Tasks Vivek Sarkar (Georgia Institute of Technology), [introductory] Fundamentals of Parallel, Concurrent, and Distributed Programming Marc Snir (University of Illinois at Urbana-Champaign), [introductory] Programming Models and Run-times for High-Performance Computing Josep Torrellas (University of Illinois at Urbana-Champaign), [intermediate/advanced] Parallel Computer Architecture Concepts Todd J. Treangen (University of Maryland, College Park), [intermediate] Metagenomic Assembly and Validation Elena Vataga (University of Southampton), [introductory] Hands-on Introduction to HPC for Life Scientists Uzi Vishkin (University of Maryland, College Park), [introductory/intermediate] Parallel Algorithmic Thinking and How It Has Been Affecting Architecture David Walker (Cardiff University), [intermediate] Parallel Programming with OpenMP, MPI, and CUDA OPEN SESSION An open session will collect 5-minute voluntary presentations of work in progress by participants. They should submit a half-page abstract containing title, authors, and summary of the research to david.silva409 (at) yahoo.com by April 16, 2018. INDUSTRIAL SESSION: A session will be devoted to 10-minute demonstrations of practical applications of high performance computing in industry. Companies interested in contributing are welcome to submit a 1-page abstract containing the program of the demonstration and the logistics needed. At least one of the people participating in the demonstration should have registered for the event. Expressions of interest have to be submitted to david.silva409 (at) yahoo.com by April 16, 2018. EMPLOYER SESSION: Firms searching for personnel well skilled in high performance computing will have a space reserved for one-to-one contacts. At least one of the people in charge of the search should have registered for the event. Expressions of interest have to be submitted to david.silva409 (at) yahoo.com by April 16, 2018. ORGANIZING COMMITTEE: Íñigo Aldazabal Mensa (co-chair) Carlos Martín-Vide (co-chair) Manuel J. Parra-Royón Txomin Romero Asturiano (co-chair) David Silva REGISTRATION: It has to be done at http://grammars.grlmc.com/HighPer2018/registration.php The selection of up to 8 courses requested in the registration template is only tentative and non-binding. For logistic reasons, it will be helpful to have an estimation of the respective demand for each course. During the event, participants will be free to attend the courses they wish. Since the capacity of the venue is limited, registration requests will be processed on a first come first served basis. The registration period will be closed and the on-line registration facility disabled when the capacity of the venue is exhausted. It is highly recommended to register prior to the event. FEES: Fees comprise access to all courses and lunches. There are several early registration deadlines. Fees depend on the registration deadline. ACCOMMODATION: Suggestions for accommodation are available on the webpage. CERTIFICATE: Participants will be delivered a certificate of attendance indicating the number of hours of lectures. QUESTIONS AND FURTHER INFORMATION: david.silva409 (at) yahoo.com ACKNOWLEDGMENTS: Centro de Física de Materiales (CSIC-UPV/EHU) Donostia International Physics Center (DIPC) Universitat Rovira i Virgili

1 0

CFP - Intl. Conf. on Advances in Computing, Communications and Informatics (ICACCI'18)
by Peter Mueller 28 Mar '18

28 Mar '18

Seventh International Conference on Advances in Computing, Communications and Informatics (ICACCI-2018) September 19-22, 2018, Bangalore, India http://icacci-conference.org/2018/ Technically Co-sponsored by IEEE and IEEE Communications Society ====================================================================== Submission Deadline (Main Tracks and Special Sessions): April 30, 2018 Symposiums have their own submission deadlines! Please refer to the corresponding web pages for detailed information. ====================================================================== The scope of ICACCI is to provide an international forum for the exchange of ideas among interested researchers, students, developers, and practitioners in the areas of computing, communications, and informatics. Material is presented in a program of technical sessions, panel discussions, symposiums, tutorials, posters, demos, exhibits, workshops, doctoral consortium, lightning talks and plenary/keynote talks. The accepted and presented papers will be published in the conference proceedings. The proceedings will be submitted to the IEEE Xplore Digital Library, Scopus, DBLP, Ei Compendex, Web of Science and Google Scholar. We welcome submissions for ICACCI's technical program in the following tracks, special sessions and symposiums: - Communications - Computing and Informatics - Special Track on Hybrid Intelligent Models and Applications - Special Track on Internet of Things (IoT) Special Sessions: - Multimedia Security and Forensics - Advances in Computer Graphics and Visualization - Big Data Search and Mining - Energy-Efficient Wireless Communications and Networking - Mathematical Modeling and Scientific Computing - Malware Analysis and Forensics in Smart Phones - Image Analysis and Image Enhancement - Recent Advances in Adaptive Systems and Signal Processing - Next-Generation Internet and Communication Co-affiliated Symposiums: - Sixth International Symposium on Intelligent Informatics (ISI'18) - Fifth International Symposium on Computer Vision and the Internet (VisionNet'18) - Third Symposium on Advances in Applied Informatics (SAI'18) - Seventh Symposium on Natural Language Processing (NLP'18) - Sixth International Symposium on Women in Computing and Informatics (WCI'18) - Second Symposium on Recent Advances in Communication Theory, Information Theory, Antennas and Propagation (CIAP'18) - Third Symposium on Emerging Topics in Computing and Communications (SETCAC'18) - Sixth Symposium on Control, Automation, Industrial Informatics and Smart Grid (ICAIS'18) - Symposium on Advances in Artificial Intelligence and Neurotechnologies (AIN'18) - Symposium on Internet of Things, Fog Computing and Wireless Location Technologies (SIFL'18) - Symposium on Applications of Computational Intelligence and Machine Learning in Networked Systems (ACMiNS'18) - Symposium on VLSI Design and Embedded Computing (VDEC'18) - Symposium on Assistive Technologies for the Differently Abled (ATDA'18) - Symposium on Bioinformatics and Bioforensics (SBB'18) - Symposium on Green Networks and Distributed Systems (GNDS'18) - Symposium on Ensemble Networks and Software Engineering (SENSE'18) - Symposium on Wireless Sensor Technologies and Applications (WSTA’18) - Symposium on Signal Processing for Wireless and Multimedia Communications (SPWMC'18) - Symposium on Multimedia, Visualization and Human-Computer Interaction (SMVH'18) - Workshop on Virtual and Augmented Reality for Autonomous Driving and Intelligent Vehicles Authors should submit their papers online via EDAS system (EDAS Link: http://edas.info/N24343) Further instructions are posted at http://icacci-conference.org/2018/content/paper-submission-guidelines. All papers must include title, complete contact information for all authors, abstract, and keywords on the cover page. Three categories of submissions are accepted. Regular papers should present novel perspectives within the general scope of the conference. Short papers (Work-in-Progress) are an opportunity to present preliminary or interim results. Posters are intended for ongoing research projects, concrete realizations, or industrial applications/projects presentations. The conference only accepts full manuscripts with minimum 3 pages. Literature reviews/survey papers will only be considered if they present a new perspective or clearly benefit the field. To be published, such papers must go beyond a review of the literature to define the field in a new way or highlight exciting new technologies or areas of research. Contact: icacci.bangalore(a)gmail.com

1 0

FROM 2018 - Call for Papers
by Stefan Ciobaca 28 Mar '18

28 Mar '18

[Apologies for multiple copies] FROM 2018 - First Call for Papers WORKING FORMAL METHODS SYMPOSIUM (FROM) http://fmse.info.uaic.ro/event/from-2018/ 18 - 20 June 2018 Faculty of Computer Science Alexandru Ioan Cuza University Iasi, Romania Deadline for extended abstract submissions: 29 April 2018 Invited speakers who confirmed: see the web page of the event: http://fmse.info.uaic.ro/event/from-2018/ Aims and Scope Formal methods emphasize the use of mathematical techniques and rigour for developing software and hardware. They can be used to specify, verify, and analyse systems at any stage in their life cycle: requirements engineering, modeling, design, architecture, implementation, testing, maintenance and evolution. This assumes on one hand the development of adequate mathematical methods and frameworks and on the other hand the development of tools that help the user effectively apply these methods/frameworks. FROM 2018 is organized by the Faculty of Computer Science at the Alexandru Ioan Cuza University in Iasi, The Research Institute of the University of Bucharest (ICUB), and the Faculty of Mathematics and Computer Science at the University of Bucharest. FROM 2018 is the second event in a a yearly workshop series. The first edition was held in 2017 in Bucharest (see http://unibuc.ro/~conference/from2017) and it included sixteen invited talks, delivered by top researchers in field, and seven contributed talks. Starting with the current edition, the goal is to increase the weight of the contributed talks. The Working Formal Methods Symposium (FROM) aims to bring together researchers and practitioners who work on formal methods by contributing new theoretical results, methods, techniques, and frameworks, and/or make the formal methods to work by creating or using software tools that apply theoretical contributions. PhD Students are highly encouraged to participate and support for accommodation might be available upon request. The program of the symposium will include invited lectures and regular contributions. Submissions on the general topic of theoretical computer science, formal methods and applications are solicited. Areas and formalisms of interest include: - Category theory in computer science - Distributed systems and concurrency - Formal languages and automata theory - Formal modelling, verification and testing - Logic in computer science - Logical frameworks - Mathematical structures in computer science - Models of computation - Semantics of programming languages - Type systems Methods of interest include: - Automated reasoning and model generation - Automated induction - Certified programs - Data-flow and control-flow analysis - Deductive verification - Mechanized proofs - Model checking - Proof mining - Symbolic computation - Term rewriting Applications of interest include: - Computational logic - Computer mathematics - Knowledge representation, ontology reasoning, deductive databases - Program analysis - Verification and synthesis of software and hardware - Uncertainty reasoning and soft computing Submissions Regular contributions will be based on an extended abstract of maximum 4 pages, except references, formatted according to the Springer LNCS guidelines: http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0 The extended abstracts should be submitted before 29 April 2018, via EasyChair: https://easychair.org/conferences/?conf=from2018 The notification of acceptance will be received by 21 May 2018. Depending on the number and the quality of submissions, we will invite the authors of selected contributions to submit extended versions to a special issue of a well-ranked peer-reviewed journal.

1 0

Microservices: Science and Engineering - Workshop CFP @ STAF 2018
by Antonio Bucchiarone 28 Mar '18

28 Mar '18

MSE@STAF 2018 ======================================================================= CALL FOR PAPERS 3rd International Workshop on Microservices: Science and Engineering - MSE 2018 June 25, 2018 ENSEEIHT – IRIT, Toulouse Cedex - France http://mse-staf18.fbk.eu/ ======================================================================= AIMS AND MOTIVATION This workshop aims at bringing together contributions by scientists and practitioners to shed light on the development of scientific concepts, technologies, engineering techniques and tools for a service-based society. In particular, the focus is on Microservices, i.e., the use of services beyond the traditional cross-organizational B2B approach and the implementation of the model inside of applications, scaling in the small the concepts previously seen in the large. In Microservices, each component of a software is a service with the related issues of scalability and distribution of responsibility. Topics of interest include (but not limited to): - Design and implementation of Service-oriented Architectures and Microservices - Software engineering techniques for Microservices - Requirements Engineering for Microservices - Model-Driven Engineering for Microservices - Security in Microservices - Formal models and analyses of Microservice systems - Validation and Verification techniques for Microservices - Coordination models for Microservices - Empirical studies on services and Microservices - Programming languages for Microservices - Static analysis of Microservices - Testing of Microservice systems - Migration to Microservices - Adaptation and Evolution of Microservices SCOPE This workshop constitutes a forum for scientists and engineers in academia and industry to present and discuss their latest ongoing research as well as radical new research directions that represent challenging innovations, which can advance the status quo and the understanding in the Microservices area and its applications, in particular in the IoT and IoS where the scaling in the small approach is of major importance. We believe that STAF attendees might be interested in attending this workshop because of the relevance of its themes and goals to the Software Engineering (SE) and Formal Methods (FM). Also, industry partners and mobile developers are particularly welcome, thanks to their more practical approach, hopefully bringing some real scenario examples. IMPORTANT DATES Abstract submission: April 16, 2018 Workshop paper submission: April 23, 2018 Workshop paper notification: May 25, 2018 Workshop: June 25, 2018 INTENDED PAPER FORMAT The workshop welcomes research papers, experience papers and tool presentations; nevertheless, papers describing novel research contributions and innovative applications are of particular interest. Contributions can be: * Regular papers (maximum 15 pages): In this category fall those contributions which propose novel research contributions, address challenging problems with innovative ideas, or offer practical contributions in the application of FM and SE approaches for building future applications in the field of Microservices. Regular papers should clearly describe the situation or problem tackled, the relevant state of the art, the position or solution suggested and the potential benefits of the contribution. * Short papers (maximum 8 pages): This category includes tool demonstrations, position papers, industrial experiences and case-studies, well-pondered and sufficiently documented visionary papers. Authors of papers reporting industrial experiences are strongly encouraged to make their experimental results available for use by reviewers. Similarly, case-study papers should describe significant case-studies and the complete development should be made available for use by reviewers. Tool demonstration papers should explain enhancements made in comparison to previously published work. Authors of demonstration papers should make their tool available for use by reviewers. SUBMISSION INSTRUCTIONS and REVIEW CRITERIA We seek for both regular and short papers. Papers will be submitted as PDF files, using the SPRINGER LNCS proceedings format (see http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0) with a page limit of 15 pages. Short paper should be limited to 8 pages. Accepted papers of the MSE workshop will be published in a LNCS post-proceedings edited by the STAF Workshop co-chairs. You can submit the paper through EasyChair using this link: https://easychair.org/conferences/?conf=mse20180 WORKSHOP ORGANIZERS Antonio Bucchiarone (Fondazione Bruno Kessler, Trento, Italy) – bucchiarone(a)fbk.eu Sophie Ebersold (IRIT, Université de Toulouse, Toulouse, France) Florian Galinier (IRIT, Université de Toulouse, Toulouse, France) PROGRAM COMMITTEE Luciano Baresi, Politecnico di Milano, Italy Carlo Bellettini, University of Milan, Italy Marcello M. Bersani, Politecnico di Milano, Italy Matteo Camilli, University of Milan, Italy Martina De Sanctis, Fondazione Bruno Kessler, Trento, Italy Nicola Dragoni, Technical University of Denmark and Örebro University, Sweden Schahram Dustdar, TU Wien, Austria Madalina Erascu, West University of Timisoara, Romania Luca Ferrucci, ISTI-CNR, Italy Martin Garriga, Universidad Nacional del Comahue, Argentina Silvio Ghilardi, University of Milan, Italy Holger Giese, HPI, Germany Md. Ariful Islam, Carnegie Mellon University, Pennsylvania, USA Cruz-Filipe Luis University of Southern Denmark, Denmark Manuel Mazzara, Innopolis University, Russia Marina Mongiello, Politecnico di Bari, Italy Fabrizio Montesi, University of Southern Denmark, Denmark Sébastien Mosser, University of Nice, France Cesare Pautasso, University of Lugano, Switzerland Alfonso Pierantonio, University of L’Aquila, Italy Larisa Safina, Innopolis University, Russia Michael Sheng, Macquarie University, Sydney, Australia. Angelo Spognardi, Technical University of Denmark, Denmark Sung-Shik T. Q. Jongmans Open University of the Netherlands, The Netherlands Marisol Garcia-Valls, Universidad Carlos III de Madrid, Spain Manuel Wimmer, TU Wien, Austria -- -- Le informazioni contenute nella presente comunicazione sono di natura privata e come tali sono da considerarsi riservate ed indirizzate esclusivamente ai destinatari indicati e per le finalità strettamente legate al relativo contenuto. Se avete ricevuto questo messaggio per errore, vi preghiamo di eliminarlo e di inviare una comunicazione all’indirizzo e-mail del mittente. -- The information transmitted is intended only for the person or entity to which it is addressed and may contain confidential and/or privileged material. If you received this in error, please contact the sender and delete the material.

1 0

CFP 4th IEEE INTERNATIONAL SYMPOSIUM ON SMART ELECTRONIC SYSTEMS, December 2018
by Marina Gavrilova 28 Mar '18

28 Mar '18

IEEE iSES 2018 - DEADLINE: July 20, 2018 4th IEEE INTERNATIONAL SYMPOSIUM ON SMART ELECTRONIC SYSTEMS December 17-19, 2018, Hyderabad, India (Formerly IEEE International Symposium on Nanoelectronic and Information Systems (iNIS)) (http://www.ieee-ises.org) The primary objective of IEEE-iSES 2018 is to provide a platform for both hardware and software researchers to interact under one umbrella for further development of smart electronic systems. Efficient and secure data sensing, storage, and processing play pivotal roles in current information age. The state-of-the-art smart electronic systems cater to the needs of efficient sensing, storage, and computing. At the same time, efficient algorithms and software used for faster analysis and retrieval of desired information are becoming increasingly important. Big data which are large, complex data sets, are now a part of the Internet world. Storing and processing needs of the enormous amount of structured and unstructured data are getting increasingly challenging. At the same time, Internet of Things (IoT) and cyber-physical systems (CPS) have been evolving with simultaneous development of hardware and software and span across everyday consumer electronics. The performance and efficiency of the present as well as the future generations of computing and information processing systems are largely dependent upon advances in both hardware and software. iSES 2018 is sponsored by IEEE-CS under TCVLSI. iSES has been initiated as a sponsored meeting of Technical Committee on VLSI, IEEE-CS (http://www.ieee-tcvlsi.org/) that endorses a league of successful meetings such as ASAP, ISVLSI, ARITH, etc., which are now presented as "Sister Conferences" in the iSES website. iSES brings together leading scientists and researchers from academia and industry. Contributions are sought in (but are not limited to) the following areas: (1) Nanoelectronic VLSI and Sensor Systems (NVS) (2) Energy-Efficient, Reliable VLSI Systems (ERS) (3) Hardware/Software for Internet of Things (IOT) and Consumer Electronics (CE) (4) Hardware for Secure Information Processing (SIP) (5) Hardware/Software Solutions for Big Data (SBD) (6) Cyber Physical Systems and Social Networks (CSN) Detailed description of the tracks is provided in theISESwebsite. iNIS 2018 proceedings will be published by IEEE-CS conference publication services (CPS). Authors are invited to submit full-length (6 pages maximum), original, unpublished research papers with an abstract (200 words maximum). Papers violating length would be excluded from the review process. Previously published papers or papers currently under review for other conferences/journals should not be submitted and will not be considered for publication. Authors should submit their original work of maximum 6 pages using double-column IEEE-CS conference format-template (http://www.ieee.org/conferences_events/conferences/publishing/templates.html) A selected papers from iSES 2018 program will be invited for submission to a peer-reviewed journal special issue based on reviewer feedback and quality of conference presentation. Paper Submission Site: https://easychair.org/conferences/?conf=ises2018 Important dates of iSES2018 are the following: ---------------------------------------------- ---------------------------------------------- Submission Deadline: July 20, 2018 Acceptance Notification: September 15, 2018 Submission of Final Version: October 10, 2018 Special Sessions and Panels (SSP): iSES 2018 will consider proposals for special sessions as well as panels. Special session and panel proposals/papers can be submitted to "Special Sessions and Panels" track at the online submission link. The submission deadline is the same as specified for the regular paper submissions. All accepted special session papers will be published in the conference proceedings. Student Research Forum (SRF): iSES 2018 will host a student research forum. Authors should submit their original unpublished work of maximum 4 pages using IEEE-CS double-column conference format-template. Manuscripts in PDF format with author information (optional) should be submitted to the "Student Research Forum" track at the online submission link. The submission deadline is the same as specified for the regular paper submissions. All the accepted student research symposium papers will be published in the conference proceedings. Award Information: 3 student travel awards of $250 each for travel to iSES 2018. In addition, $150 for the best paper award. Following is the summary: (1) 3 TCVLSI Student Travel Award ($250 each) (2) 1 TCVLSI Best Paper Award ($150 each) --------------------------------------------------------------------- General Chairs: ------------ M.B Srinivas, BML Munjal University, India Sudeep Pasricha, Colorado State University, USA Program Chairs: ------------ Himanshu Thapliyal, University of Kentucky, USA Marina Gavrilova, University of Calgary, Canada P.V. Anand Mohan, CDAC, India Publication Chair: ------------ Karthikeyan Lingasubramanian, University of Alabama at Birmingham, USA Saurabh Kotiyal, Synopsys, Inc., USA Web Chair: ------------ Dhruva Ghai, Oriental University, India Publicity Chairs: ------------ Wei Zhang, HKUST, Hong Kong Kamalakanta Mahapatra, NIT Rourkela, India Neha Yadav, BML Munjal University, India Brij Gupta, NIT Kurukshetra, India Alak Majumdar, NIT Arunachal Pradesh, India Local Arrangement Chair: ------------ Dibakar RoyChowdary, Mahindra Ecole, India Special Session Chairs: ------------ Saket Srivastava, University of Lincoln, UK Anirban Sengupta, IIT Indore, India K. Subbarangaiah, Veda IIT, India Student Research Forum Chairs: ------------ Binsu Kailath, IIITDM Kancheepuram, India V S Kanchana Bhaaskaran, VIT University, India Manish Goswami, IIIT Allahabad, India Finance Chair: ------------ Bhargav Rajaram, Mahindra Ecole, India Registration Chair: ------------ Dibakar RoyChowdary, Mahindra Ecole, India Industry Liaison Chair: ------------ Rajnish Bajpai, Synopsys, Inc., USA Aditya Ramamurthy, Service Now, India Himabindu, Wipro, India Steering Committee: ----------- Saraju P. Mohanty, University of North Texas, USA, Chair Dhruva Ghai, Oriental University, India, Vice Chair Aida Todri-Sanial, CNRS-LIRMM, France Ashok Srivastava, Louisiana State University, USA Hai (Helen) Li, University of Pittsburgh, USA Himanshu Thapliyal, University of Kentucky, USA Jia Di, University of Arkansas, USA Nabanita Das, Indian Statistical Institute, India Prasun Ghosal, IIEST, Shibpur, India Sudeep Pasricha, Colorado State University, USA Xin Li, Carnegie Mellon University, USA

1 0

Postdoc position, Aston University, UK
by Herzallah, Randa 24 Mar '18

24 Mar '18

Dear all, A postdoc position “Harmonisation of Behavioural Dynamics of Quasi-Independent Agents of Limited Information” at Aston University, UK. A three-year postdoctoral position with competitive salary is available in the Systems Analytics Research Institute (SARI) within the School of Engineering and Applied Science at Aston University. The potential candidate has to be skilled, enthusiastic, motivated and dynamic, have a strong mathematical background, and has excellent interpersonal skills to work on an innovative research project funded by the Leverhulme Trust. For further information and how to apply please follow the following link https://jobs.aston.ac.uk/Vacancy.aspx?ref=R180111 Best regards, Randa SARI research institute, Aston University, Birmingham, Uk

1 0