- Haskell - Haskell.org

Call for Participation: ICFEM 2013
by Huibiao Zhu 01 Aug '13

01 Aug '13

---------------------------------- ICFEM 2013 CALL FOR PARTICIPATIONS ----------------------------------- 15th International Conference on Formal Engineering Methods (ICFEM 2013) Queenstown, New Zealand, 29 October - 1 November 2013 http://www.cs.auckland.ac.nz/icfem2013/ The 15th International Conference on Formal Engineering Methods (ICFEM 2013) will be held at the Crowne Plaza Hotel in Queenstown, New Zealand from 29 October to 1 November 2013. Since 1997, ICFEM has been serving as an international forum for researchers and practitioners who have been dedicated to applying formal methods to practical computer systems. Researchers and practitioners, from industry, academia, and government, are encouraged to attend, and to help advance the state of the art. We are interested in work that has been incorporated into real production systems, and in theoretical work that promises to bring practical and tangible benefit. ICFEM 2013 is organized and sponsored by The University of Auckland and will be held in the world renowned travel destination - Queenstown. Around 1.9 million visitors are drawn to Queenstown each year to enjoy their own unforgettable travel experience. We are looking forward to your submissions and participation. ORGANIZING COMMITTEE General Co-Chairs Jin Song Dong, National University of Singapore, Singapore. Ian Hayes, The University of Queensland, Australia. Steve Reeves, The University of Waikato, New Zealand. Program Committee Co-Chairs Lindsay Groves, Victoria University of Wellington, New Zealand. Jing Sun, The University of Auckland, New Zealand. Workshop and Tutorial Co-Chairs Yang Liu, Nanyang Technological University, Singapore. Jun Sun, Singapore University of Technology and Design, Singapore. Local Organization Chair Gillian Dobbie, The University of Auckland, New Zealand. Publicity Co-Chairs Jonathan Bowen, London South Bank University & Chairman, Museophile Limited, United Kingdom. Huibiao Zhu, East China Normal University, China. Web Chair Sarah Henderson, The University of Auckland, New Zealand. CONFERENCE PROGRAM Workshop Day (Tuesday 29 October 2013) -------------------------------------- 8:30AM - 9:00AM: Registration 9:00AM - 17:00PM: 2 Parallel Workshops + Room: Crowne II - Second International Workshop on Formal Techniques for Safety-Critical Systems (FTSCS 2013) + Room: Crowne III - Third International Workshop on SOFL and MSVL (SOFL+MSVL 2013) Conference Day 1 (Wednesday 30 October 2013, Room: Crowne II) ------------------------------------------------------------- 8:00AM - 8:45AM: Registration 8:45AM - 9:00AM: Briefing 9:00AM - 10:00AM: Keynote I + Carroll Morgan. Lattices of Information for Security: Deterministic, Demonic, Probabilistic 10:00AM -10:30AM: Morning Tea Break 10:30AM -12:00PM: Session - Specification + Jos?Dihego, Pedro Antonino and Augusto Sampaio. Algebraic Laws for Process Subtyping + Frederic Mallet and Jean-Vivien Millo. Boundness Issues in CCSL Specifications + Zhiqiang Zuo and Siau-Cheng Khoo. Mining Dataflow Sensitive Specifications 12:00PM - 13:30PM: Lunch Break 13:30PM-15:00PM: Session - Proof + Ton-Chanh Le, Cristian Gherghina, Razvan Voicu and Wei-Ngan Chin. A Proof Slicing Framework for Program Verification + Andrew Boyton, June Andronick, Callum Bannister, Matthew Fernandez, Xin Gao, David Greenaway, Gerwin Klein, Corey Lewis and Thomas Sewell. Formally Verified System Initialisation + Dongxi Liu, Neale Fulton, John Zic and Martin de Groot. Verifying an Aircraft Proximity Characterization Method in Coq 15:00PM - 15:30PM: Afternoon Tea Break 15:30PM - 17:00PM: Session - Testing + Mengjun Li. Assisting Specification Refinement by Random Testing + Faimison Rodrigues Porto, Andre Takeshi Endo and Adenilso Simao. Generation of Checking Sequences Using Identification Sets + Abderrahmane Feliachi, Marie-Claude Gaudel, Makarius Wenzel and Burkhart Wolff. The Circus Testing Theory Revisited in Isabelle/HOL 17:45PM - 19:15PM: Conference Reception Conference Day 2 (Thursday 31 October 2013, Room: Crowne II) ------------------------------------------------------------ 8:30AM - 9:00AM: Registration 9:00AM - 10:00AM: Keynote II + P. S. Thiagarajan. Analysis of Continuous Dynamical Systems via Statistical Model Checking 10:00AM -10:30AM: Morning Tea Break 10:30AM -12:00PM: Session - Timed Systems + Gustavo Carvalho, Augusto Sampaio and Alexandre Mota. A CSP Timed Input-Output Relation and a Strategy for Mechanised Conformance Verification + Yanhong Huang, Joao F. Ferreira, Guanhua He, Shengchao Qin and Jifeng He. Deadline Analysis of AUTOSAR OS Periodic Tasks in the Presence of Interrupts + Yuanjie Si, Jun Sun, Yang Liu and Ting Wang. Improving Model Checking Stateful Timed CSP with non-Zenoness through Clock-Symmetry Reduction 12:00PM - 13:30PM: Lunch Break 13:30PM-15:00PM: Session - Concurrency + �tienne Andr? Benoit Barbot, D�moulins Cl�ment, Lom Messan Hillah, Francis Hulin-Hubard, Fabrice Kordon, Alban Linard and Laure Petrucci. A Modular Approach for Reusing Formalisms in Verification Tools of Concurrent Systems + Ling Shi, Yongxin Zhao, Yang Liu, Jun Sun, Jin Song Dong and Shengchao Qin. A UTP Semantics for Communicating Processes with Shared Variables + Duy-Khanh Le, Wei-Ngan Chin and Yong Meng Teo. Verification of Static and Dynamic Barrier Synchronization Using Bounded Permissions 15:00PM - 15:30PM: Afternoon Tea Break 15:30PM - 17:00PM: Session - SysML/MDD + Alvaro Miyazawa, Lucas Lima and Ana Cavalcanti. Formal Models of SysML Blocks + Jaco Jacobs and Andrew Simpson. Towards a Process Algebra Framework for Supporting Behavioural Consistency and Requirements Traceability in SysML + Ya Shi, Zhenhua Duan and Cong Tian. Translation from Workflow Nets to MSVL 17:45PM - 19:45PM: Conference Banquet (Skyline Queenstown Restaurant) Conference Day 3 (Friday 1 November 2013, Room: Crowne II) ---------------------------------------------------------- 8:30AM - 9:00AM: Registration 9:00AM - 10:30AM: Session - Verification + Guoxin Su and David Rosenblum. Asymptotic Bounds for Quantitative Verification of Perturbed Probabilistic Systems + Kirsten Winter, Chenyi Zhang, Ian Hayes, Nathan Keynes, Cristina Cifuentes and Lian Li. Path-Sensitive Data Flow Analysis Simplified + Jianan Hao, Yang Liu, Wentong Cai, Guangdong Bai and Jun Sun. vTRUST: A Formal Modeling and Verification Framework for Virtualization Systems 10:30AM -11:00AM: Morning Tea Break 11:00AM -12:30PM: Session - Application + Binyameen Farooq, Osman Hasan and Sohail Iqbal. Formal Kinematic Analysis of the Two-Link Planar Manipulator + Inna Pereverzeva, Linas Laibinis, Elena Troubitsyna, Markus Holmberg and Mikko P�ri. Formal Modelling of Resilient Data Storage in Cloud + Xiaofeng Wu and Huibiao Zhu. Linking Operational Semantics and Algebraic Semantics for Wireless Networks 12:30PM - 14:00PM: Lunch Break 14:00PM-16:00PM: Session - Static Analysis + Guanhua He, Shengchao Qin, Wei-Ngan Chin and Florin Craciun. Automated Specification Discovery via User-Defined Predicates + Stephan Arlt, Zhiming Liu and Martin Sch�f. Reconstructing Paths for Reachable Code + Giulia Costantini, Pietro Ferrara, Giuseppe Maggiore and Agostino Cortesi. The Domain of Parametric Hypercubes for Static Analysis of Computer Games Software + Manman Chen, Tian Huat Tan, Jun Sun, Yang Liu, Jun Pang and Xiaohong Li. Verification of Functional and Non-functional Requirements of Web Service Composition 16:00PM - 16:30PM: Closing and Afternoon Tea Break

1 0

Haskell Weekly News: Issue 274
by Daniel Santa Cruz 01 Aug '13

01 Aug '13

Welcome to issue 274 of the HWN, an issue covering crowd-sourced bits of information about Haskell from around the web. This issue covers the week of July 14 to 27, 2013. Quotes of the Week * knuth: To help the reader drowning in a sea of abstraction, the following example may serve as a concrete life preserver >From the mail bag * Haskell for schools in Argentina [1] http://goo.gl/EAPHXx Top Reddit Stories * Parallel and Concurrent Programming in Haskell available now in ebook formats, print version can be preordered Domain: shop.oreilly.com, Score: 94, Comments: 14 On Reddit: [2] http://goo.gl/426HB0 Original: [3] http://goo.gl/anqIi * Lenses in pictures Domain: adit.io, Score: 84, Comments: 51 On Reddit: [4] http://goo.gl/e8Bc0N Original: [5] http://goo.gl/1kmqf * Monads made difficult Domain: stephendiehl.com, Score: 70, Comments: 11 On Reddit: [6] http://goo.gl/sQAmVD Original: [7] http://goo.gl/35EDt * Helm - FRP Game Engine Inspired by Elm Domain: github.com, Score: 67, Comments: 19 On Reddit: [8] http://goo.gl/1lJEIB Original: [9] http://goo.gl/4wDcHN * Ian Lynagh leaves GHC HQ Domain: haskell.org, Score: 64, Comments: 4 On Reddit: [10] http://goo.gl/XCnjrA Original: [11] http://goo.gl/Ox5KXW * Yesod in Production Domain: joelt.io, Score: 61, Comments: 13 On Reddit: [12] http://goo.gl/jlhvvm Original: [13] http://goo.gl/7pSCJ * A Comparison Between Perl and Haskell Domain: ocharles.org.uk, Score: 60, Comments: 22 On Reddit: [14] http://goo.gl/cwYXb0 Original: [15] http://goo.gl/P46D4e * Backpack: Retrofitting Haskell with Interfaces (Kilpatrick, Dreyer, SPJ, Marlow) [link to pdf] Domain: mpi-sws.org, Score: 58, Comments: 63 On Reddit: [16] http://goo.gl/sjjAE Original: [17] http://goo.gl/C06Ly * Parallel and Concurrent Programming in Haskell (online version, part of Atlas beta) Domain: chimera.labs.oreilly.com, Score: 56, Comments: 35 On Reddit: [18] http://goo.gl/x5dhf5 Original: [19] http://goo.gl/H7MeFa * Why Haskell at School matters Domain: sawafaso.blogspot.com.ar, Score: 52, Comments: 18 On Reddit: [20] http://goo.gl/2LHlsn Original: [21] http://goo.gl/8Dwy4R * Measuring the Haskell Gap :: PDF Domain: leafpetersen.com, Score: 49, Comments: 13 On Reddit: [22] http://goo.gl/6b4xdx Original: [23] http://goo.gl/nqDJZd * Automatic SIMD Vectorization for Haskell by Leaf Petersen, Dominic Orchard and Neal Glew [ICFP13][PDF] Domain: leafpetersen.com, Score: 47, Comments: 13 On Reddit: [24] http://goo.gl/dPCPio Original: [25] http://goo.gl/gDBajX * IRC Browse Domain: chrisdone.com, Score: 43, Comments: 12 On Reddit: [26] http://goo.gl/OPXVQK Original: [27] http://goo.gl/IOoJgT * How to Help Develop Hackage2 Domain: self.haskell, Score: 40, Comments: 46 On Reddit: [28] http://goo.gl/NQGmY Original: [29] http://goo.gl/NQGmY Top StackOverflow Questions * Can someone explain to me why the app function of ArrowApply makes them as powerful as monads? votes: 13, answers: 2 Read on SO: [30] http://goo.gl/V6I0fK * Haskell newtype with parentheses votes: 12, answers: 2 Read on SO: [31] http://goo.gl/k9A7YU * GHC: insert compilation date votes: 11, answers: 2 Read on SO: [32] http://goo.gl/MbWGqH * How can Haskell function guards operate on other values than the functions parameters? votes: 10, answers: 2 Read on SO: [33] http://goo.gl/sgI9i8 * Can Haskell functions be serialized? votes: 10, answers: 3 Read on SO: [34] http://goo.gl/fVsPvv * Calling Haskell library from C++ votes: 10, answers: 1 Read on SO: [35] http://goo.gl/6V2zqb * Debugging compile time performance issues caused by GHC's constraint solver votes: 10, answers: 1 Read on SO: [36] http://goo.gl/XPAqAy * Haskell performance when using classes and instances votes: 10, answers: 2 Read on SO: [37] http://goo.gl/EZNVMS * Could not deduce (m ~ m1) votes: 9, answers: 1 Read on SO: [38] http://goo.gl/vW0x6D * Running a subexpression once votes: 9, answers: 2 Read on SO: [39] http://goo.gl/MdRgkZ Until next time, [40]+Daniel Santa Cruz References 1. http://sawafaso.blogspot.com.ar/2013/07/why-haskell-at-school-matters.html?… 2. http://shop.oreilly.com/product/0636920026365.do 3. http://www.reddit.com/r/haskell/comments/1ioorw/parallel_and_concurrent_pro… 4. http://adit.io/posts/2013-07-22-lenses-in-pictures.html 5. http://www.reddit.com/r/haskell/comments/1isryj/lenses_in_pictures/ 6. http://www.stephendiehl.com/posts/monads.html 7. http://www.reddit.com/r/haskell/comments/1iafky/monads_made_difficult/ 8. https://github.com/z0w0/helm 9. http://www.reddit.com/r/haskell/comments/1j1fd8/helm_frp_game_engine_inspir… 10. http://www.haskell.org/pipermail/ghc-devs/2013-July/001677.html 11. http://www.reddit.com/r/haskell/comments/1ikc91/ian_lynagh_leaves_ghc_hq/ 12. http://joelt.io/entries/yesod-in-production 13. http://www.reddit.com/r/haskell/comments/1inf8a/yesod_in_production/ 14. http://ocharles.org.uk/blog/posts/2013-07-26-a-comparison-between-perl-and-… 15. http://www.reddit.com/r/haskell/comments/1j3jgd/a_comparison_between_perl_a… 16. http://www.mpi-sws.org/~skilpat/backpack/ 17. http://www.reddit.com/r/haskell/comments/1id0p7/backpack_retrofitting_haske… 18. http://chimera.labs.oreilly.com/books/1230000000929/index.html 19. http://www.reddit.com/r/haskell/comments/1iwr7x/parallel_and_concurrent_pro… 20. http://sawafaso.blogspot.com.ar/2013/07/why-haskell-at-school-matters.html 21. http://www.reddit.com/r/haskell/comments/1j3k19/why_haskell_at_school_matte… 22. http://www.leafpetersen.com/leaf/publications/hs2013/haskell-gap.pdf 23. http://www.reddit.com/r/haskell/comments/1j2k4a/measuring_the_haskell_gap_p… 24. http://www.leafpetersen.com/leaf/publications/icfp2013/vectorization-haskel… 25. http://www.reddit.com/r/haskell/comments/1izyok/automatic_simd_vectorizatio… 26. http://chrisdone.com/posts/ircbrowse 27. http://www.reddit.com/r/haskell/comments/1iy8nv/irc_browse/ 28. http://www.reddit.com/r/haskell/comments/1iki8p/how_to_help_develop_hackage… 29. http://www.reddit.com/r/haskell/comments/1iki8p/how_to_help_develop_hackage… 30. http://stackoverflow.com/questions/17668452/can-someone-explain-to-me-why-t… 31. http://stackoverflow.com/questions/17853232/haskell-newtype-with-parentheses 32. http://stackoverflow.com/questions/17796521/ghc-insert-compilation-date 33. http://stackoverflow.com/questions/17650866/how-can-haskell-function-guards… 34. http://stackoverflow.com/questions/17785916/can-haskell-functions-be-serial… 35. http://stackoverflow.com/questions/17815804/calling-haskell-library-from-c 36. http://stackoverflow.com/questions/17822539/debugging-compile-time-performa… 37. http://stackoverflow.com/questions/17834802/haskell-performance-when-using-… 38. http://stackoverflow.com/questions/17765690/could-not-deduce-m-m1 39. http://stackoverflow.com/questions/17900495/running-a-subexpression-once 40. https://plus.google.com/105107667630152149014/about

1 0

PADL 2014: Call for Papers
by Matthew Flatt 29 Jul '13

29 Jul '13

Call for Papers =============== 16th International Symposium on Practical Aspects of Declarative Languages (PADL 2014) http://www.ist.unomaha.edu/padl2014 San Diego, California, USA, January 20-21, 2014 Co-located with ACM POPL'14 Conference Description ====================== Declarative languages build on sound theoretical bases to provide attractive frameworks for application development. These languages have been successfully applied to many different real-world situations, ranging from data base management to active networks to software engineering to decision support systems. New developments in theory and implementation have opened up new application areas. At the same time, applications of declarative languages to novel problems raise numerous interesting research issues. Well-known questions include designing for scalability, language extensions for application deployment, and programming environments. Thus, applications drive the progress in the theory and implementation of declarative systems, and benefit from this progress as well. PADL is a forum for researchers and practitioners to present original work emphasizing novel applications and implementation techniques for all forms of declarative concepts, including, functional, logic, constraints, etc. Topics of interest include, but are not limited to: * Innovative applications of declarative languages * Declarative domain-specific languages and applications * Practical applications of theoretical results * New language developments and their impact on applications * Declarative languages and Software Engineering * Evaluation of implementation techniques on practical applications * Practical experiences and industrial applications * Novel uses of declarative languages in the classroom * Practical extensions such as constraint-based, probabilistic, and reactive languages. PADL'14 welcomes new ideas and approaches pertaining to applications and implementation of declarative languages. In this occasion PADL is co-located, as traditionally, with ACM POPL, which will be held immediately following PADL. The symposium will be held in San Diego, California, USA. Important Dates and Submission Guidelines ========================================= Abstract Submission: September 6, 2013 Paper Submission: September 13, 2013 Notification: October 21, 2013 Camera-ready: November 10, 2013 Symposium: January 20-21, 2014 Authors should submit an electronic copy of the full paper in PDF using the Springer LNCS format. The submission will be done through EasyChair conference system. If electronic submission is impossible, please contact the program chairs for information on how to submit hard copies. All submissions must be original work written in English. Submissions must be unpublished and not submitted for publication elsewhere. Work that already appeared in unpublished or informally published workshops proceedings may be submitted. PADL'14 will accept both technical and application papers: * Technical papers must describe original, previously unpublished research results. Technical papers must not exceed 16 pages in Springer LNCS format. * Application papers are a mechanism to present important practical applications of declarative languages that occur in industry or in areas of research other than Computer Science. Application papers will be published in the Springer-Verlag conference proceedings, and will be presented in a separate session. Application papers are expected to describe complex and/or real-world applications that rely on an innovative use of declarative languages. Application descriptions, engineering solutions and real-world experiences (both positive and negative) are solicited. The limit for application papers is 6 pages in Springer LNCS format. Program Committee ================= Matthew Flatt (co-chair), University of Utah, USA Ronald Garcia, University of British Columbia, Canada Hai-Feng Guo (co-chair), University of Nebraska at Omaha, USA Manuel Hermenegildo, Technical University of Madrid, Spain Joohyung Lee, Arizona State University, USA Yuliya Lierler, University of Nebraska at Omaha, USA Sam Lindley, University of Edinburgh, UK Leaf Petersen, Intel, USA Rinus Plasmeijer, Radboud University Nijmegen, Netherlands C.R. Ramakrishnan, Stony Brook University, USA Sukyoung Ryu, Advanced Institute of Science and Technology, Korea Manuel Serrano, INRIA Sophia-Antipolis, France Yi-Dong Shen, Chinese Academy of Sciences, China Tran Cao Son, New Mexico State University, USA Peter Stuckey, University of Melbourne, Australia Peter Thiemann, University of Freiburg, Germany Hans Tompits, Vienna University of Technology, Austria Aaron Turon, Max Plank Institute, Germany David Van Horn, Northeastern University, USA German Vidal, Technical University of Valencia, Spain Contacts ======== For additional information about papers and submissions, please contact the Program Chairs: Matthew Flatt School of Computing, University of Utah Email: mflatt <AT> cs <DOT> utah <DOT> edu Hai-Feng Guo Department of Computer Science, University of Nebraska at Omaha Email: haifengguo <AT> unomaha <DOT> edu With the Cooperation of ======================= The Association for Logic Programming (ALP) ACM SIGPLAN ===================================

