From mail at ansgarscherp.net Tue Feb 4 17:25:33 2014 From: mail at ansgarscherp.net (Ansgar Scherp) Date: Tue, 04 Feb 2014 17:25:33 +0100 Subject: [fg-arc] CfP DOKTORANDENPROGRAMM der INFORMATIK 2014 in Stuttgart / CfP Doctoral Programme of INFORMATIK 2014 Message-ID: <1391531133.6931.33.camel@scherp-ThinkPad-X1> CfP - Zweiter Aufruf zum DOKTORANDENPROGRAMM der INFORMATIK 2014 in Stuttgart [Note: English Version below!] === Aufruf zum DOKTORANDENPROGRAMM der INFORMATIK 2014 === === am 25. und 26. September 2014 === === im Rahmen der INFORMATIK 2014 vom 22.-26.9.2014 in Stuttgart === === siehe http://informatik2014.de/doktoranden.html === Das Doktorandenprogramm der INFORMATIK 2014 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. Das Doktorandenprogramm der INFORMATIK 2014 findet zusammen mit dem Doktorandenprogramm der Konferenz f?r K?nstliche Intelligenz (KI) statt. Einreichungen aus dem Themenbereich der KI werden daher dasselbe Begutachtungsverfahren wie die anderen Einreichungen des Doktorandenprogramms durchlaufen. 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. Zudem sind in 2014 auch Einreichungen als Kurzbeitr?ge der L?nge von 4-6 Seiten m?glich. Diese werden im Rahmen der Postersession am Donnerstag pr?sentiert. Eine Einbettung in das ?bergeordnete Thema ist f?r Kurzbeitr?ge nicht erforderlich. Alle akzeptierten 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 sowie den Postern des Studierendenprogramms der GI Jahrestagung 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. Am 26. September wird zudem ein Promotionsworkshop mit eingeladenen Vortr?gen zum Thema "Wie promoviere ich?" angeboten. Dieser Workshop ist offen f?r alle interessierte Forscher und Forscherinnen der INFORMATIK 2014. ** Best Paper Award ** Im Rahmen des Doktorandenprogramms der INFORMATIK 2014 wird ein Preis f?r den besten Vollbeitrag ausgelobt. Der Preis wird gemeinsam von der GI Jahrestagung und der KI festgelegt und im Rahmen der Postersession bekanntgegeben. ** Wichtige Daten ** - Einreichung der Beitr?ge: 22. April 2014 - Benachrichtigung zur Begutachtung: 20. Mai 2014 - Einreichung der finalen Version: 23. Juni 2014 - Vortr?ge: 25. / 26. September 2014 - Vorstellung der Poster: 25. September 2014 (Poster-Session der INFORMATIK 2014) - Mentorenprogramm: am 25. September 2014 ** Informationen zur Einreichung ** * Umfang und Gestaltung der Vollbeitr?ge: - 10-12 Seiten (gem?? den Formatierungsrichtlinien der INFORMATIK 2014 im GI-Format). - Beitr?ge sollen einen thematischen Fokus haben sowie auf 1-2 Seiten die Einbettung in das ?bergeordnete Thema der Dissertation beschreiben. * Umfang und Gestaltung der Kurzbeitr?ge: - 4-6 Seiten (gem?? den Formatierungsrichtlinien der INFORMATIK 2014 im GI-Format). - Beitr?ge sollen einen thematischen Fokus haben. Eine Einbettung in das ?bergeordnete Thema der Dissertation ist nicht notwendig. * Beitr?ge k?nnen in Deutsch oder Englisch (bevorzugt!) eingereicht werden. * Akzeptierte Vollbeitr?ge werden entweder als Vortrag oder Poster-Pr?sentation vorgestellt. Akzeptierte Kurzbeitr?ge werden als Poster pr?sentiert. * Einreichung von Beitr?gen erfolgt ?ber EasyChair der INFORMATIK 2014. ** Leitung des Doktorandenprogramms ** - Ansgar Scherp, Universit?t zu Kiel und Leibniz Informationszentrum f?r Wirtschaft - Dirk Pfl?ger, Universit?t Stuttgart - Markus Kr?tzsch, TU Dresden (KI) ** Programmkomittee ** Prof. Andreas Dengel, Technische Universit?t Kaiserslautern Prof. Andreas Henrich, Universit?t Bamberg Prof. Andreas Winter, Universit?t Oldenburg Prof. Antonio Kr?ger, Saarland University Prof. Bernd Neumann, Universit?t Hamburg Prof. Collin Atkinson, Universit?t Mannheim Prof. Dirk Nowotka, Universit?t zu Kiel Prof. Harald Kosch, Universit?t Passau Prof. Heiner Stuckenschmidt, Universit?t Mannheim Prof. Ingo Schmitt, Universit?t Cottbus Prof. Isabella Peters, Universit?t Kiel Prof. Klaus-Dieter Althoff, Universit?t Hildesheim Prof. Lars Schmidt-Thieme, Universit?t Hildesheim Prof. Melanie Herschel, Universite Paris Sud, Frankreich Prof. Michael Gertz, Universit?t Heidelberg Prof. Miriam Mehl, Universit?t Stuttgart Prof. Philipp Slusallek, Universit?t des Saarlandes Prof. Ralf Reussner, Universit?t Karlsruhe Prof. Ra?l Rojas, FU Berlin Prof. Rolf Drechsler, Universit?t Bremen Prof. Sebastian Rudolph, TU Dresden Prof. Stefan Conrad, Universit?t D?sseldorf Prof. Stefan Wagner, Universit?t Stuttgart Prof. Thomas Neumann, TU M?nchen Prof. Thomas Plagemann, Universit?t Oslo Prof. Uli Sattler, University of Manchester Prof. Viorica Sofronie-Stokkermans Prof. Volker Turau, TU Hamburg-Harburg Prof. Wilhelm (Willi) Hasselbring, Universit?t zu Kiel Prof. Wolf-Tilo Balke, Universit?t Braunschweig Prof. Wolfgang Effelsberg, Universit?t Mannheim --- CfP - 2nd Call for Participation to the Doctoral Programme of INFORMATIK 2014 === 2nd Call for DOCTORAL PROGRAMME of INFORMATIK 2014 === === to be held during September 25-26, 2014 === === at INFORMATIK 2014 from September 22-26, 2013 in Stuttgart, Germany === === details: http://informatik2014.de/doktoranden.html === The doctoral programme of INFORMATIK 2014 allows young researchers to present his or her topic to a broader audience. Accepted submissions will be presented either as oral presentation or poster. In addition, the doctoral programme allows the researchers to exchange experiences with other students, build contacts, discuss problems and solutions, and receive feedback from senior researchers in related research areas. Thus, focus of the doctoral programme is besides scientific presentations and discussions also the possibility for socializing with researchers in related fields and getting feedback from experienced researchers. The doctoral programme is held in conjunction with the 44th annual meeting of the German Informatics Society (Gesellschaft f?r Informatik e.V. (GI)). The doctoral programme of INFORMATIK 2014 is co-organized with the doctoral programme of the conference K?nstliche Intelligenz (KI). Submissions to the topics of KI will undergo the same reviewing procedure as the other submissions to the doctoral programme. Submitted papers are evaluated by relevance, innovation, and interest for a larger audience. We expect full paper submissions of 10-12 pages adhering to the formatting guidelines of INFORMATIK 2014 (i.e., GI format). The papers should be focused on a particular research question as well as provide a 1-2 page description of the broader topic of the dissertation. In addition, we accept short papers of 4-6 pages. They are presented during the poster session on Thursday. A description of the broader topic of the dissertation is not required for short paper submissions. All accepted papers are published in the proceedings of the GI annual meeting. In terms of a doctoral programme, we kindly ask that the papers are authored and submitted by the doctoral students being the only author. Accepted papers are to be presented by the doctoral students either as oral presentation or poster. The posters will be presented together with the posters of the annual GI meeting and the posters of the students programme. Interested students can sign up for a mentoring programme. The organizers will select experienced researchers and assign slots for a personal coaching. Expression of interest to the mentoring programme can be done when submitting the papers. The mentoring programme is offered under the condition of proper fit to the topic and availability of experienced researchers. It will be given due notice. On September 26, there will be an additional PhD workshop on "How to accomplish a Phd study?". This workshop is open to all interested researchers attending INFORMATIK 2014. ** Best Paper Award ** The doctoral programme of INFORMATIK 2014 will issue an award for the best full-length paper. The award is granted jointly by the annual GI meeting and the KI conference and will be announced during the poster session. ** Important Dates ** Submission of papers April 22, 2014 Notification: Mai 20, 2014 Camera ready version: June 23, 2014 Presentations: September 25/26, 2014 Poster session: September 25, 2014 (poster session of INFORMATIK 2014) Mentoring programme: planned for September 25, 2014 ** Details about the submission: ** * Full papers: - 10-12 pages (according to formatting guidelines of INFORMATIK 2014 in GI format) - Submissions are expected to focus on a research question as well as describe on 1-2 pages the context of the dissertation * Short papers: - 4-6 pages (according to formatting guidelines of INFORMATIK 2014 in GI format) - Submissions are expected to focus on a research question. Description of the broader context of the dissertation is not required. * Submissions in English are preferred, other submission language is German * Accepted submissions are either presented in oral (full papers) or as poster (full papers/short papers). * Submissions are handled through EasyChair of INFORMATIK 2014. ** Organizers of the Doctoral Programme ** - Ansgar Scherp, Kiel University and Leibniz Information Center for Economics, Kiel, Germany - Dirk Pfl?ger, University of Stuttgart - Markus Kr?tzsch, TU Dresden (KI) ** Program Comittee ** Prof. Andreas Dengel, Technische Universit?t Kaiserslautern Prof. Andreas Henrich, Universit?t Bamberg Prof. Andreas Winter, Universit?t Oldenburg Prof. Antonio Kr?ger, Saarland University Prof. Bernd Neumann, Universit?t Hamburg Prof. Collin Atkinson, Universit?t Mannheim Prof. Dirk Nowotka, Universit?t zu Kiel Prof. Harald Kosch, Universit?t Passau Prof. Heiner Stuckenschmidt, Universit?t Mannheim Prof. Ingo Schmitt, Universit?t Cottbus Prof. Isabella Peters, Universit?t Kiel Prof. Klaus-Dieter Althoff, Universit?t Hildesheim Prof. Lars Schmidt-Thieme, Universit?t Hildesheim Prof. Melanie Herschel, Universite Paris Sud, Frankreich Prof. Michael Gertz, Universit?t Heidelberg Prof. Miriam Mehl, Universit?t Stuttgart Prof. Philipp Slusallek, Universit?t des Saarlandes Prof. Ralf Reussner, Universit?t Karlsruhe Prof. Ra?l Rojas, FU Berlin Prof. Rolf Drechsler, Universit?t Bremen Prof. Sebastian Rudolph, TU Dresden Prof. Stefan Conrad, Universit?t D?sseldorf Prof. Stefan Wagner, Universit?t Stuttgart Prof. Thomas Neumann, TU M?nchen Prof. Thomas Plagemann, Universit?t Oslo Prof. Uli Sattler, University of Manchester Prof. Viorica Sofronie-Stokkermans Prof. Volker Turau, TU Hamburg-Harburg Prof. Wilhelm (Willi) Hasselbring, Universit?t zu Kiel Prof. Wolf-Tilo Balke, Universit?t Braunschweig Prof. Wolfgang Effelsberg, Universit?t Mannheim -- Prof. Dr. Ansgar Scherp Kiel University and Leibniz Information Center for Economics (ZBW) Phone: +49 431 8814-443 Fax : +49 431 8814-520 Mail : mail at ansgarscherp.net WWW: http://www.ansgarscherp.net/about/ From hasselbring at email.uni-kiel.de Tue Feb 4 10:57:58 2014 From: hasselbring at email.uni-kiel.de (Wilhelm (Willi) Hasselbring) Date: Tue, 04 Feb 2014 10:57:58 +0100 Subject: [fg-arc] SE 2014: Workshops Message-ID: <52F0B9A6.4090406@email.uni-kiel.de> Liebe Architekturen-Community, F?r die Tagung Software Engineering 2014 stehen jetzt auch die Programme der assoziierten Workshops fest: http://se2014.kosse-sh.de/workshops/ Bei der Gelegenheit m?chte ich auf die (verl?ngerte) Fr?hbucherfrist am 7.2.2014 hinweisen. Sch?ne Gr??e, Wilhelm (Willi) Hasselbring Aufruf zur Teilnahme: Software Engineering 2014: http://se2014.kosse-sh.de/ -- Prof. Dr. W. Hasselbring, Software Engineering Group Dept. Computer Science, Kiel University, D-24118 Kiel, Germany Tel: +49 (0)431 880-4664, -3734 (secretary), Fax: -7617 Email: hasselbring at email.uni-kiel.de http://se.informatik.uni-kiel.de/ From neha.s.rungta at nasa.gov Thu Feb 6 03:35:36 2014 From: neha.s.rungta at nasa.gov (Rungta, Neha S. (ARC-TI)[Stinger Ghaffarian Technologies Inc. (SGT Inc.)]) Date: Thu, 6 Feb 2014 02:35:36 +0000 Subject: [fg-arc] [fm-announcements] CFP: 21st International Symposium on Model Checking of Software - SPIN 2014 Message-ID: ====================================================================== 21st International Symposium on Model Checking of Software - SPIN 2014 San Jose, CA, USA, July 21-23, 2014 http://spin2014.org/ ====================================================================== The SPIN Symposium is a forum for practitioners and researchers interested in software verification and engineering. There are two tracks for paper submissions. *** Software Verification Track *** We solicit submissions on theoretical techniques, novel algorithms and empirical evaluation for state-space exploration based techniques. We welcome submissions describing the development and application of state space exploration techniques in testing and verifying embedded software, mobile platforms, security-critical software, enterprise and web applications, and other interesting software platforms. *** Software Engineering Track *** New this year we solicit submissions on techniques and approaches that extend or leverage existing state-space exploration based techniques such as model checking and symbolic execution to assist in automating software engineering tasks such as design, implementation, analysis, testing, and maintenance of software systems. ====================================================================== Submission Guidelines ====================================================================== SPIN 2014 invites high quality contributions describing significant, original, and unpublished results for submission in two categories: (a) Research papers describing fully developed work and complete results (10 pages) (b) Short papers describing tools, experience reports, descriptions of new ideas, or work in progress with preliminary results (4 pages) https://www.easychair.org/conferences/?conf=spin20140 ====================================================================== Important Dates ====================================================================== Paper Submission: April 11, 2014 Author Notification: May 23, 2014 Camera-Ready Paper: June 16, 2014 ====================================================================== Program Chairs ====================================================================== Neha Rungta, NASA Ames Research Center, USA Oksana Tkachuk, NASA Ames Research Center, USA ====================================================================== Program Committee ====================================================================== Ezio Bartocci,TU Wien, Vienna University of Technology, Austria Dirk Beyer, University of Passau, Germany Alastair Donaldson, Imperial College London, UK Alex Groce, Oregon State University, USA Arie Gurfinkel, Software Engineering Institute, CMU, USA Gerard Holzmann, NASA/JPL, USA Franjo Ivancic, NEC Laboratories America, Inc., USA Sarfraz Khurshid, The University of Texas at Austin, USA Shuvendu Lahiri, Microsoft Research, USA Stefan Leue, University of Konstanz, Germany Eric Mercer, Brigham Young University, USA David Parker, University of Birmingham, UK Suzette Person, NASA Langley Research Center, USA Zvonimir Rakamaric, University of Utah, USA C. R. Ramakrishna, Stony Brook University, USA Robby, Kansas State University, USA Scott Stoller, Stony Brook University, USA Murali Talupur, Intel, USA Suresh Thummalapenta, IBM Research, India Jaco Van De Pol, University of Twente, Netherlands Willem Visser, Stellenbosch University, South Africa Michael Whalen, University of Minnesota, USA --- To opt-out from this mailing list, send an email to fm-announcements-request at lists.nasa.gov with the word 'unsubscribe' as subject or in the body. You can also make the request by contacting fm-announcements-owner at lists.nasa.gov From hennicke at pst.ifi.lmu.de Fri Feb 7 17:16:46 2014 From: hennicke at pst.ifi.lmu.de (Rolf Hennicker) Date: Fri, 07 Feb 2014 17:16:46 +0100 Subject: [fg-arc] CfP FACS 2014 Message-ID: <52F506EE.3090300@pst.ifi.lmu.de> FACS 2014: CALL FOR PAPERS The 11th International Symposium on Formal Aspects of Component Software Bertinoro, Italy, September 10-12, 2014 http://facs2014.cs.unibo.it/ Colocated with iFM2014: the 11th Int. Conf. on Integrated Formal Methods Important Dates =============== - Abstract submission: April 21, 2014 - Paper submission: April 28, 2014 - Notification: June 16, 2014 - Final version due: June 30, 2014 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 2014 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 - formal aspects of services, service oriented architectures, business processes, cloud computing, ensembles, or similar programming artifacts - 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 - stochastic techniques for modelling and verification - simulation techniques for complex networks of interacting components - 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 - tools supporting the formal methods for components and services Call for Papers =============== We solicit high-quality submissions reporting on (as related to topics mentioned here): - A) original research contributions (18 pages max); applications and experiences (18 pages max); - B) surveys, comparisons, and state-of-the-art reports (18 pages max); - C) tool papers (6 pages max); In addition, we solicit submissions to the Doctoral Track of FACS 2014, 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. 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. Organization ======== General Chair: Gianluigi Zavattaro, University of Bologna/INRIA, Italy Program Chairs: Ivan Lanese, Gianluigi Zavattaro, University of Bologna/INRIA, Italy Eric Madelaine, INRIA, France Workshop Chair: Elena Giachino, University of Bologna/INRIA, Italy Organizing Committee: Roberto Amadini Saverio Giallorenzo Jacopo Mauro Gianluigi Zavattaro From klaus.havelund at jpl.nasa.gov Fri Feb 14 06:43:10 2014 From: klaus.havelund at jpl.nasa.gov (Klaus Havelund) Date: Thu, 13 Feb 2014 21:43:10 -0800 Subject: [fg-arc] [fm-announcements] RV 2014: 2nd Call for Papers, Deadline in 2 months Message-ID: [Apologizes for duplicates] 14th International Conference on Runtime Verification September 22 ? 25, 2014 Toronto, Canada http://rv2014.imag.fr/ Scope: Runtime verification is concerned with monitoring and analysis of software and hardware system executions. Runtime verification techniques are crucial for system correctness, reliability, and robustness; they are significantly more powerful and versatile than conventional testing, and more practical than exhaustive formal verification. Runtime verification can be used prior to deployment, for testing, verification, and debugging purposes, and after deployment for ensuring reliability, safety, and security and for providing fault containment and recovery as well as online system repair. Topics of interest to the conference include: specification languages specification mining program instrumentation monitor construction techniques logging, recording, and replay fault detection, localization, containment, recovery and repair program steering and adaptation metrics and statistical information gathering combination of static and dynamic analyses program execution visualization monitoring techniques for safety/mission-critical systems monitoring distributed systems, cloud services, and big data applications monitoring security and privacy policies Application areas of runtime verification include safety/mission-critical systems, enterprise and systems software, autonomous and reactive control systems, health management and diagnosis systems, and system security and privacy. Technical Research Papers Track: Technical research papers can be submitted in two categories: regular and short papers. Papers in both categories will be reviewed by the conference Program Committee. All accepted technical papers will appear in an LNCS volume. Submitted papers must use the LNCS style. At least one author of each accepted paper must attend RV?14 to present the paper. Papers must be submitted electronically using theEasyChair system. Regular papers (up to 15 pages) should present original unpublished results. Theoretical and experimental papers as well as papers on applications of runtime verification and case studies are all welcome. A non-monetary Best Paper Award will be given. A selection of accepted regular papers will be invited to appear in a special issue of the Springer Journal on Formal Methods in System Design. Short papers (up to 5 pages) may present novel but not necessarily thoroughly worked out ideas, for example emerging runtime verification techniques and applications, or techniques and applications that establish relationships between runtime verification and other domains. Accepted short papers will be presented in special short talk (10 minutes) and poster sessions. Program committee Borzoo Bonakdarpour (University of Waterloo, Canada), co-chair Scott Smolka (Stony Brook Universtiy, USA), co-chair Gul Agha (University of Illinois at Urbana-Champaign, USA) Thomas Ball (Microsoft Research, Redmond, USA) Howard Barringer (The University of Manchester, UK) Ezio Bartocci (TU Wien, Austria) David Basin (ETH Zurich, Switzerland) Saddek Bensalem (Verimag, France) Eric Bodden (TU ? Darmstadt, Germany) Ivona Brandic (TU Wien, Austria) Marsha Chechik (University of Toronto, Canada) Michael Clarkson (George Washington University, USA) Laura Dillon (Michigan State University, USA) Shlomi Dolev (Ben Gurion University, Israel) Alastair Donaldson (Imperial College London, UK) Dawson Engler (Stanford University, USA) Ylies Falcone (Universit? Joseph Fourier, France) Vijay Garg (University of Texas at Austin, USA) Steve Goddard (University of Nebraska-Lincoln, USA) Ganesh Gopalakrishnan (University of Utah, USA) Wolfgang Grieskamp (Google, USA) Radu Grosu (TU- Wien, Austria) Klaus Havelund (NASA/JPL, USA) Mats Heimdahl (University of Minnesota, USA) Laurie Hendren (McGill University, Canada) Gerard Holzmann (NASA/JPL, USA) Daniel Keren (Haifa University, Israel) Sandeep Kulkarni (Michigan State University, USA) Marta Kwiatkowska (University of Oxford, UK) Insup Lee (University of Pennsylvania, USA) Axel Legay (IRISA/INRIA, France) Martin Leucker (University of L?beck, Germany) Leonardo Mariani (University of Milano Bicocca, Italy) Patrick Meredith (University of Illinois at Urbana-Champaign, USA) David Naumann (Stevens Institute of Technology, USA) Doron Peled (Bar Ilan University, Israel) Mauro Pezze (University of Lugano, Switzerland) Lee Pike (Galois Inc., USA) Zvonimir Rakamaric (University of Utah, USA) Grigore Rosu (University of Illinois at Urbana-Champaign, USA) Andrey Rybalchenko (TU-Munich, Germany) Andre Schiper (EPFL, Switzerland) Oleg Sokolsky (University of Pennsylvania, USA) Scott Stoller (Stony Brook University, USA) Serdar Tasiran (Koc University, Turkey) Michael Whalen (University of Minnesota, USA) Lenore Zuck (University of Illinois at Chicago, USA) Tool Demonstrations Track: The aim of the RV 2014 tool demonstration track is to provide an opportunity for researchers and practitioners to show and to discuss the latest advances, experiences and challenges in devising and developing reliable software tools for runtime verification. Tool demonstration papers will be reviewed by the Tools Track Program Committee. All accepted tool demonstration papers will appear in the conference proceedings LNCS volume. Submitted papers must use the LNCS style. At least one author of each accepted paper must attend RV?14 to present the paper. Papers must be submitted electronically using the EasyChair system. Tool papers should meet the following criteria: A tool paper should present a new tool, a new tool component or novel extensions to existing tools supporting runtime verification. Each submission should be original and not published previously in a tool paper form. Each submission must not exceed 8 pages in the LNCS/Springer proceeding format, including all text, references and figures. The paper must be written in English and provided in PDF format. Each submission must be accompanied at the time of the submission by a short screencast (between 5-10 minutes), with voice and overlay text commentary illustrating the demonstration of the tool (a link to it should be provided in the paper). The paper must include information on tool availability, maturity, selected experimental results and it should provide a link to a website containing the theoretical background and user guide. Furthermore, we strongly encourage authors to make their tools and benchmarks available with their submission. Each tool paper must include a script in an appendix (not included in the page count) describing how the demo will be conducted during the conference presentation with screenshots presenting step-by-step the tool?s capabilities, highlighting the main characteristics and the usage. Evaluation Each submission will be reviewed by at least four members of the tool demonstration track program committee. The evaluation criteria will include: the presentation quality the availability (possibly in a open-source format) of the software. the relevance for the Runtime Verification audience the technical soundness of the presented tool the originality of the underlying ideas Tool Demonstration Committee Ezio Bartocci, (TU-Vienna, Austria), Chair Eric Bodden (TU ? Darmstadt, Germany) Alastair Donaldson (Imperial College London, UK) Dawson Engler (Stanford University, USA) Ylies Falcone (Universit? Joseph Fourier, France) Klaus Havelund (NASA/JPL, USA) Michael Whalen (University of Minnesota, USA) Important Dates: Both research papers and tool demonstration tracks will follow the following timeline: Abstract deadline: April 8, 2014 Full paper deadline: April 15, 2014 Rebuttal phase: May 18-20, 2014 Acceptance notification: June 10, 2014 Camera ready submission: June 25, 2014 Conference dates: 22-25 September, 2014 Competition on Software for Runtime Verification (CSRV-2014) A satellite event of RV?14 is the first International Competition on Software for Runtime Verification (CRVS?14). The main aims of CSRV-2014 competition are to: Stimulate the development of new efficient and practical runtime verification tools and the maintenance of the already developed ones. Produce a benchmark suite for runtime verification tools, by sharing case studies and programs that researchers and developers can use in the future to test and to validate their prototypes. Discuss the metrics employed for comparing the tools. Provide a comparison of the tools running with different benchmarks and evaluating using different criteria. Enhance the visibility of presented tools among the different communities (software engineering, formal methods and automated verification, distributed computing, security, and safety-critical systems) involved in software monitoring. CRVS?14 will follow the following time line: Declaration of intent: December 15, 2013 Deadline for submission of benchmarks: March 1, 2014 Monitoring tool submission: June 1, 2014 Notification: July 1, 2014 For more information, visit http://rv2014.imag.fr/monitoring-competition or contact the event organizers: Ezio Bartocci (TU-Wien, Austria), ezio.bartocci at tuwien.ac.at Borzoo Bonakdarpour (U. Waterloo, Canada), borzoo at cs.uwaterloo.ca Ylies Falcone (U. Joseph Fourier, France), ylies.falcone at ujf-grenoble.fr -------------- next part -------------- An HTML attachment was scrubbed... URL: -------------- next part -------------- A non-text attachment was scrubbed... Name: pdf.jpg Type: image/jpeg Size: 4731 bytes Desc: not available URL: -------------- next part -------------- --- To opt-out from this mailing list, send an email to fm-announcements-request at lists.nasa.gov with the word 'unsubscribe' as subject or in the body. You can also make the request by contacting fm-announcements-owner at lists.nasa.gov From klaus.havelund at jpl.nasa.gov Fri Feb 14 06:50:32 2014 From: klaus.havelund at jpl.nasa.gov (Klaus Havelund) Date: Thu, 13 Feb 2014 21:50:32 -0800 Subject: [fg-arc] [fm-announcements] Summer School on Cyber-Physical Systems, GRENOBLE (FRANCE) JULY 7-11, 2014 Message-ID: <04E6E1D8-4ECF-4265-A41B-399EFF66EFCC@jpl.nasa.gov> [~~~~~~ Please disseminate widely within your teams & contacts ~~~~~~] Dear Colleagues, PERSYVAL-Lab and NASA-JPL are organizing the second edition of the CPS Summer School. The broad objective of the CPS Summer School is to explore the manifold relationship between networked embedded systems (? the internet of things ?) and humans as their creators, users, and subjects. The format of the Summer School is a five days meeting, organized around different aspects of rigorous engineering of Cyber-Physical Systems. This year, the objective of the school is to survey fundamental and applied aspects of modelling, monitoring and learning of systems as well as to identify novel opportunities and research directions in these areas through a series of lectures by international experts. Participants will also experience the relevant technologies during hands-on courses and be given a chance to present their own work. The school will provide a great opportunity to know other people working in the field, to meet distinguished scholars, and to establish contacts that may lead to research collaborations in the future. The school will concentrate on the fields of system modelling, monitoring and learning. Over the last ten years we have seen a lot of growth in these areas, building on strong theoretical foundations to apply and extend techniques to new application domains. Runtime verification is a growing field with more and more efffective applications in safety/mission-critical systems, enterprise and systems software, autonomous and reactive control systems, health management and diagnosis systems, and system security and privacy. The field of specification mining (learning specifications from system behaviour) has also seen a surge in research effort, with the establishment of a number of competitions to drive forward the development of practical tools. This research community is at an ideal stage to benefit from a school such as this, to inspire, motivate and instruct new researchers into the field. Students participating at this summer school will learn the current state of the art in modeling, monitoring, and learning. Students will be able to apply new techniques coming from various communities and backgrounds to their own domain. The CPS Summer School will be held at Grenoble University. Courses will be given in English by experts from industry and academia working in various fields of CPS. Topics: ? System modeling. ? Monitoring. ? Learning. ? Medical devices. ? Sensor networks. Confirmed Speakers: ? Eric Bodden (TU Darmstadt and EC SPRIDE, Germany). ? Olivier Coutelou (Schneider Electric, France). ? Radu Grosu (Technical Univesity Wien, Austria). ? Klaus Havelund (NASA JPL, USA). ? Kim G. Larsen (Aalborg University, Denmark). ? Martin Leucker (University of L?beck, Germany). ? Roberto Passerone (Universita' degli Studi di Trento, Italy). ? Grigore Rosu (University of Illinois at Urbana Champaign, USA). ? Mohamad Sawan (Ecole Polytechnique de Montr?al, Canada). ? Bernhard Steffen (Technical University Dortmund, Germany). ? Andreas Zeller (Saarland University, Germany). Organization Committee: ? Saddek Bensalem - University of Grenoble, France. ? Yli?s Falcone - University of Grenoble, France. ? Klaus Havelund - NASA JPL, USA. Registration fee is ?250 for students, ?400 for non-students, which includes lunches and coffee breaks from Monday 8th through Thursday 11th, and a party. The registration fee only partially covers the costs incurred. The remaining costs are covered by PERSYVAL-Lab. The local organization committee has arranged university accommodations for students. Please refer to the Website for more details. Application Procedure and Important Dates (please refer to the Website for the full procedure): ? Deadline for Application: April 14, 2014. ? Response to Applicants: April 21, 2014. ? Online Registration and Fee payment: May 10, 2014. ? Summer school on CPS: July 7-11, 2014. Since attendance is limited, priority will be given to Ph.D. students and companies' staff. More details can be found at: https://persyval-lab.org/en/summer-school/cps14. Applications can be submitted at: https://persyval-calls.imag.fr/en/project/10. Enquiries can be sent to cps-school.organization at imag.fr. Best Regards, Saddek Bensalem, Yli?s Falcone, and Klaus Havelund -------------- next part -------------- An HTML attachment was scrubbed... URL: -------------- next part -------------- --- To opt-out from this mailing list, send an email to fm-announcements-request at lists.nasa.gov with the word 'unsubscribe' as subject or in the body. You can also make the request by contacting fm-announcements-owner at lists.nasa.gov From matt.selway at mymail.unisa.edu.au Tue Feb 18 03:36:05 2014 From: matt.selway at mymail.unisa.edu.au (Selway, Matt Ryan - selmr001) Date: Tue, 18 Feb 2014 02:36:05 +0000 Subject: [fg-arc] EDOC 2014 - 2nd Call for Papers Message-ID: <08c9220bcbf3475e8b02eab508542346@SIXPR01MB128.apcprd01.prod.exchangelabs.com> EDOC 2014 - 2nd Call for Papers The 18th IEEE International EDOC Conference (EDOC 2014) "The Enterprise Computing Conference" Main Theme: Utilizing Big Data for Enterprise of the Future Ulm, Germany September 1-5, 2014 http://www.edoc2014.org/ Abstract submission (optional): March 15, 2014 Full paper submission due: March 22, 2014 Workshop paper submissions: April 8, 2014 Follow EDOC2014 at Twitter: https://twitter.com/ieee_edoc About the Conference IEEE EDOC 2014 is the eighteenth conference in a series that provides the key forum for researchers and practitioners in the field of enterprise computing. EDOC conferences address the full range of models, methodologies, and engineering technologies contributing to intra- and inter-enterprise application systems. Since 1997, EDOC has brought together leading computer scientists, IT decision makers, enterprise architects, solution designers, and practitioners to discuss enterprise computing challenges, models and solutions from the perspectives of academia, industry, and government. The IEEE EDOC conference series emphasizes a holistic view on enterprise applications engineering and management, fostering integrated approaches that address and relate business processes, people and technology. EDOC'14 welcomes high quality scientific submissions as well as experience papers on enterprise computing from industry. The main theme of EDOC'14 is "Utilizing Big Data for Enterprise of the Future" and addresses the four V's of Big Data in the context of enterprise computing [http://www.ibmbigdatahub.com/infographic/four-vs-big-data]: 1. new ways to utilize and manage the large *volume* of data in enterprises, 2. efficient techniques for handling the *velocity* of data where large amount of data are captured in a short time frame, 3. bringing together a large *variety* of different forms of data within and across enterprises, and 4. dealing with *veracity* or uncertainty of data leading to quality and trust in collected data. Expert panel discussions and keynotes will address current topics and issues in this domain. Topics The IEEE EDOC conference seeks high-quality contributions addressing the domains, life-cycle issues, and realization technologies involved in building, deploying and operating enterprise computing systems. Suggested areas include, but are not limited to: - Enterprise Architecture and Enterprise Application Architecture * Enterprise architecture frameworks * Enterprise architecture analysis, assessment and prediction * Cloud computing and the evolution of enterprise architectures * Enterprise ontologies - Model-based Approaches * Model-driven architectures and model-driven software development * Modeling based on domain specific languages (DSL) * Approaches based on reference architectures * Collaborative development and cooperative engineering issues - Service-oriented Architectures (SOA) and Enterprise Service Architectures (ESA) * Service engineering and evolution of related specifications * Semantics-based service engineering * Service composition, orchestration and choreography * Enterprise service bus * Complex event processing and event-driven architectures - Governance in Service-oriented Architectures * Service policies, contract definition and enforcement * Security/privacy policy definition and description languages * Security/privacy policy interoperability - Business process management (BPM) * Business process modeling, verification, configuration and implementation * Process-aware information systems (PAIS), Human-centric PAIS, Social BPM * Managing business process variability, adaptation and evolution in PAIS * Process mining and its application in business analytics * Distributed and cross-organizational business processes * Data-intensive processes * Cloud impact on BPM, business processes in the cloud * Emerging BPM paradigms (e.g., adaptive case management, data-driven processes) - Business analytics * Modeling and predictive analytics for enterprise computing * Data-driven enterprise strategy * Collaboration enterprise analytic platforms * Business process intelligence (e.g., process performance management) * Continuous, online analytics for big data in the enterprise - Business rules * Business rule languages and engines * Relation between business rules and business processes * Business rules and service computing * Business rules and compliance management, business process compliance - Information integration and interoperability * Business object modeling methodologies and approaches * Taxonomies, ontologies and business knowledge integration * Master data management, data mining and (real-time) data warehousing * Flexible information models and systems (e.g., object-driven processes) * Data quality and trustworthiness - Networked Enterprise Solutions * Enterprise interoperability, collaboration and its architecture * Virtual organizations, including multi-agent system support * Cross-enterprise collaboration in a world of cloud, social and big data * Digital ecosystems * Trust management - Enterprise applications deployment and governance * Performance and operational risk prediction and measurement * Quality of service (QoS) and cost of service (CoS) * Management and maintenance of enterprise computing systems * Information assurance * Human and social organizational factors in enterprise computing - Emerging trends in distributed enterprise applications * Social information and innovation networks, social media impact on the enterprise * People-centric collaboration systems, people-centric services * Private and public cloud computing Infrastructures * Idea management and crowdsourcing * Enterprise 2.0, Web 2.0 and beyond * Mobile enterprise services * Industry specific solutions (e.g. for aerospace, automotive, finance, logistics, medicine and telecommunications) * Research and public sector collaboration (e.g. in e-health, e-government, e-science) Submission Guidelines Two types of paper submissions are solicited: 1. scientific research papers, and 2. industry experience reports or case studies. *Scientific research papers* should describe original results not been accepted or submitted for publication elsewhere. These papers will be evaluated based on their scientific and technical contribution, originality, and relevance. In turn, *industry experience reports* should provide new insights gained in case studies or when applying enterprise computing technology in practice; *industry experience reports* shall further provide important feedback about the state of practice and pose challenges for researchers. These papers will be evaluated based on their appropriateness, significance, and clarity. Submissions should be full papers with 8-10 pages. All submissions must be made in PDF format and comply with the [IEEE Computer Society Conference Proceedings Format Guidelines] (http://www.computer.org/portal/web/cscps/formatting). They should be made via the electronic submission system of the EDOC Conference Management system hosted on EasyChair: http://www.easychair.org/conferences/?conf=edoc2014 All papers will be refereed by at least 3 members of the international program committee. The conference proceedings will be published by the IEEE Computer Society Press and be made accessible through IEEE Xplore and the IEEE Computer Society Digital Library. Post Conference Publication The authors of a collection of selected papers will be invited to prepare a substantially revised and extended version of their papers for publication in a special journal issue. The journal will be announced in due course. Important Dates: * Abstract submission (optional): March 15, 2014 * Full paper submission due: March 22, 2014 * Conference paper acceptance notifications: May 13, 2014 * Workshop paper submissions: April 8, 2014 * Workshops paper acceptance notifications: May 27, 2014 * All camera-ready papers due: June 14, 2014 From mail at ansgarscherp.net Wed Feb 19 18:18:47 2014 From: mail at ansgarscherp.net (Ansgar Scherp) Date: Wed, 19 Feb 2014 18:18:47 +0100 Subject: [fg-arc] =?iso-8859-1?q?=5BStellenausschreibung=5D_Wissenschaftli?= =?iso-8859-1?q?che=28r=29_Mitarbeiterin/_Mitarbeiter_im_Bereich_Knowledge?= =?iso-8859-1?q?_Discovery_an_der_Universit=E4t_zu_Kiel?= Message-ID: <1392830327.15095.48.camel@scherp-ThinkPad-X1> Knowledge Discovery besch?ftigt sich mit der inhaltsgetriebenen Erkennung und Auffindung von digitalen Objekten wie beispielsweise semi-strukturierten Daten im Web, Dokumenten, Profilen oder Communities und die Erkennung und Analyse der Beziehungen zwischen diesen. Es beinhaltet den Entwurf innovativer Methoden und Algorithmen und deren Anwendung auf umfangreichen Daten- und Dokumentenkorpora unterschiedlicher Herkunft und Qualit?t, auch bekannt als Big Data. In der Arbeitsgruppe Knowledge Discovery am Institut f?r Informatik der Christian-Albrechts-Universit?t zu Kiel ist zum 01. April 2014 die Stelle einer/ eines wissenschaftlichen Mitarbeiterin/ wissenschaftlichen Mitarbeiters mit Zielrichtung Promotion befristet f?r die Dauer von zun?chst zwei Jahren zu besetzen. Die regelm??ige w?chentliche Arbeitszeit betr?gt die einer/eines entsprechend Vollbesch?ftigten, (z. Z. 38,7 Stunden). Das Entgelt richtet sich nach Entgeltgruppe 13 TV-L. Die Lehrverpflichtung beinhaltet vier Lehrveranstaltungsstunden. Aufgabenschwerpunkte:Die/ der wissenschaftliche Mitarbeiterin/ wissenschaftliche Mitarbeiter wird sich in seiner Forschung mit Methoden und Algorithmen des Knowledge Discovery besch?ftigen, wie beispielsweise folgende Themen: * Anwendung von semantischen Technologien f?r ein verbessertes Knowledge Discovery auf strukturierten und semi-strukturierten Daten * Mining von semi-strukturierten Daten im Web (Linked Open Data) und Metadaten (bspw. Bibliographische Daten) * Entwicklung visueller Analyse-Werkzeuge f?r das Knowledge Discovery Dar?ber hinaus wird eine Mitarbeit in der Lehre wie beispielsweise die Betreuung von ?bungen erwartet. Einstellungsvoraussetzungen:Sehr guter Diplom- oder Masterabschluss in der Informatik oder einer angrenzenden Disziplin, der an einer Universit?t oder vergleichbaren Hochschule erworben wurde. Es werden zudem hervorragende analytische F?higkeiten, Interesse an interdisziplin?ren Forschungsfragen und Neugierde an Forschung im Allgemeinen, sowie systematische Denk- und Arbeitsweise erwartet. Dar?ber hinaus werden sehr gute Programmierf?higkeiten erwartet. Eine mathematische Ausbildung beziehungsweise ein mathematischer Hintergrund der Bewerberin/ des Bewerbers ist von Vorteil. Die Universit?t ist bestrebt, den Anteil von Wissenschaftlerinnen in Forschung und Lehre zu erh?hen und fordert deshalb entsprechend qualifizierte Frauen nachdr?cklich auf, sich zu bewerben. Frauen werden bei gleichwertiger Eignung, Bef?higung und fachlicher Leistung vorrangig ber?cksichtigt. Die Hochschule setzt sich f?r die Besch?ftigung schwer behinderter Menschen ein. Daher werden schwer behinderte Bewerberinnen und Bewerber bei entsprechender Eignung bevorzugt ber?cksichtigt. Ausk?nfte erhalten Sie bei Prof. Dr. Scherp (Tel.-Nr. +49 431 8814 443). Ihre aussagekr?ftigen Bewerbungsunterlagen schicken Sie bitte per Email an: asc at informatik.uni-kiel.de. -- WWW: http://www.ansgarscherp.net/about/ -- WWW: http://www.ansgarscherp.net/about/ -------------- next part -------------- An HTML attachment was scrubbed... URL: From aldini at sti.uniurb.it Wed Feb 19 18:49:19 2014 From: aldini at sti.uniurb.it (Alessandro Aldini) Date: Wed, 19 Feb 2014 18:49:19 +0100 (CET) Subject: [fg-arc] FOSAD 2014 - school on foundations of security analysis and design Message-ID: ==================================================== 14TH INTERNATIONAL SCHOOL ON FOUNDATIONS OF SECURITY ANALYSIS AND DESIGN FOSAD 2014 ==================================================== http://www.sti.uniurb.it/events/fosad14 1-6 September 2014, Bertinoro, Italy In cooperation with NESSoS and CryptoForma *** Application Deadline: June 20, 2014 FOSAD has been one of the foremost events established with the goal of disseminating knowledge about foundations of security analysis and design to graduate students and young computer scientists from academia or industry. LECTURERS> Jens Groth - University College London Steve Kremer - INRIA Nancy Siani Pearson - HP Labs Bristol Alexander Pretschner - TU Munchen Andrei Sabelfeld - Chalmers University Vitaly Shmatikov - University of Texas Topics include zero knowledge, efficient NIZKs and their applications, formal methods for automated verification of security protocols and APIs, privacy and accountability in the cloud, distributed usage control, language based security, data privacy and communication privacy technologies. The courses alternate theory and practice sessions. Program and additional material will be soon available at the FOSAD web page. OPEN SESSION> Daily sessions will be organized for participants who intend to take advantage of the audience for presenting their current research/tool in the area. SCIENTIFIC COMMITTEE> Martin Abadi Javier Lopez Alessandro Aldini Fabio Martinelli (Chair) Gilles Barthe Catherine Meadows Eerke Boiten Bart Preneel Sandro Etalle SCHOOL VENUE> The school is organized at the University Residential Center of Bertinoro (CEUB), Italy: http://www.ceub.it/ The host venue provides a unique architectonical and environmental setting joining the stunning views of the hilltop of Bertinoro with the historical location of the ancient fortress and the facilities of the Center, which offers accommodation, meeting rooms, and modern conference and computing services. SCHOOL DATES> Prospective participants should apply through the FOSAD web page by: June 20, 2014. Notification of accepted applicants will be posted by: June 27, 2014. Registration to the school is due by: July 25, 2014. SCHOOL FEES> The full fee is 900 Euros and covers stay from 31 August, in double room, half board (breakfast and lunch), welcome dinner of 31 August and social dinner included. A limited amount of grants will be provided to cover part of the fee for young researchers. SCHOOL PARTNERS> FOSAD 2014 is organized in cooperation with the Network of Excellence on Engineering Secure Future Internet Software Services and Systems: NESSoS, http://www.nessos-project.eu and with the EPSRC CryptoForma network on the application of formal methods to cryptography: http://www.cryptoforma.org.uk From sauer at s-lab.upb.de Fri Feb 21 18:48:18 2014 From: sauer at s-lab.upb.de (Stefan Sauer) Date: Fri, 21 Feb 2014 18:48:18 +0100 Subject: [fg-arc] =?utf-8?q?Call_for_Papers_=28Frist=3A_7=2E_M=C3=A4rz_201?= =?utf-8?b?NCk6IDYuIFdvcmtzaG9wIOKAnkRlc2lnbiBGb3IgRnV0dXJlIOKAkyAgTGFu?= =?utf-8?q?glebige_Softwaresysteme=E2=80=9C?= Message-ID: <53079162.7040804@s-lab.upb.de> *6. Workshop ?Design For Future ? Langlebige Softwaresysteme?* /des GI-Arbeitskreises ?Langlebige Software-Systeme? (AK L2S2)/ der Fachgruppen ?Architekturen? und ?Software-Reengineering? * http://akl2s2.ipd.kit.edu/veranstaltungen/dff2014/* _28.-30. April 2014 in Bad Honnef_ gemeinsam mit dem /16. Workshop Software-Reengineering (WSR 2014)/ http://fg-sre.gi.de/fg-software-reengineering.html *Aufruf zur Einreichung von Beitr?gen* *Inhalt und Ziele* Auch Software altert! Dieses Problem ist vor allem bei gro?en betrieblichen Informationssystemen unter dem Begriff Legacy bekannt und wird sich in Zukunft noch weiter versch?rfen. Zum einen gewinnen eingebettete Systeme immer gr??ere Bedeutung, in denen aufw?ndige Software in langlebigen technischen Ger?ten eingesetzt wird. Zum anderen macht die steigende Vernetzung von Systemen in gro?en Anwendungslandschaften die Situation zunehmend komplexer. Diese Probleme haben enorme ?konomische Bedeutung. Wissenschaft und Industrie sind gefordert, neue Methoden der Softwaretechnik zu entwickeln, um die erheblichen Investitionen in gro?e Softwaresysteme zu sch?tzen und massive Probleme durch steigende Software-Erosion zu verhindern. Aktuelle Ans?tze in der Softwaretechnik, insbesondere in den Bereichen modellbasierte Entwicklungsmethoden, Lifecycle-Management, Softwarearchitektur, Requirements Engineering und Re-Engineering, k?nnen dazu beitragen, die Situation zu verbessern, wenn sie geeignet weiterentwickelt und angewandt werden. Der Arbeitskreis ?Langlebige Softwaresysteme (L2S2)? der GI Fachgruppen Architekturen und Software-Reengineering hat sich zum Ziel gesetzt, Wissenschaftler und Praktiker zusammenzubringen, die an diesen Themenstellungen Interesse haben. Im 6. Workshop des Arbeitskreises sollen die oben geschilderte Entwicklung, Erfahrungen hierzu sowie L?sungsans?tze sowohl aus praktischer als auch aus wissenschaftlicher Sicht beleuchtet werden, um die verschiedenen Facetten und Herausforderungen der Software-Alterung zu identifizieren und beherrschen. Im Workshop sollen sowohl L?sungen als auch praktische Erfahrungen betrachtet und diskutiert werden, um die Entstehung neuer Legacy-Probleme und die Erosion von Software zu verhindern. *Themenschwerpunkte* Beitr?ge werden insbesondere zu der folgenden, nicht abschlie?enden Liste von Themen erwartet: * Anpassungsf?hige und zukunftssichere Software * (Co-)Evolution von Modellen und Code * Verhinderung von Software-Erosion * Re-Engineering zum Erkennen und Beheben von Legacy-Problemen * Entwicklungsmethoden und Lifecycle-Management f?r langlebige Softwaresysteme * Qualit?tsmanagement f?r langlebige Softwaresysteme * Fallstudien und Benchmarks zu diesen Themen * Praxis- und Erfahrungsberichte * Ausbildung, Dokumentation und Wissensmanagement f?r die Wartung langlebiger Softwaresysteme *Einreichungen und Publikation* Praktiker und Wissenschaftler, die auf dem Gebiet der Entwicklung von Konzepten, Methoden, Techniken oder Werkzeugen zur Erstellung, Wartung bzw. Weiterentwicklung langlebiger Softwaresysteme t?tig sind, werden aufgefordert, _Kurzbeitr?ge im Umfang von 2 Seiten im Format der Softwaretechnik-Trends_ einzureichen (siehe http://pi.informatik.uni-siegen.de/stt/). Die eingereichten Beitr?ge sollten den Bezug zum Thema des Workshops klar herausstellen. Die Beitr?ge werden vom Programmkomitee des Workshops begutachtet. Die akzeptierten Beitr?ge werden elektronisch und gedruckt in den Softwaretechnik-Trends ver?ffentlicht. F?r die Einreichung und den Begutachtungsprozess wird das System EasyChair verwendet. Der Zugang ist unter https://www.easychair.org/conferences/?conf=dff2014 freigeschaltet. *Wichtige Termine* _Einreichung von Beitr?gen 7. M?rz 2014_ Benachrichtigung der Autoren 21. M?rz 2014 Einreichung der finalen Fassung 4. April 2014 Anmeldeschluss zur Teilnahme 14. April 2014 Workshop 28.?30. April 2014 *Workshop-Organisation* Der Workshop wird organisiert vom GI-Arbeitskreis ?Langlebige Software-Systeme? (AK L2S2), siehe http://akl2s2.ipd.kit.edu/. Er wird gemeinsam mit dem 16. Workshop Software-Reengineering (WSR 2014) der Fachgruppe ?Software-Reengineering? durchgef?hrt. /*Organisatoren*/ Verantwortliche Organisatoren des DFF 2014 sind: * Benjamin Klatt, FZI Karlsruhe * Thomas P. Ruhroth, TU Dortmund * Stefan Sauer, s-lab, Universit?t Paderborn /*Kontakt*/ dff2014 at easychair.org -------------- next part -------------- An HTML attachment was scrubbed... URL: From Michaela.Huhn at tu-clausthal.de Sun Feb 23 22:43:35 2014 From: Michaela.Huhn at tu-clausthal.de (Michaela Huhn) Date: Sun, 23 Feb 2014 22:43:35 +0100 Subject: [fg-arc] FHIES/SEHC 2014: Call for Papers Message-ID: <530A6B87.2090509@tu-clausthal.de> CALL FOR PAPERS: FHIES/SEHC 2014 Fourth Symposium on Foundations of Health Information Engineering and Systems (FHIES) & Sixth Software Engineering in Healthcare (SEHC) Workshop July 17-18, Washington DC http://fhies-sehc.in.tu-clausthal.de/ =========================================================================================== OVERVIEW For 2014, we will hold a joint event of the Fourth Symposium on Foundations of Health Information Engineering and Systems (FHIES) and the Software Engineering in Healthcare (SEHC) Workshop, which has been collocated with ICSE for the last five years. The goal of FHIES/SEHC '14 is to discuss recent research innovations and to closer integrate an interdisciplinary community to develop a research, educational and industrial agenda for the application of software engineering in the healthcare sector. The ability to deliver timely, effective and cost efficient healthcare services remains one of the world's foremost challenges. The challenge has numerous dimensions including: (a) the need to develop a highly functional yet secure electronic health record system that integrates a multitude of incompatible existing systems; (b) in-home patient support systems and telemedicine to reduce demand on professional health-care facilities; (c) innovative technical devices such as advanced pacemakers that support other healthcare procedures; and (d) the specific constraints for health care imposed in different societies, particularly developing countries. Responding to this challenge will substantially increase the usage of software-intensive systems in all aspects of healthcare services. However the digitization of healthcare results in extensive changes related to the development, use, evolution, and integration of health software, especially with respect to the volume, dependability, safety and security of these software-dependent systems. TOPCS FHIES/SEHC '14 seeks contributions from both, the solution domain (engineering and scientific methods) and the problem domain (healthcare and health informatics). Solution-domain papers should present their methods in the context of a concrete application in healthcare, while problem-domain papers should be devised to educate the formal methods community about unique challenges and characteristics of the healthcare domain. Submissions should seek to inform and further the development, adaptation, evaluation and adoption of formally based and rigorous engineering methods in health care systems. Topics of interest include but are not limited to: * Conformance to regulations and standards and the certification of software-intensive ICT systems in healthcare * Interoperability between devices and with information systems, integration across institutions and jurisdictions * Application and integration of foundational methods from different disciplines in engineering and science (incl. automation of clinical guidelines, ontology development and reasoning, cloud computing, social networking, mobile devices and pervasive computing) * Health service delivery in different settings, including the developing world. * Software quality, security, safety issues in health care systems and processes * Effective integration of medical devices into overall healthcare systems and processes * Determining the quality of the software in healthcare systems, including embedded medical devices * Requirements engineering for healthcare processes and systems * Healthcare process definition, analysis, automation, and improvement * Architectures for healthcare systems and system integration * User interface issues in healthcare systems and processes * Healthcare issues in aging-in-place (Eldercare) * Privacy of healthcare data * Privacy-preserving sharing of healthcare data * Trusted, privacy-preserving analytics of aggregated healthcare data SUBMISSIONS We solicit high quality full submissions in the following categories: * original research contributions (16 p. max.) * application experience, case studies and software prototypes (16 p. max.) * surveys, comparisons, and state-of-the-art reports (16 p. max.) * position papers on research projects with identified challenges and milestones (8 p.) We invite short submissions for special sessions: * student papers on work in progress on an MSc or PhD project (4 pages max.) * tool demonstrations (2 pages max.) * proposals to organize birds-of-a-feather sessions (BOF) or panels (2 pages max.) Submissions should be in English, prepared in the LNCS format (see Springer's website for details), and all page limits are measured in this format. Full submissions (those in the first four categories above) will be judged on the basis of originality, contribution to the field, technical and presentation quality, and relevance to the symposium; student papers will be judged on clarity of description and the promise of interesting results; tool demonstrations, BOF proposals, and extended abstracts will be judged on relevance to the symposium. All papers will be peer-reviewed by at least three program committee members. Papers should be submitted via EasyChair. Submission constitutes a commitment for at least one author to attend the symposium and present the paper, if it is accepted. PUBLICATION All accepted submissions will be distributed in a technical report at the Symposium. We plan to publish post proceedings in Springer LNCS. Authors of all accepted full submissions will be invited to revise their papers, in order to resolve any significant issues raised during reviewing. Authors of accepted short submissions will be invited to submit full papers for review, which will be judged on the basis of the criteria mentioned above. If accepted, the papers will be included in the LNCS proceedings as well. IMPORTANT DATES Intention to submit: 24 March 2014 Submission deadline: 4 April 2014 Notification of acceptance: 9 May 2014 Submission of preproceedings version: 15 June 2014 Symposium: 17-18 July 2014 Submission of full versions of short papers: 1 September 2014 Submission for post proceedings review: 15 September 2014 Notification of acceptance (final proceedings): 6 October 2014 PROGRAMME COMMITTEE * Elske Ammenwerth (UMIT, Austria) * George Avrunin (U Massachusetts, US) * Ruth Breu (U Innsbruck, Austria) * Tom Broens (Mobihealth, Netherlands) * Richard Chapmann (Auburn University, US) * Lori Clarke (U Massachusetts, US) * Jeremy Gibbons (U Oxford, UK) * Mats Heimdahl (U Minnesota, US) * Jozef Hooman (Radboud U Nijmegen, Netherlands) * Raoul Jetley * Craig Kuziemsky (U Ottawa, Canada) * Brian Larson (Kansas State University, US) * Yves Ledru (Laboratoire d'Informatique de Grenoble (LIG), France) * Insup Lee (U Pennsylvania, US) * Martin Leucker (U L?beck, Germany) * Zhiming Liu (Birmingham City University, UK) * Orlando Loques (U Federal Fluminense, Brazil) * Brad Malin (Vanderbilt University, US) * Dominique M?ry (LORIA and U Henri Poincare Nancy, France) * Deshendran Moodley (U KwaZulu-Natal, South Africa) * Leon Osterweil (U Massachusetts, US) * Barbara Paech (U Heidelberg, Germany) * Nathanael Paul (U Tennessee, US) * Liam Peyton (U Ottawa, Canada) * Andy Podgurski (Case Western Reserve University, US) * Ita Richardson (Lero, U Limerick, Ireland) * Kamran Sartipi (U Ontario, Canada) * Bernhard Sch?tz (fortiss, Germany) * Christopher Seebregts (Jembi Health Systems / Medical Research Council, South Africa) * Eleni Stroulia (U Alberta, Canada) * Kevin Sullivan (U Virginia, US) * Bo Sung (Qingdao U Science and Technology, China) * Harold Thimbleby (U Swansea, UK) * Alan Wassyng (McMaster University, Canada) * Jens Weber (U Victoria, Canada) * Chuck Weinstock (Carnegie Mellon University, US) * Yi Zhang (Food and Drug Administration (FDA), US) PC CHAIRS * Michaela Huhn (TU Clausthal, Germany) * Laurie Williams (North Carolina State University, US) From Wendelin.Serwe at inria.fr Wed Feb 26 08:54:37 2014 From: Wendelin.Serwe at inria.fr (Wendelin Serwe) Date: Wed, 26 Feb 2014 08:54:37 +0100 Subject: [fg-arc] Second Call for Papers: FMICS 2014 Message-ID: <530D9DBD.6010906@inria.fr> Our apologies if you have received multiple copies. ############################################################################ SECOND CALL FOR PAPERS FMICS 2014 19th International Workshop on Formal Methods for Industrial Critical Systems 11-12 September 2014, Florence, Italy In co-location with EPEW, FORMATS, QEST, and SAFECOMP (http://florence2014.org/conferences.html) ############################################################################ The aim of the FMICS workshop series is to provide a forum for researchers who are interested in the development and application of formal methods in industry. In particular, FMICS brings together scientists and engineers that are active in the area of formal methods and interested in exchanging their experiences in the industrial usage of these methods. The FMICS workshop series also strives to promote research and development for the improvement of formal methods and tools for industrial applications. Important Dates Abstract submission: April 4th Paper submission: April 11th Notification: June 10th Final version due: June 27th Workshop: September 11th-12th Topics of interest include (but are not limited to): Design, specification, code generation and testing based on formal methods. Methods, techniques and tools to support automated analysis, certification, debugging, learning, optimization and transformation of complex, distributed, real-time systems and embedded systems. Verification and validation methods that address shortcomings of existing methods with respect to their industrial applicability (e.g., scalability and usability issues). Tools for the development of formal design descriptions. Case studies and experience reports on industrial applications of formal methods, focusing on lessons learned or identification of new research directions. Impact of the adoption of formal methods on the development process and associated costs. Application of formal methods in standardization and industrial forums. Paper Submission Submissions must describe authors' original research work and results. Submitted papers must not have previously appeared in a journal or conference with published proceedings and must not be concurrently submitted to any other peer-reviewed workshop, symposium, conference or archival journal. Any partial overlap with any such published or concurrently submitted paper must be clearly indicated. Submissions should clearly demonstrate relevance to industrial application. Case study papers should identify lessons learned, validate theoretical results (such as scalability of methods), or provide specific motivation for further research and development. Submissions should not exceed 15 pages formatted according to the LNCS style (Springer), and should be submitted as Portable Document Format (PDF) files using the EasyChair submission site. All submissions will be reviewed by the program committee who will make a selection among the submissions based on the novelty, soundness and applicability of the presented ideas and results. The proceedings of the workshop will be published in the Springer series Lecture Notes in Computer Science (LNCS). An USB stick with an electronic version of the proceedings will be distributed among participants during the workshop. Participants will give a presentation of their papers in twenty minutes, followed by a ten-minute round of questions and discussion on participants' work. Following the tradition of the past editions, a special issue of the journal Science of Computer Programming will be devoted to FMICS 2014. Selected participants will be invited to submit an extended version of their papers after the workshop. These extended versions will again be reviewed by a program committee, which will decide on their final publication on the special issue. Programme Committee PC Chairs Francesco Flammini (Ansaldo STS, Italy) Fr?d?ric Lang (Inria & LIG, France) Publicity Chair Wendelin Serwe (Inria & LIG, France) PC Members Maria Alpuente (Universitat Polit?cnica de Val?ncia, Spain) Alvaro Arenas (IE University, Spain) Jiri Barnat (Masaryk University, Czech Republic) Cinzia Bernardeschi (University of Pisa, Italy) Simona Bernardi (Centro Universitario de la Defensa, AGM, Zaragoza, Spain) Jean Paul Blanquart (Astrium Satellites, France) Eckard B?de (Offis, Germany) Rocco De Nicola (IMT Lucca, Italy) Michael Dierkes (Rockwell Collins, France) Susanna Donatelli (University of Torino, Italy) Cindy Eisner (IBM Research - Haifa, Israel) Alessandro Fantechi (Universit? di Firenze, Italy) J?r?me Feret (CNRS & ENS & Inria, France) Wan Fokkink (Vrije Universiteit Amsterdam and CWI, Netherlands) Andrew Gacek (Rockwell Collins, USA) Stefania Gnesi (ISTI-CNR, Italy) Matthias G?demann (Systerel, France) Keijo Heljanko (Aalto University, Finland) Jan J?rjens (TU Dortmund & Fraunhofer ISST, Germany) Tiziana Margaria (University of Potsdam, Germany) Pedro Merino (University of M?laga, Spain) Benjamin Monate (TrustInSoft, France) Gethin Norman (University of Glasgow, UK) Dave Parker (University of Birmingham, UK) Charles Pecheur (Universit? catholique de Louvain, Belgium) Ralf Pinger (Siemens AG, Germany) Wendelin Serwe (Inria & LIG, France) Hans Svensson (Quviq, Sweden) Jaco van de Pol (University of Twente, Netherlands) Valeria Vittorini (University of Naples Federico II, Italy) Angela Vozella (CIRA, Italy) From Kristin.Y.Rozier at nasa.gov Wed Feb 26 22:56:28 2014 From: Kristin.Y.Rozier at nasa.gov (Kristin Yvonne Rozier) Date: Wed, 26 Feb 2014 13:56:28 -0800 Subject: [fg-arc] [fm-announcements] NFM 2014 Call for Participation Message-ID: <530E630C.9030001@nasa.gov> Please find the NFM 2014 Call for Participation below. With no registration fee and very reasonable costs for accommodations this conference is an excellent value to attend even without presenting a paper. It is also a great place to bring students for exposure to real-world applications! ************************************************** The Sixth NASA Formal Methods Symposium http://www.NASAFormalMethods.org/ 29 April - 1 May 2014 NASA Johnson Space Center, Houston, Texas, USA ************************************************** Registration (free!) -------------------- There will be no registration fee for participants. All interested individuals, including non-US citizens, are welcome to attend, to listen to the talks, and to participate in discussions; however, all attendees must register. Registration URL: http://www.nasaformalmethods.org/?page_id=160 We strongly encourage participants to register early and reserve accomodations. A block of hotel rooms are available at $98.00 per night for reservations made before April 7. The registration deadline is April 22. Panel: "Future Directions of Specifications for Formal Methods" --------------------------------------------------------------- Panelists: Matt Dwyer, University of Nebraska, USA Hadas Kress-Gazit, Cornell University, USA Moshe Y. Vardi, Rice University, USA Panel Description: Specifications are required for all applications of formal methods yet extracting specifications for real-life safety critical systems often proves to be a huge bottleneck or even an insurmountable hurdle to the application of formal methods in practice. This is the state for safety-critical systems today and as these systems grow more complex, more pervasive, and more powerful in the future, there is not a clear path even for maintaining the bleak status quo. Therefore, we propose highlighting this issue in the home of an important critical system, the Mission Control Center of NASA's most famous critical systems, and asking our panelists where we can go from here. Keynote Speakers: ----------------- * "NASA Future Challenges in Formal Methods" by Bill McAllister, Chief, Safety and Mission Assurance, International Space Station Safety Panels, Avionics and Software Branch * "Theorem Proving and the Real Numbers: Overview and Challenges" by Larry Paulson, University of Cambridge, UK * "Compositional Temporal Synthesis" by Moshe Y. Vardi, Rice University, USA Accepted Papers: ---------------- * Darren Cofer and Steven Miller "DO-333 Certification Case Studies" * Andr? De Matos Pedro, David Pereira, Lu?s Miguel Pinho and Jorge Sousa Pinto "A Compositional Monitoring Framework for Hard Real-Time Systems" * Pedro Antonino, Marcel Vinicius Medeiros Oliveira, Augusto Sampaio, Klaus Kristensen and Jeremy W. Bryans "Leadership Election: an Industrial SoS Application of Compositional Deadlock Verification" * Lars Noschinski, Christine Rizkallah and Kurt Mehlhorn "Verification of Certifying Computations through AutoCorres and Simpl" * Robert M. Hierons and Uraz Cengiz Turker "Distinguishing Sequences for Partially Specified FSMs" * Seppo Horsmanheimo, Maryam Kamali, Mikko Kolehmainen, Mats Neovius, Luigia Petre, Mauno R?nkk? and Petter Sandvik "On Proving Recoverability of Smart Electrical Grids" * Dustin Hoffman, Aditi Tagore, Diego Zaccai and Bruce Weide "Providing Early Warnings of Specification Problems" * Bj?rn Bartels "Mechanized, Compositional Verification of Low-Level Code" * Fabian Immler "Formally Verified Enclosures of Solutions of Ordinary Differential Equations" * Mohamed Yousri and Sofiene Tahar "On the Quantum Formalization of Coherent Light in HOL" * Hern?n Vanzetto and Stephan Merz "Type Inference with Refinements Types for TLA+" * Matthew Danish and Hongwei Xi "Using lightweight theorem proving in an asynchronous systems context" * Aboubakr Achraf El Ghazi, Mattias Ulbrich, Christoph Gladisch, Shmuel Tyszberowicz and Mana Taghdiri "JKelloy: A Proof Assistant for Relational Specifications of Java Programs" * Andrew Sogokon, Paul Jackson, Lawrence Paulson and James Bridge "Verifying Hybrid Systems Involving Transcendental Functions" * William Denman Verifying Nonpolynomial Hybrid Systems by Qualitative Abstraction and Automated Theorem Proving" * Paolo Masci, Yi Zhang, Patrick Oladimeji, Enrico D?Urso, Paul Jones, Harold Thimbleby, Paul Curzon and Cinzia Bernardeschi "Combining PVSio with Stateflow" * Lo?c Correnson "Qed: Computing what Remains to be Proved" * Ethel Bardsley and Alastair Donaldson "Warps and Atomics: Beyond Barrier Synchronization in the Verification of GPU Kernels" * Temesghen Kahsai, Pierre-Loic Garoche, Falk Howar and Xavier Thirioux "Testing-based compiler validation for synchronous languages" * Johann Schumann and Stefan-Alexander Schneider "Automated Testcase Generation for Numerical Support Functions in Embedded Systems" * Luc Engelen and Anton Wijs "REFINER: Towards Formal Verification of Model Transformations" * Franco Mazzanti, Giorgio Oronzo Spagnolo and Alessio Ferrari "Design of a Deadlock-free Train Scheduler: a Model Checking Approach" * Adri? Gasc?n and Ashish Tiwari "A Synthesized Algorithm for Interactive Consistency" * Christel Baier, Marcus Daum, Clemens Dubslaff, Joachim Klein and Sascha Klueppelholz "Energy-Utility Quantiles" * Grigory Fedyukovich, Arie Gurfinkel and Natasha Sharygina "Incremental Verification of Compiler Optimizations" * Peter Gj?l Jensen, Kim Guldstrand Larsen, Jiri Srba, Mathias Grund S?rensen and Jakob Haahr Taankvist "Memory Efficient Data Structures for Explicit Verification of Timed Systems" * Stephan Arlt, Cindy Rubio-Gonz?lez, Philipp Ruemmer, Martin Sch?f and Natarajan Shankar "The Gradual Verifier" * Bogdan Mihaila and Axel Simon. "Synthesizing Predicates from Abstract Domain Losses" * Nuno Carvalho, Cristiano Da Silva Sousa, Jorge Sousa Pinto and Aaron Tomb "Formal Veri?cation of kLIBC with the WP Frama-C plug-in" -- ____________________________________________________________ __ /\ \ \_____ / \ ###[==_____> / \ /_/ __ / __ \ \ \_____ | ( ) | ###[==_____> /| /\/\ |\ /_/ / | | | | \ / |=|==|=| \ Kristin Yvonne Rozier, Ph.D. / | | | | \ Research Computer Scientist / USA | ~||~ |NASA \ NASA Ames Research Center |______| ~~ |______| Phone: (650) 604-3197 (__||__) Fax: (650) 604-3594 /_\ /_\ !!! !!! http://ti.arc.nasa.gov/profile/kyrozier/ Any opinions expressed in this email are my own. --- To opt-out from this mailing list, send an email to fm-announcements-request at lists.nasa.gov with the word 'unsubscribe' as subject or in the body. You can also make the request by contacting fm-announcements-owner at lists.nasa.gov From matthias.tichy at cse.gu.se Tue Feb 25 23:21:56 2014 From: matthias.tichy at cse.gu.se (Matthias Tichy) Date: Tue, 25 Feb 2014 22:21:56 +0000 Subject: [fg-arc] CfP: GraBaTs 2014, 8th International Workshop on Graph-Based Tools @ICGT 2014 Message-ID: ==================================================================== Call for Papers GraBaTs 2014 8th International Workshop on Graph-Based Tools http://www.cse.chalmers.se/~tichy/grabats14/ A satellite event of ICGT'14 http://www.hpi.uni-potsdam.de/giese/events/2014/icgt/index.html July 25th, 2014, University of York, UK ==================================================================== *** Aims and Scope *** The 8th International Workshop on Graph-Based Tools is the continuation of the GraBaTs series of workshops which provides a forum for researchers and practitioners interested in the development and application of graph-based tools. Based on rigorous mathematical concepts, graphs are at the core of tools and techniques in various application areas and are used for many practical concerns. The topics of interests are (but are not limited to): - Model-driven development tools, - Meta modeling tools, generators and frameworks, - Visual language tools (UML, Domain-specific languages, etc.) - Model transformation and model management tools, - Formal graph-based modeling tools, - Visualization, animation and simulation tools, - Analysis of models, transformations and programs (validation, verification, static analysis, quantitative analysis, testing, etc.), - Tool integration techniques, - Software engineering and software evolution tools, - Efficient algorithms for graph models (pattern matching, handling of large graph models, graph traversal algorithms, etc.). In all these areas, tools are developed that retrieve, store, transform and display graphs. It is the purpose of this workshop to survey the state of the art of graph-based tools, bring together developers of graph-based tools in different application fields and to encourage new tool development cooperations. We solicit papers on the aforementioned topics, as well as case studies, empirical and experimental results on tool scalability and uses of graph-based tools on novel application areas. *** Submissions *** The proceedings of this workshop will be published in the Electronic Communications of the EASST. We are soliciting papers (up to 14 pages) which present original and evaluated research or novel ideas, identified challenges, and experiences related to the workshop's theme. Two kinds of papers are solicited to be presented at the workshop: For preparing your manuscript, please use the ECEASST templates (specifically prepared for GraBaTs 2014) available here: - http://journal.ub.tu-berlin.de/template/ Please submit your abstract and paper using EasyChair: - http://www.easychair.org/conferences/?conf=grabats2014. *** Important Dates *** May 18, 2014 Abstract submission May 25, 2014 Paper submission June 27, 2014 Notification of acceptance July 11, 2014 Revised version for preproceedings July 25, 2014 Workshop September 15, 2014 Camera-ready version *** Contact Info *** Matthias Tichy (matthias.tichy at cse.gu.se), University of Gothenburg (Sweden) Bernhard Westfechtel (bernhard.westfechtel(at)uni-bayreuth.de), University of Bayreuth (Germany) *** Program Committee *** Artur Boronat, University of Leicester (UK) Claudia Ermel, Technical University of Berlin (Germany) Joel Greenyer, University of Hannover (Germany) Esther Guerra, Universidad Aut?noma de Madrid (Spai)n Dimitris Kolovos, University of York (UK) Christian Krause, Hasso Plattner Institute in Potsdam (Germany) Tihamer Levendovszky, Vanderbilt University (USA) Mark Minas, Universit?t der Bundeswehr M?nchen (Germany) Arend Rensink, University of Twente (The Netherlands) Gabriele Taentzer, Philipps-Universit?t Marburg (Germany) Matthias Tichy, Chalmers | University of Gothenburg (Sweden) Pieter Van Gorp, Eindhoven University of Technology (The Netherlands) Hans Vangheluwe, University of Antwerp (Belgium) / McGill University (Canada) Gergely Varr?, TU Darmstadt (Germany) Bernhard Westfechtel, University of Bayreuth (Germany) Andreas Winter, Carl von Ossietzky University, Oldenburg (Germany) Albert Z?ndorf, University of Kassel (Germany)