- Haskell - Haskell.org

ANN: Haskell Prime 2020 committee has formed
by Herbert Valerio Riedel 28 Apr '16

28 Apr '16

Dear Haskell Community! Some time ago I asked for nominations to reboot the Haskell Prime process[1], and now I'm pleased to finally announce the formation of the new Haskell Language 2020 Committee! The goal of the Haskell Language committee together with the Core Libraries Committee is to work towards a new Haskell 2020 Language Report. I'd like to remind everyone that the Haskell Prime Process[4] relies on *everyone* in the community to help by contributing proposals which the committee will then evaluate and if suitable help formalise for inclusion. Everyone interested in participating is also invited to join the haskell-prime mailing list. Four years (or rather ~3.5 years) from now may seem like a long time. However, given the magnitude of the task at hand, to discuss, formalise, and implement proposed extensions (taking into account the recently enacted three-release-policy[3]) to the Haskell Report, the process shouldn't be rushed. Consequently, this may even turn out to be a tight schedule after all. However, it's not excluded there may be an interim revision of the Haskell Report before 2020. Based on this schedule, GHC 8.8 (likely to be released early 2020) would be the first GHC release to feature Haskell 2020 compliance. Prior GHC releases may be able to provide varying degree of conformance to drafts of the upcoming Haskell 2020 Report. The Haskell Language 2020 committee starts out with 20 members which contribute a diversified skill-set. These initial members also represent the Haskell community from the perspective of practitioners, implementers, educators, and researchers. - Andres Löh - Antonio Nikishaev - Austin Seipp - Carlos Camarao de Figueiredo - Carter Schonwald - David Luposchainsky - Henk-Jan van Tuyl - Henrik Nilsson - Herbert Valerio Riedel - Iavor Diatchki - John Wiegley - José Manuel Calderón Trilla - Jurriaan Hage - Lennart Augustsson - M Farkas-Dyck - Mario Blažević - Nicolas Wu - Richard Eisenberg - Vitaly Bragilevsky - Wren Romano The Haskell 2020 committee is a language committee; it will focus its efforts on specifying the Haskell language itself. Responsibility for the libraries laid out in the Report is left to the Core Libraries Committee (CLC)[5]. Incidentally, the CLC still has an available seat[2]; if you would like to contribute to the Haskell 2020 Core Libraries you are encouraged to apply for this opening. As this is a general announcement broadcasted to multiple mailing lists, a separate email discussing the next steps of the new committee will be sent to the haskell-prime mailing list shortly. [1]: https://mail.haskell.org/pipermail/haskell-prime/2015-September/003936.html [2]: https://mail.haskell.org/pipermail/libraries/2015-November/026497.html [3]: https://prime.haskell.org/wiki/Libraries/3-Release-Policy [4]: https://prime.haskell.org/wiki/Process [5]: https://prime.haskell.org/wiki/Libraries -- hvr

1 0

Summer of Haskell - Now Accepting Applications!
by Gershom B 27 Apr '16

27 Apr '16

