March 2017 - Haskell - Haskell.org

[Researchers] CFP- 20th ACM/IEEE MSWiM 2017: Miami Beach, Florida, USA
by Robson De Grande 06 Mar '17

06 Mar '17

=================================================== Call-For-Papers: 20th ACM MSWiM 2017 Miami Beach, Florida, Nov 21-25, 2017 http://www.mswimconf.com/2017 ==================================================== IMPORTANT: Submission deadline: May 20th 2017 =================================================== *Pending Upon Approval------ACM* MSWiM 2017 is the 20th Annual International Conference on Modeling, Analysis and Simulation of Wireless and Mobile Systems. MSWiM is an international forum dedicated to in-depth discussion of Wireless and Mobile systems, networks, algorithms and applications, with an emphasis on rigorous performance evaluation. MSWiM is a highly selective conference with a long track record of publishing innovative ideas and breakthroughs. MSWiM 2017 will be held Malta, Nov 21-25, 2017 Authors are encouraged to submit full papers presenting new research related to the theory or practice of all aspects of modeling, analysis and simulation of mobile and wireless systems. Submitted papers must not have been published elsewhere nor currently be under review by another conference or journal. Papers related to wireless and mobile network Modeling, Analysis, Design, and Simulation are solicited on, but not limited to, the following topics in mobile and wireless systems: Performance evaluation and modeling Analytical Models Simulation languages and tools for wireless systems Wireless measurements tools and experiences Formal methods for analysis of wireless systems Correctness, survivability and reliability evaluation Mobility modeling and management Models and protocols for cognitive radio networks Models and protocols for autonomic, or self-* networks Capacity, coverage and connectivity modeling and analysis Wireless network algorithms and protocols Software Defined Network Services for Smart City Wireless PANs, LANs Ad hoc and MESH networks Vehicular Ad-hoc Networks (VANET) Sensor and actuator networks Delay Tolerant Networks Integration of wired and wireless systems Pervasive computing and emerging models Wireless multimedia systems QoS provisioning in wireless and mobile networks Security and privacy of mobile/wireless systems Algorithms and protocols for energy efficient operation and power control Mobile applications, system software and algorithms RF channel modeling and analysis Design methodologies Tools, prototypes and testbeds Parallel and distributed simulation of wireless systems Wireless Communication and Mobile Networking Operating systems for mobile computations Programming language support for mobility Resource management techniques Management of mobile object systems Paper Submission and Publication: High-quality original papers are solicited. Papers must be unpublished and must not be submitted for publication elsewhere. All papers will be reviewed by Technical Program Committee members and other experts active in the field to ensure high quality and relevance to the conference. More detailed instructions for EDAS paper submission can be found at http://www.mswimconf.com/2017. Accepted papers will appear in the conference proceedings to be published by ACM Press. Important Dates: Paper Registration (Full list of authors, title, keywords, abstract): April 25, 2014 Paper Submission Deadline: May 20, 2017 Notification of Acceptance: June 30, 2017 Organizing Committee: General Co-Chair: - Antonio Loureiro, UFMG, Brazil TPC Co-Chairs: - Richard Yu, Carleton University Canada - Hsiao-Chun Wu, Louisana State University, USA Tutorial Chairs: - Pan Li, Case Western Reserve University, USA, - Costas Bush, Louisiana State University, USA Workshop Chair: - Paolo Bellavista, University of Bologna, Italy Demos/Toosl Chair - Raquel Mini, PUC-Minas, Brazil PhD Forum Chair - Bjorn Landfeldt, Lund University, Sweeden

1 0

CFP DS-RT 2017, Rome, Italy
by Robson De Grande 06 Mar '17

06 Mar '17

