From eichelberger at sse.uni-hildesheim.de Thu Dec 3 13:28:35 2015 From: eichelberger at sse.uni-hildesheim.de (Holger Eichelberger) Date: Thu, 3 Dec 2015 13:28:35 +0100 Subject: [fg-arc] Deadline extension: First International Workshop on Big Data Processing - Reloaded (BDPR'16) Message-ID: <56603573.2080600@sse.uni-hildesheim.de> [please apologize cross-postings] First International Workshop on Big Data Processing - Reloaded, March 15th, 2016 Bordeaux, France (http://bdpr2016.l3s.uni-hannover.de/) co-located with EDBT/ICDT 2016 Important dates: Submission Deadline (extended): December 21, 2015 Big data processing has gained much attention in the recent years raising the need for stream processing solutions. At the same time, there has been substantial research and development of methods and technologies that have high potential for further progress in stream processing. This includes (i) flexible stream processing infrastructures that go beyond MapReduce, such as Apache Storm and Apache Spark, (ii) generic and application-specific stream processing algorithms, (iii) reconfigurable hardware more accessible to programmers as well as initial experience of using such components as coprocessors when processing streams, (iv) scalable algorithms for social web analysis or new approaches to data visualization, etc. It is the goal of this workshop to discuss latest developments in this area and to relate them to each other. To this end, we want to provide a forum to discuss challenges, advances, and directions in this area while also providing the right environment to network with people working on related topics and fostering future collaborations. In addition, the workshop is especially interested in exploring how those new developments can be exploited and combined, such that effective, scalable and adaptive stream processing systems can be build efficiently for applications in the financial and other domains. Topics of Interest The workshop solicits regular research papers describing preliminary and ongoing research results. Topics of interest for submissions include, but are not limited to: * Technologies and methods for flexible data processing infrastructures * Adaptive data stream processing * Big data analytics in the financial and other domains * Offloading computationally intensive processing to co-processors, including FPGAs, GPUs, etc. * Novel development approaches for stream processing pipelines and applications * Composition of multiple data streams and multi evidence combination * Semantic-based Data Mining and Data Pre-processing * Stream-based Link and Graph Mining * Quality issues in stream processing pipelines, including result quality and functional validation Submission should not exceed 7 pages and should be formatted according to the ACM SIG Proceedings double-column template. All workshop papers will be published online at CEUR. Please use the following link for the Submission of your paper (EasyChair): https://easychair.org/conferences/?conf=bdpr2016 Programme Chairs * Minos Garofalakis, Technical University of Crete, Greece * Graham Cormode, University of Warwick, UK Organizers * Claudia Niederée, L3S Research Center, Germany * Holger Eichelberger, University of Hildesheim, Germany * Ekaterini Ioannou, Technical University of Crete, Greece Programme Committee * Philippe Cudre-Mauroux, University of Freibourg, Switzerland * Luciano Baresi, Politechnico di Milano, Italy * Kjetil Norvag, Norwegian University of Science and Technology, Norway * Heiko Schuldt, University of Basel, Switzerland * Yannis Velegrakis, University of Trento, Italy * Ekaterini Ioannou, Technical University of Crete, Greece * Apostolos Dollas, Technical University of Crete, Greece * Odysseas Papapetrou, Technical University of Crete, Greece * Klaus Schmid, University of Hildesheim, Germany * Sergej Zerr, L3S Research Center, Germany From juan.caballero at imdea.org Thu Dec 3 20:00:35 2015 From: juan.caballero at imdea.org (Juan Caballero) Date: Thu, 3 Dec 2015 20:00:35 +0100 Subject: [fg-arc] DIMVA 2016 CFP Message-ID: <00e701d12dfc$ea6cc360$bf464a20$@imdea.org> Apologies for cross-posting Call for Papers: DIMVA 2016 13th International Conference on Detection of Intrusions and Malware & Vulnerability Assessment San Sebastian, Spain July 7-8, 2016 http://dimva2016.mondragon.edu San Sebastian (Donostia in Basque language) is the 2016 European Capital of Culture with a broad agenda of cultural activities, and also the 2016 European City of the Year. It is a beautiful city famous by its cuisine, boasting more Michelin stars per square metre than any other city on the planet. It is also listed among the World's 20 Best Surf Towns by National Geographic. Would you miss all this? Important Dates - Paper Submission: Friday, Feb 3, 2016, 11:59:59pm PST - Acceptance Notification: Monday, Mar 28, 2016 - Final Paper Version: Thursday, Apr 28, 2016 - Conference: July 7-8, 2016 About DIMVA The annual DIMVA conference serves as a premier forum for advancing the state of the art in intrusion detection, malware detection, and vulnerability assessment. Each year, DIMVA brings together international experts from academia, industry, and government to present and discuss novel research in these areas. DIMVA is organized by the special interest group "Security - Intrusion Detection and Response" (SIDAR) of the German Informatics Society (GI). The conference proceedings will appear as a volume in the Springer Lecture Notes in Computer Science (LNCS) series. Types of Submissions Solicited DIMVA solicits submission of high-quality, original scientific papers presenting novel research on malware analysis, intrusion detection, and related systems security topics. Submissions of two types are invited: - FULL PAPERS, presenting novel and mature research results. Full papers are limited to 20 pages in LNCS format, including bibliography and appendices. - SHORT PAPERS, presenting original, still ongoing work that has not yet reached the maturity required for a full paper. Short papers are limited to 10 pages in LNCS format, including bibliography and appendices. Short papers will be included in the proceedings. The title of short papers should start with the words "Extended Abstract" Topics of Interest As per our tradition, DIMVA encourages submissions from the following broad areas: * INTRUSION DETECTION - Novel approaches and domains - Insider detection - Prevention and response - Data leakage and exfiltration - Result correlation and cooperation - Evasion and other attacks - Potentials and limitations - Operational experiences - Privacy, legal and social aspects - Targeted attacks * MALWARE DETECTION - Automated analyses - Behavioral models - Prevention and containment - Classification - Lineage - Forensics and recovery - Underground economy * VULNERABILITY ASSESSMENT - Vulnerability detection - Vulnerability prevention - Vulnerability analysis - Exploitation prevention - Situational awareness - Active probing Organizing Committee - GENERAL CHAIR: Urko Zurutuza, Mondragon University, Spain (info {at} dimva.org) - PROGRAM CHAIR: Juan Caballero, IMDEA Software Institute, Spain (pc-chair {at} dimva.org) - PUBLICATION CHAIR: Ricardo J. Rodríguez, Universidad de Zaragoza, Spain (publication-chair {at} dimva.org) Program Committee - Andrea Lanzi, University of Milan, Italy - Baris Coskun, Yahoo! Labs, USA - Bernhard Haemmerli, Acris GmbH, Switzerland - Brendan Dolan-Gavitt, NYU, USA - Christian Rossow, Saarland University, Germany - Corrado Leita, Lastline, UK - Federico Maggi, Politecnico di Milano, Italy - Gianluca Stringhini, University College London, UK - Herbert Bos, Vrije Universiteit, The Netherlands - Jason Polakis, Columbia University, USA - Jean Yves Marion, Lorraine University, France - Juan Tapiador, Universidad Carlos III, Spain - Konrad Rieck, University of Göttingen, Germany - Levente Buttyan, Budapest University of Technology and Economics, Hungary - Leyla Bilge, Symantec Research Labs, France - Lucas Davi, TU Darmstadt, Germany - Manos Antonakakis, Georgia Institute of Technology, USA - Manuel Egele, Boston University, USA - Marco Balduzzi, Trend Micro Research, USA - Martina Lindorfer, SBA Research, Austria - Mauro Conti, University of Padua, Italy - Michael Meier, University of Bonn and Fraunhofer FKIE, Germany - Nick Nikiforakis, Stony Brook University, USA - Nigel Edwards, HP Labs, UK - Pavel Laskov, Huawei, China - Roberto Perdisci, University of Georgia and Georgia Tech, USA - Simin Nadjm-Tehrani, Linköping university, Sweden - Somesh Jha, University of Wisconsin-Madison, USA - Sotiris Ioannidis, FORTH, Greece - Stefano Zanero, Politecnico di Milano, Italy - Stelios Sidiroglou-Douskos, MIT, USA - Sven Dietrich, John Jay College of Criminal Justice, City University of New York, USA - Tim Kornau, Google, Switzerland - Ulrich Flegel, Infineon Technologies AG, Germany - Vincenzo Gulisano, Chalmers University of Technology, Sweden - Yves Younan, Cisco Systems, USA - Zakir Durumeric, University of Michigan, USA - Zhiqiang Lin, University of Texas at Dallas, USA Steering Committee Chairs - Ulrich Flegel, Infineon Technologies, Germany - Michael Meier, University of Bonn, Germany Members - Bernhard Haemmerli, Acris GmbH & HSLU Lucerne, Switzerland - Christian Kreibich, ICSI, USA - Christopher Kruegel, UC Santa Barbara, USA - Danilo M. Bruschi, Universita degli Studi di Milano, Italy - Federico Maggi, Politecnico di Milano, Italy - Herbert Bos, Vrije Universiteit Amsterdam, Netherlands - Herve Debar, Telecom SudParis, France - Klaus Julisch, Deloitte, Switzerland - Konrad Rieck, University of Goettingen, Germany - Lorenzo Cavallaro, Royal Holloway, University of London, UK - Magnus Almgren, Chalmers University of Technology, Sweden - Marko Jahnke, Federal Office for Information Security, Germany - Pavel Laskov, University of Tuebingen, Germany - Robin Sommer, ICSI/LBNL, USA - Roland Bueschkes, RWE AG, Germany - Sven Dietrich, City University of New York - John Jay College of Criminal Justice, USA - Thorsten Holz, Ruhr-University Bochum, Germany Sponsorship Opportunities We solicit interested organizations to serve as sponsors for DIMVA 2016. Please contact sponsor-chair {at} dimva.org for details regarding sponsorship. From grlmc at grlmc.com Sat Dec 5 10:38:47 2015 From: grlmc at grlmc.com (GRLMC) Date: Sat, 05 Dec 2015 10:38:47 +0100 Subject: [fg-arc] AlCoB 2016: 2nd call for papers Message-ID: *To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line* ************************************************************************************ 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 invited tutorials peer-reviewed contributions   INVITED SPEAKERS (to be completed): 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: January 26, 2016 (23:59 CET) 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 abraham at informatik.rwth-aachen.de Mon Dec 7 18:03:00 2015 From: abraham at informatik.rwth-aachen.de (Erika Abraham) Date: Mon, 7 Dec 2015 18:03:00 +0100 Subject: [fg-arc] 3rd CFP iFM 2016 (integrated Formal Methods), 1 - 3 June 2016, Reykjavik Message-ID: <5665BBC4.2020304@informatik.rwth-aachen.de> =========================================================== CALL FOR PAPERS iFM 2016 12th International Conference on integrated Formal Methods June 1-3, 2016, Reykjavik, Iceland http://en.ru.is/ifm/ =========================================================== === Important dates === Abstract submission: December 21, 2015 Paper submission: January 6, 2016 Paper notification: February 29, 2016 Final version: March 14, 2016 Conference: June 1-3, 2016 === Objectives and scope === Applying formal methods may involve the usage of different formalisms and different analysis techniques to validate a system, either because individual components are most amenable to one formalism or technique, because one is interested in different properties of the system, or simply to cope with the sheer complexity of the system. The iFM conference series seeks to further research into hybrid approaches to formal modeling and analysis; i.e., the combination of (formal and semi-formal) methods for system development, regarding both modeling and analysis. The conference covers all aspects from language design through verification and analysis techniques to tools and their integration into software engineering practice. Areas of interest include but are not limited to: - Formal and semi-formal modelling notations - Integration of formal methods into software engineering practice - Hybrid systems - Program verification - Program synthesis - Model checking - Static analysis - Runtime analysis, monitoring, performance evaluation - Decision procedures, SAT and SMT solving - Software engineering - Component-based systems (compositional, embedded, distributed, etc.) - Testing - Abstraction and refinement === Submission guidelines === iFM 2016 solicits high quality papers reporting research results and/or experience reports related to the overall theme of method integration. We solicit papers in the following categories: - research papers (max. 15 pages including bibliography) - regular tool papers (max. 15 pages including bibliography) - short tool papers (max. 8 pages including bibliography) - case study papers (max. 15 pages including bibliography) All submissions must be original, unpublished, and not submitted for publication elsewhere. Each paper will undergo a thorough review process. If necessary, a paper may be supplemented with a clearly marked appendix, which will be consulted at the discretion of the reviewers. Submissions should be made using the iFM 2016 Easychair site: https://easychair.org/conferences/?conf=ifm2016 Submissions must be in PDF format, using the Springer LNCS style files; we suggest to use the LaTeX2e package (the llncs.cls class file, available in llncs2e.zip and the typeinst.dem available in typeinst.zip as a template for your contribution). The conference proceedings will be published in Springer's Lecture Notes in Computer Science series. All accepted papers must be presented at the conference. Their authors must be prepared to sign a copyright transfer statement. At least one author of each accepted paper must register to the conference by the early date, to be indicated by the organizers, and present the paper. === Invited speakers === Marsha Chechik (University of Toronto, Canada) Laura Kovacs (Chalmers University of Technology, Sweden) Reiner Haehnle (Technical University Darmstadt, Germany) Edmund Clarke (Carnegie Mellon University, USA) === Workshops === iFM 2016 will be accompanied by a series of workshops. Further information is available from the conference website http://en.ru.is/ifm/ === Conference location === iFM 2016 is organized by the University of Reykjavik and will take place at the university campus in Reykjavik, the capital of Iceland. === Committees === General Chair: Marjan Sirjani (University of Reykjavik, Iceland) Program Chairs: Erika Abraham (RWTH Aachen University, Germany) Marieke Huisman (University of Twente, The Netherlands) Workshop Chair: Marcel Kyas (University of Reykjavik, Iceland) Wojciech Mostowski (Halmstad University, Sweden) Program Committee: Wolfgang Ahrendt (Chalmers University of Technology, Sweden) Elvira Albert (Complutense University of Madrid, Spain) Bernd Becker (Albert-Ludwigs-University Freiburg, Germany) Clara Benac Earle (Universidad Politecnica de Madrid, Spain) Borzoo Bonakdarpour (McMaster University, Canada) Ferruccio Damiani (Universita di Torino, Italy) Frank de Boer (CWI, The Netherlands) Delphine Demange (University of Rennes 1/IRISA, France) Jan Friso Groote (Eindhoven University of Technology, The Netherlands) Dilian Gurov (KTH Royal Institute of Technology, Sweden) Holger Hermanns (Saarland University, Germany) Einar Broch Johnsen (University of Oslo, Norway) Peter Gorm Larsen (Aarhus University, Denmark) Martin Leucker (University of Lubeck, Germany) Dominique Mery (Universite de Lorraine, LORIA, France) Rosemary Monahan (Maynooth University, Ireland) Nadia Polikarpova (MIT, USA) Cesar Sanchez (IMDEA Software Institute, Spain) Sriram Sankaranarayanan (University of Colorado, USA) Ina Schaefer (Technische Universitaet Braunschweig, Germany) Gerardo Schneider (Chalmers, University of Gothenburg, Sweden) Emil Sekerinski (McMaster University, Canada) Armando Tacchella (University of Genoa, Italy) Mark Utting (University of the Sunshine Coast, Australia) Heike Wehrheim (University of Paderborn, Germany) Kirsten Winter (University of Queensland, Australia) From dlucanu at thor.info.uaic.ro Tue Dec 8 09:48:50 2015 From: dlucanu at thor.info.uaic.ro (Dorel Lucanu) Date: Tue, 8 Dec 2015 10:48:50 +0200 Subject: [fg-arc] WRLA 2016: 2nd Call for Papers (including invited speakers) Message-ID: <20151208084849.GA20392@thor.info.uaic.ro> ======================== Call for Papers ================================= WRLA 2016 11th International Workshop on Rewriting Logic and its Applications An ETAPS 2016 satellite event Eindhoven, The Netherlands, April 2-3, 2016 ========================================================================== IMPORTANT DATES * Abstract deadline: January 6th 2016 * Submission deadline: January 10th 2016 * Author notification: February 14th 2016 * Workshop: Saturday April 2nd and Sunday April 3rd, 2016 AIMS AND SCOPE Rewriting is a natural model of computation and an expressive semantic framework for concurrency, parallelism, communication, and interaction. It can be used for specifying a wide range of systems and languages in various application domains. It also has good properties as a metalogical framework for representing logics. Several successful languages based on rewriting (ASF+SDF, CafeOBJ, ELAN, Maude) have been designed and implemented. The aim of WRLA is to bring together researchers with a common interest in rewriting and its applications, and to give them the opportunity to present their recent work, discuss future research directions, and exchange ideas. The 2016 edition of WRLA will mark its 20th anniversary since its first edition in Asilomar, California, in 1996. The topics of the workshop include, but are not limited to: A. Foundations * foundations and models of rewriting and rewriting logic, including termination, confluence, coherence and complexity * unification, generalisation, narrowing, and partial evaluation * constrained rewriting and symbolic algebra * graph rewriting * tree automata * rewriting strategies * rewriting-based calculi and explicit substitutions B. Rewriting as a Logical and Semantic Framework * uses of rewriting and rewriting logic as a logical framework, including deduction modulo * uses of rewriting as a semantic framework for programming language semantics * rewriting semantics of concurrency models, distributed systems, and network protocols * rewriting semantics of real-time, hybrid, and probabilistic systems * uses of rewriting for compilation and language transformation C. Rewriting Languages * rewriting-based declarative languages * type systems for rewriting * implementation techniques * tools supporting rewriting languages D. Verification Techniques * verification of confluence, termination, coherence, sufficient completeness, and related properties * temporal, modal and reachability logics for verifying dynamic properties of rewrite theories * explicit-state and symbolic model-checking techniques for verification of rewrite theories * rewriting-based theorem proving, including (co)inductive theorem proving * rewriting-based constraint solving and satisfiability * rewriting-semantics-based verification and analysis of programs E. Applications * applications to logic, mathematics and physics * rewriting models of biology, chemistry, and membrane systems * security specification and verification * applications to distributed, network, mobile, and cloud computing * specification and verification of real-time, probabilistic, and cyber-physical systems * specifications and verification of critical systems * applications to model-based software engineering * applications to engineering and planning INVITED SPEAKERS Nikolaj Bjorner (Microsoft Research) Helene Kirchner (INRIA, France) SUBMISSION We solicit submissions of regular papers, tool papers, and work-in-progress papers. Regular papers must contain original contributions, be clearly written, include appropriate references, and comparison with related work. They must be unpublished and not submitted simultaneously for publication elsewhere. Tool papers have to present a new tool, a new tool component, or novel extensions to an existing tool. They should provide a short description of the theoretical foundations with relevant citations, emphasise the design and implementation, and give a clear account of the tool's functionality. The described tools must be publicly available via the web. Work-in-progress papers present early-stage work or other types of innovative or thought-provoking work related to the topics of the workshop. The difference between work-in-progress and regular papers is that work-in-progress submissions represent work that has not reached yet a level of completion that would warrant the full-refereed selection process. We encourage researchers and practitioners to submit work-in-progress papers as this provides a unique opportunity for sharing valuable ideas, eliciting useful feedback on ongoing work, and fostering discussions and collaborations among colleagues. All submissions should be formatted according to the guidelines for Springer LNCS papers, and should be submitted electronically using EasyChair at https://easychair.org/conferences/?conf=wrla2016 Regular and work-in-progress papers should not exceed 15 pages including references. Tool papers can have a maximum of 6 pages including references and may have an appendix of up to 4 additional pages with usage details and tool demonstration. PUBLICATION All submissions will be evaluated by the program committee. Regular papers, tool papers, and work-in-progress papers that are accepted will be presented at the workshop and included in the pre-proceedings, which will be available during the workshop. Following the tradition of the last editions, the regular papers, tool papers, and invited presentations will be published as a volume in Springer’s Lecture Notes in Computer Science (LNCS) series to be distributed after the workshop. A special issue of the Journal of Logical and Algebraic Methods in Programming (JLAMP) will be devoted to extended versions of selected papers from WRLA 2016. PROGRAM COMMITTEE Kyungmin Bae, SRI International, USA Mark van den Brand, Eindhoven University of Technology, The Netherlands Roberto Bruni, University of Pisa, Italy Stefan Ciobaca, Alexandru Ioan Cuza University, Romania Manuel Clavel, IMDEA Software Institute, Spain Francisco Durán, Universidad de Málaga, Spain Joerg Endrullis, Vrije Universiteit Amsterdam, The Netherlands Santiago Escobar, Universidad Politécnica de Valencia, Spain Maribel Fernández, King's College London, UK Kokichi Futatsugi, JAIST, Japan Thomas Genet, IRISA/Université de Rennes 1, France Jürgen Giesl, RWTH Aachen, Germany Deepak Kapur, University of New Mexico, USA Helene Kirchner, INRIA, France Alexander Knapp, Universitat Augsburg, Germany Alberto Lluch Lafuente, Technical University of Denmark, Denmark Dorel Lucanu, Alexandru Ioan Cuza University, Romania (chair) Salvador Lucas, Universidad Politécnica de Valencia, Spain Narciso Martí-Oliet, Universidad Complutense de Madrid, Spain José Meseguer, University of Illinois at Urbana-Champaign, USA Ugo Montanari, University of Pisa, Italy Pierre-Etienne Moreau, Université de Lorraine, France Vivek Nigam, Federal University of Paraíba, Brasil Kazuhiro Ogata, JAIST, Japan Peter Ölveczky, University of Oslo, Norway Miguel Palomino, Universidad Complutense de Madrid, Spain Christophe Ringeissen, INRIA-Lorraine Nancy, France Grigore Rosu, University of Illinois at Urbana-Champaign, USA Vlad Rusu, INRIA Lille Nord-Europe, France Ralf Sasse, ETH Zurich, Switzerland Traian-Florin Serbanuta, University of Bucharest, Romania Mark-Oliver Stehr, SRI International, USA Carolyn Talcott, SRI International, USA Martin Wirsing, Ludwig-Maximilians-Universität München, Germany CONTACT INFORMATION For more information, please contact the organizers dlucanu at info.uaic.ro or visit the workshop web page http://fmse.info.uaic.ro/events/WRLA2016/ . From S.S.T.Q.Jongmans at cwi.nl Tue Dec 8 14:46:22 2015 From: S.S.T.Q.Jongmans at cwi.nl (Sung-Shik Jongmans) Date: Tue, 8 Dec 2015 14:46:22 +0100 (CET) Subject: [fg-arc] CFP: Winter School on Formal Methods Message-ID: <207798391.3759872.1449582382293.JavaMail.zimbra@cwi.nl> **************************************************************** CALL FOR PARTICIPATION The First IPM Advanced School on Computing: Formal Methods for Design and Analysis of Computer Systems Tehran, Iran, 11-15 January 2016 http://cs.ipm.ac.ir/asoc2016 PRECEDED BY The First IPM Formal Methods Day Tehran, Iran, 10 January, 2016 http://cs.ipm.ac.ir/fmd2016 **************************************************************** ABSTRACT: This advanced school brings together experts from different areas of formal methods to present state of the art in formal methods and logical reasoning techniques in design and analysis of computer systems. The school will cover topics from Model Checking, Process Algebra, Logic, Concurrency Theory and Quantum Computing. Our goal is to demonstrate the importance of foundations and its connection to the design and rigorous analysis of computer systems. The level of lectures will be suitable for graduate students, young researchers and also experts from other fields of computer science who intend to establish interdisciplinary links with formal methods. This event proceeds by the IPM Formal Methods Day (http://cs.ipm.ac.ir/fmd2016). PROGRAM: * Joseph Sifakis: "Model-Based System Design" EPFL & Verimag/CNRS [Turing Award winner of 2007] * Wan Fokkink: "The Spirit of Multicore Computing" VU University Amsterdam * Jan Rutten: "Concrete coalgebra: an introduction by examples" Radboud University Nijmegen/CWI * Farhad Arbab: "Engineering of Highly Concurrent Systems" Leiden University/CWI * Elham Kashefi: "Measurement Calculus" The University of Edinburgh For a detailed program and information about the lecturers, please visit: * http://cs.ipm.ac.ir/asoc2016/Programme.aspx * http://cs.ipm.ac.ir/asoc2016/InvitedLecturers.aspx ACCOMMODATION: Participants can stay at the IPM guest house for the duration of the school. The IPM guest house is conveniently located in the same building as the lectures. * Single room (including breakfast): 60 EUR/night * Double room (including breakfast): 80 EUR/night All participants who stay at the IPM guest house can be picked up, by someone from IPM who speaks English, from Imam Khomeini International Airport (IKA) upon their arrival, by taxi. The taxi fee to the IPM guest house is roughly 40 EUR. Similarly, all participants can be dropped off at IKA after the school. FEE: * Regular: 400 EUR * Students: 200 EUR REGISTRATION: * http://cs.ipm.ac.ir/asoc2016/Registration.aspx * Registration deadline: December 20, 2015. * The participation in the school is subject to success in the selection process of the IPM School of Computer Science, based on academic merits of the applicants. All selected applicants will be notified via email by 25 December. ORGANIZERS: * Farhad Arbab, Leiden University/CWI * Ebrahim Ardeshir-Larijani, IPM CONTACT: * E-mail: asc at ipm.ir * Phone: +98 21 24509404 * Fax: +98 21 22825454 * Address: IPM School of Computer Science Farmanieh Campus, No. 70, Lavasani Av. (next to Kouhe Nour Building) Tehran, Iran -------------- next part -------------- A non-text attachment was scrubbed... Name: poster.jpg Type: image/jpeg Size: 2271084 bytes Desc: not available URL: From burger at kit.edu Mon Dec 14 15:54:00 2015 From: burger at kit.edu (Erik Burger) Date: Mon, 14 Dec 2015 15:54:00 +0100 Subject: [fg-arc] 4. Workshop on View-based, Aspect-oriented, and Orthographic Software Modelling (VAO) Message-ID: <566ED808.3000901@kit.edu> --------------------------------------------------------------------- | | | VAO 2016 - Call for Contributions | | | | 4th Workshop on | | View-Based, Aspect-Oriented and Orthographic Software Modelling | | | | A satellite event of Modellierung 2016 | | | | 2 March 2016, Karlsruhe, Germany | | | --------------------------------------------------------------------- | For a complete PDF version of this call please visit: | | | | http://vao.ipd.kit.edu/uploads/media/vao2016_cfp.pdf | | | --------------------------------------------------------------------- In Model-Driven Engineering, the functionality of complex systems lies beyond the representative capabilities of a single model. Therefore, an increasing variety of heterogeneous models and languages are used in the various phases of software development. Information about a system is consequently spread across these various models with possible overlaps, redundancies, and inconsistencies. To cope with this complexity, which normally exceeds the cognitive capacity of a single individual, various approaches have been developed to re-organize information during systems development. Different approaches that allow system modelling from various perspectives or according to separate concerns focus on such diverse issues that it is difficult to compare and evaluate them. Some of them present solutions for a specific set of modelling languages or views, but make it hard to assess the applicability in other scenarios. Others provide means to define new views on models, but do not consider how redundancy-free models can be established. Goal ---- The goal of this workshop is to bring together researchers and practitioners with an interest in model-driven software development to foster a fruitful cross-pollination of ideas between different communities dealing with the separation and integration of views, concerns, and roles in system modelling. In break-out sessions, potential topics for scientific exchange will be elicited, possible comparison criteria will be collected, and ideas for future colaborations will be discussed. In order to provide a foundation for these discussions, we encourage submissions on new concepts, implementations or formalism as well as submissions on controversial positions, requirements for a common case-study or case-study scenarios. Submissions should contribute to investigating and discussing the benefits and drawbacks of different multi-view modelling approaches or identifying best practices. Topics ------ The workshop is interested in submissions on all topics related to model-driven development that deal with the separation and integration of different perspectives, languages, abstractions, views or concerns. More specifically, this includes: - bridging the gap between different views or metamodels, - generating, defining and evolving different views, models and metamodels, - round-trip engineering and co-evolution of different models, - composition of different views, models and metamodels, - (bidirectional) transformations of metamodels, - avoiding inconsistencies, overlap and redundancies between modelling artefacts, - using role modelling concepts for model-driven engineering, - generating models and metamodels for multiple views or formalisms, - separating and re-integrating cross-cutting concerns or model weaving, - dynamic information hiding for partial views, - coupling of software and non-software models Contributions ------------- Submissions to the workshop are possible in two categories. *Research papers* should describe original work on a problem or solution that pertains to the systematic separation or integration of models, concerns, views, or other modelling artefacts on six to eight pages. *Position papers* should present a well-defined position on how various modelling languages, viewpoints, heterogeneous subsystems, or concerns should be handled in MDE on two to four pages. All paper submissions have to adhere to the ACM SIG Proceedings Style (alternate format). Organizers ---------- Colin Atkinson, University of Mannheim, Germany Erik Burger, Karlsruhe Institute of Technology, Karlsruhe, Germany Thomas Goldschmidt, ABB Corporate Research, Ladenburg, Germany Ralf Reussner, Forschungszentrum Informatik (FZI), Karlsruhe, Germany Important Dates --------------- Paper submission: 10 January 2016 Author notification: 1 February 2016 Camera-ready version: 15 February 2016 Workshop date: 2 March 2016 Contact ------- vao-workshop at ira.uka.de Homepage -------- http://vao.ipd.kit.edu/ --------------------------------------------------------------------- From jose.proenca at cs.kuleuven.be Mon Dec 14 14:09:46 2015 From: jose.proenca at cs.kuleuven.be (jose.proenca at cs.kuleuven.be) Date: Mon, 14 Dec 2015 14:09:46 +0100 Subject: [fg-arc] 2nd 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 LNCS Series. 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. 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 andreas.steffens at swc.rwth-aachen.de Fri Dec 11 15:14:30 2015 From: andreas.steffens at swc.rwth-aachen.de (Steffens, Andreas) Date: Fri, 11 Dec 2015 14:14:30 +0000 Subject: [fg-arc] CfP - 1st Workshop on Continuous Software Engineering, Deadline extended 20.12.2015 Message-ID: <966A31BA-50CA-4F49-9ECD-C7D5697BFC71@swc.rwth-aachen.de> CALL FOR PAPERS ----------------------------------------------------------------------------------- 1st Workshop on Continuous Software Engineering (CSE 2016) ----------------------------------------------------------------------------------- http://cse2016.swc-rwth.de/ In conjunction with Software Engineering 2016 Vienna, February 23, 2016 Scope of the workshop: ---------------------- In order to develop and deliver high-quality products to their customers, software companies have to adopt state-of-the-art software development processes. To face this challenge, companies are applying innovative methods, approaches and techniques like agile methods, DevOps, Continuous Delivery, test automation, infrastructure as code or container-based virtualization. These new approaches have a high impact on the specification, design, development, maintenance, operation and the evolution of software systems. Therefore, common software engineering activities, organizational forms and processes have to be questioned, adapted and extended to ensure continuous and unobstructed soft-ware development (Continuous Software Engineering). So far, there is a lack of systematic approaches to face these challenges. The goal of this workshop is to present and discuss innovative solutions, ideas and experiences in the area of Continuous Software Engineering (CSE). Workshop topics: ---------------- The specific topics of the workshop include, but are not limited to: * DevOps & Release Engineering * Approaches to Continuous Integration/Delivery/Deployment * Infrastructure as Code * Test Automation & Optimization * Monitoring & Performance * Security for DevOps * Provisioning of Software & Infrastructure * Application Virtualization with Container * Engineering of Deployment Pipelines * Quality & Metrics for DevOps * Design for Scalability * Organizational issues for CSE * Continuous Delivery for Requirements Engineering/Early Prototyping * Change Management - Handling user feed-back * Teaching CSE approaches * Software Architectures for CSE * Microservices * Software Development Lifecycle for CSE Submission guidelines: ---------------------- We solicit two types of submissions: full papers (up to 8 pages) and short papers (up to 4 pages). Full papers present original and evaluated research whereas short papers describe novel ideas, identified challenges, and especially experience reports related to the workshop's theme. We encourage you to submit a contribution, both from a research and an industry perspective. All submissions will be peer reviewed and judged on the basis of their clarity, relevance, and interest to the workshop participants. Paper submissions must be in English and conform to the LNI format. Papers are to be submitted electronically to the CSE2016 EasyChair paper submission system. The workshop proceedings will be published at CEUR-WS. Authors of accepted papers have to register for the workshop. Important Dates: ---------------- Paper submission: December 20, 2015, extended Acceptance notification: January 12, 2016 Camera-ready version: January 23, 2016 Workshop: February 23, 2016 Organizers: -------- Bernd Brügge, Lukas Alperowitz, TU München Horst Lichter, Andreas Steffens RWTH Aachen University Dirk Riehle, FAU Nürnberg Contact: -------- E-Mail: steffens at swc.rwth-aachen.de Phone: +49 241 80-21341 From icatpn-16 at petrinet.de Fri Dec 11 23:50:27 2015 From: icatpn-16 at petrinet.de (Petri Nets PC Chairs 2016) Date: Fri, 11 Dec 2015 23:50:27 +0100 Subject: [fg-arc] ICATPN 2016: Call for Papers and Announcement Petri Nets 2016 Message-ID: <566B5333.5030806@petrinet.de> *** Apologies for multiple copies due to cross-posting *** *** Please forward to colleagues who might be interested *** =========================================================== Call for Papers and Announcement Petri Nets 2016 PETRI NETS 2016 37th International Conference on Application and Theory of Petri Nets and Concurrency in Toruń, Poland, June 19-24, 2016 Co-located with ACSD 2016: International Conference on Application of Concurrency to System Design Additional information about the conference can be found at: http://pn2016.mat.umk.pl Contact e-mail: pn2016 at mat.umk.pl ====================================================================== Two kinds of papers can be submitted: * Regular papers (max 20 pages) describing original results pertaining to the development of the theory of Petri Nets and distributed and concurrent systems in general, new results extending the applicability of Petri Nets, or case studies, application and experience reports pertinent to the practical use of Petri Nets and concurrency. * Tool papers (max 10 pages) describing a computer tool based on Petri Nets (not an application of the tool or the theory behind the tool). The tool should be available for use by other groups (but not necessarily for free). The submission should indicate how the reviewers can get access to the tool (this must be for free). The tool will be demonstrated in the Tool Exhibition, in addition to being presented in a conference talk. Submitted papers must: * be contributions that have not been published or submitted to other conferences/journals before or in parallel with this conference. * clearly state the problem being addressed, the goal of the work, the results achieved, and the relation to other work. * be in English and in the Springer LNCS-format: http://www.springer.de/comp/lncs/authors.html. * adhere to the page limit for the relevant category (see above). * be sent electronically (as a PDF file) no later than January 15, 2016 using the website http://www.easychair.org/conferences/?conf=petrinets2016 . The title page must: * contain a short abstract and a classification of the topics covered, preferably using the list of topics above. * clearly indicate whether the paper is submitted as a regular paper or tool paper. Submissions violating the above requirements may be immediately rejected by the PC Chairs. Important Dates: ----------------------------------------------------------- Submission of Papers: January 10, 2016 Notification: March 1, 2016 Final Version Due: March 15, 2016 Workshops & Tutorials: June 19-21, 2016 Main Conferences: June 22-24, 2016 The deadline for submission of papers is STRICT. However, if you submit the title page by January 10 it is sufficient to submit the full paper by January 15. Some of the best papers accepted for the conference will be invited as submissions to a special issue of the Fundamenta Informaticae journal. General topics related to concurrency - Model checking and verification of distributed systems - Verification of infinite-state or parametric systems - Causality/partial order theory of concurrency - Educational issues related to concurrency - New issues and developments in the theory of concurrency - Modelling of hardware and biological systems Topics specific to Petri nets - System design using nets - Analysis and synthesis, structure and behaviour of nets - Relationships between Petri Nets and other approaches - Net-based semantical, logical and algebraic calculi - Symbolic net representation (graphical or textual) - Computer tools for nets - Experience with using nets, case studies - Higher-level net models - Timed and stochastic nets - Standardisation of nets - Experience reports describing applications of nets to different kinds of systems and application fields, e.g.: flexible manufacturing systems, real-time systems, embedded systems, defence systems, biological systems, health and medical systems, environmental systems, hardware, telecommunications, railway networks, office automation, workflows, supervisory control, protocols and networks, Internet, e-commerce and trading, programming languages, performance evaluation, operations research ======================================================================= Tool Exhibition: On Wednesday June 22, 2016, there will be a tool exhibition. It consists of informal demonstrations for small groups/individuals, and there are no scheduled talks. Requests for participation in the tool exhibition must be sent to the Tool Exhibition Chair before June 1, 2016: pn2016 at mat.umk.pl They should include a link to the web pages for the tool (or a short description of the tool). The demonstrators bring their own machines, while the organisers may be requested to give access to the Internet. In case of any comments or questions, please contact the organizers: via email: pn2016 at mat.umk.pl via http://pn2016.mat.umk.pl Organizing Chair: Łukasz Mikulski (Nicolaus Copernicus University, Toruń) PC-Chairs: Fabrice Kordon (Université P. & M. Curie, Paris) Daniel Moldt (University of Hamburg, Hamburg) -- Please contribute to Petri Nets 2016: http://pn2016.mat.umk.pl http://www.PetriNet.de From edocconference2016 at gmail.com Wed Dec 16 13:12:28 2015 From: edocconference2016 at gmail.com (EDOC conference 2016) Date: Wed, 16 Dec 2015 13:12:28 +0100 Subject: [fg-arc] CfP & Call for Workshop Proposals: IEEE EDOC conference 2016 Message-ID: <5671552C.10109@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 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 From matthias.tichy at uni-ulm.de Wed Dec 16 13:18:20 2015 From: matthias.tichy at uni-ulm.de (Matthias Tichy) Date: Wed, 16 Dec 2015 13:18:20 +0100 Subject: [fg-arc] CfP: Workshop on Continuous Software Evolution and Delivery (CSED) at ICSE 2016, Austin Message-ID: <5671568C.4050603@uni-ulm.de> ------------------------------------------------------------ Call for Papers: *CSED - Int. Workshop on Continuous Software Evolution and Delivery* at ICSE 2016, Austin, Texas, US (Proceedings published by ACM/IEEE) ------------------------------------------------------------ Important Dates: ---------------- Abstract Submission: Jan 15, 2016 (mandatory) (AoE) Paper Submission: Jan 22, 2016 (AoE) Notification: Feb 18, 2016 Camera ready: Feb 27, 2016 (AoE) Workshop Date: May 14-15, 2016 ------------------------------------------------------------ Aims and Scope: --------------- Today, software development is conducted in increasingly turbulent business environments. Typically, fast-changing and unpredictable markets, complex and changing customer requirements, pressures of shorter time-to-market, and rapidly advancing information technologies are characteristics found in most software development projects. Continuous software evolution and delivery refers to the organisational capability to innovate and release software in fast parallel cycles, typically hours, days or very small numbers of weeks. For example, lean start-ups release up to 50 times per days. This includes determining new functionality to build, prioritising the most important functionality, evolving and refactoring the architecture, developing the functionality, validating it, releasing it to customers and collecting experimental feedback from the customers to inform the next cycle of development. As reaching the goal of continuous evolution and delivery is a holistic endeavour, it cannot be addressed only by automating the release engineering pipeline, but requires changes across the whole development cycle, both before (even up until requirements) and after release. For example, reducing the scope of a release has to be done during requirements analysis, while prioritization of post-release bugs to resolve in the next release needs to be done once a release has been pushed to the customer. CSED 2016 will bring together researchers and practitioners to discuss challenges of continuous software innovation and delivery and exchange innovative ideas to solve them. The workshop is co-located with ICSE 2016, the International Conference on Software Engineering (see http://2016.icse-conferences.org), in Austin, Texas. CSED will be a highly interactive workshop with a strong emphasis on discussions. Topics of Interest --------------- In summary, topics relevant to the scope of the workshop are as described above and specifically the following: * best practices for code movement (branching/integration) * continuous integration and testing * build and configuration of software * package and dependency management * continuous delivery, deployment, installation and software update * release management for different domains, e.g., cloud services, mobile apps, embedded systems * principles and automated techniques for release planning * DevOps and interaction with developers, end users, etc. * process aspects and agile practices supporting continuous * * organizational and human aspects * rapid cycles in e.g., requirements engineering, architectural design, programming languages, validation and verification * application / system monitoring * live and automatic experimentation and quick feedback of experimental results Paper Submission Details -------------------- We are soliciting full research papers (up to 7 pages), position papers (up to 4 pages), and industrial talks (1 page abstract). Full research papers present original and evaluated research whereas position papers describe novel ideas, identified challenges, or experiences related to the workshop’s theme. Industrial talks present challenges from practice and lessons learned. The paper has to follow ICSE 2016 formatting and submission instructions: http://2016.icse.cs.txstate.edu/formatInstr Please submit your abstract and/or paper using the EasyChair page for the workshop: https://www.easychair.org/conferences/?csed2016 Special issue -------------------- We plan to organize a special issue around the topics of the workshop in a top software engineering journal. Organizing Committee: --------------------- Matthias Tichy, University of Ulm (Germany) Stephany Bellomo, SEI, Carnegie Mellon University, Pittsburgh (United States) Brian Fitzgerald, Lero & University of Limerick (Ireland) Rick Kazman, University of Hawaii (United States) Program Committee: ------------------ Bram Adams, Polytechnique Montreal (Canada) Chris Bird, Microsoft Research (USA) Jan Bosch, Chalmers University of Technology (Sweden) Lianping Chen, Lero (Ireland) Boris Debic, Google Inc. Brian Doody, Hewlett Packard Enterprise Nicole Forsgren, Chef Software Akos Frohner, Google Inc. Michael Goedicke, Paluno & University of Duisburg-Essen (Germany) Bob Hall, AT&T Research Regina Hebig, University of Gothenburg (Sweden) Helena Holmström Olsson, Malmö University (Sweden) Zhen Ming Jack Jiang, York University (Canada) Foutse Khomh, Polytechnique Montreal (Canada) Kim Moir, Mozilla Inc. Jürgen Münch, University of Helsinki (Finland) Meiyappan Nagappan, Rochester Institute of Technology (USA) Sarah Nadi, Technical University of Darmstadt (Germany) Tien Nguyen, Iowa State University (USA) John O'Duinn, Stealth Startup Markus Seitz, Nokia Klaas-Jan Stol, Lero & University of Limerick (Ireland) Stefan Wagner, University of Stuttgart (Germany) Andy Zaidman, TU Delft (Netherlands) Further Information -------------------- Email: csed2016 at easychair.org Home page: http://continuous-se.org/CSED2016 -------------- next part -------------- A non-text attachment was scrubbed... Name: smime.p7s Type: application/pkcs7-signature Size: 4905 bytes Desc: S/MIME Cryptographic Signature URL: From m.huisman at utwente.nl Fri Dec 18 14:23:42 2015 From: m.huisman at utwente.nl (m.huisman at utwente.nl) Date: Fri, 18 Dec 2015 13:23:42 +0000 Subject: [fg-arc] Deadline extended: iFM 2016 (integrated Formal Methods), 1 - 3 June 2016, Reykjavik Message-ID: Apologies for cross-posting! =============================== The submission deadline for iFM 2016 has been extended: Abstract submission: January 6, 2016 (extended) Paper submission: January 13, 2016 (extended) Paper notification: February 29, 2016 Please find an updated version of CfP below. Best regards, Erika Abraham Marieke Huisman =========================================================== CALL FOR PAPERS iFM 2016 12th International Conference on integrated Formal Methods June 1-3, 2016, Reykjavik, Iceland http://en.ru.is/ifm/ =========================================================== === Important dates === Abstract submission: January 6, 2016 (extended) Paper submission: January 13, 2016 (extended) Paper notification: February 29, 2016 Final version: March 14, 2016 Conference: June 1-3, 2016 === Objectives and scope === Applying formal methods may involve the usage of different formalisms and different analysis techniques to validate a system, either because individual components are most amenable to one formalism or technique, because one is interested in different properties of the system, or simply to cope with the sheer complexity of the system. The iFM conference series seeks to further research into hybrid approaches to formal modeling and analysis; i.e., the combination of (formal and semi-formal) methods for system development, regarding both modeling and analysis. The conference covers all aspects from language design through verification and analysis techniques to tools and their integration into software engineering practice. Areas of interest include but are not limited to: - Formal and semi-formal modelling notations - Integration of formal methods into software engineering practice - Hybrid systems - Program verification - Program synthesis - Model checking - Static analysis - Runtime analysis, monitoring, performance evaluation - Decision procedures, SAT and SMT solving - Software engineering - Component-based systems (compositional, embedded, distributed, etc.) - Testing - Abstraction and refinement === Submission guidelines === iFM 2016 solicits high quality papers reporting research results and/or experience reports related to the overall theme of method integration. We solicit papers in the following categories: - research papers (max. 15 pages including bibliography) - regular tool papers (max. 15 pages including bibliography) - short tool papers (max. 8 pages including bibliography) - case study papers (max. 15 pages including bibliography) All submissions must be original, unpublished, and not submitted for publication elsewhere. Each paper will undergo a thorough review process. If necessary, a paper may be supplemented with a clearly marked appendix, which will be consulted at the discretion of the reviewers. Submissions should be made using the iFM 2016 Easychair site: https://easychair.org/conferences/?conf=ifm2016 Submissions must be in PDF format, using the Springer LNCS style files; we suggest to use the LaTeX2e package (the llncs.cls class file, available in llncs2e.zip and the typeinst.dem available in typeinst.zip as a template for your contribution). The conference proceedings will be published in Springer's Lecture Notes in Computer Science series. All accepted papers must be presented at the conference. Their authors must be prepared to sign a copyright transfer statement. At least one author of each accepted paper must register to the conference by the early date, to be indicated by the organizers, and present the paper. === Invited speakers === Marsha Chechik (University of Toronto, Canada) Laura Kovacs (Chalmers University of Technology, Sweden) Reiner Haehnle (Technical University Darmstadt, Germany) Edmund Clarke (Carnegie Mellon University, USA) === Workshops === iFM 2016 will be accompanied by a series of workshops. Further information is available from the conference website http://en.ru.is/ifm/ === Conference location === iFM 2016 is organized by the University of Reykjavik and will take place at the university campus in Reykjavik, the capital of Iceland. === Committees === General Chair: Marjan Sirjani (University of Reykjavik, Iceland) Program Chairs: Erika Abraham (RWTH Aachen University, Germany) Marieke Huisman (University of Twente, The Netherlands) Workshop Chair: Marcel Kyas (University of Reykjavik, Iceland) Wojciech Mostowski (Halmstad University, Sweden) Program Committee: Wolfgang Ahrendt (Chalmers University of Technology, Sweden) Elvira Albert (Complutense University of Madrid, Spain) Bernd Becker (Albert-Ludwigs-University Freiburg, Germany) Clara Benac Earle (Universidad Politecnica de Madrid, Spain) Borzoo Bonakdarpour (McMaster University, Canada) Ferruccio Damiani (Universita di Torino, Italy) Frank de Boer (CWI, The Netherlands) Delphine Demange (University of Rennes 1/IRISA, France) Jan Friso Groote (Eindhoven University of Technology, The Netherlands) Dilian Gurov (KTH Royal Institute of Technology, Sweden) Holger Hermanns (Saarland University, Germany) Einar Broch Johnsen (University of Oslo, Norway) Peter Gorm Larsen (Aarhus University, Denmark) Martin Leucker (University of Lubeck, Germany) Dominique Mery (Universite de Lorraine, LORIA, France) Rosemary Monahan (Maynooth University, Ireland) Nadia Polikarpova (MIT, USA) Cesar Sanchez (IMDEA Software Institute, Spain) Sriram Sankaranarayanan (University of Colorado, USA) Ina Schaefer (Technische Universitaet Braunschweig, Germany) Gerardo Schneider (Chalmers, University of Gothenburg, Sweden) Emil Sekerinski (McMaster University, Canada) Armando Tacchella (University of Genoa, Italy) Mark Utting (University of the Sunshine Coast, Australia) Heike Wehrheim (University of Paderborn, Germany) Kirsten Winter (University of Queensland, Australia) -------------- next part -------------- An HTML attachment was scrubbed... URL: From steffen.becker at informatik.tu-chemnitz.de Mon Dec 21 08:42:42 2015 From: steffen.becker at informatik.tu-chemnitz.de (Steffen Becker) Date: Mon, 21 Dec 2015 08:42:42 +0100 Subject: [fg-arc] Call for Papers: Joint Conference WICSA/QoSA/CBSE 2016 Message-ID: <5677AD72.7090709@informatik.tu-chemnitz.de> **************************************************************************** **************************************************************************** CALL FOR MAIN, INDUSTRIAL, DEMOS and YOUNG RESEARCHER FORUM PAPERS www.softwarearchitecture.org Topics submitted to the main tracks can relate to continuity, evolution and decay of software architectures; the quality benefits, consequences and debt from delaying decisions, architecting practices and experiences in different software development processes, or the related collaborative design activities that fit into the life cycles of systems and applications. Any submission that falls into the above scenarios is more than welcome! In addition, The Industry Track offers an excellent platform for presenting and discussing state-of-the-practice solutions and innovations in software architecture, and enabling software architects and engineers to engage with the research community. Moreover, The Tool Demos track provides researchers, practitioners, and educators the opportunity to present and discuss recent, innovative and significant findings and experiences in the field of software architecture by means of live tool demo presentations. Finally, Young Researchers Forum is meant to inspire and bring together young researchers in the field of software architecture and component based software engineering. The forum provides a vibrant place for discussing potential and ongoing research in any stage, from idea to results. The Young Researchers Forum stimulates interaction between academia and industry. SUBMISSIONS Submissions of papers for the above tracks must: - Adhere to the conference proceedings format and be submitted through the specific track submission system at EasyChair (https://easychair.org/conferences/?conf=wicsaandcomparch2016) - Have a maximum length of 2-10 pages (depending on the specific track) SUBMISSION DATES - Main Tracks: 11-18th January 2016 (Abstract & Paper) - Young Researcher Track: 22nd of January 2016 - Industry Track: 1st of February 2016 - Tool Demos track: 18th of February 2016 All specific dates are here: http://www.softwarearchitecture.org/dates.html CHAIRS - Main Track Program Chairs: WICSA: Henry Muccini (University of L'Aquila, Italy) and K. Eric Harper (ABB, USA) CBSE: Noel Plouzeau (Inria), and Olaf Zimmermann (HSR FHO, Switzerland) QoSA: Jan Bosch (Chalmers University) and Robert Heinrich (KIT, Karlsruhe) - Tool Demos track Chairs: Danny Weyns, Katholieke Universiteit Leuven & Linnaeus University Sweden - Industry Track Chairs: Massimo Valla, Telecom Italia Ian Gorton, NEU Seattle - Young Researcher Track Chairs: Barbora Buhnova, Masaryk University in Brno Remco de Boer, ArchiXL, NL -- 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 -------------- next part -------------- A non-text attachment was scrubbed... Name: smime.p7s Type: application/pkcs7-signature Size: 5463 bytes Desc: S/MIME Cryptographic Signature URL: From xia at hust.edu.cn Sun Dec 20 15:24:29 2015 From: xia at hust.edu.cn (=?utf-8?B?eGlh?=) Date: Sun, 20 Dec 2015 22:24:29 +0800 Subject: [fg-arc] =?utf-8?q?Call_for_Paper=3A_IEEE_ICDCS_2016_Workshop_of_?= =?utf-8?q?Software-Defined_Data_Communications_and_Storage_=28SDDC?= =?utf-8?q?S_2016=29=2E?= Message-ID: <201512202224279488285@hust.edu.cn> Hi All, ***[Apologies if you receive multiple copies of this message]*** This is the CFP for SDDCS 2016, Please consider to submit your work and attend SDDCS 2016. ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 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 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2015-12-20 Wen Xia , Ph.D., Publicity Co-chairs of SDDCS 2016 Huazhong University of Science and Technology, Wuhan, China Homepage: http://wxia.hustbackup.cn/ -------------- next part -------------- An HTML attachment was scrubbed... URL: -------------- next part -------------- A non-text attachment was scrubbed... Name: sddcs2016CFP.pdf Type: application/octet-stream Size: 22304 bytes Desc: not available URL: From sauer at s-lab.upb.de Wed Dec 23 18:39:48 2015 From: sauer at s-lab.upb.de (Stefan Sauer) Date: Wed, 23 Dec 2015 18:39:48 +0100 Subject: [fg-arc] =?utf-8?q?CfP_Workshop_MMSM_2016_=E2=80=93_Modellbasiert?= =?utf-8?q?e_und_modellgetriebene_Softwaremodernisierung?= Message-ID: <567ADC64.3010801@s-lab.upb.de> ** 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 grlmc at grlmc.com Sat Dec 26 09:53:04 2015 From: grlmc at grlmc.com (GRLMC) Date: Sat, 26 Dec 2015 09:53:04 +0100 Subject: [fg-arc] WebST 2016: early registration deadline 19 January Message-ID: <61834088e55754d2ce5ee88be54153c8@grlmc.com> *To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line* ***************************************************************************** INTERNATIONAL SUMMER SCHOOL ON WEB SCIENCE AND TECHNOLOGY   WEBST 2016 BILBAO, SPAIN JULY 18-22, 2016 Organized by: University of Deusto Rovira i VirgiliUniversity http://grammars.grlmc.com/webst2016/ ***************************************************************************** AIM: WebST 2016 is a research training event addressed to graduates and postgraduates in the first steps of their academic career. With a global scope, it aims at updating them about the most recent advances in the critical, multidisciplinary and fast developing area of web studies, which covers a large spectrum of current exciting research and industrial innovation from computing and technologies to social sciences and the humanities and has turned out to be the largest socio-technical infrastructure in human history. Renowned academics and industry pioneers will lecture and share their views with the audience. Most subareas of web science and technology will be displayed, namely: content analysis and information extraction, information networks, search, data and semantics, ontologies, user behavior and personalization, online communities, social networks, economic transactions, mobility, security and privacy, graph analysis, web mining and applications. Main challenges and opportunities will be identified through 4 keynote lectures, 20 six-hour courses, and 1 round table, which will tackle the most active and promising topics from various perspectives: philosophy, sociology, politics, digital humanities, economics, computer science, engineering and mathematics. The organizers believe outstanding speakers will attract the brightest and most motivated students. Interaction will be a main component of the event. Moreover, an open session will give participants the opportunity to present their own work in progress in 5 minutes. ADDRESSED TO: Graduates and postgraduates from around the world. There are no formal pre-requisites in terms of academic degrees. However, since there will be differences in the course levels, specific knowledge background may be assumed for some of them. WebST 2016 is also appropriate for more senior people who want to keep themselves updated on recent developments and future trends. All will surely find it fruitful to listen and discuss with major researchers, scholars, industry leaders and innovators. REGIME: In addition to keynotes, at least 2 courses will run in parallel during the whole event. Participants will be able to freely choose the courses they will be willing to attend as well as to move from one to another. VENUE: WebST 2016 will take place in Bilbao, the capital of the Basque Country region, famous for its gastronomy and the seat of the GuggenheimMuseum. The venue will be: DeustoTech, School of Engineering University of Deusto Avda. Universidades, 24 48014 Bilbao KEYNOTE SPEAKERS: (to be completed) Ricardo Baeza-Yates (Yahoo Labs), Big Data in the Web Jiawei Han (University of Illinois, Urbana-Champaign), From Data to Knowledge: A Data-to-Network-to-Knowledge (D2N2K) Paradigm Amit P. Sheth (WrightStateUniversity), Building Intelligent Systems: Semantic, Cognitive and Perceptual Computing to Exploit Physical-Cyber-Social Big Data PROFESSORS AND COURSES: (to be completed) Boualem Benatallah (University of New South Wales), [advanced] API Engineering and Management Vassilis Christophides (INRIA, Paris), [introductory/intermediate] Entity Resolution in the Web of Data Aldo Gangemi (Italian National Research Council, Rome), [intermediate/advanced] Open Knowledge Extraction: From Machine Reading to the Semantic Web Alon Halevy (Recruit Institute of Technology), [introductory] Structured Data on the Web Jiawei Han (University of Illinois, Urbana-Champaign), [intermediate] Construction and Mining of Text-Rich Heterogeneous Information Networks Andreas Hotho (University of Würzburg), [intermediate] Social Semantics in the Web Ravi Kumar (Google), tba Haewoon Kwak (Qatar Foundation), [introductory/intermediate] From Social Network Analysis to Social Media Analytics and beyond: Challenges and Opportunities Cathy Marshall (TexasA&MUniversity), [introductory] Qualitative Methods for Studying Users on the Web Mirco Musolesi (University College London), [introductory/intermediate] Mining Big (and Small) Mobile Data Bijan Parsia (University of Manchester), [introductory] The Semantic Web and Linked Data Prabhakar Raghavan (Google), tba Uli Sattler (University of Manchester), [introductory] OWL, Underlying Logics, and What This Reasoning Is All about Munindar P. Singh (North CarolinaStateUniversity), [introductory/intermediate] Web Applications as Sociotechnical Systems: A Basis for a Science of Security and Privacy Barry Smith (University at Buffalo), [introductory] Towards Ontological Foundations for​ Web Science Raphael Volz (Pforzheim University of Applied Science), [introductory] Improving Prediction Models with Open Data OPEN SESSION An open session will collect 5-minute presentations of work in progress by participants. They should submit a half-page abstract containing title, authors, and summary of the research to florentinalilica.voicu (at) urv.cat by July 15, 2016. ORGANIZING COMMITTEE: Carlos Martín-Vide (co-chair) Manuel Jesús Parra Royón Borja Sanz (co-chair) Florentina Lilica Voicu REGISTRATION: It has to be done at http://grammars.grlmc.com/webst2016/Registration.php The selection of up to 8 courses requested in the registration template is only tentative and non-binding. For the sake of organization, it will be helpful to have an approximation of the respective demand for each course. Since the capacity of the venue is limited, registration requests will be processed on a first come first served basis. The registration period will be closed and the on-line registration facility disabled when the capacity of the venue will be completed. It is much recommended to register prior to the event. FEES: Fees are a flat rate covering the attendance to all courses during the week. There are several early registration deadlines. Fees depend on the registration deadline. ACCOMMODATION: Suggestions of accommodation will be available on the webpage in due time. CERTIFICATE: Participants will be delivered a certificate of attendance. QUESTIONS AND FURTHER INFORMATION: florentinalilica.voicu (at) urv.cat ACKNOWLEDGEMENTS: University of Deusto Rovira i Virgili University -------------- next part -------------- An HTML attachment was scrubbed... URL: From grlmc at grlmc.com Mon Dec 28 13:08:21 2015 From: grlmc at grlmc.com (GRLMC) Date: Mon, 28 Dec 2015 13:08:21 +0100 Subject: [fg-arc] BigDat 2016: early registration deadline 8 January Message-ID: <7ac9880130ac403f06fad2b3f87f4508@grlmc.com> *To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line* ********************************************************   2ND INTERNATIONAL WINTER SCHOOLON BIG DATA   BIGDAT 2016 BILBAO, SPAIN FEBRUARY 8-12, 2016 Organized by: DeustoTech, University of Deusto Rovira i VirgiliUniversity http://grammars.grlmc.com/bigdat2016/ ******************************************************** --- Early registration deadline: January 8, 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, 19 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 GuggenheimMuseum. 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 (NationalTaiwanUniversity), When and When Not to Use Distributed Machine Learning Jeffrey Ullman (StanfordUniversity), 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 Edward Y. Chang (HTC Health, Taipei), [introductory/intermediate] Big Data Analytics for Healthcare: Scalable Algorithms and Applications 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 (NationalTaiwanUniversity), [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 (StanfordUniversity), [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 grlmc at grlmc.com Thu Dec 31 19:45:12 2015 From: grlmc at grlmc.com (GRLMC) Date: Thu, 31 Dec 2015 19:45:12 +0100 Subject: [fg-arc] AlCoB 2016: 3rd call for papers Message-ID: *To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line* ************************************************************************************ 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: January 26, 2016 (23:59 CET) 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: