[TYPES/announce] *EXTENDED DEADLINE* Language Workbench Challenge 2016
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] # Language Workbench Challenge 2016 @ SLE: Call for Solutions Collocated with SPLASH'16 in Amsterdam, The Netherlands Deadline: Mon 15 Aug 2016 (EXTENDED) Notification: Mon 5 Sep 2016 Workshop: Tue 1 Nov 2016 http://2016.splashcon.org/track/lwc2016 # Language workbenches are tools that lower the development costs of implementing new languages and their associated tools (IDEs, debuggers etc.). As well as easing the development of traditional stand-alone languages, language workbenches also make multi-paradigm and language-oriented programming environments practical. The Language Workbench Challenge (LWC) aims to bring together language workbench users and implementers, to discuss the state-of-the-art in language workbenches and explore future directions. LWC’16 solicits solutions to 3 benchmark problems proposed in Section 6.5 of the following paper: Sebastian Erdweg, Tijs van der Storm, Markus Völter, Laurence Tratt, et al. **Evaluating and comparing language workbenches: Existing results and benchmarks for the future**, Computer Languages, Systems & Structures, Volume 44, Part A, December 2015, Pages 24–47. DOI: http://dx.doi.org/10.1016/j.cl.2015.08.007 Preprint: http://homepages.cwi.nl/~storm/publications/lwc13-comlan.pdf The benchmark problems are categorized in the following categories: - Notation: challenges dealing with the appearance of source code, including support for tabular notation, mathematical symbols, code in prose etc. - Evolution and reuse: challenges related to modularity, composition, language versions and migration. - Editing: challenges exercising how the language user interacts with code. The goal of the workshop is to demonstrate, discuss and foster improvements in tools, as well as encourage the collaboration between and learning among different teams developing different (kinds of) editors. To this end, we emphasize the implementation of the challenges, not writing about them. Submissions should be short documents (in PDF format) describing each solution using the following structure: - Assumptions: Are there any assumptions or prerequisites relevant to the implementation of the solution? - Implementation: What are the important building blocks for defining the solution? What does it take to implement the solution to the problem? - Variants: Are there any interesting and insightful variants of the implementation? What small change(s) to the challenge would make a big difference in the implementation strategy or effort? - Usability: What is the resulting user experience? Is it convenient to use? Is it similar to other kinds of notations? Does it feel ’foreign’ to experienced users of the particular editor? - Impact: Which artifacts have to be changed to make the solution work? Are changes required to (conceptually) unrelated artifacts? How modular is the solution? - Composability: To what degree does the solution support composition with solutions to other benchmark problems other instances of the same problem (e.g., same challenge problem, different language feature)? - Limitations: What are the limitations of this implementation? - Uses and Examples: Are there examples of this problem in real-world systems? Where can the reader learn more? - Effort (best-effort): How much effort has been spent to build the solution, assuming an experienced user of the technology? - Other Comments: Anything that does not fit within the other categories. - Artifact: a publicly accessible URL to the source code of the submission. The paper cited above includes two example descriptions for inspiration, Submissions should furthermore use the ACM SIGPLAN Conference Format, 10 point font, using the font family Times New Roman and numeric citation style. The PC will review the submissions for inclusion in the workshop program, based on criteria of providing interest for discussion, conformance to the challenges, and whether the submission is on-topic (e.g., is using a language workbench). The PDFs of accepted submissions will be published on this website before the workshop. Organization - Meinte Boersma (Mendix) - Eugen Schindler (Oce) - Tijs van der Storm (CWI) - Markus Voelter (itemis AG) Program Committee - Lorenzo Bettini (DISIA) - Sebastian Erdweg (TU Delft) - Pablo Inostroza (CWI) - Tamás Szabó (itemis AG / TU Darmstadt)
[TYPES/announce] Call for Participation: WFLP 2016 and co-located events
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] 24th International Workshop on Functional and (Constraint) Logic Programming (WFLP 2016) https://wflp2016.github.io/ September 13-14, part of the Leipzig Week of Declarative Programming (L-DEC 2016) Registration is now open, see: http://nfa.imn.htwk-leipzig.de/LDEC2016/registration/ Note the package prices combining co-located events, and the early registration deadline of August 15 (bank transfer must have been received by that date to secure the reduced fee). A highlight at WFLP will be an invited talk by Anthony Anjorin. *** The international workshops on functional and (constraint) logic programming aim at bringing together researchers, students, and practitioners interested in functional programming, logic programming, and their integration. This year the workshop is co-located with * WLP 2016, September 12-13 and * HaL 2016, September 14-15 in order to promote the cross-fertilizing exchange of ideas and experiences among and between the communities interested in the foundations, applications, and combinations of high-level, declarative programming languages and related areas. Combined, the three workshops offer two invited talks, an invited musical performance, and more than 25 contributed talks and tutorials. The lists of presentations can be found at: * http://nfa.imn.htwk-leipzig.de/WLP2016/WLP16accepted.html * https://wflp2016.github.io/accepted.html * http://hal2016.haskell.org/#program and the layout of the overall programme at http://nfa.imn.htwk-leipzig.de/LDEC2016/program/
[TYPES/announce] Two PhD positions in verification at UCL
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Hello all, I am seeking to recruit two bright, enthusiastic doctoral students for two related projects on verification of blockchain-based smart contracts. The projects will build on ideas from interactive theorem proving, certified programming and program verification. Applicants with strong theoretical background and with practical programming expertise (or both) are encouraged to apply. The students will be based at the University College London, UK and will be members of the Programming Principles, Logic and Verification Group ( http://pplv.cs.ucl.ac.uk). The stipend is a tax free lump sum of approximately £16,296 to £17,808 per year, covering fees and living expenses over three years. There is separate funding for computer equipment and conference attendance. The positions will remain open until filled, and screening of candidates will begin on Monday, 19 September 2016. The start date is negotiable. Further information on the projects, UCL, and detailed instructions on the application process are available by the following links: https://www.prism.ucl.ac.uk/#!/?project=193 https://www.prism.ucl.ac.uk/#!/?project=194 Please, pass this on to anyone you think might be interested, and get in touch with me if you would like to discuss these opportunities. Kind regards. Ilya
[TYPES/announce] Call for participation: ML 2016
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Higher-order, Typed, Inferred, Strict: ACM SIGPLAN ML Family Workshop Thursday September 22, 2016, Nara, Japan (co-located with ICFP) Call For Participation:http://www.mlworkshop.org/ml2016/ Early registration deadline: Wednesday 17 August 2016 Register online: http://conf.researchr.org/attending/icfp-2016/Registration The ML Family Workshop brings together researchers, implementors and users of languages in the extended ML family and provides a forum to present and discuss common issues, both practical (compilation techniques, tooling, embedded programming) and theoretical (fancy types, module systems, type inference). ML 2016 will be held in Nara on September 22nd, immediately after ICFP and close to a number of other related events, including the OCaml Workshop on the following day. Tentative Program * Making Reactive Programs Function (Invited Talk) Neelakantan Krishnaswami * WebAssembly: high speed at low cost for everyone Andreas Rossberg * Extracting from F* to C: a progress report Jonathan Protzenko, Karthikeyan Bhargavan, Jean-Karim Zinzindohoue Abhishek Anand, Cedric Fournet, Bryan Parno, Aseem Rastogi and Nikhil Swamy * Compiling with Continuations and LLVM Kavon Farvardin and John Reppy * SML# with Natural Join Tomohiro Sasaki, Katsuhiro Ueno and Atsushi Ohori * Eff Directly in OCaml Oleg Kiselyov and Kc Sivaramakrishnan * Compiling Links Effect Handlers to the OCaml Backend Daniel Hillerstrom, Sam Lindley and Kc Sivaramakrishnan * Classes for the Masses Claudio Russo and Matthew Windsor * Close Encounters of the Higher Kind - Emulating Constructor Classes in Standard ML Yutaka Nagashima and Liam O'Connor * Malfunctional Programming Stephen Dolan * Ambiguous pattern variables Gabriel Scherer, Luc Maranget and Thomas Refis * Typed Embedding of Relational Language in OCaml Dmitri Kosarev and Dmitri Boulytchev * Sundials/ML: interfacing with numerical solvers Timothy Bourke, Jun Inoue and Marc Pouzet (The last talk is accepted for ML workshop, but presented in OCaml workshop with the agreement from authors and ML/OCaml workshop PCs) Programme Committee Nada Amin (EPFL, Switzerland) Kenichi Asai (Ochanomizu University, Japan) (PC chair) Jacques Carette (McMaster University, Canada) Arthur Chargueraud (INRIA, France) Yan Chen (Google, USA) Jan Midtgaard (Technical University of Denmark, Denmark) John Reppy (University of Chicago, USA) Mark Shinwell (Jane Street Europe, UK) Nikhil Swamy (Microsoft Research, USA) Katsuhiro Ueno (Tohoku University, Japan)