From reussner at ipd.uka.de Mon Mar 4 17:58:52 2013 From: reussner at ipd.uka.de (Ralf Reussner) Date: Mon, 04 Mar 2013 17:58:52 +0100 Subject: [fg-arc] =?iso-8859-15?q?Zwei_Stellenausschreibungen_f=FCr_wiss?= =?iso-8859-15?q?=2E_Mitarbeiter_am_KIT_=28Reussner_/_Koziolek=29?= Message-ID: <5134D2CC.3090904@ipd.uka.de> *Zwei wissenschaftliche Mitarbeiter/innen (TV-L E 13) Modellgetriebene Software-Entwicklung Architekturgetriebene Anforderungsanalyse* *T?tigkeitsbeschreibung:*In der Arbeitsgruppe Software Design and Quality (Prof. Dr. Ralf Reussner), Forschungsgebiet "Modellgetriebene Software-Entwicklung" und in der Arbeitsgruppe f?r Search-Based Software Architecture (Jun.-Prof. Dr. Anne Koziolek), werden zum n?chstm?glichen Zeitpunkt zwei wissenschaftliche Mitarbeiter/innen (TV-L E 13) gesucht. Stelle Kennzeichen SDQ-2013-1 Im Forschungsgebiet der "Modellgetriebenen Software-Entwicklung" wird untersucht, wie die Entwicklung komplexer Software-Systeme mit Hilfe von modellgetriebenen Techniken verbessert werden kann. Speziell soll die Anwendung von modellgetriebenen Techniken zur Verbesserung der Effektivit?t bei der Arbeit mit komplexen und dynamischen Modellen evaluiert werden. Dazu werden unter Anderem verschiedene Strategien zur Modularisierung von Modellen sowie die Unterst?tzung mehrerer Sichten auf ein komplexes Modell betrachtet. Das aktuelle Forschungsvorhaben besch?ftigt sich mit der Frage, wie dynamische Modelle zur automatischen Erkennung von Performance-Anomalien im Betrieb eingesetzt werden k?nnen. Dazu geh?rt die Entwicklung und Validierung neuer Modelle und Techniken welche es erm?glichen, wichtige Eigenschaften eines Software-Systems zur Laufzeit zu erfassen, verschiedenen Rollen im Entwicklungsprozess zu pr?sentieren und zu analysieren. Teilaspekte dieses Forschungsgebiet, die Grundlage eines Promotionsvorhaben sein k?nnen, sind unter anderem * Ableitung von Modellen (zum Beispiel Performance-Modellen) aus Laufzeitdaten * Erweiterung existierender Modelle bzgl. neuer Qualit?tsaspekte * Nutzung von Modularisierungskonzepten, um die Erfassung und Verarbeitung von Laufzeitdaten im Betrieb zu vereinfachen * Entwicklung unterschiedlicher Sichten auf Laufzeitdaten die unterschiedliche Rollen in der Entwicklung und im Betrieb unterst?tzen * Evaluation unterschiedlicher Modularisierungskonzepte und deren Einfluss auf den Software-Entwicklungsprozess. Zu Ihren Aufgaben geh?rt die Mitarbeit im DFG-Forschungsprojekt iObserve, welches in Kooperation mit der Universit?t Dortmund Essen und der Universit?t Kiel durchgef?hrt wird, mit M?glichkeit zur Promotion. Stelle Kennzeichen SBS-2013-1 Die Arbeitsgruppe "Search-Based Software Architecture" hat sich zum Ziel gesetzt, Entscheidungen von Software-Architekten und Anforderungsanalysten durch Entwurfsraumexploration zu unterst?tzen. Grundlage ist die Anwendung von Optimierungsverfahren auf Modelle der Software-Architektur und der Systemanforderungen. Das aktuelle Forschungsvorhaben besch?ftigt sich mit architekturgetriebener Anforderungsanalyse: Qualit?tsbewertungen von Software Architekturen sollen Grundlage eines automatischen Optimierungsverfahrens sein, mit dem Abw?gungsentscheidungen zwischen Qualit?tsanforderungen unterst?tzt werden. Teilaspekte dieses Forschungsgebiet, die Grundlage eines Promotionsvorhaben sein k?nnen, sind unter anderem * Modellierung von Entwurfsalternativen auf Software-Architekturebene * Modellierung von Qualit?tsanforderungen und Entscheidungsunterst?tzung * Projektspezifische Quantifizierung von Qualit?tseigenschaften Zu Ihren Aufgaben geh?rt die Mitarbeit an Forschungsprojekten und die Mitgestaltung der universit?ren Lehre mit M?glichkeit zur Promotion. *Pers?nliche Qualifikation f?r beide Stellen:*Idealerweise sollten Sie Kenntnisse oder Bereitschaft zur Einarbeitung in mindestens einem der Bereiche modellgetriebener Software-Entwicklung, Software-Architekturen, Software-Qualit?t (insbesondere der Leistungsbewertung), Anforderungstechniksowie Programmieren in Java f?r Eclipse mitbringen. Dar?ber hinaus legen wir gro?en Wert auf eine ausgepr?gte Teamf?higkeit, selbstst?ndige Arbeitsweise und Leistungsbereitschaft. Interessierte Bewerber sollten ein ?berdurchschnittlich abgeschlossenes Universit?tsstudium in Informatik, Mathematik oder Wirtschaftsinformatik vorweisen k?nnen. *Eintrittstermin f?r beide Stellen:*sofort *Ansprechpartner/in f?r fachliche Fragen: *Fragen zu den Aufgabengebieten beantworten Ihnen gerne Frau Dr.-Ing. Lucia Happe (lucia.happe at kit.edu ), Prof. Dr. Ralf Reussner (reussner at kit.edu ) und Jun.-Prof. Anne Koziolek (anne.koziolek at kit.edu ). http://sdq.ipd.kit.edu *Bewerbung:*Ihre aussagekr?ftige, schriftliche Bewerbung richten Sie bitte bis 22. M?rz 2013 unter Angabe der jeweiligen Kennziffer an Frau Elena Kienh?fer (elena.kienhoefer at kit.edu ). Das KIT legt Wert auf die berufliche Gleichstellung von Frauen und M?nnern. Wir w?rden uns daher insbesondere ?ber die Bewerbungen von Frauen freuen. Bei entsprechender Eignung werden schwerbehinderte Bewerber/innen bevorzugt ber?cksichtigt. -- -------------------------------------------------------------- Karlsruhe Institute of Technology (KIT) and Forschungszentrum Informatik (FZI) Prof. Dr. Ralf H. Reussner KIT: Chair Software Design and Quality: reussner at kit.edu FZI: Executive: reussner at fzi.de Am Fasanengarten 5, Building 50.34, Room 328 D-76131 Karlsruhe GERMANY Phone: +49 721 608-45993 Fax: +49 721 608-45990 http://sdq.ipd.kit.edu / http://www.fzi.de KIT -- University of the State of Baden-Wuerttemberg and National Laboratory of the Helmholtz Association -------------------------------------------------------------- -------------- next part -------------- An HTML attachment was scrubbed... URL: From zimmer at informatik.uni-halle.de Mon Mar 4 18:04:28 2013 From: zimmer at informatik.uni-halle.de (Prof. Dr. Wolf Zimmermann) Date: Mon, 04 Mar 2013 18:04:28 +0100 Subject: [fg-arc] Call for Papers: European Conference on Service-Oriented and Cloud Computing (ESOCC 2013) Message-ID: <5134D41C.2070808@informatik.uni-halle.de> The ?European Conference on Service-Oriented and Cloud Computing? (ESOCC) is the premier conference on the advances in the state of the art and practice of Service-Oriented Computing and Cloud Computing in Europe. ESOCC has evolved from the ECOWS (European Conference on Web Services) conference series, after the Steering Committee decided to renew and broaden its scope, and to start a new conference series on advanced topics of service-oriented and cloud computing. The first edition of the new series, ESSOC 2012, was successfully held in Bertinoro, Italy, and will be continued by ESOCC 2013 in Malaga, Spain. The main objectives of this conference are to facilitate the exchange between researchers and practitioners in the areas of SOC and Cloud Computing and to foster future collaborations in Europe and beyond. ESOCC 2013 will include invited talks, presentations of selected research papers and an industrial track with the participation of top researchers from industry. ESOCC 2013 will also include a PhD symposium and a series of satellite workshops. Background The continued success of service-oriented distributed applications has shown that tightly coupled software systems may be useful for niche markets, whereas loosely coupled software systems have proven to be more flexible, adaptive and often more appropriate for practical applications. Loose coupling makes it easier for a given system to interact with other system components ? including legacy systems ? that have been developed independently somewhere in a heterogeneous universe of services. Thus, service-oriented applications can evolve more easily during their lifespan and adapt better to changing or even unpredictable environments. In such scenarios, cloud computing enables a new execution paradigm for distributed software application where resources can be shared, optimally realized as well as utilised and exchanged between heterogeneous execution platforms and the cloud, so as to achieve fast response times and to ensure immersive and non-interrupted user experience. Services today are developed independently, deployed as well as freely composed, and they can be implemented in a variety of technologies ? a fact which is of particular importance from a business perspective. Similarly, cloud computing aims at enabling mobility as well as device, platform and/or service independence by offering centralized sharing of resources. It promotes interoperability, portability and security standards, and raises a completely new set of security issues. On the implementation side, essential agreement has been reached on integration technologies and consensus has emerged in today's middleware market. Customers use web technologies extensively; however, service developers, providers, and integrators need to create methods, tools and techniques to support cost-effective and secure development and use of dependable devices, platforms, services and service-oriented applications in the cloud. Topics of interest ESOCC 2013 seeks original, high quality papers related to all aspects of Service-Oriented and Cloud Computing, which constitute the main technology available to date for implementing service-oriented architectures and cloud computing. Topics of interest to the Research and Industry Tracks include, but are not limited to: Business Process Management and Web Services. Cloud Services Management and Composition using Web Services. Dynamic and Adaptive Web Services. Economics Models and Web Services. Enterprise Architecture and Web Services. Emerging Trends of Service Composition and Mashups. Experience reports of novel applications of Service-Oriented and Cloud Computing in Health, Commerce, Finance, Telecom, Scientific Computing and other domains. Service modelling, service-oriented analysis and design. Formal Methods for Web Services. Frameworks for Building Web Service-Based Applications. Architectural Models for Cloud Computing. Identity and Access Management using Web Services. Mobile Web Services. Model-Driven Web Service Engineering. Next Generation Web Services Middleware and Service Repositories. Service quality and service interface design guidelines. RESTful for Clouds and Web Services. Self-Organizing Service Oriented and Cloud Architectures. Semantic Web Services. Service Level Agreements for Web services. Service-Oriented Business Collaboration. SOA Governance and Web Services. Social Web Services. Web Services for Grids and Clouds. Web Services in Service-Oriented Environments. Web Services Life-Cycles. Web Services Security and Privacy. Big Data Management. Cloud Interoperability and Federation. Emerging Trends in Storage, Computation and Network Clouds. ESOCC 2013 solicits both new research papers (in the main track) as well as reports on practical experiences from industry (industry track). However, papers on existing products or product marketing information are not within the scope of the ESOCC 2013 Industry Track. PhD Symposium The ESOCC 2013 PhD Symposium is an international forum for PhD students working in any of the areas addressed by the ESOCC conference. The main aim of the Symposium is to give PhD students an opportunity to present their research activity and perspectives, to critically discuss them with other PhD students and with established researchers in the area, and to get fruitful feedback and advices on their research activity. PhD students working in any area addressed by the ESOCC conference can submit a short report providing a clear statement of the problem they intend to address, motivating the interest and novelty of the underlying research challenges, demonstrating the ideas by examples, and describing the proposed research plan and expected results. Reports should not exceed 6 pages formatted according to the LNCS proceedings guidelines. The papers should be authored by the PhD student and should indicate the name of her/his supervisor. Submissions must be sent by email to the symposium chair Wolf Zimmermann ( wolf.zimmermann at informatik.uni-halle.de ). Submission Guidelines Original papers, not submitted for publication elsewhere, can be submitted via EasyChair. Research papers: https://www.easychair.org/conferences/?conf=esocc2013 Industry-Track papers: https://www.easychair.org/conferences/?conf=esocc2013it Paper submissions should be formatted according to the LNCS proceedings guidelines and the templates available at: http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0 and they should not exceed 15 pages. A paper might be accepted as a full paper (15 pages), as a short paper (8 pages) or as a poster (a 2-page abstract in the proceedings). Conference proceedings will be published by Springer in the Lecture Notes in Computer Science series. Important Dates Deadlines for research papers: Research paper submission: Sunday, April 21, 2013 Notifications: Sunday, June 2, 2013 CR versions due: Sunday, June 23, 2013 Deadlines for industrial papers: Industrial Paper submission: Sunday, April 21, 2013 Notifications: Sunday, June 2, 2013 CR versions due: Sunday, June 23, 2013 Deadlines for PhD Symposium papers: PhD symposium paper submission: Wednesday, June 19, 2013 Notification of acceptance: Sunday, July 7, 2013 Camera Ready: Sunday, July 26, 2013 Organization General Chair: Ernesto Pimentel, University of Malaga, Spain Program Chairs: Kung-Kiu Lau, University of Manchester, UK Winfried Lamersdorf, University of Hamburg, Germany Industry Track Chairs: Judith Bishop, Microsoft Research, Redmond, USA Aljosa Pasic, ATOS Research & Innovation, Madrid, Spain Workshop Chairs: Massimo Villari, University of Messina, Italy Carlos Canal, University of Malaga, Spain Ph.D. Symposium Chair: Wolf Zimmermann, University of Halle, Germany ESOCC 2013 Program Committee: Marco Aiello, University of Groningen, the Netherlands Farhad Arbab, CWI, The Netherlands Luciano Baresi, Politecnico di Milano, Italy Sami Bhiri, National University of Ireland Galway, Ireland Mario Bravetti, University of Bologna, Italy Antonio Brogi, University of Pisa, Italy Christoph Bussler, Xtime, Inc., USA Manuel Carro, IMDEA Software Institute and Technical University of Madrid, Spain Wojciech Cellary, Poznan University of Economics, Poland Javier Cubo, University of Malaga, Spain J?rgen Dunkel, FH Hannover, Germany Schahram Dustdar, TU Wien, Austria Rik Eshuis, Eindhoven Univ. of Technology, The Netherlands David Eyers, University of Otago, New Zealand George Feuerlicht, Prague University of Economics, Czech Republic Christopher Giblin, IBM Zurich Research Lab, Switzerland Claude Godart, Universiy of Lorraine, France Michael Goedicke, University of Duisburg-Essen, Germany Thomas Gschwind, IBM Zurich Research Lab, Switzerland Martin Henkel, Stockholm University, Sweden Dionisis Kehagias, CERTH-ITI, Greece Birgitta Koenig-Ries, Universitaet Jena, Germany Ernoe Kovacs, NEC Europe Network Labs, Germany Akhil Kumar, Pennsylvania State University, USA Peep Kungas, University of Tartu, Estonia Frederic Lang, INRIA Grenoble Rhone-Alpes, France Welf Loewe, Linnaeus University, Sweden Heiko Ludwig, IBM Research,USA Ingo Melzer, DaimlerChrysler Research, Germany Roy Oberhauser, Aalen University, Germany Guadalupe Ortiz, University of C?diz, Spain Claus Pahl, Dublin City University, Ireland Flavio de Paoli, University of Milano-Bicocca, Italy George Angelos Papadopoulos, University of Cyprus, Cyprus Cesare Pautasso, University of Lugano, Switzerland Wolfgang Reisig, Humboldt-Universit?t Berlin, Germany Ulf Schreier, Univ. of Applied Sciences Furtwangen, Germany Rainer Unland, University of Duisburg-Essen, Germany Massimo Villari, University of Messina, Italy Erik Wilde, UC Berkeley, USA Olaf Zimmermann, ABB Corporate Research, Switzerland Wolf Zimmermann, University Halle, Germany Gianluigi Zavattaro, University of Bologna, Italy Christian Zirpins, KIT/Seeburger AG, Karlsruhe, Germany From Jeremy.Gibbons at cs.ox.ac.uk Tue Mar 5 04:11:10 2013 From: Jeremy.Gibbons at cs.ox.ac.uk (Jeremy.Gibbons at cs.ox.ac.uk) Date: Tue, 05 Mar 2013 03:11:10 +0000 Subject: [fg-arc] Research Assistantship at Oxford on Bidirectional Transformations Message-ID: <201303050311.r253BAPu023523@linux1.cs.ox.ac.uk> Postdoctoral Research Assistant "A THEORY OF LEAST-CHANGE FOR BIDIRECTIONAL TRANSFORMATIONS" Department of Computer Science, University of Oxford Applications are invited for a Research Fellowship on an EPSRC-funded project "A Theory of Least-Change for Bidirectional Transformations". The project is a collaboration between Professor Jeremy Gibbons in the Department of Computer Science, University of Oxford, and Dr Perdita Stevens and Dr James Cheney in the School of Informatics, University of Edinburgh. The project concerns bidirectional transformations, which are a means of maintaining consistency between multiple information sources: when one source is edited, the others may need updating to restore consistency. There are applications in model-driven engineering, database design, and program development, among others. A bidirectional transformation can be implemented in terms of several unidirectional restoring functions, one per source; but this duplicates information, wasting effort and risking inconsistencies. Bidirectional transformation languages allow one to describe the consistency relationship and the restoring functions with a single declarative specification. Our aim in this project is to study the principle of least change: that a bidirectional transformation should not make unnecessary or unnecessarily large changes when it re-establishes consistency. The primary focus of the Oxford contribution is the development of a theory of alignment for bidirectional transformations on structured data, especially in the case of non-free datatypes such as associative lists and graphs. We conjecture that the mathematics of container datatypes and combinatorial species will be particularly relevant. The Fellowship will be under the supervision of Professor Jeremy Gibbons at Oxford, and is available for three years from 31st August 2013 (or any time before that). The salary is on a standard scale, from ?29,541 to ?36,298 per annum. For further details, including a job description and information on how to apply, please see the webpage (http://www.cs.ox.ac.uk/news/619-full.html). If you have any questions, please write to me (jeremy.gibbons at cs.ox.ac.uk). Please pass this advert on to anyone you think may be interested. Jeremy Jeremy.Gibbons at cs.ox.ac.uk Oxford University Department of Computer Science, Wolfson Building, Parks Road, Oxford OX1 3QD, UK. +44 1865 283521 http://www.cs.ox.ac.uk/people/jeremy.gibbons/ From maalej at informatik.uni-hamburg.de Tue Mar 12 09:57:22 2013 From: maalej at informatik.uni-hamburg.de (Walid Maalej) Date: Tue, 12 Mar 2013 08:57:22 +0000 Subject: [fg-arc] =?windows-1252?q?CFP=3A_Int=2E_Workshop_on_Gaps_between_?= =?windows-1252?q?RE_Research_and_Industrial_Practices_GRRIP=9213?= Message-ID: <28019137-51C1-4D99-A03B-DB625B8CB361@informatik.uni-hamburg.de> == CALL FOR PAPERS 1st International Workshop on Gaps between Requirements Research and Industrial Practices GRRIP?13 Rio de Janeiro, Brazil, July 16, 2013 https://sites.google.com/site/grripworkshop/ twitter: #re2013 #grrip Refereed papers will be published as a part of the workshop proceedings in the IEEE Digital Library. --------------- IMPORTANT DATES --------------- Paper submission: 10th April 2013 Author notification: 30th April 2013 Camera ready: 15th May 2013 Workshop: 16th July 2013 --------------- CALL for PAPERS --------------- Lack of applicability and adoption of RE research into industrial practice has been a topic of discussion and, in fact, a topic of research in itself, for the last decade. The reasons for gaps between research and industrial practice are multifold. On the one hand, there is a prevalent perception that researchers select topics that are transformative in nature and address the future, while industry practitioners need to focus on solving more immediate practical problems. On the other hand, the industrial practitioners are skeptical about the typical examples used in academic research, such as library management and ATM, since they do not sufficiently represent the complexities of real-life project settings. Experiments executed within an academic setting are well constructed, but highly resource-constrained. Moreover, the use of students as test subjects raises questions about the validity of the results for industrial settings. Industries are reluctant to share data due to confidentiality agreements they must respect. How do we get past these fundamental issues? We believe that we are at a stage where both communities need to explore ways to leverage each other?s strengths. We need a virtuous cycle of taking preliminary research results to field as well as identifying interesting practical problems that can only be detected by working on field, investigating the problems to identify unanswered research questions, conducting a more informed research and taking the mature results to field again. This can happen only if researchers and practitioners brainstorm prevalent issues with respect to the gaps in research and practice and collaborate to solve challenging problems. The topics of the workshop include, but are not restricted to: - Experiences in adopting RE research - Issues that limit conducting RE research that can be easily adopted in practice - Issues that limit adopting RE research output in practice - Key problems in RE practice that have no effective research solutions - Empirical studies on advantages and drawbacks of particular research outcomes - State of the practice empirical studies - Common research-practice agenda During GRRIP?13, we wish to highlight some of the challenges of balancing the short-term needs of addressing problems in industrial practice with the longer-term needs of advancing the state-of-the-art in requirements engineering. Towards this purpose, we want to bring together all the important stakeholders of RE to brainstorm prevalent issues with respect to the gaps in research and practice. We aim to: - Establish a stronger cooperation between requirements engineering and practitioners toreduce barriers - Identify open issues, research questions, novel approaches, and future directions in the area of RE research - Systematize formation of collaborative communities for a stronger and active partnership between the academia and industry - Explore avenues to make RE research more applicable and more responsive to practitioner?s needs and RE practice more open to adopt research outcome --------------------- FORMAT and GUIDELINES --------------------- Papers must not exceed 4 pages for a short paper or 8 pages for a full paper. Submission will be possible from the workshop homepage via EasyChair. For accepted papers, at least one author should register for the workshop at RE?13 conference and participate in the workshop. To be considered for a review, submissions must be in the IEEE CS Press Proceedings format. http://www.computer.org/cspress/instruct.htm ----------------------- ORGANIZATION ----------------------- Organizers: Smita Ghaisas, TRDDC, Tata Consultancy Services, India, smita.ghaisas at tcs.com Walid Maalej, University of Hamburg, Germany, maalej at informatik.uni-hamburg.de Klaas Sikkel, University of Twente, the Netherlands, k.sikkel at utwente.nl R. Venkatesh , TRDDC, Tata Consultancy Services, India, r.venky at tcs.com Program Committee: - Kanad Kishore Biswas, Indian Institute of Technology Delhi, India - Karin Breitman, EMC Corporation, Brasil - Jane Cleland-Huang, DePaul University, USA - Oliver Creighton, Siemens, Germany - Alexander Felfernig, Graz University of Technology, Germany - Xavier Franch, Universitat Polit?cnica de Catalunya, Spain - Rosalva Gallardo-Valencia, Intel, USA - Smita Ghaisas, Tata Consultancy Services, India (co-chair) - Anne Hoffmann, Siemens, Germany - James Hulgan, Seilevel, USA - Maya Daneva, University of Twente, The Netherlands - Pete Jones, Phonak, Swizerland - Eric Knauss, University of Victoria, Canada - Walid Maalej, University of Hamburg, Germany (co-chair) - Srinivas Padmabhuni, Infosys, India - Barbara Paech, University of Heidelberg, Germany - Isabelle Perseil, Inserm, france - Venkatesh Ramanathan, Tata Consultancy Services, India (co-chair) - Ju?rez Reyes, University of Baja California, Mexico - Prahladavaradan Sampath, MathWorks, India - Pete Sawyer, Lancaster University, UK - Klaas Sikkel, University of Twente, The Netherlands (co-chair) - Anil Thurimella, Harman, Germany - Didar Zowghi, University of Technology, Australia -------------- next part -------------- An HTML attachment was scrubbed... URL: From peterschueller at sabanciuniv.edu Thu Mar 14 14:32:12 2013 From: peterschueller at sabanciuniv.edu (peterschueller at sabanciuniv.edu) Date: Thu, 14 Mar 2013 15:32:12 +0200 Subject: [fg-arc] Call for Applications: ICLP Doctoral Student Consortium, Istanbul, Turkey, August 24 Message-ID: (Apologies for cross-posting.) ------------------------------------------------------------------------------------------ ICLP-DC 2013 Ninth ICLP Doctoral Student Consortium to be held in Istanbul, Turkey, 24 August 2013 http://sites.unife.it/iclp-dc-13/ ------------------------------------------------------------------------------------------ ** Introduction ** The ICLP 2013 Doctoral Consortium (DC) is the ninth doctoral consortium to be offered as part of the 29th International Conference on Logic Programming (ICLP). The DC follows the very positive experience of previous events held in Sitges (Spain) on October 3rd, 2005, in Seattle (WA, USA) on August 21st, 2006, in Porto (Portugal) on September 8th, 2007, in Udine (Italy) on December 10th, 2008, in Pasadena (CA, USA) on July 15th, 2009, in Edinburgh (Scotland) on July 20th, 2010, in Lexington (KY, USA) on July 6th, 2011, and in Budapest (Hungary) on September 4th, 2012. The DC will take place during ICLP 2013 in Istanbul, Turkey. It provides a forum for doctoral students working in areas related to logic and constraint programming, with a particular emphasis to students interested in pursuing a career in academia. The DC is also open to exceptional Master's students developing MS theses in areas of scope. The DC gives students the opportunity to present and discuss their research and to obtain feedback from peers as well as world-renowned experts. ** General Information ** The aims of the Doctoral Consortium are to: - provide doctoral students working in the fields of logic and constraint programming with a friendly and open forum to present their research ideas, listen to ongoing work from peer students, and receive constructive feedback, - provide students with relevant information about important issues for doctoral candidates and future academics, - develop a supportive community of scholars and a spirit of collaborative research, and - support a new generation of researchers with information and advice on academic, research, industrial, and non-traditional career paths. The DC is designed for students currently enrolled in a Ph.D. program, though we are also open to exceptions (e.g., students currently in a Master's program and aiming at doctoral studies). Students at any stage in their doctoral studies are encouraged to apply for participation in the DC. Applicants are expected to conduct research in areas related to logic and constraint programming; topics of interest include (but are not limited to): - Theoretical Foundations of Logic and Constraint (Logic) Programming; - Sequential and Parallel Implementation Technology; - Static and Dynamic Analysis, Abstract Interpretation, Compilation Technology, and Verification; - Logic-based Paradigms (e.g., Answer Set Programming, Concurrent Logic Programming, Inductive Logic Programming); - Innovative Applications of Logic Programming. Submissions by students who have presented their work at previous ICLP DC editions are allowed, but should occur only if there are substantial changes or improvements to the student's work. The DC allows participants to interact with established researchers and fellow students, through presentations, question-answer sessions, panel discussions, and invited talks. Each participant will give a short, critiqued, research presentation. Renowned experts in the field will evaluate submission packages and participate in the DC, providing valuable feedback to DC participants. ** Important Dates ** Submission Deadline: May 3rd, 2013 Acceptance Notification: May 24th, 2013 Camera-ready Version: July 18th, 2013 Doctoral Consortium: August 24th, 2013 ICLP 2013 Conference: August 24th-29th, 2013 ** Application Procedure ** To apply for participation in the ICLP 2013 DC, provide a submission package consisting of a cover letter, a research summary, and a letter of recommendation (e.g., from your supervisor). All material is to be submitted electronically, in PDF format, via EasyChair: https://www.easychair.org/conferences/?conf=iclpdc13 All submissions must be in English. Submissions arriving after the deadline will not be considered. Your submission should not contain any proprietary or confidential material. * Cover Letter Please include the following information in the cover letter: - statement of interest in participating in the DC, - full name of school and department to which you are affiliated, - name(s) of your supervising professor(s), - title of your research work and keywords pertinent to your research, - current stage in your program of study (e.g. Ph.D./MS student, start date), - contact information (full name, address, telephone number, email address), and - the URL of your web page (if any). * Research Summary Prepare your research summary as a PDF document, using the TPLP template: http://www.iclp2013.org/files/downloads/TPLP_style_files.tar.gz Make sure to include your complete name, address, and affiliation. The body of the research summary (no more than 10 pages, but 5 is fine as well!) should provide a clear overview of your research, its potential impact, and its current status. You are encouraged to include sections like the following: - Introduction and problem description - Background and overview of the existing literature - Goal of the research - Current status of the research - Preliminary results accomplished (if any) - Open issues and expected achievements - Bibliographical references The (camera versions of) accepted applicants' research summaries will be published as on-line abstracts in the Theory and Practice of Logic Programming (TPLP) journal. * Letter of Recommendation Include a short letter of recommendation written by your graduate or thesis adviser(s). Please, invite your adviser(s) to give an indication of the current status of your research and of the expected deadline for thesis submission. In addition, your adviser(s) should briefly describe what she/he hopes you would gain from participation in the DC. ** Application Appraisement ** * Review Criteria The DC program committee will select participants based on their anticipated contribution to the DC objectives. Participants typically have settled on their thesis directions and have their research proposal accepted by their thesis committee. Students will be selected based on clarity and completeness of their submission package, relevance of their research area w.r.t. the focus of ICLP, stage of research, recommendation letter, and evidence of promise towards a successful career in research and academia, such as published papers or technical reports. * Best Contribution Award The DC program committee will review submission packages and judge DC presentations to assign the "Best ICLP 2013 DC Contribution" award among participants. We plan to reserve a presentation slot for the award-winning contributor in the ICLP 2013 main program. Updates follow as soon as we have more information regarding this. ** Participant Funding ** The Association for Logic Programming (ALP) supports ICLP 2013 DC participants by providing accommodation/travel grants and/or sponsoring ICLP 2013 main conference registration. Updates follow as soon as we have more information regarding this. ** Organizers ** * Chairs Marco Gavanelli Engineering Department Ferrara University, Italy Martin Gebser Institute for Informatics University of Potsdam, Germany * Email Address iclpdc13 at lists.cs.uni-potsdam.de * Program Committee Fabio Fioravanti, University of Chieti-Pescara Jose Francisco Morales, Technical University of Madrid Miguel Gomez-Zamalloa, Complutense University of Madrid Matti Jaervisalo, University of Helsinki Ekaterina Komendantskaya, University of Dundee Francesca Lisi, University of Bari C. R. Ramakrishnan, Stony Brook University Francesco Ricca, University of Calabria Gerardo Simari, University of Oxford Antoine Zimmermann, University of Grenoble From lduboc.cs at gmail.com Thu Mar 14 08:45:23 2013 From: lduboc.cs at gmail.com (Leticia Duboc) Date: Thu, 14 Mar 2013 00:45:23 -0700 Subject: [fg-arc] Call for Contributions: Posters & Demos at the Intl. Conf. on Requirements Engineering (RE'13) Message-ID: We invite you to submit to the *Posters & Demos *on the* 21st IEEE International Conference on Requirements Engineering* (RE'13) on15th - 19th of July in Rio de Janeiro, Brazil. This year?s track will emphasize *hands-on experience* with tools and *interactive presentations* of requirements engineering methods and techniques. We expect conference participants to mingle with and experience the work of poster presenters, tool demonstrators, practitioners of techniques, and producers of artifacts. *Posters* may present late-breaking research or work in progress and can help to attract interest and to give a rapid overview of what your research is all about. *Demos* provide the opportunity to showcase any innovative tools or research prototypes. Contributions related to *all facets of requirements engineering are welcome *, from elicitation to validation, from formal to informal, and across people-centric, business-centric, and system-centric viewpoints. *Submission deadline: 8th of April 2013 * RE'13 dates: 15th - 19th of July 2013 Further information: http://www.re13.org/pages/main.php?id=page_postersanddemos Please forward this call to other researchers who might be interested. We are looking forward to your contributions! Birgit Penzenstadler and Let?cia Duboc -------------- next part -------------- An HTML attachment was scrubbed... URL: From ansgar at informatik.uni-mannheim.de Thu Mar 14 18:30:05 2013 From: ansgar at informatik.uni-mannheim.de (Ansgar Scherp) Date: Thu, 14 Mar 2013 18:30:05 +0100 Subject: [fg-arc] 2. Aufruf zum Doktorandenprogramm der INFORMATIK 2013 Message-ID: <1363282205.8317.2.camel@scherp-ThinkPad-X1> === 2. Aufruf zum DOKTORANDENPROGRAMM der INFORMATIK 2013 === === am 16. und 17. September 2013 === === im Rahmen der INFORMATIK 2013 vom 16.-20.9.2013 in Koblenz === === siehe http://informatik2013.de/cfp-phdprogram_de.html === Das Doktorandenprogramm der INFORMATIK 2013 erlaubt jungen Forschern und Forscherinnen ihr Thema in einem Vortrag oder als Poster einem breiten Publikum vorzustellen. Es gibt den DoktorandInnen au?erdem die M?glichkeit sich mit anderen Forschern und Doktoranden auszutauschen, gegenseitige Kontakte zu kn?pfen, Probleme und deren L?sungswege zu diskutieren und R?ckmeldungen von promovierten WissenschaftlerInnen und ProfessorInnen auf verwandten Forschungsgebieten zu erhalten. Neben den wissenschaftlichen Pr?sentationen und Diskussionen steht daher im Doktorandenprogramm der pers?nliche Kontakt und Austausch mit erfahrenen Forschern im Vordergrund. Die eingereichten Beitr?ge werden nach den Kriterien Relevanz, Innovation und Interesse f?r ein gr??eres Publikum bewertet und bei Annahme entweder als Vortrag oder im Rahmen einer Poster-Session pr?sentiert. Einreichungen erbitten wir in L?nge von 10-12 Seiten gem?? den Formatierungsrichtlinien der INFORMATIK 2013 (das hei?t im GI-Format). Neben einer inhaltlichen Fokussierung der Einreichung ist auch die Einbettung in das ?bergeordnete Thema der Dissertation auf 1-2 Seiten zu beschreiben. Akzeptierte Beitr?ge erscheinen im Konferenzband der GI Jahrestagung! Im Sinne eines Doktorandenkolloquiums wird ausdr?cklich gebeten, dass die Beitr?ge in Alleinautorenschaft der Doktoranden erstellt werden. Die akzeptierten Beitr?ge m?ssen von den Doktoranden als Vortrag beziehungsweise als Poster pr?sentiert werden. Die Poster werden gemeinsam mit den Postern der GI Jahrestagung, den Postern des Studierendenprogramms der GI Jahrestagung, sowie den Postern der Partnerkonferenzen IFIP eGov und IFIP ePart einem breiten Publikum vorgestellt. Auf Wunsch k?nnen die Doktoranden zudem an einem Mentorenprogramm teilnehmen, bei dem f?r das Thema passende erfahrene Forscher ausgesucht und f?r ein pers?nliches Gespr?ch zur Verf?gung stehen. Interesse an der Teilnahme an diesem Programm kann bei der Einreichung der Beitr?ge angegeben werden. Das Mentorenprogramm erfolgt vorbehaltlich einer hinreichenden Passgenauigkeit verf?gbarer erfahrener Forscher und wird rechtzeitig bekannt gegeben. Das Doktorandenprogramm der INFORMATIK 2013 findet in diesem Jahr zusammen mit dem Doktorandenprogramm der Konferenz zur K?nstlichen Intelligenz (KI) sowie der Multiagent System Technologies (MATES) statt. Einreichungen aus dem Themenbereich der KI und MATES werden daher dasselbe Begutachtungsverfahren wie die anderen Einreichungen des Doktorandenprogramms durchlaufen. Wichtige Daten: * Einreichung der Beitr?ge: 22. April 2013 * Benachrichtigung zur Begutachtung: 20. Mai 2013 * Einreichung der finalen Version: 1. Juli 2013 * Vortr?ge: 16. / 17. September 2013 * Vorstellung der Poster: 17. September 2013 (Poster-Session der INFORMATIK 2013) * Mentorenprogramm: voraussichtlich am 17. September 2013 Informationen zur Einreichung: * Umfang und Gestaltung der Beitr?ge: - 10-12 Seiten (gem?? den Formatierungsrichtlinien der INFORMATIK 2013 im GI-Format). - Beitr?ge sollen einen thematischen Fokus haben sowie auf 1-2 Seiten die Einbettung in das ?bergeordnete Thema der Dissertation beschreiben. * Beitr?ge k?nnen in Deutsch oder Englisch (bevorzugt!) eingereicht werden. * Akzeptierte Beitr?ge werden entweder als Vortrag oder Poster-Pr?sentation vorgestellt. * Einreichung von Beitr?gen erfolgt ?ber das ConfTool der INFORMATIK 2013: http://www.conftool.net/informatik2013/ Leitung des Doktorandenprogramms: - Ansgar Scherp, Universit?t Mannheim - Hannes Frey, Universit?t Koblenz-Landau - Ingo Schmitt, Technische Universit?t Cottbus Assoziierte Dokorandenprogramme: - Andreas Lattner (KI) - Lars Braubach (MATES Programmkomittee: Prof. Gunter Saake, Universit?t Magedeburg Prof. Andreas Henrich, Universit?t Bamberg Prof. Wolf-Tilo Balke, Universit?t Braunschweig Prof. Thomas Neumann, TU M?nchen Prof. Alfons Kemper, TU M?nchen Prof. Heiner Stuckenschmidt, Universit?t Mannheim Prof. Michael Gertz, Universit?t Heidelberg Prof. Stefan Conrad, Universit?t D?sseldorf Prof. Ralf Reussner, Universit?t Karlsruhe Prof. Antonio Kr?ger, Saarland University Prof. Wolfgang Effelsberg, Universit?t Mannheim Prof. Collin Atkinson, Universit?t Mannheim Prof. Thomas Plagemann, Universit?t Oslo Prof. Andreas Winter, Universit?t Oldenburg Prof. Lars Schmidt-Thieme, Universit?t Hildesheim Prof. Rolf Drechsler, Universit?t Bremen Prof. Andreas Dengel, Technische Universit?t Kaiserslautern Prof. Harald Kosch, Universit?t Passau Prof. Volker Turau, TU Hamburg-Harburg Prof. Adam Wolisz, FU Berlin Prof. Philipp Slusallek, Universit?t des Saarlandes Prof. Christian Freksa, Universit?t Bremen Prof. Ra?l Rojas, FU Berlin Prof. Bernd Neumann, Universit?t Hamburg Prof. Klaus-Dieter Althoff, Universit?t Hildesheim Prof. Stefan Wrobel, Universit?t Bonn -- Jun.-Prof. Dr. habil. Ansgar Scherp University of Mannheim Phone: +49 621 181-2647 B6, 26 Room B1.14 Fax : +49 621 181-2682 D-68131 Mannheim Mail : ansgar at informatik.uni-mannheim.de WWW: http://www.ansgarscherp.net/about/ - Mark Musen at #iswc2012 keynote: "Reusable patterns [in knowledge bases] are a good idea" From amedeo.napoli at loria.fr Thu Mar 21 13:01:35 2013 From: amedeo.napoli at loria.fr (Amedeo Napoli) Date: Thu, 21 Mar 2013 13:01:35 +0100 (CET) Subject: [fg-arc] 1st CFP for the workshop FCA4AI 2013 at IJCAI 2013 Message-ID: <1878466558.5867441.1363867295881.JavaMail.root@loria.fr> With apologies for cross-posting. --------------------------------------------------------------------------- Call for Papers --------------------------------------------------------------------------- --FCA4AI-- ``What can FCA do for Artificial Intelligence?'' (Second Edition) co-located with IJCAI 2013 August 3-5, 2013 Beijing, China http://www.fca4ai.hse.ru --------------------------------------------------------------------------- General The first edition of the FCA4AI Workshop at ECAI 2012 in Montpellier showed that many researchers working in Artificial Intelligence are indeed interested by a powerful method for classification and mining such as Formal Concept Analysis (http://ceur-ws.org/Vol-939/). We have the chance to organize a new edition of the workshop in Beijing at the IJCAI 2013 Conference. Formal Concept Analysis (FCA) is a mathematically well-founded theory aimed at data analysis and classification. FCA allows one to build a concept lattice and a system of dependencies (implications) which can be used for many AI needs, e.g. knowledge processing involving learning, knowledge discovery, knowledge representation and reasoning, ontology engineering, and as well as information retrieval and text processing. Thus, there exist many ``natural links'' between FCA and AI. Recent years have been witnessing increased scientific activity around FCA, in particular a strand of work emerged that is aimed at extending the possibilities of FCA w.r.t. knowledge processing, such as work on pattern structures and relational context analysis. These extensions are aimed at allowing FCA to deal with more complex than just binary data, both from the data analysis and knowledge discovery point of view and from the knowledge representation point of view, including, e.g., ontology engineering. All these works extend the capabilities of FCA and offer new possibilities for AI activities in the framework of FCA. Accordingly, in this workshop, we will be interested in two main issues: - How can FCA support AI activities such as knowledge processing (knowledge discovery, knowledge representation and reasoning), learning (clustering, pattern and data mining), natural language processing, information retrieval. - How can FCA be extended in order to help AI researchers to solve new and complex problems in their domain. The workshop is dedicated to discuss such issues. INVITED SPEAKER TBA TOPICS OF INTEREST include but are not limited to: - Concept lattices and related structures: description logics, pattern structures, relational structures. - Knowledge discovery and data mining with FCA: association rules, itemsets and data dependencies, attribute implications, data pre-processing, redundancy and dimensionality reduction, classification and clustering. - Knowledge engineering and ontology engineering: knowledge representation and reasoning. - Scalable algorithms for concept lattices and artificial intelligence ``in the large'' (distributed aspects, big data). - Applications of concept lattices: semantic web, information retrieval, visualization and navigation, pattern recognition. The workshop will include time for audience discussion for having a better understanding of the issues, challenges, and ideas being presented. IMPORTANT DATES: Submission deadline: May 13, 2013 Notification: June 17, 2013 Final version: July 08, 2013 Workshop: August 03-05, 2013 SUBMISSION DETAILS: The workshop welcomes submissions in pdf format in Springer's LNCS style. Submissions can be - technical papers not exceeding 8 pages, - system descriptions or position papers on work in progress not exceeding 4 pages Submissions are via EasyChair at https://www.easychair.org/conferences/?conf=fca4ai2013 The workshop proceedings will be published as CEUR proceedings. A selection of the best papers presented at the workshop will be considered for a special issue of a high-level journal. WORKSHOP CHAIRS: - Sergei O. Kuznetsov Higher Schools of Economics, Moscow, Russia - Amedeo Napoli LORIA-INRIA, Vandoeuvre les Nancy, France - Sebastian Rudolph AIFB Karlsruhe Institute of Technology, Karlsruhe, Germany PROGRAM COMMITTEE (in constitution) Mathieu D'Aquin, Open University, Milton Keynes, UK Franz Baader, Technische Universitaet Dresden, Germany Radim Belohlavek, Palacky University, Olomouc, Czech Republic Claudio Carpineto, Fondazione Ugo Bordoni, Roma, Italy Felix Distel, Technische Universitaet Dresden, Germany S?bastien Ferr?, IRISA Rennes, France Bernhard Ganter, Technische Universitaet Dresden, Germany Pascal Hitzler, Wright State University, Dayton, Ohio, USA Marianne Huchard, LIRMM Montpellier, France Dmitry I. Ignatov, Higher School of Economics, Moscow, Russia Mehdi Kaytoue, Universidade Federal Minas Gerais, Belo Horizonte, Brazil Markus Kr?tzsch, University of Oxford, UK Sergei A. Obiedkov, Higher Schools of Economics, Moscow, Russia Uta Priss, Ostfalia University of Applied Sciences, Wolfenb?ttel, Germany Baris Sertkaya, SAP Dresden, Germany, Gerd Stumme, Universitaet Kassel, Germany Petko Valtchev, Universit? du Qu?bec ? Montr?al, Montr?al, Canada --------------------------------------------------------------------------- -------------- next part -------------- An HTML attachment was scrubbed... URL: From mikusz at wi.uni-stuttgart.de Mon Mar 25 23:01:45 2013 From: mikusz at wi.uni-stuttgart.de (Martin Mikusz) Date: Mon, 25 Mar 2013 22:01:45 +0000 Subject: [fg-arc] Vorgehensmodelle 2013 - Call for Papers Message-ID: <195A44AFC1120F4E9DBEC343136F0D2D0F3637C4@AMSPRD0310MB387.eurprd03.prod.outlook.com> 20. Tagung der Fachgruppe Vorgehensmodelle im Fachgebiet Wirtschaftsinformatik der Gesellschaft f?r Informatik e.V. CALL FOR PAPERS Vorgehensmodelle 2013 Vorgehensmodelle - Anspruch und Wirklichkeit Tagungstermin: 09./10.10.2013 Ort: DHBW L?rrach Webseite: http://www.vorgehensmodelle.de Inhaltliche Ausrichtung und Themenvorschl?ge Mit ihrer Veranstaltungsreihe blickt die Fachgruppe Vorgehensmodelle auf eine 20-j?hrige Tradition zur?ck. W?hrend dieses Zeitraumes hat sich die Tagung "Vorgehensmodelle" als die wichtigste Veranstaltung zu diesem Thema im deutschsprachigen Raum etabliert. Die Veranstaltungsreihe verfolgt das Ziel, fundierte Ans?tze zu Vorgehensmodellen gemeinsam mit Erfahrungen zu deren Anwendung in der Praxis einem Fachpublikum aus Wissenschaftlern und Praktikern vorzustellen. Der intensiven Diskussion der vorgestellten Ans?tze sowie dem Erfahrungsaustausch wird dabei traditionell eine besonders hohe Bedeutung zugemessen. Im Jahr 2013 findet die 20. Tagung der Fachgruppe Vorgehensmodelle statt. Die Fachgruppe nimmt diese Jubil?umstagung zum Anlass, unter dem Motto "Vorgehensmodelle - Anspruch und Wirklichkeit" auf das bisher Erreichte, auf bisher vernachl?ssigte Themen und Entwicklungen, sowie auf die Herausforderungen f?r die Zukunft zu blicken. Die Fachgruppe freut sich ?ber Beitr?ge, die Diskrepanzen zwischen Anspruch und Wirklichkeit bei Vorgehensmodellen sowohl aus verschiedenen Perspektiven, als auch mit einem bestimmten thematischen Schwerpunkt beleuchten: - Anspruch und Wirklichkeit bei Vorgehensmodellen aus rollenspezifischer Sicht des Prozessingenieurs, des Entwicklers, des Projektleiters, der Unternehmensleitung, des Qualit?tsmanagements. - Anspruch und Wirklichkeit der gelebten Vorgehensmodelle aus betriebswirtschaftlicher, organisationstheoretischer, sozialwissenschaftlicher ("soziet?rer"), psychologischer, ingenieurswissenschaftlicher u.a. Perspektiven. - Widerspr?che zwischen dem Vorgehensmodell auf der einen Seite und Projektmanagement, Aufbauorganisation, Unternehmensstrategie, Serviceengineering und sonstigen Rahmenbedingungen auf der anderen Seite; Ans?tze zur Integration der genannten Aspekte in das Vorgehensmodell. - Diskrepanzen zwischen dem (unternehmensweit) dokumentierten Vorgehensmodell (Standards und Normen, Vorgehen "nach Lehrbuch") und dem tats?chlich gelebten Prozess. Die Diskrepanzen k?nnen sich beispielsweise auf die Praxistauglichkeit, Wirtschaftlichkeit, den Erfolgsbeitrag oder die Akzeptanz von Vorgehensmodellen in der Realit?t beziehen. - Zuk?nftige Anforderungen an Vorgehensmodelle, generelle Daseinsberechtigung von Vorgehensmodellen in der Zukunft. - Methodische Aspekte: Ursachen f?r die Schwierigkeiten bei der Evaluation bzw. Bewertung von Vorgehensmodellen und methodische L?sungsvorschl?ge hierzu. Beitr?ge und Tagungsband Bei den Einreichungen kann es sich handeln um: - ?bersichtsbeitr?ge, die einen oder mehrere der o.g. Themenvorschl?ge aufarbeiten und einf?hrend darstellen, - Ergebnisse laufender oder abgeschlossener empirischer bzw. gestaltender Forschungsarbeiten, - Erfolgsfaktorenuntersuchungen, - Erfahrungsberichte aus der Praxis, - Impulsbeitr?ge als Langbeitr?ge (max. 10 Seiten) oder Kurzbeitr?ge (max. 5 Seiten). Impulsbeitr?ge (bitte nur als Kurzbeitrag) werden einem separaten Review- Verfahren unterzogen. Hier freut sich die Fachgruppe ?ber kontroverse und der vorherrschenden Meinung entgegenstehende Beitr?ge aus Praxis und Wissenschaft, die im Rahmen eines eigenen Tracks zur moderierten Diskussion gestellt werden. Die Fachgruppe pr?miert einen herausragenden Beitrag mit dem Best Paper Award. Von der Einsendung von sog. "Success Stories" mit starker Marketing-Ausrichtung bitten wir generell abzusehen. Der Tagungsband wird als Verlagspublikation in gedruckter Form erscheinen. Bitte reichen Sie Ihren Beitrag ausschlie?lich ?ber das Konferenzsystem und unter Verwendung der bereitgestellten Dokumentenvorlage ein (siehe hierzu www.vorgehensmodelle.de). Die Einreichung umfasst neben dem Beitrag einen Abstract mit max. 3000 Anschl?gen und einen Kurz-CV mit max. 1000 Anschl?gen. Abstract und Kurz-CV werden auf der Webseite der Fachgruppe ver?ffentlicht. Nach Abschluss der Veranstaltung werden auch die Vortragsfolien ver?ffentlicht. Wird der Beitrag angenommen, erh?lt je ein Referent pro Beitrag eine Verg?nstigung von 50% auf den Tagungspreis. Programmkomitee Die Mitglieder des Programmkomitees entnehmen Sie bitte der Webseite der Fachgruppe unter http://www.vorgehensmodelle.de. Termine - 07.05.2013: Einreichungsfrist f?r die Beitr?ge - 12.06.2013: Information ?ber Annahme an die Autoren - 23.07.2013: Einreichung der druckfertigen Beitr?ge durch die Autoren - 09./10.10.2013: Tagung Kontaktadresse und weitere Informationen Auf der Webseite der Fachgruppe http://www.vorgehensmodelle.de werden laufend aktualisierte Informationen zur Tagung bereitgestellt. F?r R?ckfragen wenden Sie sich bitte an VM-Workshop at gi-ev.de. F?r das Leitungsgremium der Fachgruppe Vorgehensmodelle (WI-VM): - Prof. Eckhart Hanser, Duale Hochschule BW L?rrach (Sprecher der Fachgruppe, Leiter des Organisationskomitees) - Dr. Martin Mikusz, Universit?t Stuttgart (Leiter des Programmkomitees) - Masud Fazal-Baqaie, Universit?t Paderborn (stv. Leiter des Programmkomitees) Webseite der Fachgruppe: http://www.vorgehensmodelle.de Die Fachgruppe auf XING: https://www.xing.com/net/pri9f199bx/vorgehensmodelle/ Verteiler der Fachgruppe: https://mail.gi-ev.de/mailman/listinfo/wi-vm From pnse13 at informatik.uni-hamburg.de Mon Mar 25 16:16:43 2013 From: pnse13 at informatik.uni-hamburg.de (PNSE13) Date: Mon, 25 Mar 2013 16:16:43 +0100 Subject: [fg-arc] PNSE'13: Call for Contributions Message-ID: <51506A5B.4090306@informatik.uni-hamburg.de> PNSE'13 International Workshop on Petri Nets and Software Engineering Milano, Italy, June 24/25, 2013 a satellite event of Petri Nets 2013 34th INTERNATIONAL CONFERENCE ON APPLICATION AND THEORY OF PETRI NETS AND CONCURRENCY More information: http://www.informatik.uni-hamburg.de/TGI/events/pnse13/ Contact e-mail: pnse13 at informatik.uni-hamburg.de __________________________________________________________________ Important Dates Deadline for full papers: April 10th, 2013 Deadline for short papers: April 12th, 2013 Notification of paper acceptance: May 2nd, 2013 Deadline for posters: May 6th, 2013 Notification of poster acceptance: May 10th, 2013 Deadline for final revisions: May 21st, 2013 Workshop: Monday/Tuesday, June 24/25, 2013 __________________________________________________________________ Scope For the successful realisation of complex systems of interacting and reactive software and hardware components the use of a precise language at different stages of the development process is of crucial importance. Petri nets are becoming increasingly popular in this area, as they provide a uniform language supporting the tasks of modelling, validation, and verification. Their popularity is due to the fact that Petri nets capture fundamental aspects of causality, concurrency and choice in a natural and mathematically precise way without compromising readability. The workshop PNSE'13 (Petri nets and Software Engineering) will take place as a satellite event of Petri Nets 2013. The use of Petri nets (P/T-nets, coloured Petri nets and extensions) in the formal process of software engineering, covering modelling, validation, and verification, will be presented as well as their application and tools supporting the disciplines mentioned above. __________________________________________________________________ Topics We welcome contributions describing original research in topics related to Petri nets in combination with software engineering, addressing open problems or presenting new ideas regarding the relation of Petri nets and software engineering. Furthermore we look for surveys addressing open problems and new applications of Petri nets. Topics of interest include but are not limited to: Modelling * representation of formal models by intuitive modelling concepts * guidelines for the construction of system models * representative examples * process-, service-, state-, event-, object- and agent-oriented approaches * adaption, integration, and enhancement of concepts from other disciplines * views and abstractions of systems * model-driven architecture * modelling software landscapes * web service-based software development Validation and Execution * prototyping * simulation, observation, animation * code generation and execution * testing and debugging * process mining * efficient implementation Verification * structural methods (e.g. place invariants, reduction rules) * results for structural subclasses of nets * relations between structure and behaviour * state space based approaches * efficient model checking * assertional and deductive methods (e.g. temporal logics) * process algebraic methods * applications of category theory and linear logic * general analysis for software engineering contexts Application of Petri nets in Software Engineering, in particular the use of Petri nets in the domains of * flexible manufacturing, * logistics, * telecommunication, * workflow management and * embedded systems. Tools in the fields mentioned above __________________________________________________________________ Submissions The programme committee invites submissions of full contributions (up to 20 pages) or short contributions (up to 5 pages). Ongoing work (up to 2 pages) can also be presented in a special poster session. Please note that for full contributions up to 15 pages are recommended. Papers should be submitted in electronic form (PDF) using the Springer LNCS-format (see http://www.springer.de/comp/lncs/authors.html). Submissions should include title, authors' addresses, E-mail addresses, keywords and an abstract. For your submission in PDF format please use the online conference management system at http://www.easychair.org/conferences/?conf=pnse13 Just login or create a new account and then upload your paper. (Later you will be able to see your reviews there.) The papers will be peer reviewed by at least three members of the PC. Accepted contributions will be included in the workshop proceedings, which will be published online at CEUR-WS.org as one volume. __________________________________________________________________ Some of the best papers from the workshop will be invited for publication in a volume of the journal sub line of Lecture Notes in Computer Science entitled "Transactions on Petri Nets and Other Models of Concurrency" (ToPNoC). The papers are expected to be thoroughly revised and they will go through a totally new round of reviewing as is standard practice for journal papers. Papers from previous instances of this workshop (PNSE'07, PNDS'08, PNSE'09, PNSE'10, PNSE'11, and PNSE'12) made it into ToPNoC volumes in the Springer LNCS series (volumes 5100, 5460, 5800, 6550, 6900 and 7400). __________________________________________________________________ Chairs * Daniel Moldt (University of Hamburg, Germany) * Heiko R?lke (DIPF, Germany) -- Please use mailto:pnse13 at informatik.uni-hamburg.de or http://www.informatik.uni-hamburg.de/TGI/events/pnse13/ to contact us with respect to PNSE13 PNSE13 PC-Chairs: Daniel Moldt and Heiko R?lke *** Event: Petri Nets and Software Engineering, June 24/25, 2013 *** *** visit: http://www.informatik.uni-hamburg.de/TGI/events/pnse13 *** please visit also: *** Event: Modeling and Business Environments, June 24/25, 2013 *** http://www.informatik.uni-hamburg.de/TGI/events/modbe13 From mikusz at wi.uni-stuttgart.de Mon Mar 25 22:54:01 2013 From: mikusz at wi.uni-stuttgart.de (Martin Mikusz) Date: Mon, 25 Mar 2013 21:54:01 +0000 Subject: [fg-arc] Vorgehensmodelle 2013 - Call for Papers Message-ID: <195A44AFC1120F4E9DBEC343136F0D2D0F363780@AMSPRD0310MB387.eurprd03.prod.outlook.com> 20. Tagung der Fachgruppe Vorgehensmodelle im Fachgebiet Wirtschaftsinformatik der Gesellschaft f?r Informatik e.V. CALL FOR PAPERS Vorgehensmodelle 2013 Vorgehensmodelle - Anspruch und Wirklichkeit Tagungstermin: 09./10.10.2013 Ort: DHBW L?rrach Webseite: http://www.vorgehensmodelle.de Inhaltliche Ausrichtung und Themenvorschl?ge Mit ihrer Veranstaltungsreihe blickt die Fachgruppe Vorgehensmodelle auf eine 20-j?hrige Tradition zur?ck. W?hrend dieses Zeitraumes hat sich die Tagung "Vorgehensmodelle" als die wichtigste Veranstaltung zu diesem Thema im deutschsprachigen Raum etabliert. Die Veranstaltungsreihe verfolgt das Ziel, fundierte Ans?tze zu Vorgehensmodellen gemeinsam mit Erfahrungen zu deren Anwendung in der Praxis einem Fachpublikum aus Wissenschaftlern und Praktikern vorzustellen. Der intensiven Diskussion der vorgestellten Ans?tze sowie dem Erfahrungsaustausch wird dabei traditionell eine besonders hohe Bedeutung zugemessen. Im Jahr 2013 findet die 20. Tagung der Fachgruppe Vorgehensmodelle statt. Die Fachgruppe nimmt diese Jubil?umstagung zum Anlass, unter dem Motto "Vorgehensmodelle - Anspruch und Wirklichkeit" auf das bisher Erreichte, auf bisher vernachl?ssigte Themen und Entwicklungen, sowie auf die Herausforderungen f?r die Zukunft zu blicken. Die Fachgruppe freut sich ?ber Beitr?ge, die Diskrepanzen zwischen Anspruch und Wirklichkeit bei Vorgehensmodellen sowohl aus verschiedenen Perspektiven, als auch mit einem bestimmten thematischen Schwerpunkt beleuchten: - Anspruch und Wirklichkeit bei Vorgehensmodellen aus rollenspezifischer Sicht des Prozessingenieurs, des Entwicklers, des Projektleiters, der Unternehmensleitung, des Qualit?tsmanagements. - Anspruch und Wirklichkeit der gelebten Vorgehensmodelle aus betriebswirtschaftlicher, organisationstheoretischer, sozialwissenschaftlicher ("soziet?rer"), psychologischer, ingenieurswissenschaftlicher u.a. Perspektiven. - Widerspr?che zwischen dem Vorgehensmodell auf der einen Seite und Projektmanagement, Aufbauorganisation, Unternehmensstrategie, Serviceengineering und sonstigen Rahmenbedingungen auf der anderen Seite; Ans?tze zur Integration der genannten Aspekte in das Vorgehensmodell. - Diskrepanzen zwischen dem (unternehmensweit) dokumentierten Vorgehensmodell (Standards und Normen, Vorgehen "nach Lehrbuch") und dem tats?chlich gelebten Prozess. Die Diskrepanzen k?nnen sich beispielsweise auf die Praxistauglichkeit, Wirtschaftlichkeit, den Erfolgsbeitrag oder die Akzeptanz von Vorgehensmodellen in der Realit?t beziehen. - Zuk?nftige Anforderungen an Vorgehensmodelle, generelle Daseinsberechtigung von Vorgehensmodellen in der Zukunft. - Methodische Aspekte: Ursachen f?r die Schwierigkeiten bei der Evaluation bzw. Bewertung von Vorgehensmodellen und methodische L?sungsvorschl?ge hierzu. Beitr?ge und Tagungsband Bei den Einreichungen kann es sich handeln um: - ?bersichtsbeitr?ge, die einen oder mehrere der o.g. Themenvorschl?ge aufarbeiten und einf?hrend darstellen, - Ergebnisse laufender oder abgeschlossener empirischer bzw. gestaltender Forschungsarbeiten, - Erfolgsfaktorenuntersuchungen, - Erfahrungsberichte aus der Praxis, - Impulsbeitr?ge als Langbeitr?ge (max. 10 Seiten) oder Kurzbeitr?ge (max. 5 Seiten). Impulsbeitr?ge (bitte nur als Kurzbeitrag) werden einem separaten Review- Verfahren unterzogen. Hier freut sich die Fachgruppe ?ber kontroverse und der vorherrschenden Meinung entgegenstehende Beitr?ge aus Praxis und Wissenschaft, die im Rahmen eines eigenen Tracks zur moderierten Diskussion gestellt werden. Die Fachgruppe pr?miert einen herausragenden Beitrag mit dem Best Paper Award. Von der Einsendung von sog. "Success Stories" mit starker Marketing-Ausrichtung bitten wir generell abzusehen. Der Tagungsband wird als Verlagspublikation in gedruckter Form erscheinen. Bitte reichen Sie Ihren Beitrag ausschlie?lich ?ber das Konferenzsystem und unter Verwendung der bereitgestellten Dokumentenvorlage ein (siehe hierzu www.vorgehensmodelle.de). Die Einreichung umfasst neben dem Beitrag einen Abstract mit max. 3000 Anschl?gen und einen Kurz-CV mit max. 1000 Anschl?gen. Abstract und Kurz-CV werden auf der Webseite der Fachgruppe ver?ffentlicht. Nach Abschluss der Veranstaltung werden auch die Vortragsfolien ver?ffentlicht. Wird der Beitrag angenommen, erh?lt je ein Referent pro Beitrag eine Verg?nstigung von 50% auf den Tagungspreis. Programmkomitee Die Mitglieder des Programmkomitees entnehmen Sie bitte der Webseite der Fachgruppe unter http://www.vorgehensmodelle.de. Termine - 07.05.2013: Einreichungsfrist f?r die Beitr?ge - 12.06.2013: Information ?ber Annahme an die Autoren - 23.07.2013: Einreichung der druckfertigen Beitr?ge durch die Autoren - 09./10.10.2013: Tagung Kontaktadresse und weitere Informationen Auf der Webseite der Fachgruppe http://www.vorgehensmodelle.de werden laufend aktualisierte Informationen zur Tagung bereitgestellt. F?r R?ckfragen wenden Sie sich bitte an VM-Workshop at gi-ev.de. F?r das Leitungsgremium der Fachgruppe Vorgehensmodelle (WI-VM): - Prof. Eckhart Hanser, Duale Hochschule BW L?rrach (Sprecher der Fachgruppe, Leiter des Organisationskomitees) - Dr. Martin Mikusz, Universit?t Stuttgart (Leiter des Programmkomitees) - Masud Fazal-Baqaie, Universit?t Paderborn (stv. Leiter des Programmkomitees) Webseite der Fachgruppe: http://www.vorgehensmodelle.de Die Fachgruppe auf XING: https://www.xing.com/net/pri9f199bx/vorgehensmodelle/ Verteiler der Fachgruppe: https://mail.gi-ev.de/mailman/listinfo/wi-vm -------------- n?chster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From detlef.streitferdt at tu-ilmenau.de Wed Mar 27 00:23:39 2013 From: detlef.streitferdt at tu-ilmenau.de (Streitferdt Detlef Prof. Dr. TU Ilmenau) Date: Tue, 26 Mar 2013 23:23:39 +0000 Subject: [fg-arc] DEADLINE Extension to 3.4.2013: 5th Industrial Experience in Embedded Systems Design (IEESD 2013) Message-ID: .......................................................... 5th IEEE International Workshop on Industrial Experience in Embedded Systems Design IEESD 2013 http://compsac.cs.iastate.edu/ieesd2013.php Kyoto, Japan, July 22 - July 26, 2013 (in conjunction with COMPSAC 2013) .......................................................... Goals of the Workshop ---------------------------- The development of systems (software and hardware) in the industrial domain is facing a continuously growing technical environment. The integration of embedded systems in such a complex sphere, the interaction of embedded systems with the environment as well as with any other arbitrary (embedded and non-embedded) systems are major questions in the design and development of large industrial systems (system-of-systems). Such technical systems range from small embedded devices up to PC-class systems and their specific requirements for the development of software have to be aligned with the need to keep up with the quality of the system over many development iterations and throughout the massive expansion of the potentially collaborating system of embedded systems. The complexity of such huge interrelated and networked embedded systems is not yet fully supported by current development methods/processes with their technologies and accompanying tools. There are still gaps in the different development phases as well as modeling concepts for large systems as mentioned above. Dynamic traceability information starting with the requirements going into the running systems needs to be enhanced to reach a better and online analysis of the quality of such complex technical systems. The design of such huge and interrelated systems becomes even more important with the need of e.g. an early simulation for an early prediction of possible failures and bottlenecks. Theme --------- The theme of this workshop is to continuously gather current requirements of complex technical systems which are highly interrelated and embedded in a complex environment. We need to analyze the environments and the possible abstractions of such environments, e. g. towards an early and highly accurate simulation of embedded system designs. Different beneficial approaches for assessing and modeling such complex embedded systems are needed and will foster the application and further development of scientific approaches in the domain of large, interrelated and networked technical systems. Topics of Interest --------------------- Papers are expected to cover (non-restrictively) one or more of the following topics: - Experience reports with complex embedded technical systems out of different domains - Model-Driven Development for complex embedded systems - Product Lines Architectures, Software Architectures for complex embedded systems - Testing of complex embedded Systems - Evaluation and Analysis of Software Architectures - Adaptable, Evolvable Software and Hardware Architectures, Execution Models and Runtime Platforms - Development Methods, Processes and Tools for complex embedded Systems - Networking Environments - Coupling of Devices and Enterprise Applications Important Dates: ---------------- * April 3rd, 2013: Deadline for paper submission * April 26th, 2013: Decision notification (electronic) * May 5th, 2013: Camera-ready paper and registration due Program Committee: ------------------ * Tughrul Arslan, University of Edinburgh, UK * Jerker Delsing, Lulea University of Technology, Sweden * Robert Eschbach, ITK Engineering AG, Germany * Manal A. Farrag, Prince Sultan University, Saudi Arabia * Stefan Gerken, Siemens, Germany * Mikael Gidlund, ABB CRC, Sweden * Michael C. J?ger, Siemens, Germany * Stamatis Karnouskos, SAP, Germany * Stephan Pietsch, TestingTech, Germany * Ghulam Rasool, CIIT Lahore, Pakistan * Matthias Riebisch, University of Hamburg, Germany * Bernhard Schatz, Technical University Munich, Germany * Cristina Seceleanu, Malardalen University, Sweden * Dragos Truscan, Abo Akademi, Finland * Philipp Vorst, ABB Corporate Research, Germany Paper Submission: ----------------- Both draft and camera-ready papers must be submitted electronically via the workshops' Submission Page (http://myreview.cs.iastate.edu/IEESD2013). The format of submitted papers should follow the guidelines for the IEEE conference proceedings. All papers will be carefully reviewed by at least three reviewers. Papers should be no more than 6 pages. Organizers: ----------- * Detlef Streitferdt, Ilmenau University of Technology, Germany (detlef.streitferdt at tu-ilmenau.de) * Tiberiu Seceleanu, ABB Corporate Research, Sweden(tiberiu.seceleanu at se.abb.com) * Philipp Nenninger, ABB Corporate Research, Germany(philipp.nenninger at de.abb.com) -------------- next part -------------- An HTML attachment was scrubbed... URL: From ndragan at cs.kent.edu Tue Mar 26 20:00:59 2013 From: ndragan at cs.kent.edu (Natalia Dragan) Date: Tue, 26 Mar 2013 15:00:59 -0400 Subject: [fg-arc] ICSM 2013 - CFP for Research Track Message-ID: <5151F06B.3050507@cs.kent.edu> ============================================================================ ICSM 2013 CFP - Research Track ============================================================================ 29th IEEE International Conference on Software Maintenance 22 - 28 September 2013 - Eindhoven, The Netherlands http://icsm2013.tue.nl/ Follow us on Twitter: @IEEEICSM ============================================================================ The deadline for the Research track is approaching! Please read below and refer to the web page for further information. ================================ IMPORTANT DATES ================================ Abstract submission: April 17, 2013 Full papers submission: April 24, 2013 Notification: June 14, 2013 Camera-ready: July 13, 2013 ================================ CHAIRS ================================ General Chair: Alexander Serebrenik, Eindhoven University of Technology, The Netherlands Program Co-chairs: Tom Mens, University of Mons, Belgium and Yann-Ga?l Gu?h?neuc, ?cole Polytechnique de Montr?al, Canada ================================ TOPICS ================================ Topics of Interest include but not limited to: ? Software repository analysis and mining ? Run-time evolution, dynamic reconfiguration and self adaptation ? Reverse engineering, re- engineering and migration ? Software refactoring, restructuring and renovation ? Software and system comprehension ? Code cloning, code provenance, concept location and related research ? Change and defect management ? Evolution of non-code artefacts (e.g., requirements, design models, documentation, software architectures, business process models) ? Maintenance-related testing (e.g., regression testing) ? Maintenance and evolution processes ? Software quality improvement ? Software evolution for emerging paradigms ? Human aspects of software evolution ================================ PAPER SUBMISSION ================================ Research papers must adhere to the IEEE CS Proceedings style guidelines and are limited to 10 pages. Further details are available at: http://icsm2013.tue.nl/CFP/index.html