- Haskell - Haskell.org

ANNOUNCE: Haskell binding to the ANTLR parser generator C runtime library
by Mark Wright 17 Jan '11

17 Jan '11

Hi, I'm pleased to announce the release of a Haskell binding to the ANTLR LL(*) parser generator C runtime library. The book on ANTLR is "The Definitive ANTLR Reference: Building Domain-Specific Languages" by Terence Parr: http://www.pragprog.com/titles/tpantlr/the-definitive-antlr-reference ANTLR is a very powerful parser generator. It has support for predicated parsing, where dis-ambiguating semantic predicates can be used to look up information in the symbol table to handle context sensitive programming languages. The lexing and parsing handled in C. The C parser actions call Haskell code to do things such as: - enter data into the symbol table - look up data in the symbol table to implement dis-ambiguating semantic predicates for parsing context sensitive programming languages. - create Abstract Symbol Table entries. The ANTLR parser generator site is at: http://antlr.org/ The Haskell binding to the ANTLR parser generator C runtime library is at: http://hackage.haskell.org/package/antlrc An example based on the implementation of arithmetic expressions example from "Types and Programming Languages" by Benjamin Pierce, chapter 4, is on github: https://github.com/markwright/antlrc-examples/tree/master/src/tapl/arith Building the example is somewhat challenging. I provide a Makefile, however it is specific to my system and will need to be customised. Documentation for the ANTLR C runtime library is at: http://www.antlr.org/wiki/display/ANTLR3/ANTLR3+Code+Generation+-+C Documentation for the ANTLR parser generator is at: http://www.antlr.org/wiki/display/ANTLR3/ANTLR+v3+documentation Thanks, Mark

1 0

[PAPP2011] Practical Aspects of High-Level Parallel Programming: last call for papers (deadline: January, 23)
by Frédéric Loulergue 16 Jan '11

16 Jan '11

Please accept our apologies for multiple copies of this email ---------------------------------------------------------------- Eighth International Workshop on Practical Aspects of High-Level Parallel Programming (PAPP 2011) ---------------------------------------------------------------- part of The International Conference on Computational Science June 1-3, 2011, Tsukuba, Japan http://www.papp-workshop.org AIMS AND SCOPE Computational Science applications are more and more complex to develop and require more and more computing power. Sequential computing cannot go further. Major companies in the computing industry now recognise the urgency of re-orienting an entire industry towards massively parallel computing. Parallel and grid computing are solutions to the increasing need for computing power. The trend is towards the increase of cores in processors, the number of processors and the need for scalable computing everywhere. But parallel and distributed programming is still dominated by low-level techniques such as send/receive message passing. Thus high-level approaches should play a key role in the shift to scalable computing in every computer. Algorithmic skeletons, parallel extensions of functional languages such as Haskell and ML, parallel logic and constraint programming, parallel execution of declarative programs such as SQL queries, genericity and meta-programming in object-oriented languages, etc. have produced methods and tools that improve the price/performance ratio of parallel software, and broaden the range of target applications. Also, high level languages offer a high degree of abstraction which ease the development of complex systems. Moreover, being based on formal semantics, it is possible to certify the correctness of critical parts of the applications. The PAPP workshop focuses on practical aspects of high-level parallel programming: design, implementation and optimisation of high-level programming languages, semantics of parallel languages, formal verification, design or certification of libraries, middle-wares and tools (performance predictors working on high-level parallel/grid source code, visualisations of abstract behaviour, automatic hot-spot detectors, high-level GRID resource managers, compilers, automatic generators, etc.), application of proof assistants to parallel applications, applications in all fields of computational science, benchmarks and experiments. Research on high-level grid programming is particularly relevant as well as domain specific parallel software. The aim of all these languages and tools is to improve and ease the development of applications (safety, expressivity, efficiency, etc.). Thus the PAPP workshop focuses on applications. The PAPP workshop is aimed both at researchers involved in the development of high level approaches for parallel and grid computing and computational science researchers who are potential users of these languages and tools. Topics We welcome submission of original, unpublished papers in English on topics including: * applications in all fields of high-performance computing and visualisation (using high-level tools) * high-level models (CGM, BSP, MPM, LogP, etc.) and tools for parallel and grid computing * high-level parallel language design, implementation and optimisation * practical aspects of computer assisted verification for high-level parallel languages * modular, object-oriented, functional, logic, constraint programming for parallel, distributed and grid computing systems * algorithmic skeletons, patterns and high-level parallel libraries * generative (e.g. template-based) programming with algorithmic skeletons, patterns and high-level parallel libraries * benchmarks and experiments using such languages and tools PAPER SUBMISSION AND PUBLICATION Prospective authors are invited to submit full papers in English presenting original research. Submitted papers must be unpublished and not submitted for publication elsewhere. Papers will go through a rigorous reviewing process. Each paper will be reviewed by at least three referees. The accepted papers will be published in the Procedia Computer Science series, as part of the ICCS proceedings. Submission must be done through the ICCS website. We invite you to submit a full paper of at most 10 pages describing new and original results, no later than January 23, 2011. Submission implies the willingness of at least one of the authors to register and present the paper. Accepted papers should be presented at the workshop. IMPORTANT DATES * January 23, 2011 (extended and firm): Full paper due * February 20, 2011: Notification * March 7, 2011: Camera-ready paper due PROGRAMME COMMITTEE * Marco Aldinucci (University of Torino, Italy) * Jost Berthold (University of Copenhagen, Denmark) * Kento Emoto (University of Tokyo, Japan) * Frederic Gava (University Paris-East, France) * Alexandros Gerbessiotis (NJIT, USA) * Clemens Grelck (University of Amsterdam, Netherlands) * Hideya Iwasaki (The University of Electro-communications, Japan) * Roman Leshchinskiy (Standard Chartered Bank, UK) * Frederic Loulergue, chair (University of Orleans, France) * Bruno Raffin (INRIA, France) * Aamir Shafi (NUST, Pakistan)

