From publicityifl at gmail.com Tue May 1 05:26:52 2018 From: publicityifl at gmail.com (Jurriaan Hage) Date: Mon, 30 Apr 2018 22:26:52 -0700 Subject: [Haskell] 3rd CfP: IFL 2018 (30th Symposium on Implementation and Application of Functional Languages) Message-ID: Hello, Please, find below the third call for papers for IFL 2018. 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 2018 30th Symposium on Implementation and Application of Functional Languages University of Massachusetts Lowell, MA, USA September 5th-7th, 2018 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 2018 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. Topics of interest to IFL 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 ### Keynote Speakers * Adam Chlipala, Massachusetts Institute of Technology CSAIL * Arjun Guha, University of Massachusetts Amherst ### Submissions and peer-review Differently from previous editions of IFL, IFL 2018 solicits two kinds of submissions: * Regular papers (12 pages including references) * Draft papers for presentations ('weak' limit between 8 and 15 pages) Regular papers will undergo a rigorous review by the program committee, and will be evaluated according to their correctness, novelty, originality, relevance, significance, and clarity. A set of regular papers will be conditionally accepted for publication. Authors of conditionally accepted papers will be provided with committee reviews along with a set of mandatory revisions. Regular papers not accepted for publication will be considered as draft papers, at the request of the author. Draft papers will be screened to make sure that they are within the scope of IFL, and will be accepted for presentation or rejected accordingly. Prior to the symposium: Authors of conditionally accepted papers and accepted presentations will submit a pre-proceedings version of their work that will appear in the draft proceedings distributed at the symposium. The draft proceedings does not constitute a formal publication. We require that at least one of the authors present the work at IFL 2018. After the symposium: Authors of conditionally accepted papers will submit a revised versions of their paper for the formal post-proceedings. The program committee will assess whether the mandatory revisions have been adequately addressed by the authors and thereby determines the final accept/reject status of the paper. Our interest is to ultimately accept all conditionally accepted papers. If you are an author of a conditionally accepted paper, please make sure that you address all the concerns of the reviewers. Authors of accepted presentations 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 post-proceedings. The program committee will evaluate these submissions according to their correctness, novelty, originality, relevance, significance, and clarity, and will thereby determine whether the paper is accepted or rejected. ### Publication The formal proceedings will appear in the International Conference Proceedings Series of the ACM Digital Library. 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 ### Important dates Submission of regular papers: May 25, 2018 Submission of draft papers: July 17, 2018 Regular and draft papers notification: July 20, 2018 Deadline for early registration: August 8, 2018 Submission of pre-proceedings version: August 29, 2018 IFL Symposium: September 5-7, 2018 Submission of papers for post-proceedings: November 7, 2018 Notification of acceptance: December 22, 2018 Camera-ready version: February 10, 2019 ### Submission details All contributions must be written in English. Papers must use the ACM two columns conference format, which can be found at: http://www.acm.org/publications/proceedings-template Authors submit through EasyChair: https://easychair.org/conferences/?conf=ifl2018 ### 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. ### Organization and Program committee Chairs: Jay McCarthy & Matteo Cimini, University of Massachusetts Lowell, USA Program Committee: * Arthur Chargueraud, Inria, FR * Ben Delaware, Purdue University, USA * Christos Dimoulas, Northwestern University, USA * David Darais, University of Vermont, USA * Dominic Orchard, University of Kent, UK * Ekaterina Komendantskaya, Heriot-Watt University, UK * Garrett Morris, University of Kansas, USA * Heather Miller, EPFL & Northeastern University, CH & USA * Jeremy Yallop, University of Cambridge, UK * Keiko Nakata, SAP Innovation Center Potsdam, DE * Laura Castro, University of A Coruna, ESP * Magnus Myreen, Chalmers University of Technology, SWE * Natalia Chechina, Bournemouth University, UK * Peter Achten, Radboud Universiteit Nijmegen, NL * Peter-Michael Osera, Grinnell College, USA * Richard Eisenberg, Bryn Mawr College, USA * Trevor McDonell, University of New South Wales, AUS * Yukiyoshi Kameyama, University of Tsukuba, JAP ### Venue The 30th IFL is organized by the University of Massachusetts Lowell. The City of Lowell is located at the heart of the Merrimack Valley just 30 miles northwest of Boston. Lowell can be easily reached by train or taxi. See the website for more information on the venue. ### Acknowledgments This call-for-papers is an adaptation and evolution of content from previous instances of IFL. We are grateful to prior organizers for their work, which is reused here. A part of IFL 2018 format and CFP language that describes conditionally accepted papers has been adapted from call-for-papers of OOPSLA conferences. -------------- next part -------------- An HTML attachment was scrubbed... URL: From sabel at ki.informatik.uni-frankfurt.de Wed May 2 07:54:38 2018 From: sabel at ki.informatik.uni-frankfurt.de (David Sabel) Date: Wed, 2 May 2018 09:54:38 +0200 Subject: [Haskell] Second round call for papers: LOPSTR 2018 In-Reply-To: References: Message-ID: ====================================================================== LOPSTR 2018: Second Round Call for Papers ====================================================================== 28th International Symposium on Logic-Based Program Synthesis and Transformation LOPSTR 2018 http://ppdp-lopstr-18.cs.uni-frankfurt.de/index.html Frankfurt, Germany, September 4-6, 2018 (co-located with PPDP 2018 and WFLP 2018) The aim of the LOPSTR series is to stimulate and promote international research and collaboration on logic-based program development. LOPSTR is open to contributions in logic-based program development in any language paradigm. LOPSTR has a reputation for being a lively, friendly forum for presenting and discussing work in progress. Formal proceedings are produced only after the symposium so that authors can incorporate this feedback in the published papers. The 28th International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR 2018) will be held at the Goethe-University Frankfurt am Main, Germany. Previous symposia were held in Siena, Canterbury, Madrid, Leuven, Odense, Hagenberg, Coimbra, Valencia, Lyngby, Venice, London, Verona, Uppsala, Madrid, Paphos, London, Venice, Manchester, Leuven, Stockholm, Arnhem, Pisa, Louvain-la-Neuve, Manchester, Edinburgh, and Namur. LOPSTR 2018 will be co-located with PPDP 2018 (International Symposium on Principles and Practice of Declarative Programming) and WFLP 2018 (International Workshop on Functional and Logic Programming). Topics of interest cover all aspects of logic-based program development, all stages of the software life cycle, and issues of both programming-in-the-small and programming-in-the-large. Both full papers and extended abstracts describing applications in these areas are especially welcome. Contributions are welcome on all aspects of logic-based program development, including, but not limited to: * synthesis * transformation * specialization * composition * optimization * inversion * specification * analysis and verification * testing and certification * program and model manipulation * transformational techniques in SE * applications and tools Survey papers that present some aspects of the above topics from a new perspective, and application papers that describe experience with industrial applications are also welcome. 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 chairs in case of questions). In order to more closely follow previous LOPSTR timelines, we have added an additional round of paper submission at a more usual time for LOPSTR. Papers submitted in the first round may already be accepted before this round, while rejected papers from the first round can be resubmitted. Important Dates Abstract submission: June 26, 2018 Paper/Extended abstract submission: June 30, 2018 Notification: July 30, 2018 Camera-ready (for electronic pre-proceedings): August 15, 2018 Symposium: September 4-6, 2018 Submission Guidelines Authors should submit an electronic copy of the paper (written in English) in PDF, formatted in the Lecture Notes in Computer Science style. Each submission must include on its first page the paper title; authors and their affiliations; contact author's email; abstract; and three to four keywords which will be used to assist the PC in selecting appropriate reviewers for the paper. Page numbers (and, if possible, line numbers) should appear on the manuscript to help the reviewers in writing their report. Submissions cannot exceed 15 pages including references but excluding well-marked appendices not intended for publication. Reviewers are not required to read the appendices, and thus papers should be intelligible without them. Papers should be submitted via the Easychair submission website for LOPSTR 2018. Best Paper Award and Prize A best paper award will be granted, which will include a 500 EUR prize provided by Springer. This award will be given to the best paper submitted to the conference, based on the relevance, originality, and technical quality. The program committee may split the award among two or more papers, also considering authorship (e.g., student paper). Invited Talks LOPSTR/PPDP: Philippa Gardner, Imperial College - formal methods for JavaScript LOPSTR/PPDP: Jorge Navas, SRI International - SeaHorn and constrained horn clauses for verification LOPSTR: Laure Gonnord, University of Lyon - expressivity and scalability of program analysis PPDP: Chung-Chieh Shan, Indiana University - probabilistic programming Proceedings The formal post-conference proceedings will be published by Springer in the Lecture Notes in Computer Science series. Full papers can be directly accepted for publication in the formal proceedings, or accepted only for presentation at the symposium and inclusion in informal proceedings. After the symposium, all authors of extended abstracts and full papers accepted only for presentation will be invited to revise and/or extend their submissions in the light of the feedback solicited at the symposium. Then, after another round of reviewing, these revised papers may also be published in the formal proceedings. Program Committee See http://ppdp-lopstr-18.cs.uni-frankfurt.de/lopstr18.html#pc Program Chairs Fred Mesnard, University of Reunion Island, France Peter Stuckey, University of Melbourne, Australia Organizing Committee David Sabel (General Chair), Computer Science Institute Goethe-University Frankfurt am Main, Germany From gershomb at gmail.com Sat May 5 06:16:41 2018 From: gershomb at gmail.com (Gershom B) Date: Sat, 5 May 2018 02:16:41 -0400 Subject: [Haskell] Announce: Haskell Platform 8.4.2 Message-ID: On behalf of the Haskell Platform team, I'm happy to announce the release of Haskell Platform 8.4.2 Now available at https://www.haskell.org/platform/ This includes GHC 8.4.2, cabal-install 2.2.0.0, and stack 1.7.1, all with substantial improvements since the last platform release. A full list of contents is available at https://www.haskell.org/platform/contents.html Thanks to all the contributors to this release, thanks to all the package and tool maintainers and authors, and a big thanks to the GHC team for all their hard work. There are (still) currently no 32 bit Windows builds available. We're looking into the issues preventing us from building an installer for that platform. The components all appear to work individually in such a case, and can be installed separately by users who so desire. A list of new GHC changes is available at: https://ghc.haskell.org/trac/ghc/blog/ghc-8.4.1-released and https://ghc.haskell.org/trac/ghc/blog/ghc-8.4.2-released A list of cabal changes is available at: https://hackage.haskell.org/package/cabal-install-2.2.0.0/changelog The cabal documentation page is at: https://www.haskell.org/cabal/users-guide/ A list of stack changes is at: https://docs.haskellstack.org/en/stable/ChangeLog/#v171 The stack documentation page is at: https://docs.haskellstack.org/en/stable/README/ Happy Haskell Hacking all, Gershom From gershomb at gmail.com Sat May 5 06:22:57 2018 From: gershomb at gmail.com (Gershom B) Date: Sat, 5 May 2018 02:22:57 -0400 Subject: [Haskell] Announce: Haskell Platform 8.4.2 In-Reply-To: References: Message-ID: One additional feature I forgot to note: the windows platform installers should no longer require manually altering the cabal config file to add `extra-prog-path`, etc. to point to the msys distribution. The new windows installer takes advantage of the `cabal user-config --augment` command to add those lines automatically. This should give a smoother install experience for new windows users. --gershom On Sat, May 5, 2018 at 2:16 AM, Gershom B wrote: > On behalf of the Haskell Platform team, I'm happy to announce the release of > > Haskell Platform 8.4.2 > > Now available at > > https://www.haskell.org/platform/ > > This includes GHC 8.4.2, cabal-install 2.2.0.0, and stack 1.7.1, all > with substantial improvements since the last platform release. > > A full list of contents is available at > https://www.haskell.org/platform/contents.html > > Thanks to all the contributors to this release, thanks to all the > package and tool maintainers and authors, and a big thanks to the GHC > team for all their hard work. > > There are (still) currently no 32 bit Windows builds available. We're > looking into the issues preventing us from building an installer for > that platform. The components all appear to work individually in such > a case, and can be installed separately by users who so desire. > > A list of new GHC changes is available at: > https://ghc.haskell.org/trac/ghc/blog/ghc-8.4.1-released and > https://ghc.haskell.org/trac/ghc/blog/ghc-8.4.2-released > > A list of cabal changes is available at: > https://hackage.haskell.org/package/cabal-install-2.2.0.0/changelog > > The cabal documentation page is at: > https://www.haskell.org/cabal/users-guide/ > > A list of stack changes is at: > https://docs.haskellstack.org/en/stable/ChangeLog/#v171 > > The stack documentation page is at: > https://docs.haskellstack.org/en/stable/README/ > > Happy Haskell Hacking all, > Gershom From rdgrande at site.uottawa.ca Sun May 6 16:32:35 2018 From: rdgrande at site.uottawa.ca (Robson De Grande) Date: Sun, 6 May 2018 13:32:35 -0300 Subject: [Haskell] CFP: IEEE DS-RT 2018 (October 15-17, 2018 - Madrid, Spain) Message-ID: ------------------------------------------------------------------------------------ Please accept our apologies if you have received multiple copies. ------------------------------------------------------------------------------------ Call for Papers - DS-RT 2018 22nd IEEE/ACM* International Symposium on Distributed Simulation and Real Time Applications http://ds-rt.com/ October 15-17, 2018 - Madrid, Spain *IEEE/ACM Pending Upon Approval ----------------------------------------------------------------------- IMPORTANT: Submission deadline: May 20th, 2018 *** The Symposium *** The 2018 IEEE/ACM International Symposium on Distributed Simulation and Real Time Applications (DS-RT 2018) promises to be a grand affair and will take place in Madrid, Spain. DS-RT 2018 serves as a platform for simulationists from academia, industry and research labs for presenting recent research results in Distributed Simulation and Real Time Applications. DS-RT 2018 targets the growing overlap between large distributed simulations and real-time applications, such as collaborative virtual environments, pervasive and ubiquitous application scenarios, motor-, controller-, sensor- and actuator systems. The conference features prominent invited speakers as well as papers by top researchers in the field. DS-RT 2018 will include contributed technical papers, invited papers, and panel discussions. The proceedings will be published by IEEE-CS press. *** Call for Papers *** DS-RT provides an international forum for the discussion and presentation of original ideas, recent results and achievements by researchers, research students, and systems developers on issues and challenges related to distributed simulation and real-time applications. Authors are encouraged to submit both theoretical and practical results of significance. Demonstration of new tools/applications is enlivened. The scope of the symposium includes, but is not limited to: Paradigms, Methodology, Algorithms and Software Architectures for Large Scale Distributed and Real-Time Simulations (e.g. Parallel and Distributed Simulation, Multi-Agent Based Distributed Simulation, HLA/RTI, Web, Grid and cloud-based Simulation, hardware-software co-design for extreme-scale simulations) Paradigms, Modelling, Architecture and Environments for Large Scale Real-time Systems and Concurrent Systems with hard and soft Real-Time Constraints Non-functional Properties of Distributed Simulation and Real-Time Systems (e.g. Dependability, Availability, Reliability, Maintainability, Safety, Security, Trustworthiness, QoS) Theoretical Foundations of Large-Scale Real-Time and Simulation Models (e.g. Event Systems, Causality, Space-Time Models, Notions of Time, Discrete and Continuous Systems, Simulator Coordination) Advances in Modelling and Simulation Studies and Technologies (Reuse of Models, New Modelling Languages, Agent-based M&S, Spatial M&S, Cognitive Modelling, Neural Network Models, Artificial Intelligence in Simulation, Discrete Events, Continuous Simulation, Service-oriented Computing and Simulation, Web-based Modelling and Simulation, Simulation of Multimedia Applications and Systems, etc.) Pervasive and Ubiquitous Computing Architectures and Applications that involve Simulations and/or adhere to Real-Time Constraints Languages and Tools, Development Environments, Data Interfaces, Network Protocols and Model Repositories that address Very Large Simulations Data Management and Distribution Issues, Interest Management, Semantic Modelling, Multi-resolution Modelling, Dead-Reckoning Mechanisms Simulation Studies at Large and Very Large Scale (e.g. Industrial, Commercial, Ecological and Environmental, Societal, Power and Energy) Environmental and Emerging Simulation Challenges (e.g. Growth of Human Population, Climate Change, CO2, Health Care, Ecosystems, Sustainable Development, Water and Energy Supply, Human Mobility, Traffic Modelling, World Stock Markets, Food Supply Chains, Megacities, Smart Cities, Smart Networks, Disaster Planning, etc.) Performance and Validation of Large-Scale and Distributed Simulations (e.g., benchmarking and analytical results, empirical studies DIS, HLA/RTI studies) Visual Interactive Simulation Environments (e.g., Generic Animation, Visual Interactive Modelling, Interactive Computer Based Training and Learning, Scientific Visualization, High-End Computer Graphics) Simulation-based Virtual Environments and Mixed Reality Systems (e.g. Interactive Virtual Reality, Human Communication through Immersive Environments) Collaborative Virtual and Augmented Reality, Shared Interaction Spaces, Telepresence Systems and Shared Workspaces, 3D Video and Acoustic Reconstruction, Shared Object Manipulation Design Issues, Interaction Designs, Human Computer Interaction Issues raised by Large Scale DS-RT Systems Serious Gaming and Massive Multiplayer Online Games (MMOG) applications, architectures and scalability issues Technologies for Living Labs (e.g. Mirror World Simulation, Interoperability, Large Scale Multi-Sensor Networks, Global Wireless Communication, Multi-Stakeholder Understanding and Innovation) Innovative Styles of Interactions with Large Scale DS-RT Systems (e.g. Implicit, Situative and Attentive Interaction, Tangible Interaction, Embedded Interaction, etc.) Media Convergence (e.g. New Technologies, Media Theory, Real-Time considerations of Multi-Modality, etc.) *** Important Dates *** Paper Submission Deadline: May 20th, 2018 Notification of Acceptance: July 1st, 2018 Camera Ready version due: July 31st, 2018 Symposium presentation: October 15-17, 2018 *** Submission *** 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. Accepted papers will appear in the conference proceedings to be published by IEEE-CS press. Authors of selected papers will be invited to submit extended versions of their papers to the Journal of Simulation. General information regarding submission can be found at http://ds-rt.com/2018/. Questions from authors may be directed to the Program Co-Chairs. IMPORTANT: CONFERENCE ATTENDANCE BY AT LEAST ONE AUTHOR OF ACCEPTED PAPERS IS MANDATORY *** ORGANIZING COMMITTEE*** General Chair José Luis Risco Martín, Complutense University of Madrid, Spain Program Co-Chairs Eva Besada, Complutense University of Madrid, Spain Floriano De Rango, University of Calabria, Italy Posters Chair Peppino Fazio, University of Calabria, Italy Demo Chair Amilcare F. Santamaria, University of Calabria, Italy Special Sessions Chair Robson De Grande, Brock University, Canada Publicity Chair Lucas Potter, Old Dominion University, VA, USA Finance Chair Guillermo Botella, Complutense University of Madrid, Spain -------------- next part -------------- An HTML attachment was scrubbed... URL: From rdgrande at site.uottawa.ca Sun May 6 16:50:54 2018 From: rdgrande at site.uottawa.ca (Robson De Grande) Date: Sun, 6 May 2018 13:50:54 -0300 Subject: [Haskell] 21st ACM MSWiM 2018 - Montreal, Canada Message-ID: =================================================== Call-For-Papers: 21st ACM MSWiM 2018 Montreal, Canada, Oct 28 - Nov 2, 2018 http://www.mswimconf.com/ ==================================================== IMPORTANT: Submission deadline: May 20th 2018 =================================================== Note: Extended versions of selected papers will be considered for publication in a Fast Track issue of Elsevier's Computer Communications. ===================================================== ACM* MSWiM 2018 is the 21st 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 2018 will be held in Montreal, Canada, Oct 28 - Nov 2, 2018. Authors are encouraged to submit full papers presenting new research related to the theory or practice of all aspects of modeling, analysis and simulation of mobile and wireless systems. Submitted papers must not have been published elsewhere nor currently be under review by another conference or journal. Papers related to wireless and mobile network Modeling, Analysis, Design, and Simulation are solicited on, but not limited to, the following topics in mobile and wireless systems: - Performance evaluation and modeling - Analytical Models - Simulation languages and tools for wireless systems - Wireless measurements tools and experiences - Formal methods for analysis of wireless systems - Correctness, survivability and reliability evaluation - Mobility modeling and management - Models and protocols for cognitive radio networks - Models and protocols for autonomic, or self-* networks - Capacity, coverage and connectivity modeling and analysis - Wireless network algorithms and protocols - Software Defined Network - Services for Smart City - Wireless PANs, LANs - Ad hoc and MESH networks - Vehicular Ad-hoc Networks (VANET) - Sensor and actuator networks - Delay Tolerant Networks - Integration of wired and wireless systems - Pervasive computing and emerging models - Wireless multimedia systems - QoS provisioning in wireless and mobile networks - Security and privacy of mobile/wireless systems - Algorithms and protocols for energy efficient operation and power control - Mobile applications, system software and algorithms - RF channel modeling and analysis - Design methodologies - Tools, prototypes and testbeds - Parallel and distributed simulation of wireless systems - Wireless Communication and Mobile Networking - Operating systems for mobile computations - Programming language support for mobility - Resource management techniques - Management of mobile object systems Paper Submission and Publication: High-quality original papers are solicited. Papers must be unpublished and must not be submitted for publication elsewhere. All papers will be reviewed by Technical Program Committee members and other experts active in the field to ensure high quality and relevance to the conference. More detailed instructions for EDAS paper submission can be found at http://www.mswimconf.com. 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 10th, 2018 Paper Submission Deadline: May 20th, 2018 Notification of Acceptance: June 30th, 2018 Camera Ready version due: August 5th, 2018 Conference Dates: October 28 - November 2, 2018 Organizing Committee: General Chair: Azzedine Boukerche, University of Ottawa, Canada Program Co-Chairs: Paolo Bellavista, University of Bologna, Italy Salil Kanhere, University of New South Wales, Australia -------------- next part -------------- An HTML attachment was scrubbed... URL: From wim.ectors at uhasselt.be Tue May 8 13:35:13 2018 From: wim.ectors at uhasselt.be (Wim Ectors) Date: Tue, 8 May 2018 06:35:13 -0700 Subject: [Haskell] FNC & MobiSPC 2018: Call for Workshops' Papers (August 13-15, Gran Canaria, Spain) Message-ID: ============================== Call for Workshops' Papers ============================== The 15th International Conference on Mobile Systems and Pervasive Computing (MobiSPC 2018) & The 13th International Conference on Future Networks and Communicatons (FNC 2018) Date: August 13-15, 2018 Location: Gran Canaria, Spain MobiSPC Website: http://cs-conferences.acadiau.ca/mobispc-18/#workshop_approved FNC Website: http://cs-conferences.acadiau.ca/fnc-18/#workshop_approved ------------------------------------------------------- All workshops’ 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. The list of MobiSPC’18 workshops is as follows: - Int'l Workshop on Communication and Networking Technologies for Cyber-Physical Systems - 4th Int'l Workshop on Cyber Security and Digital Investigation - 5th Int'l Symposium on Emerging Inter-networks, Communication and Mobility - 4th Int'l Workshop on Enterprise Web Application Dependency - 4th Int'l Workshop on the Future of the Internet of Things - Int'l Workshop on IoT Approaches: for Distributed Computing, Communications and New Applications - Int'l Workshop on Internet of Things Paradigm: Approaches, Challenges, Attacks and Remedies - Int'l Workshop on Mobile Systems Applied to Traffic Management and Safety, Smart Vehicles and Smart Roads - Int'l Workshop on Service for Mobile Data Collection - Int'l Workshop on Smart Manufacturing and Smart Mobility The list of FNC’18 workshops is as follows: - 4th Int'l Workshop on Cloud-service Data-center Networks - 2nd Int'l Workshop on Big Data and Networks Technologies - 5th Int'l Workshop on Communications and Sensor Networks - 5th Int'l Workshop on the Design and Performance of Networks on Chip - 4th Int'l Workshop on Future Information Security, Privacy & Forensics for Complex Systems - 3rd Int'l Workshop on QoS aware Future Communication Networks - Int'l Workshop on Secure and Efficient Deployment of IoT -------------- next part -------------- An HTML attachment was scrubbed... URL: From benishch at yahoo.com Wed May 9 11:04:04 2018 From: benishch at yahoo.com (Benish Chaudhry) Date: Wed, 9 May 2018 11:04:04 +0000 (UTC) Subject: [Haskell] =?utf-8?q?Call_for_Papers-International_Conference_on_C?= =?utf-8?q?onnected_and_Intelligent_Mobility_=E2=80=93_CIM=E2=80=992018?= References: <1133938384.1547805.1525863844823.ref@mail.yahoo.com> Message-ID: <1133938384.1547805.1525863844823@mail.yahoo.com> International Conference on Connected and IntelligentMobility – CIM’2018 Coimbra –Portugal, November 22-24, 2018 http://cim-2018.smartgentpt.com/ Submission deadline: August 10th, 2018 In Conjunction with the International Conference on NextGeneration Logistics (NeLog’2018) *************************************************************************** Dear Colleagues,   We are pleased to invite submissions of original papersto the International Conference on Connected and Intelligent Mobility(CIM’2018) which is going to take place in Coimbra, Portugal, November 22.24,2018. The conference will be a unique opportunity for researchers,experts, and practitioners from the academy, the government, and the industryto present, share, and promote their breakthroughs as well as benefit from theexpected fruitful exchanges on advances and applications in a variety of topicsrelated to connected and intelligent mobility. These topics will mainly focuson Emergent Vehicle Technologies, Intelligent Transport Systems, WirelessSensor Communications, Big Data, IoT. Machine Learning, Blockchain, and DigitalTransformation. We are aiming to investigate the landscape of the future oftransportation systems and services, towards more optimized, flexible, smart, sustainable,and personalized resource allocation and use. We are ultimately investigatingthe vision of a self-learning and self-organized transportation ecosystem.   ============== RELATED TOPICS   ·      Vehicular Wireless Medium Access Control ·      Routings & Protocols for Connected Vehicles ·      V2V, V2I and I2V Road Safety applications ·      Intelligent Transportation Systems ·      Multi-Agent Systems for connected mobility ·      Machine Learning for connected mobility ·      Collective and connected Intelligence ·      Argumentation, Collaboration, and Team Formationfor Intelligent Connected Mobility ·      Next Generation Intelligent Connected Mobility ·      Weather related Safety solutions ·      Driver behavior countermeasures in connectedvehicles ·      Data Trustworthiness in Connected Vehicles ·      Security & Privacy Issues in VehicleCommunication Environment ·      Safety & non-safety applications ofConnected Vehicles ·      Blockchain technology in connected mobility ·      Automotive Electronics and Automatic Control inVehicular Networks ·      Traffic & Transportation Systems inVehicular Networks ·      Telematics and Mobile Internet ·      Vehicular Cloud Computing ·      Mobility and the Internet of Vehicles ·      IoT in connected vehicles ·      Cyber-Physical Systems for connected mobility ·      Application of remote sensing in connected mobility ·      Big Data and Vehicle Analytics ·      Energy-aware connected mobility ·      Solar and Electrical energy for connectedmobility Programming language for connected mobility ·      Embedded Systems for connected mobility ·      Driver Behavior Analysis ·      Vision and Image Processing ·      Vehicle Environment Perception ·      Cognitive and Context-aware Intelligence ·      Drone-based applications for connected mobility ·      Connected mobility for Healthcare applications ·      Connected mobility for Hazard management ·      Connected mobility for Logistics applications ·      Regulations and bylaws for intelligent connectedmobility ·      Crowd Computing for connected mobility ·      Nanotechnology for connected mobility   ================ IMPORTANT DATES ·      Paper Submission: 10th August, 2018 ·      Acceptance Notification: 20th September, 2018 ·      Final Manuscript Due: 10th October, 2018     ================ Outstanding Papers   Based on the reviewing scores as well as thepresentations at the conference, the authors of outstanding papers will beinvited to extend their works for a potential publication in journals specialissues with high impact factors.   ================= PAPERS SUBMISSION   Paper must be submitted electronically via easychair (https://easychair.org/conferences/?conf=cim20180).All papers will be peer reviewed. Paper length should be maximum 8 pagesincluding figures, tables, references, and appendices. For more information,please refer to the conference website:  http://cim-2018.smartgentpt.com/    ============== IMPORTANT DATES   ·      Paper submission: 10th August, 2018 ·      Acceptance notification: 20th September, 2018 ·      Camera-ready: 10th October, 2018   -------------- next part -------------- An HTML attachment was scrubbed... URL: From efes at cs.uni.wroc.pl Wed May 9 17:59:26 2018 From: efes at cs.uni.wroc.pl (Filip Sieczkowski) Date: Wed, 9 May 2018 19:59:26 +0200 Subject: [Haskell] HOPE 2018: Call for Presentations Message-ID: Dear Friends and Colleagues, We have a great pleasure inviting you to participate in this year's edition of the ACM SIGPLAN Workshop on Higher-Order Programming with Effects ( https://icfp18.sigplan.org/track/hope-2018-papers). The HOPE workshop series are intended to bring together researchers interested in the design, semantics, implementation, and verification of higher-order effectful programs. They are *informal*, consisting of invited talks, contributed talks on work in progress, and open-ended discussion sessions. They are dedicated to John Reynolds, whose work is an inspiration to us all. **Goals of the Workshop** A recurring theme in many papers at ICFP, and in the research of many ICFP attendees, is the interaction of higher-order programming with various kinds of effects: storage effects, I/O, control effects, concurrency, etc. While effects are of critical importance in many applications, they also make code harder to build, maintain, and reason about. Higher-order languages (both functional and object-oriented) provide a variety of abstraction mechanisms to help “tame” or “encapsulate” effects (e.g. monads, ADTs, ownership types, typestate, first-class events, transactions, Hoare Type Theory, session types, substructural and region-based type systems), and a number of different semantic models and verification technologies have been developed in order to codify and exploit the benefits of this encapsulation (e.g. bisimulations, step-indexed Kripke logical relations, higher-order separation logic, game semantics, various modal logics). But there remain many open problems, and the field is highly active. The goal of the HOPE workshop is to bring researchers from a variety of different backgrounds and perspectives together to exchange new and exciting ideas concerning the design, semantics, implementation, and verification of higher-order effectful programs. We want HOPE to be as informal and interactive as possible. The program will thus involve a combination of invited talks, contributed talks about work in progress, and open-ended discussion sessions. There will be no published proceedings, but participants will be invited to submit working documents, talk slides, etc., to be made available online. **Call for Presentations** We solicit proposals for contributed talks. We recommend preparing proposals of at most 2 pages, in either plain text or PDF format. However, we will accept longer proposals or submissions to other conferences, under the understanding that PC members are only expected to read the first two pages of such longer submissions. When submitting talk proposals, authors should specify how long a talk the speaker wishes to give. By default, contributed talks will be 30 minutes long, but proposals for shorter or longer talks will also be considered. Speakers may also submit supplementary material (e.g., a full paper, talk slides) if they desire, which PC members are free (but not expected) to read. We are interested in talks on all topics related to the interaction of higher-order programming and computational effects. Talks about work in progress are particularly encouraged. If you have any questions about the relevance of a particular topic, please contact the PC chairs, Filip Sieczkowski (efes at cs.uni.wroc.pl) and François Pottier ( francois.pottier at inria.fr). **Important Dates** * Deadline for talk proposals: June 8th, 2018 (Friday) * Notification of acceptance: July 8th, 2018 (Sunday) * Workshop: September 23, 2018 (Sunday) — Best regards, Filip Sieczkowski and François Pottier, PC co-chairs -------------- next part -------------- An HTML attachment was scrubbed... URL: From brucker at spamfence.net Thu May 10 21:53:27 2018 From: brucker at spamfence.net (Achim D. Brucker) Date: Thu, 10 May 2018 22:53:27 +0100 Subject: [Haskell] Call for Papers: Workshop in OCL and Textual Modeling (OCL 2018) Message-ID: <20180510215327.u56rggr6lpprse4u@kandagawa.home.brucker.ch> (Apologies for duplicates) CALL FOR PAPERS 18th International Workshop on OCL and Textual Modeling Co-located with MODELS 2018: ACM/IEEE 21th International Conference on Model Driven Engineering Languages and System, October 14 (tbc), 2018, Copenhagen, Denmark http://oclworkshop.github.io Modeling started out with UML and its precursors as a graphical notation. Such visual representations enable direct intuitive capturing of reality, but they have weaknesses: for example, detailed visual representations bear the risk of becoming overcrowded faster than textual models and some of the visual features lack the level of precision required to create complete and unambiguous specifications. These weaknesses of graphical notations encouraged the development of text-based modeling languages that either integrate with or replace graphical notations for modeling. Typical examples of such languages are OCL, textual MOF, Epsilon, and Alloy. Textual modeling languages have their roots in formal language paradigms like logic, programming and databases. The goal of this workshop is to create a forum where researchers and practitioners interested in building models using OCL or other kinds of textual languages can directly interact, report advances, share results, identify tools for language development, and discuss appropriate standards. In particular, the workshop will encourage discussions for achieving synergy from different modeling language concepts and modeling language use. The close interaction will enable researchers and practitioners to identify common interests and options for potential cooperation. ## Topics of interest Topics of interest include (but are not limited to): - Mappings between textual modeling languages and other languages/formalisms - Mathematical models and/or formal semantics for textual modeling languages - Algorithms, evaluation strategies and optimizations in the context of textual modeling languages for: - validation, verification, and testing, - model transformation and code generation, - meta-modeling and DSLs, and - query and constraint specifications - Alternative graphical/textual notations for textual modeling languages - Evolution, transformation and simplification of textual modeling expressions - Libraries, templates and patterns for textual modeling languages - Tools that support textual modeling languages (e.g., verification of OCL formulae, runtime monitoring of invariants) - Model-driven security using textual modeling languages - Complexity results for textual modeling languages - Quality models and benchmarks for comparing and evaluating textual modeling tools and algorithms - Successful applications of textual modeling languages - Case studies on industrial applications of textual modeling languages - Experience reports: - usage of textual modeling languages and tools in complex domains, - usability of textual modeling languages and tools for end-users - Empirical studies about the benefits and drawbacks of textual modeling languages - Innovative textual modeling tools - Comparison, evaluation and integration of modeling languages - Correlation between modeling languages and modeling tasks We particularly encourage submissions describing applications and case studies of textual modeling as well as test suites and benchmark collections for evaluating textual modeling tools. ## Venue This workshop will be organized as a part of MODELS 2018 Conference in Copenhagen, Denmark. Similar to its predecessors, the workshop addresses both people from academia and industry. The aim is to provide a forum for addressing integration of OCL and other textual modeling languages, as well as tools for textual modeling, and for disseminating good practice and discussing the new requirements for textual modeling. ## Workshop Format The workshop will include short (about 15 min) presentations, parallel sessions of working groups, and sum-up discussions. ## Submissions Two types of papers will be considered: * Short contributions (between 5 and 7 pages) describing new ideas, innovative tools or position papers. * Full papers (between 10 and 14 pages). in LNCS format. Submissions should be uploaded to [EasyChair](https://easychair.org/conferences/?conf=ocl2018). The program committee will review the submissions (minimum 2 reviews per paper, usually 3 reviews) and select papers according to their relevance and interest for discussions that will take place at the workshop. Accepted papers will be published online, as part of the MODELS workshop proceedings, in [CEUR](http://www.ceur-ws.org). ## Important Dates - Submission of papers: July 17, 2018 - Notification: August 17, 2018 - Workshop date: October 14, 2018 (tbc) -- Dr. Achim D. Brucker | Software Assurance & Security | University of Sheffield https://www.brucker.ch | https://logicalhacking.com/blog @adbrucker | @logicalhacking From oana.piciorus at tezos.com Sat May 12 06:16:33 2018 From: oana.piciorus at tezos.com (careers) Date: Sat, 12 May 2018 08:16:33 +0200 Subject: [Haskell] Tezos is hiring! Message-ID: Tezos est une blockchain et une plateforme de contrats intelligents écrite en OCaml. En outre, Tezos est dotée d'un mécanisme d'auto-gestion lui permettant d'évoluer de manière décentralisée. Tezos compte 40 postes ouverts dans le monde dont environ 25 en France. Les temps partiels et le télé travail sont envisageables. Le développement s'articule autour de plusieurs thèmes dont les systèmes distribués, les réseaux pairs à pairs, la théorie des langages de programmation, la cryptographie, et les méthodes formelles. Nous recherchons des profils variés, avec une préférence pour les détenteurs de doctorats. Possibilité de thèse CIFRE pour les étudiants en master. Est fortement préférée la maîtrise d'un langage fonctionnel tel que OCaml, Haskell, Clojure ou équivalent et des compétences dans l'un des domaines suivants: algorithmique, compilateurs, conception de langages de programmation, cryptographie, p2p, programmation web / UI en OCaml, SAT/SMT, vérification formelle, programmation linéaire et en nombres entiers, optimisation numérique, processus stochastiques ou calcul formel. Rémunération très attractive. Si vous êtes intéressé(e)s, envoyez votre CV à careers at tezos.com! ******************* Tezos is a self-governing blockchain and smart-contract platform written in OCaml. Tezos' self-governance allows it to evolve in a decentralised manner by enabling collective decision making. We are currently filling 40 open positions world-wide, including 25 in France. Part-time and remote work will be considered. The development of the project is centred around different areas, such as distributed systems, peer to peer systems, theory of programming languages, cryptography and formal methods. We are looking for a range of profiles, with a preference towards PhD holders. Possibility of PhD funding for excellent master students. Mastering of a functional language such as OCaml, Haskell or Clojure is particularly desirable, as well as skills in one or more of the following topics: algorithms, compilers, design of programming languages, cryptography, p2p, web programming / UI in OCaml, SAT / SMT, formal verification, linear and integer programming, numerical optimization, stochastic processes or computer algebra. Attractive compensation. If you are interested, please send your CV (resumé) to careers at tezos.com! -------------- next part -------------- An HTML attachment was scrubbed... URL: From kk.nkt33 at gmail.com Mon May 14 07:28:46 2018 From: kk.nkt33 at gmail.com (Keiko Nakata) Date: Mon, 14 May 2018 09:28:46 +0200 Subject: [Haskell] OCaml/Reason/MirageOS Internships at SAP Innovation Center Network (Postdam, Germany) Message-ID: Our team at SAP Innovation Center Network in Potsdam (Germany) is looking for internship students to research, evaluate and extend MirageOS in the context of cloud applications. Interested students with Haskell background would be very well suited. Please check out the job descriptions at https://jobs.sap.com/job/Potsdam-Intern-Mirage-OS-Research-&-Development-Job-BB/465260101/ and https://jobs.sap.com/job/Potsdam-Working-Student-OCamlReason-Developer-Job-BB/465257901/ For more details and questions, please contact me on keiko.nakata at sap.com (We may have other internship positions around static analysers, please contact me for further details.) Best regards, Keiko -------------- next part -------------- An HTML attachment was scrubbed... URL: From mihai.maruseac at gmail.com Wed May 16 02:34:37 2018 From: mihai.maruseac at gmail.com (Mihai Maruseac) Date: Tue, 15 May 2018 19:34:37 -0700 Subject: [Haskell] ANNOUNCE: Haskell Communities and Activities Report (34th ed., May 2018) Message-ID: On behalf of all the contributors, we are pleased to announce that the Haskell Communities and Activities Report (34th edition, May 2018) is now available, in PDF and HTML formats: http://haskell.org/communities/05-2018/report.pdf http://haskell.org/communities/05-2018/html/report.html All previous editions of HCAR can be accessed on the wiki at https://wiki.haskell.org/Haskell_Communities_and_Activities_Report Many thanks go to all the people that contributed to this report, both directly, by sending in descriptions, and indirectly, by doing all the interesting things that are reported. We hope you will find it as interesting a read as we did. If you have not encountered the Haskell Communities and Activities Reports before, you may like to know that the first of these reports was published in November 2001. Their goal is to improve the communication between the increasingly diverse groups, projects, and individuals working on, with, or inspired by Haskell. The idea behind these reports is simple: Every six months, a call goes out to all of you enjoying Haskell to contribute brief summaries of your own area of work. Many of you respond (eagerly, unprompted, and sometimes in time for the actual deadline) to the call. The editors collect all the contributions into a single report and feed that back to the community. When we try for the next update, six months from now, you might want to report on your own work, project, research area or group as well. So, please put the following into your diaries now: ======================================== End of September 2018: target deadline for contributions to the October 2018 edition of the HCAR Report ======================================== Unfortunately, many Haskellers working on interesting projects are so busy with their work that they seem to have lost the time to follow the Haskell related mailing lists and newsgroups, and have trouble even finding time to report on their work. If you are a member, user or friend of a project so burdened, please find someone willing to make time to report and ask them to "register" with the editors for a simple e-mail reminder in November (you could point us to them as well, and we can then politely ask if they want to contribute, but it might work better if you do the initial asking). Of course, they will still have to find the ten to fifteen minutes to draw up their report, but maybe we can increase our coverage of all that is going on in the community. Feel free to circulate this announcement further in order to reach people who might otherwise not see it. Enjoy! -- Mihai Maruseac (MM) "If you can't solve a problem, then there's an easier problem you can solve: find it." -- George Polya From mh at informatik.uni-kiel.de Wed May 16 13:42:45 2018 From: mh at informatik.uni-kiel.de (Michael Hanus) Date: Wed, 16 May 2018 15:42:45 +0200 Subject: [Haskell] WFLP 2018: Second Call for Papers Message-ID: ========================================================= WFLP 2018: Second Call for Papers ========================================================= 26th International Workshop on Functional and (constraint) Logic Programming WFLP 2018 http://ppdp-lopstr-18.cs.uni-frankfurt.de/wflp18.html Frankfurt, Germany, September 6, 2018 (co-located with PPDP 2018 and LOPSTR 2018) Important Dates Abstract submission: June 27, 2018 Paper submission: July 2, 2018 Notification: July 27, 2018 Camera-ready: August 24, 2018 Workshop: September 6, 2018 WFLP 2018 The international Workshop on Functional and (constraint) Logic Programming (WFLP) aims at bringing together researchers, students, and practitioners interested in functional programming, logic programming, and their integration. WFLP has a reputation for being a lively and friendly forum, and it is open for presenting and discussing work in progress, technical contributions, experience reports, experiments, reviews, and system descriptions. The 26th International Workshop on Functional and (constraint) Logic Programming (WFLP 2018) will be held at the Goethe-University Frankfurt am Main, Germany. Previous WFLP editions were WFLP 2017 (Würzburg, Germany), WFLP 2016 (Leipzig, Germany), WFLP 2014 (Wittenberg, Germany), WFLP 2013 (Kiel, Germany), WFLP 2012 (Nagoya, Japan), WFLP 2011 (Odense, Denmark), WFLP 2010 (Madrid, Spain), WFLP 2009 (Brasilia, Brazil), WFLP 2008 (Siena, Italy), WFLP 2007 (Paris, France), WFLP 2006 (Madrid, Spain), WCFLP 2005 (Tallinn, Estonia), WFLP 2004 (Aachen, Germany), WFLP 2003 (Valencia, Spain), WFLP 2002 (Grado, Italy), WFLP 2001 (Kiel, Germany), WFLP 2000 (Benicassim, Spain), WFLP'99 (Grenoble, France), WFLP'98 (Bad Honnef, Germany), WFLP'97 (Schwarzenberg, Germany), WFLP'96 (Marburg, Germany), WFLP'95 (Schwarzenberg, Germany), WFLP'94 (Schwarzenberg, Germany), WFLP'93 (Rattenberg, Germany), and WFLP'92 (Karlsruhe, Germany). WFLP 2018 will be co-located with PPDP 2018 (International Symposium on Principles and Practice of Declarative Programming) and LOPSTR 2018 (International Symposium on Logic-Based Program Synthesis and Transformation. Topics The topics of interest cover all aspects of functional and logic programming. They 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, non-monotonic reasoning, dynamics * Parallelism, concurrency * Program analysis, abstract interpretation * program and model manipulation * Program transformation, partial evaluation, meta-programming * Specification, verification * Debugging, testing * Knowledge representation, machine learning * Interaction of declarative programming with other formalisms * Implementation of declarative languages * Advanced programming environments and tools * Software techniques 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. Survey papers that present some aspects of the above topics from a new perspective, and experience reports are also welcome. Papers must be written and presented in English. Work that already appeared in unpublished or informally published workshop proceedings may be submitted (please contact the PC chair in case of questions). Submission Guidelines Submission is via Easychair submission website for WFLP 2018: https://easychair.org/conferences/?conf=wflp2018 Authors are invited to submit papers in the following categories: + Regular research paper + Work-in-progress report + System description Regular research papers must describe original work, be written and presented in English, and must not substantially overlap with papers that have been formally published or that are simultaneously submitted to a journal, conference, or workshop with formal proceedings. They will be judged on the basis of significance, relevance, correctness, originality, and clarity. For work-in-progress reports and system descriptions, less formal rules apply, and presentation-only submissions (talk and discussion, but no paper in the formal proceedings) are possible. Please contact the PC chair with any questions. All submissions must be formatted in the Lecture Notes in Computer Science style. Submissions cannot exceed 15 pages including references but excluding well-marked appendices not intended for publication. Reviewers are not required to read the appendices, and thus papers should be intelligible without them. However, all submissions (especially work-in-progress reports and system descriptions) may be considerably shorter than 15 pages. Proceedings All papers accepted for presentation at the conference will be published in informal proceedings publicly available at the Computing Research Repository. According to the program committee reviews, submissions can be directly accepted for publication in the formal post-conference proceedings. The formal post-conference proceedings will be published in both electronic and paper formats by Springer in the Lecture Notes in Computer Science series. After the conference, all authors accepted only for presentation will be invited to revise and/or extend their submissions in the light of the feedback solicited at the conference. Then, after another round of reviewing, these revised papers may also be published in the formal proceedings. Therefore, all accepted papers will be published in open-access, and the authors can also decide to publish their work in the Springer LNCS formal proceedings. Program Committee + Slim Abdennadher, German University in Cairo, Egypt + Maria Alpuente, Universitat Politècnica de València, Spain + Sergio Antoy, Portland State University, USA + Olaf Chitil, University of Kent, UK + Maria del Mar Gallardo, Universidad de Málaga, Spain + Michael Hanus, University of Kiel, Germany + Herbert Kuchen, University of Münster, Germany + Kostis Sagonas, Uppsala University, Sweden + Tom Schrijvers, Katholieke Universiteit Leuven, Belgium + Sibylle Schwarz, HTWK Leipzig, Germany + Martina Seidl, Johannes Kepler University Linz, Austria + Dietmar Seipel, University of Würzburg, Germany + Josep Silva, Universitat Politècnica de València, Spain (Program Chair) + Salvador Tamarit, Universidad Politécnica de Madrid, Spain + Janis Voigtländer, University of Duisburg-Essen, Germany + Johannes Waldmann, HTWK Leipzig, Germany Organizing Committee David Sabel (General Chair), Computer Science Institute Goethe-University Frankfurt am Main, Germany From rdgrande at site.uottawa.ca Wed May 16 19:41:53 2018 From: rdgrande at site.uottawa.ca (Robson De Grande) Date: Wed, 16 May 2018 15:41:53 -0400 Subject: [Haskell] CFP Special Sessions: DS-RT 2018 - Madrid, Spain, October 15-17, 2018 Message-ID: Dear Colleagues and Researchers, Apologies, if you have received multiple copies of this CFP. ********** CALL FOR PAPER ********** DS-RT 2018, the 22nd IEEE/ACM International Symposium on Distributed Simulations and Real Time Applications, is running three special sessions this year: - Distributed Simulations of Distributed Systems - Agent-based Modeling and Simulation - Simulation of Urban Traffic Management and ITS These 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. Accepted works will be published in the main track of IEEE DS-RT 2018 proceedings. ***** PAPER SUBMISSION AND REVIEW ***** Submitted manuscripts must be in standard IEEE two-column format that is used for IEEE conference proceedings and must not exceed "8 pages" (2-page extension allowed), including figures, tables and references. Standard IEEE templates for Microsoft Word or LaTeX formats can be found at: - http://www.ieee.org/conferences_events/conferences/publishing/ templates.html A submission may present preliminary results, propose new research direction, provide insightful retrospective, or offer a provocative viewpoint on important topics related to the considered special session. Papers will be selected based on their likelihood of generating insightful technical discussions at the special session and influencing future research. Papers must be unpublished and must not be submitted for publication elsewhere. All papers will be reviewed by Technical Program Committee members and other experts active in the field to ensure high quality and relevance to the conference and the special session. At least one author of accepted papers must attend the conference and present its contribution. Accepted papers will appear in the conference proceedings to be published by IEEE Press. ***** IMPORTANT DATES ***** Full paper submission deadline: June 10th, 2018 Paper acceptance notification: July 10th, 2018 ***** 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/2018/dsimdsys_2018.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/2018/abms_2018.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/2018/soiits_2018.htm Best Regards, DS-RT 2018 Special Session Chairs -------------- next part -------------- An HTML attachment was scrubbed... URL: From kei at lanl.gov Thu May 17 23:35:36 2018 From: kei at lanl.gov (Kei Davis) Date: Thu, 17 May 2018 17:35:36 -0600 Subject: [Haskell] 2nd CfP Workshop on Functional High-Performance Computing 2018 In-Reply-To: <985c9f05-2076-94f5-8a6c-849267f814d1@lanl.gov> References: <985c9f05-2076-94f5-8a6c-849267f814d1@lanl.gov> Message-ID: 2nd CfP Workshop on Functional High-Performance Computing 2018 The 7th ACM SIGPLAN Workshop on Functional High-Performance Computing (FHPC 2018) is being held as in previous years in conjunction with the International Conference on Functional Programming (ICFP 2018) together with numerous other workshops/symposia, and as a first, colocated with Strange Loop, in St. Louis, MO, USA. https://icfp18.sigplan.org/track/FHPC-2018-papers#FHPC-2018-Call-for-Papers -- Kei Davis Applied Computer Science Group CCS-7, Mail Stop B287 Los Alamos National Laboratory Los Alamos, NM 87545, U.S.A. From carlos.camarao at gmail.com Fri May 18 12:33:05 2018 From: carlos.camarao at gmail.com (Carlos Camarao) Date: Fri, 18 May 2018 09:33:05 -0300 Subject: [Haskell] New deadline for paper submission to SBLP 2018 Message-ID: SBLP 2018 deadline extension ________________________________________________________________________________ Universidade de São Paulo - ICMC/USP São Carlos, Brazil, September 20-21, 2018 Conference website http://www.sbc.org.br/cbsoft2018 Submission link https://easychair.org/conferences/?conf=sblp2018 SBLp 2018 is the 22nd edition of the Brazilian Symposium on Programming Languages. The symposium is promoted by the Brazilian Computer Society (SBC) and provides a forum for researchers, students and professionals to present and discuss ideas and innovations in the design, definition, analysis, implementation and practical use of programming languages. Upon request, SBLP 2018 deadlines have been extended by seven days: ________________________________________________________________________________ Abstract submission: May 28th 2018 Paper submission: May 28th 2018 Author notification: July 6th 2018 Camera ready deadline: July 18th 2018 Submission Guidelines ________________________________________________________________________________ Papers can be written in Portuguese or English. Submission in English is strongly encouraged since the symposium proceedings are indexed in the ACM Digital Library. The acceptance of a paper implies that at least one of its authors will register for the symposium to present it. Papers must be original and not simultaneously submitted to another journal or conference. Papers must be submitted electronically (in PDF format) via the Easychair System: http://www.easychair.org/conferences/?conf=sblp2018 The following paper categories are welcome (page limits include figures, references and appendices): Full papers: up to 8 pages long in ACM 2-column conference format, available at http://www.acm.org/publications/proceedings-template Short papers: up to 3 pages in the same format, can discuss new ideas which are at an early stage of development or can report partial results of on-going dissertations or theses. List of Topics (related but not limited to the following) ________________________________________________________________________________ • Programming paradigms and styles, scripting and domain-specific languages and support for real-time, service-oriented, multi-threaded, parallel, and distributed programming • Program generation and transformation • Formal semantics and theoretical foundations: denotational, operational, algebraic and categorical • Program analysis and verification, type systems, static analysis and abstract interpretation • Programming language design and implementation, programming language environments, compilation and interpretation techniques Publication ________________________________________________________________________________ SBLP proceedings will be published in ACM's digital library. As in previous editions, after the conference authors of selected regular papers will be invited to submit an extended version of their work to be considered for publication in a journal's special issue. Since 2009, selected papers of each SBLP edition are being published in a special issue of Science of Computer Programming, by Elsevier. Program Committee ________________________________________________________________________________ Mariza Bigonha Universidade Federal de Minas Gerais Roberto Bigonha Universidade Federal de Minas Gerais Andre R. Du Bois Universidade Federal de Pelotas Christiano Braga Universidade Federal Fluminense Carlos Camarão Universidade Federal de Minas Gerais (chair) Fernando Castor Universidade Federal de Pernambuco Renato Cerqueira IBM Research, Brazil João Fernandes Universidade de Coimbra João Ferreira Teesside University Lucília Figueiredo Universidade Federal de Ouro Preto Ismael Figueroa Pontifícia Universidad Católica de Valparaiso Alex Garcia Instituto Militar de Engenharia Francisco Heron Universidade Federal do Ceará Roberto Ierusalimschy Pontifícia Universidade Católica do Rio de Janeiro Yu David Liu State University of New York at Binghamton Hans-Wolfgang Loidl Heriot-Watt University Marcelo Maia Universidade Federal de Uberlândia André M. Maidl Pontifícia Universidade Católica do Paraná Manuel A. Martins Universidade de Aveiro Fábio Mascarenhas Universidade Federal do Rio de Janeiro Sérgio Medeiros Universidade Federal do Rio Grande do Norte Victor Miraldo University of Utrecht Álvaro Moreira Universidade Federal do Rio Grande do Sul Anamaria M. Moreira Universidade Federal do Rio de Janeiro Peter Mosses Swansea University Martin Musicante Universidade Federal do Rio Grande do Norte Alberto Pardo Universidad de la República Fernando Pereira Universidade Federal de Minas Gerais Gustavo Pinto Universidade Federal do Pará Louis-Noel Pouchet Ohio State University Zongyan Qiu Peking University Henrique Rêbelo Universidade Federal de Pernambuco Leonardo Reis Universidade Federal de Ouro Preto Rodrigo Ribeiro Universidade Federal de Ouro Preto Noemi Rodriguez Pontifícia Universidade Católica do Rio de Janeiro Francisco Sant'Anna Universidade Estadual do Rio de Janeiro João Saraiva Universidade do Minho Martin Sulzmann Hochschule Karlsruhe - Technik und Wirtschaft (chair) Leopoldo Teixeira Universidade Federal de Pernambuco Simon Thompson University of Kent Cristiano Vasconcellos Universidade do Estado de Santa Catarina Varmo Vene University of Tartu Invited Speaker ________________________________________________________________________________ Martin Sulzmann, Hochschule Karlsruhe - Technik und Wirtschaft, Germany Contact ________________________________________________________________________________ All questions about submissions should be emailed to Carlos Camarão (camarao at dcc.ufmg.br) -------------- next part -------------- An HTML attachment was scrubbed... URL: From dreixel at gmail.com Mon May 21 18:53:46 2018 From: dreixel at gmail.com (=?UTF-8?Q?Jos=C3=A9_Pedro_Magalh=C3=A3es?=) Date: Mon, 21 May 2018 19:53:46 +0100 Subject: [Haskell] Job openings with the strats team at Standard Chartered bank - New York, London, Singapore, Hong Kong Message-ID: Key responsibilities Development of quantitative analytics; software engineering; software design and architecture; overall design and implementation of a wide range of financial software across FX, IR, commodities and credit asset classes; team leadership. Job description Strats are generalist software engineers. As a Strat you will be involved in all of: software design; architecture specification; project management; implementation; requirements gathering; research engineering; devops. You will work on the trading floor, directly with traders, building software to automate their work and improve their efficiency. The role is highly development focused and you will use Haskell for almost all tasks: data analysis, market data publishing, database access, web services, desktop GUIs, large parallel tasks, quantitative models, solvers, everything. This is a fast paced role – code you write today will be deployed within hours to hundreds of users and has to work. We have positions available in: - New York, where we're building a team and have one team member so far - London - Singapore - Hong Kong, where we're building a strats team to work with the existing risk technology team We prefer experienced / senior developers, but extraordinary juniors will be considered too. Demonstrated experience in typed FP (Haskell, OCaml, F# etc) is required. We have over 4 million lines of Haskell, and our own Haskell compiler. In this context we look for skill in typed functional programming to capture and abstract over complex systems. Experience writing typed APIs to external systems such as databases, web services, pub/sub platforms is very desirable. We like working code, so if you have Hackage or github libraries, we definitely want to see them. We also like StackOverflow answers, academic papers, or other arenas where you can show broad FP ability. You have project and client management skills — you will talk to users, understand their problems and then implement and deliver what they really need. The role requires physical presence on the trading floor for most of the time; remote work is not an option. For most roles we offer a relocation allowance if moving from abroad, and flexible working practices are possible. Years of Relevant Experience MSc in Computer Science or related discipline, or equivalent 4+ years experience (PhDs welcome) Skills Summary Haskell or other typed functional programming language (OCaml, F#); computer science background; software design and engineering; project management and client communication; team management for senior roles. How to apply If this sounds exciting to you, please email the following to strats-jobs AT sc DOT com: - Your CV - A short motivation text - Location(s) interested in - Coding samples (preferably publicly available) We are committed to building a culture that fosters a diverse and inclusive environment that’s free from bias, where everyone can realise their full potential and make a positive contribution. This is just one of our values that is expressed in our brand promise – here for good. -------------- next part -------------- An HTML attachment was scrubbed... URL: From pdownen at cs.uoregon.edu Mon May 21 21:06:41 2018 From: pdownen at cs.uoregon.edu (Paul Downen) Date: Mon, 21 May 2018 14:06:41 -0700 Subject: [Haskell] OPLSS 2018: Application Extension Message-ID: We had several cancellations due to entry visas being denied. Therefore, we are reopening applications to the Oregon Programming Languages Summer School (OPLSS) to be held from July 9th to July 21st, 2018 at the University of Oregon in Eugene. Students can also register for an introductory session which takes place from July 3rd to July 8th. This session is not mandatory; it is also possible to register for the introductory session only. Full information on registration can be found here: http://www.cs.uoregon.edu/Activities/summerschool In addition to the previously announced program we have two more presentations: William Duff - Jane Street Typing speed: how rich types enable performance engineering Aaron Turon - Mozilla Help wanted: research questions in Rust Hope to see many of you. Bob, Guy, Paul and Zena -------------- next part -------------- An HTML attachment was scrubbed... URL: -------------- next part -------------- A non-text attachment was scrubbed... Name: logo-small.png Type: image/png Size: 20102 bytes Desc: not available URL: From david.castro.dcp at gmail.com Fri May 25 10:32:23 2018 From: david.castro.dcp at gmail.com (David Castro) Date: Fri, 25 May 2018 11:32:23 +0100 Subject: [Haskell] 2 PostDoc Positions at Imperial College London on Session Types Message-ID: Imperial College London has two open positions on session types and programming languages (see details below). If you have any questions, do not hesitate to contact Prof. Nobuko Yoshida on n.yoshida at imperial.ic.ac.uk. ------------------------------------------------------------------------------------------------------------ Department of Computing, Imperial College London Two Research Associate Positions (Post-doc, Full Time) 32,380 GBP to 44,220 GBP per annum Fixed-term: Starting date: as soon as possible Ending date: 19 May 2020 Closing Date: 30th June 2018 Professor Nobuko Yoshida, Imperial College London The post is funded by EPSRC, the UK science funding agency and the titles of the project is "From Data Types to Session Types: A Basis for Concurrency and Distribution". The goal is to further develop the theory and practice of session types for structuring concurrent and distributed software. The project has particular emphasis on putting theory into practice, by embedding session types in a range of programming languages and applying them to case studies; or developing the links between session types and other areas of theoretical computer science. The research programme includes collaboration with several companies and organisations: Amazon, Red Hat, Cognizant, Estafet, Weaveworks and JP Morgan. The focus of Imperial College London Group is theories and applications of (Multiparty) Session Types (JACM,POPL'08), which include: -- Go (ICSE'18, POPL'17, CC'16), F# (CC'18), Scala (ECOOP'17,ECOOP'16), Erlang (CC'17), Haskell (POPL'16), Java (FASE'16,FASE'17), MPI (OOPSLA'15,CC'15), C (FPL'16) and Python (FOAC,LMCS,FMSD); or -- linear logic (ESOP'18,FoSSaCs'18,CONCUR'15), automata theories (POPL'15,CONCUR'15,TACAS'16,FoSSaCs'17), ICC (LICS'18), bisimualtions (CONCUR'15,ESOP'16) and other foundations such as event structures and game semantics. -- mechanisations of session types meta-theory (Coq, Isabelle, Agda, etc) For more details, see http://mrg.doc.ic.ac.uk Candidates for the post-doc position will need to have expertise in either: 1. programming language design and implementation; or 2. formal semantics, type theory and concurrency theory Different positions will be suitable for different points on the theory/practice spectrum. We are especially interested in candidates with a combination of theoretical and practical skills. The contact person is Professor Nobuko Yoshida, Imperial College London (N.Yoshida at imperial.ac.uk) Details: https://www.imperial.ac.uk/jobs/description/ENG00367/research-assistant-research-associate/ From rdgrande at site.uottawa.ca Sun May 27 01:00:20 2018 From: rdgrande at site.uottawa.ca (Robson De Grande) Date: Sat, 26 May 2018 18:00:20 -0700 Subject: [Haskell] CFP (Extended Deadline): IEEE DS-RT 2018 - Deadline extended to June 10th, 2018 Message-ID: ******* CFP (Extended Deadline): IEEE DS-RT 2018 - extended deadline to June 10th, 2018 ------------------------------------------------------------------------------------ Please accept our apologies if you have received multiple copies. ------------------------------------------------------------------------------------ Call for Papers - DS-RT 2018 22nd IEEE/ACM* International Symposium on Distributed Simulation and Real Time Applications http://ds-rt.com/ October 15-17, 2018 - Madrid, Spain ----------------------------------------------------------------------- IMPORTANT: Extended Submission deadline (FIRM): June 10th, 2018 ----------------------------------------------------------------------- *** The Symposium *** The 2018 IEEE/ACM International Symposium on Distributed Simulation and Real Time Applications (DS-RT 2018) promises to be a grand affair and will take place in Madrid, Spain. DS-RT 2018 serves as a platform for simulationists from academia, industry and research labs for presenting recent research results in Distributed Simulation and Real Time Applications. DS-RT 2018 targets the growing overlap between large distributed simulations and real-time applications, such as collaborative virtual environments, pervasive and ubiquitous application scenarios, motor-, controller-, sensor- and actuator systems. The conference features prominent invited speakers as well as papers by top researchers in the field. DS-RT 2018 will include contributed technical papers, invited papers, and panel discussions. The proceedings will be published by IEEE-CS press. *** Call for Papers *** DS-RT provides an international forum for the discussion and presentation of original ideas, recent results and achievements by researchers, research students, and systems developers on issues and challenges related to distributed simulation and real-time applications. Authors are encouraged to submit both theoretical and practical results of significance. Demonstration of new tools/applications is enlivened. The scope of the symposium includes, but is not limited to: Paradigms, Methodology, Algorithms and Software Architectures for Large Scale Distributed and Real-Time Simulations (e.g. Parallel and Distributed Simulation, Multi-Agent Based Distributed Simulation, HLA/RTI, Web, Grid and cloud-based Simulation, hardware-software co-design for extreme-scale simulations) Paradigms, Modelling, Architecture and Environments for Large Scale Real-time Systems and Concurrent Systems with hard and soft Real-Time Constraints Non-functional Properties of Distributed Simulation and Real-Time Systems (e.g. Dependability, Availability, Reliability, Maintainability, Safety, Security, Trustworthiness, QoS) Theoretical Foundations of Large-Scale Real-Time and Simulation Models (e.g. Event Systems, Causality, Space-Time Models, Notions of Time, Discrete and Continuous Systems, Simulator Coordination) Advances in Modelling and Simulation Studies and Technologies (Reuse of Models, New Modelling Languages, Agent-based M&S, Spatial M&S, Cognitive Modelling, Neural Network Models, Artificial Intelligence in Simulation, Discrete Events, Continuous Simulation, Service-oriented Computing and Simulation, Web-based Modelling and Simulation, Simulation of Multimedia Applications and Systems, etc.) Pervasive and Ubiquitous Computing Architectures and Applications that involve Simulations and/or adhere to Real-Time Constraints Languages and Tools, Development Environments, Data Interfaces, Network Protocols and Model Repositories that address Very Large Simulations Data Management and Distribution Issues, Interest Management, Semantic Modelling, Multi-resolution Modelling, Dead-Reckoning Mechanisms Simulation Studies at Large and Very Large Scale (e.g. Industrial, Commercial, Ecological and Environmental, Societal, Power and Energy) Environmental and Emerging Simulation Challenges (e.g. Growth of Human Population, Climate Change, CO2, Health Care, Ecosystems, Sustainable Development, Water and Energy Supply, Human Mobility, Traffic Modelling, World Stock Markets, Food Supply Chains, Megacities, Smart Cities, Smart Networks, Disaster Planning, etc.) Performance and Validation of Large-Scale and Distributed Simulations (e.g., benchmarking and analytical results, empirical studies DIS, HLA/RTI studies) Visual Interactive Simulation Environments (e.g., Generic Animation, Visual Interactive Modelling, Interactive Computer Based Training and Learning, Scientific Visualization, High-End Computer Graphics) Simulation-based Virtual Environments and Mixed Reality Systems (e.g. Interactive Virtual Reality, Human Communication through Immersive Environments) Collaborative Virtual and Augmented Reality, Shared Interaction Spaces, Telepresence Systems and Shared Workspaces, 3D Video and Acoustic Reconstruction, Shared Object Manipulation Design Issues, Interaction Designs, Human Computer Interaction Issues raised by Large Scale DS-RT Systems Serious Gaming and Massive Multiplayer Online Games (MMOG) applications, architectures and scalability issues Technologies for Living Labs (e.g. Mirror World Simulation, Interoperability, Large Scale Multi-Sensor Networks, Global Wireless Communication, Multi-Stakeholder Understanding and Innovation) Innovative Styles of Interactions with Large Scale DS-RT Systems (e.g. Implicit, Situative and Attentive Interaction, Tangible Interaction, Embedded Interaction, etc.) Media Convergence (e.g. New Technologies, Media Theory, Real-Time considerations of Multi-Modality, etc.) *** Important Dates *** Extended Submission Deadline: June 10th, 2018 Notification of Acceptance: July 1st, 2018 Camera Ready version due: July 31st, 2018 Symposium presentation: October 15-17, 2018 *** Submission *** 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. Accepted papers will appear in the conference proceedings to be published by IEEE-CS press. Authors of selected papers will be invited to submit extended versions of their papers to the Journal of Simulation. General information regarding submission can be found at http://ds-rt.com/2018/. Questions from authors may be directed to the Program Co-Chairs. IMPORTANT: CONFERENCE ATTENDANCE BY AT LEAST ONE AUTHOR OF ACCEPTED PAPERS IS MANDATORY *** ORGANIZING COMMITTEE*** General Chair José Luis Risco Martín, Complutense University of Madrid, Spain Program Co-Chairs Eva Besada, Complutense University of Madrid, Spain Floriano De Rango, University of Calabria, Italy Posters Chair Peppino Fazio, University of Calabria, Italy Demo Chair Amilcare F. Santamaria, University of Calabria, Italy Special Sessions Chair Robson De Grande, Brock University, Canada Publicity Chair Lucas Potter, Old Dominion University, VA, USA Finance Chair Guillermo Botella, Complutense University of Madrid, Spain -------------- next part -------------- An HTML attachment was scrubbed... URL: From evw at umn.edu Sun May 27 21:39:40 2018 From: evw at umn.edu (Eric Van Wyk) Date: Sun, 27 May 2018 16:39:40 -0500 Subject: [Haskell] GPCE 2018 2nd Call for Papers: Boston, MA, USA, Nov 5, 6 2018 Message-ID: -------------------------------------------------------------------------- CALL FOR PAPERS 17th International Conference on Generative Programming: Concepts & Experiences (GPCE 2018) November 5-6, 2018 Boston, MA, USA (co-located with SPLASH 2018) http://2018.splashcon.org/track/gpce-2018 http://twitter.com/GPCECONF http://www.facebook.com/GPCEConference IMPORTANT DATES * Submission of abstracts: June 29, 2018 * Submission of papers: July 6, 2018 * Paper notification: August 24, 2018 Submission site: https://gpce18.hotcrp.com/ KEYNOTE SPEAKER * Saman Amarasinghe, MIT, https://people.csail.mit.edu/saman/ Saman Amaraasinghe and his group at MIT have developed several domain-specific languages, including Halide, TACO, Simit, StreamIt, StreamJIT, PetaBricks, MILK, Cimple, and GraphIt, that target diverse areas such as image processing, stream computations, and graph analytics. In each, the innovative language abstractions are leveraged by sophisticated compilation techniques to generate exceptionally high performance. Dr. Amarasinghe has also pioneered the application of techniques from machine learning to compiler optimizations in systems such as Meta and the OpenTuner extensible autotuner. -------------------------------------------------------------------------- SCOPE GPCE is a venue for researchers and practitioners interested in techniques and tools for code generation, language implementation, and metaprogramming. 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 criteria: * 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 CATEGORIES GPCE solicits three kinds of submissions. * 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. PAPER SUBMISSION All submissions must use the ACM SIGPLAN Conference Format "acmart", using the "sigplan" sub-format, and 10 point font. Additional details and links to templates and the LaTeX class file can be found on the conference web site: http://2018.splashcon.org/track/gpce-2018. To increase fairness in reviewing, a double-blind review process has become standard across SIGPLAN conferences. GPCE will follow a very lightweight model, where author identities are revealed to reviewers after submitting their initial reviews. Hence, the purpose is not to conceal author identities at all cost, but merely to provide reviewers with an unbiased first look at a submission. Author names and institutions should be omitted from submitted papers, and references to the authors' own related work should be in the third person. No other changes are necessary, and authors will not be penalized if reviewers are able to infer their identities in implicit ways. To understand the motivation for using a double-blind review process please see "Effectiveness of anonymization in double-blind review" by C. Le Goues, Y. Brun, S. Apel, E. Berger, S. Khurshid, Y. Smaragdakis at https://doi.org/10.1145/3208157. Papers must be submitted using HotCRP: https://gpce18.hotcrp.com/ For additional information, clarification, or answers to questions please contact the program chair. ORGANIZATION General Chair: Eric Van Wyk (University of Minnesota, USA, evw at umn.edu) Program Chair: Tiark Rompf (Purdue University, USA, tiark at purdue.edu) Program Committee Vander Alves, University of Brasilia Kenichi Asai, Ochanomizu University Martin Berger, University of Sussex Aggelos Biboudis, EPFL Eugene Burmako, Twitter Charisee Chiw, University of Chicago Dana Drachsler Cohen, ETH Zürich Sebastian Erdweg, TU Delft Robert Glück, DIKU Vinod Grover, NVIDIA Shoaib Kamil, Adobe Andrei Klimov, Keldysh Institute Oleg Kiselyov, Tohoku University Stefan Marr, University of Kent Sarah Nadi, University of Alberta Klaus Ostermann, University of Tübingen Oleksandr Polozov, Microsoft Research Ina Schaefer, TU Braunschweig Ulrik Pagh Schultz, University of Southern Denmark Chung-chieh Shan, Indiana University Jeremy Siek, Indiana University Alexander Slesarenko, Huawei Anthony Sloane, Macquarie University Tijs van der Storm, CWI Walid Taha, Halmstad University Kanae Tsushima, NII Jeremy Yallopp, University of Cambridge -------------- next part -------------- An HTML attachment was scrubbed... URL: From chisvasileandrei at gmail.com Tue May 29 19:03:45 2018 From: chisvasileandrei at gmail.com (Andrei Chis) Date: Tue, 29 May 2018 21:03:45 +0200 Subject: [Haskell] Second Call for Papers: 11th ACM SIGPLAN International Conference on Software Language Engineering (SLE 2018) Message-ID: ------------------------------------------------------------------------ Call for Papers: 11th ACM SIGPLAN International Conference on Software Language Engineering (SLE 2018) co-located with SPLASH 2018 November 5-6, 2018 Boston, Massachusetts, United States https://conf.researchr.org/track/sle-2018/papers ------------------------------------------------------------------------ We are pleased to invite you to submit papers to the 11th ACM SIGPLAN International Conference on Software Language Engineering (SLE 2018), held in conjunction with SPLASH 2018 at Boston, Massachusetts on November 5-6, 2018. --------------------------- Scope --------------------------- With the ubiquity of computers, software has become the dominating intellectual asset of our time. In turn, this software depends on software languages, namely the languages it is written in, the languages used to describe its environment, and the languages driving its development process. Given that everything depends on software and that software depends on software languages, it seems fair to say that for many years to come, everything will depend on software languages. Software language engineering (SLE) is the discipline of engineering languages and their tools required for the creation of software. It abstracts from the differences between programming languages, modelling languages, and other software languages, and emphasizes the engineering facet of the creation of such languages, that is, the establishment of the scientific methods and practices that enable the best results. While SLE is certainly driven by its metacircular character (software languages are engineered using software languages), SLE is not self-satisfying: its scope extends to the engineering of languages for all and everything. Like its predecessors, the 11th edition of the SLE conference, SLE 2018, will bring together researchers from different areas united by their common interest in the creation, capture, and tooling of software languages. It overlaps with traditional conferences on the design and implementation of programming languages, model-driven engineering, and compiler construction, and emphasizes the fusion of their communities. To foster the latter, SLE traditionally fills a two-day program with a single track, with the only temporal overlap occurring between co-located events. --------------------------- Topics of Interest --------------------------- SLE 2018 solicits high-quality contributions in areas ranging from theoretical and conceptual contributions, to tools, techniques, and frameworks in the domain of software 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 contributions from the following areas: * Software Language Design and Implementation - Approaches to and methods for language design - Static semantics (e.g., design rules, well-formedness constraints) - Techniques for specifying behavioral / executable semantics - Generative approaches (incl. code synthesis, compilation) - Meta-languages, meta-tools, language workbenches * Software Language Validation - Verification and formal methods for languages - Testing techniques for languages - Simulation techniques for languages * Software 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 * Software 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 --------------------------- Important Dates --------------------------- All dates are Anywhere on Earth. * Fri 29 June 2018 - Abstract Submission * Fri 6 July 2018 - Paper Submission * Fri 24 August 2018 - Author Notification * Fri 31 August 2018 - Artifact Submission * Fri 14 September 2018 - Artifact Kick-the-Tires Evaluation Author Response * Fri 5 October 2018 - Camera Ready Deadline * Wed 10 October 2018 - Artifact Notification * Fri 12 October 2018 - Deadline for Artifact-Related Paper Updates * Sun 4 Nov 2018 - SLE Workshops * Mon 5 Nov - Tue 6 Nov 2018 - SLE Conference --------------------------- 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 excluding bibliography. * 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 excluding bibliography, 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. * 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 excluding bibliography. --------------------------- Artifact Evaluation --------------------------- For the third year SLE will use an evaluation process for assessing the quality of the artifacts on which papers are based to foster the culture of experimental reproducibility. Authors of accepted papers are invited to submit artifacts. More information is provided on the conference Website. --------------------------- Submission --------------------------- Submissions have to use the ACM SIGPLAN Conference Format "acmart" ( http://sigplan.org/Resources/Author/#acmart-format); please make sure that you always use the latest ACM SIGPLAN acmart LaTeX template ( https://www.acm.org/binaries/content/assets/publications/consolidated-tex-template/acmart-master.zip), and that the document class definition is \documentclass[sigplan,screen]{acmart}. Do not make any changes to this format! Using the Word template is strongly discouraged. Ensure that your submission is legible when printed on a black and white printer. In particular, please check that colors remain distinct and font sizes in figures and tables are legible. SLE follows a single-blind review process. Thus, you do not have to blind your submission. All submissions must be in PDF format. Concurrent Submissions: Papers must describe unpublished work that is not currently submitted for publication elsewhere as described by SIGPLAN’s Republication Policy ( http://www.sigplan.org/Resources/Policies/Republication). Submitters should also be aware of ACM’s Policy and Procedures on Plagiarism ( http://www.acm.org/publications/policies/plagiarism_policy). Submissions that violate these policies will be desk-rejected. Submission Site: Submissions will be accepted at https://sle18.hotcrp.com/. --------------------------- Reviewing Process --------------------------- All submitted papers will be reviewed by at least three members of the program committee. Research papers and tool papers will be evaluated concerning novelty, correctness, significance, readability, and alignment with the conference call. New ideas / vision papers will be evaluated primarily concerning novelty, significance, readability, and alignment with the conference call. For fairness reasons, all submitted papers must conform to the above instructions. Submissions that violate these instructions may be rejected without review, at the discretion of the PC chairs. --------------------------- Awards --------------------------- * Distinguished paper: Award for most notable paper, as determined by the PC chairs based on the recommendations of the programme committee. * Distinguished reviewer: Award for distinguished reviewer, as determined by the PC chairs. * 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. --------------------------- Publication --------------------------- All accepted papers will be published in the ACM Digital Library. 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 the conference. The official publication date affects the deadline for any patent filings related to published work. --------------------------- Keynote --------------------------- We are very proud to announce that this year’s SLE keynote will be given by Martin Rinard from the Massachusetts Institute of Technology. Martin Rinard is professor in the Department of Electrical Engineering and Computer Science at the Massachusetts Institute of Technology, and a member of the Computer Science and Artificial Intelligence Laboratory. His research focuses on software systems and related topics. The broad goal of his research is to obtain better software - making software more robust, resilient, and secure, improving the performance, verifying that the software satisfies important correctness, acceptability, reliability, or accuracy properties, or making systems (both software and hardware) easier to specify, build, maintain, or improve. More information on his research can be found at http://people.csail.mit.edu/rinard/. Details about his keynote at SLE will be announced soon on the conference Website. --------------------------- Program Committee --------------------------- Andrew Black, Portland State University, USA Anya Helene Bagge, University of Bergen, Norway Erwan Bousse, TU Wien, Austria Marco Brambilla, Politecnico di Milano, Italy Ruth Breu, University of Innsbruck, Austria Walter Cazzola, University of Milan, Italy Marsha Chechik, University of Toronto, Canada Tony Clark, Aston University, UK Juan de Lara, Universidad Autonoma de Madrid, Spain Thomas Degueule, CWI Amsterdam, Netherlands Juergen Dingel, Queen's University, Canada Tom Dinkelaker, Ericsson, Germany Sebastian Erdweg, Delft University of Technology, Netherlands Bernd Fischer, Stellenbosch University, South Africa Esther Guerra, Autonomous University of Madrid, Spain Daco Harkes, Delft University of Technology, Netherlands Robert Hirschfeld, University of Potsdam, Germany Michael Homer, Victoria University of Wellington, New Zealand Dimitris Kolovos, University of York, UK Ralf Lämmel, University of Koblenz-Landau, Germany Marjan Mernik, University of Maribor, Slovenia Gunter Mussbacher, McGill University, Canada James Noble, Victoria University of Wellington, New Zealand Bruno Oliveira, University of Hong Kong, China Christoph Reichenbach, Lund University, Sweden Jan Oliver Ringert, University of Leicester, UK Bernhard Rumpe, RWTH Aachen University, Germany Markus Schordan, Lawrence Livermore National Laboratory, USA Anthony Sloane, Macquarie University, Australia Emma Söderberg, Google, Denmark Mark van den Brand, TU Eindhoven, Netherlands Tijs van der Storm, CWI Amsterdam, Netherlands Eelco Visser, Delft University of Technology, Netherlands Eric Walkingshaw, Oregon State University, USA Andreas Wortmann, RWTH Aachen University, Germany Vadim Zaytsev, Rain Code, Belgium --------------------------- Artifact Evaluation Committee (tentative) --------------------------- Arvid Butting, RWTH Aachen University, Germany Luís Eduardo de Souza Amorim, Delft University of Technology, Netherlands Anna Maria Eilertsen, University of Bergen, Norway Abel Gómez, Open University Catalonia, Spain Marcel Heinz, University of Koblenz-Landau, Germany Ludovico Iovino, GSSI, Italy Jesper Öqvist, Lund University, Sweden --------------------------- Contact --------------------------- For additional information, clarification, or answers to questions, please contact the organizers by email: sle2018 at googlegroups.com. -------------- next part -------------- An HTML attachment was scrubbed... URL: From ben at well-typed.com Tue May 29 20:07:23 2018 From: ben at well-typed.com (Ben Gamari) Date: Tue, 29 May 2018 16:07:23 -0400 Subject: [Haskell] [ANNOUNCE] GHC 8.4.3 released Message-ID: <87lgc2kyyx.fsf@smart-cactus.org> Hello everyone, The GHC team is pleased to announce the availability of GHC 8.4.3. The source distribution, binary distributions, and documentation for this release are available at https://downloads.haskell.org/~ghc/8.4.3 This release includes a few bug fixes including: * A code generation bug resulting in crashing of some programs using UnboxedSums has been fixed (#15038). * #14381, where Cabal and GHC would disagree about abi-depends, resulting in build failures, has been worked around. Note that the work-around patch has already been shipped by several distributions in previous releases, so this change may not be visible to you. * By popular demand, GHC now logs a message when it reads a package environment file, hopefully eliminating some of the confusion wrought by this feature. * GHC now emits assembler agreeable to newer versions of Gnu binutils, fixing #15068. * SmallArray#s can now be compacted into a compact region Thanks to everyone who has contributed to developing, documenting, and testing this release! As always, let us know if you encounter trouble. How to get it ~~~~~~~~~~~~~ The easy way is to go to the web page, which should be self-explanatory: http://www.haskell.org/ghc/ We supply binary builds in the native package format for many platforms, and the source distribution is available from the same place. Packages will appear as they are built - if the package for your system isn't available yet, please try again later. Background ~~~~~~~~~~ Haskell is a standardized lazy functional programming language. GHC is a state-of-the-art programming suite for Haskell. Included is an optimising compiler generating efficient code for a variety of platforms, together with an interactive system for convenient, quick development. The distribution includes space and time profiling facilities, a large collection of libraries, and support for various language extensions, including concurrency, exceptions, and foreign language interfaces. GHC is distributed under a BSD-style open source license. A wide variety of Haskell related resources (tutorials, libraries, specifications, documentation, compilers, interpreters, references, contact information, links to research groups) are available from the Haskell home page (see below). On-line GHC-related resources ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ Relevant URLs: GHC home page https://www.haskell.org/ghc/ GHC developers' home page https://ghc.haskell.org/trac/ghc/ Haskell home page https://www.haskell.org/ Supported Platforms ~~~~~~~~~~~~~~~~~~~ The list of platforms we support, and the people responsible for them, is here: https://ghc.haskell.org/trac/ghc/wiki/TeamGHC Ports to other platforms are possible with varying degrees of difficulty. The Building Guide describes how to go about porting to a new platform: https://ghc.haskell.org/trac/ghc/wiki/Building Developers ~~~~~~~~~~ We welcome new contributors. Instructions on accessing our source code repository, and getting started with hacking on GHC, are available from the GHC's developer's site: https://ghc.haskell.org/trac/ghc/ Mailing lists ~~~~~~~~~~~~~ We run mailing lists for GHC users and bug reports; to subscribe, use the web interfaces at https://mail.haskell.org/cgi-bin/mailman/listinfo/glasgow-haskell-users https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-tickets There are several other haskell and ghc-related mailing lists on www.haskell.org; for the full list, see https://mail.haskell.org/cgi-bin/mailman/listinfo Many GHC developers hang out on #haskell on IRC: https://www.haskell.org/haskellwiki/IRC_channel Please report bugs using our bug tracking system. Instructions on reporting bugs can be found here: https://www.haskell.org/ghc/reportabug -------------- next part -------------- A non-text attachment was scrubbed... Name: signature.asc Type: application/pgp-signature Size: 487 bytes Desc: not available URL: