- computational.science - lists.iccsa.org

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

14 Mar '18

The deadline for submission is extended to 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/sessio… . *(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-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 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

IEEE ATC Call for Workshops
by Lazzeretti atc 13 Mar '18

13 Mar '18

*Please accept our apologies in case of multiple copies of this CFW.======================= IEEE ATC 2018 =======================The 15th IEEE International Conference on Advanced and Trusted ComputingOctober 8-12, 2018, Guangzhou, Chinahttp://www.smart-world.org/2018/atc/ <http://www.smart-world.org/2018/atc/>ATC 2018 calls for workshops and special sessions which will complement the research topics of the Advanced and Trusted Computing.A workshop refers to an academic event in conjunction with ATC 2018. A special session is an embedded session in ATC 2018, focusing on a specific research topic relevant to the main conference. Each workshop will be expected to accept at least 6 papers. Each special session will be expected to accept 4-6 full-length papers.Workshop/special session organizers are responsible for forming program committees, circulating call for papers, organizing submissions and reviews as well as planning the final programs. ATC 2018 workshop/special session co-chairs will assist the workshop/special session organizers in organizing workshops/special sessions and ensure their quality and success. The registration fees for workshops/special sessions will be determined by the organizing committees of ATC 2018, which will provide workshop/special session facilities. Workshops/special sessions should strictly follow the important dates. The paper submission deadlines could be after that of the main conference to allow workshops/special sessions to pick up some good papers submitted to the main conference. However, sufficient time (5-7 weeks), should be allocated for peer reviews. Each paper should be reviewed by at least three experts in the corresponding areas.In order to encourage the workshop organizers, the main conference will offer the following benefits to the workshop organizers: (1) If a workshop has 10-20 full registrations, then one full registration will be waived. (2) If a workshop receives more than 20 full registrations, then its organizers can choose to get a travel grant (up to USD1500) to attend the conference, or to invite one keynote speaker for the workshop with a free registration and travel grant (up to USD1500) for the keynote speaker. The registrations must be from a workshop’s own received submissions and accepted papers only, excluding transferred papers from other workshops/conference. Please email your workshop/special session proposals in PDF format by Feb. 8, 2018 to: the ATC 2018 workshop/special session co-chairs, Xiaohong Li (xiaohongli(a)tju.edu.cn <xiaohongli(a)tju.edu.cn>), Shui Yu (shui.yu(a)deakin.edu.au <shui.yu(a)deakin.edu.au>) and Riccardo Lazzeretti (lazzeretti(a)dis.uniroma1.it <lazzeretti(a)dis.uniroma1.it>). Please use ATC 2018 workshop and special session proposal as the email subject. Paper Submissions for accepted workshop/special session should follow the same Paper Submission Guidelines for the main conference. The length of a workshop paper submission may be about 6 pages.Important Dates for Workshop & Special Session - Proposal due: April 8, 2018 (Extended Firm Deadline)- Proposal notification: Within two weeks after submission- Submission & notification dues: To be decided by individual workshop/Special Session- Camera ready version due: August 8, 2018ContactPlease email inquiries concerning IEEE ATC 2018 to Conference Organizers: IEEEATC2018(a)googlegroups.com <IEEEATC2018(a)googlegroups.com>.* -- Riccardo Lazzeretti Sapienza University of Rome IEEE ATC 2018 Workshop chair http://www.smart-world.org/2018/atc/cfw.php

1 0

HPCS 2018 - The 16th International Conference on High Performance Computing & Simulation
by Waleed Smari 13 Mar '18

13 Mar '18

Please Post. Thank you. [Sorry if you get multiple copies of this message] *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/ or http://cisedu.us/rp/hpcs18 In Cooperation with the ACM, IEEE, IFIP *(Main Track Paper Submission Deadline: MARCH 24, 2018 - Extended)** **(Other Conference tracks may have different submission deadlines - Please check the specific track of interest.)** * 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 the following refereed archived symposia, workshops and special sessions: *_Symposia_: (all refereed archival papers. Have different deadlines) * * SYM01: Cloud Computing and Services for HPC Systems (InterClouds-HPC 2018) SYM02: Big Data Principles, Architectures & Applications (BDAA 2018) SYM03: High Performance Mobile Computing and Wireless Networks (MCWN 2018) SYM04: Information Systems and Engineering (ISE 2018) SYM05: Formal Approaches to Parallel and Distributed Systems (4PAD 2018) * *_Workshops_: (all refereed archival papers. Have different deadlines)* * W01: Dependable and Resilient Many-Core Computing (DRMC 2018)** ** W02: Optimization of Energy Efficient High Performance and Distributed Computing Systems (OPTIM 2018)** ** W03: Exploitation of Hardware Accelerators (WEHA 2018)** ** W04: High Performance Interconnection Networks and Interconnects (HPINI 2018)** ** W05: High Performance Platform Management (HPPM 2018)** ** W06: New Algorithms and Programming Models for the Manycore Era (APMM 2018)** ** W07: Synergy of Parallel Computing, Optimization and Simulation (PaCOS 2018)** ** W08: Peer-to-Peer Architectures, Networks and Systems (PANS 2018)** ** W09: Autonomic High Performance Computing (AHPC 2018)** ** W10: Security and High Performance Computing Systems (SHPCS 2018)** ** W11: Security and Performance in Cloud Computing (SPCLOUD 2018)** ** W12: High-Performance and Distributed Computing for Business Analytics and Financial Applications (HPC-BAFA 2018)** ** W13: Computational Intelligence and Parallel Evolutionary Computation (CIPEC 2018)** ** W14: Machine Learning, Pattern Recognition and Applications (MLPRA 2018)** ** W15: High Performance Computing for Weather, Climate, and solid Earth Sciences (HPC-WCES 2018)** ** W16: HPC Systems for Biomedical, Bioinformatics, and Life Sciences (BILIS 2018)** ** W17: High Performance Dynamic Reconfigurable Systems and Networks (DRSN 2018)** ** W18: Architecture-aware Simulation and Computing (AASC 2018)** ** W19: Modeling and Simulation of Parallel and Distributed Systems (MSPDS 2018)** ** W20: Parallel Computations for Neural Networks (PCNN 2018)** ** W21: Cellular Automata Algorithms & Architectures (CAAA 2018)** ** W22: Location-based Services and Applications in Ubiquitous Computing (LSAUC 2018)** * *_Special Sessions_: (all refereed archival papers. Have different deadlines)* * SS01: Virtualization in High Performance Computing and Simulation (VIRT 2018) SS02: Benchmarking and High Performance Computing for Applications and Optimization (HPBench 2018) SS03: Biologically Inspired Parallel and Distributed Computing, Algorithms and Solutions (BICAS 2018) SS04: Compiler Architecture, Design and Optimization (CADO 2018) SS05: High Performance Services Computing and Internet Technologies (SerCo 2018) SS06: Trusted Ubiquitous Networks & Multimedia Contents Protection (TUN-MM 2018) SS07: Digital Home Networks & Ambient Intelligence (DHN-AmI 2018) SS08: High Performance Parallel and Distributed Data Mining (PDDM 2018) SS09: Internet of Things and HPC: Devices, Networks, and Applications (IoT-HPC 2018) SS10: High Performance Mission Critical System Development (HiPMiC 2018) SS11: Advances in Computational Methods in Electromagnetics (ACME 2018) SS12: Fuzzy-based Simulation Approaches in Science and Engineering (FSASE 2018) * ================================================================= *Important Dates:* * Main Track Paper and Poster Paper Submission Deadline ——— March 24, 2018 - Extended Tutorial/Demo/Panel/Poster Proposal Deadline ———————— March 30, 2018 Main Track Notification of Acceptance starts ——————--—— April 23, 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 http://cisedu.us/rp/hpcs18 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

[Meetings] MESS 2018 - from Design to Implementation - Taormina, Italy, 21-25 July 2018
by Mario Pavone 12 Mar '18

12 Mar '18

Call for Participation (apologies for multiple copies) -- SCHOLARSHIPS & TITLE OF THE LECTURES -- ----------------------------------------------------------------------- MESS 2018 - Metaheuristics Summer School - from Design to Implementation - 21-25 July 2018, Taormina, Italy https://www.ANTs-lab.it/mess2018/ mess.school(a)ANTs-lab.it ----------------------------------------------------------------------- ** APPLICATION DEADLINE: 15th April 2018 ** MESS 2018 is aimed at qualified and strongly motivated MSc and PhD students; post-docs; young researchers, and both academic and industrial professionals to provide an overview on the several metaheuristics techniques, and an in-depth analysis of the state-of-the-art. As first edition, MESS 2018 wants to analyze all metaheuristics from its designing to its implementation. In particular, in MESS 2018 will be analyzed modern heuristic methods for search and optimization problems, as well as the classical exact optimization methods, seen also in the metaheuristics context. All participants will have plenty of opportunities for debate and work with leaders in the field, benefiting from direct interaction and discussions in a stimulating environment. They will also have the possibility to present their recently results and/or their working in progress through oral or poster presentations, and interact with their scientific peers, in a friendly and constructive environment. ** Confirmed Speakers + Christian Blum, IIIA-CSIC, Barcelona, Spain - Lecture 1: Construct, Merge, Solve & Adapt: A Recent Hybrid Metaheuristic - Lecture 2: Swarm Intelligence in Combinatorial Optimization + Juergen Branke, Warwick Business School, UK - Lecture 1: Simulation-based optimisation - Lecture 2: Multi-objective optimisation + Salvatore Greco, University of Catania, Italy & University of Portsmouth, UK - Lecture 1: Basic Concepts of Multiple Criteria Decision Aiding/Making - Lecture 2: Using Preference Elicitation in Evolutionary Multiobjective Optimization + Yaochu Jin, University of Surrey, UK - Lecture 1: Data-driven surrogate-assisted evolutionary multi-objective optimization - Lecture 2: Multi-objective machine learning + Gunther Raidl, Technische Universitat Wien, Austria - Lecture 1: Pushing the Limits with Hybrid Metaheuristics - Lecture 2: Large Neighborhood Search Techniques + Helena Ramalhinho Lourenco, Universitat Pompeu Fabra, Spain - Lecture 1: Extensions of Iterated Local Search - Lecture 2: Issues and examples of applying metaheuristics in business + Mauricio Resende, AMAZON, USA - Lecture 1: Biased Random-Key Genetic Algorithms ? part I - Lecture 2: Biased Random-Key Genetic Algorithms ? part II + Celso Ribeiro, Universidade Federal Fluminense, Brazil - Lecture 1: Optimization by GRASP ? Part I - Lecture 2: Optimization by GRASP ? Part II + Andrea Schaerf, University of Udine, Italy - Lecture 1: Simulated Annealing and Friends: Introduction to Randomized Local Search Methods - Lecture 2: Simulated Annealing, we need to talk: Critical Analysis of Real-World Applications of Randomized Local Search Methods to Scheduling and Timetabling Problems + Fabio Schoen, Unviersity of Florence, Italy - Lecture 1: Large scale global optimization methods: basics - Lecture 2: Large scale global optimization methods: examples of applications + El-Ghazali Talbi, University of Lille 1, France - Lecture 1: TBA - Lecture 2: TBA + Daniele Vigo, University of Bologna, Italy - Lecture 1: TBA - Lecture 2: TBA ** Tutorial + Luca Di Gaspero, University of Udine, Italy + Paola Festa, University of Naples ?Federico II?, Italy ?Successful applications of GRASP and its hybrids for hard combinatorial problems? ** Short Talk and Poster Presentation All participants may submit an abstract of their recent results, or works in progress, for presentation and having the opportunities for debate and interact with leaders in the field. Mini-Workshop Organizers and Scientific Committee will review the abstracts and will recommend for the format of the presentation (oral or poster). All abstracts will be published on the electronic hands-out book of the summer school. The Abstracts must be submitted by *April 15, 2018*. ** Sponsor & Scholarships: Thanks to the sponsorship by EU/ME METAHEURISTICS working group (https://www.euro-online.org/websites/eume/) some scholarships for the best participants will be available. More sponsors and scholarships will be announced soon!! ** Certificate: Participants will be delivered a certificate of attendance indicating the number of hours of lectures. ** School Directors + Salvatore Greco, University of Catania, Italy + Panos Pardalos, University of Florida, USA + Mario Pavone, University of Catania, Italy + El-Ghazali Talbi, University of Lille 1, France + Daniele Vigo, University of Bologna, Italy ** Oral & Poster Presentation Organizers + Luca Di Gaspero, Unviersity of Udine, Italy + Paola Festa, University of Naples "Federico II", Italy ** Metaheuristics Competition Chair + Raffaele Cerulli, University of Salerno, Italy ** More Information: https://www.ANTs-lab.it/mess2018/ -- mess.school(a)ANTs-lab.it Facebook Group: https://www.facebook.com/groups/MetaheuristicsSchool/ Twitter: https://twitter.com/MESS_school -- Dr. Mario Pavone (PhD) Assistant Professor Department of Mathematics and Computer Science University of Catania V.le A. Doria 6 - 95125 Catania, Italy tel: 0039 095 7383034 fax: 0039 095 330094 Email: mpavone(a)dmi.unict.it http://www.dmi.unict.it/mpavone/ =========================================================== MESS 2018 - Metaheuristics Summer School 21-25 July 2018, Taormina, Italy W: https://www.ANTs-lab.it/mess2018/ E: mess.school(a)ANTs-lab.it FB: https://www.facebook.com/groups/MetaheuristicsSchool/ Twitter: https://twitter.com/MESS_school ===========================================================

1 0

Parallel Matrix Algorithms and Applications (PMAA'18), Jun 27-29, 2018
by Peter Arbenz 12 Mar '18

12 Mar '18

10th INTERNATIONAL WORKSHOP ON PARALLEL MATRIX ALGORITHMS AND APPLICATIONS (PMAA'18) June 27-29, 2018, Zurich, Switzerland. http://pmaa18.ethz.ch/ This international workshop aims to be a forum for exchanging ideas, insights and experiences in different areas of parallel computing in which matrix algorithms play a key role. The Workshop will bring together experts and practitioners from diverse disciplines with a common interest in matrix computation. Topics of interest include, but are not limited to, the following: * Parallel methods for solving large sparse or dense linear systems of equations and eigenvalue problem * Parallel environments and tools for enabling matrix applications. * Large scale applications from any field that have an emphasis on parallel matrix computation * Novel architectural paradigms (e.g. GPU, MIC, etc.) * Hybrid approaches to parallel programming * Automatic tuning and performance modeling * Combinatorial Scientific Computing Invited speakers: Chao Yang (Lawrence Berkeley NL), Inderjit Dhillon (UT Austin), Frederic Nataf (UPMC Paris), Edgar Solomonik (UI Urbana-Champaign). Co-chairs: Peter Arbenz (ETH Zurich, Rolf Krause (USI Lugano), Daniel Kressner (EPF Lausanne), Olaf Schenk (USI Lugano). Important dates: DEADLINES EXTENDED - April 8, 2018: Submission of Minisymposium proposals by e-mail to pmaa18(a)ethz.ch - April 15, 2018: Submission of abstracts for MS and contributed talks There will be a special issue of Parallel Computing dedicated to PMAA'18. For further information contact pmaa18(a)ethz.ch.

1 0

SAS 2018: Call for Papers
by Urban Caterina 09 Mar '18

09 Mar '18

--------------------------------------------------------------------- SAS 2018 25th Static Analysis Symposium Freiburg im Breisgau, Germany, August 29th-August 31st, 2018 http://staticanalysis.org/sas2018 --------------------------------------------------------------------- = = = New: Invited Talks, Invited Tutorials, Affiliated Events = = = = = = Submission deadline approaching: April 6th, 2018 = = = Objective Static Analysis is widely recognized as a fundamental tool for program verification, bug detection, compiler optimization, program understanding, and software maintenance. The series of Static Analysis Symposia has served as the primary venue for the presentation of theoretical, practical, and application advances in the area. The 25th Static Analysis Symposium, SAS 2018, will be held in Freiburg im Breisgau, Germany. Previous symposia were held in New York, Edinburgh, Saint-Malo, Munich, Seattle, Deauville, Venice, Perpignan, Los Angeles, Valencia, Kongens Lyngby, Seoul, London, Verona, San Diego, Madrid, Paris, Santa Barbara, Pisa, Aachen, Glasgow, and Namur. The proceedings of the conference will be published in the Advanced Research in Computing and Software Science (ARCoSS) subline of the Springer Lecture Notes in Computer Science (LNCS) series. Topics The technical program for SAS 2018 will consist of invited lectures and presentations of refereed papers. Contributions are welcomed on all aspects of static analysis, including, but not limited to: - Abstract domains - Abstract interpretation - Automated deduction - Data flow analysis - Debugging - Deductive methods - Emerging applications - Model checking - Program optimization and transformation - Program synthesis - Program verification - Security analysis - Tool environments and architectures - Theoretical frameworks - Type checking Paper Submission Submissions can address any programming paradigm including concurrent, constraint, functional, imperative, logic, object-oriented, aspect, multi-core, distributed, and GPU programming. Papers must describe original work, be written and presented in English, and must not substantially overlap with papers that have been published or that are simultaneously submitted to a journal or a conference with refereed proceedings. Submitted papers will be judged on the basis of significance, relevance, correctness, originality, and clarity. They should clearly identify what has been accomplished and why it is significant. Paper submissions should not exceed 15 pages in Springer's Lecture Notes in Computer Science LNCS format, excluding bibliography and well-marked appendices (we may admit additional pages for the final version). Program Committee members are not required to read the appendices, and thus papers must be intelligible without them. Submissions are handled online: https://easychair.org/conferences/?conf=sas20180 Artifact Evaluation As in previous years, we are encouraging authors to submit a virtual machine image containing any artifacts and evaluations presented in the paper. The goal of the artifact submissions is to strengthen our field's scientific approach to evaluations and reproducibility of results. The virtual machines will be archived on a permanent Static Analysis Symposium website to provide a record of past experiments and tools, allowing future research to better evaluate and contrast existing work. Artifact submission is optional. We accept only virtual machine images that can be processed with Virtual Box. Details on what to submit and how will be sent to the corresponding authors by mail shortly after the paper submission deadline. The submitted artifacts will be used by the program committee as a secondary evaluation criterion whose sole purpose is to find additional positive arguments for the paper's acceptance. Furthermore, an Artifact Evaluation Committee will assess artifacts and will award an "Artifact Approved" stamps to accepted papers that come with an artifact that allows to reproduce the results presented in the paper. Submissions without artifacts are welcome and will not be penalized. Important Dates - Full paper submission: April 6th, 2018 (anywhere on earth) - Artifact submission: April 20th, 2018 (anywhere on earth) - Notification: June 5th, 2018 - Final version due: July 6th, 2018 - Conference: August 29th-August 31st, 2018 Radhia Cousot Young Researcher Award Since 2014, the program committee of each SAS conference selects a paper for the Radhia Cousot Young Researcher Best Paper Award, in memory of Radhia Cousot, and her fundamental contributions to static analysis, as well as being one of the main promoters and organizers of the SAS series of conferences. Invited Talks - Aws Albarghouthi (University of Wisconsin-Madison, USA) Program Fairness through the Lens of Formal Methods - Zak Kincaid (Princeton University, USA) Non-linear Invariant Generation via Recurrence Analysis - Ruzica Piskac (Yale University, USA) Firewall Repair and Verification of Configuration Files - Sharon Shoham (Tel Aviv University, Israel) Verification of Distributed Systems Using First-Order Logic Invited Tutorials - Roberto Bagnara (University of Parma/BUGSENG, Italy) MISRA C and its Role in the Development of Safety- and Security-Critical Embedded Software - Ken McMillan (Microsoft Research, USA), Oded Padon (Tel Aviv University, Israel) Ivy: Safety Verification by Interactive Generalization - Peter O'Hearn (University College London/Facebook, UK) Experiences developing and deploying a concurrency analysis at Facebook Affiliated Events - 9th Workshop on Static Analysis and Systems Biology (SASB 2018) Chairs: Tatjana Petrov (IST Austria, Austria) and Ankit Gupta (ETH Zurich, Switzerland) - 9th Workshop on Tools for Automatic Program Analysis (TAPAS 2018) Chair: Fausto Spoto (University of Verona/Julia Srl, Italy) Program Chair - Andreas Podelski (University of Freiburg, Germany) Program Committee - Domagoj Babic (Google Inc., USA) - Sam Blackshear (Facebook, USA) - Marc Brockschmidt (Microsoft Research, UK) - Swarat Chaudhuri (Rice University, USA) - Bor-Yuh Evan Chang (University of Colorado Boulder, USA) - Jerome Feret (INRIA/ENS/CNRS, France) - Ashutosh Gupta (TIFR, India) - Nicolas Halbwachs (Verimag/CNRS, France) - Lukas Holik (Brno University of Technology, Czech Republic) - Barbara Koenig (University of Duisburg-Essen, Germany) - Boris Koepf (IMDEA Software Institute, Spain) - Shuvendu Lahiri (Microsoft Research, USA) - Hakjoo Oh (Korea University, South Korea) - Sylvie Putot (École Polytechnique, France) - Francesco Ranzato (University of Padova, Italy) - Jakob Rehof (TU Dortmund University, Germany) - Xavier Rival (CNRS/ENS/INRIA, France) - Sriram Sankaranarayanan (University of Colorado Boulder, USA) - Harald Sondergaard (The University of Melbourne, Australia) - Alexander J. Summers (ETH Zurich, Switzerland) - Ashish Tiwari (SRI International, USA) - Caterina Urban (ETH Zurich, Switzerland) - Lenore Zuck (University of Illinois at Chicago, USA) - Damien Zufferey (MPI-SWS, Germany) - Florian Zuleger (TU Wien, Austria) Artifact Evaluation Chair - Xavier Rival (CNRS/ENS/INRIA, France) Publicity Chair - Caterina Urban (ETH Zurich, Switzerland)

1 0

[DEADLINE EXTENSION] The Second International Workshop on Parallel and Distributed Data Mining (WPDM 2018)
by Massimo CAFARO 07 Mar '18

07 Mar '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: March 23, 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 March 23, 2018: Deadline for paper submission April 8, 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

Logic Colloquium 2018 (LC18): 2nd call for contributions
by Dario Della Monica 07 Mar '18

07 Mar '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 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 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 ______________________________________________ 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 Special Session on Virtualization in High Performance Computing and Simulation (VIRT 2018)
by Uday Kurkure 07 Mar '18

07 Mar '18

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: March 12, 2018* *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 HPCo Running diverse workloadso Running heterogeneous Operating Systemso Live Migration and Suspend/Resume of VMs to improve resource utilization and avoid downtimeo 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: ------------------------------------------- March 12, 2018* *Acceptance Notification: -------------------------------------- April 11, 2018* *Camera Ready Papers and Registration Due by: ----------- May 03, 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 <(650)%20427-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 <(650)%20427-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 <(650)%20427-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 <(408)%20924-5147> Fax: +1 408-924-5062 <(408)%20924-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 For information or questions about Conference's paper submission, tutorials, posters, workshops, special sessions, exhibits, demos, panels and forums organization, doctoral colloquium, and any other information about the conference location, registration, paper formatting, etc., please consult the Conference’s web site at URL: http://hpcs2018.cisedu.info or http://cisedu.us/rp/hpcs18 or contact one of the Conference's organizers. *---Uday*

1 0

CFA (DEADLINE EXTENDED: March 19) - Stream on Hyper-heuristics @ EURO 2018, Valencia
by Mustafa MISIR 06 Mar '18

06 Mar '18

Stream on Hyper-heuristics at the 29th European Conference on Operational Research (EURO 2018), Valencia/Spain, July 8 - 11, 2018 Abstract submission deadline: March 19, 2018 (EXTENDED)Submission: https://www.euro-online.org/conf/euro29/ Call for Abstracts (Max. 1500 characters): ----------------------------------- - Session: Selection Hyper-heuristics (Submission Code: 665d9460) - Session: Generation Hyper-heuristics (Submission Code: 2480ffb0) Hyper-heuristics are problem-independent generic solvers which have been successfully applied to a wide range of combinatorial search problems both from academia and real-world, such as timetabling, scheduling, routing, rostering, cutting and packing. The studies on this field is mainly considered under two categories, namely Selection and Generation Hyper-heuristics. Selection Hyper-heuristics operate by automatically choosing (low-level) heuristics from an existing heuristic set while the latter type focuses on generating heuristics from scratch based on predefined components. This stream is expecting studies focusing on either of these hyper-heuristic types -offering different learning approaches, utilizing distinct (meta-) heuristic techniques while dealing with various problems. This stream will be organized in connection with the Task Force on Hyper-heuristics within the Technical Committee of Intelligent Systems and Applications at the IEEE Computational Intelligence Society. Organizers: ---------- - Prof. Patrick De Causmaecker, KU Leuven, Belgium - Dr. Mustafa Misir, Nanjing University of Aeronautics and Astronautics, China - Dr. Ender Ozcan, University of Nottingham, UK- Dr. Rong Qu, University of Nottingham, UK Important Dates: -------------- Abstract Submissions: March 19, 2018 (Extended) Notification to Authors: March 21, 2018 Early Registration: April 6, 2018 Registration: April 20, 2018 For more details: https://mustafamisir.github.io/ss-hh.html Best regards, Patrick De Causmaecker (KU Leuven) Mustafa Misir (Nanjing University of Aeronautics and Astronautics) Ender Ozcan (University of Nottingham)Rong Qu (University of Nottingham) ++++++++++++++++++++++++++++++++++++++++++++++++++ Mustafa MISIR ----------------------------------------------------Machine lEarning and Operations Research (MEmORy) Lab Institute of Machine Learning and Computational IntelligenceCollege of Computer Science and Technology, Office: 230Nanjing University of Aeronautics and Astronautics29 Jiangjun Road, Jiangning, 211106 Nanjing/Jiangsu, China Web: http://mustafamisir.github.io | http://memoryrlab.github.io ----------------------------------------------------

1 0