sts

sts@lists.urchin.earth.li

102 discussions

Call for Papers - GPCE'06
by Emir Pasalic 17 Jan '06

17 Jan '06

------------------------------------------------------------------------ -- CALL FOR TECHNICAL PAPERS Fifth International Conference on Generative Programming and Component Engineering (GPCE'06) http://www.gpce.org/06/ October 22-26, 2006 Portland, Oregon (co-located with OOPSLA'06) Sponsored by ACM SIGPLAN, in cooperation with ACM SIGSOFT. Proceedings to be published by ACM Press. ------------------------------------------------------------------------ -- IMPORTANT DATES * Pre-submission: April 30, 2006 * Submission: May 5, 2006, 23:59, Apia time (firm deadline, no extensions) * Notification: June 28, 2005 SCOPE Generative and component approaches are revolutionizing software development similar to how 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, maintain, and analyze) are key technologies for automating program development. GPCE provides a venue for researchers and practitioners interested in foundational techniques for enhancing the productivity, quality, and time-to-market in software development that stems from deploying standard componentry and automating program generation. In addition to exploring cutting-edge techniques for developing generative and component-based software, our goal is to foster further cross-fertilization between the software engineering research community and the programming languages community. ------------------------------------------------------------------------ -- SUBMISSIONS 10 pages in SIGPLAN proceedings style (sigplanconf.cls) reporting research results and/or experience related to the topics above (PC co-chairs can advise on appropriateness). We particularly encourage original high-quality reports on applying GPCE technologies to real-world problems, relating ideas and concepts from several topics, or bridging the gap between theory and practice. ------------------------------------------------------------------------ -- TOPICS GPCE seeks contributions in software engineering and in programming languages related (but not limited) to: * Generative programming Reuse, meta-programming, partial evaluation, multi-stage and multi-level languages, and step-wise refinement Semantics, type systems, symbolic computation, linking and explicit substitution, in-lining and macros, templates, and program transformation Runtime code generation, compilation, active libraries, synthesis from specifications, development methods, generation of non-code artifacts, formal methods, and reflection * Generative techniques for Product-line architectures Distributed, real-time and embedded systems Model-driven development and architecture * Component-based software engineering Reuse, distributed platforms and middleware, distributed systems, evolution, patterns, development methods, deployment and configuration techniques, and formal methods * Integration of generative and component-based approaches * Domain engineering and domain analysis Domain-specific languages (DSLs) including visual and UML-based DSLs * Separation of concerns Aspect-oriented and feature-oriented programming, 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. ------------------------------------------------------------------------ -- General Chair Stanislaw Jarzabek (National University of Singapore, Singapore) Program Committee Program Chairs: Douglas Schmidt (Vanderbilt University, USA) Todd Veldhuizen (Indiana University, USA) Program Committee Members: Giuseppe Attardi (University of Pisa, Italy) Elisa Baniassad (Chinese University of Hong Kong, China) Don Batory (University of Texas at Austin, USA) Ira Baxter (Semantic Designs, USA) Shigeru Chiba (Tokyo Institute of Technology, Japan) Charles Consel (INRIA/LaBRI, France) Krzysztof Czarnecki (University of Waterloo, Canada) Aniruddha Gokhale (Vanderbilt University, USA) Jeff Gray (U. of Alabama Birmingham, USA) George Heineman (Worcester Polytechnic Institute, USA) Zhenjiang Hu (University of Tokyo, Japan) H.-Arno Jacobsen (University of Toronto, Canada) Oleg Kiselyov (FNMOC, USA) Fabio Kon (University of São Paolo, Brazil) Karl Lieberherr (Northeastern University, USA) Joe Loyall (BBN Technologies, USA) Mira Mezini (Darmstadt University of Technology, Germany) Torben Æ. Mogensen (DIKU, Denmark) Emir Pasalic (Rice University, USA) Calton Pu (Georgia Tech, USA) Tim Sheard (Portland State University, USA) Yannis Smaragdakis (Georgia Tech, USA) Michael Stal (Siemens, Germany) Peri Tarr (IBM TJ Watson, USA) Peter Thiemann (Freiburg University, Germany) Eelco Visser (Utrecht University, The Netherlands) Workshops/Tutorials chairs: Christa Schwanninger (Siemens, Germany) Arno Jacobsen (University of Toronto, Canada) Publicity chair: Emir Pasalic (Rice University, USA) Steering Committee: Don Batory (University of Texas at Austin, USA) Krzysztof Czarnecki (University of Waterloo, Canada) Ulrich Eisenecker (University of Leipzig, Germany) Stanislaw Jarzabek (National University of Singapore, Singapore) Eugenio Moggi (University of Genoa, Italy) Greg Morrisett (Harvard University, USA) Frank Pfenning (Carnegie Mellon University, USA) Tim Sheard (Portland State University, USA) Yannis Smaragdakis (Georgia Tech, USA) Walid Taha (Rice University, USA) For additional information, clarification, or questions please feel free to contact the Program Committee Co-chairs (Gpce06-chairs-l(a)mailman.rice.edu). ------------------------------------------------------------------------ -- GPCE Tutorials and Workshops GPCE Tutorials, extending over a half or full day, give a deeper or broader insight than conventional lectures. GPCE Workshops provide intensive collaborative environments, where generative and component technologists meet to discuss and resolve challenging problems in the field. Tutorial and workshop proposals are due Mar 18, 2006.

1 0

Mature Program Transformation Systems
by Karl Trygve Kalleberg 13 Dec '05

13 Dec '05

Hi gang, I am looking for opinions on which program transformation systems may be considered somewhat mature. Note that my definition of "mature" is rather loose in this context. I consider a system to be mature if a proficient developer (late undergrad, early grad student with a background in the field) can get up and running and start doing interesting work with it within a day (or tops two). Also, I am not dictating which particular tasks the system must be able to perform. As long as the system can be used for constructing programs which can perform one or several tasks which reasonably fall under "program transformation" [1], I'm interested in knowing about it. Working my way though the list on program-transformation.org, and checking references (publications, manuals, available downloads) for the systems, seems to suggest that "reasonably mature" systems might include ASF+SDF, DMS, Elegant, FermaT, Stratego/XT and TXL, but I'm sure there are more. Pointers and opinions are welcome, both on and off list. -- Karl T [1] It is beyond the scope of this e-mail to provide a crisp, clear-cut definition of the term program transformation. I have left out "pure" compiler construction kits and "pure" editors from my list of stable systems, and do not want to consider those, even though this decision is may appear rather arbitrary.

5 4

CfP LDTA 2006
by Eric Van Wyk 11 Nov '05

11 Nov '05

Call for Papers for Sixth Workshop on Language Descriptions, Tools and Applications LDTA 2006 A satellite event of ETAPS 2006 in Cooperation with ACM SIGPLAN Saturday, April 1, 2006 in Vienna, Austria http://ldta06.cs.umn.edu Scope: ------ The aim of this one-day workshop is to bring together researchers from academia and industry interested in the field of formal language definitions and language technologies, with a special emphasis on tools developed for or with these language definitions. This active area of research involves the following basic technologies: - Program analysis, transformation, and generation - Formal analysis of language properties - Automatic generation of language processing tools For example, language definitions can be augmented in a manner so that not only compilers or interpreters can be automatically generated but also other tools such as syntax-directed editors, debuggers, partial evaluators, test generators, documentation generators, etc. Although various specification formalisms like attribute grammars, action semantics, operational semantics, and algebraic approaches have been developed, they are not widely exploited in current practice. It is the aim of the LDTA workshops to bridge this gap between theory and practice. Among others, the following application domains can benefit from advanced language technologies: - Software component models and modeling languages - Re-engineering and re-factoring - Aspect-oriented programming - Domain-specific languages - XML processing - Visualization and graph transformation - Programming environments such as Eclipse, .net, Rotor, SUN Java, etc. The workshop welcomes contributions on all aspects of formal language definitions, with special emphasis on applications and tools developed for or with these language definitions. Invited Speaker: ---------------- The invited speaker for LDTA 2006 is Jean Bezivin, Universite de Nantes. Important Dates: ---------------- - Submission deadline: December 1, 2005. - Notification: January 16, 2006 - Final version due: February 15, 2006 - Workshop: April 1, 2006 Submission Procedure and Publication: ------------------------------------- Submission will be open from autumn 2005. Two classes of papers are solicited: full-length research papers and short tool-demo papers. Tool-demo papers should contain a brief description of the tool and include a section that clearly explains what will be demonstrated. Full-length papers should be at most 15 pages in length and tool-demo papers should be at most 4 pages in length. Both classes of papers should be submitted electronically as PostScript or PDF files to both of the program committee chairs, John Tang Boyland at Boyland(a)cs.uwm.edu and Tony Sloane at asloane(a)ics.mq.edu.au. The message should also contain a text-only abstract and contact author information. Additional submission details, along with LaTeX style files, are available on the LDTA 2006 web page: \texttt{ldta06.cs.umn.edu}. The final versions of accepted papers will be published in Electronic Notes in Theoretical Computer Science (ENTCS), Elsevier Science, and will be made available during the workshop. The authors of the best full-length papers will be invited to write a journal version of their paper which will be separately reviewed and, assuming acceptance, be published in journal form. As in past years, this will be done in a a special issue devoted to LDTA 2006 of the journal Science of Computer Programming (Elsevier Science). Program Committee: ------------------ - Uwe Assmann, Dresden Technical University, Germany - John Tang Boyland, University of Wisconsin-Milwaukee, USA (co-chair), Boylan(a)cs.uwm.edu - Jim Cordy, Queen's University, Canada - Jan Heering, Centrum voor Wiskunde en Informatica (CWI), The Netherlands - Nigel Horspool, University of Victoria, Canada - Johan Jeuring, Utrecht University, The Netherlands - Adrian Johnstone, Royal Holloway, University of London, UK - Steven Klusener, Vrije Universiteit, The Netherlands - David Lacey, University of Warwick, United Kingdom - Brian Malloy, Clemson University, USA - Paul Roe, Queensland University of Technology, Australia - Michael Schwartzbach, BRICS, University of Aarhus, Denmark - Tony Sloane, Macquarie University, Australia (co-chair), asloane(a)ics.mq.edu.au - Yannis Smaragdakis, Georgia Institute of Technology, USA - David Watt, University of Glasgow, Scotland - David Wile, Teknowledge Corp, USA Organizing Committee: --------------------- - Eric Van Wyk, University of Minnesota, Minneapolis, USA, evw(a)cs.umn.edu - Joost Visser, University of Minho, Braga, Portugal, Joost.Visser(a)di.uminho.pt

