From rdgrande at site.uottawa.ca Thu Jun 1 16:51:07 2017 From: rdgrande at site.uottawa.ca (Robson De Grande) Date: Thu, 1 Jun 2017 12:51:07 -0400 Subject: [Haskell] Deadline Approaching: 20th ACM MSWiM 2017 - Miami Beach, FL Message-ID: =================================================== Call-For-Papers: 20th ACM MSWiM 2017 Miami Beach, Florida, Nov 21-25, 2017 http://www.mswimconf.com/2017 ==================================================== IMPORTANT: Submission deadline (Extended): June 5th 2017 (Firm) =================================================== Note: Extended versions of selected papers will be considered for publication in a Fast Track issue of Elsevier's Computer Communications. ===================================================== ACM* MSWiM 2017 is the 20th Annual International Conference on Modeling, Analysis and Simulation of Wireless and Mobile Systems. MSWiM is an international forum dedicated to in-depth discussion of Wireless and Mobile systems, networks, algorithms and applications, with an emphasis on rigorous performance evaluation. MSWiM is a highly selective conference with a long track record of publishing innovative ideas and breakthroughs. MSWiM 2017 will be held in Miami Beach, USA, Nov 21-25, 2017. Authors are encouraged to submit full papers presenting new research related to the theory or practice of all aspects of modeling, analysis and simulation of mobile and wireless systems. Submitted papers must not have been published elsewhere nor currently be under review by another conference or journal. Papers related to wireless and mobile network Modeling, Analysis, Design, and Simulation are solicited on, but not limited to, the following topics in mobile and wireless systems: -- Wireless Communication and Mobile Networking - Performance evaluation and modeling - Analytical Models - Simulation languages and tools for wireless systems - Wireless measurements tools and experiences - Formal methods for analysis of wireless systems - Correctness, survivability and reliability evaluation - Mobility modeling and management - Models and protocols for cognitive radio networks - Models and protocols for autonomic, or self-* networks - Capacity, coverage and connectivity modeling and analysis - Wireless network algorithms and protocols - Software Defined Network - Services for Smart City - Wireless PANs, LANs - Ad hoc and MESH networks - Vehicular Ad-hoc Networks (VANET) - Sensor and actuator networks - Delay Tolerant Networks - Integration of wired and wireless systems - Pervasive computing and emerging models - Wireless multimedia systems - QoS provisioning in wireless and mobile networks - Security and privacy of mobile/wireless systems - Algorithms and protocols for energy efficient operation and power control - Mobile applications, system software and algorithms - RF channel modeling and analysis - Design methodologies, Tools, prototypes and testbeds - Parallel and distributed simulation of wireless systems - Operating systems for mobile computations - Programming language support for mobility - Resource management techniques - Management of mobile object systems Paper Submission and Publication: High-quality original papers are solicited. Papers must be unpublished and must not be submitted for publication elsewhere. All papers will be reviewed by Technical Program Committee members and other experts active in the field to ensure high quality and relevance to the conference. More detailed instructions for EDAS paper submission can be found at http://www.mswimconf.com/2017. Accepted papers will appear in the conference proceedings to be published by ACM Press. Important Dates: Paper Registration (Full list of authors, title, keywords, abstract): May 28th 2017 Paper Submission Deadline (Extended): June 5, 2017 (Firm) Notification of Acceptance: July 5, 2017 Organizing Committee: General Co-Chair: - Antonio Loureiro, UFMG, Brazil TPC Co-Chairs: - Richard Yu, Carleton University Canada - Hsiao-Chun Wu, Louisana State University, USA Tutorial Chairs: - Pan Li, Case Western Reserve University, USA, - Costas Bush, Louisiana State University, USA Workshop Chair: - Paolo Bellavista, University of Bologna, Italy Demos/Toosl Chair - Raquel Mini, PUC-Minas, Brazil PhD Forum Chair - Bjorn Landfeldt, Lund University, Sweeden -------------- next part -------------- An HTML attachment was scrubbed... URL: From P.Achten at cs.ru.nl Fri Jun 2 10:17:16 2017 From: P.Achten at cs.ru.nl (Peter Achten) Date: Fri, 2 Jun 2017 12:17:16 +0200 Subject: [Haskell] Call for participation: Trends in Functional Programming, 19-21 june 2017 AND Trends in Functional Programming in Education, 22 june 2017, University of Kent, Canterbury Message-ID: ----------------------------- C A L L F O R P A R T I C I P A T I O N ----------------------------- ======== TFP 2017 =========== 18th Symposium on Trends in Functional Programming 19-21 June, 2017 University of Kent, Canterbury https://www.cs.kent.ac.uk/events/tfp17/index.html ========= TFPIE 2017 ======== Co-located with TFP, and included in the registration fee, is Workshop on Trends in Functional Programming in Education 22 June 2017 University of Kent, Canterbury https://www.cs.kent.ac.uk/people/staff/sjt/TFPIE2017/ The symposium on Trends in Functional Programming (TFP) is an international forum for researchers with interests in all aspects of functional programming, taking a broad view of current and future trends in the area. It aspires to be a lively environment for presenting the latest research results, and other contributions (see below). Authors of draft papers will be invited to submit revised papers based on the feedback receive at the symposium. A post-symposium refereeing process will then select a subset of these articles for formal publication. TFP 2017 will be the main event of a pair of functional programming events. TFP 2017 will be accompanied by the International Workshop on Trends in Functional Programming in Education (TFPIE), which will take place on 22 June. The TFP symposium is the heir of the successful series of Scottish Functional Programming Workshops. Previous TFP symposia were held in * Edinburgh (Scotland) in 2003; * Munich (Germany) in 2004; * Tallinn (Estonia) in 2005; * Nottingham (UK) in 2006; * New York (USA) in 2007; * Nijmegen (The Netherlands) in 2008; * Komarno (Slovakia) in 2009; * Oklahoma (USA) in 2010; * Madrid (Spain) in 2011; * St. Andrews (UK) in 2012; * Provo (Utah, USA) in 2013; * Soesterberg (The Netherlands) in 2014; * Inria Sophia-Antipolis (France) in 2015; * and Maryland (USA) in 2016. For further general information about TFP please see the TFP homepage. (http://www.tifp.org/). == SCOPE == The symposium recognizes that new trends may arise through various routes. As part of the Symposium's focus on trends we therefore identify the following five article categories. High-quality articles are solicited in any of these categories: Research Articles: leading-edge, previously unpublished research work Position Articles: on what new trends should or should not be Project Articles: descriptions of recently started new projects Evaluation Articles: what lessons can be drawn from a finished project Overview Articles: summarizing work with respect to a trendy subject Articles must be original and not simultaneously submitted for publication to any other forum. They may consider any aspect of functional programming: theoretical, implementation-oriented, or experience-oriented. Applications of functional programming techniques to other languages are also within the scope of the symposium. Topics suitable for the symposium include, but are not limited to: Functional programming and multicore/manycore computing Functional programming in the cloud High performance functional computing Extra-functional (behavioural) properties of functional programs Dependently typed functional programming Validation and verification of functional programs Debugging and profiling for functional languages Functional programming in different application areas: security, mobility, telecommunications applications, embedded systems, global computing, grids, etc. Interoperability with imperative programming languages Novel memory management techniques Program analysis and transformation techniques Empirical performance studies Abstract/virtual machines and compilers for functional languages (Embedded) domain specific languages New implementation strategies Any new emerging trend in the functional programming area If you are in doubt on whether your article is within the scope of TFP, please contact the TFP 2017 program chairs, Scott Owens and Meng Wang. == BEST PAPER AWARDS == To reward excellent contributions, TFP awards a prize for the best paper accepted for the formal proceedings. TFP traditionally pays special attention to research students, acknowledging that students are almost by definition part of new subject trends. A student paper is one for which the authors state that the paper is mainly the work of students, the students are listed as first authors, and a student would present the paper. A prize for the best student paper is awarded each year. In both cases, it is the PC of TFP that awards the prize. In case the best paper happens to be a student paper, that paper will then receive both prizes. == PAPER SUBMISSIONS == Acceptance of articles for presentation at the symposium is based on a lightweight peer review process of extended abstracts (4 to 10 pages in length) or full papers (20 pages). The submission must clearly indicate which category it belongs to: research, position, project, evaluation, or overview paper. It should also indicate which authors are research students, and whether the main author(s) are students. A draft paper for which ALL authors are students will receive additional feedback by one of the PC members shortly after the symposium has taken place. We use EasyChair for the refereeing process. Papers must be submitted at: https://easychair.org/conferences/?conf=tfp17 Papers must be written in English, and written using the LNCS style. For more information about formatting please consult the Springer LNCS web site: http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0 == INVITED SPEAKERS == Conor McBride University of Strathclyde (UK) Cătălin Hriţcu INRIA Paris (FR) Heather Miller Northeastern University (USA) and EPFL (CH) == IMPORTANT DATES == Submission of draft papers: 5 May, 2017 Notification: 12 May, 2017 Registration: 11 June, 2017 TFP Symposium: 19-21 June, 2017 Student papers feedback: 29 June, 2017 Submission for formal review: 2 August, 2017 Notification of acceptance: 3 November, 2017 Camera ready paper: 2 December, 2017 == PROGRAM COMMITTEE == Co-Chairs Meng Wang University of Kent (UK) Scott Owens University of Kent (UK) PC Jeremy Yallop University of Cambridge (UK) Nicolas Wu University of Bristol (UK) Laura Castro University of A Coruña (ES) Gabriel Scherer Northeastern University (US) Edwin Brady University of St Andrews (UK) Janis Voigtländer Radboud University Nijmegen (NL) Peter Achten Radboud University Nijmegen (NL) Tom Schrijvers KU Leuven (BE) Matthew Fluet Rochester Institute of Technology (US) Mauro Jaskelioff CIFASIS/Universidad Nacional de Rosario (AG) Patricia Johann Appalachian State University (US) Bruno Oliveira The University of Hong Kong (HK) Rita Loogen Philipps-Universität Marburg (GE) David Van Horn University of Marylan (US) Soichiro Hidaka Hosei University (JP) Michał Pałka Chalmers University of Technology (SE) Sandrine Blazy University of Rennes 1 - IRISA (FR) From tamarit27 at gmail.com Fri Jun 2 11:26:39 2017 From: tamarit27 at gmail.com (Salvador Tamarit) Date: Fri, 2 Jun 2017 13:26:39 +0200 Subject: [Haskell] CfP: 2nd Workshop on Actors and Active Objects (WAO 2017); Satellite event of iFM17 [Extended] Message-ID: [Apologies if you receive multiple copies of this announcement.] CALL FOR PAPERS WAO 2017 2nd Workshop on Actors and Active Objects A Satellite workshop of iFM 2017 Torino, Italy 18 September 2017 http://costa.ls.fi.upm.es/wao17 Description of the workshop =========================== Distribution and concurrency are currently mainstream. The Internet and the broad availability of multi-processors radically influence software. This brings renewed interest in developing both new concurrency models and associated programming languages techniques that help in understanding, analyzing, and verifying the behavior of concurrent and distributed programs. The actors or active objects concurrency model has emerged as an alternative to the usual thread-based concurrency model, providing programmers with high-level concurrency constructs that help in producing concurrent applications more modularly and in a less error-prone way. It is gaining a lot of popularity mainly because of the success of languages like Scala and Erlang. Also, most mainstream languages are nowadays providing actors or active-objects libraries. The objective of the workshop is to discuss about current evolution of actors and active objects and related languages, technology and tools. The goal is to make the workshop an active discussion forum for all work related to actor languages and active-objects in order to have a better view on the current and future trends in this field and perhaps build longer term collaborations. The workshop will be a mixture of invited presentations and short tutorials on state-of-the-art languages/techniques/tools by experts in the field, presentations of recently published high-quality papers, prototype demonstrations, and presentations of proofs-of-concept and promising ideas. Invited speaker =============== Lars Ake Fredlund, Technical University of Madrid Important dates =============== Abstract submission: June 7, 2017 (extended) Paper submission: June 9, 2017 (extended) Notification: July 10, 2017 Submission information ====================== We solicit papers in the following categories: (1) Regular research papers of at most 12 pages (excluding references) describing original scientific research results or its relevance to real applications. Case studies and tool demonstrations are also welcome, in these cases with a maximum length of 8 pages. The paper should explain why the technique/case-study/tool is relevant for the community, and, in particular, for practitioners. Submissions will be judged on the basis of significance, relevance, correctness, originality, and clarity. (2) Position papers of at most 4 pages describing exciting but not fully polished research (proofs-of-concept, promising ideas, etc.). (3) High-quality already published papers. Authors will send an extended abstract of at most 2 pages describing the work and a link to the publication. Revised versions of accepted papers of category (1), taking into account the feedback received at the workshop, will be published in a volume of the Electronic Proceedings in Theoretical Computer Science (EPTCS) series after the workshop. For submissions in categories (2) and (3) there will be a light-weight reviewing process where submissions will be judged on their interest to the workshop audience. Papers will be submitted (in PDF format) through Easychair at https://easychair.org/conferences/?conf=wao2017 Organisers ========== Miguel Gomez-Zamalloa, Complutense University of Madrid, Spain Guillermo Roman-Diez, Technical University of Madrid, Spain All questions about the workshop can be addressed to them via mail: mzamalloa at fdi.ucm.es groman at fi.upm.es Program Committee ================== Gul Agha University of Illinois at Urbana-Champaign Nikolaos Bezirgiannis Centrum Wiskunde & Informatica (CWI) Richard Bubel Technische Universitat Darmstadt Stijn De Gouw Open University (OU), The Netherlands Enrique Martin-Martin Complutense University of Madrid Ludovic Henrio CNRS, Sophia Antipolis, France Ka I Pun University of Oslo Rudolf Schlatte University of Oslo Kostis Sagonas Uppsala University Salvador Tamarit Technical University of Madrid -------------- next part -------------- An HTML attachment was scrubbed... URL: From heraldhoi at gmail.com Fri Jun 2 12:58:17 2017 From: heraldhoi at gmail.com (Geraldus) Date: Fri, 02 Jun 2017 12:58:17 +0000 Subject: [Haskell] How to Get Mailing List Messages without Haskell Digest Message-ID: Hi folks! I'm not sure about relation Haskell mailing list and Haskell Digest. Is it possible to receive messages from list but stop Haskell Digest subscription? Have a nice day! -------------- next part -------------- An HTML attachment was scrubbed... URL: From andrei at inf.unibe.ch Fri Jun 2 15:21:35 2017 From: andrei at inf.unibe.ch (Andrei Chis) Date: Fri, 2 Jun 2017 17:21:35 +0200 Subject: [Haskell] 3rd CfP: SLE 2017 (10th ACM SIGPLAN International Conference on Software Language Engineering) Message-ID: ======================================================================== **Call for Papers** **Abstract submission**: Friday 2, Jun 2017 ======================================================================== 10th ACM SIGPLAN International Conference on Software Language Engineering (SLE 2017) 23-24 October 2017, Vancouver, Canada (Co-located with SPLASH 2017) General chair: Benoit Combemale, University of Rennes 1, France Program co-chairs: Marjan Mernik, University of Maribor, Slovenia Bernhard Rumpe, RWTH Aachen University, Germany Artifact evaluation chairs: Tanja Mayerhofer, TU Wien, Austria Laurence Tratt, King's College London, UK Keynote Speaker: Peter D. Mosses, Swansea University, UK (http://cs.swan.ac.uk/~cspdm/) http://conf.researchr.org/track/sle-2017/sle-2017-papers http://www.sleconf.org/2017 Follow us on twitter: https://twitter.com/sleconf ======================================================================== Software Language Engineering (SLE) is the application of systematic, disciplined, and measurable approaches to the development, use, deployment, and maintenance of software languages. The term "software language" is used broadly, and includes: general-purpose programming languages; domain-specific languages (e.g. BPMN, Simulink, Modelica); modeling and metamodeling languages (e.g. SysML and UML); data models and ontologies (e.g. XML-based and OWL-based languages and vocabularies). ### Important Dates Fri 2 Jun 2017 - Abstract Submission Fri 9 Jun 2017 - Paper Submission Fri 4 Aug 2017 - Author Notification Thu 10 Aug 2017 - Artifact Submission Fri 1 Sep 2017 - Artifact Notification Fri 8 Sep 2017 - Camera Ready Deadline Sun 22 Oct - SLE workshops Mon 23 Oct - Tue 24 Oct 2017 - SLE Conference ### Topics of Interest SLE aims to be broad-minded and inclusive about relevance and scope. We solicit high-quality contributions in areas ranging from theoretical and conceptual contributions to tools, techniques, and frameworks in the domain of language engineering. Topics relevant to SLE cover generic aspects of software languages development rather than aspects of engineering a specific language. In particular, SLE is interested in principled engineering approaches and techniques in the following areas: * Language Design and Implementation * Approaches and methodologies for language design * Static semantics (e.g., design rules, well-formedness constraints) * Techniques for behavioral / executable semantics * Generative approaches (incl. code synthesis, compilation) * Meta-languages, meta-tools, language workbenches * Language Validation * Verification and formal methods for languages * Testing techniques for languages * Simulation techniques for languages * Language Integration and Composition * Coordination of heterogeneous languages and tools * Mappings between languages (incl. transformation languages) * Traceability between languages * Deployment of languages to different platforms * Language Maintenance * Software language reuse * Language evolution * Language families and variability * Domain-specific approaches for any aspects of SLE (design, implementation, validation, maintenance) * Empirical evaluation and experience reports of language engineering tools * User studies evaluating usability * Performance benchmarks * Industrial applications ### Types of Submissions * **Research papers**: These should report a substantial research contribution to SLE or successful application of SLE techniques or both. Full paper submissions must not exceed 12 pages including bibliography in ACM SIGPLAN acmart conference style (http://www.sigplan.org/Resources/Author/). * **Tool papers**: Because of SLE's interest in tools, we seek papers that present software tools related to the field of SLE. Selection criteria include originality of the tool, its innovative aspects, and relevance to SLE. Any of the SLE topics of interest are appropriate areas for tool demonstrations. Submissions must provide a tool description of 4 pages including bibliography in ACM SIGPLAN acmart conference style (http://www.sigplan.org/Resources/Author/), and a demonstration outline including screenshots of up to 6 pages. Tool demonstrations must have the keywords “Tool Demo” or “Tool Demonstration” in the title. The 4-page tool description will, if the demonstration is accepted, be published in the proceedings. The 6-page demonstration outline will be used by the program committee only for evaluating the submission. * **Industrial papers**: These should describe real-world application scenarios of SLE in industry, explained in their context with an analysis of the challenges that were overcome and the lessons which the audience can learn from this experience. Industry paper submissions must not exceed 6 pages including bibliography in ACM SIGPLAN acmart conference style (http://www.sigplan.org/Resources/Author/). * **New ideas / vision papers**: New ideas papers should describe new, non-conventional SLE research approaches that depart from standard practice. They are intended to describe well-defined research ideas that are at an early stage of investigation. Vision papers are intended to present new unifying theories about existing SLE research that can lead to the development of new technologies or approaches. New ideas / vision papers must not exceed 4 pages including bibliography in ACM SIGPLAN acmart conference style (http://www.sigplan.org/Resources/Author/). ### Artifact evaluation SLE will for the second year use an evaluation process for assessing the quality of artifacts on which papers are based. The aim of this evaluation process is to foster a culture of experimental reproducibility as well as a higher quality in the research area as a whole. Authors of papers accepted for SLE 2017 will be invited to submit artifacts. Any kind of artifact that is presented in the paper, supplements the paper with further details, or underlies the paper can be submitted. This includes, for instance, tools, grammars, metamodels, models, programs, algorithms, scripts, proofs, datasets, statistical tests, checklists, surveys, interview scripts, visualizations, annotated bibliographies, and tutorials. The submitted artifacts will be reviewed by a dedicated Artifact Evaluation Committee (AEC). Artifacts that live up to the expectations created by the paper will receive a badge of approval from the AEC. The approved artifacts will be invited for inclusion in the electronic conference proceedings published in the ACM Digital Library. This will ensure the permanent and durable storage of the artifacts alongside the published papers fostering the repeatability of experiments, enabling precise comparison with alternative approaches, and helping the dissemination of the author’s ideas in detail. Participating in the artifact evaluation and publishing approved artifacts in the ACM Digital Library is voluntary. However, we strongly encourage authors to consider this possibility as the availability of artifacts will greatly benefit readers of papers and increase the impact of the work. Note that the artifact evaluation cannot affect the acceptance of the paper, because it only happens after the decision about acceptance has been made. ### Publications All submitted papers will be reviewed by at least three members of the program committee. All accepted papers, including tool papers, industrial papers and new ideas / vision papers will be published in ACM Digital Library. Selected accepted papers will be invited to a special issue of the Computer Languages, Systems and Structures (COMLAN) journal. ### Awards * **Distinguished paper**: Award for most notable paper, as determined by the PC chairs based on the recommendations of the program committee. * **Distinguished reviewer**: Award for distinguished reviewer, as determined by the PC chairs using feedback from the authors. * **Distinguished artifact**: Award for the artifact most significantly exceeding expectations, as determined by the AEC chairs based on the recommendations of the artifact evaluation committee. ### Program Committee Marjan Mernik (co-chair), University of Maribor, Slovenia Bernhard Rumpe (co-chair), RWTH Aachen University, Germany Christian Berger, Chalmers, Sweden Mark van den Brand, TU Eindhoven, The Netherlands Ruth Breu, University of Innsbruck, Austria Jordi Cabot, ICREA, Spain Walter Cazzola, University of Milan, Italy Marsha Chechik, University of Toronto, Canada Tony Clark, Middlesex University, UK Tom Dinkelaker, Ericsson, Germany Bernd Fischer, Stellenbosch University, South Africa Sebastian Gerard, CEA, France Jeff Gray, University of Alabama, USA Esther Guerra, Autonomous University of Madrid, Spain Michael Homer, Victoria University of Wellington, New Zealand Ralf Lämmel, University of Koblenz-Landau, Germany Tihamer Levendovszky, Microsoft, USA Gunter Mussbacher, McGill University, Canada Terence Parr, University of San Francisco, USA Jaroslav Porubän, University of Košice, Slovakia Jan Ringert, Tel Aviv University, Israel Julia Rubin, University of British Columbia, Canada Tony Sloane, Macquarie University, Australia Eugene Syriani, University of Montreal, Canada Emma Söderberg, Google, Denmark Eric Van Wyk, University of Minnesota, USA Jurgen Vinju, CWI, Netherlands Eric Walkingshaw, Oregon State University, USA Andreas Wortmann, RWTH Aachen University, Germany Tian Zhang, Nanjing University, China ### Contact For any question, please contact the organizers via email: sle2017 at inria.fr From hjgtuyl at chello.nl Sat Jun 3 12:46:10 2017 From: hjgtuyl at chello.nl (Henk-Jan van Tuyl) Date: Sat, 03 Jun 2017 14:46:10 +0200 Subject: [Haskell] How to Get Mailing List Messages without Haskell Digest In-Reply-To: References: Message-ID: Hi, You can change from digest to receiving separate messages by changing a setting at page https://mail.haskell.org/mailman/listinfo/haskell , after the question Would you like to receive list mail batched in a daily digest? set the radio button to "No" You might also be interested in Haskell Café, where there is more traffic: https://mail.haskell.org/mailman/listinfo/haskell-cafe Regards, Henk-Jan van Tuyl On Fri, 02 Jun 2017 14:58:17 +0200, Geraldus wrote: [...] > I'm not sure about relation Haskell mailing list and Haskell Digest. > Is it possible to receive messages from list but stop Haskell Digest > subscription? [...] -- Folding at home What if you could share your unused computer power to help find a cure? In just 5 minutes you can join the world's biggest networked computer and get us closer sooner. Watch the video. http://foldingathome.stanford.edu/ http://Van.Tuyl.eu/ http://members.chello.nl/hjgtuyl/tourdemonad.html Haskell programming -- From rdgrande at site.uottawa.ca Sat Jun 3 12:58:03 2017 From: rdgrande at site.uottawa.ca (Robson De Grande) Date: Sat, 3 Jun 2017 08:58:03 -0400 Subject: [Haskell] CFP Special Sessions: DS-RT 2017 - Rome, Italy, October 18-20, 2017 Message-ID: Dear Colleagues and Researchers, Apologies, if you have received multiple copies of this CFP. ********** CALL FOR PAPER ********** DS-RT 2017, the 21st IEEE/ACM International Symposium on Distributed Simulations and Real Time Applications, is running four special sessions this year: - Distributed Simulations of Distributed Systems - Agent-based Modeling and Simulation - Simulation of Urban Traffic Management and ITS - Augmented and Virtual Reality for Real-Time Applications Those special sessions cover important areas of the field of distributed simulations and real time applications, and many papers were accepted in previous editions of DS-RT on the same topics. See below for more detailed descriptions of those special sessions. ***** IMPORTANT DATES ***** Full paper submission deadline: June 5th, 2017 Paper acceptance notification: June 26th, 2017 ***** PAPER SUBMISSION AND REVIEW ***** Submitted manuscripts must be in standard IEEE two-column format that is used for IEEE conference proceedings and must not exceed "8 pages" (2-page extension allowed), including figures, tables and references. Standard IEEE templates for Microsoft Word or LaTeX formats can be found at: - http://www.ieee.org/conferences_events/conferences/publishing/templates.html A submission may present preliminary results, propose new research direction, provide insightful retrospective, or offer a provocative viewpoint on important topics related to the considered special session. Papers will be selected based on their likelihood of generating insightful technical discussions at the special session and influencing future research. Papers must be unpublished and must not be submitted for publication elsewhere. All papers will be reviewed by Technical Program Committee members and other experts active in the field to ensure high quality and relevance to the conference and the special session. At least one author of accepted papers must attend the conference and present its contribution. Accepted papers will appear in the conference proceedings to be published by IEEE Press. ***** FOR MORE INFORMATION ***** For questions about the paper submission and review process, please contact the session organisers - find all relevant information on the corresponding web pages below. ***** DESCRIPTION OF THE SPECIAL SESSIONS ***** * Special Session on Distributed Simulations of Distributed Systems Distributed simulation (DS) is a valuable tool for understanding and evaluating distributed systems. The current computing trend sees businesses and individuals moving toward a more centralized infrastructure, namely the cloud. On the one hand, as the computing infrastructure at data centers is highly complex and distributed, DS becomes essential for diagnosing and gaining insights of the system. On the other hand, the scale and nature of interaction between different components in the cloud present new challenges and push DS's state of the art. Another computing trend that has potential to drive DS is internet-of-things. Such complex systems consist of a large number of autonomous, heterogeneous devices communicating with one another in non-uniform manner. DS is valuable not only for discerning system properties but also for predicting the devices' emergent behavior. Finally, users in online social networks make up large distributed systems. Insights of user interaction and the network's collective behavior --- the study of which fits well into the realm of DS --- bring significant value to both the society and the business of social network providers. This special session seeks to bring together experts and practitioners in the domain of DS to discuss new opportunities and challenges for DS. We welcome research papers on both theoretical and empirical issues. Web page: http://ds-rt.com/2017/dsimdsys_2017.htm * Special Session on Agent-based Modeling and Simulation This special session focuses on general aspects and special properties for agent-based modeling and simulations that allows them to be applied on several scientific domains, such as sociology, physics, chemistry, biology, ecology, and economy. The session is intended to bring together researchers and practitioners, so they can present the current status of their work and discuss the challenges they face in developing solutions and applications for agent-based simulations. Consequently, the design of these simulations aims not only to social contexts but also to more technical domains, which involves highly complex interactive systems. Web page: http://ds-rt.com/2017/abms_2017.htm * Special Session on Simulation of Urban Traffic Management and ITS This special session focuses on simulation tools and real-time simulation applications used in and for evaluation, management, and design of Intelligent Transportation Systems (ITS), as well as Smart Cities. Such simulations are expected to offer prediction and on-the-flow feedback for the better decision-making, bringing up means for both the implementation of more complex traffic management systems and end-user applications. Off-line and real-time analyses of data collected from infrastructured systems (e.g. real-time traffic information), mobile, distributed technologies (e.g. communication devices), and socially-build systems (e.g. social networks applications) are of great interest for shaping and influencing how ITS solutions are designed. Thus, we are particularly interested in how these data and technologies can be incorporated in domain-related models and simulations. We aim to bring together experts from both industry and academia to discuss the challenges related to modelling and simulation for ITS. Web page: http://ds-rt.com/2017/soiits_2017.htm Best Regards, DS-RT 2017 Special Session Chairs * Special Session on Augmented and Virtual Reality for Real-Time Applications Virtual Reality (VR) allows users to be immersed in and interact with a fully virtual computer generated environment. On the other hand, Augmented Reality (AR) technologies add digital information on top of the physical reality, allowing users to gain more knowledge about their environment. VR and AR can become valuable tools for understanding, visualizing or evaluating real-time applications, such as simulations. Both technologies offer tremendous possibilities in terms of visualization, interaction and collaboration and become widely available with the development of new affordable devices and toolkits. This special sessions aims at bringing together industrial experts and researchers from academia to present their results and discuss the challenges related to the use of VR and AR technologies dedicated to real-time applications. We welcome research papers on both theoretical and empirical issues. Web page: http://ds-rt.com/2017/avrrta_2017.htm * Special Session on Simulation of Urban Traffic Management and ITS This special session focuses on simulation tools and real-time simulation applications used in and for evaluation, management, and design of Intelligent Transportation Systems (ITS), as well as Smart Cities. Such simulations are expected to offer prediction and on-the-flow feedback for the better decision-making, bringing up means for both the implementation of more complex traffic management systems and end-user applications. Off-line and real-time analyses of data collected from infrastructured systems (e.g. real-time traffic information), mobile, distributed technologies (e.g. communication devices), and socially-build systems (e.g. social networks applications) are of great interest for shaping and influencing how ITS solutions are designed. Thus, we are particularly interested in how these data and technologies can be incorporated in domain-related models and simulations. We aim to bring together experts from both industry and academia to discuss the challenges related to modelling and simulation for ITS. Web page: http://ds-rt.com/2017/soiits_2017.htm -------------- next part -------------- An HTML attachment was scrubbed... URL: From abela at chalmers.se Sat Jun 3 15:28:51 2017 From: abela at chalmers.se (Andreas Abel) Date: Sat, 3 Jun 2017 17:28:51 +0200 Subject: [Haskell] APLAS 2017: June 13 deadline, 2nd CfP, Asian Symposium on Programming Languages and Systems Message-ID: <1adc43e3-c415-f086-8093-6bfd5bfbcf15@chalmers.se> Submit your Haskell papers to APLAS! --Andreas ********************************************************************* APLAS 2017 Second Call for Papers 15th Asian Symposium on Programming Languages and Systems Suzhou, China, November 27-29, 2017 https://www-aplas.github.io/ ********************************************************************* # Important Dates - Abstract deadline: Tuesday, June 13, 2017 - Paper deadline: Friday, June 16, 2017 - Author response: Wednesday-Friday, July 26-28, 2017 - Author notification: Monday, August 14, 2017 - Camera-ready deadline: Friday, September 1, 2017 - Conference: Monday-Wednesday, November 27-29, 2017 All deadline times are AoE. # About APLAS aims to stimulate programming language research by providing a forum for the presentation of latest results and the exchange of ideas in programming languages and systems. APLAS is based in Asia but is an international forum that serves the worldwide programming languages community. APLAS is sponsored by the Asian Association for Foundation of Software (AAFS), founded by Asian researchers in cooperation with many researchers from Europe and the USA. Past APLAS symposiums were successfully held in Hanoi ('16), Pohang ('15), Singapore ('14), Melbourne ('13), Kyoto ('12), Kenting ('11), Shanghai ('10), Seoul ('09), Bangalore ('08), Singapore ('07), Sydney ('06), Tsukuba ('05), Taipei ('04), and Beijing ('03) after three informal workshops. Proceedings of the past symposiums were published in Springer's LNCS. # Topics The symposium is devoted to foundational and practical issues broadly spanning the areas of programming languages and systems. Papers are solicited on topics such as - semantics, logics, foundational theory - design of languages, type systems, and foundational calculi - domain-specific languages - compilers, interpreters, abstract machines - program derivation, synthesis, and transformation - program analysis, verification, model-checking - logic, constraint, probabilistic, and quantum programming - software security - concurrency and parallelism - tools and environments for programming and implementation Topics are not limited to those discussed in previous symposiums. Papers identifying future directions of programming and those addressing the rapid changes of the underlying computing platforms are especially welcome. Demonstration of systems and tools in the scope of APLAS are welcome to the System and Tool demonstrations category. Authors concerned about the appropriateness of a topic are welcome to consult with program chair prior to submission. # Submission We solicit submissions in two categories: - **Regular research papers** describing original scientific research results, including system development and case studies. Regular research papers *should not exceed 18 pages* in the Springer LNCS format, including bibliography and figures. This category encompasses both theoretical and implementation (also known as system descriptions) papers. In either case, submissions should clearly identify what has been accomplished and why it is significant. Submissions will be judged on the basis of significance, relevance, correctness, originality, and clarity. System descriptions papers should contain a link to a working system and will be judged on originality, usefulness, and design. In case of lack of space, proofs, experimental results, or any information supporting the technical results of the paper could be provided as an appendix or a link to a web page, but reviewers are not obliged to read them. - **System and tool demonstrations** describing a demonstration of a tool or a system that support theory, program construction, reasoning, or program execution in the scope of APLAS. The main purpose of a tool paper is to display a completed, robust and well-documented tool--highlighting the overall functionality of the tool, the interfaces of the tool, interesting examples and applications of the tool, an assessment of the tool's strengths and weaknesses, and a summary of documentation/support available with the tool. Authors of tool demonstration proposals are expected to present a live demonstration of the tool at the conference. It is highly desirable that the tools are available on the web. System and Tool papers should not exceed 8 pages in the Springer LNCS format, including bibliography and figures. They may include an additional appendix of up to 6 extra pages giving the outline, screenshots, examples, etc. to indicate the content of the proposed live demo. Papers should be submitted electronically via the submission web page https://easychair.org/conferences/?conf=aplas2017 using EasyChair. The acceptable format is PDF. Submitted papers must be unpublished and not submitted for publication elsewhere. Papers must be written in English. The proceedings will be published as a volume in Springer's LNCS series. Accepted papers must be presented at the conference. # Review Process *New for APLAS 2017* ## Lightweight Double-Blind Reviewing Process APLAS 2017 will use a lightweight double-blind reviewing process. Following this process means that reviewers will not see the authors' names or affiliations as they initially review a paper. The authors' names will then be revealed to the reviewers only once their reviews have been submitted. To facilitate this process, submitted papers must adhere to the following: - **Author names and institutions must be omitted** and - References to the 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 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, makes the job of reviewing the paper more difficult, or interferes with the process of disseminating new ideas. For example, important background references should *not* be omitted or anonymized, even if they are written by the same authors and share common ideas, techniques, or infrastructure. 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. ## Author Response Period During the author response period, authors will be able to read reviews and respond to them as appropriate. ## Research Integrity The Program Committee reserves the right, up until the time of publication, to reverse a decision of paper acceptance. Reversal is possible if fatal flaws are discovered in the paper, or research integrity is found to have been seriously breached. # Organizers ## General Chair Xinyu Feng (University of Science and Technology of China) ## Program Chair Bor-Yuh Evan Chang (University of Colorado Boulder) ## Program Committee Andreas Abel (Gothenburg University) Aws Albarghouthi (University of Wisconsin-Madison) Sam Blackshear (Facebook) Yu-Fang Chen (Academia Sinica) Yuting Chen (Shanghai Jiao Tong University) Stephen Chong (Harvard University) Vijay D'Silva (Google) Benjamin Delaware (Purdue University) Rayna Dimitrova (MPI-SWS) Cezara Dragoi (INRIA, ENS, CNRS) William Harris (Georgia Institute of Technology) Guoliang Jin (North Carolina State University) Akash Lal (Microsoft Research, India) Vu Le (Microsoft) Akimasa Morihata (University of Tokyo) Sergio Mover (University of Colorado Boulder) Santosh Nagarakatte (Rutgers University) Hakjoo Oh (Korea University) Bruno C. D. S. Oliveira (The University of Hong Kong) Xiaokang Qiu (Purdue University) Arjun Radhakrishna (University of Pennsylvania) Aseem Rastogi (Microsoft Research) Sukyoung Ryu (KAIST) Ilya Sergey (University College London) Makoto Tatsuta (National Institute of Informatics) Tachio Terauchi (JAIST) Bow-Yaw Wang (Academia Sinica) Yingfei Xiong (Peking University) Kwangkeun Yi (Seoul National University) Danfeng Zhang (Pennsylvania State University) Xin Zhang (Georgia institute of Technology) Kenny Zhu (Shanghai Jiao Tong University) ## Local Organization Chair Ming Fu (University of Science and Technology of China) -- Conference Website: https://www-aplas.github.io/ EasyChair: https://easychair.org/conferences/?conf=aplas2017 -- Andreas Abel <>< Du bist der geliebte Mensch. Department of Computer Science and Engineering Chalmers and Gothenburg University, Sweden andreas.abel at gu.se http://www.cse.chalmers.se/~abela/ From andrei at inf.unibe.ch Mon Jun 5 07:50:21 2017 From: andrei at inf.unibe.ch (Andrei Chis) Date: Mon, 5 Jun 2017 09:50:21 +0200 Subject: [Haskell] Deadline Extension - SLE 2017 (10th ACM SIGPLAN International Conference on Software Language Engineering) Message-ID: ======================================================================== **Call for Papers** - **Deadline Extension** **Abstract Submission**: Friday 9, June 2017 **Paper Submission**: Friday 16, June 2017 ======================================================================== 10th ACM SIGPLAN International Conference on Software Language Engineering (SLE 2017) 23-24 October 2017, Vancouver, Canada (Co-located with SPLASH 2017) General chair: Benoit Combemale, University of Rennes 1, France Program co-chairs: Marjan Mernik, University of Maribor, Slovenia Bernhard Rumpe, RWTH Aachen University, Germany Artifact evaluation chairs: Tanja Mayerhofer, TU Wien, Austria Laurence Tratt, King's College London, UK Keynote Speaker: Peter D. Mosses, Swansea University, UK (http://cs.swan.ac.uk/~cspdm/) http://conf.researchr.org/track/sle-2017/sle-2017-papers http://www.sleconf.org/2017 Follow us on twitter: https://twitter.com/sleconf ======================================================================== Software Language Engineering (SLE) is the application of systematic, disciplined, and measurable approaches to the development, use, deployment, and maintenance of software languages. The term "software language" is used broadly, and includes: general-purpose programming languages; domain-specific languages (e.g. BPMN, Simulink, Modelica); modeling and metamodeling languages (e.g. SysML and UML); data models and ontologies (e.g. XML-based and OWL-based languages and vocabularies). ### Important Dates Fri 9 Jun 2017 - Abstract Submission Fri 16 Jun 2017 - Paper Submission Fri 4 Aug 2017 - Author Notification Thu 10 Aug 2017 - Artifact Submission Fri 1 Sep 2017 - Artifact Notification Fri 8 Sep 2017 - Camera Ready Deadline Sun 22 Oct - SLE workshops Mon 23 Oct - Tue 24 Oct 2017 - SLE Conference ### Topics of Interest SLE aims to be broad-minded and inclusive about relevance and scope. We solicit high-quality contributions in areas ranging from theoretical and conceptual contributions to tools, techniques, and frameworks in the domain of language engineering. Topics relevant to SLE cover generic aspects of software languages development rather than aspects of engineering a specific language. In particular, SLE is interested in principled engineering approaches and techniques in the following areas: * Language Design and Implementation * Approaches and methodologies for language design * Static semantics (e.g., design rules, well-formedness constraints) * Techniques for behavioral / executable semantics * Generative approaches (incl. code synthesis, compilation) * Meta-languages, meta-tools, language workbenches * Language Validation * Verification and formal methods for languages * Testing techniques for languages * Simulation techniques for languages * Language Integration and Composition * Coordination of heterogeneous languages and tools * Mappings between languages (incl. transformation languages) * Traceability between languages * Deployment of languages to different platforms * Language Maintenance * Software language reuse * Language evolution * Language families and variability * Domain-specific approaches for any aspects of SLE (design, implementation, validation, maintenance) * Empirical evaluation and experience reports of language engineering tools * User studies evaluating usability * Performance benchmarks * Industrial applications ### Types of Submissions * **Research papers**: These should report a substantial research contribution to SLE or successful application of SLE techniques or both. Full paper submissions must not exceed 12 pages including bibliography in ACM SIGPLAN acmart conference style ( http://www.sigplan.org/Resources/Author/). * **Tool papers**: Because of SLE's interest in tools, we seek papers that present software tools related to the field of SLE. Selection criteria include originality of the tool, its innovative aspects, and relevance to SLE. Any of the SLE topics of interest are appropriate areas for tool demonstrations. Submissions must provide a tool description of 4 pages including bibliography in ACM SIGPLAN acmart conference style ( http://www.sigplan.org/Resources/Author/), and a demonstration outline including screenshots of up to 6 pages. Tool demonstrations must have the keywords “Tool Demo” or “Tool Demonstration” in the title. The 4-page tool description will, if the demonstration is accepted, be published in the proceedings. The 6-page demonstration outline will be used by the program committee only for evaluating the submission. * **Industrial papers**: These should describe real-world application scenarios of SLE in industry, explained in their context with an analysis of the challenges that were overcome and the lessons which the audience can learn from this experience. Industry paper submissions must not exceed 6 pages including bibliography in ACM SIGPLAN acmart conference style ( http://www.sigplan.org/Resources/Author/). * **New ideas / vision papers**: New ideas papers should describe new, non-conventional SLE research approaches that depart from standard practice. They are intended to describe well-defined research ideas that are at an early stage of investigation. Vision papers are intended to present new unifying theories about existing SLE research that can lead to the development of new technologies or approaches. New ideas / vision papers must not exceed 4 pages including bibliography in ACM SIGPLAN acmart conference style (http://www.sigplan.org/Resources/Author/). ### Artifact evaluation SLE will for the second year use an evaluation process for assessing the quality of artifacts on which papers are based. The aim of this evaluation process is to foster a culture of experimental reproducibility as well as a higher quality in the research area as a whole. Authors of papers accepted for SLE 2017 will be invited to submit artifacts. Any kind of artifact that is presented in the paper, supplements the paper with further details, or underlies the paper can be submitted. This includes, for instance, tools, grammars, metamodels, models, programs, algorithms, scripts, proofs, datasets, statistical tests, checklists, surveys, interview scripts, visualizations, annotated bibliographies, and tutorials. The submitted artifacts will be reviewed by a dedicated Artifact Evaluation Committee (AEC). Artifacts that live up to the expectations created by the paper will receive a badge of approval from the AEC. The approved artifacts will be invited for inclusion in the electronic conference proceedings published in the ACM Digital Library. This will ensure the permanent and durable storage of the artifacts alongside the published papers fostering the repeatability of experiments, enabling precise comparison with alternative approaches, and helping the dissemination of the author’s ideas in detail. Participating in the artifact evaluation and publishing approved artifacts in the ACM Digital Library is voluntary. However, we strongly encourage authors to consider this possibility as the availability of artifacts will greatly benefit readers of papers and increase the impact of the work. Note that the artifact evaluation cannot affect the acceptance of the paper, because it only happens after the decision about acceptance has been made. ### Publications All submitted papers will be reviewed by at least three members of the program committee. All accepted papers, including tool papers, industrial papers and new ideas / vision papers will be published in ACM Digital Library. Selected accepted papers will be invited to a special issue of the Computer Languages, Systems and Structures (COMLAN) journal. ### Awards * **Distinguished paper**: Award for most notable paper, as determined by the PC chairs based on the recommendations of the program committee. * **Distinguished reviewer**: Award for distinguished reviewer, as determined by the PC chairs using feedback from the authors. * **Distinguished artifact**: Award for the artifact most significantly exceeding expectations, as determined by the AEC chairs based on the recommendations of the artifact evaluation committee. ### Program Committee Marjan Mernik (co-chair), University of Maribor, Slovenia Bernhard Rumpe (co-chair), RWTH Aachen University, Germany Christian Berger, Chalmers, Sweden Mark van den Brand, TU Eindhoven, The Netherlands Ruth Breu, University of Innsbruck, Austria Jordi Cabot, ICREA, Spain Walter Cazzola, University of Milan, Italy Marsha Chechik, University of Toronto, Canada Tony Clark, Middlesex University, UK Tom Dinkelaker, Ericsson, Germany Bernd Fischer, Stellenbosch University, South Africa Sebastian Gerard, CEA, France Jeff Gray, University of Alabama, USA Esther Guerra, Autonomous University of Madrid, Spain Michael Homer, Victoria University of Wellington, New Zealand Ralf Lämmel, University of Koblenz-Landau, Germany Tihamer Levendovszky, Microsoft, USA Gunter Mussbacher, McGill University, Canada Terence Parr, University of San Francisco, USA Jaroslav Porubän, University of Košice, Slovakia Jan Ringert, Tel Aviv University, Israel Julia Rubin, University of British Columbia, Canada Tony Sloane, Macquarie University, Australia Eugene Syriani, University of Montreal, Canada Emma Söderberg, Google, Denmark Eric Van Wyk, University of Minnesota, USA Jurgen Vinju, CWI, Netherlands Eric Walkingshaw, Oregon State University, USA Andreas Wortmann, RWTH Aachen University, Germany Tian Zhang, Nanjing University, China ### Contact For any question, please contact the organizers via email: sle2017 at inria.fr -------------- next part -------------- An HTML attachment was scrubbed... URL: From kevin at kevinhammond.net Tue Jun 6 09:52:03 2017 From: kevin at kevinhammond.net (Kevin Hammond) Date: Tue, 6 Jun 2017 10:52:03 +0100 Subject: [Haskell] Lectureship/Senior Lectureship Positions at St Andrews Message-ID: <06D57699-4559-4493-909F-1174FAC61157@kevinhammond.net> [Please forward to anyone who might be interested! Thanks! Kevin] The School of Computer Science is looking to recruit new academics as part of a large on-going expansion of our academic staff. We wish to appoint two new Lecturers/Senior Lecturers (depending on experience) to join our vibrant teaching and research community that is ranked amongst the top venues for Computer Science education and research worldwide. You will be a scholar with a growing international research reputation in Computer Science and a commitment to delivering high quality teaching within the broad field of Computer Science and its applications. The successful candidate will be expected to have a range of interests, to be active in research publication that strengthens or complements those in the School and to be capable of teaching the subject to undergraduate and taught postgraduate students who come to us with a wide range of backgrounds. Candidates should hold a PhD in a cognate discipline. Excellent teaching skills and an interest in promoting knowledge exchange are essential. You should also have some familiarity with grant seeking processes in relation to research councils and other sources. Informal enquiries can be directed to Professor Steve Linton (hos-cs at st-andrews.ac.uk) or Dr Dharini Balasubramaniam (dot-cs at st-andrews.ac.uk). Applications are particularly welcome from women, who are under-represented in Science posts at the University. You can find out more about Equality & Diversity at https://www.st-andrews.ac.uk/hr/edi/. The University of St Andrews is committed to promoting equality of opportunity for all, which is further demonstrated through its working on the Gender and Race Equality Charters and being awarded the Athena SWAN award for women in science, HR Excellence in Research Award and the LGBT Charter; http://www.st-andrews.ac.uk/hr/edi/diversityawards/. The School endorses the Athena SWAN charter and is actively working towards recognition. Please quote ref: AC2116SB Closing Date: 23 June 2017 Further Particulars: AC2116SB FPs.doc School of Computer Science Salary: £39,324 - £48,327 per annum, Senior Lecturer £49,772 - £55,998 per annum Start: As soon as possible https://www.vacancies.st-andrews.ac.uk/ViewVacancyV2.aspx?enc=mEgrBL4XQK0+ld8aNkwYmLYAYEGVHElLWsnTJgL+CarIHBCM/EiQaeKOsYHKP51KpI3DcpxT/zQcAl/8iq/B+IMGPJwugR63L68sBJUS3+i3hCU7JR/EJv31DirWmhwtDXIz2HSywsmfeey5lSxnIg== Best Wishes, Kevin -------- Kevin Hammond, Professor of Computer Science, University of St Andrews T: +44-1334 463241 F: +44-1334-463278 W: http://www.cs.st-andrews.ac.uk/~kh In accordance with University policy on electronic mail, this email reflects the opinions of the individual concerned, may contain confidential or copyright information that should not be copied or distributed without permission, may be of a private or personal nature unless explicitly indicated otherwise, and should not under any circumstances be taken as an official statement of University policy or procedure (see http://www.st-and.ac.uk). The University of St Andrews is a charity registered in Scotland : No SC013532 From byorgey at gmail.com Wed Jun 7 02:49:14 2017 From: byorgey at gmail.com (Brent Yorgey) Date: Wed, 07 Jun 2017 02:49:14 +0000 Subject: [Haskell] Final CFP: Workshop on Type-driven Development (TyDe '17) Message-ID: There's still time to submit an extended abstract! See below. -------------------------------------------------------------------------------- CALL FOR PAPERS 2nd Workshop on Type-Driven Development (TyDe '17) 3 September 2017, Oxford, UK http://tydeworkshop.org/2017 -------------------------------------------------------------------------------- # Goals of the workshop The workshop on Type-Driven Development aims to show how static type information may be used effectively in the development of computer programs. Co-located with ICFP, this workshop brings together leading researchers and practitioners who are using or exploring types as a means of program development. We welcome all contributions, both theoretical and practical, on a range of topics including: - dependently typed programming; - generic programming; - design and implementation of programming languages, exploiting types in novel ways; - exploiting typed data, data dependent data, or type providers; - static and dynamic analyses of typed programs; - tools, IDEs, or testing tools exploiting type information; - pearls, being elegant, instructive examples of types used in the derivation, calculation, or construction of programs. # Invited speaker Andrew Kennedy, Facebook, UK # Program Committee - Nada Amin, EPFL, Switzerland - Ana Bove, Chalmers University of Technology, Sweden - Patricia Johann, Appalachian State University, US - Yukiyoshi Kameyama, University of Tsukuba, Japan - Sam Lindley, The University of Edinburgh, UK (co-chair) - Limin Jia, CMU, US - Assia Mahboubi, INRIA Saclay, France - Liam O’Connor, University of New South Wales, Australia - Nicolas Oury, Jane Street, UK - Jennifer Paykin, University of Pennsylvania, US - Paula Severi, University of Leicester, UK - Tarmo Uustalu, Tallinn University of Technology, Estonia - Jeremy Yallop, University of Cambridge, UK - Brent Yorgey, Hendrix College, US (co-chair) # Proceedings and Copyright We plan to have formal proceedings, published by the ACM. Accepted papers will be included in the ACM Digital Library. Authors must grant ACM publication rights upon acceptance, but may retain copyright if they wish. Authors are encouraged to publish auxiliary material with their paper (source code, test data, and so forth). The proceedings will be freely available for download from the ACM Digital Library from one week before the start of the conference until two weeks after the conference. # Submission details Submissions should fall into one of two categories: - Regular research papers (12 pages) - Extended abstracts (2 pages) The bibliography will not be counted against the page limits for either category. Regular research papers are expected to present novel and interesting research results, and will be included in the formal proceedings. Extended abstracts should report work in progress that the authors would like to present at the workshop. Extended abstracts will be distributed to workshop attendees but will not be published in the formal proceedings. We welcome submissions from PC members (with the exception of the two co-chairs), but these submissions will be held to a higher standard. Submission is handled through HotCRP: https://icfp-tyde17.hotcrp.com/ All submissions should be in portable document format (PDF) and formatted using the ACM SIGPLAN style guidelines: http://www.sigplan.org/Resources/Author/ *Note* that the ACM SIGPLAN style guidelines have changed from previous years! In particular, submissions should use the new ‘acmart’ format and the two-column ‘sigplan’ subformat (not to be confused with the one-column ‘acmlarge’ subformat!). Extended abstracts must be submitted with the label 'Extended abstract' clearly in the title. # Important Dates - Regular paper deadline: Wednesday, 24th May, 2017 - Extended abstract deadline: Wednesday, 7th June, 2017 - Author notification: Wednesday, 28th June, 2017 - Deadline for camera ready version: Saturday, 15th July, 2017 - Workshop: Sunday, 3rd September, 2017 # Travel Support Student attendees with accepted papers can apply for a SIGPLAN PAC grant to help cover travel expenses. PAC also offers other support, such as for child-care expenses during the meeting or for travel costs for companions of SIGPLAN members with physical disabilities, as well as for travel from locations outside of North America and Europe. For details on the PAC program, see its web page: http://www.sigplan.org/PAC/ -------------- next part -------------- An HTML attachment was scrubbed... URL: From m at jaspervdj.be Wed Jun 7 19:35:02 2017 From: m at jaspervdj.be (Jasper Van der Jeugt) Date: Wed, 7 Jun 2017 21:35:02 +0200 Subject: [Haskell] Last call for presentations: CUFP 2017, September 7-9, Oxford, UK Message-ID: <20170607193502.GA3211@colony6> The deadline for CUFP presentations is this friday, the 9th of June. This CFP and the form for submitting presentations proposals can be found at: http://cufp.org/2017/call-for-presentations.html ------------------------------------------------------------------------ 2017 Call for Presentations Workshop for Commercial Users of Functional Programming 2017 Sponsored by SIGPLAN CUFP 2017 Co-located with ICFP 2017 Oxford, UK September 7-9 Talk Proposal Submission Deadline: 9 June 2017 The annual CUFP event is a place where people can see how others are using functional programming to solve real world problems; where practitioners meet and collaborate; where language designers and users can share ideas about the future of their favorite language; and where one can learn practical techniques and approaches for putting functional programming to work. ------------------------------------------------------------------------ Giving a CUFP Talk If you have experience using functional languages in a practical setting, we invite you to submit a proposal to give a talk at the event. We're looking for two kinds of talks: Retrospective reports are typically 25 minutes long. Now that CUFP has run for more than a decade, we intend to invite past speakers to share what they’ve learned after a decade spent as commercial users of functional programming. We will favour experience reports that include technical content. Technical talks are also 25 minutes long, and should focus on teaching the audience something about a particular technique or methodology, from the point of view of someone who has seen it play out in practice. These talks could cover anything from techniques for building functional concurrent applications, to managing dynamic reconfigurations, to design recipes for using types effectively in large-scale applications. While these talks will often be based on a particular language, they should be accessible to a broad range of programmers. We strongly encourage submissions from people in communities that are underrepresented in functional programming, including but not limited to women; people of color; people in gender, sexual and romantic minorities; people with disabilities; people residing in Asia, Africa, or Latin America; and people who have never presented at a conference before. We recognize that inclusion is an important part of our ission to promote functional programming. So that CUFP can be a safe environment in which participants openly exchange ideas, we abide by the SIGPLAN Conference Anti-Harassment Policy: http://www.sigplan.org/Resources/Policies/Anti-harassment If you are interested in offering a talk, or nominating someone to do so, please submit your presentation before 09 June 2017 via the CUFP 2017 Presentation Submission Form: https://goo.gl/forms/KPloANxHHwdiaoVj2 You do not need to submit a paper, just a short proposal for your talk. There will be a short scribe's report of the presentations and discussions but not of the details of individual talks, as the meeting is intended to be more of a discussion forum than a technical interchange. Nevertheless, presentations will be recorded and presenters will be expected to sign an ACM copyright release form. Note that we will need presenters to register for the CUFP workshop and travel to Oxford at their own expense. There are some funds available to would-be presenters who require assistance in this respect. ------------------------------------------------------------------------ Program Committee Alex Lang (Tsuru Capital), co-chair Rachel Reese (Mulberry Labs), co-chair Garrett Smith (Guild AI) Danielle Sucher (Jane Street) Jasper Van der Jeugt (Fugue) Yukitoshi Suzuki (Ziosoft) Evelina Gabasova (University of Cambridge) Brian Mitchell (Jet.com) ------------------------------------------------------------------------ More information For more information on CUFP, including videos of presentations from previous years, take a look at the CUFP website at http://cufp.org. Note that presenters, like other attendees, will need to register for the event. Acceptance and rejection letters will be sent out by July 15th. Guidance on giving a great CUFP talk Focus on the interesting bits: Think about what will distinguish your talk, and what will engage the audience, and focus there. There are a number of places to look for those interesting bits. Setting: FP is pretty well-established in some areas, including formal verification, financial processing, and server-side web services. An unusual setting can be a source of interest. If you're deploying FP-based mobile UIs or building servers on oil rigs, then the challenges of that scenario are worth focusing on. Did FP help or hinder in adapting to the setting? Technology: The CUFP audience is hungry to learn about how FP techniques work in practice. What design patterns have you applied, and to what areas? Did you use functional reactive programming for user interfaces, or DSLs for playing chess, or fault-tolerant actors for large-scale geological data processing? Teach us something about the techniques you used, and why we should consider using them ourselves. Getting things done: How did you deal with large-scale software development in the absence of pre-existing support tools that are often expected in larger commercial environments (IDEs, coverage tools, debuggers, profilers) and without larger, proven bodies of libraries? Did you hit any brick walls that required support from the community? Don't just be a cheerleader: It's easy to write a rah-rah talk about how well FP worked for you, but CUFP is more interesting when the talks also cover what doesn't work. Even when the results were all great, you should spend more time on the challenges along the way than on the parts that went smoothly. From ivan.miljenovic at gmail.com Thu Jun 8 04:29:01 2017 From: ivan.miljenovic at gmail.com (Ivan Lazar Miljenovic) Date: Thu, 8 Jun 2017 14:29:01 +1000 Subject: [Haskell] ANNOUNCE: streaming-conduit Message-ID: I've recently found myself really enjoying using Michael Thompson's [streaming] library for, well, streaming data. However, a lot of packages that I want to use already use conduit for all their streaming needs. As such, I've just written the [streaming-conduit] library to convert between the two (rather than just switching this project to conduit entirely as I couldn't find a simple way to just stream data from a PostgreSQL database). I make no guarantees at this stage of performance, and it's quite possible that - especially for the asStream and asConduit functions - that they may not interoperate cleanly with monadic operations. [streaming]: https://hackage.haskell.org/package/streaming [streaming-conduit]: https://hackage.haskell.org/package/streaming-conduit -- Ivan Lazar Miljenovic Ivan.Miljenovic at gmail.com http://IvanMiljenovic.wordpress.com From cyology at gmail.com Thu Jun 8 18:24:41 2017 From: cyology at gmail.com (Cyrus Omar) Date: Thu, 08 Jun 2017 18:24:41 +0000 Subject: [Haskell] GPCE 2017 - 2nd Call for Papers (16th International Conference on Generative Programming: Concepts & Experiences) In-Reply-To: References: Message-ID: -------------------------------------------------------------------------- CALL FOR PAPERS 16th International Conference on Generative Programming: Concepts & Experiences (GPCE 2017) October 23-24, 2017 Vancouver, Canada (co-located with SPLASH 2017) http://www.gpce.org/ http://twitter.com/GPCECONF http://www.facebook.com/GPCEConference IMPORTANT DATES * Submission of abstracts: June 25, 2017 * Submission of papers: July 2, 2017 * Paper notification: August 17, 2017 Submission site: https://gpce17.hotcrp.com/ -------------------------------------------------------------------------- SCOPE GPCE is a programming languages conference focusing on techniques and tools for code generation, language implementation, and product-line development. GPCE seeks conceptual, theoretical, empirical, and technical contributions to its topics of interest, which include but are not limited to: * program transformation, staging, macro systems, preprocessors, program synthesis, and code-recommendation systems, * domain-specific languages, language embedding, language design, and language workbenches, * feature-oriented programming, domain engineering, and feature interactions, * applications and properties of code generation, language implementation, and product-line development. Authors are welcome to check with the PC chair whether their planned papers are in scope. PAPER SELECTION The GPCE program committee will evaluate each submission according to the following selection citeria: * Novelty. Papers must present new ideas or evidence and place them appropriately within the context established by previous research in the field. * Significance. The results in the paper must have the potential to add to the state of the art or practice in significant ways. * Evidence. The paper must present evidence supporting its claims. Examples of evidence include formalizations and proofs, implemented systems, experimental results, statistical analyses, and case studies. * Clarity. The paper must present its contributions and results clearly. PAPER SUBMISSION GPCE solicits three kinds of submissions. All submissions must use the ACM SIGPLAN Conference Format “acmart”, sub-format “sigplan” and 10 point font. * Full Papers reporting original and unpublished results of research that contribute to scientific knowledge in any GPCE topic listed above. Full paper submissions must not exceed 12 pages excluding bibliography. * Short Papers presenting unconventional ideas or visions about any GPCE topic listed above. Short papers do not always require complete results as in the case of a full paper. In this way, authors can introduce new ideas to the community and get early feedback. Please note that short papers are not intended to be position statements. Short papers are included in the proceedings and will be presented at the conference. Short paper submissions must not exceed 6 pages excluding bibliography. * Tool Demonstrations presenting tools for any GPCE topic listed above. Tools must be available for use and must not be purely commercial. Submissions must provide a tool description not exceeding 6 pages excluding bibliography and a separate demonstration outline including screenshots also not exceeding 6 pages. Tool demonstrations must have the keywords “Tool Demo” or “Tool Demonstration” in their title. If the submission is accepted, the tool description will be published in the proceedings. The demonstration outline will only be used by the program committee for evaluating the submission. For additional information, clarification, or answers to questions please contact the program chair. ORGANIZATION Chairs (chairs at gpce.org) General Chair: Matthew Flatt (University of Utah, US) Program Chair: Sebastian Erdweg (TU Delft, Netherlands) Publicity Chair: Cyrus Omar (Carnegie Mellon University, US) Program Committee Nada Amin (EPFL, Switzerland) Casper Bach Poulsen (TU Delft, Netherlands) Sandrine Blazy (University of Rennes 1, France) Eugene Burmako (Twitter, US) Shigeru Chiba (University of Tokyo, Japan) Camil Demetrescu (Sapienza University Rome, Italy) Philipp Haller (KTH Royal Institute of Technology, Sweden) Matthew Hammer (University of Colorado, Boulder, US) Jaakko Järvi (University of Bergen, Norway) Lennart Kats (Amazon Web Services) Sarah Nadi (University of Alberta, Canada) Bruno C. d. S. Oliveira (The University of Hong Kong, Hong Kong) Cyrus Omar (Carnegie Mellon University, US) Markus Püschel (ETH Zurich, Switzerland) Márcio Ribeiro (Federal University of Alagoas (UFAL), Brazil) Tiark Rompf (Purdue University, US) Ina Schaefer (Technische Universität Braunschweig, Germany) Sandro Schulze (TU Hamburg, Germany) Tony Sloane (Macquarie University, Australia) Vincent St-Amour (Northwestern University, US) Thomas Thüm (TU Braunschweig, Germany) Markus Völter (itemis/independent) Philip Wadler (University of Edinburgh, UK) Eric Walkingshaw (Oregon State University, US) Adam Welc (Huawei, US) Tijs van der Storm (CWI, Netherlands) -------------- next part -------------- An HTML attachment was scrubbed... URL: From wolfgang-it at jeltsch.info Thu Jun 8 21:20:54 2017 From: wolfgang-it at jeltsch.info (Wolfgang Jeltsch) Date: Fri, 09 Jun 2017 00:20:54 +0300 Subject: [Haskell] Haskell in Leipzig 2017: 1st call for papers Message-ID: <1496956854.15892.70.camel@jeltsch.info> Event:    Haskell in Leipzig 2017 Time:     October 26–28, 2017 Place:    HTWK Leipzig, Germany Homepage: https://hal2017.softbase.org/ About ===== Haskell is a modern functional programming language that allows rapid development of robust and correct software. It is renowned for its expressive type system, its unique approaches to concurrency and parallelism, and its excellent refactoring capabilities. Haskell is both the playing field of cutting-edge programming language research and a reliable base for commercial software development. The workshop series Haskell in Leipzig (HaL), now in its 12th year, brings together Haskell developers, Haskell researchers, Haskell enthusiasts, and Haskell beginners to listen to talks, take part in tutorials, join in interesting conversations, and hack together. To support the latter, HaL will include a one-day hackathon this year. The workshop will have a focus on functional reactive programming (FRP) this time, while continuing to be open to all aspects of Haskell. As in the previous year, the workshop will be in English. Contributions ============= Everything related to Haskell is on topic, whether it is about current research, practical applications, interesting ideas off the beaten track, education, or art, and topics may extend to functional programming in general and its connections to other programming paradigms. Contributions can take the form of   * talks (about 30 minutes),   * tutorials (about 90 minutes),   * demonstrations, artistic performances, or other extraordinary     things. Please submit an abstract that describes the content and form of your presentation, the intended audience, and required previous knowledge. We recommend a length of 2 pages, so that the program committee and the audience get a good idea of your contribution, but this is not a hard requirement. Please submit your abstract as a PDF document at     https://easychair.org/conferences/?conf=hal2017 until Friday, August 4, 2017. You will be notified by Friday, August 25, 2017. Hacking Projects ================ Projects for the hackathon can be presented during the workshop. A prior submission is not needed for this. Program Committee =================   * Edward Amsden, Plow Technologies, USA   * Heinrich Apfelmus, Germany   * Jurriaan Hage, Utrecht University, The Netherlands   * Petra Hofstedt, BTU Cottbus-Senftenberg, Germany   * Wolfgang Jeltsch, Tallinn University of Technology, Estonia (chair)   * Andres Löh, Well-Typed LLP, Germany   * Keiko Nakata, SAP SE, Germany   * Henrik Nilsson, University of Nottingham, UK   * Ertuğrul Söylemez, Intelego GmbH, Germany   * Henning Thielemann, Germany   * Niki Vazou, University of Maryland, USA   * Johannes Waldmann, HTWK Leipzig, Germany Questions ========= If you have any questions, please do not hesitate to contact Wolfgang Jeltsch at wolfgang-it at jeltsch.info. From m at jaspervdj.be Sat Jun 10 14:36:37 2017 From: m at jaspervdj.be (Jasper Van der Jeugt) Date: Sat, 10 Jun 2017 16:36:37 +0200 Subject: [Haskell] Last call for presentations: CUFP 2017, September 7-9, Oxford, UK In-Reply-To: <20170607193502.GA3211@colony6> References: <20170607193502.GA3211@colony6> Message-ID: We have extended the deadline until Monday (12th of June). Jasper On Wed, Jun 7, 2017 at 9:35 PM, Jasper Van der Jeugt wrote: > The deadline for CUFP presentations is this friday, the 9th of June. > This CFP and the form for submitting presentations proposals can be > found at: http://cufp.org/2017/call-for-presentations.html > > ------------------------------------------------------------------------ > > 2017 Call for Presentations > > Workshop for Commercial Users of Functional Programming 2017 > Sponsored by SIGPLAN > CUFP 2017 > Co-located with ICFP 2017 > Oxford, UK > September 7-9 > Talk Proposal Submission Deadline: 9 June 2017 > > The annual CUFP event is a place where people can see how others are > using functional programming to solve real world problems; where > practitioners meet and collaborate; where language designers and users > can share ideas about the future of their favorite language; and where > one can learn practical techniques and approaches for putting functional > programming to work. > > ------------------------------------------------------------------------ > > Giving a CUFP Talk > > If you have experience using functional languages in a practical > setting, we invite you to submit a proposal to give a talk at the event. > We're looking for two kinds of talks: > > Retrospective reports are typically 25 minutes long. Now that CUFP has > run for more than a decade, we intend to invite past speakers to share > what they’ve learned after a decade spent as commercial users of > functional programming. We will favour experience reports that include > technical content. > > Technical talks are also 25 minutes long, and should focus on teaching > the audience something about a particular technique or methodology, from > the point of view of someone who has seen it play out in practice. These > talks could cover anything from techniques for building functional > concurrent applications, to managing dynamic reconfigurations, to design > recipes for using types effectively in large-scale applications. While > these talks will often be based on a particular language, they should be > accessible to a broad range of programmers. > > We strongly encourage submissions from people in communities that are > underrepresented in functional programming, including but not limited to > women; people of color; people in gender, sexual and romantic > minorities; people with disabilities; people residing in Asia, Africa, > or Latin America; and people who have never presented at a conference > before. We recognize that inclusion is an important part of our ission > to promote functional programming. So that CUFP can be a safe > environment in which participants openly exchange ideas, we abide by the > SIGPLAN Conference Anti-Harassment Policy: > > http://www.sigplan.org/Resources/Policies/Anti-harassment > > If you are interested in offering a talk, or nominating someone to do > so, please submit your presentation before 09 June 2017 via the CUFP > 2017 Presentation Submission Form: > > https://goo.gl/forms/KPloANxHHwdiaoVj2 > > You do not need to submit a paper, just a short proposal for your talk. > There will be a short scribe's report of the presentations and > discussions but not of the details of individual talks, as the meeting > is intended to be more of a discussion forum than a technical > interchange. > > Nevertheless, presentations will be recorded and presenters will be > expected to sign an ACM copyright release form. > > Note that we will need presenters to register for the CUFP workshop and > travel to Oxford at their own expense. There are some funds available to > would-be presenters who require assistance in this respect. > > ------------------------------------------------------------------------ > > Program Committee > > Alex Lang (Tsuru Capital), co-chair > Rachel Reese (Mulberry Labs), co-chair > Garrett Smith (Guild AI) > Danielle Sucher (Jane Street) > Jasper Van der Jeugt (Fugue) > Yukitoshi Suzuki (Ziosoft) > Evelina Gabasova (University of Cambridge) > Brian Mitchell (Jet.com) > > ------------------------------------------------------------------------ > > More information > > For more information on CUFP, including videos of presentations from > previous years, take a look at the CUFP website at http://cufp.org. Note > that presenters, like other attendees, will need to register for the > event. Acceptance and rejection letters will be sent out by July 15th. > Guidance on giving a great CUFP talk > > Focus on the interesting bits: Think about what will distinguish your > talk, and what will engage the audience, and focus there. There are a > number of places to look for those interesting bits. > > Setting: FP is pretty well-established in some areas, including formal > verification, financial processing, and server-side web services. An > unusual setting can be a source of interest. If you're deploying > FP-based mobile UIs or building servers on oil rigs, then the challenges > of that scenario are worth focusing on. Did FP help or hinder in > adapting to the setting? > > Technology: The CUFP audience is hungry to learn about how FP techniques > work in practice. What design patterns have you applied, and to what > areas? Did you use functional reactive programming for user interfaces, > or DSLs for playing chess, or fault-tolerant actors for large-scale > geological data processing? Teach us something about the techniques you > used, and why we should consider using them ourselves. > > Getting things done: How did you deal with large-scale software > development in the absence of pre-existing support tools that are often > expected in larger commercial environments (IDEs, coverage tools, > debuggers, profilers) and without larger, proven bodies of libraries? > Did you hit any brick walls that required support from the community? > > Don't just be a cheerleader: It's easy to write a rah-rah talk about how > well FP worked for you, but CUFP is more interesting when the talks also > cover what doesn't work. Even when the results were all great, you > should spend more time on the challenges along the way than on the parts > that went smoothly. From daniel.berecz at gmail.com Sun Jun 11 14:31:40 2017 From: daniel.berecz at gmail.com (Daniel Berecz) Date: Sun, 11 Jun 2017 16:31:40 +0200 Subject: [Haskell] =?utf-8?q?Hi_everybody=2C_I=27m_happy_to_announce_that_?= =?utf-8?q?our_local_user_group_will_hold_a_Haskell_Hackathon_in_Bu?= =?utf-8?q?dapest_this_year_=28this_will_be_the_second=29!_We_will_?= =?utf-8?q?hold_it_from_the_29th_to_the_30th_of_July_=28Saturday_?= =?utf-8?q?=26_Sunday=29=2E_You_can_find_out_more_on_the_following_?= =?utf-8?q?link=3A_https=3A//wiki=2Ehaskell=2Eorg/Budapest=5FHackat?= =?utf-8?q?hon=5F2017_We_will_reguraly_update_the_site_with_new_inf?= =?utf-8?q?ormation=2E_If_you_decide_to_come=2C_please_fill_out_the?= =?utf-8?q?_following_Google_Form=3A_https=3A//goo=2Egl/forms/QjTNd?= =?utf-8?q?XTD1aEOMEQU2_If_you_have_a_project=2C_demo=2C_or_talk_th?= =?utf-8?q?at_you_want_to_bring_to_the_event_please_contact_us=2C_a?= =?utf-8?q?nd_we_can_talk_about_the_details=2E_You_can_find_our_con?= =?utf-8?q?tact_info_the_events_wiki_site=2C_or_you_can_just_contac?= =?utf-8?q?t_me_directly=2E_The_event_will_be_open_to_people_of_all?= =?utf-8?q?_experience_levels=2C_from_beginners_to_gurus=2E_The_onl?= =?utf-8?q?y_requisite_is_that_you=E2=80=99re_interested_in_the_Has?= =?utf-8?q?kell_language=2C_and_want_to_hang_out_with_us=2C_and_hav?= =?utf-8?q?e_a_good_time!_Greetings_from_Daniel=2C_and_the_other_BP?= =?utf-8?q?-HUG_organizers=2E?= Message-ID: Hi everybody, I'm happy to announce that our local user group will hold a Haskell Hackathon in Budapest this year (this will be the second)! We will hold it from the 29th to the 30th of July (Saturday & Sunday). You can find out more on the following link: https://wiki.haskell.org/Budapest_Hackathon_2017 We will reguraly update the site with new information. If you decide to come, please fill out the following Google Form: https://goo.gl/forms/QjTNdXTD1aEOMEQU2 If you have a project, demo, or talk that you want to bring to the event please contact us, and we can talk about the details. You can find our contact info the events wiki site, or you can just contact me directly. The event will be open to people of all experience levels, from beginners to gurus. The only requisite is that you’re interested in the Haskell language, and want to hang out with us, and have a good time! Greetings from Daniel, and the other BP-HUG organizers. -------------- next part -------------- An HTML attachment was scrubbed... URL: From daniel.berecz at gmail.com Sun Jun 11 14:34:33 2017 From: daniel.berecz at gmail.com (Daniel Berecz) Date: Sun, 11 Jun 2017 16:34:33 +0200 Subject: [Haskell] [ANN] Budapest Haskell Hackathon 2017, 29-30th July 2017 Message-ID: Hi everybody, Sorry for the previous message! I'm happy to announce that our local user group will hold a Haskell Hackathon in Budapest this year (this will be the second)! We will hold it from the 29th to the 30th of July (Saturday & Sunday). You can find out more on the following link: https://wiki.haskell.org/Budapest_Hackathon_2017 We will reguraly update the site with new information. If you decide to come, please fill out the following Google Form: https://goo.gl/forms/QjTNdXTD1aEOMEQU2 If you have a project, demo, or talk that you want to bring to the event please contact us, and we can talk about the details. You can find our contact info the events wiki site, or you can just contact me directly. The event will be open to people of all experience levels, from beginners to gurus. The only requisite is that you’re interested in the Haskell language, and want to hang out with us, and have a good time! Greetings from Daniel, and the other BP-HUG organizers. -------------- next part -------------- An HTML attachment was scrubbed... URL: From publicityifl at gmail.com Mon Jun 12 12:37:33 2017 From: publicityifl at gmail.com (publicityifl at gmail.com) Date: Mon, 12 Jun 2017 12:37:33 +0000 Subject: [Haskell] 1st CfP: IFL 2017 (29th Symposium on Implementation and Application of Functional Languages) Message-ID: <94eb2c073ca24e15960551c2953d@google.com>
Hello,

Please, find below the first call for papers for IFL 2017.
Please forward these to anyone you think may be interested.
Apologies for any duplicates you may receive.

best regards,
Jurriaan Hage
Publicity Chair of IFL

---

IFL 2017 - CALL FOR PAPERS
==========================

29th SYMPOSIUM ON IMPLEMENTATION AND APPLICATION OF FUNCTIONAL LANGUAGES
========================================================================

University of Bristol, UK

In cooperation with ACM SIGPLAN

Wednesday 30 August - Friday 1 September, 2017

http://iflconference.org/

Scope
-----

The goal of the IFL symposia is to bring together researchers actively engaged
in the implementation and application of functional and function-based
programming languages. IFL 2017 will be a venue for researchers to present and
discuss new ideas and concepts, work in progress, and publication-ripe results
related to the implementation and application of functional languages and
function-based programming.

Peer-review
-----------

Following the IFL tradition, IFL 2017 will use a post-symposium review process
to produce the formal proceedings. All participants of IFL 2017 are invited to
submit either a draft paper or an extended abstract describing work to be
presented at the symposium. At no time may work submitted to IFL be
simultaneously submitted to other venues; submissions must adhere to ACM
SIGPLAN's republication policy:

http://www.sigplan.org/Resources/Policies/Republication

The submissions will be screened by the program committee chair to make sure
they are within the scope of IFL, and will appear in the draft proceedings
distributed at the symposium. Submissions appearing in the draft proceedings
are not peer-reviewed publications. Hence, publications that appear only in the
draft proceedings are not subject to the ACM SIGPLAN republication policy.
After the symposium, authors will be given the opportunity to incorporate the
feedback from discussions at the symposium and will be invited to submit a
revised full article for the formal review process. From the revised
submissions, the program committee will select papers for the formal
proceedings considering their correctness, novelty, originality, relevance,
significance, and clarity. The formal proceedings will appear in the
International Conference Proceedings Series of the ACM Digital Library.

Important dates
---------------

Mon 31 July     2017 : Submission deadline draft papers
Wed  2 August   2017 : Notification of acceptance for presentation
Fri  4 August   2017 : Early registration deadline
Fri 11 August   2017 : Late registration deadline
Mon 21 August   2017 : Submission deadline for pre-symposium proceedings
Wed 30 August   2017 - Fri 1 September 2017 : IFL Symposium
Mon  4 December 2017 : Submission deadline for post-symposium proceedings
Wed 31 January  2018 : Notification of acceptance for post-symposium proceedings
Mon 12 March    2018 : Camera-ready version for post-symposium proceedings

Submission details
------------------

Prospective authors are encouraged to submit papers or extended abstracts to be
published in the draft proceedings and to present them at the symposium. All
contributions must be written in English. Papers must use the new ACM two
columns conference format, which can be found at:

http://www.acm.org/publications/proceedings-template

For the pre-symposium proceedings we adopt a 'weak' page limit of 12 pages. For
the post-symposium proceedings the page limit of 12 pages is firm.

Authors submit through EasyChair:

https://easychair.org/conferences/?conf=ifl2017

Topics
------

IFL welcomes submissions describing practical and theoretical work as well as
submissions describing applications and tools in the context of functional
programming. If you are not sure whether your work is appropriate for IFL 2017,
please contact the PC chair at nicolas.wu at bristol.ac.uk. Topics of interest include,
but are not limited to:

- language concepts
- type systems, type checking, type inferencing
- compilation techniques
- staged compilation
- run-time function specialization
- run-time code generation
- partial evaluation
- (abstract) interpretation
- metaprogramming
- generic programming
- automatic program generation
- array processing
- concurrent/parallel programming
- concurrent/parallel program execution
- embedded systems
- web applications
- (embedded) domain specific languages
- security
- novel memory management techniques
- run-time profiling performance measurements
- debugging and tracing
- virtual/abstract machine architectures
- validation, verification of functional programs
- tools and programming techniques
- (industrial) applications

Peter Landin Prize
------------------

The Peter Landin Prize is awarded to the best paper presented at the symposium
every year. The honored article is selected by the program committee based on
the submissions received for the formal review process. The prize carries a
cash award equivalent to 150 Euros.

Programme committee
-------------------

Chair: Nicolas Wu, University of Bristol, UK

- Kenichi Asai, Ochanomizu University, Japan
- Sandrine Blazy, University of Rennes 1, France
- Carlos Camarao, Universidade Federal de Minas Gerais, Brazil
- Stephen Dolan, University of Cambridge, UK
- Jurriaan Hage, Utrecht University, Netherlands
- Yukiyoshi Kameyama, University of Tsukuba, Japan
- Benjamin Lerner, Brown University, USA
- Bas Lijnse, Radboud University, Netherlands
- Garrett Morris, University of Kansas, USA
- Miguel Pagano, Universidad Nacional de Córdoba, Argentina
- Tomas Petricek, Alan Turing Institute, UK
- Maciej Piróg, University of Wrocław, Poland
- Exequiel Rivas, Universidad Nacional de Rosario, Argentina
- Neil Sculthorpe, Nottingham Trent University, UK
- Melinda Tóth, Eötvös Loránd University, Hungary
- Phil Trinder, Glasgow University, UK
- Kanae Tsushima, National Institute of Informatics, Japan
- Marcos Viera, Universidad de la Republica, Uruguay
- Meng Wang, University of Kent, UK

