From rdgrande at site.uottawa.ca Thu Dec 1 04:25:07 2016 From: rdgrande at site.uottawa.ca (Robson De Grande) Date: Wed, 30 Nov 2016 23:25:07 -0500 Subject: [Haskell] CFP: DCOSS 2017 - Ottawa, Canada Message-ID: =================================================== Call-For-Papers: 13th DCOSS 2017 Ottawa, Canada, June 5 - 7, 2017 http://paradise.site.uottawa.ca/DCOSS/ ==================================================== IMPORTANT: Paper registration through EDAS: January 6th, 2016 Paper Submission: January 12th, 2017 =================================================== ------ DCOSS 2017 is the 13th International Conference on Distributed Computing in Sensor Systems to be hosted in Ottawa, Canada in June 5-7, 2017. Due to their potential of impacting an entire host of application areas, distributed sensor systems have become a highly visible research area. The focus of DCOSS series of conferences is on distributed computing issues in large scale networked sensor systems, including, but not limited to, algorithms and applications, systems design techniques and tools, and in-network signal and information processing. DCOSS puts together a highly selective program where it primes for quality and innovation on works. Potential authors are invited to submit original unpublished manuscripts that demonstrate current research on computational aspects of distributed sensor systems. Topics of interest include but are not limited to: Social networks and applications Sensors for smart grid systems, green networks and sustainability Computation and programming models Energy models, minimization, awareness Distributed collaborative information processing Detection and tracking Theoretical performance analysis: complexity, correctness, scalability Abstractions for modular design Fault tolerance and security Task allocation, reprogramming and reconfiguration Dynamic resource management Scalable, heterogeneous architectures (node and system-level) Middleware interfaces, communication and processing primitives Design, simulation and optimization tools for deployment and operation Design automation and application synthesis techniques Closed-loop control for sensing and actuation Case studies: lessons from real world deployments Network coding and compression 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. Please submit your paper through EDAS link (https://edas.info/N23046). More detailed instructions about paper submissions can be fount at the link below. - http://paradise.site.uottawa.ca/DCOSS/ Important Dates: Paper Registration Deadline: 6th January, 2017 Paper Submission Deadline: 12th January, 2017 Organizing Committee: GENERAL CHAIR Azzedine Boukerche, University of Ottawa, Canada PROGRAM CO-CHAIRS Salil Kanhere, University of New South Wales, Australia Soumaya Charkaoui, University of Sherbrooke, Canada -------------- next part -------------- An HTML attachment was scrubbed... URL: From meneguette at ifsp.edu.br Thu Dec 1 04:38:57 2016 From: meneguette at ifsp.edu.br (RODOLFO IPOLITO MENEGUETTE) Date: Thu, 1 Dec 2016 02:38:57 -0200 (BRST) Subject: [Haskell] CFP: DCOSS 2017 - Ottawa, Canada In-Reply-To: <1131779206.24966907.1480567123594.JavaMail.zimbra@ifsp.edu.br> Message-ID: <724902073.24966912.1480567137114.JavaMail.zimbra@ifsp.edu.br> =================================================== Call-For-Papers: 13th DCOSS 2017 Ottawa, Canada, June 5 - 7, 2017 http://paradise.site.uottawa.ca/DCOSS/ ==================================================== IMPORTANT: Paper registration through EDAS: January 6th, 2016 Paper Submission: January 12th, 2017 =================================================== ------ DCOSS 2017 is the 13th International Conference on Distributed Computing in Sensor Systems to be hosted in Ottawa, Canada in June 5-7, 2017. Due to their potential of impacting an entire host of application areas, distributed sensor systems have become a highly visible research area. The focus of DCOSS series of conferences is on distributed computing issues in large scale networked sensor systems, including, but not limited to, algorithms and applications, systems design techniques and tools, and in-network signal and information processing. DCOSS puts together a highly selective program where it primes for quality and innovation on works. Potential authors are invited to submit original unpublished manuscripts that demonstrate current research on computational aspects of distributed sensor systems. Topics of interest include but are not limited to: Social networks and applications Sensors for smart grid systems, green networks and sustainability Computation and programming models Energy models, minimization, awareness Distributed collaborative information processing Detection and tracking Theoretical performance analysis: complexity, correctness, scalability Abstractions for modular design Fault tolerance and security Task allocation, reprogramming and reconfiguration Dynamic resource management Scalable, heterogeneous architectures (node and system-level) Middleware interfaces, communication and processing primitives Design, simulation and optimization tools for deployment and operation Design automation and application synthesis techniques Closed-loop control for sensing and actuation Case studies: lessons from real world deployments Network coding and compression 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. Please submit your paper through EDAS link ( https://edas.info/N23046 ). More detailed instructions about paper submissions can be fount at the link below. - http://paradise.site.uottawa.ca/DCOSS/ Important Dates: Paper Registration Deadline: 6th January, 2017 Paper Submission Deadline: 12th January, 2017 Organizing Committee: GENERAL CHAIR Azzedine Boukerche, University of Ottawa, Canada PROGRAM CO-CHAIRS Salil Kanhere, University of New South Wales, Australia Soumaya Charkaoui, University of Sherbrooke, Canada -------------- next part -------------- An HTML attachment was scrubbed... URL: From Henrik.Nilsson at nottingham.ac.uk Fri Dec 2 16:11:19 2016 From: Henrik.Nilsson at nottingham.ac.uk (Henrik Nilsson) Date: Fri, 02 Dec 2016 16:11:19 +0000 Subject: [Haskell] PhD studentships at FP lab, Nottingham Message-ID: <58419D27.90909@exmail.nottingham.ac.uk> The School of Computer Science in Nottingham is advertising 10 fully-funded PhD studentships. Applicants in the area of the Functional Programming lab (fp.cs.nott.ac.uk) are encouraged! If you are interested in applying, please contact a potential supervisor in the FP lab prior to submitting your application: Thorsten Altenkirch - constructive logic, proof assistants, (homotopy) type theory, category theory, lambda calculus, quantum computing. Venanzio Capretta - type theory, mathematical logic, corecursive structures, proof assistants, dependently-typed programming. Henrik Nilsson - functional reactive programming, modelling and simulation languages, domain-specific languages, generalized notions of computation Graham Hutton - program construction and verification, category theory, recursion operators, coinductive types. See http://www.nottingham.ac.uk/jobs/currentvacancies/ref/SCI1674 for details. Closing date: Sunday, 22nd January 2017 -- Henrik Nilsson School of Computer Science The University of Nottingham nhn at cs.nott.ac.uk This message and any attachment are intended solely for the addressee and may contain confidential information. If you have received this message in error, please send it back to me, and immediately delete it. Please do not use, copy or disclose the information contained in this message or in any attachment. Any views or opinions expressed by the author of this email do not necessarily reflect the views of the University of Nottingham. This message has been checked for viruses but the contents of an attachment may still contain software viruses which could damage your computer system, you are advised to perform your own checks. Email communications with the University of Nottingham may be monitored as permitted by UK legislation. From nikoshaskell at gmail.com Sat Dec 3 20:21:31 2016 From: nikoshaskell at gmail.com (Nikos Karagiannidis) Date: Sat, 3 Dec 2016 22:21:31 +0200 Subject: [Haskell] problem installing Stack on Ubuntu Virtual Machine Message-ID: Hi all, I am tryning to install Stack on an 64-bit Ubuntu VM (Ubuntu 16.04.1 LTS). I have followed strictly all the steps that are mentioned in: https://docs.haskellstack.org/en/stable/install_and_upgrade/#ubuntu the installation completes OK and I get the following stack version installed: *$ stack --version* *Version 1.2.0, Git revision 241cd07d576d9c0c0e712e83d947e3dd64541c42 (4054 commits) x86_64 hpack-0.14.0* But, when I run "stack setup" it tries to update package index and then it stucks there forever! *$ stack setup* *Run from outside a project, using implicit global project config* *Using resolver: lts-7.11 from implicit global project's config file: /home/nikos/.stack/global-project/stack.yaml* *Updating package index Hackage (mirrored at https://github.com/commercialhaskell/all-cabal-hashes.git ) ...* any suggestions? thank you in advance! Nikos -------------- next part -------------- An HTML attachment was scrubbed... URL: From michael at snoyman.com Sat Dec 3 22:17:30 2016 From: michael at snoyman.com (Michael Snoyman) Date: Sun, 4 Dec 2016 00:17:30 +0200 Subject: [Haskell] problem installing Stack on Ubuntu Virtual Machine In-Reply-To: References: Message-ID: Adding the haskell-stack mailing list, that's more focused than haskell at haskell.org. Just leaving this message on that mailing list in case someone in the future wonders where this conversation is moving to. Short answer: try adding the following to ~/.stack/config.yaml: package-indices: - name: Hackage download-prefix: https://s3.amazonaws.com/hackage.fpcomplete.com/package/ http: https://s3.amazonaws.com/hackage.fpcomplete.com/00-index.tar.gz Longer answer: most likely it wasn't completely stalled, just going _very_ slowly. We've had some reports from users - usually depending on geography - of slow downloads of the cabal file Git repo. The snippet above will switch you into an HTTPS download, which may be faster. On Sat, Dec 3, 2016 at 10:21 PM, Nikos Karagiannidis wrote: > Hi all, > > I am tryning to install Stack on an 64-bit Ubuntu VM (Ubuntu 16.04.1 LTS). > > I have followed strictly all the steps that are mentioned in: > > https://docs.haskellstack.org/en/stable/install_and_upgrade/#ubuntu > > the installation completes OK and I get the following stack version > installed: > > *$ stack --version* > *Version 1.2.0, Git revision 241cd07d576d9c0c0e712e83d947e3dd64541c42 > (4054 commits) x86_64 hpack-0.14.0* > > But, when I run "stack setup" it tries to update package index and then > it stucks there forever! > > *$ stack setup* > *Run from outside a project, using implicit global project config* > *Using resolver: lts-7.11 from implicit global project's config file: > /home/nikos/.stack/global-project/stack.yaml* > *Updating package index Hackage (mirrored at > https://github.com/commercialhaskell/all-cabal-hashes.git > ) ...* > > any suggestions? > > thank you in advance! > > Nikos > > > _______________________________________________ > Haskell mailing list > Haskell at haskell.org > http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell > > -------------- next part -------------- An HTML attachment was scrubbed... URL: From gershomb at gmail.com Mon Dec 5 21:58:35 2016 From: gershomb at gmail.com (Gershom B) Date: Mon, 5 Dec 2016 16:58:35 -0500 Subject: [Haskell] [Haskell-community] Call for Haskell.org Committee Nominations In-Reply-To: References: Message-ID: We're starting the discussion now. Ideally we'll wrap it up within seven days or so. --Gershom On Mon, Dec 5, 2016 at 4:54 PM, Noon van der Silk wrote: > Out of interest, when will the new committee members be announced? > > On Sat, Nov 12, 2016 at 9:29 AM, Gershom B wrote: >> >> Dear Haskellers, >> >> It is time to put out a call for new nominations (typically but not >> necessarily self-nominations) to the haskell.org committee. We have >> four members of our committee due for retirement -- Adam Foltzer, >> Nicolas Wu, Andres Loeh, and Edward Kmett (who is stepping down >> early). As per our bylaws, three of the slots will be for regular >> three year terms, and one will be a short one year term to fill out >> the remainder of Edward's. >> >> To nominate yourself, please send an email to committee at haskell.org >> by December 2, 2016. The retiring members are eligible to re-nominate >> themselves. Please feel free to include any information about yourself >> that you think will help us to make a decision. >> >> The Haskell.org committee serves as a board of directors for >> Haskell.org, a 501(c)3 nonprofit which oversees technical and >> financial resources related to Haskell community infrastructure. >> >> Being a member of the committee does not necessarily require a >> significant amount of time, but committee members should aim to be >> responsive during discussions when the committee is called upon to >> make a decision. Strong leadership, communication, and judgement are >> very important characteristics for committee members. The role is >> about setting policy, providing direction/guidance for Haskell.org >> infrastructure, planning for the long term, and being fiscally >> responsible with the Haskell.org funds (and donations). As overseers >> for policy regarding the open source side of Haskell, committee >> members must also be able to set aside personal or business related >> bias and make decisions with the good of the open source Haskell >> community in mind. >> >> We seek a broad representation from different segments of the Haskell >> world -- including but not limited to those focused on education, >> those focused on industrial applications, those with background in >> organizing users-groups, and those focused directly on our technical >> infrastructure. >> >> More details about the committee's roles and responsibilities are on >> >> https://wiki.haskell.org/Haskell.org_committee >> >> If you have any questions about the process, please feel free to >> e-mail us at committee at haskell.org, or contact one of us >> individually. >> >> Best, >> Gershom Bazerman >> _______________________________________________ >> Haskell-community mailing list >> Haskell-community at haskell.org >> http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-community > > > > > -- > Noon Silk, ن > > https://silky.github.io/ > > "Every morning when I wake up, I experience an exquisite joy — the joy > of being this signature." From andrea.rosa at usi.ch Tue Dec 6 17:24:15 2016 From: andrea.rosa at usi.ch (Andrea Rosa) Date: Tue, 6 Dec 2016 17:24:15 +0000 Subject: [Haskell] Workshops @ ACM/SPEC ICPE 2017 - Call for Papers Message-ID: ICPE 2017 8th ACM/SPEC International Conference on Performance Engineering Sponsored by ACM SIGMETRICS, SIGSOFT, and SPEC RG L'Aquila, Italy April 22-26, 2017 https://icpe2017.spec.org/ We are pleased to announce that 8 workshops will be held in conjunction with ICPE 2017. Please find below the call for papers and the relevant information for each workshop. ------------------------------------------------------------------------ ACCEPTED WORKSHOPS ------------------------------------------------------------------------ The following workshops will be held in conjunction with ICPE 2017 (alphabetically listed): - ACPROSS: 1st International Workshop on Autonomous Control for Performance and Reliability Trade-offs in Internet of Services - ENERGY-SIM: 3rd International Workshop on Energy-aware Simulation - LTB: 6th International Workshop on Load Testing and Benchmarking of Software Systems - MoLS: 1st International Workshop on Monitoring in Large-Scale Software Systems - PABS: 3rd International Workshop on Performance Analysis of Big Data Systems - QUDOS: 3rd International Workshop on Quality-aware DevOps - WEPPE: 1st Workshop on Education and Practice of Performance Engineering - WOSP-C: 3rd Workshop on Challenges in Performance Methods for Software Development ------------------------------------------------------------------------ ACPROSS ------------------------------------------------------------------------ 1st International Workshop on Autonomous Control for Performance and Reliability Trade-offs in Internet of Services (ACPROSS'17) April 22, 2017 http://www.ce.uniroma2.it/acpross2017/ ------------------------------------------------------------------------ IMPORTANT DATES Submission deadline: January 10, 2017 Notification of acceptance: February 10, 2017 Camera-ready submission: February 17, 2017 Workshop date: April 22, 2017 ------------------------------------------------------------------------ CALL FOR PAPER The paradigm shift from an information-oriented Internet into an Internet of Services (IoS) has opened up virtually unbounded possibilities for creating and deploying new services. In this reshaped ICT landscape, critical software systems, which include IoT, cloud services, softwarized networks, etc., essentially consist of large-scale service chains, combining and integrating the functionalities of (possibly huge) numbers of other services offered by third parties. In this context, one of the most challenging problems is the provision of service chains which offer an adequate level of performance, reliability and quality perceived by the end users, based on a large offering of multiple functionally equivalent services that not only differ in terms of performance and reliability characteristics, but might also exhibit a churn rate and time varying behavior. Motivated by this, the aim of this workshop is to create a follow-up of European network of experts, from both academia and industry, aiming at the development of autonomous control methods and algorithms for discussing a high quality, well-performing and reliable IoS. Some keywords of the workshop include: autonomous control, performance, Quality of Experience, Quality of Service, reliability, elasticity, softwarized networks and pricing. The workshop is supposed to share new findings, exchange ideas, discuss research challenges and report latest research efforts that cover a variety of topics including, but not limited to: - Autonomous control in Internet of Things, distributed clouds, multi-clouds and softwarized networks - Cross-layer Quality of Experience (QoE) and Quality of Service (QoS) management - Methods and models for resilient Internet of Services - Modeling and performance tools for the Internet of Services - QoS and QoE modeling and monitoring for the Internet of Services - User-centric, context-aware QoE monitoring and network management for the Internet of Services - QoE in the context of time-aware applications, computers and communication systems of the Internet of Services - QoS-, elasticity-, energy- and price-aware resource selection for the Internet of Services - Scheduling, resource management, admission control for the Internet of Services - Autonomous control, modeling, resilience, resource management, and admission control for software performance and reliability trade-offs ------------------------------------------------------------------------ SUBMISSION GUIDELINES We call for original and unpublished papers describing research results, experience, visions or new initiatives. Submitted manuscripts should not exceed 6 pages double column, including figures, tables, references and appendices, and should be in the standard ACM format for conference proceedings (see formatting templates for details: http://www.acm.org/publications/proceedings-template). Papers should be submitted as PDF files via Easychair at https://easychair.org/conferences/?conf=acpross2017. At least one author of each accepted paper is required to attend the workshop and present the paper. Presented papers will be included in the ICPE 2017 proceedings companion volume that will be published by ACM and included in the ACM Digital Library. ------------------------------------------------------------------------ PROGRAM AND ORGANIZING COMMITTEE Program Co-Chairs: - Valeria Cardellini, University of Rome Tor Vergata, Italy - Francesco Lo Presti, University of Rome Tor Vergata, Italy - Peter Pocta, University of Zilina, Slovak Republic Program Committee: - Hans van den Berg, University of Twente, Netherlands - Emiliano Casalicchio, Blekinge Institute of Technology, Sweden - Valerio Di Valerio, Sapienza University of Rome, Italy - Tihana Galinac Grbac, University of Rijeka, Croatia - Yoram Haddad, Jerusalem College of Technology, Israel - Tobias Hossfeld, University Duisburg-Essen, Germany - Stefano Iannucci, Mississippi State University - Andreas Kassler, Karlstad University, Sweden - Attila Kertesz, University of Szeged, Hungary - Steven Latre, University of Antwerp, Belgium - Pasi Lassila, Aalto University, Finland - Philipp Leitner, University of Zurich, Switzerland - Hugh Melvin, National University of Ireland Galway, Ireland - Barbara Pernici, Politecnico of Milan, Italy - Raimund Schatz, Austrian Institute of Technology, Austria - Martin Varela, VTT Technical Research Centre of Finland, Finland - Andrej Zgank, University of Maribor, Slovenia - Thomas Zinner, University of Wurzburg, Germany Publicity and Web Chair: - Matteo Nardelli, University of Rome Tor Vergata, Italy ------------------------------------------------------------------------ ENERGY-SIM ------------------------------------------------------------------------ 3rd International Workshop on Energy-aware Simulation (ENERGY-SIM’17) April 23, 2017 http://energy-sim.org/2017/ ------------------------------------------------------------------------ IMPORTANT DATES Abstract submission deadline: January 3, 2017 Paper submission deadline: January 10, 2017 Notification of acceptance: February 8, 2017 Camera-ready submission: February 17, 2017 Workshop date: April 23, 2017 ------------------------------------------------------------------------ SCOPE The energy impact of IT infrastructures is a significant resource issue for many organisations. The Natural Resources Defence Council estimates that US data centers alone consumed 91 billion kilowatt-hours of electrical energy in 2013 – enough to power the households of New York twice-over – and this is estimated to grow to 139 billion kilowatt-hours by 2020. However, this is an underestimation as this figure fails to take into account other countries and all other computer usage. There are calls for reducing computer energy consumption to bring it in line with the amount of work being performed – so-called energy proportional computing. In order to achieve this we need to understand both where the energy is being consumed within a system and how modifications to such systems will affect the functionality (such as QoS) and the energy consumption. Monitoring and changing a live system is often not a practical solution. There are cost implications in doing so, and it normally requires significant time in order to fully ascertain the long-term trends. There is also the risk that any changes could lead to detrimental impacts, either in terms of the functionality of the system or in the energy consumed. This can lead to a situation where it is considered too risky to perform anything other than the most minor tweaks to a system. The use of modelling and simulation provides an alternative approach to evaluating where energy is being consumed, and assessing the impact of changes to the system. It also offers the potential for much faster turn-around and feedback, along with the ability to evaluate the impact of many different options simultaneously. ENERGY-SIM 2017 seeks original work that is focused on addressing new research and development challenges, developing new techniques, and providing case studies, related to energy-aware simulation and modelling. Specific topics of interest to ENERGY-SIM 2017 include, but are not limited to, the following: - Simulation/Modelling for energy reduction - Estimation of energy consumption - Evaluation of techniques to reduce consumption - Simulation/Modelling for smart-grids - Simulation/Modelling of micro- and macro-level energy generation and supply - Simulation/Modelling of smart-grid deployments - Simulation/Modelling of energy in computer systems - Data centre simulation/modelling - Individual component simulation/modelling - Multi-scale system simulation/modelling - Simulation/Modelling for energy in the Internet of Things - Simulation/Modelling of Internet of Things systems including battery operated systems - Simulation/Modelling of energy scavenging approaches - Performance and validation of energy-aware simulations and modelling - Benchmarking and analytical results - Empirical studies - Theoretical foundations of energy-aware simulation/modelling - Theoretical models for energy-aware simulation/modelling - Energy-aware simulation/modelling packages and tools - Energy-aware simulation/modelling packages under development from the community ------------------------------------------------------------------------ SUBMISSION GUIDANCE Papers will be accepted in one of two formats: - Short work in progress/position papers, up to 4 pages in length - Full papers, up to 6 pages in length Papers describing significant research contributions of theoretical and/or practical nature are being solicited for submission. Authors are invited to submit original, high-quality papers presenting new research related to energy-aware simulations. The papers that are accepted and presented at the workshop will be published by ACM and disseminated through the ACM Digital Library. It is intended that the best papers will be put forward for a Journal special edition post workshop. Submission will be made via EasyChair: https://easychair.org/conferences/?conf=energysim17 ------------------------------------------------------------------------ PROGRAM AND ORGANIZING COMMITTEE Program Chair: - Matthew Forshaw, Newcastle University, UK Program Committee: - Erol Gelenbe, Imperial College London, UK - Helen Karatza, Aristotle University of Thessaloniki, Greece - Ibad Kureshi, Durham University, UK - Mehrgan Mostowfi, University of Northern Colorado, USA - Omer Rana, Cardiff University, UK - Nigel Thomas, Newcastle University, UK - Ananta Tiwari, San Diego Supercomputer Center, USA General Chair: - Stephen McGough, Durham University, UK ------------------------------------------------------------------------ LTB ------------------------------------------------------------------------ 6th International Workshop on Load Testing and Benchmarking of Software Systems (LTB'17) April 23, 2017 http://ltb2017.eecs.yorku.ca/ ------------------------------------------------------------------------ IMPORTANT DATES Technical paper submission deadline: January 10, 2017 Technical paper notification of acceptance: February 1, 2017 Presentation submission deadline: March 20, 2017 Presentation notification of acceptance: March 24, 2017 Camera-ready submission: February 19, 2017 Workshop date: April 23, 2017 ------------------------------------------------------------------------ CALL FOR PAPERS Software systems (e.g., smartphone apps, desktop applications, e-commerce systems, IoT infrastructures, big data systems, and enterprise systems, etc.) have strict requirements on software performance. Failure to meet these requirements will cause customer dissatisfaction and negative news coverage. In addition to conventional functional testing, the performance of these systems must be verified through load testing or benchmarking to ensure quality service. Load testing examines the behavior of a system by simulating hundreds or thousands of users performing tasks at the same time. Benchmarking evaluates a system's performance and allows to optimize system configurations or compare the system with similar systems in the domain. Load testing and benchmarking software systems are difficult tasks, which requires a great understanding of the system under test and customer behavior. Practitioners face many challenges such as tooling (choosing and implementing the testing tools), environments (software and hardware setup) and time (limited time to design, test, and analyze). This oneday workshop brings together software testing researchers, practitioners and tool developers to discuss the challenges and opportunities of conducting research on load testing and benchmarking software systems. We solicit the following two tracks of submissions: technical papers (maximum 4 pages) and presentation track for industry or experience talks (maximum 700 words extended abstract). Technical papers should follow the standard ACM SIG proceedings format and need to be submitted electronically via EasyChair at https://easychair.org/conferences/?conf=lt2017. Extended abstracts need to be submitted as “abstract only” submissions via EasyChair. Accepted technical papers will be published in the ICPE 2017 Proceedings. Materials from the presentation track will not be published in the ICPE 2017 proceedings, but will be made available on the workshop website. Submitted papers can be research papers, position papers, case studies or experience reports addressing issues including but not limited to the following: - Efficient and cost-effective test executions - Rapid and scalable analysis of the measurement results - Case studies and experience reports on load testing and benchmarking - Load testing and benchmarking on emerging systems (e.g., adaptive/autonomic systems, big data batch and stream processing systems, and cloud services) - Load testing and benchmarking in the context of agile software development process - Using performance models to support load testing and benchmarking - Building and maintaining load testing and benchmarking as a service - Efficient test data management for load testing and benchmarking ------------------------------------------------------------------------ PROGRAM AND ORGANIZING COMMITTEE Program Committee: - Bram Adams, Polytechnique Montreal, Canada - Cor-Paul Bezemer, Queen's University, Canada - Andreas Brunner, RETIT GmbH, Germany - Christoph Csallner, University of Texas at Arlington, USA - Holger, Eicrhelberger, University of Hildesheim, Germany - Greg Franks, Carleton University, Canada - Vahid Garousi, Hacettepe University, Turkey - Shadi Ghaith, IBM, Ireland - Wilhelm Hasselbring, Kiel University, Germany - Robert Heinrich, Karlsruher Institute of Technology, Germany - André van Horn, University of Stuttgart, Germany - Robert Horror, EMC Isilon, USA - Pooyan Jamshidi, Imperial College London, United Kingdom - Diwakar Krishnamurthy, University of Calgary, Germany - Alexander Podelko, Oracle, USA - Weiyi Shang, Concordia University, Canada - Gerson Sunyé, University of Nantes, France Organizers: - Johannes Kroß, fortiss GmbH, Germany - Zhen Ming (Jack) Jiang, York University, Canada Steering Committee: - Ahmed E. Hassan, Queen’s University, Canada - Marin Litoiu, York University, Canada - Zhen Ming (Jack) Jiang, York University, Canada ------------------------------------------------------------------------ MoLS ------------------------------------------------------------------------ 1st International Workshop on Monitoring in Large-Scale Software Systems (MoLS'17) April 23, 2017 http://mevss.jku.at/mols2017 ------------------------------------------------------------------------ IMPORTANT DATES Submission deadline: January 9, 2017 Notification of acceptance: January 31, 2017 Camera-ready submission: February 8, 2017 Workshop date: April 23, 2017 ------------------------------------------------------------------------ MOTIVATION AND GOALS Large-scale, heterogeneous software systems such as cyber-physical systems, cloud-based systems, or service-based systems are ubiquitous in many domains. Often, such systems are systems of systems working together to fulfill common goals resulting from domain or customer requirements. Such systems' full behavior emerges only at runtime, when the involved systems interact with each other, with hardware, third-party systems, or legacy systems. Thus, engineers are interested in monitoring the overall system at runtime ñ for instance, to verify components' correct timing or measure performance and resource consumption. Monitoring can happen continuously at runtime, to give instant feedback on behavior violations, or post hoc, on the basis of recorded event traces and data logs. The complexity and heterogeneity of large-scale software systems, however, complicates runtime monitoring. Properties must be checked across the boundaries of multiple constituent systems and heterogeneous, domain-specific technologies must be instrumented. Also, different types of properties must be checked at runtime, including global invariants and exceptions, range checks of variables, temporal constraints on events, or architectural rules constraining component interactions. Finally, systems exist in many different versions and variants owing to the continuous, independent evolution of their constituent systems. Adaption and reconfiguration of monitoring solutions thus becomes essential. This workshop aims to explore and explicate the current status and ongoing work on monitoring in large-scale software systems and the transfer of knowledge between different disciplines and domains. A particular goal of the workshop is thus to bring together different communities working on monitoring approaches such as (application) performance and resource monitoring, requirements monitoring, and runtime verification. The workshop also aims at bringing together researchers and practitioners to discuss practical problems vs. potential solutions. Future directions for research will be outlined based on challenges discussed and the needs expressed by the participants. The workshop thus has the following objectives: (i) Discuss how monitoring can be supported in large-scale software systems (state of the art). (ii) Discuss open challenges in research and practice. ------------------------------------------------------------------------ TOPICS OF INTEREST We particularly encourage research papers based on industrial experience and empirical studies, as well as papers, which identify and structure open challenges and research questions. We are interested in all topics related to monitoring in large-scale soft-ware systems (systems of systems, cloud-based systems, service-oriented systems, big-data systems, business processes, cyber-physical systems, automation production/automotive systems, etc.). This includes, but is not limited to: - Requirements monitoring in large-scale systems - Runtime verification of large-scale systems - Complex event processing in large-scale systems - Performance monitoring in large-scale systems - Monitoring along the continuum, from the data source to fog- and cloud-based solutions - Supporting monitoring in large-scale systems with... - Requirements as runtime entities - Models at runtime - Runtime constraint checking - Visualization techniques - Human-computer interaction for operators - Monitoring as a means to support evo-lution and/or maintenance in large-scale systems - Monitoring in the context of DevOps/ continuous deployment/integration - Tools and frameworks for monitoring large-scale systems ------------------------------------------------------------------------ SUBMISSION GUIDELINES We are seeking for research papers and experience reports (4-8 pages) as well as position and vision papers (4 pages max) in ACM Proceedings Style (http://www.acm.org/publications/proceedings-template). Submissions will be selected based on the relevance to the workshop topics and the suitability to trigger discussions. Papers should be submitted as PDF files via EasyChair: https://www.easychair.org/conferences/?conf=mols2017 ------------------------------------------------------------------------ PROGRAM AND ORGANIZING COMMITTEE Program Committee: - Luciano Baresi, Polimi, Milano, Italy - Thomas Bures, Charles University Prague, Czech Republic - Jane Cleland-Huang, University of Notre Dame, IN, USA - Mads Dam, KTH/CSC, Stockholm, Sweden - Alexey Fishkin, Siemens CT, Munich, Germany - Paul Grünbacher, JKU Linz, Austria - Andre van Hoorn, University of Stuttgart, Germany - Christian Inzinger, University of Zürich, Switzerland - Andrea Janes, Free University of Bozen-Bolzano, Italy - Falko Kötter, Fraunhofer IAO, Stuttgart, Germany - Patrick Mäder, TU Ilmenau, Germany - Olivier Perrin, Nancy 2 University, France - Klaus Schmid, University of Hildesheim, Germany - Jocelyn Simmonds, University of Chile, Chile - Oleg Sokolsky, University of Pennsylvania, USA - Uwe Zdun, University of Vienna, Austria ... and the workshop organizers Organizers: - Rick Rabiser (JKU Linz, Austria) - Michael Vierhauser (JKU Linz, Austria) - Sam Guinea (Polimi, Italy) - Wilhelm Hasselbring (CAU Kiel, Germany) ------------------------------------------------------------------------ PABS ------------------------------------------------------------------------ 3rd International Workshop on Performance Analysis of Big data Systems (PABS'17) April 22, 2017 http://ripsac.web2labs.net/pabs ------------------------------------------------------------------------ IMPORTANT DATES Submission deadline: January 10, 2017 Notification of acceptance: February 10, 2017 Camera-ready submission: February 19, 2017 Workshop date: April 22, 2017 ------------------------------------------------------------------------ SCOPE OF THE WORKSHOP The workshop on performance analysis of big data systems (PABS) aims at providing a platform for scientific researchers, academicians and practitioners to discuss techniques, models, benchmarks, tools, case studies and experiences while dealing with performance issues in traditional and big data systems. The primary objective is to discuss performance bottlenecks and improvements during big data analysis using different paradigms, architectures and big data technologies. We propose to use this platform as an opportunity to discuss systems, architectures, tools, and optimization algorithms that are parallel in nature and hence make use of advancements to improve the system performance. This workshop shall focus on the performance challenges imposed by big data systems and on the different state-of-the-art solutions proposed to overcome these challenges. The accepted papers shall be published in ACM proceedings and digital library. ------------------------------------------------------------------------ TOPICS All novel performance analysis or prediction techniques, benchmarks, architectures, models and tools for data-intensive computing system for optimizing application performance on cutting-edge high performance solutions are of interest to the workshop. Examples of topics include but not limited to: - Performance analysis and optimization of Big data systems and technologies. - Big data analytics using machine learning - In-memory analysis of big data - Performance Assured migration of traditional systems to Big data platforms - Deployment of Big Data technology/application on High performance computing architectures. - Case studies/ Benchmarks to optimize/evaluate performance of Big data applications/systems and Big data workload characterizations. - Tools or models to identify performance bottlenecks and /or predict performance metrics in Big data - Performance analysis while querying, visualization and processing of large network datasets on clusters of multicore, many core processors, and accelerators. - Performance issues in heterogeneous computing for Big data architectures. - Analysis of Big data applications in science, engineering, finance, business, healthcare and telecommunication etc. - Data structure and algorithms for performance optimizations in Big data systems. - Data intensive computing - Tools for big data analytics and management ------------------------------------------------------------------------ SUBMISSION GUIDELINES Submissions describing original, unpublished recent results related to the workshop theme, upto 6 pages in standard ACM format can be submitted through the easychair conference system, following this link: https://easychair.org/conferences/?conf=pabs17. More information on ACM format is available on ICPE 2017 web page. Accepted technical papers will be published in the ICPE 2016 Proceedings. In case of any difficulty please contact rekha.singhal at tcs.com or d.chahal at tcs.com. The submissions must be in pdf format. ------------------------------------------------------------------------ PROGRAM COMMITTEE Program Co-Chairs: - Rekha Singhal, TCS Research, India rekha.singhal at tcs.com - Dheeraj Chahal, TCS Research, India d.chahal at tcs.com Program committee: - Amy Apon, Clemson University, USA - Dhableshwar Panda, Ohio State University , USA - Gautam Shroff, TCS Innovation Lab, India - Kishor Trivedi, Duke University, USA - Rajesh Mansharamani, Consultant, India - Jeff Ullman, Stanford University and Gradiance, USA - Saumil Merchant, Shell, India - Sebastien Goasguen, Citrix, Switzerland - Steven J Stuart, Clemson University, USA - Vikram Narayana, George Washington University, USA - Tilmann Rabl, DIMA, Toronto, Canada ------------------------------------------------------------------------ QUDOS ------------------------------------------------------------------------ 3rd International Workshop on Quality-Aware DevOps (QUDOS’17) April 27, 2017 http://qudos2017.fortiss.org/ ------------------------------------------------------------------------ IMPORTANT DATES Submission deadline: January 10, 2017 Notification of acceptance: February 10, 2017 Camera-ready submission: February 18, 2017 Workshop date: April 27, 2017 ------------------------------------------------------------------------ SCOPE AND TOPICS DevOps has emerged in recent years as a set of principles and practices for smoothing out the gap between development and operations, thus enabling faster release cycles for complex IT services. Common tools and methods used in DevOps include infrastructure as code, continuous deployment, automated testing, continuous integration, and new architectural styles such as microservices. As of today, software engineering research has mainly explored these problems from a functional perspective, trying to increase the benefits and generality of these methods for the end users. However, this has left behind the definition of methods and tools for DevOps to assess, predict, and verify quality dimensions. The QUDOS workshop focuses on the problem of how to best define and integrate quality assurance methods and tools in DevOps. Quality covers a broadly-defined set of dimensions including functional correctness, performance, reliability, safety, survivability, and cost of ownership, among others. To answer this question, the QUDOS workshop wants to bring together experts from academia and industry working in areas such as quality assurance, testing, performance engineering, agile software engineering, and model-based development. The goal is to identify and disseminate novel quality-aware approaches to DevOps. Topics of interest include, but are not limited to: - Foundations of quality assurance in DevOps: Methodologies; integration with lifecycle management; automated tool chains; architecture patterns; etc. - Architectural issues in DevOps: Scalability and capacity planning; scale-out architectures; cloud-native application design; microservice-based architectures - Quality assurance in the development phase: Software models and requirements in early software development phases; functional and non-functional testing; languages, annotations and profiles for quality assurance; quality analysis, verification and prediction; optimization-based architecture design; etc. - Quality assurance during operation: Application performance monitoring; model-driven performance measurement and benchmarking; feedback-based quality assurance; capacity planning and forecasting; architectural improvements; performance anti-pattern detection; traceability and versioning; trace and log analysis; software regression and testing; performance monitoring and analytics; etc. - Continuous deployment and live experimentation: CI and CD in DevOps; canary releases and partial rollouts; A/B testing; performance and scalability testing via shadow launches - Applications of DevOps: Case Studies in cloud computing, Big Data, and IoT; standardization and interoperability; novel application domains, etc. - All other topics related to quality in DevOps and agile service delivery models For more details, please visit: http://qudos2017.fortiss.org/ ------------------------------------------------------------------------ SUBMISSION GUIDELINES Authors are invited to submit original, unpublished papers that are not being considered in another forum. We solicit full papers (max 6 pages) and short tool papers (max 2 pages). All submissions must conform to the ACM conference format. Each full paper submission will be reviewed by at least three members of the program committee. Papers should be submitted via EasyChair at: https://easychair.org/conferences/?conf=qudos2017 At least one author of each accepted paper is required to attend the workshop and present the paper. Presented papers will be published by ACM and included in the ACM Digital Library. ------------------------------------------------------------------------ PROGRAM AND ORGANIZING COMMITTEE Program Co-Chairs: - Elisabetta Di Nitto, Politecnico di Milano, Italy - Philipp Leitner, University of Zurich, Switzerland Program Committee: - Varsha Apte, IIT Bombay, India - Alberto Avritzer, Sonatype Inc., USA - Cor-Paul Bezemer, Queen’s University, Canada - Andreas Brunnert, RETIT, Germany - Lubomír Bulej, Charles University Prague, CZ - David Carrera, Universitat Politècnica de Catalunya, Spain - Juergen Cito, University of Zurich, Switzerland - Pooyan Jamshidi, Imperial College London, UK - Christophe Joubert, Prodevelop, Spain - Cristian Klein, Umea University, Sweden - Klaus-Dieter Lange, Hewlett Packard Enterprise, USA - Marin Litoiu, York University, Toronto, Ontario - Zhen Ming (Jack) Jiang, York University, Canada - Manoj Nambiar, Tata Consultancy Services, India - Cesare Pautasso, University of Lugano, Switzerland - Diego Perez-Palacin, Universidad de Zaragoza, Spain - Dana Petcu, IEAT, Romania - Dorina Petriu, Carleton University, Canada - Meikel Poess, Oracle Corporation, USA - Craig Sheridan, Flexiant, UK - Arnor Solberg, SINTEF, Norway - Josef Spillner, ZHAW Winterthur, Switzerland - Damian Andrew Tamburri, Politecnico di Milano, Italy - Asser Tantawi, IBM Research, USA - Catia Trubiani, Gran Sasso Science Institute, Italy - Ingo Weber, NICTA, Australia - Erik Wilde, CA API Academy, USA Workshop Chairs (Steering Committee): - Danilo Ardagna, Politecnico di Milano, Italy - Giuliano Casale, Imperial College London, UK - Andre van Hoorn, University of Stuttgart, Germany - Felix Willnecker, fortiss GmbH, Germany ------------------------------------------------------------------------ ORGANIZATION AND SUPPORT QUDOS 2017 is organized and technically sponsored by the Research Group (RG) and the RG DevOps Performance Working Group of the Standard Performance Evaluation Corporation (SPEC RG, http://research.spec.org), and by the consortium of the EU project DICE (http://dice-h2020.eu). QUDOS 2017 is supported by the IFIP Working Group on Service Oriented Systems (http://ifip-wg-sos.deib.polimi.it/), by the Associazione Italiana per l'informatica e il Calcolo Automatico (AICA, http://www.aicanet.it/), and by the DFG Priority Programme 1593 (SPP 1593) "Design For Future - Managed Software Evolution" (http://www.dfg-spp1593.de/), funded by the German Research Foundation (DFG). ------------------------------------------------------------------------ WEPPE ------------------------------------------------------------------------ 1st Workshop on Education and Practice of Performance Engineering (WEPPE’17) April 23, 2017 https://weppe.sonatype.com/index.html ------------------------------------------------------------------------ IMPORTANT DATES Abstract Submission deadline: January 3, 2017 Submission deadline: January 10, 2017 Notification of acceptance: February 10, 2017 Camera-ready submission: February 19, 2017 Workshop date: April 23, 2017 ------------------------------------------------------------------------ SCOPE AND TOPICS The goal of the Workshop on Education and Practice of Performance Engineering is to bring together University researchers and Industry Performance Engineers to share education and practice experiences. We are interested in creating opportunities to share experiences between researchers that are actively teaching performance engineering and of Performance Engineers that are applying Performance Engineering techniques in industry. Topics of interest to the include, but are not limited to: - Education and or Practice of Performance in the data center, cloud, and Internet of Things - Education and or Practice of Performance methods in software development - Education and or Practice of Model-driven performance engineering - Education and or Practice of Performance modeling and prediction - Education and or Practice of Performance measurement and experimental analysis - Education and or Practice of Benchmarks (workloads, scenarios, and implementations) - Education and or Practice of Run-time performance and capacity management - Education and or Practice of Performance in cloud, virtualized, and multi-core systems - Education and or Practice of Performance-driven resource and power management - Education and or Practice of Performance of big data systems - Education and or Practice of Performance modeling and evaluation in other domains - Education and or Practice of Performance requirements specification - Education and or Practice of Performance testing and validation - Education and or Practice of Relationship between performance engineering and architecture - Education and or Practice of All other topics related to performance engineering ------------------------------------------------------------------------ SUBMISSION GUIDELINES A variety of contribution styles for papers are solicited including: two-page abstracts, presentation, basic and applied research papers for novel scientific insights, industrial and experience papers reporting on education and or practice of the application of performance engineering or benchmarks in practice, and work-in-progress/vision papers for ongoing but yet interesting work. Different acceptance criteria apply based on the expected content of the individual contribution types. Authors will be requested to self-classify their papers according to topic and contribution style when submitting their papers. Submissions need to be uploaded to ICPE’s easychair installation at https://easychair.org/confereces/?conf=weppe-2017 At least one author of each accepted paper is required to register at workshop at the full rate, attend the workshop and present the paper. Presented papers will be published in the ICPE 2017 conference proceedings that will be published by ACM and included in the ACM Digital Library. After the conference there will be a call for a special issue of a journal. ------------------------------------------------------------------------ PROGRAM AND ORGANIZING COMMITTEE General Chairs: - Alberto Avritzer, Sonatype, USA - Alexandru Iosup, Delft University of Technology, The Netherlands Program Committee (preliminary) - Alberto Avritzer, Sonatype - Andre Bondi, Software Performance and Scalability Consulting - Vittorio Cortellessa, L’Aquila University - Vincenzo Grassi, Tor Vergata University - Andre Van Hoorn, Univ Stuttgart - Alex Iosup, Delft University - Raffaela Mirandola, Politecnico Milano - Manoj Nambiar, Tata Consultancy Services - Dorina Petriu, Carleton Univ. - Kishor Trivedi, Duke Univ. - Catia Trubiani, GSSI L’Aquila - Murray Woodside, Carleton Univ. Website Chair: - Thad Watson, Sonatype ------------------------------------------------------------------------ WOSP-C ------------------------------------------------------------------------ 3rd Workshop on Challenges in Performance Methods for Software Development (WOSP-C'17) April 22, 2017 https://wosp-c.spec.org/ Contact: André B. Bondi > ------------------------------------------------------------------------ IMPORTANT DATES Abstract submission deadline: January 3, 2017 Paper submission deadline: January 10, 2017 Notification of acceptance: February 3, 2017 Camera-ready submission (hard-deadline): February 17, 2017 Workshop date: April 22, 2017 ------------------------------------------------------------------------ CALL FOR PAPERS New challenges to assuring software performance arise as new software development methods emerge. In addition to using middleware and database platforms, new applications may be implemented using environments such as Software as a Service (SaaS) and Service-Oriented Architectures. The performance characteristics of these services will inevitably influence the performance and scalability of the applications that use them. The use of DevOps means that new components will be introduced to existing systems while they are running. The new components must allow the performance existing components to continue to be met. In this third edition of WOSP-C, we will explore the performance implications of this evolution in architecture and development and their impact on the inclusion and development of performance. We seek to do this by including research and experience papers, vision papers describing new initiatives and ideas, and discussion sessions. Papers describing new projects and approaches are particularly welcome. As implied by the title, the workshop focus is on methods usable anywhere across the life cycle, from requirements to design, testing and evolution of the product. The discussions will attempt to map the future of the field. They may occur in breakout sessions related to topics chosen by the participants. The discussions will be moderated and summaries posted on line for future reference. This is in keeping with the spirit of the first Workshop on Software and Performance, WOSP98, which successfully identified the issues that were current at the time. The acronym WOSP-C reflects this. There will be sessions which combine papers on research/experience/vision with substantial discussion on issues raised by the papers or the attendees. At least a third of the time will be devoted to discussion on identifying the key problems and the most fruitful lines of future research. The workshop proceedings will be published by ACM as part of the ICPE 2017 proceedings in the ACM digital library. ------------------------------------------------------------------------ DISCUSSION TOPICS These topics are deliberately broad. Some of them arose in the discussions at WOSP-C 2016: - New ideas, most of all… - Model-driven engineering concepts for all kinds of applications, from embedded to SOA and SaaS. - The business case for performance methods, both in startups and in larger organizations. - Easing the effort of applying performance methods - Adding performance issues to software development tools - Performance issues in architecture and component engineering - Challenges posed by rapid development methods - Maximizing the value (for design improvement) of performance measurements and tests - Methods for deriving and exploiting performance models of applications - Performance challenges and solutions for cloud-based systems and for migrating to the cloud. - The relationship between performance testing, performance models, and performance requirements, including, but not limited to, how they relate to DevOps. - Performance methods for tighter integration of development and operation (DevOps) - Collection of representative performance and workload data in distributed and cloud environments - Performance engineering for dynamic architectures - Performance issues with microservice architectures ------------------------------------------------------------------------ FEATURED SPEAKER Dr. Alberto Avritzer, Sonatype Inc., USA: Performance Assessment of High-Availability Systems Using Markov Chains. ------------------------------------------------------------------------ SUBMISSION GUIDELINES Authors are invited to submit original, unpublished papers that are not being considered in another forum. Papers should be in ACM format, describing research results, experience, visions or new initiatives, not exceeding 6 pages in length, may be submitted via Easychair at https://easychair.org/conferences/?conf=wospc17. Presented papers will be published in the ICPE 2017 conference proceedings that will be published by ACM and included in the ACM Digital Library. Authors are required to adhere to the ACM Policy and Procedures on Plagiarism (http://www.acm.org/publications/policies/plagiarism) as well as to the ACM Policy on Prior Publication and Simultaneous Submissions (http://www.acm.org/publications/policies/sim_submissions). Templates for the ACM format are available at http://www.acm.org/publications/proceedings-template. ------------------------------------------------------------------------ PROGRAM AND ORGANIZING COMMITTEE Program Chair: - André B. Bondi, Software Performance and Scalability Consulting LLC, USA Web Co-Chairs: - Cathy Sandifer SPEC, USA - Ivan Letteri, University of L’Aquila Program Committee: - Davide Arcelli, University of L’Aquila - Alberto Avritzer, Sonatype Inc., USA - Steffen Becker, University of Technology Chemnitz, Germany - André van Hoorn, University of Stuttgart, Germany - Raffaela Mirandola, Politecnico di Milano, Italy - Diego Perez, University of Zaragosa, Spain - Connie U. Smith, Software Performance Engineering, USA - Murray Woodside, Carleton University, Canada ------------ Andrea Rosà PhD student - Teaching assistant Faculty of Informatics - 2nd floor 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 M.W.Wang at kent.ac.uk Wed Dec 7 10:27:59 2016 From: M.W.Wang at kent.ac.uk (Meng Wang) Date: Wed, 7 Dec 2016 10:27:59 +0000 Subject: [Haskell] CFP Bx 17: 6th International Workshop on Bidirectional Transformations Message-ID: <5D81991B-C1F1-45BC-9130-5CF4E1C2044C@kent.ac.uk> CFP Bx 17: 6th International Workshop on Bidirectional Transformations CALL FOR PAPERS Sixth International Workshop on Bidirectional Transformations (Bx 2017) Uppsala, Sweden (Saturday April 29th, as part of ETAPS 2017) http://bx-community.wikidot.com/bx2017:home Bidirectional transformations (bx) are a mechanism for maintaining the consistency of at least two related sources of information. Such sources can be relational databases, software models and code, or any other document following standard or ad-hoc formats. Bx are an emerging topic in a wide range of research areas, with prominent presence at top conferences in several different fields (namely databases, programming languages, software engineering, and graph transformation), but with results in one field often getting limited exposure in the others. Bx 2017 is a dedicated venue for bx in all relevant fields, and is part of a workshop series that was created in order to promote cross-disciplinary research and awareness in the area. As such, since its beginning in 2012, the workshop has rotated between venues in different fields. IMPORTANT DATES - Abstract submission: 20 Jan 2017 - Paper submission: 27 Jan 2017 - Author notification: 17 Feb 2017 - Camera-ready version: 1 March 2017 - Workshop date: 29 April 2017 AIMS AND TOPICS The aim of the workshop is to bring together researchers and practitioners, established and new, interested in bx from different perspectives, including but not limited to: - data and model synchronization - view updating - inter-model consistency analysis and repair - data/schema (or model/metamodel) co-evolution - coupled software/model transformations - inversion of transformations and data exchange mappings - domain-specific languages for bx - analysis and classification of requirements for bx - bridging the gap between formal concepts and application scenarios - analysis of efficiency of transformation algorithms and benchmarks - survey and comparison of bx technologies - case studies and tool support PAPER CATEGORIES Submissions to Bx 2017 can be: - Regular papers (up to 15 pages) - in-depth presentations of novel concepts and results - applications of bx to new domains - survey papers providing novel comparisons between existing bx technologies and approaches - case studies - Tool papers (up to 8 pages) - guideline papers presenting best practices for employing a specific bx approach (with a specific tool) - presentation of new tools or substantial improvements to existing ones - qualitative and/or quantitative comparisons of applying different bx approaches and tools - Short papers (up to 4 pages) - work in progress - small focused contributions - position papers and research perspectives - critical questions and challenges for bx - Talk proposals (up to 2 pages) - proposed lectures about topics of interest for bx - existing work representing relevant contributions for bx - promising contributions that are not mature enough to be proposed as papers of the other categories All papers are expected to be self-contained and well-written. Tool papers are not expected to present novel scientific results, but to document artifacts of interest and share bx experience/best practices with the community. Short papers should primarily provoke interesting discussion at the workshop and will not be held to the same standard of maturity as regular papers. Talk proposals are expected to present works of particular interest for the community and that are worth a talk slot at the workshop. We strongly encourage authors to ensure that any (variants of) examples are present in the bx example repository at the time of submission, and for tool papers, to allow for reproducibility with minimal effort, either via a virtual machine (e.g. via Share - http://share20.eu) or a dedicated website with relevant artifacts and tool access. SUBMISSION GUIDELINES Submitted papers must follow the CEUR one column style available at http://ceur-ws.org/Vol-XXX/samplestyles/. Papers must be submitted via the EasyChair system: https://www.easychair.org/conferences/?conf=bx2017. Submissions not complying with the above guidelines may be excluded from the reviewing process without further notice. If a paper is accepted, one author of the paper is expected to participate in the workshop to present it. Authors of accepted tool papers are also expected to be available to demonstrate their tool at the event. PROCEEDINGS AND SPECIAL ISSUE The workshop proceedings, including all accepted papers (except talk proposals), will be published electronically by CEUR (http://ceur-ws.org). Authors of accepted papers (of all categories except talk proposal) that have high-quality and the potential to be extended into journal articles will be invited to submit a revised and extended version of their paper to an expected special issue of the Journal of Object Technology (http://www.jot.fm); these papers will then be subject to a careful reviewing and selection process according to the scientific standards of the Journal of Object Technology. PROGRAM CO-CHAIRS - Romina Eramo, University of L'Aquila, Italy - Michael Johnson, Macquarie University, Australia PROGRAM COMMITTEE MEMBERS - Anthony Anjorin, University of Paderborn, Germany - Soichiro Hidaka, Hosei University, Japan - Max E. Kramer, Karlsruhe Institute of Technology, Germany - James McKinna, University of Edinburgh, UK - Hugo Pacheco, University of Minho, Portugal - Alfonso Pierantonio, University of L'Aquila, Italy - Andy Schürr, Technical University of Darmstadt, Germany - Daniel Strüber, Universität Koblenz-Landau, Germany - James Terwilliger, Microsoft, USA - Meng Wang, University of Kent, UK - Bernhard Westfechtel, Universität Bayreuth, Germany - Manuel Wimmer, Vienna University of Technology, Austria +++++++++++++++++++++++++++++++++++++++++++++++++++++++++ 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 | www.cs.kent.ac.uk/~mw516 +++++++++++++++++++++++++++++++++++++++++++++++++++++++++ -------------- next part -------------- An HTML attachment was scrubbed... URL: From D.J.Duke at leeds.ac.uk Mon Dec 12 09:43:57 2016 From: D.J.Duke at leeds.ac.uk (David Duke) Date: Mon, 12 Dec 2016 09:43:57 +0000 Subject: [Haskell] PhD studentships at Leeds Message-ID: <23906CC2-5EAE-4F95-A41E-F2D4862BD34A@leeds.ac.uk> The School of Computing at the University of Leeds is advertising a number of PhD studentships open to UK, EU and international applicants. Two of the projects are at the overlap between functional programming and visualization, one on performance analysis, one on explaining type inference. Please see the following URL for further information including how to apply: https://engineering.leeds.ac.uk/research-opportunity/201323/research-degrees/614/funded-studentships-in-the-school-of-computing- Closing date: 06/01/2017 --- David Duke T: +44 113 3436800 Professor of Computer Science E: D.J.Duke at leeds.ac.uk Head, School of Computing W: www.comp.leeds.ac.uk/scsdjd/ From acfoltzer at gmail.com Mon Dec 12 17:54:58 2016 From: acfoltzer at gmail.com (Adam Foltzer) Date: Mon, 12 Dec 2016 09:54:58 -0800 Subject: [Haskell] Supporting Haskell.org in 2016 Message-ID: Dear Haskellers, A great deal of core infrastructure, including HaskellWiki, Hackage, Hoogle, and build infrastructure for GHC are hosted and managed with the help of donations to haskell.org, from you, the Haskell community. As many of us are in tax jurisdictions where December 31st is a deadline for charitable giving, I’d like to remind you that donations to support these activities are tax-deductible. You can donate online right now through the donate button on the wiki: https://wiki.haskell.org/Donate_to_Haskell.org. Mailing information for checks is also on that page. New for this year, individual donations may be made directly via Paypal rather than the clickandpledge service, and Haskell.org is also can now accept donations through employers via Benevity using the unique ID 475236502. This year we had a successful first Summer of Haskell, offering 8 stipends of $5,500 to students making valuable contributions to our shared tooling and infrastructure such as ghc, ghcjs, and hackage, and engaging them in what we hope becomes a long succession of contributions to open source software. The exciting results are available at https://mail.haskell.org/pipermail/haskell-cafe/2016-December/125702.html; this work is only made possible by your generous support, and that of the sponsors listed at https://summer.haskell.org/. We also have continued improving our infrastructure, using committee funds to help the development of a new performance tracker for ghc, with the aim of opening this up to a broader range of projects as well. With your support, we hope to continue these activities and more in 2017. Best wishes, Adam Foltzer on behalf of the Haskell.org committee -------------- next part -------------- An HTML attachment was scrubbed... URL: From andrea.rosa at usi.ch Tue Dec 13 09:40:27 2016 From: andrea.rosa at usi.ch (Andrea Rosa) Date: Tue, 13 Dec 2016 09:40:27 +0000 Subject: [Haskell] ACM/SPEC ICPE 2017 - Call for Posters and Demonstrations Message-ID: ICPE 2017 8th ACM/SPEC International Conference on Performance Engineering Sponsored by ACM SIGMETRICS, SIGSOFT, and SPEC RG L'Aquila, Italy April 22-26, 2017 https://icpe2017.spec.org/ ------------------------------------------------------------------------ IMPORTANT DATES Posters and Demonstrations Submission: Dec 23, 2016 Posters and Demonstrations Notification: Jan 16, 2017 ------------------------------------------------------------------------ SCOPE AND TOPICS 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. ------------------------------------------------------------------------ CALL FOR POSTERS AND DEMONSTRATIONS Posters provide a forum for authors to present their work in an informal and interactive setting, allowing the authors and the interested participants to engage in discussions about the work presented. The contents of a poster should motivate the relevance of the presented work to the performance engineering community, briefly summarize the goals and status of the work, and provide pointers to further information and related work. Demonstrations provide an opportunity to showcase an existing tool or a research prototype, and would be also a welcome addition to an accepted research, work in progress, or industrial track paper. The authors are expected to prepare a 5-minute "teaser" presentation and subsequently perform a live demonstration on their own equipment during a dedicated demonstration session. Best Poster and a Best Demonstration prizes will be awarded in recognition of outstanding poster presentations or live demonstrations. More information can be found at https://icpe2017.spec.org/submissions/posters-and-demonstrations.html ------------------------------------------------------------------------ SUBMISSION OPTIONS Both poster and demo submissions can be accompanied by a 2-page paper, clearly identifying the novelty of the ideas presented on a poster, or involved in building the showcased tool or a prototype. Demonstration papers may include uses cases or specific results presented during the live demonstration. Both poster and demonstration papers will be reviewed and will appear in the conference proceedings. The track is also open to submissions without an accompanying paper. In that case, a poster should be submitted as a 1-page document, while a demonstration should be submitted as a presentation slide-deck. Such submissions will be reviewed directly based on the submitted material. However, lacking a standard paper form, such submissions will not appear in the conference proceedings. ------------------------------------------------------------------------ SUBMISSION GUIDELINES Papers accompanying a poster or a demonstration must be in the standard ACM format for conference proceedings. The submissions should be clearly marked in the text as "Poster Paper" or "Demonstration Paper", and must not exceed 2 pages double column, including figures and tables. Poster-only submissions consist of a 1-page poster, in pdf file, with a format decided by the authors. Slides-only submissions consist of a presentation slide deck (e.g., ppt, odp, or pdf slides), with 5-10 slides. At least one author of each accepted demo or presentation is required to register at the full rate, attend the conference and present the paper. Presented papers will appear in the ICPE 2017 conference proceedings that will be published by ACM and included in the ACM Digital Library. Authors are required to adhere to the ACM Policy and Procedures on Plagiarism as well as to the ACM Policy on Prior Publication and Simultaneous Submissions. Submit your contributions at https://easychair.org/conferences/?conf=icpe2017. Please select "ICPE 2017 Demo and Poster track” during the submission process. ------------------------------------------------------------------------ POSTERS AND DEMONSTRATIONS CHAIR * Lubomir Bulej, Charles University, Czech Republic Please feel free to contact the posters and demonstration chair if you have any questions regarding this track. ------------------------------------------------------------------------ ICPE 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 * Cathy Sandifer, SPEC, USA ------------ Andrea Rosà PhD student - Teaching assistant Faculty of Informatics - 2nd floor 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 bob.atkey at gmail.com Thu Dec 15 11:05:24 2016 From: bob.atkey at gmail.com (Robert Atkey) Date: Thu, 15 Dec 2016 11:05:24 +0000 Subject: [Haskell] Off the Beaten Track 2017: Call for Participation Message-ID: <870b0ed2-53f3-1a92-0e2f-b513f60470c4@gmail.com> # Call for Participation: Off the Beaten Track 2017 http://conf.researchr.org/track/POPL-2017/OBT-2017 21st January 2017 (co-located with POPL 2017, Paris, France) ## Registration http://popl17.sigplan.org/attending/registration ** Early registration deadline: Saturday 17th Dec 2016 ** ## Invited Speakers - Moa Johansson, Chalmers, Sweden - Alan Blackwell, Cambridge University, UK ## Background Programming language researchers have the principles, tools, algorithms and abstractions to solve all kinds of problems, in all areas of computer science. However, identifying and evaluating new problems, particularly those that lie outside the typical core PL problems we all know and love, can be a significant challenge. This workshop’s goal is to identify and discuss problems that do not often show up in our top conferences, but where programming language research can make a substantial impact. We hope fora like this will increase the diversity of problems that are studied by PL researchers and thus increase our community’s impact on the world. While many workshops associated with POPL have become more like mini-conferences themselves, this is an anti-goal for OBT. The workshop will be informal and structured to encourage discussion. We are at least as interested in problems as in solutions. ## Programme 09:00-10:00 Invited talk: Reasoning about Functional Programs: Exploring, Testing and Inductive Proofs. Moa Johanssen 10:00-10:30 coffee break 10:30-10:55 Can we machine-learn programming language semantics? Dan Ghica, Khulood Alyahya and Victor Patentasu 10:55-11:20 How Far Apart Should Those Programs Be? Ugo Dal Lago 11:20-11:45 Programming Quantum Annealers George Stelle and Scott Pakin 11:45-12:10 Understanding the POSIX Shell as a Programming Language Michael Greenberg 12:10-14:00 lunch 14:00-15:00 Invited Talk: Varieties of Programming Experience Alan Blackwell 15:00-15:25 Bootstrapping the next generation of mathematical social machines Ursula Martin, Alison Pease and Joe Corneli 15:30-16:00 coffee break 16:00-16:25 Designing extensible, domain-specific languages for mathematical diagrams Katherine Ye, Keenan Crane, Jonathan Aldrich and Joshua Sunshine 16:25-16:50 Laziness Boxes You In Jose Manuel Calderon Trilla and Stephen Magill 16:50-17:15 Programming with Epistemic Logic Markus Eger and Chris Martens 17:15-17:40 Preventing False Discoveries in Adaptive Data Analysis: a Programming Language approach Marco Gaboardi 17:40-18:05 Running Incomplete Programs Ian Voysey, Cyrus Omar and Matthew Hammer From rdgrande at site.uottawa.ca Sun Dec 18 16:15:12 2016 From: rdgrande at site.uottawa.ca (Robson De Grande) Date: Sun, 18 Dec 2016 11:15:12 -0500 Subject: [Haskell] CFP: DCOSS 2017 - Ottawa, Canada Message-ID: =================================================== Call-For-Papers: 13th DCOSS 2017 Ottawa, Canada, June 5 - 7, 2017 http://www.dcoss.org/ ==================================================== IMPORTANT: Paper registration through EDAS: January 6th, 2016 Paper Submission: January 12th, 2017 =================================================== ------ DCOSS 2017 is the 13th International Conference on Distributed Computing in Sensor Systems to be hosted in Ottawa, Canada in June 5-7, 2017. Due to their potential of impacting an entire host of application areas, distributed sensor systems have become a highly visible research area. The focus of DCOSS series of conferences is on distributed computing issues in large scale networked sensor systems, including, but not limited to, algorithms and applications, systems design techniques and tools, and in-network signal and information processing. DCOSS puts together a highly selective program where it primes for quality and innovation on works. Potential authors are invited to submit original unpublished manuscripts that demonstrate current research on computational aspects of distributed sensor systems. Topics of interest include but are not limited to: Social networks and applications Sensors for smart grid systems, green networks and sustainability Computation and programming models Energy models, minimization, awareness Distributed collaborative information processing Detection and tracking Theoretical performance analysis: complexity, correctness, scalability Abstractions for modular design Fault tolerance and security Task allocation, reprogramming and reconfiguration Dynamic resource management Scalable, heterogeneous architectures (node and system-level) Middleware interfaces, communication and processing primitives Design, simulation and optimization tools for deployment and operation Design automation and application synthesis techniques Closed-loop control for sensing and actuation Case studies: lessons from real world deployments Network coding and compression 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. Please submit your paper through EDAS link (https://edas.info/N23046). More detailed instructions about paper submissions can be fount at the link below. - http://www.dcoss.org/ Important Dates: Paper Registration Deadline: 6th January, 2017 Paper Submission Deadline: 12th January, 2017 Organizing Committee: GENERAL CHAIR Azzedine Boukerche, University of Ottawa, Canada PROGRAM CO-CHAIRS Salil Kanhere, University of New South Wales, Australia Soumaya Charkaoui, University of Sherbrooke, Canada -------------- next part -------------- An HTML attachment was scrubbed... URL: From meneguette at ifsp.edu.br Sun Dec 18 20:23:26 2016 From: meneguette at ifsp.edu.br (RODOLFO IPOLITO MENEGUETTE) Date: Sun, 18 Dec 2016 18:23:26 -0200 (BRST) Subject: [Haskell] CFP: DCOSS 2017 - Ottawa, Canada Message-ID: <1882459907.10854725.1482092606559.JavaMail.zimbra@ifsp.edu.br> =================================================== Call-For-Papers: 13th DCOSS 2017 Ottawa, Canada, June 5 - 7, 2017 http://www.dcoss.org/ ==================================================== IMPORTANT: Paper registration through EDAS: January 6th, 2016 Paper Submission: January 12th, 2017 =================================================== ------ DCOSS 2017 is the 13th International Conference on Distributed Computing in Sensor Systems to be hosted in Ottawa, Canada in June 5-7, 2017. Due to their potential of impacting an entire host of application areas, distributed sensor systems have become a highly visible research area. The focus of DCOSS series of conferences is on distributed computing issues in large scale networked sensor systems, including, but not limited to, algorithms and applications, systems design techniques and tools, and in-network signal and information processing. DCOSS puts together a highly selective program where it primes for quality and innovation on works. Potential authors are invited to submit original unpublished manuscripts that demonstrate current research on computational aspects of distributed sensor systems. Topics of interest include but are not limited to: Social networks and applications Sensors for smart grid systems, green networks and sustainability Computation and programming models Energy models, minimization, awareness Distributed collaborative information processing Detection and tracking Theoretical performance analysis: complexity, correctness, scalability Abstractions for modular design Fault tolerance and security Task allocation, reprogramming and reconfiguration Dynamic resource management Scalable, heterogeneous architectures (node and system-level) Middleware interfaces, communication and processing primitives Design, simulation and optimization tools for deployment and operation Design automation and application synthesis techniques Closed-loop control for sensing and actuation Case studies: lessons from real world deployments Network coding and compression 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. Please submit your paper through EDAS link ( https://edas.info/N23046 ). More detailed instructions about paper submissions can be fount at the link below. - http://www.dcoss.org/ Important Dates: Paper Registration Deadline: 6th January, 2017 Paper Submission Deadline: 12th January, 2017 Organizing Committee: GENERAL CHAIR Azzedine Boukerche, University of Ottawa, Canada PROGRAM CO-CHAIRS Salil Kanhere, University of New South Wales, Australia Soumaya Charkaoui, University of Sherbrooke, Canada -------------- next part -------------- An HTML attachment was scrubbed... URL: From wim.ectors at uhasselt.be Sun Dec 18 21:18:59 2016 From: wim.ectors at uhasselt.be (Wim Ectors) Date: Sun, 18 Dec 2016 13:18:59 -0800 Subject: [Haskell] [MobiSPC-Conf] MobiSPC 2017 CFPs: The 14th International Conference on Mobile Systems and Pervasive Computing (July 24-26, 2017, Leuven, Belgium) 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 ---------------- - Workshop Proposal Due: January 20, 2017 - Paper Submission Due: March 8, 2017 - 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 Dec 19 18:46:09 2016 From: wim.ectors at uhasselt.be (Wim Ectors) Date: Mon, 19 Dec 2016 10:46:09 -0800 Subject: [Haskell] [FNC-Conf] FNC 2017 CFPs: The 12th International Conference on Future Networks and Communications (July 24-26, 2017, Leuven, Belgium) 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 ---------------- - Workshop Proposal Due: January 20, 2017 - Paper Submission Due: March 8, 2017 - 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 jwiegley at gmail.com Thu Dec 22 16:55:48 2016 From: jwiegley at gmail.com (John Wiegley) Date: Thu, 22 Dec 2016 08:55:48 -0800 Subject: [Haskell] Work on mail.haskell.org beginning, please report any problems Message-ID: Hello Haskellers, Beginning today, I am upgrading our Postfix installation on mail.haskell.org, and introducing some new options to reduce the amount of spam that hits our mailman server. If you experience delivery problems, or any bounced mail, please send a copy of the full bounce message to my address: jwiegley at gmail.com. I'll be making more changes gradually over the next few days, and watching the mail logs, but it's possible that mail accepted before will suddenly start getting rejected, depending on how well-behaved your sending mail server is. Activities planned for this Christmas break are: - [x] Upgrade Postfix to 2.11 - [X] Enable postscreen for pre-queue RBL filtering - [ ] DKIM sign messages sent from mailman - [ ] Implement DMARC policy (i.e., reject incoming messages improperly DKIM signed, or failing SPF check) - [ ] Prevent mail being spoofed from haskell.org addresses - [ ] Tighten sender and recipient restrictions - [ ] Re-assess inbound and outbound rate limits - [ ] Use SpamAssassin for post-queue filtering - [ ] If helpful, enable deep protocol pre-filtering - [ ] Document all the above, so others can help with e-mail admin Thank you, John Wiegley Haskell.org, infrastructure team From icfp.publicity at googlemail.com Sat Dec 24 02:56:34 2016 From: icfp.publicity at googlemail.com (Lindsey Kuper) Date: Fri, 23 Dec 2016 18:56:34 -0800 Subject: [Haskell] Call for Papers: ICFP 2017 Message-ID: <585de3e279046_36f43fd79c865bec708c@landin.local.mail> ICFP 2017 The 22nd ACM SIGPLAN International Conference on Functional Programming Oxford, United Kingdom http://icfp17.sigplan.org/ Call for Papers ### Important dates Submissions due: Monday, February 27, Anywhere on Earth https://icfp17.hotcrp.com Author response: Monday, April 17, 2017, 15:00 (UTC) - Thursday, April 20, 2017, 15:00 (UTC) Notification: Monday, 1 May, 2017 Final copy due: Monday, 5 June 2017 Early registration: TBA Conference: Monday, 4 September - Wednesday, 6 September, 2017 ### New this year Those familiar with previous ICFP conferences should be aware of two significant changes that are being introduced in 2017: 1. Papers selected for ICFP 2017 will be published as the ICFP 2017 issue of a new journal, Proceedings of the ACM on Programming Languages (PACMPL), which replaces the previous ICFP conference proceedings. The move to PACMPL will have two noticeable impacts on authors: * A new, two-phase selection and reviewing process that conforms to ACM’s journal reviewing guidelines. * A new, single-column format for submissions. 2. Authors of papers that are conditionally accepted in the first phase of the reviewing process will have the option to submit materials for Artifact Evaluation. Further details on each of these changes are included in the following text. ### Scope ICFP 2017 seeks original papers on the art and science of functional programming. Submissions are invited on all topics from principles to practice, from foundations to features, and from abstraction to application. The scope includes all languages that encourage functional programming, including both purely applicative and imperative languages, as well as languages with objects, concurrency, or parallelism. Topics of interest include (but are not limited to): * *Language Design*: concurrency, parallelism, and distribution; modules; components and composition; metaprogramming; type systems; interoperability; domain-specific languages; and relations to imperative, object-oriented, or logic programming. * *Implementation*: abstract machines; virtual machines; interpretation; compilation; compile-time and run-time optimization; garbage collection and memory management; multi-threading; exploiting parallel hardware; interfaces to foreign functions, services, components, or low-level machine resources. * *Software-Development Techniques*: algorithms and data structures; design patterns; specification; verification; validation; proof assistants; debugging; testing; tracing; profiling. * *Foundations*: formal semantics; lambda calculus; rewriting; type theory; monads; continuations; control; state; effects; program verification; dependent types. * *Analysis and Transformation*: control-flow; data-flow; abstract interpretation; partial evaluation; program calculation. * *Applications*: symbolic computing; formal-methods tools; artificial intelligence; systems programming; distributed-systems and web programming; hardware design; databases; XML processing; scientific and numerical computing; graphical user interfaces; multimedia and 3D graphics programming; scripting; system administration; security. * *Education*: teaching introductory programming; parallel programming; mathematical proof; algebra. Submissions will be evaluated according to their relevance, correctness, significance, originality, and clarity. Each submission should explain its contributions in both general and technical terms, clearly identifying what has been accomplished, explaining why it is significant, and comparing it with previous work. The technical content should be accessible to a broad audience. ICFP 2017 also welcomes submissions in two separate categories — Functional Pearls and Experience Reports — that must be marked as such at the time of submission and that need not report original research results. Detailed guidelines on both categories are given at the end of this call. Please contact the program chair if you have questions or are concerned about the appropriateness of a topic. ### Preparation of submissions **Deadline**: The deadline for submissions is Monday, February 27, 2017, Anywhere on Earth (). This deadline will be strictly enforced. **Formatting**: (NOTE: NEW FORMAT REQUIREMENTS FOR ICFP 2017) Submissions must be in PDF format, printable in black and white on US Letter sized paper, and interpretable by common PDF tools. All submissions must adhere to the "ACM Large" template that is available (in both LaTeX and Word formats) from . For authors using LaTeX, a lighter-weight package, including only the essential files, is available from . There is a limit of 24 pages for a full paper or 12 pages for an Experience Report; in either case, the bibliography will not be counted against these limits. These page limits have been chosen to allow essentially the same amount of content with the new single-column format as was possible with the two-column format used in past ICFP conferences. Submissions that exceed the page limits or, for other reasons, do not meet the requirements for formatting, will be summarily rejected. **Submission**: Submissions will be accepted at (in preparation at the time of writing). Improved versions of a paper may be submitted at any point before the submission deadline using the same web interface. **Author Response Period**: Authors will have a 72-hour period, starting at 15:00 UTC on Monday, April 17, 2017, to read reviews and respond to them. **Supplementary Materials**: Authors have the option to attach supplementary material to a submission, on the understanding that reviewers may choose not to look at it. The material should be uploaded at submission time, as a single pdf or a tarball, not via a URL. This supplementary material may or may not be anonymized; if not anonymized, it will only be revealed to reviewers after they have submitted their review of the paper and learned the identity of the author(s). **Authorship Policies**: All submissions are expected to comply with the ACM Policies for Authorship that are detailed at . **Republication Policies**: Each submission must adhere to SIGPLAN's republication policy, as explained on the web at . **Resubmitted Papers**: Authors who submit a revised version of a paper that has previously been rejected by another conference have the option to attach an annotated copy of the reviews of their previous submission(s), explaining how they have addressed these previous reviews in the present submission. If a reviewer identifies him/herself as a reviewer of this previous submission and wishes to see how his/her comments have been addressed, the program chair will communicate to this reviewer the annotated copy of his/her previous review. Otherwise, no reviewer will read the annotated copies of the previous reviews. ### Review Process This section outlines the two-stage process with lightweight double-blind reviewing that will be used to select papers for presentation at ICFP 2017. We anticipate that there will be a need to clarify and expand on this process, and we will maintain a list of frequently asked questions and answers on the conference website to address common concerns. **ICFP 2017 will employ a two-stage review process.** The first stage in the review process will assess submitted papers using the criteria stated above and will allow for feedback and input on initial reviews through the author response period mentioned previously. At the PC meeting, a set of papers will be conditionally accepted and all other papers will be rejected. Authors will be notified of these decisions on May 1, 2017. Authors of conditionally accepted papers will be provided with committee reviews (just as in previous conferences) along with a set of mandatory revisions. After five weeks (June 5, 2017), the authors will provide a second submission. The second and final reviewing phase assesses whether the mandatory revisions have been adequately addressed by the authors and thereby determines the final accept/reject status of the paper. The intent and expectation is that the mandatory revisions can be addressed within five weeks and hence that conditionally accepted papers will in general be accepted in the second phase. The second submission should clearly identify how the mandatory revisions were addressed. To that end, the second submission must be accompanied by a cover letter mapping each mandatory revision request to specific parts of the paper. The cover letter will facilitate a quick second review, allowing for confirmation of final acceptance within two weeks. Conversely, the absence of a cover letter will be grounds for the paper’s rejection. This process is intended as a refinement of the review process that has been used in previous ICFP conferences. By incorporating a second stage, the process will conform to ACM’s journal reviewing guidelines for PACMPL. **ICFP 2017 will employ a lightweight double-blind reviewing process.** To facilitate this, submitted papers must adhere to two rules: 1. **author names and institutions must be omitted**, and 2. **references to authors' own related work should be in the third person** (e.g., not "We build on our previous work ..." but rather "We build on the work of ..."). The purpose of this process is to help the PC and external reviewers come to an initial judgement about the paper without bias, not to make it impossible for them to discover the authors if they were to try. Nothing should be done in the name of anonymity that weakens the submission or makes the job of reviewing the paper more difficult (e.g., important background references should not be omitted or anonymized). In addition, authors should feel free to disseminate their ideas or draft versions of their paper as they normally would. For instance, authors may post drafts of their papers on the web or give talks on their research ideas. ### Information for Authors of Accepted Papers * As a condition of acceptance, final versions of all papers must adhere to the new ACM Large format. The page limits for final versions of papers will be increased to ensure that authors have space to respond to reviewer comments and mandatory revisions. * Authors of accepted submissions will be required to agree to one of the three ACM licensing options: copyright transfer to ACM; retaining copyright but granting ACM exclusive publication rights; or open access on payment of a fee. Further information about ACM author rights is available from . * At least one author of each accepted submissions will be expected to attend and present their paper at the conference. The schedule for presentations will be determined and shared with authors after the full program has been selected. Presentations will be videotaped and released online if the presenter consents. * We intend that the proceedings will be freely available for download from the ACM Digital Library in perpetuity via the OpenTOC mechanism. * ACM Author-Izer is a unique service that enables ACM authors to generate and post links on either their home page or institutional repository for visitors to download the definitive version of their articles from the ACM Digital Library at no charge. Downloads through Author-Izer links are captured in official ACM statistics, improving the accuracy of usage and impact measurements. Consistently linking to the definitive version of an ACM article should reduce user confusion over article versioning. After an article has been published and assigned to the appropriate ACM Author Profile pages, authors should visit to learn how to create links for free downloads from the ACM DL. * 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 the conference. The official publication date affects the deadline for any patent filings related to published work. ### Artifact Evaluation Authors of papers that are conditionally accepted in the first phase of the review process will be encouraged (but not required) to submit supporting materials for Artifact Evaluation. These items will then be reviewed by a committee, separate from the program committee, whose task is to assess how the artifacts support the work described in the associated paper. Papers that go through the Artifact Evaluation process successfully will receive a seal of approval printed on the papers themselves. Authors of accepted papers will be encouraged to make the supporting materials publicly available upon publication of the proceedings, for example, by including them as "source materials" in the ACM Digital Library. An additional seal will mark papers whose artifacts are made available, as outlined in the ACM guidelines for artifact badging. Participation in Artifact Evaluation is voluntary and will not influence the final decision regarding paper acceptance. Further information about the motivations and expectations for Artifact Evaluation can be found at . ### Special categories of papers In addition to research papers, ICFP solicits two kinds of papers that do not require original research contributions: Functional Pearls, which are full papers, and Experience Reports, which are limited to half the length of a full paper. Authors submitting such papers should consider the following guidelines. #### Functional Pearls A Functional Pearl is an elegant essay about something related to functional programming. Examples include, but are not limited to: * a new and thought-provoking way of looking at an old idea * an instructive example of program calculation or proof * a nifty presentation of an old or new data structure * an interesting application of functional programming techniques * a novel use or exposition of functional programming in the classroom While pearls often demonstrate an idea through the development of a short program, there is no requirement or expectation that they do so. Thus, they encompass the notions of theoretical and educational pearls. Functional Pearls are valued as highly and judged as rigorously as ordinary papers, but using somewhat different criteria. In particular, a pearl is not required to report original research, but, it should be concise, instructive, and entertaining. A pearl is likely to be rejected if its readers get bored, if the material gets too complicated, if too much specialized knowledge is needed, or if the writing is inelegant. The key to writing a good pearl is polishing. A submission that is intended to be treated as a pearl must be marked as such on the submission web page, and should contain the words "Functional Pearl" somewhere in its title or subtitle. These steps will alert reviewers to use the appropriate evaluation criteria. Pearls will be combined with ordinary papers, however, for the purpose of computing the conference's acceptance rate. #### Experience Reports The purpose of an Experience Report is to help create a body of published, refereed, citable evidence that functional programming really works — or to describe what obstacles prevent it from working. Possible topics for an Experience Report include, but are not limited to: * insights gained from real-world projects using functional programming * comparison of functional programming with conventional programming in the context of an industrial project or a university curriculum * project-management, business, or legal issues encountered when using functional programming in a real-world project * curricular issues encountered when using functional programming in education * real-world constraints that created special challenges for an implementation of a functional language or for functional programming in general An Experience Report is distinguished from a normal ICFP paper by its title, by its length, and by the criteria used to evaluate it. * Both in the proceedings and in any citations, the title of each accepted Experience Report must begin with the words "Experience Report" followed by a colon. The acceptance rate for Experience Reports will be computed and reported separately from the rate for ordinary papers. * Experience Report submissions can be at most 12 pages long, excluding bibliography. * Each accepted Experience Report will be presented at the conference, but depending on the number of Experience Reports and regular papers accepted, authors of Experience reports may be asked to give shorter talks. * Because the purpose of Experience Reports is to enable our community to accumulate a body of evidence about the efficacy of functional programming, an acceptable Experience Report need not add to the body of knowledge of the functional-programming community by presenting novel results or conclusions. It is sufficient if the Report states a clear thesis and provides supporting evidence. The thesis must be relevant to ICFP, but it need not be novel. The program committee will accept or reject Experience Reports based on whether they judge the evidence to be convincing. Anecdotal evidence will be acceptable provided it is well argued and the author explains what efforts were made to gather as much evidence as possible. Typically, more convincing evidence is obtained from papers which show how functional programming was used than from papers which only say that functional programming was used. The most convincing evidence often includes comparisons of situations before and after the introduction or discontinuation of functional programming. Evidence drawn from a single person's experience may be sufficient, but more weight will be given to evidence drawn from the experience of groups of people. An Experience Report should be short and to the point: it should make a claim about how well functional programming worked on a particular project and why, and produce evidence to substantiate this claim. If functional programming worked in this case in the same ways it has worked for others, the paper need only summarize the results — the main part of the paper should discuss how well it worked and in what context. Most readers will not want to know all the details of the project and its implementation, but the paper should characterize the project and its context well enough so that readers can judge to what degree this experience is relevant to their own projects. The paper should take care to highlight any unusual aspects of the project. Specifics about the project are more valuable than generalities about functional programming; for example, it is more valuable to say that the team delivered its software a month ahead of schedule than it is to say that functional programming made the team more productive. If the paper not only describes experience but also presents new technical results, or if the experience refutes cherished beliefs of the functional-programming community, it may be better off submitted it as a full paper, which will be judged by the usual criteria of novelty, originality, and relevance. The program chair will be happy to advise on any concerns about which category to submit to. ### Organizers General Chair: Jeremy Gibbons (University of Oxford, UK) Program Chair: Mark Jones (Portland State University, USA) Artifact Evaluation Chair: Ryan R. Newton (Indiana University, USA) Industrial Relations Chair: Ryan Trinkle (Obsidian Systems LLC, USA) Programming Contest Organiser: Sam Lindley (University of Edinburgh, UK) Publicity and Web Chair: Lindsey Kuper (Intel Labs, USA) Student Research Competition Chair: Ilya Sergey (University College London, UK) Video Chair: Jose Calderon (Galois, Inc., USA) Workshops Co-Chair: Andres Löh (Well-Typed LLP) Workshops Co-Chair: David Christiansen (Indiana University, USA) Program Committee: Bob Atkey (University of Strathclyde, Scotland) Adam Chlipala (MIT, USA) Dominique Devriese (KU Leuven, Belgium) Martin Erwig (Oregon State, USA) Matthew Flatt (University of Utah, USA) Ronald Garcia (University of British Columbia, Canada) Kathryn Gray (University of Cambridge, England) John Hughes (Chalmers University and Quvik, Sweden) Chung-Kil Hur (Seoul National University, Korea) Graham Hutton (University of Nottingham, England) Alan Jeffrey (Mozilla Research, USA) Ranjit Jhala (University of California, San Diego, USA) Shin-ya Katsumata (Kyoto University, Japan) Lindsey Kuper (Intel Labs, USA) Dan Licata (Wesleyan University, USA) Ben Lippmeier (Digital Asset, Australia) Gabriel Scherer (Northeastern University, USA) Alexandra Silva (University College London, England) Nikhil Swamy (Microsoft Research, USA) Sam Tobin-Hochstadt (Indiana University, USA) Nicolas Wu (University of Bristol, England) Beta Ziliani (CONICET and FAMAF, Universidad Nacional de Córdoba, Argentina) From mihai.maruseac at gmail.com Sat Dec 24 19:18:53 2016 From: mihai.maruseac at gmail.com (Mihai Maruseac) Date: Sat, 24 Dec 2016 11:18:53 -0800 Subject: [Haskell] ANNOUNCE: Haskell Communities and Activities Report (31st ed., November 2016) Message-ID: On behalf of all the contributors, we are pleased to announce that the Haskell Communities and Activities Report (31st edition, November 2016) is now available, in PDF and HTML formats: http://haskell.org/communities/11-2016/report.pdf http://haskell.org/communities/11-2016/html/report.html All previous editions of HCAR can be accessed on the wiki at https://wiki.haskell.org/Haskell_Communities_and_Activities_Report Many thanks go to all the people that contributed to this report, both directly, by sending in descriptions, and indirectly, by doing all the interesting things that are reported. We hope you will find it as interesting a read as we did. If you have not encountered the Haskell Communities and Activities Reports before, you may like to know that the first of these reports was published in November 2001. Their goal is to improve the communication between the increasingly diverse groups, projects, and individuals working on, with, or inspired by Haskell. The idea behind these reports is simple: Every six months, a call goes out to all of you enjoying Haskell to contribute brief summaries of your own area of work. Many of you respond (eagerly, unprompted, and sometimes in time for the actual deadline) to the call. The editors collect all the contributions into a single report and feed that back to the community. When we try for the next update, six months from now, you might want to report on your own work, project, research area or group as well. So, please put the following into your diaries now: ======================================== End of February 2016: target deadline for contributions to the May 2017 edition of the HCAR Report ======================================== Unfortunately, many Haskellers working on interesting projects are so busy with their work that they seem to have lost the time to follow the Haskell related mailing lists and newsgroups, and have trouble even finding time to report on their work. If you are a member, user or friend of a project so burdened, please find someone willing to make time to report and ask them to "register" with the editors for a simple e-mail reminder in November (you could point us to them as well, and we can then politely ask if they want to contribute, but it might work better if you do the initial asking). Of course, they will still have to find the ten to fifteen minutes to draw up their report, but maybe we can increase our coverage of all that is going on in the community. Feel free to circulate this announcement further in order to reach people who might otherwise not see it. Enjoy! -- Mihai Maruseac (MM) "If you can't solve a problem, then there's an easier problem you can solve: find it." -- George Polya From coreyoconnor at gmail.com Sat Dec 24 21:04:02 2016 From: coreyoconnor at gmail.com (Corey O'Connor) Date: Sat, 24 Dec 2016 21:04:02 +0000 Subject: [Haskell] [ANN] Change of ownership for VTY Message-ID: Hi all, The (former) owner of VTY here. Unfortunately, I don't have the resources to continue to contribute. Jonathan Daugherty has stepped up in my absence to provide excellent improvements and support. He is now the official owner/maintainer of VTY. Please give him the same great community support and thanks :) * http://hackage.haskell.org/package/vty I've had a wonderful time building VTY. Terminals are tricky pieces of old and new technology with plenty of arcane details. Yet, Haskell handles this domain with ease. Not something I expected when I first started! Even better, over the years VTY has evolved significantly and Haskell has supported this evolution with similar ease. Thanks to all in this wonderful community, Corey O'Connor -------------- next part -------------- An HTML attachment was scrubbed... URL: From cygnus at foobox.com Sat Dec 24 21:18:11 2016 From: cygnus at foobox.com (Jonathan Daugherty) Date: Sat, 24 Dec 2016 13:18:11 -0800 Subject: [Haskell] [ANN] Change of ownership for VTY In-Reply-To: References: Message-ID: <20161224211810.GA39474@galois.com> > The (former) owner of VTY here. Unfortunately, I don't have the > resources to continue to contribute. Jonathan Daugherty has stepped up > in my absence to provide excellent improvements and support. He is now > the official owner/maintainer of VTY. Accordingly, the repository has moved to my GitHub account and is now located at https://github.com/jtdaugherty/vty NOTE: I am seeking someone to help with maintenance of Vty on Windows systems. I don't have the resources to ensure that Vty builds or passes its test suite on Windows, so anyone with the resources and the motivation to help with this should contact me! Thanks to Corey for maintaing Vty for many years and for being so helpful to me when I was starting to contribute! -- Jonathan Daugherty From simon at joyful.com Mon Dec 26 15:26:51 2016 From: simon at joyful.com (Simon Michael) Date: Mon, 26 Dec 2016 07:26:51 -0800 Subject: [Haskell] [ANN] Change of ownership for VTY In-Reply-To: <20161224211810.GA39474@galois.com> References: <20161224211810.GA39474@galois.com> Message-ID: On 12/24/16 1:18 PM, Jonathan Daugherty wrote: >> The (former) owner of VTY here. Unfortunately, I don't have the >> resources to continue to contribute. Jonathan Daugherty has stepped up >> in my absence to provide excellent improvements and support. He is now >> the official owner/maintainer of VTY. > Accordingly, the repository has moved to my GitHub account and is now > located at > > https://github.com/jtdaugherty/vty > > NOTE: I am seeking someone to help with maintenance of Vty on Windows > systems. I don't have the resources to ensure that Vty builds or passes > its test suite on Windows, so anyone with the resources and the > motivation to help with this should contact me! > > Thanks to Corey for maintaing Vty for many years and for being so > helpful to me when I was starting to contribute! > Thank you very much for the excellent library, Corey! (and now Jonathan). I hope a Windows user does step up and help complete the work already done[1], completing Haskell's cross-platform text UI story! [1] https://github.com/jtdaugherty/vty/pull/1