September 2017 - Haskell

FLOPS2018: Second CFP
by Martin Sulzmann 29 Sep '17

29 Sep '17

SECOND Call For Papers FLOPS 2018: 14th International Symposium on Functional and Logic Programming In-Cooperation with ACM SIGPLAN 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 Søndergaard The University of Melbourne, Australia Jacques Garrigue Nagoya University, Japan Jan Midtgaard University of Southern 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)

1 0

PEPM 2018 Final Call for Papers
by PEPM Workshop 28 Sep '17

28 Sep '17

PEPM 2018 FINAL CALL FOR PAPERS =============================== The submission site is now open: https://pepm18.hotcrp.com Only one week until the paper submission deadline (6th October AoE)! Highlights ---------- PEPM 2018 welcomes submissions on * semantics based and machine-learning based program synthesis and program optimisation, and * modelling, analysis, and transformation techniques for distributed and concurrent protocols and programs, such as session types, linear types, and contract specifications, in addition to traditional PEPM topics. Do submit a short paper if you want to get feedback for your work in progress! If requested, short papers can be left out of the proceedings so that the results can be published elsewhere. New in this call ---------------- Invited talks by Alex Aiken, Conal Elliott, and Jan Midtgaard. Short papers should include the words “short paper” somewhere in their title, and will be evaluated primarily on the basis of their ideas rather than finished execution. -- CALL FOR PAPERS -- ACM SIGPLAN Workshop on PARTIAL EVALUATION AND PROGRAM MANIPULATION (PEPM) 2018 =============================================================================== * Website : http://popl18.sigplan.org/track/PEPM-2018 * Time : 8th – 9th January 2018 * Place : Los Angeles, CA, US (co-located with POPL 2018) The ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM), which has a history going back to 1991 and has co-located with POPL every year since 2006, originates in the discoveries of practically useful automated techniques for evaluating programs with only partial input. Over the years, the scope of PEPM has expanded to include a variety of research areas centred around the theme of semantics-based program manipulation — the systematic exploitation of treating programs not only as subject to black-box execution, but also as data structures that can be generated, analysed, and transformed while establishing or maintaining important semantic properties. Scope ----- In addition to the traditional PEPM topics (see below), PEPM 2018 welcomes submissions in new domains, in particular: * Semantics based and machine-learning based program synthesis and program optimisation. * Modelling, analysis, and transformation techniques for distributed and concurrent protocols and programs, such as session types, linear types, and contract specifications. More generally, topics of interest for PEPM 2018 include, but are not limited to: * Program and model manipulation techniques such as: supercompilation, partial evaluation, fusion, on-the-fly program adaptation, active libraries, program inversion, slicing, symbolic execution, refactoring, decompilation, and obfuscation. * Techniques that treat programs/models as data objects including metaprogramming, generative programming, embedded domain-specific languages, program synthesis by sketching and inductive programming, staged computation, and model-driven program generation and transformation. * Program analysis techniques that are used to drive program/model manipulation such as: abstract interpretation, termination checking, binding-time analysis, constraint solving, type systems, automated testing and test case generation. * Application of the above techniques including case studies of program manipulation in real-world (industrial, open-source) projects and software development processes, descriptions of robust tools capable of effectively handling realistic applications, benchmarking. Examples of application domains include legacy program understanding and transformation, DSL implementations, visual languages and end-user programming, scientific computing, middleware frameworks and infrastructure needed for distributed and web-based applications, embedded and resource-limited computation, and security. This list of categories is not exhaustive, and we encourage submissions describing new theories and applications related to semantics-based program manipulation in general. If you have a question as to whether a potential submission is within the scope of the workshop, please contact the programme co-chairs, Fritz Henglein (http://www.diku.dk/~henglein/) and Josh Ko (https://josh-hs-ko.github.io) Submission categories and guidelines ------------------------------------ Two kinds of submissions will be accepted: Regular Research Papers and Short Papers. * Regular Research Papers should describe new results, and will be judged on originality, correctness, significance, and clarity. Regular research papers must not exceed 12 pages (excluding bibliography). * Short Papers may include tool demonstrations and presentations of exciting if not fully polished research, and of interesting academic, industrial, and open-source applications that are new or unfamiliar; they will be evaluated primarily on the basis of their ideas rather than finished execution. Short papers must not exceed 6 pages (excluding bibliography), and should include the words “short paper” somewhere in their title. Both kinds of submissions should be typeset using the two-column ‘sigplan’ sub-format of the new ‘acmart’ format available at: http://sigplan.org/Resources/Author/ and submitted electronically via HotCRP: https://pepm18.hotcrp.com/ PEPM 2018 will employ lightweight double-blind reviewing according to the rules of POPL 2018. Quoting from POPL 2018’s call for papers: “submitted papers must adhere to two rules: 1. author names and institutions must be omitted, and 2. references to authors’ own related work should be in the third person (e.g., not “We build on our previous work ...” but rather “We build on the work of ...”). The purpose of this process is to help the PC and external reviewers come to an initial judgment about the paper without bias, not to make it impossible for them to discover the authors if they were to try. Nothing should be done in the name of anonymity that weakens the submission or makes the job of reviewing the paper more difficult. In particular, important background references should not be omitted or anonymized. In addition, authors should feel free to disseminate their ideas or draft versions of their paper as they normally would. For instance, authors may post drafts of their papers on the web or give talks on their research ideas.” See POPL 2018’s Submission and Reviewing FAQ page for more information: http://popl18.sigplan.org/track/POPL-2018-papers#Submission-and-Reviewing-F… Submissions are welcome from PC members (except the two co-chairs) provided that there are non-PC co-authors. Accepted papers will appear in formal proceedings published by ACM, and be included in the ACM Digital Library. Authors of short papers, however, can ask for their papers to be left out of the formal proceedings. At least one author of each accepted contribution must attend the workshop and present the work. In the case of tool demonstration papers, a live demonstration of the described tool is expected. Student participants with accepted papers can apply for a SIGPLAN PAC grant to help cover travel expenses and other support. PAC also offers other support, such as for child-care expenses during the meeting or for travel costs for companions of SIGPLAN members with physical disabilities, as well as for travel from locations outside of North America and Europe. For details on the PAC programme, see its web page. Important dates --------------- * Paper submission deadline : Friday 6th October 2017 (AoE) (firm) * Author notification : Saturday 4th November 2017 * Workshop : Monday 8th – Tuesday 9th January 2018 The proceedings will be published 2 weeks pre-conference. AUTHORS TAKE NOTE: The official publication date is the date the proceedings are made available in the ACM Digital Library. This date may be up to two weeks prior to the first day of your conference. The official publication date affects the deadline for any patent filings related to published work. (For those rare conferences whose proceedings are published in the ACM Digital Library after the conference is over, the official publication date remains the first day of the conference.) Best paper award ---------------- PEPM 2018 continues the tradition of a Best Paper award. The winner will be announced at the workshop. Invited speakers ---------------- Alex Aiken (Stanford University) Conal Elliott (Target) Jan Midtgaard (University of Southern Denmark) Programme committee ------------------- Nada Amin (EPFL) Shigeru Chiba (University of Tokyo) Ezgi Çiçek (Max Planck Institute for Software Systems) Olivier Danvy (Yale-NUS College) Ronald Garcia (University of British Columbia) Simon Gay (University of Glasgow) Andy Gill (X, the Moonshot Factory) Fritz Henglein (co-chair) (University of Copenhagen) Anastasia Izmaylova (IMC Financial Markets) Johan Jeuring (Utrecht University) Gabriele Keller (University of New South Wales) Oleg Kiselyov (Tohoku University) Hsiang-Shang Ko (co-chair) (National Institute of Informatics) Ralf Lämmel (University of Koblenz-Landau) Julia Lawall (Inria) Simon Peyton Jones (Microsoft Research Cambridge) Frank Pfenning (Carnegie Mellon University) Sriram Rajamani (Microsoft Research India) Norman Ramsey (Tufts University) Thomas Reps (University of Wisconsin-Madison) Sergei Romanenko (Keldysh Institute of Applied Mathematics) Tiark Rompf (Purdue University) Wolfram Schulte (Facebook) Peter Sestoft (IT University of Copenhagen) Harald Søndergaard (University of Melbourne) Kohei Suenaga (Kyoto University) Martin Vechev (ETH Zurich) Marcos Viera (University of the Republic) Nobuko Yoshida (Imperial College London)

1 0

[SEIT 2018] 8th International Conference on Sustainable Energy Information Technology. Porto, Portugal (May 8-11, 2018)
by Wim Ectors 27 Sep '17

27 Sep '17

-------------- Call for Papers ---------------------- The 8th International Conference on Sustainable Energy Information Technology (SEIT-18) Porto, Portugal May 8-11, 2018 Conference Website: http://cs-conferences.acadiau.ca/seit-18/ **************************************************************************** Important Dates =========== - Workshops Proposals Due: November 30, 2017 - Paper Submission Due: December 15, 2017 - Acceptance Notification: February 5, 2018 - Camera-Ready Submission: March 5, 2018 The goal of the SEIT-17 conference is to provide an international forum for scientists, engineers, and managers in academia, industry, and government to address recent research results and to present and discuss their ideas, theories, technologies, systems, tools, applications, work in progress and experiences on all theoretical and practical issues arising in sustainable energy information technology. All SEIT 2017 accepted papers will be published by Elsevier Science in the open-access Procedia Computer Science series on-line. Procedia Computer Sciences is hosted on www.Elsevier.com and on Elsevier content platform ScienceDirect (www.sciencedirect.com) and will be freely available worldwide. All papers in Procedia will be indexed by Scopus (www.scopus.com) and by Thomson Reuters' Conference Proceeding Citation Index http://thomsonreuters.com/conference-proceedings-citation-index/. The papers will contain linked references, XML versions and citable DOI numbers. You will be able to provide a hyperlink to all delegates and direct your conference website visitors to your proceedings. All accepted papers will also be indexed in DBLP (http://dblp.uni-trier.de/) Selected papers will be invited for publication in an international journal. SEIT 2018 will be held in Porto, Portugal. Porto is the second-largest city in Portugal after Lisbon and one of the major urban areas of the Iberian Peninsula. Porto is also called the Invicta because during the 19th century Portuguese civil war, the city withstood a siege of over a year.The urban area of Porto, which extends beyond the administrative limits of the city, has a population of 2.1 million in an area of 389 km2 (150 sq mi), making it the second-largest urban area in Portugal. It is recognized as a gamma- level global city by the Globalization and World Cities (GaWC) Study Group, the only Portuguese city besides Lisbon to be recognised as a global city. Located along the Douro river estuary in Northern Portugal, Porto is one of the oldest European centres, and its historical core was proclaimed a World Heritage Site by UNESCO in 1996. The western part of its urban area extends to the coastline of the Atlantic Ocean. Its settlement dates back many centuries, when it was an outpost of the Roman Empire. One of Portugal's internationally famous exports, port wine, is named after Porto, since the metropolitan area, and in particular the cellars of Vila Nova de Gaia, were responsible for the packaging, transport and export of the fortified wine. In 2014 and 2017, Porto was elected The Best European Destination by the Best European Destinations Agency. SEIT-2018 will be held in conjunction with the 8th International Conference on Ambient Systems, Networks and Technologies (ANT, http://cs-conferences.acadiau.ca/ant-18/) Conference Main Topics: ================= - Advanced Techniques for Energy Applications - Energy Efficiency - Energy Policy - Environmental - Green Sustainability - Power Quality, Power Electronics and Electric Machines - Power Systems - Renewable Energies - Sensing & Monitoring - Smart Systems Committees ======== General Chair Bruce Spencer, University of New Brunswick, Canada Program Chairs Álvaro Henrique Rodrigues, University of Porto, Portugal Jesús Fraile Ardanuy, Universidad Politécnica de Madrid, Spain Ansar-Ul-Haque Yasar, IMOB – Hasselt University, Belgium Local Chair Ana C. R. Paiva, University of Porto, Portugal João C. P. Faria, University of Porto, Portugal Workshops Chairs Hui Hou, Wuhan University of Technology, China Haroon Malik, Marshall University, USA Advisory Committee Bilal A. Akash, Dhofar University, Oman Antonio J. Conejo, Universidad de Castilla - La Mancha, Spain Derek J Croome, University of Reading, UK Geert Deconinck, KU Leuven, Belgium Jatin Nathwani, University of Waterloo, Canada Saffa Riffat, University of Nottingham, UK Ali Sayigh,World Renewable Energy Congress / Network Publicity Chairs Wim Ectors, Hasselt University, Belgium Mohamed Amine Ferrag, Guelma University, Algeria Ilan Stern, Georgia Institute of Technology, USA Technical Program Committee http://cs-conferences.acadiau.ca/seit-18/#programCommittees

