From erlangworkshop at gmail.com Fri May 3 13:22:39 2019 From: erlangworkshop at gmail.com (Erlang Workshop) Date: Fri, 3 May 2019 15:22:39 +0200 Subject: [Haskell] LAST CALL FOR PAPERS: Erlang Workshop 2019 -- Deadline: 10 May 2019 Message-ID: Technical, practice, and application papers related to Erlang, BEAM, Elixir, Scala/Akka, CloudHaskell, Lisp Flavoured Erlang, OCaml, and functional programming are welcome and encouraged. *LAST CALL FOR PAPERS* Eighteenth ACM SIGPLAN Erlang Workshop https://icfp19.sigplan.org/home/erlang-2019 Berlin, Germany, 18 August 2019 Satellite event of the 24th ACM SIGPLAN International Conference on Functional Programming (ICFP 2019) 18 - 23 August, 2019 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 two types of submissions. 1. Technical papers describing language extensions, critical discussions of the status quo, formal semantics of language constructs, program analysis and transformation, virtual machine extensions and compilation techniques, implementations and interfaces of Erlang in/with other languages, and new tools (profilers, tracers, debuggers, testing frameworks, etc.). Submission related to Erlang, Elixir, Scala/Akka, CloudHaskell, Lisp Flavoured Erlang, OCaml, and functional programming are welcome and encouraged. The maximum length for technical papers is restricted to 12 pages, but short papers (max. 6 pages) are welcomed as well. 2. Practice and application papers 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 practice and application papers is restricted to 12 pages, but short papers (max. 6 pages) are welcomed as well. *Workshop Co-Chairs* Adrian Francalanza, University of Malta, Malta Viktória Fördős, Cisco Systems, Sweden *Program Committee* (Note: the Workshop Co-Chairs are also committee members) Annette Bieniusa, University of Kaiserslautern, Germany Christopher S. Meiklejohn, Carnegie Mellon University, USA Clara Benac Earle, Universidad Politecnica de Madrid, Spain Claudio Antares Mezzina, IMT Lucca, Italy Emilio Tuosto, University of Leicester, UK Felix Mulder, Klarna AB, Sweden Francesco Cesarini, Erlang Solutions Ltd, UK Julien Lange, University of Kent, UK Kenji Rikitake, KRPEO, Japan Melinda Tóth, ELTE Eötvös Loránd University, Hungary Natalia Chechina, Bournemouth University, UK Rumyana Neykova, Brunel University, UK Scott Lystig Fritchie, Wallaroo, USA Thomas Arts, Quviq AB, Sweden Torben Hoffmann, Alert Logic, Denmark *Important Dates* Submission deadline: Fri May 10, 2019 Author notification: Fri June 7, 2019 Final submission for the publisher: Sun June 30, 2019 Workshop date: Sun August 18, 2019 *Instructions to authors* Papers must be submitted online via HotCRP (via the "Erlang2019" event). The submission page is https://erlang19.hotcrp.com 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. The proceedings will be freely available for download from the ACM Digital Library from one week before the start of the conference until two weeks after the conference. 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 2019 web site at: http://icfp19.sigplan.org/ *Related Links* ICFP 2019 web site: http://icfp19.sigplan.org/ Past ACM SIGPLAN Erlang workshops: http://www.erlang.org/workshop/ Open Source Erlang: http://www.erlang.org/ HotCRP submission site: https://erlang19.hotcrp.com Author Information for SIGPLAN Conferences: http://www.sigplan.org/authorInformation.htm Attendee Information for SIGPLAN Events: http://www.sigplan.org/Resources/Policies/CodeOfConduct/ -------------- next part -------------- An HTML attachment was scrubbed... URL: From gershomb at gmail.com Fri May 3 22:05:28 2019 From: gershomb at gmail.com (Gershom B) Date: Fri, 3 May 2019 18:05:28 -0400 Subject: [Haskell] Call for Participation: Compose Conference [NYC, Jun 22- 23 2019] Message-ID: =============================================== Call for Participation Compose Conference 2019 Mon June 24 - Tue June 25 2019 (Unconference on Sat Jun 22 - Sun Jun 23) New York, NY http://www.composeconference.org/2019 =============================================== The practice and craft of functional programming :: Conference Compose is a conference for typed functional programmers, focused specifically on Haskell, OCaml, F#, SML, and related technologies. Typed functional programming has been taken up widely, by industry and hobbyists alike. For many of us it has renewed our belief that code should be beautiful, and that programming can be as enjoyable as it is practical. Compose is about bringing together functional programmers of all levels of skill and experience — from technical leads to novices, and from long-time hackers to students just getting started. It will feature a two days of great and wide-ranging talks * Invited Keynotes Donya Quick - Making Algorithmic Music David Spivak - Compositional Graphical Logic * Accepted Talks and Tutorials Kenny Foner - Functors of the World, Unite! Phillip Carter - The anatomy of the F# tools for Visual Studio Sebastien Mondet - Genspio: Generating Shell Phrases In OCaml Justin Le - Applicative Regular Expressions using the Free Alternative Gaetano Checinski - Buckaroo SAT - Solving a partially revealed SAT problem for Package Management Richard Feldman - From Rails to Elm and Haskell Samuel Gélineau - Stuck macros: deterministically interleaving macro-expansion and typechecking Vaibhav Sagar - Yes, IHaskell Can Do That! Fintan Halpenny - Bowl Full of Lentils Aditya Siram - A Tase Of ATS Ward Wheeler, Alex Washburn, Callan McGill - Phylogenetic Software in Haskell Igor Trindade Oliveira - Type Driven Secure Enclave Development using Idris David Christiansen - Bidirectional Type Checking Chris Smith - Teaching the intersection of mathematics and functional programming Brandon Kase - Fast Accumulation on Streams James Koppel - The Best Refactoring You’ve Never Heard Of Allister Beharry - Using Dependent Types in an F# DSL for Linear Algebra Diego Balseiro - Bridge Haskell and ReasonML in Production * Full abstracts: http://www.composeconference.org/2019/program * Conference Registration: https://www.eventbrite.com/e/new-york-compose-2019-tickets-56751182314 * Unconference Registration: https://www.eventbrite.com/e/new-york-compose-unconference-2019-tickets-60389859696 * Follow @composeconf on twitter for news: https://twitter.com/composeconf * On freenode irc, chat with fellow attendees at #composeconference * Corporate sponsorships are welcome. Current sponsors list forthcoming. * Policies (diversity and anti-harassment): http://www.composeconference.org/conduct * Email us with any questions at info at composeconference.org * Please forward this announcement to interested parties and lists. From rae at richarde.dev Tue May 7 02:27:03 2019 From: rae at richarde.dev (Richard Eisenberg) Date: Mon, 6 May 2019 22:27:03 -0400 Subject: [Haskell] Final CFP: Haskell Symposium due this Friday Message-ID: <5075B69A-158C-46FA-9A7E-62843DED82A5@richarde.dev> ================================================================================ ACM SIGPLAN CALL FOR SUBMISSIONS Haskell Symposium 2019 Berlin, Germany 22--23 August, 2019 http://www.haskell.org/haskell-symposium/2019/ ================================================================================ The ACM SIGPLAN Haskell Symposium 2019 will be co-located with the 2019 International Conference on Functional Programming (ICFP). **NEW THIS YEAR**: We will be using a lightweight double-blind reviewing process. See further information below. The Haskell Symposium presents original research on Haskell, discusses practical experience and future development of the language, and promotes other forms of declarative programming. Topics of interest include: * Language design, with a focus on possible extensions and modifications of Haskell as well as critical discussions of the status quo; * Theory, such as formal semantics of the present language or future extensions, type systems, effects, metatheory, and foundations for program analysis and transformation; * Implementations, including program analysis and transformation, static and dynamic compilation for sequential, parallel, and distributed architectures, memory management, as well as foreign function and component interfaces; * Libraries, that demonstrate new ideas or techniques for functional programming in Haskell; * Tools, such as profilers, tracers, debuggers, preprocessors, and testing tools; * Applications, to scientific and symbolic computing, databases, multimedia, telecommunication, the web, and so forth; * Functional Pearls, being elegant and instructive programming examples; * Experience Reports, to document general practice and experience in education, industry, or other contexts; * System Demonstrations, based on running software rather than novel research results. Regular papers should explain their research contributions in both general and technical terms, identifying what has been accomplished, explaining why it is significant, and relating it to previous work, and to other languages where appropriate. Experience reports and functional pearls need not necessarily report original academic research results. For example, they may instead report reusable programming idioms, elegant ways to approach a problem, or practical experience that will be useful to other users, implementers, or researchers. The key criterion for such a paper is that it makes a contribution from which other Haskellers can benefit. It is not enough simply to describe a standard solution to a standard programming problem, or report on experience where you used Haskell in the standard way and achieved the result you were expecting. System demonstrations should summarize the system capabilities that would be demonstrated. The proposals will be judged on whether the ensuing session is likely to be important and interesting to the Haskell community at large, whether on grounds academic or industrial, theoretical or practical, technical, social or artistic. Please contact the program chair with any questions about the relevance of a proposal. Submission Details ================== Early and Regular Track ----------------------- The Haskell Symposium uses a two-track submission process so that some papers can gain early feedback. Strong papers submitted to the early track are accepted outright, and the others will be given their reviews and invited to resubmit to the regular track. Papers accepted via the early and regular tracks are considered of equal value and will not be distinguished in the proceedings. Although all papers may be submitted to the early track, authors of functional pearls and experience reports are particularly encouraged to use this mechanism. The success of these papers depends heavily on the way they are presented, and submitting early will give the program committee a chance to provide feedback and help draw out the key ideas. Formatting ---------- Submitted papers should be in portable document format (PDF), formatted using the ACM SIGPLAN style guidelines. Authors should use the `acmart` format, with the `sigplan` sub-format for ACM proceedings. For details, see: http://www.sigplan.org/Resources/Author/#acmart-format It is recommended to use the `review` option when submitting a paper; this option enables line numbers for easy reference in reviews. Functional pearls, experience reports, and demo proposals should be labelled clearly as such. Lightweight Double-blind Reviewing ---------------------------------- Haskell Symposium 2019 will use a lightweight double-blind reviewing process. To facilitate this, submitted papers must adhere to two rules: 1. Author names and institutions must be omitted, and 2. References to authors’ own related work should be in the third person (e.g., not “We build on our previous work …” but rather “We build on the work of …”). The purpose of this process is to help the reviewers come to an initial judgment about the paper without bias, not to make it impossible for them to discover the authors if they were to try. Nothing should be done in the name of anonymity that weakens the submission or makes the job of reviewing the paper more difficult (e.g., important background references should not be omitted or anonymized). In addition, authors should feel free to disseminate their ideas or draft versions of their paper as they normally would. For instance, authors may post drafts of their papers on the web or give talks on their research ideas. A reviewer will learn the identity of the author(s) of a paper after a review is submitted. Page Limits ----------- The length of submissions should not exceed the following limits: Regular paper: 12 pages Functional pearl: 12 pages Experience report: 6 pages Demo proposal: 2 pages There is no requirement that all pages are used. For example, a functional pearl may be much shorter than 12 pages. In all cases, the list of references is not counted against these page limits. Deadlines --------- Early track: Submission deadline: 15 March 2019 (Fri) Notification: 19 April 2019 (Fri) Regular track and demos: Submission deadline: 10 May 2019 (Fri) Notification: 21 June 2019 (Fri) Camera-ready deadline for accepted papers: 30 June 2019 (Sun) Deadlines are valid anywhere on Earth. Submission ---------- Submissions must adhere to SIGPLAN's republication policy (http://sigplan.org/Resources/Policies/Republication/), and authors should be aware of ACM's policies on plagiarism (https://www.acm.org/publications/policies/plagiarism). The paper submission deadline and length limitations are firm. There will be no extensions, and papers violating the length limitations will be summarily rejected. Papers should be submitted through HotCRP at: https://haskell19.hotcrp.com/ Improved versions of a paper may be submitted at any point before the submission deadline using the same web interface. Supplementary material: Authors have the option to attach supplementary material to a submission, on the understanding that reviewers may choose not to look at it. This supplementary material should not be submitted as part of the main document; instead, it should be uploaded as a separate PDF document or tarball. Supplementary material should be uploaded at submission time, not by providing a URL in the paper that points to an external repository. Authors are free to upload both anonymized and non-anonymized supplementary material. Anonymized supplementary material will be visible to reviewers immediately; non-anonymized supplementary material will be revealed to reviewers only after they have submitted their review of the paper and learned the identity of the author(s). Resubmitted Papers: Authors who submit a revised version of a paper that has previously been rejected by another conference have the option to attach an annotated copy of the reviews of their previous submission(s), explaining how they have addressed these previous reviews in the present submission. If a reviewer identifies him/herself as a reviewer of this previous submission and wishes to see how his/her comments have been addressed, the principal editor will communicate to this reviewer the annotated copy of his/her previous review. Otherwise, no reviewer will read the annotated copies of the previous reviews. Travel Support ============== Student attendees with accepted papers can apply for a SIGPLAN PAC grant to help cover travel expenses. PAC also offers other support, such as for child-care expenses during the meeting or for travel costs for companions of SIGPLAN members with physical disabilities, as well as for travel from locations outside of North America and Europe. For details on the PAC program, see its web page (http://pac.sigplan.org). Proceedings =========== Accepted papers will be included in the ACM Digital Library. Authors must grant ACM publication rights upon acceptance (http://authors.acm.org/main.html). Authors are encouraged to publish auxiliary material with their paper (source code, test data, etc.); they retain copyright of auxiliary material. Accepted proposals for system demonstrations will be posted on the symposium website but not formally published in the proceedings. All accepted papers and proposals will be posted on the conference website one week before the meeting. Publication date: The official publication date of accepted papers is the date the proceedings are made available in the ACM Digital Library. This date may be up to two weeks prior to the first day of the conference. The official publication date affects the deadline for any patent filings related to published work. Program Committee ================= Ki-Yung Ahn Hannam University Christiaan Baaij QBayLogic B.V. José Manuel Calderón Trilla Galois, Inc Benjamin Delaware Purdue University Richard Eisenberg (chair) Bryn Mawr College Jennifer Hackett University of Nottingham Kazutaka Matsuda Tohoku University Trevor McDonell Utrecht University Ivan Perez NIA / NASA Formal Methods Nadia Polikarpova University of California, San Diego Norman Ramsey Tufts University Christine Rizkallah University of New South Wales Eric Seidel Bloomberg LP Alejandro Serrano Mena Utrecht University John Wiegley Dfinity Foundation Thomas Winant Well-Typed LLP Ningning Xie University of Hong Kong If you have questions, please contact the chair at: rae at richarde.dev ================================================================================ From icfp.publicity at googlemail.com Tue May 7 21:03:32 2019 From: icfp.publicity at googlemail.com (Sam Tobin-Hochstadt) Date: Tue, 07 May 2019 17:03:32 -0400 Subject: [Haskell] PLMW at ICFP: Call for Scholarship Applications (due 17 May) Message-ID: <5cd1f2a4acce9_fb52aae625c05b858529@homer.mail> ACM SIGPLAN Programming Languages Mentoring Workshop Co-located with ICFP'19 PLMW web page: https://icfp19.sigplan.org/home/PLMW-ICFP-2019 The purpose of the programming languages mentoring workshop (PLMW) is to encourage senior undergraduate and early career (first or second year) to pursue careers in programming language research. We are specifically interested in attracting groups who have traditionally not had the opportunity to participate in research in functional programming. This workshop will be a combination of learning about the work being done in several areas of programming language research and mentoring with respect to helping students prepare for graduate school and the rest of their career. We will bring together leaders in programming language research from academia and industry to give talks on the kind of research typically performed after obtaining a Ph.D. The workshop will engage students, specifically interested in programming language research, in a process of imagining how they might contribute to the world. We especially encourage women and underrepresented minority students to attend PLMW. This workshop is part of the activities surrounding ICFP, the International Conference on Functional Programming, and takes place the day before the main conference. One goal of the workshop is to make ICFP conference more accessible to newcomers. We hope that participants will stay through the entire conference. ## Travel Scholarship Applications (Due 17 May) Please fill out this form by 17 May to apply for travel funding. https://forms.gle/QEvBateG7PRywB336 See the PLMW web page for additional details. The workshop registration is open to all. Students with alternative sources of funding are welcome. From P.Achten at cs.ru.nl Wed May 8 07:29:44 2019 From: P.Achten at cs.ru.nl (Peter Achten) Date: Wed, 8 May 2019 09:29:44 +0200 Subject: [Haskell] [TFP'19] final call for papers (deadline extension): Trends in Functional Programming 2019, 12-14 June 2019, Vancouver, BC, CA Message-ID: <4699556d-a69e-8f8e-eec0-0cb4c335fdd0@cs.ru.nl>                   --------------------------------                F I N A L  C A L L  F O R  P A P E R S                   --------------------------------                       ====== TFP 2019 ======           20th Symposium on Trends in Functional Programming                            12-14 June, 2019                           Vancouver, BC, CA                   https://www.tfp2019.org/index.html == Important Dates == Sumbission Deadline for Draft Papers                   Thursday, May 16, 2019 ** extended deadline ** Notification for Draft Papers                          Tuesday, May 21, 2019 ** extended deadline ** TFPIE                                                  Tuesday, June 11, 2019 Symposium                                              Wednesday, June 12, 2019 – Friday, June 14, 2019 Notification of Student Paper Feedback                 Friday June 21, 2019 Submission Deadline for revised Draft Papers (post-symposium formal review)                                                        Thursday, August  1,  2019 Notification for post-symposium submissions            Thursday, October 24, 2019 Camera Ready Deadline (both pre- and post-symposium)   Friday, November 29, 2019 The symposium on Trends in Functional Programming (TFP) is an international forum for researchers with interests in all aspects of functional programming, taking a broad view of current and future trends in the area. It aspires to be a lively environment for presenting the latest research results, and other contributions (see below at scope). Please be aware that TFP uses two distinct rounds of submissions (see below at submission details). TFP 2019 will be the main event of a pair of functional programming events. TFP 2019 will be accompanied by the International Workshop on Trends in Functional Programming in Education (TFPIE), which will take place on June 11. == Scope == The symposium recognizes that new trends may arise through various routes. As part of the Symposium's focus on trends we therefore identify the following five article categories. High-quality articles are solicited in any of these categories:     Research Articles:         Leading-edge, previously unpublished research work     Position Articles:         On what new trends should or should not be     Project Articles:         Descriptions of recently started new projects     Evaluation Articles:         What lessons can be drawn from a finished project     Overview Articles:         Summarizing work with respect to a trendy subject Articles must be original and not simultaneously submitted for publication to any other forum. They may consider any aspect of functional programming: theoretical, implementation-oriented, or experience-oriented. Applications of functional programming techniques to other languages are also within the scope of the symposium. Topics suitable for the symposium include, but are not limited to:     Functional programming and multicore/manycore computing     Functional programming in the cloud     High performance functional computing     Extra-functional (behavioural) properties of functional programs     Dependently typed functional programming     Validation and verification of functional programs     Debugging and profiling for functional languages     Functional programming in different application areas:     security, mobility, telecommunications applications, embedded     systems, global computing, grids, etc.     Interoperability with imperative programming languages     Novel memory management techniques     Program analysis and transformation techniques     Empirical performance studies     Abstract/virtual machines and compilers for functional languages     (Embedded) domain specific languages     New implementation strategies     Any new emerging trend in the functional programming area If you are in doubt on whether your article is within the scope of TFP, please contact the TFP 2019 program chairs, William J. Bowman and Ron Garcia. == Best Paper Awards == To reward excellent contributions, TFP awards a prize for the best paper accepted for the formal proceedings. TFP traditionally pays special attention to research students, acknowledging that students are almost by definition part of new subject trends. A student paper is one for which the authors state that the paper is mainly the work of students, the students are listed as first authors, and a student would present the paper. A prize for the best student paper is awarded each year. In both cases, it is the PC of TFP that awards the prize. In case the best paper happens to be a student paper, that paper will then receive both prizes. == Instructions to Author == Papers must be submitted at:     https://easychair.org/conferences/?conf=tfp2019 Authors of papers have the choice of having their contributions formally reviewed either before or after the Symposium. == Pre-symposium formal review == Papers to be formally reviewed before the symposium should be submitted before an early deadline and receive their reviews and notification of acceptance for both presentation and publication before the symposium. A paper that has been rejected in this process may still be accepted for presentation at the symposium, but will not be considered for the post-symposium formal review. == Post-symposium formal review == Papers submitted for post-symposium review (draft papers) will receive minimal reviews and notification of acceptance for presentation at the symposium. Authors of draft papers will be invited to submit revised papers based on the feedback received at the symposium. A post-symposium refereeing process will then select a subset of these articles for formal publication. == Paper categories == There are two types of submission, each of which can be submitted either for pre-symposium or post-symposium review:     Extended abstracts. Extended abstracts are 4 to 10 pages in length.     Full papers.        Full papers are up to 20 pages in length. Each submission also belongs to a category:     research     position     project     evaluation     overview paper Each submission should clearly indicate to which category it belongs. Additionally, a draft paper submission—of either type (extended abstract or full paper) and any category—can be considered a student paper. A student paper is one for which primary authors are research students and the majority of the work described was carried out by the students. The submission should indicate that it is a student paper. Student papers will receive additional feedback from the PC shortly after the symposium has taken place and before the post-symposium submission deadline. Feedback is only provided for accepted student papers, i.e., papers submitted for presentation and post-symposium formal review that are accepted for presentation. If a student paper is rejected for presentation, then it receives no further feedback and cannot be submitted for post-symposium review. == Format == Papers must be written in English, and written using the LNCS style. For more information about formatting please consult the Springer LNCS web site (http://www.springer.com/lncs). == Program Committee == Program Co-chairs William J. Bowman          University of British Columbia Ronald Garcia              University of British Columbia Matteo Cimini              University of Massachusetts Lowell Ryan Culpepper             Czech Technical Institute Joshua Dunfield            Queen's University Sam Lindley                University of Edinburgh Assia Mahboubi             INRIA Nantes Christine Rizkallah        University of New South Wales Satnam Singh               Google AI Marco T. Morazán           Seton Hall University John Hughes                Chalmers University and Quviq Nicolas Wu                 University of Bristol Tom Schrijvers             KU Leuven Scott Smith                Johns Hopkins University Stephanie Balzer           Carnegie Mellon University Viktória Zsók              Eötvös Loránd University From P.Achten at cs.ru.nl Wed May 8 08:00:07 2019 From: P.Achten at cs.ru.nl (Peter Achten) Date: Wed, 8 May 2019 10:00:07 +0200 Subject: [Haskell] [TFPIE'19] Final call for papers: Trends in Functional Programming in Education 2019, 11 June 2019, Vancouver, BC, CA Message-ID: <39796200-4ddf-8c6a-b283-3039dc4c3c5e@cs.ru.nl> TFPIE 2019 Call for papers http://www.staff.science.uu.nl/~hage0101/tfpie2019/index.html (June 11th, University of British Columbia, Vancouver Canada, co-located with TFP 2019) TFPIE 2019 welcomes submissions describing techniques used in the classroom, tools used in and/or developed for the classroom and any creative use of functional programming (FP) to aid education in or outside Computer Science. Topics of interest include, but are not limited to: FP and beginning CS students FP and Computational Thinking FP and Artificial Intelligence FP in Robotics FP and Music Advanced FP for undergraduates FP in graduate education Engaging students in research using FP FP in Programming Languages FP in the high school curriculum FP as a stepping stone to other CS topics FP and Philosophy The pedagogy of teaching FP FP and e-learning: MOOCs, automated assessment etc. Best Lectures - more details below In addition to papers, we are requesting best lecture presentations. What's your best lecture topic in an FP related course? Do you have a fun way to present FP concepts to novices or perhaps an especially interesting presentation of a difficult topic? In either case, please consider sharing it. Best lecture topics will be selected for presentation based on a short abstract describing the lecture and its interest to TFPIE attendees. The length of the presentation should be comparable to that of a paper. On top of the lecture itself, the presentation can also provide commentary on the lecture. Submissions Potential presenters are invited to submit an extended abstract (4-6 pages) or a draft paper (up to 16 pages) in EPTCS style. The authors of accepted presentations will have their preprints and their slides made available on the workshop's website. Papers and abstracts can be submitted via easychair at the following link: https://easychair.org/conferences/?conf=tfpie2019 After the workshop, presenters will be invited to submit (a revised version of) their article for review. The PC will select the best articles that will be published in the Electronic Proceedings in Theoretical Computer Science (EPTCS). Articles rejected for presentation and extended abstracts will not be formally reviewed by the PC. Dates Submission deadline: May 14th 2019, Anywhere on Earth. Notification: May 20th Workshop: June 11th Submission for formal review: August 18th 2019, Anywhere on Earth Notification of full article: October 6th Camera ready: November 1st Program Committee Alex Gerdes - University of Gothenburg / Chalmers Jurriaan Hage (Chair) - Utrecht University Pieter Koopman - Radboud University, the Netherlands Elena Machkasova - University of Minnesota, Morris, USA Heather Miller - Carnegie Mellon University and EPFL Lausanne Prabhakar Ragde - University of Waterloo, Waterloo, Ontario, Canada Simon Thompson - University of Kent, UK Sharon Tuttle - Humboldt State University, Arcata, USA Note: information on TFP is available at https://www.tfp2019.org/index.html -------------- next part -------------- An HTML attachment was scrubbed... URL: From Graham.Hutton at nottingham.ac.uk Wed May 8 08:14:49 2019 From: Graham.Hutton at nottingham.ac.uk (Graham Hutton) Date: Wed, 8 May 2019 08:14:49 +0000 Subject: [Haskell] Journal of Functional Programming - Call for PhD Abstracts Message-ID: Dear all, If you or one of your students recently completed a PhD in the area of functional programming, please submit the dissertation abstract for publication in JFP: simple process, no refereeing, open access, deadline 31st May 2019. Please share! Best wishes, Graham Hutton ============================================================ CALL FOR PHD ABSTRACTS Journal of Functional Programming Deadline: 31st May 2019 http://tinyurl.com/jfp-phd-abstracts ============================================================ PREAMBLE: Many students complete PhDs in functional programming each year. As a service to the community, twice per year the Journal of Functional Programming publishes the abstracts from PhD dissertations completed during the previous year. The abstracts are made freely available on the JFP website, i.e. not behind any paywall. They do not require any transfer of copyright, merely a license from the author. A dissertation is eligible for inclusion if parts of it have or could have appeared in JFP, that is, if it is in the general area of functional programming. The abstracts are not reviewed. Please submit dissertation abstracts according to the instructions below. We welcome submissions from both the PhD student and PhD advisor/supervisor although we encourage them to coordinate. ============================================================ SUBMISSION: Please submit the following information to Graham Hutton by 31st May 2019: o Dissertation title: (including any subtitle) o Student: (full name) o Awarding institution: (full name and country) o Date of PhD award: (month and year; depending on the institution, this may be the date of the viva, corrections being approved, graduation ceremony, or otherwise) o Advisor/supervisor: (full names) o Dissertation URL: (please provide a permanently accessible link to the dissertation if you have one, such as to an institutional repository or other public archive; links to personal web pages should be considered a last resort) o Dissertation abstract: (plain text, maximum 350 words; you may use \emph{...} for emphasis, but we prefer no other markup or formatting; if your original abstract exceeds the word limit, please submit an abridged version within the limit) Please do not submit a copy of the dissertation itself, as this is not required. JFP reserves the right to decline to publish abstracts that are not deemed appropriate. ============================================================ PHD ABSTRACT EDITOR: Graham Hutton School of Computer Science University of Nottingham Nottingham NG8 1BB United Kingdom ============================================================ 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 contact the sender and delete the email and attachment. Any views or opinions expressed by the author of this email do not necessarily reflect the views of the University of Nottingham. Email communications with the University of Nottingham may be monitored where permitted by law. From gershomb at gmail.com Wed May 8 20:28:21 2019 From: gershomb at gmail.com (Gershom B) Date: Wed, 8 May 2019 16:28:21 -0400 Subject: [Haskell] Announce: Haskell Platform 8.6.5 Message-ID: On behalf of the Haskell Platform team, I'm happy to announce the release of Haskell Platform 8.6.5 Now available at https://www.haskell.org/platform/ This includes GHC 8.6.5, cabal-install 2.4.1.0, and stack 1.9.3. It is an incremental release over 8.6.3 intended mainly to make available bugfixes for windows in subsequent revisions in the 8.6 series and otherwise leave everything the same. These windows fixes are important, and it is recommended all windows users upgrade to 8.6.5 whether through the platform installer or some other mechanism. For detail on these changes and fixes see https://www.haskell.org/ghc/blog/20190305-ghc-8.6.4-released.html https://www.haskell.org/ghc/blog/20190423-ghc-8.6.5-released.html As with the 8.6.3 release, we are only providing core builds. Further, in 8.6.3 we moved from generic linux installers to recommending users install ghc through ghcup. As discussed in the last announcement, we have now moved to recommending os x users also use ghcup rather than a dedicated binary installer. For more details, please see the 8.6.3 announcement at https://mail.haskell.org/pipermail/haskell-cafe/2018-December/130371.html Happy Haskell Hacking all, Gershom From nikhil at acm.org Thu May 9 14:30:16 2019 From: nikhil at acm.org (Rishiyur Nikhil) Date: Thu, 9 May 2019 10:30:16 -0400 Subject: [Haskell] Invititation to provide feedback on RISC-V ISA Formal Specs Message-ID: The RISC-V Foundation (riscv.org) has a task group to develop a Formal Spec for the RISC-V Instruction Set Architecture. The group has been pursuing several approaches: - 3 are written in Haskell - 1 is in SAIL, a DSL with dependent types, intended for ISA specs - 1 is in Kami, a DSL in Coq Most of them are complete enough to boot Linux, i.e., they are not for toy subsets of the ISA. They are expected and intended to become the "official" ISA spec for RISC-V, and to be used in anger, for compliance testing, formal verification of compilers, hardware designs, etc. We would love to get community feedback on these approaches. The following link provides an overview, and links to individual web sites (all on GitHub) for the 5 approaches, and information on how to provide feedback: https://github.com/riscv/ISA_Formal_Spec_Public_Review Thanks very much in advance! Rishiyur Nikhil, Chair, ISA Formal Spec Technical Group -------------- next part -------------- An HTML attachment was scrubbed... URL: From aggelos.biboudis at epfl.ch Fri May 10 11:13:04 2019 From: aggelos.biboudis at epfl.ch (Aggelos Biboudis) Date: Fri, 10 May 2019 13:13:04 +0200 Subject: [Haskell] SPLASH 2019 Combined Call for Workshop Submissions Message-ID: SPLASH 2019 Combined Call for Workshop Submissions ================================================== Following its long-standing tradition, SPLASH will host a variety of workshops, allowing their participants to meet and discuss research questions with peers, to mature new and exciting ideas, and to build up communities and start new collaborations. SPLASH workshops complement the main tracks of the conference and provide meetings in a smaller and more specialized setting. The following workshops will be co-located with SPLASH 2019. * AGERE (Actors, Agents, and Decentralized Control) * AI-SEPS (AI-Inspired and Empirical Methods for Software Engineering on Parallel Computing Systems) * DSM (Domain-Specific Modeling) * IC (Incremental Computing) * LIVE (Live Programming) * META (Metaprogramming) * NJR (Normalized Java Resource) * REBLS (Reactive and Event-based Languages & Systems) * STOKED (Spatio-Temporal platforms for Observations and Knowledge of Earth Data) * VMIL (Virtual Machines and Intermediate Languages) *The submission deadline for all workshops is Fri 2 Aug 2019 (AoE).* AGERE (Actors, Agents, and Decentralized Control) ------------------------------------------------- Call: https://2019.splashcon.org/home/agere-2019 The AGERE! workshop focuses on programming systems, languages, and applications based on actors, active/concurrent objects, agents, and -- more generally -- on high-level programming paradigms which promote decentralized control in solving problems and developing software. AGERE covers 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. AI-SEPS (AI-Inspired and Empirical Methods for SE on Parallel Computing Systems) -------------------------------------------------------------------------------- Call: https://2019.splashcon.org/home/seps-2019 The AI-SEPS workshop provides a stable forum for researchers and practitioners addressing the challenges and issues of the software development life cycle on modern parallel platforms and HPC systems. Emerging artificial intelligence technologies are promising approaches to tackle these issues, as well as approaches that use traditional empirical and experimental methods. The workshop title reflects a change from the previous editions, with emphasis placed on the trend of AI-inspired software engineering techniques for performance. We aim to advance the state of the art in all aspects of techniques on software engineering and parallel computing systems such as requirements engineering and software specification; design and implementation; program analysis; performance analysis, profiling and tuning; testing and debugging. DSM (Domain-Specific Modeling) ------------------------------ Call: https://2019.splashcon.org/home/dsm-2019 Domain-Specific Modeling (DSM) languages provide a viable and time-tested solution for continuing to raise the level of abstraction, and thus productivity, beyond coding, making systems and software development faster and easier. In 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 themselves as working directly with domain concepts. Some possible topics for submission to the workshop include: experience reports, creation of metamodel-based languages, novel approaches for code generation from domain-specific models, language evolution, metamodeling frameworks and languages, and tool support for DSMs. IC (Incremental Computing) ----------------------------- Call: https://2019.splashcon.org/home/ic-2019 The second Workshop on Incremental Computing (IC) will provide a space where PL enthusiasts and researchers can discuss incremental computing problems and solutions. A good talk at IC probably consists of one or more of the following: explain an existing language or framework for incremental computing; outline an incremental computing domain in detail, highlighting challenges; outline a new incremental computing problem, or problem domain; or, propose a new language or framework for incremental computing. This list is not exhaustive, but merely suggestive. LIVE (Live Programming) ----------------------- Call: https://2019.splashcon.org/home/live-2019 The LIVE workshop invites submissions of ideas for improving programming via liveness. Live programming gives the programmer immediate feedback on the behavior of a program as it is edited, replacing the edit-compile-debug cycle with a fluid programming experience. The most commonly used live programming environment is the spreadsheet, but there are many others. The study of live programming is now a [re-]established area of research. This year we would like to reflect on what has been achieved, what has been learnt, and what remains to be done, growing up from a nascent community into a discipline that can build on previous work. We especially welcome reflection upon prior work, including proposals to integrate, generalize, or theoretically frame them. We will do this whilst maintaining the shared spirit of LIVE, encouraging a focus on the human experience of programming. The LIVE workshop is a forum for early-stage work to receive constructive criticism. We accept short papers, web essays with embedded videos, and demo videos. META (Metaprogramming) ---------------------- Call: https://2019.splashcon.org/home/meta-2019 The changing hardware and software landscape along with the increased heterogeneity of systems make metaprogramming once more an important research topic to handle the associated complexity. This workshop aims to bring together researchers working on metaprogramming and reflection, as well as users building applications, language extensions, or software tools using them. The challenges which metaprogramming faces are manifold. They start with formal reasoning about reflective programs, continue with performance and tooling, and reach into the empirical field to understand how metaprogramming is used and how it affects software maintainability. While industry accepted metaprogramming on a wide scale with Ruby, Scala, JavaScript and others, academia still needs to bring it to the same level of convenience, tooling, and understanding as for direct programming styles. Contributions to the workshop are welcome on a wide range of topics related to the design, implementation, and application of metaprogramming techniques, as well as formal methods and empirical studies for such systems and languages. NJR (Normalized Java Resource) ------------------------------ Call: https://2019.splashcon.org/home/njr-2019 Software researchers increasingly take advantage of large software repositories when they design new tools. How do we make such repositories maximally useful for research? In particular, how do we make them more searchable, make interaction scriptable, and ensure that we can run both static and dynamic analyses? Additionally, how do we make the results from tools reproducible, how do we label programs with ground truth, and how do we measure whether a repository is representative of real-world applications? NJR 2019 will be the third workshop in a series that addresses these questions. The goal is for researchers in academia and industry to share new ideas, demonstrate recent tools, and discuss directions for research and development. REBLS (Reactive and Event-based Languages and Systems) ------------------------------------------------------ Call: https://2019.splashcon.org/home/rebls-2019 Reactive programming and event-based programming are two closely related programming styles that are becoming ever more important with the advent of advanced HPC technology and the ever increasing requirement for our applications to run on the web or on collaborating mobile devices. A number of publications on middleware and language design -- so-called reactive and event-based languages and systems (REBLS) -- have already seen the light, but the field still raises several questions. For example, the interaction with mainstream language concepts is poorly understood, implementation technology is in its infancy and modularity mechanisms are almost totally lacking. Moreover, large applications are still to be developed and patterns and tools for developing reactive applications is an area that is vastly unexplored. This workshop will gather researchers in reactive and event-based languages and systems. The goal of the workshop is to exchange new technical research results and to define better the field by coming up with taxonomies and overviews of the existing work. STOKED (Spatio-Temporal platforms for Observations and Knowledge of Earth Data) ------------------------------------------------------------------------------- Call: https://2019.splashcon.org/home/stoked-2019 Global coverage and temporal resolutions of earth observation imagery data is increasing at an unprecedented rate, generating trillions of new pixels of data daily. The challenge with this "big data" is finding practical ways to extract knowledge and deliver it to end users at scale, both due to the complex nature and the sheer volume of information. Detailed, standardized geographic information is required to enable a new era of spatial temporal analytics—enabling insights to understand, monitor, and manage the earth’s resources in a sustainable manner. This can be accomplished through massive aggregation of data from remote sensors coupled with novel approaches to preparing, analyzing, and interacting with data. Modern spatio-temporal platforms will soon be using 3D visual interactive maps with close to real-time deep learning algorithms. In addition to system infrastructure and UI/UX challenges, we also need to address the normalization problems of data, particularly with data generated from multiple sensors. Use cases in climate change and emergency response in "extreme events" would see immediate benefit from this kind of platform. STOKED will provide an opportunity for researchers and stakeholders from this broad spectrum of applications and domains to start to design future platforms from an interdisciplinary perspective. VMIL (Virtual Machines and Intermediate Languages) -------------------------------------------------- Call: https://2019.splashcon.org/home/vmil-2019 The concept of Virtual Machines is pervasive in the design and implementation of programming systems. Virtual Machines and the languages they implement are crucial in the specification, implementation and/or user-facing deployment of most programming technologies. The VMIL workshop is a forum for researchers and cutting-edge practitioners in language virtual machines, the intermediate languages they use, and related issues. From erlangworkshop at gmail.com Fri May 10 12:56:12 2019 From: erlangworkshop at gmail.com (Erlang Workshop) Date: Fri, 10 May 2019 14:56:12 +0200 Subject: [Haskell] CfP: Erlang Workshop 2019 [Deadline extended] Message-ID: Hi everyone, We have decided to extend the paper submission deadline for the 18th ACM SIGPLAN Erlang Workshop. New final dates are as follows, there will not be any further extensions Submissions due: Sun, May 19, 2019 [extended] Author notification: Fri June 14, 2019 [extended] Final submission for the publisher: Sun June 30, 2019 [unchanged] Workshop date: Sun August 18, 2019 [unchanged] Apologies for any duplicates you may receive. Technical, practice, and application papers related to Erlang, BEAM, Elixir, Scala/Akka, CloudHaskell, Lisp Flavoured Erlang, OCaml, and functional programming are welcome and encouraged. *LAST CALL FOR PAPERS* Eighteenth ACM SIGPLAN Erlang Workshop https://icfp19.sigplan.org/home/erlang-2019 Berlin, Germany, 18 August 2019 Satellite event of the 24th ACM SIGPLAN International Conference on Functional Programming (ICFP 2019) 18 - 23 August, 2019 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 two types of submissions. 1. Technical papers describing language extensions, critical discussions of the status quo, formal semantics of language constructs, program analysis and transformation, virtual machine extensions and compilation techniques, implementations and interfaces of Erlang in/with other languages, and new tools (profilers, tracers, debuggers, testing frameworks, etc.). Submission related to Erlang, Elixir, Scala/Akka, CloudHaskell, Lisp Flavoured Erlang, OCaml, and functional programming are welcome and encouraged. The maximum length for technical papers is restricted to 12 pages, but short papers (max. 6 pages) are welcomed as well. 2. Practice and application papers 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 practice and application papers is restricted to 12 pages, but short papers (max. 6 pages) are welcomed as well. *Workshop Co-Chairs* Adrian Francalanza, University of Malta, Malta Viktória Fördős, Cisco Systems, Sweden *Program Committee* (Note: the Workshop Co-Chairs are also committee members) Annette Bieniusa, University of Kaiserslautern, Germany Christopher S. Meiklejohn, Carnegie Mellon University, USA Clara Benac Earle, Universidad Politecnica de Madrid, Spain Claudio Antares Mezzina, IMT Lucca, Italy Emilio Tuosto, University of Leicester, UK Felix Mulder, Klarna AB, Sweden Francesco Cesarini, Erlang Solutions Ltd, UK Julien Lange, University of Kent, UK Kenji Rikitake, KRPEO, Japan Melinda Tóth, ELTE Eötvös Loránd University, Hungary Natalia Chechina, Bournemouth University, UK Rumyana Neykova, Brunel University, UK Scott Lystig Fritchie, Wallaroo, USA Thomas Arts, Quviq AB, Sweden Torben Hoffmann, Alert Logic, Denmark *Important Dates* Submissions due: Sun, May 19, 2019 Author notification: Fri June 14, 2019 Final submission for the publisher: Sun June 30, 2019 Workshop date: Sun August 18, 2019 *Instructions to authors* Papers must be submitted online via HotCRP (via the "Erlang2019" event). The submission page is https://erlang19.hotcrp.com 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. The proceedings will be freely available for download from the ACM Digital Library from one week before the start of the conference until two weeks after the conference. 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 2019 web site at: http://icfp19.sigplan.org/ *Related Links* ICFP 2019 web site: http://icfp19.sigplan.org/ Past ACM SIGPLAN Erlang workshops: http://www.erlang.org/workshop/ Open Source Erlang: http://www.erlang.org/ HotCRP submission site: https://erlang19.hotcrp.com Author Information for SIGPLAN Conferences: http://www.sigplan.org/authorInformation.htm Attendee Information for SIGPLAN Events: http://www.sigplan.org/Resources/Policies/CodeOfConduct/ -------------- next part -------------- An HTML attachment was scrubbed... URL: From Monika.Davidekova at fm.uniba.sk Mon May 13 07:52:55 2019 From: Monika.Davidekova at fm.uniba.sk (Davidekova Monika) Date: Mon, 13 May 2019 07:52:55 +0000 Subject: [Haskell] EUSPN 2019 CfP in Coimbra, Portugal, November 4-7 2019 (Conference with ISI Special Issues) In-Reply-To: References: <2e639e2a3c6c4c8198e170b17829725e@mail.gmail.com>, Message-ID: CfP ********************************************************************************** The 10th International Conference on Emerging Ubiquitous Systems and Pervasive Networks (EUSPN 2019) Date: November 4-7, 2019 Location: Coimbra, Portugal Website: http://cs-conferences.acadiau.ca/euspn-19/ ********************************************************************************** The 10th International Conference on Emerging Ubiquitous Systems and Pervasive Networks (EUSPN) is a premier venue for bringing together multi-disciplinary researchers, professionals and practitioners from both academia and industry, who are engaged in different facets of ubiquitous systems and pervasive networks. The conference encourages innovative research contributions providing the recent significant developments and promising future trends of EUSPN based applications, systems, tools, environments and infrastructures in the fields of EUSPN and related areas. Important Dates: -------------------- - Workshop Proposals: May 30, 2019 - Paper Submission Due: Jun 17, 2019 - Author Notification: August 6, 2019 - Final Manuscript Due: September 6, 2019 Publication ------------- All EUSPN 2019 accepted papers will be published by Elsevier Science in the open-access Procedia Computer Science series on-line. Procedia Computer Science is hosted by Elsevier on www.Elsevier.com and on Elsevier content platform ScienceDirect (www.sciencedirect.com), and will be freely available worldwide. All papers in Procedia will be indexed by Scopus (www.scopus.com) and by Thomson Reuters' Conference Proceeding Citation Index (http://thomsonreuters.com/conference-proceedings-citation-index/). All papers in Procedia will also be indexed by Scopus (www.scopus.com) and Engineering Village (Ei) (www.engineeringvillage.com). This includes EI Compendex (www.ei.org/compendex). Moreover, all accepted papers will be indexed in DBLP (http://dblp.uni-trier.de/). The papers will contain linked references, XML versions and citable DOI numbers. Selected papers will be invited for publication, in the special issues of: - International Journal of Ambient Intelligence and Humanized Computing (IF: 1.588), by Springer (http://www.springer.com/engineering/journal/12652) - International Journal of Computing and Informatics (IF: 0.504), (http://www.cai.sk/ojs/index.php/cai/index) - IEEE Intelligent Transportation Systems Magazine (IF: 3.654), by IEEE (http://ieeexplore.ieee.org/xpl/RecentIssue.jsp?punumber=5117645) EUSPN 2019 will be held in conjunction with the 9th International Conference on Current and Future Trends of Information and Communication Technologies in Healthcare (ICTH: http://cs-conferences.acadiau.ca/icth-19/). Papers on either completed or ongoing research are invited in the following and related tracks: http://cs-conferences.acadiau.ca/euspn-19/call-for-papers.html EUSPN 2019 will be held in the city of Coimbra. Coimbra is a historical city and a municipality in Portugal. Among the many archaeological structures dating back to the Roman era, when Coimbra was the settlement of Aeminium, are its well-preserved aqueduct and cryptoporticus. Similarly, buildings from the period when Coimbra was the capital of Portugal (from 1131 to 1255) still remain. During the late Middle Ages, with its decline as the political centre of the Kingdom of Portugal, Coimbra began to evolve into a major cultural centre. This was in large part helped by the establishment of the University of Coimbra in 1290, the oldest academic institution in the Portuguese-speaking world. Apart from attracting many European and international students, the university is visited by many tourists for its monuments and history. Its historical buildings were classified as a World Heritage site by UNESCO in 2013: "Coimbra offers an outstanding example of an integrated university city with a specific urban typology as well as its own ceremonial and cultural traditions that have been kept alive through the ages." Its atmospheric, beautiful historic core cascades down a hillside in a lovely setting on the east bank of the Rio Mondego: it's a multicoloured collage of buildings spanning nearly a millennium. The conference take place in the environment of technology startups and laboratories within the installations of Instituto Pedro Nunes (IPN). IPN is created in 1991 through a University of Coimbra initiative, Instituto Pedro Nunes (IPN)2 is a private non-profit organization which promotes innovation and the transfer of technology, establishing the connection between the scientific and technological environment and the production sector. IPN mission is to leverage a strong university - enterprise relationship for the promotion of innovation, rigor, quality and entrepreneurship in private and public sector organizations by acting in three complementary areas: Research and technological development, consultancy and specialized services; Incubation and acceleration of businesses and ideas; Highly specialized training and promotion of science and technology. In the year of 2010, the Instituto Pedro Nunes incubator3 has been awarded as the Best Science-based Incubator in the world. Conference Tracks ============ - Ad hoc and Pervasive Networks - Adaptive Systems, Intelligent Computing and Applications - Big Data and Big Data Science - Cloud, Cluster, Grid and Social Computing - Emerging Pervasive/Ubiquitous Technologies - Intelligent Traffic and Transportation Systems - Internet of Things - Mobile Computing and Wireless Communications - Security, Privacy, and Trust - Semantic Web Technologies Committees ======== General Chair Atta Badii, University of Reading, UK Program Chairs Stephane Galland, Université de Technologie de Belfort-Montbéliard, France Elhadi Shakshuki, Acadia University, Canada Local Arrangements Chairs Adelio Manuel Rodrigues Gaspar, University of Coimbra, Portugal Nuno Varandas, F6S (Where Founders Grow Together), Portugal Workshops Chairs Muhammad Adnan, Hasselt University, Belgium Haroon Malik, Marshall University, USA Publicity Chair Monika Davidekova, Comenius University in Bratislava, Slovakia Program Vice Chairs Sajid Anwar, Institute of Management Sciences Peshawar, Pakistan Nik Bessis, Edge Hill University, United Kingdom Kechar Bouabdellah, University Of Oran 1 Ahmed Benbella, Algeria Samia Bouzefrane, CEDRIC Lab Conservatoire National des Arts et Métiers, France Alfredo Cuzzocrea, University of Trieste, Italy Stephane Galland, Université de Technologie de Belfort-Montbéliard, France Flavio Lombardi, Universita Roma Tre, Italy Faouzi Kammoun, Ecole Supérieure Privée d'Ingénierie et de Technologies, Tunis Yannis Korkontzelos, Edge Hill University, UK Fernando Moreira, Universidade Portucalense, Porto, Portugal Euripides Petrakis, Technical University of Crete, Greece Evangelos Pournaras, ETH, Switzerland Tarek Sheltami, KFUPM, Saudi Arabia Michael Sheng, Macquarie University, Australia Wei Zhang, Macquarie University, Australia Advisory Committee Ali Ghorbani, University of New Brunswick, Canada Zygmunt J. Haas, Cornell University, USA Vincenzo Loia, University of Salerno, Italy Zakaria Maamar, Zayed University, UAE Peter Sloot, Universiteit van Amsterdam, Netherlands Peter Thomas, Manifesto Research, Australia Technical Program Committee http://cs-conferences.acadiau.ca/euspn-19/organizing-commitee.html9 -------------- next part -------------- An HTML attachment was scrubbed... URL: From W.S.Swierstra at uu.nl Mon May 13 09:19:36 2019 From: W.S.Swierstra at uu.nl (Swierstra, W.S. (Wouter)) Date: Mon, 13 May 2019 09:19:36 +0000 Subject: [Haskell] Utrecht Summer School on Advanced Functional Programming Message-ID: <20190513091931.GA23570@x1> # Call for Participation SUMMER SCHOOL ON ADVANCED FUNCTIONAL PROGRAMMING Utrecht, the Netherlands, 27-31 August 2018 http://www.afp.school ## ABOUT The Advanced Functional Programming summer school has been running for more than ten years. We aim to educate aspiring Haskell programmers beyond the basic material covered by many textbooks. The lectures will cover several more advanced topics regarding the theory and practice of Haskell programming, including topics such as: * lambda calculus; * monads and monad transformers; * lazy evaluation; * generalized algebraic data types; * type families and type-level programming; * concurrency and parallelism. The summer school consists of a mix of lectures, labs, and a busy social program. ## LECTURERS Utrecht staff: * Gabriele Keller * Trevor McDonell * Alejandro Serrano Mena * Wouter Swierstra ## PREREQUISITES We expect students to have a basic familiarity with Haskell already. You should be able to write recursive functions over algebraic data types, such as lists and trees. There is a great deal of material readily available that covers this material. If you've already started learning Haskell and are looking to take your functional programming skills to the next level, this is the course for you. ## DATES Soft registration deadline: 1 August, 2019 School: 26-30 August ## COSTS 1700 euro - Housing and registration 1500 euro - Registration only We offer a 1000 discount for students and staff members affiliated with a university. ## SCHOLARSHIPS If you're struggling to finance your trip to Utrecht, please let us know. We have a limited number of scholarships or discounts available for students that would not be able to attend otherwise, especially for women and under-represented minorities. ## FURTHER INFORMATION Further information, including instructions on how to register, is available on our website: http://www.afp.school From wim.ectors at uhasselt.be Thu May 16 07:35:56 2019 From: wim.ectors at uhasselt.be (Wim Ectors) Date: Thu, 16 May 2019 03:35:56 -0400 Subject: [Haskell] [ICTH-2019] Call for Workshop Proposals and Paper Submissions: Current and Future Trends of Information and Communication Technologies in Healthcare Message-ID: Conference: The 9th International Conference on Current and Future Trends of Information and Communication Technologies in Healthcare (ICTH) Date: November 4-7, 2019 Location: Coimbra, Portugal Website: http://cs-conferences.acadiau.ca/icth-19/ ********************************************************************************** Important Dates ------------------ - Workshop Proposals: May 30, 2019 - Paper Submission Due: Jun 17, 2019 - Author Notification: August 6, 2019 - Final Manuscript Due: September 6, 2019 Publication ------------- All ICTH 2019 accepted papers will be published by Elsevier Science in the open-access Procedia Computer Science series on-line. Procedia Computer Science is hosted by Elsevier on www.Elsevier.com and on Elsevier content platform ScienceDirect (www.sciencedirect.com), and will be freely available worldwide. All papers in Procedia will be indexed by Scopus ( www.scopus.com) and by Thomson Reuters' Conference Proceeding Citation Index (http://thomsonreuters.com/conference-proceedings-citation-index/). All papers in Procedia will also be indexed by Scopus (www.scopus.com) and Engineering Village (Ei) (www.engineeringvillage.com). This includes EI Compendex (www.ei.org/compendex). Moreover, all accepted papers will be indexed in DBLP (http://dblp.uni-trier.de/). The papers will contain linked references, XML versions and citable DOI numbers. Selected papers will be invited for publication, in the special issues of: - International Journal of Ambient Intelligence and Humanized Computing (IF: 1.588), by Springer ( http://www.springer.com/engineering/journal/12652) - International Journal of Computing and Informatics (IF: 0.504), ( http://www.cai.sk/ojs/index.php/cai/index) - International Journal of E-Health and Medical Communications, by IGI Global: ( http://www.igi-global.com/journal/international-journal-health-medical-communications/1158) ICTH 2019 will be held in conjunction with the 10th International Conference on Emerging Ubiquitous Systems and Pervasive Networks (EUSPN: http://cs-conferences.acadiau.ca/euspn-19/). Papers on either completed or ongoing research are invited in the following and related tracks: http://cs-conferences.acadiau.ca/icth-19/call-for-papers.html ICTH 2019 will be held in the city of Coimbra. Coimbra is a historical city and a municipality in Portugal. Among the many archaeological structures dating back to the Roman era, when Coimbra was the settlement of Aeminium, are its well-preserved aqueduct and cryptoporticus. Similarly, buildings from the period when Coimbra was the capital of Portugal (from 1131 to 1255) still remain. During the late Middle Ages, with its decline as the political centre of the Kingdom of Portugal, Coimbra began to evolve into a major cultural centre. This was in large part helped by the establishment of the University of Coimbra in 1290, the oldest academic institution in the Portuguese-speaking world. Apart from attracting many European and international students, the university is visited by many tourists for its monuments and history. Its historical buildings were classified as a World Heritage site by UNESCO in 2013: "Coimbra offers an outstanding example of an integrated university city with a specific urban typology as well as its own ceremonial and cultural traditions that have been kept alive through the ages." Its atmospheric, beautiful historic core cascades down a hillside in a lovely setting on the east bank of the Rio Mondego: it's a multicoloured collage of buildings spanning nearly a millennium. The conference take place in the environment of technology startups and laboratories within the installations of Instituto Pedro Nunes (IPN). IPN is created in 1991 through a University of Coimbra initiative, Instituto Pedro Nunes (IPN)2 is a private non-profit organization which promotes innovation and the transfer of technology, establishing the connection between the scientific and technological environment and the production sector. IPN mission is to leverage a strong university - enterprise relationship for the promotion of innovation, rigor, quality and entrepreneurship in private and public sector organizations by acting in three complementary areas: Research and technological development, consultancy and specialized services; Incubation and acceleration of businesses and ideas; Highly specialized training and promotion of science and technology. In the year of 2010, the Instituto Pedro Nunes incubator3 has been awarded as the Best Science-based Incubator in the world. Topics of interest include, but are not limited to: ------------------------------------------------------ - Ambient Assisted Living for Elderly Care - Ambient Intelligence and Intelligent Service Systems - Analysis and Evaluation of Healthcare Systems - Clinical Data and Knowledge Management - Cloud Computing for Healthcare - Collaboration Technologies for Healthcare - Context-aware Applications for Patient Monitoring and Care - Data mining Techniques and Data Warehouses in Healthcare - Data Visualization - Decision Support Systems in Healthcare - Design and Development Methodologies for Healthcare Systems - Diagnostic and Therapeutic Technologies in Healthcare - Digital Hospitals - Drug Information Systems - E-health & m-health - Electronic Health Records (EHR) & Personal Health Records (PHR) - Evidence Based Medicine (EBM) - Healthgrids - Health Portals - Information and Knowledge Processing in Healthcare Environments - Middleware Support for Smart Homes and Intelligent Applications - Quantified Self for Pervasive Healthcare - Privacy, Confidentiality and Security Issues in Healthcare Systems - Related Real World Experimentations and Case Studies in Healthcare - RFID Solutions for Healthcare - Smart Homes and Home Care Intelligent Environments - Telemedicine and Health Telematics - Ubiquitous and Pervasive Computing in Healthcare - Usability & Socio Technical studies - User Interface Design for Healthcare Applications - Virtual and Augmented Reality in Healthcare - Virtual Environments for Healthcare Committees ------------- General Chair Heiko Gewald, The Neu-Ulm University of Applied, Germany Joel J. P. C. Rodrigues, National Institute of Telecommunications (Inatel), Brazil Program Chairs Haroon Malik, Marshall University, USA Ansar Yasar, Hasselt University, Belgium Local Arrangements Chairs Adelio Manuel Rodrigues Gaspar, University of Coimbra, Portugal Nuno Varandas, F6S (Where Founders Grow Together), Portugal Workshops Chairs Sofiane Hamrioui, University of Nantes, France An Neven, Hasselt University, Belgium International Journals Chair Bin Guo, Northwestern Polytechnical University, China Publicity Chairs Wim Ectors, IMOB, Hasselt University, Belgium Al-Sakib Khan Pathan,Southeast University, Bangladesh Technical Program Committee http://cs-conferences.acadiau.ca/icth-19/program-committees.html Steering Committee Chair Elhadi Shakshuki, Acadia University, Canada Advisory Committee Abdullah Ali Al-Maniri, Oman Medical Specialty Board, Oman Sergio Camorlinga, Head eHealth Research, TRLabs, Canada Kevin Daimi, University of Detroit Mercy, USA Finn Kensing, University of Copenhagen, Denmark Francesco Princiroli, Politecnico di Milano, Italy Abdul Roudsari, University of Victoria, Canada Sent via Mail Merge -------------- next part -------------- An HTML attachment was scrubbed... URL: From muhammad.adnan at uhasselt.be Thu May 16 08:46:23 2019 From: muhammad.adnan at uhasselt.be (Muhammad ADNAN) Date: Thu, 16 May 2019 10:46:23 +0200 Subject: [Haskell] Fwd: [EUSPN-2019] Call for Workshop Proposals: Emerging Ubiquitous Systems and Pervasive Networks In-Reply-To: References: Message-ID: ------ Call for Workshops Proposals ------------ The 10th International Conference on Emerging Ubiquitous Systems and Pervasive Networks (EUSPN) November 4-7, 2019 Coimbra, Portugal Conference Website: http://cs-conferences.acadiau.ca/euspn-19/ **************************************************** Important Dates =========== - Workshop Proposal Due: May 30, 2019 The EUSPN-2019 organizing committee invites proposals for workshops. The main objective of the workshops is to provide a forum for researchers and professionals to discuss a specific topic from the field of EUSPN-2019 and its related areas. All papers accepted for workshops will be included in the EUSPN-2019 proceedings, which will be published by Elsevier. The authors must follow Elsevier guidelines as given in EUSPN-2019 Website. The selective outstanding papers presented at the workshops, after further revision, will be considered for publication in journals special issues. Pre-proposal Submission Inquiries ====================== If you are interested to organize a workshop and you wish to discuss ideas for a workshop proposal, please feel free to contact the Workshops Chair. Proposal Format =========== - Title of the workshop - Workshop website: tentative address, or old address (if applicable) - Draft call for papers of the workshop - Tentative list of TPC members Workshops Chair ============== Dr. Muhammad Adnan, Hasselt University, Belgium (Email: muhammad.adnan at uhasselt.be) Dr. Haroon Malik, Marshall University, USA (Email: malikh at marshall.edu) -- Dr. Muhammad Adnan Senior Navorser - Senior Researcher Instituut voor Mobiliteit (IMOB) - Transportation Research Institute T +32(0)11 26 91 47 - F +32(0)11 26 91 99 www.uhasselt.be\imob Universiteit Hasselt - Campus Diepenbeek Wetenschapspark 5 bus 6 - B-3590 Diepenbeek Kantoor WETP5-0.10 -------------- next part -------------- An HTML attachment was scrubbed... URL: From meneguette at ifsp.edu.br Thu May 16 22:26:02 2019 From: meneguette at ifsp.edu.br (Rodolfo I. Meneguette) Date: Thu, 16 May 2019 19:26:02 -0300 (BRT) Subject: [Haskell] Cfp: Special Section: Advances in Intelligent Transportation Systems in Smart Cities Message-ID: <877390063.71000771.1558045562239.JavaMail.zimbra@ifsp.edu.br> Special Section: Advances in Intelligent Transportation Systems in Smart Cities International Journal of Distributed Sensor Network 2017 Impact Factor : 1.787 Deadline for manuscript submissions: June 30, 2019 Intelligent Transport Systems (ITS) comprise the union of several technologies with the aim of providing comprehensive optimization of the urban mobility of a city and bringing greater safety to drivers, as well as comfort and entertainment for passengers. As a result, ITS employ data, communication, and computing to provide services and applications for tackling and possibly solving a wide range of transportation problems in modern large cities. These applications rely on the collaboration between elements that integrate urban and transportation systems, such as sensors, mobile devices, and vehicles, for introducing real-time awareness of the environment. The appropriate junction of all these factors considerably contributes to the sensing and gathering of data for evaluation and later implementation of due responses by a control system. Due to the dynamic nature of entities in ITS, it offers a diverse set of challenges including, but not limited to, interoperability, high mobility, decentralization, anonymity, security, privacy, trust management, uncertainty, and pervasiveness. Besides these challenges, several issues like scalability, reliability, adaptability, and validity of available solutions are still unexplored. This Special Collection is expected to provide a platform for academics and industrial researchers to identify and debate technical problems and recent accomplishments associated with ITS. Specific topics include, but are not limited to: * Architecture, resource management and applications * Leveraging Fog Computing (Edge Computing) * Design challenges for protocol development in ITS * ITS security and privacy * Smart-cities-based Machine Learning; * Intelligent data mining and forecasting; * Multi-agent systems applications; * Inteligent structural engineering; * Computer graphics and performability; * Blockchain and remote sensing; * Ubiquitous computing; * Fuzzy logic and emerging applications in smart IoT/Cloud paradigms; * Designing energy efficient Road Side Units (RSUs) * Quality of Service (QoS) in ITS * Smart and connected vehicles: V2V; V2I V2X * Cloud based VANETs * Vehicular Cloud * Demand responsive smart vehicles * Detection, recognition, and classification of traffic * Vehicle location and event prediction * Autonomous vehicle technologies * Context-aware computing and Internet of Things Services in ITS * Artificial intelligent in ITS * Protocols and infrastructure and standards for ITS Guest Editors: Rodolfo Ipolito Meneguette, Federal Institute of São Paulo, Brazi, Luis Hideo Vasconcelos Nakamura, Federal Institute of São Paulo, Brazil Thiago Augusto Lopes Genez, University of Bern, Switzerland Stephan Reiff-Marganiec, University of Leicester, UK Manuscript Preparation and Submission Follow the guidelines in the International Journal of Distributed Sensor Networks https://us.sagepub.com/en-us/sam/manuscript-submission-guidelines . Please submit your manuscript in electronic form through Manuscript Central web site: https://mc.manuscriptcentral.com/tii . Submissions to this Special Section must represent original material that has been neither submitted to, nor published in, any other journal. Open access article processing charge (APC) information The APC for this journal is currently 2000 USD. The article processing charge (APC) is payable only if your article is accepted after peer review, before it is published. The APC is subject to taxes where applicable. Tax-exempt status can be indicated by providing appropriate registration numbers when payment is requested. -------------- next part -------------- An HTML attachment was scrubbed... URL: From icfp.publicity at googlemail.com Mon May 20 21:25:14 2019 From: icfp.publicity at googlemail.com (Sam Tobin-Hochstadt) Date: Mon, 20 May 2019 17:25:14 -0400 Subject: [Haskell] Second Call for Tutorial Proposals: ICFP 2019 Message-ID: <5ce31b3ac2261_3be82b1fe4fb05d463526@homer.mail> *EXTENDED DEADLINE* - CALL FOR TUTORIAL PROPOSALS ICFP 2019 24th ACM SIGPLAN International Conference on Functional Programming August 18 - 23, 2019 Berlin, Germany https://icfp19.sigplan.org/ The 24th ACM SIGPLAN International Conference on Functional Programming will be held in Berlin, Germany on August 18-23, 2019. ICFP provides a forum for researchers and developers to hear about the latest work on the design, implementations, principles, and uses of functional programming. Proposals are invited for tutorials, lasting approximately 3 hours each, to be presented during ICFP and its co-located workshops and other events. These tutorials are the successor to the CUFP tutorials from previous years, but we also welcome tutorials whose primary audience is researchers rather than practitioners. Tutorials may focus either on a concrete technology or on a theoretical or mathematical tool. Ideally, tutorials will have a concrete result, such as "Learn to do X with Y" rather than "Learn language Y". Tutorials may occur after ICFP co-located with the associated workshops, from August 22 till August 23. ---------------------------------------------------------------------- Submission details Deadline for submission: June 3rd, 2019 Notification of acceptance: June 10th, 2019 Prospective organizers of tutorials are invited to submit a completed tutorial proposal form in plain text format to the ICFP 2018 workshop co-chairs (Jennifer Hackett and Christophe Scholliers), via email to icfp-workshops-2019 at googlegroups.com by June 3rd, 2019. Please note that this is a firm deadline. Organizers will be notified if their event proposal is accepted by June 10th, 2019. The proposal form is available at: http://www.icfpconference.org/icfp2019-files/icfp19-tutorials-form.txt ---------------------------------------------------------------------- Selection committee The proposals will be evaluated by a committee comprising the following members of the ICFP 2019 organizing committee. Tutorials Co-Chair: Jennifer Hackett (University of Nottingham) Tutorials Co-Chair: Christophe Scholliers (University of Ghent) General Chair: Derek Dreyer (MPI-SWS) Program Chair: François Pottier ( Inria, France) ---------------------------------------------------------------------- Further information Any queries should be addressed to the tutorial co-chairs (Jennifer Hackett and Christophe Scholliers), via email to icfp-workshops-2019 at googlegroups.com From nevrenato at gmail.com Tue May 21 07:22:54 2019 From: nevrenato at gmail.com (nevrenato at gmail.com) Date: Tue, 21 May 2019 08:22:54 +0100 Subject: [Haskell] Formal Methods 2019 - Doctoral Symposium (2nd Call for Papers) References: <28f1dfb036ddc26f3e0c20733a17f21de4608866.camel@gmail.com> Message-ID: <533f186536b951ad21fd68a0f6b14b8a14ebc8b8.camel@gmail.com> 2nd Call for Papers Formal Methods 2019 - Doctoral Symposium Porto, Portugal, October 7th, 2019 http://formalmethods2019.inesctec.pt/?page_id=361 In conjunction with the 23rd International Symposium on Formal Methods and 3rd World Congress on Formal Methods Porto, Portugal, October 7-11, 2019 http://formalmethods2019.inesctec.pt GOALS AND SCOPE A Doctoral Symposium will be held on the 7th October in conjunction with the 23rd International Symposium on Formal Methods and 3rd World Congress on Formal Methods which will take place in Porto, Portugal, from 7 to 11 October 2019. This symposium aims to provide a helpful environment in which selected PhD students can present and discuss their ongoing work, meet other students working on similar topics, and receive helpful advice and feedback from a panel of researchers and academics. If you are a PhD student researching any topic that falls within the area of formal methods, you are warmly invited to submit a Research Abstract for consideration to be selected as a participant. There will be a best presentation award. Scholarships for attendance will also be available. RESEARCH ABSTRACTS Research Abstracts should be no more than 4 pages in LNCS format. Your Research Abstract should: - Outline the problem being addressed, its relevance, the solution you are working on, your research approach (such as your research method) and your expected contribution. - Contain a very brief literature survey indicating the most important references related to: (a) the problem being addressed and/or (b) existing solutions as appropriate. - Indicate your progress to date and the current stage of research. The Research Abstract should be written by yourself as sole author, but should include references to any papers you have already published, including joint publications with your supervisor. IMPORTANT DATES Submission deadline: June 10, 2019 (AoE)* Notification: July 5, 2019 Doctoral Symposium: October 7, 2019 HOW TO SUBMIT Please upload a PDF version of your Research Abstract, including your name, affiliation, and email address to: https://easychair.org/conferences/?conf=dsfm19 DOCTORAL SYMPOSIUM WEBSITE http://formalmethods2019.inesctec.pt/?page_id=361 ORGANISATION CHAIRS: Alexandra Silva, University College London Antonia Lopes, University of Lisbon PROGRAM COMMITTEE Alessandro Fantechi, University of Florence Ana Cavalcanti, University of York André Platzer, CMU Carlo A. Furia, USI - Università della Svizzera Italiana Dalal Alrajeh, Imperial College Einar Broch Johnsen, University of Oslo Elvira Albert, Universidad Complutense de Madrid Jaco van de Pol, University of Twente Matteo Rossi, Politecnico di Milano Stefania Gnesi, ISTI-CNR Stephan Merz, INRIA Nancy From P.Achten at cs.ru.nl Tue May 21 15:14:35 2019 From: P.Achten at cs.ru.nl (Peter Achten) Date: Tue, 21 May 2019 17:14:35 +0200 Subject: [Haskell] [TFP'19 and TFPIE'19] call for participation Message-ID:                         ---------------------------------                     C A L L  F O R  P A R T I C I P A T I O N                         ---------------------------------                             ====== TFP 2019 ======                 20th Symposium on Trends in Functional Programming                                  12-14 June, 2019                                 Vancouver, BC, CA                         https://www.tfp2019.org/index.html                            ====== TFPIE 2019 ======    8th International Workshop on Trends in Functional Programming in Education                                  11 June, 2019                                Vancouver, BC, CA http://www.staff.science.uu.nl/~hage0101/tfpie2019/index.html The symposium on Trends in Functional Programming (TFP) is an international forum for researchers with interests in all aspects of functional programming, taking a broad view of current and future trends in the area. It aspires to be a lively environment for presenting the latest research results, and other contributions (see below at scope). Please be aware that TFP uses two distinct rounds of submissions (see below at submission details). TFP 2019 will be the main event of a pair of functional programming events. TFP 2019 will be accompanied by the International Workshop on Trends in Functional Programming in Education (TFPIE), which will take place on June 11. == Invited Speakers == TFP 2019 is pleased to announce keynote talks by the following two invited speakers: Nikhil Swamy, Microsoft Research: Structuring the Verification of Imperative Programs with                                   Functional Programming Frank Wood, University of British Columbia: Probabilistic Programming TFPIE 2019 is pleased to have the following invited speaker: Gregor Kiczales: Functional Programming at the Core of a High Throughput Software                  Engineering Curriculum == Scope == The symposium recognizes that new trends may arise through various routes. As part of the Symposium's focus on trends we therefore identify the following five article categories. High-quality articles are solicited in any of these categories:     Research Articles:         Leading-edge, previously unpublished research work     Position Articles:         On what new trends should or should not be     Project Articles:         Descriptions of recently started new projects     Evaluation Articles:         What lessons can be drawn from a finished project     Overview Articles:         Summarizing work with respect to a trendy subject Articles must be original and not simultaneously submitted for publication to any other forum. They may consider any aspect of functional programming: theoretical, implementation-oriented, or experience-oriented. Applications of functional programming techniques to other languages are also within the scope of the symposium. Topics suitable for the symposium include, but are not limited to:     Functional programming and multicore/manycore computing     Functional programming in the cloud     High performance functional computing     Extra-functional (behavioural) properties of functional programs     Dependently typed functional programming     Validation and verification of functional programs     Debugging and profiling for functional languages     Functional programming in different application areas:     security, mobility, telecommunications applications, embedded     systems, global computing, grids, etc.     Interoperability with imperative programming languages     Novel memory management techniques     Program analysis and transformation techniques     Empirical performance studies     Abstract/virtual machines and compilers for functional languages     (Embedded) domain specific languages     New implementation strategies     Any new emerging trend in the functional programming area If you are in doubt on whether your article is within the scope of TFP, please contact the TFP 2019 program chairs, William J. Bowman and Ron Garcia. == Best Paper Awards == To reward excellent contributions, TFP awards a prize for the best paper accepted for the formal proceedings. TFP traditionally pays special attention to research students, acknowledging that students are almost by definition part of new subject trends. A student paper is one for which the authors state that the paper is mainly the work of students, the students are listed as first authors, and a student would present the paper. A prize for the best student paper is awarded each year. In both cases, it is the PC of TFP that awards the prize. In case the best paper happens to be a student paper, that paper will then receive both prizes. == Instructions to Author == Papers must be submitted at:     https://easychair.org/conferences/?conf=tfp2019 Authors of papers have the choice of having their contributions formally reviewed either before or after the Symposium. == Pre-symposium formal review == Papers to be formally reviewed before the symposium should be submitted before an early deadline and receive their reviews and notification of acceptance for both presentation and publication before the symposium. A paper that has been rejected in this process may still be accepted for presentation at the symposium, but will not be considered for the post-symposium formal review. == Post-symposium formal review == Papers submitted for post-symposium review (draft papers) will receive minimal reviews and notification of acceptance for presentation at the symposium. Authors of draft papers will be invited to submit revised papers based on the feedback received at the symposium. A post-symposium refereeing process will then select a subset of these articles for formal publication. == Paper categories == There are two types of submission, each of which can be submitted either for pre-symposium or post-symposium review:     Extended abstracts. Extended abstracts are 4 to 10 pages in length.     Full papers.        Full papers are up to 20 pages in length. Each submission also belongs to a category:     research     position     project     evaluation     overview paper Each submission should clearly indicate to which category it belongs. Additionally, a draft paper submission—of either type (extended abstract or full paper) and any category—can be considered a student paper. A student paper is one for which primary authors are research students and the majority of the work described was carried out by the students. The submission should indicate that it is a student paper. Student papers will receive additional feedback from the PC shortly after the symposium has taken place and before the post-symposium submission deadline. Feedback is only provided for accepted student papers, i.e., papers submitted for presentation and post-symposium formal review that are accepted for presentation. If a student paper is rejected for presentation, then it receives no further feedback and cannot be submitted for post-symposium review. == Format == Papers must be written in English, and written using the LNCS style. For more information about formatting please consult the Springer LNCS web site (http://www.springer.com/lncs). == Program Committee == Program Co-chairs William J. Bowman          University of British Columbia Ronald Garcia              University of British Columbia Matteo Cimini              University of Massachusetts Lowell Ryan Culpepper             Czech Technical Institute Joshua Dunfield            Queen's University Sam Lindley                University of Edinburgh Assia Mahboubi             INRIA Nantes Christine Rizkallah        University of New South Wales Satnam Singh               Google AI Marco T. Morazán           Seton Hall University John Hughes                Chalmers University and Quviq Nicolas Wu                 University of Bristol Tom Schrijvers             KU Leuven Scott Smith                Johns Hopkins University Stephanie Balzer           Carnegie Mellon University Viktória Zsók              Eötvös Loránd University From meneguette at ifsp.edu.br Wed May 22 18:37:35 2019 From: meneguette at ifsp.edu.br (Rodolfo I. Meneguette) Date: Wed, 22 May 2019 15:37:35 -0300 (BRT) Subject: [Haskell] CFP in Special Sessions: DS-RT 2019 - Cosenza, Italy, October 7-9, 2019 In-Reply-To: <1086047716.99201902.1558550251168.JavaMail.zimbra@ifsp.edu.br> Message-ID: <2114855187.99203252.1558550255360.JavaMail.zimbra@ifsp.edu.br> Dear Colleagues and Researchers, Apologies, if you have received multiple copies of this CFP. ********** CALL FOR PAPER ********** DS-RT 2019, the 23rd IEEE/ACM International Symposium on Distributed Simulations and Real Time Applications, is running three special sessions this year: - Distributed Simulations of Distributed Systems - Agent-based Modeling and Simulation - Simulation of Urban Traffic Management and ITS These special sessions have a focused view on the specialized field of distributed simulations and real time applications. Authors are invited to submit works that contain novel approaches and trends in the areas delimited within these sessions. See below for more detailed descriptions of the special sessions. Accepted works will be published in the main track of IEEE DS-RT 2019 proceedings. ***** PAPER SUBMISSION AND REVIEW ***** Submitted manuscripts must be in standard IEEE two-column format that is used for IEEE conference proceedings and must not exceed "8 pages" (2-page extension allowed), including figures, tables and references. Standard IEEE templates for Microsoft Word or LaTeX formats can be found at: - http://www.ieee.org/conferences_events/conferences/publishing/templates.html A submission may present preliminary results, propose new research direction, provide insightful retrospective, or offer a provocative viewpoint on important topics related to the considered special session. Papers will be selected based on their likelihood of generating insightful technical discussions at the special session and influencing future research. Papers must be unpublished and must not be submitted for publication elsewhere. All papers will be reviewed by Technical Program Committee members and other experts active in the field to ensure high quality and relevance to the conference and the special session. At least one author of accepted papers must attend the conference and present its contribution. Accepted papers will appear in the conference proceedings to be published by IEEE Press. ***** IMPORTANT DATES ***** Full paper submission deadline: May 30th, 2019 Paper acceptance notification: June 30th, 2019 ***** FOR MORE INFORMATION ***** For questions about the paper submission and review process, please contact the session organizers - find all relevant information on the corresponding web pages below. ***** DESCRIPTION OF THE SPECIAL SESSIONS ***** * Special Session on Distributed Simulations of Distributed Systems * Distributed simulation (DS) is a valuable tool for understanding and evaluating distributed systems. The current computing trend sees businesses and individuals moving toward a more centralized infrastructure, namely the cloud. On the one hand, as the computing infrastructure at data centers is highly complex and distributed, DS becomes essential for diagnosing and gaining insights of the system. On the other hand, the scale and nature of interaction between different components in the cloud present new challenges and push DS's state of the art. Another computing trend that has potential to drive DS is internet-of-things. Such complex systems consist of a large number of autonomous, heterogeneous devices communicating with one another in non-uniform manner. DS is valuable not only for discerning system properties but also for predicting the devices' emergent behavior. Finally, users in online social networks make up large distributed systems. Insights of user interaction and the network's collective behavior --- the study of which fits well into the realm of DS --- bring significant value to both the society and the business of social network providers. This special session seeks to bring together experts and practitioners in the domain of DS to discuss new opportunities and challenges for DS. We welcome research papers on both theoretical and empirical issues. Web page: http://ds-rt.com/2019/dsimdsys_2019.htm * Special Session on Agent-based Modeling and Simulation * This special session focuses on general aspects and special properties for agent-based modeling and simulations that allows them to be applied on several scientific domains, such as sociology, physics, chemistry, biology, ecology, and economy. The session is intended to bring together researchers and practitioners, so they can present the current status of their work and discuss the challenges they face in developing solutions and applications for agent-based simulations. Consequently, the design of these simulations aims not only to social contexts but also to more technical domains, which involves highly complex interactive systems. Web page: http://ds-rt.com/2019/abms_2019.htm * Special Session on Simulation of Urban Traffic Management and ITS * This special session focuses on simulation tools and real-time simulation applications used in and for evaluation, management, and design of Intelligent Transportation Systems (ITS), as well as Smart Cities. Such simulations are expected to offer prediction and on-the-flow feedback for the better decision-making, bringing up means for both the implementation of more complex traffic management systems and end-user applications. Off-line and real-time analyses of data collected from infrastructured systems (e.g. real-time traffic information), mobile, distributed technologies (e.g. communication devices), and socially-build systems (e.g. social networks applications) are of great interest for shaping and influencing how ITS solutions are designed. Thus, we are particularly interested in how these data and technologies can be incorporated in domain-related models and simulations. We aim to bring together experts from both industry and academia to discuss the challenges related to modelling and simulation for ITS. Web page: http://ds-rt.com/2019/soiits_2019.htm Best Regards, DS-RT 2019 Special Session Chair -------------- next part -------------- An HTML attachment was scrubbed... URL: From bob.atkey at gmail.com Thu May 23 09:29:17 2019 From: bob.atkey at gmail.com (Robert Atkey) Date: Thu, 23 May 2019 10:29:17 +0100 Subject: [Haskell] Scottish Programming Languages and Verification Summer School Message-ID: <762c2517-2b07-546c-a717-b5db29aef097@gmail.com> +-----------------------------------------------------------------+ | | | Scottish Programming Languages and Verification Summer School | | The University of Strathclyde, Glasgow, UK, 5--9 August 2019 | | http://www.macs.hw.ac.uk/splv/splv19/ | | | +-----------------------------------------------------------------+ The inaugural Scottish Programming Languages and Verification Summer School will be held at the University of Strathclyde 5--9 August 2019. The aim of the school is to provide PhD students with core and specialised knowledge in the broad area of Programming Language and Verification research. COURSES ======= Invited course -------------- Chung-chieh Shan (Indiana University) "Probabilistic programming" Core courses ------------ Phil Wadler (University of Edinburgh) "Programming Language Foundations in Agda" Neil Ghani (University of Strathclyde) "Category Theory" Specialised courses ------------------- Chris Brown (University of St Andrews) "Parallel Programming" Ornela Dardha (University of Glasgow) "Session Types" Conor McBride (University of Strathclyde) "Dependently Typed Programming" Greg Michaelson and Rob Stewart (Heriot-Watt University) "Domain-Specific Languages" PREREQUISITES ============= The school is aimed at PhD students in programming languages, verification and related areas. Also researchers and practitioners will be very welcome, as will strong master's students with the support of a supervisor. Participants will need to have a background in computer science, mathematics or a related discipline, and have basic familiarity with (functional) programming and logic. DATES ===== Early Registration deadline: 4 July 2019. School: Monday 5 August to Friday 9 August 2019. SPONSORSHIP =========== The summer school is generously sponsored by SICSA, the Scottish Informatics and Computer Science Alliance, and partially supported by ERC grant Skye (grant no 682315) and the UK Manycore Network. We also offer a range of sponsorship opportunities for industry with attractive benefits -- please get in touch if you are interested. REGISTRATION ============ Registration is open at the following address: http://tiny.cc/SPLV19-registration Since the school is sponsored by SICSA, attendance will be *free* for PhD students affiliated with Scottish universities. The registration fees in general are as follows: SICSA student: £0. Academic: £160. Industry: £300. The registration fee covers coffee breaks, lunches and an excursion. ACCOMMODATION ============= We can offer accommodation in student halls for for students for £170. Alternatively, there are plenty of hotels, hostels or Airbnbs in central Glasgow. FURTHER INFORMATION =================== More information can be found on the school webpage: http://www.macs.hw.ac.uk/splv/splv19/ Please contact one of the local organisers if you have any questions: - Bob Atkey robert.atkey at strath.ac.uk - Clemens Kupke clemens.kupke at strath.ac.uk - Fredrik Nordvall Forsberg fredrik.nordvall-forsberg at strath.ac.uk From nate.nystrom at usi.ch Thu May 23 16:24:12 2019 From: nate.nystrom at usi.ch (Nate Nystrom) Date: Thu, 23 May 2019 18:24:12 +0200 Subject: [Haskell] Call for talks: ACM SIGPLAN Scala Symposium 2019 Message-ID: # Tenth ACM SIGPLAN Scala Symposium **The Scala Symposium is inviting student talks and open-source talks until May 31. Please pass the word!** - London UK - July 17, 2019 Scala is a general purpose programming language designed to express common programming patterns in a concise, elegant, and type-safe way. It smoothly integrates features of object-oriented and functional languages. The ACM SIGPLAN Scala Symposium (https://2019.ecoop.org/home/scala-2019) is the leading forum for researchers and practitioners related to the Scala programming language. We welcome a broad spectrum of research topics and support many submission formats for industry and academia alike. This year’s Scala Symposium is co-located with ECOOP 2019 ( https://2019.ecoop.org) in London, UK. # Topics of Interest # We seek submissions on all topics related to Scala, including (but not limited to): * Language design and implementation – language extensions, optimization, and performance evaluation. * Library design and implementation patterns for extending Scala – stand-alone Scala libraries, embedded domain-specific languages, combining language features, generic and meta-programming. * Formal techniques for Scala-like programs – formalizations of the language, type system, and semantics, formalizing proposed language extensions and variants, dependent object types, type and effect systems. * Concurrent and distributed programming – libraries, frameworks, language extensions, programming models, performance evaluation, experimental results. * Big data and machine learning libraries and applications using the Scala programming language. * Safety and reliability – pluggable type systems, contracts, static analysis and verification, runtime monitoring. * Interoperability with other languages and runtimes, such as JavaScript, Java 8 (lambdas), Graal and others. * Tools – development environments, debuggers, refactoring tools, testing frameworks. * Case studies, experience reports, and pearls. Do not hesitate to contact the Program Chair (nate.nystrom at usi.ch) if you are unsure whether a particular topic falls within the scope of Scala 2019. # Important dates # * Paper submission: April 16, 2019 * Paper notification: May 24, 2019 * Student talk submission: May 31, 2019 * Student talk notification: June 14, 2019 * Camera ready: June 7, 2019 * Scala Symposium 2019: July 17, 2019 All deadlines are at the end of the day, “Anywhere on Earth” (AoE). # Submission Format # To accommodate the needs of researchers and practitioners, as well as beginners and experts alike, we seek several kinds of submissions. * Full papers (at most 10 pages, excluding bibliography) * Short papers (at most 4 pages, excluding bibliography) * Tool papers (at most 4 pages, excluding bibliography) * Student talks (short abstract only, in plain text) * Open-source talks (short abstract only, in plain text) The Scala Symposium uses a lightweight double-blind reviewing process, so we ask that research papers, both full and short, be anonymized. Tools papers and talks proposals need not be anonymized. Authors should omit their names from their submissions, and should avoid revealing their identity through citation. Accepted papers (either full papers, short ones or tool papers, but not talks) will be published in the ACM Digital Library. Detailed information for each kind of submission is given below. Submissions should be in acmart/sigplan style, 10pt font. Formatting requirements are detailed on the SIGPLAN Author Information page ( https://www.sigplan.org/Resources/Author). Scala 2019 submissions must conform to the ACM Policy on Prior Publication and Simultaneous Submissions ( https://www.acm.org/publications/policies/simultaneous-submissions) and to the SIGPLAN Republication Policy ( http://www.sigplan.org/Resources/Policies/Republication/). Please note that at least one author of each accepted contribution must attend the symposium and present the work. In the case of tool demonstration papers, a live demonstration of the described tool is expected. # Full and Short Papers # Full and short papers should describe novel ideas, experimental results, or projects related to the Scala language. In order to encourage lively discussion, submitted papers may describe work in progress. Additionally, short papers may present problems and raise research questions interesting for the Scala language community. All papers will be judged on a combination of correctness, significance, novelty, clarity, and interest to the community. In general, papers should explain their original contributions, identifying what has been accomplished, explaining why it is significant, and relating it to previous work (also for other languages where appropriate). # Tool Papers # Tool papers need not necessarily report original research results; they may describe a tool of interest, report practical experience that will be useful to others, new Scala idioms, or programming pearls. In all cases, such a paper must make a contribution which is of interest to the Scala community, or from which other members of the Scala community can benefit. Where appropriate, authors are encouraged to include a link to the tool’s website. For inspiration, you might consider advice in https://conf.researchr.org/track/POPL-2016/pepm-2016-main#Tool-Paper-Advice, which we however treat as non-binding. In case of doubts, please contact the program chair. # Student Talks # In addition to regular papers and tool demos, we also solicit short student talks by bachelor/master/PhD students. A student talk is not accompanied by paper (it is sufficient to submit a short abstract of the talk in plain text). Student talks are about 15 minutes long, presenting ongoing or completed research related to Scala. In previous years, each student with an accepted student talk received a grant (donated by our sponsors) covering registration and/or travel costs. # Open-Source Talks # We will also accept a limited number of short talks about open-source projects using Scala presented by contributors. An open-source talk is not accompanied by a paper (it is sufficient to submit a short abstract of the talk in plain text). Open-source talks are about 15 minutes long and should be about topics relevant to the symposium. They may, for instance, present or announce an open-source project that would be of interest to the Scala community. # Organizing Committee # * (General Chair) Sukyoung Ryu (KAIST, South Korea) * (PC Chair) Nathaniel Nystrom (USI, Switzerland) * (Sponsorship Chair) Jonathan Immanuel Brachthäuser (University of Tübingen, Germany) # Program Committee # - Aggelos Biboudis - EPFL, Switzerland - Edwin Brady - University of St. Andrews, UK - Franck Cassez - Macquarie University, Australia - Wolfgang De Meuter - Vrije Universiteit Brussel, Belgium - Sebastien Doeraene - EPFL, Switzerland - Edward Kmett - Machine Intelligence Research Institute, USA - Doug Lea - SUNY Oswego, USA - Ana Milanova - Rensselaer Polytechnic Institute, USA - Ulf Norell - University of Gothenburg, Sweden - Nate Nystrom - Università della Svizzera italiana, Switzerland (chair) - Miles Sabin - Underscore.io, UK - Guido Salvaneschi - Technische Universität Darmstadt, Germany - Marco Servetto - Victoria University of Wellington, New Zealand - Daniel Spiewak - SlamData, USA - Mirko Viroli - University of Bologna, Italy # Submission Website # The submission will be managed through HotCRP: https://scala19.hotcrp.com. For questions and additional clarifications, please contact the conference organizers. -------------- next part -------------- An HTML attachment was scrubbed... URL: From lemming at henning-thielemann.de Sat May 25 14:42:51 2019 From: lemming at henning-thielemann.de (Henning Thielemann) Date: Sat, 25 May 2019 16:42:51 +0200 (CEST) Subject: [Haskell] Announce: comfort-array, lapack Message-ID: I like two announce two of my packages: 1. comfort-array http://hackage.haskell.org/package/comfort-array It provides Boxed and Storable arrays with very liberal shape definitions. You may use ranges of indices like in 'array' or zero-based indexing like in 'repa', but you can also use arbitrary index Sets, enumerations, concatenation of arrays and more. E.g. an array with (Shape.Enumeration Ordering) has three elements with indices LT, EQ, GT. 2. lapack http://hackage.haskell.org/package/lapack A high-level interface to the numerical Linear Algebra package LAPACK. It is based on comfort-array, which means that a vector can have a rich structure. E.g. matrix vector multiplication has the signature: (#*|) :: Matrix.General height width a -> Vector width a -> Vector height a Thus, a 'Matrix.General (Shape.Enumeration Ordering) (h,w) a' would map a rectangular array with dimensions h and w to a three-element vector with indices LT, EQ, GT. The LAPACK interface provides solvers for simultaneous linear equations, linear least-squares problems, eigenvalue and singular value problems for square, triangular, symmetric, Hermitian, banded and banded Hermitian matrices, as LAPACK supports them. For a motivating example refer to: http://code.henning-thielemann.de/bob2019/main.pdf From brucker at spamfence.net Sat May 25 22:57:31 2019 From: brucker at spamfence.net (Achim D. Brucker) Date: Sat, 25 May 2019 23:57:31 +0100 Subject: [Haskell] Call For Papers: Workshop in OCL and Textual Modeling (OCL 2019) Message-ID: <20190525225731.awj27fozvdzwlxeb@ananogawa.home.brucker.ch> CALL FOR PAPERS 19th International Workshop on OCL and Textual Modeling Co-located with MODELS 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and System, September 15-20, 2019, Munich, Germany http://oclworkshop.github.io The goal of this workshop is to create a forum where researchers and practitioners interested in building models using OCL or other kinds of textual languages (e.g., OCL, textual MOF, Epsilon, or Alloy) can directly interact, report advances, share results, identify tools for language development, and discuss appropriate standards. In particular, the workshop will encourage discussions for achieving synergy from different modeling language concepts and modeling language use. The close interaction will enable researchers and practitioners to identify common interests and options for potential cooperation. ## Topics of interest Topics of interest include (but are not limited to): - Mappings between textual modeling languages and other languages/formalisms - Mathematical models and/or formal semantics for textual modeling languages - Algorithms, evaluation strategies and optimizations in the context of textual modeling languages for: - validation, verification, and testing, - model transformation and code generation, - meta-modeling and DSLs, and - query and constraint specifications - Alternative graphical/textual notations for textual modeling languages - Evolution, transformation and simplification of textual modeling expressions - Libraries, templates and patterns for textual modeling languages - Tools that support textual modeling languages (e.g., verification of OCL formulae, runtime monitoring of invariants) - Model-driven security using textual modeling languages - Complexity results for textual modeling languages - Quality models and benchmarks for comparing and evaluating textual modeling tools and algorithms - Successful applications of textual modeling languages - Case studies on industrial applications of textual modeling languages - Experience reports: - usage of textual modeling languages and tools in complex domains, - usability of textual modeling languages and tools for end-users - Empirical studies about the benefits and drawbacks of textual modeling languages - Innovative textual modeling tools - Comparison, evaluation and integration of modeling languages - Correlation between modeling languages and modeling tasks We particularly encourage submissions describing applications and case studies of textual modeling as well as test suites and benchmark collections for evaluating textual modeling tools. ## Submissions Four types of submissions will be considered: * Presentation only submission (not included in the workshop proceedings), e.g., for already published work. Authors should submit a short (1 page) abstract of their presentation. * Short papers (between 5 and 7 pages) describing new ideas or position papers. * Tool papers (between 5 and 7 pages) describing tools supporting textual modeling tools * Full papers (between 10 and 14 pages). All submissions should follow the LNCS format guidelines and should be uploaded to [EasyChair](https://easychair.org/conferences/?conf=ocl2019). Accepted papers will be published online in [CEUR](http://www.ceur-ws.org). ## Important Dates - Submission of papers: 14 Jul 2019 - Notification: 25 Aug 2019 - Pre-Workshop CRC: 9 Sep 2019 - Post-Workshop CRC: 5 Oct 2019 -- Dr. Achim D. Brucker | Chair of Cybersecurity | University of Exeter https://www.brucker.ch | https://logicalhacking.com/blog @adbrucker | @logicalhacking From publicityifl at gmail.com Mon May 27 09:01:58 2019 From: publicityifl at gmail.com (Jurriaan Hage) Date: Mon, 27 May 2019 02:01:58 -0700 Subject: [Haskell] Call for papers for IFL 2019 (Implementation and Application of Functional Languages) Message-ID: Hello, Please, find below the call for papers for IFL 2019. Please forward these to anyone you think may be interested. Apologies for any duplicates you may receive. best regards, Jurriaan Hage Publicity Chair of IFL --- ================================================================================ IFL 2019 31st Symposium on Implementation and Application of Functional Languages National University of Singapore September 25th-27th, 2019 http://2019.iflconference.org ================================================================================ ### Scope The goal of the IFL symposia is to bring together researchers actively engaged in the implementation and application of functional and function-based programming languages. IFL 2019 will be a venue for researchers to present and discuss new ideas and concepts, work in progress, and publication-ripe results related to the implementation and application of functional languages and function-based programming. Topics of interest to IFL include, but are not limited to: - language concepts - type systems, type checking, type inferencing - compilation techniques - staged compilation - run-time function specialization - run-time code generation - partial evaluation - (abstract) interpretation - metaprogramming - generic programming - automatic program generation - array processing - concurrent/parallel programming - concurrent/parallel program execution - embedded systems - web applications - (embedded) domain specific languages - security - novel memory management techniques - run-time profiling performance measurements - debugging and tracing - virtual/abstract machine architectures - validation, verification of functional programs - tools and programming techniques - (industrial) applications ### Keynote Speaker * Olivier Danvy, Yale-NUS College ### Submissions and peer-review Differently from previous editions of IFL, IFL 2019 solicits two kinds of submissions: * Regular papers (12 pages including references) * Draft papers for presentations ('weak' limit between 8 and 15 pages) Regular papers will undergo a rigorous review by the program committee, and will be evaluated according to their correctness, novelty, originality, relevance, significance, and clarity. A set of regular papers will be conditionally accepted for publication. Authors of conditionally accepted papers will be provided with committee reviews along with a set of mandatory revisions. Regular papers not accepted for publication will be considered as draft papers, at the request of the author. Draft papers will be screened to make sure that they are within the scope of IFL, and will be accepted for presentation or rejected accordingly. Prior to the symposium: Authors of conditionally accepted papers and accepted presentations will submit a pre-proceedings version of their work that will appear in the draft proceedings distributed at the symposium. The draft proceedings does not constitute a formal publication. We require that at least one of the authors present the work at IFL 2019. After the symposium: Authors of conditionally accepted papers will submit a revised versions of their paper for the formal post-proceedings. The program committee will assess whether the mandatory revisions have been adequately addressed by the authors and thereby determines the final accept/reject status of the paper. Our interest is to ultimately accept all conditionally accepted papers. If you are an author of a conditionally accepted paper, please make sure that you address all the concerns of the reviewers. Authors of accepted presentations will be given the opportunity to incorporate the feedback from discussions at the symposium and will be invited to submit a revised full article for the formal post-proceedings. The program committee will evaluate these submissions according to their correctness, novelty, originality, relevance, significance, and clarity, and will thereby determine whether the paper is accepted or rejected. ### Publication The formal proceedings will appear in the International Conference Proceedings Series of the ACM Digital Library. At no time may work submitted to IFL be simultaneously submitted to other venues; submissions must adhere to ACM SIGPLAN's republication policy: http://www.sigplan.org/Resources/Policies/Republication ### Important dates Submission of regular papers: May 31, 2019 Submission of draft papers: July 15, 2019 Regular and draft papers notification: August 1, 2019 Deadline for early registration: August 15, 2019 Submission of pre-proceedings version: September 15, 2019 IFL Symposium: September 25-27, 2019 Submission of papers for post-proceedings: November 30, 2019 Notification of acceptance: January 31, 2020 Camera-ready version: February 29, 2020 ### Submission details All contributions must be written in English. Papers must use the ACM two columns conference format, which can be found at: http://www.acm.org/publications/proceedings-template Authors submit through EasyChair: https://easychair.org/conferences/?conf=ifl2019 ### Peter Landin Prize The Peter Landin Prize is awarded to the best paper presented at the symposium every year. The honored article is selected by the program committee based on the submissions received for the formal review process. The prize carries a cash award equivalent to 150 Euros. ### Organization and Program committee Chairs: Jurrien Stutterheim (Standard Chartered Bank Singapore), Wei Ngan Chin (National University of Singapore) Program Committee: - Olaf Chitil, University of Kent - Clemens Grelck, University of Amsterdam - Daisuke Kimura, Toho University - Pieter Koopman, Radboud University - Tamas Kozsik, Eotvos Lorand University - Roman Leschinskiy, Facebook - Ben Lippmeier, The University of New South Wales - Marco T. Morazan, Seton Hall University - Sven-Bodo Scholz, Heriot-Watt University - Tom Schrijvers, Katholieke Universiteit Leuven - Alejandro Serrano, Utrecht University - Tony Sloane, Macquarie University - Simon Thompson, University of Kent - Marcos Viera, Universidad de la Republica - Wei Ngan Chin, NUS - Jurrien Stutterheim, Standard Chartered Bank ### Venue The 31st IFL is organized by the National University of Singapore. Singapore is located in the heart of South-East Asia, and the city itself is extremely well connected by trains and taxis. See the website for more information on the venue. ### Acknowledgments This call-for-papers is an adaptation and evolution of content from previous instances of IFL. We are grateful to prior organizers for their work, which is reused here. A part of IFL 2019 format and CFP language that describes conditionally accepted papers has been adapted from call-for-papers of OOPSLA conferences. -------------- next part -------------- An HTML attachment was scrubbed... URL: From ms at chalmers.se Mon May 27 10:50:24 2019 From: ms at chalmers.se (Mary Sheeran) Date: Mon, 27 May 2019 12:50:24 +0200 Subject: [Haskell] Open Position: 2 year postdoc in Functional Programming at Chalmers Message-ID: Because I am spending quite a lot of energy on gender equality work at Chalmers, I have been given the opportunity to hire a postdoc to support my research. Thus, I would like to hire an outstanding functional programmer with an interest in embedded domain specific languages, parallel functional programming, verification of machine learning algorithms, secure programming for the Internet of Things, or hardware design and verification. You will join Chalmers' strong and well-resourced Functional Programming Group. You will be free to pursue your own research ideas, but we hope for someone with an interest in collaboration, and in strengthening the group. You may be asked to perform teaching or other departmental duties up to 20%. The position is for two years. Start date is negotiable, preferably in 2019. Our group has too few female researchers and we welcome female applicants. The deadline for applications is June 8 2019. Please use the "Apply" button at the bottom right of this job advertisement to submit your application: https://www.chalmers.se/en/about-chalmers/Working-at-Chalmers/Vacancies/Pages/default.aspx?rmpage=job&rmjob=7540&rmlang=UK I can assure you that Gothenburg is a great place to live! Do not hesitate to contact me if you have questions. Mary Sheeran -------------- next part -------------- An HTML attachment was scrubbed... URL: From ben at smart-cactus.org Mon May 27 21:34:50 2019 From: ben at smart-cactus.org (Ben Gamari) Date: Mon, 27 May 2019 17:34:50 -0400 Subject: [Haskell] [Numeric] Announce: comfort-array, lapack In-Reply-To: References: Message-ID: <875zpvoa2v.fsf@smart-cactus.org> Henning Thielemann writes: > I like two announce two of my packages: > > 1. comfort-array > http://hackage.haskell.org/package/comfort-array > > It provides Boxed and Storable arrays with very liberal shape definitions. > You may use ranges of indices like in 'array' or zero-based indexing like > in 'repa', but you can also use arbitrary index Sets, enumerations, > concatenation of arrays and more. E.g. an array with (Shape.Enumeration > Ordering) has three elements with indices LT, EQ, GT. > Very nice. I have long wanted something like this. Thanks Henning! Cheers, - Ben -------------- next part -------------- A non-text attachment was scrubbed... Name: signature.asc Type: application/pgp-signature Size: 487 bytes Desc: not available URL: From Monika.Davidekova at fm.uniba.sk Wed May 29 05:31:18 2019 From: Monika.Davidekova at fm.uniba.sk (Davidekova Monika) Date: Wed, 29 May 2019 05:31:18 +0000 Subject: [Haskell] EUSPN 2019 CfP in Coimbra, Portugal, November 4-7 2019 (Conference with ISI Special Issues) In-Reply-To: References: <2e639e2a3c6c4c8198e170b17829725e@mail.gmail.com>, , Message-ID: CfP ********************************************************************************** The 10th International Conference on Emerging Ubiquitous Systems and Pervasive Networks (EUSPN 2019) Date: November 4-7, 2019 Location: Coimbra, Portugal Website: http://cs-conferences.acadiau.ca/euspn-19/ ********************************************************************************** The 10th International Conference on Emerging Ubiquitous Systems and Pervasive Networks (EUSPN) is a premier venue for bringing together multi-disciplinary researchers, professionals and practitioners from both academia and industry, who are engaged in different facets of ubiquitous systems and pervasive networks. The conference encourages innovative research contributions providing the recent significant developments and promising future trends of EUSPN based applications, systems, tools, environments and infrastructures in the fields of EUSPN and related areas. Important Dates: -------------------- - Workshop Proposals: May 30, 2019 - Paper Submission Due: Jun 17, 2019 - Author Notification: August 6, 2019 - Final Manuscript Due: September 6, 2019 Publication ------------- All EUSPN 2019 accepted papers will be published by Elsevier Science in the open-access Procedia Computer Science series on-line. Procedia Computer Science is hosted by Elsevier on www.Elsevier.com and on Elsevier content platform ScienceDirect (www.sciencedirect.com), and will be freely available worldwide. All papers in Procedia will be indexed by Scopus (www.scopus.com) and by Thomson Reuters' Conference Proceeding Citation Index (http://thomsonreuters.com/conference-proceedings-citation-index/). All papers in Procedia will also be indexed by Scopus (www.scopus.com) and Engineering Village (Ei) (www.engineeringvillage.com). This includes EI Compendex (www.ei.org/compendex). Moreover, all accepted papers will be indexed in DBLP (http://dblp.uni-trier.de/). The papers will contain linked references, XML versions and citable DOI numbers. Selected papers will be invited for publication, in the special issues of: - International Journal of Ambient Intelligence and Humanized Computing (IF: 1.588), by Springer (http://www.springer.com/engineering/journal/12652) - International Journal of Computing and Informatics (IF: 0.504), (http://www.cai.sk/ojs/index.php/cai/index) - IEEE Intelligent Transportation Systems Magazine (IF: 3.654), by IEEE (http://ieeexplore.ieee.org/xpl/RecentIssue.jsp?punumber=5117645) EUSPN 2019 will be held in conjunction with the 9th International Conference on Current and Future Trends of Information and Communication Technologies in Healthcare (ICTH: http://cs-conferences.acadiau.ca/icth-19/). Papers on either completed or ongoing research are invited in the following and related tracks: http://cs-conferences.acadiau.ca/euspn-19/call-for-papers.html EUSPN 2019 will be held in the city of Coimbra. Coimbra is a historical city and a municipality in Portugal. Among the many archaeological structures dating back to the Roman era, when Coimbra was the settlement of Aeminium, are its well-preserved aqueduct and cryptoporticus. Similarly, buildings from the period when Coimbra was the capital of Portugal (from 1131 to 1255) still remain. During the late Middle Ages, with its decline as the political centre of the Kingdom of Portugal, Coimbra began to evolve into a major cultural centre. This was in large part helped by the establishment of the University of Coimbra in 1290, the oldest academic institution in the Portuguese-speaking world. Apart from attracting many European and international students, the university is visited by many tourists for its monuments and history. Its historical buildings were classified as a World Heritage site by UNESCO in 2013: "Coimbra offers an outstanding example of an integrated university city with a specific urban typology as well as its own ceremonial and cultural traditions that have been kept alive through the ages." Its atmospheric, beautiful historic core cascades down a hillside in a lovely setting on the east bank of the Rio Mondego: it's a multicoloured collage of buildings spanning nearly a millennium. The conference take place in the environment of technology startups and laboratories within the installations of Instituto Pedro Nunes (IPN). IPN is created in 1991 through a University of Coimbra initiative, Instituto Pedro Nunes (IPN)2 is a private non-profit organization which promotes innovation and the transfer of technology, establishing the connection between the scientific and technological environment and the production sector. IPN mission is to leverage a strong university - enterprise relationship for the promotion of innovation, rigor, quality and entrepreneurship in private and public sector organizations by acting in three complementary areas: Research and technological development, consultancy and specialized services; Incubation and acceleration of businesses and ideas; Highly specialized training and promotion of science and technology. In the year of 2010, the Instituto Pedro Nunes incubator3 has been awarded as the Best Science-based Incubator in the world. Conference Tracks ============ - Ad hoc and Pervasive Networks - Adaptive Systems, Intelligent Computing and Applications - Big Data and Big Data Science - Cloud, Cluster, Grid and Social Computing - Emerging Pervasive/Ubiquitous Technologies - Intelligent Traffic and Transportation Systems - Internet of Things - Mobile Computing and Wireless Communications - Security, Privacy, and Trust - Semantic Web Technologies Committees ======== General Chair Atta Badii, University of Reading, UK Program Chairs Stephane Galland, Université de Technologie de Belfort-Montbéliard, France Elhadi Shakshuki, Acadia University, Canada Local Arrangements Chairs Adelio Manuel Rodrigues Gaspar, University of Coimbra, Portugal Nuno Varandas, F6S (Where Founders Grow Together), Portugal Workshops Chairs Muhammad Adnan, Hasselt University, Belgium Haroon Malik, Marshall University, USA Publicity Chair Monika Davidekova, Comenius University in Bratislava, Slovakia Program Vice Chairs Sajid Anwar, Institute of Management Sciences Peshawar, Pakistan Nik Bessis, Edge Hill University, United Kingdom Kechar Bouabdellah, University Of Oran 1 Ahmed Benbella, Algeria Samia Bouzefrane, CEDRIC Lab Conservatoire National des Arts et Métiers, France Alfredo Cuzzocrea, University of Trieste, Italy Stephane Galland, Université de Technologie de Belfort-Montbéliard, France Flavio Lombardi, Universita Roma Tre, Italy Faouzi Kammoun, Ecole Supérieure Privée d'Ingénierie et de Technologies, Tunis Yannis Korkontzelos, Edge Hill University, UK Fernando Moreira, Universidade Portucalense, Porto, Portugal Euripides Petrakis, Technical University of Crete, Greece Evangelos Pournaras, ETH, Switzerland Tarek Sheltami, KFUPM, Saudi Arabia Michael Sheng, Macquarie University, Australia Wei Zhang, Macquarie University, Australia Advisory Committee Ali Ghorbani, University of New Brunswick, Canada Zygmunt J. Haas, Cornell University, USA Vincenzo Loia, University of Salerno, Italy Zakaria Maamar, Zayed University, UAE Peter Sloot, Universiteit van Amsterdam, Netherlands Peter Thomas, Manifesto Research, Australia Technical Program Committee http://cs-conferences.acadiau.ca/euspn-19/organizing-commitee.html9 -------------- next part -------------- An HTML attachment was scrubbed... URL: From dominic at steinitz.org Wed May 29 09:54:07 2019 From: dominic at steinitz.org (dominic at steinitz.org) Date: Wed, 29 May 2019 10:54:07 +0100 Subject: [Haskell] [Numeric] Announce: comfort-array, lapack In-Reply-To: <875zpvoa2v.fsf@smart-cactus.org> References: <875zpvoa2v.fsf@smart-cactus.org> Message-ID: <5ECB0375-2D9F-441C-B8E4-E71487B3BCB4@steinitz.org> Hi Ben, I am intrigued. What application do you have in mind? Dominic. Dominic Steinitz dominic at steinitz.org http://idontgetoutmuch.org Twitter: @idontgetoutmuch > On 27 May 2019, at 22:34, Ben Gamari wrote: > > Henning Thielemann writes: > >> I like two announce two of my packages: >> >> 1. comfort-array >> http://hackage.haskell.org/package/comfort-array >> >> It provides Boxed and Storable arrays with very liberal shape definitions. >> You may use ranges of indices like in 'array' or zero-based indexing like >> in 'repa', but you can also use arbitrary index Sets, enumerations, >> concatenation of arrays and more. E.g. an array with (Shape.Enumeration >> Ordering) has three elements with indices LT, EQ, GT. >> > Very nice. I have long wanted something like this. Thanks Henning! > > Cheers, > > - Ben > _______________________________________________ > Numeric mailing list > Numeric at haskell.org > http://mail.haskell.org/cgi-bin/mailman/listinfo/numeric -------------- next part -------------- An HTML attachment was scrubbed... URL: From Monika.Davidekova at fm.uniba.sk Fri May 31 08:34:59 2019 From: Monika.Davidekova at fm.uniba.sk (Davidekova Monika) Date: Fri, 31 May 2019 08:34:59 +0000 Subject: [Haskell] INCoS-2019 Call for Papers, September 5-7, 2019, Japan, Submission Final Extension May 31 In-Reply-To: References: , , , , , , , , , , , , , , , , , , Message-ID: Call for Papers The 11-th International Conference on Intelligent Networking and Collaborative Systems (INCoS-2019) Oita University, Oita, Japan September 5 - 7, 2019 http://voyager.ce.fit.ac.jp/conf/incos/2019/information.php IMPORTANT DATES - Submission Deadline: May 31, 2019 FINAL EXTENSION - Authors Notification: June 15, 2019 - Author Registration: June 25, 2019 - Final Manuscript: June 25, 2019 - Conference Dates: September 5 - 7, 2019 CONFERENCE SCOPE AND OBJECTIVES With the fast development of the Internet, we are experiencing a shift from the traditional sharing of information and applications as the main purpose of the Web to an emergent paradigm, which locates people at the very center of networks and exploits the value of people's connections and relations. Web 2.0 has come to play a major role in this context by enabling a new generation of social networks and web-based communities and dramatically changing the way we use and interact with the Web. Social network analysis is also a rapidly growing field to investigate the dynamics and structure of intelligent Web-based networking and collaborative systems. Virtual campuses and organizations strongly leverage intelligent networking and collaborative systems by a great variety of formal and informal electronic relations, such as business-to-business, peer-to-peer and many types of online collaborative learning interactions. This has resulted in entangled systems that need to be managed efficiently and in an autonomous way. In addition, latest and powerful technologies based on Grid and Wireless infrastructure as well as Cloud computing are currently enhancing collaborative and networking applications a great deal but also facing new issues and challenges. Well-known social networks lack of knowledge management and adaptive solutions and the information shared among peers is rather static. Virtual communities of practice also provide poorly interactive solutions and lack of full support for organization, management, mobility and security. This conference covers the latest advances in intelligent social networks and collaborative systems that lead to gain competitive advantages in business and academia scenarios. The ultimate aim is to stimulate research that will lead to the creation of responsive environments for networking and, at longer-term, the development of adaptive, secure, mobile, and intuitive intelligent systems for collaborative work and learning. Industry and academic researchers, professionals and practitioners are invited to exchange their experiences and present their ideas in this field. PUBLICATION Conference Proceedings All accepted papers of the conference and of workshops will be included in the conference proceedings of Lecture Notes in the Advances in Intelligent Systems and Computing book series published by Springer. Proceedings will be sent by Springer for indexing in EI and SCOPUS, ISI Proceedings, MetaPress, Springerlink. VENUE Oita University, Oita, Japan. MAIN TOPICS AND TRACKS The main topics of interest of INCoS-2019 include but are not limited to the following: * Data Mining, Machine Learning and Collective Intelligence * Fuzzy Systems and Knowledge Management * Grid and P2P Distributed Infrastructure for Intelligent Networking and Collaborative Systems * Nature's Inspired Parallel Collaborative Systems * Security, Organization, Management and Autonomic Computing for Intelligent Networking and Collaborative Systems * Software Engineering, Semantics and Ontologies for Intelligent Networking and Collaborative Systems * Wireless and Sensor Systems for Intelligent Networking and Collaborative Systems * Service-based Systems for Enterprise Activities Planning and Management * Next Generation Secure Network Protocols and Components * Big Data Analytics for Learning, Networking and Collaborative Systems * Cloud Computing: Services, Storage, Security and Privacy * Intelligent Collaborative Systems for Work and Learning, Virtual Organization and Campuses * Social Networking and Collaborative Systems * Intelligent and Collaborative Systems for e-Health * Mobile Networking and Applications INCoS-2019 CONFERENCE OFFICERS Honorary Chairs Seigo Kitano, Oita University, Japan Makoto Takizawa, Hosei University, Japan General Co-Chairs Hiroaki Nishino, Oita University, Japan Leonard Barolli, Fukuoka Institute of Technology, Japan Program Co-Chairs Hiroyoshi Miwa, Kwansei Gakuin University, Japan Flora Amato, University of Naples, Italy Workshops Co-Chairs Masato Tsuru, Kyushu Institute of Technology, Japan Jakub Nalepa, Silesian University of Technology, Poland International Advisory Committee Vincenzo Loia, University of Salerno, Italy Amélia Ferreira da Silva, CEOS. PP, Politécnico do Porto, Portugal Christine Strauss, University of Vienna, Austria Fang-Yie Leu, Tunghai University, Taiwan Albert Zomaya, University of Sydney, Australia International Liaison Co-Chairs Pavel Kromer, Technical Univ. of Ostrava, Czech Republic Kin Fun Li, University of Victoria, Canada Ana Azevedo, CEOS.PP, Politécnico do Porto, Portugal Joseph Tan, McMaster University, Canada Award Co-Chairs Marek Ogiela, AGH Univ. of Science and Technology, Poland Vaclav Snasel, Technical Univ. of Ostrava, Czech Republic Web Administrators Miralda Cuka, Fukuoka Institute of Technology, Japan Kevin Bylykbashi, Fukuoka Institute of Technology, Japan Donald Elmazi, Fukuoka Institute of Technology, Japan Local Arrangement Co-Chairs Ken’ichi Furuya, Oita University, Japan Makoto Nakashima, Oita University, Japan Finance Chair Makoto Ikeda, Fukuoka Institute of Technology, Japan Steering Committee Leonard Barolli, Fukuoka Institute of Technology, Japan TRACK CHAIRS Track 1: Data Mining, Machine Learning and Collective Intelligence Track Co-Chairs: Carson K Leung, University of Manitoba, Canada Thomas Lenhard, Comenius University in Bratislava, Slovakia TPC members: Alfredo Cuzzocrea, University of Trieste, Italy Fan Jiang, University of Northern British Columbia, Canada Wookey Lee, Inha University, Korea Oluwafemi A. Sarumi, Federal University of Technology - Akure, Nigeria Syed K. Tanbeer, University of Manitoba, Canada Tomas Vinar, Comenius University in Bratislava, Slovakia Kin Fun Li, University of Victoria, Canada Track 2: Fuzzy Systems and Knowledge Management Track Co-Chairs: Marek Ogiela, AGH University of Science and Technology, Poland Morteza Saberi, UNSW Canberra, Australia Chang Choi, Chosun University, Korea TPC members: Hsing-Chung (Jack) Chen, Asia University, Taiwan Been-Chian Chien, National University, Taiwan Junho Choi, Chosun University, Korea Farookh Khadeer Hussain, Technology Sydney University, Australia Hae-Duck Joshua Jeong, Korean Bible University, Korea Hoon Ko, Sungkyunkwan University, Korea Natalia Krzyworzeka, AGH University of Science and Technology, Poland Libor Mesicek, J. E. Purkinje University, Czech Republic Lidia Ogiela, Pedagogical University of Cracow, Poland Su Xi, Hohai University, China Ali Azadeh, Tehran University, Iran Jin Hee Yoon, Sejong University, South Korea Hamed Shakouri, Tehran University, Iran Jee-Hyong Lee, Sungkyunkwan University, South Korea Jung Sik Jeon, Mokpo National Maritime University, South Korea Track 3: Grid and P2P Distributed Infrastructure for Intelligent Networking and Collaborative Systems Track Co-Chairs: Aneta Poniszewska-Maranda, Lodz University of Technology, Poland Michal Gregus, Comenius University in Bratislava, Slovakia Takuya Asaka, Tokyo Metropolitan University, Japan TPC members: Jordi Mongay Batalla, National Institute of Telecommunications, Poland Nik Bessis, University of Derby, UK Aniello Castiglione, Dipartimento di Informatica University of Salerno, Italy Naveen Chilamkurti, La Trobe University, Australia Radu-Ioan Ciobanu, University Politehnica of Bucharest, Romania Alexandru Costan, IRISA / INSA Rennes, France Vladimir-Ioan Cretu, University Politehnica of Timisoara, Romania Valentin Cristea, University Politehnica of Bucharest, Romania Marc Frincu, West University of Timisoara, Romania Rossitza Ivanova, Goleva Technical University of Sofia, Bulgaria Dorian Gorgan, Technical University of Cluj-Napoca, Romania Mauro Iacono, Seconda Universita' degli Studi di Napoli, Italy George Mastorakis, Technological Educational Institute of Crete, Greece Constandinos X. Mavromoustakis, University of Nicosia, Cyprus Gabriel Neagu, National Institute for Research and Development in Informatics, Romania Rodica Potolea, Technical University of Cluj-Napoca, Romania Radu Prodan, University of Innsbruck, Austria Ioan Salomie, Technical University of Cluj-Napoca, Romania George Suciu, BEIA International, Romania Nicolae Tapus, University Politehnica of Bucharest, Romania Sergio L. Toral Marín, University of Seville, Spain Radu Tudoran, European Research Center, Germany Lucian Vintan, Lucian Blaga University, Romania Mohammad Younas, Oxford Brookes University, UK Track 4: Nature's Inspired Parallel Collaborative Systems Track Co-Chairs: Mohammad Shojafar, University of Rome, Italy Zahra Pooranian, University of Padua, Padua, Italy Daichi Kominami, Osaka University, Japan TPC members: Francisco Luna, University of Málaga, Spain Sergio Nesmachnow, University La Republica, Uruguay Nouredine Melab, University of Lille 1, France Julio Ortega, University of Granada, Spain Domingo Giménez, University of Murcia, Spain Gregoire Danoy, University of Luxembourg, Luxembourg Carolina Salto, University of La Pampa, AR Stefka Fidanova, IICT-BAS, Bulgaria Michael Affenzeller, Upper Austria University, Austria Hernan Aguirre, Shinshu University, Japan Francisco Chicano, University of Malaga, Spain Javid Tahery, Karlstad University, Sweden Enrique Domínguez, University of Málaga, Spain Guillermo Leguizamón, Universidad Nacional de San Luis, AR Konstantinos Parsopoulos, University of Ioannina, Greece Carlos Segura, CIMAT, Mexico Eduardo Segredo, Edinburgh Napier University, UK Javier Arellano, University of Málaga, Spain Track 5: Security, Organization, Management and Autonomic Computing for Intelligent Networking and Collaborative Systems Track Co-Chairs: Jungwoo Ryoo, Pennsylvania State University, USA Simon Tjoa, St. Poelten University of Applied Sciences, Austria TPC members: Nikolaj Goranin, Vilnius Gediminas Technical University, Lituania Kenneth Karlsson, Lapland University of Applied Sciences, Finland Peter Kieseberg, SBA Research, Austria Hyoungshick Kim, Sungkyunkwan University, Korea Hae Young Lee, DuDu IT, Korea Moussa Ouedraogo, Wavestone, Luxembourg Sebastian Schrittwieser, St. Pölten University of Applied Sciences, Austria Syed Rizvi, Pennsylvania State University, USA Track 6: Software Engineering, Semantics and Ontologies for Intelligent Networking and Collaborative Systems Track Co-Chairs: Kai Jander, University of Hamburg, Germany Giovanni Cozzolino, University of Naples "Federico II", Italy TPC members: Tsutomu Kinoshita, Fukui University of Technology, Japan Kouji Kozaki, Osaka University, Japan Hiroyoshi Miwa, Kwansei Gakuin University, Japan Burin Rujjanapan, Nation University, Thailand Hiroshi Kanasugi, Tokyo University, Japan Takayuki Shimotomai, Advanced Simulation Technology Of Mechanics R&D, Japan Jinattaporn Khumsri, Fukui University of Technology, Japan Rene Witte, Concordia University, Canada Amal Zouaq, University of Ottawa, Canada Jelena Jovanovic, University of Belgrade, RS Zeinab Noorian, Ryerson University, Canada Faezeh Ensan, Ferdowsi University of Mashhad, IR Alireza Vazifedoost, Sun Life Financial, Canada Morteza Mashayekhi, Royal Bank of Canada, Canada Track 7: Wireless and Sensor Systems for Intelligent Networking and Collaborative Systems Track Co-Chairs: Do van Thanh, Telenor & Oslo Metropolitan University, Norway Salem Lepaja, University of Prishtina @ AAB College in Prishtina, Kosovo Shigeru Kashihara, Nara Institute of Science and Technology, Japan TPC members: Dhananjay Singh, HUFS, Korea Shirshu Varma, IIIT-Allahabad, India B. BALAJI Naik, NIT-Sikkim, India Sayed Chhattan Shah, HUFS, Korea, US Madhusudan Singh, Yonsei University, Korea Irish Singh, Ajou University, Korea Gaurav Tripathi, Bharat Electronics Limited, India Jun Kawahara, Kyoto University, Japan Muhammad Niswar, Hasanuddin University, Indonesia Vasaka Visoottiviseth, Mahidol University, Thailand Jane Louie F. Zamora, Weathernews Inc., Japan Track 8: Service-based Systems for Enterprise Activities Planning and Management Track Co-Chairs: Corinna Engelhardt-Nowitzki, University of Applied Sciences, Austria Natalia Kryvinska, Comenius University in Bratislava, Slovakia TPC members: Maria Bohdalova, Comenius University in Bratislava, Slovakia Ivan Demydov, Lviv Polytechnic National University, Ukraine Jozef Juhar, Technical University of Košice, Slovakia Nor Shahniza Kamal Bashah, Universiti Teknologi MARA, Malaysia Eric Pardede, La Trobe University, Australia Francesco Moscato, University of Campania, Italy Tomoya Enokido, Rissho University, Japan Track 9: Next Generation Secure Network Protocols and Components Track Co-Chairs: Xu An Wang, Engineering University of CAPF, China Mingwu Zhang, Hubei Univerisity of Technology, China TPC members: Fushan Wei, The PLA Information Engineering University, China He Xu, Nangjing University of Posts and Telecommunications, China Yining Liu, Guilin University of Electronic Technology, China Yuechuan Wei, Engineering Unviersity of CAPF, China Weiwei Kong, Xi`an University of Posts&Telecommunications, China Dianhua Tang, CETC 30, China Hui Tian, Huaqiao University, China Track 10: Big Data Analytics for Learning, Networking and Collaborative Systems Track Co-Chairs: Santi Caballe, Universitat Oberta de Catalunya Spain Francesco Orciuoli, University of Salerno, Italy Shigeo Matsubara, Kyoto University, Japan TPC members: Santi Caballe, Open University of Catalonia, Spain Jordi Conesa, Open University of Catalonia, Spain Soumya Barnejee, Institut national des sciences appliquées, France David Bañeres, Open University of Catalonia, Spain Nicola Capuano, University of Salerno, Italy Nestor Mora, Open University of Catalonia, Spain Jorge Moneo, University of San Jorge, Spain David Gañán, Open University of Catalonia, Spain Isabel Guitart, Open University of Catalonia, Spain Elis Kulla, Okayama University of Science, Japan Evjola Spaho, Polytechnic University of Tirana, Albania Florin Pop, University Politehnica of Bucharest, Romania Kin Fun Li, University of Victoria, Canada Miguel Bote, University of Valladolid, Spain Pedro Muñoz, University of Carlos III, Spain Track 11: Cloud Computing: Services, Storage, Security and Privacy Track Co-Chairs: Javid Taheri, Karlstad University, Sweden Shuiguang Deng, Zhejiang University, China TPC members: Ejaz Ahmed, National Institute of Standards and Technology, US Asad Malik, National University of Science and Technology, Pakistan Usman Shahid, Comsats Institute of Information Technology, Pakistan Assad Abbas, North Dakota State University, US Nikolaos Tziritas, Chinese Academy of Sciences, China Osman Khalid, Comsats Institute of Information Technology, Pakistan Kashif Bilal, Qatar University, Qatar Javid Taheri, Karlstad University, Sweden Saif Rehman, Comsats Institute of Information Technology, Pakistan Inayat Babar, University of Engineering and Technology, Pakistan Thanasis Loukopoulos, Technological Educational Institute of Athens, Greece Mazhar Ali, Comsats Institute of Information Technology, Pakistan Tariq Umer, Comsats Institute of Information Technology, Pakistan Track 12: Intelligent Collaborative Systems for Work and Learning, Virtual Organization and Campuses Track Co-Chairs: Nikolay Kazantsev, National Research University Higher School of Economics, Russia Monika Davidekova, Comenius University in Bratislava, Slovakia TPC members: Luis Alberto Casillas, University of Guadalajara, Mexico Nestor Mora, University of Cadiz, Spain Michalis Feidakis, University of Aegean, Greece Sandra Isabel Enciso, Fundación Universitaria Juan N. Corpas, Colombia Nicola Capuano, University of Salerno, Italy Rafael Del Hoyo, Technological Center of Aragon, Spain George Caridakis, University of Aegean, Greece Kazunori Mizuno, Takushoku University, Japan Satoshi Ono, Kagoshima University, Japan Yoshiro Imai, Kagawa University, Japan Takashi Mitsuishi, Tohoku University, Japan Hiroyuki Mitsuhara, Tokushima University, Japan Track 13: Social Networking and Collaborative Systems Track Co-Chairs: Nicola Capuano, University of Salerno, Italy Dusan Soltes, Comenius University in Bratislava, Slovakia Yusuke Sakumoto, Kwansei Gakuin University, Japan TPC members: Santi Caballé, Open University of Catalonia, Spain Thanasis Daradoumis, University of the Aegean, Greece Angelo Gaeta, University of Salerno, Italy Christian Guetl, Graz University of Technology, Austria Miltiadis Lytras, American College of Greece Agathe Merceron, Beuth University of Applied Sciences Berlin, Germany Francis Palma, Screaming Power, Canada Krassen Stefanov, Sofia University “St. Kliment Ohridski”, Bulgaria Daniele Toti, Roma Tre Universy, Italy Jian Wang, Wuhan University, China Jing Xiao, South China Normal University, China Jian Yu, Auckland University of Technology, Australia Aida Masaki, Tokyo Metropolitan University, Japan Takano Chisa, Hiroshima City University, Japan Sho Tsugawa, Tsukuba University, Japan Track 14: Intelligent and Collaborative Systems for e-Health Track Co-Chairs: Massimo Esposito, Institute for High Performance Computing and Networking - National Research Council of Italy, Italy Mario Ciampi, Institute for High Performance Computing and Networking - National Research Council of Italy, Italy Giovanni Luca Masala, University of Plymouth, UK TPC members: Tim Brown, Australian National University, Australia Mario Marcos do Espirito Santo, Universidad Stadual de Montes Claros, Brazil Jana Heckenbergerova, University Pardubice, Czech Republic Zdenek Matej, Masaryk University, Czech Republic Michal Musilek, University Hradec Kralove, Czech Republic Michal Prauzek, VSB-TU OStrava, Czech Republic Vaclav Prenosil, Masaryk University, Czech Republic Alvin C. Valera, Singapore Management University, Singapore Nasem Badr El Din, University of Manitoba, Canada Emil, Pelikan, Academy of Sciences, Czech Republic Joanne Nightingale, National Physical Laboratory, UK Tomas Barton, University of Alberta, Canada Track 15: Mobile Networking and Applications Track Co-Chairs: Miroslav Voznak, VSB-Technical University of Ostrava, Czech Republic Akihiro Fujihara, Chiba Institute of Technology, Japan Lukas Vojtech, Czech Technical University in Prague, Czech Republic TPC members: Nobuyuki Tsuchimura, Kwansei Gakuin University, Japan Masanori Nakamichi, Fukui University of Technology, Japan Masahiro Shibata, Kyushu Institute of Technology, Japan Yusuke Ide, Kanazawa Institute of Technology, Japan Takayuki Shimotomai, Advanced Simulation Technology Of Mechanics R&D, Japan Dinh-Thuan Do, Ton Duc Thang University, Vietnam Floriano De Rango, University of Calabria, Italy Homero Toral-Cruz, University of Quintana Roo, Mexico Remigiusz Baran, Kielce University of Technology, Poland Mindaugas Kurmis, Klaipeda State University of Applied Sciences, Lituania Radek Martinek, VSB-Technical University of Ostrava, Czech Republic Mauro Tropea, University of Calabria, Italy Gokhan Ilk, Ankara University, Turkey Shino Iwami, Microsoft, Japan -------------- next part -------------- An HTML attachment was scrubbed... URL: