- Haskell - Haskell.org

Third call for draft papers for IFL 2020 (Implementation and Application of Functional Languages)
by Jurriaan Hage 11 Aug '20

11 Aug '20

Hello, Please, find below the third call for draft papers for IFL 2020. 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 2020 32nd Symposium on Implementation and Application of Functional Languages venue: online 2nd - 4th September 2020 https://www.cs.kent.ac.uk/events/2020/ifl20/ ================================================================================ ### 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 2020 will be a venue for researchers to present and discuss new ideas and concepts, work in progress, and publication-ripe results related to the implementation and application of functional languages and function-based programming. Topics of interest to IFL include, but are not limited to: - language concepts - type systems, type checking, type inferencing - compilation techniques - staged compilation - run-time function specialisation - run-time code generation - partial evaluation - (abstract) interpretation - meta-programming - 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 ### Post-symposium peer-review Following IFL tradition, IFL 2020 will use a post-symposium review process to produce the formal proceedings. Before the symposium authors submit draft papers. These draft papers will be screened by the program chair to make sure that they are within the scope of IFL. The draft papers will be made available to all participants at the symposium. Each draft paper is presented by one of the authors at the symposium. After the symposium every presenter is invited to submit a full paper, incorporating feedback from discussions at the symposium. Work submitted to IFL may not be simultaneously submitted to other venues; submissions must adhere to ACM SIGPLAN's republication policy. The program committee will evaluate these submissions according to their correctness, novelty, originality, relevance, significance, and clarity, and will thereby determine whether the paper is accepted or rejected for the formal proceedings. We plan to publish these proceedings in the International Conference Proceedings Series of the ACM Digital Library, as in previous years. ### Important dates Submission deadline of draft papers: 17 August 2020 Notification of acceptance for presentation: 19 August 2020 Registration deadline: 31 August 2020 IFL Symposium: 2-4 September 2020 Submission of papers for proceedings: 7 December 2020 Notification of acceptance: 3 February 2021 Camera-ready version: 15 March 2021 ### Submission details All contributions must be written in English. Papers must use the ACM two columns conference format, which can be found at: http://www.acm.org/publications/proceedings-template ### Peter Landin Prize The Peter Landin Prize is awarded to the best paper presented at the symposium every year. The honoured 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 Kenichi Asai, Ochanomizu University, Japan Olaf Chitil, University of Kent, United Kingdom (chair) Martin Erwig, Oregon State University,United States Daniel Horpacsi, Eotvos Lorand University, Hungary Zhenjiang Hu, Peking University, China Hans-Wolfgang Loidl, Heriot-Watt University, United Kingdom Neil Mitchell, Facebook, UK Marco T. Morazan, Seton Hall University, United States Rinus Plasmeijer, Radboud University, Netherlands Colin Runciman, University of York, United Kingdom Mary Sheeran, Chalmers University of Technology, Sweden Josep Silva, Universitat Politecnica de Valencia, Spain Jurrien Stutterheim, Standard Chartered, Singapore Josef Svenningsson, Facebook, UK Peter Thiemann, University of Freiburg, Germany Kanae Tsushima, National Institute of Informatics, Japan. Marcos Viera, Universidad de la Republica, Montevideo, Uruguay Janis Voigtlander, University of Duisburg-Essen, Germany ### Virtual symposium Because of the Covid-19 pandemic, this year IFL 2020 will be an online event, consisting of paper presentations, discussions and virtual social gatherings. Registered participants can take part from anywhere in the world. ### Acknowledgments This call-for-papers is an adaptation and evolution of content from previous instances of IFL. We are grateful to prior organisers for their work, which is reused here.

1 0

MSFP 2020 (Monday August 31st and Tuesday September 1st) - Call for Participation
by Sam Lindley 09 Aug '20

09 Aug '20

Eighth Workshop on MATHEMATICALLY STRUCTURED FUNCTIONAL PROGRAMMING Monday 31st August and Tuesday 1st September 2020, online https://msfp-workshop.github.io/msfp2020/ ** Due to the COVID-19 pandemic, MSFP 2020 will now be held as a virtual meeting ** ** Registration deadline: Tuesday 25th August ** CALL FOR PARTICIPATION Registration ============ Register for participation here by Tuesday 25th August: https://forms.gle/HNvFsxDKbGAvnv9x9 There is no registration fee. Invited Speakers ================ Pierre-Marie Pédrot - Inria Rennes-Bretagne-Atlantique, France Satnam Singh - Google Research, USA The eighth workshop on Mathematically Structured Functional Programming is devoted to the derivation of functionality from structure. It is a celebration of the direct impact of Theoretical Computer Science on programs as we write them today. Modern programming languages, and in particular functional languages, support the direct expression of mathematical structures, equipping programmers with tools of remarkable power and abstraction. Where would Haskell be without monads? Functional reactive programming without temporal logic? Call-by-push-value without adjunctions? The list goes on. This workshop is a forum for researchers who seek to reflect mathematical phenomena in data and control. The first MSFP workshop was held in Kuressaare, Estonia, in July 2006, affiliated with MPC 2006 and AMAST 2006. The second MSFP workshop was held in Reykjavik, Iceland as part of ICALP 2008. The third MSFP workshop was held in Baltimore, USA, as part of ICFP 2010. The fourth workshop was held in Tallinn, Estonia, as part of ETAPS 2012. The fifth workshop was held in Grenoble, France, as part of ETAPS 2014. The sixth MSFP Workshop was held in April 2016, in Eindhoven, Netherlands, as part of ETAPS 2016. The seventh MSFP Workshop was held in July 2018, in Oxford, UK, as part of FLoC 2018. Programme ========= All times are UTC+1 (i.e. the timezone of Dublin, Ireland where MSFP 2020 was originally scheduled to be held). Monday ------ 13:00 Invited Speaker: Pierre-Marie Pedrot All your base categories are belong to us: A syntactic model of presheaves in type theory 14:00 break 14:30 Philippa Cowderoy Information aware type systems and telescopic constraint trees 15:00 Christopher Jenkins, Aaron Stump, and Larry Diehl Efficient lambda encodings for Mendler-style coinductive types in Cedille 15:30 break 16:00 Niels Voorneveld From equations to distinctions: Two interpretations of effectful computations 16:30 Dominic Orchard, Philip Wadler, and Harley Eades III Unifying graded and parameterised monads 17:00 virtual pub Tuesday ------- 13:00 Anne Baanen and Wouter Swierstra Combining predicate transformer semantics for effects: a case study in parsing regular languages 13:30 Oleg Grenrus Shattered lens 14:00 break 14:30 Artjoms Sinkarovs Multi-dimensional arrays with levels 15:00 Fritz Henglein and Mikkel Kragh Mathiesen Module theory and query processing 15:30 break 16:00 Invited speaker: Satnam Singh Extracting low-level formally verified circuits from Cava in Coq 17:00 virtual pub Program Committee ================= Stephanie Balzer - CMU, USA Kwanghoon Choi - Chonnam, South Korea Ralf Hinze - Kaiserslautern, Germany Marie Kerjean - Inria Nantes, France Sam Lindley - Edinburgh and Imperial, UK (co-chair) Max New - Northeastern, USA (co-chair) Fredrik Nordvall-Forsberg - Strathclyde, UK Alberto Pardo - Montevideo, Uruguay Exequiel Rivas Gadda - Inria Paris, France Claudio Russo - DFINITY, UK Tarmo Uustalu - Reykjavik, Iceland Nicolas Wu - Imperial, UK Maaike Zwart - Oxford, UK Platforms ========= * We will use Google Meet for presentations. * If the number of participants is not too high then we will invite all participants to use Google Meet if they wish. * Regardless, we will also livestream talks via YouTube. * Questions and general discussion will be handled through Zulip. * We will use gather.town for "corridor chat". Further details will be emailed to registered participants. -- The University of Edinburgh is a charitable body, registered in Scotland, with registration number SC005336.

1 0

[ANNOUNCE] Glasgow Haskell Compiler 8.10.2 released
by Ben Gamari 08 Aug '20

08 Aug '20

Hello all, The GHC team is happy to announce the release of GHC 8.10.2. Source and binary distributions are available at the usual place: https://downloads.haskell.org/ghc/8.10.2/ GHC 8.10.2 fixes a number of issues in present in GHC 8.10.1 including: * Fixes a bug in process creation on Windows (#17926). * Fixes a code generation bug resulting in incorrect code generation for foreign calls with complex arguments (#18527) * Fixes a bug causing object merging to fail when the lld linker is in use (#17962) * Introduces a workaround for a Linux kernel bug in the implementation of the timerfd mechanism (#18033). * Fixes a few specialiser regressions (#17810, #18120) as well introduces a variety of miscellaneous specialiser improvements (#16473, #17930, #17966) * Fixes a potential loss of sharing due to left operator sections (#18151). * Fix bootstrapping of GHC with the LLVM backend on x86-64 (#17920). * A few important correctness fixes for the low-latency garbage collector. Users of `--nonmoving-gc` are strongly encouraged to upgrade promptly. Note that at the moment we still require that macOS Catalina users exempt the binary distribution from the notarization requirement by running `xattr -cr .` on the unpacked tree before running `make install`. This situation will hopefully be improved for GHC 9.0.1 with the resolution of #17418 [1]. Cheers, - Ben [1] https://gitlab.haskell.org/ghc/ghc/issues/17418

1 0

Call for Tutorial Participation: ICFP 2020
by Sam Tobin-Hochstadt 07 Aug '20

07 Aug '20

CALL FOR TUTORIAL PARTICIPATION ICFP 2020 25th ACM SIGPLAN International Conference on Functional Programming August 23 - 28, 2020 Virtual https://icfp20.sigplan.org/ Early Registration ends August 8! The 25th ACM SIGPLAN International Conference on Functional Programming will be held virtually on August 23-28, 2020. ICFP provides a forum for researchers and developers to hear about the latest work on the design, implementations, principles, and uses of functional programming. This year, ICFP features a wide variety of tutorials on topics related to functional programming, including design, education, tools, and more. Tutorials are available to all ICFP participants with registration. Tutorials occur before or after ICFP, co-located with the associated workshops, on August 23 or August 27-28. The schedule of ICFP Tutorials can be found at: https://icfp20.sigplan.org/track/icfp-2020-tutorials#program ICFP Early Registration ends on August 8th, and is available at: https://icfp20.sigplan.org/attending/Registration

1 0

Second Call for Participation: ICFP 2020
by Sam Tobin-Hochstadt 07 Aug '20

07 Aug '20

===================================================================== Second Call for Participation ICFP 2020 25th ACM SIGPLAN International Conference on Functional Programming and affiliated events August 23 - August 28, 2020 Online http://icfp20.sigplan.org/ Early Registration ends August 8! ==================================================================== 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. Watch our new video, and Don't Stop ICFP: https://www.youtube.com/watch?v=Fte5wwnwCws Early Registration ends August 8th! Registration for students with an ACM or SIGPLAN membership is free, and anyone can apply for a fee waiver at: https://icfp20.sigplan.org/attending/Registration This year, the conference will be a virtual event. All activities will take place online. The main conference will take place from August 24-26, 2020 during two time bands. The first band will be 9AM-5:30PM New York, and will include both technical and social activities. The second band will repeat (with some variation) the technical program and social activities 12 hours later, 9AM-5:30PM Beijing, the following day. We've written a blog post about how conference mirroring will work for ICFP: https://blog.sigplan.org/2020/08/04/come-to-virtual-icfp/ We’re excited to announce our two invited speakers for 2020: Evan Czaplicki, covering the Elm programming language and hard lessons learned on driving adoption of new programming languages; and Audrey Tang, Haskeller and Taiwan’s Digital Minister, on how software developers can contribute to fighting the pandemic. ICFP has officially accepted 37 exciting papers, and (as a fresh experiment this year) there will also be presentations of 8 papers accepted recently to the Journal of Functional Programming. Co-located symposia and workshops will take place the day before and two days immediately after the main conference. Registration is now open. The early registration deadline is August 8th, 2020. Registration is not free, but is significantly lower than usual. Students who are ACM or SIGPLAN members may register for FREE before the early deadline. https://regmaster.com/2020conf/ICFP20/register.php New this year: Attendees will be able to sign-up for the ICFP Mentoring Program (either to be a mentor, receive mentorship or both). * Overview and affiliated events: http://icfp20.sigplan.org/home * Full Schedule: https://icfp20.sigplan.org/program/program-icfp-2020 * Accepted papers: http://icfp20.sigplan.org/track/icfp-2020-papers#event-overview * JFP Talks: https://icfp20.sigplan.org/track/icfp-2020-jfp-talks#event-overview * Registration is available via: https://regmaster.com/2020conf/ICFP20/register.php Early registration ends 8 August, 2020. * Programming contest: https://icfpcontest2020.github.io/ * Student Research Competition: https://icfp20.sigplan.org/track/icfp-2020-Student-Research-Competition * Follow us on Twitter for the latest news: http://twitter.com/icfp_conference This year, there are 10 events co-located with ICFP: * Erlang Workshop (8/23) * Haskell Implementors' Workshop (8/28) * Haskell Symposium (8/27-8/28) * Higher-Order Programming with Effects (8/23) * miniKanren Workshop (8/27) * ML Family Workshop (8/27) * OCaml Workshop (8/28) * Programming Languages Mentoring Workshop (8/23) * Scheme Workshop (8/28) * Type-Driven Development (8/23) ### ICFP Organizers General Chair: Stephanie Weirich (University of Pennsylvania, USA) Program Chair: Adam Chlipala (MIT, USA) Artifact Evaluation Co-Chairs: Brent Yorgey (Hendrix College, USA) Ben Lippmeier (Ghost Locomotion, Australia) Industrial Relations Chair: Alan Jeffrey (Mozilla Research, USA) Programming Contest Organizer: Igor Lukanin (Kontur, Russia) Publicity and Web Chair: Sam Tobin-Hochstadt (Indiana University, USA) Student Research Competition Chair: Youyou Cong (Tokyo Institute of Technology, Japan) Workshops Co-Chair: Jennifer Hackett (University of Nottingham, UK) Leonidas Lampropoulos (University of Pennsylvania, USA) Video Chair: Leif Andersen (Northeastern University, USA) Student Volunteer Co-Chair: Hanneli Tavante (McGill University, Canada) Victor Lanvin (IRIF, Université Paris Diderot, France)

1 0

SPLASH 2020 Combined Call for Workshop Submissions
by hitesh sajnani 25 Jul '20

25 Jul '20

SPLASH 2020 Combined Call for Workshop Submissions ================================================== Following its long-standing tradition, SPLASH will host a variety of workshops, allowing their participants to meet and discuss research questions with peers, to mature new and exciting ideas, and to build up communities and start new collaborations. SPLASH workshops complement the main tracks of the conference and provide meetings in a smaller and more specialized setting. The following workshops will be *virtually* co-located with SPLASH 2020 and ECOOP 2020. * AGERE (Actors, Agents, and Decentralized Control) * HATRA (Human Aspects of Types and Reasoning Assistants) * HILT (High Integrity Language Technologies) * LIVE (Live Programming) * LPOP (Logic and Practice of Programming) * META (Meta-Programming Techniques and Reflection) * NSAD (Numerical and Symbolic Abstract Domains) * PLATEAU (PL + HCI) * REBLS (Reactive and Event-based Languages & Systems) * TAPAS (Tools for Automatic Program Analysis) * VMIL (Virtual Machines and Intermediate Languages) AGERE (Actors, Agents, and Decentralized Control) ------------------------------------------------- The AGERE! workshop is aimed at focusing on programming systems, languages and applications based on actors, active/concurrent objects, agents and—more generally—on high-level programming paradigms which promote decentralized control in solving problems and developing software. The workshop is intended to cover both the theory and the practice of design and programming, bringing together researchers working on models, languages and technologies, and practitioners developing real-world systems and applications. Call: https://2020.splashcon.org/home/agere-2020 Deadline: *21st August AoE* HATRA (Human Aspects of Types and Reasoning Assistants) ------------------------------------------------------- Programming language designers seek to provide strong tools to help developers reason about their programs. The HATRA workshop focuses on methods for making languages that provide stronger safety properties more effective for programmers and software engineers. By bringing together programming languages, software engineering, security, and human-computer interaction researchers, we will explore interdisciplinary methods for creating languages that benefit their users. Our interest spans all approaches for reasoning assistants and safer programming languages. For example, the formal methods community seeks to enable developers to prove correctness properties of their code, and type system designers seek to exclude classes of undesirable behavior from programs. The security community creates tools to help developers achieve their security goals. We invite the SPLASH community to join us in identifying and establishing a research agenda for collaborative work in this space and discussion of early-stage approaches in this area. Call: https://2020.splashcon.org/home/hatra-2020 Deadline: *4th September AoE* HILT (High Integrity Language Technologies) ------------------------------------------- High Integrity Language Technologies have been tackling the challenges of building efficient, safe, reliable software for decades. Critical software as a domain is quickly expanding beyond embedded real-time control applications to the increasing reliance on complex software for the basic functioning of businesses, governments, and society in general. HILT 2020 will focus on the growing importance of large-scale, highly parallel, distributed and/or cloud applications. Single-thread performance is reaching the limits of physics, and this has driven growth in parallel programming, massively distributed systems, and heterogeneous/ accelerated computing models. Once the domain of high-performance computing experts, parallel, distributed, and cloud computing are becoming fundamental technologies for all programmers. This workshop seeks to explore ways High Integrity Language Technologies can bring the capabilities of parallelism, distribution, and heterogeneity to a wider audience, without the associated increase in complexity. Call: https://2020.splashcon.org/home/hilt-2020 Deadline: *4th September AoE* LIVE (Live Programming) ----------------------- Live programming gives the programmer immediate feedback on the behavior of a program as it is edited, replacing the edit-compile-debug cycle with a fluid programming experience. The most commonly used live programming environment is the spreadsheet, but there are many others. The study of live programming is now an established area of research. The LIVE workshop focuses on the human experience of programming and is a forum for early-stage work to receive constructive criticism. We accept short papers, web essays with embedded videos, and demo videos. Traditionally, the majority of LIVE submissions are demonstrations of novel programming systems; we encourage such demos to include a reflection about their place in the history of programming environments. LIVE additionally accepts and welcomes experience reports, literature reviews, and position papers. Call: https://2020.splashcon.org/home/live-2020 Deadline: *4th September AoE* LPOP (Logic and Practice of Programming) ---------------------------------------- The goal of the workshop is to bring together the best people and best languages, tools, and ideas to help improve logic languages for the practice of programming and to improve the practice of programming with logic and declarative programming. We plan to organize the workshop around a number of “challenge problems”, including in particular expressing a set of system components and functionalities clearly and precisely using a chosen description language. We will have invited talks by Adnan Darwiche (UCLA), Leslie Lamport (Microsoft Research), Stuart Russell (UC Berkeley), and Peter Stuckey (U of Melbourne). There will be additional presentations and discussion panels on using well-known description methods and tools. We will aim to group presentations of description methods and tools by the kind of problems that they address, and to allow ample time to understand the strengths of the various approaches and how they might be combined. Call: https://2020.splashcon.org/home/lpop-2020 Deadline: *4th September AoE* META (Meta-Programming Techniques and Reflection) ------------------------------------------------- The changing hardware and software landscape along with the increased heterogeneity of systems make metaprogramming once more an important research topic to handle the associated complexity. Meta’20 workshop aims to bring together researchers working on metaprogramming and reflection, as well as users building applications, language extensions, or software tools using them. The challenges which metaprogramming faces are manifold. They start with formal reasoning about reflective programs, continue with performance and tooling, and reach into the empirical field to understand how metaprogramming is used and how it affects software maintainability. While industry accepted metaprogramming on a wide scale with Ruby, Scala, JavaScript and others, academia still needs to bring it to the same level of convenience, tooling, and understanding as for direct programming styles. Contributions to the workshop are welcome on a wide range of topics related to the design, implementation, and application of metaprogramming techniques, as well as formal methods and empirical studies for such systems and languages. Call: https://2020.splashcon.org/home/meta-2020 Deadline: *4th September AoE* NSAD (Numerical and Symbolic Abstract Domains) ---------------------------------------------- Abstract domains are a key notion in Abstract Interpretation theory and practice. They embed the semantic choices, data-structures and algorithmic aspects, and implementation decisions. The Abstract Interpretation framework provides constructive and systematic formal methods to design, compose, compare, study, prove, and apply abstract domains. Many abstract domains have been designed so far: numerical domains (intervals, congruences, polyhedra, polynomials, etc.), symbolic domains (shape domains, trees, etc.), but also domain operators (products, powersets, completions, etc.), and have been applied to several kinds of static analyses (safety, termination, probability, etc.) on a variety of systems (hardware, software, neural networks, etc.). The goal of NSAD workshop is to discuss work in progress, recent advances, novel ideas, experiences in the theory, practice, application, implementation, and experimentation related to abstract domains and/or their combination. This year’s edition in particular welcomes abstract domains related and/or applied to analyzing neural networks, dynamical and hybrid systems. Call: https://2020.splashcon.org/home/nsad-2020 Deadline: *4th September AoE* PLATEAU (PL + HCI) ------------------ Programming languages exist to enable programmers to develop software effectively. But programmer effectiveness depends on the usability of the languages and tools with which they develop software. The aim of this workshop is to discuss methods, metrics and techniques for evaluating the usability of languages and language tools. The supposed benefits of languages and tools cover a large space, including making programs easier to read, write, and maintain; allowing programmers to write more flexible and powerful programs; and restricting programs to make them more safe and secure. Find more details of the PLATEAU workshop at the website: https://plateau-workshop.org/ Call: https://2020.splashcon.org/home/plateau-2020 Deadline: *4th September AoE* REBLS (Reactive and Event-based Languages & Systems) ---------------------------------------------------- Reactive programming and event-based programming are two closely related programming styles that are becoming ever more important with the advent of advanced HPC technology and the ever increasing requirement for our applications to run on the web or on collaborating mobile devices. A number of publications on middleware and language design — so-called reactive and event-based languages and systems (REBLS) — have already seen the light, but the field still raises several questions. For example, the interaction with mainstream language concepts is poorly understood, implementation technology is in its infancy and modularity mechanisms are almost totally lacking. Moreover, large applications are still to be developed and patterns and tools for developing reactive applications is an area that is vastly unexplored. This workshop will gather researchers in reactive and event-based languages and systems. The goal of the workshop is to exchange new technical research results and to define better the field by coming up with taxonomies and overviews of the existing work. Call: https://2020.splashcon.org/home/rebls-2020 Deadline: *21st August AoE* (extended) TAPAS (Tools for Automatic Program Analysis) -------------------------------------------- In recent years, a wide range of static analysis tools have emerged, some of which are currently in industrial use or are well beyond the advanced prototype level. Many impressive practical results have been obtained, which allow complex properties to be proven or checked in a fully or semi-automatic way, even in the context of complex software developments. In parallel, the techniques to design and implement static analysis tools have improved significantly, and much effort is being put into engineering the tools. This workshop is intended to promote discussions and exchange experience between specialists in all areas of program analysis design and implementation, formal methods and static analysis tool users. Call: https://2020.splashcon.org/home/tapas-2020 Deadline: *19th Aug AoE* VMIL (Virtual Machines and Intermediate Languages) -------------------------------------------------- The concept of Virtual Machines is pervasive in the design and implementation of programming systems. Virtual Machines and the languages they implement are crucial in the specification, implementation and/or user-facing deployment of most programming technologies. The VMIL workshop is a forum for researchers and cutting-edge practitioners in language virtual machines, the intermediate languages they use, and related issues. Call: https://2020.splashcon.org/home/vmil-2020 Deadline: *4th September AoE* --------------------------------------------------- Thanks, Hitesh Sajnani, Ph.D. University of California, Irvine One Engineering System, Microsoft

1 0

ETAPS 2021 1st joint call for papers
by Tarmo Uustalu 23 Jul '20

23 Jul '20

****************************************************************** JOINT CALL FOR PAPERS 24th European Joint Conferences on Theory and Practice of Software ETAPS 2021 Luxembourg, Luxembourg, 27 March-1 April 2021 http://www.etaps.org/2021 ****************************************************************** -- ABOUT ETAPS -- ETAPS is the primary European forum for academic and industrial researchers working on topics relating to software science. ETAPS, established in 1998, is a confederation of four annual conferences, accompanied by satellite workshops. ETAPS 2021 is the twenty-fourth event in the series. -- MAIN CONFERENCES (29 March-1 April) -- * ESOP: European Symposium on Programming (PC chair: Nobuko Yoshida, Imperial College London, UK) * FASE: Fundamental Approaches to Software Engineering (PC chairs: Esther Guerra, Univ. Autónoma de Madrid, Spain, and Mariëlle Stoelinga, Univ. Twente, The Netherlands) * FoSSaCS: Foundations of Software Science and Computation Structures (PC chairs: Stefan Kiefer, Univ. of Oxford, UK, and Christine Tasson, IRIF, Univ. Paris Diderot, France) * TACAS: Tools and Algorithms for the Construction and Analysis of Systems (PC chairs: Jan Friso Groote, Techn. Univ. Eindhoven, The Netherlands, and Kim G. Larsen, Aalborg Univ., Denmark) TACAS '21 will host the 10th Competition on Software Verification (SV-COMP). -- IMPORTANT DATES * Papers due: 15 October 2020 23:59 AoE (=GMT-12) * Rebuttal (ESOP, FoSSaCS and, for selected papers, TACAS): 7 December 00:01 AoE - 9 December 23:59 AoE * Notification: 23 December 2020 * Camera-ready versions due: 22 January 2021 -- SUBMISSION INSTRUCTIONS -- The four main conferences of ETAPS 2021 solicit contributions of the following types. All page limits are given **excluding bibliography**. * ESOP: regular research papers of max 25 pp * FASE: regular research papers and empirical evaluation papers of max 18 pp, tool demonstration papers of max 6 pp + mandatory appendix of max 6 pp, * FoSSaCS: regular research papers of max 18 pp * TACAS: regular research papers, case study papers and regular tool papers of max 16 pp, tool demonstration papers of max 6 pp For definitions of the different paper types and specific instructions, where they are present, see the webpages of the individual conferences. All accepted papers will appear in the conference proceedings and have presentations during the conference. A condition of submission is that, if the submission is accepted, one of the authors attends the conference to give the presentation. Submitted papers must be in English presenting original research. They must be unpublished and not submitted for publication elsewhere. In particular, simultaneous submission of the same contribution to multiple ETAPS conferences is forbidden. Submissions must follow the formatting guidelines of Springer's LNCS and be submitted electronically in pdf through the Easychair author interface of the respective conference. Submissions not adhering to the specified format and length may be rejected immediately. FASE will use double-blind reviewing. Authors are asked to omit their names and institutions; refer to own prior work in the third person; not to include acknowledgements that might identify them. Regular tool paper and tool demonstration paper submissions to TACAS must be accompanied by an artifact. The artifact will be evaluated and the outcome will be taken into account in the acceptance decision of the paper. ESOP and FoSSaCS will use an author rebuttal phase. TACAS will have rebuttal for selected papers. -- PUBLICATION The proceedings will be published in the Advanced Research in Computing and Software Science (ARCoSS) subline of Springer's LNCS series. The proceedings volumes will appear in gold open access, so the published versions of all papers will be available for everyone to download from the publisher's website freely, from the date of online publication, perpetually. The copyright of the papers will remain with the authors. -- SATELLITE EVENTS (27-28 March) -- A number of satellite workshops will take place before the main conferences. -- CITY AND HOST INSTITUTION -- Luxembourg is the capital of the small European nation of the same name. Built amid deep gorges cut by the Alzette and Pétrusse rivers, it is famed for its ruins of medieval fortifications. The vast Bock Casemates tunnel network encompasses a dungeon, prison and the Archaeological Crypt, considered the city's birthplace. Along ramparts above, the Chemin de la Corniche promenade offers dramatic viewpoints. ETAPS 2021 is organised by the Interdisciplinary Centre for Security, Reliability and Trust (SnT), Université du Luxembourg. -- ORGANIZERS -- General chair: Peter Y. A. Ryan (SnT & Université du Luxembourg) Workshops chair: Joaquin Garcia-Alfaro (Telecom SudParis, France) Organization chair: Peter Roenne (SnT Luxembourg) Event manager: Magali Martin (SnT Luxembourg) -- FURTHER INFORMATION -- Please do not hesitate to contact the organizers at etaps2021 at uni.lu .

1 0

Final Call for Tutorials, Discussions, and Social Events: ICFP 2020
by Sam Tobin-Hochstadt 16 Jul '20

16 Jul '20

FINAL CALL FOR TUTORIAL, DISCUSSION, AND SOCIAL EVENT PROPOSALS ICFP 2020 25th ACM SIGPLAN International Conference on Functional Programming August 23 - 28, 2020 Virtual https://icfp20.sigplan.org/ The 25th ACM SIGPLAN International Conference on Functional Programming will be held virtually on August 23-28, 2020. ICFP provides a forum for researchers and developers to hear about the latest work on the design, implementations, principles, and uses of functional programming. Proposals are invited for tutorials, lasting approximately 3 hours each, to be presented during ICFP and its co-located workshops and other events. These tutorials are the successor to the CUFP tutorials from previous years, but we also welcome tutorials whose primary audience is researchers rather than practitioners. Tutorials may focus either on a concrete technology or on a theoretical or mathematical tool. Ideally, tutorials will have a concrete result, such as "Learn to do X with Y" rather than "Learn language Y". To increase social interaction on the first ICFP virtual conference, this year we invite proposals for social events on topics of broader interest to the PL community. Such events can be panels and discussions (in the lines of the successful #ShutDownPL event), focused discussions (e.g., problem identifications, retrospective analysis, technical demos), social activities (e.g., treasure hunt, bingo, problem solving, artistic challenges). The typical duration of such events ranges from 30 minutes to one hour, but can be of any length. Tutorials may occur before or after ICFP, co-located with the associated workshops, on August 23 or August 27-28. Social events may be scheduled throughout the week. ---------------------------------------------------------------------- Submission details Deadline for submission: July 17th, 2020 Notification of acceptance: July 22nd, 2020 Prospective organizers of tutorials are invited to submit a completed tutorial proposal form in plain text format to the ICFP 2020 workshop co-chairs (Jennifer Hackett and Leonidas Lampropoulos), via email to icfp-workshops-2020(a)googlegroups.com by July 17th, 2020. Please note that this is a firm deadline. Organizers will be notified if their event proposal is accepted by July 22nd, 2020. The proposal form is available at: http://www.icfpconference.org/icfp2020-files/icfp20-panel-form.txt http://www.icfpconference.org/icfp2020-files/icfp20-tutorials-form.txt ---------------------------------------------------------------------- Selection committee The proposals will be evaluated by a committee comprising the following members of the ICFP 2020 organizing committee. Tutorials Co-Chair: Jennifer Hackett (University of Nottingham) Tutorials Co-Chair: Leonidas Lampropoulos (University of Maryland) General Chair: Stephanie Weirich (University of Pennsylvania) Program Chair: Adam Chlipala (MIT) ---------------------------------------------------------------------- Further information Any queries should be addressed to the tutorial co-chairs (Jennifer Hackett and Leonidas Lampropoulos), via email to icfp-workshops-2020(a)googlegroups.com

1 0

PhD / Postdoc position (Uni Amsterdam) in programming language technology for adaptive cyber-physical systems
by Clemens Grelck 15 Jul '20

15 Jul '20

At the Parallel Computing Systems (PCS) group at the Informatics Institute (IvI) of the University of Amsterdam (UvA) we are looking for a PhD candidate or postdoctoral researcher in the area of programming language technology, compilation and run-time systems for adaptively morphing cyber-physical systems. The successful candidate will conduct research in the context of the EU-funded Horizon-2020 project ADMORPH, coordinated by the University of Amsterdam. He or she will work under the supervision of Dr Clemens Grelck and Dr Andy Pimentel and is expected to address the programming language technology dimension of ADMORPH. We are developing a domain-specific language (DSL) that will combine functional dependencies with extra-functional requirements, expectations and strategies regarding fault-tolerance, timing, security, quality-of-service, etc. Our goal in the ADMORPH project is to refine the DSL to address robustness against hardware failure and cyber attack. More information on the planned research as well as on the formalities of the position can be found at the official vacancy site: https://www.uva.nl/en/content/vacancies/2020/07/20-420-researcher-in-progra… Closing date: July 29, 2020. For informal inquiries, please contact: Dr Clemens Grelck <c.grelck(a)uva.nl>. -- ---------------------------------------------------------------------- Dr Clemens Grelck Science Park 904 Associate Professor 1098XH Amsterdam Programme Director MSc Software Engineering Netherlands University of Amsterdam Institute for Informatics T +31 (0) 20 525 8683 Systems and Networking Lab F +31 (0) 20 525 7490 Parallel Computing Systems Group Office C3.109 staff.fnwi.uva.nl/c.u.grelck ----------------------------------------------------------------------

1 0

Second call for draft papers for IFL 2020 (Implementation and Application of Functional Languages)
by Jurriaan Hage 15 Jul '20

15 Jul '20

Hello, Please, find below the second call for draft papers for IFL 2020. 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 2020 32nd Symposium on Implementation and Application of Functional Languages venue: online 2nd - 4th September 2020 https://www.cs.kent.ac.uk/events/2020/ifl20/ ================================================================================ ### 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 2020 will be a venue for researchers to present and discuss new ideas and concepts, work in progress, and publication-ripe results related to the implementation and application of functional languages and function-based programming. Topics of interest to IFL include, but are not limited to: - language concepts - type systems, type checking, type inferencing - compilation techniques - staged compilation - run-time function specialisation - run-time code generation - partial evaluation - (abstract) interpretation - meta-programming - 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 ### Post-symposium peer-review Following IFL tradition, IFL 2020 will use a post-symposium review process to produce the formal proceedings. Before the symposium authors submit draft papers. These draft papers will be screened by the program chair to make sure that they are within the scope of IFL. The draft papers will be made available to all participants at the symposium. Each draft paper is presented by one of the authors at the symposium. After the symposium every presenter is invited to submit a full paper, incorporating feedback from discussions at the symposium. Work submitted to IFL may not be simultaneously submitted to other venues; submissions must adhere to ACM SIGPLAN's republication policy. The program committee will evaluate these submissions according to their correctness, novelty, originality, relevance, significance, and clarity, and will thereby determine whether the paper is accepted or rejected for the formal proceedings. We plan to publish these proceedings in the International Conference Proceedings Series of the ACM Digital Library, as in previous years. ### Important dates Submission deadline of draft papers: 17 August 2020 Notification of acceptance for presentation: 19 August 2020 Registration deadline: 31 August 2020 IFL Symposium: 2-4 September 2020 Submission of papers for proceedings: 7 December 2020 Notification of acceptance: 3 February 2021 Camera-ready version: 15 March 2021 ### Submission details All contributions must be written in English. Papers must use the ACM two columns conference format, which can be found at: http://www.acm.org/publications/proceedings-template ### Peter Landin Prize The Peter Landin Prize is awarded to the best paper presented at the symposium every year. The honoured 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 Kenichi Asai, Ochanomizu University, Japan Olaf Chitil, University of Kent, United Kingdom (chair) Martin Erwig, Oregon State University,United States Daniel Horpacsi, Eotvos Lorand University, Hungary Zhenjiang Hu, Peking University, China Hans-Wolfgang Loidl, Heriot-Watt University, United Kingdom Neil Mitchell, Facebook, UK Marco T. Morazan, Seton Hall University, United States Rinus Plasmeijer, Radboud University, Netherlands Colin Runciman, University of York, United Kingdom Mary Sheeran, Chalmers University of Technology, Sweden Josep Silva, Universitat Politecnica de Valencia, Spain Jurrien Stutterheim, Standard Chartered, Singapore Josef Svenningsson, Facebook, UK Peter Thiemann, University of Freiburg, Germany Kanae Tsushima, National Institute of Informatics, Japan. Marcos Viera, Universidad de la Republica, Montevideo, Uruguay Janis Voigtlander, University of Duisburg-Essen, Germany ### Virtual symposium Because of the Covid-19 pandemic, this year IFL 2020 will be an online event, consisting of paper presentations, discussions and virtual social gatherings. Registered participants can take part from anywhere in the world. ### Acknowledgments This call-for-papers is an adaptation and evolution of content from previous instances of IFL. We are grateful to prior organisers for their work, which is reused here.

1 0