(Note: I am posting this on behalf of Edward Kmett who has spotty availability at the moment) We've posted an official Summer of Haskell website: https://summer.haskell.org/ It contains the full timeline for the program this summer, and most importantly, a form for submitting student applications, also linked here: https://docs.google.com/forms/d/1JLIa58u7AcWN31bH_LcCBujN9uzAwfd3HxrT32qz9_… The student application period ends next Friday, May 6. Last year we had a very successful project brainstorming thread. This led to our largest and most successful Summer of Code, ever. There is a thread on reddit now devoted to the purpose of further brainstorming for this year: https://www.reddit.com/r/haskell/comments/4gh1tu/summer_of_haskell_now_acce… If you have a proposal that you think a student could make a good dent in over the course of a summer, especially one with broad impact on the community, please feel free to discuss it there. If you are a potential student, please feel free to skim the proposals for ideas, or put forth ones of your own! If you are a potential mentor, please feel free to comment on proposals that interest you, put forth ideas looking for students and express your interest, to help us pair up potential students with potential mentors. Ultimately, the project proposals that are submitted get written by students, but if we can give a good sense of direction for what the community wants out of the summer, we can improve the quality of proposals, and we can recruit good mentors to work with good students on good projects. Resources: We have a wiki on https://ghc.haskell.org/trac/summer-of-code/ It is, of course, a Wiki, so if you see something out of order, take a whack at fixing it. We have an active #haskell-gsoc channel on irc.freenode.net that we run throughout the summer. Potential mentors and students alike are welcome. We have a Trac full of suggested Google Summer of Code proposals both current and from years past, but it could use a whole lot of eyeballs and an infusion of fresh ideas: https://ghc.haskell.org/trac/summer-of-code/report/1 Many of our best proposals in years have come from lists of project suggestions that others have blogged about. Many of our best students decided to join the summer of code based on these posts. The Trac isn't the only source of information on interesting projects, and I'd encourage folks to continue posting their ideas. If you or your employer would be interested in helping to fund additional students, please feel free to reach out to me. Thank you, -Edward Kmett

1 0

[ANN] Erlang Workshop 2016 - CFP
by Erlang Workshop 26 Apr '16

26 Apr '16

Apologies for any duplicates you may receive. CALL FOR PAPERS =============== Fifteenth ACM SIGPLAN Erlang Workshop ------------------------------ ----------------------------- Nara, Japan, September 23, 2016 Satellite event of the 21st ACM SIGPLAN International Conference on Functional Programming (ICFP 2016) September 18-24, 2016 The Erlang Workshop aims to bring together the open source, academic, and industrial communities of Erlang, to discuss technologies and languages related to Erlang. The Erlang model of concurrent programming has been widely emulated, for example by Akka in Scala, and even new programming languages were designed atop of the Erlang VM, such as Elixir. Therefore we would like to broaden the scope of the workshop to include systems like those mentioned above. The workshop will enable participants to familiarize themselves with recent developments on new techniques and tools, novel applications, draw lessons from users' experiences and identify research problems and common areas relevant to the practice of Erlang, Erlang-like languages, functional programming, distribution, concurrency etc. We invite three types of submissions. 1. Technical papers describing interesting contributions either in theoretical work or real world applications. Submission related to Erlang, Elixir, Akka, CloudHaskell, Occam, and functional programming are welcome and encouraged. Topics of interest include (but are not limited to): - virtual machine extensions and compilation techniques - implementations and interfaces of Erlang in/with other languages - new tools (profilers, tracers, debuggers, testing frameworks etc.) - language extensions - formal semantics, correctness and verification - testing Erlang programs - program analysis and transformation - Erlang-like languages and technologies - functional languages and multi-processing - concurrency in functional languages - functional languages and distributed computing - parallel programming - pattern based programming - Erlang in education The maximum length for technical papers is restricted to 12 pages. 2. Experience reports describing uses of Erlang in the "real-world", Erlang libraries for specific tasks, experiences from using Erlang in specific application domains, reusable programming idioms and elegant new ways of using Erlang to approach or solve a particular problem. The maximum length for the experience report is restricted to 2 pages. 3. Poster presentations describing topics related to the workshop goals. Each includes a maximum of 2 pages of the abstract and summary. Presentations in this category will be given an hour of shared simultaneous demonstration time. Workshop Co-Chairs ------------------ Melinda Tóth, Eötvös Loránd University, Hungary Scott Lystig Fritchie, Basho Japan KK Program Committee ----------------------------- (Note: the Workshop Co-Chairs are also committee members) Jamie Allen, Typesafe Laura M. Castro, University of A Coruña, Spain Natalia Chechina, University of Glasgow Viktoria Fördős, Erlang Solutions Yosuke Hara, Rakuten, Inc. Kenji Rikitake, KRPEO Bruce Tate, iCanMakeItBetter Simon Thompson, University of Kent, UK Important Dates ----------------------- Submissions due: Friday, 3 June, 2016 Author notification: Friday, 8 July, 2016 Final copy due: Sunday, 31 July, 2016 Workshop date: September 23, 2016 Instructions to authors -------------------------------- Papers must be submitted online via EasyChair (via the "Erlang2016" event). The submission page is https://www.easychair.org/conferences/?conf=erlang2016 <https://www.easychair.org/conferences/?conf=erlang2016> Submitted papers should be in portable document format (PDF), formatted using the ACM SIGPLAN style guidelines. Each submission must adhere to SIGPLAN's republication policy. Violation risks summary rejection of the offending submission. Accepted papers will be published by the ACM and will appear in the ACM Digital Library. Paper submissions will be considered for poster submission in the case they are not accepted as full papers. Venue & Registration Details ------------------------------------------ For registration, please see the ICFP 2016 web site at: http://conf.researchr.org/home/icfp-2016 <http://conf.researchr.org/home/icfp-2016> Related Links -------------------- CFP: http://conf.researchr.org/track/icfp-2016/erlang-2016-papers <http://conf.researchr.org/track/icfp-2016/erlang-2016-papers> ICFP 2016 web site: http://conf.researchr.org/home/icfp-2016 <http://conf.researchr.org/home/icfp-2016> Past ACM SIGPLAN Erlang workshops: http://www.erlang.org/workshop/ <http://www.erlang.org/workshop/> Open Source Erlang: http://www.erlang.org/ EasyChair submission site: https://www.easychair.org/conferences/?conf=erlang2016 <https://www.easychair.org/conferences/?conf=erlang2016> Author Information for SIGPLAN Conferences: http://www.sigplan.org/authorInformation.htm <http://www.sigplan.org/authorInformation.htm> Atendee Information for SIGPLAN Events: http://www.sigplan.org/Resources/Policies/Anti-harassment <http://www.sigplan.org/Resources/Policies/Anti-harassment>

1 0

Postdoc ad: Domain-specific languages
by Kathleen Fisher 25 Apr '16

25 Apr '16

The Programming Language Group at Tufts University seeks applicants for a postdoctoral position on a new project that will focus on building tools to construct first-class embedded Domain-Specific Language. As computing has taken on a larger role in many areas of science, there is an increasing need to provide experts in those domains with effective programming tools. Domain-specific programming languages (DSLs) are appealing because they allow domain experts to write programs using familiar concepts and abstractions. The problem is that implementing a new programming language -- including all the expected support tools, such as editors, type checkers, compilers, profilers, and debuggers -- is a substantial undertaking. The goal of this project is to develop a system for building embedded domain-specific languages, including the full chain of support tools. Embedded DSLs (EDLSs) are convenient for language designers because they can inherit the infrastructure of the host language: syntax, type system, libraries, debugging support, etc. However, the experience of the domain user is less than ideal: error messages, debugging, and profiling all work at the level of the host language, not the DSL. In this project, we envision a different way of defining EDSLs, in which the language designers define the syntax, typing rules, and semantics of their language in a declarative fashion and then the system generates an implementation of the language and tool support, including a parser, a type checker, an interpreter, an optimizing compiler, a proof that the compiler and interpreter correctly implement the semantics, a debugger, a profiler, and other useful tools. The initial work on the project will be done in the context of Haskell. The position is funded for two and half years (ending summer of 2017) starting immediately. The start date is negotiable, but all else equal we prefer to hire someone sooner rather than later. Salary is competitive. Work will be carried out at the main Tufts campus in Medford, MA. QUALIFICATIONS The selected applicant will work closely with Professors Kathleen Fisher and Sam Guyer as well as with graduate and undergraduate students. He or she will be expected to take a leadership role in the project, helping to formulate research directions and coordinate the activities of PhD, Masters and Undergraduate students. Applicants are required to either have a PhD or to be about to receive one. We are looking for someone with a strong background in at least one of the domains relating to the project: language design and implementation, compilers, formal specification and verification, type systems, and runtime systems (including memory management, debugging, and profiling). An explicit goal of the project is to produce working tools in addition to writing research papers, so we are looking for applicants with a track record of building software and writing papers. Applicants are expected to have good communication and organization skills. APPLICATION INSTRUCTIONS Interested candidates should apply through Interfolio at https://apply.interfolio.com/34187. An application should include (a) a cover letter explaining your interest in the position, (b) a current CV or resume, and (c) at least two letters of reference. If you have any questions about the project or whether it is a good fit for you, please contact either Sam Guyer (sguyer(a)cs.tufts.edu) or Kathleen Fisher (kfisher(a)cs.tufts.edu)

1 0

JLAMP special issue for PLACES
by Dominic Orchard 22 Apr '16

22 Apr '16

-------------------------------- Call for papers: Special Issue of JLAMP for PLACES (Programming Language Approaches to Concurrency and Communication-cEntric Software) -------------------------------- Submission deadline: July 29th 2016 -------------------------------- http://www.journals.elsevier.com/journal-of-logical-and-algebraic-methods-i… -------------------------------- This special issue of the Journal of Logical and Algebraic Methods in Programming (JLAMP) is devoted to the topics of the 9th International Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software (PLACES 2016), which took place in April 2016 in Eindhoven as part of ETAPS. This is however an *open call* for papers, therefore both participants of the workshop and other authors are encouraged to submit their contributions. Themes: Modern hardware platforms, from the very small to the very large, increasingly provide parallel computing resources for applications to maximise performance. Many applications therefore need to make effective use of tens, hundreds, and even thousands of compute nodes. Computation in such systems is thus inherently concurrent and communication centric. Effectively programming such applications is challenging; performance, correctness, and scalability are difficult to achieve. Submissions are invited in the area of programming language approaches to concurrency, communication and distribution, ranging from foundational issues, through language implementations, to applications (such as scientific computing) and case studies. Please visit the above website for more detailed topics of interest. Submission: We expect original articles (roughly 20-30 pages) that present high-quality contributions that have not been previously published in another journal and that must not be simultaneously submitted for publication elsewhere. Longer papers will be considered if there is a clear justification for why additional pages are necessary; authors should contact the guest editors to discuss this. Each paper will undergo a thorough evaluation by at least two reviewers. The authors will have about one month to incorporate the comments of the reviewers and submit a revised version of their papers, which will be evaluated again by the reviewers to make a final decision. Contributions should be typeset in PDF format and must comply with JLAMP's author guidelines (see website for details). Submission deadline: 29th July 2016 Final decision due in: Jan 2017 (planned) Guest Editors: Dominic Orchard, University of Cambridge, dominic.orchard(a)cl.cam.ac.uk Nobuko Yoshida, Imperial College London, UK, n.yoshida(a)imperial.ac.uk

1 0

ANN: shine and shine-varying: Lightweight declarative 2D graphics à la gloss using GHCJS (and a FRP interface)
by Francesco Gazzetta 22 Apr '16

22 Apr '16

Shine wraps JavaScript’s drawing functions in a declarative API, hiding the boilerplate canvas code. The API mimics the one provided by gloss (Picture, animate, play…), but some types are different to better adapt to js code (ex. images, fonts, inputs). Example: main = runWebGUI $ \ webView -> do ctx <- fixedSizeCanvas webView 800 600 let concentricCircles = foldMap Circle [1,10..100] draw ctx concentricCircles -- one-shot drawing The only direct dependency is ghcjs-dom, so the resulting jsexe should be relatively lightweight. I also wrote shine-varying, a FRP interface to shine in terms of Vars plus some utility Vars. Example (translation of the resize-yogi Elm example): resizeImage img (x',y') = Translate (x/2) (y/2) -- Pictures are centered on (0,0), so we need to move it $ Image (Stretched x y) img -- Scale the picture to the given position where x = fromIntegral x' -- mousePosition is Integral y = fromIntegral y' main = runWebGUI $ \ webView -> do ctx <- fixedSizeCanvas webView 1024 768 Just doc <- webViewGetDomDocument webView narwhal <- makeImage "https://wiki.haskell.org/wikiupload/8/85/NarleyYeeaaahh.jpg" let resizedNarwhal = resizeImage narwhal <$> mousePosition playVarying ctx doc 30 resizedNarwhal I plan to write/port a few simple games with it soon. Francesco

