From ayoub.nouri at univ-grenoble-alpes.fr Fri Sep 1 13:25:14 2017 From: ayoub.nouri at univ-grenoble-alpes.fr (Ayoub Nouri) Date: Fri, 1 Sep 2017 15:25:14 +0200 Subject: [Haskell] RV 2017 - Last Call for Participation Message-ID: 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 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 -- -------------- next part -------------- An HTML attachment was scrubbed... URL: From aquagnu at gmail.com Fri Sep 1 15:04:06 2017 From: aquagnu at gmail.com (Baa) Date: Fri, 1 Sep 2017 18:04:06 +0300 Subject: [Haskell] [Haskell-beginners] Restrict type in phantom data-type In-Reply-To: References: <20170901171802.2819db2e@Pavel> Message-ID: <20170901180406.28cf810d@Pavel> 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 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 at haskell.org > > http://mail.haskell.org/cgi-bin/mailman/listinfo/beginners > _______________________________________________ > Beginners mailing list > Beginners at haskell.org > http://mail.haskell.org/cgi-bin/mailman/listinfo/beginners From david.feuer at gmail.com Fri Sep 1 15:08:42 2017 From: david.feuer at gmail.com (David Feuer) Date: Fri, 1 Sep 2017 11:08:42 -0400 Subject: [Haskell] [Haskell-beginners] Restrict type in phantom data-type In-Reply-To: <20170901180406.28cf810d@Pavel> References: <20170901171802.2819db2e@Pavel> <20170901180406.28cf810d@Pavel> Message-ID: This is off-topic for this list. This list is for announcements. This belongs on haskell-cafe at haskell.org On Sep 1, 2017 11:05 AM, "Baa" wrote: > 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 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 at haskell.org > > > http://mail.haskell.org/cgi-bin/mailman/listinfo/beginners > > _______________________________________________ > > Beginners mailing list > > Beginners at haskell.org > > http://mail.haskell.org/cgi-bin/mailman/listinfo/beginners > > _______________________________________________ > 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 kaposi.ambrus at gmail.com Mon Sep 4 14:04:32 2017 From: kaposi.ambrus at gmail.com (Ambrus Kaposi) Date: Mon, 4 Sep 2017 16:04:32 +0200 Subject: [Haskell] TYPES 2017 post-proceedings open call for papers Message-ID: 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 at gu.se Gothenburg University, Sweden Fredrik Nordvall Forsberg fredrik.nordvall-forsberg at strath.ac.uk University of Strathclyde, United Kingdom Ambrus Kaposi akaposi at inf.elte.hu Eötvös Loránd University, Hungary From wim.ectors at uhasselt.be Tue Sep 5 09:47:55 2017 From: wim.ectors at uhasselt.be (Wim Ectors) Date: Tue, 5 Sep 2017 02:47:55 -0700 Subject: [Haskell] [SEIT 2018] 8th International Conference on Sustainable Energy Information Technology. Porto, Portugal (May 8-11, 2018) Message-ID: -------------- 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 -------------- next part -------------- An HTML attachment was scrubbed... URL: From splash.publicity at gmail.com Wed Sep 13 21:39:07 2017 From: splash.publicity at gmail.com (SPLASH Publicity) Date: Wed, 13 Sep 2017 14:39:07 -0700 Subject: [Haskell] SPLASH 2017: 1st Call for Participation Message-ID: 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 at 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 at 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-overview * 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#program # 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 From bob.atkey at gmail.com Thu Sep 14 08:42:48 2017 From: bob.atkey at gmail.com (Robert Atkey) Date: Thu, 14 Sep 2017 09:42:48 +0100 Subject: [Haskell] =?utf-8?q?The_University_of_Strathclyde=E2=80=99s_Globa?= =?utf-8?q?l_Talent_Programme_-_Security_and_Data_Sciences?= Message-ID: <5cd03ae4-14bd-bce8-97d6-97d170607a9e@gmail.com> 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/strategicareas/securitydatasciences/ Best regards Robert Atkey (for Neil Ghani, HoD) From dominique.devriese at cs.kuleuven.be Fri Sep 15 11:19:16 2017 From: dominique.devriese at cs.kuleuven.be (Dominique Devriese) Date: Fri, 15 Sep 2017 11:19:16 +0000 Subject: [Haskell] Call for Presentations on Secure Compilation (PriSC Workshop @ POPL'18) Message-ID: ===================================================================== Call for Presentations on Secure Compilation (PriSC Workshop @ POPL'18) ===================================================================== Secure compilation is an emerging field that puts together advances in programming languages, security, verification, systems, compilers, and hardware architectures in order to devise secure compiler chains that eliminate many of today's low-level vulnerabilities. Secure compilation aims to protect high-level language abstractions in compiled code, even against adversarial low-level contexts, and to allow sound reasoning about security in the source language. The emerging secure compilation community aims to achieve this by: identifying and formalizing properties that secure compilers must possess; devising efficient enforcement mechanisms; and developing effective verification and proof techniques. ===================================================================== 2nd Workshop on Principles of Secure Compilation (PriSC 2018) ===================================================================== The Workshop on Principles of Secure Compilation (PriSC) is a new informal 1-day workshop without any proceedings. The goal is to identify interesting research directions and open challenges and to bring together researchers interested in secure compilation. The 2nd PriSC edition will be held on Saturday, 13 January 2018, in Los Angeles, together with the ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL). More information at http://popl18.sigplan.org/track/prisc-2018 ===================================================================== Important Dates ===================================================================== Presentation proposal submission deadline: 18 October 2017, AoE Presentation proposal notification: 8 November 2017 PriSC Workshop takes place: 13 January 2018 ===================================================================== Scope of the Workshop ===================================================================== Anyone interested in presenting at the workshop should submit an extended abstract (up to 2 pages, details below). This can cover past, ongoing, or future work. Any topic that could be of interest to the emerging secure compilation community is in scope. Talks that provide a useful outside view or challenge the community are also welcome. Topics of interest include but are **not** limited to: - attacker models for secure compiler chains - secure compilation properties: full abstraction, memory safety, control-flow integrity, preserving non-interference or (hyper-)properties against adversarial contexts, secure multi-language interoperability - enforcement mechanisms: static checking, program verification, reference monitoring, program rewriting, software fault isolation, system-level protection, secure hardware, crypto, randomization - experimental evaluation and applications of secure compilation - proof methods: (bi)simulation, logical relations, game semantics, multi-language semantics, embedded interpreters - formal verification of secure compilation chain (protection mechanisms, compilers, linkers, loaders), machine-checked proofs, translation validation, property-based testing ===================================================================== Guidelines for Submitting Extended Abstracts ===================================================================== Extended abstracts should be submitted in PDF format and not exceed 2 pages. They should be formatted in two-column layout, 10pt font, and be printable on A4 and US Letter sized paper. We recommend using the new `acmart` LaTeX style in `sigplan` mode: http://www.sigplan.org/sites/default/files/acmart/current/acmart-sigplanproc.zip Submissions are not anonymous and should provide sufficient detail to be assessed by the program committee. Presentation at the workshop does not preclude publication elsewhere. Please submit your extended abstracts at https://prisc18.hotcrp.com/ ===================================================================== Short Talks Session ===================================================================== We will also run a short talks session, where participants get five minutes to present intriguing ideas, advertise ongoing work, etc. You can expect a call for short talks closer to the event. ===================================================================== Program Committee ===================================================================== Program Chair Catalin Hritcu Inria Paris Members Amal Ahmed Inria Paris and Northeastern University Lars Birkedal Aarhus University Dominique Devriese KU Leuven Cédric Fournet Microsoft Research Deepak Garg MPI-SWS Xavier Leroy Inria Paris David Naumann Stevens Institute of Technology Marco Patrignani MPI-SWS Frank Piessens KU Leuven Tamara Rezk Inria Sophia Antipolis Nikhil Swamy Microsoft Research ===================================================================== Organizing Committee ===================================================================== Amal Ahmed Inria Paris and Northeastern University Dominique Devriese KU Leuven Deepak Garg MPI-SWS Catalin Hritcu Inria Paris Marco Patrignani MPI-SWS Tamara Rezk Inria Sophia Antipolis ===================================================================== Contact and More Information ===================================================================== More information about PriSC 2018 can be found on the website: http://popl18.sigplan.org/track/prisc-2018 For questions please contact Catalin Hritcu (Program Chair). To make sure you receive such announcements in the future please subscribe to the following low-traffic mailing list: https://lists.gforge.inria.fr/mailman/listinfo/prisc-announce -------------- next part -------------- An HTML attachment was scrubbed... URL: From jtd at galois.com Fri Sep 15 23:07:54 2017 From: jtd at galois.com (Jonathan Daugherty) Date: Fri, 15 Sep 2017 16:07:54 -0700 Subject: [Haskell] [ANN] First release of Tart, an ASCII art drawing program Message-ID: <20170915230754.ek5t34lccw2sbg2b@galois.com> I'm pleased to announce the first public release of Tart, a program for making ASCII art. Tart runs in the terminal and lets you draw ASCII art using your mouse similar to image-editing programs. Tart is on Hackage: http://hackage.haskell.org/package/tart Tart is intended to be a usable tool but is also a demonstration of how to write mouse-driven terminal programs using my "brick" library: http://hackage.haskell.org/package/brick Feature highlights: * Drawing tools: freehand, line, box, flood fill, text string * Utility tools: repaint, restyle, eyedropper, eraser * Named image layers with reordering and visibility toggling * Set foreground color, background color, and text style independently * Full mouse interaction and keyboard shortcuts * Paste text from clipboard into canvas * Undo and redo * Text styles: bold, blink, underline, reverse video * Load and save ASCII art files (binary) * Save plain versions of ASCII art for embedding in documents * Save color versions of ASCII art with terminal escape sequences for printing to terminals * Import existing plaintext files as the basis for new ASCII art files -- Jonathan Daugherty Software Engineer Galois, Inc. From wolfgang-it at jeltsch.info Mon Sep 18 22:27:32 2017 From: wolfgang-it at jeltsch.info (Wolfgang Jeltsch) Date: Tue, 19 Sep 2017 01:27:32 +0300 Subject: [Haskell] Haskell in Leipzig 2017: 1st call for participation Message-ID: <1505773652.6842.7.camel@jeltsch.info> Event:    Haskell in Leipzig 2017 Time:     October 26–28, 2017 Place:    HTWK Leipzig, Germany Homepage: https://hal2017.softbase.org/ About ===== Haskell is a modern functional programming language that allows rapid development of robust and correct software. It is renowned for its expressive type system, its unique approaches to concurrency and parallelism, and its excellent refactoring capabilities. Haskell is both the playing field of cutting-edge programming language research and a reliable base for commercial software development. The workshop series Haskell in Leipzig (HaL), now in its 12th year, brings together Haskell developers, Haskell researchers, Haskell enthusiasts, and Haskell beginners to listen to talks, take part in tutorials, join in interesting conversations, and hack together. To support the latter, HaL will include a one-day hackathon this year. The workshop will have a focus on functional reactive programming (FRP) this time, while continuing to be open to all aspects of Haskell. As in the previous year, the workshop will be in English. Invited Speaker ===============   * Ivan Perez, University of Nottingham, UK Invited Performer =================   * Lennart Melzer, Robert-Schumann-Hochschule Düsseldorf, Germany Registration ============ Registration information is available on the web page of the local organizers at http://nfa.imn.htwk-leipzig.de/HAL2017/. Program Committee =================   * Edward Amsden, Plow Technologies, USA   * Heinrich Apfelmus, Germany   * Jurriaan Hage, Utrecht University, The Netherlands   * Petra Hofstedt, BTU Cottbus-Senftenberg, Germany   * Wolfgang Jeltsch, Tallinn University of Technology, Estonia (chair)   * Andres Löh, Well-Typed LLP, Germany   * Keiko Nakata, SAP SE, Germany   * Henrik Nilsson, University of Nottingham, UK   * Ertuğrul Söylemez, Intelego GmbH, Germany   * Henning Thielemann, Germany   * Niki Vazou, University of Maryland, USA   * Johannes Waldmann, HTWK Leipzig, Germany Questions ========= If you have any questions, please do not hesitate to contact Wolfgang Jeltsch at wolfgang-it at jeltsch.info. From wolfgang-it at jeltsch.info Wed Sep 20 12:25:11 2017 From: wolfgang-it at jeltsch.info (Wolfgang Jeltsch) Date: Wed, 20 Sep 2017 15:25:11 +0300 Subject: [Haskell] Haskell in Leipzig 2017: 1st call for participation In-Reply-To: References: <1505773652.6842.7.camel@jeltsch.info> Message-ID: <1505910311.13108.44.camel@jeltsch.info> Hi! Thank you for the suggestion. I will see what we can do. All the best, Wolfgang Am Mittwoch, den 20.09.2017, 13:38 +0700 schrieb Kim-Ee Yeoh: > Hi Wolfgang, > > May I respectfully suggest that the talks be video recorded and made > viewable on the internet? > > The benefits are too many to name; not least is the fact that they > will popularize your conference and increase the turnout for the next > HaL. > > Best, > Kim Ee > > > On Tuesday, September 19, 2017, Wolfgang Jeltsch > info> wrote: > > Event:    Haskell in Leipzig 2017 > > Time:     October 26–28, 2017 > > Place:    HTWK Leipzig, Germany > > Homepage: https://hal2017.softbase.org/ > > > > > > About > > ===== > > > > Haskell is a modern functional programming language that allows > > rapid > > development of robust and correct software. It is renowned for its > > expressive type system, its unique approaches to concurrency and > > parallelism, and its excellent refactoring capabilities. Haskell is > > both > > the playing field of cutting-edge programming language research and > > a > > reliable base for commercial software development. > > > > The workshop series Haskell in Leipzig (HaL), now in its 12th year, > > brings together Haskell developers, Haskell researchers, Haskell > > enthusiasts, and Haskell beginners to listen to talks, take part in > > tutorials, join in interesting conversations, and hack together. To > > support the latter, HaL will include a one-day hackathon this year. > > The > > workshop will have a focus on functional reactive programming (FRP) > > this > > time, while continuing to be open to all aspects of Haskell. As in > > the > > previous year, the workshop will be in English. > > > > > > Invited Speaker > > =============== > > > >   * Ivan Perez, University of Nottingham, UK > > > > > > Invited Performer > > ================= > > > >   * Lennart Melzer, Robert-Schumann-Hochschule Düsseldorf, Germany > > > > > > Registration > > ============ > > > > Registration information is available on the web page of the local > > organizers at http://nfa.imn.htwk-leipzig.de/HAL2017/. > > > > > > Program Committee > > ================= > > > >   * Edward Amsden, Plow Technologies, USA > >   * Heinrich Apfelmus, Germany > >   * Jurriaan Hage, Utrecht University, The Netherlands > >   * Petra Hofstedt, BTU Cottbus-Senftenberg, Germany > >   * Wolfgang Jeltsch, Tallinn University of Technology, Estonia > > (chair) > >   * Andres Löh, Well-Typed LLP, Germany > >   * Keiko Nakata, SAP SE, Germany > >   * Henrik Nilsson, University of Nottingham, UK > >   * Ertuğrul Söylemez, Intelego GmbH, Germany > >   * Henning Thielemann, Germany > >   * Niki Vazou, University of Maryland, USA > >   * Johannes Waldmann, HTWK Leipzig, Germany > > > > > > Questions > > ========= > > > > If you have any questions, please do not hesitate to contact > > Wolfgang > > Jeltsch at wolfgang-it at jeltsch.info. > > _______________________________________________ > > Haskell mailing list > > Haskell at haskell.org > > http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell > > > > --  > -- Kim-Ee -------------- next part -------------- An HTML attachment was scrubbed... URL: From chisvasileandrei at gmail.com Wed Sep 20 14:46:03 2017 From: chisvasileandrei at gmail.com (Andrei Chis) Date: Wed, 20 Sep 2017 09:46:03 -0500 Subject: [Haskell] Call for Participation: SLE 2017 (10th ACM SIGPLAN International Conference on Software Language Engineering) Message-ID: ======================================================================== ** Call for Participation ** 10th ACM SIGPLAN International Conference on Software Language Engineering (SLE 2017) 23-24 October 2017, Vancouver, Canada (Collocated with SPLASH 2017) http://conf.researchr.org/track/sle-2017/sle-2017-papers http://www.sleconf.org/2017 Follow us on twitter: https://twitter.com/sleconf ======================================================================== Software Language Engineering (SLE) is the application of systematic, disciplined, and measurable approaches to the development, use, deployment, and maintenance of software languages. The term "software language" is used broadly, and includes: general-purpose programming languages; domain-specific languages (e.g. BPMN, Simulink, Modelica); modeling and metamodeling languages (e.g. SysML and UML); data models and ontologies (e.g. XML-based and OWL-based languages and vocabularies). ** REGISTRATION ** Friday, 22 September 2017 (Early Registration Deadline) Contact: info at splashcon.org http://2017.splashcon.org/attending/registration ** VENUE ** Hyatt Regency Vancouver Hotel reservations: https://2017.splashcon.org/venue/hyattregency ## Program Highlights ### Keynote - Peter D. Mosses Engineering meta-languages for specifying software languages https://conf.researchr.org/track/sle-2017/sle-2017-papers#Keynote-Peter-D-Mosses ### Awards During the conference, we will announce the following awards: - Distinguished paper. Award for most notable paper, as determined by the PC chairs based on the recommendations of the program committee. - Distinguished reviewer. Award for distinguished reviewer, as determined by the PC chairs using feedback from the authors. - Distinguished artefact. Award for the artifact most significantly exceeding expectations, as determined by the AEC chairs based on the recommendations of the artifact evaluation committee. Sponsored by Raincode. ### Accepted Papers - Metacasanova: an optimized meta-compiler for Domain-Specific Languages, Francesco Di Giacomo, Mohamed Abbadi, Agostino Cortesi, Pieter Spronck, Giuseppe Maggiore - Safe Modular Parsing, Haoyuan Zhang, Huang Li, Bruno C. d. S. Oliveira - Concrete Syntax: A Multi-Paradigm Approach, Yentl Van Tendeloo, Simon Van Mierlo, Bart Meyers, Hans Vangheluwe - A Domain-Specific Controlled English Language for Automated Regulatory Compliance, Suman Roychoudhury, Sagar Sunkle, Deepali Kholkar, Vinay Kulkarni - Debugging with Domain-Specific Events, Xiangqi Li, Matthew Flatt - Deep Priority Conflicts in the Wild - A Pilot Study, Luís Eduardo de Souza Amorim, Michael J. Steindorfer, Eelco Visser - Comparison of the Expressiveness and Performance of Template-based Code Generation Tools, Lechanceux Luhunu, Eugene Syriani - Incremental Packrat Parsing, Patrick Dubroy, Alessandro Warth - Ensuring Non-interference of Composable Language Extensions, Ted Kaminski, Eric Van Wyk - A Formalisation of Parameterised Reference Attribute Grammars, Scott Buckley, Anthony Sloane - A Symbol-based Extension of Parsing Expression Grammars and Context-Sensitive Packrat Parsing, Kimio Kuramitsu - Structural Model Subtyping with OCL Constraints, Artur Boronat - A Requirements Engineering Approach for Usability-Driven DSL Development, Ankica Barisic, Dominique Blouin, Vasco Amaral, Miguel Goulao - Tool Demonstration: A development environment for the Alf language within the MagicDraw UML tool, Ed Seidewitz - FlowSpec: Declarative Dataflow Analysis Specification, Jeff Smits, Eelco Visser - Robust Programs with Filtered Iterators, Jiasi Shen, Martin Rinard - Energy Efficiency across Programming Languages: How does energy, time, and memory relate?, Rui Pereira, Marco Couto, Francisco Ribeiro, Rui Rua, Jácome Cunha, João Paulo Fernandes, João Saraiva - Concurrent Circular Reference Attribute Grammars, Jesper Öqvist, Görel Hedin - Better Call the Crowd. Using Crowdsourcing to Shape your Domain-Specific Languages, Marco Brambilla, Jordi Cabot, Javier Luis Canovas Izquierdo, Andrea Mauri - Robust Projectional Editing, Friedrich Steimann, Marcus Frenkel, Markus Voelter - Towards a Taxonomy of Grammar Smells, Mats Stijlaart, Vadim Zaytsev - Red Shift: Procedural Shift-Reduce Parsing, Nicolas Laurent - Virtual Textual Model Composition for Supporting Maintenance and Aspect-Orientation, Robert Bill, Patrick Neubauer, Manuel Wimmer - A Chrestomathy of DSL implementations, Simon Schauss, Ralf Lämmel, Johannes Härtel, Marcel Heinz, Kevin Klein, Lukas Härtel, Thorsten Berger -------------- next part -------------- An HTML attachment was scrubbed... URL: From splash.publicity at gmail.com Fri Sep 22 01:42:23 2017 From: splash.publicity at gmail.com (SPLASH Publicity) Date: Thu, 21 Sep 2017 18:42:23 -0700 Subject: [Haskell] SPLASH 2017: Final Call for Participation Message-ID: 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) <-- very soon! * Contact: info at splashcon.org * Register: http://2017.splashcon.org/attending/registration * Venue: http://2017.splashcon.org/venue/hyattregency # 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 at 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-overview * 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#program # 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 From wim.ectors at uhasselt.be Wed Sep 27 10:15:26 2017 From: wim.ectors at uhasselt.be (Wim Ectors) Date: Wed, 27 Sep 2017 03:15:26 -0700 Subject: [Haskell] [ANT2018] 9th International 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: December 15, 2017 - 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) 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 - Real-time Big Data Stream Mining Architecture - 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 Martine Collard, University of the French West Indies, France Amine Dhraief, Manouba University, Tunisia Roberto Di Pietro, Roma Tre University of Rome, Italy 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 Flavio Lombardi, Roma Tre University of Rome, Italy Ahmed Nait Sidi Moh, University of Picardie Jules Verne, France Francesco Pilla, Trinity College Dublin, Ireland Cristina Seceleanu, Mälardalen University, Västerås, Sweden Khaled Shaaban, Qatar University, Qatar 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 Sep 27 12:33:46 2017 From: wim.ectors at uhasselt.be (Wim Ectors) Date: Wed, 27 Sep 2017 05:33:46 -0700 Subject: [Haskell] [SEIT 2018] 8th International Conference on Sustainable Energy Information Technology. Porto, Portugal (May 8-11, 2018) Message-ID: -------------- 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 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, 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 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 pepm.workshop at gmail.com Thu Sep 28 04:23:40 2017 From: pepm.workshop at gmail.com (PEPM Workshop) Date: Thu, 28 Sep 2017 13:23:40 +0900 Subject: [Haskell] PEPM 2018 Final Call for Papers Message-ID: PEPM 2018 FINAL CALL FOR PAPERS =============================== The submission site is now open: https://pepm18.hotcrp.com Only one week until the paper submission deadline (6th October AoE)! Highlights ---------- PEPM 2018 welcomes submissions on * semantics based and machine-learning based program synthesis and program optimisation, and * modelling, analysis, and transformation techniques for distributed and concurrent protocols and programs, such as session types, linear types, and contract specifications, in addition to traditional PEPM topics. Do submit a short paper if you want to get feedback for your work in progress! If requested, short papers can be left out of the proceedings so that the results can be published elsewhere. New in this call ---------------- Invited talks by Alex Aiken, Conal Elliott, and Jan Midtgaard. Short papers should include the words “short paper” somewhere in their title, and will be evaluated primarily on the basis of their ideas rather than finished execution. -- CALL FOR PAPERS -- ACM SIGPLAN Workshop on PARTIAL EVALUATION AND PROGRAM MANIPULATION (PEPM) 2018 =============================================================================== * Website : http://popl18.sigplan.org/track/PEPM-2018 * Time : 8th – 9th January 2018 * Place : Los Angeles, CA, US (co-located with POPL 2018) The ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM), which has a history going back to 1991 and has co-located with POPL every year since 2006, originates in the discoveries of practically useful automated techniques for evaluating programs with only partial input. Over the years, the scope of PEPM has expanded to include a variety of research areas centred around the theme of semantics-based program manipulation — the systematic exploitation of treating programs not only as subject to black-box execution, but also as data structures that can be generated, analysed, and transformed while establishing or maintaining important semantic properties. Scope ----- In addition to the traditional PEPM topics (see below), PEPM 2018 welcomes submissions in new domains, in particular: * Semantics based and machine-learning based program synthesis and program optimisation. * Modelling, analysis, and transformation techniques for distributed and concurrent protocols and programs, such as session types, linear types, and contract specifications. More generally, topics of interest for PEPM 2018 include, but are not limited to: * Program and model manipulation techniques such as: supercompilation, partial evaluation, fusion, on-the-fly program adaptation, active libraries, program inversion, slicing, symbolic execution, refactoring, decompilation, and obfuscation. * Techniques that treat programs/models as data objects including metaprogramming, generative programming, embedded domain-specific languages, program synthesis by sketching and inductive programming, staged computation, and model-driven program generation and transformation. * Program analysis techniques that are used to drive program/model manipulation such as: abstract interpretation, termination checking, binding-time analysis, constraint solving, type systems, automated testing and test case generation. * Application of the above techniques including case studies of program manipulation in real-world (industrial, open-source) projects and software development processes, descriptions of robust tools capable of effectively handling realistic applications, benchmarking. Examples of application domains include legacy program understanding and transformation, DSL implementations, visual languages and end-user programming, scientific computing, middleware frameworks and infrastructure needed for distributed and web-based applications, embedded and resource-limited computation, and security. This list of categories is not exhaustive, and we encourage submissions describing new theories and applications related to semantics-based program manipulation in general. If you have a question as to whether a potential submission is within the scope of the workshop, please contact the programme co-chairs, Fritz Henglein (http://www.diku.dk/~henglein/) and Josh Ko (https://josh-hs-ko.github.io). Submission categories and guidelines ------------------------------------ Two kinds of submissions will be accepted: Regular Research Papers and Short Papers. * Regular Research Papers should describe new results, and will be judged on originality, correctness, significance, and clarity. Regular research papers must not exceed 12 pages (excluding bibliography). * Short Papers may include tool demonstrations and presentations of exciting if not fully polished research, and of interesting academic, industrial, and open-source applications that are new or unfamiliar; they will be evaluated primarily on the basis of their ideas rather than finished execution. Short papers must not exceed 6 pages (excluding bibliography), and should include the words “short paper” somewhere in their title. Both kinds of submissions should be typeset using the two-column ‘sigplan’ sub-format of the new ‘acmart’ format available at: http://sigplan.org/Resources/Author/ and submitted electronically via HotCRP: https://pepm18.hotcrp.com/ PEPM 2018 will employ lightweight double-blind reviewing according to the rules of POPL 2018. Quoting from POPL 2018’s call for papers: “submitted papers must adhere to two rules: 1. author names and institutions must be omitted, and 2. references to authors’ own related work should be in the third person (e.g., not “We build on our previous work ...” but rather “We build on the work of ...”). The purpose of this process is to help the PC and external reviewers come to an initial judgment about the paper without bias, not to make it impossible for them to discover the authors if they were to try. Nothing should be done in the name of anonymity that weakens the submission or makes the job of reviewing the paper more difficult. In particular, important background references should not be omitted or anonymized. In addition, authors should feel free to disseminate their ideas or draft versions of their paper as they normally would. For instance, authors may post drafts of their papers on the web or give talks on their research ideas.” See POPL 2018’s Submission and Reviewing FAQ page for more information: http://popl18.sigplan.org/track/POPL-2018-papers#Submission-and-Reviewing-FAQ Submissions are welcome from PC members (except the two co-chairs) provided that there are non-PC co-authors. Accepted papers will appear in formal proceedings published by ACM, and be included in the ACM Digital Library. Authors of short papers, however, can ask for their papers to be left out of the formal proceedings. At least one author of each accepted contribution must attend the workshop and present the work. In the case of tool demonstration papers, a live demonstration of the described tool is expected. Student participants with accepted papers can apply for a SIGPLAN PAC grant to help cover travel expenses and other support. PAC also offers other support, such as for child-care expenses during the meeting or for travel costs for companions of SIGPLAN members with physical disabilities, as well as for travel from locations outside of North America and Europe. For details on the PAC programme, see its web page. Important dates --------------- * Paper submission deadline : Friday 6th October 2017 (AoE) (firm) * Author notification : Saturday 4th November 2017 * Workshop : Monday 8th – Tuesday 9th January 2018 The proceedings will be published 2 weeks pre-conference. AUTHORS TAKE NOTE: The official publication date is the date the proceedings are made available in the ACM Digital Library. This date may be up to two weeks prior to the first day of your conference. The official publication date affects the deadline for any patent filings related to published work. (For those rare conferences whose proceedings are published in the ACM Digital Library after the conference is over, the official publication date remains the first day of the conference.) Best paper award ---------------- PEPM 2018 continues the tradition of a Best Paper award. The winner will be announced at the workshop. Invited speakers ---------------- Alex Aiken (Stanford University) Conal Elliott (Target) Jan Midtgaard (University of Southern Denmark) Programme committee ------------------- Nada Amin (EPFL) Shigeru Chiba (University of Tokyo) Ezgi Çiçek (Max Planck Institute for Software Systems) Olivier Danvy (Yale-NUS College) Ronald Garcia (University of British Columbia) Simon Gay (University of Glasgow) Andy Gill (X, the Moonshot Factory) Fritz Henglein (co-chair) (University of Copenhagen) Anastasia Izmaylova (IMC Financial Markets) Johan Jeuring (Utrecht University) Gabriele Keller (University of New South Wales) Oleg Kiselyov (Tohoku University) Hsiang-Shang Ko (co-chair) (National Institute of Informatics) Ralf Lämmel (University of Koblenz-Landau) Julia Lawall (Inria) Simon Peyton Jones (Microsoft Research Cambridge) Frank Pfenning (Carnegie Mellon University) Sriram Rajamani (Microsoft Research India) Norman Ramsey (Tufts University) Thomas Reps (University of Wisconsin-Madison) Sergei Romanenko (Keldysh Institute of Applied Mathematics) Tiark Rompf (Purdue University) Wolfram Schulte (Facebook) Peter Sestoft (IT University of Copenhagen) Harald Søndergaard (University of Melbourne) Kohei Suenaga (Kyoto University) Martin Vechev (ETH Zurich) Marcos Viera (University of the Republic) Nobuko Yoshida (Imperial College London) From martin.sulzmann.haskell at googlemail.com Fri Sep 29 11:20:20 2017 From: martin.sulzmann.haskell at googlemail.com (Martin Sulzmann) Date: Fri, 29 Sep 2017 13:20:20 +0200 Subject: [Haskell] FLOPS2018: Second CFP Message-ID: SECOND Call For Papers FLOPS 2018: 14th International Symposium on Functional and Logic Programming In-Cooperation with ACM SIGPLAN 9-11 May, 2018, Nagoya, Japan http://www.sqlab.jp/FLOPS2018/ Writing down detailed computational steps is not the only way of programming. The alternative, being used increasingly in practice, is to start by writing down the desired properties of the result. The computational steps are then (semi-)automatically derived from these higher-level specifications. Examples of this declarative style include functional and logic programming, program transformation and re-writing, and extracting programs from proofs of their correctness. FLOPS aims to bring together practitioners, researchers and implementors of the declarative programming, to discuss mutually interesting results and common problems: theoretical advances, their implementations in language systems and tools, and applications of these systems in practice. The scope includes all aspects of the design, semantics, theory, applications, implementations, and teaching of declarative programming. FLOPS specifically aims to promote cross-fertilization between theory and practice and among different styles of declarative programming. Scope FLOPS solicits original papers in all areas of the declarative programming: * functional, logic, functional-logic programming, re-writing systems, formal methods and model checking, program transformations and program refinements, developing programs with the help of theorem provers or SAT/SMT solvers; * foundations, language design, implementation issues (compilation techniques, memory management, run-time systems), applications and case studies. FLOPS promotes cross-fertilization among different styles of declarative programming. Therefore, submissions must be written to be understandable by the wide audience of declarative programmers and researchers. Submission of system descriptions and declarative pearls are especially encouraged. Submissions should fall into one of the following categories: * Regular research papers: they should describe new results and will be judged on originality, correctness, and significance. * System descriptions: they should contain a link to a working system and will be judged on originality, usefulness, and design. * Declarative pearls: new and excellent declarative programs or theories with illustrative applications. System descriptions and declarative pearls must be explicitly marked as such in the title. Submissions must be unpublished and not submitted for publication elsewhere. Work that already appeared in unpublished or informally published workshops proceedings may be submitted. See also ACM SIGPLAN Republication Policy. Proceedings The proceedings will be published by Springer International Publishing in the Lecture Notes in Computer Science (LNCS) series, as a printed volume as well as online in the digital library SpringerLink. Post-proceedings: The authors of 4-7 best papers will be invited to submit the extended version of their FLOPS paper to a special issue of the journal Science of Computer Programming (SCP). Important dates 13 November 2017 (any time zone): Abstract Submission 20 November 2017 (any time zone): Submission deadline 15 January 2018: Author notification 9-11 May 2018: FLOPS Symposium Invited Talks To be announced Submission Submissions must be written in English and can be up to 15 pages long including references, though pearls are typically shorter. The formatting has to conform to Springer's guidelines. Regular research papers should be supported by proofs and/or experimental results. In case of lack of space, this supporting information should be made accessible otherwise (e.g., a link to a Web page, or an appendix). Papers should be submitted electronically at https://easychair.org/conferences/?conf=flops2018 Program Committee Andreas Rossberg Google, Germany Atsushi Ohori Tohoku University, Japan Bruno C. D. S. Oliveira The University of Hong Kong, China Carsten Fuhs Birkbeck, University of London, UK Chung-chieh Shan Indiana University, USA Didier Remy INRIA, France Harald Søndergaard The University of Melbourne, Australia Jacques Garrigue Nagoya University, Japan Jan Midtgaard University of Southern Denmark, Denmark Joachim Breitner University of Pennsylvania, USA John Gallagher Roskilde University, Denmark and IMDEA Software Institute, Spain (co-chair) Jorge A Navas SRI International, USA Kazunori Ueda Waseda University, Japan Kenny Zhuo Ming Lu School of Information Technology, Nanyang Polytechnic, Singapore María Alpuente Universitat Politècnica de València, Spain María Garcia De La Banda Monash University, Australia Martin Sulzmann Karlsruhe University of Applied Sciences, Germany (co-chair) Meng Wang University of Kent, UK Michael Codish Ben-Gurion University of the Negev, Israel Michael Leuschel University of Düsseldorf, Germany Naoki Kobayashi University of Tokyo, Japan Nikolaj Bjørner Microsoft Research, USA Robert Glück University of Copenhagen, Denmark Samir Genaim Universidad Complutense de Madrid, Spain Siau Cheng Khoo National University of Singapore, Singapore Organizers Martin Sulzmann Karlsruhe University of Applied Sciences (co-chair) John Gallagher Roskilde University and IMDEA Software Institute (co-chair) Makoto Tatsuta National Institute of Informatics, Japan (General Chair) Koji Nakazawa Nagoya University, Japan (Local Chair) -------------- next part -------------- An HTML attachment was scrubbed... URL: