From alexander.perucci at graduate.univaq.it Fri Apr 1 10:24:55 2016 From: alexander.perucci at graduate.univaq.it (alexander.perucci at graduate.univaq.it) Date: Fri, 1 Apr 2016 10:24:55 +0200 (CEST) Subject: [fg-arc] [VeryComp 2016] - 2nd CfP and Dedicated Thematic Series on Springer JISA Journal Message-ID: <396345052.45.1459499095827.JavaMail.Alexander@DESKTOP-7TKA96C> [Apologies for multiple postings] == SECOND CALL for PAPERS and DEDICATED THEMATIC SERIES on SPRINGER JISA JOURNAL == 1st International Workshop on Formal to Practical Software Verification and Composition (VeryComp 2016) Co-located event of STAF 2016 (http://staf2016.conf.tuwien.ac.at/) Wien, Austria - July 4th 2016 Web site: verycomp2016.disim.univaq.it == IMPORTANT DATES == Paper submissions: April 18, 2016 Notification of authors: May 25, 2016 Camera-ready copies: June 20, 2016 == THEMES AND OBJECTIVES == Nowadays, modern applications are increasingly realized as distributed systems composing existing pieces of software that autonomically cooperates to achieve a common goal. As a matter of fact, this calls for new software composition paradigms, and patterns, modeling and verification methods that are practical and usable on one hand and formal on the other. Despite the great interest in practical Software Composition and Formal Verification in their isolation, no common and integrated approaches have been established yet. VeryComp promotes contributions related to the subject at different levels: from modelling and verification to analysis, from componentization to composition. Foundational contributions as well as concrete application experiments are sought. VeryComp 2016 welcomes research papers, experience papers and tool presentations; nevertheless, papers describing novel research contributions and innovative applications are of particular interest. Details on workshop goals and themes can be found at: http://verycomp2016.disim.univaq.it All accepted papers will be published as part of a Springer LNCS Proceedings Volume (Lecture Notes in Computer Science): http://www.springer.com/lncs Furthermore, selected participants will be invited to submit an extended version of their papers after the workshop to a Thematic Series of the Springer JISA journal on Verification and Composition for the Internet of Services and Things download the CfP - http://verycomp2016.disim.univaq.it/jisa-thematic-series. Each submitted paper will undergo a formal peer review process by at least 3 PC members. Contributions can be: - Regular papers (maximum 12 pages): In this category fall those contributions which propose novel research contributions, address challenging problems with innovative ideas, or offer practical contributions in the application of FM and SE approaches for building FI applications via software composition. Regular papers should clearly describe the situation or problem tackled, the relevant state of the art, the position or solution suggested and the potential benefits of the contribution. - Short papers (maximum 8 pages): This category includes tool demonstrations, position papers, industrial experiences and case-studies, and visionary papers. Authors of papers reporting industrial experiences are encouraged to make their experimental results available for use by reviewers. Similarly, authors of tool demonstration papers should make their tool available for use by reviewers. == Workshop Chairs == - Marco Autili, University of L’Aquila, Italy, marco.autili at univaq.it - Massimo Tivoli, University of L’Aquila, Italy, massimo.tivoli at univaq.it - Luca Ferrucci, ISTI-CNR, Italy, ferrucci at isti.cnr.it - Manuel Mazzara, Innopolis University, Russia, m.mazzara at innopolis.ru - Davide Bresolin, DISI - Universitu of Bologna, Italy, davide.bresolin at unibo.it - Marcello Bersani, DEIB - Politecnico di Milano, Italy, marcellomaria.bersani at polimi.it - Marisol Garcia-Valls, University Carlos III, Spain, mvalls at it.uc3m.es == Program Committee == - Domenico Bianculli, Universitè du Luxembourg - Stéphane Demri, NewYork University & CNRS, France - Silvio Ghilardi, Università degli studi di Milano, Italy - Nafees Qamar, Vanderbilt University, USA - David Miguel Ramalho Pereira, Polytechnical School of Porto, Portugal - Cesar Sanchez, IMDEA Software Institute, Spain - Vincenzo Ciancia, ISTI-CNR, Italy - Gwen Salaun, INRIA, Grenoble-Rhone-Alpes, France - Guglielmo De Angelis, CNR-IASI/ISTI, Italy - Paola Inverardi, University of L’Aquila, Italy - Ivica Crnkovic, MaIardalen University, Sweden - Radu Calinescu, University of York, UK - Schahram Dustdar, University of Technology Wien, Austria - Luciano Baresi, Politecnico di Milano, Italy - Mauro Caporuscio, Linnaeus University, Sweden - Nikolaos Georgantas, INRIA, France - Salvatore Distefano, Università di Messina, Italy - Victor Rivera, Innopolis University, Russia - Pascal Poizat, Paris Ouest University and LIP6, France - Saad Mubeen, Mälardalen University, Sweden - Hernan Melgratti, Universidad de Buenos Aires, Argentina - Julio Medina, Universidad de Cantabria, Spain - Patricia Lago, VU University Amsterdam, Nederland - Carlo Ghezzi, Politecnico di Milano, Italy - Antonio Bucchiarone, FBK-IRST, Italy - Antonio Brogi, Università di Pisa, Italy - Amel Bennaceur, The Open University, UK - Carlo Bellettini, Università degli studi di Milano, Italy == Web Chair & Publicity Chair == - Alexander Perucci, University of L'Aquila, Italy == List of topics (not limited to) == - Specification and design of software composition models - Formal verification and model checking of software integration code - Service-oriented software composition - Automated software composition and coordination - Formal verification of self-adaptive systems - Model-driven software composition - Correct-by-construction software composition - Communication middleware support for service oriented composition - Formal verification and model checking of multi-agent systems From grlmc at grlmc.com Sun Apr 3 10:55:59 2016 From: grlmc at grlmc.com (GRLMC) Date: Sun, 03 Apr 2016 10:55:59 +0200 Subject: [fg-arc] SLSP 2016: 2nd call for papers Message-ID: <545102060a010b070251510101090201550557020a06545003550b550203060454560506065a020b005458500153@grlmc_ip-zone_com-6> SLSP 2016: 2nd call for papers*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line*   **********************************************************************************   4th INTERNATIONAL CONFERENCE ON STATISTICAL LANGUAGE AND SPEECH PROCESSING   SLSP 2016   Pilsen, Czech Republic   October 11-13, 2016   Organized by:   Department of Computer Science and Engineering Department of Cybernetics University of West Bohemia   Research Group on Mathematical Linguistics (GRLMC) Rovira i Virgili University   http://grammars.grlmc.com/SLSP2016/   **********************************************************************************   AIMS:   SLSP is a yearly conference series aimed at promoting and displaying excellent research on the wide spectrum of statistical methods that are currently in use in computational language or speech processing. It aims at attracting contributions from both fields. Though there exist large, well-known conferences and workshops hosting contributions to any of these areas, SLSP is a more focused meeting where synergies between subdomains and people will hopefully happen. In SLSP 2016, significant room will be reserved to young scholars at the beginning of their career and particular focus will be put on methodology.   VENUE:   SLSP 2016 will take place in Pilsen, nominated one of the two European Capitals of Culture in 2015. The venue will be the the NTIS research centre at the Faculty of Applied Sciences of the University of West Bohemia.   SCOPE:   The conference invites submissions discussing the employment of statistical models (including machine learning) within language and speech processing. Topics of either theoretical or applied interest include, but are not limited to:   anaphora and coreference resolution authorship identification, plagiarism and spam filtering computer-aided translation corpora and language resources data mining and semantic web information extraction information retrieval knowledge representation and ontologies lexicons and dictionaries machine translation multimodal technologies natural language understanding neural representation of speech and language opinion mining and sentiment analysis parsing part-of-speech tagging question-answering systems semantic role labelling speaker identification and verification speech and language generation speech recognition speech synthesis speech transcription spelling correction spoken dialogue systems term extraction text categorisation text summarisation user modeling   STRUCTURE:   SLSP 2016 will consist of:   invited talks peer-reviewed contributions   INVITED SPEAKERS:   Walter Daelemans (University of Antwerp), Advances in Statistical Approaches to Personality Prediction from Text   Julia Hirschberg (Columbia University), tba   Mari Ostendorf (University of Washington), tba   PROGRAMME COMMITTEE:   Srinivas Bangalore (Interactions LLC, Murray Hill, USA) Roberto Basili (University of Rome Tor Vergata, Italy) Jean-François Bonastre (University of Avignon, France) Nicoletta Calzolari (National Research Council, Pisa, Italy) Marcello Federico (Bruno Kessler Foundation, Trento, Italy) Guillaume Gravier (IRISA, Rennes, France) Gregory Grefenstette (INRIA, Saclay, France) Udo Hahn (University of Jena, Germany) Thomas Hain (University of Sheffield, United Kingdom) Dilek Hakkani-Tür (Microsoft Research, Mountain View, USA) Mark Hasegawa-Johnson (University of Illinois, Urbana, USA) Xiaodong He (Microsoft Research, Redmond, USA) Graeme Hirst (University of Toronto, Canada) Gareth Jones (Dublin City University, Ireland) Tracy Holloway King (A9.com, Palo Alto, USA) Tomi Kinnunen (University of Eastern Finland, Joensuu, Finland) Philipp Koehn (University of Edinburgh, United Kingdom) Pavel Král (University of West Bohemia, Pilsen, Czech Republic) Claudia Leacock (McGraw-Hill Education CTB, Monterey, USA) Mark Liberman (University of Pennsylvania, Philadelphia, USA) Qun Liu (Dublin City University, Ireland) Carlos Martín-Vide (Rovira i Virgili University, Tarragona, Spain, chair) Alessandro Moschitti (University of Trento, Italy) Preslav Nakov (Qatar Computing Research Institute, Doha, Qatar) John Nerbonne (University of Groningen, The Netherlands) Hermann Ney (RWTH Aachen University, Germany) Vincent Ng (University of Texas, Dallas, USA) Jian-Yun Nie (University of Montréal, Canada) Kemal Oflazer (Carnegie Mellon University – Qatar, Doha, Qatar) Adam Pease (Articulate Software, San Francisco, USA) Massimo Poesio (University of Essex, United Kingdom) James Pustejovsky (Brandeis University, Waltham, USA) Manny Rayner (University of Geneva, Switzerland) Paul Rayson (Lancaster University, United Kingdom) Douglas A. Reynolds (Massachusetts Institute of Technology, Lexington, USA) Erik Tjong Kim Sang (Meertens Institute, Amsterdam, The Netherlands) Murat Saraçlar (Boğaziçi University, İstanbul, Turkey) Björn W. Schuller (University of Passau, Germany) Richard Sproat (Google, New York, USA) Efstathios Stamatatos (University of the Aegean, Karlovassi, Greece) Yannis Stylianou (Toshiba Research Europe Ltd., Cambridge, United Kingdom) Marc Swerts (Tilburg University, The Netherlands) Tomoki Toda (Nagoya University, Japan) Xiaojun Wan (Peking University, Beijing, China) Andy Way (Dublin City University, Ireland) Phil Woodland (University of Cambridge, United Kingdom) Junichi Yamagishi (University of Edinburgh, United Kingdom) Heiga Zen (Google, Mountain View, USA) Min Zhang (Soochow University, Suzhou, China) Pierre Zweigenbaum (LIMSI, Orsay, France)   ORGANIZING COMMITTEE:   Tomáš Hercig (Pilsen) Carlos Martín-Vide (Tarragona, co-chair) Manuel J. Parra (Granada) Daniel Soutner (Pilsen) Florentina Lilica Voicu (Tarragona) Jan Zelinka (Pilsen, co-chair)   SUBMISSIONS:   Authors are invited to submit non-anonymized papers in English presenting original and unpublished research. Papers should not exceed 12 single-spaced pages (including eventual appendices, references, proofs, etc.) and should be prepared according to the standard format for Springer Verlag's LNCS series (see http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0).   Submissions have to be uploaded to:   https://www.easychair.org/conferences/?conf=slsp2016   PUBLICATIONS:   A volume of proceedings published by Springer in the LNCS/LNAI series will be available by the time of the conference.   A special issue of Computer Speech and Language (Elsevier, JCR 2014 impact factor: 1.753) will be later published containing peer-reviewed substantially extended versions of some of the papers contributed to the conference. Submissions to it will be by invitation.   REGISTRATION:   The registration form can be found at:   http://grammars.grlmc.com/SLSP2016/Registration.php   DEADLINES:   Paper submission: May 17, 2016 (23:59 CET) Notification of paper acceptance or rejection: June 21, 2016 Final version of the paper for the LNCS/LNAI proceedings: July 1, 2016 Early registration: July 1, 2016 Late registration: September 27, 2016 Submission to the journal special issue: January 13, 2017   QUESTIONS AND FURTHER INFORMATION:   florentinalilica.voicu (at) urv.cat   POSTAL ADDRESS:   SLSP 2016 Research Group on Mathematical Linguistics (GRLMC) Rovira i Virgili University Av. Catalunya, 35 43002 Tarragona, Spain   Phone: +34 977 559 543 Fax: +34 977 558 386   ACKNOWLEDGEMENTS:   Západočeská univerzita v Plzni Universitat Rovira i Virgili -------------- next part -------------- An HTML attachment was scrubbed... URL: From edocconference2016 at gmail.com Fri Apr 8 13:23:37 2016 From: edocconference2016 at gmail.com (EDOC conference 2016) Date: Fri, 8 Apr 2016 13:23:37 +0200 Subject: [fg-arc] IEEE EDOC conference 2016 : Extended deadline (April 17th, 2016) In-Reply-To: <56FCCBD0.2000509@wu.ac.at> References: <56FCCBD0.2000509@wu.ac.at> Message-ID: <570794B9.5020606@gmail.com> We apologize if you receive this message more than once. --- Due to numerous requests with reference to Easter holidays around the first deadline, we offer a final extension of the submission deadline. Don't miss the opportunity to submit your paper(s)! Also check out the webpage for updates and news: http://tinyurl.com/ieee-edoc16 More information: ============================================================ 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) Important Dates: ================ Conference abstract submission date (mandatory):********April 13, 2016*** *Conference full paper submission due:*******April 17, 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 -------------- next part -------------- An HTML attachment was scrubbed... URL: From sauer at uni-paderborn.de Fri Apr 8 17:06:34 2016 From: sauer at uni-paderborn.de (Stefan Sauer) Date: Fri, 8 Apr 2016 17:06:34 +0200 Subject: [fg-arc] DFF 2016 - Einreichungsfrist endet am Montag 11.4. Message-ID: <5707C8FA.8070005@uni-paderborn.de> Sehr geehrte Kolleginnen und Kollegen, bitte entschuldigen Sie, falls Sie den nachfolgenden Aufruf zur Einreichung von Beiträgen mehrfach erhalten! Einreichungsfrist: 11. April 2016 ------------------------------------------------------------------------------------------------------- *7. Workshop „Design for Future – Langlebige Softwaresysteme“ (DFF 2016)* _______________________________________________________________ --- Neue Herausforderungen für alte (langlebige) Systeme --- des GI-Arbeitskreises „Langlebige Softwaresysteme“ (AK L2S2) der Fachgruppen „Architekturen“ und „Software-Reengineering“ http://akl2s2.ipd.kit.edu/veranstaltungen/dff2016/ 02.–04. Mai 2016 in Bad Honnef gemeinsam mit dem *18. Workshop Software-Reengineering & Evolution (WSRE 2016)* http://fg-sre.gi.de/archiv/wsr/wsre2016.html Wichtige Termine ----------------------- Einreichung von Beiträgen 11. April 2016 Benachrichtigung über die Annahme 18. April 2016 Einreichung der finalen Fassung 22. April 2016 Anmeldeschluss zur Teilnahme 22. April 2016 Workshop 02.-04. Mai 2016 Inhalt und Ziele --------------------- Das Altern von Software ist vor allem bei großen betrieblichen Informationssystemen ein Problem, das unter dem Begriff Legacy bekannt ist und sich in Zukunft noch weiter verschärfen wird. Beispielsweise können Big-Data-Initiativen den Zugriff auf ursprünglich rein intern genutzte Datentöpfe oder gar Änderungen an diesen zur Erhöhung der Datenqualität erfordern. Das Problem der Softwaremodernisierung tritt aber auch zunehmend in vielen anderen Bereichen auf, in denen Software eine Rolle spielt. Zum einen gewinnen eingebettete Systeme (insbesondere im Kontext von Cyber-Physical Systems, Internet of Things, Industrie 4.0) immer mehr an Bedeutung, in denen aufwändige Software in langlebigen technischen Geräten eingesetzt wird. Zum anderen macht die steigende Vernetzung von Systemen in großen Anwendungs- und Systemlandschaften die Situation zunehmend komplexer. Diese Probleme haben enorme ökonomische Bedeutung. Wissenschaft und Industrie sind gefordert, neue Methoden der Softwaretechnik zu entwickeln, um die erheblichen Investitionen in große Softwaresysteme zu schützen und massive Probleme durch steigende Software-Erosion zu verhindern. Aktuelle Ansätze in der Softwaretechnik, insbesondere in den Bereichen modellbasierte Entwicklungsmethoden, Lifecycle-Management, Softwarearchitektur, Requirements Engineering und Re-Engineering, können dazu beitragen, die Situation zu verbessern, wenn sie geeignet weiterentwickelt und angewandt werden. Der Arbeitskreis „Langlebige Softwaresysteme (L2S2)“ der GI Fachgruppen Architekturen und Software-Reengineering hat sich zum Ziel gesetzt, Wissenschaftler und Praktiker zusammenzubringen, die an diesen Themenstellungen Interesse haben. Im 7. DFF-Workshop des Arbeitskreises sollen die oben geschilderte Entwicklung, Erfahrungen hierzu sowie Lösungsansätze sowohl aus praktischer als auch aus wissenschaftlicher Sicht beleuchtet werden, um die verschiedenen Facetten und Herausforderungen der Software-Alterung zu beherrschen. Im Workshop sollen sowohl Lösungen als auch praktische Erfahrungen betrachtet und diskutiert werden, um die Entstehung neuer Legacy-Probleme und die Erosion von Software zu verhindern. Themen ----------- Beiträge werden insbesondere zu der folgenden, nicht abschließenden Liste von Themen erwartet: • Anpassungsfähige und zukunftssichere Software-Architekturen • Evolution und Co-Evolution von Modellen und Code • Verhinderung von Software-Erosion • Re-Engineering zum Erkennen und Beheben von Legacy-Problemen • Entwicklungsmethoden und Lifecycle-Management für langlebige Softwaresysteme • Langlebige Software in eingebetteten und technischen Systemen (z.B. CPS, IoT, Industrie 4.0) • Evolutionsherausforderungen im Kontext von Big Data • Qualitätsmanagement für langlebige Softwaresysteme • Fallstudien zu den vorgenannten Themen • Praxis- und Erfahrungsberichte zu den vorgenannten Themen Einreichung & Veröffentlichung von Beiträgen ------------------------------------------------------------- Praktiker und Wissenschaftler, die auf dem Gebiet der Entwicklung von Konzepten, Methoden, Techniken oder Werkzeugen zur Erstellung, Wartung bzw. Weiterentwicklung langlebiger Softwaresysteme tätig sind, werden gebeten, Kurzbeiträge im Umfang von 2 Seiten im Format der Softwaretechnik-Trends (http://pi.informatik.uni-siegen.de/stt/) einzureichen. Eingereichte Beiträge sollten den Bezug zum Thema des Workshops klar herausstellen. Die eingereichten Beiträge werden vom Programmkomitee des Workshops begutachtet. Die akzeptierten Beiträge werden in den Softwaretechnik-Trends veröffentlicht. Für die Einreichung und den Begutachtungsprozess wird das System EasyChair verwendet. Der Zugang ist unter https://easychair.org/conferences/?conf=dff2016 freigeschaltet. Organisation ----------------- Der Workshop wird organisiert vom GI-Arbeitskreis „Langlebige Softwaresysteme“ (AK L2S2), siehe http://akl2s2.ipd.kit.edu/. Er wird gemeinsam mit dem 18. Workshop Software-Reengineering & Evolution (WSRE 2016) der Fachgruppe „Software-Reengineering“ durchgeführt. Kontakt ----------- Stefan Sauer, Universität Paderborn, s-lab – Software Quality Lab Zukunftsmeile 1, 33102 Paderborn; E-Mail: sauer at s-lab.upb.de, Telefon: +49 5251 60-5390 Programmkomitee ------------------------- wird noch bekannt gegeben From grlmc at grlmc.com Sat Apr 9 18:20:04 2016 From: grlmc at grlmc.com (GRLMC) Date: Sat, 09 Apr 2016 18:20:04 +0200 Subject: [fg-arc] AlCoB 2016: call for posters Message-ID: <545102060a010b07075e570004095656565407530b530e550a510e01065551035d040406030e0603095459540751@grlmc_ip-zone_com-6> AlCoB 2016: call for posters*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line*   --------------------------------------------   The 3th International Conference on Algorithms for Computational Biology (AlCoB 2016) invites researchers to submit poster presentations. AlCoB 2016 will be held in Trujillo (Spain) on June 21-22, 2016. See   http://grammars.grlmc.com/AlCoB2016/   Poster presentations are intended to enhance informal interactions with the conference participants, at the same time allowing for in-depth discussion.   TOPICS   Presentations displaying novel work in progress on algorithms in computational biology are encouraged on the following topics:   - assembling sequence reads into a complete genome, - identifying gene structures in the genome, - recognizing regulatory motifs, - aligning nucleotides and comparing genomes, - reconstructing regulatory networks of genes, and - inferring the evolutionary phylogeny of species.   Posters do not need to show final research results. Work that might lead to new interesting developments is welcome.   KEY DATES   Submission deadline: May 14, 2016 Notification of poster acceptance or rejection: May 21, 2016   SUBMISSION   Please submit a .pdf abstract through:   https://www.easychair.org/conferences/?conf=alcob2016   It should contain the title, author(s) and affiliation, and should not exceed 500 words.   PRESENTATION   Posters will be allocated 10 minutes each in the programme for oral presentation. Moreover, they will remain hanging out during the whole conference for discussion.   PUBLICATION   Posters will not appear in the LNCS/LNBI proceedings volume of AlCoB 2016. However, they will be eligible for submission to the post-conference journal special issue in IEEE/ACM Transactions on Computational Biology and Bioinformatics (TCBB, 2014 JCR impact factor: 1.438, quartile Q1).   REGISTRATION   At least one author of each accepted poster must register to the conference. The registration fare is reduced: 240 Euro. However, it gives the same rights all other conference participants have (attendance, copy of the proceedings volume, lunches...). Contributors of regular papers who in addition get a poster accepted must register for the latter independently. -------------- next part -------------- An HTML attachment was scrubbed... URL: From sauer at uni-paderborn.de Tue Apr 12 19:56:35 2016 From: sauer at uni-paderborn.de (Stefan Sauer) Date: Tue, 12 Apr 2016 19:56:35 +0200 Subject: [fg-arc] DFF 2016 - Einreichungsfrist endet am Montag 11.4. In-Reply-To: <5707C8FA.8070005@uni-paderborn.de> References: <5707C8FA.8070005@uni-paderborn.de> Message-ID: <6CEF01D2-95A8-48EA-B3D2-326D3813663B@uni-paderborn.de> > Sehr geehrte Kolleginnen und Kollegen, > > bitte entschuldigen Sie, falls Sie diese Nachricht mehrfach erhalten! > Am 08.04.2016 um 17:06 schrieb Stefan Sauer : > > Sehr geehrte Kolleginnen und Kollegen, > > bitte entschuldigen Sie, falls Sie den nachfolgenden Aufruf zur Einreichung von > Beiträgen mehrfach erhalten! > > Einreichungsfrist: 11. April 2016 > > ------------------------------------------------------------------------------------------------------- > *7. Workshop „Design for Future – Langlebige Softwaresysteme“ (DFF 2016)* > _______________________________________________________________ > > --- Neue Herausforderungen für alte (langlebige) Systeme --- > > des GI-Arbeitskreises „Langlebige Softwaresysteme“ (AK L2S2) > der Fachgruppen „Architekturen“ und „Software-Reengineering“ > http://akl2s2.ipd.kit.edu/veranstaltungen/dff2016/ > > 02.–04. Mai 2016 in Bad Honnef > > gemeinsam mit dem > *18. Workshop Software-Reengineering & Evolution (WSRE 2016)* > http://fg-sre.gi.de/archiv/wsr/wsre2016.html > > > > Wichtige Termine > ----------------------- > Einreichung von Beiträgen 11. April 2016 > Benachrichtigung über die Annahme 18. April 2016 > Einreichung der finalen Fassung 22. April 2016 > Anmeldeschluss zur Teilnahme 22. April 2016 > Workshop 02.-04. Mai 2016 > > Inhalt und Ziele > --------------------- > Das Altern von Software ist vor allem bei großen betrieblichen > Informationssystemen ein Problem, das unter dem Begriff Legacy bekannt ist und > sich in Zukunft noch weiter verschärfen wird. Beispielsweise können > Big-Data-Initiativen den Zugriff auf ursprünglich rein intern genutzte > Datentöpfe oder gar Änderungen an diesen zur Erhöhung der Datenqualität > erfordern. Das Problem der Softwaremodernisierung tritt aber auch zunehmend in > vielen anderen Bereichen auf, in denen Software eine Rolle spielt. Zum einen > gewinnen eingebettete Systeme (insbesondere im Kontext von Cyber-Physical > Systems, Internet of Things, Industrie 4.0) immer mehr an Bedeutung, in denen > aufwändige Software in langlebigen technischen Geräten eingesetzt wird. Zum > anderen macht die steigende Vernetzung von Systemen in großen Anwendungs- und > Systemlandschaften die Situation zunehmend komplexer. Diese Probleme haben > enorme ökonomische Bedeutung. Wissenschaft und Industrie sind gefordert, neue > Methoden der Softwaretechnik zu entwickeln, um die erheblichen Investitionen in > große Softwaresysteme zu schützen und massive Probleme durch steigende > Software-Erosion zu verhindern. > > Aktuelle Ansätze in der Softwaretechnik, insbesondere in den Bereichen > modellbasierte Entwicklungsmethoden, Lifecycle-Management, Softwarearchitektur, > Requirements Engineering und Re-Engineering, können dazu beitragen, die > Situation zu verbessern, wenn sie geeignet weiterentwickelt und angewandt werden. > > Der Arbeitskreis „Langlebige Softwaresysteme (L2S2)“ der GI Fachgruppen > Architekturen und Software-Reengineering hat sich zum Ziel gesetzt, > Wissenschaftler und Praktiker zusammenzubringen, die an diesen Themenstellungen > Interesse haben. Im 7. DFF-Workshop des Arbeitskreises sollen die oben > geschilderte Entwicklung, Erfahrungen hierzu sowie Lösungsansätze sowohl aus > praktischer als auch aus wissenschaftlicher Sicht beleuchtet werden, um die > verschiedenen Facetten und Herausforderungen der Software-Alterung zu > beherrschen. Im Workshop sollen sowohl Lösungen als auch praktische Erfahrungen > betrachtet und diskutiert werden, um die Entstehung neuer Legacy-Probleme und > die Erosion von Software zu verhindern. > > Themen > ----------- > Beiträge werden insbesondere zu der folgenden, nicht abschließenden Liste von > Themen erwartet: > • Anpassungsfähige und zukunftssichere Software-Architekturen > • Evolution und Co-Evolution von Modellen und Code > • Verhinderung von Software-Erosion > • Re-Engineering zum Erkennen und Beheben von Legacy-Problemen > • Entwicklungsmethoden und Lifecycle-Management für langlebige Softwaresysteme > • Langlebige Software in eingebetteten und technischen Systemen (z.B. CPS, > IoT, Industrie 4.0) > • Evolutionsherausforderungen im Kontext von Big Data > • Qualitätsmanagement für langlebige Softwaresysteme > • Fallstudien zu den vorgenannten Themen > • Praxis- und Erfahrungsberichte zu den vorgenannten Themen > > Einreichung & Veröffentlichung von Beiträgen > ------------------------------------------------------------- > Praktiker und Wissenschaftler, die auf dem Gebiet der Entwicklung von Konzepten, > Methoden, Techniken oder Werkzeugen zur Erstellung, Wartung bzw. > Weiterentwicklung langlebiger Softwaresysteme tätig sind, werden gebeten, > Kurzbeiträge im Umfang von 2 Seiten im Format der Softwaretechnik-Trends > (http://pi.informatik.uni-siegen.de/stt/) einzureichen. Eingereichte Beiträge > sollten den Bezug zum Thema des Workshops klar herausstellen. Die eingereichten > Beiträge werden vom Programmkomitee des Workshops begutachtet. > > Die akzeptierten Beiträge werden in den Softwaretechnik-Trends veröffentlicht. > > Für die Einreichung und den Begutachtungsprozess wird das System EasyChair > verwendet. Der Zugang ist unter https://easychair.org/conferences/?conf=dff2016 > freigeschaltet. > > Organisation > ----------------- > Der Workshop wird organisiert vom GI-Arbeitskreis „Langlebige Softwaresysteme“ > (AK L2S2), siehe http://akl2s2.ipd.kit.edu/. Er wird gemeinsam mit dem 18. > Workshop Software-Reengineering & Evolution (WSRE 2016) der Fachgruppe > „Software-Reengineering“ durchgeführt. > > Kontakt > ----------- > Stefan Sauer, Universität Paderborn, s-lab – Software Quality Lab > Zukunftsmeile 1, 33102 Paderborn; E-Mail: sauer at s-lab.upb.de, Telefon: +49 5251 > 60-5390 > > Programmkomitee > ------------------------- > wird noch bekannt gegeben > > > > -------------- next part -------------- An HTML attachment was scrubbed... URL: -------------- next part -------------- A non-text attachment was scrubbed... Name: smime.p7s Type: application/pkcs7-signature Size: 5993 bytes Desc: not available URL: From sauer at uni-paderborn.de Tue Apr 12 20:33:08 2016 From: sauer at uni-paderborn.de (Stefan Sauer) Date: Tue, 12 Apr 2016 20:33:08 +0200 Subject: [fg-arc] Entschuldigung! (Re: DFF 2016 - Einreichungsfrist endet am Montag 11.4.) In-Reply-To: <6CEF01D2-95A8-48EA-B3D2-326D3813663B@uni-paderborn.de> References: <5707C8FA.8070005@uni-paderborn.de> <6CEF01D2-95A8-48EA-B3D2-326D3813663B@uni-paderborn.de> Message-ID: <56FC6882-A15B-410D-BD3A-25FEE92D9856@uni-paderborn.de> Sehr geehrte Mitglieder der Fachgruppe Architekturen, für die vorherige E-Mail bitte ich um Entschuldigung! Beim Schreiben der Nachricht zur Verlängerung der Einreichungsfrist bin ich versehentlich vorzeitig auf den "Senden"-Knopf gekommen. Die korrekte E-Mail folgt in Kürze. Freundliche Grüße Stefan Sauer > Am 12.04.2016 um 19:56 schrieb Stefan Sauer : > >> Sehr geehrte Kolleginnen und Kollegen, >> >> bitte entschuldigen Sie, falls Sie diese Nachricht mehrfach erhalten! > > ... -------------- next part -------------- An HTML attachment was scrubbed... URL: -------------- next part -------------- A non-text attachment was scrubbed... Name: smime.p7s Type: application/pkcs7-signature Size: 5993 bytes Desc: not available URL: From sauer at uni-paderborn.de Tue Apr 12 21:24:24 2016 From: sauer at uni-paderborn.de (Stefan Sauer) Date: Tue, 12 Apr 2016 21:24:24 +0200 Subject: [fg-arc] =?utf-8?q?Design_for_Future_-_DFF_2016_-_Einreichungsfri?= =?utf-8?q?st_verl=C3=A4ngert_bis_17=2E_April?= In-Reply-To: <5707C8FA.8070005@uni-paderborn.de> References: <5707C8FA.8070005@uni-paderborn.de> Message-ID: Sehr geehrte Kolleginnen und Kollegen, bitte entschuldigen Sie, falls Sie die nachfolgende Nachricht mehrfach erhalten! In Abstimmung mit den Organisatoren des WSRE, mit dem der DFF-Workshop gemeinsam stattfindet, haben wir die Einreichungsfrist verlängert: Einreichung von Beiträgen: 17. April 2016 Benachrichtigung über die Annahme: 20. April 2016 Einreichung der finalen Fassung: 25. April 2016 Anmeldeschluss zur Teilnahme: 25. April 2016 Workshop: 02.-04. Mai 2016 Wir freuen uns auf Ihre Einreichungen! Programmkomitee: Gregor Engels, Universität Paderborn Michael Goedicke, Universität Duisburg-Essen Thomas Goldschmidt, ABB Corporate Research Willi Hasselbring, Universität Kiel Robert Heinrich, KIT Udo Kelter, Universität Siegen Benjamin Klatt, Raytion GmbH Marco Konersmann, Universität Duisburg-Essen Carola Lilienthal, WPS - Workplace Solutions GmbH Ralf Reussner, KIT Thomas Ruhroth, msg systems AG / Universität Koblenz-Landau Stefan Sauer, Universität Paderborn Klaus Schmid, Universität Hildesheim Freundliche Grüße Ihre DFF 2016-Organisatoren Stefan Sauer + Benjamin Klatt + Thomas Ruhroth > Am 08.04.2016 um 17:06 schrieb Stefan Sauer : > > > > Einreichungsfrist: 11. April 2016 > > ------------------------------------------------------------------------------------------------------- > *7. Workshop „Design for Future – Langlebige Softwaresysteme“ (DFF 2016)* > _______________________________________________________________ > > --- Neue Herausforderungen für alte (langlebige) Systeme --- > > des GI-Arbeitskreises „Langlebige Softwaresysteme“ (AK L2S2) > der Fachgruppen „Architekturen“ und „Software-Reengineering“ > http://akl2s2.ipd.kit.edu/veranstaltungen/dff2016/ > > 02.–04. Mai 2016 in Bad Honnef > > gemeinsam mit dem > *18. Workshop Software-Reengineering & Evolution (WSRE 2016)* > http://fg-sre.gi.de/archiv/wsr/wsre2016.html > > > > Wichtige Termine > ----------------------- > Einreichung von Beiträgen 11. April 2016 > Benachrichtigung über die Annahme 18. April 2016 > Einreichung der finalen Fassung 22. April 2016 > Anmeldeschluss zur Teilnahme 22. April 2016 > Workshop 02.-04. Mai 2016 > > Inhalt und Ziele > --------------------- > Das Altern von Software ist vor allem bei großen betrieblichen > Informationssystemen ein Problem, das unter dem Begriff Legacy bekannt ist und > sich in Zukunft noch weiter verschärfen wird. Beispielsweise können > Big-Data-Initiativen den Zugriff auf ursprünglich rein intern genutzte > Datentöpfe oder gar Änderungen an diesen zur Erhöhung der Datenqualität > erfordern. Das Problem der Softwaremodernisierung tritt aber auch zunehmend in > vielen anderen Bereichen auf, in denen Software eine Rolle spielt. Zum einen > gewinnen eingebettete Systeme (insbesondere im Kontext von Cyber-Physical > Systems, Internet of Things, Industrie 4.0) immer mehr an Bedeutung, in denen > aufwändige Software in langlebigen technischen Geräten eingesetzt wird. Zum > anderen macht die steigende Vernetzung von Systemen in großen Anwendungs- und > Systemlandschaften die Situation zunehmend komplexer. Diese Probleme haben > enorme ökonomische Bedeutung. Wissenschaft und Industrie sind gefordert, neue > Methoden der Softwaretechnik zu entwickeln, um die erheblichen Investitionen in > große Softwaresysteme zu schützen und massive Probleme durch steigende > Software-Erosion zu verhindern. > > Aktuelle Ansätze in der Softwaretechnik, insbesondere in den Bereichen > modellbasierte Entwicklungsmethoden, Lifecycle-Management, Softwarearchitektur, > Requirements Engineering und Re-Engineering, können dazu beitragen, die > Situation zu verbessern, wenn sie geeignet weiterentwickelt und angewandt werden. > > Der Arbeitskreis „Langlebige Softwaresysteme (L2S2)“ der GI Fachgruppen > Architekturen und Software-Reengineering hat sich zum Ziel gesetzt, > Wissenschaftler und Praktiker zusammenzubringen, die an diesen Themenstellungen > Interesse haben. Im 7. DFF-Workshop des Arbeitskreises sollen die oben > geschilderte Entwicklung, Erfahrungen hierzu sowie Lösungsansätze sowohl aus > praktischer als auch aus wissenschaftlicher Sicht beleuchtet werden, um die > verschiedenen Facetten und Herausforderungen der Software-Alterung zu > beherrschen. Im Workshop sollen sowohl Lösungen als auch praktische Erfahrungen > betrachtet und diskutiert werden, um die Entstehung neuer Legacy-Probleme und > die Erosion von Software zu verhindern. > > Themen > ----------- > Beiträge werden insbesondere zu der folgenden, nicht abschließenden Liste von > Themen erwartet: > • Anpassungsfähige und zukunftssichere Software-Architekturen > • Evolution und Co-Evolution von Modellen und Code > • Verhinderung von Software-Erosion > • Re-Engineering zum Erkennen und Beheben von Legacy-Problemen > • Entwicklungsmethoden und Lifecycle-Management für langlebige Softwaresysteme > • Langlebige Software in eingebetteten und technischen Systemen (z.B. CPS, > IoT, Industrie 4.0) > • Evolutionsherausforderungen im Kontext von Big Data > • Qualitätsmanagement für langlebige Softwaresysteme > • Fallstudien zu den vorgenannten Themen > • Praxis- und Erfahrungsberichte zu den vorgenannten Themen > > Einreichung & Veröffentlichung von Beiträgen > ------------------------------------------------------------- > Praktiker und Wissenschaftler, die auf dem Gebiet der Entwicklung von Konzepten, > Methoden, Techniken oder Werkzeugen zur Erstellung, Wartung bzw. > Weiterentwicklung langlebiger Softwaresysteme tätig sind, werden gebeten, > Kurzbeiträge im Umfang von 2 Seiten im Format der Softwaretechnik-Trends > (http://pi.informatik.uni-siegen.de/stt/) einzureichen. Eingereichte Beiträge > sollten den Bezug zum Thema des Workshops klar herausstellen. Die eingereichten > Beiträge werden vom Programmkomitee des Workshops begutachtet. > > Die akzeptierten Beiträge werden in den Softwaretechnik-Trends veröffentlicht. > > Für die Einreichung und den Begutachtungsprozess wird das System EasyChair > verwendet. Der Zugang ist unter https://easychair.org/conferences/?conf=dff2016 > freigeschaltet. > > Organisation > ----------------- > Der Workshop wird organisiert vom GI-Arbeitskreis „Langlebige Softwaresysteme“ > (AK L2S2), siehe http://akl2s2.ipd.kit.edu/. Er wird gemeinsam mit dem 18. > Workshop Software-Reengineering & Evolution (WSRE 2016) der Fachgruppe > „Software-Reengineering“ durchgeführt. > > Kontakt > ----------- > Stefan Sauer, Universität Paderborn, s-lab – Software Quality Lab > Zukunftsmeile 1, 33102 Paderborn; E-Mail: sauer at s-lab.upb.de, Telefon: +49 5251 > 60-5390 > > Programmkomitee > ------------------------- > wird noch bekannt gegeben > > > > -------------- next part -------------- An HTML attachment was scrubbed... URL: -------------- next part -------------- A non-text attachment was scrubbed... Name: smime.p7s Type: application/pkcs7-signature Size: 5993 bytes Desc: not available URL: From galster.matthias at gmail.com Mon Apr 18 11:09:06 2016 From: galster.matthias at gmail.com (Matthias Galster) Date: Mon, 18 Apr 2016 21:09:06 +1200 Subject: [fg-arc] Extended deadline: ECSA 2016 - 10th European Conference on Software Architecture Message-ID: <004501d19951$f8fdd340$eaf979c0$@gmail.com> CALL FOR PAPERS === PAPER DEADLINE EXTENSION === 10th European Conference on Software Architecture - ECSA 2016 September 5-9, 2016, Istanbul, Turkey http://ecsa2016.iku.edu.tr Call for Papers: http://ecsa2016.iku.edu.tr/#call_for_papers Call for Tool demos: http://ecsa2016.iku.edu.tr/#call_for_tool_demos Women in Software Architecture track: http://ecsa2016.iku.edu.tr/#woman_in_se --- IMPORTANT DATES --- *Papers: Abstract submission: April 23, 2016 (EXTENDED) Paper submission: May 1, 2016 (EXTENDED) Notification: June 5, 2016 Camera-ready: June 29, 2016 *Tool demos: Paper submission: June 1, 2016 Notification: June 19, 2016 Camera-ready: June 29, 2016 *Women in Software Architecture track: Paper submission: June 1, 2016 Notification: June 19, 2016 Camera-ready: June 29, 2016 All deadlines are 23:59 Anywhere on Earth --- SCOPE --- The European Conference on Software Architecture (ECSA) is the premier European software architecture conference, providing researchers, practitioners, and educators with a platform to present and discuss the most recent, innovative and significant findings and experiences in the field of software architecture research and practice. The conference will feature a research track, an industrial track, an education and training track, keynotes, workshops, tutorials, tool and demonstrations, and panels. --- TOPICS --- The program committee of ECSA 2016 seeks submissions of papers describing basic and applied research, novel applications and experience reports on all topics related to software architectures including, but not limited to: - Foundational principles of software architecture - Linking requirements engineering and software architectures - Quality attributes and software architectures - Architectural design, analysis and evaluation - Architecture description languages and meta-models - Architecture verification and validation - Management of architectural knowledge, decisions, and rationale - Cross disciplinary efforts and software architecture - Architectural patterns, styles and tactics, reference architectures - Architecture viewpoints and views - Architecture conformance - Architecture-based synthesis, code generation - Architecture transformation and refinement - Architecture refactoring and reengineering, reverse engineering - Architecture-based evolution - Architectures for reconfigurable and self-adaptive systems - Service-Oriented Architectures (SOA) and Web services, - Architectures for ultra-large scale, long-lived systems and systems-of-systems - Software architecture and the cloud - Software architecture and big data - Software architecture and virtualization - Architectures for cyber-physical systems - Architectural concerns of autonomic systems - Architecture-centric process models and frameworks - Software architecture and agility - Architecture-centric model driven engineering - Component-based models and deployment, middleware - Software architecture and system architecture, including software-defined networking - Software tools and environments for architecture-centric software engineering - Industrial applications, case studies, best practices and experience reports - Empirical studies, systematic literature reviews and mapping studies in software architecture --- SUBMISSIONS --- The ECSA 2016 main track seeks three types of submissions to foster the active participation of researchers and practitioners: - Full research papers and Experience papers (max. 16 pages in LNCS style) that describe novel contributions to software architecture research (submissions should cover work that has a sound scientific/technological basis and has been validated). - Short papers (max. 8 pages in LNCS style) that present promising preliminary results from work-in-progress or research challenges in a topic of software architecture research (submissions should cover work that has a sound basis, but perhaps has not been validated in full). - Education and Training papers (max. 12 pages in LNCS style) that address challenges and best practices in in teaching and training of software architecture, such as methods, project management, and academia-industry collaborations. All submitted papers will undergo a rigorous peer review process, and be selected based on originality, quality, soundness and relevance. All accepted papers will appear in the conference proceedings published by Springer Verlag as part of the Lecture Notes in Computer Science (LNCS) series. For details about submitting papers, see http://ecsa2016.iku.edu.tr. --- CONFERENCE ORGANIZATION --- Program Co-chairs: Bedir Tekinerdogan, Wageningen University, Netherlands; Uwe Zdun, University of Vienna, Austria General chair: Muhammad Ali Babar, University of Adelaide, Australia From grlmc at grlmc.com Mon Apr 18 00:18:46 2016 From: grlmc at grlmc.com (GRLMC) Date: Mon, 18 Apr 2016 00:18:46 +0200 Subject: [fg-arc] WebST 2016: early registration deadline 2 May Message-ID: <545102060a010b06025f520b0f090351060557580a520e03050b0d02030f565507580d07525a5502035150040702@grlmc_ip-zone_com-6> WebST 2016: early registration deadline 2 May*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line*   ***************************************************************************** INTERNATIONAL SUMMER SCHOOL ON WEB SCIENCE AND TECHNOLOGY   WebST 2016   Bilbao, Spain   July 18-22, 2016   Organized by: University of Deusto Rovira i Virgili University   http://grammars.grlmc.com/webst2016/ *****************************************************************************   --- Early registration deadline: May 2, 2016 ---   ********************************************************   AIM:   WebST 2016 is a research training event addressed to graduates and postgraduates in the first steps of their academic career. With a global scope, it aims at updating them about the most recent advances in the critical, multidisciplinary and fast developing area of web studies, which covers a large spectrum of current exciting research and industrial innovation from computing and technologies to social sciences and the humanities and has turned out to be the largest socio-technical infrastructure in human history. Renowned academics and industry pioneers will lecture and share their views with the audience.   Most subareas of web science and technology will be displayed, namely: content analysis and information extraction, information networks, search, data and semantics, ontologies, user behavior and personalization, online communities, social networks, economic transactions, mobility, security and privacy, graph analysis, web mining and applications. Main challenges and opportunities will be identified through 4 keynote lectures, 17 six-hour courses, and 1 round table, which will tackle the most active and promising topics from various perspectives: philosophy, sociology, politics, digital humanities, economics, computer science, engineering and mathematics. The organizers believe outstanding speakers will attract the brightest and most motivated students. Interaction will be a main component of the event. Moreover, an open session will give participants the opportunity to present their own work in progress in 5 minutes.   ADDRESSED TO:   Graduates and postgraduates from around the world. There are no formal pre-requisites in terms of academic degrees. However, since there will be differences in the course levels, specific knowledge background may be assumed for some of them. WebST 2016 is also appropriate for more senior people who want to keep themselves updated on recent developments and future trends. All will surely find it fruitful to listen and discuss with major researchers, scholars, industry leaders and innovators.   REGIME:   In addition to keynotes, at least 2 courses will run in parallel during the whole event. Participants will be able to freely choose the courses they will be willing to attend as well as to move from one to another.   VENUE:   WebST 2016 will take place in Bilbao, a city famous for its gastronomy and the seat of the Guggenheim Museum. The venue will be:   DeustoTech, School of Engineering University of Deusto Avda. Universidades, 24 48014 Bilbao   KEYNOTE SPEAKERS:   Ricardo Baeza-Yates (Pompeu Fabra University), Distributed Web Search   Jiawei Han (University of Illinois, Urbana-Champaign), From Data to Knowledge: A Data-to-Network-to-Knowledge (D2N2K) Paradigm   Prabhakar Raghavan (Google), Three Vignettes from the Theory and Practice of Large Data Analysis   Amit P. Sheth (Wright State University), Semantic, Cognitive and Perceptual Computing – three intertwined strands of a golden braid of intelligent computing   PROFESSORS AND COURSES:   Timothy Baldwin (University of Melbourne), [intermediate] Social Media and Text Analytics   Boualem Benatallah (University of New South Wales), [advanced] API Engineering and Management   Vassilis Christophides (INRIA, Paris), [introductory/intermediate] Entity Resolution in the Web of Data   Brian D. Davison (Lehigh University), [introductory] Useful Web Mining with R   Marco Gori (University of Siena), [advanced] Learning Semantic-based Structures from Textual Sources   Alon Halevy (Recruit Institute of Technology), [introductory] Structured Data on the Web   Jiawei Han (University of Illinois, Urbana-Champaign), [intermediate] Construction and Mining of Text-Rich Heterogeneous Information Networks   Andreas Hotho (University of Würzburg), [intermediate] Social Semantics in the Web   Ravi Kumar (Google), [introductory/intermediate] Computing at Scale: Models and Algorithms   Haewoon Kwak (Qatar Foundation), [introductory/intermediate] From Social Network Analysis to Social Media Analytics and beyond: Challenges and Opportunities   Cathy Marshall (Texas A&M University), [introductory] Qualitative Methods for Studying Users on the Web   Mirco Musolesi (University College London), [introductory/intermediate] Mining Big (and Small) Mobile Data   Bijan Parsia (University of Manchester), [introductory] The Semantic Web and Linked Data   Prabhakar Raghavan (Google), [intermediate] Introduction to Web Search Engines   Uli Sattler (University of Manchester), [introductory] OWL, Underlying Logics, and What This Reasoning Is All about   Barry Smith (University at Buffalo), [introductory] Towards Ontological Foundations for​ Web Science   Raphael Volz (Pforzheim University of Applied Science), [introductory] Improving Prediction Models with Open Data   OPEN SESSION   An open session will collect 5-minute presentations of work in progress by participants. They should submit a half-page abstract containing title, authors, and summary of the research to florentinalilica.voicu (at) urv.cat by July 15, 2016.   ORGANIZING COMMITTEE:   Carlos Martín-Vide (co-chair) Manuel Jesús Parra Royón Borja Sanz (co-chair) Florentina Lilica Voicu   REGISTRATION:   It has to be done at   http://grammars.grlmc.com/webst2016/Registration.php   The selection of up to 8 courses requested in the registration template is only tentative and non-binding. For the sake of organization, it will be helpful to have an approximation of the respective demand for each course.   Since the capacity of the venue is limited, registration requests will be processed on a first come first served basis. The registration period will be closed and the on-line registration facility disabled when the capacity of the venue will be complete. It is much recommended to register prior to the event.   FEES:   Fees are a flat rate covering the attendance to all courses during the week. There are several early registration deadlines. Fees depend on the registration deadline.   ACCOMMODATION:   A suggestion of accommodation is available on the webpage.   CERTIFICATE:   Participants will be delivered a certificate of attendance.   QUESTIONS AND FURTHER INFORMATION:   florentinalilica.voicu (at) urv.cat   ACKNOWLEDGEMENTS:   University of Deusto Rovira i Virgili University -------------- next part -------------- An HTML attachment was scrubbed... URL: From mayerhofer at big.tuwien.ac.at Tue Apr 19 16:14:17 2016 From: mayerhofer at big.tuwien.ac.at (Mayerhofer Tanja) Date: Tue, 19 Apr 2016 14:14:17 +0000 Subject: [fg-arc] Joint Call for Contributions to Satellite Events of STAF 2016: Doctoral Symposium, Projects Showcase, Workshops - Deadlines Extended Message-ID: <4f00087de188483992b0f5c16830724f@mbx13b.intern.tuwien.ac.at> ----------------------------------------------------- 2nd Joint Call for Contributions to STAF 2016 Satellite Events Extended Deadlines STAF 2016 - Software Technologies: Applications and Foundations July 4-8, 2016 TU Wien, Vienna, Austria http://staf2016.conf.tuwien.ac.at ----------------------------------------------------- Software Technologies: Applications and Foundations (STAF) is a federation of leading conferences on software technologies. In 2016, STAF brings together five top conferences ECMFA, ICGT, ICMT, SEFM, TAP, as well as the Transformation Tool Contest (TTC), and will host eight workshops, a doctoral symposium, and a projects showcase event. Now we are calling for contributions to the satellite events of STAF 2016, in particular, the STAF 2016 Doctoral Symposium, Projects Showcase Event, and Workshops. The submission deadlines of several of these events have been extended to May 2, 2016. Furthermore, we announce the availability of student registration grants that will (partially) cover the registration fees of students for participating in STAF 2016. More details on the student registration grants may be found on the STAF 2016 website http://staf2016.conf.tuwien.ac.at/student-registration-grants. ----------------------------------------------------- STAF 2016 Doctoral Symposium http://staf2016.conf.tuwien.ac.at/call-doctoral-symposium/ ----------------------------------------------------- ***** Extended submission deadline: May 2, 2016 ***** ***** Award for the best Doctoral Symposium paper ***** ***** Availability of student registration grants ***** The goal of the Doctoral Symposium is to provide a forum in which PhD students can present their work in progress. The symposium supports students by providing independent and constructive feedback about their already completed and, more importantly, planned research work. The symposium will be accompanied by prominent experts who will actively participate in critical discussions. Relevant fields within Software Engineering include (but are not limited to): - Models: reasoning, execution, management, testing and validation - Model transformations: paradigms, algorithms, development, applications, tools - Graph theories - Domain Specific Languages - Proofs and Testing: debugging, frameworks, experiments, case studies - Model-Driven Engineering Any topic of interest for the conferences that will take place within STAF 2016 is highly welcomed. --- Submission Submissions exclusively authored by the PhD student are invited from students who have settled on a PhD topic. We do accept papers on both initial stage (first or second year) and mature stage (third year, or later) of research. The authors shall clearly indicate their stage of research maturity in a footnote to be added to the paper title. Each submission will be reviewed by at least 3 experts based on originality, significance, correctness and clarity. Submissions should describe research-in-progress that is meant to lead to a PhD dissertation, using the following structure: - Problem: The problem the research intends to solve, the target audience of this research, and a motivation of why the problem is important and needs to be solved. - Related work: A review of the relevant related work with an emphasis of how the proposed approach is different and what advantages it has over the existing state of the art. - Proposed solution: A description of the proposed solution and which other work (e.g., in the form of methods or tools) it depends on. - Preliminary work: A description of the work to-date and results achieved so far. - Expected contributions: A list of the expected contributions to both theory and practice. - Plan for evaluation and validation: A description of how it will be shown that the work does indeed solve the targeted problem and is superior to the existing state of the art (e.g., prototyping, industry case studies, user studies, experiments). - Current status: The current status of the work and a planned timeline for completion. Contributions must not exceed 10 pages in Springer LNCS format (http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0) and must be submitted via EasyChair: https://easychair.org/conferences/?conf=dsstaf16 All accepted submissions to the Doctoral Symposium at STAF 2016 will be published in a post-conference volume of CEUR (http://ceur-ws.org/) and will be submitted for inclusion in DBLP (http://dblp.uni-trier.de/). --- Best Paper Award The best Doctoral Symposium paper will be awarded at the STAF 2016 conference. --- Important Dates Paper submission: May 2, 2016 Author notification: June 1, 2016 STAF 2016 Doctoral Symposium: July 4, 2016 --- Chairs - Catherine Dubois (ENSIIE, France) - Francesco Parisi Presicce (Sapienza University of Rome, Italy) --- Program Committee - Luciano Baresi, Politecnico di Milano, Italy - Sandrine Blazy, Université de Rennes 1, France - Achim D. Brucker, University of Sheffield, United Kingdom - Catherine Dubois, ENSIIE, France (co-chair) - Martin Gogolla, University of Bremen, Germany - Reiko Heckel, University of Leicester, United Kingdom - Dimitris Kolovos, University of York, United Kingdom - Francesco Parisi Presicce, University of Rome, Italy (co-chair) - Antonio Vallecillo, Universidad de Malaga, Spain - Manuel Wimmer, Vienna University of Technology, Austria ----------------------------------------------------- STAF 2016 Projects Showcase http://staf2016.conf.tuwien.ac.at/call-projects-showcase/ ----------------------------------------------------- The Projects Showcase event at STAF 2016 provides an opportunity for researchers and practitioners (from both academia and industry) involved in ongoing or completed research projects related to foundations and applications of software technologies to share results, experiences, ideas, on-going work, and knowledge that can lead to fruitful inter-project collaboration. The Projects Showcase welcomes contributions disseminating the objectives and results of national and international research projects, including outcomes of specific deliverables, advances beyond the state of the art, overall innovation potential, exploitation approach and (expected) impact, marketing value, barriers and obstacles. --- Paper Organization Each submission should follow the structure below and clearly indicate: - name and acronym of the project; - source and amount of funding as well as overall total budget (if possible); - consortium of the project or involved people; - link to the official project web site (if available); - current status of the project and its duration; - objectives of the project; - final (expected) outcomes of the project overall; - the following information (or part of): o description of the (expected) outcomes of specific work package(s); o description of the (expected) outcomes of specific task(s); o description of the (expected) outcomes of specific deliverable(s); o (expected) advances beyond the state of the art; o overall (expected) innovation potential; o exploitation approach and (expected) impact; o barriers and obstacles, and (expected) marketing value; - references to related work and related projects. --- Paper Format Submitted papers must be formatted according to Springer's LNCS template (http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0), must be in PDF format, must not exceed 8 pages in length, and must include the authors' names, affiliations and contact details. All submissions must be in English. All submissions will be peer reviewed by three members of the international Program Committee of the Projects Showcase track. The reviewers will assess the completeness, the quality, and the relevance of the submissions for the target audience. --- Submission Submissions will be managed via EasyChair: https://easychair.org/conferences/?conf=staf2016projectsshow Accepted submissions will be included in the Projects Showcase proceedings, which will be published as a DPLP-indexed CEUR Workshop Proceedings (http://ceur-ws.org/) volume. At least one author of each accepted submission needs to register for STAF and present the paper during the Projects Showcase track. --- Important Dates Paper submission: May 2, 2016 Author notification: May 30, 2016 Camera-ready version: June 20, 2016 STAF 2016 Projects Showcase: July 7, 2016 --- Chairs - Dimitris Kolovos (University of York, UK) - Nicholas Matragkas (University of Hull, UK) --- Program Committee - Alessandra Bagnato (Softeam, France) - Goetz Botterweck (Lero, Ireland) - Giuliano Casale (Imperial College London, UK) - Antonio Cicchetti (Malardalen University, Sweden) - Anthony Cleve (University of Namur, Belgium) - Antonio Garcia-Dominguez (University of York, UK) - Pedro Malo (Uninova, Portugal) - Istvan Rath (Budapest University of Technology and Economics and IncQuery Labs, Hungary) - Tom Ritter (Fraunhofer, Germany) - Tijs Van Der Storm (CWI, Netherlands) ----------------------------------------------------- STAF 2016 Workshops http://staf2016.conf.tuwien.ac.at/workshops/ ----------------------------------------------------- This year, STAF is proud to feature the following interesting workshops. For more information on the individual workshop including the call for papers, please visit their websites. ----------------------------------------------------- BigMDE: Scalable Model Driven Engineering http://www.big-mde.eu ----------------------------------------------------- As Model Driven Engineering (MDE) is increasingly applied to larger and more complex systems, the current generation of modelling and model management technologies are being pushed to their limits in terms of capacity and efficiency. As such, additional research and development is imperative in order to enable MDE to remain relevant with industrial practice and to continue delivering its widely-recognised productivity, quality, and maintainability benefits. The aim of this workshop is to provide a venue where developers and users of modelling and model management languages and tools can present problems and solutions related to topics such as working with large models, collaborative modelling (version control, collaborative editing), transformation and validation of large models, model fragmentation and modularity mechanisms, efficient model persistence and retrieval, models and model transformations on the cloud, and visualization techniques for large models. Organizers: - Dimitris Kolovos (University of York, England) - Davide Di Ruscio (University of L'Aquila, Italy) - Nicholas Matragkas (University of Hull, England) - Jesús Sánchez Cuadrado (Universidad Autonoma de Madrid, Spain) - István Ráth (Budapest University of Technology and Economics, Hungary) - Massimo Tisi (Ecole des Mines de Nantes, France) ----------------------------------------------------- DataMod: From Data to Models and Back http://pages.di.unipi.it/datamod/edition-2016/ ----------------------------------------------------- DataMod 2016 aims at bringing together practitioners and researchers from academia, industry and research institutions interested in the combined application of computational modelling methods with data-driven techniques from the areas of knowledge management, data mining and machine learning. Modelling methodologies of interest include automata, agents, Petri nets, process algebras and rewriting systems. Application domains include social systems, ecology, biology, medicine, smart cities, governance, education, software engineering, and any other field that deals with complex systems and large amounts of data. Papers can present research results in any of the themes of interest for the symposium as well as application experiences, tools and promising preliminary ideas. Papers dealing with synergistic approaches that integrate modelling and knowledge management/discovery or that exploit knowledge management/discovery to develop/syntesise system models are especially welcome. Organizers: - Luca Tesei (University of Camerino, Italy) - Roberto Trasarti (ISTI-CNR, Italy) ----------------------------------------------------- FORECAST: FORmal methods for the quantitative Evaluation of Collective Adaptive SysTems http://forecast.disia.unifi.it/ ----------------------------------------------------- Collective Adaptive Systems (CAS) consist of a large number of spatially distributed heterogeneous entities with decentralised control and varying degrees of complex autonomous behaviour that may be competing for shared resources even when collaborating to reach common goals. It is important to carry out thorough quantitative modelling and analysis and verification of their design to investigate all aspects of their behaviour before they are put into operation. This requires combinations of formal methods and applied mathematics which moreover scale to large-scale CAS. The primary goal of this workshop is to raise awareness in the software engineering and formal methods communities of the particularities of CAS and the design and control problems which they bring. Organizers: - Maurice H. ter Beek (ISTI-CNR Pisa, Italy) - Michele Loreti (University of Florence, Italy) ----------------------------------------------------- GCM: Graph Computation Models http://gcm2016.inf.uni-due.de/ ----------------------------------------------------- Graphs are common mathematical structures which are visual and intuitive. They constitute a natural and seamless way for system modeling in science, engineering and beyond, including computer science, life sciences, business processes, etc. Graph computation models constitute a class of very high level models where graphs are first-class citizens. They generalize classical computation models based on strings (e.g., Chomsky grammars) or on trees (e.g., term rewrite systems). Their mathematical foundation, in addition to their visual nature, facilitates the specification, validation and analysis of complex systems. A variety of computation models have been developed using graphs and rule-based graph transformation. These models include features of programming languages and systems, paradigms for software development, concurrent calculi, local computations and distributed algorithms, and biological or chemical computations. The aim of GCM 2016 is to bring together researchers interested in all aspects of computation models based on graphs and graph transformation techniques. Organizer: - Barbara König (Universität Duisburg-Essen, Germany) ----------------------------------------------------- HOFM: Human-Oriented Formal Methods: From Readability to Automation http://hofm2016.wordpress.com/ ----------------------------------------------------- While designing and applying formal methods, computer scientists have dominantly focused on two factors, only: firstly, the method must be precise and sound and secondly, it must be mathematically concise and aesthetic. Other important characteristics such as simplicity or learnability are ignored too often. These nonfunctional properties, however, are key attributes of usability and user satisfaction. If usability is compromised, methods are not fit for the purpose of documenting, reproducing and communicating key design and realization decisions, or analysis results. For these reasons, many engineers and practitioners largely reject formal methods and formal specification languages as "too hard to understand and use in practice" while admitting that they are powerful and precise. Practitioners across numerous domains are increasingly interested in formal domain-specific modelling, simulation and validation. While there are many applications of formal methods to analyze human-machine interaction and to construct user interfaces, the field of application of human factors to the analysis and to the optimization of formal methods area is almost unexplored. This workshop aims to bring together researchers, engineers and practitioners from academia and industry to baseline the state of the art in this increasingly important domain. Organizers: - Heinz Schmidt (RMIT University, Australia) - Maria Spichkova (RMIT University, Australia) ----------------------------------------------------- MELO: Model-Driven Engineering, Logic and Optimization http://www.disim.univaq.it/melo16/ ----------------------------------------------------- The widespread application of MDE in all kinds of domains has triggered the need of new techniques to solve optimization, visualization, verification, or configuration problems at the model level. Instead of reinventing the wheel, most of these problems could be solved by re-expressing the modeling problem as a logic programming problem, an optimization or a search problem. For instance, verification (satisfiability) of large static models can be addressed by re-expressing the model as a constraint satisfaction problem to be solved by state-of-the-art constraint solvers. Similarly, logic programming can benefit from the integration of MDE to raise the abstraction level at which the problem is described, improve the separation of concerns by using different model-based views at different levels of detail, achieve tool independence, and increase reusability. As well, optimization techniques can benefit from closer connections to MDE principles, e.g., to help develop generic solutions to optimization problems The main goal of this workshop is to bring together three different communities: the MDE community, the logic programming community, and the optimization community, to explore how each community can benefit from the techniques of the other. Organizers: - Jordi Cabot (Open University of Catalonia, Spain) - Richard Paige (University of York, England) - Alfonso Pierantonio (University of L'Aquila, Italy) ----------------------------------------------------- SEMS: Software Engineering Methods in Spreadsheets http://spreadsheetlab.org/sems-16/ ----------------------------------------------------- Spreadsheets are heavily used in industry as they are easy to create and evolve through their intuitive visual interface. They are often initially developed as simple tools, but, over time, spreadsheets can become increasingly complex, up to the point they become too complicated to maintain. Indeed, in many ways, spreadsheets are similar to "professional" software: both concern the storage and manipulation of data, and the presentation of results to the user. But unlike in "professional" software, activities like design, implementation, and maintenance in spreadsheets have to be undertaken by end-users, not trained professionals. This makes applying methods and techniques from other software technologies a challenging task. The role of SEMS is to explore the possibilities of adopting successful methods from other software contexts to spreadsheets. Some, like testing and modeling, have been tried before and can be built upon. For methods that have not yet been tried on spreadsheets, SEMS will serve as a platform for early feedback. Organizers: - Jácome Cunha (Universidade Nova de Lisboa, Portugal) - Daniel Kulesz (University of Stuttgart, Germany) - Sohon Roy (Delft University of Technology, Netherlands) ----------------------------------------------------- VeryComp: Formal to Practical Software Verification and Composition http://verycomp2016.disim.univaq.it ----------------------------------------------------- Nowadays, modern applications are increasingly realized as distributed systems composing existing pieces of software that autonomically cooperates to achieve a common goal. As a matter of fact, this calls for new software composition paradigms, and patterns, modeling and verification methods that are practical and usable on one hand and formal on the other. Despite the great interest in practical Software Composition and Formal Verification in their isolation, no common and integrated approaches have been established yet. VeryComp 2016 aims at attracting contributions related to the subject at different levels, from modelling to verification and analysis, from componentization to composition. Foundational contributions, as well as concrete application experiments are sought. Organizers: - Marco Autili (University of L'Aquila, Italy) - Massimo Tivoli (University of L'Aquila) - Luca Ferrucci (ISTI-CNR, Italy) - Manuel Mazzara (Innopolis University, Russia) - Davide Bresolin (University of Bologna, Italy) - Marcello Bersani (Politecnico di Milano, Italy) - Marisol Garcia-Valls (Universidad Carlos III de Madrid, Spain) From franconi at inf.unibz.it Thu Apr 21 11:57:24 2016 From: franconi at inf.unibz.it (=?ISO-8859-1?Q?Enrico_Franconi?=) Date: Thu, 21 Apr 2016 11:57:24 +0200 Subject: [fg-arc] PhD Scholarships in Computer Science at the Free Univ. of Bozen-Bolzano (Italy) Message-ID: <21042016115724450GGh77pfXqRRd0344@webmail.unibz.it> PhD Scholarships in Computer Science at the Free Univ. of Bozen-Bolzano (Italy). The Free University of Bozen-Bolzano was founded in 1997 as a multilingual (English, German, Italian) internationally oriented institution. A public competition for the allocation of PhD positions in the Faculty of Computer Science will be opened on the 6th of May 2016, for 12 places, of which 9 places will be covered by grants (17,000€ per year). The deadline for submitting the application (admission/pre-enrolment to the 32nd PhD cycle) via is the 8th of June 2016. PhD students are expected to work full-time on their research during the period of the PhD studies, which lasts three years. An additional support is given to spend a period of 6-12 months at an international research center. The official language of the programme is English, and it is expected that students are able to write and speak fluently in English. The PhD study programme places an emphasis on research. PhD candidates are strongly advised to look at the three areas (listed below) which are the focus of the research at the Faculty of Computer Science, and to get in contact with their desired research area before applying. The Selection Committee ranks PhD students based on a comparative assessment of the merits and qualifications of applicants, taking into account also feedback from potential supervisors in the selected research area. RESEARCH AREAS: * KRDB - KNOWLEDGE AND DATA Logic-based languages for knowledge representation Intelligent access to data Semantic technologies Information integration Data-aware process modelling, verification, and synthesis Business process monitoring, mining, and conformance Temporal aspects of data and knowledge Extending database technologies Visual and verbal paradigms for information modelling and exploration Reasoning with Uncertain and Imprecise Knowledge The KRDB Research Centre for Knowledge and Data (web page: ) was founded in 2002, and it currently comprises about 30 researchers, including PhD students. The research activity is focussed on two main areas: (1) intelligent data and information management, with emphasis on modelling of data and on the challenges related to modelling and dealing with structured, complex, and big data; and (2) business processes and data, with the aim of studying the entire process lifecycle including the modelling of business processes and organisations. The KRDB Centre is widely recognised as one of the internationally leading groups in knowledge representation research, with a synergy between foundational research and application-oriented research. KRDB contact person: Enrico Franconi . * IDSE - INFORMATION AND DATABASE SYSTEMS ENGINEERING Spatial and temporal databases Approximation techniques in databases Query optimisation in databases Cooperative interfaces for information access and filtering Data mining techniques for preference elicitation and recommendation Cloud computing and big data Agile development and human aspects of software engineering Software startups and lean startup methodology Design based hardware engineering Technology enhanced learning Interaction design The research activities in the area of database and information systems engineering focus on key aspects of applied computer science, including data warehousing and data mining, the integration of heterogeneous and distributed databases, time-varying information, data models, and query processing. The research approach is primarily constructive in its outset, and it includes substantial experimental and analytical elements. The development activities cover the design of data models and structures, and the development of algorithms, data structures, languages, and systems. The experimental activities verify real world artefacts with the help of prototypes and simulations. The analytic activities include the analysis of the algorithmic complexity and the evaluation of languages. The main goal is theoretically sound results that solve real world problems. * SERG - SOFTWARE ENGINEERING Empirical software engineering Mining software repositories Software reliability and testing Automatic improvement and empirical investigation of software quality attributes Recommendation systems in software engineering Software system behaviour The research topics in software engineering are focused on the empirical and quantitative study of innovative models for software development. The target analysis techniques include both traditional statistics, and new approaches, such as computational intelligence, Bayesian models, and meta-analytical systems. The innovative software development techniques include (a) methods based on lean management, such as agile methods, with a specific interest for benchmarking and identification of defects, and (b) open source development models, with specific attention for self organising systems and the analysis of the resulting quality aspects. -------------- next part -------------- An HTML attachment was scrubbed... URL: From peter.schuller at marmara.edu.tr Thu Apr 21 23:13:06 2016 From: peter.schuller at marmara.edu.tr (Peter Schueller) Date: Fri, 22 Apr 2016 00:13:06 +0300 (EEST) Subject: [fg-arc] Final CFP and Deadline Extension ICLP 2016, New York City: 32nd International Conference on Logic Programming, Oct 17-21 Message-ID: <20160421211306.AC22F2C0282@omsievews> Final Call For Papers and Deadline Extension 32nd International Conference on Logic Programming New York City, USA October 17-21, 2016 http://software.imdea.org/Conferences/ICLP2016/ Conference Scope Since the first conference held in Marseilles in 1982, ICLP has been the pre- mier international conference for presenting research in logic programming. Contributions are sought in all areas of logic programming, including but not restricted to: - Theory: Semantic Foundations, Formalisms, Nonmonotonic Reasoning, Knowledge Representation. - Implementation: Compilation, Virtual Machines, Parallelism, Constraint Han- dling Rules, Tabling. - Environments: Program Analysis, Transformation, Validation, Verification, Debugging, Profiling, Testing. - Language Issues: Concurrency, Objects, Coordination, Mobility, Higher Order, Types, Modes, Assertions, Programming Techniques. - Related Paradigms: Inductive and Co-inductive Logic Programming, Constraint Logic Programming, Answer-Set Programming, SAT-Checking. - Applications: Databases, Big Data, Data Integration and Federation, Soft- ware Engineering, Natural Language Processing, Web and Semantic Web, Agents, Artificial Intelligence, Bioinformatics, and Education. In addition to the presentations of accepted papers, the technical program will include invited talks, advanced tutorials, the doctoral consortium, and several workshops. Important Dates Paper registration (abstract): 29 April, 2016 (extended deadline, firm) Submission deadline: 6 May, 2016 (extended deadline) Notification to authors: 17 June, 2016 Revision deadline (when needed): 8 July, 2016 Final notification: 22 July, 2016 Camera-ready copy due: 5 Aug, 2016 Conference: 17-21 Oct, 2016 Submission Details Submissions of regular papers must be made in the condensed TPLP format (see http://software.imdea.org/Conferences/ICLP2016/TPLP-ICLP-2016.tar) via Easy- Chair (see http://www.easychair.org/conferences/?conf=iclp2016). A regular paper must not exceed 14 pages including the bibliography, but the paper may be supplemented with appendices for proofs and details of datasets which do not count towards this limit and which will be available as appendices to the published paper. We accept three kinds of papers: - Technical papers for technically sound, innovative ideas that can advance the state of logic programming; - Application papers that impact interesting application domains; - System and tool papers which emphasize novelty, practicality, usability, and availability of the systems and tools described. Application, system, and tool papers need to be clearly marked in their title. All submissions must be written in English and describe original, previously unpublished research, and must not simultaneously be submitted for publication elsewhere. Papers of the highest quality will be selected to be published in the journal of Theory and Practice of Logic Programming (TPLP), Cambridge Uni- versity Press (CUP). In order to ensure the quality of the final version, papers may be subject to more than one round of refereeing (within the deci- sion period). The program committee may recommend some papers to be published as technical communications. Technical communications (TCs) will be published by Dagstuhl Publishing in the OpenAccess Series in Informatics (OASIcs) (http://www.dagstuhl.de/publikationen/oasics/). These TC papers should not exceed 14 pages including bibliography. Authors can also elect to convert their submissions into extended abstracts, of 2 or 3 pages, for inclusion in the TCs. This should allow authors to submit a long version elsewhere. All regular papers and regular TCs will be presented during the conference. Doctoral consortium position papers, of between 10 and 14 pages, will also be published as TCs. Authors of accepted papers will, by default, be automatically included in the list of ALP members, who will receive quarterly updates from the Logic Pro- gramming Newsletter at no cost. Conference Organization General Chairs: Michael Kifer Stony Brook University, USA Neng-Fa Zhou City University of New York, USA Program Chairs: Manuel Carro UPM and IMDEA Software Institute, Spain Andy King University of Kent, UK Workshop Chair: Marcello Balduccini Drexel University, USA Publicity Chair: Peter Schueller Marmara University, Turkey Doctoral Consortium Chairs: Marina De Vos University of Bath, UK Neda Saeedloei University of Minnesota Duluth, USA Programming Contest Chair: Paul Fodor Stony Brook University, USA Web Presence: Joaquin Arias IMDEA Software Institute, Spain Program Committee: Marcello Balduccini Drexel University, USA Mutsunori Banbara Kobe University, Japan Roman Bartak Charles University, Czech Republic Pedro Cabalar University of Corunna, Spain Mats Carlsson SICS, Sweden Manuel Carro UPM and IMDEA Software Institute, Spain Michael Codish Ben-Gurion University of the Negev, Israel Marina De Vos University of Bath, UK Agostino Dovier Universita degli Studi di Udine, Italy Gregory Duck National University of Singapore, Singapore Esra Erdem Sabanci University, Turkey Wolfgang Faber University of Huddersfield, UK Thom Fruehwirth University of Ulm, Germany John Gallagher Roskilde University, Denmark, and IMDEA Software Institute, Spain Marco Gavanelli Universita degli Studi di Ferrara, Italy Martin Gebser University of Potsdam, Germany Michael Hanus CAU Kiel, Germany Katsumi Inoue NII, Japan Gerda Janssens KU Leuven - University of Leuven, Belgium Andy King University of Kent, UK Ekaterina Komendantskaya Heriot-Watt University, UK Michael Leuschel University of Dusseldorf, Germany Vladimir Lifschitz University of Texas, USA Jose F. Morales IMDEA Software Institute, Spain Enrico Pontelli New Mexico State University, USA Jorg Puhrer Leipzig University, Germany Ricardo Rocha University of Porto, Portugal Zoltan Somogyi Independent Researcher, Australia Harald Sondergaard University of Melbourne, Australia Theresa Swift NOVALINKS, US, and UNL, Portugal Francesca Toni Imperial College London, UK Irina Trubitsyna University of Calabria, Italy Mirek Truszczynski University of Kentucky, USA Alicia Villanueva Universitat Politecnica de Valencia, Spain Jan Wielemaker VU University Amsterdam, Netherlands Stefan Woltran TU Wien, Austria Fangkai Yang Schlumberger Inc., USA Jia-Huai You University of Alberta, Canada Workshops The ICLP 2016 program will include several workshops. They are perhaps the best places for the presentation of preliminary work, underdeveloped novel ideas, and new open problems to a wide and interested audience with opportuni- ties for intensive discussions and project collaboration. Autumn School on Computational Logic A school on computational logic is planned. More up to date information will be available at the conference Web page. Doctoral Consortium The Twelfth Doctoral Consortium (DC) on Logic Programming provides research students with the opportunity to present and discuss their research direc- tions, and to obtain feedback from both peers and experts in the field. Accepted participants will receive partial financial support to attend the event and the main conference. The best paper from the DC will be given the opportunity to present in a session of the main ICLP conference. Conference Venue The venue will be the Sheraton LaGuardia East Hotel in Flushing, New York City. New York City is an international tourist destination, receiving 56 million tourists in 2014 alone. Several sources have ranked New York the most photographed city in the world. Times square, known as the city's heart, is the brightly illuminated hub of the Broadway theatre district. The Statue of Liberty greets new arrivals to the Americas by ship in the late 19th and early 20th century, and is a globally recognized symbol of the United States. Flush- ing is associated by many with the National Tennis Centre, since Flushing Meadows has been the home of the US Open Grand Slam tennis tournament every year since 1978. New York is the most populous city in the United States and one of the most populous urban agglomerations in the world. Situated in one of the world's largest natural harbours, New York City consists of five boroughs, each of which is a separate county of New York State. The conference hotel is situated in the Queens borough, just a two-minute walk from the Flushing-Main Street rail station. Direct train lines take you directly from there to Times Square in just over 45 minutes, which is fast for New York City. The Museum of Modern Art can be reached in under 40 mins, Grand Central Terminal in 40 mins, the Empire State Building under 50 mins, and The High Line Park in 50 minutes. The hotel is also close to LaGuardia Airports and JFK. LaGuardia is just 3 miles away and the hotel offers a complementary shuttle service. John F. Kennedy International Airport (JFK) is 10 miles away and can be reached within 30 minutes by taxi. The hotel is situated in a vibrant Asian district that offers a variety of Eastern cuisine, as well as many stores and shops. Sponsor The conference is sponsored by the Association for Logic Programming (ALP). Financial Assistance The Association for Logic Programming has funds to assist financially disad- vantaged participants and, especially, students to enable them to attend the conference. Inquiries should be made to the general chairs. From alexander.perucci at graduate.univaq.it Fri Apr 22 13:53:47 2016 From: alexander.perucci at graduate.univaq.it (alexander.perucci at graduate.univaq.it) Date: Fri, 22 Apr 2016 13:53:47 +0200 (CEST) Subject: [fg-arc] DEADLINE APPROACHING - 3rd CfP and Dedicated Thematic Series On Springer Jisa Journal Message-ID: <66735364.40.1461326027541.JavaMail.Alexander@DESKTOP-7TKA96C> [Apologies for multiple postings] == DEADLINE APPROACHING - THIRD CALL for PAPERS and DEDICATED THEMATIC SERIES on SPRINGER JISA JOURNAL == 1st International Workshop on Formal to Practical Software Verification and Composition (VeryComp 2016) Co-located event of STAF 2016 (http://staf2016.conf.tuwien.ac.at/) Wien, Austria - July 4th 2016 Web site: verycomp2016.disim.univaq.it == IMPORTANT DATES == Paper submissions (extended): April 28, 2016 Notification of authors: May 25, 2016 Camera-ready copies: June 20, 2016 == THEMES AND OBJECTIVES == Nowadays, modern applications are increasingly realized as distributed systems composing existing pieces of software that autonomically cooperates to achieve a common goal. As a matter of fact, this calls for new software composition paradigms, and patterns, modeling and verification methods that are practical and usable on one hand and formal on the other. Despite the great interest in practical Software Composition and Formal Verification in their isolation, no common and integrated approaches have been established yet. VeryComp promotes contributions related to the subject at different levels: from modelling and verification to analysis, from componentization to composition. Foundational contributions as well as concrete application experiments are sought. VeryComp 2016 welcomes research papers, experience papers and tool presentations; nevertheless, papers describing novel research contributions and innovative applications are of particular interest. Details on workshop goals and themes can be found at: http://verycomp2016.disim.univaq.it All accepted papers will be published as part of a Springer LNCS Proceedings Volume (Lecture Notes in Computer Science): http://www.springer.com/lncs Furthermore, selected participants will be invited to submit an extended version of their papers after the workshop to a Thematic Series of the Springer JISA journal on Verification and Composition for the Internet of Services and Things download the CfP - http://verycomp2016.disim.univaq.it/jisa-thematic-series. Each submitted paper will undergo a formal peer review process by at least 3 PC members. Contributions can be: - Regular papers (maximum 12 pages): In this category fall those contributions which propose novel research contributions, address challenging problems with innovative ideas, or offer practical contributions in the application of FM and SE approaches to software verification and composition. Regular papers should clearly describe the situation or problem tackled, the relevant state of the art, the position or solution suggested and the potential benefits of the contribution. - Short papers (maximum 8 pages): This category includes tool demonstrations, position papers, industrial experiences and case-studies, and visionary papers. Authors of papers reporting industrial experiences are encouraged to make their experimental results available for use by reviewers. Similarly, authors of tool demonstration papers should make their tool available for use by reviewers. == Workshop Chairs == - Marco Autili, University of L’Aquila, Italy, marco.autili at univaq.it - Massimo Tivoli, University of L’Aquila, Italy, massimo.tivoli at univaq.it - Luca Ferrucci, ISTI-CNR, Italy, ferrucci at isti.cnr.it - Manuel Mazzara, Innopolis University, Russia, m.mazzara at innopolis.ru - Davide Bresolin, DISI - Universitu of Bologna, Italy, davide.bresolin at unibo.it - Marcello Bersani, DEIB - Politecnico di Milano, Italy, marcellomaria.bersani at polimi.it - Marisol Garcia-Valls, University Carlos III, Spain, mvalls at it.uc3m.es == Program Committee == - Domenico Bianculli, Universitè du Luxembourg - Stéphane Demri, NewYork University & CNRS, France - Silvio Ghilardi, Università degli studi di Milano, Italy - Nafees Qamar, Vanderbilt University, USA - David Miguel Ramalho Pereira, Polytechnical School of Porto, Portugal - Cesar Sanchez, IMDEA Software Institute, Spain - Vincenzo Ciancia, ISTI-CNR, Italy - Gwen Salaun, INRIA, Grenoble-Rhone-Alpes, France - Guglielmo De Angelis, CNR-IASI/ISTI, Italy - Paola Inverardi, University of L’Aquila, Italy - Ivica Crnkovic, MaIardalen University, Sweden - Radu Calinescu, University of York, UK - Schahram Dustdar, University of Technology Wien, Austria - Luciano Baresi, Politecnico di Milano, Italy - Mauro Caporuscio, Linnaeus University, Sweden - Nikolaos Georgantas, INRIA, France - Salvatore Distefano, Università di Messina, Italy - Victor Rivera, Innopolis University, Russia - Pascal Poizat, Paris Ouest University and LIP6, France - Saad Mubeen, Mälardalen University, Sweden - Hernan Melgratti, Universidad de Buenos Aires, Argentina - Julio Medina, Universidad de Cantabria, Spain - Patricia Lago, VU University Amsterdam, Nederland - Carlo Ghezzi, Politecnico di Milano, Italy - Antonio Bucchiarone, FBK-IRST, Italy - Antonio Brogi, Università di Pisa, Italy - Amel Bennaceur, The Open University, UK - Carlo Bellettini, Università degli studi di Milano, Italy == Web Chair & Publicity Chair == - Alexander Perucci, University of L'Aquila, Italy == List of topics (not limited to) == - Specification and design of software composition models - Formal verification and model checking of software integration code - Service-oriented software composition - Automated software composition and coordination - Formal verification of self-adaptive systems - Model-driven software composition - Correct-by-construction software composition - Communication middleware support for service oriented composition - Formal verification and model checking of multi-agent systems From grlmc at grlmc.com Sun Apr 24 17:04:36 2016 From: grlmc at grlmc.com (GRLMC) Date: Sun, 24 Apr 2016 17:04:36 +0200 Subject: [fg-arc] SLSP 2016: 3rd call for papers Message-ID: <545102060a010b06075e58040509535d5a5604550203535250560800065357040602000705580301080554545003@grlmc_ip-zone_com-6> SLSP 2016: 3rd call for papers*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line*   **********************************************************************************   4th INTERNATIONAL CONFERENCE ON STATISTICAL LANGUAGE AND SPEECH PROCESSING   SLSP 2016   Pilsen, Czech Republic   October 11-13, 2016   Organized by:   Department of Computer Science and Engineering Department of Cybernetics University of West Bohemia   Research Group on Mathematical Linguistics (GRLMC) Rovira i Virgili University   http://grammars.grlmc.com/SLSP2016/   **********************************************************************************   AIMS:   SLSP is a yearly conference series aimed at promoting and displaying excellent research on the wide spectrum of statistical methods that are currently in use in computational language or speech processing. It aims at attracting contributions from both fields. Though there exist large, well-known conferences and workshops hosting contributions to any of these areas, SLSP is a more focused meeting where synergies between subdomains and people will hopefully happen. In SLSP 2016, significant room will be reserved to young scholars at the beginning of their career and particular focus will be put on methodology.   VENUE:   SLSP 2016 will take place in Pilsen, nominated one of the two European Capitals of Culture in 2015. The venue will be the the NTIS research centre at the Faculty of Applied Sciences of the University of West Bohemia.   SCOPE:   The conference invites submissions discussing the employment of statistical models (including machine learning) within language and speech processing. Topics of either theoretical or applied interest include, but are not limited to:   anaphora and coreference resolution authorship identification, plagiarism and spam filtering computer-aided translation corpora and language resources data mining and semantic web information extraction information retrieval knowledge representation and ontologies lexicons and dictionaries machine translation multimodal technologies natural language understanding neural representation of speech and language opinion mining and sentiment analysis parsing part-of-speech tagging question-answering systems semantic role labelling speaker identification and verification speech and language generation speech recognition speech synthesis speech transcription spelling correction spoken dialogue systems term extraction text categorisation text summarisation user modeling   STRUCTURE:   SLSP 2016 will consist of:   invited talks peer-reviewed contributions   INVITED SPEAKERS:   Walter Daelemans (University of Antwerp), Advances in Statistical Approaches to Personality Prediction from Text   Julia Hirschberg (Columbia University), Identifying Sentiment and Emotion in Low Resource Languages   Mari Ostendorf (University of Washington), Continuous-space Language Processing: Beyond Word Embeddings   PROGRAMME COMMITTEE:   Srinivas Bangalore (Interactions LLC, Murray Hill, USA) Roberto Basili (University of Rome Tor Vergata, Italy) Jean-François Bonastre (University of Avignon, France) Nicoletta Calzolari (National Research Council, Pisa, Italy) Marcello Federico (Bruno Kessler Foundation, Trento, Italy) Guillaume Gravier (IRISA, Rennes, France) Gregory Grefenstette (INRIA, Saclay, France) Udo Hahn (University of Jena, Germany) Thomas Hain (University of Sheffield, United Kingdom) Dilek Hakkani-Tür (Microsoft Research, Mountain View, USA) Mark Hasegawa-Johnson (University of Illinois, Urbana, USA) Xiaodong He (Microsoft Research, Redmond, USA) Graeme Hirst (University of Toronto, Canada) Gareth Jones (Dublin City University, Ireland) Tracy Holloway King (A9.com, Palo Alto, USA) Tomi Kinnunen (University of Eastern Finland, Joensuu, Finland) Philipp Koehn (University of Edinburgh, United Kingdom) Pavel Král (University of West Bohemia, Pilsen, Czech Republic) Claudia Leacock (McGraw-Hill Education CTB, Monterey, USA) Mark Liberman (University of Pennsylvania, Philadelphia, USA) Qun Liu (Dublin City University, Ireland) Carlos Martín-Vide (Rovira i Virgili University, Tarragona, Spain, chair) Alessandro Moschitti (University of Trento, Italy) Preslav Nakov (Qatar Computing Research Institute, Doha, Qatar) John Nerbonne (University of Groningen, The Netherlands) Hermann Ney (RWTH Aachen University, Germany) Vincent Ng (University of Texas, Dallas, USA) Jian-Yun Nie (University of Montréal, Canada) Kemal Oflazer (Carnegie Mellon University – Qatar, Doha, Qatar) Adam Pease (Articulate Software, San Francisco, USA) Massimo Poesio (University of Essex, United Kingdom) James Pustejovsky (Brandeis University, Waltham, USA) Manny Rayner (University of Geneva, Switzerland) Paul Rayson (Lancaster University, United Kingdom) Douglas A. Reynolds (Massachusetts Institute of Technology, Lexington, USA) Erik Tjong Kim Sang (Meertens Institute, Amsterdam, The Netherlands) Murat Saraçlar (Boğaziçi University, İstanbul, Turkey) Björn W. Schuller (University of Passau, Germany) Richard Sproat (Google, New York, USA) Efstathios Stamatatos (University of the Aegean, Karlovassi, Greece) Yannis Stylianou (Toshiba Research Europe Ltd., Cambridge, United Kingdom) Marc Swerts (Tilburg University, The Netherlands) Tomoki Toda (Nagoya University, Japan) Xiaojun Wan (Peking University, Beijing, China) Andy Way (Dublin City University, Ireland) Phil Woodland (University of Cambridge, United Kingdom) Junichi Yamagishi (University of Edinburgh, United Kingdom) Heiga Zen (Google, Mountain View, USA) Min Zhang (Soochow University, Suzhou, China) Pierre Zweigenbaum (LIMSI, Orsay, France)   ORGANIZING COMMITTEE:   Tomáš Hercig (Pilsen) Carlos Martín-Vide (Tarragona, co-chair) Manuel J. Parra (Granada) Daniel Soutner (Pilsen) Florentina Lilica Voicu (Tarragona) Jan Zelinka (Pilsen, co-chair)   SUBMISSIONS:   Authors are invited to submit non-anonymized papers in English presenting original and unpublished research. Papers should not exceed 12 single-spaced pages (including eventual appendices, references, proofs, etc.) and should be prepared according to the standard format for Springer Verlag's LNCS series (see http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0).   Submissions have to be uploaded to:   https://www.easychair.org/conferences/?conf=slsp2016   PUBLICATIONS:   A volume of proceedings published by Springer in the LNCS/LNAI series will be available by the time of the conference.   A special issue of Computer Speech and Language (Elsevier, JCR 2014 impact factor: 1.753) will be later published containing peer-reviewed substantially extended versions of some of the papers contributed to the conference. Submissions to it will be by invitation.   REGISTRATION:   The registration form can be found at:   http://grammars.grlmc.com/SLSP2016/Registration.php   DEADLINES:   Paper submission: May 17, 2016 (23:59 CET) Notification of paper acceptance or rejection: June 21, 2016 Final version of the paper for the LNCS/LNAI proceedings: July 1, 2016 Early registration: July 1, 2016 Late registration: September 27, 2016 Submission to the journal special issue: January 13, 2017   QUESTIONS AND FURTHER INFORMATION:   florentinalilica.voicu (at) urv.cat   POSTAL ADDRESS:   SLSP 2016 Research Group on Mathematical Linguistics (GRLMC) Rovira i Virgili University Av. Catalunya, 35 43002 Tarragona, Spain   Phone: +34 977 559 543 Fax: +34 977 558 386   ACKNOWLEDGEMENTS:   Západočeská univerzita v Plzni Universitat Rovira i Virgili -------------- next part -------------- An HTML attachment was scrubbed... URL: From eichelberger at sse.uni-hildesheim.de Tue Apr 26 11:43:25 2016 From: eichelberger at sse.uni-hildesheim.de (Holger Eichelberger) Date: Tue, 26 Apr 2016 11:43:25 +0200 Subject: [fg-arc] =?utf-8?q?CfP_9th_International_Workshop_on_Dynamic_Soft?= =?utf-8?q?ware_Product_Lines_Variability_at_Runtime_=28DSPL=E2=80=9916=29?= Message-ID: <571F383D.5050900@sse.uni-hildesheim.de> [please apologize cross-postings] 9th International Workshop on Dynamic Software Product Lines Variability at Runtime (DSPL’16) Augsburg (Germany), Friday 16 September 2016 ------------------------------------------------------ http://sites.lero.ie/dspl2016 Important Dates for Paper Submissions Submission Deadline (strict): July 4, 2016 Notification of Acceptance: July 15, 2016 Camera-Ready Version: July 22, 2016 Workshop Organizers Jesper Andersson, Linnaeus University, Sweden Rafael Capilla, Rey Juan Carlos University, Spain Holger Eichelberger, University of Hildesheim, Germany Workshop Goals The concept of adaptation and self-adaptation of systems, in particular at runtime has caught the attention of the research community at large, both inside the domain of SPL as well as outside SPL in areas like models-at-runtime, self-adaptive systems, ubiquitous computing, etc. Dynamic software product lines (DSPL) constitute an emerging but promising research area where SPL concepts are entangled with runtime variability mechanisms, context information and runtime adaptation. However, the challenge to create better and smarter adaptable systems is still challenging. The workshop is intended as a highly interactive forum using a discussant format and to provide a forum for the exchange of ideas, to establish cooperations, and to bring industry and research together. TOPICS: In this edition of DSPL series a renewed set of topics broaden the scope of the workshop and covering other related areas in the following topics, but not limited to: Organization of DSPL: o Development approaches and organizational models to set a DSPL o Comparison between SPL and DSPL models o New activities required by a DSPL o Upfront cost and post-deployment activities Dynamic variability management: o Managing runtime variants and variation points o Runtime managers supporting variability o Optimization of runtime variability solutions o Variability constraints and dependencies managed at runtime o Relation between pre-runtime and runtime variabilities, their properties and models o Multiple binding times and rebinding after deployment o Binding times in relation to different system’s operational models o Dynamic library loading mechanisms DSPL and software engineering: o Runtime SPL requirements engineering o Runtime SPL architecture analysis o Dynamic component model for system of systems engineering o Trade-off analysis between adaptability and other qualities o Context-oriented features and runtime variability o Tools supporting any aspect related to DSPL and dynamic variability approaches o Collaborative features at runtime DSPL application domains: o Role of dynamic variability in specific application domains (e.g., Automotive and smart vehicles, Critical systems, Drones, Cloud systems, Robotics) o Self-adaptive systems using dynamic variability techniques o Context variability for IoT software o Case studies o Applications of self-adaptation SUBMISSION We solicit short, thought-provoking papers reporting work in progress, industrial experience, and real-world examples. Full papers are also eligible and should report mature research results. Papers should be in formatted according to the standard IEEE Computer Society Press proceedings style guide, and submitted electronically in PDF format. Papers should not exceed 6 (we recommend 4 pages for short versions). Submissions should be submitted via: https://easychair.org/conferences/?conf=dspl16. Accepted papers of the workshop will be published in the IEEE FAS*W proceedings Steering Committe Mike Hinchey, Lero-the Irish Software Engineering Research Centre, Limerick, Ireland Sooyong Park, Sogang University, South Korea Klaus Schmid, University of Hildesheim, Germany Program Committee: Raian Ali, Bournemouth University, UK Eduardo Almeida, Federal University of Bahia and RiSE, Brazil David Benavides, University of Seville, Spain Jan Bosch, Chalmers University, Sweden Vijayan Sugumaran, Oakland University, USA & Sogang University, South Korea In-Young Ko, KAIST, South Korea Hassan Gomaa, George Mason University, USA Jaejoon Lee, Lancaster University, UK Pete Sawyer, Lancaster University, UK Douglas C. Schmidt, Vanderbilt University, USA Danny Weyns, KU Leuven, Belgium Jason Mansell, Tecnalia, Spain Vicente Pelechano, Technical University of Valencia, Spain Lidia Fuentes, University of Málaga, Spain Clément Quinton, University of Milano, Italy Patrick Heymans, University of Namur, Belgium Kim Mens, University of Lovaine, Belgium -- ------------------------------------------------------------------------ Dr. Holger Eichelberger Software Systems Engineering University of Hildesheim Tel.: +49 (0) 5121 / 883-40334 Institute of Computer Science Fax.: +49 (0) 5121 / 883-40331 Universitätsplatz 1 eichelberger at sse.uni-hildesheim.de D-31141 Hildesheim, Germany http://www.uni-hildesheim.de/de/eichelberger.htm PGP public key: https://www.uni-hildesheim.de/media/fb4/informatik/AG_SSE/pgp/sse_he_pubkey.asc PGP fingerprint: 4522 685C 57E5 D0EA D5BA 4EDE C53F 5B9D 9F71 55E7 ------------------------------------------------------------------------ Adaptive Big Data Infrastructure for financial Risk Analysis (FP7) http://qualimaster.eu 1st Intl Big Data Processing - Reloaded Workshop http://bdpr2016.l3s.uni-hannover.de/ ------------------------------------------------------------------------ From zimmer at informatik.uni-halle.de Thu Apr 28 13:51:22 2016 From: zimmer at informatik.uni-halle.de (Prof. Dr. Wolf Zimmermann) Date: Thu, 28 Apr 2016 13:51:22 +0200 Subject: [fg-arc] [ESOCC2016] Deadline Extension - Call for Papers Message-ID: <5721F93A.3090008@informatik.uni-halle.de> Call for Papers 5th European Conference on Service-Oriented and Cloud Computing (ESOCC) http://esocc2016.eu/ September 5-7, 2016 Vienna, Austria ESOCC is the premier conference on advances in the state of the art and practice of Service-Oriented Computing and Cloud Computing in Europe. The main objectives of this conference are to facilitate the exchange between researchers and practitioners in the areas of Service-oriented Computing and Cloud Computing and to foster future collaborations in Europe and beyond. ESOCC 2016 will include invited talks and presentations of selected research papers with the participation of top researchers from academia and industry. ESOCC 2016 will also include a PhD Symposium and a series of satellite workshops. The main objectives of this conference is to facilitate the exchange between researchers and practitioners in the areas of Service-oriented Computing and Cloud Computing and to foster future collaborations in Europe and beyond. ESOCC 2016 will include invited talks and presentations of selected research papers with the participation of top researchers from academia and industry. ! ESOCC 2016 will also include a PhD Symposium and a series of satellite workshops. TOPICS OF INTEREST ================== ESOCC 2016 seeks original, high quality papers related to all aspects of Service-Oriented and Cloud Computing, which constitute the main technology available to date for implementing Service-Oriented Architectures and Cloud Computing. ESOCC 2016 solicits both new research papers (in the main track) as well as reports on practical experiences from industry (industry track). However, papers on existing products or product marketing information are not within the scope of the ESOCC 2016 Industry Track. SOCC Core --------- Big Data Management Business Process Management and Services Cloud Computing Business Models Cloud Interoperability and Federation Cloud Services Management and Composition Dynamic and Adaptive Services Economic and Business Models for Services Enterprise Architecture and Services Energy Issues in Clouds Identity and Access Management using Services Service Composition Service Governance Service Marketplaces Services Life-Cycles SOCC Engineering ---------------- Agile Computing Architectural Models for Cloud Computing Big Data Management Frameworks for Building Service Based Applications Mashups Model-Driven Service Engineering Self-Organizing Service-Oriented and Cloud Architectures Service Quality and Service Interface Design Guidelines Services Security and Privacy Internet of Things and Mobility ------------------------------- IoT Services and IoT Clouds Mobile Clouds and Mobile Services Formal Methods for Services and Cloud Computing ----------------------------------------------- Compliance Self-Organizing Services and Clouds Service Modeling, Analysis, and Design Service Science Verification Social Aspects -------------- Crowdsourcing Business Services Service-Oriented Business Collaboration Social and Crowd-based Cloud Technologies ------------ DevOps in the Cloud Emerging Trends in Storage, Computation and Network Clouds Next Generation Services Middleware and Service Repositories RESTful Clouds and Services Core Applications ----------------- Commerce Energy Finance Health Scientific Computing Smart Cities Telecom SUBMISSIONS =========== Original papers, not submitted for publication elsewhere, can be submitted via Easychair at https://easychair.org/conferences/?conf=esocc2016. Paper submissions should be formatted according to the LNCS proceedings guidelines and the templates available at http://www.springer.com/ and they should not exceed 15 pages. A paper might be accepted as a full paper (15 pages), as a short paper (8 pages) or as a poster (a 2-page abstract in the proceedings). Conference proceedings will be published by Springer in the Lecture Notes in Computer Science series. IMPORTANT DATES =============== Research & Industrial Papers ---------------------------- Abstract Submission (optional): 18.04.2016 Paper Submission: 09.05.2016 Notification: 06.06.2016 Final Version: 20.06.2016 ORGANIZATION ============ General Chair Schahram Dustdar, TU Wien, Austria Program Chairs Marco Aiello, University of Groningen, The Netherlands Einar Broch Johnsen, University of Oslo, Norway Local Chair Stefan Schulte, TU Wien, Austria Industry Track Chairs Matteo Melideo, Engineering Ingegneria Informatica SPA, Italy Audris Mockus, University of Tennessee, United States Workshop Chairs Alexander Lazovik, University of Groningen, The Netherlands Stefan Schulte, TU Wien, Austria PhD Symposium Chairs Wolf Zimmermann, Martin Luther University Halle-Wittenberg, Germany Gianluigi Zavattaro, University of Bologna, Italy IFIP WG Chairs Luciano Baresi, Politecnico di Milano, Italy Winfried Lamersdorf, Hamburg University, Germany EU Projects Chair Antonio Brogi, University of Pisa, Italy From alexander.perucci at graduate.univaq.it Fri Apr 29 11:03:25 2016 From: alexander.perucci at graduate.univaq.it (alexander.perucci at graduate.univaq.it) Date: Fri, 29 Apr 2016 11:03:25 +0200 (CEST) Subject: [fg-arc] SUBMISSION DEADLINE EXTENSION - 3rd CfP and Dedicated Thematic Series On Springer Jisa Journal Message-ID: <2087035294.39.1461920605246.JavaMail.Alexander@DESKTOP-7TKA96C> [Apologies for multiple postings] == SUBMISSION DEADLINE EXTENSION - THIRD CALL for PAPERS and DEDICATED THEMATIC SERIES on SPRINGER JISA JOURNAL == 1st International Workshop on Formal to Practical Software Verification and Composition (VeryComp 2016) Co-located event of STAF 2016 (http://staf2016.conf.tuwien.ac.at/) Wien, Austria - July 4th 2016 Web site: verycomp2016.disim.univaq.it == IMPORTANT DATES == Paper submissions (extended): May 5, 2016 Notification of authors: May 25, 2016 Camera-ready copies: June 20, 2016 == THEMES AND OBJECTIVES == Nowadays, modern applications are increasingly realized as distributed systems composing existing pieces of software that autonomically cooperates to achieve a common goal. As a matter of fact, this calls for new software composition paradigms, and patterns, modeling and verification methods that are practical and usable on one hand and formal on the other. Despite the great interest in practical Software Composition and Formal Verification in their isolation, no common and integrated approaches have been established yet. VeryComp promotes contributions related to the subject at different levels: from modelling and verification to analysis, from componentization to composition. Foundational contributions as well as concrete application experiments are sought. VeryComp 2016 welcomes research papers, experience papers and tool presentations; nevertheless, papers describing novel research contributions and innovative applications are of particular interest. Details on workshop goals and themes can be found at: http://verycomp2016.disim.univaq.it All accepted papers will be published as part of a Springer LNCS Proceedings Volume (Lecture Notes in Computer Science): http://www.springer.com/lncs Furthermore, selected participants will be invited to submit an extended version of their papers after the workshop to a Thematic Series of the Springer JISA journal on Verification and Composition for the Internet of Services and Things download the CfP - http://verycomp2016.disim.univaq.it/jisa-thematic-series. Each submitted paper will undergo a formal peer review process by at least 3 PC members. Contributions can be: - Regular papers (maximum 12 pages): In this category fall those contributions which propose novel research contributions, address challenging problems with innovative ideas, or offer practical contributions in the application of FM and SE approaches to software verification and composition. Regular papers should clearly describe the situation or problem tackled, the relevant state of the art, the position or solution suggested and the potential benefits of the contribution. - Short papers (maximum 8 pages): This category includes tool demonstrations, position papers, industrial experiences and case-studies, and visionary papers. Authors of papers reporting industrial experiences are encouraged to make their experimental results available for use by reviewers. Similarly, authors of tool demonstration papers should make their tool available for use by reviewers. == Workshop Chairs == - Marco Autili, University of L’Aquila, Italy, marco.autili at univaq.it - Massimo Tivoli, University of L’Aquila, Italy, massimo.tivoli at univaq.it - Luca Ferrucci, ISTI-CNR, Italy, ferrucci at isti.cnr.it - Manuel Mazzara, Innopolis University, Russia, m.mazzara at innopolis.ru - Davide Bresolin, DISI - Universitu of Bologna, Italy, davide.bresolin at unibo.it - Marcello Bersani, DEIB - Politecnico di Milano, Italy, marcellomaria.bersani at polimi.it - Marisol Garcia-Valls, University Carlos III, Spain, mvalls at it.uc3m.es == Program Committee == - Domenico Bianculli, Universitè du Luxembourg - Stéphane Demri, NewYork University & CNRS, France - Silvio Ghilardi, Università degli studi di Milano, Italy - Nafees Qamar, Vanderbilt University, USA - David Miguel Ramalho Pereira, Polytechnical School of Porto, Portugal - Cesar Sanchez, IMDEA Software Institute, Spain - Vincenzo Ciancia, ISTI-CNR, Italy - Gwen Salaun, INRIA, Grenoble-Rhone-Alpes, France - Guglielmo De Angelis, CNR-IASI/ISTI, Italy - Paola Inverardi, University of L’Aquila, Italy - Ivica Crnkovic, MaIardalen University, Sweden - Radu Calinescu, University of York, UK - Schahram Dustdar, University of Technology Wien, Austria - Luciano Baresi, Politecnico di Milano, Italy - Mauro Caporuscio, Linnaeus University, Sweden - Nikolaos Georgantas, INRIA, France - Salvatore Distefano, Università di Messina, Italy - Victor Rivera, Innopolis University, Russia - Pascal Poizat, Paris Ouest University and LIP6, France - Saad Mubeen, Mälardalen University, Sweden - Hernan Melgratti, Universidad de Buenos Aires, Argentina - Julio Medina, Universidad de Cantabria, Spain - Patricia Lago, VU University Amsterdam, Nederland - Carlo Ghezzi, Politecnico di Milano, Italy - Antonio Bucchiarone, FBK-IRST, Italy - Antonio Brogi, Università di Pisa, Italy - Amel Bennaceur, The Open University, UK - Carlo Bellettini, Università degli studi di Milano, Italy == Web Chair & Publicity Chair == - Alexander Perucci, University of L'Aquila, Italy == List of topics (not limited to) == - Specification and design of software composition models - Formal verification and model checking of software integration code - Service-oriented software composition - Automated software composition and coordination - Formal verification of self-adaptive systems - Model-driven software composition - Correct-by-construction software composition - Communication middleware support for service oriented composition - Formal verification and model checking of multi-agent systems From ouni_ali at yahoo.fr Fri Apr 29 11:21:32 2016 From: ouni_ali at yahoo.fr (ouni ali) Date: Fri, 29 Apr 2016 09:21:32 +0000 (UTC) Subject: [fg-arc] CfP: 1st International Workshop on Refactoring (IWoR) 2016 References: <56889594.7035416.1461921692235.JavaMail.yahoo.ref@mail.yahoo.com> Message-ID: <56889594.7035416.1461921692235.JavaMail.yahoo@mail.yahoo.com> Call for papers: 1st International Workshop on Refactoring (IWoR) 2016 September 4, 2016, Singapore, Singapore. http://www.softrefactoring.com/ Co-located with the 31st IEEE/ACM Automated Software Engineering Conference (ASE 2016) Important Dates ------------------------------ Deadline for submissions: June 13, 2016 Notification of authors: July 3, 2016 Camera-ready: July 20, 2016 Workshop date: September 4, 2016                   Workshop summary ------------------------------ Successful software products evolve through a process of continuous changes as bugs are fixed, new features added, and quality issues addressed. Refactoring supports the volatile software lifecycle by providing better ways to reduce and manage the growing complexity of software systems while improving developer productivity. Refactoring can be performed at all levels from requirement specification down to source code level, and, in essence, involves improving the internal structure of a software artefact without altering its functionality. In spite of the popularity of refactoring both in practice and as a research topic, many open questions remain, particularly in terms of understanding how refactoring is performed, measuring the impact of refactoring, and improving tool support in all areas of refactoring. We invite submissions from both academia and industry on any topic that is refactoring related, including, but not limited to:  - Source code refactoring  - Requirement, design and architectural refactoring  - Refactoring of mobile, web and cloud applications  - Refactoring opportunities detection and recommendation  - Tool support for refactoring  - Mining refactoring changes from software repositories  - Evaluation and benchmarking of refactoring methods  - Refactoring in Model Driven Engineering  - Code smell detection and correction  - Search based refactoring  - Effect of refactoring on system complexity and quality  - Empirical studies and experience reports  - Software remodularization  - Model transformation  - Introduction of design patterns through refactoring  - Machine learning applied to software refactoring  - Role of refactoring in evolution and migration  - Refactoring in the software lifecycle  - Refactoring and testing Workshop format ------------------------------ The objective of the 1st ACM International Workshop on Refactoring (IWoR 2016) is to provide an informal interactive forum for researchers and practitioners to exchange ideas and experiences, streamline and foster research on software refactoring, identify some common ground for their work, share lessons and challenges, thereby articulating a vision for the future of software refactoring research. We solicit four types of submissions: full research papers (max 8 pages), position papers (max 4 pages), and tool demo papers (max 4 pages), and industrial presentation. Please check the website for more information. Proceedings and Special Issue ------------------------------ Accepted papers will be published in the workshop proceedings in the ACM digital library. A selection of the best papers will be invited to submit extended versions for tentative publication in a Special Issue of the journal Information and Software Technology published by Elsevier. Journal website: http://www.elsevier.com/locate/infsof Submission ------------------------------ All submissions must be formatted according to the ACM style (http://www.acm.org/sigs/publications/proceedings-templates  LaTeX users, use the style Option 2) and should be submitted through EasyChair at: https://easychair.org/conferences/?conf=iwsr2016 Each paper will be reviewed by at least three referees. Organization ------------------------------ General Chair:  - Ali Ouni, Osaka University, Japan Program Co-Chairs:  - Marouane Kessentini, University of Michigan, USA  - Mel Ó Cinnéide, University College Dublin, Ireland Publication Chair:  - Norihiro Yoshida, Nagoya University, Japan Web Chair:  - Wiem Mkaouer, University of Michigan, USA Program Committee:  - Aiko Yamashita, Oslo and Akershus University College of Applied Sciences, Norway  - Christopher Simons, University of the West of England, UK  - Christian Bird, Microsoft Research, USA  - Danny Dig, Oregon State University, USA  - Don Batory, University of Texas at Austin, USA  - Francesca Arcelli Fontana, University of Milano Bicocca, Italy  - Gabriele Bavota, Free University of Bozen-Bolzano, Italy  - Gustavo Pinto, UFPE, Brazil  - Houari Sahraoui, Université de Montréal, Canada  - Iman Hemati Moghadam, Vali-Asr University, Iran  - Jeff Gray, University of Alabama, USA  - Jun Sun, Singapore University of Technology and Design, Singapore  - Katsuro Inoue, Osaka University, Japan  - Manuel Wimmer, Vienna University of Technology, Austria  - Mark Harman, University College London, UK  - Massimiliano Di Penta, University of Sannio, Italy  - Nikolaos Tsantalis,Concordia University, Canada  - Serge Demeyer, Universiteit Antwerpen (ANSYMO), Belgium  - Shinpei Hayashi, Tokyo Institute of Technology, Japan  - Simon Thompson, University of Kent, UK  - Steve Counsell, Brunel University, UK  - Tom Mens, University of Mons, Belgium  - Wiem Mkaouer, University of Michigan, USA  - Xin Peng, Fudan University, China  - Yoshiki Higo, Osaka University, Japan  - Yun Lin, Singapore University of Technology and Design, Singapore   -------------- next part -------------- An HTML attachment was scrubbed... URL: From a.l.varbanescu at uva.nl Thu Apr 28 11:07:15 2016 From: a.l.varbanescu at uva.nl (Ana Lucia Varbanescu) Date: Thu, 28 Apr 2016 11:07:15 +0200 Subject: [fg-arc] Call for papers - 2nd Workshop on Performance Engineering for Large Scale Graph Analytics (PELGA, with Europar'16) Message-ID: <5721D2C3.9040600@uva.nl> [Apologies if you've received multiple copies of this email. If you haven't :), please forward this to your professional network and other interested colleagues. We thank you.] =========================================================================== CALL FOR PAPERS PELGA: Performance Engineering for Large Scale Graph Analytics (http://sites.google.com/site/pelga16) held in conjunction with EuroPar'16 August 22nd, 2016 - Grenoble, France =========================================================================== *** Important Dates Submission Deadline: May 6, 2016, AoE Author Notification: June 17, 2016 Workshop paper (for informal workshop proceedings): July 15, 2016 Workshop camera-ready (for LNCS post-proceedings) due: September 30, 2016 *** Graph processing is becoming a significant consumer of computing resources as the graphs grow in size (social networking, advanced marketing, life sciences, health and bioinformatics services, academic networks) and the analysis tasks grow increasingly complex. To enable existing algorithms to fit modern architectures and scale with these new requirements, there is a growing need for performance engineering. PELGA’16 is a venue for specialists from both industry and academia to discuss the state of the art of graph processing systems, with a special focus on performance. Contributions focusing on graph-centric performance engineering tools and methods, workload characterization, and performance modeling are especially welcome. We also invite contributions covering surveys, performance studies, comparative analyses, new algorithms and new graph processing systems. This broad mix of ideas will stir discussion and lead to new collaborations and new ideas. We invite mature papers (regular, 12-pages long, LNCS format), work-in-progress and experience papers (short, 6-pages long, LNCS format), and position papers (also short, 6-pages long, LNCS format). All papers will be peer-reviewed and published in the workshop informal proceedings (available during the conference). The camera-ready versions of the papers will be published by Springer in a common EuroPar Workshop Proceedings volume, *after the conference*. For more details and our suggested list of topics and the submission procedure please visit our website: http://sites.google.com/site/pelga16 We are looking forward to your submissions! With best regards, on behalf of the program committee, Ana Lucia Varbanescu PS> For any additional information, please contact Ana Lucia Varbanescu at a.l.varbanescu at uva.nl. From grlmc at grlmc.com Sat Apr 30 00:02:50 2016 From: grlmc at grlmc.com (GRLMC) Date: Sat, 30 Apr 2016 00:02:50 +0200 Subject: [fg-arc] TPNC 2016: 1st call for papers Message-ID: <545102060a010b05025f510a0709540401505353540853520a5658020000075001040d54020c0204055007040600@grlmc_ip-zone_com-6> TPNC 2016: 1st call for papers*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line*   *************************************************************************** 5th INTERNATIONAL CONFERENCE ON THE THEORY AND PRACTICE OF NATURAL COMPUTING   TPNC 2016   Sendai, Japan   December 12-14, 2016   Organized by:   Cyberscience Center Tohoku University   Research Group on Mathematical Linguistics (GRLMC) Rovira i Virgili University   http://grammars.grlmc.com/TPNC2016/ ***************************************************************************   AIMS:   TPNC is a conference series intending to cover the wide spectrum of computational principles, models and techniques inspired by information processing in nature. TPNC 2016 will reserve significant room for young scholars at the beginning of their career and particular focus will be put on methodology. The conference aims at attracting contributions to nature-inspired models of computation, synthesizing nature by means of computation, nature-inspired materials, and information processing in nature.   VENUE:   TPNC 2016 will take place in Sendai, in the northeast (Tohoku) region of Japan. The city was founded in 1600 and is nicknamed the "city of trees". It is the second largest city north of Tokyo. It takes about 100 minutes to reach Sendai from Tokyo by bullet train (Shinkansen). The venue will be the Cyberscience Center, Aobayama Campus, Tohoku University:   http://www.cc.tohoku.ac.jp/HTML/   SCOPE:   Topics include, but are not limited to:   - Theoretical contributions to:   amorphous computing ant colonies artificial chemistry artificial immune systems artificial life bacterial foraging cellular automata chaos computing collision-based computing complex adaptive systems computing with DNA computing with words and perceptions developmental systems evolutionary computing fractal geometry fuzzy logic gene assembly in ciliates granular computing intelligent systems in-vivo computing membrane computing nanocomputing neural computing optical computing physarum machines quantum computing quantum information reaction-diffusion systems rough sets self-organizing systems swarm intelligence synthetic biology   - Applications of natural computing to:   algorithmics bioinformatics control cryptography design economics graphics hardware human-computer interaction knowledge discovery learning logistics medicine natural language processing optimization pattern recognition planning and scheduling programming robotics telecommunications web intelligence   A flexible "theory to/from practice" approach would be the perfect focus for the expected contributions.   STRUCTURE:   TPNC 2016 will consist of:   - invited talks - invited tutorials - peer-reviewed contributions - posters   INVITED SPEAKERS:   tba   PROGRAMME COMMITTEE:   Andrew Adamatzky (University of the West of England, UK) Zixing Cai (Central South University, China) Óscar Castillo (Tijuana Institute of Technology, Mexico) Óscar Cordón (University of Granada, Spain) Gianni Di Caro (Dalle Molle Institute for Artificial Intelligence Research, Switzerland) Marco Dorigo (Free University of Brussels – ULB, Belgium) Austin G. Fowler (Google, USA) Michel Gendreau (Montreal Polytechnic, Canada) Debasish Ghose (Indian Institute of Science, Bangalore, India) Jin-Kao Hao (University of Angers, France) Inman Harvey (University of Sussex, UK) Wei-Chiang Hong (Nanjing Tech University, China) Amir Hussain (University of Stirling, UK) Robert John (University of Nottingham, UK) Joshua Knowles (University of Birmingham, UK) Kwong-Sak Leung (Chinese University of Hong Kong, China) Seth Lloyd (Massachusetts Institute of Technology, USA) José A. Lozano (University of the Basque Country, Spain) Vittorio Maniezzo (University of Bologna, Italy) Carlos Martín-Vide (Rovira i Virgili University, Spain, chair) Philip K. McKinley (Michigan State University, USA) Jerry M. Mendel (University of Southern California, USA) Marjan Mernik (University of Maribor, Slovenia) Radko Mesiar (Slovak University of Technology in Bratislava, Slovakia) Chrystopher Nehaniv (University of Hertfordshire, UK) Vilém Novák (University of Ostrava, Czech Republic) Linqiang Pan (Huazhong University of Science and Technology, China) Frederick E. Petry (Naval Research Laboratory, USA) Dan Ralescu (University of Cincinnati, USA) Francisco C. Santos (University of Lisbon, Portugal) Friedrich Simmel (Technical University of Munich, Germany) Andrzej Skowron (University of Warsaw, Poland) John A. Smolin (IBM Thomas J. Watson Research Center, USA) Ying Tan (Peking University, China) Guy Theraulaz (Paul Sabatier University, France) Tommaso Toffoli (Boston University, USA) Vicenç Torra (University of Skövde, Sweden) Edward Tsang (University of Essex, UK) Sergi Valverde (Pompeu Fabra University, Spain) José Luis Verdegay (University of Granada, Spain) Fernando J. Von Zuben (University of Campinas, Brazil) K. Birgitta Whaley (University of California, Berkeley, USA) Darrell Whitley (Colorado State University, USA) Xin‐She Yang (Middlesex University, UK) Hao Ying (Wayne State University, USA) Mengjie Zhang (Victoria University of Wellington, New Zealand) Zhi-Hua Zhou (Nanjing University, China)   ORGANIZING COMMITTEE:   Masayuki Fukumitsu (Ebetsu) Carlos Martín-Vide (Tarragona, co-chair) Takaaki Mizuki (Sendai, co-chair) Hideaki Sone (Sendai) Miguel A. Vega-Rodríguez (Cáceres) Florentina Lilica Voicu (Tarragona)   SUBMISSIONS:   Authors are invited to submit non-anonymized papers in English presenting original and unpublished research. Papers should not exceed 12 single-spaced pages (including eventual appendices, references, proofs, etc.) and should be prepared according to the standard format for Springer Verlag's LNCS series (see http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0).   Submissions have to be uploaded to:   https://easychair.org/conferences/?conf=tpnc2016   PUBLICATIONS:   A volume of proceedings published by Springer in the LNCS series will be available by the time of the conference.   A special issue of a major journal will be later published containing peer-reviewed substantially extended versions of some of the papers contributed to the conference. Submissions to it will be by invitation.   REGISTRATION:   The registration form can be found at:   http://grammars.grlmc.com/TPNC2016/Registration.php   DEADLINES:   Paper submission: July 26, 2016 (23:59h, CET) Notification of paper acceptance or rejection: September 2, 2016 Final version of the paper for the LNCS proceedings: September 9, 2016 Early registration: September 9, 2016 Late registration: November 28, 2016 Submission to the post-conference journal special issue: March 14, 2017   QUESTIONS AND FURTHER INFORMATION:   florentinalilica.voicu (at) urv.cat   POSTAL ADDRESS:   TPNC 2016 Research Group on Mathematical Linguistics (GRLMC) Rovira i Virgili University Av. Catalunya, 35 43002 Tarragona, Spain   Phone: +34 977 559 543 Fax: +34 977 558 386   ACKNOWLEDGEMENTS:   Tohoku University Universitat Rovira i Virgili -------------- next part -------------- An HTML attachment was scrubbed... URL: From manuel.hermenegildo at imdea.org Sat Apr 30 17:22:43 2016 From: manuel.hermenegildo at imdea.org (Manuel Hermenegildo) Date: Sat, 30 Apr 2016 17:22:43 +0200 Subject: [fg-arc] LOPSTR 2016 Call for Papers Message-ID: <22308.52675.297704.121198@dhcp-17-8.imdea> ====================================================================== LOPSTR 2016: 1st Call for Papers ====================================================================== 26th International Symposium on Logic-Based Program Synthesis and Transformation LOPSTR 2016 http://cliplab.org/Conferences/LOPSTR16/ Edinburgh, UK, September 6-8, 2016 (co-located with PPDP 2016 and SAS 2016) ====================================================================== DEADLINES: Abstract submission: June 7, 2016 Paper/Extended abstract submission: June 14, 2016 ====================================================================== The aim of the LOPSTR series is to stimulate and promote international research and collaboration on logic-based program development. LOPSTR is open to contributions in logic-based program development in any language paradigm. LOPSTR has a reputation for being a lively, friendly forum for presenting and discussing work in progress. Formal proceedings are produced only after the symposium so that authors can incorporate this feedback in the published papers. The 26th International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR 2016) will be held at the University of Edinburgh, Edinburgh, UK; previous symposia were held in Siena, Canterbury, Madrid, Leuven, Odense, Hagenberg, Coimbra, Valencia, Lyngby, Venice, London, Verona, Uppsala, Madrid, Paphos, London, Venice, Manchester, Leuven, Stockholm, Arnhem, Pisa, Louvain-la-Neuve, and Manchester. LOPSTR 2016 will be co-located with PPDP 2016 (International Symposium on Principles and Practice of Declarative Programming) and SAS 2016 (Static Analysis Symposium). Topics of interest cover all aspects of logic-based program development, all stages of the software life cycle, and issues of both programming-in-the-small and programming-in-the-large. Both full papers and extended abstracts describing applications in these areas are especially welcome. Contributions are welcome on all aspects of logic-based program development, including, but not limited to: * synthesis * transformation * specialization * composition * optimization * inversion * specification * analysis and verification * testing and certification * program and model manipulation * transformational techniques in SE * applications and tools Survey papers that present some aspects of the above topics from a new perspective, and application papers that describe experience with industrial applications are also welcome. Papers must describe original work, be written and presented in English, and must not substantially overlap with papers that have been published or that are simultaneously submitted to a journal, conference, or workshop with refereed proceedings. Work that already appeared in unpublished or informally published workshop proceedings may be submitted (please contact the PC chair in case of questions). Important Dates Abstract submission: June 7, 2016 Paper/Extended abstract submission: June 14, 2016 Notification: August 3, 2016 Camera-ready (for electronic pre-proceedings): August 19, 2016 Symposium: September 6-8, 2016 Submission Guidelines Authors should submit an electronic copy of the paper (written in English) in PDF, formatted in the Lecture Notes in Computer Science style. Each submission must include on its first page the paper title; authors and their affiliations; contact author's email; abstract; and three to four keywords which will be used to assist the PC in selecting appropriate reviewers for the paper. Page numbers (and, if possible, line numbers) should appear on the manuscript to help the reviewers in writing their report. Submissions cannot exceed 15 pages including references but excluding well-marked appendices not intended for publication. Reviewers are not required to read the appendices, and thus papers should be intelligible without them. Papers should be submitted via the Easychair submission website for LOPSTR 2016: http://www.easychair.org/conferences/?conf=lopstr2016 (can be accessed also through the LOPSTR 2016 web site). Proceedings The formal post-conference proceedings will be published by Springer in the Lecture Notes in Computer Science series. Full papers can be directly accepted for publication in the formal proceedings, or accepted only for presentation at the symposium and inclusion in informal proceedings. After the symposium, all authors of extended abstracts and full papers accepted only for presentation will be invited to revise and/or extend their submissions in the light of the feedback solicited at the symposium. Then, after another round of reviewing, these revised papers may also be published in the formal proceedings. Program Committee Slim Abdennadher, German University of Cairo, Egypt Maria Alpuente, Universitat Politecnica de Valencia, Spain Sergio Antoy, Portland State University, USA Michael Codish, Ben-Gurion University of the Negev, Israel Jerome Feret, CNRS/ENS/INRIA Paris, France. Fabio Fioravanti, University of Chieti - Pescara, Italy. Maurizio Gabbrielli, University of Bologna, Italy Maria Garcia de la Banda, Monash University, Australia Robert Glueck, University of Copenhagen, Denmark. Miguel Gomez-Zamalloa, Complutense University of Madrid, Spain Gopal Gupta, University of Texas at Dallas, USA Patricia Hill, Univ. of Leeds, UK Jacob Howe, City University London, UK Viktor Kuncak , EPFL Lausanne, Switzerland Michael Leuschel, University of Duesseldorf, Germany Heiko Mantel TU Darmstadt, Germany Jorge A. Navas, NASA, USA Naoki Nishida, Nagoya University, Japan Catuscia Palamidessi, INRIA Saclay and LIX, France C.R. Ramakrishnan, SUNY Stony Brook, USA Vitor Santos Costa, Universidade do Porto, Portugal Hirohisa Seki, Nagoya Institute of Technology, Japan Peter Schneider-Kamp, University of Southern Denmark, Denmark Program Chairs Manuel Hermenegildo, IMDEA Software Institute and T.U. Madrid (UPM) Pedro Lopez-Garcia, IMDEA Software Institute and CSIC Organizing Committee James Cheney (University of Edinburgh, Local Organizer) Moreno Falaschi (University of Siena, Italy) ----------------------------------------------------------------------------- From manuel.hermenegildo at imdea.org Sat Apr 30 19:11:03 2016 From: manuel.hermenegildo at imdea.org (Manuel Hermenegildo) Date: Sat, 30 Apr 2016 19:11:03 +0200 Subject: [fg-arc] LOPSTR 2016 Call for Papers Message-ID: <22308.59175.436281.73217@dhcp-17-8.imdea> ====================================================================== LOPSTR 2016: 1st Call for Papers ====================================================================== 26th International Symposium on Logic-Based Program Synthesis and Transformation LOPSTR 2016 http://cliplab.org/Conferences/LOPSTR16/ Edinburgh, UK, September 6-8, 2016 (co-located with PPDP 2016 and SAS 2016) ====================================================================== DEADLINES: Abstract submission: June 7, 2016 Paper/Extended abstract submission: June 14, 2016 ====================================================================== The aim of the LOPSTR series is to stimulate and promote international research and collaboration on logic-based program development. LOPSTR is open to contributions in logic-based program development in any language paradigm. LOPSTR has a reputation for being a lively, friendly forum for presenting and discussing work in progress. Formal proceedings are produced only after the symposium so that authors can incorporate this feedback in the published papers. The 26th International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR 2016) will be held at the University of Edinburgh, Edinburgh, UK; previous symposia were held in Siena, Canterbury, Madrid, Leuven, Odense, Hagenberg, Coimbra, Valencia, Lyngby, Venice, London, Verona, Uppsala, Madrid, Paphos, London, Venice, Manchester, Leuven, Stockholm, Arnhem, Pisa, Louvain-la-Neuve, and Manchester. LOPSTR 2016 will be co-located with PPDP 2016 (International Symposium on Principles and Practice of Declarative Programming) and SAS 2016 (Static Analysis Symposium). Topics of interest cover all aspects of logic-based program development, all stages of the software life cycle, and issues of both programming-in-the-small and programming-in-the-large. Both full papers and extended abstracts describing applications in these areas are especially welcome. Contributions are welcome on all aspects of logic-based program development, including, but not limited to: * synthesis * transformation * specialization * composition * optimization * inversion * specification * analysis and verification * testing and certification * program and model manipulation * transformational techniques in SE * applications and tools Survey papers that present some aspects of the above topics from a new perspective, and application papers that describe experience with industrial applications are also welcome. Papers must describe original work, be written and presented in English, and must not substantially overlap with papers that have been published or that are simultaneously submitted to a journal, conference, or workshop with refereed proceedings. Work that already appeared in unpublished or informally published workshop proceedings may be submitted (please contact the PC chair in case of questions). Important Dates Abstract submission: June 7, 2016 Paper/Extended abstract submission: June 14, 2016 Notification: August 3, 2016 Camera-ready (for electronic pre-proceedings): August 19, 2016 Symposium: September 6-8, 2016 Submission Guidelines Authors should submit an electronic copy of the paper (written in English) in PDF, formatted in the Lecture Notes in Computer Science style. Each submission must include on its first page the paper title; authors and their affiliations; contact author's email; abstract; and three to four keywords which will be used to assist the PC in selecting appropriate reviewers for the paper. Page numbers (and, if possible, line numbers) should appear on the manuscript to help the reviewers in writing their report. Submissions cannot exceed 15 pages including references but excluding well-marked appendices not intended for publication. Reviewers are not required to read the appendices, and thus papers should be intelligible without them. Papers should be submitted via the Easychair submission website for LOPSTR 2016: http://www.easychair.org/conferences/?conf=lopstr2016 (can be accessed also through the LOPSTR 2016 web site). Proceedings The formal post-conference proceedings will be published by Springer in the Lecture Notes in Computer Science series. Full papers can be directly accepted for publication in the formal proceedings, or accepted only for presentation at the symposium and inclusion in informal proceedings. After the symposium, all authors of extended abstracts and full papers accepted only for presentation will be invited to revise and/or extend their submissions in the light of the feedback solicited at the symposium. Then, after another round of reviewing, these revised papers may also be published in the formal proceedings. Program Committee Slim Abdennadher, German University of Cairo, Egypt Maria Alpuente, Universitat Politecnica de Valencia, Spain Sergio Antoy, Portland State University, USA Michael Codish, Ben-Gurion University of the Negev, Israel Jerome Feret, CNRS/ENS/INRIA Paris, France. Fabio Fioravanti, University of Chieti - Pescara, Italy. Maurizio Gabbrielli, University of Bologna, Italy Maria Garcia de la Banda, Monash University, Australia Robert Glueck, University of Copenhagen, Denmark. Miguel Gomez-Zamalloa, Complutense University of Madrid, Spain Gopal Gupta, University of Texas at Dallas, USA Patricia Hill, Univ. of Leeds, UK Jacob Howe, City University London, UK Viktor Kuncak , EPFL Lausanne, Switzerland Michael Leuschel, University of Duesseldorf, Germany Heiko Mantel TU Darmstadt, Germany Jorge A. Navas, NASA, USA Naoki Nishida, Nagoya University, Japan Catuscia Palamidessi, INRIA Saclay and LIX, France C.R. Ramakrishnan, SUNY Stony Brook, USA Vitor Santos Costa, Universidade do Porto, Portugal Hirohisa Seki, Nagoya Institute of Technology, Japan Peter Schneider-Kamp, University of Southern Denmark, Denmark Program Chairs Manuel Hermenegildo, IMDEA Software Institute and T.U. Madrid (UPM) Pedro Lopez-Garcia, IMDEA Software Institute and CSIC Organizing Committee James Cheney (University of Edinburgh, Local Organizer) Moreno Falaschi (University of Siena, Italy) -----------------------------------------------------------------------------