From Alexander.Romanovsky at newcastle.ac.uk Mon Oct 1 15:29:24 2007 From: Alexander.Romanovsky at newcastle.ac.uk (Alexander Romanovsky) Date: Mon, 1 Oct 2007 14:29:24 +0100 Subject: [ecoop-info] CfP Architecting Fault Tolerant Systems. ISSRE'07 tutorial Message-ID: Tutorial: Architecting Fault Tolerant Systems 18th IEEE Int. Symposium on Software Reliability Engineering ISSRE 2007 November 6, Trollh?ttan, Sweden http://www.di.univaq.it/TutorialAFTS/ Call for Participation This tutorial describes how the concepts of fault tolerance and software architectures have been integrated so far in a new emerging domain of architecting fault tolerant systems. Fault tolerance (FT), being one of the four means for guaranteeing dependability, aims to ensure the delivery of the correct services in the presence of active faults. It is implemented by error detection and subsequent system recovery. Software Architecture (SA) represents the first complete system description in the development life-cycle and can help improving the overall system dependability, providing a system blueprint that can be validated and that can guide all phases of the system development. While typical SA specifications model only the normal behaviour of the system, several approaches have been recently introduced for modelling and analyzing fault tolerant software architectures that consider also abnormal behaviours and define the architectural interconnections between these two behaviour types. This full day tutorial is structured into six parts: 1. Introduction to basic concepts in SA 2. A working example on SA: Insulin pump system (to be done with the attendees) 3. Architecture Description Languages: an Overview (focus on AADL) 4. Brief introduction to FT 5. Architecting Fault Tolerant Systems: the Survey 6. Case studies, tools, and examples (AADL, Coordinated Atomic Actions, Idealized FTCM and iC2C) The value of this tutorial is in gaining deep understanding of the state of the art in this emerging area. This will be built on developing a two dimensional view on the existing solutions: one dimension is based on the traditional software architecture parameters and another one on the typical fault tolerance related parameters. The attendees of this tutorial will learn how to architect fault tolerant systems and will become familiar with our approach to comparative analysis of the existing architectures. They will be in a much better position to understand current trends in the area and follow the ongoing development. They will be prepared to apply the existing solutions and, when necessary, to develop the new ones which are specific for their domains, requirements and types of faults. Future trends in architecting fault tolerant systems and open questions will be discussed with the attendees. The last part of this tutorial will present some case studies and tools that are available. In particular, it will introduce specific technologies for fault tolerance and, specifically, exception handling, based on the Coordinated Atomic Actions, and illustrate how their concepts can be expressed in the architectural models. Lecturers: H. Muccini, P. Pelliccione Dipartimento di Informatica University of L'Aquila, Italy [muccini,pellicci]@di.univaq.it A. Romanovsky Center for Software Reliability Newcastle University, UK alexander.romanovsky at ncl.ac.uk From jezequel at irisa.fr Mon Oct 1 17:01:03 2007 From: jezequel at irisa.fr (=?ISO-8859-1?Q?Jean-Marc_J=E9z=E9quel?=) Date: Mon, 01 Oct 2007 17:01:03 +0200 Subject: [ecoop-info] Special Issue of TAOSD on Aspects and MDE Message-ID: <47010BAF.8020804@irisa.fr> CALL FOR SUBMISSIONS ------------------------------------------------ TRANSACTIONS ON ASPECT-ORIENTED SOFTWARE DEVELOPMENT SPECIAL ISSUE ON ASPECTS and MODEL DRIVEN ENGINEERING url: http://www.irisa.fr/prive/jezequel/taosd-cfp.htm IMPORTANT DATES ------------------------------------------------ Submission Deadline: November 15, 2007 Author's Notification: February 28, 2008 Special issue publication: late 2008 or early 2009 Special issue web site: http://www.irisa.fr/prive/jezequel/taosd-cfp.htm ----------------------------------- Call for Papers Special Issue on Aspects and Model-Driven Engineering Transactions on Aspect-Oriented Software Development The term Model-Driven Engineering (MDE) is used to refer to software development approaches in which models are the primary development artifacts. A model is created for a specific purpose and contains only information needed to fulfill its purpose. One can expect that the development of a complex system will involve the creation and manipulation of many models, where each model describes an aspect of the system under development. From this perspective, the design process can be characterized as a (partially automatable) weaving of these aspects into a detailed design model. There is a growing research community that is interested in developing modeling techniques that leverage work in the areas of Aspect-Oriented Software Development (AOSD) and MDE. AOSD research aims to provide better support for separating interdependent concerns while MDE research aims to provide better support for the use of models as the primary artifacts of development. Development approaches that leverage work in these two areas are more likely to provide effective support for managing software complexity. This special issue aims to present high-quality papers that reflect state-of-the-art research on development approaches that leverage MDE and AOSD techniques. Authors are invited to submit papers that focus on methodologies, techniques, tools, and processes that support the integrated use of AOSD and MDE techniques. The following are some of the topic areas that the special issue plans to cover: - Methods and techniques supporting separation, composition, and evolution of aspects identified in different development phases (e.g., requirements, architecture, detailed design, deployment). - Techniques for identifying and resolving faulty interactions across aspects. - Techniques for verifying and validating aspect-oriented models. - Using models to reason about aspect-oriented program behavior. - Using models to support evolution of aspect-oriented programs. - Using models to support specification of pointcuts and joinpoints. - AOM case studies or experience reports that provide significant insights into how aspect-oriented modeling techniques can be applied across the development life-cycle. - Providing tool support for use of integrated AOSD and MDE techniques. - Providing language support for aspect-oriented modeling and for modeling aspect-oriented programs. *Submissions* Original manuscripts should follow LNCS formatting guidelines, and should be submitted as PDF or zipped PostScript files to mde-taosd at irisa.fr. Each submission will be reviewed by, at least, three referees *Guest Editors* Robert France, Colorado State University, USA. Jean-Marc Jezequel, Irisa (INRIA & University of Rennes), France. *Important Dates* Submission Deadline: November 15, 2007 First Round Review Notification: February 28, 2008 Re-Submission Revised Papers: April 30, 2008 Second Round Review Notification: June 15, 2008 Submission of the Camera Ready: July 15, 2008 Special issue's publication: late 2008 or early 2009 -- Prof. Jean-Marc Jezequel Tel : +33 299 847 192 IRISA (INRIA & Univ. Rennes 1) Fax : +33 299 847 171 Campus de Beaulieu e-mail : jezequel at irisa.fr F-35042 RENNES (FRANCE) http://www.irisa.fr/prive/jezequel From hg at uni-paderborn.de Mon Oct 1 17:11:27 2007 From: hg at uni-paderborn.de (Holger Giese) Date: Mon, 01 Oct 2007 17:11:27 +0200 Subject: [ecoop-info] CFPart: 4th Workshop on Object-oriented Modeling of Embedded Real-Time Systems (OMER 4) Message-ID: <47010E1F.600@uni-paderborn.de> Call for Participation 4th Workshop on Object-oriented Modeling of Embedded Real-Time Systems (OMER 4) October 30 and 31, 2007, Heinz Nixdorf MuseumsForum, Paderborn, Germany. http://omer4.uni-paderborn.de ************************************************************************** Early Registration discount until: 14th October 2007 ************************************************************************** Keynotes: - Model based development of automotive software from the OEM point of view - present state and future requirements Karsten Schmidt, Audi AG - Model-based Embedded Systems: Past and future challenges and opportunities Gabor Karsai, Vanderbilt University Tutorials: - Software at Mechanical Engineering - The OMG Standard SysML Paper topics: - AUTOSAR, UML, Modeling, Quality, ... (see the attached complete program) Scope ===== Most of the technical systems which make up our daily environment such as cars or airplanes are unthinkable in their current form without the hidden complex embedded software which controls and coordinates their behavior. As the embedded software of advanced technical systems not only realizes the fundamental functionality, but is today often also employed to realize the main competitive advantages of a product, embedded software has become the main driver for innovations in many technical fields. Model-based development and automatic code generation have become an established technology on the functional level. However, their seamless support for the system level and its object-oriented modeling remains challenging. The adaptation and improvement of object-oriented, component-based, and model-based methods which promise to facilitate the development, deployment, and reuse of software components in embedded environments therefore has gained much attention in industry and academia. The domain-specific constraints of technical systems such as real-time requirements, resource limitations and specific hardware dependencies, however, have often impeded the acceptance of appropriate object-oriented modeling techniques and model-based development approaches. This workshop therefore focuses on the current trends in the automotive industry and related fields towards system architectures, software reuse and complexity management. This fourth workshop in the OMER series aims like the preceding events to bring together industry and academia to encourage communication on the achievements and needs of object-oriented modeling and model-based development of embedded real-time systems. It places special emphasis on the remaining challenges, especially on how to further integrate the software engineering and control engineering worlds. Program ======= Tuesday, 30.10.2007 -Tutorials- 09:30-12:00 Tutorial 1: Software at Mechanical Engineering ? A Dog-Cat Situation Ulrich Deppe, Daniel Steffen, UNITY AG 09:30-12:00 Tutorial 2: A short introduction in the new OMG Standard SysML Andreas Korff, Artisan Software -Workshop- 13:00-13:10 Opening Session 13:10-13:40 Introduction: A Perspective of Automotive Electronics Development Herbert Hanselmann, CEO, dSPACE GmbH 13:40-14:40 Keynote: Model based development of automotive software from the OEM point of view - present state and future requirements Karsten Schmidt, Audi AG 14:40-15:30 Coffee Break 15:30-16:30 Session I: AUTOSAR On the Complexity of Adding Real-Time Properties to the AUTOSAR Software Component Model Kai Richter AUTOSAR compliant reengineering of an Engine Management System Patrick Frey, Ulrich Freund 16:30-16:45 Coffee Break 16:45-17:45 Session II: UML Automotive Software Engineering - Integrative Migration to the Unified Modeling Language Tibor Farkas, Carsten Neumann, Andrej Mauch, Karsten K?chlin Combined usage of UML and Simulink in the Design of Embedded Systems: Investigating Scenarios and Structural and Behavioral Mapping Jianlin Shi, Martin T?rngren, David Servat, Carl-Johan Sj?stedt, Dejiu Chen, Henrik L?nn -Social Event- 17:45-18:45 Museum Tour Take an exciting trip through 5,000 years of information technology history, and find out about inventors, entrepreneurs, historical machines and the latest technological developments.The tour will start at the Reception desk. 19:00-23:00 Workshop Dinner: ?Gut Ringelsbruch? The Workshop Dinner will take place at Gut Ringelsbruch. The bus-transfer to Gut Ringelsbruch will start at the Heinz Nixdorf Museums Forum after the Museum Tour. After the dinner the bus will bring you back to your hotel. Wednesday, 31.10.2007 -Workshop- 09:00-09:15 Welcome 09:15-10:15 Keynote: Model-based Embedded Systems: Past and future challenges and opportunities Gabor Karsai, Vanderbilt University 10:15-10:30 Coffee Break 10:30-11:30 Session III: Modeling View-Based Modeling of Function Nets Hans Gr?nniger, Jochen Hartmann, Holger Krahn, Stefan Kriebel, Bernhard Rumpe Modeling and simulation of embedded systems using UML2.0 and the Y-chart approach Fateh Boutekkouk, Mohammed Benmohammed 11:30-13:00 Lunch 13:00-14:00 Session IV: Quality & Models Compositional Validation of Distributed Real Time Systems Stefan Henkler, Martin Hirsch Automated Transformation of MATLAB Simulink and Stateflow Models Ingo St?rmer, Dietrich Travkin 14:00-14:45 Coffee Break 14:45-15:45 Session V: Extending the Scope of Models Use Case Modeling for Embedded Software Systems - Deficiencies & Workarounds Alexander Ny?en, Horst Lichter Towards a Transformation Language for Component Structures Matthias Tichy, Stefan Henkler 15:45-16:15 Closing Session Organization ============ Program Chairs Holger Giese, University of Paderborn, Germany Joachim Stroop, dSPACE GmbH, Germany Local Chair Matthias Gehrke, University of Paderborn, Germany Program Committee H. D?rr, Carmeq GmbH, Germany U. Freund, ETAS GmbH, Germany S. Graf, Verimag, France H. Hansson, M?lardalen University, Sweden U. Honekamp, Vector Informatik, Germany H. Hungar, OFFIS, Oldenburg, Germany S. J?hnichen, TU Berlin/Fhg FIRST, Germany S. Kowalewski, RWTH Aachen, Germany I. Kr?ger, UC San Diego, USA P. Mosterman, The MathWorks, USA R. Rinat, Telelogic, Israel S. Rooks, IBM Rational Software, United Kingdom B. Rumpe, Braunschweig University of Technology, Germany B. Sanchez, Siemens VDO Automotive, France W. Sch?fer, University of Paderborn, Germany B. Sch?tz, TU Munich, Germany A. Sch?rr, Darmstadt University of Technology, Germany M. T?rngren, KTH - Royal Institute of Technology, Sweden M. von der Beeck, BMW AG, Germany J. Ziegler, Nokia, Helsinki, Finland Main Sponsors dSPACE GmbH Secondary Sponsors s-lab, University of Paderborn SFB 614, University of Paderborn Artisan Software UNITY AG Other Supporters Joint Interest Group on Modeling of the German Informatics Society (GI) From tazi at laas.fr Mon Oct 1 19:25:20 2007 From: tazi at laas.fr (Said Tazi) Date: Mon, 01 Oct 2007 19:25:20 +0200 Subject: [ecoop-info] CFP IEEE-ICHSL6, Toulouse Message-ID: <7.0.1.0.2.20071001192355.037ddaf0@laas.fr> [Accept apologies for cross postings] Call For Papers IEEE-ICHSL.6: 6th International Conference on Human System Learning Common Innovation in e-learning, Machine Learning and Humanoid http://www.ichsl6.org 14-16 May 2008 ? Manufacture des Tabacs, University of Toulouse 1 Toulouse, France Organised by: LAAS-CNRS and the University of Toulouse1 Presentation Human System Learning International Conferences are organized as a cross-platform for the study and analysis of the latest research and developments issues related to Human System Learning. What makes this conference unique is the interaction of different disciplines with regard to their approach, methods and techniques for the application of advanced technologies. Specifics of disciplines are not only the subject of the conference but serve as cases. Cross-platform discussions and interactions help to enhance the scope of these technologies beyond their existing application limits. Furthermore, we seek a discussion of terms and conditions for introducing new concepts and tools (offered by the latest research and developments results) and new strategies (required by the inevitable changes of the professional and educational working environments). Main scope: WHAT IS LEARNING? The Information Society is burgeoning and new technology is shifting educational, learning and training paradigms. Virtual Universities, Cyber-Classrooms, e-Learning, Wireless Based Learning, Humanoid Robots, Data Mining, Text Mining, Web Semantic, etc. may be cryptic catch phrases now but will be within the main learning and teaching norm in a very near future. The sixth ICHSL observes that, Machine Learning, Humanoid (mainly Human Robot Interaction) and e-Learning system have in common a real complex challenge: What learning has become? Whether learning has to occur within Humans, Machines or Interactions between Humans and Machine, the process of learning is still perceived as complex. Learning context has shifted. Learning paradigms have shifted as well as learning Strategies. Learning environment has totally be changed as well as learning assessment, learning control, learning evolving, learning scheduling, etc Topics * Learning environment * Learning Logic * Learning paradigm * Human and Machine Learning Fuzziness * Human Robot Interaction (focused on learning approaches only) * Interactive Learning * Interactive e-learning * Interactive Mining Tools * Learning from electronic dynamic documents * New Learning Support Systems * And ICHSL relevant topics: Cognition, Data Mining, Distributed Artificial Intelligence, Ergonomic, Human-System Interactions, Humanoid, Knowledge Data Discovery, New Educational Technology, System Design, Text Mining, Wireless & Web Based Learning, Web Mining. Instructions to Authors Papers should be maximum 12 pages in length (a full page of text is about 500 words), i.e. your contribution might be around 5000 words long (including references) plus figures. Submissions should be uploaded using the conference website, in PDF, or MS-Word Format. Final papers must be submitted directly to the conference editor in MS-Word format ichsl6 at europia.org. Reviewing All papers will be reviewed using a blind refereeing process by at least two members of the International Advisory Board. The Reviewing process is completely transparent and electronic. Dates Paper submission November 30th, 2007 Notification January 15th, 2008 Final paper submission March 1st, 2008 Conference May 14-16, 2008 International Steering Committee * Reza Beheshti (TUDelft, The Netherlands) * Michel Diaz (LAAS, France) * Yves Duthen (UT1-IRIT) * Joa Mauricio Rosario (UNICAMP, Brazil) * John Rosbottom (University of Portsmouth, UK) * Imad Saleh (Paragraphe, University Paris 8, France) * Chantal Soul?-Dupuy (UT1-IRIT, France) * Sa?d Tazi (LAAS-CNRS, UT1, France) * Khaldoun Zreik (Paragraphe, University Paris 8, France) Local organising committee * Anastase ADONIS(Objective-Networks) * V?ronique BAUDIN(LAAS-CNRS) * Hassan KANSO (UT1-IRIT) * Jean Michel PONS (LAAS-CNRS) * Fabrice EVRARD (Irit -ENSEEIHT) * Anthony STENTON (UT1) International Advisory Board * Ronald C. Arkin (Georgia Institute of Technology, USA) / Georgia Tech Lorraine, France) * Nicolas Balacheff (LEIBNIZ - Institut IMAG, France) * Mostafa Bellafkih (INPT, Morocco) * Monique Baron (LIP6, France) * V?ronique Baudin (LAAS-CNRS, France) * Reza Beheshti (TUDelft, The Netherlands) * Bernadette Bouchon-Meunier (UPMC, LIP6, France) * Eric Brangier (University of Metz, France) * Stephen Brown (De Montfort University, UK) * Guido Bugmann (School of Computing, University of Plymouth, UK) * Abdelkader El Kamel (LAGIS , Ecole Centrale of Lille, France) * Tristan Cazenave (LIA, Universit? Paris 8, France) * Bruno Cr?milleux (Greyc, University of Caen, France) * Michel Diaz (LAAS-CNRS, France) * Yves Duthen (UT1-IRIT, France) * Dominique Fournier (University of Havre, France) * Mohand-Said Hacid (University of Claude Bernard Lyon 1 , France) * Gilles Kassel (University of Picardie Jules Verne, France) * Christophe Kolski (LAMIH - UMR CNRS 8530, France) * Christophe Lecerf (Ecole des Mines d'Al?s, France) * Engelbert MEPHU NGUIFO (University of Artois, France) * Amadeo Napoli (INRIA-Lorraine, Nancy, France) * Violaine Prince (LIRMM, University of Montpellier 2, France) * Mohamed Quafafou (University of Marseille, France) * Mohammed Ramdani (Universit? Hassan II Mohammedia, Morocco) * Joa Mauricio Rosario (UNICAMP, Brazil) * John Rosbottom (University of Portsmouth, UK) * Jose Rouillard (LIFL-USTL, Lille, France) * Francis Rousseaux (IRCAM, France) * Imad Saleh (Paragraphe, University Paris 8, France) * Chantal Soul?-Dupuy (UT1-IRIT, France) * Vladimir Srdanovic 5University of Belgrade, Serbia) * Sa?d Tazi (LAAS-CNRS, UT1, France) * Pierre Tchounikine (LIUM - University of Mans, France) * Charles Tijus (University Paris 8, France) * Rainer Unland (University of Duisburg-Essen, Germany) * Gilles Venturini (University of Tours, France) * Khaldoun Zreik (Paragraphe, University Paris 8, France) Conference Co-Chairs ?Sa?d Tazi, LAAS-CNRS, France (tazi at laas.fr) ?Khaldoun Zreik, Pargraphe, University Paris8, France (zreik at univ-paris8.fr) -------------- next part -------------- An HTML attachment was scrubbed... URL: http://www.aito.org/pipermail/ecoop-info/attachments/20071001/1ce99a8f/attachment-0001.htm From garrigue at math.nagoya-u.ac.jp Tue Oct 2 03:10:29 2007 From: garrigue at math.nagoya-u.ac.jp (Jacques Garrigue) Date: Tue, 02 Oct 2007 10:10:29 +0900 (JST) Subject: [ecoop-info] [Last CFP] FLOPS 2008 Message-ID: <20071002.101029.190047143.garrigue@math.nagoya-u.ac.jp> [We apologize for the multiple postings of this announce] LAST CALL FOR PAPERS Ninth International Symposium on Functional and Logic Programming (FLOPS 2008) April 14-16, 2008 Ise, Japan Submission deadline: October 10, 2007 Keynotes: Peter Dybjer, Naoki Kobayashi, and Torsten Schaub http://www.math.nagoya-u.ac.jp/~garrigue/FLOPS2008/ FLOPS is a forum for research on all issues concerning declarative programming, including functional programming and logic programming, and aims to promote cross-fertilization and integration between the two paradigms. Previous FLOPS meetings were held in Fuji Susono (1995), Shonan Village (1996), Kyoto (1998), Tsukuba (1999), Tokyo (2001), Aizu (2002), Nara (2004), and Fuji Susono (2006). TOPICS FLOPS solicits original papers in all areas of functional and logic programming, including (but not limited to): Declarative Pearls: new and excellent declarative programs with illustrative applications; Language issues: language design and constructs, programming methodology, integration of paradigms, interfacing with other languages, type systems, constraints, concurrency and distributed computing; Foundations: logic and semantics, rewrite systems and narrowing, type theory, proof systems; Implementation issues: compilation techniques, memory management, program analysis and transformation, partial evaluation, parallelism; Applications: case studies, real-world applications, graphical user interfaces, Internet applications, XML, databases, formal methods and model checking. The proceedings are expected to be published as an LNCS volume. The proceedings of the previous meeting (FLOPS2006) were published as LNCS 3945. INVITED SPEAKERS Peter Dybjer (Chalmers, Sweden) Naoki Kobayashi (Tohoku, Japan) Torsten Schaub (Potsdam, Germany) PC CO-CHAIRS Jacques Garrigue (Nagoya, Japan) Manuel Hermenegildo (Madrid, Spain and New Mexico, USA) PC MEMBERS Maria Alpuente (Valencia, Spain) Sergio Antoy (Portland, OR, USA) Matthias Blume (TTI, Chicago, USA) Tyng-Ruey Chuang (Academia Sinica, Taiwan) Zhenjiang Hu (Tokyo, Japan) Oleg Kiselyov (FNMOC, Monterey, USA) Herbert Kuchen (Muenster, Germany) Dale Miller (INRIA, Palaiseau, France) Atsushi Ohori (Tohoku, Japan) Enrico Pontelli (New Mexico, USA) Kristoffer Rose (IBM Watson, USA) Kazunori Ueda (Waseda, Japan) Peter Van Roy (Louvain-la-Neuve, Belgium) Benjamin Werner (INRIA, Palaiseau, France) LOCAL CHAIR Shoji Yuen (Nagoya, Japan) SUBMISSION Submissions must be unpublished and not submitted for publication elsewhere. Work that already appeared in unpublished or informally published workshops proceedings may be submitted. Submissions should fall into one of the following categories: Regular research papers: they should describe new results and will be judged on originality, correctness, and significance. System descriptions: they should contain a link to a working system and will be judged on originality, usefulness, and design. All submissions must be written in English and can be up to 15 proceedings pages long. Authors are strongly encouraged to use LaTeX2e and the Springer llncs class file, available at http://www.springer.de/comp/lncs/authors.html Regular research papers should be supported by proofs and/or experimental results. In case of lack of space, this supporting information should be made accessible otherwise (e.g., a link to a web page, or an appendix). Submission is Web-based. Please visit the conference site. IMPORTANT DATES Submission deadline: October 10, 2007 Author notification: December 21, 2007 Camera-ready copy: January 21, 2008 Conference: April 14-16, 2008 PLACE Ise, Japan Previous FLOPS: FLOPS 2006, Fuji Susono: http://hagi.is.s.u-tokyo.ac.jp/FLOPS2006/ FLOPS 2004, Nara: http://logic.cs.tsukuba.ac.jp/FLOPS2004/ FLOPS 2002, Aizu: http://www.ipl.t.u-tokyo.ac.jp/FLOPS2002/ FLOPS 2001, Tokyo: http://www.ueda.info.waseda.ac.jp/flops2001/ SPONSOR Japan Society for Software Science and Technology (JSSST) SIG-PPL IN COOPERATION with Asian Association for Foundation of Software (AAFS) Association for Logic Programming (ALP) ACM SIGPLAN (pending) INQUIRIES to From carlos.areces at loria.fr Tue Oct 2 11:08:25 2007 From: carlos.areces at loria.fr (Carlos Areces) Date: Tue, 02 Oct 2007 11:08:25 +0200 Subject: [ecoop-info] CFP: JOURNAL OF LOGIC, LANGUAGE AND INFORMATION Message-ID: <47020A89.6030206@loria.fr> ***CALL FOR PAPERS*** JOURNAL OF LOGIC, LANGUAGE AND INFORMATION (http://www.springer.com/west/home/philosophy/logic?SGWID=4-40392-70-35503189-0) Special Issue on HYBRID LOGIC IMPORTANT DATES Paper submission: March 1, 2008 Notification of acceptance: June 1, 2008 Publication: by the end of 2008 GENERAL INFORMATION Hybrid logic is a branch of modal logic in which it is possible to directly refer to worlds/times/states or whatever the elements of the (Kripke) model are meant to represent. Although they date back to the late 1960s, and have been sporadically investigated ever since, it is only in the 1990s that work on them really got into its stride. It is easy to justify interest in hybrid logic on applied grounds, because of the usefulness of the additional expressive power. For example, when reasoning about time one often wants to build up a series of assertions about what happens at a particular instant, and standard modal formalisms do not allow this. What is less obvious is that the route hybrid logic takes to overcome this problem often actually improves the behaviour of the underlying modal formalism. For example, it becomes far simpler to formulate modal tableau, resolution, and natural deduction in hybrid logic, and completeness and interpolation results can be proved of a generality that is not available in orthodox modal logic. This special issue has its origin in the International Workshop on Hybrid Logic (HyLo 2007), which was held 6-10 August in Dublin, Ireland as part of the European Summer School in Logic, Language, and Information (ESSLLI 2007). The HyLo 2007 workshop continued a series of previous workshops on hybrid logic. TOPICS Topics of interest include not only standard hybrid-logical machinery like nominals, satisfaction operators, and the downarrow binder, but generally extensions of modal logic that increase its expressive power. SUBMISSIONS This special issue welcomes original high-quality contributions that have been neither published in nor submitted to any journals or refereed conferences. All submissions will be refereed to usual journal standards. Submissions should not exceed 30 pages and preferably be formatted according to the guidelines for Journal of Logic, Language and Information (see "Instructions for Authors" at the web-page of the journal). Submissions should be sent to Torben Bra?ner (as PDF file): torben at ruc.dk. Please put "JoLLI submission" in the subject field and include the following information in the body of the email: paper title, author names, email address of the contact author, and a short abstract. GUEST EDITORS OF SPECIAL ISSUE Torben Bra?ner, Roskilde University, Denmark (editor-in-chief) Thomas Bolander, Technical University of Denmark -- ================================================================== Carlos Areces phone : +33 (0)3 54 95 84 90 INRIA Researcher fax : +33 (0)3 83 41 30 79 e-mail: carlos.areces at loria.fr INRIA Lorraine. www : http://www.loria.fr/~areces Equipe TALARIS - Batiment B 615, rue du Jardin Botanique 54600 Villers les Nancy Cedex, France From ga at csd.uoc.gr Tue Oct 2 11:04:59 2007 From: ga at csd.uoc.gr (ga at csd.uoc.gr) Date: Tue, 2 Oct 2007 12:04:59 +0300 Subject: [ecoop-info] ESWC2008 Call for Tutorials Message-ID: <1191315899.470209bb978f7@webmail.edu.uoc.gr> Call for Tutorials 5th European Semantic Web Conference 01 - 05 June 2008 Tenerife (Spain) http://www.eswc2008.org/ The vision of the Semantic Web is to enhance today?s Web via the exploitation of machine- processable metadata. This metadata, enriched with domain theories (Ontologies) and knowledge-based tools to process metadata and semantics, will enable a Web that provides a qualitatively new level of service. It will weave together a large network of human knowledge and make this knowledge machine-accessible. Various automated services will help the users to achieve their goals by accessing and processing information in machine- processable form. This network of knowledge systems will ultimately lead to truly intelligent systems, which will be employed for various specialized reasoning to accomplish complex tasks. Many technologies and methodologies are being developed within Artificial Intelligence, Database Systems, Multimedia Systems, Distributed Systems, Software Engineering and Information Systems that can contribute towards the realization of this vision. The 5th annual European Semantic Web Conference (ESWC 2008) will present the latest results in research and application of Semantic Web technologies. More details can be found on the ESWC 2008 homepage (http://www.eswc2008.org/). In addition to the regular research and workshop programme, ESWC 2008 invites tutorials on relevant topics of interest (see below). A tutorial should present the state of the art of a Semantic Web area, enabling attendees to fully appreciate the current issues, main schools of thought and possible application areas. Tutorial Proposals ------------------ ESWC 2008 tutorials may be either for a full day or for a half day. Unless there is a clear rationale we will give preference to half day tutorials over full day tutorials. Tutorials proposed for the ESWC 2008 should cover one topic in appropriate depth and present it in a appropriate manner which enables attendees to fully comprehend and apply emerging Semantic Web technologies. Although tutorials may focus entirely on theoretical aspects, we strongly encourage hands-on sessions where appropriate. Tutorial proposals should not exceed 5 pages in DIN A4 format and should contain the following information: - abstract (200 words maximum, for inclusion in the ESWC 2008 website) - tutorial description (aims, target audience, presentation method, technical requirements) - justification for the tutorial, including timeliness and relevance to ESWC 2008 - outline of the tutorial content and schedule - information on presenters (name, affiliation, expertise, experiences in teaching and in tutorial presentation) Tutorial proposals are to be submitted as single pdf files to Grigoris Antoniou, email: antoniou at ics.forth.gr. Submitted proposals that follow the above guidelines will be reviewed by the ESWC 2008 organizing committee with respect to relevance of the topic, content and presentation method, and presenters? expertise. Important Dates --------------- Tutorial Submissions Due: January 7, 2008 Tutorial Acceptance: January 21, 2008 Tutorial Hands Out Due: March 31, 2008 Tutorial Presentation Data: June 1, 2008 For accepted tutorials, the presenters will need to submit the material for hand-outs (the slide sets and / or additional information; software installation and usage guides for practical hands-on sessions) to the organization committee for preprinting and placement on the ESWC 2008 website. For each accepted tutorial, we offer one 50% discount of the Early-Bird registration fee. Conference Topics of Interest and Area Keywords ----------------------------------------------- Topics of interest for ESWC 2008 tutorials include, but are not limited to the following: Management of Semantic Web Data and Knowledge - Languages, tools and methodologies for representing and managing Semantic Web data - Database technologies for the Semantic Web - Search, query, and visualization of the Semantic Web - Robust and scalable reasoning on the Web - Logics for the Semantic Web - Machine learning and human language technologies for the Semantic Web - Semantic Web content creation, annotation, and extraction Ontologies - Ontology creation, extraction, and evolution - Ontology mapping, merging, and alignment - Evaluation and tanking of ontologies - Conceptual modelling Semantic Web Architecture - Semantic Web middleware - Semantic Web services - Agents on the Semantic Web - Semantics in P2P systems and grids Social Semantic Web - Social networks and processes on the Semantic Web - Semantic web technology for collaboration and cooperation - Representing and reasoning about trust, privacy, and security Applications of the Semantic Web - Evaluation of Semantic Web technologies - Semantic Web for e-business, e-science, e-government, e-learning, and other application domains - Semantic Web for ubiquitous computing and ambient intelligence - Semantic Web technologies for multimedia content - Personal information management From gvidal at dsic.upv.es Tue Oct 2 13:38:57 2007 From: gvidal at dsic.upv.es (German Vidal) Date: Tue, 2 Oct 2007 13:38:57 +0200 (CEST) Subject: [ecoop-info] SAS 2008 Preliminary Call for Papers Message-ID: PLEASE POST --> SAS 2008 at the Technical University of Valencia We are happy to announce that SAS 2008, the Static Analysis Symposium, will take place at the Technical University of Valencia: Submission of abstract: January 12, 2008 Submission of full paper: January 19, 2008 Notification: March 7, 2008 Camera-ready version: April 5, 2008 Conference: July 16-18, 2008 Please see: http://www.dsic.upv.es/~sas2008/ Maria Alpuente, German Vidal (PC co-chairs) --------------------------------------------------------------------------- Call for papers Static Analysis Symposium - SAS 2008 16-18 July 2008, Valencia, Spain (co-located with LOPSTR 2008) url http://www.dsic.upv.es/~sas2008 email sas2008 at dsic.upv.es Static Analysis is increasingly recognized as a fundamental tool for high performance implementations and verification of programming languages and systems. The series of Static Analysis Symposia has served as the primary venue for presentation of theoretical, practical, and application advances in the area. The technical programme for SAS 2008 will consist of invited lectures and presentations of refereed papers. Contributions are welcome on all aspects of static analysis, including, but not limited to: abstract domains abstract interpretation abstract testing compiler optimizations control flow analysis data flow analysis model checking program specialization security analysis theoretical analysis frameworks type based analysis verification systems Submissions can address any programming paradigm, including concurrent, constraint, functional, imperative, logic, and object-oriented programming. Survey papers, that present some aspect of the above topics from a new perspective, and application papers, that describe experience with industrial applications, are also welcome. Papers must describe original work, be written and presented in English, and must not substantially overlap with papers that have been published, or that are simultaneously submitted to a journal or a conference with refereed proceedings. Submitted papers should be at most 15 pages formatted in LNCS style (excluding bibliography and well-marked appendices not intended for publication). PC members are not required to read the appendices, and thus papers should be intelligible without them. The conference proceedings is planned to be published by Springer-Verlag in the Lecture Notes in Computer Science series. Invited Speakers Roberto Giacobazzi (Universita' degli Studi di Verona, Italy) Ben Liblit (University of Wisconsin-Madison, USA) PC co-chairs Maria Alpuente (Technical University of Valencia, Spain) German Vidal (Technical University of Valencia, Spain) PC members Elvira Albert (Complutense University of Madrid, Spain) Roberto Bagnara (University of Parma, Italy) Maurice Bruynooghe (Katholieke Universiteit Leuven, Belgium) Radhia Cousot (CNRS & Ecole Polytechnique, France) Javier Esparza (Technical University of Munchen, Germany) Sandro Etalle (University of Twente, The Netherlands) Moreno Falaschi (University of Siena, Italy) Stephen Fink (IBM T.J. Watson Research Center, USA) John Gallagher (Roskilde University, Denmark) Maria del Mar Gallardo (University of Malaga, Spain) Chris Hankin (Imperial College, UK) Manuel Hermenegildo (Technical University of Madrid, Spain) Julia Lawall (University of Copenhagen, Denmark) Alexey Loginov (IBM T.J. Watson Research Center, USA) Hanne Riis Nielson (Technical University of Denmark, Denmark) David Schmidt (Kansas State University, USA) Harald Sondergaard (University of Melbourne, Australia) Tachio Terauchi (Tohoku University, Japan) Ji Wang (National Laboratory for Parallel and Distributed Processing, China) Local chair Alicia Villanueva (Technical University of Valencia, Spain) Important dates Submission of abstract: January 12, 2008 Submission of full paper: January 19, 2008 Notification: March 7, 2008 Camera-ready version: April 5, 2008 Conference: July 16-18, 2008 --------------------------------------------------------------------------- From igarashi at kuis.kyoto-u.ac.jp Tue Oct 2 15:50:07 2007 From: igarashi at kuis.kyoto-u.ac.jp (Atsushi Igarashi) Date: Tue, 02 Oct 2007 22:50:07 +0900 Subject: [ecoop-info] [Final CFP] FOOL2008 Message-ID: <87abr1lj74.wl%igarashi@kuis.kyoto-u.ac.jp> Final Call For Papers 2008 International Workshop on Foundations of Object-Oriented Languages (FOOL '08) Sponsored by ACM SIGPLAN Sunday, 13 January 2008 San Francisco, California, USA Following POPL '08 http://fool08.kuis.kyoto-u.ac.jp/ Submission: https://www.softconf.com/starts/fool08/submit.html Deadlines Submissions: Monday, 8 October 2007 Notifications: Monday, 26 November 2007 Final versions: Monday, 17 December 2007 Workshop Description The search for sound principles for object-oriented languages has given rise to much work during the past two decades, leading to a better understanding of the key concepts of object-oriented languages and to important developments in type theory, semantics, program verification, and program development. FOOL became FOOL/WOOD in 2006, joining forces with the Workshop on Object-Oriented Developments. Although this year the name returns to FOOL, it is the third workshop in that successful merger. FOOL'08 will be held in San Francisco, California, USA on Sunday, 13 January 2008, the day after POPL. Submissions for this event are invited in the general area of foundations of object-oriented languages and program analysis. Topics of interest include language semantics, type systems, program analysis and verification, formal calculi, concurrent and distributed languages, database languages, and language-based security issues. Papers are welcome to include formal descriptions and proofs, but these are not required; the key consideration is that papers should present novel and valuable ideas or experiences. The main focus in selecting workshop contributions will be the intrinsic interest and timeliness of the work, so authors are encouraged to submit polished descriptions of work in progress as well as papers describing completed projects. A web page will be created and made available as an informal electronic proceedings. Historically, presentation at FOOL (or FOOL/WOOD) does not count as prior publication, and many of the results presented at FOOL have later been published at ECOOP, OOPSLA, POPL, and other conferences. Submission Instructions We solicit submissions on original research not previously published or currently submitted for publication elsewhere. The program chair should be informed of any related submissions; see the ACM SIGPLAN Republication Policy (http://www.acm.org/sigs/sigplan/republicationpolicy.htm). Submissions should be PDF or PostScript in standard SIGPLAN 9pt conference format for a US-letter size page. Templates are available at http://www.acm.org/sigs/sigplan/authorInformation.htm . While submissions can be up to 12 pages, shorter papers describing promising preliminary work are also encouraged. To submit a paper, use the form at https://www.softconf.com/starts/fool08/submit.html . Program Chair Atsushi Igarashi (Kyoto University) e-mail: fool08 at kuis.kyoto-u.ac.jp Program Committee Jonathan Aldrich (Carnegie Mellon University) Susan Eisenbach (Imperial College) Manuel Fahndrich (Microsoft Research) Cormac Flanagan (University of California, Santa Cruz) Matthew Flatt (University of Utah) Jacques Garrigue (Nagoya University) Matthew Parkinson (University of Cambridge) Julian Rathke (University of Southampton) Frank Tip (IBM) Tobias Wrigstad (Stockholm University) Steering Committee Viviana Bono (Universita` di Torino) Michele Bugliesi (Universita` Ca' Foscari) Kathleen Fisher (AT&T Labs) Benjamin Pierce (University of Pennsylvania) John Reppy (University of Chicago) Christopher Stone (Harvey Mudd College) [Chair] Philip Wadler (University of Edinburgh) From sd at doc.ic.ac.uk Tue Oct 2 18:52:39 2007 From: sd at doc.ic.ac.uk (Sophia Drossopoulou) Date: Tue, 02 Oct 2007 17:52:39 +0100 Subject: [ecoop-info] final CFP ESOP 2008 - abstract due 5th October In-Reply-To: <87abr1lj74.wl%igarashi@kuis.kyoto-u.ac.jp> References: <87abr1lj74.wl%igarashi@kuis.kyoto-u.ac.jp> Message-ID: <47027757.2050704@doc.ic.ac.uk> A three day conference devoted to fundamental issues in the specification, analysis, and implementation of programming languages and systems. Abstracts due: 5th October 2007 (strict) Submissions due: 12th October 2007 (strict) Acceptance notification: 7th December 2007 Camera-ready papers due: 4th January 2008 ETAPS conference: 29th March - 6th April 2008 Invited Speaker is Thierry Coquand, Chalmers, Sweden. More at http://esop2008.doc.ic.ac.uk/ Please, contact me with any further questions. Sophia Drossopoulou http://www.doc.ic.ac.uk/~scd/index.html -- =================================================================== Sophia Drossopoulou Department of Computing, http://www.doc.ic.ac.uk/~scd/index.html Imperial College fax: (+44) 20 7581 8024 London, UK From rnitendra at in.ibm.com Wed Oct 3 06:20:46 2007 From: rnitendra at in.ibm.com (Nitendra Rajput) Date: Wed, 3 Oct 2007 09:50:46 +0530 Subject: [ecoop-info] CFP: IUI4DR Workshop on Intelligent User Interfaces for Developing Regions with IUI 2008 Message-ID: **** We apologise for any cross-postings **** Call For Papers: Workshop on IUI4DR - Intelligent User Interfaces for Developing Regions (in conjunction with IUI '08) Canary Islands, Spaiin January 13, 2008 http://research.ihost.com/iui4dr Organisers: * Sheetal K. Agarwal, IBM Research, India * John Canny, UC Berkeley, USA * Apala Lahiri Chavan, Human Factors International, India * Nitendra Rajput, IBM Research, India Advisory Committee: * Michelle X Zhou, IBM T J Watson Research Center, USA Program Committee: * Ravin Balakrishnan, University of Toronto, Canada * Michael Best, Georgia Institute of Technology, USA * Mary Czerwinski, Microsoft Research, USA * Gary Geunbae Lee, Pohang University of Science and Technology, Korea * Sougata Mukherjea, IBM Research, India * Oscar Murillo, Microsoft, Colombia * Shimei Pan, IBM T J Watson Research Center, USA * Pearl Pu, EPFL, Switzerland * Anxo Cereijo Roibas, Vodafone, UK * Andy Smith, Thames Valley University, UK * Andrew Thatcher, University of the Witwatersrand, South Africa Theme: Information Technology has had significant impact on the society and has touched all aspects of our lives. So far, computers and expensive devices have fueled this growth. It has resulted in several benefits to the society. The challenge now is to take this success of IT to its next level where IT services can be accessed by masses. "Masses" here mean the people who (a) are not yet IT literate and/or (b) do not have the purchase power to use the current IT delivery mechanisms (PC centric model) and/or (c) do not find current IT solutions and services relevant to their life or business. Interestingly, a huge portion of the world's population falls in this category. To enable the IT access to such masses, this workshop aims to focus on easy-to-use and affordable, yet powerful, user interfaces that can be used by this population. The workshop aims to bring together researchers in the industry and the academia to focus on user interface issues related to designing interfaces for this population. Topics of Interest: Considering the social, cultural, educational and economic diversity of developing regions, the challenge is to develop appropriate and effective interfaces/interaction techniques that will enable these users to access services that currently remain elusive to them. The focus areas of the workshop include, but are not limited to: * Novel and effective interfaces that reduces the cognitive load on the users who usually operate in chaotic environments: People in developing regions often would access these interfaces in noisy and crowded surroundings. Providing privacy through the intelligent UI and handling the noise would be a challenge for such interfaces. * Interfaces for semi-literate and illiterate users: Iconic interfaces, speech-based interfaces and multimodal interfaces offer promising solutions to overcome literacy issues. Any other interface that does not need language skills will be of interest to this workshop. * Designs tailored to factor social and cultural issues: If an interface technology is culturally not acceptable to a society, it may not have acceptability. So interfaces that reflect the culture of the society are bound to be promising. * Shared user interfaces and devices: People developing regions seldom own a computing device on an individual basis. Access to applications or services is mainly through kiosks or phones. Most families now own a cell phone that is shared among family members. * Cost-effective interfaces: Since the purchase power of this society is not high, expensive and sophisticated interfaces may not be the right choice. Intelligent use of cost-effective devices will therefore be more acceptable for this population. We seek original, unpublished papers in the following three categories: (a) Position papers that describe novel ideas that can lead to interesting research directions, (b) Early results or work-in-progress that has significant promise, or, (c) Full papers. Papers should be of 4-6 pages in length in the IUI publication format. The LaTeX (http://www.iuiconf.org/LaTeXclassfile.zip) and Microsoft Word (http://www.iuiconf.org/chi2008pubsformat.doc) templates are available through these links. All submissions should be in the PDF format and should be submitted electronically through the IUI4DR Easychair Conference site (http://www.easychair.org/iui4dr08). Since the submission deadlines are dependent on the IUI conference, we will not be able to grant any extensions in any circumstances. Since the workshop also aims to be a meeting point for researchers working in this area, atleast one author of accepted papers should attend the workshop to present their work. Demos: In addition to the papers, participants are also invited to submit interesting demonstrations of working systems. These demos should reflect the usability of the systems for developing regions. A one page description of the system should be submitted through the workshop submission site by November 11, 2007. The description should also provide any equipment that is required for the demo. Needless to say, if accepted, the demonstrators should be able to travel to the workshop for presenting their work. Key Dates * Paper/Demo Submission Deadline: Nov 11, 2007 (11:59 pm Spain Time) * Notification: Dec 01, 2007 * Early Registration Deadline: Dec 03, 2007 * Workshop: Jan 13, 2008. Websites * IUI4DR Workshop: http://research.ihost.com/iui4dr * IUI '08 Conference : http://www.iuiconf.org/ From rault at cnam.fr Wed Oct 3 16:55:04 2007 From: rault at cnam.fr (Jean-Claude RAULT) Date: Wed, 03 Oct 2007 16:55:04 +0200 Subject: [ecoop-info] ICSSEA 2007 - Software & Systems Engineering and their Applications Message-ID: <6.1.1.1.1.20071003165457.030f1720@pop.cnam.fr> CALL FOR PARTICIPATION ICSSEA 2007 20th International Conference Software & Systems Engineering and their Applications SYSTEMS INTEGRATION & INTEROPERABILITY December 4-6, 2007 - CNAM, Paris, France SPONSORS: CNAM/CMSL, G?nie Logiciel, SEE (Soci?t? de l??lectricit?, de l??lectronique et des Technologies de l?Information et de la Communication), SIA (Soci?t? des Ing?nieurs de l?Automobile) www.icssea.org In the face of increasing integration of technical, social and informational environments, it is no longer possible to bind information systems or computer applications to the sole context of a particular group of users or organization. In the context of more and more integrated business processes, involving increasing numbers of companies of different sectors as a virtual enterprise, a real cooperation between computer systems is strongly required. Correlatively to the emergence of Internet and mobile communications, the trend is now to offer to the citizen more powerful, sophisticated context-aware, and ubiquitous services, requiring a reliable ad hoc orchestration of multiple and heterogeneous information sources and systems. In the past, industry and software vendors were coping with the "plumbing" aspects of interoperability, i.e. ensuring that the bits could reliably flow from a computer to another. Now that connectivity to diverse sources has eased with standard protocols, the emphasis is shifting to semantic interoperability, i.e., to the ability to achieve meaningfully exchange of information among independently developed systems, including the ?understanding? of the information's format, meaning, and information quality. Information interoperability continues to be a major challenge for industries that have now to cope with continuous change, mergers, splits, as well as technology evolution. Ontology and knowledge-based approaches are constantly proposed as a basis for solutions to such a challenge, but new approaches facilitating an ?a posteriori? interoperability of already existing systems are also strongly required. Beyond information interoperability, cooperation between systems should be possible, i.e. different systems should be able to provide each other with context-aware services, enabling the emergence of a set of higher level services. In this context, the emerging idea of systems of systems puts the emphasis on the need for new system engineering methods taking cooperation into account. The classical approach of software and system design, based on the paradigm of well-known and fixed environment and user community should evolve towards new methods taking into account the ability to interoperation. New approaches such as collaborative systems, agent-based systems or ambient information environments have to be developed. With regard to the above trend, software and systems processes, methods, architecture models, and tools ineluctably require novel approaches adapted to interoperability. Assuredly, this concerns system global life cycle, particularly requirements engineering, designing as well as testing and validating software & systems. Co-organized by SEE and the Center for Mastering Systems & Software (CMSL) of CNAM (Conservatoire National des Arts et M?tiers), the 20th edition of the ICSSEA Conference (International Conference on Software & Systems Engineering and their Applications) will be held in Paris on December 4-6, 2007. It aims at providing a critical survey of the current status of tools, methods, and processes for elaborating software & systems, in gathering actors from the enterprise and research worlds. However, lectures and discussions will be conducted with service and system interoperability as a leitmotiv. ________________________________________________________ SESSIONS Tuesday, December 4 Session 1: Inaugural Lectures Session 2: Systems Engineering Session 3: Products & Prototypes Wednesday, December 5 Session 4: Architectures Session 5: Requirements Engineering Session 6: Platforms Session 7: Business Process Engineering Session 8: Refactoring & Reengineering Thursday, December 6 Session 9: Integration & Interoperability Session 10: Computer-Supported Collaborative Work Session 11: Project Management Session 12: V&V and Certification Session 13: Model-Driven Engineering Session 14: Knowledge Engineering Session 15: Quality Engineering Session 16: Closing TUTORIALS Tutorial 1: Testing and Test Control Notation (TTCN-3) Tutorial 2: Groupware & CSCW requirements specification for acceptance testing Tutorial 3: Systems of Systems? Quality Assurance ASSOCIATED EVENT STV 07: Systems Testing and Validation DEMOS & EXHIBITION INFORMATION REQUEST to be returned to rault at cnam.fr Last Name: ... First Name: . Organization: ... E-mail: . . ( ) I am interested ( ) I wish to receive the printed program booklet ( ) I wish to receive the program booklet as a pdf file From Christine.Paulin at lri.fr Wed Oct 3 10:34:30 2007 From: Christine.Paulin at lri.fr (Christine Paulin) Date: Wed, 03 Oct 2007 10:34:30 +0200 Subject: [ecoop-info] MPC 2008: FIRST CALL FOR PAPERS Message-ID: FIRST CALL FOR PAPERS 9th International Conference on Mathematics of Program Construction (MPC'08) Marseille (Luminy), France, July 15-18th 2008 http://mpc08.lri.fr BACKGROUND The biennial MPC conferences aim to promote the development of mathematical principles and techniques that are demonstrably practical and effective in the process of constructing computer programs. Topics of interest range from algorithmics to support for program construction in programming languages and systems. The previous conferences were held in Twente, The Netherlands (1989), Oxford, UK (1992), Kloster Irsee, Germany (1995), Marstrand, Sweden (1998), Ponte de Lima, Portugal (2000), Dagstuhl, Germany (2002), Stirling, UK (2004, colocated with AMAST '04) and Kuressaare, Estonia (2006, colocated with AMAST '06). The 2008 conference will be held in Marseille, France at the International Center for Mathematical Meetings (http://http://www.cirm.univ-mrs.fr/web.ang). INVITED SPEAKERS To be announced. IMPORTANT DATES * Submission of abstracts: 14 January 2008 * Submission of full papers: 21 January 2008 * Notification of authors: 10 March 2008 * Camera-ready version: 10 April 2008 TOPICS Papers are solicited on mathematical methods and tools put to use in program construction. Topics of interest range from algorithmics to support for program construction in programming languages and systems. Some typical areas are type systems, program analysis and transformation, programming-language semantics, program logics. Theoretical contributions are welcome provided their relevance for program construction is clear. Reports on applications are welcome provided their mathematical basis is evident. SUBMISSION Submission is in two stages. Abstracts (plain text) must be submitted by 14 January 2008. Full papers (pdf) adhering to the llncs style must be submitted by 21 January 2008. There is no official page limit, but authors should strive for brevity. The web-based submission system will open in early December 2007. Papers must report previously unpublished work and not be submitted concurrently to another conference with refereed proceedings. Accepted papers must be presented at the conference by one of the authors. The proceedings of MPC'08 will be published in the Lecture Notes in Computer Science series of Springer-Verlag. After the conference, the authors of the best papers will be invited to submit revised versions to a special issue of the Science of Computer Programming journal of Elsevier. PROGRAMME COMMITTEE Christine Paulin-Mohring INRIA-Universit? Paris-Sud, France (chair) Philippe Audebaud Ecole Normale Sup?rieure Lyon, France (co-chair) Ralph-Johan Back Abo Akademi University, Finland Eerke Boiten University of Kent, UK Venanzio Capretta University of Nijmegen, Netherlands Sharon Curtis Oxford Brookes University, UK Jules Desharnais Universit? Laval, Qu?bec, Canada Peter Dybjer Chalmers University of Technology, Sweden Jeremy Gibbons University of Oxford, UK Lindsay Groves Victoria University of Wellington, New Zealand Ian Hayes University of Queensland, Australia Eric Hehner University of Toronto, Canada Johan Jeuring Utrecht University, Netherlands Dexter Kozen Cornell University, USA Christian Lengauer Universit?t Passau, Germany Lambert Meertens University of Utrecht, Netherlands Bernhard M?ller Universit?t Augsburg, Germany Carroll Morgan University of New South Wales, Australia Shin-Cheng Mu Academia Sinica, Taiwan Jose Nuno Oliveira Universidade do Minho, Portugal Tim Sheard Portland State University, USA Tarmo Uustalu Institute of Cybernetics Tallin, Estonia VENUE The conference will be held in Marseille, the second largest city in France next to Paris. Its port is the most important in France, and opens the city to the world through the Mediterranean Sea. MPC'08 will be hosted by the International Center for Mathematical Meetings. The center is located inside the Campus of Luminy Faculty. It is close to the "Calanques", an astounding wild coastline composed of creeks stretching from Marseille to Cassis. LOCAL ORGANIZERS MPC 2008 is organized with the support of INRIA. The local organizers are Philippe Audebaud and Christine Paulin-Mohring. Enquiries regarding the programme (submission etc.) should be addressed to mpc08(at)lri.fr From giacomo.cabri at unimore.it Thu Oct 4 13:56:43 2007 From: giacomo.cabri at unimore.it (Giacomo Cabri) Date: Thu, 04 Oct 2007 13:56:43 +0200 Subject: [ecoop-info] MODIES 2008 Deadline Extension 10/10/07 - MObile and DIstributed approaches in Emergency Scenarios Message-ID: <4704D4FB.8090704@unimore.it> Deadline extended to October 10th, 2007 Full papers (max 4 pages) or short papers (max 2 pages) CALL FOR PAPERS Workshop on MObile and DIstributed approaches in Emergency Scenarios (MODIES) At the 2nd International Conference on Pervasive Computing Technologies for Healthcare 2008 Tampere, Finland, January 29th, 2008 http://www.pervasivehealth.org/ The field of medical emergencies is more dynamic and subject to context variability compared to other e-health fields. The emergency management domain is very information-intensive and mission-critical, and the involved tasks exhibit wide heterogeneity, difficulties in communicating and in physically reaching the place. The efficiency of the assistance is an aspect of vital importance, so that all involved people (healthcare workers, drivers, police, firemen, and so on) need to communicate, coordinate and access distributed resources in a simple and fast way. The employed resources (users and medical devices) must dynamically organize themselves in a temporary net, where communication links are established just in time. Therefore, the major requirements of such support systems are dynamicity and context-awareness, i.e. they have to easily self-configure and adapt to the situation variability. The above described context demands the adoption of very innovative and powerful paradigms, much more dynamic and flexible than those usually adopted for conventional distributed systems. The workshop we propose will focus on mobile and distributed approaches to face the issues of emergency scenarios, and to support involved actors in their tasks. This workshop solicits papers (from researchers and practitioners) that address key issues, open problems, models, infrastructures and innovative applications related to mobile and distributed approaches in emergency scenarios. TOPICS OF THE WORKSHOP include, but are not limited to: - Mobile health care - Emergency management - Disaster response - Architectures, infrastructures and middleware for distributed and mobile health care - Applications in emergency scenarios - Monitoring in mobile contexts - Distributed medical data acquisition, integration and management - (Mobile) agents and e-health - Context-aware approaches for distributed and mobile health care IMPORTANT DATES: Paper Submission Deadline: October 10th, 2007 Notification to Authors: November 16th, 2007 Camera Ready: November 30th, 2007 PAPER SUBMISSION MODIES 2008 accepts submissions that describe original, research work not submitted or published elsewhere. The workshop accepts two types of submissions: Full Papers presenting significant contributions to research and practice (maximum 4 pages) and Short Papers presenting late-breaking results and ongoing work (maximum 2 pages). All submissions must follow IEEE's conference style two-column format including figures and references. Authors are requested to submit their PDF manuscripts electronically using COCUS System (http://www.cocus.info) by following the link and instructions at the workshop home page WORKSHOP CHAIR Giacomo Cabri, Francesco De Mola Email giacomo.cabri at unimore.it, francesco.demola at unimore.it -- |-------------------------------------------------| | Prof. Giacomo Cabri - Ph.D., Associate Professor | Dipartimento di Ingegneria dell'Informazione | Universita' di Modena e Reggio Emilia - Italia | e-mail giacomo.cabri at unimore.it | tel. +39-059-2056190 fax +39-059-2056129 |-------------------------------------------------| From heiner at informatik.uni-mannheim.de Thu Oct 4 18:19:58 2007 From: heiner at informatik.uni-mannheim.de (Heiner Stuckenschmidt) Date: Thu, 4 Oct 2007 18:19:58 +0200 Subject: [ecoop-info] ESWC 2007 Call for Workshop Proposals Message-ID: <001e01c806a2$94502c90$6402a8c0@informatik.unimannheim.de> Call for Workshop Proposals 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 participants from academia and industry. Besides the main technical programme, ESWC will host a number of workshops on topics related to the general theme of the conference. The role of the workshops is to provide a platform for a more intensive scientific exchange amongst researchers interested in a particular topic and as a meeting point for the community. The workshops should provide the opportunity to present and discuss ongoing work and new ideas in subfield of Semantic Web research. In order to meet these goals, workshop should address topics that satisfy the following criteria: - the topic falls in the general scope of the ESWC conference (compare http://www.eswc2008.org/) - there is a clear focus on a specific technology, problem or application - there is a sufficiently large community interested in the topic In particular, we encourage the submission of workshop proposals on - fundamental problems of the semantic web such as heterogeneity, scalability and distribution - applications of semantic web technologies in specific domains - important enabling technologies and their adaptation to the needs of the semantic web - aspects of semantic web research that have been neglected so far Workshop proposals should be sent to the workshop chair (heiner at informatik.uni-mannheim.de) before December 2007 as a single PDF file of no more than 5 pages and should contain the following information - name, address and experience of the workshop organizers - the proposed topic and its role in the semantic web - a clear explanation of the scope of the workshop - a description of the community addressed, information about it size and related activities - if possible a tentative list of PC members Proposers of accepted workshops have to prepare a workshop webpage containing a call for papers and detailed information about the workshop organization and timelines by mid January. Other relevant dates are the following. Important Dates: Workshop Proposals Due: December 1, 2007 Notification of Acceptance: December 15, 2007 Workshop URL due: January 11, 2008 Proposed timeline for workshops: Deadlines: march 7, 2008 Notifications: April 4, 2008 Camera ready: April 18, 2008 Workshop Notes due: May 1, 2008 Heiner Stuckenschmidt (ESWC 2008 Workshop Chair) -- ============================================= Prof. Dr. Heiner Stuckenschmidt Institut f?r Informatik Universit?t Mannheim A5, 6 68159 Mannheim Room C216 tel.: +49 621 181 2530 fax: +49 621 181 2679 email: heiner at informatik.uni-mannheim.de www: http://ki.informatik.uni-mannheim.de --------------------------------------------- Life is a lemon and I want my money back! From Andrew.Fish at bton.ac.uk Fri Oct 5 14:06:20 2007 From: Andrew.Fish at bton.ac.uk (Andrew.Fish at bton.ac.uk) Date: Fri, 5 Oct 2007 13:06:20 +0100 Subject: [ecoop-info] CFP for Special Issue of JOLLI on Visual Languages and Logic Message-ID: <19975A316C67744D9720DD2F6AB1FC6604412101@EXCHANGE1.university.brighton.ac.uk> Apologies for multiple copies. ------------------------------------------------------------------------- Journal of Logic, Language and Information (JOLLI) Special Issue on Visual Languages and Logic Diagrams of one sort or another have always been used as aids to abstract reasoning. Although many are informal mnemonics, reminding their authors about structures and relationships they have observed or deduced, considerable research effort has been expended on formalising graphical notations so that they may play a more central role in the application of logic to problems. While early work concentrated on diagrammatic representations of logic as a more intuitive or revealing paper-based replacement for textually represented logic, research in this area now mostly involves notations specifically designed for computer implementation either as computational models or interface languages. Examples include relational and existential graphs (C.S. Peirce), conceptual graphs (J.F. Sowa), various flavours of semantic networks such as conceptual dependency graphs (R. Schank), graphical deduction systems such as clause interconnectivity graphs (S. Sickel), Venn diagrams, Euler diagrams, constraint diagrams, and visual logic programming languages. Following the success of the 2007 Workshop on Visual Languages and Logic (VLL 2007) (http://vivid.cs.dal.ca/VLL), we are soliciting, for a Special Issue of JOLLI, papers in which the primary focus is research at the intersection of logic and visual languages. In particular, we invite VLL 2007 authors to submit updated and expanded versions of their papers. Topics of interest include, but are not limited to: ? Graphical notations for logics (either classical or non-classical, such as first or higher order logic, temporal logic, description logic, independence friendly logic, spatial logic) ? Diagrammatic reasoning ? Theorem proving ? Formalisation (syntax, semantics, reasoning rules) ? Expressiveness of visual logics ? Visual logic programming languages ? Visual specification languages ? Applications ? Tool support for visual logics If you intend to submit a paper, please email a title, abstract and keywords to VLL at cs.dal.ca by November 30, 2007. This information will be used to assign referees in advance of the paper deadline. Your paper may be up to 30 pages, must conform to the JOLLI style (see following URL), and be emailed as a PDF to VLL at cs.dal.ca by January 31, 2008. Note that although PDF is not the required format for the final copies of accepted papers, it is the most convenient for reviewing. http://www.springer.com/west/home/philosophy/logic?SGWID=4-40392-70-35503189-0&detailsPage=contentItemPage&contentItemId=141475&CIPageCounter=CI_FOR_AUTHORS_AND_EDITORS_PAGE1#anchor1 If you have any questions about this Special Issue, please email VLL at cs.dal.ca. Philip Cox, Dalhousie University; Andrew Fish and John Howse, University of Brighton Guest Editors, Special Issue on Visual Languages and Logic Journal of Logic, Language and Information From Guy.Vidal-Naquet at supelec.fr Fri Oct 5 14:23:00 2007 From: Guy.Vidal-Naquet at supelec.fr (Guy Vidal-Naquet) Date: Fri, 5 Oct 2007 14:23:00 +0200 Subject: [ecoop-info] MoVaH'08 Message-ID: Apologies for cross postings Please disseminate where relevant MoVaH'08: Workshop on Modeling, Validation and Heterogeneity ----------------------------------------------------------- http://wwwdi.supelec.fr/fb/MoVaH08/ with the first IEEE International Conference on Software Testing, verification and validation ICST 2008 Lillehammer, Norway, April 9 2008 Scope ----- Industrial systems are more and more heterogeneous at several levels. At the realization level, heterogeneity comes from the fact that systems are composed of software parts, hardware parts or mechanical parts. Heterogeneity may also come from the fact that several software parts may be written using different programming languages. Heterogeneity can also be observed at the design level. A specification (or model) of a system is heterogeneous when it is composed of several specifications written in different specification (modeling) languages. Heterogeneity at the design level may also come from the fact that designers want to chose the most suitable specification language for each subsystem: for example UML is adapted to the design of subsystems that will be implemented using an object-oriented language, algebraic specifications are adapted to the design of subsystems that will be implemented using functional languages, a language like Esterel is adapted to the design of reactive subsystems... Another cause of heterogeneity at the design or realization level is that for economical and "time to market" reason, modern systems are often designed (realized) by reusing already existing models (realizations). Difficulties related to the management of heterogeneity occur at the semantic level: in an heterogeneous model, specification languages have different semantics that have to be connected in some way: either by considering a common pivot language used to re-express all models and structure their combination, or by defining heterogeneous glues in a language dedicated to this purpose. The same problem occurs for realizations of software systems consisting of several heterogeneous subsystems since one has to define how to structure several pieces of software written in different programming languages and how there are executed. Structuring software subsystems and hardware or mechanical subsystems is even more had-hoc due to the intrinsic different natures of such subsystems. This workshop aims at being a forum for researchers and practitioners with varying backgrounds to discuss new ideas concerning the management of heterogeneous systems. Contributions may consist in: * case studies illustrating methods to structure heterogeneous models or realizations, * formal or semi-formal methods to specify or realize heterogeneous systems, * theoretical frameworks to study heterogeneity of systems, * verification, validation or proof-based techniques for heterogeneous systems Format of papers ---------------- Submitted papers should be at most 10 pages in IEEE double column formats. Papers will be reviewed by at least two persons. Accepted papers will be published in the IEEE digital library. Important dates --------------- * submission of papers: December 15 2007 * notification: February 15 2008 * camera ready: March 1st 2008 * workshop: April 9 2008 Organizing Committee -------------------- * Fr?d?ric Boulanger (frederic dot boulanger at supelec dot fr), Sup?lec, France * Christophe Gaston (christophe dot gaston at cea dot fr), CEA LIST, France * Pierre-Yves Schobbens (pys at info dot fundp dot ac dot be), FUNDP, Belgium Program Committee ----------------- * Marc Aiguier, ?cole Centrale, France * Sophie Coudert, LabSoC, France * Stephen A. Edwards, Columbia University, USA * Susanne Graf, VERIMAG, France * Stephen Neuendorffer, Xilinx, USA * Marie-Agn?s P?raldi-Frati, I3S, France * Markus Roggenbach, University of Wales Swansea, UK * Guy Vidal-Naquet, Sup?lec, France From Oege.de.Moor at comlab.ox.ac.uk Fri Oct 5 15:18:54 2007 From: Oege.de.Moor at comlab.ox.ac.uk (Oege.de.Moor at comlab.ox.ac.uk) Date: Fri, 5 Oct 2007 13:18:54 GMT Subject: [ecoop-info] PEPM 2008: abstracts due Oct 12 Message-ID: <200710051318.l95DIs6K003214@mercury.comlab.ox.ac.uk> >>> LAST CALL <<< >>> abstracts - Oct 12, full papers - Oct 17 <<< PEPM 2008 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation January 7-8, 2008, San Francisco Keynotes by Ras Bodik (Berkeley) and Monica Lam (Stanford) Co-located with POPL http://www.program-transformation.org/PEPM08/WebHome PEPM is a leading venue for the presentation of cutting-edge research in program analysis, program generation and program transformation. Its proceedings are published by ACM Press; full details of the scope, submission process, and program committee can be found at the above URL. The program committee would particularly welcome submissions from researchers in object-oriented programming on any topic relating to techniques for manipulating OO programs Abstracts are due on October 12, and the deadline for full paper submission is October 17. Prospective authors are welcome to contact the program chairs, Robert Glueck (glueck at acm.org) and Oege de Moor (oege at comlab.ox.ac.uk) with any queries they might have. From igarashi at kuis.kyoto-u.ac.jp Sun Oct 7 04:41:01 2007 From: igarashi at kuis.kyoto-u.ac.jp (Atsushi Igarashi) Date: Sun, 07 Oct 2007 11:41:01 +0900 Subject: [ecoop-info] Extended submission deadlnie: FOOL2008 Message-ID: <87sl4n7iki.wl%igarashi@kuis.kyoto-u.ac.jp> The paper deadline has been extended to Oct. 11th, although the title and abstract should be submitted by Oct. 8th (inclusive). Atsushi Igarasahi, FOOL'08 PC Chair -- Final Call For Papers 2008 International Workshop on Foundations of Object-Oriented Languages (FOOL '08) Sponsored by ACM SIGPLAN Sunday, 13 January 2008 San Francisco, California, USA Following POPL '08 http://fool08.kuis.kyoto-u.ac.jp/ Submission: https://www.softconf.com/starts/fool08/submit.html Deadlines Title & Abstract Submissions: Monday, 8 October 2007 Paper Submissions: Thursday, 11 October 2007 Notifications: Monday, 26 November 2007 Final versions: Monday, 17 December 2007 Workshop Description The search for sound principles for object-oriented languages has given rise to much work during the past two decades, leading to a better understanding of the key concepts of object-oriented languages and to important developments in type theory, semantics, program verification, and program development. FOOL became FOOL/WOOD in 2006, joining forces with the Workshop on Object-Oriented Developments. Although this year the name returns to FOOL, it is the third workshop in that successful merger. FOOL'08 will be held in San Francisco, California, USA on Sunday, 13 January 2008, the day after POPL. Submissions for this event are invited in the general area of foundations of object-oriented languages and program analysis. Topics of interest include language semantics, type systems, program analysis and verification, formal calculi, concurrent and distributed languages, database languages, and language-based security issues. Papers are welcome to include formal descriptions and proofs, but these are not required; the key consideration is that papers should present novel and valuable ideas or experiences. The main focus in selecting workshop contributions will be the intrinsic interest and timeliness of the work, so authors are encouraged to submit polished descriptions of work in progress as well as papers describing completed projects. A web page will be created and made available as an informal electronic proceedings. Historically, presentation at FOOL (or FOOL/WOOD) does not count as prior publication, and many of the results presented at FOOL have later been published at ECOOP, OOPSLA, POPL, and other conferences. Submission Instructions We solicit submissions on original research not previously published or currently submitted for publication elsewhere. The program chair should be informed of any related submissions; see the ACM SIGPLAN Republication Policy (http://www.acm.org/sigs/sigplan/republicationpolicy.htm). Submissions should be PDF or PostScript in standard SIGPLAN 9pt conference format for a US-letter size page. Templates are available at http://www.acm.org/sigs/sigplan/authorInformation.htm . While submissions can be up to 12 pages, shorter papers describing promising preliminary work are also encouraged. To submit a paper, use the form at https://www.softconf.com/starts/fool08/submit.html . Program Chair Atsushi Igarashi (Kyoto University) e-mail: fool08 at kuis.kyoto-u.ac.jp Program Committee Jonathan Aldrich (Carnegie Mellon University) Susan Eisenbach (Imperial College) Manuel Fahndrich (Microsoft Research) Cormac Flanagan (University of California, Santa Cruz) Matthew Flatt (University of Utah) Jacques Garrigue (Nagoya University) Matthew Parkinson (University of Cambridge) Julian Rathke (University of Southampton) Frank Tip (IBM) Tobias Wrigstad (Stockholm University) Steering Committee Viviana Bono (Universita` di Torino) Michele Bugliesi (Universita` Ca' Foscari) Kathleen Fisher (AT&T Labs) Benjamin Pierce (University of Pennsylvania) John Reppy (University of Chicago) Christopher Stone (Harvey Mudd College) [Chair] Philip Wadler (University of Edinburgh) From herme at fi.upm.es Mon Oct 8 00:26:55 2007 From: herme at fi.upm.es (Manuel Hermenegildo) Date: Mon, 8 Oct 2007 00:26:55 +0200 Subject: [ecoop-info] FLOPS 2008 - Final CFP - Deadline: Oct 10 / Oct 17 (extended!) Message-ID: <18185.23855.774799.328596@localhost.localdomain> (Apologies for multiple postings.) FINAL CALL FOR PAPERS Ninth International Symposium on Functional and Logic Programming (FLOPS 2008) April 14-16, 2008 Ise, Japan Submission deadline (abstract): October 10, 2007 Submission deadline (full paper, extended!): October 17, 2007 Keynotes: Peter Dybjer, Naoki Kobayashi, and Torsten Schaub http://www.math.nagoya-u.ac.jp/~garrigue/FLOPS2008/ FLOPS is a forum for research on all issues concerning declarative programming, including functional programming and logic programming, and aims to promote cross-fertilization and integration between the two paradigms. Previous FLOPS meetings were held in Fuji Susono (1995), Shonan Village (1996), Kyoto (1998), Tsukuba (1999), Tokyo (2001), Aizu (2002), Nara (2004), and Fuji Susono (2006). TOPICS FLOPS solicits original papers in all areas of functional and logic programming, including (but not limited to): Declarative Pearls: new and excellent declarative programs with illustrative applications; Language issues: language design and constructs, programming methodology, integration of paradigms, interfacing with other languages, type systems, constraints, concurrency and distributed computing; Foundations: logic and semantics, rewrite systems and narrowing, type theory, proof systems; Implementation issues: compilation techniques, memory management, program analysis and transformation, partial evaluation, parallelism; Applications: case studies, real-world applications, graphical user interfaces, Internet applications, XML, databases, formal methods and model checking. The proceedings are expected to be published as an LNCS volume. The proceedings of the previous meeting (FLOPS2006) were published as LNCS 3945. INVITED SPEAKERS Peter Dybjer (Chalmers, Sweden) Naoki Kobayashi (Tohoku, Japan) Torsten Schaub (Potsdam, Germany) PC CO-CHAIRS Jacques Garrigue (Nagoya, Japan) Manuel Hermenegildo (Madrid, Spain and New Mexico, USA) PC MEMBERS Maria Alpuente (Valencia, Spain) Sergio Antoy (Portland, OR, USA) Matthias Blume (TTI, Chicago, USA) Tyng-Ruey Chuang (Academia Sinica, Taiwan) Zhenjiang Hu (Tokyo, Japan) Oleg Kiselyov (FNMOC, Monterey, USA) Herbert Kuchen (Muenster, Germany) Dale Miller (INRIA, Palaiseau, France) Atsushi Ohori (Tohoku, Japan) Enrico Pontelli (New Mexico, USA) Kristoffer Rose (IBM Watson, USA) Kazunori Ueda (Waseda, Japan) Peter Van Roy (Louvain-la-Neuve, Belgium) Benjamin Werner (INRIA, Palaiseau, France) LOCAL CHAIR Shoji Yuen (Nagoya, Japan) SUBMISSION Submissions must be unpublished and not submitted for publication elsewhere. Work that already appeared in unpublished or informally published workshops proceedings may be submitted. Submissions should fall into one of the following categories: Regular research papers: they should describe new results and will be judged on originality, correctness, and significance. System descriptions: they should contain a link to a working system and will be judged on originality, usefulness, and design. All submissions must be written in English and can be up to 15 proceedings pages long. Authors are strongly encouraged to use LaTeX2e and the Springer llncs class file, available at http://www.springer.de/comp/lncs/authors.html Regular research papers should be supported by proofs and/or experimental results. In case of lack of space, this supporting information should be made accessible otherwise (e.g., a link to a web page, or an appendix). Submission is Web-based. Please visit: http://www.easychair.org/FLOPS2008 IMPORTANT DATES Submission deadline (abstract): October 10, 2007 Submission deadline (full paper): October 17, 2007 Author notification: December 21, 2007 Camera-ready copy: January 21, 2008 Conference: April 14-16, 2008 PLACE Ise, Japan Previous FLOPS: FLOPS 2006, Fuji Susono: http://hagi.is.s.u-tokyo.ac.jp/FLOPS2006/ FLOPS 2004, Nara: http://logic.cs.tsukuba.ac.jp/FLOPS2004/ FLOPS 2002, Aizu: http://www.ipl.t.u-tokyo.ac.jp/FLOPS2002/ FLOPS 2001, Tokyo: http://www.ueda.info.waseda.ac.jp/flops2001/ SPONSOR Japan Society for Software Science and Technology (JSSST) SIG-PPL IN COOPERATION with Asian Association for Foundation of Software (AAFS) Association for Logic Programming (ALP) ACM SIGPLAN (pending) INQUIRIES to -- ------------------------------------------------------------------------------- Manuel Hermenegildo | Prof., C.S. Department Director, IMDEA-Software and CLIP Group | T.U. of Madrid (UPM) http://www.cliplab.org/herme | +34-91-336-7435 (W) -352-4819 (Fax) ------------------------------------------------------------------------------- From iporres at abo.fi Mon Oct 8 09:21:38 2007 From: iporres at abo.fi (Ivan Porres) Date: Mon, 8 Oct 2007 10:21:38 +0300 Subject: [ecoop-info] Post-doc position Message-ID: The Department of Information Technologies at ?bo Akademi University in Turku, Finland is looking for a post-doctoral researcher in the areas of empirical software engineering and software testing. The employment period is one year, ideally starting from January 2008. Candidates should have a doctoral degree in software engineering or a closely related field and research experience in empirical software engineering. The ideal candidate has a strong background in the empirical investigation and evaluation of software verification and validation methods including knowledge of software metrics and experiment design and analysis. Participation in research projects in collaboration with the industry will be considered a merit. The work will be carried out in the context of the LIME project (Lightweight Formal Methods for Embedded Systems). This project is a collaboration between the Laboratory for Theoretical Computer Science at the Helsinki University of Technology, the Department of Information Technologies at ?bo Akademi University and four Finnish ITC companies. The project is funded mainly by Tekes, the Finnish Funding Agency for Technology and Innovation. The salary will be based on the new salary system for university employees in Finland. In practice, the monthly salary for a postdoctoral researcher in Turku is around 2500-3000 euro before taxes depending on experience. Interested candidates can send an application by regular mail including a motivation letter, C.V., list of publications, 2 academic references and copies of relevant degree certificates to the following address: Ivan Porres Avdelningen f?r informationsteknologi ?bo Akademi Joukahainengatan 3-5 FIN-20520 ?bo Finland Application deadline is November 15. Please include in your application an email address and a telephone number that we can use to contact you during the month of November in case we want to discuss further details of your application. Please contact Ivan Porres (iporres at abo.fi) if you have any questions about the LIME project or the application procedure. --- Ivan Porres iporres at abo.fi www.abo.fi/~iporres From k.g.vandenberg at ewi.utwente.nl Mon Oct 8 11:00:34 2007 From: k.g.vandenberg at ewi.utwente.nl (k.g.vandenberg at ewi.utwente.nl) Date: Mon, 8 Oct 2007 11:00:34 +0200 Subject: [ecoop-info] Vacancy PostDoc Researcher on Evolvability of Software Architectures Message-ID: Vacancy PostDoc Researcher on Evolvability of Software Architectures at the University of Twente Context The project aims at designing evolvable systems for Magnetic Resonance Imaging (MRI) at Philips Medical Systems (PMS) in the context of the Darwin project which started in October 2005. This project is managed by the Embedded Systems Institute (ESI) (http://www.esi.nl/) in Eindhoven. The research is partially carried out in the TRESE Software Engineering Group in Enschede at the University of Twente (http://trese.cs.utwente.nl/). Description The goal of this part of the project is to derive optimal software architectures for MRI-systems. Optimal architecture means that a balance is obtained between selected quality properties of the system, such as evolvability, reliability and performance by means of trade-off analysis. We make explicit relations between components in the architecture and specific quality attributes. We analyze the trade-offs between quality attributes in alternative software decompositions and architectural designs with respect to the existing code base and maintenance data. The selected designs are subject to further measurements in the improvement cycle. As result, improved software architecture designs will be delivered, based on (whenever possible) quantitative trade-off analysis of quality attributes. The position You should have a PhD or equivalent degree in Computer Science or a closely related area, or be able to show that you will receive the degree very soon. Familiarity with architectural analysis, change management and component interface specification techniques is considered an advantage. You are expected to cooperate in an internationally oriented industrial research environment. Good English speaking and writing skills are demanded. You will be appointed for a period of 3 years (until October 2010). The gross salary of a postdoctoral researcher starts at Euro 2740,- per month (depending on expertise and experience) plus an 8% holiday allowance and other benefits. You can obtain further information about this position by enquiring from: Prof. dr. ir. Mehmet Aksit (head of the Software Engineering group) aksit at cs.utwente.nl phone +31(0)534892638 or dr.ir. Klaas van den Berg (supervisor) vdberg at cs.utwente.nl phone +31(0)534893783. Application Please send your application to the secretariat of the Software Engineering Group sesecretariaat at ewi.utwente.nl or fax +31(0)534893247. In your application, you should include: - 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 and PhD thesis. - A list with your publications (preferably with electronic versions) and scientific and professional qualifications. - Letters of recommendation or references of at least two scientific researchers. From invitation at iaria.org Mon Oct 8 10:26:43 2007 From: invitation at iaria.org (IARIA Invitation) Date: Mon, 8 Oct 2007 04:26:43 -0400 (EDT) Subject: [ecoop-info] CFP: ICONS 2008 || ICN 2008 || Cancun, Mexico, April 13-18, 2008 Message-ID: <25544364.1191832003890.JavaMail.Onitza@Oana2> Invitation: Please consider to contribute and distribute to the appropriate groups the following CALL FOR PAPERS, TUTORIALS, PANELS ICONS 2008, The Third International Conference on Systems Site: http://www.iaria.org/conferences2008/ICONS08.html ICN 2008, The Seventh International Conference on Networking Site: http://www.iaria.org/conferences2008/ICN08.html Conference date: April 13-18, 2008 - Cancun, Mexico Important deadlines: Submission deadline: November 5, 2007 Notification of acceptance: December 15, 2007 Registration/camera ready: January 20, 2008 Submissions will be peer-reviewed, published by IEEE CPS, posted in IEEE Digital Library, and indexed with the major indexes. Extended versions of selected papers will be invited for specialized journals. ICONS 2008 Topics (details in the CfP on site): Systems? theory and practice System engineering Systems? instrumentation Embedded systems and systems-on-the-chip Target-oriented systems Specialized systems [Special Systems] Validation systems Security and protection systems Mobile communications and learning [MCL] Advanced systems [Special Systems] Application-oriented systems [Special Systems] Safety in industrial systems [SAFESYS] Micro and nano structures and systems Embedded systems Industrial applications ICN 2008 Topics (details in the CfP on site): 1. Communication theory 2. Communications switching and routing 3. Communications modeling 4. Communications security 5. Computer communications 6. Distributed communications 7. Signal processing in communications 8. Multimedia and multicast communications 9. Wireless communications (satellite, WLL, 4G, Ad Hoc, sensor networks) 10. Next generation networks [NGN] principles 11. Storage area networks [SAN] 12. Access and home networks 13. High-speed networks 14. Optical networks 15. Peer-to-peer and overlay networking 16. Mobile networking and systems 17. MPLS-VPN, IPSec-VPN networks 18. GRID networks 19. Broadband networks 20. Quality of service, service level agreement [QoS/SLA] 21. Reliability, availability, serviceability [RAS] 22. Traffic engineering, metering, monitoring 23. Voice over IP services 24. Performance evaluation, tools, simulation 25. Network, control and service architectures 26. Network signaling, pricing and billing 27. Network middleware 28. Telecommunication networks architectures 29. On-demand networks, utility computing architectures 30. Applications and case studies 31. NGN protocol design and evaluation 32. NGN Standard Activities [ITU, TMF, 3GPP, IETF, etc.] 33. NGN Device Instrumentation 34. Network Management, scheduling and policy 35. NGN policy-based control 36. Networks policy-based management 37. Management of autonomic networks and systems ====================== ====================== ICONS 2008 Technical Program Commitee Chairs: Andrew Adamatzky, University of Western England, UK Josef Boercsoek, University of Kassel / HIMA GmbH+CoKG, Germany Tayeb Giuma, University of North Florida, USA Annamaria Varkonyi-Koczy, Budapest University of Technology and Economics, Hungary ICONS 2008 Special Area Chairs: Mario Cannataro, University of Catanzaro, Italy [Special Systems] Vittoria Gianuzzi, DISI Universita' di Genova, Italy [Special Systems] Ekaterina Prasolova-F?rland, University of Science and Technology - Trondheim, Norway [MCL] Juha R?ning, University of Oulu, Finland [SAFESYS] Michael H. Schwarz, University of Kassel, Germany [SAFESYS] ICN 2008 Technical Program Committee Chairs: Jun Bi, Tsinghua University, China Tibor Gyires, Illinois State University, USA Iwona Pozniak-Koszalka, Wroclaw University of Technology, Poland ====================== To be removed from this announcement list, please reply with "UNSUBSCRIBE ecoop-info at ecoop.org" in the subject line. From leszek at ics.mq.edu.au Mon Oct 8 22:06:33 2007 From: leszek at ics.mq.edu.au (Leszek A. Maciaszek) Date: Tue, 09 Oct 2007 06:06:33 +1000 Subject: [ecoop-info] ENASE 2008 Call for Papers (May 2008, Madeira) Message-ID: <470A8DC9.2040707@ics.mq.edu.au> ENASE 2008 (4 - 7 MAY 2008, FUNCHAL, MADEIRA - PORTUGAL) 3rd International Conference on Evaluation of Novel Approaches to Software Engineering http://www.enase.org IMPORTANT DATES: Paper Submissions: November 9, 2007 Acceptance Notifications: January 4, 2008 Camera-ready Submissions: January 25, 2008 ENASE 2007 will be held in conjunction with WEBIST 2008 ENASE provides a yearly forum for researchers and practitioners to review and evaluate relatively new and original in conception SE methods, practices, architectures, technologies and tools. An important underpinning and assumption of ENASE is that in software engineering "novel" turns out frequently to be just new hype. An objective of ENASE is to reveal any such hype as soon as feasible. This means that ENASE does not exclude more traditional approaches to software development and integration. On the contrary, ENASE endeavors to compare novel with traditional, also to discover if novel is not just traditional in disguise. Consequently, ENASE accepts also papers concentrating on a critique of more established and popular SE approaches. Accordingly, ENASE undertakes to provide fast but careful scientific and empirical evaluation of new as well as more established approaches to software engineering. Of particular interest are experience reports and evaluations (qualitative and quantitative) of existing approaches as well as new ideas and proposals for improvements. The conference solicits experiments, case studies, surveys, meta-analyses, empirical studies, systematic reviews, conceptual explorations, innovative ideas, critical appraisals, etc. related to: * agile software development, * aspect-oriented software development, * agent-oriented software engineering, * multi-agent systems, * model-driven engineering, * component-based software engineering, * evolutionary design, * intentional software, * example centric programming, * meta programming systems, * knowledge management and engineering, * architectural design and meta architectures, * business process management, engineering and reengineering, * process-centric paradigms, * service-oriented architectures, * application integration technologies, * enterprise integration strategies and patterns, * e-business technologies, * requirements engineering frameworks and models, * collaborative requirements management systems, * business and software modeling languages, * software quality management, * software change and configuration management, * geographically distributed software development environments, * cross-feeding between data engineering and software engineering, * design thinking as a paradigm for software development, * formal methods, * software process improvement, * metamodelling, * software development methodologies All papers will be published in the ENASE Proceedings, under an ISBN reference, in paper and in CD-ROM support. Proceedings will be indexed by ISI Proceedings, Inspec, and DBLP bibliographies. A book including a selection of the best papers will be edited and published by Springer. CONFERENCE CHAIRS Filipe, Joaquim (Polytechnic Institute of Set?bal / INSTICC, Portugal) Maciaszek, Leszek A. (Macquarie University ~ Sydney, Australia) PROGRAM CHAIRS Gonzalez-Perez, Cesar (Neco, Spain) Jablonski, Stefan (University of Bayreuth, Germany) ************************************************************************* -- ____________________________________ Leszek A. Maciaszek http://www.comp.mq.edu.au/~leszek ************************************ From ren at iit.edu Tue Oct 9 14:25:20 2007 From: ren at iit.edu (Shangping Ren) Date: Tue, 09 Oct 2007 07:25:20 -0500 Subject: [ecoop-info] CFP: NSF and IEEE sponsored The First International Workshop on Cyber-Physical Systems (WCPS2008) Message-ID: Our apology for multiple copies of this posting. ===================================================================== CALL FOR PAPERS The First International Workshop on Cyber-Physical Systems (WCPS2008) --- in conjunction with ICDCS 2008, June 20, 2008, Beijing, China Travel Grant: There are up to $1,000 travel grant available for every accepted paper. Conference http://www.engin.umd.umich.edu/icdcs/ Workshop http://www.qhdctc.com/wcps2008/ Important Dates: Paper submission: November 26, 2007 Notification of acceptance: Feb. 11, 2008 Camera ready papers: March 9, 2008 We are currently witnessing the emergence an infrastructure for a technical, economic and social revolution that is enabled by Cyber-Physical Systems (CPS). Cyber-physical systems are physical and engineered systems whose operations are integrated, monitored, and controlled by a computational core. The integration of computational and physical processes exhibit complicated behavior that can not be analyzed by the computational or physical sciences alone. These systems also transcend traditional computer-controlled systems because of their scale, dependence on man-machine interaction and their rich communication infrastructure that is enabled by the Internet. Some of the most challenging R&D software problems for cyber-physical systems are those associated with producing distributed, real-time, and embedded platforms and applications, and where computers control physical, chemical, or biological processes or devices. Examples of such systems include airplanes and air traffic control systems, automobiles, power grids, oil refineries, and patient monitoring systems. Despite advances in standards-based commercial-off-the-shelf (COTS) technologies, key challenges must be addressed before COTS software can be used to build mission-critical distributed real-time embedded (DRE) systems effectively and productively. Furthermore, there are existing critical infrastructures that oversee the operations of everything from nuclear power plants to traffic lights and yet they may not even be able to accept static upgrades, or patches, or any dynamic change of behavior, but they will remain with us for quite some time. Dynamically retrofitting these systems while maintaining their stability within a cyber environment is a significant challenge yet to be overcome. The International Workshop on Cyber-Physical Systems (WCPS2008) is an international forum for researchers to exchange information regarding advancements in the state of the art and practice of CPS, as well as to identify the emerging research topics and define the future of CPS. The technical program of WCPS2008 will consist of invited talks, paper presentations, and panel discussions. Topics of Interest In summary, the main topics of interest are on grand challenges, requirements, architectures, innovations and abstractions for Cyber-Physical Systems as well as technical challenges to interface and manipulate the Physical World. In particular, we are seeking papers in, but not limited to, the following main areas: [Architecture and infrastructure] Current architectures for cyber physical systems tend to be based on layers of network, OS, and middleware that have evolved over decades in the context of general-purpose computing systems. One goal of this topic area is to seek architectural abstractions, mechanisms, and formalisms that are better suited to the needs of cyber-physical systems. Some example topics include: approaches for refactoring the technology base to collapse/remove layers; techniques for managing QoS properties top-to-bottom; and end-to-end in ultra-large-scale cyber-physical systems. [Fundamental system services] Decades of experience with enterprise systems have yielded reasonably good abstractions and technologies for developing reusable services, such as transactions, discovery, naming, and event notification. There is much less consensus and experience, however, on the appropriate abstractions and technologies for fundamental system services in cyber-physical systems. Some example topics include 'multi-ility' services, such as security, reliable, and predictable replica-based fault detection and isolation frameworks that can operate in resource-constrained safety- and mission-critical CPS environments. [Service composition/synthesis] This area involves rigorous, evidence-producing composition (and composites) of system services, often using novel languages and models of computation. Some example topics include "type systems for QoS contracts" or "checkable properties of dynamic event structures" or "synthesis of mixed-criticality RTOS tailored for domain X". The time and scheduling, behavioral interaction, and partitioning/isolation will be central cross-cutting issues. [Interaction and coordination] A single critical infrastructure facility can have thousands of devices, such as in supervisory control and data acquisition (SCADA) systems, that spread over hundreds of miles. The devices themselves are typically in a physically protected environment; yet the interactions among them, on the other hand, go through the cyber space which poses a challenge to us and calls for a paradigm that is interaction and coordination centric. [Proactive monitoring] There are numerous existing systems, such as chemical plants, oil refiners, power grids, that have been in existence and correctly functioning for many years, and until now were not considered vulnerable because these systems were not envisioned to run in the cyber environment which has become today's reality. Theses systems face the high risk of being a terrorist target though cyber invasions. On the other side, it is out of the question that we re-build or prescribe a complete upgrade of all these systems. Worse yet, it may even be too expensive to take the mentality of ``dispatch-and- then-patch''. Therefore, external, lightweight and proactive monitoring of the systems is essential in building or retrofitting CPS. [Applications and experiences] New CPS applications and experiences, such as Tele-Physical Services, Smart Transportation, etc. We learn from our past experiences: through our encounters with real-life applications and experiences with new technologies, we develop the skill set and tools to perform better in the future. Paper Submission The workshop solicits original and previously unpublished papers reporting results from research and/or industrial experience as well as discussion of grand challenges and requirements. Submit a full paper of 6 pages (IEEE Computer Society proceedings Manuscripts: two columns, single-spaced), including figures and references, using 10 font size, and number each page. You can confirm the IEEE Computer Society proceedings Manuscripts at the following web page. URL: http://computer.org/cspress/instruct.htm. Contact author must input the following information at the WCPS2008 web site: paper title, authors' names, affiliations, postal address, phone, fax, and e-mail address of the author, about 200-250 word abstract, and keywords. Prepare your paper in PDF file (Adobe format), and send it through the following web site. The submission web site is: http://www.qhdctc.com/wcps2008/ Submission of a paper implies that should the paper be accepted, at least one of the authors will register and present the paper in the workshop. Each accepted paper must have a full registration in order to include the paper in the conference proceedings. Accepted papers will be given guidelines in preparing and submitting the final manuscript(s) together with the notification of acceptance. Organization Committee General Co-Chairs: Aloysius K. Mok, University of Texas at Austin, USA Shangping Ren, Illinois Institute of Technology, USA Carolyn Talcott, SRI, International,USA Steering Committee Helen Gill, National Science Foundation, USA Tei-Wei Kuo, National Taiwan University, Taiwan Raj Rajkumar, Carnegie Mellon University, USA Wei Zhao, Rensselaer Polytechnic Institute, USA Publicity Chair Limin Shen, Yanshan University, China Program Committee Tarek Abdelzaher, University of Illinois at Urbana-Champaign Gul Agha, University of Illinois at Urbana-Champaign Luca de Alfaro, Stanford University Rajeev Alur, University of Pennsylvania Albert M. K. Cheng, University of Houston Jeff Grey, University of Alabama at Birmingham Chris Gill, Washington University in St. Louis Joseph Giordano, Dolphin Technologies Steve Goddard, University of Nebraska-Lincoln Zonghua Gu, Hong Kong University of Science and Technology Joshua Guttman, Mitre Thomas A. Henzinger, University of California at Berkeley Sharon Hu, University of Notre Dame Insup Lee, University of Pennsylvania Jane Liu, Academia Sinica, Taiwan Steve Liu, Texas A&M University Zhiyong Liu, Chinese Academy of Sciences, China Ying Lu, University of Nebraska - Lincoln Chenyang Lu, Washington University in St.Louis Jerzy M. Nogiec, Fermi National Accelerator Laboratory Jens Palsberg, University of California at Los Angeles Douglas C. Schmidt, Vanderbilt University Joseph Sifakis, VERIMAG Laboratory, France Limin Shen, Yanshan University, China Kang Shin, University of Michigan at Ann Arbor Oleg Sokolsky, University of Pennsylvania Jeffrey Tsai, University of Illinois at Chicago Shambhu Upadhyaya, University at Buffalo Jan Vitek, Purdue University Shengquan Wang, University of Michigan - Dearborn Yongji Wang, Software Institute, Chinese Academy of Sciences,China I-Ling Yen, University of Texas at Dallas --------------------------------- Dr. Shangping Ren Department of Computer Science Illinois Institute of Technology 10 W. 31st Street Chicago, IL 60616 Phone (312) 567-5215 Fax (312) 567-5067 Web www.cs.iit.edu/~ren ------------------------------ From ren at iit.edu Tue Oct 9 15:52:43 2007 From: ren at iit.edu (Shangping Ren) Date: Tue, 09 Oct 2007 08:52:43 -0500 Subject: [ecoop-info] Travel Grant Available for WCPS2008 Message-ID: Funded by the National Science Foundation, there is an upto $1,000 travel grant available for every accepted paper ( http://www.qhdctc.com/wcps2008/). The deadline for paper submission is November 26, 2007. Regards, Shangping --------------------------------- Dr. Shangping Ren Department of Computer Science Illinois Institute of Technology 10 W. 31st Street Chicago, IL 60616 Phone (312) 567-5215 Fax (312) 567-5067 Web www.cs.iit.edu/~ren ------------------------------ From patane at ge.imati.cnr.it Tue Oct 9 17:28:57 2007 From: patane at ge.imati.cnr.it (=?ISO-8859-15?Q?Giuseppe_Patan=E8?=) Date: Tue, 09 Oct 2007 17:28:57 +0200 Subject: [ecoop-info] SAMT2007 programme and open calls Message-ID: <470B9E39.8020107@ge.imati.cnr.it> ------------------------------------------------------------------------ [Apologies for cross-postings. Please forward this mail to anyone interested.] ------------------------------------------------------------------------------------ SAMT 2007 - PROGRAMME AVAILABLE We are happy to announce that the programme of the 2nd international conference on Semantics And digital Media Technology (SAMT 2007) is available online at http://samt2007.ge.imati.cnr.it/. Advanced registration is also open. SAMT 2007 targets to narrow the large disparity between the low-level descriptors that can be computed automatically from multimedia content and the richness and subjectivity of semantics in user queries and human interpretations of audiovisual media - The Semantic Gap. SAMT brings together those forums, projects, institutions and individuals investigating the integration of knowledge, semantics and low-level multimedia processing, and links them with industrial research and development engineers who exploit the underlying emerging technology. In cooperation with the European Commission DG Information Society, the third day of the conference will feature keynote talks from EC representatives. The conference will be held at the Jolly Hotel Marina, December 5-7, 2007, Genova, Italy, ------------------------------------------------------------------------------------ SAMT 2007 OPEN CALLS SAMT 2007 solicits project poster and demo contributions that will be presented in special sessions during the conference, giving the opportunity to present ongoing research. Objectives or results of active projects, initiatives or standardization activities, reports on systems under development, or descriptions of completed work are all welcome. The Demo session is intended to provide a showcase for innovative implementations, systems, and technologies related to semantic multimedia. In principle, posters may be backed up with demos, and vice versa. Contributions will be evaluated based on significance of results, relevance to SAMT and expected impact. Posters and Demos are intended to convey a scientific result or work in progress and not to advertise software packages! Submission Authors must submit by email to samt07-poster-demo at ge.imati.cnr.it up to two-page short abstract for evaluation. Only submissions in PDF format are acceptable. Papers should be formatted according to IEEE Proceedings style. Authors should specify if the submission will be presented as a demo, a poster, or both, and clearly indicate whether the submission concerns a project (if so, they should specify the project). Decisions about acceptance will be based on relevance to the SAMT topics, originality, potential significance and clarity. Authors submitting a paper to the scientific track in SAMT 2007 may also submit the same work for consideration in the poster and demo track, either before or after acceptance notification for the full paper. Poster and Demo papers will be published in separate proceedings and will be handed out to all participants of SAMT. Important Dates * Poster/Demo Submission: October 15, 2007 * Notification of Acceptance: October 30, 2007 * Camera-Ready Due: November 15, 2007 ------------------------------------------------------------------------------------ TO BE REMOVED FROM THIS LIST You are receiving this email because you have participated in a previous EWIMT or SAMT related event. If you would like to be removed from the SAMT publicity email list, please reply to this message with the word 'REMOVE' in the SUBJECT LINE. This email should be addressed to: samt07 at ge.imati.cnr.it. You will be removed from this list when we receive your reply. -------------- next part -------------- A non-text attachment was scrubbed... Name: patane.vcf Type: text/x-vcard Size: 297 bytes Desc: not available Url : http://www.aito.org/pipermail/ecoop-info/attachments/20071009/b1b7c0fa/attachment.vcf From washi at fuka.info.waseda.ac.jp Wed Oct 10 18:29:10 2007 From: washi at fuka.info.waseda.ac.jp (Hironori Washizaki) Date: Thu, 11 Oct 2007 01:29:10 +0900 Subject: [ecoop-info] APSEC 2007: Call for Participation (14th Asia-Pacific Software Engineering Conference) Message-ID: <470CFDD6.7000702@fuka.info.waseda.ac.jp> ==================================================================== *CALL FOR PARTICIPATION* 14th Asia-Pacific Software Engineering Conference (APSEC 2007) December 5-7, 2007 (Workshops/Tutorials on Dec 3-4), Nagoya, Japan http://apsec2007.fuka.info.waseda.ac.jp/ ==================================================================== *Deadline of Early Registration is 15:00 October 31 JST* Theme: Software Engineering Innovation Everywhere We will invite you to participate in the 14th Asia-Pacific Software Engineering Conference (APSEC 2007) in Nagoya, Japan. APSEC is the leading international conference in software engineering and technology in the Asia-Pacific region. APSEC 2007 will bring together researchers and practitioners from industry, academia, and government to share the state of the art technology in software engineering and seek to explore emerging challenges in software engineering innovation. On-line registration is available at http://apsec2007.fuka.info.waseda.ac.jp/?id=Registration ------------------------------------------------------- *Keynote Presentations* "Specialising in Software Engineering" Prof. Michael Jackson (The Open University, UK) (Dec 5) (Title TBD) Prof. Hideyuki Tokuda (Keio University, Japan) (Dec 6) ------------------------------------------------------- *Tutorials* (Dec 4) "Evaluating Product Line Architectures: Methods and Techniques" Prof. Muhammad Ali Babar (Lero, University of Limerick, Ireland) "The Problem Frames Approach to Software Engineering" Prof. Michael Jackson (The Open University, UK) ------------------------------------------------------- *Preliminary Program* December 3 (Monday): Workshops Accountability and Traceability in Global Software Engineering(ATGSE) Management and Economics of Software Product Lines (MESPUL) Software Patterns and Quality (SPAQu'07) December 4 (February): Workshops and Tutorials Service Oriented Architecture Software engineering education Software Productivity Analysis and Cost Estimation (SPACE'07) Tutorials December 5 (Wednesday): Keynote Papers (Requirements Engineering, Aspect-Oriented Software, Testing/Analysis, Metrics/Measurement Services-Oriented/Web, Components/Reuse, Maintenance/Evolution) Posters Reception December 6 (Thursday): Keynote Papers (Formal Methods, Secure Software Architecture/Design, Processes Embedded Systems, Empirical) Mini Panel (TBD) Banquet December 7 (Friday): Invited Talk: (TBD) Papers (Software Product-Line, Tools and Development Environments, Quality Management) Toyota Factory Tour ------------------------------------------------------- *Registration Fee* Early Registration (on/before 15:00 Oct 31 JST): IPSJ SIGSE Member 40,000 JPY Non-Member 50,000 JPY Student 20,000 JPY Workshop (per workshop) 10,000 JPY (student 8,000 JPY) Tutorials (for both) 10,000 JPY (student 8,000 JPY) Standard/on-site Registration (on/after 15:01 Oct 31 JST): IPSJ SIGSE Member 50,000 JPY Non-Member 60,000 JPY Student 20,000 JPY Workshop (per workshop) 12,000 JPY (student 8,000 JPY) Tutorials (for both) 12,000 JPY (student 8,000 JPY) ------------------------------------------------------- *Venue* APSEC 2007 will take place at Midland Hall, in Midland Square, the newly opened skyscraper located in front of JR Nagoya station. Nagoya is geographically located around the center of the main island of Japan, and has been a cultural crossroads since ancient times. Nagoya and its vicinities have always been a center of manufacturing industry since feudal days, are also best known for an automobile companies including Toyota and Mitsubishi. You can experience this at the Toyota Automotive Museum, Toyota Commemorative Museum of Industry and Technology, and Toyota Kaikan Exhibition Hall. During APSEC 2007, we plan to tour the Toyota factory and its technology exhibition hall. *Access* The nearest airport is the Centrair International Airport serving direct flights to more than 30 cities worldwide. Nagoya can be reached in 30 minutes from the airport by train. It takes 1 hour and 40 minutes from Tokyo by Shinkansen Nozomi, a super express. *Accommodation and Visa* Follow the links below for hotel reservation and Visa information. http://apsec2007.fuka.info.waseda.ac.jp/?id=Accommodation http://apsec2007.fuka.info.waseda.ac.jp/?id=Visa ------------------------------------------------------- *Conference Committee and Staff* General Co-Chairs: Eiiti Hanyuda, Mamezou, Japan Mikio Aoyama, Nanzan University, Japan Program Chair: Katsuhisa Maruyama, Ritsumeikan University, Japan Industry Liaison Chair: Kiyoshi Agusa, Nagoya University, Japan Workshop Chair: Osamu Shigo, Tokyo Denki University, Japan Tutorial Chair: Makoto Nonaka, Toyo University, Japan Local Arrangement Chair: Masami Noro, Nanzan University, Japan Publicity Chair: Hironori Washizaki, NII, Japan Finance Chair: Rieko Yamamoto, Fujitsu Laboratories, Japan Registration Chair: Makoto Matsushita, Osaka University Publication Chair: Takashi Kobayashi, Nagoya University, Japan Web Master: Atsuto Kubo, Waseda University, Japan ------------------------------------------------------- *Sponsor and Contact Us* APSEC 2007 is sponsored by IPSJ SIG Software Engineering. Please contact us at : apsec2007inquiry at nii.ac.jp ==================================================================== From hkarl at agk-lpc6.cs.uni-paderborn.de Wed Oct 10 18:33:59 2007 From: hkarl at agk-lpc6.cs.uni-paderborn.de (Holger Karl) Date: Wed, 10 Oct 2007 18:33:59 +0200 Subject: [ecoop-info] Call for Papers: WiOpt 2008 Message-ID: <20071010163359.DEF552D3419@agk-lpc6.cs.uni-paderborn.de> We apologize in advance if you receive multiple copies of this CFP. ******************************************************************** ############ EXTENDED DEADLINE FOR SUBMISSIONS ################### ############ October 15th, 2007 ################### WiOpt'08 6th Intl. Symposium on Modeling and Optimization in Mobile, Ad Hoc, and Wireless Networks March 31 - April 4 Berlin, Germany http://www.wiopt.org Scope of the Symposium This symposium intends to bring together researchers and practitioners working on optimization of wireless network design and operations. It welcomes works on different perspectives, including performance analysis and simulation, protocol design, numerical communication and optimization theory, for all forms of wireless networks: cellular, wide, metropolitan, local and personal-area networks, dense and sparse ad-hoc networks, domain specific vehicular, public-transport, application-specific sensor networks, as well as any combination of these. Topics of interest include, but are not limited to: * Modeling, simulations and measurements * Protocol design * Spectrum allocation * Security and intrusion detection * Pricing and incentives * Scalability, manageability and optimization * System capacity and performance * Mobility and multihoming * Opportunistic and cooperative scheduling * Cognitive radio * Interference control * Energy efficiency Submissions The submission format for the papers is an extended abstract, up to eight pages long. Please use the IEEE Transactions format, 11 pt character size, one column text, one-and-a-half line spacing, letter paper. This page budget should contain all figures, tables, references, etc. The extended abstract should also include a brief abstract of up to 150 words. The submission will be handled via EDAS ( http://edas.info ). Only PDF files are acceptable; please make sure that the paper prints without problems (take care to embed all required fonts, etc.). Important Dates Conference: April 1-3, 2008 Extended WiOpt Submission Deadline: October 15, 2007 Notification of Acceptance: December 15, 2007 Camera-ready Copy: January 15, 2007 Adjunct Workshops Several one-day workshops are planned to accompany the main WiOpt Symposium: WiNMee/WiTMeMo 2008 : International Workshop On Wireless Network Measurement RAWNET 2008 : Resource Allocation in Wireless Networks SPASWIN 2008: Spatial Stochastic Models for Wireless Networks WNC3 2008 : Wireless Networks: Communication, Cooperation and Competition PHYSCOMNET: Physics inspired Paradigms for Wireless Communications and Networks WMCNR 2008 : Wireless Multihop Communications in Networked Robotics Workshops: March 31-April 4, 2008 Workshop Submission Deadline: November 18, 2007 From villep at staff.cs.utu.fi Thu Oct 11 12:06:04 2007 From: villep at staff.cs.utu.fi (villep at staff.cs.utu.fi) Date: Thu, 11 Oct 2007 13:06:04 +0300 (EEST) Subject: [ecoop-info] CFP COMPSAC 2008 Message-ID: <200710111006.l9BA64qX004690@staff.cs.utu.fi> Could you please distribute the following CFP. ******************************************************************************************* CALL FOR PAPERS The 32nd Annual International Computer Software and Applications Conference IEEE COMPSAC 2008 : http://www.compsac.org Co-located with IEEE SAINT : http://www.saintconference.org) Turku,Finland, July 28th-August 1st, 2008 Sponsored by the IEEE Computer Society ******************************************************************************************** COMPSAC is a major international forum for researchers, practitioners, managers, and policy makers interested in computer software and applications. Beginning 2006, COMPSAC is designated as the IEEE Computer Society Signature Conference on Software Technology and Applications. It was first held in Chicago in 1977, and since then it has been one of the major forums for academia, industry, and government to discuss the state of the art, new advances, and future trends in software technologies and practices. The technical program includes keynote addresses, research papers, industrial case studies, panel discussions and fast abstracts. It also includes a number of workshops on emerging important topics. The creation of trustworthy and dependable software spans all aspects of software engineering. COMPSAC is a unique forum to bring together these facets and their major stakeholders. Building on the trustworthy, secure, and dependable software themes of highly successful recent COMPSAC conferences, the technical theme for the 32nd conference is INTEGRATING THE DISTRIBUTED WORLDS. The program of COMPSAC 2008 will continue to feature research and industrial practice papers with a wide range of topics, focusing (but not exclusively) on software development for distributed platforms, communication applications, and embedded systems. To properly engineer such domains, the foundations, methodologies, and mechanisms that support the design, modelling, and evaluation of software systems must come from diverse sources. Topics of interest include requirement analysis, co-analysis and co-design, modelling, design, development, testing, measurement, verification and validation for performance, safety, security, and dependability constraints. Effective construction of these systems is not limited solely to the field of computer science and engineering and comes as a synergetic effort, between various domains of research. Multidisciplinary work, research and development software prototypes, industry-university collaborations, all based on new emerging and critical technologies will be of particular interest to this conference. All accepted papers will be published in the electronic conference proceedings by the IEEE Computer Society, indexed through INSPEC and EI Index, and automatically included in the IEEE digital library. Plans had been made to forward select papers to archival journals for publications. Authors are invited to submit original, unpublished research papers as well as industrial practice papers. Simultaneous submissions to other publication venues are not permitted. Detailed instructions for electronic paper submission, panel and workshop proposals, tutorial proposals, fast abstracts, doctoral symposium and review process can be found at http://www.compsac.org/. The length of the camera-ready of an accepted paper will be limited to 8 (IEEE Proceedings style) pages, and printed on 10-12 point fonts. Please follow the IEEE Computer Society Press Proceedings Author Guidelines to prepare your papers. At least one author of each accepted paper (regular, short, workshop) or fast abstract is required to pay full registration fee to the conference. Each accepted paper must be presented in person by the author or one of the authors. At least one Best Paper Award and 1-3 Best Student Paper Awards will be presented by COMPSAC 2008. The first author of the best student papers must be a full-time student. Doctoral Symposium papers are encouraged with reduced student registration rate. IMPORTANT DATES December 8, 2007: Workshop Proposals due (Nov. 15, 2007: Preliminary Workshop Proposal submission due Dec. 1, 2007: Feedback provided to the workshop proposers Dec. 8, 2007: Final workshop proposal submission due) Janua