1 0

Haskell in Leipzig 2016: Call for Papers
by Joachim Breitner 22 Apr '16

22 Apr '16

Haskell in Leipzig September 14-15, 2016 HTKW Leipzig, Germany http://hal2016.haskell.org/ == About HaL == The workshop series “Haskell in Leipzig”, now in its 11th year, brings together Haskell developers, Haskell researchers, Haskell enthusiasts and Haskell beginners to listen to talks, take part in tutorials, and join in interesting conversations. 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 as well. This year, HaL is colocated with two related conferences, * the Workshop on Functional and (Constraint) Logic Programming (WFLP) and * the Workshop on (Constraint) Logic Programming (WLP), to form the Leipzig Week of Declarative Programming (L-DEC): http://nfa.imn.htwk-leipzig.de/LDEC2016/ In order to accommodate and welcome a more international audience, this year’s HaL will be held in English. == Submissions == 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 PC and the audience get a good idea of your submission, but this is not a hard requirement. You can submit your abstract, as an PDF document, at https://easychair.org/conferences/?conf=hal2016 until Friday, July 1, 2016. You will be notified by July 15, 2016. == Program committee == * Andreas Abel, Chalmers and Gothenburg University, Sweden * Heinrich Apfelmus, Leipzig, Germany * Joachim Breitner, Karlsruhe Institute of Technology, Germany (Chair) * Matthias Fischmann, Zerobuzz, Germany * Petra Hofstedt, BTU Cottbus-Senftenberg, Germany * Wolfgang Jeltsch, Institute of Cybernetics at Tallinn University of Technology, Estonia * Andres Löh, Well-Typed LLP, Germany * Alejandro Serrano Mena, Universiteit Utrecht, Netherlands * Neil Mitchell, Standard Chartered Bank, UK * Katie Ots, Facebook, UK * Peter Stadler, University of Leipzig, Germany * Henning Thielemann, Freelancer, Germany * Niki Vazou, University of California, San Diego, USA If you have any questions, please don’t hesitate to contact Joachim Breitner <breitner(a)kit.edu>. -- Dipl.-Math. Dipl.-Inform. Joachim Breitner Wissenschaftlicher Mitarbeiter http://pp.ipd.kit.edu/~breitner

1 0

ANN: New Haskell.org committee members
by John Wiegley 21 Apr '16

21 Apr '16

The Haskell.org committee has selected its new member following the March self-nomination period. The new (returning) member is: * Gershom Bazerman Thank you to everyone who submitted a self-nomination. Note that if you have self-nominated in the past, but not been picked, please self-nominate again in the future. -- John Wiegley GPG fingerprint = 4710 CF98 AF9B 327B B80F http://newartisans.com 60E1 46C4 BD1A 7AC1 4BA2

1 0

Functional Art, Music, Modelling and Design 2016: 2nd Call For Papers
by Michael Sperber 19 Apr '16

19 Apr '16

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

1 0

JTRES 2016 Call for Papers
by Andrea Rosa 18 Apr '16

18 Apr '16

====================================================================== CALL FOR PAPERS The 14th Workshop on Java Technologies for Real-Time and Embedded Systems JTRES 2016 Part of the Managed Languages & Runtimes Week 2016 29 August - 2 September 2016 Lugano, Switzerland http://jtres2016.compute.dtu.dk/ ====================================================================== Submission deadline: 12 June, 2016 Submission site: https://easychair.org/conferences/?conf=jtres2016 ====================================================================== Over 90% of all microprocessors are now used for real-time and embedded applications. Embedded devices are deployed on a broad diversity of distinct processor architectures and operating systems. The application software for many embedded devices is custom tailored if not written entirely from scratch. The size of typical embedded system software applications is growing exponentially from year to year, with many of today's embedded systems comprised of multiple millions of lines of code. For all of these reasons, the software portability, reuse, and modular composability benefits offered by Java are especially valuable to developers of embedded systems. Both embedded and general-purpose software frequently need to comply with real-time constraints. Higher-level programming languages and middleware are needed to robustly and productively design, implement, compose, integrate, validate, and enforce memory and real-time constraints along with conventional functional requirements for reusable software components. The Java programming language has become an attractive choice because of its safety, productivity, its relatively low maintenance costs, and the availability of well-trained developers. ::Goal:: Interest in real-time Java by both the academic research community and commercial industry has been motivated by the need to manage the complexity and costs associated with continually expanding embedded real-time software systems. The goal of the workshop is to gather researchers working on real-time and embedded Java to identify the challenging problems that still need to be solved in order to assure the success of real-time Java as a technology and to report results and experience gained by researchers. The Java ecosystem has outgrown the combination of Java as programming language and the JVM. For example, Android uses Java as source language and the Dalvik virtual machine for execution. Languages such as Scala are compiled to Java bytecode and executed on the JVM. JTRES welcomes submissions that apply such approaches to embedded and/or real-time systems. ::Submission Requirements:: Participants are expected to submit a paper of at most 10 pages (ACM Conference Format, i.e., two-columns, 10 point font). Accepted papers will be published in the ACM International Conference Proceedings Series via the ACM Digital Library and have to be presented by one author at the JTRES. LaTeX and Word templates can be found at: http://www.acm.org/sigs/pubs/proceed/template.html Papers describing open source projects shall include a description how to obtain the source and how to run the experiments in the appendix. The source version for the published paper will be hosted at the JTRES web site. Papers should be submitted through EasyChair. Please use the submission link: https://easychair.org/conferences/?conf=jtres2016 Selected papers will be invited for submission to a special issue of the TBD. Topics of interest to this workshop include, but are not limited to: New real-time programming paradigms and language features Industrial experience and practitioner reports Open source solutions for real-time Java Real-time design patterns and programming idioms High-integrity and safety critical system support Java-based real-time operating systems and processors Extensions to the RTSJ and SCJ Real-time and embedded virtual machines and execution environments Memory management and real-time garbage collection Multiprocessor and distributed real-time Java Real-time solutions for Android Languages other than Java on real-time or embedded JVMs Benchmarks and Open Source applications using real-time Java ::Important Dates:: Paper Submission: 12 June, 2016 Notification of Acceptance: 20 July, 2016 Camera Ready Paper Due: 15 August, 2016 Workshop: 29 August - 2 September, 2016 ::Program Chair:: Martin Schoeberl, Technical University of Denmark ::Workshop Chair:: Walter Binder, University of Lugano (USI), Switzerland ::Program Committee Members:: Ethan Blanton, Fiji Systems Inc Ana Cavalcanti, University of York Peter Dibble, RTSJ M. Teresa Higuera-Toledano, Universidad Complutense de Madrid James Hunt, Aicas Stephan Korsholm, Via University College Doug Lea, SUNY Oswego Doug Locke, LC Systems Services Kelvin Nilsen Wolfgang Puffitsch, Technical University of Denmark Anders Ravn, Aalborg University Martin Schoeberl, Technical University of Denmark Fridtjof Siebert, Aicas Andy Wellings, University of York Lukasz Ziarek, SUNY Buffalo ------------ Andrea Rosà PhD student - Teaching assistant Faculty of Informatics - 2nd floor Università della Svizzera italiana (USI) Via G. Buffi 13 CH-6904 Lugano Switzerland (e) andrea.rosa(a)usi.ch<mailto:andrea.rosa@usi.ch> (p) +41 58 666 4455 ext. 2183 (w) http://www.inf.usi.ch/phd/rosaa/

1 0