1 0

Strathclyde: Lecturer/Senior Lecturer
by Conor McBride 29 Jul '13

29 Jul '13

The Department of Computer and Information Sciences within the University of Strathclyde seeks to appoint a Lecturer or Senior Lecturer to enhance the internationally leading Mathematically Structured Programming (MSP) research group. The MSP group’s vision is to use mathematics to understand the nature of computation, and to turn that understanding into the next generation of programming languages, and the successful applicant will be expected to further develop the Department’s reputation for excellence in this area. You will have ambitious academic aspirations and an understanding of how to bring in the grant income required to fund those aspirations. You will also be expected to contribute to the Department’s teaching activities in the areas of Computer Science and Software Engineering. For consideration at Lecturer level you will demonstrate significant promise in your research discipline as evidenced by a publications record in high quality venues. To be considered at Senior Lecturer level you will have a strong record of achievement in their career to date including success in securing external funding and experience of teaching undergraduate and/or postgraduate students. Research Starter Grant: The Faculty of Science offers a Research Starter Grant to all new full-time, non-professorial, academic staff within the Faculty. The Grant may be used for any purpose that assists staff to establish their Strathclyde research career and to assist in attracting additional funding for research from external sources. Any grant awarded will be to a maximum of £10,000, and the planned expenditure of the award is normally for a period of 18 months. For further information contact Prof Neil Ghani or Dr Conor McBride

1 0

ETAPS 2014 first call for papers
by Tarmo Uustalu 24 Jul '13

24 Jul '13

[We apologise for multiple copies.] ****************************************************************** FIRST CALL FOR PAPERS: ETAPS 2014 17th European Joint Conferences on Theory And Practice of Software Grenoble, France 5-13 April 2014 http://www.etaps.org/2014 ****************************************************************** -- ABOUT ETAPS -- ETAPS is the primary European forum for academic and industrial researchers working on topics relating to software science. ETAPS, established in 1998, is a confederation of six main annual conferences, accompanied by satellite workshops. ETAPS 2014 is the seventeenth event in the series. -- MAIN CONFERENCES (7-11 April) -- * CC: Compiler Construction * ESOP: European Symposium on Programming * FASE: Fundamental Approaches to Software Engineering * FOSSACS: Foundations of Software Science and Computation Structures * POST: Principles of Security and Trust * TACAS: Tools and Algorithms for the Construction and Analysis of Systems TACAS '14 hosts the 3rd Competition on Software Verification (SV-COMP). -- INVITED SPEAKERS -- * Robert Harper (Carnegie Mellon University, US) * John Launchbury (Galois, US) * Benoit Dupont de Dinechin (Kalray, France) * Maurice Herlihy (Brown University, US) * Christel Baier (Technical University of Dresden, Germany) * Petr Jancar (Technical Univ of Ostrava, Czech Republic) * David Mazieres (Stanford University, US) * Orna Kupferman (Hebrew University Jerusalem, Israel) -- IMPORTANT DATES -- * 4 October 2013: Submission deadline for abstracts (strict) * 11 October 2013: Submission deadline for full papers (strict) * 20 December 2013: Notification of acceptance * 17 January 2014: Camera-ready versions due ESOP and FoSSaCS will use a rebuttal (author response) phase. -- GENERAL SUBMISSION INFORMATION -- ETAPS conferences accept two types of contributions: research papers and tool demonstration papers. Both types will appear in the proceedings and have presentations during the conference. (TACAS has more categories, see below.) A condition of submission is that, if the submission is accepted, one of the authors attends the conference to give the presentation. Submitted papers must be in English presenting original research. They must be unpublished and not submitted for publication elsewhere. In particular, simultaneous submission of the same contribution to multiple ETAPS conferences is forbidden. The proceedings will be published in the Advanced Research in Computing and Software Science (ARCoSS) subline of Springer's Lecture Notes in Computer Science series. Papers must follow the formatting guidelines specified by Springer at the URL http://www.springer.de/comp/lncs/authors.html and be submitted electronically in pdf through the Easychair author interface of the respective conference. Submissions not adhering to the specified format and length may be rejected immediately. - Research papers Different ETAPS 2014 conferences have different page limits. Specifically, FASE, FOSSACS and TACAS have a page limit of 15 pages, whereas CC, ESOP and POST allow at most 20 pages. Additional material intended for the referees but not for publication in the final version - for example, details of proofs - may be placed in a clearly marked appendix that is not included in the page limit. ETAPS referees are at liberty to ignore appendices and papers must be understandable without them. TACAS solicits not only regular research papers, but also case study papers. - Tool demonstration papers Submissions should consist of two parts: * The first part, at most 4 pages, should describe the tool presented. Please include the URL of the tool (if available) and provide information that illustrates the maturity and robustness of the tool. (This part will be included in the proceedings.) * The second part, at most 6 pages, should explain how the demonstration will be carried out and what it will show, including screen dumps and examples. (This part will be not be included in the proceedings, but will be evaluated.) ESOP and FOSSACS do not accept tool demonstration papers. In addition to tool demonstration papers (max 6 pages in their case), TACAS solicits also regular tool papers (max 15 pages) adhering to specific instructions about content and organization. -- SATELLITE EVENTS (5-6 April, 12-13 April) -- Around 20 satellite workshops will take place before and after the main conferences. In addition, on 6 April, some tutorials on topics of wide interest will be offered. -- HOST CITY -- Located in the southeastern part of France, Grenoble is considered as the capital of the Alps. Grenoble is surrounded by nature and high mountains: down the Alps, Grenoble is the meeting point of two important rivers, Drac and Isere. Grenoble has important historical and gastronomic heritages. Leisure activities in breathtaking nature are easily organizable and within short-distance. Grenoble is also a major scientific center in Europe dedicated to high-tech technologies, e.g., nano, micro, bio, and information technologies. -- HOST INSTITUTION -- The event is organized by Universite Joseph Fourier. Located at the heart of the Alps, in outstanding scientific and natural surroundings, the Universite Joseph Fourier in Grenoble is a leading University of Science, Technology and Health. -- ORGANIZERS * General chair: Saddek Bensalem * Conferences chair: Yassine Lakhnech * Workshops chair: Axel Legay * Publicity chair: Ylies Falcone * Finance chair: Nicolas Halbwachs * Web site chair: Marius Bozga -- FURTHER INFORMATION -- Please do not hesitate to contact the organizers at etaps2014.organization(a)imag.fr.

1 0

[ANN] Initial release of the threepenny-gui library, version 0.1.0.0
by Heinrich Apfelmus 21 Jul '13

21 Jul '13

Dear Haskellers, And the shark, he has teeth, And he wears them in (his) face. And Macheath, he has a knife, (But) yes the knife, no-one sees. After an obligatory cryptical quotation from a famous writer, I am pleased to announce the first public release of *threepenny-gui*, a cheap and simple library to satisfy your immediate GUI needs in Haskell. Want to write a small GUI thing but forgot to sacrifice to the giant rubber duck in the sky before trying to install wxHaskell or Gtk2Hs? Then this library is for you! Threepenny-gui is easy to install (!!) because it uses the web browser as a display. Internally, we implement a small web server that communicates with the browser to display GUI elements. Consequently, you can use HTML and CSS to design the user interface. You can freely manipulate the HTML DOM and handle browser events by writing Haskell code. hackage - http://hackage.haskell.org/package/threepenny-gui examples - https://github.com/HeinrichApfelmus/threepenny-gui#examples source - https://github.com/HeinrichApfelmus/threepenny-gui Many thanks to Daniel Austin for collaborating with me on this project and to Chris Done for implementing the Ji library which is the basis for this effort. On that note, the threepenny API for creating and manipulating GUI elements departs from earlier traditions. Do you like the new look and feel of the API? What do you think could be improved? Try it out and send us your feedback! Best regards, Heinrich Apfelmus -- http://apfelmus.nfshost.com

2 2

Parallel and Concurrent Programming in Haskell (O'Reilly) is out!
by Simon Marlow 21 Jul '13

21 Jul '13

I'm pleased to announce that my book, "Parallel and Concurrent Programming in Haskell" (O'Reilly) is now available in ebook formats (epub, mobi, PDF) from O'Reilly: http://shop.oreilly.com/product/0636920026365.do The print version is due very shortly (1-2 weeks I believe), and can be pre-ordered. The book is also on Amazon, and you can get the Kindle version right now: http://www.amazon.co.uk/Parallel-Concurrent-Programming-Haskell-ebook/dp/B0… The sample code is also up on Hackage: http://hackage.haskell.org/package/parconc-examples There will be a Creative Commons version available soon, but I have some more work to do to make that happen, so bear with me. Many thanks to all those who have helped in one way or another - see the Acknowledgements section for the full list. It's taken a bit longer than I expected, and there have been quite a few late nights along the way. I hope you enjoy the book, and I look forward to hearing all the feedback. Cheers :) Simon

2 1

VMCAI 2014: Call for Papers
by Xavier Rival 20 Jul '13

20 Jul '13

VMCAI 2014 CALL FOR PAPERS 15th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI) January 19-21, 2014, San Diego, USA Co-located with POPL 2014 (January 22-24, 2014) 41th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages SCOPE VMCAI provides a forum for researchers from the communities of Verification, Model Checking, and Abstract Interpretation, facilitating interaction, cross-fertilization, and advancement of hybrid methods that combine these and related areas. The program of VMCAI'14 will consist of refereed research papers and tool demonstrations, as well as invited lectures and tutorials. Research contributions can report new results as well as experimental evaluations and comparisons of existing techniques. Topics include, but are not limited to: program verification, model checking, abstract interpretation and abstract domains, program synthesis, static analysis, type systems, deductive methods, program certification, error diagnosis, program transformation, hybrid and cyberphysical systems. Submissions can address any programming paradigm, including concurrent, constraint, functional, imperative, logic and object-oriented programming. Papers must describe original work, be written and presented in English, and must not overlap with papers that have been published or that are simultaneously submitted to a journal or a conference with refereed proceedings. Proceedings are published by Springer-Verlag as volumes in the Lecture Notes in Computer Science series. IMPORTANT DATES Abstract Submission: September 6, 2013 Paper Submission: September 13, 2013 Acceptance Notification: October 25, 2013 Conference: January 19-21, 2014 (right before POPL) The deadlines are strict and will not be changed. SUBMISSION INSTRUCTIONS The VMCAI 2014 proceedings will be published as a volume in Springer's Lecture Notes in Computer Science series. The page limit for submissions is: 18 pages in Springer's LNCS format. Additional material may be placed in an appendix, to be read at the discretion of the reviewers and to be omitted in the final version. Formatting style files and further guidelines for formatting can be found at http://www.springer.de/comp/lncs/authors.html. Submissions deviating from these guidelines risk summary rejection. Please prepare your submission in accordance with the rules described. PROGRAM COMMITTEE Program Chairs: Kenneth McMillan (MSR, USA & Co-Chair) Xavier Rival (CNRS & ENS Paris & INRIA, France & Co-Chair) Program Committee: Christel Baier, Technische Universität Dresden, Germany Agostino Cortesi, Universita Ca Foscari of Venezia, Italy Jerome Feret, CNRS & ENS & INRIA, France Alexey Gotsman, IMDEA Software Institute, Spain Aarti Gupta, NEC Labs, USA Alan J. Hu, University of British Columbia, Canada Laura Kovacs, Chalmers University of Technology, Sweden Daniel Kroening, Oxford University, UK Mark Marron, MSR, USA Isabella Mastroeni, Universita di Verona, Italy Kenneth McMillan, MSR, USA & Co-Chair Matthew Might, University of Utah, USA David Monniaux, CNRS & University of Grenoble, France Kedar Namjoshi, Bell Labs, USA Peter O'Hearn, University College of London, UK Ruzica Piskac, MPI-SWS, Germany Sylvie Putot, CEA, France Xavier Rival, CNRS & ENS & INRIA, France & Co-Chair Philipp Rümmer, Uppsala University, Sweden Sriram Sankaranarayanan, University of Colorado at Boulder, USA Tachio Terauchi, Nagoya University, Japan Tayssir Touili, CNRS & University of Paris 7, France Eran Yahav, Technion, Israel VMCAI STEERING COMMITTEE Agostino Cortesi, Universita' Ca' Foscari, Venice, Italy Patrick Cousot, Ecole Normale Superieure, France and NYU, USA E. Allen Emerson, University of Texas at Austin, USA Andreas Podelski, University of Freiburg, Germany Thomas W. Reps, University of Wisconsin at Madison, USA David Schmidt, Kansas State University, USA Lenore Zuck, University of Illinois at Chicago, USA

1 0

Haskell Weekly News: Issue 273
by Daniel Santa Cruz 18 Jul '13

18 Jul '13

