- Haskell - Haskell.org

CMCS 2008: Extended deadline
by Clemens Kupke 15 Jan '08

15 Jan '08

[- Apologies for multiple copies -] DEADLINE EXTENSION: New deadline for submissions of regular papers on **Monday, January 21** CMCS 2008 9th International Workshop on Coalgebraic Methods in Computer Science http://www.cwi.nl/projects/cmcs08/ Budapest, Hungary April 4-6, 2008 Key Note Speaker: Dexter Kozen (to be confirmed) Invited Speakers: Stefan Milius and Dirk Pattinson Important Dates Extended deadline for submission of regular papers: January 21, 2008 Notification of acceptance of regular papers: February 11, 2008. Final version for the preliminary proceedings: February 18, 2008. Deadline for submission of short contributions: March 10, 2008. Notification of acceptance of short contributions: March 17, 2008. The workshop will be held in conjunction with the 11th European Joint Conferences on Theory and Practice of Software ETAPS 2008 March 29 - April 6, 2008 Programme Committee Jiri Adamek (chair, Braunschweig), Corina Cirstea (Southampton), Neil Ghani (Nottingham), H. Peter Gumm (Marburg), Bart Jacobs (Nijmegen), Clemens Kupke (co-chair, Amsterdam), Alexander Kurz (Leicester), Ugo Montanari (Pisa), Larry Moss (Indiana), John Power (Bath), Jan Rutten (Amsterdam), Lutz Schröder (Bremen), Tarmo Uustalu (Tallinn), Yde Venema (Amsterdam), Hiroshi Watanabe (Osaka). Submissions Two sorts of submissions will be possible this year: Papers to be evaluated by the programme committee for inclusion in the ENTCS proceedings: These papers must be written using ENTCS style files and be of length no greater than 20 pages. They must contain original contributions, be clearly written, and include appropriate reference to and comparison with related work. If a submission describes software, software tools, or their use, it should include all source code that is needed to reproduce the results but is not publicly available. If the additional material exceeds 5 MB, URL's of publicly available sites should be provided in the paper. Short contributions: These will not be published but will be compiled into a technical report of the Technical University of Braunschweig. They should be no more than two pages and may describe work in progress, summarise work submitted to a conference or workshop elsewhere, or in some other way appeal to the CMCS audience. Both sorts of submission should be submitted in postscript or pdf form as attachments to an email to cmcs08(a)cwi.nl. The email should include the title, corresponding author, and, for the first kind of submission, a text-only one-page abstract. After the workshop, we expect to produce a journal proceedings of extended versions of selected papers to appear in Theoretical Computer Science. For more information, please write to cmcs08(a)cwi.nl

1 0

DEADLINE EXTENSION - SAS 2008
by German Vidal 15 Jan '08

15 Jan '08

15th International Static Analysis Symposium - SAS 2008 Valencia, Spain - July 16-18 >>DEDLINE EXTENSION<< New important dates: Submission of abstract: January 19, 2008 (changed) Submission of full paper: January 26, 2008 (changed) Notification: March 7, 2008 Camera-ready version: April 5, 2008 Conference: July 16-18, 2008 Please see: http://www.dsic.upv.es/~sas2008/ Maria Alpuente, German Vidal (PC co-chairs) Email: sas2008(a)dsic.upv.es

1 0

extending GeSHi's haskell.php ?
by Conal Elliott 15 Jan '08

15 Jan '08

The haskell.php module in GeSHi (Generic Syntax Highlighter) knows how to make Haddock doc links for several value & type identifiers in the Prelude. I'd like it to know a lot more than that, at least including the "base" package. It looks pretty simple, though tedious, to add more, and so begs for automation, perhaps as an adjunct to Haddock or Hoogle, and maybe tied in with Hackage. Is anyone already working on such a thing? Any ideas? - Conal

1 0

matrix
by Dupont Corentin 14 Jan '08

14 Jan '08

Hello, Is a package with matrices, rotations, translations etc? Sorry for the newbie question! Corentin

2 1

ANN: TagSoup 0.4
by Neil Mitchell 14 Jan '08

14 Jan '08

Hi, I am pleased to release TagSoup 0.4, available (like all good libraries) from hackage: http://hackage.haskell.org/cgi-bin/hackage-scripts/package/tagsoup-0.4. For more details, including examples, read the manual: http://www.cs.york.ac.uk/fp/darcs/tagsoup/tagsoup.htm TagSoup is a library for extracting information out of unstructured HTML code, sometimes known as tag-soup. The HTML does not have to be well formed, or render properly within any particular framework. This library is for situations where the author of the HTML is not cooperating with the person trying to extract the information, but is also not trying to hide the information. Version 0.4 fixes various space leaks, improves the interface, deals with entities better etc. The API has changed somewhat, but should be simpler overall - if I broke your code and you need help, email me. TagSoup is used for writing Haskell Weekly News, processing biological simulations, getting cooking recipies, optimising train fares, getting a list of Simon Peyton Jones' papers, getting a hit count off haskell.org and no doubt many other fun things. Thanks Neil

1 0

Final Call for papers TASE2008
by tase08 13 Jan '08

13 Jan '08

(Apologies if you have already received this message.) TASE 2008 2nd IEEE Symposium on Theoretical Aspects of Software Engineering Nanjing, China June 17-19, 2008 http://cs.nju.edu.cn/tase08/index.html Large scale software systems and 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 & object-orientation techniques. As a result, new concepts and methodologies are required to enhance the development of software engineering from theoretical aspects. TASE 2008 is a forum for researchers from academia, industry and government to present ideas, results, and ongoing research on theoretical advances in software engineering. TASE 2008 is the second in a series of conference, sponsored by IEEE CS and IFIP. The first TASE conference was held in Shanghai, China, in June 2007. 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 * Specification and Validation * Software Testing * Component-based Development * Model Checking for Software * Software Processes and Workflows * Software Frameworks and Middleware * Software Architectures and Design * Software safety and reliability * Reverse Engineering and Software Maintenance * Aspect and Objected �Corientation Techniques * Embedded and Real-time Software * Service-oriented Computing and Web Services * Model-driven Development * Coordination and Feature Interaction * Parallel and Distributed Computing * Logics of Programs * Program Analysis * Semantics and Design of Programming Languages * Type Theory Submission Guidelines: Authors should submit and register their paper through our web-interface at: http://www.easychair.org/conferences/?conf=TASE2008 by January 28, 2008. Submissions must not have been published or be concurrently considered for publication elsewhere. All submissions will be reviewed by at least three members of the program committee. They will be judged on the basis of originality, contribution to the field, technical and presentation quality, and relevance to the conference. 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 IEEE format. Instructions for authors are available at http://computer.org/cspress/instruct.htm. Latex document classes can be downloaded from the website at ftp://pubftp.computer.org/Press/Outgoing/proceedings/. Important Dates: * January 21, 2008: Title and abstract submission deadline * January 28, 2008: Paper submission deadline * March 10, 2008: Acceptance/rejection notification * March 23, 2008: Camera-ready version due * June 17-19, 2008: TASE 2008 Organization: General Co-Chairs: Jifeng He, East China Normal University, China Jian Lu, Nanjing University, China Program Co-chairs: Jim Davies, Oxford University, UK �� Xuandong Li, Nanjing University, China Local Organization Chair: Linzhang Wang, Nanjing University, China Program Committee: Bernhard Aichernig (Graz University of Technology, Austria) Keijiro Araki (Kyzushu University, Japan) Farhad Arbab (CWI and Leiden University, The Netherlands) Jonathan Bowen (King's College London, UK) Michael Butler (University of Southampton, UK) Ana Cavalcanti (University of York, UK) Jim Davies (Oxford University, UK) Geoff Dromey (Griffith University, Australia) Jin Song Dong (National University of Singapore, Singapore) Zhenhua Duan (Xi��dian University, China) Colin Fidge (Queensland University of Technology, Australia) Dieter Gollmann (Hamburg University of Technology, Germany) Kung-Kiu Lau (Manchester University, UK) Jing Liu (East China Normal University, China) Shaoying Liu (Hosei University, Japan) Zhiming Liu (UNU/IIST, Macau, China) Annabelle Mclver (Macquarie University, Australia) Hong Mei (Peking University, China) Huaikou Miao (Shanghai University, China) Masoud Mohammadian(University of Canberra, Australia) Shankar Natarajan (SRI International, USA) Nimal Nissanke (London South Bank University, UK) Geguang Pu(East China Normal University, China) Shengchao Qin (Durham University, UK) Zongyan Qiu (Peking University, China) Zhong Shao (Yale University, USA) Joseph Sifakis (Verimag, France) Zhengdong Su (University of California at Davis, USA) Margus Veanes (Microsoft, USA) Sergiy Vilkomir (University of Limerick, Ireland) Farn Wang (National Taiwan University, Taiwan) Ji Wang (Changsha Institute of Technology, China) Linzhang Wang(Nanjing University, China) Heike Wehrheim (University of Paderborn, Germany) Jim Woodcock (University of York, UK) Dianxiang Xu(North Dakota State University, USA) Wang Yi (Uppsala University, Sweden) Gianluigi Zavattaro (University of Bologna, Italy) Jian Zhang (Institute of Software, China) Jianhua Zhao (Nanjing University, China) Huibiao Zhu (East China Normal University, China) Steering Program Committee Michael Hinchey(Chair), USA Keijiro Araki, Japan Jifeng He, China Zhiming Liu, Macau Mike Reed, Macau Huibiao Zhu, China Keynote Speakers Edmund M. Clarke (Carnegie Mellon University) Joost-Pieter Katoen (RWTH Aachen University)

1 0

ANNOUNCE: pcre-light, a light, portable regular expression library for Haskell
by Don Stewart 13 Jan '08

13 Jan '08

pcre-light A light regular expression library, using Perl 5 compatible regexes I'm pleased to announce the first release of pcre-light. This library provides a simple, efficient interface to PCRE regular expressions, via either strict ByteStrings or classical Strings. Compilation and matching of regular expressions is done via two functions: compile :: ByteString -> [PCREOption] -> Either String Regex match :: Regex -> ByteString -> [PCREExecOption] -> Maybe [ByteString] A convenience interface for 'Char8' Strings is also provided. == Examples == Although the operations by default take ByteStrings, we can avoid unnecessary 'pack' calls using GHC's support for ByteStrings literals, enabled with -XOverloadedStrings: > :m + Text.Regex.PCRE.Light > :m + Data.ByteString.Char8 > :set -XOverloadedStrings > let Right r = compile "the quick brown fox" [] > match r "the quick brown fox" [] Just ["the quick brown fox"] > match r "the quick brown FOX" [] Nothing We can also enable various matching extensions, > let Right r = compile "the quick brown fox" [caseless] > match r "the quick brown FOX" [] Just ["the quick brown FOX"] Subpatterns, and fancy Perl regex extensions are happily supported: > let Right r = compile "^(abc){1,2}zz" [] > match r "abczz" [] Just ["abczz","abc"] Where the subpattern bound by ( ) was returned as the second element of the list. > let Right r = compile "\\w+(?=\t)" [] > match r "the quick brown\t fox" [] Just ["brown"] You can do lots of silly things with this: > let Right r = compile "^(a()+)+" [] > match r "aaaa" Just ["aaaa", "a", ""] The full set of compile and runtime PCRE extensions are supported. == Get it == * Stable tarballs, (on Hackage, of course): http://hackage.haskell.org/cgi-bin/hackage-scripts/package/pcre-light * Cabal install it! Using the new 'cabal-install', you can automatically download, build and install the package: $ cabal update $ cabal install pcre-light Downloading 'pcre-light-0.1'... Configuring pcre-light-0.1... Preprocessing library pcre-light-0.1... Building pcre-light-0.1... Registering pcre-light-0.1.. And off we go! For more information about cabal-install, see the hackage page for this excellent tool. * Darcs repository: http://code.haskell.org/~dons/code/pcre-light/ * Documentation: http://code.haskell.org/~dons/docs/pcre-light/ * Stability The library takes correctness seriously, and comes with a reasonable testsuite (with plans to greatly extend it), and code coverage data for those tests (using GHC's new -fhpc flag). You can see the test coverage results here: http://code.haskell.org/~dons/tests/pcre-light/hpc_index.html Yours in code, Don P.S. I'd like to encourage other authors to distribute code coverage results for their libraries! hpc is an invaluable tool to ensure high quality libraries for the Haskell community. P.P.S. Consider consider contributing your own light bindings to useful C libraries. The more we have, the more certain and sustainable Haskell development will be :) P.P.P.S. Thanks to #haskell for testing and advice.

1 0

ANN: Haskell Cryptographic Library 4.1.0
by Dominic Steinitz 12 Jan '08

12 Jan '08

I'd like to announce the release of a new version of the library following various contributions (contributors are bcc'd). Additions include: BubbleBabble, TEA, HMAC and more large word support. It no longer includes Base64. This is provided by http://hackage.haskell.org/cgi-bin/hackage-scripts/package/dataenc-0.10.1. Many thanks to all contributors. Dominic. PS I always mention this but the library really needs to be reviewed holistically and possibly restructured given the advent of bytestrings. If anyone would like to volunteer to do this or take over as library maintainer, please let me know.

1 0

The Monad.Reader (10) - Second call for copy
by Wouter Swierstra 11 Jan '08

11 Jan '08

Call for Copy The Monad.Reader - Issue 10 It is not too late to consider writing something for the next issue of The Monad.Reader. The deadline for Issue 10 is ** January 25, 2007 ** It doesn't matter if you're an established academic or if you have only just started learning Haskell, if you have something to say, please write article for The Monad.Reader. The Monad.Reader is a electronic magazine about all things Haskell. It is less-formal than journal, but somehow more enduring than a wiki- page. There have been a wide variety of articles, including: exciting code fragments, intriguing puzzles, book reviews, tutorials, and even half-baked research ideas. * Submission Details * Get in touch with me if you intend to submit something -- the sooner you let me know what you're up to, the better. Please submit articles for the next issue to me by e-mail (wss at cs.nott.ac.uk). Articles should be written according to the guidelines available from http://www.haskell.org/haskellwiki/The_Monad.Reader Please submit your article in PDF, together with any source files you used. The sources will be released together with the magazine under a BSD license. If you would like to submit an article, but have trouble with LaTeX please let me know and we'll sort something out. All the best, Wouter This message has been checked for viruses but the contents of an attachment may still contain software viruses, which could damage your computer system: you are advised to perform your own checks. Email communications with the University of Nottingham may be monitored as permitted by UK legislation.

1 0

SAS 2008 - Final CFP
by German Vidal 10 Jan '08

10 Jan '08

15th International Static Analysis Symposium - SAS 2008 Valencia, Spain - July 16-18 >>Just 2 days to go to the abstract submission deadline<< Important dates: Submission of abstract: January 12, 2008 Submission of full paper: January 19, 2008 Notification: March 7, 2008 Camera-ready version: April 5, 2008 Conference: July 16-18, 2008 Please see: http://www.dsic.upv.es/~sas2008/ Maria Alpuente, German Vidal (PC co-chairs) Email: sas2008(a)dsic.upv.es

1 0