From ndmitchell at gmail.com  Sun Dec  2 16:14:03 2018
From: ndmitchell at gmail.com (Neil Mitchell)
Date: Sun, 2 Dec 2018 16:14:03 +0000
Subject: [Haskell] Treatment of unknown pragmas
In-Reply-To: <CAPKAvQX4J_--HCm2XDtrWkVo8b9=qSrrKrEk3_eyqUr-+nKfsw@mail.gmail.com>
References: <8736t5n5kc.fsf@smart-cactus.org>
 <CAHZ0NLo0Xwu1iVHt8Taok3E2obxNEx7opndcYDBbo=Q8zXYaUw@mail.gmail.com>
 <87zhvdln5l.fsf@smart-cactus.org>
 <CAF_c+NySjWyPqbR=FPRQ6u88iXB7Z33ddhkYynC39b2UnZfSdg@mail.gmail.com>
 <CAPKAvQX4J_--HCm2XDtrWkVo8b9=qSrrKrEk3_eyqUr-+nKfsw@mail.gmail.com>
Message-ID: <CAKcFpmL=5f=HqTh=E0U7GTO48Xtos7Fz4g4dnddnouxn74RyVQ@mail.gmail.com>

Hi all,

I've just released HLint 2.1.11 which supports three different forms
of pragma as per https://github.com/ndmitchell/hlint#ignoring-hints,
so you can write:

* {-# ANN module "HLint: ignore Eta reduce" #-}
* {-# HLINT ignore "Eta reduce" #-}
* {- HLINT ignore "Eta reduce" -}

The last two are new to this version of HLint. ANN is a serious
performance penalty, {-# HLINT #-} triggers a GHC warning, and {-
HLINT -} gets highlighted as a comment - so people get to pick their
downside. I will probably remove documentation of the ANN variant at
some point, since it's got serious the most serious downsides.

I have no intention to support a {-@ HLINT @-} or similar syntax,
because everything that might sensibly be used is taken, and even if
it gets adopted universally, I suspect HLINT will account for 80%+
instances, making it still the "weird HLINT syntax".

 My preference is still to have GHC not give warnings on HLINT, but
assuming that's still infeasible, I'll probably see about getting all
the Haskell syntax highlighters to add special support for {- HLINT
-}...

Thanks, Neil
On Sun, Oct 28, 2018 at 3:04 PM Artem Pelenitsyn <a.pelenitsyn at gmail.com> wrote:
>
> Hello Daniel,
>
> Annotations API was discussed earlier in this thread. Main points against are:
>
> Neil:
> Significant compilation performance penalty and extra recompilation. ANN pragmas is what HLint currently uses.
>
> Brandon:
> The problem with ANN is it's part of the plugins API, and as such does things like compiling the expression into the program in case a plugin generates code using its value, plus things like recompilation checking end up assuming plugins are in use and doing extra checking. Using it as a compile-time pragma is actually fairly weird from that standpoint.
>
> --
> Best, Artem
> On Sat, 27 Oct 2018 at 22:12 Daniel Wagner <dmwit at dmwit.com> wrote:
>>
>> I don't have a really strong opinion, but... isn't this (attaching string-y data to source constructs) pretty much exactly what GHC's annotation pragma is for?
>> ~d
>>
>> On Tue, Oct 16, 2018 at 3:14 PM Ben Gamari <ben at smart-cactus.org> wrote:
>>>
>>> Vladislav Zavialov <vlad.z.4096 at gmail.com> writes:
>>>
>>> > What about introducing -fno-warn-pragma=XXX? People who use HLint will
>>> > add -fno-warn-pragma=HLINT to their build configuration.
>>> >
>>> A warning flag is an interesting way to deal with the issue. On the
>>> other hand, it's not great from an ergonomic perspective; afterall, this
>>> would mean that all users of HLint (and any other tool requiring special
>>> pragmas) include this flag in their build configuration. A typical
>>> Haskell project already needs too much such boilerplate, in my opinion.
>>>
>>> I think it makes a lot of sense to have a standard way for third-parties
>>> to attach string-y information to Haskell source constructs. While it's
>>> not strictly speaking necessary to standardize the syntax, doing
>>> so minimizes the chance that tools overlap and hopefully reduces
>>> the language ecosystem learning curve.
>>>
>>> Cheers,
>>>
>>> - Ben
>>> _______________________________________________
>>>
>>> Haskell mailing list
>>> Haskell at haskell.org
>>> http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell
>>
>> _______________________________________________
>> Haskell mailing list
>> Haskell at haskell.org
>> http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell
>
> _______________________________________________
> ghc-devs mailing list
> ghc-devs at haskell.org
> http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs

From yazan.mualla at utbm.fr  Mon Dec  3 11:42:11 2018
From: yazan.mualla at utbm.fr (Yazan Mualla)
Date: Mon, 3 Dec 2018 12:42:11 +0100 (CET)
Subject: [Haskell] Extended CFP 3rd International Workshop on Agent-based
 Modeling and Applications with SARL (SARL19)
Message-ID: <1235179454.167769414.1543837331470.JavaMail.zimbra@utbm.fr>

CALL FOR PAPERS (extended) 
The 3rd International Workshop on Agent-based Modeling and Applications with SARL (SARL-19) 
------------------------------------------------------------------------------------------- 

In conjunction with the 10th International Conference on Ambient Systems, Networks, and 
Technologies ANT 2019 and the European SarlCon 2019 

April 29 - May 2, 2019, Leuven, Belgium. 

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

Description 
=========== 

Research on Agents and Multi-Agent Systems has matured during the last decade and many 
effective applications of this technology are now deployed. SARL-19 provides an 
international forum to present and discuss the latest scientific developments and 
their effective applications, to assess the impact of the approach, and to facilitate 
technology transfer. 

SARL workshop was born with the SARL agent programming language, but the scientific results 
presented in SARL-19 are not restricted to SARL; other languages and agent platforms may 
be presented. 

SARL aims at providing the fundamental abstractions for dealing with concurrency, 
distribution, interaction, decentralization, reactivity, autonomy and dynamic 
reconfiguration. These high-level features are now considered as the major 
requirements for an easy and practical implementation of modern complex software 
applications. We are convinced that the agent-oriented paradigm holds the keys to 
effectively meet these features. Considering the variety of existing approaches and 
meta-models in the field of agent-oriented engineering and more generally multi-agent 
systems, our approach remains as generic as possible and highly extensible to easily 
integrate new concepts and features. 

The goal of SARL-19 is to provide a place where the different points of view on the 
modeling and the simulation with agent platforms and agent programming languages may be 
discussed. 

SARL-19 will be held in Leuven, Belgium (April 29 - May 2, 2019) in conjunction with the 
10th International Conference on Ambient Systems, Networks, and Technologies (ANT 2019) and 
the European SarlCon 2019. 


Topics 
====== 

The main topics of the SARL-18 workshop are (but not restricted to): 
_Methods and Models: 
* Agent based Modeling and Simulation; 
* Agent programming language; 
* Agent based Simulation; 
* Agent oriented analysis and design methods; 
* Ontologies and theories about large urban systems; 
* Formal models of agent-based simulation; 
* Organizational models. 
_Applications: 
* Traffic/Transport; 
* Crowds; 
* Smart grids and smart buildings; 
* Land-Use; 
* Energy. 


Important Dates 
=============== 

* Submission deadline: January 4, 2019 (extended); 
* Notification: February 4, 2019; 
* Final date for camera-ready copy: March 1, 2019; 
* Workshop: April 29 - May 2, 2019. 


Submission 
========== 

All workshop accepted papers will be included in the conference proceedings published by 
Elsevier Science in the open-access Procedia Computer Science series online. 

The submitted paper must be formatted according to the guidelines of Procedia Computer 
Science, Elsevier. You are invited to submit full length papers in PDF format on 
EasyChair, not exceeding 6 pages in length, in single-column format including diagrams 
and references while following the Procedia Computer Science guidelines. Papers that do 
not follow these guidelines may be rejected without consideration of their merits. 

All papers will be reviewed by at least two Program Committee members on the basis 
of technical quality, originality, clarity, and relevance to the track topics 
listed below. At least one author of each paper must attend the workshop to present 
the paper. 


Workshop Chairs 
=============== 

Stéphane GALLAND (Univ. de Technologie de Belfort-Montbeliard, France). 
Sebastian RODRIGUEZ (Universidad Technologica National, Argentina). 


Publicity Chair 
================ 

Yazan Mualla (Univ. de Technologie de Belfort-Montbeliard, France). 


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

To be completed. 

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

From Graham.Hutton at nottingham.ac.uk  Tue Dec  4 08:32:24 2018
From: Graham.Hutton at nottingham.ac.uk (Graham Hutton)
Date: Tue, 4 Dec 2018 08:32:24 +0000
Subject: [Haskell] 10 PhD studentships in Nottingham
Message-ID: <9E206781-3BDF-4452-9949-3858EED9430B@exmail.nottingham.ac.uk>

Dear all,

The School of Computer Science at the University of Nottingham
is seeking applications for 10 fully-funded PhD studentships:

  https://tinyurl.com/10-phds-2019

Applicants in the area of the Functional Programming Laboratory
(https://tinyurl.com/fp-notts) are strongly encouraged!  If you
are interested in applying, please contact a potential supervisor
at least two weeks prior to the 18th January deadline:

  Thorsten Altenkirch - constructive logic, proof assistants,
  homotopy type theory, category theory, lambda calculus.
 
  Venanzio Capretta - type theory, mathematical logic, corecursive
  structures, proof assistants, category theory, epistemic logic.
 
  Graham Hutton - functional programming, program calculation and
  transformation, correctness and efficiency, category theory.

  Henrik Nilsson - functional reactive programming, modelling and
  simulation, domain-specific languages, probabilistic languages.

Best wishes,

Graham

+-----------------------------------------------------------+

              10 Fully-Funded PhD Studentships

                 School of Computer Science
                University of Nottingham, UK

              https://tinyurl.com/10-phds-2019

Applications are invited for up to ten fully-funded PhD
studentships in the School of Computer Science at the
University of Nottingham, starting on 1 October 2019.

The topics for the studentships are open, but should relate
to one of the School’s research groups: Agents Lab; Automated
Scheduling and Planning; Computer Vision Lab; Data Driven
Algorithms, Systems and Design; Functional Programming Lab;
Intelligent Modelling and Analysis; Uncertainty in Data
and Decision Making; Mixed Reality Lab.

The studentships are for a minimum of three years and include
a stipend of £14,777 per year and tuition fees.  They are
open to students of any nationality.  Applicants are normally
expected to have a first-class MSc or BSc in Computer Science
or a related discipline, and must obtain the support of a 
supervisor in the School prior to submitting their application.
Initial contact with supervisors should be made at least two
weeks prior to the closing date for applications.  Informal
enquiries may be addressed to SS-PGR-JC at nottingham.ac.uk.

To apply, please submit the following items by email to:
Christine.Fletcher at nottingham.ac.uk: 

(1) a brief covering letter that describes your reasons
for wishing to pursue a PhD, your proposed research area
and topic, and the name of the potential supervisor
whose support you have already secured; 

(2) a copy of your CV, including your actual or expected
degree classes, and results of all University examinations; 

(3) an extended example of your technical writing, such
as a project report or dissertation; 

(4) contact details for two academic referees.

Closing date for applications: Friday 18 January 2019

+-----------------------------------------------------------+




This message and any attachment are intended solely for the addressee
and may contain confidential information. If you have received this
message in error, please contact the sender and delete the email and
attachment. 

Any views or opinions expressed by the author of this email do not
necessarily reflect the views of the University of Nottingham. Email
communications with the University of Nottingham may be monitored 
where permitted by law.





From simonpj at microsoft.com  Thu Dec  6 10:35:11 2018
From: simonpj at microsoft.com (Simon Peyton Jones)
Date: Thu, 6 Dec 2018 10:35:11 +0000
Subject: [Haskell] Guidelines for respectful communication
Message-ID: <AM0PR83MB0308B54B3A04B3A15EAB30D2ADA90@AM0PR83MB0308.EURPRD83.prod.outlook.com>

Friends
As many of you will know, I have been concerned for several years about the standards of discourse in the Haskell community.  I think things have improved since the period that drove me to write my Respect email<https://mail.haskell.org/pipermail/haskell/2016-September/024995.html>, but it's far from secure.
We discussed this at a meeting of the GHC Steering Committee<https://github.com/ghc-proposals/ghc-proposals> at ICFP in September, and many of us have had related discussions since.  Arising out of that conversation, the GHC Steering Committee has decided to adopt these
              Guidelines for respectful communication<https://github.com/ghc-proposals/ghc-proposals/blob/master/GRC.rst>

We are not trying to impose these guidelines on members of the Haskell community generally. Rather, we are adopting them for ourselves, as a signal that we seek high standards of discourse in the Haskell community, and are willing to publicly hold ourselves to that standard, in the hope that others may choose to follow suit.
We are calling them "guidelines for respectful communication" rather than a "code of conduct", because we want to encourage good communication, rather than focus on bad behaviour.  Richard Stallman's recent post<https://lwn.net/Articles/769167/> about the new GNU Kind Communication Guidelines<https://gnu.org/philosophy/kind-communication.html> expresses the same idea.
Meanwhile, the Stack community is taking a similar approach<https://www.snoyman.com/blog/2018/11/proposal-stack-coc>.
Our guidelines are not set in stone; you can comment here<https://github.com/ghc-proposals/ghc-proposals/commit/373044b5a78519071b9a24b3681cfd1af06e57e0>.   Perhaps they can evolve so that other Haskell committees (or even individuals) feel able to adopt them.
The Haskell community is such a rich collection of intelligent, passionate, and committed people. Thank you -- I love you all!
Simon



-------------- next part --------------
A non-text attachment was scrubbed...
Name: winmail.dat
Type: application/ms-tnef
Size: 19640 bytes
Desc: not available
URL: <http://mail.haskell.org/pipermail/haskell/attachments/20181206/4a1d0e86/attachment-0001.bin>

From flippa at flippac.org  Thu Dec  6 21:59:56 2018
From: flippa at flippac.org (Philippa Cowderoy)
Date: Thu, 6 Dec 2018 21:59:56 +0000
Subject: [Haskell] Guidelines for respectful communication
In-Reply-To: <AM0PR83MB0308B54B3A04B3A15EAB30D2ADA90@AM0PR83MB0308.EURPRD83.prod.outlook.com>
References: <AM0PR83MB0308B54B3A04B3A15EAB30D2ADA90@AM0PR83MB0308.EURPRD83.prod.outlook.com>
Message-ID: <3b504d35-5461-4fd8-9994-b78cd6addff2@flippac.org>

I lack the energy to contribute to GHC directly, but these guidelines 
are far too easy to abuse by someone acting in bad faith and we know 
that bad faith actors have been adjacent to our community and acted on 
things that have taken place within it.

 From where I'm sitting, guidelines like this risk doing even more 
damage than not having any. Not only do they lack the means to handle 
incidents that have already occurred, they actively discourage the 
community from finding those means.

As someone these guidelines have been drafted to help include, I fear 
they increase the burden on my participation and that of others like me. 
For a community to hold together without sinking to the worst of 
behaviour, there needs to be some acceptance that we will all fail to 
act in good fatih on occasion, that some people will act in bad faith 
and that behaviour in bad faith may take a great deal of explaining to 
anyone who is not the target of it or familiar with its mechanisms.

I have spent a great deal of time running spaces within the wider 
community and I have witnessed these things repeatedly. I also lack the 
resources some people here have available to mitigate the risks others 
have openly posed to members of the community including myself and Simon.

One solution - whether GHC itself needs it or not - might be to pair 
guidelines for respectful communication with guidelines for when 
respectful communication is failing to occur.

Simon, I appreciate both the work you've put in and your love for the 
communty. I hope you can appreciate that where I appear to be cynical or 
even sowing discord here, I am acting out of love and care for a 
community that at its best has done a great deal for me. I apologise for 
being the one to open up what I see as a somewhat inevitable discussion.

On 06/12/2018 10:35, Simon Peyton Jones via Haskell wrote:
> Friends
> As many of you will know, I have been concerned for several years about the standards of discourse in the Haskell community.  I think things have improved since the period that drove me to write my Respect email<https://mail.haskell.org/pipermail/haskell/2016-September/024995.html>, but it's far from secure.
> We discussed this at a meeting of the GHC Steering Committee<https://github.com/ghc-proposals/ghc-proposals> at ICFP in September, and many of us have had related discussions since.  Arising out of that conversation, the GHC Steering Committee has decided to adopt these
>                Guidelines for respectful communication<https://github.com/ghc-proposals/ghc-proposals/blob/master/GRC.rst>
>
> We are not trying to impose these guidelines on members of the Haskell community generally. Rather, we are adopting them for ourselves, as a signal that we seek high standards of discourse in the Haskell community, and are willing to publicly hold ourselves to that standard, in the hope that others may choose to follow suit.
> We are calling them "guidelines for respectful communication" rather than a "code of conduct", because we want to encourage good communication, rather than focus on bad behaviour.  Richard Stallman's recent post<https://lwn.net/Articles/769167/> about the new GNU Kind Communication Guidelines<https://gnu.org/philosophy/kind-communication.html> expresses the same idea.
> Meanwhile, the Stack community is taking a similar approach<https://www.snoyman.com/blog/2018/11/proposal-stack-coc>.
> Our guidelines are not set in stone; you can comment here<https://github.com/ghc-proposals/ghc-proposals/commit/373044b5a78519071b9a24b3681cfd1af06e57e0>.   Perhaps they can evolve so that other Haskell committees (or even individuals) feel able to adopt them.
> The Haskell community is such a rich collection of intelligent, passionate, and committed people. Thank you -- I love you all!
> Simon
>
>
>
>
> _______________________________________________
> Haskell mailing list
> Haskell at haskell.org
> http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/haskell/attachments/20181206/e9552a0b/attachment.html>

From jml at mumak.net  Fri Dec  7 07:47:29 2018
From: jml at mumak.net (Jonathan Lange)
Date: Fri, 7 Dec 2018 07:47:29 +0000
Subject: [Haskell] Guidelines for respectful communication
In-Reply-To: <3b504d35-5461-4fd8-9994-b78cd6addff2@flippac.org>
References: <AM0PR83MB0308B54B3A04B3A15EAB30D2ADA90@AM0PR83MB0308.EURPRD83.prod.outlook.com>
 <3b504d35-5461-4fd8-9994-b78cd6addff2@flippac.org>
Message-ID: <CAHZ8tnbd8NXPTgfcjVFiVUjOo0FG9c+=2P2cVzYsY8dvFxYbAA@mail.gmail.com>

I normally lurk here, but I agree with Philippa, and am grateful to her for
saying what I was thinking.

In particular, her suggestion about pairing guidelines for respectful
communications with guidelines for what to do when things break down is an
excellent one, and has worked well in other communities to help those on
the fringes of a community feel welcome and able to contribute.

jml

On Thu, Dec 6, 2018 at 10:00 PM Philippa Cowderoy <flippa at flippac.org>
wrote:

> I lack the energy to contribute to GHC directly, but these guidelines are
> far too easy to abuse by someone acting in bad faith and we know that bad
> faith actors have been adjacent to our community and acted on things that
> have taken place within it.
>
> From where I'm sitting, guidelines like this risk doing even more damage
> than not having any. Not only do they lack the means to handle incidents
> that have already occurred, they actively discourage the community from
> finding those means.
>
> As someone these guidelines have been drafted to help include, I fear they
> increase the burden on my participation and that of others like me. For a
> community to hold together without sinking to the worst of behaviour, there
> needs to be some acceptance that we will all fail to act in good fatih on
> occasion, that some people will act in bad faith and that behaviour in bad
> faith may take a great deal of explaining to anyone who is not the target
> of it or familiar with its mechanisms.
>
> I have spent a great deal of time running spaces within the wider
> community and I have witnessed these things repeatedly. I also lack the
> resources some people here have available to mitigate the risks others have
> openly posed to members of the community including myself and Simon.
>
> One solution - whether GHC itself needs it or not - might be to pair
> guidelines for respectful communication with guidelines for when respectful
> communication is failing to occur.
>
> Simon, I appreciate both the work you've put in and your love for the
> communty. I hope you can appreciate that where I appear to be cynical or
> even sowing discord here, I am acting out of love and care for a community
> that at its best has done a great deal for me. I apologise for being the
> one to open up what I see as a somewhat inevitable discussion.
> On 06/12/2018 10:35, Simon Peyton Jones via Haskell wrote:
>
> Friends
> As many of you will know, I have been concerned for several years about the standards of discourse in the Haskell community.  I think things have improved since the period that drove me to write my Respect email<https://mail.haskell.org/pipermail/haskell/2016-September/024995.html> <https://mail.haskell.org/pipermail/haskell/2016-September/024995.html>, but it's far from secure.
> We discussed this at a meeting of the GHC Steering Committee<https://github.com/ghc-proposals/ghc-proposals> <https://github.com/ghc-proposals/ghc-proposals> at ICFP in September, and many of us have had related discussions since.  Arising out of that conversation, the GHC Steering Committee has decided to adopt these
>               Guidelines for respectful communication<https://github.com/ghc-proposals/ghc-proposals/blob/master/GRC.rst> <https://github.com/ghc-proposals/ghc-proposals/blob/master/GRC.rst>
>
> We are not trying to impose these guidelines on members of the Haskell community generally. Rather, we are adopting them for ourselves, as a signal that we seek high standards of discourse in the Haskell community, and are willing to publicly hold ourselves to that standard, in the hope that others may choose to follow suit.
> We are calling them "guidelines for respectful communication" rather than a "code of conduct", because we want to encourage good communication, rather than focus on bad behaviour.  Richard Stallman's recent post<https://lwn.net/Articles/769167/> <https://lwn.net/Articles/769167/> about the new GNU Kind Communication Guidelines<https://gnu.org/philosophy/kind-communication.html> <https://gnu.org/philosophy/kind-communication.html> expresses the same idea.
> Meanwhile, the Stack community is taking a similar approach<https://www.snoyman.com/blog/2018/11/proposal-stack-coc> <https://www.snoyman.com/blog/2018/11/proposal-stack-coc>.
> Our guidelines are not set in stone; you can comment here<https://github.com/ghc-proposals/ghc-proposals/commit/373044b5a78519071b9a24b3681cfd1af06e57e0> <https://github.com/ghc-proposals/ghc-proposals/commit/373044b5a78519071b9a24b3681cfd1af06e57e0>.   Perhaps they can evolve so that other Haskell committees (or even individuals) feel able to adopt them.
> The Haskell community is such a rich collection of intelligent, passionate, and committed people. Thank you -- I love you all!
> Simon
>
>
>
>
>
> _______________________________________________
> Haskell mailing listHaskell at haskell.orghttp://mail.haskell.org/cgi-bin/mailman/listinfo/haskell
>
> _______________________________________________
> Haskell mailing list
> Haskell at haskell.org
> http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/haskell/attachments/20181207/ba3bdf6f/attachment.html>

From Muhammad.Arslan at u-bourgogne.fr  Fri Dec  7 08:57:16 2018
From: Muhammad.Arslan at u-bourgogne.fr (Muhammad Arslan)
Date: Fri, 7 Dec 2018 09:57:16 +0100 (CET)
Subject: [Haskell] Call for Papers - SDP: Spatio-temporal Data Processing,
 February 24 - 28, 2019 - Athens, Greece
In-Reply-To: <847348341.1738570.1542348654218.JavaMail.zimbra@u-bourgogne.fr>
References: <2096830736.34650642.1541569368072.JavaMail.zimbra@u-bourgogne.fr>
 <1941891761.34651998.1541569995232.JavaMail.zimbra@u-bourgogne.fr>
 <847348341.1738570.1542348654218.JavaMail.zimbra@u-bourgogne.fr>
Message-ID: <364570392.27960794.1544173036792.JavaMail.zimbra@u-bourgogne.fr>

CALL FOR PAPERS 

Special track - SDP: Spatio-temporal Data Processing 
11th International Conference on Advanced Geographic Information Systems, Applications, and Services 
February 24 - 28, 2019 - Athens, Greece 
Now Accepting Submissions 

Track chair: 
Christophe Cruz, Université Bourgogne Franche-Comté, France 
--------------------------------------------------------------------------------------------------------------------------------------------- 
The topics encompass, but not limited to: 


    * Preparation of spatio-temporal data using pre-processing techniques 
    * Data modeling, mining and data warehousing methods for spatio-temporal data 
    * Behaviors and knowledge extraction using spatio-temporal data 
    * Techniques for enriching spatio-temporal data with information extracts using approaches such as Web of Things, Semantic Web, data mining, NLP, etc. 
    * Visual analytics for spatio-temporal data 
    * Applications and case studies related to usability of spatio-temporal data for urban traffic systems, trajectory analysis, safety management, etc. 

Updated SPD Call: https://www.iaria.org/conferences2019/filesGEOProcessing19/SDP.pdf 

SPD online submissions site: https://www.iariasubmit.org/conferences/submit/newcontribution.php?event=GEOProcessing+2019+Special 

Deadlines: 


    * Submission: Jan 08 , 2019 
    * Notification: Jan 23 , 2019 
    * Registration: Feb 03 , 2019 
    * Camera-ready paper: Feb 03 , 2019 

Publication of the papers: 


    * Print proceedings will be available via Curran Associates, Inc.: http://www.proceedings.com/9769.html 
    * Articles will be archived in the free access ThinkMind Digital Library: http://www.thinkmind.org 
    * Extended versions of selected papers will be published in IARIA Journals: http://www.iariajournals.org 

Best, 

Muhammad Arslan 
Université de Bourgogne Franche-Comté 
Institut Marey - Maison de la Métallurgie (I3M), 64 rue de Sully, 21000 Dijon, France 
Mobile : (+33) 06.28.43.08.01 

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/haskell/attachments/20181207/58364cd0/attachment-0001.html>

From ben at well-typed.com  Sat Dec  8 01:43:37 2018
From: ben at well-typed.com (Ben Gamari)
Date: Fri, 07 Dec 2018 20:43:37 -0500
Subject: [Haskell] [ANNOUNCE] GHC 8.6.3 is now available
Message-ID: <878t10vlmk.fsf@smart-cactus.org>


Hello everyone,

The GHC team is very happy to announce the availability of GHC 8.6.3, a
bugfix release in the GHC 8.6 series. The source distribution, binary
distributions, and documentation for this release are available at

    https://downloads.haskell.org/~ghc/8.6.3

The 8.6 release fixes several regressions present in 8.6.2 including:

 - A code generation bug resulting in segmentations faults in some
   programs (#15892)

 - Darwin binary distributions are now correctly built against an
   in-tree GMP (#15404)

 - Three bugs leading to linker failures on Windows (#15105, #15894,
   #15934)

 - A bug leading to programs with deep stacks crashing when run with
   retainer profiling enabled (#14758)

 - A bug resulting in potential heap corruption during stable name
   allocation (#15906)

 - Plugins are now loaded during GHCi sessions (#15633)

As a few of these issues are rather serious users are strongly
encouraged to upgrade. See Trac [1] for a full list of issues resolved
in this release.

Note that this release ships with one significant but long-standing bug
(#14251): Calls to functions taking both Float# and Double# may result
in incorrect code generation when compiled using the LLVM code generator.
This is not a new issue, it has existed as long as the LLVM code
generator has existed; however, changes in code generation in 8.6 made
it more likely that user code using only lifted types will trigger it.

Happy compiling!

Cheers,

- Ben


[1] https://ghc.haskell.org/trac/ghc/query?status=closed&milestone=8.6.3&col=id&col=summary&col=status&col=type&col=priority&col=milestone&col=component&order=priority 
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 483 bytes
Desc: not available
URL: <http://mail.haskell.org/pipermail/haskell/attachments/20181207/45f6d9bf/attachment.sig>

From benl at ouroborus.net  Sat Dec  8 05:27:38 2018
From: benl at ouroborus.net (Ben Lippmeier)
Date: Sat, 8 Dec 2018 16:27:38 +1100
Subject: [Haskell] Guidelines for respectful communication
In-Reply-To: <CAHZ8tnbd8NXPTgfcjVFiVUjOo0FG9c+=2P2cVzYsY8dvFxYbAA@mail.gmail.com>
References: <AM0PR83MB0308B54B3A04B3A15EAB30D2ADA90@AM0PR83MB0308.EURPRD83.prod.outlook.com>
 <3b504d35-5461-4fd8-9994-b78cd6addff2@flippac.org>
 <CAHZ8tnbd8NXPTgfcjVFiVUjOo0FG9c+=2P2cVzYsY8dvFxYbAA@mail.gmail.com>
Message-ID: <53CA6023-8E2B-4271-AFD4-D3D49F911AC9@ouroborus.net>


> On 7 Dec 2018, at 6:47 pm, Jonathan Lange <jml at mumak.net> wrote:
> 
> In particular, her suggestion about pairing guidelines for respectful communications with guidelines for what to do when things break down is an excellent one, and has worked well in other communities to help those on the fringes of a community feel welcome and able to contribute.


I’ll also back this up. Over the last couple of years I’ve been involved in 3 separate communities which have struggled with many of the same issues. The way I see it, guidelines for Respectful Communication are statements of the desired end goal, but they don’t provide much insight as to the root causes of the problems, or how to address them. At the risk of trivialising the issue, one could reduce many such statements to “Can everyone please stop shouting and be nice to each other.” (CEPSSaBNTEO)

Here are two templates for problems that I’ve seen over and over, and not necessarily in this community. The names used are placeholders.

1) Alice has become very interested in a particular technical issue and wants to change the direction of Project X to address it. Alice has contributed to Project X on and off, but did not start it and is not currently leading it. The main developer is Bob who agrees that the issue exists, but is focused on other things right now, and isn’t motivated to have a long discussion about something he sees as a minor detail. Alice continues to post on a public list about the issue, until Bob becomes exasperated and replies with something like “yes, but I don’t care about that right now”. Alice thinks the comment is directed at her personally, posts a hurt reply, then Charlie, Debbie, and Edward chime in about whether or not that was an appropriate communication. There is a thread on Reddit with 50 comments from people that Alice and Bob have never heard of. Both Alice and Bob are demotivated by the whole experience, and future potential contributors to Project X stumble across the Reddit post and decide they don’t want to get involved anymore.

2) Charlie and Debbie have been building System Y for the last 10 years as a side project, which over time has grown to be a key part of the public infrastructure. Both Charlie and Debbie are well known and respected by the community, but don’t always have time to fix bugs promptly. System Y also has some long standing issues that everyone grumbles about, but also know how to work around. Edward works for Company Z, which has recently formed to do consulting in this area. Company Z has publicly stated that they will invest 2 million dollars improving the public infrastructure, and plan to build a replacement for System Y. Some think that Edward is trying to take over System Y as a marketing exercise, others think System Y should have been replaced long ago, others think that Edward should just start funding Charlie and Debbie's work on System Y full time, instead of trying to build a new system from scratch. Charlie and Debbie are overwhelmed with all the emails and have less and less time to actually fix bugs in System Y. Next, Harold, who has been watching from the sidelines, posts a long tirade about all the reasons that Company Z is a terrible company doing the wrong things for the wrong reasons. Charlie barely knows Harold, but posts a small comment agreeing with the general sentiment. Edward sees the comment and promises himself that there is no way the ungrateful System Y people are ever getting any of his money. Two years later both System-Y and Company Z’s SystemY-Prime are in common use, do basically the same thing, and everyone grumbles about both.

The root problems here are differences in motivation, miscommunication, and the Internet Amplification Effect (IAE). Harsh posts in public forums are a surface effect that feeds back and exacerbates the underlying problems. People like Harold who stoke the flames don’t tend to read the Respectful Communication guidelines, and everyone always feels justified in their own opinions. There is published work on dealing with conflicts in online communities [1], but I don’t pretend to be an expert. 

Perhaps an interested party could start a wiki page with statements of the form “If you feel like X is happening then consider doing Y.” This might also help people that are not naturally good at understanding the thoughts and motivations of other people, and work better when such advice is written down.

Peace,
Ben.

[1] Managing Conflicts in Open Source Communities
Ruben Van Wendel De Joode, 2004.


From rae at cs.brynmawr.edu  Sun Dec  9 18:03:44 2018
From: rae at cs.brynmawr.edu (Richard Eisenberg)
Date: Sun, 9 Dec 2018 13:03:44 -0500
Subject: [Haskell] Guidelines for respectful communication
In-Reply-To: <3b504d35-5461-4fd8-9994-b78cd6addff2@flippac.org>
References: <AM0PR83MB0308B54B3A04B3A15EAB30D2ADA90@AM0PR83MB0308.EURPRD83.prod.outlook.com>
 <3b504d35-5461-4fd8-9994-b78cd6addff2@flippac.org>
Message-ID: <7640426B-CE65-4B54-B1DC-36B833F99F12@cs.brynmawr.edu>

What this email seems to suggest to me is that our guidelines assume good faith, and yet some participants act in bad faith. I agree this is not well accounted-for in the guidelines. (However, the guidelines were designed with the GHC Steering Committee in mind, where members join by way of a nomination and selection process and can be removed -- quite unlike the broader Haskell community.)

Before thinking about specific words / documents that solve the problem, I want to be sure I understand the problem you're highlighting. Is it the presence of bad faith actors, specifically?

Thanks for coming forward with these concerns.

Richard

> On Dec 6, 2018, at 4:59 PM, Philippa Cowderoy <flippa at flippac.org> wrote:
> 
> I lack the energy to contribute to GHC directly, but these guidelines are far too easy to abuse by someone acting in bad faith and we know that bad faith actors have been adjacent to our community and acted on things that have taken place within it.
> 
> From where I'm sitting, guidelines like this risk doing even more damage than not having any. Not only do they lack the means to handle incidents that have already occurred, they actively discourage the community from finding those means.
> 
> As someone these guidelines have been drafted to help include, I fear they increase the burden on my participation and that of others like me. For a community to hold together without sinking to the worst of behaviour, there needs to be some acceptance that we will all fail to act in good fatih on occasion, that some people will act in bad faith and that behaviour in bad faith may take a great deal of explaining to anyone who is not the target of it or familiar with its mechanisms.
> 
> I have spent a great deal of time running spaces within the wider community and I have witnessed these things repeatedly. I also lack the resources some people here have available to mitigate the risks others have openly posed to members of the community including myself and Simon.
> 
> One solution - whether GHC itself needs it or not - might be to pair guidelines for respectful communication with guidelines for when respectful communication is failing to occur.
> 
> Simon, I appreciate both the work you've put in and your love for the communty. I hope you can appreciate that where I appear to be cynical or even sowing discord here, I am acting out of love and care for a community that at its best has done a great deal for me. I apologise for being the one to open up what I see as a somewhat inevitable discussion.
> 
> On 06/12/2018 10:35, Simon Peyton Jones via Haskell wrote:
>> Friends
>> As many of you will know, I have been concerned for several years about the standards of discourse in the Haskell community.  I think things have improved since the period that drove me to write my Respect email<https://mail.haskell.org/pipermail/haskell/2016-September/024995.html> <https://mail.haskell.org/pipermail/haskell/2016-September/024995.html>, but it's far from secure.
>> We discussed this at a meeting of the GHC Steering Committee<https://github.com/ghc-proposals/ghc-proposals> <https://github.com/ghc-proposals/ghc-proposals> at ICFP in September, and many of us have had related discussions since.  Arising out of that conversation, the GHC Steering Committee has decided to adopt these
>>               Guidelines for respectful communication<https://github.com/ghc-proposals/ghc-proposals/blob/master/GRC.rst> <https://github.com/ghc-proposals/ghc-proposals/blob/master/GRC.rst>
>> 
>> We are not trying to impose these guidelines on members of the Haskell community generally. Rather, we are adopting them for ourselves, as a signal that we seek high standards of discourse in the Haskell community, and are willing to publicly hold ourselves to that standard, in the hope that others may choose to follow suit.
>> We are calling them "guidelines for respectful communication" rather than a "code of conduct", because we want to encourage good communication, rather than focus on bad behaviour.  Richard Stallman's recent post<https://lwn.net/Articles/769167/> <https://lwn.net/Articles/769167/> about the new GNU Kind Communication Guidelines<https://gnu.org/philosophy/kind-communication.html> <https://gnu.org/philosophy/kind-communication.html> expresses the same idea.
>> Meanwhile, the Stack community is taking a similar approach<https://www.snoyman.com/blog/2018/11/proposal-stack-coc> <https://www.snoyman.com/blog/2018/11/proposal-stack-coc>.
>> Our guidelines are not set in stone; you can comment here<https://github.com/ghc-proposals/ghc-proposals/commit/373044b5a78519071b9a24b3681cfd1af06e57e0> <https://github.com/ghc-proposals/ghc-proposals/commit/373044b5a78519071b9a24b3681cfd1af06e57e0>.   Perhaps they can evolve so that other Haskell committees (or even individuals) feel able to adopt them.
>> The Haskell community is such a rich collection of intelligent, passionate, and committed people. Thank you -- I love you all!
>> Simon
>> 
>> 
>> 
>> 
>> 
>> _______________________________________________
>> Haskell mailing list
>> Haskell at haskell.org <mailto:Haskell at haskell.org>
>> http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell <http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell>
> _______________________________________________
> Haskell mailing list
> Haskell at haskell.org
> http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell

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

From jerzy.karczmarczuk at unicaen.fr  Mon Dec 10 11:06:50 2018
From: jerzy.karczmarczuk at unicaen.fr (Jerzy Karczmarczuk)
Date: Mon, 10 Dec 2018 12:06:50 +0100
Subject: [Haskell] Guidelines for respectful communication
In-Reply-To: <7640426B-CE65-4B54-B1DC-36B833F99F12@cs.brynmawr.edu>
References: <AM0PR83MB0308B54B3A04B3A15EAB30D2ADA90@AM0PR83MB0308.EURPRD83.prod.outlook.com>
 <3b504d35-5461-4fd8-9994-b78cd6addff2@flippac.org>
 <7640426B-CE65-4B54-B1DC-36B833F99F12@cs.brynmawr.edu>
Message-ID: <f0fef02c-4f38-5968-cbe6-46a84228cad4@unicaen.fr>

Le 09/12/2018 à 19:03, Richard Eisenberg a écrit :

> What this email seems to suggest to me is that our guidelines assume 
> good faith, and yet some participants act in bad faith. I agree this 
> is not well accounted-for in the guidelines.
> ...
I don't really think that Philippa Cowderoy's warning
> /... guidelines like this risk doing even more damage than not having 
> any. Not only do they lack the means to handle incidents that have 
> already occurred, they actively discourage the community from finding 
> those means.
> /
points to a true danger. Teaching a "correct" behaviour is anyway a 
never-ending process.
Although I have seen a good deal of nastiness on the Web, practically 
never related to Haskell. There have been some doctrinal, not very 
serious disputes, occasionally an X or Y had too much adrenaline, but 
the true bad faith is something at most marginal. Perhaps the reason is 
-- I cite Simon: /The Haskell community is such a rich collection of 
*intelligent*, passionate, and committed people/.
The intelligence is crucial here. It is not democratically distributed 
[[my goodness, am I already insulting people?!]], so we will always need 
Constitutions, Catechisms, sportmanship rules, etc., even without the 
accompanying  "criminal codes".  The text of Simon is NOT a proposal to 
introduce  Haskell Inquisition.

In the context of the Haskell community, spending time on prevention & 
punishment of potential bad faith seems to me a bit horrible.

Ben Lippmeier says
> /The way I see it, guidelines for Respectful Communication are 
> statements of the desired end goal, but they don’t provide much 
> insight as to the root causes of the problems, or how to address them. 
> At the risk of trivialising the issue, one could reduce many such 
> statements to “Can everyone please stop shouting and be nice to each 
> other.”/
It is true  that most etiquette rules, as vestimentary  codes, etc. are 
somehow superficial, but the "root causes of the problem" may be 
terribly complicated. It is possible to degenerate a communication 
system without shouting or being manifestly brutal/impolite, and here 
and there the wish to be '/effective/' wins over the diplomacy.

Some of my students stopped  asking questions on the Stack Overflow 
forum because of that, and there are many other places avoided by 
newbies, by fragile people... Sending people away because of 
(apparently; often not so) duplicate questions, "downvoting", forming 
casts of power-enabled "gurus", who behave disrespectfully, since they 
are gurus, issuing statements such as: "read /some/ tutorial, and /then/ 
come back", etc., all this exists, may trigger angry answers, but does 
not implies bad faith (although too often signals somehow weak knowledge 
of psychology).

Let's be optimistic. I think that it would do a favour for the [larger] 
community, if Simon agreed to send the guidelines to haskell-cafe (and 
perhaps to some forum outside Haskell as well), I knew many people (my 
former students for example), who read only the  -café list...

Live long and prosper.  🖖
Jerzy Karczmarczuk
[France.]
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/haskell/attachments/20181210/2c3b574c/attachment.html>

From asandroq at gmail.com  Mon Dec 10 11:12:00 2018
From: asandroq at gmail.com (Alex Silva)
Date: Mon, 10 Dec 2018 12:12:00 +0100
Subject: [Haskell] Guidelines for respectful communication
In-Reply-To: <f0fef02c-4f38-5968-cbe6-46a84228cad4@unicaen.fr>
References: <AM0PR83MB0308B54B3A04B3A15EAB30D2ADA90@AM0PR83MB0308.EURPRD83.prod.outlook.com>
 <3b504d35-5461-4fd8-9994-b78cd6addff2@flippac.org>
 <7640426B-CE65-4B54-B1DC-36B833F99F12@cs.brynmawr.edu>
 <f0fef02c-4f38-5968-cbe6-46a84228cad4@unicaen.fr>
Message-ID: <245e2fda-6880-e907-7240-09b920b28c06@gmail.com>

Hi,

On 10/12/2018 12:06, Jerzy Karczmarczuk wrote:
> The intelligence is crucial here. It is not democratically distributed 
> [[my goodness, am I already insulting people?!]], so we will always need 
> Constitutions, Catechisms, sportmanship rules, etc., even without the 
> accompanying  "criminal codes".  The text of Simon is NOT a proposal to 
> introduce  Haskell Inquisition.
> 

You are assuming that intelligent people cannot act in bad faith, which 
is neither true in this community or in general.

Cheers,
-- 
- alex
https://unendli.ch/

From jmg at gaillourdet.net  Mon Dec 10 11:19:44 2018
From: jmg at gaillourdet.net (Jean-Marie Gaillourdet)
Date: Mon, 10 Dec 2018 12:19:44 +0100
Subject: [Haskell] Guidelines for respectful communication
In-Reply-To: <245e2fda-6880-e907-7240-09b920b28c06@gmail.com>
References: <AM0PR83MB0308B54B3A04B3A15EAB30D2ADA90@AM0PR83MB0308.EURPRD83.prod.outlook.com>
 <3b504d35-5461-4fd8-9994-b78cd6addff2@flippac.org>
 <7640426B-CE65-4B54-B1DC-36B833F99F12@cs.brynmawr.edu>
 <f0fef02c-4f38-5968-cbe6-46a84228cad4@unicaen.fr>
 <245e2fda-6880-e907-7240-09b920b28c06@gmail.com>
Message-ID: <22077b3c-08d9-3d99-69dd-f256529976ff@gaillourdet.net>

Hi

On 10.12.18 12:12, Alex Silva wrote:
> On 10/12/2018 12:06, Jerzy Karczmarczuk wrote:
>> The intelligence is crucial here. It is not democratically distributed 
>> [[my goodness, am I already insulting people?!]], so we will always 
>> need Constitutions, Catechisms, sportmanship rules, etc., even without 
>> the accompanying  "criminal codes".  The text of Simon is NOT a 
>> proposal to introduce  Haskell Inquisition.
>>
> 
> You are assuming that intelligent people cannot act in bad faith, which 
> is neither true in this community or in general.

That is your interpretation, he could also assume that intelligent 
people usually know better than to behave badly in technical forums --- 
and elsewhere.

Regards,
Jean-Marie


-- 
Bunkyo-Ku-Straße 1a
67663 Kaiserslautern
jm at gaillourdet.net
+49 176 10 6321 04

From flippa at flippac.org  Mon Dec 10 12:51:16 2018
From: flippa at flippac.org (Philippa Cowderoy)
Date: Mon, 10 Dec 2018 12:51:16 +0000
Subject: [Haskell] Guidelines for respectful communication
In-Reply-To: <7640426B-CE65-4B54-B1DC-36B833F99F12@cs.brynmawr.edu>
References: <AM0PR83MB0308B54B3A04B3A15EAB30D2ADA90@AM0PR83MB0308.EURPRD83.prod.outlook.com>
 <3b504d35-5461-4fd8-9994-b78cd6addff2@flippac.org>
 <7640426B-CE65-4B54-B1DC-36B833F99F12@cs.brynmawr.edu>
Message-ID: <9c5aaa2f-63d5-e1ca-3038-a0b436722e4c@flippac.org>

There is a wide spectrum of bad faith behaviour. It may be simply not 
caring if one causes harm ("recklessness", if you like), through 
attempts to undermine the culture of a space or community, to attempts 
to cause people material harm.

The wider Haskell community has witnessed all of these, even if not 
everyone is sufficiently aware of it. On the "material harm" end of the 
spectrum, an incident in 2016 grew sufficiently infamous that friends 
with no connections to the FP community in general, computer science or 
the computing industry were sending me messages of sympathy and support 
- and I was forced to take some "opsec" measures to safeguard both 
myself and others.

The nature of both this spectrum and of bad faith makes this a difficult 
problem to deal with and one that mustn't be oversimplified - not all 
acts are equal and the cultural impacts are complex. But people acting 
in bad faith - some of them persistently and possibly even with a degree 
of coordination - is indeed the root problem I'm highlighting.

Thanks for your time and effort on this,

Philippa

On 09/12/2018 18:03, Richard Eisenberg wrote:
> What this email seems to suggest to me is that our guidelines assume 
> good faith, and yet some participants act in bad faith. I agree this 
> is not well accounted-for in the guidelines. (However, the guidelines 
> were designed with the GHC Steering Committee in mind, where members 
> join by way of a nomination and selection process and can be removed 
> -- quite unlike the broader Haskell community.)
>
> Before thinking about specific words / documents that solve the 
> problem, I want to be sure I understand the problem you're 
> highlighting. Is it the presence of bad faith actors, specifically?
>
> Thanks for coming forward with these concerns.
>
> Richard
>
>> On Dec 6, 2018, at 4:59 PM, Philippa Cowderoy <flippa at flippac.org 
>> <mailto:flippa at flippac.org>> wrote:
>>
>> I lack the energy to contribute to GHC directly, but these guidelines 
>> are far too easy to abuse by someone acting in bad faith and we know 
>> that bad faith actors have been adjacent to our community and acted 
>> on things that have taken place within it.
>>
>> From where I'm sitting, guidelines like this risk doing even more 
>> damage than not having any. Not only do they lack the means to handle 
>> incidents that have already occurred, they actively discourage the 
>> community from finding those means.
>>
>> As someone these guidelines have been drafted to help include, I fear 
>> they increase the burden on my participation and that of others like 
>> me. For a community to hold together without sinking to the worst of 
>> behaviour, there needs to be some acceptance that we will all fail to 
>> act in good fatih on occasion, that some people will act in bad faith 
>> and that behaviour in bad faith may take a great deal of explaining 
>> to anyone who is not the target of it or familiar with its mechanisms.
>>
>> I have spent a great deal of time running spaces within the wider 
>> community and I have witnessed these things repeatedly. I also lack 
>> the resources some people here have available to mitigate the risks 
>> others have openly posed to members of the community including myself 
>> and Simon.
>>
>> One solution - whether GHC itself needs it or not - might be to pair 
>> guidelines for respectful communication with guidelines for when 
>> respectful communication is failing to occur.
>>
>> Simon, I appreciate both the work you've put in and your love for the 
>> communty. I hope you can appreciate that where I appear to be cynical 
>> or even sowing discord here, I am acting out of love and care for a 
>> community that at its best has done a great deal for me. I apologise 
>> for being the one to open up what I see as a somewhat inevitable 
>> discussion.
>>
>> On 06/12/2018 10:35, Simon Peyton Jones via Haskell wrote:
>>> Friends
>>> As many of you will know, I have been concerned for several years about the standards of discourse in the Haskell community.  I think things have improved since the period that drove me to write my Respect email<https://mail.haskell.org/pipermail/haskell/2016-September/024995.html>, but it's far from secure.
>>> We discussed this at a meeting of the GHC Steering Committee<https://github.com/ghc-proposals/ghc-proposals>  at ICFP in September, and many of us have had related discussions since.  Arising out of that conversation, the GHC Steering Committee has decided to adopt these
>>>                Guidelines for respectful communication<https://github.com/ghc-proposals/ghc-proposals/blob/master/GRC.rst>
>>>
>>> We are not trying to impose these guidelines on members of the Haskell community generally. Rather, we are adopting them for ourselves, as a signal that we seek high standards of discourse in the Haskell community, and are willing to publicly hold ourselves to that standard, in the hope that others may choose to follow suit.
>>> We are calling them "guidelines for respectful communication" rather than a "code of conduct", because we want to encourage good communication, rather than focus on bad behaviour.  Richard Stallman's recent post<https://lwn.net/Articles/769167/>  about the new GNU Kind Communication Guidelines<https://gnu.org/philosophy/kind-communication.html>  expresses the same idea.
>>> Meanwhile, the Stack community is taking a similar approach<https://www.snoyman.com/blog/2018/11/proposal-stack-coc>.
>>> Our guidelines are not set in stone; you can comment here<https://github.com/ghc-proposals/ghc-proposals/commit/373044b5a78519071b9a24b3681cfd1af06e57e0>.   Perhaps they can evolve so that other Haskell committees (or even individuals) feel able to adopt them.
>>> The Haskell community is such a rich collection of intelligent, passionate, and committed people. Thank you -- I love you all!
>>> Simon
>>>
>>>
>>>
>>>
>>> _______________________________________________
>>> Haskell mailing list
>>> Haskell at haskell.org
>>> http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell
>> _______________________________________________
>> Haskell mailing list
>> Haskell at haskell.org <mailto:Haskell at haskell.org>
>> http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/haskell/attachments/20181210/2d12c10e/attachment.html>

From wim.ectors at uhasselt.be  Tue Dec 11 20:45:37 2018
From: wim.ectors at uhasselt.be (Wim Ectors)
Date: Tue, 11 Dec 2018 15:45:37 -0500
Subject: [Haskell] [ANT2019] DEADLINE EXTENSION: Conference on Ambient
 Systems, Networks and Technologies. Leuven, Belgium (April 29 - May 2, 2019)
Message-ID: <CAFDP4DQXS-ni3w38SfFw6_OBc5_hC39RVu1c4JJ18F7EZqRLQQ@mail.gmail.com>

The 10th International Conference on Ambient Systems, Networks and
Technologies (ANT)

Leuven, Belgium

April 29 - May 2, 2019


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

Workshops: http://cs-conferences.acadiau.ca/ant-19/#workshop

Tutorials: http://cs-conferences.acadiau.ca/ant-19/#tutorial


Important Dates

- Workshops Proposals Due: October 30, 2018

- Paper Submission Due: December 22, 2018 (Extended)

- Acceptance Notification: February 4, 2019

- Camera-Ready Submission: March 1, 2019


ANT 2019 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: 1.588),
by Springer (http://www.springer.com/engineering/journal/12652)

 - Journal of Personal and Ubiquitous Computing (IF: 2.395), by Springer

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

  - IEEE Transactions on Intelligent Transportation Systems (IF: 3.724), by
IEEE (http://ieeexplore.ieee.org/xpl/RecentIssue.jsp?punumber=6979)

  - International Journal of Computing and Informatics (IF: 0.504), by
Computing and Informatics (http://www.cai.sk/ojs/index.php/cai/index)



ANT 2019 will be held in Leuven, Belgium. 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.


Leuven's Town Hall is one of the best-known Gothic town halls worldwide and
Leuven's pride and joy. It took three architects and thirty years to build
it. Leuven's 'Hall of Fame' features 236 statues, which were only added to
the fa ade after 1850. There are 220 men and 16 women in total. On the
bottom floor are famous Leuven scientists, artists and historical figures,
dressed in Burgundian garb. The first floor is reserved for the patron
saints of the various parishes of Leuven. Above them the fa ade is adorned
by the counts and dukes of Brabant while the towers primarily feature
biblical figures.


ANT 2019 will be held in conjunction with the 2nd International Conference
on Emerging Data and Industry 4.0 (EDI40,
http://cs-conferences.acadiau.ca/edi40-19/).


Conference Tracks

- Agent Systems, Intelligent Computing and Applications

- Big Data and Analytics

- Cloud Computing

- Context-awareness and Multimodal Interfaces

- Emerging Networking, Tracking and Sensing Technologies

- Human Computer Interaction

- Internet of Things

- Mobile Networks, Protocols and Applications

- Modeling and Simulation in Transportation Sciences

- Multimedia and Social Computing

- 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 Badii, University of Reading, UK

 Albert Zomaya, The University of Sydney, Australia


Program Chairs

 Hossam Hassanein, Queen's University, Canada

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


Local Chair

 Yves Vanrompay, Hasselt University, Belgium


Workshops Chair

 Stephane Galland, UTBM, France Program


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

 Vincenzo Loia, University of Salerno, Italy

 Peter Sloot, Universiteit van Amsterdam, Netherlands

 Ralf Steinmetz, Technische Universitaet Darmstadt, Germany

 Katia Sycara, Carnegie Mellon University, USA

 Peter Thomas, Manifesto Research, Australia


International Journals Chair

 Michael Sheng, Macquarie University, Australia


Vice Chairs

 Imene Lahyani Abdennadher, University of Sfax, Tunisia

 Boulmakoul Azedine, Hassan II University, Morocco

 Marcel Baunach, Graz University of Technology, Austria

 Tom Bellemans, Hasselt University, Belgium

 Nik Bessis, Edge Hill University, UK

 Kechar Bouabdellah, Oran 1 Ahmed BenBella University, Algeria

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

 Roberto Di Pietro, Hamad Bin Khalifa University, Qatar

 Khalil Drira, LAAS-CNRS, France

 Wael El-Medany, University of Bahrain, Bahrain

 Jason Jaskolka, Carleton University, Canada

 Flavio Lombardi, Roma Tre University of Rome, Italy

 Haroon Malik, Marshall University, USA

 Ahmed Nait Sidi Moh, University of Picardie Jules Verne, France

 Manuele Kirsch Pinheiro, University of Paris 1, France

 Cristina Seceleanu, MŠlardalen University, VŠsterŒs, Sweden

 Khaled Shaaban, Qatar University, Qatar

 Ridha Soua, Luxembourg University, Luxembourg

 Yves Vanrompay, Hasselt University, Belgium

 Yun Zhou, Shaanxi Normal University, China


Publicity Chairs

 Wim Ectors, Hasselt University, Belgium

 Davidekova Monika, Comenius University, Slovak Republic


International Liaison Chairs

 Soumaya Cherkaoui, Sherbrooke University, Canada

 Paul Davidsson, Malmo University, Sweden

 David Taniar, Monash University, Australia


Technical Program Committee

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


Steering Committee Chair and Founder of ANT

 Elhadi Shakshuki, Acadia University, Canada

Sent via Mail Merge
<https://chrome.google.com/webstore/detail/mail-merge-with-attachmen/nifmcbjailaccmombpjjpijjbfoicppp>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/haskell/attachments/20181211/475be807/attachment.html>

From wim.ectors at uhasselt.be  Tue Dec 11 20:52:34 2018
From: wim.ectors at uhasselt.be (Wim Ectors)
Date: Tue, 11 Dec 2018 15:52:34 -0500
Subject: [Haskell] [EDI40 2019] DEADLINE EXTENSION: Conference on Emerging
 Data and Industry 4.0. Leuven, Belgium, April 29 - May 2, 2019
Message-ID: <CAFDP4DT134R2mBUjCz7r7MJCH1qy7YGih8PMB2Yz19vppm111Q@mail.gmail.com>

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

The 2nd International Conference on Emerging Data and Industry 4.0 (EDI40)

Leuven, Belgium

April 29 - May 2, 2019

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


Conference Website:  http://cs-conferences.acadiau.ca/EDI40-19/

Workshops: http://cs-conferences.acadiau.ca/EDI40-19/#workshop


Important Dates

 - Workshops Proposals Due: October 30, 2018

 - Paper Submission Due: December 22, 2018 (Extended)

 - Acceptance Notification: February 4, 2019

 - Camera-Ready Submission: March 1, 2019


EDI40 2019 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:


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

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

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

   - IEEE Transactions on Intelligent Transportation Systems (IF: 3.724),
by IEEE (http://ieeexplore.ieee.org/xpl/RecentIssue.jsp?punumber=6979)

   - International Journal of Computing and Informatics (IF: 0.504), by
Computing and Informatics (http://www.cai.sk/ojs/index.php/cai/index)


EDI40 2019 will be held in Leuven, Belgium. Leuven is the capital of the
province of Flemish Brabant in Belgium. It is located about 25 kilometers
(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.


Leuven's Town Hall is one of the best-known Gothic town halls worldwide and
Leuven's pride and joy. It took three architects and thirty years to build
it. Leuven's 'Hall of Fame' features 236 statues, which were only added to
the facade after 1850. There are 220 men and 16 women in total. On the
bottom floor are famous Leuven scientists, artists and historical figures,
dressed in Burgundian garb. The first floor is reserved for the patron
saints of the various parishes of Leuven. Above them the facade is adorned
by the counts and dukes of Brabant while the towers primarily feature
biblical figures.


EDI40 2019 will be held in conjunction with the 10th International
Conference on Ambient Systems, Networks and Technologies (ANT,
http://cs-conferences.acadiau.ca/ant-19/).


Conference Tracks

 - Benefits of Industry 4.0

 - Big Data and Analytics

 - Cloud Computing

 - Cognitive Computing

 - Computational Intelligence

 - Cyber-Physical Systems (CPS)

 - Fog Computing and Edge Computing

 - Internet of Everything (IoE)

 - Standards for IoT Application Integration

 - The New Business Models in Industry 4.0

 - General Track: Digitalization Startegies


Committees

General Chairs

 Danny Hughes, CTO VeraSense NV, Belgium


Program Chairs

 Haroon Malik, Marshall University, USA

 Yves Vanrompay, Hasselt University, Belgium


Local Chair

 An Nevns, Hasselt University, Belgium


Workshops Chair

 Stephane Galland, UTBM, France Program


Advisory Committee

 Reda Alhajj, University of Calgary, Canada

 Ladislav Hluchy, Institute of Informatics, Slovak Academy of Sciences,
Slovakia

 Vincenzo Loia, University of Salerno, Italy

 Peter Sloot, Universiteit van Amsterdam, Netherlands

 Peter Thomas, Manifesto Research, Australia

 Mohamed Younis, University of Maryland Baltimore County, USA


International Journals Chair

 Ansar Yasar, Hasselt University, Belgium


Publicity Chairs

 Wim Ectors, Hasselt University, Belgium

 Faouzi Kammoun, Ecole SupŽrieure PrivŽe d'IngŽnierie et de Technologies,
Tunis

 Fatma Outay, Zayed University, UAE


Technical Program Committee

  http://cs-conferences.acadiau.ca/EDI40-19/#programCommittees


Steering Committee Chair

 Elhadi Shakshuki, Acadia University, Canada

Sent via Mail Merge
<https://chrome.google.com/webstore/detail/mail-merge-with-attachmen/nifmcbjailaccmombpjjpijjbfoicppp>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/haskell/attachments/20181211/d807d8b7/attachment-0001.html>

From yazan.mualla at utbm.fr  Wed Dec 12 07:53:10 2018
From: yazan.mualla at utbm.fr (Yazan Mualla)
Date: Wed, 12 Dec 2018 08:53:10 +0100 (CET)
Subject: [Haskell] Extended Invitation to the 1st European Forum of the SARL
 Users and Developers (EuSarlCon19)
Message-ID: <1408693305.198991733.1544601190127.JavaMail.zimbra@utbm.fr>

INVITATION FOR PAPERS AND TALKS (extended) 

The 1st European Forum for the SARL Users and Developers (EuSarlCon-19) 
----------------------------------------------------------------------- 

In conjunction with: 
* the 10th International Conference on Ambient Systems, Networks, and Technologies (ANT 2019); 
* the 8th International Workshop on Agent-based Mobility, Traffic and Transportation Models, Methodologies and Applications (ABMTRANS-19); 
* the 3rd International Workshop on Agent-based Modeling and Applications with SARL (SARL-19). 

May 2, 2019, Leuven, Belgium. 

http://www.multiagent.fr/Conferences:EuSarlCon19 

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

Description 
=========== 

The 2019 European SarlCon is the SARL user meeting that is organized in Europe in order to provide a place where SARL users and developers could exchange their experiences. It will be held on May 2, 2019, in Leuven, Belgium. That is the last day of the ANT-2019 conference, the ABMTRANS-19 and the SARL-19 workshops. 


Abstracts and/or short papers are due on February 15, 2019. The papers are expected to be very short (< 2500 equivalent words). ABMTRANS-19 and SARL-19 are providing an alternative for publishing longer papers. 


Abstracts and papers can be submitted to ABMTRANS-19, to SARL-19, to SarlCon19, or all. We will coordinate with the main conference so that papers are not presented twice. 


Submissions directly for the SarlCon should take the form of an abstract (< 1000 words), and are to be submitted before February 15, 2019, through EasyChair. 


SARL-related submissions to the main conference will as well be considered for inclusion in the SarlCon program. 


Submission 
========== 

You are invited to submit the abstract in PDF format on EasyChair (https://easychair.org/conferences/?conf=eusarlcon2019), not exceeding 1000 words in length. 


Organizer 
========= 

Stéphane GALLAND (Univ. de Technologie de Belfort-Montbeliard, France) <stephane.galland at utbm.fr> 
Yazan MUALLA (Univ. de Technologie de Belfort-Montbeliard, France). 


Registration 
============ 

Registration to the European SarlCon 2019 is free. 
Please notify the organizers if you want to come in order to organize the meeting. 

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

From yazan.mualla at utbm.fr  Wed Dec 12 08:10:42 2018
From: yazan.mualla at utbm.fr (Yazan Mualla)
Date: Wed, 12 Dec 2018 09:10:42 +0100 (CET)
Subject: [Haskell] DEADLINE EXTENSION: Conference on Ambient Systems,
 Networks and Technologies. Leuven, Belgium (April 29 - May 2, 2019)
Message-ID: <1294794201.199047465.1544602242291.JavaMail.zimbra@utbm.fr>

The 10th International Conference on Ambient Systems, Networks and Technologies (ANT) 

Leuven, Belgium 

April 29 - May 2, 2019 

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

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

Workshops: http://cs-conferences.acadiau.ca/ant-19/#workshop 

Tutorials: http://cs-conferences.acadiau.ca/ant-19/#tutorial 

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

Important Dates: 

- Workshops Proposals Due: October 30, 2018 

- Paper Submission Due: December 22, 2018 (Extended) 

- Acceptance Notification: February 4, 2019 

- Camera-Ready Submission: March 1, 2019 

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

ANT 2019 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: 1.588), by Springer (http://www.springer.com/engineering/journal/12652) 

- Journal of Personal and Ubiquitous Computing (IF: 2.395), by Springer 

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

- IEEE Transactions on Intelligent Transportation Systems (IF: 3.724), by IEEE (http://ieeexplore.ieee.org/xpl/RecentIssue.jsp?punumber=6979) 

- International Journal of Computing and Informatics (IF: 0.504), by Computing and Informatics (http://www.cai.sk/ojs/index.php/cai/index) 

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

ANT 2019 will be held in Leuven, Belgium. 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. 

Leuven's Town Hall is one of the best-known Gothic town halls worldwide and Leuven's pride and joy. It took three architects and thirty years to build it. Leuven's 'Hall of Fame' features 236 statues, which were only added to the fa ade after 1850. There are 220 men and 16 women in total. On the bottom floor are famous Leuven scientists, artists and historical figures, dressed in Burgundian garb. The first floor is reserved for the patron saints of the various parishes of Leuven. Above them the fa ade is adorned by the counts and dukes of Brabant while the towers primarily feature biblical figures. 

ANT 2019 will be held in conjunction with the 2nd International Conference on Emerging Data and Industry 4.0 (EDI40, http://cs-conferences.acadiau.ca/edi40-19/). 

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

Conference Tracks: 

- Agent Systems, Intelligent Computing and Applications 

- Big Data and Analytics 

- Cloud Computing 

- Context-awareness and Multimodal Interfaces 

- Emerging Networking, Tracking and Sensing Technologies 

- Human Computer Interaction 

- Internet of Things 

- Mobile Networks, Protocols and Applications 

- Modeling and Simulation in Transportation Sciences 

- Multimedia and Social Computing 

- 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 Badii, University of Reading, UK 

Albert Zomaya, The University of Sydney, Australia 

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

Program Chairs: 

Hossam Hassanein, Queen's University, Canada 

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

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

Local Chair: 

Yves Vanrompay, Hasselt University, Belgium 

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

Workshops Chair: 

Stéphane Galland, UTBM, France Program 

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

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 

Vincenzo Loia, University of Salerno, Italy 

Peter Sloot, Universiteit van Amsterdam, Netherlands 

Ralf Steinmetz, Technische Universitaet Darmstadt, Germany 

Katia Sycara, Carnegie Mellon University, USA 

Peter Thomas, Manifesto Research, Australia 

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

International Journals Chair: 

Michael Sheng, Macquarie University, Australia 

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

Vice Chairs: 

Imene Lahyani Abdennadher, University of Sfax, Tunisia 

Boulmakoul Azedine, Hassan II University, Morocco 

Marcel Baunach, Graz University of Technology, Austria 

Tom Bellemans, Hasselt University, Belgium 

Nik Bessis, Edge Hill University, UK 

Kechar Bouabdellah, Oran 1 Ahmed BenBella University, Algeria 

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

Roberto Di Pietro, Hamad Bin Khalifa University, Qatar 

Khalil Drira, LAAS-CNRS, France 

Wael El-Medany, University of Bahrain, Bahrain 

Jason Jaskolka, Carleton University, Canada 

Flavio Lombardi, Roma Tre University of Rome, Italy 

Haroon Malik, Marshall University, USA 

Ahmed Nait Sidi Moh, University of Picardie Jules Verne, France 

Manuele Kirsch Pinheiro, University of Paris 1, France 

Cristina Seceleanu, Malardalen University, Sweden 

Khaled Shaaban, Qatar University, Qatar 

Ridha Soua, Luxembourg University, Luxembourg 

Yves Vanrompay, Hasselt University, Belgium 

Yun Zhou, Shaanxi Normal University, China 

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

Publicity Chairs: 

Wim Ectors, Hasselt University, Belgium 

Davidekova Monika, Comenius University, Slovak Republic 

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

International Liaison Chairs: 

Soumaya Cherkaoui, Sherbrooke University, Canada 

Paul Davidsson, Malmo University, Sweden 

David Taniar, Monash University, Australia 

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

Technical Program Committee: 

http://cs-conferences.acadiau.ca/ant-19/#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/20181212/e693cba8/attachment-0001.html>

From bjorn.lisper at mdh.se  Wed Dec 12 13:31:29 2018
From: bjorn.lisper at mdh.se (=?iso-8859-1?Q?Bj=F6rn_Lisper?=)
Date: Wed, 12 Dec 2018 13:31:29 +0000
Subject: [Haskell] =?iso-8859-1?q?PhD_student_position_at_M=E4lardalen_Uni?=
	=?iso-8859-1?q?versity?=
Message-ID: <DB6PR0101MB2246A263F093E5FD3B7731F8E7A70@DB6PR0101MB2246.eurprd01.prod.exchangelabs.com>

Mälardalen University (Västerås, Sweden) announces a PhD student position

The KKS-funded synergy-project HERO is announcing a PhD position in modelling and analysis of software for heterogeneous parallel embedded platforms.

The need for high-performance computing is increasing at a daunting pace. Computational heterogeneity is the answer. High-performance computing platforms are increasingly becoming heterogeneous, meaning that they contain a combination of different computational units such as CPUs, GPUs, FPGAs, and AI accelerators. The overall goal of HERO is to provide a framework that enables development of optimized parallel software, automatic mapping of software to heterogeneous hardware platforms, and provision of automatic hardware acceleration for the developed software.

This PhD student will focus on modelling and analysis issues for the development of software for heterogeneous platforms. More specifically, the research area related to this position will entail: definition of domain-specific (modelling) languages for describing parallel software, definition and implementation of algorithms for analyzing software models and code, definition and implementation of mechanisms for synthesizing software code from software models.  The scope is at the intersection of model-based software engineering and formal program analysis.  The student will work closely with the project team of about ten researchers in HERO but is also expected to be able to work independently.

Qualifications

To qualify as a PhD student, you should have a master's level degree in computer science, computer engineering, or equivalent.

Prior knowledge about software modelling and analysis is required.

The position requires a strong motivation for research, and good verbal and written communication skills in English. Decisive importance is attached to personal suitability. We value the qualities that an even distribution of age and gender, as well as ethnic and cultural diversity, can contribute to the organization.

Merit

Prior knowledge of compilers is considered a distinguished merit.  Additional knowledge in applied mathematics, parallel computing, or software-hardware co-design is also considered a merit.

Application

The application is made online, at https://www.mdh.se/hogskolan/jobb/lediga-jobb-1.103104?l=sv_SE&rmpage=job&rmjob=497&rmlang=EN.

Application closing date: January 25, 2019


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

From jaspervdj at gmail.com  Wed Dec 12 20:13:31 2018
From: jaspervdj at gmail.com (Jasper Van der Jeugt)
Date: Wed, 12 Dec 2018 21:13:31 +0100
Subject: [Haskell] ZuriHac 2019 takes place 14 to 16 June in Zurich,
	Switzerland
Message-ID: <20181212201331.GA6140@colony6.localdomain>

Hello Friends of Haskell,

It is our great pleasure to announce that the next ZuriHac will take
place from Friday the 14th to Sunday the 16th of June 2019.  It will be
hosted at the Hochschule Rapperswil on the shores of beautiful Lake
Zurich. This will mark the 8th anniversary of ZuriHac since our
beginnings in 2010.

The Zurich Haskell Hackathon is a free, international, grassroots, and
collaborative coding festival. Our goal is to connect Haskellers, expand
the community, learn things from each other, and to work on Haskell
libraries, tools, and infrastructure.

This year, we will enjoy keynotes from:

- Simon Peyton Jones
- Susan Potter
- Richard Eisenberg
- Ryan Trinkle

More keynote speakers will be announced.

The event is open to any experience level, from beginners to gurus.  We
want to make a special effort to ensure that the event is welcoming and
accessible to people completely new to Haskell.  That is why we are
super excited that, Julie Moronuki, co-author of Haskell Programming
from first principles [1] and Joy of Haskell [2], has kindly agreed to
teach a beginners course in one of the classrooms we have available.
Additionally, there will be mentors that you can approach during the
whole event with any Haskell-related questions.

This is a great opportunity to meet your fellow Haskellers in real life,
find new contributors for your project, improve existing libraries and
tools or even start new ones!

We will have space for over 400 attendees.  Registration is free and
will open on 26th of December, as a late holiday present to Haskellers
around the globe.  You can find this information and more on our
website:

    https://zfoh.ch/zurihac2019

We would also like to thank our sponsors Digital Asset [3], DFINITY [4]
and HSR [5] for their strong commitment to the Haskell community and for
supporting this great event!

Looking forward to seeing you there,
The Zurich Friends of Haskell association [6]

[1]: https://www.goodreads.com/book/show/25587599-haskell-programming
[2]: https://joyofhaskell.com/
[3]: https://digitalasset.com/careers.html
[4]: https://dfinity.org/jobs
[5]: https://www.hsr.ch/
[6]: https://zfoh.ch/

From george at wils.online  Thu Dec 13 03:35:15 2018
From: george at wils.online (George Wilson)
Date: Thu, 13 Dec 2018 13:35:15 +1000
Subject: [Haskell] Call for Haskell.org Committee Nominations
Message-ID: <CABzzMay=Cm08o28SHnH5E8goB1vCsMu3QgoVocn4gm6-F_cPsg@mail.gmail.com>

Dear Haskellers,

It is time to put out a call for new nominations (typically but not
necessarily self-nominations) to the haskell.org committee. We have
one member of our committee due for retirement -- our chair
Gershom Bazerman.

To nominate yourself, please send an email to committee at haskell.org
by the 7th of January, 2019. Retiring members are eligible to re-nominate
themselves. Please feel free to include any information about yourself
that you think will help us to make a decision.

The Haskell.org committee serves as a board of directors for
Haskell.org, a 501(c)3 nonprofit which oversees technical and
financial resources related to Haskell community infrastructure.

Being a member of the committee does not necessarily require a
significant amount of time, but committee members should aim to be
responsive during discussions when the committee is called upon to
make a decision. Strong leadership, communication, and judgement are
very important characteristics for committee members. The role is
about setting policy, providing direction/guidance for Haskell.org
infrastructure, planning for the long term, and being fiscally
responsible with the Haskell.org funds (and donations). As overseers
for policy regarding the open source side of Haskell, committee
members must also be able to set aside personal or business related
bias and make decisions with the good of the open source Haskell
community in mind.

We seek a broad representation from different segments of the Haskell
world -- including but not limited to those focused on education,
those focused on industrial applications, those with background in
organizing users-groups, and those focused directly on our technical
infrastructure.

More details about the committee's roles and responsibilities are on

    https://wiki.haskell.org/Haskell.org_committee

If you have any questions about the process, please feel free to
e-mail us at committee at haskell.org, or contact one of us
individually.

Regards,
George Wilson

From gershomb at gmail.com  Thu Dec 13 17:09:41 2018
From: gershomb at gmail.com (Gershom B)
Date: Thu, 13 Dec 2018 12:09:41 -0500
Subject: [Haskell] Announce: Haskell Platform 8.6.3
Message-ID: <CAM8RHpEUb4qRM=mQt6B8rKCfaMUAF9cihfohDK-SKMDSU22gcQ@mail.gmail.com>

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

Haskell Platform 8.6.3

Now available at

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

This includes GHC 8.6.3, cabal-install 2.4.1.0, and stack 1.9.3. This
is the first platform released in the 8.6 series, as we have waited
until a number of bugfix ghc releases stabilized things across all
core platforms (linux, os x, windows).

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

The list of GHC changes is available at:
https://ghc.haskell.org/trac/ghc/blog/ghc-8.6.1-released
https://ghc.haskell.org/trac/ghc/blog/ghc-8.6.2-released
https://ghc.haskell.org/trac/ghc/blog/ghc-8.6.3-released

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

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

There are a number of important changes in this release, with more
changes planned in the future. First: Win32 builds are working again
and provided. Thanks to all the folks (especially Tamar) who helped
sort out the build issues on that platform.

Second, only core builds are provided, not "full" builds. This release
is the first one where cabal-install warns on legacy commands and asks
users to either use the v1-prefix for them or the v2/new prefix to
move to the new-build system. As such, providing additional global
packages outside of the core set now makes even less sense than in the
past, where we had been already discouraging it for some time.

Finally, there are no linux generic builds provided, and instead we
recommend use of the ghcup tool (https://github.com/haskell/ghcup/) in
combination with the stack install script. We feel this gives a
smoother and better experience than the existing install process,
being less invasive (not requiring root) and more flexible (by running
ghc's own configure script it can better detect differences in
configuration between distros).

What does this all mean for the future of the platform? What I would
like to move towards is the following. First: replacing the mac
installer by ghcup as well in the near future. While a native
installer has its advantages, the same reasons that ghcup is
recommended on linux hold for mac as well, although with somewhat less
force. Because of how Windows works, the difficulties of moving from a
native installer are much more real, and we would anticipate keeping a
native installer for the time being.

Second: with the platform installers (or recommended installers) now
really a delivery mechanism for core binaries and nothing else, to
move to split the platform into two components. A) a set of
recommended install instructions for major platforms (and a native
windows installer), and B) a set of recommended and known-compatible
packages which cover most "extended standard-lib" bases and which we
again grow much more freely, as in the past. This will require some
redesign and reconceptualization of the website, and would be a great
opportunity for people that want to chip-in to move things forward to
get involved. Please reach out if you'd like to lend a hand!

Happy Haskell Hacking all,
Gershom

From kaposi.ambrus at gmail.com  Fri Dec 14 12:28:47 2018
From: kaposi.ambrus at gmail.com (Ambrus Kaposi)
Date: Fri, 14 Dec 2018 13:28:47 +0100
Subject: [Haskell] Call for Conference Grant Applications (Inclusiveness
	Target Countries)
In-Reply-To: <CACSS4jmMp+O_3ESgycRzRhXzSKC=cARKY=iib_YnKPtEQKkK_w@mail.gmail.com>
References: <CACSS4jk-kzkZozUva0kK9_TkLTEvoamQ1UxsixSy8V=XVUTK-g@mail.gmail.com>
 <CACSS4jn-b0K37M7-Sc78hMcg2iOg9Y_P3BSLi7ryuMJ1w3s05g@mail.gmail.com>
 <CACSS4jnswrXfN7gR+uwZ6T8Ocd9FrdjAPiw2QC5ERGufLT4+pA@mail.gmail.com>
 <CACSS4jmMp+O_3ESgycRzRhXzSKC=cARKY=iib_YnKPtEQKkK_w@mail.gmail.com>
Message-ID: <CACSS4jkrQfFw9gBgSGZA6EOtUj1L5TuLYBj5_m19kwU9_ekGGw@mail.gmail.com>

Call for Conference Grant Applications

The European research network on types for programming and
verification (EUTypes COST Action, https://eutypes.cs.ru.nl) supports
attendance of young researchers presenting work on type theory at
international conferences via travel grants.

The rules are described here: https://eutypes.cs.ru.nl/ConfGrants

The main points are:

 * Only researchers from ITCs participating in the action are
eligible. As of June 2018, the ITCs involved in EUTypes are: Bosnia
and Herzegovina, Cyprus, Czech Republic, Estonia, Hungary, Lithuania,
Macedonia, Poland, Portugal, Romania, Serbia, Slovenia.
* Only PhD students and Early Career Investigators (researchers whose
PhD degree is at most 8 years old) are eligible.
 * The grantee must give a talk or present a poster on the topic of type
theory.

Applications have to be submitted through the e-COST system:
https://e-services.cost.eu/conferencegrant

Please inform researchers in your country who might be interested and
contact me if you have any questions.

Many thanks,

Ambrus Kaposi
EUTypes conference grant coordinator
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/haskell/attachments/20181214/3d9a636c/attachment.html>

From james.cheney at gmail.com  Fri Dec 14 12:52:02 2018
From: james.cheney at gmail.com (James Cheney)
Date: Fri, 14 Dec 2018 12:52:02 +0000
Subject: [Haskell] PhD studentship on "Probabilistic Property-Based Testing"
 at the University of Edinburgh
Message-ID: <CAAdciC1dA5H0qcmZ+pH6YAJcsGMKdtT2uUKumQ1-Ayvpte1hEw@mail.gmail.com>

We are now accepting applications for 3-year PhD studentship on a project
called "Probabilistic property-based testing" in the School of Informatics,
University of Edinburgh.

http://homepages.inf.ed.ac.uk/jcheney/group/ppbt.html

The aim of the project is to explore the hypothesis that property-based
testing (e.g. QuickCheck) is a form of probabilistic programming.
Property-based testing is a widely used and powerful form of lightweight
randomized testing, but it has been developed largely independently of
increasingly sophisticated probabilistic programming languages and
inference algorithms.  This project will study the consequences of adopting
the perspective that property-based testing is a form of probabilistic
programming, and investigate subproblems such as inducing good properties
from programs or test data; testing complex programs using advanced
sampling techniques that provide error bounds; and synthesizing suitable
data generators or automatically providing concise explanations why a
property fails to hold.

Possible application areas include randomized testing of programming
language designs and type systems themselves (following e.g. PLT Redex or
logic programming-based approaches to language specification), as well as
traditional system specification and testing problems.

The studentship is tenable for 3 years, for a student of any nationality,
and includes a stipend of £14,777 per year (tax free and increasing with
inflation), supported by Huawei. The School is also partnered with data
science and AI centres of excellence such as The Alan Turing Institute in
London and the Bayes center in Edinburgh, and there will be ample
opportunities to engage with these institutes, via workshops and other
schemes.

The ideal candidate would have a strong background in functional or logic
programming (e.g. Haskell, OCaml, Erlang, Prolog), or a strong background
in machine learning. Candidates already familiar with probabilistic
programming or symbolic machine learning (e.g. relational learning,
probabilistic logic programming) are especially welcome.

Applications from prospective students interested in starting a PhD in the
next academic year should be submitted by March 18, 2019 at the latest.
Applications received by January 31, 2019 will receive full consideration;
after that date applications will be considered until the position is
filled.  The anticipated start date is September 2019 but earlier start
dates may be possible.

To apply, please submit an application to the 3-year CISA PhD programme:

https://www.star.euclid.ed.ac.uk/public/urd/sits.urd/run/siw_ipp_lgn.login?process=siw_ipp_app&code1=PRPHDINFMT9F&code2=0122

Further instructions and information about PhD study at CISA and the
University of Edinburgh is available here:

http://web.inf.ed.ac.uk/cisa/study-with-us
https://www.ed.ac.uk/informatics/postgraduate/apply

For more information please contact Vaishak Belle (vaishak at ed.ac.uk) and/or
James Cheney (jcheney at inf.ed.ac.uk).
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/haskell/attachments/20181214/75bfd907/attachment.html>

From wim.ectors at uhasselt.be  Thu Dec 20 12:56:12 2018
From: wim.ectors at uhasselt.be (Wim Ectors)
Date: Thu, 20 Dec 2018 04:56:12 -0800
Subject: [Haskell] [ANT2019] FINAL DEADLINE: Conference on Ambient Systems,
 Networks and Technologies. Leuven, Belgium (April 29 - May 2, 2019)
Message-ID: <CAFDP4DQi-_0K2_KwfWPvt2obCa-ubZAzrUBn1v2DisoewP9Otg@mail.gmail.com>

The 10th International Conference on Ambient Systems, Networks and
Technologies (ANT)

Leuven, Belgium

April 29 - May 2, 2019


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

Workshops: http://cs-conferences.acadiau.ca/ant-19/#workshop

Tutorials: http://cs-conferences.acadiau.ca/ant-19/#tutorial


Important Dates

- Paper Submission Due: January 9, 2019 (Firm)

- Acceptance Notification: February 4, 2019

- Camera-Ready Submission: March 1, 2019


ANT 2019 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: 1.588),
by Springer (http://www.springer.com/engineering/journal/12652)

 - Journal of Personal and Ubiquitous Computing (IF: 2.395), by Springer

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

  - IEEE Transactions on Intelligent Transportation Systems (IF: 3.724), by
IEEE (http://ieeexplore.ieee.org/xpl/RecentIssue.jsp?punumber=6979)

  - International Journal of Computing and Informatics (IF: 0.504), by
Computing and Informatics (http://www.cai.sk/ojs/index.php/cai/index)



ANT 2019 will be held in Leuven, Belgium. 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.


Leuven's Town Hall is one of the best-known Gothic town halls worldwide and
Leuven's pride and joy. It took three architects and thirty years to build
it. Leuven's 'Hall of Fame' features 236 statues, which were only added to
the fa ade after 1850. There are 220 men and 16 women in total. On the
bottom floor are famous Leuven scientists, artists and historical figures,
dressed in Burgundian garb. The first floor is reserved for the patron
saints of the various parishes of Leuven. Above them the fa ade is adorned
by the counts and dukes of Brabant while the towers primarily feature
biblical figures.


ANT 2019 will be held in conjunction with the 2nd International Conference
on Emerging Data and Industry 4.0 (EDI40,
http://cs-conferences.acadiau.ca/edi40-19/).


Conference Tracks

- Agent Systems, Intelligent Computing and Applications

- Big Data and Analytics

- Cloud Computing

- Context-awareness and Multimodal Interfaces

- Emerging Networking, Tracking and Sensing Technologies

- Human Computer Interaction

- Internet of Things

- Mobile Networks, Protocols and Applications

- Modeling and Simulation in Transportation Sciences

- Multimedia and Social Computing

- 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 Badii, University of Reading, UK

 Albert Zomaya, The University of Sydney, Australia


Program Chairs

 Hossam Hassanein, Queen's University, Canada

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


Local Chair

 Yves Vanrompay, Hasselt University, Belgium


Workshops Chair

 Stephane Galland, UTBM, France Program


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

 Vincenzo Loia, University of Salerno, Italy

 Peter Sloot, Universiteit van Amsterdam, Netherlands

 Ralf Steinmetz, Technische Universitaet Darmstadt, Germany

 Katia Sycara, Carnegie Mellon University, USA

 Peter Thomas, Manifesto Research, Australia


International Journals Chair

 Michael Sheng, Macquarie University, Australia


Vice Chairs

 Imene Lahyani Abdennadher, University of Sfax, Tunisia

 Boulmakoul Azedine, Hassan II University, Morocco

 Marcel Baunach, Graz University of Technology, Austria

 Tom Bellemans, Hasselt University, Belgium

 Nik Bessis, Edge Hill University, UK

 Kechar Bouabdellah, Oran 1 Ahmed BenBella University, Algeria

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

 Roberto Di Pietro, Hamad Bin Khalifa University, Qatar

 Khalil Drira, LAAS-CNRS, France

 Wael El-Medany, University of Bahrain, Bahrain

 Jason Jaskolka, Carleton University, Canada

 Flavio Lombardi, Roma Tre University of Rome, Italy

 Haroon Malik, Marshall University, USA

 Ahmed Nait Sidi Moh, University of Picardie Jules Verne, France

 Manuele Kirsch Pinheiro, University of Paris 1, France

 Cristina Seceleanu, MŠlardalen University, VŠsterŒs, Sweden

 Khaled Shaaban, Qatar University, Qatar

 Ridha Soua, Luxembourg University, Luxembourg

 Yves Vanrompay, Hasselt University, Belgium

 Yun Zhou, Shaanxi Normal University, China


Publicity Chairs

 Wim Ectors, Hasselt University, Belgium

 Davidekova Monika, Comenius University, Slovak Republic


International Liaison Chairs

 Soumaya Cherkaoui, Sherbrooke University, Canada

 Paul Davidsson, Malmo University, Sweden

 David Taniar, Monash University, Australia


Technical Program Committee

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


Steering Committee Chair and Founder of ANT

 Elhadi Shakshuki, Acadia University, Canada

Sent via Mail Merge
<https://chrome.google.com/webstore/detail/mail-merge-with-attachmen/nifmcbjailaccmombpjjpijjbfoicppp>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/haskell/attachments/20181220/e77bf656/attachment.html>

From wim.ectors at uhasselt.be  Thu Dec 20 13:00:07 2018
From: wim.ectors at uhasselt.be (Wim Ectors)
Date: Thu, 20 Dec 2018 05:00:07 -0800
Subject: [Haskell] [EDI40 2019] FINAL DEADLINE: Conference on Emerging Data
 and Industry 4.0. Leuven, Belgium, April 29 - May 2, 2019
Message-ID: <CAFDP4DTANNPVnJpX4yd4uSAH9S-UNroXEN0RLxR58Y+XarO6CQ@mail.gmail.com>

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

The 2nd International Conference on Emerging Data and Industry 4.0 (EDI40)

Leuven, Belgium

April 29 - May 2, 2019

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


Conference Website:  http://cs-conferences.acadiau.ca/EDI40-19/

Workshops: http://cs-conferences.acadiau.ca/EDI40-19/#workshop


Important Dates

 - Paper Submission Due: January 9, 2019 (FIRM)

 - Acceptance Notification: February 4, 2019

 - Camera-Ready Submission: March 1, 2019


EDI40 2019 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:


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

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

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

   - IEEE Transactions on Intelligent Transportation Systems (IF: 3.724),
by IEEE (http://ieeexplore.ieee.org/xpl/RecentIssue.jsp?punumber=6979)

   - International Journal of Computing and Informatics (IF: 0.504), by
Computing and Informatics (http://www.cai.sk/ojs/index.php/cai/index)


EDI40 2019 will be held in Leuven, Belgium. Leuven is the capital of the
province of Flemish Brabant in Belgium. It is located about 25 kilometers
(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.


Leuven's Town Hall is one of the best-known Gothic town halls worldwide and
Leuven's pride and joy. It took three architects and thirty years to build
it. Leuven's 'Hall of Fame' features 236 statues, which were only added to
the facade after 1850. There are 220 men and 16 women in total. On the
bottom floor are famous Leuven scientists, artists and historical figures,
dressed in Burgundian garb. The first floor is reserved for the patron
saints of the various parishes of Leuven. Above them the facade is adorned
by the counts and dukes of Brabant while the towers primarily feature
biblical figures.


EDI40 2019 will be held in conjunction with the 10th International
Conference on Ambient Systems, Networks and Technologies (ANT,
http://cs-conferences.acadiau.ca/ant-19/).


Conference Tracks

 - Benefits of Industry 4.0

 - Big Data and Analytics

 - Cloud Computing

 - Cognitive Computing

 - Computational Intelligence

 - Cyber-Physical Systems (CPS)

 - Fog Computing and Edge Computing

 - Internet of Everything (IoE)

 - Standards for IoT Application Integration

 - The New Business Models in Industry 4.0

 - General Track: Digitalization Startegies


Committees

General Chairs

 Danny Hughes, CTO VeraSense NV, Belgium


Program Chairs

 Haroon Malik, Marshall University, USA

 Yves Vanrompay, Hasselt University, Belgium


Local Chair

 An Nevns, Hasselt University, Belgium


Workshops Chair

 Stephane Galland, UTBM, France Program


Advisory Committee

 Reda Alhajj, University of Calgary, Canada

 Ladislav Hluchy, Institute of Informatics, Slovak Academy of Sciences,
Slovakia

 Vincenzo Loia, University of Salerno, Italy

 Peter Sloot, Universiteit van Amsterdam, Netherlands

 Peter Thomas, Manifesto Research, Australia

 Mohamed Younis, University of Maryland Baltimore County, USA


International Journals Chair

 Ansar Yasar, Hasselt University, Belgium


Publicity Chairs

 Wim Ectors, Hasselt University, Belgium

 Faouzi Kammoun, Ecole SupŽrieure PrivŽe d'IngŽnierie et de Technologies,
Tunis

 Fatma Outay, Zayed University, UAE


Technical Program Committee

  http://cs-conferences.acadiau.ca/EDI40-19/#programCommittees


Steering Committee Chair

 Elhadi Shakshuki, Acadia University, Canada

Sent via Mail Merge
<https://chrome.google.com/webstore/detail/mail-merge-with-attachmen/nifmcbjailaccmombpjjpijjbfoicppp>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/haskell/attachments/20181220/1e6a75ce/attachment-0001.html>

From yazan.mualla at utbm.fr  Fri Dec 21 16:18:48 2018
From: yazan.mualla at utbm.fr (Yazan Mualla)
Date: Fri, 21 Dec 2018 17:18:48 +0100 (CET)
Subject: [Haskell] Extended CFP for The 3rd International Workshop on
 Agent-based Modeling and Applications with SARL (SARL19)
Message-ID: <1950033630.236141624.1545409128080.JavaMail.zimbra@utbm.fr>

CALL FOR PAPERS (extended) 
The 3rd International Workshop on Agent-based Modeling and Applications with SARL (SARL-19) 
------------------------------------------------------------------------------------------- 

In conjunction with the 10th International Conference on Ambient Systems, Networks, and 
Technologies ANT 2019 and the European SarlCon 2019 

April 29 - May 2, 2019, Leuven, Belgium. 

http://www.multiagent.fr/Conferences:SARL19 

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

Description 
=========== 

Research on Agents and Multi-Agent Systems has matured during the last decade and many 
effective applications of this technology are now deployed. SARL-19 provides an 
international forum to present and discuss the latest scientific developments and 
their effective applications, to assess the impact of the approach, and to facilitate 
technology transfer. 

SARL workshop was born with the SARL agent programming language, but the scientific results 
presented in SARL-19 are not restricted to SARL; other languages and agent platforms may 
be presented. 

SARL aims at providing the fundamental abstractions for dealing with concurrency, 
distribution, interaction, decentralization, reactivity, autonomy and dynamic 
reconfiguration. These high-level features are now considered as the major 
requirements for an easy and practical implementation of modern complex software 
applications. We are convinced that the agent-oriented paradigm holds the keys to 
effectively meet these features. Considering the variety of existing approaches and 
meta-models in the field of agent-oriented engineering and more generally multi-agent 
systems, our approach remains as generic as possible and highly extensible to easily 
integrate new concepts and features. 

The goal of SARL-19 is to provide a place where the different points of view on the 
modeling and the simulation with agent platforms and agent programming languages may be 
discussed. 

SARL-19 will be held in Leuven, Belgium (April 29 - May 2, 2019) in conjunction with the 
10th International Conference on Ambient Systems, Networks, and Technologies (ANT 2019) and 
the European SarlCon 2019. 


Topics 
====== 

The main topics of the SARL-18 workshop are (but not restricted to): 
_Methods and Models: 
* Agent based Modeling and Simulation; 
* Agent programming language; 
* Agent based Simulation; 
* Agent oriented analysis and design methods; 
* Ontologies and theories about large urban systems; 
* Formal models of agent-based simulation; 
* Organizational models. 
_Applications: 
* Traffic/Transport; 
* Crowds; 
* Smart grids and smart buildings; 
* Land-Use; 
* Energy. 


Important Dates 
=============== 

* Submission deadline: January 4, 2019 (extended); 
* Notification: February 4, 2019; 
* Final date for camera-ready copy: March 1, 2019; 
* Workshop: April 29 - May 2, 2019. 


Submission 
========== 

All workshop accepted papers will be included in the conference proceedings published by 
Elsevier Science in the open-access Procedia Computer Science series online. 

The submitted paper must be formatted according to the guidelines of Procedia Computer 
Science, Elsevier. You are invited to submit full length papers in PDF format on 
EasyChair, not exceeding 6 pages in length, in single-column format including diagrams 
and references while following the Procedia Computer Science guidelines. Papers that do 
not follow these guidelines may be rejected without consideration of their merits. 

All papers will be reviewed by at least two Program Committee members on the basis 
of technical quality, originality, clarity, and relevance to the track topics 
listed below. At least one author of each paper must attend the workshop to present 
the paper. 


Workshop Chairs 
=============== 

Stéphane GALLAND (Univ. de Technologie de Belfort-Montbeliard, France). 
Sebastian RODRIGUEZ (Universidad Technologica National, Argentina). 


Publicity Chair 
================ 

Yazan Mualla (Univ. de Technologie de Belfort-Montbeliard, France). 


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

To be completed. 

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

From yazan.mualla at utbm.fr  Fri Dec 21 16:20:13 2018
From: yazan.mualla at utbm.fr (Yazan Mualla)
Date: Fri, 21 Dec 2018 17:20:13 +0100 (CET)
Subject: [Haskell] Extended Invitation to the 1st European Forum of the SARL
 Users and Developers (EuSarlCon19)
Message-ID: <897268513.236143535.1545409213297.JavaMail.zimbra@utbm.fr>

INVITATION FOR PAPERS AND TALKS (extended) 

The 1st European Forum for the SARL Users and Developers (EuSarlCon-19) 
----------------------------------------------------------------------- 

In conjunction with: 
* the 10th International Conference on Ambient Systems, Networks, and Technologies (ANT 2019); 
* the 8th International Workshop on Agent-based Mobility, Traffic and Transportation Models, Methodologies and Applications (ABMTRANS-19); 
* the 3rd International Workshop on Agent-based Modeling and Applications with SARL (SARL-19). 

May 2, 2019, Leuven, Belgium. 

http://www.multiagent.fr/Conferences:EuSarlCon19 

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

Description 
=========== 

The 2019 European SarlCon is the SARL user meeting that is organized in Europe in order to provide a place where SARL users and developers could exchange their experiences. It will be held on May 2, 2019, in Leuven, Belgium. That is the last day of the ANT-2019 conference, the ABMTRANS-19 and the SARL-19 workshops. 


Abstracts and/or short papers are due on February 15, 2019. The papers are expected to be very short (< 2500 equivalent words). ABMTRANS-19 and SARL-19 are providing an alternative for publishing longer papers. 


Abstracts and papers can be submitted to ABMTRANS-19, to SARL-19, to SarlCon19, or all. We will coordinate with the main conference so that papers are not presented twice. 


Submissions directly for the SarlCon should take the form of an abstract (< 1000 words), and are to be submitted before February 15, 2019, through EasyChair. 


SARL-related submissions to the main conference will as well be considered for inclusion in the SarlCon program. 


Submission 
========== 

You are invited to submit the abstract in PDF format on EasyChair (https://easychair.org/conferences/?conf=eusarlcon2019), not exceeding 1000 words in length. 


Organizer 
========= 

Stéphane GALLAND (Univ. de Technologie de Belfort-Montbeliard, France) <stephane.galland at utbm.fr>. 
Yazan MUALLA (Univ. de Technologie de Belfort-Montbeliard, France). 


Registration 
============ 

Registration to the European SarlCon 2019 is free. 
Please notify the organizers if you want to come in order to organize the meeting. 

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

From jaspervdj at gmail.com  Wed Dec 26 12:04:00 2018
From: jaspervdj at gmail.com (Jasper Van der Jeugt)
Date: Wed, 26 Dec 2018 13:04:00 +0100
Subject: [Haskell] ZuriHac 2019 registration now open
Message-ID: <20181226120400.GA11838@colony6.localdomain>

Hello Friends of Haskell,

We are happy to announce that registration for ZuriHac 2019 is now open.
Participation is free but limited to 450 attendees.  You can register
at:

    https://zfoh.ch/zurihac2019/#registration

This year, we've taken dogfooding a step further and rolled our own open
source registration system in Haskell, so please let me know if you
experience any issues.

ZuriHac 2019 will take place from Friday the 14th to Sunday the 16th of
June 2019.  It will be hosted at the Hochschule Rapperswil on the shores
of beautiful Lake Zurich.  This will mark the 8th anniversary of ZuriHac
since our beginnings in 2010.

The Zurich Haskell Hackathon is a free, international, grassroots, and
collaborative coding festival.  Our goal is to connect Haskellers,
expand the community, learn things from each other, and to work on
Haskell libraries, tools, and infrastructure.

This year, we will enjoy keynotes from:

- Simon Peyton Jones
- Susan Potter
- Richard Eisenberg
- Ryan Trinkle

More keynote speakers will be announced.

The event is open to any experience level, from beginners to gurus.  We
want to make a special effort to ensure that the event is welcoming and
accessible to people completely new to Haskell.  That is why we are
super excited that, Julie Moronuki, co-author of Haskell Programming
from first principles [1] and Joy of Haskell [2], has kindly agreed to
teach a beginners course in one of the classrooms we have available.
Additionally, there will be mentors that you can approach during the
whole event with any Haskell-related questions.

This is a great opportunity to meet your fellow Haskellers in real life,
find new contributors for your project, improve existing libraries and
tools or even start new ones!

You can find all of this information and more on our website:

    https://zfoh.ch/zurihac2019

We would also like to thank our sponsors Digital Asset [3], DFINITY [4]
and HSR [5] for their strong commitment to the Haskell community and for
supporting this great event!

Looking forward to seeing you there,
The Zurich Friends of Haskell association.

[1]: https://www.goodreads.com/book/show/25587599-haskell-programming
[2]: https://joyofhaskell.com/
[3]: https://digitalasset.com/careers.html
[4]: https://dfinity.org/jobs
[5]: https://www.hsr.ch/

From franciman12 at gmail.com  Fri Dec 28 13:29:50 2018
From: franciman12 at gmail.com (Francesco Magliocca)
Date: Fri, 28 Dec 2018 14:29:50 +0100
Subject: [Haskell] [ANN] vabal - the cabal companion
Message-ID: <CAH4F6uubMp6SQ+YqLN9aTs26vK3w7AuFchCgJN0nf2C+Z6EMYw@mail.gmail.com>

Hello,
I'm please to announce that vabal 1.2.0 has been released on Hackage:
http://hackage.haskell.org/package/vabal

vabal is a software that helps you determine the ghc version needed to
compile a cabal package. It reads the cabal file and extracts the
constraints imposed on the base package. Then it uses ghcup (
https://github.com/haskell/ghcup ) to obtain a compiler version compatible
with the constraints (possibly downloading it from the official ghc mirror)
and can be combined with cabal to build the project using the obtained ghc
compiler.
In this way you can treat the `base` package dependency as any other
package dependency and don't have to manually deal with different ghc
versions anymore.

vabal is meant to be used in collaboration with cabal. It leverages cabal's
ability to work with multiple ghc versions, and tries to be the least
intrusive possible, so that you can keep using your usual workflow, but
won't have to worry about `base` package dependency issues, anymore.

You can get started here: https://github.com/Franciman/vabal#quick-start

For details please refer to:
https://github.com/Franciman/vabal#vabal---the-cabal-companion

Ideas, suggestions, opinions and pull requests are very welcome!

A big thank you goes to all the contributors that helped me with code,
suggestions and ideas:
https://github.com/Franciman/vabal#contributors
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/haskell/attachments/20181228/9df9d6f5/attachment.html>

From jaspervdj at gmail.com  Fri Dec 28 14:17:22 2018
From: jaspervdj at gmail.com (Jasper Van der Jeugt)
Date: Fri, 28 Dec 2018 15:17:22 +0100
Subject: [Haskell] [GSoC 2019] Call for Ideas
Message-ID: <20181228141722.GA19905@colony6.localdomain>

Google Summer of Code will take place again in 2019, for the 15th year
of the program [1]!  We are very proud that Haskell.Org has been able to
take part every year except for the initial year (2015) and 2016-2017,
when we had to resort to running our own program.

Last year, we were fortunate enough to join again, and we think the
results greatly benefited the Haskell community [2].  We are hoping to
do the same for 2019.  As far as we know, a really important part of our
application to GSoC is the list of ideas we provide.  For that, I would
like to count on all of you.

If you are the maintainer or the user of a Haskell project, and you have
an improvement in mind which a student could work on during the summer,
please submit an idea here:

    https://summer.haskell.org/ideas.html

For context, Google Summer of Code is a program where Google sponsors
students to work on open-source projects during the summer.  Haskell.org
has taken part in this program from 2006 until 2015, and again in 2018.
Many important improvements to the ecosystem have been the direct or
indirect result of Google Summer of Code projects, and it has also
connected new people with the existing community.

Projects should benefit as many people as possible – e.g. an improvement
to GHC will benefit more people than an update to a specific library or
tool, but both are definitely valid.  New libraries and applications
written in Haskell, rather than improvements to existing ones, are also
accepted.  Projects should be concrete and small enough in scope such
that they can be finished by a student in three months.

Warm regards
On behalf of the Haskell.Org committee
Jasper Van der Jeugt

[1]: https://opensource.googleblog.com/2018/11/google-summer-of-code-15-years-strong.html
[2]: https://summer.haskell.org/news/2018-09-01-final-results.html

From yazan.mualla at utbm.fr  Mon Dec 31 09:35:37 2018
From: yazan.mualla at utbm.fr (Yazan Mualla)
Date: Mon, 31 Dec 2018 10:35:37 +0100 (CET)
Subject: [Haskell] CFP The 1st International Workshop on EXplainable,
 TRansparent, Autonomous Agents and Multi-Agent Systems (EXTRAAMAS-19)
Message-ID: <53193824.270615519.1546248937575.JavaMail.zimbra@utbm.fr>

CALL FOR PAPERS 

The 1st International Workshop on EXplainable, TRansparent, Autonomous Agents and Multi-Agent Systems (EXTRAAMAS-19) 

In conjunction with the International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2019) 

13th and 14th of May 2019 in Montreal, Canada. 

https://extraamas.ehealth.hevs.ch 

------------------------------------------------------------------------------------------- 
Description 
========== 

The aim of the EXTRAAMAS-19 workshop is to: 
- Establish a common ground for the study and development of explainable and understandable autonomous agents, robots and multi-agent systems, 
- Investigate the potential of agent-based systems in the development of personalized user-aware explainable AI, 
- Assess the impact of transparent and explained solutions on user/agents behaviors, and 
- Discuss motivating examples and concrete applications in which the lack of explainability leads to problems that can be resolved by explainability. 

---------------------------------------------- 
Topics 
====== 

The main topics of the EXTRAAMAS-19 workshop are (but not restricted to): 
- Explainable agent architectures 
- Adaptive and personalized explainable agents 
- Explainable human-robot interaction 
- Expressive robots 
- Explainable planning 
- Explanation visualization 
- Explainable agents’ applications: (e-health, smart environment, driving companion, recommender systems, coaching agents, etc.) 
- Explainable agents’ applications: (e-health, smart environment, driving companion, recommender systems, coaching agents, etc.) 
- Reinforcement learning agents 
- Cognitive and social sciences perspectives on explanations 
- Legal aspects of explainable agents 

---------------------------------------------- 
Important Dates 
============== 

- Deadline for Submissions: February 12, 2019 
- Notification of acceptance: March 10, 2019 
- Camera-ready: April 1, 2019 
- Workshop: May 13-14, 2019 

---------------------------------------------- 
Submission 
========= 

Submissions will be reviewed by at least three members of the programme committee, who are experts in the field. 
The acceptance of the submitted papers will depend on their quality, relevance, and originality. 
To conduct this process, the chairs will rely on easychair to make the reviewing procedure traceable, transparent and accessible. 
In the case of accepted papers characterized by relevant demands (e.g., clarifications, changes, corrections) set by the reviewers, 
the final acceptance will be subject to their accomplishment. 

Accepted papers will be published in the Springer proceedings Lecture Notes in Artificial Intelligence (LNAI). 
Participants are therefore invited to submit papers up to 16 pages in length, addressing the topics of the workshop. 
Papers must be edited using the LNCS format (applying the LNCS proceedings template), 
and have to be submitted electronically as PDF files via the EasyChair submission page. 

The top papers will be published in Special Issue of a journal with a relevant impact factor (to be announced). 

---------------------------------------------- 
Program Chairs 
============= 

- Kary Främling (Umeå University, Sweden / Aalto University, Finland) 
- Davide Calvaresi (University of Applied Sciences Western Switzerland (HES-SO), Switzerland) 
- Amro Najjar (Umeå University, Sweden) 
- Michael Schumacher (University of Applied Sciences Western Switzerland (HES-SO), Switzerland) 

---------------------------------------------- 
Advisory Board 
============= 

- Virginia Dignum (Umeå University, Sweden) 
- Tim Miller (University of Melbourne, Australia) 
- Catholijn M. Jonker (TU Delft / LIACS Leiden University, The Netherlands) 

---------------------------------------------- 
Publicity Chairs 
============== 

- Yazan Mualla (Univ. de Technologie de Belfort-Montbeliard, France) 
- Timotheus Kampik (Umeå University, Sweden) 

---------------------------------------------- 
Program Committee 
================= 

To be announced. 


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