1 0

[ANT2018] 9th International Conference on Ambient Systems, Networks and Technologies. Porto, Portugal (May 8-11, 2018)
by Wim Ectors 27 Sep '17

27 Sep '17

The 9th International Conference on Ambient Systems, Networks and Technologies (ANT-2018) Porto, Portugal May 8-11, 2018 Conference Website: http://cs-conferences.acadiau.ca/ant-18/ Workshops: http://cs-conferences.acadiau.ca/ant-18/#workshop Tutorials: http://cs-conferences.acadiau.ca/ant-18/#tutorial *Important Dates =========== - Workshops Proposals Due: November 30, 2017 - Paper Submission Due: December 15, 2017 - Acceptance Notification: February 5, 2018 - Camera-Ready Submission: March 5, 2018 ANT 2018 accepted papers will be published by Elsevier Science in the open-access Procedia Computer Science series on-line. Procedia Computer Science is hosted by Elsevier on www.Elsevier.com and on Elsevier content platform ScienceDirect (www.sciencedirect.com) and will be freely available worldwide. All papers in Procedia will be indexed by Scopus ( www.scopus.com) and by Thomson Reuters' Conference Proceeding Citation Index (http://thomsonreuters.com/conference-proceedings-citation-index/) All papers in Procedia will also be indexed by Scopus (www.scopus.com) and Engineering Village (Ei) (www.engineeringvillage.com) This includes EI Compendex (www.ei.org/compendex) Moreover, all accepted papers will be indexed in DBLP (http://dblp.uni-trier.de/) The papers will contain linked references, XML versions and citable DOI numbers. You will be able to provide a hyperlink to all delegates and direct your conference website visitors to your proceedings. Selected papers will be invited for publication, in the special issues of: - Journal of Ambient Intelligence and Humanized Computing (IF: 1.588), by Springer (http://www.springer.com/engineering/journal/12652) - Journal of Personal and Ubiquitous Computing (IF: 2.395), by Springer ( http://www.springer.com/computer/hci/journal/779) - IEEE Intelligent Transportation Systems Magazine (IF: 3.654), by IEEE ( http://ieeexplore.ieee.org/xpl/RecentIssue.jsp?punumber=5117645) ANT 2018 will be held in Porto, Portugal. Porto is the second-largest city in Portugal after Lisbon and one of the major urban areas of the Iberian Peninsula. Porto is also called the Invicta because during the 19th century Portuguese civil war, the city withstood a siege of over a year.The urban area of Porto, which extends beyond the administrative limits of the city, has a population of 2.1 million in an area of 389 km2 (150 sq mi), making it the second-largest urban area in Portugal. It is recognized as a gamma- level global city by the Globalization and World Cities (GaWC) Study Group, the only Portuguese city besides Lisbon to be recognised as a global city. Located along the Douro river estuary in Northern Portugal, Porto is one of the oldest European centres, and its historical core was proclaimed a World Heritage Site by UNESCO in 1996. The western part of its urban area extends to the coastline of the Atlantic Ocean. Its settlement dates back many centuries, when it was an outpost of the Roman Empire. One of Portugal's internationally famous exports, port wine, is named after Porto, since the metropolitan area, and in particular the cellars of Vila Nova de Gaia, were responsible for the packaging, transport and export of the fortified wine. In 2014 and 2017, Porto was elected The Best European Destination by the Best European Destinations Agency. ANT-2018 will be held in conjunction with the 8th International Conference on Sustainable Energy Information Technology (SEIT, http://cs-conferences.acadiau.ca/seit-18/) Conference Tracks ============== - Agent Systems, Intelligent Computing and Applications - Big Data and Analytics - Cloud Computing - Context-awareness and Multimodal Interfaces - Emerging Networking, Tracking and Sensing Technologies - Human Computer Interaction - Internet of Things - Mobile Networks, Protocols and Applications - Modeling and Simulation in Transportation Sciences - Multimedia and Social Computing - Real-time Big Data Stream Mining Architecture - Service Oriented Computing for Systems & Applications - Smart, Sustainable Cities and Climate Change Management - Smart Environments and Applications - Systems Security and Privacy - Systems Software Engineering - Vehicular Networks and Applications - General Track COMMITTEES ========= General Chairs Hossam Hassanein, Queen's University, Canada Albert Zomaya, The University of Sydney, Australia Program Chairs Haroon Malik, Marshall University, USA Ansar-Ul-Haque Yasar, IMOB – Hasselt University, Belgium Local Chairs Ana C. R. Paiva, University of Porto, Portugal João C. P. Faria, University of Porto, Portugal Workshops Chair Stephane Galland, UTBM, France Program Advisory Committee Reda Alhajj, University of Calgary, Canada Abdelfettah Belghith, University of Manouba, Tunisia Sajal K. Das, The University of Texas at Arlington, USA Erol Gelenbe, Imperial College, UK Ali Ghorbani, University of New Brunswick, Canada Vincenzo Loia, University of Salerno, Italy Timothy Shih, Tamkang University, Taiwan Peter Sloot, Universiteit van Amsterdam, Netherlands Ralf Steinmetz, Technische Universitaet Darmstadt, Germany Katia Sycara, Carnegie Mellon University, USA Peter Thomas, Manifesto Research, Australia International Journals Chair Javier Jesus Sanchez Medina, ULPGC, Spain Vice Chairs Boulmakoul Azedine, Hassan II University, Morocco Nik Bessis, University of Derby, UK Kechar Bouabdellah, Oran University, Algeria Samia Bouzefrane, CEDRIC Lab, France Lars Braubach, Hamburg University, Germany Martine Collard, University of the French West Indies, France Amine Dhraief, Manouba University, Tunisia Roberto Di Pietro, Roma Tre University of Rome, Italy Khalil Drira, LAAS-CNRS, France Wael El-Medany, University of Bahrain, Bahrain Etienne Alain Feukeu, Vaal University of Technology, South Africa Antonio Filieri, Imperial College London, England Luk Knapen, Hasselt University Belgium Flavio Lombardi, Roma Tre University of Rome, Italy Ahmed Nait Sidi Moh, University of Picardie Jules Verne, France Francesco Pilla, Trinity College Dublin, Ireland Cristina Seceleanu, Mälardalen University, Västerås, Sweden Khaled Shaaban, Qatar University, Qatar Yves Vanrompay, Hasselt University, Belgium Yun Zhou, Shaanxi Normal University, China Publicity Chairs Wim Ectors, Hasselt University, Belgium Mohamed Amine Ferrag, Guelma University, Algeria Sarmad Ullah Khan, CECOS University, Pakistan International Liaison Chairs Soumaya Cherkaoui, Sherbrooke University, Canada Paul Davidsson, Malmo University, Sweden Dino Pedreschi, University of Pisa, Italy David Taniar, Monash University, Australia Technical Program Committee http://cs-conferences.acadiau.ca/ant-18/#programCommittees Steering Committee Chair and Founder of ANT Elhadi Shakshuki, Acadia University, Canada

1 0

SPLASH 2017: Final Call for Participation
by SPLASH Publicity 22 Sep '17

22 Sep '17

ACM SIGPLAN SPLASH 2017 October 22-27, 2017 Vancouver, Canada http://2017.splashcon.org https://twitter.com/splashcon https://www.facebook.com/SPLASHCon/ The ACM SIGPLAN Conference on Systems, Programming, Languages and Applications: Software for Humanity (SPLASH) embraces all aspects of software construction, to make it the premier conference at the intersection of programming, languages, and software engineering. # Registration * 22 September 2017 (Early Deadline) <-- very soon! * Contact: info(a)splashcon.org * Register: http://2017.splashcon.org/attending/registration * Venue: http://2017.splashcon.org/venue/hyattregency # What's Happening at SPLASH? ## Keynotes * Lera Boroditsky (Onward!) How the languages we speak shape the way we think * Danny Dig (GPCE) The landscape of refactoring research in the last decade * Chris Granger (SPLASH) Eve: tackling a giant with a change in perspective * Crista Lopes (SPLASH) Objects in the age of data * Peter D. Mosses (SLE) Engineering meta-languages for specifying software languages * Filip Pizlo (DLS) The JavaScriptCore Virtual Machine ## Workshop Keynotes * Nada Amin (Meta) * Phil Bernstein (AGERE!) * Luke Church (LIVE) * Ron Garcia (DSLDI) * Sumit Gulwani (PLATEAU) * Norm Hardy (OCAP) * Reid Holmes (CoCos) * Julia Rubin (FOSD) * Karan Singh (SAVR) * Mario Wolczko (VMIL) ## Conference Program * https://2017.splashcon.org/program/program-splash-2017 ## SPLASH-I SPLASH-I is a series of research and industry talks, demos, and panels that address topics relevant to the SPLASH community. The SPLASH-I series is held in parallel with the OOPSLA main track. Talks are open to all attendees. * https://2017.splashcon.org/track/splash-2017-SPLASH-I#program ## Research Tracks and Co-Located Conferences and Symposia * OOPSLA https://2017.splashcon.org/track/splash-2017-OOPSLA#program * Onward! Essays https://2017.onward-conference.org/track/onward-2017-essays-2017#program * Onward! Papers https://2017.onward-conference.org/track/onward-2017-Onward-Papers#program * GPCE - Generative Programming: Concepts and Experience https://conf.researchr.org/track/gpce-2017/gpce-2017-GPCE-2017#program * SLE - Software Language Engineering https://conf.researchr.org/track/sle-2017/sle-2017-papers#event-overview * DLS - Dynamic Languages Symposium https://conf.researchr.org/track/dls-2017/dls-2017#program * Scala Symposium https://conf.researchr.org/track/scala-2017/scala-2017-papers * SPLASH-E https://2017.splashcon.org/track/splash-2017-SPLASH-E ## Workshops SPLASH 2017 is hosting a record number of 18 workshops this year. * AGERE! - Programming based on Actors, Agents, and Decentralized Control https://2017.splashcon.org/track/agere-2017 * CoCoS - Comprehension of Complex Systems https://2017.splashcon.org/track/cocos-2017 * DSLDI - Domain-Specific Languages Design and Implementation https://2017.splashcon.org/track/dsldi-2017#event-overview * Escaped - Escaped from the Lab https://2017.splashcon.org/track/escaped-2017 * FOSD - Feature-Oriented Software Development https://2017.splashcon.org/track/fosd-2017 * LIVE - Live Programming https://2017.splashcon.org/track/live-2017#program * Meta - Meta-Programming Techniques and Reflection https://2017.splashcon.org/track/meta-2017 * NJR - National Java Resource https://2017.splashcon.org/track/njr-2017 * NOOL - New Object-Oriented Languages https://2017.splashcon.org/track/nool-2017 * OCAP - Object-Capability Languages, Systems, and Applications https://2017.splashcon.org/track/ocap-2017 * PLATEAU - Evaluation and Usability of Programming Languages and Tools https://2017.splashcon.org/track/plateau-2017#Accepted-Papers * PX/17.2 - Programming Experience https://2017.splashcon.org/track/px-17-2 * Parsing - Parsing@SLE https://2017.splashcon.org/track/parsing-2017 * REBLS - Reactive and Event-Based Languages and Systems https://2017.splashcon.org/track/rebls-2017 * SAVR - Software for Augmented Virtual Reality https://2017.splashcon.org/track/savr-2017 * SEPS - Software Engineering for Parallel Systems https://2017.splashcon.org/track/seps-2017 * VMIL - Virtual Machines and Intermediate Languages https://2017.splashcon.org/track/vmil-2017 * WODA - Workshop on Dynamic Analysis https://2017.splashcon.org/track/woda-2017 ## Other Events * Doctoral Symposium https://2017.splashcon.org/track/splash-2017-Doctoral-Symposium#event-overv… * PL Mentoring Workshop https://2017.splashcon.org/track/splash-2017-PLMW#program * Posters https://2017.splashcon.org/track/splash-2017-Posters * Student Research Competition https://2017.splashcon.org/track/splash-2017-Student-Research-Competition#p… # Supporters SPLASH is kindly supported by the following organizations: * ACM: http://www.acm.org/ * SIGPLAN: http://www.sigplan.org/ * Facebook (Silver): https://research.facebook.com/ * LLVM Foundation (Silver): https://llvm.org/foundation/index.html * Mozilla (Silver): https://www.mozilla.org/en-US/ * Raincode Labs (Silver): https://www.raincodelabs.com/ * Microsoft Research (Bronze): https://www.microsoft.com/en-us/research/ Interested in supporting SPLASH 2017? See our support options here: https://2017.splashcon.org/attending/sponsorship

1 0

Call for Participation: SLE 2017 (10th ACM SIGPLAN International Conference on Software Language Engineering)
by Andrei Chis 20 Sep '17

20 Sep '17

======================================================================== ** Call for Participation ** 10th ACM SIGPLAN International Conference on Software Language Engineering (SLE 2017) 23-24 October 2017, Vancouver, Canada (Collocated with SPLASH 2017) 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). ** REGISTRATION ** Friday, 22 September 2017 (Early Registration Deadline) Contact: info(a)splashcon.org http://2017.splashcon.org/attending/registration ** VENUE ** Hyatt Regency Vancouver Hotel reservations: https://2017.splashcon.org/venue/hyattregency ## Program Highlights ### Keynote - Peter D. Mosses Engineering meta-languages for specifying software languages https://conf.researchr.org/track/sle-2017/sle-2017-papers#Keynote-Peter-D-M… ### Awards During the conference, we will announce the following 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 artefact. Award for the artifact most significantly exceeding expectations, as determined by the AEC chairs based on the recommendations of the artifact evaluation committee. Sponsored by Raincode. ### Accepted Papers - Metacasanova: an optimized meta-compiler for Domain-Specific Languages, Francesco Di Giacomo, Mohamed Abbadi, Agostino Cortesi, Pieter Spronck, Giuseppe Maggiore - Safe Modular Parsing, Haoyuan Zhang, Huang Li, Bruno C. d. S. Oliveira - Concrete Syntax: A Multi-Paradigm Approach, Yentl Van Tendeloo, Simon Van Mierlo, Bart Meyers, Hans Vangheluwe - A Domain-Specific Controlled English Language for Automated Regulatory Compliance, Suman Roychoudhury, Sagar Sunkle, Deepali Kholkar, Vinay Kulkarni - Debugging with Domain-Specific Events, Xiangqi Li, Matthew Flatt - Deep Priority Conflicts in the Wild - A Pilot Study, Luís Eduardo de Souza Amorim, Michael J. Steindorfer, Eelco Visser - Comparison of the Expressiveness and Performance of Template-based Code Generation Tools, Lechanceux Luhunu, Eugene Syriani - Incremental Packrat Parsing, Patrick Dubroy, Alessandro Warth - Ensuring Non-interference of Composable Language Extensions, Ted Kaminski, Eric Van Wyk - A Formalisation of Parameterised Reference Attribute Grammars, Scott Buckley, Anthony Sloane - A Symbol-based Extension of Parsing Expression Grammars and Context-Sensitive Packrat Parsing, Kimio Kuramitsu - Structural Model Subtyping with OCL Constraints, Artur Boronat - A Requirements Engineering Approach for Usability-Driven DSL Development, Ankica Barisic, Dominique Blouin, Vasco Amaral, Miguel Goulao - Tool Demonstration: A development environment for the Alf language within the MagicDraw UML tool, Ed Seidewitz - FlowSpec: Declarative Dataflow Analysis Specification, Jeff Smits, Eelco Visser - Robust Programs with Filtered Iterators, Jiasi Shen, Martin Rinard - Energy Efficiency across Programming Languages: How does energy, time, and memory relate?, Rui Pereira, Marco Couto, Francisco Ribeiro, Rui Rua, Jácome Cunha, João Paulo Fernandes, João Saraiva - Concurrent Circular Reference Attribute Grammars, Jesper Öqvist, Görel Hedin - Better Call the Crowd. Using Crowdsourcing to Shape your Domain-Specific Languages, Marco Brambilla, Jordi Cabot, Javier Luis Canovas Izquierdo, Andrea Mauri - Robust Projectional Editing, Friedrich Steimann, Marcus Frenkel, Markus Voelter - Towards a Taxonomy of Grammar Smells, Mats Stijlaart, Vadim Zaytsev - Red Shift: Procedural Shift-Reduce Parsing, Nicolas Laurent - Virtual Textual Model Composition for Supporting Maintenance and Aspect-Orientation, Robert Bill, Patrick Neubauer, Manuel Wimmer - A Chrestomathy of DSL implementations, Simon Schauss, Ralf Lämmel, Johannes Härtel, Marcel Heinz, Kevin Klein, Lukas Härtel, Thorsten Berger

