- Haskell - Haskell.org

ANNOUNCE: GHC version 7.10.2
by Ben Gamari 30 Jul '15

30 Jul '15

===================================================================== The (Interactive) Glasgow Haskell Compiler -- version 7.10.2 ===================================================================== The GHC Team is pleased to announce a new bug-fix release of GHC, 7.10.2. There have been a number of significant bug fixes since the 7.10.1 (with over 70 defects fixed). These include fixes affecting type-checker correctness, runtime stability, and compiler performance. For this reason we highly recommend that users of 7.10.1 upgrade quickly. Note that due to changes made in this release to GHC's optimizer, previously fragile-but-working rewrite rules may fail to fire. One example of this was found in the widely-used `text` package late in the release cycle, which manifested in long compilation times and poor code generation for `Text` literals (see [Trac #10528]). Users are advised to use text >=1.2.1.2 which includes more robust rewrite rules. The full release notes including a complete listing of the changes in this release can be found here, https://downloads.haskell.org/~ghc/7.10.2/docs/html/users_guide/release-7-1… [Trac #10528]: https://ghc.haskell.org/trac/ghc/ticket/10528 How to get it ~~~~~~~~~~~~~ Both binary and source tarballs of GHC itself are available on the release download page, https://www.haskell.org/ghc/download_ghc_7_10_2 For a more smoother, better integrated experience users are encouraged to find a Haskell distribution. While these alternatives may not yet include 7.10.2, they offer tools and libraries to quickly get users up and running, as well as potentially better integration with the host operating system and package manager. See, https://www.haskell.org/downloads for more details. Background ~~~~~~~~~~ Haskell is a standard lazy functional programming language. GHC is a state-of-the-art programming suite for Haskell. Included is an optimising compiler generating good 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 (C, whatever). 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), https://www.haskell.org/ Supported Platforms ~~~~~~~~~~~~~~~~~~~ The list of platforms supported by GHC and the people responsible for them can be found here, https://ghc.haskell.org/trac/ghc/wiki/Platforms https://ghc.haskell.org/trac/ghc/wiki/CodeOwners 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 ~~~~~~~~~~ If you enjoy using GHC, you will likely also enjoy contributing to it! We are always looking for new contributors. Instructions on accessing our source code repository, and getting started with hacking on GHC, are available from the GHC developer 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://www.haskell.org/mailman/listinfo/glasgow-haskell-users https://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs There are several other haskell and ghc-related mailing lists on www.haskell.org; for the full list, see https://www.haskell.org/mailman/listinfo/ Some GHC developers hang out on #haskell on IRC, too: 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 Hashes & Signatures ~~~~~~~~~~~~~~~~~ In https://downloads.haskell.org/~ghc/7.10.2/ you will find a signed copy of the SHA256 hashes for the tarballs, using my GPG key, Benjamin Gamari <ben(a)well-typed.com> Fingerprint: FFEB 7CE8 1E16 A36B 3E2D ED6F 2DE0 4D4E 97DB 64AD

3 5

Erlang Workshop: Call for participation
by Hans Svensson 30 Jul '15

30 Jul '15

==================================================================== CALL FOR PARTICIPATION ACM SIGPLAN Erlang Workshop 2015 Vancouver, Canada 4 September, 2015 http://www.erlang.org/workshop/2015/ ==================================================================== The purpose of the Erlang Workshop is to bring together the open source, academic, and industrial programming communities of Erlang. It provides a forum that enables participants to get the latest updates on recent developments, new techniques and tools tailored to Erlang, novel applications, lessons from users' experiences and current research problems relevant to the practice of Erlang and functional programming. These are the accepted papers and program for this year (they should appear on the website shortly): 09:00 - 09:10 Opening & Welcome 09:10 - 10:00 Invited Keynote: “Micro services in Erlang” by Eric Merritt 10:00 - 10:30 Coffee Break 10:30 - 11:30 SCALABILITY and DISTRIBUTION SESSION - The Implementation and Use of a Generic Dataflow Behaviour in Erlang by Christopher Meiklejohn and Peter Van Roy - Performance Portability through Semi-explicit Placement in Distributed Erlang by Kenneth MacKenzie, Natalia Chechina and Phil Trinder 11:30 - 11:50 Break 11:50 - 12:20 TESTING SESSION, part 1 - Attribute Grammars in Erlang by Ulf Norell and Alex Gerdes 12:30 - 14:00 Lunch 14:00 - 15:00 TESTING SESSION, part 2 - Smother - An MC/DC analysis tool for Erlang by Ramsay Taylor and John Derrick - Linking Unit Tests and Properties by Alex Gerdes, John Hughes, Nick Smallbone and Meng Wang 15:00 - 15:15 Break 15:15 - 16:30 Discussion on Erlang, distribution, parallelism, concurrency related research projects" 16:30 - 17:00 Coffee Break 17:00 - 17:20 Erlang Latest News 17:20 - 17:30 Farewell & Closing REGISTRATION IS OPEN: https://regmaster4.com/2015conf/ICFP15/register.php Local arrangements (including travel and accommodation): http://www.icfpconference.org/icfp2015/local.html We hope to see you in Vancouver! -- Hans Svensson and Melinda Tóth Erlang Workshop 2015 Chairs

1 0

Re: [Haskell] [Haskell-cafe] ANNOUNCE: GHC version 7.10.2
by Ben Gamari 30 Jul '15

30 Jul '15

Mikhail Glushenkov <the.dead.shall.rise(a)gmail.com> writes: > Hi, > > On 29 July 2015 at 17:26, Ben Gamari <ben(a)well-typed.com> wrote: >> [...] >> The full release notes including a complete listing of the changes in >> this release can be found here, >> >> https://downloads.haskell.org/~ghc/7.10.2/docs/html/users_guide/release-7-1… > > This gives me error 404. > I'm not sure what else to say other than to suggest adding superfluous `/` characters to the URL as mentioned previously. The document is there, the CDN just still hasn't realized it. Cheers, - Ben

1 0

(no subject)
by lel416＠aol.com 24 Jul '15

24 Jul '15

Can u still purchase general admission tkts Sent from my iPhone

1 0

[LPNMR 2015] EARLY REGISTRATION CLOSING SOON - Call for Participation (student support grants: NEWS)
by Francesco Calimeri 23 Jul '15

23 Jul '15

[apologies for possible multiple copies] Call for Participation *** EARLY REGISTRATION CLOSES SOON *** *** NEW INFORMATION ABOUT STUDENT SUPPORT GRANTS *** --------------------------------------------------------------------------- 13th International Conference on Logic Programming and Non-monotonic Reasoning LPNMR 2015 http://lpnmr2015.mat.unical.it/ Lexington, KY, USA September 27-30, 2015 (Collocated with the 4th Conference on Algorithmic Decision Theory 2015) --------------------------------------------------------------------------- REGISTRATION Registration procedure is available via http://www.cs.uky.edu/lpnmr2015/. Early registration closes before the end of July. AIMS AND SCOPE LPNMR 2015 is the thirteenth in the series of international meetings on logic programming and non-monotonic reasoning. LPNMR is a forum for exchanging ideas on declarative logic programming, non-monotonic reasoning, and knowledge representation. The aim of the conference is to facilitate interactions between researchers and practitioners interested in the design and implementation of logic-based programming languages and database systems, and those working in knowledge representation and nonmonotonic reasoning. LPNMR strives to encompass theoretical and experimental studies that have led or will lead to the construction of systems for declarative programming and knowledge representation, as well as their use in practical applications. LPNMR 2015 The program will include three invited talks: - Stable Models for Temporal Theories - By Pedro Cabalar, University of Corunna, Spain - Algorithmic decision theory meets logic - By Jérôme Lang, Université Paris-Dauphine, France (Plenary session with ADT 2015). - Relational and Semantic Data Mining - By Nada Lavrač, Jožef Stefan Institute and University of Nova Gorica, Slovenia This edition of LPNMR will also feature several workshops, a special session dedicated to the 6th ASP Systems Competition, and will be collocated with the 4th Algorithmic Decision Theory Conference, ADT 2015. Joint LPNMR-ADT Doctoral Consortium will be a part of the program. Some details follow; full info are available via the official conference website http://lpnmr2015.mat.unical.it/. ASSOCIATED EVENTS WORKSHOPS - LPNMR 2015 will include specialized workshops to be held on September 27 prior to the main conference. Currently planned workshops include: - Grounding, Transforming, and Modularizing Theories with Variables Organizers: Marc Denecker, Tomi Janhunen Website: https://sites.google.com/site/gttv2015/ - Action Languages, Process Modeling, and Policy Reasoning Organizer: Joohyung Lee, Gail-Joon Ahn Website: https://sites.google.com/site/alpp2015/ - Natural Language Processing and Automated Reasoning Organizers: Marcello Balduccini, Ekaterina Ovchinnikova, Peter Schueller Website: https://sites.google.com/site/nlpar2015/ - Learning and Nonmonotonic Reasoning Organizers: Alessandra Russo and Alessandra Mileo Website: http://lnmr2015.insight-centre.org/ ASP COMPETITION - A special session dedicated to a discussion of the 6th ASP System Competition, including the methodology of the competition, benchmarks used, lessons learned and, most importantly, the results and the announcement of the winners. ALGORITHMIC DECISION THEORY (ADT) 2015 (collocated - same time and place) Algorithmic Decision Theory is a vibrant and growing area of research concerned with algorithmic aspects of problems arising in social choice and economics that involve optimal ways to aggregate preferences. The area abounds in hard computational problems and may be an axciting area of applications for ASP. The two conferences will seek ways to identify and promote synergies between their respective areas of focus. JOINT LPNMR-ADT DOCTORAL CONSORTIUM: co-Chairs: - Esra Erdem (LPNMR), Sabanci University, Turkey - Nick Mattei (ADT), NICTA, Australia More info: http://lpnmr2015.mat.unical.it/associated-events/adt-lpnmr-2015-doctoral-co… STUDENT SUPPORT GRANTS The organizing committee has limited funds to partially support students attending LPNMR, with priority to authors of accepted papers that are not funded by the doctoral consortium and have no other funding available. The funding will cover registration and partially cover stay in the conference hotel or some other hotel located nearby (the exact number of free nights to be determined). Applicants should submit their requests to lpnmr2015(a)mat.unical.it. A proof of student status is requested. NOTE: Students planning to request financial aid should directly contact Miroslaw Truszczynski <mirek(a)cs.uky.edu> before they register. COMPLIMENTARY MEMBERSHIP OFFER FOR CONFERENCE REGISTRANTS NEW TO AAAI LPNMR 2015 is pleased to acknowledge its cooperation with the Association for the Advancement of Artificial Intelligence (AAAI) [http://www.aaai.org] which will be publicizing the conference to its membership. Of special interest to conference attendees is an introductory membership offer from AAAI, which provides a complimentary 1-year online membership to conference participants who are new to AAAI. Please send a message to membership15(a)aaai.org for further details. VENUE Lexington is a medium size, pleasant and quiet university town. It is located in the heart of the so-called Bluegrass Region in Central Kentucky. The city is surrounded by beautiful horse farms on green pastures dotted with ponds and traditional architecture stables, and small race tracks, and bordered by white or black fences. The Horse Museum is as beautifully located as it is interesting. Overall, the city has a nice feel that mixes well old and new. The conference will be held in the Hilton Lexington Downtown hotel. COMMITTEES GENERAL CHAIR Victor Marek, University of Kentucky, KY, USA PROGRAM CHAIRS Giovambattista Ianni, University of Calabria, Italy Mirek Truszczynski, University of Kentucky, KY, USA WORKSHOPS CHAIR Yuliya Lierler, University of Nebrska at Omaha, NE, USA PUBLICITY CHAIR Francesco Calimeri, University of Calabria, Italy PROGRAM COMMITTEE Agostino Dovier, Università di Udine, Italy Agustín Valverde, Universidad de Màlaga, Spain Alessandra Mileo, National University of Ireland, Galway, INSIGHT Centre for Data Analytics, Ireland Andrea Formisano, Dip. di Matematica e Informatica, Università di Perugia, Italy Axel Polleres, Vienna University of Economics and Business, Austria Bart Bogaerts, Department of Computer Science, KU Leuven, Belgium Chiaki Sakama, Wakayama University, Japan Chitta Baral, Arizona State University, USA Christoph Redl, Vienna University of Technology, Austria Daniela Inclezan, Miami University, USA David Pearce, Universidad Politécnica de Madrid, Spain Emilia Oikarinen, Aalto University, Finland Enrico Pontelli, New Mexico State University, USA Esra Erdem, Sabanci University, Istanbul, Turkey Eugenia Ternovska, Simon Fraser University, Canada Fangkai Yang, Schlumberger Ltd Fangzhen Lin, Hong Kong University of Science and Technology, Hong Kong Francesco Calimeri, Università della Calabria, Italy Gerhard Brewka, Leipzig University, Germany Giovanni Grasso, Oxford University, UK Hannes Strass, Leipzig University, Germany Hans Tompits, Vienna University of Technology, Austria James Delgrande, Simon Fraser University, Canada Jia-Huai You, University of Alberta, Canada Joohyung Lee, Arizona State University, USA Jose Julio Alferes, Universidade Nova de Lisboa, Portugal Kewen Wang, Griffith University, Australia Marc Denecker, K.U.Leuven, Belgium Marcello Balduccini, Drexel University, USA Marina De Vos, University of Bath, UK Martin Gebser, Aalto University, Finland Matthias Knorr, NOVA-LINCS, Universidade Nova de Lisboa, Portugal Mauricio Osorio, Fundacion de la Universidad de las Americas, Puebla, Mexico Michael Fink, Vienna University of Technology, Austria Michael Gelfond, Texas Tech University, USA Orkunt Sabuncu, University of Potsdam, Germany Paul Fodor, Stony Brook University, USA Pedro Cabalar, University of Corunna, Spain Saadat Anwar, Arizona State University, USA Stefan Woltran, Vienna University of Technology Stefania Costantini, Dipartimento di Ingegneria e Scienze dell'Informazione, e Matematica, Univ. di L'Aquila, Italy Terrance Swift, CENTRIA, Universidade Nova de Lisboa, Portugal Thomas Eiter, Vienna University of Technology, Austria Tomi Janhunen, Aalto University, Finland Torsten Schaub, University of Potsdam, Germany Tran Cao Son, New Mexico State University, USA Vladimir Lifschitz, University of Texas at Austin, USA Wolfgang Faber, University of Huddersfield, UK Yi Zhou, University of Western Sydney, Australia Yisong Wang, Guizhou University, China Yuliya Lierler, University of Nebraska at Omaha, USA CONTACT lpnmr2015(a)mat.unical.it

1 0

ANNOUNCE: fgl-5.5.2.0 and fgl-arbitrary-0.2.0.0
by Ivan Lazar Miljenovic 22 Jul '15

22 Jul '15

I'm pleased to announce that I've (finally!) just released version 5.5.2.0 of [fgl]. Major changes in this release include a test suite, refactorings, code clean-ups and the following potentially breaking changes (in that they were previously unspecified or incorrect): - `nodeRange` and `nodeRangeM` for the various graph data structures erroneously returned `(0,0)` for empty graphs (making them indistinguishable from graphs containing the single node `0`). They now match the default implementation of throwing an error. - The behaviour of `delLEdge` when dealing with multiple edges was unspecified; it now deletes only a single edge and the new function `delAllLEdge` deletes all edges matching the one provided. All changes can be found in the changelog. [fgl]: https://hackage.haskell.org/package/fgl Along with this I'm releasing version 0.2.0.0 of [fgl-arbitrary] (i.e. the "I finally build against the version on Hackage" release). [fgl-arbitrary]: https://hackage.haskell.org/package/fgl-arbitrary -- Ivan Lazar Miljenovic Ivan.Miljenovic(a)gmail.com http://IvanMiljenovic.wordpress.com

1 0

Haskell developer position in research group
by Ward C Wheeler 22 Jul '15

22 Jul '15

(Apologies if this this list is inappropriate for such an announcement) My research group at the American Museum of Natural History in New York City is recruiting a developer (ideally with Haskell experience, but functional programming experience a must) for a research grant funded project in evolutionary bioinformatics. If you are interested, please contact me directly at wheeler(a)amnh.org with a CV and contact information for 3 references. Ward Wheeler Division of Invertebrate Zoology American Museum of Natural History Central Park West at 79th Street New York, NY 10024-5192 USA http://www.amnh.org/our-research/staff-directory/ward-wheeler http://www.amnh.org/our-research/computational-sciences/research/projects/s…

1 0

ICFP 2015 Call for Participation
by David Van Horn 18 Jul '15

18 Jul '15

[ Early registration ends 3 August. ] ===================================================================== Call for Participation ICFP 2015 20th ACM SIGPLAN International Conference on Functional Programming and affiliated events August 30 - September 5, 2015 Vancouver, British Columbia, Canada http://icfpconference.org/icfp2015/ ===================================================================== ICFP provides a forum for researchers and developers to hear about the latest work on the design, implementations, principles, and uses of functional programming. The conference covers the entire spectrum of work, from practice to theory, including its peripheries. A full week dedicated to functional programming: 1 conference, 1 symposium, 11 workshops, tutorials, programming contest results, student research competition, and mentoring workshop * Program: http://icfpconference.org/icfp2015/program.html * Accepted Papers: http://icfpconference.org/icfp2015/accepted.html * Affiliated Events: http://icfpconference.org/icfp2015/affiliated.html * Local arrangements (including travel and accommodation): http://icfpconference.org/icfp2015/local.html * Registration is available via: https://regmaster4.com/2015conf/ICFP15/register.php Early registration is due 3 August, 2015. * Programming contest, 7-10 August, 2015: http://icfpcontest.org/ * Follow @icfp_conference on twitter for the latest news: http://twitter.com/icfp_conference There are several events affiliated with ICFP: Sunday, August 30 Haskell Implementors Workshop Workshop on Higher-order Programming with Effects Workshop on Generic Programming Programming Languages Mentoring Workshop Ally Skills Tutorial Monday, August 31 – Wednesday, September 2 ICFP Thursday, September 3 Workshop on Functional High-Performance Computing Haskell Symposium – Day 1 ML Family Workshop Commercial Users of Functional Programming – Day 1 Friday, September 4 Erlang Workshop Haskell Symposium – Day 2 OCaml Workshop Commercial Users of Functional Programming – Day 2 Scheme and Functional Programming Workshop Saturday, September 5 Functional Art, Music, Modeling and Design Commercial Users of Functional Programming – Day 3 Conference Organizers General Chair: Kathleen Fisher, Tufts University Program Chair: John Reppy, University of Chicago Local Arrangements Chair: Ronald Garcia, University of British Columbia Industrial Relations Chair: Anil Madhavapeddy, University of Cambridge Workshop Co-Chairs: Tom Schrijvers, KU Leuven Nicolas Wu, University of Bristol Programming Contest Chair: Joe Kiniry, Galois Student Research Competition Chair: Andrew Kennedy, Microsoft Research Mentoring Workshop Co-Chairs: Ronald Garcia, University of British Columbia Stephanie Weirich, University of Pennsylvania Publicity Chair: David Van Horn, University of Maryland Video Chair: Iavor Diatchki, Galois Student Volunteer Co-Chairs: Felipe Bañados Schwerter, University of British Columbia Gabriel Scherer, INRIA Mobile App Chair: Reid Holmes, University of Waterloo Industrial partners: Platinum partners Jane Street Capital Gold partners Anonymous donor Ahrefs Google Mozilla Research Oracle Labs Silver partners Bloomberg Tsuru Capital Galois The University of Chicago Bronze partners Erlang Solutions FireEye IntelliFactory PivotCloud Systor Vest =====================================================================

1 0

SPLASH 2015 - Workshops Combined Call for Papers
by Craig Anslow 17 Jul '15

17 Jul '15

/************************************************************************************/ ACM Conference on Systems, Programming, Languages, and Applications: Software for Humanity (SPLASH'15) Pittsburgh, Pennsylvania, USA 25th-30th October, 2015 http://www.splashcon.org Sponsored by ACM SIGPLAN /************************************************************************************/ CALL FOR WORKSHOP PAPERS AND PARTICIPATION Submissions Deadline: August 7, 2015 /************************************************************************************/ SPLASH'15 workshops address a rich variety of well-known and newly emerging research areas and provide a creative and collaborative environment to discuss and solve challenge problems with attendees from industry and research organizations from all over the world. Submission deadlines vary from workshop to workshop. Some workshops will be published in the ACM Digital Library. The current SPLASH'15 workshops program is listed below and the abstracts at the end. ************************************************************** CURRENT WORKSHOP PROGRAM AGERE! - Workshop on Programming based on Actors, Agents, and Decentralized Control http://2015.splashcon.org/track/agere2015 Abstracts: August 1, 2015, Submissions: August 7, 2015, Position/work-in-progress Papers and Demos: September 7, 2015 DSM - Workshop on Domain-Specific Modeling http://2015.splashcon.org/track/dsm2015 Submissions: August 7, 2015 ETX - Eclipse Technology eXchange Workshop http://2015.splashcon.org/track/etx2015 Paper Registration: July 31, 2015 Submissions: August 7, 2015 FPW - Future Programming Workshop http://2015.splashcon.org/track/fpw2015 Submissions: August 7, 2015 MobileDeLi - Workshop on Mobile Development Lifecycle http://2015.splashcon.org/track/mobiledeli2015 Submissions: August 7, 2015 PLATEAU – Workshop on Evaluation and Usability of Programming Languages and Tools http://2015.splashcon.org/track/plateau2015 Submissions: August 7, 2015 PROMOTO – Workshop on Programming for Mobile and Touch http://2015.splashcon.org/track/promoto2015 Submissions: August 7, 2015 Parsing@SLE - Workshop on Parsing Programming Languages http://2015.splashcon.org/track/ParsingAtSLE2015 Submissions: August 7, 2015 REBLS - Workshop on Reactive and Event-based Languages & Systems http://2015.splashcon.org/track/rebls2015 Submissions: August 7, 2015 SEPS - Workshop on Software Engineering for Parallel Systems http://2015.splashcon.org/track/seps2015 Submissions: August 7, 2015 SMART - Smart Software Strategies http://conf.researchr.org/track/SmartSoftwareStrategies2015/SmartSoftwareSt… Submissions: October 2, 2015 WODA - Workshop on Dynamic Analysis http://2015.splashcon.org/track/woda2015 Submissions: August 7, 2015 For additional information, clarification, early feedback, or answers to questions, please contact the Workshop Organizers of your favorite workshops, or the Workshops Chairs, Jan S. Rellermeyer and Du Li, at workshopsplash2015(a)easychair.org ************************************************************** ANNEX: WORKSHOP ABSTRACTS AND DATES ************************************************************** AGERE! 5th International Workshop on Programming based on Actors, Agents, and Decentralized Control http://2015.splashcon.org/track/agere2015 -Deadlines: Abstracts: August 1, 2015 Submissions: August 7, 2015 Position/work-in-progress Papers and Demos: September 7, 2015 - Organizers: Elisa Gonzalez Boix, Vrije Universiteit Brussel, Belgium Philipp Haller, KTH Royal Institute of Technology, Sweden Alessandro Ricci, University of Bologna, Italy Carlos Varela, Rensselaer Polytechnic Institute - Abstract: The AGERE! workshop is aimed at focusing on programming systems, languages and applications based on actors, active/concurrent objects, agents and – more generally – high-level programming paradigms promoting a mindset of decentralized control in solving problems and developing software. The workshop is designed to cover both the theory and the practice of design and programming, bringing together researchers working on models, languages and technologies, and practitioners developing real-world systems and applications. ************************************************************** DSM - Domain-Specific Modeling workshop http://2015.splashcon.org/track/dsm2015 - Deadlines: Submissions: August 7, 2015 - Organizers: Jeff Gray, University of Alabama, USA Jonathan Sprinkle, University of Arizona, USA Juha-Pekka Tolvanen, MetaCase, Finland Matti Rossi, Aalto University School of Economics, Finland - Abstract: Domain-specific languages provide a viable and time-tested solution for continuing to raise the level of abstraction, and thus productivity, beyond coding, making systems development faster and easier. When accompanied with suitable automated modeling tools and generators it delivers to the promises of continuous delivery and devops. In Domain-Specific Modeling (DSM) the models are constructed using concepts that represent things in the application domain, not concepts of a given programming language. The modeling language follows the domain abstractions and semantics, allowing developers to perceive themselves as working directly with domain concepts. Together with frameworks and platforms, DSM can automate a large portion of software production. This automation is possible because of domain-specificity: both the modeling language and code generators fit to the requirements of a narrowly defined domain, often inside one organization only. ************************************************************** ETX - Eclipse Technology eXchange Workshop http://2015.splashcon.org/track/etx2015 - Deadlines: Abstracts: July 31, 2015 Submissions: August 7, 2015 - Organizers: Tim Verbelen, Ghent University - iMinds, Belgium Michael Burke, Rice University, USA - Abstract: The Eclipse platform (http://www.eclipse.org) was originally designed for building integrated development environments for object-oriented applications. Over the years it has developed into a vibrant ecosystem of platforms, toolkits, libraries, modeling frameworks, and tools that support various languages and programming styles. The goal of the ETX workshop is to bring together researchers and practitioners to exchange ideas about potential new uses of Eclipse and how Eclipse technology can be leveraged, improved, and/or extended for research and education. After succesful editions of the ETX workshop in 2003-2007, we revived the ETX workshop in 2014 and are now up for another edition. ETX 2015 invites original and unpublished contributions about potential new uses of Eclipse and how Eclipse technology can be leveraged, improved, and/or extended for research and education. ************************************************************** FPW - Future Programming Workshop http://2015.splashcon.org/track/fpw2015 - Deadlines: Submissions: August 7, 2015 - Organizers: Jonathan Edwards, MIT CSAIL, USA Richard Gabriel, IBM Research, USA Alex Payne, Emerging Languages Camp, USA - Abstract: The Future Programming Workshop (FPW) invites ambitious visions, new approaches, and early-stage work of all kinds seeking to improve software development. Participants will present their work at SPLASH in Pittsburgh and optionally at Strange Loop in St. Louis, culminating in a writers’ workshop at SPLASH. FPW fosters a supportive and inspirational community of researchers and practitioners working at the frontiers of software. We are looking for transformative ideas outside the academic and industrial mainstream - ideas with potentially large impacts on how we will build software in the future. We embrace early-stage work, when it is most in need of constructive criticism, and offer a safe and effective environment in which to receive such criticism. ************************************************************** MobileDeLi - Workshop on Mobile Development Lifecycle http://2015.splashcon.org/track/mobiledeli2015 - Deadlines: Submissions: August 7, 2015 - Organizers: Aharon Abadi, IBM Haifa Research Lab, Israel Lori Flynn, CERT, USA Jeff Gray, University of Alabama, USA - Abstract: Mobile application usage and development is experiencing exponential growth. According to Gartner, by 2016 more than 200 billion total apps will have been downloaded. The mobile domain presents new challenges to software engineering. Mobile platforms are rapidly changing, including diverse capabilities as GPS, sensors, and input modes. Applications must be omni-channel and work on all platforms. Activated on mobile platforms, modern applications must be elastic and scale on demand according to the hardware abilities. Applications often need to support and use third-party services. Therefore, during development, security and authorization processes for the dataflow must be applied. Bring your own device (BYOD) policies bring new security data leaks challenges. Developing such applications requires suitable practices and tools e.g., architecture techniques that relate to the complexity at hand; improved refactoring tools for hybrid applications using dynamic languages and polyglot development and applications; and testing techniques for applications that run on different devices. This workshop aims at establishing a community of researchers and practitioners to share their work and lead further research in the mobile development area. ************************************************************** PLATEAU – 6th Workshop on Evaluation and Usability of Programming Languages and Tools http://2015.splashcon.org/track/plateau2015 - Deadlines: Submissions: August 7, 2015 - Organizers: Thomas LaToza, UC Irvine, USA Joshua Sunshine, Carnegie Mellon University, USA Craig Anslow, Middlesex University, UK - Abstract: Programming languages exist to enable programmers to develop software effectively. But how efficiently programmers can write software depends on the usability of the languages and tools that they develop with. The aim of this workshop is to discuss methods, metrics and techniques for evaluating the usability of languages and language tools. The supposed benefits of such languages and tools cover a large space, including making programs easier to read, write, and maintain; allowing programmers to write more flexible and powerful programs; and restricting programs to make them more safe and secure. PLATEAU gathers the intersection of researchers in the programming language, programming tool, and human-computer interaction communities to share their research and discuss the future of evaluation and usability of programming languages and tools. ************************************************************** Parsing - Parsing@SLE 2015 http://2015.splashcon.org/track/ParsingAtSLE2015 - Deadlines: Submissions: August 7, 2015 - Organizers: Ali Afroozeh, Loek Cleophas, Umea University, Sweden - Abstract: Parsing@SLE is a workshop on parsing programming languages, now in its third edition. The intended participants are the authors of parser generation tools and parsers for programming languages and other software languages. For the purpose of this workshop ``parsing’’ is a computation that takes a sequence of characters as input and produces a syntax tree or graph as output. This possibly includes tokenization using regular expressions, deriving trees using context- free grammars, and mapping to abstract syntax trees. The goal is to bring together today’s experts in the field of parsing, in order to explore open questions and possibly forge new collaborations. The topics may include algorithms, implementation and generation techniques, syntax and semantics of meta formalisms (BNF), etc. ************************************************************** PROMOTO – 3rd Workshop on Programming for Mobile and Touch http://2015.splashcon.org/track/promoto2015 - Deadlines: Submissions: August 7, 2015 - Organizers: Steven D. Fraser, Innoxec, USA Alberto Sillitti, Center for Applied Software Engineering Bolzano, Italy - Abstract: Today, easy-to-use mobile devices like smartphones and tablets are becoming more prevalent than traditional PCs and laptops. New programming languages are emerging to enable programmers to develop software easily—leveraging the exciting advances in existing hardware, and providing abstractions that fit the capabilities of target platforms with multiple sensors, touch and cloud capabilities. PROMOTO brings together researchers who have been exploring new programming paradigms, embracing the new realities of always connected, touch-enabled mobile devices. PROMOTO 2015 would like to invite contributions covering technical aspects of cross-platform computing, cloud computing, social applications and security. Submissions for this event are invited in the general area of mobile and touch-oriented programming languages and programming environments, and teaching of programming for mobile devices. ************************************************************** REBLS - Workshop on Reactive and Event-based Languages & Systems http://2015.splashcon.org/track/rebls2015 - Deadlines: Submissions: August 7, 2015 - Organizers: Guido Salvaneschi, TU Darmstadt, Germany Wolfgang De Meuter, Vrije Universiteit, Belgium Patrick Eugster, Purdue University, USA Lukasz Ziarek, State University of New York (SUNY) Buffalo, USA Reactive programming and event-based programming are two closely related programming styles that are becoming ever more important with the advent of advanced HPC technology and the ever increasing requirement for our applications to run on the web or on collaborating mobile devices. A number of publications on middleware and language design — so-called reactive and event-based languages and systems (REBLS) — have already seen the light, but the field still raises several questions. For example, the interaction with mainstream language concepts is poorly understood, implementation technology is in its infancy and modularity mechanisms are almost totally lacking. Moreover, large applications are still to be developed and patterns and tools for developing reactive applications is an area that is vastly unexplored. ************************************************************** SEPS - 2nd Workshop on Software Engineering for Parallel Systems http://2015.splashcon.org/track/seps2015 - Deadlines: Papers: August 7, 2015 - Organizers: Ali Jannesari, Technical University of Darmstadt, Germany Siegfried Benkner, University of Vienna, Austria Xinghui Zhao, Washington State University, USA Ehsan Atoofian, Lakehead University, Canada Yukionri Sato, Tokyo Institute of Technology, Japan - Abstract: The increased complexity of parallel applications on modern parallel platforms (e.g. multicore/manycore, distributed or hybrid) requires more insight into development processes, and necessitates the use of advanced methods and techniques supporting developers in creating parallel applications or parallelizing and reengineering sequential legacy applications. We aim to advance the state of the art in different phases of parallel software development, covering software engineering aspects such as requirements engineering and software specification; design and implementation; program analysis, profiling and tuning; testing and debugging. ************************************************************** SMART - Workshop on Smart Software Strategies http://conf.researchr.org/track/SmartSoftwareStrategies2015/SmartSoftwareSt… - Deadlines: Papers: October 2, 2015 - Organizers: Steven D. Fraser, Independent Consultant, USA Dennis Mancl, Alcatel-Lucent, USA Bill Opdyke, JP Morgan Chase & Co, USA - Abstract: We should learn from the past – to use what we learn for the next problem. What can we learn from the experiences of Y2K? There are some lessons about software design and software maintenance that we might apply to the next wave of software and technology: Y2K bugs: In the late 1990s, software developers and managers were furiously working to analyze and fix potential “Y2K bugs.” We all knew that there were software applications that might fail on January 1, 2000, but no one was sure how we would manage to fix all of these defects in time. Today’s “smart” technologies: Fifteen years later, we are at the threshold of a new era of software – smart phones, wearable technology, digital currency, smart automobiles, smart power grids, smart appliances. How should we prepare for this wave? Should we be thinking ahead, should we be anticipating some of the potential risks and latent defects in our smart applications and smart support software for a software-driven future world? What advances in software analysis, design, coding, and testing will we need to do reduce our exposure to defects, unintended side effects, and malicious mischief? We might look to the past – to the biggest concentrated effort to clean up and modernize software on a worldwide scale. Are there some lessons we can learn from “Y2K remediation activities” of the 1990s? ************************************************************** WODA - 13th International Workshop on Dynamic Analysis http://2015.splashcon.org/track/woda2015 - Deadlines: Papers: August 7, 2015 - Organizers: Harry Xu, University of California, Irvine, USA Walter Binder, University of Lugano, Switzerland Yudi Zheng, University of Lugano, Switzerland - Abstract: Dynamic analysis is widely used in software development to understand various run-time properties of a program. Dynamic analysis includes both offline techniques, which operate on some captured representation of the program's behavior (e.g., a trace), and run-time techniques, which analyze the behavior on the fly, while the system is executing. Although inherently incomplete, dynamic analyses can be more precise than their static counterparts and show promise in aiding the understanding, development, and maintenance of robust and reliable large scale systems. Moreover, the data they provide enable statistical inferences to be made about program behavior. Dynamic analysis is playing a central role in the understanding of applications and systems as we grapple with emerging challenges such as systemic runtime bloat, high energy consumption, and the explosion of Big Data. The overall goal of WODA is to bring together researchers and practitioners working in all areas of dynamic analysis to discuss new issues, share results and ongoing work, and foster collaborations. This workshop is a forum for researchers and practitioners interested in the intersection of compilers, programming languages, architecture, software engineering, systems, high-performance computing, performance engineering, machine learning, and data mining for addressing software and system performance. The workshop focuses on developing and studying analytic technologies (e.g., program analysis, statistical analysis, machine learning, data mining, visualization) applied on various software or system artifacts (e.g., production systems, tests, program traces, system logs) to address issues in software and system reliability, dependability, performance, and scalability. /************************************************************************************/

1 0

OCL 2015: ** Deadline Extension ** Submit Your Paper Until July 26, 2015
by Achim D. Brucker 17 Jul '15

17 Jul '15

(Apologies for duplicates) If you are working on the foundations, methods, or tools for OCL or textual modelling, you should now finalise your submission for the OCL workshop! *** The submission deadline has been extended to July 26th, 2015! *** CALL FOR PAPERS 15th International Workshop on OCL and Textual Modeling Tools and Textual Model Transformations Co-located with ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MODELS 2015) September 28th, 2015, Ottawa, Canada http://ocl2015.lri.fr Modeling started out with UML and its precursors as a graphical notation. Such visual representations enable direct intuitive capturing of reality, but some of their features are difficult to formalize and lack the level of precision required to create complete and unambiguous specifications. Limitations of the graphical notations encouraged the development of text-based modeling languages that either integrate with or replace graphical notations for modeling. Typical examples of such languages are OCL, textual MOF, Epsilon, and Alloy. Textual modeling languages have their roots in formal language paradigms like logic, programming and databases. The goal of this workshop is to create a forum where researchers and practitioners interested in building models using OCL or other kinds of textual languages can directly interact, report advances, share results, identify tools for language development, and discuss appropriate standards. In particular, the workshop will encourage discussions for achieving synergy from different modeling language concepts and modeling language use. The close interaction will enable researchers and practitioners to identify common interests and options for potential cooperation. Topics of interest include (but are not limited to) =================================================== - Mappings between textual modeling languages and other languages/formalisms - Algorithms, evaluation strategies and optimizations in the context of textual modeling languages for -- validation, verification, and testing, -- model transformation and code generation, -- meta-modeling and DSLs, and -- query and constraint specifications - Alternative graphical/textual notations for textual modeling languages - Evolution, transformation and simplification of textual modeling expressions - Libraries, templates and patterns for textual modeling languages - Tools that support textual modeling languages (e.g., verification of OCL formulae, runtime monitoring of invariants) - Complexity results for textual modeling languages - Quality models and benchmarks for comparing and evaluating textual modeling tools and algorithms - Successful applications of textual modeling languages - Case studies on industrial applications of textual modeling languages - Experience reports -- usage of textual modeling languages and tools in complex domains, -- usability of textual modeling languages and tools for end-users - Empirical studies about the benefits and drawbacks of textual modeling languages - Innovative textual modeling tools - Comparison, evaluation and integration of modeling languages - Correlation between modeling languages and modeling tasks This year, we particularly encourage submissions describing tools that support - in a very broad sense - textual modeling languages (if you have implemented OCL.js to run OCL in a web browser, this is the right workshop to present your work) as well as textual model transformations. Venue ===== The workshop will be organized as a part of MODELS 2015 Conference in Ottawa, Canada. It continues the series of OCL workshops held at UML/MODELS conferences: York (2000), Toronto (2001), San Francisco (2003), Lisbon (2004), Montego Bay (2005), Genova (2006), Nashville (2007), Toulouse (2008), Denver (2009), Oslo (2010), Zurich (2011, at the TOOLs conference), 2012 in Innsbruck, 2013 in Miami, and 2014 in Valencia, Spain. Similar to its predecessors, the workshop addresses both people from academia and industry. The aim is to provide a forum for addressing integration of OCL and other textual modeling languages, as well as tools for textual modeling, and for disseminating good practice and discussing the new requirements for textual modeling. Workshop Format =============== The workshop will include short (about 15 min) presentations, parallel sessions of working groups, and sum-up discussions. Submissions =========== Three types of papers will be considered: * short papers (between 6 and 8 pages) describing ideas, * tool papers (between 6 and 8 pages), and * full papers (between 12 and 16 pages) in LNCS format. Submissions should be uploaded to EasyChair (https://easychair.org/conferences/?conf=ocl20150) The program committee will review the submissions (minimum 2 reviews per paper, usually 3 reviews) and select papers according to their relevance and interest for discussions that will take place at the workshop. Accepted papers will be published online in a pre-conference edition of CEUR (http://www.ceur-ws.org) Important Dates =============== Submission of papers: July 26, 2015 (extended) Notification: August 21, 2015 Workshop date: September 28, 2015 Organizers ========== Achim D. Brucker, SAP SE, Germany Marina Egea, Indra Sistemas S.A., Spain Martin Gogolla, University of Bremen, Germany Frederic Tuong, Univ. Paris-Sud - IRT SystemX - LRI, France Programme Committee =================== Mira Balaban, Ben-Gurion University of the Negev, Israel Tricia Balfe, Nomos Software, Ireland Achim D. Brucker, SAP SE, Germany Fabian Buettner, Inria - Ecole des Mines de Nantes, France Jordi Cabot, Inria - Ecole des Mines de Nantes, France Dan Chiorean, Babes-Bolyai University, Romania Robert Clariso, Universitat Oberta de Catalunya, Spain Tony Clark, Middlesex University, UK Manuel Clavel, IMDEA Software Institute, Spain Carolina Dania, IMDEA Software Institute, Spain Birgit Demuth, Technische Universitat Dresden, Germany Marina Egea, Indra Sistemas S.A., Spain Geri Georg, Colorado State University, USA Martin Gogolla, University of Bremen, Germany Shahar Maoz, Tel Aviv University, Israel Istvan Rath, Budapest University of Technology and Economics, Hungary Bernhard Rumpe, RWTH Aachen, Germany Frederic Tuong, Univ. Paris-Sud - IRT SystemX - LRI, France Claas Wilke, Technische Universitat Dresden, Germany Edward Willink, Willink Transformations Ltd., UK Burkhart Wolff, Univ. Paris-Sud - LRI, France Steffen Zschaler, King's College, UK -- Dr. Achim D. Brucker, SAP SE, Vincenz-Priessnitz-Str. 1, D-76131 Karlsruhe Phone: +49 6227 7-52595, http://www.brucker.ch/

1 0