1 0

ANN: extcore 1.0
by Tim Chevalier 15 Jan '11

15 Jan '11

Hello, I've recently released version 1.0 of extcore, a library for processing code in GHC's text-based External Core format. extcore includes a parser, prettyprinter, typechecker, and interpreter for External Core, as well as modules for computing module dependencies and combining multiple Core modules into a single module. The library was originally written by Andrew Tolmach and was part of the GHC distribution. After becoming its maintainer, about a year ago I moved the library to Hackage. Since in the past year, the library has acquired some users but has received no fatal bug reports, I thought it was time for a 1.0 release. You might be interested in using this library if you're a compiler or tool writer who wants to write a tool that processes the output of GHC's front-end and simplifier -- that is, code in the Core intermediate language, a typed functional language in which many of Haskell's features have been desugared into a polymorphically typed lambda-calculus (extended with type coercions, as are necessary to support type system features such as GADTs). Such tools might include alternative back-ends or new program transformations. Using the extcore library allows tool writers to experiment with implementing new compiler features without modifying GHC itself. While the GHC API is also a route to adding new stages to the GHC pipeline, using extcore has the advantage that External Core is well-specified (read on) and less subject to change than GHC's internal Core format. The library has been tested on External Core produced by GHC 6.10.* and GHC 6.12.*. It has not yet been tested on External Core produced by GHC 7.*. Documentation for the External Core format itself lives at http://www.haskell.org/ghc/docs/latest/html/ext-core/core.pdf - but documentation for the library is limited, and I would welcome documentation or other patches. Currently the best source of documentation for the library is the README file, found in the distribution. To get the distribution, please visit http://hackage.haskell.org/package/extcore or cabal install extcore. Please direct replies to glasgow-haskell-users(a)haskell.org, with me CCed. Please make sure not to reply to haskell(a)haskell.org. Cheers, Tim Chevalier -- Tim Chevalier * http://cs.pdx.edu/~tjc/ * Often in error, never in doubt "an intelligent person fights for lost causes,realizing that others are merely effects" -- E.E. Cummings

1 1

Call for Papers (TASE 2011)
by Huibiao Zhu 15 Jan '11

15 Jan '11

**************************************************************************** ********* TASE 2011 5th IEEE International Conference on Theoretical Aspects of Software Engineering *** Call For Papers *** August 29-31, 2011 Xi'an, China http://ictt.xidian.edu.cn/TASE2011/ **************************************************************************** ********* The 5th IEEE International Conference on Theoretical Aspects of Software Engineering (TASE 2011), sponsored by IEEE CS and IFIP, will be held in Xi'an, China in August, 2011. Large scale software systems and the Internet are of growing concern to academia and industry. This poses new challenges to the various aspects of software engineering, for instance, the reliability of software development, web-oriented software architecture and aspect and object-orientation techniques. As a result, new concepts and methodologies are required to enhance the development of software engineering from theoretical aspects. TASE 2011 is a forum for researchers from academia, industry and government to present ideas, results, and ongoing research on theoretical advances in software engineering. TASE 2011 is the fifth in a series of conference, sponsored by IEEE CS and IFIP. The first TASE conference was held in Shanghai, China, in June 2007. The second TASE conference was held in Nanjing, China, in June 2008. The third TASE conference was held in Tianjin, China, in June 2009, and the fourth TASE conference was held in Taipei, China, in October 2010. TASE 2011 will be held in Xi'an, China. Xi'an, the eternal city, records the great changes of the Chinese nation just like a living history book. So far, Xian enjoys equal frame with Athens, Cairo, and Rome as one of the four major ancient civilization capitals. It has many places of interest, such as Terra-cotta Warriors and Horses, City Wall, Bell Tower, Big Wild Goose Pagoda and so on. International Horticultural Exposition will be held in Xi'an in 2011. Topics of Interest Authors are invited to submit high quality technical papers describing original and unpublished work in all theoretical aspects of software engineering. Topics of interest include, but are not limited to: * Requirements Engineering * Embedded and Real-Time Systems * Program Analysis * Software Architectures and Design * Component-Based Software Engineeringg * Reverse Engineering and Software Maintenance * Aspect and Object Orientation * Type System and Theory * Dependable Concurrency * Automata and Temporal/Modal Logic * Petri Nets * Domain Theory * Type Theory * Process Algebra and Concurrency * Specification and Verification * Software Testing * Model-Driven Engineering * Software Processes and Workflows * Software Safety, Security and Reliability * Service-Oriented Computing * Semantic Web and Web Services * Program Logics and Calculus * Software Model Checking * Probability and Randomization * Game Theory * Theorem Proving * Static Analysis and Model Checking * Testing, Simulation and other Dynamic Analyses Submission Submission should be done through the TASE 2011 submission page, handled by the EasyChair conference system. The authors are requested to submit the abstract (100-300 words) by March 21, 2011, and the paper (up to 8 pages) by March 28, 2011. To do submission, visit EasyChair and register as a new member. A password will be sent by e-mail shortly. Using that password, log-in and proceed to the New Submission page, where the detailed instructions can be found. When submitting the abstract, tick the "Abstract Only" box nearly at the end of the page. After submission, the authors can update abstracts and papers as well as the authors' information using the EasyChair system until the deadline. The proceedings of the conference will be published by the IEEE Computer Society Press. Papers must be written in English and not exceed 8 pages in Two-Column IEEE format. Authors should use the IEEE latex style fyles for the two-column pro- ceedings format. The style files and instructions for using them is at http://www.ctan.org/tex-archive/macros/latex/contrib/IEEEtran/. (The file bare_conf.tex at http://www.ctan.org/tex-archive/macros/latex/contrib/IEEEtran/ may be used as a template). Submissions not accepted to the proceedings may be considered for poster presentation. Important Dates March 21, 2011: Title and abstract submission deadline March 28, 2011: Paper submission deadline April 25, 2011: Acceptance/rejection notification May 16, 2011: Final version due August 29 - 31, 2011: TASE 2011 Co-Chairs Luke Ong (Oxford University, UK) Zhenhua Duan (Xidian University, China)

1 0

CfP: PPDP 2011
by mh＠informatik.uni-kiel.de 13 Jan '11

13 Jan '11

====================================================================== CALL FOR PAPERS PPDP 2011 13th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming http://www-ps.informatik.uni-kiel.de/ppdp11/ July 20-22, 2011, Odense, Denmark (in cooperation with ACM SIGPLAN, co-located with LOPSTR 2011) ====================================================================== PPDP 2011 aims to provide a forum that brings together researchers from the declarative programming communities, including those working in the logic, constraint and functional programming paradigms, but also embracing a variety of other paradigms such as visual programming, executable specification languages, database languages, AI languages and knowledge representation languages used, for example, in the semantic web. The goal is to stimulate research in the use of logical formalisms and methods for specifying, performing, and analyzing computations, including mechanisms for mobility, modularity, concurrency, object-orientation, security, and static analysis. Papers related to the use of declarative paradigms and tools in industry and education are especially solicited. The conference will held in cooperation with ACM SIGPLAN and take place in July 2011 in Odense, Denmark, co-located with the 21st International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2011). TOPICS: - Logic, Constraint, and Functional Programming - Database, AI and Knowledge Representation Languages - Visual Programming - Executable Specification Languages - Applications of Declarative Programming - Methodologies: Program Design and Development - Declarative Aspects of Object-Oriented Programming - Concurrent Extensions to Declarative Languages - Declarative Mobile Computing - Integration of Paradigms - Proof Theoretic and Semantic Foundations - Type and Module Systems - Program Analysis and Verification - Program Transformation - Abstract Machines and Compilation - Programming Environments This list is not exhaustive - submissions describing new and interesting ideas relating broadly to declarative programming are encouraged. IMPORTANT DATES: Abstract submission: March 8, 2011 Paper submission: March 15, 2011 Notification: April 19, 2011 Camera-ready version: May 12, 2011 Symposium: July 20-22, 2011 SUBMISSION GUIDELINES: Papers should be submitted via the submission website for PPDP 2011: http://www.easychair.org/conferences/?conf=ppdp11 Papers must describe original work, be written and presented in English, and must not substantially overlap with papers that have been published or that are simultaneously submitted to a journal, conference, or workshop with refereed proceedings. Work that already appeared in unpublished or informally published workshop proceedings may be submitted (please contact the PC chair in case of questions). Papers should consist of the equivalent of 12 pages under the ACM formatting guidelines. These guidelines are available online, along with formatting templates or style files. Submitted papers will be judged on the basis of significance, relevance, correctness, originality, and clarity. They should include a clear identification of what has been accomplished and why it is significant. Authors who wish to provide additional material to the reviewers beyond the 12-page limit can do so in clearly marked appendices: reviewers are not required to read such appendices. PROCEEDINGS: The proceedings will be published by ACM Press. Authors of accepted papers will be required to sign a copyright form. PROGRAM COMMITTEE: Peter Achten Radboud University Nijmegen, The Netherlands Sergio Antoy Portland State University, USA Michael Codish Ben-Gurion University of the Negev, Israel Moreno Falaschi Universita di Siena, Italy Amy Felty University of Ottawa, Canada Michael Hanus University of Kiel, Germany (Chair) Andy King University of Kent, UK Helene Kirchner INRIA, France Francisco J. Lopez Fraguas Universidad Complutense de Madrid, Spain Salvador Lucas Universidad Politecnica de Valencia, Spain Simon Peyton Jones Microsoft Research, Cambridge, UK Kostis Sagonas Uppsala University, Sweden Peter Schneider-Kamp University of Southern Denmark, Denmark Doaitse Swierstra Utrecht University, The Netherlands Paul Tarau University of North Texas, USA Peter Thiemann University of Freiburg, Germany Kazunori Ueda Waseda University, Japan Tarmo Uustalu Tallinn University of Technology, Estonia Peter Van Roy Catholic University of Louvain, Belgium For more information, contact the chairs: Program Chair: Michael Hanus University of Kiel, Germany Email: mh(a)informatik.uni-kiel.de Symposium Chair: Peter Schneider-Kamp University of Southern Denmark Email: petersk(a)imada.sdu.dk ----------------------------------------------------------------------

1 0

Haskell Weekly News: Issue 164 - January 12, 2011
by Daniel Santa Cruz 13 Jan '11

13 Jan '11