1 0

Re: [Haskell] Haskell in Leipzig 2017: 1st call for participation
by Wolfgang Jeltsch 20 Sep '17

20 Sep '17

Hi! Thank you for the suggestion. I will see what we can do. All the best, Wolfgang Am Mittwoch, den 20.09.2017, 13:38 +0700 schrieb Kim-Ee Yeoh: > Hi Wolfgang, > > May I respectfully suggest that the talks be video recorded and made > viewable on the internet? > > The benefits are too many to name; not least is the fact that they > will popularize your conference and increase the turnout for the next > HaL. > > Best, > Kim Ee > > > On Tuesday, September 19, 2017, Wolfgang Jeltsch > info> wrote: > > 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. > > > > > > Invited Speaker > > =============== > > > > * Ivan Perez, University of Nottingham, UK > > > > > > Invited Performer > > ================= > > > > * Lennart Melzer, Robert-Schumann-Hochschule Düsseldorf, Germany > > > > > > Registration > > ============ > > > > Registration information is available on the web page of the local > > organizers at http://nfa.imn.htwk-leipzig.de/HAL2017/. > > > > > > 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(a)jeltsch.info. > > _______________________________________________ > > Haskell mailing list > > Haskell(a)haskell.org > > http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell > > > > -- > -- Kim-Ee

1 0

Haskell in Leipzig 2017: 1st call for participation
by Wolfgang Jeltsch 18 Sep '17

18 Sep '17

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. Invited Speaker =============== * Ivan Perez, University of Nottingham, UK Invited Performer ================= * Lennart Melzer, Robert-Schumann-Hochschule Düsseldorf, Germany Registration ============ Registration information is available on the web page of the local organizers at http://nfa.imn.htwk-leipzig.de/HAL2017/. 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(a)jeltsch.info.

1 0

[ANN] First release of Tart, an ASCII art drawing program
by Jonathan Daugherty 15 Sep '17

15 Sep '17

I'm pleased to announce the first public release of Tart, a program for making ASCII art. Tart runs in the terminal and lets you draw ASCII art using your mouse similar to image-editing programs. Tart is on Hackage: http://hackage.haskell.org/package/tart Tart is intended to be a usable tool but is also a demonstration of how to write mouse-driven terminal programs using my "brick" library: http://hackage.haskell.org/package/brick Feature highlights: * Drawing tools: freehand, line, box, flood fill, text string * Utility tools: repaint, restyle, eyedropper, eraser * Named image layers with reordering and visibility toggling * Set foreground color, background color, and text style independently * Full mouse interaction and keyboard shortcuts * Paste text from clipboard into canvas * Undo and redo * Text styles: bold, blink, underline, reverse video * Load and save ASCII art files (binary) * Save plain versions of ASCII art for embedding in documents * Save color versions of ASCII art with terminal escape sequences for printing to terminals * Import existing plaintext files as the basis for new ASCII art files -- Jonathan Daugherty Software Engineer Galois, Inc.

1 0

Call for Presentations on Secure Compilation (PriSC Workshop @ POPL'18)
by Dominique Devriese 15 Sep '17

15 Sep '17

===================================================================== Call for Presentations on Secure Compilation (PriSC Workshop @ POPL'18) ===================================================================== Secure compilation is an emerging field that puts together advances in programming languages, security, verification, systems, compilers, and hardware architectures in order to devise secure compiler chains that eliminate many of today's low-level vulnerabilities. Secure compilation aims to protect high-level language abstractions in compiled code, even against adversarial low-level contexts, and to allow sound reasoning about security in the source language. The emerging secure compilation community aims to achieve this by: identifying and formalizing properties that secure compilers must possess; devising efficient enforcement mechanisms; and developing effective verification and proof techniques. ===================================================================== 2nd Workshop on Principles of Secure Compilation (PriSC 2018) ===================================================================== The Workshop on Principles of Secure Compilation (PriSC) is a new informal 1-day workshop without any proceedings. The goal is to identify interesting research directions and open challenges and to bring together researchers interested in secure compilation. The 2nd PriSC edition will be held on Saturday, 13 January 2018, in Los Angeles, together with the ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL). More information at http://popl18.sigplan.org/track/prisc-2018 ===================================================================== Important Dates ===================================================================== Presentation proposal submission deadline: 18 October 2017, AoE Presentation proposal notification: 8 November 2017 PriSC Workshop takes place: 13 January 2018 ===================================================================== Scope of the Workshop ===================================================================== Anyone interested in presenting at the workshop should submit an extended abstract (up to 2 pages, details below). This can cover past, ongoing, or future work. Any topic that could be of interest to the emerging secure compilation community is in scope. Talks that provide a useful outside view or challenge the community are also welcome. Topics of interest include but are **not** limited to: - attacker models for secure compiler chains - secure compilation properties: full abstraction, memory safety, control-flow integrity, preserving non-interference or (hyper-)properties against adversarial contexts, secure multi-language interoperability - enforcement mechanisms: static checking, program verification, reference monitoring, program rewriting, software fault isolation, system-level protection, secure hardware, crypto, randomization - experimental evaluation and applications of secure compilation - proof methods: (bi)simulation, logical relations, game semantics, multi-language semantics, embedded interpreters - formal verification of secure compilation chain (protection mechanisms, compilers, linkers, loaders), machine-checked proofs, translation validation, property-based testing ===================================================================== Guidelines for Submitting Extended Abstracts ===================================================================== Extended abstracts should be submitted in PDF format and not exceed 2 pages. They should be formatted in two-column layout, 10pt font, and be printable on A4 and US Letter sized paper. We recommend using the new `acmart` LaTeX style in `sigplan` mode: http://www.sigplan.org/sites/default/files/acmart/current/acmart-sigplanpro… Submissions are not anonymous and should provide sufficient detail to be assessed by the program committee. Presentation at the workshop does not preclude publication elsewhere. Please submit your extended abstracts at https://prisc18.hotcrp.com/ ===================================================================== Short Talks Session ===================================================================== We will also run a short talks session, where participants get five minutes to present intriguing ideas, advertise ongoing work, etc. You can expect a call for short talks closer to the event. ===================================================================== Program Committee ===================================================================== Program Chair Catalin Hritcu Inria Paris Members Amal Ahmed Inria Paris and Northeastern University Lars Birkedal Aarhus University Dominique Devriese KU Leuven Cédric Fournet Microsoft Research Deepak Garg MPI-SWS Xavier Leroy Inria Paris David Naumann Stevens Institute of Technology Marco Patrignani MPI-SWS Frank Piessens KU Leuven Tamara Rezk Inria Sophia Antipolis Nikhil Swamy Microsoft Research ===================================================================== Organizing Committee ===================================================================== Amal Ahmed Inria Paris and Northeastern University Dominique Devriese KU Leuven Deepak Garg MPI-SWS Catalin Hritcu Inria Paris Marco Patrignani MPI-SWS Tamara Rezk Inria Sophia Antipolis ===================================================================== Contact and More Information ===================================================================== More information about PriSC 2018 can be found on the website: http://popl18.sigplan.org/track/prisc-2018 For questions please contact Catalin Hritcu (Program Chair). To make sure you receive such announcements in the future please subscribe to the following low-traffic mailing list: https://lists.gforge.inria.fr/mailman/listinfo/prisc-announce

1 0