June 2015 - Haskell - Haskell.org

Haskell-related PhD Studentship at Kent
by Meng Wang 22 Mar '16

22 Mar '16

Dear Haskellers, I am seeking a PhD student on a Haskell-related project: http://www.cs.kent.ac.uk/research/studyingforaphd/phd-wang.html This would be a good opportunity for someone who is interested in applying Haskell ideas to real problems. The funding covers maintenance, EU student fees and research related expenses. But non-EU students are welcome to apply too. For Sep 2015 starting, the application deadline is 17 April 2015. If you are interested, please contact me at m.w.wang(a)kent.ac.uk<mailto:m.w.wang@kent.ac.uk>. Best wishes, Meng — Dr Meng Wang School of Computing University of Kent http://www.cs.kent.ac.uk/people/staff/mw516/

1 1

ANNOUNCE: ioctl 0.0.1
by Maciej Piechotka 13 Sep '15

13 Sep '15

A package for type-safe I/O control. Currently only ioctl is supported. Currently simply a extract from my tuntap fork TODO: - Return the integer as well as structure (will break the API) - Port for Windows Network.Socket.IOCtl (as soon as I manage to setup some sane environment on this platform) - Wrapping around DeviceIoControl Example (in hsc): data NotRead = NotRead instance NotRead Int where ioctlReq _ = #const FIONREAD notRead s = ioctlsocket' s NotRead Regards

2 1

ICFP 2015 Student Research Competition: Final Call for Submissions
by Andrew Kennedy 26 Jun '15

26 Jun '15

====================================================================== CALL FOR SUBMISSIONS SRC@ICFP 2015 Vancouver, Canada 31 August - 2 September 2015 http://www.icfpconference.org/icfp2015/src.html Co-located with the International Conference on Functional Programming (ICFP 2015) ====================================================================== Student Research Competition ---------------------------- This year ICFP will host a Student Research Competition where undergraduate and postgraduate students can present posters. The SRC at ICFP 2015 consists of three rounds: * Extended abstract round. All students are encouraged to submit an extended abstract of up to 800 words outlining their research. * Poster session. Based on the abstracts, a panel of judges will select the most promising entrants to participate in the poster session which will take place at ICFP. Students who make it to this round will be eligible for some travel support to attend the conference. In the poster session, students will have the opportunity to present their work to the judges, who will select three finalists in each category (graduate/undergraduate) to advance to the next round. * ICFP presentation. The last round will consist of an oral presentation at ICFP to compete for the final award. Prizes ------ * The top three graduate and the top three undergraduate winners will receive prizes of $500, $300, and $200, respectively. * All six winners will receive award medals and a two-year complimentary ACM student membership, including a subscription to ACM's Digital Library. * The names of the winners will be posted on the ACM SRC web site. * The first-place winners will be invited to participate in the ACM SRC Grand Finals, an on-line round of competition among the winners of conference-hosted SRCs. * Grand Finalists and their advisors will be invited to the Annual ACM Awards Banquet for an all-expenses-paid trip, where they will be recognized for their accomplishments along with other prestigious ACM award winners, including the winner of the Turing Award (also known as the Nobel Prize of Computing). * The top three graduate Grand Finalists will receive an additional $500, $300, and $200. Likewise, the top three undergraduate Grand Finalists will receive an additional $500, $300, and $200. All six Grand Finalists will receive Grand Finalist certificates. * The ACM, Microsoft Research, and our industrial partners provide financial support for students attending the SRC. You can find more information about this on the ACM website. Eligibility ----------- The SRC is open to both undergraduate (not in a PhD programme) and graduate students (in a PhD programme). Upon submission, entrants must be enrolled as a student at their universities, and are ACM student members. Furthermore, there are some constraints on what kind of work may be submitted. Previously published work: Submissions should consist of original work (not yet accepted for publication). If the work is a continuation of previously published work, the submission should focus on the contribution over what has already been published. We encourage students to see this as an opportunity to get early feedback and exposure for the work they plan to submit to the next ICFP or POPL. Collaborative work: Students are encouraged to submit work they have been conducting in collaboration with others, including advisors, internship mentors, or other students. However, submissions are individual, so they must focus on the contributions of the student. Submission Details ------------------ Each submission should include the student author's name, institutional affiliation, e-mail address, and postal address; research advisor's name; ACM student member number; category (undergraduate or graduate); research title; and an extended abstract addressing the following: * Problem and Motivation: Clearly state the problem being addressed and explain the reasons for seeking a solution to this problem. * Background and Related Work: Describe the specialized (but pertinent) background necessary to appreciate the work. Include references to the literature where appropriate, and briefly explain where your work departs from that done by others. * Approach and Uniqueness: Describe your approach in attacking the problem and clearly state how your approach is novel. * Results and Contributions: Clearly show how the results of your work contribute to computer science and explain the significance of those results. The abstract must describe the student's individual research and must be authored solely by the student. If the work is collaborative with others and/or part of a larger group project, the abstract should make clear what the student's role was and should focus on that portion of the work. The extended abstract must not exceed 800 words and must not be longer than 2 pages. The reference list does not count towards these limits. To submit an abstract, please register through the submission page and follow the instructions. Abstracts submitted after the deadline may be considered at the committee's discretion, but only after decisions have been made on all abstracts submitted before the deadline. If you have any problems, don't hesitate to contact the competition chair. Please submit your abstract at the EasyChair submission page: https://easychair.org/conferences/?conf=icfp2015src Important Dates --------------- * Deadline for submission: 29 June * Notification of acceptance: 14 July Selection Committee ------------------- To include: Andrew Kennedy, Microsoft Research Cambridge (chair) Derek Dreyer, MPI-SWS, Saarbrucken Stephanie Weirich, University of Pennsylvania David Van Horn, University of Maryland

1 0

ANNOUNCE: fgl-arbitrary
by Ivan Lazar Miljenovic 22 Jun '15

22 Jun '15

I've just released the first version of fgl-arbitrary [1], which provides Arbitrary instances for fgl graphs for use with QuickCheck. Also provided are some wrapper newtypes to produce specific types of graphs, and also the ability to generate just valid node and edge lists for use with other graph-like data structures. [1]: http://hackage.haskell.org/package/fgl-arbitrary -- Ivan Lazar Miljenovic Ivan.Miljenovic(a)gmail.com http://IvanMiljenovic.wordpress.com

1 0

CF STUDENT POSTERS for Innovations'15 (No registration fees), Dubai, November 01-03, 2015
by Nabeel Al-Qirim 22 Jun '15

22 Jun '15

CF STUDENT POSTERS for Innovations'15 (No registration fees), Dubai, November 01-03, 2015 IIT’15: The 11th International Conference on Innovations in Information Technology 2015 URL: http://www.it-innovations.ae/iit2015/posters.html The IIT’15 Student Poster and Demos Committee invites all undergraduate and graduate students to submit an extended (2 pages max.) abstract and to display it as a poster during the IIT’15. The poster topic should fall within the conference’s theme and tracks. SUBMISSION Extended abstracts should be sent to Dr. Nabeel Al-Qirim at nalqirim(a)uaeu.ac.ae. All students are encouraged to review their abstracts with their faculty advisers prior to submission. All accepted abstracts will be published by the IIT’15 proceedings. IMPORTANT DATES -Student Poster (Extended Paper) Submission May 30, 2015 -Notification of Student Poster acceptance July 15, 2015 -Camera ready Extended Paper and Poster material September 01, 2015 -Conference November 01-03, 2015 BEST STUDENT POSTER AWARDS There will be a competition for best student poster award at the IIT’15. This award will be given to recognize student excellence in research and presentation. CONTACT Queries should be directed to: Dr. Nabeel Al-Qirim at nalqirim(a)uaeu.ac.ae Thanks, Dr. Nabeel Al-Qirim IIT’15 Student Poster and Demos Chair College of Information Technology United Arab Emirates University P.O Box 15551 - Al Ain United Arab Emirates Tel: +971-3-7135531 Mobile: +971-507308705 Fax: +971-3-7672018 Email: nalqirim(a)uaeu.ac.ae Website: http://nalqirim.wix.com/nabeel-al-qirim Disclaimer:"The content of this email together with any attachments, statements and opinions expressed herein contains information that is confidential in nature and intended for the named addressee(s) only. If you are not the addressee of this email or you have received this message in error please notify the sender and delete the message and any associated files from your system, you have no right to copy, print, distribute or use this email or any of its attachments, or permit or disclose its contents to any other party in any way, except with the prior approval of the sender. In case of breach of what has been explained above, you will be held legally accountable." تنبيه: "إن محتوى هذا البريد الإلكتروني مع أي مرفقات والبيانات والآراء الواردة في هذه الوثيقة يحتوي على معلومات تعتبر سرية بطبيعتها وتستهدف المرسل اسمه (ق) فقط إذا لم تكن المرسل إليه من هذه الرسالة أو كنت قد تلقيت هذا. في رسالة الخطأ، الرجاء إبلاغ المرسل وحذف الرسالة وأية ملفات مرتبطة من النظام الخاص بك، ليس لديك الحق في نسخ أو طباعتها أو توزيعها أو استخدام هذا البريد الالكتروني أو أي من ملحقاته، أو السماح أو الكشف عن محتوياته إلى أي طرف آخر في بأي حال من الأحوال، إلا بموافقة مسبقة من المرسل، وفي حالة خرق ما سبق بيانه أعلاه، سوف تعقد لك مساءلة قانونيا" . www.uaeu.ac.ae<http://www.uaeu.ac.ae>

1 1

SPLASH 2015 - 2nd Combined Call for Contributions
by Craig Anslow 21 Jun '15

21 Jun '15

