- Haskell - Haskell.org

Re: [Haskell] Quipper: a quantum programming language
by Takayuki Muranushi 21 Jun '13

21 Jun '13

Thank you for your explanation, Peter. 30 trillion of something is quite a lot! In fact it's not easy to imagine that amount of object would fit in a laptop's memory. http://arxiv.org/pdf/1304.3390v1.pdf Is there some technique involved like succinct data structure, shared data structure or streaming write to disk? I'm also interested in Quipper's "scalability" in classical sense, i.e. ability to utilize multi-core and/or distributed computation environments. 2013/6/21 Peter Selinger <selinger(a)mathstat.dal.ca> > Dear Takayuki, > > thanks for your interest! I hope you'll get a chance to play with > Quipper. > > By "scalable", we mean that we have used Quipper to generate circuits > with over 30 trillion gates. So it's not just a toy that works for > small examples. > > Best wishes, -- Peter > > Takayuki Muranushi wrote: > > > > This library excites me! As a physics undergrad I read Nielsen & Chuang > > with my friends, for me quantum computation was best clue of > understanding > > quantum mechanics. Allow me to make a comment, or, a tl;dr question... > > > > Would you elaborate "Quipper is scalable" ? > > > > > > 2013/6/20 Alexander Green <alexander.s.green(a)gmail.com> > > > > > Dear Haskellers, > > > > > > we are proud to announce the first public release of Quipper, an > > > embedded, scalable functional programming language for quantum > > > computing. The Quipper distribution is available here: > > > > > > http://www.mathstat.dal.ca/~selinger/quipper/ > > > > > > and includes extensive documentation, as well as seven worked examples > > > of non-trivial quantum algorithms from the literature. > > > > > > Quipper is embedded in Haskell and makes use of many advanced > > > features of the GHC Glasgow Haskell Compiler. Here are some highlights: > > > > > > * High-level circuit description language, including both gate-by-gate > > > descriptions and powerful higher-order operators for assembling and > > > manipulating circuits. > > > > > > * A monadic semantics, allowing for a mixture of procedural and > > > declarative programming styles. > > > > > > * Built-in facilities for automatic synthesis of reversible quantum > > > circuits, including from classical Haskell code. > > > > > > * Support for hierarchical circuits. > > > > > > * Extensible quantum data types. > > > > > > * Programmable circuit transformers > > > > > > * Support for a dynamic lifting operation to allow circuit generation > > > to depend on parameters generated at circuit execution time. > > > > > > * Extensive libraries of quantum functions, including: libraries for > > > quantum integer and fixed-point arithmetic; the Quantum Fourier > > > transform; an efficient Qram implementation; libraries for > > > simulation of pseudo-classical circuits, Stabilizer circuits, and > > > arbitrary circuits; libraries for exact and approximate > > > decomposition of circuits into specific gate sets. > > > > > > Comments are welcome! > > > > > > Alexander S. Green > > > Peter LeFanu Lumsdaine > > > Neil Julien Ross > > > Peter Selinger > > > Benoit Valiron > > > > > > > > > _______________________________________________ > > > Haskell mailing list > > > Haskell(a)haskell.org > > > http://www.haskell.org/mailman/listinfo/haskell > > > > > > > > > > > > -- > > Takayuki MURANUSHI > > The Hakubi Center for Advanced Research, Kyoto University > > http://www.hakubi.kyoto-u.ac.jp/02_mem/h22/muranushi.html > -- Takayuki MURANUSHI The Hakubi Center for Advanced Research, Kyoto University http://www.hakubi.kyoto-u.ac.jp/02_mem/h22/muranushi.html

1 0

Quipper: a quantum programming language
by Alexander Green 20 Jun '13

20 Jun '13

Dear Haskellers, we are proud to announce the first public release of Quipper, an embedded, scalable functional programming language for quantum computing. The Quipper distribution is available here: http://www.mathstat.dal.ca/~selinger/quipper/ and includes extensive documentation, as well as seven worked examples of non-trivial quantum algorithms from the literature. Quipper is embedded in Haskell and makes use of many advanced features of the GHC Glasgow Haskell Compiler. Here are some highlights: * High-level circuit description language, including both gate-by-gate descriptions and powerful higher-order operators for assembling and manipulating circuits. * A monadic semantics, allowing for a mixture of procedural and declarative programming styles. * Built-in facilities for automatic synthesis of reversible quantum circuits, including from classical Haskell code. * Support for hierarchical circuits. * Extensible quantum data types. * Programmable circuit transformers * Support for a dynamic lifting operation to allow circuit generation to depend on parameters generated at circuit execution time. * Extensive libraries of quantum functions, including: libraries for quantum integer and fixed-point arithmetic; the Quantum Fourier transform; an efficient Qram implementation; libraries for simulation of pseudo-classical circuits, Stabilizer circuits, and arbitrary circuits; libraries for exact and approximate decomposition of circuits into specific gate sets. Comments are welcome! Alexander S. Green Peter LeFanu Lumsdaine Neil Julien Ross Peter Selinger Benoit Valiron

