- computational.science - lists.iccsa.org

CfP+CfA ::: IFIP World Computer Congress 2018
by Robert Wrembel 10 May '18

10 May '18

Call for Papers and Attendance INTERNATIONAL FEDERATION FOR INFORMATION PROCESSING WORLD COMPUTER CONGRESS Sep 17-21, 2018 Poznan, Poland wcc2018.org wcc2018.put.poznan.pl INTERNATIONAL FEDERATION FOR INFORMATION PROCESSING (IFIP) ------------------------------------------------------------------------ * The leading multinational organization in Information & Communications Technologies (ICT), established 60 years ago * Recognized by United Nations and other world bodies * Membership covers over 50 countries, with a total membership of over 350 000 * Includes over 100 Working Groups organized in 13 Technical Committees WORLD COMPUTER CONGRESS (WCC) ------------------------------------------------------------------------ The World Computer Congress is the main event of the International Federation For Information Processing, being organized since 1959. In the recent past, WCC was held in: Canada (2002), France (2004), Chile (2006), Italy (2008), Australia (2010), the Netherlands (2012), and Korea (2015). MAIN TOPICS OF WCC: http://wcc2018.org/program ------------------------------------------------------------------------ - Security and Privacy - Data Science - Big Data Management and Analysis - Enterprise Information Systems and Database Technologies - the Internet of Things - Entertainment Computing - Social Aspects of Information Technologies - the History of Computing CONTESTS ------------------------------------------------------------------------ - PhD Student Research Competition - Cybersecurity contest: Capture-the-Flag HIGHLIGHTS: http://wcc2018.put.poznan.pl/ ------------------------------------------------------------------------ Keynote talks ---------------- - Prof. Wil van der Aalst (one of the most cited computer scientists in the world, top expert in workflow management, process mining, Petri nets, business process management, process modeling, and process analysis) Talk title: Responsible Data Science in a Dynamic World - Dr. Jan Camenisch (a leading scientist in the area of privacy and cryptography, Principal Research Staff Member at IBM Research - Zurich) - Prof. Leslie Valiant (world-renowned for contributions to complexity theory, Turing Award holder) Talk title: What Needs to be Added to Machine Learning? - Shamika N. Sirimanne (world-renowned expert in disaster risk reduction) Available grants ---------------- - 7 participation grants for students presenting at PhD Student Research Competition (http://wcc2018.put.poznan.pl/PhD-Workshop) - 2-3 travel grants for PhD students from developing countries - 1 travel grant for a mature researcher from a developing country (http://wcc2018.put.poznan.pl/grants) CALL FOR PAPERS ------------------------------------------------------------------------ The following events have open calls for papers (for details see the web pages of individual events): http://wcc2018.put.poznan.pl/program - International Conference on Research and Practical Issues Enterprise Information Systems - IFIP Internet of Things Conference - International Symposium on Computer and Information Sciences - International Conference on Entertainment Computing - Histories of Computing in Eastern Europe - Semantics in Big Data Management - IT in Disaster Risk Reduction Conference - IT Research Workshop - Applied Data Science

1 0

Ada-Europe 2018 - early registration until May 14
by Dirk Craeynest 08 May '18

08 May '18

----------------------------------------------------------------------- 2nd Call for Participation *** UPDATED 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) *** Early registration discount until May 14 *** *** Add tutorials to your conference registration *** http://www.ada-europe.org/conference2018/tutorials.html *** Use conference poster to promote event *** http://www.ada-europe.org/conference2018/posters/AE2018_poster.png ----------------------------------------------------------------------- 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, as well as promotional material such as a ready-to-print conference poster and the 16-page Advance Program brochure. 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" - Erhard Plödereder, University of Stuttgart, Germany, "Vulnerabilities in Safety, Security, and Privacy" 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 on board of modern catamaran, to see Lisbon from a different perspective and watch the sunset from the Tagus river - 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 available online <http://www.ada-europe.org/conference2018/AdaEurope2018%20Advance%20Program.…> - 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

(CALL FOR PAPERS) PAW-ATM: Parallel Applications Workshop, Alternatives To MPI
by Morris, Karla NMN 08 May '18

08 May '18

************************************************ Call for Papers PAW-ATM: Parallel Applications Workshop, Alternatives To MPI Held in conjunction with SC 18, Dallas, TX <http://sourceryinstitute.github.io/PAW/> ************************************************ Summary As high-performance computing hardware incorporates increasing levels of heterogeneity, hierarchical organization, and complexity, parallel programming techniques necessarily grow in complexity or in their ability to abstract away complexity. The concurrent development of multi- and many-core processors, deep memory hierarchies, and accelerators and the variety of ways to combine these makes the low-level language route unmanageable for domain experts tasked with developing applications. The technologies that a competent developer might be expected to master and combine include MPI plus CUDA, OpenMP, and OpenACC, most commonly denoted MPI + X. This approach inherently saddles the developer with low-level details that might better be handled by high-level abstractions. Higher-level parallel programming models offer rich sets of abstractions that feel natural in the intended applications. Such languages and tools include (Fortran, UPC, Julia), systems for large-scale data processing and analytics (Spark, Tensorflow, Dask), and frameworks and libraries that extend existing languages (Charm++, Unified Parallel C++ (UPC++), Coarray C++, HPX, Legion, Global Arrays). While there are tremendous differences between these approaches, all strive to support better programmer abstractions for concerns such as data parallelism, task parallelism, dynamic load balancing, and data placement across the memory hierarchy. This workshop will bring together applications experts who will present concrete practical examples of using such alternatives to MPI in order to illustrate the benefits of high-level approaches to scalable programming. The workshop expands upon the two similar workshops, PAW16 and PAW17, by broadening the theme beyond partitioned global address space languages. We invite you to take part in the Parallel Applications Workshop, Alternatives To MPI, and to join this vibrant and diverse community of researchers and developers. Scope and Aims The scope of the PAW-ATM workshop is to provide a forum for exhibiting case studies of higher-level programming models as MPI alternatives in the context of applications as a means of better understanding applications of MPI alternatives. We encourage the submission of papers and talks detailing such applications, including characterizations of scalability and performance, of expressiveness and programmability, as well as any downsides or areas for improvement in existing higher-level programming models. In addition to informing other application programmers about the potential that is available through MPI alternatives, the workshop is designed to communicate these experiences to compiler vendors, library developers, and system architects in order to achieve broader support for high-level approaches to scalable programming. We also specifically encourage submissions covering big data analytics, deep learning, and other novel and emerging application areas, beyond well-established HPC domains. Topics include, but are not limited to: * Novel application development using parallel programming languages. * Examples that demonstrate performance, compiler optimization, error checking, and reduced software complexity. * Applications from big data analytics, bioinformatics, and other novel areas. * Performance evaluation of applications developed using MPI alternatives. * Algorithmic models enabled by high-level parallel abstractions. * Experience with the use of new compiler and runtime environments. * Libraries using or supporting MPI alternatives. * Benefits of hardware abstraction and data locality on algorithm implementation. Submissions Submissions are solicited in two categories: Full-length papers presenting novel research results: * Full-length papers will be published in the workshop proceedings in cooperation with IEEE TCHPC. Submitted papers must be original work that has not appeared in and is not under consideration for another conference or a journal. Papers shall not exceed eight (8) pages including text, appendices, references, and figures. Appendix pages related to the reproducibility initiative not included. Extended abstracts summarizing published/preliminary results: * Extended abstracts will be evaluated separately and will not be included in the published proceedings; they are intended for timely communications of novel work that is going to be formally submitted elsewhere at a later stage, and/or of already published work that is nonetheless deemed appropriate for dissemination in this venue. Extended abstracts shall not exceed four (4) pages. Accepted full-length papers will be given longer presentation slots at the workshop than the abstract-only option. Submissions shall be submitted through Linklings ( https://submissions.supercomputing.org ). Submissions must use 10pt fonts in the IEEE format ( https://www.ieee.org/conferences/publishing/templates.html ). The page limit includes figures, tables, and your appendices, but does not include references, for which there is no page limit. Reproducibility initiative dependencies (Artifact Description or Computational Results Analysis) are also not included in the page limit. PAW-ATM follows the reproducibility initiative of SC18, please refer to http://sourceryinstitute.github.io/PAW/ for additional information. WORKSHOP CHAIR * Karla Morris - Sandia National Laboratory ORGANIZING COMMITTEE * Bradford L. Chamberlain - Cray Inc. * Salvatore Filippone - Cranfield University * Costin Iancu - Lawrence Berkeley National Laboratory PROGRAM COMMITTEE CHAIR * Bill Long - Cray Inc. PROGRAM COMMITTEE * Bradford L. Chamberlain - Cray Inc. * Valentin Churavy - Massachusetts Institute of Technology * Salvatore Filippone - Cranfield University, UK * Alex Gittens - Rensselaer Polytechnic Institute * Costin Iancu - Lawrence Berkeley National Laboratory * Hartmut Kaiser - Louisiana State University * Laxmikant Kale - University of Illinois * Seung-Hwan Lim - Oak Ridge National Laboratory * Bill Long - Cray Inc. * Karla Morris - Sandia National Laboratories * Mitsuhisa Sato - RIKEN Advanced Institute for Computational Science * Sean Treichler - NVIDIA * Jeremiah J. Wilke - Sandia National Laboratories ADVISORY COMMITTEE * Damian W. I. Rouson - Sourcery Institute * Katherine A. Yelick - Lawrence Berkeley National Laboratory IMPORTANT DATES: * Submission Deadline: July 31, 2018 * Author Notification: September 1, 2018 * Camera Ready: October 1, 2018 * Workshop Date: November 11--16, 2018

1 0

FROM 2018 - 3rd CFP - Deadline Extended to 11 May
by Stefan Ciobaca 29 Apr '18

29 Apr '18

[Apologies for multiple copies] FROM 2018 - Third Call for Papers WORKING FORMAL METHODS SYMPOSIUM (FROM) http://fmse.info.uaic.ro/event/from-2018/ Special Issue in Fundamenta Informaticae 18 - 20 June 2018 Faculty of Computer Science Alexandru Ioan Cuza University Iasi, Romania New! Extended deadline for abstract submissions: 11 May 2018 (firm) Old deadline: 29 April 2018 Notification: 21 May 2018 Invited speakers: Călin Belta, Boston University, US Radu Călinescu, University of York, UK Cătălin Dima, Universite Paris-Est Creteil, France Dragos Gavrilut, Bitdefender and Alexandru Ioan Cuza University, Romania Radu Grigore, School of Computing University of Kent, UK Radu Grosu, Vienna University of Technology, Austria Cătălin Hriţcu, INRIA Paris, France Mircea Marin, West University of Timișoara, Romania Grigore Roşu, University of Illinois at Urbana-Champaign, US Viorica Sofronie-Stokkermans, University Of Koblenz, Landau, Germany Gheorghe Ștefănescu, University of Bucharest, Romania 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. The authors of the best contributions will be invited to submit extended versions to a special issue of Fundamenta Informaticae. Laurențiu Leuștean, co-chair FROM 2018 Dorel Lucanu, co-chair FROM 2018

1 0

Call for participation: Oregon Programming Languages Summer School, July 9-21, 2018, Eugene, OR
by Boyana Norris 25 Apr '18

25 Apr '18

Call for Participation: Oregon Programming Languages Summer School, July 9-21, 2018, Eugene, OR https://www.cs.uoregon.edu/research/summerschool/summer18/ <https://www.cs.uoregon.edu/research/summerschool/summer18/> The Oregon Programming Languages Summer School is devoted to teaching the principles of programming languages to students and professionals. Although the topics vary from year to year, the unifying theme is the importance of fundamental theory to the design and implementation of programming languages, the development of program verification tools, and the application of advanced programming languages to practice. The summer school attracts participants from around the world, and is often able to subsidize the participation of qualified attendees with limited resources. More than a thousand participants have attended OPLSS since its inception in 2002. The summer school is sponsored by the National Science Foundation, and by generous grants from numerous companies over the years. This year's program is entitled Concurrency and Parallelism, and is co-organized by Guy Blelloch. Parallelism and concurrency are central issues in programming, and enjoy richly developed theoretical foundations that are directly applicable to programming practice. The two topics are closely related, but it is helpful to distinguish their separate purposes as well as consider their close relation to each other. Parallelism is principally concerned with efficiency, making programs run faster by taking advantage of multiple processing elements. Making parallelism practical requires fundamental theories of cost semantics and parallel algorithms, and requires the development of sophisticated compilers and run-time systems. Concurrency is principally concerned with program composition, building a composite system from components that execute independently and interact with one another. There is much active research on the design and semantics of concurrent programming languages, and on the development of verification tools to ensure their correctness. This year's speakers will address many of these topics from various perspectives. The main program takes place over two weeks, with ample time for group and private study, and to take advantage of the many recreational opportunities around Eugene. For the first time this year there will be an additional week at the start for teaching the basics of programming language theory to students with little or no prior experience. For more details and to register, go to https://www.cs.uoregon.edu/research/summerschool/summer18/ <https://www.cs.uoregon.edu/research/summerschool/summer18/> -- Boyana Norris https://ix.cs.uoregon.edu/~norris <https://ix.cs.uoregon.edu/~norris> -- Boyana Norris https://ix.cs.uoregon.edu/~norris

1 0

FROM 2018 - Second Call for Papers (special issue in Fundamenta Informaticae)
by Stefan Ciobaca 23 Apr '18

23 Apr '18

[Apologies for multiple copies] FROM 2018 - Second Call for Papers WORKING FORMAL METHODS SYMPOSIUM (FROM) http://fmse.info.uaic.ro/event/from-2018/ New! Special Issue: Fundamenta Informaticae 18 - 20 June 2018 Faculty of Computer Science Alexandru Ioan Cuza University Iasi, Romania Deadline for extended abstract submissions: 29 April 2018 Invited speakers: Călin Belta, Boston University, US Radu Călinescu, University of York, UK Cătălin Dima, Universite Paris-Est Creteil, France Dragos Gavrilut, Bitdefender and Alexandru Ioan Cuza University, Romania Radu Grigore, School of Computing University of Kent, UK Radu Grosu, Vienna University of Technology, Austria Cătălin Hriţcu, INRIA Paris, France Mircea Marin, West University of Timișoara, Romania Grigore Roşu, University of Illinois at Urbana-Champaign, US Viorica Sofronie-Stokkermans, University Of Koblenz, Landau, Germany Gheorghe Ștefănescu, University of Bucharest, Romania 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. The authors of the best contributions will be invited to submit extended versions to a special issue of Fundamenta Informaticae. Laurențiu Leuștean, co-chair FROM 2018 Dorel Lucanu, co-chair FROM 2018

1 0

Workshop on Statistical Modelling Using Health Data in R & SPSS
by Ashish gaur 23 Apr '18

23 Apr '18

Dear Madam/Sir, It is a matter of immense pleasure that the *Department of Biostatistics, Swami Rama Himalayan University, Dehradun, Uttarakhand *will be organizing Workshop Series for the academic year 2017-2018 followed by Seventh Workshop on *Statistical Modelling Using Health Data in R & SPSS on 07th to 11th May, 2018 *at *Department of Biostatistics, Swami Rama Himalayan University, Dehradun. * In an effort to enhance the competence of budding researchers (postgraduate students and faculty). This Workshop organized by the department will enable the participants, to know the application of biostatistics for medical research using R and SPSS. This is a genuine hands-on experience workshop with illustrious faculty from prestigious institutes. *Dr. Anil C. Mathew* Professor, Division of Biostatistics, Department of Community Medicine, P.S.G Institute of Medical Sciences & Research, Coimbatore, Kerala *Dr. Gulab Singh* Assistant Professor, Department of Mathematics and Statistics, Banasthali Vidyapeeth, Jaipur, Rajasthan *Dr. Kh. Jitenkumar Singh* Scientist-D National Institute of Medical Statistics, Indian Council of Medical Research New Delhi Ø *Offline Registration:* You can also apply through offline on department email hod.biostats(a)srhu.edu.in and demand draft will be made in favor of “Swami Rama Himalayan University” payable at State Bank of India, Jolly Grant, Dehradun Branch (Code: 10580) to The Registrar, Swami Rama Himalayan University, Swami Ram Nagar, P.O. Doiwala, Dehradun-248140 Uttarakhand. OR submit fees in cash in Department. Ø *Online Registration link is given below:* https://forms.srhu.edu.in/index.php/bio-statistics-workshop/ *Kindly circulate this information to faculties and postgraduate students of your respective department.* ------------------------------------------------------------ ------------------------------------------------------------ ----------------------------------------------------------------- ------------------------------ *Shubham Pandey* Organizing Chairperson, Asstt. Professor & Incharge, Department of Biostatistics, Swami Rama Himalayan University Dehradun, Uttarakhand, India Mob: 8400192344 Off.-0135-2471545 *For registration, contact:* Ashish Gaur Organizing Secretary Department of Biostatistics, Swami Rama Himalayan University Dehradun, Uttarakhand, India Contact No: 7831839434, 7007027833, 9560750241 Email: hod.biostats(a)srhu.edu.in ashishgaur.or(a)gmail.com -------------------------------------------------- Ashish Gaur Department of Biostatistics Swami Rama Himalayan University Dehradun.

1 0

CfP: 25th IEEE International Conference on High Performance Computing, Data, and Analytics (HiPC 2018)
by Anand Panangadan 22 Apr '18

22 Apr '18

------------------------------------------------------------ ------------------------------------ 25th IEEE International Conference on High Performance Computing, Data, and Analytics (HiPC 2018) December 17-20, 2018 Bengaluru, India www.hipc.org ------------------------------------------------------------ ------------------------------------ IMPORTANT DATES FOR HiPC 2018 •June 8..................Abstracts Due •June 15................Paper Submission Deadline •August 8-15........Rebuttals •September 7.......Author Notification •October 3...........Camera Ready Submission ------------------------------------------------------------ ------------------------------------ HiPC 2018 CALL FOR PAPERS Full information on what/where to submit is available at http://hipc.org/call-for-papers/ 2018 marks the Silver Anniversary of HiPC as we broaden the technical program to specifically include topics related to data science. The conference has a history of attracting participation from reputed researchers from all over the world and receives strong industry support from companies operating globally and also established in India. In addition to the two days of industry exhibits, the sponsoring partners to the conference hold industry symposiums to bring together providers and users of HPC in a forum for presenting state-of-the-art in HPC platforms and technologies, for discussing best practices, and for exchanging experiences. In the last couple years, HiPC has added workshops to its technical program and along with a Student Research Symposium and academic Birds-of-a-Feather sessions, and the conference makes room for a broad list of topics to be addressed by these events including: Algorithms: - Design of Parallel and Distributed Algorithms - Algorithmic Techniques to Improve Energy and Power Efficiency - Quantum and Bio-Inspired Algorithms - Resilient and Fault Tolerant Algorithms - Parallel algorithms for Numerical Linear Algebra - Concurrent Algorithms and Data Structures - Load Balancing, Scheduling and Resource Management - Parallel Graph Algorithms - Algorithms for Combinatorial Scientific Computing - Parallel Algorithms for Computational Biology - Streaming Algorithms Architectures: - Interconnection Networks and Architectures - Cache/Memory Architecture for High Performance Computing - High Performance/Scalable Storage Systems - Power-Efficient and Reconfigurable Architectures - Quantum and Bio-Inspired Architectures - Software Support and Advanced Micro-architecture Techniques - Resilient and Fault Tolerant Architectures Applications: - Big Data Computing and Applications - Cross-Cutting Methods such as Co-Design of Parallel Algorithms, Software, and Architectures - Emerging Applications such as Biotechnology, IoT, and Nanotechnology - Hardware Acceleration for Parallel Applications - Parallelism in Scientific Data Visualization and Visual Analytics - Scientific/Engineering/Industrial Applications and Workloads - Scalable Machine Learning and Data Mining Applications - Scalable Graph and other Irregular Applications - Design of Simulation Applications and Peta- and Exascale Applications Systems Software: Big Data Analytics Systems and Software Architectures Compiler Technologies for High-Performance Computing Exascale Computing, Cloud Platforms, Data Center Architectures and Services Parallel Languages, Programming Environments, and Performance Assessment Operating Systems for Scalable High -Performance Computing Hybrid Parallel Programming with GPUs and Accelerators Dealing with Uncertainties, Resilient/Fault-Tolerant Systems DATA SCIENCE: Big Data Algorithms and Analytics - Transparent and interpretable predictive models - Socially responsible learning - Learning with changing environment, domain adaptation - Learning with structured input and output - Model evolution - Large-scale Graph and network modeling and analytics - Stream data analytics - Model evolution - Unsupervised learning Big Data Systems and Software - Data science applications in healthcare, education, social science, business, transportation, energy, telecommunications, science, and humanities - Social mining analytics and applications - Visual analytic systems and software using large-scale data - Web search and recommendation systems - Social impact systems using big data - Privacy preserving big data software - Massive, cross-media, streaming systems - Human-in-the-loop systems - Crowdsourcing and collective intelligence applications - Large-scale data science for the social good One or more best paper awards will be given for outstanding contributed papers. Authors of selected high quality papers in HiPC 2018 will be invited to submit an extended version of their papers for possible publication in a special issue of Journal of Parallel and Distributed Computing. PROGRAM CHAIRS - Olivier Beaumont, Inria, France (High Performance Computing) - Srinivas Aluru, Georgia Institute of Technology, USA (Data Science) PROGRAM VICE-CHAIRS - Algorithms: Ananth Kalyanaraman Washington State University - Applications: Yogish Sabharwal, IBM Research – India - Architecture: Abdou Guermouche, University of Bordeaux - System Software: Judith Hill, Oak Ridge National Laboratory - Big Data Algorithms and Analytics: Jun (Luke) Huan, University of Kansas - Big Data Systems and Software: Lisa Singh, Georgetown University ------------------------------------------------------------ ------------------------------------ Full information detailing what/where to submit is available on the HiPC Website at www.hipc.org as well as notices and plans for other conference events including workshops and programs for students and industry. ------------------------------------------------------------ ------------------------------------ GENERAL CO-CHAIRS Chiranjib Sur, Shell India Yinglong Xia, Huawei Research, USA VICE GENERAL CO-CHAIRS Kishore Kothapalli, IIIT-Hyderabad, India Anand Panangadan, California State University, Fullerton, USA INDUSTRY LIAISON CO-CHAIRS Rama Govindaraju, Google, USA Jigar Halani, Nvidia, India Vivek Yadav, FullStackNet, India WORKSHOPS CO-CHAIRS Manish Parashar, Rutgers University, USA Anthony Simonet, Rutgers University, USA TUTORIAL CHAIR Saumil Merchant, Shell, India STUDENT RESEARCH SYMPOSIUM CO-CHAIRS Kishore Kothapalli, IIIT-Hyderabad, India Madhura Purnaprajna, Amrita University, India Ashok Srinivasan, Florida State University, USA INDUSTRY, RESEARCH & USER SYMPOSIUM CO-CHAIRS R. Badrinath, Ericcson, India Rajeev Muralidhar, Intel, India STEERING COMMITTEE CHAIR Viktor K. Prasanna, University of Southern California, USA LOCAL ARRANGEMENTS CO-CHAIRS Rajeev Muralidhar, Intel, India Thondiyil Venugopalan, India ------------------------------------------------ HiPC 2018 SPONSORSHIP ------------------------------------------------ •IEEE Computer Society Technical Committee on Parallel Processing (TCPP) •HiPC Education Trust, India In cooperation with •ACM Special Interest Group on Algorithms and Computation Theory (SIGACT) •ACM Special Interest Group on Computer Architecture (SIGARCH) •FIP Working Group on Concurrent Systems •Manufacturers' Association for Information Technology (MAIT) •National Association of Software and Service Companies (NASSCOM) ------------------------------------------------------------ ------------------------------------ Follow us on Twitter https://twitter.com/hipcconf Google+ https://plus.google.com/+HipcOrg Facebook https://www.facebook.com/hipc.conference/ ------------------------------------------------------------ ------------------------------------

1 0

6th School on Universal Logic : call for participation
by Christophe REY 20 Apr '18

20 Apr '18

-------------------------------------------------------------------------------------------- In exactly two months will start in Vichy, France the 6th School on Universal Logic http://www.uni-log.org/ULS6 This is a 5-day school with 30 tutorials on all aspects of logic (historical, philosophical, mathematical, computational) given by scholars from all over the world. The school will start by a round table "why study logic?" and will end with a round table "how to publish?" There also will be a poster session and the school will be followed by a 6-day congress. Some videos introducing UNILOG 2018 school tutorials: https://www.youtube.com/channel/UCW9jSSry0zoYz-FdREK5-Uw ------------------------------------------------------------------------------- U N I L O G - World Congress and School on Universal Logic - U N I LO G Montreux 2005, Xi'an 2007, Lisbon 2010, Rio 2013, Istanbul 2015, Vichy 2018 https://www.uni-log.org/vichy2018 https://www.facebook.com/UniversalLogicVichy/ ------------------------------------------------------------------------------------ ___________________________________________________ Christophe Rey Co-chair of the organizing committee of UNILOG 2018 UNILOG 2018 : Website <https://www.uni-log.org/vichy2018> - Facebook <https://www.facebook.com/UniversalLogicVichy/> - Registration <https://api.dsi.uca.fr/paybag/registration/form/event/UNILOG2018> - Youtube channel <https://www.youtube.com/channel/UCW9jSSry0zoYz-FdREK5-Uw> MCF / Associate professor - Université Clermont Auvergne Email <mailto:christophe.rey@uca.fr> - Homepage <http://fc.isima.fr/%7Ecrey/> Laboratoire LIMOS Campus Universitaire des Cézeaux 1 rue de la Chebarde TSA 60125 - CS 60026 63178 AUBIERE cedex Tel : +33 (0)4 73 40 50 37 Fax : +33 (0)4 73 40 50 01 IUT d'Allier, Dept MMI Vichy Pôle Universitaire Lardy 1, av. des Célestins 03200 VICHY Tel : +33 (0)4 70 30 43 92 Fax : +33 (0)4 70 30 43 78 ___________________________________________________

1 0

[simu-conf] Canada Research Chair, Postdoctoral, PhD and Masters positions at Carleton University (Ottawa, ON, Canada)
by vsim-conf＠sce.carleton.ca 19 Apr '18

19 Apr '18

The Department of Systems and Computer Engineering (SCE) at Carleton University, Ottawa, Canada, invites applications from qualified candidates for Two Canada Research Chair (CRC) Tier 2 appointments beginning on July 1, 2018, and a number of Postdoctoral, Doctoral and Masters positions. SCE at Carleton is a research-intensive Department and hosts a large and active community covering the Electrical and Computer Engineering spectrum, including Software Engineering, Computer Systems Engineering, Communication Engineering, and Biomedical Engineering. Full advantage is taken of the high concentration of industry, government, and university technology organizations in the Ottawa area. For more information about the Department, please visit https://carleton.ca/sce/ Tier 2 Chairs are intended for exceptional emerging researchers, and the two positions are in the fields of: * Model-driven system and software engineering: https://carleton.ca/provost/2018/systems-computer-engineering-model-driven-s ystem-software-engineering-canada-research-chair-tier-ii/ * Cybersecurity: https://carleton.ca/provost/2018/systems-computer-engineering-cybersecurity- assistant-professor-preliminary/ We also have a number of open Postdoctoral, PhD and Masters positions in different fields, ranging from Modeling, Cloud Computing, Communications Systems and Networks, Simulation, IoT up to Software Engineering, Biomedical Engineering, Autonomous Vehicles, AI, Data Science and others. For Qualifying Domestic students, we have a variety of Research Assistant positions, and a new $45K Scholarship for 3 years for PhD studies, and a free-tuition program for Masters and PhDs. Also, we offer and a 2-year free tuition scholarship for top International Masters and PhD students. For further information about these positions, contact the Associate Chair for Graduate Studies at gchair(a)sce.carleton.ca. Carleton University is a dynamic and innovative research and teaching institution with over 29,000 students, 950 academic faculty, and 2,000 staff. We encourage creative risk-taking enabling minds to connect, discover and generate transformative knowledge. Located in Ottawa, Ontario, Canada's capital city has a population of almost one million and reflects the country's bilingual and multicultural character. Further information: https://carleton.ca/ [Apologies for multiple postings. Problems/issues: contact vsim-conf-owner(a)sce.carleton.ca]

1 0

Joint Workshop on Deep (or Machine) Learning for Safety-Critical Applications in Engineering
by Mariam Kiran 19 Apr '18

19 Apr '18

Dear All, Apologies for cross posting. This is a Joint Workshop between ICML (https://icml.cc/Conferences/2 018/CallForWorkshops), AAMAS (http://celweb.vuse.vanderbilt .edu/aamas18/workshopsList/) and IJCAI (https://www.ijcai-18.org/workshops/ ). Modern technological advances in engineering fields such as automotive, aerospace, robotic, even data centers and networks, are exploiting machine learning to improve and maintain mission critical activities. These systems are large, complex and require real-time learning with feedback to ensure they function as desired. Detecting anomalies, analyzing failures and predicting future system state are imperative and are becoming part of engineering integrative approaches. Research in algorithmic methods to make real-time decisions based on fast arriving, high-volume condition data, on-site feedback and data models is needed to train machine learning models quickly and correctly. This workshop aims to bring together diverse researchers from areas such as reinforcement learning, autonomous agents, game theory, controls and operations engineering teams to develop approaches which enable real-time discovery, inference and computational tools. These techniques are aimed to influence engineering operations teams in aerospace, self-driving automotive, robotics, data centers and any engineering operations that automate mission-critical and safety applications. We encourage focus on aspects of deep learning to solve problems into domains where continuous training and fast results are needed without jeopardizing prediction accuracy. However, we also encourage exploration of new innovative machine learning approaches, which can solve these problems with improved latency. We are also seeking contributions in advances of streaming and distributed algorithms, heterogeneous and high-dimensional data sets and real-time decision- making algorithms for operations. Some possible topics of interests but not confined are: - *Adaptation*: How can systems learn and adapt to changes in the environment (especially in dynamic environments) when training data is less and requires quick model assumption. How can principles of autonomous agents working together to build large engineering systems be exploited to react in dynamic situations. - *Noisy and poor data sets*: How can machine learning models be trained to understand noisy data sets for quick learning. Missing data exploration? - *Detecting anomalous behavior:* How can anomalies be detected quickly and partitioned appropriately such that correct actions are applied? - *Improving latency:* How can machine learning algorithms be improved to produce results quickly than previously anticipated? - *Improving software and hardware performance:* Exploring models of GPU, HPC processing and FPGAs to improve the performance of algorithms can greatly influence their use in engineering design. Experimental demonstrations are encouraged to display this. - *Reinforcement learning:* How can machine learn correct behavior? Can training be made quicker with guidance to allow algorithms to produce corrective measure when anomalies are detected? - *Human factors:* how can engineers maintaining the system interact with the self- autonomous system - *Open problems in engineering where machine learning is not proving fruitful*. What are the open problems in operations where practical machine learning is difficult to apply? What are the limitations and how can these be improved? Workshop dates will be between 14th and 15th of July 2018, located as part of Joint IJCAI/ECAI/AAMAS/ICML Call for Workshops. Specific dates will be announced soon. Important dates: -------------------------- - Submission deadline: 28th May, 2018, 23:59 (PDT) - Author notification: 15th June, 2018 - Camera-ready (final) paper deadline: 1st July, 2018 - Workshop: 14th or 15th July, 2018 (To be confirmed) Submission Guidelines: -------------------------------- The abstract and paper submission deadline is the 28th of May 2018. Please upload the final PDF as an updated version in your existing submission on EasyChair. All submissions must obey the following formatting requirements. Submit papers of *no more than six (6)* single–spaced pages for long papers (and *four (4) for short papers*), including figures, tables, any appendices, etc., followed by as many pages as necessary for references. Submit papers formatted for printing on Letter-sized (8.5” by 11”) paper. Paper text blocks must follow ACM guidelines: double-column, with each column 9.25” by 3.33”, 0.33” space between columns. Each column must use 10-point font or larger, and contain no more than 55 lines of text. It is your responsibility to ensure that your submission satisfies the above requirements. If you are using LaTeX, you can make use of template for ACM conference proceedings. For your posters, we suggest A0 size measuring 841 × 1189 mm (33.1 × 46.8 in). Note that the workshop venue cannot accommodate posters larger than 910 × 1220 mm (36 × 48 in). All papers must be original and not simultaneously submitted to another journal or conference. The following paper categories are welcome: - Full papers describing mature solutions of deep learning in safety critical systems from various engineering domains such as security networks and self-autonomous cars or more. - Short paper on early demonstrations of deep learning in safety critical systems from various engineering domains. - Posters on early works (PhD students and early career researchers are particularly encouraged) Selected papers will be invited for publication, in Journal special issues such as Journal of Machine learning (pending). Program Committee: ------------------------------- - Mariam Kiran, Lawrence Berkeley National Lab, US - Alex Sim, Lawrence Berkeley National Lab, US - John Wu, Lawrence Berkeley National Lab, US - Samir Khan, University of Tokyo, Tokyo, Japan - Takehisa Yairi, University of Tokyo, Japan - Rajkumar Kettimuthu, Argonne National Laboratory, US Organizing committee: -------------------------------------- Mariam Kiran, Lawrence Berkeley National Lab Samir Khan University of Tokyo, Tokyo, Japan Contact: All questions about submissions should be emailed to <mkiran(a)es.net , khan(a)ailab.t.u-tokyo.ac.jp>.

1 0

Call for Workshop Paper: ARES 2018
by res.mb.conference 19 Apr '18

19 Apr '18

ARES 2018 - CALL FOR WORKSHOP PAPER ****************************************************************************************** The 13th International Conference on Availability, Reliability and Security (ARES 2018) August 27 - August 30, 2018, Hamburg, Germany http://www.ares-conference.eu<http://www.ares-conference.eu/> ****************************************************************************************** *********** Workshops @ ARES CONFERENCE ************ The 13th International Conference on Availability, Reliability and Security ("ARES") will bring together researchers and practitioners in the area of dependability. ARES will highlight the various aspects of security - with special focus on the crucial linkage between availability, reliability and security. ARES aims at a full and detailed discussion of the research issues of security as an integrative concept that covers amongst others availability, safety, confidentiality, integrity, maintainability and security in the different fields of applications. The workshops are central events for ARES as they provide an essential platform for researchers of various domains to present and discuss their current work and discuss work in progress. This year we can offer the conference attendees 12 workshops which range from "start-ups" to well-established ones. Workshops @ ARES 2018 and their submission deadlines: *7th International Workshop on Cyber Crimes (IWCC) *13th International Workshop on Frontiers in Availability, Reliability and Security (FARES 2013) / 29.04.2018 *2ne International Workshop on Security and Forensics of IoT (IoT-SECFOR) 30.04.2018 *International Workshop on Cyber Threat Intelligence (WCTI) 30.04.2018 *11th International Workshop on Digital Forensics (WSDF) 30.04.2018 *1st Interdisciplinary Workshop on Privacy and Trust (iPAT) 04.05.2018 *4th International Workshop on Secure Software Engineering (SSE) 06.05.2018 *International Workshop on Security Engineering for Cloud Computing (IWSECC) 13.05.2018 *5th International Workshop on Software Assurance (SAW) 13.05.2018 *7th International Workshop on Security of Mobile Applications (IWSMA) 14.05.2018 *Workshop on Security and Privacy-Enhanced Big Data (SPEBD) 15.05.2018 *2nd International Workshop on Criminal Usw of Information Hiding (CUING) 27.05.2018 These workshops are organized each on specific topics and thus offer researchers the opportunity to learn from a rich multi-disciplinary experience. *********** EU Projects Symposium @ ARES CONFERENCE ************ Based on the success of the workshops in conjunction with ARES 2016, in Salzburg, the ARES EU Projects Symposium will be held for the fourth time in conjunction with ARES 2018. The goal is to disseminate the results of EU research projects, meet potential project partners and exchange ideas within the scientific community. This year, 6 workshops will be held within the ARES EU Project Symposium (/ submission deadline): *European projects Clustering workshop on Cybersecurity and Privacy (EcoSP) 25.04.2018 *3rd Workshop on Security, Privacy and Identity Management in the Cloud (SECPID) 02.05.2018 *1st International Workshop on Cyber Threat Intelligence Management (CyberTIM) 04.05.2018 *International Workshop on Organized Cybercrime, Cybersecurity and Terrorist Networks (IWOCCTN) 13.05.2018 *Workshop on 5G Network Security (5G-NS) 15.05.2018 *International Workshop on Physical and Cyber Security in Port Infrastructures (PCSCP) / no paper submissions ************ CONFERENCE OFFICERS ************ General Chair Mathias Fischer, Universität Hamburg Dominik Herrmann, Universität Hamburg Program Committee Chairs Christian Doerr, TU Delft, Netherlands Sebastian Schrittwieser, FH St. Pölten, Austria ************ KEYNOTE SPEAKERS ************ Joan Daemen, Radboud University, Security Architect at ST Microelectronics Klaus-Robert Müller, Machine Learning Group TU Berlin, MPI for Informatics, Saarbrücken and Korea University, Seoul ************ IMPORTANT DATES ************ Submission Deadline: see each workshop Proceedings Version: June 29, 2018 Conference: August 27 - August 30, 2018 ************ SUBMISSION ************ ARES 2018 proceedings (including workshops) will be published by the International Conference Proceedings Series published by ACM (ACM ICPS). Authors of selected papers that are accepted by and presented at the ARES Conference (including workshops) will be invited to submit an extended version to special issues of international journals. Authors are invited to submit research and application papers according the following guidelines: two columns, single-spaced, including figures and references, using 10 pt fonts and number each page. For the workshops submission papers are have to be representing original, previously unpublished work: 8 pages, a maximum of 10 pages is tolerated Submitted papers will be carefully evaluated based on originality, significance, technical soundness, presentation and clarity of exposition. Simultaneous submission of the same work to multiple venues, submission of previously published work, or plagiarism constitutes dishonesty or fraud. ARES, like other scientific and technical conferences and journals, prohibits these practices and may take action against authors who have committed them. Double blind review: ARES requires anonymized submissions - please make sure that submitted papers contain no author names or obvious self-references. The ARES submission system (EasyChair) is available here: https://easychair.org/conferences/?conf=ares2018

1 0

MobiSPC 2018 CfPs: The 15th Intl. Conf. on Mobile Systems and Pervasive Computing, Gran Canaria, Spain FINAL CALL
by Davidekova Monika 19 Apr '18

19 Apr '18

CallforPapers The 15th International Conference on Mobile Systems and Pervasive Computing (MobiSPC'18), August 13-15, 2018, Gran Canaria, Spain http://cs-conferences.acadiau.ca/mobispc-18/<https://na01.safelinks.protection.outlook.com/?url=http%3A%2F%2Fcs-conferen…> IMPORTANT DATES - Paper Submission Due: April 20, 2018 (FINAL) - Acceptance Notification: May 15, 2018 - Final Manuscript Due: June 15, 2018 About Mobile Systems and Pervasive Computing (MobiSPC) have evolved into an active area of research and development. This is due to the tremendous advances in a broad spectrum of technologies and topics, including wireless networking, mobile and distributed computing, sensor systems, RFID technology, and the ubiquitous mobile phone. MobiSPC-2018 solicits papers that focus on the theory, systems, practices and challenges of providing users with a successful mobile or wireless experience. This includes how mobile computing changes how people pervasively use their computers, computing resources and applications, as well the systems, services and technologies enabling those applications. MobiSPC-2018 will provide a leading edge, scholarly forum for researchers, engineers, and students alike to share their state-of-the art research and developmental work in the broad areas of pervasive computing and mobile systems. Publication All MobiSPC 2018 accepted papers will be published by Elsevier Science in the open-access Procedia Computer Science series on-line. Procedia Computer Science is hosted by Elsevier on www.Elsevier.com<https://na01.safelinks.protection.outlook.com/?url=http%3A%2F%2Fwww.elsevie…> and on Elsevier content platform ScienceDirect (www.sciencedirect.com<https://na01.safelinks.protection.outlook.com/?url=http%3A%2F%2Fwww.science…>), and will be freely available worldwide. All papers in Procedia will be indexed by Scopus (www.scopus.com<https://na01.safelinks.protection.outlook.com/?url=http%3A%2F%2Fwww.scopus.…>) and by Thomson Reuters' Conference Proceeding Citation Index (http://thomsonreuters.com/conference-proceedings-citation-index/<https://na01.safelinks.protection.outlook.com/?url=http%3A%2F%2Fthomsonreut…>). All papers in Procedia will also be indexed by Scopus (www.scopus.com<https://na01.safelinks.protection.outlook.com/?url=http%3A%2F%2Fwww.scopus.…>) and Engineering Village (Ei) (www.engineeringvillage.com<https://na01.safelinks.protection.outlook.com/?url=http%3A%2F%2Fwww.enginee…>). This includes EI Compendex (www.ei.org/compendex<https://na01.safelinks.protection.outlook.com/?url=http%3A%2F%2Fwww.ei.org%…>). Moreover, all accepted papers will be indexed in DBLP (http://dblp.uni-trier.de/<https://na01.safelinks.protection.outlook.com/?url=http%3A%2F%2Fdblp.uni-tr…>). The papers will contain linked references, XML versions and citable DOI numbers. You will be able to provide a hyperlink to all delegates and direct your conference website visitors to your proceedings. Selected papers will be invited for publication, in the following special issues: - Journal of Ambient Intelligence and Humanized Computing (IF: 1.588), by Springer (http://www.springer.com/engineering/journal/12652<https://na01.safelinks.protection.outlook.com/?url=http%3A%2F%2Fwww.springe…>) - International Journal of Computing and Informatics (IF: 0.504), (http://www.cai.sk/ojs/index.php/cai/index<https://na01.safelinks.protection.outlook.com/?url=http%3A%2F%2Fwww.cai.sk%…>) - IEEE Intelligent Transportation Systems Magazine (IF: 3.654), by IEEE (http://ieeexplore.ieee.org/xpl/RecentIssue.jsp?punumber=5117645<https://na01.safelinks.protection.outlook.com/?url=http%3A%2F%2Fieeexplore.…>) MobiSPC 2018 will be held in conjunction with The 13th International Conference on Future Networks and Communications (FNC'18). http://cs-conferences.acadiau.ca/fnc-18/<https://na01.safelinks.protection.outlook.com/?url=http%3A%2F%2Fcs-conferen…> Venue MobiSPC 2018 is co-organized & co-hosted by the University of University of Las Palmas de Gran Canaria, Spain. MobiSPC 2018 will be held in Gran Canaria, Spain. Gran Canaria originally meaning "Great [Island] of Dogs" is the second most populous island of the Canary Islands, an African archipelago which is part of Spain, with a population of 847,830 (in 2015) that constitutes approximately 40% of the population of the archipelago. Located in the Atlantic Ocean about 150 kilometres (93 mi) off the northwestern coast of Africa and about 1,350 km (840 mi) from Europe. With an area of 1,560 km2 (602 sq. mi) and an altitude of 1,956 m (6,417 ft) at the Pico de las Nieves, Gran Canaria is the third largest island of the archipelago in both area and altitude. Committees General Chair Boris Magnusson, Lund University, Sweden Program Chairs Stephane Galland, Universite de Technologie de Belfort-Montbeliard, France Elhadi Shakshuki, Acadia University, Canada Local Chair Javier Sanchez Medina, University of Las Palmas de Gran Canaria, Spain Advisory Committee Nirwan Ansari, New Jersey Institute of Technology, USA Abdelfettah Belghith, University of Manouba, Tunisia Flavien Balbo, Ecole Nationale Superieure des Mines de Saint Etienne, France Erol Gelenbe, Imperial College, UK Vincenzo Loia, University of Salerno, Italy No‘l de Palma, Universite de Grenoble, France Ralf Steinmetz, Technische Universitaet Darmstadt, Germany Mohamed Younis, University of Maryland Baltimore County, USA Workshops Chair Haroon Malik, Marshall University, USA Tracks Chairs Habib M. Ammari, Fordham University, USA Longbiao Chen, Xiamen University, China Mohamed Guerroumi, USTHB University, Algeria Danny Hughes, K. U. Leuven, Belgium Francesco Piccialli, University of Naples, Federico II, Italy Zahoor Khan, HCT, UAE Prashant Kumar, University of Surrey, UK Marc Körner, TUB Berlin, Germany Christian Poellabauer, University of Notre Dame, USA Kashif Akhtar Saleem, KSA Michael Sheng, University of Adelaide, Australia David S. L. Wei, Fordham University, USA International Journals Chair Salvatore Cuomo, University of Naples Federico II, Italy Publicity Chairs Wim Ectors, Hasselt University, Belgium Monika Davidekova, Comenius University, Slovak Republic Technical Program Committee http://cs-conferences.acadiau.ca/mobispc-18/#programCommittees<https://na01.safelinks.protection.outlook.com/?url=http%3A%2F%2Fcs-conferen…>

1 0

CFP - Intl. Conference on Information Communication and Signal Processing (ICSP'18)
by Peter Mueller 18 Apr '18

18 Apr '18

Call for Papers ******************************************************************************* 2018 International Conference on Information Communication and Signal Processing ICSP 2018 September 28-30, 2018, Singapore URL: http://icsp.org/ ******************************************************************************* 2018 Internatoinal Conference on Information Communication and Signal Processing (ICSP 2018) will be held in Singapore on September 28-30, 2018. It focuses on all technical and practical aspects of information communication and signal processing. The goal of this conference is to bring together researchers and practitioners from academia and industry to focus on information communication and signal processing, and establishing new collaborations in these areas. Publication: Accepted and presented papers will be published in the conference proceedings, and submitted for Ei Compendex and Scopus index. CONFERENCE COMMITTEES Conference General Chairs Prof. Maode Ma, Nanyang Technological University, Singapore Conference Co-chair Prof. Xudong Jiang, Nanyang Technological University, International Technical Committee International Conference Technical Committees Prof. Chawalit Benjangkaprasert, King Mongkut's Institute of Technology Ladkrabang, Thailand Assoc. Prof. Juan Avalo, Instituto Politécnico Nacional, Mexico Dr. Wan Nural Jawahir Hj Wan Yussof, Universiti Malaysia Terengganu, Malaysia SUBMISSION METHOD Full Paper (publication and oral presentation) Abstract (oral presentation only) Electronic Submission System (pdf) http://www.easychair.org/conferences/?conf=icsp2018 IMPORTANT DATES Submission Deadline: May 15, 2018 Notification Deadline: June 5, 2018 Registration Deadline: June 20, 2018 CONTACT US Ms. Rachel Cao Email: iiicspconference(a)163.com Tel: +86-13880104217

1 0

[MobiSPC-2018] FINAL submission deadline: April 20! Conference on Mobile Systems and Pervasive Computing. Gran Canaria, Spain (July 13-15, 2018)
by Wim Ectors 18 Apr '18

18 Apr '18

------------------------------------------------------------------------ The 15th International Conference on Mobile Systems and Pervasive Computing August 13-15, 2018 Gran Canaria, Spain http://cs-conferences.acadiau.ca/mobispc-18/ ------------------------------------------------------------------------ Mobile Systems and Pervasive Computing (MobiSPC) have evolved into an active area of research and development. This is due to the tremendous advances in a broad spectrum of technologies and topics, including wireless networking, mobile and distributed computing, sensor systems, RFID technology, and the ubiquitous mobile phone. MobiSPC-2018 solicits papers that focus on the theory, systems, practices and challenges of providing users with a successful mobile or wireless experience. This includes how mobile computing changes how people pervasively use their computers, computing resources and applications, as well the systems, services and technologies enabling those applications. MobiSPC-2018 will provide a leading edge, scholarly forum for researchers, engineers, and students alike to share their state-of-the art research and developmental work in the broad areas of pervasive computing and mobile systems. Important Dates ---------------- - Workshop Proposal Due: February 10, 2018 - Paper Submission Due: April 20, 2018 (FINAL) - Acceptance Notification: May 15, 2018 - Final Manuscript Due: June 15, 2018 Publication ------------ All MobiSPC 2018 accepted papers will be published by Elsevier Science in the open-access Procedia Computer Science series on-line. Procedia Computer Science is hosted by Elsevier on www.Elsevier.com and on Elsevier content platform ScienceDirect (www.sciencedirect.com) and will be freely available worldwide. All papers in Procedia will be indexed by Scopus ( www.scopus.com) and by Thomson Reuters' Conference Proceeding Citation Index (http://thomsonreuters.com/conference-proceedings-citation-index/) All papers in Procedia will also be indexed by Scopus (www.scopus.com) and Engineering Village (Ei) (www.engineeringvillage.com) This includes EI Compendex (www.ei.org/compendex) Moreover, all accepted papers will be indexed in DBLP (http://dblp.uni-trier.de/) The papers will contain linked references, XML versions and citable DOI numbers. You will be able to provide a hyperlink to all delegates and direct your conference website visitors to your proceedings. Selected papers will be invited for publication, in the following special issues: - International Journal of Ambient Intelligence and Humanized Computing (IF: 1.588), by Springer (http://www.springer.com/engineering/journal/12652) - International Journal of Computing and Informatics (IF: 0.504), ( http://www.cai.sk/ojs/index.php/cai/index) - IEEE Intelligent Transportation Systems Magazine (IF: 3.654), by IEEE ( http://ieeexplore.ieee.org/xpl/RecentIssue.jsp?punumber=5117645) MobiSPC 2018 will be held in conjunction with the 13th International Conference on Future Networks and Communications (FNC, http://cs-conferences.acadiau.ca/fnc-18/) . MobiSPC 2018 is co-organized & co-hosted by the University of University of Las Palmas de Gran Canaria, Spain. MobiSPC 2018 will be held in Gran Canaria, Spain. Gran Canaria originally meaning "Great [Island] of Dogs" is the second most populous island of the Canary Islands, an African archipelago which is part of Spain, with a population of 847,830 (in 2015) that constitutes approximately 40% of the population of the archipelago. Located in the Atlantic Ocean about 150 kilometres (93 mi) off the northwestern coast of Africa and about 1,350 km (840 mi) from Europe. With an area of 1,560 km2 (602 sq. mi) and an altitude of 1,956 m (6,417 ft) at the Pico de las Nieves, Gran Canaria is the third largest island of the archipelago in both area and altitude. COMMITTEES: ----------- General Chair Boris Magnusson, Lund University, Sweden Program Chair StŽphane Galland, UniversitŽ de Technologie de Belfort-MontbŽliard, France Elhadi Shakshuki, Acadia University, Canada Local Chair Javier Sanchez Medina, University of Las Palmas de Gran Canaria, Spain Advisory Committee Nirwan Ansari, New Jersey Institute of Technology, USA Abdelfettah Belghith, University of Manouba, Tunisia Flavien Balbo, Ecole Nationale SupŽrieure des Mines de Saint Etienne, France Erol Gelenbe, Imperial College, UK Vincenzo Loia, University of Salerno, Italy No‘l de Palma, UniversitŽ de Grenoble, France Ralf Steinmetz, Technische Universitaet Darmstadt, Germany Mohamed Younis, University of Maryland Baltimore County, USA Workshops Chair Haroon Malik, Marshall University, USA Tracks Chairs Habib M. Ammari, Fordham University, USA Longbiao Chen, Xiamen University, China Mohamed Guerroumi, USTHB University, Algeria Danny Hughes, K. U. Leuven, Belgium Francesco Piccialli, University of Naples, Federico II, Italy Zahoor Khan, HCT, UAE Prashant Kumar, University of Surrey, UK Marc Kšrner, TUB Berlin, Germany Christian Poellabauer, University of Notre Dame, USA Kashif Akhtar Saleem, KSA Michael Sheng, University of Adelaide, Australia David S. L. Wei, Fordham University, USA International Journals Chair Salvatore Cuomo, University of Naples Federico II, Italy Publicity Chairs Wim Ectors, Hasselt University, Belgium Monika Davidekova, Comenius University, Slovak Republic Technical Program Committee http://cs-conferences.acadiau.ca/mobispc-18/#programCommittees

1 0

6th School on Universal Logic : call for participation
by Christophe REY 18 Apr '18

18 Apr '18

-------------------------------------------------------------------------------------------- In exactly two months will start in Vichy, France the 6th School on Universal Logic http://www.uni-log.org/ULS6 This is a 5-day school with 30 tutorials on all aspects of logic (historical, philosophical, mathematical, computational) given by scholars from all over the world. The school will start by a round table "why study logic?" and will end with a round table "how to publish?" There also will be a poster session and the school will be followed by a 6-day congress. Some videos introducing UNILOG 2018 school tutorials: https://www.youtube.com/channel/UCW9jSSry0zoYz-FdREK5-Uw ------------------------------------------------------------------------------- U N I L O G - World Congress and School on Universal Logic - U N I LO G Montreux 2005, Xi'an 2007, Lisbon 2010, Rio 2013, Istanbul 2015, Vichy 2018 https://www.uni-log.org/vichy2018 https://www.facebook.com/UniversalLogicVichy/ ------------------------------------------------------------------------------------ ___________________________________________________ Christophe Rey Co-chair of the organizing committee of UNILOG 2018 UNILOG 2018 : Website <https://www.uni-log.org/vichy2018> - Facebook <https://www.facebook.com/UniversalLogicVichy/> - Registration <https://api.dsi.uca.fr/paybag/registration/form/event/UNILOG2018> - Youtube channel <https://www.youtube.com/channel/UCW9jSSry0zoYz-FdREK5-Uw> MCF / Associate professor - Université Clermont Auvergne Email <mailto:christophe.rey@uca.fr> - Homepage <http://fc.isima.fr/%7Ecrey/> Laboratoire LIMOS Campus Universitaire des Cézeaux 1 rue de la Chebarde TSA 60125 - CS 60026 63178 AUBIERE cedex Tel : +33 (0)4 73 40 50 37 Fax : +33 (0)4 73 40 50 01 IUT d'Allier, Dept MMI Vichy Pôle Universitaire Lardy 1, av. des Célestins 03200 VICHY Tel : +33 (0)4 70 30 43 92 Fax : +33 (0)4 70 30 43 78 ___________________________________________________

1 0

[CFP]: 13th International Conference on Critical Information Infrastructures Security CRITIS 2018
by Cristina Alcaraz 18 Apr '18

18 Apr '18

------------------------------------------------------------------------------ *** Apologies for multiple copies *** C a l l F o r P a p e r s 13th International Conference on Critical Information Infrastructures Security CRITIS 2018 Kaunas, Lithuania, September 24-26, 2018 Full-text paper submission due: April 30, 2018 CONFERENCE OUTLINE: CRITIS 2018 continues the tradition of presenting innovative research and exploring new challenges in the field of critical (information) infrastructures protection (C(I)IP), resilience and fostering the dialogue with stakeholders. CRITIS 2018 aims at bringing together researchers, professionals from academia, critical (information) infrastructure operators, industry, defence sector and governmental organisations working in the field of the security of critical (information) infrastructure systems. Moreover, CRITIS aims to encourage and inspire early stage and open-minded researchers in this demanding multi-disciplinary field of research. Outstanding research performance demonstrated by young researchers may compete for the Young CRITIS Award (YCA). The Projects' Dissemination Session will be an opportunity of dissemination for ongoing European, multinational, and national projects, to share the experiences among scientist and experts working on different projects in the C(I)IP domain. CRITIS 2018 conference has a special focus on current and future energy infrastructures within a special session Energy infrastructure operators and stakeholders: key challenges and solution directions, chaired by Marcelo Masera (EC Joint Research Centre in Petten, The Netherlands). Invited speakers will be mainly from European electricity and/or gas Transmission System Operators (TSO), some representatives from European electricity and gas Distributed System Operators (DSO), NATO and European policy-makers. CRITIS 2018 topics (but not limited to): http://www.lei.lt/critis2018/call-for-papers.html Special sessions will be organized by CRITIS 2018 Supporting Chairs: - “Energy CIP”: Marcelo Masera, European Commission, Joint Research Centre, the Netherlands - “CI Resilience”: Marianthi Theocharidou, European Commission, Joint Research Centre, Italy - “Human Factor and CIP”: Grigore Havarneanu, UIC, France - “SCADA Security”: Simin Nadjm-Tehrani, Linköping University, Sweden - “Modelling and Simulation in CIP”: Erich Rome (President 2E!SAC), Fraunhofer IAIS, Germany - “Interconnected Infrastructures and Systems of Systems”: Enrico Zio, Politecnico di Milano, Italy and Ecole Centrale Paris, France - “IoT Security”: Sokratis K. Katsikas, NTNU, Norway and University of Piraeus, Greece Call for Papers (PDF to download): http://www.lei.lt/critis2018/assets/critis_2018_call_for_papers.pdf Accepted papers are to be included to post-proceedings, published by Springer-Verlag in their Lecture Notes in Computer Science (LNCS) series. IMPORTANT DATES: ================ 30 April 2018 -- Full-text submission 18 June 2018 -- Notification of acceptance 9 September 2018 -- Camera-ready papers Programme Chair ================ - Eric Luiijf, TNO (retired) and Luiijf Consultancy, the Netherlands Steering Committee Chairs - Bernhard M. Hämmerli, Technical University Lucerne and ACRIS GmbH, Switzerland - Javier Lopez, University of Malaga, Spain - Stephen D. Wolthusen, Royal Holloway, University of London, UK and NTNU, Norway Local Co-Chairs - Inga Žutautaitė, Lithuanian Energy Institute, Lithuania - Ričardas Krikštolaitis, Vytautas Magnus University, Lithuania Publicity Chairs - Cristina Alcaraz, University of Malaga, Spain - Rolandas Urbonas, Lithuanian Energy Institute, Lithuania CRITIS 2018 Secretary Office ============================ Lithuanian Energy Institute Breslaujos g. 3, Kaunas, Lithuania Tel. +370 37 401948 +370 37 401938 E-mail: critis2018(a)lei.lt Conference website: www.lei.lt/critis2018

1 0

CFP - The 2018 High Performance Computing & Simulation Conference (HPCS 2018)
by Peter Mueller 17 Apr '18

17 Apr '18

Call for Papers and Participation The 2018 High Performance Computing & Simulation Conference (HPCS 2018) July 16-20, 2018 Orléans, France http://hpcs2018.cisedu.info/ In Cooperation with the ACM, IEEE, IFIP Main Track Paper Submission Deadline: April 07, 2018 - Final Extension Symposia, Workshops and Special Sessions have their own deadlines - Please check due dates below HPCS Proceedings are to be published in IEEE XPLORE (pending) and indexed by all major indexing services, including SCOPUS, EI, Sci, dblp, etc. You are cordially invited to participate in this international conference through paper submission to main track, symposium, workshop or special session, a tutorial, an invited speech, a demo, a poster, an exhibit, a panel discussion, a doctoral dissertation, whichever sounds more appropriate and convenient to you. The conference will include invited presentations by experts from academia, industry, and government as well as contributed paper presentations describing original work on the current state of research in high performance and large scale computing systems, their use in modeling and simulation, their design, performance and use, and their applications. There will also be tutorial sessions, workshops, special sessions, demos, posters, panel discussions, doctoral colloquium, and exhibits. Conference sponsorships are welcomed. In addition to the main track, the conference will have many refereed archived symposia, workshops and special sessions(have different deadlines): Please see the following lists and check the specific track of interest. We also welcome colleagues interested in organizing tracks, including those without current organizers. Symposia: http://hpcs2018.cisedu.info/2-conference/symposia---hpcs2018 Workshops: http://hpcs2018.cisedu.info/2-conference/workshops---hpcs2018 Special Sessions: http://hpcs2018.cisedu.info/2-conference/special-sessions---hpcs2018 Tutorials: http://hpcs2018.cisedu.info/1-call-for-papers-and-participation/call-for-tu… DDC: http://hpcs2018.cisedu.info/1-call-for-papers-and-participation/call-for-do… Demos: http://hpcs2018.cisedu.info/1-call-for-papers-and-participation/call-for-de… Panels: http://hpcs2018.cisedu.info/1-call-for-papers-and-participation/call-for-pa… Posters: http://hpcs2018.cisedu.info/1-call-for-papers-and-participation/call-for-po… Sponsorships: http://hpcs2018.cisedu.info/1-call-for-papers-and-participation/call-for-sp… Exhibits: http://hpcs2018.cisedu.info/1-call-for-papers-and-participation/call-for-ex… SPECIAL ISSUES Authors of selected papers will be invited to submit an extended version of their work for one or more special issues in ISI indexed Journals. HPCS Proceedings are published in IEEE XPLORE and indexed by all major indexing services including SCOPUS, EI, SCI, dblp, etc. FOLLOW US ON Twitter: @HPCS Conference FaceBook: HPCS Conference LinkedIn: HPCS Conference ================================================================= Important Dates: Main Track Paper and Poster Paper Submission Deadline: April 07, 2018 - Final Extension -->> Tutorial/Demo/Panel/Poster Proposal Deadline: April 27, 2018 <<-- Main Track Notification of Acceptance starts: April 24, 2018 Registration & Camera-Ready Manuscripts Due: May 11, 2018 Conference Dates: July 16 - 20, 2018 ================================================================= For further details and updates, please consult the conference web site at URL: http://hpcs2018.cisedu.info or contact one of the organizers. We look forward to your contributions and seeing you in Orléans in July. Thank you very much. Best Regards. HPCS 2018 Organizers

1 0

Logic Colloquium 2018 (LC18): final call for contributions
by Dario Della Monica 17 Apr '18

17 Apr '18

We are happy to announce the following event and we would be glad if you could forward this message to whom it might interest. LC 2018 Udine, Italy July 23-28, 2018 https://lc18.uniud.it ________________________________________________________________________ LOGIC COLLOQUIUM 2018 https://lc18.uniud.it The Logic Colloquium 2018 is the annual European summer meeting of the Association of Symbolic Logic (ASL) (http://www.aslonline.org/index.htm) It will be held during July 23-28, 2018, at the University of Udine, Italy, and is organized by the Department of Mathematics, Computer Science, and Physics of the University of Udine. The latest meetings took place in Paris (2010), Barcelona (2011), Manchester (2012), Evora (2013), Vienna (2014), Helsinki (2015), Leeds (2016), and Stockholm (2017). The Association for Symbolic Logic (ASL) is an international organization supporting research and critical studies in logic. Its primary function is to provide an effective forum for the presentation, publication, and discussion of scholarly work in this area of inquiry. The Association holds two major annual meetings to present current research in all aspects of logic in a way that is accessible to all logicians. IMPORTANT DATES: ============================ Deadline for abstract submission: April 27, 2018 Deadline for grant applications: May 4, 2018 Deadline for early registration: May 23, 2018 Notification for paper acceptance: May 11, 2018 Main event: July 23 (9am)- July 28 (1pm) TUTORIAL SPEAKERS: ================== U. Sattler (University of Manchester) K. Tent (WWU MÃ¼nster) INVITED SPEAKERS: ================= M. Antonutti Marfori (Ludwig-Maximilians-UniversitÃ¤t MÃ¼nchen) A. Atserias (Universitat PolitÃ¨cnica de Catalunya) V. Brattka (UniversitÃ¤t der Bundeswehr MÃ¼nchen) A. Ciabattoni (TU Wien) P. Dâ€™Aquino (UniversitÃ degli Studi della Campania) P. Oliva (Queen Mary University of London) L. Patey (Institut Camille Jordan, Lyon) A. Tserunyan (University of Illinois at Urbana-Champaign) S. Unger(Tel Aviv University) M. Viale (UniversitÃ degli studi di Torino) D. Westerstahl (Stockholm University) GOEDEL SPEAKER: ================ R. Downey (Victoria University of Wellington) SPECIAL SESSIONS: ================= 6 special sessions with topics: * Descriptive set theory and dynamical systems: - Chairs: B. Miller (UniversitÃ¤t Wien) A. TÃ¶rnquist (KÃ¸benhavn Universitet) - Speakers: C. Conley (Carnegie Mellon University) J. Melleray (UniversitÃ© Lyon I) T. Tsankov (UniversitÃ© Paris Diderot) R. Tucker-Drob (Texas A&M University) * Model theory: - Chairs: E. Casanovas (Universitat de Barcelona) F. Wagner (UniversitÃ© Lyon I) - Speakers: A. Deloro (UniversitÃ© Pierre et Marie Curie) I. Goldbring (UC Irvin) N. Hempel (UCLA) N. Ramsey (UC Berkeley) * Proof theory and constructivism: - Chairs: S. Ghilardi (UniversitÃ degli Studi di Milano) G. Sambin (UniversitÃ degli Studi di Padova) - Speakers: R. Akiyoshi (Waseda University) M. EscardÃ³ (University of Birmingham) A. Palmigiano (TU Delft) C. Xu (Ludwig-Maximilians-UniversitÃ¤t MÃ¼nchen) * Temporal and multivalued logics: - Chairs: B. Gerla (UniversitÃ dell'Insubria) M. Lange (UniversitÃ¤t Kassel) - Speakers: A. Kurucz (King's College London) D. Mundici (UniversitÃ degli Studi di Firenze) P. K. Pandya (Tata Institute of Fundamental Research; IIT Mumbai) A. Vidal (Czech Academy of Sciences) * Computability theory: - Chairs: P. Shafer (University of Leeds) A. Sorbi (UniversitÃ di Siena 1240) - Speakers: J. Franklin (Hofstra University) T. Kihara (Nagoya University) S. Ng (Nanyang Technological University) L. B. Westrick (University of Connecticut) * Philosophy of Logic and Mathematics: - Chairs: J. Kennedy (University of Helsinki) G. Sagi (University of Haifa) - Speakers: B. Halimi (UniversitÃ© Paris Nanterre) S. Hewitt (University of Leeds) L. Picollo (Ludwig-Maximilians-UniversitÃ¤t MÃ¼nchen) N. Wyatt (University of Calgary) PROGRAM COMMITTEE: ============= D. Macpherson (Chair) (University of Leeds) S. Demri (CNRS) A. Kechris (California Institute of Technology) C. Laskowski (University of Maryland) A. Marcone (UniversitÃ degli Studi di Udine) A. Montalban (UC Berkeley) P. PudlÃ k (Czech Academy of Sciences) G. Sher (UC San Diego) D. Sinapova (University of Illinois at Chicago) LOCAL ORGANIZATION COMMITTEE: ============= Department of Mathematics, Computer Science and Physics University of Udine, Italy G. D'Agostino (Co-Chair) A. Montanari (Co-Chair) V. Dimonte E. Frittaion G. Gherardi A. Marcone F. Parlamento C. Piazza D. Della Monica M. Fiori Carones N. Gigante A. Molinari M. Valenti For questions, please contact lc18(a)uniud.it SUBMISSIONS: =================== Abstracts of contributed papers must be submitted as LaTeX source code, via EasyChair, at the URL: https://easychair.org/conferences/?conf=lc18. If you do not have an EasyChair account yet, you can create one at https://easychair.org/ Abstract should be prepared according to the ASL instructions http://www.aslonline.org/rules_abstracts.html using the ASL abstract style (available at http://aslonline.org/abstractresources.html) The deadline for submissions is April 27, 2018. If electronic submission is not possible, abstracts should be mailed to: Prof. H. Dugald Macpherson, PC chair of Logic Colloquium 2018, School of Mathematics, University of Leeds, Leeds LS2 9JT, UK. Abstracts are published as part of the meeting report in The Bulletin of Symbolic Logic only if at least one author is a member of the ASL at the time the report is sent for publication. Abstracts of contributed papers submitted by ASL members will be published in The Bulletin of Symbolic Logic, provided that they satisfy the Rules for Abstracts (see above). APPLICATIONS FOR STUDENT GRANTS: ======================= The ASL, the NSF, and the local organizing committee will make available modest awards to graduate students in logic and to recent PhDs to attend the meeting. For more details on the grants, see: http://www.aslonline.org/studenttravelawards.html . Applications for student grants and recommendations should be received by May 4, 2018. They should be submitted electronically, by email to LC18grant(a)uniud.it If electronic submission is not possible, applications and recommendations should be mailed to: Prof. H. Dugald Macpherson, PC chair of Logic Colloquium 2018, School of Mathematics, University of Leeds, Leeds LS2 9JT, UK. The application should follow the instructions on https://lc18.uniud.it/applications Students waiting for the acceptance of a grant application should not register, since the grant may include discounts to the registration fee. After the acceptance, an ad hoc registration form will be available for them. Students whose application is declined will still have time to register before the early registration deadline. ______________________________________________ The event is made possible thanks to the financial support of: * ASL (Association for Symbolic Logic) https://www.aslonline.org * NSF (National Science Foundation) https://www.nsf.gov * SILFS (SocietÃ Italiana di Logica e Filosofia delle Scienze) http://www.silfs.it * AILA (Associazione Italiana di Logica e sue Applicazioni) http://www.ailalogica.it * UniversitÃ degli Studi di Udine https://www.uniud.it/ * GNSAGA - INdAM http://www.altamatematica.it/gnsaga * Italian Chapter of EATCS (European Association for Theoretical Computer Science) https://www.eatcs.org/index.php/italian-chapter ______________________________________________ Sponsor: * AMGA http://www.amgaenergiaeservizi.it/ ______________________________________________ Association of Symbolic Logic (ASL): http://www.aslonline.org ASL newsletters: https://www.aslonline.org/info-newsletter.html -- Dario Della Monica, Postdoctoral Researcher Dipartimento di Ingegneria Elettrica e Tecnologie dell'Informazione (DIETI) University of Naples "Federico II" via Claudio, 21, 80125 Naples, Italy cell: (+39) 328 2477327 email: dario.dellamonica [at] unina.it skype: dariodellamonica web site: http://wpage.unina.it/dario.dellamonica/

1 0

CfP for VHPC ‘18 - Papers due May 15 (extended) for the 13th Virtualization in High-Performance Cloud Computing Workshop
by Anastassios Nanos 17 Apr '18

17 Apr '18

CfP 13th Virtualization in High-Performance Cloud Computing Workshop (VHPC '18) ==================================================================== CALL FOR PAPERS 13th Workshop on Virtualization in High-Performance Cloud Computing (VHPC '18) held in conjunction with the International Supercomputing Conference - High Performance, June 24-28, 2018, Frankfurt, Germany. (Springer LNCS Proceedings) ==================================================================== Date: June 28, 2018 Workshop URL: http://vhpc.org Paper Submission Deadline: May 15, 2018 (extended). Springer LNCS, rolling abstract submission Abstract/Paper Submission Link: https://edas.info/newPaper.php?c=24355 Call for Papers Virtualization technologies constitute a key enabling factor for flexible resource management in modern data centers, and particularly in cloud environments. Cloud providers need to manage complex infrastructures in a seamless fashion to support the highly dynamic and heterogeneous workloads and hosted applications customers deploy. Similarly, HPC environments have been increasingly adopting techniques that enable flexible management of vast computing and networking resources, close to marginal provisioning cost, which is unprecedented in the history of scientific and commercial computing. Various virtualization technologies contribute to the overall picture in different ways: machine virtualization, with its capability to enable consolidation of multiple under-utilized servers with heterogeneous software and operating systems (OSes), and its capability to live-migrate a fully operating virtual machine (VM) with a very short downtime, enables novel and dynamic ways to manage physical servers; OS-level virtualization (i.e., containerization), with its capability to isolate multiple user-space environments and to allow for their co-existence within the same OS kernel, promises to provide many of the advantages of machine virtualization with high levels of responsiveness and performance; I/O Virtualization allows physical network interfaces to take traffic from multiple VMs or containers; network virtualization, with its capability to create logical network overlays that are independent of the underlying physical topology is furthermore enabling virtualization of HPC infrastructures. Publication Accepted papers will be published in a Springer LNCS proceedings volume. Topics of Interest The VHPC program committee solicits original, high-quality submissions related to virtualization across the entire software stack with a special focus on the intersection of HPC and the cloud. Major Topics - Virtualization in supercomputing environments, HPC clusters, HPC in the cloud and grids - OS-level virtualization and containers (LXC, Docker, rkt, Singularity, Shifter, i.a.) - Lightweight/specialized operating systems in conjunction with virtual machines - Novel unikernels and use cases for virtualized HPC environments - Performance improvements for or driven by unikernels - Tool support for unikernels: configuration/build environments, debuggers, profilers - Hypervisor extensions to mitigate side-channel attacks ([micro-]architectural timing attacks, privilege escalation) - VM & Container trust and security - Containers inside VMs with hypervisor isolation - GPU virtualization operationalization - Approaches to GPGPU virtualization including API remoting and hypervisor abstraction - Optimizations of virtual machine monitor platforms and hypervisors - Hypervisor support for heterogeneous resources (GPUs, co-processors, FPGAs, etc.) - Virtualization support for emerging memory technologies - Virtualization in enterprise HPC and microvisors - Software defined networks and network virtualization - Management, deployment of virtualized environments and orchestration (Kubernetes i.a.) - Workflow-pipeline container-based composability - Checkpointing facilitation utilizing containers and VMs - Emerging topics including multi-kernel approaches and NUMA in hypervisors - Operating MPI in containers/VMs and Unikernels - Virtualization in data intensive computing (big data) - HPC convergence - Adaptation of HPC technologies in the cloud (high performance networks, RDMA, etc.) - Performance measurement, modelling and monitoring of virtualized/cloud workloads - Latency-and jitter sensitive workloads in virtualized/containerized environments - I/O virtualization (including applications, SR-IOV, i.a.) - Hybrid local facility + cloud compute and based storage systems, cloudbursting - FPGA and many-core accelerator virtualization - Job scheduling/control/policy and container placement in virtualized environments - Cloud reliability, fault-tolerance and high-availability - QoS and SLA in virtualized environments - IaaS platforms, cloud frameworks and APIs - Energy-efficient and power-aware virtualization - Configuration management tools for containers (including in OpenStack, Ansible, i.a.) - ARM-based hypervisors, ARM virtualization extensions Special Track: GPU - Accelerator Virtualization: GPU virtualization technologies, performance and benchmarking, integration with workflow scheduling systems, integration to cluster managers GPUs are taking on many HPC workload areas, especially in deep learning within machine learning. In addition, a lot of workload is being pushed to elastic environments utilizing various virtualization technologies on different levels like hypervisors (e.g. VMWare, Xen, KVM), kernel (Docker, Kubernetes) or on the resource manager level (YARN, Mesos). In this track we invite submissions addressing these problems. Suggested Themes and Topics: Technology - What technologies and best practices exist for GPU - hardware accelerator virtualization and usage of hardware accelerators in virtual environments on the hypervisor, kernel or resource manager level Developers - Real-life experience when addressing HPC/ML/DL problems with GPUs or hardware accelerators in virtual environments Performance - Performance comparisons between different technologies / solutions The Workshop on Virtualization in High-Performance Cloud Computing (VHPC) aims to bring together researchers and industrial practitioners facing the challenges posed by virtualization in order to foster discussion, collaboration, mutual exchange of knowledge and experience, enabling research to ultimately provide novel solutions for virtualized computing systems of tomorrow. The workshop will be one day in length, composed of 20 min paper presentations, each followed by 10 min discussion sections, plus lightning talks that are limited to 5 minutes. Presentations may be accompanied by interactive demonstrations. Important Dates May 15, 2018 (extended) - Paper submission deadline (Springer LNCS) May 30, 2018 - Acceptance notification June 28, 2018 - Workshop Day July 12, 2018 - Camera-ready version due Chair Michael Alexander (chair), Institute of Science and Technology, Austria Anastassios Nanos (co-chair), OnApp, UK Romeo Kienzler (co-chair), IBM, Switzerland Program committee Stergios Anastasiadis, University of Ioannina, Greece Jakob Blomer, CERN, Europe Eduardo César, Universidad Autonoma de Barcelona, Spain Stephen Crago, USC ISI, USA Tommaso Cucinotta, St. Anna School of Advanced Studies, Italy Christoffer Dall, Columbia University, USA Patrick Dreher, MIT, USA Kyle Hale, Northwestern University, USA Brian Kocoloski, University of Pittsburgh, USA Uday Kurkure, VMware, USA John Lange, University of Pittsburgh, USA Giuseppe Lettieri, University of Pisa, Italy Nikos Parlavantzas, INSA Rennes, France Qing Liu, Oak Ridge National Laboratory, USA Nikos Parlavantzas, IRISA, France Kevin Pedretti, Sandia National Laboratories, USA Amer Qouneh, Western New England University, USA Carlos Reaño, Technical University of Valencia, Spain Borja Sotomayor, University of Chicago, USA Anata Tiwari, San Diego Supercomputer Center, USA Kurt Tutschku, Blekinge Institute of Technology, Sweden Yasuhiro Watashiba, Osaka University, Japan Chao-Tung Yang, Tunghai University, Taiwan Andrew Younge, Sandia National Laboratory, USA Na Zhang, VMware, USA Paper Submission-Publication Papers submitted to the workshop will be reviewed by at least two members of the program committee and external reviewers. Submissions should include abstract, keywords, the e-mail address of the corresponding author, and must not exceed 10 pages, including tables and figures at a main font size no smaller than 11 point. Submission of a paper should be regarded as a commitment that, should the paper be accepted, at least one of the authors will register and attend the conference to present the work. Accepted papers will be published in a Springer LNCS volume. . The format must be according to the Springer LNCS Style. Initial submissions are in PDF; authors of accepted papers will be requested to provide source files. Format Guidelines: ftp://ftp.springer.de/pub/tex/latex/llncs/latex2e/llncs2e.zip Abstract, Paper Submission Link: https://edas.info/newPaper.php?c=24355 Lightning Talks Lightning Talks are non-paper track, synoptical in nature and are strictly limited to 5 minutes. They can be used to gain early feedback on ongoing research, for demonstrations, to present research results, early research ideas, perspectives and positions of interest to the community. Submit abstract via the main submission link. General Information The workshop is one day in length and will be held in conjunction with the International Supercomputing Conference - High Performance (ISC) 2018, June 24-28, Frankfurt, Germany.

1 0

CIBB 2018 - Special Session on Modeling and Simulation Methods for Systems Biology and Systems Medicine: Call for papers
by chiara damiani 17 Apr '18

17 Apr '18

[Apologies for cross-posting. Please kindly disseminate this call to your colleagues and contacts] ***Special Session on Modeling and Simulation Methods for Systems Biology and Systems Medicine*** hosted by CIBB 2018 <http://eventos.fct.unl.pt/cibb2018/>, 15th International Conference on Computational Intelligence methods for Bioinformatics and Biostatistics 6-8 September 2018, Caparica, Portugal ---------------------------------------------------------------------------------- Paper Submission Deadline: 10 June 2018 ---------------------------------------------------------------------------------- CALL FOR PAPERS Systems Biology deals with the analysis of natural systems at different scales of complexity, requiring completely different modeling frameworks and computational methods. Given that Systems Biology approaches are becoming well established, the challenge is now to apply the developed techniques towards the definition of personalized models in order to identify individually tailored drugs and treatments; i.e. to realize the Personalized Medicine paradigm. The scope of this special session is to bring together researchers involved in the development of methods applied to the fields of Systems Biology and Systems Medicine. Topics of interest include, but are not limited to: analysis of robustness of cellular networks   biomedical model parameterization cancer progression models clinical image analysis emergent properties in complex biological systems   flux balance analysis   metabolic engineering   metabolic pathway analysis   model verification and refinement methods   models of neural activity multiscale modelling and simulation of biological systems   parameter estimation methods personalized models reverse engineering of reaction networks   software tools for systems biology   spatiotemporal modelling and simulation of biological systems IMPORTANT DATES Paper submission deadline: 10 June 2018 Acceptance notification: 9 July 2018 Author registration due: 20 July 2018 Camera ready due: 29 July 2018 Conference: 6-8 September 2018 PROCEEDINGS Pdf versions of accepted papers will be distributed at the conference. At least one author of an accepted paper is required to register and present their paper at the conference. Authors of accepted papers will be invited to submit an extended version of their work to a post-conference monograph. We plan to invite all papers for a volume in the Springer series of Lecture Notes in Bioinformatics (LNBI). Continuing the tradition of CIBB, we are also planning to invite the best papers, as an alternative to the publication on LNBI, to a special issue of an international scientific journal (such as BMC Bioinformatics, as in the latest editions). PAPER SUBMISSION Instructions for submission can be found here <http://eventos.fct.unl.pt/cibb2018/pages/call-papers> SESSION CHAIRS Chiara Damiani, University of Milano-Bicocca, Italy Marco S. Nobile, University of Milano-Bicocca, Italy Giancarlo Mauri, University of Milano-Bicocca, Italy Alex Graudenzi, University of Milano-Bicocca, Italy Marzia Di Filippo, University of Milano-Bicocca, Italy Dario Pescini, University of Milano-Bicocca, Italy CONTACT Chiara Damiani, PhD Department of Informatics, Systems and Communication, University of Milan-Bicocca mail: chiara.damiani(a)unimib.it <mailto:chiara.damiani@unimib.it> phone: +39 02 64487918

1 0

Final Extension for submission April 19th for CFP for Special Session on Virtualization in High Performance Computing and Simulation (VIRT 2018)
by Uday Kurkure 13 Apr '18

13 Apr '18

The final extension to the deadline for submission is April 19th, 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. *Special Session on **Virtualization in High Performance Computing and Simulation* *(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 19, 2018 - Final Extension* *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-po… 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 19, 2018 - Final Extension* *Acceptance Notification: -------------------------------------- April 26, 2018* *Camera Ready Papers and Registration Due by: ----------- May 11, 2018* *Conference Dates: -------------------------------------------- July 16 – 20, 2018* *SPECIAL SESSION ORGANIZERS* *Uday Kurkure* VMware, Inc. 3401 Hillview Avenue Palo Alto, CA 94304, USA Phone: +1 650-427-1179 Fax: +1 650- Email: uday(a)alumni.stanford.edu *Hari Sivaraman * VMware, Inc. 3401 Hillview Avenue Palo Alto, CA 94304, USA Phone: +1 650-427-3681 Fax: +1 650- Email: hsivaraman(a)vmware.com *Lan Vu* VMware, Inc. 3401 Hillview Avenue Palo Alto, CA 94304, USA Phone: +1 650-427-1327 Fax: +1 650- Email: lanv(a)vmware.com *Teng Moh* San Jose State University Department of Computer Science San Jose, CA 95192-0249, USA Phone: +1 408-924-5147 Fax: +1 408-924-5062 Email: teng.moh(a)sjsu.edu International Program Committee*: All submitted papers will be rigorously reviewed by the special session technical program committee members following similar criteria used in HPCS 2018 and will be published as part of the HPCS 2018 Proceedings. - *Cristina Boeres,* Fluminense Federal University, Brazil - *Benjamin Camus,* Inria, France - *Eddy Caron,* LIP, École Normale Supérieure de Lyon, France - *Isaac Gelado,* Nvidia Corp., Santa Clara, California, USA - *Rean Griffith*, Captricity Inc., Oakland, California, USA - *Kyle Hale,* Illinois Institute of Technology, Illinois, USA - *Shih-Hao Hung,* National Taiwan University, Taiwan - *Seongbeom Kim,* Google Inc., Mountain View, California, USA - *Brian Kocoloski*, Washington University in St. Louis, Missouri, USA - *Xiaoyi Lu,* The Ohio State University - Columbus, Ohio, USA - *Hans Pabst*, Intel Corp., Zurich, Switzerland - *Karl Rupp,* Technische Universität Wien, Vienna, Austria - *Alex Sim,* Lawrence Berkeley National Laboratory, California, USA - *Josh Simons,* VMware Inc., Boston, Massachusetts, USA - *Feng Yan*, University of Nevada, Reno, Nevada, USA - Andrew Younge, Sandia National Laboratories, Albuquerque, New Mexico, USA - *Dong Ping Zhang, *eBay Inc., San Jose, California, USA - *Na Zhang, *VMware Inc., Boston, Massachusetts, USA

1 0

2nd CFP 4th IEEE INTERNATIONAL SYMPOSIUM ON SMART ELECTRONIC SYSTEMS, December 2018
by Marina Gavrilova 12 Apr '18

12 Apr '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 the iSES website. iSES 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

CfP for VHPC ‘18 - Papers due May 15 (extended) for the 13th Virtualization in High-Performance Cloud Computing Workshop
by Michael Alexander 12 Apr '18

12 Apr '18

*====================================================================CALL FOR PAPERS 13th Workshop on Virtualization in High-Performance Cloud Computing (VHPC '18)held in conjunction with the International Supercomputing Conference - High Performance,June 24-28, 2018, Frankfurt, Germany.(Springer LNCS Proceedings) ====================================================================Date: June 28, 2018Workshop URL: http://vhpc.org <http://vhpc.org>Paper Submission Deadline: May 15, 2018 (extended)Springer LNCS, rolling abstract submissionAbstract/Paper Submission Link: https://edas.info/newPaper.php?c=24355 <https://edas.info/newPaper.php?c=24355>Special Track: GPU - Accelerator Virtualization Call for PapersVirtualization technologies constitute a key enabling factor for flexible resource managementin modern data centers, and particularly in cloud environments. Cloud providers need tomanage complex infrastructures in a seamless fashion to support the highly dynamic andheterogeneous workloads and hosted applications customers deploy. Similarly, HPCenvironments have been increasingly adopting techniques that enable flexible managementof vast computing and networking resources, close to marginal provisioning cost, which isunprecedented in the history of scientific and commercial computing.Various virtualization technologies contribute to the overall picture in different ways: machinevirtualization, with its capability to enable consolidation of multiple underutilized servers withheterogeneous software and operating systems (OSes), and its capability to live-migrate afully operating virtual machine (VM) with a very short downtime, enables novel and dynamicways to manage physical servers; OS-level virtualization (i.e., containerization), with itscapability to isolate multiple user-space environments and to allow for their coexistencewithin the same OS kernel, promises to provide many of the advantages of machine virtualization with high levels of responsiveness and performance; I/O Virtualization allows physical network interfaces to take traffic from multiple VMs or containers; network virtualization, with its capability to create logical network overlays that are independent of theunderlying physical topology is furthermore enabling virtualization of HPC infrastructures. PublicationAccepted papers will be published in a Springer LNCS proceedings volume.Topics of InterestThe VHPC program committee solicits original, high-quality submissions related tovirtualization across the entire software stack with a special focus on the intersection of HPCand the cloud.Major Topics- Virtualization in supercomputing environments, HPC clusters, HPC in the cloud and grids- OS-level virtualization and containers (LXC, Docker, rkt, Singularity, Shifter, i.a.)- Lightweight/specialized operating systems in conjunction with virtual machines- Novel unikernels and use cases for virtualized HPC environments- Performance improvements for or driven by unikernels- Tool support for unikernels: configuration/build environments, debuggers, profilers- Hypervisor extensions to mitigate side-channel attacks ([micro-]architectural timing attacks, privilege escalation)- VM & Container trust and security- Containers inside VMs with hypervisor isolation- GPU virtualization operationalization- Approaches to GPGPU virtualization including API remoting and hypervisor abstraction- Optimizations of virtual machine monitor platforms and hypervisors- Hypervisor support for heterogeneous resources (GPUs, co-processors, FPGAs, etc.)- Virtualization support for emerging memory technologies- Virtualization in enterprise HPC and microvisors- Software defined networks and network virtualization- Management, deployment of virtualized environments and orchestration (Kubernetes i.a.)- Workflow-pipeline container-based composability - Checkpointing facilitation utilizing containers and VMs - Emerging topics including multi-kernel approaches and NUMA in hypervisors- Operating MPI in containers/VMs and Unikernels - Virtualization in data intensive computing (big data) - HPC convergence- Adaptation of HPC technologies in the cloud (high performance networks, RDMA, etc.)- Performance measurement, modelling and monitoring of virtualized/cloud workloads- Latency-and jitter sensitive workloads in virtualized/containerized environments- I/O virtualization (including applications, SR-IOV, i.a.) - Hybrid local facility + cloud compute and based storage systems, cloudbursting- FPGA and many-core accelerator virtualization- Job scheduling/control/policy and container placement in virtualized environments- Cloud reliability, fault-tolerance and high-availability- QoS and SLA in virtualized environments- IaaS platforms, cloud frameworks and APIs- Energy-efficient and power-aware virtualization- Configuration management tools for containers (including in OpenStack, Ansible, i.a.)- ARM-based hypervisors, ARM virtualization extensionsSpecial Track: GPU - Accelerator VirtualizationGPU virtualization technologies, performance and benchmarking, integration withworkflow scheduling systems, integration to cluster managers.GPUs are taking on many HPC workload areas, especially in deep learning withinmachine learning. In addition, a lot of workload is being pushed to elastic environments utilizing various virtualization technologies on different levels like hypervisors (e.g. VMWare, Xen, KVM), kernel (Docker, Kubernetes) or on the resource managerlevel (YARN, Mesos). In this track we invite submissions addressing these problems. Suggested Themes and Topics:Technology - What technologies and best practices exist for GPU - hardware accelerator virtualization and usage of hardware accelerators in virtual environments on the hypervisor, kernel or resource manager levelDevelopers - Real-life experience when addressing HPC/ML/DL problems with GPUs or hardware accelerators in virtual environmentsPerformance - Performance comparisons between different technologies / solutionsThe Workshop on Virtualization in High-Performance Cloud Computing (VHPC) aims tobring together researchers and industrial practitioners facing the challenges posed by virtualization in order to foster discussion, collaboration, mutual exchangeof knowledge and experience, enabling research to ultimately provide novelsolutions for virtualized computing systems of tomorrow.The workshop will be one day in length, composed of 20 min paper presentations, eachfollowed by 10 min discussion sections, plus lightning talks that are limited to 5 minutes.Presentations may be accompanied by interactive demonstrations.KeynotesGregory M. Kurtzer, CEO Syslabs Inc. Singularity: Application containers using operating system environment virtualization.Josh Simons, HPC Chief Technologist, VMWare, Inc. Practical Aspects of On-Premises Virtualized High Performance Computing.Important DatesMay 15, 2018 (extended) - Paper submission deadline (Springer LNCS)May 30, 2018 - Acceptance notification June 28, 2018 - Workshop DayJuly 12, 2018 - Camera-ready version dueChairMichael Alexander (chair), Institute of Science and Technology, AustriaAnastassios Nanos (co-chair), OnApp, UKRomeo Kienzler (co-chair), IBM, SwitzerlandProgram committeeStergios Anastasiadis, University of Ioannina, Greece Jakob Blomer, CERN, Europe Eduardo César, Universidad Autonoma de Barcelona, SpainStephen Crago, USC ISI, USATommaso Cucinotta, St. Anna School of Advanced Studies, ItalyChristoffer Dall, Columbia University, USAFrançois Diakhaté, CEA, FrancePatrick Dreher, MIT, USA Kyle Hale, Northwestern University, USA Brian Kocoloski, University of Pittsburgh, USAUday Kurkure, VMware, USAJohn Lange, University of Pittsburgh, USAGiuseppe Lettieri, University of Pisa, ItalyQing Liu, Oak Ridge National Laboratory, USANikos Parlavantzas, IRISA, FranceKevin Pedretti, Sandia National Laboratories, USAAmer Qouneh, Western New England University, USA Carlos Reaño, Technical University of Valencia, SpainBorja Sotomayor, University of Chicago, USA Anata Tiwari, San Diego Supercomputer Center, USAKurt Tutschku, Blekinge Institute of Technology, Sweden Yasuhiro Watashiba, Osaka University, JapanChao-Tung Yang, Tunghai University, Taiwan Andrew Younge, Sandia National Laboratory, USANa Zhang, VMware, USAPaper Submission-PublicationPapers submitted to the workshop will be reviewed by at least twomembers of the program committee and external reviewers. Submissionsshould include abstract, keywords, the e-mail address of thecorresponding author, and must not exceed 10 pages, including tablesand figures at a main font size no smaller than 11 point. Submissionof a paper should be regarded as a commitment that, should the paperbe accepted, at least one of the authors will register and attend theconference to present the work. Accepted papers will be published in aSpringer LNCS volume.The format must be according to the Springer LNCS Style. Initialsubmissions are in PDF; authors of accepted papers will be requestedto provide source files.Format Guidelines:ftp://ftp.springer.de/pub/tex/latex/llncs/latex2e/llncs2e.zip <ftp://ftp.springer.de/pub/tex/latex/llncs/latex2e/llncs2e.zip>Abstract, Paper Submission Link:https://edas.info/newPaper.php?c=24355 <https://edas.info/newPaper.php?c=24355>Lightning Talks Lightning Talks are non-paper track, synoptical in nature and are strictly limited to 5 minutes.They can be used to gain early feedback on ongoing research, for demonstrations, to present research results, early research ideas, perspectives and positions of interest to the community. Submit abstract via the main submission link. General InformationThe workshop is one day in length and will be held in conjunction with the InternationalSupercomputing Conference - High Performance (ISC) 2018, June 24-28, Frankfurt, Germany.*

1 0

Graphical Models for Security (GraMSec 2018) - deadline extended until April 20
by Barbara Kordy 12 Apr '18

12 Apr '18

The Fifth International Workshop on Graphical Models for Security Oxford, UK - July 8, 2018 *Submission deadline extended until April 20* http://gramsec.uni.lu Co-located with CSF 2018 In conjunction with FLoC 2018 SCOPE The use of graphical security models to represent and analyse the security of systems has gained an increasing research attention over the last two decades. Formal methods and computer security researchers, as well as security professionals from the industry and government, have proposed various graphical security models, metrics, and measurements. Graphical models are used to capture different security facets and address a range of challenges including security assessment, automated defence, secure services composition, security policy validation, and verification. For example, attack graphs, attack trees, attack–defence trees, and attack countermeasure trees represent possible ways of attacking and defending a system while misuse cases and mal-activity diagrams capture threats and abusive behaviour of users. TOPICS This year, we are particularly keen to encourage excellent submissions related, but not restricted, to the following broad headings: • Graph representations: mathematical, conceptual, and implemented tools for describing and reasoning about security • Logical approaches: formal logical tools for representing and reasoning about graphs and their use as modelling tools in security • Machine learning: modelling and reasoning about the role of big data and machine learning in security operations • Networks in national security: terrorist networks, counter-terrorism networks; safety in national infrastructure (e.g., utilities and transportation) • Risk analysis and management: models of risk management in business and organizational architectures • Social networks: using and reasoning about social graphs, network analysis, network protocols, social mapping, sociometry. Preference will be given to papers likely to stimulate high-quality debate at the Workshop. PAPER SUBMISSION We solicit two types of submissions: • Regular papers (up to 15 pages, excluding the bibliography and well-marked appendices) describing original and unpublished work within the scope of the workshop. • Short papers (up to 7 pages, excluding the bibliography and well-marked appendices) describing original and unpublished work in progress. The reviewers are not required to read the appendices, so the papers should be intelligible without them. All submissions must be prepared using the LNCS style: http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0 Each paper will undergo a thorough review process. All accepted (regular and short) papers will be included in the workshop's post-proceedings. The GraMSec 2018 post-proceedings will be published in the Lecture Notes in Computer Science (LNCS) series of Springer. Submissions should be made using the GraMSec 2018 EasyChair website: https://easychair.org/conferences/?conf=gramsec2018 IMPORTANT DATES • Submission deadline: Friday, April 20, 2018 (extended) • Acceptance notification: Tuesday, May 15, 2018 • Workshop: Sunday, July 8, 2018 INVITED SPEAKER Mike Fisk, Chief Information Officer at Los Alamos National Laboratory, NM, USA Invited talk: Intrusion Tolerance in Complex Cyber Systems PROGRAM CHAIRS • George Cybenko, Dartmouth College, NH, USA • David J. Pym, UCL, UK GENERAL CHAIR • Barbara Kordy, INSA Rennes, IRISA, FR PC MEMBERS Ludovic Apvrille, Télécom ParisTech, CNRS LTCI, France Stefano Bistarelli, Università di Perugia, Italy Tristan Caulfield, University College London, UK Nora Cuppens-Boulahia, IMT Atlantique, France Harley Eades, Augusta University, USA Olga Gadyatskaya, University of Luxembourg, Luxembourg René Rydhof Hansen, Aalborg University, Denmark Sushil Jajodia, George Mason University, USA Sjouke Mauw, University of Luxembourg, Luxembourg Guy McCusker, University of Bath, UK Per Håkon Meland, SINTEF Digital, Norway Andreas L. Opdahl, University of Bergen, Norway Xinming Ou, University of South Florida, USA Stéphane Paul, Thales Research and Technology, France Sophie Pinchinat, Univ Rennes, CNRS, IRISA, France Saša Radomirovic, University of Dundee, UK Mariëlle Stoelinga, University of Twente, The Netherlands Jan Willemson, Cybernetica, Estonia

1 0

[Call for Papers] Brain Informatics 2018
by Yang 12 Apr '18

12 Apr '18

[Apologies if you receive this more than once] CALL FOR PAPERS The 11th International Conference on Brain Informatics (BI'18) December 7-9, 2018, Arlington, Texas, USA Homepage: http://uta.engineering/conferences/bi-2018/ ---Advancing BI Technologies from Basic Science Research to Real-World Practice--- ============================================== Workshop/Special Session/Tutorial Proposals Submission Deadline: May 1, 2018 Full Paper Submission Deadline: June 15, 2018 ============================================== The International Conference on Brain Informatics series (BI) has established itself as the world’s premier research forum that brings together researchers and practitioners from neuroscience, cognitive science, computer science, data science, artificial intelligence, information communication technologies, and neuroimaging technologies with the purpose of exploring the fundamental roles, interactions as well as practical impacts of Brain Informatics. The BI'18 will provide a broad forum that academia, professionals and industry people can exchange their ideas, findings, and strategies in brain informatics research and brain-inspired concepts and technologies. It welcomes emerging technologies for addressing fundamental neurobiological questions about healthy brain function, laying the groundwork for advancing treatments for brain disorders or injury, and for generating brain-inspired "smart" artificial intelligence and computing technologies to meet future societal needs. It will educate and expand the brain informatics workforce and create new career opportunities for brain research and related innovations. The BI'18 welcomes paper submissions (full paper and abstract submissions). Both research and application papers are solicited. All submitted papers will be peer-reviewed on the basis of technical quality, relevance, significance and clarity. Accepted full papers will be included in the proceedings by Springer LNCS/LNAI (http://www.springer.com/us/book/9783319707716) Workshop, Special-Session and Tutorial proposals, and Industry/Demo-Track papers are also welcome. The organizers of Workshops and Special-Sessions are invited to prepare a book proposal based on the topics of the workshop/special session for possible book publication in the Springer-Nature Brain Informatics & Health book series (http://www.springer.com/series/15148) *** Topics and Areas *** Track 1: Cognitive and Computational Foundations of Brain Science Track 2: Investigations of Human Information Processing Systems Track 3: Brain Big Data Analytics, Curation and Management Track 4: Informatics Paradigms for Brain and Mental Health Track 5: Brain-Machine Intelligence and Brain-Inspired Computing IMPORTANT DATES: ================ May 1, 2018: Submission deadline for workshop/special session/Tutorial proposals May 31, 2018: Notification of workshop/special session proposal acceptance June 15, 2018: Submission deadline for full papers July 30, 2018: Submission deadline for workshop/special session papers August 15, 2018: Notification of full paper acceptance August 30, 2018: Notification of workshop/special session paper acceptance August 1, 2018: Submission deadline for abstracts August 30, 2018: Notification of abstract acceptance December 7, 2018: Tutorials, workshops and special sessions December 8-9, 2018: Main conference PAPER SUBMISSIONS & PUBLICATIONS: ================================= TYPE-I (Full Paper Submissions): Papers need to have up to 10 pages in LNCS format: http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0 All full length papers accepted (and all special sessions' full length papers) will be published by Springer as a volume of the series of LNCS/LNAI. TYPE-II (Abstract Submissions): Abstracts have a word limit of 500 words. Experimental research is particularly welcome. Accepted abstract submissions will be included in the conference program, and will be published as a single, collective proceedings volume. Title: Include in the title of the abstract all words critical for a subject index. Write your title in sentence case (first letter is capitalized; remaining letters are lower case). Do not bold or italicize your full title. Author: List all authors who contributed to the work discussed in the abstract. The presenting author must be listed in the first author slot of the list. Be prepared to submit contact information as well as conflict of interest information for each author listed. Abstract: Enter the body of the abstract and attach any applicable graphic files or tables here. Do not re-enter the title, author, support, or other information that is collected in other steps of the submission form. Presentation Preference: Authors may select from three presentation formats when submitting an abstract: "poster only", "talk preferred" or "no preference". The "talk preferred" selection indicates that you would like to give a talk, but will accept a poster format if necessary. Marking "poster only" indicates that you would not like to be considered for an oral-presentation session. Selecting "no preference" indicates the author's willingness to be placed in the best format for the program. Each paper or abstract requires one sponsoring attendee (i.e. someone who registered and is attending the conference). A single attendee can not sponsor more than two abstracts or papers. Oral presentations will be selected from both full length papers and abstracts. *** Post-Conference Journal Publications *** The Brain Informatics conferences have the formal ties with the Open Access Brain Informatics journal (Springer-Nature, http://www.springer.com/40708) Accepted full papers will be selected to publish in the Open Access Brain Informatics Journal upon revision. No article-processing fee will be charged for authors of Brain Informatics conference. *** Awards *** Best Paper awards will be conferred at the conference on the authors of (1) the best research paper and (2) the best student paper. ORGANIZERS ========== General Chairs Tom Mitchell (Carnegie Mellon University, USA) Leon Iasemidis (Louisiana Tech, University, USA) Ning Zhong (Maebashi Institute of Technology, Japan) Program Committee Chairs Jianzhong Su (University of Texas at Arlington, USA) Vicky Yamamoto (University of South California, USA) Yu-Ping Wang (Tulane University, USA) Organizing Chairs Shouyi Wang (University of Texas at Arlington, USA) Erick Jones (University of Texas at Arlington, USA) Fenghua Tian (University of Texas at Arlington, USA) Workshop/Special-Session Chairs Chou, Chun-An (Northwestern University, USA) Xiangnan Kong (Worcester Polytechnic Institute, USA) Felicia Jefferson (Fort Valley State University, USA) Jing Qin (Montana State University, USA) Panel/Tutorial Chairs Yang Yang (Maebashi Institute of Technology, Japan/Beijing Advanced Innovation Center for Future Internet Technology, China) Vassiliy Tsytsarev (University of Maryland, USA) Publicity Chairs Paul Wen (University of Southern Queensland, Australia) Huiguang He (Chinese Academy of Sciences, China) Mufti Mahmud (University of Padova, Italy) Steering Committee Chairs Ning Zhong (Maebashi Institute of Technology, Japan) Hanchuan Peng (Allen Institute for Brain Science, USA) *** Contact Information *** Shouyi Wang Email: shouyiw(a)uta.edu Vicky Yamamoto Email: Vicky.Yamamoto(a)med.usc.edu Yang Yang Email: yang(a)maebashi-it.org

1 0

DASCA - Int. Symp. on Big Data in Cloud and Services Computing Applications
by Anna Kobusińska 12 Apr '18

12 Apr '18

*CALL FOR PAPERS* ================ 1st International Symposium on Big Data in Cloud and Services Computing Applications (DaSCA) https://www.fedcsis.org/2018/dasca <https://grid.chu.edu.tw/ispan2018/index.php> Held as part of Federated Conference On Computer Science And Information Systems https://fedcsis.org/ Poznań, Poland, , October 16-18, 2018 IMPORTANT DATES ================ Paper submission (*strict deadline*): *May 15 2018 23:59:59 pm HST* Authors notification: *June 24, 2018* Final paper submission and registration: *July 03, 2018* INTRODUCTION ============= Big Data has received increasing attention in recent years, as organizations and cities are dealing with tremendous amounts of data with high complexity and velocity. These data are fast moving and changing in value, meaning and format. They also can originate from various sources, such as social networks, unstructured data from different devices or raw feeds from sensors. It, thus, challenges traditional data management approaches and tools related to performance, integration and analytics. One of the key challenges is how to use Cloud and Services Computing to process Big Data, build effective cloud applications, and provide service-based data analytics. However, there exists particularly limited knowledge on how to apply the Big Data technologies into Cloud and Services Computing applications. Therefore, this Special Session aims to discuss Big Data in Cloud and Services Computing Applications, and particularly focuses on the Big Data research from cloud and service-based perspectives. It also covers many dimensions of big data technologies, including system aspects, algorithmic, privacy and security, computational intelligence and innovative applications. Provision of the above topics presents a new set of emerging issues and challenges that are expected to be identified by the research community. Therefore, we aim to provide a platform for discussing approaches, models, results and case studies or experience reports addressing a broad range of issues related to Big Data in Cloud and Services Computing Applications. Therefore, this special session intends to build a foundation for further empirical research to understand Big Data and its implications for Cloud and Services Computing Applications. Papers can include and discuss various research methods and can be based on case studies, quantitative methods, design science. In addition, practical oriented research and experience reports are encouraged. SCOPE AND TOPICS ================ Topics of interest include, but are not limited to: ● Big Data Analysis and Visualization ● Cloud Computing Platforms, Applications and Management ● Services Computing ● Big Data in Smart Cities ● Networking and Communication Protocols for Cloud and Services Computing ● Reliability in Cloud and Services Computing ● Service Modeling, Specification and Ecosystems ● Big Data and Knowledge Management ● Service-oriented Architecture ● Enterprise Architectures and Services ● Cloud Management Platforms ● Data Mining and Data as a Service ● Hybrid Cloud Computing ● Recommender Distributed Systems ● Cloud and Services Computing Applications Performance and Monitoring ● Big Data Quality Management

1 0

CFP - I-SPAN 2018 Yichang, China October 16-18 - Full Paper/Workshop/Special Session Proposals Due on April 30
by Anna Kobusińska 12 Apr '18

12 Apr '18

*Call for Papers* The 15th International Symposium on Pervasive Systems, Algorithms, and Networks (I-SPAN 2018) https://grid.chu.edu.tw/ispan2018/index.php Yichang, China, October 16-18, 2018 INTRODUCTION ============= Pervasive systems, intelligent Algorithms, and Networks are emerging fields of research and revolutionary paradigm for next-generation IT applications. The 15th International Symposium on Pervasive Systems, Algorithms, and Networks (I-SPAN 2018) aims to establish an international forum for engineers and scientists to present their excellent ideas, latest innovations and experiences on Pervasive Systems, Algorithms, and Networks. The 15th International Symposium on Pervasive Systems, Algorithms, and Networks (I-SPAN 2018) follows the tradition of previous successful I-SPAN conferences, I-SPAN 1994 (Kanazawa, Japan), I-SPAN 1996 (Beijing, China), I-SPAN 1997 (Taipei, Taiwan), I-SPAN 1999 (Perth/Freemantle, Australia), I-SPAN 2000 (Dallas/Richardson, Texas, USA), I-SPAN 2002 (Manila, Philippines), I-SPAN 2004 (Hong Kong, China), I-SPAN 2005 (Las Vegas, USA), I-SPAN 2008 (Sydney, Australia), I-SPAN 2009 (Kaoshiung, Taiwan), I-SPAN 2011 (Dalian, China), I-SPAN 2012 (San Marcos, Texas), I-SPAN 2014 (Chengdu, China), I-SPAN 2017 (Exeter, UK). SCOPE AND TOPICS ================ Topics of interest include, but are not limited to: · Track 1: Big Data Analytics and Applications · Track 2: Cloud, Fog and Edge Computing · Track 3: Health and Biomedical Informatics · Track 4: Parallel, Distributed Algorithms and Graph Computing · Track 5: Computer Networks, Web Service/Technologies, and Software Defined Networking · Track 6: Mobile Computing and Communication · Track 7: Artificial Intelligence and Nature-Inspired Computing · Track 8: Global Networking and Cyber Security · Track 9: Multimedia Communication and Computing · Track 10: Internet of Things, Smart City, and Cyber-Physical Systems IMPORTANT DATES ================ Workshop/special session proposal due: Apr. 30, 2018 Paper submission deadline: Apr. 30, 2018 Paper result notification: July 16, 2018 Final camera ready and registration: Aug. 15, 2018 PAPER SUBMISSION GUIDELINE ========================== Authors are invited to submit their original research that has not previously been submitted or published at any other venue. Submissions need to be prepared in IEEE CS format and submitted via the EDAS system, https://edas.info/newPaper.php?c=24288 For IEEE formatting information: see http://www.ieee.org/conferences_events/conferences/publishing/templates.html - Proposals for organizing tutorials, workshops or special sessions need to be submitted to the Tutorials, Workshops and Special Sessions Chairs, respectively. A proposal should include title, theme, scope and main presenters/organizers. - A research paper (8 pages) should explore a specific technology problem and propose a complete solution to it, with experimental results. - A works-in-progress (WIP) (6 pages) paper is expected to present less developed but highly innovative ideas. - A demo/poster paper (4 pages) must describe a working system and be related to I-Span. These systems may be innovative prototype implementations or mature systems that use related technology. Papers/ proposals need to be submitted to the Demo/Poster Chair. - Workshop and Special Session papers need to be submitted to corresponding workshops and special sessions. PUBLICATION ========================== All accepted papers in the main tracks, workshops, special sessions and demos/posters will be published in an IEEE Computer Society proceedings (EI indexed). Extended versions of selected excellent papers will be considered for publication in special issues of prestige journals (SCI/EI indexed). ·Future Generation Computer Systems ·Journal of Supercomputing ·Journal of Computational Science ·International Journal of Grid and High-Performance Computing ·International Journal of Big Data Intelligence ·IEEE Transactions on Emerging Topics in Computing ·IET Intelligent Transport Systems

1 0

CFP: IEEE DASC 2018, Aug. 2018, Athens, Greece
by Anna Kobusińska 11 Apr '18

11 Apr '18

==============CALL FOR PAPERS================= The 16th IEEE International Conference on Dependable, Autonomic and Secure Computing (DASC 2018) 12-15 August 2018, Athens, Greece http://cyber-science.org/2018/dasc/ ============================================== IMPORTANT DATES ----------------------------------------------- Paper Submission Due: April 30, 2018 Demo/Poster/WiP Submission Due: May 15, 2018 Author Notification: May 20, 2018 Camera-ready Paper Due: June 15, 2018 ----------------------------------------------- Special Issues Section Distinguished papers, after further revisions, will be published in 15+ ISI/SCI/EI indexed special issues* (to be confirmed). Special issues will be shared by IEEE DASC 2018 and its four co-located conferences (CyberSciTech 2018, PiCom 2018, DataCom 2018) and their associated Symposiums/Workshops. (1) Information Fusion - Elsevier (SCI & EI Indexed, Impact Factor: 5.667) https://www.journals.elsevier.com/information-fusion/ (2) Information Sciences - Elsevier (SCI & EI Indexed, Impact Factor: 4.832) http://www.journals.elsevier.com/information-sciences/ (3) Future Generation Computer Systems - Elsevier (SCI & EI Indexed, Impact Factor: 3.997) http://www.journals.elsevier.com/future-generation-computer-systems/ (4) Journal of Network and Computer Applications - Elsevier (SCI & EI Indexed, Impact Factor: 3.500) https://www.journals.elsevier.com/journal-of-network-and-computer-applicati… (5) Computer Communications - Elsevier (SCI & EI Indexed, Impact Factor: 3.338) https://www.journals.elsevier.com/computer-communications/ (6) IEEE Access (SCI & EI Indexed, Impact Factor: 3.244) http://ieeeaccess.ieee.org/ (7) Ad Hoc Networks - Elsevier (SCI & EI Indexed, Impact Factor: 3.047) https://www.journals.elsevier.com/ad-hoc-networks/ (8) Soft Computing - Springer (SCI & EI Indexed, Impact Factor: 2.472) https://link.springer.com/journal/500 (9) Wireless Communications and Mobile Computing - Hindawi (SCI & EI Indexed, Impact Factor: 1.899) https://www.hindawi.com/journals/wcmc/ (10) International Journal of Parallel Programming - Springer (SCI & EI Indexed, Impactor Factor: 1.156) https://link.springer.com/journal/10766 (11) Journal of Computer Science and Technology - Springer (SCI & EI Indexed, Impactor Factor: 0.956) http://www.springer.com/computer/journal/11390 (12) Journal of Ambient Intelligence and Smart Environments - IOS (SCI & EI Indexed, Impactor Factor: 0.809) https://www.iospress.nl/journal/journal-of-ambient-intelligence-and-smart-e… (13) IEICE Transactions on Information and Systems - (SCI & EI Indexed, Impact Factor: 0.411) http://www.ieice.org/eng/ (14) IEEE Cloud Computing - (EI Indexed) https://cloudcomputing.ieee.org/ (15) Future Internet - MDPI (ESCI & EI Indexed) http://www.mdpi.com/journal/futureinternet (16) International Journal of Computational Science and Engineering (IJCSE) - INDERSCIENCE (ESCI & EI Indexed) http://www.inderscience.com/jhome.php?jcode=IJCSE (17) International Journal of Embedded Systems (IJES) - INDERSCIENCE (EI Indexed) http://www.inderscience.com/jhome.php?jcode=IJES (18) International Journal of High Performance Computing and Networking (IJHPCN) - INDERSCIENCE (EI Indexed) http://www.inderscience.com/jhome.php?jcode=ijhpcn (19) International Journal of Ad Hoc and Ubiquitous Computing (IJAHUC) - INDERSCIENCE (EI Indexed) http://www.inderscience.com/jhome.php?jcode=ijahuc * More special issues will be added later. ----------------------- INTRODUCTION ----------------------- IEEE DASC 2018 will be held in August 12-15, 2018 in Athens, Greece, co-located with IEEE CyberSciTech 2018, IEEE DataCom 2018 and IEEE PiCom 2018 (the event location is very close to the Parliament of Greece). IEEE DASC 2018 aims to bring together computer scientists, industrial engineers, and researchers to discuss and exchange experimental and theoretical results, novel designs, work-in-progress, experience, case studies, and trend-setting ideas in the areas of dependability, security, trust and/or autonomic computing systems. Topics of particular interests include the following tracks, but are not limited to: ------------------------------- SCOPE AND INTERESTS -------------------------------- - Dependable, Autonomic, Secure Computing Systems, Architectures and Communications - Cloud Computing and Fog/edge Computing with Autonomic and Trusted Environment - Dependable Automatic Control Techniques and Systems - Dependable Sensors, Devices, Embedded Systems - Dependable Electronic-Mechanical Systems, Optic-Electronic Systems - Self-improvement in Dependable Systems - Self-healing, Self-protection and Fault-tolerant Systems - Hardware and Software Reliability, Verification and Testing - Software Engineering for Dependable Systems - Safety-critical Systems in Transportation and Power System - Security Models and Quantifications - Trusted P2P, Web Service, SoA, SaaS, EaaS, and PaaS - Self-protection and Intrusion-detection in Security - DRM, Watermarking Technology, IP Protection - Context-aware Access Control - Virus Detections and Anti-Virus Techniques/Software - Cyber Attack, Crime and Cyber War - Human Interaction with Trusted and Autonomic Computing Systems - Security, Dependability and Autonomic Issues in Ubiquitous Computing - Security, Dependability and Autonomic Issues in Cyber-Physical System - Security, Dependability and Autonomic Issues in Big Data, SDN, and IoT Systems - QoS in Communications and Services and Service Oriented Architectures - Information and System Security - Reliable Computing and Trusted Computing - Wireless Emergency and Security Systems - Information Technology in Biomedicine - Multimedia Security Issues over Mobile and Wireless Networks - Multimedia in Mobile Computing: Issues, System Design and Performance Evaluation - Software Architectures and Design for Emerging Systems - Software Engineering for Emerging Networks, Systems, and Mobile Systems - Evaluation Platforms for Dependable, Autonomic and Secure Computing Systems - Trustworthy Data, Secured Data Collection System, Model, and Architectures --------------------------------------------------------- SUBMISSION AND PUBLICATION INFORMATION --------------------------------------------------------- Authors are invited to submit their original research work using IEEE CS Proceedings format via DASC 2018 website: http://cyber-science.org/2018/dasc/sub/. Research paper (8 pages) should explore a specific technology problem and propose a complete solution to it, with experimental results. Work-in Progress (WiP) Papers (5~6 pages) and Demo/Poster papers (2~4 pages) must describe working systems within the scope of DASC. Workshop & Special Session papers (6 pages) need to be submitted to corresponding workshops & special sessions. * Accepted papers will be included into the proceedings published by IEEE Computer Society Press (EI indexed). * At least one of the authors of any accepted paper is required to register and present the paper at the conference. * Extended versions of selected papers will be considered for fast-track publication in some prestige journals (SCI/EI indexed). * Best Paper Awards will be given for the best papers in DASC 2018. -------------------------------- Organizing Committees -------------------------------- General Chairs Md Zakirul Alam Bhuiyan, Fordham University, USA Stefanos Gritzalis, University of the Aegean, Greece General Executive Chairs Klimis Ntalianis, Athens U of Applied Sciences, Greece Paulo Pires, Federal University of Rio de Janeiro, Brazil Program Chair Anna Kobusinska, Poznan University of Technology, Poland Program Co-Chairs Naohiro Hayashibara, Kyoto Sangyo University, Japan Kambourakis Georgios, University of the Aegean, Greece Tian Wang, Huaqiao University, China Workshop/ Special Session Chairs Konsts Lambrinoudakis, University of Piraeus, Greece Al-Sakib Khan Pathan, Southeast University, Bangladesh Tatsuhiro Tsuchiya, Osaka University, Japan Demo/Poster/WiP Chairs Taufiq Asyhari, Cranfield University, UK Rukhsana Afroz Ruby, SIAT, China Publicity Chairs Wenjia Li, New York Institute of Technology, USA Constantinos Patsakis, University of Piraeus, Greece Kenichi Kourai, Kyushu Institute of Technology, Japan Md. Arafatur Rahman, Univ Malaysia Pahang, Malaysia Shaikh M Arifuzzaman, University of New Orleans, USA Local Organizing Chair Nikolaos Mastorakis, Hellenic Naval Academy, Greece Honorary Chairs Alberto Del Bimbo, University of Firenze, Italy Vincenzo Piuri, University of Milan, Italy Advisory Committee Chairs Nobuyasu Kanekawa, Hitachi, Ltd., Japan Mohammed Atiquzzaman, University of Oklahoma, USA Yi Pan, Georgia State University, USA Steering Committee Jianhua Ma (Chair), Hosei University, Japan Laurence T. Yang (Chair), SFX University, Canada Tadashi Dohi, Hiroshima University, Japan Yuanshun Dai, Univ. of Electronic Sci. & Tech. of China Stephen S. Yau, Arizona State University, USA Please visit the DASC 2018 Website http://cyber-science.org/2018/dasc/ for the complete listing of organizing committee and TPC members. ------------------------------------------------------- We love you. We are sorry. Please forgive us. Thank you. _______________________________________________ Mycolleagues mailing list Mycolleagues(a)mailman.ufsc.br http://mailman.ufsc.br/mailman/listinfo/mycolleagues - Through this links above you can "subscribe", "unsubscribe", or change your settings in the list. OR - Easy unsubscribe: http://mailman.ufsc.br/mailman/options/mycolleagues

1 0

Deadline: Apr. 25, 2018 CFP: 4th IEEE Smart World Congress (SmartWorld 2018)
by Anna Kobusińska 11 Apr '18

11 Apr '18

CALL FOR PAPERS =============== The 4th IEEE Smart World Congress (SmartWorld 2018) October 8-12, 2018 Guangzhou, China http://www.smart-world.org/2018/ <http://www.smart-world.org/2018/> ------------------------------------------------------------------------------------------------------------ IMPORTANT DATES Paper Submission Deadline: Apr. 25, 2018 (EXTENDED FIRM DEADLINE) Poster/Demo Submission Deadline: May 8, 2018 Author Notification Date: June 25, 2018 Camera-ready Deadline: Aug. 8, 2018 ------------------------------------------------------------------------------ Keynote Speeches Section You are welcome to attend 15+ Keynote Speeches offerred by world-renowned professors and industry leaders, which will be shared by the IEEE Smart World Congress 2018 and its six Co-Located Conferences (UIC, ATC, ScalCom, CBDCom, IoP, SCI) and their associated Symposiums/Workshops. Detailed information will be available at the conference website later. Special Issues Section Distinguished papers, after further revisions, will be published in 20+ SCI & EI indexed special issues* (to be confirmed). Special issues will be shared by IEEE Smart World Congress 2018 and its six Co-Located Conferences (UIC, ATC, ScalCom, CBDCom, IoP, SCI) and their associated Symposiums/Workshops: (1) IEEE Internet of Things Journal (SCI & EI Indexed, Impact Factor: 7.596) http://ieee-iotj.org/ (2) Information Fusion - Elsevier (SCI & EI Indexed, Impact Factor: 5.667) https://www.journals.elsevier.com/information-fusion/ <https://www.journals.elsevier.com/information-fusion/> (3) Information Sciences - Elsevier (SCI & EI Indexed, Impact Factor: 4.832) http://www.journals.elsevier.com/information-sciences/ <http://www.journals.elsevier.com/information-sciences/> (4) Future Generation Computer Systems - Elsevier (SCI & EI Indexed, Impact Factor: 3.997) http://www.journals.elsevier.com/future-generation-computer-systems/ <http://www.journals.elsevier.com/future-generation-computer-systems/> (5) Journal of Network and Computer Applications - Elsevier (SCI & EI Indexed, Impact Factor: 3.500) https://www.journals.elsevier.com/journal-of-network-and-computer-applicati… <https://www.journals.elsevier.com/journal-of-network-and-computer-applicati…> (6) IEEE Access (SCI & EI Indexed, Impact Factor: 3.244) http://ieeeaccess.ieee.org/ (7) Ad Hoc Networks - Elsevier (SCI & EI Indexed, Impact Factor: 3.047) https://www.journals.elsevier.com/ad-hoc-networks/ <https://www.journals.elsevier.com/ad-hoc-networks/> (8) Soft Computing - Springer (SCI & EI Indexed, Impact Factor: 2.472) https://link.springer.com/journal/500 <https://link.springer.com/journal/500> (9) Wireless Communications and Mobile Computing - Hindawi (SCI & EI Indexed, Impact Factor: 1.899) https://www.hindawi.com/journals/wcmc/ <https://www.hindawi.com/journals/wcmc/> (10) International Journal of Parallel Programming - Springer (SCI & EI Indexed, Impactor Factor: 1.156) https://link.springer.com/journal/10766 <https://link.springer.com/journal/10766> (11) Journal of Computer Science and Technology - Springer (SCI & EI Indexed, Impactor Factor: 0.956) http://www.springer.com/computer/journal/11390 <http://www.springer.com/computer/journal/11390> (12) Journal of Ambient Intelligence and Smart Environments - IOS (SCI & EI Indexed, Impactor Factor: 0.809) https://www.iospress.nl/journal/journal-of-ambient-intelligence-and-smart-e… <https://www.iospress.nl/journal/journal-of-ambient-intelligence-and-smart-e…> (13) IEICE Transactions on Information and Systems - (SCI & EI Indexed, Impact Factor: 0.411) http://www.ieice.org/eng/ (14) IEEE Cloud Computing - (EI Indexed) https://cloudcomputing.ieee.org/ <https://cloudcomputing.ieee.org/> (15) Journal of Information Security and Applications - Elsevier (ESCI & EI Indexed) https://www.journals.elsevier.com/journal-of-information-security-and-appli… <https://www.journals.elsevier.com/journal-of-information-security-and-appli…> (16) Future Internet - MDPI (ESCI & EI Indexed) http://www.mdpi.com/journal/futureinternet <http://www.mdpi.com/journal/futureinternet> (17) International Journal of Computational Science and Engineering (IJCSE) - INDERSCIENCE (ESCI & EI Indexed) http://www.inderscience.com/jhome.php?jcode=IJCSE <http://www.inderscience.com/jhome.php?jcode=IJCSE> (18) International Journal of Embedded Systems (IJES) - INDERSCIENCE (EI Indexed) http://www.inderscience.com/jhome.php?jcode=IJES <http://www.inderscience.com/jhome.php?jcode=IJES> (19) International Journal of High Performance Computing and Networking (IJHPCN) - INDERSCIENCE (EI Indexed) http://www.inderscience.com/jhome.php?jcode=ijhpcn <http://www.inderscience.com/jhome.php?jcode=ijhpcn> * More special issues will be added later. Workshops and Special Sessions Section Workshops/Special Sessions in conjunction with IEEE Smart World Congress 2018: (1) The 2018 IEEE International Symposium on Smart City and Informatization (iSCI 2018) http://www.smart-world.org/2018/iSCI/ <http://www.smart-world.org/2018/iSCI/> ------------------------------------------------------------------------------------------------------------ Ubiquitous Intelligence for Smart World The smart world is set to enhance everyday things with abilities of sensation, communication, computation and intelligence so that many tasks and processes could be simplified, more efficient and productive. It consists of numerous "smart things" that can be endowed with different levels/forms of computational intelligence and even capable of thinking. Research on smart world is an emerging research field covering many areas, essential problems and crucial issues in truly building the smart world that benefits humanity, and simultaneously safeguards the natural environment for sustainable development and evolution. The 4th IEEE Smart World Congress originated from the 2005 Workshop on Ubiquitous Smart Worlds (USW, Taipei) and the 2005 Symposium on Ubiquitous Intelligence and Smart World (UISW, Nagasaki). SmartWorld 2018 in Guangzhou is the continuation after the success of SmartWorld 2017 in San Francisco, SmartWorld 2016 in Toulouse, and SmartWorld 2015 in Beijing. IEEE SmartWorld 2018 aims to provide a high-profile, leading-edge platform for researchers and engineers to exchange and explore state-of-art advances and innovations in graceful integrations of Cyber, Physical and Social Worlds with Ubiquitous Intelligence. IEEE SmartWorld 2018 Topics - Smart Industry and Manufacture - Smart Agriculture and Aquaculture - Smart Materials and Fabric - Smart Environment and Ecosystems - Smart Earth/Space System - Smart Grid and Energy - Smart Logistics and Retail - Smart Building and Structure - Smart Roads and Transportation - Smart Vehicles and Networks - Smart Machines and Robots - Smart Home and Furniture - Smart Appliances and Goods - Smart Wearables and Implants - Smart Medicine and Healthcare - Smart Elderly/Kiddy Care - Smart Foods and Living - Smart Learning and Education - Smart Disaster Management - Smart Internet of Things - Smart Sensing, System and Service - Smart Computing & Communication Six Co-located Conferences - The 15th IEEE Int'l Conf. on Ubiquitous Intelligence and Computing (UIC 2018) - The 15th IEEE Int'l Conf. on Advanced and Trusted Computing (ATC 2018) - The 18th IEEE Int'l Conf. on Scalable Computing & Communications (ScalCom 2018) - The 4th IEEE Int'l Conf. on Cloud and BigData Computing (CBDCom 2018) - The 4th IEEE Int'l Conf. on Internet of People (IoP 2018) - The 2nd IEEE Int'l Conf. on Smart City Innovations (SCI 2018) IEEE SmartWorld 2018 Calls for - Papers that must be submitted electronically via the 2018 congress website - Workshop and Special Session Proposals in smart world related all aspects - Tutorial Proposals in addressing the emerging smart world areas - Smart AI City Competition Proposals for AI technological applications IMPORTANT DATES Paper Submission Deadline: Apr. 25, 2018 (EXTENDED FIRM DEADLINE) Poster/Demo Submission Deadline: May 8, 2018 Author Notification Date: June 25, 2018 Camera-ready Deadline: Aug. 8, 2018 PAPER SUBMISSION A submission is limited to 8 pages for a main conference paper, 6 pages for a workshop or special session paper, 4 pages for a Work-in-Progress paper, and 2 pages for a poster or demo paper in the IEEE Computer Society Proceedings Format (https://www.ieee.org/conferences_events/conferences/publishing/templates.ht… <https://www.ieee.org/conferences_events/conferences/publishing/templates.ht…>) with Portable Document Format (.pdf). A submission can have at most 2 additional pages with the pages overlength charge if accepted. Please submit at: https://easychair.org/conferences/?conf=smartworld2018 <https://easychair.org/conferences/?conf=smartworld2018>. IMPORTANT TIP For regular paper submission that falls in any of those various topics and beyond, please choose one appropriate track among the following three tracks when submitting your paper in the EasyChair system: Track 1. Smart World Theories and Models Track 2. Smart World Technologies Track 3. Smart World Systems PAPER PUBLICATION Accepted conference papers will be published by IEEE CPS (IEEE-DL and EI indexed). At least one author of each accepted paper is required to register and present their work at the conference; otherwise the paper will not be included in the proceedings. Best Paper Awards will be presented to high quality papers. Selected papers will be recommended to special issues. More details can be found via http://www.smart-world.org/2018/ <http://www.smart-world.org/2018/>. ORGANIZING COMMITTEE GENERAL CHAIRS Guojun Wang, Guangzhou Univ., China Yew Soon Ong, Nanyang Tech. Univ., Singapore PROGRAM CHAIRS Md Zakirul Alam Bhuiyan, Fordham Univ., USA Frode Eika Sandnes, HiOA, Norway Ruixuan Li, Huazhong Univ. of Sci. and Tech., China WORKSHOP CHAIRS Manuel Roveri, Politecnico di Milano, Italy Seiichi Ozawa, Kobe University, Japan Qin Liu, Hunan University, China TUTORIAL CHAIR Haibo He, University of Rhode Island, USA SUMMIT CHAIR Zhong Chen, Peking University, China COMPETITION CHAIR Jerry Gao, San Jose State University, USA LOCAL ARRANGEMENT CHAIR Jianer Chen, Guangzhou University, China HONORARY CHAIRS Stephen S. Yau, Arizona State Univ., USA Xin Yao, Southern Univ. of Sci. and Tech., China Cesare Alippi, Politecnico di Milano, Italy ADVISORY CHAIRS Vincenzo Piuri, Univ. of Milan, Italy Hussein Abbass, Univ. of New South Wales, Australia Hong Mei, Beijing Institute of Technology, China STEERING CHAIRS Jianhua Ma, Hosei Univ., Japan Laurence T. Yang, St. Francis Xavier Univ., Canada POSTER AND DEMO CHAIRS Constantinos Kolias, George Mason University, USA Tao Peng, Guangzhou University, China Darpan Triboan, De Montfort University, UK EXHIBITION CHAIR Dongqing Xie, Guangzhou University, China INDUSTRY SESSION CHAIRS Peter Mueller, IBM Zurich Research Laboratory, Switzerland Zengguang Hou, University of the Chinese Academy of Sciences, China JOURNAL SPECIAL ISSUE CHAIRS Kim-Kwang Raymond Choo, University of Texas at San Antonio, USA Sancheng Peng, Guangdong University of Foreign Studies, China Georgios Kambourakis, University of the Aegean, Greece Aniello Castiglione, University of Salerno, Italy PUBLICITY CHAIRS Carlos Becker Westphall, Federal University of Santa Catarina, Brazil Anna Kobusinska, Poznan University of Technology, Poland Chunsheng Zhu, University of British Columbia, Canada Wenbin Jiang, Huazhong University of Science and Technology, China Xiaokang Wang, St. Francis Xavier University, Canada COORDINATION CHAIRS Liming Chen, De Montfort University, UK Kevin I-Kai Wang, The University of Auckland, New Zealand REGISTRATION CHAIRS Xiaofei Xing, Guangzhou University, China Pin Liu, Central South University, China WEB CHAIR Dacheng Meng, Central South University, China Contact Please email inquiries concerning IEEE Smart World Congress 2018 to Conference Organizers: SmartWorld2018Guangzhou(a)googlegroups.com <mailto:SmartWorld2018Guangzhou@googlegroups.com>. Prof. Guojun Wang, General Chair of IEEE Smart World Congress 2018 -- ******************************************************************* Dr. Guojun Wang, Pearl River Scholarship Distinguished Professor Director of Institute of Computer Networks, Vice Dean of School of Computer Science and Educational Software, Guangzhou University, Guangzhou, Guangdong Province, P. R. China, 510006 Tel/Fax: +86-20-39366920 <tel:+86%2020%203936%206920>, Mobile: +86-13360581866 <tel:+86%20133%206058%201866> Email: csgjwang(a)gzhu.edu.cn <mailto:csgjwang@gzhu.edu.cn>; csgjwang(a)gmail.com <mailto:csgjwang@gmail.com> http://trust.gzhu.edu.cn/faculty/~csgjwang/publications.html <http://trust.gzhu.edu.cn/faculty/%7Ecsgjwang/publications.html> *******************************************************************

1 0

EUSPN-2018: 9th International Conference on Emerging Ubiquitous Systems and Pervasive Networks, Leuven, Belgium (Submission Date: Jun 13, 2018)
by Davidekova Monika 11 Apr '18

11 Apr '18

********************************************************************************** The 9th International Conference on Emerging Ubiquitous Systems and Pervasive Networks (EUSPN 2018) Date: November 5-8, 2018 Location: Leuven, Belgium Website: http://cs-conferences.acadiau.ca/euspn-18/ ********************************************************************************** The 9th International Conference on Emerging Ubiquitous Systems and Pervasive Networks (EUSPN) is a premier venue for bringing together multi-disciplinary researchers, professionals and practitioners from both academia and industry, who are engaged in different facets of ubiquitous systems and pervasive networks. The conference encourages innovative research contributions providing the recent significant developments and promising future trends of EUSPN based applications, systems, tools, environments and infrastructures in the fields of EUSPN and related areas. Important Dates: -------------------- - Workshop Proposals: May 28, 2018 - Paper Submission Due: Jun 13, 2018 - Author Notification: August 8, 2018 - Final Manuscript Due: September 8, 2018 Publication ------------- All EUSPN 2018 accepted papers will be published by Elsevier Science in the open-access Procedia Computer Science series on-line. Procedia Computer Science is hosted by Elsevier on www.Elsevier.com and on Elsevier content platform ScienceDirect (www.sciencedirect.com) and will be freely available worldwide. All papers in Procedia will be indexed by Scopus (www.scopus.com) and by Thomson Reuters' Conference Proceeding Citation Index (http://thomsonreuters.com/conference-proceedings-citation-index/) All papers in Procedia will also be indexed by Scopus (www.scopus.com) and Engineering Village (Ei) (www.engineeringvillage.com) This includes EI Compendex (www.ei.org/compendex) Moreover, all accepted papers will be indexed in DBLP (http://dblp.uni-trier.de/) The papers will contain linked references, XML versions and citable DOI numbers. Selected papers will be invited for publication, in the special issues of: - International Journal of Ambient Intelligence and Humanized Computing (IF: 1.588), by Springer (http://www.springer.com/engineering/journal/12652) - International Journal of Computing and Informatics (IF: 0.504), (http://www.cai.sk/ojs/index.php/cai/index) - IEEE Intelligent Transportation Systems Magazine (IF: 3.654), by IEEE (http://ieeexplore.ieee.org/xpl/RecentIssue.jsp?punumber=5117645) EUSPN 2018 will be held in conjunction with the 8th International Conference on Current and Future Trends of Information and Communication Technologies in Healthcare (ICTH: http://cs-conferences.acadiau.ca/icth-18/) Papers on either completed or ongoing research are invited in the following and related tracks: http://cs-conferences.acadiau.ca/euspn-18/call-for-papers.html EUSPN 2018 will be held in the city of Leuven. Leuven is the capital of the province of Flemish Brabant in Belgium. It is located about 25 kilometres (16 miles) east of Brussels. It is the 10th largest municipality in Belgium and the fourth in Flanders. Leuven is home to the Katholieke Universiteit Leuven, the largest and oldest university of the Low Countries and the oldest Catholic university still in existence. The related university hospital of UZ Leuven, is one of the largest hospitals of Europe. The city is also known for being the headquarters of Anheuser-Busch InBev, the world's largest brewer and one of the five largest consumer-goods companies in the world. The conference venue will be at Park Inn (by Radisson) Hotel (Leuven), which is located right in the heart of the Leuven city. The hotel is less than 2 mins walk from the Leuven train station. All you have to do is to get off the train (or the taxi or the bus) and take the elevator to the bridge connecting the hotel with the rest of the city. Leuven city is directly connected with the Brussels International airport with a 13 min connection via train, 45 mins via bus or a 20 min by taxi (or Uber). Conference Tracks ============ - Ad hoc and Pervasive Networks - Adaptive Systems, Intelligent Computing and Applications - Big Data and Big Data Science - Cloud, Cluster, Grid and Social Computing - Emerging Pervasive/Ubiquitous Technologies - Intelligent Traffic and Transportation Systems - Internet of Things - Mobile Computing and Wireless Communications - Security, Privacy, and Trust Committees ======== General Chair Atta Badii, University of Reading, UK Program Chairs Ansar-Ul-Haque Yasar, IMOB, Hasselt University, Belgium Francesco Piccialli, Francesco Piccialli, University of Naples, Federico II, Italy, Italy Advisory Committee Ali Ghorbani, University of New Brunswick, Canada Hossam Hassanein, Queen's University, Canada Vincenzo Loia, University of Salerno, Italy Zakaria Maamar, Zayed University, UAE Makoto Takizawa, Seikei University, Japan David Taniar, Monash University, Australia Albert Zomaya, The University of Sydney, Australia Workshops Chair Muhammad Adnan, Hasselt University, Belgium Publicity Chairs Monika Davidekova, Comenius University, Slovak Republic Mohamed Guerroumi, USTHB University, Algeria Hasibur Rahman, Stockholm University, Sweden Program Vice Chairs Syed Hassan Ahmed, University of Central Florida, USA Nik Bessis, Edge Hill University, United Kingdom Kechar Bouabdellah, University Of Oran 1 Ahmed Benbella, Algeria Alfredo Cuzzocrea, University of Trieste, Italy StÃ©phane Galland, UniversitÃ© de Technologie de Belfort-MontbÃ©liard, France Abid Khan, CIIT, Pakistan Yannis Korkontzelos, Edge Hill University, UK Flavio Lombardi, Universita Roma Tre, Italy Euripides Petrakis, Technical University of Crete, Greece Evangelos Pournaras, ETH, Switzerland Michael Sheng, Macquarie University, Australia Stelios Sotiriadis, University of Toronto, Canada Wei Zhang, Macquarie University, Australia Technical Program Committee http://cs-conferences.acadiau.ca/euspn-18/organizing-commitee.html Your contributions and support are appreciated.

1 0

MobiSPC 2018 CfPs: The 15th Intl. Conf. on Mobile Systems and Pervasive Computing, Gran Canaria, Spain FINAL CALL
by Davidekova Monika 11 Apr '18

11 Apr '18

CallforPapers The 15th International Conference on Mobile Systems and Pervasive Computing (MobiSPC'18), August 13-15, 2018, Gran Canaria, Spain http://cs-conferences.acadiau.ca/mobispc-18/<https://na01.safelinks.protection.outlook.com/?url=http%3A%2F%2Fcs-conferen…> IMPORTANT DATES - Paper Submission Due: April 20, 2018 (FINAL) - Acceptance Notification: May 15, 2018 - Final Manuscript Due: June 15, 2018 About Mobile Systems and Pervasive Computing (MobiSPC) have evolved into an active area of research and development. This is due to the tremendous advances in a broad spectrum of technologies and topics, including wireless networking, mobile and distributed computing, sensor systems, RFID technology, and the ubiquitous mobile phone. MobiSPC-2018 solicits papers that focus on the theory, systems, practices and challenges of providing users with a successful mobile or wireless experience. This includes how mobile computing changes how people pervasively use their computers, computing resources and applications, as well the systems, services and technologies enabling those applications. MobiSPC-2018 will provide a leading edge, scholarly forum for researchers, engineers, and students alike to share their state-of-the art research and developmental work in the broad areas of pervasive computing and mobile systems. Publication All MobiSPC 2018 accepted papers will be published by Elsevier Science in the open-access Procedia Computer Science series on-line. Procedia Computer Science is hosted by Elsevier on www.Elsevier.com<https://na01.safelinks.protection.outlook.com/?url=http%3A%2F%2Fwww.elsevie…> and on Elsevier content platform ScienceDirect (www.sciencedirect.com<https://na01.safelinks.protection.outlook.com/?url=http%3A%2F%2Fwww.science…>), and will be freely available worldwide. All papers in Procedia will be indexed by Scopus (www.scopus.com<https://na01.safelinks.protection.outlook.com/?url=http%3A%2F%2Fwww.scopus.…>) and by Thomson Reuters' Conference Proceeding Citation Index (http://thomsonreuters.com/conference-proceedings-citation-index/<https://na01.safelinks.protection.outlook.com/?url=http%3A%2F%2Fthomsonreut…>). All papers in Procedia will also be indexed by Scopus (www.scopus.com<https://na01.safelinks.protection.outlook.com/?url=http%3A%2F%2Fwww.scopus.…>) and Engineering Village (Ei) (www.engineeringvillage.com<https://na01.safelinks.protection.outlook.com/?url=http%3A%2F%2Fwww.enginee…>). This includes EI Compendex (www.ei.org/compendex<https://na01.safelinks.protection.outlook.com/?url=http%3A%2F%2Fwww.ei.org%…>). Moreover, all accepted papers will be indexed in DBLP (http://dblp.uni-trier.de/<https://na01.safelinks.protection.outlook.com/?url=http%3A%2F%2Fdblp.uni-tr…>). The papers will contain linked references, XML versions and citable DOI numbers. You will be able to provide a hyperlink to all delegates and direct your conference website visitors to your proceedings. Selected papers will be invited for publication, in the following special issues: - Journal of Ambient Intelligence and Humanized Computing (IF: 1.588), by Springer (http://www.springer.com/engineering/journal/12652<https://na01.safelinks.protection.outlook.com/?url=http%3A%2F%2Fwww.springe…>) - International Journal of Computing and Informatics (IF: 0.504), (http://www.cai.sk/ojs/index.php/cai/index<https://na01.safelinks.protection.outlook.com/?url=http%3A%2F%2Fwww.cai.sk%…>) - IEEE Intelligent Transportation Systems Magazine (IF: 3.654), by IEEE (http://ieeexplore.ieee.org/xpl/RecentIssue.jsp?punumber=5117645<https://na01.safelinks.protection.outlook.com/?url=http%3A%2F%2Fieeexplore.…>) MobiSPC 2018 will be held in conjunction with The 13th International Conference on Future Networks and Communications (FNC'18). http://cs-conferences.acadiau.ca/fnc-18/<https://na01.safelinks.protection.outlook.com/?url=http%3A%2F%2Fcs-conferen…> Venue MobiSPC 2018 is co-organized & co-hosted by the University of University of Las Palmas de Gran Canaria, Spain. MobiSPC 2018 will be held in Gran Canaria, Spain. Gran Canaria originally meaning "Great [Island] of Dogs" is the second most populous island of the Canary Islands, an African archipelago which is part of Spain, with a population of 847,830 (in 2015) that constitutes approximately 40% of the population of the archipelago. Located in the Atlantic Ocean about 150 kilometres (93 mi) off the northwestern coast of Africa and about 1,350 km (840 mi) from Europe. With an area of 1,560 km2 (602 sq. mi) and an altitude of 1,956 m (6,417 ft) at the Pico de las Nieves, Gran Canaria is the third largest island of the archipelago in both area and altitude. Committees General Chair Boris Magnusson, Lund University, Sweden Program Chairs Stephane Galland, Universite de Technologie de Belfort-Montbeliard, France Elhadi Shakshuki, Acadia University, Canada Local Chair Javier Sanchez Medina, University of Las Palmas de Gran Canaria, Spain Advisory Committee Nirwan Ansari, New Jersey Institute of Technology, USA Abdelfettah Belghith, University of Manouba, Tunisia Flavien Balbo, Ecole Nationale Superieure des Mines de Saint Etienne, France Erol Gelenbe, Imperial College, UK Vincenzo Loia, University of Salerno, Italy No‘l de Palma, Universite de Grenoble, France Ralf Steinmetz, Technische Universitaet Darmstadt, Germany Mohamed Younis, University of Maryland Baltimore County, USA Workshops Chair Haroon Malik, Marshall University, USA Tracks Chairs Habib M. Ammari, Fordham University, USA Longbiao Chen, Xiamen University, China Mohamed Guerroumi, USTHB University, Algeria Danny Hughes, K. U. Leuven, Belgium Francesco Piccialli, University of Naples, Federico II, Italy Zahoor Khan, HCT, UAE Prashant Kumar, University of Surrey, UK Marc Körner, TUB Berlin, Germany Christian Poellabauer, University of Notre Dame, USA Kashif Akhtar Saleem, KSA Michael Sheng, University of Adelaide, Australia David S. L. Wei, Fordham University, USA International Journals Chair Salvatore Cuomo, University of Naples Federico II, Italy Publicity Chairs Wim Ectors, Hasselt University, Belgium Monika Davidekova, Comenius University, Slovak Republic Technical Program Committee http://cs-conferences.acadiau.ca/mobispc-18/#programCommittees<https://na01.safelinks.protection.outlook.com/?url=http%3A%2F%2Fcs-conferen…>

1 0

[MobiSPC-2018] FINAL submission deadline: April 20. Conference on Mobile Systems and Pervasive Computing. Gran Canaria, Spain (July 13-15, 2018)
by Wim Ectors 11 Apr '18

11 Apr '18

------------------------------------------------------------------------ The 15th International Conference on Mobile Systems and Pervasive Computing August 13-15, 2018 Gran Canaria, Spain http://cs-conferences.acadiau.ca/mobispc-18/ ------------------------------------------------------------------------ Mobile Systems and Pervasive Computing (MobiSPC) have evolved into an active area of research and development. This is due to the tremendous advances in a broad spectrum of technologies and topics, including wireless networking, mobile and distributed computing, sensor systems, RFID technology, and the ubiquitous mobile phone. MobiSPC-2018 solicits papers that focus on the theory, systems, practices and challenges of providing users with a successful mobile or wireless experience. This includes how mobile computing changes how people pervasively use their computers, computing resources and applications, as well the systems, services and technologies enabling those applications. MobiSPC-2018 will provide a leading edge, scholarly forum for researchers, engineers, and students alike to share their state-of-the art research and developmental work in the broad areas of pervasive computing and mobile systems. Important Dates ---------------- - Workshop Proposal Due: February 10, 2018 - Paper Submission Due: April 20, 2018 (FINAL) - Acceptance Notification: May 15, 2018 - Final Manuscript Due: June 15, 2018 Publication ------------ All MobiSPC 2018 accepted papers will be published by Elsevier Science in the open-access Procedia Computer Science series on-line. Procedia Computer Science is hosted by Elsevier on www.Elsevier.com and on Elsevier content platform ScienceDirect (www.sciencedirect.com) and will be freely available worldwide. All papers in Procedia will be indexed by Scopus ( www.scopus.com) and by Thomson Reuters' Conference Proceeding Citation Index (http://thomsonreuters.com/conference-proceedings-citation-index/) All papers in Procedia will also be indexed by Scopus (www.scopus.com) and Engineering Village (Ei) (www.engineeringvillage.com) This includes EI Compendex (www.ei.org/compendex) Moreover, all accepted papers will be indexed in DBLP (http://dblp.uni-trier.de/) The papers will contain linked references, XML versions and citable DOI numbers. You will be able to provide a hyperlink to all delegates and direct your conference website visitors to your proceedings. Selected papers will be invited for publication, in the following special issues: - International Journal of Ambient Intelligence and Humanized Computing (IF: 1.588), by Springer (http://www.springer.com/engineering/journal/12652) - International Journal of Computing and Informatics (IF: 0.504), ( http://www.cai.sk/ojs/index.php/cai/index) - IEEE Intelligent Transportation Systems Magazine (IF: 3.654), by IEEE ( http://ieeexplore.ieee.org/xpl/RecentIssue.jsp?punumber=5117645) MobiSPC 2018 will be held in conjunction with the 13th International Conference on Future Networks and Communications (FNC, http://cs-conferences.acadiau.ca/fnc-18/) . MobiSPC 2018 is co-organized & co-hosted by the University of University of Las Palmas de Gran Canaria, Spain. MobiSPC 2018 will be held in Gran Canaria, Spain. Gran Canaria originally meaning "Great [Island] of Dogs" is the second most populous island of the Canary Islands, an African archipelago which is part of Spain, with a population of 847,830 (in 2015) that constitutes approximately 40% of the population of the archipelago. Located in the Atlantic Ocean about 150 kilometres (93 mi) off the northwestern coast of Africa and about 1,350 km (840 mi) from Europe. With an area of 1,560 km2 (602 sq. mi) and an altitude of 1,956 m (6,417 ft) at the Pico de las Nieves, Gran Canaria is the third largest island of the archipelago in both area and altitude. COMMITTEES: ----------- General Chair Boris Magnusson, Lund University, Sweden Program Chair StŽphane Galland, UniversitŽ de Technologie de Belfort-MontbŽliard, France Elhadi Shakshuki, Acadia University, Canada Local Chair Javier Sanchez Medina, University of Las Palmas de Gran Canaria, Spain Advisory Committee Nirwan Ansari, New Jersey Institute of Technology, USA Abdelfettah Belghith, University of Manouba, Tunisia Flavien Balbo, Ecole Nationale SupŽrieure des Mines de Saint Etienne, France Erol Gelenbe, Imperial College, UK Vincenzo Loia, University of Salerno, Italy No‘l de Palma, UniversitŽ de Grenoble, France Ralf Steinmetz, Technische Universitaet Darmstadt, Germany Mohamed Younis, University of Maryland Baltimore County, USA Workshops Chair Haroon Malik, Marshall University, USA Tracks Chairs Habib M. Ammari, Fordham University, USA Longbiao Chen, Xiamen University, China Mohamed Guerroumi, USTHB University, Algeria Danny Hughes, K. U. Leuven, Belgium Francesco Piccialli, University of Naples, Federico II, Italy Zahoor Khan, HCT, UAE Prashant Kumar, University of Surrey, UK Marc Kšrner, TUB Berlin, Germany Christian Poellabauer, University of Notre Dame, USA Kashif Akhtar Saleem, KSA Michael Sheng, University of Adelaide, Australia David S. L. Wei, Fordham University, USA International Journals Chair Salvatore Cuomo, University of Naples Federico II, Italy Publicity Chairs Wim Ectors, Hasselt University, Belgium Monika Davidekova, Comenius University, Slovak Republic Technical Program Committee http://cs-conferences.acadiau.ca/mobispc-18/#programCommittees

1 0

Deadline in a few days - 32nd IFIP WG 11.3 Conference on Data and Applications Security and Privacy, DBSec 2018
by DBSec 2018 10 Apr '18

10 Apr '18

CALL FOR PAPERS *** Deadline in a few days (April 13, 2018 - 11:59 PM American Samoa time) *** 32nd Annual IFIP WG 11.3 Working Conference on Data and Applications Security and Privacy (DBSec 2018) Bergamo, Italy -- July 16-18, 2018 DBSec is an annual international conference covering research in data and applications security and privacy. The 32nd Annual IFIP WG 11.3 Working Conference on Data and Applications Security and Privacy (DBSec 2018) will be held in Bergamo, Italy. The conference seeks submissions from academia, industry, and government presenting novel research on all theoretical and practical aspects of data protection, privacy, and applications security. Topics of interest include, but are not limited to: - access control - anonymity - applied cryptography in data security - authentication - big data security - data and system integrity - data protection - database security - digital rights management - identity management - intrusion detection - knowledge discovery and privacy - methodologies for data and application security - network security - organizational security - privacy - secure cloud computing - secure distributed systems - secure information integration - secure Web services - security and privacy in crowdsourcing - security and privacy in IT outsourcing - security and privacy in the Internet of Things - security and privacy in location-based services - security and privacy in P2P scenarios and social networks - security and privacy in pervasive/ubiquitous computing - security and privacy policies - security management - security metrics - threats, vulnerabilities, and risk management - trust and reputation systems - trust management - wireless and mobile security PAPER SUBMISSIONS Submitted papers should be at most 16 pages in the LNCS format, including the bibliography and well-marked appendices. Committee members are not required to read the appendices, and so the paper should be intelligible without them. Submissions are to be made to the submission web site at https://easychair.org/conferences/?conf=dbsec2018. Only pdf files will be accepted. Submissions not meeting these guidelines risk rejection without consideration of their merits. Papers must be received by the deadline of April 13, 2018 (11:59 PM American Samoa time). At least one author of an accepted paper is required to register for the conference at the full rate and must guarantee that the paper will be presented. Note that for authors with multiple accepted papers, one full registration is valid for one paper only. Accepted papers will be published by Springer in the Lecture Notes in Computer Science (LNCS) series. The final version of the accepted papers must be in the format required of publications in the LNCS series (a Latex source file will be required). A paper submitted to DBSec 2018 cannot be under review for any other conference or journal during the time it is being considered for DBSec 2018. Furthermore, after you submit to DBSec 2018, you must await our response before submitting elsewhere. If you submit your paper to another conference or journal either before/after submission of the paper to DBSec 2018, we will reject your paper without review and will notify the other conference/journal as well. This restriction applies to identical as well as to substantially similar papers. IMPORTANT DATES Paper Submission due: April 13, 2018 - 11:59 PM American Samoa Time Notification to authors: May 21, 2018 Final papers due: May 31, 2018 GENERAL CHAIR Sara Foresti Università degli Studi di Milano, Italy PROGRAM CHAIRS Florian Kerschbaum University of Waterloo, Canada Stefano Paraboschi Università degli Studi di Bergamo, Italy PUBLICITY CHAIRS Enrico Bacis, Marco Rosa Università degli Studi di Bergamo, Italy PROGRAM COMMITTEE Frederik Armknecht, University of Mannheim, Germany Vijay Atluri, Rutgers University, USA Frederic Cuppens, Telecom Bretagne, France Nora Cuppens-Boulahia, Telecom Bretagne, France Sabrina De Capitani di Vimercati, Università degli Studi di Milano, Italy Giovanni Di Crescenzo, Vencore Labs, USA Sara Foresti, Università degli Studi di Milano, Italy Joaquin Garcia-Alfaro, Telecom SudParis, France Stefanos Gritzalis, University of the Aegean, Greece Ehud Gudes, Ben-Gurion University, Israel Yuan Hong, Illinois Institute of Technology, USA Sushil Jajodia, George Mason University, USA Sokratis Katsikas, Giovik University College, Norway Alex X. Liu, Michigan State University, USA Peng Liu, Pennsylvania State University Giovanni Livraga, Università degli Studi di Milano, Italy Ashwin Machanavajjhala, Duke University, USA Brad Malin, Vanderbilt University, USA Fabio Martinelli, IIT-CNR, Italy Catherine Meadows, NRL, USA Martin Olivier, University of Pretoria, South Africa Andreas Peter, University of Twente, Netherlands Silvio Ranise, FBK Security and Trust Unit, Italy Indrajit Ray, Colorado State University, USA Kui Ren, University at Buffalo, USA Pierangela Samarati, Università degli Studi di Milano, Italy Scott Stoller, Stony Brook University, USA Tamir Tassa, The Open University of Israel, Israel Mahesh Tripunitara, University of Waterloo, Canada Jaideep Vaidya, Rutgers University, USA Lingyu Wang, Concordia University, Canada Wendy H. Wang, Stevens Institute of Technology, USA Attila Yavuz, Oregon State University, USA Ting Yu, QCRI, Qatar Nicola Zannone, Eindhoven Technical University IFIP WG11.3 CHAIR Sabrina De Capitani di Vimercati Università degli Studi di Milano, Italy This call for papers and additional information about the conference can be found at http://dbsec18.unibg.it

1 0

Fwd: Call for Workshop Proposals- EUSPN 2018, 5-8 November, Leuven, Belgium
by Muhammad ADNAN 10 Apr '18

10 Apr '18

*Call for Workshop Proposals – EUSPN 2018* The 9th International Conference on Emerging Ubiquitous Systems and Pervasive Networks (EUSPN) November 5-8, 2018 Leuven, Belgium Conference Website:http://cs-conferences.acadiau.ca/euspn-18/ <http://cs-conferences.acadiau.ca/euspn-18/> ****************************** ******************** ** *Important Dates* =========== - *Workshop Proposal Due:**May 28, 2018 * The EUSPN-2018 organizing committee invites proposals for workshops. The main objective of the workshops is to provide a forum for researchers and professionals to discuss a specific topic from the field of EUSPN-2018 and its related areas as mentioned below. • Ad hoc and Pervasive Networks • Adaptive Systems, Intelligent Computing & Applications • Big Data and Big Data Science • Cloud, Cluster, Grid and Social Computing • Emerging Pervasive/Ubiquitous Technologies • Intelligent Traffic and Transportation Systems • Internet of Things • Mobile Computing and Wireless Communications • Security, Privacy, and Trust • Semantic Web Technologies For more details on the topics visit the EUSPN-2018 website: http://cs- <http://cs-conferences.acadiau.ca/euspn-18>conferences. <http://cs-conferences.acadiau.ca/euspn-18>acadiau.ca/euspn-18 <http://cs-conferences.acadiau.ca/euspn-18> <http://cs-conferences.acadiau.ca/euspn-18> Call for Workshop can be accessed from http://cs-confer ences.acadiau.ca/euspn-18/call-for-workshop-proposals.html All papers accepted for workshops will be included in theEUSPN-2018 proceedings, which will be published by Elsevier. The authors must follow Elsevier guidelines as given in EUSPN-2018 Website. The selective outstanding papers presented at the workshops, after further revision, will be considered for publication in journals special issues. *Pre-proposal Submission Inquiries* ====================== If you are interested to organize a workshop and you wish to discuss ideas for a workshop proposal, please feel free to contact the Workshops Chair. Proposal Format =========== - Title of the workshop - Workshop website: tentative address, or old address (if applicable) - Draft call for papers of the workshop - Tentative list of TPC members Workshops Chair ============== *Dr. Muhammad Adnan, Hasselt University, Belgium (Email: muhammad.adnan(a)uhasselt.be <muhammad.adnan(a)uhasselt.be> )* EUSPN Conference Organisers: ============== Dr. Elhadi Shakshuki, Acadia University, Nova Scotia, Canada (E-mail: elhadi.shakshuki(a)acadiau.ca ) Dr. Ansar-Ul-Haque Yasar, Hasselt University, Hasselt, Belgium (Email: Ansar.yasar@uhasselt <ansar.yasar(a)uhasselt.be>Be <ansar.yasar(a)uhasselt.be>) <ansar.yasar(a)uhasselt.be> <ansar.yasar(a)uhasselt.be> <ansar.yasar(a)uhasselt.be> - Dr. Muhammad Adnan Senior Researcher - Senior Researcher Institute for Mobility (IMOB) - Transportation Research Institute T +32(0)11 26 91 47 - F +32(0)11 26 91 99 www.uhasselt.be \ imob Hasselt University - Campus Diepenbeek Science Park 5 bus 6 - B-3590 Diepenbeek Office WETP5-0.10 - Dr. Muhammad Adnan Senior Researcher - Senior Researcher Institute for Mobility (IMOB) - Transportation Research Institute T +32(0)11 26 91 47 - F +32(0)11 26 91 99 www.uhasselt.be \ imob Hasselt University - Campus Diepenbeek Science Park 5 bus 6 - B-3590 Diepenbeek Office WETP5-0.10 - Dr. Muhammad Adnan Senior Researcher - Senior Researcher Institute for Mobility (IMOB) - Transportation Research Institute T +32(0)11 26 91 47 - F +32(0)11 26 91 99 www.uhasselt.be \ imob Hasselt University - Campus Diepenbeek Science Park 5 bus 6 - B-3590 Diepenbeek Office WETP5-0.10 - Dr. Muhammad Adnan Senior Researcher - Senior Researcher Institute for Mobility (IMOB) - Transportation Research Institute T +32(0)11 26 91 47 - F +32(0)11 26 91 99 www.uhasselt.be \ imob Hasselt University - Campus Diepenbeek Science Park 5 bus 6 - B-3590 Diepenbeek Office WETP5-0.10

1 0

AlCoB 2018: call for posters
by IRDTA 10 Apr '18

10 Apr '18

AlCoB 2018: call for posters*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line* ********************************************************************************** The 5th International Conference on Algorithms for Computational Biology (AlCoB 2018) invites researchers to submit poster presentations. AlCoB 2018 will be held in Hong Kong on June 25-26, 2018. See http://grammars.grlmc.com/AlCoB2018/ Poster presentations are intended to enhance informal interactions with conference participants, at the same time allowing for in-depth discussion. TOPICS Presentations displaying novel work in progress on algorithms in computational biology are encouraged on the following topics: - assembling sequence reads into a complete genome, - identifying gene structures in the genome, - recognizing regulatory motifs, - aligning nucleotides and comparing genomes, - reconstructing regulatory networks of genes, and - inferring the evolutionary phylogeny of species. Posters do not need to show final research results. Work that might lead to new interesting developments is welcome. KEY DATES Poster submission deadline: May 18, 2018 Notification of poster acceptance or rejection: May 25, 2018 SUBMISSION Please submit a .pdf abstract through: https://easychair.org/conferences/?conf=alcob2018 It should contain the title, author(s) and affiliation, and should not exceed 500 words. PRESENTATION Posters will be allocated 10 minutes each in the programme for oral presentation. Moreover, they will remain hanging out during the whole conference for discussion. PUBLICATION Posters will not appear in the LNCS/LNBI proceedings volume of AlCoB 2018. However, they will be eligible for submission to the post-conference journal special issue in IEEE/ACM Transactions on Computational Biology and Bioinformatics (2016 JCR impact factor: 1.955). REGISTRATION At least one author of each accepted poster must register to the conference by June 11, 2018. The registration fare is reduced: 285 Euros. It gives the same rights all other conference participants have (attendance, copy of the proceedings volume, lunches, coffee breaks). Contributors of regular papers who in addition get a poster accepted must register for the latter independently.

1 0

Call for Joint Workshop on Deep (or Machine) Learning for Safety-Critical Applications in Engineering
by Mariam Kiran 09 Apr '18

09 Apr '18

Dear All, Apologies for cross postings. *Joint Workshop on Deep (or Machine) Learning for Safety-Critical Applications in Engineering (https://easychair.org/cfp/DISE1 <https://easychair.org/cfp/DISE1>)* This is a Joint Workshop between ICML ( https://icml.cc/Conferences/2018/CallForWorkshops) AAMAS ( http://celweb.vuse.vanderbilt.edu/aamas18/workshopsList/) and IJCAI ( https://www.ijcai-18.org/workshops/) Modern technological advances in engineering fields such as automotive, aerospace, robotic, even data centers and networks, are exploiting machine learning to improve and maintain mission critical activities. These systems are large, complex and require real-time learning with feedback to ensure they function as desired. Detecting anomalies, analyzing failures and predicting future system state are imperative and are becoming part of engineering integrative approaches. Research in algorithmic methods to make real-time decisions based on fast arriving, high-volume condition data, on-site feedback and data models is needed to train machine learning models quickly and correctly. This workshop aims to bring together diverse researchers from areas such as reinforcement learning, autonomous agents, game theory, controls and operations engineering teams to develop approaches which enable real-time discovery, inference and computational tools. These techniques are aimed to influence engineering operations teams in aerospace, self-driving automotive, robotics, data centers and any engineering operations that automate mission-critical and safety applications. We encourage focus on aspects of deep learning to solve problems into domains where continuous training and fast results are needed without jeopardizing prediction accuracy. However, we also encourage exploration of new innovative machine learning approaches, which can solve these problems with improved latency. We are also seeking contributions in advances of streaming and distributed algorithms, heterogeneous and high-dimensional data sets and real-time decision- making algorithms for operations. Some possible topics of interests but not confined are: - *Adaptation*: How can systems learn and adapt to changes in the environment (especially in dynamic environments) when training data is less and requires quick model assumption. How can principles of autonomous agents working together to build large engineering systems be exploited to react in dynamic situations. - *Noisy and poor data sets*: How can machine learning models be trained to understand noisy data sets for quick learning. Missing data exploration? - *Detecting anomalous behavior:* How can anomalies be detected quickly and partitioned appropriately such that correct actions are applied? - *Improving latency:* How can machine learning algorithms be improved to produce results quickly than previously anticipated? - *Improving software and hardware performance:* Exploring models of GPU, HPC processing and FPGAs to improve the performance of algorithms can greatly influence their use in engineering design. Experimental demonstrations are encouraged to display this. - *Reinforcement learning:* How can machine learn correct behavior? Can training be made quicker with guidance to allow algorithms to produce corrective measure when anomalies are detected? - *Human factors:* how can engineers maintaining the system interact with the self- autonomous system - *Open problems in engineering where machine learning is not proving fruitful*. What are the open problems in operations where practical machine learning is difficult to apply? What are the limitations and how can these be improved? Workshop dates will be between 14th and 15th of July 2018, located as part of Joint IJCAI/ECAI/AAMAS/ICML Call for Workshops. Specific dates will be announced soon. Important dates: -------------------------- - Submission deadline: 28th May, 2018, 23:59 (PDT) - Author notification: 15th June, 2018 - Camera-ready (final) paper deadline: 1st July, 2018 - Workshop: 14th or 15th July, 2018 (To be confirmed) Submission Guidelines: -------------------------------- The abstract and paper submission deadline is the 28th of May 2018. Please upload the final PDF as an updated version in your existing submission on EasyChair. All submissions must obey the following formatting requirements. Submit papers of *no more than six (6)* single–spaced pages for long papers (and *four (4) for short papers*), including figures, tables, any appendices, etc., followed by as many pages as necessary for references. Submit papers formatted for printing on Letter-sized (8.5” by 11”) paper. Paper text blocks must follow ACM guidelines: double-column, with each column 9.25” by 3.33”, 0.33” space between columns. Each column must use 10-point font or larger, and contain no more than 55 lines of text. It is your responsibility to ensure that your submission satisfies the above requirements. If you are using LaTeX, you can make use of template for ACM conference proceedings. For your posters, we suggest A0 size measuring 841 × 1189 mm (33.1 × 46.8 in). Note that the workshop venue cannot accommodate posters larger than 910 × 1220 mm (36 × 48 in). All papers must be original and not simultaneously submitted to another journal or conference. The following paper categories are welcome: - Full papers describing mature solutions of deep learning in safety critical systems from various engineering domains such as security networks and self-autonomous cars or more. - Short paper on early demonstrations of deep learning in safety critical systems from various engineering domains. - Posters on early works (PhD students and early career researchers are particularly encouraged) Program Committee: ------------------------------- - Mariam Kiran, Lawrence Berkeley National Lab, US - Alex Sim, Lawrence Berkeley National Lab, US - John Wu, Lawrence Berkeley National Lab, US - Samir Khan, University of Tokyo, Tokyo, Japan - Takehisa Yairi, University of Tokyo, Japan - Rajkumar Kettimuthu, Argonne National Laboratory, US Organizing committee: -------------------------------------- Mariam Kiran, Lawrence Berkeley National Lab Samir Khan University of Tokyo, Tokyo, Japan Contact: Al questions about submissions should be emailed to <mkiran(a)es.net, khan(a)ailab.t.u-tokyo.ac.jp>.

1 0

WHPC at ISC18 Call for participation and posters
by Toni Collis 09 Apr '18

09 Apr '18

Call for early/mid career posters on HPC topics for the 8th International Women in HPC Workshop ================================================================= 8th International Women in HPC workshop Thursday June 28th 2018 — Frankfurt, Germany Call for posters and participation https://www.womeninhpc.org/whpc-isc18/workshop/ <https://www.womeninhpc.org/whpc-isc18/workshop/> ================================================================= This workshop provides leaders and managers in the HPC community with methods to improve diversity and also to provide early career women with an opportunity to develop their professional skills and profile. Based on popular request topics to be covered this year include: - How to build workplace resilience and maintain well-being, while managing work stress. - Being part of the solution: instructions for advocates and allies. - Best practices from organizations on improving workplace diversity. - Managing the two body problem and achieving effective work-life balance. We will also provide opportunities aimed at promoting and providing women with the skills to thrive in HPC including: - Short talks by women working in HPC on their work. - Pointers on how to handle workplace conflicts and effectively respond to discrimination - Short talks on: best practices from equity frameworks from outside HPC, suggestions and - Challenges for women in HPC related venture capitals, effectively dealing with workplace discrimination, building a successful career, excelling in the workforce, etc. Call for posters: Now Open! Deadline for submissions: April 21st 2018 AOE As part of the workshop, we invite submissions from women in industry and academia to present their work as a poster. This will promote the engagement of women in HPC research and applications, provide opportunities for peer to peer networking, and the opportunity to interact with female role models and employers. Submissions are invited on all topics relating to HPC from users and developers. All abstracts should emphasize the computational aspects of the work, such as the facilities used, the challenges that HPC can help address and any remaining challenges etc. Exclusive to WHPC at ISC18: Successful authors will have the opportunity to present their poster in the main ISC18 conference poster session. For full details please see: https://www.womeninhpc.org/whpc-isc18/workshop/submit/ <https://www.womeninhpc.org/whpc-isc18/workshop/submit/> Workshop Committee - Workshop Chair: Elsa Gonsiorowski, Lawrence Livermore National Laboratory, USA - Co-Chair: Misbah Mubarak, Argonne National Laboratory, USA - Co-Chair: Toni Collis, EPCC, UK and Women in HPC Network, UK - Poster Chair: Jessica Popp, Data Direct Networks, USA - Poster Co-Chair: Weronika Filinger, EPCC, UK - Mentor Chair: Mozhgan Kabiri Chimeh, University of Sheffield, UK - Mentor Co-Chair: Gokcen Kestor, Oak Ridge National Laboratory, USA

1 0

PhD position in France
by El-ghazali Talbi 09 Apr '18

09 Apr '18

Please distribute in your networks the PhD position below. Title: Robust topology optimization under uncertainty – application to automotive brake systems Location: LAMIH UMR CNRS 8201, University de Valenciennes, Le Mont Houy, 59313 Valenciennes Cedex 9, France. Supervisor staff: El-ghazali Talbi, CRIStAL UMR CNRS 9189 Université de Lille/INRIA Lille Nord Europe ; Thierry Tison, LAMIH UMR CNRS 8201, Université de Valenciennes; Franck Massa, LAMIH UMR CNRS 8201, Université de Valenciennes Keywords: Topology optimization; Uncertainty; Surrogate models; Metaheuristic; Evolutionary algorithms; Numerical methods Project description: Optimization under uncertainty aims at accounting for the observed variability of some model parameters in order to tend to robust and reliable designs. The integration of multiple uncertain parameter, for example relative to a topology, a topography or boundary conditions, relies on the use or the coupling of different theories (probability, interval, fuzzy …) for a successful representation of the observed evolutions. In engineering, investigated problems lead to large time consuming mathematical problems associated to the objective and state functions. Generally, they are addressed by considering the finite element method. To solve this kind of problem, numerical strategies based on parallel calculations, surrogate models and metaheuristic algorithms (Evolutionary algorithms) are necessary. Moreover, a multi-objective formulation must be considered to guarantee the robustness of the optimal solutions. Research in optimization is a fundamental field for all the engineering domains to answer the new environmental requirements. The optimization method, proposed in this project, will be applied to investigate brake squeal phenomenon. Indeed, the reduction of environmental acoustic pollution is a major concern for automotive manufacturers. These last years, several research works revealed the interest for uncertain stability analysis used to simulate squeal. Among the already studied parameters, the variability of the topography of contact surfaces seems to be the most sensitive parameter. To tend to a robust design, it is essential to integrate the spatial uncertainty during the design step of the brake components. The objective of this multidisciplinary thesis project is to develop a topology optimization strategy under topographical uncertainty for dynamic stability problems. References of supervisor staff: Talbi E-G. Metaheuristics: from design to implementation, Wiley, 2009. Tison T., Heussaff A., Massa F., Turpin I., Nunes R. Improvement in the predictivity of squeal simulations: uncertainty and robustness. Journal of sound and vibration, 333(15), pp. 3394-3412, 2014. Renault A., Massa F., Lallemand B., Tison T. Experimental investigations for uncertainty quantification in brake squeal analysis. Journal of Sound and Vibration, 367, pp. 37-55, 2016. Talbi E-G. Hybrid metaheuristics, Springer, 2016. Do H., Massa F., Tison T., Lallemand B. A global strategy for the stability analysis of friction induced vibration problem with parameter variations. Mechanical Systems and Signal Processing, 84 part A, pp. 346-364, 2017. Funding: 1768,55 €/month gross salary during 3 years – Best start: October 2018. Applicant profile: Candidates are required to have a degree in applied mathematics, computer science or mechanical engineering. Prior knowledge in optimization, uncertainty modelling and experience in developing scientific codes (Matlab, R, …) will be appreciated. Candidature: Please send a one PDF file composed of: - A CV (including your background and contribution in the topics of interest) - Two last year’s Master or Engineering school transcripts and class ranking - 2 recommendations letters Contacts : El-ghazali.Talbi@univ-lille1.fr;Franck.Massa@univ-valenciennes.fr;Thierry.Tison@univ-valenciennes.fr -- ****************************** META'2018 27-31 Oct 2018, Marrakech, Morocco http://meta2018.sciencesconf.org ****************************** Prof. El-ghazali TALBI Polytech'Lille, University Lille - INRIA - CNRS

1 0

CFP - PBio 2018, EuroMPI Workshop (In-Cooperation with ACM SIGHPC) + Special Issue in Journal of Supercomputing (Springer, IF: 1.326, Q2)
by Miguel A. Vega-Rodriguez 07 Apr '18

07 Apr '18

Call for Papers --- PBio 2018, EuroMPI Workshop: 6th International Workshop on Parallelism in Bioinformatics + In-Cooperation with ACM SIGHPC + Special Issue in the Journal of Supercomputing (Springer, Impact Factor: 1.326, Quartile Q2, ISSN: 0920-8542) --- SUBMISSION DEADLINE: 1 JUNE 2018 http://arco.unex.es/mavega/pbio/2018/ VENUE: Barcelona, Spain, 23 September 2018 We seek original, high-quality research papers, clearly focused on the application of Parallelism to any possible Bioinformatics problem. In particular, contributions are solicited on, but are not limited to, the following topics: - Parallel and distributed algorithms in Bioinformatics. - Workload partitioning strategies in Bioinformatics. - Memory-efficient algorithms in Bioinformatics. - Parallel tools and applications in Bioinformatics. - Data-intensive Bioinformatics (including Big Data storage and processing). - Multicore computing in Bioinformatics. - Multithreaded computing in Bioinformatics. - Cluster computing in Bioinformatics. - Supercomputing in Bioinformatics. - Cloud/Grid/P2P computing in Bioinformatics. - Volunteer computing in Bioinformatics. - Hardware accelerators (GPUs, FPGAs, etc.) in Bioinformatics. - Heterogeneous computing in Bioinformatics. - Green computing in Bioinformatics. - Mobile computing in Bioinformatics. - Emerging parallel programming models in Bioinformatics. - Parallel performance evaluation, analysis, and optimization in Bioinformatics. - Parallel visualization, modelling, simulation, and exploration in Bioinformatics. With regard to the Bioinformatics problems, many different alternatives exist: bioinformatics applied to biomedicine and drug design; biological sequence analysis, comparison and alignment; motif, gene and signal recognition/discovery; molecular evolution; phylogenetics and phylogenomics; determination or prediction of the structure of RNA and protein; DNA twisting and folding; gene expression and gene regulatory networks; deduction of metabolic pathways; microarray design and analysis; proteomics; functional genomics; molecular docking; design of DNA sequences for molecular computing; etc. All the details (paper format, submission system, important dates, etc.) at: http://arco.unex.es/mavega/pbio/2018/ --- Kind regards. -- ------------------------------------------------- Dr. Miguel A. Vega-Rodriguez <mavega(a)unex.es> http://arco.unex.es/mavega ARCO Research Group University of Extremadura Dept. Technologies of Computers & Communications Escuela Politecnica. Campus Universitario, s/n 10003 Caceres. SPAIN Tel: +34-927-257263 Fax: +34-927-257187 -------------------------------------------------

1 0

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