January 2016 - Haskell

Haskell-related PhD Studentship at Kent
by Meng Wang 22 Mar '16

22 Mar '16

Dear Haskellers, I am seeking a PhD student on a Haskell-related project: http://www.cs.kent.ac.uk/research/studyingforaphd/phd-wang.html This would be a good opportunity for someone who is interested in applying Haskell ideas to real problems. The funding covers maintenance, EU student fees and research related expenses. But non-EU students are welcome to apply too. For Sep 2015 starting, the application deadline is 17 April 2015. If you are interested, please contact me at m.w.wang(a)kent.ac.uk<mailto:m.w.wang@kent.ac.uk>. Best wishes, Meng — Dr Meng Wang School of Computing University of Kent http://www.cs.kent.ac.uk/people/staff/mw516/

1 1

[ICGT2016] CFP: Int.Conf. Graph Transformation, Vienna, July 2016
by Rachid Echahed 18 Feb '16

18 Feb '16

[Apologies if you receive multiple copies of this CFP] ========================================================================== Call for Papers ICGT 2016 9th International Conference on Graph Transformation www.graph-transformation.org Held as Part of STAF 2016 http://staf2016.conf.tuwien.ac.at/ July 5-6, 2016, Vienna, Austria ========================================================================== Important Dates: Abstract submission: 15 February 2016 Full paper submission: 29 February 2016 Notification of acceptance: 07 April 2016 Final version due: 21 April 2016 Conference: 5-6 July 2016 ========================================================================== Graphs are used almost everywhere when representing or modelling structures and systems, not only in applied and theoretical computer science, but also in, e.g., natural and engineering sciences. Graph transformation and graph grammars are the fundamental modelling paradigms for describing, formalizing, and analyzing graphs that change over time when modelling, e.g., dynamic data structures, systems, or models. The International Conference on Graph Transformation (ICGT) series aims to bring together researchers from different areas in this context and to provide a forum for presenting new results, discussing novel ideas and sharing experience. In order to foster a lively exchange of perspectives on the subject of the conference, the programme committee of the ninth edition of ICGT encourages all kinds of contributions related to graph transformation. Topics of interest include, BUT ARE NOT LIMITED TO the following subjects: - General models of graph transformation (e.g., high-level, adhesive, node, edge, and hyperedge replacement systems) - Analysis and verification of graph transformation systems - Graph theoretical properties of graph languages - Automata on graphs and parsing of graph languages - Logical aspects of graph transformation - Computational models based on graph transformation - Structuring and modularization concepts for graph transformation systems - Hierarchical graphs and decompositions of graphs - Parallel, concurrent, and distributed graph transformation - Modelling and analysis of dynamic data structures - Term graph rewriting - Graph transformation and Petri nets - Ontologies and ontology evolution - Graph databases - Modelling and realizing software architectures, refactoring, evolution, workflows, business processes, access control, security policies, service-oriented applications, semantic web, ... - Natural language processing, natural computing, bioinformatics, quantum computing, ubiquitous computing, visual computing, image generation, natural and engineering sciences, ... - Model-driven development and model transformation based on graph transformation - Model checking, program verification, simulation and animation - Syntax, semantics and implementation of programming languages, domain-specific languages, and visual languages - Graph transformation languages and tool support - Efficient algorithms (pattern matching, graph traversal etc.) The 9th International Conference on Graph Transformation (ICGT 2016) will be held in Vienna, Austria, as a STAF event (http://staf2016.conf.tuwien.ac.at/) The conference takes place under the auspices of EATCS (http://www.eatcs.org/) EASST (http://www.easst.org/) and IFIP (http://www.ifip.org/) WG 1.3. Program Committee ----------------- Rachid Echahed (Co-Chair, CNRS and University of Grenoble Alpes, France) Mark Minas (Co-Chair, Universität der Bundeswehr München, Germany) Gábor Bergmann (Budapest University of Technology and Economics, Hungary) Paolo Bottoni (Sapienza Univ. di Roma, Italy) Andrea Corradini (Università di Pisa, Italy) Juan de Lara (Universidad Autonoma de Madrid, Spain) Frank Drewes (Umeå University, Sweden) Claudia Ermel (Technische Universität Berlin, Germany) Holger Giese (Hasso Plattner Institute, University of Potsdam, Germany) Annegret Habel (Universität Oldenburg, Germany) Reiko Heckel (University of Leicester, UK) Berthold Hoffmann (Universität Bremen, Germany) Dirk Janssens (Universiteit Antwerpen, Belgium) Barbara König (University of Duisburg-Essen, Germany) Christian Krause (SAP Innovation Centre Potsdam, Germany) Sabine Kuske (Universität Bremen, Germany) Leen Lambers (Hasso Plattner Institute, University of Potsdam, Germany) Yngve Lamo (Bergen University College, Norway) Tihamér Levendovszky (Vanderbilt University, USA) Mohamed Mosbah (LaBRI , Université de Bordeaux, France) Fernando Orejas (Technical University of Catalonia, Spain) Francesco Parisi-Presicce (Sapienza Univ. di Roma, Italy) Detlef Plump (University of York, UK) Arend Rensink (University of Twente, The Netherlands) Leila Ribeiro (Universidade Federal do Rio Grande do Sul, Brazil) Andy Schürr (Technische Universität Darmstadt, Germany) Martin Strecker (Université de Toulouse, France) Gabriele Taentzer (Philipps-Universität Marburg, Germany) Matthias Tichy (University of Ulm, Germany) Pieter Van Gorp (Eindhoven University of Technology, The Netherlands) Hans Vangheluwe (Universiteit Antwerpen, Belgium) Bernhard Westfechtel (University of Bayreuth, Germany) Albert Zündorf (Kassel University, Germany) Paper Submission ---------------- Papers are solicited in three categories: * Research papers (limited to 16 pages in Springer LNCS format) describe innovative contributions and are evaluated with respect to their originality, significance, and technical soundness. Additional material intended for reviewers but not for publication in the final version may be included in a clearly marked appendix. * Case studies (limited to 12 pages in Springer LNCS format) describe applications of graph transformations in any application domain. * Tool presentation papers (limited to 12 pages in Springer LNCS format) demonstrate the main features and functionality of graph-based tools. A tool presentation paper may have an appendix with a detailed demo description (up to 5 pages), which will be reviewed but not included in the proceedings. Papers can be submitted at http://www.easychair.org/conferences/?conf=icgt2016. Submitted papers must use Springer's LNCS format (http://www.springer.com/lncs) Simultaneous submission to other conferences with proceedings or submission of material that has already been published elsewhere is not allowed. The page limits are strict and include references. Proceedings will be published by Springer in the Lecture Notes in Computer Science (http://www.springer.com/lncs) series. Important Dates --------------- Abstract submission: 15 February 2016 Full paper submission: 29 February 2016 Notification of acceptance: 07 April 2016 Final version due: 21 April 2016 Conference: 5-6 July 2016 Further Information ------------------- Web page: http://www.graph-transformation.org https://sites.google.com/site/icgt2016/ Contact: icgt2016(a)gmail.com

1 1

ANNOUNCE: call-haskell-from-anything 1.0
by Niklas Hambüchen 31 Jan '16

31 Jan '16

Heya, I'm happy to announce a new release of call-haskell-from-anything [1], my library for FFI-via-serialisation that allows to easily call Haskell functions from any other language that can open shared object files (`.so` via `dlopen()`) and has a MessagePack library available. This is almost all programming languages; for examples for Python and Ruby see [2]. The FFI-via-serialisation approach makes it possible to export most functions to other languages "for free": no FFI type unpacking boilerplate, everything that has a MessagePack instance (much easier to write than `Storable` instances) will do. For example if you have a function chooseMax :: [Int] -> Int all you have do to make it callable is foreign export ccall chooseMax_export :: CString -> IO CString chooseMax_export = export chooseMax Version 1.0 uses closed type families to remove the restriction that so far, pure functions has to be wrapped into the Identity monad to be exported: a -> b -> ... -> Identity r With 1.0, this is no longer necessary. You can now export any function of type a -> b -> ... -> r to be called from your favourite Haskell contender languages (of course those have no chance ...). Cheers, Niklas [1]: https://hackage.haskell.org/package/call-haskell-from-anything-1.0.0.0 [2]: https://github.com/nh2/call-haskell-from-anything

1 0

Haskell Weekly News
by Kim-Ee Yeoh 29 Jan '16

29 Jan '16

*Top Picks:* - Oskar Wickström rewrites the Oden-to-Go transpiler from Racket to Haskell <http://oden-lang.org/blog/compiler/2016/01/18/the-haskell-rewrite.html>. Oden is an FP language comprising an ML type system and LISP syntax. Oskar explains that he made the migration because of several advantages that Haskell offered over Racket: exhaustive pattern-match checking, type-guided refactoring, monad transformers, and faster execution times. Apropos, the convo over at lobste.rs <https://lobste.rs/s/8hidko/the_haskell_rewrite_the_motivation_for_moving_aw…> links to this claim by Gabriel Gonzalez: "Haskell is an amazing language for writing your own compiler. If you are writing a compiler in another language you should genuinely consider switching." - Reviewing 2015 work month-by-month, Gracjan Polak tells the story of how he decided to lead the development of Haskell Mode <https://github.com/haskell/haskell-mode/wiki/Haskell-Mode-2015-retrospective>, "a bunch of Emacs major and minor modes put together in a single package." Discussion over at /r/haskell <https://www.reddit.com/r/haskell/comments/425gn4/haskell_mode_2015_retrospe…> . - Jared Tobin presents monadic versions of five recursion-schemas <http://jtobin.ca/monadic-recursion-schemes/>, namely: cata-, ana-, para-, apo-, and hylomorphisms. *Quotes of the Week:* - Tim Kellogg: <https://lobste.rs/s/erxkun/redundancy_vs_dependencies_which_is_worse/commen…> I’ve known a few old programmers nearing retirement that have a long list of very impressive accomplishments. The older and more accomplished they get, the more they prefer redundancy over dependency. The oldest and most accomplished will write their own load balancers, TCP stacks, loggers, everything if need be. Are they on to something? - From HN: <https://news.ycombinator.com/item?id=10972051#up_10979314> If you have the time, I'd advise you to learn Haskell, in order to stretch your mind and become an excellent OCaml developer, the way learning Latin makes you a better French or Italian writer. - HN markov chain parody site headline: <http://news.ycombniator.com/comments/comments_419.html> $690 for an hour minimum wage for state management in haskell *Recorded Talk of the Week:* - On Dec 17 last year <http://www.meetup.com/haskellhackersathackerdojo/events/226870399/>, Andrew Gibiansky demoed IHaskell, a Mathematica-like "capable graphical alternative" to the ghci REPL at the NorCal Hacker Dojo. Thanks go to Joe "begriffs" Nelson who recorded the talk and summarized it into bullet points <http://begriffs.com/posts/2016-01-20-ihaskell-notebook.html>. Joe's page was well-received at both Hacker News <https://news.ycombinator.com/item?id=10942969> and Haskell Reddit <https://www.reddit.com/r/haskell/comments/41xnhw/demo_of_ihaskell_notebook_…> . p.s. There will be no News next week. HWN will resume the week after. -- Kim-Ee

1 0

ETAPS 2017 call for satellite events
by Tarmo Uustalu 27 Jan '16

27 Jan '16

20th European Joint Conferences on Theory and Practice of Software ETAPS 2017 Uppsala, Sweden, 23-29 April 2017 http://www.etaps.org/2017/ Call for Satellite Events -- ABOUT ETAPS -- The European Joint Conferences on Theory and Practice of Software (ETAPS) is the primary European forum for academic and industrial researchers working on topics relating to Software Science. It is an annual event held in Europe each spring since 1998. Its twentieth edition, ETAPS 2017, will take place 23-29 April 2017 in Uppsala, Sweden. ETAPS 2017 main conferences, scheduled for 25-28 April, are: * ESOP: European Symposium on Programming * FASE: Fundamental Approaches to Software Engineering * FOSSACS: Foundations of Software Science and Computation Structures * POST: Principles of Security and Trust * TACAS: Tools and Algorithms for the Construction and Analysis of Systems -- SATELLITE EVENTS -- The ETAPS 2017 organizing committee invites proposals for satellite events (workshops) that will complement the main conferences. They should fall within the scope of ETAPS. This encompasses all aspects of the system development process, including specification, design, implementation, analysis and improvement, as well as the languages, methodologies and tools which support these activities, covering a spectrum from practically-motivated theory to soundly-based practice. Satellite events provide an opportunity to discuss and report on emerging research approaches and practical experience relevant to theory and practice of software. ETAPS 2017 satellite events will be held immediately before and after the main conferences, on 23-24 April and 29 April. -- ARRANGEMENTS FOR SATELLITE EVENTS -- The organizers of an ETAPS 2017 satellite are expected to: * create and maintain a website for the event, * form a PC, produce a call for papers for the event (if appropriate), * advertise the event through specialist mailing lists etc. to complement the publicity of ETAPS, * review the submissions received and make acceptance decisions, * prepare an informal (pre)proceedings for the event (if appropriate), * prepare the event's program complying with any scheduling constraints defined by the ETAPS 2017 organizing committee, * prepare and organize the publication of a formal (post)proceedings (if desired). The ETAPS 2017 organizing committee will: * promote the event on the website and in the publicity material of ETAPS 2017, * integrate the event's program into the overall program of the conference, * arrange registration for the event as a component of registration for ETAPS, * collect a participation fee from the registrants, * produce a compilation USB memory stick of the informal (pre)proceedings of the satellite events of ETAPS 2017 and distribute this to the registrants, * provide the event with a meeting room of an appropriate size, A/V equipment, coffee breaks and possibly lunch(es). As a rule, ETAPS will not contribute toward the travel or accommodation costs of invited speakers or organizers of satellite events. -- SUBMISSION OF SATELLITE EVENT PROPOSALS -- Researchers and practitioners wishing to organize satellite events are invited to submit proposals to the workshop co-chairs Konstantinos Sagonas and Mohamed Faouzi Atig using the web form at http://www.etaps.org/2017/call-for-workshops . The following information is requested: * the name and acronym of the satellite event * the names and contact information of the organizers * the duration of the event: one or two days * the preferred period: 23 April, 24 April, 23-24 April or 29 April * the expected number of participants * a brief description (120 words approximately) of the event topic for the website and publicity material of ETAPS 2017 * a brief explanation of the event topic and its relevance to ETAPS * an explanation of the selection procedure of contributions to the event, the PC chair and members, if known already, information about past editions of the event, if applicable * any other relevant information, like a special event format, invited speakers, demo sessions, special space requirements, etc. * a tentative schedule for paper submission, notification of acceptance and final versions for the (informal pre-)proceedings (the ETAPS 2017 organizing committee will need the final files by the end of Feb. 2017) * the plans for formal publication (no formal publication, formal proceedings ready by the event, formal post-proceedings, publication venue - EPTCS or elsewhere) The proposals will be evaluated by the ETAPS 2017 organizing committee on the basis of their assessed benefit for prospective participants of ETAPS 2017. Prospective organizers may wish to consult the web pages of previous satellite events as examples: ETAPS 2016: http://www.etaps.org/2016/workshops ETAPS 2015: http://www.etaps.org/2015/workshops ETAPS 2014: http://www.etaps.org/2014/workshops ETAPS 2013: http://www.etaps.org/2013/workshops ETAPS 2012: http://www.etaps.org/2012/workshops -- IMPORTANT DATES -- Satellite event proposals deadline: 14 March 2016 Notification of acceptance: early April 2016 -- HOST CITY -- Uppsala has a rich history, having for long periods been the political, religious and academic center of Sweden. Uppsala University is over 500 years old, is consistently ranked among the top 100 in the world, and has been the home of many great scientists over the years, for instance Carl von Linne, Anders Celsius and Anders Jonas Ångström. Uppsala is 60 kms from Stockholm and is well connected to Stockholm Arlanda airport. -- FURTHER INFORMATION AND ENQUIRIES -- Please contact the workshop co-chairs, Konstantinos Sagonas, kostis(a)it.uu.se, and Mohamed Faouzi Atig, mohamed_faouzi.atig(a)it.uu.se.

