From splash.publicity at gmail.com Thu Mar 2 01:40:19 2017 From: splash.publicity at gmail.com (SPLASH Publicity) Date: Wed, 1 Mar 2017 17:40:19 -0800 Subject: [Haskell] SPLASH 2017: 1st Combined Call for Contributions Message-ID: 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 at 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) From wim.ectors at uhasselt.be Fri Mar 3 16:09:22 2017 From: wim.ectors at uhasselt.be (Wim Ectors) Date: Fri, 3 Mar 2017 08:09:22 -0800 Subject: [Haskell] [MobiSPC-Conf] MobiSPC 2017 CFPs: Extended Submission Date: March 27. The 14th International Conference on Mobile Systems and Pervasive Computing Message-ID: ------------------------------------------------------------------------ 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 -------------- next part -------------- An HTML attachment was scrubbed... URL: From wim.ectors at uhasselt.be Fri Mar 3 16:19:33 2017 From: wim.ectors at uhasselt.be (Wim Ectors) Date: Fri, 3 Mar 2017 11:19:33 -0500 Subject: [Haskell] [MobiSPC-Conf] MobiSPC 2017 CFPs: Extended Submission Date: March 27. The 14th International Conference on Mobile Systems and Pervasive Computing Message-ID: ---------------------------------------------------------------------------- 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 -------------- next part -------------- An HTML attachment was scrubbed... URL: From compscience.announcement at gmail.com Sat Mar 4 22:30:40 2017 From: compscience.announcement at gmail.com (Klaus Havelund) Date: Sat, 4 Mar 2017 14:30:40 -0800 Subject: [Haskell] RERS: 7th International Challenge on the Rigorous Examination of Reactive Systems Message-ID: 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 -------------- next part -------------- An HTML attachment was scrubbed... URL: From rdgrande at site.uottawa.ca Mon Mar 6 15:10:01 2017 From: rdgrande at site.uottawa.ca (Robson De Grande) Date: Mon, 6 Mar 2017 10:10:01 -0500 Subject: [Haskell] CFP DS-RT 2017, Rome, Italy Message-ID: ---------------------------------------------------------------------------- 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 -------------- next part -------------- An HTML attachment was scrubbed... URL: From rdgrande at site.uottawa.ca Mon Mar 6 15:15:50 2017 From: rdgrande at site.uottawa.ca (Robson De Grande) Date: Mon, 6 Mar 2017 10:15:50 -0500 Subject: [Haskell] [Researchers] CFP- 20th ACM/IEEE MSWiM 2017: Miami Beach, Florida, USA Message-ID: =================================================== 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 -------------- next part -------------- An HTML attachment was scrubbed... URL: From meneguette at ifsp.edu.br Tue Mar 7 21:57:51 2017 From: meneguette at ifsp.edu.br (RODOLFO IPOLITO MENEGUETTE) Date: Tue, 7 Mar 2017 18:57:51 -0300 (BRT) Subject: [Haskell] CFP DS-RT 2017, Rome, Italy In-Reply-To: <1694640686.4891094.1488923866265.JavaMail.zimbra@ifsp.edu.br> Message-ID: <653184184.4891165.1488923871565.JavaMail.zimbra@ifsp.edu.br> ---------------------------------------------------------------------------- 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 -------------- next part -------------- An HTML attachment was scrubbed... URL: From tmoldere at vub.ac.be Thu Mar 9 14:00:12 2017 From: tmoldere at vub.ac.be (Tim Molderez) Date: Thu, 9 Mar 2017 15:00:12 +0100 Subject: [Haskell] 2017: Call for participation Message-ID: <723b78c0-f05a-f3a2-a646-59d89d621958@vub.ac.be> ----------------------------------------------------------------------- 2017 : The Art, Science, and Engineering of Programming April 3-6, 2017, Brussels, Belgium http://2017.programming-conference.org ----------------------------------------------------------------------- We are excited to welcome you to 2017, a new conference focused on everything to do with programming. It takes place at the Vrije Universiteit Brussel, Belgium on April 3-6. The conference is closely associated with the open-access journal "The Art, Science, and Engineering of Programming". The journal's first two issues form the conference's research track, which means you can freely access all papers presented at the conference before it even starts! Along with the research track, 2017 features a program with two main keynotes, two symposia, eight workshops, a coding dojo, a demo track, and a student research competition. To catch a glimpse of what 2017 has to offer, feel free to have a look at our overview video: https://www.youtube.com/watch?v=GM_hLNW4ioE *********************************************************************** Program highlights *********************************************************************** Main conference: - Keynote: "Live Literate Programming" by Gilad Bracha - Keynote: "How Racket Went Meta" by Matthew Flatt - Research track: 18 full papers - Demonstrations: 10 tool demos - ACM Student Research Competition: 8 entries Co-located events: - 10th European Lisp Symposium: 2 keynotes by Hans Hübner and Bohdan Khomtchouk, ~18 papers (not final yet) - Modularity 2017: 8 invited talks by Jörg Kienzle, Shmuel Katz, Mira Mezini, Bedir Tekinerdogan, Stéphane Ducasse, Uwe Aßmann, Lodewijk Bergmans and Mario Südholt - CoCoDo - RainCode Labs Compiler Coding Dojo: code together with experts Adrian Johnstone, Elizabeth Scott, Robby Findler, and more to come! - LASSY - Workshop on Live Adaptation of Software SYstems - MiniPLoP - Mini Pattern Languages of Programs writers' workshop - MOMO - Workshop on Modularity in Modeling - MoreVMs - Workshop on Modern Language Runtimes, Ecosystems, and VMs - PASS - Workshop on Programming Across the System Stack - PX - Workshop on Programming Experience - ProWeb - Programming Technology for the Future Web - Salon des Refusés workshop Social events: - Beer reception at the conference venue (April 3rd) - Reception at the Musical Instruments Museum (April 4th) - Banquet at the Natural Sciences Museum (April 5th) *********************************************************************** Registration, attendance and accommodation *********************************************************************** - You can register for 2017 at: http://2017.programming-conference.org/attending/registration - Early registration ends soon! Please register before March 13th to obtain the early-bird discount. - More information on attending the conference is available at: http://2017.programming-conference.org/attending/reaching-the-conference - More information on accommodation is available at: http://2017.programming-conference.org/attending/accomodation *********************************************************************** About Brussels *********************************************************************** Brussels is the capital of Belgium, and home to the headquarters of the European Union. Despite its European nature and all the different languages spoken on every street corner, Brussels still has a very "village-like" character. It's well known for its Grand-Place, its Atomium, its Manneken-Pis, its Gueuze and its Kriek, its waffles and its chocolates. Be sure to take some time off to soak up the special atmosphere of its many different districts: Take a stroll to Rue Dansaert, Halles Saint-Géry, and Place Sainte-Catherine. Head for Saint-Boniface, Châtelain, or Flagey. In other words, go ahead and relish Brussels, a fine and beautiful city to explore and discover. ----------------------------------------------------------------------- For more information, please visit http://2017.programming-conference.org You can also find us on Twitter (twitter.com/programmingconf) and Facebook (facebook.com/programmingconf) Looking forward to see you in Brussels, Theo D'Hondt (General chair), Wolfgang De Meuter (Organizing chair), Crista Lopes (Program chair), Jörg Kienzle, Ralf Lämmel, Hidehiko Masuhara, Tim Molderez, Tobias Pape, and Jennifer Sartor From M.W.Wang at kent.ac.uk Thu Mar 9 15:39:17 2017 From: M.W.Wang at kent.ac.uk (Meng Wang) Date: Thu, 9 Mar 2017 15:39:17 +0000 Subject: [Haskell] Haskell-related PhD studentship Message-ID: <24376F85-F1AF-4A48-9109-B8C8BFD8771A@kent.ac.uk> Dear Haskellers, I am seeking a PhD student on Haskell-related projects, particularly in the area of bidirectional programming (lenses), property-based testing (QuickCheck) and refactoring. This would be a good opportunity for someone who is interested in applying Haskell ideas to real problems. The student will be part of the Programming Languages and Systems (PLAS) group in the School of Computing at the University of Kent. A major focus within the group is functional programming (FP), where it has had an international reputation for more than twenty five years. The group currently has 13 FTE academic staff, 4 RAs and 12 doctoral students. . The funding covers maintenance, EU student fees and research related expenses. But non-EU students are welcome to apply too. For Sep 2017 starting, the application deadline is 7 April 2017. If you are interested, please contact me at m.w.wang at kent.ac.uk. More information can be found at https://www.cs.kent.ac.uk/research/studyingforaphd/phd-wang-2017.html. Best wishes, Meng Dr. Meng Wang | Lecturer in Computer Science School of Computing, University of Kent Canterbury, Kent, CT2 7NF, UK m.w.wang at kent.ac.uk | ☎ +44 (0)1227 827699 www.cs.kent.ac.uk/~mw516 -------------- next part -------------- An HTML attachment was scrubbed... URL: From chris at chrisdornan.com Thu Mar 9 18:47:54 2017 From: chris at chrisdornan.com (Chris Dornan) Date: Thu, 09 Mar 2017 18:47:54 +0000 Subject: [Haskell] regex: a toolkit for regex-base Message-ID: <260380F6-4A3A-4444-B17F-F6683A5FC257@chrisdornan.com> Dear Haskellers, I am pleased to announce the regex package, a regular expression toolkit for regex-base with: * text-replacement operations with named captures; * special datatypes for matches and captures; * compile-time checking of RE syntax; * a unified means of controlling case-sensitivity and multi-line options; * high-level AWK-like tools for building text processing apps; * the option of using match operators with reduced polymorphism on the text and/or result types; * regular expression macros including: + a number of useful regular expression macros; + a test bench for testing and documenting new macro environments; * built-in support for the TDFA and PCRE back ends; * comprehensive documentation and copious examples. The package is in a review period with the aim of releasing v1.0.0.0 on 2017-03-20. Your feedback is welcome (see http://contact.regex.uk). For more details see this blog post, http://engineers.irisconnect.net/posts/2017-03-07-regex.html and the regex website at: http://regex.uk Chris Dornan From johnw at newartisans.com Thu Mar 9 20:04:56 2017 From: johnw at newartisans.com (John Wiegley) Date: Thu, 09 Mar 2017 12:04:56 -0800 Subject: [Haskell] regex: a toolkit for regex-base In-Reply-To: <260380F6-4A3A-4444-B17F-F6683A5FC257@chrisdornan.com> (Chris Dornan's message of "Thu, 09 Mar 2017 18:47:54 +0000") References: <260380F6-4A3A-4444-B17F-F6683A5FC257@chrisdornan.com> Message-ID: >>>>> "CD" == Chris Dornan writes: CD> I am pleased to announce the regex package, a regular expression toolkit CD> for regex-base with: Thank you, I've wanted this since forever, since every alternative is either too difficult to use, missing some key feature (like proper unicode support), or has undesirable external dependencies. -- John Wiegley GPG fingerprint = 4710 CF98 AF9B 327B B80F http://newartisans.com 60E1 46C4 BD1A 7AC1 4BA2 From chris at chrisdornan.com Thu Mar 9 20:20:30 2017 From: chris at chrisdornan.com (Chris Dornan) Date: Thu, 09 Mar 2017 20:20:30 +0000 Subject: [Haskell] regex: a toolkit for regex-base In-Reply-To: References: <260380F6-4A3A-4444-B17F-F6683A5FC257@chrisdornan.com> Message-ID: <67D31D9F-9337-4167-9F2D-1E05455AFC46@chrisdornan.com> Thanks John, Feedback is important. Please do let us know if you spot anything we have missed. Chris On 09/03/2017, 20:04, "John Wiegley" wrote: >>>>> "CD" == Chris Dornan writes: CD> I am pleased to announce the regex package, a regular expression toolkit CD> for regex-base with: Thank you, I've wanted this since forever, since every alternative is either too difficult to use, missing some key feature (like proper unicode support), or has undesirable external dependencies. -- John Wiegley GPG fingerprint = 4710 CF98 AF9B 327B B80F http://newartisans.com 60E1 46C4 BD1A 7AC1 4BA2 From pavlo at kerestey.net Sun Mar 12 17:40:33 2017 From: pavlo at kerestey.net (Pavlo Kerestey) Date: Sun, 12 Mar 2017 18:40:33 +0100 Subject: [Haskell] [ANN] setoid-0.1.0.0 Message-ID: Hi all, we have published the first version of Setoid in haskell. https://hackage.haskell.org/package/setoid-0.1.0.0 Setoid is a useful data structure when equivalence has to be chosen not to be equality. This makes membership of the elements in a setoid stricter and allows to do some computations. For more details and usage examples, please refer to the documentation on hackage. You can also contribute to it on github: https://github.com/ptek/setoid Regards, Pavlo. -------------- next part -------------- A non-text attachment was scrubbed... Name: signature.asc Type: application/pgp-signature Size: 801 bytes Desc: Message signed with OpenPGP URL: From wim.ectors at uhasselt.be Sun Mar 12 20:32:53 2017 From: wim.ectors at uhasselt.be (Wim Ectors) Date: Sun, 12 Mar 2017 16:32:53 -0400 Subject: [Haskell] [MobiSPC-Conf] MobiSPC 2017 CFPs: Extended Submission Date: March 27. The 14th International Conference on Mobile Systems and Pervasive Computing Message-ID: ---------------------------------------------------------------------------- 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 -------------- next part -------------- An HTML attachment was scrubbed... URL: From wim.ectors at uhasselt.be Mon Mar 13 07:44:16 2017 From: wim.ectors at uhasselt.be (Wim Ectors) Date: Mon, 13 Mar 2017 00:44:16 -0700 Subject: [Haskell] [FNC-Conf] FNC 2017 CFPs: Extended Submission Date: March 27. The 12th International Conference on Future Networks and Communications Message-ID: ------------------------------------------------------------------------ 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 -------------- next part -------------- An HTML attachment was scrubbed... URL: From kaposi.ambrus at gmail.com Mon Mar 13 21:25:48 2017 From: kaposi.ambrus at gmail.com (Ambrus Kaposi) Date: Mon, 13 Mar 2017 22:25:48 +0100 Subject: [Haskell] TYPES 2017 submission deadline extended Message-ID: [Submission deadline extended by a week to 20 March 2017. Consider contributing!] CALL FOR CONTRIBUTIONS 23rd International Conference on Types for Proofs and Programs, TYPES 2017 and EUTYPES Cost Action CA15123 meeting Budapest, Hungary, 29 May - 1 June 2017 http://types2017.elte.hu BACKGROUND The TYPES meetings are a forum to present new and on-going work in all aspects of type theory and its applications, especially in formalised and computer assisted reasoning and computer programming. The TYPES areas of interest include, but are not limited to: * foundations of type theory and constructive mathematics; * applications of type theory; * dependently typed programming; * industrial uses of type theory technology; * meta-theoretic studies of type systems; * proof assistants and proof technology; * automation in computer-assisted reasoning; * links between type theory and functional programming; * formalizing mathematics using type theory. We encourage talks proposing new ways of applying type theory. In the spirit of workshops, talks may be based on newly published papers, work submitted for publication, but also work in progress. FINANCIAL SUPPORT The last two days of TYPES 2017, May 31 - June 1 are supported by and organised under the auspices of EUTypes Cost Action CA15123 (https://eutypes.cs.ru.nl). On one of these days there will be an EUTypes Management Committee (MC) meeting. This means that for members of the EUTypes MC, the cost of travel and stay for these 2 days will be covered. There will likely be some funding for a limited number of other conference participants (speakers). The funding is subject to COST rules, and invitations will be sent out via the e-cost system after the 1st of May. INVITED SPEAKERS * Edwin Brady (University of St Andrews) * Sara Negri (University of Helsinki) * Jakob Rehof (TU Dortmund) CONTRIBUTED TALKS We solicit contributed talks. Selection of those will be based on extended abstracts/short papers of 2 pp formatted with easychair.cls. The submission site is https://easychair.org/conferences/?conf=types2017. Important dates: * submission of 2 pp abstract: 20 March 2017 * notified of acceptance/rejection: 17 April 2017 * camera-ready version of abstract: 8 May 2017 Camera-ready versions of the accepted contributions will be published in an informal book of abstracts for distribution at the workshop. POST-PROCEEDINGS Similarly to TYPES 2011 and TYPES 2013-2016, we intend to publish a post-proceedings volume in the Leibniz International Proceedings in Informatics (LIPIcs) series. Submission to that volume will be open for everyone. Tentative submission deadline: September 2017. PROGRAMME COMMITTEE * Andreas Abel (Chalmers University Gothenburg) * Thorsten Altenkirch (University of Nottingham) * José Espirito Santo (University of Minho) * Fredrik Nordvall Forsberg (University of Strathclyde) * Silvia Ghilezan (University of Novi Sad) * Hugo Herbelin (INRIA Paris-Rocquencourt) * Martin Hofmann (Ludwig Maximilian University of Munich) * Ambrus Kaposi (Eötvös Loránd University) (co-chair) * Tamás Kozsik (Eötvös Loránd University) (co-chair) * Assia Mahboubi (INRIA) * Alexandre Miquel (University of the Republic, Uruguay) * Leonardo de Moura (Microsoft Research, Redmond, USA) * Keiko Nakata (SAP, Potsdam) * Andrew Polonsky (University Paris Diderot) * Simona Ronchi Della Rocca (Università di Torino) * Aleksy Schubert (University of Warsaw) * Wouter Swierstra (Utrecht University) * Tarmo Uustalu (Tallinn University of Technology) TYPES STEERING COMMITTEE Marc Bezem, Herman Geuvers (chair), Hugo Herbelin, Zhaohui Luo, Ralph Matthes, Bengt Nordström, Andrew Polonsky, Aleksy Schubert, Tarmo Uustalu. ABOUT TYPES The TYPES meetings from 1990 to 2008 were annual workshops of a sequence of five EU funded networking projects. From 2009 to 2015, TYPES has been run as an independent conference series. From 2016, TYPES is partially supported by COST Action EUTypes CA15123. Previous TYPES meetings were held in Antibes (1990), Edinburgh (1991), Båstad (1992), Nijmegen (1993), Båstad (1994), Torino (1995), Aussois (1996), Kloster Irsee (1998), Lökeberg (1999), Durham (2000), Berg en Dal near Nijmegen (2002), Torino (2003), Jouy-en-Josas near Paris (2004), Nottingham (2006), Cividale del Friuli (2007), Torino (2008), Aussois (2009), Warsaw (2010), Bergen (2011), Toulouse (2013), Paris (2014), Tallinn (2015), Novi Sad (2016). CONTACT Email: info at types2017.elte.hu Organisers: Ambrus Kaposi, Tamás Kozsik, András Kovács and the Department of Programming Languages and Compilers at the Faculty of Informatics, Eötvös Loránd University, Budapest. From andrea.rosa at usi.ch Tue Mar 14 03:06:13 2017 From: andrea.rosa at usi.ch (Andrea Rosa) Date: Tue, 14 Mar 2017 03:06:13 +0000 Subject: [Haskell] ACM/SPEC ICPE'17 - Call for Participation Message-ID: <751AF6CA-D368-411F-B119-78EB5E8E6D8A@usi.ch> ICPE 2017 8th ACM/SPEC International Conference on Performance Engineering Sponsored by ACM SIGMETRICS, SIGSOFT, and SPEC RG L'Aquila, Italy April 22-27, 2017 https://icpe2017.spec.org/ ------------------------------------------------------------------------------- The goal of the International Conference on Performance Engineering (ICPE) is to integrate theory and practice in the field of performance engineering by providing a forum for sharing ideas and experiences between industry and academia. Nowadays, complex systems of all types, like Web-based systems, data centers and cloud infrastructures, social networks, peer-to-peer, mobile and wireless systems, cyber-physical systems, the Internet of Things, real-time and embedded systems, have increasingly distributed and dynamic system architectures that provide high flexibility, however, also increase the complexity of managing end-to-end application performance. ICPE brings together researchers and industry practitioners to share and present their experiences, discuss challenges, and report state-of-the-art and in-progress research on performance engineering of software and systems, including performance measurement, modeling, benchmark design, and run-time performance management. The focus is both on classical metrics such as response time, throughput, resource utilization, and (energy) efficiency, as well as on the relationship of such metrics to other system properties including but not limited to scalability, elasticity, availability, reliability, and security. ------------------------------------------------------------------------------- PROGRAM ICPE'17 takes place from April 22 to 27, 2017. The main conference runs from April 24 to 26, with a welcome reception on April 24 and a banquet on April 25. Tutorials are held on April 22 and 23, while workshops take place on April 22, 23, and 27. The preliminary program is available at https://icpe2017.spec.org/conference-program.html The following eight workshops will be held in conjunction with the main conference: - Saturday, April 22: -- ACPROSS: Autonomous Control for Performance and Reliability Trade-offs in Internet of Services -- PABS: Third International Workshop on Performance Analysis of Big Data Systems -- WOSP-C: Workshop on Challenges in Performance Methods for Software Development - Sunday, April 23: -- ENERGY-SIM: Third International Workshop on Energy-aware Simulation -- LTB: Sixth International Workshop on Load Testing and Benchmarking of Software Systems -- MoLS: First International Workshop on Monitoring in Large-Scale Software Systems -- WEPPE: Workshop on Education and Practice of Performance Engineering - Thursday, April 27: -- QUDOS: Third International Workshop on Quality-aware DevOps More information on the workshops can be found at https://icpe2017.spec.org/conference-program/conference-workshops.html ------------------------------------------------------------------------------- REGISTRATION Registration is open! To register to ICPE'17 or to the co-located workshops and tutorials, please follow the instruction at the following link: https://icpe2017.spec.org/registration.html. Early registration deadline: March 24, 2017 ------------------------------------------------------------------------------- KEYNOTE We are proud to announce our keynote speakers for ICPE'17: -------------------------------------- Arif Merchant (Google) Title: Autonomic storage management at scale Abstract: Cloud data centers use enormous amounts of storage, and it is critical to monitor, manage, and optimize the storage autonomically. Optimally configuring storage is difficult because storage workloads are very diverse and change over time. Data centers measure running workloads, but this measurement data stream is itself quite large. We present some real world case studies in the use of big data techniques, sampling, and optimization to manage storage in data centers. Short bio: Arif Merchant is a Research Scientist at Google and leads the Storage Analytics group, which studies interactions between components of the storage stack. His interests include distributed storage systems, storage management, and stochastic modeling. He holds the B.Tech. degree from IIT Bombay and the Ph.D. in Computer Science from Stanford University. He is an ACM Distinguished Scientist. -------------------------------------- Francesco Quaglia (University of Rome "La Sapienza") Title: Performance is Also a Matter of Where You Live Abstract: Nowadays, a plethora of techniques and methods are available to optimize the runtime behavior of complex applications, ranging from modeling/prediction tools to the employment of recognized patterns and/or knowledge-bases on the expected performance under specific workloads. However, in common scenarios, the ultimate applications' behavior may depend on features that are scarcely predictable or difficult to be taken into account when designing the applications and their own runtime optimizers. Among them, we mention the actual structure of the underlying hardware and/or virtualized platforms, as well as specific runtime dynamics such as thread correlation on data and synchronization---not much the average behavior, rather punctual effects. We believe that the environment where applications live, like operating systems and user-space runtime libraries, play a central role in coping with these features. We similarly believe that such environments must be re-staged so as to be actually effective in pursuing the performance optimization goal. In this talk, we discuss specific guidelines to re-stage the environments, based on a real experience, and we point as well to challenges that are still untackled and deserve attention by the research community. Short bio: Francesco Quaglia received the Laurea degree (MS level) in Electronic Engineering in 1995 and the PhD degree in Computer Engineering in 1999 from the University of Rome ``La Sapienza''. From summer 1999 to summer 2000 he held an appointment as a Researcher at the Italian National Research Council (CNR). Since January 2005 he works as an Associate Professor at the School of Engineering of the University of Rome ``La Sapienza", where he has previously worked as an Assistant Professor since September 2000 to December 2004. His main research interests are in the areas of high performance computing, dependable computing, transactional systems, operating systems, automatic code parallelization, performance analysis and optimization. Currently, he is the director of the HPDCS (High Performance and Dependable Computing Systems) Research Lab at the University of Rome ``La Sapienza''. -------------------------------------- Thomas Wuerthinger (Oracle Labs) Title: Micro-Benchmarking Considered Harmful Subtitle: When the Whole is Faster or Slower Than the Sum of its Parts Abstract: Measuring the time spent on small individual fractions of program code is a common technique for analysing performance behavior and detecting performance bottlenecks. The benefits of the approach include a detailed individual attribution of performance and understandable feedback loops when experimenting with different code versions. There are however severe pitfalls when following this approach that can lead to vastly misleading results. Modern optimizing compilers use complex optimization techniques that take a large part of the program into account. There can be therefore unexpected side-effects when combining different code snippets or even when running a presumably unrelated part of the code. This talk will present performance paradoxes with examples from the domain of dynamic compilation of Java programs. Furthermore, it will discuss an alternative approach to modelling code performance characteristics that takes the challenges of complex optimising compilers into account. Short Bio: Thomas Wuerthinger is a Senior Research Director at Oracle Labs leading programming language implementation teams for languages including Java, JavaScript, Ruby, and R. He is the architect of the Graal compiler and the Truffle self-optimizing runtime system. Previously, he worked on the Crankshaft optimizing compiler of V8 at Google, and the Maxine research virtual machine at Sun Microsystems. He received a PhD degree from JKU Linz for his research about dynamic code evolution. ------------------------------------------------------------------------------- ORGANIZING COMMITTEE General Chairs * Walter Binder, Università della Svizzera italiana (USI), Switzerland * Vittorio Cortellessa, Università dell'Aquila, Italy Research Program Chairs * Anne Koziolek, Karlsruhe Institute of Technology, Germany * Evgenia Smirni, College of William and Mary, USA Industry Program Chairs * Meikel Poess, Oracle, USA Tutorials Chair * Valeria Cardellini, Università di Roma Torvergata, Italy Workshops Chairs * Hanspeter Mössenböck, Johannes Kepler Universität Linz, Austria * Catia Trubiani, Gran Sasso Science Institute, Italy Posters and Demos Chair * Lubomir Bulej, Charles University, Czech Republic Awards Chairs * Petr Tuma, Charles University, Czech Republic * Murray Woodside, Carleton University, Canada Local Organization Chair * Antinisca Di Marco, Università dell'Aquila, Italy Publicity Chairs * Andrea Rosà, Università della Svizzera italiana (USI), Switzerland * Diego Perez, Politecnico di Milano, Italy Finance Chair * André van Hoorn, University of Stuttgart Publication and Registration Chair * Davide Arcelli, Università dell'Aquila, Italy Web Site Chair * Daniele Di Pompeo, Università dell'Aquila, Italy -------------------------------------------------------------------------------- CONTACTS Do not hesitate to contact the general chairs at > and > for more information about ICPE'17 and the co-located venues. ------------ Andrea Rosà PhD student - Teaching assistant Faculty of Informatics - Office SI-205 Università della Svizzera italiana (USI) Via G. Buffi 13 CH-6904 Lugano Switzerland (e) andrea.rosa at usi.ch (p) +41 58 666 4455 ext. 2183 (w) http://www.inf.usi.ch/phd/rosaa/ From Damien.Pous at ens-lyon.fr Mon Mar 20 09:39:45 2017 From: Damien.Pous at ens-lyon.fr (Damien Pous) Date: Mon, 20 Mar 2017 10:39:45 +0100 Subject: [Haskell] Call for Participation: RAMiCS, May 15-18, Lyon, France Message-ID: Call for Participation ----------------------------------------------------- 16th International Conference on RELATIONAL AND ALGEBRAIC METHODS IN COMPUTER SCIENCE (RAMiCS 2017) May 15-18, 2017 Lyon, France http://ramics-conference.org ----------------------------------------------------- GENERAL INFORMATION: For more than two decades, the RAMiCS conferences series has been the main venue for research on relation algebras, Kleene algebras and similar algebraic formalisms, and their applications as conceptual and methodological tools in computer science and beyond. INVITED SPEAKERS: * Annabelle McIver (Macquarie University, Sydney) * Jean-Eric Pin (CNRS, IRIF, Paris) * Alexandra Silva (University College London) PROGRAM: http://ramics-conference.org/program.html REGISTRATION: 204 EUR, by April 16th https://www.azur-colloque.fr/DR07/inscription/inscription/153 Students having difficulties to fund their trip should contact the organisers as soon as possible, we might be able to provide financial help for one or two of them. SPECIAL SESSION ON MECHANISED REASONING: We will organise a special session during Thursday afternoon, 18 of May, on mechanised reasoning for relational and algebraic methods. If you are willing to give a talk during this session, please send us a title and a short abstract by April 16th. Expected topics include - mathematical components for relation algebraic methods in proof assistants such as Agda, Coq or Isabelle, or tools such more specific tools such as RelView - support for automated reasoning with such methods - experiences in using any of these tools and components COMMITTEES: Conference Chair: Damien Pous, CNRS, France Programme Chairs: Peter Höfner, Data61, CSIRO Australia Georg Struth, U Sheffield, UK, Programme Committee: Luca Aceto, Reykjavik U, Iceland Rudolf Berghammer, U Kiel, Germany Filippo Bonchi, CNRS, France Jules Desharnais, U Laval, Canada Hitoshi Furusawa, Kagoshima U, Japan Tim Griffin, U Cambridge, UK Walter Guttmann, U Canterbury, New Zealand Robin Hirsch, UCL, UK Peter Höfner, Data61, CSIRO, Australia Marcel Jackson, LaTrobe U, Australia Jean-Baptiste Jeannin, Samsung, USA Peter Jipsen , Chapman U, USA Christian Johansen, U Oslo, Norway Wolfram Kahl, McMaster U, Canada Dexter Kozen, Cornell U, USA Szabolcs Mikulas, Birkbeck U, UK Bernhard Möller, U Augsburg, Germany José N. Oliveira, U Minho, Portugal Damien Pous, CNRS, France Georg Struth, U Sheffield, UK, Pascal Weil, CNRS, France Michael Winter, Brock U, Canada Local Organisation: Catherine Desplanches From splash.publicity at gmail.com Thu Mar 23 00:54:16 2017 From: splash.publicity at gmail.com (SPLASH Publicity) Date: Wed, 22 Mar 2017 17:54:16 -0700 Subject: [Haskell] SPLASH 2017: 2nd Combined Call for Contributions Message-ID: 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: * 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 ## 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 at 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) From compscience.announcement at gmail.com Thu Mar 23 03:15:29 2017 From: compscience.announcement at gmail.com (Klaus Havelund) Date: Wed, 22 Mar 2017 20:15:29 -0700 Subject: [Haskell] RV 2017 - 3rd Call for papers and tutorial proposals + RV-CuBES contributions Message-ID: *RV 2017* *Call for Papers and Tutorials* The 17th International Conference on Runtime Verification September 13-16, Seattle, WA, USA http://rv2017.cs.manchester.ac.uk rv2017 at easychair.org Runtime verification is concerned with the monitoring and analysis of the runtime behaviour of software and hardware systems. Runtime verification techniques are crucial for system correctness, reliability, and robustness; they provide an additional level of rigor and effectiveness compared to conventional testing, and are generally more practical than exhaustive formal verification. Runtime verification can be used prior to deployment, for testing, verification, and debugging purposes, and after deployment for ensuring reliability, safety, and security and for providing fault containment and recovery as well as online system repair. Topics of interest to the conference include, but are not limited to: - specification languages - monitor construction techniques - program instrumentation - logging, recording, and replay - combination of static and dynamic analysis - specification mining and machine learning over runtime traces - monitoring techniques for concurrent and distributed systems - runtime checking of privacy and security policies - statistical model checking - metrics and statistical information gathering - program/system execution visualization - fault localization, containment, recovery and repair - integrated vehicle health management (IVHM) Application areas of runtime verification include cyber-physical systems, safety/mission-critical systems, enterprise and systems software, autonomous and reactive control systems, health management and diagnosis systems, and system security and privacy. We welcome contributions exploring the combination of runtime verification techniques with machine learning and static analysis. Whilst these are highlight topics, papers falling into these categories will not be treated differently from other contributions. An overview of previous RV conferences and earlier workshops can be found at: http://www.runtime-verification.org. RV 2017 will be held September 13-16 in Seattle, WA, USA. RV 2017 will feature a tutorial day (September 13), and three conference days (September 14-16). Important Dates *Papers* as well as *tutorial proposals* will follow the following timeline: - Abstract deadline: April 24, 2017 (Anywhere on Earth) - Paper and tutorial deadline: May 1, 2017 (Anywhere on Earth) - Tutorial notification: May 21, 2017 - Paper notification: June 26, 2017 - Camera-ready deadline: July 24, 2017 - Conference: September 13-16, 2017 Invited Speakers We are very pleased to confirm the following invited speakers for RV 2017: - Rodrigo Fonseca , Brown University, USA - Vlad Levin and Jakob Lichtenberg , Microsoft, USA - Andreas Zeller , Saarland University, Germany General Information on Submissions All papers and tutorials will appear in the conference proceedings in an LNCS volume. Submitted papers and tutorials must use the LNCS/Springer style detailed here: http://www.springer.de/comp/lncs/authors.html Papers must be original work and not be submitted for publication elsewhere. Papers must be written in English and submitted electronically (in PDF format) using the EasyChair submission page here: https://easychair.org/conferences/?conf=rv17 The page limitations mentioned below include all text and figures, but exclude references. Additional details omitted due to space limitations may be included in a clearly marked appendix, that will be reviewed at the discretion of reviewers, but not included in the proceedings. At least one author of each accepted paper and tutorial must attend RV 2017 to present. Paper Submissions There are three categories of papers which can be submitted: regular, short or tool papers. Papers in each category will be reviewed by at least 3 members of the Program Committee. - *Regular Papers* (up to 15 pages, not including references) should present original unpublished results. We welcome theoretical papers, system papers, papers describing domain-specific variants of RV, and case studies on runtime verification. - *Short Papers* (up to 6 pages, not including references) may present novel but not necessarily thoroughly worked out ideas, for example emerging runtime verification techniques and applications, or techniques and applications that establish relationships between runtime verification and other domains. - *Tool Demonstration Papers* (up to 8 pages, not including references) should present a new tool, a new tool component, or novel extensions to existing tools supporting runtime verification. The paper must include information on tool availability, maturity, selected experimental results and it should provide a link to a website containing the theoretical background and user guide. Furthermore, we strongly encourage authors to make their tools and benchmarks available with their submission. The Program Committee of RV 2017 will give a best paper award, and a selection of accepted regular papers will be invited to appear in a special issue of the Springer Journal on Formal Methods in System Design . Tutorial Submissions Tutorials are two-to-three-hour presentations on a selected topic. Additionally, tutorial presenters will be offered to publish a paper of up to 20 pages in the LNCS conference proceedings, not including references. A proposal for a tutorial must contain the subject of the tutorial, a proposed timeline, a note on previous similar tutorials (if applicable) and the differences to this incarnation, and a brief biography of the presenter. The proposal should not exceed 2 pages. RV-CuBES: A Workshop Replacement for the Competition The Runtime Verification Competition will not be running in 2017. In its place a Workshop is being organised to discuss the future of the competition and showcase existing Runtime Verification tools. Please see the relevant page on the conference website for details. Organization *General Chair* Klaus Havelund , NASA Jet Propulsion Laboratory, USA *Program Chairs* Shuvendu Lahiri , Microsoft Research, USA Giles Reger , University of Manchester, UK *Finance Chair* Oleg Sokolsky , University of Pennsylvania, USA *Publicity Chair* Ayoub Nour i, University Grenoble Alpes, France *Local Organisation Chairs* Grigory Fedyukovich , University of Washington, USA Rahul Kumar , Microsoft Research, USA *Program Committee* Wolfgang Ahrendt , Chalmers Univ. of Technology/Univ. of Gothenburg, Sweden Cyrille Artho , KTH Royal Institute of Technology, Sweden Howard Barringer , The University of Manchester, UK Ezio Bartocci , Vienna University of Technology, Austria Andreas Bauer , KUKA Systems, Germany Saddek Bensalem , University of Grenoble Alpes/VERIMAG, France Eric Bodden , Fraunhofer SIT/Technische University Darmstadt, Germany Borzoo Bonakdarpour , McMaster University, Canada Christian Colombo , University of Malta, Malta Ylies Falcone , University Grenoble Alpes/Inria, France Grigory Fedyukovich , University of Washington, USA Lu Feng , University of Virginia, USA Patrice Godefroid , Microsoft Research, USA Jean Goubault-Larrecq , CNRS/ENS de Cachan, France Alex Groce , Northern Arizona University, USA Radu Grosu , Vienna University of Technology, Austria Sylvain Hallé , University of Québec at Chicoutimi, Canada Marieke Huisman , University of Twente, Netherlands Franjo Ivancic , Google, USA Bengt Jonsson , Uppsala University, Sweden Felix Klaedtke , NEC Europe Ltd., Germany Rahul Kumar , Microsoft Research, USA Kim Larsen , Aalborg University, Denmark Insup Lee , University of Pennsylvania, USA Axel Legay , Inria Rennes, France Martin Leucker , University of Lübeck, Germany Ben Livshits , Imperial College, UK David Lo , Singapore Management University, Singapore Francesco Logozzo , Facebook, USA Parthasarathy Madhusudan , University of Illinois at Urbana-Champaign, USA Leonardo Mariani , University of Milan Bicocca, Italy Madan Musuvathi , Microsoft Research, USA Ayoub Nouri , University of Grenoble Alpes, France Gordon Pace , University of Malta, Malta Doron Peled , Bar Ilan University, Israel Veselin Raychev , ETH Zurich, Switzerland Grigore Rosu , University of Illinois at Urbana-Champaign, USA Cesar Sanchez , IMDEA Software Institute, Spain Gerardo Schneider, Chalmers Univ. of Technology/Univ. of Gothenburg, Sweden Rahul Sharma , Microsoft Research, India Julien Signoles , CEA LIST, France Scott Smolka , Stony Brook University, USA Oleg Sokolsky , University of Pennsylvania, USA Bernhard Steffen , University of Dortmund, Germany Scott Stoller , Stony Brook University, USA Volker Stolz , University of Olso, Norway Frits Vaandrager , Radboud University, Netherlands Neil Walkinshaw , University of Leicester, UK Chao Wang , University of Southern California, USA Eugen Zalinescu , Technische Universitat München, Germany -------------- next part -------------- An HTML attachment was scrubbed... URL: From wim.ectors at uhasselt.be Fri Mar 24 17:02:31 2017 From: wim.ectors at uhasselt.be (Wim Ectors) Date: Fri, 24 Mar 2017 10:02:31 -0700 Subject: [Haskell] [FNC-Conf] FNC 2017 CFPs: FINAL Submission Date: April 7. The 12th International Conference on Future Networks and Communications Message-ID: ------------------------------------------------------------------------ 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: April 7, 2017 (Firm) - 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 -------------- next part -------------- An HTML attachment was scrubbed... URL: From wim.ectors at uhasselt.be Sat Mar 25 09:44:03 2017 From: wim.ectors at uhasselt.be (Wim Ectors) Date: Sat, 25 Mar 2017 02:44:03 -0700 Subject: [Haskell] [MobiSPC-Conf] MobiSPC 2017 CFPs: FINAL Submission Date: April 7. The 14th International Conference on Mobile Systems and Pervasive Computing Message-ID: ---------------------------------------------------------------------------- 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: April 7, 2017 (Firm) - 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 -------------- next part -------------- An HTML attachment was scrubbed... URL: From rdgrande at site.uottawa.ca Sun Mar 26 13:24:41 2017 From: rdgrande at site.uottawa.ca (Robson De Grande) Date: Sun, 26 Mar 2017 06:24:41 -0700 Subject: [Haskell] CFP Special Sessions: DS-RT 2017 - Rome, Italy, October 18-20, 2017 Message-ID: Dear Colleagues and Researchers, Apologies, if you have received multiple copies of this CFP. ********** CALL FOR PAPER ********** DS-RT 2017, the 21st IEEE/ACM International Symposium on Distributed Simulations and Real Time Applications, is running four special sessions this year: - Distributed Simulations of Distributed Systems - Agent-based Modeling and Simulation - Simulation of Urban Traffic Management and ITS - Augmented and Virtual Reality for Real-Time Applications Those special sessions cover important areas of the field of distributed simulations and real time applications, and many papers were accepted in previous editions of DS-RT on the same topics. See below for more detailed descriptions of those special sessions. ***** PAPER SUBMISSION AND REVIEW ***** Submitted manuscripts must be in standard IEEE two-column format that is used for IEEE conference proceedings and must not exceed "8 pages" (2-page extension allowed), including figures, tables and references. Standard IEEE templates for Microsoft Word or LaTeX formats can be found at: - http://www.ieee.org/conferences_events/conferences/publishing/templates.html A submission may present preliminary results, propose new research direction, provide insightful retrospective, or offer a provocative viewpoint on important topics related to the considered special session. Papers will be selected based on their likelihood of generating insightful technical discussions at the special session and influencing future research. 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 and the special session. At least one author of accepted papers must attend the conference and present its contribution. Accepted papers will appear in the conference proceedings to be published by IEEE Press. ***** IMPORTANT DATES ***** Full paper submission deadline: May 20th, 2017 Paper acceptance notification: June 20th, 2017 ***** FOR MORE INFORMATION ***** For questions about the paper submission and review process, please contact the session organisers - find all relevant information on the corresponding web pages below. ***** DESCRIPTION OF THE SPECIAL SESSIONS ***** * Special Session on Distributed Simulations of Distributed Systems Distributed simulation (DS) is a valuable tool for understanding and evaluating distributed systems. The current computing trend sees businesses and individuals moving toward a more centralized infrastructure, namely the cloud. On the one hand, as the computing infrastructure at data centers is highly complex and distributed, DS becomes essential for diagnosing and gaining insights of the system. On the other hand, the scale and nature of interaction between different components in the cloud present new challenges and push DS's state of the art. Another computing trend that has potential to drive DS is internet-of-things. Such complex systems consist of a large number of autonomous, heterogeneous devices communicating with one another in non-uniform manner. DS is valuable not only for discerning system properties but also for predicting the devices' emergent behavior. Finally, users in online social networks make up large distributed systems. Insights of user interaction and the network's collective behavior --- the study of which fits well into the realm of DS --- bring significant value to both the society and the business of social network providers. This special session seeks to bring together experts and practitioners in the domain of DS to discuss new opportunities and challenges for DS. We welcome research papers on both theoretical and empirical issues. Web page: http://ds-rt.com/2017/dsimdsys_2017.htm * Special Session on Agent-based Modeling and Simulation This special session focuses on general aspects and special properties for agent-based modeling and simulations that allows them to be applied on several scientific domains, such as sociology, physics, chemistry, biology, ecology, and economy. The session is intended to bring together researchers and practitioners, so they can present the current status of their work and discuss the challenges they face in developing solutions and applications for agent-based simulations. Consequently, the design of these simulations aims not only to social contexts but also to more technical domains, which involves highly complex interactive systems. Web page: http://ds-rt.com/2017/abms_2017.htm Best Regards, DS-RT 2017 Special Session Chairs -------------- next part -------------- An HTML attachment was scrubbed... URL: From w.s.swierstra at uu.nl Mon Mar 27 08:18:23 2017 From: w.s.swierstra at uu.nl (Wouter Swierstra) Date: Mon, 27 Mar 2017 10:18:23 +0200 Subject: [Haskell] Call for participation: Utrecht Summer School Message-ID: <7eb5a328-514e-9435-f51d-3928a4640acb@uu.nl> Call for Participation SUMMER SCHOOL ON APPLIED FUNCTIONAL PROGRAMMING Utrecht, the Netherlands, 21-25 August 2017 http://www.afp.school ## ABOUT The Applied Functional Programming summer school has been running for almost ten years. We aim to educate aspiring Haskell programmers beyond the basic material covered by many textbooks. The lectures will cover several more advanced topics regarding the theory and practice of Haskell programming, including topics such as: * lambda calculus; * monads and monad transformers; * lazy evaluation; * generalized algebraic data types; * type families and type-level programming; * concurrency and parallelism. The summer school consists of a mix of lectures, labs, and a busy social program. ## LECTURERS Utrecht staff: * Johan Jeuring * Doaitse Swierstra * Wouter Swierstra Guest lectures: * Simon Marlow (Concurrency and parallelism) * Luite Stegeman (GHCJS) ## PREREQUISITES We expect students to have a basic familiarity with Haskell already. You should be able to write recursive functions over algebraic data types, such as lists and trees. There is a great deal of material readily available that covers this material. If you’ve already started learning Haskell and are looking to take your functional programming skills to the next level, this is the course for you. ## DATES Registration deadline: 1 August, 2017 School: 21-25 August ## COSTS €1700 - Housing and registration €1500 - Registration only We offer a €1000 discount for students and staff members affiliated with a university. ## FURTHER INFORMATION Further information, including instructions on how to register, is available on our website: http://www.afp.school From amal.j.ahmed at gmail.com Wed Mar 29 01:32:02 2017 From: amal.j.ahmed at gmail.com (Amal Ahmed) Date: Tue, 28 Mar 2017 21:32:02 -0400 Subject: [Haskell] Oregon PL Summer School 2017: register by April 1 Message-ID: *** Reminder: The OPLSS registration deadline is April 1st *** We are pleased to announce the program for the 16th annual Oregon Programming Languages Summer School (OPLSS) to be held from June 26th to July 8th, 2017 at the University of Oregon in Eugene. The registration deadline is April 1st, 2017. Full information on registration and scholarships can be found here: http://www.cs.uoregon.edu/Activities/summerschool This year's program is titled: A Spectrum of Types. The speakers and topics include: Amal Ahmed -- Correct and Secure Compilation for Multi-Language Software Northeastern University Edwin Brady -- Dependent Types in the Idris Programming Language University of St. Andrews Ron Garcia -- Gradual Typing University of British Columbia Robert Harper -- Programming Languages Background Carnegie Mellon University Neel Krishnaswami -- Dependent Types and Linearity University of Cambridge Dan Licata -- Programming Languages Background Wesleyan University Frank Pfenning -- Substructural Type Systems and Concurrent Programming Carnegie Mellon University Sam Tobin-Hochstadt -- Contracts and Gradual Types Indiana University David Van Horn -- Redex, Abstract Machines, and Abstract Interpretation University of Maryland The school has a long and successful tradition (sponsored by the NSF, ACM SIGPLAN, and industry). It covers current research in the theory and practice of programming languages. Material is presented at a tutorial level that will help graduate students and researchers from academia or industry understand the critical issues and open problems confronting the field. Prerequisites are an elementary knowledge of logic and mathematics, as covered in undergraduate classes on discrete mathematics, and some knowledge of programming languages at the level of an undergraduate survey course. A *new feature* this year is the option for students to attend a Review session from June 23rd to 25th -- the three days before the summer school officially begins. The review will cover operational semantics, type systems, and basic proof techniques, and will help graduate and especially undergraduate students who have not had a previous course in this material prepare for the main part of the school. Please contact the organizers if you have questions about whether the review will be helpful given your background. We hope you can join us for this excellent program! Amal Ahmed Dan Licata Zena Ariola -------------- next part -------------- An HTML attachment was scrubbed... URL: -------------- next part -------------- A non-text attachment was scrubbed... Name: logo-small.png Type: image/png Size: 20102 bytes Desc: not available URL: From francois.pottier at inria.fr Wed Mar 29 14:56:01 2017 From: francois.pottier at inria.fr (=?UTF-8?Q?Fran=c3=a7ois_Pottier?=) Date: Wed, 29 Mar 2017 16:56:01 +0200 Subject: [Haskell] First call for talk proposals: Higher-Order Programming with Effects, HOPE 2017 Message-ID: <34671e1f-bb3b-20f6-e1e3-8e215ec1e68d@inria.fr> ------------------------------------------------------------------------------ CALL FOR TALK PROPOSALS HOPE 2017 The 6th ACM SIGPLAN Workshop on Higher-Order Programming with Effects September 3, 2017 Oxford, United Kingdom (the day before ICFP 2017) http://icfp17.sigplan.org/track/hope-2017-papers ------------------------------------------------------------------------------ The HOPE workshop series are intended to bring together researchers interested in the design, semantics, implementation, and verification of higher-order effectful programs. They are informal, consisting of invited talks, contributed talks on work in progress, and open-ended discussion sessions. They are dedicated to John Reynolds, whose work is an inspiration to us all. The 6th ACM SIGPLAN Workshop on Higher-Order Programming with Effects will take place on Sunday, September 3, 2017, that is, the day before ICFP 2017, in Oxford, United Kingdom. # Goals of the Workshop A recurring theme in many papers at ICFP, and in the research of many ICFP attendees, is the interaction of higher-order programming with various kinds of effects: storage effects, I/O, control effects, concurrency, etc. While effects are of critical importance in many applications, they also make code harder to build, maintain, and reason about. Higher-order languages (both functional and object-oriented) provide a variety of abstraction mechanisms to help "tame" or "encapsulate" effects (e.g. monads, ADTs, ownership types, typestate, first-class events, transactions, Hoare Type Theory, session types, substructural and region-based type systems), and a number of different semantic models and verification technologies have been developed in order to codify and exploit the benefits of this encapsulation (e.g. bisimulations, step-indexed Kripke logical relations, higher-order separation logic, game semantics, various modal logics). But there remain many open problems, and the field is highly active. The goal of the HOPE workshop is to bring researchers from a variety of different backgrounds and perspectives together to exchange new and exciting ideas concerning the design, semantics, implementation, and verification of higher-order effectful programs. We want HOPE to be as informal and interactive as possible. The program will thus involve a combination of invited talks, contributed talks about work in progress, and open-ended discussion sessions. There will be no published proceedings, but participants will be invited to submit working documents, talk slides, etc., to be made available online. # Call for Talk Proposals We solicit proposals for contributed talks. We recommend preparing proposals of at most 2 pages, in either plain text or PDF format. However, we will accept longer proposals or submissions to other conferences, under the understanding that PC members are only expected to read the first two pages of such longer submissions. When submitting talk proposals, authors should specify how long a talk the speaker wishes to give. By default, contributed talks will be 30 minutes long, but proposals for shorter or longer talks will also be considered. Speakers may also submit supplementary material (e.g. a full paper, talk slides) if they desire, which PC members are free (but not expected) to read. We are interested in talks on all topics related to the interaction of higher-order programming and computational effects. Talks about work in progress are particularly encouraged. If you have any questions about the relevance of a particular topic, please contact the PC chairs, François Pottier (francois.pottier at inria.fr) and Aleks Nanevski (aleks.nanevski at imdea.org). # Important Dates * Deadline for talk proposals: June 1st, 2017 (Thursday) * Notification of acceptance: July 1st, 2017 (Saturday) * Workshop: September 3, 2017 (Sunday) # Submission Link The submission website is https://icfp-hope17.hotcrp.com/ . # Workshop Organization Program Co-Chairs: François Pottier (Inria Paris) Aleks Nanevski (IMDEA Software Institute) Program Committee: Edwin Brady University of St Andrews Pierre-Évariste Dagand LIP6/CNRS Atsushi Igarashi Kyoto University Robert Krebbers Delft University of Technology Vivek Nigam Federal University of Paraíba Matija Pretnar University of Ljubljana Azalea Raad Imperial College London Aseem Rastogi Microsoft Research Filip Sieczkowski University of Wrocław Niki Vazou University of Maryland From bpientka at cs.mcgill.ca Fri Mar 31 08:11:12 2017 From: bpientka at cs.mcgill.ca (Brigitte Pientka) Date: Fri, 31 Mar 2017 10:11:12 +0200 Subject: [Haskell] PPDP 2017: Call For Papers Message-ID: <8B024693-9C75-4533-95A0-D2C0368C7FB1@cs.mcgill.ca> ======================================================== CALL FOR PAPERS 19th International Symposium on Principles and Practice of Declarative Programming PPDP 2017 Namur, Belgium, October 9-11, 2017 (co-located with LOPSTR'17) http://complogic.cs.mcgill.ca/ppdp2017 ======================================================== SUBMISSION DEADLINE: 12 May (abstracts) / 19 MAY (papers) ======================================================== PPDP 2017 is a forum that brings together researchers from the declarative programming communities, including those working in the functional, logic, answer-set, and constraint programming paradigms. The goal is to stimulate research in the use of logical formalisms and methods for analyzing, performing, specifying, and reasoning about computations, including mechanisms for concurrency, security, static analysis, and verification. Submissions are invited on all topics from principles to practice, from foundations to applications. Topics of interest include, but are not limited to ** Language Design: domain-specific languages; interoperability; concurrency, parallelism, and distribution; modules; probabilistic languages; reactive languages; database languages; knowledge representation languages; languages with objects; language extensions for tabulation; metaprogramming. ** Implementations: abstract machines; interpreters; compilation; compile-time and run-time optimization; garbage collection; memory management. ** Foundations: type systems; type classes; dependent types; logical frameworks; monads; resource analysis; cost models; continuations; control; state; effects; semantics. ** Analysis and Transformation: partial evaluation; abstract interpretation; control flow; data flow; information flow; termination analysis; resource analysis; type inference and type checking; verification; validation; debugging; testing. ** Tools and Applications: programming and proof environments; verification tools; case studies in proof assistants or interactive theorem provers; certification; novel applications of declarative programming inside and outside of CS; declarative programming pearls; practical experience reports and industrial application; education. This year the conference will be co-located with the 27th Int'l Symp. on Logic-Based Program Synthesis and Transformation (LOPSTR 2017). IMPORTANT DATES: Abstract Submission: 12 May 2017 Paper Submission: 19 May 2017 Paper Rebuttal: 10 July 2017 Notification: 20 July 2017 Final Version: 15 Aug 2017 SUBMISSION CATEGORIES: Submissions can be made in three categories: regular Research Papers, System Descriptions, and Experience Reports. Submissions of Research Papers must present original research which is unpublished and not submitted elsewhere. They must not exceed 12 pages ACM style 2-column (including figures and bibliography). Work that already appeared in unpublished or informally published workshop proceedings may be submitted (please contact the PC chair in case of questions). Submissions of research papers will be judged on originality, significance, correctness, clarity, and readability. Submission of System Descriptions must describe a working system whose description has not been published or submitted elsewhere. They must not exceed 10 pages and should contain a link to a working system. System Descriptions must be marked as such at the time of submission and will be judged on originality, significance, usefulness, clarity, and readability. Submissions of Experience Reports are meant to help create a body of published, refereed, citable evidence where declarative programming such as functional, logic, answer-set, constraint programming, etc., is used in practice. They must not exceed 6 pages. Experience Reports must be marked as such at the time of submission and need not report original research results. They will be judged on significance, usefulness, clarity, and readability. Possible topics for an Experience Report include, but are not limited to: * insights gained from real-world projects using declarative programming * comparison of declarative programming with conventional programming in the context of an industrial project or a university curriculum * curricular issues encountered when using declarative programming in education * real-world constraints that created special challenges for an implementation of a declarative language or for declarative programming in general * novel use of declarative programming in the classroom * programming pearl that illustrates a nifty new data structure or programming technique. SUBMISSION GUIDELINES: Submissions must be formatted using ACM style files (latest release December 2016) using the instructions at https://www.acm.org/publications/proceedings-template To prepare your submission using LaTex: * Download acmart.zip from https://www.ctan.org/pkg/acmart * Unzip acmart.zip * Run latex acmart.ins to produce an acmart.cls file * Run pdflatex sample-sigconf.tex to check that your installation works correctly * Write your paper using sample-sigconf.tex as a template Proofs of theoretical results that do not fit within the page limit, executables of systems, code of case studies, benchmarks used to evaluate a given system, etc., should be made available, via a reference to a website or in an appendix of the paper. Reviewers will be encouraged to consider this additional material, but are not obliged to. Submissions must be self-contained within the respective page limit; considering the additional material should not be necessary to assess the merits of a submission. At least one author of each accepted submission will be expected to attend and present their paper at the conference. Papers must be submitted via easychair. The submission site is at https://easychair.org/conferences/?conf=ppdp2017 PROCEEDING Accepted papers will be published in the ACM International Conference Proceedings Series. PROGRAM CHAIR Brigitte Pientka (McGill University) PROGRAM COMMITTEE Andreas Abel (Gothenburg University) Nadia Amin (EPFL) Zena M. Ariola (University of Oregon) Kenichi Asai (Ochanomizu University) James Cheney (University of Edinburgh) Mariangiola Dezani-Ciancaglini (University of Torino) Santiago Escobar (Universitat Politècnica de València) Amy Felty (University of Ottawa) Thom Frühwirth (University of Ulm) Patricia Johann (Appalachian State University) Neel Krishnaswami (University of Cambridge) Michaël Leuschel (Universität Düsseldorf) Yanhong Annie Liu (Stony Brook University) Andres Loeh (Well-Typed) Vivek Nigam (Federal University of Paraiba / fortiss) Naoki Nishida (Nagoya University) Catuscia Palamidessi (INRIA) Brigitte Pientka (McGill University) (PC Chair) Ulrich Schoepp (Ludwig Maximilian University) Chung-chieh Shan (Indiana University) Bernardo Toninho (Imperial College London) LOCAL ORGANIZER (joint with LOPSTR): Wim Vanhoff (University of Namur) ---------------------------------------------------------------------- From berthold at Mathematik.Uni-Marburg.de Fri Mar 31 10:27:57 2017 From: berthold at Mathematik.Uni-Marburg.de (Jost Berthold) Date: Fri, 31 Mar 2017 21:27:57 +1100 Subject: [Haskell] 1st Call for papers: FHPC 2017 Message-ID: <7df18ac4-2e42-13e2-8ad7-719c45628745@mathematik.uni-marburg.de> ====================================================================== CALL FOR PAPERS FHPC 2017 The 6th ACM SIGPLAN Workshop on Functional High-Performance Computing Oxford, UK September 7, 2017 http://icfp17.sigplan.org/track/FHPC-2017-papers Co-located with the International Conference on Functional Programming (ICFP 2017) Submission Deadline: 26th of May 2017 (anywhere on earth) ====================================================================== The FHPC workshop aims at bringing together researchers exploring uses of functional (or more generally, declarative or high-level) programming technology in application domains where high performance is essential. The aim of the meeting is to enable sharing of results, experiences, and novel ideas about how high-level, declarative specifications of computationally challenging problems can serve as maintainable and portable code that approaches (or even exceeds) the performance of machine-oriented (low-level) imperative implementations. All aspects of performance critical programming and parallel programming are in-scope for the workshop, irrespective of hardware target. This includes both traditional large-scale scientific computing (HPC), as well as work targeting single node systems with SMPs, GPUs, FPGAs, or embedded processors. It is becoming apparent that radically new and well founded methodologies for programming such systems are required to address their inherent complexity and to reconcile execution performance with programming productivity. Experience reports are also welcome. Proceedings: ============ FHPC 2017 seeks to encourage a range of submissions, focusing on work in progress and facilitating early exchange of ideas and open discussion on innovative and/or emerging results. To this end submissions should take the form of short (maximum 6 page) papers. Accepted papers will be published by the ACM and will appear in the ACM Digital Library. This year FHPC will introduce an (optional) artifact-evaluation session, with the intent that selected artifacts will receive additional presentation time in a dedicated slot during the workshop. * Paper submissions due: 26th of May, 2017 (anywhere on earth) * Artifact submissions due: 9th of June, 2017 (optional) * Author notification: 23rd of June, 2017 * Final copy due: 15th of July, 2017 Submitted papers must be in portable document format (PDF), formatted according to the ACM SIGPLAN style guidelines (2 column, 9pt format). See http://www.sigplan.org/authorInformation.htm for more information and style files. Papers should be no longer than 6 pages. Contributions to FHPC 2017 should be submitted via Easychair, at the following URL: * https://easychair.org/conferences/?conf=fhpc17 The FHPC workshops adhere to the ACM SIGPLAN policies regarding programme committee contributions and republication. Any paper submitted must adhere to ACM SIGPLAN's republication policy. PC member submissions are welcome, but will be reviewed to a higher standard. http://www.sigplan.org/Resources/Policies/Review http://www.sigplan.org/Resources/Policies/Republication ------ AUTHORS TAKE NOTE: The official publication date is the date the proceedings are made available in the ACM Digital Library. This date may be up to two weeks prior to the first day of your conference. The official publication date affects the deadline for any patent filings related to published work. ------ Travel Support: =============== Student attendees with accepted papers can apply for a SIGPLAN PAC grant to help cover travel expenses. PAC also offers other support, such as for child-care expenses during the meeting or for travel costs for companions of SIGPLAN members with physical disabilities, as well as for travel from locations outside of North America and Europe. For details on the PAC programme, see its web page (http://www.sigplan.org/PAC.htm). Program Committee: ================== Phil Trinder (co-chair) Glasgow University, UK Cosmin Oancea (co-chair) University of Copenhagen, Denmark Jost Berthold Commonwealth Bank of Australia, Australia Kei Davis Los Alamos National Laboratory, USA Zhenjiang Hu National Institute of Informatics, Japan Gabriele Keller The University of New South Wales, Australia Rita Loogen Philipps-University Marburg, Germany Patrick Maier Glasgow University, UK Geoffrey Mainland Drexel University, USA Gihan Mudalige University of Warwick, UK Louis-Noel Pouchet Colorado State University, USA Mary Sheeran Chalmers University of Technology, Sweden