Re: [Haskell-community] Creating a new @haskell.org mailing list?

[Gershom B]

Sounds good. Ccing Sandy, who has volunteered to start helping with
mail stuff. Sandy -- do you need any further details in setting this
up, or do you think it should be straightforward?

-g
On Wed, Oct 24, 2018 at 10:18 AM Chris Smith  wrote:
>
> Good point, Simon.  education@ sounds like a good choice, with the 
> understanding that we mean education for the general population, not classes 
> in type theory or category theory!
>
> Is this a possibility?  Anything else I can do to move this forward?
>
> On Mon, Oct 22, 2018 at 11:32 AM Simon Peyton Jones  
> wrote:
>>
>> Good idea.   “k12” is rather USA specific. What about educat...@haskell.org?
>>
>>
>>
>> Simon
>>
>>
>>
>> From: Haskell-community  On Behalf Of 
>> Chris Smith
>> Sent: 22 October 2018 15:32
>> To: Haskell-community 
>> Subject: [Haskell-community] Creating a new @haskell.org mailing list?
>>
>>
>>
>> Hey,
>>
>>
>>
>> Is there a process to request a new mailing list on the haskell.org domain?
>>
>>
>>
>> Here's my use case.  About 25 Haskell programmers met at ICFP to discuss 
>> uses of Haskell in K-12 education (for non-US readers, that means before 
>> university).  I'm also in touch with another half-dozen people who either 
>> have done, or are doing, something pre-university with Haskell, but could 
>> not be at ICFP.  The main result of our conversation was that we wanted a 
>> common place to discuss, report on our experiences, look for productive 
>> collaborations and common threads, etc.  There are already a few 
>> project-specific places, e.g. the codeworld-discuss mailing list for my own 
>> project, but we were explicitly looking for something general-purpose and 
>> universal.  It would be great if this could be, say, "k...@haskell.org" or 
>> something like that.
>>
>>
>>
>> I'm pretty open in terms of how we'd administer the list.  I'm willing to do 
>> the work of handling obvious spam bots and things like that.  If there's a 
>> feeling we'd need something more than that, then let's have that discussion. 
>>  We explicitly don't want a strict topicality enforcement, though.  For 
>> example, several people who attended the dinner at ICFP were also interested 
>> in functional programming for non-majors at the university level, or were 
>> using Elm and other Haskell-like languages - even a few people from the 
>> Racket community.  I'd hope to rely on the name of the mailing list to keep 
>> things a bit focused, but not really police it at all.
>>
>>
>>
>> Thoughts?
>>
>>
>>
>> Thanks,
>>
>> Chris Smith
>
> ___
> Haskell-community mailing list
> Haskell-community@haskell.org
> http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-community
___
Haskell-community mailing list
Haskell-community@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-community

Re: [Haskell-community] Creating a new @haskell.org mailing list?

[Chris Smith]

Good point, Simon.  education@ sounds like a good choice, with the
understanding that we mean education for the general population, not
classes in type theory or category theory!

Is this a possibility?  Anything else I can do to move this forward?

On Mon, Oct 22, 2018 at 11:32 AM Simon Peyton Jones 
wrote:

> Good idea.   “k12” is rather USA specific. What about
> educat...@haskell.org?
>
>
>
> Simon
>
>
>
> *From:* Haskell-community  *On
> Behalf Of *Chris Smith
> *Sent:* 22 October 2018 15:32
> *To:* Haskell-community 
> *Subject:* [Haskell-community] Creating a new @haskell.org mailing list?
>
>
>
> Hey,
>
>
>
> Is there a process to request a new mailing list on the haskell.org
> 
> domain?
>
>
>
> Here's my use case.  About 25 Haskell programmers met at ICFP to discuss
> uses of Haskell in K-12 education (for non-US readers, that means before
> university).  I'm also in touch with another half-dozen people who either
> have done, or are doing, something pre-university with Haskell, but could
> not be at ICFP.  The main result of our conversation was that we wanted a
> common place to discuss, report on our experiences, look for productive
> collaborations and common threads, etc.  There are already a few
> project-specific places, e.g. the codeworld-discuss mailing list for my own
> project, but we were explicitly looking for something general-purpose and
> universal.  It would be great if this could be, say, "k...@haskell.org" or
> something like that.
>
>
>
> I'm pretty open in terms of how we'd administer the list.  I'm willing to
> do the work of handling obvious spam bots and things like that.  If there's
> a feeling we'd need something more than that, then let's have that
> discussion.  We explicitly don't want a strict topicality enforcement,
> though.  For example, several people who attended the dinner at ICFP were
> also interested in functional programming for non-majors at the university
> level, or were using Elm and other Haskell-like languages - even a few
> people from the Racket community.  I'd hope to rely on the name of the
> mailing list to keep things a bit focused, but not really police it at all.
>
>
>
> Thoughts?
>
>
>
> Thanks,
>
> Chris Smith
>
___
Haskell-community mailing list
Haskell-community@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-community

[Haskell] Call for Papers - The 11th International Conference on Advanced Geographic Information Systems, Applications, and Services

[Muhammad Arslan]

Hello everyone, 

I would like to inform you that we are managing a special session on ' 
Spatio-temporal data processing ' at the ' 11th International Conference on 
Advanced Geographic Information Systems, Applications, and Services ', February 
24 - 28, 2019, Athens, Greece. I invite you to submit papers for this session 
on the topics that 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
 

The deadlines are mentioned below; 


* 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 

More details about the program are in the attachment. 

Looking forward to seeing you in Athens! 

Best, 

Muhammad Arslan 
Laboratoire LE2I - FRE CNRS 2005 - Arts & Métiers - 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 






SDP Updated.pdf
Description: Adobe PDF document
___
Haskell mailing list
Haskell@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell

Re: A question about run-time errors when class members are undefined

[Ben Franksen]

Am 08.10.2018 um 11:21 schrieb Anthony Clayden:
> I wonder how different would have been the history of Haskell if Wadler had
> not borrowed the terminology "class" and "method". Since Helium has a focus
> on Haskell learners/beginners: I wonder how much confusion we might have
> saved those coming from OOP where the terms mean something really quite
> different. We might have avoided "class" altogether; and talked of
> "overloaded function".

Similar to C++, perhaps?

Cheers
Ben

___
Haskell-prime mailing list
Haskell-prime@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-prime

Re: A question about run-time errors when class members are undefined

[Ben Franksen]

Am 06.10.2018 um 05:18 schrieb Anthony Clayden:
> On Sat, 6 Oct 2018 at 9:47 AM, Petr Pudlák  wrote:
> such as the important laws between `return` and `>>=`. And then for example
>> a class with just `return` doesn't give any information what `return x`
>> means or what should be its properties.
>>
> 
> Then make Bind a superclass constraint on `return` (or vice versa, or both
> ways).
> 
> Just as the laws for Num's methods are defined in terms of equality
> 
> x + negate x == fromInteger 0  -- for example
> 
> Talking about laws is a red herring: you can't declare the laws/the
> compiler doesn't enforce them or rely on them in any way. Indeed the
> Lensaholics seem to take pleasure in building lenses that break the (van
> Laarhoven) laws.

I strongly disagree with this. Class laws are absolutely essential. They
are the main distinguishing feature of Haskell classes versus the usual
ad-hoc overloading found in most mainstream (e.g. OO) languages. Using
'+' for string concatenation? That's just a poor work-around for
languages that only support a fixed set of traditional operators. And if
you have a Monoid or Semigroup class that doesn't require or even
suggest commutativity of the operator, but clearly states that
associativity is required, then I see absolutely no reason to use '+'
for that.

That the compiler can't enforce the laws is irrelevant. Laws are a
contract and violating it is a bug. Non law-abiding lenses like
'filtered' are clearly documented with severe warnings attached. To cite
them as proof that people take pleasure in violating class laws is
ridiculous.

Granted, classes that combine multiple methods are not /required/ to
state laws. But they offer a convenient place where to put them.

>  For example, in Haskell we could have
>>
>> class (Return m, Bind m) => Monad m where
>>
>> without any methods specified. But instances of `Monad` should be only
>> such types for which `return` and `>>=` satisfy the monad laws.
>>
> 
> First: what does "satisfy the xxx laws" mean? The Haskell report and GHC's
> Prelude documentation state a bunch of laws; and it's a good discipline to
> write down laws if you're creating a class; but it's only documentation.

Why you say "only"? Documentation is essential and documentation in the
form of laws (properties) is the most useful sort of documentation. And
many class laws (though not all) /can/ be formally expressed as Haskell
code and thus tested with e.g. quickcheck.

> Arguably IO, the most commonly used Monad, breaks the Monad laws in rather
> serious ways because it imposes sequence of execution;

I think such a bold statement should be accompanied by an example that
demonstrates it.

Cheers
Ben

___
Haskell-prime mailing list
Haskell-prime@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-prime

[Haskell] [EDI40 2019] International Conference on Emerging Data and Industry 4.0. Leuven, Belgium, April 29 - May 2, 2019

[Wim Ectors]

***

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 6, 2018

 - 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 

[Haskell] [ANT2019] 10th International Conference on Ambient Systems, Networks and Technologies. Leuven, Belgium (April 29 - May 2, 2019)

[Wim Ectors]

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 6, 2018

- 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