Welcome to issue 273 of the HWN, an issue covering crowd-sourced bits of information about Haskell from around the web. This issue covers the week of June 30 to July 13, 2013. Quotes of the Week * monochrom: 8-bit word uses less memory, but if it doesn't have to preserve information, I know how to use 0 bits of memory. * byorgey: you know, servers migrate in the summer to their ancestral breeding grounds * emeijer: It must me said on the other hand compiler writers seem to ignore the existence of formal semantics completely, probably because they don't like greek letters. * byorgey: now we have the pig operator <^(++)^> as well as the robot monkey operator (:[]) * chrisdone: i remember when the internet was black and white and you had to upload web pages back onto the internet when you were done with them * raganwald: Immuteability: The property of functional programmers that prevents them from shutting up about pure functional programming. Top Reddit Stories * On taking the last n elements of a list Domain: joachim-breitner.de, Score: 69, Comments: 37 On Reddit: [1] http://goo.gl/E9hRX Original: [2] http://goo.gl/9Uf74 * Comonads are NOT objects Domain: gelisam.blogspot.ca, Score: 62, Comments: 50 On Reddit: [3] http://goo.gl/tgdhh Original: [4] http://goo.gl/i3EDv * ANNOUNCE: Haste, the Haskell to JS compiler, is now on Hackage Domain: hackage.haskell.org, Score: 60, Comments: 27 On Reddit: [5] http://goo.gl/GTpj5 Original: [6] http://goo.gl/Nzpe7 * Postmodern Haskell and OpenGL: Introducing vinyl-gl Domain: arcadianvisions.com, Score: 57, Comments: 6 On Reddit: [7] http://goo.gl/9mVbl Original: [8] http://goo.gl/Zh5jE * ANNOUNCE: haskell-mode 13.07 (& Survey) Domain: projects.haskell.org, Score: 49, Comments: 18 On Reddit: [9] http://goo.gl/gYU24 Original: [10] http://goo.gl/YSmk4 * Why the world needs Haskell Domain: devalot.com, Score: 46, Comments: 22 On Reddit: [11] http://goo.gl/ekD96 Original: [12] http://goo.gl/LBxRP * Cartesian Closed Comic #20: Weird language Domain: ro-che.info, Score: 42, Comments: 10 On Reddit: [13] http://goo.gl/In50H Original: [14] http://goo.gl/tblYa * Do naming practices hurt Haskell? Domain: self.haskell, Score: 38, Comments: 222 On Reddit: [15] http://goo.gl/mnwO9 Original: [16] http://goo.gl/mnwO9 * ANNOUNCE: [17] http://goo.gl/pp0Vf Domain: self.haskell, Score: 37, Comments: 18 On Reddit: [18] http://goo.gl/MRDO7 Original: [19] http://goo.gl/MRDO7 * Skills Matter : In The Brain of Edsko de Vries: Lazy I/O and Alternatives in Haskell Domain: skillsmatter.com, Score: 37, Comments: 14 On Reddit: [20] http://goo.gl/13zlQ Original: [21] http://goo.gl/QSyTu * Attoparsec tutorial - School of Haskell Domain: fpcomplete.com, Score: 35, Comments: 17 On Reddit: [22] http://goo.gl/Riydl Original: [23] http://goo.gl/P2oiy * FP Haskell Center Beta Released and Beta Accounts Activated Domain: fpcomplete.com, Score: 33, Comments: 7 On Reddit: [24] http://goo.gl/Zs3kU Original: [25] http://goo.gl/vgy5m Top StackOverflow Questions * What advantage does Monad give us over an Applicative? votes: 17, answers: 7 Read on SO: [26] http://goo.gl/4L0gj * Encoding “Less Than” with Haskell votes: 11, answers: 1 Read on SO: [27] http://goo.gl/1Qsvn * Why is factorial calculation much faster in Haskell than in Java votes: 11, answers: 5 Read on SO: [28] http://goo.gl/QTbrl * Haskell: Can typeclasses define types (ala type traits) votes: 10, answers: 2 Read on SO: [29] http://goo.gl/yLSqT * C++ and Haskell codes differs in execution time on different machines votes: 10, answers: 1 Read on SO: [30] http://goo.gl/LRs3k * GHC.Generics or Data.Data? votes: 10, answers: 1 Read on SO: [31] http://goo.gl/yU6Ri * Constraint subset higher-order constraint votes: 9, answers: 1 Read on SO: [32] http://goo.gl/MTTws * How to make catamorphisms work with parameterized/indexed types? votes: 9, answers: 2 Read on SO: [33] http://goo.gl/FNSZg * How to “change” single values in large objects in elegant way? votes: 9, answers: 1 Read on SO: [34] http://goo.gl/3KuJj * What programming languages have something like Haskell’s `newtype` votes: 9, answers: 4 Read on SO: [35] http://goo.gl/vzUAI * Implementing a zipper for length-indexed lists votes: 8, answers: 1 Read on SO: [36] http://goo.gl/ja6VS * Does Haskell concatenate String literals at compile time? votes: 8, answers: 4 Read on SO: [37] http://goo.gl/sr61q * Combining lenses votes: 8, answers: 2 Read on SO: [38] http://goo.gl/qEbPd Until next time, [38]+Daniel Santa Cruz References 1. http://www.joachim-breitner.de/blog/archives/600-On-taking-the-last-n-eleme… 2. http://www.reddit.com/r/haskell/comments/1i64mt/on_taking_the_last_n_elemen… 3. http://gelisam.blogspot.ca/2013/07/comonads-are-neighbourhoods-not-objects.… 4. http://www.reddit.com/r/haskell/comments/1hficb/comonads_are_not_objects/ 5. http://hackage.haskell.org/package/haste-compiler 6. http://www.reddit.com/r/haskell/comments/1htqi2/announce_haste_the_haskell_… 7. http://www.arcadianvisions.com/blog/?p=388 8. http://www.reddit.com/r/haskell/comments/1hhrfn/postmodern_haskell_and_open… 9. http://projects.haskell.org/pipermail/haskellmode-emacs/2013-June/000188.ht… 10. http://www.reddit.com/r/haskell/comments/1hd21v/announce_haskellmode_1307_s… 11. http://www.devalot.com/articles/2013/07/why-haskell.html 12. http://www.reddit.com/r/haskell/comments/1hzz2d/why_the_world_needs_haskell/ 13. http://ro-che.info/ccc/20.html 14. http://www.reddit.com/r/haskell/comments/1i8e6v/cartesian_closed_comic_20_w… 15. http://www.reddit.com/r/haskell/comments/1i0uiq/do_naming_practices_hurt_ha… 16. http://www.reddit.com/r/haskell/comments/1i0uiq/do_naming_practices_hurt_ha… 17. http://www.reddit.com/r/haskell/comments/1i2a9l/announce_httphackagehaskell… 18. http://www.reddit.com/r/haskell/comments/1i2a9l/announce_httphackagehaskell… 19. http://skillsmatter.com/podcast/home/lazy-io-and-alternatives-in-haskell/jd… 20. http://www.reddit.com/r/haskell/comments/1i438a/skills_matter_in_the_brain_… 21. https://www.fpcomplete.com/school/attoparsec 22. http://www.reddit.com/r/haskell/comments/1hkg3g/attoparsec_tutorial_school_… 23. https://www.fpcomplete.com/blog/2013/06/fp-haskell-center-beta-announcement 24. http://www.reddit.com/r/haskell/comments/1hfbgs/fp_haskell_center_beta_rele… 25. http://stackoverflow.com/questions/17409260/what-advantage-does-monad-give-… 26. http://stackoverflow.com/questions/17578728/encoding-less-than-with-haskell 27. http://stackoverflow.com/questions/17584630/why-is-factorial-calculation-mu… 28. http://stackoverflow.com/questions/17398784/haskell-can-typeclasses-define-… 29. http://stackoverflow.com/questions/17412348/c-and-haskell-codes-differs-in-… 30. http://stackoverflow.com/questions/17502603/ghc-generics-or-data-data 31. http://stackoverflow.com/questions/17502985/constraint-subset-higher-order-… 32. http://stackoverflow.com/questions/17503131/how-to-make-catamorphisms-work-… 33. http://stackoverflow.com/questions/17518749/how-to-change-single-values-in-… 34. http://stackoverflow.com/questions/17591276/what-programming-languages-have… 35. http://stackoverflow.com/questions/17501777/implementing-a-zipper-for-lengt… 36. http://stackoverflow.com/questions/17513273/does-haskell-concatenate-string… 37. http://stackoverflow.com/questions/17528119/combining-lenses 38. https://plus.google.com/105107667630152149014/about

1 0

Call for Papers PEPM 2014
by publicityifl＠gmail.com 17 Jul '13

17 Jul '13

Hello, Please, find below the first call for papers for PEPM 2014. Please forward these to anyone you think may be interested. Apologies for any duplicates you may receive. best regards, Jurriaan Hage Co-chair of PEPM 2014 ----------------------------- C A L L F O R P A P E R S ----------------------------- ======= PEPM 2014 =========== ACM SIGPLAN 2014 WORKSHOP ON PARTIAL EVALUATION AND PROGRAM MANIPULATION Mon-Tue, January 20-21, 2014 San Diego, California, USA co-located with POPL'14 Sponsored by ACM SIGPLAN http://www.program-transformation.org/PEPM14 SCOPE The PEPM Symposium/Workshop series aims at bringing together researchers and practitioners working in the areas of program manipulation, partial evaluation, and program generation. PEPM focuses on techniques, theory, tools, and applications of analysis and manipulation of programs. The 2014 PEPM workshop will be based on a broad interpretation of semantics-based program manipulation and continue last years' successful effort to expand the scope of PEPM significantly beyond the traditionally covered areas of partial evaluation and specialization and include practical applications of program transformations such as refactoring tools, and practical implementation techniques such as rule-based transformation systems. In addition, the scope of PEPM covers manipulation and transformations of program and system representations such as structural and semantic models that occur in the context of model-driven development. In order to reach out to practitioners, a separate category of tool demonstration papers will be solicited. Topics of interest for PEPM'14 include, but are not limited to: Program and model manipulation techniques such as: supercompilation, partial evaluation, fusion, on-the-fly program adaptation, active libraries, program inversion, slicing, symbolic execution, refactoring, decompilation, and obfuscation. Program analysis techniques that are used to drive program/model manipulation such as: abstract interpretation, termination checking, binding-time analysis, constraint solving, type systems, automated testing and test case generation. Techniques that treat programs/models as data objects including metaprogramming, generative programming, embedded domain-specific languages, program synthesis by sketching and inductive programming, staged computation, and model-driven program generation and transformation. Application of the above techniques including case studies of program manipulation in real-world (industrial, open-source) projects and software development processes, descriptions of robust tools capable of effectively handling realistic applications, benchmarking. Examples of application domains include legacy program understanding and transformation, DSL implementations, visual languages and end-user programming, scientific computing, middleware frameworks and infrastructure needed for distributed and web-based applications, resource-limited computation, and security. To maintain the dynamic and interactive nature of PEPM, we will continue the category of `short papers' for tool demonstrations and for presentations of exciting if not fully polished research, and of interesting academic, industrial and open-source applications that are new or unfamiliar. Student attendants with accepted papers can apply for a SIGPLAN PAC grant to help cover travel expenses and other support. PAC also offers other support, such as for child-care expenses during the meeting or for travel costs for companions of SIGPLAN members with physical disabilities, as well as for travel from locations outside of North America and Europe. For details on the PAC programme, see its web page. All accepted papers, short papers included, will appear in formal proceedings published by ACM Press. In addition to printed proceedings, accepted papers will be included in the ACM Digital Library. A special issue for Science of Computer Programming is planned with recommended papers from PEPM'14. PEPM has also established a Best Paper award. The winner will be announced at the workshop. SUBMISSION CATEGORIES AND GUIDELINES Regular Research Papers must not exceed 12 pages in ACM Proceedings style (including appendix). Tool demonstration papers and short papers must not exceed 6 pages in ACM Proceedings style (including appendix). At least one author of each accepted contribution must attend the workshop and present the work. In the case of tool demonstration papers, a live demonstration of the described tool is expected. Suggested topics, evaluation criteria, and writing guidelines for both research tool demonstration papers will be made available on the PEPM'14 Web-site. Papers should be submitted electronically via the workshop web site. Authors using LaTeX to prepare their submissions should use the new improved SIGPLAN proceedings style (sigplanconf.cls, 9pt template). IMPORTANT DATES Abstract due: Sat, September 28, 2013 Paper submission: Sat, October 5, 2013, 23:59, GMT Author notification: Mon, November 11, 2013 Camera-ready papers due: * to be announced * INVITED SPEAKERS to be announced PROGRAM CHAIRS Wei Ngan Chin (National University of Singapore, Singapore) Jurriaan Hage (Utrecht University, Netherlands) PROGRAM COMMITTEE velyne Contejean (LRI, CNRS, Universit Paris-Sud, France) Cristina David (University of Oxford, UK) Alain Frisch (LexiFi, France) Ronald Garcia (University of British Columbia, Canada) Zhenjiang Hu (National Institute of Informatics, Japan) Paul H J Kelly (Imperial College, UK) Oleg Kiselyov (Monterey, USA) Naoki Kobayashi (University of Tokyo, Japan) Jens Krinke (University College London, UK) Ryan Newton (University of Indiana, USA) Alberto Pardo (Universidad de la Repblica, Uruguay) Sungwoo Park (Pohang University of Science and Technology, South Korea) Tiark Rompf (Oracle Labs & EPFL, Switzerland) Sukyoung Ryu (KAIST, South Korea) Kostis Sagonas (Uppsala University, Sweden) Max Schaefer (Nanyang Technological University, Singapore) Harald S¿ndergaard (The University of Melbourne, Australia) Eijiro Sumii (Tohoku University, Japan) Eric Van Wyk (University of Minnesota, USA) Jeremy Yallop (University of Cambridge, UK)

1 0