June 2016 - Haskell - Haskell.org

Haskell Developer Position at Scrive
by Jonathan Jouty 21 Jun '16

21 Jun '16

Hi, Cross-posting from StackOverflow [1] and Reddit [2]. We have a job opportunity at Scrive [3]. The company is based in Stockholm, Sweden, but the business is global and working in the Stockholm office is optional as most of the development team is working remotely already. We are looking for someone in GMT±3 to be reachable during CET/CEST office hours. Feel free to ask me questions. Applications on StackOverflow please (best apply by July 24th). Thanks. [1] https://stackoverflow.com/jobs/118855/haskell-backend-developer-scrive [2] https://www.reddit.com/r/haskell/comments/4p3s00/haskell_developer_position… [3] https://stackoverflow.com/jobs/companies/scrive PS. Hope mailing the list is appropriate, I subscribe on my private account and have seen postings before. Cheers! -- Jonathan Jouty *Lead Developer* at *Scrive* www.scrive.com

1 0

WFLP 2016 - Final Call for Papers
by Janis Voigtlaender 21 Jun '16

21 Jun '16

Register an abstract within the next 48 hours, and a full paper, work-in-progress report or system description 7 days later! *********************************************************** 24th International Workshop on Functional and (Constraint) Logic Programming (WFLP 2016) https://wflp2016.github.io/ September 13-14, part of the Leipzig Week of Declarative Programming (L-DEC 2016) Formal proceedings will be published by EPTCS (http://www.eptcs.org/) Both full technical papers and less formal work-in-progress report submissions are welcome, as are system descriptions. More details below and on the web page. *********************************************************** Deadlines: * abstract submission: June 22, 2016 (extended) * paper submission: June 29, 2016 (extended) * notification: July 15, 2016 * camera-ready (workshop) version due: August 10, 2016 Submissions can be directly accepted for publication in the formal EPTCS proceedings, or accepted for presentation at the workshop and invited to another round of reviewing after revision. *********************************************************** The international workshops on functional and (constraint) logic programming aim at bringing together researchers, students, and practitioners interested in functional programming, logic programming, and their integration. This year the workshop is co-located with two other events as part of http://nfa.imn.htwk-leipzig.de/LDEC2016/ in order to promote the cross-fertilizing exchange of ideas and experiences among and between the communities interested in the foundations, applications, and combinations of high-level, declarative programming languages and related areas. Topics of interest for WFLP include (but are not limited to): * Functional programming * Logic programming * Constraint programming * Deductive databases, data mining * Extensions of declarative languages, objects * Multi-paradigm declarative programming * Foundations, semantics, nonmonotonic reasoning, dynamics * Parallelism, concurrency * Program analysis, abstract interpretation * Program transformation, partial evaluation, meta-programming * Specification, verification, declarative debugging * Knowledge representation, machine learning * Interaction of declarative programming with other formalisms * Implementation of declarative languages * Advanced programming environments and tools * Software engineering for declarative programming * Applications The primary focus is on new and original research results, but submissions describing innovative products, prototypes under development, application systems, or interesting experiments (e.g., benchmarks) are also encouraged. There are separate submission categories for work-in-progress reports and system descriptions. Authors are welcome to indicate that they want to present their work in a talk but not include a paper in the formal proceedings. Submission is via EasyChair at https://easychair.org/conferences/?conf=wflp2016 The formal proceedings are prepared jointly with WLP 2016 and will be published in EPTCS: http://www.eptcs.org/ More details about submission format, LaTeX style etc., can be found on the web page: https://wflp2016.github.io/ *********************************************************** Program Committee: * Slim Abdennadher, German University in Cairo, Egypt * Sergio Antoy, Portland State University, USA * Sebastian Fischer, Freelancer, Germany * Francisco J. Lopez Fraguas, Universidad Complutense de Madrid, Spain * Michael Hanus, University of Kiel, Germany * Sebastiaan Joosten, University of Innsbruck, Austria * Kazutaka Matsuda, Tohoku University, Japan * Martin Sulzmann, Karlsruhe University of Applied Sciences, Germany * Janis Voigtlaender (Chair), University of Bonn, Germany

1 0

[Caml-list] Call for contribution, PLRR 2016 (Parametricity, Logical Relations & Realizability), EXTENDED DEADLINE
by Christophe Raffalli 21 Jun '16

21 Jun '16

LAST CALL FOR CONTRIBUTIONS EXTENDED DEADLINE Workshop PLRR 2016 Parametricity, Logical Relations & Realizability September 2, Marseille, France http://lama.univ-savoie.fr/plrr2016 Satellite workshop - CSL 2016 http://csl16.lif.univ-mrs.fr/ BACKGROUND The workshop PLRR 2016 aims at presenting recent work on parametricity, logical relations and realizability, and encourage interaction between those communities. The areas of interest include, but are not limited to: * Kleene's intuitionistic realizability, * Krivine's classical realizability, * other extensions of the Curry-Howard correspondence, * links between forcing and the Curry-Howard correspondence, * parametricity, * logical relations, * categorical models, * applications to programming languages. INVITED SPEAKERS Neil Ghani (University of Strathclyde) Nick Benton (Microsoft Research, Cambridge) CONTRIBUTED TALKS We solicit contributed talks based on extended abstracts of 2 pages. Submission are handled by easychair: https://easychair.org/conferences/?conf=plrr2016 IMPORTANT DATES Submission of abstracts: June 15, 2016 (EXTENDED TO JULY 1, 2016) Notification of acceptance: July 15, 2016 REGISTRATION via the main CSL 2016 website: http://csl16.lif.univ-mrs.fr/ VENUE Collocated with CSL 2016, hosted by Aix-Marseille Universit�. Both the main conference and its satellite workshops will be held in the city center campus of the Faculty of Science (Central Building). SCIENTIFIC COMMITTEE Pierre Hyvernat (Universit� Savoie Mont Blanc) Rodolphe Lepigre (Universit� Savoie Mont Blanc) Alexandre Miquel (Universidad de la Rep�blica, Montevideo) Christophe Raffalli (Universit� Savoie Mont Blanc) Thomas Streicher (Technische Universit�t Darmstadt) CONTACT Pierre.Hyvernat(a)univ-smb.fr

1 0

Haskell eXchange 2016 - call for contributions
by Andres Löh 21 Jun '16

21 Jun '16

Hi everyone. The 5th edition of the Haskell eXchange is going to take place on October 6 and 7 in London, and we are still looking for contributions on all aspects of Haskell (and related programming languages). It does not matter whether you are going to present your own project or want to explain someone else's work. Talks can be about expert topics, but we also particularly invite talks aimed at beginners. You can offer short talks, normal talks or hands-on tutorials. The topic can range from purely theoretical research to practical experience reports, or even be something that we would never have thought about ... Please check https://skillsmatter.com/conferences/7276-haskell-exchange-2016 for more detailed information as well as the submission page. The deadline is soon: 30 June 2016. Registration is also open. Cheers, Andres

1 0

Call for Participation: 3rd Virtual Machine Meetup, September 1-2, Lugano, Switzerland
by Andrea Rosa 20 Jun '16

20 Jun '16

Call for Participation: VMM’16 ============================== 3rd Virtual Machine Meetup Co-located with PPPJ September 1-2, 2016, Lugano, Switzerland http://vmmeetup.github.io/2016/ The 3rd Virtual Machine Meetup (VMM'16) is a venue for discussing the latest research and developments in the area of managed language execution. It will be held on 1st and 2nd of September at the Università della Svizzera italiana (USI), Lugano, Switzerland and is part of the Managed Languages & Runtimes Week 2016 (http://manlang16.inf.usi.ch/, other colocated events are PPPJ'16 and JTRES'16, room Auditorium from 9am - 5pm). We welcome presentations of new research results, experience reports, as well as position statements that can lead to interesting discussions. Topics include, but are not limited to: - Programming language design - Dynamic and static program analysis - Compiler construction - Managed runtime architectures - Data processing engines - Distributed execution environments To participate, please email thomas.wuerthinger(a)oracle.com<mailto:thomas.wuerthinger@oracle.com> stating your wish to attend, and your name and affiliation as you wish to have them on your name badge. There are limited participant slots due to the constraints of the room, so please register early, and by July 20th the latest. If you would like to give a presentation, please email Thomas with a title (max. 100 characters) and abstract (max. 400 characters). We may ask for additional information from you before making the program decision. Presentation slots are either 30 minutes (long) or 15 minutes (short) including Q/A. Important dates: - Submissions: July 10, 2016 - Author notification: July 17, 2016 - Registration for participation: July 20, 2016 - Virtual machine Meetup: Sep 1st + 2nd 2016 at USI Lugano - Social Event: Sep 3rd 2016, optional Program committee: - Stefan Marr, JKU Linz, Austria - Matthias Grimmer, JKU Linz, Austria - Laurence Tratt, King's College London - Thomas Wuerthinger, Oracle Labs Switzerland As an optional social event, we will plan this year for Saturday the 3rd of September a trip to the Lake Como - a gorgeous lake in Italy close to Lugano. Please let us know whether you intend to participate for planning purposes. ------------ Andrea Rosà PhD student - Teaching assistant Faculty of Informatics - 2nd floor Università della Svizzera italiana (USI) Via G. Buffi 13 CH-6904 Lugano Switzerland (e) andrea.rosa(a)usi.ch<mailto:andrea.rosa@usi.ch> (p) +41 58 666 4455 ext. 2183 (w) http://www.inf.usi.ch/phd/rosaa/

1 0

CFP: ACM MobiWac 2016
by RODOLFO IPOLITO MENEGUETTE 20 Jun '16

20 Jun '16

** We apologize if you receive multiple copies of this message ** ================================================================== The 14th ACM International Symposium on Mobility Management and Wireless Access ( MobiWac 2016 ) November 13 - 17, 2016 - Malta http:// mobiwac -symposium.org/ ================================================================== The 14th ACM International Symposium on Mobility Management and Wireless Access ( MobiWac 2016 ) will be held in conjunction with MSWiM 2016 (the 19th ACM International Symposium on Modeling, Analysis and Simulation of Wireless and Mobile Systems) from November 13 to 17, 2016 in Malta. The MOBIWAC series of events are intended to provide an international forum for the discussion and presentation of original ideas, recent results and achievements by researchers, students, and systems developers on issues and challenges related to mobility management and wireless access protocols. To keep up with the technological developments, we also open up new areas such as mobile cloud computing starting from this year. Authors are encouraged to submit both theoretical and practical results of significance on all aspects of wireless and mobile access technologies, with an emphasis on mobility management and wireless access. Authors are invited to submit full papers describing original research. Submitted papers must neither have been published elsewhere nor currently be under review by another conference or journal. TOPICS OF INTEREST include, but are not limited to: - Mobile Cloud Computing - Wireless/Mobile Access Protocols - Wireless/Mobile Web Access - Wireless Internet and All-IP integration - Next Generation Wireless systems - Mobile Broadband Wireless Access - Pervasive Communication and Computing - Ubiquitous and mobile access - Wireless Applications and testbeds - Multi-Homing and Vertical Handoff - Multi-Channel Multi-Radio MAC / network layer management - Channels and resource allocation algorithms - Energy and power management algorithms - Mobility Models - Multi-technology switching using Software Defined Radios - Context-aware services and applications - Context-aware protocols and protocol architectures - Interactive applications - Mobile database management - Wireless Multimedia Protocols - Mobile and Wireless Entertainment - Mobile Info-services - Social mobile networks - Social mobile applications - Data analysis for mobile and wireless networks - SDN solutions in mobile and wireless networks - QoS management - Mobility Control and Management - Localization and tracking - Mobile/Vehicular environment access - Wireless ad hoc and sensor networks - Security,Trust management and Privacy issues - Fault Tolerance solutions - Wireless Systems' Design - Analysis/Simulation of wireless mobile systems - Testbeds for experimental and simulation analysis ORGANIZING COMMITTEE: General Chair Ángel Cuevas, Universidad Carlos III de Madrid, Spain Program Chairs Periklis Chatzimisios, Alexander TEI of Thessaloniki, Greece Robson De Grande, University of Ottawa, Canada Technical Program Committee Antonio A.F. Loureiro, Federal University of Minas Gerais, Brazil Michele Albano, CISTER, Portugal Chadi Assi, Concordia University, Canada Jalel Ben-othman, University of Paris 13, France Fernando Boavida, University of Coimbra, Portugal Juan Carlos Cano, Technical University of Valencia, Spain Yuh-Shyan Chen, National Taipei University, Taiwan Stefano Chessa, University of Pisa, Italy Danny De Vleeschauwer, Alcatel-Lucent, Belgium Andrés García Saavedra, Hamilton Institute, Ireland Roch Glitho, Concordia University, Canada Roberto González, NEC Laboratories Europe, Germany Khaled Harras, Carnegie Mellon University, USA Charalampos Konstantopoulos, University of Piraeus, Greece Pierre Leone, University of Geneva, Switzerland Sotiris Nikoletseas, University of Patras & Computer Technology Institute, Greece Ai-Chun Pang, National Taiwan University, Taiwan Grammati Pantziou, Technological Educational Institution of Athens, Greece Cristina M. Pinotti, University of Perugia, Italy Paulo Pinto, Universidade Nova de Lisboa, Portugal Victor Ramos, Universidad Autonoma Metropolitana, Mexico Victor Rangel, National University of Mexico, Mexico Thierry Turletti, INRIA, France Alicia Triviño, Universidad de Málaga, Spain Manuel Urueña, Universidad Carlos III de Madrid, Spain Emmanouel Varvarigos, University of Patras & Computer Technology Institute, Greece Zainab Zaidi, National ICT Australia, Ltd, Australia Posters/Demo Chair Graciela Román Alonso, Universidad Autónoma Metropolitana, Mexico Publicity Chairs Khalil El-Khatib, UOIT, Canada Mirela. A. M. Notare, Sao Jose Municipal University, Brazil ========================= Paper Submission, Publication, and Important Dates: High-quality original papers are solicited. Papers must be unpublished and must not be submitted for publication elsewhere. All papers will be reviewed by Technical Program Committee members and other experts active in the field to ensure high quality and relevance to the Symposium. The symposium will have a single track for regular papers and in addition, a separate interwoven track with short papers / posters. Paper length must be no more than 10 pages, double column, ACM style including tables and figures. Note that the regular paper size will be 8 pages, with the possibility to obtain up to 2 additional pages (total 10 pages) by paying a publication fee. Only PDF format is accepted. All accepted papers will appear in the Symposium proceedings published by ACM press. - Paper registration due: June 30, 2016 ( 11:59PM EST ) - Submission Deadline: June 30, 2016 ( 11:59PM EST ) - Notification of Acceptance: July 31, 2016 ( 11:59PM EST ) Papers are submitted via the EDAS system ( https://edas.info/N22672 ). For any question or problems related to MobiWac 2015 submissions, please contact the PC Chairs. FOR MORE INFORMATION about the conference, organizing committee, submission instructions, and venue please see the conference website ( http:// mobiwac -symposium.org ).

1 0

WFLP 2016 - Deadline Extension
by Janis Voigtlaender 17 Jun '16

17 Jun '16

24th International Workshop on Functional and (Constraint) Logic Programming (WFLP 2016) https://wflp2016.github.io/ September 13-14, part of the Leipzig Week of Declarative Programming (L-DEC 2016) The deadlines have been extended by a week, but are nearing soon. We will have proceedings published by EPTCS (http://www.eptcs.org/) Both full technical papers and less formal work-in-progress reports are welcome, as are system descriptions. More details below and on the web page. *********************************************************** Deadlines: * abstract submission: June 22, 2016 (extended) * paper submission: June 29, 2016 (extended) * notification: July 15, 2016 * camera-ready (workshop) version due: August 10, 2016 Submissions can be directly accepted for publication in the formal EPTCS proceedings, or accepted for presentation at the workshop and invited to another round of reviewing after revision. *********************************************************** The international workshops on functional and (constraint) logic programming aim at bringing together researchers, students, and practitioners interested in functional programming, logic programming, and their integration. This year the workshop is co-located with two other events as part of http://nfa.imn.htwk-leipzig.de/LDEC2016/ in order to promote the cross-fertilizing exchange of ideas and experiences among and between the communities interested in the foundations, applications, and combinations of high-level, declarative programming languages and related areas. Topics of interest for WFLP include (but are not limited to): * Functional programming * Logic programming * Constraint programming * Deductive databases, data mining * Extensions of declarative languages, objects * Multi-paradigm declarative programming * Foundations, semantics, nonmonotonic reasoning, dynamics * Parallelism, concurrency * Program analysis, abstract interpretation * Program transformation, partial evaluation, meta-programming * Specification, verification, declarative debugging * Knowledge representation, machine learning * Interaction of declarative programming with other formalisms * Implementation of declarative languages * Advanced programming environments and tools * Software engineering for declarative programming * Applications The primary focus is on new and original research results, but submissions describing innovative products, prototypes under development, application systems, or interesting experiments (e.g., benchmarks) are also encouraged. There are separate submission categories for work-in-progress reports and system descriptions. Authors are welcome to indicate that they want to present their work in a talk but not include a paper in the formal proceedings. Submission is via EasyChair at https://easychair.org/conferences/?conf=wflp2016 The formal proceedings are prepared jointly with WLP 2016 and will be published in EPTCS: http://www.eptcs.org/ More details about submission format, LaTeX style etc., can be found on the web page: https://wflp2016.github.io/ *********************************************************** Program Committee: * Slim Abdennadher, German University in Cairo, Egypt * Sergio Antoy, Portland State University, USA * Sebastian Fischer, Freelancer, Germany * Francisco J. Lopez Fraguas, Universidad Complutense de Madrid, Spain * Michael Hanus, University of Kiel, Germany * Sebastiaan Joosten, University of Innsbruck, Austria * Kazutaka Matsuda, Tohoku University, Japan * Martin Sulzmann, Karlsruhe University of Applied Sciences, Germany * Janis Voigtlaender (Chair), University of Bonn, Germany

1 0

ICPE 2017 - 1st Call for Papers
by Andrea Rosa 15 Jun '16

15 Jun '16

ICPE 2017 8th ACM/SPEC International Conference on Performance Engineering Sponsored by ACM SIGMETRICS, SIGSOFT, and SPEC RG L'Aquila, Italy April 22-26, 2017 https://icpe2017.spec.org/ ------------------------------------------------------------------------ IMPORTANT DATES Research and Industrial / Experience Abstracts: Sep 23, 2016 Research and Industrial / Experience Papers: Sep 30, 2016 Research and Industrial / Experience Paper Notification: Nov 18, 2016 Work-in-Progress/Vision Papers: Nov 25, 2016 Workshop Proposals: Nov 05, 2016 Workshop Proposal Notification: Nov 19, 2016 Dates for tutorials, posters and demos will be announced. ------------------------------------------------------------------------ SCOPE AND TOPICS The goal of the International Conference on Performance Engineering (ICPE) is to integrate theory and practice in the field of performance engineering by providing a forum for sharing ideas and experiences between industry and academia. Nowadays, complex systems of all types, like Web-based systems, data centers and cloud infrastructures, social networks, peer-to-peer, mobile and wireless systems, cyber-physical systems, the Internet of Things, real-time and embedded systems, have increasingly distributed and dynamic system architectures that provide high flexibility, however, also increase the complexity of managing end-to-end application performance. ICPE brings together researchers and industry practitioners to share and present their experiences, discuss challenges, and report state-of-the-art and in-progress research on performance engineering of software and systems, including performance measurement, modeling, benchmark design, and run-time performance management. The focus is both on classical metrics such as response time, throughput, resource utilization, and (energy) efficiency, as well as on the relationship of such metrics to other system properties including but not limited to scalability, elasticity, availability, reliability, and security. This year's main theme is cost-effective performance engineering, where cost has a wide interpretation including measures such as effort and energy in addition to traditional performance measures. Topics of interest include, but are not limited to: Performance modeling of software * Languages and ontologies * Methods and tools * Relationship/integration/tradeoffs with other QoS attributes * Analytical, simulation and statistical modeling methodologies * Model validation and calibration techniques * Automatic model extraction * Performance modeling and analysis tools Performance and software development processes/paradigms * Software performance patterns and anti-patterns * Software/performance tool interoperability (models and data interchange formats) * Performance-oriented design, implementation and configuration management * Software Performance Engineering and Model-Driven Development * Gathering, interpreting and exploiting software performance annotations and data * System sizing and capacity planning techniques * (Model-driven) Performance requirements engineering * Relationship between performance and architecture * Collaboration of development and operation (DevOps) for performance * Performance and agile methods * Performance in Service-Oriented Architectures (SOA) * Performance of micro-service architectures and containers Performance measurement, monitoring and analysis * Performance measurement and monitoring techniques * Analysis of measured application performance data * Application tracing and profiling * Workload characterization techniques * Experimental design * Tools for performance testing, measurement, profiling and tuning Benchmarking * Performance metrics and benchmark suites * Benchmarking methodologies * Development of parameterizable, flexible benchmarks * Benchmark workloads and scenarios * Use of benchmarks in industry and academia Run-time performance management * Use of models at run-time * Online performance prediction * Autonomic resource management * Utility-based optimization * Capacity management Power and performance, energy efficiency * Power consumption models and management techniques * Tradeoffs between performance and energy efficiency * Performance-driven resource and power management Performance modeling and evaluation in different environments and application domains * Web-based systems, e-business, Web services * Big data systems, data analytics systems, and other data analysis systems * Internet of Things * Social networks * Cyber-physical systems * Industrial Internet (Industry 4.0) * Virtualization and cloud computing * Autonomous/adaptive systems * Transaction-oriented systems * Communication networks * Parallel and distributed systems * Embedded systems * Multi-core systems * Cluster and grid computing environments * High performance computing * Event-based systems * Real-time and multimedia systems * Peer-to-peer, mobile and wireless systems All other topics related to performance of software and systems. ------------------------------------------------------------------------ SUBMISSION GUIDELINES Authors are invited to submit original, unpublished papers that are not being considered in another forum. A variety of contribution styles for papers are solicited including: basic and applied research papers for novel scientific insights, industrial and experience papers reporting on applying performance engineering or benchmarks in practice, and work-in-progress/vision papers for ongoing but yet interesting work. Different acceptance criteria apply based on the expected content of the individual contribution types. Authors will be requested to self-classify their papers according to topic and contribution style when submitting their papers. Submissions to all tracks need to be uploaded to ICPE's submission system and conform to the ACM submission format. For detailed submission instructions, please visit: https://icpe2017.spec.org/submissions.html. At least one author of each accepted paper is required to register at the full rate, attend the conference and present the paper. Presented papers will be published in the ICPE 2017 conference proceedings that will be published by ACM and included in the ACM Digital Library. After the conference, there will be a call for a special issue of a journal. 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.) ------------------------------------------------------------------------ PROGRAM COMMITTEE (RESEARCH PAPERS) Amy Apon, Clemson University Martin Arlitt, HP Labs and University of Calgary Alberto Avritzer, Performance Engineering Consultant Steffen Becker, University of Technology Chemnitz Robert Birke, IBM Zurich Research Laboratory Andre B. Bondi, Software Performance and Scalability Consulting LLC Niklas Carlsson, Linkoping University Lydia Y. Chen, IBM Zurich Research Laboratory Lucy Cherkasova, HP Labs Antinisca Di Marco, Università dell'Aquila Wilhelm Hasselbring, Kiel University Alexandru Iosup, Delft University of Technology Evangelia Kalyvianaki, City University London Samuel Kounev, University of Wuerzburg Heiko Koziolek, ABB Corporate Research Diwakar Krishnamurthy, University of Calgary Patrick Lee, The Chinese University of Hong Kong Catalina M. Lladó, Universitat Illes Balears Lei Lu, VMware Andrea Marin, University of Venice Daniel Menasce, George Mason University Daniel S. Menasché, Federal Univ. of Rio de Janeiro José Merseguer, Universidad de Zaragoza Ningfang Mi, Northeastern University Raffaela Mirandola, Politecnico di Milano Manoj Nambiar, Tata Consultancy Services Dorina Petriu, Carleton University Denys Poshyvanyk, College of William and Mary Ralf Reussner, Karlsruhe Institute of Technology Alma Riska, Network Appliances Jerry Rolia, HP Labs Rekha Singhal, Tata Consultancy Services Mirco Tribastone, IMT Institute for Advanced Studies Catia Trubiani, Gran Sasso Science Institute Petr Tuma, Charles University Ana Lucia Varbanescu, University of Amsterdam Enrico Vicario, University of Florence Katinka Wolter, Freie Universitaet zu Berlin Murray Woodside, Carleton University Feng Yan, University of Nevada-Reno Xiaoyun Zhu, Futurewei Technologies Inc ------------------------------------------------------------------------ ORGANIZING COMMITTEE General Chairs * Walter Binder, Università della Svizzera italiana (USI), Switzerland * Vittorio Cortellessa, Università dell'Aquila, Italy Research Program Chairs * Anne Koziolek, Karlsruhe Institute of Technology, Germany * Evgenia Smirni, College of William and Mary, USA Industry Program Chairs * Meikel Poess, Oracle, USA Tutorials Chair * Valeria Cardellini, Università di Roma Torvergata, Italy Workshops Chairs * Hanspeter Mössenböck, Johannes Kepler Universität Linz, Austria * Catia Trubiani, Gran Sasso Science Institute, Italy Posters and Demos Chair * Lubomir Bulej, Charles University, Czech Republic Awards Chairs * Petr Tuma, Charles University, Czech Republic * Murray Woodside, Carleton University, Canada Local Organization Chair * Antinisca Di Marco, Università dell'Aquila, Italy Publicity Chairs * Andrea Rosà, Università della Svizzera italiana (USI), Switzerland * Diego Perez, Politecnico di Milano, Italy Finance Chair * André van Hoorn, University of Stuttgart Publication and Registration Chair * Davide Arcelli, Università dell'Aquila, Italy Web Site Chair * Cathy Sandifer, SPEC, USA ------------ Andrea Rosà PhD student - Teaching assistant Faculty of Informatics - 2nd floor Università della Svizzera italiana (USI) Via G. Buffi 13 CH-6904 Lugano Switzerland (e) andrea.rosa(a)usi.ch<mailto:andrea.rosa@usi.ch> (p) +41 58 666 4455 ext. 2183 (w) http://www.inf.usi.ch/phd/rosaa/

1 0

SPLASH'16: 2nd Combined Call for Contributions to Collocated Events
by Tijs van der Storm 15 Jun '16

15 Jun '16

################################################# ACM Conference on Systems, Programming, Languages, and Applications: Software for Humanity (SPLASH'16) ################################################# Amsterdam, The Netherlands Sun 30th October - Fri 4th November , 2016 http://2016.splashcon.org https://twitter.com/splashcon https://www.facebook.com/SPLASHCon/ Sponsored by ACM SIGPLAN Combined Call for Contributions to SPLASH tracks, collocated conferences, symposia and workshops: - SPLASH-I, SPLASH-E, Doctoral Symposium, Student Research Competition, Programming Languages Mentoring Workshop, Posters - Generative Programming: Concepts & Experiences (GPCE) - Software Language Engineering (SLE) - Scala Symposium - Workshops: AGERE, DSLDI, DSM, FOSD, ITSLE, LWC@SLE, META, MOBILE!, NOOL, PLATEAU, Parsing@SLE, REBLS, RUMPLE, SA-MDE, SEPS, VMIL, WODA 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, systems, and software engineering. SPLASH'16 hosts a record number collocated tracks and events, from associated conferences (GPCE, SLE) and symposia (DLS, Scala), to 16 workshops! Please see below about important dates. We look forward to your submissions! SPLASH'16 Additional Tracks =========================== ## SPLASH-I: Innovation, Interaction, Insight, Industry, Invited SPLASH-I is the track of SPLASH dedicated to great talks on exciting topics! SPLASH-I will run in parallel with all of SPLASH (during the week days), and is open to all attendees. SPLASH-I will host both invited talks and selected talks submitted via this call for proposals. SPLASH-I solicits inspiring talks, tutorials and demonstrations on exciting topics related to programming and programming systems, delivered by excellent speakers from academia or industry. Deadline: 1st of August Website: http://2016.splashcon.org/track/splash-2016-splash-i ## SPLASH-E: Foundational Concepts of Computation SPLASH-E will be a one-day working meeting, with the following goals: - Building on prior work, identify and enumerate the foundational concepts of computation. - More ambitiously, for each concept, create a detailed plan for a lesson (or short sequence of lessons) for 8 year olds, to teach the concept. We do not solicit publications, but we ask prospective participants to submit a one-paragraph position statement. Website: http://2016.splashcon.org/track/splash-2016-splash-e ## Doctoral Symposium The SPLASH Doctoral Symposium provides students with useful guidance for completing their dissertation research and beginning their research careers. The Symposium will provide an interactive forum for doctoral students who have progressed far enough in their research to have a structured proposal, but will not be defending their dissertation in the next 12 months. Submission deadline: Thu 30 Jun 2016 Website: http://2016.splashcon.org/track/splash-2016-ds ## Student Research Competition Continuing the successes of previous years, SPLASH is again hosting an ACM SIGPLAN Student Research Competition (ACM SRC). The competition is an internationally-recognized venue that enables undergraduate and graduate students to experience the research world and to share their research results with other students and SPLASH attendees. The competition has separate categories for undergraduate and graduate students and awards prizes to the top three students in each category. The ACM SIGPLAN Student Research Competition shares the Poster session’s goal to facilitate interaction with researchers and industry practitioners, providing both sides with the opportunity to learn of ongoing, current research. Additionally, the Student Research Competition gives students experience with both formal presentations and evaluations. Submission deadline: Mon 15 Aug 2016 Website: http://2016.splashcon.org/track/splash-2016-src ## PLMW: Programming Language Mentoring Workshop The purpose of Programming Languages Mentoring Workshop (PLMW) is to give promising students who consider pursuing a graduate degree in this field an overview of what research in this field looks like and how to get into and succeed in graduate school. In other words, a combination whirlwind tour of this research area, networking opportunity, and how-to-succeed guide. The program of PLMW will include talks by prominent researchers of the field of programming languages and software engineering providing an insight in their research. To learn more about PLMW, please see the SIGPLAN PLMW web page (http://www.sigplan.org/Conferences/PLMW/) Application deadline: Sun 14 Aug 2016 Website: http://2016.splashcon.org/track/splash-2016-plmw ## Posters The SPLASH Poster track provides an excellent forum for authors to present their recent or ongoing projects in an interactive setting, and receive feedback from the community. We invite submissions covering any aspect of programming, systems, languages and applications. The goal of the poster session is to encourage and facilitate small groups of individuals interested in a technical area to gather and interact. It is held early in the conference, to promote continued discussion among interested parties. Submission deadline: Fri 8 Jul 2016 Website: http://2016.splashcon.org/track/splash-2016-posters Collocated Conferences and Symposia =================================== ## GPCE: Generative Programming: Concepts & Experiences Generative and component approaches and domain-specific abstractions are revolutionizing software development just as automation and componentization revolutionized manufacturing. Raising the level of abstraction in software specification has been a fundamental goal of the computing community for several decades. Key technologies for automating program development and lifting the abstraction level closer to the problem domain are Generative Programming for program synthesis, Domain-Specific Languages (DSLs) for compact problem-oriented programming notations, and corresponding Implementation Technologies aiming at modularity, correctness, reuse, and evolution. As the field matures Applications and Empirical Results are of increasing importance. The International Conference on Generative Programming: Concepts & Experiences (GPCE) is a venue for researchers and practitioners interested in techniques that use program generation, domain-specific languages, and component deployment to increase programmer productivity, improve software quality, and shorten the time-to-market of software products. In addition to exploring cutting-edge techniques of generative software, our goal is to foster further cross-fertilization between the software engineering and the programming languages research communities. Abstract submission deadline: Fri 17 Jun 2016 Paper submission deadline: Fri 24 Jun 2016 Website: http://www.gpce.org Call for papers (pdf): http://conf.researchr.org/getImage/gpce-2016/orig/GPCE16+-+Call+for+Papers.… Twitter: https://twitter.com/gpceconf Facebook: https://www.facebook.com/GPCEConference/ ## Scala Symposium The Scala Symposium is a forum for researchers and practitioners to share new ideas and results of interest to the Scala programming language community. We welcome a broad spectrum of research topics in many formats, going from student talks all the way to full 10-page research papers, indexed by the ACM Digital Library. Abstract submission deadline: Sun 17 Jul 2016 Paper submission deadline: Mon 25 Jul 2016 Website: http://2016.splashcon.org/track/scala-2016 ## SLE: Software Language Engineering 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). SLE aims to be broad-minded and inclusive about relevance and scope. We solicit high-quality contributions in areas ranging from theoretical and conceptual contributions to tools, techniques, and frameworks in the domain of language engineering. Topics relevant to SLE cover generic aspects of software languages development rather than aspects of engineering a specific language. Abstract submission deadline: Fri 17 Jun 2016 Paper submission deadline: Fri 24 Jun 2016 Website: http://2016.splashcon.org/track/sle-2016-papers Twitter: https://twitter.com/sleconf Facebook https://www.facebook.com/SLEconference/ Workshops ========= SPLASH'16 will host a record number of 16 workshops: ## AGERE! Programming based on Actors, Agents, and Decentralized Control The AGERE! workshop is aimed at focusing on programming systems, languages and applications based on actors, active/concurrent objects, agents and – more generally – high-level programming paradigms promoting a mindset of decentralized control in solving problems and developing software. The workshop is designed to cover both the theory and the practice of design and programming, bringing together researchers working on models, languages and technologies, and practitioners developing real-world systems and applications. Abstract submission deadline: Mon 1 Aug 2016 Paper submission deadline: Mon 15 Aug 2016 Website: http://2016.splashcon.org/track/agere2016 ## DSLDI: Domain-specific Language Design and Implementation Domain-Specific Language Design and Implementation (DSLDI) is a workshop intended to bring together researchers and practitioners interested in discussing how DSLs should be designed, implemented, supported by tools, and applied in realistic contexts. The focus of the workshop is on all aspects of this process, from soliciting domain knowledge from experts, through the design and implementation of the language, to evaluating whether and how a DSL is successful. More generally, we are interested in continuing to build a community that can drive forward the development of modern DSLs. Submission deadline talk proposals: Mon 1 Aug 2016 Website: http://2016.splashcon.org/track/dsldi2016 ## DSM: Domain-Specific Modeling Domain-specific languages provide a viable and time-tested solution for continuing to raise the level of abstraction, and thus productivity, beyond coding, making systems development faster and easier. When accompanied with suitable automated modeling tools and generators it delivers to the promises of continuous delivery and devops. In domain-specific modeling (DSM) the models are constructed using concepts that represent things in the application domain, not concepts of a given programming language. The modeling language follows the domain abstractions and semantics, allowing developers to perceive them- selves as working directly with domain concepts. Together with frameworks and platforms, DSM can automate a large portion of software production. Submission deadline: Mon 15 Aug 2016 Website: http://2016.splashcon.org/track/dsm2016 ## FOSD: Feature-oriented Software Development Feature orientation is an emerging paradigm of software development. It supports the automatic generation of large-scale software systems from a set of units of functionality, called features. The key idea of feature-oriented software development (FOSD) is to explicitly represent similarities and differences of a family of software systems for a given application domain (e.g., database systems, banking software, text processing systems) with the goal of reusing software artifacts among the family members. Submission deadline: Mon 1 Aug 2016 Website: http://www.fosd.net/workshop2016 Call for papers: http://conf.researchr.org/getImage/FOSD-2016/orig/FOSD+2016+-+CFP.pdf ## ITSLE: Industry Track Software Language Engineering Industry Track for Software Language Engineering (ITSLE) is a workshop to bring together practitioners and researchers from industry and academia working on the area of software language engineering. Domain Specific Languages (DSLs) and Model-Driven Software Engineering (MDSE) techniques are being developed and used broadly in industry. However, as the size and complexity of software systems steadily increase, so does the cost of maintaining and improving the DSL and MDSE techniques and tools. It introduces new challenges such as language co-evolution, maintainability of legacy software using older version of DSLs and MDSE techniques, and extendability and scalability of these techniques. Some of these challenges have been addressed by the SLE research community and some remain unsolved. Submission deadline: Mon 1 Aug 2016 Website: http://2016.splashcon.org/track/itsle2016 ## LWC@SLE: Language Workbench Challenge Language workbenches are tools for software language engineering. They distinguish themselves from traditional compiler tools by providing integrated development environment (IDE) support for defining, implementing, testing and maintaining languages. Not only that, languages built with a language workbench are supported by IDE features as well (e.g., syntax highlighting, outlining, reference resolving, completion etc.). As a result, language workbenches achieve a next level in terms of productivity and interactive editor support for building languages, in comparison to traditional batch-oriented, compiler construction tools. The goal of this workshop is twofold. First: exercise and assess the state-of-the-art in language workbenches using challenge problems from the user perspective (i.e. the language designer). Second: foster knowledge exchange and opportunities for collaboration between language workbench implementors and researchers. Submission deadline of solutions: Mon 1 Aug 2016 Website: http://2016.splashcon.org/track/lwc2016 ## META The Meta’16 workshop aims to bring together researchers working on metaprogramming and reflection, as well as users building applications, language extensions such as contracts, or software tools. With the changing hardware and software landscape, and increased heterogeneity of systems, metaprogramming becomes an important research topic to handle the associate complexity once more. Contributions to the workshop are welcome on a wide range of topics related to design, implementation, and application of metaprogramming techniques, as well as empirical studies on and typing for such systems and languages. Abstract submission: Wed 27 Jul 2016 Paper submission: Mon 1 Aug 2016 Website: http://2016.splashcon.org/track/meta2016 ## Mobile! Mobile application use and development is experiencing enormous growth, and by 2016 more than 200 billion apps have been downloaded. The mobile domain presents new challenges to software engineering. Mobile platforms are rapidly changing, with diverse capabilities including various input modes, wireless communication types, on-device memory and disk capacities, and sensors. Applications function on wide ranges of platforms, requiring scaling according to hardware. Many applications interact with third-party services, requiring application development with effective security and authorization processes for those dataflows. “Bring your own device” policies pose security challenges including employer and employee data privacy. Developing secure mobile applications requires new tools and practices such as improved refactoring tools for hybrid applications; polyglot applications; and testing techniques for multiple devices. This workshop aims to establish a community of researchers and practitioners, leading to further research in mobile development. Paper submission deadline: Mon 1 Aug 2016 Website: http://2016.splashcon.org/track/mobile2016 ## NOOL: New Object-Oriented Languages NOOL-16 is a new unsponsored workshop to bring together users and implementors of new(ish) object oriented systems. Through presentations, and panel discussions, as well as demonstrations, and video and audiotapes, NOOL-16 will provide a forum for sharing experience and knowledge among experts and novices alike. We invite technical papers, case studies, and surveys in the following areas, related to theory of object oriented programming, new languages, implementation of languages, tools and environment, applications and related work. Abstract submission deadline: Thu 1 Sep 2016 Website: http://2016.splashcon.org/track/nool2016 ## PLATEAU: Workshop on Evaluation and Usability of Programming Languages and Tools Programming languages exist to enable programmers to develop software effectively. But how efficiently programmers can write software depends on the usability of the languages and tools that they develop with. The aim of this workshop is to discuss methods, metrics and techniques for evaluating the usability of languages and language tools. The supposed benefits of such languages and tools cover a large space, including making programs easier to read, write, and maintain; allowing programmers to write more flexible and powerful programs; and restricting programs to make them more safe and secure. PLATEAU gathers the intersection of researchers in the programming language, programming tool, and human-computer interaction communities to share their research and discuss the future of evaluation and usability of programming languages and tools. Paper submission deadline: Mon 1 Aug 2016 Website: http://2016.splashcon.org/track/plateau2016 ## Parsing@SLE Parsing@SLE 2016 is the fourth annual workshop on parsing programming languages. The intended participants are the authors of parser generation tools and parsers for programming languages and other software languages. For the purpose of this workshop “parsing” is a computation that takes a sequence of characters as input and produces a syntax tree or graph as output. This possibly includes tokenization using regular expressions, deriving trees using context-free grammars, and mapping to abstract syntax trees. The goal is to bring together today’s experts in the field of parsing, in order to explore open questions and possibly forge new collaborations. The topics may include algorithms, implementation and generation techniques, syntax and semantics of meta formalisms (BNF), etc. We expect to attract participants that have been or are developing theory, techniques and tools in the broad area of parsing. Abstract submission deadline: Fri 9 Sep 2016 Website: http://2016.splashcon.org/track/parsing2016 ## REBLS: Reactive and Event-based Languages & Systems Reactive programming and event-based programming are two closely related programming styles that are becoming ever more important with the advent of advanced HPC technology and the ever increasing requirement for our applications to run on the web or on collaborating mobile devices. A number of publications on middleware and language design — so-called reactive and event-based languages and systems (REBLS) — have already seen the light, but the field still raises several questions. For example, the interaction with mainstream language concepts is poorly understood, implementation technology is in its infancy and modularity mechanisms are almost totally lacking. Moreover, large applications are still to be developed and patterns and tools for developing reactive applications is an area that is vastly unexplored. Paper submission deadline: Mon 1 Aug 2016 Website: http://2016.splashcon.org/track/rebls2016 ## RUMPLE: ReUsable and Modular Programming Language Ecosystems The RUMPLE’16 workshop is a venue for discussing a wide range of topics related to modular approaches to programming language implementation, extensible virtual machine architectures, as well as reusable runtime components such as dynamic compilers, interpreters, or garbage collectors. One of the main goals of the workshop is to bring together both researchers and practitioners and facilitate effective sharing of their respective experiences and ideas. We welcome presentation proposals in the form of extended abstracts discussing experiences, work-in-progress, as well as future visions from the academic as well as industrial perspective. Extended abstract submission deadline: Mon 1 Aug 2016 Website: http://2016.splashcon.org/track/rumple2016 ## SA-MDE: Tutorial on MDD with Model Catalogue and Semantic Booster With the model-driven development (MDD) approach to software, rather than building each system from scratch, one specifies a metamodel covering a whole class of similar systems, provides a universal generator to transform metamodel instances into executable programs, and specifies each system by a higher-level model conforming to the metamodel. When the application domain concerns semantically rich datasets—with structured entities, interlinked data, and sophisticated integrity constraints—then the MDD tools should support this richness: in the metamodel, in individual system models, and in the generation process. In this tutorial, we present the Model Catalogue and Semantic Booster, tools respectively for curating and exploiting semantically rich data in a MDD workflow, which are under development as part of ALIGNED. Participants will learn what the tools can do, gain hands-on experience with using them, and be able to contribute challenges and suggestions for future development. Website: http://2016.splashcon.org/track/samde2016 ## SEPS: Software Engineering for Parallel Systems This workshop provides a stable forum for researchers and practitioners dealing with compelling challenges of the software development life cycle on modern parallel platforms. The increased complexity of parallel applications on modern parallel platforms (e.g. multicore/manycore, distributed or hybrid) requires more insight into development processes, and necessitates the use of advanced methods and techniques supporting developers in creating parallel applications or parallelizing and re-engineering sequential legacy applications. We aim to advance the state of the art in different phases of parallel software development, covering software engineering aspects such as requirements engineering and software specification; design and implementation; program analysis, profiling and tuning; testing and debugging. Paper submission deadline: Mon 1 Aug 2016 Website: http://2016.splashcon.org/track/seps2016 ## VMIL: Virtual Machines and Intermediate Languages The VMIL workshop is a forum for research in virtual machines and intermediate languages. It is dedicated to identifying programming mechanisms and constructs that are currently realized as code transformations or implemented in libraries but should rather be supported at VM level. Candidates for such mechanisms and constructs include modularity mechanisms (aspects, context-dependent layers), concurrency (threads and locking, actors, capsules, processes, software transactional memory), transactions, development tools (profilers, runtime verification), etc. Topics of interest include the investigation of which such mechanisms are worthwhile candidates for integration with the run-time environment, how said mechanisms can be elegantly (and reusably) expressed at the intermediate language level (e.g., in bytecode), how their implementations can be optimized, and how virtual machine architectures might be shaped to facilitate such implementation efforts. Paper submission deadline: Mon 1 Aug 2016 Website: http://2016.splashcon.org/track/vmil2016 ## WODA: Workshop on Dynamic Analysis The International Workshop on Dynamic Analysis (WODA) is the place where researchers interested in dynamic analysis and related topics can meet and discuss current research, issues, and trends in the field. WODA exists since 2003 and has been co-located with several different SE/PL conferences in the past, including ICSE, ISSTA, ASPLOS, and SPLASH. See https://sites.google.com/site/scwoda/ for the history of WODA. The 2016 edition of WODA will be a mix of invited talks by high-visibility researchers in the community and presentations of submitted workshop papers. Submission deadline: Fri 19 Aug 2016 Website: http://2016.splashcon.org/track/woda2016 # SPLASH Supporters SPLASH'16 is kindly supported by the following organizations: - ACM: http://www.acm.org/ - SIGPLAN: http://www.sigplan.org/ - LogicBlox (Gold): http://www.logicblox.com/ - Oracle (Silver): http://www.oracle.com/index.html - TU Delft (Silver): http://tudelft.nl/ - Huawei (Bronze): http://www.huawei.com/en/ - Facebook (Bronze): https://research.facebook.com/ - IBM Research (Bronze): http://www.research.ibm.com/ - Google (Bronze): https://www.google.com Want to support SPLASH'16? See our options here: http://2016.splashcon.org/attending/support-program.

1 0

2nd Call for Papers: OCL and Textual Modeling Tools and Textual Model Transformations (OCL 2016) - Submit Your Paper Until July 17, 2016
by Achim D. Brucker 14 Jun '16

14 Jun '16

(Apologies for duplicates) Only four weeks until the deadline! -- Dr. Achim D. Brucker | Senior Lecturer | University of Sheffield https://www.brucker.ch/

1 0