From grlmc at urv.cat Sat Nov 1 16:06:13 2014 From: grlmc at urv.cat (GRLMC) Date: Sat, 1 Nov 2014 16:06:13 +0100 Subject: [fg-arc] TPNC 2014: call for participation Message-ID: <4F593C926D0E4A5DA0C445F9848A5315@Carlos1> *To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line* **************************************************************************** 3rd International Conference on the Theory and Practice of Natural Computing TPNC 2014 Granada, Spain December 9-11, 2014 Organised by: Soft Computing and Intelligent Information Systems (SCI2S) University of Granada Research Group on Mathematical Linguistics (GRLMC) Rovira i Virgili University http://grammars.grlmc.com/tpnc2014/ **************************************************************************** PROGRAM Tuesday, December 9 9:00 - 10:00 Registration 10:00 - 10:15 Opening 10:15 - 11:05 Marco Dorigo: Swarm Intelligence - Invited Lecture 11:05 - 11:35 Coffee Break 11:35 - 13:15 Rusin? Freivalds: Ultrametric Vs. Quantum Query Algorithms Peter Niebert and Mathieu Caralp: Cellular Programming Kiyoharu Tagawa and Shoichi Harada: Multi-Noisy-objective Optimization Based on Prediction of Worst-Case Performance Paulo Urbano, Enrique Naredo, and Leonardo Trujillo: Generalization in Maze Navigation using Grammatical Evolution and Novelty Search 13:15 - 14:45 Lunch 14:45 - 16:00 Simon Bin, Sebastian Volke, Gerik Scheuermann, and Martin Middendorf: Comparing the Optimization Behaviour of Heuristics with Topology Based Visualization Jos? Mat?as Cutillas Lozano and Domingo Gim?nez: Parameterized Message-Passing Metaheuristic Schemes on a Heterogeneous Computing System Jonathan Gutierrez, Megan Sorenson, and Eva Strawbridge: Modeling Fluid Flow Induced by C. elegans Swimming at Low Reynolds Number 16:00 - 18:00 Touristic visit Wednesday, December 10 9:00 - 9:50 Kalyanmoy Deb: Multi-Criterion Problem Solving: A Niche for Natural Computing Methods - Invited Lecture 9:50 - 10:05 Break 10:05 - 11:20 Mohammad Ali Javaheri Javid, Mohammad Majid al-Rifaie, and Robert Zimmer: Detecting Symmetry in Cellular Automata Generated Patterns Using Swarm Intelligence Edward Kent, Jason A. D. Atkin, and Rong Qu: Vehicle Routing in a Forestry Commissioning Operation Using Ant Colony Optimisation Michel Boyer and Tal Mor: Extrapolated States, Void States, and a Huge Novel Class of Distillable Entangled States 11:20 - 11:50 Coffee Break and Group Photo 11:50 - 13:05 Vinay K. Gautam, Eugen Czeizler, Pauline C. Haddow, and Martin Kuiper: Design of a Minimal System for Self-replication of Rectangular Patterns of DNA Tiles Naya Nagy and Marius Nagy: Unconditionally Secure Quantum Bit Commitment Protocol Based on Incomplete Information Marcos Villagra and Tomoyuki Yamakami: Quantum and Reversible Verification of Proofs Using Constant Memory Space 13:05 - 14:35 Lunch 14:35 - 15:50 Henning Bordihn, Paolo Bottoni, Anna Labella, and Victor Mitrana: Solving 2D-Pattern Matching with Networks of Picture Processors Clelia De Felice, Rocco Zaccagnino, and Rosalba Zizza: Unavoidable Sets and Regularity of Languages Generated by (1,3)-Circular Splicing Systems Kaoru Fujioka: A Two-Dimensional Extension of Insertion Systems 15:50 - 16:05 Break 16:05 - 16:35 Special session Thursday, December 11 9:00 - 9:50 Francisco Herrera: Bioinspired Real Parameter Optimization: Where We Are and What's Next - Invited Lecture 9:50 - 10:05 Break 10:05 - 11:20 Muhammad Marwan Muhammad Fuad: Differential Evolution-Based Weighted Combination of Distance Metrics for k-means Clustering Sergio Santander-Jim?nez and Miguel A. Vega-Rodr?guez: Inferring Multiobjective Phylogenetic Hypotheses by Using a Parallel Indicator-Based Evolutionary Algorithm Jean-Philippe Bernard, Benjamin Gilles, and Christophe Godin: Combining Finite Element Method and L-Systems Using Natural Information Flow Propagation to Simulate Growing Dynamical Systems 11:20 - 11:50 Coffee Break 11:50 - 13:05 Abdoulaye Sarr, Alexandra Fronville, and Vincent Rodin: Morphogenesis Model for Systematic Simulation of Forms' Co-evolution with Constraints : Application to Mitosis Jir? ??ma: The Power of Extra Analog Neuron Zheng Yan, Xinyi Le, and Jun Wang: Model Predictive Control of Linear Parameter Varying Systems Based on a Recurrent Neural Network 13:05 - 13:15 Closing --- Este mensaje no contiene virus ni malware porque la protecci?n de avast! Antivirus est? activa. http://www.avast.com From heiko.koziolek at de.abb.com Sat Nov 1 14:44:00 2014 From: heiko.koziolek at de.abb.com (Heiko Koziolek) Date: Sat, 1 Nov 2014 13:44:00 +0000 Subject: [fg-arc] QoSA 2015: Call for Papers Message-ID: ============================================= QoSA 2015 11th International ACM Sigsoft Conference on the Quality of Software Architectures Montreal, Canada, May 4 - 8, 2015 http://qosa.ipd.kit.edu/qosa_2015/ part of CompArch 2015 http://comparch2015.org collocated with WICSA 2015 - 12th Working IEEE / IFIP Conference on Software Architecture ============================================= GOALS and SCOPE The goal of QoSA (Quality of Software Architectures) is to address the quality aspects of software architecture, focusing broadly on its quality characteristics and how these relate to the design of software architectures. Specific issues of interest are defining and modeling quality measures, evaluating and managing architecture quality, linking architecture to requirements and implementation, and preserving architecture quality throughout the system lifetime. QoSA is the premier forum for the presentation of new results in the area of software architecture quality. It brings together researchers, practitioners and students who are concerned with software architecture quality in a holistic way. As a working conference QoSA has a strong practical bias, encompassing research papers, industrial reports and invited talks from renowned speakers. This year the main theme of QoSA is Software Architecture for the 4th Industrial Revolution. After mechanization, mass production, and electronics, the Internet is about to enable a new level of productivity in manufacturing. This shall be enabled by smart cyber-physical systems connected to cloud computing services and communicating using standardized semantics. In the near future, industrial big data analytics on monitored sensor data shall improve the efficiency and individualization of production facilities. The IT systems for this 4th Industrial Revolution will be partially self-adaptive and may require novel approaches for software architecting. In this year's QoSA we particularly solicit contributions that explore the various implications of this upcoming industrial revolution on software architecture. This includes reference architectures, software architectures adapting at run time, architecture styles and patterns for cyber-physical and distributed systems, as well as approaches exploring critical quality properties, such as performance, reliability, security, safety, maintainability, and usability. At the same time, submissions related to the general topic of the conference are welcome. ============================================= TOPICS Topics of interest for the conference include (but are not limited to) the following themes: Architecture Design and Implementation - design alternatives, trade-offs, and their influence on the quality of software architecture - adapting software architectures to address changes in software and its environment - architectural refactorings and their implications for quality - architectural standards and reference architectures - model-driven methods and tools for architecture design and implementation - architecture patterns and styles improving various quality attributes Architecture Evaluation - empirical validation, testing, prototyping and simulation for assessing architecture quality - performance, reliability, maintainability, security and other quality attribute evaluations - methods and processes for evaluating architecture quality (also in presence of the change) - model-driven evaluation of software architecture quality - evaluating the effects of architectural adaptations at run-time - lessons learned and empirical validation of theories and frameworks on architecture quality - quality assessment of legacy systems and third party applications Architecture in the 4th Industrial Revolution - architectures for self-adapting embedded and physical systems - architectures exploiting semantic web technologies for manufacturing - reference architectures for internet-of-things applications - architectures supporting decentralized, self-organizing cyber-physical systems Architecture Management - assessment and enforcement of architectural conformance throughout the software lifecycle - traceability of software architecture to requirements and implementation - models and tools for coping with software architecture evolution ============================================= IMPORTANT DATES Abstracts due: December 21, 2014 Full papers due: January 9, 2015 Notification of acceptance: February 9, 2015 Camera-ready due: February 23, 2015 ============================================= TYPES of SUBMISSIONS We solicit two types of submissions: regular papers and position papers. - Regular papers should describe original and significant results of theoretical, empirical, conceptual, or experimental research or of experience from industrial practice. Reflecting the practical emphasis of QoSA, papers showcasing applications along with a sound conceptual contribution are welcome. Regular papers are limited to 10 pages. - Position papers describe novel ideas or innovative proposals whose aim is to stimulate discussion related to experiences and ideas, rather than to present mature results. Position papers are limited to 6 pages. Papers should follow the standard ACM format for conference proceedings (alternate style) and submitted online via the EasyChair Conference Management System: https://easychair.org/conferences/?conf=qosa2015 ============================================= ORGANIZING COMMITTEE Program Chairs Ipek Ozkaya (Carnegie Mellon Software Engineering Institute, USA) Heiko Koziolek, (ABB Corporate Research, Germany) Comparch 2015 General Chair Philippe Kruchten (University British Columbia) ============================================= PROGRAM COMMITTEE Aldeida Aleti, Monash University, Australia Muhammad Ali Babar, IT University of Copenhagen, Denmark Paris Avgeriou, University of Groningen, Netherlands Jan Bosch, Chalmers University of Technology, Sweden Barbora Buhnova, Masaryk University, Czech Republic Tomas Bures, Charles University Prague, Czech Republic Yuangfang Cai, Drexel University, USA Radu Calinescu, University of York, UK Amine Chigani, GE Software Excellence Center, USA Vittorio Cortellessa, Universita dell'Aquila, Italy Ivica Crnkovic, M?lardalen University, Sweden Antinisca Di Marco, Universita' dell'Aquila, Italy Vincenzo Grassi, Universita' di Roma "Tor Vergata", Italy Lars Grunske, Universit?t Stuttgart, Germany Clemente Izurieta, Montana State University, USA Samuel Kounev, Karlsruhe Institute of Technology, Germany Anne Koziolek, Karlsruhe Institute of Technology, Germany Marin Litoiu, York University, Canada John D. McGregor, Clemson University, USA Jos? Merseguer, Universidad de Zaragoza, Spain Raffaela Mirandola, Politecnico di Milano, Italy Rob Nord, Software Engineering Institute, USA Dorina Petriu, Carleton University, Canada Paul Pettersson, M?lardalen University, Sweden Ralf Reussner, Karlsruhe Institute of Technology, Germany Jose-Raul Romero, University of Cordoba, Spain Roshanak Roshandel, Seattle University, USA Antonino Sabetta, SAP Research Sophia-Antipolis, France Klaus Schmid, University of Hildesheim, Germany Heinz Schmidt, RMIT University, Australia Mike Smit, Dalhousie University, Canada Judith Stafford, University of Colorado Boulder, USA Girish Suryanarayana, Siemens Corporate Research, India Clemens Szyperski, Microsoft Research, USA Bedir Tekinerdogan, Bilkent University, Turkey Catia Trubiani, Gran Sasso Science Institute, Italy Petr Tuma, Charles University, Czech Republic Olaf Zimmermann, Hochschule f?r Technik Rapperswil, Switzerland ============================================= From steffen.becker at informatik.tu-chemnitz.de Mon Nov 3 06:09:17 2014 From: steffen.becker at informatik.tu-chemnitz.de (Steffen Becker) Date: Mon, 03 Nov 2014 06:09:17 +0100 Subject: [fg-arc] Fwd: [SEWORLD] CfP - CBSE 2015 - THE 18TH INTERNATIONAL ACM SIGSOFT SYMPOSIUM ON COMPONENT BASED SOFTWARE ENGINEERING In-Reply-To: <279b4e37a77d4f868d1f0868056bfffe@EXHC1.ex.uni-paderborn.de> References: <279b4e37a77d4f868d1f0868056bfffe@EXHC1.ex.uni-paderborn.de> Message-ID: <54570DFD.3040002@informatik.tu-chemnitz.de> Entschuldigt bitte, falls ihr den CfP mehrfach bekommt... -------- Weitergeleitete Nachricht -------- Betreff: [SEWORLD] CfP - CBSE 2015 - THE 18TH INTERNATIONAL ACM SIGSOFT SYMPOSIUM ON COMPONENT BASED SOFTWARE ENGINEERING Weitersenden-Datum: Sat, 18 Oct 2014 07:15:21 +0200 Weitersenden-Von: steffen.becker at uni-paderborn.de Datum: Fri, 17 Oct 2014 12:56:23 +0000 Von: Davide Falessi An: seworld at sigsoft.org THE 18TH INTERNATIONAL ACM SIGSOFT SYMPOSIUM ON COMPONENT BASED SOFTWARE ENGINEERING (CBSE 2015) Montreal, Canada, May 4 to May 8, 2015 http://cbse-conferences.org/2015/ CBSE is an ACM SIGSOFT (http://www.sigsoft.org/) event, part of the CompArch federated conference series -- see at http://comparch2015.org/ for more information. SUBMISSION DEADLINES The following deadlines are intended to be relative to the UMT/GMT time zone. Abstract submission deadline: December 14, 2014 Papers submission deadline: December 21, 2014 GOALS Component-based Software Engineering (CBSE) continues to attract interest and evolve as a discipline for the rapid assembly of flexible software systems. CBSE combines elements of software requirements engineering, architecture, design, verification, testing, configuration and deployment. The CBSE symposium has an established track record of bringing together researchers and practitioners from a variety of disciplines to promote a better understanding of CBSE from diverse perspectives, and to engage in active discussion and debate. CBSE 2015 is open to all participants from universities and industry interested in CBSE and related areas. SCOPE The CBSE symposium has emerged as the flagship research event for the component community. CBSE 2015 encompasses research (both theoretical and applied) that extends the state-of-the-art in component specification, composition, analysis, testing, and verification. Experience reports, empirical studies and presentation of component-based benchmarks and case studies are also within scope. Participants from industry and academia have the opportunity to exchange ideas and experiences in a variety of sessions involving invited and technical presentations, posters, and panels. New trends in global services, distributed and cloud-based systems architectures, dynamically adaptable systems, and large-scale software systems often cross organizational boundaries and push the limits of established component-based methods, tools and platforms. Innovative solutions from diverse paradigms (e.g., service-, aspect-, and agent-oriented) are needed to address these emerging trends. MAIN TOPICS Topics of interest for CBSE 2015 therefore include, but are not limited to, the following: * Specification, architecture, and design of component models and component-based systems * Software quality assurance for component-based engineering * Verification, testing and certification of component-based systems * Component composition, binding, and dynamic adaptation * Formal methods for automated component composition and integration * Component-based engineering with agents, aspects, or services * Component-based product line engineering * Non-functional properties (quality of service attributes) in component-based engineering * Patterns and frameworks for component-based engineering * Tools and methods for component-based engineering * Industrial experience using component-based software development * Empirical studies in component-based software engineering * Teaching component-based software engineering * Migration to and evolution of component-based software systems SPECIAL THEME: Components for physical services Software systems increasingly control processes which reside outside traditional computing devices. These processes are constrained by physical laws. Examples of such systems are smart grids to control energy distribution, autonomous vehicles which drive without driver interaction and coordinate with other cars to avoid traffic jams, or robot fleets which are deployed in search and rescue missions. All these systems became only feasible because of their software parts which relieve humans from interactions. However, such systems are also often mission or safety critical and hence have to comply to strict quality requirements. Component-based software development allows to keep the increased complexity and analysability due to the interaction with the physical world in manageable ranges due to encapsulation and strict interface focus. Such encapsulation allows to verify the properties of single components and then reason on the properties of their composition independently. PAPER SUBMISSION Papers will be evaluated by at least three members of the Program Committee. They should be in ACM format (http://www.acm.org/sigs/publications/proceedings-templates - please use the Option 2 template, i.e., the Tighter Alternate style) and describe, in English, original work that has not been published or submitted elsewhere. PDF versions of papers should be submitted through the CBSE 2015 EasyChair web site: https://www.easychair.org/conferences/?conf=cbse2015 We solicit two categories of papers: * Regular papers, not exceeding 10 pages (including appendices), describing fully developed work. Authors of papers reporting experimental work are strongly encouraged to make their experimental results available for use by reviewers. Similarly, case study papers should describe significant case studies and the complete development should be made available for use by reviewers. * Short papers of a maximum of 6 pages should describe novel ideas that have not been fully evaluated, or operational tools and their contributions. Tool papers should explain enhancements made compared to previously published work. Authors of tools papers should make their tool available for use by reviewers. PUBLICATION Accepted papers will be published in the ACM digital library. A paper must be personally presented at the CBSE 2015 conference by one of the authors in order to appear in the proceedings. The best contribution of the conference will receive the ACM SIGSOFT Distinguished Paper Award, given by the ACM Special Interest Group on Software Engineering. IMPORTANT DATES The following deadlines are intended to be relative to the UMT/GMT time zone. Abstract submission deadline: December 14, 2014 Papers submission deadline: December 21, 2014 Notification to authors: February 9, 2015 Camera-ready version: February 23, 2015 Conference: May 4 - May 8, 2015 GENERAL CHAIR Philippe Kruchten, University of British Columbia (Canada) PROGRAM CO-CHAIRS Steffen Becker, University of Technology Chemnitz, Germany Jean-Guy Schneider, Swinburne University of Technology, Australia PROGRAM COMMITTEE Domenico Bianculli, University of Luxembourg (Luxembourg) Carlos Canal, University of Malaga (Spain) Ivica Crnkovic, Malardalen University (Sweden) Jan Carlson, Malardalen University (Sweden) Jens Dietrich, Massey University (New Zealand) Alessandro Garcia, PUC-Rio (Brazil) Nikolaos Georgantas, INRIA (France) Serban Gheorghe, Edgewater Computer Systems Inc (Canada) Antonio Filieri, University of Stuttgart (Germany) Imed Hammouda, Chalmers & Gothenburg University (Sweden) Gang Huang, Peking University (China) George Heineman, Worcester Polytechnic Institute (USA) Paola Inverardi, University of L'Aquila (Italy) Magnus Larsson, ABB (India) Doug Lea, SUNY Oswego (USA) Grace A. Lewis, CMU Software Engineering Institute (USA) Yan Liu, Concordia University (Canada) Raffaela Mirandola, Politecnico di Milano (Italy) Rob van Ommering, Philips Research (Netherlands) Noel Plouzeau, IRISA/University of Rennes 1 (France) Frantisek Plasil, Charles University in Prague (Czech Republic) Ralf Reussner, Karlsruhe Institute of Technology (Germany) Houari Sahraoui, Universite de Montreal (Canada) Wilhelm Schaefer, University of Paderborn (Germany) Judith Stafford, University of Colorado (USA) Lionel Seinturier, University of Lille (France) Clemens Szyperski, Microsoft Research Massimo Tivoli, University of L'Aquila (Italy) Michael Wahler, ABB Corporate Research (Switzerland) STEERING COMMITTEE Ivica Crnkovic, Malardalen University (Sweden) Ian Gorton, Software Engineering Institute (USA) George Heineman, Worcester Polytechnic Institute (USA) Grace A. Lewis, CMU Software Engineering Institute (USA) Raffaela Mirandola, Politecnico di Milano (Italy) Ralf Reussner, Karlsruhe Institute of Technology (Germany) Heinz Schmidt, RMIT University (Australia) Judith Stafford, University of Colorado (USA) Clemens Szyperski, Microsoft Research (USA) CBSE is kindly supported by ACM SIGSOFT (http://www.sigsoft.org/) ============================================================ To contribute to SEWORLD, send your submission to mailto:seworld at sigsoft.org http://www.sigsoft.org/seworld provides more information on SEWORLD as well as a complete archive of messages posted to the list. ============================================================ -- Prof. Steffen Becker Professur Softwaretechnik Angewandte Informatik Technische Universit?t Chemnitz Stra?e der Nationen 62 | R. B216B 09111 Chemnitz Germany Tel: +49 371 531-36144 Fax: +49 371 531-836144 steffen.becker at informatik.tu-chemnitz.de www.tu-chemnitz.de From klaus.havelund at jpl.nasa.gov Mon Nov 3 19:29:44 2014 From: klaus.havelund at jpl.nasa.gov (Klaus Havelund) Date: Mon, 3 Nov 2014 19:29:44 +0100 Subject: [fg-arc] [fm-announcements] NFM 2015 - deadline extension: Nov 18 Message-ID: CALL FOR PAPERS *** Deadline extension: Nov 18, 2014 *** The 7th NASA Formal Methods Symposium http://www.NASAFormalMethods.org/nfm2015 27 ? 29 April 2015 Pasadena, California, USA THEME The widespread use and increasing complexity of mission- and safety-critical systems require advanced techniques that address their specification, verification, validation, and certification. The NASA Formal Methods Symposium is a forum for theoreticians and practitioners from academia, industry, and government, with the goals of identifying challenges and providing solutions to achieving assurance in mission- and safety-critical systems. Within NASA such systems include for example autonomous robots, separation assurance algorithms for aircraft, Next Generation Air Transportation (NextGen), and autonomous rendezvous and docking for spacecraft. Moreover, emerging paradigms such as property-based design, code generation, and safety cases are bringing with them new challenges and opportunities. The focus of the symposium will be on formal techniques, their theory, current capabilities, and limitations, as well as their application to aerospace, robotics, and other mission- and safety-critical systems in all design life-cycle stages. We encourage submissions on cross-cutting approaches marrying formal verification techniques with advances in critical system development, such as requirements generation, analysis of aerospace operational concepts, and formal methods integrated in early design stages and carrying throughout system development. TOPICS Topics of interest include, but are not limited to: Model checking Theorem proving SAT and SMT solving Symbolic execution Static analysis Runtime verification Program refinement Compositional verification Modeling and specification formalisms Model-based development Model-based testing Requirement engineering Formal approaches to fault tolerance Security and intrusion detection Applications of formal methods to aerospace systems Applications of formal methods to cyber-physical systems Applications of formal methods to human-machine interaction analysis INVITED SPEAKERS Dino Distefano Software Engineer at Facebook, California, USA and Professor at Queen Mary University of London, UK. Viktor Kuncak Leads Lab for Automated Reasoning and Analysis at EPFL, Lausanne, Switzerland. Rob Manning Chief Engineer at NASA/JPL. IMPORTANT DATES Paper Submission (*** deadline extended one week ***): 18 Nov 2014 Paper Notifications: 12 Jan 2015 Camera-ready Papers: 9 Feb 2015 Symposium: 27 ? 29 April 2015 LOCATION AND COST The symposium will take place at the Hilton Hotel, Pasadena, California, USA, April 27-29, 2015. There will be no registration fee for participants. All interested individuals, including non-US citizens, are welcome to submit, to attend, to listen to the talks, and to participate in discussions; however, all attendees must register. SUBMISSION DETAILS There are two categories of submissions: Regular papers describing fully developed work and complete results (15 pages) Short papers describing tools, experience reports, or descriptions of work in progress with preliminary results (6 pages) All papers should be in English and describe original work that has not been published or submitted elsewhere. All submissions will be fully reviewed by members of the Programme Committee. Papers will appear in a volume of Springer?s Lecture Notes on Computer Science (LNCS), and must use LNCS style formatting. Papers should be submitted in PDF format. PC CHAIRS Klaus Havelund, NASA Jet Propulsion Laboratory, USA Gerard Holzmann, NASA Jet Propulsion Laboratory, USA Rajeev Joshi, NASA Jet Propulsion Laboratory, USA PUBLICITY SUPPORT Ylies Falcone, Universit? Joseph Fourier, France PROGRAMME COMMITTEE Erika Abraham, RWTH Aachen University, Germany Julia Badger, NASA Johnson Space Center, USA Christel Baier, Technische Universit?t Dresden, Germany Saddek Bensalem, VERIMAG/UJF, France Dirk Beyer, University of Passau, Germany Armin Biere, Johannes Kepler University, Austria Nikolaj Bjorner, Microsoft Research, USA Borzoo Bonakdarpour, McMaster University, Canada Alessandro Cimatti, Fondazione Bruno Kessler, Italy Leonardo de Moura, Microsoft Research, USA Ewen Denney, NASA Ames Research Center, USA Ben Di Vito, NASA Langley Research Center, USA Dawson Engler, Stanford University, USA Jean-Christophe Filliatre, Universit? Paris-Sud, France Dimitra Giannakopoulou, NASA Ames Research Center, USA Alwyn Goodloe, NASA Langley Research Center, USA Susanne Graf, VERIMAG, France Alex Groce, Oregon State University, USA Radu Grosu, Vienna University of Technology, Austria John Harrison, Intel Corporation, USA Mike Hinchey, University of Limerick/Lero, Ireland Bart Jacobs, University of Leuven, Belgium Sarfraz Khurshid, The University of Texas at Austin, USA Gerwin Klein, NICTA, Australia Daniel Kroening, Oxford University, UK Orna Kupferman, Hebrew University Jerusalem, Israel Kim Larsen, Aalborg University, Denmark Rustan Leino, Microsoft Research, USA Martin Leucker, University of Lubeck, Germany Rupak Majumdar, Max Planck Institute, Germany Pete Manolios, Northeastern University, USA Peter Mueller, ETH Zurich, Switzerland Kedar Namjoshi, Bell Labs/Alcatel-Lucent, USA Corina Pasareanu, NASA Ames Research Center, USA Doron Peled, Bar Ilan University, Israel Suzette Person, NASA Langley Research Center, USA Andreas Podelski, University of Freiburg, Germany Grigore Rosu, University of Illinois, USA Kristin Yvonne Rozier, NASA Ames Research Center, USA Natarajan Shankar, SRI International, USA Natasha Sharygina, University of Lugano, Switzerland Scott Smolka, Stony Brook University, USA Willem Visser, University of Stellenbosch, South Africa Mahesh Viswanathan, University of Illinois, USA Mike Whalen, University of Minnesota, USA Jim Woodcock, University of York, UK STEERING COMMITTEE Julia Badger, NASA Johnson Space Center Ewen Denney, NASA Ames Research Center Ben Di Vito, NASA Langley Research Center Klaus Havelund, NASA Jet Propulsion Laboratory Gerard Holzmann, NASA Jet Propulsion Laboratory Cesar Munoz, NASA Langley Research Center Corina Pasareanu, NASA Ames Research Center Suzette Person, NASA Langley Research Center Kristin Yvonne Rozier, NASA Ames Research Center -------------- 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 dreimer at ltu.edu Mon Nov 3 19:51:20 2014 From: dreimer at ltu.edu (Professor Don Reimer) Date: Mon, 03 Nov 2014 13:51:20 -0500 Subject: [fg-arc] Exhibition, Sponsorship and Pre-workshop OPPORTUNITIES at the 2015 IEOM Conference! Message-ID: <8212ad3c462d4950b296ad65af7ae7c9@ltu.edu> Dear Colleagues: The 2015 IEOM Dubai Conference is just a few months away; however, there is still time to take advantage of these significant opportunities that this event presents. The upcoming IEOM Conference in Dubai will be the fifth year for this event and it will be biggest and best ever. We are expecting to have over 500 participants in attendance. This year as in previous IEOM Conferences, the event will draw representatives from around the globe. People from more than 70 countries have submitting papers / abstracts and will be attending technical sessions, viewing exhibits and listening to renowned keynote speakers. IT'S NOT TOO LATE FOR YOUR ORGANIZATION, SCHOOL AND COMPANY TO TAKE ADVANTAGE OF THE FOLLOWING EXCEPTIONAL OPPORTUNITIES! Conference Exhibitor: Reserve your space as an exhibitor at the 2015 IEOM Conference at the Hyatt Regency Dubai. This premium conference facility has an excellent exhibit space for your organization, school and company. The large number of conference attendees and guests will provide an excellent opportunity to promote your organization on a global basis. The networking opportunities are also outstanding. Conference Sponsorship: It's not too late to support the IEOM Society with an event sponsorship. This year the conference has numerous sponsorship opportunities. Your organization or company can take advantage of these opportunity by sponsoring one of the following events: . Conference award dinner . Welcome reception . Printed program . Conference program App . CDROM proceedings . Student paper competition . Senior design project poster competition The sponsorship has numerous benefits. You can details from the website: http://iieom.org/ieom/sponsorship/. Pre Conference Workshops: The 2015 IEOM Conference will offer several outstanding Pre Conference Workshop events: SIX SIGMA, ENTREPRENEURSHIP, INTRAPRENEURSHIP AND ENGINEERING INNOVATION, and PROJECT MANAGEMENT. Make sure you take advantage of the workshop opportunities that are being made available. The space is limited; therefore, you must act now to reserve your seat at the following workshops: Please contact Professor Don Reimer (dreimer at ltu.edu, 1-248-204-2573) for details about exhibition, sponsorship and pre-conference workshops. An overview of the IEOM 2015 Dubai Conference is attached for your information. Let us know if you have any question. Thanks Professor Don Reimer Sponsors and Exhibitors Chair, IEOM 2015 IEOM Society: www.iieom.org ---------------------------------------------- Don Reimer, College Professor Director, Entrepreneurial Programs A. Leon Linton Department of Mechanical Engineering - E40 College of Engineering Lawrence Technological University 248/204-2573 dreimer at ltu.edu -------------- next part -------------- An HTML attachment was scrubbed... URL: -------------- next part -------------- A non-text attachment was scrubbed... Name: Conference Overview - IEOM 2015 v2.pdf Type: application/octet-stream Size: 1071390 bytes Desc: Conference Overview - IEOM 2015 v2.pdf URL: From grlmc at urv.cat Sat Nov 8 22:27:18 2014 From: grlmc at urv.cat (GRLMC) Date: Sat, 8 Nov 2014 22:27:18 +0100 Subject: [fg-arc] AlCoB 2015: 1st call for papers Message-ID: *To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line* **************************************************************************** ****** 2nd INTERNATIONAL CONFERENCE ON ALGORITHMS FOR COMPUTATIONAL BIOLOGY AlCoB 2015 Mexico City, Mexico August 4-6, 2015 Organized by: Centre for Complexity Sciences (C3) School of Sciences Institute for Research in Applied Mathematics and Systems (IIMAS) Graduate Program in Computing Science and Engineering National Autonomous University of Mexico Research Group on Mathematical Linguistics (GRLMC) Rovira i Virgili University http://grammars.grlmc.com/alcob2015/ **************************************************************************** ****** AIMS: AlCoB aims at promoting and displaying excellent research using string and graph algorithms and combinatorial optimization to deal with problems in biological sequence analysis, genome rearrangement, evolutionary trees, and structure prediction. The conference will address several of the current challenges in computational biology by investigating algorithms aimed at: 1) assembling sequence reads into a complete genome, 2) identifying gene structures in the genome, 3) recognizing regulatory motifs, 4) aligning nucleotides and comparing genomes, 5) reconstructing regulatory networks of genes, and 6) inferring the evolutionary phylogeny of species. Particular focus will be put on methodology and significant room will be reserved to young scholars at the beginning of their career. VENUE: AlCoB 2015 will take place in Mexico City, the oldest capital city in the Americas and the largest Spanish-speaking city in the world. The venue will be the main campus of the National Autonomous University of Mexico. SCOPE: Topics of either theoretical or applied interest include, but are not limited to: Exact sequence analysis Approximate sequence analysis Pairwise sequence alignment Multiple sequence alignment Sequence assembly Genome rearrangement Regulatory motif finding Phylogeny reconstruction Phylogeny comparison Structure prediction Compressive genomics Proteomics: molecular pathways, interaction networks ... Transcriptomics: splicing variants, isoform inference and quantification, differential analysis Next-generation sequencing: population genomics, metagenomics, metatranscriptomics ... Microbiome analysis Systems biology STRUCTURE: AlCoB 2015 will consist of: invited talks invited tutorials peer-reviewed contributions INVITED SPEAKERS: to be announced PROGRAMME COMMITTEE: Stephen Altschul (National Center for Biotechnology Information, Bethesda, USA) Yurii Aulchenko (Russian Academy of Sciences, Novosibirsk, Russia) Pierre Baldi (University of California, Irvine, USA) Daniel G. Brown (University of Waterloo, Canada) Yuehui Chen (University of Jinan, China) Keith A. Crandall (George Washington University, Washington, USA) Joseph Felsenstein (University of Washington, Seattle, USA) Michael Galperin (National Center for Biotechnology Information, Bethesda, USA) Susumu Goto (Kyoto University, Japan) Igor Grigoriev (DOE Joint Genome Institute, Walnut Creek, USA) Yike Guo (Imperial College, London, UK) Javier Herrero (University College London, UK) Karsten Hokamp (Trinity College Dublin, Ireland) Hsuan-Cheng Huang (National Yang-Ming University, Taipei, Taiwan) Ian Korf (University of California, Davis, USA) Nikos Kyrpides (DOE Joint Genome Institute, Walnut Creek, USA) Yun Li (University of North Carolina, Chapel Hill, USA) Jun Liu (Harvard University, Cambridge, USA) Mingyao Li (University of Pennsylvania, Philadelphia, USA) Rodrigo L?pez (European Bioinformatics Institute, Hinxton, UK) Andrei N. Lupas (Max Planck Institute for Developmental Biology, T?bingen, Germany) B.S. Manjunath (University of California, Santa Barbara, USA) Carlos Mart?n-Vide (chair, Rovira i Virgili University, Tarragona, Spain) Tarjei Mikkelsen (Broad Institute, Cambridge, USA) Henrik Nielsen (Technical University of Denmark, Lyngby, Denmark) Christine Orengo (University College London, UK) Modesto Orozco (Institute for Research in Biomedicine, Barcelona, Spain) Christos A. Ouzounis (Centre for Research & Technology Hellas, Thessaloniki, Greece) Manuel Peitsch (Philip Morris International R&D, Neuch?tel, Switzerland) David A. Rosenblueth (National Autonomous University of Mexico, Mexico City, Mexico) Julio Rozas (University of Barcelona, Spain) Alessandro Sette (La Jolla Institute for Allergy and Immunology, USA) Peter F. Stadler (University of Leipzig, Germany) Guy Theraulaz (Paul Sabatier University, Toulouse, France) Alfonso Valencia (Spanish National Cancer Research Centre, Madrid, Spain) Kai Wang (University of Southern California, Los Angeles, USA) Lusheng Wang (City University of Hong Kong, Hong Kong) Zidong Wang (Brunel University, Uxbridge, UK) Harel Weinstein (Cornell University, New York, USA) Jennifer Wortman (Broad Institute, Cambridge, USA) Jun Yu (Chinese Academy of Sciences, Beijing, China) Mohammed J. Zaki (Rensselaer Polytechnic Institute, Troy, USA) Louxin Zhang (National University of Singapore, Singapore) Hongyu Zhao (Yale University, New Haven, USA) ORGANIZING COMMITTEE: Adrian Horia Dediu (Tarragona) Francisco Hern?ndez-Quiroz (Mexico City) Carlos Mart?n-Vide (Tarragona, co-chair) David A. Rosenblueth (Mexico City, co-chair) Florentina Lilica Voicu (Tarragona) SUBMISSIONS: Authors are invited to submit non-anonymized papers in English presenting original and unpublished research. Papers should not exceed 12 single-spaced pages (including eventual appendices, references, proofs, etc.) and should be prepared according to the standard format for Springer Verlag's LNCS series (see http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0). Submissions have to be uploaded to: https://www.easychair.org/conferences/?conf=alcob2015 PUBLICATIONS: A volume of proceedings published by Springer in the LNCS/LNBI 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/alcob2015/Registration.php DEADLINES: Paper submission: March 2, 2015 (23:59 CET) Notification of paper acceptance or rejection: April 10, 2015 Final version of the paper for the LNCS/LNBI proceedings: April 19, 2015 Early registration: April 19, 2015 Late registration: July 21, 2015 Submission to the journal special issue: November 6, 2015 QUESTIONS AND FURTHER INFORMATION: florentinalilica.voicu at urv.cat POSTAL ADDRESS: AlCoB 2015 Research Group on Mathematical Linguistics (GRLMC) Rovira i Virgili University Av. Catalunya, 35 43002 Tarragona, Spain Phone: +34 977 559 543 Fax: +34 977 558 386 ACKNOWLEDGEMENTS: National Autonomous University of Mexico Rovira i Virgili University --- Este mensaje no contiene virus ni malware porque la protecci?n de avast! Antivirus est? activa. http://www.avast.com From m.huisman at utwente.nl Mon Nov 10 12:11:09 2014 From: m.huisman at utwente.nl (Marieke Huisman) Date: Mon, 10 Nov 2014 12:11:09 +0100 Subject: [fg-arc] Last call for Proposals for Workshops at FM2015 (20th Intl. Symposium on Formal Methods); 22.-26. June, 2015, Oslo Message-ID: <54609D4D.2070509@utwente.nl> News: extra support for workshops offered by FME board Deadline for proposals: November 14, 2014 CALL FOR PROPOSALS FOR WORKSHOPS The 20th International Symposium on Formal Methods (FM 2015) will take place in Oslo, Norway, June 22-26, 2015. For this major event, we are inviting people to submit proposals for workshops. The purpose of the workshops is to provide an informal setting for workshop participants to discuss technical issues, exchange research ideas, and to discuss and/or demonstrate applications. These workshops may be driven by fundamental academic interests or by needs from specific application domains. We encourage a diversity of workshops relating to different varieties of formal models. We also explicitly welcome satellite events in a non-traditional format, such as formal methods-related competitions. To give an extra impulse to the success of workshops, the FME board offers the possibility to apply for an extra support of 500 euro to workshops and tutorials. This can be used e.g. to waive the fee of an invited speaker, the organizer(s) of a tutorial, partial coverage of a workshop dinner, making manual or books available to tutorial participants, or any specific things that may contribute to the scientific quality and/or social interaction within the workshop. Exact details on how to apply for this support will be provided when the workshop proposal is accepted. All workshop proposals must be written in English. Proposals for workshops should be no more than 3 pages in length and submitted to the Workshops chair before November 14, 2014 (see below). A workshop proposal should include a draft call-for-papers containing at least the following information: Title and brief technical description of the workshop, specifying the goals and the technical issues that will be its focus. The names and contact information (web page, email address) of the Programme Committee (PC) chairs, i.e., the workshop organisers. Moreover, a tentative list of workshop PC members should be given. We suggest one or two PC chairs and at least 10 PC members coming from different countries. Moreover, the following additional information is requested: If the workshop has taken place before: How often has the workshop taken place so far? Which conference(s) has the workshop been colocated with so far? Number of participants in the last installment. A discussion of the proposed format and agenda. The proposed duration (half, one or two days). Procedures for selecting participants and papers. Potential invited speakers. Expected number of participants. Each workshop programme chair will be responsible for the following: Producing a web page and a "Call for Papers/Participation" for their workshop. Providing a brief description of the workshop for the conference web page and programme, and providing a workshop web page the conference can refer to for details. Selecting the papers for the workshop proceedings and providing the camera ready copies ready for publication. All advertising of the workshop beyond web page advertising. Appointing session chairs, etc. The local organisation of the conference will take care of the production of informal or electronic workshop proceedings, assuming that the proceedings are camera ready. Submission of Workshop Proposals Proposals should be submitted as a PDF file. Please send your proposals and any inquiries by electronic mail to the Workshop chairs: Marieke Huisman and Volker Stolz . Dates Deadline for workshop proposals: November 14, 2014 Notification of decision on workshops: November 28, 2014 From grlmc at urv.cat Sat Nov 15 19:25:10 2014 From: grlmc at urv.cat (GRLMC) Date: Sat, 15 Nov 2014 19:25:10 +0100 Subject: [fg-arc] BigDat 2015: registration deadline 23 November Message-ID: <27C9FC3AF52F4C438905287DB35220CE@Carlos1> *To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line* ***************************************************** INTERNATIONAL WINTER SCHOOL ON BIG DATA BigDat 2015 Tarragona, Spain January 26-30, 2015 Organized by Rovira i Virgili University http://grammars.grlmc.com/bigdat2015/ ***************************************************** --- 6th registration deadline: November 23, 2014 --- ***************************************************** AIM: BigDat 2015 is a research training event for graduates and postgraduates in the first steps of their academic career. It aims at updating them about the most recent developments in the fast developing area of big data, which covers a large spectrum of current exciting research, development and innovation with an extraordinary potential for a huge impact on scientific discoveries, medicine, engineering, business models, and society itself. Renowned academics and industry pioneers will lecture and share their views with the audience. All big data subareas will be displayed, namely: foundations, infrastructure, management, search and mining, security and privacy, and applications. Main challenges of analytics, management and storage of big data will be identified through 4 keynote lectures and 23 six-hour courses, which will tackle the most lively and promising topics. The organizers believe outstanding speakers will attract the brightest and most motivated students. Interaction will be a main component of the event. ADDRESSED TO: Graduate 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 required for some of them. BigDat 2015 is also appropriate for more senior people who want to keep themselves updated on recent developments and future trends. They will surely find it fruitful to listen and discuss with major researchers, industry leaders and innovators. REGIME: In addition to keynotes, 3 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: BigDat 2015 will take place in Tarragona, located 90 kms. to the south of Barcelona. The venue will be: Campus Catalunya Universitat Rovira i Virgili Av. Catalunya, 35 43002 Tarragona KEYNOTE SPEAKERS: Ian Foster (Argonne National Laboratory), Taming Big Data: Accelerating Discovery via Outsourcing and Automation Geoffrey C. Fox (Indiana University, Bloomington), Mapping Big Data Applications to Clouds and HPC C. Lee Giles (Pennsylvania State University, University Park), Scholarly Big Data: Information Extraction and Data Mining William D. Gropp (University of Illinois, Urbana-Champaign), tba COURSES AND PROFESSORS: Hendrik Blockeel (KU Leuven), [intermediate] Decision Trees for Big Data Analytics Diego Calvanese (Free University of Bozen-Bolzano), [introductory/intermediate] End-User Access to Big Data Using Ontologies Jiannong Cao (Hong Kong Polytechnic University), [introductory/intermediate] Programming with Big Data Edward Y. Chang (HTC Corporation, New Taipei City), [introductory/advanced] Big Data Analytics: Architectures, Algorithms, and Applications Ernesto Damiani (University of Milan), [introductory/intermediate] Process Discovery and Predictive Decision Making from Big Data Sets and Streams Gautam Das (University of Texas, Arlington), [intermediate/advanced] Mining Deep Web Repositories Maarten de Rijke (University of Amsterdam), tba Geoffrey C. Fox (Indiana University, Bloomington), [intermediate] Using Software Defined Systems to Address Big Data Problems Minos Garofalakis (Technical University of Crete, Chania) [intermediate/advanced], Querying Continuous Data Streams Vasant G. Honavar (Pennsylvania State University, University Park) [introductory/intermediate], Learning Predictive Models from Big Data Mounia Lalmas (Yahoo! Research Labs, London), [introductory] Measuring User Engagement Tao Li (Florida International University, Miami), [introductory/intermediate] Data Mining Techniques to Understand Textual Data Kwan-Liu Ma (University of California, Davis), [intermediate] Big Data Visualization Christoph Meinel (Hasso Plattner Institute, Potsdam), [introductory/intermediate] New Computing Power by In-Memory and Multicore to Tackle Big Data Manish Parashar (Rutgers University, Piscataway), [intermediate] Big Data Challenges in Simulation-based Science Srinivasan Parthasarathy (Ohio State University, Columbus), [intermediate] Scalable Data Analysis Evaggelia Pitoura (University of Ioannina), [introductory/intermediate] Online Social Networks Vijay V. Raghavan (University of Louisiana, Lafayette), [introductory/intermediate] Visual Analytics of Time-evolving Large-scale Graphs Pierangela Samarati (University of Milan), [intermediate], Data Security and Privacy in the Cloud Peter Sanders (Karlsruhe Institute of Technology), [introductory/intermediate] Algorithm Engineering for Large Data Sets Johan Suykens (KU Leuven), [introductory/intermediate] Fixed-size Kernel Models for Big Data Domenico Talia (University of Calabria, Rende), [intermediate] Scalable Data Mining on Parallel, Distributed and Cloud Computing Systems Jieping Ye (Arizona State University, Tempe), [introductory/advanced] Large-Scale Sparse Learning and Low Rank Modeling ORGANIZING COMMITTEE: Adrian Horia Dediu (Tarragona) Carlos Mart?n-Vide (Tarragona, chair) Florentina Lilica Voicu (Tarragona) REGISTRATION: It has to be done at http://grammars.grlmc.com/bigdat2015/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: As far as possible, participants are expected to stay full-time. 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: Suggestions of accommodation are available on the webpage. CERTIFICATE: Participants will be delivered a certificate of attendance. QUESTIONS AND FURTHER INFORMATION: florentinalilica.voicu at urv.cat POSTAL ADDRESS: BigDat 2015 Lilica Voicu Rovira i Virgili University Av. Catalunya, 35 43002 Tarragona, Spain Phone: +34 977 559 543 Fax: +34 977 558 386 ACKNOWLEDGEMENTS: Universitat Rovira i Virgili --- Este mensaje no contiene virus ni malware porque la protecci?n de avast! Antivirus est? activa. http://www.avast.com From cie at maths.leeds.ac.uk Thu Nov 20 08:53:44 2014 From: cie at maths.leeds.ac.uk (CIE (S B Cooper)) Date: Thu, 20 Nov 2014 07:53:44 GMT Subject: [fg-arc] Final Call - 12th Annual Conference on Theory and Applications of Models of Computation (TAMC 2015), Singapore 18-20 May, 2015 Message-ID: <201411200753.sAK7rirk020180@maths.leeds.ac.uk> Final Call for Papers for the 12th Annual Conference on Theory and Applications of Models of Computation (TAMC 2015) 18 - 20 May 2015 (Submission Deadline 27 November 2014) Deadline 27 November 2014 School of Computing, National University of Singapore TAMC 2015 aims at bringing together a wide range of researchers with interests in computational theory and applications. For more than 10 years, the conference series "Theory and Applications of Models of Computing" has fostered interactions and collaborations between both theoretical and applied researchers working on all aspects of computations and the ways to model it. Invited Speakers: Lance Fortnow (Georgia Institute of Technology), Miklos Santha (CNRS, Univ. Paris Diderot and CQT, Nat. Univ. of Singapore), Alexandra Shlapentokh (East Carolina University). Conference Chair: Sanjay Jain. Programme Committee Chairs: Rahul Jain and Frank Stephan. Programme Committee: Ajith Abraham, Anthony Bonato, Yijia Chen, Rodney G. Downey, Henning Fernau, Dimitris Fotakis, Gopal T V, Steffen Lempp, Jiamou Liu, Frederic Magniez, Klaus Meer, Mia Minnes, Philippe Moser, Mitsunori Ogihara, Yota Otachi, Yicheng Pan, Pan Peng, Anil Seth, Xiaoming Sun, Chaitanya Swamy, Hongan Wang, Wei Wang, Guohua Wu, Yitong Yin, Mingsheng Ying, Neal Young, Thomas Zeugmann, Shengyu Zhang, Conghua Zhou. Timeline: Submission due: Thu 27 November 2014 at 23:59 hrs GMT. Notification: Tue 20 January 2015. Final Version due: Tue 3 February 2015. Conference: Mon 18 - Wed 20 May 2015 Proceedings: The proceedings of TAMC 2015 will appear in the Springer LNCS series. Submissions should be 12 pages in llncs-format. For details on submissions and other aspects, please consult the TAMC 2015 homepage at http://www.comp.nus.edu.sg/~fstephan/tamc2015/tamc2015.html Topics: TAMC 2015 is open for all topics relating to the theory and applications of models of computation. The topics include algebraic computation, algorithmic coding and number theory, algorithmic learning theory, approximation algorithms, automata theory, circuit complexity, communication complexity, complex networks and their theory, combinatorial algorithms, computability and recursion theory, computational biology, computational complexity, computational geometry, continuous and real computation, cryptography, data structures, design and analysis of algorithms, distributed algorithms, domain models, fixed parameter tractability, formal languages, game theory, geometric algorithms, grammatical inference, graph algorithms, graph mining, information theory, internet mathematics, memory hierarchy tradeoffs, model theory for computing, natural computing, network algorithms, network security and applications, online algorithms, optimisation, parallel algorithms, philosophy of computing, privacy and security, property testing, proof complexity, process models, quantum computation, randomness, randomised algorithms, space-time tradeoffs, streaming algorithms, systems theory, VLSI models of computation. TAMC in previous years: The conference series TAMC started in the year 2004 and has been held annually since then. The previous conferences are the following: Beijing China 2004, Kunming China 2005, Beijing China 2006, Shanghai China 2007, Xian China 2008, Changsha China 2009, Prague Czech Republic 2010, Tokyo Japan 2011, Beijing China 2012, Hong Kong China 2013, Chennai India 2014. From kapova at ira.uka.de Fri Nov 28 10:00:29 2014 From: kapova at ira.uka.de (kapova at ira.uka.de) Date: Fri, 28 Nov 2014 10:00:29 +0100 Subject: [fg-arc] FESCA@ETAPS 2015: CfP for 12th International Workshop on Formal Engineering approaches to Software Components and Architectures, April 12th, 2015, London, UK Message-ID: <20141128100029.Horde.w-YdhFUlw6UdSAatcVzeNQ1@webmail.informatik.kit.edu> *** Please accept our apologies should you receive multiple copies of this call from different lists. *** INVITATION: Please, consider to contribute to and/or forward to the appropriate groups the following opportunity to submit and publish original scientific results to FESCA 2015. ===================================================================== Call for Papers - FESCA 2015 - 12th International Workshop on Formal Engineering approaches to Software Components and Architectures Satellite event of ETAPS April 12th, 2015, London, UK http://fesca.ipd.kit.edu/fesca2015/ ===================================================================== * Paper registration: December 10, 2014 * Submission deadline: December 17, 2014 * Notification of acceptance: January 26, 2015 ===================================================================== WORKSHOP AIM In recent years, the growing importance of functional correctness and the increased relevance of system quality properties (e.g. performance, reliability, security) have stimulated the emergence of analytical and modelling techniques for the design and development of software systems. With the increasing complexity of today's software systems, FESCA aims at addressing two research questions: (1) what role the software architecture can play in systematic addressing of the analytical and modelling challenges, and (2) how formal and semi-formal techniques can be applied effectively to make the issues easier to address automatically, with lower human intervention. ************************************************************************** PROGRAM HIGHLIGHTS: We are pleased to announce invited speaker: Dr. Steffen Zschaler, from Software Modelling and Applied Logic Group, Department of Informatics at King's College London (UK), has agreed to deliver the FESCA 2015 keynote speech on the topic: "Building flexible analysis: Modular formal specification of QoS and QoS analysis" ************************************************************************** TOPICS We encourage submissions on (semi-)formal techniques and their application that aid analysis, design and implementation of software applications, including the techniques in the realm of Model-Driven Development. In this context, the topics include (but are not limited to): * Modelling - Modelling formalisms; - Models, metamodels and model transformations; * Correctness checking - Temporal properties and their formal verification; - Interface compliance and contractual use of components; * Correctness of models, metamodels and model transformations * Analysis and prediction of quality attributes - Formal prediction and analysis; - Static and dynamic analysis; - Instrumentation and monitoring approaches; * Industrial case studies and experience reports. We encourage not only mature research results, submissions presenting innovative ideas and early results of junior researchers are also of a particular interest. SUBMISSIONS Three kinds of submissions are solicited: * regular papers (up to 15 pages) presenting original and unpublished work related to the workshop topics, * position papers (up to 10 pages) presenting ideas and directions of interesting ongoing and yet unpublished research related to the workshop topics, and * tool demonstration papers (up to 8 pages) presenting and highlighting the distinguishing features of a topic-related tool (co-developed by the authors). PROCEEDINGS * Final versions of accepted regular, position and tool papers will be published in a volume of the Electronic Proceedings in Theoretical Computer Science (EPTCS). IMPORTANT DATES * Paper registration: December 10, 2014 * Submission deadline: December 17, 2014 * Notification of acceptance: January 26, 2015 * Final versions due: February 16, 2015 * Workshop date: April 12, 2015 PROGRAMME COMMITTEE (tentative) * Premysl Brada (University of West Bohemia in Pilsen, Czech Republic) * Ivana Cerna (Masaryk University, Czech Republic) * Yanja Dajsuren (Eindhoven University of Technology, Netherlands) * Antinisca Di Marco (Universita dell'Aquila, Italy) * Petr Hnetynka (Charles University in Prague, Czech Republic) * Samuel Kounev (Universitat Wuerzburg, Germany) * Ralf Kuesters (Universitat Trier, Germany) * Markus Lumpe (Swinburne University of Technology, Australia) * Daniel Menasche (UFRJ, Brazil) * Raffaela Mirandola (Politecnico di Milano, Italy) * Dorina Petriu (Carleton Univesity, USA) * Nadia Polikarpova (ETH Zuerich, Switzerland) * Ralf Reussner (Karlsruhe Institute of Technology, Germany) * Cristina Seceleanu (Malardalen University, Sweden) * Catia Trubiani (Gran Sasso Science Institute, Italy) * Steffen Zschaler (King's College London, UK) PC CO-CHAIRS * Barbora Buhnova (Masaryk University, Czech Republic) * Lucia Happe (Karlsruhe Institute of Technology, Germany) * Jan Kofron (Charles University in Prague, Czech Republic)