- Haskell - Haskell.org

PLMW@ICFP: CALL FOR SCHOLARSHIP APPLICATIONS and PARTICIPATION (deadline July 31!)
by Neel Krishnaswami 24 Jul '17

24 Jul '17

CALL FOR SCHOLARSHIP APPLICATIONS and PARTICIPATION (deadline July 31!) ACM SIGPLAN Programming Languages Mentoring Workshop, Oxford, UK Co-located with ICFP'17 PLMW web page: http://icfp17.sigplan.org/manageTrack/PLMW-ICFP-2017 ### The purpose of this mentoring workshop is to encourage graduate students and senior undergraduate students to pursue careers in programming language research. This workshop will provide technical sessions on cutting-edge research in programming languages, and mentoring sessions on how to prepare for a research career. We will bring together leaders in programming language research from academia and industry to give talks on their research areas. The workshop will engage students in a process of imagining how they might contribute to our research community. So far, we have the following speakers and panelists confirmed for the workshop: - Amal Ahmed (Northeastern University) - Nada Amin (University of Cambridge) - Derek Dreyer (Max Planck Institute for Software Systems) - Richard Eisenberg (Bryn Mawr College) - Ron Garcia (University of British Columbia) - Chris Martens (North Caroline State University) - Conor McBride (Strathclyde University) - Sam Staton (Oxford) We especially encourage women and underrepresented minority students to attend PLMW. This workshop is part of the activities surrounding ICFP, the International Conference on Functional Programming, and takes place the day before the main conference. One goal of the workshop is to make ICFP conference more accessible to newcomers. We hope that participants will stay through the entire conference. ## Travel Scholarship Applications (Due 31 July) Please fill out [this form](https://goo.gl/forms/qDYTkvNndApNc91N2) by 31 July to apply for travel funding. These scholarships will provide funds towards airfare, hotel, and registration fees for attendance at both the workshop and ICFP, but are limited. We welcome students with alternative sources of travel funding to attend PLMW as well. Selected participants will be notified by 2 August and will need to pre-register and commit to attending the workshop by August 4. Applicants who apply after July 31 may be eligible to receive funding, if funds remain. The workshop registration is open to all. Students with alternative sources of funding are welcome. -- Neel Krishnaswami nk480(a)cl.cam.ac.uk

1 0

RV 2017 - 1st Call for Participation
by Klaus Havelund 20 Jul '17

20 Jul '17

CALL FOR PARTICIPATION RV’17 - RUNTIME VERIFICATION 2017 The 17th International Conference on Runtime Verification September 13-16 2017, Seattle, WA, USA http://rv2017.cs.manchester.ac.uk Affiliated Event: RV-CuBES - An International Workshop on Competitions, Usability, Benchmarks, Evaluation, and Standardisation for Runtime Verification Tools === OVERVIEW === 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: 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. === INVITED TALKS === Rodrigo Fonseca, Brown University, USA: “The Design and Applications for a Tracing Plane for Distributed Systems” Vlad Levin and Jakob Lichtenberg, Microsoft, USA: “Windows Driver Verification Platform” Andreas Zeller, Saarland University, Germany: “Learning Input Languages for Runtime Verification” === TUTORIALS === Ankush Desai and Shaz Qadeer, UC Berkeley and Microsoft Research, USA: “P : Modular and Safe Asynchronous Programming” Madhusudan Parthasarathy, University of Illinois at Urbana-Champaign, USA: “Machine-learning State Properties” Adrian Francalanza, University of Malta, Malta: “Foundations For Runtime Monitoring” === ACCEPTED PAPERS === === Regular Papers Bernhard K. Aichernig and Martin Tappler. “Probabilistic Black-Box Reachability Checking” Minjun Seo and Roman Lysecky. “Hierarchical Non-Intrusive In-Situ Requirements Monitoring for Embedded Systems” David Basin, Srđan Krstić and Dmitriy Traytel. “Almost Event-Rate Independent Monitoring of Metric Dynamic Logic” Kostyantyn Vorobyov, Nikolai Kosmatov, Julien Signoles and Arvid Jakobsson. “Runtime Detection of Temporal Memory Errors” Katarína Kejstová, Petr Ročkai and Jiri Barnat. “From Model Checking to Runtime Verification and Back” Zachary Benavides, Rajiv Gupta and Xiangyu Zhang. “Annotation Guided Collection of Context-Sensitive Parallel Execution Profiles” Oliviero Riganelli, Daniela Micucci, Leonardo Mariani and Yliès Falcone. “Verifying Policy Enforcers” Ankush Desai, Tommaso Dreossi and Sanjit A. Seshia. “Combining Model Checking and Runtime Verification for Safe Robotics” Vidhya Tekken Valapil, Sorrachai Yingchareonthawornchai, Sandeep Kulkarni, Eric Torng and Murat Demirbas. “Monitoring Partially Synchronous Distributed Systems using SMT Solvers” Chaoqiang Deng and Kedar Namjoshi. “Witnessing Network Transformations” Teng Zhang, John Wiegley, Insup Lee and Oleg Sokolsky. “Monitoring Time Intervals” Bjorn Andersson, Sagar Chaki and Dionisio De Niz. “Combining Symbolic Runtime Enforcers for Cyber-Physical Systems” Babak Yadegari and Saumya Debray. “Control Dependencies in Interpretive Systems” Himanshu Chauhan and Vijay Garg. “Space Efficient Breadth-First and Level Traversals of Consistent Global States of Parallel Programs” Giuseppe Bombara and Calin Belta. “Signal Clustering using Temporal Logics” Susmit Jha, Ashish Tiwari, Sanjit A. Seshia, Natarajan Shankar and Tuhin Sahai. “TeLEx: Passive STL Learning Using Only Positive Examples” Florian-Michael Adolf, Peter Faymonville, Bernd Finkbeiner, Sebastian Schirmer and Christoph Torens. “Stream Runtime Monitoring on UAVs” Bernd Finkbeiner, Christopher Hahn, Marvin Stenger and Leander Tentrup. “Monitoring Hyperproperties” === Tool Papers Hassan Salehe Matar and Serdar Tasiran. “EmbedSanitizer: Runtime Race Detection Tool for 32-bit Embedded ARM” Prashanth Nayak, Mike Hibler, David Johnson and Eric Eide. “A Wingman for Virtual Appliances” Shuo Chen. “SVAuth – A Single-Sign-On Integration Solution with Runtime Verification” Raphael Khoury, Sebastien Gaboury and Sylvain Hallé. “Event Stream Processing with Multiple Threads” Daisuke Ishii and Alexandre Goldsztejn. “HySIA: Tool for Simulating and Monitoring Hybrid Automata Based on Interval Analysis” === Short Papers Kim Völlinger. “Verifying the Output of a Distributed Algorithm using Certification” Chafik Meniar, Florence Opalvens and Sylvain Hallé. “Runtime Verification of User Interface Guidelines in Mobile Devices” Aaron Paulos, Partha Pal, Shane Clark, Kyle Usbeck and Patrick Hurley. “Trusted Mission Operation – Concept and Implementation” Jun Inoue and Yoriyuki Yamagata. “Operational Semantics of Process Monitors” === VENUE === The 17th International Conference on Runtime Verification will be held in the Sheraton Seattle Hotelsituated in downtown Seattle. The venue is within walking distance of the famous Pike Place Market, Seattle Art Museum, Seattle Aquarium, and the Historic Seattle Waterfront. The weather in September still permits many open-air opportunities to shop, eat, and even sail in the Elliott Bay. Exceptionally well organized, Seattle’s public transport connects the conference venue with the Seattle Center, which is the home of popular attractions like the Space Needle, EMP Museum, and Chihuly Garden and Glass. === REGISTRATION === Registration is now available using the web-based registration form, with online payment on a secure website. Please use one form per attendee. Early registration means on or before August 13, 2017. Late registration means after August 13, 2017. Different possibilities of registration are available: Tutorial Day Only (13th September): 210 USD Conference including tutorial day and RV-CuBES (13-16th September) Full Registration Early: 680 USD, Late (after 13 August): 780 USD Student Registration Early: 480 USD, Late (after 13 August): 580 USD === CHAIRS AND ORGANIZERS === 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 Nouri, University of Grenoble Alpes, France Local Organisation Chairs Grigory Fedyukovich, University of Washington, USA Rahul Kumar, Microsoft Research, USA RV-CuBES, PC chairs Giles Reger, University of Manchester, UK Klaus Havelund, NASA Jet Propulsion Laboratory, USA === SPONSORS === Microsoft Springer --- end --

1 0

Call for Participation: ICFP 2017
by Lindsey Kuper 18 Jul '17

18 Jul '17

[ Early registration ends 4 August. ] ===================================================================== Call for Participation ICFP 2017 22nd ACM SIGPLAN International Conference on Functional Programming and affiliated events September 3 - September 9, 2017 Oxford, UK http://icfp17.sigplan.org/ ===================================================================== ICFP provides a forum for researchers and developers to hear about the latest work on the design, implementations, principles, and uses of functional programming. The conference covers the entire spectrum of work, from practice to theory, including its peripheries. A full week dedicated to functional programming: ICFP, 2 co-hosted conferences, 1 co-hosted symposium, workshops, tutorials, programming contest results, student research competition, and mentoring workshop * Overview and affiliated events: http://icfp17.sigplan.org/home * Program: http://icfp17.sigplan.org/program/program-icfp-2017 * Accepted papers: http://icfp17.sigplan.org/track/icfp-2017-papers * Registration is available via: https://regmaster4.com/2017conf/ICFP17/register.php Early registration is due 4 August, 2016. * Programming contest, 4-7 August, 2016: http://2017.icfpcontest.org * Student Research Competition: http://icfp17.sigplan.org/track/icfp-2017-Student-Research-Competition * Follow @icfp_conference on twitter for the latest news: http://twitter.com/icfp_conference There are several events affiliated with ICFP: Sunday, September 3 Workshop on Higher-order Programming with Effects Workshop on Type-Driven Development Scheme and Functional Programming Workshop Programming Languages Mentoring Workshop ICFP Tutorials Monday, September 4 – Wednesday, September 6 ICFP FSCD - Days 1-3 Thursday, September 7 Haskell Symposium – Day 1 ML Family Workshop Workshop on Functional High-Performance Computing Commercial Users of Functional Programming – Day 1 FSCD - Day 4 Friday, September 8 Haskell Symposium – Day 2 OCaml Workshop Erlang Workshop Commercial Users of Functional Programming – Day 2 Saturday, September 9 Commercial Users of Functional Programming – Day 3 Haskell Implementors Workshop Functional Art, Music, Modeling and Design Conference Organizers: General Chair: Jeremy Gibbons (University of Oxford, UK) Program Chair: Mark Jones (Portland State University, USA) Artifact Evaluation Co-Chair: Matthew Flatt (University of Utah, USA) Artifact Evaluation Co-Chair: Ryan R. Newton (Indiana University, USA) Industrial Relations Chair: Ryan Trinkle (Obsidian Systems LLC, USA) PLMW Co-Chair: Neelakantan R. Krishnawami (University of Cambridge, UK) PLMW Co-Chair: Dan Licata (Wesleyan University, USA) PLMW Co-Chair: Brigitte Pientka (McGill University, Canada) Programming Contest Organiser: Sam Lindley (University of Edinburgh, UK) Publicity and Web Chair: Lindsey Kuper (Intel Labs, USA) Student Research Competition Chair: Ilya Sergey (University College London, UK) Student Volunteer Co-Captain: Yosuke Fukuda (Kyoto University, Japan) Student Volunteer Co-Captain: Yuki Nishida (Kyoto University, Japan) Student Volunteer Co-Captain: Jakub Zalewski (University of Edinburgh, UK) Video Chair: Jose Calderon (Galois, Inc., USA) Workshops Co-Chair: Andres Löh (Well-Typed LLP, UK) Workshops Co-Chair: David Christiansen (Indiana University, USA) Sponsors and industrial partners: Platinum partners Ahrefs Jane Street Capital Gold partners Bloomberg X Silver partners Galois Oracle Bronze partners Obsidian Systems Portland State University Well-Typed

1 0

Deadline extension: WPTE 2017 Fourth International Workshop on Rewriting Techniques for Program Transformations and Evaluation
by David Sabel 14 Jul '17

14 Jul '17

======================================================================================== 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 21th, 2017 (Extended!) * 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)

1 0

2nd CfP: IFL 2017 (29th Symposium on Implementation and Application of Functional Languages)
by publicityifl＠gmail.com 13 Jul '17

13 Jul '17

<div dir="ltr">Hello, Please, find below the second call for papers for IFL 2017. Please forward these to anyone you think may be interested. Apologies for any duplicates you may receive. best regards, Jurriaan Hage Publicity Chair of IFL --- IFL 2017 - CALL FOR PAPERS ========================== 29th SYMPOSIUM ON IMPLEMENTATION AND APPLICATION OF FUNCTIONAL LANGUAGES ======================================================================== University of Bristol, UK In cooperation with ACM SIGPLAN Wednesday 30 August - Friday 1 September, 2017 <a href="http://iflconference.org/" target="_blank">http://iflconference.org/</a> Scope ----- The goal of the IFL symposia is to bring together researchers actively engaged in the implementation and application of functional and function-based programming languages. IFL 2017 will be a venue for researchers to present and discuss new ideas and concepts, work in progress, and publication-ripe results related to the implementation and application of functional languages and function-based programming. Peer-review ----------- Following the IFL tradition, IFL 2017 will use a post-symposium review process to produce the formal proceedings. All participants of IFL 2017 are invited to submit either a draft paper or an extended abstract describing work to be presented at the symposium. At no time may work submitted to IFL be simultaneously submitted to other venues; submissions must adhere to ACM SIGPLAN's republication policy: <a href="http://www.sigplan.org/Resources/Policies/Republication" target="_blank">http://www.sigplan.org/Resources/Policies/Republication</a> The submissions will be screened by the program committee chair to make sure they are within the scope of IFL, and will appear in the draft proceedings distributed at the symposium. Submissions appearing in the draft proceedings are not peer-reviewed publications. Hence, publications that appear only in the draft proceedings are not subject to the ACM SIGPLAN republication policy. After the symposium, authors will be given the opportunity to incorporate the feedback from discussions at the symposium and will be invited to submit a revised full article for the formal review process. From the revised submissions, the program committee will select papers for the formal proceedings considering their correctness, novelty, originality, relevance, significance, and clarity. The formal proceedings will appear in the International Conference Proceedings Series of the ACM Digital Library. Important dates --------------- Mon 31 July 2017 : Submission deadline draft papers Wed 2 August 2017 : Notification of acceptance for presentation Fri 4 August 2017 : Early registration deadline Fri 11 August 2017 : Late registration deadline Mon 21 August 2017 : Submission deadline for pre-symposium proceedings Wed 30 August 2017 - Fri 1 September 2017 : IFL Symposium Mon 4 December 2017 : Submission deadline for post-symposium proceedings Wed 31 January 2018 : Notification of acceptance for post-symposium proceedings Mon 12 March 2018 : Camera-ready version for post-symposium proceedings Submission details ------------------ Prospective authors are encouraged to submit papers or extended abstracts to be published in the draft proceedings and to present them at the symposium. All contributions must be written in English. Papers must use the new ACM two columns conference format, which can be found at: <a href="http://www.acm.org/publications/proceedings-template" target="_blank">http://www.acm.org/publications/proceedings-template</a> For the pre-symposium proceedings we adopt a 'weak' page limit of 12 pages. For the post-symposium proceedings the page limit of 12 pages is firm. Authors submit through EasyChair: <a href="https://easychair.org/conferences/?conf=ifl2017" target="_blank">https://easychair.org/conferences/?conf=ifl2017</a> Topics ------ IFL welcomes submissions describing practical and theoretical work as well as submissions describing applications and tools in the context of functional programming. If you are not sure whether your work is appropriate for IFL 2017, please contact the PC chair at <a href="mailto:nicolas.wu@bristol.ac.uk" target="_blank">nicolas.wu(a)bristol.ac.uk</a>. Topics of interest include, but are not limited to: - language concepts - type systems, type checking, type inferencing - compilation techniques - staged compilation - run-time function specialization - run-time code generation - partial evaluation - (abstract) interpretation - metaprogramming - generic programming - automatic program generation - array processing - concurrent/parallel programming - concurrent/parallel program execution - embedded systems - web applications - (embedded) domain specific languages - security - novel memory management techniques - run-time profiling performance measurements - debugging and tracing - virtual/abstract machine architectures - validation, verification of functional programs - tools and programming techniques - (industrial) applications Peter Landin Prize ------------------ The Peter Landin Prize is awarded to the best paper presented at the symposium every year. The honored article is selected by the program committee based on the submissions received for the formal review process. The prize carries a cash award equivalent to 150 Euros. Programme committee ------------------- Chair: Nicolas Wu, University of Bristol, UK - Kenichi Asai, Ochanomizu University, Japan - Sandrine Blazy, University of Rennes 1, France - Carlos Camarao, Universidade Federal de Minas Gerais, Brazil - Stephen Dolan, University of Cambridge, UK - Jurriaan Hage, Utrecht University, Netherlands - Yukiyoshi Kameyama, University of Tsukuba, Japan - Benjamin Lerner, Brown University, USA - Bas Lijnse, Radboud University, Netherlands - Garrett Morris, University of Kansas, USA - Miguel Pagano, Universidad Nacional de C√≥rdoba, Argentina - Tomas Petricek, Alan Turing Institute, UK - Maciej Pir√≥g, University of Wroclaw, Poland - Exequiel Rivas, Universidad Nacional de Rosario, Argentina - Neil Sculthorpe, Nottingham Trent University, UK - Melinda Toth, Eotvos Lorand University, Hungary - Phil Trinder, Glasgow University, UK - Kanae Tsushima, National Institute of Informatics, Japan - Marcos Viera, Universidad de la Republica, Uruguay - Meng Wang, University of Kent, UK Venue ----- The IFL 2017 will be held in association with the Department of Computer Science, University of Bristol, UK. Bristol is located in South West England, and can be easily reached from Bristol Airport. See the website for more information on the venue.</div>  <a style='display: block; margin: 32px 0 40px 0; padding: 10px; font-size: 1em; text-align: center; border: 0; border-top: 1px solid gray; ' href='https://goo.gl/2ksdRv'>powered by GSM. Free mail merge and email marketing software for Gmail.</a>

1 0

Call for Participation: Higher-Order Programming with Effects, HOPE 2017
by François Pottier 12 Jul '17

12 Jul '17

One-liner: the list of accepted talks for HOPE 2017 is now online! ------------------------------------------------------------------------------ CALL FOR PARTICIPATION HOPE 2017 The 6th ACM SIGPLAN Workshop on Higher-Order Programming with Effects September 3, 2017 Oxford, United Kingdom (the day before ICFP 2017) http://icfp17.sigplan.org/track/hope-2017-papers#event-overview ------------------------------------------------------------------------------ The HOPE workshop series are intended to bring together researchers interested in the design, semantics, implementation, and verification of higher-order effectful programs. They are informal, consisting of invited talks, contributed talks on work in progress, and open-ended discussion sessions. They are dedicated to John Reynolds, whose work is an inspiration to us all. The 6th ACM SIGPLAN Workshop on Higher-Order Programming with Effects will take place on Sunday, September 3, 2017, that is, the day before ICFP 2017, in Oxford, United Kingdom. # Goals of the Workshop A recurring theme in many papers at ICFP, and in the research of many ICFP attendees, is the interaction of higher-order programming with various kinds of effects: storage effects, I/O, control effects, concurrency, etc. While effects are of critical importance in many applications, they also make code harder to build, maintain, and reason about. Higher-order languages (both functional and object-oriented) provide a variety of abstraction mechanisms to help "tame" or "encapsulate" effects (e.g. monads, ADTs, ownership types, typestate, first-class events, transactions, Hoare Type Theory, session types, substructural and region-based type systems), and a number of different semantic models and verification technologies have been developed in order to codify and exploit the benefits of this encapsulation (e.g. bisimulations, step-indexed Kripke logical relations, higher-order separation logic, game semantics, various modal logics). But there remain many open problems, and the field is highly active. The goal of the HOPE workshop is to bring researchers from a variety of different backgrounds and perspectives together to exchange new and exciting ideas concerning the design, semantics, implementation, and verification of higher-order effectful programs. # Important Dates * Workshop: September 3, 2017 (Sunday) # Accepted Talks http://icfp17.sigplan.org/track/hope-2017-papers#event-overview # Workshop Organization Program Co-Chairs: François Pottier (Inria Paris) Aleks Nanevski (IMDEA Software Institute) Program Committee: Edwin Brady University of St Andrews Pierre-Évariste Dagand LIP6/CNRS Atsushi Igarashi Kyoto University Robbert Krebbers Delft University of Technology Vivek Nigam Federal University of Paraíba Matija Pretnar University of Ljubljana Azalea Raad Imperial College London Aseem Rastogi Microsoft Research Filip Sieczkowski University of Wrocław Niki Vazou University of Maryland

1 0

<Programming> 2018: 2nd Call for Papers
by Sylvia Grewe 11 Jul '17

11 Jul '17

------------------------------------------------------------------------------------ <Programming> 2018 : The Art, Science, and Engineering of Programming Mon 9 - Thu 12 April 2018 Nice, France http://2018.programming-conference.org/ In 2017, we started a new conference and journal focused on everything to do with programming, including the experience of programming, called <Programming> for short. The first edition of <Programming> was a great success (seehttp://twitter.com/programmingconffor testimonies). Paper submissions and publications are handled by the journal. Accepted papers must be presented at the conference. ******************************************************** CALL FOR PAPERS ******************************************************** <Programming> 2018 accept scholarly papers including essays that advance the knowledge of programming. Almost anything about programming is in scope, but in each case there should be a clear relevance to the act and experience of programming. PAPER SUBMISSIONS: August 1 2017 (Research Papers Second Submission Deadline) December 1 2017 (Research Papers Third Submission Deadline) We accept submissions covering several areas of expertise. These areas include, but are not limited to: • General-purpose programming • Distributed systems programming • Parallel and multi-core programming • Graphics and GPU programming • Security programming • User interface programming • Database programming • Visual and live programming • Data mining and machine learning programming • Interpreters, virtual machines and compilers • Modularity and separation of concerns • Model-based development • Metaprogramming and reflection • Testing and debugging • Program verification • Programming education • Programming environments • Social coding ******************************************************** IMPORTANT DATES ******************************************************** Research paper submissions: August 1 2017 (Research Papers Second Submission Deadline) December 1 2017 (Research Papers Third Submission Deadline) Research paper first notification (for second submission deadline): October 1 2017 Research paper final notification (for second submission deadline): November 7 2017 Research paper first notification (for third submission deadline): February 1 2018 Research paper final notification (for third submission deadline): March 7 2018 Workshop Proposals: October 1 2017 All important dates can also be found athttp://programming-journal.org/timeline/ ******************************************************** ORGANIZATION ******************************************************** General Chair: Manuel Serrano, INRIA France Local Organizing Chair: Tamara Rezk, INRIA France Organizing Committee: Stefan Marr (workshops), Johannes Kepler University Linz Jennifer B. Sartor (workshops), Software Languages Lab, Vrije Universiteit Brussel Belgium Philipp Haller (student research competition), KTH Royal Institute of Technology, Sweden Tobias Pape (web technology), HPI - University of Potsdam Sylvia Grewe (publicity), Technische Universität Darmstadt Germany Program Committee: Guido Salvaneschi (program chair), Technische Universität Darmstadt, Germany Davide Ancona, University of Genova, Italy Alberto Bacchelli, Delft University of Technology, Netherlands Shigeru Chiba, University of Tokyo, Japan Yvonne Coady, University of Victoria, Canada Susan Eisenbach, Imperial College London, UK Patrick Eugster, TU Darmstadt, Germany and Purdue University, United States Antonio Filieri, Imperial College London, UK Matthew Flatt, University of Utah, United States Lidia Fuentes, Universidad de Málaga, Spain Richard P. Gabriel, Dream Songs, Inc. & HPI, California Jeremy Gibbons, University of Oxford, UK Yossi Gil, Israel Institute of Technology Elisa Gonzalez Boix, Vrije Universiteit Brussel, Belgium Phlipp Haller, KTH Royal Institute of Technology, Sweden Matthew Hammer, University of Colorado, Boulder, United States Felienne Hermans, Delft University of Technology, Netherlands Robert Hirschfeld, Hasso Plattner Institute (HPI), Germany Roberto Ierusalimschy, Pontifical Catholic University of Rio de Janeiro, Brazil Jun Kato, National Institute of Advanced Industrial Science and Technology, Japan Jörg Kienzle, McGill University, Canada Neelakantan R. Krishnaswami, University of Cambridge, UK Ralf Lämmel, University of Koblenz-Landau, Germany Hidehiko Masuhara, Tokyo Institute of Technology, Japan Mira Mezini, Technische Universität Darmstadt, Germany Emerson Murphy-Hill, North Carolina State University, United States Mario Südholt, IMT Atlantique, Nantes, France Sam Tobin-Hochstadt, Indiana University, United States Eelco Visser, Delft University of Technology, Netherlands Tijs van der Storm, CWI & University of Groningen, Netherlands ******************************************************** <Programming> 2018 is kindly supported by: ACM In-Cooperation SIGPLAN (In-cooperation) SIGSOFT (In-cooperation) INRIA France AOSA ********************************************************

1 0

Final Call for Papers: WPTE 2017 Fourth International Workshop on Rewriting Techniques for Program Transformations and Evaluation
by David Sabel 10 Jul '17

10 Jul '17

======================================================================================== 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 ======================================================================================== 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) 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. 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)

1 0

[ANN] [Reminder] Budapest Haskell Hackathon 2017, 29-30th July 2017
by Daniel Berecz 10 Jul '17

10 Jul '17

Hi everybody, Just a last reminder about our hackathon in Budapest at the end of July: Our local user group will hold a Haskell Hackathon in Budapest this year (this will be the second)! We will hold it from the 29th to the 30th of July (Saturday & Sunday). You can find out more on the following link: https://wiki.haskell.org/Budapest_Hackathon_2017 We will reguraly update the site with new information. If you decide to come, please fill out the following Google Form: https://goo.gl/forms/QjTNdXTD1aEOMEQU2 If you have a project, demo, or talk that you want to bring to the event please contact us, and we can talk about the details. You can find our contact info the events wiki site, or you can just contact me directly. The event will be open to people of all experience levels, from beginners to gurus. The only requisite is that you’re interested in the Haskell language, and want to hang out with us, and have a good time! Greetings from Daniel, and the other BP-HUG organizers.

1 0

Haskell in Leipzig 2017: 2nd call for papers
by Wolfgang Jeltsch 07 Jul '17

07 Jul '17

Event: Haskell in Leipzig 2017 Time: October 26–28, 2017 Place: HTWK Leipzig, Germany Homepage: https://hal2017.softbase.org/ About ===== Haskell is a modern functional programming language that allows rapid development of robust and correct software. It is renowned for its expressive type system, its unique approaches to concurrency and parallelism, and its excellent refactoring capabilities. Haskell is both the playing field of cutting-edge programming language research and a reliable base for commercial software development. The workshop series Haskell in Leipzig (HaL), now in its 12th year, brings together Haskell developers, Haskell researchers, Haskell enthusiasts, and Haskell beginners to listen to talks, take part in tutorials, join in interesting conversations, and hack together. To support the latter, HaL will include a one-day hackathon this year. The workshop will have a focus on functional reactive programming (FRP) this time, while continuing to be open to all aspects of Haskell. As in the previous year, the workshop will be in English. Contributions ============= Everything related to Haskell is on topic, whether it is about current research, practical applications, interesting ideas off the beaten track, education, or art, and topics may extend to functional programming in general and its connections to other programming paradigms. Contributions can take the form of * talks (about 30 minutes), * tutorials (about 90 minutes), * demonstrations, artistic performances, or other extraordinary things. Please submit an abstract that describes the content and form of your presentation, the intended audience, and required previous knowledge. We recommend a length of 2 pages, so that the program committee and the audience get a good idea of your contribution, but this is not a hard requirement. Please submit your abstract as a PDF document at https://easychair.org/conferences/?conf=hal2017 until Friday, August 4, 2017. You will be notified by Friday, August 25, 2017. Hacking Projects ================ Projects for the hackathon can be presented during the workshop. A prior submission is not needed for this. Invited Speaker =============== * Ivan Perez, University of Nottingham, UK Program Committee ================= * Edward Amsden, Plow Technologies, USA * Heinrich Apfelmus, Germany * Jurriaan Hage, Utrecht University, The Netherlands * Petra Hofstedt, BTU Cottbus-Senftenberg, Germany * Wolfgang Jeltsch, Tallinn University of Technology, Estonia (chair) * Andres Löh, Well-Typed LLP, Germany * Keiko Nakata, SAP SE, Germany * Henrik Nilsson, University of Nottingham, UK * Ertuğrul Söylemez, Intelego GmbH, Germany * Henning Thielemann, Germany * Niki Vazou, University of Maryland, USA * Johannes Waldmann, HTWK Leipzig, Germany Questions ========= If you have any questions, please do not hesitate to contact Wolfgang Jeltsch at wolfgang-it(a)jeltsch.info.

1 0