Venue
-----

The IFL 2017 will be held in association with the Department of
Computer Science, University of Bristol, UK. Bristol is located in
South West England, and can be easily reached from Bristol Airport.
See the website for more information on the venue.

 

powered by GSM. Free mail merge and email marketing software for Gmail. -------------- next part -------------- An HTML attachment was scrubbed... URL: From rdgrande at site.uottawa.ca Tue Jun 20 03:38:28 2017 From: rdgrande at site.uottawa.ca (Robson De Grande) Date: Mon, 19 Jun 2017 23:38:28 -0400 Subject: [Haskell] CFP: ACM MobiWac 2017, Miami Beach, USA Message-ID: ** We apologize if you receive multiple copies of this message ** ================================================================== The 15th ACM International Symposium on Mobility Management and Wireless Access (MobiWac 2017) November 21 - 25, 2017 - Miami Beach, USA http://mobiwac-symposium.org/ ================================================================== IMPORTANT: Submission deadline: June 30th 2017 ================================================================== NOTE: The best papers accepted in MOBIWac'17 will be selected for a fast track in Elsevier Computer Communications Journal. ================================================================== The 15th ACM International Symposium on Mobility Management and Wireless Access (MobiWac 2017) will be held in conjunction with MSWiM 2017 (the 20th ACM International Symposium on Modeling, Analysis and Simulation of Wireless and Mobile Systems) from November 21 to 25, 2017 in Miami Beach, USA. The MOBIWAC series of events are intended to provide an international forum for the discussion and presentation of original ideas, recent results and achievements by researchers, students, and systems developers on issues and challenges related to mobility management and wireless access protocols. To keep up with the technological developments, we also open up new areas such as mobile cloud computing starting from this year. Authors are encouraged to submit both theoretical and practical results of significance on all aspects of wireless and mobile access technologies, with an emphasis on mobility management and wireless access. Authors are invited to submit full papers describing original research. Submitted papers must neither have been published elsewhere nor currently be under review by another conference or journal. TOPICS OF INTEREST include, but are not limited to: - Mobile Cloud Computing - Wireless/Mobile Access Protocols - Wireless/Mobile Web Access - Wireless Internet and All-IP integration - Next Generation Wireless systems - Mobile Broadband Wireless Access - Pervasive Communication and Computing - Ubiquitous and mobile access - Wireless Applications and testbeds - Multi-Homing and Vertical Handoff - Multi-Channel Multi-Radio MAC / network layer management - Channels and resource allocation algorithms - Energy and power management algorithms - Mobility Models - Multi-technology switching using Software Defined Radios - Context-aware services and applications - Context-aware protocols and protocol architectures - Interactive applications - Mobile database management - Wireless Multimedia Protocols - Mobile and Wireless Entertainment - Mobile Info-services - Social mobile networks - Social mobile applications - Data analysis for mobile and wireless networks - SDN solutions in mobile and wireless networks - QoS management - Mobility Control and Management - Localization and tracking - Mobile/Vehicular environment access - Wireless ad hoc and sensor networks - Security,Trust management and Privacy issues - Fault Tolerance solutions - Wireless Systems' Design - Analysis/Simulation of wireless mobile systems - Testbeds for experimental and simulation analysis ORGANIZING COMMITTEE: General Chair Ángel Cuevas, Universidad Carlos III de Madrid, Spain Program Chairs Robson De Grande, University of Ottawa, Canada Amir Darehshoorzadeh, CISCO, Canada Posters/Demo Chair Graciela Román Alonso, Universidad Autónoma Metropolitana, Mexico Publicity Chairs Khalil El-Khatib, UOIT, Canada Mirela. A. M. Notare, Sao Jose Municipal University, Brazil ========================= Paper Submission, Publication, and Important Dates: 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 Symposium. The symposium will have a single track for regular papers and in addition, a separate interwoven track with short papers / posters. Paper length must be no more than 10 pages, double column, ACM style including tables and figures. Note that the regular paper size will be 8 pages, with the possibility to obtain up to 2 additional pages (total 10 pages) by paying a publication fee. Only PDF format is accepted. All accepted papers will appear in the Symposium proceedings published by ACM press. - Paper registration due: June 30, 2017 (11:59PM EST) - Submission Deadline: June 30, 2017 (11:59PM EST) - Notification of Acceptance: July 30, 2017 (11:59PM EST) Papers are submitted via the EDAS system (https://edas.info/N23669). For any question or problems related to MobiWac 2017 submissions, please contact the PC Chairs. FOR MORE INFORMATION about the conference, organizing committee, submission instructions, and venue please see the conference website (http://mobiwac-symposium.org). -------------- next part -------------- An HTML attachment was scrubbed... URL: From atzedijkstra at gmail.com Wed Jun 21 11:03:01 2017 From: atzedijkstra at gmail.com (Atze Dijkstra) Date: Wed, 21 Jun 2017 19:03:01 +0800 Subject: [Haskell] [ANNOUNCE] Openings for Haskell developers at Standard Chartered Message-ID: Hi all, I am happy to let you know that there are various job openings for FP developers as well as a Project Manager at the Strats team at Standard Chartered. For further info please see the below - http://www.atzedijkstra.net/haskell/developer-job-openings-with-the-strats-team-at-standard-chartered/ - http://www.atzedijkstra.net/standard-chartered/job-opening-for-project-manager-pm-at-strats-standard-chartered/ kind regards, Atze Dijkstra Standard Chartered -------------- next part -------------- An HTML attachment was scrubbed... URL: From splash.publicity at gmail.com Fri Jun 23 01:06:00 2017 From: splash.publicity at gmail.com (SPLASH Publicity) Date: Thu, 22 Jun 2017 18:06:00 -0700 Subject: [Haskell] SPLASH 2017: 1st Combined Call for Workshop Contributions Message-ID: /***************************************************************************/ ACM SIGPLAN Conference on Systems, Programming, Languages, and Applications: Software for Humanity (SPLASH'17) Vancouver, British Columbia, Canada Sunday 22nd October - Friday 27th October, 2017 http://2017.splashcon.org Sponsored by ACM SIGPLAN /***************************************************************************/ FIRST COMBINED CALL FOR WORKSHOP CONTRIBUTIONS: SPLASH'17 will host the following 19 workshops: AGERE! - Programming based on Actors, Agents, and Decentralized Control CHESE - Coding and Human aspects of Educational Software Engineering CoCoS - Comprehension of Complex Systems DSLDI - Domain-Specific Languages Design and Implementation Escaped - Escaped from the Lab FOSD - Feature Oriented Software Development NJR - National Java Resource LIVE - Live Programming Meta! - Meta-Programming Techniques and Reflection NOOL - New Object-Oriented Languages OCAP - Object-Capability Languages, Systems, and Applications PLATEAU - Evaluation and Usability of Programming Languages and Tools PX/17.2 - Programming Experience PARSING - Parsing @ SLE REBLS - Reactive and Event-based Languages & Systems SAVR - Software for Augmented and Virtual Reality SEPS - Software Engineering for Parallel Systems VMIL - Virtual Machines and Intermediate Languages WODA - Workshop on Dynamic Analysis /***************************************************************************/ ## AGERE! 2017 - The 7th International Workshop on Programming based on Actors, Agents, and Decentralized Control The AGERE! workshop is aimed at focusing on programming systems, languages and applications based on actors, active/concurrent objects, agents and – more generally – high-level programming paradigms promoting a mindset of decentralized control in solving problems and developing software. The workshop is designed to cover both the theory and the practice of design and programming, bringing together researchers working on models, languages and technologies, and practitioners developing real-world systems and applications. Web: http://2017.splashcon.org/track/agere-2017 Submission: August 7, 2017 ## CHESE 2017 - The 3rd International Workshop on Coding and Human aspects of Educational Software Engineering Two of the backbones of software engineering are programming and testing. Both of these require many hours of practice to acquire mastery. To encourage students to put in these hours of practice, educators often employ the element of tools and games. The 3rd International CHESE 2017 (Coding and Human aspects of Educational Software Engineering) focuses on technologies that assist in the education process of software engineering, specifically coding and testing. We look at how the technologies are built, how they are evaluated, and how communities can be built around their use. Some of topics that we are interested in are the relationship between testing and gaming, analysis and visualization of student data, the challenges of sharing and re-using such data, and the influence of different programming languages. The aim of the workshop is not only to act as a forum for the exchange of ideas, but also as a vehicle to stimulate, deepen, and widen partnership between the software engineering and education fields on an international scale. Web: http://2017.splashcon.org/track/chese-2017 Submission: August 1, 2017 ## CoCoS 2017 - Workshop on Comprehension of Complex Systems The sheer complexity and emergent behaviors of large scale systems make it impossible for people to completely understand them without the aid of specific tools. This is especially the case as systems are increasingly developed using advanced composition technologies such as aspect-orientation and dynamic script languages. Those modularity technologies enable the creation and application of powerful abstractions, which yields significant benefits in terms of reuse and separation of concerns. But those same abstractions, in languages, middleware, and models, also hide important system properties. This compounds the problem of comprehending run-time behavior in terms of original design concepts that have been abstracted away (for example debugging AO programs, or diagnosing violations of performance service-level agreements). Wider adoption of advanced modularity technologies depends on tools to assist developers in understanding the run-time behavior of complex composed systems. This workshop aims to create a dialog on the problem of program comprehension and its relation to modularity in this wider context. Web: http://2017.splashcon.org/track/cocos-2017 Submission: August 20, 2017 ## DSLDI 2017 - The 5th International Workshop on Domain-Specific Language Design and Implementation Domain-Specific Language Design and Implementation (DSLDI) is a workshop intended to bring together researchers and practitioners interested in discussing how DSLs should be designed, implemented, supported by tools, and applied in realistic contexts. The focus of the workshop is on all aspects of this process, from soliciting domain knowledge from experts, through the design and implementation of the language, to evaluating whether and how a DSL is successful. More generally, we are interested in continuing to build a community that can drive forward the development of modern DSLs. Web: http://2017.splashcon.org/track/dsldi-2017 Submission: August 7, 2017 ## Escaped 2017 - Escaped from the Lab Workshop What are some of the practices for taking new ideas and converting them into products? Even large organizations have a difficult time sustaining the innovation process. The all-to-common story: One part of the organization over-commits (promises the earth, moon, and stars), and another part of the organization is forced to deliver. The extravagant promise of the Powerpoint presentation is converted into the trail of tears of the Gantt chart. The grandiose project was originally supposed to be feasible. There were some small technology trials that proved out the basic ideas for low-volume transaction rates and simplified user interfaces. The product was supposed to be delivered in record time because of high rates of software reuse. So what went wrong? This workshop will explore the intersection of modern software technology and tools, high reliability and performance requirements, large organizations, and conflicts in the software development process. Web: http://2017.splashcon.org/track/escaped-2017 Submission: September 7, 2017 ## FOSD 2017 - Workshop on Feature-Oriented Software Development Feature-oriented software development (FOSD) is a paradigm for the construction and customization of software systems. The key idea of FOSD is to decompose a family of software systems into units of functionality called features, with the goal of reusing software artifacts among family members. Features capture the similarities and differences among systems in the family, and a particular software system can be produced by selecting or composing its corresponding features. A feature is a unit of functionality that satisfies a requirement, represents a design decision, or provides a configuration option. A challenge in FOSD is that a feature may not map cleanly to an isolated module of code. Rather, its implementation may crosscut many components and artifacts of the software system. Furthermore, the decomposition of a software system into its features gives rise to a combinatorial explosion of possible feature combinations and interactions. Web: http://2017.splashcon.org/track/fosd-2017 Submission: August 15, 2017 ## LIVE 2017 - Workshop on Live Programming Live programming systems abandon the traditional edit-compile-run cycle in favor of fluid user experiences that encourages powerful new ways of "thinking to code" and enables programmers to see and understand their program executions. Programming today requires much mental effort with broken stuttering feedback loops: programmers carefully plan their abstractions, simulating program execution in their heads; the computer is merely a receptacle for the resulting code with a means of executing that code. Live programming aims to create a tighter more fluid feedback loop between the programmer and computer, allowing the computer to augment more of the programming process by, for example, allowing programmers to progressively mine abstractions from concrete examples and providing continuous feedback about how their code will execute. Meanwhile, under the radar of the PL community at-large, a nascent community has formed around the related idea of "live coding" - live audiovisual performances which use computers and algorithms as instruments and include live audiences in their programming experiences. This workshop focuses on exploring notions and degrees of live programming as they relate to development, creative activities, learning, and performance. We are interested in methodologies, tools, demos, infrastructures, language designs, and questions that stimulate interest and understanding in live programming. Web: http://2017.splashcon.org/track/live-2017 Submission: August 1, 2017 ## META 2017 - Workshop on Meta-Programming Techniques and Reflection The Meta'17 workshop aims to bring together researchers working on metaprogramming and reflection, as well as users building applications, language extensions, or software tools. With the changing hardware and software landscape, and increased heterogeneity of systems, metaprogramming becomes an important research topic to handle the associate complexity once more. Contributions to the workshop are welcome on a wide range of topics related to design, implementation, and application of metaprogramming techniques, as well as empirical studies on and typing for such systems and languages. Web: http://2017.splashcon.org/track/meta-2017 Submission: August 7, 2017 ## NJR 2017 - Workshop on Towards a National Java Resource This workshop is the second in a series of workshops with the goal to work towards the establishment of a National Java Resource (NJR). Our vision is a collection of 10,000 Java projects, each of which builds and runs, and for which popular tools succeed and have cached outputs. NJR will lower the barrier to implementation of new tools, speed up research, and ultimately help advance research frontiers. In particular, NJR will enable tools that take advantage of Big Code in such areas as code synthesis, error repair, and program understanding. What do researchers need from NJR to make progress on their tools? A common road block is that existing collections of Java code are either small, without ability to build and run, or both. The main goals of the workshops are to discuss the list of tools that researchers commonly use as building blocks for their own tools, debate what features of the National Java Resource that researchers would like to see, and see how an early prototype of the National Java Resource works. Web: http://2017.splashcon.org/track/njr-2017 Submission: TBC ## NOOL 2017 - The -2th Workshop on New Object-Oriented Languages NOOL-17 brings together users and implementors of new(ish) object-oriented systems. Through presentations, discussions and demos, NOOL-17 will provide a forum for sharing experience and knowledge among experts and novices alike. We invite submissions in the following areas: Theory: Including object oriented programming, semantic models and methodology. Languages: New languages, extensions to conventional languages, and existing languages. Implementation: Including architectural support, compilation and interpretation. Tools and Environments: Including livecoding, user interfaces and utilities. Applications: Commercial, educational, and other applications that exploit OO programming. Web: http://2017.splashcon.org/track/nool-2017 Submission: September 1, 2017 ## OCAP 2017 - Workshop on Object-Capability Languages, Systems, and Applications The OCAP workshop seeks to bring together those interested in object-capability languages, systems, and applications. Object-capabilities offer a distinct approach to building robust, distributed systems that pose many interesting research and practical challenges. The workshop is designed to explore the latest developments in the theory and practice of the object- capability approach, and provide a forum for knowledge exchange and collaboration. Researchers working on object-capability and related methods, models, languages, and tools, as well as practitioners developing real-world systems and applications are welcome. Web: http://2017.splashcon.org/track/ocap-2017 Submission: August 15, 2017 ## PLATEAU 2017 - 8th International Workshop on Evaluation and Usability of Programming Languages and Tools Programming languages exist to enable programmers to develop software effectively. But programmer efficiency depends on the usability of the languages and tools with which they develop software. The aim of this workshop is to discuss methods, metrics and techniques for evaluating the usability of languages and language tools. The supposed benefits of such languages and tools cover a large space, including making programs easier to read, write, and maintain; allowing programmers to write more flexible and powerful programs; and restricting programs to make them more safe and secure. PLATEAU gathers the intersection of researchers in the programming language, programming tool, and human-computer interaction communities to share their research and discuss the future of evaluation and usability of programming languages and tools. Web: http://2017.splashcon.org/track/plateau-2017 Submission: August 1, 2017 ## PX/17.2 2017 - The 3rd Edition of the Programming Experience Workshop 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 (PX) 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. Web: http://2017.splashcon.org/track/px-17-2 Submission: August 8, 2017 ## Parsing at SLE 2017 - The 5th Annual Workshop on Parsing Programming Languages Parsing at SLE 2017 is the fifth annual workshop on parsing programming languages. The intended participants are the authors of parser generation tools and parsers for programming languages and other software languages. For the purpose of this workshop "parsing" is a computation that takes a sequence of characters as input and produces a syntax tree or graph as output. This possibly includes tokenization using regular expressions, deriving trees using context-free grammars, and mapping to abstract syntax trees. The goal is to bring together today's experts in the field of parsing, in order to explore open questions and possibly forge new collaborations. The topics may include algorithms, implementation and generation techniques, syntax and semantics of meta formalisms (BNF), etc. We expect to attract participants that have been or are developing theory, techniques and tools in the broad area of parsing. Web: http://2017.splashcon.org/track/parsing-2017 Submission: September 1, 2017 ## REBLS 2017 - The 4th Workshop on Reactive and Event-based Languages & Systems Reactive programming and event-based programming are two closely related programming styles that are becoming ever more important with the advent of advanced HPC technology and the ever increasing requirement for our applications to run on the web or on collaborating mobile devices. A number of publications on middleware and language design — so-called reactive and event-based languages and systems (REBLS) — have already seen the light, but the field still raises several questions. For example, the interaction with mainstream language concepts is poorly understood, implementation technology is in its infancy and modularity mechanisms are almost totally lacking. Moreover, large applications are still to be developed and patterns and tools for developing reactive applications is an area that is vastly unexplored. This workshop will gather researchers in reactive and event-based languages and systems. The goal of the workshop is to exchange new technical research results and to define better the field by coming up with taxonomies and overviews of the existing work. Web: http://2017.splashcon.org/track/rebls-2017 Submission: August 1, 2017 ## SAVR 2017 - Workshop on Software for Augmented and Virtual Reality Even conservative forecasters predict the imminent wave of Augmented/Virtual/Mixed Reality applications to extend far beyond gaming. Education, health care, analytics, marketing—immersive environments are poised to provide productivity gains in multiple sectors, eventually replacing conventional interfaces with gestures, gaze and natural language processing. The Software Engineering and Programming Language communities have only just begun to fully engage within this new paradigm. The Software for Augmented and Virtual Reality (SAVR) workshop will be designed to help bridge this gap. Participants will submit a position paper outlining the SE/PL challenges they have either encountered or anticipate in this space. Web: http://2017.splashcon.org/track/savr-2017 Submission: August 8, 2017 ## SEPS 2017 - The 4th International Workshop on Software Engineering for Parallel Systems This workshop provides a stable forum for researchers and practitioners dealing with compelling challenges of the software development life cycle on modern parallel platforms. The increased complexity of parallel applications on modern parallel platforms (e.g. multicore/manycore, distributed or hybrid) requires more insight into development processes, and necessitates the use of advanced methods and techniques supporting developers in creating parallel applications or parallelizing and re-engineering sequential legacy applications. We aim to advance the state of the art in different phases of parallel software development, covering software engineering aspects such as requirements engineering and software specification; design and implementation; program analysis; testing and debugging; profiling and tuning. Web: http://2017.splashcon.org/track/seps-2017 Submission: August 8, 2017 ## VMIL 2017 - Workshop on Virtual Machines and Intermediate Languages The VMIL workshop is a forum for research in virtual machines and intermediate languages. It is dedicated to identifying programming mechanisms and constructs that are currently realized as code transformations or implemented in libraries but should rather be supported at VM level. Candidates for such mechanisms and constructs include modularity mechanisms (aspects, context-dependent layers), concurrency (threads and locking, actors, capsules, processes, software transactional memory), transactions, development tools (profilers, runtime verification), etc. Topics of interest include the investigation of which such mechanisms are worthwhile candidates for integration with the run-time environment, how said mechanisms can be elegantly (and reusably) expressed at the intermediate language level (e.g., in bytecode), how their implementations can be optimized, and how virtual machine architectures might be shaped to facilitate such implementation efforts. Web: http://2017.splashcon.org/track/vmil-2017 Submission: August 14, 2017 ## WODA 2017 - The International Workshop on Dynamic Analysis The International Workshop on Dynamic Analysis (WODA) is the place where researchers interested in dynamic analysis and related topics can meet and discuss current research, issues, and trends in the field. WODA exists since 2003 and has been co-located with several different SE/PL conferences in the past, including ICSE, ISSTA, ASPLOS, and SPLASH. Dynamic analysis is widely used in software development to understand various run-time properties of a program. Dynamic analysis includes both offline techniques, which operate on some captured representation of the program's behavior (e.g., a trace), and run-time techniques, which analyze the program on-the-fly as the system is executing. Though inherently incomplete, dynamic analyses are typically more precise than their static counterparts, and show promise in aiding the understanding, development, and maintenance of robust and reliable large-scale systems. Moreover, dynamic analyses can generate quantitative data that is useful for statistical inferences regarding the program's behavior. Starting from these motivations, the goal of WODA is to bring together researchers and practitioners working in all areas of dynamic analysis to discuss new perspectives and observations, share results and ongoing work, and establish collaborations. WODA serves as a forum for researchers and practitioners interested in the intersection of (some or all of) compilers, programming languages, architecture, software engineering, systems, high-performance computing, performance engineering, machine learning and data mining as tools to enable software and system behavior analysis. Web: http://2017.splashcon.org/track/woda-2017 Submission: August 15, 2017 ## Information Conference: Sunday 22nd October - Friday 27th October, 2017 Contact: info at splashcon.org Website: http://2017.splashcon.org Location: Vancouver, British Columbia, Canada ## Organization: SPLASH General Chair: * Gail Murphy (University of British Columbia) OOPSLA Papers Chair: * Jonathan Aldrich (Carnegie Mellon University) Onward! Papers Co-Chairs: * Emina Torlak (University of Washington) * Tijs van der Storm (CWI) Onward! Essays Chair: * Robert Biddle (Carleton University) DLS PC Chair: * Davide Ancona (University of Genova) SLE General Chair: * Benoit Combemale (University of Rennes) GPCE General Chair: * Matthew Flatt (University of Utah) Scala General Chair: * Heather Miller (Ecole Polytechnique Federale de Lausanne) PLoP Program Chair: * Takashi Iba (Keio University) Doctoral Symposium Chair: * Elisa Gonzalez Boix (Vrije Universiteit Brussel) SPLASH-E Chair: * Joe Gibbs Politz (University of California, San Diego) SPLASH-I Co-Chairs: * Gail Murphy (University of British Columbia) * Karim Ali (Unviersity of Alberta) * Avik Chaudhuri (Facebook) Artifacts Co-Chairs: * Michael Bond (Ohio State University) * Sam Tobin-Hochstadt (Indiana University) Workshops Co-Chairs: * Craig Anslow (Victoria University of Wellington) * Alex Potanin (Victoria University of Wellington) Posters Co-Chairs: * Jonathan Bell (George Mason University) * Patrick Lam (University of Waterloo) Student Research Competition Co-Chairs: * Shan Shan Huang (Logicblox) * Jennifer Sartor (Vrije Universiteit Brussel) Student Volunteer Co-Chairs: * Daco Harkes (TU Delft) * Giovanni Viviani (University of British Columbia) PLMW Co-Chairs: * Lori Pollock (University of Delaware) * Barbara Ryder (Virginia Tech) Video Co-Chairs: * Michael Hilton (Oregon State University) * David Darais (University of Maryland) Publications Co-Chairs: * Alex Potanin (Victoria University of Wellington) * Tijs van der Storm (CWI) Sponsorship Co-Chairs: * Jurgen Vinju (Purdue University) * Tony Hosking (Australian National University, Data61, and Purdue University) Publicity and Web Co-Chairs: * Ron Garcia (University of British Columbia) * Eric Walkingshaw (Oregon State University) Local Arrangements Chair: * Peter Smith (ACL) /***************************************************************************/ From calimeri at mat.unical.it Sun Jun 25 07:13:08 2017 From: calimeri at mat.unical.it (Francesco Calimeri) Date: Sun, 25 Jun 2017 09:13:08 +0200 Subject: [Haskell] 13th Reasoning Web Summer School (RW 2017): PARTICIPATION STILL OPEN Message-ID: ************************************************************ CALL FOR APPLICATIONS - PARTICIPATION TOKENS STILL AVAILABLE The 13th Reasoning Web Summer School (RW 2017) London, U.K., July 7-11, 2017 http://reasoningweb.org/2017 ************************************************************ co-located with: - RuleML+RR: International Joint Conference on Rules and Reasoning London, U.K., July 12-15, 2017 http://2017.ruleml-rr.org - RuleML+RR Doctoral Consortium http://2017.ruleml-rr.org/doctoral-consortium/ - DecisionCAMP 2017 London, U.K., July 13-14, 2017 http://2017.ruleml-rr.org/decisioncamp-2017 - 11th International Rule Challenge London, U.K., July 12-15, 2017 http://2017.ruleml-rr.org/calls/international-rule-challenge/ The purpose of the Reasoning Web Summer School is to disseminate recent advances on reasoning techniques which are of particular interest to Semantic Web and Linked Data applications. The school is primarily intended for postgraduate (PhD or MSc) students, postdocs, young researchers, and senior researchers wishing to learn about Reasoning on the Semantic Web and related issues. In 2017, the theme of the school is: "Semantic Interoperability on the Web" As in the previous years, lectures in the summer school will be given by a distinguished group of expert lecturers. Most lecturers will also be present for the duration of the school to interact and establish contacts with the students. The summer school is co-located with RuleML+RR, a conference that joins the well-known RuleML and RR event series, DecisionCAMP 2017, and the 11th International Rule Challenge, hence, there will be a great opportunity for students to also attend some major events in the area. In addition, RuleML+RR will also include a Doctoral Consortium and students of RW are particularly encouraged to also apply to the Doctoral consortium of RuleML+RR. Participants to the school will be delivered on request a certificate of attendance indicating the number of hours of lectures. With this certificate, some institutions may assign official credits for the PhD program. == LECTURES == - Andrea Calì (Birkbeck University of London, U.K.) "Ontology querying: Datalog strikes back" - Thomas Eiter (Technical University of Wien, Austria) "Answer Set Programming with External Source Access" - Thomas Lukasiewicz (University of Oxford, U.K.) "Uncertainty Reasoning for the Semantic Web" - Marco Montali (Free University of Bolzano/Bozen, Italy) "Ontology-based Data Access for Log Extraction in Process Mining" - Axel Polleres (Vienna University of Economics & Business, Austria) "Challenges for Semantic Data Integration on the Web of Open Data" - Marie-Christine Rousset (University Grenoble-Alpes, Institut Universitaire de France) "Datalog revisited for reasoning in Linked Data" - Torsten Schaub (University of Potsdam, Germany and Inria, Bretagne Atlantique, Rennes, France) "A Tutorial on Hybrid Answer Set Solving" - Juan Sequeda (Capsenta, USA) "Integrating Relational Databases with the Semantic Web" - Giorgos Stamou (National Technical University of Athens, Greece) "Ontological query answering over semantic data" == LECTURE NOTES == The course material used during the summer school will be published within Springer's Lecture Notes in Computer Science (LNCS) series. A copy of the proceedings will be included in the registration fees. == HOW TO APPLY == A limited number of participation tokens is still available and will be assigned on a first come, first served basis. The attendees can ask to participate by submitting a brief statement of interest to rw2017 at easychair.org Approval and instructions on how to complete registration will follow. == SCHOOL FEES == The fee for attending the school is 370 GBPs. The fee covers school registration, coffee breaks, and a copy of the school volume published as Springer LNCS proceedings. Joint Registration to RW and RuleML+RR is also possible, with a fee of 485 GBPs. Students that plan to participate to both RW and RuleML+RR have to indicate it in their application. == SCHOOL VENUE == Birkbeck, University of London, Malet St, London WC1E 7HX, UK == STUDENT ACCOMMODATIONS == University of London offers accommodations in its student residences. Prices start from 47 GPBs per night. For details visit http://staycentral.london.ac.uk/accommodation/ All listed locations are within a walking distance of 15-20 minutes from the school venue. == COMMITTEE == *Chairs Giovambattista Ianni, Università della Calabria Domenico Lembo, Sapienza Università di Roma *Scientific Advisory Board Leopoldo Bertossi, Carleton University Wolfgang Faber, University of Huddersfield Birte Glimm, Universität Ulm Georg Gottlob, Oxford University Steffen Staab, University of Koblenz-Landau == CONTACT == For further information, contact the school chairs (rw2017 at easychair.org) -- Prof. Giovambattista Ianni, DeMaCS - UNICAL, Rende, Italy From meneguette at ifsp.edu.br Sun Jun 25 23:23:23 2017 From: meneguette at ifsp.edu.br (Rodolfo I. Meneguette) Date: Sun, 25 Jun 2017 20:23:23 -0300 (BRT) Subject: [Haskell] CFP: ACM MobiWac 2017, Miami Beach, USA In-Reply-To: <702590409.66836010.1498432986877.JavaMail.zimbra@ifsp.edu.br> Message-ID: <1389573825.66836239.1498433003051.JavaMail.zimbra@ifsp.edu.br> ** We apologize if you receive multiple copies of this message ** ================================================================== The 15th ACM International Symposium on Mobility Management and Wireless Access (MobiWac 2017) November 21 - 25, 2017 - Miami Beach, USA http://mobiwac-symposium.org/ ================================================================== IMPORTANT: Submission deadline: June 30th 2017 ================================================================== The 15th ACM International Symposium on Mobility Management and Wireless Access (MobiWac 2017) will be held in conjunction with MSWiM 2017 (the 20th ACM International Symposium on Modeling, Analysis and Simulation of Wireless and Mobile Systems) from November 21 to 25, 2017 in Miami Beach, USA. The MOBIWAC series of events are intended to provide an international forum for the discussion and presentation of original ideas, recent results and achievements by researchers, students, and systems developers on issues and challenges related to mobility management and wireless access protocols. To keep up with the technological developments, we also open up new areas such as mobile cloud computing starting from this year. Authors are encouraged to submit both theoretical and practical results of significance on all aspects of wireless and mobile access technologies, with an emphasis on mobility management and wireless access. Authors are invited to submit full papers describing original research. Submitted papers must neither have been published elsewhere nor currently be under review by another conference or journal. TOPICS OF INTEREST include, but are not limited to: - Mobile Cloud Computing - Wireless/Mobile Access Protocols - Wireless/Mobile Web Access - Wireless Internet and All-IP integration - Next Generation Wireless systems - Mobile Broadband Wireless Access - Pervasive Communication and Computing - Ubiquitous and mobile access - Wireless Applications and testbeds - Multi-Homing and Vertical Handoff - Multi-Channel Multi-Radio MAC / network layer management - Channels and resource allocation algorithms - Energy and power management algorithms - Mobility Models - Multi-technology switching using Software Defined Radios - Context-aware services and applications - Context-aware protocols and protocol architectures - Interactive applications - Mobile database management - Wireless Multimedia Protocols - Mobile and Wireless Entertainment - Mobile Info-services - Social mobile networks - Social mobile applications - Data analysis for mobile and wireless networks - SDN solutions in mobile and wireless networks - QoS management - Mobility Control and Management - Localization and tracking - Mobile/Vehicular environment access - Wireless ad hoc and sensor networks - Security,Trust management and Privacy issues - Fault Tolerance solutions - Wireless Systems' Design - Analysis/Simulation of wireless mobile systems - Testbeds for experimental and simulation analysis ORGANIZING COMMITTEE: General Chair Ángel Cuevas, Universidad Carlos III de Madrid, Spain Program Chairs Robson De Grande, University of Ottawa, Canada Amir Darehshoorzadeh, CISCO, Canada Posters/Demo Chair Graciela Román Alonso, Universidad Autónoma Metropolitana, Mexico Publicity Chairs Khalil El-Khatib, UOIT, Canada Mirela. A. M. Notare, Sao Jose Municipal University, Brazil ========================= Paper Submission, Publication, and Important Dates: 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 Symposium. The symposium will have a single track for regular papers and in addition, a separate interwoven track with short papers / posters. Paper length must be no more than 10 pages, double column, ACM style including tables and figures. Note that the regular paper size will be 8 pages, with the possibility to obtain up to 2 additional pages (total 10 pages) by paying a publication fee. Only PDF format is accepted. All accepted papers will appear in the Symposium proceedings published by ACM press. - Paper registration due: June 30, 2017 (11 :59PM EST) - Submission Deadline: June 30, 2017 (11 :59PM EST) - Notification of Acceptance: July 30, 2017 (11 :59PM EST) Papers are submitted via the EDAS system ( https://edas.info/N23669 ). For any question or problems related to MobiWac 2017 submissions, please contact the PC Chairs. FOR MORE INFORMATION about the conference, organizing committee, submission instructions, and venue please see the conference website ( http://mobiwac-symposium.org ). -------------- next part -------------- An HTML attachment was scrubbed... URL: From rdgrande at site.uottawa.ca Mon Jun 26 13:46:42 2017 From: rdgrande at site.uottawa.ca (Robson De Grande) Date: Mon, 26 Jun 2017 09:46:42 -0400 Subject: [Haskell] CFP: ACM MobiWac 2017, Miami Beach, USA Message-ID: ** We apologize if you receive multiple copies of this message ** ================================================================== The 15th ACM International Symposium on Mobility Management and Wireless Access (MobiWac 2017) November 21 - 25, 2017 - Miami Beach, USA http://mobiwac-symposium.org/ ================================================================== IMPORTANT: Submission deadline: June 30th 2017 ================================================================== The 15th ACM International Symposium on Mobility Management and Wireless Access (MobiWac 2017) will be held in conjunction with MSWiM 2017 (the 20th ACM International Symposium on Modeling, Analysis and Simulation of Wireless and Mobile Systems) from November 21 to 25, 2017 in Miami Beach, USA. The MOBIWAC series of events are intended to provide an international forum for the discussion and presentation of original ideas, recent results and achievements by researchers, students, and systems developers on issues and challenges related to mobility management and wireless access protocols. To keep up with the technological developments, we also open up new areas such as mobile cloud computing starting from this year. Authors are encouraged to submit both theoretical and practical results of significance on all aspects of wireless and mobile access technologies, with an emphasis on mobility management and wireless access. Authors are invited to submit full papers describing original research. Submitted papers must neither have been published elsewhere nor currently be under review by another conference or journal. TOPICS OF INTEREST include, but are not limited to: - Mobile Cloud Computing - Wireless/Mobile Access Protocols - Wireless/Mobile Web Access - Wireless Internet and All-IP integration - Next Generation Wireless systems - Mobile Broadband Wireless Access - Pervasive Communication and Computing - Ubiquitous and mobile access - Wireless Applications and testbeds - Multi-Homing and Vertical Handoff - Multi-Channel Multi-Radio MAC / network layer management - Channels and resource allocation algorithms - Energy and power management algorithms - Mobility Models - Multi-technology switching using Software Defined Radios - Context-aware services and applications - Context-aware protocols and protocol architectures - Interactive applications - Mobile database management - Wireless Multimedia Protocols - Mobile and Wireless Entertainment - Mobile Info-services - Social mobile networks - Social mobile applications - Data analysis for mobile and wireless networks - SDN solutions in mobile and wireless networks - QoS management - Mobility Control and Management - Localization and tracking - Mobile/Vehicular environment access - Wireless ad hoc and sensor networks - Security,Trust management and Privacy issues - Fault Tolerance solutions - Wireless Systems' Design - Analysis/Simulation of wireless mobile systems - Testbeds for experimental and simulation analysis ORGANIZING COMMITTEE: General Chair Ángel Cuevas, Universidad Carlos III de Madrid, Spain Program Chairs Robson De Grande, University of Ottawa, Canada Amir Darehshoorzadeh, CISCO, Canada Posters/Demo Chair Graciela Román Alonso, Universidad Autónoma Metropolitana, Mexico Publicity Chairs Khalil El-Khatib, UOIT, Canada Mirela. A. M. Notare, Sao Jose Municipal University, Brazil ========================= Paper Submission, Publication, and Important Dates: 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 Symposium. The symposium will have a single track for regular papers and in addition, a separate interwoven track with short papers / posters. Paper length must be no more than 10 pages, double column, ACM style including tables and figures. Note that the regular paper size will be 8 pages, with the possibility to obtain up to 2 additional pages (total 10 pages) by paying a publication fee. Only PDF format is accepted. All accepted papers will appear in the Symposium proceedings published by ACM press. - Paper registration due: June 30, 2017 (11:59PM EST) - Submission Deadline: June 30, 2017 (11:59PM EST) - Notification of Acceptance: July 30, 2017 (11:59PM EST) Papers are submitted via the EDAS system (https://edas.info/N23669). For any question or problems related to MobiWac 2017 submissions, please contact the PC Chairs. FOR MORE INFORMATION about the conference, organizing committee, submission instructions, and venue please see the conference website (http://mobiwac-symposium.org). -------------- next part -------------- An HTML attachment was scrubbed... URL: From mh at informatik.uni-kiel.de Mon Jun 26 20:17:47 2017 From: mh at informatik.uni-kiel.de (Michael Hanus) Date: Mon, 26 Jun 2017 22:17:47 +0200 (CEST) Subject: [Haskell] 2nd Call for Papers: WFLP/WLP 2017 Message-ID: <20170626201747.C64EE61054@belair.informatik.uni-kiel.de> News: * Proceedings with selected papers will be published by Springer * Deadline for submissions extended to July 08, 2017 ====================================================================== CALL FOR PAPERS WFLP 2017 25th International Workshop on Functional and Logic Programming 31st Workshop on (Constraint) Logic Programming part of Declare 2017 - Conference on Declarative Programming September 19-22, 2017, Wuerzburg, Germany http://www.declare17.de/wflp.html ====================================================================== GENERAL WFLP 2017 is the combination of two workshops of a successful series of annual workshops on declarative programming. The international workshops on functional and logic programming aim at bringing together researchers interested in functional programming, logic programming, as well as their integration. The workshops on (constraint) logic programming serve as the scientific forum of the annual meeting of the Society of Logic Programming (GLP e.V.) and bring together researchers interested in logic programming, constraint programming, and related areas like databases, artificial intelligence, and operations research. In this year both workshops will be jointly organized and collocated with the 21st International Conference on Applications of Declarative Programming and Knowledge Management (INAP 2017) and the Summer School on Advanced Concepts for Databases and Logic Programming under the umbrella of the conference on Declarative Programming (Declare 2017) in order to promote the cross-fertilizing exchange of ideas and experiences among researchers and students from the different communities interested in the foundations, applications, and combinations of high-level, declarative programming languages and related areas. The technical program of the workshop will include invited talks, presentations of refereed papers and demo presentations. ---------------------------------------------------------------------- TOPICS The topics of interest include (but are not limited to): * Functional programming * Logic programming * Constraint programming * Deductive databases, data mining * Extensions of declarative languages, objects * Multi-paradigm declarative programming * Foundations, semantics, nonmonotonic reasoning, dynamics * Parallelism, concurrency * Program analysis, abstract interpretation * Program transformation, partial evaluation, meta-programming * Specification, verification, declarative debugging * Knowledge representation, machine learning * Interaction of declarative programming with other formalisms (e.g., agents, XML, Java) * Implementation of declarative languages * Advanced programming environments and tools * Software technique for declarative programming * Applications The primary focus is on new and original research results but submissions describing innovative products, prototypes under development, application systems, or interesting experiments (e.g., benchmarks) are also encouraged. ---------------------------------------------------------------------- IMPORTANT DATES Submission of abstracts: July 05, 2017 Submission of papers: July 08, 2017 Notification of acceptance: July 24, 2017 Camera-ready papers: August 04, 2017 Workshop: September 19-22, 2017 ---------------------------------------------------------------------- SUBMISSION GUIDELINES Papers must describe original work, be written and presented in English, and must not substantially overlap with papers that have been published or that are simultaneously submitted to a journal, conference, or workshop with refereed proceedings. Work that already appeared in unpublished or informally published workshop proceedings may be submitted (please contact the PC chair in case of questions). Papers can be submitted as technical papers or system descriptions. Technical papers should consist of up to 15 pages, system descriptions should be no longer than 6 pages. Formatting should follow the LNCS guidelines. The details about the procedure to submit papers electronically are described on the conference website. Submitted papers will be judged on the basis of significance, relevance, correctness, originality, and clarity. They should include a clear identification of what has been accomplished and why it is significant. ---------------------------------------------------------------------- PROCEEDINGS All accepted papers will be published as a technical report. As for previous events, selected papers will be published as a volume in the Springer LNAI series. Previous proceedings appeared as Springer LNCS volumes 8439 (WFLP 2013), 6816 (WFLP 2011), 6559 (WFLP 2010), 5979 (WFLP 2009), 5437 (WLP 2007), and 3392 (WLP 2004). ---------------------------------------------------------------------- PROGRAM COMMITTEE Slim Abdennadher German University in Cairo, Egypt Sergio Antoy Portland State University, USA Olaf Chitil University of Kent, UK Juergen Dix Clausthal University of Technology, Germany Moreno Falaschi Universita di Siena, Italy Michael Hanus University of Kiel, Germany (Chair) Sebastiaan Joosten University of Innsbruck, Austria Oleg Kiselyov Tohoku University, Japan Herbert Kuchen University of Muenster, Germany Sibylle Schwarz HTWK Leipzig, Germany Dietmar Seipel University of Wuerzburg, Germany Tom Schrijvers KU Leuven, Belgium Martin Sulzmann Karlsruhe University of Applied Sciences, Germany Hans Tompits Vienna University of Technology, Austria German Vidal Universidad Politecnica de Valencia, Spain Janis Voigtlaender University of Duisburg-Essen, Germany Johannes Waldmann HTWK Leipzig, Germany ---------------------------------------------------------------------- CONTACT Michael Hanus University of Kiel, Germany Email: mh at informatik.uni-kiel.de ---------------------------------------------------------------------- From martin.sulzmann.haskell at googlemail.com Fri Jun 30 09:52:42 2017 From: martin.sulzmann.haskell at googlemail.com (Martin Sulzmann) Date: Fri, 30 Jun 2017 11:52:42 +0200 Subject: [Haskell] FLOPS2018: First CFP Message-ID: FIRST Call For Papers FLOPS 2018: 14th International Symposium on Functional and Logic Programming 9-11 May, 2018, Nagoya, Japan http://www.sqlab.jp/FLOPS2018/ Writing down detailed computational steps is not the only way of programming. The alternative, being used increasingly in practice, is to start by writing down the desired properties of the result. The computational steps are then (semi-)automatically derived from these higher-level specifications. Examples of this declarative style include functional and logic programming, program transformation and re-writing, and extracting programs from proofs of their correctness. FLOPS aims to bring together practitioners, researchers and implementors of the declarative programming, to discuss mutually interesting results and common problems: theoretical advances, their implementations in language systems and tools, and applications of these systems in practice. The scope includes all aspects of the design, semantics, theory, applications, implementations, and teaching of declarative programming. FLOPS specifically aims to promote cross-fertilization between theory and practice and among different styles of declarative programming. Scope FLOPS solicits original papers in all areas of the declarative programming: * functional, logic, functional-logic programming, re-writing systems, formal methods and model checking, program transformations and program refinements, developing programs with the help of theorem provers or SAT/SMT solvers; * foundations, language design, implementation issues (compilation techniques, memory management, run-time systems), applications and case studies. FLOPS promotes cross-fertilization among different styles of declarative programming. Therefore, submissions must be written to be understandable by the wide audience of declarative programmers and researchers. Submission of system descriptions and declarative pearls are especially encouraged. Submissions should fall into one of the following categories: * Regular research papers: they should describe new results and will be judged on originality, correctness, and significance. * System descriptions: they should contain a link to a working system and will be judged on originality, usefulness, and design. * Declarative pearls: new and excellent declarative programs or theories with illustrative applications. System descriptions and declarative pearls must be explicitly marked as such in the title. Submissions must be unpublished and not submitted for publication elsewhere. Work that already appeared in unpublished or informally published workshops proceedings may be submitted. See also ACM SIGPLAN Republication Policy. Proceedings The proceedings will be published by Springer International Publishing in the Lecture Notes in Computer Science (LNCS) series, as a printed volume as well as online in the digital library SpringerLink. Post-proceedings: The authors of 4-7 best papers will be invited to submit the extended version of their FLOPS paper to a special issue of the journal Science of Computer Programming (SCP). Important dates 13 November 2017 (any time zone): Abstract Submission 20 November 2017 (any time zone): Submission deadline 15 January 2018: Author notification 9-11 May 2018: FLOPS Symposium Invited Talks To be announced Submission Submissions must be written in English and can be up to 15 pages long including references, though pearls are typically shorter. The formatting has to conform to Springer's guidelines. Regular research papers should be supported by proofs and/or experimental results. In case of lack of space, this supporting information should be made accessible otherwise (e.g., a link to a Web page, or an appendix). Papers should be submitted electronically at https://easychair.org/conferences/?conf=flops2018 Program Committee Andreas Rossberg Google, Germany Atsushi Ohori Tohoku University, Japan Bruno C. D. S. Oliveira The University of Hong Kong, China Carsten Fuhs Birkbeck, University of London, UK Chung-chieh Shan Indiana University, USA Didier Remy INRIA, France Harald Sondergaard The University of Melbourne, Australia Jacques Garrigue Nagoya University, Japan Jan Midtgaard Technical University of Denmark, Denmark Joachim Breitner University of Pennsylvania, USA John Gallagher Roskilde University, Denmark and IMDEA Software Institute, Spain (co-chair) Jorge A Navas SRI International, USA Kazunori Ueda Waseda University, Japan Kenny Zhuo Ming Lu School of Information Technology, Nanyang Polytechnic, Singapore María Alpuente Universitat Politècnica de València, Spain María Garcia De La Banda Monash University, Australia Martin Sulzmann Karlsruhe University of Applied Sciences, Germany (co-chair) Meng Wang University of Kent, UK Michael Codish Ben-Gurion University of the Negev, Israel Michael Leuschel University of Düsseldorf, Germany Naoki Kobayashi University of Tokyo, Japan Nikolaj Bjørner Microsoft Research, USA Robert Glück University of Copenhagen, Denmark Samir Genaim Universidad Complutense de Madrid, Spain Siau Cheng Khoo National University of Singapore, Singapore Organizers Martin Sulzmann Karlsruhe University of Applied Sciences (co-chair) John Gallagher Roskilde University and IMDEA Software Institute (co-chair) Makoto Tatsuta National Institute of Informatics, Japan (General Chair) Koji Nakazawa Nagoya University, Japan (Local Chair) -------------- next part -------------- An HTML attachment was scrubbed... URL: