December 2018 - Haskell

Announce: Haskell Platform 8.6.3
by Gershom B 13 Dec '18

13 Dec '18

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

1 0

Call for Haskell.org Committee Nominations
by George Wilson 13 Dec '18

13 Dec '18

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

1 0

ZuriHac 2019 takes place 14 to 16 June in Zurich, Switzerland
by Jasper Van der Jeugt 12 Dec '18

12 Dec '18

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/

1 0

PhD student position at Mälardalen University
by Björn Lisper 12 Dec '18

12 Dec '18

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&r…. Application closing date: January 25, 2019

1 0

DEADLINE EXTENSION: Conference on Ambient Systems, Networks and Technologies. Leuven, Belgium (April 29 - May 2, 2019)
by Yazan Mualla 12 Dec '18

12 Dec '18

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

1 0

Extended Invitation to the 1st European Forum of the SARL Users and Developers (EuSarlCon19)
by Yazan Mualla 12 Dec '18

12 Dec '18

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(a)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.

1 0

[EDI40 2019] DEADLINE EXTENSION: Conference on Emerging Data and Industry 4.0. Leuven, Belgium, April 29 - May 2, 2019
by Wim Ectors 11 Dec '18

11 Dec '18

*************************************************************************** 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/nifmcbj…>

1 0

[ANT2019] DEADLINE EXTENSION: Conference on Ambient Systems, Networks and Technologies. Leuven, Belgium (April 29 - May 2, 2019)
by Wim Ectors 11 Dec '18

11 Dec '18

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/nifmcbj…>

1 0

Guidelines for respectful communication
by Simon Peyton Jones 10 Dec '18

10 Dec '18

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/373044b5a78519071b9a2…>. 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

8 8

[ANNOUNCE] GHC 8.6.3 is now available
by Ben Gamari 08 Dec '18

08 Dec '18

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…

1 0