David Feuer | 20 Jul 01:44 2016
Picon

Re: Function to replace given element in list

A zipper is a good way to separate the search from the replacement. But the problem at hand does not require such a separation! If you don't need that, a zipper seems like overkill.


On Jul 19, 2016 7:39 PM, "Carl Folke Henschen Edman" <carledman <at> gmail.com> wrote:
On Tue, Jul 19, 2016 at 6:13 PM, David Feuer <david.feuer <at> gmail.com> wrote:
Using a zipper will not get you very far here. The best way would
likely be to replace the list with a balanced search tree. 

That depends on the pattern of access and usage.  For some a zippered list will outperform a self-balancing tree and vice versa.  For others a zippered tree, or something else, will beat either.  But when seeing the pattern of changing a single element in the middle of a list, a zippered list is the first improved data structure that comes to mind.


    Carl Edman

_______________________________________________
Haskell mailing list
Haskell <at> haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell
Niely Boyken | 19 Jul 22:08 2016
Picon

Function to replace given element in list

Hi

I'm trying to make a custom function to replace a given element in a list.

Code:
    let i = elemIndex toReplace lst in
       
        case i of
            Just i ->
                let z = splitAt i lst
                    x = fst z
                    y = (snd z)
                    in
                        init x
                        x ++ newNmr
                        x ++ y
               
            Nothing -> [5]

Error:
1)
 * Couldn't match expected type `[a] -> [a]' with actual type `[a]'
    * The function `init' is applied to two arguments,
      but its type `[a] -> [a]' has only one
      In the first argument of `(++)', namely `init x x'
      In the expression: init x x ++ newNmr x ++ y
    * Relevant bindings include
        y :: [a] (bound at C:\users\niel\desktop\test2.hs:41:21)
        x :: [a] (bound at C:\users\niel\desktop\test2.hs:40:21)
        z :: ([a], [a]) (bound at C:\users\niel\desktop\test2.hs:39:21)
        newNmr :: [a] (bound at C:\users\niel\desktop\test2.hs:34:30)
        lst :: [a] (bound at C:\users\niel\desktop\test2.hs:34:26)
        toReplace :: a (bound at C:\users\niel\desktop\test2.hs:34:16)
        (Some bindings suppressed; use -fmax-relevant-binds=N or -fno-max-relevant-binds)
2)
 * Couldn't match expected type `[a] -> [a]' with actual type `[a]'
    * The function `newNmr' is applied to one argument,
      but its type `[a]' has none
      In the first argument of `(++)', namely `newNmr x'
      In the second argument of `(++)', namely `newNmr x ++ y'
    * Relevant bindings include
        y :: [a] (bound at C:\users\niel\desktop\test2.hs:41:21)
        x :: [a] (bound at C:\users\niel\desktop\test2.hs:40:21)
        z :: ([a], [a]) (bound at C:\users\niel\desktop\test2.hs:39:21)
        newNmr :: [a] (bound at C:\users\niel\desktop\test2.hs:34:30)
        lst :: [a] (bound at C:\users\niel\desktop\test2.hs:34:26)
        toReplace :: a (bound at C:\users\niel\desktop\test2.hs:34:16)
        (Some bindings suppressed; use -fmax-relevant-binds=N or -fno-max-relevant-binds)

I've tried a lot, but I always got an error.
What am I doing wrong?

Thanks!
_______________________________________________
Haskell mailing list
Haskell <at> haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell
Lindsey Kuper via Haskell | 19 Jul 07:44 2016

Call for Participation: ICFP 2016


[ Early registration ends 17 August. ]

=====================================================================

Call for Participation

ICFP 2016
21st ACM SIGPLAN International Conference on Functional Programming
and affiliated events

September 18 - September 24, 2016
Nara, Japan
http://conf.researchr.org/home/icfp-2016

=====================================================================

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, 10 workshops, tutorials,
programming contest results, student research competition,
and mentoring workshop

* Overview and affiliated events:
  http://conf.researchr.org/home/icfp-2016

* Program:
  http://conf.researchr.org/program/icfp-2016/program-icfp-2016

* Accepted Papers:
  http://conf.researchr.org/track/icfp-2016/icfp-2016-papers#event-overview

* Registration is available via:
  https://regmaster4.com/2016conf/ICFP16/register.php
  Early registration is due 17 August, 2016.

* Programming contest, 5-8 August, 2016:
  http://2016.icfpcontest.org/

* Student Research Competition (deadline: 3 August, 2016):
  http://conf.researchr.org/info/icfp-2016/student-research-competition

* Follow  <at> icfp_conference on twitter for the latest news:
  http://twitter.com/icfp_conference

There are several events affiliated with ICFP:

 Sunday, September 18
   Workshop on Higher-order Programming with Effects
   Workshop on Type-Driven Development
   Scheme and Functional Programming Workshop
   Programming Languages Mentoring Workshop

 Monday, September 19 – Wednesday, September 21
   ICFP

 Thursday, September 22
   Haskell Symposium – Day 1
   ML Family Workshop
   Workshop on Functional High-Performance Computing
   Commercial Users of Functional Programming – Day 1

 Friday, September 23
   Haskell Symposium – Day 2
   OCaml Workshop
   Erlang Workshop
   Commercial Users of Functional Programming – Day 2

 Saturday, September 5
   Commercial Users of Functional Programming – Day 3
   Haskell Implementors Workshop
   Functional Art, Music, Modeling and Design

Conference Organizers

 General Co-Chairs:
   Jacques Garrigue, Nagoya University
   Gabriele Keller, University of New South Wales
 Program Chair:
   Eijiro Sumii, Tohoku University
 Local Arrangements Co-Chairs:
   Shinya Katsumata, Kyoto University
   Susumu Nishimura, Kyoto University
 Industrial Relations Chair:
   Rian Trinkle, Obsidian Systems LLC
 Workshop Co-Chairs:
   Nicolas Wu, University of Bristol
   Andres Loeh, Well-Typed LLP
 Programming Contest Chair:
   Keisuke Nakano, The University of Electro-Communications
 Student Research Competition Chair:
   David Van Horn, University of Maryland, College Park
 Mentoring Workshop Co-Chairs:
   Amal Ahmed, Northeastern University
   Robby Findler, Northwestern University
   Atsushi Igarashi, Kyoto Universty
 Publicity Chair:
   Lindsey Kuper, Intel Labs
 Video Chair:
   Iavor Diatchki, Galois
   Jose Calderon, Galois
 Student Volunteer Co-Chairs:
   Yosuke Fukuda, Kyoto University
   Yuki Nishida, Kyoto University
   Gabriel Scherer, INRIA

Industrial partners:

 Platinum partners
   Jane Street Capital
   Ahrefs

 Gold partners
   Mozilla Research

 Silver partners
   Ambiata
   Tsuru Capital

 Bronze partners
   Awake Networks
   Microsoft Research

=====================================================================
_______________________________________________
Haskell mailing list
Haskell <at> haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell
KwangYul Seo | 19 Jul 06:07 2016
Picon
Gravatar

ANN: blockhash-0.1.0.0

Hi all!

I'm pleased to announce the first release of blockhash, a perceptual image hash calculation tool based on algorithm described in Block Mean Value Based Image Perceptual Hashing by Bian Yang, Fan Gu and Xiamu Niu.



Program:

Usage: blockhash [-q|--quick] [-b|--bits ARG] filenames
  blockhash

Available options:
  -h,--help                Show this help text
  -q,--quick               Use quick hashing method
  -b,--bits ARG            Create hash of size N^2 bits.


Library:

import qualified Codec.Picture as P
import Data.Blockhash
import qualified Data.Vector.Generic as VG
import qualified Data.Vector.Unboxed as V

printHash :: FilePath -> IO ()
printHash :: filename = do
  res <- P.readImage filename
  case res of
    Left err -> putStrLn ("Fail to read: " ++ filename)
    Right dynamicImage -> do
      let rgbaImage = P.convertRGBA8 dynamicImage
          pixels = VG.convert (P.imageData rgbaImage)
          image = Image { imagePixels = pixels
                        , imageWidth = P.imageWidth rgbaImage
                        , imageHeight = P.imageHeight rgbaImage }
          hash = blockhash image 16 Precise
      putStrLn (show hash)


For further information on the blockhash algorithm, please visit the web site:


Thanks,
Kwang Yul Seo

_______________________________________________
Haskell mailing list
Haskell <at> haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell
Michael Adler | 18 Jul 16:45 2016

Announcing MuniHac 2016

Hi fellow Haskellers!

Together with Alexander Lehmann from TNG Technology Consulting GmbH and
Andres Löh from Well-Typed LLP, I am organizing a new Haskell Hackathon
that will take place in Munich, from Friday September 2 - Sunday
September 4. TNG is graciously offering to host the Hackathon at their
premises.

This Hackathon is in the tradition of other Haskell Hackathons such as
ZuriHac, HacBerlin, UHac and others. We have capacity for 80-100
Haskellers to collaborate on any project they like.

Hacking on Haskell projects will be the main focus of the event, but we
will also have a couple of talks by renowned Haskellers.

More details and a link to the registration platform can be found on

www.munihac.de

Hope to see you in Munich!

Best regards,
    Michael

--

-- 
Michael Adler
TNG Technology Consulting
michael.adler <at> tngtech.com

TNG Technology Consulting GmbH, Betastr. 13a, 85774 Unterföhring
Geschäftsführer: Henrik Klagges, Christoph Stock, Dr. Robert Dahlke
Amtsgericht München, HRB 135082
_______________________________________________
Haskell mailing list
Haskell <at> haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell
Achim D. Brucker | 17 Jul 11:13 2016
Picon

OCL 2016: ** Deadline Extension ** Submit Your Paper Until July 24, 2016

(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 24th, 2016! ***

                    CALL FOR PAPERS
    16th International Workshop on OCL and Textual Modeling

   Co-located with ACM/IEEE 19th International Conference on
 Model Driven Engineering Languages and Systems (MODELS 2016)
       October 2, 2016, Saint-Malo, France 
                   http://oclworkshop.github.io

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 or
  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 2016 Conference in
Saint-Malo, France. 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, 2014 in
Valencia, Spain, and 2015 in Ottawa, Canada. 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
===========
Two types of papers will be considered:
* short contributions (between 6 and 8 pages) describing new ideas, innovative tools
or position papers.
* full papers (between 12 and 16 pages)
in LNCS format. Submissions should be uploaded to EasyChair
(https://easychair.org/conferences/?conf=ocl16).  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
post-conference edition of CEUR (http://www.ceur-ws.org).

Important Dates
===============
Submission of papers:      July 24, 2016
Notification:            August 14, 2016
Workshop date:           October 2, 2016

Organizers
==========
Achim D. Brucker, The University of Sheffield, UK
Jordi Cabot, ICREA - Open University of Catalonia, Spain
Adolfo Sánchez-Barbudo Herrera, University of York, UK

Programme Committee (TBC)
=========================
Thomas Baar, University of Applied Sciences Berlin, Germany
Mira Balaban, Ben-Gurion University of the Negev, Israel
Tricia Balfe, Nomos Software, Ireland
Domenico Bianculli, University of Luxembourg
Dan Chiorean, Babes-Bolyai University, Romania
Robert Clariso, Universitat Oberta de Catalunya, Spain
Tony Clark, Middlesex University, UK
Manuel Clavel, 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
Massimo Tisi, Mines de Nantes, France
Frederic Tuong, Univ. Paris-Sud - IRT SystemX - LRI, France
Edward Willink, Willink Transformations Ltd., UK
Burkhart Wolff, Univ. Paris-Sud - LRI, France
Steffen Zschaler, King's College, UK

--

-- 
Dr. Achim D. Brucker | Software Assurance & Security | University of Sheffield
             https://www.brucker.uk/ | https://logicalhacking.com/blog
_______________________________________________
Haskell mailing list
Haskell <at> haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell
JAMES P. (366409 | 15 Jul 14:58 2016
Picon
Picon

Call For Participation: WADT 2016

Registration for WADT 2016 is now open. 

Early registration ends on:

     Monday, July 18, 2016. 

Note that we can offer a number of reduced rate places for
students / young researchers to attend WADT'16, who are not registered
as an author for a paper. These places are limited to early
registration.

Link: http://cs.swan.ac.uk/wadt16/

When                        Sep 21, 2016 - Sep 24, 2016
Where                       Gregynog, UK
Submission Deadline   June  17, 2016 (extended)
Notification                July 3, 2016 (extended)
Final Version Due       July  15, 2016


AIMS AND SCOPE

The algebraic approach to system specification encompasses many
aspects of the formal design of software systems. Originally born as
formal method for reasoning about abstract data types, it now covers
new specification frameworks and programming paradigms (such as
object-oriented, aspect-oriented, agent-oriented, logic and
higher-order functional programming) as well as a wide range of
application areas (including information systems, concurrent,
distributed and mobile systems). The workshop will provide an
opportunity to present recent and ongoing work, to meet colleagues,
and to discuss new ideas and future trends.


TOPICS OF INTEREST

Typical, but not exclusive topics of interest are:
- Foundations of algebraic specification
- Other approaches to formal specification, including process
  calculi and models of concurrent, distributed and mobile computing
- Specification languages, methods, and environments
- Semantics of conceptual modelling methods and techniques
- Model-driven development
- Graph transformations, term rewriting and proof systems
- Integration of formal specification techniques
- Formal testing and quality assurance, validation, and verification


INVITED SPEAKERS

- Alessio Lomuscio (London, UK)
- Till Mossakowski (Magdeburg, Germany)
- John Tucker (Swansea, UK)


WORKSHOP FORMAT AND LOCATION

The workshop will take place over four days, Wednesday to Saturday, at
Gregynog Hall in Wales, UK (http://www.gregynog.org). Participants
should arrive on Tuesday evening, the workshop will end on Saturday
with lunch.

Presentations will be selected on the basis of submitted abstracts.


IMPORTANT DATES

Submission deadline for abstracts: June 17, 2016 (extended)
Notification of acceptance: July 3, 2016 (extended)
Early registration: July 3, 2016 (delayed)
Final abstract due: July 15, 2016
Workshop in Gregynog: September 21-24, 2016


SUBMISSIONS

The scientific programme of the workshop will include presentations of
recent results and ongoing research. The presentations will be
selected by the Steering Committee on the basis of submitted abstracts
according to originality, significance and general interest. The
abstracts must be up to two pages long including references. If a
longer version of the contribution is available, it can be made
accessible on the web and referenced in the abstract.

The abstracts have to be submitted electronically via the EasyChair
system.


PROCEEDINGS

After the workshop, authors will be invited to submit full papers for
the refereed proceedings. All submissions will be reviewed; selection
will be based on originality, soundness and significance of the
presented ideas and results. The proceedings will be published as a
volume of Lecture Notes in Computer Science (Springer).


SPONSORSHIP

The workshop takes place under the auspices of IFIP WG 1.3.


WADT STEERING COMMITTEE

Andrea Corradini (Italy)
Jose Fiadeiro (UK)
Rolf Hennicker (Germany)
Hans-Jorg Kreowski (Germany)
Till Mossakowski (Germany)
Fernando Orejas (Spain)
Francesco Parisi-Presicce (Italy)
Markus Roggenbach (UK) [chair]
Grigore Rosu (United States)
Andrzej Tarlecki (Poland)


ORGANIZING COMMITTEE

Phillip James (UK)
Markus Roggenbach (UK)


CONTACT INFORMATION

Email: M.Roggenbach <at> Swansea.ac.uk
Homepage: http://cs.swan.ac.uk/wadt16/
_______________________________________________
Haskell mailing list
Haskell <at> haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell
Robson De Grande | 14 Jul 17:11 2016
Picon

14th ACM MobiWac 2016, MALTA

** We apologize if you receive multiple copies of this message **
==================================================================
             The 14th ACM International Symposium on Mobility Management
                                  and Wireless Access (MobiWac 2016)
                                       November 13 - 17, 2016 - Malta
                                         http://mobiwac-symposium.org/
==================================================================

The MOBIWAC  series of event is intended to provide an international forum
for the discussion and presentation of original ideas, recent results and
achievements by researchers, students, and systems developers on issues and
challenges related to mobility management and wireless access protocols. To
keep up with the technological developments, we also open up new areas such
as mobile cloud computing starting from this year.

Authors are encouraged to submit both theoretical and practical results of
significance on all aspects of wireless and mobile access technologies, with
an emphasis on mobility management and wireless access. Authors are invited
to submit full papers describing original research. Submitted papers must
neither have been published elsewhere nor currently be under review by
another conference or journal.

TOPICS OF INTEREST include, but are not limited to:

- Mobile Cloud Computing
- Wireless/Mobile Access Protocols
- Wireless/Mobile Web Access
- Wireless Internet and All-IP integration
- Next Generation Wireless systems
- Mobile Broadband Wireless Access
- Pervasive Communication and Computing
- Ubiquitous and mobile access
- Wireless Applications and testbeds
- Multi-Homing and Vertical Handoff
- Multi-Channel Multi-Radio MAC / network layer management
- Channels and resource allocation algorithms
- Energy and power management algorithms
- Mobility Models
- Multi-technology switching using Software Defined Radios
- Context-aware services and applications
- Context-aware protocols and protocol architectures
- Interactive applications
- Mobile database management
- Wireless Multimedia Protocols
- Mobile and Wireless Entertainment
- Mobile Info-services
- Social mobile networks
- Social mobile applications
- Data analysis for mobile and wireless networks
- SDN solutions in mobile and wireless networks
- QoS management
- Mobility Control and Management
- Localization and tracking
- Mobile/Vehicular environment access
- Wireless ad hoc and sensor networks
- Security,Trust management and Privacy issues
- Fault Tolerance solutions
- Wireless Systems' Design
- Analysis/Simulation of wireless mobile systems
- Testbeds for experimental and simulation analysis


=========================
Paper Submission, Publication, and Important Dates:

All accepted papers will appear in the Symposium Proceedings published by ACM press.

- Submission Deadline: July 15, 2016 11:59PM EST (FIRM)

- Notification of Acceptance: August 15, 2016 11:59PM EST

Papers are submitted via the EDAS system (https://edas.info/N22672).
For any question or problems related to MobiWac 2015 submissions, please
contact the PC Chairs.

ORGANIZING COMMITTEE:

General Chair
Ángel Cuevas, Universidad Carlos III de Madrid, Spain

Program Co-Chairs
Periklis Chatzimisios, Alexander TEI of Thessaloniki, Greece
Robson De Grande, University of Ottawa, Canada


Technical Program Committee
Antonio A.F. Loureiro, Federal University of Minas Gerais, Brazil
Michele Albano, CISTER, Portugal
Chadi Assi, Concordia University, Canada
Jalel Ben-othman, University of Paris 13, France
Fernando Boavida, University of Coimbra, Portugal
Juan Carlos Cano, Technical University of Valencia, Spain
Yuh-Shyan Chen, National Taipei University, Taiwan
Stefano Chessa, University of Pisa, Italy
Danny De Vleeschauwer, Alcatel-Lucent, Belgium
Andrés García Saavedra, Hamilton Institute, Ireland
Roch Glitho, Concordia University, Canada
Roberto González, NEC Laboratories Europe, Germany
Khaled Harras, Carnegie Mellon University, USA
Charalampos Konstantopoulos, University of Piraeus, Greece
Pierre Leone, University of Geneva, Switzerland
Sotiris Nikoletseas, University of Patras & Computer Technology
Institute, Greece
Ai-Chun Pang, National Taiwan University, Taiwan
Grammati Pantziou, Technological Educational Institution of Athens, Greece
Cristina M. Pinotti, University of Perugia, Italy
Paulo Pinto, Universidade Nova de Lisboa, Portugal
Victor Ramos, Universidad Autonoma Metropolitana, Mexico
Victor Rangel, National University of Mexico, Mexico
Thierry Turletti, INRIA, France
Alicia Triviño, Universidad de Málaga, Spain
Manuel Urueña, Universidad Carlos III de Madrid, Spain
Emmanouel Varvarigos, University of Patras & Computer Technology
Institute, Greece
Zainab Zaidi, National ICT Australia, Ltd, Australia


Posters/Demo Chair
Graciela Román Alonso, Universidad Autónoma Metropolitana, Mexico


Publicity Chairs
Khalil El-Khatib, UOIT, Canada
Mirela. A. M. Notare, Sao Jose Municipal University, Brazil



FOR MORE INFORMATION about the conference, organizing committee, submission
instructions, and venue please see the conference website
(http://mobiwac-symposium.org).
==============================================

_______________________________________________
Haskell mailing list
Haskell <at> haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell
Troy Astarte (PGR | 13 Jul 10:48 2016
Picon
Picon

Christopher Strachey centenary announcement

Dear all,

This November marks 100 years since the birth of Christopher Strachey. We are holding a symposium to celebrate his life and research in Oxford on Saturday 19th November. There will also be an exhibition of material from the Strachey archive on Friday 18th November, followed by a banquet dinner at Hertford College on the evening of Friday 18th November. 

For more information and to register for attendance, please go to http://www.cs.ox.ac.uk/strachey100/

-------------------------------

Christopher Strachey (1916–1975) was a pioneering computer scientist and the founder of the Programming Research Group, now part of the Department of Computer Science at Oxford University. Although Strachey was keenly interested in the practical aspects of computing, it is in the theoretical side that he most indelibly left his mark, notably by creating with Dana Scott the denotational (or as he called it, ‘mathematical’) approach to defining the semantics of programming languages—undoubtedly influential in the development of functional programming. Strachey also spent time writing complex programs and puzzles for various computers, such as a draughts playing program for the Pilot ACE in 1951. He developed some fundamental concepts of machine-independent operating systems, including an early suggestion for time-sharing, and was a prime mover in the influential CPL programming language. Strachey came from a notable family of intellectuals and artists, perhaps most famous for Christopher’s uncle Lytton, a writer and member of the Bloomsbury group.

We will be marking the occasion of 100 years since Christopher Strachey's birth on Saturday 19th November 2016, three days after his birthday, with a symposium of invited speakers. The morning will look back at Strachey’s life and works from a historical and technical perspective, and the afternoon will concern the future of Strachey-inspired theoretical computer science, including functional programming, at Oxford University. There will also be a display of related archival material on Friday 18th November for anyone interested, and a banquet dinner at Hertford College on the evening of Friday 18th November.

Hope to see many of you there.

Best,

Troy Astarte

_______________________________________________
Haskell mailing list
Haskell <at> haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell
Tijs van der Storm | 11 Jul 22:40 2016
Picon
Picon
Gravatar

SPLASH'16: 3rd Combined Call for Contributions to Collocated Events

#################################################
ACM Conference on Systems, Programming, Languages, and Applications:
Software for Humanity (SPLASH'16)
#################################################

Amsterdam, The Netherlands
Sun 30th October - Fri 4th November , 2016


NEWS! Benjamin Pierce and Andy Ko have agreed to be keynotes for SPLASH'16!

Sponsored by ACM SIGPLAN

Combined Call for Contributions to Collocated Events:
- SPLASH-I, SPLASH-E, Student Research Competition, Programming Languages Mentoring Workshop
- Scala Symposium
- Workshops: AGERE, DSLDI, DSM, FOSD, ITSLE, LWC <at> SLE, META, MOBILE!, NOOL, PLATEAU, Parsing <at> SLE, REBLS, RUMPLE, SA-MDE, SEPS, VMIL, WODA


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. SPLASH'16 hosts a record number collocated tracks and events, from associated conferences (GPCE, SLE) and symposia (DLS, Scala), to 16 workshops! Please see below about important dates. We look forward to your submissions!

SPLASH'16 Tracks
===========================

## SPLASH-I: Innovation, Interaction, Insight, Industry, Invited

SPLASH-I is the track of SPLASH dedicated to great talks on exciting topics! SPLASH-I will run in parallel with all of SPLASH (during the week days), and is open to all attendees. SPLASH-I will host both invited talks and selected talks submitted via this call for proposals. SPLASH-I solicits inspiring talks, tutorials and demonstrations on exciting topics related to programming and programming systems, delivered by excellent speakers from academia or industry.

Deadline: 1st of August 

## SPLASH-E: Foundational Concepts of Computation

SPLASH-E will be a one-day working meeting, with the following goals:

- Building on prior work, identify and enumerate the foundational concepts of computation.
- More ambitiously, for each concept, create a detailed plan for a lesson (or short sequence of lessons) for 8 year olds, to teach the concept.

We do not solicit publications, but we ask prospective participants to submit a one-paragraph position statement.


## Student Research Competition

Continuing the successes of previous years, SPLASH is again hosting an ACM SIGPLAN Student Research Competition (ACM SRC). The competition is an internationally-recognized venue that enables undergraduate and graduate students to experience the research world and to share their research results with other students and SPLASH attendees. The competition has separate categories for undergraduate and graduate students and awards prizes to the top three students in each category. The ACM SIGPLAN Student Research Competition shares the Poster session’s goal to facilitate interaction with researchers and industry practitioners, providing both sides with the opportunity to learn of ongoing, current research. Additionally, the Student Research Competition gives students experience with both formal presentations and evaluations.

Submission deadline: Mon 15 Aug 2016 

## 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. It is held early in the conference, to promote continued discussion among interested parties.

Submission deadline: Fri 15 Jul 2016

## PLMW: Programming Language Mentoring Workshop

The purpose of Programming Languages Mentoring Workshop (PLMW) is to give promising students who consider pursuing a graduate degree in this field an overview of what research in this field looks like and how to get into and succeed in graduate school. In other words, a combination whirlwind tour of this research area, networking opportunity, and how-to-succeed guide. The program of PLMW will include talks by prominent researchers of the field of programming languages and software engineering providing an insight in their research. To learn more about PLMW, please see the SIGPLAN PLMW web page (http://www.sigplan.org/Conferences/PLMW/).

Application deadline: Sun 14 Aug 2016


## Scala Symposium

The Scala Symposium is a forum for researchers and practitioners to share new ideas and results of interest to the Scala programming language community. We welcome a broad spectrum of research topics in many formats, going from student talks all the way to full 10-page research papers, indexed by the ACM Digital Library.

Abstract submission deadline: Sun 17 Jul 2016
Paper submission deadline: Mon 25 Jul 2016


Workshops
=========

SPLASH'16 will host a record number of 16 workshops:

## AGERE! Programming based on Actors, Agents, and Decentralized Control

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.

Abstract submission deadline: Mon 1 Aug 2016
Paper submission deadline: Mon 15 Aug 2016


## DSLDI: Domain-specific Language Design and Implementation

Domain-Specific Language Design and Implementation (DSLDI) is a workshop intended to bring together researchers and practitioners interested in discussing how DSLs should be designed, implemented, supported by tools, and applied in realistic contexts. The focus of the workshop is on all aspects of this process, from soliciting domain knowledge from experts, through the design and implementation of the language, to evaluating whether and how a DSL is successful. More generally, we are interested in continuing to build a community that can drive forward the development of modern DSLs.

Submission deadline talk proposals: Mon 1 Aug 2016


## DSM: Domain-Specific Modeling

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 them- selves as working directly with domain concepts. Together with frameworks and platforms, DSM can automate a large portion of software production.

Submission deadline: Mon 15 Aug 2016

## FOSD: Feature-oriented Software Development

Feature orientation is an emerging paradigm of software development. It supports the automatic generation of large-scale software systems from a set of units of functionality, called features. The key idea of feature-oriented software development (FOSD) is to explicitly represent similarities and differences of a family of software systems for a given application domain (e.g., database systems, banking software, text processing systems) with the goal of reusing software artifacts among the family members.

Submission deadline: Mon 1 Aug 2016

## ITSLE: Industry Track Software Language Engineering

Industry Track for Software Language Engineering (ITSLE) is a workshop to bring together practitioners and researchers from industry and academia working on the area of software language engineering. Domain Specific Languages (DSLs) and Model-Driven Software Engineering (MDSE) techniques are being developed and used broadly in industry. However, as the size and complexity of software systems steadily increase, so does the cost of maintaining and improving the DSL and MDSE techniques and tools. It introduces new challenges such as language co-evolution, maintainability of legacy software using older version of DSLs and MDSE techniques, and extendability and scalability of these techniques. Some of these challenges have been addressed by the SLE research community and some remain unsolved.

Submission deadline: Mon 1 Aug 2016

## LWC <at> SLE: Language Workbench Challenge

Language workbenches are tools for software language engineering. They distinguish themselves from traditional compiler tools by providing integrated development environment (IDE) support for defining, implementing, testing and maintaining languages. Not only that, languages built with a language workbench are supported by IDE features as well (e.g., syntax highlighting, outlining, reference resolving, completion etc.). As a result, language workbenches achieve a next level in terms of productivity and interactive editor support for building languages, in comparison to traditional batch-oriented, compiler construction tools. The goal of this workshop is twofold. First: exercise and assess the state-of-the-art in language workbenches using challenge problems from the user perspective (i.e. the language designer). Second: foster knowledge exchange and opportunities for collaboration between language workbench implementors and researchers.

Submission deadline of solutions: Mon 1 Aug 2016

## META

The Meta’16 workshop aims to bring together researchers working on metaprogramming and reflection, as well as users building applications, language extensions such as contracts, or software tools. With the changing hardware and software landscape, and increased heterogeneity of systems, metaprogramming becomes an important research topic to handle the associate complexity once more. Contributions to the workshop are welcome on a wide range of topics related to design, implementation, and application of metaprogramming techniques, as well as empirical studies on and typing for such systems and languages.

Abstract submission: Wed 27 Jul 2016
Paper submission: Mon 1 Aug 2016


## Mobile!

Mobile application use and development is experiencing enormous growth, and by 2016 more than 200 billion apps have been downloaded. The mobile domain presents new challenges to software engineering. Mobile platforms are rapidly changing, with diverse capabilities including various input modes, wireless communication types, on-device memory and disk capacities, and sensors. Applications function on wide ranges of platforms, requiring scaling according to hardware. Many applications interact with third-party services, requiring application development with effective security and authorization processes for those dataflows. “Bring your own device” policies pose security challenges including employer and employee data privacy. Developing secure mobile applications requires new tools and practices such as improved refactoring tools for hybrid applications; polyglot applications; and testing techniques for multiple devices. This workshop aims to establish a community of researchers and practitioners, leading to further research in mobile development.

Paper submission deadline: Mon 1 Aug 2016


## NOOL: New Object-Oriented Languages

NOOL-16 is a new unsponsored workshop to bring together users and implementors of new(ish) object oriented systems. Through presentations, and panel discussions, as well as demonstrations, and video and audiotapes, NOOL-16 will provide a forum for sharing experience and knowledge among experts and novices alike. We invite technical papers, case studies, and surveys in the following areas, related to theory of object oriented programming, new languages, implementation of languages, tools and environment, applications and related work.


Abstract submission deadline: Thu 1 Sep 2016

## PLATEAU: Workshop on Evaluation and Usability of Programming Languages and Tools

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.

Paper submission deadline: Mon 1 Aug 2016

## Parsing <at> SLE

Parsing <at> SLE 2016 is the fourth annual workshop on parsing programming languages. 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. We expect to attract participants that have been or are developing theory, techniques and tools in the broad area of parsing.

Abstract submission deadline: Fri 9 Sep 2016

## REBLS: Reactive and Event-based Languages & Systems

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.

Paper submission deadline: Mon 1 Aug 2016

## RUMPLE: ReUsable and Modular Programming Language Ecosystems

The RUMPLE’16 workshop is a venue for discussing a wide range of topics related to modular approaches to programming language implementation, extensible virtual machine architectures, as well as reusable runtime components such as dynamic compilers, interpreters, or garbage collectors. One of the main goals of the workshop is to bring together both researchers and practitioners and facilitate effective sharing of their respective experiences and ideas. We welcome presentation proposals in the form of extended abstracts discussing experiences, work-in-progress, as well as future visions from the academic as well as industrial perspective.

Extended abstract submission deadline: Mon 1 Aug 2016

## SA-MDE: Tutorial on MDD with Model Catalogue and Semantic Booster

With the model-driven development (MDD) approach to software, rather than building each system from scratch, one specifies a metamodel covering a whole class of similar systems, provides a universal generator to transform metamodel instances into executable programs, and specifies each system by a higher-level model conforming to the metamodel. When the application domain concerns semantically rich datasets—with structured entities, interlinked data, and sophisticated integrity constraints—then the MDD tools should support this richness: in the metamodel, in individual system models, and in the generation process. In this tutorial, we present the Model Catalogue and Semantic Booster, tools respectively for curating and exploiting semantically rich data in a MDD workflow, which are under development as part of ALIGNED. Participants will learn what the tools can do, gain hands-on experience with using them, and be able to contribute challenges and suggestions for future development.


## SEPS: Software Engineering for Parallel Systems

This workshop provides a stable forum for researchers and practitioners dealing with compelling challenges of the software development life cycle on modern parallel platforms. 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 re-engineering 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.

Paper submission deadline: Mon 1 Aug 2016

## VMIL: Virtual Machines and Intermediate Languages

The VMIL workshop is a forum for research in virtual machines and intermediate languages. It is dedicated to identifying programming mechanisms and constructs that are currently realized as code transformations or implemented in libraries but should rather be supported at VM level. Candidates for such mechanisms and constructs include modularity mechanisms (aspects, context-dependent layers), concurrency (threads and locking, actors, capsules, processes, software transactional memory), transactions, development tools (profilers, runtime verification), etc. Topics of interest include the investigation of which such mechanisms are worthwhile candidates for integration with the run-time environment, how said mechanisms can be elegantly (and reusably) expressed at the intermediate language level (e.g., in bytecode), how their implementations can be optimized, and how virtual machine architectures might be shaped to facilitate such implementation efforts.

Paper submission deadline: Mon 1 Aug 2016

## WODA: Workshop on Dynamic Analysis

The International Workshop on Dynamic Analysis (WODA) is the place where researchers interested in dynamic analysis and related topics can meet and discuss current research, issues, and trends in the field. WODA exists since 2003 and has been co-located with several different SE/PL conferences in the past, including ICSE, ISSTA, ASPLOS, and SPLASH. See https://sites.google.com/site/scwoda/ for the history of WODA. The 2016 edition of WODA will be a mix of invited talks by high-visibility researchers in the community and presentations of submitted workshop papers.

Submission deadline: Fri 19 Aug 2016

# SPLASH Supporters

SPLASH'16 is kindly supported by the following organizations:

- LogicBlox (Gold): http://www.logicblox.com/
- TU Delft (Silver): http://tudelft.nl/
- Huawei (Bronze): http://www.huawei.com/en/
- Facebook (Bronze): https://research.facebook.com/
- IBM Research (Bronze): http://www.research.ibm.com/
- Google (Bronze): https://www.google.com
- Itemis (Bronze): https://www.itemis.com/en/

Want to support SPLASH'16? See our options here: http://2016.splashcon.org/attending/support-program.

_______________________________________________
Haskell mailing list
Haskell <at> haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell
German Vidal | 11 Jul 11:46 2016
Picon
Gravatar

2016 Autumn School on Computational Logic

(Apologies if you receive multiple copies of this email. 
Please distribute to interested parties.)

The 2016 Autumn School on Computational Logic will be held on 
October 16-17, 2016, in New York, affiliated to the 
32nd International Conference on Logic Programming (ICLP'16). 
Researchers and PhD students are encouraged to attend. Student 
scholarships are available (Deadline for application: July 20)

               Association for Logic Programming

            2016 Autumn School on Computational Logic

               http://iclp16school.webs.upv.es/
                 October 16-17, New York, USA
                    (Affiliated to ICLP'16)

Researchers interested in research in computational logic are 
invited to attend the 2016 Autumn School. The 2-day school is 
suited for those who wish to learn advanced topics in computational 
logic and logic programming. It will consist of four half-day 
tutorials on the following topics:

1. Constraint Logic Programming
       Lecturer: Roman Bartak, Charles University, Czech Republic

2. Language processing through logic grammars and constraints
       Lecturer: Veronica Dahl, Simon Fraser University, Canada

3. Answer Set Programming: foundations and applications
       Lecturer: Torsten Schaub, University of Potsdam, Germany

4. Verification and probabilistic programming
       Lecturer: C.R. Ramakrishnan, SUNY Stony Brook, USA

A number of scholarships for students that cover local expenses for the 
duration of the school are available. To apply for these scholarships, 
students should also register to the Doctoral Consortium and send the 
following information to German Vidal at gvidal <at> dsic.upv.es by July 20th:
- A short vita of the applicant.
- A letter of recommendation from applicant's faculty advisor.
- A one paragraph statement outlining how the school will benefit the applicant.
The letter from the advisor should also certify that the applicant is a 
full-time student.

Organizers:
John Gallagher, Roskilde University, Denmark
German Vidal, Universitat Politecnica de Valencia, Spain
_______________________________________________
Haskell mailing list
Haskell <at> haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell

Gmane