- Haskell - Haskell.org

ICFP2008 Call for Poster proposals
by Matthew Fluet (ICFP Publicity Chair) 04 Jun '08

04 Jun '08

ICFP 2008 poster session September 21, 2008 Call for presentation proposals ICFP 2008 will feature a poster session for researchers and practitioners, including students. The session will provide friendly feedback for work that is in gestation or ongoing, as well as opportunities to meet each other and exchange ideas. We welcome poster submissions on all ICFP topics, especially presentations of - applications of and to functional programming; - recent work presented at more distant venues; and - ongoing work, whether or not submitted to ICFP. There will be no formal proceedings, but presenters will be invited to submit working notes, demo code, and other materials to supplement their abstract and poster. These materials will be released informally on a Web page dedicated to the poster session. An accepted submission is not intended to replace conference or journal publication. Persons interested in presenting a poster are invited to submit a one-page abstract in SIGPLAN conference style http://www.acm.org/sigs/sigplan/authorInformation.htm to the Web site https://www.softconf.com/s08/icfp08-posters/submit.html by June 30, 2008. The program committee will review the submissions for relevance and interest, and notify the authors by July 14, 2008. Accepted posters must be presented by the authors in person on Sunday, September 21, 2008. Important dates: Submission: Monday, June 30, 2008 Notification: Monday, July 14, 2008 Presentation: Sunday, September 21, 2008 Program committee: Benjamin Pierce (University of Pennsylvania) Colin Runciman (University of York) Chung-chieh Shan (Rutgers University)

1 0

ANNOUNCE: sonic-visualiser 0.1.1
by stefan kersten 04 Jun '08

04 Jun '08

Library for reading and parsing Sonic Visualiser project files. Sonic Visualiser is available at <http://sonicvisualiser.org>. Hackage: http://hackage.haskell.org/cgi-bin/hackage-scripts/package/sonic- visualiser Darcs: http://darcs.k-hornz.de/cgi-bin/darcsweb.cgi?r=sonic- visualiser;a=summary Enjoy! <sk>

1 0

ANNOUNCE: hsndfile 0.1.1
by stefan kersten 04 Jun '08

04 Jun '08

Haskell bindings for libsndfile. Libsndfile is a comprehensive C library for reading and writing a large number of soundfile formats: <http://www.mega-nerd.com/libsndfile/>. Hackage: http://hackage.haskell.org/cgi-bin/hackage-scripts/package/hsndfile Darcs: http://darcs.k-hornz.de/cgi-bin/darcsweb.cgi?r=hsndfile;a=summary Enjoy! <sk>

1 0

Programme terminates silently
by Thomas Bevan 04 Jun '08

04 Jun '08

Hi, I've written the programme below. The lircLoop should never terminate. Unfortunately it does. Worse, no error messages are generated. Not even the final line "Closing down" is printed. How is this possible? Thanks for your help. import Hmpf.Tree as T import Control.Concurrent hiding (forkIO) import Control.Exception import Prelude hiding (catch) import Hmpf.Fork import System.Log.Logger import System.Log.Handler.Simple import System.Log.Handler import System.IO import Network.MPD import Control.Monad.Trans (liftIO) main :: IO () main = do initializeLogging lirc <- newChan lcd <- newChan startLirc device lirc startLCD "localhost" 13666 lcd forkIO logger $ mpdLoop lcd mpd catch (lircLoop lirc lcd mpd) (\e -> errorM logger "Lirc loop died" >> (errorM logger (show e))) putStrLn "Closing down"

2 1

Re: [Haskell] Announce: hback - dual n-back memory game (0.0.2)
by Gwern Branwen 03 Jun '08

03 Jun '08

> On 2008.05.30 19:44:32 +0200, Norbert Wojtowicz <wojtowicz.norbert(a)gmail.com> scribbled 0.7K characters: > I'm pleased to publically announce a little project I've worked on. > Based on a recent research paper [0] that claims fluid intelligence > could be improved by training working memory, I wrote up a dual n-back > test memory game in Haskell and gtk2hs. This is still essentially an > alpha release: all comments are most welcome. > > Original post (includes gameplay instructions): > http://pithyless.com/blog/2008/05/18/hback-haskell-n-back-memory-game/ > > Updated version (overhaul of game with some feature updates): > http://pithyless.com/blog/2008/05/30/hback-0_0_2/ > > Cabal file can be found on hackage: > http://hackage.haskell.org/packages/archive/hback/0.0.2/hback-0.0.2.tar.gz > > [0] http://www.pnas.org/cgi/content/abstract/0801268105v1 This looks fairly interesting, but I think there are a few improvements you could make: * hback does not seem to work with GHC 6.8.x/split-base - I had to add some build-depends like time,random,unix,directory to build. * hback seems to need to be run in its source directory. For example, I installed and went to try it out: hback hback b n b is the number of tests [default=20] n determines the starting n-back test [default=1] (hback:24854): libglade-WARNING **: could not find glade file 'hback.glade' hback: Can't find the glade file "hback.glade" in the current directory It worked when I cded into ~/hback though. There is a nice way to handle this problem with Cabal, FWIW (I used it when packaging Nymphaea which had the same problem with glade files): <http://neilmitchell.blogspot.com/2008/02/adding-data-files-using-cabal.html>. -- gwern Bletchley al-Askari erco AG. Bletchley DJC RG codes Operation Meta-hackers

2 1

Announce: hback - dual n-back memory game (0.0.2)
by Norbert Wojtowicz 30 May '08

30 May '08

I'm pleased to publically announce a little project I've worked on. Based on a recent research paper [0] that claims fluid intelligence could be improved by training working memory, I wrote up a dual n-back test memory game in Haskell and gtk2hs. This is still essentially an alpha release: all comments are most welcome. Original post (includes gameplay instructions): http://pithyless.com/blog/2008/05/18/hback-haskell-n-back-memory-game/ Updated version (overhaul of game with some feature updates): http://pithyless.com/blog/2008/05/30/hback-0_0_2/ Cabal file can be found on hackage: http://hackage.haskell.org/packages/archive/hback/0.0.2/hback-0.0.2.tar.gz [0] http://www.pnas.org/cgi/content/abstract/0801268105v1

1 0

PPDP'08: Call for Participation
by Elvira Albert 30 May '08

30 May '08

................................................................ ACM PPDP 2008 - Call For Participation 10th ACM-SIGPLAN International Symposium on Principles and Practice of Declarative Programming Valencia, Spain, July 15-17, 2008 **** EARLY REGISTRATION: June 10 2008 **** http://www.dsic.upv.es/~slp2008 ................................................................ SCOPE: PPDP 2008 is a forum for the declarative programming communities, gathering researchers working on logic, constraint and functional programming, but also on other programming language paradigms like visual programming, executable specification languages, database languages, AI and knowledge representation languages for the "semantic web". RELATED EVENTS: PPDP 2008 will be co-located with the 15th International Static Analysis Symposium (SAS 2008), the 18th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2008) and the 4th International Workshop on Programming Language Interference and Dependence (PLID 2008). PROGRAMME: Invited Speaker: ----------------- Michael Leuschel. Declarative Programming for Verification: Lessons and Outlook Accepted Papers: ---------------- Veronique Benzaken, Giuseppe Castagna, Dario Colazzo and Cedric Miachon. Pattern by Example: type-driven visual programming of XML queries Lunjin Lu. Inferring Precise Polymorphic Type Dependencies in Logic Programs Olaf Chitil and Thomas Davie. Comprehending Finite Maps for Algorithmic Debugging of Higher-Order Functional Programs Christian Schulte and Peter Stuckey. Dynamic Variable Elimination during Propagation Solving Thibaut Feydy, Andreas Schutt and Peter Stuckey. Global Difference Constraint Propagation for Finite Domain Solvers Romain Pchoux and Jean-Yves Marion. Characterizations of polynomial complexity with a better intensionality rinus plasmeijer, Jan Martin Jansen, Pieter Koopman and Peter Achten. Declarative Ajax and Client Side Evaluation of Workflows using iTasks Peter Thiemann and Matthias Neubauer. Macros for Context-Free Grammars Yves Bertot and Vladimir Komendantsky. Fixed point semantics and partial recursion in Coq Martin Sulzmann and Edmund Lam. Parallel Execution of Multi-Set Constraint Rewrite Rules Raphael Chenouard, Laurent Granvilliers and Ricardo Soto. Model-Driven Constraint Programming Manuel Montenegro, Ricardo Pena and Clara Segura. A Type System for Safe Memory Management and its Proof of Correctness Hendrik Decker and Davide Martinenghi. Classifying Integrity Checking Methods with regard to Inconsistency Tolerance Mauro Piccolo and Luca Paolini. Semantically Linear Programming Languages Salvador Lucas and Jose Meseguer. Order-Sorted Dependency Pairs Edison Mera, Pedro Lopez-Garcia, Manuel Carro and Manuel Hermenegildo. Towards Execution Time Estimation in Abstract Machine-Based (Logic) Languages Clara Bertolissi and Maribel Fernandez. A rewriting framework for the composition of access control policies Michael Hanus. Call Pattern Analysis for Functional Logic Programs Sonia EstÃ©vez, Antonio J. FernÃ¡ndez, Teresa HortalÃ¡ GonzÃ¡lez, Mario RodrÃguez Artalejo, Fernando Saenz-Perez and Rafael del Vado VÃrseda. Cooperation of Constraint Domains in the TOY System Brigitte Pientka and Joshua Dunfield. Programming with proofs and explicit contexts Rafael Caballero, Mario RodrÃÂguez Artalejo and Carlos A. Romero-DÃaz. Similarity-based Reasoning in Qualified Logic Programming Paulo F. Silva and Jose Oliveira. 'Galculator': Functional prototype of a Galois-connection based proof assistant Carlos Olarte and Frank D. Valencia. On the Expressivity of Universal Timed CCP: Undecidability of Monadic FLTL and Closure Operators for Security JosÃ© Morales, Manuel Carro and Manuel Hermenegildo. Comparing Tag Scheme Variations Using an Abstract Machine Generator ORGANIZATION PROGRAM CHAIR: Sergio Antoy, Portland State University SYMPOSIUM CHAIR: Elvira Albert, Complutense University of Madrid LOCAL CHAIR: Christophe Joubert, Technical University of Valencia PROGRAM COMMITTEE: Elvira Albert Complutense University of Madrid, Spain Sergio Antoy Portland State University, USA Maribel Fernandez King's College London, UK Maurizio Gabbrielli University of Bologna, Italy Neil Ghani University of Nottingham, UK Masami Hagiya University of Tokyo, Japan Joxan Jaffar National University, Singapore Claude Kirchner INRIA Bordeaux, France Herbert Kuchen University of Muenster, Germany Michael Maher NICTA and University of New South Wales, Australia Dale Miller INRIA Saclay, France Eugenio Moggi University of Genova, Italy Kostis Sagonas Uppsala University, Sweden Carsten Schurmann, IT University of Copenhagen, Denmark Peter Sestoft IT University of Copenhagen, Denmark

