From mmajid at gmail.com Mon May 4 11:06:20 2015 From: mmajid at gmail.com (Mahdi Jaghoori) Date: Mon, 4 May 2015 11:06:20 +0200 Subject: [fg-arc] Final CFP: Topics in Theoretical Computer Science (TTCS 2015) -- Tehran, Iran Message-ID: (apologies if you receive multiple copies) ========================================= Topics in Theoretical Computer Science (TTCS 2015) http://www.ttcs.ir/ Institute for Research in Fundamental Sciences (IPM), Tehran, Iran August 26-28, 2015 *Submission Deadline: May 15, 2015 (Anywhere on Earth)* ======================================== *Scope:* TTCS is a new bi-annual conference series, intending to serve as a forum for novel and high-quality research in all areas of Theoretical Computer Science. The conference is held in cooperation with the European Association forTheoretical Computer Science. There will be a number of satellite events at TTCS, These will feature presentation of early research results, and position papers. There will also be a forum for Ph.D. students to receive comments about their ongoing research projects. Topics of interest include but are not limited to: - algebra and co-algebra in computer science, - algorithms and data structures, - algorithmic coding theory, - algorithmic graph theory and combinatorics, - approximation algorithms, - computational complexity, - computational geometry, - computational learning theory, - concurrency theory, - coordination languages, - economics and algorithmic game theory, - fixed parameter algorithms, - formal verification and model-based testing, - logic in computer science, - machine learning - methods, models of computation and reasoning for embedded, hybrid, and cyber-physical systems, - optimization, - parallel and distributed algorithms, - quantum computing, - randomness in computing, - stochastic and probabilistic specification and reasoning - theoretical aspects of other CS-related research areas, e.g., computational science, databases, information retrieval, and networking, - theoretical cryptography, - theory of programming languages, and - type theory and its application in program verification. *Keynote Speakers:* Anuj Dawar, Cambridge University, UK Michael Fellows, Charles Darwin University, Australia Mehrnoosh Sadrezadeh, Queen Mary University of London, UK *Submission:*For the main conference, we solicit research papers in all areas of theoretical computer science. All papers will undergo a rigorous review process and will be judged based on their originality, soundness, significance of the results, and relevance to the theme of the conference. Papers should be written in English. Research papers should not exceed 15 pages in the LNCS style format. Multiple and/or concurrent submission to other scientific venues is not allowed and will result in rejection as well as notification to the other venue. Any case of plagiarism (including self-plagiarism from earlier publications) will result in rejection as well as notification to the the authors' institutions. Papers should be submitted through our EasyChair submission website: https://www.easychair.org/conferences/?conf=ttcs2015 . The web site is open for submissions. *Important Dates:* - *Paper Submission*: May 15, 2015 (Anywhere on Earth ) - *Author notification:* June 26, 2015 - *Camera ready paper due:* July 10, 2015 - *Conference:* August 26-28, 2015 *Program Committee:* *Track A: Algorithms and Complexity* - Mohammad Ali Abam, Sharif University of Technology, Iran - Saeed Akbari, Sharif University of Technology, Iran - Saeed Alaei, Cornell University, USA - Mohammad Hossein Bateni, Google Research, USA - Salman Beigi, IPM, Iran - Amir Daneshgar, Sharif University of Technology, Iran - Fedor Fomin, University of Bergen, Norway - Ali Ghodsi, University of Waterloo, Canada - Mohammad Ghodsi, Sharif University of Technology, Iran - Mohammad T. Hajiaghayi, University of Maryland, USA (Chair) - Amin Karbasi, Yale University, USA - Nicole Immorlica, Microsoft Research, USA - Amit Kumar, IIT Delhi, India - Mohammad Mahdian, Google Research, USA - Hamid Mahini, University of Maryland, USA - Bojan Mohar, Simon Fraser University, Canada - Mohammad Mahmoody, University of Virginia, USA - Vahab Mirrokni, Google Research, USA - Morteza Monemizadeh, Frankfurt University, Germany - Shayan Oveisgharan, UC Berkeley and University of Washington, USA - Debmalya Panigrahi, Duke University, USA - Jorg Sack, Carleton University, Canada - Mohit Singh, Microsoft Research, USA - Dimitrios M. Thilikos, CNRS, France and University of Athens, Greece - Suresh Venkatasubramanian, University of Utah, USA - Jan Vondrak, IBM Almaden Research Center, USA *Track B: Logic, Semantics, and Programming Theory* - Farhad Arbab, CWI and Leiden University, The Netherlands - S. Arun-Kumar, IIT Delhi, India - Ilaria Castellani, INRIA Sophia Antipolis, France - Dave Clarke, Uppsala University, Sweden and KU Leuven, Belgium - Pieter Cuijpers, Eindhoven University of Technology, The Netherlands - Fatemeh Ghassemi, Tehran University, Iran - Matthew Hennessy, Trinity College Dublin, Ireland - Ichiro Hasuo, University of Tokyo, Japan - Mahdi Jaghoori, AMC University of Amsterdam, The Netherlands - Jeroen Keiren, Vrije Universiteit Amsterdam, The Netherlands - Bas Luttik, Eindhoven University of Technology, The Netherlands - Jose Meseguer, University of Illinois at Urbana, USA - Lary Moss, Indiana University, USA - Mohammad Mousavi, Halmstad University, Sweden (Chair) - Jun Pang, University of Luxembourg, Luxembourg - Gerardo Schneider, Chalmers University of Technology, Sweden - Marjan Sirjani, Reykjavik University, Iceland - Walter Vogler, Augsburg University, Germany - Tim Willemse, Eindhoven University of Technology, The Netherlands -------------- next part -------------- An HTML attachment was scrubbed... URL: From mayerhofer at big.tuwien.ac.at Tue May 5 16:55:58 2015 From: mayerhofer at big.tuwien.ac.at (Mayerhofer Tanja) Date: Tue, 5 May 2015 14:55:58 +0000 Subject: [fg-arc] CfP: 1st International Workshop on Executable Modeling (EXE 2015) Message-ID: <04000046077FC54AA2358109D2205738696D6E36@mbx2.intern.tuwien.ac.at> ------------------------------------------------------------------------ Call for Papers: 1st International Workshop on Executable Modeling (EXE 2015) co-located with MODELS 2015, September 27th, 2015, Ottawa, Canada http://www.modelexecution.org/exe2015 ------------------------------------------------------------------------ We are pleased to invite you to submit papers to the First International Workshop on Executable Modeling (EXE 2015), held in conjunction with the ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MODELS) at Ottawa, Canada, on September 27th, 2015. --------------------------- Scope and Topics --------------------------- The complexity of modern software systems, time-to-market pressures, and the need for high quality software are current challenges faced by the software industry. To address these challenges, model-driven engineering (MDE) advocates the elevation of models into the center of the development process. Models provide abstractions over the system to be developed, while also providing enough detail to automate the development of implementation artifacts and perform early software analysis. In this context, executable models become more and more important. They provide abstractions of a system's behavior and constitute the basis for performing early analyses of that behavior. The ability to analyze a system's behavior early in its development has the potential to turn executable models into important assets of a model-driven software development process. For instance, model animators and model debuggers aid in comprehending and exploring the modeled system's behavior, as well as in locating defects in models (e.g., locating defects in the system design). Other examples of model execution tools that provide analysis facilities include model checkers, model testing environments, and trace exploration tools. Despite the potential benefits of executable models, there are still many challenges to solve, such as the lack of maturity in the definition of and tooling for executable modeling languages, and the limited experience with executable modeling in much of the software development industry. EXE 2015 will provide a forum for researchers and practitioners to discuss these challenges and propose potential solutions, as well as assessing and advancing the state-of-the-art in this area. Topics of interest for the workshop include but are not limited to the following: 1) Languages, techniques and methods for developing executable modeling languages, including considerations of quality aspects, reuse, specialization, composing, and evolution of executable modeling languages. 2) Techniques and methods for developing model execution tools, such as, model debuggers, model animators, and trace exploration tools, including automation techniques for developing model execution tools and techniques for reusing, specializing, extending, and composing executable modeling languages at the tool level. 3) Experiences in applying executable models and model execution tools for the development and operation of systems, as well as in developing and deploying executable modeling languages and model execution tools. --------------------------- Submissions --------------------------- We will accept three types of submissions: 1) Research papers (up to 6 pages) presenting novel and innovative approaches in one of the topics of the workshop. We also strongly encourage the submission of comparative studies on existing approaches in one of the topics. 2) Experience reports (up to 6 pages) presenting experiences and lessons learned in one of the topics of the workshop. Experience reports should discuss knowledge gained from an executable modeling project experience and identify key challenges encountered. 3) Position papers (up to 2 pages) presenting new ideas or early research results in one of the topics of the workshop. All submissions should follow the IEEE formatting instructions: * LaTeX: Class file IEEEtran v1.8 available at http://cruise.eecs.uottawa.ca/models2015/resources/IEEEtran.cls * Word: Template available at http://cruise.eecs.uottawa.ca/models2015/resources/MSW_USltr_format.doc Please submit your paper electronically as PDF via EasyChair at https://easychair.org/conferences/?conf=exe2015 All submissions will be evaluated by at least three members of the program committee. Research papers and experience report papers will be evaluated concerning novelty, correctness, significance, readability, and alignment with the workshop call. Position papers will be evaluated primarily concerning validity and ability to generate discussion (even controversy), as well as alignment with the workshop call. Furthermore, all submissions must be original work and must not have been previously published or being under review elsewhere. For each accepted paper, at least one of the authors must register for the workshop, participate fully in the workshop, and present the paper at the workshop. A pre-workshop version of the accepted papers will be available on the workshop website and a post-workshop version will be published as CEUR workshop proceedings (http://ceur-ws.org). --------------------------- Workshop Format --------------------------- EXE 2015 is a one-day workshop, divided into three parts: keynote, presentations of the accepted papers, and discussions in working groups. We plan to have one keynote talk in the morning, followed by two sessions of presentations on the accepted papers. For each presentation, we will also schedule enough time to discuss the presented work. In the afternoon session, we will split up into groups for discussing research questions, challenges, and experiences in executable modeling. Each group will present the results of their discussions at the end of the last session. The workshop will end with a brief wrap-up formulating the workshop's conclusions. A workshop report will summarize the discussion throughout the day. --------------------------- Important Dates --------------------------- Submission deadline: July 17th, 2015 Notification of acceptance: August 21st, 2015 Workshop: September 27th, 2015 --------------------------- Organizers --------------------------- * Tanja Mayerhofer, Vienna University of Technology, Austria * Philip Langer, EclipseSource, Austria * Ed Seidewitz, independent, USA * Jeff Gray, University of Alabama, USA --------------------------- Program Committee --------------------------- * Jordi Cabot, INRIA and Ecole des Mines de Nantes, France * Tony Clark, Middlesex University, United Kingdom * Benoit Combemale, IRISA and University of Rennes 1, France * Juergen Dingel, Queen's University, Canada * Gregor Engels, University of Paderborn, Germany * Sebastien Gerard, CEA List, France * Martin Gogolla, University of Bremen, Germany * Frederic Jouault, ESEO, France * Dimitris Kolovos, University of York, United Kingdom * Marjan Mernik, University of Maribor, Slovenia * Zoltan Micskei, Budapest University of Technology and Economics, Hungary * Richard Paige, University of York, United Kingdom * Alessandro Romero, Brazilian National Institute for Space Research, Brazil * Bernhard Rumpe, RWTH Aachen University, Germany * Markus Scheidgen, Humboldt University Berlin, Germany * Jeremie Tatibouet, CEA List, France * Massimo Tisi, INRIA and Ecole des Mines de Nantes, France * Hans Vangheluwe, University of Antwerp, Belgium and McGill University, Canada From Stephan.Fassbender at uni-due.de Wed May 6 11:38:53 2015 From: Stephan.Fassbender at uni-due.de (=?UTF-8?B?U3RlcGhhbiBGYcOfYmVuZGVy?=) Date: Wed, 06 May 2015 11:38:53 +0200 Subject: [fg-arc] VAQUITA Workshop at ECSA 2015: Last Call For Papers Message-ID: <5549E12D.3040900@uni-due.de> Our apologies if you have received multiple copies. CALL FOR PAPERS VAQUITA 2015 - 1st International Workshop on Variability for Qualities in Software Architecture http://www.vaquita-workshop.org/ September 7, Dubrovnik/Cavtat, Croatia ======================================================================= * VAQUITA Workshop * ======================================================================= IMPORTANT DATES Abstract submission: May 10, 2015 Paper submission: May 17, 2015 Notification: June 19, 2015 Camera ready: June 29, 2015 Workshop: September 7, 2015 ======================================================================= WORKSHOP THEME Many software systems are designed to support variability, either at design time or at runtime. Hence, variability is a key factor of most systems. Variability itself covers two dimensions: functional variability and variability in software qualities. While there are many works covering variability in functionality, there is a research gap regarding variability in software qualities. Obviously, this is an imbalance between the importance of variability in the context of quality attributes, and the intensity of research in this area. To improve this situation, the Workshop on Variability for Qualities in Software Architecture (VAQUITA) aims at investigating and stimulating the discourse about the matter of variability, qualities, and software architectures. VAQUITA offers researchers and practitioners a platform for exchanging ideas and experiences, analyzing research challenges, discussing open problems, and proposing promising solutions. VAQUITA will be run as a one-day workshop, and consists of an keynote talk, paper presentations and discussions, and a roadmap building session. The roadmap will be published as thought-provoking impulse and contribution to the software architecture community. === TOPICS ================================================ Topics addressed by VAQUITA are those which will promote discussion about advancing variability consideration for software qualities in software architecture. These include, but are not excluded to: -Modeling variability in the software architecture -Variability in quality attributes -Architectural patterns, styles, and tactics for variability -Identification of variability in quality attributes at the architecture level -Linking requirements engineering and software architectures in the context of variability and quality -Variability in qualities for reconfigurable and self-adaptive architectures -Use of aspect-oriented architectures for quality-based variability -Detecting and resolving conflicts among variants, especially regarding qualities -Interaction analysis for software product lines with respect to quality attributes -Managing interactions between design decisions and quality-based variability in the software architecture -Variability in quality attributes and optimization -Quality-centered evolution and variability -Variability across the software lifecycle with regard to qualities === SUBMISSION ================================================ All submissions must come in PDF format and conform, at time of submission, to the IEEE Formatting Guidelines. For details and templates see: http://www.ieee.org/conferences_events/conferences/publishing/templates.html Authors are invited to submit either research or position papers on the workshop topics. For research papers, VAQUITA accepts papers with six pages of content at maximum. One additional page is granted for the bibliography only, making it seven pages total for a research paper. For position papers, VAQUITA accepts four pages at maximum. The papers for the workshop will be selected from all submissions in a double blind review. Workshop papers must follow the ACM format and submission guidelines (http://www.acm.org/sigs/publications/proceedings-templates). Proceedings will be published in the ACM Digital Library. At least one author of an accepted paper has to register for the VAQUITA workshop and attend it. Abstracts and papers are expected to be submitted using the easychair submission system (https://www.easychair.org/conferences/?conf=vaquita2015). === ORGANIZATION COMMITTEE==================================================== Michael Goedicke (University of Duisburg-Essen) Maritta Heisel (University of Duisburg-Essen) Uwe Zdun (University of Vienna) Azadeh Alebrahim (University of Duisburg-Essen) Stephan Fa?bender (University of Duisburg-Essen) Martin Filipczyk (University of Duisburg-Essen) Main contact: Stephan Fa?bender Working group Software Engineering Department of Computational and Cognitive Science University of Duisburg-Essen, Germany stephan.fassbender at uni-due.de Oststr. 99 47057 Duisburg === PROGRAM COMMITTEE==================================================== David Ameller (Polytechnic University of Catalonia) Kristian Beckers (ITESYS) Amel Bennaceur (The Open University) Goetz Botterweck (Lero - The Irish Software Engineering Research Centre) Zoya Durdik (ABB Corporate Research) Frank Frey Nazila Gol Mohammadi (University of Duisburg-Essen) Volker Gruhn (University of Duisburg-Essen) Neil Harrison (Utah Valley University) Wilhelm Hasselbring (University of Kiel) Denis Hatebur (University of Duisburg-Essen) Uwe van Heesch (Hogeschool van Arnhem en Nijmegen) Sebastian Herold (Lero - The Irish Software Engineering Research Centre) Meiko Jensen (Independent Centre for Privacy Protection Schleswig-Holstein, Kiel) Anne Koziolek, Karlsruhe Institute of Technology Christian Kreiner (Graz University of Technology) Kim Lauenroth (adesso AG) Andreas Metzger (University of Duisburg-Essen) Klaus Pohl (University of Duisburg-Essen) Christopher Preschern (Bernecker + Rainer Industrie-Elektronik) Ralf Reussner (Karlsruhe Institute of Technology) Riccardo Scandariato (Chalmers University of Technology) Klaus Schmid (University of Hildesheim) Holger Schmidt (T?V) Amir Molzam Sharifloo (University of Duisburg-Essen) Thein Than Tun (The Open University) -- Dipl.-Wirt. Inform. Stephan Fa?bender University Duisburg-Essen Faculty of Engineering Department of Computer Science and Applied Cognitive Science Work Group Software Engineering Room BB 918, Oststrasse 99, 47057 Duisburg, Germany Phone: +49-(0)203/379-1075 Fax: +49-(0)203/379-4490 eMail: stephan.fassbender at uni-duisburg-essen.de From mmajid at gmail.com Mon May 4 11:01:55 2015 From: mmajid at gmail.com (Mahdi Jaghoori) Date: Mon, 4 May 2015 11:01:55 +0200 Subject: [fg-arc] Final CFP: Topics in Theoretical Computer Science (TTCS 2015) -- Tehran, Iran Message-ID: (apologies if you receive multiple copies) ========================================= Topics in Theoretical Computer Science (TTCS 2015) http://www.ttcs.ir/ Institute for Research in Fundamental Sciences (IPM), Tehran, Iran August 26-28, 2015 *Submission Deadline: May 15, 2015 (Anywhere on Earth)* ======================================== *Scope:* TTCS is a new bi-annual conference series, intending to serve as a forum for novel and high-quality research in all areas of Theoretical Computer Science. The conference is held in cooperation with the European Association forTheoretical Computer Science. There will be a number of satellite events at TTCS, These will feature presentation of early research results, and position papers. There will also be a forum for Ph.D. students to receive comments about their ongoing research projects. Topics of interest include but are not limited to: - algebra and co-algebra in computer science, - algorithms and data structures, - algorithmic coding theory, - algorithmic graph theory and combinatorics, - approximation algorithms, - computational complexity, - computational geometry, - computational learning theory, - concurrency theory, - coordination languages, - economics and algorithmic game theory, - fixed parameter algorithms, - formal verification and model-based testing, - logic in computer science, - machine learning - methods, models of computation and reasoning for embedded, hybrid, and cyber-physical systems, - optimization, - parallel and distributed algorithms, - quantum computing, - randomness in computing, - stochastic and probabilistic specification and reasoning - theoretical aspects of other CS-related research areas, e.g., computational science, databases, information retrieval, and networking, - theoretical cryptography, - theory of programming languages, and - type theory and its application in program verification. *Keynote Speakers:* Anuj Dawar, Cambridge University, UK Michael Fellows, Charles Darwin University, Australia Mehrnoosh Sadrezadeh, Queen Mary University of London, UK *Submission:*For the main conference, we solicit research papers in all areas of theoretical computer science. All papers will undergo a rigorous review process and will be judged based on their originality, soundness, significance of the results, and relevance to the theme of the conference. Papers should be written in English. Research papers should not exceed 15 pages in the LNCS style format. Multiple and/or concurrent submission to other scientific venues is not allowed and will result in rejection as well as notification to the other venue. Any case of plagiarism (including self-plagiarism from earlier publications) will result in rejection as well as notification to the the authors' institutions. Papers should be submitted through our EasyChair submission website: https://www.easychair.org/conferences/?conf=ttcs2015 . The web site is open for submissions. *Important Dates:* - *Paper Submission*: May 15, 2015 (Anywhere on Earth ) - *Author notification:* June 26, 2015 - *Camera ready paper due:* July 10, 2015 - *Conference:* August 26-28, 2015 *Program Committee:* *Track A: Algorithms and Complexity* - Mohammad Ali Abam, Sharif University of Technology, Iran - Saeed Akbari, Sharif University of Technology, Iran - Saeed Alaei, Cornell University, USA - Mohammad Hossein Bateni, Google Research, USA - Salman Beigi, IPM, Iran - Amir Daneshgar, Sharif University of Technology, Iran - Fedor Fomin, University of Bergen, Norway - Ali Ghodsi, University of Waterloo, Canada - Mohammad Ghodsi, Sharif University of Technology, Iran - Mohammad T. Hajiaghayi, University of Maryland, USA (Chair) - Amin Karbasi, Yale University, USA - Nicole Immorlica, Microsoft Research, USA - Amit Kumar, IIT Delhi, India - Mohammad Mahdian, Google Research, USA - Hamid Mahini, University of Maryland, USA - Bojan Mohar, Simon Fraser University, Canada - Mohammad Mahmoody, University of Virginia, USA - Vahab Mirrokni, Google Research, USA - Morteza Monemizadeh, Frankfurt University, Germany - Shayan Oveisgharan, UC Berkeley and University of Washington, USA - Debmalya Panigrahi, Duke University, USA - Jorg Sack, Carleton University, Canada - Mohit Singh, Microsoft Research, USA - Dimitrios M. Thilikos, CNRS, France and University of Athens, Greece - Suresh Venkatasubramanian, University of Utah, USA - Jan Vondrak, IBM Almaden Research Center, USA *Track B: Logic, Semantics, and Programming Theory* - Farhad Arbab, CWI and Leiden University, The Netherlands - S. Arun-Kumar, IIT Delhi, India - Ilaria Castellani, INRIA Sophia Antipolis, France - Dave Clarke, Uppsala University, Sweden and KU Leuven, Belgium - Pieter Cuijpers, Eindhoven University of Technology, The Netherlands - Fatemeh Ghassemi, Tehran University, Iran - Matthew Hennessy, Trinity College Dublin, Ireland - Ichiro Hasuo, University of Tokyo, Japan - Mahdi Jaghoori, AMC University of Amsterdam, The Netherlands - Jeroen Keiren, Vrije Universiteit Amsterdam, The Netherlands - Bas Luttik, Eindhoven University of Technology, The Netherlands - Jose Meseguer, University of Illinois at Urbana, USA - Lary Moss, Indiana University, USA - Mohammad Mousavi, Halmstad University, Sweden (Chair) - Jun Pang, University of Luxembourg, Luxembourg - Gerardo Schneider, Chalmers University of Technology, Sweden - Marjan Sirjani, Reykjavik University, Iceland - Walter Vogler, Augsburg University, Germany - Tim Willemse, Eindhoven University of Technology, The Netherlands -------------- next part -------------- An HTML attachment was scrubbed... URL: From msteffen at ifi.uio.no Mon May 4 08:28:09 2015 From: msteffen at ifi.uio.no (Martin Steffen) Date: Mon, 04 May 2015 08:28:09 +0200 Subject: [fg-arc] FM 2015: Call for Participation (20th Intl. Symposium on Formal Methods, Oslo) Message-ID: -----=== FM 2015 ===----- First Call for Participation 20th International Symposium on Formal Methods Oslo, Norway, June 22-26, 2015 http://fm2015.ifi.uio.no/ ---------------------------------------------------- -----== Early registration deadline: May 20, 2015 ==----- ---------------------------------------------------- This year's International Symposium on Formal Methods, FM2015, will be held June 22-26 (which includes the year's longest(!) and hopefully sunniest days in Oslo). o ABOUT FM (International Symposium on Formal Methods) FM 2015 is the twentieth in a series of symposia organized by Formal Methods Europe, an independent association whose aim is to stimulate the use of, and research on, formal methods for software development. The symposia have been notably successful in bringing together innovators and practitioners in precise mathematical methods for software and systems development, industrial users, as well as researchers. o CONFERENCE AND SATELLITE EVENTS: Satellite events: 22-23 June, 2015 (Mon - Tue) FM2015 Main conference: 24-26 June, 2015 (Wed - Fri) o FM 2015 KEYNOTE SPEAKERS Elvira Albert, Complutense University of Madrid, ES Werner Damm, Carl von Ossietzky Universitaet Oldenburg, DE Valerie Issarny, INRIA, FR Leslie Lamport, Microsoft Research, US o FME FELLOWSHIP AWARD o WORKSHOPS - FMICS (22-23th June) Keynote: Kim G. Larsen, Aalborg University, DK Keynote: Marielle Petit-Doche, Systerel, FR - Overture/VDM (23 June) Keynote: Taro Kurita, Sony Corporation, JP - WWV: Automated Specification and Verification of Web systems (23 June) Keynote: Dino Distefano, Queen Mary University & Facebook, UK Keynote: Jos? Meseguer, University of Illinois, US - Refinement (22 June) - ESSS: Engineering Safety and Security Systems (22 June) Keynote: Marieke Huisman, University of Twente, NL Keynote: Audun J?sang, University of Oslo, NO - USE: Usages of Symbolic Execution (23 June) - SETS: Sets and Tools (23 June) - FMSEET: Formal Methods in Software Education and Training (23 June) - F-IDE: Formal Integrated Development Environments (22 June) o DOCTORAL SYMPOSIUM (22 June) Keynote: Stijn de Gouw, SDL, NL o TUTORIALS - Modelling and Analysis of Communicating Systems Jan Friso Groote (Eindhoven University of Technology, NL), Mohammad Mousavi (Halmstad University, SE), Tim Willemse (Eindhoven University of Technology, NL) - The Correctness-by-Construction Approach to Programming Bruce Watson (FASTAR research group, ZA) Derrick Kourie (FASTAR research group, ZA) Loek Cleophas (FASTAR research group, ZA, and Ume? University, SE) - Abstract Behavioral Specification Reiner H?hnle (Technische Universit?t Darmstadt, DE), Einar Broch Johnsen (University of Oslo, NO) - Theory and Practice of Runtime Verification Martin Leucker (Universit?t zu L?beck, DE) Daniel Thoma (Universit?t zu L?beck, DE) o FM2015 ACCEPTED PAPERS MAIN CONFERENCE - Cornelius Diekmann, Lars Hupel and Georg Carle. Semantics-Preserving Simplification of Real-World Firewall Rule Sets -Nadia Polikarpova, Julian Tschannen and Carlo A. Furia. A Fully Verified Container Library - Alexey Solovyev, Charlie Jacobsen, Zvonimir Rakamaric and Ganesh Gopalakrishnan. Rigorous Estimation of Floating-Point Round-off Errors with Symbolic - Taylor Expansions Shin Nakajima. Using Real-Time Maude to Model Check Energy Consumption Behavior - Li Li, Jun Sun, Yang Liu and Jin Song Dong. Verifying Parameterized Timed Security Protocols - Jiang Liu, Naijun Zhan, Hengjun Zhao and Liang Zou. Abstraction of Elementary Hybrid Systems by Variable Transformation - Tommaso Dreossi, Thao Dang and Carla Piazza. Parameter Synthesis through Temporal Logic Specifications - Peter Schmitt and Mattias Ulbrich. Typed First-Order Logic - Jesus Mauricio Chimento, Wolfgang Ahrendt, Gerardo Schneider and Gordon Pace. A Specification Language for Static and Runtime Verification of Data and Control Properties - Karam Abdelkader, Orna Grumberg, Corina Pasareanu and Sharon Shoham. Automated Circular Assume-Guarantee Reasoning - Xue-Yang Zhu, Rongjie Yan, Yu-Lei Gu, Jian Zhang, Wenhui Zhang and Guangquan Zhang. Static Optimal Scheduling for Synchronous Data Flow Graphs with Model Checking - Tim Nelson, Andrew D. Ferguson and Shriram Krishnamurthi. Static Differential Program Analysis for Software-Defined Networks - Matthew Fernandez, June Andronick, Gerwin Klein and Ihor Kuz. Automated Verification of RPC Stub Code - Yuan Feng, Ernst Moritz Hahn, Andrea Turrini and Lijun Zhang. QPMC: A Model Checker for Quantum Programs and Protocols - Julien Bringer, Herv? Chabanne, Daniel Le M?tayer and Roch Lescuyer. Privacy by design in practice: reasoning about privacy properties of biometric system architectures - Musab A. Alturki and Omar Alzuhaibi. Towards Formal Verification of Orchestration Computations Using the K Framework - Christian Eisentraut, Jens Chr. Godskesen, Holger Hermanns, Lei Song and Lijun Zhang. Probabilistic Bisimulation for Realistic Schedulers - Temesghen Kahsai, Falk Howar, Dimitra Giannakopoulou, Guillaume Brat and Misty Davies. Verifying the Safety of a Flight-Critical System - Gianluca Amato, Simone Di Nardo Di Maio, Maria Chiara Meo and Francesca Scozzari. Narrowing operators on template abstract domains - Xiaoning Du, Yang Liu and Alwen Tiu. Trace-Length Independent Runtime Monitoring of Quantitative Policies in LTL - David Schneider, Michael Leuschel and Tobias Witt. Model-Based Problem Solving for University Timetable Validation and Improvement - S?ren Debois, Thomas Hildebrandt and Tijs Slaats. Safety, Liveness and Run-time Refinement for Modular Process-Aware Information Systems with Dynamic Sub Processes - Saurabh Joshi and Daniel Kroening. Property-Driven Fence Insertion using Reorder Bounded Model Checking - Tim Quatmann, Nils Jansen, Christian Dehnert, Ralf Wimmer, Erika Abraham, Joost-Pieter Katoen and Bernd Becker. Counterexamples for Expected Rewards - Daniel Kroening, Matt Lewis and Georg Weissenbacher. Proving Safety with Trace Automata and Bounded Model Checking - John Derrick and Graeme Smith. A framework for correctness criteria on weak memory models - John Derrick, Brijesh Dongol, Gerhard Schellhorn, Oleg Travkin and Heike Wehrheim. Verifying Opacity of a Transactional Mutex Lock - Aliakbar Safilian, Tom Maibaum and Zinovy Diskin. The Semantics of Cardinality-based Feature Models via Formal Languages - Sylvain Conchon, Alain Mebsout and Fatiha Zaidi. Certificates for Parameterized Model Checking - Hamid Bagheri, Eunsuk Kang, Sam Malek and Daniel Jackson. Detection of Design Flaws in the Android Permission Protocol through Bounded Verification - Andrew Sogokon and Paul Jackson. Direct formal verification of liveness properties in continuous and hybrid dynamical systems - Asankhaya Sharma, Shengyi Wang, Andreea Costea, Aquinas Hobor and Wei-Ngan Chin. Certified Reasoning with Infinity o FM2015 ACCEPTED PAPERS INDUSTRY TRACK - Rodrigo Reis, Henrique Masini and Bruno Miranda. Using Simulink Design Verifier for automatic generation of requirements-based testing - Ralf Huuck and Tao Liu. Case Study: Static Security Analysis of the Android Goldfish Kernel - Stefan Hauck-Stattelmann, Sebastian Biallas, Bastian Schlich, Stefan Kowalewski and Raoul Jetley. Analyzing the Restart Behavior of Industrial Control Applications - Bharti Chimdyalwar, Priyanka Darke, Anooj Chavda, Sagar Vaghani and Avriti Chauhan. Eliminating static analysis false positives using loop abstraction and bounded model checking - Mathijs Schuts and Jozef Hooman. Formalizing the Concept Phase of Product Development at Philips Healthcare - Neil Evans. Software Development and Authentication for Arms Control Information Barriers - William Durand and S?bastien Salva. Autofunk: an inference-based formal model generation framework for production systems. - Taro Kurita, Fuyuki Ishikawa and Keijiro Araki. Practices for Formal Models as Documents: Evolution of VDM Application to "Mobile FeliCa" IC Chip Firmware - Thierry Lecomte. Formal Virtual Modelling and Data Verification for Supervision Systems From burger at kit.edu Mon May 4 13:12:03 2015 From: burger at kit.edu (Erik Burger) Date: Mon, 04 May 2015 13:12:03 +0200 Subject: [fg-arc] Deadline Extension: 3. Workshop on View-based, Aspect-oriented, and Orthographic Software Modelling (VAO) Message-ID: <55475403.5040603@kit.edu> --------------------------------------------------------------------- | | | VAO 2015 - Call for Contributions | | | | 3rd Workshop on | | View-Based, Aspect-Oriented and Orthographic Software Modelling | | | | A satellite event of STAF 2015 | | | | 21 July 2015, L'Aquila, Italy | | | --------------------------------------------------------------------- | For a complete PDF version of this call please visit: | | | | http://vao.ipd.kit.edu/uploads/media/vao2015_cfp.pdf | | | --------------------------------------------------------------------- ##################################################################### # Deadline extension: Paper and abstract submission now 17 May 2015 # ##################################################################### In Model-Driven Engineering, the functionality of complex systems lies beyond the representative capabilities of a single model. Therefore, an increasing variety of heterogeneous models and languages are used in the various phases of software development. Information about a system is consequently spread across these various models with possible overlaps, redundancies, and inconsistencies. To cope with this complexity, which normally exceeds the cognitive capacity of a single individual, various approaches have been developed to re-organize information during systems development. Different approaches that allow system modelling from various perspectives or according to separate concerns focus on such diverse issues that it is difficult to compare and evaluate them. Some of them present solutions for a specific set of modelling languages or views, but make it hard to assess the applicability in other scenarios. Others provide means to define new views on models, but do not consider how redundancy-free models can be established. Goal ---- The goal of this workshop is to bring together researchers and practitioners with an interest in model-driven software development to foster a fruitful cross-pollination of ideas between different communities dealing with the separation and integration of views, concerns, and roles in system modelling. In break-out sessions, potential topics for scientific exchange will be elicited, possible comparison criteria will be collected, and ideas for future colaborations will be discussed. In order to provide a foundation for these discussions, we encourage submissions on new concepts, implementations or formalism as well as submissions on controversial positions, requirements for a common case-study or case-study scenarios. Submissions should contribute to investigating and discussing the benefits and drawbacks of different multi-view modelling approaches or identifying best practices. Topics ------ The workshop is interested in submissions on all topics related to model-driven development that deal with the separation and integration of different perspectives, languages, abstractions, views or concerns. More specifically, this includes: - bridging the gap between different views or metamodels, - generating, defining and evolving different views, models and metamodels, - round-trip engineering and co-evolution of different models, - composition of different views, models and metamodels, - (bidirectional) transformations of metamodels, - avoiding inconsistencies, overlap and redundancies between modelling artefacts, - using role modelling concepts for model-driven engineering, - generating models and metamodels for multiple views or formalisms, - separating and re-integrating cross-cutting concerns or model weaving, - dynamic information hiding for partial views, - coupling of software and non-software models Contributions ------------- Submissions to the workshop are possible in two categories. *Research papers* should describe original work on a problem or solution that pertains to the systematic separation or integration of models, concerns, views, or other modelling artefacts on six to eight pages. *Position papers* should present a well-defined position on how various modelling languages, viewpoints, heterogeneous subsystems, or concerns should be handled in MDE on two to four pages. All paper submissions have to adhere to the ACM SIG Proceedings Style (alternate format). Organizers ---------- Uwe A?mann, Technische Universit?t Dresden, Germany Erik Burger, Karlsruhe Institute of Technology, Karlsruhe, Germany Thomas Goldschmidt, ABB Corporate Research, Ladenburg, Germany Ralf Reussner, Forschungszentrum Informatik (FZI), Karlsruhe, Germany Dissemination ------------- The proceedings of VAO 2015 will be published in the ACM Digital Library. Important Dates --------------- Abstract submission: 17 May 2015 Paper submission: 17 May 2015 Author notification: 12 June 2015 Camera-ready version: 19 June 2015 Workshop date: 21 July 2015 Contact ------- vao-workshop at ira.uka.de Homepage -------- http://vao.ipd.kit.edu/ --------------------------------------------------------------------- -- ______________________________________________________________________ Karlsruhe Institute of Technology (KIT) Faculty of Informatics Institute for Programme Structures and Data Organisation IPD Reussner - Software Design and Quality Dr.-Ing. Erik Burger Researcher Am Fasanengarten 5, Building 50.34, Room 241 76131 Karlsruhe, Germany Phone: +49 721 608-45765 (-45993, secr.) Fax: +49 721 608-45990 Email: burger at kit.edu http://sdq.ipd.kit.edu/people/erik_burger KIT - University of the State of Baden-Wuerttemberg and National Research Center of the Helmholtz Association ______________________________________________________________________ From maciej.pirog at cs.ox.ac.uk Tue May 5 22:53:27 2015 From: maciej.pirog at cs.ox.ac.uk (Maciej Pirog) Date: Tue, 05 May 2015 21:53:27 +0100 Subject: [fg-arc] Summer School on Generic and Effectful Programming Message-ID: <0c7d7e507ea2e861ed4f04959589b7cb@webmail.cs.ox.ac.uk> Call for Participation SUMMER SCHOOL ON GENERIC AND EFFECTFUL PROGRAMMING St Anne's College, Oxford, 6th to 10th July 2015 http://www.cs.ox.ac.uk/projects/utgp/school/ TOPIC Generic programming is a technique that exploits the inherent structure that exists in data, to automatically produce efficient and flexible algorithms that can be adapted to suit different needs. The goal of this school is to explore datatype-generic programming and related topics from a variety of different angles, emphasizing in particular the interplay of generics and effects. This summer school is the closing activity of the EPSRC-funded project "Unifying Theories of Generic Programming" at Oxford University. LECTURERS Six lecturers from the Programming Languages community, each an acknowledged expert in their specialism, will cover various aspects of generic and effectful programming. Each will give about four hours' lectures, distributed throughout the week. Edwin Brady (University of St Andrews) "Embedded Domain-Specific Languages in Idris" Fritz Henglein (University of Copenhagen) "Worst-case Efficient Generic Functional Programming on Bulk Data" Andres L?h (Well-Typed) "Applying Type-level and Generic Programming in Haskell" Conor McBride (University of Strathclyde) "Datatypes of Datatypes" Don Syme (Microsoft Research) "Compile-time Meta-programming for the Information-rich World" Tarmo Uustalu (Tallinn University of Technology) "Containers for Effects and Contexts" PREREQUISITES The school is aimed at doctoral students in programming languages and related areas; however, researchers and practitioners will be very welcome, as will strong masters students with the support of a supervisor. It will be assumed that participants have a good understanding of typed functional programming, as in Haskell, O'Caml, or F#. DATES Registration deadline: 21st June 2015 School: 6th July (9am) to 10th July 2015 (lunchtime) COSTS Costs will be kept low, thanks to support from EPSRC. There will be a nominal registration fee of ?135, and B&B accommodation in college will be ?75 (ensuite) or ?48 (shared bathroom) per night. We can accept at most 50 participants; places will be allocated on a first-come, first-served basis. FURTHER INFORMATION Further information, including instructions on how to register, is available at the website: http://www.cs.ox.ac.uk/projects/utgp/school/ From alexander.perucci at graduate.univaq.it Mon May 11 11:20:19 2015 From: alexander.perucci at graduate.univaq.it (alexander.perucci at graduate.univaq.it) Date: Mon, 11 May 2015 11:20:19 +0200 (CEST) Subject: [fg-arc] SCART 2015 at SEFM 2015 - Submission Deadline Reminder - Springer JISA Thematic Series Invited Papers Message-ID: <2105711640.42.1431336019346.JavaMail.Alexander@XPS> [Apologies for multiple postings] -- Call for Papers -- SCART 2015: 1st International Workshop on the ART of Software Composition, co-located with SEFM 2015 ? York, UK. SCART 2015 (http://scart2015.disim.univaq.it/) provides the opportunity for discussing how the FI affects the traditional SE methods and tools, and how facing its complexity in terms of scalability, heterogeneity, and dinamicity promotes the integration of FM within SE practices. We seek answers on how the rigorousness of FM assists software engineers while designing, developing, validating and operating software systems for the FI, which are build via correct-by-construction service composition. The workshop constitutes a forum for scientists and engineers in academia and industry to present and discuss their latest research and development. SCART 2015 welcomes research papers, experience papers and tool presentations; nevertheless, papers describing novel research contributions and innovative applications are of particular interest. Details on workshop goals and themes can be found at: http://scart2015.disim.univaq.it. Keynote by Paola Inverardi (Title and abstract to be announced) - http://scart2015.disim.univaq.it/?page_id=139 A thematic series on Service Composition for the Future Internet in the Springer Journal of Internet Services and Applications (JISA - http://www.jisajournal.com/about/update/SCFI) is devoted to SCART 2015. Selected participants will be invited to submit an extended version of their papers after the workshop. These extended versions will be reviewed by an international program committee, which will decide on their final publication on the thematic series. == IMPORTANT DATES == Paper submissions: May 22, 2015 Notification of authors: June 19, 2015 Camera-ready copies: July 3, 2015 == PAPER SUBMISSION == Workshop papers must follow the SEFM 2015 Format and Submission Guidelines: http://www.cs.york.ac.uk/sefm2015/ Each submitted paper will undergo a formal peer review process by at least 3 PC members. Contributions can be: Regular papers (maximum 12 pages): In this category fall those contributions which propose novel research contributions, address challenging problems with innovative ideas, or offer practical contributions in the application of FM and SE approaches for building FI applications via software composition. Regular papers should clearly describe the situation or problem tackled, the relevant state of the art, the position or solution suggested and the potential benefits of the contribution. Short papers (maximum 8 pages): This category includes tool demonstrations, position papers, industrial experiences and case-studies, well-pondered and sufficiently documented visionary papers. Authors of papers reporting industrial experiences are strongly encouraged to make their experimental results available for use by reviewers. Similarly, case-study papers should describe significant case-studies and the complete development should be made available for use by reviewers. Tool demonstration papers should explain enhancements made in comparison to previously published work. Authors of tool demonstration papers should make their tool available for use by reviewers. == Workshop Chairs == - Marco Autili, University of L'Aquila, Italy marco.autili at univaq.it - Alfredo Goldman, University of S?o Paulo, Brazil gold at ime.usp.br - Massimo Tivoli, University of L'Aquila, Italy, massimo.tivoli at univaq.it == Program Committee == - Domenico Bianculli, Univ. du Luxembourg - Gwen Sala?n, INRIA, Grenoble-Rhone-Alpes, France - Guglielmo De Angelis, CNR-IASI/ISTI, Italy - Ivica Crnkovic, M?lardalen University, Sweden - Joni da Silva Fraga, UFSC, Brazil (pending) - Kelly Rosa Braghetto, Univ. of S?o Paulo, Brazil - Luciano Baresi, Politecnico di Milano, Italy - Mauro Caporuscio, Politecnico di Milano, Italy - Miriam Capretz, Faculty of Western Eng., Canada - Nelson Souto Rosa, UFPE, Brazil - Nikolaos Georgantas, INRIA, Paris, France - Paola Inverardi, Univ. of L'Aquila, Italy - Pascal Poizat, Univ. Paris Ouest, France - Radu Calinescu, Univ. of York, UK - Schahram Dustdar, Univ. of Technology Wien, Austria == Publicity Chair == - Alexander Perucci, University of L'Aquila, Italy == Web Chair == - Amleto Di Salle, University of L'Aquila, Italy == List of topics (although not limited to) == - Specification, architecture, and design of software composition models - Software quality assurance for software composition - Verification and testing of software integration code - Adaptive software composition - Formal methods for automated software composition - Service-oriented and Component-based software composition - Non-functional properties of software composition - Automated software composition and coordination - Correct-by-construction software composition - Automated synthesis of software integration code - Model-driven software composition - Compositional theories for software composition - Patterns and frameworks for software composition engineering - Tools and methods for software composition engineering - Industrial experience in software composition - Empirical studies in software composition From sren at cs.fiu.edu Mon May 11 21:27:29 2015 From: sren at cs.fiu.edu (Shaolei Ren) Date: Mon, 11 May 2015 15:27:29 -0400 Subject: [fg-arc] CALL FOR PARTICIPATION IEEE ICAC 2015 Message-ID: ************************************************************ ************************ CALL FOR PARTICIPATION IEEE ICAC 2015 The 12th IEEE International Conference on Autonomic Computing Grenoble, France, July 7-10, 2015 In cooperation with USENIX and SPEC Corporate supporters: Google, HP Labs, Orange Labs http://icac2015.imag.fr/ *The early registration prices end on June 02, 2015 (23:59 UTC/GMT +2H,* *Paris **).* ************************************************************************************ *Keynotes* ICAC 2015 has feature three keynote talks: - ? Prof. Jeremy Pitt (Imperial College London): Governance, Justice and Paradox in Self-Organising Rule-Oriented Systems - ? Prof. Tarek Abdelzaher (University of Illinois): The Social Frontier for Autonomic Systems - ? Dr. Alexander Keller (IBM): A Service Provider Perspective of the past 12 Years of Autonomic Computing For more information see the http://icac2015.imag.fr/keynotes/. *Accepted Papers* Full papers - ? A Mission-Oriented Service Discovery Mechanism for Highly Dynamic Autonomous Swarms of Unmanned Systems. Vincent Autefage, Serge Chaumette and Damien Magoni. - ? Model-driven Geo-Elasticity In Database Clouds. Tian Guo and Prashant Shenoy. - ? Distributed Real-time Event Analysis. Julian James Stephen, Daniel Gmach, Rob Block, Adit Madan and Alvin Auyoung. - ? Ubora: Measuring and Managing Answer Quality for Online Data-Intensive Services. Jaimie Kelley, Christopher Stewart, Devesh Tiwari, Yuxiong He, Sameh Elnikety and Nathaniel Morris. - ? Towards Security-Aware Virtual Server Migration Optimization to the Cloud. Bowu Zhang, Jinho Hwang, Liran Ma and Timothy Wood. - ? SocialTrove: A Self-summarizing Storage Service for Social Sensing. Md Tanvir Al Amin, Shen Li,Muntasir Raihan Rahman, Panindra Tumkur Seetharamu, Shiguang Wang, Tarek Abdelzaher, Indranil Gupta,Mudhakar Srivatsa, Raghu Ganti, Reaz Ahmed and Hieu Le. - ? ICE: An Integrated Configuration Engine for Interference Mitigation in Cloud Services. Amiya Maji, Subrata Mitra and Saurabh Bagchi. - ? Behavioural Model-based Control for Autonomic Software Components. Frederico Alvares De Oliveira,Eric Rutten and Lionel Seinturier. - ? Revenue Driven Resource Allocation for Virtualized Data Centers. Sajib Kundu, Raju Rangaswami, Ming Zhao, Ajay Gulati and Kaushik Dutta. - ? Centaur: Host-side SSD Caching for Storage Performance Control. Ricardo Koller, Ali Mashtizadeh and Raju Rangaswami. - ? Optimizing Energy, Locality and Priority in a MapReduce Cluster. Yijun Ying, Robert Birke, Cheng Wang, Lydia Y. Chen and Gautam Natarajan. - ? CADRE: Carbon-Aware Data Replication for Geo-Diverse Services. Zichen Xu, Nan Deng, Chris Stewart and Xiaorui Wang. - ? Morphus: Supporting Online Reconfigurations in Sharded NoSQL Systems. Mainak Ghosh, Wenting Wang, Gopalakrishna Holla and Indranil Gupta. - ? QoS-driven Cloud Resource Management through Fuzzy Model Predictive Control. Lixi Wang, Jing Xu and Ming Zhao. Short Papers - ? A Symbiotic Cognitive Computing Perspective on Autonomic Computing. Jeffrey Kephart and Jonathan Lenchner. - ? Towards Reusability in Autonomic Computing. Christian Krupitzer, Felix Maximilian Roth, Sebastian Vansyckel and Christian Becker. - ? Cost Minimization using Renewable Cooling and Thermal Energy Storage in CDNs. Stephen Lee, Rahul Urgaonkar, Ramesh Sitaraman and Prashant Shenoy. - ? Automatic Server Hang Bug Diagnosis: Feasible Reality or Pipe Dream? Daniel Dean, Peipei Wang, Xiaohui Gu, William Enck and Guoliang Jin. Experience Paper - ? Organic Architecture for Energy Management and Smart Grids. Ingo Mauser, Christian Hirsch, Sebastian Kochanneck and Hartmut Schmeck. In addition, the ICAC?2015 program will include interesting Work in Progress and Poster Sessions -- ------------------------------------------------------------------------- Shaolei Ren Assistant Professor School of Computing and Information Sciences Florida International University Miami, FL 33199, United States E-mail: sren at cs.fiu.edu Phone: (305) 348-2032 Homepage: http://www.cs.fiu.edu/~sren/ ------------------------------------------------------------------------- -------------- next part -------------- An HTML attachment was scrubbed... URL: From pmt6sbc at maths.leeds.ac.uk Mon May 11 20:00:31 2015 From: pmt6sbc at maths.leeds.ac.uk (S B Cooper) Date: Mon, 11 May 2015 19:00:31 +0100 (BST) Subject: [fg-arc] CiE 2015 in Bucharest - Call for Participation Message-ID: <201505111800.t4BI0VAU001306@maths.leeds.ac.uk> -------------------------------------------------------------------------- CiE 2015: Call for Participation and Registration -------------------------------------------------------------------------- COMPUTABILITY IN EUROPE 2015: Evolving Computability Bucharest, Romania June 29 - July 3 http://fmi.unibuc.ro/CiE2015/ IMPORTANT DATES: EARLY REGISTRATION DEADLINE: May 20, 2015 Details on the registration: http://fmi.unibuc.ro/CiE2015/registration.html Details on accommodation possibilities: http://fmi.unibuc.ro/CiE2015/accommodation.html (please note the individual deadlines for each variant) CiE 2015 is the 11-th conference organized by CiE (Computability in Europe), a European association of mathematicians, logicians, computer scientists, philosophers, physicists and others interested in new developments in computability and their underlying significance for the real world. Previous meetings have taken place in Amsterdam (2005), Swansea (2006), Siena (2007), Athens (2008), Heidelberg (2009), Ponta Delgada (2010), Sofia (2011), Cambridge (2012), Milan (2013) and Budapest (2014) Evolution of the universe, and us within it, invite a parallel evolution in understanding. The CiE agenda - fundamental and engaged - targets the extracting and developing of computational models basic to current challenges. From the origins of life, to the understanding of human mentality, to the characterising of quantum randomness - computability theoretic questions arise in many guises. The CiE community, meeting this year for the first time in Bucharest, carries forward the search for coherence, depth and new thinking across this rich and vital field of research. In line with other conferences in this series, CiE 2015 has a broad scope and provides a forum for the discussion of theoretical and practical issues in Computability with an emphasis on new paradigms of computation and the development of their mathematical theory. We invite everyone who is interested in the topics and program of CiE 2015 to register for the conference. Details on the program of the conference are given below. The details regarding the registration procedure are given at: http://fmi.unibuc.ro/CiE2015/registration.html PROGRAM: The papers accepted for CiE 2015 can be seen here: http://fmi.unibuc.ro/CiE2015/accepted.html The CONFERENCE PROCEEDINGS will be published by LNCS, Springer Verlag, and there will be a best student paper award presented to the best paper written solely by students, sponsored by Springer. TUTORIAL SPEAKERS * John Reif (Duke Unversity) * Steve Simpson (Pennsylvania State University) PLENARY SPEAKERS * Ann Copestake (University of Cambridge) * Mircea Dumitru (University of Bucharest, Public Lecture) * Pawel Gawrychowski (University of Warsaw) * Julia Knight (University of Notre Dame) * Anca Muscholl (Universite Bordeaux) * Gheorghe Paun (Romanian Academy) * Alexander Razborov (University of Chicago and Steklov Mathematical Institute) * Vlatko Vedral (University of Oxford) SPECIAL SESSIONS on * Representing streams (Organizers: Joerg Endrullis and Dimtri Hendriks) * Automata, logic and infinite games (Organizers: Dietmar Berwanger and Ioana Leustean) * Reverse mathematics (Organizers: Damir Dzhafarov and Alberto Marcone) * Classical computability theory (Organizers: Marat Arslanov and Steffen Lempp) * Bio-inspired computation (Organizers: Andrei Paun and Petr Sosik) * History and philosophy of computing (Organizers: Christine Proust and Marco Benini) The speakers of the special sessions are listed at http://fmi.unibuc.ro/CiE2015/sessions.html INFORMAL PRESENTATIONS: While computer science conferences usually host formal presentations based on papers published in a proceedings volume, mathematics conferences allow for informal presentations that are prepared very shortly before the conference and inform the participants about current research and work in progress. So, continuing the tradition of past CiE conferences, CiE 2015 hosts a series of informal presentations, in addition to the presentations based on the papers in the LNCS proceedings volume. These will be soon published on the CiE 2015 website. ASSOCIATED WORKSHOPS, JUNE 26-28: http://fmi.unibuc.ro/CiE2015/workshops.html The Turing Centenary Research Project: Mind, Mechanism and Mathematics (MMM 2015), 3rd Workshop - joint with Workshop on Computability Theory (WCT 2015), June 27-28, 2015 (free registration) Days of Computer Science (DACS 2015), 2nd Workshop, June 26-27, 2015 STILL AVAILABLE FUNDING OPPORTUNITIES: CiE 2015 has received funding from EATCS (European Association for Theoretical Computer Science) that allows students who are members of EATCS and want to attend CiE 2015 to apply for travel funds or a reduction of the early registration fee. Applications for EATCS travel grants have to be sent to prior to the early registration deadline. The CONFERENCE POSTER can be downloaded from http://fmi.unibuc.ro/CiE2015/images/CiE_Poster.jpg ___________________________________________________________________ CiE 2015 http://fmi.unibuc.ro/CiE2015/ ASSOCIATION COMPUTABILITY IN EUROPE http://www.computability.org.uk CiE Conference Series http://www.illc.uva.nl/CiE CiE Membership Application Form http://www.lix.polytechnique.fr/CIE Computability (Journal of CiE) http://www.computability.de/journal/ CiE on FaceBook https://www.facebook.com/AssnCiE Association CiE on Twitter https://twitter.com/AssociationCiE From Muzaffar.Igamberdiev at unisa.edu.au Wed May 13 06:16:11 2015 From: Muzaffar.Igamberdiev at unisa.edu.au (Muzaffar Igamberdiev (IEE)) Date: Wed, 13 May 2015 04:16:11 +0000 Subject: [fg-arc] EDOC 2015 - New Submission Deadline - June 22,2015 Message-ID: Call for EDOC 2015 Demonstrations - New Submission Deadline - June 22,2015 The IEEE EDOC 2015 Demonstration Track offers an exciting and highly interactive way to present prototypes and applications in the context of enterprise computing. Prototypes and applications may originate either from research projects or from industry. Proposals for demonstrations should focus on innovative concepts or technologies that address models, methodologies, and engineering technologies contributing to intra- and inter-enterprise application systems. Authors of accepted conference papers are also invited to propose demonstrations of their work. Topics of Interest Areas of interest for demonstrations include all topics of the IEEE EDOC conference. Specific topics of interest include but are not limited to: Business Process Management (BPM) Business Intelligence and Analytics Big Data Enterprise Architecture and Enterprise Application Architecture Model-based Approaches Service-oriented Architectures (SOA) and Enterprise Service Architectures (ESA) Governance in Service-oriented Architectures Information Integration and Interoperability Enterprise Applications Deployment and Governance Demo Submissions Demonstration paper submissions are invited for potential inclusion in the demonstration track. Demonstration papers should address the following topics in no more than 4 pages: Title and authors Abstract: A brief description of the prototype or application, together with a statement on how conference participants benefit from attending the demonstration System overview Summary of innovative concepts and significance for the EDOC domain as well as functions or features to be demonstrated. If applicable, include brief descriptions of case studies performed using the prototype or application, provide scalability data or pointers indicating where readers can find more information about these case studies. Link (optional): A link to a Web page where to download or use the tool. Additionally, authors may provide a link to a short online video or screencast not exceeding 6 minutes in length (hard limit) of their demonstration. The video is recommended, not mandatory. The video must be playable using a wide variety of media players. 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). The demonstration track committee will review all submissions. Accepted demonstration papers are published in post workshop proceedings of the IEEE EDOC conference by the IEEE Computer Society Press and be made accessible through IEEE Xplore and the IEEE Computer Society Digital Library. At least one presenter of each accepted demonstration must register for the conference and be in attendance to present the demonstration. Please submit your demo paper per email to the Demo PC Chairs. Contact details are below. Important Dates Deadline for demo submissions: 22nd June 2015 Notification of acceptance: 9th August 2015 Camera-ready papers deadline: 27th August 2015 Demonstration Program Chairs Chee-Fon Chang, University of Wollongong, Australia Matt Selway, University of South Australia, Australia Contacts: cfchang[at]uow.edu.au, matt.selway[at]mymail.unisa.edu.au Demonstration Committee Marco Brambilla, Politecnico di Milano, Italy Ross Brown, Queensland University of Technology, Australia Jens Kolb, Ulm University, Germany Oliver Kopp, University of Stuttgart, Germany Hajo A. Reijers, VU University Amsterdam, The Netherlands Henrik Leopold, VU University Amsterdam, The Netherlands Maria Leitner, Austrian Institute of Technology, Austria Matthias Weidlich, Imperial College London, United Kingdom Jos? Ra?l Romero, University of C?rdoba, Spain Maarten Wegdam, Innovalor, The Netherlands Gregor Grambow, Ulm University, Germany Zhiqiang Yan, Tsinghua University, China Sven Graupner, Hewlett-Packard Laboratories, Palo Alto, USA For further information please see EDOC 2015 website: http://edoc2015.unisa.edu.au -------------- next part -------------- An HTML attachment was scrubbed... URL: From winter at se.uni-oldenburg.de Fri May 15 08:28:53 2015 From: winter at se.uni-oldenburg.de (Andreas Winter) Date: Fri, 15 May 2015 08:28:53 +0200 Subject: [fg-arc] MESOCSA 2015 - Call for Papers! In-Reply-To: References: Message-ID: <9AAC68A9-AD19-400C-ADB0-2C6351C0EAED@se.uni-oldenburg.de> CALL FOR PAPERS MESOCA 2015 2015 IEEE 9th International Symposium on the Maintenance and Evolution of Service-Oriented Systems and Cloud-Based Environments October 2, 2015, Bremen, Germany http://mesoca.etil.ca/ BACKGROUND Two important areas substantially influence software development in today?s global environment: Service Oriented Architecture (SOA) and Cloud Computing. From a maintenance and evolution perspective, SOA is confronted with two important challenges: deployed service-oriented systems will have to be maintained and evolved, and legacy systems will continue to use service-orientation to make their legacy functionality available to other systems and applications. Cloud computing brings additional challenges such as privacy, security and lock-in, and offers the developer many deployment choices: private, public or hybrid deployments. On the other vein, Service Oriented Architectures and Cloud Computing also offer extensive support to analyze, maintain, and evolve legacy systems. Services defining fundamental functionality in e.g. reverse engineering, software analysis, and quality improvement can be orchestrated to provide reasonable and adaptive tool chains. SYMPOSIUM GOALS The main goal of MESOCA 2015 is to create a focal point and an ongoing forum for researchers and practitioners to share results and open issues in the areas of maintaining and evolving service-oriented and cloud-based systems or applying these techniques to software maintenance and evolution. We are interested in submissions from both industry and academia on all topics related to migration, maintenance, and evolution of service-oriented systems and cloud-based systems/environments including service and cloud oriented tool support. These include, but are not limited to: * Tools, techniques and methods to support migration to service-oriented architecture and cloud computing environments Tools, techniques and methods to support maintenance and evolution of service-oriented architecture and cloud computing systems * Tools, techniques and methods applying service oriented and cloud-based systems to software evolution * Evolution patterns of service-oriented and cloud-based systems * Transition patterns to service-oriented and cloud environments * Governance to support system evolution in service-oriented and cloud environments * Leverage of service-orientation best practices in cloud environments * Process models on the migration to service-oriented and cloud-based systems and/or on the maintenance of service-oriented and cloud-based systems * Case studies of migration to service-oriented and cloud environments * Model-Driven Engineering (MDE) for migration to SOA and cloud * Reengineering, identifying, and extracting legacy code for creating services and their implementation * Large-scale testing for service-oriented and cloud-based systems * Methods, tools and techniques to measure and ensure the Quality of Services in cloud-deployed systems * Methods, tools and techniques to achieve adaptation and automation in cloud-deployed systems We are soliciting two types of papers, as follows: * Full papers (up to 8 pages). Full papers can be research, evaluation or experience reports. Research papers describe novel and original solutions (theoretical, methodological or conceptual); evaluation papers evaluate or validate existing tools and methods through empirical studies, case studies, simulations, etc.; experience papers present experiences and challenges encountered in practice. * Short papers (up to 4 pages). Short papers can be position/vision papers that describe novel research positions, targets or approaches that go beyond current research and practice. PAPER SUBMISSION DETAILS All submitted papers will be peer-reviewed (single blind) by at least three program committee members. Papers must not have been previously published or concurrently submitted elsewhere. Accepted papers will appear in the symposium proceedings that will be published in the MESOCA 2015 proceedings, which will be available at the IEEE Digital Library. Papers must be formatted in the IEEE Transactions style (as described here: http://www.icsme.uni-bremen.de/formatting.php and must be submitted online via EasyChair https://easychair.org/conferences/?conf=mesoca2015. IMPORTANT DATES Submission Deadline: May 29, 2015 Acceptance Notification: July 3, 2015 Camera Ready: August 3, 2015 Symposium: October 2, 2015 ORGANIZATION General Chair Andreas Winter, Carl von Ossietzky University, Germany Program Chairs Mike Smit, Dalhousie University, Canada M. Ali Babar, University of Adelaide, Australia Steering Committee Grace A. Lewis, CMU Software Engineering Institute, USA Marin Litoiu, York University, Canada Anca Daniela Ionita, University Politechnica of Bucharest, Romania Program Committee Jens Borchers, Sopra Steria Consulting, Germany Hugo Bruneliere, Ecole des Mines de Nantes, France Jose Delgado, Technical University of Lisbon, Portugal Marios-Eleftherios Fokaefs, York University, Canada Jurriaan Hage, Universiteit Utrecht, The Netherlands Zhen Ming (Jack) Jiang, York University, Canada Yanguo Jing, London Metropolitan University, UK Ravi Khadka, Utrecht University, The Netherlands Jan Mendling, Wirtschaftsuniversit?t Wien, Austria Serge Mankovski, CA, USA Nabor Mendonca, University of Fortaleza, Brazil Hausi M?ller, University of Victoria, Canada Leire Orue-Echevarr?a, Tecnalia Research and Innovation, Spain Massimilano di Penta, University of Sannio, Italy Dana Petcu, West University of Timisoara, Romania Matthias Riebisch, Universit?t Hamburg, Germany Harry Sneed, ANECON GmbH, Austria Gabriel Tamura, Icesi University, Colombia Scott Tilley, Florida Institute of Technology, USA Norha Villegas, Icesi University, Colombia Gottfried Vossen, Universit?t M?nster, Germany Norman Wilde, University of West Florida, USA Symposium website: http://mesoca.etil.ca/ From grlmc at urv.cat Sun May 17 08:29:44 2015 From: grlmc at urv.cat (GRLMC) Date: Sun, 17 May 2015 08:29:44 +0200 Subject: [fg-arc] SLSP 2015: 2nd call for papers Message-ID: <9471F80DCA0349D2BCD40A9EC4673319@Carlos1> *To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line* ********************************************************************************** 3rd INTERNATIONAL CONFERENCE ON STATISTICAL LANGUAGE AND SPEECH PROCESSING SLSP 2015 Budapest, Hungary November 24-26, 2015 Organised by: Laboratory of Speech Acoustics Department of Telecommunications and Telematics Budapest University of Technology and Economics http://alpha.tmit.bme.hu/speech/ Research Group on Mathematical Linguistics (GRLMC) Rovira i Virgili University http://grammars.grlmc.com/SLSP2015/ ********************************************************************************** AIMS: SLSP is a yearly conference series aimed at promoting and displaying excellent research on the wide spectrum of statistical methods that are currently in use in computational language or speech processing. It aims at attracting contributions from both fields. Though there exist large, well-known conferences and workshops hosting contributions to any of these areas, SLSP is a more focused meeting where synergies between subdomains and people will hopefully happen. In SLSP 2015, significant room will be reserved to young scholars at the beginning of their career and particular focus will be put on methodology. VENUE: SLSP 2015 will take place in Budapest, on the banks of the Danube and an extensive UNESCO World Heritage site. The venue will be the Faculty of Electrical Engineering and Informatics of the Budapest University of Technology and Economics. SCOPE: The conference invites submissions discussing the employment of statistical models (including machine learning) within language and speech processing. Topics of either theoretical or applied interest include, but are not limited to: anaphora and coreference resolution authorship identification, plagiarism and spam filtering computer-aided translation corpora and language resources data mining and semantic web information extraction information retrieval knowledge representation and ontologies lexicons and dictionaries machine translation multimodal technologies natural language understanding neural representation of speech and language opinion mining and sentiment analysis parsing part-of-speech tagging question-answering systems semantic role labelling speaker identification and verification speech and language generation speech recognition speech synthesis speech transcription spelling correction spoken dialogue systems term extraction text categorisation text summarisation user modeling STRUCTURE: SLSP 2015 will consist of: invited talks invited tutorials peer-reviewed contributions INVITED SPEAKERS: Xavier Carreras (Xerox Research Centre Europe, Meylan, FR), tba Sebastian Riedel (University College London, UK), Embedding Probabilistic Logic for Machine Reading Steve Young (University of Cambridge, UK), Open-domain Statistical Spoken Dialogue Systems PROGRAMME COMMITTEE: Steven Abney (University of Michigan, Ann Arbor, USA) Roberto Basili (University of Rome Tor Vergata, Italy) Jean-Fran?ois Bonastre (University of Avignon, France) Jill Burstein (Educational Testing Service, Princeton, USA) Nicoletta Calzolari (National Research Council, Pisa, Italy) Kevin Bretonnel Cohen (University of Colorado, Denver, USA) W. Bruce Croft (University of Massachusetts, Amherst, USA) Marc Dymetman (Xerox Research Centre Europe, Meylan, France) Guillaume Gravier (IRISA, Rennes, France) Kadri Hacioglu (Sensory Inc., Santa Clara, USA) Udo Hahn (University of Jena, Germany) Thomas Hain (University of Sheffield, UK) Mark Hasegawa-Johnson (University of Illinois, Urbana, USA) Jing Jiang (Singapore Management University, Singapore) Tracy Holloway King (A9.com, Palo Alto, USA) Sadao Kurohashi (Kyoto University, Japan) Claudia Leacock (McGraw-Hill Education CTB, Monterey, USA) Mark Liberman (University of Pennsylvania, Philadelphia, USA) Carlos Mart?n?Vide (Rovira i Virgili University, Tarragona, Spain, chair) Alessandro Moschitti (University of Trento, Italy) Jian-Yun Nie (University of Montr?al, Canada) Maria Teresa Pazienza (University of Rome Tor Vergata, Italy) Adam Pease (IPsoft Inc., New York, USA) Fuchun Peng (Google Inc., Mountain View, USA) Bhiksha Raj (Carnegie Mellon University, Pittsburgh, USA) Javier Ram?rez (University of Granada, Spain) Paul Rayson (Lancaster University, UK) Dietrich Rebholz-Schuhmann (University of Zurich, Switzerland) Douglas A. Reynolds (Massachusetts Institute of Technology, Lexington, USA) Michael Riley (Google Inc., Mountain View, USA) Laurent Romary (INRIA, Saclay, France) Horacio Saggion (Pompeu Fabra University, Barcelona, Spain) David S?nchez (Rovira i Virgili University, Tarragona, Spain) Roser Saur? (Oxford University Press, Oxford, UK) Stefan Schulz (Medical University of Graz, Austria) Efstathios Stamatatos (University of the Aegean, Karlovassi, Greece) Yannis Stylianou (Toshiba Research Europe Ltd., Cambridge, UK) Maosong Sun (Tsinghua University, Beijing, China) Tomoki Toda (Nara Institute of Science and Technology, Japan) Yoshimasa Tsuruoka (University of Tokyo, Japan) Kl?ra Vicsi (Budapest University of Technology and Economics, Hungary) Enrique Vidal (Technical University of Valencia, Spain) Atro Voutilainen (University of Helsinki, Finland) Andy Way (Dublin City University, Ireland) Junichi Yamagishi (University of Edinburgh, UK) Luke Zettlemoyer (University of Washington, Seattle, USA) Pierre Zweigenbaum (LIMSI-CNRS, Orsay, France) ORGANISING COMMITTEE: Adrian Horia Dediu (Tarragona) Carlos Mart?n-Vide (Tarragona, co-chair) Gy?rgy Szasz?k (Budapest) Kl?ra Vicsi (Budapest, co-chair) Florentina Lilica Voicu (Tarragona) SUBMISSIONS: Authors are invited to submit non-anonymized papers in English presenting original and unpublished research. Papers should not exceed 12 single?spaced pages (including eventual appendices, references, proofs, etc.) and should be prepared according to the standard format for Springer Verlag's LNCS series (see http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0). Submissions have to be uploaded to: https://www.easychair.org/conferences/?conf=slsp2015 PUBLICATIONS: A volume of proceedings published by Springer in the LNCS/LNAI series will be available by the time of the conference. A special issue of a major journal will be later published containing peer-reviewed substantially extended versions of some of the papers contributed to the conference. Submissions to it will be by invitation. REGISTRATION: The registration form can be found at: http://grammars.grlmc.com/SLSP2015/Registration.php DEADLINES: Paper submission: June 23, 2015 (23:59 CET) Notification of paper acceptance or rejection: July 28, 2015 Final version of the paper for the LNCS/LNAI proceedings: August 11, 2015 Early registration: August 11, 2015 Late registration: November 10, 2015 Submission to the journal special issue: February 26, 2016 QUESTIONS AND FURTHER INFORMATION: florentinalilica.voicu at urv.cat POSTAL ADDRESS: SLSP 2015 Research Group on Mathematical Linguistics (GRLMC) Rovira i Virgili University Av. Catalunya, 35 43002 Tarragona, Spain Phone: +34 977 559 543 Fax: +34 977 558 386 ACKNOWLEDGEMENTS: Budapesti M?szaki ?s Gazdas?gtudom?nyi Egyetem Universitat Rovira i Virgili --- Este mensaje no contiene virus ni malware porque la protecci?n de avast! Antivirus est? activa. http://www.avast.com From zimmer at informatik.uni-halle.de Tue May 19 09:32:45 2015 From: zimmer at informatik.uni-halle.de (Prof. Dr. Wolf Zimmermann) Date: Tue, 19 May 2015 09:32:45 +0200 Subject: [fg-arc] ESOCC2015 - CfP - deadline extended until May 29th Message-ID: <555AE71D.1070804@informatik.uni-halle.de> Paper submission deadline ** extended ** until May 29th -------------------------------------------------------------------------------- ESOCC 2015 -------------------------------------------------------------------------------- Fourth European Conference on Service-Oriented and Cloud Computing Taormina (Messina), Italy, 15-17 September, 2015 http://esocc2015.unime.it supported by IFIP WG 2.14/6.12/8.10 -------------------------------------------------------------------------------- CALL FOR PAPERS The European Conference on Service-Oriented and Cloud Computing (ESOCC) is the premier conference on the advances in the state of the art and practice of Service-Oriented Computing and Cloud Computing in Europe. ESOCC has evolved from the ECOWS (European Conference on Web Services) conference series, after the Steering Committee decided to renew and broaden its scope, and to start a new conference series on advanced topics of service-oriented and Cloud computing. The first edition of the new series, ESSOC 2012, was successfully held in Bertinoro, Italy, the second edition, ESOCC 2013, was held in Malaga, Spain, the third edition, ESOCC 2014 was held in Manchester, UK and will be continued by ESOCC 2015 in Taormina (Messina), Italy. The main objectives of this conference are to facilitate the exchange between researchers and practitioners in the areas of SOC and Cloud Computing and to foster future collaborations in Europe and beyond. ESOCC 2015 will include invited talks, presentations of selected research papers, industrial, business model (BM) and work in progress (WIP) tracks papers with the participation of top researchers from academia and industry. ESOCC 2015 will also include a PhD Symposium and a series of satellite workshops. -------------------------------------------------------------------------------- BACKGROUND The continued success of service-oriented distributed applications has shown that tightly coupled software systems may be useful for niche markets, whereas loosely coupled software systems have proven to be more flexible, adaptive and often more appropriate for practical applications. Loose coupling makes it easier for a given system to interact with other system components (including legacy systems) that have been developed independently somewhere in a heterogeneous universe of services. Thus, service-oriented applications can evolve more easily during their lifespan and adapt better to changing or even unpredictable environments. In such scenarios, cloud computing enables a new execution paradigm for distributed software applications where resources can be shared, optimally realized as well as utilized and exchanged between heterogeneous execution platforms and the cloud, so as to achieve fast response times and to ensure immersive and non-interrupted user experience. Services today are developed independently, deployed as well as freely composed, and they can be implemented in a variety of technologies a fact which is of particular importance from a business perspective. Similarly, cloud computing aims at enabling mobility as well as device, platform and/or service independence by offering centralized sharing of resources. It promotes interoperability, portability and security standards, and raises a completely new set of security issues. On the implementation side, essential agreement has been reached on integration technologies and consensus has emerged in today's middleware market. Customers use Web technologies extensively; however, service developers, providers, and integrators need to create methods, tools and techniques to support cost-effective and secure development and use of dependable devices, platforms, services and service-oriented applications in the Cloud. -------------------------------------------------------------------------------- TOPICS OF INTEREST ESOCC 2015 seeks original, high quality papers related to all aspects of Service-Oriented and Cloud Computing. Topics of interest to the Research, Industry, BM, and WIP Tracks include, but are not limited, to: - Agile Computing - DevOps in the Cloud - Social and Crowd-based Cloud - Smart Cities Services and Applications - IoT Services and IoT Clouds - Mobile Clouds and Mobile Services - Business Process Management and Services - Cloud Services Management and Composition - Dynamic and Adaptive Services - Economic and Business Models for Services - Enterprise Architecture and Services - Emerging Trends of Service Composition and Mashups - Experience reports of novel applications of Service-Oriented and Cloud Computing in Health, Commerce, Finance, Telecom, Scientific Computing and other domains - Service Modeling, Analysis, and Design - Formal Methods for Services - Frameworks for Building Service Based Applications - Architectural Models for Cloud Computing - Identity and Access Management using Services - Model-Driven Service Engineering - Next Generation Services Middleware and Service Repositories - Service quality and service interface design guidelines - RESTful Clouds and Services - Self-Organizing Service Oriented and Cloud Architectures - Service-Oriented Business Collaboration - Service Governance - Service Marketplaces - Services Life-Cycles - Services Security and Privacy - Big Data Management - Crowdsourcing Business Services - Cloud Interoperability and Federation - Emerging Trends in Storage, Computation and Network Clouds - Cloud Computing Business Models - Service Science ESOCC 2015 solicits both new research papers (in the main track and BM), papers on early research initiatives in WIP, as well as reports on practical experiences from industry (industry track). However, papers on existing products or product marketing information are not within the scope of the ESOCC 2015 Industry Track. CALL FOR WORKSHOPS & PhD SYMPOSIUM ESOCC 2015 Workshops provide an opportunity for participants to discuss specific topics in the Service-Oriented and Cloud Computing related domains. ESOCC 2015 PhD Symposium is an international forum for PhD students working in any of the topics of the ESOCC conference. -------------------------------------------------------------------------------- SUBMISSIONS Original papers, not submitted for publication elsewhere, can be submitted via http://ocs.springer.com/ocs/en/home/ESOCC2015 - Research papers - Industry-Track papers - Business Model Track papers - Work In Progress (WIP) Track papers - PhD Symposium submissions Workshop proposals via email to: Antonio Celesti Philipp Leitner Paper submissions should be formatted according to the LNCS proceedings guidelines and the templates available at http://www.springer.com/computer/Incs?SGWID=0-164-6-793341-0 and they should not exceed 15 pages. A paper might be accepted as a full paper (15 pages), as a short paper (8 pages) or as a poster (a 2-page abstract in the proceedings). Conference proceedings will be published by Springer in the Lecture Notes in Computer Science series. -------------------------------------------------------------------------------- IMPORTANT DATES Research papers Submission: 29 May 2015 (** extended **) Notification: 19 June 2015 Final version: 26 June 2015 Industrial papers Submission: 29 May 2015 (** extended **) Notification: 19 June 2015 Final version: 26 June 2015 Business Model papers Submission: 29 May 2015 (** extended **) Notification: 19 June 2015 Final version: 26 June 2015 Work In Progress papers Submission: 29 May 2015 (** extended **) Notification: 19 June 2015 Final version: 26 June 2015 PhD Symposium papers Submission: 1 August 2015 Notification: 15 August 2015 Final version: 22 August 2015 Workshop proposals Submission: 20 March 2015 Notification: 27 March 2015 -------------------------------------------------------------------------------- ORGANIZATION General Chair: * Massimo Villari, Universit? di Messina, Italy Program Chairs: * Schahram Dustdar, TU Wien, Austria * Frank Leymann, University of Stuttgart, Germany Publicity Chair: * Cesare Pautasso, University of Lugano, Switzerland EU Projects Track Chairs: * Antonio Brogi, University of Pisa, Italy * Silvana Muscella, CloudWATCH Coordinator, Italy Business Model Track Chair: * Paul Grefen, Eindhoven University of Technology Industry Track Chairs: * Andreas Roth, SAP * Stefano De Panfilis, Engineering Ingegneria Informatica S.p.A., Italy Work In Progress (WIP) Track Chair: * Orazio Tomarchio, Universit? di Catania, Italy Workshop Chairs: * Antonio Celesti, Universit? di Messina, Italy * Philipp Leitner, University of Zurich, Switzerland Ph.D. Symposium Chairs: * Gianluigi Zavattaro, University of Bologna, Italy * Wolf Zimmermann, University of Halle, Germany ESOCC 2015 Program Committee: * Marco Aiello, University of Groningen, the Netherlands * Farhad Arbab, CWI, The Netherlands * Luciano Baresi, Politecnico di Milano, Italy * Mario Bravetti, University of Bologna, Italy * Antonio Brogi, University of Pisa, Italy * Christoph Bussler, Xtime, Inc., USA * Javier Cubo, University of Malaga, Spain * Eric Dubois, CRP Henri Tudor Service Science and Innovation (SSI), Luxemburg * Juergen Dunkel, FH Hannover, Germany * Schahram Dustdar, TU Wien, Austria * Rik Eshuis, Eindhoven Univ. of Technology, The Netherlands * David Eyers, University of Otago, New Zealand * George Feuerlicht, Prague University of Economics, Czech Republic * Claude Godart, Universiy of Lorraine, France * Paul Grefen, Eindhoven University of Technology * Michael Goedicke, University of Duisburg-Essen, Germany * Thomas Gschwind, IBM Zurich Research Lab, Switzerland * Martin Henkel, Stockholm University, Sweden * Dionisis Kehagias, CERTH-ITI, Greece * Kung Kiu Lau, University of Manchester, UK * Birgitta Koenig-Ries, Universitaet Jena, Germany * Ernoe Kovacs, NEC Europe Network Labs, Germany * Akhil Kumar, Pennsylvania State University, USA * Peep Kungas, University of Tartu, Estonia * Patricia Lago, VU University Amsterdam, The Netherlands * Winfried Lamersdorf, Uni Hamburg, Germany * Welf Loewe, Linnaeus University, Sweden * Heiko Ludwig, IBM Research, USA * Ingo Melzer, DaimlerChrysler Research, Germany * Roy Oberhauser, Aalen University, Germany * Guadalupe Ortiz, University of Cadiz, Spain * Claus Pahl, Dublin City University, Ireland * George Papadopoulos, University of Cyprus * Cesare Pautasso, University of Lugano, Switzerland * Willy Picard, University of Economics, Pozna??, Poland * Ernesto Pimentel, University of Malaga, Spain * Wolfgang Reisig, Humbold-Universitaet Berlin, Germany * Ulf Schreier, Univ. of Applied Sciences Furtwangen, Germany * Rainer Unland, University of Duisburg-Essen, Germany * Massimo Villari, University of Messina, Italy * Erik Wilde, UC Berkeley, USA * Gianluigi Zavattaro, University of Bologna, Italy * Olaf Zimmermann, HSR FHO Rapperswil, Switzerland * Wolf Zimmermann, University Halle, Germany * Christian Zirpins, KIT/Seeburger AG, Karlsruhe, Germany Local Organization Committee: * Dario Bruneo, Universit? di Messina, Italy * Maria Fazio. Universit? di Messina, Italy * Antonio Puliafito, Universit? di Messina, Italy * Marco Scarpa, Universit? di Messina, Italy ESOCC Steering Committee: * Antonio Brogi, University of Pisa, Italy * Schahram Dustdar, TU Wien, Austria * Paul Grefen, Eindhoven Univ. of Technology, The Netherlands * Winfried Lamersdorf, Uni Hamburg, Germany * Flavio de Paoli, University of Milano-Bicocca, Italy * Cesare Pautasso, University of Lugano, Switzerland * Ernesto Pimentel, University of Malaga, Spain * Ulf Schreier, Hochschule Furtwangen University, Germany * John Erik Wittern, IBM T.J.Watson Research Center, USA * Gianluigi Zavattaro, University of Bologna, Italy * Olaf Zimmermann, HSR FHO Rapperswil, Switzerland * Wolf Zimmermann, University of Halle, Germany CONTACT INFORMATION * esocc2015[at]unime.it *http://esocc2015.unime.it/ * Follow us on twitter @esocc From aali at ltu.edu Tue May 19 11:57:25 2015 From: aali at ltu.edu (Ahad Ali) Date: Tue, 19 May 2015 05:57:25 -0400 Subject: [fg-arc] 2015 IEOM Orlando Conference - Submission Deadline extended to May 31st Message-ID: 2015 IEOM Orlando Conference - Submission Deadline extended to May 31st IEOM International Conference on Operations Excellence & Service Engineering Orlando, Florida, USA September 10-11, 2015 Venue: Rosen Plaza Hotel, International Drive www.iieom.org/icmoe2015/ Deadline: May 31, 2015 The IEOM Society is organizing an International Conference on Operations Excellence and Service Engineering to be held in Orlando, Florida during September 10-11, 2015. The venue is the Rosen Plaza Hotel - International Drive. The theme of the conference is "Achieving and Sustaining Excellence in Quality, Service and Operations". The conference provides a forum for academics, researchers and practitioners to exchange ideas and recent developments in the field of industrial engineering, service engineering, manufacturing engineering, systems engineering, operations research, engineering management, operations management and operations excellence. The event will advance theory and practice by fostering networking, collaboration and joint effort among the conference participants. You are invited to deliver a talk at the 2015 IEOM Orlando Conference. Presentation can be given with an abstract. Full paper is optional. Participants can present theoretical and applied research with abstract. All full papers will be subjected to double peer review. Accepted papers will be published in the CDROM Proceedings. With the great success of the Global Engineering Education Series at Dubai IEOM Conference, 2015 IEOM Orlando Conference will have a dedicated session on Global Engineering Education. A special focus will be given on Engineering Education in the Americas. Thirty six featured speakers will participate from various parts of the world and will address engineering education challenges and opportunities. Each speaker is required to submit a title of the presentation, abstract, a short biography and "head-shot" photo. All presentations will be included in the 2015 IEOM Orlando Conference proceedings and in the printed program booklet. If you are interested in delivering a presentation as a distinguished speaker at the 2015 IEOM Orlando Conference Global Engineering Education session, September 10-11, 2015, please contact Dr. Anwar Rahman rahman.industrial at gmail.com or Dr. Ahad Ali aali at ltu.edu (IEOM Orlando Conference Chairs). Details can be found in the website: http://iieom.org/icmoe2015/?page_id=183. IEOM Industry Solutions sessions will showcase the industrial case studies and their impacts of the industrial solutions using IE / OM tools and techniques (lean, six sigma, FMEA, simulation, design of experiments, optimization, TOC, PLM, CAE, statistical analysis, etc.) IEOM 2015 Orlando Conference will have a dedicated session for the Industry Solutions where distinguished practitioners provide their presentations including their experiences and journey to be successful. Twenty four speakers will be from various part of the world to address industrial challenges and opportunities for continuous improvement and sustainability. Each speaker needs to submit a title of the talk, abstract and a short bio as well as power point presentation prior to the conference. Speaker's bio, phone and title will be included in the printed conference program booklet. Details including presentations will be published in the CDROM proceedings and conference website. Keynote Speakers: . Dr. Helmuth Ludwig, Executive Vice President, Digital Enterprise Realization and Chief Manufacturing Officer, SIEMENS PLM Software . Dr. Pamela McCauley, Professor & Director of the Ergonomics Laboratory, Industrial Engineering and Management Systems Department, University of Central Florida, Orlando, USA . Dr. Miguel Gast?n Cedillo-Campos, Professor in Logistics Systems Dynamics, Senior Researcher, Mexican Institute of Transportation and Founding President, Mexican Logistics and Supply Chain Association (AML) ONLINE Submission Site: www.xcdsystem.com/icmoe2015/ Student competitions are arranged: http://iieom.org/icmoe2015/?page_id=344. Award certificates and cash prizes will be given for the first, second and third place winners for each category: Undergraduate Paper Competition sponsored by SIEMENS Graduate Paper Competition sponsored by EATON Senior Capstone Design Project / Final Year Project (FYP) Competition Details Undergraduate Research Competition Details High School STEM Project Competition Details Poster Competition The upcoming 2015 Orlando Conference will provide great value to the participants. You and your students are encouraged to participate in this event. Thanks for your attention. Regards, Dr. Anwar Rahman, University of Southern Mississippi Conference Chair rahman.industrial at gmail.com Dr. Ahad Ali, Lawrence Technological University Conference Co-Chair aali at ltu.edu Conference Site: www.iieom.org/icmoe2015/ -------------- next part -------------- An HTML attachment was scrubbed... URL: From grlmc at urv.cat Sat May 23 16:29:41 2015 From: grlmc at urv.cat (GRLMC) Date: Sat, 23 May 2015 16:29:41 +0200 Subject: [fg-arc] InfoSec 2015: registration deadline 3 June Message-ID: *To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line* ********************************************************************** INTERNATIONAL SUMMER SCHOOL ON INFORMATION SECURITY InfoSec 2015 Bilbao, Spain July 6-10, 2015 Organized by Deusto University Rovira i Virgili University http://grammars.grlmc.com/InfoSec2015/ ********************************************************************** --- 6th registration deadline: June 3, 2015 --- ********************************************************************** AIM: InfoSec 2015 will be a major research training event addressed to graduates and postgraduates in the first steps of their academic career. With a global scope, it aims at updating them about the most recent advances in the critical and fast developing area of information security, which covers a large spectrum of current exciting academic research and industrial innovation. It refers to procedures to defend information from unauthorized access, use, modification, recording or destruction, with a critical role to play in order to avoid or minimize risks in the digital world. Renowned academics and industry pioneers will lecture and share their views with the audience. Most information security subareas will be displayed, namely: computer security, cryptography, privacy, cyber security, mobile security, network security, world wide web security, fraud prevention, data protection, etc. Main challenges of information security will be identified through 4 keynote lectures, 28 six-hour courses, and 1 round table, which will tackle the most active and promising topics. The organizers believe outstanding speakers will attract the brightest and most motivated students. Interaction will be a main component of the event. An open session will give participants the opportunity to present their own work in progress in 5 minutes. ADDRESSED TO: Graduates and postgraduates from around the world. There are no formal pre-requisites in terms of academic degrees. However, since there will be differences in the course levels, specific background knowledge may be required for some of them. InfoSec 2015 is also appropriate for more senior people who want to keep themselves updated on recent developments and future trends. They will surely find it fruitful to listen and discuss with major researchers, industry leaders and innovators. REGIME: In addition to keynotes, 3-4 courses will run in parallel during the whole event. Participants will be able to freely choose the courses they will be willing to attend as well as to move from one to another. VENUE: InfoSec 2015 will take place in Bilbao, the capital of the Basque Country region, famous for its gastronomy and the seat of the Guggenheim Museum. The venue will be: DeustoTech, School of Engineering Deusto University Avda. Universidades, 24 48014 Bilbao KEYNOTE SPEAKERS: Jan Camenisch (IBM Research, Zurich), Privacy in a Digital World: a Lost Cause? Hao Chen (University of California, Davis), (In)security of Mobile Apps in Untrusted Networks Jennifer Seberry (University of Wollongong), The Global Village: the Beginning of the Need for Computer Security [via videoconference] Gene Tsudik (University of California, Irvine), Off-line Proximity-based Social Networking PROFESSORS AND COURSES: N. Asokan (Aalto University), [intermediate] Mobile Security: Overview of Hardware Platform Security and Considerations of Usability Jan Camenisch (IBM Research, Zurich), [introductory/intermediate] Technologies to Protect Online Privacy Hao Chen (University of California, Davis), [intermediate/advanced] Security of the Mobile App Ecosystem Nicolas T. Courtois (University College London), [introductory/intermediate] Security of ECDSA in Bitcoin and Crypto Currency Claude Cr?peau (McGill University, Montr?al), [introductory/intermediate] Quantum Computation, Cryptography and Cryptanalysis Joan Daemen (ST Microelectronics Belgium, Diegem), [introductory/intermediate] Sponge Functions, Keccak and SHA-3 Sajal K. Das (Missouri University of Science and Technology, Rolla), [intermediate/advanced] Securing Cyber-Physical Systems: Challenges and Opportunities Sabrina De Capitani di Vimercati (University of Milan), [introductory/intermediate] Security and Privacy in the Cloud Herv? Debar (T?l?com SudParis), [introductory/intermediate] Detection and Reaction to Attacks: from Intrusion Detection to Cyber-Defense Rosario Gennaro (City University of New York), [intermediate/advanced] A Survey of Verifiable Delegation of Computation Trent Jaeger (Pennsylvania State University, University Park), [intermediate/advanced] How to Add Security Enforcement to Legacy Programs Antoine Joux (Pierre et Marie Curie University, Paris), [introductory/intermediate] Discrete Logarithms in Finite Fields Lars R. Knudsen (Technical University of Denmark, Lyngby), [introductory/intermediate] Block Ciphers: the Workhorses in Cryptography Songwu Lu (University of California, Los Angeles), [introductory/intermediate] Cellular Network Security: Issues and Defenses Catherine Meadows (Naval Research Laboratory, Washington DC), [introductory/intermediate] Formal Analysis of Cryptographic Protocols Nasir Memon (New York University), [introductory/intermediate] User Authentication Ethan L. Miller (University of California, Santa Cruz), [intermediate/advanced] Securing Stored Data in a Connected World Stefano Paraboschi (University of Bergamo), [introductory/intermediate] Data Protection in Network-enabled Systems Bart Preneel (KU Leuven), [introductory/intermediate] Cryptology: State of the Art and Research Challenges Jean-Jacques Quisquater (Catholic University of Louvain), [introductory/intermediate] The History of RSA: from Babylon to Smart Cards Shantanu Rane (Palo Alto Research Center), [introductory/intermediate] Privacy-preserving Data Analytics: Problems, Solutions and Challenges Mark Ryan (University of Birmingham), [introductory/intermediate] Designing Security Protocols: Electronic Voting, and Electronic Mail Stefan Saroiu (Microsoft Research, Redmond), [advanced] Protecting Data on Smartphones and Tablets Using Trusted Computing Milind Tambe (University of Southern California, Los Angeles), [introductory/intermediate] Introduction to the Emerging Science of Security Games Gene Tsudik (University of California, Irvine), [intermediate/advanced] Security and Privacy in Candidate Future Internet Architectures Yang Xiao (University of Alabama, Tuscaloosa), [introductory/advanced] Security in Smart Grids Wenyuan Xu (University of South Carolina, Columbia), [intermediate] Security and Privacy Analysis of Embedded Systems Yuliang Zheng (University of North Carolina, Charlotte), [introductory] Cryptography and the Future of Money OPEN SESSION An open session will collect 5-minute presentations of work in progress by participants. They should submit a half-page abstract containing title, authors, and summary of the research to adrian.dediu at urv.cat by June 29 at the latest. ORGANIZING COMMITTEE: Adrian Horia Dediu Carlos Mart?n-Vide (co-chair) Borja Sanz (co-chair) Florentina Lilica Voicu REGISTRATION: The registration form can be found at: http://grammars.grlmc.com/InfoSec2015/registration.php The selection of up to 8 courses requested in the registration template is only tentative and non-binding. For the sake of organization, it will be helpful to have an approximation of the respective demand for each course. Since the capacity of the venue is limited, registration requests will be processed on a first come first served basis. The registration period will be closed and the on-line registration facility disabled when the capacity of the venue will be complete. It is much recommended to register prior to the event. FEES: Fees are a flat rate covering the attendance to all courses during the week. There are several early registration deadlines. Fees depend on the registration deadline. ACCOMMODATION: Accommodation for participants is available at the Colegio Mayor Deusto (student hostel). Since there may exist problems to find accommodation in Bilbao at a reasonable price during the week of the event, the organizers' advice is to book as soon as possible, and anyway by May 27. To do it, write to Carlson Wagonlit Travel at estudiantesud at carlsonwagonlit.es CERTIFICATE: Participants will be delivered a certificate of attendance. QUESTIONS AND FURTHER INFORMATION: florentinalilica.voicu at urv.cat ACKNOWLEDGEMENTS: Deusto University Rovira i Virgili University --- Este mensaje no contiene virus ni malware porque la protecci?n de avast! Antivirus est? activa. http://www.avast.com From riebisch at informatik.uni-hamburg.de Tue May 26 14:03:43 2015 From: riebisch at informatik.uni-hamburg.de (Riebisch, Matthias) Date: Tue, 26 May 2015 12:03:43 +0000 Subject: [fg-arc] =?utf-8?q?Einladung_Jahrestagung_=E2=80=9EArchitekturen_?= =?utf-8?b?MjAxNeKAnCA5Li0xMC43LiBIYW1idXJn?= Message-ID: <2FF6F694-1E17-4A70-B8FB-931AADAD785B@exchange.informatik.uni-hamburg.de> Liebe Mitglieder der GI-Fachgruppe Architekturen, liebe Architekturinteressierte am 9. und 10. Juli 2015 wird in Hamburg unsere Jahrestagung ?Architekturen 2015? stattfinden, die in diesem Jahr unter dem Motto ?Softwarearchitekturen f?r digitale Dienstleistungen? steht. Auch in diesem Jahr haben wir ein abwechslungsreiches und spannendes Vortragsprogramm f?r Sie zusammengestellt, von dem wir hoffen, dass es Ihre Neugier weckt. Zus?tzlich treffen sich am 9. Juli einige Arbeitskreise, die der Fachgruppe angegliedert sind. F?r den Abend des 9. Juli erwartet Sie au?erdem ein attraktives Rahmenprogramm. Bitte besuchen Sie unsere Webseite unter http://fg-arc.gi.de/veranstaltungen/architekturen-2015.html und melden Sie sich dort an. Wir w?rden uns freuen, Sie im Juli hier in Hamburg begr??en zu k?nnen. Mit herzlichen Gr??en Ulrike Steffens und Matthias Riebisch -- Prof. Dr.-Ing. habil. Matthias Riebisch Universitaet Hamburg, MIN-Fakultaet, FB Informatik, Software-Entwicklungs- und Konstruktionsmethoden (SWK) Phone +494042883-2427, Sec -2312, Fax -2311 riebisch at informatik.uni-hamburg.de PGP: 0xdedad5543adefe39 http://swk-www.informatik.uni-hamburg.de -------------- next part -------------- A non-text attachment was scrubbed... Name: signature.asc Type: application/pgp-signature Size: 496 bytes Desc: Message signed with OpenPGP using GPGMail URL: From van.hoorn at informatik.uni-stuttgart.de Tue May 26 23:42:38 2015 From: van.hoorn at informatik.uni-stuttgart.de (Andre van Hoorn) Date: Tue, 26 May 2015 23:42:38 +0200 Subject: [fg-arc] Deadline Extension --- QUDOS 2015: Workshop on Quality-aware DevOps @ ESEC/FSE Message-ID: <5564E8CE.3030605@informatik.uni-stuttgart.de> ------------------------------------------------------------------------ CALL FOR PAPERS QUDOS 2015 1st International Workshop on Quality-Aware DevOps Co-located with the 10th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE 2015) Bergamo, Italy September 1, 2015 http://qudos2015.fortiss.org/ ------------------------------------------------------------------------ IMPORTANT DATES Paper submission deadline June 15, 2015 (extended) Paper notification June 29, 2015 Workshop date September 1, 2015 ------------------------------------------------------------------------ SCOPE AND TOPICS DevOps has emerged in recent years as a set of principles and practices for smoothing out the gap between development and operations, thus enabling faster release cycles for complex IT services. Common tools and methods used in DevOps include infrastructure as code, automation through deep modeling of systems, continuous deployment, and continuous integration. As of today, software engineering research has mainly explored these problems from a functional perspective, trying to increase the benefits and generality of these methods for the end users. However, this has left behind the definition of methods and tools for DevOps to assess predict and verify quality dimensions. The QUDOS workshop focuses on the problem of how to best define and integrate quality assurance methods and tools in DevOps. Quality covers a broadly-defined set of dimensions including performance, reliability, safety, survivability, cost of ownership, among others. To answer this question, the QUDOS workshop wants to bring together experts from academia and industry working in areas such as quality assurance, agile software engineering, and model-based development. The goal is to identify and disseminate novel quality-aware approaches to DevOps. Topics of interest include, but are not limited to: * Foundations of quality assurance in DevOps: Methodologies; Integration with life-cycle management; Automated tool chains, Architecture patterns; etc. * Quality assurance in the development phase: Software models in early software development phases; Languages, annotations and profiles for quality assurance; Quality analysis and prediction; Optimization-based architecture design; Architectural improvements; Performance anti-pattern detection; Traceability and versioning; Software regression and testing; Performance change detection; etc. * Quality assurance during operation: Application performance monitoring; Model-driven performance measurement and benchmarking; Feedback-based quality assurance; Capacity planning and forecasting; etc. * Applications of DevOps: Case studies in cloud computing, big data, and smart cyber-physical systems; Standardization and interoperability; Novel application domains. * All other topics related to quality-aware DevOps For more details, please visit: http://qudos2015.fortiss.org/ ------------------------------------------------------------------------ ORGANIZING COMMITTEE Workshop Chairs Danilo Ardagna, Politecnico di Milano, Italy Andreas Brunnert, fortiss GmbH, Germany Giuliano Casale, Imperial College London, UK Andre van Hoorn, University of Stuttgart, Germany Program Committee Varsha Apte, IIT Bombay, India Matej Artac, XLAB, Slovenia Simona Bernardi, Centro Universitario de la Defensa, AGM, Spain Andre Bondi, Siemens Corporate Research, USA Francesco D'Andria, ATOS, Spain Wilhelm Hasselbring, Kiel University, Germany Samuel Kounev, University of Wuerzburg, Germany Klaus-Dieter Lange, HP, USA Zhen Ming (Jack) Jiang, York University, Canada Manoj Nambiar, Tata Consultancy Services, India Richard Paige, University of York, UK Dana Petcu, IEAT, Romania Dorina Petriu, Carleton University, Canada Meikel Poess, Oracle Corporation, USA Matteo Rossi, Politecnico di Milano, Italy Arnor Solberg, SINTEF, Norway Catia Trubiani, Gran Sasso Science Institute, Italy Petr Tuma, Charles University of Prague, Czech Republic Liming Zhu, NICTA, Australia ------------------------------------------------------------------------ SUBMISSION GUIDELINES Authors are invited to submit original, unpublished papers that are not being considered in another forum. We solicit full papers (max 6 pages), short tool papers (max 2 pages), and extended abstracts overviewing a related project (max 1 page). A special session will be organised to showcase project posters for the extended abstracts. All submissions must conform to the ACM conference format. Each submission will be reviewed by at least two members of the Program Committee. Papers should be submitted via EasyChair at: https://easychair.org/conferences/?conf=qudos2015 At least one author of each accepted paper is required to attend the workshop and present the paper. Presented papers will be published in the ESEC/FSE 2015 proceedings that will be published by ACM and included in the ACM Digital Library. ------------------------------------------------------------------------ SUPPORT The QUDOS workshop is supported by the Research Group of the Standard Performance Evaluation Corporation (SPEC RG, research.spec.org) and by the consortia of two EU projects, MODAClouds (modaclouds.eu) and DICE (dice-h2020.eu). -- Dr.-Ing. Andr? van Hoorn University of Stuttgart, Inst. of Software Technology Reliable Software Systems (RSS) Group Universit?tsstra?e 38, D-70569 Stuttgart, Germany Room: 1.336 Phone: +49 (0)711 685-88-252, Fax: -472 E-Mail: van.hoorn at informatik.uni-stuttgart.de http://www.iste.uni-stuttgart.de/rss/people/vanhoorn/ http://kieker-monitoring.net/, http://research.spec.org/ From alexander.perucci at graduate.univaq.it Wed May 27 11:33:11 2015 From: alexander.perucci at graduate.univaq.it (alexander.perucci at graduate.univaq.it) Date: Wed, 27 May 2015 11:33:11 +0200 (CEST) Subject: [fg-arc] SCART 2015 at SEFM 2015 - Submission Deadline Reminder - Springer JISA Thematic Series Invited Papers Message-ID: <1752566206.41.1432719159949.JavaMail.Alexander@XPS> [Apologies for multiple postings] -- Call for Papers -- SCART 2015: 1st International Workshop on the ART of Software Composition, co-located with SEFM 2015 ? York, UK. SCART 2015 (http://scart2015.disim.univaq.it/) provides the opportunity for discussing how the FI affects the traditional SE methods and tools, and how facing its complexity in terms of scalability, heterogeneity, and dinamicity promotes the integration of FM within SE practices. We seek answers on how the rigorousness of FM assists software engineers while designing, developing, validating and operating software systems for the FI, which are build via correct-by-construction service composition. The workshop constitutes a forum for scientists and engineers in academia and industry to present and discuss their latest research and development. SCART 2015 welcomes research papers, experience papers and tool presentations; nevertheless, papers describing novel research contributions and innovative applications are of particular interest. Details on workshop goals and themes can be found at: http://scart2015.disim.univaq.it. Keynote by Paola Inverardi (Title and abstract to be announced) - http://scart2015.disim.univaq.it/?page_id=139 A thematic series on Service Composition for the Future Internet in the Springer Journal of Internet Services and Applications (JISA - http://www.jisajournal.com/about/update/SCFI) is devoted to SCART 2015. Selected participants will be invited to submit an extended version of their papers after the workshop. These extended versions will be reviewed by an international program committee, which will decide on their final publication on the thematic series. == IMPORTANT DATES == Paper submissions: May 22, 2015 Notification of authors: June 19, 2015 Camera-ready copies: July 3, 2015 == PAPER SUBMISSION == Workshop papers must follow the SEFM 2015 Format and Submission Guidelines: http://www.cs.york.ac.uk/sefm2015/ Each submitted paper will undergo a formal peer review process by at least 3 PC members. Contributions can be: Regular papers (maximum 12 pages): In this category fall those contributions which propose novel research contributions, address challenging problems with innovative ideas, or offer practical contributions in the application of FM and SE approaches for building FI applications via software composition. Regular papers should clearly describe the situation or problem tackled, the relevant state of the art, the position or solution suggested and the potential benefits of the contribution. Short papers (maximum 8 pages): This category includes tool demonstrations, position papers, industrial experiences and case-studies, well-pondered and sufficiently documented visionary papers. Authors of papers reporting industrial experiences are strongly encouraged to make their experimental results available for use by reviewers. Similarly, case-study papers should describe significant case-studies and the complete development should be made available for use by reviewers. Tool demonstration papers should explain enhancements made in comparison to previously published work. Authors of tool demonstration papers should make their tool available for use by reviewers. == Workshop Chairs == - Marco Autili, University of L'Aquila, Italy marco.autili at univaq.it - Alfredo Goldman, University of S?o Paulo, Brazil gold at ime.usp.br - Massimo Tivoli, University of L'Aquila, Italy, massimo.tivoli at univaq.it == Program Committee == - Domenico Bianculli, Univ. du Luxembourg - Gwen Sala?n, INRIA, Grenoble-Rhone-Alpes, France - Guglielmo De Angelis, CNR-IASI/ISTI, Italy - Ivica Crnkovic, M?lardalen University, Sweden - Joni da Silva Fraga, UFSC, Brazil (pending) - Kelly Rosa Braghetto, Univ. of S?o Paulo, Brazil - Luciano Baresi, Politecnico di Milano, Italy - Mauro Caporuscio, Politecnico di Milano, Italy - Miriam Capretz, Faculty of Western Eng., Canada - Nelson Souto Rosa, UFPE, Brazil - Nikolaos Georgantas, INRIA, Paris, France - Paola Inverardi, Univ. of L'Aquila, Italy - Pascal Poizat, Univ. Paris Ouest, France - Radu Calinescu, Univ. of York, UK - Schahram Dustdar, Univ. of Technology Wien, Austria == Publicity Chair == - Alexander Perucci, University of L'Aquila, Italy == Web Chair == - Amleto Di Salle, University of L'Aquila, Italy == List of topics (although not limited to) == - Specification, architecture, and design of software composition models - Software quality assurance for software composition - Verification and testing of software integration code - Adaptive software composition - Formal methods for automated software composition - Service-oriented and Component-based software composition - Non-functional properties of software composition - Automated software composition and coordination - Correct-by-construction software composition - Automated synthesis of software integration code - Model-driven software composition - Compositional theories for software composition - Patterns and frameworks for software composition engineering - Tools and methods for software composition engineering - Industrial experience in software composition - Empirical studies in software composition From alexander.perucci at graduate.univaq.it Wed May 27 11:45:20 2015 From: alexander.perucci at graduate.univaq.it (alexander.perucci at graduate.univaq.it) Date: Wed, 27 May 2015 11:45:20 +0200 (CEST) Subject: [fg-arc] FOCLASA 2015 @ CONCUR 2015 - 2nd Call For Papers Message-ID: <1617075435.41.1432719888941.JavaMail.Alexander@XPS> [Apologies for multiple postings] -- 2nd Call for Papers -- FOCLASA 2015: 14th International Workshop on Foundations of Coordination Languages and Self-Adaptive Systems http://foclasa.lcc.uma.es/ 5 September 2015, Madrid (Spain) In conjunction with CONCUR 2015 ============================================================== FOCLASA 2015 is a workshop colocated with the 25th International Conference on Concurrency Theory (CONCUR 2015 - http://mafalda.fdi.ucm.es/concur2015). The goal of the FOCLASA workshop is to put together researchers and practitioners to share and identify common problems, and to devise general solutions in the context of coordination languages and self-adaptive systems. == IMPORTANT DATES == 17 June 2015: Deadline for abstract submission 19 June 2015: Deadline for paper submission 20 July 2015: Notifications 3 August 2015: Final versions 5 September 2015: Workshop in Madrid == TOPICS OF INTEREST == * Theoretical models and frameworks for component and service coordination, service composition, service adaptation and concurrent system modeling. * Applications and usability studies for the aforementioned theoretical models, interaction and coordination challenges in decentralized self-adaptive systems and various application domains. * Languages and specification protocols for component and service interaction, their semantics, expressiveness, validation and verification, type checking, static and dynamic analysis. * "Software as a Service" models (e.g., cloud computing) and dynamic software architectures, such as self-adaptive and self-organizing systems. * Service composition and coordination for Future Internet applications, service orchestration and choreographies, related theories and methods, and possible model-driven development approaches. * Tools and environments for the development of concurrent and customizable self-monitoring, self-adaptive and self-organizing applications. * Algorithms, mathematical models and realization frameworks for quality-of-service observation, storage, history-based analysis in self-adaptive systems (queuing models, load balancing, fault-tolerance analysis, machine learning systems). * Formal methods for self-adaptive systems, stochastic modeling and analysis, reasoning under uncertainty, run-time synthesis. In particular, practice, experience and methodologies from the following areas are solicited as well: * Cloud computing * Service-oriented computing * Component-based systems * Grid computing * Large-scale distributed systems * Multi-agent systems * Peer-to-peer systems * Networked embedded systems * Business process modeling Survey works analysing and comparing literature on the topics of FOCLASA are also welcome. == PAPER SUBMISSION == Submissions must describe authors' original research work and their results. Description of work-in-progress with concrete results is also encouraged. The contributions should not exceed 15 pages in the EPTCS style (http://style.eptcs.org/) and should be submitted as Portable Document Format (PDF) files using the EasyChair submission site: http://www.easychair.org/conferences/?conf=foclasa2015 Submitting an abstract does not put any obligation on the authors to submit a full paper. Abstracts without an accompanying full paper by the paper submission deadline are automatically considered withdrawn. The authors are, however, encouraged to explicitly withdraw their abstract, if they decide not to submit a full paper. All submissions will be reviewed by an international program committee who will make a selection among the submissions based on the novelty, soundness and applicability of the presented ideas and results. Concurrent submissions to WS-FM/BEAT (a CONCUR co-located event - International Symposium on Web Services, Formal Methods and Behavioural Types - http://www.projects.science.uu.nl/WSFM- BEAT2015/index.php) and FOCLASA are allowed for those papers that may potentially enhance both venues. Authors of such double submissions should identify them to the Program Chairs at the time of submission (by choosing the "Regular paper submitted also to WS- FM/BEAT? category in the FOCLASA EasyChair site). Reviews may be shared between WS-FM/BEAT and FOCLASA. Submissions accepted by WS-FM/BEAT will be considered automatically withdrawn from FOCLASA. Concurrent submission to other venues (conferences, workshops or journal) and submission of papers under consideration elsewhere are not allowed. A printed version of the proceedings will be distributed among participants during the workshop. The proceedings of the workshop will be published as a separate volume. 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, we plan to have a special issue of an international scientific journal devoted to FOCLASA 2015. Selected participants will be invited to submit an extended version of their papers after the workshop. These extended versions will be reviewed by an international program committee, which will decide on their final publication on the special issue. In the last few editions of FOCLASA, a special issue of Science of Computer Programming has been dedicated to this workshop. == INVITED TALK == * Mario Bravetti (http://www.cs.unibo.it/~bravetti/) Title: Towards Dynamic Updates in Service Composition Abstract: We survey our work on choreographies and behavioural contracts in multiparty interactions. In particular theories of behavioural contracts are presented which enable reasoning about correct service composition (contract compliance) and service substitutability (contract refinement preorder) under different assumptions concerning service communication: synchronous communication with patient non-preemptable or impatient invocations, or asynchronous communication. Correspondingly, relations concerning behavioural contracts and choreographic descriptions are considered, where a contract for each communicating party is, e.g., derived by projection. Contract refinement relations are induced as the maximal preoders which preserve contract compliance and global traces. The obtained preorders are then characterized in terms of a new form of testing, called compliance testing (where not only tests must succeed but also the system under test), and compared with classical preorders. Moreover, recent work about adaptable choreographies and behavioural contracts is presented, where the theory above is extended to update mechanisms allowing choreographies/contracts to be modified at run-time by internal (self-adaptation) or external intervention. == PROGRAM COMMITTEE CHAIRS == * Jose Proenca iMinds-Distrinet, KU Leuven, Belgium and HASLab/INESC TEC, University of Minho, Portugal jose.proenca at cs.kuleuven.be * Massimo Tivoli University of L'Aquila, L'Aquila, Italy massimo.tivoli at univaq.it == PUBLICITY CHAIR == * Alexander Perucci, University of L'Aquila, Italy == PROGRAM COMMITTEE == * Farhad Arbab, CWI, The Netherlands * Marco Autili, Univ. of L'Aquila, Italy * Luis Barbosa, Universidade do Minho, Portugal * Steffen Becker, University of Paderborn, Germany * Javier Camara, Carnegie Mellon University, USA * Carlos Canal, University of Mal?ga, Spain * Carlos Cuesta, Rey Juan Carlos University, Spain * David Garlan, Carnegie Mellon University, USA * Alfredo Goldmann, University of S?o Paulo, Brazil * Keijo Heljanko, Aalto University, Finland * Jean-Marie Jacquet, University of Namur, Belgium * Christian Krause, SAP Innovation Center, Germany * Sun Meng, Peking University, China * Liliana Pasquale, University of Limerick, Ireland * Jose Proenca, iMinds-Distrinet and HASLab/INESC TEC, KU Leuven, Belgium * Marjan Sirjani, Reykjavik University, Iceland * Carolyn Talcott, SRI International, USA * Massimo Tivoli, University of L'Aquila, Italy * Mirko Viroli, University of Bologna, Italy == STEERING COMMITTEE == * Farhad Arbab, CWI, The Netherlands * Antonio Brogi, University of Pisa, Italy * Carlos Canal, University of Mal?ga, Spain * Jean-Marie Jacquet, University of Namur, Belgium * Ernesto Pimentel, University of Mal?ga, Spain * Gwen Salaun, Grenoble INP - INRIA Grenoble - LIG, France From alexander.perucci at graduate.univaq.it Wed May 27 12:05:04 2015 From: alexander.perucci at graduate.univaq.it (alexander.perucci at graduate.univaq.it) Date: Wed, 27 May 2015 12:05:04 +0200 (CEST) Subject: [fg-arc] [ERRATA CORRIGE] SCART 2015 at SEFM 2015 - Submission Deadline Extended - Springer JISA Thematic Series Invited Papers Message-ID: <2135772025.41.1432721073614.JavaMail.Alexander@XPS> [Apologies for multiple postings] -- Call for Papers -- SCART 2015: 1st International Workshop on the ART of Software Composition, co-located with SEFM 2015 ? York, UK. SCART 2015 (http://scart2015.disim.univaq.it/) provides the opportunity for discussing how the FI affects the traditional SE methods and tools, and how facing its complexity in terms of scalability, heterogeneity, and dinamicity promotes the integration of FM within SE practices. We seek answers on how the rigorousness of FM assists software engineers while designing, developing, validating and operating software systems for the FI, which are build via correct-by-construction service composition. The workshop constitutes a forum for scientists and engineers in academia and industry to present and discuss their latest research and development. SCART 2015 welcomes research papers, experience papers and tool presentations; nevertheless, papers describing novel research contributions and innovative applications are of particular interest. Details on workshop goals and themes can be found at: http://scart2015.disim.univaq.it. Keynote by Paola Inverardi (Title and abstract to be announced) - http://scart2015.disim.univaq.it/?page_id=139 A thematic series on Service Composition for the Future Internet in the Springer Journal of Internet Services and Applications (JISA - http://www.jisajournal.com/about/update/SCFI) is devoted to SCART 2015. Selected participants will be invited to submit an extended version of their papers after the workshop. These extended versions will be reviewed by an international program committee, which will decide on their final publication on the thematic series. == IMPORTANT DATES == Paper submissions: June 7, 2015 Notification of authors: June 24, 2015 Camera-ready copies: July 5, 2015 == PAPER SUBMISSION == Workshop papers must follow the SEFM 2015 Format and Submission Guidelines: http://www.cs.york.ac.uk/sefm2015/ Each submitted paper will undergo a formal peer review process by at least 3 PC members. Contributions can be: Regular papers (maximum 12 pages): In this category fall those contributions which propose novel research contributions, address challenging problems with innovative ideas, or offer practical contributions in the application of FM and SE approaches for building FI applications via software composition. Regular papers should clearly describe the situation or problem tackled, the relevant state of the art, the position or solution suggested and the potential benefits of the contribution. Short papers (maximum 8 pages): This category includes tool demonstrations, position papers, industrial experiences and case-studies, well-pondered and sufficiently documented visionary papers. Authors of papers reporting industrial experiences are strongly encouraged to make their experimental results available for use by reviewers. Similarly, case-study papers should describe significant case-studies and the complete development should be made available for use by reviewers. Tool demonstration papers should explain enhancements made in comparison to previously published work. Authors of tool demonstration papers should make their tool available for use by reviewers. == Workshop Chairs == - Marco Autili, University of L'Aquila, Italy marco.autili at univaq.it - Alfredo Goldman, University of S?o Paulo, Brazil gold at ime.usp.br - Massimo Tivoli, University of L'Aquila, Italy, massimo.tivoli at univaq.it == Program Committee == - Domenico Bianculli, Univ. du Luxembourg - Gwen Sala?n, INRIA, Grenoble-Rhone-Alpes, France - Guglielmo De Angelis, CNR-IASI/ISTI, Italy - Ivica Crnkovic, M?lardalen University, Sweden - Joni da Silva Fraga, UFSC, Brazil (pending) - Kelly Rosa Braghetto, Univ. of S?o Paulo, Brazil - Luciano Baresi, Politecnico di Milano, Italy - Mauro Caporuscio, Politecnico di Milano, Italy - Miriam Capretz, Faculty of Western Eng., Canada - Nelson Souto Rosa, UFPE, Brazil - Nikolaos Georgantas, INRIA, Paris, France - Paola Inverardi, Univ. of L'Aquila, Italy - Pascal Poizat, Univ. Paris Ouest, France - Radu Calinescu, Univ. of York, UK - Schahram Dustdar, Univ. of Technology Wien, Austria == Publicity Chair == - Alexander Perucci, University of L'Aquila, Italy == Web Chair == - Marco Autili, University of L?Aquila, Italy == List of topics (although not limited to) == - Specification, architecture, and design of software composition models - Software quality assurance for software composition - Verification and testing of software integration code - Adaptive software composition - Formal methods for automated software composition - Service-oriented and Component-based software composition - Non-functional properties of software composition - Automated software composition and coordination - Correct-by-construction software composition - Automated synthesis of software integration code - Model-driven software composition - Compositional theories for software composition - Patterns and frameworks for software composition engineering - Tools and methods for software composition engineering - Industrial experience in software composition - Empirical studies in software composition From marcel at ru.is Thu May 28 13:17:43 2015 From: marcel at ru.is (Marcel Kyas) Date: Thu, 28 May 2015 11:17:43 +0000 Subject: [fg-arc] iFM 2016: First Call for Workshop Proposals Message-ID: <1432811863.1400.1.camel@ru.is> *********************************************************************** ******* 12th International Conference on integrated Formal Methods, iFM 2016 http://ifm2016.ru.is June 1-5, 2016 - Reykjav?k, Iceland *********************************************************************** ******* CALL FOR AFFILIATED WORKSHOPS ============================= Prospective workshop organizers are invited to submit proposals for workshops to be affiliated to iFM 2016, on topics related to the conferences main subjects. About iFM --------- iFM 2016 is concerned with how the application of formal methods may involve modelling 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 modelling and analysis; i.e., the combination of (formal and semi-formal) methods for system development, regarding modelling and analysis, and covering all aspects from language design through verification and analysis techniques to tools and their integration into software engineering practice. One day workshops will be held in conjunction with the main events. Prospective workshop organizers are requested to follow the guidelines below and are encouraged to contact the workshop chairs if any questions arise. The purpose of the workshops is to provide participants with a friendly, interactive atmosphere for presenting novel ideas and discussing their application. The workshops take place on June 4-5, 2016. Important Dates --------------- Submission of workshop proposals: by July 20, 2015 Notification: by August 3, 2015 Workshops: June 4-5, 2016 Submission via e-mail --------------------- Marcel Kyas - Workshop chair Proposal and Submission Guidelines ---------------------------------- Workshop proposals must be written in English, not exceed 5 pages with a reasonable font and margins, and be submitted in PDF format via email to Marcel Kyas (marcel at ru.is). Proposals should include: * The name and the preferred date of the proposed workshop * A short description of the workshop. * If applicable, a description of past versions of the workshop, including dates, organizers, submission and acceptance counts, and attendance. * The publicity strategy that will be used by the workshop organizers to promote the workshop. * The participant solicitation and selection process. * The target audience and expected number of participants. * Approximate budget proposal (see section Budget below for details). * The equipment and any other resource necessary for the organization of the workshop. * The name and short CV of the organizer(s). * The publication plan (only invited speakers, no published proceedings, pre-/post-proceedings published with EPTCS/ENTCS/...). Organizers Responsibilities --------------------------- The scientific responsibility of organizing a workshop goes to the workshop organizers. In particular, they are responsible for the following items: * A workshop description (200 words) for inclusion n the iFM site. * Hosting and maintaining web pages to be linked from the iFM site. Workshop organizers can integrate their pages into the main iFM pages. * Workshop proceedings, if any. If there is sufficient interest, the organizer of iFM 2016 may contact the editor-in-chief of the Electronic Proceedings in Theoretical Computer Science (http://info.eptcs.org/) for having a common volume dedicated to the workshops of iFM 2016. * Workshop publicity (possibly including call for papers, submission and review process). * Scheduling workshop activities in collaboration with the iFM workshop chair. Budget ------ The iFM organization will provide registration and organizational support for the workshops (including link from the conferences web sites, set-up of meeting space, on-line and on-site registration). Registration fees must be paid for all participants, including organizers and invited guests. To cover lunches, coffee breaks and basic organizational expenses, all workshops will be required to charge a minimum participation fee (the precise amount is still to be determined). Each workshop may increase this fee to cover additional expenses such as publication charges, student scholarships, costs for invited speakers, etc. All fees will be collected by the iFM organizers as part of the registration, then additional funds will be redistributed to the individual workshop organizers. Evaluation Process ------------------ The proposals will be evaluated by the iFM organizing committee on the basis of their assessed benefit for prospective participants of iFM 2016. Prospective organizers may wish to consult the web pages of previous satellite events as examples: * iFM 2014: http://ifm2014.cs.unibo.it/workshops.html * iFM 2013: http://www.it.abo.fi/iFM2013/workshops_and_tutorials.php * iFM 2012: http://ifm-abz.isti.cnr.it/styled-4/speakers.html * iFM 2010: http://ifm2010.loria.fr/satellite.html * iFM 2009: http://www.formal-methods.de/ifm09/workshops.html Venue ----- iFM 2016 will take place at the Campus of Reykjav?k University, Iceland. The campus at Reykjav?k University is set in one of the most beautiful areas next to Iceland's only geothermal beach. The building has well equipped classrooms. Further Information and Enquiries --------------------------------- Please contact the workshop chair Marcel Kyas From Stephan.Fassbender at uni-due.de Thu May 28 14:06:37 2015 From: Stephan.Fassbender at uni-due.de (=?UTF-8?B?U3RlcGhhbiBGYcOfYmVuZGVy?=) Date: Thu, 28 May 2015 14:06:37 +0200 Subject: [fg-arc] VAQUITA Workshop at ECSA 2015: Deadline Extension! Message-ID: <556704CD.8010602@uni-due.de> Our apologies if you have received multiple copies. New deadlines are: *Paper submission: June 8, 2015* CALL FOR PAPERS VAQUITA 2015 - 1st International Workshop on Variability for Qualities in Software Architecture http://www.vaquita-workshop.org/ September 7, Dubrovnik/Cavtat, Croatia ======================================================================= * VAQUITA Workshop * ======================================================================= IMPORTANT DATES Paper submission: June 8, 2015 Notification: June 19, 2015 Camera ready: June 29, 2015 Workshop: September 7, 2015 ======================================================================= WORKSHOP THEME Many software systems are designed to support variability, either at design time or at runtime. Hence, variability is a key factor of most systems. Variability itself covers two dimensions: functional variability and variability in software qualities. While there are many works covering variability in functionality, there is a research gap regarding variability in software qualities. Obviously, this is an imbalance between the importance of variability in the context of quality attributes, and the intensity of research in this area. To improve this situation, the Workshop on Variability for Qualities in Software Architecture (VAQUITA) aims at investigating and stimulating the discourse about the matter of variability, qualities, and software architectures. VAQUITA offers researchers and practitioners a platform for exchanging ideas and experiences, analyzing research challenges, discussing open problems, and proposing promising solutions. VAQUITA will be run as a one-day workshop, and consists of an keynote talk, paper presentations and discussions, and a roadmap building session. The roadmap will be published as thought-provoking impulse and contribution to the software architecture community. === TOPICS ================================================ Topics addressed by VAQUITA are those which will promote discussion about advancing variability consideration for software qualities in software architecture. These include, but are not excluded to: -Modeling variability in the software architecture -Variability in quality attributes -Architectural patterns, styles, and tactics for variability -Identification of variability in quality attributes at the architecture level -Linking requirements engineering and software architectures in the context of variability and quality -Variability in qualities for reconfigurable and self-adaptive architectures -Use of aspect-oriented architectures for quality-based variability -Detecting and resolving conflicts among variants, especially regarding qualities -Interaction analysis for software product lines with respect to quality attributes -Managing interactions between design decisions and quality-based variability in the software architecture -Variability in quality attributes and optimization -Quality-centered evolution and variability -Variability across the software lifecycle with regard to qualities === SUBMISSION ================================================ All submissions must come in PDF format and conform, at time of submission, to the IEEE Formatting Guidelines. For details and templates see: http://www.ieee.org/conferences_events/conferences/publishing/templates.html Authors are invited to submit either research or position papers on the workshop topics. For research papers, VAQUITA accepts papers with six pages of content at maximum. One additional page is granted for the bibliography only, making it seven pages total for a research paper. For position papers, VAQUITA accepts four pages at maximum. The papers for the workshop will be selected from all submissions in a double blind review. Workshop papers must follow the ACM format and submission guidelines (http://www.acm.org/sigs/publications/proceedings-templates). Proceedings will be published in the ACM Digital Library. At least one author of an accepted paper has to register for the VAQUITA workshop and attend it. Abstracts and papers are expected to be submitted using the easychair submission system (https://www.easychair.org/conferences/?conf=vaquita2015). === ORGANIZATION COMMITTEE==================================================== Michael Goedicke (University of Duisburg-Essen) Maritta Heisel (University of Duisburg-Essen) Uwe Zdun (University of Vienna) Azadeh Alebrahim (University of Duisburg-Essen) Stephan Fa?bender (University of Duisburg-Essen) Martin Filipczyk (University of Duisburg-Essen) Main contact: Stephan Fa?bender Working group Software Engineering Department of Computational and Cognitive Science University of Duisburg-Essen, Germany stephan.fassbender at uni-due.de Oststr. 99 47057 Duisburg === PROGRAM COMMITTEE==================================================== David Ameller (Polytechnic University of Catalonia) Kristian Beckers (ITESYS) Amel Bennaceur (The Open University) Goetz Botterweck (Lero - The Irish Software Engineering Research Centre) Zoya Durdik (ABB Corporate Research) Frank Frey Nazila Gol Mohammadi (University of Duisburg-Essen) Volker Gruhn (University of Duisburg-Essen) Neil Harrison (Utah Valley University) Wilhelm Hasselbring (University of Kiel) Denis Hatebur (University of Duisburg-Essen) Uwe van Heesch (Hogeschool van Arnhem en Nijmegen) Sebastian Herold (Lero - The Irish Software Engineering Research Centre) Meiko Jensen (Independent Centre for Privacy Protection Schleswig-Holstein, Kiel) Anne Koziolek, Karlsruhe Institute of Technology Christian Kreiner (Graz University of Technology) Kim Lauenroth (adesso AG) Andreas Metzger (University of Duisburg-Essen) Klaus Pohl (University of Duisburg-Essen) Christopher Preschern (Bernecker + Rainer Industrie-Elektronik) Ralf Reussner (Karlsruhe Institute of Technology) Riccardo Scandariato (Chalmers University of Technology) Klaus Schmid (University of Hildesheim) Holger Schmidt (T?V) Amir Molzam Sharifloo (University of Duisburg-Essen) Thein Than Tun (The Open University) -- Dipl.-Wirt. Inform. Stephan Fa?bender University Duisburg-Essen Faculty of Engineering Department of Computer Science and Applied Cognitive Science Work Group Software Engineering Room BB 918, Oststrasse 99, 47057 Duisburg, Germany Phone: +49-(0)203/379-1075 Fax: +49-(0)203/379-4490 eMail: stephan.fassbender at uni-duisburg-essen.de -------------- next part -------------- An HTML attachment was scrubbed... URL: From apaiva at fe.up.pt Sat May 30 17:37:53 2015 From: apaiva at fe.up.pt (Ana Paiva) Date: Sat, 30 May 2015 16:37:53 +0100 Subject: [fg-arc] TESTBEDS 2015 - 6th International Workshop on Testing Techniques for Event BasED Software Message-ID: CALL FOR PAPERS TESTBEDS 2015 - 6th International Workshop on Testing Techniques for Event BasED Software http: //www.fe.up.pt/~testbeds15 November 10, Lincoln, Nebraska, USA Co-located with ASE 2015 ========================================= IMPORTANT DATES Paper Submission: July 3, 2015 Notification: July 24, 2015 Camera-Ready: August 31, 2015 ========================================= GENERAL THEME This workshop aims to bring together researchers from both Academia and Industry with the aim of sharing ideas and presenting research on the state of the art in testing techniques for event based software/systems (EBS). Examples of EBS include graphical user interfaces (GUIs), Web applications, mobile applications, network protocols, embedded software, Web services and device drivers.. === WORKSHOP PAPERS ================================================ TESTBEDS 2014 invites high quality contributions describing significant, original, and unpublished results. Solicited topics include, but are not limited to: ? Web and Web Service Testing ? Mobile Testing ? EBS Mutation Testing ? EBS Test Coverage Analysis ? EBS Testing Tools and Environments ? Test Patterns for EBS ? Model Based Testing of EBS ? EBS Regression Testing ? GUI Based Testing of EBS ? Testing of Embedded EBS ? Performance, Robustness and Security testing of EBS ? Industrial Experiences with EBS Automated Testing ? Experimentation and Benchmarking in EBS Testing Three categories of submissions are solicited: ? Research paper (8 pages) ? Position paper (4 pages) ? Tool demo paper (4 pages) ? Industry presentations (2 pages overview and 2 example slides) Submission: Each paper in the first three categories (full, position and demo) will be reviewed by at least three referees. Papers should be submitted as PDF files in standard ACM two-column conference format (Latex, Word). Industrial presentations are submitted in the form of a 2-page overview and 2 sample presentation slides as pdf files. They will be evaluated by at least two members of the Program Committee for relevance and soundness. Papers accepted for the workshop will appear in the ACM digital library, providing a lasting archived record of the workshop proceedings. Papers will be submitted through EasyChair . The authors of the best papers will be invited to submit extended versions for a special issue of the STVR (Software Testing, Verification and Reliability) journal. Organization: ? Ana C. R. Paiva, Faculty of Engineering of the University of Porto, Portugal ? Anna Rita Fasolino, University of Naples Federico II, Italy Program Committee ? Atif Memon, University of Maryland, USA ? Bruno Legeard, Universit? de Franche-Comt?, France ? Domenico Amalfitano, University of Naples Federico II, Italy ? Filippo Ricca, DIBRIS, Universit? di Genova, Italy ? Gregg Rothermel, University of Nebraska - Lincoln, USA ? Jos? Carlos Maldonado, Universidade de S?o Paulo, Brasil ? M?rcio Delamaro, Universidade de S?o Paulo, Brasil ? Myra Cohen, University of Nebraska - Lincoln, USA ? Pascoal Faria, Faculdade de Engenharia da Universidade do Porto, Portugal ? Renee Bryce, University of North Texas, USA ? Stephan Arlt, University of Freiburg, Germany -------------- next part -------------- An HTML attachment was scrubbed... URL: