From chak at justtesting.org Wed Jun 1 00:51:58 2016 From: chak at justtesting.org (Manuel M T Chakravarty) Date: Wed, 1 Jun 2016 10:51:58 +1000 Subject: [Haskell] ANN: Haskell for Mac trials & educational discount Message-ID: <87C980A7-6B2A-47C7-9055-21AA3C4A2C20@justtesting.org> Haskell for Mac, the Haskell IDE with interactive playgrounds, now offers a free 14 day trial and educational discounts: http://haskellformac.com Manuel From meneguette at ifsp.edu.br Wed Jun 1 15:06:47 2016 From: meneguette at ifsp.edu.br (RODOLFO IPOLITO MENEGUETTE) Date: Wed, 1 Jun 2016 12:06:47 -0300 (BRT) Subject: [Haskell] DEADLINE EXTENSION: ACM/IEEE MSWiM 2016 In-Reply-To: <625267330.8736318.1464793598507.JavaMail.zimbra@ifsp.edu.br> Message-ID: <2094296716.8736481.1464793607192.JavaMail.zimbra@ifsp.edu.br> =================================================== Call-For-Papers: 19th ACM/IEEE MSWiM 2016 Malta, Nov 13-17, 2016 http://www.mswimconf.com/2016 ============================== ====================== IMPORTANT: Submission deadline Extended: Paper registration through EDAS: June 8th, 2016 Paper Submission: June 12th, 2016 ============================== ===================== ------ ACM/IEEE* MSWiM 2016 is the 19th 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 2016 will be held Malta, Nov 13-17, 2016 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 paper submission can be found at http://www.mswimconf.com/2016 and EDAS. Accepted papers will appear in the conference proceedings to be published by ACM Press. Important Dates: Paper Registration : June 8th, 2016 Paper Submission Deadline: June 12 2016 Notification of Acceptance: July 15th, 2016 Organizing Committee: General Co-Chair: - Albert Zomaya, University of Sydney, Austarlia TPC Co-Chairs: - Geyong Min, University of Exter, UK - Antonio Loureiro, UFMG, Brazil Workshop Chairs: - Perikklis Chatzimios, Alexander TEI of Thessaloniki, Greece - SungBum Hong, Jackson State University, USA Tutorial Chairs: - Thomas Begin, University Claude Bernards Lyon, France - Jalel Ben-Othman, University Paris 13, France PhD Forum Chair - Bjorn Landfeldt, Lund University, Sweeden -------------- next part -------------- An HTML attachment was scrubbed... URL: From pedro.lopez at imdea.org Wed Jun 1 18:21:11 2016 From: pedro.lopez at imdea.org (pedro.lopez) Date: Wed, 01 Jun 2016 20:21:11 +0200 Subject: [Haskell] LOPSTR 2016: 2nd Call for Papers Message-ID: <66a62a5416d821f8b80e161c3de51ee8@imdea.org> [ Please distribute, apologies for multiple postings. ] ====================================================================== LOPSTR 2016: 2nd Call for Papers ====================================================================== 26th International Symposium on Logic-Based Program Synthesis and Transformation LOPSTR 2016 http://cliplab.org/Conferences/LOPSTR16/ Edinburgh, UK, September 6-8, 2016 (co-located with PPDP 2016 and SAS 2016) ====================================================================== DEADLINES: Abstract submission: June 7, 2016 Paper/Extended abstract submission: June 14, 2016 ====================================================================== INVITED SPEAKERS: Francesco Logozzo (Facebook, USA) [jointly with PPDP] Greg Morrisett (Cornell University, USA) [jointly with PPDP] Martin Vechev (ETH Zurich, Switzerland) [jointly with SAS ] ====================================================================== 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 26th International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR 2016) will be held at the University of Edinburgh, Edinburgh, UK; 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, and Manchester. LOPSTR 2016 will be co-located with PPDP 2016 (International Symposium on Principles and Practice of Declarative Programming) and SAS 2016 (Static Analysis Symposium). 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 chair in case of questions). Important Dates Abstract submission: June 7, 2016 Paper/Extended abstract submission: June 14, 2016 Notification: August 3, 2016 Camera-ready (for electronic pre-proceedings): August 19, 2016 Symposium: September 6-8, 2016 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 2016: http://www.easychair.org/conferences/?conf=lopstr2016 (can be accessed also through the LOPSTR 2016 web site). 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). 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 Slim Abdennadher, German University of Cairo, Egypt Maria Alpuente, Universitat Politecnica de Valencia, Spain Sergio Antoy, Portland State University, USA Michael Codish, Ben-Gurion University of the Negev, Israel Jerome Feret, CNRS/ENS/INRIA Paris, France. Fabio Fioravanti, University of Chieti - Pescara, Italy. Maurizio Gabbrielli, University of Bologna, Italy Maria Garcia de la Banda, Monash University, Australia Robert Glueck, University of Copenhagen, Denmark. Miguel Gomez-Zamalloa, Complutense University of Madrid, Spain Gopal Gupta, University of Texas at Dallas, USA Patricia Hill, Univ. of Leeds, UK and BUGSENG Srl, Italy Jacob Howe, City University London, UK Viktor Kuncak , EPFL Lausanne, Switzerland Michael Leuschel, University of Duesseldorf, Germany Heiko Mantel TU Darmstadt, Germany Jorge A. Navas, NASA, USA Naoki Nishida, Nagoya University, Japan Catuscia Palamidessi, INRIA, France C.R. Ramakrishnan, SUNY Stony Brook, USA Vitor Santos Costa, Universidade do Porto, Portugal Hirohisa Seki, Nagoya Institute of Technology, Japan Peter Schneider-Kamp, University of Southern Denmark, Denmark Program Chairs Manuel Hermenegildo, IMDEA Software Institute and T.U. Madrid (UPM) Pedro Lopez-Garcia, IMDEA Software Institute and CSIC Organizing Committee James Cheney (University of Edinburgh, Local Organizer) Moreno Falaschi (University of Siena, Italy) In cooperation with: The European Association for Theoretical Computer Science The European Association for Programming Languages and Systems The Association for Logic Programming The IMDEA Software Institute From erlangworkshop at gmail.com Wed Jun 1 20:57:32 2016 From: erlangworkshop at gmail.com (Erlang Workshop) Date: Wed, 1 Jun 2016 22:57:32 +0200 Subject: [Haskell] [ANN] Deadline extended! Erlang Workshop 2016 In-Reply-To: <573DA355.3010001@gmail.com> References: <573DA355.3010001@gmail.com> Message-ID: <574F4C3C.6060505@gmail.com> **** Paper submission deadline extended: 10 June, 2016 **** Apologies for any duplicates you may receive. CALL FOR PAPERS =============== Fifteenth ACM SIGPLAN Erlang Workshop ------------------------------ ----------------------------- Nara, Japan, September 23, 2016 Satellite event of the 21st ACM SIGPLAN International Conference on Functional Programming (ICFP 2016) September 18-24, 2016 The Erlang Workshop aims to bring together the open source, academic, and industrial communities of Erlang, to discuss technologies and languages related to Erlang. The Erlang model of concurrent programming has been widely emulated, for example by Akka in Scala, and even new programming languages were designed atop of the Erlang VM, such as Elixir. Therefore we would like to broaden the scope of the workshop to include systems like those mentioned above. The workshop will enable participants to familiarize themselves with recent developments on new techniques and tools, novel applications, draw lessons from users' experiences and identify research problems and common areas relevant to the practice of Erlang, Erlang-like languages, functional programming, distribution, concurrency etc. We invite three types of submissions. 1. Technical papers describing interesting contributions either in theoretical work or real world applications. Submission related to Erlang, Elixir, Akka, CloudHaskell, Occam, and functional programming are welcome and encouraged. Topics of interest include (but are not limited to): - virtual machine extensions and compilation techniques - implementations and interfaces of Erlang in/with other languages - new tools (profilers, tracers, debuggers, testing frameworks etc.) - language extensions - formal semantics, correctness and verification - testing Erlang programs - program analysis and transformation - Erlang-like languages and technologies - functional languages and multi-processing - concurrency in functional languages - functional languages and distributed computing - parallel programming - pattern based programming - Erlang in education The maximum length for technical papers is restricted to 12 pages. 2. Experience reports describing uses of Erlang in the "real-world", Erlang libraries for specific tasks, experiences from using Erlang in specific application domains, reusable programming idioms and elegant new ways of using Erlang to approach or solve a particular problem. The maximum length for the experience report is restricted to 2 pages. 3. Poster presentations describing topics related to the workshop goals. Each includes a maximum of 2 pages of the abstract and summary. Presentations in this category will be given an hour of shared simultaneous demonstration time. Workshop Co-Chairs ------------------ Melinda T?th, E?tv?s Lor?nd University, Hungary Scott Lystig Fritchie, Basho Japan KK Program Committee ----------------------------- (Note: the Workshop Co-Chairs are also committee members) Jamie Allen, Typesafe Laura M. Castro, University of A Coru?a, Spain Natalia Chechina, University of Glasgow Viktoria F?rd?s, Erlang Solutions Yosuke Hara, Rakuten, Inc. Kenji Rikitake, KRPEO Bruce Tate, iCanMakeItBetter Simon Thompson, University of Kent, UK Important Dates ----------------------- Submissions due (extended): Friday, 10 June, 2016 Author notification: Friday, 8 July, 2016 Final copy due: Sunday, 31 July, 2016 Workshop date: September 23, 2016 Instructions to authors -------------------------------- Papers must be submitted online via EasyChair (via the "Erlang2016" event). The submission page is https://www.easychair.org/conferences/?conf=erlang2016 Submitted papers should be in portable document format (PDF), formatted using the ACM SIGPLAN style guidelines. Each submission must adhere to SIGPLAN's republication policy. Violation risks summary rejection of the offending submission. Accepted papers will be published by the ACM and will appear in the ACM Digital Library. Paper submissions will be considered for poster submission in the case they are not accepted as full papers. Venue & Registration Details ------------------------------------------ For registration, please see the ICFP 2016 web site at: http://conf.researchr.org/home/icfp-2016 Related Links -------------------- CFP: http://conf.researchr.org/track/icfp-2016/erlang-2016-papers ICFP 2016 web site: http://conf.researchr.org/home/icfp-2016 Past ACM SIGPLAN Erlang workshops: http://www.erlang.org/workshop/ Open Source Erlang: http://www.erlang.org/ EasyChair submission site: https://www.easychair.org/conferences/?conf=erlang2016 Author Information for SIGPLAN Conferences: http://www.sigplan.org/authorInformation.htm Atendee Information for SIGPLAN Events: http://www.sigplan.org/Resources/Policies/Anti-harassment -------------- next part -------------- An HTML attachment was scrubbed... URL: From jeremy.gibbons at cs.ox.ac.uk Thu Jun 2 15:52:44 2016 From: jeremy.gibbons at cs.ox.ac.uk (Jeremy Gibbons) Date: Thu, 2 Jun 2016 16:52:44 +0100 Subject: [Haskell] Summer School on Bidirectional Transformations, Oxford, 25-29th July 2016 Message-ID: Apologies if you have seen this before, but the early registration deadline (June 10th) is fast approaching for SSBX in Oxford. Please pass this on to anyone who may be interested (and consider coming yourself!). * SUMMER SCHOOL ON BIDIRECTIONAL TRANSFORMATIONS Lady Margaret Hall, Oxford, UK 25th to 29th July 2016 http://www.cs.ox.ac.uk/projects/tlcbx/ssbx/ TOPIC Bidirectional transformations (BX) are means of maintaining consistency between multiple information sources: when one source is edited, the others may need updating to restore consistency. BX have applications in databases, user interface design, model-driven development, and many other domains. This summer school is one of the closing activities on the "Theory of Least Change for BX" project at Oxford and Edinburgh (http://www.cs.ox.ac.uk/projects/tlcbx/). It brings together leading researchers in BX, spanning theory and practice, for a week of lectures in beautiful Oxford. It will be aimed at doctoral students in computer science, but will also be suitable for strong master's students and for researchers. LECTURERS Anthony Anjorin, University of Paderborn, DE "Bx with Triple Graph Grammars" Martin Hofmann, Ludwig-Maximilians-Universitaet Muenchen, DE "Modular Edit Lenses" Zhenjiang Hu, National Institute of Informatics, JP "Principles and Practice of Putback-based Bidirectional Programming in BiGUL" Mike Johnson, Macquarie University, AU "Mathematical Foundations of Bidirectional Transformations" Richard Paige, University of York, UK "Engineering Bidirectional Transformations" The TLCBX team, Universities of Edinburgh and Oxford, UK will introduce, say a bit about TLCBX results, and conclude VENUE The school will take place at Lady Margaret Hall (http://www.lmh.ox.ac.uk/) in leafy North Oxford, right next to the University Parks and the River Cherwell and a short walk from the City Centre. LMH is one of the constituent colleges of the University of Oxford; it was founded in 1878 as the first women's college in Oxford. Our lectures will take place in the splendid Simpkins Lee Theatre in the Pipe Partridge Building, completed in 2010. REGISTRATION The Summer School is financially partially supported by EPSRC. There is an early registration fee of ?200 (or ?150 for students) if booked before the early registration deadline of 10th June, rising to ?250 (or ?200 for students) after that point. The registration fee includes lunches, coffee breaks, and a banquet one evening. We have reserved bed-and-breakfast accommodation in college, at ?62.50 per night in an ensuite room; there are also a few standard rooms available at ?58 per night, but please contact Karen.Barnes at cs.ox.ac.uk in advance if you would like to reserve one of them. Those rooms will be released after the early registration deadline, after which point there will be no guarantee of accommodation. Space is limited; there is room for 40 students. FURTHER INFORMATION More information, including the registration link, is on the summer school webpage: http://www.cs.ox.ac.uk/projects/tlcbx/ssbx/ For questions about registration or administrative matters, please contact Karen.Barnes at cs.ox.ac.uk. For questions about academic matters, please contact any of the organizers: Faris Abou-Saleh, James Cheney, Jeremy Gibbons, James McKinna, Perdita Stevens * Jeremy.Gibbons at cs.ox.ac.uk Oxford University Department of Computer Science, Wolfson Building, Parks Road, Oxford OX1 3QD, UK. +44 1865 283521 http://www.cs.ox.ac.uk/people/jeremy.gibbons/ -------------- next part -------------- An HTML attachment was scrubbed... URL: From andrea.rosa at usi.ch Fri Jun 3 08:49:17 2016 From: andrea.rosa at usi.ch (Andrea Rosa) Date: Fri, 3 Jun 2016 08:49:17 +0000 Subject: [Haskell] PPPJ 2016, Submission Deadline Extended to June 13 AoE Message-ID: <2C888E36-241A-406E-A1AE-405BC3C58BC6@usi.ch> ******** Due to several requests, the paper submission deadline has been extended to ******** June 13, 2016 AoE (Anywhere on Earth). ******** ******** Registering paper title and abstract before the submission deadline is ******** optional but encouraged. =============================================== PPPJ '16 13th International Conference on Principles and Practices of Programming on the Java Platform: Virtual Machines, Languages, and Tools August 29 - September 2, 2016 Lugano, Switzerland http://manlang16.inf.usi.ch/pppj In-cooperation with ACM SIGPLAN, SIGSOFT, SIGAPP and SPEC RG PPPJ '16 is a forum for researchers and practitioners to present and discuss novel results on all aspects of managed languages and their runtime systems, including virtual machines, tools, methods, frameworks, libraries, case studies, and experience reports. Managed languages and runtime systems of interest include, but are not limited to, Java, Scala, JavaScript, Python, Ruby, C#, F#, Clojure, Groovy, Kotlin, R, Java VM, Dalvik VM and Android Runtime (ART), LLVM, .NET CLR, RPython. ------------------------------------------------------------------------------- IMPORTANT DATES Submission deadline: June 13, 2016 Author notification: July 11, 2016 Camera-ready papers deadline: July 25, 2016 ------------------------------------------------------------------------------- TOPICS Virtual machines - Runtime systems (JVM, Dalvik VM and Android Runtime (ART), LLVM, .NET CLR, RPython, etc.) - VM design and optimization - VMs for mobile and embedded devices - Real-time VMs - Isolation and resource control Languages - Managed languages (Java, Scala, JavaScript, Python, Ruby C#, F#, Clojure, Groovy, Kotlin, R, etc.) - Domain-specific languages - Language design and calculi - Compilers - Language interoperability - Parallelism and concurrency - Modular and aspect-oriented programming - Model-driven development - Frameworks and applications - Teaching Techniques and tools - Static and dynamic program analysis - Testing - Verification - Monitoring and debugging - Security and information flow - Workload characterization and performance evaluation ------------------------------------------------------------------------------- SUBMISSIONS PPPJ '16 accepts three types of paper submissions: - Regular research paper: up to 12 pages - Work-in-progress paper: up to 6 pages - Industry and tool paper: up to 6 pages The conference proceedings will be published as part of the ACM International Conference Proceedings Series and will be disseminated through the ACM Digital Library. Research papers will be judged on their relevance, novelty, technical rigor, and contribution to the state-of-the-art. For work-in-progress research papers, more emphasis will be placed on novelty and the potential of the new idea than on technical rigor and experimental results. Industry and tool papers will be judged on their relevance, usefulness, and results. Suitability for demonstration and availability will also be considered for tool papers. ------------------------------------------------------------------------------- LOCATION PPPJ '16 will be part of the MANAGED LANGUAGES & RUNTIMES WEEK 2016, a premier forum for presenting and discussing innovations and breakthroughs in the area of programming languages and runtime systems. Managed Languages & Runtimes Week '16 features three international academic and industry venues for the first time: - PPPJ '16 - 13th International Conference on Principles and Practices of Programming on the Java Platform: Virtual Machines, Languages, and Tools. - JTRES '16 - 14th International Workshop on Java Technologies for Real-time and Embedded Systems - A workshop for researchers working on real-time and embedded Java with the goal of identifying the challenging problems that still need to be solved in order to assure the success of real-time Java as a technology and reporting results and experience. - VMM '16 - 3rd Virtual Machine Meetup - A venue for discussing the latest research and developments in the area of managed language execution. Managed Languages & Runtimes Week '16 will be hosted by the Faculty of Informatics of University of Lugano (USI) from August 29 to September 2, 2016. ------------------------------------------------------------------------------- ORGANIZING COMMITTEE General Chair: Walter Binder - University of Lugano (USI), Switzerland Program Committee Chair: Petr T?ma - Charles University, Czech Republic Organizing Chair: Yudi Zheng - University of Lugano (USI), Switzerland Publicity Chair: Andrea Ros? - University of Lugano (USI), Switzerland Web Chair: Giacomo Toffetti Carughi - University of Lugano (USI), Switzerland ------------------------------------------------------------------------------- PROGRAM COMMITTEE Wonsun Ahn - University of Pittsburgh, USA Lorenzo Bettini - University of Turin, Italy Irene Finocchi - University of Rome La Sapienza, Italy Michael Franz - University of California Irvine, USA David Gregg - Trinity College Dublin, Ireland David Grove - IBM Research, USA Apala Guha - Indraprastha Institute of Information Technology, India G?rel Hedin - Lund University, Sweden Nigel Horspool - University of Victoria, Canada Andreas Krall - Vienna University of Technology, Austria Prasad Kulkarni - University of Kansas, USA Doug Lea - State University of New York at Oswego, USA Ondrej Lhotak - University of Waterloo, Canada Du Li - Hewlett Packard Labs, USA Anders M?ller - University of Aarhus, Denmark Hanspeter M?ssenb?ck - Johannes Kepler Universit?t, Austria Rei Odaira - IBM Research Austin, USA Jeremy Singer - University of Glasgow, Scotland Eli Tilevich - Virginia Tech, USA Laurence Tratt - King's College London, England Petr Tuma - Charles University, Czech Republic Christian Wimmer - Oracle Labs, USA Jianjun Zhao - Shanghai Jiao Tong University, China -------------------------------------------------------------------------------- CONTACTS For additional information on PPPJ ?16 do not hesitate to contact the PC Chair > or visit the website http://manlang16.inf.usi.ch/pppj. ------------ Andrea Ros? PhD student - Teaching assistant Faculty of Informatics - 2nd floor Universit? della Svizzera italiana (USI) Via G. Buffi 13 CH-6904 Lugano Switzerland (e) andrea.rosa at usi.ch (p) +41 58 666 4455 ext. 2183 (w) http://www.inf.usi.ch/phd/rosaa/ From dons00 at gmail.com Fri Jun 3 12:14:13 2016 From: dons00 at gmail.com (Don Stewart) Date: Fri, 03 Jun 2016 12:14:13 +0000 Subject: [Haskell] 10 open roles in expanding team at Standard Chartered Message-ID: I have another ten open roles in the growing Strats team at Standard Chartered. https://donsbot.wordpress.com/2016/06/03/multiple-haskell-developer-roles-in-strats-at-standard-chartered/ These are full time or contract Haskell developer positions in London or Singapore. Details in the post . -------------- next part -------------- An HTML attachment was scrubbed... URL: From dominic at steinitz.org Mon Jun 6 13:03:04 2016 From: dominic at steinitz.org (Dominic Steinitz) Date: Mon, 6 Jun 2016 14:03:04 +0100 Subject: [Haskell] New Haddock Message-ID: <6046CE60-F8F9-4447-B00F-7657FDE1C965@steinitz.org> I couldn?t find an announcement of the new version of Haddock. You can now document your libraries even more beautifully. For example, > -- \[ > -- f(k;n,p) = \Pr(X = k) = \binom n k p^k(1-p)^{n-k} > -- \] will render as https://hackage.haskell.org/package/random-fu-0.2.7.0/docs/Data-Random-Distribution-Binomial.html#v:integralBinomialPDF Also don?t forget you can put really nice diagrams in your documentation e.g. http://hackage.haskell.org/package/diagrams-contrib-1.3.0.7/docs/Diagrams-Example-Logo.html and http://hackage.haskell.org/package/diagrams-contrib-1.3.0.7/docs/Diagrams-TwoD-Layout-Tree.html . Dominic Steinitz dominic at steinitz.org http://idontgetoutmuch.wordpress.com -------------- next part -------------- An HTML attachment was scrubbed... URL: From p.d.james.366409 at swansea.ac.uk Mon Jun 6 13:16:30 2016 From: p.d.james.366409 at swansea.ac.uk (JAMES P. (366409)) Date: Mon, 6 Jun 2016 13:16:30 +0000 Subject: [Haskell] WADT 2016 -- Extended Deadline Message-ID: CFP: WADT 2016 - 23rd International Workshop on Algebraic Development Techniques (extended deadline) Link: http://cs.swan.ac.uk/wadt16/ When Sep 21, 2016 - Sep 24, 2016 Where Gregynog, UK Submission Deadline June 17, 2016 (extended) Notification July 3, 2016 (extended) Final Version Due July 15, 2016 AIMS AND SCOPE The algebraic approach to system specification encompasses many aspects of the formal design of software systems. Originally born as formal method for reasoning about abstract data types, it now covers new specification frameworks and programming paradigms (such as object-oriented, aspect-oriented, agent-oriented, logic and higher-order functional programming) as well as a wide range of application areas (including information systems, concurrent, distributed and mobile systems). The workshop will provide an opportunity to present recent and ongoing work, to meet colleagues, and to discuss new ideas and future trends. TOPICS OF INTEREST Typical, but not exclusive topics of interest are: - Foundations of algebraic specification - Other approaches to formal specification, including process calculi and models of concurrent, distributed and mobile computing - Specification languages, methods, and environments - Semantics of conceptual modelling methods and techniques - Model-driven development - Graph transformations, term rewriting and proof systems - Integration of formal specification techniques - Formal testing and quality assurance, validation, and verification INVITED SPEAKERS - Alessio Lomuscio (London, UK) - Till Mossakowski (Magdeburg, Germany) - John Tucker (Swansea, UK) WORKSHOP FORMAT AND LOCATION The workshop will take place over four days, Wednesday to Saturday, at Gregynog Hall in Wales, UK (http://www.gregynog.org). Participants should arrive on Tuesday evening, the workshop will end on Saturday with lunch. Presentations will be selected on the basis of submitted abstracts. IMPORTANT DATES Submission deadline for abstracts: June 17, 2016 (extended) Notification of acceptance: July 3, 2016 (extended) Early registration: July 3, 2016 (delayed) Final abstract due: July 15, 2016 Workshop in Gregynog: September 21-24, 2016 SUBMISSIONS The scientific programme of the workshop will include presentations of recent results and ongoing research. The presentations will be selected by the Steering Committee on the basis of submitted abstracts according to originality, significance and general interest. The abstracts must be up to two pages long including references. If a longer version of the contribution is available, it can be made accessible on the web and referenced in the abstract. The abstracts have to be submitted electronically via the EasyChair system. PROCEEDINGS After the workshop, authors will be invited to submit full papers for the refereed proceedings. All submissions will be reviewed; selection will be based on originality, soundness and significance of the presented ideas and results. The proceedings will be published as a volume of Lecture Notes in Computer Science (Springer). SPONSORSHIP The workshop takes place under the auspices of IFIP WG 1.3. WADT STEERING COMMITTEE Andrea Corradini (Italy) Jose Fiadeiro (UK) Rolf Hennicker (Germany) Hans-Jorg Kreowski (Germany) Till Mossakowski (Germany) Fernando Orejas (Spain) Francesco Parisi-Presicce (Italy) Markus Roggenbach (UK) [chair] Grigore Rosu (United States) Andrzej Tarlecki (Poland) ORGANIZING COMMITTEE Phillip James (UK) Markus Roggenbach (UK) CONTACT INFORMATION Email: M.Roggenbach at Swansea.ac.uk Homepage: http://cs.swan.ac.uk/wadt16/ -------------- next part -------------- An HTML attachment was scrubbed... URL: From meneguette at ifsp.edu.br Tue Jun 7 02:43:45 2016 From: meneguette at ifsp.edu.br (RODOLFO IPOLITO MENEGUETTE) Date: Mon, 6 Jun 2016 23:43:45 -0300 (BRT) Subject: [Haskell] CFP: ACM MobiWac 2016 - November 13 - 17, 2016, Malta In-Reply-To: <1282738633.55722.1465267384479.JavaMail.zimbra@ifsp.edu.br> Message-ID: <781838076.55742.1465267425073.JavaMail.zimbra@ifsp.edu.br> ** We apologize if you receive multiple copies of this message ** ============================================================ The 14th ACM International Symposium on Mobility Management and Wireless Access (MobiWac 2016) November 13 - 17, 2016 - Malta http://mobiwac-symposium.org/ ============================================================ The 14th ACM International Symposium on Mobility Management and Wireless Access (MobiWac 2016) will be held in conjunction with MSWiM 2016 (the 19th ACM International Symposium on Modeling, Analysis and Simulation of Wireless and Mobile Systems) from November 13 to 17, 2016 in Malta. The MOBIWAC series of events are intended to provide an international forum for the discussion and presentation of original ideas, recent results and achievements by researchers, students, and systems developers on issues and challenges related to mobility management and wireless access protocols. To keep up with the technological developments, we also open up new areas such as mobile cloud computing starting from this year. Authors are encouraged to submit both theoretical and practical results of significance on all aspects of wireless and mobile access technologies, with an emphasis on mobility management and wireless access. Authors are invited to submit full papers describing original research. Submitted papers must neither have been published elsewhere nor currently be under review by another conference or journal. TOPICS OF INTEREST include, but are not limited to: - Mobile Cloud Computing - Wireless/Mobile Access Protocols - Wireless/Mobile Web Access - Wireless Internet and All-IP integration - Next Generation Wireless systems - Mobile Broadband Wireless Access - Pervasive Communication and Computing - Ubiquitous and mobile access - Wireless Applications and testbeds - Multi-Homing and Vertical Handoff - Multi-Channel Multi-Radio MAC / network layer management - Channels and resource allocation algorithms - Energy and power management algorithms - Mobility Models - Multi-technology switching using Software Defined Radios - Context-aware services and applications - Context-aware protocols and protocol architectures - Interactive applications - Mobile database management - Wireless Multimedia Protocols - Mobile and Wireless Entertainment - Mobile Info-services - Social mobile networks - Social mobile applications - Data analysis for mobile and wireless networks - SDN solutions in mobile and wireless networks - QoS management - Mobility Control and Management - Localization and tracking - Mobile/Vehicular environment access - Wireless ad hoc and sensor networks - Security,Trust management and Privacy issues - Fault Tolerance solutions - Wireless Systems' Design - Analysis/Simulation of wireless mobile systems - Testbeds for experimental and simulation analysis ORGANIZING COMMITTEE: General Chair ?ngel Cuevas, Universidad Carlos III de Madrid, Spain Program Chairs Periklis Chatzimisios, Alexander TEI of Thessaloniki, Greece Robson De Grande, University of Ottawa, Canada Technical Program Committee Antonio A.F. Loureiro, Federal University of Minas Gerais, Brazil Michele Albano, CISTER, Portugal Chadi Assi, Concordia University, Canada Jalel Ben-othman, University of Paris 13, France Fernando Boavida, University of Coimbra, Portugal Juan Carlos Cano, Technical University of Valencia, Spain Yuh-Shyan Chen, National Taipei University, Taiwan Stefano Chessa, University of Pisa, Italy Danny De Vleeschauwer, Alcatel-Lucent, Belgium Andr?s Garc?a Saavedra, Hamilton Institute, Ireland Roch Glitho, Concordia University, Canada Roberto Gonz?lez, NEC Laboratories Europe, Germany Khaled Harras, Carnegie Mellon University, USA Charalampos Konstantopoulos, University of Piraeus, Greece Pierre Leone, University of Geneva, Switzerland Sotiris Nikoletseas, University of Patras & Computer Technology Institute, Greece Ai-Chun Pang, National Taiwan University, Taiwan Grammati Pantziou, Technological Educational Institution of Athens, Greece Cristina M. Pinotti, University of Perugia, Italy Paulo Pinto, Universidade Nova de Lisboa, Portugal Victor Ramos, Universidad Autonoma Metropolitana, Mexico Victor Rangel, National University of Mexico, Mexico Thierry Turletti, INRIA, France Alicia Trivi?o, Universidad de M?laga, Spain Manuel Urue?a, Universidad Carlos III de Madrid, Spain Emmanouel Varvarigos, University of Patras & Computer Technology Institute, Greece Zainab Zaidi, National ICT Australia, Ltd, Australia Posters/Demo Chair Graciela Rom?n Alonso, Universidad Aut?noma Metropolitana, Mexico Publicity Chairs Khalil El-Khatib, UOIT, Canada Mirela. A. M. Notare, Sao Jose Municipal University, Brazil ========================= Paper Submission, Publication, and Important Dates: High-quality original papers are solicited. Papers must be unpublished and must not be submitted for publication elsewhere. All papers will be reviewed by Technical Program Committee members and other experts active in the field to ensure high quality and relevance to the Symposium. The symposium will have a single track for regular papers and in addition, a separate interwoven track with short papers / posters. Paper length must be no more than 10 pages, double column, ACM style including tables and figures. Note that the regular paper size will be 8 pages, with the possibility to obtain up to 2 additional pages (total 10 pages) by paying a publication fee. Only PDF format is accepted. All accepted papers will appear in the Symposium proceedings published by ACM press. - Paper registration due: June 30, 2016 (11:59PM EST) - Submission Deadline: June 30, 2016 (11:59PM EST) - Notification of Acceptance: July 31, 2016 (11:59PM EST) Papers are submitted via the EDAS system ( https://edas.info/N22672 ). For any question or problems related to MobiWac 2015 submissions, please contact the PC Chairs. FOR MORE INFORMATION about the conference, organizing committee, submission instructions, and venue please see the conference website ( http://mobiwac-symposium.org ) -------------- next part -------------- An HTML attachment was scrubbed... URL: From J.T.Jeuring at uu.nl Tue Jun 7 16:07:17 2016 From: J.T.Jeuring at uu.nl (Johan Jeuring) Date: Tue, 7 Jun 2016 18:07:17 +0200 Subject: [Haskell] Vacancy: Professor Software technology at Utrecht University Message-ID: The Faculty of Science at Utrecht University is seeking to appoint a Full Professor in Software Technology to lead, alongside the other two chairs, the division of Software Systems within the Faculty. The full Professor directs and supervises research in the field of software technology, specifically in the design and development of formalisms and methodologies for effective program construction and program analysis. She/he develops new initiatives, aiming at research programs in software technology. This includes the acquisition of external research funds, both at the national and international levels, and the dissemination of research results and its applications to the relevant research communities. The full professor has a leading role in teaching and supervision. She or he contributes to the department?s curriculum development at BSc, MSc and PhD levels. The full professor plays an active role in the leadership and administrative duties of the Department and/or Faculty. For more information about this vacancy, go to http://goo.gl/1vLeVc ??????? Johan Jeuring Department of Information and Computing Sciences Utrecht University The Netherlands http://www.jeuring.net/ From breitner at kit.edu Thu Jun 9 08:29:51 2016 From: breitner at kit.edu (Joachim Breitner) Date: Thu, 09 Jun 2016 10:29:51 +0200 Subject: [Haskell] Haskell in Leipzig 2016: Second Call for Papers Message-ID: <1465460991.1667.7.camel@kit.edu> ? ? ? ? ? ? ? ? ? ? ? ? ? ? ?Haskell in Leipzig ????????????????????????????September 14-15, 2016 ????????????????????????????HTKW Leipzig, Germany ?????????????????????????http://hal2016.haskell.org/ Allow me to remind everyone of the opportunity to talk about your research, projects or ideas at this year?s Haskell in Leipzig. The deadline is three weeks from now. == News == Unsure about whether HaL is interesting to you? No need to worry: Alejandro Russo (from Chalmers) is our keynote speaker and will talk about his work on information-flow control (i.e. SecLib, LIO, MAC, HLIO) ? a great topic that is of interest to researchers, practitioners and beginners alike.? == About HaL == The workshop series ?Haskell in Leipzig?, now in its 11th year, brings together Haskell developers, Haskell researchers, Haskell enthusiasts and Haskell beginners to listen to talks, take part in tutorials, and join in interesting conversations. Everything related to Haskell is on topic, whether it is about current research, practical applications, interesting ideas off the beaten track, education, or art, and topics may extend to functional programming in general and its connections to other programming paradigms as well. This year, HaL is colocated with two related conferences, ?* the Workshop on Functional and (Constraint) Logic Programming (WFLP) and ?* the Workshop on (Constraint) Logic Programming (WLP), to form the Leipzig Week of Declarative Programming (L-DEC): ????http://nfa.imn.htwk-leipzig.de/LDEC2016/ In order to accommodate and welcome a more international audience, this year?s HaL will be held in English. == Submissions == Contributions can take the form of ?* talks (about 30 minutes), ?* tutorials (about 90 minutes), ?* demonstrations, artistic performances, or other extraordinary? ? ?things. Please submit an abstract that describes the content and form of your presentation, the intended audience, and required previous knowledge. We recommend a length of 2 pages, so that the PC and the audience get a good idea of your submission, but this is not a hard requirement. You can submit your abstract, as an PDF document, at ???https://easychair.org/conferences/?conf=hal2016 until Friday, July 1, 2016. You will be notified by July 15, 2016. == Program committee == ?* Andreas Abel, Chalmers and Gothenburg University, Sweden ?* Heinrich Apfelmus, Leipzig, Germany ?* Joachim Breitner, Karlsruhe Institute of Technology, Germany (Chair) ?* Matthias Fischmann, Zerobuzz, Germany ?* Petra Hofstedt, BTU Cottbus-Senftenberg, Germany ?* Wolfgang Jeltsch, Institute of Cybernetics at Tallinn University of Technology, Estonia ?* Andres L?h, Well-Typed LLP, Germany ?* Alejandro Serrano Mena, Universiteit Utrecht, Netherlands ?* Neil Mitchell, Standard Chartered Bank, UK ?* Katie Ots, Facebook, UK ?* Peter Stadler, University of Leipzig, Germany ?* Henning Thielemann, Freelancer, Germany ?* Niki Vazou, University of California, San Diego, USA If you have any questions, please do not hesitate to contact Joachim Breitner . -- Dr. rer. nat. Joachim Breitner Wissenschaftlicher Mitarbeiter http://pp.ipd.kit.edu/~breitner -------------- next part -------------- A non-text attachment was scrubbed... Name: signature.asc Type: application/pgp-signature Size: 819 bytes Desc: This is a digitally signed message part URL: From D.J.Duke at leeds.ac.uk Thu Jun 9 11:54:09 2016 From: D.J.Duke at leeds.ac.uk (David Duke) Date: Thu, 9 Jun 2016 12:54:09 +0100 Subject: [Haskell] FHPC'16 - reminder, and deadline extension Message-ID: Dear colleagues, Following several requests for an extension, the submission deadline for FHPC'16 has been extended by 5 days to 15th June. ====================================================================== CALL FOR PAPERS FHPC 2016 The 5th ACM SIGPLAN Workshop on Functional High-Performance Computing Nara, Japan September 22, 2016 https://sites.google.com/site/fhpcworkshops/ Co-located with the International Conference on Functional Programming (ICFP 2016) Submission Deadline: Wednesday, 15 June, 2016 (anywhere on earth) ====================================================================== The FHPC workshop aims at bringing together researchers exploring uses of functional (or more generally, declarative or high-level) programming technology in application domains where high performance is essential. The aim of the meeting is to enable sharing of results, experiences, and novel ideas about how high-level, declarative specifications of computationally challenging problems can serve as maintainable and portable code that approaches (or even exceeds) the performance of machine-oriented imperative implementations. All aspects of performance critical programming and parallel programming are in-scope for the workshop, irrespective of hardware target. This includes both traditional large-scale scientific computing (HPC), as well as work targeting single node systems with SMPs, GPUs, FPGAs, or embedded processors. It is becoming apparent that radically new and well founded methodologies for programming such systems are required to address their inherent complexity and to reconcile execution performance with programming productivity. Experience reports are also welcome. Proceedings: ============ FHPC 2016 seeks to encourage a range of submissions, focussing on work in progress and facilitating early exchange of ideas and open discussion on innovative and/or emerging results. To this end submissions should take the form of short (maximum 6 page) papers. Accepted papers will be published by the ACM and will appear in the ACM Digital Library. * Submissions due: Wednesday 15 June, 2016 (anywhere on earth) * Author notification: Friday, 8 July, 2016 * Final copy due: Sunday, 31 July, 2016 Submitted papers must be in portable document format (PDF), formatted according to the ACM SIGPLAN style guidelines (2 column, 9pt format). See http://www.sigplan.org/authorInformation.htm for more information and style files. Papers should be no longer than 6 pages. Contributions to FHPC 2016 should be submitted via Easychair, at the following URL: * https://www.easychair.org/conferences/?conf=fhpc16 The FHPC workshops adhere to the ACM SIGPLAN policies regarding programme committee contributions and republication. Any paper submitted must adhere to ACM SIGPLAN's republication policy. PC member submissions are welcome, but will be reviewed to a higher standard. http://www.sigplan.org/Resources/Policies/Review http://www.sigplan.org/Resources/Policies/Republication Travel Support: =============== Student attendees with accepted papers can apply for a SIGPLAN PAC grant to help cover travel expenses. PAC also offers other support, such as for child-care expenses during the meeting or for travel costs for companions of SIGPLAN members with physical disabilities, as well as for travel from locations outside of North America and Europe. For details on the PAC programme, see its web page (http://www.sigplan.org/PAC.htm). Programme Committee: ==================== David Duke (co-chair) University of Leeds, UK Yukiyoshi Kameyama (co-chair) University of Tsukuba, Japan Baris Aktemur ?zye?in University, Turkey Marco Aldinucci University of Torino, Italy Jost Berthold Commonwealth Bank, Australia Kei Davis Los Alamos National Laboratory, USA Kento Emoto Kyushu Institute of Technology, Japan Zhenjiang Hu National Institute of Informatics, Japan Ben Lippmeier University of New South Wales, Australia Rita Loogen University of Marburg, Germany Geoffrey Mainland Drexel University, USA Mike Rainey INRIA, France Mary Sheeran Chalmers University of Technology, Sweden Satnam Singh Facebook, UK --- David Duke T: +44 113 3436800 Professor of Computer Science E: D.J.Duke at leeds.ac.uk Head, School of Computing W: www.comp.leeds.ac.uk/scsdjd/ PA: Gaynor Butterwick, E: G.Butterwick at leeds.ac.uk T: +44 113 3435767 From rdgrande at site.uottawa.ca Sat Jun 11 13:56:58 2016 From: rdgrande at site.uottawa.ca (Robson De Grande) Date: Sat, 11 Jun 2016 09:56:58 -0400 Subject: [Haskell] CFP: DEADLINE APPROACHING - MSWiM 2016 Message-ID: =================================================== Call-For-Papers: 19th ACM/IEEE MSWiM 2016 Malta, Nov 13-17, 2016 http://www.mswimconf.com/2016 ==================================================== IMPORTANT: Submission deadline Extended: Paper registration through EDAS: June 12th, 2016 Paper Submission: June 12th, 2016 =================================================== ------ ACM/IEEE* MSWiM 2016 is the 19th 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 2016 will be held Malta, Nov 13-17, 2016 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 paper submission can be found at http://www.mswimconf.com/2016 and EDAS. Accepted papers will appear in the conference proceedings to be published by ACM Press. Important Dates: Paper Registration : June 12th, 2016 Paper Submission Deadline: June 12 2016 Notification of Acceptance: July 15th, 2016 Organizing Committee: General Co-Chair: - Albert Zomaya, University of Sydney, Austarlia TPC Co-Chairs: - Geyong Min, University of Exter, UK - Antonio Loureiro, UFMG, Brazil Workshop Chairs: - Perikklis Chatzimios, Alexander TEI of Thessaloniki, Greece - SungBum Hong, Jackson State University, USA Tutorial Chairs: - Thomas Begin, University Claude Bernards Lyon, France - Jalel Ben-Othman, University Paris 13, France PhD Forum Chair - Bjorn Landfeldt, Lund University, Sweeden -------------- next part -------------- An HTML attachment was scrubbed... URL: From kevin at kevinhammond.net Mon Jun 13 09:09:33 2016 From: kevin at kevinhammond.net (Kevin Hammond) Date: Mon, 13 Jun 2016 10:09:33 +0100 Subject: [Haskell] Two Lectureships (Assistant Professorships) at St Andrews Message-ID: <4B6B3810-3B78-46A4-B317-3F2A2115D0F6@kevinhammond.net> We have two vacancies at St Andrews. These are fixed term (3 years), but we are likely to have permanent positions in time. We are looking for good researchers. I would welcome applications from the functional programming community. The deadline is June 29th. See: http://blogs.cs.st-andrews.ac.uk/csblog/2016/05/30/fixed-term-lectureships-in-computer-science/ for details. Best Wishes, Kevin PS If you are sending mail to kh at cs.st-andrews.ac.uk, you may get a bounce message. I should still have received your email despite the error message. For future mail, the best and most reliable email address to use is kevin at kevinhammond.net -please update your address book. -------- Kevin Hammond, Professor of Computer Science, University of St Andrews T: +44-1334 463241 F: +44-1334-463278 W: http://www.cs.st-andrews.ac.uk/~kh In accordance with University policy on electronic mail, this email reflects the opinions of the individual concerned, may contain confidential or copyright information that should not be copied or distributed without permission, may be of a private or personal nature unless explicitly indicated otherwise, and should not under any circumstances be taken as an official statement of University policy or procedure (see http://www.st-and.ac.uk). The University of St Andrews is a charity registered in Scotland : No SC013532 _______________________________________________ paraphrase mailing list paraphrase at cs.st-andrews.ac.uk https://mailman.cs.st-andrews.ac.uk/mailman/listinfo/paraphrase From pedro.lopez at imdea.org Mon Jun 13 20:24:10 2016 From: pedro.lopez at imdea.org (pedro.lopez) Date: Mon, 13 Jun 2016 22:24:10 +0200 Subject: [Haskell] LOPSTR'16: Final Call for Papers and *Deadline Extension* Message-ID: <13410825c5aef00b2707e4eac3e5c69d@imdea.org> [ Please distribute, apologies for multiple postings. ] ====================================================================== LOPSTR 2016: Final Call for Papers / Deadline Extension ====================================================================== 26th International Symposium on Logic-Based Program Synthesis and Transformation LOPSTR 2016 http://cliplab.org/Conferences/LOPSTR16/ Edinburgh, UK, September 6-8, 2016 (co-located with PPDP 2016 and SAS 2016) ====================================================================== NEW DEADLINES: Abstract submission (extended): June 20, 2016 Paper/Extended abstract submission (extended): June 27, 2016 ====================================================================== INVITED SPEAKERS: Francesco Logozzo (Facebook, USA) [jointly with PPDP] Greg Morrisett (Cornell University, USA) [jointly with PPDP] Martin Vechev (ETH Zurich, Switzerland) [jointly with SAS ] ====================================================================== 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 26th International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR 2016) will be held at the University of Edinburgh, Edinburgh, UK; 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, and Manchester. LOPSTR 2016 will be co-located with PPDP 2016 (International Symposium on Principles and Practice of Declarative Programming) and SAS 2016 (Static Analysis Symposium). 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 chair in case of questions). Important Dates Abstract submission (*extended*): Jun 20, 2016 Paper/Extended abstract submission (*extended*): Jun 27, 2016 Notification: Aug 3, 2016 Camera-ready (for electronic pre-proceedings): Aug 19, 2016 Symposium: Sep 6-8, 2016 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 2016: http://www.easychair.org/conferences/?conf=lopstr2016 (can be accessed also through the LOPSTR 2016 web site). 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). 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 Slim Abdennadher, German University of Cairo, Egypt Maria Alpuente, Universitat Politecnica de Valencia, Spain Sergio Antoy, Portland State University, USA Michael Codish, Ben-Gurion University of the Negev, Israel Jerome Feret, CNRS/ENS/INRIA Paris, France. Fabio Fioravanti, University of Chieti - Pescara, Italy. Maurizio Gabbrielli, University of Bologna, Italy Maria Garcia de la Banda, Monash University, Australia Robert Glueck, University of Copenhagen, Denmark. Miguel Gomez-Zamalloa, Complutense University of Madrid, Spain Gopal Gupta, University of Texas at Dallas, USA Patricia Hill, Univ. of Leeds, UK and BUGSENG Srl, Italy Jacob Howe, City University London, UK Viktor Kuncak , EPFL Lausanne, Switzerland Michael Leuschel, University of Duesseldorf, Germany Heiko Mantel TU Darmstadt, Germany Jorge A. Navas, NASA, USA Naoki Nishida, Nagoya University, Japan Catuscia Palamidessi, INRIA, France C.R. Ramakrishnan, SUNY Stony Brook, USA Vitor Santos Costa, Universidade do Porto, Portugal Hirohisa Seki, Nagoya Institute of Technology, Japan Peter Schneider-Kamp, University of Southern Denmark, Denmark Program Chairs Manuel Hermenegildo, IMDEA Software Institute and T.U. Madrid (UPM) Pedro Lopez-Garcia, IMDEA Software Institute and CSIC Organizing Committee James Cheney (University of Edinburgh, Local Organizer) Moreno Falaschi (University of Siena, Italy) In cooperation with: The European Association for Theoretical Computer Science The European Association for Programming Languages and Systems The Association for Logic Programming The IMDEA Software Institute From me at alang.ca Tue Jun 14 15:08:09 2016 From: me at alang.ca (Alex Lang) Date: Tue, 14 Jun 2016 08:08:09 -0700 Subject: [Haskell] Reminder: 10 days to submit talks to CUFP 2016 Message-ID: This CFP and the form for submitting presentation proposals can be found at: http://cufp.org/2016/call-for-presentations.html ---------------------------------------------------------------------- 2016 Call for Presentations Workshop for Commercial Users of Functional Programming 2016 Sponsored by SIGPLAN CUFP 2016 Co-located with ICFP 2016 Nara, Japan September 22-24 Talk Proposal Submission Deadline: 24 June 2016 The annual CUFP event is a place where people can see how others are using functional programming to solve real world problems; where practitioners meet and collaborate; where language designers and users can share ideas about the future of their favorite language; and where one can learn practical techniques and approaches for putting functional programming to work. ---------------------------------------------------------------------- Giving a CUFP Talk If you have experience using functional languages in a practical setting, we invite you to submit a proposal to give a talk at the event. We're looking for two kinds of talks: Retrospective talks are typically 25 minutes long. Now that CUFP has run for more than a decade, we intend to invite past speakers to share what they?ve learned after a decade spent as commercial users of functional programming. We will favour experience reports that include technical content. Technical talks are also 25 minutes long, and should focus on teaching the audience something about a particular technique or methodology, from the point of view of someone who has seen it play out in practice. These talks could cover anything from techniques for building functional concurrent applications, to managing dynamic reconfigurations, to design recipes for using types effectively in large-scale applications. While these talks will often be based on a particular language, they should be accessible to a broad range of programmers. We strongly encourage submissions from people in communities that are underrepresented in functional programming, including but not limited to women; people of color; people in gender, sexual and romantic minorities; people with disabilities; people residing in Asia, Africa, or Latin America; and people who have never presented at a conference before. We recognize that inclusion is an important part of our mission to promote functional programming. So that CUFP can be a safe environment in which participants openly exchange ideas, we abide by the SIGPLAN Conference Anti-Harassment Policy. If you are interested in offering a talk, or nominating someone to do so, please submit your presentation before 24 June 2016 via the CUFP 2016 Presentation Submission Form You do not need to submit a paper, just a short proposal for your talk. There will be a short scribe's report of the presentations and discussions but not of the details of individual talks, as the meeting is intended to be more of a discussion forum than a technical interchange. Nevertheless, presentations will be recorded and presenters will be expected to sign an ACM copyright release form. Note that we will need all presenters to register for the CUFP workshop and travel to Japan at their own expense. There are some funds available to would-be presenters who require assistance in this respect. ---------------------------------------------------------------------- Program Committee Katie Ots (Facebook), co-chair Alex Lang (Tsuru Capital), co-chair R?nar ?li Bjarnason (Verizon Labs) Mark Hibberd (Ambiata) Mirai Ikebuchi (Nagoya University) Paul Khuong (AppNexus) Carin Meier (Cognitect) Kenji Rikitake (Kenji Rikitake Professional Engineer's Office) ---------------------------------------------------------------------- More information For more information on CUFP, including videos of presentations from previous years, take a look at the CUFP website at http://cufp.org. Note that presenters, like other attendees, will need to register for the event. Acceptance and rejection letters will be sent out by July 15th. ---------------------------------------------------------------------- Guidance on giving a great CUFP talk Focus on the interesting bits: Think about what will distinguish your talk, and what will engage the audience, and focus there. There are a number of places to look for those interesting bits. Setting: FP is pretty well-established in some areas, including formal verification, financial processing, and server-side web services. An unusual setting can be a source of interest. If you're deploying FP-based mobile UIs or building servers on oil rigs, then the challenges of that scenario are worth focusing on. Did FP help or hinder in adapting to the setting? Technology: The CUFP audience is hungry to learn about how FP techniques work in practice. What design patterns have you applied, and to what areas? Did you use functional reactive programming for user interfaces, or DSLs for playing chess, or fault-tolerant actors for large-scale geological data processing? Teach us something about the techniques you used, and why we should consider using them ourselves. Getting things done: How did you deal with large-scale software development in the absence of pre-existing support tools that are often expected in larger commercial environments (IDEs, coverage tools, debuggers, profilers) and without larger, proven bodies of libraries? Did you hit any brick walls that required support from the community? Don't just be a cheerleader: It's easy to write a rah-rah talk about how well FP worked for you, but CUFP is more interesting when the talks also cover what doesn't work. Even when the results were all great, you should spend more time on the challenges along the way than on the parts that went smoothly. ---------------------------------------------------------------------- -------------- next part -------------- An HTML attachment was scrubbed... URL: From daniel.berecz at gmail.com Tue Jun 14 19:50:27 2016 From: daniel.berecz at gmail.com (Gmail) Date: Tue, 14 Jun 2016 12:50:27 -0700 Subject: [Haskell] [ANN] Budapest Haskell Hackathon 2016, 6-7th Aug 2016 Message-ID: Hi everybody, I'm happy to announce that our local user group will hold a Haskell Hackathon in Budapest this year (this will be the second)! We will hold it from August 6th to the 7th (Saturday & Sunday). You can find out more on the following link: https://wiki.haskell.org/Budapest_Hackathon_2016 We will?reguraly?update the site with new information. If you decide to come, please fill out the following Google Form: http://goo.gl/forms/pqgh6fvK8F8a2pAg1 If you have a project, demo, or talk that you want to bring to the event please contact us, and we can talk about the details. You can find our contact info the events wiki site, or you can just contact me directly. The event will be open to people of all experience levels, from beginners to gurus. The only requisite is that you?re interested in the Haskell language, and want to hang out with us, and have a good time! Greetings from Daniel, and the other BP-HUG organizers. From andrea.rosa at usi.ch Tue Jun 14 19:55:57 2016 From: andrea.rosa at usi.ch (Andrea Rosa) Date: Tue, 14 Jun 2016 19:55:57 +0000 Subject: [Haskell] JTRES 2016, Submission Deadline Extended to July 3 Message-ID: <9CC05C35-EE5E-4680-B632-B62107CB0E07@usi.ch> ******** ******** The paper submission deadline has been extended to ******** July 3, 2016 ******** ====================================================================== CALL FOR PAPERS The 14th Workshop on Java Technologies for Real-Time and Embedded Systems JTRES 2016 Part of the Managed Languages & Runtimes Week 2016 29 August - 2 September 2016 Lugano, Switzerland http://jtres2016.compute.dtu.dk/ ====================================================================== Submission deadline: 3 July, 2016 Submission site: https://easychair.org/conferences/?conf=jtres2016 ====================================================================== Over 90% of all microprocessors are now used for real-time and embedded applications. Embedded devices are deployed on a broad diversity of distinct processor architectures and operating systems. The application software for many embedded devices is custom tailored if not written entirely from scratch. The size of typical embedded system software applications is growing exponentially from year to year, with many of today's embedded systems comprised of multiple millions of lines of code. For all of these reasons, the software portability, reuse, and modular composability benefits offered by Java are especially valuable to developers of embedded systems. Both embedded and general-purpose software frequently need to comply with real-time constraints. Higher-level programming languages and middleware are needed to robustly and productively design, implement, compose, integrate, validate, and enforce memory and real-time constraints along with conventional functional requirements for reusable software components. The Java programming language has become an attractive choice because of its safety, productivity, its relatively low maintenance costs, and the availability of well-trained developers. ::Goal:: Interest in real-time Java by both the academic research community and commercial industry has been motivated by the need to manage the complexity and costs associated with continually expanding embedded real-time software systems. The goal of the workshop is to gather researchers working on real-time and embedded Java to identify the challenging problems that still need to be solved in order to assure the success of real-time Java as a technology and to report results and experience gained by researchers. The Java ecosystem has outgrown the combination of Java as programming language and the JVM. For example, Android uses Java as source language and the Dalvik virtual machine for execution. Languages such as Scala are compiled to Java bytecode and executed on the JVM. JTRES welcomes submissions that apply such approaches to embedded and/or real-time systems. ::Submission Requirements:: Participants are expected to submit a paper of at most 10 pages (ACM Conference Format, i.e., two-columns, 10 point font). Accepted papers will be published in the ACM International Conference Proceedings Series via the ACM Digital Library and have to be presented by one author at the JTRES. LaTeX and Word templates can be found at: http://www.acm.org/sigs/pubs/proceed/template.html Papers describing open source projects shall include a description how to obtain the source and how to run the experiments in the appendix. The source version for the published paper will be hosted at the JTRES web site. Papers should be submitted through EasyChair. Please use the submission link: https://easychair.org/conferences/?conf=jtres2016 Selected papers will be invited for submission to a special issue of the TBD. Topics of interest to this workshop include, but are not limited to: New real-time programming paradigms and language features Industrial experience and practitioner reports Open source solutions for real-time Java Real-time design patterns and programming idioms High-integrity and safety critical system support Java-based real-time operating systems and processors Extensions to the RTSJ and SCJ Real-time and embedded virtual machines and execution environments Memory management and real-time garbage collection Multiprocessor and distributed real-time Java Real-time solutions for Android Languages other than Java on real-time or embedded JVMs Benchmarks and Open Source applications using real-time Java ::Important Dates:: Paper Submission: 3 July, 2016 (extended) Notification of Acceptance: 28 July, 2016 (extended) Camera Ready Paper Due: 15 August, 2016 Workshop: 29 August - 2 September, 2016 ::Program Chair:: Martin Schoeberl, Technical University of Denmark ::Workshop Chair:: Walter Binder, University of Lugano (USI), Switzerland ::Program Committee Members:: Ethan Blanton, Fiji Systems Inc Ana Cavalcanti, University of York Peter Dibble, RTSJ M. Teresa Higuera-Toledano, Universidad Complutense de Madrid James Hunt, Aicas Stephan Korsholm, Via University College Doug Lea, SUNY Oswego Doug Locke, LC Systems Services Kelvin Nilsen Wolfgang Puffitsch, Technical University of Denmark Anders Ravn, Aalborg University Martin Schoeberl, Technical University of Denmark Fridtjof Siebert, Aicas Andy Wellings, University of York Lukasz Ziarek, SUNY Buffalo ------------ Andrea Ros? PhD student - Teaching assistant Faculty of Informatics - 2nd floor Universit? della Svizzera italiana (USI) Via G. Buffi 13 CH-6904 Lugano Switzerland (e) andrea.rosa at usi.ch (p) +41 58 666 4455 ext. 2183 (w) http://www.inf.usi.ch/phd/rosaa/ From brucker at spamfence.net Tue Jun 14 23:54:29 2016 From: brucker at spamfence.net (Achim D. Brucker) Date: Wed, 15 Jun 2016 00:54:29 +0100 Subject: [Haskell] 2nd Call for Papers: OCL and Textual Modeling Tools and Textual Model Transformations (OCL 2016) - Submit Your Paper Until July 17, 2016 Message-ID: <20160614235429.GA6178@fujikawa.home.brucker.ch> (Apologies for duplicates) Only four weeks until the deadline! -- Dr. Achim D. Brucker | Senior Lecturer | University of Sheffield https://www.brucker.ch/ From storm at cwi.nl Wed Jun 15 20:12:59 2016 From: storm at cwi.nl (Tijs van der Storm) Date: Wed, 15 Jun 2016 20:12:59 +0000 Subject: [Haskell] SPLASH'16: 2nd Combined Call for Contributions to Collocated Events Message-ID: ################################################# ACM Conference on Systems, Programming, Languages, and Applications: Software for Humanity (SPLASH'16) ################################################# Amsterdam, The Netherlands Sun 30th October - Fri 4th November , 2016 http://2016.splashcon.org https://twitter.com/splashcon https://www.facebook.com/SPLASHCon/ Sponsored by ACM SIGPLAN Combined Call for Contributions to SPLASH tracks, collocated conferences, symposia and workshops: - SPLASH-I, SPLASH-E, Doctoral Symposium, Student Research Competition, Programming Languages Mentoring Workshop, Posters - Generative Programming: Concepts & Experiences (GPCE) - Software Language Engineering (SLE) - Scala Symposium - Workshops: AGERE, DSLDI, DSM, FOSD, ITSLE, LWC at SLE, META, MOBILE!, NOOL, PLATEAU, Parsing at SLE, REBLS, RUMPLE, SA-MDE, SEPS, VMIL, WODA The ACM SIGPLAN conference on Systems, Programming, Languages and Applications: Software for Humanity (SPLASH) embraces all aspects of software construction, to make it the premier conference at the intersection of programming, languages, systems, and software engineering. SPLASH'16 hosts a record number collocated tracks and events, from associated conferences (GPCE, SLE) and symposia (DLS, Scala), to 16 workshops! Please see below about important dates. We look forward to your submissions! SPLASH'16 Additional Tracks =========================== ## SPLASH-I: Innovation, Interaction, Insight, Industry, Invited SPLASH-I is the track of SPLASH dedicated to great talks on exciting topics! SPLASH-I will run in parallel with all of SPLASH (during the week days), and is open to all attendees. SPLASH-I will host both invited talks and selected talks submitted via this call for proposals. SPLASH-I solicits inspiring talks, tutorials and demonstrations on exciting topics related to programming and programming systems, delivered by excellent speakers from academia or industry. Deadline: 1st of August Website: http://2016.splashcon.org/track/splash-2016-splash-i ## SPLASH-E: Foundational Concepts of Computation SPLASH-E will be a one-day working meeting, with the following goals: - Building on prior work, identify and enumerate the foundational concepts of computation. - More ambitiously, for each concept, create a detailed plan for a lesson (or short sequence of lessons) for 8 year olds, to teach the concept. We do not solicit publications, but we ask prospective participants to submit a one-paragraph position statement. Website: http://2016.splashcon.org/track/splash-2016-splash-e ## Doctoral Symposium The SPLASH Doctoral Symposium provides students with useful guidance for completing their dissertation research and beginning their research careers. The Symposium will provide an interactive forum for doctoral students who have progressed far enough in their research to have a structured proposal, but will not be defending their dissertation in the next 12 months. Submission deadline: Thu 30 Jun 2016 Website: http://2016.splashcon.org/track/splash-2016-ds ## Student Research Competition Continuing the successes of previous years, SPLASH is again hosting an ACM SIGPLAN Student Research Competition (ACM SRC). The competition is an internationally-recognized venue that enables undergraduate and graduate students to experience the research world and to share their research results with other students and SPLASH attendees. The competition has separate categories for undergraduate and graduate students and awards prizes to the top three students in each category. The ACM SIGPLAN Student Research Competition shares the Poster session?s goal to facilitate interaction with researchers and industry practitioners, providing both sides with the opportunity to learn of ongoing, current research. Additionally, the Student Research Competition gives students experience with both formal presentations and evaluations. Submission deadline: Mon 15 Aug 2016 Website: http://2016.splashcon.org/track/splash-2016-src ## PLMW: Programming Language Mentoring Workshop The purpose of Programming Languages Mentoring Workshop (PLMW) is to give promising students who consider pursuing a graduate degree in this field an overview of what research in this field looks like and how to get into and succeed in graduate school. In other words, a combination whirlwind tour of this research area, networking opportunity, and how-to-succeed guide. The program of PLMW will include talks by prominent researchers of the field of programming languages and software engineering providing an insight in their research. To learn more about PLMW, please see the SIGPLAN PLMW web page (http://www.sigplan.org/Conferences/PLMW/). Application deadline: Sun 14 Aug 2016 Website: http://2016.splashcon.org/track/splash-2016-plmw ## Posters The SPLASH Poster track provides an excellent forum for authors to present their recent or ongoing projects in an interactive setting, and receive feedback from the community. We invite submissions covering any aspect of programming, systems, languages and applications. The goal of the poster session is to encourage and facilitate small groups of individuals interested in a technical area to gather and interact. It is held early in the conference, to promote continued discussion among interested parties. Submission deadline: Fri 8 Jul 2016 Website: http://2016.splashcon.org/track/splash-2016-posters Collocated Conferences and Symposia =================================== ## GPCE: Generative Programming: Concepts & Experiences Generative and component approaches and domain-specific abstractions are revolutionizing software development just as automation and componentization revolutionized manufacturing. Raising the level of abstraction in software specification has been a fundamental goal of the computing community for several decades. Key technologies for automating program development and lifting the abstraction level closer to the problem domain are Generative Programming for program synthesis, Domain-Specific Languages (DSLs) for compact problem-oriented programming notations, and corresponding Implementation Technologies aiming at modularity, correctness, reuse, and evolution. As the field matures Applications and Empirical Results are of increasing importance. The International Conference on Generative Programming: Concepts & Experiences (GPCE) is a venue for researchers and practitioners interested in techniques that use program generation, domain-specific languages, and component deployment to increase programmer productivity, improve software quality, and shorten the time-to-market of software products. In addition to exploring cutting-edge techniques of generative software, our goal is to foster further cross-fertilization between the software engineering and the programming languages research communities. Abstract submission deadline: Fri 17 Jun 2016 Paper submission deadline: Fri 24 Jun 2016 Website: http://www.gpce.org Call for papers (pdf): http://conf.researchr.org/getImage/gpce-2016/orig/GPCE16+-+Call+for+Papers.pdf Twitter: https://twitter.com/gpceconf Facebook: https://www.facebook.com/GPCEConference/ ## Scala Symposium The Scala Symposium is a forum for researchers and practitioners to share new ideas and results of interest to the Scala programming language community. We welcome a broad spectrum of research topics in many formats, going from student talks all the way to full 10-page research papers, indexed by the ACM Digital Library. Abstract submission deadline: Sun 17 Jul 2016 Paper submission deadline: Mon 25 Jul 2016 Website: http://2016.splashcon.org/track/scala-2016 ## SLE: Software Language Engineering Software Language Engineering (SLE) is the application of systematic, disciplined, and measurable approaches to the development, use, deployment, and maintenance of software languages. The term ?software language? is used broadly, and includes: general-purpose programming languages; domain-specific languages (e.g. BPMN, Simulink, Modelica); modeling and metamodeling languages (e.g. SysML and UML); data models and ontologies (e.g. XML-based and OWL-based languages and vocabularies). SLE aims to be broad-minded and inclusive about relevance and scope. We solicit high-quality contributions in areas ranging from theoretical and conceptual contributions to tools, techniques, and frameworks in the domain of language engineering. Topics relevant to SLE cover generic aspects of software languages development rather than aspects of engineering a specific language. Abstract submission deadline: Fri 17 Jun 2016 Paper submission deadline: Fri 24 Jun 2016 Website: http://2016.splashcon.org/track/sle-2016-papers Twitter: https://twitter.com/sleconf Facebook https://www.facebook.com/SLEconference/ Workshops ========= SPLASH'16 will host a record number of 16 workshops: ## AGERE! Programming based on Actors, Agents, and Decentralized Control The AGERE! workshop is aimed at focusing on programming systems, languages and applications based on actors, active/concurrent objects, agents and ? more generally ? high-level programming paradigms promoting a mindset of decentralized control in solving problems and developing software. The workshop is designed to cover both the theory and the practice of design and programming, bringing together researchers working on models, languages and technologies, and practitioners developing real-world systems and applications. Abstract submission deadline: Mon 1 Aug 2016 Paper submission deadline: Mon 15 Aug 2016 Website: http://2016.splashcon.org/track/agere2016 ## DSLDI: Domain-specific Language Design and Implementation Domain-Specific Language Design and Implementation (DSLDI) is a workshop intended to bring together researchers and practitioners interested in discussing how DSLs should be designed, implemented, supported by tools, and applied in realistic contexts. The focus of the workshop is on all aspects of this process, from soliciting domain knowledge from experts, through the design and implementation of the language, to evaluating whether and how a DSL is successful. More generally, we are interested in continuing to build a community that can drive forward the development of modern DSLs. Submission deadline talk proposals: Mon 1 Aug 2016 Website: http://2016.splashcon.org/track/dsldi2016 ## DSM: Domain-Specific Modeling Domain-specific languages provide a viable and time-tested solution for continuing to raise the level of abstraction, and thus productivity, beyond coding, making systems development faster and easier. When accompanied with suitable automated modeling tools and generators it delivers to the promises of continuous delivery and devops. In domain-specific modeling (DSM) the models are constructed using concepts that represent things in the application domain, not concepts of a given programming language. The modeling language follows the domain abstractions and semantics, allowing developers to perceive them- selves as working directly with domain concepts. Together with frameworks and platforms, DSM can automate a large portion of software production. Submission deadline: Mon 15 Aug 2016 Website: http://2016.splashcon.org/track/dsm2016 ## FOSD: Feature-oriented Software Development Feature orientation is an emerging paradigm of software development. It supports the automatic generation of large-scale software systems from a set of units of functionality, called features. The key idea of feature-oriented software development (FOSD) is to explicitly represent similarities and differences of a family of software systems for a given application domain (e.g., database systems, banking software, text processing systems) with the goal of reusing software artifacts among the family members. Submission deadline: Mon 1 Aug 2016 Website: http://www.fosd.net/workshop2016 Call for papers: http://conf.researchr.org/getImage/FOSD-2016/orig/FOSD+2016+-+CFP.pdf ## ITSLE: Industry Track Software Language Engineering Industry Track for Software Language Engineering (ITSLE) is a workshop to bring together practitioners and researchers from industry and academia working on the area of software language engineering. Domain Specific Languages (DSLs) and Model-Driven Software Engineering (MDSE) techniques are being developed and used broadly in industry. However, as the size and complexity of software systems steadily increase, so does the cost of maintaining and improving the DSL and MDSE techniques and tools. It introduces new challenges such as language co-evolution, maintainability of legacy software using older version of DSLs and MDSE techniques, and extendability and scalability of these techniques. Some of these challenges have been addressed by the SLE research community and some remain unsolved. Submission deadline: Mon 1 Aug 2016 Website: http://2016.splashcon.org/track/itsle2016 ## LWC at SLE: Language Workbench Challenge Language workbenches are tools for software language engineering. They distinguish themselves from traditional compiler tools by providing integrated development environment (IDE) support for defining, implementing, testing and maintaining languages. Not only that, languages built with a language workbench are supported by IDE features as well (e.g., syntax highlighting, outlining, reference resolving, completion etc.). As a result, language workbenches achieve a next level in terms of productivity and interactive editor support for building languages, in comparison to traditional batch-oriented, compiler construction tools. The goal of this workshop is twofold. First: exercise and assess the state-of-the-art in language workbenches using challenge problems from the user perspective (i.e. the language designer). Second: foster knowledge exchange and opportunities for collaboration between language workbench implementors and researchers. Submission deadline of solutions: Mon 1 Aug 2016 Website: http://2016.splashcon.org/track/lwc2016 ## META The Meta?16 workshop aims to bring together researchers working on metaprogramming and reflection, as well as users building applications, language extensions such as contracts, or software tools. With the changing hardware and software landscape, and increased heterogeneity of systems, metaprogramming becomes an important research topic to handle the associate complexity once more. Contributions to the workshop are welcome on a wide range of topics related to design, implementation, and application of metaprogramming techniques, as well as empirical studies on and typing for such systems and languages. Abstract submission: Wed 27 Jul 2016 Paper submission: Mon 1 Aug 2016 Website: http://2016.splashcon.org/track/meta2016 ## Mobile! Mobile application use and development is experiencing enormous growth, and by 2016 more than 200 billion apps have been downloaded. The mobile domain presents new challenges to software engineering. Mobile platforms are rapidly changing, with diverse capabilities including various input modes, wireless communication types, on-device memory and disk capacities, and sensors. Applications function on wide ranges of platforms, requiring scaling according to hardware. Many applications interact with third-party services, requiring application development with effective security and authorization processes for those dataflows. ?Bring your own device? policies pose security challenges including employer and employee data privacy. Developing secure mobile applications requires new tools and practices such as improved refactoring tools for hybrid applications; polyglot applications; and testing techniques for multiple devices. This workshop aims to establish a community of researchers and practitioners, leading to further research in mobile development. Paper submission deadline: Mon 1 Aug 2016 Website: http://2016.splashcon.org/track/mobile2016 ## NOOL: New Object-Oriented Languages NOOL-16 is a new unsponsored workshop to bring together users and implementors of new(ish) object oriented systems. Through presentations, and panel discussions, as well as demonstrations, and video and audiotapes, NOOL-16 will provide a forum for sharing experience and knowledge among experts and novices alike. We invite technical papers, case studies, and surveys in the following areas, related to theory of object oriented programming, new languages, implementation of languages, tools and environment, applications and related work. Abstract submission deadline: Thu 1 Sep 2016 Website: http://2016.splashcon.org/track/nool2016 ## PLATEAU: Workshop on Evaluation and Usability of Programming Languages and Tools Programming languages exist to enable programmers to develop software effectively. But how efficiently programmers can write software depends on the usability of the languages and tools that they develop with. The aim of this workshop is to discuss methods, metrics and techniques for evaluating the usability of languages and language tools. The supposed benefits of such languages and tools cover a large space, including making programs easier to read, write, and maintain; allowing programmers to write more flexible and powerful programs; and restricting programs to make them more safe and secure. PLATEAU gathers the intersection of researchers in the programming language, programming tool, and human-computer interaction communities to share their research and discuss the future of evaluation and usability of programming languages and tools. Paper submission deadline: Mon 1 Aug 2016 Website: http://2016.splashcon.org/track/plateau2016 ## Parsing at SLE Parsing at SLE 2016 is the fourth annual workshop on parsing programming languages. The intended participants are the authors of parser generation tools and parsers for programming languages and other software languages. For the purpose of this workshop ?parsing? is a computation that takes a sequence of characters as input and produces a syntax tree or graph as output. This possibly includes tokenization using regular expressions, deriving trees using context-free grammars, and mapping to abstract syntax trees. The goal is to bring together today?s experts in the field of parsing, in order to explore open questions and possibly forge new collaborations. The topics may include algorithms, implementation and generation techniques, syntax and semantics of meta formalisms (BNF), etc. We expect to attract participants that have been or are developing theory, techniques and tools in the broad area of parsing. Abstract submission deadline: Fri 9 Sep 2016 Website: http://2016.splashcon.org/track/parsing2016 ## REBLS: Reactive and Event-based Languages & Systems Reactive programming and event-based programming are two closely related programming styles that are becoming ever more important with the advent of advanced HPC technology and the ever increasing requirement for our applications to run on the web or on collaborating mobile devices. A number of publications on middleware and language design ? so-called reactive and event-based languages and systems (REBLS) ? have already seen the light, but the field still raises several questions. For example, the interaction with mainstream language concepts is poorly understood, implementation technology is in its infancy and modularity mechanisms are almost totally lacking. Moreover, large applications are still to be developed and patterns and tools for developing reactive applications is an area that is vastly unexplored. Paper submission deadline: Mon 1 Aug 2016 Website: http://2016.splashcon.org/track/rebls2016 ## RUMPLE: ReUsable and Modular Programming Language Ecosystems The RUMPLE?16 workshop is a venue for discussing a wide range of topics related to modular approaches to programming language implementation, extensible virtual machine architectures, as well as reusable runtime components such as dynamic compilers, interpreters, or garbage collectors. One of the main goals of the workshop is to bring together both researchers and practitioners and facilitate effective sharing of their respective experiences and ideas. We welcome presentation proposals in the form of extended abstracts discussing experiences, work-in-progress, as well as future visions from the academic as well as industrial perspective. Extended abstract submission deadline: Mon 1 Aug 2016 Website: http://2016.splashcon.org/track/rumple2016 ## SA-MDE: Tutorial on MDD with Model Catalogue and Semantic Booster With the model-driven development (MDD) approach to software, rather than building each system from scratch, one specifies a metamodel covering a whole class of similar systems, provides a universal generator to transform metamodel instances into executable programs, and specifies each system by a higher-level model conforming to the metamodel. When the application domain concerns semantically rich datasets?with structured entities, interlinked data, and sophisticated integrity constraints?then the MDD tools should support this richness: in the metamodel, in individual system models, and in the generation process. In this tutorial, we present the Model Catalogue and Semantic Booster, tools respectively for curating and exploiting semantically rich data in a MDD workflow, which are under development as part of ALIGNED. Participants will learn what the tools can do, gain hands-on experience with using them, and be able to contribute challenges and suggestions for future development. Website: http://2016.splashcon.org/track/samde2016 ## SEPS: Software Engineering for Parallel Systems This workshop provides a stable forum for researchers and practitioners dealing with compelling challenges of the software development life cycle on modern parallel platforms. The increased complexity of parallel applications on modern parallel platforms (e.g. multicore/manycore, distributed or hybrid) requires more insight into development processes, and necessitates the use of advanced methods and techniques supporting developers in creating parallel applications or parallelizing and re-engineering sequential legacy applications. We aim to advance the state of the art in different phases of parallel software development, covering software engineering aspects such as requirements engineering and software specification; design and implementation; program analysis, profiling and tuning; testing and debugging. Paper submission deadline: Mon 1 Aug 2016 Website: http://2016.splashcon.org/track/seps2016 ## VMIL: Virtual Machines and Intermediate Languages The VMIL workshop is a forum for research in virtual machines and intermediate languages. It is dedicated to identifying programming mechanisms and constructs that are currently realized as code transformations or implemented in libraries but should rather be supported at VM level. Candidates for such mechanisms and constructs include modularity mechanisms (aspects, context-dependent layers), concurrency (threads and locking, actors, capsules, processes, software transactional memory), transactions, development tools (profilers, runtime verification), etc. Topics of interest include the investigation of which such mechanisms are worthwhile candidates for integration with the run-time environment, how said mechanisms can be elegantly (and reusably) expressed at the intermediate language level (e.g., in bytecode), how their implementations can be optimized, and how virtual machine architectures might be shaped to facilitate such implementation efforts. Paper submission deadline: Mon 1 Aug 2016 Website: http://2016.splashcon.org/track/vmil2016 ## WODA: Workshop on Dynamic Analysis The International Workshop on Dynamic Analysis (WODA) is the place where researchers interested in dynamic analysis and related topics can meet and discuss current research, issues, and trends in the field. WODA exists since 2003 and has been co-located with several different SE/PL conferences in the past, including ICSE, ISSTA, ASPLOS, and SPLASH. See https://sites.google.com/site/scwoda/ for the history of WODA. The 2016 edition of WODA will be a mix of invited talks by high-visibility researchers in the community and presentations of submitted workshop papers. Submission deadline: Fri 19 Aug 2016 Website: http://2016.splashcon.org/track/woda2016 # SPLASH Supporters SPLASH'16 is kindly supported by the following organizations: - ACM: http://www.acm.org/ - SIGPLAN: http://www.sigplan.org/ - LogicBlox (Gold): http://www.logicblox.com/ - Oracle (Silver): http://www.oracle.com/index.html - TU Delft (Silver): http://tudelft.nl/ - Huawei (Bronze): http://www.huawei.com/en/ - Facebook (Bronze): https://research.facebook.com/ - IBM Research (Bronze): http://www.research.ibm.com/ - Google (Bronze): https://www.google.com Want to support SPLASH'16? See our options here: http://2016.splashcon.org/attending/support-program. -------------- next part -------------- An HTML attachment was scrubbed... URL: From andrea.rosa at usi.ch Wed Jun 15 21:42:39 2016 From: andrea.rosa at usi.ch (Andrea Rosa) Date: Wed, 15 Jun 2016 21:42:39 +0000 Subject: [Haskell] ICPE 2017 - 1st Call for Papers Message-ID: ICPE 2017 8th ACM/SPEC International Conference on Performance Engineering Sponsored by ACM SIGMETRICS, SIGSOFT, and SPEC RG L'Aquila, Italy April 22-26, 2017 https://icpe2017.spec.org/ ------------------------------------------------------------------------ IMPORTANT DATES Research and Industrial / Experience Abstracts: Sep 23, 2016 Research and Industrial / Experience Papers: Sep 30, 2016 Research and Industrial / Experience Paper Notification: Nov 18, 2016 Work-in-Progress/Vision Papers: Nov 25, 2016 Workshop Proposals: Nov 05, 2016 Workshop Proposal Notification: Nov 19, 2016 Dates for tutorials, posters and demos will be announced. ------------------------------------------------------------------------ SCOPE AND TOPICS The goal of the International Conference on Performance Engineering (ICPE) is to integrate theory and practice in the field of performance engineering by providing a forum for sharing ideas and experiences between industry and academia. Nowadays, complex systems of all types, like Web-based systems, data centers and cloud infrastructures, social networks, peer-to-peer, mobile and wireless systems, cyber-physical systems, the Internet of Things, real-time and embedded systems, have increasingly distributed and dynamic system architectures that provide high flexibility, however, also increase the complexity of managing end-to-end application performance. ICPE brings together researchers and industry practitioners to share and present their experiences, discuss challenges, and report state-of-the-art and in-progress research on performance engineering of software and systems, including performance measurement, modeling, benchmark design, and run-time performance management. The focus is both on classical metrics such as response time, throughput, resource utilization, and (energy) efficiency, as well as on the relationship of such metrics to other system properties including but not limited to scalability, elasticity, availability, reliability, and security. This year's main theme is cost-effective performance engineering, where cost has a wide interpretation including measures such as effort and energy in addition to traditional performance measures. Topics of interest include, but are not limited to: Performance modeling of software * Languages and ontologies * Methods and tools * Relationship/integration/tradeoffs with other QoS attributes * Analytical, simulation and statistical modeling methodologies * Model validation and calibration techniques * Automatic model extraction * Performance modeling and analysis tools Performance and software development processes/paradigms * Software performance patterns and anti-patterns * Software/performance tool interoperability (models and data interchange formats) * Performance-oriented design, implementation and configuration management * Software Performance Engineering and Model-Driven Development * Gathering, interpreting and exploiting software performance annotations and data * System sizing and capacity planning techniques * (Model-driven) Performance requirements engineering * Relationship between performance and architecture * Collaboration of development and operation (DevOps) for performance * Performance and agile methods * Performance in Service-Oriented Architectures (SOA) * Performance of micro-service architectures and containers Performance measurement, monitoring and analysis * Performance measurement and monitoring techniques * Analysis of measured application performance data * Application tracing and profiling * Workload characterization techniques * Experimental design * Tools for performance testing, measurement, profiling and tuning Benchmarking * Performance metrics and benchmark suites * Benchmarking methodologies * Development of parameterizable, flexible benchmarks * Benchmark workloads and scenarios * Use of benchmarks in industry and academia Run-time performance management * Use of models at run-time * Online performance prediction * Autonomic resource management * Utility-based optimization * Capacity management Power and performance, energy efficiency * Power consumption models and management techniques * Tradeoffs between performance and energy efficiency * Performance-driven resource and power management Performance modeling and evaluation in different environments and application domains * Web-based systems, e-business, Web services * Big data systems, data analytics systems, and other data analysis systems * Internet of Things * Social networks * Cyber-physical systems * Industrial Internet (Industry 4.0) * Virtualization and cloud computing * Autonomous/adaptive systems * Transaction-oriented systems * Communication networks * Parallel and distributed systems * Embedded systems * Multi-core systems * Cluster and grid computing environments * High performance computing * Event-based systems * Real-time and multimedia systems * Peer-to-peer, mobile and wireless systems All other topics related to performance of software and systems. ------------------------------------------------------------------------ SUBMISSION GUIDELINES Authors are invited to submit original, unpublished papers that are not being considered in another forum. A variety of contribution styles for papers are solicited including: basic and applied research papers for novel scientific insights, industrial and experience papers reporting on applying performance engineering or benchmarks in practice, and work-in-progress/vision papers for ongoing but yet interesting work. Different acceptance criteria apply based on the expected content of the individual contribution types. Authors will be requested to self-classify their papers according to topic and contribution style when submitting their papers. Submissions to all tracks need to be uploaded to ICPE's submission system and conform to the ACM submission format. For detailed submission instructions, please visit: https://icpe2017.spec.org/submissions.html. At least one author of each accepted paper is required to register at the full rate, attend the conference and present the paper. Presented papers will be published in the ICPE 2017 conference proceedings that will be published by ACM and included in the ACM Digital Library. After the conference, there will be a call for a special issue of a journal. AUTHORS TAKE NOTE: The official publication date is the date the proceedings are made available in the ACM Digital Library. This date may be up to two weeks prior to the first day of your conference. The official publication date affects the deadline for any patent filings related to published work. (For those rare conferences whose proceedings are published in the ACM Digital Library after the conference is over, the official publication date remains the first day of the conference.) ------------------------------------------------------------------------ PROGRAM COMMITTEE (RESEARCH PAPERS) Amy Apon, Clemson University Martin Arlitt, HP Labs and University of Calgary Alberto Avritzer, Performance Engineering Consultant Steffen Becker, University of Technology Chemnitz Robert Birke, IBM Zurich Research Laboratory Andre B. Bondi, Software Performance and Scalability Consulting LLC Niklas Carlsson, Linkoping University Lydia Y. Chen, IBM Zurich Research Laboratory Lucy Cherkasova, HP Labs Antinisca Di Marco, Universit? dell'Aquila Wilhelm Hasselbring, Kiel University Alexandru Iosup, Delft University of Technology Evangelia Kalyvianaki, City University London Samuel Kounev, University of Wuerzburg Heiko Koziolek, ABB Corporate Research Diwakar Krishnamurthy, University of Calgary Patrick Lee, The Chinese University of Hong Kong Catalina M. Llad?, Universitat Illes Balears Lei Lu, VMware Andrea Marin, University of Venice Daniel Menasce, George Mason University Daniel S. Menasch?, Federal Univ. of Rio de Janeiro Jos? Merseguer, Universidad de Zaragoza Ningfang Mi, Northeastern University Raffaela Mirandola, Politecnico di Milano Manoj Nambiar, Tata Consultancy Services Dorina Petriu, Carleton University Denys Poshyvanyk, College of William and Mary Ralf Reussner, Karlsruhe Institute of Technology Alma Riska, Network Appliances Jerry Rolia, HP Labs Rekha Singhal, Tata Consultancy Services Mirco Tribastone, IMT Institute for Advanced Studies Catia Trubiani, Gran Sasso Science Institute Petr Tuma, Charles University Ana Lucia Varbanescu, University of Amsterdam Enrico Vicario, University of Florence Katinka Wolter, Freie Universitaet zu Berlin Murray Woodside, Carleton University Feng Yan, University of Nevada-Reno Xiaoyun Zhu, Futurewei Technologies Inc ------------------------------------------------------------------------ ORGANIZING COMMITTEE General Chairs * Walter Binder, Universit? della Svizzera italiana (USI), Switzerland * Vittorio Cortellessa, Universit? dell'Aquila, Italy Research Program Chairs * Anne Koziolek, Karlsruhe Institute of Technology, Germany * Evgenia Smirni, College of William and Mary, USA Industry Program Chairs * Meikel Poess, Oracle, USA Tutorials Chair * Valeria Cardellini, Universit? di Roma Torvergata, Italy Workshops Chairs * Hanspeter M?ssenb?ck, Johannes Kepler Universit?t Linz, Austria * Catia Trubiani, Gran Sasso Science Institute, Italy Posters and Demos Chair * Lubomir Bulej, Charles University, Czech Republic Awards Chairs * Petr Tuma, Charles University, Czech Republic * Murray Woodside, Carleton University, Canada Local Organization Chair * Antinisca Di Marco, Universit? dell'Aquila, Italy Publicity Chairs * Andrea Ros?, Universit? della Svizzera italiana (USI), Switzerland * Diego Perez, Politecnico di Milano, Italy Finance Chair * Andr? van Hoorn, University of Stuttgart Publication and Registration Chair * Davide Arcelli, Universit? dell'Aquila, Italy Web Site Chair * Cathy Sandifer, SPEC, USA ------------ Andrea Ros? PhD student - Teaching assistant Faculty of Informatics - 2nd floor Universit? della Svizzera italiana (USI) Via G. Buffi 13 CH-6904 Lugano Switzerland (e) andrea.rosa at usi.ch (p) +41 58 666 4455 ext. 2183 (w) http://www.inf.usi.ch/phd/rosaa/ From jv at informatik.uni-bonn.de Fri Jun 17 08:06:08 2016 From: jv at informatik.uni-bonn.de (Janis Voigtlaender) Date: Fri, 17 Jun 2016 10:06:08 +0200 Subject: [Haskell] WFLP 2016 - Deadline Extension Message-ID: <8ebec33b-733a-ce34-e7bf-62ccf2ebadca@informatik.uni-bonn.de> 24th International Workshop on Functional and (Constraint) Logic Programming (WFLP 2016) https://wflp2016.github.io/ September 13-14, part of the Leipzig Week of Declarative Programming (L-DEC 2016) The deadlines have been extended by a week, but are nearing soon. We will have proceedings published by EPTCS (http://www.eptcs.org/). Both full technical papers and less formal work-in-progress reports are welcome, as are system descriptions. More details below and on the web page. *********************************************************** Deadlines: * abstract submission: June 22, 2016 (extended) * paper submission: June 29, 2016 (extended) * notification: July 15, 2016 * camera-ready (workshop) version due: August 10, 2016 Submissions can be directly accepted for publication in the formal EPTCS proceedings, or accepted for presentation at the workshop and invited to another round of reviewing after revision. *********************************************************** The international workshops on functional and (constraint) logic programming aim at bringing together researchers, students, and practitioners interested in functional programming, logic programming, and their integration. This year the workshop is co-located with two other events as part of http://nfa.imn.htwk-leipzig.de/LDEC2016/ in order to promote the cross-fertilizing exchange of ideas and experiences among and between the communities interested in the foundations, applications, and combinations of high-level, declarative programming languages and related areas. Topics of interest for WFLP include (but are not limited to): * Functional programming * Logic programming * Constraint programming * Deductive databases, data mining * Extensions of declarative languages, objects * Multi-paradigm declarative programming * Foundations, semantics, nonmonotonic reasoning, dynamics * Parallelism, concurrency * Program analysis, abstract interpretation * Program transformation, partial evaluation, meta-programming * Specification, verification, declarative debugging * Knowledge representation, machine learning * Interaction of declarative programming with other formalisms * Implementation of declarative languages * Advanced programming environments and tools * Software engineering 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. There are separate submission categories for work-in-progress reports and system descriptions. Authors are welcome to indicate that they want to present their work in a talk but not include a paper in the formal proceedings. Submission is via EasyChair at https://easychair.org/conferences/?conf=wflp2016 The formal proceedings are prepared jointly with WLP 2016 and will be published in EPTCS: http://www.eptcs.org/ More details about submission format, LaTeX style etc., can be found on the web page: https://wflp2016.github.io/ *********************************************************** Program Committee: * Slim Abdennadher, German University in Cairo, Egypt * Sergio Antoy, Portland State University, USA * Sebastian Fischer, Freelancer, Germany * Francisco J. Lopez Fraguas, Universidad Complutense de Madrid, Spain * Michael Hanus, University of Kiel, Germany * Sebastiaan Joosten, University of Innsbruck, Austria * Kazutaka Matsuda, Tohoku University, Japan * Martin Sulzmann, Karlsruhe University of Applied Sciences, Germany * Janis Voigtlaender (Chair), University of Bonn, Germany From meneguette at ifsp.edu.br Mon Jun 20 15:51:58 2016 From: meneguette at ifsp.edu.br (RODOLFO IPOLITO MENEGUETTE) Date: Mon, 20 Jun 2016 12:51:58 -0300 (BRT) Subject: [Haskell] CFP: ACM MobiWac 2016 In-Reply-To: <1073192651.9831711.1466437901448.JavaMail.zimbra@ifsp.edu.br> Message-ID: <1256499682.9832594.1466437918287.JavaMail.zimbra@ifsp.edu.br> ** We apologize if you receive multiple copies of this message ** ================================================================== The 14th ACM International Symposium on Mobility Management and Wireless Access ( MobiWac 2016 ) November 13 - 17, 2016 - Malta http:// mobiwac -symposium.org/ ================================================================== The 14th ACM International Symposium on Mobility Management and Wireless Access ( MobiWac 2016 ) will be held in conjunction with MSWiM 2016 (the 19th ACM International Symposium on Modeling, Analysis and Simulation of Wireless and Mobile Systems) from November 13 to 17, 2016 in Malta. The MOBIWAC series of events are intended to provide an international forum for the discussion and presentation of original ideas, recent results and achievements by researchers, students, and systems developers on issues and challenges related to mobility management and wireless access protocols. To keep up with the technological developments, we also open up new areas such as mobile cloud computing starting from this year. Authors are encouraged to submit both theoretical and practical results of significance on all aspects of wireless and mobile access technologies, with an emphasis on mobility management and wireless access. Authors are invited to submit full papers describing original research. Submitted papers must neither have been published elsewhere nor currently be under review by another conference or journal. TOPICS OF INTEREST include, but are not limited to: - Mobile Cloud Computing - Wireless/Mobile Access Protocols - Wireless/Mobile Web Access - Wireless Internet and All-IP integration - Next Generation Wireless systems - Mobile Broadband Wireless Access - Pervasive Communication and Computing - Ubiquitous and mobile access - Wireless Applications and testbeds - Multi-Homing and Vertical Handoff - Multi-Channel Multi-Radio MAC / network layer management - Channels and resource allocation algorithms - Energy and power management algorithms - Mobility Models - Multi-technology switching using Software Defined Radios - Context-aware services and applications - Context-aware protocols and protocol architectures - Interactive applications - Mobile database management - Wireless Multimedia Protocols - Mobile and Wireless Entertainment - Mobile Info-services - Social mobile networks - Social mobile applications - Data analysis for mobile and wireless networks - SDN solutions in mobile and wireless networks - QoS management - Mobility Control and Management - Localization and tracking - Mobile/Vehicular environment access - Wireless ad hoc and sensor networks - Security,Trust management and Privacy issues - Fault Tolerance solutions - Wireless Systems' Design - Analysis/Simulation of wireless mobile systems - Testbeds for experimental and simulation analysis ORGANIZING COMMITTEE: General Chair Ángel Cuevas, Universidad Carlos III de Madrid, Spain Program Chairs Periklis Chatzimisios, Alexander TEI of Thessaloniki, Greece Robson De Grande, University of Ottawa, Canada Technical Program Committee Antonio A.F. Loureiro, Federal University of Minas Gerais, Brazil Michele Albano, CISTER, Portugal Chadi Assi, Concordia University, Canada Jalel Ben-othman, University of Paris 13, France Fernando Boavida, University of Coimbra, Portugal Juan Carlos Cano, Technical University of Valencia, Spain Yuh-Shyan Chen, National Taipei University, Taiwan Stefano Chessa, University of Pisa, Italy Danny De Vleeschauwer, Alcatel-Lucent, Belgium Andrés García Saavedra, Hamilton Institute, Ireland Roch Glitho, Concordia University, Canada Roberto González, NEC Laboratories Europe, Germany Khaled Harras, Carnegie Mellon University, USA Charalampos Konstantopoulos, University of Piraeus, Greece Pierre Leone, University of Geneva, Switzerland Sotiris Nikoletseas, University of Patras & Computer Technology Institute, Greece Ai-Chun Pang, National Taiwan University, Taiwan Grammati Pantziou, Technological Educational Institution of Athens, Greece Cristina M. Pinotti, University of Perugia, Italy Paulo Pinto, Universidade Nova de Lisboa, Portugal Victor Ramos, Universidad Autonoma Metropolitana, Mexico Victor Rangel, National University of Mexico, Mexico Thierry Turletti, INRIA, France Alicia Triviño, Universidad de Málaga, Spain Manuel Urueña, Universidad Carlos III de Madrid, Spain Emmanouel Varvarigos, University of Patras & Computer Technology Institute, Greece Zainab Zaidi, National ICT Australia, Ltd, Australia Posters/Demo Chair Graciela Román Alonso, Universidad Autónoma Metropolitana, Mexico Publicity Chairs Khalil El-Khatib, UOIT, Canada Mirela. A. M. Notare, Sao Jose Municipal University, Brazil ========================= Paper Submission, Publication, and Important Dates: High-quality original papers are solicited. Papers must be unpublished and must not be submitted for publication elsewhere. All papers will be reviewed by Technical Program Committee members and other experts active in the field to ensure high quality and relevance to the Symposium. The symposium will have a single track for regular papers and in addition, a separate interwoven track with short papers / posters. Paper length must be no more than 10 pages, double column, ACM style including tables and figures. Note that the regular paper size will be 8 pages, with the possibility to obtain up to 2 additional pages (total 10 pages) by paying a publication fee. Only PDF format is accepted. All accepted papers will appear in the Symposium proceedings published by ACM press. - Paper registration due: June 30, 2016 ( 11:59PM EST ) - Submission Deadline: June 30, 2016 ( 11:59PM EST ) - Notification of Acceptance: July 31, 2016 ( 11:59PM EST ) Papers are submitted via the EDAS system ( https://edas.info/N22672 ). For any question or problems related to MobiWac 2015 submissions, please contact the PC Chairs. FOR MORE INFORMATION about the conference, organizing committee, submission instructions, and venue please see the conference website ( http:// mobiwac -symposium.org ). -------------- next part -------------- An HTML attachment was scrubbed... URL: From andrea.rosa at usi.ch Mon Jun 20 22:16:12 2016 From: andrea.rosa at usi.ch (Andrea Rosa) Date: Mon, 20 Jun 2016 22:16:12 +0000 Subject: [Haskell] Call for Participation: 3rd Virtual Machine Meetup, September 1-2, Lugano, Switzerland Message-ID: Call for Participation: VMM’16 ============================== 3rd Virtual Machine Meetup Co-located with PPPJ September 1-2, 2016, Lugano, Switzerland http://vmmeetup.github.io/2016/ The 3rd Virtual Machine Meetup (VMM'16) is a venue for discussing the latest research and developments in the area of managed language execution. It will be held on 1st and 2nd of September at the Università della Svizzera italiana (USI), Lugano, Switzerland and is part of the Managed Languages & Runtimes Week 2016 (http://manlang16.inf.usi.ch/, other colocated events are PPPJ'16 and JTRES'16, room Auditorium from 9am - 5pm). We welcome presentations of new research results, experience reports, as well as position statements that can lead to interesting discussions. Topics include, but are not limited to: - Programming language design - Dynamic and static program analysis - Compiler construction - Managed runtime architectures - Data processing engines - Distributed execution environments To participate, please email thomas.wuerthinger at oracle.com stating your wish to attend, and your name and affiliation as you wish to have them on your name badge. There are limited participant slots due to the constraints of the room, so please register early, and by July 20th the latest. If you would like to give a presentation, please email Thomas with a title (max. 100 characters) and abstract (max. 400 characters). We may ask for additional information from you before making the program decision. Presentation slots are either 30 minutes (long) or 15 minutes (short) including Q/A. Important dates: - Submissions: July 10, 2016 - Author notification: July 17, 2016 - Registration for participation: July 20, 2016 - Virtual machine Meetup: Sep 1st + 2nd 2016 at USI Lugano - Social Event: Sep 3rd 2016, optional Program committee: - Stefan Marr, JKU Linz, Austria - Matthias Grimmer, JKU Linz, Austria - Laurence Tratt, King's College London - Thomas Wuerthinger, Oracle Labs Switzerland As an optional social event, we will plan this year for Saturday the 3rd of September a trip to the Lake Como - a gorgeous lake in Italy close to Lugano. Please let us know whether you intend to participate for planning purposes. ------------ Andrea Rosà PhD student - Teaching assistant Faculty of Informatics - 2nd floor Università della Svizzera italiana (USI) Via G. Buffi 13 CH-6904 Lugano Switzerland (e) andrea.rosa at usi.ch (p) +41 58 666 4455 ext. 2183 (w) http://www.inf.usi.ch/phd/rosaa/ From andres.loeh at gmail.com Tue Jun 21 08:32:05 2016 From: andres.loeh at gmail.com (=?UTF-8?Q?Andres_L=C3=B6h?=) Date: Tue, 21 Jun 2016 10:32:05 +0200 Subject: [Haskell] Haskell eXchange 2016 - call for contributions Message-ID: Hi everyone. The 5th edition of the Haskell eXchange is going to take place on October 6 and 7 in London, and we are still looking for contributions on all aspects of Haskell (and related programming languages). It does not matter whether you are going to present your own project or want to explain someone else's work. Talks can be about expert topics, but we also particularly invite talks aimed at beginners. You can offer short talks, normal talks or hands-on tutorials. The topic can range from purely theoretical research to practical experience reports, or even be something that we would never have thought about ... Please check https://skillsmatter.com/conferences/7276-haskell-exchange-2016 for more detailed information as well as the submission page. The deadline is soon: 30 June 2016. Registration is also open. Cheers, Andres From Christophe.Raffalli at univ-savoie.fr Tue Jun 21 08:45:25 2016 From: Christophe.Raffalli at univ-savoie.fr (Christophe Raffalli) Date: Tue, 21 Jun 2016 10:45:25 +0200 Subject: [Haskell] [Caml-list] Call for contribution, PLRR 2016 (Parametricity, Logical Relations & Realizability), EXTENDED DEADLINE Message-ID: <20160621084525.GV32059@d45.lama.univ-savoie.fr> LAST CALL FOR CONTRIBUTIONS EXTENDED DEADLINE Workshop PLRR 2016 Parametricity, Logical Relations & Realizability September 2, Marseille, France http://lama.univ-savoie.fr/plrr2016 Satellite workshop - CSL 2016 http://csl16.lif.univ-mrs.fr/ BACKGROUND The workshop PLRR 2016 aims at presenting recent work on parametricity, logical relations and realizability, and encourage interaction between those communities. The areas of interest include, but are not limited to: * Kleene's intuitionistic realizability, * Krivine's classical realizability, * other extensions of the Curry-Howard correspondence, * links between forcing and the Curry-Howard correspondence, * parametricity, * logical relations, * categorical models, * applications to programming languages. INVITED SPEAKERS Neil Ghani (University of Strathclyde) Nick Benton (Microsoft Research, Cambridge) CONTRIBUTED TALKS We solicit contributed talks based on extended abstracts of 2 pages. Submission are handled by easychair: https://easychair.org/conferences/?conf=plrr2016 IMPORTANT DATES Submission of abstracts: June 15, 2016 (EXTENDED TO JULY 1, 2016) Notification of acceptance: July 15, 2016 REGISTRATION via the main CSL 2016 website: http://csl16.lif.univ-mrs.fr/ VENUE Collocated with CSL 2016, hosted by Aix-Marseille Universit�. Both the main conference and its satellite workshops will be held in the city center campus of the Faculty of Science (Central Building). SCIENTIFIC COMMITTEE Pierre Hyvernat (Universit� Savoie Mont Blanc) Rodolphe Lepigre (Universit� Savoie Mont Blanc) Alexandre Miquel (Universidad de la Rep�blica, Montevideo) Christophe Raffalli (Universit� Savoie Mont Blanc) Thomas Streicher (Technische Universit�t Darmstadt) CONTACT Pierre.Hyvernat at univ-smb.fr -------------- next part -------------- A non-text attachment was scrubbed... Name: signature.asc Type: application/pgp-signature Size: 181 bytes Desc: Digital signature URL: From jv at informatik.uni-bonn.de Tue Jun 21 10:49:43 2016 From: jv at informatik.uni-bonn.de (Janis Voigtlaender) Date: Tue, 21 Jun 2016 12:49:43 +0200 Subject: [Haskell] WFLP 2016 - Final Call for Papers Message-ID: Register an abstract within the next 48 hours, and a full paper, work-in-progress report or system description 7 days later! *********************************************************** 24th International Workshop on Functional and (Constraint) Logic Programming (WFLP 2016) https://wflp2016.github.io/ September 13-14, part of the Leipzig Week of Declarative Programming (L-DEC 2016) Formal proceedings will be published by EPTCS (http://www.eptcs.org/). Both full technical papers and less formal work-in-progress report submissions are welcome, as are system descriptions. More details below and on the web page. *********************************************************** Deadlines: * abstract submission: June 22, 2016 (extended) * paper submission: June 29, 2016 (extended) * notification: July 15, 2016 * camera-ready (workshop) version due: August 10, 2016 Submissions can be directly accepted for publication in the formal EPTCS proceedings, or accepted for presentation at the workshop and invited to another round of reviewing after revision. *********************************************************** The international workshops on functional and (constraint) logic programming aim at bringing together researchers, students, and practitioners interested in functional programming, logic programming, and their integration. This year the workshop is co-located with two other events as part of http://nfa.imn.htwk-leipzig.de/LDEC2016/ in order to promote the cross-fertilizing exchange of ideas and experiences among and between the communities interested in the foundations, applications, and combinations of high-level, declarative programming languages and related areas. Topics of interest for WFLP include (but are not limited to): * Functional programming * Logic programming * Constraint programming * Deductive databases, data mining * Extensions of declarative languages, objects * Multi-paradigm declarative programming * Foundations, semantics, nonmonotonic reasoning, dynamics * Parallelism, concurrency * Program analysis, abstract interpretation * Program transformation, partial evaluation, meta-programming * Specification, verification, declarative debugging * Knowledge representation, machine learning * Interaction of declarative programming with other formalisms * Implementation of declarative languages * Advanced programming environments and tools * Software engineering 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. There are separate submission categories for work-in-progress reports and system descriptions. Authors are welcome to indicate that they want to present their work in a talk but not include a paper in the formal proceedings. Submission is via EasyChair at https://easychair.org/conferences/?conf=wflp2016 The formal proceedings are prepared jointly with WLP 2016 and will be published in EPTCS: http://www.eptcs.org/ More details about submission format, LaTeX style etc., can be found on the web page: https://wflp2016.github.io/ *********************************************************** Program Committee: * Slim Abdennadher, German University in Cairo, Egypt * Sergio Antoy, Portland State University, USA * Sebastian Fischer, Freelancer, Germany * Francisco J. Lopez Fraguas, Universidad Complutense de Madrid, Spain * Michael Hanus, University of Kiel, Germany * Sebastiaan Joosten, University of Innsbruck, Austria * Kazutaka Matsuda, Tohoku University, Japan * Martin Sulzmann, Karlsruhe University of Applied Sciences, Germany * Janis Voigtlaender (Chair), University of Bonn, Germany From jonathan at scrive.com Tue Jun 21 11:53:10 2016 From: jonathan at scrive.com (Jonathan Jouty) Date: Tue, 21 Jun 2016 12:53:10 +0100 Subject: [Haskell] Haskell Developer Position at Scrive Message-ID: Hi, Cross-posting from StackOverflow [1] and Reddit [2]. We have a job opportunity at Scrive [3]. The company is based in Stockholm, Sweden, but the business is global and working in the Stockholm office is optional as most of the development team is working remotely already. We are looking for someone in GMT±3 to be reachable during CET/CEST office hours. Feel free to ask me questions. Applications on StackOverflow please (best apply by July 24th). Thanks. [1] https://stackoverflow.com/jobs/118855/haskell-backend-developer-scrive [2] https://www.reddit.com/r/haskell/comments/4p3s00/haskell_developer_position_at_scrive/ [3] https://stackoverflow.com/jobs/companies/scrive PS. Hope mailing the list is appropriate, I subscribe on my private account and have seen postings before. Cheers! -- Jonathan Jouty *Lead Developer* at *Scrive* www.scrive.com -------------- next part -------------- An HTML attachment was scrubbed... URL: From Graham.Hutton at nottingham.ac.uk Tue Jun 21 14:04:51 2016 From: Graham.Hutton at nottingham.ac.uk (Graham Hutton) Date: Tue, 21 Jun 2016 14:04:51 +0000 Subject: [Haskell] Programming in Haskell - 2nd Edition Message-ID: Dear all, I'm delighted to announce that the 2nd edition of Programming in Haskell will be published in August 2016! The new edition has been extensively updated and expanded to include recent and more advanced features of Haskell, new examples and exercises, selected solutions, and freely downloadable lecture slides and example code. Further details, including how to preorder and obtain inspection copies, are provided below. Best wishes, Graham ================================================================= *** BOOK ANNOUNCEMENT *** Programming in Haskell - 2nd Edition Graham Hutton, University of Nottingham Cambridge University Press, August 2016 320 pages, 120 exercises, ISBN 9781316626221 http://tinyurl.com/PIH-2e ================================================================= DESCRIPTION: Haskell is a purely functional language that allows programmers to rapidly develop clear, concise, and correct software. The language has grown in popularity in recent years, both in teaching and in industry. This book is based on the author's experience of teaching Haskell for more than twenty years. All concepts are explained from first principles and no programming experience is required, making this book accessible to a broad spectrum of readers. While Part I focuses on basic concepts, Part II introduces the reader to more advanced topics. This new edition has been extensively updated and expanded to include recent and more advanced features of Haskell, new examples and exercises, selected solutions, and freely downloadable lecture slides and example code. The presentation is clean and simple, while also being fully compliant with the latest version of the language, including recent changes concerning applicative, monadic, foldable, and traversable types. ================================================================= CONTENTS: Foreword Preface Part I. Basic Concepts: 1. Introduction 2. First steps 3. Types and classes 4. Defining functions 5. List comprehensions 6. Recursive functions 7. Higher-order functions 8. Declaring types and classes 9. The countdown problem Part II. Going Further: 10. Interactive programming 11. Unbeatable tic-tac-toe 12. Monads and more 13. Monadic parsing 14. Foldables and friends 15. Lazy evaluation 16. Reasoning about programs 17. Calculating compilers Appendix A. Selected solutions Appendix B. Standard prelude Bibliography Index ================================================================= AUTHOR: Graham Hutton is Professor of Computer Science at the University of Nottingham. He has taught Haskell to thousands of students and received numerous best lecturer awards. Hutton has served as an editor of the Journal of Functional Programming, Chair of the Haskell Symposium and the International Conference on Functional Programming, and Vice-Chair of the ACM Special Interest Group on Programming Languages, and he is an ACM Distinguished Scientist. ================================================================= FURTHER DETAILS: The following web page includes details for how the book can be preordered, and how lecturers can obtain inspection copies: http://tinyurl.com/PIH-2e ================================================================= This message and any attachment are intended solely for the addressee and may contain confidential information. If you have received this message in error, please send it back to me, and immediately delete it. Please do not use, copy or disclose the information contained in this message or in any attachment. Any views or opinions expressed by the author of this email do not necessarily reflect the views of the University of Nottingham. This message has been checked for viruses but the contents of an attachment may still contain software viruses which could damage your computer system, you are advised to perform your own checks. Email communications with the University of Nottingham may be monitored as permitted by UK legislation. From rdgrande at site.uottawa.ca Tue Jun 21 19:22:02 2016 From: rdgrande at site.uottawa.ca (Robson De Grande) Date: Tue, 21 Jun 2016 15:22:02 -0400 Subject: [Haskell] 14th ACM MobiWac 2016, MALTA Message-ID: ** We apologize if you receive multiple copies of this message ** ================================================================== The 14th ACM International Symposium on Mobility Management and Wireless Access (MobiWac 2016) November 13 - 17, 2016 - Malta http://mobiwac-symposium.org/ ================================================================== The MOBIWAC series of event is intended to provide an international forum for the discussion and presentation of original ideas, recent results and achievements by researchers, students, and systems developers on issues and challenges related to mobility management and wireless access protocols. To keep up with the technological developments, we also open up new areas such as mobile cloud computing starting from this year. Authors are encouraged to submit both theoretical and practical results of significance on all aspects of wireless and mobile access technologies, with an emphasis on mobility management and wireless access. Authors are invited to submit full papers describing original research. Submitted papers must neither have been published elsewhere nor currently be under review by another conference or journal. TOPICS OF INTEREST include, but are not limited to: - Mobile Cloud Computing - Wireless/Mobile Access Protocols - Wireless/Mobile Web Access - Wireless Internet and All-IP integration - Next Generation Wireless systems - Mobile Broadband Wireless Access - Pervasive Communication and Computing - Ubiquitous and mobile access - Wireless Applications and testbeds - Multi-Homing and Vertical Handoff - Multi-Channel Multi-Radio MAC / network layer management - Channels and resource allocation algorithms - Energy and power management algorithms - Mobility Models - Multi-technology switching using Software Defined Radios - Context-aware services and applications - Context-aware protocols and protocol architectures - Interactive applications - Mobile database management - Wireless Multimedia Protocols - Mobile and Wireless Entertainment - Mobile Info-services - Social mobile networks - Social mobile applications - Data analysis for mobile and wireless networks - SDN solutions in mobile and wireless networks - QoS management - Mobility Control and Management - Localization and tracking - Mobile/Vehicular environment access - Wireless ad hoc and sensor networks - Security,Trust management and Privacy issues - Fault Tolerance solutions - Wireless Systems' Design - Analysis/Simulation of wireless mobile systems - Testbeds for experimental and simulation analysis ========================= Paper Submission, Publication, and Important Dates: All accepted papers will appear in the Symposium Proceedings published by ACM press. - Submission Deadline: June 30, 2016 (11:59PM EST) - Notification of Acceptance: July 31, 2016 (11:59PM EST) Papers are submitted via the EDAS system (https://edas.info/N22672). For any question or problems related to MobiWac 2015 submissions, please contact the PC Chairs. ORGANIZING COMMITTEE: General Chair Ángel Cuevas, Universidad Carlos III de Madrid, Spain Program Co-Chairs Periklis Chatzimisios, Alexander TEI of Thessaloniki, Greece Robson De Grande, University of Ottawa, Canada Technical Program Committee Antonio A.F. Loureiro, Federal University of Minas Gerais, Brazil Michele Albano, CISTER, Portugal Chadi Assi, Concordia University, Canada Jalel Ben-othman, University of Paris 13, France Fernando Boavida, University of Coimbra, Portugal Juan Carlos Cano, Technical University of Valencia, Spain Yuh-Shyan Chen, National Taipei University, Taiwan Stefano Chessa, University of Pisa, Italy Danny De Vleeschauwer, Alcatel-Lucent, Belgium Andrés García Saavedra, Hamilton Institute, Ireland Roch Glitho, Concordia University, Canada Roberto González, NEC Laboratories Europe, Germany Khaled Harras, Carnegie Mellon University, USA Charalampos Konstantopoulos, University of Piraeus, Greece Pierre Leone, University of Geneva, Switzerland Sotiris Nikoletseas, University of Patras & Computer Technology Institute, Greece Ai-Chun Pang, National Taiwan University, Taiwan Grammati Pantziou, Technological Educational Institution of Athens, Greece Cristina M. Pinotti, University of Perugia, Italy Paulo Pinto, Universidade Nova de Lisboa, Portugal Victor Ramos, Universidad Autonoma Metropolitana, Mexico Victor Rangel, National University of Mexico, Mexico Thierry Turletti, INRIA, France Alicia Triviño, Universidad de Málaga, Spain Manuel Urueña, Universidad Carlos III de Madrid, Spain Emmanouel Varvarigos, University of Patras & Computer Technology Institute, Greece Zainab Zaidi, National ICT Australia, Ltd, Australia Posters/Demo Chair Graciela Román Alonso, Universidad Autónoma Metropolitana, Mexico Publicity Chairs Khalil El-Khatib, UOIT, Canada Mirela. A. M. Notare, Sao Jose Municipal University, Brazil FOR MORE INFORMATION about the conference, organizing committee, submission instructions, and venue please see the conference website (http://mobiwac-symposium.org). ============================================== -------------- next part -------------- An HTML attachment was scrubbed... URL: From breitner at kit.edu Thu Jun 23 16:00:09 2016 From: breitner at kit.edu (Joachim Breitner) Date: Thu, 23 Jun 2016 17:00:09 +0100 Subject: [Haskell] Haskell in Leipzig 2016: Final Call for Papers Message-ID: <1466697609.16347.9.camel@kit.edu>                              Haskell in Leipzig                             September 14-15, 2016                             HTKW Leipzig, Germany                          http://hal2016.haskell.org/ This is the third and last call for submissions for the Haskell in Leipzig workshop. In case you were hesitating whether you want to submit something, the answer is „Yes!“. I’m looking forward to receiving your contribution on July 1st (next Friday). == About HaL == The workshop series “Haskell in Leipzig”, now in its 11th year, brings together Haskell developers, Haskell researchers, Haskell enthusiasts and Haskell beginners to listen to talks, take part in tutorials, and join in interesting conversations. Everything related to Haskell is on topic, whether it is about current research, practical applications, interesting ideas off the beaten track, education, or art, and topics may extend to functional programming in general and its connections to other programming paradigms as well. This year, HaL is colocated with two related conferences,  * the Workshop on Functional and (Constraint) Logic Programming (WFLP) and  * the Workshop on (Constraint) Logic Programming (WLP), to form the Leipzig Week of Declarative Programming (L-DEC):     http://nfa.imn.htwk-leipzig.de/LDEC2016/ In order to accommodate and welcome a more international audience, this year’s HaL will be held in English. == Invited Speaker == Unsure about whether HaL is interesting to you? No need to worry:                             Alejandro Russo (from Chalmers) is our keynote speaker and will talk about his work on information-flow control (i.e. SecLib, LIO, MAC, HLIO) – a great topic that is of interest to researchers, practitioners and beginners alike.  == Submissions == Contributions can take the form of  * talks (about 30 minutes),  * tutorials (about 90 minutes),  * demonstrations, artistic performances, or other extraordinary     things. Please submit an abstract that describes the content and form of your presentation, the intended audience, and required previous knowledge. We recommend a length of 2 pages, so that the PC and the audience get a good idea of your submission, but this is not a hard requirement. You can submit your abstract, as an PDF document, at    https://easychair.org/conferences/?conf=hal2016 until Friday, July 1, 2016. You will be notified by July 15, 2016. == Program committee ==  * Andreas Abel, Chalmers and Gothenburg University, Sweden  * Heinrich Apfelmus, Leipzig, Germany  * Joachim Breitner, Karlsruhe Institute of Technology, Germany (Chair)  * Matthias Fischmann, Zerobuzz, Germany  * Petra Hofstedt, BTU Cottbus-Senftenberg, Germany  * Wolfgang Jeltsch, Institute of Cybernetics at Tallinn University of     Technology, Estonia  * Andres Löh, Well-Typed LLP, Germany  * Alejandro Serrano Mena, Universiteit Utrecht, Netherlands  * Neil Mitchell, Standard Chartered Bank, UK  * Katie Ots, Facebook, UK  * Peter Stadler, University of Leipzig, Germany  * Henning Thielemann, Freelancer, Germany  * Niki Vazou, University of California, San Diego, USA If you have any questions, please do not hesitate to contact Joachim Breitner . -- Dr. rer. nat. Joachim Breitner Wissenschaftlicher Mitarbeiter http://pp.ipd.kit.edu/~breitner -------------- next part -------------- A non-text attachment was scrubbed... Name: signature.asc Type: application/pgp-signature Size: 819 bytes Desc: This is a digitally signed message part URL: From dom.orchard at gmail.com Thu Jun 23 19:48:43 2016 From: dom.orchard at gmail.com (Dominic Orchard) Date: Thu, 23 Jun 2016 20:48:43 +0100 Subject: [Haskell] JLAMP special issue for PLACES (2nd Call for Papers) Message-ID: <9336962e-b337-29b2-0ba0-40b34771689b@gmail.com> -------------------------------- 2nd Call for papers: Special Issue of JLAMP for PLACES (Programming Language Approaches to Concurrency and Communication-cEntric Software) -------------------------------- Submission deadline: July 29th 2016 -------------------------------- http://www.journals.elsevier.com/journal-of-logical-and-algebraic-methods-in-programming/call-for-papers/special-issue-on-programming-language-approaches/ -------------------------------- This special issue of the Journal of Logical and Algebraic Methods in Programming (JLAMP) is devoted to the topics of the 9th International Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software (PLACES 2016), which took place in April 2016 in Eindhoven as part of ETAPS. This is however an *open call* for papers, therefore both participants of the workshop and other authors are encouraged to submit their contributions. Themes: Modern hardware platforms, from the very small to the very large, increasingly provide parallel computing resources for applications to maximise performance. Many applications therefore need to make effective use of tens, hundreds, and even thousands of compute nodes. Computation in such systems is thus inherently concurrent and communication centric. Effectively programming such applications is challenging; performance, correctness, and scalability are difficult to achieve. Submissions are invited in the area of programming language approaches to concurrency, communication and distribution, ranging from foundational issues, through language implementations, to applications (such as scientific computing) and case studies. Please visit the above website for more detailed topics of interest. Submission: We expect original articles (roughly 20-30 pages) that present high-quality contributions that have not been previously published in another journal and that must not be simultaneously submitted for publication elsewhere. Longer papers will be considered if there is a clear justification for why additional pages are necessary; authors should contact the guest editors to discuss this. Each paper will undergo a thorough evaluation by at least two reviewers. The authors will have about one month to incorporate the comments of the reviewers and submit a revised version of their papers, which will be evaluated again by the reviewers to make a final decision. Contributions should be typeset in PDF format and must comply with JLAMP's author guidelines (see website for details). Submission deadline: 29th July 2016 Final decision due in: Jan 2017 (planned) Guest Editors: Dominic Orchard, University of Cambridge, dominic.orchard at cl.cam.ac.uk Nobuko Yoshida, Imperial College London, UK, n.yoshida at imperial.ac.uk -------------- next part -------------- An HTML attachment was scrubbed... URL: From cygnus at foobox.com Sat Jun 25 20:59:45 2016 From: cygnus at foobox.com (Jonathan Daugherty) Date: Sat, 25 Jun 2016 13:59:45 -0700 Subject: [Haskell] [ANN] vty-5.6 released Message-ID: <20160625205944.GA31005@galois.com> Hi, I'm pleased to announce the release of version 5.6 of the Vty library, a terminal user interface programming library. This version of the library adds some great new features: * Support for mouse events in most terminals: those that implement mouse control sequences as described at http://invisible-island.net/xterm/ctlseqs/ctlseqs.html#h2-Mouse-Tracking * Support for bracketed paste mode, a special mode for receiving operating system clipboard pastes without treating paste contents as normal input: http://cirw.in/blog/bracketed-paste Vty 5.6 can be found on Hackage at http://hackage.haskell.org/package/vty-5.6 and on GitHub at https://github.com/coreyoconnor/vty Enjoy! -- Jonathan Daugherty From cygnus at foobox.com Sun Jun 26 20:53:00 2016 From: cygnus at foobox.com (Jonathan Daugherty) Date: Sun, 26 Jun 2016 13:53:00 -0700 Subject: [Haskell] [ANN] vty-5.7 released Message-ID: <20160626205259.GA73373@galois.com> Hi, On the heels of version Vty 5.6, version 5.7 is now on Hackage. This release adds support for changing the behavior of mouse and paste modes both at Vty startup time and during application execution. In addition to no longer being on by default, they can be enabled or disabled at any time and Vty can be queried to tell whether they are supported. See the CHANGELOG for details. http://hackage.haskell.org/package/vty-5.7 https://github.com/coreyoconnor/vty/releases/tag/5.7 Enjoy! -- Jonathan Daugherty From liyuanfang at gmail.com Mon Jun 27 00:41:09 2016 From: liyuanfang at gmail.com (liyuanfang at gmail.com) Date: Sun, 26 Jun 2016 17:41:09 -0700 (PDT) Subject: [Haskell] Deadline extended: 21st International Conference on Engineering of Complex Computer Systems (ICECCS 2016), Dubai, United Arab Emirates, November 6-8 2016 Message-ID: <57707625.6951420a.968d3.6490@mx.google.com> ICECCS is an A-ranked conference by the Computing Research and Education Association of Australasia (CORE) 2014 ranking (http://portal.core.edu.au/conf-ranks/?search=ICECCS&by=all&source=CORE2014&sort=atitle&page=1 ). Please kindly consider submitting papers to the conference, and please encourage your colleagues and students to submit too. --------------------------------------------------------------- 21st International Conference on Engineering of Complex Computer Systems (ICECCS 2016) || November 6-8, Dubai, United Arab Emirates || http://www.aston.ac.uk/eas/about-eas/academic-groups/computer-science/iceccs-2016/ Overview --------------------- Over the past several years, we have seen a rapid rising emphasis on design, implement and manage complex computer systems to help us deal with an increasingly volatile, globalised complex world. These systems are critical for dealing with the Grand Challenge problems we are facing in the 21st century, including health care, urbanization, education, energy, finance, and job creation. The complex computer systems are frequently distributed over heterogeneous networks and processing large amount data. Performance, real-time behavior, fault tolerance, security, adaptability, development time and cost, long life concerns are the key issues. The goal of this conference is to bring together industrial, academic, and government experts, from a variety of user domains and software disciplines, to determine how the disciplines' problems and solution techniques interact within the whole system. Researchers, practitioners, tool developers and users, and technology transition experts are all welcome. The scope of interest includes long-term research issues, near-term complex system requirements and promising tools, existing complex systems, and commercially available tools. Scope and Topics --------------------- We invite contributions in what concerns the following areas (please keep in mind that this is not an exhaustive list): * Requirement specification and analysis * Verification and validation * Security and privacy of complex systems * Model-driven development * Reverse engineering and refactoring * Architecture software * Big Data Management * Ambient intelligence, pervasive computing * Ubiquitous computing, context awareness, sensor networks * Design by contract * Agile methods * Safety-critical & fault-tolerant architectures * Adaptive, self-managing and multi-agent systems * Real-time, hybrid and embedded systems * Systems of systems * Cyber-physical systems and Internet of Things (IoT) * Tools and tool integration * Past reflections and future outlooks * Industrial case studies Different kinds of contributions are sought, including novel research, lessons learned, experience reports, and discussions of practical problems faced by industry and user domains. The ultimate goal is to build a rich and comprehensive conference program that can fit the interests and needs of different classes of attendees: professionals, researchers, managers, and students. A program goal is to organize several sessions that include both academic and industrial papers on a given topic and culminate panels to discuss relationships between industrial and academic research. Full Papers --------------------- Full papers are divided into two categories: Technical Papers and Experience Reports. The papers submitted to both categories will be reviewed by program committee members, and papers accepted in either category will be published in the conference proceedings. Technical papers should describe original research, and experience reports should present practical projects carried out in industry, and reflect on the lessons learnt from them. Short Papers --------------------- Short paper submissions describe early-stage, ongoing or PhD research. All short papers will be reviewed by program committee members, and accepted short papers will be published in the conference proceedings. Paper Submissions --------------------- Submitted manuscripts should be in English and formatted in the style of the double-column IEEE ormat. Full papers should not exceed 10 pages, and short papers should not exceed 4 pages, including figures, references, and appendices. All submissions should be in PDF format. Submissions not adhering to the specified format and length may be rejected immediately, without review. Please prepare your manuscripts in accordance to the IEEE guidelines: http://www.ieee.org/conferences_events/conferences/publishing/templates.html. We invite all prospective authors to submit their manuscripts via the ICECCS'16 portal, hosted on Easychair: https://www.easychair.org/conferences/?conf=iceccs16 Conference proceeding --------------------- The conference proceedings will be published by IEEE Conference Publishing Services (EI indexed). Important Dates --------------------- Updated abstract submission: 11th July 2016 Updated paper submission: 16th July 2016 Notification of acceptance: 8th Aug 2016 Camera ready copy due: 29th Aug 2016 Organizers --------------------- General Chair Prof. Ian Nabney, Aston University, UK Dr. Jun Sun, Singapore University of Technology and Design, SG Program Chair Dr. Mounir Mokhtari, Institut MINES TELECOM, FR Dr. Hai Wang, Aston University, UK For enquiries, please contact H.WANG10 at aston.ac.uk or mounir.mokhtari at mines-telecom.fr From kwangyul.seo at gmail.com Mon Jun 27 04:28:57 2016 From: kwangyul.seo at gmail.com (KwangYul Seo) Date: Mon, 27 Jun 2016 13:28:57 +0900 Subject: [Haskell] The Haddock documentation is not showing up on the Hackage Message-ID: Hi, I uploaded a package named enchant on the Hackage last week, but the Haddock documentation is not showing up yet. The Status field says "Docs pending" and "Build status unknown". https://hackage.haskell.org/package/enchant-0.1.0.0 enchant uses c2hs as a build tool to generate the FFI binding and requires libenchant-dev to be installed on the machine. I wonder how I can tell these build requirements to the Hackage server. Regards, Kwang Yul Seo -------------- next part -------------- An HTML attachment was scrubbed... URL: From davean at xkcd.com Mon Jun 27 07:10:29 2016 From: davean at xkcd.com (davean) Date: Mon, 27 Jun 2016 03:10:29 -0400 Subject: [Haskell] [Haskell-cafe] The Haddock documentation is not showing up on the Hackage In-Reply-To: References: <20160627042856.GA2986@casa.casa> Message-ID: I've installed the dependency and rebuilt it. On Mon, Jun 27, 2016 at 2:07 AM, KwangYul Seo wrote: > It would be nice if there is a way to re-trigger the haddock generation > without uploading a new version. I will file an issue requesting for this > feature. > > BTW, I still wonder how I can specify the build requirements for the > Hackage server. For example, I specify c2hs and libenchant-dev as > dependencies in .travis.yml for the Travis build: > > ``` > before_install: > - sudo apt-get install -y libenchant-dev c2hs > ``` > > Regards, > Kwang Yul Seo > > > On Mon, Jun 27, 2016 at 2:53 PM, Harendra Kumar > wrote: > >> I had a similar problem recently. If a candidate package is re-uploaded >> with the same version again, doc was not being re-generated. I too changed >> the version to 0.1.0.1 to trigger the doc update. I raised an issue for >> that (https://github.com/haskell/hackage-server/issues/512). >> >> -harendra >> >> On 27 June 2016 at 09:58, Francesco Ariis wrote: >> >>> On Mon, Jun 27, 2016 at 01:28:57PM +0900, KwangYul Seo wrote: >>> > Hi, >>> > >>> > I uploaded a package named enchant on the Hackage last week, but the >>> > Haddock documentation is not showing up yet. The Status field says >>> "Docs >>> > pending" and "Build status unknown". >>> > >>> > https://hackage.haskell.org/package/enchant-0.1.0.0 >>> > >>> > enchant uses c2hs as a build tool to generate the FFI binding and >>> requires >>> > libenchant-dev to be installed on the machine. I wonder how I can tell >>> > these build requirements to the Hackage server. >>> >>> I had a similar problem a few months ago, resolved to upload a 0.1.0.1 >>> version, that triggered the build. >>> >>> p.s.: I am replying in haskell-cafe at haskell.org , which is probably more >>> suited (haskell@ is for announcements, etc.) >>> _______________________________________________ >>> Haskell-Cafe mailing list >>> To (un)subscribe, modify options or view archives go to: >>> http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe >>> Only members subscribed via the mailman list are allowed to post. >> >> >> > > _______________________________________________ > Haskell-Cafe mailing list > To (un)subscribe, modify options or view archives go to: > http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe > Only members subscribed via the mailman list are allowed to post. > -------------- next part -------------- An HTML attachment was scrubbed... URL: From liyuanfang at gmail.com Tue Jun 28 03:06:01 2016 From: liyuanfang at gmail.com (liyuanfang at gmail.com) Date: Mon, 27 Jun 2016 20:06:01 -0700 (PDT) Subject: [Haskell] Deadline extended: 21st International Conference on Engineering of Complex Computer Systems (ICECCS 2016), Dubai, United Arab Emirates, November 6-8 2016 Message-ID: <5771e999.8612620a.67b92.ffff9df6@mx.google.com> ICECCS is an A-ranked conference by the Computing Research and Education Association of Australasia (CORE) 2014 ranking (http://portal.core.edu.au/conf-ranks/?search=ICECCS&by=all&source=CORE2014&sort=atitle&page=1 ). Please kindly consider submitting papers to the conference, and please encourage your colleagues and students to submit too. --------------------------------------------------------------- 21st International Conference on Engineering of Complex Computer Systems (ICECCS 2016) || November 6-8, Dubai, United Arab Emirates || http://www.aston.ac.uk/eas/about-eas/academic-groups/computer-science/iceccs-2016/ Overview --------------------- Over the past several years, we have seen a rapid rising emphasis on design, implement and manage complex computer systems to help us deal with an increasingly volatile, globalised complex world. These systems are critical for dealing with the Grand Challenge problems we are facing in the 21st century, including health care, urbanization, education, energy, finance, and job creation. The complex computer systems are frequently distributed over heterogeneous networks and processing large amount data. Performance, real-time behavior, fault tolerance, security, adaptability, development time and cost, long life concerns are the key issues. The goal of this conference is to bring together industrial, academic, and government experts, from a variety of user domains and software disciplines, to determine how the disciplines' problems and solution techniques interact within the whole system. Researchers, practitioners, tool developers and users, and technology transition experts are all welcome. The scope of interest includes long-term research issues, near-term complex system requirements and promising tools, existing complex systems, and commercially available tools. Scope and Topics --------------------- We invite contributions in what concerns the following areas (please keep in mind that this is not an exhaustive list): * Requirement specification and analysis * Verification and validation * Security and privacy of complex systems * Model-driven development * Reverse engineering and refactoring * Architecture software * Big Data Management * Ambient intelligence, pervasive computing * Ubiquitous computing, context awareness, sensor networks * Design by contract * Agile methods * Safety-critical & fault-tolerant architectures * Adaptive, self-managing and multi-agent systems * Real-time, hybrid and embedded systems * Systems of systems * Cyber-physical systems and Internet of Things (IoT) * Tools and tool integration * Past reflections and future outlooks * Industrial case studies Different kinds of contributions are sought, including novel research, lessons learned, experience reports, and discussions of practical problems faced by industry and user domains. The ultimate goal is to build a rich and comprehensive conference program that can fit the interests and needs of different classes of attendees: professionals, researchers, managers, and students. A program goal is to organize several sessions that include both academic and industrial papers on a given topic and culminate panels to discuss relationships between industrial and academic research. Full Papers --------------------- Full papers are divided into two categories: Technical Papers and Experience Reports. The papers submitted to both categories will be reviewed by program committee members, and papers accepted in either category will be published in the conference proceedings. Technical papers should describe original research, and experience reports should present practical projects carried out in industry, and reflect on the lessons learnt from them. Short Papers --------------------- Short paper submissions describe early-stage, ongoing or PhD research. All short papers will be reviewed by program committee members, and accepted short papers will be published in the conference proceedings. Paper Submissions --------------------- Submitted manuscripts should be in English and formatted in the style of the double-column IEEE ormat. Full papers should not exceed 10 pages, and short papers should not exceed 4 pages, including figures, references, and appendices. All submissions should be in PDF format. Submissions not adhering to the specified format and length may be rejected immediately, without review. Please prepare your manuscripts in accordance to the IEEE guidelines: http://www.ieee.org/conferences_events/conferences/publishing/templates.html. We invite all prospective authors to submit their manuscripts via the ICECCS'16 portal, hosted on Easychair: https://www.easychair.org/conferences/?conf=iceccs16 Conference proceeding --------------------- The conference proceedings will be published by IEEE Conference Publishing Services (EI indexed). Important Dates --------------------- Updated abstract submission: 11th July 2016 Updated paper submission: 16th July 2016 Notification of acceptance: 8th Aug 2016 Camera ready copy due: 29th Aug 2016 Organizers --------------------- General Chair Prof. Ian Nabney, Aston University, UK Dr. Jun Sun, Singapore University of Technology and Design, SG Program Chair Dr. Mounir Mokhtari, Institut MINES TELECOM, FR Dr. Hai Wang, Aston University, UK For enquiries, please contact H.WANG10 at aston.ac.uk or mounir.mokhtari at mines-telecom.fr