/************************************************************************************/ ACM Conference on Systems, Programming, Languages, and Applications: Software for Humanity (SPLASH'15) Pittsburgh, Pennsylvania, USA 25th-30th October, 2015 http://www.splashcon.org<http://www.splashcon.org/> Sponsored by ACM SIGPLAN /************************************************************************************/ COMBINED CALL FOR CONTRIBUTIONS Demos Doctoral Symposium Dynamic Languages Symposium (DLS) OOPSLA Artifacts Posters SPLASH-E Student Research Competition Student Volunteers Tutorials Wavefront Workshops Co-Located Conferences: SLE, GPCE, DBPL, PLoP /************************************************************************************/ The ACM SIGPLAN conference on Systems, Programming, Languages and Applications: Software for Humanity (SPLASH) embraces all aspects of software construction and delivery to make it the premier conference at the intersection of programming, languages, and software engineering. SPLASH is now accepting submissions. We invite high quality submissions describing original and unpublished work. Most of the following tracks have submissions due: 30 JUNE ** Demos ** The SPLASH Demonstrations track is an excellent vehicle for sharing your latest work with an experienced and technically savvy audience. Live demonstrations show the impact of software innovation. Demonstrations are not product sales pitches, but rather an opportunity to highlight, explain, and present interesting technical aspects of running applications in a dynamic and highly interactive setting. Presenters are encouraged to actively solicit feedback from the audience, which should lead to very interesting and entertaining demonstration sessions. Submissions Due: 30 June, 2015 http://2015.splashcon.org/track/splash2015-demos ** Doctoral Symposium ** The SPLASH Doctoral Symposium provides students with useful guidance for completing their dissertation research and beginning their research careers. The Symposium will provide an interactive forum for doctoral students who have progressed far enough in their research to have a structured proposal, but will not be defending their dissertation in the next 12 months. Submissions Due: 30 June, 2015 http://2015.splashcon.org/track/splash2015-ds ** Dynamic Languages Symposium (DLS) ** The 11th Dynamic Languages Symposium (DLS) at SPLASH 2015 is the premier forum for researchers and practitioners to share knowledge and research on dynamic languages, their implementation, and applications. The influence of dynamic languages – from Lisp to Smalltalk to Python to Javascript – on real-world practice and research continues to grow. Submissions Due: 15 June, 2015 http://2015.splashcon.org/track/dls2015-papers ** OOPSLA Artifacts ** The Artifact Evaluation process is a service provided by the community to help authors of accepted papers provide more substantial supplements to their papers so future researchers can more effectively build on and compare with previous work. The Artifact Evaluation Committee has been formed to assess how well paper authors prepare artifacts in support of such future researchers. Roughly, authors of papers who wish to participate are invited to submit an artifact that supports the conclusions of the paper. Submissions Due: 9 June, 2015 http://2015.splashcon.org/track/splash2015-artifacts ** 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. Posters can be independent presentations or associated with one of the other parts of SPLASH. Submissions Due: 30 June, 2015 http://2015.splashcon.org/track/splash2015-posters ** SPLASH-E ** The SPLASH-E track brings together researchers and educators to share educational results, ideas, and challenges centered in Software and Programming Languages. Submission formats vary, including papers, tool demos, lightning talks, challenge-topics for discussion, and suggested themes for "unconference" sessions. Help us create an engaging forum for educational issues related to SPLASH! Submissions Due: 30 June, 2015 http://2015.splashcon.org/track/splash2015-splash-e ** Student Research Competition ** The ACM SIGPLAN Student Research Competition (ACM SRC) is an internationally-recognized venue that enables undergraduate and graduate students to experience the research world, 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. Submissions Due: 30 June, 2015 http://2015.splashcon.org/track/splash2015-src ** Student Volunteers ** The SPLASH Student Volunteer program provides an opportunity for students from around the world to associate with some of the leading personalities in industry and research in the following areas: programming languages, object-oriented technology and software development. Student volunteers contribute to the smooth running of the conference by performing tasks such as: assisting with registration, providing information about the conference to attendees, assisting session organizers and monitoring sessions. Submissions Due: 7 August, 2015 http://2015.splashcon.org/track/splash2015-sv ** Tutorials ** The SPLASH 2015 Tutorials programme will consist of prestigious tutorials on current topics in software, systems, and languages research. The scope of Tutorials is the same as the conference itself: all aspects of software construction and delivery at the intersection of programming, languages, and software engineering. Tutorials in particular focus on the nexus between research and practice, including work that takes inspiration from or builds connections to areas not commonly considered at SPLASH. Tutorials should introduce researchers to current research in an area, or show important new tools that can be used in research. Submissions Due: 30 June, 2015 http://2015.splashcon.org/track/splash2015-tutorials ** Wavefront ** The SPLASH Wavefront track is looking for presentations and technology talks of interest to the software community, particularly to software professionals working in companies large and small. Wavefront is a forum for presenting experience reports and tutorials about innovative tools, technologies, and software practices. Submissions Due: 30 June, 2015 http://2015.splashcon.org/track/splash2015-wavefront ** Workshops ** The SPLASH Workshops track will host a variety of high-quality workshops, allowing their participants to meet and discuss research questions with peers, to mature new and exciting ideas, and to build up communities and start new collaborations. SPLASH workshops complement the main tracks of the conference and provide meetings in a smaller and more specialized setting. Workshops cultivate new ideas and concepts for the future, optionally recorded in formal proceedings. Late Phase Submissions Due: 30 June, 2015 http://2015.splashcon.org/track/splash2015-workshops ** Co-Located Events ** SLE - 8th International Conference on Software Language Engineering (SLE) Submissions Due: 15 June, 2015 http://conf.researchr.org/home/sle2015 GPCE - 14th International Conference on Generative Programming: Concepts & Experiences (GPCE) Submissions Due: 21 June, 2015 http://conf.researchr.org/home/gpce2015 DBPL - 15th Symposium on Database Programming Languages (DBPL) Submissions Due: 15 June, 2015 http://conf.researchr.org/home/dbpl2015 PLoP - 22nd International Conference on Pattern Languages of Programming (PLoP) Submissions Due: 12 May, 2015 http://www.hillside.net/plop/2015/ Information: SPLASH Early Registration Deadline: 25 September, 2015 Contact: info(a)splashcon.org<mailto:info@splashcon.org> Website: http://2015.splashcon.org<http://2015.splashcon.org/> Location: Sheraton Station Square Hotel Pittsburgh, Pennsylvania, United States Organization: SPLASH General Chair: Jonathan Aldrich (Carnegie Mellon University) OOPSLA Papers Chair: Patrick Eugster (Purdue University) Onward! Papers Chair: Gail Murphy (University of British Columbia) Onward! Essays Chair: Guy Steele (Oracle Labs) DLS Papers Chair: Manuel Serrano (INRIA) Artifacts Co-Chairs: Robby Findler (Northwestern University) and Michael Hind (IBM Research) Demos Co-Chair: Igor Peshansky (Google) and Pietro Ferrara (IBM Research) Doctoral Symposium Chair: Yu David Liu, State University of New York (SUNY) Binghamton Local Arrangements Chair: Claire Le Goues (Carnegie Mellon University) PLMW Workshop Co-Chairs: Darya Kurilova (Carnegie Mellon University) and Zachary Tatlock (University of Washington) Posters Co-Chairs: Nick Sumner (Simon Fraser University) Publications Chair: Alex Potanin (Victoria University of Wellington) Publicity and Web Co-Chairs: Craig Anslow (University of Calgary) and Tijs van der Storm (CWI) SPLASH-E Chair: Eli Tilevich (Virginia Tech) SPLASH-I Co-Chairs: Tijs van der Storm (CWI) and Jan Vitek (Northeastern University) Student Research Competition Co-Chairs: Sam Guyer (Tufts University) and Patrick Lam (University of Waterloo) Student Volunteer Co-Chairs: Jonathan Bell (Columbia University) and Daco Harkes (TU Delft) Sponsorship Chair: Tony Hosking (Purdue University) Tutorials Co-Chair: Romain Robbes (University of Chile) and Ronald Garcia (University of British Columbia) Video Chair: Michael Hilton (Oregon State University) Videos Previews Czar: Thomas LaToza (University of California, Irvine) Wavefront Co-Chairs: Dennis Mancl (Alcatel-Lucent) and Joe Kiniry (Galois) Web Technology Chair: Eelco Visser (TU Delft) Workshop Co-Chairs: Du Li (Carnegie Mellon University) and Jan Rellermeyer (IBM Research) /************************************************************************************/

1 0

GTTSE 2015 -- Call for Participation
by Vadim Zaytsev 19 Jun '15

19 Jun '15

GTTSE 2015 -- Call for Participation The 5th Summer School on Grand Timely Topics in Software Engineering (GTTSE) Sunday 23 Aug - Saturday 29 Aug, 2015, Braga, Portugal http://gttse.wikidot.com/ Registration is open for participants! http://gttse.wikidot.com/2015:registration There is a students' workshop to which one may submit. http://gttse.wikidot.com/2015:students-workshop List of speakers ================ * Matthew Dwyer (University of Nebraska, USA): Probabilistic program analysis * Cesar Gonzalez-Perez (Spanish National Research Council (CSIC), Spain): How ontologies can help in software engineering * Stefan Hanenberg (University of Duisburg-Essen, Germany): Empirical Evaluation of Programming and Programming Language Constructs * Frédéric Jouault (ESEO Institute of Science and Technology, France): Model Synchronization * Julia Rubin (MIT, USA): To merge or not to merge: managing software product families * Leif Singer (University of Victoria, Canada): People Analytics in Software Development * Ulrik Pagh Schultz (University of Southern Denmark, Denmark): DSLs in Robotics: A Case Study in Programming Self-reconfigurable Robots * Yannis Smaragdakis (University of Athens, Greece): Structured Program Generation Techniques * Friedrich Steimann (FernUniversität in Hagen, Germany): Refactoring and beyond * Nikolai Tillmann (Microsoft Research, USA): Software Engineering Processes in the Cloud * Guido Wachsmuth (Delft University of Technology, The Netherlands): Name Binding: Paradigms, Representation and Specification Scope ===== Historically, in the first four editions of GTTSE, the school series focused on generative and transformational techniques in software engineering, as evident from the original acronym (GTTSE - Generative and Transformational Techniques in Software Engineering). With the rise of the Software Language Engineering conference, the school series also covered that field. As of the 5th edition, a broader scope is applied to include additional areas of software engineering, e.g., software analysis, empirical research, modularity, and product lines. Thus, the new expansion of the GTTSE acronym: Grand Timely Topics in Software Engineering. The notion of timely topics is inspired by the ICSE conference which, in its 2015 edition, features technical briefings as "a venue for communicating the current state of a timely topic related to software engineering". Format ====== The school's scientific program of GTTSE 2015 consists of 10 briefings for different timely topics in software engineering. Each briefing is based on a relatively short paper which combines aspects of surveying and tutorial. The surveying aspect is realized specifically by the design constraint for the briefings to dedicate 50% to the analysis of related work. The remaining 50% are typically dedicated to the more specific research of the presenters. Each briefing gets allotted 2-3 sessions with up to 3 hours in total. The speakers for the briefings are established authorities in their respective fields. GTTSE 2015 also features a students' workshop. These presentations may be refined into submissions of short papers (6-8 pages LNCS style) to be peer-reviewed and considered for inclusion in the post-proceedings past the school. All material presented at the school will be collected in informal proceedings to be handed out solely to the participants. Formal and public post-proceedings will be compiled after the summer school where all contributions are subjected to reviewing. The post-proceedings of the school will be published in a volume of the Lecture Notes in Computer Science series of Springer International Publishing. The post-proceedings of the previous four instances of the summer school were published as LNCS 4143 (GTTSE 2005), LNCS 5235 (GTTSE 2007), LNCS 6491 (GTTSE 2009) and LNCS 7680 (GTTSE 2011). Important dates =============== * 3 July: Early Registration Deadline * 7 August: Late Registration Deadline * 23-29 August: Summer School * 15 October: Submission deadline for post-proceedings * 15 December: Notifications of authors * 1 February: Camera-ready submissions Organization committee ====================== * Jácome Cunha (Universidade Nova de Lisboa, Portugal) - Organization Chair * João Paulo Fernandes (Universidade da Beira Interior, Portugal) - Program Chair * Ralf Lämmel (Universität Koblenz-Landau, Germany) - Briefings Chair * João Saraiva (Universidade do Minho, Portugal) - General Chair * Joost Visser (Software Improvement Group, The Netherlands) - Industry Chair * Vadim Zaytsev (Universiteit van Amsterdam, The Netherlands) - Publicity Chair Scientific committee ==================== * Bram Adams (École Polytechnique de Montréal) * Benoit Baudry (INRIA) * Xavier Blanc (Bordeaux 1 University) * Darius Blasband (RainCode) * Paulo Borba (Federal University of Pernambuco) * Mark van den Brand (Eindhoven University of Technology) * Martin Bravenboer (LogicBlox Inc.) * Jordi Cabot (INRIA-École des Mines de Nantes) * João Cardoso (FEUP/Universidade do Porto) * Michel Chaudron (Chalmers & Gothenborg University) * Anthony Cleve (University of Namur) * Benoît Combemale (Université de Rennes 1) * Alcino Cunha (Universidade de Minho) * Jácome Cunha (Universidade Nova de Lisboa) * Juan De Lara (Universidad Autonoma de Madrid) * Andrea De Lucia (University of Salerno) * Coen De Roover (Vrije Universiteit Brussel) * Davide Di Ruscio (Università degli Studi dell'Aquila) * Zinovy Diskin (McMaster University / University of Waterloo) * Rudolf Ferenc (University of Szeged) * João M. Fernandes (Universidade do Minho) * João Paulo Fernandes (Universidade da Beira Interior) * João Saraiva (Universidade do Minho) * Mike Godfrey (University of Waterloo) * Martin Gogolla (University of Bremen) * Jeff Gray (University of Alabama) * Mark Grechanik (University of Illinois at Chicago) * Yann-Gaël Guéhéneuc (École Polytechnique de Montréal) * Gorel Hedin (Lund University) * Florian Heidenreich (DevBoost GmbH) * Pedro Rangel Henriques (Universidade do Minho) * Felienne Hermans (Delft University of Technology) * Dirk Heuzeroth (Hochschule Heilbronn) * Robert Hirschfeld (Hasso-Plattner-Institut) * Zhenjiang Hu (NII) * Marianne Huchard (Université Montpellier 2 et CNRS) * Jean-Marc Jézéquel (University of Rennes 1) * Foutse Khomh (École Polytechnique de Montréal) * Holger Kienle (Freier Informatiker) * Dimitris Kolovos (University of York) * Nicholas A. Kraft (ABB Corporate Research) * Jens Krinke (University College London) * Christian Kästner (Carnegie Mellon University) * Paul Klint (Centrum Wiskunde & Informatica) * Ralf Lämmel (Universität Koblenz-Landau) * Michele Lanza (University of Lugano) * Timothy Lethbridge (University of Ottawa) * David Lo (Singapore Management University) * Tiziana Margaria (Lero) * Erik Meijer (Delft University of Technology) * Marjan Mernik (University of Maribor) * Ana Moreira (Universidade Nova de Lisboa) * José Nuno Oliveira (Universidade do Minho) * Rocco Oliveto (University of Molise) * Richard Paige (University of York) * Alfonso Pierantonio (Università degli Studi dell'Aquila) * Juergen Rilling (Concordia University) * Sibylle Schupp (Hamburg University of Technology) * Bran Selic (Malina Software Corp.) * Alexander Serebrenik (Eindhoven University of Technology) * Tony Sloane (Macquarie University) * Simão Melo de Sousa (Universidade da Beira Interior) * Tijs van der Storm (Centrum Wiskunde & Informatica) * James Terwilliger (Microsoft Corporation) * Laurence Tratt (King's College London) * Antonio Vallecillo (Universidad de Málaga) * Eric Van Wyk (University of Minnesota) * Jurgen Vinju (Centrum Wiskunde & Informatica) * Joost Visser (Radboud University Nijmegen) * Markus Völter (independent) * Tanja E. J. Vos (Universidad Politécnica de Valencia) * Andreas Winter (Carl von Ossietzky University) * Victor Winter (University of Nebraska at Omaha) * Andy Zaidman (Delft University of Technology) * Vadim Zaytsev (Universiteit van Amsterdam)

1 0

OCL 2015: Second Call for Papers - Only Four Weeks Left
by Achim D. Brucker 19 Jun '15

19 Jun '15

(Apologies for duplicates) CALL FOR PAPERS 15th International Workshop on OCL and Textual Modeling Tools and Textual Model Transformations Co-located with ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MODELS 2015) September 28th, 2015, Ottawa, Canada http://ocl2015.lri.fr Modeling started out with UML and its precursors as a graphical notation. Such visual representations enable direct intuitive capturing of reality, but some of their features are difficult to formalize and lack the level of precision required to create complete and unambiguous specifications. Limitations of the graphical notations encouraged the development of text-based modeling languages that either integrate with or replace graphical notations for modeling. Typical examples of such languages are OCL, textual MOF, Epsilon, and Alloy. Textual modeling languages have their roots in formal language paradigms like logic, programming and databases. The goal of this workshop is to create a forum where researchers and practitioners interested in building models using OCL or other kinds of textual languages can directly interact, report advances, share results, identify tools for language development, and discuss appropriate standards. In particular, the workshop will encourage discussions for achieving synergy from different modeling language concepts and modeling language use. The close interaction will enable researchers and practitioners to identify common interests and options for potential cooperation. Topics of interest include (but are not limited to) =================================================== - Mappings between textual modeling languages and other languages/formalisms - Algorithms, evaluation strategies and optimizations in the context of textual modeling languages for -- validation, verification, and testing, -- model transformation and code generation, -- meta-modeling and DSLs, and -- query and constraint specifications - Alternative graphical/textual notations for textual modeling languages - Evolution, transformation and simplification of textual modeling expressions - Libraries, templates and patterns for textual modeling languages - Tools that support textual modeling languages (e.g., verification of OCL formulae, runtime monitoring of invariants) - Complexity results for textual modeling languages - Quality models and benchmarks for comparing and evaluating textual modeling tools and algorithms - Successful applications of textual modeling languages - Case studies on industrial applications of textual modeling languages - Experience reports -- usage of textual modeling languages and tools in complex domains, -- usability of textual modeling languages and tools for end-users - Empirical studies about the benefits and drawbacks of textual modeling languages - Innovative textual modeling tools - Comparison, evaluation and integration of modeling languages - Correlation between modeling languages and modeling tasks This year, we particularly encourage submissions describing tools that support - in a very broad sense - textual modeling languages (if you have implemented OCL.js to run OCL in a web browser, this is the right workshop to present your work) as well as textual model transformations. Venue ===== The workshop will be organized as a part of MODELS 2015 Conference in Ottawa, Canada. It continues the series of OCL workshops held at UML/MODELS conferences: York (2000), Toronto (2001), San Francisco (2003), Lisbon (2004), Montego Bay (2005), Genova (2006), Nashville (2007), Toulouse (2008), Denver (2009), Oslo (2010), Zurich (2011, at the TOOLs conference), 2012 in Innsbruck, 2013 in Miami, and 2014 in Valencia, Spain. Similar to its predecessors, the workshop addresses both people from academia and industry. The aim is to provide a forum for addressing integration of OCL and other textual modeling languages, as well as tools for textual modeling, and for disseminating good practice and discussing the new requirements for textual modeling. Workshop Format =============== The workshop will include short (about 15 min) presentations, parallel sessions of working groups, and sum-up discussions. Submissions =========== Three types of papers will be considered: * short papers (between 6 and 8 pages) describing ideas, * tool papers (between 6 and 8 pages), and * full papers (between 12 and 16 pages) in LNCS format. Submissions should be uploaded to EasyChair (https://easychair.org/conferences/?conf=ocl20150) The program committee will review the submissions (minimum 2 reviews per paper, usually 3 reviews) and select papers according to their relevance and interest for discussions that will take place at the workshop. Accepted papers will be published online in a pre-conference edition of CEUR (http://www.ceur-ws.org) Important Dates =============== Submission of papers: July 17, 2015 Notification: August 21, 2015 Workshop date: September 28, 2015 Organizers ========== Achim D. Brucker, SAP SE, Germany Marina Egea, Indra Sistemas S.A., Spain Martin Gogolla, University of Bremen, Germany Frederic Tuong, Univ. Paris-Sud - IRT SystemX - LRI, France Programme Committee =================== Mira Balaban, Ben-Gurion University of the Negev, Israel Tricia Balfe, Nomos Software, Ireland Achim D. Brucker, SAP SE, Germany Fabian Buettner, Inria - Ecole des Mines de Nantes, France Jordi Cabot, Inria - Ecole des Mines de Nantes, France Dan Chiorean, Babes-Bolyai University, Romania Robert Clariso, Universitat Oberta de Catalunya, Spain Tony Clark, Middlesex University, UK Manuel Clavel, IMDEA Software Institute, Spain Carolina Dania, IMDEA Software Institute, Spain Birgit Demuth, Technische Universitat Dresden, Germany Marina Egea, Indra Sistemas S.A., Spain Geri Georg, Colorado State University, USA Martin Gogolla, University of Bremen, Germany Shahar Maoz, Tel Aviv University, Israel Istvan Rath, Budapest University of Technology and Economics, Hungary Bernhard Rumpe, RWTH Aachen, Germany Frederic Tuong, Univ. Paris-Sud - IRT SystemX - LRI, France Claas Wilke, Technische Universitat Dresden, Germany Edward Willink, Willink Transformations Ltd., UK Burkhart Wolff, Univ. Paris-Sud - LRI, France Steffen Zschaler, King's College, UK -- Dr. Achim D. Brucker, SAP SE, Vincenz-Priessnitz-Str. 1, D-76131 Karlsruhe Phone: +49 6227 7-52595, http://www.brucker.ch/

