September 2017 - Haskell

The University of Strathclyde’s Global Talent Programme - Security and Data Sciences
by Robert Atkey 14 Sep '17

14 Sep '17

Dear All, The University of Strathclyde’s Global Talent Programme - Security and Data Sciences are currently recruiting, The available posts are for Chancellor’s Fellows, Professors and Readers. This multi-disciplinary research area includes research that addresses major challenges in the key areas of: * Machine Learning: Investigating the science of getting computers to learn how to behave in specific ways, something which underpins many intelligent devices. * Data Science: inventing a scientific approach to extract knowledge and meaning from data. The focus of data science is analytics; uncovering patterns to describe data or predicting existing data sets. * Computer Science (Cyber Security): Working to successfully protect our computer systems and stored data, enabling businesses to operate successfully. Please consider applying, or pass on to anyone you think might be interested. Information about these vacancies and submitting applications can be found at https://www.strath.ac.uk/workwithus/strathclydeglobaltalentprogramme/strate… Best regards Robert Atkey (for Neil Ghani, HoD)

1 0

SPLASH 2017: 1st Call for Participation
by SPLASH Publicity 13 Sep '17

13 Sep '17

ACM SIGPLAN SPLASH 2017 October 22-27, 2017 Vancouver, Canada http://2017.splashcon.org https://twitter.com/splashcon https://www.facebook.com/SPLASHCon/ 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. # Registration * 22 September 2017 (Early Deadline) * Contact: info(a)splashcon.org * http://2017.splashcon.org/attending/registration # What's Happening at SPLASH? ## Keynotes * Lera Boroditsky (Onward!) How the languages we speak shape the way we think * Danny Dig (GPCE) The landscape of refactoring research in the last decade * Chris Granger (SPLASH) Eve: tackling a giant with a change in perspective * Crista Lopes (SPLASH) Objects in the age of data * Peter D. Mosses (SLE) Engineering meta-languages for specifying software languages * Filip Pizlo (DLS) The JavaScriptCore Virtual Machine ## Workshop Keynotes * Nada Amin (Meta) * Phil Bernstein (AGERE!) * Luke Church (LIVE) * Ron Garcia (DSLDI) * Sumit Gulwani (PLATEAU) * Norm Hardy (OCAP) * Reid Holmes (CoCos) * Julia Rubin (FOSD) * Karan Singh (SAVR) * Mario Wolczko (VMIL) ## Conference Program * https://2017.splashcon.org/program/program-splash-2017 ## SPLASH-I SPLASH-I is a series of research and industry talks, demos, and panels that address topics relevant to the SPLASH community. The SPLASH-I series is held in parallel with the OOPSLA main track. Talks are open to all attendees. * https://2017.splashcon.org/track/splash-2017-SPLASH-I#program ## Research Tracks and Co-Located Conferences and Symposia * OOPSLA https://2017.splashcon.org/track/splash-2017-OOPSLA#program * Onward! Essays https://2017.onward-conference.org/track/onward-2017-essays-2017#program * Onward! Papers https://2017.onward-conference.org/track/onward-2017-Onward-Papers#program * GPCE - Generative Programming: Concepts and Experience https://conf.researchr.org/track/gpce-2017/gpce-2017-GPCE-2017#program * SLE - Software Language Engineering https://conf.researchr.org/track/sle-2017/sle-2017-papers#event-overview * DLS - Dynamic Languages Symposium https://conf.researchr.org/track/dls-2017/dls-2017#program * Scala Symposium https://conf.researchr.org/track/scala-2017/scala-2017-papers * SPLASH-E https://2017.splashcon.org/track/splash-2017-SPLASH-E ## Workshops SPLASH 2017 is hosting a record number of 18 workshops this year. * AGERE! - Programming based on Actors, Agents, and Decentralized Control https://2017.splashcon.org/track/agere-2017 * CoCoS - Comprehension of Complex Systems https://2017.splashcon.org/track/cocos-2017 * DSLDI - Domain-Specific Languages Design and Implementation https://2017.splashcon.org/track/dsldi-2017#event-overview * Escaped - Escaped from the Lab https://2017.splashcon.org/track/escaped-2017 * FOSD - Feature-Oriented Software Development https://2017.splashcon.org/track/fosd-2017 * LIVE - Live Programming https://2017.splashcon.org/track/live-2017#program * Meta - Meta-Programming Techniques and Reflection https://2017.splashcon.org/track/meta-2017 * NJR - National Java Resource https://2017.splashcon.org/track/njr-2017 * NOOL - New Object-Oriented Languages https://2017.splashcon.org/track/nool-2017 * OCAP - Object-Capability Languages, Systems, and Applications https://2017.splashcon.org/track/ocap-2017 * PLATEAU - Evaluation and Usability of Programming Languages and Tools https://2017.splashcon.org/track/plateau-2017#Accepted-Papers * PX/17.2 - Programming Experience https://2017.splashcon.org/track/px-17-2 * Parsing - Parsing@SLE https://2017.splashcon.org/track/parsing-2017 * REBLS - Reactive and Event-Based Languages and Systems https://2017.splashcon.org/track/rebls-2017 * SAVR - Software for Augmented Virtual Reality https://2017.splashcon.org/track/savr-2017 * SEPS - Software Engineering for Parallel Systems https://2017.splashcon.org/track/seps-2017 * VMIL - Virtual Machines and Intermediate Languages https://2017.splashcon.org/track/vmil-2017 * WODA - Workshop on Dynamic Analysis https://2017.splashcon.org/track/woda-2017 ## Other Events * Doctoral Symposium https://2017.splashcon.org/track/splash-2017-Doctoral-Symposium#event-overv… * PL Mentoring Workshop https://2017.splashcon.org/track/splash-2017-PLMW#program * Posters https://2017.splashcon.org/track/splash-2017-Posters * Student Research Competition https://2017.splashcon.org/track/splash-2017-Student-Research-Competition#p… # Supporters SPLASH is kindly supported by the following organizations: * ACM: http://www.acm.org/ * SIGPLAN: http://www.sigplan.org/ * Facebook (Silver): https://research.facebook.com/ * LLVM Foundation (Silver): https://llvm.org/foundation/index.html * Mozilla (Silver): https://www.mozilla.org/en-US/ * Raincode Labs (Silver): https://www.raincodelabs.com/ * Microsoft Research (Bronze): https://www.microsoft.com/en-us/research/ Interested in supporting SPLASH 2017? See our support options here: https://2017.splashcon.org/attending/sponsorship

1 0

[SEIT 2018] 8th International Conference on Sustainable Energy Information Technology. Porto, Portugal (May 8-11, 2018)
by Wim Ectors 05 Sep '17

05 Sep '17

-------------- Call for Papers ---------------------- 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: December 15, 2017 - Acceptance Notification: February 5, 2018 - Camera-Ready Submission: March 5, 2018 The goal of the SEIT-17 conference is to provide an international forum for scientists, engineers, and managers in academia, industry, and government to address recent research results and to present and discuss their ideas, theories, technologies, systems, tools, applications, work in progress and experiences on all theoretical and practical issues arising in sustainable energy information technology. All SEIT 2017 accepted papers will be published by Elsevier Science in the open-access Procedia Computer Science series on-line. Procedia Computer Sciences is hosted on www.Elsevier.com and on Elsevier content platform ScienceDirect (www.sciencedirect.com) and will be freely available worldwide. All papers in Procedia will be indexed by Scopus (www.scopus.com) and by Thomson Reuters' Conference Proceeding Citation Index http://thomsonreuters.com/conference-proceedings-citation-index/. The papers will contain linked references, XML versions and citable DOI numbers. You will be able to provide a hyperlink to all delegates and direct your conference website visitors to your proceedings. All accepted papers will also be indexed in DBLP (http://dblp.uni-trier.de/) Selected papers will be invited for publication in an international journal. SEIT 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 Jo‹o Pascoal Faria, Portugal Workshops Chairs Hui Hou, Wuhan University of Technology, China Haroon Malik, Marshall University, USA Advisory Committee Bilal A. Akash, Dhofar University, Oman Antonio J. Conejo, Universidad de Castilla - La Mancha, Spain Derek J Croome, University of Reading, UK Geert Deconinck, KU Leuven, Belgium Jatin Nathwani, University of Waterloo, Canada Saffa Riffat, University of Nottingham, UK Ali Sayigh,World Renewable Energy Congress / Network Publicity Chairs Mohamed Amine Ferrag, Guelma University, Algeria Ilan Stern, Georgia Institute of Technology, USA Technical Program Committee http://cs-conferences.acadiau.ca/seit-18/#programCommittees

1 0

TYPES 2017 post-proceedings open call for papers
by Ambrus Kaposi 04 Sep '17

04 Sep '17

Abstract submission deadline 16 October 2017 Open call for papers Post-proceedings of the 23rd International Conference on Types for Proofs and Programs TYPES 2017 TYPES is a major forum for the presentation of research on all aspects of type theory and its applications. TYPES 2017 was held between 29 May and 1 June in Budapest, Hungary. The post-proceedings volume will be published in LIPIcs, Leibniz International Proceedings in Informatics, an open-access series of conference proceedings (http://www.dagstuhl.de/en/publications/lipics) Submission to this post-proceedings volume is open to everyone, also to those who did not participate in the conference. We would like to invite all researchers that study and apply type systems to share their results. In particular, we welcome submissions on the following topics: * Foundations of type theory and constructive mathematics; * Homotopy type theory; * Applications of type theory; * Dependently typed programming; * Industrial uses of type theory technology; * Meta-theoretic studies of type systems; * Proof assistants and proof technology; * Automation in computer-assisted reasoning; * Links between type theory and functional programming; * Formalizing mathematics using type theory; * Type theory in linguistics. IMPORTANT DATES * Abstract submission: 16 October 2017 * Paper submission: 23 October 2017 * Author notification: 26 March 2018 DETAILS * Papers have to be formatted with lipics.cls and adhere to the style requirements of LIPIcs. http://www.dagstuhl.de/en/publications/lipics/instructions-for-authors/ * The recommended length of a paper is 15-25 pages. Submissions significantly longer than 25 pages will not be considered. * Papers have to be submitted in pdf through EasyChair: https://easychair.org/conferences/?conf=types2017postproceed * Authors have the option to attach to their submission a zip or tgz file containing code (formalized proofs or programs), but reviewers are not obliged to take those attachments into account and they will not be published. * More information is available on http://types2017.elte.hu/#postproc * In case of questions, please contact one of the editors. EDITORS Andreas Abel andreas.abel(a)gu.se Gothenburg University, Sweden Fredrik Nordvall Forsberg fredrik.nordvall-forsberg(a)strath.ac.uk University of Strathclyde, United Kingdom Ambrus Kaposi akaposi(a)inf.elte.hu Eötvös Loránd University, Hungary

1 0

Re: [Haskell] [Haskell-beginners] Restrict type in phantom data-type
by Baa 01 Sep '17

01 Sep '17

David, hello! 1. Is it the same/different as: data family Day a data Sunny data Rainy data instance Day Sunny = SunnyDay deriving Show data instance Day Rainy = RainyDay deriving Show ..and here you can not create `Day Int` object because no `Day Int` constructor (but you can create such constructor) ? Or in case with type families there is possibility to extend it to `Day Int` and in case with DayaKinds it's totally impossible? 2. I read somewhere (on forums) that restrictions on data types... I don't remember exactly, but something like they are not real restrictions or are related to old extension which is/will be deprecated. I'm not sure. Also, I'm not sure is it - in your example - restriction (constraint) or something else. Am I wrong? > This is maybe edging toward haskell-cafe territory, but you can > definitely do this in haskell. > > {-# LANGUAGE DataKinds, KindSignatures #-} > > data DayType = Sunny | Rainy > > data Day (a :: DayType) = Day > > > sunnyDay :: Day Sunny > sunnyDay = Day > > rainyDay :: Day Rainy > rainyDay = Day > > -- impossibleDay :: Day () > -- impossibleDay = Day > > On Fri, Sep 1, 2017 at 10:18 AM, Baa <aquagnu(a)gmail.com> wrote: > > Hello, List! > > > > For example, I have specialized (right nameis phantom?) type: > > > > data Day a = Day { ... no `a` here } > > data Sunny > > data Rainy > > > > joyToday :: Day Sunny -> IO () > > joyToday day = ... > > > > melancholyToday :: Day Rainy -> IO () > > melancholyToday day = ... > > > > And I can create (in spite of that it's phantom) some day: > > > > let day1 = Day {...} :: Day Sunny > > joyToday day1 > > > > but no problem to create `Day Int`, `Day Char`, etc which is > > pointless actually (sure "creator"-function can be exported from the > > module only, but I'm talking about type-level solution). > > > > I know that constraints (`... =>`) on data types are > > redundant/removed from the language. And I'm not sure how it's > > possible to restrict that parameter `a` (I know that it's possible > > to Java/C++/Perl6 (not sure), some other languages but how to add > > such restriction in Haskell? IMHO type families can help but I'm > > not sure how it will look (Sunny, Rainy are "nullary" type, so...). > > > > Is it possible for Haskell too? > > > > === > > Best regards, Paul > > _______________________________________________ > > Beginners mailing list > > Beginners(a)haskell.org > > http://mail.haskell.org/cgi-bin/mailman/listinfo/beginners > _______________________________________________ > Beginners mailing list > Beginners(a)haskell.org > http://mail.haskell.org/cgi-bin/mailman/listinfo/beginners

2 1

RV 2017 - Last Call for Participation
by Ayoub Nouri 01 Sep '17

01 Sep '17

LAST CALL FOR PARTICIPATION RV’17 - RUNTIME VERIFICATION 2017 The 17th International Conference on Runtime Verification September 13-16 2017, Seattle, WA, USA Website: http://rv2017.cs.manchester.ac.uk <http://rv2017.cs.manchester.ac.uk/> Program: http://easychair.org/smart-program/RV2017/ RV-CuBES Program: http://easychair.org/smart-program/RV-CuBES2017/ Affiliated Event: RV-CuBES - An International Workshop on Competitions, Usability, Benchmarks, Evaluation, and Standardisation for Runtime Verification Tools === OVERVIEW === Runtime verification is concerned with the monitoring and analysis of the runtime behaviour of software and hardware systems. Runtime verification techniques are crucial for system correctness, reliability, and robustness; they provide an additional level of rigor and effectiveness compared to conventional testing, and are generally more practical than exhaustive formal verification. Runtime verification can be used prior to deployment, for testing, verification, and debugging purposes, and after deployment for ensuring reliability, safety, and security and for providing fault containment and recovery as well as online system repair. Topics of interest to the conference include: specification languages monitor construction techniques program instrumentation logging, recording, and replay combination of static and dynamic analysis specification mining and machine learning over runtime traces monitoring techniques for concurrent and distributed systems runtime checking of privacy and security policies statistical model checking metrics and statistical information gathering program/system execution visualization fault localization, containment, recovery and repair integrated vehicle health management (IVHM) Application areas of runtime verification include cyber-physical systems, safety/mission-critical systems, enterprise and systems software, autonomous and reactive control systems, health management and diagnosis systems, and system security and privacy. === INVITED TALKS === Rodrigo Fonseca, Brown University, USA: “The Design and Applications for a Tracing Plane for Distributed Systems” Vlad Levin and Jakob Lichtenberg, Microsoft, USA: “Windows Driver Verification Platform” Andreas Zeller, Saarland University, Germany: “Learning Input Languages for Runtime Verification” === TUTORIALS === Ankush Desai and Shaz Qadeer, UC Berkeley and Microsoft Research, USA: “P : Modular and Safe Asynchronous Programming” Madhusudan Parthasarathy, University of Illinois at Urbana-Champaign, USA: “Machine-learning State Properties” Adrian Francalanza, University of Malta, Malta: “Foundations For Runtime Monitoring” === VENUE === The 17th International Conference on Runtime Verification will be held in the Sheraton Seattle Hotel situated in downtown Seattle. The venue is within walking distance of the famous Pike Place Market, Seattle Art Museum, Seattle Aquarium, and the Historic Seattle Waterfront. The weather in September still permits many open-air opportunities to shop, eat, and even sail in the Elliott Bay. Exceptionally well organized, Seattle’s public transport connects the conference venue with the Seattle Center, which is the home of popular attractions like the Space Needle, EMP Museum, and Chihuly Garden and Glass. === REGISTRATION === Registration is available using the web-based registration form, with online payment on a secure website. Please use one form per attendee. Different possibilities of registration are available: Tutorial Day Only (13th September): 210 USD Conference including tutorial day and RV-CuBES (13-16th September) Full Registration: 780 USD Student Registration: 580 USD === Program Committee === Wolfgang Ahrendt, Chalmers Univ. of Technology/Univ. of Gothenburg, Sweden Cyrille Artho, KTH Royal Institute of Technology, Sweden Howard Barringer,The University of Manchester, UK Ezio Bartocci,Vienna University of Technology, Austria Andreas Bauer,KUKA Systems, Germany Saddek Bensalem,VERIMAG (University of Grenoble Alpes), France Eric Bodden, Paderborn University / Fraunhofer IEM, Germany Borzoo Bonakdarpour, McMaster University, Canada Christian Colombo,University of Malta, Malta Ylies Falcone,University of Grenoble Alpes, France Grigory Fedyukovich,University of Washington, USA Lu Feng,University of Virginia, USA Patrice Godefroid,Microsoft Research, USA Jean Goubault-Larrecq,CNRS & ENS de Cachan, France Alex Groce,Northern Arizona University, USA Radu Grosu,Vienna University of Technology, Austria Sylvain Hallé,University of Québec at Chicoutimi, Canada Marieke Huisman, University of Twente, Netherlands Franjo Ivancic,Google, USA Bengt Jonsson,Uppsala University, Sweden Felix Klaedtke,NEC Europe Ltd. Rahul Kumar,Microsoft Research, USA Kim Larsen,Aalborg University, Denmark Insup Lee,University of Pennsylvania, USA Axel Legay,Inria Rennes, France Martin Leucker,University of Lübeck, Germany Ben Livshits,Imperial College, UK David Lo,Singapore Management University, Singapore Francesco Logozzo,Facebook, USA Parthasarathy Madhusudan,University of Illinois at Urbana-Champaign, USA Leonardo Mariani, University of Milan Bicocca, Italy Madan Musuvathi,Microsoft Research, USA Ayoub Nouri,University of Grenoble Alpes, France Gordon Pace,University of Malta, Malta Doron Peled,Bar Ilan University, Israel Grigore Rosu,University of Illinois at Urbana-Champaign, USA Veselin Raychev,ETH Zurich, Switzerland Cesar Sanchez,IMDEA Software Institute, Spain Gerardo Schneider,Chalmers Univ. of Technology/Univ. of Gothenburg, Sweden Rahul Sharma,Microsoft Research, India Julien Signoles,CEA LIST, France Scott Smolka,Stony Brook University, USA Oleg Sokolsky,University of Pennsylvania, USA Bernhard Steffen,University of Dortmund, Germany Scott Stoller, Stony Brook University, USA Volker Stolz,Western Norway University of Applied Sciences, Norway Frits Vaandrager,Radboud University, Netherlands Neil Walkinshaw,University of Leicester, UK Chao Wang,University of Southern California, USA Eugen Zalinescu,Technische Universitat München, Germany === CHAIRS AND ORGANIZERS === General Chair Klaus Havelund, NASA Jet Propulsion Laboratory, USA Program Chairs Shuvendu Lahiri, Microsoft Research, USA Giles Reger, University of Manchester, UK Finance Chair Oleg Sokolsky, University of Pennsylvania, USA Publicity Chair Ayoub Nouri, University of Grenoble Alpes, France Local Organisation Chairs Grigory Fedyukovich, University of Washington, USA Rahul Kumar, Microsoft Research, USA RV-CuBES, PC chairs Giles Reger, University of Manchester, UK Klaus Havelund, NASA Jet Propulsion Laboratory, USA === SPONSORS === Microsoft Springer --- end --

1 0