May 2017 - Haskell - Haskell.org

Haskell Implementors' Workshop Call for Talks
by Richard Eisenberg 04 Jul '17

04 Jul '17

Call for Contributions ACM SIGPLAN Haskell Implementors' Workshop http://icfp17.sigplan.org/track/hiw-2017 Oxford, UK, 9 September, 2017 Co-located with ICFP 2017 http://www.icfpconference.org/icfp2017/ Important dates --------------- Proposal Deadline: Thursday, 6 July, 2017 Notification: Thursday, 20 July, 2017 Workshop: Saturday, 9 September, 2017 The 9th Haskell Implementors' Workshop is to be held alongside ICFP 2017 this year in Oxford. It is a forum for people involved in the design and development of Haskell implementations, tools, libraries, and supporting infrastructure, to share their work and discuss future directions and collaborations with others. Talks and/or demos are proposed by submitting an abstract, and selected by a small program committee. There will be no published proceedings. The workshop will be informal and interactive, with open spaces in the timetable and room for ad-hoc discussion, demos, and impromptu short talks. Scope and target audience ------------------------- It is important to distinguish the Haskell Implementors' Workshop from the Haskell Symposium which is also co-located with ICFP 2017. The Haskell Symposium is for the publication of Haskell-related research. In contrast, the Haskell Implementors' Workshop will have no proceedings -- although we will aim to make talk videos, slides and presented data available with the consent of the speakers. The Implementors' Workshop is an ideal place to describe a Haskell extension, describe works-in-progress, demo a new Haskell-related tool, or even propose future lines of Haskell development. Members of the wider Haskell community encouraged to attend the workshop -- we need your feedback to keep the Haskell ecosystem thriving. Students working with Haskell are specially encouraged to share their work. The scope covers any of the following topics. There may be some topics that people feel we've missed, so by all means submit a proposal even if it doesn't fit exactly into one of these buckets: * Compilation techniques * Language features and extensions * Type system implementation * Concurrency and parallelism: language design and implementation * Performance, optimisation and benchmarking * Virtual machines and run-time systems * Libraries and tools for development or deployment Talks ----- We invite proposals from potential speakers for talks and demonstrations. We are aiming for 20-minute talks with 5 minutes for questions and changeovers. We want to hear from people writing compilers, tools, or libraries, people with cool ideas for directions in which we should take the platform, proposals for new features to be implemented, and half-baked crazy ideas. Please submit a talk title and abstract of no more than 300 words. Submissions should be made via HotCRP. The website is: https://icfp-hiw17.hotcrp.com/ We will also have a lightning talks session which will be organised on the day. These talks will be 5-10 minutes, depending on available time. Suggested topics for lightning talks are to present a single idea, a work-in-progress project, a problem to intrigue and perplex Haskell implementors, or simply to ask for feedback and collaborators. Program Committee ----------------- * Richard A. Eisenberg -- chair (Bryn Mawr College) * Adam Gundry (Well-Typed) * Bartosz Nitka (Facebook) * Wren Romano (X, formerly Google[x]) * Alejandro Serrano Mena (Utrecht University) * Jan Stolarek (University of Edinburgh) Contact ------- * Richard A. Eisenberg <rae(a)cs.brynmawr.edu>

1 1

Deadline extension for FARM 2017 (now June 8) - Workshop on Functional Art, Music, Modelling and Design
by Michael Sperber 29 May '17

29 May '17