1 0

[Deadline Extended: 15 July 2015] IEEE 11th International Conference on Innovations IIT'15, Dubai, UAE
by Leila Fayez Ismail 18 Jun '15

18 Jun '15

Dear Colleagues, Due to numerous requests, and end-of-semester busy period for authors, we are pleased to inform you that the papers submission deadline has been extended. Kindly find the CFP below. Apologies if you receive multiple copies of this CFP. Please feel free to distribute the IIT'15 CFP to your colleagues, students and networks. CALL FOR PAPERS 2015 11th International Conference on Innovations in Information Technology (IIT'15) Special Theme: Smart Living Cities, Big Data and Sustainable Development November 01-03, 2015, Dubai, UAE ------------IMPORTANT: Submission Deadline Extended----- More information is available at: http://www.it-innovations.ae/ IEEE Technical Sponsorship by IEEE Computer Society. All papers will be published by IEEE and included in IEEE Xplore digital library, and all other global indices. News: Extended papers will be invited for possible publication in a Springer Book, indexed in Springer global indices, one of the largest databases in the world and Scopus including citations: approved. BEST PAPER AWARDS Two best papers of the conference will be selected by the program committee. One will be awarded the "Best Research Paper Award" and another one will be awarded the “Best Application Paper Award” (for application-oriented submissions). IMPORTANT DATES Papers and Student Posters Submission 15 July 2015 (extended) Submission of Tutorials 15 July 2015 (extended) Notification for Tutorials 30 August 2015 Notification for Papers and Student Posters from 9 September 2015 Final Camera-Ready 29 September 2015 SCOPE The International Conference on Innovations in Information Technology 2015 (IIT’15) is a forum that addresses the latest ideas in information technology (IT). The theme of IIT’15 is Smart Cities and all of the software and hardware technologies that are required to provide better living conditions in the cities of tomorrow. This theme will be reflected by a number of tracks which focus on different aspects of related technologies such as Big Data, cloud computing, collaborative platforms, communication infrastructures, smart health, smart learning, social participation, sustainable development and energy management. All of those themes will be brought together by unifying invited high quality keynotes and panels. CONFERENCE TRACKS/THEMES Topics of interest include but not limited to the following major tracks/themes. Research papers are invited but not limited to the following areas: Track A: Innovations in Information and Communication Infrastructures - Advanced Network Technologies, Heterogeneous networks, and Real Time Networks - Quality of Services - Next Generation of Mobile Networks - Ad-Hoc and Sensor Networks, Wireless Networks - Distributed Systems, Grid Computing - Smart Grid - Mobility Management and Mobile computing - Information and Cyber Security for Smart Living Spaces Track B: Internet of Things (IoT) ICT Architecture for IoT - System design, Modeling and Simulation - Grid Computing , and Cloud Computing - Real-Time Systems for IoT, Autonomic Systems - Security, Privacy, Trust and Reliability - Software Design and Development of IoT-Based Applications - Intelligent Data Processing - Smart Appliances & Wearable Computing Devices Track C: Smart Collaborative Platforms and Logistics Agile Information Systems - Design, Modeling and Simulation of Collaborative Applications - Practice and Experiences of Collaborative Applications - Risk Management, Smart Business - Middleware Support for Collaboration - Real-Time Information Sharing and Interaction - AI and Decision-Support Systems Track D: Big Data and Smart Applications - Big Data Analytics and Algorithms - High Performance Computing and Real-Time of Big Data Processing - Big Data Storage and Distribution - Data Mining - Grid Computing and Cloud Computing - Middleware for Smart Applications - e-Health, Smart Learning, Intelligent Processing and Intelligent Applications Track E: Cyber-Physical Energy Systems - Theory, Tools and Applications - System Design, Modeling and Simulation - Testbeds and Experiences - Algorithms for Energy Efficiency - Middleware - Design and Development of Protocols for Sustainable energy - Design and Development of Secure and Resilient Systems SUBMISSIONS IIT'15 seeks original manuscripts (of up to 6 pages maximum in IEEE two-column format) describing research in all aspects of IT that contribute to the conference themes. Papers submitted to the conference should present original work that has not been previously published or is currently under review by other conferences or journals. All papers will be peer reviewed, and authors of accepted papers are expected to present their work at the conference. Submissions of tutorial, special session, and workshop proposals are also welcome. The submission guidelines are available at http://www.it-innovations.ae/iit2015/Authors.html. Paper submission should be done through http://www.edas.info<http://www.edas.info/> KEYNOTE SPEAKERS Chair Professor Christian Wagner Smart Cities and Social Media City University Hong Kong Associate Provost for Quality Assurance Dr. Babu Narayanan Smart Cities and The Future of Energy General Electric (GE) Global Research, Bangalore, India Senior Principal Scientist Dr. Michael P. Perrone Smart Cities and Data Centric Systems IBM T.J. Watson Research Center, NY, USA Program Director Data Centric Systems Client Partnerships Professor Elizabeth Chang Smart Cities and Intelligent Logistics Ecosystem University of New South Wales (UNSW) Australia Canberra Fellow and IEEE Fellow We look forward to welcoming you in Dubai at IIT'15 in November 2015. On behalf of the IIT'15 Organizing Committee --- Dr. Leila Ismail, IIT'15 Chair Founder & Director to High Performance & Grid/Cloud Computing Research Lab College of IT, UAE University 17551, Al-Maqam, Al-Ain, UAE Email: leila(a)uaeu.ac.ae Tel.: +971-3-7135530 Mobile: +971-50-8311059 Fax : +971-3-7672018 http://fit.uaeu.ac.ae/en/academic_tracks_programs/int/profile.shtml?email=l… http://citweb.uaeu.ac.ae/citweb/profile/leila Disclaimer:"The content of this email together with any attachments, statements and opinions expressed herein contains information that is confidential in nature and intended for the named addressee(s) only. If you are not the addressee of this email or you have received this message in error please notify the sender and delete the message and any associated files from your system, you have no right to copy, print, distribute or use this email or any of its attachments, or permit or disclose its contents to any other party in any way, except with the prior approval of the sender. In case of breach of what has been explained above, you will be held legally accountable." تنبيه: "تنبيه: إن محتوى هذا البريد الإلكتروني بمرفقاته وبياناته وآرائه الواردة في هذه الوثيقة يحتوي على معلومات تعتبر ذات طبيعة سرية، وتستهدف المرسل اسمه فقط، فإذا لم تكن المرسل إليه في هذه الرسالة أو كنت قد تلقيت الرسالة بالخطأ؛ يُرجى إبلاغ المُرسل وحذف الرسالة وأية ملفات مرتبطة من النظام الخاص بك، إذ ليس لديك الحق في نسخ أو طباعة أو توزيع أو استخدام محتويات هذا البريد الإلكتروني، أو السماح أو الكشف عن ذلك لأي طرف آخر تحت أي ظرف إلا بموافقة مسبقة من لمرسل، علماً بأن إخلالك بما سبق سيعرضك للمساءلة القانونية" . www.uaeu.ac.ae<http://www.uaeu.ac.ae>

1 0

Haskell Weekly News
by Kim-Ee Yeoh 18 Jun '15

18 Jun '15

*Top Picks:* - Andrew Gibiansky <http://www.reddit.com/r/haskell/comments/37uqqk/ihaskell_online_help_choose…> announces the Mathematica-inspired REPL 2.0 IHaskell as a web-app you can play with right now <http://try.jupyter.org/>. Bouquets include: "This is an awesome step up from the tryhaskell window." Also, "I love IHaskell. I've already started preferring it to ghci since it's so much easier to use." More /r/haskell love here <https://www.reddit.com/r/haskell/comments/376aqh/ihaskell_on_tryjupyterorg/> . - Mihai Maruseac and Alejandro Serrano Mena publish the 28th Haskell Communities and Activities Report <https://www.haskell.org/communities/05-2015/html/report.html>. Top comment on HN <https://news.ycombinator.com/item?id=9627260>: "Haskell is backed by a truly amazing community. Haskell will continue to inspire people to build better, safer software. I hope that the values of tolerance, respect and benevolence that most of the Haskell community is supporting will also contribute to make tech a more friendly and equal place for everyone." - Bicycling in circles just to find parking in Utrecht? Bas van Dijk launches a city-wide monitoring system that guides you to a space that's free, dry, and safe <https://bicycledutch.wordpress.com/2015/06/09/bicycle-parking-guidance-syst…>. Written in Haskell 'natch, even the front-end leverages GHCJS. Devops'ed in NixOS. He tips off his fellow redditors <http://www.reddit.com/r/haskell/comments/3959r0/haskellbased_bicycle_parkin…> about using blaze-react to wrap Facebook's React library. HN-worthy <https://news.ycombinator.com/item?id=9690683>. - Announcing on haskell-cafe <http://haskell.1045720.n5.nabble.com/A-Dockerfile-to-provision-a-build-envi…> and /r/haskell <http://www.reddit.com/r/haskell/comments/387uct/building_an_android_game_wr…>, Sean Seefried open sources a Docker script that instantly gets you a Haskell build environment for Android game development <https://github.com/sseefried/docker-epidemic-build-env>. No more fiddling with cross-compiles. He even gives you an open source game <https://github.com/sseefried/open-epidemic-game> all mobile-ready. Thanks, Sean! - Vincent Hanquez releases cryptonite <http://hackage.haskell.org/package/cryptonite>, a single package that consolidates 10-20 other crypto packages. Why? Because maintaining multiple packages is a pain involving fiddling with dependency version bounds and changelog/cabal/version metadata. Benefit for the user? Easier discovery of crypto widgets now that they are all in one haddock, as opposed to hidden in a package whose name eludes you. Kibbitz on /r/haskell <http://www.reddit.com/r/haskell/comments/389tpg/announcing_cryptonite/>. - Joe Nelson <https://news.ycombinator.com/item?id=9642665#up_9643923>discovered Haskell two years ago <http://www.wagonhq.com/blog/first-two-weeks-haskell-wagon> and calls it "moon language." Now he works full-time at Wagon, an all-Haskell start-up offering "a modern data collaboration tool." He's proud of his team that "excels at debugging gnarly issues, including a memory leak caused by a useful yet tricky language feature called lazy evaluation." But what's the buzz that HN <https://news.ycombinator.com/item?id=9703500> and /r/haskell <http://www.reddit.com/r/haskell/comments/39izi6/my_first_two_weeks_of_haske…> latch on? Answer: The pros and cons of effectful point-free refactoring. - Fredrik Olsen migrates from Ruby on Rails (RoR) to Haskell <https://medium.com/@folsen/haskell-in-production-bdellium-1df48de40e19> at fintech start-up Bdellium. Unlike RoR where he "always had a much harder time" with an existing codebase, he testifies that "Haskell let me quickly browse the code, read the types and almost instantly understand the structure and layout of the program." Hiring for RoR nets him "a few hundred applications" where only "10–20% I’d say are people that I’d actually be interested in hiring." Hiring for Haskell gets "50 responses to the Reddit post, all of them were people that I could have hired. Many of the applicants were even grossly over-qualified and were willing to take the job just because it would let them work in Haskell." Ben Ford of Fynder.io corroborates Fredrik in the top comment on /r/haskell <http://www.reddit.com/r/haskell/comments/38nooh/haskell_in_production_bdell…> . Phil Wadler reblogs <http://wadler.blogspot.com/2015/06/haskell-in-production-bdellium.html> the story and zooms in on how Fredrik gained 3.7x parallelism from 4 cores by merely tweaking a single line of code. Control.Parallel.Strategies <http://hackage.haskell.org/package/parallel-3.2.0.6/docs/Control-Parallel-S…> ftw! - Arnaud Bailly <https://news.ycombinator.com/item?id=9642665#up_9643923> shares on HN that he had "no issue finding talent" for Haskell jobs in Singapore. "150 qualified applicants (i.e. passed the test, which was to design an inventory management system in Haskell) for ~10 positions, all foreign; the majority came from the US, Germany and Scandinavia." - If type errors can be deferred, why not also "name not found"? Tom Ellis asks <http://haskell.1045720.n5.nabble.com/fdefer-more-errors-tp5809991.html>. He thinks it would make Haskell "gentler for newcomers." For veterans: even more stub-driven-dev opportunities. Coincidentally, Dan Burton spitballed the same on /r/haskell <http://www.reddit.com/r/haskell/comments/37km7e/fdeferscopeerrors_anyone/>. This idea has a history stretching back at least 3 years: see trac ticket #5910 <https://ghc.haskell.org/trac/ghc/ticket/5910#comment:19>. - David Luposchainsky proposes to move the fail method out of the Monad type class <https://github.com/quchen/articles/blob/master/monad_fail.md>. With the deeply thought out blueprint he provides, /r/haskell reports <http://www.reddit.com/r/haskell/comments/397k1a/monadfail_proposal_mfp_movi…> that the community's already working on it. Discussion on libraries list <http://haskell.1045720.n5.nabble.com/MonadFail-proposal-MFP-Moving-fail-out…> . - Anthony Cowley proposes a shorter syntax for imports on haskell-cafe <http://haskell.1045720.n5.nabble.com/Proposal-Shorter-Import-Syntax-td58104…> and trac <https://ghc.haskell.org/trac/ghc/ticket/10478>. He withdraws his proposal five days later because the "disdainful mockery" and "strongly worded rebuttals" have him overwhelmed on what is only a "nights and weekends project." Reddit discussion here <https://www.reddit.com/r/haskell/comments/38vsef/proposal_shorter_import_sy…> . - Henk-Jan van Tuyl <http://haskell.1045720.n5.nabble.com/a-files-not-found-td5810165.html> runs smack into a library .a-extension File Not Found problem when installing data-default-instances-old-locale on 7.10. Culprit? Windows! And its %&@#! 255-character filepath limit. He is not alone <https://github.com/haskell/cabal/issues/2502>. Why is 7.8 ok? Because package names in the filepath used to be abbreviated. Workaround? Instead of cabal install X, download it first: cabal get X, then cabal install ./X. Thanks to Matej Borovec and Michal Antkiewicz for sorting it out. - FP Complete announces Stack <https://www.fpcomplete.com/blog/2015/06/announcing-first-public-beta-stack>, a replacement for cabal-install <https://hackage.haskell.org/package/cabal-install> the command-line tool (not Cabal the library infrastructure). Stack leverages Stackage <https://www.stackage.org/> Long-Term Support (LTS) releases for a speedy escape from cabal hell. Warmly received on /r/haskell <http://www.reddit.com/r/haskell/comments/3957e1/announcing_first_public_bet…>. Dan Burton blogs on how Stack eases development by removing the need to remember a sequence of cabal commands <http://www.reddit.com/r/haskell/comments/3a6p9h/how_stack_lowers_the_barrie…>. HN-worthy <https://news.ycombinator.com/item?id=9687274> and a troll that Haskell's "an esoteric language that no one uses" provokes many a valiant, evidence-backed defense <https://news.ycombinator.com/item?id=9687274#up_9688248>. - Redditor beerdude26 nudges folks on /r/haskell <http://www.reddit.com/r/haskell/comments/37y1yi/my_approach_to_centralizing…> to continue cultivating the haskell wiki <https://wiki.haskell.org/Haskell>. He sets an example by splicing in the common newtype workaround <https://wiki.haskell.org/Orphan_instance#Common_workaround> into the entry on orphan instances. - In HN news <https://news.ycombinator.com/item?id=9662705>: Cloud Haskell <http://haskell-distributed.github.io/> -- Erlang-style concurrent and distributed programming. Top comment notes that whereas the web site suggests that activity stopped in 2014, CH actually thrives on Github <https://github.com/haskell-distributed>. - In HN news <https://news.ycombinator.com/item?id=9696086>: Haskell wiki entry on Frag <https://wiki.haskell.org/Frag>, a 2005 undergrad project by Mun Hon Cheong who recreated a Quake3-like First-Person Shooter (FPS) game using Yampa FRP. Although a decade old, Cody Goodman <https://news.ycombinator.com/item?id=9696086#up_9696700> reports that he's gotten it to compile. - In HN news <http://news.ycombinator.com/item?id=9704851>: APL lives! A functional programmer investigates APL <http://theburningmonk.com/2015/06/fear-and-loathing-with-apl/>, discovers that it "looks every bit as mind-bending and unbelievable as scenes from Johnny Depp’s *Fear and Loathing in L**as Vegas*", and summarizes the syntax for the benefit of all. *Quotes of the Week:* - A typeclass with only one instance is nonsensical, and often a symptom of trying to use typeclasses as OO classes. -- Brandon Allbery <http://haskell.1045720.n5.nabble.com/Disambiguating-a-Num-RealFrac-instance…> - That Haskell shows the developer things about themselves even they didn't know is enough to make it worth learning. It's mind-bending and ideology-exposing. -- Redditor on /r/haskell <http://www.reddit.com/r/haskell/comments/39ci9j/coming_from_php_working_in_…> - Haskell's great for writing an ugly solution and fixing it later because refactoring is so cheap. No need to get it right the first time. -- Gabriel Gonzalez on Twitter <https://twitter.com/GabrielG439/status/606831084655902720> -- Kim-Ee nights and weekends project

1 0