From gershomb at gmail.com Tue Jan 2 01:24:45 2018 From: gershomb at gmail.com (Gershom B) Date: Mon, 1 Jan 2018 20:24:45 -0500 Subject: [Haskell] PSA: `cabal update` command needs manual unsticking Message-ID: Dear Haskellers, A recent update to hackage, which fixed up the 01-index.tar.gz file, revealed a bug in existing versions of cabal-install, when index files are cleaned up. This bug means that the `cabal update` command, which updates the hackage index file, will fail silently and leave the old file in place. It is easy to get things working again, but it requires manual intervention. Here is the most straightforward way to get things working again: On gnu/linux or mac: rm ~/.cabal/packages/hackage.haskell.org/01-index.* On windows: remove the same files, but from %appdata%\cabal\packages\hackage.haskell.org rerun `cabal update` to fetch a new 01-index. Apologies all for the inconvenience and any confusion this may have caused. There is a PR to fix this behavior in the works, but since the problem is on the client side, the fix will only improve the situations for new versions of `cabal`. Happy New Years to all, and cheers to a very functional 2018, Gershom p.s.: since the problem comes in unpacking the 01-index.tar.gz into the 01-index.tar, you can also just untar that file in place manually, or force cabal into doing the same by running `touch ~/.cabal/packages/hackage.haskell.org/01-index.tar` From svenpanne at gmail.com Tue Jan 2 09:47:33 2018 From: svenpanne at gmail.com (Sven Panne) Date: Tue, 2 Jan 2018 10:47:33 +0100 Subject: [Haskell] PSA: `cabal update` command needs manual unsticking In-Reply-To: References: Message-ID: 2018-01-02 2:24 GMT+01:00 Gershom B : > A recent update to hackage, which fixed up the 01-index.tar.gz file, > revealed a bug in existing versions of cabal-install, when index files > are cleaned up. This bug means that the `cabal update` command, which > updates the hackage index file, will fail silently and leave the old > file in place. It is easy to get things working again, but it requires > manual intervention. [...] Quick question: Are stack users affected, too, or only cabal users? I'm just asking because as a stack user you have ~/.stack/indices/Hackage/01-index.* files lying around, too... -------------- next part -------------- An HTML attachment was scrubbed... URL: From michael at snoyman.com Tue Jan 2 09:52:37 2018 From: michael at snoyman.com (Michael Snoyman) Date: Tue, 2 Jan 2018 11:52:37 +0200 Subject: [Haskell] PSA: `cabal update` command needs manual unsticking In-Reply-To: References:

Message-ID: On Tue, Jan 2, 2018 at 11:47 AM, Sven Panne wrote: > 2018-01-02 2:24 GMT+01:00 Gershom B : > >> A recent update to hackage, which fixed up the 01-index.tar.gz file, >> revealed a bug in existing versions of cabal-install, when index files >> are cleaned up. This bug means that the `cabal update` command, which >> updates the hackage index file, will fail silently and leave the old >> file in place. It is easy to get things working again, but it requires >> manual intervention. [...] > > > Quick question: Are stack users affected, too, or only cabal users? I'm > just asking because as a stack user you have ~/.stack/indices/Hackage/01-index.* > files lying around, too... > > Hey Sven, Gershom sent me an email about this earlier, and I looked into it. As far as I can tell, Stack is _not_ affected by this, since—although it uses the same hackage-security library as cabal-install—it follows a different codepath outside of hackage-security for downloading tarballs. I'm not 100% certain Stack is immune, however, so if someone notices a problem, please report it. Michael -------------- next part -------------- An HTML attachment was scrubbed... URL: From wim.ectors at uhasselt.be Wed Jan 3 10:38:12 2018 From: wim.ectors at uhasselt.be (Wim Ectors) Date: Wed, 3 Jan 2018 05:38:12 -0500 Subject: [Haskell] [ANT2018] -FINAL submission deadline- Conference on Ambient Systems, Networks and Technologies. Porto, Portugal (May 8-11, 2018) Message-ID: The 9th International Conference on Ambient Systems, Networks and Technologies (ANT-2018) Porto, Portugal May 8-11, 2018 Conference Website: http://cs-conferences.acadiau.ca/ant-18/ Workshops: http://cs-conferences.acadiau.ca/ant-18/#workshop Tutorials: http://cs-conferences.acadiau.ca/ant-18/#tutorial Important Dates - Workshops Proposals Due: November 30, 2017 - Paper Submission Due: January 13, 2018 (FINAL) - Acceptance Notification: February 5, 2018 - Camera-Ready Submission: March 5, 2018 ANT 2018 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 ( 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) ANT 2018 will be held in Porto, Portugal. Porto is the second-largest city in Portugal after Lisbon and one of the major urban areas of the Iberian Peninsula. Porto is also called the Invicta because during the 19th century Portuguese civil war, the city withstood a siege of over a year.The urban area of Porto, which extends beyond the administrative limits of the city, has a population of 2.1 million in an area of 389 km2 (150 sq mi), making it the second-largest urban area in Portugal. It is recognized as a gamma- level global city by the Globalization and World Cities (GaWC) Study Group, the only Portuguese city besides Lisbon to be recognised as a global city. Located along the Douro river estuary in Northern Portugal, Porto is one of the oldest European centres, and its historical core was proclaimed a World Heritage Site by UNESCO in 1996. The western part of its urban area extends to the coastline of the Atlantic Ocean. Its settlement dates back many centuries, when it was an outpost of the Roman Empire. One of Portugal's internationally famous exports, port wine, is named after Porto, since the metropolitan area, and in particular the cellars of Vila Nova de Gaia, were responsible for the packaging, transport and export of the fortified wine. In 2014 and 2017, Porto was elected The Best European Destination by the Best European Destinations Agency. ANT-2018 will be held in conjunction with the 8th International Conference on Sustainable Energy Information Technology (SEIT, http://cs-conferences.acadiau.ca/seit-18/). 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 Hossam Hassanein, Queen's University, Canada Albert Zomaya, The University of Sydney, Australia Program Chairs Haroon Malik, Marshall University, USA Ansar-Ul-Haque Yasar, IMOB – Hasselt University, Belgium Local Chairs Ana C. R. Paiva, University of Porto, Portugal João C. P. Faria, University of Porto, Portugal 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 Ali Ghorbani, University of New Brunswick, Canada Vincenzo Loia, University of Salerno, Italy Timothy Shih, Tamkang University, Taiwan Peter Sloot, Universiteit van Amsterdam, Netherlands Ralf Steinmetz, Technische Universitaet Darmstadt, Germany Katia Sycara, Carnegie Mellon University, USA Peter Thomas, Manifesto Research, Australia International Journals Chair Javier Jesus Sanchez Medina, ULPGC, Spain Vice Chairs Boulmakoul Azedine, Hassan II University, Morocco Nik Bessis, University of Derby, UK Kechar Bouabdellah, Oran University, Algeria Samia Bouzefrane, CEDRIC Lab, France Lars Braubach, Hamburg University, Germany Amine Dhraief, Manouba University, Tunisia Roberto Di Pietro, Hamad Bin Khalifa University, Qatar Khalil Drira, LAAS-CNRS, France Wael El-Medany, University of Bahrain, Bahrain Etienne Alain Feukeu, Vaal University of Technology, South Africa Antonio Filieri, Imperial College London, England Luk Knapen, Hasselt University Belgium Prashant Kumar, Surrey University, United Kingdom Flavio Lombardi, Roma Tre University of Rome, Italy Ahmed Nait Sidi Moh, University of Picardie Jules Verne, France Cristina Seceleanu, Mälardalen University, Västerås, Sweden Khaled Shaaban, Qatar University, Qatar Nadir Shah, COMSATS Institute of Information Technology, Pakistan Yves Vanrompay, Hasselt University, Belgium Yun Zhou, Shaanxi Normal University, China Publicity Chairs Wim Ectors, Hasselt University, Belgium Mohamed Amine Ferrag, Guelma University, Algeria Sarmad Ullah Khan, CECOS University, Pakistan International Liaison Chairs Soumaya Cherkaoui, Sherbrooke University, Canada Paul Davidsson, Malmo University, Sweden Dino Pedreschi, University of Pisa, Italy David Taniar, Monash University, Australia Technical Program Committee http://cs-conferences.acadiau.ca/ant-18/#programCommittees Steering Committee Chair and Founder of ANT Elhadi Shakshuki, Acadia University, Canada -------------- next part -------------- An HTML attachment was scrubbed... URL: From wim.ectors at uhasselt.be Wed Jan 3 10:44:15 2018 From: wim.ectors at uhasselt.be (Wim Ectors) Date: Wed, 3 Jan 2018 05:44:15 -0500 Subject: [Haskell] [SEIT 2018] -FINAL submission deadline- Conference on Sustainable Energy Information Technology. Porto, Portugal (May 8-11, 2018) Message-ID: The 8th International Conference on Sustainable Energy Information Technology (SEIT-18) Porto, Portugal May 8-11, 2018 Conference Website: http://cs-conferences.acadiau.ca/seit-18 **************************************************************************** Important Dates - Workshops Proposals Due: November 30, 2017 - Paper Submission Due: January 13, 2018 (FINAL) - Acceptance Notification: February 5, 2018 - Camera-Ready Submission: March 5, 2018 The goal of the SEIT-18 conference is to provide an international forum for scientists, engineers, and managers in academia, industry, and government to address recent research results and to present and discuss their ideas, theories, technologies, systems, tools, applications, work in progress and experiences on all theoretical and practical issues arising in sustainable energy information technology. All SEIT 2018 accepted papers will be published by Elsevier Science in the open-access Procedia Computer Science series on-line. Procedia Computer Sciences is hosted on www.Elsevier.com and on Elsevier content platform ScienceDirect (www.sciencedirect.com), and will be freely available worldwide. All papers in Procedia will be indexed by Scopus (www.scopus.com) and by Thomson Reuters' Conference Proceeding Citation Index http://thomsonreuters.com/conference-proceedings-citation-index/. The papers will contain linked references, XML versions and citable DOI numbers. You will be able to provide a hyperlink to all delegates and direct your conference website visitors to your proceedings. All accepted papers will also be indexed in DBLP (http://dblp.uni-trier.de/). Selected papers will be invited for publication in an international journal. SEIT 2018 will be held in Porto, Portugal. Porto is the second-largest city in Portugal after Lisbon and one of the major urban areas of the Iberian Peninsula. Porto is also called the Invicta because during the 19th century Portuguese civil war, the city withstood a siege of over a year.The urban area of Porto, which extends beyond the administrative limits of the city, has a population of 2.1 million in an area of 389 km2 (150 sq mi), making it the second-largest urban area in Portugal. It is recognized as a gamma- level global city by the Globalization and World Cities (GaWC) Study Group, the only Portuguese city besides Lisbon to be recognised as a global city. Located along the Douro river estuary in Northern Portugal, Porto is one of the oldest European centres, and its historical core was proclaimed a World Heritage Site by UNESCO in 1996. The western part of its urban area extends to the coastline of the Atlantic Ocean. Its settlement dates back many centuries, when it was an outpost of the Roman Empire. One of Portugal's internationally famous exports, port wine, is named after Porto, since the metropolitan area, and in particular the cellars of Vila Nova de Gaia, were responsible for the packaging, transport and export of the fortified wine. In 2014 and 2017, Porto was elected The Best European Destination by the Best European Destinations Agency. SEIT-2018 will be held in conjunction with the 8th International Conference on Ambient Systems, Networks and Technologies (ANT, http://cs-conferences.acadiau.ca/ant-18/). Conference Main Topics: ================= - Advanced Techniques for Energy Applications - Energy Efficiency - Energy Policy - Environmental - Green Sustainability - Power Quality, Power Electronics and Electric Machines - Power Systems - Renewable Energies - Sensing & Monitoring - Smart Systems Committees General Chair Bruce Spencer, University of New Brunswick, Canada Program Chairs Álvaro Henrique Rodrigues, University of Porto, Portugal Jesús Fraile Ardanuy, Universidad Politécnica de Madrid, Spain Ansar-Ul-Haque Yasar, IMOB – Hasselt University, Belgium Local Chair Ana C. R. Paiva, University of Porto, Portugal João C. P. Faria, University of Porto, Portugal Workshops Chairs Hui Hou, Wuhan University of Technology, China Haroon Malik, Marshall University, USA Advisory Committee Bilal A. Akash, American University of Ras Al Khaimah, UAE Antonio J. Conejo, Universidad de Castilla - La Mancha, Spain Derek J Croome, University of Reading, UK Geert Deconinck, KU Leuven, Belgium Jatin Nathwani, University of Waterloo, Canada Saffa Riffat, University of Nottingham, UK Ali Sayigh,World Renewable Energy Congress / Network Publicity Chairs Wim Ectors, Hasselt University, Belgium Mohamed Amine Ferrag, Guelma University, Algeria Ilan Stern, Georgia Institute of Technology, USA Technical Program Committee http://cs-conferences.acadiau.ca/seit-18/#programCommittees -------------- next part -------------- An HTML attachment was scrubbed... URL: From W.S.Swierstra at uu.nl Thu Jan 4 08:11:14 2018 From: W.S.Swierstra at uu.nl (Swierstra, W.S. (Wouter)) Date: Thu, 4 Jan 2018 08:11:14 +0000 Subject: [Haskell] 6 Assistant professor positions in Utrecht Message-ID: We are currently advertising vacancies for 6 talented Assistant Professors in Information and Computing Sciences (Tenure Track 0.8 - 1.0 FTE) # Job description We are searching for motivated, excellent candidates, on the Assistant Professor level. You must have expertise in Computing and Information Sciences, preferably in the areas of Information Science, Games, Artificial Intelligence or Data Science. Excellent candidates with other areas of expertise related to our current research groups and teaching programmes are also invited to apply. You have proven ambition and talent for research. As teaching is an important and satisfying part of our work, we are searching for people with a demonstrable motivation to teach. The department is expanding and provides a dynamic work environment. If you are excited to actively participate in shaping the department, you are very welcome to apply. Due to our successful teaching programmes and our ambitions in research the Department is expanding. We are therefore actively searching for 6 talented Research and Teaching Assistant Professors in Information and Computing Sciences. Please note that positions offered will vary, depending on experience and expertise. # Qualifications ## Research * PhD in Computer Science, Information Science or another relevant discipline; * track record of international publications in leading conferences and journals; * experience with or good prospects for acquiring external research funds; * vision on future research directions in own area of expertise; * experience with or readiness to supervise PhD projects; * active role in international scientific communities. ## Teaching * experience with and enthusiasm for teaching and student supervision; * ability to teach in departmental BSc and MSc programmes; * well-developed didactic skills; * excellent command of the English language; * experience with or willingness to use innovative teaching methods and (e-learning) technologies; * vision on teaching and your own contribution to teaching. Please note that we are also interested in candidates with a focus on teaching. ## Leadership: * play an active and cooperative role in the department and the university; * willingness to organize scientific events, such as research seminars or teaching seminars; * willingness to partake in departmental committees. The department finds gender balance specifically and diversity in a broader sense very important. In recent procedures we attracted a significant number of women (three out of five positions). We are very keen on appointing more female scientists and therefore strongly encourage qualified women to apply. # Offer The candidate will be offered a tenure track position, depending on experience (0.8 / 1.0 FTE). Salary depends on qualifications and experience, and ranges between 3,111 and 5,405 euro (scale 10 - 12 Collective Labour Agreement Dutch Universities) gross per month for a full-time employment. The salary is supplemented with a holiday bonus of 8% and an end-of-year bonus of 8.3% per year. We offer flexible employment conditions, working-from-home facilities, partially paid parental leave, a pension scheme, and collective insurance schemes. Facilities for sports and child care are available on our campus, which is only 15 minutes away from the historical city center of Utrecht. We offer you the possibility to develop towards a Basic Teaching Qualification, supported with educational development programs offered by the University. We also offer candidates the possibility to travel to conferences. # About the organization A better future for everyone. This ambition motivates our scientists in executing their leading research and inspiring teaching. At Utrecht University, colleagues from various disciplines collaborate intensively towards major societal themes. Our focus is on Dynamics of Youth, Institutions for Open Societies, Life Sciences and Sustainability. The city of Utrecht is one of the oldest cities in the Netherlands, with a charming old center and an internationally oriented culture that is strongly influenced by its century-old university. Utrecht city has been consistently ranked as one of the most livable cities in the Netherlands. The Faculty of Science consists of six departments: Biology, Pharmaceutical Sciences, Information and Computing Sciences, Physics and Astronomy, Chemistry and Mathematics. The Faculty is home to 5,900 students and nearly 1,600 staff and is internationally renowned for the quality of its research. The Faculty's academic programmes reflect developments in today's society. The Department of Information and Computing Sciences is nationally and internationally renowned for its research in Computing Science and Information Science. Current research groups are Algorithmic Data Analysis, Algorithms and Complexity, Decision Support Systems, Intelligent Systems, Simulation of Complex Systems, Multimedia, Interaction, Geometric Computing, Organization and Information, Software Technology, and Software Technology of Learning and Teaching. Relevant areas of interdisciplinary research include Game Research, Foundations of Complex Systems, Applied Data Science and Integrative Bioinformatics. The Department has, among others, close collaborations with the University Medical Center, the Departments of Physics and Mathematics, and the Faculties of Humanities and Geosciences. The Department offers Bachelor programmes in Computer Science and Information Science, and four English language research Master programmes in Artificial Intelligence, Business Informatics, Computing Science, and Game and Media Technology. The Department is developing Master programmes in Data Science. High enrolment figures and good student ratings make the education very successful. The Department currently comprises 9 full-time chairs and 100 other scientific staff, including postdocs and PhD- students. # More information https://www.uu.nl/en https://www.uu.nl/en/organisation/faculty-of-science https://www.uu.nl/en/organisation/department-of-information-and-computing-sciences https://www.uu.nl/en/organisation/working-at-utrecht-university/terms-of-employment https://www.uu.nl/en/organisation/working-at-utrecht-university # Additional information Would you like additional information about the vacancy? This can be obtained from Prof M. van Kreveld, (M.J.vanKreveld at uu.nl), Research Director or Marloes Reichardt-Buijs (M.S.Reichardt-Buijs at uu.nl), HR officer for the department. # Apply Please apply through https://www.uu.nl/en/organisation/working-at-utrecht-university/jobs. Please attach a letter of motivation, Curriculum Vitae and (email) addresses of two references. If you prefer a part-time appointment, you are also invited to apply, preferably stating the desired part-time ratio. The application deadline is 01/02/2018 From doaitse at swierstra.net Thu Jan 4 09:13:07 2018 From: doaitse at swierstra.net (Doaitse Swierstra) Date: Thu, 4 Jan 2018 10:13:07 +0100 Subject: [Haskell] 6 Assistant professor positions in Utrecht In-Reply-To: References: Message-ID: Ik had ook al aan Johan gemeld dat het woord talented suggereert dat er bij jullie ook non-talented personen werken. Hij zou het aan laten passen. Doaitse Op 4 jan. 2018 09:13 schreef "Swierstra, W.S. (Wouter)" : > We are currently advertising vacancies for > > > 6 talented Assistant Professors in Information and Computing Sciences > > > (Tenure Track 0.8 - 1.0 FTE) > > > # Job description > > We are searching for motivated, excellent candidates, on the > Assistant Professor level. You must have expertise in Computing > and Information Sciences, preferably in the areas of Information > Science, Games, Artificial Intelligence or Data > Science. Excellent candidates with other areas of expertise > related to our current research groups and teaching programmes > are also invited to apply. > > You have proven ambition and talent for research. As teaching is > an important and satisfying part of our work, we are searching > for people with a demonstrable motivation to teach. The > department is expanding and provides a dynamic work > environment. If you are excited to actively participate in > shaping the department, you are very welcome to apply. > > Due to our successful teaching programmes and our ambitions in > research the Department is expanding. We are therefore actively > searching for 6 talented Research and Teaching Assistant > Professors in Information and Computing Sciences. Please note > that positions offered will vary, depending on experience and > expertise. > > # Qualifications > > ## Research > > * PhD in Computer Science, Information Science or another relevant > discipline; > * track record of international publications in leading conferences and > journals; > * experience with or good prospects for acquiring external research funds; > * vision on future research directions in own area of expertise; > * experience with or readiness to supervise PhD projects; > * active role in international scientific communities. > > ## Teaching > > * experience with and enthusiasm for teaching and student supervision; > * ability to teach in departmental BSc and MSc programmes; > * well-developed didactic skills; > * excellent command of the English language; > * experience with or willingness to use innovative teaching methods > and (e-learning) technologies; > * vision on teaching and your own contribution to teaching. > > Please note that we are also interested in candidates with a focus on > teaching. > > ## Leadership: > > * play an active and cooperative role in the department and the university; > * willingness to organize scientific events, such as research seminars or > teaching seminars; > * willingness to partake in departmental committees. > > The department finds gender balance specifically and diversity in > a broader sense very important. In recent procedures we attracted > a significant number of women (three out of five positions). We > are very keen on appointing more female scientists and therefore > strongly encourage qualified women to apply. > > # Offer > > The candidate will be offered a tenure track position, depending > on experience (0.8 / 1.0 FTE). > > Salary depends on qualifications and experience, and ranges > between 3,111 and 5,405 euro (scale 10 - 12 Collective Labour > Agreement Dutch Universities) gross per month for a full-time > employment. > > The salary is supplemented with a holiday bonus of 8% and an > end-of-year bonus of 8.3% per year. We offer flexible employment > conditions, working-from-home facilities, partially paid parental > leave, a pension scheme, and collective insurance schemes. > Facilities for sports and child care are available on our campus, > which is only 15 minutes away from the historical city center of > Utrecht. > > We offer you the possibility to develop towards a Basic Teaching > Qualification, supported with educational development programs > offered by the University. We also offer candidates the > possibility to travel to conferences. > > # About the organization > > A better future for everyone. This ambition motivates our > scientists in executing their leading research and inspiring > teaching. At Utrecht University, colleagues from various > disciplines collaborate intensively towards major societal > themes. Our focus is on Dynamics of Youth, Institutions for Open > Societies, Life Sciences and Sustainability. > > The city of Utrecht is one of the oldest cities in the > Netherlands, with a charming old center and an internationally > oriented culture that is strongly influenced by its century-old > university. Utrecht city has been consistently ranked as one of > the most livable cities in the Netherlands. > > The Faculty of Science consists of six departments: Biology, > Pharmaceutical Sciences, Information and Computing Sciences, > Physics and Astronomy, Chemistry and Mathematics. The Faculty is > home to 5,900 students and nearly 1,600 staff and is > internationally renowned for the quality of its research. The > Faculty's academic programmes reflect developments in today's > society. > > The Department of Information and Computing Sciences is > nationally and internationally renowned for its research in > Computing Science and Information Science. Current research > groups are Algorithmic Data Analysis, Algorithms and Complexity, > Decision Support Systems, Intelligent Systems, Simulation of > Complex Systems, Multimedia, Interaction, Geometric Computing, > Organization and Information, Software Technology, and Software > Technology of Learning and Teaching. Relevant areas of > interdisciplinary research include Game Research, Foundations of > Complex Systems, Applied Data Science and Integrative > Bioinformatics. The Department has, among others, close > collaborations with the University Medical Center, the > Departments of Physics and Mathematics, and the Faculties of > Humanities and Geosciences. > > The Department offers Bachelor programmes in Computer Science and > Information Science, and four English language research Master > programmes in Artificial Intelligence, Business Informatics, > Computing Science, and Game and Media Technology. The Department > is developing Master programmes in Data Science. High enrolment > figures and good student ratings make the education very > successful. The Department currently comprises 9 full-time chairs > and 100 other scientific staff, including postdocs and PhD- > students. > > # More information > > https://www.uu.nl/en > https://www.uu.nl/en/organisation/faculty-of-science > https://www.uu.nl/en/organisation/department-of-information-and-computing- > sciences > https://www.uu.nl/en/organisation/working-at-utrecht-university/terms-of- > employment > https://www.uu.nl/en/organisation/working-at-utrecht-university > > # Additional information > > Would you like additional information about the vacancy? This can > be obtained from Prof M. van Kreveld, (M.J.vanKreveld at uu.nl), > Research Director or Marloes > Reichardt-Buijs (M.S.Reichardt-Buijs at uu.nl), HR officer for the > department. > > # Apply > > Please apply through > > https://www.uu.nl/en/organisation/working-at-utrecht-university/jobs. > > Please attach a letter of motivation, Curriculum Vitae > and (email) addresses of two references. If you prefer a > part-time appointment, you are also invited to apply, preferably > stating the desired part-time ratio. > > The application deadline is 01/02/2018 > _______________________________________________ > Haskell mailing list > Haskell at haskell.org > http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell > -------------- next part -------------- An HTML attachment was scrubbed... URL: From tiredpixel at posteo.de Thu Jan 4 09:29:49 2018 From: tiredpixel at posteo.de (tiredpixel) Date: Thu, 4 Jan 2018 09:29:49 +0000 Subject: [Haskell] 6 Assistant professor positions in Utrecht In-Reply-To: References:

Message-ID: Ha ha ha. :D Grappig. Maar het is normaal voor mij 'talented' en zo woorden te zien; definitief, is het beter als 'Ruby rockstar' of 'DevOps evangelist'. ;) -- tiredpixel Doaitse Swierstra (2018-01-04 09:13): > Ik had ook al aan Johan gemeld dat het woord talented suggereert dat er bij jullie ook non-talented personen werken. Hij zou het aan laten passen. > > Doaitse -------------- next part -------------- A non-text attachment was scrubbed... Name: signature.asc Type: application/pgp-signature Size: 490 bytes Desc: OpenPGP digital signature URL: From nathan.collins at gmail.com Thu Jan 4 18:38:09 2018 From: nathan.collins at gmail.com (Nathan Collins) Date: Thu, 4 Jan 2018 10:38:09 -0800 Subject: [Haskell] [Haskell-cafe] PSA: `cabal update` command needs manual unsticking In-Reply-To: References: Message-ID: In case this confuses anyone else, I think this PSA only applies if you're using cabal-install version 2.*, but please correct me if I'm wrong. I had some ~/.cabal/packages/hackage.haskell.org/00-index.* files, but not any 01-index.* files, and running `cabal update` didn't change that. Then I noticed I was using cabal-install version 1.24.0.2. When I upgraded to cabal-install version 2.0.0.1 and did another `cabal update` the 01-index.* files appeared. Cheers, -nathan On Mon, Jan 1, 2018 at 5:24 PM, Gershom B wrote: > Dear Haskellers, > > A recent update to hackage, which fixed up the 01-index.tar.gz file, > revealed a bug in existing versions of cabal-install, when index files > are cleaned up. This bug means that the `cabal update` command, which > updates the hackage index file, will fail silently and leave the old > file in place. It is easy to get things working again, but it requires > manual intervention. Here is the most straightforward way to get > things working again: > > On gnu/linux or mac: rm ~/.cabal/packages/hackage.haskell.org/01-index.* > On windows: remove the same files, but from > %appdata%\cabal\packages\hackage.haskell.org > > rerun `cabal update` to fetch a new 01-index. > > Apologies all for the inconvenience and any confusion this may have > caused. There is a PR to fix this behavior in the works, but since the > problem is on the client side, the fix will only improve the > situations for new versions of `cabal`. > > Happy New Years to all, and cheers to a very functional 2018, > Gershom > > p.s.: since the problem comes in unpacking the 01-index.tar.gz into > the 01-index.tar, you can also just untar that file in place manually, > or force cabal into doing the same by running `touch > ~/.cabal/packages/hackage.haskell.org/01-index.tar` > _______________________________________________ > Haskell-Cafe mailing list > To (un)subscribe, modify options or view archives go to: > http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe > Only members subscribed via the mailman list are allowed to post. From crypt17 at gmail.com Sat Jan 6 21:33:48 2018 From: crypt17 at gmail.com (joe skinner) Date: Sat, 06 Jan 2018 21:33:48 +0000 Subject: [Haskell] Haskell port to google fuchsia Message-ID: Hi I have been having a play with this new os and was wondering if there was any work being done on a port of Haskell to this platform. Thanks Joe -------------- next part -------------- An HTML attachment was scrubbed... URL: From ivan.miljenovic at gmail.com Tue Jan 16 23:34:21 2018 From: ivan.miljenovic at gmail.com (Ivan Lazar Miljenovic) Date: Wed, 17 Jan 2018 10:34:21 +1100 Subject: [Haskell] ANNOUNCE: servant-pandoc 0.5.0.0 Message-ID: I'm pleased to announce the latest release of the servant-pandoc library: https://hackage.haskell.org/package/servant-pandoc-0.5.0.0 servant-pandoc allows you to take the documentation created with servant-docs and use Pandoc to convert it into whichever format you want (rather than the Markdown generated by servant-docs). The main changes in this release are to provide compatibility with servant-docs-0.11.1; specifically, servant-pandoc now emits all the information that servant-docs does with the same configuration options. As such, there are behavioural changes which necessitated the major version bump. -- Ivan Lazar Miljenovic Ivan.Miljenovic at gmail.com http://IvanMiljenovic.wordpress.com From carlos.camarao at gmail.com Wed Jan 17 16:08:25 2018 From: carlos.camarao at gmail.com (Carlos Camarao) Date: Wed, 17 Jan 2018 14:08:25 -0200 Subject: [Haskell] SBLP 2018 Call for Papers - XXII Brazilian Symposium on Programming Languages Message-ID: *SBLP 2018: XXII Brazilian Symposium on Programming Languages* ________________________________________________________________________________ Universidade de São Paulo - ICMC/USP São Carlos, Brazil, September 20-21, 2018 Conference website http://www.sbc.org.br/cbsoft2018 Submission link https://easychair.org/conferences/?conf=sblp2018 SBLP 2018 is the 22nd edition of the Brazilian Symposium on Programming Languages. It is promoted by the Brazilian Computer Society (SBC) and constitutes a forum for researchers, students and professionals to present and discuss ideas and innovations in the design, definition, analysis, implementation and practical use of programming languages. SBLP's first edition was in 1996. Since 2010, it is part of CBSoft, the Brazilian Conference on Software: Theory and Practice (http://cbsoft.org/cbsoft2018/). *Submission Guidelines* ________________________________________________________________________________ Papers must be original and not simultaneously submitted to another journal or conference. Papers must be submitted electronically (in PDF format) via the Easychair System: http://www.easychair.org/conferences/?conf=sblp2018. The following paper categories are welcome (page limits include figures, references, and appendices): Full papers: up to 8 pages long in ACM 2-column format, available at http://www.acm.org/publications/article-templates/proceedings-template.html Short papers: up to 3 pages in the same format, can discuss new ideas which are at an early stage of development or can report partial results of on-going dissertations or theses. *List of Topics* (related but not limited to the following) ________________________________________________________________________________ • Programming paradigms and styles, scripting and domain-specific languages and support for real-time, service-oriented, multi-threaded, parallel, and distributed programming • Program generation and transformation • Formal semantics and theoretical foundations: denotational, operational, algebraic and categorical • Program analysis and verification, type systems, static analysis and abstract interpretation • Programming language design and implementation, programming language environments, compilation and interpretation techniques *Program Committee* ________________________________________________________________________________ Mariza Bigonha Universidade Federal de Minas Gerais Roberto Bigonha Universidade Federal de Minas Gerais Andre R. Du Bois Universidade Federal de Pelotas Christiano Braga Universidade Federal Fluminense Carlos Camarão Universidade Federal de Minas Gerais (chair) Fernando Castor Universidade Federal de Pernambuco Renato Cerqueira IBM Research, Brazil Joao Ferreira Teesside University Lucília Figueiredo Universidade Federal de Ouro Preto Ismael Figueroa Pontifícia Universidad Católica de Valparaiso Alex Garcia Instituto Militar de Engenharia Roberto Ierusalimschy Pontifícia Universidade Católica do Rio de Janeiro Yu David Liu State University of New York at Binghamton Hans-Wolfgang Loidl Heriot-Watt University Marcelo Maia Universidade Federal de Uberlândia André M. Maidl Pontifícia Universidade Católica do Paraná Manuel A. Martins Universidade de Aveiro Sérgio Medeiros Universidade Federal do Rio Grande do Norte Victor Miraldo University of Utrecht Álvaro Moreira Universidade Federal do Rio Grande do Sul Anamaria M. Moreira Universidade Federal do Rio de Janeiro Peter Mosses Swansea University Martin Musicante Universidade Federal do Rio Grande do Norte Alberto Pardo Universidad de la República Fernando Pereira Universidade Federal de Minas Gerais Gustavo Pinto Universidade Federal do Pará Louis-Noel Pouchet Ohio State University Zongyan Qiu Peking University Leonardo Reis Universidade Federal de Ouro Preto Rodrigo Ribeiro Universidade Federal de Ouro Preto Noemi Rodriguez Pontifícia Universidade Católica do Rio de Janeiro Francisco Sant'Anna Universidade Estadual do Rio de Janeiro João Saraiva Universidade do Minho Martin Sulzmann Hochschule Karlsruhe - Technik und Wirtschaft (chair) Leopoldo Teixeira Universidade Federal de Pernambuco Varmo Vene University of Tartu *Invited Speaker* ________________________________________________________________________________ Martin Sulzmann, Hochschule Karlsruhe - Technik und Wirtschaft, Germany *Publication* ________________________________________________________________________________ As in previous editions, after the conference authors of selected regular papers will be invited to submit an extended version of their work to be considered for publication in a journal's special issue. Since 2009, selected papers of each SBLP edition are being published in a special issue of Science of Computer Programming, by Elsevier. *Important dates* ________________________________________________________________________________ Abstract submission: April 29th 2018 Paper submission: May 6th 2018 Author notification: June 22nd 2018 Camera ready deadline: July 8th 2018 *Contact* ________________________________________________________________________________ All questions about submissions should be emailed to Carlos Camarão (camarao at dcc.ufmg.br) -------------- next part -------------- An HTML attachment was scrubbed... URL: From simonpj at microsoft.com Thu Jan 18 17:14:03 2018 From: simonpj at microsoft.com (Simon Peyton Jones) Date: Thu, 18 Jan 2018 17:14:03 +0000 Subject: [Haskell] A small milestone Message-ID: Cherished friends Today is my sixtieth birthday. It is just over forty years since Phil and I called in at Yale on my way to FPCA, and floated the idea of Haskell with Paul Hudak. (It wasn't called Haskell then, of course.) Rather a lot of water has flowed under the bridge since then. GHC's bug tracker is up to 14,683 tickets; I have read every one of them. But the best thing is Haskell's rich community of smart, motivated, passionate, and friendly colleagues. There was a time when I knew every Haskell programmer on the planet, but we are far, far beyond that point. Now it's beyond me even to keep up with the huge wave of elegant and creative ideas, tools, libraries, and blog posts that you generate. (Kudos to Taylor - and doubtless other colleagues -- for the Haskell Weekly News, which I love.) But despite its size, it's a community that is still characterised by a love of elegance, and a desire to distil the essence of an idea and encapsulate it in an abstraction, all tempered with respect and tolerance. We don't always live up to these ideals, but by and large we do. Thank you all. Onward and upward! Simon PS: as birthday recreation I'm working on https://ghc.haskell.org/trac/ghc/wiki/QuantifiedContexts -------------- next part -------------- An HTML attachment was scrubbed... URL: From simonpj at microsoft.com Thu Jan 18 17:37:06 2018 From: simonpj at microsoft.com (Simon Peyton Jones) Date: Thu, 18 Jan 2018 17:37:06 +0000 Subject: [Haskell] A small milestone In-Reply-To: References: Message-ID: Hmm. Maybe 1987 was thirty years ago, not forty. Clearly old age saps one’s mental arithmetic. Best to read the paper 😊. Simon From: Haskell-Cafe [mailto:haskell-cafe-bounces at haskell.org] On Behalf Of Simon Peyton Jones via Haskell-Cafe Sent: 18 January 2018 17:14 To: haskell at haskell.org; Haskell Cafe Subject: [Haskell-cafe] A small milestone Cherished friends Today is my sixtieth birthday. It is just over forty thirty years since Phil and I called in at Yale on my way to FPCA, and floated the idea of Haskell with Paul Hudak. (It wasn’t called Haskell then, of course.) Rather a lot of water has flowed under the bridge since then. GHC’s bug tracker is up to 14,683 tickets; I have read every one of them. But the best thing is Haskell’s rich community of smart, motivated, passionate, and friendly colleagues. There was a time when I knew every Haskell programmer on the planet, but we are far, far beyond that point. Now it’s beyond me even to keep up with the huge wave of elegant and creative ideas, tools, libraries, and blog posts that you generate. (Kudos to Taylor – and doubtless other colleagues -- for the Haskell Weekly News, which I love.) But despite its size, it’s a community that is still characterised by a love of elegance, and a desire to distil the essence of an idea and encapsulate it in an abstraction, all tempered with respect and tolerance. We don’t always live up to these ideals, but by and large we do. Thank you all. Onward and upward! Simon PS: as birthday recreation I’m working on https://ghc.haskell.org/trac/ghc/wiki/QuantifiedContexts -------------- next part -------------- An HTML attachment was scrubbed... URL: From simonpj at microsoft.com Mon Jan 22 12:44:52 2018 From: simonpj at microsoft.com (Simon Peyton Jones) Date: Mon, 22 Jan 2018 12:44:52 +0000 Subject: [Haskell] SLURP: a single unified registry for Haskell packages Message-ID: Friends Hackage has been extraordinarily successful as a single repository through which to share Haskell packages. It has supported the emergence of variety of tools to locate Haskell packages, build them and install them (cabal-install, Stack, Nix, ...). But in recent years there has been increasing friction over, * Hackage's policies, especially concerning version bounds; * Hackage's guarantees, especially around durability of package content and metadata; * Hackage's features, especially the visual presentation and package documentation. If we do not resolve this friction, it seems likely that the Haskell library ecosystem will soon "fork", with two separate repositories, one optimised for Cabal and one for Stack. This would be extremely counter-productive for Haskell users. Thus motivated, over the last few months we have talked a lot to colleagues, including ones in the Hackage and Stack communities. We have emerged with SLURP, a proposal that could go a long way towards supporting the upsides of a diverse ecosystem, without the sad downsides of forking into mutually-exclusive sub-communities. Here is the SLURP proposal. We invite the Haskell community to debate it. SLURP is meant to enable both Hackage and Stackage (and perhaps more services in the future) to in the future make choices autonomously without hurting other package services. But it will only work if the implementors of both Hackage and Stackage are willing to participate. We respect their autonomy in this matter, but we urge them to give this proposal serious consideration in the best interests of the community and Haskell's success. We have carefully designed SLURP to be as minimal and non-invasive as possible, so that it can be adopted without much trouble. Of course, we are open to debate about the specific details. We do have an offer from someone willing to implement SLURP. We also strongly urge members of the community to express clear views about the importance --- or otherwise --- of adopting something like SLURP. You are, after all, the community that GHC, Hackage, Stackage, Cabal, etc are designed to serve, so your views about what best meets your needs are critically important. Mathieu Boespflug (@mboes) Manuel Chakravarty (@mchakravarty) Simon Marlow (@simonmar) Simon Peyton Jones (@simonpj) Alan Zimmerman (@alanz) -------------- next part -------------- An HTML attachment was scrubbed... URL: From sabel at ki.informatik.uni-frankfurt.de Tue Jan 23 13:45:53 2018 From: sabel at ki.informatik.uni-frankfurt.de (David Sabel) Date: Tue, 23 Jan 2018 14:45:53 +0100 Subject: [Haskell] PPDP 2018: First Call for Papers Message-ID: ====================================================================== PPDP 2018: First Call for Papers ====================================================================== 20th International Symposium on Principles and Practice of Declarative Programming Frankfurt am Main, Germany, 3-5 September 2018 http://ppdp-lopstr-18.cs.uni-frankfurt.de/ppdp18.html Frankfurt, Germany, September 4-6, 2018 (co-located with LOPSTR 2018 and WFLP 2018) ====================================================================== The PPDP 2018 symposium brings together researchers from the declarative programming communities, including those working in the functional, logic, answer-set, and constraint handling programming paradigms. The goal is to stimulate research in the use of logical formalisms and methods for analyzing, performing, specifying, and reasoning about computations, including mechanisms for concurrency, security, static analysis, and verification. Submissions are invited on all topics related to declaractive programming, from principles to practice, from foundations to applications. Topics of interest include, but are not limited to - Language Design: domain-specific languages; interoperability; concurrency, parallelism, and distribution; modules; probabilistic languages; reactive languages; database languages; knowledge representation languages; languages with objects; language extensions for tabulation; metaprogramming. - Implementations: abstract machines; interpreters; compilation; compile-time and run-time optimization; memory management. - Foundations: types; logical frameworks; monads and effects; semantics. - Analysis and Transformation: partial evaluation; abstract interpretation; control flow; data flow; information flow; termination analysis; resource analysis; type inference and type checking; verification; validation; debugging; testing. - Tools and Applications: programming and proof environments; verification tools; case studies in proof assistants or interactive theorem provers; certification; novel applications of declarative programming inside and outside of CS; declarative programming pearls; practical experience reports and industrial application; education. The PC chair will be happy to advise on the appropriateness of a topic. PPDP will be co-located with the 28th Int'l Symp. on Logic-Based Program Synthesis and Transformation (LOPSTR 2018). Submission Categories ===================== Submissions can be made in three categories: regular Research Papers, System Descriptions, and Experience Reports. Submissions of Research Papers must present original research which is unpublished and not submitted elsewhere. They must not exceed 12 pages ACM style 2-column (including figures, but excluding bibliography). Work that already appeared in unpublished or informally published workshop proceedings may be submitted (please contact the PC chair in case of questions). Research papers will be judged on originality, significance, correctness, clarity, and readability. Submission of System Descriptions must describe a working system whose description has not been published or submitted elsewhere. They must not exceed 10 pages and should contain a link to a working system. System Descriptions must be marked as such at the time of submission and will be judged on originality, significance, usefulness, clarity, and readability. Submissions of Experience Reports are meant to help create a body of published, refereed, citable evidence where declarative programming such as functional, logic, answer-set, constraint programming, etc., is used in practice. They must not exceed 5 pages **including references**. Experience Reports must be marked as such at the time of submission and need not report original research results. They will be judged on significance, usefulness, clarity, and readability. Possible topics for an Experience Report include, but are not limited to: insights gained from real-world projects using declarative programming comparison of declarative programming with conventional programming in the context of an industrial project or a university curriculum curricular issues encountered when using declarative programming in education real-world constraints that created special challenges for an implementation of a declarative language or for declarative programming in general novel use of declarative programming in the classroom programming pearl that illustrates a nifty new data structure or programming technique. Supplementary material may be provided in a clearly marked appendix beyond the above-mentioned page limits. Reviewers are not required to study any material beyond the respective page limit. Format of a submission ====================== For each paper category, you must use the most recent version of the "Current ACM Master Template" which is available at . The most recent version at the time of writing is 1.48. You must use the LaTeX sigconf proceedings template as the conference organizers are unable to process final submissions in other formats. In case of problems with the templates, contact [ACM's TeX support team atAptara](mailto:acmtexsupport at aptaracorp.com). Authors should note [ACM's statement on author'srights](http://authors.acm.org/) which apply to final papers. Submitted papers should meet the requirements of [ACM's plagiarism policy](http://www.acm.org/publications/policies/plagiarism_policy). Requirements for publication ============================ At least one author of each accepted submission will be expected to attend and present the work at the conference. The pc chair may retract a paper that is not presented. The pc chair may also retract a paper if complaints about the paper's correctness are raised which cannot be resolved by the final paper deadline. Important dates =============== - 23.04.2018 paper submission - 14.06.2018 rebuttal period (48 hours) - 25.06.2018 notification - 16.07.2018 final papers - 03.09.2018 conference starts From splash.publicity at gmail.com Mon Jan 29 02:22:39 2018 From: splash.publicity at gmail.com (SPLASH Publicity) Date: Sun, 28 Jan 2018 21:22:39 -0500 Subject: [Haskell] SPLASH 2018: 1st Combined Call for Contributions Message-ID: ACM SIGPLAN SPLASH 2018 November 4-9, 2018 Boston, MA, USA http://2018.splashcon.org The ACM SIGPLAN Conference on Systems, Programming, Languages and Applications: Software for Humanity (SPLASH) embraces all aspects of software construction, to make it the premier conference at the intersection of programming, languages, and software engineering. We invite high quality submissions describing original and unpublished work. Combined Call for Contributions: * SPLASH Workshops * PACMPL Issue OOPSLA * Onward! Papers * Onward! Essays * Dynamic Languages Symposium (DLS) * Generative Programming: Concepts & Experiences (GPCE) * Software Language Engineering (SLE) * SPLASH-E * Posters * Doctoral Symposium * Student Research Competition * Student Volunteers ## SPLASH Workshops Following its long-standing tradition, SPLASH 2018 will host a variety of high quality workshops, allowing their participants to meet and discuss research questions with peers, to mature new and exciting ideas, and to build up communities and start new collaborations. SPLASH workshops complement the main tracks of the conference and provide meetings in a smaller and more specialized setting. Workshops cultivate new ideas and concepts for the future, optionally recorded in formal proceedings. Submissions are currently being accepted on “a rolling basis” with 6 out of 15 available slots already filled by the middle of January. The rolling call will close on Sat March 3, 2018. http://2018.splashcon.org/track/splash-2018-Workshops ## PACMPL Issue OOPSLA Papers may target any stage of software development, including requirements, modeling, prototyping, design, implementation, generation, analysis, verification, testing, evaluation, maintenance, and reuse of software systems. Contributions may include the development of new tools (such as language front-ends, program analyses, and runtime systems), new techniques (such as methodologies, design processes, and code organization approaches), new principles (such as formalisms, proofs, models, and paradigms), and new evaluations (such as experiments, corpora analyses, user studies, and surveys). Submissions due: Mon April 16, 2018 http://2018.splashcon.org/track/splash-2018-OOPSLA ## Onward! Papers Onward! is a premier multidisciplinary conference focused on everything to do with programming and software: including processes, methods, languages, communities, and applications. Onward! is more radical, more visionary, and more open than other conferences to ideas that are well-argued but not yet proven. We welcome different ways of thinking about, approaching, and reporting on programming language and software engineering research. Submissions due: Mon April 23, 2018 https://2018.onward-conference.org/track/onward-2018-papers ## Onward! Essays Onward! Essays is looking for clear and compelling pieces of writing about topics important to the software community. An essay can be long or short. An essay can be an exploration of the topic and its impact, or a story about the circumstances of its creation; it can present a personal view of what is, explore a terrain, or lead the reader in an act of discovery; it can be a philosophical digression or a deep analysis. It can describe a personal journey, perhaps the one the author took to reach an understanding of the topic. The subject area—software, programming, and programming languages—should be interpreted broadly and can include the relationship of software to human endeavors, or its philosophical, sociological, psychological, historical, or anthropological underpinnings. Submissions due: Mon April 23, 2018 https://2018.onward-conference.org/track/onward-2018-Onward-Essays ## Dynamic Languages Symposium (DLS) >From Lisp, Snobol, and Smalltalk to Python, Racket, and Javascript, Dynamic Languages have been playing a fundamental role both in programming research and practice. DLS is the premier forum for researchers and practitioners to share research and experience on all aspects of Dynamic Languages. DLS invites high quality papers reporting original research and experience related to the design, implementation, and applications of dynamic languages. Submissions due: Sun July 1, 2018 http://www.dynamic-languages-symposium.org/dls-18/index.html ## Generative Programming: Concepts & Experiences (GPCE) The International Conference on Generative Programming: Concepts & Experience (GPCE) is a venue for researchers and practitioners interested in techniques and tools for code generation, language implementation, and metaprogramming. GPCE seeks conceptual, theoretical, empirical, and technical contributions to its topics of interest, which include but are not limited to (i) program transformation, staging, macro systems, preprocessors, program synthesis, and code-recommendation systems, (ii) domain-specific languages, language embedding, language design, and language workbenches, (iii) feature-oriented programming, domain engineering, and feature interactions, (iv) applications and properties of code generation, language implementation, and product-line development. Abstracts due: Fri June 29, 2018 Submissions due: Fri July 6, 2018 http://2018.splashcon.org/track/gpce-2018 ## Software Language Engineering (SLE) Software Language Engineering (SLE) is the discipline of engineering languages and their tools required for the creation of software. It abstracts from the differences between programming languages, modelling languages, and other software languages, and emphasizes the engineering facet of the creation of such languages, that is, the establishment of the scientific methods and practices that enable the best results. SLE 2018 solicits high quality contributions in areas ranging from theoretical and conceptual contributions, to tools, techniques, and frameworks in the domain of software language engineering. Abstracts due: Fri June 29, 2018 Submissions due: Fri July 6, 2018 http://2018.splashcon.org/track/sle-2018/papers ## Posters The SPLASH Poster track provides an excellent forum for authors to present their recent or ongoing projects in an interactive setting, and receive feedback from the community. We invite submissions covering any aspect of programming, systems, languages and applications. The goal of the poster session is to encourage and facilitate small groups of individuals interested in a technical area to gather and interact at any desired level of detail. To further facilitate, we will also host 15-minute demo sessions for interested presenters. The poster session and demo presentations are held early in the conference to promote continued discussion among interested parties. Submissions due: Sat September 22, 2018 http://2018.splashcon.org/track/splash-2018-Posters ## Doctoral Symposium The SPLASH Doctoral Symposium provides students with useful guidance for completing their dissertation research and beginning their research careers. The symposium will provide an interactive forum for doctoral students who have progressed far enough in their research to have a structured proposal, but will not be defending their dissertation in the next 12 months. Submissions due: Fri July 20, 2018 http://2018.splashcon.org/track/splash-2018-Doctoral-Symposium ## Student Research Competition The ACM Student Research Competition (SRC), sponsored by Microsoft Research, offers a unique forum for ACM student members at the undergraduate and graduate levels to present their original research at SPLASH before a panel of judges and conference attendees. The SRC gives visibility to not only up-and-coming young researchers, but also exposes them to the field of computer science research and its community. This competition also gives students an opportunity to discuss their research with experts in their field, get feedback, and to help them sharpen their communication and networking skills. Submissions due: Fri July 27, 2018 https://2018.splashcon.org/track/splash-2018-Student-Research-Competition ## Student Volunteers The SPLASH Student Volunteers program provides an opportunity for students from around the world to associate with some of the leading personalities in industry and research in the following areas: programming languages, object-oriented technology and software development. Student volunteers contribute to the smooth running of the conference by performing tasks such as: assisting with registration, providing information about the conference to attendees, assisting session organizers and monitoring sessions. Detailed information on how to apply will be available on the main conference page in March 2018. Estimated deadline for the SV applications will be towards the end of September 2018. https://2018.splashcon.org/track/splash-2018-Student-Volunteers ## Information Contact: publicity at splashcon.org Website: http://2018.splashcon.org Location: Boston Park Plaza Hotel Boston, MA USA ## Organization SPLASH General Chair: * Jan Vitek (Northeastern University) OOPSLA Program Chair: * Manu Sridharan (Uber) Onward! Papers Chair: * Elisa Gonzalez Boix (Vrije Universiteit Brussel) Onward! Essays Chair: * Richard P. Gabriel (Dream Songs, Inc & HPI) DLS Program Chair: * Tim Felgentreff (Oracle Labs, Potsdam) GPCE General Chair: * Matthew Flatt (University of Utah) GPCE Program Chair: * Sebastian Erdweg (TU Delft) SLE General Chair: * David Pearce (Victoria University of Wellington) SLE Program Co-Chairs: * Tanja Mayerhofer (TU Wien) * Friedrich Steimann (Fernuniversität) SPLASH-I Co-Chairs: * Karim Ali (University of Alberta) * Michael Carbin (MIT) Workshops Co-Chairs: * Arjun Guha (University of Massachusetts Amherst) * Alex Potanin (Victoria University of Wellington) OOPLSA Artifact Evaluation Co-Chairs: * Sam Tobin-Hochstadt (Indiana University) * Jan Vitek (Northeastern University) Posters Co-Chairs: * Paley Li (Czech Technical University in Prague) * Konrad Siek (Czech Technical University in Prague) Doctoral Symposium Chair: * Philipp Haller (KTH Royal Institute of Technology) Student Research Competition Co-Chairs: * Shan Shan Huang (LogicBlox) * Jay McCarthy (University of Massachusetts Lowell) Student Volunteers Co-Chairs: * Juliana Franco (Imperial College London) * Petr Maj (ReactorLabs) Publications Chair: * Tijs van der Storm (CWI & University of Groningen) * Fabio Niephaus (Hasso Plattner Institute, University of Potsdam) Publicity Co-Chairs: * Jonathan Bell (George Mason University) * Celeste Hollenbeck (Northeastern University) Housing Chair: * Ben Greenman (Northeastern University) Diversity Chair: * Etiene Dalcol (Red Badger) Accessibility Chair: * Justin Slepak (Northeastern University) Sponsorships Co-Chairs: * Tocker Taft (AdaCore) * Heather Miller (Northeastern University) Video Co-Chairs: * Benjamin Chung (Northeastern University) * Leif Andersen (Northeastern University) Web Co-Chairs: * Aviral Goel (Northeastern University) * Filip Krikava (Czech Technical University) From biheldamien at gmail.com Tue Jan 30 09:42:43 2018 From: biheldamien at gmail.com (Damien BIHEL) Date: Tue, 30 Jan 2018 10:42:43 +0100 Subject: [Haskell] LiftA2 over fmap Message-ID: In the documentation here it's written that for some functors liftA2 has better performance than fmap. Does anyone have any examples ? Regards, -- Damien Bihel R&D (Research & Development) Engineer at ELRA (European Language Resources Association) E-Mail: biheldamien at gmail.com -------------- next part -------------- An HTML attachment was scrubbed... URL: From ekmett at gmail.com Tue Jan 30 10:41:32 2018 From: ekmett at gmail.com (Edward Kmett) Date: Tue, 30 Jan 2018 05:41:32 -0500 Subject: [Haskell] LiftA2 over fmap In-Reply-To: References: Message-ID: > In particular, if fmap is an expensive operation, it is likely better to use liftA2 than to (fmap over the structure *and then use <*> )* . (emphasis and parens added). Consider any data constructor that has a strict spine and look at f <$> m <*> n This has to walk `m` twice. Once for the fmap on the first argument, and once for the <*>, but the liftA2 version can walk `m` once fusing things together. -Edward On Tue, Jan 30, 2018 at 4:42 AM, Damien BIHEL wrote: > In the documentation here > > it's written that for some functors liftA2 has better performance than > fmap. Does anyone have any examples ? > > Regards, > > -- > Damien Bihel > R&D (Research & Development) Engineer at ELRA (European Language Resources > Association) > E-Mail: biheldamien at gmail.com > > _______________________________________________ > Haskell mailing list > Haskell at haskell.org > http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell > > -------------- next part -------------- An HTML attachment was scrubbed... URL: