- Haskell - Haskell.org

Deadline extended: WPTE 2015 Second International Workshop on Rewriting Techniques for Program Transformations and Evaluation
by David Sabel 17 Apr '15

17 Apr '15

FINAL CALL FOR PAPERS Second International Workshop on Rewriting Techniques for Program Transformations and Evaluation WPTE 2015 affiliated with RDP 2015 2 July, 2015, Warsaw, Poland http://www.trs.cm.is.nagoya-u.ac.jp/event/wpte2015/ !! Submission deadline is extended until April 24th !! Aims and Scope ============== The aim of WPTE is to bring together the researchers working on program transformations, evaluation, and operationally-based programming language semantics, using rewriting methods, in order to share the techniques and recent developments and to exchange ideas to encourage further activation of research in this area. The previous WPTE was held in Vienna 2014. Topics of interest in the scope of this workshop include: * Correctness of program transformations, optimizations and translations. * Program transformations for proving termination, confluence and other properties. * Correctness of evaluation strategies. * Operational semantics of programs, operationally-based program equivalences such as contextual equivalences and bisimulations. * Cost-models for reasoning about the optimizing power of transformations and the costs of evaluation. * Program transformations for verification and theorem proving purposes. * Translation, simulation, equivalence of programs with different formalisms, and evaluation strategies. * Program transformations for applying rewriting techniques to programs in specific programming languages. * Program transformations for program inversions and program synthesis. * Program transformation and evaluation for Haskell and Rewriting. The programming languages of interest include pure, deterministic, impure, nondeterministic, concurrent, parallel languages, and may employ programming paradigms such as functional, logical, typed, imperative, object-oriented, and higher-order. 'Program transformation and evaluation for Haskell and Rewriting' is a new topic of this workshop: equational reasoning and other rewriting techniques for program verification and analysis; lambda calculi and type systems for functional programs and higher-order rewrite systems; rewriting of type expressions in the type checker; rewriting of programs by refactoring tools, optimizers, code generators; execution of programs as a form of graph rewriting (terms with sharing); Template Haskell, generally introducing a rewriting-like macro language into the compilation process; rewriting modulo commonly occurring axioms such as associativity, commutativity, and identity element. Invited Speaker =============== Brigitte Pientka (McGill University) Proceedings =========== The WPTE-proceedings will be published in the 'OpenAccess Series in Informatics (OASIcs)' of 'Schloss Dagstuhl Leibniz-Zentrum fuer Informatik' by the workshop day. Extended abstracts on work in progress are not included in the OASIcs proceedings but they will be included in the USB memory which is distributed to the RDP participants. Paper Submissions ================= WPTE accepts two different kinds of contributions: * Full-papers: ------------ Full-papers must represent original work and should be submitted using the OASIcs LaTeX templates. Full-papers should not exceed 12 pages. Accepted papers will be included in the OASIcs proceedings. * Work in progress: ----------------- There will also be a slot for presenting work in progress. An extended abstract of at most 4 pages is required to be submitted using the OASIcs LaTeX templates. These contributions will not be included in the OASIcs proceedings for full-papers but they will be distributed to the workshop participants. One author of each accepted paper or abstract is expected to present it at the workshop. Important Dates =============== * Submission deadline: 24 April 2015 (Extended!) * Notification of acceptance: 15 May 2015 * Deadline for camera-ready proceedings: 29 May 2015 * Workshop: 2 July 2015, Warsaw, Poland Weblinks ======== * EasyChair Submission Website https://www.easychair.org/conferences/?conf=wpte2015 * Homepage of WPTE 2015 http://www.trs.cm.is.nagoya-u.ac.jp/event/wpte2015/ * OASIcs Website (including LaTeX templates): http://www.dagstuhl.de/en/publications/oasics * RDP 2015 http://rdp15.mimuw.edu.pl Program Committee ================= Takahito Aoto (RIEC, Tohoku University) Yuki Chiba (JAIST) Fer-Jan de Vries (University of Leicester) Santiago Escobar (Universitat Politecnica de Valencia) - chair Johan Jeuring (Open Universiteit Nederland and Universiteit Utrecht) Delia Kesner (Universite Paris-Diderot) Serguei Lenglet (Universite de Lorraine) Elena Machkasova (University of Minnesota, Morris) William Mansky (University of Pennsylvania) Joachim Niehren (INRIA Lille) Naoki Nishida (Nagoya University) - chair Kristoffer H Rose (Two Sigma Investments, LLC) David Sabel (Goethe-University Frankfurt am Main) Masahiko Sakai (Nagoya University) Manfred Schmidt-Schauss (Goethe-University Frankfurt am Main) Janis Voigtlaender (University of Bonn) Johannes Waldmann (HTWK Leipzig) Harald Zankl (University of Innsbruck) Organizers ========== Yuki Chiba (JAIST) Santiago Escobar (Universitat Politecnica de Valencia) Naoki Nishida (Nagoya University) - chair Manfred Schmidt-Schauss (Goethe-University Frankfurt am Main) - chair David Sabel (Goethe-University Frankfurt am Main)

1 0

Re: [Haskell] Workshop on Type Inference and Automated Proving
by Frantisek Farka 16 Apr '15

16 Apr '15

On Thu, 16 Apr 2015 11:13:19 +0700 Kim-Ee Yeoh <ky3(a)atamo.com> wrote: Hi Kim-Ee, I am afraid we currently do not plan to record the talks. But if anything changes anf there will be any recordings I will send an email to let the people in this mailing list know. Best, Franta > Hi František, > > Do you think if it would be at all possible to record this event on > video for dissemination to the wider research community? > > Even a phone camera would be something. > > Much collaboration and research opportunities would open up if only > good ideas had greater reach. > > Best, > > -- Kim-Ee >

1 0

Haskell on Windows instructions - is MinGHC version update needed?
by Howard B. Golden 16 Apr '15

16 Apr '15

Hi, Currently, the Haskell website's Windows download page (https://www.haskell.org/downloads/windows) offers two alternatives, MinGHC and Haskell Platform. The MinGHC alternative has a link to MinGHC-7.8.3 installer. Should this be updated to MinGHC-7.8.4? I ask this because Long Term Support Haskell 2.3 is now using GHC 7.8.4. If you want to update the link, you only need to change the URL from 7.8.3 to 7.8.4. Howard

2 1

Leuven Haskell User Group meeting on April 21
by Tom Schrijvers 15 Apr '15

15 Apr '15

You are kindly invited to the special edition of the Leuven Haskell User Group with guest presentation by Amplidata. For details see: https://groups.google.com/d/msg/leuven-haskell/VNcTKtFPGL0/gQhPWtxTbg4J -- prof. dr. ir. Tom Schrijvers Research Professor KU Leuven Department of Computer Science Celestijnenlaan 200A 3001 Leuven Belgium Phone: +32 16 327 830 http://people.cs.kuleuven.be/~tom.schrijvers/

1 0

Final CFP - SBLP 2015: 19th Brazilian Symposium on Programming Languages
by Alberto Pardo 14 Apr '15

14 Apr '15

FINAL CALL FOR PAPERS - SBLP 2015 19th Brazilian Symposium on Programming Languages 21-26 September 2015 Belo Horizonte, Brazil http://cbsoft.org/sblp2015 *** DEADLINE APPROACHING *** +++++++++++++++++++++++++++++++++++++++++++++++++++ IMPORTANT DATES Abstract submission: 20 April, 2015 Paper submission: 27 April, 2015 Author notification: 18 June, 2015 Camera ready deadline: 2 July 2015 INTRODUCTION The Brazilian Symposium on Programming Languages is a well-established symposium which provides a venue for researchers and practitioners interested in the fundamental principles and innovations in the design and implementation of programming languages and systems. SBLP 2015 is part of 6th Brazilian Conference on Software: Theory and Practice, CBSoft 2015, that will be held in Belo Horizonte, Minas Gerais, Brazil, from September 21st to September 26th, 2015. Authors are invited to submit original research on any relevant topic which can be either in the form of regular or short papers. TOPICS Topics of interest include, but are not limited to: * Program generation and transformation, including domain-specific languages and model-driven development in the context of programming languages. * Programming paradigms and styles, including functional, object-oriented, aspect-oriented, scripting languages, real-time, service-oriented, multithreaded, parallel, and distributed programming. * Formal semantics and theoretical foundations, including denotational, operational, algebraic and categorical. * Program analysis and verification, including type systems, static analysis and abstract interpretation. * Programming language design and implementation, including new programming models, programming language environments, compilation and interpretation techniques. INVITED SPEAKERS * Doaitse Swierstra, Utrecht University * A second invited speaker to be confirmed soon SUBMISSION AND PUBLICATION All submissions will be peer-reviewed and judged on the basis of its originality, contribution to the field, technical and presentation quality, and relevance to the symposium. Contributions should be written in Portuguese or English. Papers should fall into one of two different categories: regular papers, which can be up to 15 pages long in LNCS format, or short papers, with up to 5 pages in LNCS format. Short papers can discuss new ideas which are at an early stage of development and which have not yet been thoroughly evaluated. We encourage the submission of short papers reporting partial results of on-going master dissertations or doctoral theses. Accepted papers written in English will be published in a volume of Lecture Notes in Computer Science (LNCS), by Springer. Both regular and short papers must be prepared using the LNCS format, available at http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0. Papers must be submitted electronically (in PDF format) via the Easychair System: http://www.easychair.org/conferences/?conf=sblp2015. As in previous editions, after the conference, authors of selected papers will be invited to submit an extended version of their work to be considered for publication in a journal special issue. Since 2009, selected papers of each SBPL edition are being published in a special issue of Science of Computer Programming, by Elsevier. PROGRAM CHAIRS Alberto Pardo, Universidad de la República, Uruguay Doaitse Swierstra, Utrecht University, The Netherlands PROGRAM COMMITTEE Alberto Pardo, Universidad de la República (co-chair) Alex Garcia, IME Alvaro Moreira, Federal University of Rio Grande do Sul Andre Rauber Du Bois, Federal University of Pelotas Carlos Camarão, Federal University of Minas Gerais Christiano Braga, Fluminense Federal University Doaitse Swierstra, Utrecht University (co-chair) Fabio Mascarenhas, Federal University of Rio de Janeiro Fernando Pereira, Federal University of Minas Gerais Fernando Castor, Federal University of Pernambuco Francisco Carvalho-Junior, Federal University of Ceara Hans-Wolfgang Loidl, Heriot-Watt University João Saraiva, University of Minho João F. Ferreira, Teesside University Louis-Noel Pouchet, University of California, Los Angeles Lucilia Figueiredo, Federal University of Ouro Preto Luis Barbosa, University of Minho Manuel A. Martins, University of Aveiro Marcelo Maia, Federal University of Uberlândia Marcelo D'Amorim, Federal University of Pernambuco Mariza Bigonha, Federal University of Minas Gerais Martin Musicante, Federal University of Rio Grande do Norte Noemi Rodriguez, PUC-Rio Peter Mosses, Swansea University Rafael Lins, Federal University of Pernambuco Renato Cerqueira, PUC-Rio Roberto Bigonha, Federal University of Minas Gerais Roberto Ierusalimschy PUC-Rio Rodrigo Geraldo, Federal University of Ouro Preto Sandro Rigo, State University of Campinas Sérgio Medeiros, Federal University of Rio Grande do Norte Simon Thompson, University of Kent Varmo Vene, University of Tartu Zongyan Qiu Peking University

1 0

Haskell Weekly News
by Kim-Ee Yeoh 14 Apr '15

14 Apr '15

*Top picks:* - Aditya Siram announces the first release of Haskell bindings <http://haskell.1045720.n5.nabble.com/Announcement-FLTKHS-Bindings-to-the-FL…> to the C++-based FLTK cross-platform GUI library. FLTK <http://www.fltk.org/> can be used to build a modern windows-and-widgets-based desktop app and comes with a UI builder called FLUID. - The startup called Helium releases a "homegrown Webmachine-inspired web framework in Haskell." <http://blog.helium.com/helium/2015/04/01/helium-webmachine-airship.html> Airship is very small (just under 1000 LoC) and extremely unopinionated: it works with any WAI-compatible web server and any templating language (including none at all!). Reddit discussion. <http://www.reddit.com/r/haskell/comments/312pk2/haskell_webmachine_airship/> - Adam Chlipala releases a new Ur/Web library for producing custom event-planning web apps <http://www.impredicative.com/pipermail/ur/2015-April/001928.html> quickly. All you need to do is "assemble highly parametrized components." - Abe Voelker <https://blog.abevoelker.com/you-got-haskell-in-my-ruby-cleaner-ruby-validat…> finds himself wanting algebraic data types and pattern matching when writing Ruby. He presents an evolution of a file upload validator, culminating in a finale that uses an Either monad provided by a Ruby gem called Kleisli. - Eitan Chatav shares a correct-by-construction JSON serializer/deserializer <http://lpaste.net/130064> using lens-json. - Wouldn't it be neat to get profiling info without stopping the program and pissing off your users? Mark Wotton <https://ghc.haskell.org/trac/ghc/ticket/10235> has filed exactly such a feature request. - Is Call Arity optimization to blame for your 7.10 compilation slowdowns? Joachim Breitner <http://ghc.haskell.org/trac/ghc/ticket/10293> investigates. - Ever felt Haskell on Windows is 2nd class, even though it's Tier-1 according to the Platform? Well, installing hmatrix on Win requires additional steps, as Redditor wrvn <http://www.reddit.com/r/haskell/comments/322iut/trying_to_install_hmatrix_o…> kindly explains. - Do you program in Haskell using emacs? You must be using haskell-mode then. Here's monthly news <https://github.com/haskell/haskell-mode/wiki/Month-in-haskell-mode-March-20…> straight from the haskell-mode development team. - Dominic Steinitz <http://haskell.1045720.n5.nabble.com/A-Random-Strawman-tp5768239.html> raises awareness about the brokenness of System.Random. Solution? Use tf-random for now. - Big number exponentiation segfaults, in this reddit discussion. <http://www.reddit.com/r/haskell/comments/31yajd/can_you_explain_this/> Turns out it's a bug <https://ghc.haskell.org/trac/ghc/ticket/10282> involving the GNU Multi-precision Library. Make sure you have the latest GMP version 6. - Devan Stormont <https://voyageintech.wordpress.com/2015/04/02/haskell-library-for-forecast-…> creates his first hackage library that obtains weather forecast data via a web-based API. He writes, "The really brilliant part is in being able to completely replace a core piece of an app within a single day and having complete confidence in the result. It’s moments like this that make you really happy to be working with such a powerful language as Haskell." - Carl <http://stackoverflow.com/questions/29455850/pretty-printing-with-free-monad…> reminds us that GADT can always be pattern-matched in a case expression. "It's let expressions that cause GHC to provide amusing messages about its brain exploding." - Zohaib Rauf <http://zohaib.me/yet-another-what-is-a-monad-post/> publishes a monad tutorial. He explains that the 'M' in 'M a' is "some metadata wrapped around 'a'." *Tweets of the week:* - John Carmack: <https://twitter.com/ID_AA_Carmack/status/585871417855516672> If I had to write software that my life depended on, I would seriously consider using Haskell. - shanelogsdon: <https://twitter.com/shanelogsdon/status/586145419639578625> tried the #haskell web framework http://www.spock.li/ last night with a meaningless micro benchmark. ~38k req/s is pretty quick - AlexanderKatt: <https://twitter.com/AlexanderKatt/status/583279982186786817> 'it is entirely unnecessary to understand category theory in order to understand monads in #haskell' said the guys who know category theory - justusadam_: <https://twitter.com/justusadam_/status/586939066748379136> I'm warming up to the idea of using #Haskell more. Wonderful language but the syntax and some of the concepts were difficult to understand - least_nathan: <https://twitter.com/least_nathan/status/581544451597709312> Algebraic Data Types Considered Harmful: once you use them, every language lacking them drives you to madness. #LangSec - chwthewke: <https://twitter.com/chwthewke/status/583385239138996224> #Haskell is a very hot programming language :) No, really, an hour of it and my laptop is on the verge of becoming a brown dwarf :D - robinbateboerop: <https://twitter.com/robinbateboerop/status/583396694047481857> Troll tries to get banned from #Haskell IRC channel, decides to learn Haskell <http://buff.ly/1NFKWiX> instead. - stephan_gfx: <https://twitter.com/stephan_gfx/status/583493468162400256> Cool, cabal will multithread installation/build if you run it with the -j option. cabal install -j <package_name> - Pythux: <https://twitter.com/Pythux/status/583535948408958976> One thing I learned at Haskell's meetup yesterday: it's possible to create a start-up with Haskell full stack! #Haskell #Awesome *Quote of the week:* - Lisp, Haskell and other FP are currently killing it in the quiet world of DSLs, especially Mining, Oil & Gas industries which need to parse petaflops of seismic data and reservoir simulations, need rapid prototyping, need formally verified drilling platform components that field engineers can interact with easily, and HPC algorithms for financial trading. -- Source <https://news.ycombinator.com/item?id=9317567#up_9318837> -- Kim-Ee

1 0

LOLA 2015: Second Call for Talk Proposals
by Ulrich Schöpp 13 Apr '15

13 Apr '15

SECOND CALL FOR TALK PROPOSALS ______________________________________________________________________ LOLA 2015: Syntax and Semantics of Low Level Languages Sunday, 5 July 2015, Kyoto, Japan A satellite workshop of ICALP/LICS http://lola15.tcs.ifi.lmu.de ______________________________________________________________________ /Important Dates/ Abstract submission: Monday, 20 April 2015 Author notification: Friday, 1 May 2015 LOLA 2015 workshop: Sunday, 5 July 2015 /Invited Speakers/ Katsuhiro Ueno, Tohoku University, Japan Other invited speakers to be announced. /Workshop Description/ It has been understood since the late 1960s that tools and structures arising in mathematical logic and proof theory can usefully be applied to the design of high level programming languages, and to the development of reasoning principles for such languages. Yet low level languages, such as machine code, and the compilation of high level languages into a low level ones have traditionally been seen as having little or no essential connection to logic. However, a fundamental discovery of this past decade has been that low level languages are also governed by logical principles. From this key observation has emerged an active and fascinating new research area at the frontier of logic and computer science. The practically-motivated design of logics reflecting the structure of low level languages (such as heaps, registers and code pointers) and low level properties of programs (such as resource usage) goes hand in hand with some of the most advanced contemporary research in semantics and proof theory, including classical realizability and forcing, double orthogonality, parametricity, linear logic, game semantics, uniformity, categorical semantics, explicit substitutions, abstract machines, implicit complexity and resource bounded programming. The LOLA workshop, affiliated with LICS 2015, will bring together researchers interested in many aspects of the relationship between logic and low level languages and programs. Topics of interest include, but are not limited to: - Typed assembly languages - Certified assembly programming - Certified and certifying compilation - Relaxed memory models - Proof-carrying code - Program optimization - Modal logic and realizability in machine code - Realizability and double orthogonality in assembly code - Parametricity, modules and existential types - General references, Kripke models and recursive types - Continuations and concurrency - Implicit complexity, sublinear programming and Turing machines - Closures and explicit substitutions - Linear logic and separation logic - Game semantics, abstract machines and hardware synthesis - Monoidal and premonoidal categories, traces and effects /Submission Information/ LOLA is an informal workshop aiming at a high degree of useful interaction amongst the participants, welcoming proposals for talks on work in progress, overviews of larger programmes, position presentations and short tutorials as well as more traditional research talks describing new results. The program committee will select the workshop presentations from submitted talk proposals, which may take the form either of a *two page abstract* or of a longer (published or unpublished) paper describing completed work. Abstracts can be submitted using EasyChair at https://www.easychair.org/conferences/?conf=lola2015 /Program Committee/ Ichiro Hasuo (University of Tokyo) Chung-Kil Hur (Seoul National University) Shin-ya Katsumata (RIMS, Kyoto University, co-chair) Damiano Mazza (CNRS, LIPN--University Paris 13) Magnus Myreen (University of Cambridge) Ulrich Schoepp (LMU Munich, co-chair) Nikhil Swamy (Microsoft Research, Redmond) Nicolas Tabareau (CNRS, INRIA) Noam Zeilberger (Microsoft Research--INRIA)

1 0

VACANCIES : 3x PhD position in Fuctional Programming
by Johan Jeuring 09 Apr '15

09 Apr '15

The research group of Software Technology is part of the Software Systems division of in the department of Information and Computer Science at the Utrecht University. We focus our research on functional programming, compiler construction, tools for learning and teaching (serious games, intelligent tutoring systems), program analysis, validation, and verification. Financed by the Technology Foundation STW, the EU, and Utrecht University we currently have job openings for: ** 3x PhD researcher (PhD student) in Functional Programming ** We are looking for PhD students to develop functional programming techniques related to parsing, rewriting, property-based testing, dependently typed programming, or program analysis, and to apply these techniques in several applications, such as distributed systems, applied games, dialogue management systems, or assessment tools. Besides research, the successful candidate will be expected to help supervise MSc students and assist courses. We prefer candidates to start no later than September 2015. --------------------------------- What we are looking for --------------------------------- The candidate should have an MSc in Computer Science with good grades, be highly motivated to pursue a PhD, and speak and write English well. Knowledge of functional programming, such as Haskell or ML is essential. --------------------------------- What we offer --------------------------------- The candidate is offered a full-time salaried position for four years. The salary is supplemented with a holiday bonus of 8% and an end-of-year bonus of 8,3% per year. In addition we offer: a pension scheme, partially paid parental leave, flexible employment conditions. Conditions are based on the Collective Labour Agreement Dutch Universities. The research group will provide the candidate with necessary support on all aspects of the project. More information is available on the website: Terms and employment: http://bit.ly/1elqpM7 Salary starts at € 2,083.- and increases to € 2,664.- gross per month in the fourth year of the appointment. Utrecht is a great place to live, having been ranked as one of the happiest places in the world, according to BBC travel. Living in Utrecht: http://bitly.com/HdbL0X --------------------------------- In order to apply --------------------------------- To apply please attach a letter of motivation, a curriculum vitae, and (email) addresses of two referees. Make sure to also include a transcript of the courses you have followed (at bachelor and master level), with the grades you obtained, and to include a sample of your scientific writing, such as your master thesis. It is possible to apply for this position if you are close to obtaining your Master's. In that case include a letter of your supervisor with an estimate of your progress, and do not forget to include at least a sample of your technical writing skills. Applications are accepted until the positions are filled. Send your application via email to Johan Jeuring: J.T.Jeuring(a)uu.nl --------------- Contact person --------------- For further information you can direct your inquiries to: Johan Jeuring phone: +31 (0)30 253 4115/ (0) 6 40010053 e-mail: J.T.Jeuring(a)uu.nl website: http://www.staff.science.uu.nl/~jeuri101/

1 0

Final CFP: WPTE 2015 Second International Workshop on Rewriting Techniques for Program Transformations and Evaluation
by David Sabel 09 Apr '15

09 Apr '15

