May 2018 - Haskell - Haskell.org

Call for Conference Grant Applications (Inclusiveness Target Countries)
by Ambrus Kaposi 05 Nov '19

05 Nov '19

Call for Conference Grant Applications The European research network on types for programming and verification (EUTypes COST Action, https://eutypes.cs.ru.nl) supports attendance of young researchers presenting work on type theory at international conferences via travel grants. The rules are described here: https://eutypes.cs.ru.nl/ConfGrants The main points are: * Only researchers from ITCs participating in the action are eligible. As of September 2017, the ITCs involved in EUTypes are: Bosnia and Herzegovina, Czechia, Estonia, Hungary, Lithuania, Macedonia, Poland, Portugal, Romania, Serbia, Slovenia. * Only PhD students and Early Career Investigators (researchers whose PhD degree is at most 8 years old) are eligible. * The grantee must give a talk or present a poster on the topic of type theory. Applications have to be submitted through the e-COST system: https://e-services.cost.eu/conferencegrant Please inform researchers in your country who might be interested. Many thanks, Ambrus Kaposi EUTypes conference grant coordinator

1 6

[ANNOUNCE] GHC 8.4.3 released
by Ben Gamari 29 May '18

29 May '18

Hello everyone, The GHC team is pleased to announce the availability of GHC 8.4.3. The source distribution, binary distributions, and documentation for this release are available at https://downloads.haskell.org/~ghc/8.4.3 This release includes a few bug fixes including: * A code generation bug resulting in crashing of some programs using UnboxedSums has been fixed (#15038). * #14381, where Cabal and GHC would disagree about abi-depends, resulting in build failures, has been worked around. Note that the work-around patch has already been shipped by several distributions in previous releases, so this change may not be visible to you. * By popular demand, GHC now logs a message when it reads a package environment file, hopefully eliminating some of the confusion wrought by this feature. * GHC now emits assembler agreeable to newer versions of Gnu binutils, fixing #15068. * SmallArray#s can now be compacted into a compact region Thanks to everyone who has contributed to developing, documenting, and testing this release! As always, let us know if you encounter trouble. How to get it ~~~~~~~~~~~~~ The easy way is to go to the web page, which should be self-explanatory: http://www.haskell.org/ghc/ We supply binary builds in the native package format for many platforms, and the source distribution is available from the same place. Packages will appear as they are built - if the package for your system isn't available yet, please try again later. Background ~~~~~~~~~~ Haskell is a standardized lazy functional programming language. GHC is a state-of-the-art programming suite for Haskell. Included is an optimising compiler generating efficient code for a variety of platforms, together with an interactive system for convenient, quick development. The distribution includes space and time profiling facilities, a large collection of libraries, and support for various language extensions, including concurrency, exceptions, and foreign language interfaces. GHC is distributed under a BSD-style open source license. A wide variety of Haskell related resources (tutorials, libraries, specifications, documentation, compilers, interpreters, references, contact information, links to research groups) are available from the Haskell home page (see below). On-line GHC-related resources ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ Relevant URLs: GHC home page https://www.haskell.org/ghc/ GHC developers' home page https://ghc.haskell.org/trac/ghc/ Haskell home page https://www.haskell.org/ Supported Platforms ~~~~~~~~~~~~~~~~~~~ The list of platforms we support, and the people responsible for them, is here: https://ghc.haskell.org/trac/ghc/wiki/TeamGHC Ports to other platforms are possible with varying degrees of difficulty. The Building Guide describes how to go about porting to a new platform: https://ghc.haskell.org/trac/ghc/wiki/Building Developers ~~~~~~~~~~ We welcome new contributors. Instructions on accessing our source code repository, and getting started with hacking on GHC, are available from the GHC's developer's site: https://ghc.haskell.org/trac/ghc/ Mailing lists ~~~~~~~~~~~~~ We run mailing lists for GHC users and bug reports; to subscribe, use the web interfaces at https://mail.haskell.org/cgi-bin/mailman/listinfo/glasgow-haskell-users https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-tickets There are several other haskell and ghc-related mailing lists on www.haskell.org; for the full list, see https://mail.haskell.org/cgi-bin/mailman/listinfo Many GHC developers hang out on #haskell on IRC: https://www.haskell.org/haskellwiki/IRC_channel Please report bugs using our bug tracking system. Instructions on reporting bugs can be found here: https://www.haskell.org/ghc/reportabug

1 0

Second Call for Papers: 11th ACM SIGPLAN International Conference on Software Language Engineering (SLE 2018)
by Andrei Chis 29 May '18

29 May '18

------------------------------------------------------------------------ Call for Papers: 11th ACM SIGPLAN International Conference on Software Language Engineering (SLE 2018) co-located with SPLASH 2018 November 5-6, 2018 Boston, Massachusetts, United States https://conf.researchr.org/track/sle-2018/papers ------------------------------------------------------------------------ We are pleased to invite you to submit papers to the 11th ACM SIGPLAN International Conference on Software Language Engineering (SLE 2018), held in conjunction with SPLASH 2018 at Boston, Massachusetts on November 5-6, 2018. --------------------------- Scope --------------------------- With the ubiquity of computers, software has become the dominating intellectual asset of our time. In turn, this software depends on software languages, namely the languages it is written in, the languages used to describe its environment, and the languages driving its development process. Given that everything depends on software and that software depends on software languages, it seems fair to say that for many years to come, everything will depend on software languages. Software language engineering (SLE) is the discipline of engineering languages and their tools required for the creation of software. It abstracts from the differences between programming languages, modelling languages, and other software languages, and emphasizes the engineering facet of the creation of such languages, that is, the establishment of the scientific methods and practices that enable the best results. While SLE is certainly driven by its metacircular character (software languages are engineered using software languages), SLE is not self-satisfying: its scope extends to the engineering of languages for all and everything. Like its predecessors, the 11th edition of the SLE conference, SLE 2018, will bring together researchers from different areas united by their common interest in the creation, capture, and tooling of software languages. It overlaps with traditional conferences on the design and implementation of programming languages, model-driven engineering, and compiler construction, and emphasizes the fusion of their communities. To foster the latter, SLE traditionally fills a two-day program with a single track, with the only temporal overlap occurring between co-located events. --------------------------- Topics of Interest --------------------------- SLE 2018 solicits high-quality contributions in areas ranging from theoretical and conceptual contributions, to tools, techniques, and frameworks in the domain of software language engineering. Topics relevant to SLE cover generic aspects of software languages development rather than aspects of engineering a specific language. In particular, SLE is interested in contributions from the following areas: * Software Language Design and Implementation - Approaches to and methods for language design - Static semantics (e.g., design rules, well-formedness constraints) - Techniques for specifying behavioral / executable semantics - Generative approaches (incl. code synthesis, compilation) - Meta-languages, meta-tools, language workbenches * Software Language Validation - Verification and formal methods for languages - Testing techniques for languages - Simulation techniques for languages * Software Language Integration and Composition - Coordination of heterogeneous languages and tools - Mappings between languages (incl. transformation languages) - Traceability between languages - Deployment of languages to different platforms * Software Language Maintenance - Software language reuse - Language evolution - Language families and variability * Domain-specific approaches for any aspects of SLE (design, implementation, validation, maintenance) * Empirical evaluation and experience reports of language engineering tools - User studies evaluating usability - Performance benchmarks - Industrial applications --------------------------- Important Dates --------------------------- All dates are Anywhere on Earth. * Fri 29 June 2018 - Abstract Submission * Fri 6 July 2018 - Paper Submission * Fri 24 August 2018 - Author Notification * Fri 31 August 2018 - Artifact Submission * Fri 14 September 2018 - Artifact Kick-the-Tires Evaluation Author Response * Fri 5 October 2018 - Camera Ready Deadline * Wed 10 October 2018 - Artifact Notification * Fri 12 October 2018 - Deadline for Artifact-Related Paper Updates * Sun 4 Nov 2018 - SLE Workshops * Mon 5 Nov - Tue 6 Nov 2018 - SLE Conference --------------------------- Types of Submissions --------------------------- * Research papers These should report a substantial research contribution to SLE or successful application of SLE techniques or both. Full paper submissions must not exceed 12 pages excluding bibliography. * Tool papers Because of SLE’s interest in tools, we seek papers that present software tools related to the field of SLE. Selection criteria include originality of the tool, its innovative aspects, and relevance to SLE. Any of the SLE topics of interest are appropriate areas for tool demonstrations. Submissions must provide a tool description of 4 pages excluding bibliography, and a demonstration outline including screenshots of up to 6 pages. Tool demonstrations must have the keywords “Tool Demo” or “Tool Demonstration” in the title. The 4-page tool description will, if the demonstration is accepted, be published in the proceedings. The 6-page demonstration outline will be used by the program committee only for evaluating the submission. * New ideas / vision papers New ideas papers should describe new, non-conventional SLE research approaches that depart from standard practice. They are intended to describe well-defined research ideas that are at an early stage of investigation. Vision papers are intended to present new unifying theories about existing SLE research that can lead to the development of new technologies or approaches. New ideas / vision papers must not exceed 4 pages excluding bibliography. --------------------------- Artifact Evaluation --------------------------- For the third year SLE will use an evaluation process for assessing the quality of the artifacts on which papers are based to foster the culture of experimental reproducibility. Authors of accepted papers are invited to submit artifacts. More information is provided on the conference Website. --------------------------- Submission --------------------------- Submissions have to use the ACM SIGPLAN Conference Format "acmart" ( http://sigplan.org/Resources/Author/#acmart-format) please make sure that you always use the latest ACM SIGPLAN acmart LaTeX template ( https://www.acm.org/binaries/content/assets/publications/consolidated-tex-t…) and that the document class definition is \documentclass[sigplan,screen]{acmart}. Do not make any changes to this format! Using the Word template is strongly discouraged. Ensure that your submission is legible when printed on a black and white printer. In particular, please check that colors remain distinct and font sizes in figures and tables are legible. SLE follows a single-blind review process. Thus, you do not have to blind your submission. All submissions must be in PDF format. Concurrent Submissions: Papers must describe unpublished work that is not currently submitted for publication elsewhere as described by SIGPLAN’s Republication Policy ( http://www.sigplan.org/Resources/Policies/Republication) Submitters should also be aware of ACM’s Policy and Procedures on Plagiarism ( http://www.acm.org/publications/policies/plagiarism_policy) Submissions that violate these policies will be desk-rejected. Submission Site: Submissions will be accepted at https://sle18.hotcrp.com/. --------------------------- Reviewing Process --------------------------- All submitted papers will be reviewed by at least three members of the program committee. Research papers and tool papers will be evaluated concerning novelty, correctness, significance, readability, and alignment with the conference call. New ideas / vision papers will be evaluated primarily concerning novelty, significance, readability, and alignment with the conference call. For fairness reasons, all submitted papers must conform to the above instructions. Submissions that violate these instructions may be rejected without review, at the discretion of the PC chairs. --------------------------- Awards --------------------------- * Distinguished paper: Award for most notable paper, as determined by the PC chairs based on the recommendations of the programme committee. * Distinguished reviewer: Award for distinguished reviewer, as determined by the PC chairs. * Distinguished artifact: Award for the artifact most significantly exceeding expectations, as determined by the AEC chairs based on the recommendations of the artifact evaluation committee. --------------------------- Publication --------------------------- All accepted papers will be published in the ACM Digital Library. 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 the conference. The official publication date affects the deadline for any patent filings related to published work. --------------------------- Keynote --------------------------- We are very proud to announce that this year’s SLE keynote will be given by Martin Rinard from the Massachusetts Institute of Technology. Martin Rinard is professor in the Department of Electrical Engineering and Computer Science at the Massachusetts Institute of Technology, and a member of the Computer Science and Artificial Intelligence Laboratory. His research focuses on software systems and related topics. The broad goal of his research is to obtain better software - making software more robust, resilient, and secure, improving the performance, verifying that the software satisfies important correctness, acceptability, reliability, or accuracy properties, or making systems (both software and hardware) easier to specify, build, maintain, or improve. More information on his research can be found at http://people.csail.mit.edu/rinard/. Details about his keynote at SLE will be announced soon on the conference Website. --------------------------- Program Committee --------------------------- Andrew Black, Portland State University, USA Anya Helene Bagge, University of Bergen, Norway Erwan Bousse, TU Wien, Austria Marco Brambilla, Politecnico di Milano, Italy Ruth Breu, University of Innsbruck, Austria Walter Cazzola, University of Milan, Italy Marsha Chechik, University of Toronto, Canada Tony Clark, Aston University, UK Juan de Lara, Universidad Autonoma de Madrid, Spain Thomas Degueule, CWI Amsterdam, Netherlands Juergen Dingel, Queen's University, Canada Tom Dinkelaker, Ericsson, Germany Sebastian Erdweg, Delft University of Technology, Netherlands Bernd Fischer, Stellenbosch University, South Africa Esther Guerra, Autonomous University of Madrid, Spain Daco Harkes, Delft University of Technology, Netherlands Robert Hirschfeld, University of Potsdam, Germany Michael Homer, Victoria University of Wellington, New Zealand Dimitris Kolovos, University of York, UK Ralf Lämmel, University of Koblenz-Landau, Germany Marjan Mernik, University of Maribor, Slovenia Gunter Mussbacher, McGill University, Canada James Noble, Victoria University of Wellington, New Zealand Bruno Oliveira, University of Hong Kong, China Christoph Reichenbach, Lund University, Sweden Jan Oliver Ringert, University of Leicester, UK Bernhard Rumpe, RWTH Aachen University, Germany Markus Schordan, Lawrence Livermore National Laboratory, USA Anthony Sloane, Macquarie University, Australia Emma Söderberg, Google, Denmark Mark van den Brand, TU Eindhoven, Netherlands Tijs van der Storm, CWI Amsterdam, Netherlands Eelco Visser, Delft University of Technology, Netherlands Eric Walkingshaw, Oregon State University, USA Andreas Wortmann, RWTH Aachen University, Germany Vadim Zaytsev, Rain Code, Belgium --------------------------- Artifact Evaluation Committee (tentative) --------------------------- Arvid Butting, RWTH Aachen University, Germany Luís Eduardo de Souza Amorim, Delft University of Technology, Netherlands Anna Maria Eilertsen, University of Bergen, Norway Abel Gómez, Open University Catalonia, Spain Marcel Heinz, University of Koblenz-Landau, Germany Ludovico Iovino, GSSI, Italy Jesper Öqvist, Lund University, Sweden --------------------------- Contact --------------------------- For additional information, clarification, or answers to questions, please contact the organizers by email: sle2018(a)googlegroups.com.

1 0

GPCE 2018 2nd Call for Papers: Boston, MA, USA, Nov 5, 6 2018
by Eric Van Wyk 27 May '18

27 May '18

-------------------------------------------------------------------------- CALL FOR PAPERS 17th International Conference on Generative Programming: Concepts & Experiences (GPCE 2018) November 5-6, 2018 Boston, MA, USA (co-located with SPLASH 2018) http://2018.splashcon.org/track/gpce-2018 http://twitter.com/GPCECONF http://www.facebook.com/GPCEConference IMPORTANT DATES * Submission of abstracts: June 29, 2018 * Submission of papers: July 6, 2018 * Paper notification: August 24, 2018 Submission site: https://gpce18.hotcrp.com/ KEYNOTE SPEAKER * Saman Amarasinghe, MIT, https://people.csail.mit.edu/saman/ Saman Amaraasinghe and his group at MIT have developed several domain-specific languages, including Halide, TACO, Simit, StreamIt, StreamJIT, PetaBricks, MILK, Cimple, and GraphIt, that target diverse areas such as image processing, stream computations, and graph analytics. In each, the innovative language abstractions are leveraged by sophisticated compilation techniques to generate exceptionally high performance. Dr. Amarasinghe has also pioneered the application of techniques from machine learning to compiler optimizations in systems such as Meta and the OpenTuner extensible autotuner. -------------------------------------------------------------------------- SCOPE GPCE is a venue for researchers and practitioners interested in techniques and tools for code generation, language implementation, and metaprogramming. GPCE seeks conceptual, theoretical, empirical, and technical contributions to its topics of interest, which include but are not limited to: * program transformation, staging, macro systems, preprocessors, program synthesis, and code-recommendation systems, * domain-specific languages, language embedding, language design, and language workbenches, * feature-oriented programming, domain engineering, and feature interactions, * applications and properties of code generation, language implementation, and product-line development. Authors are welcome to check with the PC chair whether their planned papers are in scope. PAPER SELECTION The GPCE program committee will evaluate each submission according to the following selection criteria: * Novelty. Papers must present new ideas or evidence and place them appropriately within the context established by previous research in the field. * Significance. The results in the paper must have the potential to add to the state of the art or practice in significant ways. * Evidence. The paper must present evidence supporting its claims. Examples of evidence include formalizations and proofs, implemented systems, experimental results, statistical analyses, and case studies. * Clarity. The paper must present its contributions and results clearly. PAPER CATEGORIES GPCE solicits three kinds of submissions. * Full Papers reporting original and unpublished results of research that contribute to scientific knowledge in any GPCE topic listed above. Full paper submissions must not exceed 12 pages excluding bibliography. * Short Papers presenting unconventional ideas or visions about any GPCE topic listed above. Short papers do not always require complete results as in the case of a full paper. In this way, authors can introduce new ideas to the community and get early feedback. Please note that short papers are not intended to be position statements. Short papers are included in the proceedings and will be presented at the conference. Short paper submissions must not exceed 6 pages excluding bibliography. * Tool Demonstrations presenting tools for any GPCE topic listed above. Tools must be available for use and must not be purely commercial. Submissions must provide a tool description not exceeding 6 pages excluding bibliography and a separate demonstration outline including screenshots also not exceeding 6 pages. Tool demonstrations must have the keywords "Tool Demo" or "Tool Demonstration" in their title. If the submission is accepted, the tool description will be published in the proceedings. The demonstration outline will only be used by the program committee for evaluating the submission. PAPER SUBMISSION All submissions must use the ACM SIGPLAN Conference Format "acmart", using the "sigplan" sub-format, and 10 point font. Additional details and links to templates and the LaTeX class file can be found on the conference web site: http://2018.splashcon.org/track/gpce-2018. To increase fairness in reviewing, a double-blind review process has become standard across SIGPLAN conferences. GPCE will follow a very lightweight model, where author identities are revealed to reviewers after submitting their initial reviews. Hence, the purpose is not to conceal author identities at all cost, but merely to provide reviewers with an unbiased first look at a submission. Author names and institutions should be omitted from submitted papers, and references to the authors' own related work should be in the third person. No other changes are necessary, and authors will not be penalized if reviewers are able to infer their identities in implicit ways. To understand the motivation for using a double-blind review process please see "Effectiveness of anonymization in double-blind review" by C. Le Goues, Y. Brun, S. Apel, E. Berger, S. Khurshid, Y. Smaragdakis at https://doi.org/10.1145/3208157. Papers must be submitted using HotCRP: https://gpce18.hotcrp.com/ For additional information, clarification, or answers to questions please contact the program chair. ORGANIZATION General Chair: Eric Van Wyk (University of Minnesota, USA, evw(a)umn.edu) Program Chair: Tiark Rompf (Purdue University, USA, tiark(a)purdue.edu) Program Committee Vander Alves, University of Brasilia Kenichi Asai, Ochanomizu University Martin Berger, University of Sussex Aggelos Biboudis, EPFL Eugene Burmako, Twitter Charisee Chiw, University of Chicago Dana Drachsler Cohen, ETH Zürich Sebastian Erdweg, TU Delft Robert Glück, DIKU Vinod Grover, NVIDIA Shoaib Kamil, Adobe Andrei Klimov, Keldysh Institute Oleg Kiselyov, Tohoku University Stefan Marr, University of Kent Sarah Nadi, University of Alberta Klaus Ostermann, University of Tübingen Oleksandr Polozov, Microsoft Research Ina Schaefer, TU Braunschweig Ulrik Pagh Schultz, University of Southern Denmark Chung-chieh Shan, Indiana University Jeremy Siek, Indiana University Alexander Slesarenko, Huawei Anthony Sloane, Macquarie University Tijs van der Storm, CWI Walid Taha, Halmstad University Kanae Tsushima, NII Jeremy Yallopp, University of Cambridge

1 0

CFP (Extended Deadline): IEEE DS-RT 2018 - Deadline extended to June 10th, 2018
by Robson De Grande 27 May '18

27 May '18

******* CFP (Extended Deadline): IEEE DS-RT 2018 - extended deadline to June 10th, 2018 ------------------------------------------------------------------------------------ Please accept our apologies if you have received multiple copies. ------------------------------------------------------------------------------------ Call for Papers - DS-RT 2018 22nd IEEE/ACM* International Symposium on Distributed Simulation and Real Time Applications http://ds-rt.com/ October 15-17, 2018 - Madrid, Spain ----------------------------------------------------------------------- IMPORTANT: Extended Submission deadline (FIRM): June 10th, 2018 ----------------------------------------------------------------------- *** The Symposium *** The 2018 IEEE/ACM International Symposium on Distributed Simulation and Real Time Applications (DS-RT 2018) promises to be a grand affair and will take place in Madrid, Spain. DS-RT 2018 serves as a platform for simulationists from academia, industry and research labs for presenting recent research results in Distributed Simulation and Real Time Applications. DS-RT 2018 targets the growing overlap between large distributed simulations and real-time applications, such as collaborative virtual environments, pervasive and ubiquitous application scenarios, motor-, controller-, sensor- and actuator systems. The conference features prominent invited speakers as well as papers by top researchers in the field. DS-RT 2018 will include contributed technical papers, invited papers, and panel discussions. The proceedings will be published by IEEE-CS press. *** Call for Papers *** DS-RT provides an international forum for the discussion and presentation of original ideas, recent results and achievements by researchers, research students, and systems developers on issues and challenges related to distributed simulation and real-time applications. Authors are encouraged to submit both theoretical and practical results of significance. Demonstration of new tools/applications is enlivened. The scope of the symposium includes, but is not limited to: Paradigms, Methodology, Algorithms and Software Architectures for Large Scale Distributed and Real-Time Simulations (e.g. Parallel and Distributed Simulation, Multi-Agent Based Distributed Simulation, HLA/RTI, Web, Grid and cloud-based Simulation, hardware-software co-design for extreme-scale simulations) Paradigms, Modelling, Architecture and Environments for Large Scale Real-time Systems and Concurrent Systems with hard and soft Real-Time Constraints Non-functional Properties of Distributed Simulation and Real-Time Systems (e.g. Dependability, Availability, Reliability, Maintainability, Safety, Security, Trustworthiness, QoS) Theoretical Foundations of Large-Scale Real-Time and Simulation Models (e.g. Event Systems, Causality, Space-Time Models, Notions of Time, Discrete and Continuous Systems, Simulator Coordination) Advances in Modelling and Simulation Studies and Technologies (Reuse of Models, New Modelling Languages, Agent-based M&S, Spatial M&S, Cognitive Modelling, Neural Network Models, Artificial Intelligence in Simulation, Discrete Events, Continuous Simulation, Service-oriented Computing and Simulation, Web-based Modelling and Simulation, Simulation of Multimedia Applications and Systems, etc.) Pervasive and Ubiquitous Computing Architectures and Applications that involve Simulations and/or adhere to Real-Time Constraints Languages and Tools, Development Environments, Data Interfaces, Network Protocols and Model Repositories that address Very Large Simulations Data Management and Distribution Issues, Interest Management, Semantic Modelling, Multi-resolution Modelling, Dead-Reckoning Mechanisms Simulation Studies at Large and Very Large Scale (e.g. Industrial, Commercial, Ecological and Environmental, Societal, Power and Energy) Environmental and Emerging Simulation Challenges (e.g. Growth of Human Population, Climate Change, CO2, Health Care, Ecosystems, Sustainable Development, Water and Energy Supply, Human Mobility, Traffic Modelling, World Stock Markets, Food Supply Chains, Megacities, Smart Cities, Smart Networks, Disaster Planning, etc.) Performance and Validation of Large-Scale and Distributed Simulations (e.g., benchmarking and analytical results, empirical studies DIS, HLA/RTI studies) Visual Interactive Simulation Environments (e.g., Generic Animation, Visual Interactive Modelling, Interactive Computer Based Training and Learning, Scientific Visualization, High-End Computer Graphics) Simulation-based Virtual Environments and Mixed Reality Systems (e.g. Interactive Virtual Reality, Human Communication through Immersive Environments) Collaborative Virtual and Augmented Reality, Shared Interaction Spaces, Telepresence Systems and Shared Workspaces, 3D Video and Acoustic Reconstruction, Shared Object Manipulation Design Issues, Interaction Designs, Human Computer Interaction Issues raised by Large Scale DS-RT Systems Serious Gaming and Massive Multiplayer Online Games (MMOG) applications, architectures and scalability issues Technologies for Living Labs (e.g. Mirror World Simulation, Interoperability, Large Scale Multi-Sensor Networks, Global Wireless Communication, Multi-Stakeholder Understanding and Innovation) Innovative Styles of Interactions with Large Scale DS-RT Systems (e.g. Implicit, Situative and Attentive Interaction, Tangible Interaction, Embedded Interaction, etc.) Media Convergence (e.g. New Technologies, Media Theory, Real-Time considerations of Multi-Modality, etc.) *** Important Dates *** Extended Submission Deadline: June 10th, 2018 Notification of Acceptance: July 1st, 2018 Camera Ready version due: July 31st, 2018 Symposium presentation: October 15-17, 2018 *** Submission *** High-quality original papers are solicited. Papers must be unpublished and must not be submitted for publication elsewhere. All papers will be reviewed by Technical Program Committee members and other experts active in the field to ensure high quality and relevance to the conference. Accepted papers will appear in the conference proceedings to be published by IEEE-CS press. Authors of selected papers will be invited to submit extended versions of their papers to the Journal of Simulation. General information regarding submission can be found at http://ds-rt.com/2018/. Questions from authors may be directed to the Program Co-Chairs. IMPORTANT: CONFERENCE ATTENDANCE BY AT LEAST ONE AUTHOR OF ACCEPTED PAPERS IS MANDATORY *** ORGANIZING COMMITTEE*** General Chair José Luis Risco Martín, Complutense University of Madrid, Spain Program Co-Chairs Eva Besada, Complutense University of Madrid, Spain Floriano De Rango, University of Calabria, Italy Posters Chair Peppino Fazio, University of Calabria, Italy Demo Chair Amilcare F. Santamaria, University of Calabria, Italy Special Sessions Chair Robson De Grande, Brock University, Canada Publicity Chair Lucas Potter, Old Dominion University, VA, USA Finance Chair Guillermo Botella, Complutense University of Madrid, Spain

1 0

2 PostDoc Positions at Imperial College London on Session Types
by David Castro 25 May '18

25 May '18

Imperial College London has two open positions on session types and programming languages (see details below). If you have any questions, do not hesitate to contact Prof. Nobuko Yoshida on n.yoshida(a)imperial.ic.ac.uk. ------------------------------------------------------------------------------------------------------------ Department of Computing, Imperial College London Two Research Associate Positions (Post-doc, Full Time) 32,380 GBP to 44,220 GBP per annum Fixed-term: Starting date: as soon as possible Ending date: 19 May 2020 Closing Date: 30th June 2018 Professor Nobuko Yoshida, Imperial College London The post is funded by EPSRC, the UK science funding agency and the titles of the project is "From Data Types to Session Types: A Basis for Concurrency and Distribution". The goal is to further develop the theory and practice of session types for structuring concurrent and distributed software. The project has particular emphasis on putting theory into practice, by embedding session types in a range of programming languages and applying them to case studies; or developing the links between session types and other areas of theoretical computer science. The research programme includes collaboration with several companies and organisations: Amazon, Red Hat, Cognizant, Estafet, Weaveworks and JP Morgan. The focus of Imperial College London Group is theories and applications of (Multiparty) Session Types (JACM,POPL'08), which include: -- Go (ICSE'18, POPL'17, CC'16), F# (CC'18), Scala (ECOOP'17,ECOOP'16), Erlang (CC'17), Haskell (POPL'16), Java (FASE'16,FASE'17), MPI (OOPSLA'15,CC'15), C (FPL'16) and Python (FOAC,LMCS,FMSD); or -- linear logic (ESOP'18,FoSSaCs'18,CONCUR'15), automata theories (POPL'15,CONCUR'15,TACAS'16,FoSSaCs'17), ICC (LICS'18), bisimualtions (CONCUR'15,ESOP'16) and other foundations such as event structures and game semantics. -- mechanisations of session types meta-theory (Coq, Isabelle, Agda, etc) For more details, see http://mrg.doc.ic.ac.uk Candidates for the post-doc position will need to have expertise in either: 1. programming language design and implementation; or 2. formal semantics, type theory and concurrency theory Different positions will be suitable for different points on the theory/practice spectrum. We are especially interested in candidates with a combination of theoretical and practical skills. The contact person is Professor Nobuko Yoshida, Imperial College London (N.Yoshida(a)imperial.ac.uk) Details: https://www.imperial.ac.uk/jobs/description/ENG00367/research-assistant-res…

1 0

OPLSS 2018: Application Extension
by Paul Downen 21 May '18

21 May '18

We had several cancellations due to entry visas being denied. Therefore, we are reopening applications to the Oregon Programming Languages Summer School (OPLSS) to be held from July 9th to July 21st, 2018 at the University of Oregon in Eugene. Students can also register for an introductory session which takes place from July 3rd to July 8th. This session is not mandatory; it is also possible to register for the introductory session only. Full information on registration can be found here: http://www.cs.uoregon.edu/Activities/summerschool In addition to the previously announced program we have two more presentations: William Duff - Jane Street Typing speed: how rich types enable performance engineering Aaron Turon - Mozilla Help wanted: research questions in Rust Hope to see many of you. Bob, Guy, Paul and Zena

1 0

Job openings with the strats team at Standard Chartered bank - New York, London, Singapore, Hong Kong
by José Pedro Magalhães 21 May '18

21 May '18

Key responsibilities Development of quantitative analytics; software engineering; software design and architecture; overall design and implementation of a wide range of financial software across FX, IR, commodities and credit asset classes; team leadership. Job description Strats are generalist software engineers. As a Strat you will be involved in all of: software design; architecture specification; project management; implementation; requirements gathering; research engineering; devops. You will work on the trading floor, directly with traders, building software to automate their work and improve their efficiency. The role is highly development focused and you will use Haskell for almost all tasks: data analysis, market data publishing, database access, web services, desktop GUIs, large parallel tasks, quantitative models, solvers, everything. This is a fast paced role – code you write today will be deployed within hours to hundreds of users and has to work. We have positions available in: - New York, where we're building a team and have one team member so far - London - Singapore - Hong Kong, where we're building a strats team to work with the existing risk technology team We prefer experienced / senior developers, but extraordinary juniors will be considered too. Demonstrated experience in typed FP (Haskell, OCaml, F# etc) is required. We have over 4 million lines of Haskell, and our own Haskell compiler. In this context we look for skill in typed functional programming to capture and abstract over complex systems. Experience writing typed APIs to external systems such as databases, web services, pub/sub platforms is very desirable. We like working code, so if you have Hackage or github libraries, we definitely want to see them. We also like StackOverflow answers, academic papers, or other arenas where you can show broad FP ability. You have project and client management skills — you will talk to users, understand their problems and then implement and deliver what they really need. The role requires physical presence on the trading floor for most of the time; remote work is not an option. For most roles we offer a relocation allowance if moving from abroad, and flexible working practices are possible. Years of Relevant Experience MSc in Computer Science or related discipline, or equivalent 4+ years experience (PhDs welcome) Skills Summary Haskell or other typed functional programming language (OCaml, F#); computer science background; software design and engineering; project management and client communication; team management for senior roles. How to apply If this sounds exciting to you, please email the following to strats-jobs AT sc DOT com: - Your CV - A short motivation text - Location(s) interested in - Coding samples (preferably publicly available) We are committed to building a culture that fosters a diverse and inclusive environment that’s free from bias, where everyone can realise their full potential and make a positive contribution. This is just one of our values that is expressed in our brand promise – here for good.

1 0

New deadline for paper submission to SBLP 2018
by Carlos Camarao 18 May '18

18 May '18

SBLP 2018 deadline extension ________________________________________________________________________________ Universidade de São Paulo - ICMC/USP São Carlos, Brazil, September 20-21, 2018 Conference website http://www.sbc.org.br/cbsoft2018 Submission link https://easychair.org/conferences/?conf=sblp2018 SBLp 2018 is the 22nd edition of the Brazilian Symposium on Programming Languages. The symposium is promoted by the Brazilian Computer Society (SBC) and provides a forum for researchers, students and professionals to present and discuss ideas and innovations in the design, definition, analysis, implementation and practical use of programming languages. Upon request, SBLP 2018 deadlines have been extended by seven days: ________________________________________________________________________________ Abstract submission: May 28th 2018 Paper submission: May 28th 2018 Author notification: July 6th 2018 Camera ready deadline: July 18th 2018 Submission Guidelines ________________________________________________________________________________ Papers can be written in Portuguese or English. Submission in English is strongly encouraged since the symposium proceedings are indexed in the ACM Digital Library. The acceptance of a paper implies that at least one of its authors will register for the symposium to present it. Papers must be original and not simultaneously submitted to another journal or conference. Papers must be submitted electronically (in PDF format) via the Easychair System: http://www.easychair.org/conferences/?conf=sblp2018 The following paper categories are welcome (page limits include figures, references and appendices): Full papers: up to 8 pages long in ACM 2-column conference format, available at http://www.acm.org/publications/proceedings-template Short papers: up to 3 pages in the same format, can discuss new ideas which are at an early stage of development or can report partial results of on-going dissertations or theses. List of Topics (related but not limited to the following) ________________________________________________________________________________ • Programming paradigms and styles, scripting and domain-specific languages and support for real-time, service-oriented, multi-threaded, parallel, and distributed programming • Program generation and transformation • Formal semantics and theoretical foundations: denotational, operational, algebraic and categorical • Program analysis and verification, type systems, static analysis and abstract interpretation • Programming language design and implementation, programming language environments, compilation and interpretation techniques Publication ________________________________________________________________________________ SBLP proceedings will be published in ACM's digital library. As in previous editions, after the conference authors of selected regular papers will be invited to submit an extended version of their work to be considered for publication in a journal's special issue. Since 2009, selected papers of each SBLP edition are being published in a special issue of Science of Computer Programming, by Elsevier. Program Committee ________________________________________________________________________________ Mariza Bigonha Universidade Federal de Minas Gerais Roberto Bigonha Universidade Federal de Minas Gerais Andre R. Du Bois Universidade Federal de Pelotas Christiano Braga Universidade Federal Fluminense Carlos Camarão Universidade Federal de Minas Gerais (chair) Fernando Castor Universidade Federal de Pernambuco Renato Cerqueira IBM Research, Brazil João Fernandes Universidade de Coimbra João Ferreira Teesside University Lucília Figueiredo Universidade Federal de Ouro Preto Ismael Figueroa Pontifícia Universidad Católica de Valparaiso Alex Garcia Instituto Militar de Engenharia Francisco Heron Universidade Federal do Ceará Roberto Ierusalimschy Pontifícia Universidade Católica do Rio de Janeiro Yu David Liu State University of New York at Binghamton Hans-Wolfgang Loidl Heriot-Watt University Marcelo Maia Universidade Federal de Uberlândia André M. Maidl Pontifícia Universidade Católica do Paraná Manuel A. Martins Universidade de Aveiro Fábio Mascarenhas Universidade Federal do Rio de Janeiro Sérgio Medeiros Universidade Federal do Rio Grande do Norte Victor Miraldo University of Utrecht Álvaro Moreira Universidade Federal do Rio Grande do Sul Anamaria M. Moreira Universidade Federal do Rio de Janeiro Peter Mosses Swansea University Martin Musicante Universidade Federal do Rio Grande do Norte Alberto Pardo Universidad de la República Fernando Pereira Universidade Federal de Minas Gerais Gustavo Pinto Universidade Federal do Pará Louis-Noel Pouchet Ohio State University Zongyan Qiu Peking University Henrique Rêbelo Universidade Federal de Pernambuco Leonardo Reis Universidade Federal de Ouro Preto Rodrigo Ribeiro Universidade Federal de Ouro Preto Noemi Rodriguez Pontifícia Universidade Católica do Rio de Janeiro Francisco Sant'Anna Universidade Estadual do Rio de Janeiro João Saraiva Universidade do Minho Martin Sulzmann Hochschule Karlsruhe - Technik und Wirtschaft (chair) Leopoldo Teixeira Universidade Federal de Pernambuco Simon Thompson University of Kent Cristiano Vasconcellos Universidade do Estado de Santa Catarina Varmo Vene University of Tartu Invited Speaker ________________________________________________________________________________ Martin Sulzmann, Hochschule Karlsruhe - Technik und Wirtschaft, Germany Contact ________________________________________________________________________________ All questions about submissions should be emailed to Carlos Camarão (camarao(a)dcc.ufmg.br)

1 0

2nd CfP Workshop on Functional High-Performance Computing 2018
by Kei Davis 17 May '18

17 May '18

2nd CfP Workshop on Functional High-Performance Computing 2018 The 7th ACM SIGPLAN Workshop on Functional High-Performance Computing (FHPC 2018) is being held as in previous years in conjunction with the International Conference on Functional Programming (ICFP 2018) together with numerous other workshops/symposia, and as a first, colocated with Strange Loop, in St. Louis, MO, USA. https://icfp18.sigplan.org/track/FHPC-2018-papers#FHPC-2018-Call-for-Papers -- Kei Davis Applied Computer Science Group CCS-7, Mail Stop B287 Los Alamos National Laboratory Los Alamos, NM 87545, U.S.A.

1 0