From trefler at cs.uwaterloo.ca Thu Nov 1 02:52:53 2007 From: trefler at cs.uwaterloo.ca (Richard Trefler) Date: Wed, 31 Oct 2007 21:52:53 -0400 Subject: [ecoop-info] CONCUR 2008 Call for Workshop Proposals Message-ID: <47293175.50807@cs.uwaterloo.ca> Dear Colleagues, Please forward as appropriate the enclosed Call for Workshop Proposals affiliated with the 19th International Conference on Concurrency Theory. Thanks very much, Richard Trefler ============================================================================ 19th International Conference on Concurrency Theory CONCUR 2008 Toronto, Canada Call for Affiliated Workshops Conference Dates: August 19-22, 2008 Affiliated Workshop Dates: August 23-24, 2008 The 19th Conference on Concurrency Theory will be held this coming summer in Toronto, Canada, and will be co-locate with the 27th Annual ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing (PODC 2008). Researchers and practitioners are invited to submit proposals for workshops on topics related to concurrency theory and its applications. Example topics include, semantics, logics, and verification techniques for concurrent systems. Past CONCUR conferences have been accompanied by successful workshops on a variety of topics, like formal and foundational methods, models of systems (biological, timed), security issues, semantical issues, verification methods. The purpose of the workshops is to provide participants with a friendly, interactive atmosphere for presenting novel ideas and discussing their application. Proposals should include: * The name and the preferred date of the proposed workshop. * A very brief cv of the organizers. * A short scientific summary of the topic, its scope and significance, including a discussion on its relation to the themes of CONCUR. * A description of past versions of the workshop, including dates, organizers, submission and acceptance counts, and attendance. * Procedures for selecting papers, plans for dissemination (for example, special issues of journals), and the expected number of participants. Important Dates: Workshop proposals due December 1st, 2007. Notification of acceptance December 15th, 2007. Electronic submissions to trefler 'at' cs.uwaterloo.ca The CONCUR organization offers: * Link from CONCUR and Workshop web sites. * Setup of meeting space, and related equipment. * Coffee-breaks. The main responsibility of organizing a workshop goes to the chairperson(s) of the workshop, financial issues included. The format of each workshop is to be determined by its organizers. Workshop organization includes: * Workshop publicity, call for papers, and submission and review process. * Providing a brief description of the workshop for inclusion in the CONCUR web page. * Scheduling workshop activities in collaboration with the CONCUR local organizers. Please contact the workshop chair for further details about the support CONCUR 2008 is planning to offer to organizers. - Richard Trefler (trefler (at) cs.uwaterloo.ca) From laurie at tratt.net Thu Nov 1 13:11:27 2007 From: laurie at tratt.net (Laurence Tratt) Date: Thu, 1 Nov 2007 12:11:27 +0000 Subject: [ecoop-info] Call for Papers: TOOLS Europe 2008 Message-ID: <20071101121150.GB12850@overdrive.home.tratt.net> ============================================================================ TOOLS EUROPE 2008 46th International Conference Objects, Models, Components, Patterns co-located with *** International Conference on Model Transformation 2008 *** *** Software Engineering Approaches for Offshore and Outsourced Development 2008 *** ETH Zurich, Switzerland 30 June-4 July 2008 http://tools.ethz.ch/ ============================================================================ Call for Papers TOOLS EUROPE 2008 will focus on the combination of technologies that have emerged through objects and object technology becoming mainstream. TOOLS EUROPE 2008 combines an emphasis on quality with a strong practical focus. This is the 46th TOOLS conference. Started in 1989, TOOLS conferences, held in Europe, the USA, Australia, China and Eastern Europe, have played a major role in the development of object technology field; many of the seminal concepts were first presented at TOOLS. The TOOLS series was successfully restarted in 2007. Contributions are solicited on all aspects of object technology and neighbouring fields, in particular model-based development, component-based development, and patterns (design, analysis and other applications); more generally, any contribution addressing topics in advanced software technology fall within the scope of TOOLS. Reflecting the practical emphasis of TOOLS, contributions showcasing applications along with a sound conceptual contribution are particularly welcome. For a non-exclusive list of potential topic areas see the TOOLS Web site. In 2008, TOOLS EUROPE will be co-located with several other events, including SEAFOOD 2008 and the International Conference on Model Transformation (ICMT) 2008. Details of co-located events can be found on the TOOLS web site. Submission Guidelines All contributions will be subject to a rigorous selection process by the international Program Committee, with a stress on originality, practicality and overall quality. Every paper will be reviewed by at least 4 committee members. The acceptance rate will be published in the conference proceedings; TOOLS is committed to a fair and extensive peer-review process establishing a high standard in the area of modern practices in software engineering. By submitting a paper to TOOLS, authors warrant that the work is original and that the paper or a similar contribution is neither published nor considered for publication elsewhere. Submissions should follow the publication format of the Journal of Object Technology (JOT). Papers should be limited in size to 20 single-spaced pages. Further details are available from the website. Important Dates Deadline for technical papers: February 8, 2008, midnight Zurich time Author notification: April 15, 2008 Camera-ready copy due: May 15, 2008 The proceedings will be published as a special issue of the Journal of Object Technology. TOOLS EUROPE will also include workshops and tutorials. See the corresponding calls for contributions. Chairpersons Conference chair: Bertrand Meyer Program chair: Richard Paige Publicity chairs: Laurence Tratt, Philippe Lahire Workshop chairs: Stephane Ducasse, Alexandre Bergel Tutorial Chairs: Manuel Oriol, Phil Brooke Program committee Patrick Albert, Uwe Assmann, Balbir Barn, Mike Barnett, Claude Baudoin, Bernhard Beckert, Jean Bezivin, Jean-Pierre Briot, Phil Brooke, Dave Clarke, Bernard Coulette, Jin Song Dong, Gregor Engels, Patrick Eugster, Jose Fiadeiro, Judit Nyekyne Gaizler, Benoit Garbinato, Carlo Ghezzi, Martin Glinz, Martin Gogolla, Jeff Gray, Pedro Guerreiro, Alan Hartman, Valerie Issarny, Gerti Kappel, Joseph Kiniry, Ivan Kurtev, Philippe Lahire, Ralf Laemmel, Mingshu Li, Tiziana Margaria, Erik Meijer, Peter Mueller, David Naumann, Oscar Nierstrasz, Manuel Oriol, Jonathan Ostroff, Alfonso Pierantonio, Awais Rashid, Nicolas Rouquette, Anthony Savidis, Doug Schmidt, Bran Selic, Jim Steel, Dave Thomas, Laurence Tratt, T.H. Tse, Antonio Vallecillo, Amiram Yehudai, Andreas Zeller. From ren at iit.edu Thu Nov 1 13:56:32 2007 From: ren at iit.edu (Shangping Ren) Date: Thu, 01 Nov 2007 07:56:32 -0500 Subject: [ecoop-info] Last CFP for SUTC 2008 Message-ID: Our apology for multiple copies of this posting. ===================================================================== CALL FOR PAPERS IEEE International Conference on Sensor Networks, Ubiquitous, and Trustworthy Computing (SUTC2008) June 11-13, 2008, Taichung, Taiwan Sponsored by the IEEE Computer Society Conference http://SUTC2008.csie.ncu.edu.tw The rapid research and technological advances in wireless communications and increasing availability of sensors, actuators, and mobile devices have created an exciting new ubiquitous computing paradigm that facilitates computing and communication services all the time, everywhere. This emerging paradigm is changing the way we live and work today. Via a ubiquitous infrastructure consisting of a variety of global and localized networks, users, sensors, devices, systems and applications may seamlessly interact with each other and even the physical world in unprecedented ways. To realize this continually evolving ubiquitous computing paradigm, trustworthy computing that delivers secure, private, and reliable computing and communication services plays an essential role. The IEEE International Conference on Sensor Networks, Ubiquitous, and Trustworthy Computing (SUTC2008) is an international forum for researchers to exchange information regarding advancements in the state of the art and practice of sensor networks, ubiquitous and trustworthy computing, as well as to identify the emerging research topics and define the future of sensor networks, ubiquitous and trustworthy computing. The technical program of SUTC2008 will consist of invited talks, paper presentations, and panel discussions. A number of best papers presented in the conference will be selected for possible publication in a special issue of journals. Topics of Interest Submissions of high quality papers describing mature results or on-going work are invited. Topics for submission include, but are not limited to the following aspects of sensor networks, ubiquitous, and trustworthy computing: * Applications (novel use cases, deployment experience) * Algorithms and Protocols (topology, coverage, routing, distributed coordination) * Data Management and Processing (gathering, storage, fusion, dissemination) * Deployment, Testing, and Debugging * Design and Programming Methodologies * Energy management * Embedded processors, sensors, and actuators * Management aspects (configuration, adaptation, healing) * Mobility, Location, and Context * Modeling and Performance Evaluation (simulation, complexity analysis, user studies) * Networking Technologies (ad hoc networks, personal area networks) * Operating Systems and Middleware * Privacy * Protocol Design, Modeling, and Implementation Experiences * QoS aspects * Reliability * Security (authentication, access control, intrusion detection and tolerance) * Social Issues * System and Network Architectures * Trust (establishment, negotiation, management) * User Interface Technologies Paper Submission The conference solicits original and previously unpublished research and industrial papers. Submissions should be prepared in IEEE conference proceedings format, up to 8 pages in two-column, no less than 10 pt font and uploaded in pdf at the conference submission site (detailed submission instructions will be made available on the conference homepage). Proposal Submission The conference also invites proposals for panels, demos, tutorials, and workshops. (detailed submission instructions will be made available on the conference homepage). Important Dates Paper abstract registration: 11/13/2007 Paper submission: 11/20/2007 Paper notification: 01/20/2008 Camera ready: 03/14/2008 Proposal submission: 09/15/2007 Proposal notification: 10/15/2007 Organization Committee General Co-Chairs: Mukesh Singhal, University of Kentucky, USA Giovanna Di Marzo Serugendo, University of London, UK Jeffrey J.P. Tsai, University of Illinois, Chicago, USA Program Co-Chairs: Wang-Chien Lee, Pennsylvania State University, USA Kay Romer, ETH Zurich, Switzerland Yu-Chee Tseng, National Chiao-Tung University, Taiwan Program Vice-Chairs: Sensor Networks Track: Pedro J. Marron, University of Bonn, Germany Reliable Software Systems Track: Trent Jaeger, Pennsylvania State University, USA Mobile Computing and Wireless Communication Track: Andreas Willig, Technical University of Berlin, Germany Embedded Systems Track: Tei-Wei Kuo, National Taiwan University, Taiwan Ubiquitous Computing Track: Gerd Kortuem, Lancaster University, UK Trustworthy Computing Track: Yunhao Liu, Hong Kong University of Science and Technology, Hong Kong Pervasive Services and Data Management Track: Kun-Lung Wu, IBM Watson Research Lab., USA Wireless Local-, Personal-, and Body-area Networks Track: Chien-Chao Tseng, National Chiao-Tung University, Taiwan Advisory Committee: C.V. Ramamoorthy (Chair), University of California at Berkeley, USA Wen-Tsuen Chen, National Tsing Hua Univeristy, Taiwan S.S. Iyengar, Louisiana State University, USA Lionel M. Li, Hong Kong University of Science and Technology, Hong Kong Kinji Mori, Tokyo Institute of Technology, Japan Makoto Takizawa, Tokyo Denki University, Japan Benjamin Wah, University of Illinois, Urbana, USA Workshop Co-Chairs: Shu-Ching Chen, Florida International University, USA Jong Hyuk Park, Kyungnam University, Korea Stephen Yang, National Central University, Taiwan Industrial Program Co-Chairs: Nageswara S. Rao, Oak Ridge National Lab., USA Jen-Yao Chung, IBM Watson Research Lab., USA Emile Aarts, Philips Research Lab., The Netherlands Special Track Co-Chairs: Mei-Ling Shyu, University of Miami, USA Guna S. Seetharaman, Air Force Institute of Technology, USA Finance Chair: Rong-Ming Chen, National University of Tainan, Taiwan Publication and Registration Chair: Han-Wen Hsiao, Asia University, Taiwan Local Arrangement Chair: Anthony Y.H. Liao, Asia University, Taiwan Publicity Co-Chairs: Sam Michiels, K.U. Leuven, Belgium Shangping Ren, Illinois Institute of Technology, USA Alan Liu, National Chung Cheng University, Taiwan Web Co-Chairs: Shih-Nung Chen, Asia Univeristy, Taiwan Fu-Ming Huang, National Central University, Taiwan ================================================= Thanks, Shangping --------------------------------- Dr. Shangping Ren Department of Computer Science Illinois Institute of Technology 10 W. 31st Street Chicago, IL 60616 Cell Phone (630) 747-6272 Fax (312) 567-5067 Web www.cs.iit.edu/~ren ------------------------------ From kleijn at liacs.nl Thu Nov 1 14:22:23 2007 From: kleijn at liacs.nl (Jetty Kleijn) Date: Thu, 1 Nov 2007 14:22:23 +0100 Subject: [ecoop-info] CHINA 2008 Workshop 1st CfP Message-ID: <200711011322.lA1DMNv01165@tin.liacs.nl> ===================== First CALL FOR PAPERS ===================== Apologies for multiple copies CHINA 2008 Workshop (Concurrency metHods: Issues aNd Applications) A satellite workshop of PETRI NETS 2008 co-located with ACSD 2008 June 24, 2008 - Xi'an, China. Home page: http://homepages.cs.ncl.ac.uk/maciej.koutny/CHINA-2008.htm Important Dates: - Deadline for submissions March 20, 2008 - Notification of acceptance/rejection May 1, 2008 - Deadline for pre-proceedings June 1, 2008 - Workshop June 24, 2008 Contact: China-Chairs at liacs.nl - Jetty Kleijn (The Netherlands) - Maciej Koutny (United Kingdom) The main objective of the workshop is to be a meeting place, in two ways. It is intended to be a forum to exchange ideas and experiences with different methods for the study of concurrent and distributed systems. In addition, it will also be a meeting place for researchers from China and neighbouring countries with the participants of the PETRI NETS and ACSD conferences. The scope of the workshop is broad. Its goal is to discuss models of concurrency with an emphasis on issues relevant to certain application domains which have led or could lead to the addition of structural enhancements. The focus of the workshop will be on qualitative rather than quantitative aspects of concurrent systems. For the (enhanced) models under discussion, also analysis techniques, extended or even completely new, are to be considered. The meeting is deliberately not focussed on any particular model of concurrency, issue or application. Fundamental approaches as well as interdisciplinary applications may be discussed. Aspects which are of interest to the workshop (in combination with techniques for analysis, verification and synthesis) include: (i) Concurrency models: Petri nets, process algebras, cooperating automata, coordination languages, rewriting systems, discrete event systems, message sequence charts, temporal logics (ii) Issues: synchrony / asynchrony, mobility and security, locality and components, supervisory control, dynamic reconfiguration, resource access / testing, collaboration schemes, behavioural equivalence (iii) Application areas: asynchronous circuits, GALS systems, biological systems, membrane systems, mobile process networks, architecture, component based software, workflow systems, communication protocols Two types of submissions are solicited: (i) Original contributions: full papers or extended abstracts describing new and ongoing work which have not been submitted elsewhere or already published. (ii) Informal contributions: posters presenting initial ideas, or presentations significantly based on already published work (possibly in a language other than English) for which the authors seek feedback. (The latter under the condition that the prior work is adequately referenced, and there are no publisher's restrictions.) Prospective participants are asked to submit by email (to China-Chairs at liacs.nl) an extended abstract of at most 15 pages as PDF or PS and using the Springer LNCS-format (http://www.springer.de/comp/lncs/authors.html). Submissions will be reviewed by the Programme Committee, and they should include a title, the authors' contact addresses and email, and an abstract. Moreover, in the covering mail, it should be clearly stated whether the submission should be considered as an original paper. At least one of the authors of each accepted contribution should register and take part in the workshop to give the presentation. Extended abstracts of accepted contributions will be included in the workshop proceedings and available at the meeting. Some of the best, original contributions from the workshop will be invited to be submitted to a volume of the journal sub-series of Lecture Notes in Computer Science entitled "Transactions on Petri Nets and Other Models of Concurrency" (ToPNoC). These papers, revised according to the workshop reviewers' comments and the feedback received at the workshop, will go through a totally new round of reviewing as is standard practice for journal papers. Programme Committee M.Bednarczyk (Poland) M.ter Beek (Italy) Y.Bin (China) M.Bonsangue (Netherlands) J.Carmona (Spain) T.Chothia (Netherlands) S.Christensen (Denmark) G.Ciobanu (Romania) J.-M. Colom (Spain) P.Darondeau (France) Z.Duan (China) S.Gnesi (Italy) L.Gomes (Portugal) A.Gordon (UK) S.Haddad (France) K.Hao (China) H.Hong (China) R.Janicki (Canada) E.Kindler H.Klaudel (France) J.Kleijn (Netherlands, chair) A.Kondratyev (USA) M.Koutny (UK, chair) Z.Liu (China) R.Lorenz (Germany) H.Miao (China) M.Mukund (India) G.Pappalardo (Italy) G.Paun (Spain) L.Pomello (Italy) W.Vogler (Germany) K.Wolf (Germany) A.Yakovlev (UK) From Farhad.Arbab at cwi.nl Thu Nov 1 16:41:36 2007 From: Farhad.Arbab at cwi.nl (Farhad Arbab) Date: Thu, 1 Nov 2007 16:41:36 +0100 (CET) Subject: [ecoop-info] Positions in EU FP7 project at CWI, Amsterdam Message-ID: <20071101154136.6273098040@poliwag.sen.cwi.nl> Two Open Positions in the EU FP7 Project COMPAS at CWI, Amsterdam The Netherlands Position Description ==================== The Coordination Languages group, SEN3, at CWI has two open positions for: (1) a postdoc for a period of three years, and (2) a PhD student. Both positions are within the EU FP7 STREP research project "Compliance-driven Models, Languages, and Architectures for Services" (COMPAS). The partners in the COMPAS project plan to design and implement novel models, languages, and an architectural framework to ensure dynamic and on-going compliance of software services with business regulations and the stated service requirements of users. We intend to use model-driven software development approaches to enable organizations develop custom business compliance solutions faster, cheaper, and with less programming skills. The COMPAS consortium consist of the following partners: Vienna University of Technology, Austria (Project Coordinator) CWI, Netherlands University of Claude Bernard Lyon 1, France University of Stuttgart, Germany University of Tilburg, Netherlands University of Trento, Italy Apera sp z.o.o., Poland Thales, France PricewaterhouseCoopers, Netherlands The primary role of the CWI group as a partner in this project involves development of a formally grounded and implemented behavioral model for services and service composition that enables formal validation of compliance of composed services with the specifications of behavior and process constraints. The CWI activities in COMPAS involve both systems oriented and theoretical work in software engineering, supervised by Prof. Dr. F. Arbab (www.cwi.nl/~farhad) The COMPAS project complements the theoretical and technological framework of other current projects in SEN3 at CWI. The candidate for the postdoc position is expected to have a PhD in computer science, with a strong background in service-oriented and component-based systems, and maturity in formal methods and their practical applications. Project management skills, teamwork and leadership, as well as the ability to work effectively with academic colleagues and PhD students, are all important qualifications for this position. The candidate for the PhD position should have at least a master degree in computer science, with a background in service-oriented and component-based software engineering, concurrency and distributed systems, and practical software development. The Theme SEN3 (http://www.cwi.nl/sen3) at CWI is a dynamic group of internationally recognized researchers who work on Coordination Models and Languages, service-oriented and Component-Based Software Composition. The activity in SEN3 is a productive, healthy mix of theoretical, foundational, and experimental work in Computer Science, ranging in a spectrum covering mathematical foundations of models of computation, formal methods and semantics, implementation of advanced research software systems, as well as their real-life applications. General information =================== CWI is an internationally renowned research institute in mathematics and computer science, located in Amsterdam, The Netherlands. The focus is on fundamental research problems, derived from societal needs. Research is carried out in 18 research themes. More information about these themes can be found on the website www.cwi.nl where you can also find the Annual Reports of the institute. A substantial part of this research is carried out in the framework of national or international programs. CWI maintains excellent relations with industry and the academic world, at home as well as abroad. After their research careers at CWI, an increasing number of young staff members find employment in these sectors, for example in spin-off companies that are based on research results from CWI. Of course, library and computing facilities are first-rate. CWI's non-scientific services to its personnel include career planning, training & courses, assistance in finding housing, and tailor-made solutions to problems that may occasionally arise. Terms of employment =================== The salary is in accordance with the "CAO-onderzoekinstellingen" and is commensurate with experience. For instance, the postdoc base salary for a fresh PhD with no additional experience in scale 10 is around 2900 Euros/month. The current starting salary for a first year PhD student is around 1900 Euros/month. Both salaries will include an incremental raise for each subsequent year. Besides the salary, CWI offers very attractive and flexible terms of employment, like a collective health insurance, pension-fund, etc. Application =========== To apply, please send a statement of your interest, together with curriculum vitae, letters of references, and lists of publications to: Prof. F. Arbab, telephone +31-20-592-4056, e-mail Farhad.Arbab at cwi.nl making sure that you specifically mention the COMPAS project. From events-admin at fmeurope.org Thu Nov 1 19:24:24 2007 From: events-admin at fmeurope.org (events-admin at fmeurope.org) Date: Thu, 1 Nov 2007 19:24:24 +0100 (CET) Subject: [ecoop-info] FM'08: 15TH INTERNATIONAL SYMPOSIUM ON FORMAL METHODS: Final CfP Message-ID: <11105.213.84.47.100.1193941464.squirrel@webmail.xs4all.nl> *** Apologies if you receive multiple copies. *** FM'08: 15TH INTERNATIONAL SYMPOSIUM ON FORMAL METHODS May 26 - 30, 2008 ?bo Akademi University Turku, Finland FINAL CALL FOR PAPERS http://www.fm2008.abo.fi/ FM'08 is the fifteenth in a series of symposia organized by Formal Methods Europe, http://www.fmeurope.org, an independent association whose aim is to stimulate the use of, and research on, formal methods for software development. The symposia have been notably successful in bringing together innovators and practitioners in precise mathematical methods for software development, industrial users as well as researchers. Submissions are welcomed in the form of original papers on research and industrial experience, proposals for workshops and tutorials, entries for the exhibition of software tools and projects, and reports on ongoing doctoral work. FM'08 welcomes all aspects of formal methods research, both theoretical and practical. We are particularly interested in the experience of applying formal methods in practice. The broad topics of interest of this conference are: * Tools for formal methods: tool support and software engineering, environments for formal methods. * Theoretical foundations: specification and modelling, refining, static analysis, model-checking, verification, calculation, reusable domain theories. * Formal methods in practice: experience with introducing formal methods in industry, case studies. * Role of formal methods: formal methods in hardware and system design, method integration, development process. INVITED SPEAKERS The following distinguished speakers have accepted to give an invited lecture at FM'08: - Arvind (Massachusetts Institute of Technology, USA) - Dawson Engler (Stanford University, USA) - Schmuel Katz (The Technion, Israel) - Jay Misra (The University of Texas at Austin, USA) TECHNICAL PAPERS Full papers should be submitted via _______________________________________________ events mailing list events at fmeurope.org http://www.fmeurope.org/mailman/listinfo/events From clu at tcs.inf.tu-dresden.de Thu Nov 1 18:35:45 2007 From: clu at tcs.inf.tu-dresden.de (Carsten Lutz) Date: Thu, 01 Nov 2007 18:35:45 +0100 (CET) Subject: [ecoop-info] DL08 Call for Papers Message-ID: --------------------------------------------------------------------- 21st International Workshop on Description Logics (DL'08) CALL FOR PAPERS Dresden, Germany May 13-16, 2008 http://dl.kr.org/dl2008/ The DL workshop is the major annual event of the description logic research community. The workshop is a gathering forum to meet, discuss and exchange experiences among all those, both in academia and industry, who are interested in description logics and their applications. ---------------------------------------------------------------------- IMPORTANT DATES Paper submission deadline: 15 February 2008 Notification of acceptance: 23 March 2008 Camera ready papers due: 13 April 2008 DL'07 Workshop: 13-16 May 2008 (3 or 4 days, to be decided) ---------------------------------------------------------------------- INVITED SPEAKERS * Bernhard Ganter, Dresden, Germany * Georg Gottlob, Oxford, UK * Maarten Marx, Amsterdam, The Netherlands * Kent Spackman, Oregon, USA ---------------------------------------------------------------------- SCOPE We invite contributions on all aspects of description logics. Possible subjects include: * Foundations of description logics, including expressive power, decidability and complexity of reasoning, novel inference problems, and reasoning techniques for solving these problems. * Extensions of description logics, including, but not limited to, closed world reasoning, defaults, epistemic reasoning, temporal and spatial reasoning, procedural knowledge, and query languages. * Integration of description logics with other formalisms, such as object-oriented representation languages, database query languages, constraint-based programming, logic programming, and rule-based systems. * Use of description logics in applications or areas such as ontology engineering, ontology languages, databases, semi-structured data, document management, natural language, learning, planning, semantic web, and grid computing. * Building systems based on description logics, with special emphasis on optimization and implementation techniques. * Tools that exploit description Logic reasoning, such as ontology editors, database schema design, query optimization, and data integration tools. ---------------------------------------------------------------------- SUBMISSION DETAILS We invite submissions of papers in Springer LNCS style, see http://www.springer.com/comp/lncs/Authors.html to arrive no later than February 15, 2008. The length of submissions is limited to 11 pages, including title and abstract (if any), and list of references. Submitted papers must be in PDF format. Submission is via EasyChair, see http://www.easychair.org/DL08/ The workshop proceedings will be made available electronically in the CEUR Workshop Proceedings series, see http://www.CEUR-ws.org/ ---------------------------------------------------------------------- WORKSHOP CHAIRS * Franz Baader, Dresden, Germany (General chair) * Carsten Lutz, Dresden, Germany (PC Chair) ---------------------------------------------------------------------- PROGRAM COMMITTEE * Carlos Areces, Nancy, France * Alessandro Artale, Bozen-Bolzano, Italy * Alex Borgida, Rutgers, USA * Sebastian Brandt, Machester, UK * Diego Calvanese, Bozen-Bolzano, Italy * Giuseppe de Giacomo, Rome, Italy * Volker Haarslev, Montreal, Canada * Ian Horrocks, Oxford, UK * Ulrich Hustadt, Liverpool, UK * Pascal Hitzler, Karlsruhe, Germany * Carsten Lutz, Dresden, Germany (Chair) * Maja Milicic, Dresden, Germany * Boris Motik, Oxford, UK * Ralf Moeller, Hamburg, Germany * Bijan Parsia, Manchester, UK, * Peter Patel-Schneider, Alcatel Lucent, USA * Riccardo Rosati, Rome, Italy * Uli Sattler, Manchester, UK * Umberto Straccia, Pisa, Italy * David Toman, Waterloo, Canada * Frank Wolter, Liverpool, UK * Misha Zakharyaschev, London, UK ---------------------------------------------------------------------- RESOURCES * Information regarding registration, travel information, hotels, etc will be made available on the DL2008 homepage http://dl.kr.org/dl2008/ * Enquiries about the DL2008 workshop can be made by mailing to lutz at tcs.inf.tu-dresden.de * The general Description Logic home page is at http://dl.kr.org/ ---------------------------------------------------------------------- From secure2000 at gmail.com Fri Nov 2 04:49:03 2007 From: secure2000 at gmail.com (B.S. K) Date: Fri, 2 Nov 2007 12:49:03 +0900 Subject: [ecoop-info] MUE-08 CfP[Submission Extension: Nov. 16] Message-ID: ***Submission deadline has extended to Nov. 16, 2007 *** =================================== MUE 2008 Call for Papers ========================= The 2nd International Conference on Multimedia and Ubiquitous Engineering (MUE 2008) http://www.sersc.org/MUE2008 April 24 - 26, 2008 Hanwha Resort Haeundae, Busan, Korea. ----------------------------------------------------------------------------------------- ***Special Issues (SCI Journals)*** Special Issue on "Emerging Multimedia Applications", Multimedia Tools and Applications (indexed by SCI-E), Springer. Special Issue on "Multimedia Services and Applications", Journal of Universal Computer Science (indexed by SCI-E). Special Issue on "Security for Multimedia and Ubiquitous Applications", Telecommunication Systems (indexed by SCI-E), Springer. ------------------------------------------------------------------------------------------ Multimedia and Ubiquitous Engineering is emerging rapidly as an exciting new paradigm to provide computing life services any time, anywhere. MUE 2008 conference will provide a good chance for academic and industry professionals to discuss recent progress in the area of multimedia and ubiquitous environment including models and systems, new directions, novel applications associated with the utilization, and acceptance of ubiquitous computing devices and systems. == Conference Topics == Topics of relevance include but are not limited to the following areas. Excellent surveying works in these areas are welcome, too. 1.Ubiquitous Computing and Beyond Ubiquitous Computing and Technology Ambient and Artificial Intelligence Context-Aware Ubiquitous Computing Parallel/Distributed/Grid Computing Novel Machine Architectures Semantic Web and Knowledge Grid Smart Home and Natural Interfaces 2.Multimedia Modeling and Processing AI and Soft Computing in Multimedia Computer Graphics and Simulation Content-Based Image Retrieval / QBE Medical Image and Signal Processing Multimedia Indexing and Compression Virtual Reality and Game Technology Current Challenges in Multimedia 3.Ubiquitous Services and Applications Protocols for Ubiquitous Services Ubiquitous Database Methodologies Ubiquitous Application Interfaces IPv6 Foundations and Applications Smart Home Network Middleware Ubiquitous Sensor Networks / RFID U-Commerce and Other Applications 4.Multimedia Services and Applications Multimedia RDBMS Platforms Multimedia in Telemedicine Multimedia Embedded Systems Entertainment Industry E-Commerce and E-Learning Novel Multimedia Applications Computer Graphics in Industry 5.Multimedia and Ubiquitous Security Security in Commerce and Industry Security in Ubiquitous Databases Key Management and Authentication Privacy in Ubiquitous Environment Sensor Networks and RFID Security Multimedia Information Security Forensics and Image Watermarking 6.Other IT and Multimedia Applications == Organization == * Honorary Chair SeokSoo Kim, University of Hannam, Korea * Steering Co-chairs Tai-hoon Kim, Hannam University, Korea Wai Chi Fang, NASA JPL, USA * General Co-chairs Jong Hyuk Park, Kyungnam University, Korea Jianhua Ma, Hosei University, Japan William I. Grosky, University of Michigan-Dearborn, USA * Program Co-chairs Dominik Slezak, Infobright Inc., Canada Sang-Soo Yeo, Kyushu University, Japan Ching-Hsien Hsu, Chung Hua University, Taiwan * Program Vice Co-chairs Track 1.Ubiquitous Computing and Beyond Hai Jin, HUST, China Track 2.Multimedia Modeling and Processing Shu-Ching Chen, Florida International University, USA Track 3.Ubiquitous Services and Applications Han-Chieh Chao, National Ilan University, Taiwan Track 4.Multimedia Services and Applications Zhiwen YU, Kyoto University, Japan Track 5.Multimedia and Ubiquitous Security Stefanos Gritzalis, University of the Aegean, Greece Track 6.IT and Multimedia Applications Hangbae Chang, Daejin University, Korea * Workshop Co-chairs Mieso Denko, University of GUELPH, Canada Ilsun You, Korean Bible University, Korea Frode Eika Sandnes, Oslo University College, Norway * Steering Committee Andrea Omicini, DEIS, Universita di Bologna, Italy Hamid-R Arabnia, The University of Georgia, USA Daqing Zhang, Institute for Infocomm Research (I2R), Singapore Lionel Ni, The Hong Kong University of Science and Technology, Hong Kong Haeng-kon Kim, Catholic Univ. of Taegu, Korea Sajal K. Das, University Texas at Arlington, USA Byeongho Kang, University of Tasmania, Australia Sankar K. Pal, Indian Statistical Institute, India Kyoo Seok Park Kyungnam University, Korea Laurence T. Yang, St Francis Xavier University, Canada Cao Jiannong, Hong Kong Polytechnic University, Hong Kong * Publicity Co-chairs Timothy K. Shih Tamkang University, Taiwan Deok Gyu Lee, ETRI, Korea Ing-Ray Chen, Virginia Polytechnic Institute and State University, USA * Publication Co-chairs Jiyoung Lim, Korean Bible University, Korea * International Journals Coordinating Co-chairs Sajid Hussain, Acadia University, Canada Yang Xiao, University of Alabama, USA * Program Committee: http://www.sersc.org/MUE2008/contents9.htm == Important Dates == Submission of Papers: November 1, 2007 --> November 16, 2007 (Extended) Notification of acceptance: December 15, 2007 Camera ready submission: January 1, 2008 == Paper Submission and Publication == Every submitted paper will be carefully reviewed by at least two members of the International Program Committee. The problematic (borderline) papers will be additionally evaluated by the members of the International Advisory Board and the Chairs of the conference. All accepted papers will be included in the conference proceedings with IEEE CS (indexed by EI) with two categories: regular papers (6~8 pages), short papers (4~5 pages). Distinguished papers accepted and presented in MUE 2007, after further revisions, will be published in special issues on prestigious international journals indexed by SCI-E (Confirmed). == Contact Information == If you have any question about the CfPs and papers submission, please mail to Secretary of MUE2008 (sersc at sersc.org). =================================== The End of Call for Papers========================= -------------- next part -------------- An HTML attachment was scrubbed... URL: http://www.aito.org/pipermail/ecoop-info/attachments/20071102/0af45bcf/attachment-0001.htm From Clemens.Kupke at cwi.nl Fri Nov 2 16:26:41 2007 From: Clemens.Kupke at cwi.nl (Clemens Kupke) Date: Fri, 02 Nov 2007 16:26:41 +0100 Subject: [ecoop-info] CMCS 2008: First call for papers Message-ID: <472B41B1.5040104@cwi.nl> 9th International Workshop on Coalgebraic Methods in Computer Science http://www.cwi.nl/projects/cmcs08/ Budapest, Hungary April 4-6, 2008 The workshop will be held in conjunction with the 11th European Joint Conferences on Theory and Practice of Software ETAPS 2008 March 29 - April 6, 2008 Aims and Scope During the last few years, it has become increasingly clear that a great variety of state-based dynamical systems, like transition systems, automata, process calculi and class-based systems, can be captured uniformly as coalgebras. Coalgebra is developing into a field of its own interest presenting a deep mathematical foundation, a growing field of applications and interactions with various other fields such as reactive and interactive system theory, object oriented and concurrent programming, formal system specification, modal logic, dynamical systems, control systems, category theory, algebra, and analysis. The aim of the workshop is to bring together researchers with a common interest in the theory of coalgebras and its applications. The topics of the workshop include, but are not limited to: the theory of coalgebras (including set theoretic and categorical approaches); coalgebras as computational and semantical models (for programming languages, dynamical systems, etc.); coalgebras in (functional, object-oriented, concurrent) programming; coalgebras and data types; coinductive definition and proof principles for coalgebras (with bisimulations or invariants); probabilistic systems as coalgebras; algebras versus coalgebras; coalgebraic specification and verification; coalgebras and (modal) logic; game theory in coalgebra; coalgebra and control theory (notably of discrete event and hybrid systems). The workshop will provide an opportunity to present recent and ongoing work, to meet colleagues, and to discuss new ideas and future trends. Previous workshops of the same series have been organized in Lisbon, Amsterdam, Berlin, Genova, Grenoble, Warsaw, Barcelona and Vienna. The proceedings appeared as Electronic Notes in Theoretical Computer Science (ENTCS) Volumes 11,19, 33, 41, 65.1, 82.1, 106 and 164.1. You can get an idea of the types of papers presented at the meeting by looking at the tables of contents of the ENTCS volumes from those workshops. Location CMCS 2008 will be held in Budapest on April 4-6, 2008. It will be a satellite workshop of ETAPS 2008, the European Joint Conferences on Theory and Practice of Software. Programme Committee Jiri Adamek (chair, Braunschweig), Corina Cirstea (Southampton), Neil Ghani (Nottingham), H. Peter Gumm (Marburg), Bart Jacobs (Nijmegen), Clemens Kupke (co-chair, Amsterdam), Alexander Kurz (Leicester), Ugo Montanari (Pisa), Larry Moss (Indiana), John Power (Edinburgh), Jan Rutten (Amsterdam), Lutz Schroder (Bremen), Tarmo Uustalu (Tallinn), Yde Venema (Amsterdam), Hiroshi Watanabe (Osaka). Submissions Two sorts of submissions will be possible this year: Papers to be evaluated by the programme committee for inclusion in the ENTCS proceedings: These papers must be written using ENTCS style files and be of length no greater than 20 pages. They must contain original contributions, be clearly written, and include appropriate reference to and comparison with related work. If a submission describes software, software tools, or their use, it should include all source code that is needed to reproduce the results but is not publicly available. If the additional material exceeds 5 MB, URL's of publicly available sites should be provided in the paper. Short contributions: These will not be published but will be compiled into a technical report of the Technical University of Braunschweig. They should be no more than two pages and may describe work in progress, summarise work submitted to a conference or workshop elsewhere, or in some other way appeal to the CMCS audience. Both sorts of submission should be submitted in postscript or pdf form as attachments to an email to cmcs08 at cwi.nl. The email should include the title, corresponding author, and, for the first kind of submission, a text-only one-page abstract. After the workshop, we expect to produce a journal proceedings of extended versions of selected papers to appear in Theoretical Computer Science. Important Dates Deadline for submission of regular papers: January 13, 2008. Notification of acceptance of regular papers: February 11, 2008. Final version for the preliminary proceedings: February 18, 2008. Deadline for submission of short contributions: March 10, 2008. Notification of acceptance of short contributions: March 17, 2008. For more information, please write to cmcs08 at cwi.nl From etanter at dcc.uchile.cl Fri Nov 2 21:52:31 2007 From: etanter at dcc.uchile.cl (Eric Tanter) Date: Fri, 2 Nov 2007 21:52:31 +0100 Subject: [ecoop-info] Call for Participation: Biologically-Inspired Computing 2007 Message-ID: ***************************************************************** ** BIC 2007 ** ** 2nd ISCV Thematic Workshop: Biologically-Inspired Computing ** ** Dec. 3rd-7th, 2007, ISCV-Chile ** ** http://pleiad.dcc.uchile.cl/bic2007/ ** ***************************************************************** A one-week thematic workshop gathering researchers and students interested in biologically- inspired computing. Interactive format propitious to exchange ideas: plenary talks, introductory courses, technical presentations, group work and panels. Call for applications --------------------- We invite students holding BSc/licenciatura or enrolled in postgraduate studies in biology, computer science and related areas, to submit an application (see web for details). Please note that english fluency is mandatory. Researchers and academics are encouraged to apply for a limited number of slots, free of charge. ** Deadline for applications: Nov 19th 2007, 16hrs (chilean time). ** Scientific committee -------------------- * Diego Cosmelli, PUC ? ISCV, Cognitive Neuroscience * Adrian Palacios, UV ? ISCV, Neuroscience * Eric Tanter, UCH ? Computer Science Invited speakers ---------------- International * Gabriela Barrantes, Universidad de Costa Rica, Costa Rica, and Santa Fe Institute, USA. * Ron Goldman, Sun Microsystems, USA. * Fernando Sancho, Universidad de Sevilla, Spain. * Guy Theraulaz, Universit? Paul Sabatier, Toulouse, France * Chris Wood, Santa Fe Institute, USA. National * Hector Allende, Univ.T?cnica Federico Santa Mar?a,Valpara?so. * John Atkinson, Universidad de Concepci?n. * Juan Carlos Letelier, Universidad de Chile. * Pablo Marquet, Pontificia Universidad Cat?lica. * Jorge Mpodozis, Universidad de Chile. * Carlos Rodriguez, Pontificia Universidad Cat?lica. * Javier Ruiz del Solar, Universidad de Chile. * Jorge Soto-Andrade, Universidad de Chile. From Klaus.Schneider.67 at web.de Sat Nov 3 11:50:28 2007 From: Klaus.Schneider.67 at web.de (Klaus Schneider) Date: Sat, 03 Nov 2007 11:50:28 +0100 Subject: [ecoop-info] MEMOCODE 2008 (call for papers) Message-ID: <472C5274.7010306@web.de> CALL FOR PAPERS Sixth ACM-IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE) http://memocode-conference.com June 5-7, 2008, Anaheim, CA, USA The sixth MEMOCODE conference will gather researchers and practitioners who design modern hardware/software systems. Our goal is to consider new formal and systematic techniques for the design of dependable hardware/software systems. Many new languages, abstractions, refinement and analysis techniques already proved to provide a sound methodological basis for high-level modeling, design, and development of hardware and software systems including the adaptation and re-use of existing components. We invite papers, panel proposals, and tutorial proposals on the application of formal methods to hardware and software design. Topics include * dependable design methodologies * specification and modeling of hardware/software systems * formal verification (model checking, theorem proving) * specification-based testing * dependable synthesis methods for hardware and software * component-based design and design space exploration * optimization and hardware/software partitioning * performance/power analysis IMPORTANT DATES Paper submission February 1, 2008 Panels and tutorials April 11, 2008 Notification of acceptance March 31, 2008 Final Version of Papers April 11, 2008 DESIGN CONTEST MEMOCODE will again run a design contest. Please refer to http://rijndael.ece.vt.edu/memocontest08 for more information. PROCEEDINGS Conference proceedings will be published by the IEEE Computer Society. Best papers of previous MEMOCODE conferences have been published in special issues of international journals including ACM TECS and Springer's FMSD. PAPER SUBMISSION Submissions of research and experience papers will only be accepted through the conference web site. Papers must not exceed 10 pages and must be formatted following IEEE Computer Society guidelines. Submissions must be written in English, describe original work, and not substantially overlap papers that have been published or are being submitted to a journal or another conference with published proceedings. CHAIRS General Chairs Forrest Brewer, UC Santa Barbara, USA Rajesh Gupta, UC San Diego, USA Program Chairs Stephen A. Edwards, Columbia, USA Klaus Schneider, Kaiserslautern, Germany Publicity Chair Fei Xie, Portland State, USA Panel Chair Luca Carloni, Columbia, USA Industry Chair Arvind, MIT, USA Local Arrangements Forrest Brewer, UC Santa Barbara, USA TECHNICAL PROGRAM COMMITTEE Arvind, MIT, USA Twan Basten, Eindhoven, Netherlands Forrest Brewer, UC Santa Barbara, USA Tevfik Bultan, UC Santa Barbara, USA Luca Carloni, Columbia, USA Stephen A. Edwards, Columbia, USA Masahiro Fujita, Tokyo, Japan Franco Fummi, Verona, Italy Ganesh Gopalakrishnan, Utah, USA Rajesh Gupta, UC San Diego, USA Connie Heitmeyer, NRL, USA James Hoe, CMU, USA Ahmed Jerraya, CEA, France Thomas Kropf, Bosch, Germany Luciano Lavagno, Politecnico di Torino, Italy Elizabeth Leonard, NRL, USA John O'Leary, Intel, USA Zebo Peng, Linkoping, Sweden Carl Pixley, Synopsys, USA Patrick Schaumont, Virginia Tech, USA Klaus Schneider, Kaiserslautern, Germany Sandeep Shukla, Virginia Tech, USA R. K. Shyamasundar, TIFR, India Jean-Pierre Talpin, INRIA, France P. S. Thiagarajan, Singapore Reinhard Wilhelm, Saarland University, Germany Fei Xie, Portland State, USA From michael.ditze at c-lab.de Sat Nov 3 14:29:51 2007 From: michael.ditze at c-lab.de (Michael Ditze) Date: Sat, 3 Nov 2007 14:29:51 +0100 Subject: [ecoop-info] [ACM Middleware 2007] Call for Papers 3rd IEEE Workshop SOCNE 08 In-Reply-To: <20ece4700711030623n5f3624eaudae00642629bbb56@mail.gmail.com> References: <20ece4700711030623n5f3624eaudae00642629bbb56@mail.gmail.com> Message-ID: <20ece4700711030629x75f99f92gb14ffa6059151da1@mail.gmail.com> ---------------------------------------------------------------------------- 3rd International IEEE Workshop on Service Oriented Architectures in Converging Networked Environments SOCNE in conjunction with AINA 2008 - The IEEE 22nd International Conference on Advanced Information Networking and Applications Ginowan, Okinawa, Japan, March 25-28, 2008 Full paper submission Deadline (extended): November 9th, 2007 full CFP on the SOCNE Workshop Website: http://www.c-lab.de/rls/socne08/ ---------------------------------------------------------------------------- Topics Track 1: Service Oriented Architectures Service infrastructures for real-time embedded networked applications and systems Web services and Middleware for embedded environments Interoperability of heterogeneous systems Semantic Web Services & Web Service Ontologies Event-driven SOAs & Device-centric SOAs Track 2: Quality of Service QoS for Middleware and Web Services QoS for access networks QoS Management QoS Negotiation and Resource Allocation Track 3: Service Platforms & Frameworks Service creation, deployment, life cycle management Tool support for service creation Service validation and testing Track 4: Autonomic Service Management Service Support, Configuration & Management Service Delivery & Service Level Management Resource Capacity & Service Capacity Management Track 5: Services, Applications & Prototypes SOA deployment in commercial prototypes SOA deployment for local mobile services Enterprise application integration Important Dates Full paper submissio: Nov. 9th, 2007 Notification of acceptance: Nov. 22, 2007 Author Registration: Dec. 1, 2007 Final manuscript due: Dec. 21, 2007 Paper Submission Papers can be submitted through the SOCNE submission website located at http://myreview-socne .c-lab.de/ Please refer to the AINA 2008 webpage for paper formating instructions. Abstracts must be submitted by the abstract submission deadline. The paper size may not exceed 6 pages (double colomn) and can be submitted through our electronic paper submission system (to be announced). Further paper size limitations for paper publication in the proceedings may apply. Each accepted paper must be presented by at least one author during the workshop. For further information please mailto socne-pc(at)c- lab.de Workshop Chairs Frank Golatowski, University of Rostock, Germany Michael Ditze, University of Paderborn, Germany Program Committee Peter Altenbernd (University of Darmstadt, Germany) Richard Anthony (University of Greenwich, Great Britain) Benoit Baurens (Silogic, France) Andrzej Beben (Warsaw University of Technology, Poland) Yolande Berbers (KU Leuven, Belgium) Jesus Bermejo( Telvent, Spain) W. Burakowski (Warsaw University of Technology, Poland) Gerrit deBoer (Bosch, Germany) Ivan Delamar (Technical University of Tampere, Finland) Michel Diaz (LAAS, France) Andr?s Dochao (Atos Origin, Spain) Cecilia Ekelin (Volvo, Sweden) Joe Gorman (Sintef, Norway) Isabell Jahnich (University of Paderborn, Germany) Herma van Kranenburg (Telematica Instituut, Netherlands) Manfred Leisenberg (FHM Bielefeld, Germany) Lucia Lo Bello (University of Catania, Italy) Chris Loeser (Siemens AG, Germany) Marc Lohmann (sd&m , Germany) Jianhua Ma (Hosei University, Japan) Peter Neumann (IFAK Magdeburg, Germany) Marc Roelands (Nokia Siemens Networks, Belgium) George Roussos (Birkbeck University of London, Great Britain) Thilo Sauter (Austrian Academy of Sciences, Austria) Simon Schneider (Nokia Siemens Networks, Germany) Harm Smit (Schneider Electric, France) K.C. Somaratne (Commonwealth Bank, Australia) Franz-Josef Stewing (Materna, Germany) J?rgen Tacken (Orga Systems, Germany) Janusz Zalewski (Florida Gulf Coast University, USA) -------------- next part -------------- An HTML attachment was scrubbed... URL: http://www.aito.org/pipermail/ecoop-info/attachments/20071103/01cb4b71/attachment.htm -------------- next part -------------- _______________________________________________ Middleware2007 mailing list Middleware2007 at mailman.ics.uci.edu https://mailman.ics.uci.edu/mailman/listinfo/middleware2007 From hafedh.mili at uqam.ca Sat Nov 3 17:22:57 2007 From: hafedh.mili at uqam.ca (Hafedh Mili) Date: Sat, 03 Nov 2007 12:22:57 -0400 Subject: [ecoop-info] CFP: Three one-day workshops held jointly with MCETECH2008 (Jan. 23, 2008, Montreal, Canada) Message-ID: <472CA061.6040506@uqam.ca> CALL FOR PAPERS - WORKSHOPS =========================== THIRD INTERNATIONAL MCETECH CONFERENCE ON E-TECHNOLOGIES (MCETECH2008) JANUARY 23-25, 2008, Montreal, Canada You are invited to submit position papers to one of three one-day workshops that will be held jointly with MCETECH2008, on January 23rd, 2007. Workshops are highly interactive research forums that cater to exploratory and out-of-the-box promising research work. They are the appropriate forums for validating new research ideas and for getting feedback from experienced researchers in your field. Each of the three workshops mentioned below has a formal reviewing process for which the emphasis is on relevance (to the workshop) and originality, and the organizers may publish more or less formal proceedings. For more details, contact the workshop organizers: 1. OPEN SOURCE BEST PRACTICES: ============================== IMPORTANT INFORMATION: 4-page position papers due December 19, 2007, to be submitted to Michael Weiss (weiss at sce.carleton.ca) and Michael Bailetti (bailetti at sce.carleton.ca). Notifications of acceptance will be sent January 7th, and final versions expected January 18th. Potential participants interested in attending-- but not presenting-- are also welcome, and should contact M. Weiss or M. Bailetti. GOALS: The commercial use of open source is hindered by many factors. These include a lack of integration with traditional requirements-driven product development approaches, licensing issues, a clash with existing corporate culture, and the perception that in order to benefit from open source you need to open your source to the outside world. The goal of this workshop is to bring together researchers and practioners with experience in open source adoption and value creation from open source, and to document the best practices. MORE INFORMATION: check www.mcetech.org 2. PRACTICE AND THEORY OF IT SECURITY (PTITS'2008, w3.uqo.ca/ptits) =================================================================== IMPORTANT INFORMATION: Up to a 6-page position papers due December 19, 2007, to be submitted to ptits at uqo.ca. Notifications of acceptance will be sent January 7th, and final versions expected January 18th. THEME: This workshop seeks innovative research, both theoretical and applied, in IT security and privacy. It will include presentations given by invited speakers. A non-exhaustive list of topics includes: i) Network security, ii) Application and middleware security, iii) Operating systems security, iv) Intrusion detection and protection, v) Cryptography and cryptographic protocols, vi) Access control requirements and models, vii) Language based security, viii) Information protection, privacy and hiding, ix) Semantic foundations of IT security, x) Security and Privacy in Web Services and E-Commerce, xi) IT issues related to legal requirements. MORE INFORMATION: w3.uqo.ca/ptits 3. SOA: CHALLENGES AND BENEFITS FOR AN EFFECTIVE INTRA- and INTER-ENTERPRISE ARCHITECTURE ========================================================================================= IMPORTANT INFORMATION: Extended abstract to be submitted to Ismail Khriss (Ismail_Khriss at UQAR.QC.CA) and Eric Lefebvre (Eric.Lefebvre at etsmtl.ca) before December 3rd. Notifications of acceptance will be sent December 17th. THEME: SOA brings a new perspective not only to software architecture but also to enterprises as it promotes the use of loosely coupled services to automate intra- and inter-enterprise business processes. However, the adoption of SOA raises several challenges including the scope of services (fine- vs. coarse-grained services) and governance. The workshop aims at bringing together researchers and practitioners to exchange ideas and experiences about challenges and potential benefits for an effective intra and inter-enterprise architecture. MORE INFORMATION: check www.mcetech.org. -- Hafedh Mili, PhD Alt. e-mail: hafedhmili at yahoo.ca Professor Department of Computer Science Director, eCommerce Tech. Research Lab http://www.latece.uqam.ca Ph: (514) 987-3000, ext 3943 University of Qu?bec at Montr?al Fax: (514) 987-8477 PO Box 8888, Downtown station Canada Montr?al (Qu?bec) H3C 3P8 Home page: www.info.uqam.ca/Members/mili_h Check the 2008 Montreal Conference on eTechnologies!! (www.mcetech.org) From tap2008 at uni-koblenz.de Sun Nov 4 17:21:45 2007 From: tap2008 at uni-koblenz.de (TAP2008) Date: Sun, 04 Nov 2007 17:21:45 +0100 Subject: [ecoop-info] Call for Papers: TAP 2008 (NEW SUBMISSION DEADLINES) Message-ID: <472DF199.5040102@uni-koblenz.de> (NEW SUBMISSION DEADLINES. ABSTRACT: NOV 11, 2007; PAPER: NOV 18, 2007) TAP 2008 Second International Conference on Tests and Proofs April 9-11, 2008, Prato (near Florence), Italy http://www.uni-koblenz.de/tap2008/ *CALL FOR PAPERS* SCOPE The TAP conference is devoted to the convergence of proofs and tests. It combines ideas from both sides for the advancement of software quality. To prove the correctness of a program is to demonstrate, through impeccable mathematical techniques, that it has no bugs; to test a program is to run it with the expectation of discovering bugs. The two techniques seem contradictory: if you have proved your program, it's fruitless to comb it for bugs; and if you are testing it, that is surely a sign that you have given up on any hope to prove its correctness. Accordingly, proofs and tests have, since the onset of software engineering research, been pursued by distinct communities using rather different techniques and tools. And yet the development of both approaches leads to the discovery of common issues and to the realization that each may need the other. The emergence of model checking has been one of the first signs that contradiction may yield to complementarity, but in the past few years an increasing number of research efforts have encountered the need for combining proofs and tests, dropping earlier dogmatic views of incompatibility and taking instead the best of what each of these software engineering domains has to offer. How does deduction help testing? How does testing help deduction? How can the combination of testing and deduction increase the reach of both? TOPICS Topics include: - Generation of test data, oracles, or preambles by deductive techniques such as theorem proving, model checking, symbolic execution, constraint logic programming, etc. - Generation of specifications by deduction - Verification techniques combining proofs and tests - Program proving with the aid of testing techniques - Transfer of concepts from testing to proving (e.g., coverage criteria) - Automatic bug finding - Formal frameworks - Tool descriptions and experience reports - Case studies IMPORTANT DATES November 11, 2007: NEW Abstract submission deadline November 18, 2007: NEW Paper submission deadline January 20, 2008: Acceptance notification February 3, 2008: Final version due April 9-11, 2008: Conference SUBMISSIONS Submissions should describe previously unpublished work (completed or in progress), including descriptions of research, tools, and applications. Papers must be formatted following the Springer LNCS guidelines and be at most 15 pages long. Submission of papers is via EasyChair at http://www.easychair.org/TAP2008/. The proceedings will be published within Springer's LNCS series and they will be available at the conference. CONFERENCE CHAIR B. Meyer (ETH Zurich, Switzerland) PROGRAM CO-CHAIRS B. Beckert (U of Koblenz, Germany) R. H?hnle (Chalmers U of Technology, Sweden) PROGRAMME COMMITTEE B. Aichernig (TU Graz, Austria) M. Butler (U of Southampton, UK) P. Chalin (Concordia U Montreal, Canada) T.Y. Chen (Swinburne U of Technology, Australia) Y. Gurevich (Microsoft Research, USA) D. Hamlet (Portland State U, USA) W. Howden (U of California at San Diego, USA) D. Jackson (MIT, USA) K. Meinke (KTH Stockholm, Sweden) B. Meyer (ETH Zurich, Switzerland) P. M?ller (Microsoft Research, USA) T. Nipkow (TU M?nchen, Germany) A. Polini (U of Camerino, Italy) Robby (Kansas State U, USA) D. Rosenblum (U College London, UK) W. Schulte (Microsoft Research, USA) N. Sharygina (U of Lugano, Switzerland, and CMU, USA) B. Venneri (U of Firenze, Italy) B. Wolff (ETH Zurich, Switzerland) STEERING COMMITTEE Y. Gurevich (Microsoft Research, USA) B. Meyer (ETH Zurich, Switzerland) ORGANIZING COMMITTEE C. Gladisch (U of Koblenz, Germany) P. R?mmer (Chalmers U of Technology, Sweden) CONTACT Email: tap2008 at uni-koblenz.de Web: http://www.uni-koblenz.de/tap2008/ From Dirk.Craeynest at cs.kuleuven.be Mon Nov 5 05:06:07 2007 From: Dirk.Craeynest at cs.kuleuven.be (Dirk Craeynest) Date: Mon, 5 Nov 2007 05:06:07 +0100 (MET) Subject: [ecoop-info] FINAL CfP, Reliable Software Technologies, Ada-Europe 2008 Message-ID: <200711050406.lA5467G00981@bollie.cs.kuleuven.ac.be> ----------------------------------------------------------------------- FINAL Call for Papers 13th International Conference on Reliable Software Technologies - Ada-Europe 2008 16 - 20 June 2008, Venice, Italy http://www.ada-europe.org/conference2008.html *** DEADLINE Sunday 11 NOVEMBER *** The 13th International Conference on Reliable Software Technologies (Ada-Europe 2008) will take place in Venice, Italy. Following its traditional style, the conference will span a full week, including a three-day technical program and vendor exhibitions from Tuesday to Thursday, along with parallel tutorials and workshops on Monday and Friday. 11 November 2007 - DEADLINE for submission of regular papers, tutorial and workshop proposals. For more information please see the conference Web site and select "Call for papers [PDF]". ----------------------------------------------------------------------- Our apologies if you receive multiple copies of this announcement. Please circulate widely. Dirk.Craeynest at cs.kuleuven.be, Ada-Europe'2008 Publicity Chair *** 13th Intl.Conf.on Reliable Software Technologies - Ada-Europe'2008 *** June 16-20, 2008 ** Venice, Italy ** http://www.ada-europe.org *** From events-admin at fmeurope.org Mon Nov 5 17:50:48 2007 From: events-admin at fmeurope.org (events-admin at fmeurope.org) Date: Mon, 5 Nov 2007 17:50:48 +0100 (CET) Subject: [ecoop-info] FM'08: 15TH INTERNATIONAL SYMPOSIUM ON FORMAL METHODS: Final CfP Message-ID: <22920.213.84.47.100.1194281448.squirrel@webmail.xs4all.nl> *** Apologies if you receive multiple copies. *** FM'08: 15TH INTERNATIONAL SYMPOSIUM ON FORMAL METHODS May 26 - 30, 2008 ?bo Akademi University Turku, Finland FINAL CALL FOR PAPERS http://www.fm2008.abo.fi/ FM'08 is the fifteenth in a series of symposia organized by Formal Methods Europe, http://www.fmeurope.org, an independent association whose aim is to stimulate the use of, and research on, formal methods for software development. The symposia have been notably successful in bringing together innovators and practitioners in precise mathematical methods for software development, industrial users as well as researchers. Submissions are welcomed in the form of original papers on research and industrial experience, proposals for workshops and tutorials, entries for the exhibition of software tools and projects, and reports on ongoing doctoral work. FM'08 welcomes all aspects of formal methods research, both theoretical and practical. We are particularly interested in the experience of applying formal methods in practice. The broad topics of interest of this conference are: * Tools for formal methods: tool support and software engineering, environments for formal methods. * Theoretical foundations: specification and modelling, refining, static analysis, model-checking, verification, calculation, reusable domain theories. * Formal methods in practice: experience with introducing formal methods in industry, case studies. * Role of formal methods: formal methods in hardware and system design, method integration, development process. INVITED SPEAKERS The following distinguished speakers have accepted to give an invited lecture at FM'08: - Arvind (Massachusetts Institute of Technology, USA) - Dawson Engler (Stanford University, USA) - Shmuel Katz (The Technion, Israel) - Jay Misra (The University of Texas at Austin, USA) TECHNICAL PAPERS Full papers should be submitted via the web site. Papers will be evaluated by the Program Committee according to their originality, significance, soundness, quality of presentation and relevance with respect to the main issues of the symposium. Accepted papers will be published in the Symposium Proceedings, to appear in Springer's Lecture Notes in Computer Science series, http://www.springeronline.com/lncs. Submitted papers should have not been submitted elsewhere for publication, should be in Springer's format, (see Springer's web site), and should not exceed 16 pages including appendices. A prize for the best technical paper will be awarded at the symposium. INDUSTRIAL DAY One day will be dedicated to sharing the experience -- both positive and negative -- with using formal methods in industrial environments. The Industry Day is co-organized by ForTIA, the Formal Techniques Industry Association, http://www.fortia.org . This year's Industry Day investigates telecommunications and embedded systems. Invited papers on organizational and technical issues will be presented. Inquiries should be directed to the Industry Day Chairs; see the web site for details. WORKSHOPS We welcome proposals for one-day or one-and-a-half-day workshops related to FM'08. In particular, but not exclusively, we encourage proposals for workshops on various application domains. Proposals should be directed to the Workshop Chair. TUTORIALS We are soliciting proposals for full-day or half-day tutorials. The tutorial contents can be selected from a wide range of topics that reflect the conference themes and provide clear utility to practitioners. Each proposal will be evaluated on importance, relevance, timeliness, audience appeal and past experience and qualification of the instructors. Proposals should be directed to the Tutorial Chair. POSTER AND TOOL EXHIBITION An exhibition of both research projects and commercial tools will accompany the technical symposium, with the opportunity of holding scheduled presentations of commercial tools. Proposals should be directed to the Poster and Tools Exhibition Chair. DOCTORAL SYMPOSIUM Students are invited to submit work in progress and to defend it in front of "friendly examiners". Participation for students who are accepted will be subsidized. Submissions should be directed to the Doctoral Symposium Chair. SUBMISSION DATES Technical Papers: Saturday, November 10th, 2007 Workshops, Tutorials: Sunday, November 18th, 2007 Posters and Tools, Doctoral Symposium: Monday, February 18th, 2008 NOTIFICATION DATES Technical Papers: Friday, February 1st, 2008 Workshops, Tutorials: Monday, December 10th, 2007 Posters and Tools, Doctoral Symposium: Friday, March 7th, 2008 ORGANIZATION General Chair: Kaisa Sere (?bo Akademi U.) Program Chairs: Jorge Cuellar (Siemens) and Tom Maibaum (McMaster U.) Steering committee: Dines Bjorner, John Fitzgerald, Marie-Claude Gaudel, Stefania Gnesi, Ian Hayes, Pamela Zave, Jim Woodcock Workshop Chair: John Derrick (Sheffield U.) Tutorial Chair: Marina Wald?n (?bo Akademi U.) Tools and Poster Exhibition Chair: Michael Leuschel (Univ. of D?sseldorf) Industry Day Chairs: Peter G. Larsen (Eng. College of Aarhus), Sari Lepp?nen (Nokia) Doctoral Symposium Chair: Elena Troubitsyna (?bo Akademi U.) LOCAL ORGANIZATION Kaisa Sere (general chair) Marina Wald?n Luigia Petre Nina H?llfast PROGRAM COMMITTEE Bernhard Aichernig (Techn. U. Graz) Keijiro Araki (Kyushu U.) Alessandro Armando (Genova U.) Ralph-Johan Back (?bo Akademi U.) Gilles Barthe (INRIA) David Basin (ETH Zurich) Frank de Boer (CWI Amsterdam) Ed Brinksma (U. Twente) Dawson Engler (Stanford U.) Marcelo Frias (U. Buenos Aires) Dimitra Giannakopoulou (RIACS/NASA) Radu Grosu (Stony Brook U.) Joshua D. Guttman (MITRE) Connie Heitmeyer (NRL) Cliff Jones (Newcastle U.) Shmuel Katz (Technion) Paddy Krishnan (Bond U.) Axel van Lamsweerde (Louvain U.) Rustan Leino (Microsoft Research) Dominique Mery (Nancy U.) Marius Minea (Techn. U. Timisoara) Madhavan Mukund (Chennai Mathematical Institute) Cesar Munoz (National Institute of Aerospace) Tobias Nipkow (Techn. U. of Munich) Jose N. Oliveira (U. Minho) Paritosh K. Pandya (Tata Institute of Fundamental Research) John Rushby (SRI) Augusto Sampaio (U. Pernambuco) Steve Schneider (U. Surrey) Emil Sekerinski (McMaster U.) Vitaly Shmatikov (U. Texas at Austin) Doug Smith (Kestrel) Ketil Stolen (SINTEF and U. Oslo) Andrzej Tarlecki (Warsaw U.) Sebastian Uchitel (Imperial C. and U. Buenos Aires) Alan Wassyng (McMaster U.) Roel Wieringa (Twente U.) Martin Wirsing (LMU Munich) Pierre Wolper (U. Liege) Jim Woodcock (U. York) _______________________________________________ events mailing list events at fmeurope.org http://www.fmeurope.org/mailman/listinfo/events From qapl08 at tcs.inf.tu-dresden.de Tue Nov 6 12:23:09 2007 From: qapl08 at tcs.inf.tu-dresden.de (QAPL 2008) Date: Tue, 06 Nov 2007 12:23:09 +0100 Subject: [ecoop-info] QAPL 2008 Call for Papers Message-ID: <47304e9d.A4eKtx8EelDBz4x1%qapl08@tcs.inf.tu-dresden.de> [Apologies for multiple copies] ******************************************************************************** CALL FOR PAPERS Sixth Workshop on Quantitative Aspects of Programming Languages (QAPL 2008) Affiliated with ETAPS 2008 March 29-30, 2008, Budapest, Hungary http://wwwtcs.inf.tu-dresden.de/ALGI/qapl08/ ******************************************************************************** SCOPE: Quantitative aspects of computation are important and sometimes essential in characterising the behaviour and determining the properties of systems. They are related to the use of physical quantities (storage space, time, bandwidth, etc.) as well as mathematical quantities (e.g. probability and measures for reliability, security and trust). Such quantities play a central role in defining both the model of systems (architecture, language design, semantics) and the methodologies and tools for the analysis and verification of system properties. The aim of this workshop is to discuss the explicit use of quantitative information such as time and probabilities either directly in the model or as a tool for the analysis of systems. In particular, the workshop focuses on: * the design of probabilistic, real-time, quantum languages and the definition of semantical models for such languages * the discussion of methodologies for the analysis of probabilistic and timing properties (e.g. security, safety, schedulability) and of other quantifiable properties such as reliability (for hardware components), trustworthiness (in information security) and resource usage (e.g., worst-case memory/stack/cache requirements) * the probabilistic analysis of systems which do not explicitly incorporate quantitative aspects (e.g. performance, reliability and risk analysis) * applications to safety-critical systems, communication protocols, control systems, asynchronous hardware, and to any other domain involving quantitative issues TOPICS: Topics include (but are not limited to) probabilistic, timing and general quantitative aspects in: Language design, Information systems, Asynchronous HW analysis, Language extension, Multi-tasking systems, Automated reasoning, Language expressiveness, Logic, Verification, Quantum languages, Semantics, Testing, Time-critical systems, Performance analysis, Safety, Embedded systems, Program analysis, Risk and hazard analysis, Coordination models, Protocol analysis, Scheduling theory, Distributed systems, Model-checking, Security, Biological systems, Concurrent systems, ... INVITED SPEAKER: * Simon Gay, University of Glasgow, UK * Jean-Francois Raskin, Universite Libre de Bruxelles, Belgium SUBMISSIONS: In order to encourage participation and discussion, this workshop solicits two types of submissions - regular papers and presentations: 1. Regular paper submissions must be original work, and must not have been previously published, nor be under consideration for publication elsewhere. Regular paper submission must not exceed 15 pages, possibly followed by a clearly marked appendix which will be removed for the proceedings and contains technical material for the reviewers. 2. A presentation reports on recent or ongoing work on relevant topics and ideas, for timely discussion and feedback at the workshop. There is no restriction as for previous/future publication of the contents of a presentation. Typically, a presentation is based on a paper which recently appeared (or which is going to appear) in the proceedings of another recognized conference, or which has not yet been submitted. The (extended) abstract of presentation submissions should not exceed 4 pages. All Submissions must be as PDF and use to the ENTCS style files. Submissions can be made on the following website: www.easychair.org/QAPL2008. The program co-chairs can be contacted at qapl08chairs at tcs.inf.tu-dresden.de. The workshop PC will review all submissions of both types to select appropriate ones for acceptance in each category, based on their relevance, merit, originality, and technical content. The authors of the accepted submissions of both types are expected to present and discuss their work at the workshop. Accepted regular papers will be published in Elsevier's ENTCS. Publication of a selection of the papers in a special issue of a journal is under consideration. IMPORTANT DATES: Submission (regular paper): December 17, 2007. Notification (regular paper): January 28, 2008. Submission (presentation): January 28, 2008. Notification (presentation): January 31, 2008. ORGANIZATION: PC Chairs: * Alessandro Aldini, University of Urbino, Italy. * Christel Baier, University of Dresden, Germany. Program Committee: * Rajeev Alur, University of Pennsylvania, US * Nathalie Bertrand, IRISA/INRIA Rennes, France * Patricia Boyer, Oxford University, UK * Tomas Brazdil, Masaryk University, Czech Republic * Flavio Corradini, University of Camerino, Italy * Josee Desharnais, University of Laval, Canada * Alessandra Di Pierro, University of Pisa, Italy * Maurizio Gabbrielli, University of Bologna, Italy * Marcus Groesser, Technical University Dresden, Germany * Marta Kwiatkowska, University of Oxford, UK * Mieke Massink, NR-ISTI Pisa, Italy * Paulo Mateus, Technical University of Lisbon, Portugal * Annabelle McIver, Maquarie University, Australia * Prakash Panangaden, McGill University, Canada * Paul Petersson, University Uppsala, Sweden * Jeremy Sproston, University of Torino, Italy * Franck van Breugel, York University, Toronto, Canada * Herbert Wiklicky, Imperial College London, UK From ja at di.fct.unl.pt Tue Nov 6 09:55:29 2007 From: ja at di.fct.unl.pt (Joao Araujo) Date: Tue, 6 Nov 2007 08:55:29 +0000 Subject: [ecoop-info] Call for contributions RE'08 Message-ID: <13cd51c90711060055t4242d321jc48df44bd5b3a6ec@mail.gmail.com> ===================================================================================== Call for Participation and Contributions 16th IEEE International Requirements Engineering Conference (RE'08) September 8th - 12th, Barcelona, Catalunya, Spain http://www.re08.org REQUIREMENTS ENGINEERING FOR A SUSTAINABLE WORLD ===================================================================================== Sustainability of the earth and its natural resources represents a crucial issue that must be addressed in this technology-centric century. Although information services are generally not physical in nature and therefore do not directly result in the emission of greenhouse gasses or destruction of other natural resources, software does play a vital role in controlling machines and buildings that have a direct impact on the environment. When the target domain of software to be developed has a potential impact on the global environment, complex factors should be taken into consideration during the analysis and definition of requirements. This is a new challenge facing Requirements Engineering. High quality requirements that are apparently unrelated to environmental issues are also crucial in our modern information-intensive society. Only by fully understanding stakeholders' needs, and documenting them in a concise, and unambiguous way, can we consistently deliver quality products designed to meet the complexities of our advanced information society. Failure to engineer high quality requirements or failure to develop products that satisfy these requirements will ultimately lead to an information society that naively prioritizes its short-term needs over issues of long-term global sustainability. The IEEE International Requirements Engineering conference provides the premier international forum for researchers, educators and industrial practitioners to present and discuss the most recent innovations, trends, experiences and concerns in the field of requirements engineering. Topics of interest include, but are not restricted to: requirements elicitation, analysis, documentation, validation and verification; requirements specification languages, methods, processes, and tools; requirements management, traceability, viewpoints, prioritization, and negotiation; modelling of requirements (formal and informal), goals, and domains; prototyping, simulation, and animation; interaction between requirements and design; evolution of requirements over time, product families, and variability; relating requirements to business goals, products, architecture, and testing; social, cultural, global, personal and cognitive factors in requirements engineering; collaborative requirements engineering; domain-specific problems, experiences and solutions. ================ PAPER CATEGORIES ================ We invite submissions of high quality papers in three categories: Technical solution papers present solutions for requirements-related problems which are novel or significantly improve existing solutions. Evaluation criteria: The proposed solution technique or its application to this kind of problem must be novel and sound. The author(s) must provide a preliminary validation of the proposed solution, such as a proof-of-concept and/or sound arguments that the solution technique will work and that it will scale to real-world-sized problems. Results must be stated clearly so that the author(s) or others can further validate them in later research. A technical solution paper should also be clear about its contributions with respect to related work by others and to previous work by the author(s). A paper of this category must not exceed 10 pages. Scientific evaluation papers evaluate existing problem situations or validate/refute proposed solutions with scientific means, i.e. by empirical studies, experiments, case studies, simulations, formal analyses, mathematical proofs, etc. Scientific reflection on problems and practices in industry also falls into this category. Evaluation criteria: The topic of the evaluation presented in the paper as well as its causal or logical properties must be clearly stated. The evaluation method or analysis approach must be sound and appropriate. The research must be novel or, otherwise, the results must constitute a significant increase of knowledge. The results must be relevant and/or (statistically) significant. The research should be situated in the context of related work by others and previous work by the author(s). A paper of this category must not exceed 10 pages. Industrial practice and experience papers present problems or challenges encountered in practice, discuss insights, innovations in industrial practice, success and failure stories. The focus is on 'what' and on lessons learned, not on an in-depth analysis of 'why'. Otherwise, consider submitting a scientific evaluation paper. Evaluation criteria: The practice must be clearly described and its context must be given. Readers should be able to follow easily and to draw conclusions for their own practice. The conclusion and lessons learned should be justified by quantitative or qualitative evidence. A paper of this category must not exceed 6 pages. More details about the paper categories and corresponding review evaluation criteria and submission dates are provided on the conference website. Papers must describe original work not submitted or presented at other forums. Accepted papers will be published in an IEEE CS Press Conference Proceedings and will be available in the IEEE CS Digital Library. ====================== SUBMISSION INFORMATION ====================== Submissions will be handled electronically at the RE'08 submission site. Authors without web access must make advance arrangements with the Program Chair at least one week before the deadline. Submissions must be formatted according to IEEE CS proceedings format (see http://www.computer.org/portal/site/cscps/index.jsp for instructions and templates). More details on submission procedures will be available on the conference website. Other contributions: We also invite proposals for tutorials, workshops, panels, doctoral symposium, posters, videos and research demonstrations. =============== IMPORTANT DATES =============== Paper abstracts February 4, 2008 Paper submissions (all categories) February 11, 2008 Tutorial, workshop and panel submissions March 3, 2008 Notification to authors April 28, 2008 Doctoral symposium, poster, & other submissions May 5, 2008 ==================== ORGANIZING COMMITTEE ==================== General Chair Xavier Franch, Univ. Politecnica de Catalunya, Spain Program Chair Tetsuo Tamai, Univ. of Tokyo, Japan Local Arrangements Carme Quer, Univ. Politecnica de Catalunya, Spain Financial Chair Pere Botella, Univ. Politecnica de Catalunya, Spain Practitioner Track Christof Ebert, Vector Consulting Services, Germany Ann Hickey, Univ. of Colorado, USA Workshops Thomas Alspaugh, Univ. of California, Irvine, USA Tutorials Oscar Pastor, Univ. Politecnica de Valencia, Spain Doctoral Symposium Nazim Madhavji, Univ. Western Ontario, Canada Posters and Demos Guttorm Sindre, NTNU, Norway M. Jose Casany, Univ. Politecnica de Catalunya, Spain Publicity Jane Cleland-Huang, DePaul Univ., USA Joao Araujo, Univ. Nova de Lisboa, Portugal Selmin Nurcan, Univ. Paris 1 Pantheon Sorbonne, France Marc Alier, Univ. Politecnica de Catalunya, Spain Proceedings Motoshi Saeki, Tokyo Institute of Technology, Japan Sponsors Joan A. Pastor, Univ. Oberta de Catalunya, Spain Maria R. Sancho, Univ. Politecnica de Catalunya, Spain Student Volunteer Claudia P. Ayala, Univ. Politecnica de Catalunya, Spain Registration Xavier Burgues, Univ. Politecnica de Catalunya, Spain Webmaster Gemma Grau, Univ. Politecnica de Catalunya, Spain =============== PROGRAM BOARD =============== Jane Cleland-Huang, DePaul Univ., USA Don Gause, State Univ. of New York, USA Carlo Ghezzi, Politecnico di Milano, Italy Martin Glinz, Univ. Zurich, Switzerland Jeff Kramer, Imperial College London, UK Axel van Lamsweerde, Univ. of Louvain, Belgium Neil Maiden, City Univ., UK Bashar Nuseibeh, Open Univ., UK Klaus Pohl, Lero, Univ. of Limerick, Ireland & Univ. of Duisburg-Essen, Germany Colette Rolland, Univ. Paris 1, France Kevin Ryan, Lero, Univ. of Limerick, Ireland Motoshi Saeki, Tokyo Institute of Technology, Japan Alistair Sutcliffe, Univ. of Manchester, UK Roel Wieringa, Univ. Twente, The Netherlands ================== PROGRAM COMMITTEE ================== Ian Alexander, UK Thomas Alspaugh, USA Mikio Aoyama, Japan Daniel Berry, Canada David Callele, Canada Jaelson Castro, Brazil Betty Cheng, USA Daniela Damian, Canada Eric Dubois, Luxembourg Christof Ebert, Germany Martin Feather, USA Stephen Fickas, USA Anthony Finkelstein, UK Michael Goedicke, Germany Anthony Hall, UK Mats Heimdahl, USA Constance Heitmeyer, USA Patrick Heymans, Belgium Ann Hickey, USA Michael Jackson, UK Stan Jarzabek, Singapore Marina Jirotka, UK Haruhiko Kaiya, Japan Kyo Kang, Korea Soren Lauesen, Denmark Julio Leite, Brazil Michel Lemoine, France Robyn Lutz, USA Nazim Madhavji, Canada John Mylopoulos, Canada Andreas Opdahl, Norway Oscar Pastor, Spain Colin Potts, USA Awais Rashid, UK Bjorn Regnell, Sweden Suzanne Robertson, UK William Robinson, USA Camille Salinesi, France Guttorm Sindre, Norway Eric Yu, Canada Didar Zowghi, Australia For additional information please contact the general chair Xavier Franch, (franch at lsi.upc.edu) or program chair Tetsuo Tamai (tamai at graco.c.u-tokyo.ac.jp) From michael.ditze at c-lab.de Wed Nov 7 18:57:39 2007 From: michael.ditze at c-lab.de (Michael Ditze) Date: Wed, 7 Nov 2007 18:57:39 +0100 Subject: [ecoop-info] [ACM Middleware 2007] 3rd IEEE Workshop SOCNE 08 - Deadline November 9th Message-ID: <4731fc98.0422300a.2688.51a9@mx.google.com> Please consider to submit a paper to this year?s IEEE SOCNE workshop ---------------------------------------------------------------------------- 3rd International IEEE Workshop on Service Oriented Architectures in Converging Networked Environments SOCNE 08 in conjunction with AINA 2008 - The IEEE 22nd International Conference on Advanced Information Networking and Applications Ginowan, Okinawa, Japan, March 25-28, 2008 Full paper submission Deadline (extended): November 9th, 2007 full CFP on the SOCNE Workshop Website: http://www.c-lab.de/rls/socne08/ ---------------------------------------------------------------------------- Topics Track 1: Service Oriented Architectures Service infrastructures for real-time embedded networked applications and systems Web services and Middleware for embedded environments Interoperability of heterogeneous systems Semantic Web Services & Web Service Ontologies Event-driven SOAs & Device-centric SOAs Track 2: Quality of Service QoS for Middleware and Web Services QoS for access networks QoS Management QoS Negotiation and Resource Allocation Track 3: Service Platforms & Frameworks Service creation, deployment, life cycle management Tool support for service creation Service validation and testing Track 4: Autonomic Service Management Service Support, Configuration & Management Service Delivery & Service Level Management Resource Capacity & Service Capacity Management Track 5: Services, Applications & Prototypes SOA deployment in commercial prototypes SOA deployment for local mobile services Enterprise application integration Important Dates Full paper submission: Nov. 9th, 2007 Notification of acceptance: Nov. 22, 2007 Author Registration: Dec. 1, 2007 Final manuscript due: Dec. 21, 2007 Paper Submission Papers can be submitted through the SOCNE submission website located at http://myreview-socne .c-lab.de/ Please refer to the AINA 2008 webpage for paper formating instructions. Abstracts must be submitted by the abstract submission deadline. The paper size may not exceed 6 pages (double column) and can be submitted through our electronic paper submission system (to be announced). Further paper size limitations for paper publication in the proceedings may apply. Each accepted paper must be presented by at least one author during the workshop. The best paper will be awarded. Distinguished papers accepted and presented in SOCNE 08, after further revisions, will be published in special issues on prestigious international journals. For further information please mail to socnepc at gmail.com Workshop Chairs Frank Golatowski, University of Rostock, Germany Michael Ditze, University of Paderborn, Germany Program Committee Peter Altenbernd (University of Darmstadt, Germany) Richard Anthony (University of Greenwich, Great Britain) Benoit Baurens (Silogic, France) Andrzej Beben (Warsaw University of Technology, Poland) Yolande Berbers (KU Leuven, Belgium) Jesus Bermejo( Telvent, Spain) W. Burakowski (Warsaw University of Technology, Poland) Gerrit deBoer (Bosch, Germany) Randy Carroll (IBM, USA) Ivan Delamar (Technical University of Tampere, Finland) Michel Diaz (LAAS, France) Andr?s Dochao (Atos Origin, Spain) Cecilia Ekelin (Volvo, Sweden) Joe Gorman (Sintef, Norway) Isabell Jahnich (University of Paderborn, Germany) Herma van Kranenburg (Telematica Instituut, Netherlands) Manfred Leisenberg (FHM Bielefeld, Germany) Lucia Lo Bello (University of Catania, Italy) Chris Loeser (Siemens AG, Germany) Marc Lohmann (sd&m , Germany) Jianhua Ma (Hosei University, Japan) Peter Neumann (IFAK Magdeburg, Germany) Marc Roelands (Nokia Siemens Networks, Belgium) George Roussos (Birkbeck University of London, Great Britain) Thilo Sauter (Austrian Academy of Sciences, Austria) Simon Schneider (Nokia Siemens Networks, Germany) Harm Smit (Schneider Electric, France) K.C. Somaratne (Commonwealth Bank, Australia) Franz-Josef Stewing (Materna, Germany) J?rgen Tacken (Orga Systems, Germany) Janusz Zalewski (Florida Gulf Coast University, USA) -------------- next part -------------- An HTML attachment was scrubbed... URL: http://www.aito.org/pipermail/ecoop-info/attachments/20071107/499b3a6c/attachment.htm -------------- next part -------------- _______________________________________________ Middleware2007 mailing list Middleware2007 at mailman.ics.uci.edu https://mailman.ics.uci.edu/mailman/listinfo/middleware2007 From joerg.hoffmann at deri.at Wed Nov 7 20:01:11 2007 From: joerg.hoffmann at deri.at (Joerg Hoffmann) Date: Wed, 07 Nov 2007 20:01:11 +0100 Subject: [ecoop-info] ESWC 2007 Call for System Demonstrations Message-ID: <47320B77.6060109@deri.at> Call for System Demos 5th European Semantic Web Conference 01 - 05 June 2008 Tenerife (Spain) http://www.eswc2008.org/ The ESWC is the leading European Conference on Theory, Practice and Applications of Semantic Web Technologies, constantly attracting a high number of high quality submissions and participants from academia and industry. Besides the research paper and poster tracks, ESWC asks for demonstrations of semantic web systems and applications. This includes applications, demonstrations of innovative technologies or infrastructures that support the deployment of semantic web applications in any area covered by topics of interest for ESWC'08. To submit a demo to ESWC'08, the authors are requested to submit a demo description. The description must be submitted as a PDF file; it must be formatted in LNCS style, and it must be no longer than 5 pages maximum. The demo descriptions will be published as part of the ESWC'08 proceedings. As such, quality assurance will be strict, and the demos will be subject to review by a separate Programme Committee. All demos must show relevance, novelty and significance. The descriptions should contain sections answering the following questions, as appropriate: 1. What is the research background and application context of the demonstration? 2. What is the employed key technology, and how does it relate to pre-existing work? 3. What exactly will be demonstrated? 4. What exactly will a visitor of the demonstration learn? Submission and reviewing of demo descriptions will be electronic via the ESWC'08 conference submissions site at http://www.eswc2008.org/submissions.html Important Dates Submission of demo descriptions: January 11, 2008 Notification: February 29, 2008 Camera Ready: March 14, 2008 Joerg Hoffmann (ESWC 2008 Demonstrations Chair) From Vladimir.Tosic at nicta.com.au Thu Nov 8 11:48:44 2007 From: Vladimir.Tosic at nicta.com.au (Vladimir Tosic) Date: Thu, 8 Nov 2007 21:48:44 +1100 Subject: [ecoop-info] CALL FOR CHAPTERS: Information Technology Aligned with Business Objectives and Values: Integrating Software Engineering, System Management, and Governance Message-ID: <8e889e885b515e0e72a9aefc60b16c00@nicta-atp-mail.in.nicta.com.au> CALL FOR CHAPTERS: Information Technology Aligned with Business Objectives and Values: Integrating Software Engineering, System Management, and Governance A book edited by Dr. Vladimir Tosic, NICTA, Australia Proposals Submission Deadline: March 31, 2008 Full Chapters Due: April 30, 2008 For up-to-date information, visit: www.nicta.com.au/people/tosicv/igi_book Introduction To maximize benefits from information technology (IT) systems, their execution should be coordinated with business objectives, values, and operations of user organizations. Unfortunately, it has been noticed many years ago that improvements in IT (e.g., better performance) need not result in expected business benefits, often because of poor alignment between business operations and used IT systems. Due to the constantly rising complexity and total cost of IT systems, this old and difficult problem has gained additional prominence. Almost independently and simultaneously, several research communities have emerged to address various aspects of business-IT alignment, including (but not limited to): 1) Value-based software engineering (VBSE, a.k.a. value-driven software engineering ? VSE) explicitly considers value issues (e.g., value-based prioritization) during the software engineering process, in order to make the resulting systems more useful to customers and users. 2) The goal of business-driven IT management (BDIM) is to determine mappings between technical and business performance metrics and leverage them to make run-time IT system and/or service management (monitoring and control) decisions that maximize business value. 3) IT governance is a part of corporate governance that tries to ensure that IT systems support business objectives and strategies. Each of these three communities makes significant progress towards business-IT alignment. Unfortunately, there is very little awareness within these three communities (and other communities that research business-IT alignment) about issues in and results from the other communities. Since all these communities work on the problem of business-IT alignment, there are some similarities and overlaps between them. However, there are also important differences, caused by the diversity of research community backgrounds, methodologies, and focus topics. The Overall Objectives of the Book The main goals of this book are to: 1) Inform a wide audience about the problem of business-IT alignment and basic concepts, research issues, and recent results (from various research communities) on improving business-IT alignment. 2) Provide a unique forum for discussions of why and how to integrate results achieved in various research areas (particularly, value-based software engineering, business-driven IT management, IT governance) that explore different aspects of business-IT alignment. Such integration will lead to better modeling, monitoring, and control of business value produced by IT systems, improving thus business-IT alignment during the whole lifecycle of IT systems. To accomplish these objectives, the book will present surveys of different research areas, a number of contributed chapters on specific recent advances, as well as explicit discussions of why and how the results from different communities should be integrated to improve business-IT alignment. The Target Audience The intended book audience includes, but is not limited to, researchers, practitioners, and educators who want to learn more about advanced approaches to improving business-IT alignment. Researchers in the areas of value-based software engineering, business-driven IT management, and/or IT governance will find the content of this book vital to their research endeavors. In addition, researchers in related broad areas, such as requirements engineering, software engineering, software economics, system/network management (and self-management), autonomic computing, business process modeling/management, corporate governance, and management (business) information systems will find the book relevant and useful for their work. The book is also targeted towards practitioners (software developers, system administrators, other IT professionals, IT managers, and business managers), because the problem of business-IT alignment affects many of them. Furthermore, educators (particularly academics) and students will be able to use it as a textbook for advanced courses and/or as a reference resource. Topics of Interest (include, but are not limited to) - Strategic alignment between business and IT - Requirements engineering for strategic alignment - Measures (and measurement) of business value of IT and/or business-IT alignment - Modeling of relationships between business objectives/values/operations and IT system features - Modeling of mappings between business and technical metrics - Balanced scorecard (particularly, IT balanced scorecard) - Economics of software and IT in general - Value-based approaches to different IT system (e.g., software) engineering life-cycle phases, activities, and decisions - Quantifying value of new technologies for IT system (e.g., software) engineering - Management of risk and business value during IT system (e.g., software) engineering - Business-driven IT system planning, acquisition, deployment, and provisioning - Business-driven IT monitoring and control (e.g., optimization, adaptation) - Bridging the gap between business process modeling/management and IT system/service management - Business-driven service level management - Adaptive/autonomic computing from a business value perspective - Software tools for engineering and/or (automated) management of IT systems aligned with business objectives and values - IT governance structures, processes, and relational mechanisms - Information Technology Infrastructure Library (ITIL), Control Objectives for Information and related Technology (COBIT), and other IT governance frameworks - Integration of value-based software engineering, business-driven IT management, and IT governance - Application of business-IT alignment solutions to advanced IT systems (e.g., Web services, grids) - Case studies in value-based software engineering, business-driven IT management, or IT governance We strongly encourage submissions discussing topics that are not included in the above list, but are related to the problem of business-IT alignment and the overall objectives of this book. Submissions that bridge results from different communities in order to provide better business-IT alignment and submissions analyzing practical experiences with recent research results are particularly welcome. Submission and Review Procedure Authors are invited to submit chapters describing original, high-quality research on topics of relevance for this book. They should first e-mail 2-5 page chapter proposals (in Word) to the book editor (vladat at_server: computer.org, with Subject line starting with ?IGI Book?) before March 31, 2008 (earlier submission is encouraged). A chapter proposal should contain title, author details (names, affiliations, and e-mail addresses), an extended abstract, suggested chapter structure, an explanation of relevance for this book, a discussion of relationships with other publications by the same authors, and brief biographies of the authors. The authors will be notified about the acceptance of their chapter proposals and sent chapter preparation guidelines (e.g., chapter size) around April 7, 2008. Subsequently, the authors of accepted proposals will have to e-mail full chapters (in Word) to the book editor before April 30, 2008. All submitted chapters will be reviewed on a double-blind review basis by at least 3 international experts. This means author details must not be given in a chapter submission and the authors should refer to their past work using the third person. The process for selecting which submitted chapters will be accepted will be competitive. The authors will be notified about acceptance of their chapters around June 30, 2008. Revised accepted chapters will be due on July 31, 2008. The book is scheduled for publication in 2009 by IGI Global (formerly Idea Group Inc.), http://www.igi-pub.com, publisher of the IGI Publishing (formerly Idea Group Publishing), Information Science Publishing, IRM Press, CyberTech Publishing and Information Science Reference (formerly Idea Group Reference) imprints. Inquiries and submissions can be forwarded to (e-mail is strongly preferred): Dr. Vladimir Tosic Managing Complexity Research Group - Sydney (ATP), NICTA (National ICT Australia Limited) Bay 15, Locomotive Workshop, Australian Technology Park, Eveleigh, NSW, 1430, Australia Tel.: +61 2 8374 5517 E-mail contact: vladat at_server: computer.org (Subject line MUST start with ?IGI Book?) For up-to-date information, visit: www.nicta.com.au/people/tosicv/igi_book From rensink at cs.utwente.nl Fri Nov 9 11:51:00 2007 From: rensink at cs.utwente.nl (Arend Rensink) Date: Fri, 09 Nov 2007 11:51:00 +0100 Subject: [ecoop-info] PhD position at the University of Twente on Graph-Based Abstract Interpretation Message-ID: <47343B94.2000807@cs.utwente.nl> To carry out the recently awarded Dutch (NWO) research project entitled "Graphs for Abstract Interpretation of Languages" (GRAIL), we are offering a position for a PhD student (fully funded) for a period of four years. - Deadline for applications: November 30, 2007 - Project start date: January 1, 2008, or as soon thereafter as possible The Context =========== The project takes place at the Formal Methods and Tools chair of the University of Twente. This chair is part of the Department of Computer Science, one of the largest academic departments for computer science in the etherlands. Project leader is Dr. Arend Rensink. The Project: Graphs for Abstract Interpretation of Languages (GRAIL) ==================================================================== As more and more systems in our everyday environment contain major software parts, and we are depending on such systems more and more (we are counting on them), the importance of the dependability of the embedded software is increasing. Unfortunately, there are still very few generally applicable methods for software verification, i.e., the ensurance of its correct functioning under all circumstances. Reasons for this are, one the one hand, the degree of expertise necessary for existing verification methods, and on the other, their poor embedding in the average software development trajectory. An important practical objection is, moreover, that current verification methods typically assume the existence of a sufficiently detailed and precise model of system behaviour. In practice such models hardly ever exist, and the time and expertise to construct them is missing. Examples of methods that are being used widely in practice are therefore typing and testing, neither of which necessarily depends on the pre-existence of models. In this procect we investigate a new way of automatically verifying software on the basis of code, without assuming a predefined model. The technique used is static analysis, a general principle that encompasses typing; the new aspect is the use of graph transformations to capture the effect of the software. Graphs offer a natural model for the behaviour of dynamic software systems, and at the same time offer the basis for a generic form of static analysis, which can be driven by the properties to be verified. The full project proposal can be found at http://www.cs.utwente.nl/~rensink/projects/grail.pdf The position ============ You should have a MSc or equivalent degree in computer science or a closely related area, or be able to show that you will receive the degree this year (2007). Familiarity with formal verification, abstract interpretation and/or and graph transformations is considered an advantage. You are expected to cooperate in an internationally oriented research environment. Good English speaking and writing skills are demanded, as well as the willingness to learn Dutch. You will enroll in the PhD programme of the Dutch Institute for Programming Research and Algorithmics (IPA). The selected candidate will be appointed for a period of 4 years with a gross salary starting at around EUR 1950 per month (first year) and reaching EUR 2500 per month (final year), plus an 8% holiday allowance and other benefits. Your Application ================ You can obtain further information about the positions by enquiring from: Dr.ir. Arend Rensink, mailto:rensink at cs.utwente.nl, tel: +31 (0)53 489 4862 fax: +31 (0)53 489 3247 If you are interested, please send an application by email to the above address, including: - A cover letter stating your *specific* interest in the position, indicating also your motivation and qualifications for joining the project. (In the absence of such a cover letter your application will be rejected without notification.) - A full curriculum vitae, including the subject and supervisor of your graduate thesis. - Letters of recommendation or references of at least two scientific staff members. All applications must be received ** at or before 30 November 2007 ** From inss08 at gmail.com Sat Nov 10 07:20:28 2007 From: inss08 at gmail.com (INSS2008) Date: Sat, 10 Nov 2007 00:20:28 -0600 Subject: [ecoop-info] CFP: INSS 2008 (Fifth International Conference on Networked Sensing Systems) Message-ID: <7925f0be0711092220p285879d5g914790d69cf6d851@mail.gmail.com> [Apologies for possibly receiving multiple copies of this CFP] Paper Submissions Due: December 1, 2007 ********************************************************************** Call For Papers Fifth International Conference on Networked Sensing Systems (INSS 2008) June 17-20, 2008 Kanazawa, Japan http://www.inss-conf.org/ Sponsored by SICE, IEEE ********************************************************************** During the past years, the International Conference on Networked Sensing Systems (INSS) has established itself as THE scientific event where academic and industrial experts from the areas of sensor systems, wireless networks, and sensor network applications come together. The INSS provides a forum to hear about the latest developments in these areas, to exchange ideas, and to start up collaborations within these fields and between industry and academia. Call for Scientific Contributions --------------------------------- INSS 2008 is the fifth annual conference in the series, and features a highly selective technical program. We invite outstanding research papers for the regular paper track from the field of sensor technology, wireless networking, and applications of networked sensor systems. The conference especially encourages submissions that investigate research issues shared between all three areas. Topics of regular paper track include but are not limited to: - Applications of Networked Sensing Systems - Prototypes, Field Studies & Testbeds for Networked Sensing Systems - Security for Networked Sensing Systems - Data Management for Networked Sensing Systems - Middleware for Networked Sensing Systems - Communication Protocols - Sensor Phenomena and Modeling - Sensors and Sensing Systems - Materials, Fabrication, and Packaging of Sensors INSS 2008 invites the submission of both regular and so-called "Birds of a feather (BOF)" papers. Regular papers must be no more than 8 two-column pages long and include an abstract of 100-150 words. BoF papers must be no more than 4 two-column pages long and include an abstract of 100-150 words. BoF papers are suitable for interactive discussions; the presenters of accepted BoF papers are given short oral presentation times and poster space for discussions. Papers should be formatted according to the "IEEE transactions" format - see the conference Web site for details. INSS 2008 is specifically seeking papers that are of interest to the interdisciplinary community represented at the conference. All submissions will be peer-reviewed and evaluated on the basis of originality, significance of contribution, technical correctness, and presentation. Papers submitted must contain original, unpublished material and must not be under simultaneous review for any other conference, journal, workshop, or other publication. Accepted papers will be included in the conference proceedings, which are expected to be published by IEEE Press. Authors are required to attend the conference to present their work. See the web site at http://www.inss-conf.org/ for submission details. Call for Industrial Contributions --------------------------------- This year, INSS offers an industry track. Industry papers are suitable for industry researchers to present not only technical, but also practical issues surrounding production, deployment, and commercialization of networked sensing technology. Industry papers must be no more than 4 two-column pages long and include an abstract of 100-150 words. All papers should be formatted according to the "IEEE transactions" format. The submitted industry papers will be reviewed by industry track TPC members. Accepted industry papers will be presented in the main conference's industry track session given full oral presentation times. The industrial track aims at providing a forum among practitioners, developers, and researchers to discuss practical issues including but not limited to: - Designing networked sensing systems for commercial applications - Service models and architectures for successful deployments - Production engineering for networked sensing systems - Evaluation of networked sensing systems in practical applications See the web site at http://www.inss-conf.org/ for submission details. Important Dates --------------- Paper Submissions Due: December 1, 2007 Notification of Acceptance: February 6, 2008 (all tracks) Camera-Ready Papers: March 7, 2008 (all tracks) Conference Dates: June 17 - 19, 2008 Important Dates for Industrial Track ------------------------------------ Paper Submissions Due: January 7, 2008 Notification of Acceptance: Feburuary 6, 2008 (all tracks) Camera-Ready Papers: March 7, 2008 (all tracks) Organization ------------ General Co-chairs: Hideto Iwaoka, Kanazawa Institute of Technology, Japan Steven Glaser, University of California Berkeley, USA Henry Tirri, Nokia Research Centre, Finland Program Chair: Marc Langheinrich, ETH, Zurich Program Vice-chairs: Jin Nakazawa, Keio University, Japan Steven Garverick, Case Western Reserve University, USA Publicity Chair: Satoshi Honda, Keio University, Japan Industrial Track Program Chair: Masateru Minami, Shibaura Institute of Technology, Japan Posters Chair: Hidekata Hontani, Nagoya Institute of Technology, Japan Demonstrations Chair: Christian Decker, University of Karlsruhe, Germany Workshop Chairs: Hartmut Hillmer, Universita"t Kassel, Germany Takuichi Nishimura, AIST, JAPAN Tutorial Chair: Hideyuki Kawashima, University of Tsukuba, Japan Steering Committee Co-chairs: Yoshito Tobe, Tokyo Denki University, Japan Norman Tien, Case Western Reserve University, USA Steering Committee: Shigeru Ando, University of Tokyo, Japan Michael Beigl, University of Braunschweig, Germany Paul J. M. Havinga, University of Twente, the Netherlands Satoshi Honda, Keio University, Japan Hidekata Hontani, Nagoya Institute of Technology, Japan Hideto Iwaoka, Kanazawa Institute of Technology, Japan Marc Langheinrich, ETH Zurich, Switzerland Sang Hyuk Son, University of Virginia, USA Darrin Young, Case Western Reserve University, USA Feng Zhao, Microsoft Research, USA Program Committee (confirmed): Tarek Abdelzaher, University of Illinois, Urbana Champaign, USA Michael Beigl, TU Braunschweig, Germany Jan Beutel, ETH Zurich, Switzerland Srdjan Capkun, ETH Zurich, Switzerland Haowen Chan, Carnegie Mellon University, USA Christian Decker, TecO, University of Karlsruhe, Germany Paul Havinga, University of Twente, the Netherlands Hartmut Hillmer, University of Kassel, Germany Satoshi Honda, Keio University, Japan Hidekata Hontani, Nagoya Institute of Technology, Japan Yoshihiro Kawahara, The University of Tokyo, Japan Hideyuki Kawashima, University of Tsukuba, Japan Daeyoung Kim, Information and Communications University, Korea Satoshi Kurihara, Osaka University, Japan Hyunyoung Lee, University of Denver, USA Vincenzo Liberatore, Case Western Reserve University, USA Pedro Marron, University of Stuttgart, Germany Masateru Minami, Shibaura Institute of Technology, Japan Pedram Mohseni, Case Western Reserve University, USA Takuichi Nishimura, AIST, Japan Adrian Perrig, Carnegie Mellon University, USA Marcelo Pias, Cambridge University, UK Kay Roemer, ETH Zurich, Switzerland Silvia Santini, ETH Zurich, Switzerland Shivakumar Sastry, The University of Akron, USA Jochen Schiller, FU Berlin, Germany Hiroyuki Shinoda, University of Tokyo, Japan Sang Son, University of Virginia, USA Norman Tien, Case Western Reserve University, USA Yoshito Tobe, Tokyo Denki University, Japan Kamin Whitehouse, University of Virginia, USA Darrin Young, Case Western Reserve University, USA Martina Zitterbart, University of Karlsruhe, Germany Yoshiyuki Nakamura, AIST, Japan Tian He, University of Minnesota, USA Industrial Track Program Committee: Albert Krohn, Particle Computer, Germany Oliver Kasten, SAP Research, Swizerland Andrew Yeh, National Tsing Hua University, Taiwan Yoichi Takayanagi, Toshiba, Japan Narito Kurata, Kashima, Japan Li Zheng, Yamatake, Japan Shoichi Sakane, Yokogawa, Japan Yoshito Tobe, Tokyo Denki University, Japan Hideto Iwaoka, Kanazawa Institute of Technology, Japan Masahiko Yoshimoto, Kobe University, Japan Tomonori Seki, Omron Corporation, Japan Hidekuni Takao, Toyohashi University of Technology, Japan Local Arrangement Chair: Razvan Beuran, NICT, Japan Local Arrangement Vice-chair: Junya Nakata, NICT, Japan Conference Management: June Echizen, Echizen & Associates, Japan From marc at piecemealgrowth.nl Sun Nov 11 23:45:34 2007 From: marc at piecemealgrowth.nl (Marc Evers) Date: Sun, 11 Nov 2007 23:45:34 +0100 Subject: [ecoop-info] Agile 2008 - General Call for Participation Message-ID: <82e0c59d0711111445i30f1964fsc74af13d5e7f0a3@mail.gmail.com> AGILE 2008 CONFERENCE in Toronto, August 4-8, 2008 Anyone who is involved in, or wants to learn more about, agile development is invited to participate in this exciting conference! Agile2008 conference is run as a program of Agile Alliance. We are scaling up the conference for an ever-increasing and diverse agile community. After the sell-out of Agile2007 we are expanding to a larger venue which can hold an audience of 1600+ attendees! To facilitate this growth, Agile 2008 has adopted the metaphor of a music festival that provides multiple stages to attract audiences with common interests. The stages within our program are designed and organized by experts (acting as stage producers) who are truly passionate about their particular areas. Each stage will have a feel of a smaller, focused mini-conference whilst providing the conference attendee with wide choice of topics to choose from. We believe this approach will allow the conference to scale, making it the biggest ever agile gathering! You can find out more about the stages at: http://www.agile2008.org/participate.html We welcome submissions targeted at audiences of all experience levels (beginners, intermediate, advanced). You are invited to submit ideas and proposals for sessions to a specific stage via an online submission system which will be available in December. ** Deadline for submissions: Feb 25, 2008 ** If you are not sure which stage to submit, send an email to: program at agile2008.org We are applying the core agile principles of iterative development and feedback to the review process. The review can begin as soon as your submission is received. With an exception of the research papers (which require confidentiality), all proposals will be open to review by the community and by the experts committees. This year you will be able to respond to the feedback received and update your submission before final acceptance decisions are made. Kind regards, Marc Evers Agile2008 Agile & Organizational Culture stage producer From R.E.Jones at kent.ac.uk Mon Nov 12 13:35:22 2007 From: R.E.Jones at kent.ac.uk (R.E.Jones) Date: Mon, 12 Nov 2007 12:35:22 +0000 Subject: [ecoop-info] ISMM 2008 Call for Papers Message-ID: As an author who has previously published in ISMM, we would like to invite you to consider submitting a paper to ISMM 2008. The call for papers is below; if you are submitting a paper to PLDI 2008, please note that you can also submit it to ISMM (see the guidelines below). Richard Jones Steve Blackburn International Symposium on Memory Management 2008 http://www/cs.kent.ac.uk/~rej/ismm2008 CALL FOR PAPERS 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; memory management related tools; and empirical studies of allocation and referencing behavior in programs that make significant use of dynamic memory. ISMM solicits full-length papers on all areas of memory management. Survey papers that present an aspect of memory management with a new coherence are also welcome. ORGANIZERS General Chair: Richard Jones Programme Chair: Steve Blackburn Steering Committee: Programme Committee: David Bacon, IBM David Detlefs, Microsoft Steve Blackburn, ANU David Gay, Intel Amer Diwan, U. Colorado Dan Grossman, U. Washington David Detlefs, Microsoft Martin Hirzel, IBM Richard Jones, U. Kent Matthias Meyer, U. Stuttgart Greg Morrisett, Harvard Kathryn McKinley, U. Texas Eliot Moss, U. Massachusetts Martin Rinard, MIT Erez Petrank, Technion U. Witawas Srisa-an, U. Nebraska Mooly Sagiv, Tel-Aviv U. Bjarne Steensgaard, Microsoft Guy Steele, Sun Microsystems David Ungar, IBM Craig Zilles, U. Illinois KEY DATES Abstracts: 16 January 2008 (5pm PST) Full papers: 23 January 2008 (5pm PST) Author response period: 3-5 March 2008 Notification: 10 March 2008 Camera-ready copy: 7 April 2008 Submissions will be read by the program committee and designated reviewers and judged on scientific merit, innovation, readability and relevance. Papers previously published or already being reviewed by another conference are not eligible (except see below); if a closely related paper has been submitted to a journal, the authors must notify the program chair (see the SIGPLAN republication policy). Authors can submit an abstract for a paper that is under consideration for another venue. However, they can only submit a full paper if the paper is not already being considered or published elsewhere. ***The intent of this policy is to allow authors to submit an abstract for a paper that has also been sumitted to PLDI. If the paper is accepted at PLDI, then no paper should be submitted to ISMM and the abstract withdrawn.*** Submissions should be no more than 10 pages (including bibliography, excluding well marked appendices) in standard ACM SIGPLAN conference format: two columns, nine-point font on a ten-point baseline, with pages 20pc (3.33in) wide and 54pc (9in) tall, with a column gutter of 2pc (0.33in). Detailed formatting guidelines are available at www.acm.org/sigs/sigplan/ authorInformation.htm along with formatting templates or style files for LaTeX. Papers that violate these guidelines will be rejected by the program chair. Program committee members are not required to read appendices, and so a paper should be intelligible without them. All accepted papers will appear in the published proceedings. The ISMM paper reviewing process uses double blind reviewing and provides an opportunity for rebuttal. In double blind reviewing the authors are anonymous to the reviewers, just as reviewers are anonymous to the authors. This requires effort from authors not to disclose their identities to reviewers. For example, you should not give your names nor mention your institution, research group or project name, etc. Where necessary for flow you could say "the XYZ project" and add in a footnote that the name is withheld. Discuss your own prior work in third person, as you would other related work. Avoid making paper drafts too public, to reduce the possibility of inadvertantly revealing your identities to reviewers. Reviewers, for their part, will be honour bound not to try to discover authors' identities, which will be known only by the programme chair until a suitable point in the programme committee's deliberations. We are using this process because research indicates that author anonymity reduces bias in reviewing. The rebuttal process will give the authors opportunity to respond succinctly to factual errors in reviews, before the program committee meets to make its decisions. The committee may, but need not, respond to rebuttals or revise reviews at or after the committee meeting to reflect better the committee's rationale. Submitted papers must be in English and formatted to print on US Letter (8.5 x 11 inches) paper. Submissions must contain an abstract and postal and electronic mailing addresses for at least one contact author. All papers must be submitted on-line, preferably in Portable Document Format (PDF), although the submission system will also accept PostScript. The proceedings will be published by the ACM. Authors should read the ACM Author Guidelines and related information. Authors of accepted papers must guarantee that their paper will be presented at the conference. For additional information please feel free to contact the Programme Chair, Steve Blackburn (steve.blackburn at anu.edu.au). From adamek at iti.cs.tu-bs.de Mon Nov 12 15:34:52 2007 From: adamek at iti.cs.tu-bs.de (Jiri Adamek) Date: Mon, 12 Nov 2007 15:34:52 +0100 (CET) Subject: [ecoop-info] A Position in Theoretical Computer Science in Braunschweig Message-ID: 6-year PhD or Post Doc Position in Theoretical Computer Science At the Institute of Theoretical Computer Science of the Gauss Faculty of the Technical University of Braunschweig a position is available from December 2007. Candidates must have an outstanding undergraduate degree (German Diplom, Master or equivalent) in computer science with a strong theoretical background or a degree in mathematics. Post-doctoral candidates can also be considered. The successful candidate is expected to combine research in the field of algebraic and coalgebraic methods in computer science with teaching duties of 4 hours a week which are expected to be held in German. The position will initially be filled for two years and is extendable for up to six years. The salary ranges between EUR 2800 and 3100 per month depending on the background of the candidate. Candidates are requested to send their applications until November 15 to me, preferably by e-mail. According to current German legal rules preference must be given to equally qualified female or disabled candidates. Prof. Dr. Jiri Adamek Chair of the Institute for Theoretical Computer DScience Technical University of Bruanschweig Postfach 3386 38 106 Braunschweig, Germany xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx alternative e-mail address (in case reply key does not work): J.Adamek at tu-bs.de xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx From Nicolas.Guelfi at uni.lu Mon Nov 12 10:19:00 2007 From: Nicolas.Guelfi at uni.lu (Nicolas Guelfi) Date: Mon, 12 Nov 2007 10:19:00 +0100 Subject: [ecoop-info] RISE 2007 PROGRAM & CALL FOR PARTICIPATION Message-ID: <20071112092008.B6251244065@mx.aito.org> ************************************************************************************************ PROGRAM & CALL FOR PARTICIPATION ************************************************************************************************ ******************************************************************* RISE 2007, 4th International Workshop on Rapid Integration of Software Engineering techniques ******************************************************************* November 26, 2007 Luxembourg, LUXEMBOURG http://rise2007.uni.lu ******************************************************************* PURPOSE You are all welcome to participate to RISE 2007, the international forum for researchers and practitioners interested in the advancement and rapid application of novel, integrated, or practical software engineering approaches, being part of a methodological framework, that apply to the development of either new or evolving applications and systems. It provides a nice opportunity to attend and discuss the latest research results and ideas in the rapid and effective integration of software engineering techniques. SPONSORS - The European Research Consortium for Informatics and Mathematics (ERCIM - http://www.ercim.org ). - FNR - Luxembourg National Research Fund (http://www.fnr.lu). - Lassy - Laboratory for Advanced Software Systems, University of Luxembourg (http://lassy.uni.lu ). LOCATION RISE 2007 will be held in Luxembourg ( http://www.luxembourg.co.uk/nutshell.html) at the Kirchberg campus of the University of Luxembourg (http://www.uni.lu). This building was formerly known as 'Institut Sup?rieur de Technologie' (IST). PROGRAM ***************** 08:30 Registration 09:00 Welcome Session / Keynote Talk Architecting Fault Tolerant Systems Henry Muccini (Universit? dell?Aquila, Italy) 10:15 Session 1 - Chair: Nicolas Guelfi Lightweight Formal Analysis of FODA Feature Diagrams Shin Nakajima (National Institute of Informatics, Japan) and Naoyasu Ubayashi (Kyushu Institute of Technology, Japan) Towards Agile Product Derivation in Software Produc