From sauer at upb.de Wed Dec 19 19:19:46 2012 From: sauer at upb.de (Stefan Sauer) Date: Wed, 19 Dec 2012 19:19:46 +0100 Subject: [fg-arc] =?iso-8859-15?q?Fristverl=E4ngerung_=287=2E_Januar_2013?= =?iso-8859-15?q?=29=3A_DFF_2013_-_Workshop_=22Design_For_Future=22?= Message-ID: <50D20542.3030208@upb.de> Sehr geehrte Damen und Herren, auf mehrfachen Wunsch verl?ngern wir die Einreichungsfrist f?r den *5. Workshop "Design For Future -- Langlebige Softwaresysteme"* Software Engineering f?r langlebige Systeme des GI-Arbeitskreises "Langlebige Software-Systeme" (AK L2S2) der Fachgruppen "Architekturen" und "Software-Reengineering" http://akl2s2.ipd.kit.edu/veranstaltungen/dff2013/ 1.M?rz 2013 in Aachen im Rahmen der Konferenz Software Engineering 2013 http://www.se2013.rwth-aachen.de *Wichtige Termine* Einreichung von Beitr?gen: *Neu: 7. Januar 2013* Benachrichtigung ?ber die Annahme: 16. Januar 2013 Einreichung der finalen Fassung: 30. Januar 2013 Workshop: 1. M?rz 2013 Wir erwarten Workshop-Beitr?ge im Umfang von max. 12 Seiten im LNI-Format (http://www.gi-ev.de/service/publikationen/lni/). Neben *Langbeitr?gen *k?nnen auch *Kurzbeitr?ge *(max. 6 Seiten) oder *Extended Abstracts* (max. 3 Seiten) eingereicht werden. Weitere Details und den Call for Papers finden Sie auf der Webseite des Workshops. -------------- next part -------------- An HTML attachment was scrubbed... URL: From hennicke at pst.ifi.lmu.de Tue Dec 18 14:22:58 2012 From: hennicke at pst.ifi.lmu.de (Rolf Hennicker) Date: Tue, 18 Dec 2012 14:22:58 +0100 Subject: [fg-arc] FACS 2013: CfP Message-ID: <50D06E32.1020905@pst.ifi.lmu.de> FACS 2013: CALL FOR PAPERS The 10th International Symposium on Formal Aspects of Component Software Nanchang, China, October 28-30, 2013 http://www.jxcsst.com/facs2013/ Scope ===== Component-based software development is a paradigm that has been proposing sound engineering principles and techniques for coping with the complexity of software-intensive systems. However, many challenging conceptual and technological issues remain that require further research. Moreover, the advent of service-oriented and cloud computing has brought to the fore new dimensions, such as quality of service and robustness to withstand inevitable faults, which require established concepts to be revisited and new ones to be developed in order to meet the opportunities offered by those architectures. As software applications become themselves components of wider socio-technical systems, further challenges arise from the need to create and manage interactions, which can evolve in time and space, and rely on the use of resources that can change in non-computable ways. FACS 2013 is concerned with how formal methods can be used to make component-based development fit for the new architectures of today and the systems that are now pervading the socio-economic world. Formal methods have provided foundations for component-based software through research on mathematical models for components, composition and adaptation, and rigorous approaches to verification, deployment, testing, and certification. Whilst those avenues still need to be further explored, time is also ripe to bring new techniques to the fore, such as those based on stochastic models and simulation. Topics of Interest ============ The symposium seeks to address the development and application of formal methods in all aspects of software components and services. Specific topics include, but are not limited to: -- formal models for software components and their interaction -- stochastic techniques for modeling and verification -- simulation techniques for complex networks of interacting components -- formal aspects of services, service oriented architectures, business processes, and cloud computing -- design and verification methods for software components and services -- composition and deployment: models, calculi, languages -- formal methods and modeling languages for components and services -- model based and GUI based testing of components and services -- models for QoS and other extra-functional properties (e.g., trust, compliance, security) of components and services -- components for real-time, safety-critical, secure, and/or embedded systems -- industrial or experience reports, and case studies -- update and reconfiguration of component and service architectures -- component systems evolution and maintenance -- autonomic components and self-managed applications -- formal and rigorous approaches to software adaptation and self-adaptive systems Call for Papers ========= We solicit high-quality submissions reporting on (as related to topics mentioned here): [A] - original research contributions (18 pages max); [B] - applications and experiences (18 pages max); [C] - surveys, comparisons, and state-of-the-art reports (18 pages max); [D] - tool papers (6 pages max); In addition, we solicit submissions to the Doctoral Track of FACS 2013, in the form of abstracts (3 pages max) concisely capturing work in progress, related topic, context, research questions, envisaged contributions, and partial results. All submissions must be original, unpublished, and not submitted concurrently for publication elsewhere. Papers should be formatted according to the guidelines for Springer LNCS papers. Important Dates =========== -- Abstract submission: July 8, 2013 -- Paper submission: July 15, 2013 -- Notification: September 16, 2013 -- Final version due: October 7, 2013 Publications ======== All accepted papers will appear in the pre-proceedings of FACS 2012. Revised versions of accepted papers in the categories A-D above will appear in the post-proceedings of the symposium that will be published as a volume in Springer's LNCS series. The authors of a selected subset of accepted papers will be invited to submit extended versions of their papers to appear in a special issue of the Science of Computer Programming journal. Keynote Speakers =========== -- ZHOU Chaochen (http://sourcedb.cas.cn/sourcedb_is_cas/yw/zjrc/200908/t20090818_2415411.html), Software Institute, Chinese Academy of Sciences -- Axel Legay (http://people.irisa.fr/Axel.Legay/), IRISA/INRIA, France -- Jayadev Misra (http://www.cs.utexas.edu/~misra/), University of Texas at Austin, US Organization ======== -- Conference Chair: Jinyun Xue, Jiangxi Normal University, China -- PC Chairs: Jos?? Luiz Fiadeiro, Royal Holloway, UK Zhiming Liu, UNU-IIST, Macau SAR, China -- Publicity Chair : Meng Sun, Peking University, China -- PC Members: Farhad Arbab, CWI and Leiden University, The Netherlands Christian Attiogbe, University of Nantes, France Luis Barbosa, Universidade do Minho, Portugal Roberto Bruni, University of Pisa, Italy Tevfik Bultan, University of California at Santa Barbara, US Carlos Canal, University of M??laga, Spain Chunqing Chen, HP Labs Singapore Xin Chen, Nanjing University Zhenbang Chen, National Laboratory for Parallel and Distributed Processing, China Van Hung Dang, University of Engineering and Technology, Vietnam Zhenhua Duan, Xidan University, China Marcelo Frias, Instituto Tecnologico Buenos Aires, Argentina Lindsay Groves, Victoria University of Wellington, New Zealand Rolf Hennicker, Ludwig-Maximilians-Universit??t M??nchen, Germany Axel Legay, IRISA/INRIA, Rennes Jing Liu, East China Normal University Shaoying Liu, Hosei University, Japan Ant??nia Lopes, University of Lisbon, Portugal Markus Lumpe, Swinburne University of Technology, Australia Eric Madelaine, INRIA Tom Maibaum, McMaster University, Canada Dominique Mery, Universit?? de Lorraine, France Peter Olveczky, University of Oslo, Norway Corina Pasareanu, CMU/NASA, US Frantisek Plasil, Czech Republic Pascal Poizat, Universit?? Paris Ouest Nanterre La D??fense, France Shaz Qadeer, Microsoft Research Markus Roggenbach, Swansea University Gwen Sala??n, Grenoble INP - INRIA - LIG, France Bernhard Sch??tz, TU M??nchen, Germany Marjan Sirjani, University, Reykjavik, Iceland Meng Sun, Peking University Neil Walkinshaw, The University of Leicester, UK Farn Wang, National Taiwan University, Taiwan Gianluigi Zavattaro, University of Bologna, Italy Naijun Zhan, Institute of Software, China Jianjun Zhao, Shanghai Jiao Tong University From einarj at ifi.uio.no Thu Dec 20 12:18:33 2012 From: einarj at ifi.uio.no (Einar Broch Johnsen) Date: Thu, 20 Dec 2012 12:18:33 +0100 Subject: [fg-arc] integrated Formal Methods (iFM 2013): Last Call for Papers Message-ID: <125450AC-10FB-4077-B49E-3042DDE82F40@ifi.uio.no> LAST CALL FOR PAPERS ********************************************************************** 10th International Conference on integrated Formal Methods (iFM 2013) June 10 - 14, 2013 - Turku, Finland http://www.it.abo.fi/iFM2013/ ********************************************************************** IMPORTANT DATES - Abstract Submission: January 10, 2013 - Paper submission: January 17, 2013 - Paper notification: March 11, 2013 - Final version paper: March 31, 2013 OBJECTIVES AND SCOPE Applying formal methods may involve modeling different aspects of a system which are best expressed using different formalisms. Correspondingly, different analysis techniques may be used to examine different system views, different kinds of properties, or simply in order to cope with the sheer complexity of the system. The iFM conference series seeks to further research into hybrid approaches to formal modeling and analysis; i.e., the combination of (formal and semi-formal) methods for system development, regarding modeling and analysis, and covering all aspects from language design through verification and analysis techniques to tools and their integration into software engineering practice. Areas of interest include but are not limited to: - Formal and semiformal modelling notations; - Integration of formal methods into software engineering practice; - Refinement; - Theorem proving; - Tools; - Logics; - Model checking; - Model transformations; - Semantics; - Static Analysis; - Type Systems; - Verification; - Case Studies; - Experience reports INVITED SPEAKERS iFM 2013 will have the following keynote speakers: - Jean-Raymond Abrial, Marseille, France: From Z to B and then Event-B: Assigning Proofs to Meaningful Programs - Susanne Graf, VERIMAG, France: Integrating Distributed Control over Systems with Priorities - Cosimo Laneve, University of Bologna, Italy: An Algebraic Theory for Web Services Contracts - Kim Larsen, Aalborg University, Denmark: Statistical Model Checking with Priced Timed Automata SPECIAL ISSUES To celebrate the 10th edition of iFM, there will be special issues of the Springer journals - Formal Aspects of Computing - Software and Systems Modeling The best papers from iFM 2013 will be invited for these special issues, complemented by an open call for papers, and undergo a separate peer-review process according to the usual scientific standards of these journals. WORKSHOPS AND TUTORIALS There will be two days of workshops and tutorials before the iFM conference. The conference will take place June 12-14, 2013 and the tutorials and workshops June 10-11, 2013. We are happy to announce the following workshops and tutorials that will accompany iFM 2013: - CompMod 2013: The 4th International Workshop on Computational Models for Cell Processes Website: http://combio.abo.fi/compmod13/ Organiser: Ion Petre, ?bo Akademi University, Finland - The 11th Overture Workshop Website: http://wiki.overturetool.org/index.php/11th_Overture_Workshop Organisers: Stefan Hallerstede, Aarhus University, Denmark and Ken Pierce, University of Newcastle, UK - Rodin User and Developer Workshop 2013 Website: http://wiki.event-b.org/index.php/Rodin_Workshop_2013 Organisers: Michael Butler, University of Southampton; Stefan Hallerstede, Aarhus University; Thierry Lecomte, ClearSy; Michael Leuschel, University of D?sseldorf; Alexander Romanovsky, University of Newcastle; Laurent Voisin, Systerel; Marina Walden, ?bo Akademi University - FMDEP 2013: Workshop on Formal Methods for Dependable Computer-Based Systems Website: to be announced Organisers: J?ri Vain, Tallinn University of Technology, Estonia and Leonidas Tsiopoulos, ?bo Akademi University, Finland - BCS FACS 2013 Refinement Workshop 2013 Website: http://www.refinenet.org.uk/ref13/cfp.html Organisers: Eerke Boiten, University of Kent, UK; John Derrick, University of Sheffield, UK; Steve Reeves, University of Waikato, NZ - Tutorial: Specification and Proof of Programs with Frama-C Organizers: Nikolai Kosmatov, Virgile Prevosto, and Julien Signoles (Software Safety Laboratory, CEA LIST) SUBMISSION GUIDELINES iFM 2013 solicits high quality papers reporting research results and/or experience reports related to the overall theme of method integration. The conference proceedings will be published in Springer's Lecture Notes in Computer Science series. All submissions must be original, unpublished, and not submitted for publication elsewhere. Submissions must be in PDF format, using the Springer LNCS style files; we suggest to use the LaTeX2e package (the llncs.cls class file, available in llncs2e.zip and the typeinst.dem available in typeinst.zip as a template for your contribution). Papers should not exceed 15 pages in length. Each paper will undergo a thorough review process. Submissions should be made using the iFM 2013 Easychair web site: https://www.easychair.org/account/signin.cgi?conf=ifm2013 All accepted papers must be presented at the conference. Their authors must be prepared to sign a copyright transfer statement. At least one author of each accepted paper must register to the conference by the early date, to be indicated by the organizers, and present the paper. iFM PROGRAMME COMMITTEE CHAIRS: - Einar Broch Johnsen, University of Oslo, Norway - Luigia Petre, ?bo Akademi University, Finland iFM 2013 TUTORIALS and WORKSHOPS CHAIR Pontus Bostr?m, ?bo Akademi University, Finland iFM 2013 ORGANIZING COMMITTEE CHAIR Luigia Petre, ?bo Akademi University, Finland PROGRAM COMMITTEE - Erika Abraham, RWTH Aachen University, Germany; - Elvira Albert, Complutense University of Madrid, Spain; - Marcello Bonsangue, Leiden University, the Netherlands; - Phillip J Brooke, Teesside University, UK; - Ana Cavalcanti, University of York, UK; - Dave Clarke, Catholic University of Leuven, Belgium; - John Derrick, Unversity of Sheffield, UK; - Jin Song Dong, National University of Singapore, Singapore; - Kerstin Eder, University of Bristol, UK; - John Fitzgerald, Newcastle University, UK; - Andy Galloway, University of York, UK; - Marieke Huisman, University of Twente, the Netherlands; - Reiner H?hnle, Technical University of Darmstadt, Germany; - Einar Broch Johnsen, University of Oslo, Norway; - Peter Gorm Larsen, Aarhus University, Denmark; - Diego Latella, ISTI-CNR, Pisa, Italy; - Michael Leuschel, University of Duesseldorf, Germany; - Shaoying Liu, Hosei University, Japan; - Michele Loreti, University of Florence, Italy; - Dominique Mery, LORIA and University of Lorraine, France; - Stephan Merz, INRIA Lorraine, France; - Richard Paige, University of York, UK; - Luigia Petre, ?bo Akademi University, Finland; - Kristin Yvonne Rozier, NASA Ames Research Center, USA; - Philipp Ruemmer, Uppsala University, Sweden; - Thomas Santen, European Microsoft Innovation Center, Germany; - Ina Schaefer, Technical University of Braunschweig, Germany; - Steve Schneider, University of Surrey, UK; - Emil Sekerinski, McMaster University, Canada; - Graeme Smith, University of Queensland, Australia; - Colin Snook, University of Southampton, UK; - Kenji Taguchi, AIST, Japan; - Helen Treharne, University of Surrey, UK; - Heike Wehrheim, University of Paderborn, Germany; - Herbert Wiklicky, Imperial College, UK; - Gianluigi Zavattaro, University of Bologna, Italy ********************************************************************** This call for papers and additional information about the conference can be found at http://www.it.abo.fi/iFM2013 For information regarding the conference you can contact: ifm2013 at abo.fi From riebisch at informatik.uni-hamburg.de Thu Dec 20 19:21:42 2012 From: riebisch at informatik.uni-hamburg.de (Riebisch, Matthias) Date: Thu, 20 Dec 2012 18:21:42 +0000 Subject: [fg-arc] Erinnerung an CfP GI-Workshop Traceability 26.2. Aachen - Deadline 04.01.2013 Message-ID: <28D593335490374196A6ADFA007531C41DC7E9@groupware.informatik.uni-hamburg.de> Erinnerung an Einladung zur Einreichung von Beitr?gen Workshop: Nutzung und Nutzen von Traceability Der Workshop findet am 26.02.2013 im Rahmen der Multikonferenz Softwareengieneering http://www.se2013.rwth-aachen.de/ in Aachen statt. Aktualisierte Informationen erhalten Sie ?ber die Webseite des Workshops http://www.tu-ilmenau.de/sp/forschung/workshop-traceability/ Thema: Nutzung von Traceability in Softwareprojekten, Methoden und Werkzeuge f?r ein ausgewogenes Aufwand- Nutzenverh?ltnis Ziele: Der Workshop soll aktuelle Forschungsergebnisse auf dem Gebiet des Einsatzes von Traceability darstellen und diese mit Erfahrungen aus der Praxis zusammenf?hren. Daraus soll der Wissenstransfer gef?rdert und aktuelle Fragen f?r eine anwendungsnahe Forschung entwickelt werden. Inhalt: Der Einsatz von Traceability in der Softwareentwicklung bietet zahlreiche Vorteile wie steigende Qualit?t der entstehenden Software, Vereinfachung von Weiterentwicklungen. Trotzdem zeigen Studien, dass es beim Einsatz von Traceability in der Praxis nach wie vor Defizite gibt. Der Hauptschwerpunkt des Workshops liegt bei Ans?tzen, die zu einer Balance zwischen Aufwand und Nutzen von Traceability beitragen. Schwerpunkte der Diskussion sind beispielsweise: ? Methoden und Werkzeuge zur Unterst?tzung von Traceability ? Nutzungsszenarien von Traceability ? Traceability in einem agilen Umfeld - sinnvoll und praktikabel? ? Studien zum Einsatz von Traceability Ebenfalls von Interesse sind Erfahrungsberichte ?ber den Einsatz von Traceability in der Praxis. Zielgruppe: Durch eine interessante Mischung der Beitr?ge, soll die Diskussion zwischen Vertretern unterschiedlicher als auch sich erg?nzender Ans?tze gef?rdert werden. Der Workshop richtet sich zudem ausdr?cklich auch an Interessenten aus Wirtschaft und Industrie. Anmeldung und Teilnahme: Genaue Informationen werden noch bekanntgegeben. Die Teilnahme ist selbstverst?ndlich auch f?r Nichtvortragende offen. Call for Papers Download als PDF http://www.tu-ilmenau.de/fileadmin/media/sspi/Forschung/CallForPapersTracea bility2013.pdf Im Workshop "Traceability - Nutzen und Praxis" sollen Erfahrungen ausgetauscht und L?sungsm?glichkeiten diskutiert werden. Interessenten sind herzlich eingeladen einen eigenen Vortrag einzubringen, in dem Sie ?ber Arbeiten aus dem Themengebiet, ?ber Erfahrungen und Ergebnisse oder ?ber Anforderungen und offene Probleme berichten. Beitr?ge k?nnen in deutscher oder englischer Sprache eingereicht werden. Als Beitr?ge sind m?glich: Beitr?ge ?ber Forschungsergebnisse, Fallstudien, (4-6 Seiten) Kurzbeitr?ge: Anwenderberichte, Positionspapiere zu offenen Fragen oder Forschungszielen, Werkzeugdemos, (2 Seiten) In den Formatvorgaben der Softwaretechnik-Trends http://pi.informatik.uni-siegen.de/stt/diverses/hinweise.html lassen sich dabei mehr Text pro Seite unterbringen als bei anderen Formaten. Die Publikation der angenommenen Beitr?ge erfolgt online sowie in der Zeitschrift Softwaretechnik-Trends. Die Beitr?ge werden durch die Mitglieder des Programmkomitees nach Relevanz, Originalit?t, Korrektheit und Klarheit der Darstellung beurteilt und ausgew?hlt. Zeitplan: Einreichung kurzer Abstract: 18.12.2012 Einreichung der Beitr?ge: 04.01.2013 Begutachtung bis: 11.01.2013 Information ?ber Annahme: 21.01.2013 Druckfertiger Beitrag: 10.02.2013 Workshop: 26.02.2013 Einreichung: Die Einreichung der Beitr?ge sowie die Kommunikation mit den Autorinnen und Autoren erfolgt ?ber das Konferenzsystem Easychair https://www.easychair.org/conferences/?conf=traceability2013 Geplanter Ablauf: Der Workshop ist als eint?gige Veranstaltung geplant und findet am 26.03.2013 statt. Begr??ung und Vorstellungsrunde aller Beteiligten mit T?tigkeitsfeld und Fokus zum Thema erster Vortragsblock mit Vortr?gen a 20 ? 30 min mit anschlie?ender Diskussion Mittagspause zweiter Vortragsblock Kaffeepause mit Zeit zum individuellem Austausch Gruppendiskussion, ausgerichtet an den Position Statements der Vortragenden Abschlu?: Zusammenfassung der Beitr?ge Dokumentation der aktuellen Fragen Veranstalter GI-Arbeitskreis Traceability/Evolution Organisatoren Elke Bouillon - TU Ilmenau Matthias Riebisch - Universit?t Hamburg Ilka Philippow - TU Ilmenau Programmkomitee Elke Bouillon, TU Ilmenau Sebastian Gayer, MID N?rnberg Baris G?ldali, s-lab/Uni Paderborn Andrea Herrmann, Stuttgart Thorsten Keuler, Fraunhofer IESE Kaiserslautern Patrick M?der, JKU Linz Daniel Moldt, Uni Hamburg Ilka Philippow, TU Ilmenau Matthias Riebisch, Uni Hamburg Kontakt traceability2013 at easychair.org Die Einreichung der Beitr?ge sowie die Kommunikation mit den Autorinnen und Autoren bitte das Konferenzsystem Easychair verwenden: https://www.easychair.org/conferences/?conf=traceability2013 From AndreaHerrmann3 at gmx.de Sat Dec 22 16:49:56 2012 From: AndreaHerrmann3 at gmx.de (Andrea Herrmann) Date: Sat, 22 Dec 2012 16:49:56 +0100 Subject: [fg-arc] call for papers: creaRE 2013 - Creativity in Requirements Engineering Message-ID: <20121222154956.225640@gmx.net> Call for Papers 3rd Workshop on Creativity in Requirements Engineering: CREARE?13 at REFSQ 2013 April 8, 2013, Essen, Germany CREARE?13 in an interdisciplinary venue that brings together practitioners and researchers interested in discussing the role of creativity in RE, the array of creativity techniques that can be applied to RE, and the specific ways in which these techniques add value. We envision the CREARE participants to include both RE experts and experts from a variety of other fields, e.g. psychology, creative writing, design thinking. The workshop will serve as a forum for the exchange of both experience and research results. It also aims at raising awareness in the RE community for the importance of creativity and creativity techniques and awareness for RE in the creativity community. The targeted outcomes of CREARE?13 are: (1) an agenda for conducting empirical research about creativity in RE, and (2) an action plan to use the CREARE workshops as a platform for linking the RE community to other communities to which creativity is essential. Workshop topics include, but are not restricted to: - The interplay of requirements and creativity - Creativity techniques and their application in requirements activities - Tool support for creativity-enhancement - Context-dependent use of creativity and creativity techniques - Experiences with creativity techniques in industry - Relation of creativity and innovation - Requirements Engineering Techniques that enable or support creativity - Professional skills essential to creativity in RE - Creativity via reuse: trading off innovation and efficient production - Theories from other disciplines (e.g. behavior sciences, psychology of learning) explaining the relationship between creativity and RE - Teaching Creativity in RE ** Important Dates ** Submission deadline: January 23, 2013 Author Notification: February 20, 2013 Camera Ready Papers: March 20, 2013 Workshop Date: April 8, 2013 ** Submissions ** We invite three types of submissions: position papers, full papers and interactive sessions. Both types should treat a topic from the workshop themes. - Position papers (3-6 pages): Short papers, stating the position of the author(s) on any of the workshop topics. For example, position papers could describe an experiment or a case study in industry. These papers will be evaluated on their potential for generating discussion, on practical relevance and on the originality of the positions stated. - Full papers (8-10 pages): Full papers evaluating an experience (in industry) or describing the results of a research effort. Full papers will be evaluated for innovativeness of the proposed ideas and for technical soundness. - Interactive sessions (1-2 pages): Proposals for interactive sessions like games, method demonstrations, role plays or mini-tutorials of 20-30 Minutes which can be executed at the workshop, including the participation of circa 20 persons Submissions will be accepted via E-Mail at herrmann at herrmann-ehrlich.de. All paper submissions should be in the LNCS format (see http://www.springer.com/computer/lncs?SGWID=0-164-12-73062-0). The papers will be published in the REFSQ workshop proceedings. All submissions will be reviewed by three members of the Program Committee. ** Program Committee ** Dan Berry University of Waterloo, Canada David Callele University of Saskatchewan, Canada Maya Daneva University of Twente, The Netherlands Joerg Doerr Fraunhofer Institut IESE, Germany Andrea Herrmann Freelance Software Engineering Trainer, Germany Anne Hoffmann Siemens AG, Germany Klaus Schmid University of Hildesheim, Germany Kurt Schneider Leibniz Universit?t Hannover, Germany Roel Wieringa University of Twente, The Netherlands Konstantinos Zachos City University London, United Kingdom ** Organizers ** Maya Daneva, University of Twente, Netherlands, m.daneva at utwente.nl Andrea Herrmann, Freelance Software Engineering Trainer, Germany, herrmann at herrmann-ehrlich.de Anne Hoffmann, Siemens AG, Germany, anne.hoffmann at siemens.com Kurt Schneider, University of Hannover, Germany, Kurt.Schneider at Inf.Uni-Hannover.de -- *********************************************************************** Dr. Privat-Doz. Andrea Herrmann Daimlerstr. 121 D-70372 Stuttgart Germany +49 (0)711 41006191 AndreaHerrmann3 at gmx.de http://andreaherrmann.twoday.net/ Gastprofessorin an der FH Bingen im Wintersemester 2012/13 www.fh-bingen.de next events: 15th January 2013: A. Herrmann, A. Hoffmann: Tutorial "Vermitteln Sie Wissen und Werte mit Stories!", Software Quality Days, http://www.software-quality-days.com/konferenz/konferenzprogramm/ 21st January 2013: A. Herrmann, A. Hoffmann: Tutorial "Vermitteln Sie Wissen und Werte mit Stories!", OOP, http://www.sigs-datacom.de/oop2013/konferenz/konferenzprogramm.html 24th January 2013: final presentation about gender research during the guest professorship at FH Bingen 26-28th Feb: Course "Requirements Engineering" at the meccanica feminale in Stuttgart http://www.meccanica-feminale.de/ 11th March: presentation "Risikobasierte Anforderungspriorisierung: Ergebnisse einer Experiment-Reihe" at REConf2013 http://www.hood-group.com/reconf/reconf-2013/ 18+19th March: Seminar "Leichtgewichtiges Requirements Engineering" at www.sigs-datacom.de 20+21th March: Seminar "Entscheidungen im Software Engineering" at www.sigs-datacom.de 8th April: CreaRE workshop (Creativity in Requirements Engineering) at the REFSQ 2013 in Essen