- Haskell - Haskell.org

PhD position at Ghent University
by Tom Schrijvers 07 Dec '11

07 Dec '11

The Programming Languages Group of Ghent University invites applicants for a PhD position. This position centers around the modular treatment of side-effects in purely functional programs and models. It is part of the project "Modular handling of effects in purely functional programs and models" under the direction of Tom Schrijvers. The successful applicant has a master degree in Computer Science or equivalent. Ideally, she/he will also have a strong, documented interest in doing research. Strong problem-solving and programming skills are essential. Prior knowledge of purely functional programming (e.g., Haskell) and models of side-effects (e.g., monads) is an advantage. The PhD position is for 4 years. It starts between January and October 2012. The position is a fully-funded post. The salary is compatible with other Belgian PhD rates and among the better ones in Europe and abroad. For more information, see: http://users.ugent.be/~tschrijv/phdposition2.html -- prof. dr. ir. Tom Schrijvers Programming Languages Group Department of Applied Mathematics and Computer Science University of Ghent Krijgslaan 281 S9 9000 Gent Belgium Phone: +32 9 264 4805 http://users.ugent.be/~tschrijv/

1 0

FLOPS 2012: final call for papers & deadline extension
by Tom Schrijvers 05 Dec '11

05 Dec '11

Final Call For Papers ===================== _EXTENDED SUBMISSION DEADLINE : December 16, 2011_ *Eleventh International Symposium on Functional and Logic Programming (FLOPS 2012)* May 23-25, 2012 Kobe, Japan [http://www.org.kobe-u.ac.jp/flops2012/] FLOPS is a forum for research on all issues concerning declarative programming, including functional programming and logic programming, and aims to promote cross-fertilization and integration between the two paradigms. Previous FLOPS meetings were held in Fuji Susono (1995), Shonan Village (1996), Kyoto (1998), Tsukuba (1999), Tokyo (2001), Aizu (2002), Nara (2004), Fuji Susono (2006), Ise (2008), and Sendai (2010). Topics ====== FLOPS solicits original papers in all areas of functional and logic programming, including (but not limited to): - Declarative Pearls: new and excellent declarative programs with illustrative applications. - Language issues: language design and constructs, programming methodology, integration of paradigms, interfacing with other languages, type systems, constraints, concurrency and distributed computing. - Foundations: logic and semantics, rewrite systems and narrowing, type theory, proof systems. - Implementation issues: compilation techniques, memory management, program analysis and transformation, partial evaluation, parallelism. - Applications: case studies, real-world applications, graphical user interfaces, Internet applications, XML, databases, formal methods and model checking. The proceedings will be published as an LNCS volume. The proceedings of the previous meeting (FLOPS 2010) were published as LNCS 6009. PC co-Chairs ============ - Tom Schrijvers (Ghent University, Belgium) - Peter Thiemann (University of Freiburg, Germany) PC Members ========== - Salvador Abreu (University of Evora, Portugal) - Thorsten Altenkirch (University of Nottingham, UK) - Sebastian Brand (NICTA, Australia) - Giuseppe Castagna (CNRS Univ Paris 7, France) - Sebastian Fischer (Germany) - Marco Gavanelli (University of Ferrara, Italy) - Joxan Jaffar (National University of Singapore, Singapore) - Barry Jay (University of Sydney, Australia) - Andy King (University of Kent, UK) - Claude Kirchner (INRIA, France) - Neelakantan R. Krishnaswami (Microsoft Cambridge, UK) - Yulya Lierler (University of Kentucky, USA) - Keiko Nakata (Tallinn University of Technology, Estonia) - Peter Schneider-Kamp (University of Southern Denmark, Denmark) - Olin Shivers (Northeastern University, USA) - Paul Tarau (University of Northern Texas, USA) - Kazunori Ueda (Waseda University, Japan) - Meng Wang (Chalmers Technical University, Sweden) General Chair and Local co-Chairs ================================= - Naoyuki Tamura (Kobe University, Japan) - Mutsunori Banbara (Kobe University, Japan) - Katsutoshi Hirayama (Kobe University, Japan) Submission ========== Submissions must be unpublished and not submitted for publication elsewhere. Work that already appeared in unpublished or informally published workshops proceedings may be submitted. Submissions should fall into one of the following categories: - Regular research papers: they should describe new results and will be judged on originality, correctness, and significance. - System descriptions: they should contain a link to a working system and will be judged on originality, usefulness, and design. Submissions must be written in English and can be up to 15 pages long, though pearls are typically considerably shorter. Authors are required to use LaTeX2e and the Springer llncs class file, available at [http://www.springer.de/comp/lncs/authors.html] Regular research papers should be supported by proofs and/or experimental results. In case of lack of space, this supporting information should be made accessible otherwise (e.g., a link to a web page, or an appendix). Papers should be submitted electronically at [https://www.easychair.org/conferences/?conf=flops2012] Important Dates =============== - Submission deadline : December 16, 2011 (EXTENDED) - Author notification : February 3, 2012 - Camera-ready copy : March 2, 2012 Place and Related Events ======================== Takikawa Memorial Hall, Kobe University, 1-1 Rokkodai, Nada, Kobe 657-8501 Japan. The 23rd International Conference on Rewriting Techniques and Applications (RTA 2012) and satellite workshops including WFLP 2012 will be held in the week after FLOPS at Nagoya, Japan. Some Previous FLOPS =================== - FLOPS 2010, Sendai: [http://www.kb.ecei.tohoku.ac.jp/flops2010/] - FLOPS 2008, Ise: [http://www.math.nagoya-u.ac.jp/~garrigue/FLOPS2008/] - FLOPS 2006, Fuji Susono: [http://hagi.is.s.u-tokyo.ac.jp/FLOPS2006/] Sponsors ======== - Japan Society for Software Science and Technology (JSSST) SIGPPL In Cooperation with =================== - ACM SIGPLAN - Asian Association for Foundation of Software (AAFS) - Association for Logic Programming (ALP)

1 0

ANNOUNCE: Haskell Communities and Activities Report (21st ed., November 2011)
by Janis Voigtländer 04 Dec '11

04 Dec '11

On behalf of all the contributors, I am pleased to announce that the Haskell Communities and Activities Report (21st edition, November 2011) is now available in PDF and HTML formats: http://haskell.org/communities/11-2011/report.pdf http://haskell.org/communities/11-2011/html/report.html 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. I hope you will find it as interesting a read as I did. If you have not 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 sometimes 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 I 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 April 2012: target deadline for contributions to the May 2012 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 April (you could point me to them as well, and I 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! Janis Voigtlaender <hcar at haskell.org>

1 0

ANNOUNCE: monad-control-0.3
by Bas van Dijk 03 Dec '11

03 Dec '11

Hello, I just released monad-control-0.3. The package for lifting control operations (like catch, bracket, mask, alloca, timeout, forkIO, modifyMVar, etc.) through monad transformers: http://hackage.haskell.org/package/monad-control-0.3 It has a new and improved API which is: * easier to understand by explicitly representing the monadic state using type families. * 60 times faster than the previous release! * more general because control operations can now, not only be lifted from IO, but from any base monad (ST, STM, etc.) I also released a new package: lifted-base: http://hackage.haskell.org/package/lifted-base-0.1 It provides lifted versions of functions from the base library. Currently it exports the following modules: * Control.Exception.Lifted * Control.Concurrent.Lifted * Control.Concurrent.MVar.Lifted * System.Timeout.Lifted These are just modules which people have needed in the past. If you need a lifted version of some function, just ask me to add it or send me a patch. Note that Peter Simons just discovered that these packages don't build with GHC-7.0.4 (https://github.com/basvandijk/monad-control/issues/3) I just committed some fixes which enable them to be build on GHC >= 6.12.3. Hopefully I can release these fixes this weekend. Regards, Bas

1 2

CfP PAPP 2012: 9th International Workshop on Practical Aspects of High-Level Parallel Programming
by Julien Tesson 02 Dec '11

02 Dec '11

========================================================= 9th International Workshop on Practical Aspects of High-Level Parallel Programming (PAPP 2012) ========================================================= affiliated to The International Conference on Computational Science June 4-6, 2012, Omaha, USA 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 9, 2012 (firm). 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 9, 2012: Full paper due (firm) February 9, 2012: Notification March 1, 2012: Camera-ready paper due *Programme committee* Marco Aldinucci (University of Torino, Italy) Jost Berthold (University of Copenhagen, Denmark) Kento Emoto (University of Tokyo, Japan) Frédéric Gava (University Paris East Créteil, France) Alexandros Gerbessiotis (NJIT, USA) Frédéric Loulergue, chair (LIFO, University of Orléans, France) Aamir Shafi (NUST, Pakistan) Julien Tesson (Kochi University of Technology, Japan)

1 0

Harald ROTTER/DTI/SAGEM is out of the office.
by Harald ROTTER 01 Dec '11

01 Dec '11

I will be out of the office starting 30.11.2011 and will not return until 31.12.2012. Please contact Mr. Christian Krexner at christian.krexner(a)sagemcom.com # " Ce courriel et les documents qui lui sont joints peuvent contenir des informations confidentielles ou ayant un caract�re priv�. S'ils ne vous sont pas destin�s, nous vous signalons qu'il est strictement interdit de les divulguer, de les reproduire ou d'en utiliser de quelque mani�re que ce soit le contenu. Si ce message vous a �t� transmis par erreur, merci d'en informer l'exp�diteur et de supprimer imm�diatement de votre syst�me informatique ce courriel ainsi que tous les documents qui y sont attach�s." ****** " This e-mail and any attached documents may contain confidential or proprietary information. If you are not the intended recipient, you are notified that any dissemination, copying of this e-mail and any attachments thereto or use of their contents by any means whatsoever is strictly prohibited. If you have received this e-mail in error, please advise the sender immediately and delete this e-mail and all attached documents from your computer system." #

1 0

Haskell Weekly News: Issue 209
by Daniel Santa Cruz 01 Dec '11

01 Dec '11

Welcome to issue 209 of the HWN, a newsletter covering developments in the Haskell community. This release covers two weeks, from November 13 to 26, 2011. You can find the HTML version at: http://contemplatecode.blogspot.com/2011/11/haskell-weekly-news-issue-209.h… Announcements By now I'm sure you've heard about Da the lamb. [1] http://goo.gl/WF2o7 Sean Leather annouced that the next Dutch functinal programming day will take place on January 6, 2012, at the university campus "De Uithof" of Utrecht University. [2] http://goo.gl/IfVK8 Ganesh Sittampalam announced that the haskell.org committee for 2011-12 has been formed. [3] http://goo.gl/YFFsa New and Updated Projects * Gtk2Hs (Axel Simon; 0.12.2) Adjustments to Gtk2Hs to work with GHC 7.x.x. Also, looking for a part-time maintainer. [4] http://goo.gl/52M56 * iteratee-compress (Maciej Marcin Piechotka; 0.3.0.0) Provides compressing and decompressing enumerators. [5] http://goo.gl/tRAkg * Netwire (Ertugrul Soeylemez; 2.0.0) Complete rewrite. [6] http://goo.gl/HMCG8 * SBV (Levent Erkok; 0.9.22) [7] http://goo.gl/pSXGb * graphviz (Ivan Lazar Miljenovic; 2999.12.0.4). [8] http://goo.gl/JNVSV * SmallCHeck (Roman Cheplyaka; 0.5) [9] http://goo.gl/8njoh * OpenCL (Luis Cabellos; 1.0.2.2) Better error handling. [10] http://goo.gl/fphJN * clientsession (Michael Snoyman; 0.7.3.4) Major performance enhancement. [11] http://goo.gl/hCqrf Quotes of the Week * dmwit: Let's not make things better, I haven't put enough lipstick on the worse version yet. * mike-burns: Oh good, a semantic argument. Goodnight. * companion_cube: why bother with complicated abstractions like monads, when you can enjoy the taste of the sun on your skin? * applicative: clearly the trouble with haskell is plain: no inbuild syntactic support for quaternions. Wonder if *fortress* has it. * elliott: "with a lot of unicode" is like agda's @faq. "yes, agda can do that with a lot of unicode!" * [shachaf] mauke: EBCDIC? [mauke] shachaf: ah, the data encryption standard invented by IBM? * Tiwazz: It's called "Berp" because that's the sound Haskell makes after it devours a live Python. Top Reddit Stories * Typeclassopedia moved to the Haskell wiki Domain: byorgey.wordpress.com, Score: 72, Comments: 8 On Reddit: [12] http://goo.gl/pbHqr Original: [13] http://goo.gl/tWM0P * New project to support SIMD vector instructions in GHC (x86 SSE & AVX, ARM's NEON etc) Domain: hackage.haskell.org, Score: 62, Comments: 18 On Reddit: [14] http://goo.gl/JRj3o Original: [15] http://goo.gl/OcFCG * GHC 7.4 branched, what's in for Christmas? Domain: haskell.org, Score: 54, Comments: 16 On Reddit: [16] http://goo.gl/ZUN1e Original: [17] http://goo.gl/qWIhq * How to read Haskell like Python Domain: blog.ezyang.com, Score: 52, Comments: 7 On Reddit: [18] http://goo.gl/3cVXY Original: [19] http://goo.gl/nNhDI * xmonad-0.10 released! Domain: hackage.haskell.org, Score: 51, Comments: 15 On Reddit: [20] http://goo.gl/U5rry Original: [21] http://goo.gl/SIFuB * Roy - language with Hindley-Milner type system and monads that compiles to javascript Domain: roy.brianmckenna.org, Score: 43, Comments: 9 On Reddit: [22] http://goo.gl/RLK8S Original: [23] http://goo.gl/dzx8N * The Universe of Discourse : Triples and Closure and Monads Domain: blog.plover.com, Score: 42, Comments: 13 On Reddit: [24] http://goo.gl/7EDJX Original: [25] http://goo.gl/iPLnN * ANN: happstack-lite. A simpler, friendlier version of the Happstack Haskell Web Framework. What do you think? Domain: happstack.blogspot.com, Score: 35, Comments: 12 On Reddit: [26] http://goo.gl/Ii6Ch Original: [27] http://goo.gl/5wSZJ * HN/SPL - a better way to do your boring C++ job (written in Haskell) Domain: code.google.com, Score: 35, Comments: 16 On Reddit: [28] http://goo.gl/VxqIN Original: [29] http://goo.gl/9aAeZ * Fast lookup tables in haskell Domain: tab.snarc.org, Score: 34, Comments: 10 On Reddit: [30] http://goo.gl/mzgyw Original: [31] http://goo.gl/4VnrX * What Yesod Got Right Domain: yesodweb.com, Score: 34, Comments: 12 On Reddit: [32] http://goo.gl/eZhhK Original: [33] http://goo.gl/Li4mY Top StackOverflow Questions * What is a monad in FP, in categorical terms? votes: 30, answers: 7 Read on SO: [34] http://goo.gl/sC7PD * Haskell vs JVM performance [closed] votes: 24, answers: 6 Read on SO: [35] http://goo.gl/olA8g * Are there any Haskell techniques for mixed (part structure, part unmodified text) parsing & rewriting? votes: 24, answers: 1 Read on SO: [36] http://goo.gl/jRydd * STArray documentation for newbies and State/ST related questions votes: 17, answers: 1 Read on SO: [37] http://goo.gl/nw8eH * Should I avoid using Monad fail? votes: 15, answers: 3 Read on SO: [38] http://goo.gl/ruh7s * Effects of monomorphism restriction on type class constraints votes: 15, answers: 2 Read on SO: [39] http://goo.gl/QRbTh * Folding, function composition, monads, and laziness, oh my? votes: 14, answers: 2 Read on SO: [40] http://goo.gl/gped5 * Type error when ascribing a valid forall type to a let-bound variable votes: 13, answers: 2 Read on SO: [41] http://goo.gl/oyx0a * How do I organize my pure functions with my monadic actions idiomatically votes: 13, answers: 3 Read on SO: [42] http://goo.gl/6tByj * Is foldl ever preferable to its strict cousin, foldl'? votes: 13, answers: 2 Read on SO: [43] http://goo.gl/jFIe4 Until next time, Daniel Santa Cruz References 1. http://comments.gmane.org/gmane.comp.lang.haskell.cafe/93887 2. http://comments.gmane.org/gmane.comp.lang.haskell.general/19025 3. http://comments.gmane.org/gmane.comp.lang.haskell.general/19031 4. http://comments.gmane.org/gmane.comp.lang.haskell.general/19019 5. http://comments.gmane.org/gmane.comp.lang.haskell.libraries/16591 6. http://comments.gmane.org/gmane.comp.lang.haskell.cafe/93860 7. http://comments.gmane.org/gmane.comp.lang.haskell.cafe/93866 8. http://comments.gmane.org/gmane.comp.lang.haskell.cafe/93956 9. http://comments.gmane.org/gmane.comp.lang.haskell.cafe/94014 10. http://comments.gmane.org/gmane.comp.lang.haskell.cafe/94103 11. http://comments.gmane.org/gmane.comp.lang.haskell.yesod/941 12. http://byorgey.wordpress.com/2011/11/26/typeclassopedia-v2-moving-my-effort… 13. http://www.reddit.com/r/haskell/comments/mq2nr/typeclassopedia_moved_to_the… 14. http://hackage.haskell.org/trac/ghc/wiki/SIMD 15. http://www.reddit.com/r/haskell/comments/mbpoi/new_project_to_support_simd_… 16. http://www.haskell.org/pipermail/cvs-ghc/2011-November/068352.html 17. http://www.reddit.com/r/haskell/comments/mm68o/ghc_74_branched_whats_in_for… 18. http://blog.ezyang.com/2011/11/how-to-read-haskell/ 19. http://www.reddit.com/r/haskell/comments/mc2mw/how_to_read_haskell_like_pyt… 20. http://hackage.haskell.org/package/xmonad-0.10 21. http://www.reddit.com/r/haskell/comments/mhzu8/xmonad010_released/ 22. http://roy.brianmckenna.org/ 23. http://www.reddit.com/r/haskell/comments/mp245/roy_language_with_hindleymil… 24. http://blog.plover.com/math/monad-closure.html 25. http://www.reddit.com/r/haskell/comments/mfsfz/the_universe_of_discourse_tr… 26. http://happstack.blogspot.com/2011/11/ann-happstack-lite-friendly.html 27. http://www.reddit.com/r/haskell/comments/mcjoz/ann_happstacklite_a_simpler_… 28. http://code.google.com/p/inv/ 29. http://www.reddit.com/r/haskell/comments/mldzq/hnspl_a_better_way_to_do_you… 30. http://tab.snarc.org/posts/haskell/2011-11-15-lookup-tables.html 31. http://www.reddit.com/r/haskell/comments/mh1ox/fast_lookup_tables_in_haskel… 32. http://www.yesodweb.com/blog/2011/11/got-right 33. http://www.reddit.com/r/haskell/comments/mi4r7/what_yesod_got_right/ 34. http://stackoverflow.com/questions/8221395/what-is-a-monad-in-fp-in-categor… 35. http://stackoverflow.com/questions/8185282/haskell-vs-jvm-performance 36. http://stackoverflow.com/questions/8198808/are-there-any-haskell-techniques… 37. http://stackoverflow.com/questions/8197032/starray-documentation-for-newbie… 38. http://stackoverflow.com/questions/8163852/should-i-avoid-using-monad-fail 39. http://stackoverflow.com/questions/8270548/effects-of-monomorphism-restrict… 40. http://stackoverflow.com/questions/8249958/folding-function-composition-mon… 41. http://stackoverflow.com/questions/8190431/type-error-when-ascribing-a-vali… 42. http://stackoverflow.com/questions/8234162/how-do-i-organize-my-pure-functi… 43. http://stackoverflow.com/questions/8235797/is-foldl-ever-preferable-to-its-…

1 0

Call for Papers (TASE 2012)
by Huibiao Zhu 30 Nov '11

30 Nov '11

TASE 2012 - FIRST CALL FOR PAPERS *********************************************************** The Sixth IEEE International Symposium on Theoretical Aspects of Software Engineering (TASE 2012) 4-6 July 2012, Beijing, China http://selab.bjut.edu.cn/tase2012 For more information email: tase2012(a)bjut.edu.cn *********************************************************** 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 2012 is a forum for researchers from academia, industry and government to present ideas, results, and ongoing research on theoretical advances in software engineering. TASE 2012 is the sixth in a series of symposiums, sponsored by IEEE CS and IFIP. The first TASE symposium was held in Shanghai, China, in June 2007. The second TASE symposium was held in Nanjing, China, in June 2008. The third TASE symposium was held in Tianjin, China, in July 2009. The fourth TASE symposium was held in Taipei, in August 2010, and the fifth TASE symposium was held in Xi'an, China, in August 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 * Specification and Verification * Program Analysis * Software Testing * Model-Driven Engineering * Software Architectures and Design * Aspect and Object Orientation * Embedded and Real-Time Systems * Software Processes and Workflows * Component-Based Software Engineering * Software Safety, Security and Reliability * Reverse Engineering and Software Maintenance * Service-Oriented Computing * Semantic Web and Web Services * Type System and Theory * Program Logics and Calculus * Dependable Concurrency * Software Model Checking * Probability and Randomization All accepted papers will be included in IEEE Xplore and indexed by Ei Compendex. It is envisaged to invite the best tool-related contributions to a Special Section of STTT, Springer Verlag's Intern. Journal on Software Tools for Technology Transfer. General Co-Chairs: Jifeng He (East China Normal University, China) Baocai Yin (Beijing University of Technology, China) Program Co-Chairs: Tiziana Margaria (University Potsdam, Germany) Zongyan Qiu (Peking University, China) Hongli Yang (Beijing University of Technology, China) Publicity Chairs: Zongli Jiang (Beijing University of Technology) Jonathan P. Bowen (Museophile Limited) Organizing Chair: Husheng Liao (Beijing University of Technology, China) Local Arrangement Chair: Dan Wang (Beijing University of Technology, China) Program Committee Bernhard Aichernig (Graz University of Technology, AT) Richard Banach (University of Manchester, UK） Dirk Beyer (University of Passau) Lubos Brim (Masaryk University Brno - Czech Republic) Michael Butler (University of Southampton, UK) Aziem Chawdhary (Contemplate Ltd, UK) Florin Craciun (Babes-Bolyai University, Romania) Tyng-Ruey Chuang (Academica Sinica, Taiwan) Wei-Ngan Chin (National University of Singapore, Singapore) Zhenhua Duan (Xidian University, China) Joao Ferreira (Teesside University, UK) Xinyu Feng (University of Science and Technology of China) Hai-Feng Guo (University of Nebraska, Omaha) Sara Kalvala (University o Warwick, UK) Paritosh K. Pandya (Tata Institute of Fundamental Research, India) Husheng Liao (Beijing University of Technology, China) Xuandong Li (Nanjing University, China) Shaoying Liu (Hosei University, Japan) Yang Liu (National Univ. of Singapore, Singapore) Tiziana Margaria (University Potsdam, Germany, Co-Chair) Dominique Mery (Univ. Nancy, LORIA, France) Radu Mateescu (INRIA Grenoble) Huaikou Miao (Shanghai University, China) Corneliu Popeea (Technische Universit?t München, Germany) Geguang Pu (East China Normal University, China) Jun Pang (University of Luxembourg) Sungwoo Park (Pohang University of Science and Technology, Korea) Zongyan Qiu (Peking University, China, Co-Chair) Shengchao Qin (Teesside University, UK) Cristina Seceleanu (Malardalen Technical University, Sweden) Jun Sun (Singapore University of Technology and Design) Meng Sun (Peking University, China) Yih-Kuen Tsay (National Taiwan University) Hai Wang (Aston University, UK) Yi Wang (Uppsala University, Sweden) Ji Wang (National University of Defense Technology, China) Ender Yuksel (Technical University of Denmark) Hongli Yang (Beijing University of Technology, China, Co-Chair) Gianluigi Zavattaro (University of Bologna) Naijun Zhan (Chinese Academy of Sciences, China) Hongyu Zhang (Tsinghua University, China) Jian Zhang (Chinese Academy of Sciences, China) Jianjun Zhao (Shanghai Jiao Tong University, China) Xiangpeng Zhao (Microsoft ATC, China) Hong Zhu (Oxford Brookes University, UK) Huibiao Zhu (East China Normal University, China) Important Dates: January 13, 2012: Title and abstract submission deadline January 20, 2012: Paper submission deadline March 23, 2012: Acceptance/rejection notification April 13, 2012: Camera-ready version due July 4-6, 2012: TASE 2012

1 0

PADL 2012 Call for Participation
by Claudio Russo 28 Nov '11

28 Nov '11

Call for Participation ====================== 14th International Symposium on Practical Aspects of Declarative Languages (PADL 2012) http://research.microsoft.com/~crusso/padl12 Philadelphia, Pennsylvania, USA, January 23-24, 2012 Co-located with ACM POPL'12 You are cordially invited to PADL'12. 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 and constraints. PADL'12 is sponsored by Association for Logic Programming with cooperation of ACM SIGPLAN and support by Microsoft Research. Registration ============ To register for PADL'12, please follow the instructions at: https://regmaster3.com/2012conf/POPL12/register.php The early registration deadline is December 24, 2011. The registration fee will cover a copy of the symposium proceedings, refreshments, and an informal dinner. Hotel Information ================= PADL will be co-located with POPL at the Sheraton Society Hill Hotel in Philadelphia. Please visit POPL's web site to make reservations at the special conference rate. Program ======= The symposium will include invited talks by Boon Thau Loo and Don Stewart, and 19 technical papers selected from 41 submissions. The preliminary program is as follows: Invited Talk (9:00-10:00) * Boon Thau Loo Recent Advances in Declarative Networking Break (10:00-10:30) Session 1: Applications (10:30-12:00) * Mayer Goldberg and Guy Wiener A Declarative Approach for Software Modeling * Sergio Antoy and Michael Hanus Contracts and Specifications for Functional Logic Programming * Pedro M. Martins, Julie A. McCann and Susan Eisenbach The Environment as an Argument Lunch (not provided) (12:00-13:30) Session 2: Logic Programming (13:30-15:30) * Yuliya Lierler, Shaden Smith, Mirek Truszczynski and Alex Westlund Weighted-Sequence Problem: ASP vs CASP and Declarative vs Problem-Oriented Solving * Marcello Balduccini and Yuliya Lierler Practical and Methodological Aspects of the Use of Cutting-Edge ASP Tools * Christian Theil Have and Henning Christiansen Efficient tabling of structured data using indexing and program transformation * Dario Campagna, Beata Sarna-Starosta and Tom Schrijvers Optimizing Inequality Joins in Datalog with Approximated Constraint Propagation Break (15:30-16:00) Session 3: Parallelism and Concurrency (16:00-17:30) * Elvira Albert, Puri Arenas and Miguel Gomez-Zamalloa Symbolic Execution of Concurrent Objects in CLP * Pablo Chico De GuzmÃ¡n, Amadeo Casas, Manuel Carro and Manuel Hermenegildo A Segment-Swapping Approach for Executing Trapped Computations * Michael Lesniak Palovca: Describing and Executing Graph Algorithms in Haskell Informal PADL Dinner (Place: TBA) Tuesday, January 24, 2012 Breakfast (8:00-9:00) Invited Talk (9:00-10:00) * Don Stewart Make Things Now! Pragmatic Functional Programming in Haskell Break (10:00-10:30) Session 4: Domain Specific Languages I (10:30-12:00) * Kenny Zhu, Kathleen Fisher and David Walker LearnPADS++: Incremental Inference of Ad Hoc Data Formats * Jeroen Bransen, Arie Middelkoop, Atze Dijkstra and S. Doaitse Swierstra The Kennedy-Warren algorithm revisited: ordering Attribute Grammars * Nicholas Coleman Distributed Policy Specification and Interpretation with Classified Advertisements Lunch (not provided) (12:00-13:30) Session 5: Domain Specific Languages II (13:30-15:30) * Andy Gill and Bowe Neuenschwander Handshaking in Kansas Lava using Patch Logic * Daniel Winograd-Cort, Hai Liu and Paul Hudak Virtualizing Real-World Objects in FRP * Edwin Brady and Kevin Hammond Resource-safe Systems Programming with Embedded Domain Specific Languages * David Broman and Henrik Nilsson Node-Based Connection Semantics for Equation-Based Object-Oriented Modeling Languages Break (15:30-16:00) Session 6: Numerics (16:00-17:00) * Paul Tarau A Declarative Specification of Tree-based Symbolic Arithmetic Computations * Vincent St-Amour, Sam Tobin-Hochstadt, Matthew Flatt and Matthias Felleisen Typing the Numeric Tower

1 0

list problem on projects.haskell.org
by Ganesh Sittampalam 27 Nov '11

27 Nov '11

Hi, There was a problem with the mailman daemon on projects.haskell.org which meant that mail wasn't delivered from around Nov 11th till yesterday (Nov 26th). It looks like the mail was correctly queued up during that period and was all delivered when the daemon was restarted yesterday. Apologies for any inconvenience. Cheers, Ganesh

1 0