2 1

Extended deadline for a call for talk proposals: HOPE'13 (Workshop on Higher-Order Programming with Effects, affiliated with ICFP'13)
by Hongseok Yang 19 Jun '13

19 Jun '13

We have extended the HOPE'13 deadline until a few days after the POPL'14 deadline so as not to conflict with the run-up to the POPL'14 deadline, and to encourage researchers to submit talk proposals based on any POPL'14 submissions that they may be preparing. *NOTE*: According to the POPL'14 FAQ at http://www.cl.cam.ac.uk/~pes20/Stuff/dbr-faq.html (and after consultation with the POPL'14 program chair), we have determined that there is no problem with researchers submitting talk proposals to HOPE'13 based on their POPL submissions, even though the HOPE reviewing process is not double-blind. If you have any questions or concerns about this point, please do not hesitate to contact the HOPE program chairs at hope2013(a)mpi-sws.org. ---------------------------------------------------------------------- CALL FOR TALK PROPOSALS HOPE 2013 The 2nd ACM SIGPLAN Workshop on Higher-Order Programming with Effects September 28, 2013 Boston, Massachusetts (the day after ICFP 2013) http://hope2013.mpi-sws.org *** Extended Deadline: JULY 15, 2013 (Monday) *** ---------------------------------------------------------------------- HOPE 2013 aims at bringing together researchers interested in the design, semantics, implementation, and verification of higher-order effectful programs. It will be *informal*, consisting of invited talks, contributed talks on work in progress, and open-ended discussion sessions. --------------------- Goals of the Workshop --------------------- A recurring theme in many papers at ICFP, and in the research of many ICFP attendees, is the interaction of higher-order programming with various kinds of effects: storage effects, I/O, control effects, concurrency, etc. While effects are of critical importance in many applications, they also make it hard to build, maintain, and reason about one's code. Higher-order languages (both functional and object-oriented) provide a variety of abstraction mechanisms to help "tame" or "encapsulate" effects (e.g. monads, ADTs, ownership types, typestate, first-class events, transactions, Hoare Type Theory, session types, substructural and region-based type systems), and a number of different semantic models and verification technologies have been developed in order to codify and exploit the benefits of this encapsulation (e.g. bisimulations, step-indexed Kripke logical relations, higher-order separation logic, game semantics, various modal logics). But there remain many open problems, and the field is highly active. The goal of the HOPE workshop is to bring researchers from a variety of different backgrounds and perspectives together to exchange new and exciting ideas concerning the design, semantics, implementation, and verification of higher-order effectful programs. We want HOPE to be as informal and interactive as possible. The program will thus involve a combination of invited talks, contributed talks about work in progress, and open-ended discussion sessions. There will be no published proceedings, but participants will be invited to submit working documents, talk slides, etc. to be posted on this website. ----------------------- Call for Talk Proposals ----------------------- We solicit proposals for contributed talks. We recommend to prepare proposals with at most 2 pages, in either plain text or PDF format. However, we will accept longer proposals or submissions to other conferences, under the understanding that PC members are only expected to read the first two pages of such longer submissions. When submitting talk proposals, the authors should specify how long a talk the speaker wishes to give. By default, contributed talks will be 30 minutes long, but proposals for shorter or longer talks will also be considered. Speakers may also submit supplementary material (e.g. a full paper, talk slides) if they desire, which PC members are free (but not expected) to read. We are interested in talks on all topics related to the interaction of higher-order programming and computational effects. Talks about work in progress are particularly encouraged. If you have any questions about the relevance of a particular topic, please contact the PC chairs at the address hope2013 AT mpi-sws.org. Deadline for talk proposals: JULY 15, 2013 (Monday) (NEW) Notification of acceptance: August 2, 2013 (Friday) (NEW) Workshop: September 28, 2013 (Saturday) The submission website is now open: https://www.easychair.org/conferences/?conf=hope2013 --------------------- Workshop Organization --------------------- Program Co-Chairs: Derek Dreyer (MPI-SWS, Germany) Hongseok Yang (University of Oxford) Program Committee: Anindya Banerjee (IMDEA Software Institute) Lars Birkedal (Aarhus University) Aquinas Hobor (National University of Singapore) Chung-Kil Hur (Microsoft Research Cambridge) Patricia Johann (Appalachian State University) Matthew Might (University of Utah) Peter Mueller (ETH Zurich) Brigitte Pientka (McGill University) Zhong Shao (Yale)