Welcome to issue 164 of the HWN, a newsletter covering developments in the [1]Haskell community. This release covers the week of January 2 to 8, 2011. Announcements Ben Millwood [2]announced the release of haskell-src-meta 0.3. He tells us that this release adds support for GHC 7, and for TH 2.5, along with other improvements. Mitar announced [3]a new version ef Etage, a general data-flow framework. Malcolm Wallace had [4]some news from the Haskell Language Committee. One of the points mentioned is that there will _not_ be a language standard called 2011, with the committee intending to issue a new language standard in 2012. Simon Peyton-Jones [5]invited members from the community to submit papers for the Workshop on Intermediate Representations 2011. The deadline is January 21. Clemens Grelck wanted to alert everyone that the [6]new deadline for papers for the Eighth International Workshop on Practical Aspects of High-Level Parallel Programming (PAPP 2011) to be held June 1-3, 2011, in Tsukuba, Japan. Emanuel Kitzelmann extended a [7]call for papers for the 4th International Workshop on Approaches and Applications of Inductive Programming (AAIP 2011) to be held July 19, 2011, in Odense, Denmark. Maciej Piechotka announced the [8]first release of nanoparsec. "Nanoparsec is currently simply a port of attoparsec on the ListLike--the abstraction of lists used by iteratee. Top Reddit Stories * Why Lisp is a Big Hack (And Haskell is Doomed to Succeed) Domain: axisofeval.blogspot.com, Score: 69, Comments: 15 On Reddit: http://www.reddit.com/r/haskell/comments/evbz5/why_lisp_is_a_big_hack_and_h… Original: http://axisofeval.blogspot.com/2011/01/why-lisp-is-big-hack-and-haskell-is.… * I ported Clojure's Persistent Vectors and Hash Maps to Haskell Domain: blog.wuwon.id.au, Score: 54, Comments: 2 On Reddit: http://www.reddit.com/r/haskell/comments/evzhz/i_ported_clojures_persistent… Original: http://blog.wuwon.id.au/2011/01/persistent-vectors-and-hash-maps-for.html * 3 Big Haskell Infrastructure Projects That Would Be Cool Domain: cdsmith.wordpress.com, Score: 31, Comments: 8 On Reddit: http://www.reddit.com/r/haskell/comments/evt56/3_big_haskell_infrastructure… Original: http://cdsmith.wordpress.com/2011/01/03/big-ideas-for-haskell/ * Merging binary and cereal Domain: blog.johantibell.com, Score: 31, Comments: On Reddit: http://www.reddit.com/r/haskell/comments/ewvpv/merging_binary_and_cereal/ Original: http://blog.johantibell.com/2011/01/merging-binary-and-cereal.html * Haskell library improvements I'd like to see Domain: blog.johantibell.com, Score: 28, Comments: On Reddit: http://www.reddit.com/r/haskell/comments/evm0g/haskell_library_improvements… Original: http://blog.johantibell.com/2011/01/haskell-library-improvements-id-like-to… * You can use GHC for the mac app store Domain: github.com, Score: 20, Comments: 8 On Reddit: http://www.reddit.com/r/haskell/comments/exxal/you_can_use_ghc_for_the_mac_… Original: https://github.com/nfjinjing/haskell-cocoa-currency-converter-example * Sudoku Solver in Haskell Domain: antimatroid.wordpress.com, Score: 18, Comments: 7 On Reddit: http://www.reddit.com/r/haskell/comments/ev1i0/sudoku_solver_in_haskell/ Original: http://antimatroid.wordpress.com/2009/06/01/sudoku-solver-in-haskell/ * Job Board for Functional Programmers Domain: functionaljobs.com, Score: 15, Comments: 6 On Reddit: http://www.reddit.com/r/haskell/comments/evi5d/job_board_for_functional_pro… Original: http://functionaljobs.com * Haskell library for analysis and synthesis of Go code. Domain: hackage.haskell.org, Score: 15, Comments: 6 On Reddit: http://www.reddit.com/r/haskell/comments/ex43z/haskell_library_for_analysis… Original: http://hackage.haskell.org/package/language-go * Hello Reddit! I implemented Levenshtein automata in Haskell after reading that 'Damn Cool Algorithm' blog post -- what do you think? Domain: self.haskell, Score: 14, Comments: 4 On Reddit: http://www.reddit.com/r/haskell/comments/ewl7o/hello_reddit_i_implemented_l… Original: /r/haskell/comments/ewl7o/hello_reddit_i_implemented_levenshtein_automata/ Top StackOverflow Questions * Why do we need 'seq' or 'pseq' with 'par' in Haskell? votes: 9, answers: 2 Read on SO: http://stackoverflow.com/questions/4576734/why-do-we-need-seq-or-pseq-with-… * Complex data structures in Haskell - how do they work? votes: 8, answers: 2 Read on SO: http://stackoverflow.com/questions/4597262/complex-data-structures-in-haske… * Mutability in functional programming votes: 8, answers: 3 Read on SO: http://stackoverflow.com/questions/4619500/mutability-in-functional-program… * Where can I learn advanced Haskell? votes: 8, answers: 6 Read on SO: http://stackoverflow.com/questions/4634962/where-can-i-learn-advanced-haske… * in haskell, why do I need to specify type constraints, why can't the compiler figure them out? votes: 7, answers: 4 Read on SO: http://stackoverflow.com/questions/4590975/in-haskell-why-do-i-need-to-spec… * Can someone explain to me the following Haskell expression votes: 6, answers: 2 Read on SO: http://stackoverflow.com/questions/4589957/can-someone-explain-to-me-the-fo… * Parse XML in Haskell votes: 6, answers: 5 Read on SO: http://stackoverflow.com/questions/4619206/parse-xml-in-haskell * Haskell: Record Update for Existential Types votes: 5, answers: 1 Read on SO: http://stackoverflow.com/questions/4580211/haskell-record-update-for-existe… * Are there any more original, more functional Haskell web-frameworks? votes: 5, answers: 2 Read on SO: http://stackoverflow.com/questions/4598091/are-there-any-more-original-more… * Defining a data type that doesn't want to be defined.. votes: 5, answers: 1 Read on SO: http://stackoverflow.com/questions/4612830/defining-a-data-type-that-doesnt… About the Haskell Weekly News You can find an html version of this newsletter at http://contemplatecode.blogspot.com/2011/01/haskell-weekly-news-issue-164.h… To help create new editions of this newsletter, please send stories to dstcruz(a)gmail.com. I'm in dire need of finding good "quotes of the week". If you happen to come across any, please don't hesitate to send it along. Hope your 2011 is off to a good start! Until next time, Daniel Santa Cruz References 1. http://haskell.org/ 2. http://permalink.gmane.org/gmane.comp.lang.haskell.general/18414 3. http://permalink.gmane.org/gmane.comp.lang.haskell.cafe/85062 4. http://article.gmane.org/gmane.comp.lang.haskell.general/18418 5. http://article.gmane.org/gmane.comp.lang.haskell.general/18415 6. http://article.gmane.org/gmane.comp.lang.haskell.general/18416 7. http://article.gmane.org/gmane.comp.lang.haskell.general/18417 8. http://permalink.gmane.org/gmane.comp.lang.haskell.cafe/85177

1 0

LOPSTR 2011 - call for papers
by German Vidal 12 Jan '11

12 Jan '11

============================================================ Preliminary Call for papers 21th International Symposium on Logic-Based Program Synthesis and Transformation LOPSTR 2011 http://users.dsic.upv.es/~lopstr11/ Odense, Denmark, July 18-20, 2011 (co-located with PPDP 2011) ============================================================ Objectives: The aim of the LOPSTR series is to stimulate and promote international research and collaboration on logic-based program development. LOPSTR is open to contributions in logic-based program development in any language paradigm. LOPSTR has a reputation for being a lively, friendly forum for presenting and discussing work in progress. Formal proceedings are produced only after the symposium so that authors can incorporate this feedback in the published papers. The 21st International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR 2011) will be held in Odense, Denmark; previous symposia were held in Hagenberg, Coimbra, Valencia, Lyngby, Venice, London, Verona, Uppsala, Madrid, Paphos, London, Venice, Manchester, Leuven, Stockholm, Arnhem, Pisa, Louvain-la-Neuve, and Manchester (you might have a look at the contents of past LOPSTR symposia). LOPSTR 2011 will be co-located with PPDP 2011 (International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming). Topics: Topics of interest cover all aspects of logic-based program development, all stages of the software life cycle, and issues of both programming- in-the-small and programming-in-the-large. Papers describing applications in these areas are especially welcome. Contributions are welcome on all aspects of logic-based program development, including, but not limited to: - specification - synthesis - verification - transformation - analysis - optimisation - specialization - partial evaluation - inversion - composition - program/model manipulation - certification - security - transformational techniques in SE - applications and tools Survey papers, that present some aspect of the above topics from a new perspective, and application papers, that describe experience with industrial applications, are also welcome. Papers must describe original work, be written and presented in English, and must not substantially overlap with papers that have been published or that are simultaneously submitted to a journal or a conference with refereed proceedings. Work that already appeared in unpublished or informally published workshops proceedings may be submitted. Following past editions, the formal post-conference proceedings are planned to be published by Springer-Verlag in the Lecture Notes in Computer Science (LNCS) series. IMPORTANT DATES AND SUBMISSION GUIDELINES: - Paper submission: March 27, 2011 - Extended abstract submission: April 3, 2011 - Notification (for pre-proceedings): May 16, 2011 - Camera-ready (for pre-proceedings): June 12, 2011 - Symposium: July 18-20, 2011 Submissions can either be (short) extended abstracts or (full) papers whose length should not exceed 9 and 15 pages (including references), respectively. Submissions must be formatted in the Lecture Notes in Computer Science style (excluding well-marked appendices not intended for publication). Referees are not required to read the appendices, and thus papers should be intelligible without them. Short papers may describe work-in-progress or tool demonstrations. Both short and full papers can be accepted for presentation at the symposium and will then appear in the LOPSTR 2011 pre-proceedings. Full papers can also be immediately accepted for publication in the formal proceedings, which is planned to be published by Springer-Verlag in the LNCS series. In addition, after the symposium, the programme committee will select further short or full papers presented in LOPSTR 2011 to be considered for formal publication. These authors will be invited to revise and/or extend their submissions in the light of the feedback solicited at the symposium. Then after another round of reviewing, these revised papers can also be published in the formal proceedings. Program Committee: TBD Contacts Program Chair (contact him for additional information about papers and submissions) German Vidal Department of Computer Science (DSIC) Universitat Politecnica de Valencia Valencia, Spain Email: lopstr11(a)dsic.upv.es General Chair Peter Schneider-Kamp Dept. of Mathematics and Computer Science University of Southern Denmark Campusvej 55 DK-5230 Odense M, Denmark Email: petersk(a)imada.sdu.dk

1 0

Call for Papers (ICFEM 2011)
by Huibiao Zhu 12 Jan '11

12 Jan '11

************************************************************ ICFEM 2011 13th International Conference on Formal Engineering Methods *** FIRST CALL FOR PAPERS *** 25-28 Oct 2011 Radisson BLU Hotel, Durham, UK URL: http://www.scm.tees.ac.uk/icfem2011 ************************************************************ Since 1997, ICFEM has provided a forum for those interested in the application of formal engineering methods to 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, tangible benefit. ICFEM 2011 is organised by Teesside University and will be held in the old historic Durham City in the North East of England (http://www.thisisdurham.com/) AREA AND TOPICS Submissions related to the following principal themes are encouraged, but any topics relevant to the field of formal methods and their support environments will also be considered: * Abstraction and refinement * Formal specification and modelling * Software verification * Program analysis * Software model checking * Formal approaches to software testing * Formal methods for object and component systems * Concurrency and software transaction memory * Formal methods for cloud computing * Software inspection * Formal methods for cyber-physical systems * Tool development and integration * Software safety, security and reliability * Experiments involving verified systems * Applications of formal methods * Formal model-based development and code generation SUBMISSION AND PUBLICATION Submissions to the conference must not have been published or be concurrently considered for publication elsewhere. All submissions will be judged on the basis of originality, contribution to the field, technical and presentation quality, and relevance to the conference. The proceedings will be published in the Springer Lecture Notes in Computer Science series. Papers should be written in English and not exceed 16 pages in LNCS format (see http://www.springer.de/comp/lncs/authors.html for details). Submission should be done through the ICFEM 2011 submission page (https://www.easychair.org/conferences/?conf=icfem2011) handled by the EasyChair conference system. All queries should be sent to the e-mail address icfem2011(a)scm.tees.ac.uk. IMPORTANT DATES 31 March, 2011: Abstract submission deadline 7 April, 2011: Full-paper submission deadline 8 June, 2011: Acceptance/rejection notification 6 July, 2011: Camera-ready version due ORGANIZATION COMMITTEE Honorary Chairs: Marc Cavazza, Teesside University Cliff Hardcastle, Teesside University General Chairs: Phil Brooke, Teesside University, UK Cliff Jones, Newcastle University, UK Program Chairs: Shengchao Qin, Teesside University, UK Zongyan Qiu, Peking University, UK Program Committee: Bernhard K. Aichernig (Graz University of Technology, Austria) Keijiro Araki (Kyushu University, Japan) Farhad Arbab (CWI and Leiden University, The Netherlands) Richard Banach (University of Manchester, UK) Nikolaj Bjorner (Microsoft Research Redmond, USA) Jonathan P. Bowen (University of Westminster, UK) Michael Butler (University of Southampton, UK) Andrew Butterfield (Trinity College Dublin, Ireland) Ana Cavalcanti (University of York, UK) Wei-Ngan Chin (National University of Singapore, Singapore) Florin Craciun (Soter Sys, Romania) Thao Dang (French National Center for Scientific Research, France) Jim Davies (Oxford University, UK) Dino Distefano (Queen Mary College, University of London, UK) Jin-Song Dong (National University of Singapore, Singapore) Zhenhua Duan (Xidian University, China) J. S. Fitzgerald (Newcastle University, UK) Leo Freitas (Newcastle University, UK) Joaquim Gabarro (Universitat Politècnica de Catalunya, Spain) Stefania Gnesi (ISTI-CNR, Italy) Anthony Hall (Consultant) Ian J. Hayes (The University of Queensland, Australia) Mike Hinchey (Lero, Ireland) Zhenjiang Hu (National Institute of Informatics, Japan) Michael Jackson (Consultant) Thierry Jéron (INRIA , France) Gerwin Klein (NICTA, Australia) Laura Kovacs (Vienna University of Technology, Austria) Kim G. Larsen (Aalborg University, Denmark) Peter Gorm Larsen (Aarhus University, Denmark) Michael Leuschel (Heinrich-Heine University Düsseldorf, Germany) Xuandong Li (Nanjing University, China) Shaoying Liu (Hosei University, Japan) Zhiming Liu (UNU/IIST, Macau) Tiziana Margaria (University of Potsdam, Germany) Stephan Merz (INRIA Nancy & LORIA, France) Huaikou Miao (Shanghai University, China) Peter Müller (ETH Zurich, Switzerland) Jun Pang (University of Luxembourg, Luxembourg) Matthew Parkinson (Microsoft Research Cambridge, UK) Geguang Pu (East China Normal University, China) Shengchao Qin (Teesside University, UK) Zongyan Qiu (Peking University, China) Augusto Sampaio (Universidade Federal de Pernambuco, Brazil) Thomas Santen (Microsoft Innovations Center Aachen, Germany) Wuwei Shen (Western Michigan University, USA) Marjan Sirjani (Reykjavik University, Iceland) Bill Stoddart (Teesside University, UK) Jing Sun (University of Auckland, New Zealand) Jun Sun (Singapore University of Technology and Design, Singapore) Kenji Taguchi (AIST, Japan) Tetsuo Tamai (University of Tokyo, Japan) Yih-Kuen Tsay (National Taiwan University, Taiwan) T.H. Tse (University of Hong Kong, Hong Kong) Viktor Vafeiadis (MPI-SWS, Germany) Miroslav Velev (Aries Design Automation, USA) Laurent Voisin (Systerel, France) Hai H. Wang (Aston University, UK) Ji Wang (National University of Defense Technology, China) Heike Wehrheim (University of Paderborn, Germany) Jim Woodcock (University of York, UK) Wang Yi (Uppsala University, Sweden) Naijun Zhan (Chinese Academy of Sciences, China) Jian Zhang (Chinese Academy of Sciences, China) Hong Zhu (Oxford Brookes University, UK) Huibiao Zhu (East China Normal University, China) Steering Committee Keijiro Araki, Japan Jin Song Dong, Singapore Chris George, Canada Jifeng He, China Mike Hinchey, Ireland Shaoying Liu (Chair), Japan John McDermid, UK Tetsuo Tamai, Japan Jim Woodcock, UK

1 0

ANNOUNCE: haskell-src-exts 1.10.1
by Niklas Broberg 12 Jan '11

12 Jan '11

Fellow Haskelleers, I'm pleased to announce the release of haskell-src-exts-1.10.1! * On hackage: http://hackage.haskell.org/package/haskell-src-exts * Via cabal: cabal install haskell-src-exts * Darcs repo: http://code.haskell.org/haskell-src-exts Unless you are using the XmlSyntax extension, this major version bump should behave just like a minor version bump. Changes: 1.10.0 --> 1.10.1 =============== * Enable the unicode version of DoubleColon (x2237). Thanks to Andrés Sicard-Ramírez for the patch! 1.9.6 --> 1.10.0 =============== * Ensure that implied extensions are always picked up, not only when using the parseFile* family of functions as previously. * Add the newly devised <%>...</%> syntax to the XmlSyntax support. This causes changes to pretty much everything, including adding a case to the AST which prompts the major version bump. Cheers, /Niklas

1 0

School of Expression pages missing from haskell.org
by Julian Gilbey 11 Jan '11

11 Jan '11

Does anyone know what has happened to the Haskell School of Expression (SOE) webpages? The link from books for learning Haskell now gives a 404 Not Found error. Thanks! Julian

3 3