[Haskell] CFP: The Future of Programming Inaugural Speech Eelco Visser | TU Delft | 16, 17 Jan 2014
- Invitation to attend the symposium on The Future of Programming followed by the inaugural speech of Eelco Visser TU Delft, 16 and 17 January 2014 - Register now at http://eelcovisser.org/wiki/future-of-programming Registration includes lunch and is free, but seating is limited - ## Symposium Software systems are the engines of modern information society. Our ability to cope with the increasing complexity of software systems is limited by the programming languages we use to build them. Bridging the gap between domain concepts and the implementation of these concepts in a programming language is one of the core challenges of software engineering. Modern programming languages have considerably reduced this gap, but often still require low-level programmatic encodings of domain concepts. On Thursday January 16 and Friday January 17, 2014, TU Delft hosts a symposium on the future of programming, which will provide an overview of the challenges in software development and programming languages and visions to their solution from different angles by a line-up of distinguished national and international speakers from academia and industry. The symposium is followed by the inaugural speech of Eelco Visser on the occasion of his appointment as Antoni van Leeuwenhoek Professor at TU Delft. ## Speakers The following distinguished speakers have confirmed their participation: * Arie van Deursen (TU Delft): On software changes, large and small. Versioning in the Maven ecosystem * Brandon Hill (Oracle Labs): DSL engineering in industry (Spoofax at Oracle Labs) * Erik Meijer (TU Delft/Applied Duality): Reactive programming * Guido Wachsmuth (TU Delft): Meta-languages for language design (name binding, type systems, semantics) * Harry Buhrman (UvA/CWI): Programming quantum computers * John Hughes (Chalmers): The future of testing * Manuel Serrano (INRIA): From PCs to tablets: Programming the diffuse Web * Markus Püschel (ETH): Teaching computers to write fast libraries * Markus Völter (Itemis): mbeddr: Extensible languages for embedded software engineering * Sebastian Erdweg (TU Darmstadt): Library-based language extensions in SugarJ * Stefan Hanenberg (U. Duisburg): Empirical evaluation of programming language constructs * Tiark Rompf (EPFL): Lightweight modular staging ## Inaugural Speech Eelco Visser The symposium is followed by Eelco Visser's inaugural speech Programming Languages shape Computational Thinking on January 17, 2014 at 15:00 in the TU Delft Aula. ## Registration More information and registration at http://eelcovisser.org/wiki/future-of-programming -- Eelco Visser Professor of Computer Science at Delft University of Technology Email: e.vis...@tudelft.nl Web: http://eelcovisser.org ___ Haskell mailing list Haskell@haskell.org http://www.haskell.org/mailman/listinfo/haskell
[Haskell] PhD position in Programming Language Verification
The Department of Software and Computer Technology of TU Delft has a four year PhD position in Programming Language Verification in the NWO VICI project of Eelco Visser: The Language Designer's Workbench. Automating the Verification of Language Definitions The objective of the project is to unify work on semantics engineering and mechanized meta-theory with work on language engineering and language workbenches in order to support language designers in the creation of sound language designs. The Language Designer's Workbench will provide declarative meta-languages to enable language designers to build high quality compilers and IDEs, while also verifying consistency properties of their language definitions. We will build on our previous work on the Spoofax Language Workbench and integrate work on compiler certification from the semantics engineering community. The grant provides funding for five researchers at PhD and postdoc level. The focus of this first position is on proof engineering for verification of programming languages. But candidates interested in all aspects of the project are invited to apply. The candidate should have a strong background in programming languages research and a demonstrable interest in one or more of the following topics: type systems, type inference algorithms, program analysis, program transformation, compiler construction, theorem proving and proof assistants, verification of language definitions or compilers, mechanized meta-theory. For more information about the position including application instructions see http://department.st.ewi.tudelft.nl/jobs/job/3 To meet the early application deadline please apply at the page above before June 15. Submissions received after June 15 will be also considered until the position has been filled. -- Eelco Visser Associate Professor at Delft University of Technology Group: Software Language Design and Engineering Email: e.vis...@tudelft.nl Homepage: http://eelcovisser.org Publications: http://researchr.org/profile/eelcovisser News: http://twitter.com/eelcovisser ___ Haskell mailing list Haskell@haskell.org http://www.haskell.org/mailman/listinfo/haskell
[Haskell] Onward! 2011: Call for Papers, Essays, Films, and Workshops
Call for Papers, Essays, Films, and Workshops -=-=-=-=-= Onward! 2011 ACM Conference on New Ideas in Programming and Reflections on Software October 22-27, 2011 Hilton Portland Executive Tower, Portland, Oregon USA Sponsored by ACM SIGPLAN http://onward-conference.org/2011/ http://onward-conference.org/2011/poster.html -=-=-=-=-=-=-=-=-=-= Onward! is more radical, more visionary, and more open than other conferences to not (yet) so well-proven but well-argued ideas. We welcome different ways of thinking about, approaching, and reporting on programming language and software engineering research. Onward! fosters the multidisciplinarity of software development. We are interested in anything to do with programming and software. Processes, methods, languages, art, philosophy, biology, economics, communities, politics, ethics, and of course applications. Anything! Sounds good? Do you want to report on and present your new ideas to the community and get feedback? Do you have a video to show or a story to tell, an essay perhaps? Do you want to bring reflections and new insights to the community? Or do you simply want to know more about innovations, visions, and the future of programming languages and software engineering? Then... Join Onward!, the unique, creative, and collaborative environment to discuss and investigate challenging problems related to software, its creation, and nurturing. -=-=-=-=-=-=-=-=-=-= Call for Research Papers: * http://onward-conference.org/2011/papers-call.html * Research papers submission: April 8, 2011 * Research papers notification: June 13, 2011 * Camera-ready copy of research papers due: July 25, 2011 Call for Essays: * http://onward-conference.org/2011/essays-call.html * Essays submission: April 18, 2011 * Essays notification: June 13, 2011 * Camera-ready copy of essays due: July 15, 2011 Call for Films: * http://onward-conference.org/2011/films-call.html * Films submission: May 10, 2011 * Films notification: July 1, 2011 * Final Films due: August 1, 2011 Call for Workshops: * http://onward-conference.org/2011/workshops-call.html * Workshop proposal submission: April 8, 2011 * Workshop proposal notification: May 8, 2011 * Camera-ready copy of workshop abstracts due: June 8, 2011 -=-=-=-=-=-=-=-=-=-= Organization * General Chair: Robert Hirschfeld, Hasso-Plattner-Institut Potsdam, Germany * Steering Committee Chair and General Co-Chair: Richard P. Gabriel, IBM Research, USA * Program Chair: Eelco Visser, Delft University of Technology, The Netherlands * Workshops Chair: Pascal Costanza, Vrije Universiteit Brussel, Belgium * Essays Chair: David West, New Mexico Highlands University, USA * Films Chair: Bernd Bruegge, Technische Universitaet Muenchen, Germany * Web Chair: Tobias Pape, Hasso-Plattner-Institute Potsdam, Germany * Design: Constanze Langer, Institute of Industrial Design, Hochschule Magdeburg-Stendal, Germany -=-=-=-=-=-=-=-=-=-= ___ Haskell mailing list Haskell@haskell.org http://www.haskell.org/mailman/listinfo/haskell
[Haskell] Third CFP: Partial Evaluation and Program Manipulation (PEPM'07)
-- electronic submission is open http://www.easychair.org/PEPM2007 -- Third Call For Papers ACM SIGPLAN 2007 Workshop on PARTIAL EVALUATION AND PROGRAM MANIPULATION (PEPM'07) Nice, France January 15-16, 2007 (Co-located with POPL 2007) http://www.program-transformation.org/PEPM07 -- 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 2007 PEPM workshop will be based on a broad interpretation of semantics-based program manipulation and continue last year's successful 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, a separate category of tool demonstration papers will be solicited. -- Topics of interest for PEPM'07 include, but are not limited to: + Program and model manipulation techniques such as transformations driven by rules, patterns, or analyses, partial evaluation, specialization, 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, and type systems. + 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, 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, domain-specific language implementations, 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. -- Submission Categories and Guidelines 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. Suggested topics, evaluation criteria, and writing guidelines for both research tool demonstration papers will be made available on the PEPM'07 web site. Papers should be submitted electronically via the workshop web site. The workshop proceedings will be published in the ACM Digital Library and selected papers will be invited for a journal special issue dedicated to PEPM'07. -- Important Dates + Abstracts due: October 18, 2006 + Submission:October 20, 2006 + Notification: December 1, 2006 + Camera-ready: December 18, 2006 + Workshop: January 15-16, 2007 --- Program Chairs * G. Ramalingam (Microsoft Research, Bangalore) * Eelco Visser (Delft University of Technology, The Netherlands) Program Committee Members * Ras Bodik (University of California, Berkeley, USA) * Albert Cohen (INRIA, France) * Jim
[Haskell] CFP: Partial Evaluation and Program Manipulation (PEPM'07)
-- Call For Papers ACM SIGPLAN 2007 Workshop on PARTIAL EVALUATION AND PROGRAM MANIPULATION (PEPM'07) Nice, France January 15-16, 2007 (Co-located with POPL 2007) http://www.program-transformation.org/PEPM07 -- 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 2007 PEPM workshop will be based on a broad interpretation of semantics-based program manipulation and continue last year's successful 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, a separate category of tool demonstration papers will be solicited. -- Topics of interest for PEPM'07 include, but are not limited to: + Program and model manipulation techniques such as transformations driven by rules, patterns, or analyses, partial evaluation, specialization, 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, and type systems. + 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, 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, domain-specific language implementations, 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. -- Submission Categories and Guidelines 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. Suggested topics, evaluation criteria, and writing guidelines for both research tool demonstration papers will be made available on the PEPM'07 web site. Papers should be submitted electronically via the workshop web site. The workshop proceedings will be published in the ACM Digital Library and selected papers will be invited for a journal special issue dedicated to PEPM'07. -- Important Dates + Abstracts due: October 18, 2006 + Submission:October 20, 2006 + Notification: December 1, 2006 + Camera-ready: December 18, 2006 + Workshop: January 15-16, 2007 --- Program Chairs * G. Ramalingam (IBM Research, Bangalore) * Eelco Visser (Utrecht University, The Netherlands) Program Committee Members * Ras Bodik (University of California, Berkeley, USA) * Albert Cohen (INRIA, France) * Jim Cordy (Queen's University, Canada) * Martin Erwig (Oregon State University, USA) * Bernd Fischer (University of Southampton, UK) * John Hatcliff (Kansas State University, USA
[Haskell] Last call for registration: GPCE'05 (deadline 2 september)
LAST CALL for REGISTRATION (Deadline Sep 02) On-site registration will NOT be available -- 4th International Conference on Generative Programming and Component Engineering (GPCE'05) Sep 29 - Oct 1, 2005, Tallinn (Estonia) http://www.gpce.org/05 Sponsored by ACM SIGPLAN, in cooperation with ACM SIGSOFT co-located with ICFP'05 and TFP'05 -- IMPORTANT DATES * Sep 02, 2005: LATE REGISTRATION DEADLINE * Sep 27-28, 2005: GPCE workshops and tutorials * Sep 29 - Oct 1, 2005: GPCE papers and demos It is recommended that any changes or additions to existing registrations be done before Sep 02. -- SCOPE. Generative and component approaches have the potential to revolutionize software development in a similar way as automation and components revolutionized manufacturing. Generative Programming (developing programs that synthesize other programs), Component Engineering (raising the level of modularization and analysis in application design), and Domain-Specific Languages (elevating program specifications to compact domain-specific notations that are easier to write and maintain) are key technologies for automating program development. -- 3 INVITED SPEAKERS: * Oscar Nierstrasz: Object-oriented Reengineering Patterns * Oege de Moor: The AspectBench Compiler for AspectJ * Bernd Fischer: Certifiable Program Generation 25 TECHNICAL PAPERS 2 DEMONSTRATIONS: * Developing Dynamic and Adaptable Applications with CAM/DAOP: a Virtual Office Application * Metamodeling made easy - MetaEdit+ 2 TUTORIALS T1: Multi-stage Programming in MetaOCaml (Presenters: W.Taha, C.Calcagno) T2: Implementing Domain-Specific Modelling Languages and Generators (Presenter: R.Pohjonen) 3 WORKSHOPS W1: Seventh Young Researchers Workshop (Organizers: D.R.Dechow, D.Foetsch, S.Kiebusch, S.Perugini, M.J.Rutherford, D.Shestakov) W2: Second MetaOCaml Workshop (Organizers: K.Swadi, W.Taha) W3: Graph and Model Transformations Workshop (Organizers: G.Karsai, G.Taentzer) -- PROGRAM COMMITTEE Chairs: * Robert Glück (U. of Copenhagen) * Michael Lowry (NASA) Members: * Don Batory (U. of Texas, USA) * Ira Baxter (Semantic Designs) * Cristiano Calcagno (Imperial College) * Prem Devanbu (U. of California at Davis) * Ulrich Eisenecker (U. of Leipzig) * Tom Ellman (Vassar College) * Robert Filman (NASA) * Zhenjiang Hu (U. of Tokyo) * Patricia Johann (Rutgers U.) * John Launchbury (Galois) * Anne-Françoise Le Meur (U. of Sci. and Tech. Lille) * Hong Mei (Peking U.) * Nicolas Rouquette (NASA) * William Scherlis (CMU) * Yannis Smaragdakis (Georgia Inst. of Tech.) * Walid Taha (Rice U.) * Todd Veldhuizen (Chalmers U. of Tech.) ORGANIZING COMMITTEE General Chair * Eugenio Moggi (Genova U.) Publicity Chair: * Eelco Visser (Utrecht U.) Workshops and Tutorials Chairs * Jeff Gray (U. of Alabama at Birmingham) * Andrew Malton (Waterloo U.) Local Arrangements Chair * Tarmo Uustalu (Inst. of Cybernetics, Tallinn) -- ___ Haskell mailing list Haskell@haskell.org http://www.haskell.org/mailman/listinfo/haskell
[Haskell] Call for Participation: GPCE'05 - Generative Programming and Component Engineering
PRELIMINARY CALL for PARTICIPANTS ANNOUNCEMENT of WORKSHOPS and TUTORIALS -- 4th International Conference on Generative Programming and Component Engineering (GPCE'05) Sep 29 - Oct 1, 2005, Tallinn (Estonia) http://www.gpce.org/05 Sponsored by ACM SIGPLAN, in cooperation with ACM SIGSOFT co-located with ICFP'05 and TFP'05 -- Consult http://www.gpce.org/05 for UP-TO-DATE and DETAILED information especially the calls for workshop contributions FORTHCOMING: on-line registration should become active in mid June -- IMPORTANT DATES * Jun 13, 2005: suggested deadline for workshop contributions (please check on workshop web pages for details) * Jul 29, 2005: EARLY REGISTRATION DEADLINE * Sep 27-28, 2005: GPCE workshops and tutorials * Sep 29 - Oct 1, 2005: GPCE papers and demos -- SCOPE. Generative and component approaches have the potential to revolutionize software development in a similar way as automation and components revolutionized manufacturing. Generative Programming (developing programs that synthesize other programs), Component Engineering (raising the level of modularization and analysis in application design), and Domain-Specific Languages (elevating program specifications to compact domain-specific notations that are easier to write and maintain) are key technologies for automating program development. GPCE arose as a joint conference, merging the conference on Generative and Component-Based Software Engineering (GCSE) and the workshop on Semantics, Applications, and Implementation of Program Generation (SAIG). The goal of GPCE is to provide a meeting place for researchers and practitioners interested in cutting edge approaches to software development. We aim to foster further cross-fertilization between the software engineering research community and the programming languages community, in addition to supporting the original research goals of both the GCSE and the SAIG communities. -- 3 INVITED SPEAKERS: * Oscar Nierstrasz: Object-oriented reengineering patterns * Oege de Moor: TBA * Bernd Fischer: Certifiable generative programming 25 TECHNICAL PAPERS (see conference web page for the list of accepted papers) 2 DEMONSTRATIONS: * Developing Dynamic and Adaptable Applications with CAM/DAOP: a Virtual Office Application * Metamodeling made easy - MetaEdit+ 3 TUTORIALS T1: Multi-stage Programming in MetaOCaml (Presenters: W.Taha, C.Calcagno) T2: Implementing Domain-Specific Modelling Languages and Generators (Presenters: R.Pohjonen and J-P.Tolvanen) T3: Challenges and Best Practices of Generative Software Engineering in the Context of Large Complex Business Applications (Presenter: M.M.Davydov) 3 WORKSHOPS W1: Seventh Young Researchers Workshop (Organizers: D.R.Dechow, D.Foetsch, S.Kiebusch, S.Perugini, M.J.Rutherford, D.Shestakov) W2: Second MetaOCaml Workshop (Organizers: K.Swadi, W.Taha) W3: Graph and Model Transformations Workshop (Organizers: G.Karsai, G.Taentzer) -- PROGRAM COMMITTEE Chairs: * Robert Glück (U. of Copenhagen) * Michael Lowry (NASA) Members: * Don Batory (U. of Texas, USA) * Ira Baxter (Semantic Designs) * Cristiano Calcagno (Imperial College) * Prem Devanbu (U. of California at Davis) * Ulrich Eisenecker (U. of Leipzig) * Tom Ellman (Vassar College) * Robert Filman (NASA) * Zhenjiang Hu (U. of Tokyo) * Patricia Johann (Rutgers U.) * John Launchbury (Galois) * Anne-Françoise Le Meur (U. of Sci. and Tech. Lille) * Hong Mei (Peking U.) * Nicolas Rouquette (NASA) * William Scherlis (CMU) * Yannis Smaragdakis (Georgia Inst. of Tech.) * Walid Taha (Rice U.) * Todd Veldhuizen (Chalmers U. of Tech.) ORGANIZING COMMITTEE General Chair * Eugenio Moggi (Genova U.) Publicity Chair: * Eelco Visser (Utrecht U.) Workshops and Tutorials Chairs * Jeff Gray (U. of Alabama at Birmingham) * Andrew Malton (Waterloo U.) Local Arrangements Chair * Tarmo Uustalu (Inst. of Cybernetics, Tallinn) -- ___ Haskell mailing list Haskell@haskell.org http://www.haskell.org/mailman/listinfo/haskell
[Haskell] Final CFP: GPCE'05 -- Generative Programming and Component Engineering
(Presenters: R.Pohjonen and J-P.Tolvanen) T3: Multi-stage Programming in MetaOCaml (Presenters: W.Taha, C.Calcagno) WORKSHOPS W1: Second MetaOCaml Workshop (Organizers: K.Swadi, W.Taha) W2: Young Researchers Workshop (Organizers: D.R.Dechow, D.Foetsch, S.Kiebusch, S.Perugini, M.J.Rutherford, D.Shestakov) -- PROGRAM COMMITTEE Chairs: * Robert Glück (U. of Copenhagen) * Michael Lowry (NASA) Members: * Don Batory (U. of Texas, USA) * Ira Baxter (Semantic Designs) * Cristiano Calcagno (Imperial College) * Prem Devanbu (U. of California at Davis) * Ulrich Eisenecker (U. of Leipzig) * Tom Ellman (Vassar College) * Robert Filman (NASA) * Zhenjiang Hu (U. of Tokyo) * Patricia Johann (Rutgers U.) * John Launchbury (Galois) * Anne-Françoise Le Meur (U. of Sci. and Tech. Lille) * Hong Mei (Peking U.) * Nicolas Rouquette (NASA) * William Scherlis (CMU) * Yannis Smaragdakis (Georgia Inst. of Tech.) * Walid Taha (Rice U.) * Todd Veldhuizen (Chalmers U. of Tech.) ORGANIZING COMMITTEE General Chair * Eugenio Moggi (Genova U.) Publicity Chair * Eelco Visser (Utrecht U.) Workshops and Tutorials Chairs * Jeff Gray (U. of Alabama at Birmingham) * Andrew Malton (Waterloo U.) Local Arrangements Chair * Tarmo Uustalu (Inst. of Cybernetics, Tallinn) -- ___ Haskell mailing list Haskell@haskell.org http://www.haskell.org/mailman/listinfo/haskell
[Haskell] CFP: GPCE'05 -- Generative Programming and Component Engineering
. of Texas, USA) * Ira Baxter (Semantic Designs) * Cristiano Calcagno (Imperial College) * Prem Devanbu (U. of California at Davis) * Ulrich Eisenecker (U. of Leipzig) * Tom Ellman (Vassar College) * Robert Filman (NASA) * Zhenjiang Hu (U. of Tokyo) * Patricia Johann (Rutgers U.) * John Launchbury (Galois) * Anne-Françoise Le Meur (U. of Sci. and Tech. Lille) * Hong Mei (Peking U.) * Nicolas Rouquette (NASA) * William Scherlis (CMU) * Yannis Smaragdakis (Georgia Inst. of Tech.) * Walid Taha (Rice U.) * Todd Veldhuizen (Chalmers U. of Tech.) ORGANIZING COMMITTEE General Chair * Eugenio Moggi (Genova U.) Publicity Chair: * Eelco Visser (Utrecht U.) Workshops and Tutorials Chairs * Jeff Gray (U. of Alabama at Birmingham) * Andrew Malton (Waterloo U.) Local Arrangements Chair * Tarmo Uustalu (Inst. of Cybernetics, Tallinn) -- ___ Haskell mailing list Haskell@haskell.org http://www.haskell.org/mailman/listinfo/haskell
[Haskell] CfC: GPCE'05 - Generative Programming and Component Engineering
available. Presentations must focus on the technical content (product marketing would be inappropriate). -- ORGANIZATION General Chair * Eugenio Moggi (Genova University, Italy) Program Committee Chairs * Robert Glueck (University of Copenhagen, Denmark) * Michael Lowry (NASA, USA) Publicity Chair * Eelco Visser (Utrecht University, The Netherlands) Workshops and Tutorials Chairs * Jeff Gray (University of Alabama at Birmingham, USA) * Andrew Malton (Waterloo University, Canada) Local Arrangements Chair * Tarmo Uustalu (Institute of Cybernetics, Tallinn) -- ___ Haskell mailing list Haskell@haskell.org http://www.haskell.org/mailman/listinfo/haskell
[Haskell] GPCE'04 - early registration deadline approaching
CALL FOR PARTICIPATION -- Online Registration http://www.regmaster.com/oopsla2004.html early registration with reduced rates closes September 16 -- Third International Conference on Generative Programming and Component Engineering (GPCE'04) Vancouver, October 24-28, 2004 co-located with OOPSLA 2004 and ISMM 2004 http://gpce04.gpce.org -- Generative and component approaches have the potential to revolutionize software development in a similar way as automation and components revolutionized manufacturing. Generative Programming (developing programs that synthesize other programs), Component Engineering (raising the level of modularization and analysis in application design), and Domain-Specific Languages (elevating program specifications to compact domain-specific notations that are easier to write and maintain) are key technologies for automating program development. GPCE arose as a joint conference, merging the prior conference on Generative and Component-Based Software Engineering (GCSE) and the Workshop on Semantics, Applications, and Implementation of Program Generation (SAIG). The goal of GPCE is to provide a meeting place for researchers and practitioners interested in cutting edge approaches to software development. We aim to foster further cross-fertilization between the software engineering research community on the one hand, and the programming languages community on the other, in addition to supporting the original research goals of both the GCSE and the SAIG communities. We seek papers both in software engineering and in programming languages, and especially those that bridge the gap and are accessible to both communities at the same time. * Invited speakers * Keynote: Jack Greenfield on Software Factories * Peter Mosses on Modular Language Descriptions * Technical program * 25 papers * Aspect-orientation * Staged programming * Meta-programming * Model-driven approaches * Product lines * Domain-specific languages * Tutorials * Adaptive Object-Model Architecture: Dynamically Adapting to Changing Requirements * Multi-stage Programming in Meta-OCaml * Generative Software Development * Program Transformation Systems: Theory and Practice for Software Generation, Maintenance and Reengineering * Workshops * Software Transformation Systems Workshop * First MetaOCaml Workshop * Young Researchers Workshop * Workshop on Best Practices Model-Driven Software Development * Workshop on Managing Variabilities Consistently in Design and Code * Demonstrations * Implementation of DSLs using staged interpreters in MetaOCaml * MetaEdit+: Domain-Specific Modeling for Full Code Generation Demonstrated * Towards Domain-Driven Development: the SmartTools Software Factory * Xirc: Cross-Artifact Information Retrieval * C-SAW and GenAWeave: A Two-Level Aspect Weaving Toolsuite * The Concern Manipulation Environment * Program Transformations for Re-Engineering C++ Components ___ Haskell mailing list [EMAIL PROTECTED] http://www.haskell.org/mailman/listinfo/haskell
[Haskell] Call for participation: GPCE'04 -- Generative Programming and Component Engineering
CALL FOR PARTICIPATION -- Third International Conference on Generative Programming and Component Engineering (GPCE'04) Vancouver, October 24-28, 2004 co-located with OOPSLA 2004 and ISMM 2004 http://gpce04.gpce.org -- Online Registration http://www.regmaster.com/oopsla2004.html early registration with reduced rates closes September 16 -- Generative and component approaches have the potential to revolutionize software development in a similar way as automation and components revolutionized manufacturing. Generative Programming (developing programs that synthesize other programs), Component Engineering (raising the level of modularization and analysis in application design), and Domain-Specific Languages (elevating program specifications to compact domain-specific notations that are easier to write and maintain) are key technologies for automating program development. GPCE arose as a joint conference, merging the prior conference on Generative and Component-Based Software Engineering (GCSE) and the Workshop on Semantics, Applications, and Implementation of Program Generation (SAIG). The goal of GPCE is to provide a meeting place for researchers and practitioners interested in cutting edge approaches to software development. We aim to foster further cross-fertilization between the software engineering research community on the one hand, and the programming languages community on the other, in addition to supporting the original research goals of both the GCSE and the SAIG communities. We seek papers both in software engineering and in programming languages, and especially those that bridge the gap and are accessible to both communities at the same time. * Invited speakers * Keynote: Jack Greenfield on Software Factories * Peter Mosses on Modular Language Descriptions * Technical program * 25 papers * Aspect-orientation * Staged programming * Meta-programming * Model-driven approaches * Product lines * Domain-specific languages * Tutorials * Adaptive Object-Model Architecture: Dynamically Adapting to Changing Requirements * Multi-stage Programming in Meta-OCaml * Generative Software Development * Program Transformation Systems: Theory and Practice for Software Generation, Maintenance and Reengineering * Workshops * Software Transformation Systems Workshop * First MetaOCaml Workshop * Young Researchers Workshop * Workshop on Best Practices Model-Driven Software Development * Workshop on Managing Variabilities Consistently in Design and Code * Demonstrations * Implementation of DSLs using staged interpreters in MetaOCaml * MetaEdit+: Domain-Specific Modeling for Full Code Generation Demonstrated * Towards Domain-Driven Development: the SmartTools Software Factory * Xirc: Cross-Artifact Information Retrieval * C-SAW and GenAWeave: A Two-Level Aspect Weaving Toolsuite * The Concern Manipulation Environment * Program Transformations for Re-Engineering C++ Components ___ Haskell mailing list [EMAIL PROTECTED] http://www.haskell.org/mailman/listinfo/haskell
[Haskell] Final CFP: GPCE'04 (electronic submission open)
FINAL CALL FOR PAPERS -- Third International Conference on Generative Programming and Component Engineering (GPCE'04) Vancouver, October 24-28, 2004 co-located with OOPSLA 2004 and ISMM 2004 http://gpce04.gpce.org -- Electronic submission is now open http://gpce.program-transformation.org Important Dates Pre-submission: March 12, 2004 Submission: March 19, 2004 Page limit is 20 pages LNCS format Scope Generative and component approaches have the potential to revolutionize software development in a similar way as automation and components revolutionized manufacturing. Generative Programming (developing programs that synthesize other programs), Component Engineering (raising the level of modularization and analysis in application design), and Domain-Specific Languages (elevating program specifications to compact domain-specific notations that are easier to write and maintain) are key technologies for automating program development. GPCE arose as a joint conference, merging the prior conference on Generative and Component-Based Software Engineering (GCSE) and the Workshop on Semantics, Applications, and Implementation of Program Generation (SAIG). The goal of GPCE is to provide a meeting place for researchers and practitioners interested in cutting edge approaches to software development. We aim to foster further cross-fertilization between the software engineering research community on the one hand, and the programming languages community on the other, in addition to supporting the original research goals of both the GCSE and the SAIG communities. We seek papers both in software engineering and in programming languages, and especially those that bridge the gap and are accessible to both communities at the same time. --- more information at http://gpce04.gpce.org ___ Haskell mailing list [EMAIL PROTECTED] http://www.haskell.org/mailman/listinfo/haskell
[Haskell] Second CFP: GPCE'04 -- Generative Programming and Component Engineering
. If you want to organize a workshop, present a tutorial, or demonstration, see the information on the conference website for details about format and submission. Contact the relevant chair for more information. Important Dates Technical papers * Pre-submission: March 12, 2004 * Submission: March 19, 2004 * Notification: May 17, 2004 * Final version: July 25, 2004 Submissions of proposals * Workshops: March 19, 2004 * Practitioners: April 30, 2004 * Tutorials: April 30, 2004 * Demonstrations: July 2, 2004 Conference * Tutorials: October 24, 2004 * Workshops: October 25, 2004 * Papers: October 26-28, 2004 Organization General chair * Tim Sheard (OGI School of Science Engineering at OHSU) Program committee chairs * Gabor Karsai (Vanderbilt University) * Eelco Visser (Utrecht University) Program committee * Uwe Assmann (Linkopings Universitet) * Don Batory (University of Texas) * Jan Bosch (Universiteit Groningen) * Jean Bezivin (Université de Nantes) * Jim Cordy (Queen's University) * Krzysztof Czarnecki (University of Waterloo) * Mathew Flatt (University of Utah) * Robert Glück (University of Copenhagen) * George Heineman (Worcester Polytechnic Institute) * Michael Leuschel (University of Southampton) * Karl Lieberherr (Northeastern University) * Simon Peyton Jones (Microsoft Research) * Douglas R. Smith (Kestrel Institute) * Gabriele Taentzer (Technical University of Berlin) * Todd Veldhuizen (Indiana University) * Kris de Volder (University of Britisch Columbia) * Dave Wile (Teknowledge Corp.) * Alexander Wolf (University of Colorado at Boulder) Workshop Chair * Zino Benaissa (Intel) Tutorial Chair * Jeff Gray (University of Alabama at Birmingham) Demonstrations Chair * Simon Helsen (University of Waterloo) Contact * [EMAIL PROTECTED] ___ Haskell mailing list [EMAIL PROTECTED] http://www.haskell.org/mailman/listinfo/haskell
First CFP: GPCE'04 -- Generative Programming and Component Engineering
want to organize a workshop, present a tutorial, demonstration, or poster, see the information on the conference website for details about format and submission. Contact the relevant chair for more information. Important Dates Technical papers * Pre-submission: March 12, 2004 * Submission: March 19, 2004 * Notification: May 17, 2004 * Final version: July 25, 2004 Submissions of proposals * Workshops: March 19, 2004 * Practitioners: April 30, 2004 * Tutorials: April 30, 2004 * Demonstrations: July 2, 2004 Conference * Tutorials: October 24, 2004 * Workshops: October 25, 2004 * Papers: October 26-28, 2004 Organization General chair * Tim Sheard (OGI School of Science Engineering at OHSU) Program committee chairs * Gabor Karsai (Vanderbilt University) * Eelco Visser (Utrecht University) Program committee * Uwe Aßmann (Linkopings Universitet) * Don Batory (University of Texas) * Jan Bosch (Universiteit Groningen) * Jean Bezivin (Université de Nantes) * Jim Cordy (Queen's University) * Krzysztof Czarnecki (University of Waterloo) * Mathew Flatt (University of Utah) * Robert Glueck (University of Copenhagen) * George Heineman (Worcester Polytechnic Institute) * Michael Leuschel (University of Southampton) * Karl Lieberherr (Northeastern University) * Simon Peyton Jones (Microsoft Research) * Douglas R. Smith (Kestrel Institute) * Gabriele Taentzer (Technical University of Berlin) * Todd Veldhuizen (Indiana University) * Kris de Volder (University of Britisch Columbia) * Dave Wile (Teknowledge Corp.) * Alexander Wolf (University of Colorado at Boulder) Workshop Chair * Zino Benaissa (Intel) Tutorial Chair * Jeff Gray (University of Alabama at Birmingham) Demonstrations Chair * Simon Helsen (University of Waterloo) Contact * [EMAIL PROTECTED] ___ Haskell mailing list [EMAIL PROTECTED] http://www.haskell.org/mailman/listinfo/haskell
Preliminary CFP: GPCE'04 -- Generative Programming and Component Engineering
PRELIMINARY CALL FOR PAPERS -- Third International Conference on Generative Programming and Component Engineering (GPCE'04) Vancouver, October 24-28, 2004 co-located with OOPSLA 2004 http://gpce04.gpce.org -- Scope Generative and component approaches have the potential to revolutionize software development in a similar way as automation and components revolutionized manufacturing. Generative Programming (developing programs that synthesize other programs), Component Engineering (raising the level of modularization and analysis in application design), and Domain-Specific Languages (elevating program specifications to compact domain-specific notations that are easier to write and maintain) are key technologies for automating program development. GPCE arose as a joint conference, merging the prior conference on Generative and Component-Based Software Engineering (GCSE) and the Workshop on Semantics, Applications, and Implementation of Program Generation (SAIG). The goal of GPCE is to provide a meeting place for researchers and practitioners interested in cutting edge approaches to software development. We aim to foster further cross-fertilization between the software engineering research community on the one hand, and the programming languages community on the other, in addition to supporting the original research goals of both the GCSE and the SAIG communities. We seek papers both in software engineering and in programming languages, and especially those that bridge the gap and are accessible to both communities at the same time. Topics of Interest The conference solicits submissions related (but not limited) to: * Generative programming o Reuse, meta-programming, partial evaluation, multi-stage and multi-level languages, step-wise refinement o Semantics, type systems, symbolic computation, linking and explicit substitution, in-lining and macros, templates, program transformation o Runtime code generation, compilation, active libraries, synthesis from specifications, development methods, generation of non-code artifacts, formal methods, reflection * Generative techniques for o Product lines and architectures o Embedded systems o Model-driven architecture * Component-based software engineering o Reuse, distributed platforms, distributed systems, evolution, analysis and design patterns, development methods, formal methods * Integration of generative and component-based approaches * Domain engineering and domain analysis o Domain-specific languages (DSLs) including visual and UML-based DSLs * Separation of concerns o Aspect-oriented programming, feature-oriented programming, o Intentional programming, and multi-dimensional separation of concerns * Industrial applications Reports on applications of these techniques to real-world problems are especially encouraged, as are submissions that relate ideas and concepts from several of these topics, or bridge the gap between theory and practice. The program committee is happy to advise on the appropriateness of a particular subject. Important Dates * Pre-submission: March 12, 2004 (title + abstract) * Submission: March 19, 2004 * Conference: 24-28 October 2004 Organization General chair * Tim Sheard (OGI School of Science Engineering at OHSU) Program committee chairs * Gabor Karsai (Vanderbilt University) * Eelco Visser (Utrecht University) Program committee * Uwe Assmann (Linkopings Universitet) * Don Batory (University of Texas) * Jan Bosch (Universiteit Groningen) * Jean Bezivin (Université de Nantes) * Jim Cordy (Queen's University) * Krzysztof Czarnecki (University of Waterloo) * Mathew Flatt (University of Utah) * Robert Glueck (University of Copenhagen) * George Heineman (Worcester Polytechnic Institute) * Michael Leuschel (University of Southampton) * Karl Lieberherr (Northeastern University) * Simon Peyton Jones (Microsoft Research) * Douglas R. Smith (Kestrel Institute) * Gabriele Taentzer (Technical University of Berlin) * Todd Veldhuizen (Indiana University) * Kris de Volder (University of Britisch Columbia) * Dave Wile (Teknowledge Corp.) * Alexander Wolf (University of Colorado at Boulder) Contact * [EMAIL PROTECTED