1 0

SecReT 2008 - Reminder
by Santiago Escobar 30 May '08

30 May '08

SecReT 2008 - CALL FOR PARTICIPATION !!! Early registration deadline: JUNE 1, 2008 !!! ******************************************************************** SecReT 2008 3rd International Workshop on Security and Rewriting Techniques http://www.dsic.upv.es/workshops/secret08 Sunday, June 22, 2008, Pittsburgh, USA Affiliated workshop of the 21st IEEE Computer Security Foundations Symposium (CSF) and the 23rd IEEE Symposium on Logic In Computer Science (LICS) The aim of this workshop is to bring together rewriting researchers and security experts, in order to foster their interaction and develop future collaborations in this area, provide a forum for presenting new ideas and work in progress, and enable newcomers to learn about current activities in this area. The workshop focuses on the use of rewriting techniques in all aspects of security. Specific topics include: authentication, encryption, access control and authorization, protocol verification, specification of policies, intrusion detection, integrity of information, control of information leakage, control of distributed and mobile code, etc. The SecReT 2008 program includes 6 regular papers and two invited talks by Jonathan Millen (MITRE,USA) and Hubert Comon (Cachan, France).

1 0

ANNOUNCE: Haskell Communities and Activities Report (14th ed., May 2008)
by Janis Voigtlaender 30 May '08

30 May '08

On behalf of the many, many contributors, we are pleased to announce that the Haskell Communities and Activities Report (14th edition, May 2008) http://www.haskell.org/communities/ is now available from the Haskell Communities home page in PDF and HTML formats. Many thanks go to all the people that contributed to this report, both directly, by sending in descriptions, and indirectly, by doing all the interesting things that are reported. We hope you will find it as interesting a read as we did. If you haven't encountered the Haskell Communities and Activities Reports before, you may like to know that the first of these reports was published in November 2001. Their goal is to improve the communication between the increasingly diverse groups, projects and individuals working on, with, or inspired by Haskell. The idea behind these reports is simple: Every six months, a call goes out to all of you enjoying Haskell to contribute brief summaries of your own area of work. Many of you respond (eagerly, unprompted, and well in time for the actual deadline ;) ) to the call. The editor collects all the contributions into a single report and feeds that back to the community. When we try for the next update, six months from now, you might want to report on your own work, project, research area or group as well. So, please put the following into your diaries now: ---------------------------------------- End of October 2008: target deadline for contributions to the November 2008 edition of the HC&A Report ---------------------------------------- Unfortunately, many Haskellers working on interesting projects are so busy with their work that they seem to have lost the time to follow the Haskell related mailing lists and newsgroups, and have trouble even finding time to report on their work. If you are a member, user or friend of a project so burdened, please find someone willing to make time to report and ask them to `register' with the editor for a simple e-mail reminder in the middle of November (you could point us to them as well, and we can then politely ask if they want to contribute, but it might work better if you do the initial asking). Of course, they will still have to find the ten to fifteen minutes to draw up their report, but maybe we can increase our coverage of all that is going on in the community. Feel free to circulate this announcement further in order to reach people who might otherwise not see it. Enjoy! Andres Loeh and Janis Voigtlaender <hcar at haskell.org> -- Dr. Janis Voigtlaender http://wwwtcs.inf.tu-dresden.de/~voigt/ mailto:voigt@tcs.inf.tu-dresden.de

1 0

Current maintainer of the VTY package?
by Corey O'Connor 30 May '08

30 May '08

Hi, Does anybody know the current maintainer of the VTY package? http://hackage.haskell.org/cgi-bin/hackage-scripts/package/vty I have a patch to resolve an issue I was running into while using the Yi editor. I attempted to Stefan O'Rear <stefanor(a)cox.net> but received no reply. The suspicion is that he is no longer the maintainer of this package. -- -Corey O'Connor

2 2