1 0

Last call for registration: GPCE'05 (deadline 2 september)
by Eelco Visser 05 Aug '05

05 Aug '05

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) ----------------------------------------------------------------------

1 0

Early registration: GPCE'05 -- Generative Programming and Component Engineering
by Eelco Visser 15 Jul '05

15 Jul '05

CALL for EARLY REGISTRATION (deadline July 29) ---------------------------------------------------------------------- 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 ---------------------------------------------------------------------- Please consult http://www.gpce.org/05 for the UP-TO-DATE and DETAILED programme http://www.cs.ioc.ee/tfp-icfp-gpce05/ for the ON-LINE REGISTRATION, hotel and travel information ---------------------------------------------------------------------- IMPORTANT DATES * Jul 29, 2005: EARLY REGISTRATION DEADLINE (and hotel discount rates) * Sep 02, 2005: Late 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: 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 (Presenters: R.Pohjonen and J-P.Tolvanen) 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 (U. Utrecht) Workshops and Tutorials Chairs * Jeff Gray (U. of Alabama at Birmingham) * Andrew Malton (Waterloo U.) Local Arrangements Chair * Tarmo Uustalu (Inst. of Cybernetics, Tallinn) ----------------------------------------------------------------------

1 0

SAGA-GEO positions, application deadline 2005-07-18
by Magne Haveraaen 06 Jul '05