1 0

ML 2013: last call for presentations
by Daan Leijen 18 Jun '13

18 Jun '13

There are still a few days left to write a short talk proposal for the ML workshop 2013! Since there are no official proceedings, this is an ideal venue if you are working on a full submission for some other conference but want to talk about the work early on and get useful community feedback. Hope to see you there, -- Daan ACM SIGPLAN Workshop on ML Sunday, September 22, 2013, Boston MA (co-located with ICFP) http://research.microsoft.com/en-us/um/people/daan/mlworkshop2013 ======================================================================= The ML family of programming languages includes dialects known as Standard ML, OCaml, and F#. These languages have inspired a large amount of computer-science research, both practical and theoretical. This workshop aims to provide a forum where users, developers and researchers of ML languages and related technology can interact and discuss ongoing research, open problems and innovative applications. The ML workshop has adopted an informal model since 2010. It is a workshop with presentations selected from submitted abstracts. There are no published proceedings, so any contributions may be submitted for publication elsewhere. We hope that this format encourages the presentation of exciting (if unpolished) research and deliver a lively workshop atmosphere. SCOPE ----- We seek research presentations on topics related to ML, including but not limited to * Applications: case studies, experience reports, pearls, etc. * Extensions: higher forms of polymorphism, generic programming, objects, concurrency, distribution and mobility, semi-structured data handling, etc. * Type systems: inference, effects, overloading, modules, contracts, specifications and assertions, dynamic typing, error reporting, etc. * Implementation: compilers, interpreters, type checkers, partial evaluators, runtime systems, garbage collectors, etc. * Environments: libraries, tools, editors, debuggers, cross-language interoperability, functional data structures, etc. * Semantics: operational, denotational, program equivalence, parametricity, mechanization, etc. Three kinds of submissions will be accepted: Research Presentations, Experience Reports and Demos. * Research Presentations: Research presentations should describe new ideas, experimental results, significant advances in ML-related projects, or informed positions regarding proposals for next-generation ML-style languages. We especially encourage presentations that describe work in progress, that outline a future research agenda, or that encourage lively discussion. These presentations should be structured in a way which can be, at least in part, of interest to (advanced) users. * Experience Reports: Users are invited to submit Experience Reports about their use of ML languages. These presentations do not need to contain original research but they should tell an interesting story to researchers or other advanced users, such as an innovative or unexpected use of advanced features or a description of the challenges they are facing or attempting to solve. * Demos: Live demonstrations or short tutorials should show new developments, interesting prototypes, or work in progress, in the form of tools, libraries, or applications built on or related to ML. (Please note that you will need to provide all the hardware and software required for your demo; the workshop organizers are only able to provide a projector.) Each presentation should take 20-25 minutes, except demos, which should take 10-15 minutes. The exact time will be decided based on the number of accepted submissions. SUBMISSION INSTRUCTIONS ----------------------- Submissions should be at most two pages, in PDF format, and printable on US Letter or A4 sized paper. Submissions longer than half a page should include a one-paragraph synopsis suitable for inclusion in the workshop program. Submissions must be uploaded to the following website before the submission deadline (2013-06-21): https://www.easychair.org/conferences/?conf=ml2013 For any question concerning the scope of the workshop or the submission process, please contact the program chair (daan at microsoft.com) IMPORTANT DATES --------------- * Friday, June 21 : Submission * Monday, July 22 : Notification * Sunday, September 22: Workshop PROGRAM COMMITTEE ----------------- Daan Leijen (chair) (Microsoft Research, US) Jesse A. Tov (Harvard University, US) Derek Dreyer (MPI-SWS, Germany) Atsushi Ohori (Univ. of Tohoku, Japan) Lars Bergstrom (Univ. of Chicago, US) Jean Yang (MIT CSAIL, US) Gavin Bierman (Microsoft Research, Cambridge, UK) Tomas Petricek (Univ. of Cambridge, UK) Yukiyoshi Kameyama (Univ. of Tsukuba, Japan) Peter Thiemann (Univ. of Freiburg, Germany) STEERING COMMITTEE ------------------ Matthew Fluet (Chair, Rochester Institute of Technology) Alain Frisch (LexiFi) Jacques Garrigue (Nagoya University) Yaron Minsky (Jane Street) Greg Morrisett (Harvard University) Chung-chieh Shan (Indiana University) Anil Madhavapeddy (Cambridge University) Daan Leijen (Microsoft Research)

1 0

[ANNOUNCE] Juicy.Pixels 3.1
by Vincent Berthoux 18 Jun '13

18 Jun '13

Hello, I'm pleased to announce the release of Juicy.Pixels 3.1 AKA. the "Squeezed juice" release Hackage : http://hackage.haskell.org/package/JuicyPixels GitHub : https://github.com/Twinside/Juicy.Pixels Change list : * Addition of Tiff reading : - 2, 4, 8, 16 bit depth reading (planar and contiguous for each) - CMYK, YCbCr, RGB, Paletted, Greyscale - Uncompressed, PackBits, LZW * Adding basic handling of 16bits pixel types * Some new tiny helper functions (nothing too fancy) * Performances : now between 2x and 3x of the performance of ImageMagick! (some benchmarks at https://soundofapixel.wordpress.com/2013/06/17/juicy-pixels-3-1/ ) Big thanks to Alp Mestanogullari and Jason Dagit who helped making this release possible. Vincent Berthoux

1 0

Haskell 2013 call for PANEL DISCUSSIONS
by Chung-chieh Shan 18 Jun '13

18 Jun '13

=================================================================== ACM SIGPLAN HASKELL SYMPOSIUM 2013 CALL FOR PANEL DISCUSSIONS Boston, MA, USA, 23-24 September 2013, directly before ICFP http://www.haskell.org/haskell-symposium/2013/ haskell2013(a)easychair.org =================================================================== The ACM SIGPLAN Haskell Symposium 2013 will be colocated with the 2013 International Conference on Functional Programming (ICFP) in Boston, MA, USA. The Haskell Symposium seeks to present original research on Haskell, to discuss practical experience and future development of the language, as well as to promote other forms of denotative programming. This year, the symposium will include a new category of panel discussions, which will subsume past "Future of Haskell" discussions. We solicit proposals for panel discussions, submitted by a moderator who proposes to bring together specific panelists who have agreed to address a specific pressing issue in the Haskell community. The proposals should summarize the panelist positions that would be discussed. The proposals should explain (and will be judged on) whether the ensuing session is likely to be important and interesting to the Haskell community at large, whether on grounds academic or industrial, theoretical or practical, technical or social. Please contact the program chair with any questions about the relevance of a proposal. Submission Details: =================== The submission deadline Fri 28th June 2013, anywhere on earth. "Panel Proposals" should be marked as such with those words in the title at time of submission. Submitted proposals should be in portable document format (PDF), at most 2 pages formatted using the ACM SIGPLAN style guidelines (http://www.acm.org/sigs/sigplan/authorInformation.htm) The text should be in a 9-point font in two columns. Submission is via EasyChair: https://www.easychair.org/conferences/?conf=haskell2013 Accepted panel proposals will be posted on the symposium web page, but not formally published in the proceedings. Travel Support: =============== Student attendees with accepted proposals can apply for a SIGPLAN PAC grant to help cover travel expenses. PAC also offers other support, such as for child-care expenses during the meeting or for travel costs for companions of SIGPLAN members with physical disabilities, as well as for travel from locations outside of North America and Europe. For details on the PAC programme, see its web page (http://www.sigplan.org/PAC.htm) Programme Committee: ==================== * Andreas Abel, Ludwig-Maximilians-Universität München * Lennart Augustsson, Standard Chartered Bank * Jean-Philippe Bernardy, Chalmers University of Technology * Olaf Chitil, University of Kent * Neil Ghani, University of Strathclyde * Hans-Wolfgang Loidl, Heriot-Watt University * Ian Lynagh, Well-Typed LLP * David Mazières, Stanford University * Akimasa Morihata, Tohoku University * Takayuki Muranushi, Kyoto University * Alberto Pardo, Universidad de la República * Norman Ramsey, Tufts University * Neil Sculthorpe, University of Kansas * Chung-chieh Shan (chair), Indiana University * Christina Unger, Universität Bielefeld * Dana N. Xu, INRIA

1 0

Call for Papers IFL 2013
by publicityifl＠gmail.com 16 Jun '13

16 Jun '13

Hello, Please, find below the second call for papers for IFL 2013. Please forward these to anyone you think may be interested. Apologies for any duplicates you may receive. best regards, Jurriaan Hage Publicity Chair of IFL CALL FOR PAPERS 25th SYMPOSIUM ON IMPLEMENTATION AND APPLICATION OF FUNCTIONAL LANGUAGES - IFL 2013 RADBOUD UNIVERSITY NIJMEGEN, THE NETHERLANDS ACM In-Cooperation / ACM SIGPLAN AUGUST 28 - 30 2013 "Landgoed Holthurnsche Hof" http://ifl2013.cs.ru.nl We are proud to announce that the 25th edition of the IFL series returns to its roots at the Radboud University Nijmegen in the Netherlands. The symposium is held from 28th to 30th of August 2013. Scope ----- 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 2013 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 2013 will use a post-symposium review process to produce the formal proceedings which will be published in the ACM Digital Library. All participants of IFL 2013 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; submissions must adhere to ACM SIGPLAN's republication policy: http://www.sigplan.org/Resources/Policies/Republication 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. Hence, publications that appear only in the draft proceedings do not count as publication for the ACM SIGPLAN republication policy. 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. From the revised submissions, the program committee will select papers for the formal proceedings considering their correctness, novelty, originality, relevance, significance, and clarity. Invited Speaker --------------- Lennart Augustsson, currently employed by the Standard Chartered Bank, well-known for his work on Haskell, parallel Haskell, Cayenne, and Bluespec, is the invited speaker of IFL 2013. He will be talking about practical applications of functional programming. Submission Details ------------------ Submission deadline draft papers: July 31 Notification of acceptance for presentation: August 2 Early registration deadline: August 7 Late registration deadline: August 14 Submission deadline for pre-symposium proceedings: August 21 25th IFL Symposium: August 28-30 Submission deadline for post-symposium proceedings: November 11 Notification of acceptance for post-symposium proceedings: December 18 Camera-ready version for post-symposium proceedings: February 3 2014 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. Papers must adhere to the standard ACM two columns conference format. For the pre-symposium proceedings we adopt a 'weak' page limit of 12 pages. For the post-symposium proceedings the page limit of 12 pages is firm. A suitable document template for LaTeX can be found at: http://www.acm.org/sigs/sigplan/authorInformation.htm Papers are to be submitted via the conference's EasyChair submission page: https://www.easychair.org/conferences/?conf=ifl2013 Topics ------ IFL welcomes submissions describing practical and theoretical work as well as submissions describing applications and tools in the context of functional programming. If you are not sure whether your work is appropriate for IFL 2013, please contact the PC chair at rinus(a)cs.ru.nl. Topics of interest include, but are not limited to: language concepts type systems, type checking, type inferencing compilation techniques staged compilation run-time function specialization run-time code generation partial evaluation (abstract) interpretation metaprogramming generic programming automatic program generation array processing concurrent/parallel programming concurrent/parallel program execution embedded systems web applications (embedded) domain specific languages security novel memory management techniques run-time profiling performance measurements debugging and tracing virtual/abstract machine architectures validation, verification of functional programs tools and programming techniques (industrial) applications Peter Landin Prize ------------------ The Peter Landin Prize is awarded to the best paper presented at the symposium every year. The honoured 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. Programme committee ------------------- Thomas Arts, Quviq, Gothenburg, Sweden Andrew Butterfield, Trinity College, Dublin, Ireland Edwin Brady, University of St. Andrews, UK Clemens Grelck, University of Amsterdam, Netherlands Adam Granicz, IntelliFactory, Budapest, Hungary Jeremy Gibbons, University of Oxford, UK Fritz Henglein, University of Copenhagen, Denmark Stephan Herhut, Intel Labs, Santa Clara, US Ralf Hinze (co-chair), University of Oxford, UK Zoltán Horváth, Eötvös Loránd University, Budapest, Hungary Zhenjiang Hu, University of Tokyo, Japan Mauro Jaskelioff, Universidad Nacional de Rosario, Argentina Johan Jeuring, University of Utrecht, Netherlands Rita Loogen, University of Marburg, Germany Marco T. Morazán, Seton Hall University, New Jersey, US Dominic Orchard, University of Cambridge, UK Rinus Plasmeijer (chair), Radboud University Nijmegen, Netherlands Tim Sheard, Portland State University, US Sam Tobin-Hochstadt, Northeastern University / Indiana University, US Peter Thiemann, University of Freiburg, Germany Simon Thompson, University of Kent, UK Venue ----- The 25th IFL is organized by the Radboud University Nijmegen, Model Based Software Development Department at the Nijmegen Institute for Computing and Information Sciences. The event is held in the Landgoed Holthurnsche Hof, a rural estate in the woodlands surrounding Nijmegen. It can be reached quickly and easily by public transport.

1 0

Call for Papers - IEEE International Workshop on Communicating Business Process and Software Models (CPSM 2013) co-located with ICSM 2013
by Natalia Dragan 15 Jun '13

15 Jun '13

*Call for Papers * for the 1st IEEE International Workshop on *Communicating Business Process and Software Models * Quality, Understandability, and Maintainability (CPSM 2013) on *September 23, 2013 *in *Eindhoven, the Netherlands * in conjunction with the 29th International Conference on Software Maintenance (ICSM) Eindhoven, the Netherlands, 22-28 September 2013. *Important Dates * *Submission: *Friday, June 21st, 2013 *Notification: *Tuesday, July 16th, 2013 *Camera-ready: *Tuesday, July 30th, 2013 *Workshop: *September 23rd, 2013 http://www.win.tue.nl/cpsm2013/ In recent years, the fact that models are a means for communication gained more attention in research on process modeling and software modeling. Both communities discuss issues related to models, modeling languages, and their use and perception, such as model understandability, complexity of modeling languages, actual usage of language features, cognitive aspects, human perception and subjective perspectives on models, and related issues. These topics are extremely important for the adaption of modeling languages in practice, yet the attention from the research community is still limited. The CPSM 2013 workshop shall provide a forum for researchers and practitioners actively working on quality, usability and maintainability of software and process models. The workshop supports the exchange of ideas, challenges, and insights from two similar domains with the aim of raising awareness of the important "soft skills" of modeling languages. The workshop will give room to present research results, position papers, case studies and share experiences and ideas in panel discussions. *Relevant topics are * - Business process model quality metrics - Business process maintainability - Business process evolution - Business process modeling styles - Business process modeling patterns and anti-patterns - Business process comprehension - Relation between business process models and software / system models - Software model maintainability - Software model evolution and tracking - Software model and implementation alignment - Software model comprehension - Roles and expertise different modeling activities - Empirical studies on understandability of business processes and software models - Empirical studies on quality of business process and software models - Industrial cases on communication and understandability of process and software models We invite full papers that describe consolidated research results or case studies, as well as short papers outlining researches still in progress or position papers. Submissions will be assessed based on their novelty, relevance, empirical evidence, scientific quality, readability, comparison with existing and related works, and the extent to which the paper allows to build bridges between the different domains of process modeling and software engineering. We specifically want to encourage early results. *Format of the Workshop and Proceedings * The workshop will comprise presentations of accepted papers and keynotes from experienced researchers and practitioners. Moreover, we will organize moderated discussions on hot topics that were raised in the different communities and emerged from the workshop submissions. All accepted papers will be published as *IEEE Workshop Proceedings*. As this volume will appear after the conference, there will be informal proceedings during the workshop. At least one author for each accepted paper must register for the workshop and present the paper. *Paper Submission * Prospective authors are invited to submit papers for presentation in any of the areas listed above. Only papers in English will be accepted. Different paper types are distinguished. Length of full papers (completed research or case study) must not exceed 10 pages. Short papers (work in progress or positions paper) should be no longer than 4 pages. Papers should be submitted in the IEEE style in PDF format, templates are available at https://www.ieee.org/conferences_events/conferences/publishing/templates.ht…. Papers have to present original research contributions not concurrently submitted elsewhere. The title page must contain a short abstract, a classification of the topics covered, preferably using the list of topics above, and an indication of the submission category (full paper | case study | work in progress | position paper). Papers should be submitted via EasyChair: https://www.easychair.org/conferences/?conf=cpsm2013 *Workshop Website * http://www.win.tue.nl/cpsm2013/

1 0

Call for Papers: WFLP/WLP 2013
by mh＠informatik.uni-kiel.de 14 Jun '13

14 Jun '13

Please note that the NEW SUBMISSION AND NOTIFICATION DATES! Apologies for multiple copies. ====================================================================== CALL FOR PAPERS WFLP 2013 22nd International Workshop on Functional and (Constraint) Logic Programming 27th Workshop on Logic Programming part of the Kiel Declarative Programming Days 2013 September 11-13, 2013, Kiel, Germany http://www-ps.informatik.uni-kiel.de/wflp2013/ ====================================================================== GENERAL WFLP 2013 is the combination of two workshops of a successful series of annual workshops on declarative programming. The international workshops on functional and logic programming aim at bringing together researchers interested in functional programming, logic programming, as well as their integration. The workshops on (constraint) logic programming serve as the scientific forum of the annual meeting of the Society of Logic Programming (GLP e.V.) and bring together researchers interested in logic programming, constraint programming, and related areas like databases, artificial intelligence, and operations research. In this year both workshops will be jointly organized and co-located with the 20th International Conference on Applications of Declarative Programming and Knowledge Management (INAP 2013) under the umbrella of the Kiel Declarative Programming Days in order to promote the cross-fertilizing exchange of ideas and experiences among researchers and students from the different communities interested in the foundations, applications, and combinations of high-level, declarative programming languages and related areas. The technical program of the workshop will include invited talks, presentations of refereed papers and demo presentations. ---------------------------------------------------------------------- TOPICS The topics of interest include (but are not limited to): * Functional programming * Logic programming * Constraint programming * Deductive databases, data mining * Extensions of declarative languages, objects * Multi-paradigm declarative programming * Foundations, semantics, nonmonotonic reasoning, dynamics * Parallelism, concurrency * Program analysis, abstract interpretation * Program transformation, partial evaluation, meta-programming * Specification, verification, declarative debugging * Knowledge representation, machine learning * Interaction of declarative programming with other formalisms (e.g., agents, XML, Java) * Implementation of declarative languages * Advanced programming environments and tools * Software technique for declarative programming * Applications The primary focus is on new and original research results but submissions describing innovative products, prototypes under development, application systems, or interesting experiments (e.g., benchmarks) are also encouraged. ---------------------------------------------------------------------- IMPORTANT DATES Submission of papers: July 7, 2013 (NEW!!!) Notification of acceptance: July 28, 2013 (NEW!!!) Camera-ready papers: August 18, 2013 Workshop: September 11-13, 2013 ---------------------------------------------------------------------- SUBMISSION GUIDELINES 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, conference, or workshop with refereed proceedings. Work that already appeared in unpublished or informally published workshop proceedings may be submitted (please contact the PC chair in case of questions). Papers can be submitted as technical papers or system descriptions. Technical papers should consist of up to 15 pages, system descriptions should be no longer than 6 pages. Formatting should follow the LNCS guidelines. The details about the procedure to submit papers electronically are described on the conference website. Submitted papers will be judged on the basis of significance, relevance, correctness, originality, and clarity. They should include a clear identification of what has been accomplished and why it is significant. ---------------------------------------------------------------------- BEST NEWCOMER AWARD An award will be given to the best paper exclusively written by one or several young researchers who have not yet obtained their PhD degrees. Papers written in this category should be clearly marked as a "Student paper" in the submission. ---------------------------------------------------------------------- PROCEEDINGS All accepted papers will be published as a technical report. As for previous events, it is planned to publish selected papers as post-conference proceedings in the Springer LNCS series. Previous proceedings appeared as Springer LNCS volumes 6816 (WFLP 2011), 6559 (WFLP 2010), 5979 (WFLP 2009), 5437 (WLP 2007), and 3392 (WLP 2004). ---------------------------------------------------------------------- PROGRAM COMMITTEE Elvira Albert Universidad Complutense de Madrid, Spain Sergio Antoy Portland State University, USA Francois Bry University of Munich, Germany Juergen Dix University of Clausthal, Germany Rachid Echahed CNRS, University of Grenoble, France Moreno Falaschi Universita di Siena, Italy Sebastian Fischer Kiel, Germany Thom Fruehwirth University of Ulm, Germany Michael Hanus University of Kiel, Germany (Chair) Oleg Kiselyov Monterey (CA), USA Herbert Kuchen University of Muenster, Germany Francisco J. Lopez Fraguas Universidad Complutense de Madrid, Spain Torsten Schaub University of Potsdam, Germany Peter Schneider-Kamp University of Southern Denmark, Denmark Dietmar Seipel University of Wuerzburg, Germany Hans Tompits Vienna University of Technology, Austria German Vidal Universidad Politecnica de Valencia, Spain Janis Voigtlaender University of Bonn, Germany ---------------------------------------------------------------------- CONTACT Michael Hanus University of Kiel, Germany Email: mh(a)informatik.uni-kiel.de ----------------------------------------------------------------------

1 0

Deadline extension: Functional High-Performance Computing (FHPC 2013)
by Jost Berthold 13 Jun '13

13 Jun '13

