May 2010 - Haskell - Haskell.org

2nd Call for Papers: VSTTE workshops on Theory and on Experiments & Tools
by Gudmund Grov 04 May '10

04 May '10

------ Apologies for multiple copies ------ VSTTE 2010: Workshops on Theories, Tools and Experiments Edinburgh, Scotland, 19th August 2010 The Third International Conference on Verified Software: Theories, Tools, and Experiments (VSTTE) is part of the Verified Software Initiative (VSI), a fifteen-year, cooperative, international project directed at the scientific challenges of large-scale software verification. VSTTE will host two workshops: * VS-Theory focuses on theoretical foundations of software verification. Topics range from the difficult and essential study of soundness of delicate proof methods, to the discovery of new specification techniques and proof methods, to dramatic simplification or unification of existing methods, to as yet unknown breakthroughs. * VS-Tools & Experiments focuses on the development of verification tools and their experimental evaluation. Topics include interfaces between tools, tool integration platforms, and case studies. The workshops will provide a forum to present new, possibly unfinished work and will also give the opportunity to propose research challenges, which will help form a research agenda for the Verified Software Initiative. For further details, see the workshop web site: http://www.macs.hw.ac.uk/vstte10/Workshops.html Submissions Papers must be written in English using Springer LNCS style. The page limit is 10 pages for technical papers and 5 pages for proposals of verification challenges. The proceedings will be published as a technical report. Details on the submission process are available at http://www.macs.hw.ac.uk/vstte10/Workshops.html. Important Dates Submission: May 21, 2010 Notification: June 25, 2010 Final version: July 23, 2010 Workshops: August 19, 2010, 9am-1pm Chairs * VS-Theory is co-chaired by David Naumann, Stevens Institute of Technology, USA and Hongseok Yang, Queen Mary, University of London, UK * VS-Tools & Experiments is co-chaired by Tiziana Margaria, University of Potsdam, Germany and Rajeev Joshi, NASA/JPL Laboratory for Reliable Software, USA -- The University of Edinburgh is a charitable body, registered in Scotland, with registration number SC005336.

1 0

ANNOUNCE: happstack 0.5.0
by Jeremy Shaw 03 May '10

03 May '10

(Note: Reply-to is set to haskell-cafe(a)haskell.org) Hello, I am very pleased to announce Happstack 0.5.0. It should install cleanly from hackage via: cabal install happstack If it does not, please report errors to the happstack mailing list: http://groups.google.com/group/HAppS (You will, unfortunately, need to be subscribed due to SPAM issues). Here are the official release notes: Release Notes: This release should fix many (hopefully all) known cabal install related issues. It also includes many other improvements detailed below. Known issues: * dropped support for GHC 6.8. GHC 6.10 and 6.12 currently supported. * happstack-data compiled with -O0 due to bug in cabal http://thread.gmane.org/gmane.comp.lang.haskell.cafe/69215 You may be able to change that to -O2 if you first do: cabal install --reinstall syb-with-class --disable-documentation But we need a solution that works automatically when people run, cabal install happstack. Changes since 0.4.1: * many IxSet improvements by Gracjan Polak - hide IxSet constructor. use ixSet instead. - improved efficiency of gteTLE, getGTE, and getRange - get rid of Dynamic, just use Data.Typeable (internal change) - added deleteIx - Eq and Ord instances for IxSet - removed a bunch of cruft - greatly improved documentation - added stats function - Protect user from using unindexed keys in searches in IxSet - Runtime safeguard for badly formed inferIxSet indexes - Fixed IxSet Default instance - More detailed error messages in IxSet * work around bug in bytestring which causes the server to hang (http://hackage.haskell.org/trac/ghc/ticket/3808) * support for uincode Text and lazy Text types - Serialize/Version instances now provided automatically by happstack-data - instances of EmbedAsChild and EmbedAsAttr for Text for Identity, IdentityT, ServerPartT, and WebT. - patches sent upstream to HSP, waiting on acceptance * Added Serialize/Version instances for time / Data.Time library * Improvements to GuestBook demo by Gracjan Polak - better handling of Ctrl-C - simplified .cabal to only build executable * Improvements to GuestBook demo by Gracjan Polak - nice command line interface with help message and version information - restructured parsing of command line to make it scale better with further parameters - added reference to Paths_guestbook module to enable incorporating version and path information generated by cabal. - added withLogger transformer guaranteeing clean setup and teardown of loggers - Added clean shutdown to logging component. * fail instance for WebT now includes location of pattern match failure. e.g. src\AppControl.hs:43:24: Pattern match failure in do expression * added expireCookie function * Improvements to documentation * Additional test cases * Fixes many build failures * Experimental: Added proof of concept port of happstack-server to WAI. http://www.haskell.org/pipermail/haskell-cafe/2010-March/ 074142.html * added 'dirs' guard. (Similar to dir, but for a list of path components). * set SO_KEEPALIVE so that dropped connections will eventually time out * happstack-util only depends on QuickCheck when compiled with -ftests. This is wrong but solves a lot of annoy install failures. * file serve functions now use MonadPlus instead of setting explicit 404 * XMLMetaData for webHSP * Allow colons in cookie names Contributors: A big thanks to everyone who contributed patches for this release, including: Gracjan Polak (25 patches in this release!) Simon Meier Paulo Tanimoto Joachim Fasting Antoine Latter Simon Michael Adam Vogt Joe Edmonds Andrea Vezzosi Nils Schweinsberg