---------------------------------------------------------------------------- Please accept our apologies if you have received multiple copies. ---------------------------------------------------------------------------- Call for Papers - DS-RT 2017 21st IEEE/ACM* International Symposium on Distributed Simulation and Real Time Applications http://ds-rt.com/2017 18 - 20 October 2017, Rome, Italy *IEEE/ACM Pending Upon Approval ---------------------------------------------------------------------------- Important: Paper submission deadline: 12th May 2017 ---------------------------------------------------------------------------- *** The Symposium *** The 2017 IEEE/ACM International Symposium on Distributed Simulation and Real Time Applications (DS-RT 2017) promises to be a grand affair and will take place in Rome, Italy. DS-RT 2017 serves as a platform for simulationists from academia, industry and research labs for presenting recent research results in Distributed Simulation and Real Time Applications. DS-RT 2017 targets the growing overlap between large distributed simulations and real time applications, such as collaborative virtual environments, pervasive and ubiquitous application scenarios, motor-, controller-, sensor- and actuator systems. The conference features prominent invited speakers as well as papers by top researchers in the field. DS-RT 2017 will include contributed technical papers, invited papers, and panel discussions. The proceedings will be published by IEEE-CS press. *** Call for Papers *** DS-RT provides an international forum for the discussion and presentation of original ideas, recent results and achievements by researchers, research students, and systems developers on issues and challenges related to distributed simulation and real time applications. Authors are encouraged to submit both theoretical and practical results of significance. Demonstration of new tools/applications is very encouraged. The scope of the symposium includes, but is not limited to: - Paradigms, Methodology and Software Architectures for Large Scale Distributed and Real-Time Simulations (e.g. Parallel and Distributed Simulation, Multi-Agent Based Distributed Simulation, HLA/RTI, Web, Grid and cloud based Simulation, hardware-software co-design for extreme scale simulations) - Paradigms, Modelling, Architecture and Environments for Large Scale Real-time Systems and Concurrent Systems with hard and soft Real-Time Contstraints - Advanced modelling techniques (reuse of models, new modelling languages, agent-based M&S, and spatial M&S) - Non-functional Properties of Distributed Simulation and Real-Time Systems (e.g. Dependability, Availability, Reliability, Maintainability, Safety, Security, Trustworthiness, QoS) - Theoretical Foundations of Large Scale Real-Time and Simulation Models (e.g. Event Systems, Causality, Space-Time Models, Notions of Time, Discrete and Continuous Systems, Simulator Coordination) - Simulation Studies at Large and Very Large Scale (e.g. Industrial, Commercial, Ecological and Environmental, Societal, Power and Energy, Pervasive and Ubiquitous Computing Systems) - Performance and Validation of Large Scale and Distributed Simulations (e.g., benchmarking and analytical results, empirical studies DIS, HLA/RTI studies) - Algorithms and methods for parallel or distributed simulation (synchronization, scheduling, memory management, and load balancing) - Languages and Tools, Development Environments, Data Interfaces, Network Protocols and Model Repositories that address Very Large Simulations - Data Management and Distribution Issues, Interest Management, Semantic Modelling, Multi-resolution Modelling, Dead-Reckoning Mechanisms - Pervasive and Ubiquitous Computing Architectures and Applications that involve Simulations and/or adhere to Real-Time Constraints - Simulation based Virtual Environments and Mixed Reality Systems (e.g. Interactive Virtual Reality, Human Communication through Immersive Environments) - Collaborative Virtual and Augmented Reality, Shared Interaction Spaces, Telepresence Systems and Shared Workspaces, 3D Video and Acoustic Reconstruction, Shared Object Manipulation - Serious Gaming and Massive Multiplayer Online Games (MMOG) applications, architectures and scalability issues - Visual Interactive Simulation Environments (e.g., Generic Animation, Visual Interactive Modelling, Interactive Computer Based Training and Learning, Scientific Visualization, High-End Computer Graphics) - Design Issues, Interaction Designs, Human Commuter Interaction Issues raised by Large Scale DS-RT Systems - Media Convergence (e.g. New Technologies, Media Theory, Real-Time considerations of Multi Modality, etc.) - Innovative Styles of Interactions with Large Scale DS-RT Systems (e.g. Implicit, Situative and Attentive Interaction, Tangible Interaction, Embedded Interaction, etc.) - Technologies for Living Labs (e.g. Mirror World Simulation, Interoperability, Large Scale Multi Sensor Networks, Global Wireless Communication, Multi Stakeholder Understanding and Innovation) - Environmental and Emerging Simulation Challenges (e.g. Growth of Human Population, Climate Change, CO2, Health Care, Ecosystems, Sustainable Development, Water and Energy Supply, Human Mobility, Air Traffic, World Stock Markets, Food Supply Chains, Megacities, Smart Cities, Disaster Planning, etc.) - Advanced Simulation Studies and Technologies (e.g. Discrete event, continuous Simulation, etc.) - Cognitive Modelling and Simulation, Artificial Intelligence in Simulation, and Neural Network Models and Simulation - Service-oriented Computing and Simulation, Web-based Modelling and Simulation, and Simulation of Multimedia Applications and Systems - Modeling and Virtual Evaluation of Distributed Systems through Simulation, Resilience Network Evaluation in Distributed Systems through Simulation, Models and Simulation Environments for Distributed Cyber-Physical Systems Evaluation - Advances in Simulation Methodology and Practices - Smart Network Design and Traffic Modelling - Haptic-audio-visual System and applications - Medical and surgical simulation based Systems - Human-computer interaction in virual reality environment Authors of selected papers will be invited to submit extended versions of their papers to the Journal of Simulation (JoS). *** Important Dates Full Papers *** Paper Submission Deadline: 5th May 2017 Notification of Acceptance: 5th June 2017 Camera Ready version due: 10th July 2017 Symposium presentation: 18 - 20 October 2017 *** Call for Posters/Demos/Industrial Case Studies *** The 21st IEEE/ACM International Symposium on Distributed Simulation and Real Time Applications (DS-RT 2017) also solicits posters and technical demonstrations that report on recent original results, ongoing research or industrial case studies in the area of distributed simulation and real time applications. *** Important Dates Posters/Demos/Industrial Case Studies *** Paper submission deadline: 12th May 2017 Notification of acceptance: 5th June 2017 Camera-ready deadline: 10th July 2017 *** Submission *** Papers must be unpublished and must not be submitted for publication elsewhere. All papers will be reviewed by Technical Program Committee members and other experts active in the field to ensure high quality and relevance to the conference. Accepted papers will appear in the conference proceedings to be published by IEEE-CS press. General information regarding submission can be found at http://ds-rt.com/2017 Questions from authors may be directed to the Program Co-Chairs. IMPORTANT: ATTENDANCE BY AT LEAST ONE AUTHOR IS MANDATORY *** ORGANIZING COMMITTEE*** General Chair: Alfredo Garro, University of Calabria, Rende, Italy Program Chair: Andrea D'Ambrogio, University of Rome "Tor Vergata", Rome, Italy Special Session Co-Chairs: Anthony Ventresque,Lero & University College Dublin, Dublin, Ireland Robson De Grande, University of Ottawa, Ottawa, Canada Local Organization Chair: Andrea Giglio, Guglielmo Marconi University, Rome, Italy Financial Chair: Rina Mary Mazza, University of Calabria, Rende, Italy Registration Chair: Simona Citrigno, ICT-SUD Competence Center, Rende, Italy Publicity Co-Chairs: Simon J.E Taylor, Brunel University London, UK Mirela Sechi Moretti Annoni Notare, FAERO - University of Technology in Fly Transportation, Florianopolis, Brazil Posters Chair: Floriano De Rango, University of Calabria, Rende, Italy Publication Chair: Andrea Tundis, Technische Universitdt Darmstadt, Darmstadt, Germany Web Co-Chairs: Robson De Grande, University of Ottawa, Ottawa, Canada Rodolfo Coutinho, UFMG, Belo Horizonte, Brazil

1 0

RERS: 7th International Challenge on the Rigorous Examination of Reactive Systems
by Klaus Havelund 04 Mar '17

04 Mar '17

Dear colleagues, The *RERS Challenge* *2017*: is the 7th International Challenge on the Rigorous Examination of Reactive Systems and is *co-located with ISSTA/SPIN 2017*. The event will be held in *July 2017, in Santa Barbara, USA*. RERS is designed to encourage software developers and researchers to apply and combine their tools and approaches in a free style manner to answer evaluation questions for reachability and LTL formulas on specifically designed benchmarks. The goal of this challenge is to provide a basis for the comparison of verification techniques and available tools. The benchmarks are automatically synthesized to exhibit chosen properties and then enhanced to include dedicated dimensions of difficulty, ranging from conceptual complexity of the properties (e.g. reachability, full safety, liveness), over size of the reactive systems (a few hundred lines to tens of thousands of them), to exploited language features (arrays and index arithmetics). They are therefore especially suited for community-overlapping tool comparisons. What distinguishes RERS from other challenges is that the challenge problems can be approached in a free-style manner: it is highly encouraged to combine and exploit all known (even unusual) approaches to software verification. In particular, participants are not constrained to their own tools. To clearly separate RERS from other challenges, this year the LTL analysis is separated from the reachability of labels. RERS is then the only challenge with a special track for LTL analysis on synthesized benchmarks. The main aims of RERS 2017 are to : * encourage the combination of usually different research fields for better software verification results * provide a comparison foundation based on differently tailored benchmarks that reveals the strengths and weaknesses of specific approaches * initiate a discussion for better benchmark generation reaching out across the usual community barriers to provide benchmarks useful for testing and comparing a wide variety of tools There will be a 1 day workshop where the results will be presented, the generation methodology will be explained, and the modalities for the RERS 2018 challenge, which will be part of ISoLA 2018 will be discussed. There is still a lot of time to get engaged, and collecting RERS achievements is a lot of fun! In addition there will be book prices sponsored by Springer. Schedule: ========= SEQUENTIAL PROBLEMS =================== The sequential challenge just started. Its entire setup in online since a few days. Thus you can start right away. At least if you are a RERS newcomer, we would strongly recommend you to start with the training problems: ( http://www.rers-challenge.org/2017/index.php?page=trainingphase) They are an ideal starting point for the challenge: They are smaller in size than the challenge problems but otherwise structurally equivalent. Moreover, an automatic checker (available on the same page) allows you to evaluate your own solutions. After having tackled the training problems it should be easy to move on to attack the challenge problems. PARALLEL PROBLEMS ================= 01.03.2017: The training problems for the parallel challenge wil be online 01.05.2017: The setup for the parallel challlenge will be online. *DEADLINE for all submission* =========================== *01.07.2017* Please note that we want to specifically encourage also solutions from participants that work with tools developed by others. More detailed information on the challenge can be found in the participants section of www.rers-challenge.org/2017. Looking forward to seeing you in Santa Barbara! Best regards Bernhard, Falk, Jaco, and Markus

1 0

[MobiSPC-Conf] MobiSPC 2017 CFPs: Extended Submission Date: March 27. The 14th International Conference on Mobile Systems and Pervasive Computing
by Wim Ectors 03 Mar '17

03 Mar '17

---------------------------------------------------------------------------- The 14th International Conference on Mobile Systems and Pervasive Computing (MobiSPC) July 24-26, 2017 Leuven, Belgium http://cs-conferences.acadiau.ca/mobispc-17/ ---------------------------------------------------------------------------- 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-2017 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-2017 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 ---------------- - Paper Submission Due: March 27, 2017 (Extended) - Acceptance Notification: April 28, 2017 - Final Manuscript Due: May 28, 2017 Publication ------------ All MobiSPC 2017 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 special issues of: - Journal of Ambient Intelligence and Humanized Computing (IF: 0.835), by Springer (http://www.springer.com/engineering/journal/12652) - Journal of Future Generation Computer Systems (IF: 2.430), by Elsevier ( http://www.journals.elsevier.com/future-generation-computer-systems/) MobiSPC 2017 will be held in conjunction with the 12th International Conference on Future Networks and Communications (FNC, http://cs-conferences.acadiau.ca/fnc-17/) MobiSPC 2017 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. Conference Tracks --------------- - Component-based IoT - Enabling Technologies and Emerging Topics - Internet of Things (IoT) - Mobile Cloud Computing - Mobile Data Management - Mobile Social Networking - Pervasive Computing - Smart Cities and Ubiquitous Climate Change Management - Smart Communities and Ubiquitous Systems - Mobile Systems and Applications Committees: ----------- General Chairs Danny Hughes, K. U. Leuven, Belgium Hossam Hassanein, Queen's University, Canada Program Chairs Ansar-Ul-Haque Yasar, IMOB – Hasselt University, Belgium Stéphane Galland, Université de Technologie de Belfort-Montbéliard, France 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 Noël de Palma, Université de Grenoble, France Ralf Steinmetz, Technische Universitaet Darmstadt, Germany David Taniar, Monash University, Australia Mohamed Younis, University of Maryland Baltimore County, USA Workshops Chairs Zahoor Khan, Higher Colleges of Technology, UAE Tracks Chairs Habib M. Ammari, Norfolk State University, USA Longbiao Chen, Xiamen University, China Danny Hughes, K. U. Leuven, Belgium Nafaa Jabeur, German University of Technology, Oman Jason J. Jung, Chung-Ang University, Korea Marc Körner, TUB Berlin, Germany Prashant Kumar, University of Surrey, UK Nawaz Mohamudally, University of Technology, Mauritius Francesco Piccialli, University of Naples, Federico II, Italy Christian Poellabauer, University of Notre Dame, USA M. Elena Renda, Istituto di Informatica e Telematica - CNR, Italy Michael Sheng, University of Adelaide, Australia Leye Wang, Hong Kong University of Science and Technology, China Publicity Chairs Mikhail Gofman, California State University of Fullerton, USA Pedro E. Lopez-de-Teruel, Spain Mario Henrique Cruz Torres, K.U. Leuven, Belgium Technical Program Committee http://cs-conferences.acadiau.ca/mobispc-17/#programCommittees Steering Committee Chair Elhadi Shakshuki, Acadia University, Canada

1 0

[MobiSPC-Conf] MobiSPC 2017 CFPs: Extended Submission Date: March 27. The 14th International Conference on Mobile Systems and Pervasive Computing
by Wim Ectors 03 Mar '17

03 Mar '17

------------------------------------------------------------------------ The 12th International Conference on Future Networks and Communications (FNC) July 24-26, 2017 Leuven, Belgium http://cs-conferences.acadiau.ca/fnc-17/ ------------------------------------------------------------------------ Future Networks and Communications (FNC) research effort will help achieving a major promise of the emerging technologies such as, ubiquitous access to broadband, supporting vital applications in our daily lives such as health, energy consumption, environment transport, entertainment or education. The scope of FNC is the development of energy-efficient future network infrastructures that support the convergence and interoperability of heterogeneous mobile, wired and wireless broadband network technologies as enablers of the future Internet. This includes but not limited to ubiquitous fast broadband access and ultra-high speed end-to-end optical connectivity, supporting open services and innovative ambient applications. Scope also embraces novel and evolutionary approaches to tackle network architectures, taking due consideration of users and societal needs for success. Important Dates ---------------- - Paper Submission Due: March 27, 2017 (Extended) - Acceptance Notification: April 28, 2017 - Final Manuscript Due: May 28, 2017 Publication ------------ All FNC 2017 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 special issues of: - Journal of Ambient Intelligence and Humanized Computing (IF: 0.835), by Springer (http://www.springer.com/engineering/journal/12652) - Journal of Future Generation Computer Systems (IF: 2.430), by Elsevier ( http://www.journals.elsevier.com/future-generation-computer-systems/) FNC 2017 will be held in conjunction with the 14th International Conference on Mobile Systems and Pervasive Computing (MobiSPC http://cs-conferences.acadiau.ca/mobispc-17/) FNC 2017 will be gel 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. COMMITTEES: ----------- General Chairs Atta Badii, University of Reading, UK Soumaya Cherkaoui, Sherbrooke University, Canada Program Chairs Ansar-Ul-Haque Yasar, IMOB Ð Hasselt University, Belgium Haroon Malik, Marshall University, USA Advisory Committee Erol Gelenbe, Imperial College, UK Roch Glitho, Concordia University, Canada Zygmunt J. Haas, Cornell University, USA Philippe Martins, Telecom Paris Tech, France Peter Sloot, Universiteit van Amsterdam, Netherlands Ralf Steinmetz, Technische Universitaet Darmstadt, Germany David Taniar, Monash University, Australia Mohamed Younis, University of Maryland Baltimore County, USA Workshops Chairs Zahoor Khan, Higher Colleges of Technology, UAE International Journals Chair Bin Guo, Northwestern Polytechnical University, China Publicity Chairs Wim Ectors, Hasselt University, Belgium Yaser Jararweh, Jordan University of Science and Technology, Jordan Bjšrn A. Johnsson, Lund University, Sweden Technical Program Committee http://cs-conferences.acadiau.ca/fnc-17/#programCommittees Steering Committee Chair Elhadi Shakshuki, Acadia University, Canada

1 0

SPLASH 2017: 1st Combined Call for Contributions
by SPLASH Publicity 02 Mar '17

02 Mar '17

ACM SIGPLAN SPLASH 2017 October 22-27, 2017 Vancouver, Canada http://2017.splashcon.org The ACM SIGPLAN Conference on Systems, Programming, Languages and Applications: Software for Humanity (SPLASH) embraces all aspects of software construction, to make it the premier conference at the intersection of programming, languages, and software engineering. We invite high quality submissions describing original and unpublished work. Combined Call for Contributions: * SPLASH Workshops * OOPSLA * Onward! Papers * Onward! Essays * Dynamic Languages Symposium (DLS) * Generative Programming: Concepts & Experiences (GPCE) * Software Language Engineering (SLE) * SPLASH-E * Posters * Doctoral Symposium * Student Research Competition ## SPLASH Workshops Following its long-standing tradition, SPLASH 2017 will host a variety of high-quality workshops, allowing their participants to meet and discuss research questions with peers, to mature new and exciting ideas, and to build up communities and start new collaborations. SPLASH workshops complement the main tracks of the conference and provide meetings in a smaller and more specialized setting. Workshops cultivate new ideas and concepts for the future, optionally recorded in formal proceedings. Late phase submissions due: Fri March 3, 2017 http://2017.splashcon.org/track/splash-2017-Workshops ## OOPSLA Papers may target any stage of software development, including requirements, modeling, prototyping, design, implementation, generation, analysis, verification, testing, evaluation, maintenance, and reuse of software systems. Contributions may include the development of new tools (such as language front-ends, program analyses, and runtime systems), new techniques (such as methodologies, design processes, and code organization approaches), new principles (such as formalisms, proofs, models, and paradigms), and new evaluations (such as experiments, corpora analyses, user studies, and surveys). Abstracts due: Thu April 13, 2017 Submissions due: Mon April 17, 2017 http://2017.splashcon.org/track/splash-2017-OOPSLA ## Onward! Papers Onward! is a premier multidisciplinary conference focused on everything to do with programming and software: including processes, methods, languages, communities, and applications. Onward! is more radical, more visionary, and more open than other conferences to ideas that are well-argued but not yet proven. We welcome different ways of thinking about, approaching, and reporting on programming language and software engineering research. Submissions due: Fri April 21, 2017 http://2017.splashcon.org/track/onward-2017/onward-2017-Onward-Papers ## Onward! Essays Onward! Essays is looking for clear and compelling pieces of writing about topics important to the software community. An essay can be an exploration of a topic, its impact, or the circumstances of its creation; it can present a personal view of what is, explore a terrain, or lead the reader in an act of discovery; it can be a philosophical digression or a deep analysis. It can describe a personal journey, perhaps that by which the author reached an understanding of such a topic. The subject area should be interpreted broadly and can include the relationship of software to human endeavors, or its philosophical, sociological, psychological, historical, or anthropological underpinnings. Submissions due: Fri April 21, 2017 http://2017.splashcon.org/track/onward-2017/onward-2017-essays-2017 ## Dynamic Languages Symposium (DLS) >From Lisp, Snobol, and Smalltalk to Python, Racket, and Javascript, Dynamic Languages have been playing a fundamental role both in programming research and practice. DLS is the premier forum for researchers and practitioners to share research and experience on all aspects on Dynamic Languages. DLS invites high quality papers reporting original research and experience related to the design, implementation, and applications of dynamic languages. Abstracts due: Fri May 26, 2017 Submissions due: Fri June 2, 2017 http://www.dynamic-languages-symposium.org/dls-17/index.html ## Generative Programming: Concepts & Experiences (GPCE) The International Conference on Generative Programming: Concepts & Experience (GPCE) is a venue for researchers and practitioners interested in techniques and tools for code generation, language implementation, and product-line development. GPCE seeks conceptual, theoretical, empirical, and technical contributions to its topics of interest, which include but are not limited to (i) program transformation, staging, macro systems, preprocessors, program synthesis, and code-recommendation systems, (ii) domain-specific languages, language embedding, language design, and language workbenches, (iii) feature-oriented programming, domain engineering, and feature interactions, (iv) applications and properties of code generation, language implementation, and product-line development. Abstracts due: Sun June 25, 2017 Submissions due: Sun July 2, 2017 http://2017.splashcon.org/track/gpce-2017/gpce-2017-GPCE-2017 ## Software Language Engineering (SLE) Software Language Engineering (SLE) is the application of systematic, disciplined, and measurable approaches to the development, use, deployment, and maintenance of software languages. The term “software language” is used broadly, and includes: general-purpose programming languages; domain-specific languages (e.g. BPMN, Simulink, Modelica); modeling and metamodeling languages (e.g. SysML and UML); data models and ontologies (e.g. XML-based and OWL-based languages and vocabularies). SLE solicits high-quality contributions in areas ranging from theoretical and conceptual contributions to tools, techniques, and frameworks in the domain of language engineering. Abstracts due: Fri June 2, 2017 Submissions due: Fri June 9, 2017 http://2017.splashcon.org/track/sle-2017/sle-2017-papers ## SPLASH-E SPLASH-E is a new (started in 2013) forum for software and languages (SE/PL) researchers with activities and interests around computing education. Some build pedagogically-oriented languages or tools; some think about pedagogic challenges around SE/PL courses; some bring computing to non-CS communities; some pursue human studies and educational research. At SPLASH-E, we share our educational ideas and challenges centered in software/languages, as well as our best ideas for advancing such work. Unlike general conferences on computing education, SPLASH-E strives to bring together researchers and those with educational interests that arise from software ideas or concerns. Submissions due: Thu June 29, 2017 http://2017.splashcon.org/track/splash-2017-SPLASH-E ## Posters The SPLASH Poster track provides an excellent forum for authors to present their recent or ongoing projects in an interactive setting, and receive feedback from the community. We invite submissions covering any aspect of programming, systems, languages and applications. The goal of the poster session is to encourage and facilitate small groups of individuals interested in a technical area to gather and interact. It is held early in the conference, to promote continued discussion among interested parties. Submissions due: Sat July 15, 2017 http://2017.splashcon.org/track/splash-2017-Posters ## Doctoral Symposium The SPLASH Doctoral Symposium provides students with useful guidance for completing their dissertation research and beginning their research careers. The symposium will provide an interactive forum for doctoral students who have progressed far enough in their research to have a structured proposal, but will not be defending their dissertation in the next 12 months. Submissions due: Fri June 30, 2017 http://2017.splashcon.org/track/splash-2017-Doctoral-Symposium ## Student Research Competition The ACM Student Research Competition (SRC), sponsored by Microsoft Research, offers a unique forum for ACM student members at the undergraduate and graduate levels to present their original research at SPLASH before a panel of judges and conference attendees. The SRC gives visibility to not only up-and-coming young researchers, but also exposes them to the field of computer science research and its community. This competition also gives students an opportunity to discuss their research with experts in their field, get feedback, and to help them sharpen their communication and networking skills. Submissions due: Mon July 17, 2017 http://2017.splashcon.org/track/splash-2017-Student-Research-Competition ## Information Contact: publicity(a)splashcon.org Website: http://2017.splashcon.org Location: Hyatt Regency Vancouver Vancouver, Canada ## Organization SPLASH General Chair: * Gail Murphy (University of British Columbia) OOPSLA Program Chair: * Jonathan Aldrich (Carnegie Mellon University) Onward! Papers Chair: * Emina Torlak (University of Washington) Onward! Essays Chair: * Robert Biddle (Carleton University) DLS Program Chair: * Davide Anaconde (University of Genova) GPCE General Chair: * Matthew Flatt (University of Utah) GPCE Program Chair: * Sebastian Erdweg (TU Delft) SLE General Chair: * Benoit Combemale (University of Rennes 1) SLE Program Co-Chairs: * Marjan Mernik (University of Maribor) * Bernhard Rumpe (RWTH Aachen University) SPLASH-E Chair: * Joe Gibbs Politz (University of California, San Diego) SPLASH-I Co-Chairs: * Karim Ali (University of Alberta) * Avik Chaudhuri (Facebook) Workshops Co-Chairs: * Craig Anslow (Middlesex University) * Alex Potanin (Victoria University of Wellington) OOPLSA Artifact Evaluation Co-Chairs: * Michael Bond (Ohio State University) * Sam Tobin-Hochstadt (Indiana University) Posters Co-Chairs: * Jonathan Bell (George Mason University) * Patrick Lam (University of Waterloo) Doctoral Symposium Chair: * Elisa Gonzalez Boix (Vrije Universiteit Brussel) Programming Languages Mentoring Workshop Co-Chairs: * Lori Pollock (University of Delaware) * Barbara Ryder (Virginia Tech) Student Research Competition Co-Chairs: * Shan Shan Huang (LogicBlox) * Jennifer Sartor (Vrije Universiteit Brussel) Student Volunteers Co-Chairs: * Daco Harkes (TU Delft) * Giovanni Viviani (University of British Columbia) Publications Chair: * Alex Potanin (Victoria University of Wellington) * Tijs van der Storm (CWI & University of Groningen) Sponsorships Co-Chairs: * Tony Hosking (Australian National University, Data61, Purdue University) * Jurgen Vinju (CWI & TU Eindhoven) Video Co-Chairs: * David Darais (University of Maryland) * Michael Hilton (Oregon State University) Web and Publicity Co-Chairs: * Ronald Garcia (University of British Columbia) * Eric Walkingshaw (Oregon State University)

1 0