The submission deadline for FHPC'13 has been extended to June 19. Please indicate your intention to submit by submitting an abstract earlier, ideally before June 15, 2013 (anywhere on earth). ===================================================================== Extended CALL FOR PAPERS FHPC 2013 The 2nd ACM SIGPLAN Workshop on Functional High-Performance Computing Boston, Massachusets September 23, 2013 http://www.hiperfit.dk/fhpc13.html Co-located with the International Conference on Functional Programming (ICFP 2013) ** Deadline extension ** New submission deadline: June 19, 2013 (anywhere on earth) Please indicate your intention to submit by submitting an abstract earlier, ideally before June 15, 2013 (anywhere on earth). ===================================================================== The FHPC workshop aims at bringing together researchers exploring uses of functional (or more generally, declarative or high-level) programming technology in application domains where large-scale computations arise naturally and high performance is essential. Such computations would typically -- but not necessarily -- involve execution on highly parallel systems ranging from multi-core multi-processor systems to graphics accelerators (GPGPUs), reconfigurable hardware (FPGAs), large-scale compute clusters or any combination thereof. It is becoming apparent that radically new and well founded methodologies for programming such systems are required to address their inherent complexity and to reconcile execution performance with programming productivity. The aim of the meeting is to enable sharing of results, experiences, and novel ideas about how high-level, declarative specifications of computationally challenging problems can serve as highly transparent, maintainable, and portable code that approaches (or even exceeds) the performance of machine-oriented imperative implementations. Each FHPC workshop proposes a particular theme for applications where high-performance computing and/or functional programming technology can be applied. For FHPC 2013, the theme is "Large-Scale Simulation", traditionally one of the main driving forces behind supercomputing. A large fraction of compute cycles in supercomputers worldwide is spent on simulation tasks, for various engineering tasks, drug design and other medical simulations, and in different natural science domains. Declarative languages have potential to radically change development practice and workflow for simulation software in these areas. Hence, we particularly encourage submission of application-oriented contributions in the area of simulation. As a general rule, while proposing the theme, the workshop welcomes submissions from all relevant application domains as well as those describing general work on the theory and practice of declarative high-performance computing. Important dates: ================ * Abstract submission (suggested): 15 June 2013 (anywhere on earth) * Submission Deadline (extended) : 19 June 2013 (anywhere on earth) * Author Notification: 11 July 2013 * Final Papers Due : 25 July 2013 Proceedings: ============ Accepted papers will be published by the ACM and will appear in the ACM Digital Library. Submitted papers must be in portable document format (PDF), formatted according to the ACM SIGPLAN style guidelines (2 column, 9pt format). See http://www.sigplan.org/authorInformation.htm for more information and style files. The page limit is 12 pages. Submission deadlines and page limit are firm. Contributions to FHPC 2013 should be submitted via Easychair, under https://www.easychair.org/conferences/?conf=fhpc2013. The submission site is now open. The FHPC workshops adhere to the ACM SIGPLAN policies regarding programme committee contributions and republication. Any paper submitted must adhere to ACM SIGPLAN's republication policy. PC member submissions are welcome, but will be reviewed to a higher standard. http://www.sigplan.org/Resources/Policies/Review http://www.sigplan.org/Resources/Policies/Republication Travel Support: =============== Student attendees with accepted papers can apply for a SIGPLAN PAC grant to help cover travel expenses. PAC also offers other support, such as for child-care expenses during the meeting or for travel costs for companions of SIGPLAN members with physical disabilities, as well as for travel from locations outside of North America and Europe. For details on the PAC programme, see its web page (http://www.sigplan.org/PAC.htm) Programme Committee: ==================== Umut Acar (co-chair), Carnegie Mellon U., PA, USA Arvind, MIT, MA, USA Jost Berthold (co-chair), U. of Copenhagen, Denmark Guy Blelloch, Carnegie Mellon U., PA, USA Hassan Chafi, Oracle Labs, CA, USA Dan Spoonhower, Google, CA, USA Sergei Gorlatch, U. Münster, Germany Clemens Grelck, U. of Amsterdam, Netherlands Vinod Grover, NVidia, USA Torsten Grust, U.Tübingen, Germany Zhenjiang Hu, National Inst. of Informatics, Tokyo, Japan Gabriele Keller, U.New South Wales, Sydney, Australia Jens Palsberg, U.California, CA, USA Leaf Peterson, Intel, USA Mike Rainey, MPI-SWS,Kaiserslautern, Germany Suresh Jagannathan, Purdue U., USA Sven-Bodo Scholz, Heriot-Watt U., Edinburgh, UK Guy Steele, Oracle Labs, Burlington, MA, USA Yaron Minsky, Jane Street Capital, NY, USA General Chairs: ==================== Clemens Grelck, University of Amsterdam, NL Fritz Henglein, University of Copenhagen, DK

1 0