March 2010 - Haskell - Haskell.org

ANN: Three package announcements
by Mario Blažević 22 Mar '10

22 Mar '10

There are three new packages on Hackage: - monad-parallel 0.5 (http://hackage.haskell.org/package/monad-parallel) - monad-coroutine 0.5 (http://hackage.haskell.org/package/monad-coroutine) - Streaming Component Combinators 0.5 (http://hackage.haskell.org/package/scc) The first two packages are completely new. Their functionality has been present in SCC 0.4, but I thought they might be useful on their own. I'm keeping all the version numbers in sync for now, and the source code for all three packages is in a single Darcs repository at http://code.haskell.org/SCC/. The monad-parallel library defines two Monad subclasses, MonadParallel and MonadFork, that enable monadic computations to be executed in parallel and their results combined. The library also exports a subset of the Control.Monad interface (ap, sequence, and related functions), adjusted to exploit the parallelism. The only currently defined MonadParallel instances are IO, Maybe, [], and Identity. More instances could be added, but I didn't want the package to depend on MTL or transformers. The library design was heavily influenced by the discussion in this Cafe thread: http://www.mail-archive.com/haskell-cafe@haskell.org/msg68581.html The monad-coroutine package exports a generic monad transformer Coroutine: Functor s => MonadTrans (Coroutine s). A Coroutine-transformed monad can suspend at any point, returning its resumption wrapped in the functor s. There are also some functions for manipulating and running coroutines, as well as a couple of useful suspension functors such as Yield and Await. Finally, version 0.5 of Streaming Component Combinators (a.k.a. SCC) comes with some significant code refactoring (as the two aforementioned packages prove), simplifications, and performance enhancements. No new features have been added since the 0.4 release.

1 0

ANNOUNCE: AusHac2010
by Ivan Lazar Miljenovic 22 Mar '10

22 Mar '10

Dreading the end of ZuriHac? Wish the Haskellian camaraderie could continue? Well, if you're able to make your way to Sydney, Australia between the 16th and 18th of July, then AusHac2010 is for _you_! It will be held at the School of Computer Science and Engineering at the University of New South Wales (thanks to Manuel Chakravarty and Ben Lippmeier for offering to organise the rooms!). If you are wanting to attend the inaugural Australian Hackathon, please register at http://axman6.wufoo.com/forms/aushac-2010-sign-up/ . For more information, see http://www.haskell.org/haskellwiki/AusHac2010 We will shortly be adding an extended version of the "Who" table; please also add your details there as well as which projects you would be interested in hacking in. Hoping to see you there! -- Ivan Lazar Miljenovic Ivan.Miljenovic(a)gmail.com IvanMiljenovic.wordpress.com

1 0

Open Postdoc and PhD positions at University of Marburg, Germany
by Klaus Ostermann 22 Mar '10

22 Mar '10

There are open PostDoc and PhD positions in the "Programming Languages and Software Engineering" group at Philipps-Universität Marburg. Potential topics for these positions include, but are not limited to: - software architecture and design techniques - aspect-oriented and feature-oriented programming - code generation and compiler techniques - domain-specific languages - object-oriented programming - functional programming - program analysis and verification - compilers and virtual machines - type systems - mathematical foundations of programming Marburg is a beautiful small town in Hesse, Germany, with one of the oldest universities in Germany. The positions are well-paid (according to standard German scalary scales), have few (teaching) obligations, and include a lot of freedom to develop one's own research program. Fluency in German is not required. Please send informal enquiries to: Klaus Ostermann Contact data available at: http://www.informatik.uni-marburg.de/~kos/

1 0

Call for Papers (ICFEM 2010)
by Huibiao Zhu 21 Mar '10

21 Mar '10

*************************************************************** ICFEM 2010 12th International Conference on Formal Engineering Methods *** Call For Papers *** Nov 16-19, 2010 Shanghai, China http://www.sei.ecnu.edu.cn/icfem2010/ *************************************************************** ICFEM brings together 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 2010 will be organized by Software Engineering Institute, East China Normal University. Any inquiries can be sent to icfem2010(a)sei.ecnu.edu.cn. 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: Formal model-based development and code generation Abstraction and refinement Formal specification and modelling Software verification Formal approaches to software testing Software model checking Formal methods for object and component systems Analysis and models for concurrency Formal methods for cloud computing Tool development and integration Software safety, security and reliability Experiments involving verified systems Applications of formal methods 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). A website for uploading papers linked to the conference webpage (http://www.sei.ecnu.edu.cn/icfem2010/) will be open at the appropriate time. All queries should be sent to the e-mail address icfem2010(a)sei.ecnu.edu.cn. IMPORTANT DATES May 28, 2010: Abstract submission deadline June 4, 2010: Full-paper submission deadline July 30, 2010: Acceptance/rejection notification August 13, 2010: Final version due ORGANIZATION COMMITTEE Conference Chair: Jifeng He (East China Normal University, China) Program Co-Chairs: Jin Song Dong (National University of Singapore, Singapore) Huibiao Zhu (East China Normal University, China) PROGRAM COMMITTEE Luca Aceto (Reykjavik University, Iceland) Farhad Arbab (CWI and Leiden University, The Netherlands) Nazareno Aguirre (Universidad Nacional de Río Cuarto, Argentina) Bernhard Aichernig (Graz University of Technology, Austria) Keijiro Araki (Kyushu University, Japan) Richard Banach (University of Manchester , UK) Jonathan Bowen (University of Westminster, UK) Karin Breitman (Pontifical Catholic University of Rio de Janeiro, Brazil) 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) Jim Davies (Oxford University, UK) Jin Song Dong ((National University of Singapore, Singapore, Co-Chair) Zhenghua Duan (Xidian University, China) Colin Fidge (Queensland University of Technology, Australia) John Fitzgerald (Newcastle University, UK) Joaquim Gabarro (Universitat Politècnica de Catalunya, Spain) Stefania Gnesi (Istituto di Scienza e Tecnologie dellInformazione A. Faedo, Italy) Mike Hinchey (University of Limerick, Ireland) Thierry Jeron (INRIA , France) Gerwin Klein (NICTA, Australia) Kim Larsen (Aalborg University, Denmark) Michael Leuschel (Heinrich-Heine Universität Düsseldorf, Germany) Xuandong Li (Nanjing University, China) Shaoying Liu (Hosei University, Japan) Zhiming Liu (UNU/IIST, Macau) Tiziana Margaria (University of Potsdam, Germany) Brendan Mahony (DSTO, Australia) Tom Maibaum (McMaster University, Canada) Dominique Mery (LORIA & Université Henri Poincaré Nancy 1, France) Huaikou Miao (Shanghai University, China) David Naumann (Stevens Institute of Technology, USA) Flemming Nielson (Technical University of Denmark, Denmark) Jun PANG (University of Luxembourg, Luxembourg) Geguang Pu (East China Normal University, China) Anders P. Ravn (Aalborg University, Denmark) Shengchao Qin (Durham University, UK) Zongyan Qiu (Peking University, China) Augusto Sampaio (Universidade Federal de Pernambuco, Brazil) Graeme Smith (University of Queensland, Australia) Jing Sun (University of Auckland, New Zealand) Jun Sun (National University of Singapore, Singapore) Yih-Kuen Tsay (National Taiwan University, Taiwan) Kenji Taguchi (National Institute of Informatics, Japan) T.H. Tse (University of Hong Kong, Hong Kong) Sergiy Vilkomir (East Carolina University, USA) Heike Wehrheim (University of Paderborn, Germany) Wang Yi (Uppsala University, Sweden) Hai Wang (Aston University, UK) Ji Wang (National University of Defense Technology, China) Xu Wang (UNU/IIST, Macau) Jim Woodcock (University of York, UK) Jian Zhang (Chinese Academy of Sciences, China) Huibiao Zhu, China (East China Normal University, China, Co-Chair) 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

Call for Praatjes: Dutch HUG Day
by Sean Leather 20 Mar '10

20 Mar '10

>From ZuriHac, we bring you... *Call for Praatjes: Dutch HUG Day* To celebrate our first anniversary, the Dutch Haskell Users Group (HUG) invites Haskell and functional programming enthusiasts in the Netherlands and surrounding area to a short symposium. The Dutch HUG is an informal group with monthly meetings including talks on novel applications of Haskell and socializing in the neighborhood pub. The group was founded on Sunday, April 19, 2009 at the Haskell Hackathon hosted in Utrecht. After a successful year, we will continue the trend with the Dutch HUG Day. The Dutch HUG Day will be held in Utrecht on the afternoon of Saturday, April 24, 2010. The actual location is not confirmed; however, we will send out a notice as soon as it is known. *PRAATJE PROPOSALS* We seek people to give talks or "praatjes" in Dutch. The topic can cover anything in the functional programming or, more specifically, Haskell world. It may be your latest pet project, current research, or simply a demonstration of something cool that you found. The audience will be coming with a broad range of backgrounds, so praatjes should be oriented towards people having a general knowledge of Haskell programming. You can choose from one of the formats and topics below, or feel free to suggest something different. If you are interested in presenting, please send your proposal to Sean Leather by Saturday, April 3. More details are below. *FORMATS* - Talks (20 min) - Tutorials (25 min) - Lightning talks (5 min) - Demos (5 min) *TOPICS* - Development or design of a library or application - Comparison of libraries, applications, or languages - Lead a focused discussion (e.g. web programming options in Haskell) - Functional pearl (a "fun" talk) - Current research topic - Functional programming in industry - Experience report - Your favorite piece of software (and why) - Anything else (related to Haskell or functional programming) that you find interesting *IMPORTANT DATES* Praatje Proposal Deadline: Saturday, April 3 Dutch HUG Day: Saturday, April 24 *CONTACT* Send your proposal to Sean Leather: leather(a)cs.uu.nl Dutch HUG: http://dutchhug.nl/ Dutch HUG Day: http://dutchhug.nl/DutchHugDay/

1 0

ICE 2010: Final call for papers (Submission deadline extended!)
by xana＠di.uminho.pt 19 Mar '10

19 Mar '10

[- Apologies for cross-postings -] 3rd Interaction and Concurrency Experience ICE 2010: Guaranteed Interactions Satellite workshop of DisCoTec 2010 10th of June 2010 Amsterdam, The Netherlands http://www.artist-embedded.org/artist/-ICE-10-.html *************************************** *** Submission deadline extended! *** *************************************** === Highlights === - Invited talks by Tom A. Henzinger (IST, Austria) and Joost-Pieter Katoen (RWTH Aachen University, Germany) - Innovative selection procedure - Travel grants for young researchers === Important Dates === - Abstract submission: 29 March 2010 - Full paper submission: 05 April 2010 (hard deadline) - Reviews, rebuttal and PC discussion: 06-28 April 2010 - Notification to authors: 30 April 2010 === Scope === Interaction and Concurrency Experiences (ICEs) is a series of international scientific meetings oriented to theoretical computer science researchers with special interest in models, verification, tools and programming primitives for complex interactions. The general scope is to include theoretical and applied aspects of interactions and the synchronization mechanisms used among actors of concurrent/distributed systems, but every experience will focus on a different specific topic which affects several areas of computer science. The theme of ICE'10 is ***Guaranteed Interactions***, like guaranteeing safety, responsiveness, quality of service levels or satisfaction of analysis hypotheses. In this context, coordination can be viewed as imposing constraints on the interaction among the actors. Such constraints and guarantees of their satisfaction play an important role in the analysis of distributed systems. In order to provide such guarantees, a number of directions are being explored to develop appropriate models, methodologies and tools, like behavioural types, component-based model checking, assume-guarantee and ?by construction? techniques such as glue synthesis. Considering interaction as a first class entity is crucial for overcoming complexity issues of distributed systems, such as state space explosion. Topics of interest include, but shall not be limited to: - logic and types for interactions - concurrent models and semantics - techniques and tools for specification, analysis, verification of guaranteed interaction - programming primitives for interactions - languages, protocols and mechanisms for sound coordination - "by construction" guarantees for interaction - expressiveness results - formal contract languages - disciplined interactions inspired by emerging computational models (systems biology, quantum computing, etc.) === Selection Procedure === The workshop proposes an innovative paper selection mechanism based on an interactive discussion amongst authors and PC members. As witnessed by the past two editions of ICE, this considerably improves the accuracy of the feedback from reviews, the fairness of the selection, the quality of accepted papers, and the discussion during the workshop. During the review phase, each submitted paper is published on a Wiki and associated with a discussion forum whose access will be restricted to the authors and to all the PC members not in conflict of interests. The PC members post comments / questions which the authors shall reply to. === The Public Wiki === After the notification, the accepted papers will be published on a public forum, the rationale being to initiate public discussions that will trigger and stimulate the scientific debate of the workshop. We argue that this will drive the workshop discussions and let perspective participants to interact with each other well in advance with respect to the modus operandi of more traditional events. === Submission Guidelines === Papers must report previously unpublished work and not be simultaneously submitted to other conferences / workshops with refereed proceedings. The ICE'10 post-proceedings will be published in Electronic Proceedings in Theoretical Computer Science (http://eptcs.org/) Depending on the quality of submissions a special issue in a journal will be considered. Submissions must be made electronically in PDF format via EasyChair (http://www.easychair.org/conferences/?conf=ice2010) and should not exceed 15 pages with EPTCS style (http://style.eptcs.org/) Accepted papers must be presented at the workshop by one of the authors. === Program Committee === - Paolo Baldan (University of Padova, Italy) - Ananda Basu (Verimag, France) - Karthik Bhargavan (INRIA, France) - Simon Bliudze (CEA LIST, France; co-chair) - Andrea Bracciali (CNR, Italy) - Roberto Bruni (University of Pisa, Italy; co-chair) - Pierre-Malo Deniélou (Imperial College London, UK) - Erik de Vink (Technische Universiteit Eindhoven, Netherlands) - Laurent Doyen (ENS Cachan, France) - Carlo Furia (ETH Zurich, Switzerland) - Fabio Gadducci (University of Pisa, Italy) - Julian Gutierrez (University of Edinburgh, UK) - Thomas Hildebrandt (IT University of Copenhagen, Denmark) - Daniel Hirschkoff (ENS Lyon, France) - Barbara Jobstmann (CNRS/Verimag, France) - Ivan Lanese (University of Bologna, Italy) - Alberto Lluch Lafuente (IMT Lucca, Italy) - Hernan Melgratti (University of Buenos Aires, Argentina) - Madhavan Mukund (Chennai Mathematical Institute, India) - Dejan Nickovic (IST, Austria) - Sophie Quinton (Verimag, France) - Alexandra Silva (CWI, Netherlands) - Pawel Sobocinski (University of Southampton, UK) - Ana Sokolova (University of Salzburg, Austria) - Paola Spoletini (University of Insubria, Italy) - Emilio Tuosto (University of Leicester, UK) - Hugo Torres Vieira (New University of Lisbon, Portugal) === ICEcreamers === - Simon Bliudze (CEA LIST, France; co-chair) - Roberto Bruni (University of Pisa, Italy; co-chair) - Davide Grohmann (Universita' di Udine; website and discussion forum) - Alexandra Silva (CWI, Netherlands; local arrangements) === Contact === Please write to <ice2010(a)di.unipi.it> for any additional information you may need. === Previous editions === The previous two editions of ICE have been held in: - Reykjavik, Iceland, on July 6th, 2008, with focus on Synchronous and Asyn- chronous Interactions in Concurrent/Distributed Systems, co-located with ICALP?08 (http://ice08.dimi.uniud.it/) The post proceedings were published in ENTCS (vol.229-3). - Bologna, Italy, on August 31st, 2009, with focus on Structured Interactions, co-located with CONCUR?09 (http://ice09.dimi.uniud.it/) The post proceedings were published in EPTCS (vol.12) and a special issue of MSCS is now in preparation. === Sponsors === * CEA LIST (http://www-list.cea.fr) * ArtistDesign network of excellence (http://www.artist-embedded.org) * Institute for Programming research and Algorithmics (IPA - http://www2.win.tue.nl/ipa/) . ---------------------------------------------------------------- This message was sent using IMP, the Internet Messaging Program.

1 0

CFPapers: 22nd Symposium on Implementation and Applications of Functional Languages (IFL 2010)
by jur 19 Mar '10

19 Mar '10

CALL FOR PAPERS 22nd Symposium on Implementation and Applications of Functional Languages (IFL 2010) September 1-3, 2010 Utrecht University Alphen aan den Rijn, The Netherlands http://www.cs.uu.nl/wiki/bin/view/IFL2010/WebHome After a first successful visit to the USA, the Symposium on Implementation and Applications of Functional Languages returns to Europe for its 22nd edition. The hosting institution is Utrecht University in the Netherlands, although the conference itself will take place in the ornithological theme park Avifauna in Alphen aan den Rijn, situated conveniently close to Schiphol (Amsterdam Airport). The symposium dates are September 1-3, 2010. The goal of the IFL symposia is to bring together researchers actively engaged in the implementation and application of functional and function-based programming languages. IFL 2010 will be a venue for researchers to present and discuss new ideas and concepts, work in progress, and publication-ripe results related to the implementation and application of functional languages and function-based programming. Following the IFL tradition, IFL 2010 will use a post-symposium review process to produce formal proceedings which will be published by Springer Verlag in the Lecture Notes in Computer Science series. All participants in IFL 2010 are invited to submit either a draft paper or an extended abstract describing work to be presented at the symposium. At no time may work submitted to IFL be simultaneously submitted to other venues. Here we follow the ACM Sigplan republication policy as defined on http://www.sigplan.org/republicationpolicy.htm. The submissions will be screened by the program committee chair to make sure they are within the scope of IFL, and will appear in the draft proceedings distributed at the symposium. Submissions appearing in the draft proceedings are not peer-reviewed publications. After the symposium, authors will be given the opportunity to incorporate the feedback from discussions at the symposium and will be invited to submit a revised full article for the formal review process. These revised submissions will be reviewed by the program committee using prevailing academic standards to select the best articles, which will appear in the formal proceedings. INVITED SPEAKER Johan Nordlander of Lulea University, the designer and developer of the Timber language, is the invited speaker at IFL 2010. Timber is a functional programming language that draws some of its concepts from object-oriented programming, and has built-in facilities for concurrent execution. The language is specifically targeted at implementing real-time embedded systems. TOPICS IFL welcomes submissions describing practical and theoretical work as well as submissions describing applications and tools. If you are not sure that your work is appropriate for IFL 2010, please contact the PC chair at jur(a)cs.uu.nl. Topics of interest include, but are not limited to: language concepts type checking contracts compilation techniques staged compilation runtime function specialization runtime code generation partial evaluation (abstract) interpretation generic programming techniques automatic program generation array processing concurrent/parallel programming concurrent/parallel program execution functional programming and embedded systems functional programming and web applications functional programming and security novel memory management techniques runtime profiling and performance measurements debugging and tracing virtual/abstract machine architectures validation and verification of functional programs tools and programming techniques industrial applications of functional programming PAPER SUBMISSIONS Prospective authors are encouraged to submit papers or extended abstracts to be published in the draft proceedings and to present them at the symposium. All contributions must be written in English, conform to the Springer-Verlag LNCS series format and not exceed 16 pages. The draft proceedings will appear as a technical report of the Department of Computer Science of Utrecht University. PETER LANDIN PRIZE The Peter Landin Prize is awarded to the best paper presented at the symposium every year. The honored article is selected by the program committee based on the submissions received for the formal review process. The prize carries a cash award equivalent to 150 Euros. IMPORTANT DATES Draft proceedings submission deadline July 25, 2010 Registration deadline August 1, 2010 IFL 2010 Symposium September 1-3, 2010 Submission for review process deadline October 25, 2010 Notification Accept/Reject December 22, 2010 Camera ready version February 17, 2011 PROGRAM COMMITTEE Jost Berthold University of Copenhagen (DIKU), Denmark Olaf Chitil University of Kent, UK John Clements California Polytechnic State University, USA Matthew Fluet Rochester Institute of Technology, USA Andy Gill Kansas University, USA Jurriaan Hage (Chair) University of Utrecht, Netherlands Bastiaan Heeren Open University, Netherlands Ralf Hinze University of Oxford, UK John Hughes Chalmers University of Technology, Sweden Yukiyoshi Kameyama University of Tsukuba, Japan Gabriele Keller University of New South Wales, Australia Pieter Koopman Radboud University Nijmegen, Netherlands Luc Maranget INRIA, France Simon Marlow Microsoft Research, UK Marco T. Morazan Seton Hall University, USA Rex Page University of Oklahoma, USA Ricardo Pena Universidad Complutense de Madrid, Spain Sven-Bodo Scholz University of Hertfordshire, UK Tom Schrijvers Catholic University of Leuven, Belgium Don Stewart Galois, USA Wouter Swierstra Vector Fabrics, Netherlands Don Syme Microsoft, UK Peter Thiemann University of Freiburg, Germany Phil Trinder Heriott-Watt University, Scotland Janis Voigtlaender University of Bonn, Germany Viktoria Zsok Eotvos Lorand University, Hungary

1 0

Academic Staffs Recruiting
by Huibiao Zhu 19 Mar '10

19 Mar '10

Description: Software Engineering Institute of East China Normal University is currently recruiting several full-time academic staffs. Positions: Lecturers/Associate Professors/Full Professors Areas: Formal Methods, Highly Dependable Systems, Information Security, Embedded System Design Method and Tools, Co-design of Software and Hardware Systems, Computer Algebra Algorithms and Applications, Web Search and Web Mining, Large Scale Data Management Institute: Software Engineering Institute, East China Normal University, Shanghai, China Introduction of the School: Software Engineering Institute of East China Normal University (SEI/ECNU) was established as one of the first 36 pilot software schools in China. Professor Jifeng He, academician of the Chinese Academy of Sciences, is the dean of the institue, who worked at Oxford University and the United Nations University International Institute for Software Technology for over 20 years. SEI/ECNU offers BSc in Software Engineering, MSc and PhD in Computer Science. In order to reach to the international level, the Bilingual teaching style has been applied; i.e., the mixture of English and Chinese. SEI/ECNU also focuses on research. It holds many research grants supported by Chinese government, including 863 and 973 projects. Currently, the Institute is carrying out the construction of 985 innovative platform in the area of highly dependable computing. For more information about the institute, please visit its website (www.sei. ecnu.edu.cn). Duties and Responsibilities of the Applications: The successful applicant will need to develop an active research program. He/She will also need to contribute to the teaching program in the Institute. He/She should be active in applying research grants. Key Requirements： Applications are invited for several full-time academic positions as at the level of Lecturer/Associate Professor/Full Professor. Applicants should have a PhD in a discipline relevant to Computer Science, with strong research records. Applicants with research and/or teaching experiences in any of the areas mentioned above are welcome to apply. For more information, please contact Miss Rong Pang (email: rpang(a)sei.ecnu.edu.cn) Application Information: Please send your curriculum vitae to the Human Resources staff Miss Rong Pang by email ( rpang(a)sei.ecnu.edu.cn) Tel: 0086-21-62232979 Fax: 0086-21-62232584

1 0

Last CfP: LOPSTR'10
by Temur Kutsia 16 Mar '10

16 Mar '10

[Please distribute. Apologies for multiple copies.] ========================================================================= Call for papers 20th International Symposium on Logic-Based Program Synthesis and Transformation LOPSTR 2010 http://www.risc.uni-linz.ac.at/conferences/lopstr2010/ Hagenberg, Austria, July 23-25, 2010 (co-located with PPDP 2010) ========================================================================= 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 authors can incorporate the feedback in the published papers. The 20th International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR 2010) will be held in Hagenberg, Austria; previous symposia were held in Coimbra, Valencia, Lyngby, Venice, London, Verona, Uppsala, Madrid, Paphos, London, Venice, Manchester, Leuven, Stockholm, Arnhem, Pisa, Louvain-la-Neuve, and Manchester. LOPSTR 2010 will be co- located with PPDP 2010 (12th 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 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, formal post-conference proceedings will be published by Springer-Verlag in the LNCS series. IMPORTANT DATES AND SUBMISSION GUIDELINES: Paper/extended abstract submission: March 25, 2010 Notification (for pre-proceedings): May 15, 2010 Camera-ready (for pre-proceedings): June 15, 2010 Symposium: July 23-25, 2010 Submissions can either be (short) extended abstracts or (full) papers whose length should not exceed 9 and 15 pages, respectively. Submissions must be formatted in the Springer LNCS 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 2010 pre-proceedings. Full papers can also be immediately accepted for publication in the formal proceedings 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 2010 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 post-proceedings. Papers should be submitted electronically via the submission page http://www.easychair.org/conferences/?conf=lopstr2010 They should be in PDF format and interpretable by Acrobat Reader. Invited Speakers: Bruno Buchberger RISC, Johannes Kepler University Linz, Austria Olivier Danvy University of Aarhus, Denmark Johann Schumann RIACS/NASA Ames Research Center, USA Program Committee: Maria Alpuente Tech. University of Valencia (Chair), Spain Sergio Antoy Portland State University, USA Gilles Barthe IMDEA Software, Madrid Manuel Carro Tech. University of Madrid, Spain Marco Comini University of Udine, Italy Danny De Schreye K.U.Leuven, Belgium Santiago Escobar Tech. University of Valencia, Spain Moreno Falaschi University of Siena, Italy Fabio Fioravanti University of Chieti - Pescara, Italy John Gallagher Roskilde University, Denmark Michael Hanus University of Kiel, Germany Patricia M Hill University of Parma, Italy Andy King University of Kent, UK Temur Kutsia Johannes Kepler University Linz, Austria Ralf L�mmel Universit�t Koblenz-Landau, Germany Michael Leuschel University of Southampton, UK Yanhong Annie Liu State University of New York at Stony Brook, USA Julio Mari�o Tech. University of Madrid, Spain Ricardo Pe�a University Complutense of Madrid, Spain Peter Schneider-Kamp University of Southern Denmark Alicia Villanueva Tech. University of Valencia, Spain Contacts Program Chair Maria Alpuente DSIC - Technical University of Valencia Camino de Vera s/n Apdo. 22.012 E-46022 Valencia (Spain) Email: alpuente(a)dsic.upv.es Conference Chair Temur Kutsia Research Institute for Symbolic Computation Johannes Kepler University Linz Altenbergerstrasse 69 A-4040 Linz, Austria Email: kutsia(a)risc.uni-linz.ac.at

1 0

Second Call for Copy: Monad.Reader Issue 16
by Brent Yorgey 16 Mar '10

16 Mar '10

I already have one or two submissions, but a few more would be great. If you've been thinking about submitting something but weren't sure or haven't gotten around to it yet, now's the time! -------------- Whether you're an established academic or have only just started learning Haskell, if you have something to say, please consider writing an article for The Monad.Reader! The submission deadline for Issue 16 will be: **Friday, April 16, 2010** 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: 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 (byorgey at cis.upenn.edu) Articles should be written according to the guidelines available from http://themonadreader.wordpress.com/contributing/ 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 work something out.

1 0