1 0

NFM 2016 - third call for papers
by Klaus Havelund 27 Jan '16

27 Jan '16

NFM 2016 - Call For Papers The 8th NASA Formal Methods Symposium http://crisys.cs.umn.edu/nfm2016 June 07 - June 09 2016 McNamara Alumni Center University of Minnesota 200 Oak Street S.E., Minneapolis, MN 55455 THEME OF THE SYMPOSIUM The widespread use and increasing complexity of mission-critical and safety-critical systems at NASA and the aerospace industry requires advanced techniques that address their specification, design, verification, validation, and certification requirements. The NASA Formal Methods Symposium is a forum to foster collaboration between theoreticians and practitioners from NASA, academia, and the industry, with the goal of identifying challenges and providing solutions towards achieving assurance for such critical systems. New developments and emerging applications like autonomous on-board software for Unmanned Aerial Systems (UAS), UAS Traffic Management (UTM), advanced separation assurance algorithms for aircraft, and the need for system-wide fault detection, diagnosis, and prognostics provide new challenges for system specification, development, and verification approaches. Similar challenges need to be addressed during development and deployment of on-board software for spacecraft ranging from small and inexpensive CubeSat systems to manned spacecraft like Orion, as well as for ground systems. The focus of the symposium will be on formal techniques and other approaches for software assurance, their theory, current capabilities and limitations, as well as their potential application to aerospace, robotics, and other NASA-relevant safety-critical systems during all stages of the software life-cycle. TOPICS OF INTEREST INCLUDE BUT ARE NOT LIMITED TO * Model checking * Theorem proving * SAT and SMT solving * Symbolic execution * Static analysis * Model-based development * Runtime verification * Software and system testing * Safety assurance * Fault tolerance * Compositional verification * Security and intrusion detection * Design for verification and correct-by-design techniques * Techniques for scaling formal methods * Applications of formal methods in the development of: * autonomous systems * safety-critical artificial intelligence systems * cyber-physical, embedded, and hybrid systems * fault-detection, diagnostics, and prognostics systems * Use of formal methods in: * assurance cases * human-machine interaction analysis * requirements generation, specification, and validation * automated testing and verification IMPORTANT DATES - Paper Submission: 2/19/2016 - Paper Notifications: 4/8/2016 - Camera-ready Papers: 4/27/2016 - Symposium: 6/7 - 6/9/2016 LOCATION The symposium will take place at McNamara Alumni Center, University of Minnesota. Registration is required but is free of charge. SUBMISSION DETAILS There are two categories of submissions: 1. Regular papers describing fully developed work and complete results (maximum 15 pages) 2. Short papers on tools, experience reports, or work in progress with preliminary results (maximum 6 pages) All papers must be in English and describe original work that has not been published or submitted elsewhere. All submissions will be fully reviewed by at least three members of the Program Committee. Papers will appear in a volume of Springer's Lecture Notes in Computer Science (LNCS), and must use LNCS style formatting. Papers must be submitted in PDF format at the EasyChair submission site: https://easychair.org/conferences/?conf=nfm2016 Authors of selected best papers may be invited to submit an extended version to a special issue of the Journal of Automated Reasoning (Springer). ORGANIZING COMMITTEE - Michael Lowry, NASA Ames Research Center, USA (NASA Liaison) - Johann Schumann, SGT, Inc./NASA Ames Research Center, USA (General Chair) - Oksana Tkachuk, SGT, Inc./NASA Ames Research Center, USA (PC Chair) - Sanjai Rayadurgam, University of Minnesota, USA (PC Chair) - Mike Whalen, University of Minnesota, USA (Financial Chair) - Mats Heimdahl, University of Minnesota, USA (Local Arrangements Chair) PROGRAM COMMITTEE - Julia Badger, NASA Johnson Space Center, USA - Clark Barrett, New York University, USA - Saddek Bensalem, Verimag and University Joseph Fourier, France - Dirk Beyer, University of Passau, Germany - Borzoo Bonakdarpour, McMaster University, Canada - Alessandro Cimatti, FBK, Italy - Darren Cofer, Rockwell Collins, Inc., USA - Myra Cohen, University of Nebraska-Lincoln, USA - Misty Davies, NASA Ames Research Center, USA - Leonardo de Moura, Microsoft, USA - Ben Di Vito, NASA Langley Research Center, USA - Alexandre Duret-Lutz, LRDE / EPITA, France - Andrew Gacek, Rockwell Collins, Inc., USA - Pierre-Loic Garoche, ONERA, France - Shalini Ghosh, SRI International, USA - Susanne Graf, Universite Joseph Fourier / CNRS / VERIMAG, France - Radu Grosu, Stony Brook University, USA - Arie Gurfinkel,SEI, Carnegie Mellon University, USA - Klaus Havelund, NASA Jet Propulsion Laboratory, USA - Constance Heitmeyer, Naval Research Laboratory, USA - Gerard Holzmann, NASA Jet Propulsion Laboratory, USA - Falk Howar, TU Clausthal / IPSSE, Germany - Rajeev Joshi, NASA Jet Propulsion Laboratory, USA - Dejan Jovanović, SRI International, USA - Gerwin Klein, NICTA and University of New South Wales, Australia - Daniel Kroening, University of Oxford, UK - Rahul Kumar, NASA Jet Propulsion Laboratory, USA - Michael Lowry, NASA Ames Research Center, USA - Célia Martinie, ICS-IRIT, Université Paul Sabatier, France - Eric Mercer, Brigham Young University, USA - Cesar Munoz, NASA Langley Research Center, USA - Jorge A Navas, SGT, Inc./NASA Ames Research Center, USA - Natasha Neogi, NASA Langley Research Center, USA - Ganesh Pai, SGT, Inc./NASA Ames Research Center, USA - Charles Pecheur, Université catholique de Louvain, Belgium - Lee Pike, Galois, Inc., USA - Andreas Podelski, University of Freiburg, Germany - Pavithra Prabhakar, Kansas State University, USA - Venkatesh Prasad Ranganath, Kansas State University, USA - Franco Raimondi, Middlesex University, UK - Kristin Yvonne Rozier, University of Cincinnati, USA - Neha Rungta, SGT, Inc./NASA Ames Research Center, USA - Oleg Sokolsky, University of Pennsylvania, USA - Stefano Tonetta, FBK, Italy - Helmut Veith, Vienna University of Technology, Austria - Willem Visser, Stellenbosch University, South Africa - Virginie Wiels, ONERA / DTIM, France - Guowei Yang, Texas State University, USA STEERING COMMITTEE - Julia Badger, NASA Johnson Space Center, USA - Ben Di Vito, NASA Langley Research Center, USA - Klaus Havelund, NASA Jet Propulsion Laboratory, USA - Gerard Holzmann, NASA Jet Propulsion Laboratory, USA - Michael Lowry, NASA Ames Research Center, USA - Kristin Yvonne Rozier, University of Cincinnati, USA - Johann Schumann, SGT, Inc./NASA Ames Research Center, USA

1 0

ANNOUNCE: Haskell for Mac, 1.1
by Manuel M T Chakravarty 27 Jan '16

27 Jan '16

Haskell for Mac, the interactive Haskell development environment for OS X, has just received a significant update. In particular, the new command line tool integration essentially turns it into a full GHC distribution for OS X. For details, please see http://haskellformac.com/news.html Cheers, Manuel

1 0

2nd CFP. Int. Conf. Graph Transformation, Vienna July 2016
by Rachid Echahed 26 Jan '16

26 Jan '16

[Apologies if you receive multiple copies of this CFP] ============================================================================== Second Call for Papers ICGT 2016 9th International Conference on Graph Transformation www.graph-transformation.org Held as Part of STAF 2016 http://staf2016.conf.tuwien.ac.at/ July 5-6, 2016, Vienna, Austria ============================================================================== Important Dates: Abstract submission: 15 February 2016 Full paper submission: 29 February 2016 Notification of acceptance: 07 April 2016 Final version due: 21 April 2016 Conference: 5-6 July 2016 ============================================================================== Invited Speaker: We are pleased to announce Juergen Dingel (Queen's University, Ontario, Canada) as invited speaker. ============================================================================== Scope: Graphs are used almost everywhere when representing or modelling structures and systems, not only in applied and theoretical computer science, but also in, e.g., natural and engineering sciences. Graph transformation and graph grammars are the fundamental modelling paradigms for describing, formalizing, and analyzing graphs that change over time when modelling, e.g., dynamic data structures, systems, or models. The International Conference on Graph Transformation (ICGT) series aims to bring together researchers from different areas in this context and to provide a forum for presenting new results, discussing novel ideas and sharing experience. In order to foster a lively exchange of perspectives on the subject of the conference, the programme committee of the ninth edition of ICGT encourages all kinds of contributions related to graph transformation. Topics of interest include, BUT ARE NOT LIMITED TO the following subjects: - General models of graph transformation (e.g., high-level, adhesive, node, edge, and hyperedge replacement systems) - Analysis and verification of graph transformation systems - Graph theoretical properties of graph languages - Automata on graphs and parsing of graph languages - Logical aspects of graph transformation - Computational models based on graph transformation - Structuring and modularization concepts for graph transformation systems - Hierarchical graphs and decompositions of graphs - Parallel, concurrent, and distributed graph transformation - Modelling and analysis of dynamic data structures - Term graph rewriting - Graph transformation and Petri nets - Ontologies and ontology evolution - Graph databases - Modelling and realizing software architectures, refactoring, evolution, workflows, business processes, access control, security policies, service-oriented applications, semantic web, ... - Natural language processing, natural computing, bioinformatics, quantum computing, ubiquitous computing, visual computing, image generation, natural and engineering sciences, ... - Model-driven development and model transformation based on graph transformation - Model checking, program verification, simulation and animation - Syntax, semantics and implementation of programming languages, domain-specific languages, and visual languages - Graph transformation languages and tool support - Efficient algorithms (pattern matching, graph traversal etc.) The 9th International Conference on Graph Transformation (ICGT 2016) will be held in Vienna, Austria, as a STAF event (http://staf2016.conf.tuwien.ac.at/) The conference takes place under the auspices of EATCS (http://www.eatcs.org/) EASST (http://www.easst.org/) and IFIP (http://www.ifip.org/) WG 1.3. Program Committee ----------------- Rachid Echahed (Co-Chair, CNRS and University of Grenoble Alpes, France) Mark Minas (Co-Chair, UniversitÃ¤t der Bundeswehr MÃ¼nchen, Germany) GÃ¡bor Bergmann (Budapest University of Technology and Economics, Hungary) Paolo Bottoni (Sapienza Univ. di Roma, Italy) Andrea Corradini (UniversitÃ di Pisa, Italy) Juan de Lara (Universidad Autonoma de Madrid, Spain) Frank Drewes (UmeÃ¥ University, Sweden) Claudia Ermel (Technische UniversitÃ¤t Berlin, Germany) Holger Giese (Hasso Plattner Institute, University of Potsdam, Germany) Annegret Habel (UniversitÃ¤t Oldenburg, Germany) Reiko Heckel (University of Leicester, UK) Berthold Hoffmann (UniversitÃ¤t Bremen, Germany) Dirk Janssens (Universiteit Antwerpen, Belgium) Barbara KÃ¶nig (University of Duisburg-Essen, Germany) Christian Krause (SAP Innovation Centre Potsdam, Germany) Sabine Kuske (UniversitÃ¤t Bremen, Germany) Leen Lambers (Hasso Plattner Institute, University of Potsdam, Germany) Yngve Lamo (Bergen University College, Norway) TihamÃ©r Levendovszky (Vanderbilt University, USA) Mohamed Mosbah (LaBRI , UniversitÃ© de Bordeaux, France) Fernando Orejas (Technical University of Catalonia, Spain) Francesco Parisi-Presicce (Sapienza Univ. di Roma, Italy) Detlef Plump (University of York, UK) Arend Rensink (University of Twente, The Netherlands) Leila Ribeiro (Universidade Federal do Rio Grande do Sul, Brazil) Andy SchÃ¼rr (Technische UniversitÃ¤t Darmstadt, Germany) Martin Strecker (UniversitÃ© de Toulouse, France) Gabriele Taentzer (Philipps-UniversitÃ¤t Marburg, Germany) Matthias Tichy (University of Ulm, Germany) Pieter Van Gorp (Eindhoven University of Technology, The Netherlands) Hans Vangheluwe (Universiteit Antwerpen, Belgium) Bernhard Westfechtel (University of Bayreuth, Germany) Albert ZÃ¼ndorf (Kassel University, Germany) Paper Submission ---------------- Papers are solicited in three categories: * Research papers (limited to 16 pages in Springer LNCS format) describe innovative contributions and are evaluated with respect to their originality, significance, and technical soundness. Additional material intended for reviewers but not for publication in the final version may be included in a clearly marked appendix. * Case studies (limited to 12 pages in Springer LNCS format) describe applications of graph transformations in any application domain. * Tool presentation papers (limited to 12 pages in Springer LNCS format) demonstrate the main features and functionality of graph-based tools. A tool presentation paper may have an appendix with a detailed demo description (up to 5 pages), which will be reviewed but not included in the proceedings. Papers can be submitted athttp://www.easychair.org/conferences/?conf=icgt2016. Submitted papers must use Springer's LNCS format (http://www.springer.com/lncs) Simultaneous submission to other conferences with proceedings or submission of material that has already been published elsewhere is not allowed. The page limits are strict and include references. Proceedings will be published by Springer in the Lecture Notes in Computer Science (http://www.springer.com/lncs) series. Important Dates --------------- Abstract submission: 15 February 2016 Full paper submission: 29 February 2016 Notification of acceptance: 07 April 2016 Final version due: 21 April 2016 Conference: 5-6 July 2016 Further Information ------------------- Web page:http://www.graph-transformation.org https://sites.google.com/site/icgt2016/ Contact:icgt2016@gmail.com

1 0

Haskell Weekly News
by Kim-Ee Yeoh 22 Jan '16

22 Jan '16

Dear Gentle Reader, Many, many beautiful gems in the Haskell Weekly News archives are worth a second look. To give you a taste, I reproduce below excerpts from the quotes section of the Jan 31, 2007 issue -- yes, that's 9 years ago -- under the editorship of Don Stewart. Enjoy. Best, Kim-Ee Yeoh *Top Picks* - Edsko de Vries designs O(1)-amortized and O(1)-worst-case queues <http://www.well-typed.com/blog/2016/01/efficient-queues/> using a technique different from the standard literature by Chris Okasaki. In particular, the O(1)-worst-case queue employs a Progress datatype that could be reused to also optimize data structures other than queues. On the other hand, Lennart Augustsson on /r/haskell was pleased as a plum until he saw the unsafeInterleaveST <https://www.reddit.com/r/haskell/comments/412n6n/new_blog_post_efficient_am…> required to pull off the Progress technique. Elsewhere, Hacker News rates the article highly enough <https://news.ycombinator.com/item?id=10913720> for it to stay on the front page for five hours <http://hnrankings.info/10913720/>. However, the comments there belie that the advanced Haskell goes swoosh over the head of the average HN reader. - Philipp Schuster sketches a FRP implementation based on temporal logic <http://haskellexists.blogspot.com/2016/01/frp-for-free.html>. Neel Krishnaswami explains on /r/haskell why it suffers from space leaks <https://www.reddit.com/r/haskell/comments/40x4wf/frp_for_free/> like most other FRP implementations and ways of fixing it. - Dan Burton reports that the latest version 0.10 of the json parsing package aeson suffers from deal-breaking bugs <https://unknownparallel.wordpress.com/2016/01/14/what-to-do-with-aeson-0-10/>. Aeson author Bryan O'Sullivan, of an older email-centered generation, explains that he has "a life outside of checking github issues" in the /r/haskell discussion <https://www.reddit.com/r/haskell/comments/4101ad/what_to_do_with_aeson010/>. In any case, the next stepping 5 of Stackage LTS rolls it back to version 0.9 <https://www.reddit.com/r/haskell/comments/41gpdk/lts4_with_aeson010_is_bein…> . - A redditor asks, "What's the TypeInType extension planned for the upcoming version 8 of GHC?" The short answer is that it's used for dependent type programming. Detailed answers can be found in the actual /r/haskell Q&A <https://www.reddit.com/r/haskell/comments/4180k3/what_is_typeintype/>. - GHC on ARM used to suffer over 100 failures on the testsuite <https://ghc.haskell.org/trac/ghc/ticket/11206>. Ben Gamari girds his loins and over the last 6 weeks battled against "the villains that plague this poor architecture." Result? Nightly builds now compile clean. Go Ben! *A Blast from the Past (Quotes from #Haskell IRC):* <http://sequence.complete.org/hwn/20070131> - *huschi:* Programing in haskell seems a bit frustrating. i'm missing searching for errors :( - *bakert:* I know all my programs can be reduced to only one tenth the size if only I can learn all these crazy functions *Quote of the Week* - Will Jones: The more I write Haskell, the more it feels like Forth. Where I'm basically just inventing a language for my problem, then writing the program in that instead. (Ed. Dear Will: Remember how Dijkstra once said "Always design your programs as a member of a whole family of programs, including those that are likely to succeed it"? He would have warmly congratulated you on your discovery.) -- Kim-Ee Yeoh

1 0

1st Call for Contributions for SPLASH'16: OOPSLA, Onward!, Workshops, DLS, SLE, GPCE
by Tijs van der Storm 19 Jan '16

19 Jan '16

/************************************************************************************/ ACM Conference on Systems, Programming, Languages, and Applications: Software for Humanity (SPLASH'16) Amsterdam, The Netherlands Sun 30th October - Fri 4th November , 2016 http://2016.splashcon.org Sponsored by ACM SIGPLAN /************************************************************************************/ FIRST COMBINED CALL FOR CONTRIBUTIONS: OOPSLA Onward! Workshops Doctoral Symposium Posters Dynamic Languages Symposium (DLS) Software Language Engineering (SLE) Generative Programming: Concepts & Experiences (GPCE) /************************************************************************************/ # SPLASH 2016 The ACM SIGPLAN conference on Systems, Programming, Languages and Applications: Software for Humanity (SPLASH) embraces all aspects of software construction, to make it the premier conference at the intersection of programming, languages, systems, and software engineering. We invite high quality submissions describing original and unpublished work. ## OOPSLA Research Papers Papers that address any aspect of software development are welcome, including requirements, modeling, prototyping, design, implementation, generation, analysis, verification, testing, evaluation, maintenance, reuse, replacement, and retirement of software systems. Papers may address these topics in a variety of ways, including new tools (such as languages, program analyses, and runtime systems), new techniques (such as methodologies, design processes, code organization approaches, and management techniques), and new evaluations (such as formalisms and proofs, corpora analyses, user studies, and surveys). Submissions due: Wed 23 March, 2016 http://2016.splashcon.org/track/splash-2016-oopsla ## Onward! Research Papers Onward! is a premier multidisciplinary conference focused on everything to do with programming and software: including processes, methods, languages, communities, and applications. Onward! is more radical, more visionary, and more open than other conferences to ideas that are well-argued but not yet proven. We welcome different ways of thinking about, approaching, and reporting on programming language and software engineering research. Submissions due: Fri 1 April, 2016 http://2016.splashcon.org/track/onward2016/onward-2016-papers ## Onward! Essays Onward! Essays is looking for clear and compelling pieces of writing about topics important to the software community. An essay can be an exploration of a topic, its impact, or the circumstances of its creation; it can present a personal view of what is, explore a terrain, or lead the reader in an act of discovery; it can be a philosophical digression or a deep analysis. It can describe a personal journey, perhaps by which the author reached an understanding of such a topic. The subject area should be interpreted broadly and can include the relationship of software to human endeavors, or its philosophical, sociological, psychological, historical, or anthropological underpinnings. Submissions due: Fri 1 April, 2016 http://2016.splashcon.org/track/onward2016/onward2016-essays ## Workshops The SPLASH Workshops track will host a variety of high-quality 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. Workshops cultivate new ideas and concepts for the future, optionally recorded in formal proceedings. Late Phase Submissions of Workshop Proposals due: Fri 4 Mar, 2016 http://2016.splashcon.org/track/splash2016-workshops ## Doctoral Symposium The SPLASH Doctoral Symposium provides students with useful guidance for completing their dissertation research and beginning their research careers. The Symposium will provide an interactive forum for doctoral students who have progressed far enough in their research to have a structured proposal, but will not be defending their dissertation in the next 12 months. Submissions due: Thu 30 Jun, 2016 http://2016.splashcon.org/track/splash-2016-ds ## Posters The SPLASH Poster track provides an excellent forum for authors to present their recent or ongoing projects in an interactive setting, and receive feedback from the community. We invite submissions covering any aspect of programming, systems, languages and applications. The goal of the poster session is to encourage and facilitate small groups of individuals interested in a technical area to gather and interact. Poster submissions due: Fri 8 Jul, 2016 http://2016.splashcon.org/track/splash-2016-posters ## Dynamic Languages Symposium (DLS) DLS is the premier forum for researchers and practitioners to share knowledge and research on dynamic languages, their implementation, and applications. The influence of dynamic languages — from Lisp to Smalltalk to Python to Javascript — on real-world practice, and research, continues to grow. We invite high quality papers reporting original research, innovative contributions, or experience related to dynamic languages, their implementation, and applications. Submissions due: Fri 10 June, 2016 http://2016.splashcon.org/track/dls-2016/dls-2016-papers ## Software Language Engineering (SLE) Software Language Engineering (SLE) is the application of systematic, disciplined, and measurable approaches to the development, use, deployment, and maintenance of software languages. The term “software language” is used broadly, and includes: general-purpose programming languages; domain-specific languages (e.g. BPMN, Simulink, Modelica); modeling and metamodeling languages (e.g. SysML and UML); data models and ontologies (e.g. XML-based and OWL-based languages and vocabularies). SLE solicits high-quality contributions in areas ranging from theoretical and conceptual contributions to tools, techniques, and frameworks in the domain of language engineering. Submissions due: Fri 17 June, 2016 (abstracts); Fri 24 June, 2016 (papers) http://2016.splashcon.org/track/sle-2016/sle-2016-papers ## Generative Programming: Concepts & Experiences (GPCE) The International Conference on Generative Programming: Concepts & Experiences (GPCE) is a venue for researchers and practitioners interested in techniques that use program generation, domain-specific languages, and component deployment to increase programmer productivity, improve software quality, and shorten the time-to-market of software products. In addition to exploring cutting-edge techniques of generative software, our goal is to foster further cross-fertilization between the software engineering and the programming languages research communities. Submissions due: Fri 17 June, 2016 (abstracts); Fri 24 June, 2016 (papers) http://2016.splashcon.org/track/gpce-2016/gpce-2016-papers ## Information Contact: publicity(a)splashcon.org Website: http://2016.splashcon.org Location: Mövenpick Hotel Amsterdam City Centre Amsterdam, The Netherlands ## Organization: SPLASH General Chair: Eelco Visser (TU Delft) OOPSLA Papers Chair: Yannis Smaragdakis (University of Athens) Onward! Papers Chair: Emerson Murphy-Hill (North Carolina State University) Onward! Essays Chair: Crista Lopes (University of California, Irvine) DLS PC Chair: Roberto Ierusalimschy (PUC-Rio) SLE PC Co-Chairs: Emilie Balland (Sensational AG) and Daniel Varro (Budapest University of Technology and Economics) GPCE PC Chair: Ina Schaefer (TU Braunschweig) Doctoral Symposium Chair: Matthew Flatt (University of Utah) SPLASH-E Co-Chair: Matthias Hauswirth (University of Lugano) and Steve Blackburn (Australian National University) SPLASH-I Co-Chairs: Eelco Visser (TU Delft) and Tijs van der Storm (CWI) Artifacts Co-Chairs: Michael Hind (IBM Research) and Michael Bond (Ohio State University) Workshops Co-Chairs: Jan Rellermeyer (IBM Research) and Craig Anslow (Middlesex University, London) Posters Co-Chairs: Sebastian Erdweg (TU Darmstadt) and Jeff Huang (Texas A&M University) Student Research Competition Co-Chairs: Patrick Lam (University of Waterloo) and Sam Guyer (Tufts University) Student Volunteer Co-Chairs: Daco Harkes (TU Delft) and Giovanni Viviani (University of British Columbia) Publications Chair: Alex Potanin (Victoria University of Wellington) Sponsorship Chair: Jurgen Vinju (Purdue University) Publicity and Web Co-Chairs: Tijs van der Storm (CWI) and Ron Garcia (University of British Columbia) Web Technology Chair: Eelco Visser (TU Delft) /************************************************************************************/ -- Researcher Centrum Wiskunde & Informatica (CWI) Master of Software Engineering Universiteit van Amsterdam (UvA) Dr. Tijs van der Storm @ Centrum Wiskunde & Informatica (CWI) Office: L225 | Phone: +31 (0)20 5924164 | Address: Science Park 123 P.O. Box 94079 | Postal code: 1090 GB | Amsterdam, The Netherlands

1 0