06 Jul '05

Dear all, could you please make the attached announcement known to anybody that may be interested. It is for a ph.d. position and a post.doc. position on the SAGA-GEO project, and one of these positions would be ideal for someone working in program transformations. The application deadline is in less than two weeks away. regards, Magne Haveraaen (official information at http://melding.uib.no/umeny?Ledige_stillinger)

1 0

7th GPCE Young Researchers Workshop Deadline: June 30, 2005
by GPCE YRW Organizers 22 Jun '05

22 Jun '05

[apologies for multiple copies] 7th GPCE Young Researchers Workshop 2005 In conjunction with Generative Programming and Component Engineering (GPCE'05) Co-located with ICFP 2005 http://serl.cs.colorado.edu/~rutherfo/gpce_yrw05/ gpce_yrw05 (at) serl (dot) cs (dot) colorado (dot) edu Call for Papers This call is of special interest to people who have recently started their career in the domain of generative and component based software development (the "young researchers"). We would like to encourage contributions from PhD students, post-docs, and practitioners in industry. The topics of the workshop are: Component-based software engineering: Reuse, distributed platforms, distributed systems, evolution, analysis and design patterns, development methods, formal methods Product line engineering: Architectures, scoping, domain analysis, product line implementation and testing, variability Generative programming: Reuse, meta-programming, partial evaluation, multi-stage and multi-level languages Runtime code generation, compilation, active libraries, synthesis from specifications, development methods, generation of non-code artifacts, formal methods, reflection Separation of concerns: Aspect-oriented programming, intentional programming, and multi-dimensional separation of concerns Integration of generative and component-based approaches Domain engineering, analysis, and languages Aims and Objectives After the great success of the 6th GPCE Young Researchers Workshop (see the 6th GPCE Young Researchers Workshop website) this workshop which is traditionally held in conjunction with the GPCE aims again at providing a platform for young international researchers to present their work. The presentations will be commented by experienced panelists. The workshop serves as a forum for the participants to get in contact with other researchers in the field and to become familiar with other approaches and future research topics. Authors of accepted papers receive feedback and hints on their research in a constructive and international atmosphere. Submission Guidelines Potential participants are asked to submit a short paper in English. It must be no longer than 2500 words or five pages (including figures, tables, and references). Format the paper according to the LNCS style (for the formatting details see "Information for LNCS Authors") and submit your paper in either Postscript format or PDF. The submission should be classified according to the progress of the work, e.g. third year's PhD work. All submitted papers will undergo a review process by a panel of renowned experts. All accepted papers will be published as downloadable versions on the home page of the 7th GPCE Young Researchers Workshop 2005. The number of accepted papers is limited to ten. Papers should be sent by e-mail (please use the text GPCE-YRW-2005-Submission as subject of your mail) to the address listed in the Workshop Website and Email section. Workshop Structure The workshop is intended to take one day during the GPCE conference. Accepted papers have to be presented at the workshop by their authors. Afterwards the presenters receive constructive feedback and hints from invited panelists who are experienced experts in the workshop topics. Furthermore there will be time for discussion with the whole audience about the presented work. Workshop Website and Email http://serl.cs.colorado.edu/~rutherfo/gpce_yrw05/ gpce_yrw05 (at) serl (dot) cs (dot) colorado (dot) edu Important Dates Submission due: June 30, 2005 Notification of Acceptance: Jul 11, 2005 Camera Ready Copy: August 5, 2005 Workshop: September 27, 2005 Organization Douglas R. Dechow, Tech-X Corporation Daniel Fötsch, University of Jena Sebastian Kiebusch, University of Leipzig Saverio Perugini, University of Dayton Matthew J. Rutherford, University of Colorado at Boulder Denis Shestakov, Turku Center for Computer Science Panelists TDB

1 0

Call for Participation: GPCE'05 - Generative Programming and Component Engineering
by Eelco Visser 31 May '05

31 May '05

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) ----------------------------------------------------------------------

1 0

Curry and Functional Logic Programming 2005 (2nd CfP)
by mh＠informatik.uni-kiel.de 17 May '05

17 May '05

We apologize if you receive multiple copies of this announcement. ====================================================================== CALL FOR PAPERS WCFLP 2005 International Workshop on Curry and Functional Logic Programming An ACM SIGPLAN sponsored workshop at ICFP 2005 Tallinn, Estonia September 29, 2005 WWW: http://www.informatik.uni-kiel.de/~mh/wcflp2005 ====================================================================== The integration of functional and logic programming has been extensively studied during the last years. The declarative multi-paradigm language Curry is one of the important results of this work since it combines in a seamless way the most relevant features of functional, logic, and concurrent programming. The development of Curry is an international initiative intended to provide a common platform for the research, teaching, and application of integrated functional logic languages. Various implementations of Curry are available and they have been used in a number of different applications. The aim of this workshop is to bring together researchers interested in Curry, related functional logic languages, and general aspects of integrating declarative programming paradigms. It promotes the cross-fertilizing exchange of ideas and experiences among researches and students from the different communities interested in the foundations, applications, and combinations of high-level, declarative programming languages and related areas. WCFLP 2005 includes the annual Workshop on Functional and Logic Programming (WFLP). Previous WFLP editions were: WFLP 2004 (Aachen, Germany), WFLP 2003 (Valencia, Spain), WFLP 2002 (Grado, Italy), WFLP 2001 (Kiel, Germany), WFLP 2000 (Benicassim, Spain), WFLP'99 (Grenoble, France), WFLP'98 (Bad Honnef, Germany), WFLP'97 (Schwarzenberg, Germany), WFLP'96 (Marburg, Germany), WFLP'95 (Schwarzenberg, Germany), WFLP'94 (Schwarzenberg, Germany), WFLP'93 (Rattenberg, Germany), and WFLP'92 (Karlsruhe, Germany). ---------------------------------------------------------------------- TOPICS WCFLP 2005 solicits papers in all areas of functional and (constraint) logic programming, including (but not limited to): * Language Design: modules and type systems, multi-paradigm languages, concurrency and distribution, objects * Foundations: formal semantics, rewriting and narrowing, type theory * Implementation: abstract machines, parallelism, compile-time and run-time optimizations, interfacing with external languages * Transformation and Analysis: abstract interpretation, specialization, partial evaluation, program transformation, meta-programming * Software Engineering: design patterns, specification, verification and validation, debugging, test generation, programming pearls * Integration of Paradigms: integration of declarative programming with other paradigms such as imperative, object-oriented, concurrent, and real-time programming * Applications: declarative programming in education and industry, domain-specific languages, visual/graphical user interfaces, embedded systems, WWW applications, knowledge representation and machine learning, deductive databases, advanced programming environments and tools The primary focus is on new and original research results but submissions describing innovative products, prototypes under development or interesting experiments (e.g., benchmarks) are also encouraged. ---------------------------------------------------------------------- PUBLICATION Abstracts of workshop papers will be published in ACM SIGPLAN Notices. Full workshop proceedings will be published by ACM's printing vendor and in ACM's Digital Library under the usual copyright policy. It is intended to publish a special issue of the best papers after the workshop. ---------------------------------------------------------------------- IMPORTANT DATES Deadline for submissions: June 5, 2005 Notification of acceptance: June 30, 2005 Camera-ready papers: July 12, 2005 Workshop: September 29, 2005 ---------------------------------------------------------------------- PROGRAM COMMITTEE Sergio Antoy (Portland State University, co-chair) Olaf Chitil (University of Kent) Rachid Echahed (IMAG, Grenoble) Moreno Falaschi (University of Siena) Michael Hanus (CAU Kiel, co-chair) Frank Huch (CAU Kiel) Tetsuo Ida (University of Tsukuba) Herbert Kuchen (Univ. Muenster) John W. Lloyd (Australian National University ) Francisco J. Lopez-Fraguas (UC Madrid) Wolfgang Lux (Univ. Muenster) Julio Marino (UP Madrid) Peter Thiemann (Univ. Freiburg) German Vidal (UP Valencia) ---------------------------------------------------------------------- PROGRAM CO-CHAIRS Sergio Antoy Michael Hanus Portland State University Institut fuer Informatik Dept. of Computer Science CAU Kiel P.O. Box 751 Olshausenstr. 40 Portland, OR 97207-0751 D-24098 Kiel USA Germany Phone: +1 (503) 725-4036 Phone: +49-431-880-7271 Fax: +1 (503) 725-3211 Fax: +49-431/880-7613 email: antoy(a)cs.pdx.edu email: mh(a)informatik.uni-kiel.de ---------------------------------------------------------------------- SUBMISSION Authors are invited to submit an extended abstract (no longer than 8 pages including figures and references) or a system description (no longer than 3 pages) in PDF or Postscript format. Submissions should include the title, authors' names, affiliations, addresses, and e-mail. All submissions must be written in English. Authors are strongly encouraged to use LaTeX2e and the ACM Proceedings Format (http://www.acm.org/sigs/pubs/proceed/template.html). All submissions must be original work. Submissions must be unpublished and not submitted for publication elsewhere. Work that already appeared in unpublished or informally published workshops proceedings may be submitted. Further details about the procedure to submit papers electronically are available at the workshop's web page at http://www.informatik.uni-kiel.de/~mh/wcflp2005 ----------------------------------------------------------------------

1 0

Final CFP: GPCE'05 -- Generative Programming and Component Engineering
by Eelco Visser 23 Mar '05

23 Mar '05

FINAL CALL for PAPERS and DEMOS preliminary 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, including the full text of the calls for PAPERS and DEMONSTRATIONS. ELECTRONIC SUBMISSION PAGE is active. FORTHCOMING: web pages for workshops and tutorials (mid April) ---------------------------------------------------------------------- IMPORTANT DATES * Apr 10, 2005: Submission of abstracts (only for papers) * Apr 15, 2005: Submission of papers and demos * May 30, 2005: Notification for papers and demos * 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. ---------------------------------------------------------------------- TOPICS. GPCE seeks contributions both in software engineering and in programming languages related (but not limited) to: * Generative programming - Reuse, meta-programming, partial evaluation, multi-stage and multi-level languages, step-wise refinement - Semantics, type systems, symbolic computation, linking and explicit substitution, in-lining and macros, templates, program transformation - Runtime code generation, compilation, active libraries, synthesis from specifications, development methods, generation of non-code artifacts, formal methods, reflection * Generative techniques for - Product lines and architectures - Embedded systems - Model-driven architecture * Component-based software engineering - 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 - Domain-specific languages (DSLs) including visual and UML-based DSLs * Separation of concerns - Aspect-oriented and feature-oriented programming, - Intentional programming and multi-dimensional separation of concerns * Industrial applications ---------------------------------------------------------------------- CALL FOR PAPERS. Authors are invited to submit a title and abstract (by Apr 10) and a full paper (by Apr 15) reporting research results and/or experience related to the topics above. We especially encourage original high-quality reports on applications to real-world problems, relating ideas and concepts from several topics, or bridging the gap between theory and practice. Simultaneous submission to other venues and submission of previously published material are not allowed. Accepted papers will appear in the conference proceedings, to be published in Springer's LNCS series. SUBMISSION GUIDELINES. Electronic submission will be required (except by special arrangement with the PC chairs). Submissions must be in PDF, conform to the LNCS style, and be no longer than 15 PAGES. For formatting details see http://www.springer.de/comp/lncs/authors.html. ---------------------------------------------------------------------- TUTORIALS T1: Challenges and Best Practices of Generative Software Engineering in the Context of Large Complex Business Applications (Presenter: M.M.Davydov) T2: Implementing Domain-Specific Modelling Languages andGenerators (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) ----------------------------------------------------------------------

1 0

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005

2004

sts