From iclp10dc at gmail.com Mon Apr 5 15:26:49 2010 From: iclp10dc at gmail.com (iclp10dc at gmail.com) Date: Mon, 5 Apr 2010 08:26:49 -0500 (CDT) Subject: [ecoop-info] ICLP-10 Doctoral Consortium Call For Papers Message-ID: <201004051326.o35DQnbD004362@krlab.cs.ttu.edu> =============================================================================== CALL FOR PAPERS ICLP-DC 2010 Sixth ICLP Doctoral Student Consortium http://www.kodak.com/go/iclp10dc Collocated with the International Conference on Logic Programming 2010 Edinburgh (Scotland, U.K) July 16-19, 2010 =============================================================================== Introduction ------------ The ICLP Doctoral Consortium (DC) is the sixth doctoral consortium to be offered as part of the 26th International Conference on Logic Programming. The DC follows the very positive experience of the previous events held held in Sitges (Spain) on October 3rd, 2005, in Seattle (WA) on August 21st, 2006, in Porto (Portugal) on September 8th, 2007, in Udine (Italy) on December 10th, 2008, and in Pasadena (USA) on July 15th, 2009. The DC will take place at the end of ICLP 2010 in Edinburgh (Scotland, U.K). The Doctoral Consortium is designed for doctoral students working in areas related to logic and constraint programming, with a particular emphasis to students interested in pursuing a career in academia. The Consortium is also open to exceptional Master's students developing MS Theses in Logic Programming. The Doctoral Consortium aims to provide students with an opportunity to present and discuss their research directions and to obtain feedback from peers as well as world-renown experts in the field. General Information ------------------- This year the Doctoral Consortium will be held at the end if the regular activities of the ICLP 2010 Conference. The aims of the Doctoral Consortium are: * To provide doctoral students working in the field of logic and constraint programming with a friendly and open forum to present their research ideas, listen to ongoing work from peer students, and receive constructive feedback. * To provide students with relevant information about important issues for doctoral candidates and future academics. * To develop a supportive community of scholars and a spirit of collaborative research. * To support a new generation of researchers with information and advice on academic, research, industrial, and non-traditional career paths. The Consortium is designed for students currently enrolled in a Ph.D. program, though we are also open to exceptions (e.g., students currently in a Masters program and interested in doctoral studies). Students at any stage in their doctoral studies are encouraged to apply. Applicants are expected to be conducting research in the field of Logic Programming; topics of interest include (but are not limited to): * Theoretical Foundations of Logic and Constraint Logic Programming * Sequential and Parallel Implementation Technology * Static and Dynamic Analysis, Abstract Interpretation, Compilation Technology, Verification * Logic-based Paradigms (e.g., Answer Set Programming, Concurrent Logic Programming, Inductive Logic Programming) * Innovative Applications of Logic Programming Submissions by students who have presented their work at a previous ICLP Doctoral Consortiums are allowed, but should occur only if there are substantial changes or improvements to the student's work. The Consortium allows participants to interact with established researchers and with other students, through presentations, question- answer sessions, panel discussions, and invited presentations. The Doctoral Consortium will provide the possibility to reflect - through short activities, information sessions, and discussions - on the process and lessons of research and life in academia. Each participant will give a short, critiqued, research presentation. The Doctoral Consortium will be held on July 21, 2010; the ICLP conference will run from July 16th to July 19th, 2010. Doctoral Consortium participants will be offered the opportunity to have their abstracts published in the ICLP 2010 conference proceedings. The best paper and presentation from the Doctoral Consortium will be given the opportunity to present in special session of the main ICLP conference. Discussants: Several renowned faculty members and researchers in the field of Logic Programming will join in evaluating the submission packets and will participate in the Doctoral Consortium, providing feedback to the presenters. Important Dates --------------- Submission Deadline: April 11, 2010 Acceptance Notification: April 21, 2010 Last Date to Update Research Summary: April 28, 2010 (tentative) Doctoral Consortium: July 21, 2010 ICLP 2010 Conference: July 16-19, 2010 Submission Process ------------------ Application Process: To apply for participation to the ICLP 2010 Doctoral Consortium, prepare a submission package consisting of a cover letter, a research summary, and a letter of recommendation (e.g., from your supervisor). The material should be submitted electronically, in PDF format. Review Criteria: The ICLP Doctoral Consortium review committee will select participants based on their anticipated contribution to the Consortium objectives. Participants typically have settled on their thesis directions and had their research proposal accepted by their thesis committee. Students will be selected based on clarity and completeness of the submission packet, relevance of their research area w.r.t. the focus of the ICLP Conference, stage of research, advisor's letter, and evidence of promise towards a successful research and academic career, such as published papers or technical reports. Award: The ICLP Doctoral Consortium Discussants will review the submissions to select the ones to be presented. The organizing committee is actively seeking support to offer scholarship packages to accepted participants. We will update the web site as soon as we have more information regarding this. Submission Package ------------------ Send the submission package by e-mail to iclp10dc at gmail.com. Include the three documents as separate pdf files in attachment. All submissions must be in English. Submissions will not be considered if they arrive after the deadline. Your submission should not contain any proprietary or confidential material. Detailed instructions for each of the documents follow below. Cover Page: Please include the following information in the cover page: 1. Statement of interest in participating in the Doctoral Consortium 2. Full name and School and Department in which you are earning your doctorate degree 3. Contact information - address, telephone number, and email address 4. Title of your research and keywords pertinent to your research 5. The URL of your web page (if any) 6. Name of your supervising professor 7. Current stage in your program of study, e.g. (Master/PhD student, start date) Research Summary: Prepare your research summary as a PDF document, using either the same format style as for the regular submissions to ICLP 2010, or the Springer Verlag LNCS Conference Publication Format (http://www.springer.com/computer+science/lncs?SGWID=0-164-6-793341-0). Keep the length of your research summary to no more than two pages, including figures, tables, and the bibliography. Make sure to include your complete name, address and affiliation. The body of you research summary should provide a clear overview of the research, its potential impact, and its current status. You are encouraged to include the following sections: 1. Introduction and problem description 2. Background and overview of the existing literature 3. Goal of the research 4. Current status of the research 5. Preliminary results accomplished (if any) 6. Open issues and expected achievements 7. Bibliographical references Letter of Recommendation: Include a letter of recommendation written by your Graduate Advisor or Thesis Advisor. Please, invite your advisor to include an assessment of the current status of your thesis research and an indication of the expected deadline for thesis submission. In addition, your advisor should indicate what she/he hopes you would gain from participation in the Doctoral Consortium. Chairs ------ Marcello Balduccini Intelligent Systems Department Kodak Research Labs http://marcy.cjb.net Alessandro Dal Palu' Dipartimento di Matematica Universita' degli Studi di Parma http://www2.unipr.it/~dalpalu/ From M.Sun at cwi.nl Fri Apr 2 18:04:29 2010 From: M.Sun at cwi.nl (Sun Meng) Date: Fri, 02 Apr 2010 18:04:29 +0200 Subject: [ecoop-info] UML&FM'09 CFP Message-ID: <4BB6158D.9060909@cwi.nl> [sorry if you receive this more than once] Call for Papers OpenCert 2010 4th International Workshop on Foundations and Techniques for OPEN SOURCE SOFTWARE CERTIFICATION Pisa, Italy - 17-18 September 2010 Satellite Event to SEFM 2010 http://opencert.iist.unu.edu/ Submission deadline: 28 June, 2010 CONTEXT & OBJECTIVES Over the past decade, the Open Source Software (OSS) phenomenon has had a global impact on the way software systems and and software-based services are developed, distributed and deployed. Widely acknowledged benefits of OSS include reliability, low development and maintenance costs, as well as rapid code turnover. Linux distributions, Apache and MySQL serve, among many other examples, as a testimony to its success and resilience. However, state-of-the-art OSS, by the very nature of its open, unconventional, distributed development model, make software quality assessment, let alone full certification, particularly hard to achieve and raises important challenges both from the technical/methodological and the managerial points of view. This makes the use of OSS, and, in particular, its integration within complex industrial-strength applications, with stringent security requirements, a risk. And, simultaneously an opportunity and a challenge for rigourous, mathematically based, methods in software analysis and engineering. In such a context, the aim of this workshop is to bring together researchers from academia and industry who are broadly interested in the quality assessment of open source software projects, ultimately leading to the establishment of coherent certification processes, at different levels. Following the success of the three previous editions (colocated to ETAPS'07, in Braga, and OSS'08, at IFIP WCC, in Milan, and ETAPS'09, in York), the workshop will focus on formal methods and model-based techniques that appear promising to facilitate OSS certification. Both foundational, methodological and pragmatic issues will be addressed, through both standard technical communications and reports on concrete case-studies and experimental data. CONTRIBUTIONS Contributions are expected to foster a broad debate on OSS assessment and certification, integrating techniques and elements from areas as different as - product and process certification - certification standards - formal modelling and verification (model checking and theorem proving) - software quality and reverse engineering - static analysis, testing and inspection - safety, security and usability certification - language design and evolving systems - automated source code analyses - empirical studies SUBMISSION The two-day workshop will feature invited talks, a pannel discussion and contributed paper presentations. All contributions, in the form of either full technical papers, between 10 and 16 pages, or short position papers, will undergo a peer-review process. All papers should be written in English and in ECEASST format. Detailed information on the submission procedure are available at opencert.iist.unu.edu/ PUBLICATION Accepted papers will be published in Electronic Communications of the EASST (ECEASST) Publication of selected papers in a journal is currently under negotiation. IMPORTANT DATES - Abstract submission: 21 June, 2010 - Paper submission deadline: 28 June, 2010 - Acceptance notification: 30 July, 2010 - Final version due: 14 August, 2010 PROGRAM COMMITTEE B. Aichernig, Graz, Austria A. Abdurahmanovic, PrimeKey, Sweden L. Barbosa, Minho, Portugal (co-chair) A. Capiluppi, East London, UK A. Cerone, UNU-IIST, Macau, SAR China (co-chair) G. Ciobanu, A.I. Cuza, Romania E. Damiani, Milano, Italy J. Davies, Oxford, UK R. di Cosmo, Paris Diderot, France F. Fabbrini, ISTI-CNR, Italy M. J. Frade, Minho, Portugal J. Fisteus, Madrid Carlos III, Spain D. Ghica, Birmingham, UK T. Janowski, UNU-IIST, Macau, SAR China P. Krishnan, Bond, Australia P. Milazzo, Pisa, Italy J. Miranda, Multicert, Portugal J. Noll, LERO, Ireland A. Petrenko, ISP-RAS, Russia S. Pickin, Madrid Carlos III, Spain S. Shaikh, Coventry, UK (co-chair) S. K. Sowe, UNU-MERIT, The Netherlands R. Treinen, Paris Diderot, France J. Visser, SIG, The Netherlands D. von Oheimb, Siemens, Germany T. Vos, UP Valencia, Spain A. Wasserman, CMU, USA CONTACTS opencert-2010 at iist.unu.edu WEB opencert.iist.unu.edu From markku.j.sakkinen at cs.jyu.fi Mon Apr 5 17:53:01 2010 From: markku.j.sakkinen at cs.jyu.fi (Markku Sakkinen) Date: Mon, 5 Apr 2010 18:53:01 +0300 Subject: [ecoop-info] Testing workshop at ECOOP 2010 - date fixed Message-ID: <20100405155301.GB29104@wind2.it.jyu.fi> The date for ETOOS 2010, the 1st ECOOP Workshop on Testing Object-Oriented Systems Associated with ECOOP 2010, Maribor, Slovenia has now been fixed on Monday, 21 June. If you consider participating, please remember these important dates: - Paper submission: April 19, 2010 - Notification of acceptance: May 5, 2010 - ECOOP early registration deadline: May 10, 2010 For more information, please visit the workshop web site: http://etoos2010.sed.hu On behalf of the workshop organisers Markku Sakkinen University of Jyv?skyl? Finland From markku.j.sakkinen at cs.jyu.fi Mon Apr 5 17:59:05 2010 From: markku.j.sakkinen at cs.jyu.fi (Markku Sakkinen) Date: Mon, 5 Apr 2010 18:59:05 +0300 Subject: [ecoop-info] MASPEGHI 2010 workshop - date fixed In-Reply-To: <20100405154800.GA29104@wind2.it.jyu.fi> References: <20100405154800.GA29104@wind2.it.jyu.fi> Message-ID: <20100405155905.GC29104@wind2.it.jyu.fi> (Sorry for the repetition if you already received the message where the address of the website was missing.) The date for the MASPEGHI 2010 Workshop MechAnisms for SPEcialization, Generalization and inHerItance Associated with ECOOP 2010, Maribor, Slovenia has now been fixed on Tuesday, 22 June. If you consider participating, please remember these important dates: - Paper submission: April 19, 2010 - Notification of acceptance: May 5, 2010 - ECOOP early registration deadline: May 10, 2010 For more information, please visit the workshop web site: http://www.i3s.unice.fr/maspeghi2010/ On behalf of the workshop organisers Markku Sakkinen University of Jyv?skyl? Finland From mel.ocinneide at ucd.ie Thu Apr 1 00:52:10 2010 From: mel.ocinneide at ucd.ie (=?windows-1252?Q?Mel_=D3_Cinn=E9ide?=) Date: Wed, 31 Mar 2010 23:52:10 +0100 Subject: [ecoop-info] Reengineering and Refactoring track at QUATIC 2010 Message-ID: <4BB3D21A.5080508@ucd.ie> QUATIC?2010 Thematic Track Quality in ICT Reengineering and Refactoring Porto, 29 Sept to 2 Oct 2010 http://www.fe.up.pt/quatic2010/quality_reengineering_refactoring Call for papers Reengineering is the examination and alteration of a system in order to reconstitute it in a new form. It involves maintenance activities such as understanding, repairing, improving and evolving a system. ICT systems are often reengineered to cope with challenges such as the need to maintain legacy software, add new functionality, fix defects, improve quality attributes, or adopt new technology. Refactoring is currently regarded as one of the most important reengineering techniques, and is used to transform software in order to improve its quality, in particular, internal software design quality. The growing importance of new development approaches such as service-orientation, aspect-orientation and product-line engineering, to name a few, brings new challenges to the reengineering and refactoring community. We seek contributions on how to use reengineering and, in particular, refactoring, to improve the quality of ICT systems. Suggested topics of interest include, but are not restricted to: - Tools, methods and approaches to the analysis, comprehension and reconstitution of ICT systems - Process support for Reengineering and Refactoring - Reengineering and Refactoring in the context of Global Development, Agile Processes, Service- or Aspect-Oriented development or Software Product lines. - Reengineering and Refactoring activities, techniques and formalisms - Reengineering and Refactoring artifacts at different abstraction levels - Empirical evaluation of Refactoring and Reengineering Paper submission Authors are requested to submit a PDF version of their papers in IEEE format. These papers should not exceed 6 pages, including figures, references, and appendices. Submissions must be made on the following URL: http://www.easychair.org/conferences/?conf=quatic2010 Each submitted paper will be blind reviewed by at least 3 members of the Track Programme Committee. Accepted papers must be presented personally by one of the authors. The authors of the best three papers from this track will be invited to extend their work for inclusion in the main conference, the proceeding of which will be published by the IEEE. More information on the QUATIC?2010 conference and its thematic tracks can be found at: http://www.fe.up.pt/quatic2010 Important dates Abstract submissions: 1 April 2010 Paper submissions: 11 April 2010 Authors? notification: 5 May 2010 Track Committee Chair: Mel ? Cinn?ide (University College Dublin, Ireland) Local Co-Organizing Chair: S?rgio Bryton (FCT/UNL, Portugal) Programme Committee: Jim Buckley (University of Limerick, Ireland) Alexander Chatzigeorgiou (University of Macedonia, Greece) Serge Demeyer (University of Antwerp, Belgium) Massimiliano Di Penta (University of Sannio, Italy) Ignacio Garc?a-Rodriguez (University of Castilla-La Mancha, Spain) Orla Greevy (Sw-eng Ltd., Switzerland) Miguel Monteiro (New University of Lisbon, Portugal) Matthew Munro (University of Strathclyde, Scotland) Simon Thompson (University of Kent, England) Charles Tolman (Quantel Ltd., England) Mikal Ziane (University of Paris 5, France) From paris at cs.rug.nl Thu Apr 1 12:02:36 2010 From: paris at cs.rug.nl (Paris Avgeriou) Date: Thu, 01 Apr 2010 12:02:36 +0200 Subject: [ecoop-info] CFP: VARI-ARCH workshop @ ECSA 2010 Message-ID: <4BB46F3C.5040109@cs.rug.nl> ================================================================ CALL FOR PAPERS Workshop on Variability in Software Product Line Architectures (VARI-ARCH) http://distrinet.cs.kuleuven.be/events/variarch/ contact: vari-arch at cs.kuleuven.be Submission deadline: May 17, 2010 Copenhagen, Denmark, August 23, 2010 Co-located with The 4th European Conference on Software Architecture (ECSA 2010) http://www.ecsa2010.org/ ================================================================ WORKSHOP GOAL The objective of this workshop is to bring together researchers from the software product line community and software architecture community to identify critical challenges and progress the state-of-the-art on variability in software product line architectures. INTRODUCTION & MOTIVATION The product line architecture is key to the success of a software product line. In contrast to single system architectures, a product line architecture is designed to underpin multiple systems. A product line architecture reifies the commonalities between the various products and also clearly delineates the variability that is allowed between products. As such a product line architecture is paramount to predictably achieve the qualities of the various products in a software product line. Two prominent communities that have been studying product line architectures are the community on software product lines and the community on software architecture. Whereas both communities have been successful in addressing some of the challenges of product line architectures, persistent challenges remain, in particular concerning variability in product line architectures. In the software product line community, it is generally acknowledged that variability of a product line should be captured explicitly. Many variability modeling techniques exist, but most of those techniques capture variability relative to generic/holistic concepts as "features" or "decisions" and do not specifically focus on variability relative to the software architecture of the product line. In the software architecture community, it is generally acknowledged that a software architecture should be described using multiple views. Each view captures the architecture using (a) suitable model(s) from the perspective of a specific stakeholder and his/her concerns. In contrast to single system architectures, variability is a key quality of product line architectures. Although some work exists in this area, it is under-investigated how viewpoints/views can be used to support variability of product line architectures. TOPICS OF INTEREST Topics of interest to VARI-ARCH include, but are not limited to: - Modeling variability using architectural views/viewpoints - Mechanisms/tactics/patterns/styles for variability in product line architectures - Evaluating variability in product line architectures - Resolving architectural variability during product derivation - Traceability of variability in product line architectures. - Conformance of products to the product line architecture - Practical and industrial examples of variability in product line architectures - Relation between variability and (other) quality attributes VARI-ARCH welcomes the submission of theoretical, experimental, methodological as well as application papers which focus on the topics outlined above. Papers may report on completed work, descriptions of work-in-progress, or discussion topics. IMPORTANT DATES - Submission of papers: May 17, 2010 - Author notification: June 7, 2010 - Submission of camera-ready paper: July 1, 2010 SUBMISSION GUIDELINES & PUBLICATION Submissions can be either regular papers and short papers: - Regular papers should be between 6 and 8 pages long, including the text, figures and references - Short papers should be between 2 and 4 pages long, including the text, figures and references The submissions must be formatted according to ACM conference proceedings style. PDF format is required. Papers can be submitted via EasyChair "VARI-ARCH 2010": http://www.easychair.org/conferences/?conf=variarch2010 Accepted papers will be published in a second volume of the ECSA 2010 conference proceedings with an ISBN number and through ACM digital library (approval pending). PROGRAM COMMITTEE The list of PC members includes both people from the software architecture community and people from the software product line community: - Pierre America, Philips Research, The Netherlands - Sven Apel, University of Passau, Germany - David Benavides, University of Seville, Spain - Jan Bosh, Intuit, USA - Felix Bachmann, Software Engineering Institute, USA - Laurence Duchien, INRIA, France - Rich Hilliard, USA - Philippe Kruchten, University of British Columbia, Canada - Klaus Pohl, University of Duisburg-Essen, Germany - Klaus Schmid, University of Hildesheim, Germany - Eddy Truyen, DistriNet Labs, Katholieke Universiteit Leuven, Belgium - Andrzej Wasowski, IT University of Copenhagen, Denmark - Uwe Zdun, Vienna University of Technology, Austria WORKSHOP ORGANIZERS - Alexander Helleboogh (Katholieke Universiteit Leuven, Belgium) - Paris Avgeriou (University of Groningen, The Netherlands) - Nelis Bouck? (Katholieke Universiteit Leuven, Belgium) - Patrick Heymans (University of Namur, Belgium) From olhotak at uwaterloo.ca Fri Apr 2 18:35:49 2010 From: olhotak at uwaterloo.ca (Ondrej Lhotak) Date: Fri, 2 Apr 2010 12:35:49 -0400 Subject: [ecoop-info] CFP & CFW: PPPJ 2010 -- Principles and Practice of Programming in Java Message-ID: <20100402163549.GA19974@uwaterloo.ca> Please accept our apologies if you receive multiple copies of this mailing. This message contains both a Call for Papers and a Call for Workshops and Tutorials. Please see the Call for Workshops and Tutorials below the Call for Papers. ############################################################ # Principles and Practice of Programming in Java # # PPPJ 2010 - Vienna, Austria, September 15-17, 2010 # # Call for Papers # ############################################################ http://www.complang.tuwien.ac.at/pppj10/ This conference will be held in cooperation with ACM SIGPLAN and ACM SIGAPP. SCOPE Java programming is multi-faceted, covering a rich diversity of systems, tools, frameworks and techniques. PPPJ provides a forum for researchers, practitioners and educators to present and discuss novel results on all aspects of Java programming including the language and its virtual machine, methods, tools, frameworks, case studies, and experience reports. We invite papers on all these aspects. Topics include but are not limited to: The Java Language and Systems Other Languages for the JVM VM Design and Optimization Software Engineering with Java Model-driven Development in Java Component- and Service-oriented Architectures Java Frameworks and Tools Java and Formal Methods Testing, Analysis and Metrics Java on Mobile and Embedded Devices Java Concurrency Parallelization of Java programs Applications in Science, Engineering, and Business Java Practice and Experience Reports Teaching Java SUBMISSION GUIDELINES All papers must represent original and unpublished work that is not currently under review. 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 required to attend the conference. Two types of paper submissions will be accepted: research/experience papers as well as tool demonstration papers. Research/experience papers must not exceed 10 pages, while tool demonstration papers must not exceed 4 pages. 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 also plan to invite the authors of the best papers to provide an extended version for a special issue of Elsevier Science of Computer Programming. The required format for the submission is the ACM SIGPLAN Proceedings Style. The author information containing the Latex and Word templates can be found at http://www.sigplan.org/authorInformation.htm. Please apply the ACM Computing Classification categories and terms (http://www.acm.org/class/1998/). IMPORTANT DATES * Abstract Submissions: April 18, 2010 (24:00 GMT) * Paper Submissions: April 25, 2010 (24:00 GMT) * Author Notification: June 7, 2010 * Camera Ready Submissions: July 18, 2010 * Author Registration Deadline: July 23, 2010 ORGANIZERS General Chair - Andreas Krall, Vienna University of Technology, Austria Program Chair - Hanspeter M?ssenb?ck, University of Linz, Austria Publicity Chair - Ondrej Lhotak, University of Waterloo, Canada Web chair - Alexander Jordan, Vienna University of Technology, Austria Steering Committee - Markus Aleksy, ABB Corporate Research, Germany - Vasco Amaral, Universidade Nova de Lisboa, Portugal - Conrad Cunningham, University of Mississippi, USA - Ralf Gitzel, ABB Corporate Research, Germany - John Waldron, Trinity College Dublin, Ireland Program Committee - Elvira Albert, Complutense University of Madrid (Spain) - Walter Binder, University of Lugano (Switzerland) - Judith Bishop, Microsoft Research (USA) - Giacomo Cabri, University of Modena and Reggio Emilia (Italy) - Bruce Childers, University of Pittsburgh (USA) - Deepak Dhungana, Lero (Ireland) - Artur Miguel Dias, New University Lisbon (Portugal) - Stephan Diehl, University of Trier (Germany) - Bertil Folliot, Inria (France) - Joseph (Yossi) Gil, Technion (Israel) - Dave Grove, IBM Research (USA) - Tibor Gyimothy, University of Szeged (Hungary) - Petr Hnetynka, Charles University Prague (Czech Republic) - Nigel Horspool, University of Victoria (Canada) - Axel Korthaus, Queensland University of Technology (Australia) - Andreas Krall, Vienna University of Technology (Austria) - Ondrej Lhotak, University of Waterloo (Canada) - Lian Li, Sun Labs (Australia) - Thomas Preuss, Brandenburg University of Applied Sciences (Germany) - Christian Probst, Technical University of Denmark (Denmark) - Ian Rogers, Azul Systems (USA) - Abhik Roychoudhury, National University of Singapore (Singapore) - Doug Simon, Sun Labs (USA) - Ryan Stansifer, Florida Institute of Technology (USA) - Ben Stephenson, University of Calgary (Canada) - Antero Taivalsaari, Nokia (Finland) - Jeffery von Ronne, University of Texas at San Antonio (USA) - George Wells, Rhodes University (South Africa) - Christian Wimmer, UC Irvine (USA) ############################################################ # Principles and Practice of Programming in Java # # PPPJ 2010 - Vienna, Austria, September 15-17, 2010 # # Call for Workshops # ############################################################ http://www.complang.tuwien.ac.at/pppj10/ The International Conference on Principles and Practice of Programming In Java (PPPJ 2010) seeks to draw together researchers, teachers, practitioners, and programmers who study or work with the Java programming Language to discuss the principles and practice of its use in a friendly and convivial academic environment. PPPJ 2010 will be held in cooperation with ACM SIGPLAN and ACM SIGAPP. The PPPJ 2010 organizing committee is soliciting proposals for workshops and tutorial sessions to be held in conjunction with the main programme. The purpose of PPPJ workshops and tutorials is to discuss emerging aspects of Java programming with students, researchers and practitioners. The aims of the sessions are to develop understanding, to exchange experiences, to build research communities and to help to characterise the direction of future developments. Topics include but are not limited to: * The Java Language and Systems * Other Languages for the JVM * VM Design and Optimization * Software Engineering with Java * Model-driven Development in Java * Component- and Service-oriented Architectures * Java Frameworks and Tools * Java and Formal Methods * Testing, Analysis and Metrics * Java on Mobile and Embedded Devices * Java Concurrency * Parallelization of Java programs * Applications in Science, Engineering, and Business * Java Practice and Experience Reports * Teaching Java Tutorials should last 1.5 to 2 hours, workshops should last 2 to 4 hours. Workshop sessions may include a submission and review process of short papers (max 4 pages), and should include a discussion session. Tutorials should focus on a particular technique, software or methodology. Workshop papers will be published with the conference proceedings. Workshop and tutorial proposals should be no longer than four pages, should describe the background and focus of the workshop, the background of the workshop organizing committee and the estimated number of participants. Proposals should also include a draft Call for Papers. The organizers of PPPJ 2010 will provide a meeting room and it is currently intended to publish workshop proceedings along with the PPPJ proceedings in the ACM International Conference Proceedings series. All other issues related to proposed workshops will have to be planned and organized by the workshop organizing committee. Workshop proposals should be sent by email to: pppj10 at complang.tuwien.ac.at IMPORTANT DATES * Workshop and Tutorial Proposals: April 25, 2010 * Notification of Accepted Proposals: May 10, 2010 * Workshop Paper Submissions: July 5, 2010 * Notification to Workshop Paper Authors: July 26, 2010 * Camera Ready Submissions: August 16, 2010 * Workshop Paper Author Registration Deadline: August 2, 2010 From myv at cs.rice.edu Sun Apr 4 11:01:44 2010 From: myv at cs.rice.edu (MYV) Date: Sun, 4 Apr 2010 04:01:44 -0500 (CDT) Subject: [ecoop-info] Amir Pnueli Memorial Symposium - May 7-9, 2010 Message-ID: ======================================================================= Amir Pnueli Memorial Symposium New York University New York, New York, USA May 7-9, 2010 ======================================================================= Amir Pnueli was one of the most influential computer scientists of our time. He published more than 250 papers, many of them groundbreaking, including the 1977 paper, "The Temporal Logic of Programs," for which he won the 1996 ACM Turing Award. On November 2, 2009, Amir unexpectedly passed away. His loss is felt deeply by friends and colleagues around the world. The Amir Pnueli Memorial Symposium is an opportunity for the computer science community to remember Amir by revisiting the ideas and challenges which inspired and defined his life's work. It will feature talks by a select group of internationally acclaimed researchers, including colleagues and former students of Amir. The symposium will take place at New York University on May 7-9, 2010. It is open to all who wish to attend. For more information and to register, please visit http://www.cs.nyu.edu/acsys/pnueli. ================== Schedule ================== May 7, 4:00 - 6:00pm - Remembering Amir Pnueli, with tributes from his family, friends, colleagues, and students. May 8, 8:15am - 6:00pm - Symposium Day 1 May 9, 8:30am - 5:30pm - Symposium Day 2 Symposium Speakers ================== Rajeev Alur University of Pennsylvania Krzysztof Apt Centrum Wiskunde and Informatica Egon Brger Universit di Pisa Manfred Broy Technische Universitt Mnchen Patrick Cousot New York University Werner Damm Carl von Ossietzky Universitt Oldenburg Willem-Paul De Roever Christian-Albrechts-Universitt zu Kiel E. Allen Emerson The University of Texas at Austin Javier Esparza Technische Universitt Mnchen David Harel The Weizmann Institute of Science Tom Henzinger EPFL Robert Kurshan Cadence Design Systems Leslie Lamport Microsoft Research Oded Maler CNRS-Verimag Ken McMillan Cadence Research Labs Stephan Merz INRIA Lorraine, LORIA Jayadev Misra University of Texas at Austin Catuscia Palamidessi cole Polytechnique Krishna Palem Rice University Doron Peled Bar Ilan University Nir Piterman Imperial College London Roni Rosner Intel Labs Muli Safra Tel Aviv University Giora Slutzki Iowa State University Ofer Strichman Technion Moshe Vardi Rice University Lenore Zuck University of Illinois at Chicago From touili at liafa.jussieu.fr Thu Apr 1 11:40:13 2010 From: touili at liafa.jussieu.fr (Tayssir Touili) Date: Thu, 01 Apr 2010 11:40:13 +0200 Subject: [ecoop-info] Amir Pnueli Memorial Symposium Message-ID: <4BB469FD.5090804@liafa.jussieu.fr> ====================================================================== Amir Pnueli Memorial Symposium New York University New York, New York, USA May 7-9, 2010 ======================================================================= Amir Pnueli was one of the most influential computer scientists of our time. He published more than 250 papers, many of them groundbreaking, including the 1977 paper, "The Temporal Logic of Programs," for which he won the 1996 ACM Turing Award. On November 2, 2009, Amir unexpectedly passed away. His loss is felt deeply by friends and colleagues around the world. The Amir Pnueli Memorial Symposium is an opportunity for the computer science community to remember Amir by revisiting the ideas and challenges which inspired and defined his life's work. It will feature talks by a select group of speakers, including two Turing award winners, other internationally acclaimed researchers, and former students of Amir. The symposium will take place at New York University on May 7-9, 2010. It is open to all who wish to attend. For more information and to register, please visit http://www.cs.nyu.edu/acsys/pnueli. ================== Schedule ================== May 7, 4:00 - 6:00pm - Remembering Amir Pnueli, with tributes from his family, friends, colleagues, and students. May 8, 8:15am - 6:00pm - Symposium Day 1 May 9, 8:30am - 6:00pm - Symposium Day 2 ================== Symposium Speakers ================== Rajeev Alur University of Pennsylvania Krzysztof Apt Centrum Wiskunde and Informatica Egon B?rger Universit? di Pisa Manfred Broy Technische Universit?t M?nchen Ed Clarke Carnegie Mellon University Patrick Cousot New York University Werner Damm Carl von Ossietzky Universit?t Oldenburg Willem-Paul De Roever Christian-Albrechts-Universit?t zu Kiel E. Allen Emerson The University of Texas at Austin Javier Esparza Technische Universit?t M?nchen David Harel The Weizmann Institute of Science Tom Henzinger EPFL Robert Kurshan Cadence Design Systems Leslie Lamport Microsoft Research Oded Maler CNRS-Verimag Ken McMillan Cadence Research Labs Stephan Merz INRIA Lorraine, LORIA Jayadev Misra University of Texas at Austin Catuscia Palamidessi ?cole Polytechnique Krishna Palem Rice University Doron Peled Bar Ilan University Nir Piterman Imperial College London Roni Rosner Intel Labs Muli Safra Tel Aviv University Giora Slutzki Iowa State University Ofer Strichman Technion Moshe Vardi Rice University Lenore Zuck University of Illinois at Chicago From westphal at inf.ufsc.br Tue Apr 6 05:24:33 2010 From: westphal at inf.ufsc.br (Carlos Becker Westphall) Date: Tue, 6 Apr 2010 00:24:33 -0300 (BRT) Subject: [ecoop-info] CFP - ATC 2010 - The 7th International Conference on Autonomic and Trusted Computing In-Reply-To: References: <645117.44735.qm@web111012.mail.gq1.yahoo.com> Message-ID: We apologize in advance if you receive multiple copies of this CFP. ******************************************************************* CALL FOR ATC 2010 PAPERS ******************************************************************* The 7th International Conference on Autonomic and Trusted Computing (ATC 2010) - Bring Safe, Self-x and Organic Computing Systems into Reality - http://www.nwpu.edu.cn/atc2010/ Technically Sponsored by IEEE CS TCSC Xi??an, China, 26-29 October, 2010 Co-located with UIC 2010 (http://www.nwpu.edu.cn/uic2010/) ******************************************************************* WHAT'S NEW: 1. The paper submisson site for ATC 2010 is now open. Please visit the web site: http://www.nwpu.edu.cn/atc2010/Submission/. 2. Five workshops have been accepted by ATC 2010. Workshop paper submission deadline is May 30, 2010. Please visit the web site: http://www.nwpu.edu.cn/atc2010/Workshops/. ******************************************************************* Computing systems including hardware, software, communication, and networks are growing towards an ever increasing scale and heterogeneity, becoming overly complex. Such complexity is getting even more critical with the ubiquitous permeation of embedded devices and other pervasive systems. To cope with the growing and ubiquitous complexity, Autonomic Computing (AC) focuses on self-manageable computing and communication systems that exhibit self-awareness, self-configuration, self-optimization, self-healing, self-protection and other self-x operations to the maximum extent possible without human intervention or guidance. Organic Computing (OC) additionally addresses adaptivity, robustness, and controlled emergence as well as nature-inspired concepts for self-organization. Any autonomic or organic system must be trustworthy to avoid the risk of losing control and retain confidence that the system will not fail. Trust and/or distrust relationships in the Internet and in pervasive infrastructures are key factors to enable dynamic interaction and cooperation of various users, systems, and services. Trusted/Trustworthy Computing (TC) aims at making computing and communication systems as well as services available, predictable, traceable, controllable, assessable, sustainable, dependable, persistable, security/privacy protectable, etc. A series of grand challenges exists to achieve practical autonomic or organic systems with truly trustworthy services. Started in 2005, the series of ATC conferences has been held at Nagasaki, Vienna, Three Gorges (China), Hong Kong, Oslo and Brisbane. ATC 2010 will include a highly selective program of technical papers, accompanied by workshops, panel discussions and keynote speeches. Established as a premier venue in the area of autonomic and trusted computing, ATC 2010 will offer a forum for researchers to exchange ideas and experiences in the most innovative research and development in these challenging areas and includes all technical aspects related to autonomic/organic computing (AC/OC) and trusted computing (TC). Topics include but are not limited to the following: - AC/OC Theory and Models:Models, negotiation, cooperation, competition,self-organization, emergence, verification etc. - AC/OC Architectures and Systems:Autonomic elements & their relationship, frameworks,middleware, observer/controller architectures, etc. - AC/OC Components and Modules:Multi-core CPU, memory, storage, database, device,server, proxy, software, OS, I/O, etc. - AC/OC Communication and Services:Networks, self-organized net, web service, P2P, grid,EaaS, could, semantics, agent, transaction, etc. - AC/OC Tools and Interfaces:Tools/interfaces for AC/OC system development,test, monitoring, assessment, supervision, etc. - Trust Models and Specifications:Models and semantics of trust, distrust, mistrust,over-trust, cheat, risk, reputation, reliability, etc. - Trust-related Security and Privacy:Trust-related secure architecture, framework, policy,intrusion detection/awareness, protocols, etc. - Trusted Reliable and Dependable Systems: Fault-tolerant systems, hardware redundancy,robustness, survivable systems, failure recovery, etc. - Trustworthy Services and Applications:Trustworthy Internet/web/P2P/grid/cloud services,secured mobile services, novel applications, etc. - Trust Standards and Non-Technical Issues: Trust standards and issues related to personality,ethics, sociology, culture, psychology, economy, etc. ******************************************************************* PAPER SUBMISSION GUIDELINES: Papers need to be prepared according to the LNCS format, and submitted in PDF format via the ATC 2010 submission site: http://www.nwpu.edu.cn/atc2010/Submission/. ******************************************************************* IMPORTANT DATES: Conference Dates: OCT 26-29, 2010 paper Submission: April 30, 2010 Authors Notification: June 30, 2010 Final Manuscript Due: July 30, 2010 ******************************************************************* PAPER PUBLICATION Accepted main conference papers are planned to be published by Lecture Notes in Computer Science (LNCS, EI indexed). At least one author of each accepted paper is required to register and present their work at the conference, otherwise the paper will not be included in the proceedings. The workshop proceedings will be published by IEEE (EI indexed). Selected papers, after extension and further revisions, will be published in special issues of prestigious journals. ******************************************************************* AWARDS: As in the past, UIC 2010 will present a Best Paper Award. A best demo or exhibition will also be selected. ******************************************************************* COMMITTEE: Honorary Chairs Huaimin Wang, National Univ. of Defense Tech., China Christian Muller-Schloer, Leibniz Univ. Hannover, Germany Zhen Liu, Nokia Research Center, China General Chairs Xingshe Zhou, Northwestern Polytechnic Univ., China Daqing Zhang, Institut TELECOM SudParis, France Raouf Boutaba, University of Waterloo, Canada Program Chairs Bing Xie, Peking University, China S. Masoud Sadjadi, Florida International University, USA Jurgen Branke, University of Warwick, UK. Advisory Committee Chairs Hartmut Schmeck, Karlsruhe Inst. of Technology, Germany Tharam Dillon, Curtin University of Technology, Australia Jean Camp, Indiana University, USA Workshops Chairs Chunming Rong, University of Stavanger, Norway Peidong Zhu, National Univ. of Defense Tech. China Noura Limam, Pohang University of Science and Technology, Korea Program Vice Chairs Yunwei Dong, Northwestern Polytechnic Univ., China Xiaoguang Mao, National Univ. of Defense Tech. China Xiaolin (Andy) Li, Oklahoma State University, USA Publicity Chairs Yan Wang, Macquarie University, Australia Naixue Xiong, Georgia State University, USA Qianxiang Wang, Peking University, China Carlos Becker Westphall, Federal University of Santa Catarina, Brazil Onyeka Ezenwoye, Department of Informatics and Statistics Network and Management Laboratory, USA Panel Chair Wolfgang Reif, University of Augsburg, Germany Demo/Exhibition Chair Alvin Chin, Nokia Research Center, Beijing China Ming Zhao, Florida International University, USA Award Chairs Zhong Chen, Peking University, China Juan Gonzalez Nieto, Queensland Univ. of Tech., Australia International Liaison Chairs Sajid Hussain, Acadia University, Canada Junzhou Luo, Southeast University, China Roy Sterritt, University of Ulster at Jordanstown, UK Bin Xiao, Hong Kong Polytechnic University, HK Hui-Huang Hsu, Tamkang University, Taiwan Industrial Liaison Chair Martin Gilje Jaatun, SINTEF, Norway Wensheng NIU, China Aeronautical Computing Institute, China Financial and Local Arrangement Chair Yuying Wang, Northwestern Polytechnic Univ., China Web Administration Chair Haipeng Wang, Northwestern Polytechnic Univ., China Steering Committee Jianhua Ma (chair), Hosei University, Japan Laurence T. Yang (chair), St. Francis Xavier Univ., Canada Hai Jin, Huazhong University of Sci. & Tech., China Theo Ungerer, University of Augsburg, Germany Jadwiga Indulska, University of Queensland, Australia Jeffrey J.P. Tsai, University of Illinois at Chicago, USA Advisory Committee and Program Committee See UIC 2010 website: http://www.nwpu.edu.cn/atc2010/ ******************************************************************* ATC2010, Xi??an, China, 26-29 October, 2010 From westphal at inf.ufsc.br Tue Apr 6 05:25:01 2010 From: westphal at inf.ufsc.br (Carlos Becker Westphall) Date: Tue, 6 Apr 2010 00:25:01 -0300 (BRT) Subject: [ecoop-info] CFP - ATC 2010 - The 7th International Conference on Autonomic and Trusted Computing In-Reply-To: References: Message-ID: We apologize in advance if you receive multiple copies of this CFP. ******************************************************************* CALL FOR ATC 2010 PAPERS ******************************************************************* The 7th International Conference on Autonomic and Trusted Computing (ATC 2010) - Bring Safe, Self-x and Organic Computing Systems into Reality - http://www.nwpu.edu.cn/atc2010/ Technically Sponsored by IEEE CS TCSC Xi??an, China, 26-29 October, 2010 Co-located with UIC 2010 (http://www.nwpu.edu.cn/uic2010/) ******************************************************************* WHAT'S NEW: 1. The paper submisson site for ATC 2010 is now open. Please visit the web site: http://www.nwpu.edu.cn/atc2010/Submission/. 2. Five workshops have been accepted by ATC 2010. Workshop paper submission deadline is May 30, 2010. Please visit the web site: http://www.nwpu.edu.cn/atc2010/Workshops/. ******************************************************************* Computing systems including hardware, software, communication, and networks are growing towards an ever increasing scale and heterogeneity, becoming overly complex. Such complexity is getting even more critical with the ubiquitous permeation of embedded devices and other pervasive systems. To cope with the growing and ubiquitous complexity, Autonomic Computing (AC) focuses on self-manageable computing and communication systems that exhibit self-awareness, self-configuration, self-optimization, self-healing, self-protection and other self-x operations to the maximum extent possible without human intervention or guidance. Organic Computing (OC) additionally addresses adaptivity, robustness, and controlled emergence as well as nature-inspired concepts for self-organization. Any autonomic or organic system must be trustworthy to avoid the risk of losing control and retain confidence that the system will not fail. Trust and/or distrust relationships in the Internet and in pervasive infrastructures are key factors to enable dynamic interaction and cooperation of various users, systems, and services. Trusted/Trustworthy Computing (TC) aims at making computing and communication systems as well as services available, predictable, traceable, controllable, assessable, sustainable, dependable, persistable, security/privacy protectable, etc. A series of grand challenges exists to achieve practical autonomic or organic systems with truly trustworthy services. Started in 2005, the series of ATC conferences has been held at Nagasaki, Vienna, Three Gorges (China), Hong Kong, Oslo and Brisbane. ATC 2010 will include a highly selective program of technical papers, accompanied by workshops, panel discussions and keynote speeches. Established as a premier venue in the area of autonomic and trusted computing, ATC 2010 will offer a forum for researchers to exchange ideas and experiences in the most innovative research and development in these challenging areas and includes all technical aspects related to autonomic/organic computing (AC/OC) and trusted computing (TC). Topics include but are not limited to the following: - AC/OC Theory and Models:Models, negotiation, cooperation, competition,self-organization, emergence, verification etc. - AC/OC Architectures and Systems:Autonomic elements & their relationship, frameworks,middleware, observer/controller architectures, etc. - AC/OC Components and Modules:Multi-core CPU, memory, storage, database, device,server, proxy, software, OS, I/O, etc. - AC/OC Communication and Services:Networks, self-organized net, web service, P2P, grid,EaaS, could, semantics, agent, transaction, etc. - AC/OC Tools and Interfaces:Tools/interfaces for AC/OC system development,test, monitoring, assessment, supervision, etc. - Trust Models and Specifications:Models and semantics of trust, distrust, mistrust,over-trust, cheat, risk, reputation, reliability, etc. - Trust-related Security and Privacy:Trust-related secure architecture, framework, policy,intrusion detection/awareness, protocols, etc. - Trusted Reliable and Dependable Systems: Fault-tolerant systems, hardware redundancy,robustness, survivable systems, failure recovery, etc. - Trustworthy Services and Applications:Trustworthy Internet/web/P2P/grid/cloud services,secured mobile services, novel applications, etc. - Trust Standards and Non-Technical Issues: Trust standards and issues related to personality,ethics, sociology, culture, psychology, economy, etc. ******************************************************************* PAPER SUBMISSION GUIDELINES: Papers need to be prepared according to the LNCS format, and submitted in PDF format via the ATC 2010 submission site: http://www.nwpu.edu.cn/atc2010/Submission/. ******************************************************************* IMPORTANT DATES: Conference Dates: OCT 26-29, 2010 paper Submission: April 30, 2010 Authors Notification: June 30, 2010 Final Manuscript Due: July 30, 2010 ******************************************************************* PAPER PUBLICATION Accepted main conference papers are planned to be published by Lecture Notes in Computer Science (LNCS, EI indexed). At least one author of each accepted paper is required to register and present their work at the conference, otherwise the paper will not be included in the proceedings. The workshop proceedings will be published by IEEE (EI indexed). Selected papers, after extension and further revisions, will be published in special issues of prestigious journals. ******************************************************************* AWARDS: As in the past, UIC 2010 will present a Best Paper Award. A best demo or exhibition will also be selected. ******************************************************************* COMMITTEE: Honorary Chairs Huaimin Wang, National Univ. of Defense Tech., China Christian Muller-Schloer, Leibniz Univ. Hannover, Germany Zhen Liu, Nokia Research Center, China General Chairs Xingshe Zhou, Northwestern Polytechnic Univ., China Daqing Zhang, Institut TELECOM SudParis, France Raouf Boutaba, University of Waterloo, Canada Program Chairs Bing Xie, Peking University, China S. Masoud Sadjadi, Florida International University, USA Jurgen Branke, University of Warwick, UK. Advisory Committee Chairs Hartmut Schmeck, Karlsruhe Inst. of Technology, Germany Tharam Dillon, Curtin University of Technology, Australia Jean Camp, Indiana University, USA Workshops Chairs Chunming Rong, University of Stavanger, Norway Peidong Zhu, National Univ. of Defense Tech. China Noura Limam, Pohang University of Science and Technology, Korea Program Vice Chairs Yunwei Dong, Northwestern Polytechnic Univ., China Xiaoguang Mao, National Univ. of Defense Tech. China Xiaolin (Andy) Li, Oklahoma State University, USA Publicity Chairs Yan Wang, Macquarie University, Australia Naixue Xiong, Georgia State University, USA Qianxiang Wang, Peking University, China Carlos Becker Westphall, Federal University of Santa Catarina, Brazil Onyeka Ezenwoye, Department of Informatics and Statistics Network and Management Laboratory, USA Panel Chair Wolfgang Reif, University of Augsburg, Germany Demo/Exhibition Chair Alvin Chin, Nokia Research Center, Beijing China Ming Zhao, Florida International University, USA Award Chairs Zhong Chen, Peking University, China Juan Gonzalez Nieto, Queensland Univ. of Tech., Australia International Liaison Chairs Sajid Hussain, Acadia University, Canada Junzhou Luo, Southeast University, China Roy Sterritt, University of Ulster at Jordanstown, UK Bin Xiao, Hong Kong Polytechnic University, HK Hui-Huang Hsu, Tamkang University, Taiwan Industrial Liaison Chair Martin Gilje Jaatun, SINTEF, Norway Wensheng NIU, China Aeronautical Computing Institute, China Financial and Local Arrangement Chair Yuying Wang, Northwestern Polytechnic Univ., China Web Administration Chair Haipeng Wang, Northwestern Polytechnic Univ., China Steering Committee Jianhua Ma (chair), Hosei University, Japan Laurence T. Yang (chair), St. Francis Xavier Univ., Canada Hai Jin, Huazhong University of Sci. & Tech., China Theo Ungerer, University of Augsburg, Germany Jadwiga Indulska, University of Queensland, Australia Jeffrey J.P. Tsai, University of Illinois at Chicago, USA Advisory Committee and Program Committee See UIC 2010 website: http://www.nwpu.edu.cn/atc2010/ ******************************************************************* ATC2010, Xi??an, China, 26-29 October, 2010 From sadjadi at cs.fiu.edu Thu Apr 1 17:45:58 2010 From: sadjadi at cs.fiu.edu (S. Masoud Sadjadi) Date: Thu, 1 Apr 2010 11:45:58 -0400 Subject: [ecoop-info] ATC 2010 CFP Message-ID: <4E8210CA03ECD24DB6EA5BE1555D9A563D77CB@exserver.ipcom.cis.fiu.edu> [We apologize in advance if you receive multiple copies of this CFP.] ******************************************************************* CALL FOR ATC 2010 PAPERS ******************************************************************* The 7th International Conference on Autonomic and Trusted Computing (ATC 2010) - Bring Safe, Self-x and Organic Computing Systems into Reality - http://www.nwpu.edu.cn/atc2010/ Technically Sponsored by IEEE CS TCFC Xi??an, China, 26-29 October, 2010 Co-located with UIC 2010 (http://www.nwpu.edu.cn/uic2010/) ******************************************************************* Computing systems including hardware, software, communication, and networks are growing towards an ever increasing scale and heterogeneity, becoming overly complex. Such complexity is getting even more critical with the ubiquitous permeation of embedded devices and other pervasive systems. To cope with the growing and ubiquitous complexity, Autonomic Computing (AC) focuses on self-manageable computing and communication systems that exhibit self-awareness, self-configuration, self-optimization, self-healing, self-protection and other self-x operations to the maximum extent possible without human intervention or guidance. Organic Computing (OC) additionally addresses adaptivity, robustness, and controlled emergence as well as nature-inspired concepts for self-organization. Any autonomic or organic system must be trustworthy to avoid the risk of losing control and retain confidence that the system will not fail. Trust and/or distrust relationships in the Internet and in pervasive infrastructures are key factors to enable dynamic interaction and cooperation of various users, systems, and services. Trusted/Trustworthy Computing (TC) aims at making computing and communication systems as well as services available, predictable, traceable, controllable, assessable, sustainable, dependable, persistable, security/privacy protectable, etc. A series of grand challenges exists to achieve practical autonomic or organic systems with truly trustworthy services. Started in 2005, the series of ATC conferences has been held at Nagasaki, Vienna, Three Gorges (China), Hong Kong, Oslo and Brisbane. ATC 2010 will include a highly selective program of technical papers, accompanied by workshops, panel discussions and keynote speeches. Established as a premier venue in the area of autonomic and trusted computing, ATC 2010 will offer a forum for researchers to exchange ideas and experiences in the most innovative research and development in these challenging areas and includes all technical aspects related to autonomic/organic computing (AC/OC) and trusted computing (TC). Topics include but are not limited to the following: - AC/OC Theory and Models:Models, negotiation, cooperation, competition,self-organization, emergence, verification etc. - AC/OC Architectures and Systems:Autonomic elements & their relationship, frameworks,middleware, observer/controller architectures, etc. - AC/OC Components and Modules:Multi-core CPU, memory, storage, database, device,server, proxy, software, OS, I/O, etc. - AC/OC Communication and Services:Networks, self-organized net, web service, P2P, grid,EaaS, could, semantics, agent, transaction, etc. - AC/OC Tools and Interfaces:Tools/interfaces for AC/OC system development,test, monitoring, assessment, supervision, etc. - Trust Models and Specifications:Models and semantics of trust, distrust, mistrust,over-trust, cheat, risk, reputation, reliability, etc. - Trust-related Security and Privacy:Trust-related secure architecture, framework, policy,intrusion detection/awareness, protocols, etc. - Trusted Reliable and Dependable Systems: Fault-tolerant systems, hardware redundancy,robustness, survivable systems, failure recovery, etc. - Trustworthy Services and Applications:Trustworthy Internet/web/P2P/grid/cloud services,secured mobile services, novel applications, etc. - Trust Standards and Non-Technical Issues: Trust standards and issues related to personality,ethics, sociology, culture, psychology, economy, etc. ******************************************************************* ATC2010 will host some workshops on various technical subjects (see the web site). ******************************************************************* Important Dates: Conference Dates: OCT 26-29, 2010 paper Submission: April 30, 2010 Authors Notification: June 30, 2010 Final Manuscript Due: July 30, 2010 ******************************************************************* PAPER PUBLICATION Accepted main conference papers are planned to be published by Lecture Notes in Computer Science (LNCS, EI indexed). At least one author of each accepted paper is required to register and present their work at the conference, otherwise the paper will not be included in the proceedings. The workshop proceedings will be published by IEEE (EI indexed). Selected papers, after extension and further revisions, will be published in special issues of prestigious journals. ------------------------------------------------------------------- ATC2010, Xi??an, China, 26-29 October, 2010 ------------------------------------------------------------------ Masoud Sadjadi, PhD Director of the NSF CI-PIRE Center School of Computing and Information Sciences Florida International University University Park, ECS 212C 11200 SW 8th St., Miami, FL 33199 Email: sadjadi at cs.fiu.edu Web: www.cs.fiu.edu/~sadjadi Tel: 305-348-1835 Fax: 305-348-2336 ------------------------------------------------------------------ ------------------------------------------------------------------ Masoud Sadjadi, PhD Director of the NSF CI-PIRE Center School of Computing and Information Sciences Florida International University University Park, ECS 212C 11200 SW 8th St., Miami, FL 33199 Email: sadjadi at cs.fiu.edu Web: www.cs.fiu.edu/~sadjadi Tel: 305-348-1835 Fax: 305-348-2336 ------------------------------------------------------------------ -------------- next part -------------- An HTML attachment was scrubbed... URL: http://web.satd.uma.es/pipermail/ecoop-info/attachments/20100401/7b08ee8d/attachment-0001.html From publicity at rv2010.org Sun Apr 4 21:36:20 2010 From: publicity at rv2010.org (RV 2010) Date: Sun, 4 Apr 2010 14:36:20 -0500 Subject: [ecoop-info] RV 2010 - 2nd Call for Papers and Tutorials Message-ID: <201004041936.o34JYxte015259@fsl3.cs.uiuc.edu> [[Our apologies if you receive multiple copies of this message]] CALL FOR PAPERS AND TUTORIALS International Conference on Runtime Verification (RV 2010) November 1 - 4, 2010 Sliema, Malta http://www.rv2010.org/ Runtime verification (RV) is concerned with monitoring and analysis of software or hardware system executions. The field is often referred to under different names, such as runtime verification, runtime monitoring, runtime checking, runtime reflection, runtime analysis, dynamic analysis, symbolic dynamic analysis, trace analysis, log file analysis, etc. RV can be used for many purposes, such as program understanding, systems usage understanding, security or safety policy monitoring, debugging, testing, verification and validation, fault protection, behavior modification (e.g., recovery), etc. A running system can be abstractly regarded as a generator of execution traces, i.e., sequences of relevant states or events. Traces can be processed in various ways, e.g., checked against formalized specifications, analyzed with special algorithms, visualized, etc. Topics of interest include, but are not limited to: - program instrumentation techniques - specification languages for writing monitors - extraction of monitors from specifications; APIs for writing monitors - programming language constructs for monitoring - model-based monitoring and reconfiguration - the use of aspect oriented programming for dynamic analysis - algorithmic solutions to minimize runtime monitoring impact - combination of static and dynamic analysis; full program verification based on runtime verification - intrusion detection, security policies, policy enforcement - log file analysis - model-based test oracles - observation-based debugging techniques - fault detection and recovery, model-based integrated health management and diagnosis - program steering and adaptation - dynamic concurrency analysis - dynamic specification mining - metrics and statistical information gathered during runtime - program execution visualization The RV series of events started in 2001, as an annual workshop. The RV'01 to RV'05 proceedings were published in ENTCS. Since 2006, the RV proceedings have been published in LNCS. Starting with year 2010, RV is an international conference. Links to past RV events can be found at the permanent URL http://runtime-verification.org. INVITED SPEAKERS * Mike Barnett, Microsoft Research, USA * Rance Cleaveland, University of Maryland, USA * Matthew Dwyer, University of Nebraska, USA * Martin Odersky, EPFL, Switzerland * Wim de Pauw, IBM, USA * R. Sekar, Stony Brook University, USA Talk titles are available on RV 2010 web page. PAPER SUBMISSION RV will have two research paper categories: regular and short papers. Papers in both categories will be reviewed by the conference Program Committee. - Regular papers (up to 15 pages) should present original unpublished results. Applications of runtime verification are particularly welcome. A Best Paper Award (300 Euro) will be offered. Selected papers will be published in an issue of Formal Methods in System Design. - Short papers (up to 5 pages) may present novel but not necessarily thoroughly worked out ideas, for example emerging runtime verification techniques and applications, or techniques and applications that establish relationships between runtime verification and other domains. Accepted short papers will be presented in special short talk (5-10 minutes) and poster sessions. In addition to short and regular papers, proposals for tutorials and tool demonstrations are welcome. Proposals should be up to 2 pages long. - Tutorial proposals on any of the topics above, as well as on topics at the boundary between RV and other domains, are welcome. Accepted tutorials will be allocated up to 15 pages in the conference proceedings. Tutorial presentations will be at least 2 hours. - Tool demonstration proposals should briefly introduce the problem solved by the tool and give the outline of the demonstration. Tool papers will be allocated 5 pages in the conference proceedings. A Best Tool Award (200 Euro) will be offered. Submitted tutorial and tool demonstration proposals will be evaluated by the corresponding chairs, with the help of selected reviewers. All accepted papers, including tutorial and tool papers, will appear in the LNCS proceedings. Submitted papers must use the LNCS style. At least one author of each accepted paper must attend RV'10 to present the paper. Papers must be submitted electronically using the EasyChair system. A link to the electronic submission page is available on the RV'10 web page. IMPORTANT DATES May 1, 2010 - Submission of tutorial proposals May 15, 2010 - Notification for tutorial proposals June 1, 2010 - Submission of regular and short papers June 15, 2010 - Submission of tool demonstration proposals July 13, 2010 - Notification for regular, short, and tool papers August 17, 2010 - Camera-ready versions of accepted papers are due ORGANIZERS General chairs: Howard Barringer (University of Manchester, UK) Klaus Havelund (NASA JPL, USA) Insup Lee (University of Pennsylvania, USA) Programme committee chairs: Grigore Rosu (University of Illinois at Urbana-Champaign, USA) Oleg Sokolsky (University of Pennsylvania, USA) Local organization chair: Gordon Pace (University of Malta, MT) Tutorials chair: Bernd Finkbeiner (Saarland University, DE) Tool demonstrations chair: Nikolai Tillmann (Microsoft Research, USA) Publicity chair: Ylies Falcone (INRIA Rennes, FR) PROGRAMME COMMITTEE Jamie Andrews (University of Western Ontario, Canada) Thomas Ball (Microsoft Research Redmond, USA) Saddek Bensalem (Verimag, France) Eric Bodden (Technical University Darmstadt, Germany) Rance Cleaveland (University of Maryland, USA) Mads Dam (KTH, SE) Matthew Dwyer (University of Nebraska, USA) Bernd Finkbeiner (Saarland University, Germany) Cormac Flanagan (University of California at Santa Cruz, USA) Jean Goubault-Larrecq (ENS Cachan, France) Patrice Godefroid (Microsoft Research Redmond, USA) Susanne Graf (Verimag, France) Radu Grosu (State University of New York at Stony Brook, USA) Lars Grunske (Swinburne University of Technology, Australia) Rajiv Gupta (University of California at Riverside, USA) John Hatcliff (Kansas State University, USA) Mats Heimdahl (University of Minnesota, USA) Sarfraz Khurshid (University of Texas at Austin, USA) Kim Larsen (Aalborg University, Denmark) Martin Leucker (Technical University Muenchen, Germany) Paul Miner (NASA Langley, USA) Brian Nielsen (Aalborg University, Denmark) Klaus Ostermann (University of Marburg, Germany) Corina Pasareanu (NASA Ames, USA) Doron Peled (Bar Ilan University, Israel) Martin Rinard (Massachussets Institute of Technology, USA) Greg Morrisett (Harvard University, USA) Wolfram Schulte (Microsoft Research Redmond, USA) Koushik Sen (University of California at Berkeley, USA) Peter Sestoft (University of Copenhagen, Denmark) Scott Smolka (State University of New York at Stony Brook, USA) Serdar Tasiran (Koc University, Turkey) Willem Visser (University of Stellenbosch, South Africa) Mahesh Viswanathan (University of Illinois at Urbana-Champaign, USA) Brian Williams (Massachusetts Institute of Technology, USA) From anicet.yalaho at jyu.fi Tue Apr 6 10:14:57 2010 From: anicet.yalaho at jyu.fi (Anicet Yalaho) Date: Tue, 6 Apr 2010 11:14:57 +0300 (EEST) Subject: [ecoop-info] ICSOB 2010 - Call for Workshop Papers: Global Outsourcing of Software Development] Message-ID: <4286.130.234.164.117.1270541697.squirrel@webmail3.cc.jyu.fi> Dear Colleagues, The ICSOB 2010 pre conference workshop track on Global Outsourcing of Software Development will be held on 21st of June 2010 in Jyvaskyla Finland. Please, consider contributing to the ICSOB workshop on Global Outsourcing of Software Development and distributing this Call for Papers among your colleagues. More information about the call for papers is available at http://www.icsob.org/wsn/cfp.html If you have any question, please do not hesitate to contact us. The length of the paper is 6 pages. All submitted papers are subject to a double-blind review process. All accepted papers for this workshop are published at ceur-ws.org/ and in the workshop proceedings on CD-ROM. Papers to this workshop should be submitted to nazmun.nahar at icsob.org Important dates Workshop papers submission: April 15, 2010 Notification of acceptance: April 30, 2010 Final camera-ready copies: May 28, 2010 The background and goal of this workshop The main goal of this workshop is intended to provide a forum for the discussion of current and emerging topics from the field of global outsourcing of software development. This workshop is designed for academics, scholars and practitioners. High-quality research and practice papers are welcome, including theoretical, empirical and analytical studies on global outsourcing of software development from the service provider?s and client?s viewpoints. Empirical papers can be from widely studied countries and least studied countries. Topics of interest may include, but are not limited to, the following: ? Different strategies for global outsourcing ? New types of outsourcing business models ? The key challenges associated with each particular global outsourcing business model and their practical solutions ? Global outsourcing business models innovation ? Managing multi-sourcing engagements ? Approaches to develop outsourcing relationships with the service providers of least known or unknown destinations ? Strategies for long-lasting outsourcing relationships ? New types of outsourcing partnership formation ? Requirements analysis in distributed software development ? Virtual teams management in distributed software development ? Intellectual property rights protection ? Mechanisms for conflicts management ? Roles of and impacts on cloud computing in global outsourcing ? Knowledge engineering, discovery, transfer and management in global outsourcing Workshop Chair: Nazmun Nahar, University of Jyvaskyla, Finland Workshop Program Committee: Donald R. Chand, Bentley University, USA Nitya Karmakar, Curtin University of Technology, Australia Slinger Roijackers, Utrecht University, The Netherlands Veikko Sepp?nen, Elektrobit Corporation and University of Oulu, Finland Pasi Tyrv?inen, University of Jyvaskyla, Finland Juhani Warsta, University of Oulu, Finland Anicet Yalaho, University of Jyvaskyla, Finland Kind regards, Anicet Y. -- Dr. Anicet Yalaho Senior Researcher Faculty of Information Technology Information Technology Research Institute(ITRI) University of Jyv?skyl? Mattinlanniemi 2, Agora, 5th Floor FI-40014 University of Jyv?skyl?, Finland Tel Office: ++358 14 260 4625 Mobile: ++358 50 428 5304 Fax:++358 14 260 2544 Email: anicet.yalaho at jyu.fi Skype: lemanois96 From rnitendra at in.ibm.com Tue Apr 6 13:27:18 2010 From: rnitendra at in.ibm.com (Nitendra Rajput) Date: Tue, 6 Apr 2010 16:57:18 +0530 Subject: [ecoop-info] CFP: SiMPE Workshop at MobileHCI, Lisbon (Submission Deadline: May 7th) Message-ID: Call for Papers 5th Workshop on Speech in Mobile and Pervasive Environments (in conjunction with ACM MobileHCI 2010) Lisbon, Portugal September 7, 2010 http://research.ihost.com/SiMPE/ Organisers ? Amit A. Nanavati, IBM Research, India. ? Nitendra Rajput, IBM Research, India.. ? Alexander I. Rudnicky, Carnegie Mellon University, USA. ? Markku Turunen, University of Tampere, Finland. ? Andrew Kun, University of New Hampshire, USA. ? Tim Paek, Microsoft Research, USA. ? Ivan Tashev, Microsoft Research, USA. Topics of Interest All areas that enable, optimize or enhance speech in mobile and pervasive environments and devices: v Speech Interfaces/Applications for Developing Regions v Speech User Interaction in Cars v Multilingual Speech Recognition v Robust Speech Recognition in Noisy and Resource-Constrained Environments v Memory/Energy Efficient Algorithms v Multimodal User Interfaces v Protocols and Standards for Speech Applications v Mobile Application Adaptation and Learning v Design and Usability Testing of Mobile Interfaces v User Modelling Submissions We seek original, unpublished papers in the following three categories: (a) Position papers (b) Early results or work-in-progress, or, (c) Full papers. Papers should be of 4-8 pages in length in the MobileHCI publication format. The LaTeX and Microsoft Word templates are available at the ACM Template site. All submissions should be in the PDF format and should be submitted electronically through the workshop submission web site, http://www.easychair.org/conferences/?conf=simpe10. The best paper (extended if applicable) from the workshop will appear in a special issue of the International Journal of Mobile Human Computer Interaction (IJMHCI)! Demo Submissions At SiMPE 2010, we also invite submissions for interesting demos. Any prototype or demos on the phone or a device are encouraged to for submission. A 1-page description of the demonstration in the above format is required by the submission deadline. The 1-page description should provide specific details about the demo, the device and how this will be presented at the workshop. If the authors needs specific arrangements to be made at the workshop day, that also needs to be specified. We also welcome participation without paper submission. Note: Since the workshop also aims to be a meeting point for researchers working in this area, at least one author of accepted papers has to attend the workshop to present their work, else the paper will not be included in the final workshop proceedings. Participants who wish to attend the workshop will have to register for the main conference as well. For any comments regarding submissions and participation, contact: namit AT in DOT ibm DOT com, rnitendra AT in DOT ibm DOT com, andrew.kun AT unh DOT com. Seed Questions ? Speech Recognition o How do we improve speech recognition in noisy environments ? o How do we construct speech systems with small footprints of memory and power consumption ? ? Interaction o How do we perform dialogue management when devices are multi-modal or users are multi-tasking ? o How do we users converse with each other through mobile devices, and to mobile devices ? o What is the right design methodology for developing speech applications ? o What are the usability issues with speech on mobile devices ? o Are there any cultural differences in the way different societies use speech on mobile devices ? ? Intelligence o How can we make voice UIs flexible and adaptive ? o How do we make such devices adapt automatically to the user, task and environment ? o How can we leverage context (such as location) to make more intelligent UIs that reduce the cognitive burden of semi-literate/illiterate users ? o Are there any novel and easier ways to handle multiple languages and dialects ? o How do we construct speech systems with small footprints of memory and power consumption ? o How can we distribute processing more efficiently given the increased available computing power on handhelds ? How do we trade this off with a remote server to conserve energy ? o What are the right learning models for such settings ? ? Applications and Architectures o What novel applications and services can be deployed on such devices ? o What does the architecture of future systems looks like ? o What kind of components and frameworks should be built to enable rapid application creation ? o How can we design scalable speech applications? Key Dates ? Submission Deadline: May 7, 2010 (11:59 PM Lisbon Time) ? Notification of Acceptance: May 21, 2010 ? Early Registration Deadline: TBA ? Workshop: 9:00AM -- 5:30PM, September 7, 2010 From jrromero at uco.es Wed Apr 7 10:08:35 2010 From: jrromero at uco.es (=?windows-1252?Q?Jos=E9_Ra=FAl_Romero?=) Date: Wed, 07 Apr 2010 10:08:35 +0200 Subject: [ecoop-info] CfP - 6th Intl. Workshop on ODP for Enterprise Computing (WODPEC 2010) @ EDOC 2010 Message-ID: <4BBC3D83.4090003@uco.es> 6th International Workshop on ODP for Enterprise Computing (WODPEC 2010) ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ In conjunction with the 14th IEEE EDOC 2010 (?The Enterprise Computing Conference?) October 2010, Vit?ria, Brazil ~~ http://www.rm-odp.net/events/wodpec2010 ~~ ABOUT THE WORKSHOP ------------------ The RM-ODP standard (ISO/IEC 10746 | ITU-T Rec. X.901-X.904, Reference Model of Open Distributed Processing) provides a comprehensive and coherent framework of concepts for the specification of complex large scale IT systems. It has taken on a new significance in the light of the Model-Driven Architecture (MDA) initiative from the OMG, the wide-scale adoption of Service-Oriented Architectures (SOA) and the emerging concepts of Enterprise Architecture. Major companies and organizations are starting to use RM-ODP as an effective approach for structuring their large-scale distributed IT system specifications. Work on ODP is entering a new phase. From a practical point of view, there are issues related to modeling techniques and notations. The standard ISO 19793, UML4ODP, has recently been published, and there is a need to exchange experience with its use and information on tools that support it. There is also a need to identify other notations able to support specific ODP viewpoints, such as SysML, and to report on the techniques for integrating specification fragments expressed in different notations. In ISO, a study is underway to examine more powerful techniques for expressing policies and related concepts such as obligations, permissions and prohibitions. WODPEC will provide a forum for presenting the latest thinking in this area and for the presentation of potential solutions. There are also plans for future ISO activities to show how the ODP ideas can be applied to facilitate the processes of Data Design, System Planning and in the incorporation of off-the-shelf and legacy components. Quality of Service is another topic that is attracting a lot of attention in SOA and cloud systems, and which is part of the planned activities. The workshop will provide an opportunity to focus thinking in these areas. Since tool support for ODP system specifications is paramount to support the practical application of the RM-ODP framework demonstrations of such tools are warmly welcome for presentation at the workshop. Relevant tools include viewpoint language editors, viewpoint correspondence management tools, model analyzers, code generators, viewpoint model repositories, etc. The advent of the MDE and the proliferation of modeling languages and tools have provided an excellent environment for the development of tools for ODP system specifications. With regard to the relationship of the RM-ODP with other frameworks and methodologies, there are issues concerning development methods and processes, and current and emerging architectural approaches. How can an approach based on the RM-ODP accommodate architectural approaches such as Service Oriented Architecture (SOA), the Component-based Architecture (CBA), and the Event Driven Architecture (EDA)? Can it accommodate aspect-oriented development approaches? Can it be successfully integrated into development processes such as RUP? What is the relationship of the RM-ODP to enterprise architectural frameworks such as TOGAF, DoDAF, Archimate? WODPEC 2010 aims to continue to provide a discussion forum where researchers, practitioners, system modelers, tool developers and representatives of standardization bodies can meet and exchange experiences, problems and ideas related to the ODP framework for system specification, its practical application and long term evolution, and its use in conjunction with other architectural practices and approaches (e.g., MDA, SOA, CBA, EDA) in the realm of Enterprise Distributed Computing. TOPICS ------ Topics of interest include, but are not limited to: RM-ODP system specifications: - conceptual and formal foundations of the RM-ODP; - the relationship of an ODP enterprise specification to, and its integration with, more general business models or Enterprise Architectures; - specification for the management of enterprise federations; - specification of business rules, policies and system evolution; - specification of policy; - specification of security and system management; - the impact of developments in technology on the ODP computational, engineering and technology languages; - the use of ODP for specific application domains (finance, telecomms, health care, aerospace, utility, etc.); - identification and management of correspondences between viewpoints; Use of UML: - Experience using the UML4ODP profiles to represent ODP concepts; - formal semantics for UML Profiles for the representation of ODP concepts; - representation of viewpoint correspondences using UML; - the industrial adoption of UML for ODP system specification; - use of domain-specific or general purpose modelling languages other than UML for ODP system specification. Development practices/approaches and RM-ODP: - relationship of the RM-ODP approach to, and its integration with, the MDA; - relationship of the RM-ODP approach to, and its integration with, architectural approaches such as SOA, CBA, EDA and aspect-oriented development; - relationship of the RM-ODP approach to, and its integration with, development processes such as RUP; - relationship of the RM-ODP approach to enterprise architectural frameworks such as TOGAF or DoDAF. Tool support for Enterprise Architecture: - requirements on supporting tools or tool chains (currently in use or under development); - MDD tools for ODP system specifications. Case studies and experiences - examples of the application of the RM-ODP approach to the specification of IT systems, in particular large-scale distributed systems; - teaching the system of RM-ODP concepts to students, especially to graduate (experienced) students, not only in IT but also in IS, MBA, and other programs. SUBMISSION GUIDELINES AND WORKSHOP FORMAT ----------------------------------------- To enable lively and productive discussions, attendance will be limited to 25 participants. Priority will be given to those who submit a paper or position statement. All submissions will be formally peer reviewed. Submissions should be 4 to 10 pages long in IEEE Computer Society Proceedings format (http://www2.computer.org/portal/web/cscps/formatting) and include the authors? names, affiliations and contact details. Papers can be submitted either as short (4 pages) or full papers (up to 10 pages). They should be submitted by e-mail as PDF files before 17 April 2010, using the Easychair system: http://www.easychair.org/conferences/?conf=wodpec2010 Authors will be notified of acceptance by 4 June 2010. At least one author of accepted papers should register and participate in the Workshop. Accepted papers will be published in the IEEE Digital Library. A selection of the best papers of the workshop will be invited to submit extended versions to the special issue of a journal about ?RM-ODP for Enterprise Computing? (currently in negotiation). The duration of the workshop is one day. The workshop will be divided into two main sessions (morning and afternoon). The first session will be dedicated to the brief presentation of papers, initial discussions, and the joint identification of specific issues that participants consider to be of particular relevance and deserving further joint analysis. These issues will be discussed in groups during the afternoon, closing the workshop with a one-hour wrap-up session dedicated to drawing the workshop?s conclusions, identifying the open issues, and outlining some future work. IMPORTANT DATES --------------- Paper submission deadline: 17 April 2010 Paper acceptance notification: 4 June 2010 Camera ready papers due: 16 June 2010 Workshop days: 25 or 26 October 2010 (to be determined) ORGANISING COMMITTEE -------------------- Peter F. Linington, University of Kent (UK) Jos? Ra?l Romero, University of C?rdoba (Spain) Antonio Vallecillo, University of M?laga (Spain) PROGRAM COMMITTEE ----------------- Jo?o Paulo A. Almeida, Federal University of Esp?rito Santo (Brazil) Jean B?rub?, Idigenic (Canada) Haim Kilov, Stevens Institute of Technology (US) Lea Kutvonen, University of Helsinki (Finland) Peter F. Linington, University of Kent (UK) Arve Meisingset, Telenor (Norway) Zoran Milosevic, Deontik (Autralia) Hiroshi Miyazaki, Fujitsu (Japan) Jos? Ra?l Romero, University of C?rdoba (Spain) Marten van Sinderen, University of Twente (The Netherlands) Maarten Steen, Novay (The Netherlands) Akira Tanaka, Hitachi (Japan) Bruno Traverson, EDF R&D (France) Antonio Vallecillo, University of M?laga (Spain) Alain Wegmann, EPFL (Switzerland) Bryan Wood, Agile Enterprise Ltd (UK) Takahiro Yamada, JAXA (Japan) ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ For further information about the WODPEC 2010 workshop, please visit the workshop site (http://www.rm-odp.net/events/wodpec2010), or send an e-mail to wodpec at lcc.uma.es -- -------------------------------------- Dr. Jos? RA?L ROMERO Dpt. Computer Science University of C?rdoba, Spain URL. http://www.jrromero.net/en -------------------------------------- From jrromero at uco.es Thu Apr 8 13:23:35 2010 From: jrromero at uco.es (=?windows-1252?Q?Jos=E9_Ra=FAl_Romero?=) Date: Thu, 08 Apr 2010 13:23:35 +0200 Subject: [ecoop-info] Call for Workshop Papers @ EDOC 2010: "The Enterprise Computing Conference" Message-ID: <4BBDBCB7.7000604@uco.es> Fourteenth IEEE International EDOC Conference (IEEE EDOC 2010) "The Enterprise Computing Conference" ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ Sponsored by IEEE Computer Society (approval pending) and by IEEE Communications Society Supported by OMG and The Open Group In-cooperation with ACM SIGSOFT and ACM SIGAPP 25-29 October 2010, Vit?ria, ES, Brazil http://edoc2010.inf.ufes.br/workshops CALL FOR WORKSHOP PAPERS ~~~~~~~~~~~~~~~~~~~~~~~~~~ *** Workshop paper submission deadline: 17 April 2010 *** ABOUT THE CONFERENCE ~~~~~~~~~~~~~~~~~~~~~~~~~~ The IEEE EDOC Conference is the key annual event in enterprise computing. EDOC conferences address the full range of engineering technologies and methods contributing to intra- and inter-enterprise distributed application systems. EDOC 2010 will be the fourteenth event in the series of conferences. Since 1997, EDOC has brought together leading computer science researchers, IT decision makers, IT architects, solution designers and practitioners to discuss enterprise computing challenges, models and solutions from the perspectives of academia, industry and government. Enterprise computing is based on a wide (and ever growing) range of methods, models, tools and technologies. The resulting applications also cover a broad spectrum of vertical domains and industry segments, from electronic and mobile commerce to real-time business applications for collaborating enterprises. In recent years, technologies related to business processes integration, management, execution and monitoring have become some of the top areas of interest in enterprise computing. Today, the creation, operation and evolution of enterprise computing systems create challenges that range from high-level requirements and policy modeling to the deployment and maintenance of solutions in and across customer businesses. The IEEE EDOC Conference emphasizes a holistic view on enterprise applications engineering and management, fostering integrated approaches that can address and relate processes, people and technology. The themes of openness and distributed computing, based on services, components and objects, provide a useful and unifying conceptual framework. IEEE EDOC 2010 welcomes high quality scientific submissions as well as papers on enterprise computing industry experiences. Expert panel discussions and keynotes will address hot topics and issues in the domain. IEEE EDOC 2010 will be realized in Vit?ria, ES, Brazil. Vit?ria is one of the three island capitals of Brazilian states, and is located in the Southeastern region, the most developed of Brazil. The city lies between the Atlantic Ocean and the Serra do Mar mountain range and is strategically located close to the big urban centres of the country and is, on average, an hour by plane from Rio de Janeiro and S?o Paulo. We are glad to announce keynote speeches by Prof. Dr. David Harel (The William Sussman Professorial Chair at the Dept. of Computer Science and Applied Mathematics, The Weizmann Institute of Science) and Prof. Dr. David Luckham (Professor Emeritus of Electrical Engineering, Stanford University). Check http://edoc2010.inf.ufes.br/keynotespeakers for further information. WORKSHOPS ~~~~~~~~~~~~~~~~~~~~~~~~~~ Workshops complement IEEE EDOC's main scientific program with presentations and discussions of both mature and preliminary project results, ideas, experiences, and knowledge in a way that is more interactive and more focused than paper sessions in the main conference program. To foster this interactivity and focus, workshops target a narrower range of topics. Workshop proceedings will be published by the IEEE Computer Society and included in the IEEE Computer Society Digital Library (CSDL) and the IEEE Xplore. Papers should be submitted before 17 April 2010. The workshops held in conjunction with EDOC 2010 are as follows: * Joint 5th International Workshop on Vocabularies, Ontologies and Rules for The Enterprise (VORTE 2010) - International Workshop on Metamodels, Ontologies and Semantic Technologies (MOST 2010): The objective of VORTE-MOST 2010 is to bring together researchers and practitioners interested in the relation between ontology and information models, and theoretical topics such as formal ontology, formal logics, conceptual modelling, enterprise computing, computational linguistics, cognitive science, knowledge representation, the Semantic Web, and MDE (Model-Driven Engineering), as well as more practical topics as a result of applications of ontologies in diverse fields, such as knowledge management, informatics for education, ontology-based information and database integration, information processing (retrieval, classification and extraction). For more information please visit http://edoc2010.inf.ufes.br/vorte2010. * 3rd International Workshop on Dynamic and Declarative Business Processes (DDBP 2010): This workshop will be an opportunity for participants to exchange opinions, advance ideas, and discuss preliminary results on current topics related to dynamic and declarative business processes and on supporting business process evolution. A particular interest will be taken in bridging theoretical research and practical issues. To this end, contributions stating open problems, case studies, tool presentations, or any other work assessing the practical significance of dynamic and declarative business processes by means of concrete examples and situations, will be particularly welcome. For more information please visit http://edoc2010.inf.ufes.br/ddbp2010. * International Workshop on Models and Model-driven Methods for Service Engineering (3M4SE 2010): This workshop aims at helping the convergence of research on model-driven development and practical application of the model-driven approach in the area of enterprise computing and service engineering. The workshop addresses questions with respect to the requirements on, concepts for, properties of and experience with models and model-driven methods for service engineering in the area of enterprise computing. A special focus will be on the combined application of model-driven and semantic approaches in the different phases of the service lifecycle. For more information please visit http://edoc2010.inf.ufes.br/3m4se2010. * 6th International Workshop on ODP for Enterprise Computing (WODPEC 2010): WODPEC aims to continue to provide a discussion forum where researchers, practitioners, system modelers, tool developers and representatives of standardization bodies can meet and exchange experiences, problems and ideas related to the ODP framework for system specification, its practical application and long term evolution, and its use in conjunction with other architectural practices and approaches (e.g., MDA, SOA, CBA, EDA) in the realm of Enterprise Distributed Computing. For more information please visit http://edoc2010.inf.ufes.br/wodpec2010. * International Workshop on Goal-based Business Process Engineering (WGBP 2010): WGBP aims to bring together researchers and practitioners in the areas of goals and business process engineering to discuss how these two complementary areas may be integrated and further developed. This way, goals could be applied as a natural modeling construct to capture the requirements of a system to-be and to motivate business processes that underlie organizations. For more information please visit http://edoc2010.inf.ufes.br/wgbp2010. * 2nd International Workshop on Service-oriented Enterprise Architecture for Enterprise Engineering (SoEA4EE 2010): This workshop will focus on research in the area of alignment of the enterprise goals and strategy with the service-oriented enterprise architecture, design of service-oriented enterprise architecture and mapping of service-oriented enterprise architecture to enterprise resources. For more information please visit http://edoc2010.inf.ufes.br/SoEA4EE2010. IMPORTANT DATES ~~~~~~~~~~~~~~~~~~~~~~~~~~ Workshop paper submission due: 17 April 2010 Workshop paper notification: 4 June 2010 Workshop paper camera-ready paper due: 16 June 2010 SUBMISSION GUIDELINES ~~~~~~~~~~~~~~~~~~~~~~~~~~ The EDOC workshops welcome submissions of full papers (8 to 10 pages long) and position papers (around 4 pages) in the IEEE Computer Society format. Full research papers should describe original results that have not been accepted or submitted for publication elsewhere. These papers will be evaluated for scientific or technical contribution, originality, appropriateness and significance. Position papers should describe new insights gained, should define new problems or research directions and/or and pose challenges for researchers. These papers will be evaluated based on their appropriateness, significance, clarity and on their potential to trigger interesting discussions on the day of the workshop. All submissions must be in English and must comply with the IEEE Computer Society conference proceedings format guidelines (http://www2.computer.org/portal/web/cscps/formatting). Please use the latest template as there have been updates recently. All papers should be submitted in PDF format. Please visit the workshops? home pages for precise instructions regarding the system used for the submission (e.g., EasyChair, e-mail). All papers will be refereed by at least 3 members of the workshops? international program committees. At least one author of each accepted paper must participate in the workshop where the paper was accepted and register for the whole conference. Accepted papers will be included in the workshops proceedings (published after the conference by the IEEE Computer Society Press) and will be accessible through IEEE Xplore and the IEEE Computer Society Digital Library. The IEEE reserves the right to exclude a paper from distribution after the conference (e.g., removal from IEEE Xplore) if the paper is not presented at the workshop. IEEE EDOC ORGANIZING COMMITTEE ~~~~~~~~~~~~~~~~~~~~~~~~~~ General Chair: Jo?o Paulo A. Almeida (Fed. Univ. of Espirito Santo, Brazil) Program Chairs: Giancarlo Guizzardi (Fed. Univ. of Espirito Santo, Brazil) Lea Kutvonen (University of Helsinki, Finland) Workshops Chair: Maria-Eugenia Iacob (University of Twente, The Netherlands) Finance Chair: Roberta Lima Gomes (Fed. Univ. of Espirito Santo, Brazil) Publicity Chairs: Jos? Ra?l Romero (University of Cordoba, Spain) Dragan Gasevic (Athabasca University, Canada) IEEE EDOC STEERING COMMITTEE ~~~~~~~~~~~~~~~~~~~~~~~~~~ Colin Atkinson, Chair (University of Mannheim, Germany) Barrett Bryant (University of Alabama-Birmingham, USA) Dirk Draheim (University of Auckland, New Zealand) Keith Duddy (Queensland University of Technology, Australia) Patrick C. K. Hung (University of Ontario Institute of Technology, Canada) Peter F. Linington (University of Kent, UK) Zoran Milosevic (Deontik, Australia) Donald W. Sparrow, Jr. (MITRE Corporation, USA) Marcus Spies (Ludwig-Maximilians University, Germany) Maarten Steen (Novay, Netherlands) Marten J. Van Sinderen (University of Twente, Netherlands) Gerald Weber (University of Auckland, New Zealand) Note: EDOC Workshop inquiries should be sent to EDOC's workshops chair Maria-Eugenia Iacob (m.e.iacob (at) utwente.nl) Other inquires should be sent to the general chair, Jo?o Paulo A. Almeida (jpalmeida (at) ieee.org) -- -------------------------------------- Dr. Jos? RA?L ROMERO University of C?rdoba, Spain URL. http://www.jrromero.net -------------------------------------- From publicwang09 at gmail.com Wed Apr 7 07:10:17 2010 From: publicwang09 at gmail.com (ICDKE2010) Date: Wed, 7 Apr 2010 15:10:17 +1000 Subject: [ecoop-info] ICDKE 2010 CFP, September 1-3, Melbourne, Australia Message-ID: Dear Author, Call for Paper: 2010 International Conference on Data and Knowledge Engineering (ICDKE) Melbourne, Australia 1-3 September 2010 http://www.sci.usq.edu.au/conferences/ICDKE/index.html The International Conference on Data and Knowledge Engineering (ICDKE) is a leading international forum for researchers, developers, and end-users to explore cutting-edge ideas and results, and to exchange techniques. The missions of ICDKE are to share novel research solutions to problems of today's information society that fulfill the needs of heterogeneous applications and environments and to identify new issues and directions for future research and development work. ICDKE seeks submissions from academia and industry presenting research on all practical and theoretical aspects of advanced data-intensive applications, data and knowledge engineering as well as case studies and implementation experiences. All topic areas related to data and knowledge engineering are of interest and in scope. ICDKE gives researchers and practitioners a unique opportunity to share their perspectives with others interested in the various aspects of engineering. The scope of ICDKE will be broad and will encompass diverse topics in data and knowledge management. The topics of interest to ICDKE include (but are not limited to): Data Models and Languages Database Indexing and Search Query Processing and Optimization Data Mining and Knowledge Discovery Semi-structured and Unstructured Data Management Data Quality Data Integration Information Extraction and Retrieval Data Privacy and Security Workflows and Data Provenance Performance of Data Management Web Services and Semantic Web Web Intelligence P2P, Mobile and Ubiquitous Data Management Fuzzy, Uncertain and Probabilistic Databases Scientific Databases Spatial, Temporal & Multimedia Databases Stream Databases Parallel and Distributed Databases Grid and Cloud Computing Bioinformatics and Health Informatics Enterprise and Business Data Management Knowledge Acquisition & Management Knowledge-based and Expert Systems Submission Guidelines To submit your paper, please go to the submission page. Submitted papers must not substantially overlap with papers that have been published or that are simultaneously submitted to a journal or a conference with proceedings. Papers must be clearly presented in English, must not exceed 8 pages, including tables, figures, references and appendixes, in IEEE CS proceedings 8.5" x 11" Two-Column Format, with Portable Document Format (.pdf). Papers will be selected based on their originality, timeliness, significance, relevance, and clarity of presentation. Submission of a paper should be regarded as a commitment that, should the paper be accepted, at least one of the authors will register and attend the conference to present the work. ICDKE 2010 and IEEE reserve the right to exclude a paper from distribution after the conference (e.g., removal from IEEE Xplore and EI index) if the paper is not presented at the conference. Submission Page: https://www.easychair.org/login.cgi?conf=icdke2010 Special Journal Issues: The best selected papers will be considered for publication in some prestigious journals. The journals will be announced soon. Important Dates Submission Deadline: April 15, 2010 Authors Notification: May 15, 2010 Final Manuscript Due: June 15, 2010 Organization Committee Program Chairs R.Nadarajan, PSG College of Technology, Indian Maabout, Sofian, University of Bordeaux, France Hua Wang, University of Southern Queensland, Australia Website Management Chair Ji Zhang, University of Southern Queensland, Australia Financial Chair Georgi Cahill, Deakin University, Australia Local Organization Chairs Shawkat Ali, Central Queensland University, Australia Jianming Yong, University of Southern Queensland, Australia Publicity Chairs S Ramasamy, Computer Society of India, India Lili Sun, University of Southern Queensland, Australia Program Committee Qigang Gao, Dalhousie University, Canada Hai Wang, Saint Mary's University, Canada Yezheng Liu, Hefei University of Technology, China Emily X. Zhou, CSIRO ICT Centre, Australia Shaoquan Jiang, University of Calgary, Canada Robert M. Bruckner, Microsoft, USA Han Liu, Carnegie Mellon University, USA Xiaohui Yu, York University, Canada Liping Ji, Harbin Institute of Technology, China Malcolm Heywood, Dalhousie University, Canada Jin Chen, Michigan State University, USA Ken Pu, Ontario Institute of Technology, Canada Niu Nan, Mississippi State University, USA Kai Xu, Australian National University, Australia James Bailey, University of Melbourne, Australia lizhen Xu, Southeast University, China Kok-Leong Ong, Deakin University, Australia Gao Cong, Aalborg University, Denmark Paulo deSouza, CSIRO ICT Centre, Australia Yi Zhang, Sichuan University, China Pin-Han Ho, University of Waterloo, Canada Zhiguo Gong, University of Macau, China Omar Hussain, Curtin University of Technology, Australia Xiaodong Lin, University of Ontario Institute of Technology, Canada Stijn Dekeyser, University Of Southern Queensland, Australia Yongbing Zhang, University of Tsukuba, Japan Xiaohong Jiang, Tohoku University, Japan Jiuyong Li, University of South Australia, Australia Hongwei (David) Du, Illinois Institute of Technology, USA Ping Li, Beijing University of Astronautics and Aeronautics, China Adam Jatowt, Kyoto University, Japan Abdul Hafeez-Baig, University Of Southern Queensland, Australia Jingzhi Guo, University of Macau, China JIA Xiaohua, Hong Kong City University, China Raj Gururajan, University Of Southern Queensland, Australia Maabout, Sofian, University of Bordeaux, France Frasincar, Flavius, Erasmus University Rotterdam, Netherlands Jan Hidders, TUDelft, Netherlands Contact: Associate Professor Hua Wang Department of Mathematics and Computing University of Southern Queensland Toowoomba, QLD 4350 Australia Email: Hua.Wang at usq.edu.au From tedsaid at gmail.com Thu Apr 8 06:42:34 2010 From: tedsaid at gmail.com (Ted Carmichael) Date: Thu, 8 Apr 2010 00:42:34 -0400 Subject: [ecoop-info] Call for Papers: 2010 AAAI CAS Fall Symposium Message-ID: **Please note: in order to avoid bothering you all with unwanted email (or, at least, to minimize this), this message - and subsequent updates - will not be sent again to this particular email list. Please sign up through our website if you would like to receive occasional updates.** --------------------------------------- *AAAI 2010 CAS Symposium:* November 11-13, Arlington, VA, USA *Call for Papers:* Due date - May 31st. *Synopsis: Companies, societies, markets, and people rarely stay in a stable, predictable state for long. Yet all these systems are characterized by the notable persistence of some key attributes which maintain their identities, even as their constituent parts change and adapt to new environments. What is it about these systems that define their identity? How do we characterize them? What are the forces that allow a system to persist, even in the face of turbulence and change?* We invite submission from the community of CAS researchers that address resilience, robustness, or evolvability in any of the Natural, Physical, or Social sciences. Papers may represent either complete work, or more speculative, in-progress results. Panel submissions are also invited. It is our belief that bringing together researchers and students from diverse fields will allow the free-flow of ideas across disciplinary boundaries. In this way, deep understanding in one domain can be leveraged to gain insight into others. Sincerely, Ted Carmichael co-Chair, 2010 AAAI CAS Symposium -------------- next part -------------- An HTML attachment was scrubbed... URL: http://web.satd.uma.es/pipermail/ecoop-info/attachments/20100408/53889cde/attachment.html From victor.khomenko at newcastle.ac.uk Thu Apr 8 20:59:55 2010 From: victor.khomenko at newcastle.ac.uk (victor khomenko) Date: Thu, 8 Apr 2010 19:59:55 +0100 Subject: [ecoop-info] CfPart: Joint ACSD'10 and Petri Nets'10 conference, Braga, Portugal, June 21-25 Message-ID: <9E16B147EA00CD468BC82A5E93487A013BBEE5C11B@EXSAN02.campus.ncl.ac.uk> *** Apologies for multiple copies due to cross-posting *** *** Please forward to colleagues who might be interested *** CALL FOR PARTICIPATION 10th International Conference on Application of Concurrency to System Design (ACSD'10) and 31st International Conference On Application and Theory of Petri Nets and Other Models of Concurrency (Petri Nets'10) Collocated in Braga, Portugal, June 21-25, 2010 Conference website: http://acsd-petrinets2010.di.uminho.pt/?page=Main Programme: http://acsd-petrinets2010.di.uminho.pt/?page=Programme REGISTRATION & ACCOMMODATION The registration is now open: http://acsd-petrinets2010.di.uminho.pt/?page=Registration Early registration deadline: May 15 Cancelation deadline: June 1 A hotel room can be reserved: http://acsd-petrinets2010.di.uminho.pt/?page=Accommodation INVITED SPEAKERS - David Harel (Distinguished Carl Adam Petri Lecture) The Weizmann Institute of Science, Israel - Kim Guldstrand Larsen Aalborg University, Denmark - Gabriel Juh?s Slovak University of Technology, Slovak Republic - Maciej Koutny, Newcastle University, United Kingdom - Lars M. Kristensen Bergen University College, Norway TUTORIALS Decision-diagram techniques for the analysis of Petri nets Gianfranco Ciardo Analysis and Synthesis of (Web) Service Behavior Karsten Wolf, Kathrin Kaschner, Niels Lohmann, and Christian Stahl State space exploration of Coloured Petri Nets and the ASAP model checking platform Lars Michael Kristensen, Michael Westergaard SATELLITE WORKSHOPS Abstractions for Petri Nets and Other Models of Concurrency (APNOC) Organizers: Alexander Serebrenik and Natalia Sidorova. Biological Processes & Petri Nets (BioPPN) Organizers: Claudine Chaouiya and Monika Heiner. Applications of Region Theory (ART) Organizers: J?rg Desel and Alex Yakovlev. Foundations of Interface Technologies (FIT) Organizers: Beno?t Caillaud and Axel Legay. Petri Nets and Software Engineering (PNSE) Organizers: Michael Duvigneau and Daniel Moldt. Scalable and Usable Model checking for Petri nets and Other models of concurrency (SUMo) Organizers: Didier Buchs, Fabrice Kordon, Yann Thierry-Mieg, and Jeremy Sproston. TOOL EXHIBITION The Tool Exhibition consists of informal demonstrations for small groups/individuals without any scheduled talks. From zimmerth at cpsc.ucalgary.ca Wed Apr 7 16:19:10 2010 From: zimmerth at cpsc.ucalgary.ca (Tom Zimmermann) Date: Wed, 7 Apr 2010 07:19:10 -0700 Subject: [ecoop-info] Summer School on Mining Software Repositories - June 2010, Kingston, Canada Message-ID: <07AF7845-0309-436F-91C0-67A7215FC182@cpsc.ucalgary.ca> Summer School on Mining Software Repositories http://msrcanada.org/school/ June 9-12, 2010. Queen's University, Kingston, ON, Canada. Sponsored by MITACS. The Mining Software Repositories (MSR) field analyzes the rich data available in software repositories to uncover interesting and actionable information about software systems and projects. It has gained popularity since 2004 with the first instance of the MSR workshop (now conference) and continues to be one of the fastest growing fields in the area of software engineering. This summer school will provide students with opportunities to learn the background needed to excel in this emerging and important field. For researchers, the summer school offers a platform to discuss and collaborate on the future of the MSR field. The summer school is also an opportunity for industry to learn how to adopt MSR ideas in practice. The speakers are leading experts on MSR from academia and industry. "At the gateway to the 1000 Islands and the UNESCO designated Rideau Canal, Kingston is a city rich in history, culture, critically acclaimed attractions and cuisine. Kingston is the perfect backdrop to your next adventure. Visit Kingston today" (tourism.kingstoncanada.com) LECTURERS * Tim Menzies. West Virginia University, USA. * Audris Mockus. Avaya Labs Research, USA. * Tao Xie. North Carolina State University, USA. * Ahmed Hassan. Queen's University, Canada. * Daniel German. University of Victoria, Canada * Thomas Zimmermann. Microsoft Research, USA. For topics and a schedule visit the school's web-page: http://msrcanada.org/school/ REGISTRATION Registration is CAN $250 for students and faculty and CAN $450 for industry. Registration covers breaks, banquet, and reception. Students: Email one or two paragraphs describing your intent and research interests to the organizers at miningschool at gmail.com; optionally include slides or posters of your research. You will receive an acknowledgement email within three working days. (If not, contact the organizers directly.) You will get notice about whether you have been accepted to the summer school within two weeks. Due to limited spots, it is advisable for students to apply as soon as possible. The first round of acceptance notices will be send on May 3rd, 2010. Faculty and industry: To request the registration link, please contact the organizers at miningschool at gmail.com. ACCOMODATION During the summer, Queen's residences offer accommodation on the main campus. For reservations, contact Queen's Event Services (613) 533-2223, e-mail event.services (AT) queensu.ca, or you can book your accommodation online at https://housing.queensu.ca/reservations/ (select "MSR Summer School Accommodations" in the scroll down menu). The 2010 rates in a standard room (Victoria Hall) are $47.25 single, and $57.75 double, and in a premium room (Leggett Hall) $99 per night for a two bedroom unit. Your room includes bed linens, towels, soap, desk, free Internet (bring your own Ethernet cord) and housekeeping service. Rates are subject to the current rate of tax. WEB-PAGE http://msrcanada.org/school/ From eernst at cs.au.dk Sun Apr 11 00:31:23 2010 From: eernst at cs.au.dk (Erik Ernst) Date: Sun, 11 Apr 2010 00:31:23 +0200 Subject: [ecoop-info] CFP - MASPEGHI 2010 (1 Week) Message-ID: <31312580-E0DB-4DBE-A4B5-999C40DBEAB8@cs.au.dk> [Apologies if you receive multiple copies of this] ** NB: Deadline in approximately ONE WEEK ** Call for Papers for the MASPEGHI 2010 Workshop MechAnisms for SPEcialization, Generalization and inHerItance Associated with ECOOP 2010, Maribor, Slovenia MASPEGHI 2010 invites papers suitable for generating insight and discussion about mechanisms for specialization, generalization, code reuse, and inheritance, with the following important dates: - Paper submission: April 19, 2010 - Notification of acceptance: May 5, 2010 - ECOOP early registration deadline: May 10, 2010 - Workshop: June 22 Please note that registration must be done with ECOOP itself. For more information, please visit the workshop web site: http://www.i3s.unice.fr/maspeghi2010/ -- Erik Ernst - eernst at cs.au.dk Department of Computer Science, Aarhus University IT-parken, Aabogade 34, DK-8200 Aarhus N, Denmark From jcarrete at inf.uc3m.es Fri Apr 9 15:29:27 2010 From: jcarrete at inf.uc3m.es (Jesus Carretero) Date: Fri, 09 Apr 2010 15:29:27 +0200 Subject: [ecoop-info] CFP: *13-th ACM MSWiM 2010* CALL FOR TOOLS and DEMOS In-Reply-To: References: Message-ID: <4BBF2BB7.6060203@inf.uc3m.es> I apoligize if you receive multiple copies. ------------------------------------------------------------------------------------------------------- *13-th ACM MSWiM 2010* CALL FOR TOOLS and DEMOS **The 13th ACM International Conference on Modeling, Analysis and Simulation of Wireless and Mobile Systems (MSWiM 2010) solicits demonstrations on recent results or on-going development in the area of wireless and mobile networks. We invite submissions for demos to be included in the MSWIM 2010 Demonstration Program. This program is intended to showcase innovative technologies, platforms, analysis tools and realistic applications related to mobile and wireless networks and systems. Submissions regarding mature systems or innovative prototypes developed for commercial use or for research purposes, from industries or universities, are encouraged. We also encourage submission of a demo that has already been described in the published literature in sufficient details. Proposals should clearly state what the proposed demonstration will show. Submissions will be evaluated on the basis of their innovation, scientific contribution, presentation, industrial and application relevance. Accepted Demos will be able to demonstrate and display a poster related to their demo/tool that will be visible to the participants of MSWIM 2010. During demos/tools sessions at specific times an author of a demo submission must be present to the demonstration and answer questions about their demos. Papers corresponding to the demos/tools will be published in full text (10 pages max) in a separate Proceedings Volume that will be distributed during the Conference. *Tools and Demos Submission Instructions* Demos/Tools proposals must be submitted as a single pdf file of no more than 4 pages in two-column ACM format, providing informal description of the proposed demonstration. Please describe what attendees will be able to see or do during your demo (e.g. screenshots), and itemize any equipment or facilities that you will require to install for your system demonstration. Inquiries about demos/tools Session should be directed to the Demos/Tools Co-Chairs: *Prof. Jesus Carretero* (jesus.carretero at uc3m.es ) and *Prof. Tommaso Melodia* (tmelodia at eng.buffalo.edu ). Proposals should be sent by TBA. *Important Dates* Demo/Tools Submission Deadline: *June 15-th, 2010* Notification of Acceptance/Rejection: *July 5-th, 2010* Camera Ready Version Due: *TBA * *------------------------------------------------------- ****************************************************************** Computer Architecture Group. University Carlos III of Madrid. Jes?s Carretero Informatics Engineering Vice-Dean Full Professor. Computer Architecture Group University Carlos III of Madrid Avda. Universidad, 30. 28911 Legan?s, Madrid. Spain Tel: +34 916249458 Fax: +34 916249129 e-mail: jesus.carretero at uc3m.es Web: http://www.arcos.inf.uc3m.es/~jcarrete ****************************************************************** From jessica.rowsell at beaconwall.com Sat Apr 10 03:41:33 2010 From: jessica.rowsell at beaconwall.com (jessica.rowsell at beaconwall.com) Date: Sat, 10 Apr 2010 09:41:33 +0800 (HKT) Subject: [ecoop-info] CFP: 4th International Web Rule Symposium Message-ID: <31302952.53831270863693084.JavaMail.root@ps232.wttmail.com> ------------------------------------------------------------------------ [Apologies for multiple postings] 1st Call for Papers RuleML-2010 4th International Web Rule Symposium: Research Based and Industry Focused October 21-23, 2010, Washington, DC, USA Co-located with the 13th Business Rules Forum http://2010.ruleml.org/ Overview and Aim ====================================================== The International Web Rule Symposium has evolved from an annual series of international workshops since 2002, international conferences in 2005 and 2006, and international symposia since 2007. This year, the 4th International Web Rule Symposium (RuleML-2010) will be held near Washington, DC, USA, co-located with the 13th Business Rules Forum, the world's largest Business Rules event. RuleML-2010 is devoted to practical distributed rule technologies and rule-based applications, which need language standards for rules (inter)operating in, e.g., the Semantic Web, Enterprise Systems, Intelligent Multi-Agent Systems, Event-Driven Architectures, and Service-Oriented Applications. RuleML-2010 is a research-based, industry-focused symposium: its main goal is to build a bridge between academia and industry in the field of rules and semantic technology, and so to stimulate the cooperation and interoperability between business and research, by bringing together rule system providers, participants in rule standardization efforts, open source communities, practitioners, and researchers. The concept of the symposium has also advanced continuously in the face of extremely rapid progress in practical rule and event processing technologies. As a result, RuleML-2010 will feature hands-on demonstrations and challenges alongside a wide range of thematic tracks. It will thus be an exciting venue to exchange new ideas and experiences on all issues related to the engineering, management, integration, interoperation, and interchange of rules in distributed enterprise intranets and open distributed environments. Conference Theme ====================================================== This year, we particularly welcome submissions that address applications of Web rule technologies for business and information systems. We invite you to share your ideas, results, and experiences: as an industry practitioner, rule system provider, technical expert, developer, rule user or researcher, exploring foundations, developing systems and applications, or using rule-based systems. We invite high-quality submissions related to (but not limited to) one or more of the following topics: Track Topics ------------------------------------------------------------------------------ Rules, Semantic Technology, and Cross-Industry Standards Rule Transformation and Extraction Rules and Uncertainty Rules and Norms Rules and Inferencing Rule-based Event Processing and Reaction Rules Rule-Based Distributed/Multi-Agent Systems We also welcome submissions on miscellaneous rule topics, such as - Rules and ontologies - Execution models, rule engines, and environments - Graphical processing, modeling and rendering of rules Case studies, experience reports, and industrial problem statements are particularly encouraged. RuleML-2010 Challenge ====================================================== The RuleML-2010 Challenge is one of the highlights of RuleML-2010. Rules are used in interesting and practically relevant ways to, e.g., derive useful information, transform knowledge, provide decision support, and provide automated rule-based monitoring, enforcement, validation or management of the behavioral logic of an application. The Challenge offers participants the chance to demonstrate their commercial and open source tools, use cases, and applications. Conference Language ====================================================== The official language of the conference will be English. Submission ====================================================== Authors are invited to submit original contributions of practical relevance and technical rigor in the field, experience reports and show/use case demonstrations of effective and practical rule-based technologies, or applications deployed in distributed environments. RuleML-2010 Submission Guidelines, Springer Proceedings, Best Paper Award ------------------------------------------------------------------------ Papers must be in English and may be submitted at http://www.easychair.org/conferences/?conf=ruleml2010 as: Full Papers (15 pages in the proceedings) Short Papers (8 pages in the proceedings) Please upload all submissions as PDF files in LNCS format (http://www.springer.de/comp/lncs/authors.html). To ensure high quality, submitted papers will be carefully peer-reviewed by 3 PC members based on originality, significance, technical soundness, and clarity of exposition. Authors are requested to upload the abstracts of their papers before May 25, 2010 and to upload their complete papers by June 1, 2010. The selected papers will be published in book form in the Springer Lecture Notes in Computer Science (LNCS) series. The best paper from all submissions will be determined by the PC and a Best Paper Award will be presented at the Symposium. All submissions must be made electronically. A selection of revised papers will be resubmitted to a special issue of a journal. RuleML-2010 Challenge Submission Guidelines ------------------------------------------------------------------------ To be announced Review Process ====================================================== The submitted papers will pass the blind review process. At least three members of the Program Committee will review each submission. Important Dates: ====================================================== Abstract submission deadline: May 25, 2010 Paper Submission deadline: June 1, 2010 Notification of acceptance: July 7, 2010 Camera ready due: July 28, 2010 Symposium dates: October 21-23, 2010 Conference Venue ====================================================== RuleML-2010 will take place at the Hilton Alexandria Mark Center, which is located 5 miles southwest of Washington, DC. The symposium is co-located with the 13th Business Rules Forum. Hilton Alexandria Mark Center 5000 Seminary Road, Alexandria, Virginia, United States 22311 Internet: http://www1.hilton.com/en_US/hi/hotel/DCAAHHF-Hilton-Alexandria-Mark- Center-Virginia/index.do Program Committee ====================================================== General Chairs -------------------- Mike Dean, Raytheon BBN Technologies, USA Said Tabet, RuleML Initiative, USA Program Chairs -------------------- John Hall, Model Systems, UK Antonino Rotolo, University of Bologna, Italy Liaison Chair -------------------- Mark Proctor, Red Hat, UK Publicity Chair -------------------- Patrick Hung Track Chairs -------------------- Rules, Semantic Technology, and Cross-Industry Standards Tracy Bost, Valocity, USA Robert Golan, DBMind, USA Rule Transformation and Extraction Mark Linehan, IBM, USA Rules and Uncertainty Davide Sottara, University Bologna, Italy Rules and Norms Thomas Gordon, Fraunhofer FOKUS, Germany Guido Governatori, NICTA, Australia Rules and Inferencing Grigoris Antoniou, Information Systems Laboratory, FORTH, Greece Rule-based Event Processing and Reaction Rules Alex Kozlenkov, Betfair Ltd., UK Adrian Paschke, Free Univ. Berlin, Germany Rule-Based Distributed/Multi-Agent Systems Nick Bassiliades, Aristotle University of Thessaloniki, Greece Costin Badica, University of Craiova, Romania RuleML-2010 Challenge Chairs ------------------------------ Enrico Francesconi, ITTIG-CNR, Italy Monica Palmirani, University of Bologna, Italy Fabio Vitali, University of Bologna, Italy From Dirk.Craeynest at cs.kuleuven.be Mon Apr 12 23:15:42 2010 From: Dirk.Craeynest at cs.kuleuven.be (Dirk Craeynest) Date: Mon, 12 Apr 2010 23:15:42 +0200 (MEST) Subject: [ecoop-info] 15th Int.Conf. Reliable Software Technologies, Ada-Europe 2010 Message-ID: <201004122115.o3CLFgF10829@bollie.cs.kuleuven.ac.be> ----------------------------------------------------------------------- Call for Participation *** PROGRAM SUMMARY *** 15th International Conference on Reliable Software Technologies - Ada-Europe 2010 14 - 18 June 2010, Valencia, Spain http://www.ada-europe.org/conference2010 Organized by Ada-Europe, in cooperation with ACM SIGAda *** Early registration discount until May 24 *** *** Advance Program available on conference web site *** ----------------------------------------------------------------------- Ada-Europe organizes annual international conferences since the early 80's. This is the 15th event in the Reliable Software Technologies series: the previous ones were held at Montreux, Switzerland ('96), London, UK ('97), Uppsala, Sweden ('98), Santander, Spain ('99), Potsdam, Germany ('00), Leuven, Belgium ('01), Vienna, Austria ('02), Toulouse, France ('03), Palma de Mallorca, Spain ('04), York, UK ('05), Porto, Portugal ('06), Geneva, Switzerland ('07), Venice, Italy ('08), and Brest, France ('09). The 16-page Advance Program (AP) brochure with full information is available on the conference web site. The AP contains the list of accepted papers and industrial presentations, as well as detailed descriptions of all tutorials and keynote presentations. In the menu on the home page first select "Conference Program" and then "Click here to download the Advance Program in PDF". Also check the conference web site for registration, accommodation and travel information. Quick overview - Mon 14 & Fri 18: tutorials - Tue 15 - Thu 17: paper, industrial & vendor presentations, exhibition Proceedings - published by Springer - volume 6106 in Lecture Notes in Computer Science series (LNCS) - will be available at conference Program co-chairs - Jorge Real, Universidad Polit?cnica de Valencia, Spain jorge at disca.upv.es - Tullio Vardanega, Universit? di Padova, Italy tullio.vardanega at math.unipd.it Invited speakers - Theodore Baker, Florida State University, USA, "What to Make of Multicore Processors for Reliable Real-Time Systems?" - Pedro Albertos, Universidad Polit?cnica de Valencia, Spain, "Control Co-Design: Algorithms and their Implementation" - James Sutton, Lockheed Martin, USA, "Ada: Made for the 3.0 World" Tutorials (full day) - "MAST: Predicting Response Times in Event-Driven Real-Time Systems", Michael Gonz?lez-Harbour, Universidad de Cantabria, Spain - "SPARK: The Libre Language and Toolset for High-Assurance Software", Roderick Chapman, Altran Praxis Ltd., UK - "C#, .NET and Ada: Keeping the Faith in a Language-Agnostic Environment", Benjamin Brosgol & J?r?me Lambourg, AdaCore, USA Tutorials (half day) - "Developing High-Integrity Systems with GNATforLEON/ORK+", Juan Antonio de la Puente & Juan Zamorano, Universidad Polit?cnica de Madrid, Spain - "Software Design Concepts and Pitfalls", William Bail, The MITRE Corporation, USA - "Using Object-Oriented Technologies in Secure Systems", Jean-Pierre Rosen, Adalog, France - "Hypervisor Technology for Building Safety-Critical Systems: XtratuM", Ismael Ripoll & Alfons Crespo, Universidad Polit?cnica de Valencia, Spain - "How to Optimize Reliable Software", Ian Broster, Rapita Systems, UK - "Developing Web-Aware Applications in Ada with AWS", Jean-Pierre Rosen, Adalog, France Papers and Presentations - 17 refereed technical papers in sessions on Multicores and Ada, Software Dependability, Critical Systems, Real-Time Systems, Language Technology, Distribution and Persistency - 11 industrial presentations on current practice and challenges - submissions by authors from 20 countries, and accepted contributions from Australia, Austria, Canada, Denmark, Germany, Italy, Japan, Korea, Poland, Portugal, Spain, Sweden, Switzerland, UK, USA Exhibition - 4 exhibitors already committed: AdaCore, Altran Praxis, Atego (ex-Aonix), and Ellidiss Software; others expressed interest - vendor presentation track for exhibitors Social evening events - Tuesday: welcome reception at the Jard? Bot?nic, the botanical garden within walking distance from the conference venue - Wednesday: bus trip to and conference banquet in the Mas?a Xamandreu, a beautiful Valencian country house built in the 19th century Registration - early registration discount up to Mon May 24, 2010 - additional discount for academia, Ada-Europe and ACM SIGAda members - registration includes copy of printed proceedings at event - includes coffee breaks and lunches - three day conference registration includes social events - payment possible by bank transfer or credit card Valencia is a tourist attraction at all times, and there are also other events taking place on the same dates as the conference. Therefore we recommend booking your accommodation as soon as possible. For more info and latest updates see the conference web site at . ----------------------------------------------------------------------- Our apologies if you receive multiple copies of this announcement. Please circulate widely. Dirk.Craeynest at cs.kuleuven.be, Ada-Europe'2010 Publicity Chair *** 15th Intl.Conf.on Reliable Software Technologies - Ada-Europe'2010 *** June 14-18, 2010 *** Valencia, Spain *** http://www.ada-europe.org Disclaimer: http://www.kuleuven.be/cwis/email_disclaimer.htm From 2010cfp at gmail.com Sat Apr 17 05:26:52 2010 From: 2010cfp at gmail.com (CFP) Date: Sat, 17 Apr 2010 12:26:52 +0900 Subject: [ecoop-info] CFP: IWIoT 2010 In-Reply-To: References: Message-ID: ******************************************************************* * CALL FOR PAPERS * * * * IWIoT 2010 * * First International Workshop on the Internet of Things: * * Opportunities and Challenges * * (http://www.iwiot.org) * * * * in conjuction with ChinaCom 2010 * * * * August 25, 2010, Beijing China * * * ******************************************************************* Paper submission deadline: May 25, 2010 Overview The Internet of Things (IoT) is a new paradigm that brings intelligent interconnection of things or objects in the physical world through information sensing devices, such as sensors and RFID tags, and networking protocols to provide communications and interaction between persons and objects and between objects and objects at any place and at any time. IoT covers a wide scope of technologies, including sensing, communications, networking, computing, information processing, and intelligent control. It promises a broad range of applications, which implement a variety of intelligent identification, positioning, tracking, monitoring, and management services, and will thus have a huge impact on today?s world and every aspect of people?s life. For this reason, IoT has recently received tremendous attention from industries, academia, and governments. The International Workshop on the Internet of Things (IWIoT) is a new event that aims at providing a forum that brings together researchers from academia as well as practitioners from industry and government to meet and exchange ideas and recent research work on all aspects of the Internet of Things. IWIoT 2010 is the first edition of this event, which will be held in conjunction with CHINACOM'10 in Beijing, China, on August 25, 2010. Topic of Interests The workshop solicits original technical papers that were not previously published and are not currently under review for publication elsewhere. Topics of interest include but are not limited to: * Network and system architectures for IoT * Sensing technologies for IoT * Communication technologies for IoT * Network technologies for IoT * Computing technologies for IoT * Information processing technologies for IoT * Applications and services for IoT * Application systems and prototypes for IoT * Standardization activities for IoT Paper Submission Please visit the workshop website (http://www.iwiot.org/submission.shtml) for details on paper submission. Paper Publication All accepted and presented papers will be included in the CHINACOM 2010 Conference Proceedings, made available in IEEExplore, and then indexed by Engineering Information (EI). Important Dates Paper submission deadline: May 25, 2010 Notification date: June 1, 2010 Final manuscript due: June 15, 2010 Organizing Committee General Chair Jun Zheng Southeast University China TPC Co-Chairs Nirwan Ansari New Jersey of Technology USA Jian Ma Nokia Research Center, Beijing China Baoxian Zhang Graduate University of China Academy of Sciences China -------------- next part -------------- An HTML attachment was scrubbed... URL: http://web.satd.uma.es/pipermail/ecoop-info/attachments/20100417/d1db532b/attachment.html From beckert at kit.edu Thu Apr 15 22:04:12 2010 From: beckert at kit.edu (Bernhard Beckert) Date: Thu, 15 Apr 2010 22:04:12 +0200 Subject: [ecoop-info] 2nd CFP: International Conference on Formal Verification of Object-Oriented Software (FoVeOOS 2010) Message-ID: <4BC7713C.90806@kit.edu> FoVeOOS 2010 International Conference on Formal Verification of Object-Oriented Software June 28-30, 2010, Paris, France http://foveoos2010.cost-ic0701.org *CALL FOR PAPERS* SCOPE Formal software verification has outgrown the area of academic case studies, and industry is showing serious interest. The logical next goal is the verification of industrial software products. Most programming languages, used in industrial practice (such as Java, C++, and C#) are object-oriented. The International Conference on Formal Verification of Object-Oriented Software (FoVeOOS) aims to foster collaboration and interactions among researchers in this area. ORGANIZATION The conference is organised by COST Action IC0701 (http://www.cost-ic0701.org/) but it goes beyond the framework of this action. This conference is open to the whole scientific community around the following topics, and also encourages people close to industrial applications to submit papers and participate. The Action may provide travel grants (see the web page for details). TOPICS Topics include but are not limited to: * Logic-based methods for formal - verification - specification and description - construction, - analysis and validation, of object-oriented software * Technologies such as - logics - calculi - type systems for the formal verification of object-oriented software * Modularisation and verification of components * Verification of - adaptable and reusable - concurrent - distributed object-oriented software * Tool descriptions * Experience reports * Case studies * Teaching formal methods IMPORTANT DATES April 26, 2010 Abstract submission deadline May 3, 2010 Paper submission deadline May 31, 2010 Acceptance notification June 14, 2010 Final version due June 28-30, 2010 Conference SUBMISSIONS Submissions should describe previously unpublished work (completed or in progress). Contributions are invited in these categories: A Research papers (reporting original theoretical and/or experimental research or applications) B System descriptions C Experience reports, case studies D Position papers and brief reports on work in progress Papers must be written in English and (in all categories A-D) not exceed 15 pages in LNCS format (http://www.springer.de/comp/lncs/authors.html). All submissions will be reviewed by peers, typically members of the program committee. Submission of papers is via EasyChair at http://www.easychair.org/FoVeOOS2010/ PROCEEDINGS The conference will use a two-stage process for the publication of proceedings, allowing for a very brief period between submission of papers and the conference and, thus, a speedy dissemination of results. All accepted papers will appear in pre-proceedings published as a Technical Report that will be available at the conference. Post-conference proceedings are planned to be published withinSpringer's LNCS series (final approval pending). For this second stage, papers will be selected as follows: first, authors of papers that were definitely accepted in the first stage will submit a new version with minor revisions only; second, authors of papers that were only conditionally accepted (typically position papers) will be able to submit a new version with major revisions, whichwill be reviewed again. BEST STUDENT PRESENTATION AWARD Based on the comments given by the reviewers in the first stage of reviewing, and the presentation at the conference, the programme committee will give a best student presentation award. Eligible papers are those whose presentation is given by a PhD student. PROGRAM CO-CHAIRS Bernhard Beckert, Karlsruhe Institute of Technology, Germany Claude Marche, INRIA Saclay-Ile-de-France, France PROGRAMME COMMITTEE Gilles Barthe, IMDEA Software, Madrid, Spain Bernhard Beckert, Karlsruhe Institute of Technology, Germany Einar Broch Johnsen, U of Oslo, Norway Gabriel Ciobanu, U Alexandru Ioan Cuza, Romania Mads Dam, KTH Stockholm, Sweden Ferruccio Damiani, U of Torino, Italy Sophia Drossopoulou, Imperial College, UK Paola Giannini, U Piemonte Orientale, Italy Dilian Gurov, KTH Stockholm, Sweden Reiner Haehnle, Chalmers U of Technology, Gothenburg, Sweden Marieke Huisman, U of Twente, The Netherlands Thomas Jensen, IRISA/CNRS, France Joe Kiniry, ITU Copenhagen, Denmark Viktor Kuncak, EPF Lausanne, Switzerland Dorel Lucanu, U Alexandru Ioan Cuza, Romania Maria del Mar Gallardo Melgarejo, U of Malaga, Spain Claude Marche, INRIA Saclay-Ile-de-France, France Julio Marino, U Politecnica de Madrid, Spain Marius Minea, Politehnica U of Timisoara, Romania Anders Moeller, U Aarhus, Denmark Peter Mueller, ETH Zurich, Switzerland James Noble, Victoria U of Wellington, New Zealand Bjarte M. Oestvold, Norwegian Computing Center, Norway Olaf Owe, U of Oslo, Norway Ernesto Pimentel Sanchez, U of Malaga, Spain Arnd Poetzsch-Heffter, U of Kaiserslautern, Germany Erik Poll, U of Nijmegen, The Netherlands Antonio Ravara, New University of Lisbon, Portugal Rene Rydhof Hansen, U of Aalborg, Denmark Peter H. Schmitt, Karlsruhe Institute of Technology, Germany Aleksy Schubert, U of Warsaw, Poland Gheorghe Stefanescu, U of Bucharest, Romania Bent Thomsen, U of Aalborg, Denmark Shmuel Tyszberowicz, U of Tel Aviv, Israel Tarmo Uustalu, Institute of Cybernetics, Tallinn, Estonia Burkhart Wolff, U Paris-Sud (Orsay), France Wolfgang Reif, U of Augsburg, Germany Elena Zucca, U of Genova, Italy CONTACT Email: foveoos2010 at cost-ic0701.org Web: http://foveoos2010.cost-ic0701.org From bernardo at sti.uniurb.it Fri Apr 16 14:04:21 2010 From: bernardo at sti.uniurb.it (Marco Bernardo) Date: Fri, 16 Apr 2010 14:04:21 +0200 (CEST) Subject: [ecoop-info] EPEW 2010 -- first call for papers Message-ID: ===================================================================== # # # EPEW 2010 # # # # 7th European Performance Engineering Workshop # # Bertinoro (Italy), 23-24 September 2010 # # # # http://www.sti.uniurb.it/events/epew2010/ # # # ===================================================================== # CALL FOR PAPERS # ===================================================================== ================ SCOPE AND TOPICS ================ The European Performance Engineering Workshop is an annual event that aims to gather academic and industrial researchers working on all aspects of performance engineering. Original papers related to theoretical and methodological issues as well as case studies and automated tool support are solicited in the following three areas: * Performance modeling and evaluation: - Probabilistic models. - Stochastic models. - Real-time models. - Performability models. - Queueing networks. - Quantitative extensions of automata. - Quantitative extensions of Petri nets. - Quantitative extensions of process calculi. - Specification of quantitative properties. - Analytical solution techniques. - Numerical solution techniques. - Simulation techniques. - Quantitative model checking. - Quantitative equivalence checking. - Quantitative static analysis. * System and network performance engineering: - Performance engineering of distributed, mobile, and embedded systems. - Performance engineering of wired and wireless communication networks. - Performance engineering of multimedia environments. - Cluster computing, grid computing, and peer-to-peer computing. - Performance-oriented design of computer systems and networks. - Constraint-based and model-driven system design. - Performance analysis, simulation, and experimental design. - Benchmark design and benchmark-based evaluation and monitoring. - Graceful degradation system design. - Quality of service and quality of security. * Software performance engineering: - Software performance modeling languages and model composition. - Performance-oriented software architecture and design. - Performance-oriented implementation, deployment, and maintenance. - Model-driven software performance engineering. - Software performance monitoring. - Interpretation of analysis results. - Software performance tool interoperability. - Software performance and other nonfunctional attributes. - Software performance and context awareness. - Software performance engineering of middleware and embedded systems. - Software performance engineering in specific application domains. ================ PAPER SUBMISSION ================ Submitted papers must be in English and formatted according to the Springer LNCS style. Submitted papers should not exceed 16 pages; additional material can be included in a clearly marked appendix. Papers must not be published or submitted for publication elsewhere. The submission of papers must take place through the workshop website via the EasyChair system. All submitted papers will be assessed on the basis of the relevance, originality, and quality of their contribution as well as their clarity and the adequacy of their references. Accepted papers will be published by Springer in a volume of the LNCS series and shall be presented at the workshop. At least one author of each accepted paper shall register to the workshop. =============== IMPORTANT DATES =============== Abstract submission: 27 May 2010 Paper submission: 31 May 2010 Author notification: 30 June 2010 Camera-ready copy: 10 July 2010 ===================== CHAIRS AND COMMITTEES ===================== General Chair: Marco Bernardo (University of Urbino, IT) Program Committee Chairs: Alessandro Aldini (University of Urbino, IT) Luciano Bononi (University of Bologna, IT) Vittorio Cortellessa (University of L'Aquila, IT) Program Committee Members: Suzana Andova (Technical University of Eindhoven, NL) Cosimo Anglano (University of Piemonte Orientale, IT) Alberto Avritzer (Siemens, US) Simonetta Balsamo (University of Venezia "Ca' Foscari", IT) Steffen Becker (FZI, DE) Simona Bernardi (University of Torino, IT) Jeremy Bradley (Imperial College London, UK) Giuliano Casale (Imperial College London, UK) Lucy Cherkasova (HP Labs, US) Robert Cole (Johns Hopkins University, US) Flavio Corradini (University of Camerino, IT) Ivica Crnkovic (University of Malardalen, SE) Marco Furini (University of Modena and Reggio Emilia, IT) Stephen Gilmore (University of Edinburgh, UK) Vincenzo Grassi (University of Roma "Tor Vergata", IT) Marcus Groesser (Technical University of Dresden, DE) Valerie Issarny (INRIA Paris Rocquencourt, FR) Helen Karatza (University of Thessaloniki, GR) Leila Kloul (University of Versailles, FR) Catalina Llado (University of Balearic Islands, ES) Michele Loreti (University of Firenze, IT) Jose Merseguer (University of Zaragoza, ES) Geyong Min (University of Bradford, UK) Raffaela Mirandola (Politecnico di Milano, IT) John Murphy (University College Dublin, IE) Joel Ouaknine (University of Oxford, UK) Dorina Petriu (Carleton University, CA) Anna Philippou (University of Cyprus, CY) Markus Siegle (University Bw Munich, DE) Connie Smith (L&S Computer Technology, US) Mark Squillante (IBM Watson Research Center, US) Jiri Srba (University of Aalborg, DK) Giovanni Stea (University of Pisa, IT) Giorgio Ventre (University of Napoli, IT) ================ INVITED SPEAKERS ================ Ralf Reussner (Karlsruhe Institute of Technology, DE): "New Trends of Software Architecture" Marco Roccetti (University of Bologna, IT): "Modeling and Simulation of Vehicular Traffic Congestion in Realistic Urban Scenarios" From goerg at cc.gatech.edu Sun Apr 18 23:03:56 2010 From: goerg at cc.gatech.edu (=?ISO-8859-1?Q?Carsten_G=F6rg?=) Date: Sun, 18 Apr 2010 17:03:56 -0400 Subject: [ecoop-info] Final CFP: ACM SYMPOSIUM ON SOFTWARE VISUALIZATION (SOFTVIS'10) - Call for Papers Message-ID: <4BCB73BC.4080903@cc.gatech.edu> Final CALL FOR PAPERS ACM SYMPOSIUM ON SOFTWARE VISUALIZATION (SOFTVIS'10) ---------------------------------------------------- SOFTVIS is sponsored by ACM SIGCHI, SIGGRAPH, SIGPLAN and SIGSOFT, and in cooperation with ACM SIGCSE and IEEE CS/VGTC. Salt Lake City, Utah, USA, October 25-26, 2010 http://www.softvis.org/softvis10 SOFTVIS'10 is part of IEEE VisWeek'10 and shares a single registration, see http://vis.computer.org/VisWeek2010 IMPORTANT DATES: ---------------- Papers Due : April 30, 2010 Notification : June 30, 2010 Posters/Tool Demos Due: July 14, 2010 Symposium : October 25-26, 2010 SCOPE: ------ Software visualization encompasses the development and evaluation of methods for graphically representing different aspects of software, including its structure, its abstract and concrete execution, and its evolution. The ACM Symposium on Software Visualization (SOFTVIS), now at its fifth edition, is the premiere forum for researchers from different backgrounds (HCI, software engineering, programming languages, visualization, and computer science education) to present original research on software visualization. We seek theoretical as well as practical papers on applications, techniques, tools, case studies, and empirical studies. Topics of interest include, but are not limited to: - Visualization of algorithms - Program visualization - Visualization in software engineering, e.g. UML diagrams - Visualization of parallel programs - Visualization-based software in computer science and software engineering education - Visualization of workflow and business processes - Integration of software visualization tools and development environments - Visualization of data and processes in applications - Visualization of web services - Visualization of software evolution - Visualization of the software development process - Visualization of data base schemes - Protocol and log visualization (security, trust) - Source code visualization - Graph drawing algorithms for software visualization - Visual debugging - Program analyses and visualization - 3D software visualization - Software visualization on the internet - Empirical evaluation of software visualization SUBMISSIONS: ------------ Papers are solicited that present original, unpublished research results and will be rigorously reviewed by an international program committee. Authors should prepare and electronically submit their papers (up to 10 pages in standard ACM 2-column format, http://www.acm.org/sigs/publications/proceedings-templates) according to the instructions on the symposium website: http://www.softvis.org/softvis10. The submission of a video (up to 5 minutes in length) to accompany the paper is encouraged. Accepted papers will appear in the conference proceedings and the ACM Digital Library. Selected papers will be invited to submit an extended version to a special issue on Software Visualization in the Information Visualization journal (http://www.palgrave-journals.com/ivs/). As in the previous SOFTVIS editions we will award a best paper. In addition to technical papers, we are also inviting poster and tool demo submissions. Posters and tool demos offer the opportunity to present new ideas and work in progress during an interactive session. Authors should prepare and submit poster and tool demo abstracts of up to 2 pages in standard ACM 2-column format. Accepted abstracts will be included in the conference proceedings. ORGANIZATION: ------------- General Chair: Alexandru Telea, University of Groningen, Netherlands Program Co-chairs: Carsten G?rg, Georgia Institute of Technology, USA Steven Reiss, Brown University, USA Poster Chair: Craig Anslow, Victoria University of Wellington, New Zealand PROGRAM COMMITTEE: ------------------ Margaret Burnett, Oregon State University, USA Rob DeLine, Microsoft Research, USA Arie van Deursen, Delft University / CWI, Netherlands Stephan Diehl, University of Trier, Germany Holger Eichelberger, University of Hildesheim, Germany Harald Gall, University of Z?rich, Switzerland Danny Holten, University of Eindhoven, Netherlands John Hosking, University of Auckland, New Zealand Christopher Hundhausen, Washington State University, USA Andreas Kerren, Linnaeus University, Sweden Stephen Kobourov, University of Arizona, USA Rainer Koschke, University of Bremen, Germany Eileen Kraemer, University of Georgia, USA Michele Lanza, University of Lugano, Switzerland Kwan-Liu Ma, University of California at Davis, USA Jonathan I. Maletic, Kent State University, USA Nick Mitchell, IBM Research, USA Tom Naps, University of Wisconsin-Oshkosh, USA Thomas Panas, Lawrence Livermore National Labs, USA Wim De Pauw, IBM Research, USA Helen Purchase, University of Glasgow, UK Susan Rodger, Duke University, USA Jorma Sajaniemi, University of Joensuu, Finland John Stasko, Georgia Institute of Technology, USA Lucian Voinea, Solidsource, Netherlands Chris Weaver, University of Oklahoma, USA Thomas Zimmermann, Microsoft Research, USA From n.zannone at tue.nl Fri Apr 16 19:59:12 2010 From: n.zannone at tue.nl (Nicola Zannone) Date: Fri, 16 Apr 2010 19:59:12 +0200 Subject: [ecoop-info] FAST 2010 Call For Papers Message-ID: <4BC8A570.6010900@tue.nl> [Apologies in case of receiving multiple copies.] ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 7th International Workshop on Formal Aspects of Security& Trust (FAST2010) 16-17 September 2010 Pisa, Italia http://www.iit.cnr.it/FAST2010/ FAST2010 is co-located with the 8th IEEE International Conference on SOFTWARE ENGINEERING AND FORMAL METHODS (SEFM) http://www.sefm2010.isti.cnr.it ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ OVERVIEW OF FAST The seventh International Workshop on Formal Aspects of Security and Trust (FAST2010) aims at continuing the successful efforts of the previous FAST workshops, fostering cooperation among researchers in the areas of security and trust. Computing and network infrastructures have become pervasive, and now they carry a great deal of economic activity. Thus, society needs well matching security and trust mechanisms. Interactions increasingly span several enterprises and involve loosely structured communities of individuals. Participants in these activities must control interactions with their partners based on trust policies and business logic. Trust-based decisions effectively determine the security goals for shared information and for access to sensitive or valuable resources. FAST focuses on the formal models of security and trust that are needed to state goals and policies for these interactions. We also seek new and innovative techniques for establishing consequences of these formal models. Implementation approaches for such techniques are also welcome. PAPER SUBMISSION Suggested submission topics include, but are not limited to: Formal models for security, trust and reputation Security protocol design and analysis Logics for security and trust Trust-based reasoning Distributed trust management systems Digital asset protection Data protection Privacy and ID management issues Information flow analysis Language-based security Security and trust aspects in ubiquitous computing Validation/Analysis tools Web/Grid services security/trust/privacy Security and risk assessment Resource and access control Case studies IMPORTANT DATES Title/Abstract Submission: 13 June Paper submission: 20 June (STRICT!) Author Notification: 19 July Pre-proceedings version: 1 September Workshop: 16-17 September Post-proceedings version: 1 November Organizers - Pierpaolo Degano, Universita` di Pisa, Italy - Sandro Etalle, TU Eindhoven and Univ. Twente, the Netherlands - Joshua Guttman, Worcester Polytechnic Inst., USA Program Committee (tentative) Gilles Barthe, IMDEA Software, Spain Massimo Bartoletti, University of Cagliari, Italy Lujo Bauer, CMU, USA Cas Cremers, ETH Zurich Frederic Cuppens, Telecom Bretagne, France Pierpaolo Degano, University of Pisa, Italy (co-chair) Sandro Etalle, TU Eindhoven and Univ. Twente, the Netherlands (co-chair) Joshua Guttman, Worcester Polytechnic Inst., USA (co-chair) Chris Hankin, Imperial College (London), UK Bart Jacobs, Radboud Univ. Nijmegen, The Netherlands Christian Jensen, DTU, Denmark Fabio Martinelli, CNR, IT Sjouwke Mauw, University of Luxemburg, Luxembourg Catherine Meadows, Naval Research Lab, USA Ron van der Meyden, University of New South Wales, Australia Mogens Nielsen, Aarhus, Denmark Dusko Pavlovic, Kestrel Institute, USA and Oxford, UK Riccardo Pucella, Northeastern, USA Peter Ryan, University of Luxembourg, Luxembourg Steve Schneider, Surrey, UK (to be confirmed) Jean-Marc Seigneur, University of Geneva, Switzerland Luca Vigano', Universita` di Verona, Italy Local Organizer Ilaria Matteucci, IIT-CNR, Pisa For additional information visithttp://www.iit.cnr.it/FAST2010/ or e_mail tofast2010 at iit.cnr.it PROCEEDINGS As done for the previous issues of FAST, the post-proceedings of the workshop will be published with LNCS (under negotiation). A special journal issue is also planned. SUBMISSION GUIDELINES: We seek papers presenting original contributions. Two types of submissions are possible: (1) short papers, up to 5 pages in LNCS format, (2) full papers, up to 15 pages in LNCS format. Submissions should clearly state their category (1 or 2). Author's full name, address, and e-mail must appear on the first page. Short papers as well as full papers will be included in the informal proceedings distributed at the workshop. After the workshop, authors of short papers which are judged mature enough for publication will be invited to submit full papers. These will be reviewed according to the usual refereeing procedures, and accepted papers will be published in the post-proceedings in LNCS. Simultaneous submission of full papers to a journal or conference/workshop with formal proceedings justifies rejection. Short papers at FAST are not formally published, so this restriction does not apply to them. However, related publications and overlapping submissions must be cited explicitly in short papers. From roberto at zicari.de Tue Apr 13 18:14:00 2010 From: roberto at zicari.de (Roberto Zicari) Date: Tue, 13 Apr 2010 18:14:00 +0200 Subject: [ecoop-info] Call for "Best Object Databases Lecture Notes Award 2010." Message-ID: <4BC49847.335682EF@zicari.de> Call for "Best Object Databases Lecture Notes Award 2010." ODBMS.ORG has announced today that it will issue the "Best Object Databases Lecture Notes Awards 2010", for the most complete and up to date lecture notes on Object Databases, that have been, or have strong potential to be, instrumental to the teaching of theory and practice in the field of object database systems. Any Lecture Notes published in ODBMS.ORG during the years 2004?June 4,2010 is eligible for the 2010 award: http://www.odbms.org/downloads.aspx#odbms_ln http://www.odbms.org/downloads.aspx#oop_ln http://www.odbms.org/downloads.aspx#dbms The best Best Object Databases Lecture Notes will be selected by an independent panel consisting of selected members of the ODBMS.ORG Experts Board. The award consists of a plaque presented at the ICOODB 2010 conference in Frankfurt on September 29, 2010. SUBMISSION PROCEDURE: By June 4, 2010, please email a .pdf of your Lecture Notes to the Editor of ODBMS.ORG, Prof. Roberto V. Zicari at: editor @ odbms.org. ## From pinto at lcc.uma.es Wed Apr 14 11:01:06 2010 From: pinto at lcc.uma.es (=?iso-8859-1?Q?M=F3nica_Pinto_Alarc=F3n?=) Date: Wed, 14 Apr 2010 11:01:06 +0200 Subject: [ecoop-info] AOSD 2011 - First Call for Research Papers Message-ID: <517D6E9556414E6199DDB0E53C1EEC7B@lcc.uma.es> AOSD 2011: Perspectives on Modularity 10th International Conference on Aspect-Oriented Software Development http://aosd.net/2011 March 21th - 25th, 2011, Porto de Galinhas, Pernambuco, Brazil Supported by ACM SIGSOFT & SIGPLAN (pending) First Call for Research Papers ------------------------------------------------- Important Dates: First Round: Research Paper submission : Jul. 1, 2010, 23:59 (Samoan) Acceptance Notification : Sep. 6, 2010, 23:59 (Samoan) Second Round: Research Paper submission : Oct. 1, 2010, 23:59 (Samoan) Acceptance Notification : Dec. 10, 2010, 23:59 (Samoan) Camera-ready copy : Jan. 13, 2011, 23:59 (Samoan) -------------------------------------------------- Instructions for authors: http://www.aosd.net/2011/call_research.html Email contact address: research en aosd.net -------------------------------------------------- The International Conference on Aspect-Oriented Software Development (AOSD) is the premier conference on software modularity that goes beyond traditional abstraction boundaries. The past series of the conferences have been mainly investigating "the aspects" for 10 years and explored their clear benefits. Furthermore, they have revealed that advanced modularity is the core notion for building modern software systems and hence other new modularization paradigms and techniques are also getting spotlighted today. AOSD 2011 seeks to foster advanced modularization paradigms and techniques, which are not limited to aspects thus re-emphasizing the original intention to establish AOSD as a conference on advanced separation of concerns and software modularity for extensibility, flexibility, and adaptability. AOSD 2011 invites high quality papers reporting documented research results emerging from work on new notions of modularity in computer systems, software engineering, programming languages, and other areas. Here, the modularity is not only of code but also across lifecycle artifacts (e.g., from requirements to tests). A novelty of AOSD 2011 is that authors can submit their papers at either 1st or 2nd round. The two rounds are independent but the accepted papers are presented together at the conference. If the paper is submitted at the 1st round and the review result is "resubmit after revision", the authors can resubmit the revised paper at the 2nd round with a letter to the reviewers. Then the same reviewers will review the revised paper again. AOSD 2011 adopts this procedure for motivating the acceptance of potentially good papers (but that need adjustments) rather than rejecting them straight away. Submissions will be carried out electronically via CyberChair. All papers must be submitted in PDF format. Submissions must be no more than 12 pages (including bibliography and any appendices) in standard ACM SIG Proceedings format (http://www.acm.org/sigs/publications/proceedings-templates). More details can be found in http://www.aosd.net/2011/call_research.html Research areas and topics of interest include, but are not limited to, the following: Software engineering * Requirements engineering * Analysis and design modeling * Domain engineering * Software architectures * Evaluation and metrics * Modular Reasoning * Testing and verification * Interference and composition * Traceability * Software development methods * Process and methodology definition * Patterns Programming languages * Language design * Compilation and interpretation * Verification and static program analysis * Formal languages and calculi * Execution environments & dynamic weaving * Dynamic and scripting languages * Domain-specific languages Related paradigms * Context-orientation * Feature-orientation * Traits * Model-driven development * Generative programming * Software product lines * Meta-programming and reflection * Contracts and components * View-based development Tool support * Aspect mining * Evolution and reverse engineering * Crosscutting program views * Refactoring Applications * Distributed/concurrent systems * Middleware, services, and networking * Pervasive computing * Runtime verification * Performance improvement Program committee ----------------------------------------------- Sven Apel University of Passau, Germany Eric Bodden Technische Universit?t Darmstadt, Germany Walter Cazzola University of Milano, Italy Shigeru Chiba Tokyo Institute of Technology, Japan (Chair) Pascal Costanza Vrije Universiteit Brussel, Belgium Marcus Denker INRIA Lille, France Elisa Baniassad The Australian National University, Australia Erik Ernst Aarhus University, Denmark Jeff Gray University of Alabama, USA Robert Hirschfeld Hasso-Plattner-Institut, Germany Atsushi Igarashi Kyoto University, Japan Takashi Ishio Osaka University, Japan David H. Lorenz Open University of Israel, Israel Karl Lieberherr Northeastern University, USA Hidehiko Masuhara University of Tokyo, Japan Mira Mezini Technische Universit?t Darmstadt, Germany Ana Moreira Universidade Nova de Lisboa, Portugal Hridesh Rajan Iowa State University, USA Awais Rashid Lancaster University, UK Mario S?dholt ?cole des Mines de Nantes, France Eric Tanter Universidad de Chile, Chile Jianjun Zhao Shanghai Jiao Tong University, China ------------ pr?xima parte ------------ Se ha borrado un adjunto en formato HTML... URL: http://web.satd.uma.es/pipermail/ecoop-info/attachments/20100414/a8830f9a/attachment-0001.html From peter.mueller at inf.ethz.ch Thu Apr 15 13:15:02 2010 From: peter.mueller at inf.ethz.ch (Mueller Peter) Date: Thu, 15 Apr 2010 13:15:02 +0200 Subject: [ecoop-info] PhD Positions in Programming Methodology, ETH Zurich In-Reply-To: References: Message-ID: <2F2FA11BC93EB2498BAC4718363A9A550742AD72@EX5.d.ethz.ch> PhD Positions in Programming Methodology Department of Computer Science - ETH Zurich, Switzerland The Chair of Programming Methodology is recruiting two PhD students for a project on specification inference. The goal of the project is to combine automatic program verification and static analysis to infer specifications for object-oriented programs. PhD students will be hired as assistants. Assistants are expected to participate in teaching. Teaching activities include supporting courses and seminars as well as advising student projects. Mandatory requirements for successful applications are: * Strong interest in research * Excellent Master's degree in Computer Science or in a related subject with a strong Computer Science component * Knowledge in formal methods, static analysis (ideally abstract interpretation), or program verification * Documented practical experience in object-oriented programming * Proficiency in English and excellent communication skills, both oral and written An assistant position is a regular job with social benefits. All positions are for a maximum of 6 years, but PhD students are expected to graduate in at most 4-5 years. Assistants at ETH receive an attractive salary and have access to excellent facilities in one of the world's top computer science departments. Zurich has been ranked among the best cities in the world for quality of life (www.location.zh.ch/internet/vd/awa/standort/en/wirtschaft/leben.html). For the web site of the Chair of Programming Methodology consult www.pm.inf.ethz.ch. General information on doctoral studies at ETH are available from www.ethz.ch/doctorate/index_EN and www.inf.ethz.ch/education/ds. Applications should include a curriculum vitae, a brief description of research interests, and letters of recommendation from scientific staff members. Applications and questions on the positions should be sent to jobs-pm at inf.ethz.ch. The application deadline is May 15, but we will consider applications until the positions are filled. The project is scheduled to start July 01; a later start date is negotiable. From zhang at cis.uab.edu Sat Apr 17 00:09:24 2010 From: zhang at cis.uab.edu (Chengcui Zhang) Date: Fri, 16 Apr 2010 17:09:24 -0500 (CDT) Subject: [ecoop-info] IRI 2010 DL Today [Apr. 16] Message-ID: ============================ Paper submission deadline (Apr. 16) ============================ The 11th IEEE International Conference on Information Reuse and Integration (IEEE IRI-2010) Tuscany Suites & Casino, Las Vegas, USA August 4-6, 2010 http://www.sis.pitt.edu/~iri2010/ The increasing volumes and dimensions of information have dramatic impact on effective decision-making. To remedy this situation, Information Reuse and Integration (IRI) seeks to maximize the reuse of information by creating simple, rich, and reusable knowledge representations and consequently explores strategies for integrating this knowledge into legacy systems. IRI plays a pivotal role in the capture, representation, maintenance, integration, validation, and extrapolation of information; and applies both information and knowledge for enhancing decision-making in various application domains. This conference explores three major tracks: information reuse, information integration, and reusable systems. Information reuse considers optimizing representation methodologies; information integration studies strategies for creatively applying models in novel domains; and reusable systems focus on ontological opportunities for deploying models and corresponding processes. The IEEE IRI 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 conference feature contributed and invited papers. Theoretical and applied papers are both included. The conference program will include special sessions, open forum workshops, and keynote speeches. A forum will be conducted with the intent of bridging IRI and Systems of Systems and why the future of intelligent computing - including computing applications - will lie at the juxtaposition of these two topical areas. 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 Environments - Information Integration in Mobile Computing Environments - Information Integration in Ubiquitous Computing Environments - 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/~iri2010/. 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 16, 2010. The attachment must be in .pdf (preferred) or word.doc format. The subject of the email must be "IEEE IRI 2010 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. Important Dates January 24, 2010 Workshop/Special session proposal April 16, 2010 Paper submission deadline (11:59 PM, PST, extended!) May 21, 2010 Notification of acceptance June 18, 2010 Camera-ready paper due June 18, 2010 Presenting author registration due July 30, 2010 Advance (discount) registration for general public and other co-author July 30, 2010 Hotel reservation (special discount rate) closing date August 4-6, 2010 Conference events Keynote Speakers Prof. Lotfi A. Zadeh, Uuniversity of California Berkeley Prof. Xindong Wu, University of Vermont _______________________________________________ ieeeauthors mailing list ieeeauthors at cis.uab.edu http://crier.cis.uab.edu/mailman/listinfo/ieeeauthors From bechir.zalila at enis.rnu.tn Mon Apr 19 10:55:33 2010 From: bechir.zalila at enis.rnu.tn (Bechir ZALILA) Date: Mon, 19 Apr 2010 09:55:33 +0100 (CET) Subject: [ecoop-info] NOTERE'2010: Call for tools demonstration and projects presentation Message-ID: <20100419085533.6E5EF3CBD964@bechirzalila.dyndns.org> NOTERE'2010: Call for tools demonstration and projects presentation http://notere2010.redcad.org The organizing committee of NOTERE 2010 plans sessions of demonstrations during the conference, out of papers presentation sessions. These sessions will be an opportunity for research teams to present their developments (models, prototypes, and tools) but also their projects under development that likely may interest the scientific community of NOTERE. The presentations can be made in form of posters, models, prototypes or finalized tools. The accepted descriptions, in form of long abstract (from 1 to 4 pages) of presentations, will be published on a CD which will be distributed to the participants of conference NOTERE. Submission modalities: ====================== Proposals for demonstrations must provide, in 1 to 4 pages approximately, a clear description of the tool, environment or project. Descriptions may be written in French or English. The proposals for demonstrations should precise if hey their need specific materials and/or Internet connection. The proposals must be addressed by e-mail to mohamed.jmaiel at enis.rnu.tn no later than April 25th, 2010. Authors should mention, if necessary, if their tools and platforms to be presented may be put at the disposal of the community. The presentations will be reviewed by the members of the program committee and accepted according to the available places. Important dates: ================ - Deadline for proposal submissions : April 25th, 2010 - Notifications : before April 30th, 2010 From gilbert.babin at hec.ca Mon Apr 19 20:14:28 2010 From: gilbert.babin at hec.ca (Gilbert Babin) Date: Mon, 19 Apr 2010 14:14:28 -0400 Subject: [ecoop-info] CFP : MCETECH 2011, Les Diablerets, Switzerland, Jan 23-26 2011 Message-ID: <4BCC9D84.9010102@hec.ca> _CALL FOR PAPERS AND TUTORIALS_ FIFTH INTERNATIONAL MCETECH CONFERENCE 23-26 January, 2011 Les Diablerets, Switzerland The Internet and the Web are continuously evolving. Their changing incarnations such as Web 2.0, services and service-oriented architectures, cloud computing and convergence with mobile Internet are transforming the way traditional activities are undertaken and having a dramatic impact on many aspects of modern society. Companies, governments and users are continuously challenged to follow up and take advantage of the potential benefits and power of digital technologies. Successful transformation to meet new challenges and opportunities is a multi-faceted problem, involving vision and skills, but also many technological, managerial, economic, organisational, and legal issues. MCETECH 2011 aims to bring together researchers and practitioners interested in exploring the transformation of a newly connected world through its multiple facets, with a focus on the technological, managerial, economic, and organisational questions. Original and inter-disciplinary approaches to these problems are highly encouraged. Authors focusing on the technological aspects are encouraged to highlight managerial, economic, or organizational implications of their work. Conversely, authors focusing on the managerial, economic, or organizational aspects are encouraged to highlight the technological dimension. The program committee will award a Best Paper Award to the best research paper in terms of 1) originality, 2) presentation, and 3) impact. Extended versions of the finalist papers shall be submitted to a journal special issue (journal to be determined). All accepted research papers will be published in the Lecture Notes in Business Information Processing, published by Springer Verlag. The conference also includes an industrial track, providing a forum for practitioners to present problems and case studies that have benefited from, or could benefit from, Internet technologies in their business. *Topics* Submissions are invited in the areas mentioned in the following non-exhaustive list: Mobile Internet and Applications in society * Internet-based collaborative work * Business models and Ecosystems * eBusiness (B2B, B2C, B2M) * eHealth, eEducation, and eGovernment * Telecommunication services Methods * Organizational transformation * Process modeling languages (syntax, semantics, validation) * Process adaptation (methods, tools) Clouds * Service composition * Open APIs and mashups * Methodologies and Tools * Ubiquity management Architectures * Novel deployment technologies * Distributed transactions * Recovery * Network management Trust * Requirements * Legal issues * Privacy and data protection * Identity theft *Format* The conference program will include: research paper sessions, tutorials, industrial track *Important dates* Research papers August 16, 2010 Full papers due September 24, 2010 Notifications sent October 18, 2010 Camera-ready copy due Tutorial propositions and Industrial track contributions October 18, 2010 Proposals due November 1, 2010 Notifications sent December 17, 2010 Tutorial notes due Conference 23-26 January, 2011 *Venue* The conference will take place at hotel Eurotel Victoria in Les Diablerets in the Swiss Alps. Located only 2 hours from Geneva, Les Diablerets region with its glacier, typical villages and world famous destinations, offers postcard Swiss charm. In winter, the region features alpine skiing and snowboarding but also cross-country skiing, snowshoeing or hiking, day or night sledge runs, ice-skating or curling activities. *Further information* Conference web site: http://www.mcetech.org Instructions to authors: http://www.mcetech.org/submissions.html -- Gilbert Babin, Professeur agr?g? mailto:Gilbert.Babin at hec.ca Technologies de l'information, HEC Montr?al 3000, ch. de la C?te-Sainte-Catherine, Montr?al (Qu?bec) CANADA H3T 2A7 http://www.hec.ca/pages/gilbert.babin/ Tel: +1 (514) 340-6291 Fax: +1 (514) 340-6132 -------------- next part -------------- An HTML attachment was scrubbed... URL: http://web.satd.uma.es/pipermail/ecoop-info/attachments/20100419/db330b56/attachment.html From pc at p-cos.net Mon Apr 19 14:36:31 2010 From: pc at p-cos.net (Pascal Costanza) Date: Mon, 19 Apr 2010 14:36:31 +0200 Subject: [ecoop-info] [CfP] DLS'10 Message-ID: <80087A91-DAE4-4458-B412-573C319B18EB@p-cos.net> Dynamic Languages Symposium 2010 October 18, 2010 Co-located with SPLASH (OOPSLA) 2010 In cooperation with ACM SIGPLAN John Ascuaga's Nugget, Reno/Tahoe, Nevada, USA http://www.dynamic-languages-symposium.org/dls-10/ ***** Call for papers ***** The 6th Dynamic Languages Symposium (DLS) at the conference formerly known as OOPSLA is a forum for discussion of dynamic languages, their implementation and application. While mature dynamic languages including Smalltalk, Lisp, Scheme, Self, Prolog, and APL continue to grow and inspire new converts, a new generation of dynamic scripting languages such as Python, Ruby, PHP, Tcl, and JavaScript are successful in a wide range of applications. DLS provides a place for researchers and practitioners to come together and share their knowledge, experience, and ideas for future research and development. DLS 2010 invites high quality papers reporting original research, innovative contributions or experience related to dynamic languages, their implementation and application. Accepted Papers will be published in the ACM Digital Library. Areas of interest include but are not limited to: * Innovative language features and implementation techniques * Development and platform support, tools * Interesting applications * Domain-oriented programming * Very late binding, dynamic composition, and runtime adaptation * Reflection and meta-programming * Software evolution * Language symbiosis and multi-paradigm languages * Dynamic optimization * Hardware support * Experience reports and case studies * Educational approaches and perspectives * Object-oriented, aspect-oriented, and context-oriented programming === Submissions and proceedings === We invite original contributions that neither have been published previously nor are under review by other refereed events or publications. Research papers should describe work that advances the current state of the art. Experience papers should be of broad interest and should describe insights gained from substantive practical applications. The program committee will evaluate each contributed paper based on its relevance, significance, clarity, and originality. Accepted papers will be published in the ACM Digital Library. Papers are to be submitted electronically at http://www.easychair.org/conferences?conf=dls2010 in PDF format. Submissions must not exceed 12 pages and need to use the ACM format, templates for which can be found at http://www.acm.org/sigs/pubs/proceed/template.html. === Important dates === Submission of papers: June 1, 2010 (hard deadline) Author notification: July 15, 2010 Final versions due: August 13, 2010 DLS 2010: October 18, 2010 SPLASH/OOPSLA 2010: October 17-21, 2010 === Program chair === William Clinger, Northeastern University, Boston, Massachusetts, USA === Program committee === Robby Findler (Northwestern University) Jeffrey S. Foster (University of Maryland) Lars Thomas Hansen (Adobe Systems) Charlotte Herzeel (University of Brussels) S. Alexander Spoon (Google) Eric Tanter (University of Chile) Jan Vitek (Purdue University) Alessandro Warth (Viewpoints Research Institute) [to be completed] -- Pascal Costanza, mailto:pc at p-cos.net, http://p-cos.net Vrije Universiteit Brussel Software Languages Lab Pleinlaan 2, B-1050 Brussel, Belgium From richard.booth at uni.lu Mon Apr 19 11:48:26 2010 From: richard.booth at uni.lu (Richard Booth) Date: Mon, 19 Apr 2010 11:48:26 +0200 Subject: [ecoop-info] First Call for Papers - BNAIC 2010 (Benelux Conference on AI) Message-ID: Apologies for multiple postings ---------------------- FIRST CALL FOR PAPERS: BNAIC 2010 BNAIC 2010 The 22nd Benelux Conference on Artificial Intelligence Luxembourg, October 25-26 2010 http://bnaic2010.uni.lu Organised by: Computer Science and Communication Research Unit (CSC), University of Luxembourg Interdisciplinary Centre for Security, Reliability and Trust (SnT), University of Luxembourg Centre de Recherche Public Henri Tudor Introduction BNAIC is an international scientific conference for research in Artificial Intelligence. The BNAIC conferences series was initiated in 1988 by the Netherlands Association for Artificial Intelligence (later incorporating Belgium and Luxembourg to become the Benelux Association for AI) in order to promote research in AI among Benelux AI researchers, scientists and engineers in related disciplines. This year we are delighted to bring BNAIC for the first time to the Grand Duchy of Luxembourg. According to the success of previous years, BNAIC 2010 will include invited speakers, research and industry presentations and project demonstrations. Topics Authors are invited to submit papers on all aspects of artificial intelligence. Possible topics of submissions include, but are not limited to: * AI for Ambient Intelligence * AI for Games & Entertainment * Embodied Artificial Intelligence * Intelligent Agents & Multi-Agent Systems * Knowledge Representation * Ontologies * Semantic Web-Techniques & Technologies * Knowledge Management * Knowledge-based Systems * Logic in AI * Logic Programming * Natural Language Processing * Speech & Image Processing & Understanding * Cognitive Modelling * Reinforcement Learning * Planning & Scheduling * Knowledge Discovery and Data Mining * Machine Learning * Classification * Clustering * Pattern Discovery * Process Mining * Visualization * Case-Based Reasoning * Constraint Programming * Evolutionary Algorithms * Neural Networks * Verification & Validation * Search & Retrieval * Personalization & Adaptation * Recommender systems * Hybrid Intelligent Systems * AI in law, music, art, education, tutoring, medicine, bioinformatics, software, e-commerce, logistics, robotics, and other business & industry applications. Important Dates * Paper submissions: June 4, 2010 * Author notification: August 15, 2010 * Camera-ready papers: September 15, 2010 * Author registration: September 15, 2010 * Early registration: September 25, 2010 * Conference dates: October 25-26, 2010 Submission details Researchers are invited to submit unpublished original research, but high-quality research results possibly already published in international conferences or journals are also welcome. Three types of submissions are invited: Type A: REGULAR PAPERS Papers presenting new original work. Submitted papers should not exceed a length of 8 pages. These papers will be reviewed on overall quality and relevance. A-Papers can be accepted for either oral or poster presentation. All accepted papers will be fully published in the proceedings. Type B: COMPRESSED CONTRIBUTIONS Papers that have been accepted after June 1st, 2010 for AI-related refereed conferences or journals can be resubmitted and will be accepted as compressed contributions. Authors are invited to submit the officially published version (without page restriction) together with a one or two-page abstract. B-Papers will be accepted for either oral or poster presentation. The abstract of the paper will be published in the proceedings. Every author may submit at most one B-paper of which they are the corresponding author, and only if they do not submit any A-paper as corresponding author. Type C: DEMONSTRATIONS & APPLICATIONS Proposals for demonstrations will be evaluated based on submitted demonstration summaries stating the following: the purpose of the system to be demonstrated, its user groups, the organization or project for which it is developed, the developers, and the technology used. In addition, the system requirements and the duration of the demo (not exceeding 30 minutes) should be mentioned. Especially master students are encouraged to submit papers presenting their applications and experiences. The maximum size of demonstration summaries is 2 pages (in English). Papers and demonstration summaries should be submitted electronically via Easychair (http://www.easychair.org/conferences/?conf=bnaic2010) by June 4th, 2010. See http://bnaic2010.uni.lu/instructions.html for more details. Submission implies willingness of at least one author to register for BNAIC'10 and present the paper. For each paper, a separate author registration is required. Authors keep the copyright of their submissions. The BNAIC Proceedings are published under ISSN series number 1568-7805. General Chairs Pascal Bouvry (University of Luxembourg) Eric Dubois (CRP Henri Tudor, Luxembourg) Thibaud Latour (CRP Henri Tudor, Luxembourg) Leon van der Torre (University of Luxembourg) Program Chairs Richard Booth (University of Luxembourg) Gregoire Danoy (University of Luxembourg) Benjamin Gateau (CRP Henri Tudor, Luxembourg) Isabelle Jars (CRP Henri Tudor, Luxembourg) Djamel Khadraoui (CRP Henri Tudor, Luxembourg) Marcin Seredynski (University of Luxembourg) From westphal at inf.ufsc.br Mon Apr 19 23:34:02 2010 From: westphal at inf.ufsc.br (Carlos Becker Westphall) Date: Mon, 19 Apr 2010 18:34:02 -0300 (BRT) Subject: [ecoop-info] CNSM 2010 (Former MANWEEK) 6th International Conference on Network and Service Management In-Reply-To: References: Message-ID: CNSM 2010 6th International Conference on Network and Service Management Niagara Falls, Canada October 25 - 29, 2010 http://www.ieee-cnsm.org/ The 6th International Conference on Network and Service Management (CNSM 2010) is a premier annual conference, sponsored by IEEE COMPSOC and IFIP, in the general area of network, systems, and services management. Built upon the success starting in 2005 to collocate six management workshops within the same week (MANWEEK), this year we debut the single main conference with a single track. The integrated conference provides a unique opportunity to showcase both premier research results and innovative cross-disciplinary explorations. As an open forum, we encourage authors to explore new ideas and to boost the synergy among distinctive but strongly correlated areas. Topics of interest include: Service and Business Management Distributed systems operations and management Application management (context-aware, enterprise, healthcare) Management of multimedia and data services SOA and web services management Data centers & hosting service management IT service management and Business process management Cloud computing and grid management Virtualization & resource provisioning Trust and privacy as a service Decision support for business-driven management Network Management Ad-hoc networks Wireless & mobile networks IP/MPLS networks LANs Optical networks Sensor networks Overlay networks P2P networks Broadband access networks Home networking IP Operations and management Smart Grids (Energy) Future Internet and Next-Generation networks Managing network and service changes Management Methods and Technologies Fault management Configuration management Performance management Security management Event management Energy management Policy-based management Autonomic and self-management Visualization Protocols, middleware, and mobile agents Control theory, optimization theory, and machine learning Probability and stochastic processes IMPORTANT DATES --------------- Paper registration and submission May 7, 2010 Author notification June 30, 2010 Camera ready papers due July 23, 2010 Conference date October 25-29, 2010 SUBMISSION DETAILS ------------------ Paper submissions must present original, unpublished research or experiences. Late-breaking advances and work-in-progress reports are also encouraged. Papers under review elsewhere MUST NOT be submitted to CNSM 2010. Authors are requested to submit either long papers or short papers (work-in-progress reports) formatted according to the standard IEEE two-column Transactions guidelines (http://www.ieee.org/portal/pages/pubs/transactions/stylesheets.html). * Long papers (up to 8 two-column pages) * Short papers (up to 4 two-column pages) Please visit JEMS conference management system at https://jems.sbc.org.br/ for paper registration and submission (only PDF files are accepted). ORGANIZING COMMITTEE -------------------- General Chair Raouf Boutaba, University of Waterloo, Canada Program Chairs Hanan Lutfiyya, University of Western Ontario, Canada Yixin Diao, IBM T.J. Watson Research Center, USA Program Vice Chairs Service and Business Management * Lisandro Granville, Federal University of Rio Grande do Sul, Brazil * John Strassner, POSTECH, Korea Network Management * Alexander Clemm, Cisco Systems, USA * Rolf Stadler, KTH Royal Institute of Technology, Sweden Management Methods and Technologies * Alexander Keller, IBM Global Technology Services, USA * Joan Serrat, University Politecnica de Catalunya, Spain Publications Chair Deep Medhi, University of Missouri, USA Publicity Chair Carlos Becker Westphall, Federal University of Santa Catarina, Brazil Workshops Chair Noura Limam, POSTECH, Korea Webmaster Karthick Ramachandran, University of Western Ontario, Canada Steering Committee Raouf Boutaba, University of Waterloo, Canada James Hong, POSTECH, Korea Aiko Pras, University of Twente, Nethereland Doug Zuckerman, Telcordia Technologies, USA From frederic.loiret at inria.fr Tue Apr 20 11:19:51 2010 From: frederic.loiret at inria.fr (=?iso-8859-1?Q?Fr=E9d=E9ric_Loiret?=) Date: Tue, 20 Apr 2010 11:19:51 +0200 Subject: [ecoop-info] Deadline extension: CfP ROOTS at ECOOP 2010 Message-ID: ================================== [Apologies in case of receiving multiple copies.] Note that the submission deadline has been moved to April 26, 2010. Please consider to contribute to and/or forward to the appropriate groups the following opportunity to submit and publish original scientific perspectives or results. ================================== CALL FOR PAPERS: ROOTS 2010 1st International Workshop on Real-time Object-Oriented TechnologieS http://www.cs.purdue.edu/roots10 roots at cs.purdue.edu co-located with ECOOP 2010 (http://2010.ecoop.org) June 21-25, Maribor, Slovenia Important Dates --------------- Paper submission: April 26, 2010 (extended deadline) Author notification: May 5, 2010 Workshop date: June 21 or 22, 2010 Topics of Interest ------------------ The behavior of real-time and embedded applications is constrained by the physical world. Higher-level programming languages and middleware are needed to robustly and productively design, implement, compose, integrate, validate, and enforce both real-time constraints and conventional functional requirements, while assuring modularity and composability of independently developed components. It is essential that the production of real-time embedded systems can take advantage of languages, tools, and methods that enable higher software productivity. The last decade have brought a plethora of ideas bridging the gap between high-level object-oriented approaches and the low-level problems of the real-time embedded world. However, experimentation is needed to evaluate these ideas and to transform them into practical language designs, tools, and methodologies. Finally, there is the problem of extending these ideas to truly object-oriented designs. The purpose of the ROOTs workshop is to bring together professionals and researchers experienced in adapting object-oriented programming to the world of real-time and embedded software. While object-oriented design and methodology bring the productivity necessary for the expanding field of real-time systems, the programming languages and tools often need to be adapted to address the specific challenges these fields represent. Sharing the experience of addressing low-level problems with object-oriented approaches is thus the key goal of the workshop. Furthermore, the workshop focuses on evaluation in practice to assess the object-oriented approaches with realistic problems. The goal is to further the understanding of such systems in practice, and connect practice and theory. The subject areas that this workshop proposes to address have recently seen increased interest, to mention a few, a newly released Virtual Machine allows users to deterministically execute regular Java on bare hardware, recent innovation of real-time garbage collection offers the real-time programming to the masses, componentization of industry-popular microOS introduces advanced object-oriented paradigm even into the OS layers, and a safety-critical specification for Java addresses the challenges of safety-critical certified software. This workshop aims to bring researchers together for passionate discussion about these examples and the relevant topics in general, and to promote not only the theory, but practical evaluation of these ideas, and experience reports. Topics of interest include but are not limited to: - Emerging applications, components and systems - New real-time programming paradigms and language features - Embedded software synthesis and verification - Reports on R&D progress in the field - Emerging tools and trends - Emerging standards (or the need for new standards) - Practical experiences, particularly from industry - Safety-critical software certification - Formal verification and model checking of real-time systems Submissions ----------- Both full papers (up to 8 pages) and position papers (2-4 pages) are welcome. Submissions should be formatted according to the standard ACM SIGPLAN conference format. These papers will be reviewed by the program committee primarily based on relevance and originality. Accepted papers will be published in the ACM Digital Library. Program Committee ----------------- Alexandre Bergel University of Chile, Chile Ivica Crnkovic Malardalen University, Sweden Huascar Espinoza ESI-Tecnalia, Spain Christian Haack Aicas Realtime, Germany David Holmes SUN Microsystems, Australia Tomas Kalibera Charles University, Czech Republic Fabrice Kordon University P. & M. Curie, France Doug Lea SUNY Oswego, USA Frederic Loiret INRIA Lille, France Kelvin Nilsen Aonix, USA Laurent Pautet Telecom ParisTech, France Ales Plsek Purdue University, USA Marek Prochazka ESA, Netherlands Francois Terrier CEA-LIST, France Jan Vitek Purdue University, USA Lukasz Ziarek Fiji Systems LLC, USA Organization Committee ---------------------- Jan Vitek Purdue University, USA Ales Plsek Purdue University, USA Frederic Loiret INRIA Lille, France Please visit the website for up-to-date information about the workshop: http://www.cs.purdue.edu/roots10 Contact: roots at cs.purdue.edu -------------- next part -------------- An HTML attachment was scrubbed... URL: http://web.satd.uma.es/pipermail/ecoop-info/attachments/20100420/863f3058/attachment.html From markku.j.sakkinen at cs.jyu.fi Wed Apr 21 09:58:21 2010 From: markku.j.sakkinen at cs.jyu.fi (Markku Sakkinen) Date: Wed, 21 Apr 2010 10:58:21 +0300 Subject: [ecoop-info] CFP - MASPEGHI 2010 - 1 week extension In-Reply-To: <20100420070123.GA30007@wind2.it.jyu.fi> References: <20100419192854.GA28582@wind2.it.jyu.fi> <20100420070123.GA30007@wind2.it.jyu.fi> Message-ID: <20100421075821.GA32341@wind2.it.jyu.fi> [Apologies if you receive multiple copies of this] Following other ECOOP workshops we have postponed the submission deadline from April 19 to April 26, more precisely to 24:00 Central European daylight-saving time (22:00 UTC). Hence: ** NB: The deadline is already after FIVE DAYS ** Technical problems caused this announcement to be delayed. :-( Call for Papers for the MASPEGHI 2010 Workshop MechAnisms for SPEcialization, Generalization and inHerItance Associated with ECOOP 2010, Maribor, Slovenia MASPEGHI 2010 invites papers suitable for generating insight and discussion about mechanisms for specialization, generalization, code reuse, and inheritance, with the following important dates: - Paper submission: April 26, 2010 - Notification of acceptance: May 5, 2010 - ECOOP early registration deadline: May 10, 2010 - Workshop: June 22 Please note that registration must be done with ECOOP itself. For more information, please visit the workshop web site: http://www.i3s.unice.fr/maspeghi2010/ Our apologies to those authors who have worked hard in order to submit a paper by the originally announced deadline. They may submit an updated version until the extended deadline. On behalf of the organising committee Markku Sakkinen From olhotak at uwaterloo.ca Tue Apr 20 16:59:03 2010 From: olhotak at uwaterloo.ca (Ondrej Lhotak) Date: Tue, 20 Apr 2010 10:59:03 -0400 Subject: [ecoop-info] Deadline extension: PPPJ 2010 -- Principles and Practice of Programming in Java Message-ID: <20100420145903.GA30725@uwaterloo.ca> Please accept our apologies if you receive multiple copies of this mailing. ############################################################ # Principles and Practice of Programming in Java # # PPPJ 2010 - Vienna, Austria, September 15-17, 2010 # # Call for Papers # ############################################################ http://www.complang.tuwien.ac.at/pppj10/ This conference will be held in cooperation with ACM SIGPLAN and ACM SIGAPP. SCOPE Java programming is multi-faceted, covering a rich diversity of systems, tools, frameworks and techniques. PPPJ provides a forum for researchers, practitioners and educators to present and discuss novel results on all aspects of Java programming including the language and its virtual machine, methods, tools, frameworks, case studies, and experience reports. We invite papers on all these aspects. Topics include but are not limited to: The Java Language and Systems Other Languages for the JVM VM Design and Optimization Software Engineering with Java Model-driven Development in Java Component- and Service-oriented Architectures Java Frameworks and Tools Java and Formal Methods Testing, Analysis and Metrics Java on Mobile and Embedded Devices Java Concurrency Parallelization of Java programs Applications in Science, Engineering, and Business Java Practice and Experience Reports Teaching Java SUBMISSION GUIDELINES All papers must represent original and unpublished work that is not currently under review. 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 required to attend the conference. Two types of paper submissions will be accepted: research/experience papers as well as tool demonstration papers. Research/experience papers must not exceed 10 pages, while tool demonstration papers must not exceed 4 pages. 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 also plan to invite the authors of the best papers to provide an extended version for a special issue of Elsevier Science of Computer Programming. The required format for the submission is the ACM SIGPLAN Proceedings Style. The author information containing the Latex and Word templates can be found at http://www.sigplan.org/authorInformation.htm. Please apply the ACM Computing Classification categories and terms (http://www.acm.org/class/1998/). IMPORTANT DATES * Abstract Submissions: EXTENDED TO May 2, 2010 (24:00 GMT) * Paper Submissions: EXTENDED TO May 9, 2010 (24:00 GMT) * Author Notification: June 14, 2010 * Camera Ready Submissions: July 18, 2010 * Author Registration Deadline: July 23, 2010 ORGANIZERS General Chair - Andreas Krall, Vienna University of Technology, Austria Program Chair - Hanspeter M?ssenb?ck, University of Linz, Austria Publicity Chair - Ondrej Lhotak, University of Waterloo, Canada Web chair - Alexander Jordan, Vienna University of Technology, Austria Steering Committee - Markus Aleksy, ABB Corporate Research, Germany - Vasco Amaral, Universidade Nova de Lisboa, Portugal - Conrad Cunningham, University of Mississippi, USA - Ralf Gitzel, ABB Corporate Research, Germany - John Waldron, Trinity College Dublin, Ireland Program Committee - Elvira Albert, Complutense University of Madrid (Spain) - Walter Binder, University of Lugano (Switzerland) - Judith Bishop, Microsoft Research (USA) - Giacomo Cabri, University of Modena and Reggio Emilia (Italy) - Bruce Childers, University of Pittsburgh (USA) - Deepak Dhungana, Lero (Ireland) - Artur Miguel Dias, New University Lisbon (Portugal) - Stephan Diehl, University of Trier (Germany) - Bertil Folliot, Inria (France) - Joseph (Yossi) Gil, Technion (Israel) - Dave Grove, IBM Research (USA) - Tibor Gyimothy, University of Szeged (Hungary) - Petr Hnetynka, Charles University Prague (Czech Republic) - Nigel Horspool, University of Victoria (Canada) - Axel Korthaus, Queensland University of Technology (Australia) - Andreas Krall, Vienna University of Technology (Austria) - Ondrej Lhotak, University of Waterloo (Canada) - Lian Li, Sun Labs (Australia) - Thomas Preuss, Brandenburg University of Applied Sciences (Germany) - Christian Probst, Technical University of Denmark (Denmark) - Ian Rogers, Azul Systems (USA) - Abhik Roychoudhury, National University of Singapore (Singapore) - Doug Simon, Sun Labs (USA) - Ryan Stansifer, Florida Institute of Technology (USA) - Ben Stephenson, University of Calgary (Canada) - Antero Taivalsaari, Nokia (Finland) - Jeffery von Ronne, University of Texas at San Antonio (USA) - George Wells, Rhodes University (South Africa) - Christian Wimmer, UC Irvine (USA) From announce at cs.ucy.ac.cy Tue Apr 20 15:11:08 2010 From: announce at cs.ucy.ac.cy (Announcements) Date: Tue, 20 Apr 2010 16:11:08 +0300 Subject: [ecoop-info] CFP: 19th Euromicro PDP Message-ID: <9JJRKV1D-DC17-AL7W-9U7L-39CWVOL13I8D@cs.ucy.ac.cy> CALL FOR PAPERS 19th Euromicro International Conference on Parallel, Distributed and Network-based Processing PDP 2011 Grecian Bay Hotel, Ayia Napa, Cyprus, February 9-11 2011 http://www.pdp2011.org Paper submission: July 16th, 2010 Scope ~~~~~ Parallel, Distributed, and Network-Based Processing has undergone impressive change over recent years. New architectures and applications have rapidly become the central focus of the discipline. These changes are often a result of cross-fertilisation of parallel and distributed technologies with other rapidly evolving technologies such as telecommunications and multimedia. It is of paramount importance to review and assess these new developments in comparison with recent research achievements in the well-established areas of parallel and distributed computing, from industry and the scientific community. The PDP 2010 aims to provide a forum for the presentation of these and other issues through original research presentations and to facilitate the exchange of knowledge and new ideas at the highest technical level. Topics of interest include, but are not restricted to: * Distributed Systems: Distributed databases, distributed object-oriented systems, distributed operating systems, heterogeneous distributed systems, distributed algorithms, distributed shared memory systems * Network-based Computing: Web computing, cluster computing, cloud computing, computational grids, data grids, semantic grid, mobile agents, distributed web services, security in distributed systems * Parallel Computer Systems: massively parallel machines, interconnection networks, embedded parallel and distributed systems, fault-tolerance, memory organization, support for parallel I/O, multi/many core systems, GPU and FPGA based parallel systems * Models and Tools for Parallel Programming Environments: performance prediction and analysis, simulation, knowledge-based parallel program development, visualization tools * Advanced Applications: multi-disciplinary applications, parallel databases, computations over irregular domains, numerical applications with multi-level parallelism, real time distributed applications, distributed business applications * Languages, Compilers and Runtime Support Systems: task and data parallel languages, functional and logic languages, object-oriented languages, dependability issues, scheduling and load balancing, task and object migration Special Sessions ---------------- The following special sessions will be organized within the conference: * Next Generation of Web Computing, chair Konrad Klockner * Modeling, Simulation, and Optimization of Peer-to-peer environments, chair Julien Bourgeois * New Topics in Parallel Computing in Optimization, chair Didier El Baz * Grid, Parallel and Distributed Bioinformatics Applications, chairs Ivan Merelli and Daniel D'Agostino * Grid and High Performance Computing for Nuclear Fusion Applications, chair Rainer Stotzka and Jan Westerholm * On-chip Parallel and Network-based Systems, chairs Hamid Sarbazi-Azad and Nader Bagherzadeh * Virtualisation in Distributed Systems, chair Thierry Delaitre * Security in Networked and Distributed Systems (SNDS 2011) chair Igor Kotenko Papers can be submitted either to conference main track or to one of these Special Sessions. All accepted papers will be included in the same volume, published by IEEE Computer Society Press. Important dates --------------------------- Deadline for paper submission: July 16th, 2010 Acceptance notification: October 4th, 2010 Camera ready paper due: October 29th, 2009 Conference: February 9-11th, 2011 Venue ----- PDP 2011 will take place at Grecian Bay Hotel, Ayia Napa, Cyprus. Paper submission ----------------- Prospective authors should submit a full paper not exceeding 5000 words in length and including a 150-200 word abstract. To facilitate an anonymous reviewing process, the first page of the paper should contain only the title and abstract; moreover, the names of the authors of the paper must not appear in citations in the reference section. Program Co-Chairs ----------------- Yiannis Cotronis, University of Athens George Angelos Papadopoulos, University of Cyprus Marco Danelutto, University of Pisa -------------------------------------------------------------------- This is not SPAM. If you want to be removed from this list, please send an email to [announce at cs.ucy.ac.cy] with the single word 'remove' in the subject of the email. From fraser at cs.uni-saarland.de Wed Apr 21 09:23:32 2010 From: fraser at cs.uni-saarland.de (Gordon Fraser) Date: Wed, 21 Apr 2010 09:23:32 +0200 Subject: [ecoop-info] CfP: TAIC PART 2010 - deadline extended Message-ID: <61A51BD8-8112-457E-862F-4897BBFCB530@cs.uni-saarland.de> CALL FOR PAPERS Testing: Academic and Industrial Conference - Practice and Research Techniques (TAIC PART 2010) Windsor, United Kingdom September 3 - 5, 2010 http://www2010.taicpart.org/ Deadlines extended: * Paper submission: April 30, 2010 * Fast abstract submission: June 11, 2010 Theme and Goals: ---------------- TAIC PART is a conference that aims to forge collaboration between industry and academia on the challenging and exciting problem of software testing. It is sponsored by representatives of both industry and academia, bringing together commercial and industrial software developers and users with academic researchers working on the theory and practice of software testing. The goals of TAIC PART range from the articulation of fundamental research questions in the field of software testing and analysis to practical challenges that are often faced by software developers in industry. TAIC PART is a unique event that strives to combine the important aspects of a software testing conference, workshop, and retreat. Keynote Speakers: ----------------- Dr Wolfgang Grieskamp, Microsoft, USA Prof Sir Tony Hoare, Microsoft Research Cambridge, UK Prof Bertrand Meyer, ETH Zuerich, Switzerland Call for Papers: ---------------- TAIC PART 2010 solicits papers on, but is not limited to, the following areas: - Test Adequacy Criteria - Test Suite Execution - Test Coverage Monitoring - Automated Test Data Generation - Regression Testing - Automated Debugging and Fault Localization - Performance Evaluation - Static and Dynamic Analysis - Verification and Validation - Software Reliability Engineering - Model-Based Testing - Testing and Formal Methods - Testing and Model Checking - Software Testing Process - Technology Transfer Submissions: ------------ We invite submission of papers of the following types: - Full papers (16 pages): Original research - Short papers (8 pages): Experience reports, tool papers, challenge papers, PhD papers - Fast Abstracts (4 pages) Authors should submit a PDF version of their paper through the TAIC PART 2010 paper submission site. Papers must be written in English, and prepared according to Springer's LNCS style (guidelines: http://www.springer.de/comp/lncs/authors.html). All papers will undergo a rigorous review by at least three members of the program committee. - Original research papers will explore novel software testing ideas and techniques. These papers should furnish a detailed theoretical or empirical evaluation of the proposed approach. - Experience reports should provide practical and generalizable insights into how to apply and extend existing approaches to software testing and analysis and will be evaluated with respect to the significance and generality of the described testing experience. - Tool papers must focus on the design, implementation, and evaluation of software testing and analysis tools and will be judged by the technical merit, novelty, and evaluation of the tool. - Challenge papers describe a real-world software testing problem for which academics seek help from industry or vice versa and will be assessed according to their ability to forge partnerships and ultimately yield successful solutions. - PhD papers are for PhD students who are interested in receiving feedback about dissertation research that is an early stage. There will be a dedicated PhD session at the conference. - Fast Abstract papers are short papers that describes late breaking results or works in progress and will be evaluated according to their ability to generate discussion and suggest interesting areas for future research. Conference Proceedings: ----------------------- Accepted papers will be published in a volume of the Springer Lecture Notes in Computer Science series (LNCS). Special Issue: -------------- Authors of the selected papers will be invited to submit extended versions of their papers for publication in a special issue of Software: Practice and Experience. Important Dates: ---------------- * Paper submission: April 30, 2010 (extended) * Author notification: June 4, 2010 * Fast abstract submission: June 11, 2010 * Fast abstract notification: June 21, 2010 * Camera-ready version due: June 25, 2010 * Conference dates: September 3-5, 2010 Conference Chair: ----------------- Anthony Simons, Sheffield University, UK Program Co-Chairs: ------------------ Leonardo Bottaci, University of Hull, UK Gordon Fraser, Saarland University, Germany Program Committee: ------------------ Rui Abreu, University of Porto, Portugal Paul Baker, Motorola, UK Sigrid Eldh, Ericsson, Sweden Michael Ernst, University of Washington, USA Mark Harman, King's College, UK Rob Hierons, Brunel University, UK Daniel Hoffman, University of Victoria, Canada John Hughes, QuviQ, Sweden Gregory Kapfhammer, Allegheny College, USA Wes Masri, American University of Beirut, Lebanon Phil McMinn, Sheffield University, UK Atif Memon, University of Maryland, USA Manuel Nunez, Universidad Complutense de Madrid, Spain Jeff Offutt, George Mason University, USA Alexander Pretschner, Technische Universitaet Kaiserslautern, Germany Filippo Ricca, Universit? degli Studi di Genova, Italy Marc Roper, University of Strathclyde, Scotland Paul Strooper, The University of Queensland, Australia Nikolai Tillmann, Microsoft Research, USA Timea Illes-Seifert, University of Heidelberg, Germany Hasan Ural, University of Ottawa, Canada Neil Walkinshaw, Sheffield University, UK Elaine Weyuker, AT&T Research Labs, USA Website: -------- http://www2010.taicpart.org/ From mauro.prevostini at usi.ch Tue Apr 20 15:32:58 2010 From: mauro.prevostini at usi.ch (Mauro Prevostini) Date: Tue, 20 Apr 2010 15:32:58 +0200 Subject: [ecoop-info] Open postdoctoral research positions in computational mathematics - University of Lugano Message-ID: <4BCDAD0A.5070009@usi.ch> Universit? della Svizzeria Italiana (University of Lugano) Faculty of Informatics Institute of Computational Science *********** Open postdoctoral research positions in computational mathematics *************** The Institute of Computational Science (ICS) in the Faculty of Informatics at the University of Lugano (http://www.ics.inf.usi.ch) invites applications for postdoctoral research positions in the area of computational mathematics. The research positions are part of the Swiss HP2C-initiative (High-Performance and High Productivity Computing Initiative, http://www.hp2c.ch). The successful applicants will work in close collaboration with researchers in Switzerland and world-wide. The areas of focus of these positions include: - Development, analysis and implementation of parallel numerical methods for high performance computing. - Actively collaborating with the HP2C applications development teams and the groups at ICS. - Publishing papers in high-quality refereed conferences and journals. The candidates should meet the following requirements: - A master or diploma and doctoral degree in mathematics, computer science or related disciplines with a strong focus on scientific computing/computational sciences. - Strong background in High Performance Computing and/or Computational Mathematics. - Fluency (written and oral) in English. Knowledge in the following areas is welcome: - (massively) parallel computing; - (nonconforming) domain decomposition techniques; - adaptive methods (e.g. adaptive finite elements); - nonlinear and inverse problems; - state of the art solution and discretization methods; - hierarchical methods, wavelets, multipol; - programming experience with C/C++ and MPI; - mathematical modeling and numerical analysis; - multi core chips, concurrency-supporting languages and hardware specific languages. Applications should be sent by e-mail to decanato.inf at usi.ch including the following documents: - a complete CV; - a journal article published or under submission; - a letter stating the reasons of your interest and your competences in the field. Position will be for a three years term at standard conditions for postdoctoral fellows at USI. Applications will be accepted until the positions are filled. Applications submitted until May 31, 2010 will be treated with higher priority. Owing to the large number of enquiries expected, only those applicants whose profiles are likely to fit the positions will be notified for further details and eventual interviews. For additional information, please contact rolf.krause at usi.ch. From didier at lrde.epita.fr Wed Apr 21 10:48:04 2010 From: didier at lrde.epita.fr (Didier Verna) Date: Wed, 21 Apr 2010 10:48:04 +0200 Subject: [ecoop-info] ELW 2010 deadline extension -- April 25th Message-ID: +------------------------------------------------------------+ | CALL FOR PAPERS | | 7th European Lisp Workshop | | June 22 2010, Maribor, Slovenia, co-located with ECOOP | +------------------------------------------------------------+ Important Dates =============== Submission deadline: April 25, 2010 ** EXTENDED ** Notification of acceptance: May 05, 2010 ECOOP early registration deadline: May 10, 2010 7th European Lisp Workshop: June 22, 2010 Please note that registration must be done with ECOOP itself. For more information visit http://www.european-lisp-workshop.org Contact: Didier Verna, didier at lrde.epita.fr Invited Speaker =============== Manuel Serrano (INRIA, France) http://www-sop.inria.fr/members/Manuel.Serrano/ Overview ======== "...Please don't assume Lisp is only useful for Animation and Graphics, AI, Bio-informatics, B2B and E-Commerce, Data Mining, EDA/Semiconductor applications, Expert Systems, Finance, Intelligent Agents, Knowledge Management, Mechanical CAD, Modeling and Simulation, Natural Language, Optimization, Research, Risk Analysis, Scheduling, Telecom, and Web Authoring just because these are the only things they happened to list." -- Kent Pitman Lisp, one of the eldest computer languages still in use today, is gaining momentum again. The structure of Lisp makes it easy to extend the language or even to implement entirely new dialects without starting from scratch, making it the ideal candidate for writing Domain Specific Languages. Common Lisp, with the Common Lisp Object System (CLOS), was the first object-oriented programming language to receive an ANSI standard and remains the most complete and advanced object system of any programming language, while influencing many other object-oriented programming languages that followed. This workshop will address the near-future role of Lisp-based languages in research, industry and education. We solicit contributions that discuss the opportunities Lisp provides to capture and enhance the possibilities in software engineering. We want to promote lively discussion between researchers proposing new approaches and practitioners reporting on their experience with the strengths and limitations of current Lisp technologies. The workshop will have two components: there will be formal talks, and interactive turorial/demo/coding sessions. Papers ====== Formal presentations in the workshop should take between 20 minutes and half an hour; additional time will be given for questions and answers. Suggested topics include (but are not limited to): - Context-, aspect-, domain-oriented and generative programming - Macro-, reflective-, meta- and/or rule-based development approaches - Protocol meta-programming and libraries - New language features and abstractions - Software evolution - Development aids - Persistent systems - Dynamic optimization - Implementation techniques - Hardware Support - Efficiency, distribution and parallel programming - Educational approaches and perspectives - Experience reports and case studies Interactive Tutorial/Demo/Coding Sessions ========================================= Additionally, we invite less formal talks in the form of interactive tutorial/demo/coding sessions. The purpose of these sessions is both to demonstrate and receive feedback on any interesting Lisp system, either stable or under development. Being less formal than technical paper presentations, these sessions are expected to be highly interactive. Submission Guidelines ===================== Potential contributors are encouraged to submit: - a long paper (around 10 pages) presenting scientific and/or empirical results about Lisp-based uses or new approaches for software engineering purposes, - a short essay (5 pages) defending a position about where research, practice or education based on Lisp should be heading in the near future, - a proposal for an interactive tutorial/demo/coding session (1-2 pages) describing the involved library or application, and the subject of the session. Papers (both long and short) should be formatted following the ACM SIGS guidelines and include ACM classification categories and terms (see below). Authors will later be required to sign an ACM copyright form, as the workshop proceedings will be published in the ACM Digital Library. For more information on the submission guidelines and the ACM keywords, see: http://www.acm.org/sigs/publications/proceedings-templates http://www.acm.org/about/class/1998 Submissions should be uploaded to Easy Chair, at the following address: http://www.easychair.org/conferences/?conf=elw2010 Organizers ========== Didier Verna, EPITA Research and Development Laboratory, Paris Charlotte Herzeel, Programming Technology Lab, Vrije Universiteit, Brussel Robert Strandh, LaBRI, University of Bordeaux 1, France Christophe Rhodes, Goldsmiths College, University of London -- Resistance is futile. You will be jazzimilated. Scientific site: http://www.lrde.epita.fr/~didier Music (Jazz) site: http://www.didierverna.com From pascal.hitzler at wright.edu Mon Apr 26 05:25:18 2010 From: pascal.hitzler at wright.edu (Pascal Hitzler) Date: Sun, 25 Apr 2010 23:25:18 -0400 Subject: [ecoop-info] Journal CfP: Semantic Web Tools and Systems Message-ID: <4BD5079E.2000301@wright.edu> == special call for papers on == SEMANTIC WEB TOOLS AND SYSTEMS = Description = The "Semantic Web" journal invites submissions of short papers describing mature Semantic Web related tools and systems. These reports should be brief and pointed, indicating clearly the capabilities of the described tool or system. It is strongly encouraged, that the described tools or systems are free, open, and accessible on the Web. If this is not possible, then they have to be made available to the reviewers. For commercial tools and systems, exceptions can be arranged through the editors. Submissions will be reviewed along the following dimensions: (1) Quality, importance, and impact of the described tool or system. (2) Clarity, illustration, and readability of the describing paper, which shall convey to the reader both the capabilities and the limitations of the tool. = Topics of Interest = We invite submissions on all kinds of tools and systems related to the semantic web, including, but not limited to, the following. * ontology editors * ontology engineering systems * Semantic Web development toolkits * ontology learning and acquistion tools * Annotation tools * ontology alignment and merging tools * ontology revision and evolution tools * ontology evaluation tools * RDF stores * RDF reasoners * OWL reasoners * RIF editors and reasoners * Semantic Wiki engines * Semantic Desktop systems * Semantic browsers * Semantic search tools * Semantic Mashup tools If you are uncertain if your tool or system is suitable for this call, please direct your inquiry to Pascal = Important Dates = Submission Deadline: 30th of June, 2010. Acceptance Notification: 31st of August, 2010 Final Paper: 30th of September, 2010 = Submissions = Submissions should be 8-10 pages in length. Exceptions can be arranged, please contact Pascal for inquiries. Please see the submission information and guidelines at . When entering your manuscript into the review system, please state "Tools and Systems" in the cover letter. Please also note the journal's open review process detailed at . = Contact = Pascal Hitzler, Kno.e.sis Center, Wright State University Krzysztof Janowicz, Pennsylvania State University Please direct all inquiries to Pascal = Editorial Board = Claudia d'Amato, Universit? degli Studi di Bari, Italy S?ren Auer, Universit?t Leipzig, Germany Lora Aroyo, Free University of Amsterdam, The Netherlands Boyan Brodaric, Geological Survey of Canada, Canada Philipp Cimiano, Universit?t Bielefeld, Germany Oscar Corcho, Universidad Polit?cnica de Madrid, Spain Bernardo Cuenca-Grau, Oxford University, UK Michel Dumontier, Carleton University, Canada Mark Gahegan, University of Auckland, New Zealand Aldo Gangemi, ISTC-CNR Rome, Italy Giancarlo Guizzardi, Federal University of Esp?rito Santo, Brazil Manfred Hauswirth, DERI, National University of Ireland, Galway Tom Heath, Talis, UK Rinke Hoekstra, Universiteit van Amsterdam, The Netherlands Andreas Hotho, Universit?t W?rzburg, Germany Eero Hyv?nen, Aalto University, Finland Werner Kuhn, University of Muenster, Germany Thomas Lukasiewicz, Oxford University, UK Axel Polleres, DERI, National University of Ireland, Galway Martin Raubal, University of California, Santa Barbara, USA Marta Sabou, The Open University, UK Christoph Schlieder, University of Bamberg, Germany Paulo Pinheiro da Silva, The University of Texas at El Paso, USA Jie Tang, Tsinghua University Beijing, China Kunal Verma, Accenture, USA online version of this call: http://www.semantic-web-journal.net/content/special-call-semantic-web-tools-and-systems -- Prof. Dr. Pascal Hitzler Dept. of Computer Science, Wright State University, Dayton, OH pascal at pascal-hitzler.de http://www.knoesis.org/pascal/ Semantic Web Textbook: http://www.semantic-web-book.org Semantic Web Journal: http://www.semantic-web-journal.net From robert at grid.chu.edu.tw Sat Apr 24 23:37:37 2010 From: robert at grid.chu.edu.tw (Robert C. Hsu) Date: Sun, 25 Apr 2010 05:37:37 +0800 Subject: [ecoop-info] Call for Papers - IEEE GLOBECOM 2010 Workshop on Web and Pervasive Security (WPS 2010, 6 - 10 December 2010, Miami, USA) Message-ID: <201004242137.o3OLbbGl012210@grid.chu.edu.tw> An HTML attachment was scrubbed... URL: http://web.satd.uma.es/pipermail/ecoop-info/attachments/20100425/8b859d3c/attachment.html From zdun at infosys.tuwien.ac.at Thu Apr 22 09:56:42 2010 From: zdun at infosys.tuwien.ac.at (Uwe Zdun) Date: Thu, 22 Apr 2010 09:56:42 +0200 Subject: [ecoop-info] CFP: 1st Workshop on Engineering SOA and the Web (ESW'10): DEADLINE EXTENDED Message-ID: <4BD0013A.2070700@infosys.tuwien.ac.at> CALL FOR PAPERS 1st Workshop on Engineering SOA and the Web (ESW'10) Hosted at Tenth International Conference on Web Engineering (ICWE 2010) July 5 - 9, 2010 in Vienna, Austria http://www.infosys.tuwien.ac.at/linksites/events/ESW10/ ------------------------------------------------------------ DEADLINE EXTENDED: April 28th, 2010: Paper Submission ------------------------------------------------------------ Service-Oriented Architectures (SOA) are nowadays used as the backbone of many Web applications. ESW'10 will focus on the overlap of engineering service-oriented systems and Web applications into a coherent system. The main goals of the workshop are to bring together experts, both from industry and academia, who work on the interdependent context of SOA and Web applications and use engineering methods to make that link. The workshop will be a full day interactive workshop with sessions organized to facilitate discussion and interaction among the participants. The main goals of the workshop are to bring together experts, both from industry and academia, who work on the interdependent context of SOA and Web applications, and use engineering methods to make that link. The workshop seeks high quality papers on the following topics (among others): * Monitoring of SOAs via the Web * Management of SOAs via the Web * Governance of SOAs via the Web * Integration of SOAs and Web Applications * Web Dashboards for SOAs * Monitoring and Management for Compliance of SOA * Metrics for SOA Management * Security Management in SOA * Engineering Methods and Approaches for SOAs and Web Applications PUBLICATION The ICWE'10 workshops will be published in a Springer LNCS volume as post-proceedings. Please use the Springer Guidelines already for paper submission (see instructions below). ORGANIZERS Uwe Zdun Information Systems Institute Vienna University of Technology Austria Schahram Dustdar Information Systems Institute Vienna University of Technology Austria Bruno Crispo Department of Information Engineering and Computer Science University of Trento Italy PROGRAM COMMITEE - Farhad Arbab, Stichting Centrum voor Wiskunde en Informatica, Netherlands - Aliaksandr Birukou, Universita degli Studi di Trento, Italy - Vincenzo D'Andrea, Universita degli Studi di Trento, Italy - Mohand-Said Hacid, Universit? Claude Bernard Lyon 1, France - Frank Leymann, Universit?t Stuttgart, Germany - Willem-Jan van den Heuvel, Stichting Katholieke Universiteit Brabant, Netherlands - Huy Tran, Technische Universit?t Wien, Austria - Mark Strembeck, Vienna University of Economics, Austria - Ralph Mietzner, Universit?t Stuttgart, Germany - Marco Aiello, Rijksuniversiteit Groningen, Netherlands - Pietro Mazzoleni, IBM, USA - Fabio Massacci, University of Trento, Italy - Guenter Karioth, IBM, Switzerland - Philip Robinson, SAP GUIDELINES FOR SUBMISSION All submissions should not exceed 12 Springer LNCS pages. Submissions should be sent as PDF files via the electronic submission system: http://www.easychair.org/conferences/?conf=esw10 Formatting guidelines can be found at: Springer LNCS guide. Submissions should be original and unpublished research work or industrial experiences. Each submitted paper will undergo a rigorous review process by at least three members of the Program Committee. IMPORTANT DATES April 28th, 2010: Paper Submission May 21st, 2010: Author Notification June 7th, 2010: Camera-Ready Copy July 5 - 6, 2010: Workshop takes place From ubcminchen at hotmail.com Wed Apr 21 19:13:36 2010 From: ubcminchen at hotmail.com (Chen Min) Date: Wed, 21 Apr 2010 17:13:36 +0000 Subject: [ecoop-info] Wiley I. J. of Comm. Systems Special Issue: Advances in Multimedia Communications Message-ID: ------------------------------------------------ Call for Papers Intl. Journal of Communication Systems (IJCS) SPECIAL ISSUE ON Advances in Multimedia Communications ------------------------------------------------ Paper Submission Deadline: May. 1, 2010 Overview Recent advances in communications technologies have witnessed a growing and evolving multimedia content delivery market based on information gathering, manipulation, and dissemination. It is a fact that personal communications, computing, broadcasting, entertainment, etc. have turned into streams of multimedia content, and the various communication and network technologies have become the means to carry that content to a wide variety of terminals. Unlike traditional communication systems, a fundamental challenge for present and future communication systems is the ability to transport multimedia content over a variety of networks energy-efficiently at different channel conditions and bandwidth capacities with various requirements of quality-of-service. There are many issues need to be addressed such as signal processing, collaborations, power management, flexible delivery, specialization of new content, dynamic access, telecommunications, networking, etc., due to the multi-disciplinary nature of the applications in advanced multimedia communications. The goal of this issue is to bring together the state of the art research contribution that describes original and unpublished work addressing the new emerging techniques on multimedia communications. Especially, we solicit research papers on addressing challenging issues existing for enabling mobile multimedia communications over heterogeneous infrastructure for realizing next generation networking and computing, e.g., 4 G all IP networks, ad hoc networks, wireless sensor networks, ubiquitous computing environments, cognitive radio networks, etc. For example, ubiquitous multimedia is a requirement in next generation networks, such as multimedia adaption in wireless network; multimedia services in ubiquitous circumstance; improving distributed multimedia communication through location awareness, action awareness, user awareness, etc. On the other hand, due to the limited computational power, memory and battery energy in wireless and portable terminals, power efficient design also plays important role in next generation mobile multimedia applications. Topics Topics of interest include, but are not limited to, the following scope: *New emerging multimedia applications and architectures - Enabling multimedia capability in E-healthcare, Smart house etc.; - Wireless sensor system for video surveillance - Mobile and multimedia communications in sensor networks - Ubiquitous and ?green? multimedia design next generation networks *Video communication over next generation networks - Energy efficient and scalable control in next generation wireless video terminals - Cost effective and low power video coding design in wireless networks - Frontiers in game theory and multimedia systems - Distributed video coding and dissemination in wireless networks *Emerging technologies for multimedia communications - Multimedia communications in new emerging systems - Resource allocation in energy-constrained wireless multimedia networks - Collaborative in-network processing; - Cross-layer design for multimedia communications; - Distributed coding and joint source-channel coding; - Error resilience and concealment; - Resource allocation and system scheduling; - Multimedia security. Important Dates Paper Submission Deadline: May. 1, 2010 1st Notification of acceptance: Aug. 1, 2010 Submission due date of revised paper: Sep. 1, 2010 2nd Notification of acceptance: Oct. 15, 2010 Submission of final revised paper: Nov. 15, 2010 Publication date: Mar., 2011 (Tentative) Submission Papers are solicited for the special issue, guidelines for preparation of the manuscripts, are provided at the International Journal of Communication Systems website, http://www3.interscience.wiley.com/journal/117946196/grouphome/ForAuthors.html. The authors need to submit their papers online while sending a cover letter to all of the guest editors. The cover letter must include paper title, abstract, the corresponding author's name and affiliation. The "Subject field" of the email must contain "IJCS Multimedia Paper - ". All papers will be rigorously reviewed based on the quality: originality, high scientific quality, organization and clarity of writing, and support provided for assertions and conclusion. Guest Editors Prof. Victor C. M. Leung (University of British Columbia, Canada, vleung at ece.ubc.ca) Prof. Yang Xiao (University of Alabama, USA, yangxiao at cs.ua.edu ) Prof. Min Chen (Seoul National University, Korea, minchen at ieee.org) Prof. Takahiro Hara (Osaka University, Japan, hara at ist.osaka-u.ac.jp) Dr. Liang Zhou (ENSTA-ParisTech, France, liang.zhou at ieee.org) Contact For more information, please contact the corresponding guest editor Prof. Min Chen (minchen at ieee.org). _________________________________________________________________ The New Busy is not the too busy. Combine all your e-mail accounts with Hotmail. http://www.windowslive.com/campaign/thenewbusy?tile=multiaccount&ocid=PID28326::T:WLMTAGL:ON:WL:en-US:WM_HMP:042010_4 -------------- next part -------------- An HTML attachment was scrubbed... URL: http://web.satd.uma.es/pipermail/ecoop-info/attachments/20100421/5ec9cc20/attachment-0001.html From thomas.schwentick at udo.edu Fri Apr 23 07:09:14 2010 From: thomas.schwentick at udo.edu (Thomas Schwentick) Date: Fri, 23 Apr 2010 07:09:14 +0200 Subject: [ecoop-info] STACS 2011 - Call for papers Message-ID: <957DE06B-65E0-45BD-825E-921A69AC668C@udo.edu> [Apologies for multiple copies] ************************************************************************ 28th International Symposium on Theoretical Aspects of Computer Science STACS 2011 - CALL FOR PAPERS March 10-12, 2011, Dortmund, Germany http://stacs2011.de/ ************************************************************************ SCOPE ******** Authors are invited to submit papers presenting original and unpublished research on theoretical aspects of computer science. Typical areas include (but are not limited to): * Algorithms and data structures, including: parallel and distributed algorithms, computational geometry, cryptography, algorithmic learning theory; * Automata and formal languages; * Computational and structural complexity; * Logic in computer science, including: semantics, specification, and verification of programs, rewriting and deduction; * Current challenges, for example: biological computing, quantum computing, mobile and net computing. PROGRAM COMMITTEE *************************** Dietmar Berwanger, ENS Cachan Patrick Briest, Paderborn University Christian Choffrut, LIAFA, Universit? Denis Diderot Benjamin Doerr, MPI Saarbr?cken Christoph D?rr, Ecole Polytechnique (co-chair) Leah Epstein, University of Haifa Thomas Erlebach, University of Leicester Michele Flammini, University of L'Aquila Nicolas Hanusse, LaBRI Bordeaux Markus Holzer, Gie?en University D?niel Marx, Tel Aviv University Claire Mathieu, Brown University Colin McDiarmid, Oxford University Rolf Niedermeier, Jena University Nicolas Ollinger, Aix-Marseille Universit? Marco Pellegrini, CNR Pisa Jean-Francois Raskin, Universit? Libre de Bruxelles Thomas Schwentick, TU Dortmund University (co-chair) Jeffrey Shallit, University of Waterloo Till Tantau, University of L?beck Sophie Tison, Universit? de Lille Ronald de Wolf, CWI Amsterdam INVITED SPEAKERS **************** - Susanne Albers, Humboldt University Berlin - Veronique Cortier, LORIA Nancy - Georg Gottlob, Oxford University SUBMISSIONS *********** Authors are invited to submit a draft of a full paper with at most 12 pages (STACS style or similar - e.g. LaTeX article style, 11pt a4paper). The title page must contain a classification of the topic covered, preferably using the list of topics above. The paper should contain a succinct statement of the issues and of their motivation, a summary of the main results, and a brief explanation of their significance, accessible to non-specialist readers. Proofs omitted due to space constraints must be put into an appendix to be read by the program committee members at their discretion. Submissions deviating from these guidelines risk rejection. Electronic submissions should be formatted in PostScript or PDF. Simultaneous submission to other conferences with published proceedings is not allowed. PROCEEDINGS *********** Accepted papers will be published in the proceedings of the Symposium. As usual, these proceedings will appear in the Leibniz International Proceedings in Informatics (LIPIcs) series, based at Schloss Dagstuhl. This guarantees perennial, free and easy electronic access, while the authors will retain the rights over their work. In addition, the proceedings will also be available as archives in the open access electronic repositories HAL and arXiv. With their submission, authors consent to sign a license authorizing the program committee chairs to organize the electronic publication of their paper if it is accepted. Further details are available on www.stacs-conf.org and on the conference website, stacs2011.de. Participants of the conference will receive a USB-stick with an electronic version of the proceedings. It is also planned to publish in a journal a selection of papers. IMPORTANT DATES *************** Deadline for submission: September 24, 2010 Notification to authors: November 29, 2010 Final version: January 3, 2011 Symposium: March 10-12, 2011 From acl at info.fundp.ac.be Tue Apr 27 12:32:32 2010 From: acl at info.fundp.ac.be (Anthony Cleve) Date: Tue, 27 Apr 2010 12:32:32 +0200 Subject: [ecoop-info] ASE'2010 - Call for Tool Demonstrations Message-ID: <8DE57DC4-4983-4908-B8D1-CBC5A3FED15B@info.fundp.ac.be> CALL FOR TOOL DEMONSTRATIONS 25th International Conference on Automated Software Engineering ASE'2010 20-24 September 2010 - Antwerp, Belgium http://soft.vub.ac.be/ase2010/ ----------------------------------------------------------------- DATES May 17: Paper submission June 24: Author notification July 8: Camera-ready papers September 20-24: ASE 2010 ----------------------------------------------------------------- INTRODUCTION Software Engineering is concerned with the analysis, design, implementation, testing, and maintenance of software systems. Automated software engineering focuses on how to automate these tasks in order to achieve improvements in quality and productivity. Tool support, therefore, is central to this. The 25th IEEE/ACM International Conference on Software Engineering invites high-quality submissions for its tool demonstrations track. The ASE tool demonstrations track provides an opportunity for researchers and practitioners to present and discuss the most recent advances, experiences, and challenges in the field of automated software engineering with the goal of allowing live presentation of new research tools. Tools can range from research prototypes to in-house or pre-commercialized products. The tool demonstrations are intended to highlight underlying scientific contributions. Whereas a regular research paper is intended to give the background information and point out the scientific contribution of a new software engineering approach, the tool demonstration paper provides a good opportunity to show how the scientific approach has been transferred into a working tool. Authors of regular research papers are thus encouraged to submit an accompanying tool demonstration paper. The Tool Demonstration Committee will review each submission to assess the relevance and quality of the proposed tool demonstration in terms of originality, soundness, presentation, and appropriate consideration of related literature. Please forward this call to anyone who might be interested. ----------------------------------------------------------------- PAPER SUBMISSION & PUBLICATION Submissions of proposals for formal tool demonstrations must: * adhere to the ASE?2010 proceedings format (ACM proceedings) * have a maximum of 2 pages that describe the technology or approach, how it relates to other industrial or research efforts, including references, and describe what the expected benefits are; * have an appendix (not included in the 2 page count) that provides a brief description of how the presentation will be conducted (possibly illustrated with snapshots), information on tool availability and maturity in addition to a web-page for the tool (if one exists); * be submitted via the EasyChair system by May 17, 2010: http://www.easychair.org/conferences/?conf=ase25tools Accepted demonstrations will be allocated 2 pages in the conference proceedings. Demonstrators are expected to give a presentation that will be scheduled into the conference program. There will also be a demonstration area open to attendees at scheduled times during the conference, during which demonstrators are expected to be available. Presentation at the conference is a requirement for publication. ----------------------------------------------------------------- COMMITTEES Tool Demonstration co-Chairs * Anthony Cleve, INRIA Lille (France) * Bernd Fischer, University of Southampton (UK) Contact address: ase25tools at easychair.org Tool Demonstration Committee * Andrew Begel, Microsoft Research (USA) * Ewen Denney, NASA Ames Research Center (USA) * Massimiliano Di Penta, University of Sannio - Benevento (Italy) * Alexander Egyed, Johannes Kepler University (Austria) * Jeff Gray, University of Alabama (USA) * John Grundy, Swinburne University of Technology (Australia) * Andrew Ireland, Heriot-Watt University (UK) * Paul Klint, CWI (The Netherlands) * Ralf Laemmel, University of Koblenz-Landau (Germany) * Henry Muccini, University of L?Aquila (Italy) * John Penix, Google (USA) * Willem Visser, University of Stellenbosch (South Africa) * Andrea Zisman, City University (UK) From andrea at di.unipi.it Mon Apr 26 11:42:31 2010 From: andrea at di.unipi.it (Andrea Corradini) Date: Mon, 26 Apr 2010 11:42:31 +0200 Subject: [ecoop-info] ICGT'10 Doctoral Symposium: First Call for Contributions Message-ID: [Our apologies if you receive multiple copies of this announcement] ===================================================================== Call for Abstracts ICGT 2010 Doctoral Symposium An event to be held during ICGT 2010 5th International Conference on Graph Transformation Enschede (Netherlands), September 29 - October 1, 2010 ---------------------------------------------------------------------- The ICGT 2010 Doctoral Symposium will consist of some technical sessions held during the ICGT 2010 Conference, dedicated to presentations by PhD students and by young researchers who completed their doctoral studies within the past two years. ICGT 2010 aims to bring together researchers and practitioners interested in the foundations and applications of graph transformation to a variety of areas. A non-exhaustive list of topics of interest can be found on the conference web pages: Within ICGT 2010, the Doctoral Symposium will provide a unique opportunity for doctoral students and young researchers (having defended their thesis at most two years previously) to interact with established researchers of the graph transformation community and with other students. The Doctoral Symposium will be held on a date to be determined, during the regular activities of the ICGT 2010 conference. Presentations for the Doctoral Symposium will be selected by the Program Committee according to originality, significance, and general interest, on the basis of submitted three-pages abstracts. Accepted abstracts, revised according to the comments by the reviewers, will be included in the LNCS proceedings of the ICGT Conference. After the conference, selected authors of presentations will be invited to submit a full paper for the refereed post-proceedings of the Doctoral Symposium, which will be published as a volume of the Electronic Communications of the EASST (European Association of Software Science and Technology). ---------------------------------------------------------------------- Important Dates June 11, 2010 Submission deadline for abstracts June 25, 2010 Notification of acceptance July 6, 2010 Final abstract due September 29 - October 1, 2010 ICGT 2010 Conference in Enschede October 15, 2010 Invitation of full papers December 1, 2010 Submission deadline for full papers ---------------------------------------------------------------------- Submissions The abstracts must be up to three pages long including references, and should be formatted using the standard Springer-Verlag LNCS style . Each abstract can be authored by a single young resarcher (a PhD student, or having defended the thesis in the last two years). The abstracts have to be submitted electronically via the EasyChair system, at the URL When submitting, the author should send an email to Andrea Corradini , declaring either to be a PhD student, or that he/she defended the thesis in year 2008 or later. In both cases, please indicate the name of the PhD supervisor. Full papers submitted after the invitation for the post-proceedings can be co-authored by other researchers. ---------------------------------------------------------------------- Organizing committe Andrea Corradini, Pisa (I) Maarten de Mol, Enschede (NL) ---------------------------------------------------------------------- Contacts For any information about the ICGT 2010 Doctoral Symposium, feel free to contact either Andrea Corradini (email: andrea at di.unipi.it, phone: +39 050 2212786), or Maarten de Mol (email: M.J.deMol at utwente.nl, phone: +(31)53-4894476) ---------------------------------------------------------------------- -------------- next part -------------- An HTML attachment was scrubbed... URL: http://web.satd.uma.es/pipermail/ecoop-info/attachments/20100426/e68fc786/attachment-0001.html From jsinger at cs.man.ac.uk Tue Apr 27 15:06:10 2010 From: jsinger at cs.man.ac.uk (Jeremy Singer) Date: Tue, 27 Apr 2010 14:06:10 +0100 Subject: [ecoop-info] CFP: Workshop on Memory Management and Managed Runtimes (MMMR) Message-ID: <4BD6E142.5000406@cs.man.ac.uk> Workshop on Memory Management and Managed Runtimes (MMMR) Microsoft Research Cambridge Friday 28th May 2010 Call for Participation * OVERVIEW Memory management remains an important research area, given the increased adoption of managed runtime environments, and the challenges of multi-core and many-core platforms. This one-day workshop aims to bring together UK academics and industry, to create new links and enhance existing collaboration within the framework of the UK Memory Management Network. * FOCUS Includes, but not limited to: - virtual machine implementation - garbage collection algorithms - performance tuning techniques - empirical studies of dynamic behaviour - abstractions and models for memory management - runtime support for multi-core * REGISTER At http://www.cs.man.ac.uk/~jsinger/mmmr.html Free registration. You are encouraged to volunteer a presentation, if appropriate. Provisional programme will be posted at http://www.cs.man.ac.uk/~jsinger/mmmr.html Drinks and light refreshments will be provided at the workshop. Unfortunately we are unable to subsidise main meals, accommodation or transport costs. Workshop places and talk slots will be allocated on a first-come first-served basis. If you would like to give a talk, please indicate this when registering for the workshop. Talk abstracts will be collected before the workshop. We will collect slide presentations (PDF format) during the workshop. These will be archived at the workshop website. Important Dates: 21st May 2010 - online registration deadline 28th May 2010 - MMMR workshop in Cambridge The workshop organisers are: * Tim Harris, Microsoft Research Cambridge * Richard Jones, University of Kent * Alan Mycroft, University of Cambridge * Jeremy Singer, University of Manchester, jsinger at cs.man.ac.uk The MMMR workshop is arranged by the UK Memory Management Network (MM-Net) http://www.mm-net.org.uk . We gratefully acknowledge the support of Microsoft Research Cambridge, which is hosting the event. From Bastian.Tenbergen at sse.uni-due.de Tue Apr 27 15:54:51 2010 From: Bastian.Tenbergen at sse.uni-due.de (Bastian Tenbergen) Date: Tue, 27 Apr 2010 15:54:51 +0200 Subject: [ecoop-info] [IEEE RE 2010 Doctoral Symposium] SECOND CALL for Papers Message-ID: <1C82271C464FD44D876227B6AFA47E0B0349EE24@GENESIS.se.local> Dear ECOOP-List moderator, Please forward the message attached below to the ECOOP Mailing List. Thank you very much, Bastian Tenbergen IEEE RE2010 - Doctoral Symposium September 27th, 2010 - Sydney, Australia SECOND CALL FOR PARTICIPATION (SUBMISSION SITE OPEN) http://attend.it.uts.edu.au/re10/?page_id=293 Overview ======== The RE Doctoral Symposium is an international forum for PhD students working in all areas of Requirements Engineering. The forum is intended to bring together PhD students and give them the opportunity to present and discuss their research in a constructively critical atmosphere, and to meet fellow researchers at a similar stage of their career. More precisely, the goals of the RE Doctoral Symposium are: * to give PhD students a chance to showcase their research, * to provide them with feedback from a panel of senior international researchers, * to facilitate interaction among the participants. The doctoral symposium will operate in a workshop-like format. Who should participate ====================== The Doctoral Symposium welcomes PhD students who are somewhere in the middle of their doctoral research, that is: * students who have settled on a dissertation topic, * and whose PhD dissertation will benefit from the feedback received. Submission Instructions ======================= To apply as a student participant to the Doctoral Symposium, you should prepare a sub- mission package consisting of two parts (described below), both of which must be sub- mitted via e-mail to RE2010-DS at sse.uni-due.de no later than May 25th, 2010, 23.59 Sydney, Australia time. The e-mail should bear the subject "[RE2010 Doc Sym] Submission". Part 1 - Research Abstract -------------------------- Your research abstract must be formatted according to the IEEE CS proceedings format (see the website of the IEEE Conference Publishing Service at http://www.computer.org/portal/site/cscps/ for instructions and templates) and must be a maximum of four pages (font size: 10pt), including all text, references, appendices, and figures. All submissions must be in English and in PDF format. The research abstract should cover: * Technical question - clearly formulate the technical problem to be solved. * Motivation - justify the importance of the problem. * State of the art - describe what existing work your research builds upon (citing key publications), and also briefly describe any existing solutions that have been developed or are currently being developed (citing key pub- lications) and why they do not solve the problem. * Proposed solution - sketch the proposed technical solution. * Contributions - point out your (existing and planned) contributions to the so- lution of the problem, and state in what aspects the suggested solution is different, new or better as compared to existing approaches to the problem. * Research methods - indicate the methods you are using or will use to carry out any empirical research to validate your solution. * Progress - describe the progress made in solving the stated problem and propose a plan to complete the research. The plan should include your strategy for eval- uating your work and presenting credible evidence of your results to the research community. The research abstract should include the title of your work, your name, affiliation, email address, postal address, personal website, and a one paragraph short summary in the style of an abstract for a regular paper. Submissions should contain no proprietary or confidential material and should cite no proprietary or confidential publications. Part 2 - Letter of Recommendation --------------------------------- Ask your (main) dissertation advisor for a letter of recommendation. This letter should include: * your name, * a candid assessment of the current status of your dissertation research, * an expected date for dissertation submission. The letter should be in PDF format and should be sent directly by your advisor via e-mail to RE2010-DS at sse.uni-due.de The e-mail should have the subject "[RE2010 Doc Sym] Recommendation". Attending RE2010 ================ If you are accepted as a student participant at the Doctoral Symposium, you will prob- ably also wish to attend the Requirements Engineering conference. A number of scholarships are available and allow students to attend the conference in return for acting as a student volunteers. These are offered by the organising committee. The conference organising committee will give priority to applications from student participants at the Doctoral Symposium. If you wish to be considered for a vol- unteer scholarship, you are encouraged to apply immediately after you receive notice of your acceptance as a participant in the Doctoral Symposium. Important Dates =============== Submission deadline (paper + recommendation letter) May 25th, 2010 Notification of acceptance June 30th, 2010 Camera-ready copy TBA Doctoral Symposium in Sydney September 27th, 2010 Doctoral Symposium Committee ============================ Klaus Pohl, (co-chair) Software Systems Engineering, University Duisburg-Essen, Germany Paul Swatman, (co-chair) Research Division, Solution Forest Pty Ltd, Tasmania Daniel Berry, University of Waterloo, Canada Olly Gotel, Independent Researcher, New York City, USA Patrick Heymans, Facult?s Universitaires Notre-Dame de la Paix, Belgium Neil Maiden, City University, London, UK Peter Sawyer, Lancaster University, UK Roel Wieringa, University of Twente, Netherlands Please visit http://www.re10.org Our apologies for multiple postings. ___________________________________________________________________________________________ From dcosspublicity at gmail.com Tue Apr 27 23:22:22 2010 From: dcosspublicity at gmail.com (dcosspublicity at gmail.com) Date: Wed, 28 Apr 2010 00:22:22 +0300 (IDT) Subject: [ecoop-info] DCOSS 2010: Extended (IEEE Indexing) Call for Poster and Demonstrations Message-ID: <20100427212222.6C9E828C3E3B@california.local> ## ## DCOSS 2010 Call for Poster and Demonstrations ## ## Important Dates: ## -- Abstracts Submission Deadline: May 7, 2010 (EXTENDED) ## -- Notification of Acceptance: May 14, 2010 ## -- Conference Dates: June 21 - 23, 2010 ## UPDATE: Poster and demo abstracts will be indexed in IEEExplore. The submission date has been extended to allow authors to submit based on this new information. Poster and Demonstration Session: DCOSS 2010 will feature a poster/demo session that provides a forum for distributed computing and sensor network researchers and developers from academia, industry, and government to interact with and explore the latest research results. Towards this goal, DCOSS 2010 solicits posters and demonstrations presenting recent original results or ongoing research in the general area of sensor networks. Authors are invited to submit interesting results on all aspects of sensor networks, including algorithms, protocols, systems and applications. Poster presentations will provide authors with early feedback on their research work and enable them to exchange ideas with DCOSS participants. Demonstrations provide a venue for hands-on experience for conference attendees and a means for researchers and attendees to interact with new research prototypes and testbeds. Each poster or demonstration presenter will have the opportunity to present a one-minute rapid oral presentation of their work to attendees. This oral presentation will help generate interest in the topic of the poster or demonstration, to encourage attendees to learn more. All posters and demonstrations will be reviewed and judged based on their originality, technical contribution and, particularly, their potential to generate interesting and interactive exchanges of ideas. Abstracts: Poster and demonstration abstracts are limited to 2 pages (in standard IEEE Transactions format) and should highlight the leading ideas of the on-going research and its expected outcome and impact. All accepted abstracts will appear in hardcopy and be indexed in IEEExplore. Poster abstracts should present a summary of the research work and ideas that will be presented during the session. Demonstration abstracts should describe the demonstration activity, and in particular, describe special requirements for space and dedicated frequency channels, if any. Accepted posters and demonstrations must be presented at the workshop, and at least one author must be registered for the conference. Submission Instructions: Poster and demo abstracts should be sent via email as a PDF file to the Poster/Demo Session Chairs at npatwari [AT] ece [dot] utah [dot] edu. Please indicate "DCOSS 2010 Poster Abstract Submission" or "DCOSS 2010 Demonstration Abstract Submission" as the subject of the email. Important dates: Abstracts Submission Deadline: May 7, 2010 (EXTENDED) Notification of Acceptance: May 14, 2010 Conference Dates: June 21 - 23, 2010 Poster and Demonstration Session Co-chairs: Michael Rabbat McGill University Canada Neal Patwari University of Utah USA From jenifer.perez at eui.upm.es Wed Apr 28 12:04:18 2010 From: jenifer.perez at eui.upm.es (=?iso-8859-1?Q?Jennifer_P=E9rez_Bened=ED?=) Date: Wed, 28 Apr 2010 12:04:18 +0200 Subject: [ecoop-info] ECSA 2010 Doctoral Symposium - Call for Contributions Message-ID: <002201cae6ba$2fee4390$8fcacab0$@perez@eui.upm.es> [Apologies in case of receiving multiple copies] Call for Contributions ECSA 2010 Doctoral Symposium In conjunction with the 4th European Conference on Software Architectures - ECSA 2010 August 23-36, 2010, Copenhagen, Denmark http://www.ecsa2010.org/ ECSA 2010 aims to encourage the young researchers in the field of software architecture to participate to the main European conference on this topic and to contribute actively by presenting their interests, ideas, and preliminary research results in this domain. Therefore, ECSA 2010 introduces a Doctoral Symposium, a dedicated event for the future software architects. Goal The goal of the Doctoral Symposium is to provide PhD students working in the area of software architecture the opportunity to present their research and to receive immediate and expert feedback for the successful completion of their dissertation research. Therefore, the ECSA 2010 Doctoral Symposium will enable participants to sustain and discuss their ideas, methods, and preliminary results with senior researchers of the software architecture community in a constructive, friendly, and professional context. The PhD students will receive guidance and feedback on various aspects of their research both from experienced researches and from their PhD colleagues. It will be an opportunity for students to meet and know each other in order to establish new contacts for possible common research topics and projects. Scope The technical scope of the Doctoral Symposium is that of ECSA 2010. The list of the topics can be found in the ECSA 2010 call for papers. Students should consider participating in the Doctoral Symposium after they have settled on a dissertation topic with some initial research results. Students should be at least a year from completion of their dissertation to obtain maximum benefit from participation. We invite students at different stages to submit to the Doctoral Symposium: - Initial stage: is addressed to students who are concretizing their research question and approach; students will be involved in discussions that enable them to think critically about their ideas; the abstract of this category is limited to three (3) pages; - Mature stage: is addressed to students who are going to publish their preliminary results related to concrete research question and approach; students will be asked to present a talk about their work and will get feedback; the abstract of this category is limited to five (5) pages. Submission The student participant at the Doctoral Symposium should prepare a submission package consisting of two parts, a research abstract and a letter of recommendation. Part 1: Research Abstract The research abstract must be in English and should cover the following aspects: - The problem to be solved and its importance in the software architecture field; - Previous work which has addressed similar problems explaining why they have not been previously solved; - The proposed approach; - The expected results; - A plan for the evaluation of the results. Part 2: Letter of Recommendation The recommendation letter should be submitted directly by the advisors. The letter should include the name of the candidate, the status of the dissertation research and an expected date for the dissertation submission. Selection Process Submissions will be reviewed by at least two members of the program committee using the following criteria: - Technical quality of the submission, e.g., clarity, precision and adequacy of the problem statement, related work, solution description, expected results and their validation plan. - Overall quality, i.e., originality of the submission and its relevance to ECSA 2010. Important Dates Abstract and Letter of Recommendation Submission: May 15, 2010 Notification of Acceptance: June 15, 2010 Doctoral Symposium: August 23, 2010 Doctoral Symposium Committee Paris Avgeriou, University of Groningen, Netherlands Muhammad Ali Barbar, IT University of Copenhagen, Denmark Marco Bernardo, University of Urbino, Italy Rafael Capilla, Rey Juan Carlos University, Spain Liliana Dobrica, University Politechnica of Bucharest, Romania David Garlan, Carnegie Mellon University, USA Ian Gorton, Pacific NorthWest Labs, USA Philippe Kruchten, University of British Columbia, Canada Patricia Lago, VU Amsterdam, Netherlands Rogerio de Lemos, University of Kent, UK Johan Lilius, ?bo Academi University, Finland Tomi M?nnist?, Aalto University, Finland Dana Petcu, Western University of Timisoara, Romania Doctoral Symposium Co-Chairs For further information, please contact Eila Ovaska [Eila.Ovaska at vtt.fi] or Claudia Raibulet [raibulet at disco.unimib.it] Publicity Chair ECSA 2010: --------------------------------------------------------------------------- Jennifer P?rez Bened? Universidad Polit?cnica de Madrid (Technical U. of Madrid) E.U.Inform?tica. Departamento de Organizacion y Estructura de la Informaci?n Ctra. de Valencia, Km. 7. E-28031 Madrid. Spain Tel?fono: (+34)913367882 (ext.7882) Fax(+34)-913367520 E-mail: jenifer.perez at eui.upm.es My Web Page: https://syst.eui.upm.es/jperez Research Group Web Page: https://syst.eui.upm.es PRISMA Web Page: http://prisma.dsic.upv.es -------------- next part -------------- An HTML attachment was scrubbed... URL: http://web.satd.uma.es/pipermail/ecoop-info/attachments/20100428/dda4e6c6/attachment-0001.html From M.Sun at cwi.nl Mon Apr 26 15:27:13 2010 From: M.Sun at cwi.nl (Sun Meng) Date: Mon, 26 Apr 2010 15:27:13 +0200 Subject: [ecoop-info] FACS 2010 CFP Message-ID: <4BD594B1.6050706@cwi.nl> [sorry if you receive this more than once] Formal Aspects of Component Software (FACS 2010) Call for Papers 7th International Workshop on Formal Aspects of Component Software October 14-16, 2010 Universidade do Minho Guimaraes, Portugal www.di.uminho.pt/facs2010/ Scope & Topics: The component-based software development approach has emerged as a promising paradigm to cope with an ever increasing complexity of present-day software solutions by bringing sound production and engineering principles into software engineering. However, many conceptual and technological issues remain in component-based software development theory and practice that pose challenging research questions. FACS 2010 is concerned with how formal methods can or should be used to make component-based software development succeed. Formal methods consist of mathematically-based techniques for the specification, development, and verification of software and hardware systems. They have shown their great utility for providing the formal foundations of component-based software and working out challenging issues such as mathematical models for components, composition and adaptation, or rigorous approaches to verification, deployment, testing, and certification. The objective of FACS 2010 is to bring together researchers and practitioners in the areas of component software and formal methods in order to promote a deeper understanding of the component-based software development paradigm and its applications. The workshop seeks to address all common aspects of component software and formal methods. FACS aims at developing a community-based understanding of relevant and emerging research problems through formal paper presentations and lively discussions. Possible topics include, but are not limited to: - formal models for software components and component interaction - design and verification methods for component software - component composition and deployment: models, calculi, languages - component testing, re-engineering and reuse - specification of extra-functional properties in component software - certification of components and software architectures - component software vs. object orientation, multi-agent systems, and aspect-oriented development - components for real-time, safety-critical, secure and/or embedded systems - standard models for software components (e.g. Fractal, GCM, etc.) - industrial or experience reports, and case studies in component software - partial behavior models for software components - update and reconfiguration of component architectures - component systems evolution and maintenance - formal methods and modeling languages for components - trust models for components - cyber-physical component-based systems - autonomic components and self-managed applications - formal and rigorous approaches to software adaptation and self-adaptive systems - formal aspects of Web services and business processes - component-based Web services and service-oriented architectures - QoS issues in Web services, multi-agent systems and component-based systems Context: FACS'10 is the 7th event in a series of workshops, founded by the International Institute for Software Technology of the United Nations University (UNU-IIST). The first FACS workshop was co-located with FM'03 (Pisa, Italy, September 2003). The following FACS workshops were organized as standalone events, respectively at UNU-IIST in Macau (October 2005), at Charles University in Prague (September 2006), at INRIA in Sophia-Antipolis (September 2007), and at University of Malaga in Spain (September 2008). FACS'09 was part of the Formal Methods Week in Eindhoven (October 2009). Publication: In previous years FACS post-proceedings were published in the ENTCS series, by Elsevier. Extended versions of selected papers appeared in a special issue of Science of Computer Programming. A similar setting will be arranged for FACS'10. Important dates: Abstract submission: July 2, 2010 Paper submission: July 9, 2010 Acceptance notification: August 22, 2010 Camera ready: September 25, 2010 Workshop: October 14-16, 2010 Program chairs: Markus Lumpe and Luis Barbosa Program committee: Farhad Arbab (CWI, The Netherlands) Marco Autili (L'Aquila University, Italy) Luis Barbosa (Universidade do Minho, Portugal) Andreas Bauer (Australian National University, Australia) Frank S. de Boer (CWI, The Netherlands) Christiano Braga (Universidad Complutense de Madrid, Spain) Carlos Canal (Universidad de Malaga, Spain) Rolf Hennicker (Ludwig-Maximilians-Universitaet Muenchen, Germany) Einar Broch Johnsen (Universitetet i Oslo, Norway) Zhiming Liu (IIST UNU, Macau, China) Ying Liu (IBM China Research, China) Markus Lumpe (Swinburne University of Technology, Australia) Eric Madelaine (INRIA, Centre Sophia Antipolis, France) Sun Meng (CWI, The Netherlands) Corina Pasareanu (NASA Ames, USA) Patrizio Pelliccione (L'Aquila University, Italy) Frantisek Plasil (Charles University, Czech Republic) Anders Ravn (Aalborg University, Denmark) Nuno Rodrigues (IPCA, Portugal) Bernhard Schaetz (Technical University of Munich, Germany) Marjan Sirjani (University of Tehran, Iran) Volker Stolz (UNU-IIST, MACAU) Carolyn Talcott (SRI International, USA) Dang Van Hung (Vietnam National University, Vietnam) Naijun Zhan (IOS, China) Steering Committee: Zhiming Liu (IIST UNU, Macau, China, coordinator) Farhad Arbab (CWI, The Netherlands) Luis Barbosa (Universidade do Minho, Portugal) Carlos Canal (University of Malaga, Spain) Markus Lumpe (Swinburne University of Technology, Australia) Eric Madelaine (INRIA, Sophia-Antipolis, France) Corina Pasareanu (NASA Ames Research Center, USA) Sun Meng (CWI, the Netherlands) Bernhard Schaetz (Technical University of Munich, Germany) Contact: (web) www.di.uminho.pt/facs2010/ (email) facs10chairs at di.uminho.pt From pinto at lcc.uma.es Wed Apr 28 11:36:09 2010 From: pinto at lcc.uma.es (=?iso-8859-1?Q?M=F3nica_Pinto_Alarc=F3n?=) Date: Wed, 28 Apr 2010 11:36:09 +0200 Subject: [ecoop-info] Special Track on Modularity Visions at "AOSD 2011:Perspectives on Modularity": First Call for Papers Message-ID: ---------------------------------------------------------------- Special Track on Modularity Visions http://www.aosd.net/2011/call_modularity.html at AOSD 2011: Perspectives on Modularity 10th International Conference on Aspect-Oriented Software Development http://www.aosd.net/2011 March 21th - 25th, 2011, Porto de Galinhas, Pernambuco, Brazil Supported by ACM SIGSOFT & SIGPLAN (pending) ---------------------------------------------------------------- Innovations in modularity have had a profound effect on Programming Languages and Software Engineering over several decades. They have shaped the way we think about software, as well as the software itself. The software landscape is changing rapidly, and is already very different from when much of the seminal research on modularity was done. Writing of single, standalone programs or systems is largely a thing of the past. Instead, we see development of services, advanced web applications, product lines and systems of systems. Many of these are long-running, 24/7 systems that can never be brought down, and that might be self-repairing. Some run on new kinds of platforms, like the cloud. Integration of existing software is often more important than writing new software. We are moving towards ultra-large systems, in which central control is not possible. The software-development landscape is changing rapidly too. More and more projects are distributed across the world. There is increasing concern about governance, from both the legislative and business points of view. For this track, we invite high-quality papers proposing visions of modularity for this new landscape, addressing current and future challenges. We do not expect visions to be realized and fully validated yet, but we do expect a paper to provide evidence of the viability of the vision it presents, as well as its importance. This can be by compelling argument or analysis, for example. When thinking about modularity for the future, it is important to understand exactly what modularity is, what benefits it provides to software engineering, and what the relationships are between various properties and such benefits. For example, how does strength of encapsulation interact with maintainability and adaptability? For this reason, we also invite high-quality papers on the foundations of modularity. We expect such papers to include discussion of the implications for visions of modularity. The following is a list of some topic areas of interest where innovations in modularity are called for. Papers are welcome in these areas or others; the list is intended to stimulate thought but in no way to be restrictive: * Modern platforms, such as the cloud and massively-parallel systems * Software services * Product lines * Web applications * Long-running, highly-available systems * Systems involving sensitive data, such as medical records * Ultra-large systems * Integration of disparate systems * Modularity across the entire software lifecycle, including modularity for early-lifecycle artifacts and modules that span lifecycle phases * Beyond artifacts, e.g., modularity based on tasks, activities and processes * Various programming paradigms, such as rule-based and map-reduce systems * Modern development practices, such as distributed development and agile development * Modularity in support of governance * Foundations upon which innovations in modularity can be built Submission ---------- To allow for feedback and revision during the submission process, this track will have a rolling submission period before the final submission deadline. A paper submitted during the rolling submission period will be reviewed within 6 weeks of submission by the Program Committee. The result of the review might be acceptance, rejection, or a request for revisions. When revisions are requested, the authors may make them and resubmit. As long as resubmission is within the rolling submission period, there will opportunity for further revision, if needed. Once the rolling submission period has passed, authors may still submit original or revised papers up to the final submission deadline. These will be reviewed to the same standards; there will be no penalty for not having utilized rolling submission, but there will be no opportunity for revision before the acceptance decision is made. Submissions must be no more than 12 pages in length (including bibliography and any appendices), and must be in standard ACM SIG Proceedings format (http://www.acm.org/sigs/publications/proceedings-templates). All papers must be submitted in PDF format, through CyberChair. The submission deadline, length limitations and formatting instructions are firm: any submissions that deviate from these will be rejected by the track chair. Submitted papers must adhere to SIGPLAN's republication policy. Authors should strive to make the technical content of their papers understandable to a broad audience. Detailed instructions for authors can be found at http://www.aosd.net/2011/call_modularity.html Publication ----------- Accepted papers will be published in a special Modularity Visions section of the main conference proceedings. They will therefore appear in the ACM Digital Library. Authors of accepted papers will be expected to revise their papers based on reviewers? comments, and to provide camera-ready versions of the papers by the camera-ready deadline. They will also be required to sign the standard ACM copyright form. Contact Information: -------------------- Questions about this track are most welcome. Please send them by email to the track chair, Harold Ossher, at modularity en aosd.net. Important Dates: ----------------------------------------------------------------------- 15 June, 2010 Rolling submission opens Response within 6 weeks of submission 30 August, 2010 Rolling submission closes Deadline for submission to obtain feedback 15 October Response for papers received on 30 August 1 November, 2010 Final submission deadline 10 December, 2010 Acceptance notification 10 January, 2010 Camera-ready copy deadline ----------------------------------------------------------------------- ------------ pr?xima parte ------------ Se ha borrado un adjunto en formato HTML... URL: http://web.satd.uma.es/pipermail/ecoop-info/attachments/20100428/b900a0d6/attachment-0001.html From S.Etalle at tue.nl Wed Apr 28 11:59:36 2010 From: S.Etalle at tue.nl (Etalle, S.) Date: Wed, 28 Apr 2010 11:59:36 +0200 Subject: [ecoop-info] CFP FAST 2010 Formal Aspects of Security & Trust Message-ID: <47D390E3-7479-4BA0-9B7A-7CCF435DE1D4@tue.nl> ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 7th International Workshop on Formal Aspects of Security & Trust (FAST2010) 16-17 September 2010 Pisa, Italia http://www.iit.cnr.it/FAST2010/ FAST2010 is co-located with the 8th IEEE International Conference on SOFTWARE ENGINEERING AND FORMAL METHODS (SEFM) http://www.sefm2010.isti.cnr.it ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ OVERVIEW OF FAST The seventh International Workshop on Formal Aspects of Security and Trust (FAST2010) aims at continuing the successful efforts of the previous FAST workshops, fostering cooperation among researchers in the areas of security and trust. Computing and network infrastructures have become pervasive, and now they carry a great deal of economic activity. Thus, society needs well matching security and trust mechanisms. Interactions increasingly span several enterprises and involve loosely structured communities of individuals. Participants in these activities must control interactions with their partners based on trust policies and business logic. Trust-based decisions effectively determine the security goals for shared information and for access to sensitive or valuable resources. FAST focuses on the formal models of security and trust that are needed to state goals and policies for these interactions. We also seek new and innovative techniques for establishing consequences of these formal models. Implementation approaches for such techniques are also welcome. PAPER SUBMISSION Suggested submission topics include, but are not limited to: Formal models for security, trust and reputation Security protocol design and analysis Logics for security and trust Trust-based reasoning Distributed trust management systems Digital asset protection Data protection Privacy and ID management issues Information flow analysis Language-based security Security and trust aspects in ubiquitous computing Validation/Analysis tools Web/Grid services security/trust/privacy Security and risk assessment Resource and access control Case studies IMPORTANT DATES Title/Abstract Submission: 13 June Paper submission: 20 June (STRICT!) Author Notification: 19 July Pre-proceedings version: 1 September Workshop: 16-17 September Post-proceedings version: 1 November Organizers - Pierpaolo Degano, Universita` di Pisa, Italy - Sandro Etalle, TU Eindhoven and Univ. Twente, the Netherlands - Joshua Guttman, Worcester Polytechnic Inst., USA Program Committee (tentative) Gilles Barthe, IMDEA Software, Spain Massimo Bartoletti, University of Cagliari, Italy Lujo Bauer, CMU, USA Cas Cremers, ETH Zurich Frederic Cuppens, Telecom Bretagne, France Pierpaolo Degano, University of Pisa, Italy (co-chair) Sandro Etalle, TU Eindhoven and Univ. Twente, the Netherlands (co-chair) Joshua Guttman, Worcester Polytechnic Inst., USA (co-chair) Chris Hankin, Imperial College (London), UK Bart Jacobs, Radboud Univ. Nijmegen, The Netherlands Christian Jensen, DTU, Denmark Fabio Martinelli, CNR, IT Sjouke Mauw, University of Luxemburg, Luxembourg Catherine Meadows, Naval Research Lab, USA Ron van der Meyden, University of New South Wales, Australia Mogens Nielsen, Aarhus, Denmark Dusko Pavlovic, Kestrel Institute, USA and Oxford, UK Riccardo Pucella, Northeastern, USA Peter Ryan, University of Luxembourg, Luxembourg Steve Schneider, Surrey, UK Jean-Marc Seigneur, University of Geneva, Switzerland Luca Vigano', Universita` di Verona, Italy Local Organizer Ilaria Matteucci, IIT-CNR, Pisa For additional information visit http://www.iit.cnr.it/FAST2010/ or e_mail to fast2010 at iit.cnr.it PROCEEDINGS As done for the previous issues of FAST, the post-proceedings of the workshop will be published with LNCS (under negotiation). A special journal issue is also planned. SUBMISSION GUIDELINES: We seek papers presenting original contributions. Two types of submissions are possible: (1) short papers, up to 5 pages in LNCS format, (2) full papers, up to 15 pages in LNCS format. Submissions should clearly state their category (1 or 2). Author's full name, address, and e-mail must appear on the first page. Short papers as well as full papers will be included in the informal proceedings distributed at the workshop. After the workshop, authors of short papers which are judged mature enough for publication will be invited to submit full papers. These will be reviewed according to the usual refereeing procedures, and accepted papers will be published in the post-proceedings in LNCS. Simultaneous submission of full papers to a journal or conference/workshop with formal proceedings justifies rejection. Short papers at FAST are not formally published, so this restriction does not apply to them. However, related publications and overlapping submissions must be cited explicitly in short papers. From diao at us.ibm.com Wed Apr 28 20:21:21 2010 From: diao at us.ibm.com (Yixin Diao) Date: Wed, 28 Apr 2010 14:21:21 -0400 Subject: [ecoop-info] CFP: CNSM 2010 (Submission Due June 1st) 6th International Conference on Network and Service Management Message-ID: CNSM 2010 6th International Conference on Network and Service Management Niagara Falls, Canada October 25 - 29, 2010 http://www.cnsm2010.org/ The 6th International Conference on Network and Service Management (CNSM 2010) is a premier annual conference, sponsored by IEEE COMPSOC and IFIP, in the general area of network, systems, and services management. Built upon the success starting in 2005 to collocate six management workshops within the same week (MANWEEK), this year we debut the single main conference with a single track. The integrated conference provides a unique opportunity to showcase both premier research results and innovative cross-disciplinary explorations. As an open forum, we encourage authors to explore new ideas and to boost the synergy among distinctive but strongly correlated areas. Topics of interest include: Service and IT Management Distributed systems operations and management Application management (context-aware, enterprise, healthcare) Management of multimedia and data services SOA and web services management Data centers & hosting service management IT service management and Business process management Cloud computing and grid management Virtualization & resource provisioning Trust and privacy as a service Decision support for business-driven management Network Management Ad-hoc networks Wireless & mobile networks IP/MPLS networks LANs Optical networks Sensor networks Overlay networks P2P networks Broadband access networks Home networking IP Operations and management Smart Grids (Energy) Future Internet and Next-Generation networks Managing network and service changes Management Methods and Technologies Fault management Configuration management Service level management Performance management Security management Event management Energy management Policy-based management Autonomic and self-management Visualization Protocols, middleware, and mobile agents Control theory, optimization theory, and machine learning Probability and stochastic processes IMPORTANT DATES --------------- Paper registration and submission June 1, 2010 Author notification July 23, 2010 Camera ready papers due August 20, 2010 Conference date October 25-29, 2010 SUBMISSION DETAILS ------------------ Paper submissions must present original, unpublished research or experiences. Late-breaking advances and work-in-progress reports are also encouraged. Papers under review elsewhere MUST NOT be submitted to CNSM 2010. Authors are requested to submit either long papers or short papers (work-in-progress reports) formatted according to the standard IEEE two-column Transactions guidelines (http://www.ieee.org/portal/pages/pubs/transactions/stylesheets.html). * Long papers (up to 8 two-column pages) * Short papers (up to 4 two-column pages) Please visit JEMS conference management system at https://jems.sbc.org.br/ for paper registration and submission (only PDF files are accepted). ORGANIZING COMMITTEE -------------------- General Chair Raouf Boutaba, University of Waterloo, Canada Program Chairs Hanan Lutfiyya, University of Western Ontario, Canada Yixin Diao, IBM T.J. Watson Research Center, USA Program Vice Chairs Service and IT Management * Lisandro Granville, Federal Univ. Rio Grande do Sul, Brazil * John Strassner, POSTECH, Korea Network Management * Alexander Clemm, Cisco Systems, USA * Rolf Stadler, KTH Royal Institute of Technology, Sweden Management Methods and Technologies * Alexander Keller, IBM Global Technology Services, USA * Joan Serrat, University Politecnica de Catalunya, Spain Publications Chair Deep Medhi, University of Missouri, USA Publicity Chair Carlos Becker Westphall, Federal Univ. Santa Catarina, Brazil Workshops Chair Noura Limam, POSTECH, Korea Webmaster Karthick Ramachandran, University of Western Ontario, Canada Steering Committee Raouf Boutaba, University of Waterloo, Canada James Hong, POSTECH, Korea Aiko Pras, University of Twente, Nethereland Doug Zuckerman, Telcordia Technologies, USA -------------- next part -------------- An HTML attachment was scrubbed... URL: http://web.satd.uma.es/pipermail/ecoop-info/attachments/20100428/80466fe1/attachment.html From f.rabe at jacobs-university.de Wed Apr 28 14:00:41 2010 From: f.rabe at jacobs-university.de (Florian Rabe) Date: Wed, 28 Apr 2010 14:00:41 +0200 Subject: [ecoop-info] Call for Participation: FLoC Workshop on Modules and Libraries for Proof Assistants Message-ID: <8645E9F79A5614B90B4D6D18@[10.71.133.142]> Call for Participation Second International Workshop on Modules and Libraries for Proof Assistants (MLPA'10) July 15, 2010 http://kwarc.info/frabe/events/mlpa-10.html Affiliated with FLoC Edinburgh, Scotland, July 9-21, 2010 EARLY REGISTRATION DEADLINE: May 17 Program: The formal part of the workshop program will consist of invited talks by * Adam Chlipala http://adam.chlipala.net/ A Bottom-Up Approach to Safe Low-Level Programming * Gerwin Klein http://www.cse.unsw.edu.au/~kleing/ Large-scale proof and libraries in Isabelle * Ulf Norell http://www.cse.chalmers.se/~ulfn/ TBA * Don Sannella http://homepages.inf.ed.ac.uk/dts/ TBA * Andrzej Trybulec http://math.uwb.edu.pl/~trybulec/ TBA See http://kwarc.info/frabe/events/mlpa-10.html for details. Description: This is the second workshop on module systems and libraries for proof assistants, which succeeds MLPA-09 held during CADE-22. It aims to attract and bring together researchers and practitioners with background and experience in module systems from different logic based systems, such as theorem provers, proof assistants, and programming languages. It will provide a fertile venue for the exchange of ideas and experiences and has the potential to impact the way we organize proofs and programs in the future. Program Committee: * Stefan Berghofer, Institut f?r Informatik, Technische Universit?t M?nchen * Derek Dreyer, Max Planck Institute for Software Systems, Saarbr?cken * Georges Gonthier, Microsoft Research, Cambridge * Zhaohui Luo, Royal Holloway, University of London, * Till Mossakowski, German research center for artificial intelligence, Bremen, * Scott Owens, Computer Laboratory, University of Cambridge * Florian Rabe, Jacobs University Bremen (chair) * Carsten Sch?rmann, IT University of Copenhagen (chair) Organizers: Florian Rabe Carsten Schuermann f.rabe at jacobs-university.de carsten at itu.dk Jacobs University IT University of Copenhagen Bremen, Germany Copenhagen, Denmark From ericjul at ericjul.dk Thu Apr 29 00:04:59 2010 From: ericjul at ericjul.dk (Eric Jul) Date: Thu, 29 Apr 2010 00:04:59 +0200 Subject: [ecoop-info] ICOOOLPS at ECOOP 2010 - extended deadline Message-ID: <4BD8B10B.2060707@ericjul.dk> Deadline extention for ICOOOLPS: The fourth workshop on the Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems (ICOOOLPS) being held on June the 21st, at ECOOP 2010 in Maribor, Slovenia. The paper submission deadline has been extended to May 4th. Acceptance notification will be by May 9th - the day before the early registration deadline of May 10th, 2010 Brief Overview: The ICOOOLPS workshop aims to address this crucial issue of optimization of languages, programs and systems. It intends to do so by bringing together researchers and practitioners working in the field of implementation and optimization, especially for object-oriented languages. Its main goals are identifying fundamental bases and key current issues pertaining to the efficient implementation, compilation and optimization of OO languages, and outlining future challenges and research directions. For details, see http://antigua.cs.man.ac.uk/icooolps/ Eric Jul -------------- next part -------------- An HTML attachment was scrubbed... URL: http://web.satd.uma.es/pipermail/ecoop-info/attachments/20100429/1056602f/attachment-0001.html From Jianguo.Ding at ieee.org Thu Apr 29 02:49:52 2010 From: Jianguo.Ding at ieee.org (Jianguo Ding) Date: Thu, 29 Apr 2010 08:49:52 +0800 Subject: [ecoop-info] [Tccc] CFP: IEEE MENS 2010 @IEEE GLOBECOM 2010 Message-ID: Apologies for cross-posting. ---------------------------------------------------------------------------------------------------------------------------------------------------------------- The 2nd IEEE International Workshop on Management of Emerging Networks and Services (IEEE MENS 2010) In conjunction with IEEE GLOBECOM 2010 6-10 December 2010, Miami, Florida, USA http://www.efipsans.org/mens2010/ --------------------------------------------------------------------------------------------------------------------------------------------------------------- CALL FOR PAPER More recently, requirements in network management and control have been amended by emerging network and computing models, including wireless sensor networks, ad hoc networks, overlay networks, grid networks, optical networks, multimedia networks, storage networks, the convergence of next generation networks (NGN) or even nano-networks etc. Increasingly ubiquitous network environments require new management strategies, which can cope with resource constraints, multi-federated operations, scalability, dependability, context awareness, security, mobility and probability etc. To bring complex network systems under control, it is necessary for the IT industry to move to autonomic management, autonomic features in both the data and control planes of the network, context-aware management and self-management systems in which technology itself is used to manage technology. New theoretical approaches are needed in resolving the challenging problems in network management including network architectural reference models that incorporate autonomic and self-management principles. This workshop will provide a forum to researchers to propose theories and technologies on the management of emerging networks and services, share their experience of IT and telecommunications industries and discuss future management solutions for emerging networks and services. TOPICS Authors are invited to submit papers in theories and techniques for the management of emerging networks or related areas. Topics of the workshop include but are not limited to: - Management of Emerging Networks and Services - Management of Next-Generation Networks - Management of Ad-hoc/Mesh Networks - Management of 3G/4G Networks - Management of Sensor Networks - Resource Management of Wireless Networks - Management of Overlay Networks - Management of VPN - Management of P2P Networks - Management of Grid Architecture - Management of Multimedia Networks - Management of Satellite Networks - Management of Optical Networks - Management of Cognitive Networks - Management of Future Internet - Architectural Reference Models for the Self-Managing Future Internet - Network and Protocols Evolutions towards the Self-Managing Future Internet - Evolving IPv6 Protocols towards IPv6++ for advanced Self-Managing Network Features - Policy-based Network Management - Bio-inspired Network Management - AI Approaches for Network Management - Control Theory for Network Management - New Theory for Network Management - Autonomic Management and Communication - Self-management (Self-*) and Initiatives towards Standardization - Context-aware Management - Converged Networks and Services - Application Reports in IT and Network Industries - QoS & Performance Management in Emerging networks - Security Management of Emerging Networks and Services - Mobility management - Managing energy consumption in resource constrained networks - Metrics, Techniques, and Experiments for Evaluating Network Management Architectures - Experimental Platforms that Support Network Management Research SUBMISSION IEEE MENS 2010 only accept original, previously unpublished papers. Papers should be written in English with a maximum paper length of five (5) printed pages (10-point font) including figures, without incurring additional page charges (maximum 1 additional page). You may use the standard IEEE Transactions templates for Microsoft Word or LaTeX formats found at http://www.ieee.org/web/publications/authors/transjnl/index.html. Only PDF files are accepted for paper review and must be submitted through EDAS ( http://edas.info/N8688). An accepted paper must be registered before the registration deadline. An accepted paper must be presented at the workshop. Failure to register before the deadline will result in automatic withdrawal of the paper from the workshop proceedings and the program. All accepted and presented papers will be included in the IEEE GLOBECOM proceedings and IEEE digital library. GLOBECOM has the right to remove an accepted and registered but not presented paper from the IEEE digital library. IMPORTANT DATES Paper submission due: July 2, 2010 (Friday) Decision notification due: August 13, 2010 (Friday) Camera-ready and registration due: Aug 31, 2010 (Tuesday) GENERAL CHAIRS * Jianguo DING, Norwegian University of Science and Technology (NTNU), NORWAY * Ranganai CHAPARADZA, Fraunhofer FOKUS, Germany * Djamel DJENOURI, CERIST Research Center, Algiers, Algeria TECHNICAL PROGRAM COMMITTEE * Finn AAGESEN, Norwegian University of Science and Technology (NTNU), Norway * Derhab ABDEL OUAHID, CERIST, Algeria * Monica AGUILAR IGARTUA, UPC, Spain * Habib M. AMMARI, Hofstra University, USA * Nadjib BADACHE, CERIST, Algeria * Ilangko BALASINGHAM, University of Oslo, Norway * Fransisco BARCELO, UPC, Spain * Girma BERHE, University of Luxembourg, Luxembourg * Pascal BOUVRY, University of Luxembourg, Luxembourg * Luca CAVIGLIONE, National Research Council (CNR), Italy * Ranganai CHAPARADZA, Fraunhofer FOKUS, Germany * Serge CHAUMETTE, University of Bordeaux, France * Chao CHEN, Indiana University Purdue University Fort Wayne, USA * Lei CHEN, Sam Houston State University, USA * Min CHEN, Seoul National University, Korea * Zesheng CHEN, Florida International University, USA * Shiduan CHENG, Beijing University of Posts and Telecommunications (BUPT), China * Laurent CIAVAGLIA, Alcatel-Lucent Bell Labs France, France * Gregoire DANOY, University of Luxembourg, Luxembourg * Franco DAVOLI, University of Genoa, Italy * Jianguo DING, Norwegian University of Science and Technology (NTNU), Norway * Djamel DJENOURI, CERIST Research Center, Algeria * Bernabe DORRONSORO, University of Luxembourg * Juan Manuel GONZALEZ MUNYOZ, Telefonica Research and Development, Spain * Mary GRAMMATIKOU, Institute of Communication and Computer Systems?ICCS, Greece * Haibing GUAN, Shanghai Jiao Tong University, China * Frederic Guinand, Le Havre University, France * Haiwu HE, INRIA, France * Shanshan JIANG, SINTEF, Norway * Yuming JIANG, Norwegian University of Science and Technology (NTNU), Norway * Vassilios KALDANIS, Velti, Greece * Timotheos KASTRINOGIANNIS, Institute of Communication and Computer Systems?ICCS, Greece * Peter KROPF, University of Neuchatel, Switzerland * Athanassios LIAKOPOULOS, Greek Research & Technology Network S.A. (GRNET), Greece * Xuedong LIANG, University of Oslo, Norway * Jose Antonio LOZANO LOPEZ, Telefonica Research and Development, Spain * Jose MARIA BARCELO, UPC, Spain * Luoming MENG, Beijing University of Posts and Telecommunications (BUPT), China * Mohamed OULED-KHAWA, Sultan Qaboos University, Oman * Symeon PAPAVASSILIOU, Institute of Communication and Computer Systems?ICCS, Greece * Yacine REBAHI, Fraunhofer FOKUS, Germany * Steffen Rothkugel, University of Luxembourg, Luxembourg * Said SOULHI, Ericsson, Canada * Robert SZABO, BME, Hungary * Sabu M THAMPI, Rajagiri School of Engineering and Technology, India * Herwig UNGER, University of Hagen, Germany * Martin VIGOUREUX, Alcatel-Lucent Bell Labs France, France * Xinhui WANG, Norwegian University of Science and Technology (NTNU), Norway * Michal WODCZAK, Telcordia Technologies, Poland * Wen XU, Infineon Technologies, Germany * Mohamed YOUNIS, University of Maryland, USA * Shengli YUAN, University of Houston - Downtown, USA * Yan ZHANG, Simula Research Laboratory, Norway * Liang ZHOU, ENSTA-ParisTech, France CONTACT Jianguo Ding (Jianguo.Ding at ieee.org ) Norwegian University of Science and Technology (NTNU) N-7491 Trondheim, Norway Ranganai Chaparadza (Ranganai.Chaparadza at fokus.fraunhofer.de) Fraunhofer FOKUS, Germany Djamel Djenouri (ddjenouri at acm.org) CERIST Research Center, Algiers, Algeria -------------- next part -------------- An HTML attachment was scrubbed... URL: http://web.satd.uma.es/pipermail/ecoop-info/attachments/20100429/ada5d897/attachment.html From misra at cs.nmsu.edu Thu Apr 29 03:55:28 2010 From: misra at cs.nmsu.edu (Satyajayant Misra) Date: Wed, 28 Apr 2010 19:55:28 -0600 Subject: [ecoop-info] CFP: IEEE IPCCC 2010 (International Performance Computing and Communications Conference) Message-ID: <201004290155.o3T1tSGB002704@centaur.cs.nmsu.edu> =========================================================================== Apologies if you receive multiple copies of this Call for Papers =========================================================================== IEEE IPCCC 2010 The 29TH IEEE International Performance, Computing, And Communication Conference (IPCCC) 2010 December 9-11, 2010 Albuquerque, New Mexico, USA CALL FOR PAPERS --------------- The International Performance, Computing, and Communications Conference is a premier IEEE conference presenting research in the performance of computer and communication systems. For more than a quarter century, IPCCC has been a research forum for academic, industrial, and government researchers. We encourage submission of high-quality papers reporting original work in both theoretical and experimental research areas. Topics of interest include, but are not limited to, the following: ? **** Hot Topics For IPCCC 2010 **** Mobile Ad Hoc, Sensor and Mesh Networks Performance Evaluation and Modeling Parallel and Distributed Systems Network Protocols Internet Services and Network Management Cache, Memory, and Disk Storage Systems Network Information Assurance, and Security Ubiquitous Computing Performance Tools and Techniques Fundamental Theory and Algorithms Grid and Cloud Computing Workload Characterization and its Impact on Architecture Design Multi- and Single- core Processor Architecture Embedded Systems FULL PAPERS: All papers will be blind reviewed by the Technical Program Committee. They will be judged with respect to their quality, originality, and relevance. Accepted papers will be published in the conference proceedings, conditional upon the author's advance registration and attendance at the conference. POSTERS: The Poster Chair of IPCCC would like to invite students to participate in a Student Poster Session by submitting a title and extended abstract of your work. Accepted posters will be presented in a reception on Friday night and the extended abstracts will be included in the conference proceedings. WORKSHOPS AND PANELS: Proposals for panel sessions and workshops are welcome. Please contact the Workshop Chair for details. IMPORTANT DATES: ----------------- Workshop and Panel Proposal Due: August 1, 2010 Conference Paper Submissions Due: August 8, 2010 Student Extended Abstracts Due: August 15, 2010 Paper Acceptance Notification: September 15, 2010 Camera Ready Manuscript Due: October 8, 2010 ORGANIZING COMMITTEE ---------------------- GENERAL CHAIR Richard Oliver, New Mexico State University VICE CHAIR Sheng Zhong, SUNY Buffalo PROGRAM CHAIRS Kuai Xu, Arizona State University at the West Campus Chengkai Li, University of Texas at Arlington FINANCE CHAIR Nasr Ullah, Freescale Semiconductor Inc. WEB CHAIR Neil Nelson, Freescale Semiconductor Inc. REGISTRATION CHAIR Jack Chen, Freescale Semiconductor Inc. PUBLICATION CHAIR Yu Wang, University of North Carolina at Charlotte POSTER CHAIR Song Fu, New Mexico Tech. WORKSHOP CHAIR Dave Cavalcanti, Philips Research PUBLICITY CHAIR Satyajayant Misra, New Mexico State University -------------- next part -------------- A non-text attachment was scrubbed... Name: not available Type: application/octet-stream Size: 281181 bytes Desc: IPCCC_CallForPapers_2010.pdf (PDF document, version 1.5) Url : http://web.satd.uma.es/pipermail/ecoop-info/attachments/20100428/0c9d6a62/attachment-0001.obj From fraser at cs.uni-saarland.de Thu Apr 29 13:40:19 2010 From: fraser at cs.uni-saarland.de (Gordon Fraser) Date: Thu, 29 Apr 2010 13:40:19 +0200 Subject: [ecoop-info] CfPart: TAP 2010 - 4th International Conference on Tests and Proofs Message-ID: <69D4C841-A749-4076-90FB-CE566F53E1B6@cs.uni-saarland.de> CALL FOR PARTICIPATION TAP 2010: 4th International Conference on Tests and Proofs July 1-2, 2010, Malaga, Spain http://www.st.cs.uni-saarland.de/tap2010 Part of TOOLS Federated Conferences 2010: TOOLS Europe 2010, SC 2010, ICMT 2010, TAP 2010 We would like to heartily invite you to participate in the 4th International Conference on Tests and Proofs. The TAP conference is devoted to the convergence of proofs and tests. It combines ideas from both sides for the advancement of software quality. About Tests and Proofs: ----------------------- To prove the correctness of a program is to demonstrate, through impeccable mathematical techniques, that it has no bugs; to test a program is to run it with the expectation of discovering bugs. The two techniques seem contradictory: if you have proved your program, it's fruitless to comb it for bugs; and if you are testing it, that is surely a sign that you have given up on any hope to prove its correctness. Accordingly, proofs and tests have, since the onset of software engineering research, been pursued by distinct communities using rather different techniques and tools. And yet the development of both approaches leads to the discovery of common issues and to the realization that each may need the other. The emergence of model checking has been one of the first signs that contradiction may yield to complementarity, but in the past few years an increasing number of research efforts have encountered the need for combining proofs and tests, dropping earlier dogmatic views of incompatibility and taking instead the best of what each of these software engineering domains has to offer. Registration: ------------- Registration is handled by the TOOLS Conference series. Registration and accommodation details can be found at: http://malaga2010.lcc.uma.es/ Early registration runs until May 28. On-line registration will be open until June 23, 2010. After that day, only on-site registration will be possible. Keynote Speakers: ------------- Michael Ernst, University of Washington, USA Nachi Nagappan, Microsoft Research, USA Program: -------- July 1, 2010 09:00 -- Opening 09:05 -- Keynote: Mike Ernst How Tests and Proofs Impede One Another: The Need for Always-On Static and Dynamic Feedback 10:30 -- Break 11:00 -- Session 1: Shared Session with TOOLS Europe * Phillip Heidegger, Peter Thiemann. JSConTest: Contract-Driven Testing of JavaScript Code (TOOLS) * Jonathan de Halleux, Nikolai Tillmann: Moles: tool-assisted environment isolation with closures (TOOLS) * Koen Claessen, Nicholas Smallbone and John Hughes. QuickSpec: Guessing Formal Specifications using Testing (TAP) 12:30 -- Lunch 14:30 -- Session 2: "Testing Proofs" * Ki Yung Ahn and Ewen Denney. Testing First-Order Logic Axioms in Program Verification * Martin Gogolla, Lars Hamann and Mirco Kuhlmann. Proving OCL Invariant Independence by Automatically Generated Test Cases * Lydie du Bousquet and Michel Levy. Proof process evaluation with mutation analysis 16:00 -- Break 16:30 -- Session 3: "Test Generation using Proof Techniques" * Christoph Gladisch, Shmuel Tyszberowicz, Bernhard Beckert and Amiram Yehudai. Generating Regression Unit Tests using a Combination of Verification and Capture & Replay * Suresh Thummalapenta, Jonathan Halleux, Nikolai Tillmann and Scott Wadsworth. DyGen: Automatic Generation of High-Coverage Tests via Mining Gigabytes of Dynamic Traces * Omar Chebaro, Nikolai Kosmatov, Alain Giorgetti and Jacques Julliand. Combining Static Analysis and Test Generation for C Program Debugging July 2, 2010 09:00 -- SC Shared Keynote: Val?rie Issarny From Middleware to on the Fly Connector Synthesis for the Dynamic Composition of Pervasive Software Intensive Networked Systems 10:30 -- Break 11:00 -- Keynote: Nachiappan Nagappan Myths in Software Engineering: From the Other Side 12:30 -- Lunch 14:30 -- Session 3 (continued): "Test Generation using Proof Techniques" * Eugene Goldberg and Panagiotis Manolios. Generating High Quality Tests for Boolean Circuits by Treating Tests as Proof Encodings 15:00 -- Session 4: "Theorem Proving and Testing" * Jasmin Christian Blanchette. Relational Analysis of (Co)inductive Predicates, (Co)algebraic Datatypes, and (Co)recursive Functions * Vlad Rusu. Combining narrowing and theorem proving for rewriting-logic specifications 16:00 -- Break 16:30 -- Session 5: "Abstraction" * Jacques Julliand, Nicolas Stouls, BUE Pierre-christophe and Pierre-Alain Masson. Syntactic Abstraction of B Models to Generate Tests * Pierre-Christophe Bue, Frederic Dadeau, Adrien de Kermadec and Fabrice Bouquet. Building a test-ready abstraction of a behavioral model using CLP 17:30 -- Discussion + closing Conference Chairs: --------------- Yuri Gurevich, Microsoft Research, USA Bertrand Meyer, ETH Zuerich, Switzerland Program Chairs: --------------- Gordon Fraser, Saarland University, Germany Angelo Gargantini, University of Bergamo, Italy Program Committee: ------------------- Bernhard K. Aichernig, Graz University of Technology, Austria Paul Ammann, George Mason University, USA Bernhard Beckert, University of Koblenz, Germany Dirk Beyer, Simon Fraser University, Canada Koen Claessen, Chalmers University of Technology, Sweden John Clark, University of York, UK Catherine Dubois, ENSIIE, Evry, France Carlo Furia, ETH Zuerich, Switzerland Patrice Godefroid, Microsoft Research, USA Martin Gogolla, University of Bremen, Germany Arnaud Gotlieb, IRISA, France Reiner Haehnle, Chalmers University of Technology, Sweden Bart Jacobs, Katholieke Universiteit Leuven, Belgium Victor Kuliamin, Russain Academy of Sciences, Russia Karl Meinke, KTH Royal Institute of Technology, Sweden Manuel Nunez, Universidad Complutense de Madrid, Spain Sam Owre, SRI International, USA Doron Peled, Bar Ilan University, Israel Wolfram Schulte, Microsoft Research, USA Yannis Smaragdakis, University of Massachusetts, USA Assia Touil, Supelec, France T.H. Tse, University of Hong Kong, China Website: ------- http://www.st.cs.uni-saarland.de/tap2010 From natasha.sharygina at usi.ch Thu Apr 29 19:58:35 2010 From: natasha.sharygina at usi.ch (natasha.sharygina at usi.ch) Date: Thu, 29 Apr 2010 19:58:35 +0200 Subject: [ecoop-info] Final CFP and deadline extention: FMCAD 2010 Message-ID: <3A0B771091C3C740912DF27086F0857C020A8AF293A7@MAILBOX.usilu.net> [Apologies if you receive multiple copies of this CFP] ************************************************************ FMCAD 2010 Final Call for Papers International Conference on Formal Methods in Computer-Aided Design Lugano, Switzerland 20-23 October 2010 http://fmcad10.iaik.tugraz.at/ IMPORTANT DATES Abstract Submission: 5 May 2010 Paper Submission: 12 May 2010 (extended) Author Notification: 7 July 2010 Final Version: 28 July 2010 Conference: 20-23 October 2010 CONFERENCE SCOPE FMCAD 2010 is the tenth in a series of conferences on the theory and application of formal methods in hardware and system design and verification. FMCAD provides a leading international forum to researchers and practitioners in academia and industry for presenting and discussing novel methods, technologies, theoretical results, and tools for formally reasoning about computing systems, as well as open challenges therein. This year, FMCAD is privileged to have Joseph Sifakis, Founder and Director of VERIMAG Laboratory, a Turing Award 2007 winner, to deliver its keynote address on Scientific Challenges and Work Directions in Embedded Systems Design. The tutorial speakers are Ken McMillan, a Paris Kanellakis Award winner, senior researcher at Cadence Berkeley Labs, Warren Hunt, Professor at University of Texas at Austin, Sumit Gulwani, a researcher at Microsoft Research, USA, and Jin Yang, a senior staff research engineer at Intel Strategic CAD Labs. NEW: FMCAD 2010 has two tracks (but no parallel sessions): the research track and the industrial track. RESEARCH TRACK Topics of interest: Advancing industrial-strength technologies in Model Checking, Theorem Proving, Equivalence Checking, Abstraction and Refinement Techniques, Reduction and Abstraction Techniques, Compositional Methods, Decision Procedures, SMT solvers, Bit-Precise Reasoning, Word-Level Techniques, SAT- and BDD-based methods, Probabilistic Methods, and Combinations of Deductive Methods and Decision Procedures. Applications of Formal Methods in Specification, Design and Verification Topics relating to the application and applicability of Property-Based Verification, Equivalence Checking, Semi-formal Verification, Runtime Verification, Simulation and Test-case Generation, Coverage Analysis, Microcode Verification, Concurrent Systems, Timing Verification, and Formal Approaches to Performance and Power. System-Level Design and Verification, especially for Embedded Systems, Software Verification, HW/SW Co-Design and Verification, Transaction-Level Verification. Modeling and Specification Languages, Model-Based Design, Verification-Based Testing, Design Derivation and Transformation, Correct-by-Construction Methods. INDUSTRIAL TRACK This track is dedicated to industry users of formal methods, including work on real industrial-scale designs being done in universities and research organizations. We invite such users to describe their experience with formal methods, including evaluations of commercial tools, case studies of industrial-scale applications, experience reports on novel and challenging applications, or methodologies for the incorporation of formal or semi- formal methods into the industrial design flow. Finally, we invite tool presentations, of industrial-strength commercial tools as well as novel academic tools that are not yet industrial strength, but address a real industrial need. Tool presentations should describe the capabilities or novel features of the tool, or an innovative algorithm, a new approach, or original application methodology. EXHIBITION FMCAD 2010 will feature also an exhibition with limited free-of-charge booth space for which academic novelty is not a requirement. Note that since space is limited, we will not be able to accept every request for a booth, and that preference will be given to requests by authors of accepted tool presentations. EDA vendors are especially encouraged to submit a tool presentation and/or to request booth space in order to demo their tools. SUBMISSIONS Submissions must be made electronically in PDF format via EasyChair. More details will be provided on the FMCAD web site. The proceedings are planned to be published by IEEE and ACM and will be available online in the ACM Digital Library and at IEEE Xplore. Research Track Submissions Two categories of research papers can be submitted: regular papers (8 pages) containing original research, and short papers (4 pages) describing emerging results and work-in-progress. Industrial Track Submissions Submitters to the industrial track will have the option of submitting a regular paper (8 pages), a short paper (4 pages), or a deck of up to 25 slides (for tool presentations: 4 pages or 15 slides). Both papers and slide submissions will be reviewed. Regular and short papers will appear in the proceedings as usual, while authors of accepted slide presentations will be invited to write a one page abstract for the proceedings. For exhibition space, submission is not required and an email request to the industrial track chairs is sufficient. However, due to limited space we will not be able to accept every request. We therefore strongly advise those interested in exhibition space to submit a tool presentation, as we will give preference for booth space to authors of accepted tool presentations. Regular and short papers must use the IEEE Transactions format on letter-size paper using a 10-point font (see http://www.ieee.org/conferences_events/conferences/publishing/templates.html). Research Track papers must contain original research that has not been previously published, nor concurrently submitted for publication. For both research and industry submissions, any partial overlap with a published or concurrently submitted paper must be clearly indicated. (For slide decks, use an extra slide to discuss overlaps; this slide may be excluded from the final presentation.) By submitting their work, the authors agree to present it at the conference if selected. Authors are strongly encouraged to provide adequate access to their experimental data for verification. A small number of accepted papers will be considered for a distinguished paper award. CHAIRS Roderick Bloem, Graz University of Technology, Austria Natasha Sharygina, University of Lugano, Switzerland and CMU, USA INDUSTRIAL TRACK CHAIRS Wolfgang Ecker, Infineon, Germany Cindy Eisner, IBM Haifa Research Laboratory, Israel TUTORIAL CHAIR Helmut Veith, Vienna University of Technology, Austria PANEL CHAIR Tom Melham, Oxford University Computing Laboratory, UK PUBLICATION CHAIR Hana Chockler, IBM Haifa Research Laboratory, Israel PROGRAM COMMITTEES Technical Program: Jason Baumgartner, IBM, USA Valeria Bertacco, University of Michigan, USA Armin Biere, Johannes Kepler University, Austria Per Bjesse, Synopsys, Inc., USA Roderick Bloem, Graz University of Technology, Austria Doron Bustan, Intel, Israel Gianpiero Cabodi, Politecnico di Torino, Italy Alessandro Cimatti, IRST, Italy Koen Claessen, Chalmers University of Technology, Sweden Ganesh Gopalakrishnan, University of Utah, USA Aarti Gupta, NEC Labs, USA Ziyad Hanna, Jasper Design Automation, USA Alan Hu, University of British Columbia, Canada Barbara Jobstmann, CNRS-Verimag, France Jie-Hong Roland Jiang, National Taiwan University, Taiwan Vineet Kahlon, NEC Labs, USA Gerwin Klein, NICTA, Australia Daniel Kroening, Oxford University Computing Laboratory, UK Thomas Kropf, University of T?bingen, Germany Marta Kwiatkowska, Oxford University Computing Laboratory, UK Oded Maler, CNRS-Verimag, France Panagiotis Manolios, Northeastern University, USA Ken McMillan, Cadence Berkeley Labs, USA Tom Melham, Oxford University Computing Laboratory, UK John O'Leary, Intel, USA Lee Pike, Galois, Inc., USA Marc Pouzet, University of Paris-Sud, France Julien Schmaltz, Open University of The Netherlands, Netherlands Natarajan Shankar, Computer Science Laboratory, SRI, USA Natasha Sharygina, University of Lugano, Switzerland and CMU, USA Satnam Singh, Microsoft Research Anna Slobodova, Centaur, USA Sofiene Tahar, Concordia University, Canada Helmut Veith, Vienna University of Technology, Austria Karen Yorav, IBM Research, Israel Industrial track: Peter Jensen, SyoSil Aps, Denmark Pranav Ashar, RealIntent, USA Lyes Benalycherif, ST Ericsson, France Per Bjesse, Synopsys, Inc., USA Holger Busch, Infineon Joachim Gerlach, Albstadt-Sigmaringen University, Germany Ziyad Hanna, Jasper Design Automation, USA Christian Jacobi, IBM, Germany Andreas Kuehlmann, Cadence Berkeley Labs, USA Ajeetha Kumari, CVC Pvt Ltd, India Viresh Paruthi, IBM, USA Axel Scherer, Cadence Berkeley Labs, USA Michael Siegel, OneSpin Solutions, Germany LOCAL ARRANGEMENTS Mariagiovanna Sami, Politecnico di Milano, Italy and University of Lugano, Switzerland Umberto Bondi, University of Lugano, Switzerland Daniela Dimitrova, University of Lugano, Switzerland Francesco Regazzoni, University of Lugano, Switzerland and UCL Louvaine-la-Neuve, Belgium --------------------------------------------------------------------------------------------------------------- Prof. Natasha Sharygina Formal Verification and Security Group Informatics Department, University of Lugano http://www.inf.unisi.ch/faculty/sharygina http://www.verify.inf.unisi.ch From gwen.salaun at inria.fr Fri Apr 30 11:47:06 2010 From: gwen.salaun at inria.fr (gwen.salaun at inria.fr) Date: Fri, 30 Apr 2010 11:47:06 +0200 Subject: [ecoop-info] CfP - TAV-WEB 2010 Message-ID: CALL FOR PAPERS 4th International Workshop on Testing, Analysis, and Verification of Web Software (TAV-WEB 2010) Held in conjunction with ASE 2010 Antwerp, Belgium, September 20 - September 24, 2010 Web Site: http://www.tav-web.org/ DESCRIPTION The last decade has seen the explosive growth of interactive Web software, which is now commonplace in many application domains including retail (such as Amazon and Travelocity) and finance (such as on-line trading and banking). This explosive growth is likely to accelerate further by adoption of service oriented computing that enables interactions among Web accessible software components facilitating business-to-business application development. Challenges in developing Web accessible software has inspired a new wave of languages, standards, and tools that have not yet become part of the mainstream software engineering research and education. On the other hand, an increasingly large number of software developers work exclusively on Web software development. We believe that investigating the testing, analysis and verification problems in this particular domain is an extremely important research topic. Developing dependable Web software has its own unique set of challenges: * Distributed nature of Web accessible software components makes interoperability and integration especially challenging. Web applications and services are prone to concurrency errors since they rely on concurrent processing of user/service requests. * Interfaces play an important role in coordination of components within a Web application or coordination of Web services across organizational boundaries, and interface violations can cause serious problems. * Diverse communication mechanisms such as synchronous and asynchronous messaging and remote procedure calls result in complex interaction behavior. * Performance is an important problem for web software due to a high volume of web accesses and requests and communication overhead (such as service interactions) inside web software. * Security and privacy are critical for web software due to ease of access and cross-enterprise exchange of potentially sensitive data. * New languages (such as BPEL), new software development platforms (such as Ruby on Rails), and data formats (such as XML) introduced for this particular domain present new challenges. * Migrating legacy software to web software calls for new techniques and tools to support the process. Developing dependable Web software requires effective testing, analysis and verification techniques and tools that address not only the needs of software in general but also the peculiar challenges of this domain such as the ones listed above. These demands will require and inspire new testing, analysis and verification techniques and corresponding tools, which will form the focus of this workshop. IMPORTANT DATES Submission: 15 June, 2010 Author Notification: 16 July, 2010 Camera Ready: 30 July, 2010 Workshop: 21 September, 2010 TOPICS OF INTEREST Topics of interest include, but are not limited to: * Models and tools for analyzing, designing, composing, and discovering Web services and Business processes. * Formal models for specifying and reasoning on Web software. * Model-checking and debugging of Web software. * Web quality, metrics, reliability, security, and performance evaluation. * Testing and evaluation of Web systems and applications. * Surveys, case studies and industrial or experience reports. The goal of the workshop is to bring together researchers and practitioners interested in the aforementioned fields, to share and identify common problems, and to devise general solutions in the context of testing, analysis, and verification of Web software. It is expected that formal paper presentations will be followed by lively discussions. SUBMISSION & PUBLICATION TAV-WEB 2010 calls for both research papers and experience reports. Papers should be up to 12 pages, using the EPTCS style, and they must indicate the authors names, affiliation and contact information. Submissions should be submitted using the EasyChair system (http://www.easychair.org/conferences/?conf=tavweb10) by June 15, 2010. All submissions will be reviewed by the Program Committee for acceptance. Accepted papers will be published in the proceedings of the workshop in the EPTCS series. PROGRAM COMMITTEE Luciano Baresi, Politecnico di Milano (Italy) Tevfik Bultan, UCSB, Santa Barbara (US) Gregorio Diaz, University of Castilla la Mancha (Spain) Francisco Duran, University of Malaga (Spain) Howard Foster, Imperial College, London (UK) Xiang Fu, Hofstra University (US) William Halfond, University of Southern California (US) Sylvain Hall?, Universit? du Qu?bec ? Montr?al (Canada) Yang Liu, National University of Singapore Tiziana Margaria, University of Potsdam (Germany) John Mullins, Montreal Polytechnical School (Canada) Jeff Offutt, George Mason University (US) Gwen Sala?n, Grenoble INP-INRIA-LIG (France) Marjan Sirjani, Reykjavik University (Iceland) Sara Sprenkle, Washington & Lee University (US) Fatiha Zaidi, University of Paris-Sud XI (France) PC Chairs Xiang Fu, Hofstra University (US) Sylvain Hall?, Universit? du Qu?bec ? Montr?al (Canada) Gwen Sala?n, Grenoble INP-INRIA-LIG (France) From kroening at comlab.ox.ac.uk Fri Apr 30 12:31:50 2010 From: kroening at comlab.ox.ac.uk (Daniel Kroening) Date: Fri, 30 Apr 2010 11:31:50 +0100 Subject: [ecoop-info] Three Postdocs at Oxford University In-Reply-To: <3A0B771091C3C740912DF27086F0857C020A8AF293A7@MAILBOX.usilu.net> References: <3A0B771091C3C740912DF27086F0857C020A8AF293A7@MAILBOX.usilu.net> Message-ID: <46FD0790-542E-43A8-9987-B2B8D570ECBE@comlab.ox.ac.uk> Postdoctoral Researcher The Automated Formal Verification Group is advertising a post for a Grade 7 Research Assistant to work on the automated verification of concurrent programs that make use of shared memory under the direction of Daniel Kroening and Jo?l Ouaknine in the Oxford University Computing Laboratory. Applicants should have (or shortly expect to receive) a PhD in Computer Science or a closely related field. The primary selection criteria are strong programming and systems skills, some experience of tool construction, and basic knowledge of program analysis. A background in theoretical computer science or mathematics is desirable. Candidates with prior experience with programming for the x86 memory model are especially encouraged to contact us, although this is by no means a necessary requirement. The work will take place within the Verification group in the Oxford University Computing La bo ratory, which comprises, in addition to the two investigators, world-leading experts in software verification and model checking such as Marta Kwiatkowska, Tom Melham, Luke Ong, and Bill Roscoe. The posts will have a salary on the University grade 7 scale (currently ?28,839 to ?35,469 pa). The official ad for the post and instructions for applying can be found here: http://www.comlab.ox.ac.uk/news/179-full.html We expecting to advertise two additional posts for Postdocs to work on program analysis in the near future. We welcome any inquiries via e-mail to Daniel Kroening and Jo?l Ouaknine. PhD Studentship The Automated Formal Verification Group is offering a fully funded DPhil (Oxford's "PhD") position at Oxford University's Computing Laboratory. The position is associated with a project under the supervision of Daniel Kroening and Jo?l Ouaknine and will address the correctness of multi-threaded concurrent software. The studentship is fully funded (at EU fees level ? overseas candidates will need supplementary funding) for 3? years. The studentship includes a stipend of at least ?12,940 per year as well as provision for travel to conferences. Candidates must satisfy the usual requirements for studying for a doctorate at Oxford. The formal advertisement and instructions for applying are online at http://www.comlab.ox.ac.uk/news/149-full.html.