From atkinson at informatik.uni-mannheim.de Mon May 2 16:54:05 2016 From: atkinson at informatik.uni-mannheim.de (Colin Atkinson) Date: Mon, 2 May 2016 16:54:05 +0200 Subject: [fg-arc] MULTI 2016 -- CALL FOR PAPERS Message-ID: The Third International Workshop on Multi-Level Modelling (MULTI 2015) co-located with the ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems (MODELS 2016) October 2-7, 2016, Saint-Marlo, France Homepage:http://swt4.informatik.uni-mannheim.de/multi-2016/ Contact:multi2016 at easychair.org Paper submission: July 17, 2016 Author notification: August 14, 2016 Proceedings online: September 19, 2016 As interest in multi-level modelling grows, and the range of multi-level modelling tools expands, there is growing interest in consolidating the key principles of the paradigm and clarifying the essential differences between heterogeneous approaches. Although multi-level modelling has now been used successfully in a variety of industrial projects and standards initiatives, there is still no clear consensus on what the paradigm actually entails and how it should be applied. For example, there are different views on whether it is sound to combine instance facets and type facets into so-called clabjects, whether strict metamodeling is too restrictive, and what tool architectures provide the best framework for modelling with multiple classification levels. This lack of a foundational consensus is mirrored by the lack of a common focus in current multi-level tools. Until these differences are resolved and the principles and practices of the approach are placed on a solid foundation, multi-level modelling will remain a niche technology and its user base will remain relatively small. GOAL The goal of MULTI 2016 is to address these challenges and continue the community building established in the previous workshops. In particular, the goal is to encourage the community to delineate different approaches to multi-level modelling and define objective ways to evaluate their respective strengths/weaknesses. One key way of addressing this goal is to identify standard/canonical examples specially designed to exercise the abilities of multi-level modelling approaches. Such examples could be the result of, or further support, an analysis of which high-level goals are addressed by multi-level modelling in general. We encourage submissions on new concepts, implementation approaches and formalisms as well as submissions on controversial positions, requirements for evaluation criteria or case-study scenarios. Contributions in the area of tool building, multi-level modelling applications, canonical examples and educational material are equally welcome. TOPICS Suggest topics include, but are not limited to - the exact nature and semantics of elements in a multi-level hierarchy and how best to represent them - the importance and role of potency and its variants such a durability and mutability - transitioning from traditional modelling approaches/tools to multi-level approaches - engineering domain-specific languages and complete tool support - methods and technique for discovering clabjects, specializations and classification relationships - formal approaches to multi-level modelling - challenges in providing tool support for multi-level modelling - experiences and challenges in applying multi-level modelling to large / real-world problems - model management languages (transformation, code generation etc.) in a multi-level setting - comparisons of multi-level and two-level solutions for modelling problems - criteria and approaches for comparing multi-level modelling approaches and evaluating their usability - canonical multi-level modelling examples and challenges - distinct and multiple viewpoints on multi-level models - methods for developing multi-level systems and languages - innovative systems architectures enabled by multi-level languages - multi-level modelling versus knowledge engineering and ontologies CONTRIBUTIONS Two kinds of papers are solicited: regular papers (max 10 pages), and position papers (max 5 pages), adhering to Springer LNCS style. Papers should be submitted via Easychair ( https://easychair.org/conferences/?conf=multi2016). Accepted papers will be published as CEUR workshop proceedings indexed in DBLP. ORGANIZERS Colin Atkinson (Germany) Tony Clark (UK) Georg Grossmann (Australia) PROGRAMM COMMITTEE Joao-Paulo Almeida (Brazil) Dirk Draheim (Austria) Ralph Gerbig (Germany) Alexander Egyed (Austria) Ulrich Frank (Germany) Martin Gogolla (Germany) Cesar Gonzalez-Perez (Spain) Esther Guerra (Spain) Hans-Georg Fill (Austria) Yngve Lamo (Norway) Stefan Jablonski (Germany) Manfred Jeusfeld (Sweden) Tomi Männistö (Finland) Wolfgang Pree (Austria) Alessandro Rossini (Norway) Michael Schrefl (Austria) Manuel Wimmer (Austria) Steffen Zschaler (UK) Jorn Bettin (Australia) PROGRAMM COMMITTEE Thomas Kühne (New Zealand) Juan de Lara (Spain) -- Prof. Dr. Colin Atkinson Software Engineering Group University of Mannheim B6, 26, C2.11 D-68131 Mannheim Tel.: +49 621 181 3911 www: http://swt.informatik.uni-mannheim.de -------------- next part -------------- An HTML attachment was scrubbed... URL: From mayerhofer at big.tuwien.ac.at Sun May 8 11:35:09 2016 From: mayerhofer at big.tuwien.ac.at (Mayerhofer Tanja) Date: Sun, 8 May 2016 09:35:09 +0000 Subject: [fg-arc] Call for Papers: 2nd International Workshop on Executable Modeling (EXE 2016) Message-ID: ------------------------------------------------------------------------ Call for Papers: 2nd International Workshop on Executable Modeling (EXE 2016) co-located with MODELS 2016, October, 2016, Saint-Malo, France http://www.modelexecution.org/exe2016 ------------------------------------------------------------------------ We are pleased to invite you to submit papers to the Second International Workshop on Executable Modeling (EXE 2016), held in conjunction with the ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems (MODELS) at Saint-Malo, France, in October, 2016. --------------------------- 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. Executable models 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. 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 2016 will provide a forum for researchers and practitioners to discuss these challenges and propose potential solutions, as well as to assess and advance the state-of-the-art in this area. Topics of interest for the workshop include but are not limited to the following: * Methodologies, languages, techniques, and methods for designing and implementing executable modeling languages * Model execution tools for the validation, verification, and testing of systems (e.g., model animation, debugging, simulation, trace exploration, model checking, symbolic execution) * Case studies and experience reports on the successful or failed adoption of executable modeling in different application domains and application contexts * Empirical investigations and evaluations of model execution tools * Executable modeling in education * Automation techniques for the development of model execution tools * Evolution in the context of executable modeling (e.g., evolution of executable modeling languages, execution semantics, executable models, model execution tools) * Verification of semantic conformance (e.g., among executable modeling languages, executable models, model execution tools) * Customization of executable modeling languages and model execution tools (e.g., semantic variation points, profiles) * Composition, extension, and reuse of executable modeling languages and model execution tools * Integration of executable modeling languages and programming languages * Semantics-aware model transformations and code generation * Scalability of model execution and execution-based model analysis * Execution of partial and underspecified models * Model execution in the presence of non-determinism and concurrency * Surveys and benchmarks of different approaches for the development of executable modeling languages, model execution, and execution-based model analysis --------------------------- Submissions --------------------------- We will accept the following types of submissions (please indicate the type of your submission as a footnote to the title of your paper): * Research papers (up to 7 pages) presenting novel and innovative approaches in one of the topics of the workshop. We also strongly encourage the submission of comparative studies and benchmarks of existing approaches in one of the topics. * Experience reports (up to 7 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. * Position papers (up to 3 pages) presenting new ideas or early research results in one of the topics of the workshop. * Tool demonstration papers (up to 3 pages) presenting novel tools or novel features of state-of-the-art tools related to executable modeling. Submissions of tool demonstration papers should consist of two parts. The first part (up to 3 pages) will be included in the proceedings and should describe the tool presented (please include the URL of the tool if available). The second part (up to 2 pages) should explain how the tool demonstration will be carried out at the workshop, including examples and screenshots. All submissions should follow the IEEE formatting instructions available at http://www.ieee.org/conferences_events/conferences/publishing/templates.html. Please submit your paper electronically as PDF via EasyChair at https://easychair.org/conferences/?conf=exe2016. All submissions will be evaluated by at least three members of the program committee. Research papers, experience reports, and tool demonstration 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 part of the workshop's post-proceedings at CEUR workshop proceedings (http://ceur-ws.org). --------------------------- Workshop Format --------------------------- EXE 2016 is a full-day workshop held as part of MODELS 2016. We plan to have one keynote talk in the morning, followed by two sessions of presentations of the accepted papers. The last session of the day will be a discussion session, where challenges, questions, experiences, opinions, and requirements related to executable modeling will be discussed. --------------------------- Important Dates --------------------------- Submission deadline: July 17, 2016 Author notification: August 14, 2016 Workshop: October, 2016 --------------------------- Organizers --------------------------- * Tanja Mayerhofer, TU Wien, Austria * Philip Langer, EclipseSource, Austria * Ed Seidewitz, independent, USA * Jeff Gray, University of Alabama, USA --------------------------- Program Committee --------------------------- * Colin Atkinson, University of Mannheim, Germany * Francis Bordeleau, Ericsson, Canada * Jordi Cabot, ICREA - UOC, Spain * Tony Clark, Sheffield Hallam University, United Kingdom * Peter Clarke, Florida International University, United States * Benoit Combemale, IRISA and University of Rennes, France * Juergen Dingel, Queen's University, Canada * Martin Gogolla, University of Bremen, Germany * Timothy Lethbridge, University of Ottawa, Canada * Nicholas Matragkas, University of Hull, 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 * Jesús Sánchez Cuadrado, Universidad Autónoma de Madrid, Spain * Markus Scheidgen, Humboldt University Berlin, Germany * Bran Selic, Malina Software Corporation, Canada * Cortland Starrett, One Fact Inc, United States * Eugene Syriani, University of Montreal, Canada * Jérémie Tatibouët, CEA, France * Massimo Tisi, Ecole des Mines de Nantes, France * Mark Van Den Brand, Eindhoven University of Technology, The Netherlands * Hans Vangheluwe, University of Antwerp, Belgium and McGill University, Canada From a.l.varbanescu at uva.nl Wed May 4 19:45:59 2016 From: a.l.varbanescu at uva.nl (Ana Lucia Varbanescu) Date: Wed, 4 May 2016 19:45:59 +0200 Subject: [fg-arc] Call for papers - 2nd Workshop on Performance Engineering for Large Scale Graph Analytics (PELGA, with Europar'16) In-Reply-To: <5721D2C3.9040600@uva.nl> References: <5721D2C3.9040600@uva.nl> Message-ID: [Apologies if you've received multiple copies of this email. If you haven't , please forward this to your professional network and other interested colleagues. We thank you.] =========================================================================== CALL FOR PAPERS PELGA: Performance Engineering for Large Scale Graph Analytics (http://sites.google.com/site/pelga16) held in conjunction with EuroPar'16 August 22nd, 2016 - Grenoble, France =========================================================================== We have extended the deadline of our PELGA workshop!! You have till May 16th to send us your contributions related to graph processing and its performance! Important dates: *** Submission Deadline: May 16, 2016, AoE Author Notification: June 17, 2016 Workshop paper (for informal workshop proceedings): July 15, 2016 Workshop camera-ready (for LNCS post-proceedings) due: September 30, 2016 *** Graph processing is becoming a significant consumer of computing resources as the graphs grow in size (social networking, advanced marketing, life sciences, health and bioinformatics services, academic networks) and the analysis tasks grow increasingly complex. To enable existing algorithms to fit modern architectures and scale with these new requirements, there is a growing need for performance engineering. PELGA’16 is a venue for specialists from both industry and academia to discuss the state of the art of graph processing systems, with a special focus on performance. Contributions focusing on graph-centric performance engineering tools and methods, workload characterization, and performance modeling are especially welcome. We also invite contributions covering surveys, performance studies, comparative analyses, new algorithms and new graph processing systems. This broad mix of ideas will stir discussion and lead to new collaborations and new ideas. We invite mature papers (regular, 12-pages long, LNCS format), work-in-progress and experience papers (short, 6-pages long, LNCS format), and position papers (also short, 6-pages long, LNCS format). All papers will be peer-reviewed and published in the workshop informal proceedings (available during the conference). The camera-ready versions of the papers will be published by Springer in a common EuroPar Workshop Proceedings volume, *after the conference*. For more details and our suggested list of topics and the submission procedure please visit our website: http://sites.google.com/site/pelga16 We are looking forward to your submissions! With best regards, on behalf of the program committee, Ana Lucia Varbanescu PS> For any additional information, please contact Ana Lucia Varbanescu at a.l.varbanescu at uva.nl. From announce at cs.ucy.ac.cy Fri May 6 15:33:06 2016 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Fri, 6 May 2016 16:33:06 +0300 Subject: [fg-arc] The 16th IEEE International Symposium on Signal Processing and Information Technology (ISSPIT 2016): First Call for Papers, Special Sessions and Tutorials Message-ID: *** First Call for Papers, Special Sessions and Tutorials *** The 16th IEEE International Symposium on Signal Processing and Information Technology (ISSPIT 2016) December 12-14, 2016, St. Raphael Resort, Limassol, Cyprus http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQlUaGUgMTZ0aCBJRUVFIEludGVybmF0aW9uYWwgU3ltcG9zaXVtIG9uIFNpZ25hbCBQcm9jZXNzaW5nIGFuZCBJbmZvcm1hdGlvbiBUZWNobm9sb2d5IChJU1NQSVQgMjAxNik6IEZpcnN0IENhbGwgZm9yIFBhcGVycywgU3BlY2lhbCBTZXNzaW9ucyBhbmQgVHV0b3JpYWxzCTI1CUxpc3RzCTMyMwljbGljawl5ZXMJbm8=&url=http%3A%2F%2Fcyprusconferences.org%2Fisspit2016%2F IEEE ISSPIT 2016 is the sixteenth in a series of international symposia that aims to cover a wide range of topics in the intersection of signal processing and information technology and to become a fertile ground for discussions between the two research and development communities. Apart from sessions that will present new research results, tutorials and special sessions will be offered as well. Papers describing original work are invited in the general fields covered by ISSPIT, with an emphasis on the topics listed below. Accepted papers will be published in the Proceedings of IEEE ISSPIT 2016 and will be available via IEEE Xplore. Acceptance will be based on quality, relevance, and originality. A contest for Best Paper Awards (senior and student) will be held. Papers are invited in the following (non exclusive) topics: · Signal Processing Theory and Methods · Signal Processing for Communications and Networking · Design & Implementation of Signal Processing Systems · Image, Video & Multidimensional Signal Processing · Multimedia Signal Processing · Biological Image and signal processing · Audio and Acoustic signal Processing · Health Informatics and e-Health · Sensor Arrays · Big Data Analytics in Signal Processing and IT · Radar Signal Processing · Internet Software Architectures · Multimedia and Image Based Systems · Mobile Information Systems · E-Commerce · Bioinformatics and Bioengineering · Information Processing · Geographical Information Systems · Object Based Software Engineering · Speech Processing · Computer Networks · Neural Networks · Social Networks Analysis · Internet of Things · Engineering Systems of Systems Prospective authors are invited to submit full-length, 6-page (max) papers in two-column formats including diagrams and references. Authors can submit their papers as PDF files through the online submission system to be found on the ISSPIT 2016 website: http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQlUaGUgMTZ0aCBJRUVFIEludGVybmF0aW9uYWwgU3ltcG9zaXVtIG9uIFNpZ25hbCBQcm9jZXNzaW5nIGFuZCBJbmZvcm1hdGlvbiBUZWNobm9sb2d5IChJU1NQSVQgMjAxNik6IEZpcnN0IENhbGwgZm9yIFBhcGVycywgU3BlY2lhbCBTZXNzaW9ucyBhbmQgVHV0b3JpYWxzCTI1CUxpc3RzCTMyMwljbGljawl5ZXMJbm8=&url=http%3A%2F%2Fcyprusconferences.org%2Fisspit2016%2F. The title page should include author(s) name(s), affiliation, mailing address, telephone, fax, and e-mail address. The author should indicate one or two of the above categories that best describe the topic of the paper. IMPORTANT DATES · Proposals for Tutorials & Special Sessions: August 5th, 2016 · Regular paper submission: September 15th, 2016 · Notification of acceptance: October 26th, 2016 · Camera-ready version with registration: November 15th , 2016 GENERAL CHAIRS · Christos Douligeris, University of Piraeus, Greece · Andreas Pitsillides, University of Cyprus, Cyprus · Andreas Spanias, Arizona State University, USA TECHNICAL PROGRAM CHAIRS · Ioannis Kyriakides, University of Nicosia, Cyprus · Veselin Rakocevic, City University, UK · Thanos Stouraitis, Khalifa University, UAE REGISTRATION & FINANCE CHAIR · Reda Ammar, University of Connecticut, USA PUBLICATION CO-CHAIRS · Josephine Antoniou, University of Central Lancanshire, Cyprus · Christophoros Christophorou, University of Cyprus, Cyprus · Angeliki Tsioliaridou, Foundation of Research and Technology, Greece TUTORIALS CO-CHAIRS · Marios Lestas, Frederick University, Cyprus · Vasos Vasssiliou, University of Cyprus, Cyprus PLENARY & SPECIAL SESSIONS CO-CHAIRS · Christos Liaskos, Foundation of Research and Technology, Greece · Vicky Lesta Papadopoulou, European University Cyprus PUBLICITY CO-CHAIRS · Suvendi Rimer, University of Johannesburg, South Africa · Cristiano Silva, Universidade Federal de Minas Gerais ñ UFMG, Brazil LOCAL ARRANGEMENTS CHAIR · George A. Papadopoulos, University of Cyprus, Cyprus WEB MANAGER · Kyriakos Georgiades, Easy Conferences, Cyprus STEERING COMMITTEE · E. Abdel-Raheem, Ain Shams University, Egypt · R. Ammar, University of Connecticut, USA · F. Elguibaly, University of Victoria, Canada · A. Elmaghraby, University of Louisville, USA (Chair) · A. Tantawy, IBM, Egypt, USA · A. Tewfik, University of Minnesota, USA -------------- next part -------------- An HTML attachment was scrubbed... URL: From announce at cs.ucy.ac.cy Sat May 7 14:15:30 2016 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Sat, 7 May 2016 15:15:30 +0300 Subject: [fg-arc] 22nd ACM International Conference on Intelligent User Interfaces (IUI 2017): Second Call for Workshop Proposals Message-ID: ** Second Call for Workshop Proposals *** 22nd ACM International Conference on Intelligent User Interfaces IUI 2017 St. Raphael Resort, Limassol, Cyprus March 13-16, 2017 http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkyMm5kIEFDTSBJbnRlcm5hdGlvbmFsIENvbmZlcmVuY2Ugb24gSW50ZWxsaWdlbnQgVXNlciBJbnRlcmZhY2VzIChJVUkgMjAxNyk6IFNlY29uZCBDYWxsIGZvciBXb3Jrc2hvcCBQcm9wb3NhbHMJMjcJTGlzdHMJMzEyCWNsaWNrCXllcwlubw==&url=http%3A%2F%2Fiui.acm.org%2F2017 Overview ACM IUI 2017 is the 22nd annual meeting of the intelligent interfaces community and serves as a premier international forum for reporting outstanding research and development on intelligent user interfaces. The 22nd edition of the conference will be held in Limassol, Cyprus. Limassol (or Lemesos) is a multicultural bustling town, flanked by two ancient cities, Amathus and Kourion, and guarded by the Amathusian Aphrodite and Appolo Hylates. It is a town of great visual diversity and contrast from spectacular seafront views, historic places like the mediaeval Castle, and Byzantine churches. Along the 17 km long sandy beaches, two Marinas, world renowned 5 star hotels, and a most exciting dining, shopping, nightlife and yachting scene create a year-round vibrant lifestyle well beyond the expectations of a Mediterranean island. ACM IUI is where the Human-Computer Interaction (HCI) community meets the Artificial Intelligence (AI), with contributions from related fields such as psychology, behavioral science, cognitive science, computer graphics, design or the arts. Our focus is to improve the interaction between humans and machines, by leveraging both more traditional HCI approaches, as well as solutions that involve state-of-the art AI techniques such as machine learning, natural language processing, data mining, knowledge representation and reasoning. ACM IUI welcomes contribution from any relevant arena: academia, business, or non-profit organizations. IUI 2017 is pleased to invite proposals for workshops to be held in conjunction with the conference. The goal of the workshops is to provide a venue for presenting research on focused topics of interest and an informal forum to discuss research questions and challenges. Workshops will be held on the first day of the conference. We invite submissions of full-day (6 hours) and half-day (3 hours) workshop proposals on any of the conference topics. We encourage proposals for a wide range of workshops, including but not limited to: · "Mini-conferences" on specialized topics; such workshops may have their own paper submission and review processes. · "Late breaking work" meetings; such workshops usually have a lighter review process (e.g. based on abstracts only). · "Hands-on" workshops around a specific problem or topic that may wish to ask participants to submit a position statement. · "Project centric" workshops that may be closely related to the scope of an existing large scale (e.g. EU funded) project. · "Mini-competitions", challenges, or hack-a-thons around selected topics with individual or team participation. Proposal Format Note: The key to a successful workshop submission is to CONTACT THE CHAIRS WITH YOUR IDEAS (workshop2017 at iui.acm.org), and work together to prepare an exciting proposal! Workshop proposals should be maximum 2 pages long and follow the formatting instructions from SIGCHI Paper Format, http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkyMm5kIEFDTSBJbnRlcm5hdGlvbmFsIENvbmZlcmVuY2Ugb24gSW50ZWxsaWdlbnQgVXNlciBJbnRlcmZhY2VzIChJVUkgMjAxNyk6IFNlY29uZCBDYWxsIGZvciBXb3Jrc2hvcCBQcm9wb3NhbHMJMjcJTGlzdHMJMzEyCWNsaWNrCXllcwlubw==&url=http%3A%2F%2Fwww.sigchi.org%2Fpublications%2Fchipubform . Please submit your proposal by e-mail to the workshop chairs at workshop2017 at iui.acm.org. The proposals should be organized as follows: · Name and title: A one-word workshop acronym and a full title. · Description of workshop topic and goal: This description should discuss the relevance of the suggested topic to IUI and its interest for the IUI 2017 audience. Include a brief discussion of why and for which audience the workshop is of particular interest. · Organizers: Names, affiliations, emails, and web pages of the workshop organizers. This can be a single person or a group of people. Strong proposals normally include organizers who bring differing perspectives on the topic and are actively connected to the communities of potential participants. Please indicate the primary contact person and the organizers who plan to attend the workshop. · Previous history: List of previous workshops that were held on the topic including the conferences that hosted past workshops and the number of participants. Also please provide the list of other workshops organized by workshop organizers in the past. · Workshop program committee: Names and affiliation of the members of the workshop program committee that will evaluate the workshop submissions. · Participants: A statement saying how many participants you expect and how you plan to invite participants for the workshop. We recommend the proposal to include the names of at least 10 people who have expressed interest to participate in the workshop. · Workshop format: A brief description of the workshop format regarding the mix of events such as paper presentations, invited talks, panels, demonstrations, and general discussion. · Length: Full-day or half-day. · Proposal format: Workshop proposals should be maximum 2 pages long and follow the formatting instructions from SIGCHI: http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkyMm5kIEFDTSBJbnRlcm5hdGlvbmFsIENvbmZlcmVuY2Ugb24gSW50ZWxsaWdlbnQgVXNlciBJbnRlcmZhY2VzIChJVUkgMjAxNyk6IFNlY29uZCBDYWxsIGZvciBXb3Jrc2hvcCBQcm9wb3NhbHMJMjcJTGlzdHMJMzEyCWNsaWNrCXllcwlubw==&url=http%3A%2F%2Fwww.sigchi.org%2Fpublications%2Fchipubform . Additional Guidelines · Workshop proposals will be reviewed and evaluated by the workshop chairs and the IUI 2017 program committee chairs. · Organizers: We strongly encourage the workshop organizers to attend IUI and take part in their workshop. This can make the workshops more appealing for the participants and strengthen the discussion part. · Workshop summary: An extended abstract (max. 3 pages) with a summary of the workshop goals and an overview of the workshop topics will be included in the ACM Digital Library for IUI 2017. · Workshop proceedings: At the convenience of the workshop organizers, we will arrange a joint volume of online proceedings for the workshop papers. Workshops should request the authors to submit papers in the ACM SIGCHI Paper Format. · Cancellation: Workshops with fewer than 10 submissions by December 23, 2016 may be cancelled. This will be done in consultation between the workshop chairs of IUI 2017 and the workshop organizers. Additionally, we strongly encourage to have workshop organizers from different institutions and research communities, bringing different perspectives to the workshop topic. We welcome workshops with a creative structure that attracts various types of contributions and ensures rich interactions. The organizers of accepted workshops are responsible for producing a call for participation and publicizing it, such as distributing the call to relevant newsgroups and electronic mailing lists, and especially to potential audiences from outside the IUI conference community. Workshop organizers will maintain their own web site with updated information about the workshop and the IUI 2017 web site will refer to the workshop site. The workshop organizers will coordinate the paper sollicitation, collection, and review process, and coordinate the production of the joint online proceedings with IUI 2017 workshop chairs. Important Dates Discuss your topic with the workshop chairs: ASAP (workshop2017 at iui.acm.org) · Workshop Proposals: September 16, 2016 · Decisions Sent: October 7, 2016 ** TENTATIVE dates of the review cycle ** · Submission Deadline: December 16, 2016 · Final go/no-go Decision: December 23, 2016 · Camera-Ready of Workshop Summary: January 5, 2017 · Notifications to Authors: January 23, 2017 · Camera-Ready of Accepted Papers: February 6, 2017 · Workshop Date: March 13, 2017 Workshops Co-Chairs · Shlomo Berkovsky, CSIRO, Australia · Bart Kninijnburg, Clemson University, USA -------------- next part -------------- An HTML attachment was scrubbed... URL: From Klaus.Havelund at jpl.nasa.gov Thu May 5 15:00:55 2016 From: Klaus.Havelund at jpl.nasa.gov (Havelund, Klaus (348B)) Date: Thu, 5 May 2016 13:00:55 +0000 Subject: [fg-arc] [fm-announcements] NFM 2016 - Call for participation Message-ID: ******************************************************************** CALL FOR PARTICIPATION The 8th NASA Formal Methods Symposium June 7 - June 9, 2016 McNamara Alumni Center University of Minnesota Minneapolis, MN http://crisys.cs.umn.edu/nfm2016 ******************************************************************** REGISTRATION ... is FREE! All interested individuals, including non-US citizens, are welcome to attend. All participants must register but there is no registration fee. Please register online at http://crisys.cs.umn.edu/nfm2016/REGISTRATION We strongly encourage participants to register early and reserve accommodations. A block of hotel rooms are reserved at The Commons Hotel until May 7, 2016. THEME OF THE SYMPOSIUM The NASA Formal Methods Symposium is a forum to foster collaboration between theoreticians and practitioners from NASA, academia, and the aerospace industry, with the goal of identifying challenges and providing solutions towards achieving assurance for safety- and mission-critical systems. We have assembled an exciting 3-day program featuring * Oral presentations of 29 peer-reviewed papers * Three prominent keynote speakers * Tool demonstrations * Breakout sessions on applications of formal methods to future NASA missions * Ample opportunities for networking and socializing KEYNOTES * Michael L. Aguilar (NASA Technical Fellow): "Where Formal Methods Might Find Application on Future NASA Missions” * Kevin Driscoll (Honeywell): "Murphy Was Here" * Kathleen Fisher (Tufts University): "Using Formal Methods to Eliminate Exploitable Bugs" ACCEPTED PAPERS The program features 19 regular and 10 short/tool papers on : * Requirements and architectures * Model checking and verification * Theorem proving and proofs * Testing and runtime enforcement * Synthesis and code generation * Applications of formal methods * Certification and correctness List of all accepted papers: http://crisys.cs.umn.edu/nfm2016/accepted/ ORGANIZING COMMITTEE Michael Lowry, NASA Ames Research Center, USA (NASA Liaison) Johann Schumann, SGT, Inc./NASA Ames Research Center, USA (General Chair) Oksana Tkachuk, SGT, Inc./NASA Ames Research Center, USA (PC Chair) Sanjai Rayadurgam, University of Minnesota, USA (PC Chair) Mike Whalen, University of Minnesota, USA (Financial Chair) Mats Heimdahl, University of Minnesota, USA (Local Arrangements Chair) PROGRAM COMMITTEE Julia Badger, NASA Johnson Space Center, USA Clark Barrett, New York University, USA Saddek Bensalem, Verimag and University Joseph Fourier, France Dirk Beyer, University of Passau, Germany Borzoo Bonakdarpour, McMaster University, Canada Alessandro Cimatti, FBK, Italy Darren Cofer, Rockwell Collins, Inc., USA Myra Cohen, University of Nebraska-Lincoln, USA Misty Davies, NASA Ames Research Center, USA Leonardo de Moura, Microsoft, USA Ben Di Vito, NASA Langley Research Center, USA Alexandre Duret-Lutz, LRDE / EPITA, France Andrew Gacek, Rockwell Collins, Inc., USA Pierre-Loic Garoche, ONERA, France Shalini Ghosh, SRI International, USA Susanne Graf, Universite Joseph Fourier / CNRS / VERIMAG, France Radu Grosu, Stony Brook University, USA Arie Gurfinkel, SEI, Carnegie Mellon University, USA Klaus Havelund, NASA Jet Propulsion Laboratory, USA Constance Heitmeyer, Naval Research Laboratory, USA Gerard Holzmann, NASA Jet Propulsion Laboratory, USA Falk Howar, TU Clausthal / IPSSE, Germany Rajeev Joshi, NASA Jet Propulsion Laboratory, USA Dejan Jovanovi#, SRI International, USA Gerwin Klein, NICTA and University of New South Wales, Australia Daniel Kroening, University of Oxford, UK Rahul Kumar, NASA Jet Propulsion Laboratory, USA Michael Lowry, NASA Ames Research Center, USA (NASA Liaison) CÈlia Martinie, ICS-IRIT, Universite Paul Sabatier, France Eric Mercer, Brigham Young University, USA Cesar Munoz, NASA Langley Research Center, USA Jorge A Navas, SGT, Inc./NASA Ames Research Center, USA Natasha Neogi, NASA Langley Research Center, USA Ganesh Pai, SGT, Inc./NASA Ames Research Center, USA Charles Pecheur, Universite catholique de Louvain, Belgium Lee Pike, Galois, Inc., USA Andreas Podelski, University of Freiburg, Germany Pavithra Prabhakar, Kansas State University, USA Venkatesh Prasad Ranganath, Kansas State University, USA Franco Raimondi, Middlesex University, UK Kristin Yvonne Rozier, University of Cincinnati, USA Neha Rungta, SGT, Inc./NASA Ames Research Center, USA Oleg Sokolsky, University of Pennsylvania, USA Stefano Tonetta, FBK, Italy Willem Visser, Stellenbosch University, South Africa Virginie Wiels, ONERA / DTIM, France Guowei Yang, Texas State University, USA STEERING COMMITTEE Julia Badger, NASA Johnson Space Center, USA Ben Di Vito, NASA Langley Research Center, USA Klaus Havelund, NASA Jet Propulsion Laboratory, USA Gerard Holzmann, NASA Jet Propulsion Laboratory, USA Michael Lowry, NASA Ames Research Center, USA Kristin Yvonne Rozier, University of Cincinnati, USA Johann Schumann, SGT, Inc./NASA Ames Research Center, USA -------------- next part -------------- An HTML attachment was scrubbed... URL: -------------- next part -------------- --- To opt-out from this mailing list, send an email to fm-announcements-request at lists.nasa.gov with the word 'unsubscribe' as subject or in the body. You can also make the request by contacting fm-announcements-owner at lists.nasa.gov From grlmc at grlmc.com Sat May 7 00:31:56 2016 From: grlmc at grlmc.com (GRLMC) Date: Sat, 07 May 2016 00:31:56 +0200 Subject: [fg-arc] AlCoB 2016: call for posters Message-ID: <545102060a010b05075f51010209585d06510155015204530b0a5d050450515255040d510a0c0900020453515053@grlmc_ip-zone_com-6> AlCoB 2016: call for posters*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line* -------------------------------------------- The 3th International Conference on Algorithms for Computational Biology (AlCoB 2016) invites researchers to submit poster presentations. AlCoB 2016 will be held in Trujillo (Spain) on June 21-22, 2016. See  http://grammars.grlmc.com/AlCoB2016/ Poster presentations are intended to enhance informal interactions with the conference participants, at the same time allowing for in-depth discussion. TOPICS Presentations displaying novel work in progress on algorithms in computational biology are encouraged on the following topics: - assembling sequence reads into a complete genome, - identifying gene structures in the genome, - recognizing regulatory motifs, - aligning nucleotides and comparing genomes, - reconstructing regulatory networks of genes, and - inferring the evolutionary phylogeny of species. Posters do not need to show final research results. Work that might lead to new interesting developments is welcome. KEY DATES Submission deadline: May 14, 2016 Notification of poster acceptance or rejection: May 21, 2016 SUBMISSION Please submit a .pdf abstract through: https://www.easychair.org/conferences/?conf=alcob2016 It should contain the title, author(s) and affiliation, and should not exceed 500 words. PRESENTATION Posters will be allocated 10 minutes each in the programme for oral presentation. Moreover, they will remain hanging out during the whole conference for discussion. PUBLICATION Posters will not appear in the LNCS/LNBI proceedings volume of AlCoB 2016. However, they will be eligible for submission to the post-conference journal special issue in IEEE/ACM Transactions on Computational Biology and Bioinformatics (TCBB, 2014 JCR impact factor: 1.438, quartile Q1). REGISTRATION At least one author of each accepted poster must register to the conference. The registration fare is reduced: 240 Euro. However, it gives the same rights all other conference participants have (attendance, copy of the proceedings volume, lunches...). Contributors of regular papers who in addition get a poster accepted must register for the latter independently.   -------------- next part -------------- An HTML attachment was scrubbed... URL: From Klaus.Havelund at jpl.nasa.gov Tue May 10 00:42:46 2016 From: Klaus.Havelund at jpl.nasa.gov (Havelund, Klaus (348B)) Date: Mon, 9 May 2016 22:42:46 +0000 Subject: [fg-arc] [fm-announcements] RV 2016, Deadlines Extended - Abstract: May 20, Paper/Tutorial: May 27 Message-ID: Following several requests, the deadlines have been extended as follows: - Abstract deadline: Friday May 20 (AoE). - Paper and tutorial deadline: Friday May 27 (AoE). =============================================== [cid:173618FB-A5EC-4392-93AB-D3F1356712D1 at grenet.fr] RV 2016 16th International Conference on Runtime Verification September 23-30, Madrid, Spain http://rv2016.imag.fr Scope Runtime verification is concerned with monitoring and analysis of software and hardware system executions. Runtime verification techniques are crucial for system correctness, reliability, and robustness; they are significantly more powerful and versatile than conventional testing, and more practical than exhaustive formal verification. Runtime verification can be used prior to deployment, for testing, verification, and debugging purposes, and after deployment for ensuring reliability, safety, and security and for providing fault containment and recovery as well as online system repair. Topics of interest to the conference include: - specification languages - specification mining - program instrumentation - monitor construction techniques - logging, recording, and replay - runtime enforcement, fault detection, localization, containment, recovery and repair - program steering and adaptation - metrics and statistical information gathering - combination of static and dynamic analyses - program execution visualization - monitoring techniques for safety/mission-critical systems - monitoring distributed systems, cloud services, and big data applications - monitoring security and privacy policies Application areas of runtime verification include cyber-physical systems, safety/mission-critical systems, enterprise and systems software, autonomous and reactive control systems, health management and diagnosis systems, and system security and privacy. Invited Speakers The program of RV 2016 will feature invited talks from: * Gul Agha (University of Illinois at Urbana-Champaign, USA) * Oded Maler (CNRS and University of Grenoble-Alpes, France) * Fred B. Schneider (Cornell University, USA) Overview RV 2016 will be held September 23-30 in Madrid, Spain. RV 2016 will feature the first summer school on Runtime Verification (September 23-25), two workshop/tutorial days (September 26-25), and three conference days (September 28-30). General Information on Submissions All papers and tutorials will appear in the conference proceedings in an LNCS volume. Submitted papers and tutorials must use the LNCS/Springer style. At least one author of each accepted paper and tutorial must attend RV 2016 to present the paper. Papers must be written in English and submitted electronically (in PDF format) using the EasyChair system. The below page limitations include all text and figures, but exclude references. Additional details omitted due to space limitations may be included in a clearly marked appendix that will be reviewed at the discretion of reviewers. Research Papers Track Research papers can be submitted in two categories: regular and short papers. Papers in both categories will be reviewed by at least 3 members of the Program Committee. * Regular Papers (up to 15 pages) should present original unpublished results. Theoretical papers, system and application papers as well as case studies on runtime verification are all welcome. The Program Committee will give a best paper award. A selection of accepted regular papers will be invited to appear in a special issue of the Springer Journal on Formal Methods in System Design. * Short Papers (up to 6 pages) may present novel but not necessarily thoroughly worked out ideas, for example emerging runtime verification techniques and applications, or techniques and applications that establish relationships between runtime verification and other domains. Accepted short papers will be presented in special talk (15 minutes) and poster sessions. Tool Papers Track The aim of the RV 2016 tool track is to provide an opportunity for researchers and practitioners to show and to discuss the latest advances, experiences and challenges in devising and developing reliable software tools for runtime verification. All tool papers will be reviewed by at least 3 members of the Tool Committee. An author of each accepted tool paper should give a 15-20 minutes demonstration during the conference. All tool papers must include information on tool availability, maturity, selected experimental results and it should provide a link to a website containing the theoretical background and user guide. Furthermore, we strongly encourage authors to make their tools and benchmarks available with their submission. We encourage tool papers to include a script in an appendix (not included in the page count) describing how the demo will be conducted during the conference presentation with screenshots presenting step-by-step the tool’s capabilities, highlighting the main characteristics and the usage. Tool papers can be submitted into two categories: * Regular Tool Papers (up to 8 pages). A tool paper in this category should present a new tool, a new tool component or significant and novel extensions to existing tools supporting runtime verification. Each submission should be original and not published previously in a tool paper form. * Tool Exhibition Papers (up to 4 pages). A tool paper in this category can have been previously published. A tool paper in this category should be oriented towards the tool usage and is an opportunity for the developers to present them at RV 2016. Tutorial Track Tutorials are two-to-three-hour presentations on a selected topic. Additionally, tutorial presenters will be offered to publish a paper of up to 20 pages in the LNCS conference proceedings. A proposal for a tutorial must contain the subject of the tutorial, a proposed timeline, a note on previous similar tutorials (if applicable) and the differences to this incarnation, and a biography of the presenter. The proposal must not exceed 2 pages. Tutorial proposals will be reviewed by the Program Committee. (new) Important Dates Research and tool papers as well as tutorials will follow the following timeline: * Abstract deadline: May 20, 2016 (AoE) * Paper and tutorial deadline: May 27, 2016 (AoE) * Tutorial notification: June 15, 2016 * Paper notification: July 18, 2016 * Camera ready deadline: August 8, 2016 * Summer school: September 23-25, 2016 * Workshops and tutorials: September 26-27, 2016 * Conference: September 28-30, 2016 Committees Program Committee Chairs * Yliès Falcone, Univ. Grenoble-Alpes and Inria, France * Cesar Sanchez, IMDEA Software, Madrid, Spain Tool Committee Chair * Klaus Havelund, NASA Jet Propulsion Laboratory, USA Local Organization Chair * Juan E. Tapiador, Universidad Carlos III de Madrid, Spain Program Committee * Erika Abraham, RWTH Aachen University, Germany * Howard Barringer, The University of Manchester, UK * Ezio Bartocci, TU Wien, Austria * Andreas Bauer, NICTA & Australian National University, Australia * Saddek Bensalem, Univ. Grenoble Alpes, France * Eric Bodden, Fraunhofer SIT and Technische University Darmstadt, Germany * Borzoo Bonakdarpour, McMaster University, Canada * Laura Bozzelli, Technical University of Madrid (UPM), Spain * Juan Caballero, IMDEA Software Institute, Spain * Wei-Ngan Chin, National University of Singapore, Singapore * Christian Colombo, University of Malta, Malta * Jyotirmoy Deshmukh, Toyota Technical Center, USA * Alexandre Donzé, UC Berkeley EECS Department, USA * Yliès Falcone, Univ. Grenoble Alpes and Inria, France * Bernd Finkbeiner, Saarland University, Germany * Adrian Francalanza, University of Malta, Malta * Vijay Garg, The University of Texas at Austin, USA * Patrice Godefroid, Microsoft Research, USA * Susanne Graf, Univ. Grenoble Alpes and CNRS, France * Radu Grosu, Vienna University of Technology, Austria * Sylvain Hallé, Université du Québec à Chicoutimi, Canada * Klaus Havelund, NASA Jet Propulsion Laboratory, USA * Johan Jaffar, National University of Singapore, Singapore * Thierry Jéron, Inria Rennes – Bretagne Atlantique, France * Johannes Kinder, Royal Holloway University of London, UK * Felix Klaedtke, NEC Europe Ltd., Germany * Kim G. Larsen, Aalborg University, Denmark * Axel Legay, Inria Rennes – Bretagne Atlantique, France * Martin Leucker, University of Lübeck, Germany * Benjamin Livshits, Microsoft Research, USA * Joao Lourenço, Universidade Nova de Lisboa, Portugal * Rupak Majumdar, MPI-SWS, Germany * Leonardo Mariani, University of Milano Bicocca, Italy * David Naumann, Stevens Institute of Technology, USA * Dejan Nickovic, Austrian Institute of Technology, Austria * Gordon Pace, University of Malta, Malta * Doron Peled, Bar Ilan University, Israel * Lee Pike, Galois, Inc., USA * Grigore Rosu, University of Illinois at Urbana-Champaign, USA * Gwen Salaün, Univ. Grenoble Alpes and Inria, France * Cesar Sanchez, IMDEA Software Institute, Spain * Sriram Sankaranarayanan, University of Colorado Boulder, USA * Gerardo Schneider, University of Gothenburg, Sweden * Scott Smolka, Stony Brook University, USA * Oleg Sokolsky, University of Pennsylvania, USA * Bernhard Steffen, University of Dortmund, Germany * Scott Stoller, Stony Brook University, USA * Volker Stolz, University of Oslo, Norway * Jun Sun, Singapore University of Technology and Design, Singapore * Juan Tapiador, Universidad Carlos III de Madrid, Spain * Serdar Tasiran, Koc Univ., Turkey * Michael Whalen, University of Minnesota, USA * Eugen Zalinescu, ETH Zurich, Switzerland * Lenore Zuck, University of Illinois at Chicago, USA Tool Committee * Steven Arzt, EC Spride, Germany * Howard Barringer, The University of Manchester, UK * Ezio Bartocci, TU Wien, Austria * Martin Leucker, University of Luebeck, Germany * Gordon Pace, University of Malta, Malta * Giles Reger, The University of Manchester, UK * Julien Signoles, CEA, France * Oleg Sokolsky, University of Pennsylvania, USA * Bernhard Steffen, University of Dortmund, Germany * Nikolai Tillmann, Microsoft Research, USA * Eugen Zalinescu, ETH Zurich, Switzerland -------------- next part -------------- An HTML attachment was scrubbed... URL: -------------- next part -------------- A non-text attachment was scrubbed... Name: inconnu.jpg Type: image/jpeg Size: 134903 bytes Desc: inconnu.jpg URL: -------------- next part -------------- --- To opt-out from this mailing list, send an email to fm-announcements-request at lists.nasa.gov with the word 'unsubscribe' as subject or in the body. You can also make the request by contacting fm-announcements-owner at lists.nasa.gov From grlmc at grlmc.com Sat May 14 00:03:54 2016 From: grlmc at grlmc.com (GRLMC) Date: Sat, 14 May 2016 00:03:54 +0200 Subject: [fg-arc] SLSP 2016: submission deadline extended to May 24 Message-ID: <545102060a010b040251580a0009075c0450025453550e5855550f57010206545d520d04030d0006540350000756@grlmc_ip-zone_com-6> *To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line* ------------------------------------------------ ***** SUBMISSION DEADLINE EXTENDED: May 24 ***** ------------------------------------------------ ********************************************************************************** 4th INTERNATIONAL CONFERENCE ON STATISTICAL LANGUAGE AND SPEECH PROCESSING SLSP 2016 Pilsen, Czech Republic October 11-13, 2016 Organized by: Department of Computer Science and Engineering Department of Cybernetics University of West Bohemia Research Group on Mathematical Linguistics (GRLMC) Rovira i Virgili University http://grammars.grlmc.com/SLSP2016/ ********************************************************************************** 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 2016, significant room will be reserved to young scholars at the beginning of their career and particular focus will be put on methodology. VENUE: SLSP 2016 will take place in Pilsen, nominated one of the two European Capitals of Culture in 2015. The venue will be the the NTIS research centre at the Faculty of Applied Sciences of the University of West Bohemia. 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 2016 will consist of: invited talks peer-reviewed contributions INVITED SPEAKERS: Walter Daelemans (University of Antwerp), Advances in Statistical Approaches to Personality Prediction from Text Julia Hirschberg (Columbia University), Identifying Sentiment and Emotion in Low Resource Languages Mari Ostendorf (University of Washington), Continuous-space Language Processing: Beyond Word Embeddings PROGRAMME COMMITTEE: Srinivas Bangalore (Interactions LLC, Murray Hill, USA) Roberto Basili (University of Rome Tor Vergata, Italy) Jean-François Bonastre (University of Avignon, France) Nicoletta Calzolari (National Research Council, Pisa, Italy) Marcello Federico (Bruno Kessler Foundation, Trento, Italy) Guillaume Gravier (IRISA, Rennes, France) Gregory Grefenstette (INRIA, Saclay, France) Udo Hahn (University of Jena, Germany) Thomas Hain (University of Sheffield, United Kingdom) Dilek Hakkani-Tür (Microsoft Research, Mountain View, USA) Mark Hasegawa-Johnson (University of Illinois, Urbana, USA) Xiaodong He (Microsoft Research, Redmond, USA) Graeme Hirst (University of Toronto, Canada) Gareth Jones (Dublin City University, Ireland) Tracy Holloway King (A9.com, Palo Alto, USA) Tomi Kinnunen (University of Eastern Finland, Joensuu, Finland) Philipp Koehn (University of Edinburgh, United Kingdom) Pavel Král (University of West Bohemia, Pilsen, Czech Republic) Claudia Leacock (McGraw-Hill Education CTB, Monterey, USA) Mark Liberman (University of Pennsylvania, Philadelphia, USA) Qun Liu (Dublin City University, Ireland) Carlos Martín-Vide (Rovira i Virgili University, Tarragona, Spain, chair) Alessandro Moschitti (University of Trento, Italy) Preslav Nakov (Qatar Computing Research Institute, Doha, Qatar) John Nerbonne (University of Groningen, The Netherlands) Hermann Ney (RWTH Aachen University, Germany) Vincent Ng (University of Texas, Dallas, USA) Jian-Yun Nie (University of Montréal, Canada) Kemal Oflazer (Carnegie Mellon University – Qatar, Doha, Qatar) Adam Pease (Articulate Software, San Francisco, USA) Massimo Poesio (University of Essex, United Kingdom) James Pustejovsky (Brandeis University, Waltham, USA) Manny Rayner (University of Geneva, Switzerland) Paul Rayson (Lancaster University, United Kingdom) Douglas A. Reynolds (Massachusetts Institute of Technology, Lexington, USA) Erik Tjong Kim Sang (Meertens Institute, Amsterdam, The Netherlands) Murat Saraçlar (Bogaziçi University, Istanbul, Turkey) Björn W. Schuller (University of Passau, Germany) Richard Sproat (Google, New York, USA) Efstathios Stamatatos (University of the Aegean, Karlovassi, Greece) Yannis Stylianou (Toshiba Research Europe Ltd., Cambridge, United Kingdom) Marc Swerts (Tilburg University, The Netherlands) Tomoki Toda (Nagoya University, Japan) Xiaojun Wan (Peking University, Beijing, China) Andy Way (Dublin City University, Ireland) Phil Woodland (University of Cambridge, United Kingdom) Junichi Yamagishi (University of Edinburgh, United Kingdom) Heiga Zen (Google, Mountain View, USA) Min Zhang (Soochow University, Suzhou, China) Pierre Zweigenbaum (LIMSI, Orsay, France) ORGANIZING COMMITTEE: Tomáš Hercig (Pilsen) Carlos Martín-Vide (Tarragona, co-chair) Manuel J. Parra (Granada) Daniel Soutner (Pilsen) Florentina Lilica Voicu (Tarragona) Jan Zelinka (Pilsen, co-chair) 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=slsp2016 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 Computer Speech and Language (Elsevier, JCR 2014 impact factor: 1.753) 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/SLSP2016/Registration.php DEADLINES: Paper submission: May 24, 2016 (23:59 CET) – EXTENDED – Notification of paper acceptance or rejection: June 21, 2016 Final version of the paper for the LNCS/LNAI proceedings: July 1, 2016 Early registration: July 1, 2016 Late registration: September 27, 2016 Submission to the journal special issue: January 13, 2017 QUESTIONS AND FURTHER INFORMATION: florentinalilica.voicu (at) urv.cat POSTAL ADDRESS: SLSP 2016 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: Západoceská univerzita v Plzni Universitat Rovira i Virgili -------------- next part -------------- An HTML attachment was scrubbed... URL: From l.duboc at cs.ucl.ac.uk Sun May 15 12:50:26 2016 From: l.duboc at cs.ucl.ac.uk (Leticia Duboc) Date: Sun, 15 May 2016 12:50:26 +0200 Subject: [fg-arc] Deadline approaching (27th of May): Workshop on Sustainability-Aware Business Process Management (SABPM) Message-ID: Dear colleagues, The annual BPM conference is the leading forum for researchers, practitioners, engineers and users in the field of Business Process Management (BPM). The conference covers all aspects of BPM research and practice, including theory, applications and technology, and it is the best setting to explore, exchange and enhance the knowledge on BPM along with the most renowned representatives of the BPM community worldwide. This year the conference will take place in Rio de Janeiro, Brazil from 18 to 22 September 2016 (http://bpm2016.uniriotec.br/). The SABPM 2016 main goal is to provide a forum for researchers and professionals interested in sustainability and Business Process Management to discuss and share their knowledge and requirements in the field of sustainability-aware business process management. The workshop solicits a number of contribution types: Position papers (with 2 to 4 pages), Research papers (with 6 to 10 pages), and Experience reports (with 6 to 10 pages). All papers will be handled electronically through Easy Chair and must conform to the Lecture Notes in Computer Science (LNCS) format. Here the link to the CFP: *http://sustainabilitydesign.org/initiatives/workshop-on-sustainability-aware-business-process-management/ * Example Topics to be discussed at the workshop include, but are not limited to: - The role of BPM for environmental, economical and social responsibility - Relationship between ‘Green IT’, ‘Green BPM’ and ‘sustainability-aware BPM’ - New foundation theory for sustainability-aware BPM - Benefits and challenges of incorporating sustainability in business processes - Cultural and business transformations for incorporating sustainability in organizations - Languages, tools and methods for sustainability-aware BPM - Sustainability-aware business process modelling - Sustainability-aware business process analysis - Sustainability patterns for business processes - Measurements of sustainability in business processes - Alignment of business processes to sustainability goals - IT support for sustainability in business processes - Case studies on sustainability and BPM Important Dates: - Workshop papers submission deadline: 27 May, 2016 - Workshop papers notification deadline: 27 June, 2016 - Workshop camera-ready papers deadline: 18 July, 2016 - Workshop: 19 September, 2016 The workshop activities include: - Group work: Participants will be divided into groups to work on pre-defined topics related to sustainability and BPM. Possible working topics might be discussing the challenges raised by position papers and propose solutions or creating a join research agenda to sustainability-aware BPM. - Discussion on Research Challenges and Agenda. Best regards, Letícia Duboc, State University of Rio de Janeiro, Brazil, leticia at ime.uerj.br Stefanie Betz, Karlsruhe Institute of Technology, Germany, stefanie.betz at kit.edu Andréa Magalhães, Fluminense Federal University, Brazil, andrea at ic.uff.br -------------- next part -------------- An HTML attachment was scrubbed... URL: From mayerhofer at big.tuwien.ac.at Mon May 23 10:06:18 2016 From: mayerhofer at big.tuwien.ac.at (Mayerhofer Tanja) Date: Mon, 23 May 2016 08:06:18 +0000 Subject: [fg-arc] Call for Participation: STAF 2016 - Software Technologies: Applications and Foundations, July 4-8, Vienna, Austria Message-ID: ------------------------------------------------------------------------ First Call for Participation: STAF 2016 - Software Technologies: Applications and Foundations July 4-8, 2016 TU Wien, Vienna, Austria http://staf2016.conf.tuwien.ac.at ------------------------------------------------------------------------ STAF is the umbrella event of * ECMFA - 12th European Conference on Modelling Foundations and Applications, * ICGT - 9th International Conference on Graph Transformation, * ICMT - 9th International Conference on Model Transformation, * SEFM - 14th International Conference on Software Engineering and Formal Methods, * TAP - 10th International Conference on Tests and Proofs, and * Satellite Events related to these conferences. ***** Early registration is open until June 1 ***** ***** Registration grants for students are available ***** --------------------- About STAF --------------------- Software Technologies: Applications and Foundations (STAF) is a federation of leading conferences on software technologies. It was formed after the end of the successful TOOLS federated event (http://tools.ethz.ch) in 2012. The participating conferences focus on practical and foundational advances in software technology covering a wide range of aspects including formal foundations of software technology, testing and formal analysis, graph transformations and model transformations, model driven engineering, and tools. STAF 2016 will be hosted at TU Wien located in the center of Vienna. Vienna, the capital of Austria, is a city of over 1.8 million inhabitants. It is one of the renown cultural centers of Europe with an eventful history. TU Wien is among the most successful technical universities in Europe and is Austria's largest scientific-technical research and educational institution. For 200 years, TU Wien has been a place of research, teaching and learning in the service of progress. Details on the conference venue are provided at http://staf2016.conf.tuwien.ac.at/conference-venue/ --------------------- Registration --------------------- You can register online to all events of STAF at http://staf2016.conf.tuwien.ac.at/registration/. *** Early registration: until June 1*** For students, we offer student registration grants. All details about the application procedure are provided at http://staf2016.conf.tuwien.ac.at/student-registration-grants/. --------------------- Keynotes --------------------- * Erika Ábrahám (RWTH Aachen University, Germany): Satisfiability Checking: Theory and Applications * Gul Agha (University of Illinois at Urbana-Champaign, USA): Abstractions, Semantic Models and Analysis Tools for Concurrent Systems: Progress and Open Problems * Krzysztof Czarnecki (University of Waterloo, Canada): A Model-Based Driver's License for Self-Driving Cars: Challenges and Future Directions * Juan de Lara (Universidad Autónoma in Madrid, Spain): Model Typing Transformations * Juergen Dingel (Queen's University, Ontario, Canada): Complexity is the Only Constant: Thoughts on Trends in Computing and Their Relevance to MDE * Kim G. Larsen (Aalborg University, Denmark): From Testing and Verification to Performance Analysis and Synthesis of Cyber-Physical Systems * Klaus Reichl (Thales Austria): Using Formal Methods for Verification and Validation in Railway * Stefan Voget (Continental Automotive GmbH, Germany): Usage of domain specific modeling languages in the automotive industry More information on the keynotes may be found at http://staf2016.conf.tuwien.ac.at/keynotes/ --------------------- Program --------------------- The tentative program of all events is available at http://staf2016.conf.tuwien.ac.at/program-overview/ --------------------- Main Conferences --------------------- * ECMFA - 12th European Conference on Modelling Foundations and Applications http://ecmfa2016.itu.dk/ * ICGT - 9th International Conference on Graph Transformation https://sites.google.com/site/icgt2016/ * ICMT - 9th International Conference on Model Transformation http://is.ieis.tue.nl/research/ICMT16 * SEFM - 14th International Conference on Software Engineering and Formal Methods http://staf2016.conf.tuwien.ac.at/sefm/ * TAP - 10th International Conference on Tests and Proofs http://tap2016.ist.tugraz.at/ --------------------- Satellite Events --------------------- * TTC - 9th Transformation Tool Contest http://www.transformation-tool-contest.eu/ * Doctoral Symposium http://staf2016.conf.tuwien.ac.at/call-doctoral-symposium/ * Projects Showcase - 2nd event dedicated to international and national project dissemination and cooperation http://staf2016.conf.tuwien.ac.at/call-projects-showcase/ * BigMDE - 4th Workshop on Scalable Model Driven Engineering http://www.big-mde.eu/ * DataMod - 5th International Symposium on From Data to Models and Back http://pages.di.unipi.it/datamod/edition-2016/ * FORECAST - Workshop on FORmal methods for the quantitative Evaluation of Collective Adaptive SysTems http://forecast.disia.unifi.it/ * GCM - 7th International Workshop on Graph Computation Models http://gcm2016.inf.uni-due.de/ * HOFM - 3rd Workshop on Human-Oriented Formal Methods: From Readability to Automation https://hofm2016.wordpress.com/ * MELO - Workshop on Model-Driven Engineering, Logic and Optimization http://www.disim.univaq.it/melo16/ * SEMS - 3rd International Workshop on Software Engineering Methods in Spreadsheets http://spreadsheetlab.org/sems-16/ * VeryComp - 1st International Workshop on Formal to Practical Software Verification and Composition http://verycomp2016.disim.univaq.it/ --------------------- Contact --------------------- For further inquiries, do not hesitate to contact the organization team at staf2016 at big.tuwien.ac.at. From sebastian.goetz1 at tu-dresden.de Wed May 18 09:41:39 2016 From: sebastian.goetz1 at tu-dresden.de (=?UTF-8?Q?Sebastian_G=c3=b6tz?=) Date: Wed, 18 May 2016 09:41:39 +0200 Subject: [fg-arc] CfP Models@run.time Workshop @ MODELS16 Message-ID: <33cfca7e-9fbf-5e13-af2e-e902bfd7281e@tu-dresden.de> Call for Papers 11th International Workshop on Models at run.time In conjunction with MODELS 2016 Saint-Malo, France, October 4th, 2016 http://st.inf.tu-dresden.de/MRT16/ Important Dates (23:59 AoE) Submissions of abstracts: July 10th, 2016 Submissions of papers: July 17th, 2016 Notification: August 14th, 2016 Camera Ready: September 11th, 2016 Workshop date: October 4th, 2016 Introduction The complexity of adapting software during runtime has spawned interest in how models can be used to validate, monitor and adapt runtime behaviour. The use of models during runtime extends the use of modelling techniques beyond the design and implementation phases. The goal of this workshop is to look at issues related to developing appropriate model-driven approaches to managing and monitoring the execution of systems. We aim to continue the discussion of research ideas and proposals from researchers who work in relevant areas such as MDE, software architectures, reflection, and autonomic and self-adaptive systems, and provide a "state-of-the-art" research assessment expressed in terms of challenges and achievements. Goal The objectives of this year’s edition of the models at run.time workshop are: a) to foster work on novel topics covering fundamental as well as applied research on models at run.time or, in general, work that attempts to apply model-driven techniques at runtime, b) to bring together researchers from the model-driven software development community of different specialized areas including model evolution, model transformation, model validation and multi-paradigm modeling and c) to discuss the applicability of research results on models at run.time to industrial case studies. Moreover, we plan to use the workshop as a meeting place for the community and want to collect and classify research results for an overview paper of the maturing research area. Topics of interest We are particularly interested in work covering the following non-exhaustive list of topics: - languagues and formalisms for runtime representations - approaches realizing the causal connection between a computing system and its reflective layer - applications and case studies involving runtime representations - a general discourse on - the need for and characteristics of runtime representations - the properties of causal connections (e.g., temporal properties, uncertainty, etc.) - interdisciplinary approaches to models at run.time, as for example the mutual influence (or coercion) of socio-technical systems - How runtime models can address basic principles of areas such as game theory. - Distributed models at run.time, i.e., having multiple, interacting systems, each having its own runtime model and in general, issues of models at runtime in large scale systems - Incomplete, partial models - Impacts of uncertainty - Approaches to real-time model-building, refinement - Relevant theory on transactions - Relevant lessons learned from bio-inspired, socially-inspired, unconventional systems - Modular models at run.time, i.e., approaches to improve the modularity of models at run.time systems for better reuse - Co-evolving models at run.time, i.e., systematic approaches to synchronize multiple, interacting models at run.time systems - For those papers focusing on executable models at runtime, we encourage the investigation of how the feedback from the systems are reflected in the executable models (so that they have causal (bi-)connections with the systems) The workshop participants will be selected based on their experience and ideas related to this maturing field. You are invited to apply for attendance by sending: - a full paper (8 pages) on original research, lessons learned from realizing an approach or experiences on transferring a research prototype into practice, - a position paper (6 pages) covering a well-argued vision or position, - a demo paper (2 pages) describing a demonstration to be shown at the workshop, - an artifact paper (2 pages) together with the artifact, which is of use to the community (e.g., a reusable case study or a challenging example) or - a short motivation (max. 100 words) to give a 5-minute lightning talk, to introduce yourself to the community at the end of the first session of the workshop. All papers must conform to the double-column IEEE formatting guidelines. At least three PC members will review each submission. The authors will be notified about acceptance before the MODELS 2016 early registration deadline. Organizers - Sebastian Götz (main contact), TU Dresden, Germany - Nelly Bencomo, Aston University, UK - Kirstie Bellman, The Aerospace Organization, US - Gordon Blair, Lancaster University, UK Program Committee (tbc.) - Franck Chauvel, SINTEF, Norway - Siobhan Clarke, Trinity College Dublin, Ireland - Fabio M. Costa, Universidade Federal de Goias, Brazil - Mahdi Derakhshanmanesh, MHP - A Porsche Company, Germany - Antonio Filieri, Imperial College, UK - Nikolaos Georgantas, INRIA, France - Holger Giese, Universität Potsdam, Germany - Ta’id Holmes, Deutsche Telekom AG, Germany - Gang Huang, Peking University, China - Chris Landauer, The Aerospace Corporation, USA - Peter Lewis, Aston University, UK - Lionel Seinturier, Uni. Lille, France - Arnor Solberg, SINTEF, Norway - Hui Song, SINTEF, Norway - Thomas Vogel, Universität Potsdam, Germany Further Information Web site: http://st.inf.tu-dresden.de/MRT16/ Contact: Sebastian Götz (sebastian.goetz at acm.org) -- Dr.-Ing. Sebastian Götz Researcher Technische Universität Dresden Fakultät für Informatik Institut für Software- und Multimediatechnik Lehrstuhl für Softwaretechnologie www: http://www.st.inf.tu-dresden.de/ Mail: sebastian.goetz at acm.org Kontakt: INF 2082 Tel.: +49 351 463 38346 jExam Group www: http://www.jexam.de --- Diese E-Mail wurde von Avast Antivirus-Software auf Viren geprüft. https://www.avast.com/antivirus -------------- next part -------------- An HTML attachment was scrubbed... URL: From grlmc at grlmc.com Fri May 20 00:01:34 2016 From: grlmc at grlmc.com (GRLMC) Date: Fri, 20 May 2016 00:01:34 +0200 Subject: [fg-arc] WebST 2016: early registration deadline 28 May Message-ID: <545102060a010b04075059040e095606505e07030a06525003070d010750555652070505565c510a5457540a0256@grlmc_ip-zone_com-6> *To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line* ***************************************************************************** INTERNATIONAL SUMMER SCHOOL ON WEB SCIENCE AND TECHNOLOGY WebST 2016 Bilbao, Spain July 18-22, 2016 Organized by: University of Deusto Rovira i Virgili University http://grammars.grlmc.com/webst2016/ ***************************************************************************** --- Early registration deadline: May 28, 2016 --- ******************************************************** AIM: WebST 2016 is a 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, multidisciplinary and fast developing area of web studies, which covers a large spectrum of current exciting research and industrial innovation from computing and technologies to social sciences and the humanities and has turned out to be the largest socio-technical infrastructure in human history. Renowned academics and industry pioneers will lecture and share their views with the audience. Most subareas of web science and technology will be displayed, namely: content analysis and information extraction, information networks, search, data and semantics, ontologies, user behavior and personalization, online communities, social networks, economic transactions, mobility, security and privacy, graph analysis, web mining and applications. Main challenges and opportunities will be identified through 4 keynote lectures, 17 six-hour courses, and 1 round table, which will tackle the most active and promising topics from various perspectives: philosophy, sociology, politics, digital humanities, economics, computer science, engineering and mathematics. The organizers believe outstanding speakers will attract the brightest and most motivated students. Interaction will be a main component of the event. Moreover, 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 knowledge background may be assumed for some of them. WebST 2016 is also appropriate for more senior people who want to keep themselves updated on recent developments and future trends. All will surely find it fruitful to listen and discuss with major researchers, scholars, industry leaders and innovators. REGIME: In addition to keynotes, at least 2 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: WebST 2016 will take place in Bilbao, a city famous for its gastronomy and the seat of the Guggenheim Museum. The venue will be: DeustoTech, School of Engineering University of Deusto Avda. Universidades, 24 48014 Bilbao KEYNOTE SPEAKERS: Ricardo Baeza-Yates (Pompeu Fabra University), Distributed Web Search Jiawei Han (University of Illinois, Urbana-Champaign), From Data to Knowledge: A Data-to-Network-to-Knowledge (D2N2K) Paradigm Prabhakar Raghavan (Google), Three Vignettes from the Theory and Practice of Large Data Analysis Amit P. Sheth (Wright State University), Semantic, Cognitive and Perceptual Computing – three intertwined strands of a golden braid of intelligent computing PROFESSORS AND COURSES: Timothy Baldwin (University of Melbourne), [intermediate] Social Media and Text Analytics Boualem Benatallah (University of New South Wales), [advanced] API Engineering and Management Vassilis Christophides (INRIA, Paris), [introductory/intermediate] Entity Resolution in the Web of Data Brian D. Davison (Lehigh University), [introductory] Useful Web Mining with R Marco Gori (University of Siena), [advanced] Learning Semantic-based Structures from Textual Sources Alon Halevy (Recruit Institute of Technology), [introductory] Structured Data on the Web Jiawei Han (University of Illinois, Urbana-Champaign), [intermediate] Construction and Mining of Text-Rich Heterogeneous Information Networks Andreas Hotho (University of Würzburg), [intermediate] Social Semantics in the Web Ravi Kumar (Google), [introductory/intermediate] Computing at Scale: Models and Algorithms Haewoon Kwak (Qatar Foundation), [introductory/intermediate] From Social Network Analysis to Social Media Analytics and beyond: Challenges and Opportunities Cathy Marshall (Texas A&M University), [introductory] Qualitative Methods for Studying Users on the Web Mirco Musolesi (University College London), [introductory/intermediate] Mining Big (and Small) Mobile Data Bijan Parsia (University of Manchester), [introductory] The Semantic Web and Linked Data Prabhakar Raghavan (Google), [intermediate] Introduction to Web Search Engines Uli Sattler (University of Manchester), [introductory] OWL, Underlying Logics, and What This Reasoning Is All about Barry Smith (University at Buffalo), [introductory] Towards Ontological Foundations for Web Science Raphael Volz (Pforzheim University of Applied Science), [introductory] Improving Prediction Models with Open Data 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 florentinalilica.voicu (at) urv.cat by July 15, 2016. ORGANIZING COMMITTEE: Carlos Martín-Vide (co-chair) Manuel Jesús Parra Royón Borja Sanz (co-chair) Florentina Lilica Voicu REGISTRATION: It has to be done at http://grammars.grlmc.com/webst2016/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: A suggestion of accommodation is available on the webpage. CERTIFICATE: Participants will be delivered a certificate of attendance. QUESTIONS AND FURTHER INFORMATION: florentinalilica.voicu (at) urv.cat ACKNOWLEDGEMENTS: University of Deusto Rovira i Virgili University -------------- next part -------------- An HTML attachment was scrubbed... URL: From grlmc at grlmc.com Sun May 22 12:37:25 2016 From: grlmc at grlmc.com (GRLMC) Date: Sun, 22 May 2016 12:37:25 +0200 Subject: [fg-arc] WebST 2016: early registration deadline 28 May Message-ID: <545102060a010b0b025051070f0903550053565607550e55060a580053030704035803560b5f5600055754505304@grlmc_ip-zone_com-6> WebST 2016: early registration deadline 28 May*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line*   ***************************************************************************** INTERNATIONAL SUMMER SCHOOL ON WEB SCIENCE AND TECHNOLOGY   WebST 2016   Bilbao, Spain   July 18-22, 2016   Organized by: University of Deusto Rovira i Virgili University   http://grammars.grlmc.com/WebST2016/ *****************************************************************************   --- Early registration deadline: May 28, 2016 ---   ********************************************************   AIM:   WebST 2016 is a 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, multidisciplinary and fast developing area of web studies, which covers a large spectrum of current exciting research and industrial innovation from computing and technologies to social sciences and the humanities and has turned out to be the largest socio-technical infrastructure in human history. Renowned academics and industry pioneers will lecture and share their views with the audience.   Most subareas of web science and technology will be displayed, namely: content analysis and information extraction, information networks, search, data and semantics, ontologies, user behavior and personalization, online communities, social networks, economic transactions, mobility, security and privacy, graph analysis, web mining and applications. Main challenges and opportunities will be identified through 4 keynote lectures, 17 six-hour courses, and 1 round table, which will tackle the most active and promising topics from various perspectives: philosophy, sociology, politics, digital humanities, economics, computer science, engineering and mathematics. The organizers believe outstanding speakers will attract the brightest and most motivated students. Interaction will be a main component of the event. Moreover, 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 knowledge background may be assumed for some of them. WebST 2016 is also appropriate for more senior people who want to keep themselves updated on recent developments and future trends. All will surely find it fruitful to listen and discuss with major researchers, scholars, industry leaders and innovators.   REGIME:   In addition to keynotes, at least 2 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:   WebST 2016 will take place in Bilbao, a city famous for its gastronomy and the seat of the Guggenheim Museum. The venue will be:   DeustoTech, School of Engineering University of Deusto Avda. Universidades, 24 48014 Bilbao   KEYNOTE SPEAKERS:   Ricardo Baeza-Yates (Pompeu Fabra University), Distributed Web Search   Jiawei Han (University of Illinois, Urbana-Champaign), From Data to Knowledge: A Data-to-Network-to-Knowledge (D2N2K) Paradigm   Prabhakar Raghavan (Google), Three Vignettes from the Theory and Practice of Large Data Analysis   Amit P. Sheth (Wright State University), Semantic, Cognitive and Perceptual Computing – three intertwined strands of a golden braid of intelligent computing   PROFESSORS AND COURSES:   Timothy Baldwin (University of Melbourne), [intermediate] Social Media and Text Analytics   Boualem Benatallah (University of New South Wales), [advanced] API Engineering and Management   Vassilis Christophides (INRIA, Paris), [introductory/intermediate] Entity Resolution in the Web of Data   Brian D. Davison (Lehigh University), [introductory] Useful Web Mining with R   Marco Gori (University of Siena), [advanced] Learning Semantic-based Structures from Textual Sources   Alon Halevy (Recruit Institute of Technology), [introductory] Structured Data on the Web   Jiawei Han (University of Illinois, Urbana-Champaign), [intermediate] Construction and Mining of Text-Rich Heterogeneous Information Networks   Andreas Hotho (University of Würzburg), [intermediate] Social Semantics in the Web   Ravi Kumar (Google), [introductory/intermediate] Computing at Scale: Models and Algorithms   Haewoon Kwak (Qatar Foundation), [introductory/intermediate] From Social Network Analysis to Social Media Analytics and beyond: Challenges and Opportunities   Cathy Marshall (Texas A&M University), [introductory] Qualitative Methods for Studying Users on the Web   Mirco Musolesi (University College London), [introductory/intermediate] Mining Big (and Small) Mobile Data   Bijan Parsia (University of Manchester), [introductory] The Semantic Web and Linked Data   Prabhakar Raghavan (Google), [intermediate] Introduction to Web Search Engines   Uli Sattler (University of Manchester), [introductory] OWL, Underlying Logics, and What This Reasoning Is All about   Barry Smith (University at Buffalo), [introductory] Towards Ontological Foundations for​ Web Science   Raphael Volz (Pforzheim University of Applied Science), [introductory] Improving Prediction Models with Open Data   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 florentinalilica.voicu (at) urv.cat by July 15, 2016.   ORGANIZING COMMITTEE:   Carlos Martín-Vide (co-chair) Manuel Jesús Parra Royón Borja Sanz (co-chair) Florentina Lilica Voicu   REGISTRATION:   It has to be done at   http://grammars.grlmc.com/webst2016/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:   A suggestion of accommodation is available on the webpage.   CERTIFICATE:   Participants will be delivered a certificate of attendance.   QUESTIONS AND FURTHER INFORMATION:   florentinalilica.voicu (at) urv.cat   ACKNOWLEDGEMENTS:   University of Deusto Rovira i Virgili University -------------- next part -------------- An HTML attachment was scrubbed... URL: From franconi at inf.unibz.it Mon May 23 19:18:00 2016 From: franconi at inf.unibz.it (=?ISO-8859-1?Q?Enrico_Franconi?=) Date: Mon, 23 May 2016 19:18:00 +0200 Subject: [fg-arc] PhD Scholarships in Computer Science in Bozen-Bolzano (Italy) - DEADLINE 8 JUNE. Message-ID: <23052016191800941GGh77pfXqRRd0266@webmail.unibz.it> PhD Scholarships in Computer Science at the Free Univ. of Bozen-Bolzano (Italy). The Free University of Bozen-Bolzano was founded in 1997 as a multilingual (English, German, Italian) internationally oriented institution. A public competition for the allocation of 12 PhD positions in the Faculty of Computer Science is open, and 9 of these positions will be covered by grants (17,000€ per year). The deadline for submitting the application (admission/pre-enrolment to the 32nd PhD cycle) via is the 8th of June 2016. PhD students are expected to work full-time on their research during the period of the PhD studies, which lasts three years. An additional support is given to spend a period of 6-12 months at an international research center. The official language of the programme is English, and it is expected that students are able to write and speak fluently in English. The PhD study programme places an emphasis on research. PhD candidates are strongly advised to look at the three areas (listed below) which are the focus of the research at the Faculty of Computer Science, and to get in contact with their desired research area before applying. The Selection Committee ranks PhD students based on a comparative assessment of the merits and qualifications of applicants, taking into account also feedback from potential supervisors in the selected research area. RESEARCH AREAS: * KRDB - KNOWLEDGE AND DATA Logic-based languages for knowledge representation Intelligent access to data Semantic technologies Information integration Data-aware process modelling, verification, and synthesis Business process monitoring, mining, and conformance Temporal aspects of data and knowledge Extending database technologies Visual and verbal paradigms for information modelling and exploration Reasoning with Uncertain and Imprecise Knowledge The KRDB Research Centre for Knowledge and Data (web page: ) was founded in 2002, and it currently comprises about 30 researchers, including PhD students. The research activity is focussed on two main areas: (1) intelligent data and information management, with emphasis on modelling of data and on the challenges related to modelling and dealing with structured, complex, and big data; and (2) business processes and data, with the aim of studying the entire process lifecycle including the modelling of business processes and organisations. The KRDB Centre is widely recognised as one of the internationally leading groups in knowledge representation research, with a synergy between foundational research and application-oriented research. KRDB contact person: Enrico Franconi . * IDSE - INFORMATION AND DATABASE SYSTEMS ENGINEERING Spatial and temporal databases Approximation techniques in databases Query optimisation in databases Cooperative interfaces for information access and filtering Data mining techniques for preference elicitation and recommendation Cloud computing and big data Agile development and human aspects of software engineering Software startups and lean startup methodology Design based hardware engineering Technology enhanced learning Interaction design The research activities in the area of database and information systems engineering focus on key aspects of applied computer science, including data warehousing and data mining, the integration of heterogeneous and distributed databases, time-varying information, data models, and query processing. The research approach is primarily constructive in its outset, and it includes substantial experimental and analytical elements. The development activities cover the design of data models and structures, and the development of algorithms, data structures, languages, and systems. The experimental activities verify real world artefacts with the help of prototypes and simulations. The analytic activities include the analysis of the algorithmic complexity and the evaluation of languages. The main goal is theoretically sound results that solve real world problems. * SERG - SOFTWARE ENGINEERING Empirical software engineering Mining software repositories Software reliability and testing Automatic improvement and empirical investigation of software quality attributes Recommendation systems in software engineering Software system behaviour The research topics in software engineering are focused on the empirical and quantitative study of innovative models for software development. The target analysis techniques include both traditional statistics, and new approaches, such as computational intelligence, Bayesian models, and meta-analytical systems. The innovative software development techniques include (a) methods based on lean management, such as agile methods, with a specific interest for benchmarking and identification of defects, and (b) open source development models, with specific attention for self organising systems and the analysis of the resulting quality aspects. -------------- next part -------------- An HTML attachment was scrubbed... URL: From l.duboc at cs.ucl.ac.uk Thu May 26 21:54:28 2016 From: l.duboc at cs.ucl.ac.uk (Leticia Duboc) Date: Thu, 26 May 2016 21:54:28 +0200 Subject: [fg-arc] DEADLINE EXTENDED (6th of June): Workshop on Sustainability-Aware Business Process Management (SABPM) Message-ID: Dear colleagues, The deadline of the SABPM 2016 has been extended to 6th of June. SABPM 2016's main goal is to provide a forum for researchers and professionals interested in sustainability and Business Process Management to discuss and share their knowledge and requirements in the field of sustainability-aware business process management. The workshop solicits a number of contribution types: - Position papers (with 2 to 4 pages), - Research papers (with 6 to 10 pages) - Experience reports (with 6 to 10 pages). All papers will be handled electronically through Easy Chair and must conform to the Lecture Notes in Computer Science (LNCS) format. Here the link to the CFP: *http://sustainabilitydesign.org/initiatives/workshop-on-sustainability-aware-business-process-management/ * Example Topics to be discussed at the workshop include, but are not limited to: - The role of BPM for environmental, economical and social responsibility - Relationship between ‘Green IT’, ‘Green BPM’ and ‘sustainability-aware BPM’ - New foundation theory for sustainability-aware BPM - Benefits and challenges of incorporating sustainability in business processes - Cultural and business transformations for incorporating sustainability in organizations - Languages, tools and methods for sustainability-aware BPM - Sustainability-aware business process modelling - Sustainability-aware business process analysis - Sustainability patterns for business processes - Measurements of sustainability in business processes - Alignment of business processes to sustainability goals - IT support for sustainability in business processes - Case studies on sustainability and BPM Important Dates: - *Workshop papers submission deadline: 6 June, 2016* - Workshop papers notification deadline: 4 July, 2016 - Workshop camera-ready papers deadline: 18 July, 2016 - Workshop: 19 September, 2016 The workshop activities include: - Group work: Participants will be divided into groups to work on pre-defined topics related to sustainability and BPM. Possible working topics might be discussing the challenges raised by position papers and propose solutions or creating a join research agenda to sustainability-aware BPM. - Discussion on Research Challenges and Agenda. Best regards, Letícia Duboc, State University of Rio de Janeiro, Brazil, leticia at ime.uerj.br Stefanie Betz, Karlsruhe Institute of Technology, Germany, stefanie.betz at kit.edu Andréa Magalhães, Fluminense Federal University, Brazil, andrea at ic.uff.br -------------- next part -------------- An HTML attachment was scrubbed... URL: From alessandro.aldini at uniurb.it Wed May 25 14:43:40 2016 From: alessandro.aldini at uniurb.it (Aldini, Alessandro) Date: Wed, 25 May 2016 14:43:40 +0200 Subject: [fg-arc] FOSAD summerschool: Foundations of Security Analysis and Design 2016 Message-ID: 16TH INTERNATIONAL SCHOOL ON FOUNDATIONS OF SECURITY ANALYSIS AND DESIGN FOSAD 2016 ==================================================== http://www.sti.uniurb.it/events/fosad16 ==================================================== 29 August - 3 September 2016, Bertinoro, Italy In cooperation with the European Network for Cyber-security (NeCS) *** Application Deadline: June 20, 2016 FOSAD has been one of the foremost events established with the goal of disseminating knowledge about foundations of security analysis and design to graduate students and young computer scientists from academia or industry. COURSES> Eerke Boiten (Kent Univ.) What's the unit of security? Cas Cremers (Oxford Univ.) Mathematical models, analysis tools, and Internet security Emiliano de Cristofaro (Univ. College London) Privacy-preserving information sharing: tools and applications Bryan Ford (EPFL) Secure systems building Alfredo Pironti (INRIA) Formal verification of security protocol implementations: from theory to practice Ahmad-Reza Sadeghi (TU Darmstadt) Practical systems security Ankur Taly (Google Inc.) Practical distributed authorization The courses alternate theory and practice sessions. OPEN SESSION> Daily sessions are organized for participants who intend to take advantage of the audience for presenting their current research/tool in the area. SCIENTIFIC COMMITTEE> Martin Abadi Javier Lopez Alessandro Aldini Fabio Martinelli (Chair) Gilles Barthe Catherine Meadows Eerke Boiten Bart Preneel Sandro Etalle SCHOOL VENUE> The school is organized at the University Residential Center of Bertinoro (CEUB), Italy: http://www.ceub.it/ The host venue provides a unique architectonical and environmental setting joining the stunning views of the hilltop of Bertinoro with the historical location of the ancient fortress and the facilities of the Center, which offers accommodation, meeting rooms, and modern conference and computing services. SCHOOL DATES> Prospective participants should apply through the FOSAD web page by: June 20, 2016. Notification of accepted applicants will be posted by: June 24, 2016. Registration to the school is due by: July 24, 2016. SCHOOL FEES> The full fee is 900 Euros and covers stay from August 28, in double room, half board (breakfast and lunch), welcome dinner of August 28 and social dinner included. A limited amount of grants will be provided to cover part of the fee for young researchers. -------------- next part -------------- An HTML attachment was scrubbed... URL: From grlmc at grlmc.com Sat May 28 18:08:37 2016 From: grlmc at grlmc.com (GRLMC) Date: Sat, 28 May 2016 18:08:37 +0200 Subject: [fg-arc] TPNC 2016: 2nd call for papers Message-ID: <545102060a010b0b075354000709560657520d04545754020b560108540657565202050107585302090053015550@grlmc_ip-zone_com-6> TPNC 2016: 2nd call for papers*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line*   *************************************************************************** 5th INTERNATIONAL CONFERENCE ON THE THEORY AND PRACTICE OF NATURAL COMPUTING   TPNC 2016   Sendai, Japan   December 12-14, 2016   Organized by:   Cyberscience Center Tohoku University   Research Group on Mathematical Linguistics (GRLMC) Rovira i Virgili University   http://grammars.grlmc.com/TPNC2016/ ***************************************************************************   AIMS:   TPNC is a conference series intending to cover the wide spectrum of computational principles, models and techniques inspired by information processing in nature. TPNC 2016 will reserve significant room for young scholars at the beginning of their career and particular focus will be put on methodology. The conference aims at attracting contributions to nature-inspired models of computation, synthesizing nature by means of computation, nature-inspired materials, and information processing in nature.   VENUE:   TPNC 2016 will take place in Sendai, in the northeast (Tohoku) region of Japan. The city was founded in 1600 and is nicknamed the "city of trees". It is the second largest city north of Tokyo. It takes about 100 minutes to reach Sendai from Tokyo by bullet train (Shinkansen). The venue will be the Cyberscience Center, Aobayama Campus, Tohoku University:   http://www.cc.tohoku.ac.jp/HTML/   SCOPE:   Topics include, but are not limited to:   - Theoretical contributions to:   amorphous computing ant colonies artificial chemistry artificial immune systems artificial life bacterial foraging cellular automata chaos computing collision-based computing complex adaptive systems computing with DNA computing with words and perceptions developmental systems evolutionary computing fractal geometry fuzzy logic gene assembly in ciliates granular computing intelligent systems in-vivo computing membrane computing nanocomputing neural computing optical computing physarum machines quantum computing quantum information reaction-diffusion systems rough sets self-organizing systems swarm intelligence synthetic biology   - Applications of natural computing to:   algorithmics bioinformatics control cryptography design economics graphics hardware human-computer interaction knowledge discovery learning logistics medicine natural language processing optimization pattern recognition planning and scheduling programming robotics telecommunications web intelligence   A flexible "theory to/from practice" approach would be the perfect focus for the expected contributions.   STRUCTURE:   TPNC 2016 will consist of:   - invited talks - peer-reviewed contributions - posters   INVITED SPEAKERS:   Eric Bonabeau (Icosystem), The Interface: Thinking Differently about How Humans and Algorithms Connect   Luis Martínez López (University of Jaén), Managing Natural Noise in Recommender Systems   Qingfu Zhang (City University of Hong Kong), Decomposition Multiobjective Evolutionary Computation   PROGRAMME COMMITTEE:   Andrew Adamatzky (University of the West of England, UK) Zixing Cai (Central South University, China) Óscar Castillo (Tijuana Institute of Technology, Mexico) Óscar Cordón (University of Granada, Spain) Gianni Di Caro (Dalle Molle Institute for Artificial Intelligence Research, Switzerland) Marco Dorigo (Free University of Brussels – ULB, Belgium) Austin G. Fowler (Google, USA) Michel Gendreau (Montreal Polytechnic, Canada) Debasish Ghose (Indian Institute of Science, Bangalore, India) Jin-Kao Hao (University of Angers, France) Inman Harvey (University of Sussex, UK) Wei-Chiang Hong (Nanjing Tech University, China) Amir Hussain (University of Stirling, UK) Robert John (University of Nottingham, UK) Joshua Knowles (University of Birmingham, UK) Kwong-Sak Leung (Chinese University of Hong Kong, China) Seth Lloyd (Massachusetts Institute of Technology, USA) José A. Lozano (University of the Basque Country, Spain) Vittorio Maniezzo (University of Bologna, Italy) Carlos Martín-Vide (Rovira i Virgili University, Spain, chair) Philip K. McKinley (Michigan State University, USA) Jerry M. Mendel (University of Southern California, USA) Marjan Mernik (University of Maribor, Slovenia) Radko Mesiar (Slovak University of Technology in Bratislava, Slovakia) Chrystopher Nehaniv (University of Hertfordshire, UK) Vilém Novák (University of Ostrava, Czech Republic) Linqiang Pan (Huazhong University of Science and Technology, China) Frederick E. Petry (Naval Research Laboratory, USA) Dan Ralescu (University of Cincinnati, USA) Francisco C. Santos (University of Lisbon, Portugal) Friedrich Simmel (Technical University of Munich, Germany) Andrzej Skowron (University of Warsaw, Poland) John A. Smolin (IBM Thomas J. Watson Research Center, USA) Ying Tan (Peking University, China) Guy Theraulaz (Paul Sabatier University, France) Tommaso Toffoli (Boston University, USA) Vicenç Torra (University of Skövde, Sweden) Edward Tsang (University of Essex, UK) Sergi Valverde (Pompeu Fabra University, Spain) José Luis Verdegay (University of Granada, Spain) Fernando J. Von Zuben (University of Campinas, Brazil) K. Birgitta Whaley (University of California, Berkeley, USA) Darrell Whitley (Colorado State University, USA) Xin‐She Yang (Middlesex University, UK) Hao Ying (Wayne State University, USA) Mengjie Zhang (Victoria University of Wellington, New Zealand) Zhi-Hua Zhou (Nanjing University, China)   ORGANIZING COMMITTEE:   Masayuki Fukumitsu (Ebetsu) Carlos Martín-Vide (Tarragona, co-chair) Takaaki Mizuki (Sendai, co-chair) Hideaki Sone (Sendai) Miguel A. Vega-Rodríguez (Cáceres) 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://easychair.org/conferences/?conf=tpnc2016   PUBLICATIONS:   A volume of proceedings published by Springer in the LNCS 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/TPNC2016/Registration.php   DEADLINES:   Paper submission: July 26, 2016 (23:59h, CET) Notification of paper acceptance or rejection: September 2, 2016 Final version of the paper for the LNCS proceedings: September 9, 2016 Early registration: September 9, 2016 Late registration: November 28, 2016 Submission to the post-conference journal special issue: March 14, 2017   QUESTIONS AND FURTHER INFORMATION:   florentinalilica.voicu (at) urv.cat   POSTAL ADDRESS:   TPNC 2016 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:   Tohoku University Universitat Rovira i Virgili -------------- next part -------------- An HTML attachment was scrubbed... URL: From alexander.perucci at graduate.univaq.it Mon May 30 12:21:19 2016 From: alexander.perucci at graduate.univaq.it (alexander.perucci at graduate.univaq.it) Date: Mon, 30 May 2016 12:21:19 +0200 (CEST) Subject: [fg-arc] [Springer JISA journal] CfP - Thematic Series on Verification and Composition for the Internet of Services and Things Message-ID: <1889110757.39.1464603679894.JavaMail.Alexander@DESKTOP-7TKA96C> ==== Call for Papers ==== Springer Journal of Internet Services and Applications (JISA) - Thematic Series on Verification and Composition for the Internet of Services and Things - The Internet of Services and Things promotes a distributed computing environment that will be inhabited by a virtually infinite number of software services and things. Within this context, software systems will increasingly be built by reusing and composing together software services and things distributed over the Internet. The Internet of Services and Things is thus radically changing the way software will be produced, verified and used, and calls for new software composition paradigms and patterns, flexible infrastructures and integration architectures, as well as novel modeling and verification methods. Despite the great interest in software composition and verification methods, when developing service- and thing-based software systems, strong challenges remain in place. This JISA Thematic Series aims at new verification and composition techniques able to meet the requirements of modern applications, counteracting the specialization of traditional approaches in order to deal with heterogeneity, dynamicity, adaptation, large scale, mobility, security, etc. We seek contributions at various levels: from foundational aspects to concrete application experiments; from modeling to verification and analysis; from componentization to composition; and from deployment to execution. ==== Topics include, but are not limited to the following: Verification and Composition for the Internet of Services and Things - Engineering Principles - Requirement Engineering - Development Processes - Design and Programming - Model Checking - Verification and Validation - Model-Driven Development Methods and Tools Run-Time Support for Verifying and Composing Services and Things - Middleware (description, publication, discovery, access, etc.) - Convergence and Integration - Monitoring and Coordination - Scalability, Mobility, Heterogeneity QoS Verification of Service- and Thing-based Systems - Performance, Reliability and Availability Modeling and Evaluation - Security (vulnerabilities, malwares, countermeasures, etc.) - Trust, Privacy, and Sustainability Crosscutting Concerns - Pervasiveness - Context- and Resource-awareness - Semantic-awareness - Seamlessness - Adaptation - Decentralized vs. Centralized Service Composition Approaches Tools, Case studies, Use cases - Smart grid, Smart house, Smart cities, Sustainable and Green Systems - Killer applications JISA is an open access journal. Recent papers can be downloaded from ==== Submission instructions Prior to submission, authors should carefully read over the Submission Guidelines - . Manuscripts are typically 14 two-column pages in length, and should not exceed 16 pages. Prospective authors should submit an electronic copy of their complete manuscript through the SpringerOpen submission system () according to the submission schedule. They should choose the correct Thematic Series in the "sections" box upon submitting. In addition, they should specify the manuscript as a submission to the "Thematic Series on Service Composition for the Future Internet" in the cover letter. If you have any difficulty in paying the author processing charges (APC), please request a waiver from the editors. ==== Important dates - Paper submissions: September 18th, 2016 - First response to authors: November 18th, 2016 ==== Guest editors - Marco Autili, University of L’Aquila, Italy - Massimo Tivoli, University of L’Aquila, Italy - Dimitra Giannakopoulou, NASA Ames Research Center, USA ==== Please address queries related to this call to: - marco.autili at univaq.it - massimo.tivoli at univaq.it - dimitra.giannakopoulou at nasa.gov