The FARM submission deadline has been extended to June 8. Note that you must register your abstract by June 1 in order to submit the final paper by June 8. Key Dates: Abstract Registration deadline : June 1, 2017 Submission deadline : June 8, 2017 Author Notification : July 1, 2017 Camera Ready : July 13, 2017 The ACM SIGPLAN International Workshop on Functional Art, Music, Modelling and Design (FARM) gathers together people who are harnessing functional techniques in the pursuit of creativity and expression. It is co-located with ICFP 2017, the 22nd ACM SIGPLAN International Conference on Functional Programming. Functional Programming has emerged as a mainstream software development paradigm, and its artistic and creative use is booming. A growing number of software toolkits, frameworks and environments for art, music and design now employ functional programming languages and techniques. FARM is a forum for exploration and critical evaluation of these developments, for example to consider potential benefits of greater consistency, tersity, and closer mapping to a problem domain. FARM encourages submissions from across art, craft and design, including textiles, visual art, music, 3D sculpture, animation, GUIs, video games, 3D printing and architectural models, choreography, poetry, and even VLSI layouts, GPU configurations, or mechanical engineering designs. Theoretical foundations, language design, implementation issues, and applications in industry or the arts are all within the scope of the workshop. The language used need not be purely functional (“mostly functional” is fine), and may be manifested as a domain specific language or tool. Moreover, submissions focusing on questions or issues about the use of functional programming are within the scope. FARM 2017 website : http://functional-art.org/2017/ *We welcome submissions from academic, professional, and independent programmers and artists.* Submissions are invited in three categories: 1) Original papers We solicit original papers in the following categories: Original research Overview / state of the art Technology tutorial All submissions must propose an original contribution to the FARM theme. FARM is an interdisciplinary conference, so a wide range of approaches are encouraged. An original paper should have 5 to 12 pages, be in portable document format (PDF), using the ACM SIGPLAN style guidelines and use the ACM SIGPLAN template. Accepted papers will be published in the ACM Digital Library as part of the FARM 2017 proceedings. See http://authors.acm.org/main.cfm for information on the options available to authors. Authors are encouraged to submit auxiliary material for publication along with their paper (source code, data, videos, images, etc.); authors retain all rights to the auxiliary material. 2) Demo proposals Demo proposals should describe a demonstration to be given at the FARM workshop and its context, connecting it with the themes of FARM. A demo could be in the form of a short (10-20 minute) tutorial, presentation of work-in-progress, an exhibition of some work, or even a performance (although see also the separate call for evening performances). Demo proposals should be in plain text, HTML or Markdown format, and not exceed 2000 words. A demo proposal should be clearly marked as such, by prepending Demo Proposal: to the title. Demo proposals will be published on the FARM website. A summary of the demo performances will also be published as part of the conference proceedings, to be prepared by the program chair. 3) Calls for collaboration Calls for collaboration should describe a need for technology or expertise related to the FARM theme. Examples may include but are not restricted to: art projects in need of realization existing software or hardware that may benefit from functional programming unfinished projects in need of inspiration Calls for collaboration should be in plain text, HTML or Markdown format, and not exceed 5000 words. A call for collaboration should be clearly marked as such, by prepending Call for Collaboration: to the title. Calls for collaboration will be published on the FARM website. 4) Evening performances There is a separate call for evening performances. Submission is via EasyChair https://easychair.org/conferences/?conf=farm2017 Authors take note The official publication date is the date the proceedings are made available in the ACM Digital Library. This date may be up to two weeks prior to the first day of your conference. The official publication date affects the deadline for any patent filings related to published work.

1 0

Call for participation: Trends in Functional Programming, 19-21 june 2017, University of Kent, Canterbury
by Peter Achten 29 May '17

29 May '17

----------------------------- C A L L F O R P A R T I C I P A T I O N ----------------------------- ======== TFP 2017 =========== 18th Symposium on Trends in Functional Programming 19-21 June, 2017 University of Kent, Canterbury https://www.cs.kent.ac.uk/events/tfp17/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). Authors of draft papers will be invited to submit revised papers based on the feedback receive at the symposium. A post-symposium refereeing process will then select a subset of these articles for formal publication. TFP 2017 will be the main event of a pair of functional programming events. TFP 2017 will be accompanied by the International Workshop on Trends in Functional Programming in Education (TFPIE), which will take place on 22 June. The TFP symposium is the heir of the successful series of Scottish Functional Programming Workshops. Previous TFP symposia were held in * Edinburgh (Scotland) in 2003; * Munich (Germany) in 2004; * Tallinn (Estonia) in 2005; * Nottingham (UK) in 2006; * New York (USA) in 2007; * Nijmegen (The Netherlands) in 2008; * Komarno (Slovakia) in 2009; * Oklahoma (USA) in 2010; * Madrid (Spain) in 2011; * St. Andrews (UK) in 2012; * Provo (Utah, USA) in 2013; * Soesterberg (The Netherlands) in 2014; * Inria Sophia-Antipolis (France) in 2015; * and Maryland (USA) in 2016. For further general information about TFP please see the TFP homepage. (http://www.tifp.org/) == 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 2017 program chairs, Scott Owens and Meng Wang. == 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. == PAPER SUBMISSIONS == Acceptance of articles for presentation at the symposium is based on a lightweight peer review process of extended abstracts (4 to 10 pages in length) or full papers (20 pages). The submission must clearly indicate which category it belongs to: research, position, project, evaluation, or overview paper. It should also indicate which authors are research students, and whether the main author(s) are students. A draft paper for which ALL authors are students will receive additional feedback by one of the PC members shortly after the symposium has taken place. We use EasyChair for the refereeing process. Papers must be submitted at: https://easychair.org/conferences/?conf=tfp17 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/computer/lncs?SGWID=0-164-6-793341-0 == INVITED SPEAKERS == Conor McBride University of Strathclyde (UK) Cătălin Hriţcu INRIA Paris (FR) == IMPORTANT DATES == Submission of draft papers: 5 May, 2017 Notification: 12 May, 2017 Registration: 11 June, 2017 TFP Symposium: 19-21 June, 2017 Student papers feedback: 29 June, 2017 Submission for formal review: 2 August, 2017 Notification of acceptance: 3 November, 2017 Camera ready paper: 2 December, 2017 == PROGRAM COMMITTEE == Co-Chairs Meng Wang University of Kent (UK) Scott Owens University of Kent (UK) PC Jeremy Yallop University of Cambridge (UK) Nicolas Wu University of Bristol (UK) Laura Castro University of A Coruña (ES) Gabriel Scherer Northeastern University (US) Edwin Brady University of St Andrews (UK) Janis Voigtländer Radboud University Nijmegen (NL) Peter Achten Radboud University Nijmegen (NL) Tom Schrijvers KU Leuven (BE) Matthew Fluet Rochester Institute of Technology (US) Mauro Jaskelioff CIFASIS/Universidad Nacional de Rosario (AG) Patricia Johann Appalachian State University (US) Bruno Oliveira The University of Hong Kong (HK) Rita Loogen Philipps-Universität Marburg (GE) David Van Horn University of Marylan (US) Soichiro Hidaka Hosei University (JP) Michał Pałka Chalmers University of Technology (SE) Sandrine Blazy University of Rennes 1 - IRISA (FR)

1 0

ThEdu'17: 2nd Call for Extended Abstracts & Demonstrations
by Achim D. Brucker 27 May '17

27 May '17

(Apologies for duplicates) Call for Extended Abstracts & Demonstrations ThEdu'17 Theorem proving components for Educational software http://www.uc.pt/en/congressos/thedu/thedu17 at CADE 26 International Conference on Automated Deduction 6-11 August 2017 Gothenburg, Sweden http://www.cade-26.info/ ThEdu'17 Scope Computer Theorem Proving is becoming a paradigm as well as a technological base for a new generation of educational software in science, technology, engineering and mathematics. The workshop brings together experts in automated deduction with experts in education in order to further clarify the shape of the new software generation and to discuss existing systems. Topics of interest include: * methods of automated deduction applied to checking students' input; * methods of automated deduction applied to prove post-conditions for particular problem solutions; * combinations of deduction and computation enabling systems to propose next steps; * automated provers specific for dynamic geometry systems; * proof and proving in mathematics education. Important Dates Extended Abstracts: 18 June 2017 Author Notification: 2 July 2017 Final Version: 16 July 2017 Workshop Day: 6 August 2017 Submission Interested researchers are invited to submit extended abstracts and system descriptions. Both kinds of submissions should be approximately 5 pages in length and present original unpublished work not submitted elsewhere. Submission is in PDF format via easychair, https://easychair.org/conferences/?conf=thedu17 formatted according to http://www.easychair.org/publications/easychair.zip The extended abstracts and system descriptions will be made available online. At least one author is expected to presents his/her submission at ThEdu'17. Joint publication in companion with other CADE26 events is under consideration (as a volume in the EPiC Series in Computing). Program Committee Francisco Botana, University of Vigo at Pontevedra, Spain Achim D. Brucker, University of Sheffield, United Kingdom Filip Maric, University of Belgrade, Serbia Walther Neuper, Graz University of Technology, Austria (co-chair) Pavel Pech , University of South Bohemia, Czech Republic Pedro Quaresma, University of Coimbra, Portugal (co-chair) Vanda Santos, CISUC, Portugal Wolfgang Schreiner, Johannes Kepler University, Austria Burkhart Wolff, University Paris-Sud, France -- Dr. Achim D. Brucker | Software Assurance & Security | University of Sheffield https://www.brucker.ch | https://logicalhacking.com/blog @adbrucker | @logicalhacking

1 0

FHPC'17: Extended deadline and maximum length
by Jost Berthold 25 May '17

25 May '17

====================================================================== CALL FOR PAPERS FHPC 2017 The 6th ACM SIGPLAN Workshop on Functional High-Performance Computing Oxford, UK September 7, 2017 http://icfp17.sigplan.org/track/FHPC-2017-papers Co-located with the International Conference on Functional Programming (ICFP 2017) Submission Deadline: 2nd of June 2017 (extended from 26th of May 2017) UPDATE: FHPC'17 papers length extended to up to 12 pages! ====================================================================== The FHPC workshop aims at bringing together researchers exploring uses of functional (or more generally, declarative or high-level) programming technology in application domains where high performance is essential. The aim of the meeting is to enable sharing of results, experiences, and novel ideas about how high-level, declarative specifications of computationally challenging problems can serve as maintainable and portable code that approaches (or even exceeds) the performance of machine-oriented (low-level) imperative implementations. All aspects of performance critical programming and parallel programming are in-scope for the workshop, irrespective of hardware target. This includes both traditional large-scale scientific computing (HPC), as well as work targeting single node systems with SMPs, GPUs, FPGAs, or embedded processors. It is becoming apparent that radically new and well founded methodologies for programming such systems are required to address their inherent complexity and to reconcile execution performance with programming productivity. Experience reports are also welcome. Proceedings: ============ FHPC 2017 seeks to encourage a range of submissions, focusing on work in progress and facilitating early exchange of ideas and open discussion on innovative and/or emerging results. Submission are limited to maximum 12 pages, but short papers (about 6 pages) are equally welcome. Accepted papers will be published by the ACM and will appear in the ACM Digital Library. This year FHPC will introduce an (optional) artifact-evaluation session, with the intent that selected artifacts will receive additional presentation time in a dedicated slot during the workshop. * Paper submissions due: 2nd of June 2017, anywhere on earth (extended from 26th of May, 2017) * Artifact submissions due: 16th of June 2017 (optional) * Author notification: 30st of June, 2017 * Final copy due: 15th of July, 2017 Submitted papers must be in portable document format (PDF), formatted according to the ACM SIGPLAN style guidelines (2 column, 9pt format). See http://www.sigplan.org/authorInformation.htm for more information and style files. Papers should be no longer than 12 pages. Contributions to FHPC 2017 should be submitted via Easychair, at the following URL: * https://easychair.org/conferences/?conf=fhpc17 The FHPC workshops adhere to the ACM SIGPLAN policies regarding programme committee contributions and republication. Any paper submitted must adhere to ACM SIGPLAN's republication policy. PC member submissions are welcome, but will be reviewed to a higher standard. http://www.sigplan.org/Resources/Policies/Review http://www.sigplan.org/Resources/Policies/Republication ------ AUTHORS TAKE NOTE: The official publication date is the date the proceedings are made available in the ACM Digital Library. This date may be up to two weeks prior to the first day of your conference. The official publication date affects the deadline for any patent filings related to published work. ------ Travel Support: =============== Student attendees with accepted papers can apply for a SIGPLAN PAC grant to help cover travel expenses. PAC also offers other support, such as for child-care expenses during the meeting or for travel costs for companions of SIGPLAN members with physical disabilities, as well as for travel from locations outside of North America and Europe. For details on the PAC programme, see its web page (http://www.sigplan.org/PAC.htm) Program Committee: ================== Phil Trinder (co-chair) Glasgow University, UK Cosmin Oancea (co-chair) University of Copenhagen, Denmark Jost Berthold Commonwealth Bank of Australia, Australia Kei Davis Los Alamos National Laboratory, USA Zhenjiang Hu National Institute of Informatics, Japan Gabriele Keller The University of New South Wales, Australia Rita Loogen Philipps-University Marburg, Germany Patrick Maier Glasgow University, UK Geoffrey Mainland Drexel University, USA Gihan Mudalige University of Warwick, UK Louis-Noel Pouchet Colorado State University, USA Mary Sheeran Chalmers University of Technology, Sweden

1 0

[ANN] Matterhorn: a terminal client for the MatterMost chat system
by Jonathan Daugherty 24 May '17

24 May '17

I am proud to announce the general availability of Matterhorn, a Haskell text user-interface (TUI) chat client for the MatterMost chat service. Matterhorn provides a terminal-optimized interface to the rich chat features of MatterMost[1], an open-source Slack-inspired chat system. Matterhorn is available in binary release and source form: * Source: https://github.com/matterhorn-chat/matterhorn * Binary: https://github.com/matterhorn-chat/matterhorn/releases * Hackage: https://hackage.haskell.org/package/matterhorn Matterhorn is currently compatible with MatterMost server version 3.8 and is supported on macOS and Linux. Windows support is possible but requires terminal emulation support through either Cygwin or the new Windows Subsystem for Linux. Development of Matterhorn to date has been funded by Galois, Inc. Its primary authors are Jonathan Daugherty, Getty Ritter, and Jason Dagit. Special thanks go to Thomas DuBuisson, Tristan Ravitch, Adam Wick, Nicholas Skinsacos, Eric Mertens, Chris Fahlbusch, and the many brave souls who provided feedback and suggestions. This project would not have been possible without the support of the many fine Haskell libraries we used. This work also included the development of mattermost-api, a Haskell package providing HTTP API bindings to the MatterMost service. The mattermost-api package can be found on GitHub and Hackage: * https://github.com/matterhorn-chat/mattermost-api * http://hackage.haskell.org/package/mattermost-api Additional Resources: * Our blog post: https://galois.com/blog/2017/05/matterhorn-experience-report/ * Learn more about 3rd party tools for MatterMost: https://www.mattermost.org/community-applications/ * Quick Start: https://github.com/matterhorn-chat/matterhorn#quick-start * MatterMost: https://about.mattermost.com/ Enjoy! -- Jonathan Daugherty Software Engineer Galois, Inc.

1 0

ANNOUNCE: Haskell Communities and Activities Report (32nd ed., May 2017)
by Mihai Maruseac 24 May '17

24 May '17

On behalf of all the contributors, we are pleased to announce that the Haskell Communities and Activities Report (32nd edition, May 2017) is now available, in PDF and HTML formats: http://haskell.org/communities/05-2017/report.pdf http://haskell.org/communities/05-2017/html/report.html All previous editions of HCAR can be accessed on the wiki at https://wiki.haskell.org/Haskell_Communities_and_Activities_Report Many thanks go to all the people that contributed to this report, both directly, by sending in descriptions, and indirectly, by doing all the interesting things that are reported. We hope you will find it as interesting a read as we did. If you have not encountered the Haskell Communities and Activities Reports before, you may like to know that the first of these reports was published in November 2001. Their goal is to improve the communication between the increasingly diverse groups, projects, and individuals working on, with, or inspired by Haskell. The idea behind these reports is simple: Every six months, a call goes out to all of you enjoying Haskell to contribute brief summaries of your own area of work. Many of you respond (eagerly, unprompted, and sometimes in time for the actual deadline) to the call. The editors collect all the contributions into a single report and feed that back to the community. When we try for the next update, six months from now, you might want to report on your own work, project, research area or group as well. So, please put the following into your diaries now: ======================================== End of September 2016: target deadline for contributions to the November 2017 edition of the HCAR Report ======================================== Unfortunately, many Haskellers working on interesting projects are so busy with their work that they seem to have lost the time to follow the Haskell related mailing lists and newsgroups, and have trouble even finding time to report on their work. If you are a member, user or friend of a project so burdened, please find someone willing to make time to report and ask them to "register" with the editors for a simple e-mail reminder in November (you could point us to them as well, and we can then politely ask if they want to contribute, but it might work better if you do the initial asking). Of course, they will still have to find the ten to fifteen minutes to draw up their report, but maybe we can increase our coverage of all that is going on in the community. Feel free to circulate this announcement further in order to reach people who might otherwise not see it. Enjoy! -- Mihai Maruseac (MM) "If you can't solve a problem, then there's an easier problem you can solve: find it." -- George Polya

1 0

Last call for talk proposals: Higher-Order Programming with Effects, HOPE 2017
by François Pottier 24 May '17

24 May '17

One week to go before the HOPE 2017 deadline! Put this time to good effect: submit a talk proposal and come present your research in Oxford on Sep. 3rd. ------------------------------------------------------------------------------ CALL FOR TALK PROPOSALS HOPE 2017 The 6th ACM SIGPLAN Workshop on Higher-Order Programming with Effects September 3, 2017 Oxford, United Kingdom (the day before ICFP 2017) http://icfp17.sigplan.org/track/hope-2017-papers ------------------------------------------------------------------------------ The HOPE workshop series are intended to bring together researchers interested in the design, semantics, implementation, and verification of higher-order effectful programs. They are informal, consisting of invited talks, contributed talks on work in progress, and open-ended discussion sessions. They are dedicated to John Reynolds, whose work is an inspiration to us all. The 6th ACM SIGPLAN Workshop on Higher-Order Programming with Effects will take place on Sunday, September 3, 2017, that is, the day before ICFP 2017, in Oxford, United Kingdom. # Goals of the Workshop A recurring theme in many papers at ICFP, and in the research of many ICFP attendees, is the interaction of higher-order programming with various kinds of effects: storage effects, I/O, control effects, concurrency, etc. While effects are of critical importance in many applications, they also make code harder to build, maintain, and reason about. Higher-order languages (both functional and object-oriented) provide a variety of abstraction mechanisms to help "tame" or "encapsulate" effects (e.g. monads, ADTs, ownership types, typestate, first-class events, transactions, Hoare Type Theory, session types, substructural and region-based type systems), and a number of different semantic models and verification technologies have been developed in order to codify and exploit the benefits of this encapsulation (e.g. bisimulations, step-indexed Kripke logical relations, higher-order separation logic, game semantics, various modal logics). But there remain many open problems, and the field is highly active. The goal of the HOPE workshop is to bring researchers from a variety of different backgrounds and perspectives together to exchange new and exciting ideas concerning the design, semantics, implementation, and verification of higher-order effectful programs. We want HOPE to be as informal and interactive as possible. The program will thus involve a combination of invited talks, contributed talks about work in progress, and open-ended discussion sessions. There will be no published proceedings, but participants will be invited to submit working documents, talk slides, etc., to be made available online. # Call for Talk Proposals We solicit proposals for contributed talks. We recommend preparing proposals of at most 2 pages, in either plain text or PDF format. However, we will accept longer proposals or submissions to other conferences, under the understanding that PC members are only expected to read the first two pages of such longer submissions. When submitting talk proposals, authors should specify how long a talk the speaker wishes to give. By default, contributed talks will be 30 minutes long, but proposals for shorter or longer talks will also be considered. Speakers may also submit supplementary material (e.g. a full paper, talk slides) if they desire, which PC members are free (but not expected) to read. We are interested in talks on all topics related to the interaction of higher-order programming and computational effects. Talks about work in progress are particularly encouraged. If you have any questions about the relevance of a particular topic, please contact the PC chairs, François Pottier (francois.pottier(a)inria.fr) and Aleks Nanevski (aleks.nanevski(a)imdea.org) # Important Dates * Deadline for talk proposals: June 1st, 2017 (Thursday) * Notification of acceptance: July 1st, 2017 (Saturday) * Workshop: September 3, 2017 (Sunday) # Submission Link The submission website is https://icfp-hope17.hotcrp.com/ . # Workshop Organization Program Co-Chairs: François Pottier (Inria Paris) Aleks Nanevski (IMDEA Software Institute) Program Committee: Edwin Brady University of St Andrews Pierre-Évariste Dagand LIP6/CNRS Atsushi Igarashi Kyoto University Robbert Krebbers Delft University of Technology Vivek Nigam Federal University of Paraíba Matija Pretnar University of Ljubljana Azalea Raad Imperial College London Aseem Rastogi Microsoft Research Filip Sieczkowski University of Wrocław Niki Vazou University of Maryland

1 0

CFP: 20th ACM MSWiM 2017 - Miami Beach, FL
by Robson De Grande 23 May '17

23 May '17

=================================================== Call-For-Papers: 20th ACM MSWiM 2017 Miami Beach, Florida, Nov 21-25, 2017 http://www.mswimconf.com/2017 ==================================================== IMPORTANT: Submission deadline (Extended): June 5th 2017 (Firm) =================================================== Note: Extended versions of selected papers will be considered for publication in a Fast Track issue of Elsevier's Computer Communications. ===================================================== ACM* MSWiM 2017 is the 20th Annual International Conference on Modeling, Analysis and Simulation of Wireless and Mobile Systems. MSWiM is an international forum dedicated to in-depth discussion of Wireless and Mobile systems, networks, algorithms and applications, with an emphasis on rigorous performance evaluation. MSWiM is a highly selective conference with a long track record of publishing innovative ideas and breakthroughs. MSWiM 2017 will be held in Miami Beach, USA, Nov 21-25, 2017. Authors are encouraged to submit full papers presenting new research related to the theory or practice of all aspects of modeling, analysis and simulation of mobile and wireless systems. Submitted papers must not have been published elsewhere nor currently be under review by another conference or journal. Papers related to wireless and mobile network Modeling, Analysis, Design, and Simulation are solicited on, but not limited to, the following topics in mobile and wireless systems: -- Wireless Communication and Mobile Networking - Performance evaluation and modeling - Analytical Models - Simulation languages and tools for wireless systems - Wireless measurements tools and experiences - Formal methods for analysis of wireless systems - Correctness, survivability and reliability evaluation - Mobility modeling and management - Models and protocols for cognitive radio networks - Models and protocols for autonomic, or self-* networks - Capacity, coverage and connectivity modeling and analysis - Wireless network algorithms and protocols - Software Defined Network - Services for Smart City - Wireless PANs, LANs - Ad hoc and MESH networks - Vehicular Ad-hoc Networks (VANET) - Sensor and actuator networks - Delay Tolerant Networks - Integration of wired and wireless systems - Pervasive computing and emerging models - Wireless multimedia systems - QoS provisioning in wireless and mobile networks - Security and privacy of mobile/wireless systems - Algorithms and protocols for energy efficient operation and power control - Mobile applications, system software and algorithms - RF channel modeling and analysis - Design methodologies, Tools, prototypes and testbeds - Parallel and distributed simulation of wireless systems - Operating systems for mobile computations - Programming language support for mobility - Resource management techniques - Management of mobile object systems Paper Submission and Publication: High-quality original papers are solicited. Papers must be unpublished and must not be submitted for publication elsewhere. All papers will be reviewed by Technical Program Committee members and other experts active in the field to ensure high quality and relevance to the conference. More detailed instructions for EDAS paper submission can be found at http://www.mswimconf.com/2017. Accepted papers will appear in the conference proceedings to be published by ACM Press. Important Dates: Paper Registration (Full list of authors, title, keywords, abstract): May 28th 2017 Paper Submission Deadline (Extended): June 5, 2017 (Firm) Notification of Acceptance: July 5, 2017 Organizing Committee: General Co-Chair: - Antonio Loureiro, UFMG, Brazil TPC Co-Chairs: - Richard Yu, Carleton University Canada - Hsiao-Chun Wu, Louisana State University, USA Tutorial Chairs: - Pan Li, Case Western Reserve University, USA, - Costas Bush, Louisiana State University, USA Workshop Chair: - Paolo Bellavista, University of Bologna, Italy Demos/Toosl Chair - Raquel Mini, PUC-Minas, Brazil PhD Forum Chair - Bjorn Landfeldt, Lund University, Sweeden

1 0

CFP: IEEE DS-RT 2017 (October 18-20, Rome, Italy)
by Robson De Grande 22 May '17

22 May '17

------------------------------------------------------------------------------------ Please accept our apologies if you have received multiple copies. ------------------------------------------------------------------------------------ Call for Papers - DS-RT 2017 21st IEEE/ACM International Symposium on Distributed Simulation and Real Time Applications http://ds-rt.com/ October 18 - 20, 2017, Rome, Italy ----------------------------------------------------------------------- IMPORTANT: Submission deadline (FIRM): May 26th, 2017 ----------------------------------------------------------------------- *** The Symposium *** The 2017 IEEE/ACM International Symposium on Distributed Simulation and Real Time Applications (DS-RT 2017) promises to be a grand affair and will take place in London, UK. DS-RT 2017 serves as a platform for simulationists from academia, industry and research labs for presenting recent research results in Distributed Simulation and Real Time Applications. DS-RT 2017 targets the growing overlap between large distributed simulations and real-time applications, such as collaborative virtual environments, pervasive and ubiquitous application scenarios, motor-, controller-, sensor- and actuator systems. The conference features prominent invited speakers as well as papers by top researchers in the field. DS-RT 2017 will include contributed technical papers, invited papers, and panel discussions. The proceedings will be published by IEEE-CS press. *** Call for Papers *** DS-RT provides an international forum for the discussion and presentation of original ideas, recent results and achievements by researchers, research students, and systems developers on issues and challenges related to distributed simulation and real-time applications. Authors are encouraged to submit both theoretical and practical results of significance. Demonstration of new tools/applications is very encouraged. The scope of the symposium includes, but is not limited to: - Paradigms, Methodology and Software Architectures for Large Scale Distributed and Real-Time Simulations (e.g. Parallel and Distributed Simulation, Multi-Agent Based Distributed Simulation, HLA/RTI, Web, Grid and cloud-based Simulation, hardware-software co-design for extreme-scale simulations) - Paradigms, Modelling, Architecture and Environments for Large Scale Real-time Systems and Concurrent Systems with hard and soft Real-Time Constraints - Advanced modelling techniques (reuse of models, new modelling languages, agent-based M&S, and spatial M&S) - Non-functional Properties of Distributed Simulation and Real-Time Systems (e.g. Dependability, Availability, Reliability, Maintainability, Safety, Security, Trustworthiness, QoS) - Theoretical Foundations of Large-Scale Real-Time and Simulation Models (e.g. Event Systems, Causality, Space-Time Models, Notions of Time, Discrete and Continuous Systems, Simulator Coordination) - Simulation Studies at Large and Very Large Scale (e.g. Industrial, Commercial, Ecological and Environmental, Societal, Power and Energy, Pervasive and Ubiquitous Computing Systems) - Performance and Validation of Large-Scale and Distributed Simulations (e.g., benchmarking and analytical results, empirical studies DIS, HLA/RTI studies) - Algorithms and methods for parallel or distributed simulation (synchronization, scheduling, memory management, and load balancing) - Languages and Tools, Development Environments, Data Interfaces, Network Protocols and Model Repositories that address Very Large Simulations - Data Management and Distribution Issues, Interest Management, Semantic Modelling, Multi-resolution Modelling, Dead-Reckoning Mechanisms - Pervasive and Ubiquitous Computing Architectures and Applications that involve Simulations and/or adhere to Real-Time Constraints - Simulation-based Virtual Environments and Mixed Reality Systems (e.g. Interactive Virtual Reality, Human Communication through Immersive Environments) - Collaborative Virtual and Augmented Reality, Shared Interaction Spaces, Telepresence Systems and Shared Workspaces, 3D Video and Acoustic Reconstruction, Shared Object Manipulation - Serious Gaming and Massive Multiplayer Online Games (MMOG) applications, architectures and scalability issues - Visual Interactive Simulation Environments (e.g., Generic Animation, Visual Interactive Modelling, Interactive Computer Based Training and Learning, Scientific Visualization, High-End Computer Graphics) - Design Issues, Interaction Designs, Human Commuter Interaction Issues raised by Large Scale DS-RT Systems - Media Convergence (e.g. New Technologies, Media Theory, Real-Time considerations of Multi-Modality, etc.) - Innovative Styles of Interactions with Large Scale DS-RT Systems (e.g. Implicit, Situative and Attentive Interaction, Tangible Interaction, Embedded Interaction, etc.) - Technologies for Living Labs (e.g. Mirror World Simulation, Interoperability, Large Scale Multi-Sensor Networks, Global Wireless Communication, Multi-Stakeholder Understanding and Innovation) - Environmental and Emerging Simulation Challenges (e.g. Growth of Human Population, Climate Change, CO2, Health Care, Ecosystems, Sustainable Development, Water and Energy Supply, Human Mobility, Air Traffic, World Stock Markets, Food Supply Chains, Megacities, Smart Cities, Disaster Planning, etc.) - Advanced Simulation Studies and Technologies (e.g. Discrete event, continuous Simulation, etc.) - Cognitive Modelling and Simulation, Artificial Intelligence in Simulation, and Neural Network Models and Simulation - Service-oriented Computing and Simulation, Web-based Modelling and Simulation, and Simulation of Multimedia Applications and Systems - Advances in Simulation Methodology and Practices - Smart Network Design and Traffic Modelling Authors of selected papers will be invited to submit extended versions of their papers to the Journal of Simulation. *** Important Dates *** Paper Submission Deadline: May 26th, 2017 (FIRM) Notification of Acceptance: June 26th, 2017 Camera Ready version due: July 24th, 2017 Symposium presentation: October 18-20 2017 *** Submission *** Papers must be unpublished and must not be submitted for publication elsewhere. All papers will be reviewed by Technical Program Committee members and other experts active in the field to ensure high quality and relevance to the conference. Accepted papers will appear in the conference proceedings to be published by IEEE-CS press. General information regarding submission can be found at http://ds-rt.com/. Questions from authors may be directed to the Program Co-Chairs. IMPORTANT: ATTENDANCE BY AT LEAST ONE AUTHOR IS MANDATORY *** ORGANIZING COMMITTEE*** General Chair Alfredo Garro, University of Calabria, Italy Program Chair Andrea D'Ambrogio, University of Rome "Tor Vergata", Italy Registration Chair Simona Citrigno, ICT-SUD Competence Center, Italy Publicity Co-Chairs Simon J. E. Taylor, Brunel University, United Kingdom Mirela Sechi Moretti, FAERO/AeroTD, Brazil Special Sessions Co-Chairs Anthony Ventresque, Lero & University College Dublin, Ireland Robson De Grande, University of Ottawa, Canada Posters Chair Floriano De Rango, University of Calabria, Italy

1 0