- Haskell - Haskell.org

AVoCS 2015: Final Call for Papers
by YuHui Lin 27 May '15

27 May '15

====================================================================== FINAL CALL FOR PAPERS The 15th International Workshop on Automated Verification of Critical Systems AVoCS 2015 1-4 September 2015, Edinburgh, UK https://sites.google.com/site/avocs15/ avocs2015(a)easychair.org -----------------------|*** HIGHLIGHTS ***|---------------------------- + Paper deadline: 12th June (with abstract due 5th June) + Invited talks by Colin O'Halloran (D-RisQ/Oxford) Don Sannella (Contemplate/Edinburgh) + AI4FM workshop including invited talk by J Strother Moore (Univerity of Texas at Austin) + Student support from FME/SICSA sponsorships + Proceedings to be published by EASST + Special issues of Science of Computer Programming ======================================================================= IMPORTANT DATES Submission of abstract (full papers): 5th June 2015 Submission of full papers: 12th June 2015 Notification (full papers): 14th July 2015 Submission of research idea papers: 7th August 2015 Notification (research idea): 14th August 2015 Early registration: 18th August 2015 Submissions of final versions: 21st August 2015 INVITED SPEAKERS Colin O'Halloran (D-RisQ & the University of Oxford) Don Sannella (Contemplate & the University of Edinburgh) SPONSORS Formal Methods Europe (FME) The Scottish Informatics & Computer Science Alliance (SICSA) BACKGROUND The aim of Automated Verification of Critical Systems (AVoCS) 2015 is to contribute to the interaction and exchange of ideas among members of the international research community on tools and techniques for the verification of critical systems. SCOPE The subject is to be interpreted broadly and inclusively. It covers all aspects of automated verification, including model checking, theorem proving, SAT/SMT constraint solving, abstract interpretation, and refinement pertaining to various types of critical systems which need to meet stringent dependability requirements (safety-critical, business-critical, performance-critical, etc.). Contributions that describe different techniques, or industrial case studies are encouraged. The technical programme will consist of invited and contributed talks and also allow for short presentations of research ideas. The workshop will be relatively informal, with an emphasis on discussion where special discussion sessions will be organised around the research ideas presentations. Topics include (but are not limited to): - Model Checking - Automatic and Interactive Theorem Proving - SAT, SMT or Constraint Solving for Verification - Abstract Interpretation - Specification and Refinement - Requirements Capture and Analysis - Verification of Software and Hardware - Specification and Verification of Fault Tolerance and Resilience - Probabilistic and Real-Time Systems - Dependable Systems - Verified System Development - Industrial Applications WORKSHOPS AI4FM 2015: 1 September 2015 -- www.ai4fm.org/ai4fm-2015/ including invited talk by J Strother Moore (Univerity of Texas at Austin) VENUE The event will be held in the International Centre for Mathematical Sciences (ICMS) in the centre of the historic old town of Edinburgh - an UNESCO world heritage site. STUDENT GRANTS Thanks to sponsorships from FME and SICSA we can offer financial support for a limited number of students registering for AVoCS in the form of a registration fee waiver (full or partial). As this is limited, we ask the students that would like to take the advantage of this support to submit a short application. The details on how to apply will be available in due course from the AVoCS webpage. SUBMISSION DETAILS Submissions of full papers to the workshop must not have been published or be concurrently considered for publication elsewhere. All submissions will be peer-reviewed and judged on the basis of originality, contribution to the field, technical and presentation quality, and relevance to the workshop. Submissions are handled via Easychair: https://easychair.org/conferences/?conf=avocs2015 The papers must be written in English and not exceed 15 pages and should use the dedicated AVoCS 2015 EASST template available rom the the following link (for LaTeX and Word): http://journal.ub.tu-berlin.de/eceasst AVoCS also encourages the submissions of research ideas in order to stimulate discussions at the workshop. Reports on ongoing work or surveys on work published elsewhere are welcome. The Programme Committee will select research ideas on the basis of submitted abstracts according to significance and general interest. Research ideas must be written in English and not exceed 2 pages using the EASST template. The presentation of these ideas will be organised around discussions, where the presenter should also prepare a set of question in which the audience will discuss. PROCEEDINGS At the workshop, pre-proceedings will be available in the form of a Heriot-Watt University Technical Report; this report will also include the research ideas. After the workshop, the authors of accepted full papers will have about one month in order to revise their papers for publication in the workshop post- proceedings which will appear in the Electronic Communications of the EASST Open Access Journal. Research ideas will not be part of the proceedings in the Open Access Journal. SPECIAL SCP JOURNAL ISSUE Authors of a selection of the best papers presented at the workshop will be invited to submit extended versions of their work for publication in a special issue of Elsevier's journal Science of Computer Programming. PROGRAM COMMITTEE Ernie Cohen, University of Pennsylvania, USA Ewen Denney, NASA Ames, USA Jean-Christophe Filliatre, CNRS, France Michael Goldsmith, University of Oxford, UK Gudmund Grov, Heriot-Watt University, UK (co-chair) Keijo Heljanko, Aalto University, Finland Mike Hinchey, University of Limerick, Ireland Marieke Huisman, University of Twente, Netherlands Andrew Ireland, Heriot-Watt University, UK (co-chair) Gerwin Klein, NICTA/UNSW, Australia Thierry Lecomte, ClearSy, France Peter Gorm Larsen, Aarhus University, Denmark Panagiotis (Pete) Manolios, Northeastern University, USA Stephan Merz, INRIA Nancy & LORIA, France Jaco van de Pol, University of Twente, Netherlands Markus Roggenbach, Swansea University, UK Marco Roveri, FBK, Italy Thomas Santen, Microsoft Research, Germany Bernard Steffen, Technical University Dortmund, Germany Jan Strejček, Masaryk University, Czech Republic Jun Sun, Singapore University of Technology and Design, Singapore Tayssir Touili, LIAFA, CNRS & University Paris Diderot, France Helen Treharne, University of Surrey, UK Laurent Voisin, Systerel, France Angela Wallenburg, Altran, UK John Wickerson, Imperial College London, UK Peter Ölveczky, University of Oslo, Norway ORGANISERS Gudmund Grov, Heriot-Watt University, UK Andrew Ireland, Heriot-Watt University, UK Yuhui Lin, Heriot-Watt University, UK (local arrangements and publicity chair) STEERING COMMITTEE Michael Goldsmith, University of Oxford, UK Stephan Merz, INRIA Nancy & LORIA, France Markus Roggenbach, Swansea University, UK ----- We invite research leaders and ambitious early career researchers to join us in leading and driving research in key inter-disciplinary themes. Please see www.hw.ac.uk/researchleaders for further information and how to apply. Heriot-Watt University is a Scottish charity registered under charity number SC000278.

1 0

CFP: GPCE' 15 (COMLAN Special Issue), Deadline June 8
by Tomofumi Yuki 26 May '15

26 May '15

Call for Papers: Computer Languages, Systems and Structures COMLAN Special Issue on the 14th International Conference on Generative Programming: Concepts & Experiences (GPCE'15) Papers will be selected among top ranked papers from GPCE'15: ACM SIGPLAN GPCE 2015 14th International Conference on Generative Programming: Concepts & Experiences Oct 26-27, 2015, Pittsburgh, PA, USA http://www.gpce.org GPCE keynote speaker: Prof. Priya Narasimhan (CMU, USA) GPCE is co-located with: ACM SIGPLAN conference on Systems, Programming, Languages and Applications: Software for Humanity (SPLASH 2015) and ACM SIGPLAN 8th International Conference on Software Language Engineering (SLE) 2015 ----------------------------------------------------------------- IMPORTANT DATES GPCE abstract submission : June 8, 2015 GPCE full paper submission: June 15, 2015 GPCE authors notification : July 24, 2015 GPCE camera-ready : Aug 7, 2015 GPCE conference : Oct 26-27, 2015 Special issue submission : January 1, 2016 Special issue notification: May 1, 2016 Special issue publication : July 1, 2016 Note that GPCE workshops are handled by SPLASH All dates are Anywhere on Earth ----------------------------------------------------------------- SCOPE 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. ----------------------------------------------------------------- TOPICS OF INTEREST GPCE seeks contributions on all topics related to generative software and its properties. Topics of interest include, but are not limited to: Generative software * Domain-specific languages (language extension, language embedding, language design, language theory, language workbenches, interpreters, compilers) * Product lines (domain engineering, feature-oriented and aspect-oriented programming, pre-processors, feature interactions) * Metaprogramming (reflection, staging, partial evaluation), Type systems, Program synthesis * Implementation techniques and tool support (components, plug-ins, libraries, metaprogramming, macros, templates, generic programming, run-time code generation, model-driven development, composition tools, code-completion and code-recommendation systems) Practical Applications and Empirical evaluations * Empirical evaluations of all topics above (user studies, substantial case studies, controlled experiments, surveys, rigorous measurements) * Application areas and engineering practice (Cloud Computing, Internet of Things, Cyber Physical Systems, Mobile Computing, Software Defined Networking, High Performance Computing, Patterns and Middleware, Development methods) Properties of generative software * Correctness of generators and generated code (analysis, testing, formal methods, domain-specific error messages, safety, security) * Reuse and evolution * Modularity, separation of concerns, understandability, and maintainability * Performance engineering, nonfunctional properties (program optimization and parallelization, GPGPUs, multicore, footprint, metrics) We particularly welcome papers that address some of the key challenges in the field, such as, * synthesizing code from declarative specifications * supporting extensible languages and language embedding * ensuring correctness and other nonfunctional properties of generated code * proving generators correct * improving error reporting with domain-specific error messages * reasoning about generators * handling variability-induced complexity in product lines * providing efficient interpreters and execution languages * human factors in developing and maintaining generators GPCE encourages submissions about empirical evaluations and applications of generative software, and such papers will be given special consideration during reviewing.

1 0

Haskell Weekly News: Issue 322
by Semen Trygubenko / Семен Тригубен ко 21 May '15

21 May '15

New Releases 99 Haskell: A web service by Bram Hoskin Solve live Haskell coding problems based on H-99 in the browser to strengthen your understanding of the language. http://www.99haskell.org/ https://github.com/bramgg/99haskell/ Magic Cookies A commercial Android game is released that is written in Haskell using SDL2 for multimedia and the Arrowized Functional Reactive Programming DSL Yampa. The authors had to "escape their functional comfort zones and come up with smarter abstractions that mutable reality and performance demand". The game consists of 2K lines of code, of which 1K is game specific and 400 are Yampa code. The most complex parts were certain Yampa constructs (arrow-based, with lots of tupling/untupling). http://keera.co.uk/blog/2015/03/19/magic-cookies-released-google-play/ https://play.google.com/store/apps/details?id=uk.co.keera.games.magiccookies https://github.com/keera-studios/keera-hails https://github.com/ivanperez-keera/Yampa Discussion Finding a GHC bug by Neil Mitchell A write up of the hunt for bug #10176 http://neilmitchell.blogspot.it/2015/03/finding-ghc-bug.html https://ghc.haskell.org/trac/ghc/ticket/10176 What are your most persuasive examples of using Quickcheck? Quickcheck helped many people in a number of areas — compiler optimisations, date/time validation, regular expressions, encoding/decoding, topological sort, fuzzing HTTP APIs and even exhibiting classical voting paradox! Apart from the obvious benefit of helping to find big juicy bugs as well as valid but potentially harmless tiny bugs in edge cases that no-one cares about, Quickcheck can help attain enlightenment in the sense that spelling out Quickcheck properties in itself can be rewarding because this can reveal assumptions that have been made without realizing it. Roman Cheplyaka reminds us about SmallCheck and that it should be used instead of Quickcheck when one has a good idea about what depth is needed and when exhaustive search at that depth is affordable. https://www.reddit.com/r/haskell/comments/308ps6/what_are_your_most_persuas… http://stackoverflow.com/questions/20092191/how-much-should-one-control-the… What is the difference between free monads and free monoids? A comment by Edward Kmett. https://www.reddit.com/r/haskell/comments/2znhjk/what_is_the_difference_bet… Type-Checked Pseudo-Code Tom Ashworth argues that Haskell is an excellent tool for fleshing out ideas and prototyping solutions, and that it makes one generalize and shake out many conceptual bugs before concepts become code. https://phuu.net/2015/03/24/type-checked-pseudo-code.html Where does GHC spend most of it's time during compilation? Optimisation and codegen, it seems. Also, GHC compilation times went up substantially from version 7.6 to 7.8. https://www.reddit.com/r/haskell/comments/309430/where_does_ghc_spend_most_… Quotes of the Week "Haskell doesn't feel like code. It feels like a language for thinking in: it's expressive, terse and simple, especially as type-checked pseudo-code." (Tom Ashworth) https://phuu.net/2015/03/24/type-checked-pseudo-code.html "Well that's not in the spec. If you want to change the requirements you have to renegotiate the contract =P" (sccrstud92) https://www.reddit.com/r/haskell/comments/2zxekg/while_learning_haskell_i_m… "Unit tests are double entry bookkeeping" (EvanDaniel) https://www.reddit.com/r/haskell/comments/308ps6/what_are_your_most_persuas… augustss> "Well, type checking is worst case exponential…" barsoap> "Yep. That's also the reason why I don't really get the insistence of dependently-typed languages to have to be total at the type level: I don't care whether type-checking takes ten or infinitely many years, both figures are too large." https://www.reddit.com/r/haskell/comments/309430/where_does_ghc_spend_most_… "Our prophet Djistra said that a testing shows the presence, not the absence of bugs … <snip> … Today Djistra would have been stoned under a myriad of inutile unit tests that people perform for a sense of false security, in a sort of superstitious sacrificial ritual, a waste of time to convince himself and others that his software is right." (agocorona) https://www.reddit.com/r/haskell/comments/308ps6/what_are_your_most_persuas… "You might also consider these sorts of infelicities as teachable moments" (ericpashman) https://www.reddit.com/r/haskell/comments/2zxekg/while_learning_haskell_i_m… "Nice gradual progression there. Big O notion, smoothly divided into 3 easy parts, then bam, Coyoneda. =) I approve. [Yes, I realize it is a bag of topics, not a course outline, but it still grabbed me.]" (edwardkmett) https://www.reddit.com/r/haskell/comments/2zqyes/we_released_a_video_librar…

1 4

Call for Participation: WPTE 2015 Second International Workshop on Rewriting Techniques for Program Transformations and Evaluation
by David Sabel 21 May '15

21 May '15

CALL FOR PARTICIPATION Second International Workshop on Second International Workshop on Rewriting Techniques for Program Transformations and Evaluation (WPTE 2015) affiliated with RDP 2015 2 July, 2015, Warsaw, Poland http://www.trs.cm.is.nagoya-u.ac.jp/event/wpte2015/ !! The early registration deadline ends on May 22 !! Aims and Scope ============== The aim of WPTE is to bring together the researchers working on program transformations, evaluation, and operationally-based programming language semantics, using rewriting methods, in order to share the techniques and recent developments and to exchange ideas to encourage further activation of research in this area. The previous WPTE was held in Vienna 2014. Registration ============ http://rdp15.mimuw.edu.pl/index.php?site=registration Note that early registration ends on May 22. Talks ===== * Brigitte Pientka Invited talk, TBA * Giulio Guerrieri Head reduction and normalization in a call-by-value lambda-calculus * Guillaume Madelaine, Cedric Lhoussaine, and Joachim Niehren Structural simplification of chemical reaction networks preserving deterministic semantics * Naosuke Matsuda A simple extension of the Curry-Howard correspondence with intuitionistic lambda rho calculus * Adrian Palacios and German Vidal Towards Modelling Actor-Based Concurrency in Term Rewriting * David Sabel and Manfred Schmidt-Schauss Observing Success in the Pi-Calculus * Koichi Sato, Kentaro Kikuchi, Takahito Aoto and Yoshihito Toyama Context-Moving Transformation for Term Rewriting Systems * Sjaak Smetsers, Ken Madlener, and Marko Van Eekelen Formalizing Bialgebraic Semantics in PVS 6.0

1 0

SPLASH 2015 - Call for Contributions: Other Tracks
by Craig Anslow 20 May '15

20 May '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 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. ** 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 ** 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: 15 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

Erlang Workshop 2015: deadline extension
by Hans Svensson 20 May '15

20 May '15

Hi everyone, The PC has decided to extend the paper submission deadline for the 14th ACM SIGPLAN Erlang Workshop. New final dates are as follows, there will not be any further extensions Submissions due: Friday, 29 May, 2015 [extended] Author notification: Friday, 26 June, 2015 [unchanged] Final copy due: Sunday, 19 July, 2015 [unchanged] Workshop date: September 4, 2015 [unchanged] Apologies for any duplicates you may receive. CALL FOR PAPERS =============== Fourteenth ACM SIGPLAN Erlang Workshop ----------------------------------------------------------- Vancouver, Canada, September 4, 2015 Satellite event of the 20th ACM SIGPLAN International Conference on Functional Programming (ICFP 2015) August 30 - September 5, 2015 http://www.erlang.org/workshop/2015/ErlangWorkshop2015.html Erlang is a concurrent, distributed functional programming language aimed at systems with requirements of massive concurrency, soft real time response, fault tolerance, and high availability. It has been available as open source for 16 years, creating a community that actively contributes to its already existing rich set of libraries and applications. Originally created for telecom applications, its usage has spread to other domains including e-commerce, banking, databases, and computer telephony and messaging. Erlang programs are today among the largest applications written in any functional programming language. These applications offer new opportunities to evaluate functional programming and functional programming methods on a very large scale and suggest new problems for the research community to solve. This workshop will bring together the open source, academic, and industrial programming communities of Erlang. It will enable participants to familiarize themselves with recent developments on new techniques and tools tailored to Erlang, novel applications, draw lessons from users' experiences and identify research problems and common areas relevant to the practice of Erlang and functional programming. We invite three types of submissions. 1. Technical papers describing language extensions, critical discussions of the status quo, formal semantics of language constructs, program analysis and transformation, virtual machine extensions and compilation techniques, implementations and interfaces of Erlang in/with other languages, and new tools (profilers, tracers, debuggers, testing frameworks, etc.). The maximum length for technical papers is restricted to 12 pages. 2. Practice and application papers describing uses of Erlang in the "real-world", Erlang libraries for specific tasks, experiences from using Erlang in specific application domains, reusable programming idioms and elegant new ways of using Erlang to approach or solve a particular problem. The maximum length for the practice and application papers is restricted to 12 pages. Note that this is a maximum length; we welcome shorter papers also, and the program committee will evaluate all papers on an equal basis independent of their lengths. 3. Poster presentations describing topics related to the workshop goals. Each includes a maximum of 2 pages of the abstract and summary. Presentations in this category will be given an hour of shared simultaneous demonstration time. Workshop Co-Chairs ------------------ Hans Svensson, QuviQ AB, Sweden Melinda TÃ³th, EÃ¶tvÃ¶s LorÃ¡nd University, Hungary Program Committee ----------------------------- (Note: the Workshop Co-Chairs are also committee members) Jesper L. Andersen, Independent Clara Benac Earle, Technical University of Madrid, Spain Laura M. Castro, University of A CoruÃ±a, Spain Christopher Meiklejohn, Basho Technologies, Inc., US Samuel Rivas, Klarna AB, Sweden Tee Teoh, Erlang Solutions Ltd, UK Simon Thompson, University of Kent, UK Important Dates ----------------------- Submissions due: Friday, 29 May, 2015 [extended] Author notification: Friday, 26 June, 2015 [unchanged] Final copy due: Sunday, 19 July, 2015 [unchanged] Workshop date: September 4, 2015 [unchanged] Instructions to authors -------------------------------- Papers must be submitted online via EasyChair (via the "Erlang2015" event). The submission page is https://www.easychair.org/conferences/?conf=erlang2015 Submitted papers should be in portable document format (PDF), formatted using the ACM SIGPLAN style guidelines. Each submission must adhere to SIGPLAN's republication policy. Violation risks summary rejection of the offending submission. Accepted papers will be published by the ACM and will appear in the ACM Digital Library. The proceedings will be freely available for download from the ACM Digital Library from one week before the start of the conference until two weeks after the conference. Paper submissions will be considered for poster submission in the case they are not accepted as full papers. Venue & Registration Details ------------------------------------------ For registration, please see the ICFP 2015 web site at: http://icfpconference.org/icfp2015/ Related Links -------------------- ICFP 2015 web site: http://www.icfpconference.org/icfp2015/ Past ACM SIGPLAN Erlang workshops: http://www.erlang.org/workshop/ Open Source Erlang: http://www.erlang.org/ EasyChair submission site: https://www.easychair.org/conferences/?conf=erlang2015 Author Information for SIGPLAN Conferences: http://www.sigplan.org/authorInformation.htm Atendee Information for SIGPLAN Events: http://www.sigplan.org/Resources/Policies/Anti-harassment

1 0

CALL FOR PAPERS for IIT’15, IEEE Sponsored, Dubai (01-03 Nov 2015)
by Leila Fayez Ismail 19 May '15

19 May '15

Dear Colleagues, 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 http://www.it-innovations.ae/ 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 30 May 2015 Submission of Tutorials 30 May 2015 Notification for Papers and Student Posters 15 July 2015 Notification for Tutorials 15 July 2015 Final Camera-Ready 01 September 2015 PUBLICATION IIT'15 is technically sponsored by IEEE Computer Society. Proceedings will be published by IEEE Computer Society Conference Publication Services, and will be submitted for publication in Computer Society Digital Library indexed in IEEE Xplore digital library, and all other global indices. Extended papers will be published in a Springer Book, indexed in Springer global indices, one of the largest databases in the world and Scopus including citations. Selected papers from IIT'15 will be invited for possible publications in special issues of journals. 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 Associate Provost for Quality Assurance City University, Hong kong Dr. Babu Narayanan Senior Principal Scientist GE Global Research Dr. Michael P. Perrone Program Director, DCS Client Partnerships IBM T. J. Watson Research Center, NY USA Professor & Canberra Fellow & IEEE Fellow Elizabeth Chang IFIP Web Semantics Group chair, University of New South Wales UNSW@Australian Defense Force Academy, Australia 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 http://hpgcl.fit.uaeu.ac.ae/ 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

Workshop on Type Inference and Automated Proving
by Frantisek Farka 18 May '15

18 May '15

********************************************************************* WORKSHOP ON TYPE INFERENCE AND AUTOMATED PROVING Tuesday the 12th of May, 12PM to 6PM School Of Computing, University of Dundee http://staff.computing.dundee.ac.uk/frantisekfarka/tiap/ ********************************************************************* Refreshments will be available from 12:00, with talks beginning at 12:45. For the detailed programme please see the above website. Talks: Tom Schrijvers (Katholieke Universiteit Leuven) GADTs Meet Their Match: Pattern-matching Warnings that Account for GADTs, Guards, and Laziness Bob Atkey (University of Strathclyde) An Algebraic Approach to Typechecking and Elaboration Edwin Brady (University of St Andrews) Implementing a Dependently Typed Programming Language Peng Fu (University if Dundee) Nontermination Analysis for Evidence Construction in Type Class Inference Adam Gundry (Well-Typed LLP) A Typechecker Plugin for Units of Measure: Domain-specific Constraint Solving in GHC Haskell Katya Komendantskaya (University of Dundee) Structural Resolution and Universal Productivity Checker J. Garrett Morris (University of Edinburgh) Substructural Types with Class After the talks we plan to continue the discussion at the nearby Duke's Corner bar and then go for dinner, place is yet to be announced but in the walking distance from both Seagate bus station and Dundee railway station. Please let us know if you are coming by either replying to this email, or by contacting me at ffarka(a)dundee.ac.uk If possible please indicate whether you wish to join us for dinner. With regards, František Farka

1 1

OCL 2015: First Call for Papers
by Achim D. Brucker 18 May '15

18 May '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

CFP: Haskell Symposium Regular Track Final Call
by Ben Lippmeier 18 May '15

18 May '15

===================================================================== ACM SIGPLAN CALL FOR SUBMISSIONS Haskell Symposium 2015 Vancouver, Canada, 3-4 September 2015, directly after ICFP http://www.haskell.org/haskell-symposium/2015 ===================================================================== Reminder that the Haskell Symposium Regular Track abstract deadline is this: Tuesday 19th of May, with full papers due this: Friday 22nd of May. Authors that have *already submitted to the early track*, have until 5th of June to resubmit an improved version of those papers. Deadlines stated are valid anywhere on earth. (the HotCRP submission site states them in US EDT, but don't fret) See the website for further details http://www.haskell.org/haskell-symposium/2015 =====================================================================

1 0