January 2017 - Haskell

[ANN] Help wanted: Vty contributors on Windows
by Jonathan Daugherty 20 Jan '17

20 Jan '17

Hi, With some recent requests for Windows support in Vty[1], I'm looking for folks who are interested in working on the Vty library and getting it working on Windows (Cygwin) systems. Anyone interested in contributing should contact me! Thanks, [1] http://hackage.haskell.org/package/vty -- Jonathan Daugherty

1 0

Call for Participation: BOB 2017 (February 24, Berlin)
by Stefan Wehr 20 Jan '17

20 Jan '17

Reminder: early registration ends this Monday! ================================================================ BOB 2017 Conference "What happens if we simply use what's best?" February 24, 2017 Berlin http://bobkonf.de/2017/ Program: http://bobkonf.de/2017/program.html Registration: http://bobkonf.de/2017/registration.html ================================================================ BOB is the conference for developers, architects and decision-makers to explore technologies beyond the mainstream in software development, and to find the best tools available to software developers today. Our goal is for all participants of BOB to return home with new insights that enable them to improve their own software development experiences. The program features 14 talks and 8 tutorials on current topics: http://bobkonf.de/2017/program.html The subject range of talks includes functional programming, advanced front-end development, and sophisticated uses of types. The tutorials feature introductions to Haskell, Swift, PureScript, React, QuickCheck, Agda, CRDTs and Servant. John Hughes will give the keynote talk. Registration is open online: http://bobkonf.de/2017/registration.html NOTE: The early-bird rates expire on January 23, 2017! BOB cooperates with the :clojured conference on the following day. There is a registration discount available for participants of both events. http://www.clojured.de/

1 0

TYPES 2017 call for contributions
by Ambrus Kaposi 20 Jan '17

20 Jan '17

CALL FOR CONTRIBUTIONS 23rd International Conference on Types for Proofs and Programs, TYPES 2017 and EUTYPES Cost Action CA15123 meeting Budapest, Hungary, 29 May - 1 June 2017 http://types2017.elte.hu BACKGROUND The TYPES meetings are a forum to present new and on-going work in all aspects of type theory and its applications, especially in formalised and computer assisted reasoning and computer programming. The TYPES areas of interest include, but are not limited to: * foundations of type theory and constructive mathematics; * applications of type theory; * dependently typed programming; * industrial uses of type theory technology; * meta-theoretic studies of type systems; * proof assistants and proof technology; * automation in computer-assisted reasoning; * links between type theory and functional programming; * formalizing mathematics using type theory. We encourage talks proposing new ways of applying type theory. In the spirit of workshops, talks may be based on newly published papers, work submitted for publication, but also work in progress. The EUTypes Cost Action CA15123 (eutypes.cs.ru.nl) focuses on the same research topics as TYPES and partially sponsors the TYPES Conference: May 31 - June 1 are supported by and organised under the auspices of EUTypes. INVITED SPEAKERS * Edwin Brady (University of St Andrews) * Sara Negri (University of Helsinki) * Jakob Rehof (TU Dortmund) CONTRIBUTED TALKS We solicit contributed talks. Selection of those will be based on extended abstracts/short papers of 2 pp formatted with easychair.cls. The submission site is https://easychair.org/conferences/?conf=types2017. Important dates: * submission of 2 pp abstract: 13 March 2017 * notified of acceptance/rejection: 10 April 2017 * camera-ready version of abstract: 2 May 2017 Camera-ready versions of the accepted contributions will be published in an informal book of abstracts for distribution at the workshop. POST-PROCEEDINGS Similarly to TYPES 2011 and TYPES 2013-2016, we intend to publish a post-proceedings volume in the Leibniz International Proceedings in Informatics (LIPIcs) series (subject to successful negotiation with Dagstuhl Publishing). Submission to that volume would be open for everyone. Tentative submission deadline: September 2017. PROGRAMME COMMITTEE * Andreas Abel (Chalmers University Gothenburg) * Thorsten Altenkirch (University of Nottingham) * Jose Espirito Santo (University of Minho) * Fredrik Forsberg (University of Strathclyde) * Silvia Ghilezan (University of Novi Sad) * Hugo Herbelin (INRIA Paris-Rocquencourt) * Martin Hofmann (Ludwig Maximilian University of Munich) * Ambrus Kaposi (Eötvös Loránd University) (co-chair) * Tamás Kozsik (Eötvös Loránd University) (co-chair) * Assia Mahboubi (INRIA Paris) * Alexandre Miquel (University of the Republic, Urugay) * Leonardo de Moura (Microsoft Research, Redmond, USA) * Keiko Nakata (FireEye, Dresden) * Andrew Polonsky (University Paris Diderot) * Simona Ronchi Della Rocca (Università di Torino) * Aleksy Schubert (University of Warsaw) * Wouter Swierstra (Utrecht University) * Tarmo Uustalu (Tallinn University of Technology) TYPES STEERING COMMITTEE Marc Bezem, Herman Geuvers (chair), Hugo Herbelin, Zhaohui Luo, Ralph Matthes, Bengt Nordström, Andrew Polonsky, Aleksy Schubert, Tarmo Uustalu. ABOUT TYPES The TYPES meetings from 1990 to 2008 were annual workshops of a sequence of five EU funded networking projects. From 2009 to 2015, TYPES has been run as an independent conference series. From 2016, TYPES is partially supported by COST Action EUTypes CA15123. Previous TYPES meetings were held in Antibes (1990), Edinburgh (1991), Båstad (1992), Nijmegen (1993), Båstad (1994), Torino (1995), Aussois (1996), Kloster Irsee (1998), Lökeberg (1999), Durham (2000), Berg en Dal near Nijmegen (2002), Torino (2003), Jouy-en-Josas near Paris (2004), Nottingham (2006), Cividale del Friuli (2007), Torino (2008), Aussois (2009), Warsaw (2010), Bergen (2011), Toulouse (2013), Paris (2014), Tallinn (2015), Novi Sad (2016). CONTACT Email: info(a)types2017.elte.hu Organisers: Ambrus Kaposi, Tamás Kozsik, András Kovács and the Department of Programming Languages and Compilers at the Faculty of Informatics, Eötvös Loránd University, Budapest.

1 0

<Programming> 2017: Final call for workshop, symposium, demo & poster submissions
by Tim Molderez 20 Jan '17

20 Jan '17

----------------------------------------------------------------------- <Programming> 2017 : The Art, Science, and Engineering of Programming April 3-6, 2017, Brussels, Belgium http://2017.programming-conference.org ----------------------------------------------------------------------- Final call for submissions to all co-located events at the <Programming> 2017 conference: - ELS 2017 - 10th European Lisp Symposium - Modularity 2017 Invited talks - International Symposium on Modularity - **Updated** ACM Student Research Competition / <Programming> 2017 Posters - **NEW** <Programming> 2017 Demos - **NEW** CoCoDo 2017 - Raincode Labs Compiler Coding Dojo - LASSY 2017 - 2nd Workshop on Live Adaptation of Software SYstems - **NEW** MiniPLoP 2017 - Mini Pattern Languages of Programs writers' workshop - **Updated** MOMO 2017 - 2nd Workshop on Modularity in Modelling - MoreVMs 2017 - 1st Workshop on Modern Language Runtimes, Ecosystems, and VMs - PASS 2017 - 1st Workshop on Programming Across the System Stack - PX 2017 - 2nd Workshop on Programming Experience - ProWeb 2017 - 1st Workshop on Programming Technology for the Future Web - Salon des Refusés 2017 - 1st edition of the Salon des Refusés workshop All co-located events will take place during April 3-4 2017. CFPs for each of these events are listed below. (apart from Modularity 2017, which is invitation-based) **************************************************************** ELS 2017 - 10th European Lisp Symposium Submissions: Mon 30 Jan 2017 Notifications: Mon 27 Feb 2017 Symposium date: Mon Apr 3 - Tue Apr 4 2017 http://2017.programming-conference.org/track/els-2017 **************************************************************** The purpose of the European Lisp Symposium is to provide a forum for the discussion and dissemination of all aspects of design, implementation and application of any of the Lisp and Lisp-inspired dialects, including Common Lisp, Scheme, Emacs Lisp, AutoLisp, ISLISP, Dylan, Clojure, ACL2, ECMAScript, Racket, SKILL, Hop and so on. We encourage everyone interested in Lisp to participate. The 10th European Lisp Symposium invites high quality papers about novel research results, insights and lessons learned from practical applications and educational perspectives. We also encourage submissions about known ideas as long as they are presented in a new setting and/or in a highly elegant way. Topics include but are not limited to: * Context-, aspect-, domain-oriented and generative programming * Macro-, reflective-, meta- and/or rule-based development approaches * Language design and implementation * Language integration, inter-operation and deployment * Development methodologies, support and environments * Educational approaches and perspectives * Experience reports and case studies ******************************************************************** ACM Student Research Competition / <Programming> 2017 Posters Submissions **extended** : Mon 30 Jan 2017 http://2017.programming-conference.org/track/programming-posters ******************************************************************** The ACM Student Research Competition (SRC), sponsored by Microsoft Research, offers a unique forum for ACM student members at the undergraduate and graduate levels to present their original research before a panel of judges and conference attendees. The SRC gives visibility to up-and-coming young researchers, and offers them an opportunity to discuss their research with experts in their field, get feedback, and to help sharpen communication and networking skills. ACM’s SRC program covers expenses up to $500 for all students invited to an SRC. See our website for requirements and further details. Please note that, while the SRC involves a poster session, there also is a regular poster session that isn't part of a competition. Submissions for this regular session are due March 3rd. *********************************************************************** ‹Programming› 2017 Demos Submissions: Fri 3 Mar 2017 http://2017.programming-conference.org/track/programming-2017-Demos *********************************************************************** Demonstrations will be selected on the basis of technical merit, relevance, and novelty of presentation at <Programming>. They can include work in progress, commercial or in-house applications, proofs of concept, results of academic or industrial research, or any other innovative programming tools or systems. We encourage authors of accepted papers to co-located workshops and main conferences also submit a demo proposal. We hope that this will give them the opportunity to show their work in action, and increase the visibility of their results. We suggest to cite the paper in the demo abstract. **************************************************************** CoCoDo 2017 - Raincode Labs Compiler Coding Dojo Coding dojo date: Tue 4 Apr 2017 https://cocodo.github.io **************************************************************** CoCoDo is a coding dojo where you can enjoy an entire day of compiler programming under gentle guidance of field experts. Compiler construction comprises, but is not limited to, lexical analysis, syntactic analysis, preprocessing, context handling, code generation, code optimisation, virtual machines, interpreters, smell detection, clone management, portability, migration, refactoring, domain-specific language design, linking and loading, assembling and disassembling, generics and reflection, numerous paradigms and so much more. If you are interested in participating, please contact Vadim Zaytsev: vadim(a)raincodelabs.com ****************************************************************** LASSY 2017 - 2nd Workshop on Live Adaptation of Software SYstems Submissions: Fri 3 Feb 2017 Notifications: Fri 3 Mar 2017 Workshop date: Mon 3 Apr 2017 http://2017.programming-conference.org/track/LASSY-2017-papers ****************************************************************** When developing current-day software systems, their deployment and usage environments should be considered carefully, in order to understand the adaptations those systems might need to undergo to interact with other systems and with their environment. Moreover, due to the portability, mobility and increasingly evolutionary nature of software systems, such adaptations should be enacted even while the system is running. Developing such software systems can prove challenging, and many seemingly different techniques to address this concern have been proposed over the last couple of years. The intention of the LASSY workshop is to congregate all topics relevant to dynamic adaptation and run-time evolution of software systems, ranging from a computer science perspective covering the domains of programming languages, model-driven software development, software and service composition, context-aware databases, software variability, requirements engineering, UI adaptation and other domains, to a human perspective covering sociological or ethical implications of dynamic software systems. The workshop provides a space for discussion and collaboration between researchers working on the problem of enabling live adaptations to software systems, across the development stack. Topics of Interest: * Design and Implementation of Live Adaptive Software Systems * Context-, aspect-, feature-, role- and agent-oriented programming * Context representation and discovery * Context-aware model-driven software development * Context-aware data management * Software variability and dynamic product lines * Self-adaptive, self-explanatory systems * Inconsistency management, verification, and validation * Middleware and Runtime of Live Adaptive Software Systems * Dynamic software evolution, upgrades and configuration * Dynamic software and service composition mechanisms * Dynamic software architecture and middleware approaches * Dynamic user interface adaptation and multimodal user interfaces * Impact and Assessment of Live Adaptive Software Systems * User acceptance and usability issues * Human, sociological, ethical and legal aspects * Privacy and security aspects of dynamic adaptability * Live adaptation in smart environments (e.g. smart rooms, smart robot cells, smart factories, smart cities) * Self-adaptation and emergence in SoS and CPSoS ********************************************************************** MiniPLoP 2017 - Mini Pattern Languages of Programs writers' workshop Workshop date: Mon 3 Apr 2017 http://2017.programming-conference.org/track/MiniPLoP-2017-papers ********************************************************************** Software developers and those involved with programming have long observed that certain patterns recur and endure across different applications and systems. The growing interest in Design Patterns, Architectural Patterns, Analysis Patterns, Pedagogical Patterns, Agile Patterns, and so on, represents an effort to catalog and better communicate knowledge, providing handbooks of proven solutions to common problems. The MiniPLoP writers' workshop brings together researchers, educators, and practitioners whose interests span a remarkably broad range of topics and who share an interest in exploring the power of the pattern form. MiniPLoP invites you to add your expertise to the growing corpus of patterns. MiniPLoP focuses on improving the expression of patterns. You will have the opportunity to refine and extend your patterns or pattern ideas with the help from knowledgeable and sympathetic fellow pattern enthusiasts. You will also be able to discuss applications of patterns in industry and academia. Techniques for Pattern Mining will also be presented. Highlights include group discussions on patterns, an introduction to pattern writing, an international keynote, and the writers’ workshop. This MiniPLoP at <Programming> 2017 has the goal to help beginners learn more about the pattern community. If you have some patterns or pattern ideas you would like to have brainstormed or workshopped, please contact the organizers at: miniplop2017(a)hillside.net **************************************************************** MOMO 2017 - 2nd Workshop on Modularity in Modelling Abstract submissions (optional) **extended** : Sun Feb 5 2017 Paper submissions **extended** : Sun Feb 12 2017 Notifications: Wed Feb 22 2017 Workshop date: Mon 3 Apr 2017 http://www.momo2017.ece.mcgill.ca/cfp.htm **************************************************************** Extending the time-honored practice of separation of concerns, Model-Driven Engineering (MDE) promotes the use of separate models to address the various concerns in the development of complex software-intensive systems. The main objective is to choose the right level of abstraction to modularize a concern, specify its properties and reason about the system under development depending on stakeholder and development needs. While some of these models can be defined with a single modelling language, a variety of heterogeneous models and languages are typically used in the various phases of software development. Furthermore, Domain-Specific Modelling Languages designed to address particular concerns are also increasingly used. Despite the power of abstraction of modelling, models of real-world problems and systems quickly grow to such an extent that managing the complexity by using proper modularization techniques becomes necessary. As a result, many (standard) modelling notations have been extended with aspect-oriented mechanisms and advanced composition operators to support advanced separation of concerns, to combine (possibly heterogeneous) models modularizing different concerns, to execute an application based on modularized models, and to reason over global properties of modularized models. The Second International Modularity in Modelling Workshop brings together researchers and practitioners interested in the theoretical and practical challenges resulting from applying modularity, advanced separation of concerns, and advanced composition at the modelling level. It is intended to provide a forum for presenting new ideas and discussing the impact of the use of modularization in the context of MDE at different levels of abstraction. We are interested in submissions on all topics related to modularity and modelling including but not limited to: * Modularization Support in Modelling Languages and Tools * Model Interfaces * Homogeneous Model Composition Operators * Heterogeneous Model Composition Operators * Visualization of Modularized and Composed Models * Effects of Using Modularization and Composition in Modelling * On Verification and Validation * On Reuse * On the Model-Driven Software Development Process (Requirements Engineering, Software Architecture, Software Design, Implementation) * On Maintenance * Experience Reports / Empirical Evaluations of Applying Modularization and Composition in Modelling * Feature-Oriented, Aspect-Oriented and Concern-Oriented Modelling * Modularization support and composition operators for specific modelling notations * Modelling essential characteristics of specific (crosscutting) concerns * Multi-View Modelling: avoiding inconsistencies, avoiding Redundancies * Support for Detecting and/or Resolution of Feature Interactions * Domain-Specific Modelling * Modularization for Domain-Specific Languages * Composition for Domain-Specific Languages * Domain-specific Aspect Models ****************************************************************************** MoreVMs 2017 - 1st Workshop on Modern Language Runtimes, Ecosystems, and VMs Submissions: Wed 15 Feb 2017 Notifications: Wed 1 Mar 2017 Workshop date: Mon 3 Apr 2017 http://2017.programming-conference.org/track/MoreVMs-2017-papers ****************************************************************************** The main goal of the workshop is to bring together both researchers and practitioners and facilitate effective sharing of their respective experiences and ideas on how languages and runtimes are utilized and where they need to improve further. We welcome presentation proposals in the form of extended abstracts discussing experiences, work-in-progress, as well as future visions from the academic as well as industrial perspective. Relevant topics include, but are definitely not limited to, the following: * Extensible VM design (compiler- or interpreter-based VMs) * Reusable runtime components (e.g. interpreters, garbage collectors, intermediate representations) * Static and dynamic compiler techniques * Techniques for compilation to high-level languages such as JavaScript * Runtimes and mechanisms for interoperability between languages * Tooling support (e.g. debugging, profiling, etc.) * Programming language development environments and virtual machines * Case studies of existing language implementations, virtual machines, and runtime components (e.g. design choices, tradeoffs, etc.) * Language implementation challenges and trade-offs (e.g. performance, completeness, etc.) * Surveys and applications usage reports to understand runtime usage in the wild * Surveys on frameworks and their impact on runtime usage * New research ideas on how we want to build languages in the future ************************************************************************** PASS 2017 - 1st Workshop on Programming Across the System Stack Submissions: Mon 13 Feb 2017 Notifications: Mon 27 Feb 2017 Workshop date: Tue 4 Apr 2017 http://2017.programming-conference.org/track/PASS-2017#Call-for-Papers ************************************************************************** The landscape of computation platforms has changed dramatically in recent years. Emerging systems - such as wearable devices, smartphones, unmanned aerial vehicles, Internet of things, cloud computing servers, heterogeneous clusters, and data centers - pose a distinct set of system-oriented challenges ranging from data throughput, energy efficiency, security, real-time guarantees, to high performance. In the meantime, code quality, such as modularity or extensibility, remains a cornerstone in modern software engineering, bringing in crucial benefits such as modular reasoning, program understanding, and collaborative software development. Current methodologies and software development technologies should be revised in order to produce software to meet system-oriented goals, while preserving high internal code quality. The role of the Software Engineer is essential, having to be aware of the implications that each design, architecture and implementation decision has on the application system ecosystem. This workshop is driven by one fundamental question: How does internal code quality interact with system-oriented goals? We welcome both positive and negative responses to this question. An example of the former would be modular reasoning systems specifically designed to promote system-oriented goals, whereas an example of the latter would be anti-patterns against system-oriented goals during software development. Areas of interest include but are not limited to: * Energy-aware software engineering (e.g. energy efficiency models, energy efficiency as a quality attribute) * Modularity support (e.g., programming language design, development tools or verification) for applications in resource-constrained or real-time systems * Emerging platforms (e.g., Internet of Things and wearable devices) * Security support (e.g., compositional information flow, compositional program analysis) * Software architecture for reusability and adaptability in systems and their interactions with applications * Empirical studies (patterns and anti-patterns) on the relationship between internal code quality and system-oriented goals * Software engineering techniques to balance the trade-off between internal code quality and efficiency * Memory bloats and long-tail performance problems across modular boundaries * Program optimization across modular boundaries * Internal code quality in systems software * Reasoning across applications, compilers, and virtual machines **************************************************************** PX 2017 - 2nd Programming Experience Workshop Submissions: Sat 4 Feb 2017 Notifications: Mon 27 Feb 2017 Workshop date: Mon 3 Apr 2017 http://programming-experience.org/px17 **************************************************************** Imagine a software development task: some sort of requirements and specification including performance goals and perhaps a platform and programming language. A group of developers head into a vast workroom. In that room they discover they need to explore the domain and the nature of potential solutions—they need exploratory programming. The Programming Experience Workshop is about what happens in that room when one or a couple of programmers sit down in front of computers and produce code, especially when it’s exploratory programming. Do they create text that is transformed into running behavior (the old way), or do they operate on behavior directly (“liveness”); are they exploring the live domain to understand the true nature of the requirements; are they like authors creating new worlds; does visualization matter; is the experience immediate, immersive, vivid and continuous; do fluency, literacy, and learning matter; do they build tools, meta-tools; are they creating languages to express new concepts quickly and easily; and curiously, is joy relevant to the experience? Correctness, performance, standard tools, foundations, and text-as-program are important traditional research areas, but the experience of programming and how to improve and evolve it are the focus of this workshop, and in this edition we would like to focus on exploratory programming. The technical topics include: * Exploratory programming * Live programming * Authoring * Representation of active content * Visualization * Navigation * Modularity mechanisms * Immediacy * Literacy * Fluency * Learning * Tool building * Language engineering ************************************************************************* ProWeb 2017 - 1st Workshop on Programming Technology for the Future Web Submissions: Wed 15 Feb 2017 Notifications: Wed 1 Mar 2017 Workshop date: Tue 4 Apr 2017 http://2017.programming-conference.org/track/proweb-2017-papers ************************************************************************* Full-fledged web applications have become ubiquitous on desktop and mobile devices alike. Whereas “responsive” web applications already offered a more desktop-like experience, there is an increasing demand for “rich” web applications (RIAs) that offer collaborative and even off-line functionality —Google docs being the prototypical example. Long gone are the days that web servers merely had to answer incoming HTTP request with a block of static HTML. Today’s servers react to a continuous stream of events coming from JavaScript applications that have been pushed to clients. As a result, application logic and data is increasingly distributed. Traditional dichotomies such as “client vs. server” and “offline vs. online” are fading. The 1st International Workshop on Programming Technology for the Future Web, or ProWeb17, is a forum for researchers and practitioners to share and discuss new technology for programming these and future evolutions of the web. We welcome submissions introducing programming technology (i.e., frameworks, libraries, programming languages, program analyses and development tools) for implementing web applications and for maintaining their quality over time, as well as experience reports about the use of state-of-the-art programming technology. Relevant topics include, but are not limited to: * Quality on the new web: static and dynamic program analyses; code, design test and process metrics; development and migration tools; automated testing and test generation; contract systems, type systems, and web service API conformance checking; … * Hosting languages on the web: new runtimes; transpilation or compilation to JavaScript, WebAssembly, asm.js, … * Designing languages for the web: multi-tier (or tierless) programming; reactive programming; frameworks for multi-tier or reactive programming on the web; … * Distributed data sharing, replication and consistency: cloud types, CRDTs, eventual consistency, offline storage, peer-to-peer communication, … * Security on the web: client-side and server-side security policies; policy enforcement; proxies and membranes; vulnerability detection; dynamic patching, … * Surveys and case studies using state-of-the-art web technology (e.g., WebAssembly, WebSocket, LocalStorage, AppCache, ServiceWorkers, Meteor, deepstream.io, Angular.js, React and React Native, Swarm.js, Caja, TypeScript, Proxies, ClojureScript, Amber Smalltalk, Scala.js, …) * Ideas on and experience reports about: how to reconcile the need for quality with the need for agility on the web; how to master and combine the myriad of tier-specific technologies required to develop a web application, … * Position statements on what the future of the web will look like **************************************************************** Salon des Refusés 2017 Submissions: Wed 1 Feb 2017 Notifications: Fri 17 Feb 2017 Workshop date: Tue 4 Apr 2017 https://refuses.github.io **************************************************************** Salon des Refusés (“exhibition of rejects”) was an 1863 exhibition of artworks rejected from the official Paris Salon. The jury of Paris Salon required near-photographic realism and classified works according to a strict genre hierarchy. Paintings by many, later famous, modernists such as Édouard Manet were rejected and appeared in what became known as the Salon des Refusés. This workshop aims to be the programming language research equivalent of Salon des Refusés. We provide a venue for exploring new ideas and new ways of doing computer science. Many interesting ideas about programming might struggle to find space in the modern programming language research community, often because they are difficult to evaluate using established evaluation methods (be it proofs, measurements or controlled user studies). As a result, new ideas are often seen as “unscientific”. This workshop provides a venue where such interesting and thought-provoking ideas can be exposed to critical evaluation. Submissions that provoke interesting discussion among the program committee members will be published together with an attributed review that presents an alternative position, develops additional context or summarizes discussion from the workshop. This means of engaging with papers not just enables explorations of novel programming ideas, but also encourages new ways of doing computer science. Topics of interest The scope of the workshop is determined more by the format of submissions than by the specific area of programming language or computer science research that we are interested in. We welcome submissions in a format that makes it possible to think about programming in a new way, including, but not limited to: * Thought experiments – we believe that thought experiments, analogies and illustrative metaphors can provide novel insights and inspire fruitful programming language ideas. * Experimentation – we find prejudices in favour of theory, as far back as there is institutionalized science, but programming can often be seen more as experimentation than as theorizing. We welcome interesting experiments even if there is yet no overarching theory that explains why they happened. * Paradigms – all scientific work is rooted in a scientific paradigm that frame what questions can be asked. We encourage submissions that reflect on existing paradigms or explore alternative scientific paradigms. * Metaphors, myths and analogies – any description of formal, mathematical, quantitative or even poetical nature still represents just an analogy. We believe that fruitful ideas can be learned from less common forms of analogies as well as from the predominant, formal and mathematical ones. * From jokes to science fiction – a story or an artistic performance may explore ideas and spark conversations that provide crucial inspiration for development of new computer science thinking.

1 0

ProWeb 2017: 1st International Workshop on Programming Technology for the Future Web
by Tim Molderez 19 Jan '17

19 Jan '17

ProWeb 2017: 1st International Workshop on Programming Technology for the Future Web http://2017.programming-conference.org/track/proweb-2017-papers Co-located with the <Programming> conference April 4, Brussels, Belgium ==================== Full-fledged web applications have become ubiquitous on desktop and mobile devices alike. Whereas “responsive” web applications already offered a more desktop-like experience, there is an increasing demand for “rich” web applications (RIAs) that offer collaborative and even off-line functionality —Google docs being the prototypical example. Long gone are the days that web servers merely had to answer incoming HTTP request with a block of static HTML. Today’s servers react to a continuous stream of events coming from JavaScript applications that have been pushed to clients. As a result, application logic and data is increasingly distributed. Traditional dichotomies such as “client vs. server” and “offline vs. online” are fading. ** Call for Papers ** The 1st International Workshop on Programming Technology for the Future Web, or ProWeb17, is a forum for researchers and practitioners to share and discuss new technology for programming these and future evolutions of the web. We welcome submissions introducing programming technology (i.e., frameworks, libraries, programming languages, program analyses and development tools) for implementing web applications and for maintaining their quality over time, as well as experience reports about the use of state-of-the-art programming technology. Relevant topics include, but are not limited to: * Quality on the new web: static and dynamic program analyses; code, design test and process metrics; development and migration tools; automated testing and test generation; contract systems, type systems, and web service API conformance checking; ... * Hosting languages on the web: new runtimes; transpilation or compilation to JavaScript, WebAssembly, asm.js, ... * Designing languages for the web: multi-tier (or tierless) programming; reactive programming; frameworks for multi-tier or reactive programming on the web; ... * Distributed data sharing, replication and consistency: cloud types, CRDTs, eventual consistency, offline storage, peer-to-peer communication, ... * Security on the web: client-side and server-side security policies; policy enforcement; proxies and membranes; vulnerability detection; dynamic patching, ... * Surveys and case studies using state-of-the-art web technology * Ideas on and experience reports about: how to reconcile the need for quality with the need for agility on the web; how to master and combine the myriad of tier-specific technologies required to develop a web application, .. * Position statements on what the future of the web should look like We solicit three kinds of submissions via EasyChair: https://easychair.org/conferences/?conf=proweb2017 - 6-page **technical papers** and **experience reports** that, when accepted, will be published in the workshop post-proceedings as part of of the ACM’s Digital Library. - 3-page **position statements** that, when accepted, will be published in the workshop post-proceedings as part of of the ACM’s Digital Library. - 1-page **presentation abstracts** that, when accepted, will be made available on the website. Submissions must follow the ACM Master Article Template (http://www.acm.org/publications/proceedings-template, sigconf option, 9 point font, Times New Roman font family, numeric citation style). Each submission will be reviewed by at least three members of the program committee. We welcome submissions that identify new problems, or report on promising ideas in early stages of research. Submissions of the third kind are ideal to further disseminate existing ideas within the community, to demonstrate existing tools, or simply to instigate a discussion. More information: http://2017.programming-conference.org/track/proweb-2017-papers ** Important dates (AoE) ** - Submission deadline: Wed 15 Feb 2017 - Author notification: Wed 1 Mar 2017 - Camera-ready version: Wed 15 Mar 2017 ** Organizers ** - Coen De Roover, Vrije Universiteit Brussel, Belgium - Anders Møller, Aarhus University, Denmark - Christophe Scholliers, Universiteit Gent, Belgium ** Program Committee ** - Vincent Balat, Université Paris Diderot, France - Nataliia Bielova, Inria, France - Avid Chaudhuri, Facebook, United States of America - Tobias Distiler, Friedrich-Alexander-Universität Erlangen-Nürnberg, Germany - Jan Martin Jansen, Netherlands Defence Academy, The Netherlands - Frank Piessens, iMinds, Belgium - Rinus Plasmeijer, Radboud University Nijmegen, The Netherlands - Michael Pradel, TU Darmstadt, Germany - Andreas Rossberg, Google, Germany - Sukyoung Ryu, KAIST, South Korea - Manuel Serrano, Inria, France - Mario Südholt, Inria, France - Tom Van Cutsem, Nokia Bell Labs, Belgium - Eelco Visser, Delft University of Technology, The Netherlands

1 0

[ANN] Haskell ITA meetup in Milan, Italy (2017-02-25)
by Francesco Ariis 17 Jan '17

17 Jan '17

Good evening -cafe, the italian Haskell Community (http://haskell-ita.it/) is happy to announce its winter Haskell meetup. The event is going to be hosted in Milano, on February 25th (Saturday). It will be kindly hosted by MIKAMAI [1], Via Giulio e Corrado Venini, 42 - 20127 Milano (MI), IT [1] https://www.mikamai.com/ To register, check: https://www.metooo.io/e/incontro-haskell-ita-inverno-2017 Any haskeller (beginner, experienced, curious) is welcome! *** italian follows *** Buonasera a tutti, abbiamo finalmente deciso la data dell'incontro invernale di Haskell-ITA! Ci riuniremo il 25 Febbraio 2017 (un Sabato), presso MIKAMAI [1], che gentilmente mette i locali a disposizione. [1] https://www.mikamai.com/ L'indirizzo è: Via Giulio e Corrado Venini, 42 - 20127 Milano (MI), IT Per registrarvi: https://www.metooo.io/e/incontro-haskell-ita-inverno-2017

1 0

[SEIT 2017] SEIT 2017 final CFPs: The 7th International Conference on Sustainable Energy Information Technology (May 16-19, 2017, Madeira, Portugal)
by Wim Ectors 16 Jan '17

16 Jan '17

-------------- Call for Papers ---------------------- The 7th International Conference on Sustainable Energy Information Technology (SEIT-17) Madeira, Portugal May 16-19, 2017 Conference Website: http://cs-conferences.acadiau.ca/seit-17`/ **************************************************************************** Important Dates =========== - Workshops Proposal Due: November 1, 2016 - Paper Submission Due: January 20, 2017 (FINAL) - Acceptance Notification: February 13, 2017 - Camera-Ready Submission: March 13, 2017 The goal of the SEIT-17 conference is to provide an international forum for scientists, engineers, and managers in academia, industry, and government to address recent research results and to present and discuss their ideas, theories, technologies, systems, tools, applications, work in progress and experiences on all theoretical and practical issues arising in sustainable energy information technology. All SEIT 2017 accepted papers will be published by Elsevier Science in the open-access Procedia Computer Science series on-line. Procedia Computer Sciences is hosted 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/. 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. All accepted papers will also be indexed in DBLP (http://dblp.uni-trier.de/) Selected papers will be invited for publication in an international journal. SEIT 2017 will be held in Madeira, a Portuguese archipelago. Madeira is a popular year-round tourist destination, known for its remarkable mountainous scenery and mild year-long climate. Although, Madeira is part of Europe it is approximately 1,000 km from the continent while being only 520 km from the coast of Africa. It is about an hour and a half flight from the capital of Portugal, Lisbon. Funchal, the picturesque capital of Madeira, is situated on the south coast of the island and one of Atlantic Oceans most popular cruise ship ports. Madeira is a scenic island with many unique destinations such as the Laurisilva forest, a UNESCO World Heritage site. SEIT-2017 will be held in conjunction with the 8th International Conference on Ambient Systems, Networks and Technologies (ANT, http://cs-conferences.acadiau.ca/ant-17/) Conference Main Topics: ================= - Advanced Techniques for Energy Applications - Energy Efficiency - Energy Policy - Environmental - Green Sustainability - Power Quality, Power Electronics and Electric Machines - Power Systems - Renewable Energies - Sensing & Monitoring - Smart Systems Committees ======== General Chair Gerrit Jan Schaeffer, The Flemish Institute of Technological Research, Belgium Bruce Spencer, University of New Brunswick, Canada Program Chairs çlvaro Henrique Rodrigues, University of Porto, Portugal Jesœs Fraile Ardanuy, Universidad PolitŽcnica de Madrid, Spain Ansar-Ul-Haque Yasar, IMOB Ð Hasselt University, Belgium Advisory Committee Bilal A. Akash, Dhofar University, Oman Antonio J. Conejo, Universidad de Castilla - La Mancha, Spain Derek J Croome, University of Reading, UK Geert Deconinck, KU Leuven, Belgium Jatin Nathwani, University of Waterloo, Canada Saffa Riffat, University of Nottingham, UK Ali Sayigh,World Renewable Energy Congress / Network Workshops Chairs Hui Hou, Wuhan University of Technology, China Haroon Malik, Marshall University, USA Publicity Chairs Mohamed Amine Ferrag, Guelma University, Algeria Seonghoon Kim, Georgia Southern University, USA Ilan Stern, Georgia Institute of Technology, USA Technical Program Committee http://cs-conferences.acadiau.ca/seit-17/#programCommittees

1 0

[ANT 2017] ANT 2017 final CFPs: The 8th International Conference on Ambient Systems, Networks and Technologies (May 16-19, 2017, Madeira, Portugal)
by Wim Ectors 16 Jan '17

16 Jan '17

The 8th International Conference on Ambient Systems, Networks and Technologies (ANT-2017) Madeira, Portugal May 16-19, 2017 Conference Website: http://cs-conferences.acadiau.ca/ant-17/ *Important Dates =========== - Workshops Proposal Due: November 1, 2016 - Paper Submission Due: January 20, 2016 (FINAL) - Acceptance Notification: February 13, 2017 - Camera-Ready Submission: March 13, 2017 ANT 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/) - IEEE Intelligent Transportation Systems Magazine (IF: 1.547), by IEEE ( http://ieeexplore.ieee.org/xpl/RecentIssue.jsp?punumber=5117645) - Journal of Personal and Ubiquitous Computing (IF: 1.498), by Springer ( http://www.springer.com/computer/hci/journal/779) ANT 2017 will be held in Madeira, a Portuguese archipelago. Madeira is a popular year-round tourist destination, known for its remarkable mountainous scenery and mild year-long climate. Although, Madeira is part of Europe it is approximately 1,000 km from the continent while being only 520 km from the coast of Africa. It is about an hour and a half flight from the capital of Portugal, Lisbon. Funchal, the picturesque capital of Madeira, is situated on the south coast of the island and one of Atlantic Oceans most popular cruise ship ports. Madeira is a scenic island with many unique destinations such as the Laurisilva forest, a UNESCO World Heritage site. ANT-2017 will be held in conjunction with the 7th International Conference on Sustainable Energy Information Technology (SEIT, http://cs-conferences.acadiau.ca/seit-17/) Conference Tracks ============== - Agent Systems, Intelligent Computing and Applications - Automatic Networks and Communications - Big Data and Analytics - Cloud Computing - Context-awareness and Multimodal Interfaces - Emerging Networking, Tracking and Sensing Technologies - Internet of Things - Mobile Networks, Protocols and Applications - Modeling and Simulation in Transportation Sciences - Multimedia and Social Computing - Real-time Big Data Stream Mining Architecture - Service Oriented Computing for Systems & Applications - Smart, Sustainable Cities and Climate Change Management - Smart Environments and Applications - Systems Security and Privacy - Systems Software Engineering - Vehicular Networks and Applications - General Track COMMITTEES ========= General Chairs Atta Baddi, University of Reading, UK Hossam Hassanein, Queen's University, Canada Albert Zomaya, The University of Sydney, Australia Program Chairs Ansar-Ul-Haque Yasar, IMOB Ð Hasselt University, Belgium Nuno Varandas, IPN Coimbra, Portugal Advisory Committee Reda Alhajj, University of Calgary, Canada Abdelfettah Belghith, University of Manouba, Tunisia Sajal K. Das, The University of Texas at Arlington, USA Erol Gelenbe, Imperial College, UK Ali Ghorbani, University of New Brunswick, Canada Vincenzo Loia, University of Salerno, Italy Timothy Shih, Tamkang University, Taiwan Peter Sloot, Universiteit van Amsterdam, Netherlands Ralf Steinmetz, Technische Universitaet Darmstadt, Germany Katia Sycara, Carnegie Mellon University, USA Peter Thomas, Manifesto Research, Australia Workshops Chair Stephane Galland, UTBM, France Program Vice Chairs Nik Bessis, Edge Hill University, UK Kechar Bouabdellah, Oran University, Algeria Samia Bouzefrane,CEDRIC Lab Conservatoire National des Arts et MŽtiers, France Lars Braubach, Hamburg University, Germany Amine Dhraief, Manouba University, Tunisia Roberto Di Pietro, Roma Tre University of Rome, Italy Antonio Filieri, Imperial College London, England Chaudhary Muhammad Imran, KSU, Saudi Arabia Nafaa Jabeur, GU Tech, Oman Yaser Jararweh, Jordan University of Science and Technology, Jordan Luk Knapen, IMOB Ð Hasselt University, Belgium Flavio Lombardi, Roma Tre University of Rome, Italy Haroon Malik, Marshall University, USA Nils Masuch, DAI Ð TU Berlin, Germany Ana C. R. Paiva, University of Porto, Portugal Francesco Pilla, Trinity College Dublin, Ireland Manuele Kirsch Pinheiro, University of Paris 1, France Lo'ai Tawalbeh, Umm AlQura University, KSA Yves Vanrompay, Hasselt University, Belgium International Journals Chair Michael Sheng, University of Adelaide, Australia Yongrui Qin, University of Huddersfield, UK Publicity Chairs Rui Din’s, Instituto de Telecomunica ›es, FCT-UNL, Lisbon, Portugal Sarmad Ullah Khan, CECOS University, Pakistan Josep Maria Salanova, CERT, Greece International Liaison Chairs Soumaya Cherkaoui, Sherbrooke University, Canada Paul Davidsson, Malmo University, Sweden Dino Pedreschi, University of Pisa, Italy David Taniar, Monash University, Australia Technical Program Committee http://cs-conferences.acadiau.ca/ant-17/#programCommittees Steering Committee Chair and Founder of ANT Elhadi Shakshuki, Acadia University, Canada

1 0

RV'17 - First call for papers and tutorials
by Klaus Havelund 15 Jan '17

15 Jan '17

*RV 2017* *Call for Papers and Tutorials* The 17th International Conference on Runtime Verification September 13-16, Seattle, WA, USA http://rv2017.cs.manchester.ac.uk Runtime verification is concerned with the monitoring and analysis of the runtime behaviour of software and hardware systems. Runtime verification techniques are crucial for system correctness, reliability, and robustness; they provide an additional level of rigor and effectiveness compared to conventional testing, and are generally more practical than exhaustive formal verification. Runtime verification can be used prior to deployment, for testing, verification, and debugging purposes, and after deployment for ensuring reliability, safety, and security and for providing fault containment and recovery as well as online system repair. Topics of interest to the conference include, but are not limited to: - specification languages - monitor construction techniques - program instrumentation - logging, recording, and replay - combination of static and dynamic analysis - specification mining and machine learning over runtime traces - monitoring techniques for concurrent and distributed systems - runtime checking of privacy and security policies - statistical model checking - metrics and statistical information gathering - program/system execution visualization - fault localization, containment, recovery and repair - integrated vehicle health management (IVHM) Application areas of runtime verification include cyber-physical systems, safety/mission-critical systems, enterprise and systems software, autonomous and reactive control systems, health management and diagnosis systems, and system security and privacy. We welcome contributions exploring the combination of runtime verification techniques with machine learning and static analysis. Whilst these are highlight topics, papers falling into these categories will not be treated differently from other contributions. An overview of previous RV conferences and earlier workshops can be found at: http://www.runtime-verification.org. RV 2017 will be held September 13-16 in Seattle, WA, USA. RV 2017 will feature a tutorial day (September 13), and three conference days (September 14-16). Important Dates *Papers* as well as *tutorial proposals* will follow the following timeline: - Abstract deadline: April 24, 2017 (Anywhere on Earth) - Paper and tutorial deadline: May 1, 2017 (Anywhere on Earth) - Tutorial notification: May 21, 2017 - Paper notification: June 26, 2017 - Conference: September 13-16, 2017 General Information on Submissions All papers and tutorials will appear in the conference proceedings in an LNCS volume. Submitted papers and tutorials must use the LNCS/Springer style detailed here: http://www.springer.de/comp/lncs/authors.html Papers must be original work and not be submitted for publication elsewhere. Papers must be written in English and submitted electronically (in PDF format) using the EasyChair submission page here: https://easychair.org/conferences/?conf=rv17 The page limitations mentioned below include all text and figures, but exclude references. Additional details omitted due to space limitations may be included in a clearly marked appendix, that will be reviewed at the discretion of reviewers, but not included in the proceedings. At least one author of each accepted paper and tutorial must attend RV 2017 to present. Paper Submissions There are three categories of papers which can be submitted: regular, short or tool papers. Papers in each category will be reviewed by at least 3 members of the Program Committee. - *Regular Papers* (up to 15 pages, not including references) should present original unpublished results. We welcome theoretical papers, system papers, papers describing domain-specific variants of RV, and case studies on runtime verification. - *Short Papers* (up to 6 pages, not including references) may present novel but not necessarily thoroughly worked out ideas, for example emerging runtime verification techniques and applications, or techniques and applications that establish relationships between runtime verification and other domains. - *Tool Demonstration Papers* (up to 8 pages, not including references) should present a new tool, a new tool component, or novel extensions to existing tools supporting runtime verification. The paper must include information on tool availability, maturity, selected experimental results and it should provide a link to a website containing the theoretical background and user guide. Furthermore, we strongly encourage authors to make their tools and benchmarks available with their submission. The Program Committee of RV 2017 will give a best paper award, and a selection of accepted regular papers will be invited to appear in a special issue of the Springer Journal on Formal Methods in System Design <http://link.springer.com/journal/10703>. Tutorial Submissions Tutorials are two-to-three-hour presentations on a selected topic. Additionally, tutorial presenters will be offered to publish a paper of up to 20 pages in the LNCS conference proceedings, not including references. A proposal for a tutorial must contain the subject of the tutorial, a proposed timeline, a note on previous similar tutorials (if applicable) and the differences to this incarnation, and a brief biography of the presenter. The proposal should not exceed 2 pages. Organization *General Chair* Klaus Havelund <http://www.havelund.com/>, NASA Jet Propulsion Laboratory, USA *Program Chairs* Giles Reger <http://www.cs.man.ac.uk/~regerg/>, University of Manchester, UK Shuvendu Lahiri <https://www.microsoft.com/en-us/research/people/shuvendu/>, Microsoft Research, USA *Finance Chair* Oleg Sokolsky <http://www.cis.upenn.edu/~sokolsky/>, University of Pennsylvania, USA *Publicity Chair* Ayoub Nour <http://www-verimag.imag.fr/~nouri/>i, University of Grenoble Alpes, France *Local Organisation Chairs* Grigory Fedyukovich <http://homes.cs.washington.edu/~grigory/about.html>, University of Washington, USA Rahul Kumar <http://rahulku.com/>, Microsoft Research, USA *Program Committee* Wolfgang Ahrendt <http://www.cse.chalmers.se/~ahrendt/>, Chalmers Univ. of Technology/Univ. of Gothenburg, Sweden Cyrille Artho <https://people.kth.se/~artho/>, KTH Royal Institute of Technology, Sweden Howard Barringer <http://www.manchester.ac.uk/research/Howard.barringer/>, The University of Manchester, UK Ezio Bartocci <http://www.eziobartocci.com/>, Vienna University of Technology, Austria Andreas Bauer <http://www.immerundewig.at/>, KUKA Systems, Germany Saddek Bensalem <http://www-verimag.imag.fr/~bensalem/>, VERIMAG (University of Grenoble Alpes), France Eric Bodden <http://www.bodden.de/>, Fraunhofer SIT and Technische University Darmstadt, Germany Borzoo Bonakdarpour <http://www.cas.mcmaster.ca/borzoo/>, McMaster University, Canada Christian Colombo <https://www.um.edu.mt/ict/cs/staff/christian_colombo>, University of Malta, Malta Ylies Falcone <http://www.ylies.fr/>, University of Grenoble Alpes, France Grigory Fedyukovich <http://homes.cs.washington.edu/~grigory/about.html>, University of Washington, USA Lu Feng <https://www.cs.virginia.edu/~lufeng/>, University of Virginia, USA Patrice Godefroid <https://patricegodefroid.github.io/>, Microsoft Research, USA Jean Goubault-Larrecq <http://www.lsv.ens-cachan.fr/~goubault/>, CNRS & ENS de Cachan, France Alex Groce <http://eecs.oregonstate.edu/people/groce-alex>, Northern Arizona University, USA Radu Grosu <https://ti.tuwien.ac.at/cps/people/grosu>, Vienna University of Technology, Austria Sylvain Hallé <http://leduotang.ca/sylvain/>, University of Québec at Chicoutimi, Canada Marieke Huisman <http://wwwhome.ewi.utwente.nl/~marieke/>, University of Twente, Netherlands Franjo Ivancic <https://sites.google.com/site/ivancic/>, Google Bengt Jonsson <http://user.it.uu.se/~bengt/>, Uppsala University, Sweden Felix Klaedtke <https://sites.google.com/site/felixklaedtkeshomepage/>, NEC Europe Ltd. Rahul Kumar <http://rahulku.com/>, Microsoft Research, USA Kim Larsen <http://people.cs.aau.dk/~kgl/>, Aalborg University, Denmark Insup Lee <http://www.cis.upenn.edu/~lee/home/home/index.shtml>, University of Pennsylvania, USA Axel Legay <https://people.irisa.fr/Axel.Legay/>, Inria Rennes, France Martin Leucker <https://www.isp.uni-luebeck.de/leucker>, University of Lübeck, Germany Ben Livshits <http://research.microsoft.com/en-us/um/people/livshits/>, Microsoft Research, USA David Lo <http://www.mysmu.edu/faculty/davidlo/>, Singapore Management University, Singapore Francesco Logozzo <https://www.linkedin.com/in/francesco-logozzo-4106386>, Facebook Parthasarathy Madhusudan <http://madhu.cs.illinois.edu/>, University of Illinois at Urbana-Champaign, USA Leonardo Mariani <http://www.lta.disco.unimib.it/lta/personalPages/leonardoMariani/leonardoMa…>, University of Milan Bicocca, Italy Madanlal Musuvathi <https://www.microsoft.com/en-us/research/people/madanm/> , Microsoft Research Ayoub Nouri <http://www-verimag.imag.fr/~nouri/>, University of Grenoble Alpes, France Gordon Pace <http://www.cs.um.edu.mt/gordon.pace/>, University of Malta, Malta Doron Peled <http://u.cs.biu.ac.il/~doronp/>, Bar Ilan University, Israel Grigore Rosu <http://fsl.cs.illinois.edu/index.php/Grigore_Rosu>, University of Illinois at Urbana-Champaign, USA Veselin Raychev <http://www.srl.inf.ethz.ch/raychev.php>, ETH Zurich, Switzerland Cesar Sanchez <http://software.imdea.org/~cesar/>, IMDEA Software Institute, Spain Gerardo Schneider, <http://www.cse.chalmers.se/~gersch/> Chalmers Univ. of Technology/Univ. of Gothenburg, Sweden Rahul Sharma <https://cs.stanford.edu/people/sharmar/>, Microsoft Research, USA Julien Signoles <http://julien.signoles.free.fr/index.en.html>, CEA LIST, France Scott Smolka <http://www3.cs.stonybrook.edu/~sas/>, Stony Brook University, USA Oleg Sokolsky <https://www.cis.upenn.edu/~sokolsky/>, University of Pennsylvania, USA Bernhard Steffen <http://ls5-www.cs.tu-dortmund.de/cms/de/mitarbeiter/prof/Bernhard_Steffen.h…> , University of Dortmund, Germany Scott Stoller <http://www3.cs.stonybrook.edu/~stoller/>, Stony Brook University, USA Volker Stolz <http://www.mn.uio.no/ifi/personer/vit/stolz/>, University of Olso, Norway Frits Vaandrager <http://www.cs.ru.nl/~fvaan/>, Radboud University, Netherlands Neil Walkinshaw <http://www2.le.ac.uk/departments/informatics/people/neil-walkinshaw>, University of Leicester, UK Chao Wang <http://www-bcf.usc.edu/~wang626/>, University of Southern California, USA Eugen Zalinescu <http://www2.in.tum.de/hp/Main?nid=315>, Technische Universitat München, Germany

1 0

SPLASH’17 Call for Contributions: Workshops
by Ronald Garcia 14 Jan '17

14 Jan '17

/************************************************************************************/ ACM Conference on Systems, Programming, Languages, and Applications: Software for Humanity (SPLASH'17) Vancouver, Canada October 22-27, 2017 http://2017.splashcon.org <http://2017.splashcon.org/> Sponsored by ACM SIGPLAN /************************************************************************************/ CALL FOR CONTRIBUTIONS: Workshops /************************************************************************************/ ## SPLASH Workshops Following its long-standing tradition, SPLASH 2017 will host a variety of high-quality workshops, allowing their participants to meet and discuss research questions with peers, to mature new and exciting ideas, and to build up communities and start new collaborations. SPLASH workshops complement the main tracks of the conference and provide meetings in a smaller and more specialized setting. Workshops cultivate new ideas and concepts for the future, optionally recorded in formal proceedings. ## Call for Submissions: We encourage proposals for workshops on any topic relevant to SPLASH. If there is a topic relevant to SPLASH that you feel passionate about, and you want to connect with others who have similar interests, you should consider submitting a proposal to organize a workshop! The exact format of the workshop can be defined by the proposal submitters, and we more than welcome new, and unconventional ideas for workshop formats. The following suggestions may serve as a starting point: - Mini-conferences provide their participants the possibility to present their work to other domain experts. The smaller and more specialized setting of the workshop allows for more extensive Q&A sessions and facilitates ample discussions,which may continue after the workshop. Typically, presentations of work-in-progress as well as of completed projects are welcome. The workshop may or may not produce formal proceedings. - Retreats act as a platform for domain experts to gather with the purpose of tackling the issues of a predetermined research agenda. Retreats are highly interactive and goal-oriented, allowing their participants to address open challenges in their domain, to explore new, uncharted ideas, and to (maybe even) uncover new, promising research domains. - Agenda-setting workshops provide a forum for domain experts to determine a research agenda for a sub-field, and may include collaborations on an agenda document that is published after the workshop is over. Other common activities at workshops include poster sessions, hands-on practical work, and focus groups. Proposal submitters should feel free to direct questions about workshop formats to the workshop chairs. Workshops that include presentation of research papers, and that implement a SIGPLAN-approved selection process, may be archived as formal proceedings in the ACM Digital Library; note that this option is available only to submitters to the early phase. ## Workshop Submission Phase: This year, SPLASH provides two options to submit proposals, either Early Phase or Late Phase (but not both): Early Phase Submissions due: 20 January 2017 Late Phase Submissions due: 3 March 2017 ## Information Website: http://2017.splashcon.org/track/splash-2017-Workshops <http://2017.splashcon.org/track/splash-2017-Workshops> Email: workshops(a)splashcon.org <mailto:workshops@splashcon.org> ## Organization: SPLASH General Chair: Gail Murphy (University of British Columbia) OOPSLA Papers Chair: Jonathan Aldrich (Carnegie Mellon University) Workshops Co-Chairs: Craig Anslow (Middlesex University, London) and Alex Potanin (Victoria University of Wellington) /************************************************************************************/

1 0