From stamatis.karnouskos at gmail.com Sat Sep 1 18:12:39 2007 From: stamatis.karnouskos at gmail.com (Stamatis Karnouskos) Date: Sat, 1 Sep 2007 18:12:39 +0200 Subject: [ecoop-info] Book CFP on Autonomic Communication In-Reply-To: <7ed0e9a90709010902k43e7907ahe0a526391fb1c726@mail.gmail.com> References: <7ed0e9a90709010902k43e7907ahe0a526391fb1c726@mail.gmail.com> Message-ID: <7ed0e9a90709010912t42ff1ec3xf6583b98a97c3f40@mail.gmail.com> [We apologize if you received multiple copies of this Call for Papers. Please feel free to distribute it to those who might be interested] ============================================================= CFP - Book on - Autonomic Communication - http://www.caip.rutgers.edu/~parashar/ac-springer/ ============================================================= (Edited Volume: To be published by Springer Science-Business Media, estimated publication summer 2008) Editors: - Athanasios V. Vasilakos, University of Western Macedonia, Greece - Manish Parashar, Rutgers University, USA - Stamatis Karnouskos, SAP Research, Germany - Witold Pedrycz, University of Alberta, Canada Introduction: The emerging world is pervasive and strives towards integrating people, technology, environment and knowledge. This emerging vision is moving towards approaches that set the user at the centre of attention, while technology becomes invisible, hidden in the natural surrounding, but still functional, autonomous, self-adaptive, present when needed and interactive. Achieving this vision requires innovative network architectures and services. Communication/networking approaches should become task- and knowledge-driven, enabling a service oriented, requirement and trust driven development of communication networks. The growing complexity of control requires increasingly distributed and self-organizing structures, relying on simple and dependable elements that are able to collaborate to produce sophisticated behaviors and that can adapt to an evolving situation, in which new resources can become available, administrative domains can change and economic models can vary accordingly. The networking and seamless integration of concepts, technologies, devices in a dynamically changing environment sets many challenges to the research community, including interoperability, programmability, management, openness, reliability, performance, context awareness, intelligence, autonomy, security, privacy, safety, semantics, etc. This edited volume explores the challenges in technologies that will help realize the vision where devices and applications seamlessly interconnect, intelligently cooperate and autonomously manage themselves, and as a result, the borders of virtual and real world will vanish or become significantly blurred. Topics of Interest: Specific areas of interest include (but are not limited to) the following: - Autonomic Communication vision - Architectures and models of Autonomic Communication systems - Semantics, languages and programming systems for Autonomic Communication - Network technologies and services for Autonomic Communication - Autonomic Communication for embedded and real-time systems - Interdisciplinary approaches to Autonomic Communication - Security, trust and survivability for Autonomic Communication - Deployments, testbeds and demonstrations of Autonomic Communication - Autonomic Communication approaches in Enterprise Environments Important Dates: Submission deadline: October 31, 2007 (*extended*) Author notification: December 01, 2007 Final manuscript due: March, 01, 2008 Target publication date: Summer, 2008 Submission Guidelines: Prospective authors are invited to submit an electronic version of their manuscript (maximum 30 pages, 12pt font, double spaced) by 31 Oct 2007, 2007. The manuscript should be submitted by email (PDF format preferred) to acbook at caip.rutgers.edu. From E30809 at jp.ibm.com Sun Sep 2 10:36:24 2007 From: E30809 at jp.ibm.com (Toshiro Takase) Date: Sun, 2 Sep 2007 17:36:24 +0900 Subject: [ecoop-info] CALL FOR PAPERS: Workshop on SOA, collocated with APSEC 2007, in Nagoya, Japan, December 4, 2007. Message-ID: ---------- CALL FOR PAPERS Workshop on Service Oriented Architecture, in Nagoya, Japan, December 4, 2007, collocated with 14th Asia-Pacific Software Engineering Conference (APSEC? 07) Motivation This workshop will focus on Service Oriented Architecture (SOA). Service oriented architecture is a paradigm for organizing and utilizing distributed capabilities that may be under the control of different ownership domains. It provides a uniform means to offer, discover, interact with and use capabilities to produce desired effects consistent with measurable preconditions and expectations. By following service oriented architecture, a computer system or software is componentized as a service. One of the most important points of service oriented architecture is interoperability; the services should be accessed from other services easily. Service oriented architecture is still an emerging approach. There have not been so many concrete implementations yet. More researches and practices are required in this area. Topic Areas The topics of this workshop include, but are not limited to the following topics. - Practical use cases, case studies, and best practices for service oriented architecture - Specification and standards for service oriented architecture - Composition, Aggregation and Orchestration of services in service oriented architecture - Quality of Services (Security, Performance, Reliability, etc.) and Service Level Agreement (SLA) in service oriented architecture - Semantics and Ontology of services in service oriented architecture - Evaluation and Testing methodology for service oriented architecture - Middleware for service oriented architecture - Technologies for service oriented architecture such as SOAP, REST,and CORBA - Model Driven Architecture (MDA) in service oriented architecture - Business Process Management (BPM) in service oriented architecture - Description, Discovery, and Integration of services in service oriented architecture - Service mediation and Enterprise Service Bus (ESB) in service oriented architecture - Software as a Service (SaaS) in service oriented architecture Paper Submissions The workshop welcomes submissions of regular (research or industrial) papers and short papers. All papers must be prepared in IEEE conference format. (http://www.computer.org/portal/pages/cscps/cps/cps_forms.html) Regular papers must not exceed 8 pages in length and short papers must not exceed 4 pages, including figures and references. Submissions should be sent to Toshiro Takase (E30809 at jp.ibm.com) by e-mail in PDF(.pdf) or MS Word(.doc) format. Important Dates Paper submission: September 17, 2007 Acceptance Notification: October 15, 2007 Final Camera-ready: October 29, 2007 Workshop: December 4, 2007 Publication Accepted papers of the workshop will be published in the workshop proceedings with an International Standard Serial Number (ISSN) by the Information Processing Society of Japan. The workshop proceedings will be distributed to all participants in APSEC?07. Organizations Workshop Co-Chair: - William Cheng-Chung Chu, Tung Hai University, Taiwan - Toshiro Takase, IBM Tokyo Research Laboratory, Japan Program Committee: - Aditya K. Ghose, University of Wollongong, Australia - Jun Han, Swinburne University of Technology, Australia - Yanbo Han, Institute of Computing Technology, Chinese Academy of Sciences, China - Fuyuki Ishikawa, National Institute of Informatics, Japan - Wei Jun, Institute of Software, Chinese Academy of Sciences, China - Piyush Maheshwari, IBM India Research Laboratory, India - Takahide Matsutsuka, Fujitsu Laboratories, Japan - Masahide Nakamura, Kobe University, Japan - Srinivas Padmanabhuni, Infosys, India - Stefan Tai, IBM T. J. Watson Research Center, USA - Liang-Jie Zhang, IBM T. J. Watson Research Center, USA ---------- Best Regards, Toshiro TAKASE IBM Research, Tokyo Research Laboratory, Service-Oriented Computing notes ID: Toshiro Takase/Japan/IBM at IBMJP, e-mail: E30809 at jp.ibm.com -------------- next part -------------- An HTML attachment was scrubbed... URL: http://www.aito.org/pipermail/ecoop-info/attachments/20070902/4813d732/attachment-0001.htm From davide at disi.unige.it Sun Sep 2 23:01:01 2007 From: davide at disi.unige.it (Davide Ancona) Date: Sun, 02 Sep 2007 23:01:01 +0200 Subject: [ecoop-info] Final call for papers: OOPS track at SAC 2008 Message-ID: <46DB248D.2010505@disi.unige.it> OOPS 2008 Final Call for Papers Object-Oriented Programming Languages and Systems http://oops.disi.unige.it/OOPS08 Special Track at the 23rd ACM Symposium on Applied Computing, SAC 2008 http://www.acm.org/conferences/sac/sac2008 Fortaleza, Brazil March 16 - 20, 2008 - Important Dates Sept. 8, 2007: Paper submissions Oct. 16, 2007: Author notification Oct. 30, 2007: Camera-Ready Copy - SAC 2008 For the past twenty-two years, the ACM Symposium on Applied Computing (SAC) has been a primary gathering forum for applied computer scientists, computer engineers, software engineers, and application developers from around the world. SAC 2008 is sponsored by the ACM Special Interest Group on Applied Computing (SIGAPP), and is hosted by the University of Fortaleza and the Federal University of Cear\'a, in Brazil. - OOPS Track Today's large scale software systems are typically designed and implemented using the concepts of the object-oriented (OO) paradigm. However, there is still a need for existing OO languages and architectures to continuously adapt in response to demands for new features and innovative approaches. The basic aim of the OOPS track at the SAC 2008 is to promote and stimulate further research on the object-oriented programming and distributed-object paradigms. This track will invite papers investigating the development of extensions and enhancements to the prevalent OO languages, such as Java, C# and C++, the formulation of innovative OO-based middleware approaches, and the improvements to existing and well-established distributed-object based systems. A medium to long-term vision is also solicited, tackling general issues about the current and future role of prevalent OO languages and distributed architectures in Computer Science and Engineering. The specific topics of interest for the OOPS track include, but are not limited to, the following: * Design and implementation of novel abstractions, constructs and mechanisms * Type systems * Multi-paradigm features * Language features in support of adaptability * Aspect-oriented programming * Component-based programming * Meta-programming, reflection, generative programming * Program structuring, modularity * Distributed objects and concurrency * Middleware * Heterogeneity and interoperability * Applications of distributed object computing * Compilation techniques * Virtual machines Original papers and implementation reports are invited from all areas of OO programming languages and distributed-object computing. Particularly of interest are papers that provide a thorough analysis covering theory, design, implementation, applicability, performance evaluation, and comparison/integration with existing constructs and mechanisms. - Submission Instructions Prospective papers should be submitted in pdf format using the provided automated submission system available at http://sac.cs.iupui.edu/SAC2008/. All papers should represent original and previously unpublished works that are currently not under review in any conference or journal. Both basic and applied research papers are welcome. Hardcopy and fax submissions will not be accepted. Submission of the same paper to multiple tracks is not allowed. The author(s) name(s) and address(es) must not appear in the body of the paper, and self-reference should be in the third person. This is to facilitate a blind review process. The format of the paper must adhere to the sig-alternate style (the templates are available at http://www.acm.org/conferences/sac/sac2008/downloads08.htm). The body of the paper should not exceed 4000 words (5 pages according to the above style). Papers that fail to comply with length limitations risk rejection. All papers must be submitted by September 8, 2007. For more information please visit the SAC 2008 Website at http://www.acm.org/conferences/sac/sac2008/. - Proceedings and special issue Accepted full papers will be published by ACM in the annual conference proceedings, with the option (at additional expense) to add 3 more pages. Accepted poster papers will be published as extended 2-page abstracts in the same proceedings. Please note that full registration is required for paper and poster inclusion in the conference proceedings and CD. Student registration does not cover paper and poster inclusion in the conference proceedings, but it is only intended to encourage student attendance. Finally, as it is customary, after the conference the accepted full papers will be selected for publication in a journal special issue. - Track Co-Chairs Davide Ancona (davide at disi.unige.it) DISI, University of Genova, Italy Alex Buckley (Alex.Buckley at Sun.COM) Sun Microsystems, USA - Program Committee * Eric Allen, Sun Microsystems Laboratories, USA * Lorenzo Bettini, University of Firenze, Italy * Kim Bruce, Pomona College, USA * Luis Caires, Universidade Nova de Lisboa, Portugal * Patrice Chalin, Concordia University, Canada * Shigeru Chiba, Tokyo Institute of Technology, Japan * Curtis Clifton, Rose-Hulman Inst. of Tech., USA * Alessandro Coglio, Kestrel Institute, USA * Pascal Costanza, Vrije Universiteit Brussel, Belgium * Grzegorz Czajkowski, Google, USA * Susan Eisenbach, Imperial College, UK * Erik Ernst, University of Aarhus, Denmark * Atsushi Igarashi, Kyoto University, Japan * Doug Lea, Suny Oswego, USA * Francesco Logozzo, Microsoft Research, USA * Matthew Parkinson, University of Cambridge, UK * Giovanni Rimassa, Whitestein Technologies, Switzerland * Don Syme, Microsoft Research, UK From Andrew.Fish at bton.ac.uk Mon Sep 3 10:55:18 2007 From: Andrew.Fish at bton.ac.uk (Andrew.Fish at bton.ac.uk) Date: Mon, 3 Sep 2007 09:55:18 +0100 Subject: [ecoop-info] Diagrams 2008: First Call for Papers Message-ID: <19975A316C67744D9720DD2F6AB1FC6603B1089B@EXCHANGE1.university.brighton.ac.uk> =============================================================== 1st Call for Papers: Diagrams 2008 Germany September 19 - 21, 2008 www.cmis.brighton.ac.uk/diagrams2008 =============================================================== We are delighted to announce that Professor John Etchemendy, Provost of Stanford University, will be a keynote speaker at this event. Diagrams 2008 Chairs [Apologies if you receive multiple copies of this email] =============================================================== Diagrams 2008: 5th International Conference on the Theory and Application of Diagrams Herrsching, Germany September 19 - 21, 2008 Diagrams is an international and interdisciplinary conference series, covering all aspects of research on the theory and application of diagrams. Recent technological advances have enabled the large-scale adoption of diagrams in a diverse range of areas. Increasingly sophisticated visual representations are emerging and, to enable effective communication, insight is required into how diagrams are used and when they are appropriate for use. The pervasive, everyday use of diagrams for communicating information and ideas serves to illustrate the importance of providing a sound understanding of the role that diagrams can, and do, play. Research in the field of diagrams aims to improve our understanding of the role of diagrams, sketches and other visualisations in communication, computation, cognition, creative thought, and problem solving. These concerns have triggered a surge of interest in the study of diagrams. The study of diagrammatic communication as a whole must be pursued as an interdisciplinary endeavour. Diagrams 2008 is the fifth event in this conference series, which was launched in Edinburgh during September 2000. Diagrams attracts a large number of researchers from virtually all related fields, placing the conference as a major international event in the area. Diagrams is the only conference that provides a united forum for all areas that are concerned with the study of diagrams: for example, architecture, artificial intelligence, cartography, cognitive science, computer science, education, graphic design, history of science, human-computer interaction, linguistics, logic, mathematics, philosophy, psychology, and software modelling. For the first time in its history, Diagrams will be co-located, running in conjunction with the IEEE Symposium on Visual Languages and Human-Centric Computing and the ACM Symposium on Software Visualization as part of Visual Week. This co-location will provide a lively and stimulating environment, enabling researchers from related communities to exchange ideas and more widely disseminate research results. Cross-conference participation is encouraged and the program will include joint keynote speakers. Diagrams 2008 will consist of sessions including presentations of refereed papers, posters and tutorial sessions. We invite submissions of long research papers (15 pages) short research papers (7 pages) posters (3 pages) tutorial proposals (1 page; see the conference web page for full details) that focus on any aspect of diagrams research. Long papers should present original research results. Short papers and posters should present original research contributions, position or problem statements, summarise software to support the use of diagrams, or integrate results published elsewhere which are of interest to the Diagrams community. All submissions will be fully peer reviewed. The proceedings will be published by Springer in their Lecture Notes in Computer Science series, www.springer.com/lncs. Full details on the preparation of submissions can be found on the conference web site www.cmis.brighton.ac.uk/diagrams2008. Topics of interest include, but are not limited to: applications of diagrams computational models of reasoning with, and interpretation of, diagrams design of diagrammatic notations diagram understanding by humans or machines diagram aesthetics and layout educational uses of diagrams graphical communication heterogeneous notations involving diagrams history of diagrammatic notations information visualization using diagrams novel uses of diagrams psychological issues pertaining to perception, comprehension or production of diagrams reasoning with diagrams software to support the use of diagrams theoretical aspects of diagrams including, for example, classification and formalization usability issues concerning diagrams Important Dates Abstract submission: 20th March 2008 Paper and tutorial submission: 1st April 2008 Poster submission: 11th April 2008 Notification for papers/tutorials: 16th May 2008 Notification for posters: 23rd May 2008 Camera ready copies due: 13th June 2008 Visual Week: 15th - 21st September 2008 Diagrams conference: 19th - 21st September 2008 Organisation General Chair Gem Stapleton, University of Brighton, UK Program Chairs John Howse, University of Brighton, UK John Lee, University of Edinburgh, UK Local Chair Mark Minas, Universit?t der Bundeswehr, Germany Publicity Chair Andrew Fish, University of Brighton, UK Web Site Aidan Delaney, University of Brighton, UK Program Committee Gerard Allwein (Naval Research Laboratory, USA) Michael Anderson (University of Hartford, USA) Dave Barker-Plummer (Stanford University, USA) Alan Blackwell (Cambridge University, UK) Dorothea Blostein (Queen's University, Canada) B. Chandrasekaran (Ohio State University, USA) Peter Cheng (University of Sussex, UK) Phil Cox (Dalhousie University, Canada) Richard Cox (University of Sussex, UK) Frithjof Dau (University of Wollongong, Australia) Max J. Egenhofer (University of Maine, USA) Stephanie Elzer (Millersville University, USA) Yuri Engelhardt (University of Amsterdam) Jacques Fleuriot (University of Edinburgh, UK) Jean Flower (Autodesk, UK) David Gooding (Bath University) Corin Gurr (University of Reading, UK) Mary Hegarty (University of California, Santa Barbara, USA) Mateja Jamnik (Cambridge University, UK) Yasuhiro Katagiri (Future University, Japan) Hans Kestler (University of Ulm, Germany) Zenon Kulpa (Institute of Fundamental Technological Research, Poland) Oliver Lemon (University of Edinburgh, UK) Stefano Levialdi (University of Rome - "La Sapienza", Italy) Richard Lowe (Curtin University of Technology, Australia) Grant Malcolm (University of Liverpool) Kim Marriott (Monash University, Australia) Bernd Meyer (Monash University, Australia) Nathaniel Miller (University of Northern Colerado, USA) N. Hari Narayanan (Auburn University, USA) James Noble (Victoria University of Wellington, NZ) Jesse Norman (University College London, UK) Jon Oberlander (University of Edinburgh) Luis Pineda (Universidad Nacional Aut?noma de M?xico, Mexico City) Helen Purchase (Glasgow University, UK) Thomas Rist (Fachhochschule Augsburg) Peter Rodgers (University of Kent, UK) Frank Ruskey (University of Victoria, Canada) Atsushi Shimojima (Doshisha University, Japan) Sun-Joo Shin (Yale University, USA) John Sowa (VivoMind Intelligence Inc.) Keith Stenning (University of Edinburgh, UK) Nik Swoboda (Universidad Polit?cnica de Madrid, Spain) Gabi Taentzer (Technical University of Berlin) Susan Trickett (Naval Research Laboratory, USA) Barbara Tversky (Stanford University, USA) -------------- next part -------------- An HTML attachment was scrubbed... URL: http://www.aito.org/pipermail/ecoop-info/attachments/20070903/a54559c9/attachment.htm From george at cs.ucy.ac.cy Mon Sep 3 09:56:08 2007 From: george at cs.ucy.ac.cy (George A. Papadopoulos) Date: Mon, 3 Sep 2007 10:56:08 +0300 Subject: [ecoop-info] Academic Vacancies -- CS Dept -- Univ of Cyprus Message-ID: ANNOUNCEMENT OF ACADEMIC POSITIONS The University of Cyprus announces three academic positions at the rank of Lecturer or Assistant Professor. DEPARTMENT OF COMPUTER SCIENCE One position at the rank of Lecturer or Assistant Professor in the following field of study: Software Engineering. One position at the rank of Lecturer or Assistant Professor in the following field of study: Database Systems. One position at the rank of Lecturer or Assistant Professor in the following field of study: Computer Systems Technologies in the areas of Operating Systems or Compilers or Security or Internet. For all academic ranks, an earned doctorate from a recognized University is required. Requirements for each academic rank depend on the candidate's years of academic experience, the research record and scientific contributions, involvement in teaching and in the development of high quality undergraduate and graduate curricula. The minimum requirements for each academic rank can be found at the web page: http://www.ucy.ac.cy/admin_servG/nomothesiaG/acc_qualG/acc_qualg.html. The official languages of the University are Greek and/or Turkish. Holding a citizenship of the Republic of Cyprus is not a requirement. The annual gross salary for these positions (including the 13th salary) is: Assistant Professor (Scale A13-A14) CY 29.244 to CY 36.168 Lecturer (Scale A12-A13) CY 24.697 to CY 32.775 (At present 1 Euro = 0.589 CY and 1$ = 0.4292 CY) Interested individuals must submit the following items by Monday 24th of September 2007: I. A letter stating the academic rank or ranks for which the applicant is interested in, the field of study and the date when he/she may be able to assume duties in the event of selection. II. A Curriculum Vitae (6 copies). III. A brief summary of previous work and a statement of plans for future research (up to 1500 words, 6 copies). IV. A list of publications (6 copies). V. Copies of the three most representative publications (6 copies). VI. Copies of degree certificates. In addition, the applicants must ask three academic referees to send letters of recommendation directly to the University. The names and addresses of these referees must be submitted with the application. Additional confidential information may be sought. The letters of recommendation must reach the University by Monday 24th of September 2007. The Curriculum Vitae and the statement of previous work and plans should be written in Greek and/or in Turkish and in one international language, preferably English. Applications, other documents and reference letters submitted in the past will not be considered and must be re-submitted. Incomplete applications will not be considered. Applications, other documents and reference letters have to be delivered by hand to the Human Resources Services of the University of Cyprus at the Council/Senate Anastasios G Leventis Building until Monday the 24th of September 2007, the latest, or to be sent by post (stamped by the post office by the 24th of September 2007, the latest; will be considered valid provided they are received by the Human Resources Services, PO Box 20537, 1678 Nicosia, Cyprus by the 2nd of October 2007, the latest. The sole responsibility will be upon the interested applicant). For more information the Human Resources Services or the Department of Computer Science (cs at cs.ucy.ac.cy) may be contacted. -- From L.M.J.Bergmans at ewi.utwente.nl Mon Sep 3 12:01:05 2007 From: L.M.J.Bergmans at ewi.utwente.nl (L.M.J.Bergmans at ewi.utwente.nl) Date: Mon, 3 Sep 2007 12:01:05 +0200 Subject: [ecoop-info] Vacancies: PhD & post-doc positions on Adaptable and Robust Composition Message-ID: Vacancies: PhD & post-doc positions (4 years) on Adaptable and Robust Composition with the TRESE Software Engineering group at the University of Twente, Enschede, The Netherlands CONTEXT ------- The TRESE Software Engineering group at the University of Twente (http://trese.cs.utwente.nl) is one of the partners within the Octopus project. This is a joint research project led by the dutch Embedded Systems Institute (http://www.esi.nl) among several dutch universities, with digital printer manufacturer Oce (http://www.oce.com/en) as the industrial carrying partner. Oce forms the source for relevant (but general) research problems and a testbed for verifying the viability of the results. The goal of the Octopus project is to improve system evolvability in high-tech (embedded) systems, i.e. the ability to easily adapt systems in response to evolution of technology, competition, and/or customer expectations. Systems should be easily modifiable to take advance of new hardware and software technologies and to respond quickly to changing customer expectations. Current development approaches specify the functionality of a system at design-time. Such approaches are not sufficiently adequate to develop systems that easily adapt to environmental or product usage fluctuations. A viable answer to these new challenges is genuine system adaptability; i.e. the ability of the system to adapt itself to fluctuations in the environment, the use of the product, etc.; naturally, these adaptations should not require an expensive and time-consuming product development cycle. More information about the Octopus project can be found at http://www.esi.nl/octopus. PROBLEM STATEMENT ----------------- Within the multi-disciplinary Octopus project, the University of Twente focuses on the software engineering part of the challenges: Software is an important means to realize adaptable behavior. Although there are no theoretically limitations to make software more flexible, in practice there are: software cannot be made adaptable in arbitrary ways without sacrificing engineering qualities. The typical result might be software that is ill-structured and poorly understood, causing it to be brittle (i.e. easily break down when changes are made) and increasingly hard to make further improvements to it. The approach towards designing adaptable systems in Octopus is based on the hypothesis that a composition-based approach may offer the compromise between flexibility and engineering quality. The TRESE software engineering chair (http://trese.cs.utwente.nl) at the University of Twente is widely recognized for its expertise in the design of composition techniques and composition-based design methods, with a long tradition in object-oriented and aspect-oriented software development. FOCUS ----- Within Octopus, we aim to tackle the following challenge: to devise software structuring ('composition') techniques that enable: - A software structure that is based on a logical decomposition (following system level models), and not compromised by the limitations of the composition techniques. This includes the investigation of e.g. dynamic composition techniques, aspects, etc. - Clear, explicit relations between the software structure and other system design models - Flexible reconfiguration of software components to support the realization of adaptability strategies. The reconfiguration decisions can be based on various techniques, including qualitative reasoning. - Means to ensure that the offered software flexibility does not compromise essential system properties, as defined by the system architecture. In other words; whenever a reconfiguration is requested, it should be ensured that the new configuration meets all the system level constraints. POSITIONS --------- Two positions are available in this area: one PhD candidate and one post-doc position, both for a duration of max. 4 years. They will conduct research that is highly relevant, not only with respect to real-world challenges at Oce, but also in the context of the international software engineering research community. We search for researchers who are driven by curiosity, and have a strong affinity with software engineering issues. They will work together on the challenges depicted above, where one position will focus more on flexible, adaptable and expressive composition, and the other position will focus more on the robustness and correctness of composition. The monthly salary of a PhD candidate, in accordance with the Dutch universities collective labour agreement, ranges from EURO 1965 gross in the first year to EURO 2502 gross in the fourth year. The monthly salary of a PostDoc starts at EURO 2740 and is negotiable. FURTHER INFORMATION ------------------- If you would like to have further information about these positions, you can contact * Lodewijk Bergmans (Octopus responsible) at lbergmans at acm.org, phone:+31-53-4894271, or * Prof. Mehmet Aksit (head of the Software Engineering group) at aksit at ewi.utwente.nl, phone:+31-53-4892638. APPLICATION ----------- Please send your application and resume (including a list of grades and -as applicable- electronic versions of your most relevant publications and MSc/PhD thesis) in electronic format to: Mrs. Roberts-Tieke, E.Roberts-Tieke at ewi.utwente.nl DEADLINE -------- September 15, 2007 From conram at consortia.org.il Mon Sep 3 12:41:04 2007 From: conram at consortia.org.il (Aaron shohet) Date: Mon, 03 Sep 2007 13:41:04 +0300 Subject: [ecoop-info] SWSTE07: Conference on Software Science, Technology & Engineering - Israel, 30-31 October 2007 Message-ID: <46DBE4C0.1010908@consortia.org.il> An HTML attachment was scrubbed... URL: http://www.aito.org/pipermail/ecoop-info/attachments/20070903/2eb438b8/attachment.htm From marcello at liacs.nl Mon Sep 3 13:59:46 2007 From: marcello at liacs.nl (M.M. Bonsangue) Date: Mon, 3 Sep 2007 13:59:46 +0200 Subject: [ecoop-info] FMCO 2007: 2nd call for participation Message-ID: <200709031159.l83BxkH08142@tin.liacs.nl> Our apologies if you receive multiple copies of this e-mail. Software Technologies Concertation on Formal Methods for Components and Objects (FMCO 2007) DATES: 24 - 26 October 2007 VENUE: CWI, Amsterdam, The Netherlands This year FMCO will be organized as a software technologies concertation on Formal Methods for Components and Objects between the following EU IST projects and network in the 6th framework (FP6): ARTIST (Network of Excellence on Embedded Systems Design, Cluster Real-Time Components) URL:http://www.artist-embedded.org/artist SELFMAN (Self Management for Large-Scale Distributed Systems based on Structured Overlay Networks and Components) URL:http://www.ist-selfman.org/wiki/index.php/SELFMAN_Project SENSORIA (Software Engineering for Service-Oriented Overlay Computers) URL: http://sensoria.fast.de MOBIUS (Mobility, Ubiquity and Security) URL http://mobius.inria.fr CREDO (Modeling and analysis of evolutionary structures for distributed services) URL: http://credo.cwi.nl GRIDCOMP and COREGRID (Grid Programming with Components) URL: http://gridcomp.ercim.org and http://www.coregrid.net The contributions of these projects to the program of FMCO 2007 are described in the program below. Participation is open to everyone. Registration form and more information can be found at the FMCO site http://fmco.liacs.nl/fmco07.html PROGRAM FMCO 2007 Wednesday October 24th ---------------------- 9:15 9:30 Opening MOBIUS SESSION - TYPES 9:30 - 10:15 David Aspinall (Edinburgh University, UK) Space and Billable Resources Break 10:30 - 11:15 Heiko Mantel (Darmstadt University, DE) Secure Information Flow Break 11:30 - 12:15 Werner Dietl (ETH, CH) Generic Universe Types Lunch break MOBIUS SESSION PROOF-CARRYING CODE 13:30 - 14:15 German Puebla (Technical University of Madrid, SP) Scenario for PCC Break 14:30 - 15:15 Gilles Barthe (INRIA Sophia-Antipolis, FR) Certificate Translation Break 15:30 - 16:15 Martin Hofmann (Ludwig-Maximilians University of Munich, DE) Certification with the Mobius Base Logic Break GRIDCOMP AND COREGRID SESSION 16:30 - 17:15 Denis Caromel (INRIA Sophia-Antipolis, FR) From Theory to Practice in Distributed Component Systems Welcome reception Thursday October 25th --------------------- SENSORIA SESSION 9:30 - 10:15 Martin Wirsing (Ludwig-Maximilians University of Munich, DE) Service-Oriented Software Development with UML Break 10:30 - 11:15 Jose Luiz Fiadeiro (University of Leicester, UK) Modelling Service-Component Architectures Break 11:30 - 12:15 Ugo Montanari (University of Pisa, IT) Programming Models for Service-Oriented Computing Lunch break CREDO SESSION 13:30 - 14:15 Einar Broch Johnsen (University of Oslo, NO) Modeling Reconfigurable Distributed Concurrent Objects Break 14:30 - 15:15 David Clarke (CWI, NL) Coordination, Logic and Games Break 15:30 - 16:15 Mahdi Jaghoori (CWI, NL) Modeling components and connectors in Credo Break MOBI-J SESSION 16:30 - 17:15 Andreas Gruener (University of Kiel, DE) Java Test Driver Generation from Object-Oriented Interaction Traces Conference dinner Friday October 26th ------------------- SELFMAN SESSION 9:15 - 10:00 Boris Mejias, Donatien Grolaux, Peter Van Roy Handling Imperfect Failure Detection in a Structured Overlay Network: the Relaxed Ring Approach. Break 10:15 - 11:00 Tallat Shafaat, Ali Ghodsi, Seif Haridi Handling Network Partitioning in a Structured Overlay Network. Break 11:15 - 12:00 Monika Moser, Seif Haridi Atomic Commitment in a Transactional DHT Built on a Structured Overlay Network Break 12:15 - 13:00 Jean-Bernard Stefani Oz/K: A Kernel Language for Component-Based Open Programming Lunch break ARTIST SESSION 14:00 - 14:45 Tom Henzinger (EPFL, CH) Interfaces for Real-Time Components Break 15:00 - 15:45 Joseph Sifakis (Verimag, FR) The Algebra of Connectors Structuring Interaction in BIP Break 16.00 - 16.45 Roberto Passerone (University of Trento, IT) A Generic Model of Contracts for Embedded Systems From pc at p-cos.net Mon Sep 3 14:29:43 2007 From: pc at p-cos.net (Pascal Costanza) Date: Mon, 3 Sep 2007 14:29:43 +0200 Subject: [ecoop-info] ContextL Survey September 2007 Message-ID: Context-dependent behavior is becoming increasingly important for a wide range of application domains. Unfortunately, mainstream programming languages do not provide mechanisms that enable software entities to adapt their behavior dynamically to the current execution context. In collaboration with various researchers, we have developed a new programming technique called "Context-oriented Programming" (COP). ContextL - http://common-lisp.net/project/closer/contextl.html - is our first fully implemented and currently most mature programming language extension for COP and is built on top of the Common Lisp Object System (CLOS). ContextL has first been made available to the public in early 2005, and has already been adopted by a number of programmers. We would now like to assess how well ContextL has been received so far. Please consider participating in our first survey about ContextL - this will help us a lot to develop ContextL and related projects further (like Closer to MOP, etc.). You can find the survey and more information about it at http:// prog.vub.ac.be/~pcostanza/COP/survey.html Thanks a lot, Pascal -- Pascal Costanza, mailto:pc at p-cos.net, http://p-cos.net Vrije Universiteit Brussel, Programming Technology Lab Pleinlaan 2, B-1050 Brussel, Belgium From davide at disi.unige.it Tue Sep 4 16:29:09 2007 From: davide at disi.unige.it (Davide Ancona) Date: Tue, 04 Sep 2007 16:29:09 +0200 Subject: [ecoop-info] Extended submission deadline: OOPS track at SAC 2008 Message-ID: <46DD6BB5.5020700@disi.unige.it> OOPS 2008 Call for Papers Object-Oriented Programming Languages and Systems http://oops.disi.unige.it/OOPS08 Special Track at the 23rd ACM Symposium on Applied Computing, SAC 2008 http://www.acm.org/conferences/sac/sac2008 Fortaleza, Brazil March 16 - 20, 2008 - Important Dates Sept. 8, 2007: Title and abstract submissions Sept. 16, 2007: Full paper submissions (* extended deadline *) Oct. 19, 2007: Author notification (* changed date *) Oct. 30, 2007: Camera-Ready Copy - SAC 2008 For the past twenty-two years, the ACM Symposium on Applied Computing (SAC) has been a primary gathering forum for applied computer scientists, computer engineers, software engineers, and application developers from around the world. SAC 2008 is sponsored by the ACM Special Interest Group on Applied Computing (SIGAPP), and is hosted by the University of Fortaleza and the Federal University of Cear\'a, in Brazil. - OOPS Track Today's large scale software systems are typically designed and implemented using the concepts of the object-oriented (OO) paradigm. However, there is still a need for existing OO languages and architectures to continuously adapt in response to demands for new features and innovative approaches. The basic aim of the OOPS track at the SAC 2008 is to promote and stimulate further research on the object-oriented programming and distributed-object paradigms. This track will invite papers investigating the development of extensions and enhancements to the prevalent OO languages, such as Java, C# and C++, the formulation of innovative OO-based middleware approaches, and the improvements to existing and well-established distributed-object based systems. A medium to long-term vision is also solicited, tackling general issues about the current and future role of prevalent OO languages and distributed architectures in Computer Science and Engineering. The specific topics of interest for the OOPS track include, but are not limited to, the following: * Design and implementation of novel abstractions, constructs and mechanisms * Type systems * Multi-paradigm features * Language features in support of adaptability * Aspect-oriented programming * Component-based programming * Meta-programming, reflection, generative programming * Program structuring, modularity * Distributed objects and concurrency * Middleware * Heterogeneity and interoperability * Applications of distributed object computing * Compilation techniques * Virtual machines Original papers and implementation reports are invited from all areas of OO programming languages and distributed-object computing. Particularly of interest are papers that provide a thorough analysis covering theory, design, implementation, applicability, performance evaluation, and comparison/integration with existing constructs and mechanisms. - Submission Instructions Prospective papers should be submitted in pdf format using the provided automated submission system available at http://sac.cs.iupui.edu/SAC2008/. All papers should represent original and previously unpublished works that are currently not under review in any conference or journal. Both basic and applied research papers are welcome. Hardcopy and fax submissions will not be accepted. Submission of the same paper to multiple tracks is not allowed. The author(s) name(s) and address(es) must not appear in the body of the paper, and self-reference should be in the third person. This is to facilitate a blind review process. The format of the paper must adhere to the sig-alternate style (the templates are available at http://www.acm.org/conferences/sac/sac2008/downloads08.htm). The body of the paper should not exceed 4000 words (5 pages according to the above style). Papers that fail to comply with length limitations risk rejection. The deadline for title and abstract submission is September 8, the extended deadline for submitting the full paper is September 16, 2007. For more information please visit the SAC 2008 Website at http://www.acm.org/conferences/sac/sac2008/. - Proceedings and special issue Accepted full papers will be published by ACM in the annual conference proceedings, with the option (at additional expense) to add 3 more pages. Accepted poster papers will be published as extended 2-page abstracts in the same proceedings. Please note that full registration is required for paper and poster inclusion in the conference proceedings and CD. Student registration does not cover paper and poster inclusion in the conference proceedings, but it is only intended to encourage student attendance. Finally, as it is customary, after the conference the accepted full papers will be selected for publication in a journal special issue. - Track Co-Chairs Davide Ancona (davide at disi.unige.it) DISI, University of Genova, Italy Alex Buckley (Alex.Buckley at Sun.COM) Sun Microsystems, USA - Program Committee * Eric Allen, Sun Microsystems Laboratories, USA * Lorenzo Bettini, University of Firenze, Italy * Kim Bruce, Pomona College, USA * Luis Caires, Universidade Nova de Lisboa, Portugal * Patrice Chalin, Concordia University, Canada * Shigeru Chiba, Tokyo Institute of Technology, Japan * Curtis Clifton, Rose-Hulman Inst. of Tech., USA * Alessandro Coglio, Kestrel Institute, USA * Pascal Costanza, Vrije Universiteit Brussel, Belgium * Grzegorz Czajkowski, Google, USA * Susan Eisenbach, Imperial College, UK * Erik Ernst, University of Aarhus, Denmark * Atsushi Igarashi, Kyoto University, Japan * Doug Lea, Suny Oswego, USA * Francesco Logozzo, Microsoft Research, USA * Matthew Parkinson, University of Cambridge, UK * Giovanni Rimassa, Whitestein Technologies, Switzerland * Don Syme, Microsoft Research, UK From mauro.prevostini at unisi.ch Tue Sep 4 17:18:29 2007 From: mauro.prevostini at unisi.ch (Mauro Prevostini) Date: Tue, 4 Sep 2007 17:18:29 +0200 Subject: [ecoop-info] FMCAD 2007 Call for Participation Message-ID: <004801c7ef06$dc1da100$4a47a8c0@DolphinDell> ????????????????????????? FMCAD 2007 ?International Conference on Formal Methods in Computer-Aided Design ?????????????????????? http://fmcad.org/2007 ?????????????? November 11-14, 2007, Austin, Texas ??????????????????? CALL FOR PARTICIPATION ?? --------------------------------------------------------------- ??????????? Early Registration will open mid-September ?? Refer to http://fmcad.org/2007 for more information and updates ?? --------------------------------------------------------------- FMCAD 2007 is the seventh in a series of conferences on the theory and application of formal methods in hardware and system design and verification. In 2005, the bi-annual FMCAD and sister conference CHARME decided to merge to form an annual conference with a unified community. The resulting unified FMCAD provides a leading international forum to researchers and practitioners in academia and industry for presenting and discussing groundbreaking methods, technologies, theoretical results, and tools for formally reasoning about computing systems, as well as open challenges therein. FMCAD2007 will include a full day of tutorials (see below), and will be co-located with the ACL2 Workshop. Program ============================================================================ ==== Sunday, November 11 Tutorials day, Chair: Natasha Sharygina 8:30-9:00 ????? Welcome and Opening Remarks 9:00-10:00 ???? Robert Brayton ??????????????? The Synergy between Logic Synthesis and Equivalence 10:00-10:30 ??? Break 10:30-12:00 ??? Farid Najm ??????? ??????? Power Management for VLSI Circuits and the Need for High-Level Power Modeling and Design Exploration 12:00-13:30 ??? Lunch 13:30-15:00 ??? Niklas Een ???????? ?????? Practical SAT 15:00-15:30 ??? Break 15:30-17:00 ??? Randal E. Bryant ???????? ?????? Modeling Data in Formal Verification: Bits, Bit Vectors, or Words 17:00-17:30 ??? Break 17:30-19:00 ??? Panel Presentation + Discussion ??????? ??????? The Business of Formal Verification ??????? ??????? Moderator: Aarti Gupta 19:00 ? ??????? Reception Monday, November 12 8:30-9:00 ????? Welcome and Opening Remarks Invited Talk 9:00-10:00 ???? Eli Singerman ???????? ?????? Verification of Embedded Software in Industrial Microprocessors 10:00-10:30 ??? Break Session 1: ???? SAT-Based Methods 10:30-11:00 ??? Jocelyn Simmonds, Jessica Davies, Arie Gurfinkel, and Marsha Chechik ???????? ?????? Exploiting Resolution Proofs to Speed Up LTL Vacuity Detection for BMC 11:00-11:30 ??? Sean Safarpour, Mark Liffiton, Hratch Mangassarian, Andreas Veneris, and Karem Sakallah ???????? ?????? Improved Design Debugging using Maximum Satisfiability 11:30-12:00 ??? Daher Kaiss, Marcelo Skaba, Ziyad Hanna, and Zurab Khasidashvili ???????? ?????? Industrial Strength SAT-based Alignability Algorithm for Hardware Equivalence Verification 12:00-12:30 ??? Frank Hutter, Domagoj Babic, Holger Hoos, and Alan Hu ???????? ?????? Boosting Verification by Automatic Tuning of Decision Procedures 12:30-14:00 ??? Lunch Session 2: ???? High-Level System Analysis 14:00-14:30 ??? Ariel Cohen, John O'Leary, Amir Pnueli, Mark Tuttle, and Lenore Zuck ???????? ?????? Verifying Correctness of Transactional Memories 14:30-15:00 ??? Naghmeh Ghafari, Arie Gurfinkel, Nils Klarlund, and Richard Trefler ???????? ?????? Algorithmic Analysis of Piecewise FIFO Systems 15:00-15:30 ??? Xiaofang Chen, Steven German, and Ganesh Gopalakrishnan ???????? ?????? Transaction Based Modeling and Verification of Hardware Protocol Implementations 15:30-15:45 ??? Yogesh Mahajan and Sharad Malik ???????? ?????? Automating Hazard Checking in Transaction-Level Microarchitecture Models 15:45-16:15 ??? Break Session 3: ???? Abstraction-Based Methods 16:15-16:45 ??? Roberto Cavada, Alessandro Cimatti, Anders Franzen, Kalyanasundaram Krishnamani, Marco Roveri, and R. K. Shyamasundar ???????? ?????? Computing Abstractions by integrating BDDs and SMT 16:45-17:15 ??? Chao Wang, Aarti Gupta, and Franjo Ivancic ???????? ?????? Induction in CEGAR for Detecting Counterexamples 17:15-17:30 ??? Daniel Kroening and Georg Weissenbacher ???????? ?????? Lifting Propositional Interpolants to the Word-Level Tuesday, November 13 Session 1: ???? Software Analysis Methods 9:00-9:30 ????? Fadi Zaraket, John Pape, Margarida Jacome, Adnan Aziz, and Sarfraz Khurshid ???????? ?????? COSE: a Technique for Co-optimizing Embedded Systems 9:30-10:00 ???? Hana Chockler, Benny Godlin, Eitan Farchi, and Sergey Novikov ??????? ??????? Cross-Entropy Based Testing 10:00-10:30 ??? Break Session 2: ???? Panel Presentations + Discussion 10:30-12:30???? FMCAD 2027: Will the 'FM' Have a Real Impact on the 'CAD'? ??????? ??????? Moderator: William Joyner (SRC) ??????? ??????? Panelists: Robert Jones, Andreas Kuehlmann, Carl Pixley 12:30-14:00 ??? Lunch Session 3: ???? Symbolic Trajectory Evaluation 14:00-14:30 ??? Yan Chen, Yujing He, Fei Xie, and Jin Yang ???????? ?????? Automatic Abstraction Refinement for Generalized Symbolic Trajectory Evaluation 14:30-15:00 ??? Edward Smith ??????? ??????? A Logic for GSTE 15:00-15:30???? Sara Adams, Magnus Bjork, Tom Melham, and Carl-Johan Seger ??????? ??????? Automatic Abstraction in Symbolic Trajectory Evaluation 15:30-16:00 ??? Break Session 4: Specification Theory 16:00-16:30 ??? Koen Claessen ???????? ?????? A Coverage Analysis for Safety Property Lists 16:30-17:00 ??? Orna Kupferman and Yoad Lustig ???????? ?????? What triggers a behavior? 17:00-17:15 ??? Kathi Fisler ???????? ?????? Two-Dimensional Regular Expressions for Compositional Bus Protocols 17:15-17:30 ??? Martin Oberk?nig, Martin Schickel, and Hans Eveking ???????? ?????? A Quantitative Completeness Analysis for Property-Sets 17:30-18:30 ??? Business Meeting 19:00 ? ??????? Conference Banquet ??????? ??????? Location: Ventana at Texas Culinary Academy Wednesday, November 14 Invited Talk 9:00-10:00 ???? Wolfgang Kunz ???????? ?????? Formal Verification of Systems-on-Chip - Industrial Experiences and Scientific Perspectives 10:00-10:30 ??? Break Session 1: Industrial-Strength Verification 10:30-11:00 ??? Michael Case, Alan Mishchenko, and Robert Brayton ???????? ?????? Automated Extraction of Inductive Invariants to Aid Model Checking 11:00-11:30 ??? Aaron Bradley and Zohar Manna ???????? ?????? Checking Safety by Inductive Generalization of Counterexamples to Induction 11:30-12:00 ??? Aaron Hurst, Alan Mishchenko, and Robert Brayton ???????? ?????? Fast Minimum Register Retiming Via Binary Maximum-Flow 12:00-12:15 ??? Adrian Seigler, Gary Van Huben, and Hari Mony ???????? ?????? Formal Verification of Partial Good Self-Test Fencing Structures 12:15-12:30 ??? Alon Flaisher, Alon Gluska, and Eli Singerman ???????? ?????? Case study: Integrating FV and DV within the Verification of Intel(r) Core(TM)2 Microprocessor 12:30-14:00 ??? Lunch Session 2: Reasoning about Physical Systems 14:00-14:30 ??? Chao Yan and Mark Greenstreet ???????? ?????? Circuit-Level Verification of a High-Speed Toggle 14:30-15:00 ??? Mohamed Zaki, Ghiath Al Sammane, Sofiene Tahar, and Guy Bois ???????? ?????? Combining Symbolic Simulation and Interval Arithmetic for the Verification of AMS Designs 15:00-15:15 ??? Neha Rungta, Hyrum Carroll, Eric Mercer, Randall Roper, Mark Clement, and Quinn Snell ???????? ?????? Analyzing Gene Relationships for Down Syndrome with Labeled Transitions Graphs 15:15-15:45 ??? Break Session 3: Advanced Theorem-Proving Applications 15:45-16:15 ??? Julien Schmaltz ???????? ?????? A Formal Model of Clock Domain Crossing and Automated Verification of Time-Triggered Hardware 16:15-16:45 ??? Lee Pike ???????? ?????? Modeling Time-Triggered Protocols and Verifying their Real-Time Schedules 16:45-17:00 ??? Sandip Ray and Jayanta Bhadra ???????? ?????? A Mechanized Refinement Framework for Analysis of Custom Memories Organization ============================================================================ ==== Chairs: ??????? ??????? Jason Baumgartner, IBM Corporation, USA ??????? ??????? ??????? Mary Sheeran, Chalmers University of Technology, Sweden Benchmarks:???? ??????? Panagiotis Manolios, Georgia Institute of Technology, USA Local Arrangements:???? Andy Martin, IBM Corporation, USA Panels:???????????????? Aarti Gupta, NEC Laboratories America, USA ??????? ??????? ??????? William Joyner, Semiconductor Research Corporation, USA Publicity:????? ??????? Alper Sen, Freescale Semiconductor Inc., USA Tutorials:????? ??????? Natasha Sharygina, University of Lugano, Switzerland Webmasters:???? ??????? Hari Mony, IBM Corporation, USA ??????? ??????? ??????? Sandip Ray, University of Texas, USA Program Committee ============================================================================ ==== Mark Aagaard, University of Waterloo, Canada Jason Baumgartner, IBM Corporation, USA Armin Biere, Johannes Kepler University, Austria Per Bjesse, Synopsys, USA Dominique Borrione, Grenoble University, France Gianpiero Cabodi, Politecnico di Torino, Italy Alessandro Cimatti, ITC-irst, Trento, Italy Koen Claessen, Chalmers University of Technology, Sweden Cindy Eisner, IBM Haifa Research Laboratory, Israel Steven German, IBM Research Division, USA Ganesh Gopalakrishnan, University of Utah, USA Aarti Gupta, NEC Laboratories America, USA Alan J. Hu, University of British Columbia, Canada Warren Hunt, University of Texas, USA Steven Johnson, Indiana University, USA Robert Jones, Intel Corp., USA Daniel Kroening, ETH Zurich, Switzerland Andreas Kuehlmann, Cadence Laboratories, USA Wolfgang Kunz, University of Kaiserslautern, Germany Jeremy Levitt, Mentor Graphics, USA Panagiotis Manolios, Georgia Institute of Technology, USA Andy Martin, IBM Research Division, USA Tom Melham, Oxford University, UK Alan Mishchenko, University of California at Berkeley, USA Ken McMillan, Cadence Labs, USA John O'Leary, Intel Corp., USA Wolfgang Paul, Saarland University, Germany Carl Pixley, Synopsys, USA Natasha Sharygina, University of Lugano, Switzerland Mary Sheeran, Chalmers University of Technology, Sweden Anna Slobodova, Intel Corp., USA Richard Trefler, University of Waterloo, Canada From greg at eecs.harvard.edu Tue Sep 4 17:50:59 2007 From: greg at eecs.harvard.edu (Greg Morrisett) Date: Tue, 04 Sep 2007 11:50:59 -0400 Subject: [ecoop-info] ISMM'07: call for participation Message-ID: <46DD7EE3.2020004@eecs.harvard.edu> ISMM'07 CALL FOR PARTICIPATION and Accepted Papers 2007 ACM International Symposium on Memory Management co-located with OOPSLA 2007 Sponsored by ACM SIGPLAN 21-22 October 2007, Montreal http://www.eecs.harvard.edu/~greg/ismm07/ To register for the symposium, see the OOPSLA registration page at http://www.oopsla.org/oopsla2007. Note that the deadline for early registration and reduced rates is Thursday, 13 September. ISMM is a forum for research in management of dynamically allocated memory. Areas of interest include but are not limited to: explicit storage allocation and deallocation; garbage collection algorithms and implementations; compiler analyses to aid memory management; interactions with languages, operating systems, and hardware, especially the memory system; and empirical studies of allocation and referencing behavior in programs that make significant use of dynamic memory. This year's symposium is being held in conjunction with OOPSLA in Montreal on October 21st and 22nd. Invited speakers include Peter O'Hearn (Queen Mary, University of London) and David Kirk (Chief Scientist NVIDIA). In addition to presentation of the papers listed below, there will be an exciting "wild and crazy" ideas session where participants will have a chance to discuss half-baked and interesting ideas. All are welcome! Invited talks and papers to be presented at the symposium: Keynote: Separation Logic and Concurrent Resource Management Peter O'Hearn Safe Manual Memory Management David Gay, Robert Ennals, & Eric Brewer Detecting and Eliminating Memory Leaks Using Cyclic Memory Allocation Huu Hai Nguyen & Martin Rinard Page Access Tracking to Improve Memory Management Reza Azimi, Livio Soares, Michael Stumm, Angela Demke Brown, & Tom Walsh Effective Prefetch for Mark-Sweep Garbage Collection Robin Garner, Stephen Blackburn, & Daniel Frampton Accordion Arrays: Selective Compression of Unicode Arrays in Java Craig Zilles Decrypting the Java Gene Pool: Predicting Object Lifetimes with Micro- Patterns Sebastien Marion, Richard Jones, & Chris Ryder Allocation-Phase Aware Scheduling Policies to Improve Garbage Collection Performance Feng Xian, Witawas Srisa-an, & Hong Jiang Intelligent Selection of Application-Specific Garbage Collectors Jeremy Singer, Gavin Brown, Ian Watson, & John Cavazos Keynote: NVIDIA CUDA Software and GPU Parallel Computing Architecture David Kirk Heap Space Analysis for Java Bytecode Elvira Albert, Samir Genaim, & Miguel Gomez-Zamalloa Uniqueness Inference for Compile-Time Object Deallocation Sigmund Cherem & Radu Rugina A Correct and Useful Incremental Copying Garbage Collector Martin Kero, Johan Nordlander, & Per Lindgren Overlooking Roots: A Framework for Making Nondeferred Reference- Counting Garbage Collection Fast Pramod Joisha Stopless: A Real-Time Garbage Collector for Modern Platforms Filip Pizlo, Daniel Frampton, Erez Petrank, & Bjarne Steensgaard Mark-Sweep or Copying? A "Best of Both Worlds" Algorithm and a Hardware-Supported Real-Time Implementation Sylvain Stanchina & Matthias Meyer From nathalie.mitton at inria.fr Wed Sep 5 09:33:32 2007 From: nathalie.mitton at inria.fr (Nathalie MITTON) Date: Wed, 05 Sep 2007 09:33:32 +0200 Subject: [ecoop-info] IMAGINE - Call for participation Message-ID: <46DE5BCC.8010709@inria.fr> CALL FOR PARTICIPATION IMAGINE 2007 1st International workshop on Mobility, Algorithms and Graph theory In dynamic NEtworks September 26-27, 2007 Lemesos, Cyprus http://www.lifl.fr/IMAGINE2007/ Collocated with DISC 2007 We cordially invite you to attend the IMAGINE 2007 workshop to be held in conjunction with DISC 2007, in Lemesos, Cyprus, which will bring together researchers from academia and industry. By attending IMAGINE, you will be given talks by talented junior researchers from the dynamic graphs research area. Indeed, the scientific program of the workshop consists of 5 invited lectures given by 5 junior speakers selected by a strong PC committee with respect to the quality of their research. This workshop aims at letting junior researchers around the world have a larger view of the recent results of their peers, in order to favor future collaboration. IMAGINE also aims at providing a supportive setting for feedback on junior researchers' current research and guidance on future research directions by offering them comments and fresh perspectives on their work from peers outside their own institution and/or field. Full details are on the conference Web site: http://www.lifl.fr/IMAGINE2007/ Invited speakers ================ Doina Bein (University of Texas at Dallas, USA) /"Hard problems for wireless networks" / Augustin Chaintreau (Thomson Paris Research Lab, France) /"Measuring and Understanding Opportunistic Mobile Networks"/ Hannes Frey (University of Southern Denmark, Denmark) / "Localized Routing Algorithms for Multihop Ad Hoc and Sensor Networks"/ Emmanuelle Lebhar (CNRS, LIAFA, France) / // "Networks navigability or why you know this art-therapist from Tanzania"/ Thomas Moscibroda (Microsoft Research, USA) / "Algorithmic Wireless Networking: Graph-Based Models and Beyond" / Contact ================ David Ilcinkas (david.ilcinkas at lri.fr) Nathalie Mitton (nathalie.mitton at inria.fr) Nicolas Nisse (nicolas.nisse at lri.fr) Co-sponsored by ================ Microsoft Research - INRIA - Joint Research Center INRIA Futurs IEEE Cyprus From tcleenew at vub.ac.be Wed Sep 5 16:08:05 2007 From: tcleenew at vub.ac.be (Thomas Cleenewerck) Date: Wed, 5 Sep 2007 16:08:05 +0200 Subject: [ecoop-info] Last Call: Special Edition of the IET Journal on Domain-Specific Aspect Languages Message-ID: <2E312777-37D9-49CF-ADF2-2980EC2DBDCF@vub.ac.be> ------------- C A L L - F O R - P A P E R S -------------- Special Edition of the IET Journal (Formerly IEE Journal) on Domain-Specific Aspect Languages Submission deadline September 30th 2007 for up to date and complete information please visit: http://dsal.dcc.uchile.cl/iet/ Overview of Topics ----------------------- Seminal work on AOSD proposed a number of domain-specific aspect languages, such as COOL for concurrency management and RIDL for serialization, RG, AML, and others. For many years now, research in the AOSD community has strived to crystallize and generalize these ideas in the form of general-purpose aspect languages (e.g. AspectJ). A growing trend of research in the AOSD community is returning to this seminal work, as witnessed by the increasing number of recent proposals in the area. This special issue addresses domain-specific aspect languages both from a domain-specific language engineering point of view, and from the view point of design and implementation of new domain-specific aspect languages, as well as composition at all levels (from design to implementation) of these languages or individual features. We seek contributions related to domain-specific aspect languages, more particularly (but not limited to): * successful DSALs and their applications * trade-offs in DSAL design (expressiveness, conciseness, specificity, etc.) * methodologies and tools suitable for implementing DSALs * mechanisms for interaction detection and handling in DSALs * theoretical foundations for DSALs This special issue of the IET Software journal (formerly IEE Software) builds upon the successful editions of the DSAL workshop, held in 2006 at the ACM GPCE conference (DSAL 2006) and in 2007 at the ACM AOSD conference (DSAL 2007). Guest Editors ---------------- - Thomas Cleenewerck - Jacques Noye Deadlines ---------------- Author Submission: September 30th 2007 Authors Notification: December 10th 2007 Revision due: December 20th 2007 Final Decision: January 10th 2007 Publication of issue: April 2008 Submission information --------------------------- Selected authors from the DSAL 2006 2007 workshops were invited to submit an extended version of their workshop paper. The call is also *open to external contributions*. The extended versions of DSAL workshop papers are subject to full re- review and should be non-trivially extended from the version that appeared in the workshop. As a rough guide, authors should ensure that the extended paper contains, at a very minimum 30% new material. We also expect a brief note to accompany the submission that explains the manner in which the extended version of the paper does, indeed, constitute an extension of the original version, pointing out, for example, areas where new text or results have been included, where text has been re-written and where extra depth is provided. We expect authors to follow the IET Software guidelines regarding style and length of submissions. These can be found by the following link: http://www.ieedl.org/journals/doc/IEEDRL-home/info/journals/ proceedings/submissions.jsp Authors are invited to email their journal papers to tcleenew at vub.ac.be Reviewers ------------- * Jacques Noy? [Ecole Des Mines De Nantes, France] * Thomas Cleenewerck [Vrije Universiteit Brussel, Belgium] * Anne-Francoise Le Meur [University of Lille, France] * Damijan Rebernak [University of Maribor, Slovenia] * Johan Fabry [INRIA Futurs / University Of Lille, France] * Eric Tanter [University of Chile, Chile] * Uwe Assmann [TU Dresden, Germany] * Tony Sloane [Macquarie University, Australia] * Ivan Kurtev [University of Twente, The Netherlands] * Mernik Marjan [University of Maribor, Slovenia] * Awais Rashid [Lancaster University, UK] * Laurent Reveilliere [Universite Bordeaux, France] * Kris de Volder [University of British Columbia, Canada] * Jeff Gray [University of Alabama at Birmingham, USA] * Jurgen Vinju [CWI, The Netherlands] From Alex.Biedermann at unil.ch Wed Sep 5 16:57:09 2007 From: Alex.Biedermann at unil.ch (Alex Biedermann) Date: Wed, 05 Sep 2007 16:57:09 +0200 Subject: [ecoop-info] Seeking a computer scientist Message-ID: <46dec3c5.15e.733a.1310775495@unil.ch> Dear ecoop-subscriber, please be informed (see below) about a position on offer at the University of Lausanne to work on a research project in forensic science (statistical analysis of shape of handwritten characters). For any further information please contact: Prof. Franco Taroni +41 21 692 46 46 franco.taroni at unil.ch www.unil.ch/esc Sincerely yours, Alex Biedermann __________________________________ The University of Lausanne School of Criminal Sciences Institute of Forensic Sciences 1015 Lausanne-Dorigny www.unil.ch/esc __________________________________ Lausanne, August 20th, 2007 Project: PROGRESS IN HANDWRITING ANALYSIS: TOWARDS SHAPE QUANTIFICATION OF CHARACTERS AND PROBABILISTIC ASSESSMENT OF THEIR EVIDENTIAL VALUE Ref. K-11K1-116620/1 Seeking a computer scientist (preferably full time) for a period of 24 months to work on a research project devoted to the statistical analysis of shape of handwritten characters. The project is funded by the Interdisciplinary Commission (KID) of the Swiss National Science Foundation. The School of Criminal Sciences (ESC) and its Institute of Forensic Sciences of the University of Lausanne is seeking an experienced individual to join a team working on a project financed by the Swiss National Science Foundation (FNSRS). The project will last for a period of 24 months. The ESC has a FNSRS-funded research program since 2002 on handwriting examination, notably quantification of shape characters. You will join an ESC-led research group that is currently developing (i) operational and useable methods and techniques for the analysis of handwriting, notably quantification of characters shape, and (ii) rigorous probabilistic inferential procedures for coherent assessment of handwriting evidence. You have a strong background in computer science, preferably with emphasis on image processing and feature extraction. You are willing to take the lead in developing algorithms to extract shape information from images of loops of handwritten characters*1). You also have experience in designing appropriate graphical user interfaces. We are looking for an enthusiastic team player to join a group devoted to research on handwriting characters and forensic statistis. A full degree in computer science, image or signal processing is required. For this challenging and rewarding role, postgraduate experience of image processing or pattern recognition would be a real advantage, as would a relevant PhD. You will bring to the team expertise in the use and implementation of various image processing methods for handwriting image analysis. The environment for development will be Visual Basic? and Matlab?. In addition, the candidate is expected to show ability to work independently and effectively within a team (with a forensic scientist based in Lausanne, an odontologist based in Strasbourg and a statistician based in Venice) and will need the ability to work to a structured schedule in order to meet demanding deadlines. Good communication skills (written and oral) and knowledge of English will be beneficial. The work location is our institute in Lausanne on the University campus; the planned starting date is January 2008. The salary for this position will be circa CHF 72?000 per year (full time) depending on relevant qualifications and experience. Closing date for receipt of written applications will be 10th October 2007. *1) Marquis R., Schmittbuhl M., Mazzella W.D., Taroni F., Quantification of the Shape of Handwritten Characters: a step to objective discrimination between writers based on the study of the capital character O. Forensic Science International 150 (2005) 23-32. From praveen at mscs.mu.edu Thu Sep 6 17:35:38 2007 From: praveen at mscs.mu.edu (Praveen Madiraju) Date: Thu, 6 Sep 2007 10:35:38 -0500 (CDT) Subject: [ecoop-info] CFP: Middleware Engineering Track @ ACM SAC 2008 Message-ID: -------------------------------------------------------------------- Our apologies if you receive multiple copies of this announcement. -------------------------------------------------------------------- FINAL CALL FOR PAPERS *********************************************************************************** *********************************************************************************** The 23rd ACM Symposium on Applied Computing (SAC 2008) Special Track on Middleware Engineering (ME) March 16 - 20, 2008, Fortaleza, Cear?, Brazil Conference Website : http://www.acm.org/conferences/sac/sac2008 Track Website : http://www.mscs.mu.edu/~praveen/me.html +++++ Deadline for Paper Submissions : September 16, 2007 (new and hard deadline) ++++++++++ *********************************************************************************** *********************************************************************************** SAC 2008 -------- For the past twenty-two years, the ACM Symposium on Applied Computing has been a primary gathering forum for applied computer scientists, computer engineers, software engineers, and application developers from around the world. SAC 2008 is sponsored by the ACM Special Interest Group on Applied Computing (SIGAPP), and is hosted by the University of Fortaleza and the Federal University of Cear?, in Brazil. MIDDLEWARE ENGINEERING TRACK ---------------------------- Research in middleware systems has evolved from simple client server models to distributed systems, peer-to-peer (P2P) systems, mobile devices, service oriented computing, grid computing, agent based computing, smart devices, and sensors. Each of the above areas poses its own unique challenges in the design, development and deployment of middleware, its components and applications using such middleware. The main objective of the middleware engineering track is to bring together researchers and practitioners working in middleware systems with topics ranging from different areas such as distributed computing, grid computing, service oriented computing, pervasive computing, P2P computing, agent based systems and sensor networks under one roof with an aim of encouraging exchange of ideas and experiences among these diverse communities. We solicit papers dealing with design, development and deployment of middleware and its systems. We are also interested in specific components of middleware systems, the way they interact with other modules, components design and development, models of the components, middleware system issues and also novel applications using middleware systems. TOPICS OF INTEREST ------------------ The topics include, but are not limited to: + Middleware for collaborative applications + Middleware for agent based systems + Middleware for service oriented systems + Middleware for mobile and ubiquitous computing + Middleware for embedded systems and sensor networks + Middleware solutions for Security, Privacy and Trust + Middleware for distributed systems including databases, P2P, and grid based systems + Middleware issues for real time systems + Software engineering techniques for middleware + Novel applications using middleware + Evaluation metrics and bench mark systems for middleware + Specific components of middleware such as : device discovery, directory service, execution service, listening service, communication service, and data access service SUBMISSION INSTRUCTIONS AND PUBLICATION ---------------------------------------- Authors are invited to submit papers using the automated submission system available from: http://sac.cs.iupui.edu/SAC2008/SubmitAbstract.aspx. Submissions must be original, unpublished and not currently under review by workshops, conferences, or journals. A paper cannot be submitted to more than one track. + The author(s) name(s) and address(es) must not appear in the body of the paper and any self-reference should be in the third person. This is to facilitate blind review. + The body of paper should not exceed 4,000 words (approximately 15 pages, single column, 11 point font size, times roman, and double-spaced). + A separate cover sheet attached to each paper should show the title of the paper, the author(s) name(s) and affiliation(s), and the address (including e-mail, telephone, and FAX) to which correspondence should be sent. A few keywords should also be provided. All accepted papers will be published by ACM, and will be included in the SAC 2008 conference proceedings IMPORTANT DATES --------------- Deadline for paper submissions: September 16, 2007 Notification to authors: October 19, 2007 Camera-ready copies of accepted papers due : October 30, 2007 ORGANIZING COMMITTEE -------------------- Track Co-Chairs + Sheikh Iqbal Ahamed, Marquette University, USA (iq at mscs.mu.edu) + Praveen Madiraju, Marquette University, USA (praveen at mscs.mu.edu) Program Committee 1. Shameem Ahmed, University of Illinois at Urbana-Champaign, USA 2. Janaka Balasooriya, University of Missouri - Rolla, USA 3. Doina Bein, The University of Texas at Dallas, USA 4. Paolo Bellavista, DEIS - Universit? degli Studi di Bologna, Italy 5. Munirul Haque, Purdue University, USA 6. Sajid Hussain, Acadia University, Canada 7. Hamidah Ibrahim, Universiti Putra Malaysia, Malaysia 8. Ajay K. Katangur, Texas A&M University - Corpus Christi, USA 9. Lin Liu, Tsinghua University, China 10. Srilaxmi Malladi, Georgia State University, USA 11. Sushil K. Prasad, Georgia State University, USA 12. Moushumi Sharmin, University of Illinois at Urbana-Champaign, USA 13. Rajshekhar Sunderraman, Georgia State University, USA 14. Karthikeyan Umapathy, Pennsylvania State University, USA 15. Upkar Varshney, Georgia State University, USA 16. Cho-Li Wang, The University of Hong Kong, Hong Kong 17. Qianxiang Wang, Peking University, China 18. Yang Xiao, University of Alabama, USA 19. Dianxiang Xu, North Dakota State University, USA 20. Laurence T. Yang, St. Francis Xavier University, Canada 21. Yingwu Zhu, Seattle University, USA 22. Farahana Zulkernine, Queen's University, Canada From hendren at cs.mcgill.ca Thu Sep 6 18:24:14 2007 From: hendren at cs.mcgill.ca (Prof. Laurie HENDREN) Date: Thu, 06 Sep 2007 12:24:14 -0400 Subject: [ecoop-info] Submissions welcome for CC 2008 (Compiler Construction) Message-ID: <46E029AE.4010508@cs.mcgill.ca> Please consider submitting a paper to the CC 2008. This year, the Compiler Construction conference in broadening its scope and is accepting papers on a wide variety of topics related to the general areas of languages, compilers and tools. We are hoping for a high quality program and would welcome your submission. CC 2008 will be part of ETAPS 2008, held in Budapest, Hungary, March 29 to April 6, 2008. The deadline for submitting abstracts is October 5th, 2007 and the deadline for submitting your paper is October 12th, 2007. We will use your original abstract submission only for allocating papers to reviewers, you really have until October 12th to complete your paper. For more details, please refer to the conference web page at http://www.sable.mcgill.ca/~hendren/CC2008. Submissions may be done using the EasyChair submission site at http://www.easychair.org/CC08. If you have any questions about whether or not your paper is suitable for submission to CC 2008, please do not hesitate to contact me via e-mail at hendren at cs.mcgill.ca. Sincerely, Laurie Hendren, CC 2008 PC chair -- +----------------------------------------------------------------- | Laurie Hendren --- laurie.hendren at mcgill.ca | Associate Dean (Academic), Faculty of Science, | Dawson Hall, McGill University, 853 Sherbrooke St W, | Montreal QC H3A 2T6 Canada, 514-398-7179, fax 514-398-1774 +---------------------------------------------------------------- | For contact and home page info as Professor, Computer Science: | http://www.sable.mcgill.ca/~hendren --- hendren at cs.mcgill.ca | Research: http://www.sable.mcgill.ca http://aspectbench.org +---------------------------------------------------------------- -- +----------------------------------------------------------------- | Laurie Hendren --- laurie.hendren at mcgill.ca | Associate Dean (Academic), Faculty of Science, | Dawson Hall, McGill University, 853 Sherbrooke St W, | Montreal QC H3A 2T6 Canada, 514-398-7179, fax 514-398-1774 +---------------------------------------------------------------- | For contact and home page info as Professor, Computer Science: | http://www.sable.mcgill.ca/~hendren --- hendren at cs.mcgill.ca | Research: http://www.sable.mcgill.ca http://aspectbench.org +---------------------------------------------------------------- From alspaugh at ics.uci.edu Fri Sep 7 00:39:36 2007 From: alspaugh at ics.uci.edu (Thomas Alspaugh) Date: Thu, 06 Sep 2007 15:39:36 -0700 Subject: [ecoop-info] Call for Participation: RE'07 Understanding Requirements in the Global Economy Message-ID: <46E081A8.6010800@ics.uci.edu> ________________________________________________________________________ Call for Participation 15th IEEE International Requirements Engineering Conference (RE'07) October 15th-19th 2007, Delhi, India http://www.re07.org "Understanding Requirements in the Global Economy" ________________________________________________________________________ As software development is now part of the global economy, Requirements Engineering is the key bridge between the customer and supplier. Understanding and translating users' needs into effective solutions has always been vital; however, as development is are outsourced, requirements have to reflect cultures and languages and local needs. Furthermore, understanding requirements becomes a collaborative activity across time and space. The IEEE International Requirements Engineering Conference provides the premier international forum for researchers, educators, industrial practitioners and students to present and discuss the most recent innovations, trends, experiences and concerns in the field of requirements engineering. WHY SHOULD YOU BE INTERESTED IN REQUIREMENTS ENGINEERING? * It is about the difficult part of software development - understanding customers' needs and delivering systems people really want * It's practical - about user- software engineer communication, methods and tools, and advice on quality improvement for software systems * It's key for the global software industry, understanding how to create successful systems world wide KEYNOTE SPEAKERS * IVAR JACOBSEN Dr Jacobsen is the creator of 'Use cases' and co founder of the Object oriented design movement, UML and the Rationale Unified Process. * ANTHONY FINKELSTEIN Professor Anthony Finkelstein is one of the founders of Requirements Engineering discipline and organised the 1st IEEE Symposium on Requirements engineering in 1993. He is a world leading authority on many aspects of RE. * KRIS GOPALAKRISHNAN Kris Gopalakirshnan is President and co-founder of InfoSys, one of the leading software companies in India who are at the leading edge of delivering global software service. Kris is one of the leaders in India's success in off-shore software development. RE07 includes RESEARCH PAPERS on: Visions and Innovations; Models, Process and Experience; Collaboration and Quality; RE & Business Alignment; Natural language processing meets RE- Traceability and Quality Assurance; RE, Globalisation and Business; RE Methods and Frameworks; Models, Specification & Verification and Industrial experience paper sessions on papers, INDUSTRIAL EXPERIENCE PAPERS on Agents, Roles and Models; papers Product Requirements and prototyping; Product Line Engineering; Requirements Processes and Management; and RE methods; PANELS on Requirements Engineering in Aerospace and Defence sector; Requirements Engineering in a Globalised Business Environment and Quality Requirements and their Role in Successful Products and invited EXPERT REVIEWS on Offshore development by Brian Nicolson (Univ of Manchester, UK), and Experience of Requirements Modelling (Connie Heitmeyer, US Navy). WORKSHOPS Seven workshops will be held on Monday-Tuesday 15-16th October in conjunction with RE'07: CERE-07 Comparative Evaluation in RE, theory, methods, empirical studies; CSDRE-07 Computer-Supported Distributed RE, globalization, offshore RE; REET-07 Requirements Engineering Education and Training REV-07 RE Visualization of models, process, domains; RHAS-07 Requirements for High-Availability Systems, safety critical, complex engineering applications; SOCCER-07 Service-Oriented Computing: Consequences for RE, reuse, web services; SREP-07 Situational RE Processes: Tailoring RE Processes to the Global Context. Workshop paper submissions are still open - see workshops page on conference web site for dates and details: http://www.re07.org/workshops TUTORIALS Eight half-day tutorials will be held on Monday and Tuesday: Empirical Research Methods in RE; RE in a Software Platform Group for Multiple Product Families; A Better Requirements Process; Requirements Traceability for Globally Distributed Teams; System Requirements Reuse Based on Variability Management; Engineering Safety- and Security-Related Requirements for Software-Intensive Systems; Aspect-Oriented RE with Scenarios; Developing Eng. Reqs. for Medical Devices using a Global Outsourcing Model. For more information see conference website for details or contact Pete Sawyer (p.sawyer at lancaster.ac.uk). POSTERS, DEMOS AND EXHIBITS Posters present late-breaking research or work in progress which may be augmented with a video of an ethnographic study or with examples of the use of rich media in requirements engineering, including requirements visualizations, multimedia requirements documents, scenarios, storyboards and vision/concept materials. Demos provide the opportunity for research teams and vendors to demonstrate their prototypes or tools, including the opportunity to gain hands-on experience with these technologies or interactively demonstrate how to use popular requirements engineering techniques. DOCTORAL CONSORTIUM The RE'07 Doctoral Symposium is a one-day closed workshop that gives doctoral students the opportunity to present their research and receive feedback in a constructive and international atmosphere. A panel of leading researchers give feedback on presentations and discuss students' research directions. SIGHTSEEING AND CULTURAL PROGRAMS The Habitat World centre provides excellent facilities with an environment of Indian culture, with many cultural programs in the evening. October in Delhi is the best time to come to India, pleasantly warm and sunny. Delhi offers first class hotel and tourism opportunities. RE'07 will arrange with some tour operators to provide delegates with pre- and post-conference sightseeing tours. FOR MORE INFORMATION AND CONFERENCE REGISTRATION visit http://www.re07.org From m.fayad at sjsu.edu Sun Sep 9 13:14:11 2007 From: m.fayad at sjsu.edu (Mohamed Fayad) Date: Sun, 9 Sep 2007 04:14:11 -0700 Subject: [ecoop-info] Call for Editorial Board Members & News [34-6-7] Message-ID: Subject: Call for Editorial Board Members & News ? 08/30/07 Greetings, {Sorry for Receiving Multiple Copies} PLEASE PUBLISIZE THIS CALL FOR EDITORIAL BORAD MEMBERS to your mailing list. Thank you. We would like to invite you to join us as an editorial member (International Advisory Board member (IAB), International Editorial Board member (IEB), International Domain Experts Board member (IDE), External Reviewers (ER), and Associate Editor or/and Columnist (AE&Col)) of Seven (7) different online journals ? 1. International Journal of Patterns (IJOP) ? www.ijop.org News: Working on the first two issues ? Check IJOP ? The SW Patterns Blog: http://pattern.ijop.org/ IJOP Charter: http://www.ijop.org/editorial-charter IJOP Editorial Calendar: http://www.ijop.org/Editorial-Calender IJOP Open Call for Papers & Theme: http://www.ijop.org/Call-for-papers 2. International Journal of Software Architectures (IJSA) ? www.ijsa.net News: Working on the first three issues ? Check IJSA Editorial Charter: http://ijsa.net/editorial-charter IJSA Editorial Calendar: http://ijsa.net/editorial-calender IJSA Open Call for Papers & Theme: http://ijsa.net/call-for-papers 3. International Journal of Software Reuse (IJSR) ? www.ijsr.org News: Working on the first issue ? Please check IJSR Charter: http://ijsr.org/editorial-charter IJSR Open Call for Papers & Theme: http://ijsr.org/call-for-papers 4. International Journal of Thinking Objectively (IJTO) ? www.ijto.org (New) News: Please check IJTO Charter: http://ijto.org/editorial-charter IJTO Open Call for Papers & Theme: http://ijto.org/call-for-papers 5. International Journal of Unified Software Engines (IJUSE) ? www.ijuse.org (New) News: Working on the first issue ? Please check IJUSE Charter: http://ijuse.org/editorial-charter IJUSE Open Call for Papers & Theme: http://ijuse.org/call-for-papers We also have been contacted to start two new journals and we are negotiating both deals right now. If you like to be considered for both or any of them, please let me know. 6. International Journal of Service Computing (IJSC) 7. International Journal of Internet Social Networks (IJISN) Associate editors/columnists (AE&Col): (10-15 Members Max) Samples: IJOP -- http://www.ijop.org/Editors-Columists IJSA -- http://ijsa.net/editors-columists We have room for the following nominations for this position in: IJOP ? 0 IJSA ? 0 IJSR ? 10 IJTO ? 10 IJUSE ? 10 International Advisory Board (IAB) (15?25 Members Max) Samples: IJOP -- http://www.ijop.org/IAB IJSA -- http://ijsa.net/IAB We have room for the following nominations for this position in: IJOP ? 0 IJSA ? 0 IJSR ? 10 IJTO ? 17 IJUSE ? 15 International Editorial Board (IEB) (40-50 Members Max) Samples: IJOP -- http://www.ijop.org/IEB We have room for the following nominations for this position in: IJOP ? 0 IJSA ? 0 IJSR ? 20 IJTO ? 40 IJUSE ? 45 International Domain Experts Board (IDEB) (40-50 Members or More) Samples: IJOP ? http://www.ijop.org/IDE We have room for the following nominations for this position in: IJOP ? 10+ IJSA ? 15+ IJSR ? 15+ IJTO ? 27 IJUSE ? 28 External Reviewers (ER) (500+ Members) Samples: All online Journals: http://www.ijop.org/External-Reviewers We have rooms for many qualified nominations for this position As you can see, board members' names are posted part of the Journal, the journal website, and part of the Journal publicity. To join as an editorial member of one or more roles, please e-mail the following: 1. The journal names, 2. Your roles, 3. Short biography (One Page Max) -- Please the attached samples formats, 4. Your most recent photo, and 5. kindly complete the following section: First Name: Last Name: Affiliation: Your Position: Department: Address 1: Address 2: City: State: Zip Code: Country: Telephone: Fax: E-mail: Your URL: Your Affiliations URLs: Please e-mail me to any of the following e-mail addresses: m.fayad at sjsu.edu, m.fayad at ijop.org, m.fayad at ijsa.net, m.fayad at ijsr.org. m.fayad at ijto.org, OR m.fayad at ijuse.org, no later than Sunday, September 30, 2007. I will send you confirming appointment letter immediately after receiving all your info, bio, and picture. We are in the process of working on the first two issues for IJOP, first three for IJSA, first issue for each of IJSR and IJUSE. Looking forward to hearing from you before September 30, 2007. Cheers, M. Fayad fayadsblog,vrlsoft.com -------------- next part -------------- An HTML attachment was scrubbed... URL: http://www.aito.org/pipermail/ecoop-info/attachments/20070909/49a32518/attachment-0001.htm From m.fayad at sjsu.edu Sun Sep 9 07:13:37 2007 From: m.fayad at sjsu.edu (Mohamed Fayad) Date: Sat, 8 Sep 2007 22:13:37 -0700 Subject: [ecoop-info] Call for Editorial Board Members & News [30-10-11] Message-ID: Subject: Call for Editorial Board Members & News ? 08/30/07 Greetings, {Sorry for Receiving Multiple Copies} PLEASE PUBLISIZE THIS CALL FOR EDITORIAL BORAD MEMBERS to your mailing list. Thank you. We would like to invite you to join us as an editorial member (International Advisory Board member (IAB), International Editorial Board member (IEB), International Domain Experts Board member (IDE), External Reviewers (ER), and Associate Editor or/and Columnist (AE&Col)) of Seven (7) different online journals ? 1. International Journal of Patterns (IJOP) ? www.ijop.org News: Working on the first two issues ? Check IJOP ? The SW Patterns Blog: http://pattern.ijop.org/ IJOP Charter: http://www.ijop.org/editorial-charter IJOP Editorial Calendar: http://www.ijop.org/Editorial-Calender IJOP Open Call for Papers & Theme: http://www.ijop.org/Call-for-papers 2. International Journal of Software Architectures (IJSA) ? www.ijsa.net News: Working on the first three issues ? Check IJSA Editorial Charter: http://ijsa.net/editorial-charter IJSA Editorial Calendar: http://ijsa.net/editorial-calender IJSA Open Call for Papers & Theme: http://ijsa.net/call-for-papers 3. International Journal of Software Reuse (IJSR) ? www.ijsr.org News: Working on the first issue ? Please check IJSR Charter: http://ijsr.org/editorial-charter IJSR Open Call for Papers & Theme: http://ijsr.org/call-for-papers 4. International Journal of Thinking Objectively (IJTO) ? www.ijto.org (New) News: Please check IJTO Charter: http://ijto.org/editorial-charter IJTO Open Call for Papers & Theme: http://ijto.org/call-for-papers 5. International Journal of Unified Software Engines (IJUSE) ? www.ijuse.org (New) News: Working on the first issue ? Please check IJUSE Charter: http://ijuse.org/editorial-charter IJUSE Open Call for Papers & Theme: http://ijuse.org/call-for-papers We also have been contacted to start two new journals and we are negotiating both deals right now. If you like to be considered for both or any of them, please let me know. 6. International Journal of Service Computing (IJSC) 7. International Journal of Internet Social Networks (IJISN) Associate editors/columnists (AE&Col): (10-15 Members Max) Samples: IJOP -- http://www.ijop.org/Editors-Columists IJSA -- http://ijsa.net/editors-columists We have room for the following nominations for this position in: IJOP ? 0 IJSA ? 0 IJSR ? 10 IJTO ? 10 IJUSE ? 10 International Advisory Board (IAB) (15?25 Members Max) Samples: IJOP -- http://www.ijop.org/IAB IJSA -- http://ijsa.net/IAB We have room for the following nominations for this position in: IJOP ? 0 IJSA ? 0 IJSR ? 10 IJTO ? 17 IJUSE ? 15 International Editorial Board (IEB) (40-50 Members Max) Samples: IJOP -- http://www.ijop.org/IEB We have room for the following nominations for this position in: IJOP ? 0 IJSA ? 0 IJSR ? 20 IJTO ? 40 IJUSE ? 45 International Domain Experts Board (IDEB) (40-50 Members or More) Samples: IJOP ? http://www.ijop.org/IDE We have room for the following nominations for this position in: IJOP ? 10+ IJSA ? 15+ IJSR ? 15+ IJTO ? 27 IJUSE ? 28 External Reviewers (ER) (500+ Members) Samples: All online Journals: http://www.ijop.org/External-Reviewers We have rooms for many qualified nominations for this position As you can see, board members' names are posted part of the Journal, the journal website, and part of the Journal publicity. To join as an editorial member of one or more roles, please e-mail the following: 1. The journal names, 2. Your roles, 3. Short biography (One Page Max) -- Please the attached samples formats, 4. Your most recent photo, and 5. kindly complete the following section: First Name: Last Name: Affiliation: Your Position: Department: Address 1: Address 2: City: State: Zip Code: Country: Telephone: Fax: E-mail: Your URL: Your Affiliations URLs: Please e-mail me to any of the following e-mail addresses: m.fayad at sjsu.edu, m.fayad at ijop.org, m.fayad at ijsa.net, m.fayad at ijsr.org. m.fayad at ijto.org, OR m.fayad at ijuse.org, no later than Sunday, September 30, 2007. I will send you confirming appointment letter immediately after receiving all your info, bio, and picture. We are in the process of working on the first two issues for IJOP, first three for IJSA, first issue for each of IJSR and IJUSE. Looking forward to hearing from you before September 30, 2007. Cheers, M. Fayad fayadsblog,vrlsoft.com -------------- next part -------------- An HTML attachment was scrubbed... URL: http://www.aito.org/pipermail/ecoop-info/attachments/20070908/e41b85a2/attachment-0001.htm From cfp at oopsla.org Mon Sep 10 01:29:33 2007 From: cfp at oopsla.org (cfp at oopsla.org) Date: Sun, 9 Sep 2007 19:29:33 -0400 Subject: [ecoop-info] Final Week for Reduced Rate Registration Message-ID: <200709091929.33921.cfp@oopsla.org> R E M I N D E R One Week Left for Early Registration Discount ooPSLA 2007 October 21-25, 2007 Montreal, Quebec, Canada Register for ooPSLA 2007 through September 13, 2007 and save over $100 on your registration, plus $55 per unit on tutorials. Surf to http://oopsla.org and take part in ooPSLA 2007! Richard P. Gabrial ooPSLA 2007 Conference Chair From agupta at nec-labs.com Tue Sep 11 03:52:15 2007 From: agupta at nec-labs.com (Aarti Gupta) Date: Mon, 10 Sep 2007 21:52:15 -0400 Subject: [ecoop-info] CAV 2008: Call for Workshops Message-ID: <951A499AA688EF47A898B45F25BD8EE803E6A282@mailer.nec-labs.com> We apologize if you receive multiple copies of this email. See below on how to unsubscribe. ........................................................................ 20th International Conference on Computer Aided Verification CAV 2008 July 7 - 13, 2008 Princeton, USA Call for Workshop Proposals ....................................................................... CAV 2008 is the 20th in a series dedicated to the advancement of the theory and practice of computer-aided formal analysis methods for hardware and software systems. CAV considers it vital to continue its leadership in hardware verification, maintain its recent momentum in software verification, and consider new domains such as biological systems. The conference covers the spectrum from theoretical results to concrete applications, with an emphasis on practical verification tools and the algorithms and techniques that are needed for their implementation. CAV 2008 will take place from July 7 to July 13, 2008, at Princeton (New Jersey), USA. Traditionally, CAV hosts a number of affiliated pre- and post-event workshops complementing its technical program. Affiliated workshops will be organized on July 7 and July 8 (pre-event workshops), and on July 14 (post-event workshops, if needed) 2008. Workshop rooms will be available on campus at Princeton University, and local arrangements will be facilitated by the Program Chairs. Proposals for workshops affiliated with CAV 2008 are cordially invited. The proposals should be sent by October 15, 2007, to cav08-workshops(at)nec-labs.com and should include the following information: - Name of the workshop - Intended aims and scope - History of the workshop - Expected number of participants (min/avg/max) - Length of the event (1 or 2 days) - Contact person with full contact information Additional organizational plans may include names of potential invited speakers, funding sources, proposed sessions, plans for proceedings or other publications, etc. Important Dates: ---------------------- Submission deadline for workshop proposals: October 15, 2007 Notification: November 1, 2007 Workshops Chair: ------------------------ Byron Cook, Microsoft Research Program Chairs: ---------------------- Aarti Gupta, NEC Labs America Sharad Malik, Princeton University .................................................................... We apologize if you receive multiple copies of this email. If you do not want any further announcements regarding CAV 2008, reply to this email and put 'UNSUBSCRIBE' in the body or subject of your reply. From iot2008 at inf.ethz.ch Fri Sep 7 10:07:22 2007 From: iot2008 at inf.ethz.ch (Marc Langheinrich - IOT 2008) Date: Fri, 7 Sep 2007 10:07:22 +0200 Subject: [ecoop-info] FINAL CFP: Internet of Things 2008 (Sep. 15 Deadline) Message-ID: <20070907080722.GA11297@inf.ethz.ch> dear colleagues, the call below might be of interest to you. apologies if you receive multiple copies. best regards, -m ----------------------------------------------------------------- *************************************************************** * FINAL CALL -- Submission Deadlines: Sep. 15 / Oct. 01, 2007 * *************************************************************** INTERNET OF THINGS 2008 International Conference for Industry and Academia March 26-28, 2008, Zurich (Switzerland) Organized by ETH Zurich, University St.Gallen, and MIT www.internet-of-things-2008.org ------------------------------------------ - Sep. 15, 2007 : Technical papers due - - Oct. 01, 2007 : Workshop proposals due - ------------------------------------------ The term "Internet of Things" has come to describe a number of technologies and research disciplines that enable the Internet to reach out into the real world of physical objects. This fore- shadows an exciting future that closely interlinks the physical world and cyberspace -- a development that is highly relevant to researchers, corporations, and individuals. The conference will be the first that brings leading researchers and practitioners from both academia and industry together to facilitate sharing of applications, research results, and knowledge. A world-class program committee comprised of leading researchers in key areas of the Internet of Things is looking forward to contributions addressing topics such as: * Novel services and applications in an Internet of Things (IOT) * Emerging IOT business models and process changes * Communication systems and network architectures for the IOT * Technologies and concepts for embedding sensing, actuation, communication, and computation into networked things * Experience reports from the introduction and operation of net- worked things in areas such as healthcare, logistics & transport * Security & privacy aspects of IOT infrastructures & applications Scientific contributions will be published in the Springer LNCS series. We are particularly interested in work addressing real- world implementation and deployment issues. For submission in- structions and timelines see www.internet-of-things-2008.org/cfp/ General Chairs: Elgar Fleisch (ETH Zurich & University St.Gallen), Friedemann Mattern (ETH Zurich) and Sanjay Sarma (MIT). For a full list of conference committee members, see: www.iot2008.org -- Questions? Contact us: From A.Beckmann at swansea.ac.uk Sat Sep 8 11:43:50 2007 From: A.Beckmann at swansea.ac.uk (Arnold Beckmann) Date: Sat, 8 Sep 2007 10:43:50 +0100 (BST) Subject: [ecoop-info] CiE 2008 - 1st Call for Papers Message-ID: [Apologies for multiple copies] ****************************************************************** FIRST ANNOUNCEMENT AND CALL FOR PAPERS CiE 2008 http://www.cs.swan.ac.uk/cie08/ Computability in Europe 2008: Logic and Theory of Algorithms University of Athens Athens, June 15-20 2008 This is the fourth in a series of conferences organised by CiE (Computability in Europe), a European network of mathematicians, logicians, computer scientists, philosophers, physicists and others interested in new developments in computability and their underlying significance for the real world. Previous meetings took place in Amsterdam (2005), Swansea (2006) and Siena (2007). CiE 2008 aims at bridging the gap from the logical methods of mathematical and meta-mathematical flavour to the applied and industrial questions that are involved in devising and choosing the right algorithms and analysing their effectiveness and efficiency. IMPORTANT DATES: Submission of papers: January 4, 2008 Notification of authors: February 15, 2008 Final revisions: March 7, 2008 TUTORIALS will be given by: John V. Tucker (Swansea) Moshe Y. Vardi (Houston, TX) PLENARY SPEAKERS will include: Keith Devlin (Stanford, CA) Rosalie Iemhoff (Utrecht) Antonina Kolokolova (Vancouver, BC) Janos Makowsky (Haifa) Dag Normann (Oslo) Prakash Panangaden (Montreal, QC) Christos Papadimitriou (Berkeley, CA) SPECIAL SESSIONS Algorithms in the history of mathematics Formalising mathematics and extracting algorithms from proofs Higher type recursion theory and applications Algorithmic game theory Quantum algorithms and complexity Biology and computation CiE 2008 conference topics include, but not exclusively * Admissible sets * Analog computation * Artificial intelligence * Automata theory * Classical computability and degree structures * Complexity classes * Computability theoretic aspects of programs * Computable analysis and real computation * Computable structures and models * Computational and proof complexity * Computational learning and complexity * Concurrency and distributed computation * Constructive mathematics * Cryptographic complexity * Decidability of theories * Derandomization * DNA computing * Domain theory and computability * Dynamical systems and computational models * Effective descriptive set theory * Finite model theory * Formal aspects of program analysis * Formal methods * Foundations of computer science * Games * Generalized recursion theory * History of computation * Hybrid systems * Higher type computability * Hypercomputational models * Infinite time Turing machines * Kolmogorov complexity * Lambda and combinatory calculi * L-systems and membrane computation * Mathematical models of emergence * Molecular computation * Neural nets and connectionist models * Philosophy of science and computation * Physics and computability * Probabilistic systems * Process algebra * Programming language semantics * Proof mining * Proof theory and computability * Quantum computing and complexity * Randomness * Reducibilities and relative computation * Relativistic computation * Reverse mathematics * Swarm intelligence * Type systems and type theory * Uncertain reasoning * Weak systems of arithmetic and applications Contributed papers will be selected from submissions received by the PROGRAMME COMMITTEE consisting of: L. Aiello (Roma) T. Altenkirch (Nottingham) K. Ambos-Spies (Heidelberg) G. Ausiello (Roma) A. Beckmann (Swansea, co-chair) L. Beklemishev (Moscow) P. Bonizzoni (Milano) S. A. Cook (Toronto ON) B. Cooper (Leeds) C. Dimitracopoulos (Athens, co-chair) R. Downey (Wellington) E. Koutsoupias (Athens) O. Kupferman (Jerusalem) S. Laplante (Orsay) H. Leitgeb (Bristol) B. L?we (Amsterdam) E. Mayordomo C?mara (Zaragoza) F. Montagna (Siena) M. Mytilinaios (Athens) ? M. Nielsen (Aarhus) I. Oitavem (Lisboa) C. Palamidessi (Palaiseau) T. Pheidas (Heraklion) Ramanujam (Chennai) A. Schalk (Manchester) U. Sch?ning (Ulm) H. Schwichtenberg (M?nchen) A. Selman (Buffalo NY) A. Sorbi (Siena) I. Soskov (Sofia) C. Timpson (Leeds) S. Zachos (New York NY) We cordially invite all researchers (European and non-European) in computability related areas to submit their papers (in PDF- format, max 10 pages) for presentation at CiE 2008. We particularly invite papers that build bridges between different parts of the research community. The CONFERENCE PROCEEDINGS will be published by LNCS, Springer-Verlag. There will also be journal special issues, collecting invited contributions related to the conference. From dont_spam at gmx.net Sun Sep 9 12:02:08 2007 From: dont_spam at gmx.net (Jens Krinke) Date: Sun, 09 Sep 2007 12:02:08 +0200 Subject: [ecoop-info] SCAM 2007 Call for Participation Message-ID: <46E3C4A0.6010305@gmx.net> Call for Participation Seventh IEEE International Working Conference on Source Code Analysis and Manipulation, (SCAM 2007) http://www2007.ieee-scam.org/ 30th September-1st October 2007, Maison Internationale, Paris, France Co-located with ICSM 2007 Register on-line at http://reengineer.org/icsm2007/register.php Early registration deadline: 7th September, 2007 The aim of this working conference is to bring together researchers and practitioners working on theory, techniques and applications which concern analysis and/or manipulation of the source code of computer systems. While much attention in the wider software engineering community is properly directed towards other aspects of systems development and evolution, such as specification, design and requirements engineering, it is the source code that contains the only precise description of the behaviour of the system. The analysis and manipulation of source code thus remains a pressing concern. The SCAM 2007 programme includes: - Keynotes by Oege de Moor, Magdalen College, University of Oxford Title: .QL for Source Code Analysis - 2 days of 6 Technical Sessions featuring 19 papers - One Tool Demo Session General Chair: Leon Moonen, Technische Universiteit Delft, Netherlands Program Chairs Michael Godfrey, University of Waterloo, Canada Bogdan Korel, Illinois Institute of Technology, USA More details of SCAM 2007 available at: http://www2007.ieee-scam.org/ From j.osrael at infosys.tuwien.ac.at Mon Sep 10 12:09:06 2007 From: j.osrael at infosys.tuwien.ac.at (Johannes Osrael) Date: Mon, 10 Sep 2007 12:09:06 +0200 Subject: [ecoop-info] CFP: ACM SAC'08 Track on Dependable and Adaptive Distributed Systems: deadline extended Message-ID: <200709101008.l8AA867r029777@mr.tuwien.ac.at> Dependable and Adaptive Distributed Systems Track of the 23nd ACM Symposium on Applied Computing Published by ACM March 16 - 20, 2008 Fortaleza, Ceara, Brasil http://www.dedisys.org/sac08/ Submission Deadline: extended to September 16, 2007 Author Notification: October 16, 2007 Call for Papers: Distributed systems, services and databases are at the core of the information society and increasingly pervade many aspects of our daily lives. While mobility and pervasiveness require support for systems that adapt themselves to changing environments, the middleware infrastructures become more and more heterogeneous and complex. This trend is further fueled by the emergence of service oriented computing. In addition, we can see an increasing demand for dependability of such systems, taking into account the software as well as the surrounding environment. This mismatch between increasing demand for dependability on one hand and a degradation of dependability caused by complexity, scale, and dynamics has recently been termed by Laprie as the "dependability gap". Generally, adaptiveness can either satisfy a change in user requirements or seek to fulfill the same requirements in a changing system context and environment. In particular, adaptation is also a means to achieve dependability in a computing infrastructure with dynamically varying structure and properties. Dependability and adaptiveness can not simply be added to a system like a plug-in module. Therefore, the focus of this track is on middleware support for dependability and adaptiveness of distributed software systems and service environments of any kind and on methods on designing and engineering them. The topics of particular interest for our track include, but are not limited to: Architectural and infrastructural principles for adaptive and dependable distributed systems. * Adaptivity and dependability in service oriented architectures. * Dependability in complex service oriented environments, GRID?computing, and P2P systems. Concertation, orchestration, coordination, and context-awareness (context-modeling). * Middleware support for reunification of network segments and reconciliation of divergent replicas. Consideration of alternative techniques for dynamic configuration and/or reconfiguration. * New middleware protocols, that are able to work in a peer-to-peer manner in cross-organisational environments and to tackle the challenges of massive scale and mobility. * Data replication strategies, interfaces, and standards. Interaction of distributed databases with middleware systems. * Adaptive, optimistic replication models and protocols. * Group communication and group membership services in failure scenarios with network partitions. * Partial and probabilistic approaches for replication, group membership, and distributed consensus in loosely-coupled and ad-hoc environments to improve dependability. * Support for dependability and adaptiveness in component?based systems (e.g. component frameworks, container services, deployment, composition and substitution of components, building trusted systems from untrusted components). * Trading of dependability and adaptability with other non?functional requirements like integrity (consistency) or performance. Approaches to improve the scalability of dependable and adaptive systems. * Foundations and formal methods (e.g. rigorous development of dependable systems, verification and refinement of fault tolerant systems, techniques and mechanisms ensuring application level fault tolerance). * System design, modeling, development and tool support for dependable and adaptive systems: - Software engineering methods and design patterns, including UML? and MDA?support for dependability and adaptiveness. - Tool support for orchestration, choreography, and coordination of complex services. - Design and programming abstractions to manage the complexity of adaptive mechanisms. - Policies and decision making for adaptation. - Aspect?oriented programming for dependability. - Metrics, measures, and parameters for quantitative approaches to dependability. * Evaluation and experience reports of dependable and adaptive distributed systems and services: - Experience reports from various application areas such as context-aware pervasive computing, safety?critical avionics and CNS systems (communication, navigation, and surveillance), embedded systems (e.g.automotive), and adaptive technologies in mobile and ad-hoc computing. - Comparison of detection?, containment?, recovery?, and fault tolerance strategies for distributed systems. - Analytical and/or experimental evaluation of replication techniques. - Application of middleware techniques to support reconfigurability and/or adaptability. Track Program Co-Chairs: Karl M. Goeschka (Vienna Univ. of Technology, Austria) Svein O. Hallsteinse (Sintef, Norway) Rui Oliveira (Univ. do Minho, Portugal) Alexander Romanovsky (Univ. of Newcastle upon Tyne, UK) Programme Committee: Enrique Armendariz (Universidad Publica de Navarra, Spain) Alberto Bartoli (University of Trieste, Italy) Stefan Beyer (Instituto Tecnologico de Informatica Valencia, Spain) Michael Butler (University of Southampton, UK) Vicent Cholvi (Universitat Jaume, Spain) Frank Eliassen (University of Oslo, Norway) Jacqueline Floch (SINTEF, Norway) Lorenz Froihofer (Vienna University of Technology, Austria) Matti Hiltunen (AT&T Labs, USA) Ricardo Jimenez-Peris (Universidad Politecnica de Madrid, Spain) Marc-Ollivier Killijian (LAAS-CNRS, France) Mikel Larrea (Euskal Herriko Unibersitatea, Spain) Istvan Majzik (Budapest University of Technology and Economics, Hungary) Pietro Manzoni (Universidad Politecnica de Valencia, Spain) Francisco D. Munoz-Esco? (Instituto Tecnologico de Informatica Valencia, Spain) Simin Nadjm-Tehrani (Linkoping University, Sweden) Marta Patino-Martinez (Universidad Politecnica de Madrid, Spain) Jose Pereira (Universidade do Minho, Portugal) Fernando Pedone (Universita della Svizzera Italiana, Switzerland) Roland Reichle (University of Kassel, Germany) Luis Rodrigues (Universidade de Lisboa, Portugal) Luigi Romano (University of Naples, Italy) Juan Carlos Ruiz Garcia (Universidad Politecnica de Valencia, Spain) Dietmar Schreiner (Vienna University of Technology, Austria) Kaisa Sere (Abo Akademi University, Finland) Sara Tucci Piergiovanni (Univ. degli Studi di Roma La Sapienza, Italy) Mario Zenha-Rela (University of Coimbra, Portugal) Detailed information can be found at http://www.dedisys.org/sac08/ -------------- next part -------------- An HTML attachment was scrubbed... URL: http://www.aito.org/pipermail/ecoop-info/attachments/20070910/0b0213a4/attachment-0001.htm From Oege.de.Moor at comlab.ox.ac.uk Tue Sep 11 14:01:06 2007 From: Oege.de.Moor at comlab.ox.ac.uk (Oege.de.Moor at comlab.ox.ac.uk) Date: Tue, 11 Sep 2007 12:01:06 GMT Subject: [ecoop-info] PEPM 2008: abstracts due Oct 12 Message-ID: <200709111201.l8BC163A020427@mercury.comlab.ox.ac.uk> PEPM 2008 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation January 7-8, 2008, San Francisco Keynotes by Ras Bodik (Berkeley) and Monica Lam (Stanford) Co-located with POPL http://www.program-transformation.org/PEPM08/WebHome PEPM is a leading venue for the presentation of cutting-edge research in program analysis, program generation and program transformation. Its proceedings are published by ACM Press; full details of the scope, submission process, and program committee can be found at the above URL. The program committee would particularly welcome submissions from researchers in object-oriented programming on any topic relating to techniques for manipulating OO programs Abstracts are due on October 12, and the deadline for full paper submission is October 17. Prospective authors are welcome to contact the program chairs, Robert Glueck (glueck at acm.org) and Oege de Moor (oege at comlab.ox.ac.uk) with any queries they might have. From icalp08 at ru.is Tue Sep 11 15:57:46 2007 From: icalp08 at ru.is (Icalp08) Date: Tue, 11 Sep 2007 13:57:46 -0000 Subject: [ecoop-info] ICALP 2008 - Second Call for Workshops Message-ID: *** Apologies for multiple copies *** ______________________________________________________________________ 35th International Colloquium on Automata, Languages and Programming ICALP 2008 Reykjavik - Iceland Second Call for Affiliated Workshops Conference Dates: July 7-11, 2008 Affiliated Workshop Dates: July 6, 12, and 13, 2008 ______________________________________________________________________ Researchers and practitioners are invited to submit proposals for workshops on topics related to the conference tracks, namely: Algorithms, Automata, Complexity and Games (track A); Logic, Semantics, and Theory of Programming (track B); and Security and Cryptography Foundations (track C). The purpose of the workshops is to provide participants with a forum for presenting and discussing novel ideas in a small and interactive atmosphere. The main responsibility of organising a workshop goes to the chairperson of the workshop. The format of each workshop is determined by its organisers. The workshop proposals will be selected by the ICALP organization, under advice of the ICALP PC chairs and EATCS. Registrations for the workshops affiliated with ICALP 2008 will be handled by the ICALP organizing committee. Proposals should include: * Name and duration (from half a day to two days) of the proposed workshop. * Preference for a pre- or post-conference workshop, if any. (Note, however, that the final choice of the day when the workshop will be held and other logistic aspects will be decided by the organizing committee.) * A short scientific summary of the topic, including a discussion on the relation with the ICALP topics. * A description of past versions of the workshop, if any, including dates, organisers, submission and acceptance counts, attendance. * Procedures for selecting participants and papers, and expected number of participants. * Plans for dissemination (for example, published proceedings or special issues of journals). IMPORTANT DATES: October 31, 2007: Deadline for submitting workshop proposals November 21, 2007: Notification of acceptance Workshop proposals must be submitted in plain text, PDF or Postscript format by e-mail to icalp08 at ru.is For further information consult the ICALP 2008 web site: http://www.ru.is/icalp08 or contact the ICALP 2008 Workshops Chairs: - Bjarni V. Halldorsson - MohammadReza Mousavi From scd at doc.ic.ac.uk Tue Sep 11 17:33:22 2007 From: scd at doc.ic.ac.uk (Sophia Drossopoulou) Date: Tue, 11 Sep 2007 16:33:22 +0100 Subject: [ecoop-info] CFP: European Symposium on Programming (ESOP) Message-ID: <46E6B542.5010105@doc.ic.ac.uk> A three day conference devoted to fundamental issues in the specification, analysis, and implementation of programming languages and systems. Abstracts due: 5th October 2007 (strict) Submissions due: 12th October 2007 (strict) Acceptance notification: 7th December 2007 Camera-ready papers due: 4th January 2008 ETAPS conference: 29th March - 6th April 2008 Invited Speaker is Thierry Coquand, Goeteborg University, Sweden. More at http://esop2008.doc.ic.ac.uk/ Please, contact me for any further questions. Sophia Drossopoulou http://www.doc.ic.ac.uk/~scd/index.html -- =================================================================== Sophia Drossopoulou Department of Computing, http://www.doc.ic.ac.uk/~scd/index.html Imperial College fax: (+44) 20 7581 8024 London, UK From agupta at nec-labs.com Wed Sep 12 03:36:07 2007 From: agupta at nec-labs.com (Aarti Gupta) Date: Tue, 11 Sep 2007 21:36:07 -0400 Subject: [ecoop-info] CAV 2008: Call for Papers Message-ID: <951A499AA688EF47A898B45F25BD8EE803E6A354@mailer.nec-labs.com> We apologize if you receive multiple copies of this email. See below on how to unsubscribe. ........................................................................ 20th International Conference on Computer Aided Verification (CAV) CAV 2008 July 7 - 13, 2008 Princeton, USA Call for Papers ........................................................................ Aims and Scope --------------- CAV 2008 is the 20th in a series dedicated to the advancement of the theory and practice of computer-aided formal analysis methods for hardware and software systems. CAV considers it vital to continue its leadership in hardware verification, maintain its recent momentum in software verification, and consider new domains such as biological systems. The conference covers the spectrum from theoretical results to concrete applications, with an emphasis on practical verification tools and the algorithms and techniques that are needed for their implementation. The proceedings of the conference will be published in the Springer-Verlag Lecture Notes in Computer Science series. A selection of papers will be invited to a special issue of the International Journal on Formal Methods and System Design. Topics of interest include: * Algorithms and tools for verifying models and implementations * Hardware verification techniques * Hybrid systems and embedded systems verification * Program analysis and software verification * Modeling and specification formalisms * Deductive, compositional, and abstraction techniques for verification * Testing and runtime analysis based on verification technology * Applications and case studies * Verification in industrial practice * Formal methods for biological systems (new this year) Events ---------- There will be pre-conference workshops on July 7 and July 8, and post-conference workshops on July 14 (if needed). Please see the Call for Workshop Proposals on the conference website (http://www.princeton.edu/cav08) if you are interested in organizing a workshop affiliated with CAV '08. CAV Award ----------------- An award, called the CAV Award, has been established "For a specific fundamental contribution or a series of outstanding contributions to the field of Computer Aided Verification." The cited contribution(s) must have been made not more recently than five years ago and not over twenty years ago. The award of $10,000 will be granted to an individual or a group of individuals chosen by the Award Committee from a list of nominations. The Award Committee may choose to make no award. The CAV Award shall be presented in an award ceremony at CAV and a citation will be published in a Journal of Record. Anyone is eligible to receive the Award. Please see the Call for Nominations for the CAV Award below. Paper Submission -------------------------- There are two categories of submissions: * A. Regular papers. Submissions, not exceeding thirteen (13) pages using Springer's LNCS format, should contain original research, and sufficient detail to assess the merits and relevance of the contribution. For papers reporting experimental results, authors are strongly encouraged to make their data available with their submission. Submissions reporting on case studies in an industrial context are strongly invited, and should describe details, weaknesses and strength in sufficient depth. Simultaneous submission to other conferences with proceedings or submission of material that has already been published elsewhere is not allowed. * B. Tool presentations. Submissions, not exceeding four (4) pages using Springer's LNCS format, should describe the implemented tool and its novel features. A demonstration is expected to accompany a tool presentation. Papers describing tools that have already been presented in this conference before will be accepted only if significant and clear enhancements to the tool are reported and implemented. Information about the procedure for submissions will be available on the conference home page: http://www.princeton.edu/cav2008. Papers exceeding the stated maximum length run the risk of rejection without review. The review process will include a feedback/rebuttal period where authors will have the option to respond to reviewer comments. Important Dates ----------------------- * Paper submission (firm): January 28, 2008 * Author feedback/rebuttal period: March 9-11, 2008 * Notification of acceptance/rejection: March 26, 2008 * Final version due: April 21, 2008 Program Chairs ---------------------- * Aarti Gupta, NEC Labs America, agupta (at) nec-labs.com * Sharad Malik, Princeton University, sharad (at) princeton.edu Program Committee ----------------------------- * Rajeev Alur, U Penn * Nina Amla, Cadence * Clark Barrett, NYU * Armin Biere, JKU Linz * Roderick Bloem, TU Graz * Ahmed Bouajjani, U Paris 7 * Alessandro Cimatti, IRST Trento * Werner Damm, U Oldenburg * Steven German, IBM * Ganesh Gopalakrishnan, U of Utah * Mike Gordon, U of Cambridge * Orna Grumberg, Technion * Aarti Gupta (co-chair), NEC Labs America * David Harel, Weizmann Institute * John Harrison, Intel * Tom Henzinger, EPFL * Holger Hermanns, Saarland U * Pei-Hsin Ho, Synopsys * Robert Jones, Intel * Daniel Kroening, Oxford U * Orna Kupferman, Hebrew U * Shuvendu Lahiri, Microsoft Research * Rupak Majumdar, UCLA * Oded Maler, Verimag * Sharad Malik (co-chair), Princeton U * Ken McMillan, Cadence * Kedar Namjoshi, Bell Labs, Alcatel-Lucent * Corina Pasareanu, NASA * Amir Pnueli, NYU * Andreas Podelski, U of Freiburg * Shaz Qadeer, Microsoft Research * Koushik Sen, UC Berkeley * Fabio Somenzi, U of Colorado at Boulder * Ofer Strichman, Technion * Karen Yorav, IBM Haifa * Lenore Zuck, U of Illinois at Chicago Steering Committee ---------------------------- * Edmund M. Clarke, CMU * Mike Gordon, U of Cambridge * Robert P. Kurshan, Cadence * Amir Pnueli, NYU Call for Nominations for the CAV Award --------------------------------------------------------- Anyone can submit a nomination except a member of the Steering Committee, or a past member of the Award Committee who was a member in the past two years. The Award Committee can originate or amend a nomination. A nomination must state clearly the specific fundamental contribution, explain why the contribution is fundamental and be accompanied by supporting letters and other evidence of worthiness. Nominations shall be sent to either of the two Steering Committee members NOT on the current Program Committee, and they will forward the nominations to the Chair of the Award Committee. The deadline for nominations is the same as the deadline for papers. For the CAV Award in 2008, send nominations by January 28, 2008, to: - Edmund M. Clarke, CMU, emc (at) cs.cmu.edu - Robert P. Kurshan, Cadence, rkurshan (at) cadence.com ..................................................................... We apologize if you receive multiple copies of this email. If you do not want any further announcements regarding CAV 2008, reply to this email and put 'UNSUBSCRIBE' in the body or subject of your reply. From cfa at cin.ufpe.br Wed Sep 12 13:56:14 2007 From: cfa at cin.ufpe.br (Carina Alves) Date: Wed, 12 Sep 2007 08:56:14 -0300 Subject: [ecoop-info] Final Call for Papers - IDEAS 08 In-Reply-To: <67ce30390709120444g2cb76aeage5780eec691b8514@mail.gmail.com> References: <67ce30390709030859r32dddfc5u8b6fcbdf3bcf5df5@mail.gmail.com> <67ce30390709120442w766cc8cer78d0a6f21d16f91b@mail.gmail.com> <67ce30390709120444g2cb76aeage5780eec691b8514@mail.gmail.com> Message-ID: <67ce30390709120456l461c8526o41235e6bbde9518@mail.gmail.com> We apologize in advance if you receive multiple copies of this CFP ************************************************************************************** XI Iberoamerican Workshop on Requirements Engineering and Software Environments (IDEAS'08) Recife, Brazil, 11-15 February 2008 http://www.dsc.upe.br/ideas2008 ************************************************************************************** IMPORTANT: ** Deadline for papers is next 24 September 2007** Should you require an extension, please contact as soon as possible the IDEAS 2008 PC Chairs at "ideas2008-chairs at lcc.uma.es" SCOPE AND MOTIVATION The Iberoamerican Workshop on Requirements Engineering and Software Environments, IDEAS, was conceived to