[TYPES/announce] Call for Participation: WFLP 2016 and co-located events
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] 24th International Workshop on Functional and (Constraint) Logic Programming (WFLP 2016) https://wflp2016.github.io/ September 13-14, part of the Leipzig Week of Declarative Programming (L-DEC 2016) Registration is now open, see: http://nfa.imn.htwk-leipzig.de/LDEC2016/registration/ Note the package prices combining co-located events, and the early registration deadline of August 15 (bank transfer must have been received by that date to secure the reduced fee). A highlight at WFLP will be an invited talk by Anthony Anjorin. *** The international workshops on functional and (constraint) logic programming aim at bringing together researchers, students, and practitioners interested in functional programming, logic programming, and their integration. This year the workshop is co-located with * WLP 2016, September 12-13 and * HaL 2016, September 14-15 in order to promote the cross-fertilizing exchange of ideas and experiences among and between the communities interested in the foundations, applications, and combinations of high-level, declarative programming languages and related areas. Combined, the three workshops offer two invited talks, an invited musical performance, and more than 25 contributed talks and tutorials. The lists of presentations can be found at: * http://nfa.imn.htwk-leipzig.de/WLP2016/WLP16accepted.html * https://wflp2016.github.io/accepted.html * http://hal2016.haskell.org/#program and the layout of the overall programme at http://nfa.imn.htwk-leipzig.de/LDEC2016/program/
[TYPES/announce] WFLP 2016 - Deadline Extension
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] 24th International Workshop on Functional and (Constraint) Logic Programming (WFLP 2016) https://wflp2016.github.io/ September 13-14, part of the Leipzig Week of Declarative Programming (L-DEC 2016) The deadlines have been extended by a week, but are nearing soon. We will have proceedings published by EPTCS (http://www.eptcs.org/). Both full technical papers and less formal work-in-progress reports are welcome, as are system descriptions. More details below and on the web page. *** Deadlines: * abstract submission: June 22, 2016 (extended) * paper submission: June 29, 2016 (extended) * notification: July 15, 2016 * camera-ready (workshop) version due: August 10, 2016 Submissions can be directly accepted for publication in the formal EPTCS proceedings, or accepted for presentation at the workshop and invited to another round of reviewing after revision. *** The international workshops on functional and (constraint) logic programming aim at bringing together researchers, students, and practitioners interested in functional programming, logic programming, and their integration. This year the workshop is co-located with two other events as part of http://nfa.imn.htwk-leipzig.de/LDEC2016/ in order to promote the cross-fertilizing exchange of ideas and experiences among and between the communities interested in the foundations, applications, and combinations of high-level, declarative programming languages and related areas. Topics of interest for WFLP 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 * Implementation of declarative languages * Advanced programming environments and tools * Software engineering 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. There are separate submission categories for work-in-progress reports and system descriptions. Authors are welcome to indicate that they want to present their work in a talk but not include a paper in the formal proceedings. Submission is via EasyChair at https://easychair.org/conferences/?conf=wflp2016 The formal proceedings are prepared jointly with WLP 2016 and will be published in EPTCS: http://www.eptcs.org/ More details about submission format, LaTeX style etc., can be found on the web page: https://wflp2016.github.io/ *** Program Committee: * Slim Abdennadher, German University in Cairo, Egypt * Sergio Antoy, Portland State University, USA * Sebastian Fischer, Freelancer, Germany * Francisco J. Lopez Fraguas, Universidad Complutense de Madrid, Spain * Michael Hanus, University of Kiel, Germany * Sebastiaan Joosten, University of Innsbruck, Austria * Kazutaka Matsuda, Tohoku University, Japan * Martin Sulzmann, Karlsruhe University of Applied Sciences, Germany * Janis Voigtlaender (Chair), University of Bonn, Germany
[TYPES/announce] 2nd Call for Papers: WFLP 2016 - Update: EPTCS Proceedings
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] 24th International Workshop on Functional and (Constraint) Logic Programming (WFLP 2016) https://wflp2016.github.io/ September 13-14, part of the Leipzig Week of Declarative Programming (L-DEC 2016) *** Deadlines: * abstract submission: June 15, 2016 * paper submission: June 22, 2016 * notification: July 15, 2016 * camera-ready (workshop) version due: August 10, 2016 Papers can be directly accepted for publication in the formal EPTCS proceedings, or accepted for presentation at the workshop and invited to another round of reviewing after revision. More details on the web page. *** The international workshops on functional and (constraint) logic programming aim at bringing together researchers, students, and practitioners interested in functional programming, logic programming, and their integration. This year the workshop is co-located with two other events as part of http://nfa.imn.htwk-leipzig.de/LDEC2016/ in order to promote the cross-fertilizing exchange of ideas and experiences among and between the communities interested in the foundations, applications, and combinations of high-level, declarative programming languages and related areas. Topics of interest for WFLP 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 * Implementation of declarative languages * Advanced programming environments and tools * Software engineering 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. There are separate submission categories for work-in-progress reports and system descriptions. Authors are welcome to indicate that they want to present their work in a talk but not include a paper in the formal proceedings. Submission is via EasyChair at https://easychair.org/conferences/?conf=wflp2016 The formal proceedings will be published in EPTCS: http://www.eptcs.org/ More details about submission format, LaTeX style etc., can be found on the web page: https://wflp2016.github.io/ *** Program Committee: * Slim Abdennadher, German University in Cairo, Egypt * Sergio Antoy, Portland State University, USA * Sebastian Fischer, Freelancer, Germany * Francisco J. Lopez Fraguas, Universidad Complutense de Madrid, Spain * Michael Hanus, University of Kiel, Germany * Sebastiaan Joosten, University of Innsbruck, Austria * Kazutaka Matsuda, Tohoku University, Japan * Martin Sulzmann, Karlsruhe University of Applied Sciences, Germany * Janis Voigtlaender (Chair), University of Bonn, Germany
[TYPES/announce] Call for Papers: WFLP 2016 - Workshop on Functional and (Constraint) Logic Programming
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] 24th International Workshop on Functional and (Constraint) Logic Programming (WFLP 2016) https://wflp2016.github.io/ September 13-14, part of the Leipzig Week of Declarative Programming (L-DEC 2016) *** Deadlines: * abstract submission: June 15, 2016 * paper submission: June 22, 2016 * notification: July 15, 2016 * final version due: August 10, 2016 *** The international workshops on functional and (constraint) logic programming aim at bringing together researchers, students, and practitioners interested in functional programming, logic programming, and their integration. This year the workshop is co-located with two other events as part of http://nfa.imn.htwk-leipzig.de/LDEC2016/ in order to promote the cross-fertilizing exchange of ideas and experiences among and between the communities interested in the foundations, applications, and combinations of high-level, declarative programming languages and related areas. Topics of interest for WFLP 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 * Implementation of declarative languages * Advanced programming environments and tools * Software engineering 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. There are separate submission categories for work-in-progress reports and system descriptions. Authors are welcome to indicate that they want to present their work in a talk but not include a paper in the proceedings. The workshop proceedings will be published in CEUR or EPTCS. *** Program Committee: * Slim Abdennadher, German University in Cairo, Egypt * Sergio Antoy, Portland State University, USA * Sebastian Fischer, Freelancer, Germany * Francisco J. Lopez Fraguas, Universidad Complutense de Madrid, Spain * Michael Hanus, University of Kiel, Germany * Sebastiaan Joosten, University of Innsbruck, Austria * Kazutaka Matsuda, Tohoku University, Japan * Martin Sulzmann, Karlsruhe University of Applied Sciences, Germany * Janis Voigtlaender (Chair), University of Bonn, Germany
[TYPES/announce] WPTE 2015: call for participation
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] === CALL FOR PARTICIPATION 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/ !! The early registration deadline ends on May 22 !! 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. Registration http://rdp15.mimuw.edu.pl/index.php?site=registration Note that early registration ends on May 22. Talks = * Brigitte Pientka Invited talk, TBA * Giulio Guerrieri Head reduction and normalization in a call-by-value lambda-calculus * Guillaume Madelaine, Cedric Lhoussaine, and Joachim Niehren Structural simplification of chemical reaction networks preserving deterministic semantics * Naosuke Matsuda A simple extension of the Curry-Howard correspondence with intuitionistic lambda rho calculus * Adrian Palacios and German Vidal Towards Modelling Actor-Based Concurrency in Term Rewriting * David Sabel and Manfred Schmidt-Schauss Observing Success in the Pi-Calculus * Koichi Sato, Kentaro Kikuchi, Takahito Aoto and Yoshihito Toyama Context-Moving Transformation for Term Rewriting Systems * Sjaak Smetsers, Ken Madlener, and Marko Van Eekelen Formalizing Bialgebraic Semantics in PVS 6.0 ===
[TYPES/announce] Deadline extended: WPTE 2015 Second International Workshop on Rewriting Techniques for Program Transformations and Evaluation
(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)
[TYPES/announce] 2nd CfP: WFLP 2014 - Workshop on Functional and (Constraint) Logic Programming
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] (note: Deadline extended to July 10th) *** 23rd International Workshop on Functional and (Constraint) Logic Programming http://www.imn.htwk-leipzig.de/WFLP2014/ colocated with 28th Workshop on (Constraint) Logic Programming (WLP 2014) September 15 - 17, at Leucorea conference center in Lutherstadt Wittenberg, Germany. *** Dates: * submission closes: July 10, 2014 * notification: August 4, 2014 * final version due: September 1, 2014 * workshop: September 15 - 17, 2014 *** 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, 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. The joint workshop will consist of two tracks (WFLP and WLP). Sessions of these two tracks will be interleaved. 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. Program Committee (WFLP track) Elvira Albert, Complutense University of Madrid, Spain Sergio Antoy, Portland State University Mauricio Ayala-Rincon, University of Brasilia, Brazil William Byrd, University of Utah Michael Hanus , Universität Kiel, Germany Herbert Kuchen, Universität Münster, Germany Carlos Olarte, DECC, Pontificia Universidad Javeriana Cali, Colombia Janis Voigtländer, Universität Bonn, Germany Johannes Waldmann (chair), HTWK Leipzig, Germany Peter J. Stuckey, NICTA and the University of Melbourne, Australia René Thiemann, University of Innsbruck, Austria Organising Committee Stefan Brass (chair) Universität Halle, Germany
[TYPES/announce] HART 2014 - Second Workshop on Haskell And Rewriting Techniques (co-located with ICFP 2014)
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] 2nd CALL FOR PAPERS Second Workshop on Haskell And Rewriting Techniques (HART 2014) http://www.program-transformation.org/HART14/ To be held on September 5, co-located with ICFP, the Haskell Symposium, etc., in Gothenburg. Haskell is an advanced purely-functional programming language. Pure functional programming is programming with equations, often defined by pattern-matching. Rewriting is the science of replacing equals by equals and thus a very powerful method for dealing with equations, often constructor-based. There are strong connections between Haskell (or generally, pure functional) programming and rewriting. The purpose of the HART workshop is to foster those connections. In addition to an invited talk by Oleg Kiselyov, we plan a half day of discussions, in an informal setting, on how Haskell (and related languages) and rewriting techniques and theories can cross-fertilize each other. Topics of interest are, for example: - 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. This list of topics is non-exclusive. If you have a contribution that connects Haskell and rewriting, then submit. Also, the workshop is deliberately open for discussion of rewriting-related aspects of languages like Agda, Clean, ... When in doubt, please contact a member of the PC (see below). Dates: == July 2: deadline for submissions July 21: notification of acceptance September 5: workshop Submission and proceedings: === We solicit two types of submissions: - Extended abstracts. Presenting original research, and also preliminary reports of work in progress. Will be included in the proceedings. - Presentation-only papers. Describing work recently published or submitted. Only abstract will be included in the proceedings. Papers should be at most 5 pages in length, and should use the easychair.cls style. Submission is electronically at https://www.easychair.org/conferences/?conf=hart2014 In line with the informal style of the workshop, the reviewing of submissions will be light. Proceedings will be made available electronically. Program committee: == Bertram Felgenhauer Carsten Fuhs Andy Gill Makoto Hamana Bastiaan Heeren Femke van Raamsdonk Tiark Rompf Kristoffer Rose (co-chair) Christian Sternagel Janis Voigtländer (co-chair) Johannes Waldmann
[TYPES/announce] Second Workshop on Haskell And Rewriting Techniques (HART 2014, co-located with ICFP 2014)
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] CALL FOR PAPERS Second Workshop on Haskell And Rewriting Techniques (HART 2014) http://www.program-transformation.org/HART14/ To be held on September 5, co-located with ICFP, the Haskell Symposium, etc., in Gothenburg. Haskell is an advanced purely-functional programming language. Pure functional programming is programming with equations, often defined by pattern-matching. Rewriting is the science of replacing equals by equals and thus a very powerful method for dealing with equations, often constructor-based. There are strong connections between Haskell (or generally, pure functional) programming and rewriting. The purpose of the HART workshop is to foster those connections. In addition to an invited talk by Oleg Kiselyov, we plan a half day of discussions, in an informal setting, on how Haskell (and related languages) and rewriting techniques and theories can cross-fertilize each other. Topics of interest are, for example: - 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. This list of topics is non-exclusive. If you have a contribution that connects Haskell and rewriting, then submit. Also, the workshop is deliberately open for discussion of rewriting-related aspects of languages like Agda, Clean, ... When in doubt, please contact a member of the PC (see below). Dates: == July 2: deadline for submissions July 21: notification of acceptance September 5: workshop Submission and proceedings: === We solicit two types of submissions: - Extended abstracts. Presenting original research, and also preliminary reports of work in progress. Will be included in the proceedings. - Presentation-only papers. Describing work recently published or submitted. Only abstract will be included in the proceedings. Papers should be at most 5 pages in length, and should use the easychair.cls style. Submission is electronically at https://www.easychair.org/conferences/?conf=hart2014 In line with the informal style of the workshop, the reviewing of submissions will be light. Proceedings will be made available electronically. Program committee: == Bertram Felgenhauer Carsten Fuhs Andy Gill Makoto Hamana Bastiaan Heeren Femke van Raamsdonk Tiark Rompf Kristoffer Rose (co-chair) Christian Sternagel Janis Voigtländer (co-chair) Johannes Waldmann
[TYPES/announce] Second CFP: WPTE'14, First International Workshop on Rewriting Techniques for Program Transformations and Evaluation
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] CALL FOR PAPERS First International Workshop on Rewriting Techniques for Program Transformations and Evaluation (WPTE'14) affiliated with RTA/TLCA 2014 (a FLoC 2014 workshop, FLoC is part of the Vienna Summer of Logic 2014) 13th July 2014, Vienna, Austria http://www.ki.informatik.uni-frankfurt.de/WPTE14 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. Topics of interest and in the scope of WPTE are: * 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 arguing 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 inversions and program synthesis. The programming languages of interest include pure, deterministic, impure, non-deterministic, concurrent, parallel languages, and may employ programming paradigms such as functional, logical, typed, imperative, object-oriented, and higher-order. Paper Submissions and Proceedings = WPTE accepts two different kinds of contributions: * Full-papers: Full-papers must represent original work and should be submitted using the EasyChair interface. We plan to publish full-papers as formal proceedings in the 'OpenAccess Series in Informatics (OASIcs)' of 'Schloss Dagstuhl Leibniz-Zentrum fuer Informatik'. Full-papers should not exceed 12 pages using the OASIcs LaTeX-templates. * 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 EasyChair interface. These contributions will not be included in the OASIcs proceedings but they will be distributed to the workshop partipicants. One author of each accepted paper or abstract is expected to present it at the workshop. Important Dates === * Submission deadline: 25 April 2014 * Notification of acceptance: 23 May 2014 * Deadline for camera-ready proceedings: 28 May 2014 * Workshop: 13 July 2014, Austria, Vienna Weblinks * EasyChair Submission Website https://www.easychair.org/conferences/?conf=wpte14 * Homepage of WPTE'14 http://www.ki.informatik.uni-frankfurt.de/WPTE14 * OASIcs Website (including LaTeX templates): http://www.dagstuhl.de/en/publications/oasics * Vienna Summer of Logic 2014 http://vsl2014.at Program Committee = Takahito Aoto (RIEC, Tohoku University) Yuki Chiba (Japan Advanced Institute of Science and Technology) Fer-Jan de Vries (University of Leicester) Santiago Escobar (Universitat Politècnica de València) Maribel Fernández (King's College London) Johan Jeuring (Open Universiteit Nederland and Universiteit Utrecht) Delia Kesner (Université Paris-Diderot) Sergueï Lenglet(Université de Lorraine) Elena Machkasova (University of Minnesota, Morris) Joachim Niehren(INRIA Lille) David Sabel(Goethe-University Frankfurt am Main) Masahiko Sakai (Nagoya University) Manfred Schmidt-Schauß (Goethe-University Frankfurt am Main) - chair Eijiro Sumii (Tohoku University) Janis Voigtländer (University of Bonn) Harald Zankl (University of Innsbruck) Organizers == Manfred Schmidt-Schauß (Goethe-University Frankfurt am Main) - chair Masahiko Sakai (Nagoya University) David Sabel(Goethe-University Frankfurt am Main) Yuki Chiba (Japan Advanced Institute of Science and Technology) Sponsors Vereinigung von Freunden und Förderern der Johann Wolfgang Goethe Universität Frankfurt am Main e.V.
[TYPES/announce] CFP - Rewriting Techniques for Program Transformations and Evaluation 2014
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] CALL FOR PAPERS First International Workshop on Rewriting Techniques for Program Transformations and Evaluation (WPTE'14) affiliated with RTA/TLCA 2014 (a FLoC 2014 workshop, FLoC is part of the Vienna Summer of Logic 2014) 13th July 2014, Vienna, Austria http://www.ki.informatik.uni-frankfurt.de/WPTE14 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. Topics of interest and in the scope of WPTE are: * 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 arguing 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 inversions and program synthesis. The programming languages of interest include pure, deterministic, impure, non-deterministic, concurrent, parallel languages, and may employ programming paradigms such as functional, logical, typed, imperative, object-oriented, and higher-order. Paper Submissions and Proceedings = WPTE accepts two different kinds of contributions: * Full-papers: Full-papers must represent original work and should be submitted using the EasyChair interface. We plan to publish full-papers as formal proceedings in the 'OpenAccess Series in Informatics (OASIcs)' of 'Schloss Dagstuhl Leibniz-Zentrum fuer Informatik'. Full-papers should not exceed 12 pages using the OASIcs LaTeX-templates. * 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 EasyChair interface. These contributions will not be included in the OASIcs proceedings but they will be distributed to the workshop partipicants. One author of each accepted paper or abstract is expected to present it at the workshop. Important Dates === * Submission deadline: 25 April 2014 * Notification of acceptance: 23 May 2014 * Deadline for camera-ready proceedings: 28 May 2014 * Workshop: 13 July 2014, Austria, Vienna Weblinks * EasyChair Submission Website https://www.easychair.org/conferences/?conf=wpte14 * Homepage of WPTE'14 http://www.ki.informatik.uni-frankfurt.de/WPTE14 * OASIcs Website (including LaTeX templates): http://www.dagstuhl.de/en/publications/oasics * Vienna Summer of Logic 2014 http://vsl2014.at Program Committee = Takahito Aoto (RIEC, Tohoku University) Yuki Chiba (Japan Advanced Institute of Science and Technology) Fer-Jan de Vries (University of Leicester) Santiago Escobar (Universitat Politècnica de València) Maribel Fernández (King's College London) Johan Jeuring (Open Universiteit Nederland and Universiteit Utrecht) Delia Kesner (Université Paris-Diderot) Sergueï Lenglet(Université de Lorraine) Elena Machkasova (University of Minnesota, Morris) Joachim Niehren(INRIA Lille) David Sabel(Goethe-University Frankfurt am Main) Masahiko Sakai (Nagoya University) Manfred Schmidt-Schauß (Goethe-University Frankfurt am Main) - chair Eijiro Sumii (Tohoku University) Janis Voigtländer (University of Bonn) Harald Zankl (University of Innsbruck) Organizers == Manfred Schmidt-Schauß (Goethe-University Frankfurt am Main) - chair Masahiko Sakai (Nagoya University) David Sabel(Goethe-University Frankfurt am Main) Yuki Chiba (Japan Advanced Institute of Science and Technology)
[TYPES/announce] Second call for papers, BX 2014
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Third International Workshop on Bidirectional Transformations (BX 2014) Friday March 28th, 2014 Athens, Greece co-located with EDBT/ICDT 2014 Web site: http://bx-community.wikidot.com/bx2014:home Submission site: https://www.easychair.org/account/signin.cgi?conf=bx2014 Paper length: 3-8 pages, ACM format. In-progress work is highly encouraged, if limited to 4 pages. Bidirectional transformations (bx) are a mechanism for maintaining the consistency of at least two related sources of information. Such sources can be relational data, software models, documents, graphs, trees, and so on. BX are an emerging topic in a wide range of research areas with prominent presence at top conferences in different fields. However, much of the research in bx tends to get limited exposure outside of a single field of study. The purpose of this workshop series is not only to further research into bx, but to promote cross-disciplinary research and awareness in the area. The first two instances of this workshop, BX'12 and BX'13, served as a dedicated venue for bx in all relevant areas, including: - Databases - Programming Languages - Software Engineering - Graph Transformation This instance of the workshop is the first at a database venue. The workshop rotates between venues in different areas to promote the cross-disciplinary nature of the work, as methodologies used for bx range from classical program transformation and updateable views to graph transformation techniques, from ad-hoc techniques for data synchronization to the development of domain-specific languages and their integration. We also solicit papers on model/metamodel co-evolution, which is a different yet closely related subject. Aims and Topics The aim of the workshop is to bring together researchers and practitioners, established and new, interested in bidirectional transformations from different perspectives, such as: * inversion of data exchange mappings * new perspectives on view updatability * data-schema co-evolution and data synchronization * software-model synchronization * consistency analysis * (coupled) software/model transformations * language-based approaches Submissions can be: * novel research concepts and results * position papers and research perspectives * application of bx in new domains * analysis of gaps between formal concepts and application scenarios * examination of the efficiency of algorithms * analysis/classification of requirements for bx technologies * proposals and justification for benchmarks * summary papers providing novel comparisons between existing technologies * case studies and tool support Submitted papers must be in ACM format in accordance with the other workshops and proceedings at EDBT/ICDT. Papers may be 3-8 pages in length; the length of the paper should be appropriate for the level of completeness of the work. Important Dates: Paper submission date: 7th December 2013 Author notification: 7th January 2014 Camera-ready date: 20th January 2014 Workshop date: 28th March 2014 Accepted papers will be published in the workshop proceedings of EDBT/ICDT and will be available at the conference.
[TYPES/announce] Call for Papers - Third International Workshop on Bidirectional Transformations (BX 2014)
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Third International Workshop on Bidirectional Transformations (BX 2014) === Friday March 28th, 2014 Athens, Greece co-located with EDBT/ICDT 2014 http://bx-community.wikidot.com/bx2014:home Bidirectional transformations (bx) are a mechanism for maintaining the consistency of at least two related sources of information. Such sources can be relational data, software models, documents, graphs, trees, and so on. BX are an emerging topic in a wide range of research areas with prominent presence at top conferences in different fields. However, much of the research in bx tends to get limited exposure outside of a single field of study. The purpose of this workshop series is not only to further research into bx, but to promote cross-disciplinary research and awareness in the area. The first two instances of this workshop, BX'12 and BX'13, served as a dedicated venue for bx in all relevant areas, including: - Databases - Programming Languages - Software Engineering - Graph Transformation This instance of the workshop is the first at a database venue. The workshop rotates between venues in different areas to promote the cross-disciplinary nature of the work, as methodologies used for bx range from classical program transformation and updateable views to graph transformation techniques, from ad-hoc techniques for data synchronization to the development of domain-specific languages and their integration. We also solicit papers on model/metamodel co-evolution, which is a different yet closely related subject. Aims and Topics: The aim of the workshop is to bring together researchers and practitioners, established and new, interested in bidirectional transformations from different perspectives, such as: - inversion of data exchange mappings - new perspectives on view updatability - data-schema co-evolution and data synchronization - software-model synchronization - consistency analysis - (coupled) software/model transformations - language-based approaches Submissions can be: - novel research concepts and results - position papers and research perspectives - application of bx in new domains - analysis of gaps between formal concepts and application scenarios - examination of the efficiency of algorithms - analysis/classification of requirements for bx technologies - proposals and justification for benchmarks - summary papers providing novel comparisons between existing technologies - case studies and tool support Submitted papers must be in ACM format in accordance with the other workshops and proceedings at EDBT/ICDT. Papers may be 3-8 pages in length; the length of the paper should be appropriate for the level of completeness of the work. Important Dates: Paper submission date: 7th Dec 2013 Author notification:7th Jan 2014 Camera-ready date: 20th Jan 2014 Workshop date: 28th Mar 2014 Accepted papers will be published in the workshop proceedings of EDBT/ICDT and will be available at the conference. Program Committee: -- Anthony Cleve (University of Namur, Belgium) Carlo Aldo Curino (Microsoft, USA) Zinovy Diskin (McMaster University/University of Waterloo, Canada) Romina Eramo (University of L'Aquila, Italy) Todd Green (LogicBlox, Inc, USA) Soichiro Hidaka (co-chair, National Institute of Informatics, Japan) Martin Hofmann (Ludwig-Maximilians-Universität Munich, Germany) Zhenjiang Hu (National Institute of Informatics, Japan) Marie Jacob (University Of Pennsylvania, USA) Michael Johnson (Macquarie University, Australia) Peter McBrien (Imperial College, UK) Fernando Orejas (Technical University of Catalonia, Spain) Andy Schürr (Technical University of Darmstadt, Germany) Perdita Stevens (University of Edinburgh, UK) James Terwilliger (co-chair, Microsoft, USA) Janis Voigtländer (University of Bonn, Germany) Meng Wang (Chalmers University of Technology, Sweden) Yingfei Xiong (Peking University, China)
[TYPES/announce] PEPM'10 - Final CFP (Submission: 6 Oct 09, Notification: 29 Oct 09)
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] === CALL FOR PAPERS ACM SIGPLAN 2010 Workshop on Partial Evaluation and Program Manipulation (PEPM'10) Madrid, January 18-19, 2010 (Affiliated with POPL'10) http://www.program-transformation.org/PEPM10 === INVITED SPEAKERS: * Lennart Augustsson (Standard Chartered Bank, UK) * Jeremy Siek (University of Colorado at Boulder, USA) IMPORTANT DATES: * Paper submission:Tue, October 6, 2009, 23:59, Apia time * Author notification: Thu, October 29, 2009 * Camera-ready papers: Mon, November 9, 2009 To facilitate smooth organization of the review process, authors are asked to submit a short abstract by October 1, 2009. SUBMISSION CATEGORIES: * Regular research papers (max. 10 pages in ACM Proceedings style) * Tool demonstration papers (max. 4 pages plus max. 6 pages appendix) TRAVEL SUPPORT: Students and other attendants in need can apply for a SIGPLAN PAC grant to help cover expenses. For details, see http://www.sigplan.org/PAC.htm. SCOPE: The PEPM Symposium/Workshop series aims to bring together researchers and practitioners working in the areas of program manipulation, partial evaluation, and program generation. PEPM focuses on techniques, theories, tools, and applications of analysis and manipulation of programs. The 2010 PEPM workshop will be based on a broad interpretation of semantics-based program manipulation in a continued effort to expand the scope of PEPM significantly beyond the traditionally covered areas of partial evaluation and specialization and include practical applications of program transformations such as refactoring tools, and practical implementation techniques such as rule-based transformation systems. In addition, it covers manipulation and transformations of program and system representations such as structural and semantic models that occur in the context of model-driven development. In order to reach out to practitioners, there is a separate category of tool demonstration papers. Topics of interest for PEPM'10 include, but are not limited to: * Program and model manipulation techniques such as transformations driven by rules, patterns, or analyses, partial evaluation, specialization, program inversion, program composition, slicing, symbolic execution, refactoring, aspect weaving, decompilation, and obfuscation. * Program analysis techniques that are used to drive program/model manipulation such as abstract interpretation, static analysis, binding-time analysis, dynamic analysis, constraint solving, type systems, automated testing and test case generation. * Analysis and transformation for programs/models with advanced features such as objects, generics, ownership types, aspects, reflection, XML type systems, component frameworks, and middleware. * Techniques that treat programs/models as data objects including meta-programming, generative programming, deep embedded domain-specific languages, program synthesis by sketching and inductive programming, staged computation, and model-driven program generation and transformation. * Application of the above techniques including experimental studies, engineering needed for scalability, and benchmarking. Examples of application domains include legacy program understanding and transformation, DSL implementations, visual languages and end-user programming, scientific computing, middleware frameworks and infrastructure needed for distributed and web-based applications, resource-limited computation, and security. We especially encourage papers that break new ground including descriptions of how program/model manipulation tools can be integrated into realistic software development processes, descriptions of robust tools capable of effectively handling realistic applications, and new areas of application such as rapidly evolving systems, distributed and web-based programming including middleware manipulation, model-driven development, and on-the-fly program adaptation driven by run-time or statistical analysis. PROCEEDINGS: There will be formal proceedings published by ACM Press. In addition to printed proceedings, accepted papers will be included in the ACM Digital Library. Selected papers may later on be invited for a journal special issue dedicated to PEPM'10. SUBMISSION GUIDELINES: Papers should be submitted electronically via the workshop web site. Regular research papers must not exceed 10 pages in ACM Proceedings style. Tool demonstration papers must not exceed 4 pages in ACM Proceedings style, and authors will be expected to present a live demonstration of the described tool at the workshop (tool papers should include an
[TYPES/announce] PEPM'10 - First Call for Papers (Deadline: 6th October 2009)
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] === CALL FOR PAPERS ACM SIGPLAN 2010 Workshop on Partial Evaluation and Program Manipulation (PEPM'10) Madrid, January 18-19, 2010 (Affiliated with POPL'10) http://www.program-transformation.org/PEPM10 === IMPORTANT DATES: * Paper submission:Tue, October 6, 2009, 23:59, Apia time * Author notification: Thu, October 29, 2009 * Camera-ready papers: Mon, November 9, 2009 To facilitate smooth organization of the review process, authors are asked to submit a short abstract by October 1, 2009. SUBMISSION CATEGORIES: * Regular research papers (max. 10 pages in ACM Proceedings style) * Tool demonstration papers (max. 4 pages plus max. 6 pages appendix) SCOPE: The PEPM Symposium/Workshop series aims to bring together researchers and practitioners working in the areas of program manipulation, partial evaluation, and program generation. PEPM focuses on techniques, theory, tools, and applications of analysis and manipulation of programs. The 2010 PEPM workshop will be based on a broad interpretation of semantics-based program manipulation and continue previous years' effort to expand the scope of PEPM significantly beyond the traditionally covered areas of partial evaluation and specialization and include practical applications of program transformations such as refactoring tools, and practical implementation techniques such as rule-based transformation systems. In addition, the scope of PEPM covers manipulation and transformations of program and system representations such as structural and semantic models that occur in the context of model-driven development. In order to reach out to practitioners, there is a separate category of tool demonstration papers. Topics of interest for PEPM'10 include, but are not limited to: * Program and model manipulation techniques such as transformations driven by rules, patterns, or analyses, partial evaluation, specialization, program inversion, program composition, slicing, symbolic execution, refactoring, aspect weaving, decompilation, and obfuscation. * Program analysis techniques that are used to drive program/model manipulation such as abstract interpretation, static analysis, binding-time analysis, dynamic analysis, constraint solving, type systems, automated testing and test case generation. * Analysis and transformation for programs/models with advanced features such as objects, generics, ownership types, aspects, reflection, XML type systems, component frameworks, and middleware. * Techniques that treat programs/models as data objects including meta-programming, generative programming, deep embedded domain-specific languages, program synthesis by sketching and inductive programming, staged computation, and model-driven program generation and transformation. * Application of the above techniques including experimental studies, engineering needed for scalability, and benchmarking. Examples of application domains include legacy program understanding and transformation, DSL implementations, visual languages and end-user programming, scientific computing, middleware frameworks and infrastructure needed for distributed and web-based applications, resource-limited computation, and security. We especially encourage papers that break new ground including descriptions of how program/model manipulation tools can be integrated into realistic software development processes, descriptions of robust tools capable of effectively handling realistic applications, and new areas of application such as rapidly evolving systems, distributed and web-based programming including middleware manipulation, model-driven development, and on-the-fly program adaptation driven by run-time or statistical analysis. PROCEEDINGS: There will be formal proceedings published by ACM Press. In addition to printed proceedings, accepted papers will be included in the ACM Digital Library. Selected papers may later on be invited for a journal special issue dedicated to PEPM'10. SUBMISSION GUIDELINES: Papers should be submitted electronically via the workshop web site. Regular research papers must not exceed 10 pages in ACM Proceedings style. Tool demonstration papers must not exceed 4 pages in ACM Proceedings style, and authors will be expected to present a live demonstration of the described tool at the workshop (tool papers should include an additional appendix of up to 6 additional pages giving the outline, screenshots, examples, etc. to indicate the content of the proposed live demo at the workshop). Authors using Latex to prepare their submissions should use the new improved SIGPLAN proceedings style
[TYPES/announce] 2nd Call For Papers: APLAS 2009 (Korea, Dec 14-16, 2009)
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] === CALL FOR PAPERS The Seventh Asian Symposium on Programming Languages and Systems (APLAS 2009) Seoul, December 14-16, 2009 http://ropas.snu.ac.kr/aplas09/ === APLAS aims at stimulating programming language research by providing a forum for the presentation of recent results and the exchange of ideas and experience in topics concerned with programming languages and systems. APLAS is based in Asia, but is an international forum that serves the worldwide programming languages community. The APLAS series is sponsored by the Asian Association for Foundation of Software (AAFS), which has recently been founded by Asian researchers in cooperation with many researchers from Europe and the USA. The past formal APLAS symposiums were successfully held in Bangalore (2008, India), Singapore (2007), Sydney (2006, Australia), Tsukuba (2005, Japan), Taipei (2004, Taiwan) and Beijing (2003, China) after three informal workshops held in Shanghai (2002, China), Daejeon (2001, Korea) and Singapore (2000). Proceedings of the past symposiums were published in Springer-Verlag's LNCS 2895, 3302, 3780, 4279, and 5356. TOPICS: The symposium is devoted to both foundational and practical issues in programming languages and systems. Papers are solicited on, but not limited, to the following topics: * semantics, logics, foundational theory * type systems, language design * program analysis, optimization, transformation * software security, safety, verification * compiler systems, interpreters, abstract machines * domain-specific languages and systems * programming tools and environments INVITED SPEAKERS: TBA IMPORTANT DATES: Abstract Deadline: June 8 (Monday), 2009 Paper Submission Deadline: 24:00 AM (in Samoan Time), June 15 (Monday), 2009 Author Notification: August 17, 2009 Camera Ready:September 14, 2009 Conference: December 14-16, 2009 SUBMISSIONS INFORMATION: Papers should be submitted electronically online via the conference submission web page at URL http://www.easychair.org/conferences/?conf=aplas2009. Acceptable formats are PostScript or PDF, viewable by Ghostview or Adobe Reader. Submissions should not exceed 16 pages in LNCS format, including bibliography and figures. Submitted papers will be judged on the basis of significance, relevance, correctness, originality, and clarity. They should clearly identify what has been accomplished and why it is significant. Submitted papers must be unpublished and not submitted for publication elsewhere. The proceedings of the symposium is planned to be published as a volume in Springer-Verlag's Lecture Notes in Computer Science series. Authors of selected papers will be invited after the symposium to submit a full version for publication in a special issue of New Generation Computing. GENERAL CHAIR Kwangkeun Yi (Seoul National University, Korea) PROGRAM CHAIR Zhenjiang Hu (National Institute of Inforamtics, Japan) PROGRAM COMMITTEE Manuel M. T. Chakravarty (University of New South Wales, Australia) Wei-Ngan Chin (National University of Singapore, Singapore) Nate Foster (University of Pennsylvania, USA) Ralf Hinze (Oxford University, United Kingdom) Zhenjiang Hu (National Institute of Informatics, Japan), Chair Ik-Soon Kim (Electronics and Telecommunications Research Institute, Korea) Julia Lawall (DIKU, Denmark) Sebastian Maneth (NICTA and University of New South Wales, Australia) Sungwoo Park (Pohang University of Science and Technology, Korea) G. Ramalingam (Microsoft Research, India) Peter Thiemann (University of Freiburg, Germany) Kazushige Terui (Kyoto University, Japan) Janis Voigtländer (Technical University of Dresden, Germany) Chung-chieh Shan (Rutgers University, USA) Kazunori Ueda (Waseda University, Japan) Bow-Yaw Wang (Academia Sinica, Taiwan) Jianjun Zhao (Shanghai Jiaotong University, China) POSTER SESSION CHAIR Kiminori Matsuzaki (University of Tokyo, Japan)
[TYPES/announce] PhD or PostDoc opening for types research in Dresden, Germany
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Please forward to potentially interested students: -- There is a research position on offer in the project described at: http://wwwtcs.inf.tu-dresden.de/~voigt/project/ The official job advertisement (in German) can be found at: http://www.verw.tu-dresden.de/StellAus/einzelstelle.asp?id=783 The key facts are: - full-time faculty position - payment according to German public sector scale E 13 TV-L Ost (gross monthly salary expected to start around 2680 Euro) - no teaching duties - initial appointment for up to 30 months (maybe less for a PostDoc) - no knowledge of German required (but English is) Please contact [EMAIL PROTECTED] with any further questions. The closing date for applications is 15th May 2008. Best wishes, Janis Voigtlaender -- Dr. Janis Voigtlaender http://wwwtcs.inf.tu-dresden.de/~voigt/ mailto:[EMAIL PROTECTED]
