sts January 2005

sts@lists.urchin.earth.li

1 participants
2 discussions

CfC: GPCE'05 - Generative Programming and Component Engineering
by Eelco Visser 06 Jan '05

06 Jan '05

FIRST CALL FOR CONTRIBUTIONS ---------------------------------------------------------------------- 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 AVAILABLE: Calls for WORKSHOP and TUTORIAL PROPOSALS FORTHCOMING: Calls for papers and demonstrations (by mid January) ---------------------------------------------------------------------- IMPORTANT DATES * Feb 25, 2005: Submission of workshop and tutorial proposals * Mar 18, 2005: Notification for workshop and tutorial proposals * 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 ---------------------------------------------------------------------- Contributions to GPCE should belong to the following categories: WORKSHOPS providing intensive collaborative environments, where generative and component technologists meet to discuss (and solve) challenging problems facing the field. TUTORIALS giving a deeper or broader insight than conventional lectures (they are expected to extend over a half or a full day). Tutorials can be on any theme from or related to the topics above: surveys, experience reports or specialized research topics. However, a tutorial is expected to attract a reasonable number of participants (at least 10). PAPERS reporting research results and/or experience related to the topics above (PC co-chairs can advise on appropriateness). We especially encouraged 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. DEMOS covering novel tools, techniques or ideas; work in progress; or proven techniques used in real world scenarios. Demos will be selected based on technical content, practical or academic relevance, and their feasibility w.r.t. the infrastructure locally 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) ----------------------------------------------------------------------

1 0

CFP: Sixth Stratego User Days (SUD'05)
by Eelco Visser 06 Jan '05

06 Jan '05

--------------------------------------------------------------------------- Call for Contributions and Participation SIXTH STRATEGO USER DAYS (SUD'05) May 2 - 4, 2005 Utrecht University Utrecht, The Netherlands http://www.stratego-language.org/Stratego/SixthStrategoUserDays --------------------------------------------------------------------------- SCOPE The Stratego User Days are a yearly meeting of Stratego/XT developers and users. Topics include * The state of the Stratego language and toolset * Ongoing developments * Plans and requirements for the future * Development tools and implementation techniques for transformation systems * Compilers, interpreters, documentation generation * Transformation components and their composition * Deployment issues * Benchmarking transformations and transformed programs * Extensibility of transformation systems * Strategies for ... * Data-flow optimizations * Partial evaluation * Typechecking * Compilation * etc. * Language-specific transformation systems * C, C++, Java, XML, Haskell, Koala, ... * Methods for design and development of transformation systems * Tutorials * Experience reports --------------------------------------- FORMAT The meeting has a workshop format with talks, but also plenty of time will be reserved for discussions, code inspections, demonstrations, and time to meet individually. A walk through the woods around the campus is usually part of the deal as well. Based on experiences from previous years, there are two types of attendees; new Stratego programmers interested in a basic tutorial, and advanced Stratego programmers and researchers interested in the cutting edge. To accomodate both types, the 2006 meeting will consist of a tutorial day and a technical program. Tutorial The tutorial day (on Monday) will consist of a basic introduction into Stratego and XT in the morning, and a series of tutorial talks about recent developments in the afternoon. Potential topics include * Stratego language * Rules and strategies * Redesigned dynamic rules (including dependent dynamic rules) * Architecture of transformation systems * Language-specific libraries * Transformation tool composition It would be good to know well in advance who will attend the tutorial so that we can adjust the material to the audience. Technical Program The other (one or) two days are intended for a technical program consisting of 30 or 45 min talks about topics from the list above or other topics of interest to the Stratego/XT community. These talks will be accompanied by short papers (4 pages), which will be published in a Utrecht University technical report. --------------------------------------- CALL FOR CONTRIBUTIONS AND PARTICIPATION We invite everyone interested in program transformation and Stratego/XT to attend the meeting and possibly to make a contribution to the meeting in the form of a talk or demonstration. Contributions If you would like to give a talk or demonstration please send a short paper (at most 4 pages) to visser+sud05(a)cs.uu.nl before March 15 2004, but preferably earlier. If you are in doubt whether a certain topic would be of interest to the meeting, don't hesitate to get in touch via the same email address. Participation >From Monday, May 2 to Wednesday, May 4, 2005 we meet at Utrecht University so that everyone interested in Stratego/XT can get up to date with current developments, and get an overview of ongoing activities. A fee to cover the expenses of coffee and lunch may be necessary. Usually we go out for dinner at night, which is at your own expense. Please register as soon as possible, but before April 1, 2005, so that we can make reservations for room, lunch and dinner by sending an email to visser+sud05(a)cs.uu.nl. Important Dates * Proposals for contributions: March 15, 2005 * Registration for attendance: April 1, 2005 * Meeting: May 2 - 4, 2005

1 0

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005

2004

sts January 2005