From wim.ectors at uhasselt.be Mon Jul 2 07:32:44 2018 From: wim.ectors at uhasselt.be (Wim Ectors) Date: Mon, 2 Jul 2018 03:32:44 -0400 Subject: [Haskell] [EUSPN-2018] FINAL CFP deadline - Conference on Emerging Ubiquitous Systems and Pervasive Networks. Leuven, Belgium (Nov. 5-8, 2018) Message-ID: ********************************************************************************** The 9th International Conference on Emerging Ubiquitous Systems and Pervasive Networks (EUSPN 2018) Date: November 5-8, 2018 Location: Leuven, Belgium Website: http://cs-conferences.acadiau.ca/euspn-18/ ********************************************************************************** The 9th International Conference on Emerging Ubiquitous Systems and Pervasive Networks (EUSPN) is a premier venue for bringing together multi-disciplinary researchers, professionals and practitioners from both academia and industry, who are engaged in different facets of ubiquitous systems and pervasive networks. The conference encourages innovative research contributions providing the recent significant developments and promising future trends of EUSPN based applications, systems, tools, environments and infrastructures in the fields of EUSPN and related areas. Important Dates: -------------------- - Workshop Proposals: May 28, 2018 - Paper Submission Due: July 16, 2018 (FIRM) - Author Notification: August 8, 2018 - Final Manuscript Due: September 8, 2018 Publication ------------- All EUSPN 2018 accepted papers will be published by Elsevier Science in the open-access Procedia Computer Science series on-line. Procedia Computer Science is hosted by Elsevier on www.Elsevier.com and on Elsevier content platform ScienceDirect (www.sciencedirect.com), and will be freely available worldwide. All papers in Procedia will be indexed by Scopus ( www.scopus.com) and by Thomson Reuters' Conference Proceeding Citation Index (http://thomsonreuters.com/conference-proceedings-citation-index/). All papers in Procedia will also be indexed by Scopus (www.scopus.com) and Engineering Village (Ei) (www.engineeringvillage.com). This includes EI Compendex (www.ei.org/compendex). Moreover, all accepted papers will be indexed in DBLP (http://dblp.uni-trier.de/). The papers will contain linked references, XML versions and citable DOI numbers. Selected papers will be invited for publication, in the special issues of: - International Journal of Ambient Intelligence and Humanized Computing (IF: 1.588), by Springer (http://www.springer.com/engineering/journal/12652) - International Journal of Computing and Informatics (IF: 0.504), ( http://www.cai.sk/ojs/index.php/cai/index) - IEEE Intelligent Transportation Systems Magazine (IF: 3.654), by IEEE ( http://ieeexplore.ieee.org/xpl/RecentIssue.jsp?punumber=5117645) EUSPN 2018 will be held in conjunction with the 8th International Conference on Current and Future Trends of Information and Communication Technologies in Healthcare (ICTH: http://cs-conferences.acadiau.ca/icth-18/). Papers on either completed or ongoing research are invited in the following and related tracks: http://cs-conferences.acadiau.ca/euspn-18/call-for-papers.html EUSPN 2018 will be held in the city of Leuven. Leuven is the capital of the province of Flemish Brabant in Belgium. It is located about 25 kilometres (16 miles) east of Brussels. It is the 10th largest municipality in Belgium and the fourth in Flanders. Leuven is home to the Katholieke Universiteit Leuven, the largest and oldest university of the Low Countries and the oldest Catholic university still in existence. The related university hospital of UZ Leuven, is one of the largest hospitals of Europe. The city is also known for being the headquarters of Anheuser-Busch InBev, the world's largest brewer and one of the five largest consumer-goods companies in the world. The conference venue will be at Park Inn (by Radisson) Hotel (Leuven), which is located right in the heart of the Leuven city. The hotel is less than 2 mins walk from the Leuven train station. All you have to do is to get off the train (or the taxi or the bus) and take the elevator to the bridge connecting the hotel with the rest of the city. Leuven city is directly connected with the Brussels International airport with a 13 min connection via train, 45 mins via bus or a 20 min by taxi (or Uber). Conference Tracks ============ - Ad hoc and Pervasive Networks - Adaptive Systems, Intelligent Computing and Applications - Big Data and Big Data Science - Cloud, Cluster, Grid and Social Computing - Emerging Pervasive/Ubiquitous Technologies - Intelligent Traffic and Transportation Systems - Internet of Things - Mobile Computing and Wireless Communications - Security, Privacy, and Trust - Semantic Web Technologies Committees ======== General Chair Atta Badii, University of Reading, UK Program Chairs Ansar-Ul-Haque Yasar, IMOB, Hasselt University, Belgium Francesco Piccialli, Francesco Piccialli, University of Naples, Federico II, Italy, Italy Advisory Committee Ali Ghorbani, University of New Brunswick, Canada Hossam Hassanein, Queen's University, Canada Vincenzo Loia, University of Salerno, Italy Zakaria Maamar, Zayed University, UAE Makoto Takizawa, Seikei University, Japan Peter Sloot, Netherlands David Taniar, Monash University, Australia Albert Zomaya, The University of Sydney, Australia Workshops Chair Muhammad Adnan, Hasselt University, Belgium Publicity Chairs Monika Davidekova, Comenius University, Slovak Republic Mohamed Guerroumi, USTHB University, Algeria Hasibur Rahman, Stockholm University, Sweden Program Vice Chairs Syed Hassan Ahmed, University of Central Florida, USA Nik Bessis, Edge Hill University, United Kingdom Kechar Bouabdellah, University Of Oran 1 Ahmed Benbella, Algeria Alfredo Cuzzocrea, University of Trieste, Italy Stéphane Galland, Université de Technologie de Belfort-Montbéliard, France Abid Khan, CIIT, Pakistan Yannis Korkontzelos, Edge Hill University, UK Flavio Lombardi, Universita Roma Tre, Italy Euripides Petrakis, Technical University of Crete, Greece Evangelos Pournaras, ETH, Switzerland Michael Sheng, Macquarie University, Australia Stelios Sotiriadis, University of Toronto, Canada Wei Zhang, Macquarie University, Australia Technical Program Committee http://cs-conferences.acadiau.ca/euspn-18/organizing-commitee.html -------------- next part -------------- An HTML attachment was scrubbed... URL: From wim.ectors at uhasselt.be Mon Jul 2 07:33:35 2018 From: wim.ectors at uhasselt.be (Wim Ectors) Date: Mon, 2 Jul 2018 03:33:35 -0400 Subject: [Haskell] [ICTH-2018] FINAL deadline - Conference on Current and Future Trends of Information and Communication Technologies in Healthcare. Leuven, Belgium (Nov. 5-8, 2018) Message-ID: Conference: The 8th International Conference on Current and Future Trends of Information and Communication Technologies in Healthcare Date: November 5-8, 2018 Location: Leuven, Belgium Website: http://cs-conferences.acadiau.ca/icth-18/ ********************************************************************************** Important Dates ------------------ - Workshop Proposals: May 28, 2018 - Paper Submission Due: July 16, 2018 (FIRM) - Author Notification: August 8, 2018 - Final Manuscript Due: September 8, 2018 Publication ------------- All ICTH 2018 accepted papers will be published by Elsevier Science in the open-access Procedia Computer Science series on-line. Procedia Computer Science is hosted by Elsevier on www.Elsevier.com and on Elsevier content platform ScienceDirect (www.sciencedirect.com), and will be freely available worldwide. All papers in Procedia will be indexed by Scopus ( www.scopus.com) and by Thomson Reuters' Conference Proceeding Citation Index (http://thomsonreuters.com/conference-proceedings-citation-index/). All papers in Procedia will also be indexed by Scopus (www.scopus.com) and Engineering Village (Ei) (www.engineeringvillage.com). This includes EI Compendex (www.ei.org/compendex). Moreover, all accepted papers will be indexed in DBLP (http://dblp.uni-trier.de/). The papers will contain linked references, XML versions and citable DOI numbers. Selected papers will be invited for publication, in the special issues of: - International Journal of Ambient Intelligence and Humanized Computing (IF: 1.588), by Springer (http://www.springer.com/engineering/journal/12652) - International Journal of Computing and Informatics (IF: 0.504), ( http://www.cai.sk/ojs/index.php/cai/index) - International Journal of E-Health and Medical Communications, by IGI Global: ( http://www.igi-global.com/journal/international-journal-health-medical-communications/1158) ICTH 2018 will be held in conjunction with the 9th International Conference on Emerging Ubiquitous Systems and Pervasive Networks (EUSN: http://cs-conferences.acadiau.ca/euspn-18/). Papers on either completed or ongoing research are invited in the following and related tracks: http://cs-conferences.acadiau.ca/icth-18/call-for-papers.html ICTH 2018 will be held in the city of Leuven. Leuven is the capital of the province of Flemish Brabant in Belgium. It is located about 25 kilometres (16 miles) east of Brussels. It is the 10th largest municipality in Belgium and the fourth in Flanders. Leuven is home to the Katholieke Universiteit Leuven, the largest and oldest university of the Low Countries and the oldest Catholic university still in existence. The related university hospital of UZ Leuven, is one of the largest hospitals of Europe. The city is also known for being the headquarters of Anheuser-Busch InBev, the world's largest brewer and one of the five largest consumer-goods companies in the world. The conference venue will be at Park Inn (by Radisson) Hotel (Leuven), which is located right in the heart of the Leuven city. The hotel is less than 2 mins walk from the Leuven train station. All you have to do is to get off the train (or the taxi or the bus) and take the elevator to the bridge connecting the hotel with the rest of the city. Leuven city is directly connected with the Brussels International airport with a 13 min connection via train, 45 mins via bus or a 20 min by taxi (or Uber). Topics of interest include, but are not limited to: ------------------------------------------------------ - Ambient Assisted Living for Elderly Care - Ambient Intelligence and Intelligent Service Systems - Analysis and Evaluation of Healthcare Systems - Clinical Data and Knowledge Management - Cloud Computing for Healthcare - Collaboration Technologies for Healthcare - Context-aware Applications for Patient Monitoring and Care - Data mining Techniques and Data Warehouses in Healthcare - Data Visualization - Decision Support Systems in Healthcare - Design and Development Methodologies for Healthcare Systems - Diagnostic and Therapeutic Technologies in Healthcare - Digital Hospitals - Drug Information Systems - E-health & m-health - Electronic Health Records (EHR) & Personal Health Records (PHR) - Evidence Based Medicine (EBM) - Healthgrids - Health Portals - Information and Knowledge Processing in Healthcare Environments - Middleware Support for Smart Homes and Intelligent Applications - Quantified Self for Pervasive Healthcare - Privacy, Confidentiality and Security Issues in Healthcare Systems - Related Real World Experimentations and Case Studies in Healthcare - RFID Solutions for Healthcare - Smart Homes and Home Care Intelligent Environments - Telemedicine and Health Telematics - Ubiquitous and Pervasive Computing in Healthcare - Usability & Socio Technical studies - User Interface Design for Healthcare Applications - Virtual and Augmented Reality in Healthcare - Virtual Environments for Healthcare Committees ------------- General Chair Heiko Gewald, The Neu-Ulm University of Applied, Germany Joel J. P. C. Rodrigues, National Institute of Telecommunications (Inatel), Brazil Program Chairs Haroon Malik, Marshall University, USA Ansar-Ul-Haque Yasar, IMOB, Hasselt University, Belgium Workshops Chairs Wael M. El-Medany, University of Bahrain, Bahrain Naba Haque, KellyOCG, Belgium International Journals Chair Bin Guo, Northwestern Polytechnical University, China Publicity Chairs Wim Ectors, IMOB, Hasselt University, Belgium Al-Sakib Khan Pathan,Southeast University, Bangladesh Technical Program Committee  http://cs-conferences.acadiau.ca/icth-18/program-committees.html Steering Committee Chair  Elhadi Shakshuki, Acadia University, Canada Advisory Committee Sergio Camorlinga, Head eHealth Research, TRLabs, Canada Kevin Daimi, University of Detroit Mercy, USA Finn Kensing, University of Copenhagen, Denmark Francesco Princiroli, Politecnico di Milano, Italy Abdul Roudsari, University of Victoria, Canada -------------- next part -------------- An HTML attachment was scrubbed... URL: From mail at joachim-breitner.de Mon Jul 2 17:40:33 2018 From: mail at joachim-breitner.de (Joachim Breitner) Date: Mon, 02 Jul 2018 13:40:33 -0400 Subject: [Haskell] 2nd Call for Talks -- Haskell Implementors' Workshop Message-ID: Call for Contributions ACM SIGPLAN Haskell Implementors’ Workshop https://icfp18.sigplan.org/track/hiw-2018-papers Co-located with ICFP 2018 St. Louis, Missouri, US https://conf.researchr.org/home/icfp-2018 Important dates --------------- Proposal Deadline: Friday, 20 July, 2018 Notification: Friday, 3 August, 2018 Workshop: Sunday, 23 September, 2018 Keynote speaker --------------- This year, the Haskell Implementors’ Workshop is proud to present Rahul Muttineni as the keynote speaker. Rahul brough the joys of Haskell to the realm of Java by creating the Eta programming language. Title: Let's Go Mainstream with Eta! Eta is a fork of GHC that focuses on three core principles: user experience, performance, and safety. We'll discuss how we used these principles to guide the re-implementation of the GHC runtime and code generator on the JVM. Moreover, will also cover the inner workings of the FFI and the typechecker support we added for subtyping to make it smooth to interact with Java libraries. Finally, we'll round out with a look at where Eta is headed and how Eta and GHC can collaborate in the future. About the Haskell Implementors’ Workshop ---------------------------------------- The 10th Haskell Implementors’ Workshop is to be held alongside ICFP 2018 this year in St. Louis. It is a forum for people involved in the design and development of Haskell implementations, tools, libraries, and supporting infrastructure, to share their work and discuss future directions and collaborations with others. Talks and/or demos are proposed by submitting an abstract, and selected by a small program committee. There will be no published proceedings. The workshop will be informal and interactive, with open spaces in the timetable and room for ad-hoc discussion, demos and lightning talks. Scope and Target Audience ------------------------- It is important to distinguish the Haskell Implementors’ Workshop from the Haskell Symposium which is also co-located with ICFP 2018. The Haskell Symposium is for the publication of Haskell-related research. In contrast, the Haskell Implementors’ Workshop will have no proceedings – although we will aim to make talk videos, slides and presented data available with the consent of the speakers. The Implementors’ Workshop is an ideal place to describe a Haskell extension, describe works-in-progress, demo a new Haskell-related tool, or even propose future lines of Haskell development. Members of the wider Haskell community encouraged to attend the workshop – we need your feedback to keep the Haskell ecosystem thriving. Students working with Haskell are specially encouraged to share their work. The scope covers any of the following topics. There may be some topics that people feel we’ve missed, so by all means submit a proposal even if it doesn’t fit exactly into one of these buckets: * Compilation techniques * Language features and extensions * Type system implementation * Concurrency and parallelism: language design and implementation * Performance, optimisation and benchmarking * Virtual machines and run-time systems * Libraries and tools for development or deployment Talks ----- We invite proposals from potential speakers for talks and demonstrations. We are aiming for 20-minute talks with 5 minutes for questions and changeovers. We want to hear from people writing compilers, tools, or libraries, people with cool ideas for directions in which we should take the platform, proposals for new features to be implemented, and half-baked crazy ideas. Please submit a talk title and abstract of no more than 300 words. Submissions can be made via HotCRP at https://icfp-hiw18.hotcrp.com/ until July 20th (anywhere on earth). We will also have lightning talks session. These have been very well received in recent years, and we aim to increase the time available to them. Lightning talks be ~7mins and are scheduled on the day of the workshop. Suggested topics for lightning talks are to present a single idea, a work-in-progress project, a problem to intrigue and perplex Haskell implementors, or simply to ask for feedback and collaborators. Program Committee ----------------- * Edwin Brady (University of St. Andrews, UK) * Joachim Breitner – chair (University of Pennsylvania) * Ben Gamari (Well-Typed LLP) * Michael Hanus (Kiel University) * Roman Leshchinsky (Facebook) * Niki Vazou (University of Maryland) Contact ------- * Joachim Breitner -- Joachim Breitner Post-Doctoral researcher http://cis.upenn.edu/~joachim From pomarien at gmail.com Tue Jul 3 03:58:14 2018 From: pomarien at gmail.com (Samir ouchani) Date: Tue, 3 Jul 2018 05:58:14 +0200 Subject: [Haskell] CYBER PHYSICAL PRODUCTION SYSTEMS: THEORY AND PRACTICES (CPPS-2018) Message-ID: *CYBER PHYSICAL PRODUCTION SYSTEMS: THEORY AND PRACTICES (CPPS-2018)* *November 5-8, 2018, Leuven, Belgium* *Organized by:* CESI Research/LINEACT CESI High Engineering School *Aims:* Industry 4.0 is the new generation of manufacturing systems called Cyber-Physical Production Systems (CPPS) that are able to face the current economic and societal challenges. Its implementation is based on a set of new manufacturing technologies (IoT and Industrial IoT, Robotics and Cobotics, Augmented/Virtual Reality, Additive Manufacturing, Cloud Manufacturing …), data collection, storage and analysis, and digital twin (Digital Factory, Simulation and Decision Tools …). In general, CPPS are complex due to the composition and the combination of the system’s components: digital, software, and physical elements. The physical parts are connected to a network, which is controlled by software components or, sometimes, manually. Examples of such systems can be found in manufactories, avionics, automotive systems, nuclear power plants, etc. Interoperability, safety, reliability, maintenance and security aspects of CPPS is challenging due to the inherent complexity of CPPS. Moreover, it is not sufficient to ascertain one aspect of the individual components in isolation: faults and threats in CPPS systems could also be due to the interaction between the physical, digital and software parts of CPPS. Therefore, the system must be studied as a whole, which sets this emerging discipline apart from these individually established fields. CPPS-2018 event provides a platform for professionals from academia, government, and industry to discuss how to address the increasing the issues challenges facing CPPS. *Scope:* CPPS-2018 invites submissions discussing the employment of data-driven, model-based, and statistical approaches in CPPS. Topics of either theoretical, empirical or applied interest include, but are not limited to: • CPPS Modeling (forma, semi-formal, UML, SysML, ADAAL, etc). • Formal methods for CPPS (abstraction, compositional verification, model checking, theorem proving, simulation, testing, etc) • Decision making process in CPPS • IoT architecture and protocol for CPPS • Design safe, reliable, and secure CPPS • Data collection, extraction and analysis in CPPS • Safety, reliability, and Risk analysis techniques for CPPS • Threat modeling for CPPS • Security requirements specification, Security policies and access control for CPPS • Human aspects and robot interactions in CPPS • Case studies, tools, and experimental results for CPPS *Program committee (Initial list):* • Abdelaziz Khaled (GeantSoft, Fr) • Abdelwahab Hamou-Lhadj (Concordia Unversity, CA) • Amel Bennaceur (The Open University,UK) • Antoine Rollet (University of Bordeaux, Fr) • Baudry David (CESI / LINEACT, Fr) • Bouziane Brik (University of Laghouat, Dz) • Flavio Oquendo (IRISA (UMR CNRS) – Univ. Bretagne-Sud (UBS), Fr) • GilesReger (The University of Manchester, UK) • Hao Wu National (University of Ireland, Ir) • Khadidja Chaib’Draa (University of Luxembourg, Lu) • Łukasz Czajka (University of Copenhagen , Dk) • Philippe Palanque (ICS-IRIT, University Toulouse 3, Fr) • Samiha Ayed (Telecom Bretagne,Fr) • Thierry Lecomte (ClearSy, Fr) *Organizing committee:* • Garcia David (CESI / LINEACT, Fr) • Messaadia Mourad (CESI / LINEACT, Fr) • Ouchani Samir (*PC Chair**,* CESI / LINEACT, Fr) • Sghaier Nouha (CESI / LINEACT, Fr) • Sahnoun M’Hammed (CESI / LINEACT, Fr) *Important dates * • Paper Submission: September 1, 2018 • Notification: October 01, 2018 • Camera-ready: October 12, 2018 *Submissions & Publications:* Authors are invited to submit non-anonymized papers in English presenting original and unpublished research. At least one author of each accepted paper will be required to present the work at the workshop. All papers accepted for the workshop will be included in the EUSPN-2018 proceedings and published by Elsevier. The authors must follow Elsevier guidelines provided at EUSPN-2018 website. The number of pages for workshop papers is limited to 6 pages. Selected outstanding papers presented at the workshop, after further revision, will be considered for publication in special issues of selected journals. Authors should submit their contributions here , electronically in PDF format. Submit your workshop papers here -------------- next part -------------- An HTML attachment was scrubbed... URL: From sabel at ki.informatik.uni-frankfurt.de Fri Jul 6 15:25:18 2018 From: sabel at ki.informatik.uni-frankfurt.de (David Sabel) Date: Fri, 6 Jul 2018 17:25:18 +0200 Subject: [Haskell] PPDP 2018: Call for Participation Message-ID: <174ebaf9-e874-0592-56f0-a0b7d828a7ab@ki.informatik.uni-frankfurt.de> ======================================================================                 PPDP 2018: Call for Participation ======================================================================                  20th International Symposium on         Principles and Practice of Declarative Programming          Frankfurt am Main, Germany, 3-5 September 2018 http://ppdp-lopstr-18.cs.uni-frankfurt.de/ppdp18.html             (co-located with LOPSTR 2018 and WFLP 2018)              http://ppdp-lopstr-18.cs.uni-frankfurt.de ====================================================================== Registration ============  http://www.ppdp-lopstr-18.cs.uni-frankfurt.de/#registration  Early registration ends on 15 August, 2018. Session in Honour of Martin Hofmann =================================== PPDP will include a session in honour of Martin Hofmann including a talk given by Nick Benton, Facebook on Semantic Equivalence Checking for HHVM Bytecode Invited Talks ============= -   Philippa Gardner, Imperial College.     Testing and Verification for JavaScript (joint with LOPSTR) -   Jorge Navas, SRI International.     Constrained Horn Clauses for Verification (joint with LOPSTR) -   Chung-Chieh Shan, University of Indiana.     Calculating Distributions Accepted Papers =============== -   Maciej Bendkowski and Pierre Lescanne.     Combinatorics of explicit substitutions -   Manfred Schmidt-Schauss, David Sabel and Nils Dallmeyer.     Sequential and Parallel Improvements in a Concurrent Functional Programming Language -   Magnus Madsen and Ondrej Lhotak.     Implicit Parameters for Logic Programming -   Mistral Contrastin, Dominic Orchard and Andrew Rice.     Automatic reordering for dataflow safety of Datalog -   Danil Annenkov and Martin Elsman.     Certified Compilation of Financial Contracts -   José Fragoso Santos, Petar Maksimović, Théotime Grohens, Julian Dolby and Philippa Gardner.     Cosette: Symbolic Execution for JavaScript -   Michael Hanus.     Verifying Fail-Free Declarative Programs -   Dmitri Rozplokhas and Dmitry Boulytchev.     Improving Refutational Completeness of Relational Search via Divergence Test -   Martin Sulzmann and Kai Stadtmüller.     Two-Phase Dynamic Analysis of Message-Passing Go Programs based on Vector Clocks -   Sylvia Grewe, Sebastian Erdweg, André Pacak and Mira Mezini.     An Infrastructure for Combining Domain Knowledge with Automated Theorem Provers -   Gopalan Nadathur and Yuting Wang.     Schematic Polymorphism in the Abella Proof Assistant -   Stephan Adelsberger, Anton Setzer and Eric Walkingshaw.     Declarative GUIs: Simple, Consistent, and Verified -   Genki Sakanashi and Masahiko Sakai.     Transformation of combinatorial optimization problems written in extended SQL into constraint problems -   Yuki Nishida and Atsushi Igarashi.     Nondeterministic Manifest Contracts -   Alberto Pardo, Emmanuel Gunther, Miguel Pagano and Marcos Viera.     An Internalist Approach to Correct-by-Construction Compilers -   Falco Nogatz, Jona Kalkus and Dietmar Seipel.     Web-based Visualisation for Definite Clause Grammars using Prolog Meta-Interpreters -   Helmut Seidl and Ralf Vogler.     Three improvements to the top-down solver -   Flavien Breuvart and Ugo Dal Lago.     On Intersection Types and Probabilistic Lambda Calculi -   Taku Terao.     Lazy Abstraction for Higher-Order Program Verification -   Maximiliano Klemen, Nataliia Stulova, Pedro Lopez-Garcia, Jose F. Morales and Manuel V. Hermenegildo.     Static Performance Guarantees for Programs with Run-time Checks -   Abhishek Dang and Piyush Kurur.     Verse: An EDSL for cryptographic primitives -   Pablo Barenbaum, Eduardo Bonelli and Kareem Mohamed.     Pattern Matching and Fixed Points: Resources Types and Strong Call-By-Need Sponsors ========  PPDP is financially supported by the  Deutsche Forschungsgemeinschaft (DFG, German Research Foundation) - 407531063,  and by the Goethe-University Frankfurt am Main. Conference Organisers =====================  Program Committee    See http://www.ppdp-lopstr-18.cs.uni-frankfurt.de/ppdp18.html#pc  Program Chair    Peter Thiemann, Universität Freiburg, Germany  Organizing Committee (Goethe-University Frankfurt am Main, Germany)     Ehud Cseresnyes     Nils Dallmeyer     Bircan Dölek     Ronja Düffel     Lars Huth     Leonard Priester     David Sabel (General Chair) From brucker at spamfence.net Sun Jul 8 17:22:25 2018 From: brucker at spamfence.net (Achim D. Brucker) Date: Sun, 8 Jul 2018 18:22:25 +0100 Subject: [Haskell] Call for paper: Only one *week* left to prepare your paper for the Workshop in OCL and Textual Modeling (OCL 2018) Message-ID: <20180708172225.ihe2rcxflyhqn3uo@kandagawa.home.brucker.ch> (Apologies for duplicates) ********************************************************** ** Only one week left until the submission deadline! *** ********************************************************** 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, 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 -- Dr. Achim D. Brucker | Software Assurance & Security | University of Sheffield https://www.brucker.ch | https://logicalhacking.com/blog @adbrucker | @logicalhacking From gershomb at gmail.com Mon Jul 9 16:19:01 2018 From: gershomb at gmail.com (Gershom B) Date: Mon, 9 Jul 2018 17:19:01 +0100 Subject: [Haskell] Announce: Haskell Platform 8.4.3 In-Reply-To: References: Message-ID: As a brief followup, new 8.4.3 installers for windows have been released (both core and full), which resolve a few issues brought about by the switch to automatic modification of "extra-prog-path" and related, and the corresponding hashes have been updated. Best, Gershom On Tue, Jun 12, 2018 at 7:27 AM Gershom B wrote: > > On behalf of the Haskell Platform team, I'm happy to announce the release of > > Haskell Platform 8.4.3 > > Now available at > > https://www.haskell.org/platform/ > > This includes GHC 8.4.3, cabal-install 2.2.0.0, and stack 1.7.1. > > A full list of contents is available at > https://www.haskell.org/platform/contents.html > > Outside of the update of the GHC to 8.4.3, the only substantive change > in this release is to the new version of the primitive library, which > includes a range of fixes and improvements. > > The list of GHC changes is available at: > https://ghc.haskell.org/trac/ghc/blog/ghc-8.4.3-released > > And the list of changes to Primitive is available at: > http://hackage.haskell.org/package/primitive-0.6.4.0/changelog > > 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. > > Happy Haskell Hacking all, > Gershom From wim.ectors at uhasselt.be Tue Jul 10 12:21:52 2018 From: wim.ectors at uhasselt.be (Wim Ectors) Date: Tue, 10 Jul 2018 05:21:52 -0700 Subject: [Haskell] [ICTH-2018] FINAL deadline approaching - Conference on Current and Future Trends of Information and Communication Technologies in Healthcare. Leuven, Belgium (Nov. 5-8, 2018) Message-ID: Conference: The 8th International Conference on Current and Future Trends of Information and Communication Technologies in Healthcare Date: November 5-8, 2018 Location: Leuven, Belgium Website: http://cs-conferences.acadiau.ca/icth-18/ ********************************************************************************** Important Dates ------------------ - Workshop Proposals: May 28, 2018 - Paper Submission Due: July 16, 2018 (FIRM) - Author Notification: August 8, 2018 - Final Manuscript Due: September 8, 2018 Publication ------------- All ICTH 2018 accepted papers will be published by Elsevier Science in the open-access Procedia Computer Science series on-line. Procedia Computer Science is hosted by Elsevier on www.Elsevier.com and on Elsevier content platform ScienceDirect (www.sciencedirect.com), and will be freely available worldwide. All papers in Procedia will be indexed by Scopus ( www.scopus.com) and by Thomson Reuters' Conference Proceeding Citation Index (http://thomsonreuters.com/conference-proceedings-citation-index/). All papers in Procedia will also be indexed by Scopus (www.scopus.com) and Engineering Village (Ei) (www.engineeringvillage.com). This includes EI Compendex (www.ei.org/compendex). Moreover, all accepted papers will be indexed in DBLP (http://dblp.uni-trier.de/). The papers will contain linked references, XML versions and citable DOI numbers. Selected papers will be invited for publication, in the special issues of: - International Journal of Ambient Intelligence and Humanized Computing (IF: 1.588), by Springer (http://www.springer.com/engineering/journal/12652) - International Journal of Computing and Informatics (IF: 0.504), ( http://www.cai.sk/ojs/index.php/cai/index) - International Journal of E-Health and Medical Communications, by IGI Global: ( http://www.igi-global.com/journal/international-journal-health-medical-communications/1158) ICTH 2018 will be held in conjunction with the 9th International Conference on Emerging Ubiquitous Systems and Pervasive Networks (EUSN: http://cs-conferences.acadiau.ca/euspn-18/). Papers on either completed or ongoing research are invited in the following and related tracks: http://cs-conferences.acadiau.ca/icth-18/call-for-papers.html ICTH 2018 will be held in the city of Leuven. Leuven is the capital of the province of Flemish Brabant in Belgium. It is located about 25 kilometres (16 miles) east of Brussels. It is the 10th largest municipality in Belgium and the fourth in Flanders. Leuven is home to the Katholieke Universiteit Leuven, the largest and oldest university of the Low Countries and the oldest Catholic university still in existence. The related university hospital of UZ Leuven, is one of the largest hospitals of Europe. The city is also known for being the headquarters of Anheuser-Busch InBev, the world's largest brewer and one of the five largest consumer-goods companies in the world. The conference venue will be at Park Inn (by Radisson) Hotel (Leuven), which is located right in the heart of the Leuven city. The hotel is less than 2 mins walk from the Leuven train station. All you have to do is to get off the train (or the taxi or the bus) and take the elevator to the bridge connecting the hotel with the rest of the city. Leuven city is directly connected with the Brussels International airport with a 13 min connection via train, 45 mins via bus or a 20 min by taxi (or Uber). Topics of interest include, but are not limited to: ------------------------------------------------------ - Ambient Assisted Living for Elderly Care - Ambient Intelligence and Intelligent Service Systems - Analysis and Evaluation of Healthcare Systems - Clinical Data and Knowledge Management - Cloud Computing for Healthcare - Collaboration Technologies for Healthcare - Context-aware Applications for Patient Monitoring and Care - Data mining Techniques and Data Warehouses in Healthcare - Data Visualization - Decision Support Systems in Healthcare - Design and Development Methodologies for Healthcare Systems - Diagnostic and Therapeutic Technologies in Healthcare - Digital Hospitals - Drug Information Systems - E-health & m-health - Electronic Health Records (EHR) & Personal Health Records (PHR) - Evidence Based Medicine (EBM) - Healthgrids - Health Portals - Information and Knowledge Processing in Healthcare Environments - Middleware Support for Smart Homes and Intelligent Applications - Quantified Self for Pervasive Healthcare - Privacy, Confidentiality and Security Issues in Healthcare Systems - Related Real World Experimentations and Case Studies in Healthcare - RFID Solutions for Healthcare - Smart Homes and Home Care Intelligent Environments - Telemedicine and Health Telematics - Ubiquitous and Pervasive Computing in Healthcare - Usability & Socio Technical studies - User Interface Design for Healthcare Applications - Virtual and Augmented Reality in Healthcare - Virtual Environments for Healthcare Committees ------------- General Chair Heiko Gewald, The Neu-Ulm University of Applied, Germany Joel J. P. C. Rodrigues, National Institute of Telecommunications (Inatel), Brazil Program Chairs Haroon Malik, Marshall University, USA Ansar-Ul-Haque Yasar, IMOB, Hasselt University, Belgium Workshops Chairs Wael M. El-Medany, University of Bahrain, Bahrain Naba Haque, KellyOCG, Belgium International Journals Chair Bin Guo, Northwestern Polytechnical University, China Publicity Chairs Wim Ectors, IMOB, Hasselt University, Belgium Al-Sakib Khan Pathan,Southeast University, Bangladesh Technical Program Committee  http://cs-conferences.acadiau.ca/icth-18/program-committees.html Steering Committee Chair  Elhadi Shakshuki, Acadia University, Canada Advisory Committee Sergio Camorlinga, Head eHealth Research, TRLabs, Canada Kevin Daimi, University of Detroit Mercy, USA Finn Kensing, University of Copenhagen, Denmark Francesco Princiroli, Politecnico di Milano, Italy Abdul Roudsari, University of Victoria, Canada -------------- next part -------------- An HTML attachment was scrubbed... URL: From wim.ectors at uhasselt.be Tue Jul 10 12:24:24 2018 From: wim.ectors at uhasselt.be (Wim Ectors) Date: Tue, 10 Jul 2018 05:24:24 -0700 Subject: [Haskell] [EUSPN-2018] FINAL deadline approaching - Conference on Emerging Ubiquitous Systems and Pervasive Networks. Leuven, Belgium (Nov. 5-8, 2018) Message-ID: ********************************************************************************** The 9th International Conference on Emerging Ubiquitous Systems and Pervasive Networks (EUSPN 2018) Date: November 5-8, 2018 Location: Leuven, Belgium Website: http://cs-conferences.acadiau.ca/euspn-18/ ********************************************************************************** The 9th International Conference on Emerging Ubiquitous Systems and Pervasive Networks (EUSPN) is a premier venue for bringing together multi-disciplinary researchers, professionals and practitioners from both academia and industry, who are engaged in different facets of ubiquitous systems and pervasive networks. The conference encourages innovative research contributions providing the recent significant developments and promising future trends of EUSPN based applications, systems, tools, environments and infrastructures in the fields of EUSPN and related areas. Important Dates: -------------------- - Workshop Proposals: May 28, 2018 - Paper Submission Due: July 16, 2018 (FIRM) - Author Notification: August 8, 2018 - Final Manuscript Due: September 8, 2018 Publication ------------- All EUSPN 2018 accepted papers will be published by Elsevier Science in the open-access Procedia Computer Science series on-line. Procedia Computer Science is hosted by Elsevier on www.Elsevier.com and on Elsevier content platform ScienceDirect (www.sciencedirect.com), and will be freely available worldwide. All papers in Procedia will be indexed by Scopus ( www.scopus.com) and by Thomson Reuters' Conference Proceeding Citation Index (http://thomsonreuters.com/conference-proceedings-citation-index/). All papers in Procedia will also be indexed by Scopus (www.scopus.com) and Engineering Village (Ei) (www.engineeringvillage.com). This includes EI Compendex (www.ei.org/compendex). Moreover, all accepted papers will be indexed in DBLP (http://dblp.uni-trier.de/). The papers will contain linked references, XML versions and citable DOI numbers. Selected papers will be invited for publication, in the special issues of: - International Journal of Ambient Intelligence and Humanized Computing (IF: 1.588), by Springer (http://www.springer.com/engineering/journal/12652) - International Journal of Computing and Informatics (IF: 0.504), ( http://www.cai.sk/ojs/index.php/cai/index) - IEEE Intelligent Transportation Systems Magazine (IF: 3.654), by IEEE ( http://ieeexplore.ieee.org/xpl/RecentIssue.jsp?punumber=5117645) EUSPN 2018 will be held in conjunction with the 8th International Conference on Current and Future Trends of Information and Communication Technologies in Healthcare (ICTH: http://cs-conferences.acadiau.ca/icth-18/). Papers on either completed or ongoing research are invited in the following and related tracks: http://cs-conferences.acadiau.ca/euspn-18/call-for-papers.html EUSPN 2018 will be held in the city of Leuven. Leuven is the capital of the province of Flemish Brabant in Belgium. It is located about 25 kilometres (16 miles) east of Brussels. It is the 10th largest municipality in Belgium and the fourth in Flanders. Leuven is home to the Katholieke Universiteit Leuven, the largest and oldest university of the Low Countries and the oldest Catholic university still in existence. The related university hospital of UZ Leuven, is one of the largest hospitals of Europe. The city is also known for being the headquarters of Anheuser-Busch InBev, the world's largest brewer and one of the five largest consumer-goods companies in the world. The conference venue will be at Park Inn (by Radisson) Hotel (Leuven), which is located right in the heart of the Leuven city. The hotel is less than 2 mins walk from the Leuven train station. All you have to do is to get off the train (or the taxi or the bus) and take the elevator to the bridge connecting the hotel with the rest of the city. Leuven city is directly connected with the Brussels International airport with a 13 min connection via train, 45 mins via bus or a 20 min by taxi (or Uber). Conference Tracks ============ - Ad hoc and Pervasive Networks - Adaptive Systems, Intelligent Computing and Applications - Big Data and Big Data Science - Cloud, Cluster, Grid and Social Computing - Emerging Pervasive/Ubiquitous Technologies - Intelligent Traffic and Transportation Systems - Internet of Things - Mobile Computing and Wireless Communications - Security, Privacy, and Trust - Semantic Web Technologies Committees ======== General Chair Atta Badii, University of Reading, UK Program Chairs Ansar-Ul-Haque Yasar, IMOB, Hasselt University, Belgium Francesco Piccialli, Francesco Piccialli, University of Naples, Federico II, Italy, Italy Advisory Committee Ali Ghorbani, University of New Brunswick, Canada Hossam Hassanein, Queen's University, Canada Vincenzo Loia, University of Salerno, Italy Zakaria Maamar, Zayed University, UAE Makoto Takizawa, Seikei University, Japan Peter Sloot, Netherlands David Taniar, Monash University, Australia Albert Zomaya, The University of Sydney, Australia Workshops Chair Muhammad Adnan, Hasselt University, Belgium Publicity Chairs Monika Davidekova, Comenius University, Slovak Republic Mohamed Guerroumi, USTHB University, Algeria Hasibur Rahman, Stockholm University, Sweden Program Vice Chairs Syed Hassan Ahmed, University of Central Florida, USA Nik Bessis, Edge Hill University, United Kingdom Kechar Bouabdellah, University Of Oran 1 Ahmed Benbella, Algeria Alfredo Cuzzocrea, University of Trieste, Italy Stéphane Galland, Université de Technologie de Belfort-Montbéliard, France Abid Khan, CIIT, Pakistan Yannis Korkontzelos, Edge Hill University, UK Flavio Lombardi, Universita Roma Tre, Italy Euripides Petrakis, Technical University of Crete, Greece Evangelos Pournaras, ETH, Switzerland Michael Sheng, Macquarie University, Australia Stelios Sotiriadis, University of Toronto, Canada Wei Zhang, Macquarie University, Australia Technical Program Committee http://cs-conferences.acadiau.ca/euspn-18/organizing-commitee.html -------------- next part -------------- An HTML attachment was scrubbed... URL: From publicityifl at gmail.com Thu Jul 12 12:25:49 2018 From: publicityifl at gmail.com (Jurriaan Hage) Date: Thu, 12 Jul 2018 05:25:49 -0700 Subject: [Haskell] LAST CALL for draft papers for presentation at IFL 2018 (deadline this week) Message-ID: Hello, Please, find below the last call for draft papers for presentation 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 --- Call for Draft papers for presentations ============================================================ ==================== 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 [PASSED!] Submission of draft papers: July 17, 2018 [UPCOMING!] 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 mail at joachim-breitner.de Sat Jul 14 19:03:41 2018 From: mail at joachim-breitner.de (Joachim Breitner) Date: Sat, 14 Jul 2018 15:03:41 -0400 Subject: [Haskell] Request for Nominations to the GHC Steering Committee Message-ID: <4fcd78fed019414a0b90884c4b72f42aa09aa6ea.camel@joachim-breitner.de> Dear Haskell community, the GHC Steering committee is seeking nominations for a new member. The committee scrutinizes, nitpicks, improves, weights and eventually accepts or rejects proposals that extend or change the language supported by GHC and other (public-facing) aspects of GHC. Our processes are described at https://github.com/ghc-proposals/ghc-proposals which is also the GitHub repository where proposals are proposed. We are looking for a member who has the ability * to understand such language extension proposals, * to find holes and missing corner cases in the specifications, * foresee the interaction with other language features and specifications, * comment constructively and improve the proposals, * judge the cost/benefit ratio and * finally come to a justifiable conclusion. We look for committee members who have some of these properties: * have substantial experience in writing Haskell applications or libraries, which they can use to inform judgements about the utility or otherwise of proposed features, * have made active contributions to the Haskell community, for some time, * have expertise in language design and implementation, in either Haskell or related languages, which they can share with us. The committee’s work requires a small, but non-trivial amount of time, especially when you are assigned a proposal for shepherding. We estimate the workload to be around 2 hours per week, and our process works best if members usually respond to technical emails within 1-2 weeks (within days is even better). Please keep that in mind if your email inbox is already overflowing. The GHC developers themselves are already well represented already. We seek Haskell _users_ more than GHC hackers. There is no shortage of people who are very eager to get fancy new features into the language, both in the committee and the wider community. But each new feature imposes a cost, to implement, to learn, (particularly) through its unexpected interaction with other features. We need to strike a balance, one that encourages innovation (as GHC always has) while still making Haskell attractive for real-world production use and for teaching. We therefore explicitly invite “conservative” members of the community to join the committee. To make a nomination, please send an email to me (as the committee secretary) at mail at joachim-breitner.de until July 23th. I will distribute the nominations among the committee, and we will keep the nominations and our deliberations private. We explicitly encourage self-nominations. You can nominate others, but please obtain their explicit consent to do so. (We don’t want to choose someone who turns out to be unable to serve.) On behalf of the committee, Joachim Breitner -- Joachim Breitner mail at joachim-breitner.de http://www.joachim-breitner.de/ -------------- next part -------------- A non-text attachment was scrubbed... Name: signature.asc Type: application/pgp-signature Size: 833 bytes Desc: This is a digitally signed message part URL: From brucker at spamfence.net Mon Jul 16 19:26:32 2018 From: brucker at spamfence.net (Achim D. Brucker) Date: Mon, 16 Jul 2018 22:26:32 +0300 Subject: [Haskell] Deadline Extension: Workshop in OCL and Textual Modeling (OCL 2018) Message-ID: <20180716192632.yrkvqkarshct7m7y@kandagawa.home.brucker.ch> (Apologies for duplicates) ********************************************************** ** Deadline Extension: new deadline 24th of July 2018 * ********************************************************** 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, 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 24, 2018 (extended) - Notification: August 17, 2018 - Workshop date: October 14, 2018 -- Dr. Achim D. Brucker | Software Assurance & Security | University of Sheffield https://www.brucker.ch | https://logicalhacking.com/blog @adbrucker | @logicalhacking From mail at joachim-breitner.de Mon Jul 16 23:29:28 2018 From: mail at joachim-breitner.de (Joachim Breitner) Date: Mon, 16 Jul 2018 19:29:28 -0400 Subject: [Haskell] Final Call for Talks -- Haskell Implementors' Workshop Message-ID: <77ede8a4f375a26cb04a87bd73bc06a840a27c77.camel@joachim-breitner.de> Call for Contributions ACM SIGPLAN Haskell Implementors’ Workshop https://icfp18.sigplan.org/track/hiw-2018-papers Co-located with ICFP 2018 St. Louis, Missouri, US https://conf.researchr.org/home/icfp-2018 Important dates --------------- Proposal Deadline: Friday, 20 July, 2018 Notification: Friday, 3 August, 2018 Workshop: Sunday, 23 September, 2018 Keynote speaker --------------- This year, the Haskell Implementors’ Workshop is proud to present Rahul Muttineni as the keynote speaker. Rahul brough the joys of Haskell to the realm of Java by creating the Eta programming language. Title: Let's Go Mainstream with Eta! Eta is a fork of GHC that focuses on three core principles: user experience, performance, and safety. We'll discuss how we used these principles to guide the re-implementation of the GHC runtime and code generator on the JVM. Moreover, will also cover the inner workings of the FFI and the typechecker support we added for subtyping to make it smooth to interact with Java libraries. Finally, we'll round out with a look at where Eta is headed and how Eta and GHC can collaborate in the future. About the Haskell Implementors’ Workshop ---------------------------------------- The 10th Haskell Implementors’ Workshop is to be held alongside ICFP 2018 this year in St. Louis. It is a forum for people involved in the design and development of Haskell implementations, tools, libraries, and supporting infrastructure, to share their work and discuss future directions and collaborations with others. Talks and/or demos are proposed by submitting an abstract, and selected by a small program committee. There will be no published proceedings. The workshop will be informal and interactive, with open spaces in the timetable and room for ad-hoc discussion, demos and lightning talks. Scope and Target Audience ------------------------- It is important to distinguish the Haskell Implementors’ Workshop from the Haskell Symposium which is also co-located with ICFP 2018. The Haskell Symposium is for the publication of Haskell-related research. In contrast, the Haskell Implementors’ Workshop will have no proceedings – although we will aim to make talk videos, slides and presented data available with the consent of the speakers. The Implementors’ Workshop is an ideal place to describe a Haskell extension, describe works-in-progress, demo a new Haskell-related tool, or even propose future lines of Haskell development. Members of the wider Haskell community encouraged to attend the workshop – we need your feedback to keep the Haskell ecosystem thriving. Students working with Haskell are specially encouraged to share their work. The scope covers any of the following topics. There may be some topics that people feel we’ve missed, so by all means submit a proposal even if it doesn’t fit exactly into one of these buckets: * Compilation techniques * Language features and extensions * Type system implementation * Concurrency and parallelism: language design and implementation * Performance, optimisation and benchmarking * Virtual machines and run-time systems * Libraries and tools for development or deployment Talks ----- We invite proposals from potential speakers for talks and demonstrations. We are aiming for 20-minute talks with 5 minutes for questions and changeovers. We want to hear from people writing compilers, tools, or libraries, people with cool ideas for directions in which we should take the platform, proposals for new features to be implemented, and half-baked crazy ideas. Please submit a talk title and abstract of no more than 300 words. Submissions can be made via HotCRP at https://icfp-hiw18.hotcrp.com/ until July 20th (anywhere on earth). We will also have lightning talks session. These have been very well received in recent years, and we aim to increase the time available to them. Lightning talks be ~7mins and are scheduled on the day of the workshop. Suggested topics for lightning talks are to present a single idea, a work-in-progress project, a problem to intrigue and perplex Haskell implementors, or simply to ask for feedback and collaborators. Program Committee ----------------- * Edwin Brady (University of St. Andrews, UK) * Joachim Breitner – chair (University of Pennsylvania) * Ben Gamari (Well-Typed LLP) * Michael Hanus (Kiel University) * Roman Leshchinsky (Facebook) * Niki Vazou (University of Maryland) Contact ------- * Joachim Breitner -- Joachim Breitner Post-Doctoral researcher http://cis.upenn.edu/~joachim -------------- next part -------------- A non-text attachment was scrubbed... Name: signature.asc Type: application/pgp-signature Size: 833 bytes Desc: This is a digitally signed message part URL: From sitompulquest at gmail.com Fri Jul 20 02:03:59 2018 From: sitompulquest at gmail.com (Donald Sitompul) Date: Fri, 20 Jul 2018 09:03:59 +0700 Subject: [Haskell] Doc in Pdf format? Message-ID: I cannot find GHC docs in pdf format. Where are they now? Donald Sitompul -------------- next part -------------- An HTML attachment was scrubbed... URL: From davidmringo at gmail.com Fri Jul 20 03:21:40 2018 From: davidmringo at gmail.com (David Ringo) Date: Thu, 19 Jul 2018 21:21:40 -0600 Subject: [Haskell] Doc in Pdf format? In-Reply-To: References: Message-ID: Hi Donald, Is this what you're looking for? https://downloads.haskell.org/~ghc/latest/docs/users_guide.pdf - David On Thu, Jul 19, 2018 at 8:04 PM Donald Sitompul wrote: > I cannot find GHC docs in pdf format. Where are they now? > > Donald Sitompul > _______________________________________________ > Haskell mailing list > Haskell at haskell.org > http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell > -------------- next part -------------- An HTML attachment was scrubbed... URL: From athas at sigkill.dk Fri Jul 20 09:15:23 2018 From: athas at sigkill.dk (Troels Henriksen) Date: Fri, 20 Jul 2018 11:15:23 +0200 Subject: [Haskell] 2 PhD fellows in Functional High-Performance Computing Message-ID: <87wotql13o.fsf@sigkill.dk> The Department of Computer Science at the University of Copenhagen ("DIKU") is offering 2 PhD scholarships in functional technology for high-performance architectures commencing 1 November 2018 or as soon as possible thereafter. The positions are funded by the Independent Research Fund Denmark Grant "Functional Technology for High-Performance Architectures (FUTHARK)" held by Professor Fritz Henglein. The overall objective of FUTHARK is to advance both expressiveness and practical performance of functional and domain-specific languages for massively parallel computing based on both fundamental theory and advanced compiler technology and engineering. Specific aims include but are not limited to developing novel functional language and compiler technology for large-scale high-performance data parallelism; demonstrating its portability and exploring its forward compatibility by targeting vectorized multicore CPUs, GPUs, and clusters of these; developing the semantic, type-theoretic, algebraic, complexity-theoretic foundations for high-level data types beyond arrays such as sets, multisets, vector spaces, probability distributions; achieving flexible modularization with zero performance cost; synthesise transformational optimizations and data structures; and demonstrating high productivity and performance on use cases in deep learning, image processing, quantitative finance, large-scale graph processing, etc., in collaboration with academic and industrial, national and international project partners and the Open Source community at large. The Programming Languages and Theory of Computing Section at DIKU is prolific at the topmost conferences like PLDI, POPL and ICFP. Our research covers theoretical and practical research of programming languages with a focus on automatic program optimization, analysis and transformation. More information: https://di.ku.dk/ominstituttet/ledige_stillinger/2-phd-fellows-in-functional-technology/ -- \ Troels /\ Henriksen From myreen at chalmers.se Tue Jul 24 07:19:48 2018 From: myreen at chalmers.se (Magnus Myreen) Date: Tue, 24 Jul 2018 09:19:48 +0200 Subject: [Haskell] CPP 2019: Call for Papers Message-ID: Certified Programs and Proofs (CPP) is an international forum on theoretical and practical topics in all areas, including computer science, mathematics, and education, that consider certification as an essential paradigm for their work. Certification here means formal, mechanized verification of some sort, preferably with production of independently checkable certificates. In 2019, CPP will be co­located with Principles of Programming Languages (POPL) in Cascais/Lisbon, Portugal. Important Dates (AoE, UTC-12h) Abstract Deadline: Wednesday, 11 October 2018 Paper Submission Deadline: Wednesday, 18 October 2018 Author Notification: Wednesday, 22 November 2018 Conference dates: 14 January - 15 January 2019 Topics of interest We welcome submissions in research areas related to formal certification of programs and proofs. The following is a suggested list of topics of interests to CPP. This is a non-exhaustive list and should be read as a guideline rather than a requirement. - certified or certifying programming, compilation, linking, OS kernels, runtime systems, and security monitors; - program logics, type systems, and semantics for certified code; - certified decision procedures, mathematical libraries, and mathematical theorems; - proof assistants and proof theory; - new languages and tools for certified programming; - program analysis, program verification, and proof-carrying code; - certified secure protocols and transactions; - certificates for decision procedures, including linear algebra, polynomial systems, SAT, SMT, and unification in algebras of interest; - certificates for semi-decision procedures, including equality, first-order logic, and higher-order unification; - certificates for program termination; - logics for certifying concurrent and distributed programs; - higher-order logics, logical systems, separation logics, and logics for security; - teaching mathematics and computer science with proof assistants. Submission Guidelines Papers should be submitted in PDF format through the EasyChair submission page at https://easychair.org/conferences/?conf=cpp2019 Submitted papers must be formatted following the ACM SIGPLAN Proceedings format using the acmart format with the sigplan option, using 10 point font for the main text, and a header for single blind review submission, e.g., \documentclass[sigplan,10pt,review]{acmart}\settopmatter{printfolios=true,printccs=false,printacmref=false} Submitted papers should not exceed 12 pages, including tables and figures, but excluding bibliography. Shorter papers are welcome and will be given equal consideration. Submissions must be written in English and provide sufficient detail to allow the program committee to assess the merits of the paper. They should begin with a succinct statement of the issues, a summary of the main results, and a brief explanation of their significance and relevance to the conference, all phrased for the non-specialist. Technical and formal developments directed to the specialist should follow. References and comparisons with related work should be included. Submitted papers are not allowed to have an appendix. Papers not conforming to the above requirements concerning format and length may be rejected without further consideration. Whenever appropriate, the submission should come along with a formal development, using whatever prover, e.g., Agda, Coq, Dafny, Elf, HOL, HOL-Light, Isabelle, Lean, Matita, Mizar, NQTHM, PVS, Vampire, etc. Such formal developments must be submitted together with the paper as auxiliary material, and will be taken into account during the reviewing process. Please do so by including a link to your files in the text of your paper, or by sending a zip or tar file to the PC chairs at cpp2019 at easychair.org with your paper number included in the subject of your email. The results must be unpublished and not submitted for publication elsewhere, including the proceedings of other published conferences or workshops. The PC chairs should be informed of closely related work submitted to a conference or journal in advance of submission. Original formal proofs of known results in mathematics or computer science are welcome. One author of each accepted paper is expected to present it at the conference. For any questions about the formatting or submission of papers, please consult the PC chairs (cpp2019 at easychair.org). Conference webpage: https://popl19.sigplan.org/track/CPP-2019 From sitompulquest at gmail.com Wed Jul 25 11:09:02 2018 From: sitompulquest at gmail.com (Donald Sitompul) Date: Wed, 25 Jul 2018 18:09:02 +0700 Subject: [Haskell] Monad.Reader? Message-ID: Where is the past Monad.Reader publication now? Donald Sitompul -------------- next part -------------- An HTML attachment was scrubbed... URL: