From robby at eecs.northwestern.edu Sat Apr 1 12:12:47 2017 From: robby at eecs.northwestern.edu (Robby Findler) Date: Sat, 1 Apr 2017 07:12:47 -0500 Subject: [Haskell] The Racket Summer School of Semantics and Languages Message-ID: The Racket Summer School of Semantics and Languages Last Call Imagine yourself confronted with a Mystery Programming Language and charged with the task of figuring out its semantics. What would you do? What if you have a formal executable semantics and want to build a production language for it? If these questions intrigue you, attend the Racket Summer School: http://summer-school.racket-lang.org/2017/ This is not your run-of-the-mill summer school. We will do our best to make it exciting, entertaining, and useful to a broad spectrum of attendees, both academic and industrial. P.S. As soon as you get accepted, we will send you your first problem set. Get ready. From mihai.maruseac at gmail.com Mon Apr 3 00:41:33 2017 From: mihai.maruseac at gmail.com (Mihai Maruseac) Date: Sun, 2 Apr 2017 17:41:33 -0700 Subject: [Haskell] [Call for Contributions] Haskell Communities and Activities Report, May 2017 edition (32nd edition) Message-ID: Dear all, We would like to collect contributions for the 32nd edition (10000th edition) of the ============================================================ Haskell Communities & Activities Report http://www.haskell.org/haskellwiki/Haskell_Communities_and_Activities_Report Submission deadline: 30 April 2017 (please send your contributions to hcar at haskell.org, in plain text or LaTeX format, both are equally accepted) ============================================================ This is the short story: * If you are working on any project that is in some way related to Haskell, please write a short entry and submit it. Even if the project is very small or unfinished or you think it is not important enough --- please reconsider and submit an entry anyway! * If you are interested in an existing project related to Haskell that has not previously been mentioned in the HCAR, please tell us, so that we can contact the project leaders and ask them to submit an entry. * If you are working on a project that is looking for contributors, please write a short entry and submit it, mentioning that your are looking for contributors. * Feel free to pass on this call for contributions to others that might be interested. More detailed information: The Haskell Communities & Activities Report is a bi-annual overview of the state of Haskell as well as Haskell-related projects over the last, and possibly the upcoming six months. If you have only recently been exposed to Haskell, it might be a good idea to browse the previous edition --- you will find interesting projects described as well as several starting points and links that may provide answers to many questions. Contributions will be collected until the submission deadline. They will then be compiled into a coherent report that is published online as soon as it is ready. As always, this is a great opportunity to update your webpages, make new releases, announce or even start new projects, or to talk about developments you want every Haskeller to know about! Looking forward to your contributions, Mihai Maruseac FAQ: Q: What format should I write in? A: The usual format is a LaTeX source file, adhering to the template that is available at: http://haskell.org/communities/05-2017/template.tex There is also a LaTeX style file at http://haskell.org/communities/05-2017/hcar.sty that you can use to preview your entry. If you do not know LaTeX or don't want to use it or don't have time to translate your entry into it, then please use plain text, it is better to have an entry in plain-text which we will translate than not have it at all. If you modify an old entry that you have written for an earlier edition of the report, you should soon receive your old entry as a template (provided we have your valid email address). Please modify that template, rather than using your own version of the old entry as a template. Q: Can I include Haskell code? A: Yes. Please use lhs2tex syntax (http://www.andres-loeh.de/lhs2tex/). The report is compiled in mode polycode.fmt. Q: Can I include images? A: Yes, you are even encouraged to do so. Please use .jpg or .png format, then. PNG is preferred for simplicity. Q: Should I send files in .zip archives or similar? A: No, plain file attachments are the way. Q: How much should I write? A: Authors are asked to limit entries to about one column of text. A general introduction is helpful. Apart from that, you should focus on recent or upcoming developments. Pointers to online content can be given for more comprehensive or "historic" overviews of a project. Images do not count towards the length limit, so you may want to use this opportunity to pep up entries. There is no minimum length of an entry! The report aims for being as complete as possible, so please consider writing an entry, even if it is only a few lines long. Q: Which topics are relevant? A: All topics which are related to Haskell in some way are relevant. We usually had reports from users of Haskell (private, academic, or commercial), from authors or contributors to projects related to Haskell, from people working on the Haskell language, libraries, on language extensions or variants. We also like reports about distributions of Haskell software, Haskell infrastructure, books and tutorials on Haskell. Reports on past and upcoming events related to Haskell are also relevant. Finally, there might be new topics we do not even think about. As a rule of thumb: if in doubt, then it probably is relevant and has a place in the HCAR. You can also simply ask us. Q: Is unfinished work relevant? Are ideas for projects relevant? A: Yes! You can use the HCAR to talk about projects you are currently working on. You can use it to look for other developers that might help you. You can use HCAR to ask for more contributors to your project, it is a good way to gain visibility and traction. Q: If I do not update my entry, but want to keep it in the report, what should I do? A: Tell us that there are no changes. The old entry will typically be reused in this case, but it might be dropped if it is older than a year, to give more room and more attention to projects that change a lot. Do not resend complete entries if you have not changed them. Q: Will I get confirmation if I send an entry? How do I know whether my email has even reached its destination, and not ended up in a spam folder? A: Prior to publication of the final report, we will send a draft to all contributors, for possible corrections. So if you do not hear from us within two weeks after the deadline, it is safer to send another mail and check whether your first one was received. -- Mihai Maruseac (MM) "If you can't solve a problem, then there's an easier problem you can solve: find it." -- George Polya From sperber at deinprogramm.de Tue Apr 4 09:25:15 2017 From: sperber at deinprogramm.de (Michael Sperber) Date: Tue, 04 Apr 2017 11:25:15 +0200 Subject: [Haskell] Workshop on Functional Art, Music, Modelling and Design (Oxford, Sep 9): Call for Papers and Demos Message-ID: 5th ACM SIGPLAN International Workshop on Functional Art, Music, Modelling and Design Oxford, UK, September, 9th 2017 Key Dates: Submission deadline June 1, 2017 Author Notification July 1, 2017 Camera Ready July 13, 2017 Call for Papers and Demos: 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/ Submissions 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. [ http://www.sigplan.org/Resources/Author/ ] 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. 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. 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. Questions If you have any questions about what type of contributions that might be suitable, or anything else regarding submission or the workshop itself, please contact the organisers at: farm-2017 at functional-art.org All presentations at FARM 2017 will be recorded. Permission to publish the resulting video (in all probability on YouTube, along with the videos of ICFP itself and the other ICFP-colocated events) will be requested on-site. From sabel at ki.informatik.uni-frankfurt.de Tue Apr 4 08:05:23 2017 From: sabel at ki.informatik.uni-frankfurt.de (David Sabel) Date: Tue, 4 Apr 2017 10:05:23 +0200 Subject: [Haskell] CFP: WPTE 2017 Fourth International Workshop on Rewriting Techniques for Program Transformations and Evaluation Message-ID: ======================================================================================== CALL FOR PAPERS Fourth International Workshop on Rewriting Techniques for Program Transformations and Evaluation WPTE 2017 affiliated with FSCD 2017 8 September, 2017, Oxford, UK http://www.ki.informatik.uni-frankfurt.de/WPTE17 ======================================================================================== Aims and Scope ============== The aim of WPTE is to bring together the researchers working on program transformations, evaluation, and operationally-based programming language semantics, using rewriting methods, in order to share the techniques and recent developments and to exchange ideas to encourage further activation of research in this area. The previous WPTE were held in Vienna 2014, in Warsaw 2015, and in Porto 2016. Topics of interest in the scope of this workshop include: * Correctness of program transformations, optimizations and translations. * Program transformations for proving termination, confluence and other properties. * Correctness of evaluation strategies. * Operational semantics of programs, operationally-based program equivalences such as contextual equivalences and bisimulations. * Cost-models for reasoning about the optimizing power of transformations and the costs of evaluation. * Program transformations for verification and theorem proving purposes. * Translation, simulation, equivalence of programs with different formalisms, and evaluation strategies. * Program transformations for applying rewriting techniques to programs in specific programming languages. * Program transformations for program inversions and program synthesis. * Program transformation and evaluation for Haskell and Rewriting. The programming languages of interest include pure, deterministic, impure, nondeterministic, concurrent, parallel languages, and may employ programming paradigms such as functional, logical, typed, imperative, object-oriented, and higher-order. Invited Speaker =============== Joachim Breitner(University of Pennsylvania, USA) Paper Submissions ================= For the paper submission deadline an extended abstract of at most 10 pages is required to be submitted. The extended abstract may present original work or also work in progress. However, for the formal post-proceedings (see below) full papers must be submitted to the post-proceedings deadline. Based on the submissions the program committee will select the presentations for the workshop. All selected contributions will be included in the informal proceedings distributed to the workshop participants. One author of each accepted extended abstract is expected to present it at the workshop. Submissions must be prepared in LaTeX using the EPTCS macro package (http://style.eptcs.org/). Formal Post-Proceedings ======================= The WPTE post-proceedings will be published in Electronic Proceedings in Theoretical Computer Science (http://eptcs.org/). The authors of all presented contributions will have the opportunity (but no obligation) to submit a full paper for the formal post-proceedings. These full-papers must represent original work and should not be submitted to another conference at the same time. Full-papers should not exceed 15 pages. The submission deadline for these post-proceedings will be after the workshop in October 2017. There will be a second round of reviewing for selecting papers to be published in the formal proceedings. Important Dates =============== * Submission deadline (extended abstracts): July 14th, 2017 * Notification of acceptance: August 4th, 2017 * Deadline for participant proceedings: August 11th, 2017 * Workshop: September 8th, 2017 * Submission deadline for post proceedings (full-papers): October, 2017 (exact date to be announced) Weblinks ======== * EasyChair Submission Website https://easychair.org/conferences/?conf=wpte2017 * Homepage of WPTE 2017 http://www.ki.informatik.uni-frankfurt.de/WPTE17/ * FSCD 2017 http://www.cs.ox.ac.uk/conferences/fscd2017/ Program Committee ================= Beniamino Accattoli (INRIA) Martin Avanzini (University of Innsbruck) Yuki Chiba (JAIST) Horatiu Cirstea (LORIA, Université de Lorraine) -- chair Santiago Escobar (Universitat Politècnica de València) Maribel Fernandez (KCL) Delia Kesner (Université Paris-Diderot) Sergueï Lenglet (Université de Lorraine) Elena Machkasova (University of Minnesota, Morris) William Mansky (Princeton University) Joachim Niehren (INRIA Lille) Naoki Nishida (Nagoya University) David Sabel (Goethe-University Frankfurt am Main) -- chair Masahiko Sakai (Graduate School of Infomation Science, Nagoya University) Manfred Schmidt-Schauss (Goethe-University Frankfurt am Main) Janis Voigtländer (University of Nijmegen) Johannes Waldmann (HTWK Leipzig) Fer-Jan de Vries (University of Leicester) From byorgey at gmail.com Wed Apr 5 02:39:06 2017 From: byorgey at gmail.com (Brent Yorgey) Date: Wed, 05 Apr 2017 02:39:06 +0000 Subject: [Haskell] CFP: Workshop on Type-driven Development (TyDe '17) Message-ID: -------------------------------------------------------------------------------- CALL FOR PAPERS 2nd Workshop on Type-Driven Development (TyDe '17) 3 September 2017, Oxford, UK http://tydeworkshop.org/2017 -------------------------------------------------------------------------------- # Goals of the workshop The workshop on Type-Driven Development aims to show how static type information may be used effectively in the development of computer programs. Co-located with ICFP, this workshop brings together leading researchers and practitioners who are using or exploring types as a means of program development. We welcome all contributions, both theoretical and practical, on a range of topics including: - dependently typed programming; - generic programming; - design and implementation of programming languages, exploiting types in novel ways; - exploiting typed data, data dependent data, or type providers; - static and dynamic analyses of typed programs; - tools, IDEs, or testing tools exploiting type information; - pearls, being elegant, instructive examples of types used in the derivation, calculation, or construction of programs. # Invited speaker Andrew Kennedy, Facebook, UK # Program Committee - Nada Amin, EPFL, Switzerland - Ana Bove, Chalmers University of Technology, Sweden - Patricia Johann, Appalachian State University, US - Yukiyoshi Kameyama, University of Tsukuba, Japan - Sam Lindley, The University of Edinburgh, UK (co-chair) - Limin Jia, CMU, US - Assia Mahboubi, INRIA Saclay, France - Liam O’Connor, University of New South Wales, Australia - Nicolas Oury, Jane Street, UK - Jennifer Paykin, University of Pennsylvania, US - Paula Severi, University of Leicester, UK - Tarmo Uustalu, Tallinn University of Technology, Estonia - Jeremy Yallop, University of Cambridge, UK - Brent Yorgey, Hendrix College, US (co-chair) # Proceedings and Copyright We plan to have formal proceedings, published by the ACM. Accepted papers will be included in the ACM Digital Library. Authors must grant ACM publication rights upon acceptance, but may retain copyright if they wish. Authors are encouraged to publish auxiliary material with their paper (source code, test data, and so forth). 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. # Submission details Submissions should fall into one of two categories: - Regular research papers (12 pages) - Extended abstracts (2 pages) The bibliography will not be counted against the page limits for either category. Regular research papers are expected to present novel and interesting research results, and will be included in the formal proceedings. Extended abstracts should report work in progress that the authors would like to present at the workshop. Extended abstracts will be distributed to workshop attendees but will not be published in the formal proceedings. We welcome submissions from PC members (with the exception of the two co-chairs), but these submissions will be held to a higher standard. Submission is handled through HotCRP: https://icfp-tyde17.hotcrp.com/ All submissions should be in portable document format (PDF) and formatted using the ACM SIGPLAN style guidelines: http://www.sigplan.org/Resources/Author/ *Note* that the ACM SIGPLAN style guidelines have changed from previous years! In particular, submissions should use the new 'acmart' format and 'sigplan' subformat. Extended abstracts must be submitted with the label 'Extended abstract' clearly in the title. # Important Dates - Regular paper deadline: Wednesday, 24th May, 2017 - Extended abstract deadline: Wednesday, 7th June, 2017 - Author notification: Wednesday, 28th June, 2017 - Deadline for camera ready version: Saturday, 15th July, 2017 - Workshop: Sunday, 3rd September, 2017 # 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://www.sigplan.org/PAC/ -------------- next part -------------- An HTML attachment was scrubbed... URL: From P.Achten at cs.ru.nl Wed Apr 5 07:15:53 2017 From: P.Achten at cs.ru.nl (Peter Achten) Date: Wed, 5 Apr 2017 09:15:53 +0200 Subject: [Haskell] 2nd call for papers: Trends in Functional Programming, 19-21 june 2017, University of Kent, Canterbury Message-ID: <45df5e70-a40e-bcd4-7090-3967c10ccbb9@cs.ru.nl> ----------------------------- C A L L F O R P A P E R S ----------------------------- ======== 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) From nevrenato at gmail.com Wed Apr 5 09:12:27 2017 From: nevrenato at gmail.com (Renato Neves) Date: Wed, 5 Apr 2017 10:12:27 +0100 Subject: [Haskell] (Second Call for Participation) First School on Foundations of Programming and Software Systems -- Probabilistic Programming Message-ID: <20170405091227.GA98286@Renatos-MBP.lan> It is our greatest pleasure to announce the first edition of the School on Foundations of Programming and Software systems. The school is jointly funded by EATCS, ETAPS, ACM SIGLOG, and ACM SIGPLAN. The topic of the first edition is Probabilistic programming. It will take place in Braga, Portugal, May 29th - June 4th 2017. Probabilistic programming languages are used for modelling and analysis purposes across multiple areas of computer science, including machine learning, security, and quantitative biology. In particular, they provide a rigorous foundation for machine learning where they are used to describe probabilistic models and to perform inference in presence of uncertain information. Probabilistic programs are also used in cryptography and in privacy for modelling and quantifying security. The goal of the school is to introduce attendants to theoretical and practical aspects of programming languages, and will propose courses that cover the following topics: semantics, analysis, verification, applications to machine learning, privacy, and security. The school will have lectures by Andy Gordon, Catuscia Palamidessi, Christel Baier, Dexter Kozen, Frank Wood, Hongseok Yang, Javier Esparza, Michael Carbin, Peter Selinger, Prakash Panangaden, Sriram Sankaranarayanan, and Vitaly Shmatikov. For more information please check the school webpage http://probprogschool2017.di.uminho.pt/ If you have any queries feel free to contact the organisers. Best wishes, Luis Barbosa Gilles Barthe Joost-Pieter Katoen Renato Neves Alexandra Silva From alexander.s.alexandrov at gmail.com Wed Apr 5 15:34:44 2017 From: alexander.s.alexandrov at gmail.com (Alexander Alexandrov) Date: Wed, 05 Apr 2017 15:34:44 +0000 Subject: [Haskell] Call for Papers DBPL 2017 Message-ID: The 16th International Symposium on Database Programming Languages (DBPL 2017) ============================================================================== The 16th International Symposium on Database Programming Languages (DBPL 2017) will be held in conjunction with VLDB 2017 on September 1st, 2017 in Munich, Germany. General Information ------------------------------------------------------------------------------ DBPL is a biennial symposium that aims to foster exchange of ideas and discussion about current trends and open problems between the data management and the programming languages research communities. For over 30 years, DBPL has established itself as the principal venue for publishing and discussing new ideas and problems at the intersection of data management and programming languages. Many key contributions relevant to the formal foundations, design, implementation, and evaluation of query languages (e.g., for object-oriented, nested, or semi-structured data) were first announced at DBPL. As an established destination for such new ideas, DBPL aims to solicit submissions from researchers in databases, programming languages or any other community interested in the design, implementation or foundations of languages and systems for data-centric computation. Our main goal is to provide an inter-disciplinary venue where current trends, open problems, as well as insights about research methodology for potential solutions can be shared and discussed between the two communities. Important Dates ------------------------------------------------------------------------------ - Abstracts submission deadline: May 5th, 2017 - Papers submission deadline: May 12th, 2017 - Notification of acceptance: June 19th, 2017 - Workshop: September 1st, 2017 Organizers ------------------------------------------------------------------------------ Workshop Chairs - Tiark Rompf, Purdue University, USA - Alexander Alexandrov, TU Berlin, Germany Steering Committee - Torsten Grust, Universität Tübingen, Germany - James Cheney, University of Edinburgh, UK - Thomas Neumann, TU München, Germany Program Committee - Peter Alvaro, UC Santa Cruz, USA - Nada Amin, EPFL, Switzerland - Sebastian Breß, TU Berlin, Germany - Hassan Chafi, Oracle, USA - Fritz Henglein, University of Copenhagen, Denmark - Mohammad Sadoghi, Purdue University, USA - Ce Zhang, ETH, Switzerland - Danica Porobic, Oracle, USA - Alvin Cheung, University of Washington, USA Scope and Topics ------------------------------------------------------------------------------ DBPL 2017 solicits theoretical and practical papers in all areas of Data-Centric Programming Languages. Papers emphasizing new topics or foundations of emerging areas are especially welcome. Topics of interest for submissions include: - Programming Abstractions and Type Systems for Data-Centric Batch or Stream Processing - Data-Centric Language Design - Data-Centric Language Semantics - Data-Centric Language Optimizations and Transformations - Data-Centric Language Compilation to Emerging Hardware or Software Platforms - Data Integration, Exchange, and Interoperability - Declarative Data Centers - Emerging and Nontraditional Data Models - Language-Based Security in Data Management - Language-Integrated Query Mechanisms - Managing Uncertain and Imprecise Information - Metaprogramming and Heterogeneous Staged Computation - Programming Language Support for Databases - Schema Mapping and Metadata Management - Semantics and Verification of Database Systems - Validation, Type-checking Author Guidelines ------------------------------------------------------------------------------ Prospective authors are invited to submit full papers in English presenting original research. Submitted papers must be unpublished and not submitted for publication elsewhere. Submissions should be no more than 10 pages long using the [ACM Standard] proceedings template. Each submission should begin with a succinct statement of the problem and a summary of the main results. Authors may provide more details to substantiate the main claims of the paper by including a clearly marked appendix at the end of the submission, which is not included in the page limit and is read at the discretion of the committee. At least one author of each accepted paper must attend the symposium to present their work. Short papers of at most 4 pages in the [ACM Standard] proceedings template describing work in progress, demos, research challenges or visions are also welcome. Accepted short papers may be included or excluded from the formal proceedings, whichever the author(s) prefer. Full and short papers are both due on the deadline, May 12, 2017. Abstracts of full papers should be submitted by May 5th to aid reviewer selection. For detailed submission guidelines, please visit the [Workshop Homepage]. [ACM Standard] https://www.acm.org/publications/proceedings-template [Workshop Homepage] http://dbpl2017.org -------------- next part -------------- An HTML attachment was scrubbed... URL: From rdgrande at site.uottawa.ca Wed Apr 5 20:50:05 2017 From: rdgrande at site.uottawa.ca (Robson De Grande) Date: Wed, 5 Apr 2017 16:50:05 -0400 Subject: [Haskell] 20th ACM MSWiM 2017 - Miami Beach, FL Message-ID: =================================================== Call-For-Papers: 20th ACM MSWiM 2017 Miami Beach, Florida, Nov 21-25, 2017 http://www.mswimconf.com/2017 ==================================================== IMPORTANT: Submission deadline: May 20th 2017 =================================================== *Pending Upon Approval 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 Malta, 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 20th 2017 Paper Submission Deadline: May 20, 2017 Notification of Acceptance: June 30, 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 -------------- next part -------------- An HTML attachment was scrubbed... URL: From rdgrande at site.uottawa.ca Wed Apr 5 20:53:19 2017 From: rdgrande at site.uottawa.ca (Robson De Grande) Date: Wed, 5 Apr 2017 16:53:19 -0400 Subject: [Haskell] CFP: IEEE DS-RT 2017 (October 18-20, Rome, Italy) Message-ID: ------------------------------------------------------------------------------------ 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 *IEEE/ACM Pending Upon Approval ----------------------------------------------------------------------- IMPORTANT: Submission deadline: May 5th, 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 5th, 2017 Notification of Acceptance: June June 5th, 2017 Camera Ready version due: July 10th, 2017 Symposium presentation: September 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 -------------- next part -------------- An HTML attachment was scrubbed... URL: From amal.j.ahmed at gmail.com Wed Apr 5 22:14:02 2017 From: amal.j.ahmed at gmail.com (Amal Ahmed) Date: Wed, 5 Apr 2017 18:14:02 -0400 Subject: [Haskell] OPLSS: register by April 15th Message-ID: <897F765C-E661-45B4-BB9D-CDF884F55C00@gmail.com> *** The OPLSS registration deadline has been extended to April 15th *** We are pleased to announce the program for the 16th annual Oregon Programming Languages Summer School (OPLSS) to be held from June 26th to July 8th, 2017 at the University of Oregon in Eugene. The registration deadline is April 1st, 2017. Full information on registration and scholarships can be found here: http://www.cs.uoregon.edu/Activities/summerschool This year's program is titled: A Spectrum of Types. The speakers and topics include: Amal Ahmed -- Correct and Secure Compilation for Multi-Language Software Northeastern University Edwin Brady -- Dependent Types in the Idris Programming Language University of St. Andrews Ron Garcia -- Gradual Typing University of British Columbia Robert Harper -- Programming Languages Background Carnegie Mellon University Neel Krishnaswami -- Dependent Types and Linearity University of Cambridge Dan Licata -- Programming Languages Background Wesleyan University Frank Pfenning -- Substructural Type Systems and Concurrent Programming Carnegie Mellon University Sam Tobin-Hochstadt -- Contracts and Gradual Types Indiana University David Van Horn -- Redex, Abstract Machines, and Abstract Interpretation University of Maryland The school has a long and successful tradition (sponsored by the NSF, ACM SIGPLAN, and industry). It covers current research in the theory and practice of programming languages. Material is presented at a tutorial level that will help graduate students and researchers from academia or industry understand the critical issues and open problems confronting the field. Prerequisites are an elementary knowledge of logic and mathematics, as covered in undergraduate classes on discrete mathematics, and some knowledge of programming languages at the level of an undergraduate survey course. A *new feature* this year is the option for students to attend a Review session from June 23rd to 25th -- the three days before the summer school officially begins. The review will cover operational semantics, type systems, and basic proof techniques, and will help graduate and especially undergraduate students who have not had a previous course in this material prepare for the main part of the school. Please contact the organizers if you have questions about whether the review will be helpful given your background. We hope you can join us for this excellent program! Amal Ahmed Dan Licata Zena Ariola -------------- next part -------------- An HTML attachment was scrubbed... URL: From nboldi at caesar.elte.hu Thu Apr 6 07:03:08 2017 From: nboldi at caesar.elte.hu (=?UTF-8?B?Qm9sZGl6c8OhciBOw6ltZXRo?=) Date: Thu, 06 Apr 2017 09:03:08 +0200 Subject: [Haskell] Haskell Tools Message-ID: <58E5E82C.6060600@caesar.elte.hu> Dear Haskellers, I'm happy to announce a new tool for refactoring Haskell source code. Check it out: http://haskelltools.org/ Best Regards, Boldizsár Németh From ivan.miljenovic at gmail.com Thu Apr 6 08:40:38 2017 From: ivan.miljenovic at gmail.com (Ivan Lazar Miljenovic) Date: Thu, 6 Apr 2017 18:40:38 +1000 Subject: [Haskell] Haskell Tools In-Reply-To: <58E5E82C.6060600@caesar.elte.hu> References: <58E5E82C.6060600@caesar.elte.hu> Message-ID: Is there support for anything except Atom at this time? I'm also unsure of what I need to install on my local machine if I want to try it out (do I need the daemon? or is the cli tool sufficient?). On 6 April 2017 at 17:03, Boldizsár Németh wrote: > Dear Haskellers, > > I'm happy to announce a new tool for refactoring Haskell source code. > Check it out: http://haskelltools.org/ > > Best Regards, > Boldizsár Németh > _______________________________________________ > Haskell mailing list > Haskell at haskell.org > http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell -- Ivan Lazar Miljenovic Ivan.Miljenovic at gmail.com http://IvanMiljenovic.wordpress.com From nboldi at caesar.elte.hu Thu Apr 6 09:15:01 2017 From: nboldi at caesar.elte.hu (=?UTF-8?B?Qm9sZGl6c8OhciBOw6ltZXRo?=) Date: Thu, 06 Apr 2017 11:15:01 +0200 Subject: [Haskell] Haskell Tools In-Reply-To: References: <58E5E82C.6060600@caesar.elte.hu> Message-ID: <58E60715.4090203@caesar.elte.hu> Thanks for asking, I just added a note that you need to install the haskell-tools-daemon package to use the Atom plugin for Haskell Tools. If you want to run refactorings from a script or just without an editor, you can use haskell-tools-cli as well. On 2017.04.06. 10:40, Ivan Lazar Miljenovic wrote: > Is there support for anything except Atom at this time? > > I'm also unsure of what I need to install on my local machine if I > want to try it out (do I need the daemon? or is the cli tool > sufficient?). > > On 6 April 2017 at 17:03, Boldizsár Németh wrote: >> Dear Haskellers, >> >> I'm happy to announce a new tool for refactoring Haskell source code. >> Check it out: http://haskelltools.org/ >> >> Best Regards, >> Boldizsár Németh >> _______________________________________________ >> Haskell mailing list >> Haskell at haskell.org >> http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell > > From gershomb at gmail.com Sun Apr 9 17:45:30 2017 From: gershomb at gmail.com (Gershom B) Date: Sun, 9 Apr 2017 13:45:30 -0400 Subject: [Haskell] Compose Conference Call for Participation [NYC, May 18-19] Message-ID: =============================================== Call for Participation Compose Conference 2017 May 18-19 2017 New York, NY http://www.composeconference.org/2017 =============================================== 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 keynote by Emily Riehl on aspects of category theory and computation, and two days of great talks. * Invited Talks Emily Riehl: TBA * Local Information (venue): http://www.composeconference.org/2017/ * Accepted Talks and Tutorials Barry Burd - Teaching Haskell David Rhodes - Learning F#: Case study with branch and bound Edmund Cape - Multiplying by 1 - an important form of computation and how it reveals distinctions between kleislis Enzo Alda, et al. - Reactive Sheets: an intuitive approach to functional‑reactive computing Hezekiah Carty and Chris Donaher - Distrest - REST access to distributed services Hongbo Zhang - BuckleScript: Making functional programming accessible to JavaScript developers Jennifer Paykin, Kenneth Foner, Antal Spector-Zabusky - `choose` Your Own Derivative Joachim Breitner - Lock-step simulation is child’s play Martín Ceresa, Gustavo Grieco - QuickFuzz Testing for Fun and Profit Michael Chavinda - Android programming in Froid Nikhil Barthwal - Implementing an Event-Driven Microservices Architecture in F#: A case study of Jet.com Nikita Volkov - New Hasql - a simpler, safer and faster Postgres client Sebastien Mondet - Typed-Tagless Final Bioinformatics Stephen Compall - Working with Monads in OCaml Stuart Popejoy - Smart Contracts and Formal Verification with Z3 with Pact Tikhon Jelvis - The Probability Monad Yaron Minsky - Data Driven UIs, Incrementally * Full abstracts: http://www.composeconference.org/2017/program * Registration: http://composeconference.eventbrite.com * 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 brucker at spamfence.net Mon Apr 10 23:00:13 2017 From: brucker at spamfence.net (Achim D. Brucker) Date: Tue, 11 Apr 2017 00:00:13 +0100 Subject: [Haskell] 2nd CFP - Only Two Weeks Left: International Workshop on OCL and Textual Modeling (OCL 2017) Message-ID: <20170410230013.ubvieop4hterw4l6@fujikawa.home.brucker.ch> (Apologies for duplicates) -- Dr. Achim D. Brucker | Software Assurance & Security | University of Sheffield https://www.brucker.ch | https://logicalhacking.com/blog @adbrucker | @logicalhacking From Graham.Hutton at nottingham.ac.uk Tue Apr 11 12:21:43 2017 From: Graham.Hutton at nottingham.ac.uk (Graham Hutton) Date: Tue, 11 Apr 2017 12:21:43 +0000 Subject: [Haskell] Journal of Functional Programming - Call for PhD Abstracts Message-ID: <6F1D85CF-2FAA-4265-AAA4-F0C15AAD1A38@nottingham.ac.uk> 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, deadline 30th April 2017. Please share! Best wishes, Graham Hutton ============================================================ CALL FOR PHD ABSTRACTS Journal of Functional Programming Deadline: 30th April 2017 http://tinyurl.com/jfp-phd-abstracts ============================================================ PREAMBLE: Many students complete PhDs in functional programming each year. As a service to the community, 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 30th April 2017. 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 1000 words; you may use \emph{...} for emphasis, but we prefer no other markup or formatting in the abstract, but do get in touch if this causes significant problems) 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 send it back to me, and immediately delete it. Please do not use, copy or disclose the information contained in this message or in any attachment. Any views or opinions expressed by the author of this email do not necessarily reflect the views of the University of Nottingham. This message has been checked for viruses but the contents of an attachment may still contain software viruses which could damage your computer system, you are advised to perform your own checks. Email communications with the University of Nottingham may be monitored as permitted by UK legislation. From mail at stefanwehr.de Wed Apr 12 07:36:41 2017 From: mail at stefanwehr.de (Stefan Wehr) Date: Wed, 12 Apr 2017 09:36:41 +0200 Subject: [Haskell] ANN: HacFreiburg 2017, Friday 4 August - Sunday 6 August, Freiburg, Germany Message-ID: Dear Haskellers, there is another Haskell Hackathon, taking place in Freiburg, Germany this year! When: Friday 4 August 2017 - Sunday 6 August 2017 Where: Faculty of Engineering, University of Freiburg, Germany (https://goo.gl/maps/ZcHWLpMPhtj) Info page: https://wiki.haskell.org/HacFreiburg2017 Organizers: Peter Thiemann, Alexander Thiemann, Stefan Wehr HacFreiburg is another Haskell Hackathon, where Haskell programmers from all around the world meet in Freiburg, Germany, to discuss, hack together and improve the Haskell infrastructure. We welcome all programmers interested in Haskell, beginners and experts! The Haskell Hackathon in Freiburg is part of the "Sommercampus 2017" (https://sommercampus.fachschaft.tf/en/), organized by the Faculty of Engineering at the University of Freiburg. Hope to see you there, Stefan (with Peter and Alex) From agarwal1975 at gmail.com Thu Apr 13 19:44:45 2017 From: agarwal1975 at gmail.com (Ashish Agarwal) Date: Thu, 13 Apr 2017 15:44:45 -0400 Subject: [Haskell] functional programming jobs at genomics company in New York City Message-ID: Solvuu is a startup developing software for the life sciences industry. Our core technology is based on ideas from type theory and functional programming, and our software is implemented almost entirely in OCaml. We develop software across the full stack: cloud infrastructure management, job scheduling, data management and security, clients and servers for many APIs, rich websites, and much more. We are currently hiring 2 full-time OCaml programmers in New York City. We are open to a spectrum of qualifications, but basically the more OCaml you know the better (including related languages such as Haskell, F#, and SML). Ideal candidates will have at least 5 years of experience developing production software in one of these languages, whether in industry or as an academic active in the open source community. We are offering great compensation packages that include salary, equity, and the usual things like health care and a ping pong table. Most importantly, you will build great technology to advance society in areas as important as cancer treatment, drug discovery, and agriculture. And you get to do all of that in Manhattan, one of the most vibrant and beautiful cities in the world. To apply, please contact me directly (ashish at solvuu.com) with your resume/CV. International applicants are welcome, but the reality is getting a visa will be challenging. We are willing to try and may explore options for exceptional candidates. About Genomics: Our primary focus is on genomics, an industry driven by a dramatic decrease in the cost of DNA sequencing. Fifteen years ago it cost $100,000,000 to sequence a single human genome, today it costs $1000, and in a couple of years it is expected to cost $100. This has spawned multiple new industries that face serious computational challenges due to the size and complexity of the data and associated algorithms. Solvuu addresses the full spectrum of computational needs of this important market. We have great investors and partnerships, and are now building a great engineering team. Please join us. Solvuu is headquartered in New York City and also has an office in Silicon Valley. -------------- next part -------------- An HTML attachment was scrubbed... URL: From splash.publicity at gmail.com Fri Apr 14 02:14:25 2017 From: splash.publicity at gmail.com (SPLASH Publicity) Date: Thu, 13 Apr 2017 19:14:25 -0700 Subject: [Haskell] SPLASH 2017: 3rd Combined Call for Contributions Message-ID: ACM SIGPLAN SPLASH 2017 October 22-27, 2017 Vancouver, Canada http://2017.splashcon.org The ACM SIGPLAN Conference on Systems, Programming, Languages and Applications: Software for Humanity (SPLASH) embraces all aspects of software construction, to make it the premier conference at the intersection of programming, languages, and software engineering. We invite high quality submissions describing original and unpublished work. Combined Call for Contributions: * OOPSLA * Onward! Papers * Onward! Essays * SPLASH-I **New to this call!** * Dynamic Languages Symposium (DLS) * Software Language Engineering (SLE) * Generative Programming: Concepts & Experiences (GPCE) * SPLASH-E * Scala Symposium **New to this call!** * Posters * Doctoral Symposium * Student Research Competition ## OOPSLA Papers may target any stage of software development, including requirements, modeling, prototyping, design, implementation, generation, analysis, verification, testing, evaluation, maintenance, and reuse of software systems. Contributions may include the development of new tools (such as language front-ends, program analyses, and runtime systems), new techniques (such as methodologies, design processes, and code organization approaches), new principles (such as formalisms, proofs, models, and paradigms), and new evaluations (such as experiments, corpora analyses, user studies, and surveys). Abstracts due: Thu April 13, 2017 Submissions due: Mon April 17, 2017 http://2017.splashcon.org/track/splash-2017-OOPSLA ## Onward! Papers Onward! is a premier multidisciplinary conference focused on everything to do with programming and software: including processes, methods, languages, communities, and applications. Onward! is more radical, more visionary, and more open than other conferences to ideas that are well-argued but not yet proven. We welcome different ways of thinking about, approaching, and reporting on programming language and software engineering research. Submissions due: Fri April 21, 2017 http://2017.splashcon.org/track/onward-2017/onward-2017-Onward-Papers ## Onward! Essays Onward! Essays is looking for clear and compelling pieces of writing about topics important to the software community. An essay can be an exploration of a topic, its impact, or the circumstances of its creation; it can present a personal view of what is, explore a terrain, or lead the reader in an act of discovery; it can be a philosophical digression or a deep analysis. It can describe a personal journey, perhaps that by which the author reached an understanding of such a topic. The subject area should be interpreted broadly and can include the relationship of software to human endeavors, or its philosophical, sociological, psychological, historical, or anthropological underpinnings. Submissions due: Fri April 21, 2017 http://2017.splashcon.org/track/onward-2017/onward-2017-essays-2017 ## SPLASH-I SPLASH-I is a series of research and industry talks, demos and panels that address topics relevant to the SPLASH community. We invite short proposals for novel and innovative talks, panels, and demonstrations that address all aspects of software construction and delivery relevant to SPLASH attendees. Suitable topics include, but are not limited to, data science, big data, probabilistic languages in data science, compilers, virtual machines, augmented/virtual reality, visualization, cloud computing, security, software engineering, and software defined networks. Proposals due: Fri May 5, 2017 http://2017.splashcon.org/track/splash-2017-SPLASH-I ## Dynamic Languages Symposium (DLS) >From Lisp, Snobol, and Smalltalk to Python, Racket, and Javascript, Dynamic Languages have been playing a fundamental role both in programming research and practice. DLS is the premier forum for researchers and practitioners to share research and experience on all aspects on Dynamic Languages. DLS invites high quality papers reporting original research and experience related to the design, implementation, and applications of dynamic languages. Abstracts due: Fri May 26, 2017 Submissions due: Fri June 2, 2017 http://www.dynamic-languages-symposium.org/dls-17/index.html ## Software Language Engineering (SLE) Software Language Engineering (SLE) is the application of systematic, disciplined, and measurable approaches to the development, use, deployment, and maintenance of software languages. The term “software language” is used broadly, and includes: general-purpose programming languages; domain-specific languages (e.g. BPMN, Simulink, Modelica); modeling and metamodeling languages (e.g. SysML and UML); data models and ontologies (e.g. XML-based and OWL-based languages and vocabularies). SLE solicits high-quality contributions in areas ranging from theoretical and conceptual contributions to tools, techniques, and frameworks in the domain of language engineering. Abstracts due: Fri June 2, 2017 Submissions due: Fri June 9, 2017 http://2017.splashcon.org/track/sle-2017/sle-2017-papers ## Generative Programming: Concepts & Experiences (GPCE) The International Conference on Generative Programming: Concepts & Experience (GPCE) is a venue for researchers and practitioners interested in techniques and tools for code generation, language implementation, and product-line development. GPCE seeks conceptual, theoretical, empirical, and technical contributions to its topics of interest, which include but are not limited to (i) program transformation, staging, macro systems, preprocessors, program synthesis, and code-recommendation systems, (ii) domain-specific languages, language embedding, language design, and language workbenches, (iii) feature-oriented programming, domain engineering, and feature interactions, (iv) applications and properties of code generation, language implementation, and product-line development. Abstracts due: Sun June 25, 2017 Submissions due: Sun July 2, 2017 http://2017.splashcon.org/track/gpce-2017/gpce-2017-GPCE-2017 ## SPLASH-E SPLASH-E is a new (started in 2013) forum for software and languages (SE/PL) researchers with activities and interests around computing education. Some build pedagogically-oriented languages or tools; some think about pedagogic challenges around SE/PL courses; some bring computing to non-CS communities; some pursue human studies and educational research. At SPLASH-E, we share our educational ideas and challenges centered in software/languages, as well as our best ideas for advancing such work. Unlike general conferences on computing education, SPLASH-E strives to bring together researchers and those with educational interests that arise from software ideas or concerns. Submissions due: Thu June 29, 2017 http://2017.splashcon.org/track/splash-2017-SPLASH-E ## Scala Symposium The Scala Symposium 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. We seek submissions on all topics related to Scala, including (but not limited to): language design and implementation, library design and implementation patterns for extending Scala, formal techniques for Scala-like programs, concurrent and distributed programming in Scala, big data and machine learning libraries and applications using Scala, safety and reliability of Scala programs, interoperability with other languages and runtimes, tools, case studies, experience reports, and pearls. Abstracts due: Sun July 2, 2017 Submissions due: Sun July 9, 2017 http://2017.splashcon.org/track/scala-2017/scala-2017-papers ## Posters The SPLASH Poster track provides an excellent forum for authors to present their recent or ongoing projects in an interactive setting, and receive feedback from the community. We invite submissions covering any aspect of programming, systems, languages and applications. The goal of the poster session is to encourage and facilitate small groups of individuals interested in a technical area to gather and interact. It is held early in the conference, to promote continued discussion among interested parties. Submissions due: Sat July 15, 2017 http://2017.splashcon.org/track/splash-2017-Posters ## Doctoral Symposium The SPLASH Doctoral Symposium provides students with useful guidance for completing their dissertation research and beginning their research careers. The symposium will provide an interactive forum for doctoral students who have progressed far enough in their research to have a structured proposal, but will not be defending their dissertation in the next 12 months. Submissions due: Fri June 30, 2017 http://2017.splashcon.org/track/splash-2017-Doctoral-Symposium ## Student Research Competition The ACM Student Research Competition (SRC), sponsored by Microsoft Research, offers a unique forum for ACM student members at the undergraduate and graduate levels to present their original research at SPLASH before a panel of judges and conference attendees. The SRC gives visibility to not only up-and-coming young researchers, but also exposes them to the field of computer science research and its community. This competition also gives students an opportunity to discuss their research with experts in their field, get feedback, and to help them sharpen their communication and networking skills. Submissions due: Mon July 17, 2017 http://2017.splashcon.org/track/splash-2017-Student-Research-Competition ## Information Contact: publicity at splashcon.org Website: http://2017.splashcon.org Location: Hyatt Regency Vancouver Vancouver, Canada ## Organization SPLASH General Chair: * Gail Murphy (University of British Columbia) OOPSLA Program Chair: * Jonathan Aldrich (Carnegie Mellon University) Onward! Papers Chair: * Emina Torlak (University of Washington) Onward! Essays Chair: * Robert Biddle (Carleton University) DLS Program Chair: * Davide Anaconde (University of Genova) GPCE General Chair: * Matthew Flatt (University of Utah) GPCE Program Chair: * Sebastian Erdweg (TU Delft) SLE General Chair: * Benoit Combemale (University of Rennes 1) SLE Program Co-Chairs: * Marjan Mernik (University of Maribor) * Bernhard Rumpe (RWTH Aachen University) Scala Symposium General Chair: * Heather Miller (Ecole Polytechnique Federale de Lausanne) Scala Symposium Program Co-Chairs: * Philipp Haller (KTH Royal Institute of Technology) * Ondrej Lhotak (University of Waterloo) Scala Symposium Organizers: * Paolo G. Giarrusso (University of Tuebingen) * Jonathan Immanuel Brachtaeuser (University of Tuebingen) SPLASH-E Chair: * Joe Gibbs Politz (University of California, San Diego) SPLASH-I Co-Chairs: * Karim Ali (University of Alberta) * Avik Chaudhuri (Facebook) Workshops Co-Chairs: * Craig Anslow (Middlesex University) * Alex Potanin (Victoria University of Wellington) OOPLSA Artifact Evaluation Co-Chairs: * Michael Bond (Ohio State University) * Sam Tobin-Hochstadt (Indiana University) Posters Co-Chairs: * Jonathan Bell (George Mason University) * Patrick Lam (University of Waterloo) Doctoral Symposium Chair: * Elisa Gonzalez Boix (Vrije Universiteit Brussel) Programming Languages Mentoring Workshop Co-Chairs: * Lori Pollock (University of Delaware) * Barbara Ryder (Virginia Tech) Student Research Competition Co-Chairs: * Shan Shan Huang (LogicBlox) * Jennifer Sartor (Vrije Universiteit Brussel) Student Volunteers Co-Chairs: * Daco Harkes (TU Delft) * Giovanni Viviani (University of British Columbia) Publications Chair: * Alex Potanin (Victoria University of Wellington) * Tijs van der Storm (CWI & University of Groningen) Sponsorships Co-Chairs: * Tony Hosking (Australian National University, Data61, Purdue University) * Jurgen Vinju (CWI & TU Eindhoven) Video Co-Chairs: * David Darais (University of Maryland) * Michael Hilton (Oregon State University) Web and Publicity Co-Chairs: * Ronald Garcia (University of British Columbia) * Eric Walkingshaw (Oregon State University) From compscience.announcement at gmail.com Sat Apr 15 19:35:52 2017 From: compscience.announcement at gmail.com (Klaus Havelund) Date: Sat, 15 Apr 2017 12:35:52 -0700 Subject: [Haskell] RV and RV-CuBES 2017 - Call for papers and tutorials Message-ID: *RV 2017* *Call for Papers and Tutorials* The 17th International Conference on Runtime Verification September 13-16, Seattle, WA, USA http://rv2017.cs.manchester.ac.uk rv2017 at easychair.org Runtime verification is concerned with the monitoring and analysis of the runtime behaviour of software and hardware systems. Runtime verification techniques are crucial for system correctness, reliability, and robustness; they provide an additional level of rigor and effectiveness compared to conventional testing, and are generally more practical than exhaustive formal verification. Runtime verification can be used prior to deployment, for testing, verification, and debugging purposes, and after deployment for ensuring reliability, safety, and security and for providing fault containment and recovery as well as online system repair. Topics of interest to the conference include, but are not limited to: - specification languages - monitor construction techniques - program instrumentation - logging, recording, and replay - combination of static and dynamic analysis - specification mining and machine learning over runtime traces - monitoring techniques for concurrent and distributed systems - runtime checking of privacy and security policies - statistical model checking - metrics and statistical information gathering - program/system execution visualization - fault localization, containment, recovery and repair - integrated vehicle health management (IVHM) Application areas of runtime verification include cyber-physical systems, safety/mission-critical systems, enterprise and systems software, autonomous and reactive control systems, health management and diagnosis systems, and system security and privacy. We welcome contributions exploring the combination of runtime verification techniques with machine learning and static analysis. Whilst these are highlight topics, papers falling into these categories will not be treated differently from other contributions. An overview of previous RV conferences and earlier workshops can be found at: http://www.runtime-verification.org. RV 2017 will be held September 13-16 in Seattle, WA, USA. RV 2017 will feature a tutorial day (September 13), and three conference days (September 14-16). Important Dates *Papers* as well as *tutorial proposals* will follow the following timeline: - Abstract deadline: April 24, 2017 (Anywhere on Earth) - Paper and tutorial deadline: May 1, 2017 (Anywhere on Earth) - Tutorial notification: May 21, 2017 - Paper notification: June 26, 2017 - Camera-ready deadline: July 24, 2017 - Conference: September 13-16, 2017 Invited Speakers We are very pleased to confirm the following invited speakers for RV 2017: - Rodrigo Fonseca , Brown University, USA - Vlad Levin and Jakob Lichtenberg , Microsoft, USA - Andreas Zeller , Saarland University, Germany General Information on Submissions All papers and tutorials will appear in the conference proceedings in an LNCS volume. Submitted papers and tutorials must use the LNCS/Springer style detailed here: http://www.springer.de/comp/lncs/authors.html Papers must be original work and not be submitted for publication elsewhere. Papers must be written in English and submitted electronically (in PDF format) using the EasyChair submission page here: https://easychair.org/conferences/?conf=rv17 The page limitations mentioned below include all text and figures, but exclude references. Additional details omitted due to space limitations may be included in a clearly marked appendix, that will be reviewed at the discretion of reviewers, but not included in the proceedings. At least one author of each accepted paper and tutorial must attend RV 2017 to present. Paper Submissions There are three categories of papers which can be submitted: regular, short or tool papers. Papers in each category will be reviewed by at least 3 members of the Program Committee. - *Regular Papers* (up to 15 pages, not including references) should present original unpublished results. We welcome theoretical papers, system papers, papers describing domain-specific variants of RV, and case studies on runtime verification. - *Short Papers* (up to 6 pages, not including references) may present novel but not necessarily thoroughly worked out ideas, for example emerging runtime verification techniques and applications, or techniques and applications that establish relationships between runtime verification and other domains. - *Tool Demonstration Papers* (up to 8 pages, not including references) should present a new tool, a new tool component, or novel extensions to existing tools supporting runtime verification. The paper must include information on tool availability, maturity, selected experimental results and it should provide a link to a website containing the theoretical background and user guide. Furthermore, we strongly encourage authors to make their tools and benchmarks available with their submission. The Program Committee of RV 2017 will give a best paper award, and a selection of accepted regular papers will be invited to appear in a special issue of the Springer Journal on Formal Methods in System Design . Tutorial Submissions Tutorials are two-to-three-hour presentations on a selected topic. Additionally, tutorial presenters will be offered to publish a paper of up to 20 pages in the LNCS conference proceedings, not including references. A proposal for a tutorial must contain the subject of the tutorial, a proposed timeline, a note on previous similar tutorials (if applicable) and the differences to this incarnation, and a brief biography of the presenter. The proposal should not exceed 2 pages. RV-CuBES: A Workshop Replacement for the Competition The Runtime Verification Competition will not be running in 2017. In its place a Workshop is being organised to discuss the future of the competition and showcase existing Runtime Verification tools. Please see the relevant page on the conference website for details. Organization *General Chair* Klaus Havelund , NASA Jet Propulsion Laboratory, USA *Program Chairs* Shuvendu Lahiri , Microsoft Research, USA Giles Reger , University of Manchester, UK *Finance Chair* Oleg Sokolsky , University of Pennsylvania, USA *Publicity Chair* Ayoub Nour i, University Grenoble Alpes, France *Local Organisation Chairs* Grigory Fedyukovich , University of Washington, USA Rahul Kumar , Microsoft Research, USA *Program Committee* Wolfgang Ahrendt , Chalmers Univ. of Technology/Univ. of Gothenburg, Sweden Cyrille Artho , KTH Royal Institute of Technology, Sweden Howard Barringer , The University of Manchester, UK Ezio Bartocci , Vienna University of Technology, Austria Andreas Bauer , KUKA Systems, Germany Saddek Bensalem , University of Grenoble Alpes/VERIMAG, France Eric Bodden , Paderborn University / Fraunhofer IEM, Germany Borzoo Bonakdarpour , McMaster University, Canada Christian Colombo , University of Malta, Malta Ylies Falcone , University Grenoble Alpes/Inria, France Grigory Fedyukovich , University of Washington, USA Lu Feng , University of Virginia, USA Patrice Godefroid , Microsoft Research, USA Jean Goubault-Larrecq , CNRS/ENS de Cachan, France Alex Groce , Northern Arizona University, USA Radu Grosu , Vienna University of Technology, Austria Sylvain Hallé , University of Québec at Chicoutimi, Canada Marieke Huisman , University of Twente, Netherlands Franjo Ivancic , Google, USA Bengt Jonsson , Uppsala University, Sweden Felix Klaedtke , NEC Europe Ltd., Germany Rahul Kumar , Microsoft Research, USA Kim Larsen , Aalborg University, Denmark Insup Lee , University of Pennsylvania, USA Axel Legay , Inria Rennes, France Martin Leucker , University of Lübeck, Germany Ben Livshits , Imperial College, UK David Lo , Singapore Management University, Singapore Francesco Logozzo , Facebook, USA Parthasarathy Madhusudan , University of Illinois at Urbana-Champaign, USA Leonardo Mariani , University of Milan Bicocca, Italy Madan Musuvathi , Microsoft Research, USA Ayoub Nouri , University of Grenoble Alpes, France Gordon Pace , University of Malta, Malta Doron Peled , Bar Ilan University, Israel Veselin Raychev , ETH Zurich, Switzerland Grigore Rosu , University of Illinois at Urbana-Champaign, USA Cesar Sanchez , IMDEA Software Institute, Spain Gerardo Schneider, Chalmers Univ. of Technology/Univ. of Gothenburg, Sweden Rahul Sharma , Microsoft Research, India Julien Signoles , CEA LIST, France Scott Smolka , Stony Brook University, USA Oleg Sokolsky , University of Pennsylvania, USA Bernhard Steffen , University of Dortmund, Germany Scott Stoller , Stony Brook University, USA Volker Stolz , University of Olso, Norway Frits Vaandrager , Radboud University, Netherlands Neil Walkinshaw , University of Leicester, UK Chao Wang , University of Southern California, USA Eugen Zalinescu , Technische Universitat München, Germany -------------- next part -------------- An HTML attachment was scrubbed... URL: From bhavishyagopesh at gmail.com Tue Apr 18 23:44:30 2017 From: bhavishyagopesh at gmail.com (Bhavishya Desai) Date: Wed, 19 Apr 2017 05:14:30 +0530 Subject: [Haskell] haskell Summer of Code Message-ID: Hello devs, I'm attaching the link of my proposal for summer of code.I'm interested in IOS app for codeworld. Here it is:Proposal Sorry if it's not the right place for submitting proposals for review, I couldn't find any appropriate place(even the irc wasn't that active.) Waiting for your review, Thank YOU. -------------- next part -------------- An HTML attachment was scrubbed... URL: From harendra.kumar at gmail.com Wed Apr 19 01:41:17 2017 From: harendra.kumar at gmail.com (Harendra Kumar) Date: Wed, 19 Apr 2017 07:11:17 +0530 Subject: [Haskell] haskell Summer of Code In-Reply-To: References: Message-ID: It is surprising that the haskell summer of code webpage does not mention how to or where to submit a proposal. After reading this email I went through the SoC announcement email myself and thus got to https://summer.haskell.org/ which too does not have any details on how to submit proposals, maybe I missed something. However, I could find the following from contacts page on this website: You can reach us by sending an email to committee [AT] haskell.org. Alternatively, you can contact nvazou [AT] cs.umd.edu and m [AT] jaspervdj.be directly. I guess, you can try sending your proposal to these email ids, I have copied them on this email as well. -harendra On 19 April 2017 at 05:14, Bhavishya Desai wrote: > Hello devs, > > I'm attaching the link of my proposal for summer of code.I'm interested in > IOS app for codeworld. > > Here it is:Proposal > > > Sorry if it's not the right place for submitting proposals for review, I > couldn't find any appropriate place(even the irc wasn't that active.) > > Waiting for your review, > > Thank YOU. > > _______________________________________________ > Haskell mailing list > Haskell at haskell.org > http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell > > -------------- next part -------------- An HTML attachment was scrubbed... URL: From rdgrande at site.uottawa.ca Wed Apr 19 02:19:15 2017 From: rdgrande at site.uottawa.ca (Robson De Grande) Date: Tue, 18 Apr 2017 22:19:15 -0400 Subject: [Haskell] CFP IEEE/ACM DS-RT 2017, Rome, Italy Message-ID: ---------------------------------------------------------------------------- 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/2017 18 - 20 October 2017, Rome, Italy ---------------------------------------------------------------------------- Important: Paper submission deadline: 12th May 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 Rome, Italy. 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 Contstraints - 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 - Modeling and Virtual Evaluation of Distributed Systems through Simulation, Resilience Network Evaluation in Distributed Systems through Simulation, Models and Simulation Environments for Distributed Cyber-Physical Systems Evaluation - Advances in Simulation Methodology and Practices - Smart Network Design and Traffic Modelling - Haptic-audio-visual System and applications - Medical and surgical simulation based Systems - Human-computer interaction in virual reality environment Authors of selected papers will be invited to submit extended versions of their papers to the Journal of Simulation (JoS). *** Important Dates Full Papers *** Paper Submission Deadline: 5th May 2017 Notification of Acceptance: 5th June 2017 Camera Ready version due: 10th July 2017 Symposium presentation: 18 - 20 October 2017 *** Call for Posters/Demos/Industrial Case Studies *** The 21st IEEE/ACM International Symposium on Distributed Simulation and Real Time Applications (DS-RT 2017) also solicits posters and technical demonstrations that report on recent original results, ongoing research or industrial case studies in the area of distributed simulation and real time applications. *** Important Dates Posters/Demos/Industrial Case Studies *** Paper submission deadline: 12th May 2017 Notification of acceptance: 5th June 2017 Camera-ready deadline: 10th July 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/2017 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, Rende, Italy Program Chair: Andrea D'Ambrogio, University of Rome "Tor Vergata", Rome, Italy Special Session Co-Chairs: Anthony Ventresque,Lero & University College Dublin, Dublin, Ireland Robson De Grande, University of Ottawa, Ottawa, Canada Local Organization Chair: Andrea Giglio, Guglielmo Marconi University, Rome, Italy Financial Chair: Rina Mary Mazza, University of Calabria, Rende, Italy Registration Chair: Simona Citrigno, ICT-SUD Competence Center, Rende, Italy Publicity Co-Chairs: Simon J.E Taylor, Brunel University London, UK Mirela Sechi Moretti Annoni Notare, FAERO - University of Technology in Fly Transportation, Florianopolis, Brazil Posters Chair: Floriano De Rango, University of Calabria, Rende, Italy Publication Chair: Andrea Tundis, Technische Universitdt Darmstadt, Darmstadt, Germany Web Co-Chairs: Robson De Grande, University of Ottawa, Ottawa, Canada Rodolfo Coutinho, UFMG, Belo Horizonte, Brazil -------------- next part -------------- An HTML attachment was scrubbed... URL: From rdgrande at site.uottawa.ca Wed Apr 19 02:30:06 2017 From: rdgrande at site.uottawa.ca (Robson De Grande) Date: Tue, 18 Apr 2017 22:30:06 -0400 Subject: [Haskell] CFP: 20th ACM MSWiM - Miami Beach, USA Message-ID: =================================================== Call-For-Papers: 20th ACM MSWiM 2017 Miami Beach, Florida, Nov 21-25, 2017 http://www.mswimconf.com/2017 ==================================================== IMPORTANT: Submission deadline: May 20th 2017 =================================================== *Pending Upon Approval 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 20th 2017 Paper Submission Deadline: May 20, 2017 Notification of Acceptance: June 30, 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 -------------- next part -------------- An HTML attachment was scrubbed... URL: From jaspervdj at gmail.com Wed Apr 19 10:24:40 2017 From: jaspervdj at gmail.com (Jasper Van der Jeugt) Date: Wed, 19 Apr 2017 12:24:40 +0200 Subject: [Haskell] haskell Summer of Code In-Reply-To: <20170419101032.GA3164@colony6> References: <20170419101032.GA3164@colony6> Message-ID: Sorry for the double mail -- re-sending since my mail bounced for the haskell mailing list. Jasper On Wed, Apr 19, 2017 at 12:10 PM, Jasper Van der Jeugt wrote: > Hey all, > > Sorry for the confusion. As stated in the timeline, the student > application period begins on the 25th of April, so next week. At that > time, a form will be provided on . I > should have added this info explicitly to the homepage -- I will rectify > that now. > > If it is somehow not possible to submit at that time because of schedule > conflicts, please contact us and we will take of it. > > Kind regards > Jasper Van der Jeugt > > On Wed, Apr 19, 2017 at 07:11:17AM +0530, Harendra Kumar wrote: >> It is surprising that the haskell summer of code webpage does not mention >> how to or where to submit a proposal. After reading this email I went >> through the SoC announcement email myself and thus got to >> https://summer.haskell.org/ which too does not have any details on how to >> submit proposals, maybe I missed something. However, I could find the >> following from contacts page on this website: >> >> You can reach us by sending an email to committee [AT] haskell.org. >> Alternatively, you can contact nvazou [AT] cs.umd.edu and m [AT] >> jaspervdj.be directly. >> >> I guess, you can try sending your proposal to these email ids, I have >> copied them on this email as well. >> >> -harendra >> >> >> On 19 April 2017 at 05:14, Bhavishya Desai >> wrote: >> >> > Hello devs, >> > >> > I'm attaching the link of my proposal for summer of code.I'm interested in >> > IOS app for codeworld. >> > >> > Here it is:Proposal >> > >> > >> > Sorry if it's not the right place for submitting proposals for review, I >> > couldn't find any appropriate place(even the irc wasn't that active.) >> > >> > Waiting for your review, >> > >> > Thank YOU. >> > >> > _______________________________________________ >> > Haskell mailing list >> > Haskell at haskell.org >> > http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell >> > >> > From c.grelck at uva.nl Thu Apr 20 15:47:22 2017 From: c.grelck at uva.nl (Clemens Grelck) Date: Thu, 20 Apr 2017 17:47:22 +0200 Subject: [Haskell] Last CFP - Extended deadline - HLPP'2017 - The 10th International Symposium on High-Level Parallel Programming and Applications Message-ID: [ Apologies if you receive multiple copies of this email ] Please, feel free to resubmit this call for papers to your colleagues or any other person or institution if you think they could be interested. ------------------------------------------------------- CALL FOR PAPERS -- Paper submission Deadline extended to *April 21* -- Accepted papers to be published in special issues of the following journals (see below): * IJPP (Springer) * CCPP (Wiley) HLPP 2017 The 10th International Symposium on High-Level Parallel Programming and Applications July 10 - 11, 2017 Valladolid, Spain Web: https://hlpp2017.infor.uva.es/ email: hlpp2017 at infor.uva.es == Aims and scope of HLPP == As processor and system manufacturers increase the amount of both inter- and intra-chip parallelism, it becomes crucial to provide the software industry with high-level, clean, and efficient tools for parallel programming. Parallel and distributed programming methodologies are currently dominated by low-level techniques such as send/receive message passing, or equivalently unstructured shared memory mechanisms. Higher-level, structured approaches offer many possible advantages and have a key role to play in the scalable exploitation of ubiquitous parallelism. Since 2001, the HLPP series of workshops/symposia has been a forum for researchers developing state-of-the-art concepts, tools, and applications for high-level parallel programming. The general emphasis is on software quality, programming productivity, and high-level performance models. The 10th Symposium on High-Level Parallel Programming and Applications will be held July 10-11th in the cultural city of Valladolid, Spain. == Topics == HLPP 2017 invites papers on all topics in high-level parallel programming, its tools and applications including, but not limited to, the following aspects: * High-level programming, performance models (BSP, CGM, LogP, MPM, etc.) and tools * Declarative parallel programming methodologies based on functional, logical, data-flow, and other paradigms * Algorithmic skeletons, patterns, etc., and constructive methods * High-level parallelism in programming languages and libraries (e.g, Haskell, Scala, PGAS, etc.): semantics and implementation * Verification of declarative parallel and distributed programs * Efficient code generation, auto-tuning, and optimization for parallel programming * Model-driven software engineering for parallel systems * Domain-specific languages: design, implementation, and applications * High-level programming models for heterogeneous/hierarchical platforms with accelerators; e.g. GPU, Xeon Phi, etc. * High-level parallel methods for large structured and semi-structured datasets * Applications of parallel systems using high-level languages and tools * Teaching experience with high-level tools and methods == Important dates == * Submission deadline: Extended to *April 21* * Author notification: *May 16* * Camera-ready paper due for draft proceedings: *June 16* * Early registration deadline: *May 31* * Late registration deadline: *June 30* (after this date the registration will be only possible paying by cash at the registration desk during the symposium) * Symposium: *July 10-11* * Camera-ready paper due for journal publication: *September 15* == Proceedings and Journal Special Issues == Accepted papers will be distributed as informal draft proceedings during the symposium. Additionally, accepted papers will be published in a special issue of a renowned international journal. Depending on their subject, some papers will be selected for the *International Journal of Parallel Programming* (Springer), while others will be selected for *Concurrency and Computation: Practice and Experience* (Wiley). We expect the special issues to appear online-first by the end of 2017 and the printed edition in 2018. == Paper submission == Papers submitted to HLPP2017 must describe original research results and must not have been published or simultaneously submitted anywhere else. Manuscripts must be prepared with the Springer IJPP Latex macro package , using the single column option (\documentclass[smallextended]{svjour3}), and submitted via the EasyChair Conference System , as one PDF file. The strict page limit for initial submission and camera-ready version is 18 pages in the aforementioned format. Each paper will receive a minimum of three reviews by members of the program committee. Papers will be selected based on their originality, relevance, technical clarity, and quality of presentation. At least one author of each accepted paper must register for the HLPP 2017 symposium and present the paper. After the symposium, you have ample time to revise the paper incorporating potential comments and remarks of your colleagues. == Organization Committee == * Arturo Gonzalez-Escribano, Universidad de Valladolid, Spain * Diego R. Llanos, Universidad de Valladolid, Spain * Daniel Barba-Gutierrez, Universidad de Valladolid, Spain * Ana Moreton-Fernandez, Universidad de Valladolid, Spain * Eduardo Rodriguez-Gutiez, Universidad de Valladolid, Spain == Program committee == * Chair: José Daniel García (Universidad Carlos III de Madrid, Spain) * Herbert Kuchen (University of Muenster) * Aleksandar Prokopec (École Polytechnique Fédérale de Lausanne) * Kostis Sagonas (Uppsala University) * Massimo Torquati (University of Pisa) * Pedro Alonso (Universitat Politècnica de València) * Christoph Kessler (Linköping University) * Murray Cole (University of Edinburgh) * Susanna Pelagatti (University of Pisa) * Michel Steuwer (The University of Edinburgh) * Clemens Grelck (University of Amsterdam) * Gaétan Hains (Huawei France, R&D Center) * Dora Blanco (University of Santiago de Compostela) * Marco Danelutto (University of Pisa) * Peter Kilpatrick (Queen¿s University Belfast) * Marco Aldinucci (University of Pisa) * Kiminori Matsuzaki (Kochi University of Technology) * Sergei Gorlatch (University of Münster) * Francisco de Sande (Universidad de La Laguna) * Joel Falcou (NumScale, Universitè Paris Sud) * Kevin Hammond (University of St. Andrews) * Arturo Gonzalez-Escribano (Universidad de Valladolid) * Diego R. Llanos (Universidad de Valladolid) == HLPP steering committee == * Clemens Grelck (Universiteit van Amsterdam, Netherlands) * Gaétan Hains (Université Paris-Est, France) * Kiminori Matsuzaki (Kochi University of Technology, Japan) * Frédéric Loulergue (SICCS, Northern Arizona University, USA) * Quentin Miller (Somerville College Oxford, United Kingdom) * Alexander Tiskin (University of Warwick, United Kingdom) == Venue == HLPP 2017 will be hosted by Universidad de Valladolid, Spain The symposium will be held at "Palacio de Congresos Conde Ansurez" ------------------------------------------------------- Kind regards, The HLPP'2017 local organization committee -- -- -- HLPP'2017. Local Organization Committee -- Universidad de Valladolid (Spain) -- http://hlpp2017.infor.uva.es/ -- ---------------------------------------------------------------------- Dr Clemens Grelck Science Park 904 University Lecturer 1098XH Amsterdam Programme Director Software Engineering Netherlands University of Amsterdam Institute for Informatics T +31 (0) 20 525 8683 System and Network Engineering Lab F +31 (0) 20 525 7490 Office C3.109 staff.fnwi.uva.nl/c.u.grelck ---------------------------------------------------------------------- -------------- next part -------------- An HTML attachment was scrubbed... URL: From compscience.announcement at gmail.com Fri Apr 21 16:25:42 2017 From: compscience.announcement at gmail.com (Klaus Havelund) Date: Fri, 21 Apr 2017 09:25:42 -0700 Subject: [Haskell] RV 2017 - Deadline Extension: full submissions May 8 Message-ID: *RV 2017* **** DEADLINE EXTENSION: MAY 8 **** *Call for Papers and Tutorials* The 17th International Conference on Runtime Verification September 13-16, Seattle, WA, USA http://rv2017.cs.manchester.ac.uk Runtime verification is concerned with the monitoring and analysis of the runtime behaviour of software and hardware systems. Runtime verification techniques are crucial for system correctness, reliability, and robustness; they provide an additional level of rigor and effectiveness compared to conventional testing, and are generally more practical than exhaustive formal verification. Runtime verification can be used prior to deployment, for testing, verification, and debugging purposes, and after deployment for ensuring reliability, safety, and security and for providing fault containment and recovery as well as online system repair. Topics of interest to the conference include, but are not limited to: - specification languages - monitor construction techniques - program instrumentation - logging, recording, and replay - combination of static and dynamic analysis - specification mining and machine learning over runtime traces - monitoring techniques for concurrent and distributed systems - runtime checking of privacy and security policies - statistical model checking - metrics and statistical information gathering - program/system execution visualization - fault localization, containment, recovery and repair - integrated vehicle health management (IVHM) Application areas of runtime verification include cyber-physical systems, safety/mission-critical systems, enterprise and systems software, autonomous and reactive control systems, health management and diagnosis systems, and system security and privacy. We welcome contributions exploring the combination of runtime verification techniques with machine learning and static analysis. Whilst these are highlight topics, papers falling into these categories will not be treated differently from other contributions. An overview of previous RV conferences and earlier workshops can be found at: http://www.runtime-verification.org. RV 2017 will be held September 13-16 in Seattle, WA, USA. RV 2017 will feature a tutorial day (September 13), and three conference days (September 14-16). Important Dates *Papers* as well as *tutorial proposals* will follow the following timeline: - Abstract deadline: April 24, 2017 May 1, 2017 (Anywhere on Earth) - Paper and tutorial deadline: May 1, 2017 May 8, 2017 (Anywhere on Earth) - Tutorial notification: May 21, 2017 - Paper notification: June 26, 2017 - Camera-ready deadline: July 24, 2017 - Conference: September 13-16, 2017 Invited Speakers We are very pleased to confirm the following invited speakers for RV 2017: - Rodrigo Fonseca , Brown University, USA - Vlad Levin and Jakob Lichtenberg , Microsoft, USA - Andreas Zeller , Saarland University, Germany General Information on Submissions All papers and tutorials will appear in the conference proceedings in an LNCS volume. Submitted papers and tutorials must use the LNCS/Springer style detailed here: http://www.springer.de/comp/lncs/authors.html Papers must be original work and not be submitted for publication elsewhere. Papers must be written in English and submitted electronically (in PDF format) using the EasyChair submission page here: https://easychair.org/conferences/?conf=rv17 The page limitations mentioned below include all text and figures, but exclude references. Additional details omitted due to space limitations may be included in a clearly marked appendix, that will be reviewed at the discretion of reviewers, but not included in the proceedings. At least one author of each accepted paper and tutorial must attend RV 2017 to present. Paper Submissions There are three categories of papers which can be submitted: regular, short or tool papers. Papers in each category will be reviewed by at least 3 members of the Program Committee. - *Regular Papers* (up to 15 pages, not including references) should present original unpublished results. We welcome theoretical papers, system papers, papers describing domain-specific variants of RV, and case studies on runtime verification. - *Short Papers* (up to 6 pages, not including references) may present novel but not necessarily thoroughly worked out ideas, for example emerging runtime verification techniques and applications, or techniques and applications that establish relationships between runtime verification and other domains. - *Tool Demonstration Papers* (up to 8 pages, not including references) should present a new tool, a new tool component, or novel extensions to existing tools supporting runtime verification. The paper must include information on tool availability, maturity, selected experimental results and it should provide a link to a website containing the theoretical background and user guide. Furthermore, we strongly encourage authors to make their tools and benchmarks available with their submission. The Program Committee of RV 2017 will give a best paper award, and a selection of accepted regular papers will be invited to appear in a special issue of the Springer Journal on Formal Methods in System Design . Tutorial Submissions Tutorials are two-to-three-hour presentations on a selected topic. Additionally, tutorial presenters will be offered to publish a paper of up to 20 pages in the LNCS conference proceedings, not including references. A proposal for a tutorial must contain the subject of the tutorial, a brief abstract, a proposed format and timelines (of different parts), a note on the relevance to RV, a note on previous similar tutorials (if applicable) and the differences to this incarnation, and a brief biography of the presenter. The proposal should not exceed 2 pages. RV-CuBES: A Workshop Replacement for the Competition The Runtime Verification Competition will not be running in 2017. In its place a Workshop is being organised to discuss the future of the competition and showcase existing Runtime Verification tools. Please see the relevant page on the conference website for details. Organization *General Chair* Klaus Havelund , NASA Jet Propulsion Laboratory, USA *Program Chairs* Shuvendu Lahiri , Microsoft Research, USA Giles Reger , University of Manchester, UK *Finance Chair* Oleg Sokolsky , University of Pennsylvania, USA *Publicity Chair* Ayoub Nour i, University Grenoble Alpes, France *Local Organisation Chairs* Grigory Fedyukovich , University of Washington, USA Rahul Kumar , Microsoft Research, USA *Program Committee* Wolfgang Ahrendt , Chalmers Univ. of Technology/Univ. of Gothenburg, Sweden Cyrille Artho , KTH Royal Institute of Technology, Sweden Howard Barringer , The University of Manchester, UK Ezio Bartocci , Vienna University of Technology, Austria Andreas Bauer , KUKA Systems, Germany Saddek Bensalem , University of Grenoble Alpes/VERIMAG, France Eric Bodden , Paderborn University / Fraunhofer IEM, Germany Borzoo Bonakdarpour , McMaster University, Canada Christian Colombo , University of Malta, Malta Ylies Falcone , University Grenoble Alpes/Inria, France Grigory Fedyukovich , University of Washington, USA Lu Feng , University of Virginia, USA Patrice Godefroid , Microsoft Research, USA Jean Goubault-Larrecq , CNRS/ENS de Cachan, France Alex Groce , Northern Arizona University, USA Radu Grosu , Vienna University of Technology, Austria Sylvain Hallé , University of Québec at Chicoutimi, Canada Marieke Huisman , University of Twente, Netherlands Franjo Ivancic , Google, USA Bengt Jonsson , Uppsala University, Sweden Felix Klaedtke , NEC Europe Ltd., Germany Rahul Kumar , Microsoft Research, USA Kim Larsen , Aalborg University, Denmark Insup Lee , University of Pennsylvania, USA Axel Legay , Inria Rennes, France Martin Leucker , University of Lübeck, Germany Ben Livshits , Imperial College, UK David Lo , Singapore Management University, Singapore Francesco Logozzo , Facebook, USA Parthasarathy Madhusudan , University of Illinois at Urbana-Champaign, USA Leonardo Mariani , University of Milan Bicocca, Italy Madan Musuvathi , Microsoft Research, USA Ayoub Nouri , University of Grenoble Alpes, France Gordon Pace , University of Malta, Malta Doron Peled , Bar Ilan University, Israel Veselin Raychev , ETH Zurich, Switzerland Grigore Rosu , University of Illinois at Urbana-Champaign, USA Cesar Sanchez , IMDEA Software Institute, Spain Gerardo Schneider, Chalmers Univ. of Technology/Univ. of Gothenburg, Sweden Rahul Sharma , Microsoft Research, India Julien Signoles , CEA LIST, France Scott Smolka , Stony Brook University, USA Oleg Sokolsky , University of Pennsylvania, USA Bernhard Steffen , University of Dortmund, Germany Scott Stoller , Stony Brook University, USA Volker Stolz , Western Norway University of Applied Sciences, Norway Frits Vaandrager , Radboud University, Netherlands Neil Walkinshaw , University of Leicester, UK Chao Wang , University of Southern California, USA Eugen Zalinescu , Technische Universitat München, Germany -------------- next part -------------- An HTML attachment was scrubbed... URL: From w.s.swierstra at uu.nl Mon Apr 24 06:59:58 2017 From: w.s.swierstra at uu.nl (Wouter Swierstra) Date: Mon, 24 Apr 2017 08:59:58 +0200 Subject: [Haskell] 6 Assistant professor positions at the University of Utrecht Message-ID: The department of Information and Computing Sciences of Utrecht University is looking for: 6 talented Assistant Professors in Information and Computing Sciences (Tenure Track 0.8 - 1.0 FTE) (Female/Male), including one Westerdijk fellowship (Female) We have a strong tradition of research using functional languages -- please consider applying! ## Job description We are searching for excellent candidates, preferably on the Assistant Professor level. Candidates must have expertise in Computing and Information Sciences, related to our current research groups and teaching programmes. We are looking for outstanding candidates who will invigorate and enrich the scope of expertise of our Department and can enhance its involvement in interdisciplinary research projects within and outside the university. The quality of the candidate is leading, but preferred areas of expertise are Data Science, Programming Languages, Information Science, Computer Graphics and Serious Games. As teaching is an important and satisfying part of our work we are searching for people with a demonstrable motivation to teach. The preferred candidate has teaching experience, and is actively interested in improving her or his teaching, the courses and the teaching programme. Also candidates largely focusing on teaching will be considered. ## Qualifications Ideally your eligibility is exemplified by: ### Research: * PhD in Computer Science, Information Science or another relevant discipline; * track record of international publications in leading conferences and journals; * experience with or good prospects for acquiring external research funds; * vision on future research directions in own area of expertise; * experience with or readiness to supervise PhD projects; * active role in international scientific communities. ### Teaching: * enthusiasm for teaching and student supervision; * ability to teach in departmental BSc and MSc programmes; * vision on teaching and your own contribution to teaching. Please note that we are also interested in candidates with a focus on teaching! ### Leadership: * play an active and cooperative role in the department and the University; * willingness to organize scientific events, such as research seminars or teaching seminars; * willingness to partake in departmental committees. In view of the gender balance we strongly encourage qualified women to apply. ## Offer The candidate is offered a position for 3-5 years, depending on experience (0.8 / 1.0 FTE). Depending on experience and the specific field of expertise a tenure-track position could be offered. Salary depends on qualifications and experience, and ranges between 3,068euro and 5,330euro (scale 10 - 12 Collective Labour Agreement Dutch Universities) gross per month for a full-time employment. In case of proven outstanding performance an appointment as associate professor could be considered. The salary is supplemented with a holiday bonus of 8% and an end-of-year bonus of 8,3% per year. We offer flexible employment conditions (according to a multiple choice model), working-from-home facilities, partially paid parental leave, a pension scheme, and collective insurance schemes. Facilities for sports and child care are available on our campus, which is only 15 minutes away from the historical city center of Utrecht. ## About the organization A better future for everyone. This ambition motivates our scientists in executing their leading research and inspiring teaching. At Utrecht University, the various disciplines collaborate intensively towards major societal themes. Our focus is on Dynamics of Youth, Institutions for Open Societies, Life Sciences and Sustainability. The city of Utrecht is one of the oldest cities in the Netherlands, with a charming old center and an internationally oriented culture that is strongly influenced by its century-old university. Utrecht city has been consistently ranked as one of the most livable cities in the Netherlands. The Faculty of Science consists of six departments: Biology, Pharmaceutical Sciences, Information and Computing Sciences, Physics and Astronomy, Chemistry and Mathematics. The Faculty is home to 5,900 students and nearly 1,600 staff and is internationally renowned for the quality of its research. The Faculty's academic programmes reflect developments in today's society. The Department of Information and Computing Sciences is nationally and internationally renowned for its research in Computer Science and Information Science. The research of the Department focuses on fundamental aspects of Computing and Information Sciences. Current research groups are Algorithmic Data Analysis, Algorithms and Complexity, Decision Support Systems, Intelligent Systems, Simulation of Complex Systems, Multimedia, Geometric Computing, Organisation and Information, Software Technology, Software Technology of Learning and Teaching. Relevant areas of interdisciplinary research include Game Research and Technology, Foundations of Complex Systems, Applied Data Science and Integrative Bioinformatics. The Department has, among others, close collaborations with the University Medical Center, the Departments of Physics and Mathematics, and the Faculties of Humanities and Geosciences. The Department offers Bachelor programmes in Computer Science and Information Science, and four English language research Master programmes in Artificial Intelligence, Business Informatics, Computing Science, and Game and Media Technology. The Department is developing Master programmes in Data Science. High enrolment figures and good student ratings make the education very successful. The Department currently comprises 9 full-time chairs and 100 other scientific staff, including postdocs and PhD-students. Due to our successful teaching programmes and our ambitions in research the Department is expanding. We are therefore actively searching for 6 talented Research and Teaching Assistant Professors in Information and Computing Sciences. Please note that positions offered will vary, depending on experience and expertise. We will offer the top candidate a fully financed PhD position. We offer the top female candidate a Westerdijk fellowship which includes a fully financed PhD student and a 50K euro research budget. In case this is the same person the second PhD student will be offered to the second candidate on the list. ## Additional information Additional information about the vacancy can be obtained from: Prof M. van Kreveld, (M.J.vanKreveld at uu.nl), Research Director or Ria van Vlimmeren (M.F.J.vanVlimmeren at uu.nl), Secretary to the Board of the Department. As part of the selection procedure, the candidate is expected to give an outline of her/his research plans in a written report and/or an oral presentation. ## Apply Application deadline is 14 May 2017. To apply go to: https://www.uu.nl/en/organisation/working-at-utrecht-university/jobs and please attach a letter of motivation, curriculum vitae and (email) addresses of two referees. ## More information: https://www.uu.nl/en https://www.uu.nl/en/organisation/faculty-of-science https://www.uu.nl/en/organisation/department-of-information-and-computing-sciences https://www.uu.nl/en/organisation/faculty-of-science/about-us/westerdijk-fellowship https://www.uu.nl/en/organisation/working-at-utrecht-university/terms-of-employment https://www.uu.nl/en/organisation/working-at-utrecht-university From gershomb at gmail.com Mon Apr 24 21:55:50 2017 From: gershomb at gmail.com (Gershom B) Date: Mon, 24 Apr 2017 17:55:50 -0400 Subject: [Haskell] ANN: Compose Unconference and Exchange [NYC, May 20-21] Message-ID: I'm happy to announce that we now have a venue and dates for the affiliated Unconference and Exchange (aka "hackathon") for the Compose conference in NYC. It will take place the weekend immediately following the main conference, featuring improptu tutorials, collaborative coding, and generally be a good informal opportunity to work and discuss with functional programmers of all sorts. Registration (free) is at: https://www.eventbrite.com/e/cmpse-unconference-and-exchange-2017-tickets-33988530610 Registration for the main conference remains at: https://composeconference.eventbrite.com. Early bird tickets are now gone, so get tickets while you can! We're also happy to announce the topic of our invited keynote by Emily Riehl: A Categorical View of Computational Effects * Unconference information: http://www.composeconference.org/2017/unconference/ * Unconference registration: https://www.eventbrite.com/e/cmpse-unconference-and-exchange-2017-tickets-33988530610 * Full conference abstracts: http://www.composeconference.org/2017/program * Conference Registration: http://composeconference.eventbrite.com * 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 andreas.abel at ifi.lmu.de Tue Apr 25 13:45:49 2017 From: andreas.abel at ifi.lmu.de (Andreas Abel) Date: Tue, 25 Apr 2017 15:45:49 +0200 Subject: [Haskell] Senior Lectureships in Computer Science at Chalmers and Gothenburg U Message-ID: <794f3753-c15c-1a5b-6b07-fca5b8a34a5b@ifi.lmu.de> We are hiring full-time permanent lecturers! http://www.chalmers.se/en/about-chalmers/vacancies/Pages/default.aspx?rmpage=job&rmjob=4987 http://www.gu.se/english/about_the_university/job-opportunities/vacancies-details/?id=381 The positions are focusing on teaching, but some time will be available for research as well. Excerpt from the description: Major responsibilities The scientific area is Computer Science, interpreted broadly. The position is a full-time tenured appointment with focus on education and pedagogical development. You will teach a variety of topics in Computer Science; there may include courses such as programming, data structures, algorithms and databases. You will also supervise bachelor level projects and master’s theses. Besides teaching, you will keep up with the technical and pedagogical development in the areas of the position and introduce new methods in the curriculum. As a faculty member you will share the responsibility of the administration and management of the department and the educational programmes. You will collaborate with industrial, academic or governmental partners, and take part in the research conducted at the department. In addition, you are encouraged to apply for funding of further pedagogical advancement of our programmes, and for research funding. -- Andreas Abel <>< Du bist der geliebte Mensch. Department of Computer Science and Engineering Chalmers and Gothenburg University, Sweden andreas.abel at gu.se http://www.cse.chalmers.se/~abela/ From marklrh at gmail.com Tue Apr 25 17:29:00 2017 From: marklrh at gmail.com (Runhang Li) Date: Tue, 25 Apr 2017 10:29:00 -0700 Subject: [Haskell] CUFP 2017 Call for Tutorials Message-ID: <817AFF6A-149C-478A-BBC5-D8D707D80C2A@gmail.com> Call for Tutorials Commercial Users of Functional Programming (CUFP) 2017 September 7th-9th, 2017, Oxford, United Kingdom Co-located with International Conference on Functional Programming (ICFP) Dear Haskell community, Commercial Users of Functional Programming (CUFP) 2017 is now seeking tutorials proposals. Co-located with International Conference on Functional Programming (ICFP), Commercial Users of Functional Programming (CUFP) will take place in Oxford, U.K. from 7th to 9th of September, 2017. CUFP is devoted to showcase the state of the art of functional programming in industrial settings. We are looking for tutors who would like to host half-day tutorial sessions of the following topics: * Introductions to functional programming languages, e.g., Haskell, OCaml, Scala, F#, Scheme, Erlang, Clojure. * Advanced programming languages, concepts, or applications, e.g., Agda, Idris, F*, Coq, Eff. * Applications of functional languages in particular areas, including web, high-performance computing, and finance. * Tools and techniques supporting state of the art functional programming, e.g., ReasonML, TypeScript, Elm, QuickCheck, FlowType. * Theory. Type theory, category theory, abstract algebra, ongoing or new research, or anything useful or interesting to functional programmers. **Proposal submission deadline is May 25th** Details can be found at: http://cufp.org/2017/call-for-tutorials.html Kindly, Runhang Li, CUFP 2017 tutorials co-chair -------------- next part -------------- An HTML attachment was scrubbed... URL: From jaspervdj at gmail.com Tue Apr 25 22:12:13 2017 From: jaspervdj at gmail.com (Jasper Van der Jeugt) Date: Wed, 26 Apr 2017 00:12:13 +0200 Subject: [Haskell] Fwd: Getting ready for Summer of Haskell 2017 In-Reply-To: References: Message-ID: Hey all, The student applications for Summer of Haskell 2017 are now open! You can apply at: https://goo.gl/forms/OAfyD0Oen2KvKu6t2 The application period is open until the 6th of May, so that should give you plenty of time. At this time, we are also actively *seeking mentors*. In case you would like to mentor a project, please let us know: https://summer.haskell.org/contact.html Thanks to the generous donations of our sponsors, we will be able to sponsor around 10 students this year (depending on the applications we receive). Our sponsors are: - haskell.org kicked things off this year by funding a student and organizing the Summer of Haskell 2017 after a successful Summer of Haskell 2016 . - Asahi Net is a Japanese Internet service provider that has been running stable systems for over 25 years. They are a proud sponsor of the Summer of Haskell, and contribute to the Japanese Haskell community. - Awake Networks is building a next generation network security and analytics platform. They are a proud sponsor of the Summer of Haskell and contribute broadly to the Haskell community. - CodeWorld is an educational project that blends mathematics and Haskell programming into a visual playground. Chris Smith has volunteered to fund two students to work on CodeWorld in particular. - Digital Asset provides Distributed Ledger solutions for financial institutions globally. They have developed a pure, typed, functional, domain specific language for writing contracts, called DAML. They are a proud sponsor of the Summer of Haskell and contribute broadly to the Haskell community. - Facebook uses Haskell in its anti-abuse infrastructure and as part of that effort we open-sourced the Haxl framework which is being used at scale in production to automatically parallelise data-fetching code. We're delighted to be able to support the Haskell community's efforts by sponsoring a student for this year's Summer of Haskell. - Fugue Inc. radically simplifies cloud operations with its software-defined system for dynamically orchestrating and enforcing cloud infrastructure at scale. Fugue uses Haskell in its product and is proud to sponsor a student to improve the ecosystem. - Galois applies cutting-edge computer science and applied mathematics to solve difficult technological problems, delivering practical solutions tailored to our clients’ needs. Haskell and other functional programming languages are key tools we use in providing these solutions. - IOHK is a technology company committed to using peer-to-peer technologies to provide financial services to the three billion people who don't have them. We implement our first-principles cryptographic research in Haskell and we are committed to the development of the Haskell ecosystem. - Tweag I/O is a network of software innovation labs across Europe. We develop novel solutions and products for our clients around the world. Haskell is key to delivering fast, correct and maintainable code. We have shipped Haskell in anything from tiny web services to large high-performance compute clusters with custom hardware. We're particularly keen to help the community grow Haskell into the strongest systems programming language and ecosystem out there. We're very proud to sponsor a student this summer to help make it happen. - Davean has volunteered to fund a student expressly to work on the Hadrian build system for GHC . Best, Niki Vazou & Jasper Van der Jeugt for the Haskell.org Committee On Wed, Apr 5, 2017 at 3:17 PM, Niki Vazou wrote: > We are happy to announce that Summer of Haskell 2017 will host at least 8 > students, funded from the Haskell community and corporate sponsors. > > You can find all information (including the timeline) at the Summer of > Haskell new webpage: > > https://summer.haskell.org/ > > Students can submit applications from April 25th until the May 6th. We > recommend that interested students start thinking about their proposals and > brainstorm with potential mentors. In case you would like to participate as > a student, but you have no idea what to work on, we have a page dedicated > to ideas here: > > https://summer.haskell.org/ideas.html > > Teachers of FP courses at universities around the world are strongly > encouraged to share this announcement with their students. > > Mentors, as well as everyone from the community, are encouraged to > contribute ideas by sending pull requests to the Summer of Haskell > repository (or contacting us): > > https://github.com/haskell-org/summer-of-haskell > > Sponsors are still welcome, as we can add more slots if the necessary > funds become available. Combining our current individual donations with > partial sponsors, we only need $2000 more to fund an additional student. > Please consider making a small donation towards that goal. If you would > like to contribute do not hesitate to contact us or donate directly: > > https://wiki.haskell.org/Donate_to_Haskell.org > > We’d like to thank our current sponsors for making this Summer of Haskell > possible: > > haskell.org kicked things off this year by funding a student and > organizing the Summer of Haskell 2017 after a successful Summer of > Haskell 2016 > > . > > Asahi Net is a Japanese Internet service provider > that has been running stable systems for over 25 years. They are a proud > sponsor of the Summer of Haskell, and contribute to the Japanese Haskell > community. > > Awake Networks is building a next > generation network security and analytics platform. They are a proud > sponsor of the Summer of Haskell and contribute broadly to the Haskell > community. > > CodeWorld is an educational project that blends > mathematics and Haskell programming into a visual playground. Chris Smith > has volunteered to fund two students to work on CodeWorld in particular. > > Facebook uses Haskell in its anti-abuse > infrastructure > , > and as part of that effort we open-sourced the Haxl > framework which is being used at scale > in production to automatically parallelise data-fetching code. We're > delighted to be able to support the Haskell community's efforts by > sponsoring a student for this year's Summer of Haskell. > > Fugue Inc. radically simplifies cloud operations with > its software-defined system for dynamically orchestrating and enforcing > cloud infrastructure at scale. Fugue uses Haskell in its product and is > proud to sponsor a student to improve the ecosystem. > > Galois applies cutting-edge computer science and > applied mathematics to solve difficult technological problems, delivering > practical solutions tailored to our clients’ needs. Haskell and other > functional programming languages are key tools we use in providing these > solutions. > > Tweag I/O is a network of software innovation labs > across Europe. We develop novel solutions and products for our clients > around the world. Haskell is key to delivering fast, correct and > maintainable code. We have shipped Haskell in anything from tiny web > services to large high-performance compute clusters with custom hardware. > We're particularly keen to help the community grow Haskell into the > strongest systems programming language and ecosystem out there. We're very > proud to sponsor a student this summer to help make it happen. > > Finally, Davean has volunteered to fund a student expressly to work on > the Hadrian build system for GHC > . > > Feel free to contact us at (nvazou at cs.umd.edu and m at jaspervdj.be) > if want to help or if you have any ideas, questions, or concerns. > > Best, > > Niki Vazou & Jasper Van der Jeugt > > for the Haskell.org Committee > > -------------- next part -------------- An HTML attachment was scrubbed... URL: From rdgrande at site.uottawa.ca Fri Apr 28 03:24:02 2017 From: rdgrande at site.uottawa.ca (Robson De Grande) Date: Thu, 27 Apr 2017 23:24:02 -0400 Subject: [Haskell] CFP (Deadline Approaching): IEEE DS-RT 2017 (October 18-20, Rome, Italy) Message-ID: ------------------------------------------------------------------------------------ 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 *IEEE/ACM Pending Upon Approval ----------------------------------------------------------------------- IMPORTANT: Submission deadline: May 5th, 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 5th, 2017 Notification of Acceptance: June 5th, 2017 Camera Ready version due: July 10th, 2017 Symposium presentation: September 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 -------------- next part -------------- An HTML attachment was scrubbed... URL: From defigueiredo at ucdavis.edu Fri Apr 28 03:54:25 2017 From: defigueiredo at ucdavis.edu (Dimitri DeFigueiredo) Date: Thu, 27 Apr 2017 21:54:25 -0600 Subject: [Haskell] ANN: stego-uuid-1.0.0.0 Message-ID: <31b2dd6c-bbda-5527-38f7-7183c318e15e@ucdavis.edu> Hello All, I have published the first version of stego-uuid. https://hackage.haskell.org/package/stego-uuid-1.0.0.0 stego-uuid allows one to secretly mark 128-bit UUIDs. When created from a random 64-bit number, the whole 128-bit UUID will look random to everyone, except those who know the secret detection key. For more details and usage examples, please refer to the documentation on hackage. Regards, Dimitri -- 2E45 D376 A744 C671 5100 A261 210B 8461 0FB0 CA1F From kaposi.ambrus at gmail.com Fri Apr 28 09:05:36 2017 From: kaposi.ambrus at gmail.com (Ambrus Kaposi) Date: Fri, 28 Apr 2017 11:05:36 +0200 Subject: [Haskell] Call for participation: TYPES 2017. Registration is open Message-ID: * registration is open * invited talks: Sara Negri, Edwin Brady, Jakob Rehof * 51 contributed talks CALL FOR PARTICIPATION 23rd International Conference on Types for Proofs and Programs, TYPES 2017 and EUTYPES Cost Action CA15123 meeting Budapest, Hungary, 29 May - 1 June 2017 http://types2017.elte.hu BACKGROUND The TYPES meetings are a forum to present new and on-going work in all aspects of type theory and its applications, especially in formalised and computer assisted reasoning and computer programming. The TYPES areas of interest include, but are not limited to: * foundations of type theory and constructive mathematics; * applications of type theory; * dependently typed programming; * industrial uses of type theory technology; * meta-theoretic studies of type systems; * proof assistants and proof technology; * automation in computer-assisted reasoning; * links between type theory and functional programming; * formalizing mathematics using type theory. FINANCIAL SUPPORT The first two days of TYPES 2017, May 29 - 30 are organised by EUTypes Cost Action CA15123 (https://eutypes.cs.ru.nl). On May 30 there will be an EUTypes Management Committee (MC) meeting, and on both days there will be WG meetings. This means that members of the EUTypes MC will be invited for these 2 days through the e-cost system, and their cost of travel and stay will be covered. There will likely be some funding for a limited number of other invited speakers. The funding is subject to COST rules, and invitations will be sent out via the e-cost system after the 1st of May. INVITED SPEAKERS * Edwin Brady (University of St Andrews): An Architecture for Dependently Typed Applications in Idris * Sara Negri (University of Helsinki): TBA * Jakob Rehof (TU Dortmund): Bounding Principles for Decision Problems with Intersection Types CONTRIBUTED TALKS 51 talks were accepted, see http://types2017.elte.hu/#accepted for the list of accepted papers and http://types2017.elte.hu/#programme for the programme. REGISTRATION Registration is open: http://types2017.elte.hu/#registration The early bird fee is 250 EUR + 30 EUR for the excursion (optional). Please register for the excursion because it is a great opportunity for discussion of research ideas in a relaxed environment and for general networking. For students, the early bird registration fee is 200 EUR. VENUE Budapest is the capital of Hungary with around two million inhabitants. The conference will be held at Eötvös Loránd University. Among the graduates of this university were John von Neumann and Paul Erdos. The conference dinner will take place during a boat cruise on the river Danube which separates the Buda and Pest parts of the city. PROGRAMME COMMITTEE * Andreas Abel (Chalmers University Gothenburg) * Thorsten Altenkirch (University of Nottingham) * José Espirito Santo (University of Minho) * Fredrik Nordvall Forsberg (University of Strathclyde) * Silvia Ghilezan (University of Novi Sad) * Hugo Herbelin (INRIA Paris-Rocquencourt) * Martin Hofmann (Ludwig Maximilian University of Munich) * Ambrus Kaposi (Eötvös Loránd University) (co-chair) * Tamás Kozsik (Eötvös Loránd University) (co-chair) * Assia Mahboubi (INRIA) * Alexandre Miquel (University of the Republic, Uruguay) * Leonardo de Moura (Microsoft Research, Redmond, USA) * Keiko Nakata (SAP, Potsdam) * Andrew Polonsky (University Paris Diderot) * Simona Ronchi Della Rocca (Università di Torino) * Aleksy Schubert (University of Warsaw) * Wouter Swierstra (Utrecht University) * Tarmo Uustalu (Tallinn University of Technology) CONTACT Email: info at types2017.elte.hu Organisers: Ambrus Kaposi, Tamás Kozsik, András Kovács and the Department of Programming Languages and Compilers at the Faculty of Informatics, Eötvös Loránd University, Budapest. From rdgrande at site.uottawa.ca Fri Apr 28 14:24:11 2017 From: rdgrande at site.uottawa.ca (Robson De Grande) Date: Fri, 28 Apr 2017 10:24:11 -0400 Subject: [Haskell] CFP: ACM MobiWac 2017, Miami Beach, USA Message-ID: ** We apologize if you receive multiple copies of this message ** ================================================================== The 15th ACM International Symposium on Mobility Management and Wireless Access (MobiWac 2017) November 21 - 25, 2017 - Miami Beach, USA http://mobiwac-symposium.org/ ================================================================== IMPORTANT: Submission deadline: June 30th 2017 ================================================================== NOTE: The best papers accepted in MOBIWac'17 will be selected for a fast track in Elsevier Computer Communications Journal. ================================================================== The 15th ACM International Symposium on Mobility Management and Wireless Access (MobiWac 2017) will be held in conjunction with MSWiM 2017 (the 20th ACM International Symposium on Modeling, Analysis and Simulation of Wireless and Mobile Systems) from November 21 to 25, 2017 in Miami Beach, USA. The MOBIWAC series of events are intended to provide an international forum for the discussion and presentation of original ideas, recent results and achievements by researchers, students, and systems developers on issues and challenges related to mobility management and wireless access protocols. To keep up with the technological developments, we also open up new areas such as mobile cloud computing starting from this year. Authors are encouraged to submit both theoretical and practical results of significance on all aspects of wireless and mobile access technologies, with an emphasis on mobility management and wireless access. Authors are invited to submit full papers describing original research. Submitted papers must neither have been published elsewhere nor currently be under review by another conference or journal. TOPICS OF INTEREST include, but are not limited to: - Mobile Cloud Computing - Wireless/Mobile Access Protocols - Wireless/Mobile Web Access - Wireless Internet and All-IP integration - Next Generation Wireless systems - Mobile Broadband Wireless Access - Pervasive Communication and Computing - Ubiquitous and mobile access - Wireless Applications and testbeds - Multi-Homing and Vertical Handoff - Multi-Channel Multi-Radio MAC / network layer management - Channels and resource allocation algorithms - Energy and power management algorithms - Mobility Models - Multi-technology switching using Software Defined Radios - Context-aware services and applications - Context-aware protocols and protocol architectures - Interactive applications - Mobile database management - Wireless Multimedia Protocols - Mobile and Wireless Entertainment - Mobile Info-services - Social mobile networks - Social mobile applications - Data analysis for mobile and wireless networks - SDN solutions in mobile and wireless networks - QoS management - Mobility Control and Management - Localization and tracking - Mobile/Vehicular environment access - Wireless ad hoc and sensor networks - Security,Trust management and Privacy issues - Fault Tolerance solutions - Wireless Systems' Design - Analysis/Simulation of wireless mobile systems - Testbeds for experimental and simulation analysis ORGANIZING COMMITTEE: General Chair Ángel Cuevas, Universidad Carlos III de Madrid, Spain Program Chairs Robson De Grande, University of Ottawa, Canada Amir Darehshoorzadeh, CISCO, Canada Posters/Demo Chair Graciela Román Alonso, Universidad Autónoma Metropolitana, Mexico Publicity Chairs Khalil El-Khatib, UOIT, Canada Mirela. A. M. Notare, Sao Jose Municipal University, Brazil ========================= Paper Submission, Publication, and Important Dates: High-quality original papers are solicited. Papers must be unpublished and must not be submitted for publication elsewhere. All papers will be reviewed by Technical Program Committee members and other experts active in the field to ensure high quality and relevance to the Symposium. The symposium will have a single track for regular papers and in addition, a separate interwoven track with short papers / posters. Paper length must be no more than 10 pages, double column, ACM style including tables and figures. Note that the regular paper size will be 8 pages, with the possibility to obtain up to 2 additional pages (total 10 pages) by paying a publication fee. Only PDF format is accepted. All accepted papers will appear in the Symposium proceedings published by ACM press. - Paper registration due: June 30, 2017 (11:59PM EST) - Submission Deadline: June 30, 2017 (11:59PM EST) - Notification of Acceptance: July 30, 2017 (11:59PM EST) Papers are submitted via the EDAS system (https://edas.info/N23669). For any question or problems related to MobiWac 2017 submissions, please contact the PC Chairs. FOR MORE INFORMATION about the conference, organizing committee, submission instructions, and venue please see the conference website (http://mobiwac-symposium.org). -------------- next part -------------- An HTML attachment was scrubbed... URL: From hjgtuyl at chello.nl Fri Apr 28 20:09:46 2017 From: hjgtuyl at chello.nl (Henk-Jan van Tuyl) Date: Fri, 28 Apr 2017 22:09:46 +0200 Subject: [Haskell] ANN: wxHaskell 0.92.3.0 Message-ID: L.S., I am happy to announce a new version of wxHaskell: 0.92.3.0 Windows users can still use wxInstall Achelanne 0.1 to install this new version of wxHaskell.[0][1] Changes in wxHaskell since 0.92.2: - Improvements for compilation on BSD platform - Improved commandline handling - Sample program PaintGC.hs added - Compilation can now be done with an alternative wx-config.exe - Simplification of Windows build process with Stack - Several bugs solved Thanks to everyone who contributed! What is wxHaskell? ------------------ wxHaskell[2] is a portable and native GUI library for Haskell. The goal of the project is to provide an industrial strength GUI library for Haskell, but without the burden of developing (and maintaining) one ourselves. wxHaskell is therefore built on top of wxWidgets[3] – a comprehensive C++ library that is portable across all major GUI platforms; including GTK, Windows, X11, and MacOS X. Furthermore, it is a mature library (in development since 1992) that supports a wide range of widgets with the native look-and-feel. Links ----- See the homepage of wxHaskell for more information: https://wiki.haskell.org/WxHaskell Repository: https://github.com/wxHaskell/wxHaskell Tickets: https://sourceforge.net/p/wxhaskell/_list/tickets The packages are: - wxc https://hackage.haskell.org/package/wxc - wxdirect https://hackage.haskell.org/package/wxdirect - wxcore https://hackage.haskell.org/package/wxcore - wx https://hackage.haskell.org/package/wx Regards, Henk-Jan van Tuyl [0] http://sourceforge.net/projects/wxhaskell/files/wxInstall/ [1] https://wiki.haskell.org/WxHaskell/Windows#Installing_the_easy_way [2] https://wiki.haskell.org/WxHaskell [3] https://wxwidgets.org/ -- Folding at home What if you could share your unused computer power to help find a cure? In just 5 minutes you can join the world's biggest networked computer and get us closer sooner. Watch the video. http://folding.stanford.edu/ http://Van.Tuyl.eu/ http://members.chello.nl/hjgtuyl/tourdemonad.html Haskell programming -- From brucker at spamfence.net Sat Apr 29 15:01:21 2017 From: brucker at spamfence.net (Achim D. Brucker) Date: Sat, 29 Apr 2017 16:01:21 +0100 Subject: [Haskell] Deadline Extension: International Workshop on OCL and Textual Modeling (OCL 2017) Message-ID: <20170429150121.7xi62wmo24sldejx@fujikawa.home.brucker.ch> (Apologies for duplicates) New Deadline: May 7, 2017 CALL FOR PAPERS 17th International Workshop on OCL and Textual Modeling Co-located with STAF 2017 SOFTWARE TECHNOLOGIES: APPLICATIONS AND FOUNDATIONS July 20, 2017, Marburg, Germany http://oclworkshop.github.io Modeling started out with UML and its precursors as a graphical notation. Such visual representations enable direct intuitive capturing of reality, but they have weaknesses: for example, detailed visual representations bear the risk of becoming overcrowded faster than textual models and some of the visual features lack the level of precision required to create complete and unambiguous specifications. These weaknesses of graphical notations encouraged the development of text-based modeling languages that either integrate with or replace graphical notations for modeling. Typical examples of such languages are OCL, textual MOF, Epsilon, and Alloy. Textual modeling languages have their roots in formal language paradigms like logic, programming and databases. The goal of this workshop is to create a forum where researchers and practitioners interested in building models using OCL or other kinds of textual languages can directly interact, report advances, share results, identify tools for language development, and discuss appropriate standards. In particular, the workshop will encourage discussions for achieving synergy from different modeling language concepts and modeling language use. The close interaction will enable researchers and practitioners to identify common interests and options for potential cooperation. ## Topics of interest Topics of interest include (but are not limited to): - Mappings between textual modeling languages and other languages/formalisms - 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) - 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 This year, we particularly encourage submissions describing applications and case studies of textual modeling as well as test suites and benchmark collections for evaluating textual modeling tools. ## Venue This workshop will be organized as a part of STAF 2017 Conferenze in Marburg, Germany. It was previously organized as part of the MODELS conference. Similar to its predecessors , the workshop addresses both people from academia and industry . The aim is to provide a forum for addressing integration of OCL and other textual modeling languages , as well as tools for textual modeling , and for disseminating good practice and discussing the new requirements for textual modeling . ## Workshop Format The workshop will include short (about 15 min) presentations, parallel sessions of working groups, and sum-up discussions. ## Submissions Two types of papers will be considered: * Short contributions (between 6 and 8 pages) describing new ideas, innovative tools or position papers. * Full papers (between 12 and 16 pages). in LNCS format. Submissions should be uploaded to [EasyChair](https://easychair.org/conferences/?conf=ocl2017). The program committee will review the submissions (minimum 2 reviews per paper, usually 3 reviews) and select papers according to their relevance and interest for discussions that will take place at the workshop. Accepted papers will be published online in a post-conference edition of [CEUR](http://www.ceur-ws.org). ## Important Dates - Submission of papers: May 7, 2017 (extended) - Notification: May 25, 2017 - Workshop date: July 20, 2017 -- Dr. Achim D. Brucker | Software Assurance & Security | University of Sheffield https://www.brucker.ch | https://logicalhacking.com/blog @adbrucker | @logicalhacking