From sadegh.soudjani at cs.ox.ac.uk Mon Jan 4 17:33:54 2016 From: sadegh.soudjani at cs.ox.ac.uk (Sadegh Soudjani) Date: Mon, 4 Jan 2016 16:33:54 +0000 Subject: [fg-arc] V2CPS: Workshop on Verification and Validation of Cyber-Physical Systems Message-ID: Please forward this Call For Papers to interested researchers. I apologize in advance for multiple copies. Cheers, Sadegh Soudjani ========================Call for Papers========================== V2CPS 2016 1st International Workshop on Verification and Validation of Cyber-Physical Systems http://www.cs.ox.ac.uk/conferences/VVCPS16/ co-located with iFM 2016, 1-4 June 2016, Reykjavik, Iceland ============================================================ Important Dates: Submission deadline: February 15, 2016 Notification of acceptance: March 14, 2016 Camera ready version: March 28, 2016 Conference iFM 2016: June 1-3, 2016 Workshop V2CPS 2016: June 4-5, 2016 ​Motivation ​Workshop on Verification and Validation of Cyber-Physical Systems is targeted at methods related to different aspects of cyber-physical systems with an emphasis on non-functional properties initiated from the physical world. A cyber-physical system (CPS) is an integration of networked computational and physical processes with meaningful inter-effects; the former monitors, controls, and affects the latter, while the latter also impacts the former. CPSs have applications in a wide-range of systems spanning robotics, transportation, communication, infrastructure, energy, and manufacturing. Many safety-critical systems such as chemical processes, medical devices, aircraft flight control, and automotive systems, are indeed CPS. The advanced capabilities of CPS require complex software and synthesis algorithms, which are hard to verify. In fact, many problems in this area are undecidable. Thus, a major step is to find particular abstractions of such systems which might be algorithmically verifiable regarding specific properties of such systems, describing the partial/overall behaviors of CPSs. The ultimate goal is to bring together researchers and experts of the fields of formal verification and CPS to cover the theme of this workshop, namely a wide spectrum of verification and validation methods including (but not limited to) control, simulation, formal methods, etc. ​ ​Topics of Interest:​ ​We welcome extended abstracts and paper submissions for presentation on topics relating to verification and validation of cyber-physical systems as described above. Typical, but not exclusive, topics include:​ Abstractions of CPS for formal verification -- Formal modelling and verification of hybrid systems -- Resource management and processor scheduling -- Power/Energy/Temperature-Aware modelling and verification of CPS -- Approaches towards non-classical formal control methods in CPSs -- Fault tolerance in CPSs -- Fault-injection and test of CPSs -- Resiliency in CPSs -- Dependability of CPSs -- Hardware/Software co-design in CPSs -- CPS and natural models of computation (such as quantum and biological) -- Semantics of CPSs Submission Guidelines: Authors are invited to submit their papers in EPTCS proceedings format. Full papers should not exceed 15 pages. Short papers should not exceed 8 pages. All contributions will be evaluated by at least three reviewers, chosen by the Program Committee. All accepted papers will be included in the workshop proceedings, which will be published as a volume of the EPTCS series. Papers should be submitted via Easychair at: https://easychair.org/conferences/?conf=v2cps16 Invited Speakers: ​ -- Sanjoy Baruah (University of North Carolina at Chapel Hill, USA) -- Alessandro Abate (University of Oxford, UK) -- Georgios Fainekos (Arizona State University, USA) -- Sriram Sankaranarayanan (University of Colorado, Boulder, USA) -- Jyotirmoy Deshmukh (Toyota Technical Center, USA)​ ​Program Committee: -- Ufuk Topcu, University of Texas at Austin, USA -- Rupak Majumdar, MPI-SWS, Kaiserslautern, DE -- Joseph Sifakis, EPFL and CNRS, FR -- Enrico Bini, Scuola Superiore Sant'Anna, IT -- Muffy Calder, University of Glasgow, UK -- Oleg Sokolsky, University of Pennsylvania, USA -- Mohammad Reza Mousavi, Halmstad University, SE -- Ramin Tavakoli Kolagari, Nuremberg Institute of Technology, DE -- Ali Ebnenasir, Michigan Technological University, USA -- Hessam Sarjoughian, Arizona State University, USA -- Sadegh Soudjani, University of Oxford, UK -- Ali Movaghar, Sharif University of Technology, IR -- Ebrahim Ardeshir-Larijani, Institute for Research in Fundamental Sciences (IPM), IR -- Krishna Shankarnarayanan, IIT Bombay, IN Organizing Committee:​ -- Mehdi Kargahi, University of Tehran, IR (PC chair) -- Ashutosh Trivedi, University of Colorado Boulder, USA (PC chair) -- Sadegh Soudjani, University of Oxford, UK -- Ebrahim Ardeshir-Larijani, Institute for Research in Fundamental Sciences (IPM), IR ​Please consult the webpage of the workshop for more information ​http://www.cs.ox.ac.uk/conferences/VVCPS16/​​ -- Sadegh Soudjani, PhD -------------- next part -------------- An HTML attachment was scrubbed... URL: From Klaus.Havelund at jpl.nasa.gov Tue Jan 5 18:28:40 2016 From: Klaus.Havelund at jpl.nasa.gov (Havelund, Klaus (349F)) Date: Tue, 5 Jan 2016 17:28:40 +0000 Subject: [fg-arc] [fm-announcements] NFM 2016 - second call for papers Message-ID: NFM 2016 – Second Call For Papers THE 8TH NASA FORMAL METHODS SYMPOSIUM http://crisys.cs.umn.edu/nfm2016 June 07 - June 09 2016 McNamara Alumni Center University of Minnesota 200 Oak Street S.E., Minneapolis, MN 55455 THEME OF THE SYMPOSIUM The widespread use and increasing complexity of mission-critical and safety-critical systems at NASA and the aerospace industry requires advanced techniques that address their specification, design, verification, validation, and certification requirements. The NASA Formal Methods Symposium is a forum to foster collaboration between theoreticians and practitioners from NASA, academia, and the industry, with the goal of identifying challenges and providing solutions towards achieving assurance for such critical systems. New developments and emerging applications like autonomous on-board software for Unmanned Aerial Systems (UAS), UAS Traffic Management (UTM), advanced separation assurance algorithms for aircraft, and the need for system-wide fault detection, diagnosis, and prognostics provide new challenges for system specification, development, and verification approaches. Similar challenges need to be addressed during development and deployment of on-board software for spacecraft ranging from small and inexpensive CubeSat systems to manned spacecraft like Orion, as well as for ground systems. The focus of the symposium will be on formal techniques and other approaches for software assurance, their theory, current capabilities and limitations, as well as their potential application to aerospace, robotics, and other NASA-relevant safety-critical systems during all stages of the software life-cycle. TOPICS OF INTEREST INCLUDE BUT ARE NOT LIMITED TO * Model checking * Theorem proving * SAT and SMT solving * Symbolic execution * Static analysis * Model-based development * Runtime verification * Software and system testing * Safety assurance * Fault tolerance * Compositional verification * Security and intrusion detection * Design for verification and correct-by-design techniques * Techniques for scaling formal methods * Applications of formal methods in the development of: * autonomous systems * safety-critical artificial intelligence systems * cyber-physical, embedded, and hybrid systems * fault-detection, diagnostics, and prognostics systems * Use of formal methods in: * assurance cases * human-machine interaction analysis * requirements generation, specification, and validation * automated testing and verification IMPORTANT DATES - Paper Submission: 2/19/2016 - Paper Notifications: 4/8/2016 - Camera-ready Papers: 4/27/2016 - Symposium: 6/7 - 6/9/2016 LOCATION The symposium will take place at McNamara Alumni Center, University of Minnesota. Registration is required but is free of charge. SUBMISSION DETAILS There are two categories of submissions: 1. Regular papers describing fully developed work and complete results (maximum 15 pages) 2. Short papers on tools, experience reports, or work in progress with preliminary results (maximum 6 pages) All papers must be in English and describe original work that has not been published or submitted elsewhere. All submissions will be fully reviewed by at least three members of the Program Committee. Papers will appear in a volume of Springer's Lecture Notes in Computer Science (LNCS), and must use LNCS style formatting. Papers must be submitted in PDF format at the EasyChair submission site: https://easychair.org/conferences/?conf=nfm2016 Authors of selected best papers may be invited to submit an extended version to a special issue of the Journal of Automated Reasoning (Springer). 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 - Célia Martinie, ICS-IRIT, Université 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, Université 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 - Helmut Veith, Vienna University of Technology, Austria - 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 xx.hust at gmail.com Wed Jan 6 08:24:08 2016 From: xx.hust at gmail.com (Wen Xia) Date: Wed, 6 Jan 2016 15:24:08 +0800 Subject: [fg-arc] CFP SDDCS 2016 in conjunction with IEEE ICDCS 2016 Message-ID: ***[Apologies if you receive multiple copies of this message]*** ========Call For Paper========= The International Workshop of Software-Defined Data Communications and Storage (SDDCS) 2016 in conjunction with IEEE ICDCS 2016 on June 27, 2016, in Nara, Japan http://stlab.wnlo.hust.edu.cn/csyhua/sddcs2016.htm ******Overview****** The future infrastructures of the data centers and cloud computing are becoming more software defined. Although networking infrastructures consist of communications and storage resources, they are generally studied separately. Hence, applications and platforms have to precisely define the virtual environment in which they wish to run, and the communication performance decreases because we have been ignoring the properties of storage devices. The software-defined methodology offers an opportunity to bridge this gap and to deliver higher and improved performance. The SDDCS workshop provides the forum for researchers of multi-disciplinary fields: networks, systems research which spans data communications, networking, storage systems and devices, as well as the applications, to discuss and exchange idea on how to take this opportunity to bridge the performance gap. SDDCS aims to bring together industry and academia to jointly explore recent progresses related with the potential performance bottleneck and the gap between communications and storage in the software-defined context. We particularly encourage contributions which contain highly original ideas, new approaches, and/or groundbreaking results. *******Topics****** Topics of interest in SDDCS include but are not limited to: ** Software-defined communication protocols ** Software-defined storage devices ** Convergent design for communications and storage ** Non-volatile storage support for network transmission ** Storage deduplication for cloud backups ** Data collection and analytics for system optimization ** Dynamic workload redistribution and scheduling ** Non-volatile devices in network switches ** Cross-layer coordination ** Storage virtualization in network end systems ** Security for SDDCS schemes ** Programmable interfaces for convergent design ** User studies and experiences of real-world applications ******Submission Instructions****** Submitted papers must be no longer than 8 single-spaced 8.5" x 11" pages, including figures, tables, and references; two-column format, using 10-point type on 12-point (single-spaced) leading; and a text block 6.5" wide x 9" deep. Author names and affiliations should appear on the title page. The submitted papers should present original theoretical and/or experimental research in any of the areas listed above that has not been previously published, accepted for publication, or is not currently under review by another conference or journal. ******Important Dates****** Paper submission due: January 20, 2016 Notification to authors: March 5, 2016 Final paper files due: April 5, 2016 ******Workshop Organizer****** Steering Committee: Qing Yang, University of Rhode Island Hong Jiang, University of Texas at Arlington Peng-Jun Wan, Illinois Institute of Technology Xue Liu, McGill University Program Co-chair: Yu Hua, Huazhong University of Science and Technology John C.S. Lui, The Chinese University of Hong Kong -------------- next part -------------- An HTML attachment was scrubbed... URL: -------------- next part -------------- A non-text attachment was scrubbed... Name: sddcs2016CFP.pdf Type: application/pdf Size: 22304 bytes Desc: not available URL: From marianne.huchard at lirmm.fr Mon Jan 11 22:15:39 2016 From: marianne.huchard at lirmm.fr (Marianne Huchard) Date: Mon, 11 Jan 2016 22:15:39 +0100 Subject: [fg-arc] CFP: CLA 2016, The 13th International Conference on Concept Lattices and Their Applications Message-ID: <56941B7B.8040403@lirmm.fr> ** We apologize if you receive multiple copies of this CFP ** ------------------------------------------------------------------------ CLA 2016 The 13th International Conference on Concept Lattices and Their Applications July 18–22, 2016 Moscow, Russia CLA 2016 Webpage http://cla2016.hse.ru/ ------------------------------------------------------------------------ # CLA 2016 will be organized by National Research University Higher School of Economics, Moscow, Russia **** Abstract submission deadline: March 7, 2016 **** **** Paper submission deadline: March 14, 2016 **** # Scope and Areas CLA is an international conference dedicated to formal concept analysis (FCA) and areas closely related to FCA such as data mining, information retrieval, knowledge management, data and knowledge engineering, logic, algebra and lattice theory. CLA provides a forum for researchers, practitioners, and students. The program of CLA consists of invited plenary talks, regular talks, workshops, tutorials, and poster sessions. Papers in all areas relevant to theory and applications of FCA are solicited. Those areas include but are not restricted to: * foundations, * concept lattices and related structures, * attribute implications and data dependencies, * algorithms, * visualization, * data preprocessing, * redundancy and dimensionality reduction, * information retrieval, * classification, * clustering, * association rules and other data dependencies, * ontologies, * applications. # Important Dates Abstract submission: March 7, 2016 Paper submission: March 14, 2016 Notification of acceptance/rejection: May 9, 2016 Camera-ready papers due: May 30, 2016 Conference: July 18-22, 2016 # Paper Submission and Publication Papers of up to 12 pages may be submitted in PDF or Postscript format. Papers need to be formatted using the Springer Lecture Notes in Computer Science style (http://www.springer.de/comp/lncs/authors.html). The submission is to be done via https://easychair.org/conferences/?conf=cla2016 All papers will be judged based on their technical merits, originality, relevance to areas of interest, and presentation clarity. Papers should describe original work that has not been published before, is not under review elsewhere, and will not be submitted elsewhere during CLA 2016's review period. Accepted papers will be published in conference proceedings (with ISBN), available at the conference (printed) and at CEUR Workshop Proceedings and CLA Homepage (online). Selected papers accepted to CLA 2016 will be invited to further revise and extend their work in a special issue of a well-established journal (name will come). # Program co-chairs Marianne Huchard, LIRMM, Université de Montpellier (France) Sergei O. Kuznetsov, National Research University Higher School of Economics (Russia) # Program Committee Cristina Alcalde, Universidad Del Pais Vasco, UPV/EHU, Spain Simon Andrews, Sheffield Hallam University, United Kingdom Gabriela Arevalo, Facultad de Ingenieria - Universidad Austral, Argentina Jaume Baixeries, Ciències de la Computació, Catalonia Radim Belohlavek, Palacky University, Olomouc, Czech Republic Anne Berry, Université Blaise Pascal, Clermont-Ferrand, France Karell Bertet, Laboratory L3I, University of La Rochelle, France François Brucker, Ecole Centrale Marseille, France Ana Burusco, Universidad Publica De Navarra, Spain Aleksey Buzmakov, INRIA-LORIA(CNRS-Université de Lorraine), Nancy, France Peggy Cellier, IRISA/INSA Rennes, France Pablo Cordero, Universidad de Málaga, France Jean Diatta, Université de la Réunion, France Stephan Doerfel, University of Kassel, Germany Xavier Dolques, LHYGES, Université de Strasbourg/ENGEES, Strasbourg, France Florent Domenach, University of Nicosia, Cyprus Vincent Duquenne, CNRS, Paris, France Sebastien Ferre, Universite de Rennes 1, France Alain Gély, LITA, Université Lorraine, Metz, France Robert Godin, Université du Québec à Montréal, Canada Dmitry Ignatov, National Research University Higher School of Economics, Russia Mehdi Kaytoue, LIRIS - INSA de Lyon, France Stanislav Krajci, P. J. Safarik University, Slovak Republic Francesco Kriegel, Technische Universität Dresden, Germany Jan Konecny, Dept. Computer Science, Palacky University, Olomouc, Czech Republic Michal Krupka, Palacky University, Olomouc, Czech Republic Marzena Kryszkiewicz, Warsaw University of Technology, Poland Leonard Kwuida, Bern University of Applied Sciences, switzerland Florence Le Ber, LHYGES, Université de Strasbourg/ENGEES, Strasbourg, France Jesús Medina Moreno, University of Cádiz, Spain Engelbert Mephu Nguifo, LIMOS - Blaise Pascal University – CNRS, France Amedeo Napoli, LORIA Nancy, France Sergei Obiedkov, National Research University Higher School of Economics, Russia Manuel Ojeda-Aciego, Dept. of Applied Mathematics, University of Malaga, Spain Petr Osička, Palacky University in Olomouc, Czech Republic Jan Outrata, Dept. Computer Science, Palacky University, Czech Republic Jean-Marc Petit, Université de Lyon, INSA Lyon, France Uta Priss, Ostfalia University, Germany Olivier Raynaud, LIMOS - Blaise Pascal University – CNRS, France Sándor Radeleczki, Department of Analysis, University of Miskolc, Hungary François Rioult, GREYC CNRS UMR6072 - Université de Caen, France Camille, Roth, CNRS, France Sebastian Rudolph, Technische Universität Dresden, Germany Christian Sacarea, Babes-Bolyai University, Romania Barış Sertkaya, Frankfurt University of Applied Sciences, Germany Laszlo Szathmary, University of Debrecen, Hungary Andreja Tepavcevic, University of Novi Sad, Serbia Petko Valtchev, Université du Québec À Montréal, Canada Francisco José Valverde Albacete, Universidad Carlos III de Madrid, Spain # Organization Committee Chair Sergei O. Kuznetsov, National Research University Higher School of Economics (Russia) # Steering Committee Radim Belohlavek , Univerzita Palackého, Olomouc, Czech Republic Sadok Ben Yahia, Faculté des Sciences de Tunis, Tunis, Tunisia Jean Diatta, Iremia – Université de la Réunion, Saint-Denis, France Peter Eklund , University of Wollongong, Wollongong, Australia Sergei O. Kuznetsov, Higher School of Economics, Moscow, Russia Engelbert Mephu Nguifo, Limos, Clermont-Ferrand, France Amedeo Napoli, Inria – Loria, Nancy, France Manuel Ojeda-Aciego, Universidad de Málaga, Málaga, Spain Jan Outrata , Univerzita Palackého, Olomouc, Czech Republic ------------------------------------------------------------------------ CLA Homepage http://cla.inf.upol.cz ------------------------------------------------------------------------ From edocconference2016 at gmail.com Tue Jan 12 10:58:02 2016 From: edocconference2016 at gmail.com (EDOC conference 2016) Date: Tue, 12 Jan 2016 10:58:02 +0100 Subject: [fg-arc] 2nd Call for Workshop Proposals: IEEE EDOC conference 2016 Message-ID: <5694CE2A.7060306@gmail.com> We apologize if you receive this message more than once. --- ============================================================ IEEE EDOC 2016 - The 20th IEEE International EDOC Conference ============================================================ EDOC 2016 - Vienna, Austria September 05-09, 2016 http://edoc2016.univie.ac.at/ http://twitter.com/ieee_edoc IEEE EDOC 2016 is the twentieth conference in a series that provides the key forum for researchers and practitioners in the field of enterprise computing. EDOC conferences address the full range of models, methodologies, and engineering technologies contributing to intra- and inter-enterprise application systems. Since 1997, EDOC has brought together leading computer scientists, IT decision makers, enterprise architects, solution designers, and practitioners to discuss enterprise computing challenges, models and solutions from the perspectives of academia, industry, and government. The EDOC conference series emphasizes a holistic view on enterprise applications engineering and management, fostering integrated approaches that address and relate business models, business processes, people and technology. EDOC 2016 welcomes high quality scientific submissions as well as experience papers on enterprise computing from industry. The main theme of EDOC 2016 is ”Enabling innovative business models in the enterprise of the future” and seeks to explore innovative approaches synthesizing concepts of (1) data science, (2) enterprise computing and (3) social computing. Expert panel discussions and keynotes will address current topics and issues in this domain. Topics ====== The EDOC 2016 conference seeks high-quality contributions addressing the domains, life-cycle issues, and realization technologies involved in building, deploying and operating enterprise computing systems. Suggested areas include, but are not limited to: Enterprise Architecture and Enterprise Application Architecture * Enterprise architecture frameworks * Enterprise architecture analysis, assessment and prediction * Cloud computing and the evolution of enterprise architectures * Enterprise ontologies * Innovative approaches to architecture management Model-based Approaches * Model-driven architectures and model-driven software development * Modeling based on domain specific languages (DSL) * Approaches based on reference architectures * Collaborative development and cooperative engineering issues Service-oriented Architectures (SOA) and Enterprise Service Architectures (ESA) * Service engineering and evolution of related specifications * Semantics-based service engineering * Service composition, orchestration and choreography * Governance in Service-oriented ArchitecturesService policies, contract definition and enforcement * Security/privacy policy interoperability Business process management (BPM) * Business process modeling, verification, configuration and implementation * Process-aware information systems (PAIS), Human-centric PAIS, Social BPM * Managing business process variability, adaptation and evolution in PAIS * Process mining and its application in business analytics * Distributed and cross-organizational business processes * Data-intensive processes * Cloud impact on BPM, business processes in the cloud * Adaptive case management and data-driven processes Business analytics * Modeling and predictive analytics for enterprise computing * Data-driven enterprise strategy * Collaboration enterprise analytic platforms * Business process intelligence (e.g., process performance management) * Continuous, online analytics for big data in the enterprise * Natural language processing in enterprise systems Business rules * Business rule languages and engines * Relation between business rules and business processes * Business rules and service computing * Business rules and compliance management, business process compliance Information integration and interoperability * Business object modeling methodologies and approaches * Taxonomies, ontologies and business knowledge integration * Master data management, data mining and (real-time) data warehousing * Flexible information models and systems (e.g., object-driven processes) * Data quality and trustworthiness * Complex event processing and event-driven architectures Networked Enterprise Solutions * Enterprise interoperability, collaboration and its architecture * Virtual organizations, including multi-agent system support * Cross-enterprise collaboration in a world of cloud, social and big data * Digital platforms and ecosystems * Trust management Enterprise applications deployment and governance * Performance and operational risk prediction and measurement * Quality of service (QoS) and cost of service (CoS) * Management and maintenance of enterprise computing systems * Information assurance * Human and social organizational factors in enterprise computing Emerging trends in distributed enterprise applications * Social information and innovation networks, social media impact on the enterprise * People-centric collaboration systems, people-centric services * Private and public cloud computing Infrastructures * Idea management and crowdsourcing * Enterprise 2.0, Web 2.0 and beyond * Mobile enterprise services * Industry specific solutions (e.g. for aerospace, automotive, finance, logistics, medicine and telecommunications) * Research and public sector collaboration (e.g. in e-health, e-government, e-science) Submission Guidelines ===================== Two types of paper submissions are solicited: a. scientific research papers, and b. industry experience reports or case studies. Scientific research papers should describe original results not been accepted or submitted for publication elsewhere. These papers will be evaluated based on their scientific and technical contribution, originality, and relevance. In turn, industry experience reports should provide new insights gained in case studies or when applying enterprise computing technology in practice; industry experience reports shall further provide important feedback about the state of practice and pose challenges for researchers. These papers will be evaluated based on their appropriateness, significance, and clarity. Submissions should be full papers with 8-10 pages. All submissions must be made in PDF format and comply with the IEEE Computer Society Conference Proceedings Format Guidelines. They should be made via the electronic submission system of the EDOC Conference Management system hosted on EasyChair. All papers will be refereed by at least 3 members of the international program committee. All presented papers in the conference will be published in the proceedings of the conference and submitted to the IEEE Xplore Digital Library. Important Dates: ================ Conference full paper submission due: April 1, 2016 Conference paper acceptance notifications: May 30, 2016 Conference camera ready papers due: July 1, 2016 *Workshop Proposal Submission: January 15, 2016* Workshop Proposal Notification: February 1, 2016 Workshop Paper Submission: April 15, 2016 Workshop Paper Notification: June 13, 2016 Workshop Camera Ready: July 1, 2016 Workshops: September 05-06, 2016 Conference: September 05-09, 2016 Post Conference Publication ================ The authors of selected EDOC 2016 papers will be invited to submit a revised and extended version of their contribution for a special issue in Information Systems (http://www.journals.elsevier.com/information-systems/). Conference Committees ===================== General Chair Stefanie Rinderle-Ma, University of Vienna, Austria PC Chairs Florian Matthes, TU Munich, Germany Jan Mendling, WU Vienna, Austria Workshop Chairs Remco Dijkman, TU Eindhoven, The Netherlands Luís Ferreira Pires, University of Twente, The Netherlands Demo Chairs Walid Fdhila, University of Vienna, Austria Stefan Schulte, Technical University of Vienna, Austria Publicity Chair Andreas Rogge-Solti, WU Vienna, Austria Local Organization Chair Monika Hofer-Mozelt, University of Vienna, Austria Web Chairs Georg Kaes, University of Vienna, Austria Manuel Gall, University of Vienna, Austria -------------- next part -------------- An HTML attachment was scrubbed... URL: From sauer at s-lab.upb.de Fri Jan 15 15:29:26 2016 From: sauer at s-lab.upb.de (Stefan Sauer) Date: Fri, 15 Jan 2016 15:29:26 +0100 Subject: [fg-arc] =?utf-8?q?CfP_Workshop_MMSM_2016_=E2=80=93_Modellbasiert?= =?utf-8?q?e_und_modellgetriebene_Softwaremodernisierung_=28Einreichungsfr?= =?utf-8?q?ist=3A_29=2E_Januar=29?= Message-ID: <56990246.20705@s-lab.upb.de> ** Einreichungsfrist endet in 14 Tagen ** ** Teilnahmegebühr Modellierung 2016: Workshop: 160-180 €; gesamte Konferenz: 190-310 € ** ** Bitte entschuldigen Sie eventuelle Mehrfach-Zusendungen ** *Aufruf zur Einreichung von Beiträgen 3. Workshop MMSM 2016**– Modellbasierte und modellgetriebene Softwaremodernisierung* Gemeinsamer Workshop der Arbeitskreise „Modellgetriebene Software-Entwicklung“ (MDA), „Traceability/Evolution“ und „Langlebige Software-Systeme“ (L2S2) der GI-Fachgruppe „Architekturen“ 2. März 2016 in Karlsruhe http://akmda.ipd.kit.edu/mmsm/mmsm_2016/ im Rahmen der Konferenz *Modellierung 2016* 2. – 4. März 2016 in Karlsruhe http://www.modellierung2016.org *Ziele* Forderungen nach permanenter Änderbarkeit und nach verbesserten Qualitätseigenschaften von Softwaresystemen wie Performanz, Sicherheit und Zuverlässigkeit erfordern umfangreiche und regelmäßige Modernisierungsmaßnahmen. Diese Forderungen werden umso drängender, je wichtiger diese Systeme für Geschäftsprozesse und Produkte sind. Wegen der Kritikalität und der Größe der Systeme beinhaltet die Modernisierung sehr komplexe Aufgaben mit hohen Kosten und großen Risiken. Die Verwendung von Modellen kann helfen, die Komplexität zu beherrschen und durch frühzeitige Bewertung von Qualitätseigenschaften die Risiken zu verringern. Der Workshop dient der Identifikation neuer Forschungstrends und Herausforderungen auf Basis des aktuellen industriellen Bedarfs, der Suche nach geeigneten Ansätzen zur Problemlösung sowie zum Austausch von Erfahrungen mit modellbasierten und modellgetriebenen Techniken und Methoden für die Softwaremodernisierung. *Schwerpunkte* Beiträge werden insbesondere zu der folgenden, nicht abschließenden Liste von Themen erwartet: • Verbindung von Architekturmodellierung mit Anforderungsbeschreibung und Implementierung • Transformationen von Architekturmodellen • Methoden des Architektur-Reengineering • Visualisierung von Architekturen • Modellbasiertes Refactoring • Architekturqualität • Reengineering-Entscheidungen • Modellierung von Traceability während des Reengineering • Konsistenzsicherung zwischen Anforderungen, Modellen und Code beim Roundtrip-Engineering • Modellbasierte Interoperabilitätsprüfung und Adaption von Komponenten • Modellbasierte Integration und Migration Einreichungen und Publikation Zum Workshop können sowohl wissenschaftlich-technische Positionspapiere als auch Erfahrungsberichte eingereicht werden. Sie sollen eine Länge von 2 Seiten im Format der Softwaretechnik-Trends (DIN A4, zweispaltig, siehe http://pi.informatik.uni-siegen.de/stt/) nicht über-schreiten. Die eingereichten Beiträge werden von einem Programmkomitee begutachtet und für den Workshop ausgewählt. Die elektronische Einreichung der Beiträge im PDF-Format und die Begutachtung erfolgen über EasyChair: https://www.easychair.org/conferences/?conf=mmsm16 Die akzeptierten Beiträge werden in der Zeitschrift Softwaretechnik-Trends publiziert (sowohl gedruckt als auch online). * **Workshop-Format* Der eintägige Workshop im Programm der Konferenz „Modellierung 2016“ bietet neben Präsentationen der akzeptierten Beiträge Raum für viele Diskussionen. Insbesondere sollen mit den Teilnehmern/-innen aktuelle Forschungsfragen und Themen der Softwaremodernisierung in Wissenschaft und Praxis diskutiert werden. Eröffnet wird das Programm durch einen eingeladenen Vortrag. *Termine* Einreichung der Beiträge: 29. Januar 2016 Benachrichtigung der Autoren: 15. Februar 2016 Einreichung der Endfassung: 26. Februar 2016 Workshop: 2. März 2016 *Organisatoren* Steffen Becker, Technische Universität Chemnitz Benjamin Klatt, Inovex Thomas Ruhroth, Universität Paderborn Stefan Sauer, Universität Paderborn Matthias Riebisch, Universität Hamburg *Kontakt* mmsm16 at easychair.org -------------- next part -------------- An HTML attachment was scrubbed... URL: -------------- next part -------------- A non-text attachment was scrubbed... Name: smime.p7s Type: application/pkcs7-signature Size: 5446 bytes Desc: S/MIME Cryptographic Signature URL: From l.duboc at cs.ucl.ac.uk Mon Jan 18 12:52:43 2016 From: l.duboc at cs.ucl.ac.uk (Leticia Duboc) Date: Mon, 18 Jan 2016 09:52:43 -0200 Subject: [fg-arc] RE'16: Deadline for Workshop Proposals Approaching (January 26, 2016) Message-ID: Dear Researcher/Practitioner, The RE'16 publicity team would like to encourage you to submit an workshop proposal to be held in conjunction with The 24rd IEEE International Requirements Engineering Conference (RE’16). RE'16 Workshops will facilitate the exchange of new ideas in all areas related to requirements engineering research and practice. A variety of formats can be considered, ranging from traditional research paper presentations to extremely interactive and participatory sessions. Important dates for RE’16 workshops: - January 26, 2016: Workshop Proposal submissions due - February. 20, 2016: Workshop Proposal notification - September. 12-13, 2016: Workshops days Details on the call are attached. We are looking forward to receive your proposal! Best Regards, Leticia Duboc --- Lecturer Department of Computer Science State University of Rio de Janeiro (UERJ) Rio de Janeiro Brazil -------------- next part -------------- An HTML attachment was scrubbed... URL: -------------- next part -------------- A non-text attachment was scrubbed... Name: RE16-CALL FOR WORKSHOP PROPOSALS.pdf Type: application/pdf Size: 510869 bytes Desc: not available URL: From jose.proenca at cs.kuleuven.be Wed Jan 20 20:09:18 2016 From: jose.proenca at cs.kuleuven.be (jose.proenca at cs.kuleuven.be) Date: Wed, 20 Jan 2016 20:09:18 +0100 Subject: [fg-arc] Final CfP: COORDINATION 2016 Message-ID: [We apologize for multiple copies] COORDINATION 2016 18th IFIP International Conference on Coordination Models and Languages A DisCoTec Member Conference http://coordination2016.discotec.org/ June 6-8, 2016, Heraklion, Greece IMPORTANT DATES Abstract Submission: February 1, 2016 Paper Submission: February 8, 2016 Author Notification: March 21, 2016 Camera ready copy: April 4, 2016 Early registration: May 9, 2016 Conference: June 6-8, 2016 The time of all deadlines is 24:00 AoE (UTC-12). SCOPE COORDINATION 2016 is the premier forum for publishing research results and experience reports on software technologies for collaboration and coordination in concurrent, distributed, and complex systems. The key focus of the conference is the quest for high-level abstractions that can capture interaction patterns and mechanisms occurring at all levels of the software architecture, up to the end-user domain. COORDINATION 2016 seeks high-quality contributions on the usage, study, formal analysis, design, and implementation of languages, models, and techniques for coordination in distributed, concurrent, pervasive, and parallel software-intensive computing systems. COORDINATION 2016 seeks as well to adapt and integrate traditional COORDINATION techniques in the realm of multi-agent systems (MAS), which typically involve more coarse-grained (cognitive, intelligent, goal-oriented) components. Main topics of interest encompass all areas of coordination, including (but not limited to) coordination related aspects of: * Models and paradigms * Programming abstractions and languages * Foundations, types and semantics * Specification and verification * Middlewares and architectures * Distributed, mobile and networked computing * Parallel and high-performance computing * Nature- and bio-inspired approaches * Self-adaptation, self-organisation and autonomic computing * Collective systems, ensembles, federations, and systems-of-systems * Teamwork, distributed problem solving and collective intelligence * Multiagent systems, auction, negotiation, argumentation, and rational agents * Trust, policies, reputation and security * Applications and case studies SUBMISSION AND PUBLICATION We solicit papers describing thorough and complete research results and/or experience reports on applications and cases studies of coordination. The conference proceedings will be published by Springer in the Lecture Notes in Computer Science series (http://ww.springer.com/lncs). Contributions must be written in English and report on original, unpublished work not submitted for publication elsewhere (cf. IFIP's codes of conduct). The submissions must not exceed 16 pages in length, including figures and references, prepared using Springer's LNCS style. The inclusion of appendices that go beyond the limit of 16 pages is allowed. The appendices should be meant to ease the task of the reviewers but the paper should be readable without them. Submissions not adhering to the above specified constraints may be rejected without review. Papers should be submitted as PDF or PS via EasyChair: https://easychair.org/conferences/?conf=coordination2016 Post-proceedings publication: Relevant, high-quality papers will be invited to a special issue of a highly reputed journal. Previous special issues are under preparation within the journal on Logical Methods in Computer Science (http://www.lmcs-online.org/). INVITED SPEAKER Vijay Saraswat (IBM T.J. Watson Research Lab, USA) PC CHAIRS Alberto Lluch Lafuente (Technical University of Denmark, Denmark) José Proença (KU Leuven, Belgium and University of Minho, Portugal) PROGRAMME COMMITTEE Gul Agha (University of Illinois at Urbana Champaign, USA) Luís Barbosa (University of Minho, Portugal) Jacob Beal (Raytheon BBN Technologies, USA) Simon Bliudze (EPFL, Switzerland) Frank de Boer (CW and Leiden University, The Netherlands) Olivier Boissier (Ecole Nationale Supérieure des Mines of Saint-Etienne, France) Einar Broch Johnsen (University of Oslo, Norway) Roberto Bruni (University of Pisa, Italy) Tevfik Bultan (University of California, Santa Barbara, USA) Carlos Canal (University of Málaga, Spain) Dave Clarke (Uppsala University, Sweden) Stephen Cranefield (University of Otago, New Zealand) Ferruccio Damiani (Università di Torino, Italy) Rocco De Nicola (IMT - Institute for Advanced Studies Lucca, Italy) Tom Holvoet (KU Leuven, Belgium) José Luiz Fiadeiro (Royal Holloway University of London, UK) Valérie Issarny (Inria, France) Rania Khalaf (IBM T.J. Watson Research Center, USA) Ramtin Khosravi (University of Tehran, Iran) Natallia Kokash (Leiden University, the Netherlands) Mieke Massink (CNR-ISTI, Italy) Hernán Melgratti (University of Buenos Aires, Argentina) Sun Meng (Peking University, China) Flemming Nielson (Technical University of Denmark, Denmark) Munindar Singh (North Carolina State University, USA) Marjan Sirjani (Reykjavik University, Iceland) Carolyn Talcott (SRI International, California, USA) Emilio Tuosto (University of Leicester, UK) Vasco T. Vasconcelos (University of Lisbon, Portugal) Mirko Viroli (University of Bologna, Italy) Takuo Watanabe (Tokyo Institute of Technology, Japan) Martin Wirsing (Ludwig-Maximilians-Universität München, Germany) STEERING COMMITTEE Gul Agha (University of Illinois at Urbana Champaign, USA) Farhad Arbab (CWI and Leiden University, The Netherlands) (Chair) Dave Clarke (Uppsala University, Sweden) Tom Holvoet (KU Leuven, Belgium) Jean-Marie Jacquet (University of Namur, Belgium) Christine Julien (The University of Texas at Austin, USA) Eva Kühn (Vienna University of Technology, Austria) Wolfgang De Meuter (Vrije Universiteit Brussels, Belgium) Rocco De Nicola (IMT - Institute for Advanced Studies Lucca, Italy) Rosario Pugliese (Università di Firenze, Italy) Marjan Sirjani (Reykjavik University, Iceland) Carolyn Talcott (SRI International, California, USA) Vasco T. Vasconcelos (University of Lisbon, Portugal) Gianluigi Zavattaro (University of Bologna, Italy) Mirko Viroli (University of Bologna, Italy) From Klaus.Havelund at jpl.nasa.gov Mon Jan 18 20:19:28 2016 From: Klaus.Havelund at jpl.nasa.gov (Havelund, Klaus (349F)) Date: Mon, 18 Jan 2016 19:19:28 +0000 Subject: [fg-arc] [fm-announcements] RV 2016, Sept 23-30 2016, Madrid, Spain - 1st Call for Papers and Tutorials Message-ID: 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 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 of RV 2015 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. Important Dates Research and tool papers as well as tutorials will follow the following timeline: * Abstract deadline: May 8, 2016 * Paper and tutorial deadline: May 15, 2016 * Tutorial notification: June 1, 2016 * Paper notification: July 11, 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 * Volder 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 Artz, 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: cfp.pdf Type: application/pdf Size: 236782 bytes Desc: cfp.pdf 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 Jan 23 16:49:29 2016 From: grlmc at grlmc.com (GRLMC) Date: Sat, 23 Jan 2016 16:49:29 +0100 Subject: [fg-arc] AlCoB 2016: submission deadline extended to February 2 Message-ID: *To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line* ---------------------------------------------------------------------------- ***** SUBMISSION DEADLINE EXTENDED: February 2 ***** ---------------------------------------------------------------------------- ************************************************************************************ 3RD INTERNATIONAL CONFERENCE ON ALGORITHMS FOR COMPUTATIONAL BIOLOGY   ALCOB 2016   TRUJILLO, SPAIN   JUNE 21-23, 2016 Organized by: Computer Architecture and Logic Design Group (ARCO) University of Extremadura Extremadura Centre for Advanced Technologies (CETA-Ciemat) Research Group on Mathematical Linguistics (GRLMC) Rovira i Virgili University http://grammars.grlmc.com/alcob2016/ ************************************************************************************ 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. Previous events were held in Tarragona (2014) and Mexico City (2015). 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 2016 will take place in Trujillo, homeland of the so-called "conquistadores" who arrived in Peru in the XVI century. The venue will be the Extremadura Centre for Advanced Technologies.   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 2016 will consist of: invited lectures peer-reviewed contributions   INVITED SPEAKERS: Evan Eichler (University of Washington, Seattle), De Novo Genome Assembly and Structural Variation S. Cenk Sahinalp (SimonFraserUniversity), Big Data Algorithmics for Cancer Genomics David Sankoff (University of Ottawa), The Evolution of Gene Order in the Flowering Plants   PROGRAMME COMMITTEE: Can Alkan (Bilkent University, Ankara, Turkey) Timothy L. Bailey (University of Queensland, Brisbane, Australia) Vladimir Bajic (King Abdullah University of Science and Technology, Thuwal, Saudi Arabia) Geoff Barton (University of Dundee, UK) Inanc Birol (University of British Columbia, Vancouver, Canada) Jacek Błażewicz (PoznańUniversity of Technology, Poland) Alan P. Boyle (University of Michigan, Ann Arbor, USA) Vladimir Brusic (NazarbayevUniversity, Astana, Kazakhstan) Liming Cai (University of Georgia, Athens, USA) Rita Casadio (University of Bologna, Italy) Ken Chen (University of Texas MD AndersonCancerCenter, Houston, USA) Jason Ernst (University of California, Los Angeles, USA) Laurent Gautier (Novartis Institutes for BioMedical Research, Cambridge, USA) Manolo Gouy (ClaudeBernardUniversity Lyon 1, France) Michael Gribskov (PurdueUniversity, West Lafayette, USA) Iman Hajirasouliha (Stanford University, USA) John Hancock (Genome Analysis Centre, Norwich, UK) Artemis Hatzigeorgiou (University of Thessaly, Volos, Greece) Fereydoun Hormozdiari (University of California, Davis, USA) Kazutaka Katoh (Osaka University, Japan) Evangelos Kranakis (Carleton University, Ottawa, Canada) Lukasz Kurgan (University of Alberta, Edmonton, Canada) Bill Majoros (DukeUniversity, Durham, USA) Lennart Martens (Ghent University, Belgium) Maria-Jesus Martin (European Bioinformatics Institute, Hinxton, UK) Carlos Martín-Vide (Rovira i VirgiliUniversity, Tarragona, Spain, chair) Folker Meyer (Argonne National Laboratory, USA) Kenta Nakai (University of Tokyo, Japan) Matteo Pellegrini (University of California, Los Angeles, USA) Mihaela Pertea (JohnsHopkinsUniversity, Baltimore, USA) Ben Raphael (BrownUniversity, Providence, USA) Paolo Ribeca (Pirbright Institute, Woking, UK) Denis Shields (UniversityCollegeDublin, Ireland) Fredj Tekaia (Pasteur Institute, Paris, France) Alessandro Verri (University of Genova, Italy) Fuli Yu (BaylorCollege of Medicine, Houston, USA) Daniel Zerbino (European Bioinformatics Institute, Hinxton, UK) Kaizhong Zhang (University of WesternOntario, London, Canada) Weixiong Zhang (WashingtonUniversity in St. Louis, USA) Zhongming Zhao (VanderbiltUniversity, Nashville, USA) Yaoqi Zhou (GriffithUniversity, Brisbane, Australia) ORGANIZING COMMITTEE: María Botón-Fernández (Trujillo, co-chair) Carlos Martín-Vide (Tarragona, co-chair) Miguel A. Vega-Rodríguez (Cáceres, co-chair) Florentina Lilica Voicu (Tarragona) LOCAL COMMITTEE: Leslye Alarcón (Cáceres) María Botón-Fernández (Trujillo, co-chair) José M. Granado-Criado (Cáceres) Sergio Santander-Jiménez (Cáceres) Miguel A. Vega-Rodríguez (Cáceres, 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=alcob2016   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 the journal IEEE/ACM Transactions on Computational Biology and Bioinformatics (TCBB, 2014 JCR impact factor: 1.438, quartile Q1) 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 period for registration is open from October 30, 2015 to June 21, 2016. The registration form can be found at: http://grammars.grlmc.com/alcob2016/Registration.php DEADLINES: Paper submission: February 2, 2016 (23:59 CET) - EXTENDED - Notification of paper acceptance or rejection: March 1, 2016 Final version of the paper for the LNCS/LNBI proceedings: March 15, 2016 Early registration: March 15, 2016 Late registration: June 7, 2016 Submission to the journal special issue: September 23, 2016   QUESTIONS AND FURTHER INFORMATION: florentinalilica.voicu (at) urv.cat   POSTAL ADDRESS: AlCoB 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: Centro Extremeño de Tecnologías Avanzadas (CETA-CIEMAT) Universidad de Extremadura Universitat Rovira i Virgili -------------- next part -------------- An HTML attachment was scrubbed... URL: From Klaus.Havelund at jpl.nasa.gov Wed Jan 27 07:26:16 2016 From: Klaus.Havelund at jpl.nasa.gov (Havelund, Klaus (349F)) Date: Wed, 27 Jan 2016 06:26:16 +0000 Subject: [fg-arc] [fm-announcements] NFM 2016 - third call for papers Message-ID: NFM 2016 - Call For Papers The 8th NASA Formal Methods Symposium http://crisys.cs.umn.edu/nfm2016 June 07 - June 09 2016 McNamara Alumni Center University of Minnesota 200 Oak Street S.E., Minneapolis, MN 55455 THEME OF THE SYMPOSIUM The widespread use and increasing complexity of mission-critical and safety-critical systems at NASA and the aerospace industry requires advanced techniques that address their specification, design, verification, validation, and certification requirements. The NASA Formal Methods Symposium is a forum to foster collaboration between theoreticians and practitioners from NASA, academia, and the industry, with the goal of identifying challenges and providing solutions towards achieving assurance for such critical systems. New developments and emerging applications like autonomous on-board software for Unmanned Aerial Systems (UAS), UAS Traffic Management (UTM), advanced separation assurance algorithms for aircraft, and the need for system-wide fault detection, diagnosis, and prognostics provide new challenges for system specification, development, and verification approaches. Similar challenges need to be addressed during development and deployment of on-board software for spacecraft ranging from small and inexpensive CubeSat systems to manned spacecraft like Orion, as well as for ground systems. The focus of the symposium will be on formal techniques and other approaches for software assurance, their theory, current capabilities and limitations, as well as their potential application to aerospace, robotics, and other NASA-relevant safety-critical systems during all stages of the software life-cycle. TOPICS OF INTEREST INCLUDE BUT ARE NOT LIMITED TO * Model checking * Theorem proving * SAT and SMT solving * Symbolic execution * Static analysis * Model-based development * Runtime verification * Software and system testing * Safety assurance * Fault tolerance * Compositional verification * Security and intrusion detection * Design for verification and correct-by-design techniques * Techniques for scaling formal methods * Applications of formal methods in the development of: * autonomous systems * safety-critical artificial intelligence systems * cyber-physical, embedded, and hybrid systems * fault-detection, diagnostics, and prognostics systems * Use of formal methods in: * assurance cases * human-machine interaction analysis * requirements generation, specification, and validation * automated testing and verification IMPORTANT DATES - Paper Submission: 2/19/2016 - Paper Notifications: 4/8/2016 - Camera-ready Papers: 4/27/2016 - Symposium: 6/7 - 6/9/2016 LOCATION The symposium will take place at McNamara Alumni Center, University of Minnesota. Registration is required but is free of charge. SUBMISSION DETAILS There are two categories of submissions: 1. Regular papers describing fully developed work and complete results (maximum 15 pages) 2. Short papers on tools, experience reports, or work in progress with preliminary results (maximum 6 pages) All papers must be in English and describe original work that has not been published or submitted elsewhere. All submissions will be fully reviewed by at least three members of the Program Committee. Papers will appear in a volume of Springer's Lecture Notes in Computer Science (LNCS), and must use LNCS style formatting. Papers must be submitted in PDF format at the EasyChair submission site: https://easychair.org/conferences/?conf=nfm2016 Authors of selected best papers may be invited to submit an extended version to a special issue of the Journal of Automated Reasoning (Springer). 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 - Célia Martinie, ICS-IRIT, Université 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, Université 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 - Helmut Veith, Vienna University of Technology, Austria - 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 Thu Jan 28 22:04:57 2016 From: grlmc at grlmc.com (GRLMC) Date: Thu, 28 Jan 2016 22:04:57 +0100 Subject: [fg-arc] BigDat 2016: registration deadline 5 February Message-ID: <545102060a010b02045755050d51005c515e01595405065904560905070305580004510f030901040750070b03@grlmc_ip-zone_com-6> BigDat 2016: registration deadline 5 February*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line*   ********************************************************   2nd INTERNATIONAL WINTER SCHOOL ON BIG DATA   BigDat 2016   Bilbao, Spain   February 8-12, 2016   Organized by: DeustoTech, University of Deusto Rovira i Virgili University   http://grammars.grlmc.com/bigdat2016/   ********************************************************   --- Regular registration deadline: February 5, 2016 ---   ********************************************************   AIM:   BigDat 2016 will be 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 and fast developing area of big data, which covers a large spectrum of current exciting research and industrial 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.   Most 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, 18 six-hour courses, and 1 round table, which will tackle the most active and promising topics. The organizers are convinced that outstanding speakers will attract the brightest and most motivated students. Interaction will be a main component of the event. An open session will give participants the opportunity to present their own work in progress in 5 minutes.   ADDRESSED TO:   Graduates and postgraduates from around the world. There are no formal pre-requisites in terms of academic degrees. However, since there will be differences in the course levels, specific knowledge background may be assumed for some of them. BigDat 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, industry leaders and innovators.   REGIME:   In addition to keynotes, 2-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 2016 will take place in Bilbao, the capital of the Basque Country region, famous for its gastronomy and the seat of the Guggenheim Museum. The venue will be:   DeustoTech, School of Engineering University of Deusto Avda. Universidades, 24 48014 Bilbao   KEYNOTE SPEAKERS:   Nektarios Benekos (European Organization for Nuclear Research), Role of Computing and Software in Particle Physics   Chih-Jen Lin (National Taiwan University), When and When Not to Use Distributed Machine Learning   Jeffrey Ullman (Stanford University), Theory of MapReduce Algorithms   Alexandre Vaniachine (Argonne National Laboratory), Big Data Technologies and Data Science Methods in the Higgs Boson Discovery   PROFESSORS AND COURSES:   Nektarios Benekos (European Organization for Nuclear Research), [introductory/intermediate] Exploring the Mysteries of our Cosmos: the Big Deal between Big Data and Big Science   Hendrik Blockeel (KU Leuven), [intermediate] Decision Trees for Big Data Analytics   Nello Cristianini (University of Bristol), [introductory] THINKBIG: Towards Large Scale Computational Social Sciences, History and Digital Humanities   Ernesto Damiani (University of Milan & EBTIC/Khalifa University), [introductory/intermediate] Architectures, Models and Tools for Big-Data-as-a-Service   Francisco Herrera (University of Granada), [introductory] Big Data Preprocessing   George Karypis (University of Minnesota), [intermediate/advanced] Scaling Up Recommender Systems   Chih-Jen Lin (National Taiwan University), [introductory/intermediate] Large-scale Linear Classification   Geoff McLachlan (University of Queensland), [intermediate/advanced] Big Data Extensions of Some Methods of Classification and Clustering   Wladek Minor (University of Virginia), [introductory/intermediate] Big Data in Biomedical Sciences   Raymond Ng (University of British Columbia), [introductory/intermediate] Mining and Summarizing Text Conversations   Sankar K. Pal (Indian Statistical Institute), [introductory/advanced] Machine Intelligence and Granular Mining: Relevance to Big Data   Erhard Rahm (University of Leipzig), [introductory/intermediate] Scalable and Privacy-preserving Data Integration   Hanan Samet (University of Maryland), [introductory/intermediate] Sorting in Space: Multidimensional, Spatial, and Metric Data Structures for Applications in Spatial Databases, Geographic Information Systems (GIS), and Location-based Services   Jaideep Srivastava (Qatar Computing Research Institute), [intermediate] Social Computing: Computing as an Integral Tool to Understanding Human Behavior and Solving Problems of Social Relevance   Jeffrey Ullman (Stanford University), [introductory] Big Data Algorithms that Aren't Machine Learning   Alexandre Vaniachine (Argonne National Laboratory), [introductory/advanced] Big Data: Comparison with Computational Models   Xiaowei Xu (University of Arkansas, Little Rock), [introductory/advanced] Big Data Analytics for Social Networks   Mohammed J. Zaki (Rensselaer Polytechnic Institute), [introductory/intermediate] Large Scale Graph Analytics and Mining   OPEN SESSION   An open session will collect 5-minute presentations of work in progress by participants. They should submit a half-page abstract containing title, authors, and summary of the research to adrian.dediu (at) urv.cat by February 5, 2016.   ORGANIZING COMMITTEE:   Adrian Horia Dediu Carlos Martín-Vide (co-chair) Iker Pastor López (co-chair) Borja Sanz (co-chair) Florentina Lilica Voicu   REGISTRATION:   It has to be done at   http://grammars.grlmc.com/bigdat2016/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:   Participants are expected to attend full-time. Fees are a flat rate allowing 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   ACKNOWLEDGEMENTS:   University of Deusto Rovira i Virgili University -------------- next part -------------- An HTML attachment was scrubbed... URL: From mayerhofer at big.tuwien.ac.at Fri Jan 29 11:24:39 2016 From: mayerhofer at big.tuwien.ac.at (Mayerhofer Tanja) Date: Fri, 29 Jan 2016 10:24:39 +0000 Subject: [fg-arc] CfP: STAF 2016 Call for Papers Message-ID: <5dba95700af84ee2b62ad6a24c646bff@mbx13b.intern.tuwien.ac.at> ------------------------------------------------------------------------ Call for Papers: STAF 2016 - Software Technologies: Applications and Foundations July 4-8, 2016 TU Wien, Vienna, Austria http://staf2016.conf.tuwien.ac.at ------------------------------------------------------------------------ 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. In 2016, the following events are participating in STAF: --------------------- Main Events --------------------- * ECMFA - 12th European Conference on Modelling Foundations and Applications Chairs: Andrzej Wąsowski (IT University of Copenhagen, Denmark) and Henrik Lönn (Volvo Group, Sweden) http://ecmfa2016.itu.dk/ * ICGT - 9th International Conference on Graph Transformation Chairs: Rachid Echahed (CNRS, Université Grenoble Alpes, France) and Mark Minas (Universität der Bundeswehr München, Germany) https://sites.google.com/site/icgt2016/ * ICMT - 9th International Conference on Model Transformation Chairs: Gregor Engels (Universität Paderborn, Germany) and Pieter Van Gorp (Eindhoven University of Technology, Netherlands) http://is.ieis.tue.nl/research/ICMT16 * SEFM - 14th International Conference on Software Engineering and Formal Methods Chairs: Eva Kühn (TU Wien, Austria) and Rocco De Nicola (IMT Institute for Advanced Studies Lucca, Italy) http://staf2016.conf.tuwien.ac.at/sefm/ * TAP - 10th International Conference on Tests and Proofs Chairs: Bernhard K. Aichernig (Graz University of Technology, Austria) and Carlo A. Furia (ETH Zurich, Switzerland) http://tap2016.ist.tugraz.at/ * TTC - 9th Transformation Tool Contest Chairs: Louis Rose (University of York, England), Filip Křikava (Czech Technical University, Czech Republic), and Antonio Garcia-Dominguez (University of York, England) http://www.transformation-tool-contest.eu/ --------------------- Satellite Events --------------------- * Doctoral Symposium Chairs: Catherine Dubois (Nationale Supérieure d’Informatique pour l’Industrie et l’Entreprise, France) and Francesco Parisi-Presicce (Sapienza Università di Roma, Italy) * Projects Showcase - 2nd event dedicated to international and national project dissemination and cooperation * Workshops Chairs: Manuel Wimmer (TU Wien, Austria), Dániel Varró (Budapest University of Technology and Economics, Hungary) and Paolo Milazzo (Università di Pisa, Italy) --------------------- Keynotes --------------------- * Krzysztof Czarnecki, University of Waterloo, Canada (ECMFA Keynote) * Stefan Voget, Continental Automotive GmbH (ECMFA Keynote) * Juergen Dingel, Queen’s University, Canada (ICGT Keynote) * Juan de Lara, Universidad Autónoma de Madrid, Spain (ICMT Keynote) * Erika Ábrahám, RWTH Aachen University, Germany (SEFM Keynote) * Gul Agha, University of Illinois, USA (SEFM Keynote) * Kim G. Larsen, Aalborg University, Denmark (TAP Keynote) --------------------- Important Dates --------------------- * ECMFA Abstract submission: 15.02.2016 Paper submission: 01.03.2016 http://ecmfa2016.itu.dk/#cfp * ICGT Abstract submission: 15.02.2016 Paper submission: 29.02.2016 https://sites.google.com/site/icgt2016/submission * ICMT Abstract submission: 15.02.2016 Paper submission: 29.02.2016 http://is.ieis.tue.nl/research/ICMT16/index.php/call-for-papers/ * SEFM Abstract submission: 22.02.2016 Paper submission: 29.02.2016 http://staf2016.conf.tuwien.ac.at/sefm/submission/ * TAP Abstract submission: 29.01.2016 Paper submission: 05.02.2016 http://tap2016.ist.tugraz.at/call.shtml * TTC Case submission: 17.03.2016 Solution submission: 09.05.2016 http://www.transformation-tool-contest.eu/cfc.html