From frederic.le-mouel at insa-lyon.fr Mon Apr 2 07:16:14 2007 From: frederic.le-mouel at insa-lyon.fr (=?iso-8859-1?b?RnLpZOlyaWM=?= Le =?iso-8859-1?b?TW9162w=?=) Date: Mon, 02 Apr 2007 07:16:14 +0200 Subject: [ecoop-info] [CFP - Deadline extension] IEEE SIPE 2007: Services Integration in Pervasive Environments Message-ID: <1175490974.4610919e7709d@webmail.insa-lyon.fr> -------------------------------------------------------------------------------- Please accept our apologies if you receive multiple copies of the CFP. -------------------------------------------------------------------------------- Call For Papers Second IEEE International Workshop on Services Integration in Pervasive Environments (SIPE'2007) http://ares.insa-lyon.fr/sipe07/ at IEEE International Conference on Pervasive Services (ICPS'2007) http://icpsconference.org/2007/ -------------------------------------------------------------------------------- Important Dates --------------- Submission of papers: April 11, 2007 -- *Deadline extension* Notification of acceptance: April 20, 2007 Camera-ready version of papers: April 30, 2007 Workshop date: July 15-20, 2007 Workshop scope -------------- In the last years, service-oriented computing and pervasive computing are emerging as the next computing paradigms. Service-oriented computing allows to easily develop, publish and use software functionalities. Pervasive computing rests on mobile and/or embedded devices, available anywhere and anytime, that can potentially provide services. Bringing these two trends together raises the new challenge of integrating/unintegrating, in an application, non-predefined services just discovered in the pervasive environment. Three main sub-areas of this challenge are tackled in this workshop: - Frameworks/Infrastructures for services integration: different developing frameworks exist and can be used or modified to ease services integration; different deployment infrastructures also exist and can be adapted to take into account the pervasive nature of the environment. - Services interactions: allowing non-predefined services to interact implies to have "smart" and adaptive matching and communication mechanisms. - Dynamic combining of services: because pervasive environments are highly dynamic, the integration of services needs to be aware of context changes to choose the more appropriate combining/deployment techniques. Topics of interests (but not limited to) ---------------------------------------- - Developing frameworks for services integration - Deployment infrastructures for services integration - Semantic services discovery and matching - Adaptive communication protocols for pervasive services - Context-aware integration - Aspect-oriented approaches in pervasive environments - Services composition and choreography in pervasive environments - Integration strategies - Monitoring and management of services integration - Contracting and negotiating approaches of integration - Ontologies of integration - Secure pervasive integration - Business integration approaches for pervasive services - Enterprise service integration - Autonomic integration Previous edition ---------------- First IEEE International Workshop on Services Integration in Pervasive Environments (SIPE'2006) (http://ares.insa-lyon.fr/sipe06/) at IEEE International Conference on Pervasive Services (ICPS'2006) in Lyon, France. Paper Submission and Proceedings -------------------------------- Authors are invited to submit original manuscripts, which should be written in English and with a very precise and concise presentation of no more than 6 pages in IEEE double-column format. Authors are invited to send their manuscripts as an attachment (PDF or PS format) by email to the workshop chair at frederic.le-mouel at insa-lyon.fr. Submission implies the willingness of at least one of the authors to register and present the paper. Workshop proceedings will be included in the IEEE edition of the ICPS conference, and also available on IEEExplore. General co-Chairs ----------------- Fr?d?ric Le Mou?l INRIA / INSA Lyon, FR frederic.le-mouel at insa-lyon.fr St?phane Fr?not INRIA / INSA Lyon, FR stephane.frenot at insa-lyon.fr Technical Program Committee --------------------------- Yolande Berbers KU Leuven, Belgium Filip De Turck Ghent University, Belgium Didier Donsez University Joseh Fourier, France St?phane Fr?not INRIA / INSA Lyon, France Nikolaos Georgantas INRIA, France Noha Ibrahim INRIA / INSA Lyon, France Julia Kantorovitch VTT, Finland R?diger Kapitza FAU-Erlangen, Germany Fr?d?ric Le Mou?l INRIA / INSA Lyon, France Nicolas Le Sommer University of South Brittany, France Jorge Parra IKERLAN, Spain Pravin Pawar University of Twente, The Netherlands Philippe Roose University of Pau, France Ichiro Satoh NII, Japan Sotirios Terzis University of Strathclyde, United Kingdom Andrew Tokmakoff Philips Research, The Netherlands -------------------------------------------------------------------------------- -- Fr?d?ric Le Mou?l, Associate Professor | Phone: (+33|0)4 72 43 64 22 CITI Laboratory / INRIA ARES Team | Fax : (+33|0)4 72 43 62 27 INSA Lyon / B?t. L?onard de Vinci | Room : 2.32 21 Avenue Jean Capelle | frederic.le-mouel at insa-lyon.fr F-69621 Villeurbanne Cedex, France | http://citi.insa-lyon.fr/~flemouel From cwg at iist.unu.edu Mon Apr 2 08:10:59 2007 From: cwg at iist.unu.edu (Chris George) Date: Mon, 02 Apr 2007 14:10:59 +0800 Subject: [ecoop-info] ICTAC 2007: Final call for papers Message-ID: <46109E73.1020701@iist.unu.edu> Call for Papers ICTAC 2007 4th International Colloquium on Theoretical Aspects of Computing 26-28 September 2007, Macao SAR, China http://www.iist.unu.edu/ictac07 Important Dates: Paper submission: 20 April 2007, Notification of acceptance: 1 June 2007, Final copy for proceedings: 22 June 2007, ICTAC 2007: 26-28 September 2007. Associated Events: - School on Domain Modelling and the Duration Calculus, 17-21 September 2007, Shanghai - Festschrift Symposium dedicated to the 70th birthdays of Dines Bj?rner and Zhou Chaochen, 24-25 September 2007, Macao - Workshops, 22-23 September, 2007, Macao See Call for Workshop Proposals at conference URL! ICTAC is an International Colloquium on Theoretical Aspects of Computing founded by the International Institute for Software Technology of the United Nations University (UNU-IIST). The aim of the colloquium is to bring together practitioners and researchers from academia, industry and government to present research results, and exchange experience, ideas, and solutions for their problems in theoretical aspects of computing. Beyond these scholarly goals, another main purpose of the conference is to promote cooperation in research and education between participants and their institutions, from developing and industrial countries, as in the mandate of the United Nations University. The previous three ICTAC events were held in Guiyang, China (2004), Hanoi, Vietnam (2005), Tunis, Tunisia (2006). The topics of the conference include, but are not limited to: - automata theory and formal languages - principles and semantics of programming languages - logics and their applications - software architectures and their description languages - software specification, refinement, and verification - model checking and theorem proving - formal techniques in software testing - models of object and component systems - coordination and feature interaction - integration of formal and engineering methods - service-oriented development - models of concurrency, security, and mobility - theory of parallel, distributed, and internet-based (grid) computing - real-time, embedded and hybrid systems - type and category theory in computer science - case studies - theories, tools and experiments of verified systems - integration of theories of system development and their tool support ICTAC 2007 will have a technical program for five days including a two-day festschrift symposium dedicated to the 70th birthdays of former UNU-IIST directors, Dines Bj?rner and Zhou Chaochen, and three days for a conference. There will also be a training school in the preceding week on topics of Domain Modelling and the Duration Calculus, to which Dines Bj?rner and Zhou Chaochen have made significant contribution. Paper Submissions: Submissions to the conference must not have been published or be concurrently considered for publication elsewhere. All submissions will be judged on the basis of originality, contribution to the field, technical and presentation quality, and relevance to the conference. Papers should be written in English and not exceed 15 pages in LNCS format (see http://www.springer.de/comp/lncs/authors.html for details). Proceedings of the previous editions of ICTAC were published by Springer in the LNCS series. We plan to do the same this year. Best papers will be selected from the accepted papers and their authors invited to submit an extended version of their work to a special issue of Formal Aspects of Computing. Submission Procedure: Further information and instruction about submission can be found at the conference website http://www.iist.unu.edu/ictac07. General Chairs: John Fitzgerald, Newcastle University, UK George Michael Reed, UNU-IIST, Macao Program Chairs: Cliff Jones, Newcastle University, UK Zhiming Liu, UNU-IIST, Macao Jim Woodcock, University of York, UK Organisation Chair: Chris George, UNU-IIST, Macao Workshop Chair: Dang Van Hung, UNU-IIST, Macao Publicity Chair: Bernhard K. Aichernig, TU Graz, Austria Sponsored by: UNU-IIST, Formal Methods Europe PC Members: M?che?l mac an Airchinnigh, IE Farhad.Arbab, NL Kamel Barkaoui, FR Jonathan P. Bowen, UK Andrew Butterfield, IE Ana Cavalcanti, UK Antonio Cerone, MO Jim Davies, UK David Deharbe, BR Jin Song Dong, SG Lindsay Groves, NZ Stefan Hallerstede, CH Michael Hansen, DK Ian Hayes, AU Dang Van Hung, MO Mathai Joseph, IN Joseph Kiniry, IE Peter Gorm Larsen,DK Xuandong Li, CN Shaoying Liu, JP Ali Mili, US Joe Morris, IE Leonor Prensa Nieto, FR Anders Ravn, DK Augusto Sampaio, BR Emil Sekerinski, CA Natarajan Shankar, US Ji Wang, CN Naijun Zhan, CN Invited Speakers: Dines Bj?rner, JAIST, Japan Zhou Chaochen, Institute of Software, CAS, China He Jifeng, East China Normal University, China Zohar Manna, Stanford University, USA From krinke at acm.org Mon Apr 2 13:06:50 2007 From: krinke at acm.org (Jens Krinke) Date: Mon, 02 Apr 2007 13:06:50 +0200 Subject: [ecoop-info] 2nd CFP: 23rd ICSM - extended deadline Message-ID: <4610E3CA.30004@acm.org> *** Submission is now open! *** *** Extended Deadline (April 13) *** Dear colleagues, The deadline for submitting papers to ICSM 2007 has been extended to April 13 (abstracts are due April 6). We would highly appreciate your support in distributing the call and motivating colleagues and students to submit quality papers. Of course, we also hope that you will submit your own work to the conference. The submission site is now open http://193.206.108.137/~icsm2007papers/ Please note that the best papers of ICSM 2007 will be invited for a special issue of the IEEE Transactions on Software Engineering. 2nd Call for Papers International Conference on Software Maintenance - ICSM October 2-5, 2007 Paris, France Call for Papers The 23rd IEEE International Conference on Software Maintenance (ICSM 2007), with associated SCAM and WSE will be held October 2-5, 2007 in Paris, France. We invite Research Papers, Industrial Applications, Tool Demonstrations, Dissertation Synopses, and Working Sessions. There will be a special section of IEEE Transactions on Software Engineering featuring selected papers of the conference. The submission deadline for Research Papers is April 13, 2007 (abstracts are due April 6) and for all other presentations May 4, 2007. ICSM is the major international conference in the field of software and systems maintenance, evolution, and management. The main goal of ICSM is to promote interaction between researchers and practitioners. The theme of this year is Moving to Service Oriented Architectures. ICSM 2007 in Paris will address these new scenarios and their major challenges of maintenance and evolution. Please forward this Call to anybody who you think may be interested. Our apologies if you receive multiple copies of this. The conference URL is: http://icsm07.ai.univ-paris8.fr/ The Call for Papers URL is: http://icsm07.ai.univ-paris8.fr/cfp.htm The submission URL is: http://icsm07.ai.univ-paris8.fr/submission-instr.htm RESEARCH PAPERS Research papers should describe original and significant work in the research and practice of software maintenance and evolution. Case studies, empirical research, and experiments are particularly welcome. We also welcome papers that present leading edge and novel ideas in maintenance. Papers must not exceed 5000 words (10 pages IEEE style) in length, in English. Submit by April 13, 2007 (abstracts are due April 6). INDUSTRIAL APPLICATIONS Proposals for presentations of industrial applications are welcome. These can be state-of-the-art descriptions, experience reports and survey reports from real projects, industrial practices and models. Submissions should not exceed four pages in proceedings format. Submit by May 4, 2007. TOOL DEMONSTRATIONS We invite proposals for tool demonstrations on any topics related to software maintenance. Demonstrations will be in an open session to allow individual interaction with the participants. Submissions should not exceed two pages in proceedings format. Submit by May 4, 2007. DOCTORAL SYMPOSIUM The Doctoral Symposium track is for those who are currently working on or who have recently completed (i.e., since 1st August 2006) their PhD thesis. The track offers an opportunity to present research problems, solution directions, results obtained thus far, and research plans towards the completion of the PhD studies. The papers should be a 2page summary of your PhD project. Accepted papers will appear in the ICSM proceedings. Submit by May 4, 2007. WORKING SESSIONS We invite proposals for half-day or full-day working sessions on any topics related to software maintenance. Working sessions are to be designed around a specific theme and be interactive and discussion oriented. Submit by May 28, 2007. MEDIA AND STYLE Submissions will be accepted only as Adobe Acrobat PDF or PostScript electronic submission. All submissions must be in English. SUBMISSION METHOD The general submission URL is: http://icsm07.ai.univ-paris8.fr/submission-instr.htm IMPORTANT DATES Research Papers due: April 13, 2007 (abstracts April 6) All other proposals due: May 4, 2007 Notification of authors: June 1, 2007 Camera-ready copy: July 6, 2007 MORE INFORMATION For further information see http://icsm07.ai.univ-paris8.fr/ or http://icsm07.ai.univ-paris8.fr/cfp.htm General Chair: Francoise Balmas, Universite Paris 8, France Program Co-Chairs: Gerardo Canfora, University of Sannio, Italy Ladan Tahvildari, University of Waterloo, Canada From kochn at pst.ifi.lmu.de Mon Apr 2 19:24:51 2007 From: kochn at pst.ifi.lmu.de (Nora Koch) Date: Mon, 02 Apr 2007 19:24:51 +0200 Subject: [ecoop-info] =?utf-8?q?Extended_Deadline_for_MDWE=C2=B407_-_Model?= =?utf-8?q?-Driven_Web_Engineering_Workshop?= Message-ID: <46113C63.40007@pst.ifi.lmu.de> -- Apologies if you receive multiple copies of this announcement -- FINAL CALL FOR PAPERS **** EXTENDED DEADLINE: PAPER SUBMISSION 14 APRIL 2007 **** -------------------------------------------------------------------- Model-Driven Web Engineering 2007 (MDWE?07) at ICWE 2007 Como, Italy, July 16-20 http://wise.vub.ac.be/mdwe2007/ -------------------------------------------------------------------- Model-Driven Software Development (MDSD) advocates the use of models and model transformations as the key artefacts in all phases of development, from system specification and analysis, to design and testing. Each model usually addresses one concern, independently from the rest of the issues involved in the construction of the system. Thus, the basic functionality of the system can be separated from its final implementation; the business logic can be separated from the underlying platform technology, etc. The transformations between models enable the automated implementation of a system right from the different models defined for it. Web Engineering is a specific domain in which Model-Driven Software Development (MDSD) can be successfully applied. Existing model-based Web engineering approaches already provide excellent methods and tools for the design and development of most kinds of Web applications. They address different concerns using separate models (navigation, presentation, workflows, etc.) and come with model compilers that produce most of the application?s Web pages and logic based on these models. However, most of these Web Engineering proposals do not fully exploit all the potential benefits of MDSD, such as complete platform independence, model transformation, and metamodelling. Recently, the MDA initiative has introduced a new approach for organizing the design of an application into different models so portability, interoperability and reusability can be obtained through architectural separation of concerns. MDA covers a wide spectrum of topics and issues (MOF-based metamodels, UML profiles, model transformations, modelling languages and tools, etc.). In another camp, Software Factories provide concepts and resources for the model-based design of complex applications. At the same time, we see a trend towards the incorporation of emerging technologies like the Semantic Web and (Semantic) Web Rule Languages, which aim at fostering application interoperability. However, the effective integration of all these techniques with the already existing model-based Web Engineering approaches is still unresolved. The workshop will provide ? in the same way as the previous MDWE?05 and MDWE'06 did ? a discussion forum where researchers and practitioners on model-driven development of Web applications can meet, disseminate and exchange ideas and problems, identify some of the key issues related to these topics, and explore together possible solutions and future works. * Topics for the workshop The main goal of this workshop is to offer a forum to exchange experiences and ideas related to model-driven software development in the Web Engineering field. Accordingly, we will invite submissions from both academia and industry about any of the following topics of interest: ? Model Driven Architecture (MDA) in the context of Web application development ? Other model-driven approaches (e.g., Software Factories) for the development of Web systems ? Potential problems or limitations of MDSD in Web Engineering ? Metamodels for model-driven approaches used for Web application development ? UML profiles for Web applications ? Web systems software architecture modelling in MDSD approaches ? Model-driven code generation for Web applications ? Model transformations in the context of model-driven approaches used for Web application development ? Model-to-model and model-to-code transformations ? Model transformation languages ? Interoperability models for Web applications and resources (Web pages, Web services, portlets, distributed components, etc.) ? Tools for model-driven Web development ? Model-driven quality analysis of Web applications ? Maintenance, evolution and management of model-driven generated Web systems ? Model-driven approaches to design distributions aspects in Web systems ? Use of Semantic Web-based approaches in model-driven Web design * Submission Format and Procedure Paper submissions should be formatted according to the LNCS guidelines and must not be longer than 15 (fifteen) pages and include the authors? name, affiliation, and contact details. They should be submitted using the EasyChair review system through the MDWE?07 Workshop website (http://wise.vub.ac.be/mdwe2007/) before April 7, 2007. All submissions will be formally reviewed by at least two reviewers. Authors will be notified of acceptance by May 13, 2007 and camera-ready versions of the workshop papers need to be due on May 30, 2007. At least one author of accepted papers should register for the conference and participate in the workshop. Workshop proceedings will be published with ISSN, both in paper and electronically. Workshop papers will be made available on-line to the participants at least one week before the workshop. In addition, the best papers will be invited to send an extended version of the paper to a journal in a special issue on the topic on Model-Driven Web Engineering. * Important Dates Paper submission: April 14, 2007 Notification of acceptance: May 13, 2007 Camera-ready version due: May 30, 2007 Workshop date: July 16 - 20, 2007 * Workshop Organizers Antonio Vallecillo, ETSI Inform?tica, University of M?laga, Spain Nora Koch, Ludwig-Maximilian Universit?t M?nchen and FAST GmbH, Germany Geert-Jan Houben, Vrije Universiteit Brussel, Belgium, and Technische Universiteit Eindhoven,The Netherlands * Program Committee Luciano Baresi, Politecnico di Milano, Italy Jean B?zivin, University of Nantes, France Olga De Troyer, Vrije Universiteit Brussel, Belgium Piero Fraternalli, Politecnico di Milano, Italy Martin Gaedke, University of Karlsruhe, Germany Athula Ginige, University of Western Sydney, Australia Jaime G?mez, Universidad de Alicante, Spain Gerti Kappel, Technische Universitaet Wien, Austria Esperanza Marcos, Universidad Rey Juan Carlos, Spain Maristella Matera, Politecnico di Milano, Italy Pierre-Alain Muller, University of Mulhouse, France Alfonso Pierantonio, Universita di L'Aquila, Italy Vicente Pelechano, Universidad Polit?cnica de Valencia, Spain Gustavo Rossi, LIFIA, Universidad Nacional de la Plata, Argentina Hans-Albrecht Schmidt, FH Konstanz, Germany ********************************************************************************* ? More information about MDWE2007 can be found at http://wise.vub.ac.be/mdwe2007 ********************************************************************************* From Isabel.Michiels at vub.ac.be Tue Apr 3 12:47:14 2007 From: Isabel.Michiels at vub.ac.be (Isabel Michiels) Date: Tue, 3 Apr 2007 12:47:14 +0200 Subject: [ecoop-info] Call for Participation: Second AOSD Summer School Message-ID: <1650B827-99EE-4CB1-BE71-E4B6EBB4CEEF@vub.ac.be> ================================================ CALL FOR PARTICIPATION Second Summer School on Aspect-Oriented Software Development (AOSD) 16-20 July 2007, Genova, Italy http://www.aosd-europe.net/summerschool An organisation of AOSD-Europe at Genova, Italy ================================================ IMPORTANT DATES: Registration Deadline: June 1st, 2007 Abstract submission deadline: June 8th, 2007 ================================================ ABOUT THE AOSD SUMMER SCHOOL Following on from its highly successful first edition last year, the second AOSD-Europe summer school on Aspect- Oriented Software Development (AOSD) provides an intensive and exciting week of lectures on advanced aspect-oriented topics in the context of programming languages, analysis and design, formal methods and application domains. The summer school brings together PhD students and lecturers as well as other researchers and practitioners who are interested in aspect-oriented software development. The tutorials are given by renowned representatives of each domain of expertise. Each tutorial combines foundations, examples and advanced topics as well as hands-on sessions when appropriate. The program of the summer school also features a participants workshop, implemented in the programme through a series of research sessions. All the students of the summer school will be invited to present a poster about their ongoing work. They will be asked to submit a title and an abstract beforehand. The lecturers present at the summer school will provide the students with feedback on their research. LECTURES (Please consult the website regularly for the schedule and more information about each course: http://www.aosd-europe.net/summerschool) - Introduction to Aspect-Oriented Concepts (A. Rashid and W. Joosen) - A Survey of Aspect-Oriented Programming Languages and Research Topics (M. Mezini) - Aspect-Oriented Requirements Engineering (A. Rashid) - Aspect-Oriented Modelling (M. Aksit) - Formal Methods (S. Katz) - Aspect-Oriented Middleware & State of the Art (W. Joosen) - A Broader Perspective on Aspect-Orientation (AO and Product Lines, Reflection, Domain-Specific Languages, MS Software) (P. Cointe) RESEARCH SESSIONS During the research sessions, attending students are invited to present their research work to the lecturers who can provide interesting comments and feedback on the student?s work. All students will also be invited to present a poster about their ongoing work. VENUE DISI, Genova, Italy Genova is a city and a seaport in northern Italy. Its position on the sea and some of its neighbors (such as Portofino, 5 Terre, Santa Margherita) makes Genova a very actractive and pleasant place. It is easy to reach for European travellers by both train and airplane and has numerous interesting sites for those wishing to extend their stay beyond the summer school. The main features of central Genoa include the Piazza de Ferrari, around which are sited the Opera and the Palace of the Doges. There is also a house where Christopher Columbus putatively was born. The Strada Nuova or the Via Garibaldi, in the old city, was inscribed on the World Heritage List in 2006. The pictures at the top of this page show some famous sights in Genova: St. Lawrence Cathedral, Galleria Mazzini, Piazza De Ferrari, the Lanterna (the lighthouse) and the seaport. REGISTRATION FEES Regular: 500 EUR Students: 400 EUR Late registration: Regular: 550 EUR Students: 450 EUR On-site: Regular: 600 EUR Students: 500 EUR - Included in this fee are the following: the notes of all lectures, access to computer labs, coffee breaks and lunch during the summer school, and an evening social event. - What is NOT included are travel expenses and lodging. REGISTRATION DEADLINES Students wishing to present their research during the research sessions are required to submit a one-page abstract of their presentation and research. - Registration deadline: June 1st, 2007 - Abstract submission deadline: June 8th, 2007 - Summer School: Monday, July 16th to Friday, July 20th, 2007 REGISTRATION PROCEDURE Information on how to register will be available on the web site shortly: http://www.aosd-europe.net/summerschool Any further inquiries about the summer school registration can be sent to Isabel Michiels (Isabel.Michiels at vub.ac.be) ORGANISATION The second Summer School on AOSD is an organisation of the European Network of Excellence on AOSD (AOSD-Europe - http://www.aosd- europe.net). General Chair: - Theo D?Hondt (Vrije Universiteit Brussel, Belgium) Program Co-chairs: - Wouter Joosen (Katholieke Universiteit Leuven, Belgium) - Awais Rashid (Lancaster University, UK) Organizing Chair: - Walter Cazzola, DICo, Universit? di Milano, Italy (contact person) - Sonia Pini, DISI, Universit? di Genova, Italy Summer School Board: - Wouter Joosen, Katholieke Universiteit Leuven, Belgium (chair) - Awais Rashid, University of Lancaster, United Kingdom - Mehmet Aksit, University of Twente, The Netherlands - Pierre Cointe, Ecole des Mines de Nantes, France - Lidia Fuentes, Universidad de Malaga, Spain Lecturers: - Mehmet Aksit, University of Twente, The Netherlands - Pierre Cointe, INRIA/EMN, Nantes, France - Alessandro Garcia, University of Lancaster, UK - Wouter Joosen, Katholieke Universiteit Leuven, Belgium - Shmuel Katz, Technion, Israel - Mira Mezini, Technische Unversit?t Darmstadt, Germany - Awais Rashid, University of Lancaster, UK The AOSD Summer School is supported by the European Network of Excellence on Aspect-Oriented Software Development. -------------- next part -------------- An HTML attachment was scrubbed... URL: http://www.aito.org/pipermail/ecoop-info/attachments/20070403/36ff3dca/attachment-0001.htm From italiano at gauguin.info.uniroma2.it Wed Apr 4 12:47:26 2007 From: italiano at gauguin.info.uniroma2.it (Giuseppe F. Italiano) Date: Wed, 4 Apr 2007 12:47:26 +0200 (CEST) Subject: [ecoop-info] ICTCS'07 Final Call for Papers Message-ID: The 10th Italian Conference on Theoretical Computer Science (ICTCS'07) Rome, Italy, October 3-5, 2007 http://www.disp.uniroma2.it/ictcs07/ Final Call for Papers Important Dates: Deadline for abstract pre-submission: 15 April 2007 Deadline for paper submission: 19 April 2007 Notification of Acceptance: 31 May 2007 Conference: 3-5 October 2007 Conference Web Page: http://www.disp.uniroma2.it/ictcs07/ Electronic Submission Web Page: http://www.easychair.org/ICTCS07/ The 10th Italian Conference on Theoretical Computer Science (ICTCS'07) will be held in Rome, Italy. Papers presenting original contributions in any area of theoretical computer science are being sought. Typical but not exclusive topics of interest include: * Algebraic and categorical models; * Algorithmic aspects of networks; * Algorithmic game theory; * Algorithms and data structures; * Computability; * Computational complexity; * Computational biology; * Computational geometry; * Cryptography and security; * Databases, semi-structured data and finite model theory; * Emerging and non-standard models of computation; * Experimental analysis of algorithms; * Formal languages and automata theory; * Internet algorithmics; * Logics, formal methods and model checking; * Models of concurrent, distributed and mobile systems; * Models of reactive, hybrid and stochastic systems; * Parallel, distributed and external memory computing; * Principles of programming languages; * Program analysis and transformation; * Quantum computing; * Specification, refinement and verification * Type systems and theory, typed calculi. SUBMISSION GUIDELINES. Only submissions received through the electronic submission web page will be considered. Authors must pre-submit title and plain text abstract by April 15, only these authors will be allowed to submit an extended abstract (in pdf) by April 19. The extended abstract should start with a title page consisting of the title of the paper; each author's name, affiliation, and email address; and a brief summary of the results to be presented. This should then be followed by a technical exposition of the main ideas and techniques used to achieve the results, including motivation and a clear comparison with related work. The full extended abstract should not exceed 12 single-spaced pages. If more details are needed to substantiate the main claims of the paper, the submission may include a clearly marked appendix that will be read at the discretion of the program committee. Submissions deviating significantly from these guidelines risk rejection without consideration of their merits. PROCEEDINGS. The proceedings of the conference will be published by World Scientific, and will be available for distribution at the conference. The final version of each accepted paper must be submitted in electronic form conforming to the World Scientific style and not exceeding 12 pages. Invited Speakers: * Giorgio Ausiello * Rocco de Nicola Invited Speakers of special session for Coppo-Dezani-Ronchi: * Henk Barendregt * Chantal Berline * Corrado Boehm * Furio Honsell * Giuseppe Longo * Pawel Urzyczyn Program Committee: * Marcella Anselmo (Salerno Univ., Italy), * Alberto Bertoni (Milano Univ., Italy), * Roberto Bruni (Pisa Univ., Italy), * Nadia Busi (Bologna Univ., Italy) * Ferruccio Damiani (Torino Univ., Italy), * Paola Inverardi (L'Aquila Univ., Italy), * Giuseppe F. Italiano (Roma "Tor Vergata" Univ., Italy, Co-Chair), * Irit Katriel (Brown Univ., USA), * Giovanni Manzini (Univ. Piemonte Orientale, Italy), * Alberto Marchetti-Spaccamela (Roma "La Sapienza" Univ., Italy), * Dimitrios Michail (MPI Saarbruecken, Germany), * Eugenio Moggi (Genova Univ., Italy, Co-Chair), * Alberto Momigliano (Edinburgh Univ., UK), * Piotr Sankowski (Warsaw Univ., Poland), * Roberto Segala (Verona Univ., Italy), * Francesca Toni (Imperial College London, UK). Organizing Committee: * Fabio Dellutri (Roma "Tor Vergata" Univ.), * Luigi Laura (Roma "La Sapienza" Univ.), * Michela Loja (Roma "Tor Vergata" Univ.), * Maurizio Saltali (Roma "Tor Vergata" Univ.). From reussner at ipd.uka.de Thu Apr 5 09:35:10 2007 From: reussner at ipd.uka.de (Ralf Reussner) Date: Thu, 05 Apr 2007 09:35:10 +0200 Subject: [ecoop-info] CfP WCOP 2007, July 31st, Berlin Message-ID: <4614A6AE.9060608@ipd.uka.de> Call for Position Statements WCOP 2007 Twelfth International Workshop on Component-Oriented Programming (in conjunction with ECOOP 2007) Berlin, July 31st, 2007 http://research.microsoft.com/~cszypers/events/WCOP WCOP seeks position papers on the important field of component-oriented programming (COP). WCOP 2007 is the twelfth event in a series of highly successful workshops, which took place in conjunction with every ECOOP since 1996. COP has been described as the natural extension of object-oriented programming to the realm of independently extensible systems. Several important approaches have emerged over the recent years, including component technology standards, such as CORBA/CCM, COM/COM+, J2EE/EJB,.NET, and most recently software services, but also the increasing appreciation of software architecture for component-based systems, as in SOA, and the consequent effects on organizational processes and structures as well as the software development business as a whole. COP aims at producing software components for a component market and for late composition. Composers are third parties, possibly the end users, who are notable or willing to change components. This requires standards to allow independently created components to interoperate, and specifications that put the composer into the position to decide what can be composed under which conditions. On these grounds, WCOP'96 led to the following definition: A component is a unit of composition with contractually specified interfaces and explicit context dependencies only. Components can be deployed independently and are subject to composition by third parties. After WCOP'96 focused on the fundamental terminology of COP, the subsequent workshops expanded into the many related facets of component software. WCOP 2007 will discuss the black-box nature of components. On the one hand, for many, components became synonymously with the black-box building blocks of software. Technically, this means a component is described by the interfaces it provides and requires. On the other hand, for many reasons, an abstract description of specific aspects of the component?s behaviour in addition to the mere interface specification is needed. These reasons include architectural dependency analysis, the description of non-functional properties or the verification of the absence of deadlocks. Therefore, in WCOP 2007 we explicitly ask for positions statements discussing work related to the question: "How dark should a component blackbox be?" This includes position statements dealing with components or component-based systems or component infrastructures, which explicitly make use of information on components beyond mere provides and requires interfaces. Finally, in addition to submissions addressing the theme, we explicitly solicit papers reporting on experience with component-oriented software systems in practice, where the emphasis is on interesting lessons learned, whether the actual project was a success or a failure. TOPICS Topics of interest to WCOP 2007 include, but are not limited to: . predictable assembly of components . performance/efficiency and reliability of component-based systems . systems for the description and prediction of non-functional component properties . deployment attribution / constraints . COP and Model-driven Development (MDA) . role of composition frameworks . interoperation among component frameworks . dynamic composition of component-based systems . component-oriented development processes . relating architectural principles/approaches to component software . architecture description languages suitable to guide COP . addressing variability requirements in component-based solutions . system design for independent extensibility . system design for the use of third-party components . component versus application evolution . components in distributed embedded systems, incl. mobile phones and PDAs . domain-specific (vertical) standards . organizational aspects . business aspects . what worked / what didn't work in practice and lessons learned SUBMISSIONS AND PARTICIPATION To enable lively and productive discussions, attendance will be limited to about 30 participants. To participate in the workshop, acceptance of a submitted position statement is required. All submissions will be formally reviewed. High-quality position statements will be considered for publication in conjunction with transcripts of workshop results. Authors of accepted papers need to participate in the workshop. Position statements should clearly state how they relate to the workshop theme, what particular problems they address, and what solutions they envisage, and why the statement is expected to be relevant to both this workshop and the community. Statements should be four to eight pages (single-spaced A4 or letter) long and state the author's name, affiliation, and contact. Submissions should be e-mailed in PDF to Ralf Reussner (reussner "at" ipd.uka.de) with "WCOP 2007" in the subject line. IMPORTANT DATES - Paper submissions: 13 May, 2007 - Notification of acceptance: 31 May, 2007 - Workshop handouts ready: 19 June, 2007 WORKSHOP CO-ORGANIZERS Ralf Reussner Institute for Program Structures and Data Organization Universit?t Karlsruhe (T.H.) Am Fasanengarten 5 D-76128 Karlsruhe, Germany E-mail reussner "at" ipd.uka.de Web http://sdq.ipd.uka.de Clemens Szyperski Microsoft One Microsoft Way Redmond, WA 98053, USA E-mail clemens.szyperski "at" microsoft.com Web: http://research.microsoft.com/~cszypers/ Wolfgang Weck Independent Software Architect Probusweg 9 CH-8057 Z?rich, Switzerland E-mail wolfgang.weck "at" iaeth.ch Web http://www.wolfgang-weck.ch -- -------------------------------------------------------------- Prof. Dr. Ralf Reussner - Chair Software-Design and -Quality Institute for Program Structures and Data Organization Faculty of Informatics, Universitaet Karlsruhe (TH) Am Fasanengarten 5, D-76131 Karlsruhe, Germany Office 327, Main Computer Science Building (50.34) Tel. +49 721 608 5993, Fax. +49 721 608 5990 http://sdq.ipd.uka.de -------------------------------------------------------------- From sergio at dsc.upe.br Mon Apr 9 02:16:07 2007 From: sergio at dsc.upe.br (=?ISO-8859-1?Q?S=E9rgio_Soares?=) Date: Sun, 08 Apr 2007 21:16:07 -0300 Subject: [ecoop-info] CALL FOR PARTICIPATION - SugarLoafPLoP 2007 Message-ID: <461985C7.6000800@dsc.upe.br> ********************************************************************* CALL FOR PARTICIPATION 6th Latin American Conference on Pattern Languages of programming (SugarLoafPLoP 2007) May 27-30, 2007 - Porto de Galinhas, Pernambuco, Brazil http://sugarloafplop.dsc.upe.br/ ** REGISTRATION IS ALREADY OPENED ** ** SPECIAL DISCOUNT FOR REGISTRATION BEFORE APRIL 30 ** ********************************************************************* THE CONFERENCE -------------- SugarLoafPLoP brings together researchers, educators, and practitioners whose interests span a remarkably broad range of topics and who share an interest in exploring the power of the pattern form. Highlights of the conference include tutorials, invited speakers, and workshops, all held in a beach in the Brazilian Northeast, an area of great natural and cultural beauty. The SugarLoafPLoP'2007 program will be divided in three different tracks: * Writers' Workshop (WW) - papers that document patterns and pattern languages will be workshopped in the traditional PLoP format. * Pattern Applications (PA) - papers that explore the use and application of patterns, such as using patterns in industry and academia tools for using patterns, evaluation of productivity when using patterns, teaching and consulting with patterns, and so on. Both practitioners from the software industry and academics are invited to submit to this track. * Writing Patterns (WP) - papers of newcomers who want to learn how to better elaborate an idea intended to evolve to a pattern or pattern language. This is more like a hands-on tutorial on writing patterns. CONFERENCE LOCATION ------------------- SugarLoafPLoP will be held at Hotel Pontal de Ocapor? in Porto de Galinhas, only fifty minutes from Recife, Brazil. Porto de Galinhas is one of the most beautiful beaches of Brazil (http://www.portodegalinhas.com.br). See more about Pernambuco and its beaches here. CONFERENCE ORGANIZATION ----------------------- S?rgio Soares (DSC/UPE, Brazil) PROGRAM CO-CHAIRS ----------------- Jerffeson Teixeira de Souza (UECE, Brazil) Richard P. Gabriel (Sun Microsystems Inc., USA) PROGRAM COMMITTEE ----------------- Claudia Werner (COPPE/UFRJ, Brasil) Eugene Wallingford (U. Northern Iowa, USA) Fabio Kon (IME/USP, Brasil) Jerffeson Souza (UECE, BR) Jorge L. Ortega Arjona (UNAM, Mexico) Joseph Yoder (U. Illinois / The Refactory, Inc, USA) Linda Rising (Independent Consultant, USA) Lise Hvatum (Schlumberger, USA) Marcos Cordeiro d'Ornellas (UFSM, Brasil) Neil Harrison (Utah Valley State College, USA) Paulo Borba (CIn/UFPE, Brasil) Paulo Cesar Masiero (ICMC/USP, Brasil) Richard Gabriel (Sun Microsystems, USA) Robert Hanmer (Lucent Technologies, USA) Rosana Braga (ICMC/USP, Brasil) Rossana Andrade (DC/UFC, Brasil) Sergio Soares (DSC/UPE, Brasil) LOCAL ORGANIZATION ------------------ Emanoel Francisco Sp?sito Barreiros (DSC-UPE, Brazil) Liliane Sheyla da Silva (DSC-UPE, Brazil) M?rcio Lopes Corn?lio (DSC-UPE, Brazil) M?ria Lencastre (DSC-UPE, Brazil) Ricardo Massa Ferreira Lima (DSC-UPE, Brazil) S?rgio Castelo Branco Soares (DSC-UPE, Brazil) Thaysa Suely Beltr?o Paiva (DSC-UPE, Brazil) FOR MORE INFORMATION -------------------- For further information, please visit the conference home page http://sugarloafplop.dsc.upe.br or contact the chairs, Jerffeson Souza (jeff at larces.uece.br), Dick Gabriel (rpg at dreamsongs.com) or S?rgio Soares (sergio at dsc.upe.br). PLoP is a trademark of The Hillside Group, Inc. From Yunwen.Ye at Colorado.EDU Tue Apr 3 17:45:18 2007 From: Yunwen.Ye at Colorado.EDU (Yunwen Ye) Date: Tue, 3 Apr 2007 09:45:18 -0600 Subject: [ecoop-info] CfP: International Conference on Automated Software Engineering Message-ID: ------------------------------------------------------------------ 22nd IEEE/ACM International Conference on AUTOMATED SOFTWARE ENGINEERING (ASE2007) Nov. 5-9, 2007, Atlanta, Georgia, USA http://www.ase-conference.org/ ------------------------------------------------------------------ DUE DATES for Various Submissions: Jun. 4, 2007 Paper Abstracts Jun. 11, 2007 Papers Apr. 20, 2007 Workshop Proposals Jul. 9, 2007 Tutorial Proposals, Doctoral Symposium and Tool Demonstrations ------------------------------------------------------------------- The IEEE/ACM International Conference on Automated Software Engineering brings together researchers and practitioners to share ideas on the foundations, techniques, tools, and applications of automated software engineering. ASE2007 will include technical papers, invited keynotes, tutorials, workshops, tool demonstrations, and a doctoral symposium. General Chair Kurt Stirewalt, Michigan State University, USA http://www.cse.msu.edu/~stire/ Program Co-Chairs Alexander Egyed, Teknowledge Corporation, USA http://www.alexander-egyed.com/ Bernd Fischer, University of Southampton, UK http://www.ecs.soton.ac.uk/people/bf/ ---------------- Keynote Speakers ---------------- Rustan Leino, Microsoft Research http://research.microsoft.com/~leino/ Bran Selic, IBM http://www-306.ibm.com/software/rational/bios/selic.html Doug Smith, Kestrel Institute http://www.kestrel.edu/home/people/smith/ --------------- Call for Papers --------------- http://www.cse.msu.edu/ase2007/cfp/papers/ Software engineering is concerned with the analysis, design, implementation, testing, and maintenance of large software systems. Automated software engineering focuses on how to automate or partially automate these tasks to achieve significant improvements in quality and productivity. ASE 2007 encourages contributions describing basic research, novel applications, and experience reports. In all cases, papers should carefully articulate the relevance of their contributions to the automation of software engineering tasks. Solicited topics include, but are not limited to: - Automated reasoning techniques - Component-based systems - Computer-supported cooperative work - Configuration management - Domain modeling and meta-modeling - Human-computer interaction - Knowledge acquisition and management - Maintenance and evolution - Model-based software development - Modeling language semantics - Ontologies and methodologies - Open systems development - Product line architectures - Program understanding - Program synthesis - Program transformation - Re-engineering - Requirements engineering - Specification languages - Software architecture and design - Software visualization - Testing, verification, and validation - Tutoring, help, and documentation systems ACM Press will publish accepted papers in the conference proceedings. In addition, authors of selected papers will be invited to revise and re-submit extended versions of their conference papers for consideration for a special issue of the Journal of Automated Software Engineering, published by Springer. ASE 2007 accepts two categories of paper submissions. Long paper submissions should report on a substantial contribution supported by an appropriate evaluation. Each accepted long paper will be presented in a plenary session of the main conference program. Long paper submissions may be accepted as short papers if the program committee finds the contribution or the evaluation not substantial enough. Long paper submissions must not exceed 10 pages in the conference format. Short paper submissions typically discuss exciting new work that is not yet mature enough for a long paper and lacks evaluation. Each accepted short paper will be presented in a poster session. Short paper submissions must not exceed 4 pages in the conference format. Papers submitted to ASE 2007 must not have been previously published, and must not be under review for publication elsewhere. Papers must strictly adhere to submission guidelines. Papers exceeding the given page limits or using condensed formatting will be administratively rejected and will not be reviewed. All papers that conform to submission guidelines will be peer-reviewed by program committee members. All papers must be submitted electronically by June 11, 2007 (abstracts must be submitted by June 4, 2007), through the conference website. --------------------------- Call for Workshop Proposals --------------------------- http://www.cse.msu.edu/ase2007/cfp/workshops/ ASE 2007 invites submissions of workshop proposals. The workshops co-located with the conference should provide an opportunity for exchanging views, advancing ideas, and discussing preliminary results on topics related to software engineering research and applications. A workshop may last one or two days. The proceedings of each accepted workshop will be archived in the ACM Digital Library. Workshop proposals should be submitted in PDF format via email to both workshop co-chairs by April 20, 2007. Workshops Co-Chairs: Neelam Gupta,University of Arizona, USA http://www.cs.arizona.edu/~ngupta/ George Spanoudakis, City University London, UK http://www.soi.city.ac.uk/~gespan/ ------------------ Call for Tutorials ------------------ http://www.cse.msu.edu/ase2007/cfp/tutorials/ Tutorials are an integral component of the ASE conferences. They should either provide an intensive introduction to an evolving or emerging research topic or allow attendees to develop skill in the application of some ASE technique or tool. ASE 2007 invites proposals for half-day/full-day tutorials. Proposals should be submitted by July 9, 2007. Tutorials Co-Chairs: Marsha Chechik, University of Toronto, Canada http://www.cs.toronto.edu/~chechik/ Virginie Wiels, ONERA/CERT, France http://www.cert.fr/francais/deri/wiels/ --------------------------- Call for Doctoral Symposium --------------------------- http://www.cse.msu.edu/ase2007/cfp/ds/ The ASE 2007 Doctoral Symposium seeks to bring together PhD students working on automated software engineering and give them the opportunity to present and to discuss their research within the ASE community in a constructive atmosphere. Specifically, the symposium aims to provide a setting whereby students receive feedback on their research and guidance on future directions from a broad group of advisors, foster a supportive community of scholars and a spirit of collaborative research, and contribute to the conference goals through interaction with other researchers and conference events. Doctoral Symposium Co-Chairs: Andrew Ireland, Heriot-Watt University, UK http://www.macs.hw.ac.uk/~air/ Willem Visser, RIACS/NASA Ames Research Center, USA http://ase.arc.nasa.gov/visser/ ---------------------------- Call for Tool Demonstrations ---------------------------- Tools are central to automated software engineering. Hence, tool demonstrations will have a prominent role in the conference. ASE 2007 solicits submissions for tool demonstrations related to automated software engineering. Tools can range from alpha-versions to fully developed products that are being prepared for commercialization. Products that are already being commercialized will not be accepted. Please submit your tool demonstratation paper by July 9, 2007. Demonstrations Co-Chairs: Michele Lanza, University of Lugano, Switzerland http://www.inf.unisi.ch/faculty/lanza/ Andrian Marcus, Wayne State University, USA http://www.cs.wayne.edu/~amarcus/ ---------------------------- Important Dates At-A-Glance ---------------------------- Apr. 20, 2007: Workshop Proposals Due May 7, 2007: Workshop Proposals Notifications Jun. 4, 2007: Technical Paper Abstracts Due Jun. 11, 2007: Technical Papers Due Jul. 9, 2007: Tutorial, Doctoral Symposium, Tool Demonstration Due Aug. 10, 2007: Technical Paper, Tutorial, and Doctoral Symposium Notifications Aug. 13, 2007: Tool Demonstration Notifications Aug. 31, 2007: Camera-Ready Due of Technical Papers, Doctoral Symposiums, and Tool Demonstrations Nov 5-9, 2007: ASE Conference Nov 5, 2007: Doctoral Symposium Nov 5-6, 2007: Workshops Nov 5-6, 2007: Tutorials ---------------------------------- Program Committee and Expert Panel ---------------------------------- Program Committee: Perry Alexander Jamie Andrews Tevfik Bultan Marsha Chechik Krzysztof Czarnecki Ewen Denney Tom Ellman Wolfgang Emmerich Harald Gall Gerald Gannod Dimitra Giannakopoulou Michael Goedicke Paul Gruenbacher Neelam Gupta Robert J. Hall Mats Heimdahl Scott Henninger Andre van der Hoek John Hosking Paola Inverardi Andrew Ireland Michele Lanza Jonathan Maletic Nenad Medvidovic Tim Menzies Alessandro Orso Charles Pecheur John Penix David Redmiles Julian Richardson Houari Sahraoui Gabi Taentzer Tetsuo Tamai Willem Visser Dave Wile Tao Xie Andrea Zisman Expert-Review Panel: Elisabetta Di Nitto Steve Easterbrook Kathi Fisler John Grundy Shinichi Honiden Shriram Krishnamurthi Yves Ledru Shaoying Liu Michael Lowry Katsuhisa Maruyama Sebastian Uchitel Eelco Visser Virginie Wiels ----------------------------------------------------------------------- For further information, please visit the conference website at http://www.ase-conference.org/ or contact: Yunwen Ye, University of Colorado & SRA Key Technology Lab (yunwen at colorado.edu) ASE2007 Publicity Chair From etanter at dcc.uchile.cl Tue Apr 3 18:39:13 2007 From: etanter at dcc.uchile.cl (Eric Tanter) Date: Tue, 3 Apr 2007 12:39:13 -0400 Subject: [ecoop-info] [CFP] Object Technology for Ambient Intelligence and Pervasive Computing Message-ID: <20061333-E0AA-429B-8C09-882E02815D8C@dcc.uchile.cl> [apologies for multiple posting] ** CALL FOR PAPERS ** 3rd Workshop on Object Technology for Ambient Intelligence and Pervasive Computing http://sam.iai.uni-bonn.de/ot4ami2007/ July 30th, Berlin, Germany held at the 21st European Conference on Object-Oriented Programming http://2007.ecoop.org The goals of this workshop are to identify and discuss the impact of Ambient Intelligence on object-oriented technologies and vice versa. Join us to outline fruitful paths for future research on the connection between Ambient Intelligence and object-oriented programming languages and systems. Topics this year include: - Programming Models - Reflection - Security issues - Software Adaptation - Context Modelling - Biologically-Inspired Concepts - Software Engineering for Autonomous Systems - Device-Device and Human-System Interaction The workshop format this year is targeted at discussion outside the particular focus of each participant?s technical setting. Therefore, we solicit two types of submissions: - position papers, where authors should postulate a clear position on 2-6 pages (LNCS style), not just small technical papers; - surveys of the state of the art, identifying weaknesses and opportunities in the area. Submission deadline: May 13th, 2007 More information on: http://sam.iai.uni-bonn.de/ot4ami2007/ _Organizers_ [ Holger M?gge | University of Bonn ] [ Pascal Cherrier | France Telecom R&D ] [ Jessie Dedecker | Vrije Universiteit Brussel ] [ ?ric Tanter | University of Chile ] [ Cristina V. Lopes | University of California, Irvine ] From stg at inf.ed.ac.uk Tue Apr 3 17:39:40 2007 From: stg at inf.ed.ac.uk (Stephen Gilmore) Date: Tue, 03 Apr 2007 16:39:40 +0100 Subject: [ecoop-info] [cmsb-2007] Second call for papers CMSB07 Message-ID: <4612753C.2050507@inf.ed.ac.uk> International Conference on COMPUTATIONAL METHODS IN SYSTEMS BIOLOGY 20th and 21st September 2007 Edinburgh, Scotland http://conferences.inf.ed.ac.uk/cmsb07/ INVITED SPEAKERS: Daniel T. Gillespie, Mark Girolami. The CMSB (Computational Methods in Systems Biology) conference series was established in 2003 to help catalyze the convergence of modellers, physicists, mathematicians, and theoretical computer scientists from fields such as language design, concurrency theory, program verification, and molecular biologists, physicians, neuroscientists interested in a systems-level understanding of cellular physiology and pathology. CMSB'07 solicits original research articles (including significant works-in-progress), surveys of current research and posters. These may cover theoretical or applied contributions that are motivated by a biological question and can demonstrate either actual or potential usefulness towards answering that question. They may also cover models of computation inspired by biological processes; the motivation may be as much computational as biological. Particularly relevant case studies and open issues from the biological side that demands modeling of systems are of interest as well. The introduction of formal models should be supported by theoretical arguments about the model and/or on the analyses that they enable, by comparisons with other network models, and/or by examples of representation and analysis of a biological system. Topics of interest include, among others: 1. Biological systems and networks: inference, properties, modeling, dynamics, simulation and reverse engineering 2. Formal methods for drug discovery and design 3. Methods to predict biological network behavior from incomplete information 4. Models including symbolic evolution and learning 5. Models of self-assembly 6. Detailed case-studies on how a biological question was successfully addressed using formal models 7. Emergence of properties in complex biological systems 8. Theoretical comparisons between different formal models of cellular processes 9. Differential, discrete and/or stochastic modeling-language frameworks 10. Quantitative formal languages 11. Biologically-inspired extensions to concurrency theory, constraint programming, logical methods or language equivalences 12. Computer models in nano-sciences applied to biological domains 13. Definition and study of theoretical properties of biologically-inspired formal languages 14. Biological data bases and exchange formats for biological data and standards History 2006 held in Trento, chaired by Corrado Priami 2005 held in Edinburgh, chaired by Gordon Plotkin. 2004 held in Paris, co-chaired by Vincent Danos and Vincent Schachter 2003 held in Trento, chaired by Corrado Priami Paper and poster submission guidelines Authors are invited to submit original research papers or survey papers of no more than 15 pages in PDF format using the LNCS templates, available at the url below http://www.springer.com/sgw/cda/frontpage/0,11855,5-164-2-72376-0,00.html We also accept poster proposals in the form of a text-only abstract in PDF format describing the poster contents. To submit a paper to CMSB visit http://www.easychair.org/CMSB07/ to register with the EasyChair conference management site and then upload your paper. You will be asked to supply the title and abstract of your paper together with the PDF file of the paper itself. Submissions will be acknowledged. All submissions will be reviewed by the program committee. We plan to publish the proceedings of the conference with Springer under the series named Lecture Notes in Bioinformatics, subseries of Lecture Notes in Computer Science. Final approval is pending. Selected papers from the CMSB 2007 conference will appear in a special issue of Theoretical Computer Science. Important Dates (deadlines are strict): Submission of papers: May, 7 Notification of paper acceptance: June, 4 Revised version of papers due: July, 2 Submission of posters: July, 10 Notification of poster acceptance: July, 30 Venue The conference will be held in Edinburgh (Scotland) at the e-Science Institute. The dates are 20th and 21st September 2007. Committees Steering Committee * Finn Drabl?s, Norwegian University of Science and Technology, Trondheim (Norway) * Monika Heiner, TU Cottbus (Germany) * Patrick Lincoln, Stanford Research International (US) * Satoru Miyano, University of Tokyo (Japan) * Gordon Plotkin, University of Edinburgh (UK) * Corrado Priami, The Microsoft Research -- University of Trento Centre for Computational and Systems Biology (Italy) * Magali Roux-Rouqui?, CNRS-UPMC (France) * Vincent Schachter, Genoscope, Evry (France) * Adelinde Uhrmacher, University of Rostock (Germany) Program Committee * Alexander Bockmayr, Freie Universit?t Berlin (Germany) * Muffy Calder (co-chair), University of Glasgow (UK) * Luca Cardelli, Microsoft Research Cambridge (UK) * Vincent Danos, CNRS, Universit? Denis Diderot (France) * Pierpaolo Degano, Universit? di Pisa (Italy) * Finn Drabl?s, Norwegian University of Science and Technology, Trondheim (Norway) * Fran?ois Fages, INRIA Rocquencourt (France) * Anthony Finkelstein, University College London (UK) * Stephen Gilmore (co-chair), University of Edinburgh (UK) * David Harel, Weizmann Institute (Israel) * Monika Heiner, TU Cottbus (Germany) * Walter Kolch, Beatson Institute for Cancer Research (UK) * Ina Koch, Technische Fachhochschule Berlin (Germany) * Gethin Norman, University of Birmingham (UK) * Corrado Priami, The Microsoft Research -- University of Trento Centre for Computational and Systems Biology (Italy) * Stephen Ramsey, Institute for Systems Biology, Seattle (USA) * Adelinde Uhrmacher, University of Rostock (Germany) Organising committee * Muffy Calder, University of Glasgow (UK) * Stephen Gilmore, University of Edinburgh (UK) (Apologies if you receive multiple copies of this message) _______________________________________________ cmsb-2007 mailing list cmsb-2007 at inf.ed.ac.uk http://lists.inf.ed.ac.uk/mailman/listinfo/cmsb-2007 From cazzola at dico.unimi.it Wed Apr 4 10:27:41 2007 From: cazzola at dico.unimi.it (Walter Cazzola) Date: Wed, 4 Apr 2007 10:27:41 +0200 (CEST) Subject: [ecoop-info] RAM-SE'07: ECOOP Workshop on Reflection, AOP and Meta-Data for SW Evolution (CfP) Message-ID: (with apologies for multiple copies) RAM-SE'07 4th ECOOP Workshop on Reflection, AOP and Meta-Data for Software Evolution Berlin, Germany, 31st July 2007 http://homes.dico.unimi.it/RAM-SE07.html Call for Contributions *Workshop Organizers* Walter Cazzola University of Milano, Italy Shigeru Chiba Tokyo Institute of Technology, Japan Yvonne Coady University of Victoria, Canada St?phane Ducasse Universit? de Savoie, France G?nter Kniesel Rheinische Friedrich-Wilhelms-Universit?t Bonn, Germany Manuel Oriol ETH Z?rich, Switzerland Gunter Saake Otto-von-Guericke Universit?t Magdeburg, Germany *Workshop Description* Software evolution and adaptation is a research area in continuous evolution, and offering stimulating challenges for both academic and industrial researchers. The evolution of software systems, to face unexpected situations or just for improving their features, relies on software engineering techniques and methodologies. Nowadays a similar approach is not applicable in all situations e.g., for evolving nonstopping systems or systems whose code is not available. Features of reflection such as transparency, separation of concerns, and extensibility seem to be perfect tools to aid the dynamic evolution of running systems. Aspect-oriented programming can simplify code instrumentation whereas techniques that rely on meta-data can be used to inspect the system and to extract the necessary data for designing the heuristic that the reflective and aspect-oriented mechanism use for managing the evolution. We feel the necessity to investigate the benefits brought by the use of these techniques on the evolution of object-oriented software systems. In particular we would determine how these techniques can be integrated together with more traditional approaches to evolve a system and the benefits we get from their use. This workshop can be a good meeting-point for people working in the software evolution area, and an occasion to present reflective, aspect-oriented and data mining based solutions to evolutionary problems, and new ideas straddling these areas. *Workshop Topics* Particularly interesting for this workshop are works that focus on the application of reflective, aspect-oriented and data-mining techniques to the evolution of software systems. In particular, they include but are not limited to: - aspect-oriented middleware and environments for software evolution; - adaptative software components and evolution as component composition; ? - evolution planning and deployment through aspect-oriented and reflective approaches; ? - aspect interference and composition for software evolution; ? - feature- and subject-oriented adaptation; ? - unanticipated software evolution supported by AOSD or reflective techniques; ? - MOF, code annotations and other metadata facilities for software evolution; ? - metrics and other evaluation mechanisms to evaluate the impact of software evolution techniques;? - AOP and reflection based design patterns for software evolution; ? - early aspect evolution, i.e., to design evolution by evolving the design information or the application in its early stages of development; ? *Submissions* Position papers (max 5-pages long) must be electronically sent (PS or PDF file) to: ram-se07 at dico.unimi.it We are also planning to edit a journal special issue on the workshop topic and invite the authors of the most interesting contributions to submit their work to it. *Important Dates* Submission deadline: 13 May 2007 Notification date: 1 June 2007 Camera Ready deadline: 1 July 2007 Workshop date: 31 July 2007 To ensure lively discussion at the workshop, the organizing committee will choose the contributions on the basis of topic similarity that will permit the beginning of new collaborations. To grant an easy dissemination of the proposed ideas and to favorite an ideas interchange among the participants, accepted contributions will be made available in advance over the Web. *Workshop Format* The workshop is a full day meeting. Part of the workshop will be devoted to contribution of papers, and part will be devoted to panels and (we hope) to interchange of ideas between participants. The workshop has to provide a discussion forum about the evolution of the sector and has to permit new collaborations to be established with other researchers. The workshop will be particularly useful for young researchers who will be able to compare their ideas with other people working on the field. From Kim.Mens at uclouvain.be Wed Apr 4 18:06:29 2007 From: Kim.Mens at uclouvain.be (Kim Mens) Date: Wed, 4 Apr 2007 18:06:29 +0200 Subject: [ecoop-info] CfP: WOOR 2007 Message-ID: (apologies for multiple postings) WOOR 2007 Call for Contributions Workshop on Object-Oriented Reengineering 10th Anniversary Edition http://smallwiki.unibe.ch/woor2007/ 30th of July 2007, Berlin, Germany Hosted at the 21th European Conference on Object-Oriented Programming (ECOOP 2007) http://2007.ecoop.org/ 30th of July-3 of August 2007, Berlin, Germany Important Dates --------------- Workshop contribution submission: 13th of May 2007. Notification of acceptance: 31st of May 2007. Publication of the program: 15th of June 2007 Workshop date: 30th of July 2007. Contributions: Building on Previous Years ----------------------------------------- The very first WOOR workshop was organized in 1997 in conjunction with the ESEC/FSE'97 Conference in Zurich, Switzerland. During these past 10 years, participants to the workshop have been actively contributing to the state-of-the-art on reengineering ofobject-oriented systems. In this special 10th anniversary edition, we want to continue in that tradition. We explicitly solicit position papers that reflect on the past 10 years and--or build a vision of what the future 10 years might bring. Therefore, we welcome contributions from researchers, tool producers, and methodology providers in addition to position papers on the past and next 10 years of OO reengineering. Areas of interests include, but are not limited to: - Overview papers, reflecting on the history of OO reengineering - Vision papers, predicting what the next 10 years might bring - Experiences on re-engineering large object-oriented systems - Migration towards aspect orientation - Design model extraction - Documentation and re-use of object-oriented systems - Analysis of object-oriented systems re-usability and flexibility - Abstract models of object-oriented systems - Refactoring Operations - Software Evolution - Metrics or heuristics to measure the need improvement - Design patterns in reengineering practices - Software evolution analysis and visualization - Tools supporting all of the above activities. Schedule of the Workshop ------------------------ As is tradition in WOOR, we actively seek a format which emphasizes fruitful interactions and discussions. This typically involves brief (5 minutes) presentations of position papers; break-up sessions in discussion groups, and plenary meetings to discuss results. Sometimes we ask participants to present and summarize someone else's position paper, a very way pleasant to stimulate discussions. Intended Audience ----------------- The workshop is intended to software engineering professionals with experience in object-oriented reengineering; either people who are actively engaged in reengineering projects or people who develop or research methodologies and tools. Each participant is requested to submit a position paper in advance and each participant is supposed to read all the submitted material, so that the workshop itself can be devoted to discussion instead of presentations. Submissions will be made electronically to facilitate the rapid exchange of information. The upper limit for the number of participants is 25 and the participants will be selected on the basis of the submitted contribution. Submission Guidelines --------------------- BE ELECTRONIC. Submit your position paper in PDF, so that we can collect all of the submissions on the web-site. A separate abstract including the e-mail addresses of the authors and a URL to their home pages MUST be submitted in HTML. Submit everything by e-mail to both of the two following e-mail addresses guehene at iro.umontreal.ca and roel.wuyts at imec.be. BE SHORT. Propose only one idea. We all know that you are a quality researcher with plenty of good ideas. Only, we have limited resources and we must focus. Please keep all position papers under five pages. Perhaps a workshop reader will be organized again this year. BE INNOVATIVE. It is okay to propose a recent idea that still has some unfinished sides to it. It is supposed to be a WORKshop, not a mini-conference. BE A REBEL. Neglect these guidelines if you feel that your idea needs a special treatment in some way. Publication and Sponsoring -------------------------- Springer will publish a workshop reader (as in the case of previous ECOOP) that will appear after the workshop and that will contain workshop reports (written by the organizers), not the position papers submitted by the participants. The organizers plan to publish the position papers in a technical report at University of Montreal. This event is partly sponsored by the Belgian Science Policy (BELSPO), the R=E9gion Wallone, the Interuniversity Attraction Poles Programme via the MoVES (Modelling, Verification and Evolution of Software) research project, and the Fonds de la Recherche Fondamentale Collective via the Research Center on Structural Software Improvement. About the Organizers -------------------- Serge Demeyer University of Antwerp (Belgium) Department of Mathematics and Computer Science http://www.win.ua.ac.be/~sdemey Prof. Serge Demeyer is leading a research group investigating "Software Reengineering" (LORE - Lab On REengineering). St=E9phane Ducasse University of Savoie (France) LISTIC http://www.listic.univ-savoie.fr/~ducasse Prof. Stephane Ducasse, from the University of Savoie, is a former member of the Software Composition Group led by Prof. Oscar Nierstrasz at University of Bern (Switzerland). Yann-Ga=EBl Gu=E9h=E9neuc University of Montreal (Quebec, Canada) Department of Informatics and Operations Research http://www.iro.umontreal.ca/~guehene Prof. Yann-Ga=EBl Gu=E9h=E9neuc leads the Ptidej project (in research Group on Open, Distributed Systems, Experimental Software Engineering) developing theories, methods, and tools, to evaluate and to improve the quality of object-oriented programs by promoting the use of idioms, design patterns, and architectural patterns. Kim Mens Universit=E9 catholique de Louvain (Belgium) Department of Computing Science and Engineering http://www.info.ucl.ac.be/~km Prof. Kim Mens is one of the originators of the 'reuse contract' technique and of the work on 'intensional views'. He is the spokesperson of the Research Center on Structural Software Improvement and currently conducts research on 'co-evolution' between source code and earlier life-cycle software artifacts, as well as on aspect identification and program transformation. Roel Wuyts IMEC, Belgium (Belgium) and Universit=E9 Libre de Bruxelles (Belgium) http://decomp.ulb.ac.be/roelwuyts/ Prof. Roel Wuyts is Senior Software Engineer at the IMEC Research Centre and former professor of the Universit=E9 Libre de Bruxelles. His = research interests include software evolution and code restructuring, for which he (co-)developed various tools and techniques such as the SOUL language. Harald Gall University of Zurich (Switzerland) Department of Informatics http://seal.ifi.unizh.ch/gall/ Prof. Harald Gall's interests are in software engineering with focus on software evolution, software architectures, reengineering, program families, and distributed and mobile software engineering processes. -------------- next part -------------- A non-text attachment was scrubbed... Name: CfP.pdf Type: application/pdf Size: 140974 bytes Desc: not available Url : http://www.aito.org/pipermail/ecoop-info/attachments/20070404/95a54673/attachment-0001.pdf -------------- next part -------------- From zhang at cis.uab.edu Thu Apr 5 06:51:55 2007 From: zhang at cis.uab.edu (IEEE-IRI07-Publicity) Date: Wed, 4 Apr 2007 23:51:55 -0500 (CDT) Subject: [ecoop-info] Deadline Approaches: The 2007 IEEE International Conference on Information Reuse and Integration Message-ID: Dear Author, This is just a friendly reminder that the due date for IEEE-IRI 2007 papers is April 7 (firm), 2007, and is fast approaching. We hope you are considering submitting a paper to us this year. ********** WHY IEEE-IRI? *********** Please click on the following links to view the newly uploaded slides for additional reasons you may want to attend our IRI conference. http://www.sis.pitt.edu/~iri07/docs/SoSE.ppt (Powerpoint) http://www.sis.pitt.edu/~iri07/docs/SoSE.pdf (PDF) or visit the website. (Our apologies if you have received more than one copy of this note.) Best regards, Chengcui Zhang Ph.D. Assistant Professor Department of Computer and Information Sciences University of Alabama at Birmingham ---------- Forwarded message ---------- *** Due to many requests, the following deadline has been extended *** Paper submission deadline: April 7, 2007 (FIRM) ----------------------------------------------------------------- The 2007 IEEE International Conference on Information Reuse and Integration (IEEE IRI-2007) Sponsored by: The IEEE Systems, Man and Cybernetics Society August 13-15, 2007, Hilton Hotel, Las Vegas, USA http://www.sis.pitt.edu/~iri07/ ----------------------------------------------------------------- With the rapidly increasing volumes of information in digital form, we are constantly faced with newer challenges with regards to efficiently using it and extracting useful knowledge from it. Information reuse and integration (IRI) seeks to maximally exploit such available information to create new knowledge and to reuse it for addressing newer challenges. It plays a pivotal role in the capture, maintenance, integration, validation, extrapolation, and application of knowledge to augment decision capabilities in various application domains. The IEEE International Conference on Information Reuse and Integration conference serves as a forum for researchers and practitioners from academia, industry, and government to present, discuss, and exchange ideas that address real-world problems with real-world solutions. The IEEE IRI will feature contributed as well as invited papers. Theoretical and applied papers are both included in this call. The conference program will include special sessions, open forum workshops and keynote speeches. Several funding agency program directors - including NSF, ONR, et al. - will present an open panel discussion entitled Funding Opportunities in Information Reuse and Systems Engineering. The conference includes, but is not limited to, the areas listed below: - Large Scale Data and System Integration - Component-Based Design and Reuse - Unifying Data Models (UML, XML, etc.) and Ontologies - Database Integration - Structured/Semi-structured Data - Middleware & Web Services - Reuse in Software Engineering - Data Mining and Knowledge Discovery - Sensory and Information Fusion - Reuse in Modeling & Simulation - Automation, Integration and Reuse across Various Applications - Information Security & Privacy - Survivable Systems & Infrastructures - AI & Decision Support Systems - Heuristic Optimization and Search - Knowledge Acquisition and Management - Fuzzy and Neural Systems - Soft Computing - Evolutionary Computing - Case-Based Reasoning - Natural Language Understanding - Knowledge Management and E-Government - Command & Control Systems (C4ISR) - Human-Machine Information Systems - Space and Robotic Systems - Biomedical & Healthcare Systems - Homeland Security & Critical Infrastructure Protection - Manufacturing Systems & Business Process Engineering - Multimedia Systems - Service-Oriented Architecture - Autonomous Agents in Web-based Systems - Information Integration in Grid Computing Environment - Information Integration in Mobile Computing Environment - Information Integration in Ubiquitous Computing Environment - Systems of Systems - Semantic Web and Emerging Applications - Information Reuse, Integration and Sharing in Collaborative Environments Instructions for Authors: ------------------------- Papers reporting original and unpublished research results pertaining to the above and related topics are solicited. Full paper manuscripts must be in English of length 4 to 6 pages (using the IEEE two-column template). Submissions should include the title, author(s), affiliation(s), e-mail address(es), tel/fax numbers, abstract, and postal address(es) on the first page. Papers should be submitted at the conference web site: http://www.sis.pitt.edu/~iri07. If web submission is not possible, manuscripts should be sent as an attachment via email to either of the Program Chairs (mailing address available on the conference website) on or before the deadline date of April 7, 2007. The attachment must be in .pdf (preferred) or word.doc format. The subject of the email must be IEEE IRI 2007 Submission. Papers will be selected based on their originality, timeliness, significance, relevance, and clarity of presentation. Authors should certify that their papers represent substantially new work and are previously unpublished. Paper submission implies the intent of at least one of the authors to register and present the paper, if accepted. Authors of selected papers that are also presented at the conference will be invited to submit expanded versions of their papers for review for publication in an approved special issue of the IEEE SMC Transactions, part C, on IRI to be published in 2008. Important Dates: ---------------- Feb. 11, 2007: Workshop/Special session proposal Apr. 7, 2007: Paper submission deadline (FIRM) Apr. 29, 2007: Notification of acceptance May 20, 2007: Camera-ready paper due May 20, 2007: Presenting author registration due Jul. 10, 2007: Advance (discount) registration for general public and other co-author Jul. 31, 2007: Hotel reservation (special discount rate) closing date Aug. 13-15,2007: Conference events Orgizing Committee: ------------------- Honorary General Chair -- Lotfi Zadeh University of California, USA zadeh at cs.berkeley.edu General Chairs -- Stuart Rubin SPAWAR Systems Center, USA stuart.rubin at navy.mil Shu-Ching Chen Florida International University, USA chens at cs.fiu.edu Program Chairs -- Weide Chang California State University, USA changw at ecs.csus.edu James B. D. Joshi University of Pittsburgh, USA jjoshi at mail.sis.pitt.edu Workshop Chairs -- Du Zhang California State University, USA zhangd at ecs.csus.edu Taghi M. Khoshgoftaar Florida Atlantic University, USA taghi at cse.fau.edu Eric Grgoire Universit?d'Artois, France gregoire at cril.univ-artois.fr Publicity Chair -- Chengcui Zhang, University of Alabama at Birmingham, USA zhang at cis.uab.edu Asian Liaison -- Wen-Lian Hsu Academia Sinica, Taiwan, R.O.C. hsu at iis.sinica.edu.tw Althea Liang Qianhui Singapore Management University, Singapore althealiang at smu.edu.sg Finance & Registration Chair -- Ju-Yeon Jo California State University, USA jo at egr.unlv.edu Publications Chair -- Min-Yuh Day National Taiwan University, Taipei, Taiwan, R.O.C. myday at iis.sinica.edu.tw Local Arrangements Chair -- Louellen McCoy SPAWAR Systems Center, USA louellen.mccoy at navy.mil Webmaster -- Saubhagya Ram Joshi University of Pittsburgh, USA srjoshi at mail.sis.pitt.edu _______________________________________________ ieeeauthors mailing list ieeeauthors at cis.uab.edu http://crier.cis.uab.edu/mailman/listinfo/ieeeauthors From hitzler at aifb.uni-karlsruhe.de Thu Apr 5 13:13:29 2007 From: hitzler at aifb.uni-karlsruhe.de (Pascal Hitzler) Date: Thu, 05 Apr 2007 13:13:29 +0200 Subject: [ecoop-info] CfP: Applications of Semantic Technologies AST2007 Message-ID: <4614D9D9.6070003@aifb.uni-karlsruhe.de> Call for Papers --------------- AST 2007 - Applications of Semantic Technologies 2nd International AST Workshop located at the Informatik 2007 September 25th, 2007 Bremen, Germany http://km.aifb.uni-karlsruhe.de/ws/ast2007 Organized by Pascal Hitzler and York Sure, AIFB, University of Karlsruhe, Germay ==== Deadline for paper submissions: April 29th, 2007 ==== Objectives ---------- Semantic Web is a major international research effort with the goal to make web content available for intelligent knowledge processing. It draws on standard and novel techniques from various disciplines within Computer Science, including Knowledge Management, Artificial Intelligence, Databases, Internet Technology, Software Agents, eCommerce, etc. The methods and tools developed and integrated for this purpose ? often called Semantic Technologies ? are generic and have a very large application potential outside the domain of the Semantic Web. Such applications are currently being investigated in various disciplines within Computer Science, including Ambient Intelligence, Software Engineering, Cognitive Systems, Corporate Intranets, Knowledg Management, Bioinformatics, etc. We believe that Semantic Technologies provide methods and tools which will persist in these and other application areas for the foreseeable future. Program ------- To ensure a creative atmosphere during the workshop, the participants will be selected based on their submitted papers, posing important issues to be presented and discussed at the workshop. The workshop will consist of short presentations followed by discussions about the goals of the workshop: Applications of Semantic Web Technologies and outlining a plan for future research. In order to obtain an intensive exchange of ideas between the participants, there will be extensive time for discussion. A final panel will discuss the research agenda for the coming years, based on the presentations and results from the demos, evaluations and discussions. Topics of Interest ------------------ This workshop shall bring together researchers and practitioners who work on applications of Semantic Technologies. It shall further the cross-fertilization between application areas and aid the technology transfer from foundational research into practice. The workshop shall cover diverse application areas of Semantic Technologies, including, but not limited to, the following. * Ambient Intelligence * Cognitive Systems * Data Integration * Multimedia Data Management * Software Engineering * Service-Oriented Computing * Machine Learning * eScience * Information Extraction * Grid Computing * Peer-to-Peer Systems * eCommerce * eGovernment * Bioinformatics * Digital Libraries Invited Speaker --------------- Massimo Paolucci, NTT DoCoMo, Munich, Germany Discussion Panel ---------------- There will be a Panel on Applications of Semantic Technologies. Panelists include Ralf M?ller (TU Hamburg-Harburg) and Massimo Paolucci (NTT DoCoMo Munich). Program Committee ----------------- * J?rgen Angele, ontoprise GmbH Karlsruhe, Germany * S?ren Auer, University of Leipzig, Germany * Franz Baader, TU Dresden, Germany * Bernhard Bauer, University of Augsburg, Germany * J?rg Diederich, L3S Hannover, Germany * Elmar Dorner, SAP Research Karlsruhe, Germany * Gerhard Goos, University of Karlsruhe, Germany * Wolfgang Hesse, University of Marburg, Germany * Knut Hinkelmann, Fachhochschule Nordwestschweiz, Switzerland * Andreas Hotho, University of Kassel, Germany * Harald Kosch, University of Passau, Germany * Daniel Krause, L3S Hannover, Germany * Thorsten Liebig, University of Ulm, Germany * Jin Liu, T-Systems Berlin, Germany * Luc Moreau, University of Southampton, UK * Daniel Oberle, SAP AG, Germany * Axel Polleres, Universidad Rey Juan Carlos Madrid, Spain * Ulrich Reimer, University of Applied Sciences, St. Gallen, Switzerland * Stefan Schlobach, VU Amsterdam, The Netherlands, Germany * Christoph Schmitz, University of Kassel, Germany * Michael Sintek, DFKI Kaiserslautern, Germany * Steffen Staab, University of Koblenz, Germany * Giovanni Tummarello, University of Ancona, Italy * Walter Waterfeld, Software AG, Germany * Guo-Qiang Zhang, CWRU Cleveland, USA * J?rgen Ziegler, University of Duisburg-Essen, Germany Submission and Proceedings -------------------------- Submissions must not to exceed 5 pages and must comply with the requirements laid out under http://www.gi-ev.de/service/publikationen/lni/. Submissions shall be sent to hitzler at aifb.uni-karlsruhe.de. Submissions shall be in english language. Submissions will be reviewed. Accepted publications will appear as part of a book in the Lecture Notes in Informatics (LNI) series, bearing an ISSN/ISBN number. Important Dates --------------- * Deadline for paper submissions: April 29th, 2007 * Notification of acceptance: May 28th, 2007 * Camera-ready versions: June 26th, 2007 * Workshop: September 25th, 2007 This event is supported by * KnowledgeWeb http://knowledgeweb.semanticweb.org/ * NeOn http://www.neon-project.de * X-Media http://www.x-media-project.de * Graduate college Information Management and Market Engineering http://www.ime.uni-karlsruhe.de/ * SmartWeb http://www.smartweb-project.de/ Please address all questions to the workshop organizers under hitzler at aifb.uni-karlsruhe.de or sure at aifb.uni-karlsruhe.de From Bob.Hulsebosch at telin.nl Thu Apr 5 14:11:25 2007 From: Bob.Hulsebosch at telin.nl (Bob Hulsebosch) Date: Thu, 5 Apr 2007 14:11:25 +0200 Subject: [ecoop-info] CfP CAT07 - International workshop on Context Awareness and Trust Message-ID: ================================================================ Our apologies if you receive duplicated copies of this CfP ================================================================ - CALL FOR PAPERS - * ********************************************************** * * Context Awareness and Trust 2007 (CAT 07) * * First International Workshop on * * Combining Context with Trust, Security, and Privacy * * 30th July 2007, Moncton, New Brunswick, Canada * * cat07.telin.nl * * ---------------------------------------------------------- * * Co-located with IFIPTM2007 * * Conference on Privacy, Trust Management and Security * * ********************************************************** * IMPORTANT DATES ---------------- Papers: 29th April 2007 Notification of Acceptance: 27th May 2007 Final version due: 17th June 2007 SCOPE --------------------- The CAT07 workshop aims to stimulate an active exchange of new ideas on interrelations between the area of context-awareness and the area of security, privacy and trust. The workshop aims to bring together scientists and engineers that are active in the area of context-awareness and in trust management, privacy and security. The workshop aims are to discuss state of the art, to identify open and emerging problems, to share research experiences, and to propose future research directions. We encourage not only researchers with a computer science background, but also researchers with a more user-centric background such as social sciences, behavioural science, and so on. WORKSHOP TOPICS -------------- Relevant topics, divided into three categories, include but are not limited to: ------------ 1. Context and Trust, Security and Privacy as an opportunity - Context-aware architectures for trust, security & privacy - Enhancement of trust, securiy, and privacy with context information - Policy languages and ontologies for context-aware trust, security and privacy - Context-aware identity management and privacy enforcement - Formal Aspects in Context-aware Trust, Privacy & Security ------------ 2. Context and Trust, Security and Privacy as a threat - Trust, security and privacy of context - Trust, security and privacy in context-aware architectures - Trust, security and pricay of context sources and information - User control over trust, security and privacy aspects of context-awareness - Performance and scalability issues for Trust, privay and security ------------ 3. Context and Trust, Security and Privacy as application domains - Use cases and pilots addressing context-aware Trust, Privacy & Security - Usefulness and usability of context-aware Trust, Privacy & Security - Context-aware Trust, Privacy & Security for the Semantic Web - Context-aware Trust, Privacy & Security for social media - Social, economic, legal, and philosophical aspects of context-aware Trust, Privacy & Security PROGRAM COMMITTEE ------------------- Claudio Bettini University of Milan, Italy Harry Chen Image Matters LLC, USA Grit Denker SRI International, USA Jennifer Golbeck University of Maryland, USA Heikki Helin TeliaSonera, Finland Johan Hjelm Ericsson Research, Japan Mario Hoffmann Fraunhofer SIT, Germany Silke Holtmanns Nokia Research Center, Finland Bob Hulsebosch Telematica Instituut, The Netherlands Anders Kofod-Petersen NTNU, Norway Maddy Janse Philips Research, The Netherlands Audun Josang Queensland Univ. of Technology, Australia Fabio Martinelli IIT-CNR, Italy Rebecca Montanari Univ. of Bologna, Italy Daniel Olmedilla L3S Research Center & Univ. of Hannover, Germany Gabriele Lenzini Telematica Instituut, The Netherlands Konrad Wrona SAP Research, France Santtu Toivonen VTT, Finland Maarten Wegdam Alcatel-Lucent/Bell Labs & Univ. of Twente, The Netherlands INVITED SPEAKERS ---------------- We are planning to have an invited speaker. Please visit our web site. PAPER SUBMISSION ---------------- Both theoretical and applied research papers are welcome. - Full papers (limited to 12 pages) describe high-quality original unpublished research, case studies, and implementation experiences. - Short papers (limited to 4 pages) describe either work-in-progress on ongoing research or properly motivated future research. Plese visit the CAT07 web page for submission conditions and guidelines. PROCEEDINGS ----------- A preprinted version of the proceedings will be available at the workshop. Accepted papers will be published in a post-workshop CEUR-WS volume. REGISTRATION ------------ At least one author of each accepted paper is expected to register and to present the paper at the workshop. Those papers that, unmotivatedly, are not presented at the workshop will be excluded by the proceedings. ORGANIZING COMMITTEE ------------------- - Bob Hulsebosch (Telematica Instituut, The Netherlands) - Gabriele Lenzini (Telematica Instituut, The Netherlands) - Santtu Toivonen (VTT, Finland) - Maarten Wegdam (Alcatel-Lucent/Bell Labs, Univ. Twente, The Netherlands) CONTACT ------- For more information please visit our web site: http://cat07.telin.nl From beydeda at gmx.de Thu Apr 5 13:57:25 2007 From: beydeda at gmx.de (Sami Beydeda) Date: Thu, 05 Apr 2007 13:57:25 +0200 Subject: [ecoop-info] CFP: Model-based Testing MOTES07 Message-ID: <20070405115725.24650@gmx.net> M O T E S 0 7 - M o d e l - b a s e d T e s t i n g 2nd Workshop in conjunction with the Annual Congress of the Gesellschaft fuer Informatik Sept. 27th, 2007, Bremen, Germany Background ---------- Costs entailed by software failures demonstrate that the systematic development of software in a certain quality is still a challenge, even after decades of research. A reason for this can certainly be found within the single projects. Often, known techniques of quality assurance are not employed as required due to deadline and budget restrictions. However, another reason is also the lack of techniques for quality assurance for specific types of software and software developed according to specific programming and modeling techniques. Testing is one of the important analytical techniques of quality assurance. In model-based testing, the software under test is considered by the means of a model that focuses on certain aspects, often on the behavior of the software under test. Models frequently used are finite state machines and flow graphs. Testing techniques based on such models are, for instance, formal verification, control and data flow analysis, and also model checking. This workshops aims at giving researchers and practitioners a platform to present their results and experience to a broader audience. The topics of interest include, but are not limited to: * Models and modeling notations for programming and testing * Test case generation based on formal and semi-formal models * Test coverage metrics and criteria for model-based testing * Model-based verification and validation * Models as test oracles, test validation with models * Formal methods and theories in model-based testing * Application of model checking in testing * Simulation by models, forecasts of behavior and properties by models * Model-based testing of reactive and object-oriented systems * Model-based verification and validation of tests * Testing with software usage models * Tools for model-based testing * Experience reports and requirements from model-based testing in practice * Experience reports from model-based testing and model-based development in practice Submission/Publication ---------------------- The language of submission for MOTES07 is German and English. Submissions should not exceed 5 pages and should be formatted according to the layout requirements which can be found at http://www.gi-ev.de/service/publikationen/lni/ Please submit your paper at the MOTES07 Webpage at http://www.testingworkshop.de/motes07 Important dates Apr. 29th, 2007: Submission due date May 28th, 2007: Notification of acceptance June 18th, 2007: Due date for camera ready copies Accepted submissions will be published in an edition of the series "Lecture Notes in Informatics (LNI)". For this, one of the authors need to register and present the accepted submission. During the workshop, each paper will have a slot of 30 minutes, with 20-25 minutes presentation. Program committee ----------------- Chair: Fevzi Belli, University of Paderborn Sami Beydeda, ZIVIT Members: To be completed. Please do not hesitate to contact us by email motes07 at testingworkshop.de if you have any question or remarks. From gxq102 at gv.psu.edu Thu Apr 5 16:22:44 2007 From: gxq102 at gv.psu.edu (Qiu, Robin) Date: Thu, 5 Apr 2007 10:22:44 -0400 Subject: [ecoop-info] IEEE/INFORMS SOLI2007: Paper submissions due in less than 2 weeks Message-ID: <932E48F64B32F84D8605A9944D3887C855258D@admin3.main.gv.psu.edu> (Apologies if you get multiple announcements.) 2007 IEEE/INFORMS International Conference on Service Operations and Logistics, and Informatics (SOLI2007) Aug. 27-29, 2007, Philadelphia, USA http://www.ieeesoli.org Sponsored by: IEEE and INFORMS Program Highlights: Keynotes: Prof. Morris Cohen, Wharton School, University of Pennsylvania; Dr. Brenda Dietrich, Director, IBM, President of INFORMS; Prof. Matthew Realff, Program Director, Enterprise Service Engineering, NSF. (More to be invited) US NSF Service Research Workshop and Visionary Panels/Sessions : More than 20 worldwide leading scholars and professionals will be invited, including Professors from MIT, Harvard, Penn, UC Berkeley, Stanford, Yale, PSU, Maryland, Arizona, RPI, UC Los Angels, Georgia Tech, etc., Professionals from IBM, Sun Microsystems, SSPA, Unisys, HP, etc. (This program will be held in parallel with the conference). If you need more time to finish your paper, please let us know. Please share this information with your colleagues, friends, and students. Thank you very much! Best regards, Robin Qiu on behalf of SOLI2007 Organizing Committee -------------- next part -------------- An HTML attachment was scrubbed... URL: http://www.aito.org/pipermail/ecoop-info/attachments/20070405/d8a1abf1/attachment-0001.htm From phruby at acm.org Tue Apr 3 14:04:40 2007 From: phruby at acm.org (Pavel Hruby) Date: Tue, 3 Apr 2007 14:04:40 +0200 Subject: [ecoop-info] 2-nd call for papers: Business Patterns Track at REA-25 Conference Message-ID: <93a173510704030504v74584846y90665728b9c588cb@mail.gmail.com> This call is also posted here: http://www.aisvillage.com/rea25/track2.htm The REA-25 conference web site is: http://www.aisvillage.com/rea25 Business Patterns Track at REA-25 conference Newark, Delaware, USA, June 13-15, 2007 ********************************************** **Submission deadline: April 15, 2007** ********************************************** DESCRIPTION Business application models often contain model elements that occur repeatedly in various business applications, and can be described as patterns ? elements of reusable design. Examples of business patterns are serial numbers, budgets, methods for inventory evaluations, and algorithms for production scheduling. Some business patterns originate in a non-REA domain but can be used to formulate ontologies that could be merged with REA to provide for functionality required in some business applications. The intent of this track at the REA-25 conference is to improve the state of the art and practice for developing software business applications using business patterns, and to identify and describe business patterns and emerging elements of REA-complementary ontologies. SUBMISSIONS AND TOPICS OF INTEREST Submitted papers should outline an interesting or difficult modeling problem in the REA modeling framework, and a solution to the problem. Ideally, a paper should identify a candidate for a business pattern, or an non-REA ontology that could be merged with REA in a meaningful way, but papers might also focus on novel solutions to existing modeling problems, e.g., how to model claims, how to model contingencies or budgets, or on critical analysis of existing solutions, especially if it arises from realization of REA systems in existing implementation technologies. Other topics of interest include the use of business patterns and ontologies in the development of business application models (enterprise schemas), the relationships between business patterns, ontologies and actual software architectures, representational aspects of REA business patterns, organization of business patterns into categories, and relationships between business patterns. SUBMISSION FORMAT Submissions must as a minimum include a description of the problem, a solution of the problem (an application model or enterprise schema), and a discussion of the solution. An example of a business pattern is here: http://www.aisvillage.com/rea25/identificationpattern.pdf. There is no limit regarding the size of submissions, but 10 pages is considered as a reasonable maximum. The submissions will be posted on the conference web site prior to the conference, to allow for lively discussions during the conference. Authors will be encouraged to submit an extended version of their papers to the JIS special section on REA enterprise systems (http://www.aisvillage.com/rea25/jisreacfp.htm. ) PARTICIPATION Participants without submitted paper are encouraged to send an e-mail by April 15 to the track chairman ( phruby at acm.org), describing their relevant experience and intended contribution to the business patterns track. These participants, together with the authors of accepted papers, may play a more prominent role in shaping the track. PROGRAM COMMITTEE http://www.aisvillage.com/rea25/committees.html Contact for the business patterns track at REA-25 is Pavel Hruby, phruby at acm.org. IMPORTANT DATES Submission deadline: April 15, 2007 Notification of acceptance: May 7, 2007. Early conference registration: May 10, 2007 Track date: either June 14 or June 15, 2007 Conference: June 13-15, 2007 From horim at res.kutc.kansai-u.ac.jp Fri Apr 6 20:27:59 2007 From: horim at res.kutc.kansai-u.ac.jp (=?ISO-2022-JP?B?TWFzYWhpcm8gSG9yaQ==?=) Date: Sat, 07 Apr 2007 03:27:59 +0900 Subject: [ecoop-info] =?iso-2022-jp?b?UmVzZWFyY2ggVHJhY2s6IDJuZCBDRlAgKElT?= =?iso-2022-jp?b?V0MgMjAwNyArIEFTV0MgMjAwNyk=?= Message-ID: <200704061829.l36IRDoi016109@res.kutc.kansai-u.ac.jp> Apologies for multiple postings. =============================================================== ##### Research Track: 2nd Call for Papers ##### The 6th International Semantic Web Conference (ISWC 2007) combined with the 2nd Asian Semantic Web Conference (ASWC 2007) November 11-15, 2007 BEXCO (Busan Exhibition and Convention Center), Busan, KOREA http://iswc2007.semanticweb.org =============================================================== Research Track: Call for Papers ------------------------------- The World-Wide Web continues to grow and new technologies, modes of interactions, and applications are being developed. Building on this growth, Semantic Web technologies aim at providing a shared semantic information space, changing qualitatively our experiences on the Web. As Semantic Web technologies mature and permeate more and more application areas, new research challenges are coming to the fore and some unsolved ones are becoming more acute. These issues include creating and managing Semantic Web content, making Semantic Web applications robust and scalable, organizing and integrating information from different sources for novel uses, making semantics explicit in order to improve our overall experience with information technologies, and thus enabling us to use the wealth of information that is currently available in digital form for addressing our everyday tasks. To foster the exchange of ideas and collaboration, the International Semantic Web Conference brings together researchers in relevant disciplines such as artificial intelligence, databases, social networks, distributed computing, web engineering, information systems, natural language processing, and human-computer interaction. In addition to this call for papers for the research track, ISWC 2007 will include a Semantic Web In Use track, a poster and demonstration track, a doctoral consortium, and a special competition known as the Semantic Web Challenge. The calls for those tracks can be found on the ISWC 2007 Web site, http://iswc2007.semanticweb.org. The research track of ISWC 2007 solicits the submission of original, principled research papers dealing with both analytical theoretical and practical aspects of Semantic Web research. Topics include, but are not limited to: * Applications of the Semantic Web - Applications with clear lessons learned - Evaluation of Semantic Web technologies - Semantic Web for e-business, e-science, e-government, e-learning, and other application domains - Semantic Web technologies for multimedia content - Personal Information Management * Management of Semantic Web Data - Languages, tools and methodologies for representing and managing Semantic Web data - Database technologies for the Semantic Web - Search, query, and visualization of the Semantic Web - Robust and scalable knowledge management and reasoning on the Web - Machine learning and human language technologies for the Semantic Web - Semantic Web content creation, annotation, and extraction * Ontologies - Ontology creation, extraction, and evolution - Ontology mapping, merging, and alignment - Evaluation and ranking of ontologies - Ontology search * Semantic Web Architecture - Semantic Web middleware - Semantic Web services - Agents on the Semantic Web - Semantics in peer-to-peer systems and grids * Social Semantic Web - Social networks and processes on the Semantic Web - Semantic web technology for collaboration and cooperation - Representing and reasoning about trust, privacy, and security Paper submissions must be formatted in the style of the Springer Publications format for Lecture Notes in Computer Science (LNCS). For complete details, see Springer's Author Instructions . Papers need to be submitted electronically through the conference submission site . Papers must be submitted in PDF (Adobe's Portable Document Format) format. Papers will not be accepted in any other format. Formatted papers must be no longer than 14 pages. Papers that exceed this limit will be rejected without review. ISWC 2007 will not accept research papers that, at the time of submission, are under review for or have already been published in or accepted for publication in a journal or another conference. Authors of accepted papers will be required to provide semantic annotations for the abstract of their submission for the Semantic Web (help will be provided for this task). Details will be provided on the conference Web page at the time of acceptance. At least one author of each accepted paper must register for the conference. If you have any questions, please send inquiries to iswc07-research at few.vu.nl Important Dates --------------- May 18, 2007 (11:59pm Hawaii time): Research Track paper submissions due July 18, 2007: Research Track paper acceptance notification August 24, 2007: Research Track camera-ready papers due November 11-15, 2006: ISWC 2006 Technical Program ===================================================================== From r.chitchyan at lancaster.ac.uk Sat Apr 7 18:50:43 2007 From: r.chitchyan at lancaster.ac.uk (Chitchyan, Ruzanna) Date: Sat, 7 Apr 2007 17:50:43 +0100 Subject: [ecoop-info] CFP Aspects, Dependencies, and Interactions (ADI @ ECOOP'07) Message-ID: CFP 2nd International Workshop on ASPECTS, DEPENDENCIES, AND INTERACTIONS July 30, 2007 Berlin, Germany (Affiliated to ECOOP'07) URL: http://www.aosd-europe.net/adi07/ Workshop organized on behalf of and supported by AOSD-Europe (http://www.aosd-europe.net/), the European network of excellence on AOSD. ***WORKSHOP OVERVIEW*** Aspects are crosscutting concerns that exist throughout the software development cycle - from requirements through to implementation. While crosscutting other concerns, aspects often exert broad influences on these concerns, e.g. by modifying their semantics, structure or behaviour. These dependencies between aspectual and non-aspectual elements, as well as among aspectual elements, may lead to either desirable or (more often) unwanted and unexpected interactions. This workshop is focused on identifying, understanding, and resolving all kinds of issues related to such dependencies and interactions by bringing together researchers and practitioners from across the whole spectrum of software development activities. We also invite work on this topic from other (non-AO) fields that either tackles problems relevant to Aspect-Oriented Software Development (e.g., crosscutting, composition, etc.) or proposes a solution clearly related to AOSD. We encourage submissions investigating the problems of such dependencies and interactions and handling them at all levels: - starting from the early development stages (i.e., requirements, architecture, and design), looking into dependencies between requirements (e.g. positive/negative contributions between aspectual goals) and interactions caused by aspects (e.g. quality attributes) in requirements, architecture, and design; - analysing these dependencies and interactions both through modelling and formal analysis; - considering language design issues which help to handle such dependencies and interactions (e.g. 'declare precedence' mechanism of AspectJ); - studying such interactions in applications. The goal of this workshop is to continue the wide discussion on dependencies and interactions between aspectual and non-aspectual elements, started at ADI 2006, thus investigating the lasting nature of such dependency links across all development activities. It is hoped that input from both research and practice will help to progress the understanding and solutions to this complex subject. Additional details and updates about the workshop will be provided at http://www.aosd-europe.net/adi07/ . ***TOPICS OF INTEREST*** Topics of interest include, but are not limited to: + Requirements, architecture, design, and language level techniques and mechanisms for interaction and/or dependency detection; + Ordering and nesting of aspects; + Types of dependencies and interactions (e.g. mutual exclusion); + Full or partial visibility of aspects (e.g. visibility of inter-type declarations); + Methods for formal representation and analysis of dependencies and interactions; + Mechanisms for interaction detection and handling in domain-specific languages; + Ability to determine the order of execution of advices; + Interaction detection and analysis in specific applications (e.g. middleware for pervasive and mobile systems, security application, persistence management, etc.); + Tool support for the above; + Case studies and non-trivial examples of interactions in practice; + Dependency and interaction resolution in "realistic contexts" (considering such issues as scaling and usability of resolution techniques, etc.): + Work from non-AO fields that addresses AO-related problems or proposes AO-related solutions. ***WORKSHOP FORMAT*** The workshop is intended to be highly interactive, favouring discussion and group work over presentations. During the morning there will be a keynote speech by an invited speaker and a short presentation session of 3-4 selected papers which will highlight some problems or solutions to aspectual dependencies and interaction issues, and, more importantly, provide grounds for discussion. The rest of the workshop will be devoted to discussions and work in small interest groups. Results of the group work will be presented and debated at a concluding panel (with participation of invited panellists). The results of the interest group and panel discussions will be summarised into a workshop report to be published in the workshop reader by Springer. ***IMPORTANT DATES*** May 7, 2007, 23:59:59 Apia, Samoa time: Submission deadline for papers May 31, 2007, 23:59:59 Apia, Samoa time: Notification of acceptance June 15, 2007, 23:59:59 Apia, Samoa time: Submission of camera-ready papers July 30/31, 2007 Workshop ***SUBMISSION GUIDELINES*** Attendance of the workshop is by having a paper accepted or by an invitation from the organising committee. For information about formatting your paper please consult the IEEE Author Tools (http://www.ieee.org/web/publications/authors/transjnl/index.html). Papers (up to 6 pages long) must be written in English and submitted in pdf format to rouza[at]comp.lancs.ac.uk and frans.sanen[at]cs.kuleuven.be. All accepted papers will be published in workshop proceedings (as Lancaster University Computing Department Technical Report registered as British Library Series). Accepted papers will also be posted on this website prior to the workshop to be read in advance by participants. ***PROGRAM COMMITEE*** Mehmet Aksit, University of Twente, The Netherlands Uwe Assman, Technische Universitat Dresden, Germany Don Batory, University of Texas at Austin, USA Lodewijk Bergmans, University of Twente, The Netherlands Lynne Blair, Lancaster University, UK Ruzanna Chitchyan, University of Lancaster, UK Johan Fabry, INRIA Futurs, LIFL, France Anthony Finkelstein, University College London, UK Robert France, Colorado State University, USA Shmuel Katz, Technion, Israel J?rg Kienzle, McGill University, Canada Hidehiko Masuhara, University of Tokyo, Japan Mira Mezini, Technische Universitat Darmstadt, Germany Oege De Moor, Oxford University, UK Monica Pinto, Universidad de Malaga, Spain Arend Rensink, University of Twente, The Netherlands Frans Sanen, Katholieke Universiteit Leuven, Belgium Mario S?dholt, Ecole des Mines de Nantes, France Eddy Truyen, Katholieke Universiteit Leuven, Belgium Jon Whittle, George Mason University at Washington, USA ***ORGANIZING COMMITTEE*** Ruzanna Chitchyan (University of Lancaster, UK), co-chair Frans Sanen (Katholieke Universiteit Leuven, Belgium), co-chair Lodewijk Bergmans (University of Twente, The Netherlands) Mario S?dholt (Ecole des Mines de Nantes, France) Johan Fabry (INRIA Futurs, LIFL, France) -------------- next part -------------- An HTML attachment was scrubbed... URL: http://www.aito.org/pipermail/ecoop-info/attachments/20070407/606408a7/attachment-0001.htm From vasco.amaral at di.fct.unl.pt Sat Apr 7 21:42:26 2007 From: vasco.amaral at di.fct.unl.pt (Vasco Amaral) Date: Sat, 7 Apr 2007 21:42:26 +0200 Subject: [ecoop-info] CFP: PPPJ07 "Principles and Practices of Programming in Java" (in coop. ACM) Message-ID: <120c6f530704071242x34276f8dy3824830e1ff9747b@mail.gmail.com> ***************************************************************** *** *** PPPJ07 *** Principles and Practices of Programming in Java *** September 5 - 7, 2007 *** FCT/UNL (Universidade Nova de Lisboa) *** Lisbon, Portugal *** *** http://ctp.di.fct.unl.pt/PPPJ07 *** *** CALL FOR PAPERS *** *** * 7 May - abstracts due *** * 21 May - full papers due *** * 25 June - author notification *** * 13 July - camera ready manuscripts due *** *** *** CALL FOR WORKSHOPs AND TUTORIALS *** *** * 9 March - Proposals due *** * 24 March - Acceptance notification *** *** *** ***************************************************************** This conference is held in cooperation with ACM SIGPLAN and ACM SIGAPP. Papers will be published at ACM's Digital Library. The authors of the best papers will be invited to publish in the Journal Elsevier's, Science of Computer Programming. SCOPE Java is one of the most actively evolving languages with regard to the development of new APIs, libraries, and tools. It is applicable to problems ranging from embedded systems to enterprise applications. We invite papers exploring all aspects of Java programming; in particular we seek research papers covering the principles of programming in Java, teaching and experience reports dealing with the practice of Java programming as well as papers introducing new kinds of frameworks and tools which have been developed using Java. Papers must describe original work, and must not have been accepted or submitted for publication elsewhere. Topics include but are not limited to: The Java Language: Optimization VM Design Java Verification Aspect-Orientation Java-Specific Metrics Alternative languages on the Java VM Java Extensions Software Engineering with Java Program Design and Implementation Design Patterns Through Java Testing of Java Programs Performance of Java Programs Tools for Java Programming Java-Based MDD/MDA Java-Based MDL Tools Java-Based DSL Solutions Java for Embedded Systems Applications in Science, Engineering, and Business Novel Applications of Java Domain-Specific Frameworks Java-Based Tools Java-Based Enterprise Computing Agent-Based Java Systems Mobile Agents Massive Agent Systems Mobile Java Middleware for Mobile Applications Location-Based Services M-Business Applications Practice and Experience Java and Financial Services Java and the Manufacturing Industry Teaching Java Programming Teleteaching Applications Teaching Methods SUBMISSION GUIDELINES All papers must represent original and unpublished work that is not currently under review. Each paper will be reviewed by at least three independent referees. Papers will be evaluated according to their significance, originality, technical content, style, clarity, and relevance to the conference. At least one author of each accepted paper is expected to attend the conference. Four types of paper submissions will be accepted: research papers, experience reports, industry papers, and demo papers. Submitted papers should clearly indicate their type. The conference proceedings will be published as part of the ACM International Proceedings Series and will be disseminated through the ACM Digital Library. We will invite the authors of the best papers to provide an extended version for a special issue of Elsevier Science of Computer Programming. Research and experience papers must not exceed 10 pages while Demo and Industry papers must not exceed 4 pages. The required format for the submission is the ACM SIG Proceedings Style. Please apply the ACM Computing Classification categories and terms. The ACM Computing Classification scheme can be found at http://www.acm.org/class/1998/. The author kit containing the Latex, Word and Word Perfect templates for the required style can be found at http://www.acm.org/sigs/pubs/proceed/template.html. More detailed submission instructions of the papers in the PDF format will be posted at the conference web site. * 7 May - abstracts due * 21 May - full papers due * 25 June - author notification * 13 July - camera ready manuscripts due WORKSHOP PROPOSALS We are inviting proposals for workshops to be held at the PPPJ. Workshops provide organizers and participants an opportunity to discuss current topics related to Java in a small and interactive atmosphere. Workshops can choose to concentrate in-depth on research topics, but can also be devoted to application issues. Proposals should include the workshop title, the names and a brief biography for each organizer and a summary of the workshop contents (about 1-2 pages). * Workshop and Tutorial Proposals: 9th of March * Acceptance notification of Workshops and Tutorials: 24th of March Call for Workshop Papers * Submission dead-line: 15th of June * Author notification: 6th of July * Camera ready copies: 13th of July ORGANIZING COMMITTEE General Chair .:Vasco Amaral, New University of Lisbon (Portugal) Program Committee Chair .: Conrad Cunningham, University of Mississippi (USA) Steering Committee .:John Waldron, Trinity College (Ireland) .:James Power, National University of Ireland (Ireland) .:Ralf Gitzel, University of Mannheim (Germany) .:Markus Aleksy, University of Mannheim (Germany) Program Committee .: Leonard Barolli, Fukuoka Institute of Technology (Japan) .: Giacomo Cabri, University of Modena (Italy) .: John Cavazos, University of Edinburgh (UK) .: Michal Cierniak, Google .: Artur Miguel Dias, New University of Lisbon (Portugal) .: Gabriel Ferrer, Hendrix College (USA) .: Michael Franz, UC Irvine (USA) .: Kenneth Goldman, Washington University in St. Louis (USA) .: David Gregg, University of Dublin (Ireland) .: Gilles Grimaud, University of Sci/Tech of Lille (France) .: Jason Hallstrom, Clemson University (USA) .: Matthias Hauswirth, University of Lugano (Switzerland) .: Patrick Hung, University of Ontario (Canada) .: Richard Jones, University Kent (UK) .: Gregory Kapfhammer, Allegheny College (USA) .: Axel Korthaus, University of Mannheim (Germany) .: Chandra Krintz, University of California, Santa Barbara (USA) .: Herbert Kuchen, Westfalische Wilhelms-Universitat Munster (Germany) .: Brian Lewis, Intel .: Yi Liu, South Dakota State University (USA) .: Levi Lucio, University of Geneva (Switzerland) .: Johannes Mayer, Ulm University (Germany) .: Jacqueline McQuillan, National University of Ireland (Ireland) .: Sam Midkiff, Purdue University (USA) .: Priya Nagpurka, University of California, Santa Barbara (USA) .: David Naugler, Southeast Missouri State University (USA) .: Derek Park, Global Technical Systems (USA) .: Thomas Preuss, University of Brandenburg (Germany) .: Christian Probst, Technical University of Denmark (Denmark) .: Jeremy Singer, University of Manchester (UK) .: Witawas Srisa-an, University of Nebraska (USA) .: Ryan Stansifer, Florida Institute of Technology (USA) .: Ben Stephenson, University of Western Ontario (Canada) .: Makoto Takizawa, Tokyo Denki University (Japan) .: David Taniar, Monash University (Australia) .: Jeffery Von Ronne, University of Texas, San Antonio (USA) .: Zhenlin Wang, Michigan Tech. (USA) .: George Wells, Rhodes University (South Africa) .: Fatos Xhafa, Polytechnic University of Catalonia (Spain) .: Hamdi Yahyaoui, Concordia University, Montreal (Canada) .: Yan Zhou, University of South Alabama (USA) .: Krzysztof Zielinski, AGH University of Science and Technology (Poland) ORGANIZATION PPPJ'07 is organized by the New University of Lisbon, more specifically the Department of Computer Science. Computer Science Department at FCT/UNL The DI/FCT/UNL - Departamento de Informatica da Faculdade de Ciencias e Tecnologia da Universidade Nova de Lisboa - was created in 1975 in order to promote in Portugal the education and scientific progress at the domain of computer science and Information technology. It has pioneered in Portugal the education of Software Engineering and Computer Science at the University level. DI-FCT-UNL is today a University of excelence widely recognized at both national and international levels. It hosts two research centers CITI (Centro de Informatica e Tecnologias da Informacao) and CENTRIA (Centro de Inteligencia Artificial). Conference Site The conference site is the FCT Campus which is located in the town of Monte de Caparica on the southern bank of the Rio Tejo (Tagus River), approximately twelve kilometers from the center of Lisbon and four kilometers from the lovely seaside town of Costa de Caparica. Conference participants will enjoy the rich cosmopolitan atmosphere of Lisbon as well as the attractions of a quiet, Atlantic Ocean resort. VENUE In the beautiful city of Lisbon, you will find a combination of historical monuments and modern buildings. Lisbon is well-known for its varied offer of activities, from visiting the numerous monuments, museums, parks and gardens, the EXPO'98 area and the Oceanarium to its famous gastronomy and, of course, fado. Lisbon is also famous for its varied night life. Lisbon's international airport is just 7km away from the city center, and the city is also easily accessible by daily trains from several European cities. The Lisbon Tourism Office web site is an excellent entry point for visitors to start discovering our city. You can visit it by clicking on the logo on the right, or by following this link: www.tourismlisbon.com/ The FCT campus of Universidade Nova de Lisboa is readily accessible by car and rapid public transport from the city of Lisbon and its airport. Hotel accommodations are plentifully available both in Lisbon and Costa de Caparica. From the standpoint of PPPJ 2007 participation, the most convenient accommodations are those available in Costa de Caparica although participants should anticipate a greater time pressure to make reservations in this seaside resort town. -- ------------------------------------------------ Assistant Professor. Departamento de Inform?tica Faculdade de Ci?ncias e Tecnologia Universidade Nova de Lisboa Quinta da Torre, 2829 -516 CAPARICA, PORTUGAL Phone: +351 21 294 85 36 (ext. 10712) or Phone: +351 21 294 83 00 (ext. 10712) Fax: +351 21 2948541 Homepage: http://ctp.di.fct.unl.pt/~va/ ------------------------------------------------ From zhang at cis.uab.edu Sun Apr 8 17:34:16 2007 From: zhang at cis.uab.edu (IEEE-IRI07-Publicity) Date: Sun, 8 Apr 2007 10:34:16 -0500 (CDT) Subject: [ecoop-info] Deadline Extended: The 2007 IEEE International Conference on Information Reuse and Integration Message-ID: Dear Prospective Author: To accommodate the many requests for more extension of paper submission to the IEEE IRI-07 Conference (Las Vegas, USA, August 13-15) that we have received (probably due to the Easter holiday and income-tax filing time in US), we are cordially extending the deadline for the paper submission to Friday, April 13, 2007 (US Pacific Daylight Savings Time). Afterward, the paper reviewing starts immediately without delay, in order to meet the publishing deadline. Again, all information regarding paper submission requirements and channels (for the main conference or individual workshops) are elaborated in the conference web page at this URL: http://www.sis.pitt.edu/~iri07/ ********** WHY IEEE-IRI? *********** Please click on the following links to view the newly uploaded slides for additional reasons you may want to attend our IRI conference. http://www.sis.pitt.edu/~iri07/docs/SoSE.ppt (Powerpoint) http://www.sis.pitt.edu/~iri07/docs/SoSE.pdf (PDF) or visit the website. ************************************ [Apologies if you received multiple copies because of cross-posting] Chengcui Zhang Ph.D. Assistan