sts May 2005

sts@lists.urchin.earth.li

2 participants
2 discussions

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

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005

2004

sts May 2005