FINAL CALL FOR PAPERS Second International Workshop on Rewriting Techniques for Program Transformations and Evaluation WPTE 2015 affiliated with RDP 2015 2 July, 2015, Warsaw, Poland http://www.trs.cm.is.nagoya-u.ac.jp/event/wpte2015/ Aims and Scope ============== The aim of WPTE is to bring together the researchers working on program transformations, evaluation, and operationally-based programming language semantics, using rewriting methods, in order to share the techniques and recent developments and to exchange ideas to encourage further activation of research in this area. The previous WPTE was held in Vienna 2014. Topics of interest in the scope of this workshop include: * Correctness of program transformations, optimizations and translations. * Program transformations for proving termination, confluence and other properties. * Correctness of evaluation strategies. * Operational semantics of programs, operationally-based program equivalences such as contextual equivalences and bisimulations. * Cost-models for reasoning about the optimizing power of transformations and the costs of evaluation. * Program transformations for verification and theorem proving purposes. * Translation, simulation, equivalence of programs with different formalisms, and evaluation strategies. * Program transformations for applying rewriting techniques to programs in specific programming languages. * Program transformations for program inversions and program synthesis. * Program transformation and evaluation for Haskell and Rewriting. The programming languages of interest include pure, deterministic, impure, nondeterministic, concurrent, parallel languages, and may employ programming paradigms such as functional, logical, typed, imperative, object-oriented, and higher-order. 'Program transformation and evaluation for Haskell and Rewriting' is a new topic of this workshop: equational reasoning and other rewriting techniques for program verification and analysis; lambda calculi and type systems for functional programs and higher-order rewrite systems; rewriting of type expressions in the type checker; rewriting of programs by refactoring tools, optimizers, code generators; execution of programs as a form of graph rewriting (terms with sharing); Template Haskell, generally introducing a rewriting-like macro language into the compilation process; rewriting modulo commonly occurring axioms such as associativity, commutativity, and identity element. Invited Speaker =============== Brigitte Pientka (McGill University) Proceedings =========== The WPTE-proceedings will be published in the 'OpenAccess Series in Informatics (OASIcs)' of 'Schloss Dagstuhl Leibniz-Zentrum fuer Informatik' by the workshop day. Extended abstracts on work in progress are not included in the OASIcs proceedings but they will be included in the USB memory which is distributed to the RDP participants. Paper Submissions ================= WPTE accepts two different kinds of contributions: * Full-papers: ------------ Full-papers must represent original work and should be submitted using the OASIcs LaTeX templates. Full-papers should not exceed 12 pages. Accepted papers will be included in the OASIcs proceedings. * Work in progress: ----------------- There will also be a slot for presenting work in progress. An extended abstract of at most 4 pages is required to be submitted using the OASIcs LaTeX templates. These contributions will not be included in the OASIcs proceedings for full-papers but they will be distributed to the workshop participants. One author of each accepted paper or abstract is expected to present it at the workshop. Important Dates =============== * Submission deadline: 17 April 2015 * Notification of acceptance: 15 May 2015 * Deadline for camera-ready proceedings: 29 May 2015 * Workshop: 2 July 2015, Warsaw, Poland Weblinks ======== * EasyChair Submission Website https://www.easychair.org/conferences/?conf=wpte2015 * Homepage of WPTE 2015 http://www.trs.cm.is.nagoya-u.ac.jp/event/wpte2015/ * OASIcs Website (including LaTeX templates): http://www.dagstuhl.de/en/publications/oasics * RDP 2015 http://rdp15.mimuw.edu.pl Program Committee ================= Takahito Aoto (RIEC, Tohoku University) Yuki Chiba (JAIST) Fer-Jan de Vries (University of Leicester) Santiago Escobar (Universitat Politecnica de Valencia) - chair Johan Jeuring (Open Universiteit Nederland and Universiteit Utrecht) Delia Kesner (Universite Paris-Diderot) Serguei Lenglet (Universite de Lorraine) Elena Machkasova (University of Minnesota, Morris) William Mansky (University of Pennsylvania) Joachim Niehren (INRIA Lille) Naoki Nishida (Nagoya University) - chair Kristoffer H Rose (Two Sigma Investments, LLC) Manfred Schmidt-Schauss (Goethe-University Frankfurt am Main) David Sabel (Goethe-University Frankfurt am Main) Masahiko Sakai (Nagoya University) Janis Voigtlaender (University of Bonn) Johannes Waldmann (HTWK Leipzig) Harald Zankl (University of Innsbruck) Organizers ========== Yuki Chiba (JAIST) Santiago Escobar (Universitat Politecnica de Valencia) Naoki Nishida (Nagoya University) - chair Manfred Schmidt-Schauss (Goethe-University Frankfurt am Main) - chair David Sabel (Goethe-University Frankfurt am Main)

1 0

Last CFP Bx'15: 4th International Workshop on Bidirectional Transformations
by Alcino Cunha 08 Apr '15

08 Apr '15

LAST CALL FOR PAPERS Fourth International Workshop on Bidirectional Transformations (Bx 2015) L'Aquila, Italy (co-located with STAF, July 24, 2015) http://bx-community.wikidot.com/bx2015:home Bidirectional transformations (Bx) are a mechanism for maintaining the consistency of at least two related sources of information. Such sources can be relational databases, software models and code, or any other document following standard or ad-hoc formats. Bx are an emerging topic in a wide range of research areas, with prominent presence at top conferences in several different fields (namely databases, programming languages, software engineering, and graph transformation), but with results in one field often getting limited exposure in the others. Bx 2015 is a dedicated venue for Bx in all relevant fields, and is part of a workshop series that was created in order to promote cross-disciplinary research and awareness in the area. As such, since its beginning in 2012, the workshop rotated between venues in different fields. In 2015, Bx is co-located with STAF for the first time. IMPORTANT DATES Abstract submission: 24 April 2015 Paper submission: 8 May 2015 Author notification: 5 June 2015 Camera-ready version: 19 June 2015 Workshop date: 24 July 2015 AIM AND TOPICS The aim of the workshop is to bring together researchers and practitioners, established and new, interested in Bx from different perspectives, such as: * data and model synchronization * view updating * inter-model consistency analysis and repair * data/schema (or model/metamodel) co-evolution * coupled software/model transformations * inversion of transformations and data exchange mappings * domain-specific languages for Bx * analysis and classification of requirements for Bx * bridging the gap between formal concepts and application scenarios * analysis of efficiency of transformation algorithms and benchmarks * survey and comparison of Bx technologies * case studies and tool support PAPER CATEGORIES Submissions to Bx 2015 can be: * Regular papers (up to 15 pages) - in-depth presentations of novel concepts and results - applications of Bx to new domains - survey papers providing novel comparisons between existing technologies - case studies * Short papers (up to 8 pages) - work in progress - small focused contributions - position papers and research perspectives * Tool papers (up to 8 pages) - presentation of new tools or substantial improvements to existing ones * Benchmark papers (up to 8 pages) - new benchmark proposals, focusing on assessing aspects of Bx not covered by the examples currently available at the Bx example repository SUBMISSION GUIDELINES Submitted papers must follow the CEUR one column style available at http://ceur-ws.org/Vol-XXX/samplestyles/. Tool papers must refer to a web page describing how to download and install the presented tool. Papers describing tools that have already been published elsewhere are expected to contain substantial and clearly identified extensions to the tool. Benchmark papers should follow the template of the Bx example repository (http://bx-community.wikidot.com/examples:home) and clearly justify the relevance of the new benchmark as a means to assess Bx tools and techniques (in particular, submissions of cross-disciplinary benchmarks are encouraged). Moreover, they must refer to a web page providing supporting artifacts (metamodels/schemas, model/data instances for interesting test cases, executable consistency checkers, etc). Papers must be submitted via the EasyChair system: https://www.easychair.org/conferences/?conf=bx2015 Submissions not complying with the above guidelines or page limits may be excluded from the reviewing process without further notice. If a paper is accepted, one author of the paper is expected to participate in the workshop to present it. Authors of accepted tool papers are also expected to be available to demonstrate their tool at the event. PROCEEDINGS AND SPECIAL ISSUE The workshop proceedings, including all accepted papers, will be published electronically by CEUR (http://ceur-ws.org) Authors of accepted papers (of all categories) that have high-quality and the potential to be extended into journal articles will be invited to submit a revised and extended version of their paper to a special issue of the Journal of Object Technology (http://www.jot.fm) these papers will then be subject to a careful reviewing and selection process according to the scientific standards of the Journal of Object Technology. PROGRAM CO-CHAIRS * Alcino Cunha, University of Minho, Portugal * Ekkart Kindler, Technical University of Denmark, Denmark PROGRAM COMMITTEE MEMBERS * Anthony Anjorin, Technical University of Darmstadt, Germany * Anthony Cleve, University of Namur, Belgium * Romina Eramo, University of L'Aquila, Italy * Jeremy Gibbons, University of Oxford, UK * Holger Giese, Hasso Plattner Institute, Germany * Soichiro Hidaka, NII, Japan * Michael Johnson, Macquarie University, Australia * Peter McBrien, Imperial College, UK * Hugo Pacheco, Cornell University, USA * Jorge PÈrez, Universidad de Chile, Chile * Arend Rensink, Twente University, Netherlands * Perdita Stevens, University of Edinburgh, UK * James Terwilliger, Microsoft, USA * Meng Wang, Chalmers University of Technology, Sweden * Jens Weber, University of Victoria, Canada * Yingfei Xiong, Peking University, China

1 0