1 0

CfP: 20th WADT - deadline extended to May, 10th
by Till Mossakowski 03 May '10

03 May '10

[sorry if you receive this more than once] CALL FOR PAPERS DEADLINE FOR TWO-PAGE ABSTRACTS EXTENDED TO MAY, 10th WADT 2010 20th International Workshop on Algebraic Development Techniques July 1-4, 2010, Etelsen, Germany http://www.informatik.uni-bremen.de/WADT2010/ Aims and Scope: The algebraic approach to system specification encompasses many aspects of the formal design of software systems. Originally born as formal method for reasoning about abstract data types, it now covers new specification frameworks and programming paradigms (such as object-oriented, aspect-oriented, agent-oriented, logic and higher-order functional programming) as well as a wide range of application areas (including information systems, concurrent, distributed and mobile systems). The workshop will provide an opportunity to present recent and ongoing work, to meet colleagues, and to discuss new ideas and future trends. Topics of interest: Typical, but not exclusive topics of interest are: - Foundations of algebraic specification - Other approaches to formal specification, including process calculi and models of concurrent, distributed and mobile computing - Specification languages, methods, and environments - Semantics of conceptual modelling methods and techniques - Model-driven development - Graph transformations, term rewriting and proof systems - Integration of formal specification techniques - Formal testing and quality assurance, validation, and verification INVITED SPEAKERS Hans-Dieter Ehrich, Institut f\"ur Informationssysteme, Braunschweig Frantisek Plasil, Charles University, Prague Martin Wirsing, Ludwig-Maximilians-Universit\"at, M\"unchen IMPORTANT DATES Submission deadline for abstracts: May 10, 2010 Notification of acceptance: May 23, 2010 Final abstract due: June 13, 2010 Workshop: July 1-4, 2010 Workshop Format and Location: The workshop will take place over four days, Thursday to Sunday, at Schloss Etelsen, www.schloss-etelsen.de, a castle located near Bremen. Presentations will be selected on the basis of submitted abstracts. Three talks will be given by invited speakers. Submissions: The scientific program of the workshop will include presentations of recent results and ongoing research. The presentations will be selected by the Steering Committee on the basis of the submitted abstracts according to originality, significance, and general interest. The abstracts have to be submitted electronically according to the instructions published on the workshop web site. The final versions of the selected abstracts will be included in a hand-out for the workshop participants. After the workshop, selected authors will be invited to submit full papers for the refereed proceedings, which is expected to be published as a volume of Lecture Notes in Computer Science (Springer Verlag). Sponsorship: The workshop takes place under the auspices of IFIP WG 1.3, and is sponsored by IFIP TC1, University of Bremen, and DFKI GmbH. The event is organized by the Computer Science Department of the University of Bremen and the DFKI Bremen group Safe and Secure Cognitive Systems. WADT Steering Committee: Michel Bidoit (France) Andrea Corradini (Italy) Jos\'e Fiadeiro (UK) Rolf Hennicker (Germany) Hans-J\"org Kreowski (Germany) Till Mossakowski (Germany) [chair] Fernando Orejas (Spain) Francesco Parisi-Presicce (Italy) Andrzej Tarlecki (Poland) PROCEEDINGS The abstracts accepted for presentation will be available at the workshop. Refereed LNCS proceedings are planned for full versions of submissions solicited after the workshop. CONTACT WADT 2010 Fachbereich 3 Mathematik und Informatik Enrique-Schmidt-Str. 5 D-28359 Bremen, Germany Phone: +49 421 218 64226 Fax: +49 421 218 98 64226 Email: wadt2010(a)informatik.uni-bremen.de

1 0

WGP 2010 Second Call for Papers (Apologies for multiple copies)
by Bruno Oliveira 02 May '10

02 May '10

====================================================================== CALL FOR PAPERS WGP 2010 6th ACM SIGPLAN Workshop on Generic Programming Baltimore, Maryland, US Sunday, September 26th, 2010 http://osl.iu.edu/wgp2010 Collocated with the International Conference on Functional Programming (ICFP 2010) ====================================================================== Goals of the workshop --------------------- Generic programming is about making programs more adaptable by making them more general. Generic programs often embody non-traditional kinds of polymorphism; ordinary programs are obtained from them by suitably instantiating their parameters. In contrast with normal programs, the parameters of a generic program are often quite rich in structure; for example they may be other programs, types or type constructors, class hierarchies, or even programming paradigms. Generic programming techniques have always been of interest, both to practitioners and to theoreticians, and, for at least 20 years, generic programming techniques have been a specific focus of research in the functional and object-oriented programming communities. Generic programming has gradually spread to more and more mainstream languages, and today is widely used in industry. This workshop brings together leading researchers and practitioners in generic programming from around the world, and features papers capturing the state of the art in this important area. We welcome contributions on all aspects, theoretical as well as practical, of * polytypic programming, * programming with dependent types, * programming with type classes, * programming with (C++) concepts, * generic programming, * programming with modules, * meta-programming, * adaptive object-oriented programming, * component-based programming, * strategic programming, * aspect-oriented programming, * family polymorphism, * object-oriented generic programming, * and so on. Organizers ---------- Co-Chair Bruno C. d. S. Oliveira, Seoul National University Co-Chair Marcin Zalewski, Indiana University Programme Committee ------------------- Alley Stoughton, Kansas State University Andrei Alexandrescu, Facebook Bruno C. d. S. Oliveira (Co-Chair), Seoul National University Doug Gregor, Apple Gilad Bracha, I am a Computational Theologist Emeritus Magne Haveraaen, Universitetet i Bergen Marcin Zalewski (Co-Chair), Indiana University Neil Mitchell, Standard Chartered Ralf Lämmel, University of Koblenz-Landau Shin-Cheng Mu, Academia Sinica Thorsten Altenkirch, University of Nottingham Ulf Norell, Chalmers University Important Information --------------------- We plan to have formal proceedings, published by the ACM. Submission details Deadline for submission: Sunday 2010-06-13 Notification of acceptance: Monday 2010-07-12 Final submission due: Tuesday 2010-07-27 Workshop: Sunday 2010-09-26 Authors should submit papers, in postscript or PDF format, formatted for A4 paper, to the WGP09 EasyChair instance by 13th of June 2010. The length should be restricted to 12 pages in standard (two-column, 9pt) ACM format. Accepted papers are published by the ACM and will additionally appear in the ACM digital library. History of the Workshop on Generic Programming ---------------------------------------------- This year: * Baltimore, Maryland, US 2010 (affiliated with ICFP10) Earlier Workshops on Generic Programming have been held in * Edinburgh, UK 2009 (affiliated with ICFP09) * Victoria, BC, Canada 2008 (affiliated with ICFP), * Portland 2006 (affiliated with ICFP), * Ponte de Lima 2000 (affiliated with MPC), * Marstrand 1998 (affiliated with MPC). Furthermore, there were a few informal workshops * Utrecht 2005 (informal workshop), * Dagstuhl 2002 (IFIP WG2.1 Working Conference), * Nottingham 2001 (informal workshop), There were also (closely related) DGP workshops in Oxford (June 3-4 2004), and a Spring School on DGP in Nottingham (April 24-27 2006, which had a half-day workshop attached). Additional information: The WGP steering committee consists of J Gibbons, R Hinze, P Jansson, J Jarvi, J Jeuring, B Oliveira, S Schupp and M Zalewski

1 0