From tmoldere at vub.ac.be  Fri Jan  6 15:08:55 2017
From: tmoldere at vub.ac.be (Tim Molderez)
Date: Fri, 6 Jan 2017 16:08:55 +0100
Subject: [Haskell] <Programming> 2017: Call for workshop,
	symposium & poster submissions
Message-ID: <84aa153c-ba81-8d8a-b9b3-f5d8e288fbae@vub.ac.be>


-----------------------------------------------------------------------
  <Programming> 2017 : The Art, Science, and Engineering of Programming

    April 3-6, 2017, Brussels, Belgium
    http://2017.programming-conference.org
-----------------------------------------------------------------------

We are excited to announce there will be 10 co-located events at the 
<Programming> 2017 conference (and more to come!):

  - ELS 2017 - 10th European Lisp Symposium
  - Modularity 2017 Invited talks - International Symposium on Modularity
  - ACM Student Research Competition / <Programming> 2017 Posters
  - LASSY 2017 - 2nd Workshop on Live Adaptation of Software SYstems
  - MOMO 2017 - 2nd Workshop on Modularity in Modelling
  - MoreVMs 2017 - 1st Workshop on Modern Language Runtimes, Ecosystems, 
and VMs
  - PASS 2017 - 1st Workshop on Programming Across the System Stack
  - PX 2017 - 2nd Workshop on Programming Experience
  - ProWeb 2017 - 1st Workshop on Programming Technology for the Future Web
  - Salon des Refusés 2017 - 1st edition of the Salon des Refusés workshop

All co-located events will take place during April 3-4 2017.
CFPs for each of these events are listed below. (apart from Modularity 
2017, which is invitation-based)



****************************************************************
  ELS 2017 - 10th European Lisp Symposium

    Submissions: Mon 30 Jan 2017
    Notifications: Mon 27 Feb 2017

    http://2017.programming-conference.org/track/els-2017
****************************************************************

The purpose of the European Lisp Symposium is to provide a forum for the 
discussion and dissemination of all aspects of design, implementation 
and application of any of the Lisp and Lisp-inspired dialects, including 
Common Lisp, Scheme, Emacs Lisp, AutoLisp, ISLISP, Dylan, Clojure, ACL2, 
ECMAScript, Racket, SKILL, Hop and so on. We encourage everyone 
interested in Lisp to participate.

The 10th European Lisp Symposium invites high quality papers about novel 
research results, insights and lessons learned from practical 
applications and educational perspectives. We also encourage submissions 
about known ideas as long as they are presented in a new setting and/or 
in a highly elegant way.

Topics include but are not limited to:

     * Context-, aspect-, domain-oriented and generative programming
     * Macro-, reflective-, meta- and/or rule-based development approaches
     * Language design and implementation
     * Language integration, inter-operation and deployment
     * Development methodologies, support and environments
     * Educational approaches and perspectives
     * Experience reports and case studies



********************************************************************
  ACM Student Research Competition / <Programming> 2017 Posters

    Submissions: Mon 16 Jan 2017

    http://2017.programming-conference.org/track/programming-posters
********************************************************************

The ACM Student Research Competition (SRC), sponsored by Microsoft 
Research, offers a unique forum for ACM student members at the 
undergraduate and graduate levels to present their original research 
before a panel of judges and conference attendees. The SRC gives 
visibility to up-and-coming young researchers, and offers them an 
opportunity to discuss their research with experts in their field, get 
feedback, and to help sharpen communication and networking skills.

ACM’s SRC program covers expenses up to $500 for all students invited to 
an SRC. Please see our website for requirements and further details.



******************************************************************
  LASSY 2017 - 2nd Workshop on Live Adaptation of Software SYstems

    Submissions: Fri 3 Feb 2017
    Notifications: Fri 3 Mar 2017

    http://2017.programming-conference.org/track/LASSY-2017-papers
******************************************************************

When developing current-day software systems, their deployment and usage 
environments should be considered carefully, in order to understand the 
adaptations those systems might need to undergo to interact with other 
systems and with their environment. Moreover, due to the portability, 
mobility and increasingly evolutionary nature of software systems, such 
adaptations should be enacted even while the system is running. 
Developing such software systems can prove challenging, and many 
seemingly different techniques to address this concern have been 
proposed over the last couple of years.

The intention of the LASSY workshop is to congregate all topics relevant 
to dynamic adaptation and run-time evolution of software systems, 
ranging from a computer science perspective covering the domains of 
programming languages, model-driven software development, software and 
service composition, context-aware databases, software variability, 
requirements engineering, UI adaptation and other domains, to a human 
perspective covering sociological or ethical implications of dynamic 
software systems. The workshop provides a space for discussion and 
collaboration between researchers working on the problem of enabling 
live adaptations to software systems, across the development stack.

Topics of Interest:

     * Design and Implementation of Live Adaptive Software Systems
         * Context-, aspect-, feature-, role- and agent-oriented programming
         * Context representation and discovery
         * Context-aware model-driven software development
         * Context-aware data management
         * Software variability and dynamic product lines
         * Self-adaptive, self-explanatory systems
         * Inconsistency management, verification, and validation
     * Middleware and Runtime of Live Adaptive Software Systems
         * Dynamic software evolution, upgrades and configuration
         * Dynamic software and service composition mechanisms
         * Dynamic software architecture and middleware approaches
         * Dynamic user interface adaptation and multimodal user interfaces
     * Impact and Assessment of Live Adaptive Software Systems
         * User acceptance and usability issues
         * Human, sociological, ethical and legal aspects
         * Privacy and security aspects of dynamic adaptability
         * Live adaptation in smart environments (e.g. smart rooms, 
smart robot cells, smart factories, smart cities)
         * Self-adaptation and emergence in SoS and CPSoS



****************************************************************
  MOMO 2017 - 2nd Workshop on Modularity in Modelling

    Abstract submissions (optional): Sun Jan 29 2017
    Paper submissions: Sun Feb 5 2017
    Notifications: Wed Feb 22 2017

    http://www.momo2017.ece.mcgill.ca/cfp.htm
****************************************************************

Extending the time-honored practice of separation of concerns, 
Model-Driven Engineering (MDE) promotes the use of separate models to 
address the various concerns in the development of complex 
software-intensive systems. The main objective is to choose the right 
level of abstraction to modularize a concern, specify its properties and 
reason about the system under development depending on stakeholder and 
development needs. While some of these models can be defined with a 
single modelling language, a variety of heterogeneous models and 
languages are typically used in the various phases of software 
development. Furthermore, Domain-Specific Modelling Languages designed 
to address particular concerns are also increasingly used.

Despite the power of abstraction of modelling, models of real-world 
problems and systems quickly grow to such an extent that managing the 
complexity by using proper modularization techniques becomes necessary. 
As a result, many (standard) modelling notations have been extended with 
aspect-oriented mechanisms and advanced composition operators to support 
advanced separation of concerns, to combine (possibly heterogeneous) 
models modularizing different concerns, to execute an application based 
on modularized models, and to reason over global properties of 
modularized models.

The Second International Modularity in Modelling Workshop brings 
together researchers and practitioners interested in the theoretical and 
practical challenges resulting from applying modularity, advanced 
separation of concerns, and advanced composition at the modelling level. 
It is intended to provide a forum for presenting new ideas and 
discussing the impact of the use of modularization in the context of MDE 
at different levels of abstraction.

We are interested in submissions on all topics related to modularity and 
modelling including but not limited to:

     * Modularization Support in Modelling Languages and Tools
         * Model Interfaces
         * Homogeneous Model Composition Operators
         * Heterogeneous Model Composition Operators
         * Visualization of Modularized and Composed Models
     * Effects of Using Modularization and Composition in Modelling
         * On Verification and Validation
         * On Reuse
         * On the Model-Driven Software Development Process 
(Requirements Engineering, Software Architecture, Software Design, 
Implementation)
         * On Maintenance
         * Experience Reports / Empirical Evaluations of Applying 
Modularization and Composition in Modelling
     * Feature-Oriented, Aspect-Oriented and Concern-Oriented Modelling
         * Modularization support and composition operators for specific 
modelling notations
         * Modelling essential characteristics of specific 
(crosscutting) concerns
         * Multi-View Modelling: avoiding inconsistencies, avoiding 
Redundancies
         * Support for Detecting and/or Resolution of Feature Interactions
     * Domain-Specific Modelling
         * Modularization for Domain-Specific Languages
         * Composition for Domain-Specific Languages
         * Domain-specific Aspect Models



******************************************************************************
  MoreVMs 2017 - 1st Workshop on Modern Language Runtimes, Ecosystems, 
and VMs

    Submissions: Wed 15 Feb 2017
    Notifications: Wed 1 Mar 2017

    http://2017.programming-conference.org/track/MoreVMs-2017-papers
******************************************************************************

The main goal of the workshop is to bring together both researchers and 
practitioners and facilitate effective sharing of their respective 
experiences and ideas on how languages and runtimes are utilized and 
where they need to improve further. 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.

Relevant topics include, but are definitely not limited to, the following:

     * Extensible VM design (compiler- or interpreter-based VMs)
     * Reusable runtime components (e.g. interpreters, garbage 
collectors, intermediate representations)
     * Static and dynamic compiler techniques
     * Techniques for compilation to high-level languages such as JavaScript
     * Runtimes and mechanisms for interoperability between languages
     * Tooling support (e.g. debugging, profiling, etc.)
     * Programming language development environments and virtual machines
     * Case studies of existing language implementations, virtual 
machines, and runtime components (e.g. design choices, tradeoffs, etc.)
     * Language implementation challenges and trade-offs (e.g. 
performance, completeness, etc.)
     * Surveys and applications usage reports to understand runtime 
usage in the wild
     * Surveys on frameworks and their impact on runtime usage
     * New research ideas on how we want to build languages in the future



**************************************************************************
  PASS 2017 - 1st Workshop on Programming Across the System Stack

    Submissions: Mon 13 Feb 2017
    Notifications: Mon 27 Feb 2017

http://2017.programming-conference.org/track/PASS-2017#Call-for-Papers
**************************************************************************

The landscape of computation platforms has changed dramatically in 
recent years. Emerging systems - such as wearable devices, smartphones, 
unmanned aerial vehicles, Internet of things, cloud computing servers, 
heterogeneous clusters, and data centers - pose a distinct set of 
system-oriented challenges ranging from data throughput, energy 
efficiency, security, real-time guarantees, to high performance. In the 
meantime, code quality, such as modularity or extensibility, remains a 
cornerstone in modern software engineering, bringing in crucial benefits 
such as modular reasoning, program understanding, and collaborative 
software development. Current methodologies and software development 
technologies should be revised in order to produce software to meet 
system-oriented goals, while preserving high internal code quality. The 
role of the Software Engineer is essential, having to be aware of the 
implications that each design, architecture and implementation decision 
has on the application system ecosystem.

This workshop is driven by one fundamental question: How does internal 
code quality interact with system-oriented goals? We welcome both 
positive and negative responses to this question. An example of the 
former would be modular reasoning systems specifically designed to 
promote system-oriented goals, whereas an example of the latter would be 
anti-patterns against system-oriented goals during software development.

Areas of interest include but are not limited to:

     * Energy-aware software engineering (e.g. energy efficiency models, 
energy efficiency as a quality attribute)
     * Modularity support (e.g., programming language design, 
development tools or verification) for applications in 
resource-constrained or real-time systems
     * Emerging platforms (e.g., Internet of Things and wearable devices)
     * Security support (e.g., compositional information flow, 
compositional program analysis)
     * Software architecture for reusability and adaptability in systems 
and their interactions with applications
     * Empirical studies (patterns and anti-patterns) on the 
relationship between internal code quality and system-oriented goals
     * Software engineering techniques to balance the trade-off between 
internal code quality and efficiency
     * Memory bloats and long-tail performance problems across modular 
boundaries
     * Program optimization across modular boundaries
     * Internal code quality in systems software
     * Reasoning across applications, compilers, and virtual machines



****************************************************************
  PX 2017 - 2nd Programming Experience Workshop

    Submissions: Sat 4 Feb 2017
    Notifications: Mon 27 Feb 2017

    http://programming-experience.org/px17
****************************************************************

Imagine a software development task: some sort of requirements and 
specification including performance goals and perhaps a platform and 
programming language. A group of developers head into a vast workroom. 
In that room they discover they need to explore the domain and the 
nature of potential solutions—they need exploratory programming.

The Programming Experience Workshop is about what happens in that room 
when one or a couple of programmers sit down in front of computers and 
produce code, especially when it’s exploratory programming. Do they 
create text that is transformed into running behavior (the old way), or 
do they operate on behavior directly (“liveness”); are they exploring 
the live domain to understand the true nature of the requirements; are 
they like authors creating new worlds; does visualization matter; is the 
experience immediate, immersive, vivid and continuous; do fluency, 
literacy, and learning matter; do they build tools, meta-tools; are they 
creating languages to express new concepts quickly and easily; and 
curiously, is joy relevant to the experience?

Correctness, performance, standard tools, foundations, and 
text-as-program are important traditional research areas, but the 
experience of programming and how to improve and evolve it are the focus 
of this workshop, and in this edition we would like to focus on 
exploratory programming.

The technical topics include:

     * Exploratory programming
     * Live programming
     * Authoring
     * Representation of active content
     * Visualization
     * Navigation
     * Modularity mechanisms
     * Immediacy
     * Literacy
     * Fluency
     * Learning
     * Tool building
     * Language engineering



*************************************************************************
  ProWeb 2017 - 1st Workshop on Programming Technology for the Future Web

    Submissions: Wed 15 Feb 2017
    Notifications: Wed 1 Mar 2017

    http://2017.programming-conference.org/track/proweb-2017-papers
*************************************************************************

Full-fledged web applications have become ubiquitous on desktop and 
mobile devices alike. Whereas “responsive” web applications already 
offered a more desktop-like experience, there is an increasing demand 
for “rich” web applications (RIAs) that offer collaborative and even 
off-line functionality —Google docs being the prototypical example. Long 
gone are the days that web servers merely had to answer incoming HTTP 
request with a block of static HTML. Today’s servers react to a 
continuous stream of events coming from JavaScript applications that 
have been pushed to clients. As a result, application logic and data is 
increasingly distributed. Traditional dichotomies such as “client vs. 
server” and “offline vs. online” are fading.

The 1st International Workshop on Programming Technology for the Future 
Web, or ProWeb17, is a forum for researchers and practitioners to share 
and discuss new technology for programming these and future evolutions 
of the web. We welcome submissions introducing programming technology 
(i.e., frameworks, libraries, programming languages, program analyses 
and development tools) for implementing web applications and for 
maintaining their quality over time, as well as experience reports about 
the use of state-of-the-art programming technology.

Relevant topics include, but are not limited to:

     * Quality on the new web: static and dynamic program analyses; 
code, design test and process metrics; development and migration tools; 
automated testing and test generation; contract systems, type systems, 
and web service API conformance checking; …
     * Hosting languages on the web: new runtimes; transpilation or 
compilation to JavaScript, WebAssembly, asm.js, …
     * Designing languages for the web: multi-tier (or tierless) 
programming; reactive programming; frameworks for multi-tier or reactive 
programming on the web; …
     * Distributed data sharing, replication and consistency: cloud 
types, CRDTs, eventual consistency, offline storage, peer-to-peer 
communication, …
     * Security on the web: client-side and server-side security 
policies; policy enforcement; proxies and membranes; vulnerability 
detection; dynamic patching, …
     * Surveys and case studies using state-of-the-art web technology 
(e.g., WebAssembly, WebSocket, LocalStorage, AppCache, ServiceWorkers, 
Meteor, deepstream.io, Angular.js, React and React Native, Swarm.js, 
Caja, TypeScript, Proxies, ClojureScript, Amber Smalltalk, Scala.js, …)
     * Ideas on and experience reports about: how to reconcile the need 
for quality with the need for agility on the web; how to master and 
combine the myriad of tier-specific technologies required to develop a 
web application, …
     * Position statements on what the future of the web will look like



****************************************************************
  Salon des Refusés 2017

    Submissions: Wed 1 Feb 2017
    Notifications: Fri 17 Feb 2017

    https://refuses.github.io
****************************************************************

Salon des Refusés (“exhibition of rejects”) was an 1863 exhibition of 
artworks rejected from the official Paris Salon. The jury of Paris Salon 
required near-photographic realism and classified works according to a 
strict genre hierarchy. Paintings by many, later famous, modernists such 
as Édouard Manet were rejected and appeared in what became known as the 
Salon des Refusés. This workshop aims to be the programming language 
research equivalent of Salon des Refusés. We provide a venue for 
exploring new ideas and new ways of doing computer science.

Many interesting ideas about programming might struggle to find space in 
the modern programming language research community, often because they 
are difficult to evaluate using established evaluation methods (be it 
proofs, measurements or controlled user studies). As a result, new ideas 
are often seen as “unscientific”.

This workshop provides a venue where such interesting and 
thought-provoking ideas can be exposed to critical evaluation. 
Submissions that provoke interesting discussion among the program 
committee members will be published together with an attributed review 
that presents an alternative position, develops additional context or 
summarizes discussion from the workshop. This means of engaging with 
papers not just enables explorations of novel programming ideas, but 
also encourages new ways of doing computer science.
Topics of interest

The scope of the workshop is determined more by the format of 
submissions than by the specific area of programming language or 
computer science research that we are interested in. We welcome 
submissions in a format that makes it possible to think about 
programming in a new way, including, but not limited to:

     * Thought experiments – we believe that thought experiments, 
analogies and illustrative metaphors can provide novel insights and 
inspire fruitful programming language ideas.
     * Experimentation – we find prejudices in favour of theory, as far 
back as there is institutionalized science, but programming can often be 
seen more as experimentation than as theorizing. We welcome interesting 
experiments even if there is yet no overarching theory that explains why 
they happened.
     * Paradigms – all scientific work is rooted in a scientific 
paradigm that frame what questions can be asked. We encourage 
submissions that reflect on existing paradigms or explore alternative 
scientific paradigms.
     * Metaphors, myths and analogies – any description of formal, 
mathematical, quantitative or even poetical nature still represents just 
an analogy. We believe that fruitful ideas can be learned from less 
common forms of analogies as well as from the predominant, formal and 
mathematical ones.
     * From jokes to science fiction – a story or an artistic 
performance may explore ideas and spark conversations that provide 
crucial inspiration for development of new computer science thinking.




From wim.ectors at uhasselt.be  Tue Jan 10 08:24:31 2017
From: wim.ectors at uhasselt.be (Wim Ectors)
Date: Tue, 10 Jan 2017 03:24:31 -0500
Subject: [Haskell] [MobiSPC-Conf] MobiSPC 2017 CFPs: The 14th International
 Conference on Mobile Systems and Pervasive Computing (July 24-26, 2017,
 Leuven, Belgium)
Message-ID: <CAFDP4DQZfVp6uM-SBsVS1Xz-wxPhxjC30Zvu-M8=Sr0RREghnA@mail.gmail.com>

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


The 14th International Conference on Mobile Systems and Pervasive Computing
(MobiSPC)

July 24-26, 2017

Leuven, Belgium

http://cs-conferences.acadiau.ca/mobispc-17/

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


Mobile Systems and Pervasive Computing (MobiSPC) have evolved into an
active area of research and development. This is due to the tremendous
advances in a broad spectrum of technologies and topics, including wireless
networking, mobile and distributed computing, sensor systems, RFID
technology, and the ubiquitous mobile phone. MobiSPC-2017 solicits papers
that focus on the theory, systems, practices and challenges of providing
users with a successful mobile or wireless experience. This includes how
mobile computing changes how people pervasively use their computers,
computing resources and applications, as well the systems, services and
technologies enabling those applications.

MobiSPC-2017 will provide a leading edge, scholarly forum for researchers,
engineers, and students alike to share their state-of-the art research and
developmental work in the broad areas of pervasive computing and mobile
systems.



Important Dates

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

- Workshop Proposal Due: January 20, 2017

- Paper Submission Due: March 8, 2017

- Acceptance Notification: April 28, 2017

- Final Manuscript Due: May 28, 2017

Publication

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

All MobiSPC 2017 accepted papers will be published by Elsevier Science in
the open-access Procedia Computer Science series on-line. Procedia Computer
Science is hosted by Elsevier on www.Elsevier.com and on Elsevier content
platform ScienceDirect (www.sciencedirect.com), and will be freely
available worldwide. All papers in Procedia will be indexed by Scopus (
www.scopus.com) and by Thomson Reuters' Conference Proceeding Citation
Index (http://thomsonreuters.com/conference-proceedings-citation-index/).
All papers in Procedia will also be indexed by Scopus (www.scopus.com) and
Engineering Village (Ei) (www.engineeringvillage.com). This includes EI
Compendex (www.ei.org/compendex). Moreover, all accepted papers will be
indexed in DBLP (http://dblp.uni-trier.de/). The papers will contain linked
references, XML versions and citable DOI numbers. You will be able to
provide a hyperlink to all delegates and direct your conference website
visitors to your proceedings. Selected papers will be invited for
publication, in the special issues of:

- Journal of Ambient Intelligence and Humanized Computing (IF: 0.835), by
Springer (http://www.springer.com/engineering/journal/12652)

- Journal of Future Generation Computer Systems (IF: 2.430), by Elsevier (
http://www.journals.elsevier.com/future-generation-computer-systems/)

MobiSPC 2017 will be held in conjunction with the 12th International
Conference on Future Networks and Communications (FNC,
http://cs-conferences.acadiau.ca/fnc-17/).

MobiSPC 2017 will be held in the city of Leuven. Leuven is the capital of
the province of Flemish Brabant in Belgium. It is located about 25
kilometres (16 miles) east of Brussels. It is the 10th largest municipality
in Belgium and the fourth in Flanders. Leuven is home to the Katholieke
Universiteit Leuven, the largest and oldest university of the Low Countries
and the oldest Catholic university still in existence. The related
university hospital of UZ Leuven, is one of the largest hospitals of
Europe. The city is also known for being the headquarters of Anheuser-Busch
InBev, the world's largest brewer and one of the five largest
consumer-goods companies in the world.

Conference Tracks

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

- Component-based IoT

- Enabling Technologies and Emerging Topics

- Internet of Things (IoT)

- Mobile Cloud Computing

- Mobile Data Management

- Mobile Social Networking

- Pervasive Computing

- Smart Cities and Ubiquitous Climate Change Management

- Smart Communities and Ubiquitous Systems

- Mobile Systems and Applications

Committees:

-----------

General Chairs

Danny Hughes, K. U. Leuven, Belgium

Hossam Hassanein, Queen's University, Canada

Program Chairs

Ansar-Ul-Haque Yasar, IMOB – Hasselt University, Belgium

Stéphane Galland, Université de Technologie de Belfort-Montbéliard, France

Advisory Committee

Nirwan Ansari, New Jersey Institute of Technology, USA

Abdelfettah Belghith, University of Manouba, Tunisia

Flavien Balbo, Ecole Nationale Superieure des Mines de Saint Etienne,
France

Erol Gelenbe, Imperial College, UK

Noël de Palma, Université de Grenoble, France

Ralf Steinmetz, Technische Universitaet Darmstadt, Germany

David Taniar, Monash University, Australia

Mohamed Younis, University of Maryland Baltimore County, USA

Workshops Chairs

Zahoor Khan, Higher Colleges of Technology, UAE

Tracks Chairs

Habib M. Ammari, Norfolk State University, USA

Longbiao Chen, Xiamen University, China

Danny Hughes, K. U. Leuven, Belgium

Nafaa Jabeur, German University of Technology, Oman

Jason J. Jung, Chung-Ang University, Korea

Marc Körner, TUB Berlin, Germany

Prashant Kumar, University of Surrey, UK

Nawaz Mohamudally, University of Technology, Mauritius

Francesco Piccialli, University of Naples, Federico II, Italy

Christian Poellabauer, University of Notre Dame, USA

M. Elena Renda, Istituto di Informatica e Telematica - CNR, Italy

Michael Sheng, University of Adelaide, Australia

Leye Wang, Hong Kong University of Science and Technology, China

Publicity Chairs

Mikhail Gofman, California State University of Fullerton, USA

Pedro E. Lopez-de-Teruel, Spain

Mario Henrique Cruz Torres, K.U. Leuven, Belgium

Technical Program Committee

http://cs-conferences.acadiau.ca/mobispc-17/#programCommittees

Steering Committee Chair

Elhadi Shakshuki, Acadia University, Canada
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/haskell/attachments/20170110/b06ecec0/attachment.html>

From nevrenato at gmail.com  Tue Jan 10 14:58:17 2017
From: nevrenato at gmail.com (Renato Neves)
Date: Tue, 10 Jan 2017 14:58:17 +0000
Subject: [Haskell] First School on Foundations of Programming and Software
 systems -- Probabilistic programming
Message-ID: <20170110145817.GA34334@p187.glmf.di.uminho.pt>

It is our greatest pleasure to announce the first edition of the
School on Foundations of Programming and Software systems. The school
is jointly funded by EATCS, ETAPS, ACM SIGLOG, and ACM SIGPLAN. The
topic of the first edition is Probabilistic programming. It will take
place in Braga, Portugal, May 29th - June 4th 2017.

Probabilistic programming languages are used for modelling and
analysis purposes across multiple areas of computer science, including
machine learning, security, and quantitative biology. In particular,
they provide a rigorous foundation for machine learning where they are
used to describe probabilistic models and to perform inference in
presence of uncertain information. Probabilistic programs are also
used in cryptography and in privacy for modelling and quantifying
security. The goal of the school is to introduce attendants to
theoretical and practical aspects of programming languages, and will
propose courses that cover the following topics: semantics, analysis,
verification, applications to machine learning, privacy, and
security. The school will have lectures by Andy Gordon, Catuscia
Palamidessi, Christel Baier, Dexter Kozen, Frank Wood, Hongseok Yang,
Javier Esparza, Michael Carbin, Peter Selinger, Prakash Panangaden,
Sriram Sankaranarayanan, and Vitaly Shmatikov.

For more information please check the school webpage
http://probprogschool2017.di.uminho.pt/

If you have any queries feel free to contact the organisers.

Best wishes,

Luis Barbosa
Gilles Barthe
Joost-Pieter Katoen
Renato Neves 
Alexandra Silva

From wim.ectors at uhasselt.be  Wed Jan 11 12:44:04 2017
From: wim.ectors at uhasselt.be (Wim Ectors)
Date: Wed, 11 Jan 2017 04:44:04 -0800
Subject: [Haskell] [FNC-Conf] FNC 2017 CFPs: The 12th International
 Conference on Future Networks and Communications (July 24-26, 2017, Leuven,
 Belgium)
Message-ID: <CAFDP4DRKM+VWgHEQQaiM4aiK0hT2i_gR61TY1hUv9pMFFT26qw@mail.gmail.com>

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

The 12th International Conference on Future Networks and Communications
(FNC)

July 24-26, 2017

Leuven, Belgium

http://cs-conferences.acadiau.ca/fnc-17/

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



Future Networks and Communications (FNC) research effort will help
achieving a major promise of the emerging technologies such as, ubiquitous
access to broadband, supporting vital applications in our daily lives such
as health, energy consumption, environment transport, entertainment or
education. The scope of FNC is the development of energy-efficient future
network infrastructures that support the convergence and interoperability
of heterogeneous mobile, wired and wireless broadband network technologies
as enablers of the future Internet. This includes but not limited to
ubiquitous fast broadband access and ultra-high speed end-to-end optical
connectivity, supporting open services and innovative ambient applications.
Scope also embraces novel and evolutionary approaches to tackle network
architectures, taking due consideration of users and societal needs for
success.

Important Dates

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

- Workshop Proposal Due: January 20, 2017

- Paper Submission Due: March 8, 2017

- Acceptance Notification: April 28, 2017

- Final Manuscript Due: May 28, 2017

Publication

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

All FNC 2017 accepted papers will be published by Elsevier Science in the
open-access Procedia Computer Science series on-line. Procedia Computer
Science is hosted by Elsevier on www.Elsevier.com and on Elsevier content
platform ScienceDirect (www.sciencedirect.com), and will be freely
available worldwide. All papers in Procedia will be indexed by Scopus (
www.scopus.com) and by Thomson Reuters' Conference Proceeding Citation
Index (http://thomsonreuters.com/conference-proceedings-citation-index/).
All papers in Procedia will also be indexed by Scopus (www.scopus.com) and
Engineering Village (Ei) (www.engineeringvillage.com). This includes EI
Compendex (www.ei.org/compendex). Moreover, all accepted papers will be
indexed in DBLP (http://dblp.uni-trier.de/). The papers will contain linked
references, XML versions and citable DOI numbers. You will be able to
provide a hyperlink to all delegates and direct your conference website
visitors to your proceedings. Selected papers will be invited for
publication, in the special issues of:

- Journal of Ambient Intelligence and Humanized Computing (IF: 0.835), by
Springer (http://www.springer.com/engineering/journal/12652)

- Journal of Future Generation Computer Systems (IF: 2.430), by Elsevier (
http://www.journals.elsevier.com/future-generation-computer-systems/)

FNC 2017 will be held in conjunction with the 14th International Conference
on Mobile Systems and Pervasive Computing (MobiSPC
http://cs-conferences.acadiau.ca/mobispc-17/).

FNC 2017 will be gel in the city of Leuven. Leuven is the capital of the
province of Flemish Brabant in Belgium. It is located about 25 kilometres
(16 miles) east of Brussels. It is the 10th largest municipality in Belgium
and the fourth in Flanders. Leuven is home to the Katholieke Universiteit
Leuven, the largest and oldest university of the Low Countries and the
oldest Catholic university still in existence. The related university
hospital of UZ Leuven, is one of the largest hospitals of Europe. The city
is also known for being the headquarters of Anheuser-Busch InBev, the
world's largest brewer and one of the five largest consumer-goods companies
in the world.

COMMITTEES:

-----------

General Chairs

Atta Badii, University of Reading, UK

Soumaya Cherkaoui, Sherbrooke University, Canada

Program Chairs

Ansar-Ul-Haque Yasar, IMOB Ð Hasselt University, Belgium

Haroon Malik, Marshall University, USA

Advisory Committee

Erol Gelenbe, Imperial College, UK

Roch Glitho, Concordia University, Canada

Zygmunt J. Haas, Cornell University, USA

Philippe Martins, Telecom Paris Tech, France

Peter Sloot, Universiteit van Amsterdam, Netherlands

Ralf Steinmetz, Technische Universitaet Darmstadt, Germany

David Taniar, Monash University, Australia

Mohamed Younis, University of Maryland Baltimore County, USA

Workshops Chairs

Zahoor Khan, Higher Colleges of Technology, UAE

International Journals Chair

Bin Guo, Northwestern Polytechnical University, China

Publicity Chairs

Wim Ectors, Hasselt University, Belgium

Yaser Jararweh, Jordan University of Science and Technology, Jordan

Bjšrn A. Johnsson, Lund University, Sweden

Technical Program Committee

http://cs-conferences.acadiau.ca/fnc-17/#programCommittees

Steering Committee Chair

Elhadi Shakshuki, Acadia University, Canada
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/haskell/attachments/20170111/f2633090/attachment.html>

From rdgrande at site.uottawa.ca  Thu Jan 12 22:09:50 2017
From: rdgrande at site.uottawa.ca (Robson De Grande)
Date: Thu, 12 Jan 2017 17:09:50 -0500
Subject: [Haskell] CFP: DCOSS 2017 *EXTENDED DEALINE* - January 20th, 2017
Message-ID: <CAKOwLX4XCTG09q6sjZqewKiAVznN7ED4Q_tUpuKdnDiNgy8xyg@mail.gmail.com>

===================================================
Call-For-Papers:
13th DCOSS 2017
Ottawa, Canada, June 5 - 7, 2017
http://www.dcoss.org/
====================================================
IMPORTANT:
Paper Submission (Extended): January 20th, 2017
===================================================

------

DCOSS 2017 is the 13th International Conference on Distributed Computing in
Sensor Systems to be hosted in Ottawa, Canada in June 5-7, 2017. Due to
their potential of impacting an entire host of application areas,
distributed sensor systems have become a highly visible research area. The
focus of DCOSS series of conferences is on distributed computing issues in
large scale networked sensor systems, including, but not limited to,
algorithms and applications, systems design techniques and tools, and
in-network signal and information processing. DCOSS puts together a highly
selective program where it primes for quality and innovation on works.

Potential authors are invited to submit original unpublished manuscripts
that demonstrate current research on computational aspects of distributed
sensor systems. Topics of interest include but are not limited to:

Social networks and applications
Sensors for smart grid systems, green networks and sustainability
Computation and programming models
Energy models, minimization, awareness
Distributed collaborative information processing
Detection and tracking
Theoretical performance analysis: complexity, correctness, scalability
Abstractions for modular design
Fault tolerance and security
Task allocation, reprogramming and reconfiguration
Dynamic resource management
Scalable, heterogeneous architectures (node and system-level)
Middleware interfaces, communication and processing primitives
Design, simulation and optimization tools for deployment and operation
Design automation and application synthesis techniques
Closed-loop control for sensing and actuation
Case studies: lessons from real world deployments
Network coding and compression


Paper Submission and Publication:

High-quality original papers are solicited. Papers must be unpublished and
must not be submitted for publication elsewhere. All papers will be
reviewed by Technical Program Committee members and other experts active in
the field to ensure high quality and relevance to the conference.

Please submit your paper through EDAS link (https://edas.info/N23046). More
detailed instructions about paper submissions can be fount at the link
below.
     - http://www.dcoss.org/


Important Dates:

Paper Submission Deadline (Extended): January 20th, 2017


Organizing Committee:

GENERAL CHAIR
Azzedine Boukerche, University of Ottawa, Canada

PROGRAM CO-CHAIRS
Salil Kanhere, University of New South Wales, Australia
Soumaya Charkaoui, University of Sherbrooke, Canada
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/haskell/attachments/20170112/485e06e3/attachment.html>

From meneguette at ifsp.edu.br  Fri Jan 13 01:04:53 2017
From: meneguette at ifsp.edu.br (RODOLFO IPOLITO MENEGUETTE)
Date: Thu, 12 Jan 2017 23:04:53 -0200 (BRST)
Subject: [Haskell] CFP: DCOSS 2017 *EXTENDED DEALINE* - January 20th, 2017
In-Reply-To: <251831791.10158134.1484269481969.JavaMail.zimbra@ifsp.edu.br>
Message-ID: <57465239.10158142.1484269493570.JavaMail.zimbra@ifsp.edu.br>

=================================================== 
Call-For-Papers: 
13th DCOSS 2017 
Ottawa, Canada, June 5 - 7, 2017 
http://www.dcoss.org/ 
==================================================== 
IMPORTANT: 
Paper Submission (Extended): January 20th, 2017 
=================================================== 

------ 

DCOSS 2017 is the 13th International Conference on Distributed Computing in Sensor Systems to be hosted in Ottawa, Canada in June 5-7, 2017. Due to their potential of impacting an entire host of application areas, distributed sensor systems have become a highly visible research area. The focus of DCOSS series of conferences is on distributed computing issues in large scale networked sensor systems, including, but not limited to, algorithms and applications, systems design techniques and tools, and in-network signal and information processing. DCOSS puts together a highly selective program where it primes for quality and innovation on works. 

Potential authors are invited to submit original unpublished manuscripts that demonstrate current research on computational aspects of distributed sensor systems. Topics of interest include but are not limited to: 

Social networks and applications 
Sensors for smart grid systems, green networks and sustainability 
Computation and programming models 
Energy models, minimization, awareness 
Distributed collaborative information processing 
Detection and tracking 
Theoretical performance analysis: complexity, correctness, scalability 
Abstractions for modular design 
Fault tolerance and security 
Task allocation, reprogramming and reconfiguration 
Dynamic resource management 
Scalable, heterogeneous architectures (node and system-level) 
Middleware interfaces, communication and processing primitives 
Design, simulation and optimization tools for deployment and operation 
Design automation and application synthesis techniques 
Closed-loop control for sensing and actuation 
Case studies: lessons from real world deployments 
Network coding and compression 


Paper Submission and Publication: 

High-quality original papers are solicited. Papers must be unpublished and must not be submitted for publication elsewhere. All papers will be reviewed by Technical Program Committee members and other experts active in the field to ensure high quality and relevance to the conference. 

Please submit your paper through EDAS link ( https://edas.info/N23046 ). More detailed instructions about paper submissions can be fount at the link below. 
- http://www.dcoss.org/ 


Important Dates: 

Paper Submission Deadline (Extended): 20th January, 2017 


Organizing Committee: 

GENERAL CHAIR 
Azzedine Boukerche, University of Ottawa, Canada 

PROGRAM CO-CHAIRS 
Salil Kanhere, University of New South Wales, Australia 
Soumaya Charkaoui, University of Sherbrooke, Canada 
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/haskell/attachments/20170112/6af17f0a/attachment.html>

From rxg at cs.ubc.ca  Sat Jan 14 00:56:39 2017
From: rxg at cs.ubc.ca (Ronald Garcia)
Date: Fri, 13 Jan 2017 16:56:39 -0800
Subject: [Haskell] =?utf-8?q?_SPLASH=E2=80=9917_Call_for_Contributions=3A_?=
	=?utf-8?q?Workshops?=
Message-ID: <510F8D96-282A-4CF2-993F-1B465A98F623@cs.ubc.ca>

/************************************************************************************/
ACM Conference on Systems, Programming, Languages, and Applications:
Software for Humanity (SPLASH'17)

Vancouver, Canada
October 22-27, 2017

http://2017.splashcon.org <http://2017.splashcon.org/>

Sponsored by ACM SIGPLAN


/************************************************************************************/
CALL FOR CONTRIBUTIONS:
Workshops

/************************************************************************************/

## SPLASH Workshops

Following its long-standing tradition, SPLASH 2017 will host a variety of high-quality workshops, allowing their participants to meet and discuss research questions with peers, to mature new and exciting ideas, and to build up communities and start new collaborations. SPLASH workshops complement the main tracks of the conference and provide meetings in a smaller and more specialized setting. Workshops cultivate new ideas and concepts for the future, optionally recorded in formal proceedings.

##  Call for Submissions:

We encourage proposals for workshops on any topic relevant to SPLASH. If there is a topic relevant to SPLASH that you feel passionate about, and you want to connect with others who have similar interests, you should consider submitting a proposal to organize a workshop! The exact format of the workshop can be defined by the proposal submitters, and we more than welcome new, and unconventional ideas for workshop formats. The following suggestions may serve as a starting point:

- Mini-conferences provide their participants the possibility to present their work to other domain experts. The smaller and more specialized setting of the workshop allows for more extensive Q&A sessions and facilitates ample discussions,which may continue after the workshop. Typically, presentations of work-in-progress as well as of completed projects are welcome. The workshop may or may not produce formal proceedings.

- Retreats act as a platform for domain experts to gather with the purpose of tackling the issues of a predetermined research agenda. Retreats are highly interactive and goal-oriented, allowing their participants to address open challenges in their domain, to explore new, uncharted ideas, and to (maybe even) uncover new, promising research domains.

- Agenda-setting workshops provide a forum for domain experts to determine a research agenda for a sub-field, and may include collaborations on an agenda document that is published after the workshop is over.

Other common activities at workshops include poster sessions, hands-on practical work, and focus groups.

Proposal submitters should feel free to direct questions about workshop formats to the workshop chairs. Workshops that include presentation of research papers, and that implement a SIGPLAN-approved selection process, may be archived as formal proceedings in the ACM Digital Library; note that this option is available only to submitters to the early phase.

## Workshop Submission Phase:

This year, SPLASH provides two options to submit proposals, either Early Phase or Late Phase (but not both):

Early Phase Submissions due: 20 January 2017
Late Phase Submissions due: 3 March 2017

## Information

Website: http://2017.splashcon.org/track/splash-2017-Workshops <http://2017.splashcon.org/track/splash-2017-Workshops>
Email: workshops at splashcon.org <mailto:workshops at splashcon.org>

## Organization:

SPLASH General Chair: Gail Murphy (University of British Columbia)
OOPSLA Papers Chair: Jonathan Aldrich (Carnegie Mellon University)
Workshops Co-Chairs: Craig Anslow (Middlesex University, London) and
Alex Potanin (Victoria University of Wellington)

/************************************************************************************/
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/haskell/attachments/20170113/3f697e54/attachment.html>

From compscience.announcement at gmail.com  Sun Jan 15 04:41:27 2017
From: compscience.announcement at gmail.com (Klaus Havelund)
Date: Sat, 14 Jan 2017 20:41:27 -0800
Subject: [Haskell] RV'17 - First call for papers and tutorials
Message-ID: <CABdH3mCKK8SwtngKoYg+bS0KN1ezG3AKrx3OyH5N9=H-x9HzNA@mail.gmail.com>

*RV 2017*

*Call for Papers and Tutorials*

          The 17th International Conference on Runtime Verification

          September 13-16, Seattle, WA, USA

http://rv2017.cs.manchester.ac.uk

Runtime verification is concerned with the monitoring and analysis of the
runtime behaviour of software and hardware systems. Runtime verification
techniques are crucial for system correctness, reliability, and robustness;
they provide an additional level of rigor and effectiveness compared to
conventional testing, and are generally more practical than exhaustive
formal verification. Runtime verification can be used prior to deployment,
for testing, verification, and debugging purposes, and after deployment for
ensuring reliability, safety, and security and for providing fault
containment and recovery as well as online system repair.

Topics of interest to the conference include, but are not limited to:

   - specification languages
   - monitor construction techniques
   - program instrumentation
   - logging, recording, and replay
   - combination of static and dynamic analysis
   - specification mining and machine learning over runtime traces
   - monitoring techniques for concurrent and distributed systems
   - runtime checking of privacy and security policies
   - statistical model checking
   - metrics and statistical information gathering
   - program/system execution visualization
   - fault localization, containment, recovery and repair
   - integrated vehicle health management (IVHM)

Application areas of runtime verification include cyber-physical systems,
safety/mission-critical systems, enterprise and systems software,
autonomous and reactive control systems, health management and diagnosis
systems, and system security and privacy.

We welcome contributions exploring the combination of runtime verification
techniques with machine learning and static analysis. Whilst these are
highlight topics, papers falling into these categories will not be treated
differently from other contributions.

An overview of previous RV conferences and earlier workshops can be found
at: http://www.runtime-verification.org.

RV 2017 will be held September 13-16 in Seattle, WA, USA. RV 2017 will
feature a tutorial day (September 13), and three conference days (September
14-16).
Important Dates

*Papers* as well as *tutorial proposals* will follow the following timeline:

   - Abstract deadline: April 24, 2017 (Anywhere on Earth)
   - Paper and tutorial deadline: May 1, 2017 (Anywhere on Earth)
   - Tutorial notification: May 21, 2017
   - Paper notification: June 26, 2017
   - Conference: September 13-16, 2017

General Information on Submissions

All papers and tutorials will appear in the conference proceedings in an
LNCS volume. Submitted papers and tutorials must use the LNCS/Springer
style detailed here:

http://www.springer.de/comp/lncs/authors.html

Papers must be original work and not be submitted for publication
elsewhere. Papers must be written in English and submitted electronically
(in PDF format) using the EasyChair submission page here:

https://easychair.org/conferences/?conf=rv17

The page limitations mentioned below include all text and figures, but
exclude references. Additional details omitted due to space limitations may
be included in a clearly marked appendix, that will be reviewed at the
discretion of reviewers, but not included in the proceedings.

At least one author of each accepted paper and tutorial must attend RV 2017
to present.
Paper Submissions

There are three categories of papers which can be submitted: regular, short
or tool papers. Papers in each category will be reviewed by at least 3
members of the Program Committee.

   - *Regular Papers* (up to 15 pages, not including references) should
   present original unpublished results. We welcome theoretical papers, system
   papers, papers describing domain-specific variants of RV, and case studies
   on runtime verification.
   - *Short Papers* (up to 6 pages, not including references) may present
   novel but not necessarily thoroughly worked out ideas, for example emerging
   runtime verification techniques and applications, or techniques and
   applications that establish relationships between runtime verification and
   other domains.
   - *Tool Demonstration Papers* (up to 8 pages, not including references)
   should present a new tool, a new tool component, or novel extensions to
   existing tools supporting runtime verification. The paper must include
   information on tool availability, maturity, selected experimental results
   and it should provide a link to a website containing the theoretical
   background and user guide. Furthermore, we strongly encourage authors to
   make their tools and benchmarks available with their submission.

The Program Committee of RV 2017 will give a best paper award, and a
selection of accepted regular papers will be invited to appear in a special
issue of the Springer Journal on Formal Methods in System Design
<http://link.springer.com/journal/10703>.
Tutorial Submissions

Tutorials are two-to-three-hour presentations on a selected topic.
Additionally, tutorial presenters will be offered to publish a paper of up
to 20 pages in the LNCS conference proceedings, not including references.

A proposal for a tutorial must contain the subject of the tutorial, a
proposed timeline, a note on previous similar tutorials (if applicable) and
the differences to this incarnation, and a brief biography of the
presenter. The proposal should not exceed 2 pages.
Organization

*General Chair*

Klaus Havelund <http://www.havelund.com/>, NASA Jet Propulsion Laboratory,
USA

*Program Chairs*

Giles Reger <http://www.cs.man.ac.uk/~regerg/>, University of Manchester, UK
Shuvendu Lahiri <https://www.microsoft.com/en-us/research/people/shuvendu/>,
Microsoft Research, USA

*Finance Chair*

Oleg Sokolsky <http://www.cis.upenn.edu/~sokolsky/>, University of
Pennsylvania, USA

*Publicity Chair*

Ayoub Nour <http://www-verimag.imag.fr/~nouri/>i, University of Grenoble
Alpes, France

*Local Organisation Chairs*

Grigory Fedyukovich <http://homes.cs.washington.edu/~grigory/about.html>,
University of Washington, USA
Rahul Kumar <http://rahulku.com/>, Microsoft Research, USA

*Program Committee*

Wolfgang Ahrendt <http://www.cse.chalmers.se/~ahrendt/>, Chalmers Univ. of
Technology/Univ. of Gothenburg, Sweden
Cyrille Artho <https://people.kth.se/~artho/>, KTH Royal Institute of
Technology, Sweden
Howard Barringer <http://www.manchester.ac.uk/research/Howard.barringer/>, The
University of Manchester, UK
Ezio Bartocci <http://www.eziobartocci.com/>, Vienna University of
Technology, Austria
Andreas Bauer <http://www.immerundewig.at/>, KUKA Systems, Germany
Saddek Bensalem <http://www-verimag.imag.fr/~bensalem/>, VERIMAG
(University of Grenoble Alpes), France
Eric Bodden <http://www.bodden.de/>, Fraunhofer SIT and Technische
University Darmstadt, Germany
Borzoo Bonakdarpour <http://www.cas.mcmaster.ca/borzoo/>, McMaster
University, Canada
Christian Colombo
<https://www.um.edu.mt/ict/cs/staff/christian_colombo>, University
of Malta, Malta
Ylies Falcone <http://www.ylies.fr/>, University of Grenoble Alpes, France
Grigory Fedyukovich
<http://homes.cs.washington.edu/~grigory/about.html>, University
of Washington, USA
Lu Feng <https://www.cs.virginia.edu/~lufeng/>, University of Virginia, USA
Patrice Godefroid <https://patricegodefroid.github.io/>, Microsoft
Research, USA
Jean Goubault-Larrecq <http://www.lsv.ens-cachan.fr/~goubault/>, CNRS & ENS de
Cachan, France
Alex Groce <http://eecs.oregonstate.edu/people/groce-alex>, Northern
Arizona University, USA
Radu Grosu <https://ti.tuwien.ac.at/cps/people/grosu>, Vienna University of
Technology, Austria
Sylvain Hallé <http://leduotang.ca/sylvain/>, University of Québec at
Chicoutimi, Canada
Marieke Huisman <http://wwwhome.ewi.utwente.nl/~marieke/>, University of
Twente, Netherlands
Franjo Ivancic <https://sites.google.com/site/ivancic/>, Google
Bengt Jonsson <http://user.it.uu.se/~bengt/>, Uppsala University, Sweden
Felix Klaedtke <https://sites.google.com/site/felixklaedtkeshomepage/>, NEC
Europe Ltd.
Rahul Kumar <http://rahulku.com/>, Microsoft Research, USA
Kim Larsen <http://people.cs.aau.dk/~kgl/>, Aalborg University, Denmark
Insup Lee <http://www.cis.upenn.edu/~lee/home/home/index.shtml>, University
of Pennsylvania, USA
Axel Legay <https://people.irisa.fr/Axel.Legay/>, Inria Rennes, France
Martin Leucker <https://www.isp.uni-luebeck.de/leucker>, University of
Lübeck, Germany
Ben Livshits <http://research.microsoft.com/en-us/um/people/livshits/>,
Microsoft
Research, USA
David Lo <http://www.mysmu.edu/faculty/davidlo/>, Singapore Management
University, Singapore
Francesco Logozzo <https://www.linkedin.com/in/francesco-logozzo-4106386>,
Facebook
Parthasarathy Madhusudan <http://madhu.cs.illinois.edu/>, University of
Illinois at Urbana-Champaign, USA
Leonardo Mariani
<http://www.lta.disco.unimib.it/lta/personalPages/leonardoMariani/leonardoMariani.php>,
University
of Milan Bicocca, Italy
Madanlal Musuvathi <https://www.microsoft.com/en-us/research/people/madanm/>
, Microsoft Research
Ayoub Nouri <http://www-verimag.imag.fr/~nouri/>, University of Grenoble
Alpes, France
Gordon Pace <http://www.cs.um.edu.mt/gordon.pace/>, University of Malta,
Malta
Doron Peled <http://u.cs.biu.ac.il/~doronp/>, Bar Ilan University, Israel
Grigore Rosu <http://fsl.cs.illinois.edu/index.php/Grigore_Rosu>, University
of Illinois at Urbana-Champaign, USA
Veselin Raychev <http://www.srl.inf.ethz.ch/raychev.php>, ETH Zurich,
Switzerland
Cesar Sanchez <http://software.imdea.org/~cesar/>, IMDEA Software
Institute, Spain
Gerardo Schneider, <http://www.cse.chalmers.se/~gersch/> Chalmers Univ. of
Technology/Univ. of Gothenburg, Sweden
Rahul Sharma <https://cs.stanford.edu/people/sharmar/>, Microsoft Research,
USA
Julien Signoles <http://julien.signoles.free.fr/index.en.html>, CEA LIST,
France
Scott Smolka <http://www3.cs.stonybrook.edu/~sas/>, Stony Brook University,
USA
Oleg Sokolsky <https://www.cis.upenn.edu/~sokolsky/>, University of
Pennsylvania, USA
Bernhard Steffen
<http://ls5-www.cs.tu-dortmund.de/cms/de/mitarbeiter/prof/Bernhard_Steffen.html>
, University of Dortmund, Germany
Scott Stoller <http://www3.cs.stonybrook.edu/~stoller/>, Stony Brook
University, USA
Volker Stolz <http://www.mn.uio.no/ifi/personer/vit/stolz/>, University of
Olso, Norway
Frits Vaandrager <http://www.cs.ru.nl/~fvaan/>, Radboud University,
Netherlands
Neil Walkinshaw
<http://www2.le.ac.uk/departments/informatics/people/neil-walkinshaw>,
University
of Leicester, UK
Chao Wang <http://www-bcf.usc.edu/~wang626/>, University of Southern
California, USA
Eugen Zalinescu <http://www2.in.tum.de/hp/Main?nid=315>, Technische
Universitat München, Germany
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/haskell/attachments/20170114/edf206bb/attachment-0001.html>

From wim.ectors at uhasselt.be  Mon Jan 16 20:34:47 2017
From: wim.ectors at uhasselt.be (Wim Ectors)
Date: Mon, 16 Jan 2017 15:34:47 -0500
Subject: [Haskell] [ANT 2017] ANT 2017 final CFPs: The 8th International
 Conference on Ambient Systems, Networks and Technologies (May 16-19, 2017,
 Madeira, Portugal)
Message-ID: <CAFDP4DTqEGUr5CAY43=SquKNtta6WtfE226dhEv-wPt2yDtapg@mail.gmail.com>

 The 8th International Conference on Ambient Systems, Networks and
Technologies (ANT-2017)

Madeira, Portugal

May 16-19, 2017

Conference Website: http://cs-conferences.acadiau.ca/ant-17/

*Important Dates

===========

- Workshops Proposal Due: November 1, 2016

- Paper Submission Due: January 20, 2016 (FINAL)

- Acceptance Notification: February 13, 2017

- Camera-Ready Submission: March 13, 2017

ANT 2017 accepted papers will be published by Elsevier Science in the
open-access Procedia Computer Science series on-line. Procedia Computer
Science is hosted by Elsevier on www.Elsevier.com and on Elsevier content
platform ScienceDirect (www.sciencedirect.com), and will be freely
available worldwide. All papers in Procedia will be indexed by Scopus (
www.scopus.com) and by Thomson Reuters' Conference Proceeding Citation
Index (http://thomsonreuters.com/conference-proceedings-citation-index/).
All papers in Procedia will also be indexed by Scopus (www.scopus.com) and
Engineering Village (Ei) (www.engineeringvillage.com). This includes EI
Compendex (www.ei.org/compendex). Moreover, all accepted papers will be
indexed in DBLP (http://dblp.uni-trier.de/). The papers will contain linked
references, XML versions and citable DOI numbers. You will be able to
provide a hyperlink to all delegates and direct your conference website
visitors to your proceedings. Selected papers will be invited for
publication, in the special issues of:

- Journal of Ambient Intelligence and Humanized Computing (IF: 0.835), by
Springer (http://www.springer.com/engineering/journal/12652)

- Journal of Future Generation Computer Systems (IF: 2.430), by Elsevier (
http://www.journals.elsevier.com/future-generation-computer-systems/)

- IEEE Intelligent Transportation Systems Magazine (IF: 1.547), by IEEE (
http://ieeexplore.ieee.org/xpl/RecentIssue.jsp?punumber=5117645)

- Journal of Personal and Ubiquitous Computing (IF: 1.498), by Springer (
http://www.springer.com/computer/hci/journal/779)

ANT 2017 will be held in Madeira, a Portuguese archipelago. Madeira is a
popular year-round tourist destination, known for its remarkable
mountainous scenery and mild year-long climate. Although, Madeira is part
of Europe it is approximately 1,000 km from the continent while being only
520 km from the coast of Africa. It is about an hour and a half flight from
the capital of Portugal, Lisbon. Funchal, the picturesque capital of
Madeira, is situated on the south coast of the island and one of Atlantic
Oceans most popular cruise ship ports. Madeira is a scenic island with many
unique destinations such as the Laurisilva forest, a UNESCO World Heritage
site.

ANT-2017 will be held in conjunction with the 7th International Conference
on Sustainable Energy Information Technology (SEIT,
http://cs-conferences.acadiau.ca/seit-17/).

Conference Tracks

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

- Agent Systems, Intelligent Computing and Applications

- Automatic Networks and Communications

- Big Data and Analytics

- Cloud Computing

- Context-awareness and Multimodal Interfaces

- Emerging Networking, Tracking and Sensing Technologies

- Internet of Things

- Mobile Networks, Protocols and Applications

- Modeling and Simulation in Transportation Sciences

- Multimedia and Social Computing

- Real-time Big Data Stream Mining Architecture

- Service Oriented Computing for Systems & Applications

- Smart, Sustainable Cities and Climate Change Management

- Smart Environments and Applications

- Systems Security and Privacy

- Systems Software Engineering

- Vehicular Networks and Applications

- General Track

COMMITTEES

=========

General Chairs

Atta Baddi, University of Reading, UK

Hossam Hassanein, Queen's University, Canada

Albert Zomaya, The University of Sydney, Australia

Program Chairs

Ansar-Ul-Haque Yasar, IMOB Ð Hasselt University, Belgium

Nuno Varandas, IPN Coimbra, Portugal

Advisory Committee

Reda Alhajj, University of Calgary, Canada

Abdelfettah Belghith, University of Manouba, Tunisia

Sajal K. Das, The University of Texas at Arlington, USA

Erol Gelenbe, Imperial College, UK

Ali Ghorbani, University of New Brunswick, Canada

Vincenzo Loia, University of Salerno, Italy

Timothy Shih, Tamkang University, Taiwan

Peter Sloot, Universiteit van Amsterdam, Netherlands

Ralf Steinmetz, Technische Universitaet Darmstadt, Germany

Katia Sycara, Carnegie Mellon University, USA

Peter Thomas, Manifesto Research, Australia

Workshops Chair

Stephane Galland, UTBM, France Program

Vice Chairs

Nik Bessis, Edge Hill University, UK

Kechar Bouabdellah, Oran University, Algeria

Samia Bouzefrane,CEDRIC Lab Conservatoire National des Arts et MŽtiers,
France

Lars Braubach, Hamburg University, Germany

Amine Dhraief, Manouba University, Tunisia

Roberto Di Pietro, Roma Tre University of Rome, Italy

Antonio Filieri, Imperial College London, England

Chaudhary Muhammad Imran, KSU, Saudi Arabia

Nafaa Jabeur, GU Tech, Oman

Yaser Jararweh, Jordan University of Science and Technology, Jordan

Luk Knapen, IMOB Ð Hasselt University, Belgium

Flavio Lombardi, Roma Tre University of Rome, Italy

Haroon Malik, Marshall University, USA

Nils Masuch, DAI Ð TU Berlin, Germany

Ana C. R. Paiva, University of Porto, Portugal

Francesco Pilla, Trinity College Dublin, Ireland

Manuele Kirsch Pinheiro, University of Paris 1, France

Lo'ai Tawalbeh, Umm AlQura University, KSA

Yves Vanrompay, Hasselt University, Belgium

International Journals Chair

Michael Sheng, University of Adelaide, Australia

Yongrui Qin, University of Huddersfield, UK

Publicity Chairs

Rui Din’s, Instituto de Telecomunica ›es, FCT-UNL, Lisbon, Portugal

Sarmad Ullah Khan, CECOS University, Pakistan

Josep Maria Salanova, CERT, Greece

International Liaison Chairs

Soumaya Cherkaoui, Sherbrooke University, Canada

Paul Davidsson, Malmo University, Sweden

Dino Pedreschi, University of Pisa, Italy

David Taniar, Monash University, Australia

Technical Program Committee

http://cs-conferences.acadiau.ca/ant-17/#programCommittees

Steering Committee Chair and Founder of ANT

Elhadi Shakshuki, Acadia University, Canada
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/haskell/attachments/20170116/73c1366c/attachment.html>

From wim.ectors at uhasselt.be  Mon Jan 16 20:40:47 2017
From: wim.ectors at uhasselt.be (Wim Ectors)
Date: Mon, 16 Jan 2017 15:40:47 -0500
Subject: [Haskell] [SEIT 2017] SEIT 2017 final CFPs: The 7th International
 Conference on Sustainable Energy Information Technology (May 16-19, 2017,
 Madeira, Portugal)
Message-ID: <CAFDP4DT_Got2YmzX6XxWMr3MwgJ_nW2m9t8-EmAMat5bMCGC=Q@mail.gmail.com>

 -------------- Call for Papers ----------------------

The 7th International Conference on Sustainable Energy Information
Technology (SEIT-17)



Madeira, Portugal

May 16-19, 2017

Conference Website: http://cs-conferences.acadiau.ca/seit-17`/

****************************************************************************


Important Dates

===========

- Workshops Proposal Due: November 1, 2016

- Paper Submission Due: January 20, 2017 (FINAL)

- Acceptance Notification: February 13, 2017

- Camera-Ready Submission: March 13, 2017

The goal of the SEIT-17 conference is to provide an international forum for
scientists, engineers, and managers in academia, industry, and government
to address recent research results and to present and discuss their ideas,
theories, technologies, systems, tools, applications, work in progress and
experiences on all theoretical and practical issues arising in sustainable
energy information technology.

All SEIT 2017 accepted papers will be published by Elsevier Science in the
open-access Procedia Computer Science series on-line. Procedia Computer
Sciences is hosted on www.Elsevier.com and on Elsevier content platform
ScienceDirect (www.sciencedirect.com), and will be freely available
worldwide. All papers in Procedia will be indexed by Scopus (www.scopus.com)
and by Thomson Reuters' Conference Proceeding Citation Index
http://thomsonreuters.com/conference-proceedings-citation-index/. The
papers will contain linked references, XML versions and citable DOI
numbers. You will be able to provide a hyperlink to all delegates and
direct your conference website visitors to your proceedings. All accepted
papers will also be indexed in DBLP (http://dblp.uni-trier.de/). Selected
papers will be invited for publication in an international journal.

SEIT 2017 will be held in Madeira, a Portuguese archipelago. Madeira is a
popular year-round tourist destination, known for its remarkable
mountainous scenery and mild year-long climate. Although, Madeira is part
of Europe it is approximately 1,000 km from the continent while being only
520 km from the coast of Africa. It is about an hour and a half flight from
the capital of Portugal, Lisbon. Funchal, the picturesque capital of
Madeira, is situated on the south coast of the island and one of Atlantic
Oceans most popular cruise ship ports. Madeira is a scenic island with many
unique destinations such as the Laurisilva forest, a UNESCO World Heritage
site.

SEIT-2017 will be held in conjunction with the 8th International Conference
on Ambient Systems, Networks and Technologies (ANT,
http://cs-conferences.acadiau.ca/ant-17/).

Conference Main Topics:

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

- Advanced Techniques for Energy Applications

- Energy Efficiency

- Energy Policy

- Environmental

- Green Sustainability

- Power Quality, Power Electronics and Electric Machines

- Power Systems

- Renewable Energies

- Sensing & Monitoring

- Smart Systems

Committees

========

General Chair

Gerrit Jan Schaeffer, The Flemish Institute of Technological Research,
Belgium

Bruce Spencer, University of New Brunswick, Canada

Program Chairs

çlvaro Henrique Rodrigues, University of Porto, Portugal

Jesœs Fraile Ardanuy, Universidad PolitŽcnica de Madrid, Spain

Ansar-Ul-Haque Yasar, IMOB Ð Hasselt University, Belgium

Advisory Committee

Bilal A. Akash, Dhofar University, Oman

Antonio J. Conejo, Universidad de Castilla - La Mancha, Spain

Derek J Croome, University of Reading, UK

Geert Deconinck, KU Leuven, Belgium

Jatin Nathwani, University of Waterloo, Canada

Saffa Riffat, University of Nottingham, UK

Ali Sayigh,World Renewable Energy Congress / Network

Workshops Chairs

Hui Hou, Wuhan University of Technology, China

Haroon Malik, Marshall University, USA

Publicity Chairs

Mohamed Amine Ferrag, Guelma University, Algeria

Seonghoon Kim, Georgia Southern University, USA

Ilan Stern, Georgia Institute of Technology, USA

Technical Program Committee

http://cs-conferences.acadiau.ca/seit-17/#programCommittees
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/haskell/attachments/20170116/514448a8/attachment-0001.html>

From fa-ml at ariis.it  Tue Jan 17 16:05:57 2017
From: fa-ml at ariis.it (Francesco Ariis)
Date: Tue, 17 Jan 2017 17:05:57 +0100
Subject: [Haskell] [ANN] Haskell ITA meetup in Milan, Italy (2017-02-25)
Message-ID: <20170117160557.GA10016@casa.casa>

Good evening -cafe,

    the italian Haskell Community (http://haskell-ita.it/) is happy to
announce its winter Haskell meetup.
The event is going to be hosted in Milano, on February 25th (Saturday).
It will be kindly hosted by MIKAMAI [1], Via Giulio e Corrado
Venini, 42 - 20127 Milano (MI), IT

[1] https://www.mikamai.com/

To register, check:

    https://www.metooo.io/e/incontro-haskell-ita-inverno-2017

Any haskeller (beginner, experienced, curious) is welcome!

*** italian follows ***

Buonasera a tutti,

    abbiamo finalmente deciso la data dell'incontro invernale di
Haskell-ITA! Ci riuniremo il 25 Febbraio 2017 (un Sabato), presso
MIKAMAI [1], che gentilmente mette i locali a disposizione.

[1] https://www.mikamai.com/

L'indirizzo è: Via Giulio e Corrado Venini, 42 - 20127
Milano (MI), IT

Per registrarvi:

    https://www.metooo.io/e/incontro-haskell-ita-inverno-2017

From tmoldere at vub.ac.be  Thu Jan 19 19:20:46 2017
From: tmoldere at vub.ac.be (Tim Molderez)
Date: Thu, 19 Jan 2017 20:20:46 +0100
Subject: [Haskell] ProWeb 2017: 1st International Workshop on Programming
 Technology for the Future Web
Message-ID: <7df2e2b8-63c1-c740-1b88-075edcb35ff5@vub.ac.be>

ProWeb 2017: 1st International Workshop on Programming Technology for 
the Future Web
http://2017.programming-conference.org/track/proweb-2017-papers
Co-located with the <Programming> conference
April 4, Brussels, Belgium
====================

Full-fledged web applications have become ubiquitous on desktop and 
mobile devices alike. Whereas “responsive” web applications already 
offered a more desktop-like experience, there is an increasing demand 
for “rich” web applications (RIAs) that offer collaborative and even 
off-line functionality —Google docs being the prototypical example. Long 
gone are the days that web servers merely had to answer incoming HTTP 
request with a block of static HTML. Today’s servers react to a 
continuous stream of events coming from JavaScript applications that 
have been pushed to clients. As a result, application logic and data is 
increasingly distributed. Traditional dichotomies such as “client vs. 
server” and “offline vs. online” are fading.

** Call for Papers **

The 1st International Workshop on Programming Technology for the Future 
Web, or ProWeb17, is a forum for researchers and practitioners to share 
and discuss new technology for programming these and future evolutions 
of the web. We welcome submissions introducing programming technology 
(i.e., frameworks, libraries, programming languages, program analyses 
and development tools) for implementing web applications and for 
maintaining their quality over time, as well as experience reports about 
the use of state-of-the-art programming technology.

Relevant topics include, but are not limited to:
* Quality on the new web:
static and dynamic program analyses; code, design test and process 
metrics; development and migration tools; automated testing and test 
generation; contract systems, type systems, and web service API 
conformance checking; ...
* Hosting languages on the web:
new runtimes; transpilation or compilation to JavaScript, WebAssembly, 
asm.js, ...
* Designing languages for the web:
multi-tier (or tierless) programming; reactive programming; frameworks 
for multi-tier or reactive programming on the web; ...
* Distributed data sharing, replication and consistency:
cloud types, CRDTs, eventual consistency, offline storage, peer-to-peer 
communication, ...
* Security on the web:
client-side and server-side security policies; policy enforcement; 
proxies and membranes; vulnerability detection; dynamic patching, ...
* Surveys and case studies using state-of-the-art web technology
* Ideas on and experience reports about:
how to reconcile the need for quality with the need for agility on the 
web; how to master and combine the myriad of tier-specific technologies 
required to develop a web application, ..
* Position statements on what the future of the web should look like

We solicit three kinds of submissions via EasyChair:
https://easychair.org/conferences/?conf=proweb2017

- 6-page **technical papers** and **experience reports** that, when 
accepted, will be published in the workshop post-proceedings as part of 
of the ACM’s Digital Library.
- 3-page **position statements** that, when accepted, will be published 
in the workshop post-proceedings as part of of the ACM’s Digital Library.
- 1-page **presentation abstracts** that, when accepted, will be made 
available on the website.

Submissions must follow the ACM Master Article Template 
(http://www.acm.org/publications/proceedings-template, sigconf option, 9 
point font, Times New Roman font family, numeric citation style). Each 
submission will be reviewed by at least three members of the program 
committee. We welcome submissions that identify new problems, or report 
on promising ideas in early stages of research. Submissions of the third 
kind are ideal to further disseminate existing ideas within the 
community, to demonstrate existing tools, or simply to instigate a 
discussion.

More information: 
http://2017.programming-conference.org/track/proweb-2017-papers

** Important dates (AoE) **

- Submission deadline: Wed 15 Feb 2017
- Author notification: Wed 1 Mar 2017
- Camera-ready version: Wed 15 Mar 2017

** Organizers **

- Coen De Roover, Vrije Universiteit Brussel, Belgium
- Anders Møller, Aarhus University, Denmark
- Christophe Scholliers, Universiteit Gent, Belgium

** Program Committee **

- Vincent Balat, Université Paris Diderot, France
- Nataliia Bielova, Inria, France
- Avid Chaudhuri, Facebook, United States of America
- Tobias Distiler, Friedrich-Alexander-Universität Erlangen-Nürnberg, 
Germany
- Jan Martin Jansen, Netherlands Defence Academy, The Netherlands
- Frank Piessens, iMinds, Belgium
- Rinus Plasmeijer, Radboud University Nijmegen, The Netherlands
- Michael Pradel, TU Darmstadt, Germany
- Andreas Rossberg, Google, Germany
- Sukyoung Ryu, KAIST, South Korea
- Manuel Serrano, Inria, France
- Mario Südholt, Inria, France
- Tom Van Cutsem, Nokia Bell Labs, Belgium
- Eelco Visser, Delft University of Technology, The Netherlands


From tmoldere at vub.ac.be  Fri Jan 20 13:40:12 2017
From: tmoldere at vub.ac.be (Tim Molderez)
Date: Fri, 20 Jan 2017 14:40:12 +0100
Subject: [Haskell] <Programming> 2017: Final call for workshop, symposium,
 demo & poster submissions
Message-ID: <93d93df6-c201-0041-5376-4634772a4f4a@vub.ac.be>


-----------------------------------------------------------------------
  <Programming> 2017 : The Art, Science, and Engineering of Programming

    April 3-6, 2017, Brussels, Belgium
    http://2017.programming-conference.org
-----------------------------------------------------------------------

Final call for submissions to all co-located events at the <Programming> 
2017 conference:

  - ELS 2017 - 10th European Lisp Symposium
  - Modularity 2017 Invited talks - International Symposium on Modularity
  - **Updated** ACM Student Research Competition / <Programming> 2017 
Posters
  - **NEW** <Programming> 2017 Demos
  - **NEW** CoCoDo 2017 - Raincode Labs Compiler Coding Dojo
  - LASSY 2017 - 2nd Workshop on Live Adaptation of Software SYstems
  - **NEW** MiniPLoP 2017 - Mini Pattern Languages of Programs writers' 
workshop
  - **Updated** MOMO 2017 - 2nd Workshop on Modularity in Modelling
  - MoreVMs 2017 - 1st Workshop on Modern Language Runtimes, Ecosystems, 
and VMs
  - PASS 2017 - 1st Workshop on Programming Across the System Stack
  - PX 2017 - 2nd Workshop on Programming Experience
  - ProWeb 2017 - 1st Workshop on Programming Technology for the Future Web
  - Salon des Refusés 2017 - 1st edition of the Salon des Refusés workshop

All co-located events will take place during April 3-4 2017.
CFPs for each of these events are listed below. (apart from Modularity 
2017, which is invitation-based)



****************************************************************
  ELS 2017 - 10th European Lisp Symposium

    Submissions: Mon 30 Jan 2017
    Notifications: Mon 27 Feb 2017
    Symposium date: Mon Apr 3 - Tue Apr 4 2017

    http://2017.programming-conference.org/track/els-2017
****************************************************************

The purpose of the European Lisp Symposium is to provide a forum for the 
discussion and dissemination of all aspects of design, implementation 
and application of any of the Lisp and Lisp-inspired dialects, including 
Common Lisp, Scheme, Emacs Lisp, AutoLisp, ISLISP, Dylan, Clojure, ACL2, 
ECMAScript, Racket, SKILL, Hop and so on. We encourage everyone 
interested in Lisp to participate.

The 10th European Lisp Symposium invites high quality papers about novel 
research results, insights and lessons learned from practical 
applications and educational perspectives. We also encourage submissions 
about known ideas as long as they are presented in a new setting and/or 
in a highly elegant way.

Topics include but are not limited to:

     * Context-, aspect-, domain-oriented and generative programming
     * Macro-, reflective-, meta- and/or rule-based development approaches
     * Language design and implementation
     * Language integration, inter-operation and deployment
     * Development methodologies, support and environments
     * Educational approaches and perspectives
     * Experience reports and case studies



********************************************************************
  ACM Student Research Competition / <Programming> 2017 Posters

    Submissions **extended** : Mon 30 Jan 2017

    http://2017.programming-conference.org/track/programming-posters
********************************************************************

The ACM Student Research Competition (SRC), sponsored by Microsoft 
Research, offers a unique forum for ACM student members at the 
undergraduate and graduate levels to present their original research 
before a panel of judges and conference attendees. The SRC gives 
visibility to up-and-coming young researchers, and offers them an 
opportunity to discuss their research with experts in their field, get 
feedback, and to help sharpen communication and networking skills. ACM’s 
SRC program covers expenses up to $500 for all students invited to an 
SRC. See our website for requirements and further details.

Please note that, while the SRC involves a poster session, there also is 
a regular poster session that isn't part of a competition. Submissions 
for this regular session are due March 3rd.



***********************************************************************
  ‹Programming› 2017 Demos

    Submissions: Fri 3 Mar 2017

http://2017.programming-conference.org/track/programming-2017-Demos
***********************************************************************

Demonstrations will be selected on the basis of technical merit, 
relevance, and novelty of presentation at <Programming>. They can 
include work in progress, commercial or in-house applications, proofs of 
concept, results of academic or industrial research, or any other 
innovative programming tools or systems. We encourage authors of 
accepted papers to co-located workshops and main conferences also submit 
a demo proposal. We hope that this will give them the opportunity to 
show their work in action, and increase the visibility of their results. 
We suggest to cite the paper in the demo abstract.



****************************************************************
  CoCoDo 2017 - Raincode Labs Compiler Coding Dojo

    Coding dojo date: Tue 4 Apr 2017

    https://cocodo.github.io
****************************************************************

CoCoDo is a coding dojo where you can enjoy an entire day of compiler 
programming under gentle guidance of field experts.
Compiler construction comprises, but is not limited to, lexical 
analysis, syntactic analysis, preprocessing, context handling, code 
generation, code optimisation, virtual machines, interpreters, smell 
detection, clone management, portability, migration, refactoring, 
domain-specific language design, linking and loading, assembling and 
disassembling, generics and reflection, numerous paradigms and so much more.

If you are interested in participating, please contact Vadim Zaytsev: 
vadim at raincodelabs.com



******************************************************************
  LASSY 2017 - 2nd Workshop on Live Adaptation of Software SYstems

    Submissions: Fri 3 Feb 2017
    Notifications: Fri 3 Mar 2017
    Workshop date: Mon 3 Apr 2017

    http://2017.programming-conference.org/track/LASSY-2017-papers
******************************************************************

When developing current-day software systems, their deployment and usage 
environments should be considered carefully, in order to understand the 
adaptations those systems might need to undergo to interact with other 
systems and with their environment. Moreover, due to the portability, 
mobility and increasingly evolutionary nature of software systems, such 
adaptations should be enacted even while the system is running. 
Developing such software systems can prove challenging, and many 
seemingly different techniques to address this concern have been 
proposed over the last couple of years.

The intention of the LASSY workshop is to congregate all topics relevant 
to dynamic adaptation and run-time evolution of software systems, 
ranging from a computer science perspective covering the domains of 
programming languages, model-driven software development, software and 
service composition, context-aware databases, software variability, 
requirements engineering, UI adaptation and other domains, to a human 
perspective covering sociological or ethical implications of dynamic 
software systems. The workshop provides a space for discussion and 
collaboration between researchers working on the problem of enabling 
live adaptations to software systems, across the development stack.

Topics of Interest:

     * Design and Implementation of Live Adaptive Software Systems
         * Context-, aspect-, feature-, role- and agent-oriented programming
         * Context representation and discovery
         * Context-aware model-driven software development
         * Context-aware data management
         * Software variability and dynamic product lines
         * Self-adaptive, self-explanatory systems
         * Inconsistency management, verification, and validation
     * Middleware and Runtime of Live Adaptive Software Systems
         * Dynamic software evolution, upgrades and configuration
         * Dynamic software and service composition mechanisms
         * Dynamic software architecture and middleware approaches
         * Dynamic user interface adaptation and multimodal user interfaces
     * Impact and Assessment of Live Adaptive Software Systems
         * User acceptance and usability issues
         * Human, sociological, ethical and legal aspects
         * Privacy and security aspects of dynamic adaptability
         * Live adaptation in smart environments (e.g. smart rooms, 
smart robot cells, smart factories, smart cities)
         * Self-adaptation and emergence in SoS and CPSoS



**********************************************************************
  MiniPLoP 2017 - Mini Pattern Languages of Programs writers' workshop

    Workshop date: Mon 3 Apr 2017

    http://2017.programming-conference.org/track/MiniPLoP-2017-papers
**********************************************************************

Software developers and those involved with programming have long 
observed that certain patterns recur and endure across different 
applications and systems. The growing interest in Design Patterns, 
Architectural Patterns, Analysis Patterns, Pedagogical Patterns, Agile 
Patterns, and so on, represents an effort to catalog and better 
communicate knowledge, providing handbooks of proven solutions to common 
problems.

The MiniPLoP writers' workshop brings together researchers, educators, 
and practitioners whose interests span a remarkably broad range of 
topics and who share an interest in exploring the power of the pattern 
form. MiniPLoP invites you to add your expertise to the growing corpus 
of patterns. MiniPLoP focuses on improving the expression of patterns. 
You will have the opportunity to refine and extend your patterns or 
pattern ideas with the help from knowledgeable and sympathetic fellow 
pattern enthusiasts. You will also be able to discuss applications of 
patterns in industry and academia. Techniques for Pattern Mining will 
also be presented.

Highlights include group discussions on patterns, an introduction to 
pattern writing, an international keynote, and the writers’ workshop. 
This MiniPLoP at <Programming> 2017 has the goal to help beginners learn 
more about the pattern community. If you have some patterns or pattern 
ideas you would like to have brainstormed or workshopped, please contact 
the organizers at: miniplop2017 at hillside.net



****************************************************************
  MOMO 2017 - 2nd Workshop on Modularity in Modelling

    Abstract submissions (optional) **extended** : Sun Feb 5 2017
    Paper submissions **extended** : Sun Feb 12 2017
    Notifications: Wed Feb 22 2017
    Workshop date: Mon 3 Apr 2017

    http://www.momo2017.ece.mcgill.ca/cfp.htm
****************************************************************

Extending the time-honored practice of separation of concerns, 
Model-Driven Engineering (MDE) promotes the use of separate models to 
address the various concerns in the development of complex 
software-intensive systems. The main objective is to choose the right 
level of abstraction to modularize a concern, specify its properties and 
reason about the system under development depending on stakeholder and 
development needs. While some of these models can be defined with a 
single modelling language, a variety of heterogeneous models and 
languages are typically used in the various phases of software 
development. Furthermore, Domain-Specific Modelling Languages designed 
to address particular concerns are also increasingly used.

Despite the power of abstraction of modelling, models of real-world 
problems and systems quickly grow to such an extent that managing the 
complexity by using proper modularization techniques becomes necessary. 
As a result, many (standard) modelling notations have been extended with 
aspect-oriented mechanisms and advanced composition operators to support 
advanced separation of concerns, to combine (possibly heterogeneous) 
models modularizing different concerns, to execute an application based 
on modularized models, and to reason over global properties of 
modularized models.

The Second International Modularity in Modelling Workshop brings 
together researchers and practitioners interested in the theoretical and 
practical challenges resulting from applying modularity, advanced 
separation of concerns, and advanced composition at the modelling level. 
It is intended to provide a forum for presenting new ideas and 
discussing the impact of the use of modularization in the context of MDE 
at different levels of abstraction.

We are interested in submissions on all topics related to modularity and 
modelling including but not limited to:

     * Modularization Support in Modelling Languages and Tools
         * Model Interfaces
         * Homogeneous Model Composition Operators
         * Heterogeneous Model Composition Operators
         * Visualization of Modularized and Composed Models
     * Effects of Using Modularization and Composition in Modelling
         * On Verification and Validation
         * On Reuse
         * On the Model-Driven Software Development Process 
(Requirements Engineering, Software Architecture, Software Design, 
Implementation)
         * On Maintenance
         * Experience Reports / Empirical Evaluations of Applying 
Modularization and Composition in Modelling
     * Feature-Oriented, Aspect-Oriented and Concern-Oriented Modelling
         * Modularization support and composition operators for specific 
modelling notations
         * Modelling essential characteristics of specific 
(crosscutting) concerns
         * Multi-View Modelling: avoiding inconsistencies, avoiding 
Redundancies
         * Support for Detecting and/or Resolution of Feature Interactions
     * Domain-Specific Modelling
         * Modularization for Domain-Specific Languages
         * Composition for Domain-Specific Languages
         * Domain-specific Aspect Models



******************************************************************************
  MoreVMs 2017 - 1st Workshop on Modern Language Runtimes, Ecosystems, 
and VMs

    Submissions: Wed 15 Feb 2017
    Notifications: Wed 1 Mar 2017
    Workshop date: Mon 3 Apr 2017

    http://2017.programming-conference.org/track/MoreVMs-2017-papers
******************************************************************************

The main goal of the workshop is to bring together both researchers and 
practitioners and facilitate effective sharing of their respective 
experiences and ideas on how languages and runtimes are utilized and 
where they need to improve further. 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.

Relevant topics include, but are definitely not limited to, the following:

     * Extensible VM design (compiler- or interpreter-based VMs)
     * Reusable runtime components (e.g. interpreters, garbage 
collectors, intermediate representations)
     * Static and dynamic compiler techniques
     * Techniques for compilation to high-level languages such as JavaScript
     * Runtimes and mechanisms for interoperability between languages
     * Tooling support (e.g. debugging, profiling, etc.)
     * Programming language development environments and virtual machines
     * Case studies of existing language implementations, virtual 
machines, and runtime components (e.g. design choices, tradeoffs, etc.)
     * Language implementation challenges and trade-offs (e.g. 
performance, completeness, etc.)
     * Surveys and applications usage reports to understand runtime 
usage in the wild
     * Surveys on frameworks and their impact on runtime usage
     * New research ideas on how we want to build languages in the future



**************************************************************************
  PASS 2017 - 1st Workshop on Programming Across the System Stack

    Submissions: Mon 13 Feb 2017
    Notifications: Mon 27 Feb 2017
    Workshop date: Tue 4 Apr 2017

http://2017.programming-conference.org/track/PASS-2017#Call-for-Papers
**************************************************************************

The landscape of computation platforms has changed dramatically in 
recent years. Emerging systems - such as wearable devices, smartphones, 
unmanned aerial vehicles, Internet of things, cloud computing servers, 
heterogeneous clusters, and data centers - pose a distinct set of 
system-oriented challenges ranging from data throughput, energy 
efficiency, security, real-time guarantees, to high performance. In the 
meantime, code quality, such as modularity or extensibility, remains a 
cornerstone in modern software engineering, bringing in crucial benefits 
such as modular reasoning, program understanding, and collaborative 
software development. Current methodologies and software development 
technologies should be revised in order to produce software to meet 
system-oriented goals, while preserving high internal code quality. The 
role of the Software Engineer is essential, having to be aware of the 
implications that each design, architecture and implementation decision 
has on the application system ecosystem.

This workshop is driven by one fundamental question: How does internal 
code quality interact with system-oriented goals? We welcome both 
positive and negative responses to this question. An example of the 
former would be modular reasoning systems specifically designed to 
promote system-oriented goals, whereas an example of the latter would be 
anti-patterns against system-oriented goals during software development.

Areas of interest include but are not limited to:

     * Energy-aware software engineering (e.g. energy efficiency models, 
energy efficiency as a quality attribute)
     * Modularity support (e.g., programming language design, 
development tools or verification) for applications in 
resource-constrained or real-time systems
     * Emerging platforms (e.g., Internet of Things and wearable devices)
     * Security support (e.g., compositional information flow, 
compositional program analysis)
     * Software architecture for reusability and adaptability in systems 
and their interactions with applications
     * Empirical studies (patterns and anti-patterns) on the 
relationship between internal code quality and system-oriented goals
     * Software engineering techniques to balance the trade-off between 
internal code quality and efficiency
     * Memory bloats and long-tail performance problems across modular 
boundaries
     * Program optimization across modular boundaries
     * Internal code quality in systems software
     * Reasoning across applications, compilers, and virtual machines



****************************************************************
  PX 2017 - 2nd Programming Experience Workshop

    Submissions: Sat 4 Feb 2017
    Notifications: Mon 27 Feb 2017
    Workshop date: Mon 3 Apr 2017

    http://programming-experience.org/px17
****************************************************************

Imagine a software development task: some sort of requirements and 
specification including performance goals and perhaps a platform and 
programming language. A group of developers head into a vast workroom. 
In that room they discover they need to explore the domain and the 
nature of potential solutions—they need exploratory programming.

The Programming Experience Workshop is about what happens in that room 
when one or a couple of programmers sit down in front of computers and 
produce code, especially when it’s exploratory programming. Do they 
create text that is transformed into running behavior (the old way), or 
do they operate on behavior directly (“liveness”); are they exploring 
the live domain to understand the true nature of the requirements; are 
they like authors creating new worlds; does visualization matter; is the 
experience immediate, immersive, vivid and continuous; do fluency, 
literacy, and learning matter; do they build tools, meta-tools; are they 
creating languages to express new concepts quickly and easily; and 
curiously, is joy relevant to the experience?

Correctness, performance, standard tools, foundations, and 
text-as-program are important traditional research areas, but the 
experience of programming and how to improve and evolve it are the focus 
of this workshop, and in this edition we would like to focus on 
exploratory programming.

The technical topics include:

     * Exploratory programming
     * Live programming
     * Authoring
     * Representation of active content
     * Visualization
     * Navigation
     * Modularity mechanisms
     * Immediacy
     * Literacy
     * Fluency
     * Learning
     * Tool building
     * Language engineering



*************************************************************************
  ProWeb 2017 - 1st Workshop on Programming Technology for the Future Web

    Submissions: Wed 15 Feb 2017
    Notifications: Wed 1 Mar 2017
    Workshop date: Tue 4 Apr 2017

    http://2017.programming-conference.org/track/proweb-2017-papers
*************************************************************************

Full-fledged web applications have become ubiquitous on desktop and 
mobile devices alike. Whereas “responsive” web applications already 
offered a more desktop-like experience, there is an increasing demand 
for “rich” web applications (RIAs) that offer collaborative and even 
off-line functionality —Google docs being the prototypical example. Long 
gone are the days that web servers merely had to answer incoming HTTP 
request with a block of static HTML. Today’s servers react to a 
continuous stream of events coming from JavaScript applications that 
have been pushed to clients. As a result, application logic and data is 
increasingly distributed. Traditional dichotomies such as “client vs. 
server” and “offline vs. online” are fading.

The 1st International Workshop on Programming Technology for the Future 
Web, or ProWeb17, is a forum for researchers and practitioners to share 
and discuss new technology for programming these and future evolutions 
of the web. We welcome submissions introducing programming technology 
(i.e., frameworks, libraries, programming languages, program analyses 
and development tools) for implementing web applications and for 
maintaining their quality over time, as well as experience reports about 
the use of state-of-the-art programming technology.

Relevant topics include, but are not limited to:

     * Quality on the new web: static and dynamic program analyses; 
code, design test and process metrics; development and migration tools; 
automated testing and test generation; contract systems, type systems, 
and web service API conformance checking; …
     * Hosting languages on the web: new runtimes; transpilation or 
compilation to JavaScript, WebAssembly, asm.js, …
     * Designing languages for the web: multi-tier (or tierless) 
programming; reactive programming; frameworks for multi-tier or reactive 
programming on the web; …
     * Distributed data sharing, replication and consistency: cloud 
types, CRDTs, eventual consistency, offline storage, peer-to-peer 
communication, …
     * Security on the web: client-side and server-side security 
policies; policy enforcement; proxies and membranes; vulnerability 
detection; dynamic patching, …
     * Surveys and case studies using state-of-the-art web technology 
(e.g., WebAssembly, WebSocket, LocalStorage, AppCache, ServiceWorkers, 
Meteor, deepstream.io, Angular.js, React and React Native, Swarm.js, 
Caja, TypeScript, Proxies, ClojureScript, Amber Smalltalk, Scala.js, …)
     * Ideas on and experience reports about: how to reconcile the need 
for quality with the need for agility on the web; how to master and 
combine the myriad of tier-specific technologies required to develop a 
web application, …
     * Position statements on what the future of the web will look like



****************************************************************
  Salon des Refusés 2017

    Submissions: Wed 1 Feb 2017
    Notifications: Fri 17 Feb 2017
    Workshop date: Tue 4 Apr 2017

    https://refuses.github.io
****************************************************************

Salon des Refusés (“exhibition of rejects”) was an 1863 exhibition of 
artworks rejected from the official Paris Salon. The jury of Paris Salon 
required near-photographic realism and classified works according to a 
strict genre hierarchy. Paintings by many, later famous, modernists such 
as Édouard Manet were rejected and appeared in what became known as the 
Salon des Refusés. This workshop aims to be the programming language 
research equivalent of Salon des Refusés. We provide a venue for 
exploring new ideas and new ways of doing computer science.

Many interesting ideas about programming might struggle to find space in 
the modern programming language research community, often because they 
are difficult to evaluate using established evaluation methods (be it 
proofs, measurements or controlled user studies). As a result, new ideas 
are often seen as “unscientific”.

This workshop provides a venue where such interesting and 
thought-provoking ideas can be exposed to critical evaluation. 
Submissions that provoke interesting discussion among the program 
committee members will be published together with an attributed review 
that presents an alternative position, develops additional context or 
summarizes discussion from the workshop. This means of engaging with 
papers not just enables explorations of novel programming ideas, but 
also encourages new ways of doing computer science.
Topics of interest

The scope of the workshop is determined more by the format of 
submissions than by the specific area of programming language or 
computer science research that we are interested in. We welcome 
submissions in a format that makes it possible to think about 
programming in a new way, including, but not limited to:

     * Thought experiments – we believe that thought experiments, 
analogies and illustrative metaphors can provide novel insights and 
inspire fruitful programming language ideas.
     * Experimentation – we find prejudices in favour of theory, as far 
back as there is institutionalized science, but programming can often be 
seen more as experimentation than as theorizing. We welcome interesting 
experiments even if there is yet no overarching theory that explains why 
they happened.
     * Paradigms – all scientific work is rooted in a scientific 
paradigm that frame what questions can be asked. We encourage 
submissions that reflect on existing paradigms or explore alternative 
scientific paradigms.
     * Metaphors, myths and analogies – any description of formal, 
mathematical, quantitative or even poetical nature still represents just 
an analogy. We believe that fruitful ideas can be learned from less 
common forms of analogies as well as from the predominant, formal and 
mathematical ones.
     * From jokes to science fiction – a story or an artistic 
performance may explore ideas and spark conversations that provide 
crucial inspiration for development of new computer science thinking.





From kaposi.ambrus at gmail.com  Fri Jan 20 15:42:22 2017
From: kaposi.ambrus at gmail.com (Ambrus Kaposi)
Date: Fri, 20 Jan 2017 16:42:22 +0100
Subject: [Haskell] TYPES 2017 call for contributions
Message-ID: <CACSS4jmm4ya-f=xF-Q=HkO2a7GUEcr-uLUvNF9vk4LogLXfT5A@mail.gmail.com>

                      CALL FOR CONTRIBUTIONS

   23rd International Conference on Types for Proofs and Programs,
                            TYPES 2017
                                and
                     EUTYPES Cost Action CA15123 meeting
                 Budapest, Hungary, 29 May - 1 June 2017

                     http://types2017.elte.hu



BACKGROUND

The TYPES meetings are a forum to present new and on-going work in all
aspects of type theory and its applications, especially in formalised
and computer assisted reasoning and computer programming.

The TYPES areas of interest include, but are not limited to:

 * foundations of type theory and constructive mathematics;
 * applications of type theory;
 * dependently typed programming;
 * industrial uses of type theory technology;
 * meta-theoretic studies of type systems;
 * proof assistants and proof technology;
 * automation in computer-assisted reasoning;
 * links between type theory and functional programming;
 * formalizing mathematics using type theory.

We encourage talks proposing new ways of applying type theory. In the
spirit of workshops, talks may be based on newly published papers,
work submitted for publication, but also work in progress.

The EUTypes Cost Action CA15123 (eutypes.cs.ru.nl) focuses on the same
research topics as TYPES and partially sponsors the TYPES Conference:
May 31 - June 1 are supported by and organised under the auspices of
EUTypes.


INVITED SPEAKERS


 * Edwin Brady (University of St Andrews)
 * Sara Negri (University of Helsinki)
 * Jakob Rehof (TU Dortmund)



CONTRIBUTED TALKS

We solicit contributed talks. Selection of those will be based on
extended abstracts/short papers of 2 pp formatted with
easychair.cls. The submission site is
https://easychair.org/conferences/?conf=types2017.

Important dates:

 * submission of 2 pp abstract: 13 March 2017
 * notified of acceptance/rejection: 10 April 2017
 * camera-ready version of abstract: 2 May 2017

Camera-ready versions of the accepted contributions will be published
in an informal book of abstracts for distribution at the workshop.



POST-PROCEEDINGS

Similarly to TYPES 2011 and TYPES 2013-2016, we intend to publish a
post-proceedings volume in the Leibniz International Proceedings in
Informatics (LIPIcs) series (subject to successful negotiation with
Dagstuhl Publishing). Submission to that volume would be open for
everyone. Tentative submission deadline: September 2017.



PROGRAMME COMMITTEE

 * Andreas Abel (Chalmers University Gothenburg)
 * Thorsten Altenkirch (University of Nottingham)
 * Jose Espirito Santo (University of Minho)
 * Fredrik Forsberg (University of Strathclyde)
 * Silvia Ghilezan (University of Novi Sad)
 * Hugo Herbelin (INRIA Paris-Rocquencourt)
 * Martin Hofmann (Ludwig Maximilian University of Munich)
 * Ambrus Kaposi (Eötvös Loránd University) (co-chair)
 * Tamás Kozsik (Eötvös Loránd University) (co-chair)
 * Assia Mahboubi (INRIA Paris)
 * Alexandre Miquel (University of the Republic, Urugay)
 * Leonardo de Moura (Microsoft Research, Redmond, USA)
 * Keiko Nakata (FireEye, Dresden)
 * Andrew Polonsky (University Paris Diderot)
 * Simona Ronchi Della Rocca (Università di Torino)
 * Aleksy Schubert (University of Warsaw)
 * Wouter Swierstra (Utrecht University)
 * Tarmo Uustalu (Tallinn University of Technology)



TYPES STEERING COMMITTEE

Marc Bezem, Herman Geuvers (chair), Hugo Herbelin, Zhaohui Luo, Ralph
Matthes, Bengt Nordström, Andrew Polonsky, Aleksy Schubert, Tarmo Uustalu.



ABOUT TYPES

The TYPES meetings from 1990 to 2008 were annual workshops of a
sequence of five EU funded networking projects. From 2009 to 2015,
TYPES has been run as an independent conference series. From 2016,
TYPES is partially supported by COST Action EUTypes CA15123. Previous
TYPES meetings were held in Antibes (1990), Edinburgh (1991), Båstad
(1992), Nijmegen (1993), Båstad (1994), Torino (1995), Aussois (1996),
Kloster Irsee (1998), Lökeberg (1999), Durham (2000), Berg en Dal near
Nijmegen (2002), Torino (2003), Jouy-en-Josas near Paris (2004),
Nottingham (2006), Cividale del Friuli (2007), Torino (2008), Aussois
(2009), Warsaw (2010), Bergen (2011), Toulouse (2013), Paris (2014),
Tallinn (2015), Novi Sad (2016).



CONTACT

Email: info at types2017.elte.hu

Organisers: Ambrus Kaposi, Tamás Kozsik, András Kovács and the
Department of Programming Languages and Compilers at the Faculty of
Informatics, Eötvös Loránd University, Budapest.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/haskell/attachments/20170120/0d0f67c7/attachment-0001.html>

From mail at stefanwehr.de  Fri Jan 20 17:30:17 2017
From: mail at stefanwehr.de (Stefan Wehr)
Date: Fri, 20 Jan 2017 17:30:17 +0000
Subject: [Haskell] Call for Participation: BOB 2017 (February 24, Berlin)
Message-ID: <CAJAdMdG0YVUAbtqPSbQqj50rU=oG=SK5P+2FnZnn=r-PU2PF6A@mail.gmail.com>

Reminder: early registration ends this Monday!

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

			       BOB 2017
			      Conference

	     "What happens if we simply use what's best?"
			   February 24, 2017
				Berlin
		       http://bobkonf.de/2017/
			       Program:
		 http://bobkonf.de/2017/program.html
			    Registration:
	       http://bobkonf.de/2017/registration.html

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

BOB is the conference for developers, architects and decision-makers
to explore technologies beyond the mainstream in software development,
and to find the best tools available to software developers today.
Our goal is for all participants of BOB to return home with new
insights that enable them to improve their own software development
experiences.

The program features 14 talks and 8 tutorials on current topics:
http://bobkonf.de/2017/program.html

The subject range of talks includes functional programming, advanced
front-end development, and sophisticated uses of types.

The tutorials feature introductions to Haskell, Swift, PureScript,
React, QuickCheck, Agda, CRDTs and Servant.

John Hughes will give the keynote talk.

Registration is open online:
http://bobkonf.de/2017/registration.html

NOTE: The early-bird rates expire on January 23, 2017!

BOB cooperates with the :clojured conference on the following day.
There is a registration discount available for participants of both events.
http://www.clojured.de/
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/haskell/attachments/20170120/eb5d208f/attachment.html>

From cygnus at foobox.com  Fri Jan 20 23:24:35 2017
From: cygnus at foobox.com (Jonathan Daugherty)
Date: Fri, 20 Jan 2017 15:24:35 -0800
Subject: [Haskell] [ANN] Help wanted: Vty contributors on Windows
Message-ID: <20170120232435.GA77882@galois.com>

Hi,

With some recent requests for Windows support in Vty[1], I'm looking for
folks who are interested in working on the Vty library and getting it
working on Windows (Cygwin) systems. Anyone interested in contributing
should contact me!

Thanks,

[1] http://hackage.haskell.org/package/vty

-- 
  Jonathan Daugherty

From rdgrande at site.uottawa.ca  Sat Jan 21 05:28:50 2017
From: rdgrande at site.uottawa.ca (Robson De Grande)
Date: Sat, 21 Jan 2017 00:28:50 -0500
Subject: [Haskell] Extended Deadline CFP- DCOSS 2017 (Ottawa, Canada)
Message-ID: <CAKOwLX5LJ6caej_ysa4Mc4wVrwhGcs+dg9x0hP7_C8Qce4gJjQ@mail.gmail.com>

==================================================
IMPORTANT: Extended Deadline:

Paper Submission (Extended): January 23rd, 2017

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

===================================================
Call-For-Papers: 13th International Conference on Distributed Computing in
Sensor Systems  (DCOSS 2017)
Ottawa, Canada, June 5 - 7, 2017
http://www.dcoss.org/
====================================================



DCOSS 2017 is the 13th International Conference on Distributed Computing in
Sensor Systems to be hosted in Ottawa, Canada in June 5-7, 2017. Due to
their potential of impacting an entire host of application areas,
distributed sensor systems have become a highly visible research area. The
focus of DCOSS series of conferences is on distributed computing issues in
large scale networked sensor systems, including, but not limited to,
algorithms and applications, systems design techniques and tools, and
in-network signal and information processing. DCOSS puts together a highly
selective program where it primes for quality and innovation on works.

Potential authors are invited to submit original unpublished manuscripts
that demonstrate current research on computational aspects of distributed
sensor systems. Topics of interest include but are not limited to:

Social networks and applications
Sensors for smart grid systems, green networks and sustainability
Computation and programming models
Energy models, minimization, awareness
Distributed collaborative information processing
Detection and tracking
Theoretical performance analysis: complexity, correctness, scalability
Abstractions for modular design
Fault tolerance and security
Task allocation, reprogramming and reconfiguration
Dynamic resource management
Scalable, heterogeneous architectures (node and system-level)
Middleware interfaces, communication and processing primitives
Design, simulation and optimization tools for deployment and operation
Design automation and application synthesis techniques
Closed-loop control for sensing and actuation
Case studies: lessons from real world deployments
Network coding and compression


Paper Submission and Publication:

High-quality original papers are solicited. Papers must be unpublished and
must not be submitted for publication elsewhere. All papers will be
reviewed by Technical Program Committee members and other experts active in
the field to ensure high quality and relevance to the conference.

Please submit your paper through EDAS link (https://edas.info/N23046). More
detailed instructions about paper submissions can be fount at the link
below.
    - http://www.dcoss.org/


IMPORTANT: Extended Deadline:

Paper Submission (Extended): January 23rd, 2017


Organizing Committee:

GENERAL CHAIR
Azzedine Boukerche, University of Ottawa, Canada

PROGRAM CO-CHAIRS
Salil Kanhere, University of New South Wales, Australia
Soumaya Charkaoui, University of Sherbrooke, Canada
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/haskell/attachments/20170121/ff299041/attachment.html>

From gershomb at gmail.com  Sat Jan 21 07:30:35 2017
From: gershomb at gmail.com (Gershom B)
Date: Sat, 21 Jan 2017 02:30:35 -0500
Subject: [Haskell] Announce: Haskell Platform 8.0.2
Message-ID: <CAM8RHpEAvzqFSZqY-O4MEag8LLrc=PGFRnZze4kKtOpDu=-2LA@mail.gmail.com>

On behalf of the Haskell Platform team, I'm happy to announce the release of

Haskell Platform 8.0.2

Now available at

https://www.haskell.org/platform/

This includes GHC 8.0.2, cabal-install 1.24.0.2, and stack 1.3.2, all
with many bugfixes and improvements since the last platform release.

This platform release we've cleaned up the webpage a bit, and renamed
the "minimal" distribution to the "core" distribution to highlight
that it is the recommended approach (and simplified the accompanying
text).

A number of improvements have been made to the windows installer --
notably the /S option for silent install is now in fully working
order, and we have the flags /STACK and /D (for stack and platform-ghc
install paths).

The installer expects no quoting of paths, even with spaces within the
paths, like so:

HaskellPlatform-8.0.2-full-x86_64-setup.exe /S /STACK=c:\My install
path for stack\local\bin /D=c:\program files\Haskell\Platform\8.0.2

There is also an updated version of msys2 included, which includes
pacman, et al. to ease the installation of libraries with more complex
foreign dependencies.

Changes to Contents:

   * As a result of transitive dependencies of platform packages, the
integer-logarithms and call-stack packages have been added to the full
platform.

A full list of contents is available at
https://www.haskell.org/platform/contents.html

Thanks to all the contributors to this release, thanks to all the
package and tool maintainers and authors, and a big thanks to the GHC
team for all their hard work.

A list of new GHC changes is available at:
https://ghc.haskell.org/trac/ghc/blog/ghc-8.0.2-released

A list of cabal changes is available at:
https://hackage.haskell.org/package/cabal-install-1.24.0.2/changelog

The new cabal documentation page is at:
https://cabal.readthedocs.io/en/latest/

A list of stack changes is at:
https://docs.haskellstack.org/en/stable/ChangeLog/

Happy Haskell Hacking all,
Gershom

(Note -- one feature we have not implemented yet for the platform but
would like to is a generic linux installer that allows one to set a
custom location and does not require root. Anyone who would like to
volunteer to help with this, please get in touch!)

From tarmo at cs.ioc.ee  Sat Jan 21 20:13:20 2017
From: tarmo at cs.ioc.ee (Tarmo Uustalu)
Date: Sat, 21 Jan 2017 22:13:20 +0200
Subject: [Haskell] ETAPS 2017 call for participation
Message-ID: <20170121221320.575adeb1@cs.ioc.ee>

******************************************************************

                     CALL FOR PARTICIPATION

                           ETAPS 2017

20th European Joint Conferences on Theory And Practice of Software
                         ETAPS 2017

               Uppsala, Sweden, 22-29 April 2017

                   http://www.etaps.org/2017

******************************************************************

-- ABOUT ETAPS --

ETAPS is the primary European forum for academic and industrial
researchers working on topics relating to software science. ETAPS,
established in 1998, is a confederation of five main annual
conferences, accompanied by satellite workshops. ETAPS 2017 is the
twentieth event in the series.


-- MAIN CONFERENCES (24-28 April) --

   * ESOP: European Symposium on Programming
       (PC chair Hongseok Yang, University of Oxford, UK)
   * FASE: Fundamental Approaches to Software Engineering
       (PC chairs Marieke Huisman, Universiteit Twente, The
     Netherlands, and Julia Rubin, University of British Columbia,
     Canada)
   * FoSSaCS: Foundations of Software Science
       and Computation Structures
       (PC chairs Javier Esparza, Technische Universität München,
     Germany, Andrzej Murawski, University of Warwick, UK)
   * POST: Principles of Security and Trust
       (PC chairs Matteo Maffei, Universität des Saarlandes, Germany, 
        Mark D. Ryan, University of Birmingham, UK)
   * TACAS: Tools and Algorithms for
       the Construction and Analysis of Systems
       (PC chairs Axel Legay, INRIA Rennes, France, 
        and Tiziana Margaria, LERO, Ireland)
 
TACAS '17 hosts the 6th Competition on Software Verification
(SV-COMP).


-- INVITED SPEAKERS --

   * Unifying speakers:
     Michael Ernst (University of Washington, USA)
     Kim G. Larsen (Aalborg University, DK)

   * FoSSaCS invited speaker:
     Joel Ouaknine (University of Oxford, UK)

   * TACAS invited speaker:
     Dino Distefano (Facebook and Queen Mary University of London, UK)


-- UNIFYING PUBLIC LECTURE

Serge Abiteboul (DI, INRIA Paris & ENS Cachan, France)


-- INVITED TUTORIALS 

Véronique Cortier (LORIA, CRNS, France)

Kenneth McMillan (Microsoft Research Redmond, USA)


-- CONTRIBUTED PAPERS --

See the accepted paper lists at the conference website.


-- SATELLITE EVENTS (22-23 April, 29 April) --

17 satellite workshops and other events will take place before or
after ETAPS 2017.  

Check their calls for papers and consider contributing!

  DICE-FOPARA, GaLoP, GaM, SynCop-PV, VerifyThis (22-23 April)

  FESCA, SNR (22 April)
  HotSpot, MBT, QAPL, SannellaFest (23 April)

  BX, CREST, LiVe, MARS, PLACES, VPT (29 April)


-- REGISTRATION --

Early registration is until Sunday, 12 March 2017 (23:59 GMT+1).

http://www.etaps.org/2017/registration


-- ACCOMMODATION --

The organizers have negotiated special rates from several hotels in
Uppsala.

To benefit from those, follow the instructions on the conference
website. The offers expire on different dates.


-- HOST CITY --

Uppsala city holds a rich history, having for long periods been the
political, religious and academic centre of Sweden.  Uppsala
University is over 500 years old and ranked among the top 100 in the
World and has hosted many great scientists over the years, for
instance Carl von Linné, Anders Celsius and Anders Jonas Ångström. The
proximity to the capital of Sweden, Stockholm, provides additional
benefits as a potential site for arranging both pre- and post congress
tours, as well as for excursions or tourism.


-- HOST INSTITUTION --

ETAPS 2017 is hosted by the Department of Information Technology,
Uppsala University.


-- ORGANIZERS

Parosh Abdulla (General chair), Mohamed Faouzi Atig, 
Andreina Francisco, Kaj Lampka, Philipp Rümmer, Konstantinos Sagonas, 
Björn Victor, Wang Yi, Tjark Weber, Yunyun Zhu


From hbzhu at sei.ecnu.edu.cn  Thu Jan 26 11:31:16 2017
From: hbzhu at sei.ecnu.edu.cn (Huibiao Zhu)
Date: Thu, 26 Jan 2017 19:31:16 +0800
Subject: [Haskell] Call for Papers (TASE 2017)
Message-ID: <002201d277c7$b51400f0$1f3c02d0$@sei.ecnu.edu.cn>

****************************************************************************
*

11th International Symposium on Theoretical Aspects of Software Engineering

                             Call for Papers

                                 TASE 2017

                   13 - 15 September 2017, Nice, France,

                           http://tase2017.unice.fr

 

* Important dates

   **********************************************************

     Abstract research paper       12 March 2017

     Submission research paper     19 March 2017

     Author notification           21 May 2017

     Camera ready copy             05 June 2017

   **********************************************************

 

* Objectives and scope

    Now on its 11th edition, TASE is an international symposium that aims to
bring together researchers and developers from academia and industry with
interests in the theoretical aspects of software engineering. We invite
submissions of research papers on topics covering all theoretical aspects of
software engineering, including, but not limited to, the following.

  We invite submissions of research papers on topics covering all
theoretical aspects of software engineering, including, but not limited to,
the following:

    + Abstract interpretation

    + Algebraic and co-algebraic specifications

    + Aspect oriented software

    + Component-based systems

    + Cyber-physical systems

    + Deductive verification

    + Distributed and concurrent systems

    + Embedded and real-time systems

    + Feature-oriented software

    + Formal verification and program semantics

    + Integration of formal methods

    + Language design

    + Model checking and theorem proving

    + Object-oriented systems

    + Program logics and calculi

    + Quantum computation

    + Run-time verification and monitoring

    + Service-oriented and cloud computing

    + Software architecture

    + Software testing and quality assurance

    + Software security and reliability

    + Static analysis of programs

    + Type systems and behavioural typing

    + Tools exploiting theoretical results

 

* Venue and event

    TASE 2017 will be held on the  the SophiaTech Campus in Sophia
Antipolis, France, on 13 -15 September 2017.

 

* Keynote speakers

    TBA

 

* PC chairs 

    Frederic Mallet (University of Nice Sophia Antipolis, FR)

    Min Zhang (East China Normal University, CN)

 

* Organization chair 

    Eric Madelaine (INRIA, FR)

 

* Publication chair 

    Marcello Bonsangue (Leiden University, NL)

 

* Keynote speakers

    TBA

 

* Programme committee (to be confirmed)

    Erika Abraham (RWTH Aachen University, Germany)

    Bernhard Aichernig (Graz University of Technology, Austria)

    Toshiaki Aoki (JAIST, Japan)

    Farhad Arbab (CWI, Netherlands)

    Cyrille Artho (AIST, Japan)

    Luis Soares Barbosa (University of Minho, Portugal)

    Marcello Bonsangue (Leiden University, The Netherlands)

    Andrew Butterfield (Trinity College Dublin, Ireland)

    Yuxin Deng (East China Normal University, China)

    Rocco de Nicola (IMT - Institute for Advanced Studies Lucca, Italy)

    Yuxi Fu (Shanghai Jiao Tong University, China)

    Stefania Gnesi (ISTI-CNR, Italy)

    Marieke Huisman (University of Tweente, Netherlands)

    Dang Van Hung (Vietnam National University, Vietnam)

    Einar Broch Johnsen (Oslo University, Norway)

    Laura Kovacs (Chalmers University of Technology, Sweden)

    Dexter Kozen (Cornell University, USA)

    Zhiming Liu (Birmingham City University, UK)

    Antonia Lopes (University of Lisbon, Portugal)

    Eric Madelaine (INRIA, France)

    Kazuhiro Ogata (JAIST, Japan)

    Catuscia Palamidessi (INRIA, France)

    Jun Pang (University of Luxembourg, Luxembourg)

    Shengchao Qin (Teesside University, UK)

    Jean Pierre Talpin (INRIA, France)

    Andrzej Tarlecki (Warsaw University, Poland)

    Kazunori Ueda (Waseda University, Japan)

    Yi Wang (Uppsala University, Sweden)

    Eric Wong (The University of Texas at Dallas, USA)

    Lijun Zhang (Chinese Academy of Sciences, China)

    Huibiao Zhu (East China Normal University, China)

    ¡­

 

* Steering Committee: 

    Keijiro Araki (Kyushu University, JP)

    Jifeng He (East China Normal University, CN)

    Michael Hinchey (Lero, IE)

    Shengchao Qin (Teesside University, UK)

    Huibiao Zhu (East China Normal University, CN) 

 

* Submission guidelines

    We solicit contributions that describe original and unpublished
research, and should not be submitted for publication elsewhere. They are
limited to 8 pages, must be written in English, and the format should adhere
to the A4 double column IEEE style. Please prepare your manuscripts with
respect to the IEEE guidelines. Papers should be submitted electronically as
a PDF file via the Easychair system at 

 

            http://www.easychair.org/conferences/?conf=tase2017.

 

  The proceedings of the TASE 2017 symposium will include all accepted
papers and will be published by the IEEE Computer Society Press. 

 

  As usual, we are now contacting the journal of Science of Computer
Programming, and hopefully selected papers will be invited after the
symposium to submit an extended version to a journal special issue Science
of Computer Programming.

****************************************************************************
**

 

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/haskell/attachments/20170126/0103f432/attachment-0001.html>

From dom.orchard at gmail.com  Thu Jan 26 22:14:47 2017
From: dom.orchard at gmail.com (Dominic Orchard)
Date: Thu, 26 Jan 2017 22:14:47 +0000
Subject: [Haskell] a postdoc position in Imperial College London
Message-ID: <99d3cae7-fe04-61d9-e06b-e1d35fa1e6a4@gmail.com>

Recently there are several works which link session types and functional 
programming.
Imperial College London has an open postdoc position on session types 
and programming languages, including Haskell and related theoretical 
studies.

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


Department of Computing, Imperial College London
Research Associate (Post-doc, Full Time) £36,070 to £43,350 per annum
Fixed-term: the starting date: as soon as possible
                     the ending date: 19 May 2020
Professor Nobuko Yoshida, Imperial College London
A post is funded by EPSRC, the UK science funding agency and the
titles of the projects are "From Data Types to Session Types: A Basis
for Concurrency and Distribution" and "Application Customisation:
Enhancing Design Quality and Developer Productivity".
The goal is to further develop the theory and practice of session
types for structuring concurrent and distributed software.
The project has particular emphasis on putting theory into practice,
by embedding session types in a range of programming languages and
applying them to case studies; or developing the links between
session types and other areas of theoretical computer science. The
research programme includes collaboration with several companies and
organisations: Amazon, Cognizant, Red Hat, ThoughtWorks, as well as
November Group LLC and Weaveworks.
The focus of Imperial College London Group is theories and
applications of (Multiparty) Session Types (JACM,POPL'08), which include:
-- Erlang (CC'17), Go (CC'16,POPL'17), Haskell (POPL'16), Scala
(ECOOP'16), Java (FASE'16,FASE'17), MPI (OOPSLA'15,CC'15), C (FPL'16)
and Python (FOAC,LMCS,FMSD); or
-- automata/model checking (POPL'15,CONCUR'15,TACAS'16,FoSSaCs'17),
linear logic (CONCUR'15) and bisimulations (CONCUR'15,ESOP'16,LMCS)
For more details, see http://mrg.doc.ic.ac.uk
Candidates for the post-doc position will need to have expertise in
either:
1. programming language design and implementation; or
2. formal semantics, type theory and concurrency theory
Different positions will be suitable for different points on the
theory/practice spectrum. We will be especially interested in
candidates with a combination of theoretical and practical skills.
The contact person is
Professor Nobuko Yoshida, Imperial College London
(N.Yoshida at imperial.ac.uk <mailto:N.Yoshida at imperial.ac.uk>)
Details: http://www.jobs.ac.uk/job/AWU532/research-associate 
<http://www.jobs.ac.uk/job/AWU532/research-associate>

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/haskell/attachments/20170126/e8a4616e/attachment.html>

From compscience.announcement at gmail.com  Fri Jan 27 13:14:46 2017
From: compscience.announcement at gmail.com (Klaus Havelund)
Date: Fri, 27 Jan 2017 05:14:46 -0800
Subject: [Haskell] SPIN 2017 - final call for papers, deadline Feb 10
Message-ID: <CABdH3mDjVryGAo7QCZt4RjSvhPZa_1_9qD34TaWzsJoLC8k_NA@mail.gmail.com>

SPIN 2017

24th International Symposium on Model Checking of Software

Santa Barbara, CA, USA, July 13-14, 2017

http://conf.researchr.org/home/spin-2017

Collocated with ISSTA
------------------------------

The SPIN symposium aims at bringing together researchers and practitioners
interested in automated tool-based techniques for the analysis of software
as well as models of software, for the purpose of verification and
validation. The symposium specifically focuses on concurrent software, but
does not exclude analysis of sequential software. Submissions are solicited
on theoretical results, novel algorithms, tool development, empirical
evaluation, and education.

History: The SPIN symposium originated as a workshop focusing on explicit
state model checking, specifically as related to the Spin model checker.
However, over the years it has evolved to a broadly scoped symposium for
software analysis using any automated techniques, including model checking,
automated theorem proving, and symbolic execution.

An overview of the previous SPIN symposia (and early workshops) can be
found at: http://spinroot.com/spin/symposia.

SPIN 2017 will be organized as an ACM SIGSOFT event, collocated with the
International Symposium on Software Testing and Analysis (ISSTA 2017):
http://conf.researchr.org/home/issta-2017.


The RERS Verification Challenge

In addition there will be a one-day Rigorous Examination of Reactive
Systems verification challenge Workshop (RERS 2017):
http://www.rers-challenge.org/2017.


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

SPIN 2017 Topics of interest include, but are not limited to:

   - Formal verification techniques for automated analysis of software
   - Formal analysis for modeling languages, such as UML/state charts
   - Formal specification languages, temporal logic, design-by-contract
   - Model checking
   - Automated theorem proving, including SAT and SMT
   - Verifying compilers
   - Abstraction and symbolic execution techniques
   - Static analysis and abstract interpretation
   - Combination of verification techniques
   - Modular and compositional verification techniques
   - Verification of timed and probabilistic systems
   - Automated testing using advanced analysis techniques
   - Combination of static and dynamic analyses
   - Derivation of specifications, test cases, or other useful material via
   formal analysis
   - Case studies of interesting systems or with interesting results
   - Engineering and implementation of software verification and analysis
   tools
   - Benchmark and comparative studies for formal verification and analysis
   tools
   - Formal methods education and training
   - Insightful surveys or historical accounts on topics of relevance to
   the symposium

------------------------------
Keynote Speakers
------------------------------

   - *Domagoj Babic*, Google, Inc.
   - *Byron Cook*, Amazon Web Services
   - *Gerard Holzmann*, Nimble Research

------------------------------
Submission Guidelines
------------------------------

The contributions to SPIN 2017 will be published as ACM Proceedings, and
should be submitted in the ACM Conference Format:
https://www.acm.org/publications/proceedings-template.

Submissions must be original and should not have been published previously
or be under consideration for publication while being evaluated for this
symposium. Authors are required to adhere to the ACM Policy and Procedures
on Plagiarism and the ACM Policy on Prior Publication and Simultaneous
Submissions.

We are soliciting two categories of papers:

   - *Full Research Papers* describing fully developed work and complete
   results (10 pages);
   - *Short Papers* presenting tools, technology, experiences with lessons
   learned, new ideas, work in progress with preliminary results, and novel
   contributions to formal methods education (4 pages).

Papers should be submitted via the EasyChair SPIN 2017 submission website:
https://easychair.org/conferences/?conf=spin2017.

*Best Paper* awards will be given and announced at the conference.

A selection of papers will be invited to a special issue of the *International
Journal on Software Tools for Technology Transfer* (STTT).
------------------------------
Important Dates
------------------------------

   - Paper Submission: February 10, 2017 (23:59:59 Anywhere on Earth)
   - Author Notification: April 15, 2017
   - Camera-Ready Paper: May 20, 2017
   - Symposium: July 13-14, 2017

------------------------------
Organization
------------------------------

   - Hakan Erdogmus, *Program Co-Chair*, Carnegie Mellon University, USA
   - Klaus Havelund, *Program Co-Chair*, NASA/Caltech Jet Propulsion
   Laboratory, USA
   - Corina Pasareanu, *Awards Chair*, NASA Ames Research Center, USA
   - Yliès Falcone, *Publicity Chair*, Univ. Grenoble Alpes, Inria, France

------------------------------
Program Committee
------------------------------

   - Erika Abraham, RWTH Aachen University, Germany
   - Christel Baier, Technical University of Dresden, Germany
   - Tom Ball, Microsoft Research, USA
   - Ezio Bartocci, Vienna University of Technology, Austria
   - Dirk Beyer, Ludwig-Maximilians-Universität München (LMU Munich),
   Germany
   - Armin Biere, Johannes Kepler University, Austria
   - Dragan Bosnacki, Eindhoven University of Technology, Netherlands
   - Zmago Brezocnik, University of Maribor, Slovenia
   - Sagar Chaki, Software Engineering Institute CMU, USA
   - Alessandro Cimatti, Fondazione Bruno Kessler, Italy
   - Lucas Cordeiro, University of Oxford, UK
   - Patrice Godefroid, Microsoft Research, USA
   - Susanne Graf, VERIMAG Laboratory, France
   - Radu Grosu, Vienna University of Technology, Austria
   - Arie Gurfinkel, University of Waterloo, USA
   - Gerard Holzmann, NASA/Caltech Jet Propulsion Laboratory, USA
   - Rajeev Joshi, NASA/Caltech Jet Propulsion Laboratory, USA
   - Sarfraz Khurshid, The University of Texas at Austin, USA
   - Kim Larsen, Aalborg University, Denmark
   - Stefan Leue, University of Konstanz, Germany
   - Alice Miller, University of Glasgow, Scotland
   - Corina Pasareanu, NASA Ames Research Center, USA
   - Doron Peled, Bar Ilan University, Israel
   - Neha Rungta, Amazon Web Services, USA
   - Theo Ruys, RUwise, Netherlands
   - Scott Smolka, Stony Brook University, USA
   - Scott Stoller, Stony Brook University, United States
   - Jun Sun, Singapore University of Technology and Design, Singapore
   - Oksana Tkachuk, NASA Ames Research Center, USA
   - Stavros Tripakis, University of California, Berkeley, USA
   - Willem Visser, Stellenbosch University, South Africa
   - Farn Wang, National Taiwan University, Taiwan
   - Michael Whalen, University of Minnesota, USA
   - Anton Wijs, Eindhoven University of Technology, Netherlands
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/haskell/attachments/20170127/2dcb098e/attachment.html>

From wim.ectors at uhasselt.be  Fri Jan 27 13:23:28 2017
From: wim.ectors at uhasselt.be (Wim Ectors)
Date: Fri, 27 Jan 2017 08:23:28 -0500
Subject: [Haskell] [FNC-Conf] FNC 2017 CFPs: The 12th International
 Conference on Future Networks and Communications (July 24-26, 2017, Leuven,
 Belgium)
Message-ID: <CAFDP4DRB3j+aEzRSTe81vtN49YFAen_4rRxyRd5X29H-Kn=jCw@mail.gmail.com>

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

The 12th International Conference on Future Networks and Communications
(FNC)

July 24-26, 2017

Leuven, Belgium

http://cs-conferences.acadiau.ca/fnc-17/

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



Future Networks and Communications (FNC) research effort will help
achieving a major promise of the emerging technologies such as, ubiquitous
access to broadband, supporting vital applications in our daily lives such
as health, energy consumption, environment transport, entertainment or
education. The scope of FNC is the development of energy-efficient future
network infrastructures that support the convergence and interoperability
of heterogeneous mobile, wired and wireless broadband network technologies
as enablers of the future Internet. This includes but not limited to
ubiquitous fast broadband access and ultra-high speed end-to-end optical
connectivity, supporting open services and innovative ambient applications.
Scope also embraces novel and evolutionary approaches to tackle network
architectures, taking due consideration of users and societal needs for
success.

Important Dates

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

- Workshop Proposal Due: January 20, 2017

- Paper Submission Due: March 8, 2017

- Acceptance Notification: April 28, 2017

- Final Manuscript Due: May 28, 2017

Publication

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

All FNC 2017 accepted papers will be published by Elsevier Science in the
open-access Procedia Computer Science series on-line. Procedia Computer
Science is hosted by Elsevier on www.Elsevier.com and on Elsevier content
platform ScienceDirect (www.sciencedirect.com), and will be freely
available worldwide. All papers in Procedia will be indexed by Scopus (
www.scopus.com) and by Thomson Reuters' Conference Proceeding Citation
Index (http://thomsonreuters.com/conference-proceedings-citation-index/).
All papers in Procedia will also be indexed by Scopus (www.scopus.com) and
Engineering Village (Ei) (www.engineeringvillage.com). This includes EI
Compendex (www.ei.org/compendex). Moreover, all accepted papers will be
indexed in DBLP (http://dblp.uni-trier.de/). The papers will contain linked
references, XML versions and citable DOI numbers. You will be able to
provide a hyperlink to all delegates and direct your conference website
visitors to your proceedings. Selected papers will be invited for
publication, in the special issues of:

- Journal of Ambient Intelligence and Humanized Computing (IF: 0.835), by
Springer (http://www.springer.com/engineering/journal/12652)

- Journal of Future Generation Computer Systems (IF: 2.430), by Elsevier (
http://www.journals.elsevier.com/future-generation-computer-systems/)

FNC 2017 will be held in conjunction with the 14th International Conference
on Mobile Systems and Pervasive Computing (MobiSPC
http://cs-conferences.acadiau.ca/mobispc-17/).

FNC 2017 will be gel in the city of Leuven. Leuven is the capital of the
province of Flemish Brabant in Belgium. It is located about 25 kilometres
(16 miles) east of Brussels. It is the 10th largest municipality in Belgium
and the fourth in Flanders. Leuven is home to the Katholieke Universiteit
Leuven, the largest and oldest university of the Low Countries and the
oldest Catholic university still in existence. The related university
hospital of UZ Leuven, is one of the largest hospitals of Europe. The city
is also known for being the headquarters of Anheuser-Busch InBev, the
world's largest brewer and one of the five largest consumer-goods companies
in the world.

COMMITTEES:

-----------

General Chairs

Atta Badii, University of Reading, UK

Soumaya Cherkaoui, Sherbrooke University, Canada

Program Chairs

Ansar-Ul-Haque Yasar, IMOB Ð Hasselt University, Belgium

Haroon Malik, Marshall University, USA

Advisory Committee

Erol Gelenbe, Imperial College, UK

Roch Glitho, Concordia University, Canada

Zygmunt J. Haas, Cornell University, USA

Philippe Martins, Telecom Paris Tech, France

Peter Sloot, Universiteit van Amsterdam, Netherlands

Ralf Steinmetz, Technische Universitaet Darmstadt, Germany

David Taniar, Monash University, Australia

Mohamed Younis, University of Maryland Baltimore County, USA

Workshops Chairs

Zahoor Khan, Higher Colleges of Technology, UAE

International Journals Chair

Bin Guo, Northwestern Polytechnical University, China

Publicity Chairs

Wim Ectors, Hasselt University, Belgium

Yaser Jararweh, Jordan University of Science and Technology, Jordan

Bjšrn A. Johnsson, Lund University, Sweden

Technical Program Committee

http://cs-conferences.acadiau.ca/fnc-17/#programCommittees

Steering Committee Chair

Elhadi Shakshuki, Acadia University, Canada
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/haskell/attachments/20170127/66495026/attachment-0001.html>

From wim.ectors at uhasselt.be  Fri Jan 27 13:26:26 2017
From: wim.ectors at uhasselt.be (Wim Ectors)
Date: Fri, 27 Jan 2017 08:26:26 -0500
Subject: [Haskell] [MobiSPC-Conf] MobiSPC 2017 CFPs: The 14th International
 Conference on Mobile Systems and Pervasive Computing (July 24-26, 2017,
 Leuven, Belgium)
Message-ID: <CAFDP4DS4zOUQyffcQ=ySiQ3nrwsMFP+mcaMQeeb-A4xC1hmfWQ@mail.gmail.com>

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


The 14th International Conference on Mobile Systems and Pervasive Computing
(MobiSPC)

July 24-26, 2017

Leuven, Belgium

http://cs-conferences.acadiau.ca/mobispc-17/

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


Mobile Systems and Pervasive Computing (MobiSPC) have evolved into an
active area of research and development. This is due to the tremendous
advances in a broad spectrum of technologies and topics, including wireless
networking, mobile and distributed computing, sensor systems, RFID
technology, and the ubiquitous mobile phone. MobiSPC-2017 solicits papers
that focus on the theory, systems, practices and challenges of providing
users with a successful mobile or wireless experience. This includes how
mobile computing changes how people pervasively use their computers,
computing resources and applications, as well the systems, services and
technologies enabling those applications.

MobiSPC-2017 will provide a leading edge, scholarly forum for researchers,
engineers, and students alike to share their state-of-the art research and
developmental work in the broad areas of pervasive computing and mobile
systems.



Important Dates

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

- Workshop Proposal Due: January 20, 2017

- Paper Submission Due: March 8, 2017

- Acceptance Notification: April 28, 2017

- Final Manuscript Due: May 28, 2017

Publication

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

All MobiSPC 2017 accepted papers will be published by Elsevier Science in
the open-access Procedia Computer Science series on-line. Procedia Computer
Science is hosted by Elsevier on www.Elsevier.com and on Elsevier content
platform ScienceDirect (www.sciencedirect.com), and will be freely
available worldwide. All papers in Procedia will be indexed by Scopus (
www.scopus.com) and by Thomson Reuters' Conference Proceeding Citation
Index (http://thomsonreuters.com/conference-proceedings-citation-index/).
All papers in Procedia will also be indexed by Scopus (www.scopus.com) and
Engineering Village (Ei) (www.engineeringvillage.com). This includes EI
Compendex (www.ei.org/compendex). Moreover, all accepted papers will be
indexed in DBLP (http://dblp.uni-trier.de/). The papers will contain linked
references, XML versions and citable DOI numbers. You will be able to
provide a hyperlink to all delegates and direct your conference website
visitors to your proceedings. Selected papers will be invited for
publication, in the special issues of:

- Journal of Ambient Intelligence and Humanized Computing (IF: 0.835), by
Springer (http://www.springer.com/engineering/journal/12652)

- Journal of Future Generation Computer Systems (IF: 2.430), by Elsevier (
http://www.journals.elsevier.com/future-generation-computer-systems/)

MobiSPC 2017 will be held in conjunction with the 12th International
Conference on Future Networks and Communications (FNC,
http://cs-conferences.acadiau.ca/fnc-17/).

MobiSPC 2017 will be held in the city of Leuven. Leuven is the capital of
the province of Flemish Brabant in Belgium. It is located about 25
kilometres (16 miles) east of Brussels. It is the 10th largest municipality
in Belgium and the fourth in Flanders. Leuven is home to the Katholieke
Universiteit Leuven, the largest and oldest university of the Low Countries
and the oldest Catholic university still in existence. The related
university hospital of UZ Leuven, is one of the largest hospitals of
Europe. The city is also known for being the headquarters of Anheuser-Busch
InBev, the world's largest brewer and one of the five largest
consumer-goods companies in the world.

Conference Tracks

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

- Component-based IoT

- Enabling Technologies and Emerging Topics

- Internet of Things (IoT)

- Mobile Cloud Computing

- Mobile Data Management

- Mobile Social Networking

- Pervasive Computing

- Smart Cities and Ubiquitous Climate Change Management

- Smart Communities and Ubiquitous Systems

- Mobile Systems and Applications

Committees:

-----------

General Chairs

Danny Hughes, K. U. Leuven, Belgium

Hossam Hassanein, Queen's University, Canada

Program Chairs

Ansar-Ul-Haque Yasar, IMOB – Hasselt University, Belgium

Stéphane Galland, Université de Technologie de Belfort-Montbéliard, France

Advisory Committee

Nirwan Ansari, New Jersey Institute of Technology, USA

Abdelfettah Belghith, University of Manouba, Tunisia

Flavien Balbo, Ecole Nationale Superieure des Mines de Saint Etienne,
France

Erol Gelenbe, Imperial College, UK

Noël de Palma, Université de Grenoble, France

Ralf Steinmetz, Technische Universitaet Darmstadt, Germany

David Taniar, Monash University, Australia

Mohamed Younis, University of Maryland Baltimore County, USA

Workshops Chairs

Zahoor Khan, Higher Colleges of Technology, UAE

Tracks Chairs

Habib M. Ammari, Norfolk State University, USA

Longbiao Chen, Xiamen University, China

Danny Hughes, K. U. Leuven, Belgium

Nafaa Jabeur, German University of Technology, Oman

Jason J. Jung, Chung-Ang University, Korea

Marc Körner, TUB Berlin, Germany

Prashant Kumar, University of Surrey, UK

Nawaz Mohamudally, University of Technology, Mauritius

Francesco Piccialli, University of Naples, Federico II, Italy

Christian Poellabauer, University of Notre Dame, USA

M. Elena Renda, Istituto di Informatica e Telematica - CNR, Italy

Michael Sheng, University of Adelaide, Australia

Leye Wang, Hong Kong University of Science and Technology, China

Publicity Chairs

Mikhail Gofman, California State University of Fullerton, USA

Pedro E. Lopez-de-Teruel, Spain

Mario Henrique Cruz Torres, K.U. Leuven, Belgium

Technical Program Committee

http://cs-conferences.acadiau.ca/mobispc-17/#programCommittees

Steering Committee Chair

Elhadi Shakshuki, Acadia University, Canada
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/haskell/attachments/20170127/3859ab2a/attachment.html>

From knayawp at gmail.com  Fri Jan 27 17:22:31 2017
From: knayawp at gmail.com (=?UTF-8?Q?Germ=C3=A1n_Delbianco?=)
Date: Fri, 27 Jan 2017 18:22:31 +0100
Subject: [Haskell] Multiple Research Positions, ERC MATHADOR Project,
 IMDEA Software Institute, Madrid, Spain
Message-ID: <CAG5bSKEeEJzsdiy=FRQteAFzVqi5Dt0MaeA9K+EmahpsNxMYEA@mail.gmail.com>

Hello,

This is not exactly a *Haskell* job/position offer, but I still think
it could be of interest to several members of the community.

Cheers,
Germán

PS: Our sincere apologies for multiple posting(s).

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

Applications are invited for multiple positions
(PhD/Postdoc/Scientific Programmer) at the IMDEA Software Institute,
Madrid, Spain. The positions are available from April 2017.

The successful candidate will work under the supervision of Aleks
Nanevski (http://software.imdea.org/~aleks/). The topic of the
research, to be determined based on the common interests of the
candidate and the supervisor, will be in the areas of software
verification, logics for concurrent programs, and language-based
security. The research will be funded by Aleks' ERC Consolidator award
"MATHADOR: Type and Proof Structures for Concurrent Software
Verification", which aims to investigate the type-theoretic
foundations for verification of concurrent software.

PhD candidates should have an excellent MSc or BSc degree in computer
science or a related subject, with an interest in the above areas, and
a strong commitment to research. An MSc or a BSc thesis is a plus. PhD
positions are for four years.

Postdoc candidates should have, or expect shortly to obtain, a PhD in
computer science. The ideal candidate will have expertise in program
semantics and program logics, concurrent or distributed computing,
type theory or interactive theorem proving, as they apply to the above
areas. Postdoc positions are initially for one year, with possible
extension up to three years.

Scientific programmer candidates should hold a BSc or MSc degree in
computer science, with experience in and passion for functional
programming, and strong interest and willingness to learn interactive
theorem proving (eg., Coq). The scientific programmer position is
initially for one year, with possible extension up to five years.

All positions require good teamwork and communication skills,
including excellent spoken and written English. Salaries at IMDEA
Software Institute are internationally competitive.

Interested applicants are encouraged to contact Aleks directly (aleks
dot nanevski at imdea dot org). Formal applications should be
submitted online at

 https://careers.imdea.org/software/

and mention this announcement in the submitted materials. (For the
scientific programmer position, please select the "Research Engineer"
option). Review of applications will begin immediately.

From iavor.diatchki at gmail.com  Mon Jan 30 17:18:28 2017
From: iavor.diatchki at gmail.com (Iavor Diatchki)
Date: Mon, 30 Jan 2017 09:18:28 -0800
Subject: [Haskell] Haskell Symposium 2017, call for submissions
Message-ID: <CAGK9nuopQ8xEkNG8JAKLqHkVrxdud0=W3uOpQ=Ryapk+DpfeoA@mail.gmail.com>

================================================================================
 ACM SIGPLAN                                      CALL FOR SUBMISSIONS
                     Haskell Symposium 2017

            Oxford, United Kingdom, 7--8 September 2017
           https://www.haskell.org/haskell-symposium/2017/
================================================================================

The ACM SIGPLAN Haskell Symposium 2017 will be co-located with the 2017
International Conference on Functional Programming (ICFP), in Oxford, United
Kingdom.  The Haskell Symposium aims to present original research on
Haskell,
discuss practical experience and future development of the language, and to
promote other forms of denotative programming.

Topics of interest include:

  * Language design, with a focus on possible extensions and modifications
of
    Haskell as well as critical discussions of the status quo;

  * Theory, such as formal semantics of the present language or future
    extensions, type systems, effects, metatheory, and foundations for
    program analysis and transformation;

  * Implementations, including program analysis and transformation,
    static and dynamic compilation for sequential, parallel, and distributed
    architectures, memory management, as well as foreign function and
    component interfaces;

  * Libraries, that demonstrate new ideas or techniques for functional
    programming in Haskell;

  * Tools, such as profilers, tracers, debuggers, preprocessors,
    and testing tools;

  * Applications, to scientific and symbolic computing, databases,
multimedia,
    telecommunication, the web, and so forth;

  * Functional Pearls, being elegant and instructive programming examples;

  * Experience Reports, to document general practice and experience in
    education, industry, or other contexts.
  * System Demonstrations, based on running software rather than novel
    research results.

Regular papers should explain their research contributions in both general
and
technical terms, identifying what has been accomplished, explaining why it
is
significant, and relating it to previous work, and to other languages where
appropriate.

Experience reports and functional pearls need not necessarily report
original
academic research results. For example, they may instead report reusable
programming idioms, elegant ways to approach a problem, or practical
experience
that will be useful to other users, implementors, or researchers. The key
criterion for such a paper is that it makes a contribution from which other
Haskellers can benefit. It is not enough simply to describe a standard
solution
to a standard programming problem, or report on experience where you used
Haskell in the standard way and achieved the result you were expecting. More
advice is available via the Haskell wiki.

System demonstrations should summarize the system capabilities that would be
demonstrated. The proposals will be judged on whether the ensuing session is
likely to be important and interesting to the Haskell community at large,
whether on grounds academic or industrial, theoretical or practical,
technical,
social or artistic. Please contact the program chair with any questions
about
the relevance of a proposal.


Submission Details
==================

Early and Regular Track
-----------------------

The Haskell Symposium uses a two-track submission
process so that some papers can gain early feedback. Strong papers
submitted to
the early track are accepted outright, and the others will be given their
reviews and invited to resubmit to the regular track. Papers accepted via
the
early and regular tracks are considered of equal value and will not be
distinguished in the proceedings. Although all papers may be submitted to
the
early track, authors of functional pearls and experience reports are
particularly encouraged to use this mechanism. The success of these papers
depends heavily on the way they are presented, and submitting early will
give
the program committee a chance to provide feedback and help draw out the key
ideas.

Formatting
----------

Submitted papers should be in portable document format (PDF),
formatted using the ACM SIGPLAN style guidelines.  Authors should use the
`acmart` format, with the `sigplan` sub-format for ACM proceedings.
For details, see:

  http://www.sigplan.org/Resources/Author/#acmart-format

Functional pearls, experience reports, and demo proposals should be
labelled clearly as such.

Page Limits
-----------

The length of submissions should not exceed the following limits:

Regular paper:      12 pages
Functional pearl:   12 pages
Experience report:   6 pages
Demo proposal:       2 pages

There is no requirement that all pages are used. For example, a
functional pearl may be much shorter than 12 pages.

Deadlines
---------

Early track:
  Submission deadline:  13 March 2017, Monday
  Notification:         01 May   2017, Monday

Regular track and demos:
  Submission deadline:  22 May  2017, Monday
  Notification:         26 June 2017, Monday

Deadlines are valid anywhere on Earth.

Experience reports and functional pearls need not necessarily report
original
academic research results. For example, they may instead report reusable
programming idioms, elegant ways to approach a problem, or practical
experience
that will be useful to other users, implementors, or researchers. The key
criterion for such a paper is that it makes a contribution from which other
Haskellers can benefit. It is not enough simply to describe a standard
solution
to a standard programming problem, or report on experience where you used
Haskell in the standard way and achieved the result you were expecting. More
advice is available via the Haskell wiki.

System demonstrations should summarize the system capabilities that would be
demonstrated. The proposals will be judged on whether the ensuing session is
likely to be important and interesting to the Haskell community at large,
whether on grounds academic or industrial, theoretical or practical,
technical,
social or artistic. Please contact the program chair with any questions
about
the relevance of a proposal.


Submission Details
==================

Early and Regular Track
-----------------------

The Haskell Symposium uses a two-track submission
process so that some papers can gain early feedback. Strong papers
submitted to
the early track are accepted outright, and the others will be given their
reviews and invited to resubmit to the regular track. Papers accepted via
the
early and regular tracks are considered of equal value and will not be
distinguished in the proceedings. Although all papers may be submitted to
the
early track, authors of functional pearls and experience reports are
particularly encouraged to use this mechanism. The success of these papers
depends heavily on the way they are presented, and submitting early will
give
the program committee a chance to provide feedback and help draw out the key
ideas.


Program Committee
=================

Adam Gundry               Well-Typed
Ekaterina Komendantskaya  University of Dundee
Henrik Nilsson            University of Nottingham
Iavor Diatchki (chair)    Galois
J. Garrett Morris         University of Edinburgh
Joachim Breitner          University of Pennsylvania
Juriaan Hage              Utrecht University
Lennart Augustsson        Facebook
Martin Erwig              Oregon State University
Rebekah Leslie            Intel
Takayuki Muranushi        University of Kyoto
Thomas Hallgren           Chalmers University
Ulf Norrel                Chalmers University

If you have questions, please contact the chair at: diatchki at galois.com

================================================================================
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/haskell/attachments/20170130/f12edece/attachment-0001.html>