From wortmann at se-rwth.de Mon Jan 7 08:55:16 2019 From: wortmann at se-rwth.de (Andreas Wortmann) Date: Mon, 7 Jan 2019 08:55:16 +0100 Subject: [fg-arc] CfP RoSE 2019 Message-ID: Call for Papers Second International Workshop on Robotics Software Engineering Co-located with ICSE 2019 May 27, 2019, Montréal, QC, Canada https://rose-workshops.github.io/rose2019/ Robotics is one of the most challenging domains for software engineering (SE). Deploying even simple applications requires integrating solutions from experts of various domains, including navigation, path planning, manipulation, human-robot interaction, etc. Integration of modules contributed by respective domain experts is one of the key challenges in engineering software-centric systems, yet only one of the cross-cutting software concerns crucial to robotics. As robots often operate in dynamic, partially observable environments additional challenges include adaptability, robustness, safety, and security. The goal of RoSE 2019 is to bring together researchers from participating domains with practitioners to identify new frontiers in robotics software engineering, discuss challenges raised by real-world applications, and transfer latest insights from research to industry. RoSE 2019 will solicit contributions from both academic and industrial participants, thus fostering active synergy between the two communities. RoSE 2019 welcomes the following types of contributions: * research papers presenting novel contributions on advancing software engineering in robotics (max. 8 pages); * challenge showcase papers describing robotics challenges considered insufficiently addressed from an industry perspective (max. 6 pages); * lessons learned papers describing lessons learned in the collaboration between the two communities of SE and robotics (max. 6 pages); * vision papers on the future of software engineering in robotics (max. 4 pages); * tool and project papers on SE in robotics (max. 4 pages). Workshop papers must follow the ICSE 2019 Format and Submission Guidelines but will use a single-blind submission process. All submitted papers will be reviewed on the basis of technical quality, relevance, significance, and clarity by the program committee. All workshop papers should be submitted electronically in PDF format through the EasyChair website at https://easychair.org/conferences/?conf=rose2019. Accepted papers will become part of the workshop proceedings. Important Dates * Submission deadline: February 01 2019 * Notification of acceptance: March 01 2019 * Camera-ready version: March 15 2019 Best wishes, Federico Ciccozzi (Mälardalen University, Sweden) Nico Hochgeschwender (Université du Luxembourg, Luxembourg) Ivano Malavolta (Vrije Universiteit Amsterdam, The Netherlands) Andreas Wortmann (RWTH Aachen University, Germany) -- ----------------------------------------------------------------------------------------------------------------- Dr. Andreas Wortmann | Software Engineering Ahornstr. 55, 52074 Aachen, Germany | RWTH Aachen University Phone +49 241 80-21343 / Fax -22218 | http://www.se-rwth.de From irdta at irdta.eu Tue Jan 8 04:49:46 2019 From: irdta at irdta.eu (IRDTA) Date: Tue, 08 Jan 2019 04:49:46 +0100 Subject: [fg-arc] AlCoB 2019: submission deadline extended to January 19 Message-ID: <545102060a010b0b0451590006025a56015107535608075055035f0207505b58065206560100510006045106050354@grlmc_ip-zone_com-6> AlCoB 2019: submission deadline extended to January 19*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line*   ------------------------------------------------------------------------------ ***** SUBMISSION DEADLINE EXTENDED: January 19 ***** ------------------------------------------------------------------------------   ********************************************************************************** 6th INTERNATIONAL CONFERENCE ON ALGORITHMS FOR COMPUTATIONAL BIOLOGY   AlCoB 2019   Berkeley, California, USA   May 28-30, 2019   Co-organized by:   University of California, Berkeley   Institute for Research Development, Training and Advice, Brussels/London   http://alcob2019.irdta.eu/ **********************************************************************************   AIMS:   AlCoB aims at promoting and displaying excellent research using string and graph algorithms and combinatorial optimization to deal with problems in biological sequence analysis, genome rearrangement, evolutionary trees, and structure prediction.   Previous events were held in Tarragona, Mexico City, Trujillo (Spain), Aveiro, and Hong Kong.   The conference will address several of the current challenges in computational biology by investigating algorithms aimed at:   1) assembling sequence reads into a complete genome, 2) identifying gene structures in the genome, 3) recognizing regulatory motifs, 4) aligning nucleotides and comparing genomes, 5) reconstructing regulatory networks of genes, and 6) inferring the evolutionary phylogeny of species.   Special focus will be put on methodology and significant room will be reserved to young scholars at the beginning of their career.   VENUE:   AlCoB 2019 will take place in Berkeley, home to the oldest campus in the highly prestigious University of California system. The venue will be:   University of California, Berkeley   SCOPE:   Topics of either theoretical or applied interest include, but are not limited to:   Sequence analysis Sequence alignment Sequence assembly Genome rearrangement Regulatory motif finding Phylogeny reconstruction Phylogeny comparison Structure prediction Compressive genomics Proteomics: molecular pathways, interaction networks, mass spectrometry analysis Transcriptomics: splicing variants, isoform inference and quantification, differential analysis Next-generation sequencing: population genomics, metagenomics, metatranscriptomics, epigenomics Genome CD architecture Microbiome analysis Cancer computational biology Systems biology   STRUCTURE:   AlCoB 2019 will consist of:   invited lectures peer-reviewed contributions posters   INVITED SPEAKERS:   Igor Jurisica (University of Toronto), Explanable AI for Data-driven Medicine   Lior Pachter (California Institute of Technology), Algorithms for Single-cell Genomics   Pavel A. Pevzner (University of California, San Diego), Bioinformatics: A Servant or the Queen of Molecular Biology?   Teresa Przytycka (National Center for Biotechnology Information), Exploring Phenotypic Heterogeneity across Tissues and Conditions with Network-based Approaches   Tandy Warnow (University of Illinois, Urbana-Champaign), Advances in Mathematical Approaches to Constructing the Tree of Life   PROGRAMME COMMITTEE:   Can Alkan (Bilkent University, TR) Stephen Altschul (National Center for Biotechnology Information, US) Philipp Bucher (Swiss Institute for Experimental Cancer Research, CH) Ken Chen (MD Anderson Cancer Center, US) Keith A. Crandall (George Washington University, US) Colin Dewey (University of Wisconsin, Madison, US) Eytan Domany (Weizmann Institute of Science, IL) Robert Edgar (independent, US) Dmitrij Frishman (Technical University of Munich, DE) Susumu Goto (Research Organization of Information and Systems, JP) Desmond Higgins (University College Dublin, IE) Karsten Hokamp (Trinity College Dublin, IE) Ian Holmes (University of California, Berkeley, US) Fereydoun Hormozdiari (University of California, Davis, US) Daniel Huson (University of Tübingen, DE) Martijn Huynen (Radboud University Medical Centre, NL) Peter Karp (SRI International, US) Kazutaka Katoh (Osaka University, JP) Anders Krogh (University of Copenhagen, DK) Doron Lancet (Weizmann Institute of Science, IL) Alla Lapidus (Saint Petersburg State University, RU) Ming Li (University of Waterloo, CA) Gerard Manning (Genentech, US) Carlos Martín-Vide (Rovira i Virgili University, ES, chair) David H. Mathews (University of Rochester Medical Center, US) Aaron McKenna (University of Washington, US) Jason Rafe Miller (Shepherd University, US) Aleksandar Milosavljevic (Baylor College of Medicine, US) Yasukazu Nakamura (National Institute of Genetics, JP) Zemin Ning (Wellcome Trust Sanger Institute, UK) William Stafford Noble (University of Washington, US) Sandra Orchard (European Bioinformatics Institute, UK) William Pearson (University of Virginia, US) Matteo Pellegrini (University of California, Los Angeles, US) Mihaela Pertea (Johns Hopkins University, US) Steve Rozen (Duke-NUS Medical School, SG) David Sankoff (University of Ottawa, CA) Russell Schwartz (Carnegie Mellon University, US) Wing-Kin Sung (National University of Singapore, SG) Alfonso Valencia (Barcelona Supercomputing Centre, ES) Arndt von Haeseler (Center for Integrative Bioinformatics Vienna, AT) Kai Wang (Children's Hospital of Philadelphia, US)   ORGANIZING COMMITTEE:   Ian Holmes (Berkeley, co-chair) Sara Morales (Brussels) Manuel Parra-Royón (Granada) David Silva (London, co-chair) Miguel A. Vega-Rodríguez (Cáceres)   SUBMISSIONS:   Authors are invited to submit non-anonymized papers in English presenting original and unpublished research. Papers should not exceed 12 single-spaced pages (all included) 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=alcob2019   PUBLICATIONS:   A volume of proceedings published by Springer in the LNCS/LNBI series will be available by the time of the conference.   A special issue of IEEE/ACM Transactions on Computational Biology and Bioinformatics (2017 JCR impact factor: 2.428) 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://alcob2019.irdta.eu/Registration.php   DEADLINES (all at 23:59 CET):   Paper submission: January 19, 2018 – EXTENDED – Notification of paper acceptance or rejection: February 19, 2019 Final version of the paper for the LNCS/LNBI proceedings: February 26, 2019 Early registration: February 26, 2019 Late registration: May 14, 2019 Submission to the journal special issue: August 30, 2019   QUESTIONS AND FURTHER INFORMATION:   david (at) irdta.eu   ACKNOWLEDGEMENTS:   University of California, Berkeley   IRDTA – Institute for Research Development, Training and Advice, Brussels/London   -------------- next part -------------- An HTML attachment was scrubbed... URL: From irdta at irdta.eu Wed Jan 2 00:53:47 2019 From: irdta at irdta.eu (IRDTA) Date: Wed, 02 Jan 2019 00:53:47 +0100 Subject: [fg-arc] BigDat 2019: regular registration January 4 Message-ID: <545102060a010b0b0457500402065a01060404035052025002565b07060607575453570f570a530301535053030504@grlmc_ip-zone_com-6> BigDat 2019: regular registration January 4*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line*   ********************************************************   5th INTERNATIONAL WINTER SCHOOL ON BIG DATA   BigDat 2019   Cambridge, United Kingdom   January 7-11, 2019   Co-organized by:   Cambridge Big Data Initiative, University of Cambridge   Institute for Research Development, Training and Advice (IRDTA) Brussels / London   http://bigdat2019.irdta.eu/   ********************************************************   --- Regular registration deadline: January 4, 2019 ---   ********************************************************   SCOPE:   BigDat 2019 will be a research training event with a global scope aiming at updating participants on the most recent advances in the critical and fast developing area of big data, which covers a large spectrum of current exciting research and industrial innovation with an extraordinary potential for a huge impact on scientific discoveries, medicine, engineering, business models, and society itself. Renowned academics and industry pioneers will lecture and share their views with the audience.   Most big data subareas will be displayed, namely foundations, infrastructure, management, search and mining, security and privacy, and applications (to biological and health sciences, to business, finance and transportation, to online social networks, etc.). Major challenges of analytics, management and storage of big data will be identified through 2 keynote lectures, 24 four-hour courses, and 1 round table, which will tackle the most active and promising topics. The organizers are convinced that outstanding speakers will attract the brightest and most motivated students. Interaction will be a main component of the event.   An open session will give participants the opportunity to present their own work in progress in 5 minutes. Moreover, there will be two special sessions with industrial and recruitment profiles.   ADDRESSED TO:   Master's students, PhD students, postdocs, and industry practitioners will be typical profiles of participants. However, there are no formal pre-requisites for attendance in terms of academic degrees. Since there will be a variety of levels, specific knowledge background may be assumed for some of the courses. Overall, BigDat 2019 is addressed to students, researchers and practitioners who want to keep themselves updated about recent developments and future trends. All will surely find it fruitful to listen and discuss with major researchers, industry leaders and innovators.   STRUCTURE:   3 courses will run in parallel during the whole event. Participants will be able to freely choose the courses they wish to attend as well as to move from one to another.   VENUE:   BigDat 2019 will take place in Cambridge, a city home of a world-renowned university. The venue will be:   University of Cambridge Department of Engineering Trumpington Street Cambridge CB2 1PZ   KEYNOTE SPEAKER:   Kenji Takeda (Director, Health and AI Partnerships, Microsoft Research), Big Data and AI - What's It Really Good for?   PROFESSORS AND COURSES:   Thomas Bäck (Leiden University), [introductory/intermediate], Data Driven Modeling and Optimization for Industrial Applications   Richard Bonneau (New York University), [introductory] Large Scale Machine Learning Methods for Integrating Protein Sequence and Structure to Predict Gene Function   Altan Cakir (Istanbul Technical University), [introductory/intermediate] Processing Big Data with Apache Spark: From Science to Industrial Applications   Jiannong Cao (Hong Kong Polytechnic University), [introductory/intermediate] Cross-domain Multi-source Big Data Fusion and Analytics   Nitesh Chawla (University of Notre Dame), [intermediate/advanced] Network Science: Representation Learning and Higher Order Networks   Nello Cristianini (University of Bristol), [introductory] The Interface between Big Data and Society   Geoffrey C. Fox (Indiana University, Bloomington), [intermediate] High Performance Big Data Computing   David Gerbing (Portland State University), [introductory] Data Visualization with R   Craig Knoblock (University of Southern California), [intermediate/advanced] Building Knowledge Graphs   Geoff McLachlan (University of Queensland), [intermediate/advanced] Applying Finite Mixture Models to Big Data   Folker Meyer (Argonne National Laboratory), [intermediate] Skyport2: A Multi Cloud Framework for Executing Scientific Workflows   Wladek Minor (University of Virginia), [introductory/advanced] Big Data in Biomedical Sciences   Soumya Mohanty (University of Texas Rio Grande Valley), [introductory/intermediate] Swarm Intelligence Methods for Statistical Regression   Sankar K. Pal (Indian Statistical Institute), [introductory/advanced] Machine Intelligence and Soft Granular Mining: Features, Applications and Challenges   Lior Rokach (Ben-Gurion University of the Negev), [introductory/advanced] Ensemble Learning   Michael Rosenblum (University of Potsdam), [introductory/intermediate] Synchronization Approach to Time Series Analysis   Hanan Samet (University of Maryland), [introductory/intermediate] Sorting in Space: Multidimensional, Spatial, and Metric Data Structures for Applications in Spatial and Spatio-textual Databases, Geographic Information Systems (GIS), and Location-based Services   Rory Smith (Monash University), [intermediate/advanced] Statistical Inference: Optimal Methods for Learning from Signals in Noise   Jaideep Srivastava (University of Minnesota), [intermediate] Social Computing – Concepts and Applications   Mayte Suárez-Fariñas (Icahn School of Medicine at Mount Sinai), [intermediate] A Practical Guide to the Analysis of Longitudinal Data Using R   Jeffrey Ullman (Stanford University), [introductory] Big-data Algorithms That Aren't Machine Learning   Andrey Ustyuzhanin (National Research University Higher School of Economics), [intermediate/advanced] Challenge-driven Data Science: Cracking Domain Problems by Crowd Intelligence   Wil van der Aalst (RWTH Aachen University), [introductory/intermediate] Process Mining: Data Science in Action   Zhongfei Zhang (Binghamton University), [introductory/advanced] Relational and Multimedia Data Learning   OPEN SESSION   An open session will collect 5-minute voluntary presentations of work in progress by participants. They should submit a half-page abstract containing title, authors, and summary of the research to david at irdta.eu by December 30, 2018.   INDUSTRIAL SESSION:   A session will be devoted to 10-minute demonstrations of practical applications of big data in industry. Companies interested in contributing are welcome to submit a 1-page abstract containing the program of the demonstration and the logistics needed. At least one of the people participating in the demonstration must register for the event. Expressions of interest have to be submitted to david at irdta.eu by December 30, 2018.   EMPLOYER SESSION:   Firms searching for personnel well skilled in big data will have a space reserved for one-to-one contacts. It is recommended to produce a 1-page .pdf leaflet with a brief description of the company and the profiles looked for, to be circulated among the participants prior to the event. At least one of the people in charge of the search must register for the event. Expressions of interest have to be submitted to david at irdta.eu by December 30, 2018.   ORGANIZING COMMITTEE:   Chiara Paola Codebò (Genova) Sara Morales (Brussels) Manuel J. Parra-Royón (Granada) Jeffrey Salmond (Cambridge) David Silva (London, co-chair) Filippo Spiga (Cambridge, co-chair) Richard E. Turner (Cambridge)   REGISTRATION:   It has to be done at   http://bigdat2019.irdta.eu/registration/   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. During the event, participants will be free to attend the courses they wish.   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 is exhausted. It is highly recommended to register prior to the event.   FEES:   Fees comprise access to all courses and lunches. There are several early registration deadlines. Fees depend on the registration deadline.   ACCOMMODATION:   Suggestions for accommodation are available on the event website.   CERTIFICATE:   A certificate of successful participation in the event will be delivered indicating the number of hours of lectures.   QUESTIONS AND FURTHER INFORMATION:   david at irdta.eu   ACKNOWLEDGMENTS:   Cambridge Big Data Initiative, University of Cambridge   Institute for Research Development, Training and Advice (IRDTA) – Brussels/London   -------------- next part -------------- An HTML attachment was scrubbed... URL: From announce at cs.ucy.ac.cy Sat Jan 5 12:00:16 2019 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Sat, 5 Jan 2019 13:00:16 +0200 Subject: [fg-arc] 46th International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM 2020): Second Call for Track Proposals Message-ID: *** Second Call for Track Proposals *** 46th International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM 2020) Atlantica Miramare 4* Beach Hotel, Limassol, Cyprus January 20-24, 2020 http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQk0NnRoIEludGVybmF0aW9uYWwgQ29uZmVyZW5jZSBvbiBDdXJyZW50IFRyZW5kcyBpbiBUaGVvcnkgYW5kIFByYWN0aWNlIG9mIENvbXB1dGVyIFNjaWVuY2UgKFNPRlNFTSAyMDIwKTogU2Vjb25kIENhbGwgZm9yIFRyYWNrIFByb3Bvc2FscwkzMjkJTGlzdHMJMTQyCWNsaWNrCXllcwlubw==&url=http%3A%2F%2Fcyprusconferences.org%2Fsofsem2020%2F *** Submission Deadline: February 11, 2019 *** (Proceedings to be published by Springer) SOFSEM (SOFtware SEMinar) is an annual international winter conference devoted to the theory and practice of Computer Science. SOFSEM presents the latest results and developments in academic and industrial research in leading areas of Computer Science. The first SOFSEM was organized in 1974, and it was traditionally located in the Czech and Slovak Republics, before it starting moving to other European locations. In 2017 it was organised in Ireland, in 2018 in Austria and in 2019 in Slovakia. The 46th edition will be organised in the sunny Mediterranean island of Cyprus. SOFSEM consists of Invited Talks by prominent researchers, Contributed Talks selected from the submitted papers, and the Student Research Forum. The program is organized in plenary talks and parallel tracks devoted to original research in contemporary areas of Computer Science. SOFSEM has a long-standing tradition of facilitating discussions and collegial interactions and is well-known for its familiar and inspiring atmosphere and as a meeting place for active and leading computer scientists. SOFSEM is a track based conference. It features the traditional track on Foundations of Computer Science and a number of other tracks that over the years have evolved to cover and address contemporary important areas of Computer Science, such as Artificial Intelligence, Cryptography, Security, and Verification, Data Science, Knowledge Engineering, Social Computing and Human Factors, Software and Web Engineering, etc. The proceedings of SOFSEM are published in the prestigious ARCoSS (Advanced Research in Computing and Software Science) subseries of Springer's Lecture Notes in Computer Science (LNCS) series. For SOFSEM 2020, the Steering Committee is inviting proposals for organising tracks. The tracks can be of theoretical or practical nature or a combination of both. Tracks from industry are particularly welcome. The proposal should not exceed 3 pages and should include the following items: a) Title, aim and scope of the proposed track, as well as the list of topics that the proposed track will address. b) Rationale for having this track in SOFSEM, including any other similar events that the proposed track complements or differs from. c) Names, affiliations and short CVs for the chairs of the proposed track, demonstrating past relevant experience in organising such tracks or events. d) Tentative list of names of the Program Committee for the proposed track. e) A short dissemination plan for the CFP mentioning the forums where the latter will be posted. The proposals will be reviewed by the Steering Committee and the General Chairs, based on the above mentioned criteria. A proposal may be accepted as is, requested to modify its title and/or topics covered, merged with another proposed track or rejected. Upon acceptance, the track chairs will be notified of their exact duties in managing the affairs of their track. The Steering Committee reserves the right to cancel a track at any moment in time, if these responsibilities are not dealt with satisfactorily by the track chairs. Proposals should be submitted by February 11th, 2019 to the SOFSEM 2020 General Chairs, Yannis Manolopoulos (yannis.manolopoulos AT ouc.ac.cy) and George A. Papadopoulos (george AT cs.ucy.ac.cy). IMPORTANT DATES * Submission of track proposals: February 11, 2019 * Notification of proposals acceptance or rejection: February 25, 2019 * Submission of abstracts: July 29, 2019 * Submission of full papers: August 5, 2019 * Notification of acceptance for submitted papers: September 30, 2019 * Camera-Ready submission of accepted papers: October 28, 2019 * Early and author registration deadline: November 25, 2019 * Conference dates: January 20-24, 2020 ORGANISATION General Chairs Yannis Manolopoulos, Open University of Cyprus, CY George A, Papadopoulos, University of Cyprus, CY Steering Committee Barbara Catania, University of Genova, IT Miroslaw Kutylowski, Wroclaw Uni. of Technology, PL Tiziana Margaria-Steffen, University of Limerick, IE Branislav Rovan, Comenius University, Bratislava, SK Petr Saloun, Technical University of Ostrava, CZ Julius Stuller, Academy of Sciences, Prague, CZ, chair Jan van Leeuwen, Utrecht University, Utrecht, NL -------------- next part -------------- An HTML attachment was scrubbed... URL: From van.hoorn at informatik.uni-stuttgart.de Wed Jan 9 18:46:52 2019 From: van.hoorn at informatik.uni-stuttgart.de (Andre van Hoorn) Date: Wed, 9 Jan 2019 18:46:52 +0100 Subject: [fg-arc] Deadline am 17.1.2019 --- CfP for CSE/QUDOS @ ICSA 2019 (Hamburg): Int. Workshop on Quality-Aware DevOps/Continuous Software Engineering In-Reply-To: References: Message-ID: <81185794-89d6-ca57-11b4-bdd9debf6502@informatik.uni-stuttgart.de> ------------------------------------------------------------------------------------------ CALL FOR PAPERS Joint CSE/QUDOS Workshop 2019 4th Workshop on Continuous Software Engineering and 5th International Workshop on Quality-Aware DevOps Co-located with the IEEE International Conference on Software Architecture (ICSA 2019) Hamburg, Germany March 26, 2019 https://cse2019.swc-rwth.de/ - http://2019.qudos-workshop.org/ https://twitter.com/qudos_workshop ------------------------------------------------------------------------------------------ IMPORTANT DATES Submission deadline Jan 17, 2019 (AoE) Paper notification Feb 07, 2019 Camera-ready deadline Feb 21, 2019 Workshop date Mar 26, 2019 ------------------------------------------------------------------------------------------ SCOPE AND TOPICS DevOps extends the agile development principles to include the full stack of software services, from design to execution, enabling and promoting collaboration of operations, quality assurance, and development engineers throughout the entire service lifecycle. Ultimately, DevOps is a process that enables faster releases of a better product to the end user. DevOps encompasses a set of values, principles, methods, practices, and tools, to accelerate software delivery to the customer by means of infrastructure as code, continuous integration and deployment, automated testing and monitoring, or new architectural styles such as microservices. In the end all common software engineering activities, organizational forms and processes have to be questioned, adapted and extended to ensure continuous and unobstructed software development, this is the aim of continuous software engineering (CSE)research. Current software engineering research mainly deals with the development aspects of DevOps and CSE, focusing on development methods, practices, and tools, leaving the quality assurance aspects of DevOps behind. Even though development practices such as testing (at all levels) are instrumental in producing quality software, they mostly deal with the functional correctness, while quality assurance deals with a more broadly defined concept of quality, of which functional correctness is just one dimension. However, DevOps needs methods and tools that enable systematic assessment, prediction, and management of software quality in other dimensions as well, including performance, reliability, safety, survivability, or cost of ownership. The QUDOS workshop provides a forum for experts from academia and industry to present and discuss novel quality-aware methods, practices and tools for DevOps. On the other hand, the goal of the CSE workshop is to present and discuss innovative solutions, ideas and experiences in the area of continuity along the entire software engineering lifecycle hence, Continuous Software Engineering. For the first time, CSE and QUDOS join forces to foster cross-fertilization and bootstrap an even bigger, stronger community around the urgently emerging topics they are both addressing from different angles. Especially industry practitioners are invited to join this community and present challenges, solutions and lessons learned from real and complex projects. Topics of interest include, but are not limited to: * Foundations: DevOps Engineering & Quality Assurance Methodologies; integration with lifecycle management; automated tool chains; patterns & smells; * Architecture: Scalability and capacity planning; scale-out architectures; cloud-native application design; microservice-based architectures; model-driven architectures; architecture evolution and erosion * Development and Tooling: Software models and requirements in early software development phases; automatic functional and non-functional testing; languages, annotations and profiles for quality assurance; analysis, verification and prediction; optimization-based architecture design; Infrastructure-as-Code * Operation and Maintenance: Application performance monitoring; model-driven performance measurement and benchmarking; feedback-based quality assurance; capacity planning and forecasting; performance anti-pattern detection; traceability and versioning; trace and log analysis; software regression and testing; security and privacy; software health and self-healing; containerization and immutable infrastructure * Continuous X: Continuous delivery and Continuous experimentation; deployment pipelines, canary releases and partial rollouts; A/B testing; performance and scalability testing via shadow launches * Applications and Experiences: Case Studies in cloud computing, Big Data, and IoT/Edge Computing; standardization and interoperability; novel application domains, etc. * All other topics related to quality in DevOps and agile service delivery models ------------------------------------------------------------------------ ORGANIZING COMMITTEE CSE/QUDOS 2019 will be organized by the Program Committee Chairs and the Steering Committees of the CSE and QUDOS workshops series. Program Committee Chairs Damian A. Tamburri, TU/e - JADS, The Netherlands Stephan Krusche, TU Munich, Germany Andreas Steffens, RWTH Aachen University, Germany Uwe Zdun,University of Vienna, Austria Program Committee Varsha Apte, IIT Bombay, India Alberto Avritzer, eSulabSolutions, Inc., USA Jan Bosch, Chalmers U of Technology, Sweden Andreas Brunnert, RETIT, Germany Lubomír Bulej, Charles U, Czech Republic David Carrera, U Politècnica de Catalunya, Spain Jürgen Cito, U of Zurich, Switzerland Antonio Filieri, Imperial College London, UK Zhen Ming (Jack) Jiang, York U, Canada Martin Jung, develop group, Germany Thomas Kurpick, Trusted Shops, Germany Klaus-Dieter Lange, HPE, USA Zoltán Adam Mann, U Duisburg-Essen, Germany Claus Pahl, Free U of Bozen-Bolzano, Italy Cesare Pautasso, U of Lugano, Switzerland Dorina Petriu, Carleton U, Canada Meikel Poess, Oracle, USA Weiyi (Ian) Shang, Concordia U, Canada Josef Spillner, ZHAW Winterthur, Switzerland Asser Tantawi, IBM Research, USA Matthias Tichy, U Ulm, Germany Petr Tůma, Charles U, Czech Republic Christian Uhl, codecentric AG, Germany Stefan Wagner, U Stuttgart, Germany Ingo Weber, NICTA, Australia CSE Steering Committee Stephan Krusche, TU München, Germany Horst Lichter, RWTH Aachen University, Germany Dirk Riehle, FAU Nürnberg, Germany Andreas Steffens, RWTH Aachen University, Germany QUDOS Steering Committee Danilo Ardagna, Politecnico di Milano, Italy Giuliano Casale, Imperial College London, UK Andre van Hoorn, University of Stuttgart, Germany Philipp Leitner, Chalmers | University of Gothenburg, Sweden ------------------------------------------------------------------------ SUBMISSION GUIDELINES Authors are invited to submit original, unpublished papers that are not being considered in another forum. We solicit full papers (max 7 pages),short papers (max 4 pages), and industry abstracts (max 2 pages). All submissions must conform to the IEEE conference format. Each full paper submission will be reviewed by at least three members of the program committee. Papers should be submitted via EasyChair at: https://easychair.org/conferences/?conf=csequdos2019 At least one author of each accepted paper is required to attend the workshop and present the paper. Presented papers will be published by IEEE and included in the IEEE Digital Library. ------------------------------------------------------------------------ ORGANIZATION AND SUPPORT The Joint CSE/QUDOS Workshop 2019 is organized and technically sponsored by the Research Group (RG) and the DevOps Performance Working Group of the Standard Performance Evaluation Corporation (SPEC RG, http://research.spec.org), and by the consortium of the EU project RADON. The workshop is also supported by IFIP Working Group on Service Oriented Systems (http://ifip-wg-sos.deib.polimi.it/) DFG Priority Programme 1593 (SPP 1593) "Design For Future - Managed Software Evolution" (http://www.dfg-spp1593.de/), funded by the German Research Foundation (DFG).  GI Working Group Microservices and DevOps (https://ak-msdo.gi.de/) -- Dr.-Ing. André van Hoorn University of Stuttgart, Inst. of Software Technology Reliable Software Systems Group Universitätsstraße 38, D-70569 Stuttgart, Germany Room: 1.332 Phone: +49 (0)711 685-88-252, Fax: -472 E-Mail: van.hoorn at informatik.uni-stuttgart.de https://www.iste.uni-stuttgart.de/institute/team/van-Hoorn/ http://kieker-monitoring.net/, http://research.spec.org/ == Calls for Contributions: *CSE/QUDOS* 2019: Joint 4th Workshop on Continuous Software Engineering and 5th International Workshop on Quality-Aware DevOps (Co-located with ICSA 2019 in Hamburg, Germany) Paper deadline: Jan 17, 2019 http://2019.qudos-workshop.org/ == From s.p.luttik at TUE.nl Thu Jan 10 09:53:10 2019 From: s.p.luttik at TUE.nl (Luttik, S.P.) Date: Thu, 10 Jan 2019 08:53:10 +0000 Subject: [fg-arc] CONCUR 2019: Call for Workshop Proposals In-Reply-To: References: Message-ID: <55E8A647-B56D-4A45-9595-20E9961D1163@tue.nl> * *CONCUR 2019* * THE 30TH INTERNATIONAL CONFERENCE ON CONCURRENCY THEORY August 26-31, 2019, Amsterdam, The Netherlands (https://event.cwi.nl/concur2019/) CALL FOR AFFILIATED WORKSHOPS The 30th Conference on Concurrency Theory (CONCUR 2019) will be held from August 26 until August 31, 2019 in Amsterdam, The Netherlands. It will be co-located with the 17th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS 2019). Researchers and practitioners are invited to submit proposals for workshops to be affiliated to CONCUR 2019, on topics related to concurrency theory and its applications. Example topics include: semantics, logics, verification techniques for concurrent systems, cross-fertilization between industry and academia and opportunities for young and prospective researchers. Past CONCUR conferences have been accompanied by successful workshops on a variety of topics, such as formal and foundational methods, models of systems (biological, timed), security issues, semantical issues, and verification methods. You can have an idea of the past workshops by browsing the pages of the past editions of CONCUR. The purpose of the workshops is to provide participants with a friendly, interactive atmosphere for presenting novel ideas and discussing their application. The workshops take place on Monday August 26, 2019 and Saturday August 31, 2019. Proposals should include: * The name and the preferred date of the proposed workshop (August 26 or 31, 2019) * A short description of the workshop (500 words max) * If applicable, a description of past versions of the workshop, including dates, organisers, submission and acceptance counts, and attendance * The expected number of participants * The name and short CV of the organiser(s) * The publication plan (only invited speakers, no published proceedings, pre-/post-proceedings published with EPTCS/ENTCS/...). The CONCUR organisation offers: * a link from the CONCUR web site; * setup of meeting space, and related equipment, * coffee-breaks and lunch for the participants on the day of the workshop, * on-line and on-site registration to the workshop, * free workshop registrations for an invited speaker and one or two organisers. The main responsibility for organising the workshop goes to the workshop organiser(s), including: * workshop publicity (possibly including call for papers, submission and review process) * scheduling workshop activities in collaboration with the CONCUR workshop chair. IMPORTANT DATES Submission of workshop proposals: February 1, 2019 (but we greatly appreciate if you announce your proposal to us as soon as possible). Notification: February 15, 2019 SUBMISSION TO: Bas Luttik (s.p.luttik at tue.nl) For more information, please contact me via email (s.p.luttik at tue.nl). The CONCUR 2019 workshop chair, Bas Luttik https://www.win.tue.nl/~luttik Eindhoven University of Technology -------------- next part -------------- An HTML attachment was scrubbed... URL: From nevrenato at gmail.com Thu Jan 10 09:42:26 2019 From: nevrenato at gmail.com (Renato Neves) Date: Thu, 10 Jan 2019 08:42:26 +0000 Subject: [fg-arc] FM'19: Second Call for Papers Message-ID: <20190110084226.GA26095@localhost.localdomain> ================================================================================================== Second Call for Papers FM 2019 - 23rd International Symposium on Formal Methods - 3rd World Congress on Formal Methods Porto, Portugal, October 7-11, 2019 http://formalmethods2019.inesctec.pt/ ================================================================================================== NEW: announcement of three invited speakers and confirmation of two special issues !!! ================================================================================================== FM 2019 is the 23rd international symposium in a series organised by Formal Methods Europe (FME), an independent association whose aim is to stimulate the use of, and research on, formal methods for software development. Every 10 years the symposium is organised as a World Congress. Twenty years after FM 1999 in Toulouse, and 10 years after FM 2009 in Eindhoven, FM 2019 is the 3rd World Congress on Formal Methods. This is reflected in a PC with members from over 40 countries. Thus, FM 2019 will be both an occasion to celebrate and a platform for enthusiastic researchers and practitioners from a diversity of backgrounds to exchange their ideas and share their experience. FORMAL METHODS: THE NEXT 30 YEARS It is now more than 30 years since the first VDM symposium in 1987 brought together researchers with the common goal of creating methods to produce high quality software based on rigour and reason. Since then the diversity and complexity of computer technology has changed enormously and the formal methods community has stepped up to the challenges those changes brought by adapting, generalising and improving the models and analysis techniques that were the focus of that first symposium. The theme for FM 2019 is a reflection on how far the community has come and the lessons we can learn for understanding and developing the best software for future technologies. Important Dates ================ Abstract submission: 28 March, 2019 Full paper submission: 11 April, 2019, 23:59 AoE Notification: 11 June, 2019 Camera ready: 9 July, 2019 Conference: 7-11 October, 2019 Invited Speakers ================= - June Andronick (CSIRO/Data61 and UNSW, Sydney, Australia) - Shriram Krishnamurthi (Brown University, Providence, RI, USA) - Erik Poll (Radboud University, Nijmegen, The Netherlands) Topics of Interest ====================== FM 2019 encourages submissions on formal methods in a wide range of domains including software, computer-based systems, systems-of-systems, cyber-physical systems, human-computer interaction, manufacturing, sustainability, energy, transport, smart cities, and healthcare. We particularly welcome papers on techniques, tools and experiences in interdisciplinary settings. We also welcome papers on experiences of formal methods in industry, and on the design and validation of formal methods tools. The broad topics of interest for FM 2019 include, but are not limited to: - Interdisciplinary formal methods: Techniques, tools and experiences demonstrating the use of formal methods in interdisciplinary settings. - Formal methods in practice: Industrial applications of formal methods, experience with formal methods in industry, tool usage reports, experiments with challenge problems. The authors are encouraged to explain how formal methods overcame problems, led to improved designs, or provided new insights. - Tools for formal methods: Advances in automated verification, model checking, and testing with formal methods, tools integration, environments for formal methods, and experimental validation of tools. The authors are encouraged to demonstrate empirically that the new tool or environment advances the state of the art. - Formal methods in software and systems engineering: Development processes with formal methods, usage guidelines for formal methods, and method integration. The authors are encouraged to evaluate process innovations with respect to qualitative or quantitative improvements. Empirical studies and evaluations are also solicited. - Theoretical foundations of formal methods: All aspects of theory related to specification, verification, refinement, and static and dynamic analysis. The authors are encouraged to explain how their results contribute to the solution of practical problems with formal methods or tools. Submission Guidelines ======================= Papers should be original work, not published or submitted elsewhere, in Springer LNCS format, written in English, submitted through EasyChair: https://easychair.org/conferences/?conf=fm2019 Each paper will be evaluated by at least three members of the Programme Committee. Authors of papers reporting experimental work are strongly encouraged to make their experimental results available for use by the reviewers. Similarly, case study papers should describe significant case studies, and the complete development should be made available at the time of review. The usual criteria for novelty, reproducibility, correctness and the ability for others to build upon the described work apply. Tool papers should explain enhancements made compared to previously published work. A tool paper need not present the theory behind the tool but should focus on the tool's features, how it is used, its evaluation, and examples and screen shots illustrating the tool's use. Authors of tool papers should make their tool available for use by the reviewers. We solicit two categories of papers: - Regular Papers should not exceed 15 pages, not counting references and appendices. - Short papers, including tool papers, should not exceed 6 pages, not counting references and appendices. Besides tool papers, short papers are encouraged for any topic that can be described within the page limit, and in particular for novel ideas without an extensive experimental evaluation. Short papers will be accompanied by short presentations. For regular and tool papers, an appendix can provide additional material such as details on proofs or experiments. The appendix is not part of the page count and not guaranteed to be read or taken into account by the reviewers. It should not contain information necessary to the understanding and the evaluation of the presented work. Papers will be accepted or rejected in the category in which they were submitted. At least one author of an accepted paper is expected to present the paper at the conference as a registered participant. Best Paper Award ================= At the conference, the PC Chairs will present an award to the authors of the submission selected as the FM 2019 Best Paper. Publication ============ Accepted papers will be published in the Symposium Proceedings to appear in Springer's Lecture Notes in Computer Science in the subline on Formal Methods. Authors of selected papers will be invited to submit an extended version of their paper to one of the special issues in "Formal Aspects of Computing" and "Formal Methods in System Design". General Chair ============== José Nuno Oliveira, INESC TEC & University of Minho, PT Program Committee Chairs ========================= Maurice ter Beek, ISTI-CNR, Pisa, IT Annabelle McIver, Macquarie University, Sydney, AU Program Committee ================== Bernhard Aichernig, TU Graz, AT Elvira Albert, Complutense University of Madrid, ES María Alpuente, Polytechnic University of Valencia, ES Dalal Alrajeh, Imperial College, UK Mário S. Alvim, Federal University of Minas Gerais, BR June Andronick, CSIRO/Data61, AU Christel Baier, TU Dresden, DE Luís Barbosa, University of Minho and UN University, PT Gilles Barthe, IMDEA Software Institute, ES Marcello Bersani, Polytechnic University of Milan, IT Gustavo Betarte, Tilsor SA and University of the Republic, UY Nikolaj Bjørner, Microsoft Research, US Frank de Boer, CWI, NL Sergiy Bogomolov, Australian National University, AU Julien Brunel, ONERA, FR Néstor Cataño, Pontifical Xavierian University of Cali, CO Ana Cavalcanti, University of York, UK Antonio Cerone, Nazarbayev University, KZ Marsha Chechik, University of Toronto, CA David Chemouil, ONERA, FR Alessandro Cimatti, FBK-IRST, IT Alcino Cunha, University of Minho, PT Michael Dierkes, Rockwell Collins, FR Alessandro Fantechi, University of Florence, IT Carla Ferreira, New University of Lisbon, PT João Ferreira, Teesside University, UK José Fiadeiro, Royal Holloway University of London, UK Marcelo Frias, Buenos Aires Institute of Technology, AR Fatemeh Ghassemi, University of Tehran, IR Silvia Ghilezan, University of Novi Sad, RS Stefania Gnesi, ISTI-CNR, IT Reiner Hähnle, TU Darmstadt, DE Osman Hasan, National University of Sciences and Technology, PK Klaus Havelund, NASA Jet Propulsion Laboratory, US Anne Haxthausen, TU Denmark, DK Ian Hayes, University of Queensland, AU Constance Heitmeyer, Naval Research Laboratory, US Jane Hillston, University of Edinburgh, UK Thai Son Hoang, University of Southampton, UK Zhenjiang Hu, National Institute of Informatics, JP Dang Van Hung, Vietnam National University, VN Atsushi Igarashi, Kyoto University, JP Suman Jana, Columbia University, US Ali Jaoua, Qatar University, QA Einar Broch Johnson, University of Oslo, NO Joost-Pieter Katoen, RWTH Aachen University, DE Laura Kovács, TU Vienna, AT Axel Legay, KU Leuven, BE Alberto Lluch Lafuente, TU Denmark, DK Malte Lochau, TU Darmstadt, DE Michele Loreti, University of Camerino, IT Gabriele Lenzini, University of Luxembourg, LU Yang Liu, Nanyang Technical University, SG Anastasia Mavridou, NASA Ames, US Hernán Melgratti, University of Buenos Aires, AR Sun Meng, Peking University, CN Dominique Méry, LORIA and University of Lorraine, FR Rosemary Monahan, Maynooth University, IE Olfa Mosbahi, University of Carthage, TN Mohammad Mousavi, University of Leicester, UK César Muñoz, NASA Langley, US Tim Nelson, Brown University, US Gethin Norman, University of Glasgow, UK Colin O'Halloran, D-RisQ Software Systems, UK Federico Olmedo, University of Chile, CL Gordon Pace, University of Malta, MT Jan Peleska, University of Bremen, DE Marielle Petit-Doche, Systerel, FR Alexandre Petrenko, Computer Research Institute of Montréal, CA Anna Philippou, University of Cyprus, CY Jorge Sousa Pinto, University of Minho, PT André Platzer, Carnegie Mellon University, US Jaco van de Pol, Aarhus University, DK Tahiry Rabehaja, Macquarie University, AU Steve Reeves, University of Waikato, NZ Matteo Rossi, Polytechnic University of Milan, IT Augusto Sampaio, Federal University of Pernambuco, BR Gerardo Schneider, Chalmers University of Gothenburg, SE Daniel Schwartz-Narbonne, Amazon Web Services, US Natasha Sharygina, University of Lugano, CH Nikolay Shilov, Innopolis University, RU Ana Sokolova, University of Salzburg, AT Marielle Stoelinga, University of Twente, NL Jun Sun, Singapore University of Technology and Design, SG Helen Treharne, University of Surrey, UK Elena Troubitsyna, Åbo Akademi University, FI Tarmo Uustalu, Reykjavik University, IS Andrea Vandin, TU Denmark, DK R. Venkatesh, TCS Research, IN Erik de Vink, TU Eindhoven and CWI, NL Willem Visser, Stellenbosch University, ZA Farn Wang, National Taiwan University, TW Bruce Watson, Stellenbosch University, ZA Tim Willemse, TU Eindhoven, NL Kirsten Winter, University of Queensland, AU Jim Woodcock, University of York, UK Lijun Zhang, Chinese Academy of Sciences, CN Publicity Chair ================ Luís Soares Barbosa, INESC TEC & University of Minho, PT Organizing Committee ===================== José Creissac Campos, INESC TEC & University of Minho, PT João Pascoal Faria, INESC TEC and University of Porto, PT Sara Fernandes, University of Minho & INESC TEC, PT Luís Neves, Critical Software, PT Local Arrangements =================== Catarina Fernandes, INESC TEC & University of Minho, PT Paula Rodrigues, INESC TEC, PT Web Team ========= Francisco Neves, INESC TEC & University of Minho, PT Rogério Pontes, INESC TEC & University of Minho, PT Paula Rodrigues, INESC TEC, PT From jose.campos at di.uminho.pt Fri Jan 11 11:33:15 2019 From: jose.campos at di.uminho.pt (=?utf-8?Q?Jos=C3=A9_Creissac_Campos?=) Date: Fri, 11 Jan 2019 10:33:15 +0000 Subject: [fg-arc] [CFP] FMIS 2019: 8th Formal Methods for Interactive Systems workshop Message-ID: [Apologies for cross-posting] CALL FOR PAPERS FMIS 2019: 8th Formal Methods for Interactive Systems workshop (co-located with FM 2019 - Porto, Portugal, October 7, 2019) sites.google.com/view/fmis2019 Reducing the risk of human error in the use of interactive systems is increasingly recognised as a key objective in contexts where safety, security, financial or similar considerations are important. These risks are of particular concern where users are presented with novel interactive experiences through the use of ubiquitous mobile devices in complex smart environments. Formal methods are required to analyse these interactive situations. In such complex systems analysis and justification that risk is reduced may depend on both qualitative and quantitative models of the system. The aim of FMIS 2019 (The 8th International Workshop on Formal Methods for Interactive Systems) is to bring together researchers from a range of disciplines within computer science (including HCI) and other behavioural disciplines, from both academia and industry, who are interested in both formal methods and interactive system design. An aim of the workshop is to grow and sustain a network of researchers interested in the development and application of formal methods and related verification and analysis tools to HCI and usability aspects of ubiquitous systems. Topics The focus of the workshop is, though not restricted to, general design and verification methodologies, which take account of models or accounts of human behaviour Submitted papers should address issues of how formal methods can be applied to interactive system design. We also welcome papers with a focus on theory provided a link to interactive systems is made explicit. Application areas considered include but are not limited to: pervasive and ubiquitous systems, cyber-physical systems, augmented reality, scalability and resilience, mobile devices, embedded systems, safety-critical systems, high-reliability systems, shared control systems, digital libraries, eGovernment, human-robot interaction. Submissions In order to encourage participation and discussion, this workshop solicits two types of submissions - regular papers and short papers:  Regular paper submissions must be original work, and must not have been previously published, nor be under consideration for publication elsewhere. Regular paper submission must not exceed 16 pages.  Short paper submissions on recent or ongoing work on relevant topics and ideas, for timely discussion and feedback at the workshop should not exceed 6 pages.  Publication  Both accepted regular papers and short papers will be published in the participants proceedings. Revised versions of the regular papers, and of selected short papers, will be published in a volume of Springer's LNCS series dedicated to FM 2019 workshops. Additionally, a special issue of Interacting with Computers on formal methods for interactive systems is under preparation and welcomes extended versions of FMIS 2019 papers. Submission Instructions Submitted papers must follow the LNCS format (cf. Springer's LNCS site) and will be managed through EasyChair (link to be announced). Important Dates Paper Submission: June 21, 2019 Notification: July 31, 2019 Camera Ready: September 2, 2019 Workshop: October 7, 2019 Submission of paper revision for LNCS publication: November 11, 2019 (tentative) Contact All questions about submissions should be emailed to fmis2019 at easychair dot org -- José Creissac Campos Dept. Informática/Universidade do Minho & HASLab/INESC TEC http://www.di.uminho.pt/~jfc 3rd World Congress on Formal Methods (FM 2019)  | FMIS 2019 -------------- next part -------------- An HTML attachment was scrubbed... URL: From sefm2019 at gmail.com Tue Jan 15 19:07:37 2019 From: sefm2019 at gmail.com (Publicity Chair) Date: Tue, 15 Jan 2019 19:07:37 +0100 Subject: [fg-arc] SEFM 2019 - First Call for Papers Message-ID: -------------------------------------------------------------------- First Call for Papers SEFM 2019 17th International Conference on Software Engineering and Formal Methods Oslo, Norway, September 16-20, 2019 http://sefm2019.inria.fr Twitter: @SEFM_conf --------------------------------------------------------------------- IMPORTANT DATES Abstract submission deadline: May 3, 2019 (AoE) Paper submission deadline: May 10, 2019 (AoE) Notification: June 25, 2019 Conference: September 16-20, 2019 OVERVIEW AND SCOPE SEFM aims to bring together leading researchers and practitioners from academia, industry, and government, to advance the state of the art in formal methods, to facilitate their uptake in the software industry, and to encourage their integration within practical software engineering methods and tools. Topics of interest include, but are not limited to, the following aspects of software engineering and formal methods: # Software Development Methods - Formal modeling, specification, and design - Software evolution, maintenance, re-engineering, and reuse # Design Principles - Programming languages - Domain-specific languages - Type theory - Abstraction and refinement # Software Testing, Validation, and Verification - Model checking, theorem proving, and decision procedures - Testing and runtime verification - Statistical and probabilistic analysis - Synthesis - Performance estimation and analysis of other non-functional properties - Other light-weight and scalable formal methods # Security and Safety - Security, privacy, and trust - Safety-critical, fault-tolerant, and secure systems - Software certification # Applications and Technology Transfer - Service-oriented and cloud computing systems, Internet of Things - Component, object, multi-agent and self-adaptive systems - Real-time, hybrid, and cyber-physical systems - Intelligent systems and machine learning - HCI, interactive systems, and human error analysis - Education # Case studies, best practices, and experience reports PAPER SUBMISSION We solicit two categories of papers: - Regular papers describing original research results, case studies, or surveys. Regular papers should not exceed 15 pages, excluding bibliography. - Tool papers that describe an operational tool and its contributions. Tool papers should not exceed 6 pages (including bibliography) and should include the URL of the tool. All submissions must be original, unpublished, and not submitted concurrently for publication elsewhere. Paper submission is done via EasyChair at https://easychair.org/conferences/?conf=sefm2019 Papers must be formatted according to the guidelines for Springer LNCS papers (see http://www.springer.com/lncs). PUBLICATION All accepted papers will appear in the proceedings of the conference that will be published as a volume in Springer's LNCS series. The authors of a selected subset of accepted papers will be invited to submit extended versions of their papers to special issues of the journals "Software and Systems Modeling" and "Formal Methods in System Design." PROGRAM CHAIRS Peter Csaba Ölveczky (University of Oslo, Norway) Gwen Salaün (Université Grenoble Alpes, France) PROGRAM COMMITTEE Erika Abraham (RWTH Aachen University, Germany) Cyrille Artho (KTH Royal Institute of Technology, Sweden) Kyungmin Bae (Pohang University of Science and Technology, South Korea) Olivier Barais (University of Rennes, France) Luis Barbosa (University of Minho, Portugal) Dirk Beyer (LMU Munich, Germany) Roberto Bruni (University of Pisa, Italy) Ana Cavalcanti (University of York, UK) Alessandro Cimatti (FBK-irst, Italy) Robert Clariso (Open University of Catalonia, Spain) Rocco De Nicola (IMT School for Advanced Studies Lucca, Italy) John Derrick (Unversity of Sheffield, UK) José Luiz Fiadeiro (Royal Holloway, University of London, UK) Osman Hasan (National University of Sciences & Technology, Pakistan) Klaus Havelund (Jet Propulsion Laboratory, US) Reiko Heckel (University of Leicester, UK) Marieke Huisman (University of Twente, The Netherlands) Alexander Knapp (Augsburg University, Germany) Nikolai Kosmatov (CEA LIST, France) Frederic Mallet (Université Nice Sophia Antipolis, France) Tiziana Margaria (Lero, Ireland) Hernan Melgratti (University of Buenos Aires, Argentina) Madhavan Mukund (Chennai Mathematical Institute, India) Marc Pantel (IRIT/INPT, Université de Toulouse, France) Anna Philippou (University of Cyprus) Grigore Rosu (University of Illinois, US) Augusto Sampaio (Federal university of Pernambuco, Brazil) Cesar Sanchez (IMDEA Software Institute, Spain) Ina Schaefer (Technische Universität Braunschweig, Germany) Graeme Smith (The University of Queensland, Australia) Jun Sun (Singapore University of Technology and Design) Maurice H. Ter Beek (ISTI-CNR, Pisa, Italy) Antonio Vallecillo (University of Malaga, Spain) Daniel Varro (Budapest University of Technology and Economics, Hungary & McGill University, Canada) Heike Wehrheim (University of Paderborn, Germany) Franz Wotawa (University of Graz, Austria) -------------- next part -------------- An HTML attachment was scrubbed... URL: From van.hoorn at informatik.uni-stuttgart.de Fri Jan 18 10:55:18 2019 From: van.hoorn at informatik.uni-stuttgart.de (Andre van Hoorn) Date: Fri, 18 Jan 2019 09:55:18 +0000 Subject: [fg-arc] =?utf-8?q?Deadline_verl=C3=A4ngert_bis_24=2E1=2E2019_--?= =?utf-8?q?-_CfP_for_CSE/QUDOS_=40_ICSA_2019_=28Hamburg=29=3A_Int=2E_Works?= =?utf-8?q?hop_on_Quality-Aware_DevOps/Continuous_Software_Engineering?= In-Reply-To: References: Message-ID: <0a648dc4-f72a-65e1-3ea1-4dce3409b61d@informatik.uni-stuttgart.de> ------------------------------------------------------------------------------------------ CALL FOR PAPERS Joint CSE/QUDOS Workshop 2019 4th Workshop on Continuous Software Engineering and 5th International Workshop on Quality-Aware DevOps Co-located with the IEEE International Conference on Software Architecture (ICSA 2019) Hamburg, Germany March 26, 2019 https://cse2019.swc-rwth.de/ - http://2019.qudos-workshop.org/ https://twitter.com/qudos_workshop ------------------------------------------------------------------------------------------ IMPORTANT DATES Submission deadline Jan 17, 2019 (AoE), extended to Jan 24, 2019 (AoE) Paper notification Feb 07, 2019 Camera-ready deadline Feb 21, 2019 Workshop date Mar 26, 2019 ------------------------------------------------------------------------------------------ SCOPE AND TOPICS DevOps extends the agile development principles to include the full stack of software services, from design to execution, enabling and promoting collaboration of operations, quality assurance, and development engineers throughout the entire service lifecycle. Ultimately, DevOps is a process that enables faster releases of a better product to the end user. DevOps encompasses a set of values, principles, methods, practices, and tools, to accelerate software delivery to the customer by means of infrastructure as code, continuous integration and deployment, automated testing and monitoring, or new architectural styles such as microservices. In the end all common software engineering activities, organizational forms and processes have to be questioned, adapted and extended to ensure continuous and unobstructed software development, this is the aim of continuous software engineering (CSE)research. Current software engineering research mainly deals with the development aspects of DevOps and CSE, focusing on development methods, practices, and tools, leaving the quality assurance aspects of DevOps behind. Even though development practices such as testing (at all levels) are instrumental in producing quality software, they mostly deal with the functional correctness, while quality assurance deals with a more broadly defined concept of quality, of which functional correctness is just one dimension. However, DevOps needs methods and tools that enable systematic assessment, prediction, and management of software quality in other dimensions as well, including performance, reliability, safety, survivability, or cost of ownership. The QUDOS workshop provides a forum for experts from academia and industry to present and discuss novel quality-aware methods, practices and tools for DevOps. On the other hand, the goal of the CSE workshop is to present and discuss innovative solutions, ideas and experiences in the area of continuity along the entire software engineering lifecycle hence, Continuous Software Engineering. For the first time, CSE and QUDOS join forces to foster cross-fertilization and bootstrap an even bigger, stronger community around the urgently emerging topics they are both addressing from different angles. Especially industry practitioners are invited to join this community and present challenges, solutions and lessons learned from real and complex projects. Topics of interest include, but are not limited to: * Foundations: DevOps Engineering & Quality Assurance Methodologies; integration with lifecycle management; automated tool chains; patterns & smells; * Architecture: Scalability and capacity planning; scale-out architectures; cloud-native application design; microservice-based architectures; model-driven architectures; architecture evolution and erosion * Development and Tooling: Software models and requirements in early software development phases; automatic functional and non-functional testing; languages, annotations and profiles for quality assurance; analysis, verification and prediction; optimization-based architecture design; Infrastructure-as-Code * Operation and Maintenance: Application performance monitoring; model-driven performance measurement and benchmarking; feedback-based quality assurance; capacity planning and forecasting; performance anti-pattern detection; traceability and versioning; trace and log analysis; software regression and testing; security and privacy; software health and self-healing; containerization and immutable infrastructure * Continuous X: Continuous delivery and Continuous experimentation; deployment pipelines, canary releases and partial rollouts; A/B testing; performance and scalability testing via shadow launches * Applications and Experiences: Case Studies in cloud computing, Big Data, and IoT/Edge Computing; standardization and interoperability; novel application domains, etc. * All other topics related to quality in DevOps and agile service delivery models ------------------------------------------------------------------------ ORGANIZING COMMITTEE CSE/QUDOS 2019 will be organized by the Program Committee Chairs and the Steering Committees of the CSE and QUDOS workshops series. Program Committee Chairs Damian A. Tamburri, TU/e - JADS, The Netherlands Stephan Krusche, TU Munich, Germany Andreas Steffens, RWTH Aachen University, Germany Uwe Zdun,University of Vienna, Austria Program Committee Varsha Apte, IIT Bombay, India Alberto Avritzer, eSulabSolutions, Inc., USA Jan Bosch, Chalmers U of Technology, Sweden Andreas Brunnert, RETIT, Germany Lubomír Bulej, Charles U, Czech Republic David Carrera, U Politècnica de Catalunya, Spain Jürgen Cito, U of Zurich, Switzerland Antonio Filieri, Imperial College London, UK Zhen Ming (Jack) Jiang, York U, Canada Martin Jung, develop group, Germany Thomas Kurpick, Trusted Shops, Germany Klaus-Dieter Lange, HPE, USA Zoltán Adam Mann, U Duisburg-Essen, Germany Claus Pahl, Free U of Bozen-Bolzano, Italy Cesare Pautasso, U of Lugano, Switzerland Dorina Petriu, Carleton U, Canada Meikel Poess, Oracle, USA Weiyi (Ian) Shang, Concordia U, Canada Josef Spillner, ZHAW Winterthur, Switzerland Asser Tantawi, IBM Research, USA Matthias Tichy, U Ulm, Germany Petr Tůma, Charles U, Czech Republic Christian Uhl, codecentric AG, Germany Stefan Wagner, U Stuttgart, Germany Ingo Weber, NICTA, Australia CSE Steering Committee Stephan Krusche, TU München, Germany Horst Lichter, RWTH Aachen University, Germany Dirk Riehle, FAU Nürnberg, Germany Andreas Steffens, RWTH Aachen University, Germany QUDOS Steering Committee Danilo Ardagna, Politecnico di Milano, Italy Giuliano Casale, Imperial College London, UK Andre van Hoorn, University of Stuttgart, Germany Philipp Leitner, Chalmers | University of Gothenburg, Sweden ------------------------------------------------------------------------ SUBMISSION GUIDELINES Authors are invited to submit original, unpublished papers that are not being considered in another forum. We solicit full papers (max 7 pages),short papers (max 4 pages), and industry abstracts (max 2 pages). All submissions must conform to the IEEE conference format. Each full paper submission will be reviewed by at least three members of the program committee. Papers should be submitted via EasyChair at: https://easychair.org/conferences/?conf=csequdos2019 At least one author of each accepted paper is required to attend the workshop and present the paper. Presented papers will be published by IEEE and included in the IEEE Digital Library. ------------------------------------------------------------------------ ORGANIZATION AND SUPPORT The Joint CSE/QUDOS Workshop 2019 is organized and technically sponsored by the Research Group (RG) and the DevOps Performance Working Group of the Standard Performance Evaluation Corporation (SPEC RG, http://research.spec.org), and by the consortium of the EU project RADON. The workshop is also supported by IFIP Working Group on Service Oriented Systems (http://ifip-wg-sos.deib.polimi.it/) DFG Priority Programme 1593 (SPP 1593) "Design For Future - Managed Software Evolution" (http://www.dfg-spp1593.de/), funded by the German Research Foundation (DFG).  GI Working Group Microservices and DevOps (https://ak-msdo.gi.de/) -- Dr.-Ing. André van Hoorn University of Stuttgart, Inst. of Software Technology Reliable Software Systems Group Universitätsstraße 38, D-70569 Stuttgart, Germany Room: 1.332 Phone: +49 (0)711 685-88-252, Fax: -472 E-Mail: van.hoorn at informatik.uni-stuttgart.de https://www.iste.uni-stuttgart.de/institute/team/van-Hoorn/ http://kieker-monitoring.net/, http://research.spec.org/ == Calls for Contributions: *CSE/QUDOS* 2019: Joint 4th Workshop on Continuous Software Engineering and 5th International Workshop on Quality-Aware DevOps (Co-located with ICSA 2019 in Hamburg, Germany) Paper deadline: Jan *24*, 2019 (extended) http://2019.qudos-workshop.org/ == From jens.knodel at caruso-dataplace.com Wed Jan 23 00:13:44 2019 From: jens.knodel at caruso-dataplace.com (Jens Knodel) Date: Tue, 22 Jan 2019 23:13:44 +0000 Subject: [fg-arc] Call for Paper: WSRE 21 am 6.-8. Mai 2019 in Bad Honnef Message-ID: WSRE 21 am 6.-8. Mai 2019 ====================== 21. Workshop Software-Reengineering & Evolution der GI-Fachgruppe Software-Reengineering (SRE) Physikzentrum, Bad Honnef, 6.-8. Mai 2019 http://fg-sre.gi.de/wsre2019.html Warum treffen wir uns zum 21. Mal? === Unser Ziel ist die Förderung der Zusammenarbeit und der fachliche Austausch zwischen Forschung und Praxis im deutschsprachigen Raum zu den Themen "Software-Reengineering", "Software-Wartung", und "Software-Evolution". Darunter verstehen wir prinzipiell alle Aktivitäten, deren Ziel die Analyse, Visualisierung, Bewertung, Verbesserung, Migration und Weiterentwicklung von größeren und kleineren Software-Systemen ist. Wir laden Forscher und Praktiker herzlich ein, beim WSRE über Erfahrungen, Projekte, Forschungsergebnisse, Methoden, Werkzeuge, und "War-Stories" in diesem Bereich zu berichten, ihre aktuellen Arbeiten vorzustellen und in einem offenen Umfeld konstruktiv zu diskutieren. Was ist dieses Jahr besonders? . Vorträge: Einblick, Rückblick, und Ausblick auf interessante Arbeiten und Ergebnisse rund ums Software-Reengineering und verwandte Themen aus Forschung und Praxis. Zum Lernen und zur Diskussion . 10. Workshop "Design For Future" des Arbeitskreises L2S2 "Langlebige Softwaresysteme" als besonderer Track des WSRE. Obwohl der DFF im Programm des WSRE integriert ist, gibt es einen spezifischen DFF Call for Papers und Review-Prozess. Weitere Informationen zum DFF 2019 zu finden unter: http://akl2s2.ipd.kit.edu/veranstaltungen/dff2019/ . Fachgruppensitzung der GI FG SRE mit Wahl des Leitungsgremiums: In diesem Jahr stehen Neuwahlen des Leitungsgremiums der Fachgruppe Software Reengineering (SRE) an. Bitte denken Sie schon einmal über mögliche Kandidaten oder sogar über eine eigene Kandidatur nach. Senden Sie gerne Vorschläge vorab an die derzeitigen Sprecher. . Networking: Interaktive Programmpunkte zum direkten Austausch und zur Vernetzung zwischen den Teilnehmern inklusive eines Social Events und Conference Dinner am zweiten Tag des Workshops. Wann und wo? === Der Workshop findet vom 6.-8. Mai 2019 am traditionellen Ort im Physikzentrum in Bad Honnef statt. Die Unterbringung der Teilnehmer erfolgt im Physikzentrum und ggf. in umliegenden Hotels. https://www.dpg-physik.de/dpg/pbh/ Wie reiche ich einen Beitrag ein? === Beiträge bitte über die EasyChair-Submission-Page des WSRE 2018 einreichen: https://www.easychair.org/conferences/?conf=wsre2019 Mögliche Themen sind beispielsweise Methoden und Vorgehensmodelle, Reengineering- und Analyse-Werkzeuge, Software-Evolution, Software-Migration, Software-Qualität, Wirtschaftlichkeit von Reengineering-Maßnahmen, Praxis-Berichte. Als Beiträge werden erweiterte Kurzfassungen auf maximal zwei Seiten im Format der Softwaretechnik-Trends (http://pi.informatik.uni-siegen.de/stt/diverses/hinweise.html) erwartet. Geeignete Vorlagen finden Sie auf der Webseite zum WSRE. Die Texte können in deutscher oder englischer Sprache verfasst sein. Sollte die Zahl der Präsentationen zu groß werden, so werden die Organisatoren eine Auswahl treffen. Wie ist der Zeitplan? === . Einreichung der Kurzfassungen: 29. März 2019 . Benachrichtigung über die Annahme: 05. April 2019 . Einreichung der druckfertigen Endfassung: 12. April 2019 . Anmeldeschluss zur Teilnahme: 12. April 2019 Was sind die Ziele des WSRE und der Fachgruppe Software-Reengineering? Die Workshops "Software-Reengineering & Evolution (WSRE)" im Physikzentrum Bad Honnef wurde mit dem ersten WSR 1999 von Jürgen Ebert und Franz Lehner ins Leben gerufen, um neben den erfolgreichen internationalen Tagungen im Bereich Reengineering (ICSM, ICPC, MSR, SANER, etc.) auch ein deutschsprachiges Diskussionsforum zu schaffen. Der Fokus des WSR hat sich neben dem "klassischen" Reengineering auch auf das Gebiet der Software Evolution erweitert. Der Begriff "Evolution" wurde daher mit dem 16. WSRE in den Workshop-Titel übernommen. Ziel der Treffen ist es, einander kennen zu lernen und auf diesem Wege auch eine Basis der Kooperation zu schaffen, so dass das Themengebiet weiteren Fortschritt und Konsolidierung erfährt. Inzwischen hat sich der WSRE (durchgeführt als Low-Cost-Workshop ohne eigenes Budget) als zentrales deutschsprachiges Forum zum Thema Reengineering etabliert. Damit trägt der WSRE maßgeblich zur Bildung und Erhaltung der deutschsprachigen Reengineering-Community bei. Auch war der WSRE die Keimzelle der GI-Fachgruppe Software-Reengineering. Im Rahmen des WSRE findet auch die jährliche Sitzung der GI Fachgruppe "Software-Reengineering" statt. Wer sind die Ansprechpartner bei Fragen? === . Dr. Jens Knodel, Caruso GmbH, Ismaning . Torsten Görg, itemis AG, Stuttgart . Jens Borchers, Beratung für IT-Systeme, Hamburg . Matthias Gutheil, itemis AG, Bonn . Stefan Sauer, Universität Paderborn, Paderborn Fachgruppe Software-Reengineering http://fg-sre.gi.de -- Dr. Jens Knodel Head of Platform Engineering m: +49 179 53 43 284 e: jens.knodel at caruso-dataplace.com w: www.caruso-dataplace.com Caruso GmbH | Steinheilstraße 10 | 85737 Ismaning Managing Directors: Alexander Haid, Jürgen Buchert | Registered Local Court Munich | HRB 233 669 From rmcouto at outlook.pt Wed Jan 23 17:38:54 2019 From: rmcouto at outlook.pt (rui couto) Date: Wed, 23 Jan 2019 16:38:54 +0000 Subject: [fg-arc] EICS 2019 - Call for papers Message-ID: EICS 2019 : Engineering Interactive Computing System The 11th ACM SIGCHI Symposium on Engineering Interactive Computing Systems 18-21 June, 2019 - Valencia, Spain EICS 2019 is the eleventh international conference devoted to engineering usable and effective interactive computing systems. Work presented at EICS covers the full range of aspects that come into play when "engineering" interactive systems, such as innovations in the design, development, deployment, verification and validation of interactive systems. Topics of interest include the design and development of systems incorporating new interaction techniques and multimodal interaction, multi-user, multi-device/screen, multi-environment interaction, mobile and pervasive systems, large-scale and big data applications, deployment of interactive systems, as well as novel development methods and processes for improving the development of interactive systems. ------------------------------------------------------------------------ TOPICS EICS 2019 focuses on models, languages, notations, methods, techniques and tools that support designing and developing interactive systems. The Conference brings together people who study or practice the engineering of interactive systems, drawing from HCI, Software Engineering, Requirements Engineering, Conceptual Modelling, CSCW, Ubiquitous / Pervasive Systems. Submissions are invited that advance the state of the art of the engineering of interactive systems. Topics include but are not limited to: * Modelling and analysis of interaction and interactive systems * Processes for engineering interactive systems (e.g., design, implementation, prototyping, evaluation, verification and validation, testing) * Integrating interaction design into the software development process * Requirements engineering for interactive systems * Specification of interactive systems (methods, principles and tools) * Software architectures for interactive systems * Frameworks, toolkits, and APIs for interactive systems (e.g., API usability, interaction-driven API design) * Domain-specific languages for interactive systems * Formal methods within interactive systems engineering * Modelling and analysis of users’ activities * Engineering innovative interactive applications (e.g., adaptive, tangible, touch and multitouch input, voice, gesture, EEG, multimodal input, mobile and wearable systems) * Engineering hardware/software integration in interactive systems (e.g., fabrication and maker processes, physical computing, etc.) * Engineering user experience (e.g., fun, affective) * Engineering complex interactive systems (e.g., large datasets, large communities, enterprise systems, collaborative systems) * Engineering interactive systems for various user categories (e.g., children, elderly, people with disabilities) * Certification issues of interactive systems * New datasets and evaluation data relevant for engineering interactive systems ------------------------------------------------------------------------ PAPER SUBMISSIONS EICS papers are now published as articles in the journal Proceedings of the ACM on Human Computer Interaction (EICS series). Papers submissions still follow the normal conference review process, but this process is iterated multiple times per year. Submissions to this venue should present original and mature research work. High-quality, elaborated case studies and practice reports with generalizable findings will also be considered. There are no length restrictions on papers, nor any limit to the number of references that may be included. More information about the new PACM-HCI (EICS series) review and publication process can be found at http://eics.acm.org/pacm. Upcoming deadlines for papers to be presented at EICS 2019 are: * 2019 Q1: Submission deadline February 21, 2019 Some of the best papers submitted as full papers and still do not accepted in iteration Q1 will be invited to present a short summary of this work as (late breaking results) in EICS 2019. The authors can continue improving the version of the full paper for the next conference in EICS 2020. Submissions can be done through http://new.precisionconference.com Further information can be found on the web site: https://eics.acm.org/2019/ EICS 2019 - The 11th ACM SIGCHI Symposium on Engineering Interactive Computing Systems Welcome and scope. Welcome to the website of the 11th Engineering Interactive Computing Systems (EICS) conference. EICS 2019 is the eleventh international conference devoted to engineering usable and effective interactive computing systems. eics.acm.org -------------- next part -------------- An HTML attachment was scrubbed... URL: From irdta at irdta.eu Tue Jan 22 00:58:04 2019 From: irdta at irdta.eu (IRDTA) Date: Tue, 22 Jan 2019 00:58:04 +0100 Subject: [fg-arc] DeepLearn 2019: early registration February 2 Message-ID: <545102060a010b0b0656550104005a03565705000207555850525d060e01575207055304515f015507535800055054@grlmc_ip-zone_com-6> DeepLearn 2019: early registration February 2*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line*   ***************************************************************   3rd INTERNATIONAL SUMMER SCHOOL ON DEEP LEARNING   DeepLearn 2019   Warsaw, Poland   July 22-26, 2019   Co-organized by:   Institute of Computer Science, Polish Academy of Sciences   IRDTA – Brussels/London   http://deeplearn2019.irdta.eu/   ***************************************************************   SCOPE:   DeepLearn 2019 will be a research training event with a global scope aiming at updating participants about the most recent advances in the critical and fast developing area of deep learning. This is a branch of artificial intelligence covering a spectrum of current exciting machine learning research and industrial innovation that provides more efficient algorithms to deal with large-scale data in neurosciences, computer vision, speech recognition, language processing, human-computer interaction, drug discovery, biomedical informatics, healthcare, recommender systems, learning theory, robotics, games, etc. Renowned academics and industry pioneers will lecture and share their views with the audience.   Most deep learning subareas will be displayed, and main challenges identified through 2 keynote lectures, 24 four-hour and a half courses, and 1 round table, which will tackle the most active and promising topics. The organizers are convinced that outstanding speakers will attract the brightest and most motivated students. Interaction will be a main component of the event.   An open session will give participants the opportunity to present their own work in progress in 5 minutes. Moreover, there will be two special sessions with industrial and recruitment profiles.   ADDRESSED TO:   Master's students, PhD students, postdocs, and industry practitioners will be typical profiles of participants. However, there are no formal pre-requisites for attendance in terms of academic degrees. Since there will be a variety of levels, specific knowledge background may be assumed for some of the courses. Overall, DeepLearn 2019 is addressed to students, researchers and practitioners who want to keep themselves updated about recent developments and future trends. All will surely find it fruitful to listen and discuss with major researchers, industry leaders and innovators.   STRUCTURE:   3 courses will run in parallel during the whole event. Participants will be able to freely choose the courses they wish to attend as well as to move from one to another.   VENUE:   DeepLearn 2019 will take place in Warsaw, whose historical Old Town was designated a UNESCO World Heritage Site. The venue will be:   tba   KEYNOTE SPEAKERS:   tba   PROFESSORS AND COURSES: (to be completed)   Pierre Baldi (University of California, Irvine), [intermediate/advanced] Deep Learning: Theory, Algorithms, and Applications to the Natural Sciences   Christopher Bishop (Microsoft Research Cambridge), [introductory] Introduction to the Key Concepts and Techniques of Machine Learning   Aaron Courville (University of Montréal), [introductory/intermediate] Deep Generative Models   Sergei V. Gleyzer (University of Florida), [introductory/intermediate] Feature Extraction, End-end Deep Learning and Applications to Very Large Scientific Data: Rare Signal Extraction, Uncertainty Estimation and Realtime Machine Learning Applications in Software and Hardware   Tomas Mikolov (Facebook), [introductory] Using Neural Networks for Modeling and Representing Natural Languages (with Armand Joulin)   Hermann Ney (RWTH Aachen University), [intermediate/advanced] Speech Recognition and Machine Translation: From Statistical Decision Theory to Machine Learning and Deep Neural Networks   Navraj Pannu (GoDaddy), [introductory/intermediate] Deep Learning and Maximum Likelihood in Structural Biology   Jose C. Principe (University of Florida), [intermediate/advanced] Cognitive Architectures for Object Recognition in Video   Björn Schuller (Imperial College London), [introductory/intermediate] Deep Learning for Intelligent Signal Processing   Alex Smola (Amazon), tba   Ponnuthurai N Suganthan (Nanyang Technological University), [introductory/intermediate] Learning Algorithms for Classification, Forecasting and Visual Tracking   Johan Suykens (KU Leuven), [introductory/intermediate] Deep Learning, Neural Networks and Kernel Machines   Alexey Svyatkovskiy (Princeton University), [introductory/intermediate] From Natural Language Processing to Machine Learning on Source Code   Gaël Varoquaux (INRIA), [intermediate] Representation Learning in Limited Data Settings   René Vidal (Johns Hopkins University), [intermediate/advanced] Mathematics of Deep Learning   OPEN SESSION:   An open session will collect 5-minute voluntary presentations of work in progress by participants. They should submit a half-page abstract containing title, authors, and summary of the research to david at irdta.eu by July 14, 2019.   INDUSTRIAL SESSION:   A session will be devoted to 10-minute demonstrations of practical applications of deep learning in industry. Companies interested in contributing are welcome to submit a 1-page abstract containing the program of the demonstration and the logistics needed. At least one of the people participating in the demonstration must register for the event. Expressions of interest have to be submitted to david at irdta.eu by July 14, 2019.   EMPLOYER SESSION:   Firms searching for personnel well skilled in deep learning will have a space reserved for one-to-one contacts. It is recommended to produce a 1-page .pdf leaflet with a brief description of the company and the profiles looked for, to be circulated among the participants prior to the event. At least one of the people in charge of the search must register for the event. Expressions of interest have to be submitted to david at irdta.eu by July 14, 2019.   ORGANIZING COMMITTEE:   Łukasz Kobyliński (Warsaw, co-chair) Sara Morales (Brussels) Manuel J. Parra-Royón (Granada) David Silva (London, co-chair)   REGISTRATION:   It has to be done at   http://deeplearn2019.irdta.eu/registration/   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 estimation of the respective demand for each course. During the event, participants will be free to attend the courses they wish.   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 is exhausted. It is highly recommended to register prior to the event.   FEES:   Fees comprise access to all courses and lunches. There are several early registration deadlines. Fees depend on the registration deadline.   ACCOMMODATION:   Suggestions for accommodation will be available in due time.   CERTIFICATE:   A certificate of successful participation in the event will be delivered indicating the number of hours of lectures.   QUESTIONS AND FURTHER INFORMATION:   david at irdta.eu   ACKNOWLEDGMENTS:   Institute of Computer Science, Polish Academy of Sciences   Institute for Research Development, Training and Advice (IRDTA) – Brussels/London -------------- next part -------------- An HTML attachment was scrubbed... URL: From announce at cs.ucy.ac.cy Wed Jan 23 15:25:29 2019 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Wed, 23 Jan 2019 16:25:29 +0200 Subject: [fg-arc] The 27th ACM Conference on User Modeling, Adaptation and Personalization (UMAP 2019): Last Mile for Paper Submission Message-ID: *** LAST MILE FOR PAPER SUBMISSION *** 27th ACM International Conference on User Modeling, Adaptation and Personalization (ACM UMAP 2019) "Making Personalization Transparent: Giving control back to the User" Golden Bay Beach Hotel 5*, Larnaca, Cyprus, June 9-12, 2019 http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQlUaGUgMjd0aCBBQ00gQ29uZmVyZW5jZSBvbiBVc2VyIE1vZGVsaW5nLCBBZGFwdGF0aW9uIGFuZCBQZXJzb25hbGl6YXRpb24gKFVNQVAgMjAxOSk6IExhc3QgTWlsZSBmb3IgUGFwZXIgU3VibWlzc2lvbgkzMzcJTGlzdHMJMTQyCWNsaWNrCXllcwlubw==&url=https%3A%2F%2Fwww.um.org%2Fumap2019%2F Abstracts due: January 25, 2019 (mandatory) Papers due: February 1, 2019 BACKGROUND AND SCOPE ACM UMAP, "User Modeling, Adaptation and Personalization", is the premier international conference for researchers and practitioners working on systems that adapt to individual users, to groups of users, and that collect, represent, and model user information. ACM UMAP is sponsored by ACM SIGCHI and SIGWEB. The proceedings are published by ACM and will be part of the ACM Digital Library. ACM UMAP covers a wide variety of research areas where personalization and adaptation may be applied. This include (but is in no way limited to) a number of domains in which researchers are engendering significant innovations based on advances in user modeling and adaptation, recommender systems, adaptive educational systems, intelligent user interfaces, e-commerce, advertising, digital humanities, social networks, personalized health, entertainment, and many more. This year the conference hosts three new tracks, one on privacy and fairness, one on personalized music access, and one on personalized health. CONFIRMED INVITED SPEAKERS · Marios Avraamides, University of Cyprus · Judith Masthoff, Utrecht University · Mounia Lalmas-Roelleke, Spotify London CONFERENCE TRACKS Track 1 - Personalized Recommender Systems Chairs: Marko Tkalcic, Free University of Bozen-Bolzano, marko.tkalcic at unibz.it Alan Said, University of Skövde, alansaid at acm.org Personalized, computer-generated recommendations have become a pervasive feature of today's online world. The underlying recommender systems are designed to help users and providers in a number of ways. >From a user's viewpoint, for example, these systems assist consumers in finding relevant things within large item collections. On the other hand, from a provider's perspective, recommenders have also shown to be valuable tools to steer consumer behavior. From a technical perspective, the design of such systems requires the careful consideration of various aspects, including the choice of the user modeling approach, the underlying recommendation algorithm, and the user interface. This track aims to provide a forum for researchers and practitioners to discuss open challenges, latest solutions and novel research approaches in the field of recommender systems. Besides the above-mentioned technical aspects, works are also particularly welcome that address questions related to the user perception and the business value of recommender systems. Topics include (but are not limited to): · Recommendation algorithms · Recommender and personalization system evaluation · User modeling and preference elicitation · Users' perception of recommender systems · Business value of recommendation systems and multi-stakeholder environments · Explanations and trust · Context-aware recommendation algorithms · Recommending to groups of users · Case studies of real-world implementations · Novel, Psychology-informed User- and Item-modeling Track 2 - Adaptive Hypermedia And The Semantic Web Chairs: Liliana Ardissono, University of Torino, liliana.ardissono at unito.it Katrien Verbert, KU Leuven, katrien.verbert at cs.kuleuven.be Adaptive hypermedia and adaptive web explore alternatives to the traditional "one-size-fits-all" approach in the development of web and hypermedia systems. Adaptive hypermedia and adaptive web systems build a model of the interests, preferences and knowledge of each individual user, and use this model in order to adapt the behavior of hypermedia and web systems to the needs of that user. Semantic web frequently serves as an infrastructure to enable adaptive and personalized Web systems. Semantic web technology targets the use of explicit semantics and metadata to help web systems perform the desired functionality: this implies the use of linked data from the web, the use of ontologies in models, or the use of metadata in user interfaces, as well as the use of ontologies for information integration. This track aims to provide a forum to researchers to discuss open research problems, solid solutions, latest challenges, novel applications and innovative research approaches in adaptive hypermedia and semantic web. Topics include (but are not limited to): · Web user profiles · Adaptive navigation support · Personalized search · Web content adaptation · Analytics of web user data · Adaptive web sites and portals · Adaptive books and textbooks · Social navigation and social search · Navigation support in continuous media and virtual environments · Usability engineering for adaptive hypermedia and web systems · Novel methodologies for evaluating adaptive hypermedia and web systems · Semantic Web technologies for web personalization · Ontology-based data access and integration/exchange on the adaptive web · Ontology engineering and ontology patterns for the adaptive web · Ontology-based user models · Semantic social network mining, analysis, representation, and management · Crowdsourcing semantics; methods, dynamics, and challenges · Semantic Web and Linked Data for adaptation Track 3 - Intelligent User Interfaces Chairs: Li Chen, Hong Kong Baptist University, lichen at comp.hkbu.edu.hk Jingtao Wang, Google, jingtaow at acm.org Intelligent User Interfaces aim to improve the interaction between computer systems and human users by means of Artificial Intelligence. The systems support and complement different types of abilities that are normally unavailable in the context of human-only cognition. Previous work has found that humans do not always make the best possible decisions when working together with computer systems. By designing and deploying improved forms of support for interactive collaboration between human decision makers and systems, we can enable decision making processes that better leverage the strengths of both collaborators. More generally this research track can be characterized by exploring how to make the interaction between computers and people smarter and more productive, which may leverage solutions from human-computer interaction, data mining, natural language processing, information visualization, and knowledge representation and reasoning. Topics include (but are not limited to): · Adaptive personal virtual assistants (e.g., interaction with robots) · Adapting natural interaction (e.g., natural language, speech, gesture) · Intelligent user interfaces based on sensor data (UIs for cars, fridges, etc.) · Multi-modal interfaces (speech, gestures, eye gaze, face, physiological info, etc.) · Intelligent wearable and mobile interfaces · Smart environments and tangible computing · Transparency and control of decision support systems (e.g., semi-autonomous systems) · Explainable intelligent user interfaces · Affective and aesthetic interfaces · Tailored persuasion and argumentation interfaces · Tailored decision support (e.g., over- and under-reliance in uncertain domains) · Adaptive information visualization · Scalability of intelligent user interfaces to access huge datasets · User-centric studies of interactions with intelligent user interfaces · Novel datasets and use cases for intelligent user interfaces · Evaluations of intelligent user interfaces Track 4 - Personalized Social Web Chairs: Ilaria Torre, University of Genova, ilaria.torre at unige.it Osnat Mokryn, omokryn at univ.haifa.ac.il The social web is continuously growing and social platforms are a fundamental part of our life. Mediated communication is becoming the primary form of communication for young people, and adults follow in increasing numbers. Online communication is increasingly enriched by the use of memes, pictures, audio and video, though language (textual and oral) remains a fundamental tool with which people interact, convey their opinions, construct and determine their social identity. Lifelogging data (e.g., health, fitness, food) is growing as well on the social web. This type of personal information source, gathered for private use through personal devices, is now often shared in online communities. These trends open new challenges for research: how to harness the power of collective intelligence and quantified self data in online social platforms to identify social identities, how to exploit continuous feedback threads, and how to improve the individual user experience on the social web. We invite original submissions addressing all aspects of personalization, user models building and personal experience in online social systems. Topics include (but are not limited to): · Personalization of the web experience in social systems · Adaptations based on personality, society, and culture · Personalization algorithms and protocols inspired by human societies · Social recommendation · Identifying social identities in social media · Social and crowd-generated data for adaptation · Personalized information retrieval · Exploiting quantified self data on the social web of things · Data-driven approaches for personalization · Modeling individuals, groups, and communities · Collective intelligence and experience mining · Pattern and behaviour discovery in social network analysis · Opinion mining for user modeling · Sentiment analysis · Topic modeling for online conversations and short texts · Privacy, perceived security, and trust in social systems · Ethical issues involved in studying the social web · User awareness and control · Evaluation methodologies for the social web Track 5 - Technology-Enhanced Adaptive Learning Chairs: Jesús G. Boticario, UNED, jgb at dia.uned.es Inge Molenaar, Radboud University, i.molenaar at pwo.ru.nl At large there is an on-going "fusion" between humans and technological systems. The ongoing integration of devices into our daily lives furthers the integration of technology in human learning. With technology increasingly gaining more data and intelligence, a new era of technology-enhanced adaptive learning is emerging. Consequently, the interactions between learners, teachers and technology are becoming increasingly complex. Learning is a positioned as a complex human process that involves cognitive, metacognitive, motivational, affective and psychomotor aspects which interact with the learning context. Smart technological solutions are increasingly able to identify and model the learner needs on these five aspects and accordingly provide personalized support that can improve the effectiveness, efficiency and satisfaction of learning experiences. Current research in artificial intelligence combined with data science and learning analytics bring new opportunities to recognize, and effectively support individual learners' needs and orchestrate collaborate and classroom learning with intelligent learning solutions, and augment teachers in blended learning situations. The aim of this track is to foreground the systematic complexity of human learning and use systematic analytic approaches to measure, diagnose and support human learning with technologies. This covers not only formal educational settings, but also lifelong learning requirements (including workplace training) as well as the acquisition of skills informal learning settings (e.g., in daily activities, serious games, sports, healthcare, wellbeing, etc.). To address the wide spectrum of modeling issues and challenges that can be raised, contributions from various research areas are welcome. Therefore, this track invites researchers, developers, and practitioners from various disciplines to present their innovative adaptive learning solutions, share acquired experience, and discuss the main modeling challenges for technology enhanced adaptive learning. Topics include (but are not limited to): · Domain, learner, teacher and context modeling · Modeling cognitive, metacognitive, motivational, affective and psychomotor aspects of learning · Diagnosis of learner needs and calibration of support and feedback Adaptive and personalized support for learning · Dealing with ethical issues involved in detecting and modeling a wider range of information sources (e.g., information from novel sensing devices, ambient intelligent features) that may affect learning · Management of large, open, and public datasets for educational data mining · Agent-based learning environments and virtual pedagogical agents · Open corpus personalized learning · Collaborative and group learning · Adaptive technologies to orchestrated classroom Learning · Personalized teachers awareness and support tools · Multimodal learning analytics to personalize learning · UMAP aspects in specific learning solutions: educational recommender systems, intelligent tutoring systems, serious games, personal learning environments, MOOCs · Wearable technologies and augmented reality in adaptive personalized learning · Processing collected data for UMAP: educational data mining, learning analytics, big data, deep learning. · Semantic web and ontologies for e-learning · Interoperability, portability, and scalability issues · Case studies in real-world educational settings · New methodologies to develop user-centered highly personalized learning solutions Track 6 - Privacy And Fairness Chairs: Bart Knijnenburg, Clemson University, bartk at clemson.edu Esma Aimeur, University of Montreal, aimeur at iro.umontreal.ca Adaptive systems researchers and developers have a social responsibility to care about their users. This involves building, maintaining, evaluating, and studying adaptive systems that are fair, transparent, and protect users' privacy. We invite papers that study, in the context of UMAP, the topics of privacy (as well as innovative means to resolve privacy problems through algorithms, interfaces, or other technical or non-technical means), fairness (covering the spectrum from algorithmic fairness to social implications of adaptive systems), and transparency (as a concept of system usability as well as a means to resolve problems with privacy and fairness). Beyond this we encourage authors to submit to this track any work that ascribes to or advances the general idea of "adaptive systems that care". Privacy topics: · Analysis of privacy implications of user modeling · Privacy compliance · Algorithmic solutions to privacy · Architectural solutions to privacy · Interactive solutions to privacy · Usable privacy for adaptive systems · User perceptions of privacy in UMAP applications · Studies of users' privacy-related behaviors in UMAP applications · Descriptions or evaluations of privacy-settings user interfaces · Privacy prediction / personalization · User-tailored approaches to privacy · Privacy education for user modeling · Modeling of data protection and privacy requirements · Economics of privacy and personal data · Measuring privacy Fairness topics: · Ethical considerations for user modeling · UMAP applications for underrepresented groups · Cultural differences (e.g. culture-aware user modeling) · Bias and discrimination in user modeling · Imbalance in meeting the needs of different groups of users · Balancing needs of users versus system owners · Ethics of explore/exploit strategies or A/B testing · 'Filter bubble' or 'balkanization' effects · Enhancing/embracing diversity in user modeling · Algorithmic methods for increasing fairness · User perceptions of fairness · Measuring fairness Transparency topics: · User perceptions of transparency · Transparent algorithms · Interface innovations that increase transparency · Explanations for transparency · Visualizations for transparency · Adaptive systems for self-actualization · (User-centric) evaluations of methods that increase transparency · Measuring transparency Track 7 - Personalized Music Access Chairs: Markus Schedl, University of Linz, markus.schedl at jku.at Nava Tintarev, TU Delft, n.tintarev at tudelft.nl Music access systems (e.g., search, retrieval, and recommendation systems) have experienced a boom during the past decade due to the availability of huge music catalogs to users, anywhere and anytime. These systems record information on user behavior in terms of actions on music items, such as play, skip, or playlist creation and modification. As a result, an abundance of user and usage data has been collected and is available to companies and academics, allowing for user profiling and to create and improve personalized music access. This track addresses unsolved challenges in this area relating to user understanding and modeling, personalization in recommendation and retrieval systems, modeling usage context, and adapting interactive intelligent music interfaces. This track aims to provide a forum for researchers and practitioners for the latest research on? user modeling and personalization for finding, making, and interacting with music. Topics include (but are not limited to): · Personalized music preference elicitation and preference learning · Psychological modeling of music listeners (e.g., personality, emotion, etc.) · Subjective perceptions of music (e.g., similarity, mood, tempo) social and cultural aspects of listening behavior (e.g., for group recommenders) · Applications for personalized music consumption and creation · Personalized playlist generation and continuation (e.g., sequences and transitions) · Personalized music interaction and interface paradigms (e.g., visualization, VR) · Explainability, transparency, and fairness in personalized music · Systems user-centric performance measures (e.g., diversity, novelty, serendipity, etc.) · Datasets (including benchmarks) for personalizing music retrieval and recommendation Track 8 - Personalized Health Chairs: Christoph Trattner, University of Bergen, trattner.christoph at gmail.com David Elsweiler, University of Regensburg, david at elsweiler.co.uk Growing health issues and rising treatment costs mean that technological systems are increasingly important for global health. Personalised systems, tailored to the needs and behaviours of individual patients, are one of the promising approaches to health promotion by encouraging lifestyle change, managing treatment programmes and providing doctors and other healthcare providers with detailed individualized feedback. The challenges to developing such systems, which model user needs and preferences, as well as appropriate medical knowledge to provide assistance and recommendations are plentiful. The diverse technologies which could potentially feature in solutions are equally vast, ranging from AI systems to sensors, from mobile computing, augmented reality and visualization, to mining the web or other data streams to learn about health issues and user behaviour. In this track we invite scholars working in these or related areas to contribute to the discourse on how technology can promote health. This track aims to provide a forum to researchers to discuss open research problems, solid solutions, latest challenges, novel applications and innovative research approaches and in doing so to strengthen the community of researchers working on Personalized Health and attract representatives from from diverse scholarly backgrounds ranging from computer and information science to public health, epidemiology, psychology, medicine, nutrition and fitness. Topics include (but are not limited to): · Algorithms and Recommendation Strategies to increase health · Mobile health · Quantified self · Applied data analytics and modeling for health · Health risk modeling and forecasting · Systems for Preventative Measures · Medical Evaluation Techniques · Domain Knowledge Representation · Behavioral Interventions: Persuasion/Nudging/Behavioral Change · HCI, Interfaces and Visualisations for health · Regulations and Standards · Human/ Expert-in-the-Loop · Gamification and Serious Games · Privacy, Trust, Ethics · Datasets SUBMISSION AND REVIEW PROCESS Papers should be submitted through EasyChair: http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQlUaGUgMjd0aCBBQ00gQ29uZmVyZW5jZSBvbiBVc2VyIE1vZGVsaW5nLCBBZGFwdGF0aW9uIGFuZCBQZXJzb25hbGl6YXRpb24gKFVNQVAgMjAxOSk6IExhc3QgTWlsZSBmb3IgUGFwZXIgU3VibWlzc2lvbgkzMzcJTGlzdHMJMTQyCWNsaWNrCXllcwlubw==&url=https%3A%2F%2Feasychair.org%2Fconferences%2F%3Fconf%3Dacmumap2019 The ACM User Modeling, Adaptation, and Personalization (ACM UMAP) 2019 Conference will include high quality peer-reviewed papers related to the above key areas. Maintaining the high quality and impact of the ACM UMAP series, each paper will have three reviews by program committee members and a meta-review presenting the reviewers' consensual view; the review process will be coordinated by the program chairs in collaboration with the corresponding area chairs. Long (8 pages + references) and Short (4 pages + references) papers in ACM style, peer reviewed, original, and principled research papers addressing both the theory and practice of UMAP and papers showcasing innovative use of UMAP and exploring the benefits and challenges of applying UMAP technology in real-life applications and contexts are welcome. Long papers should present original reports of substantive new research techniques, findings, and applications of UMAP. They should place the work within the field and clearly indicate innovative aspects. Research procedures and technical methods should be presented in sufficient detail to ensure scrutiny and reproducibility. Results should be clearly communicated and implications of the contributions/findings for UMAP and beyond should be explicitly discussed. Short papers should present original and highly promising research or applications. Merit will be assessed in terms of originality and importance rather than maturity, extensive technical validation, and user studies. For both long papers and short paper submissions, it is not required to anonymize the manuscripts, i.e., ACM UMAP will apply a single-blind reviewing process. Separation of long and short papers will be strictly enforced so papers will not compete across categories, but only within each category. Papers that receive high scores and are considered promising by reviewers, but didn't make the acceptance cut, will be directed to the poster session of the conference and will be invited to be resubmitted as posters. Papers must be formatted using the ACM SIG Standard (SIGCONF) proceedings template: http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQlUaGUgMjd0aCBBQ00gQ29uZmVyZW5jZSBvbiBVc2VyIE1vZGVsaW5nLCBBZGFwdGF0aW9uIGFuZCBQZXJzb25hbGl6YXRpb24gKFVNQVAgMjAxOSk6IExhc3QgTWlsZSBmb3IgUGFwZXIgU3VibWlzc2lvbgkzMzcJTGlzdHMJMTQyCWNsaWNrCXllcwlubw==&url=https%3A%2F%2Fwww.acm.org%2Fpublications%2Fproceedings-template . Please note that ACM changed its templates at the start of 2017, so please ensure that you use the new template and do not reuse an old template. All accepted papers will be published by ACM and will be available via the ACM Digital Library. At least one author of each accepted paper must register for the conference and present the paper there. AUTHORS TAKE NOTE: The official publication date is the date the proceedings are made available in the ACM Digital Library. This date may be up to two weeks prior to the first day of your conference. The official publication date affects the deadline for any patent filings related to published work. (For those rare conferences whose proceedings are published in the ACM Digital Library after the conference is over, the official publication date remains the first day of the conference.) IMPORTANT DATES · Abstract: January 25, 2019 (mandatory) · Full paper: February 1, 2019 · Notification: March 11, 2019 · Camera-ready: April 3, 2019 · Adjunct proceedings, camera ready: April 15, 2018 Note: The submissions times are 11:59pm AoE time (Anywhere on Earth). GENERAL CHAIRS · George A. Papadopoulos, University of Cyprus, Cyprus · George Samaras, University of Cyprus, Cyprus · Stephan Weibelzahl, PFH Private University of Applied Sciences, Göttingen, Germany RELATED EVENTS Separate calls will be later sent for Workshops and Tutorials, Doctoral Consortium, Demos, Late Breaking Results and Theory, Opinion and Reflection works, as they have different deadlines and submission requirements. -------------- next part -------------- An HTML attachment was scrubbed... URL: From erwan.bousse at ls2n.fr Fri Jan 25 16:05:20 2019 From: erwan.bousse at ls2n.fr (Erwan Bousse) Date: Fri, 25 Jan 2019 16:05:20 +0100 Subject: [fg-arc] 2nd CFP - 15th European Conference on Modelling Foundations and Applications (ECMFA 2019) - co-located with STAF 2019 Message-ID: <624fbf8c4cdb5a0c8222ec358546c096ad865b49.camel@ls2n.fr> ----------------------------------------------------------------------- 2nd Call for Papers: The 15th European Conference on Modelling Foundations and Applications (ECMFA 2019) co-located with STAF 2019, July 15-19 2019, Eindhoven, the Netherlands https://staf2019.win.tue.nl/events/ecmfa19/ ----------------------------------------------------------------------- TL;NR: call for high-quality foundation and application papers to be presented at ECMFA 2019 in Eindhoven (July 15-19, 2019), and published as gold open access journal publications in the Journal of Object Technology (JOT). You may also consider the new junior researcher community track and the research project showcase, both also part of the STAF 2019 event. We are pleased to announce that keynotes will be given by Friedrich Steimann (University of Hagen, Germany) and Ivan Kurtev (Altran, Eindhoven, The Netherlands). --------------------------- About the conference --------------------------- The 15th European Conference on Modelling Foundations and Applications (ECMFA) is dedicated to advancing the state of knowledge and fostering the application of Model-Based Engineering (MBE) and related approaches. Its focus is on engaging the key figures of research and industry in a dialog which will result in stronger and more effective practical application of MBE, hence producing more reliable software based on state-of-the-art research results. --------------------------- Topics --------------------------- ECMFA’19 has two distinct kinds of papers: one for research papers dealing with the modelling foundations, and one for research papers dealing with the applications of modelling techniques, including experience reports on model-based engineering tools, industrial use, case studies, etc. In the Foundation track, we are soliciting papers presenting original research on all aspects of model-based engineering. Foundation papers will be evaluated based on their suitability for the conference, originality, and technical soundness. They require novel and complete research work supported by adequate evaluation results. Typical topics of interest include, among others: - Foundations of (Meta)modelling - Domain Specific Modelling Languages and Language Workbenches - Model Reasoning, Testing, and Validation - Model Transformation, Code Generation and Reverse Engineering - Model Execution and Simulation - Model Management aspects such as (Co-)Evolution, Consistency, Synchronization, Differencing, and Versioning - Model-Based Engineering Environments and Tool Chains - Foundations of Requirements Modelling, Architecture Modelling, Platform Modelling - Foundations of Quality Aspects and Modelling non-functional System Properties - Scalability of MBE techniques - Collaborative modelling In the Application track, we solicit papers representing viewpoints, innovations, and practical experiences in employing Model-Based Engineering (MBE) from all aspects, e.g., modelling foundations, methods, approaches, and tools. We are also seeking experience reports, empirical evaluations, or case studies on the applications, successes, or failures of MBE. Papers from both researchers and practitioners are welcomed in this track. Topics of interest include, but not limited are: - MBE for Critical Systems (Safety, Mission, ..) - MBE for Cyber-Physical Systems of Systems and Internet of Things - Model-Based Security Engineering - MBE for Software and Business Process Modelling - MBE Applications in Transportation, Health Care, Cloud&Mobile computing... - Model-Based Integration and Simulation - Model-Based Testing - Model-Based System Analysis - Application of Modelling Standards - Comparative Studies of MBE Methods and Tools - Metrics for MBE Development - MBE Training - Practical Experiences of applying MBE --------------------------- Submission and Publication --------------------------- Submissions must conform to the Journal of Object Technology (JOT) LaTeX template (http://www.jot.fm/templates/jot-latex-template.tar.gz) (manuscript processed with MS Word should produce a similar format), and must not exceed 20 pages (including figures, references, and appendices). All submissions will be peer-reviewed by at least three members of the Program Committee. The reviewers will assess the completeness, the quality of and the relevance of the submission. All papers have to be submitted electronically in PDF format through this Easychair link: https://easychair.org/conferences/?conf=ecmfa2019 All accepted papers will be published as gold open-access journal publication in the Journal of Object Technology (JOT). At least one author for each accepted paper must register before the early registration deadline and present the paper during the conference. Failure to do so will result in the paper being withdrawn from the proceedings. --------------------------- Important Dates --------------------------- - Abstract submission: March 8th, 2019 - Full paper submission: March 15th, 2019 - Notification: April 19th, 2019 - Camera ready: May 10th, 2019 --------------------------- Organization committee --------------------------- Program co-Chairs: - Benoit Combemale, University of Toulouse, France (Foundation track) - Shaukat Ali, Simula, Norway (Application track) Communication Chair: - Erwan Bousse, University of Nantes, France --------------------------- Program Committee --------------------------- - Francis Bordeleau, Cmind Inc - Michalis Famelis, University of Montreal - Erwan Bousse, Université de Nantes / LS2N - Davide Di Ruscio, Università degli Studi dell’Aquila - Federico Ciccozzi, Mälardalen University - Alessandra Bagnato, Softeam - Dimitris Kolovos, University of York - Øystein Haugen, Østfold University College and SINTEF - Romina Eramo, University of L’Aquila - Esther Guerra, Universidad Autónoma of Madrid - Massimo Tisi, IMT Atlantique / LS2N - Bran Selic, Malina Software Corp. - Brice Morin, SINTEF ICT - Antonio Cicchetti, Mälardalen University - Houari Sahraoui, University of Montreal - Thomas Kuehne, Victoria University of Wellington - Zinovy Diskin, McMaster University / University of Waterloo - Sudipto Ghosh, Colorado State University - Jean-Michel Bruel, IRIT - Manuel Wimmer, TU Wien - Richard Paige, University of York - Eric Cariou, LIUPPA / Université de Pau - Anthony Anjorin, Paderborn University - Javier Troya, University of Seville - Sebastien Gerard, CEA, LIST - Daniel Varro, McGill University / Budapest University of Technology and Economics - Jeff Gray, University of Alabama - Juha-Pekka Tolvanen, MetaCase - Martin Gogolla, Database Systems Group, University of Bremen - Steffen Zschaler, King’s College London - Joel Greenyer, Leibniz Universität Hannover - Jennifer Horkoff, Chalmers and the University of Gothenburg - Ralf Lämmel, Universität Koblenz-Landau - Marco Brambilla, Politecnico di Milano - Markus Schacher, KnowGravity Inc. - Regina Hebig, Chalmers | Gothenburg University - Jörg Kienzle, McGill University - Bernhard Rumpe, RWTH Aachen University - Timothy Lethbridge, University of Ottawa - Andrzej Wąsowski, IT University From irdta at irdta.eu Tue Jan 29 00:25:01 2019 From: irdta at irdta.eu (IRDTA) Date: Tue, 29 Jan 2019 00:25:01 +0100 Subject: [fg-arc] DeepLearn 2019: early registration February 2 Message-ID: <545102060a010b0b0650560701015a52565556540357075550050c075053015454510c55575b035204535556075700@grlmc_ip-zone_com-6> DeepLearn 2019: early registration February 2*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line*   ***************************************************************   3rd INTERNATIONAL SUMMER SCHOOL ON DEEP LEARNING   DeepLearn 2019   Warsaw, Poland   July 22-26, 2019   Co-organized by:   Institute of Computer Science, Polish Academy of Sciences   IRDTA – Brussels/London   http://deeplearn2019.irdta.eu/   ***************************************************************   SCOPE:   DeepLearn 2019 will be a research training event with a global scope aiming at updating participants about the most recent advances in the critical and fast developing area of deep learning. This is a branch of artificial intelligence covering a spectrum of current exciting machine learning research and industrial innovation that provides more efficient algorithms to deal with large-scale data in neurosciences, computer vision, speech recognition, language processing, human-computer interaction, drug discovery, biomedical informatics, healthcare, recommender systems, learning theory, robotics, games, etc. Renowned academics and industry pioneers will lecture and share their views with the audience.   Most deep learning subareas will be displayed, and main challenges identified through 2 keynote lectures, 24 four-hour and a half courses, and 1 round table, which will tackle the most active and promising topics. The organizers are convinced that outstanding speakers will attract the brightest and most motivated students. Interaction will be a main component of the event.   An open session will give participants the opportunity to present their own work in progress in 5 minutes. Moreover, there will be two special sessions with industrial and recruitment profiles.   ADDRESSED TO:   Master's students, PhD students, postdocs, and industry practitioners will be typical profiles of participants. However, there are no formal pre-requisites for attendance in terms of academic degrees. Since there will be a variety of levels, specific knowledge background may be assumed for some of the courses. Overall, DeepLearn 2019 is addressed to students, researchers and practitioners who want to keep themselves updated about recent developments and future trends. All will surely find it fruitful to listen and discuss with major researchers, industry leaders and innovators.   STRUCTURE:   3 courses will run in parallel during the whole event. Participants will be able to freely choose the courses they wish to attend as well as to move from one to another.   VENUE:   DeepLearn 2019 will take place in Warsaw, whose historical Old Town was designated a UNESCO World Heritage Site. The venue will be:   tba   KEYNOTE SPEAKERS:   tba   PROFESSORS AND COURSES: (to be completed)   Pierre Baldi (University of California, Irvine), [intermediate/advanced] Deep Learning: Theory, Algorithms, and Applications to the Natural Sciences   Christopher Bishop (Microsoft Research Cambridge), [introductory] Introduction to the Key Concepts and Techniques of Machine Learning   Aaron Courville (University of Montréal), [introductory/intermediate] Deep Generative Models   Sergei V. Gleyzer (University of Florida), [introductory/intermediate] Feature Extraction, End-end Deep Learning and Applications to Very Large Scientific Data: Rare Signal Extraction, Uncertainty Estimation and Realtime Machine Learning Applications in Software and Hardware   Tomas Mikolov (Facebook), [introductory] Using Neural Networks for Modeling and Representing Natural Languages (with Armand Joulin)   Hermann Ney (RWTH Aachen University), [intermediate/advanced] Speech Recognition and Machine Translation: From Statistical Decision Theory to Machine Learning and Deep Neural Networks   Navraj Pannu (GoDaddy), [introductory/intermediate] Deep Learning and Maximum Likelihood in Structural Biology   Jose C. Principe (University of Florida), [intermediate/advanced] Cognitive Architectures for Object Recognition in Video   Björn Schuller (Imperial College London), [introductory/intermediate] Deep Learning for Intelligent Signal Processing   Alex Smola (Amazon), tba   Sargur Srihari (University at Buffalo), [intermediate/advanced] Explainable Artificial Intelligence   Ponnuthurai N Suganthan (Nanyang Technological University), [introductory/intermediate] Learning Algorithms for Classification, Forecasting and Visual Tracking   Johan Suykens (KU Leuven), [introductory/intermediate] Deep Learning, Neural Networks and Kernel Machines   Alexey Svyatkovskiy (Princeton University), [introductory/intermediate] From Natural Language Processing to Machine Learning on Source Code   Gaël Varoquaux (INRIA), [intermediate] Representation Learning in Limited Data Settings   René Vidal (Johns Hopkins University), [intermediate/advanced] Mathematics of Deep Learning   Haixun Wang (WeWork), [intermediate] Abstractions, Concepts, and Machine Learning   Zhongfei Zhang (Binghamton University), tba   OPEN SESSION:   An open session will collect 5-minute voluntary presentations of work in progress by participants. They should submit a half-page abstract containing title, authors, and summary of the research to david at irdta.eu by July 14, 2019.   INDUSTRIAL SESSION:   A session will be devoted to 10-minute demonstrations of practical applications of deep learning in industry. Companies interested in contributing are welcome to submit a 1-page abstract containing the program of the demonstration and the logistics needed. At least one of the people participating in the demonstration must register for the event. Expressions of interest have to be submitted to david at irdta.eu by July 14, 2019.   EMPLOYER SESSION:   Firms searching for personnel well skilled in deep learning will have a space reserved for one-to-one contacts. It is recommended to produce a 1-page .pdf leaflet with a brief description of the company and the profiles looked for, to be circulated among the participants prior to the event. At least one of the people in charge of the search must register for the event. Expressions of interest have to be submitted to david at irdta.eu by July 14, 2019.   ORGANIZING COMMITTEE:   Łukasz Kobyliński (Warsaw, co-chair) Sara Morales (Brussels) Manuel J. Parra-Royón (Granada) David Silva (London, co-chair)   REGISTRATION:   It has to be done at   http://deeplearn2019.irdta.eu/registration/   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 estimation of the respective demand for each course. During the event, participants will be free to attend the courses they wish.   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 is exhausted. It is highly recommended to register prior to the event.   FEES:   Fees comprise access to all courses and lunches. There are several early registration deadlines. Fees depend on the registration deadline.   ACCOMMODATION:   Suggestions for accommodation will be available in due time.   CERTIFICATE:   A certificate of successful participation in the event will be delivered indicating the number of hours of lectures.   QUESTIONS AND FURTHER INFORMATION:   david at irdta.eu   ACKNOWLEDGMENTS:   Institute of Computer Science, Polish Academy of Sciences   Institute for Research Development, Training and Advice (IRDTA) – Brussels/London   -------------- next part -------------- An HTML attachment was scrubbed... URL: From ggelfond at unomaha.edu Tue Jan 29 16:46:49 2019 From: ggelfond at unomaha.edu (Gregory Gelfond) Date: Tue, 29 Jan 2019 15:46:49 +0000 Subject: [fg-arc] LPNMR 2019 Final Call for Papers ** DEADLINE EXTENSION ** Message-ID: Call for Papers --------------------------------------------------------------------------- 15th International Conference on Logic Programming and Non-monotonic Reasoning LPNMR 2019 https://sites.sju.edu/plw/lpnmr-2019/ Philadelphia, USA June 3-7, 2019 Part of the Philadelphia Logic Week 2019 https://sites.sju.edu/plw/ Co-located with Datalog 2.0 Workshop International Workshop on Bidirectional Transformations International Workshop on Theory and Practice of Provenance --------------------------------------------------------------------------- AIMS AND SCOPE LPNMR 2019 is the fifteenth in the series of international meetings on logic programming and non-monotonic reasoning. LPNMR is a forum for exchanging ideas on declarative logic programming, non-monotonic reasoning, and knowledge representation. The aim of the conference is to facilitate interactions between researchers and practitioners interested in the design and implementation of logic-based programming languages and database systems, and those working in knowledge representation and nonmonotonic reasoning. LPNMR strives to encompass theoretical and experimental studies that have led or will lead to advances in declarative programming and knowledge representation, as well as their use in practical applications. A Doctoral Consortium will also be a part of the program. This year's edition of the conference seeks to raise submissions devoted towards use of LPNMR techniques in emerging applications stemming from such areas as deep learning, robotics, cybersecurity, modeling cyberphysical systems, and human-aware AI. Aspects that have been studied in commonsense reasoning, inconsistency tolerance, and handling of dynamic knowledge appear essential in enabling these emerging applications to provide explanations and justifications of their outcomes. LPNMR 2019 aims to bring together researchers from LPNMR core areas and application areas of the aforementioned kind in order to share research experiences, promote collaboration and identify directions for joint future research. INVITED SPEAKERS Esra Erdem, Sabanci University, Turkey Michael Gelfond, Texas Tech University, USA V.S. Subrahmanian, Dartmouth College, USA TOPICS Authors are invited to submit papers presenting original and unpublished research on all aspects of non-monotonic approaches in logic programming and knowledge representation. We invite submissions of both long and short papers on topics detailed below. Conference topics include, but are not limited to: 1. Foundations of LPNMR Systems: * Semantics of new and existing languages; * Action languages, causality; * Formalization of Commonsense Reasoning and understanding its laws and nature; * Relationships among formalisms; * Complexity and expressive power; * Inference algorithms and heuristics for LPNMR systems; * Extensions of traditional LPNMR languages such as new logical connectives or new inference capabilities; * Updates, revision, and other operations on LPNMR systems; * Uncertainty in LPNMR systems. 2. Implementation of LPNMR systems: * System descriptions, comparisons, evaluations; * Algorithms and novel techniques for efficient evaluation; * LPNMR benchmarks. 3. Applications of LPNMR: * Use of LPNMR in Commonsense Reasoning and other areas of KR; * LPNMR languages and algorithms in planning, diagnosis, argumentation, reasoning with preferences, decision making and policies; * Applications of LPNMR languages in data integration and exchange systems, software engineering and model checking; * Applications of LPNMR to bioinformatics, linguistics, psychology, and other sciences; * Integration of LPNMR systems with other computational paradigms; * Embedded LPNMR: Systems using LPNMR subsystems. SUBMISSION LPNMR 2019 welcomes submissions of long papers (13 pages) or short papers (6 pages) in the following categories: * Technical papers * System descriptions * Application descriptions The indicated number of pages includes title page, references and figures. All submissions will be peer-reviewed and accepted papers will appear in the conference proceedings published in the Springer's Lecture Notes in Artificial Intelligence (LNAI/LNCS) series. At least one author of each accepted paper is expected to register for the conference to present the work. Submissions must be written in English, present original research, and be formatted according to Springer's guidelines and technical instructions available at: https://www.springer.com/gp/authors-editors/conference-proceedings/conference-proceedings-guidelines Paper submission is enabled via the LPNMR 2019 Easychair site: https://easychair.org/conferences/?conf=lpnmr2019 Two best papers of general AI interest will be invited for rapid publication in the Artificial Intelligence Journal. Also, the journal Theory and Practice of Logic Programming will devote a special issue for a joint event of LPNMR/Datalog 2.0. Four to six papers will be selected for a rapid publication. An additional prize of 1000 EUR, sponsored by Springer, will be shared out among the best papers of the conference. In case of invited papers for a rapid publication in journals, there should be at least 30% new content compared to the published conference paper. The extra material should consist of extensions of the existing material such as proofs, further experimental results, and implementation details (some of which would appear as supplementary material). New results could be included too, if appropriate. Authors invited to submit to the special issue should confirm that such extra material is available. MULTIPLE SUBMISSION POLICY LPNMR 2019 will not accept any paper which, at the time of submission, is under review or has already been published or accepted for publication in a journal or another conference. Authors are also required not to submit their papers elsewhere during LPNMR's review period. However, these restrictions do not apply to previous workshops with a limited audience and without archival proceedings. COLOCATED EVENTS DATALOG 2.0 Workshop International Workshop on Bidirectional Transformations International Workshop on Theory and Practice of Provenance ASSOCIATED EVENTS LPNMR DOCTORAL CONSORTIUM - A mentoring event where PhD students have a chance to present their current research, get feedback from peers and senior researchers, and establish contacts for their future career. WORKSHOPS - LPNMR 2019 will include specialized workshops to be held on June 3 and 4: * The 12th Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP) Organizers: Jorge Fandinno and Johannes K. Fichte * Causal Reasoning and Explanation in Logic Programming Organizers: Emily Leblanc, Joost Vennekens, Son Tran, Pedro Cabalar and, Jorge Fandino * The 5th International Workshop on Defeasible and Ampliative Reasoning (DARe) Organizers: Richard Booth, Giovanni Casini, and Ivan Varzinczak * The 5th International Workshop on Grounding and Transformations for Theories with Variables (GTTV) Organizers: Antonius Weinzierl and Peter Schuller * The 3rd International Workshop on User-Oriented Logic Paradigms (IULP) Organizers: Stefan Ellmauthaler and Christos Rodosthenous * Workshop on the ASP Challenge 2019 (WAC 2019) Organizers: Carmine Dodaro, Christoph Redl, and Peter Schuller FURTHER INFORMATION WWW: https://sites.sju.edu/plw/lpnmr-2019/ Email: lpnmr2019 at easychair.org IMPORTANT DATES * Paper registration: February 5 *(UPDATED)* * Paper submission: February 12 *(UPDATED)* * Notification: March 17 *(UPDATED)* * Final versions due: April 2 VENUE Philadelphia, or the "City of Brotherly Love," is the sixth-largest city in the United States and once served as the nation's capital. Philadelphia is an active historical and cultural hub, and has been striving for excellence since 1776. The city's rich history of knowledge and academic prowess has never diminished as it continues to promote and foster higher education. Visitors can explore various attractions in and around Philadelphia, such as the Philadelphia Museum of Art, the Franklin Institute, the Barnes Foundation, the Reading Terminal Market, and much more. Located on the East Coast of the U.S., between New York City and Washington D.C., Philadelphia is easily reachable by air, train, and car. As a testament to Philadelphia's commitment to educational advancement, LPNMR 2019 will be held in one of the city's top colleges, Saint Joseph's University. Saint Joseph's campus is located at the outskirts of the city, in an area that features historic homes, green areas, and a quick connection to Philadelphia's Center City and Old City. GENERAL CHAIR Marcello Balduccini, Saint Joseph's University, USA PROGRAM CHAIRS Yuliya Lierler, University of Neraska at Omaha, USA Stefan Woltran, TU Wien, Austria PUBLICITY CHAIR Gregory Gelfond, University of Nebraska at Omaha, USA WORKSHOPS CHAIR Mario Alviano, University of Calabria, Italy DOCTORAL CONSORTIUM CHAIRS Fangkai Yang, MAANA Inc., USA Joerg Puehrer, TU Wien, Austria MARKETING CHAIRS Elizabeth Angelucci, Saint Joseph's University, USA Kelsey Neri, Saint Joseph's University, USA PROGRAM COMMITTEE Chitta Baral Arizona State University Bart Bogaerts Katholieke Universiteit Leuven Martin Brain University of Oxford Gerhard Brewka Leipzig University Pedro Cabalar Corunna University Francesco Calimeri University of Calabria Stefania Costantini Univ. di L'Aquila Marina De Vos University of Bath James Delgrande Simon Fraser University Agostino Dovier Univ. di Udine Thomas Eiter Vienna University of Technology Esra Erdem Sabanci University Wolfgang Faber Alpen-Adria-Universitat Klagenfurt Johannes K. Fichte TU Dresden Paul Fodor Stony Brook University Andrea Formisano Universita di Perugia, Italy Gerhard Friedrich Alpen-Adria-Universitat Klagenfurt Sarah Alice Gaggl TU Dresden Martin Gebser University of Potsdam Michael Gelfond Texas Tech University Giovanni Grasso University of Oxford Amelia Harrison The University of Texas at Austin Anthony Hunter University College London Giovambattista Ianni University of Calabria, Italy Daniela Inclezan Miami University Tomi Janhunen Aalto University Gabriele Kern-Isberner Technische Universitaet Dortmund Matthias Knorr Universidade NOVA de Lisboa Joohyung Lee Arizona State University Joao Leite Universidade NOVA de Lisboa Nicola Leone University of Calabria Vladimir Lifschitz University of Texas at Austin Fangzhen Lin Hong Kong University of Science and Technology Marco Maratea DIBRIS, University of Genova Thomas Meyer University of Cape Town and CAIR Alessandra Mileo Dublin City University Emilia Oikarinen Aalto University David Pearce Universidad Politecnica de Madrid Axel Polleres Vienna University of Economics and Business - WU Wien Enrico Pontelli New Mexico State University Christoph Redl Vienna University of Technology Francesco Ricca University of Calabria Orkunt Sabuncu TED University, Ankara Chiaki Sakama Wakayama University Torsten Schaub University of Potsdam Peter Schuller Vienna University of Technology Guillermo R. Simari Universidad del Sur in Bahia Blanca Mantas Simkus Vienna University of Technology Tran Cao Son New Mexico State University Theresa Swift NOVALINKS, Universidade Nova de Lisboa Eugenia Ternovska Simon Fraser University Daniele Theseider Dupre' Universita' del Piemonte Orientale Matthias Thimm Universitat Koblenz-Landau Hans Tompits Vienna University of Technology Mirek Truszczynski University of Kentucky Agustin Valverde Universidad de Malaga, Malaga, Spain Johannes P. Wallner Vienna University of Technology Kewen Wang Griffith University Yisong Wang Guizhou University Renata Wassermann University of Sao Paulo Antonius Weinzierl Vienna University of Technology Jia-Huai You University of Alberta Yuanlin Zhang Texas Tech University Yi Zhou University of Technology, Sydney From me at bohlouli.com Tue Jan 29 20:12:16 2019 From: me at bohlouli.com (Mahdi Bohlouli) Date: Tue, 29 Jan 2019 20:12:16 +0100 Subject: [fg-arc] PhD Scholarship, L3S at University of Hannover and Petanux GmbH, Web and Data Science Message-ID: An HTML attachment was scrubbed... URL: From announce at cs.ucy.ac.cy Wed Jan 30 11:02:02 2019 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Wed, 30 Jan 2019 12:02:02 +0200 Subject: [fg-arc] 12th International Conference on Informatics in Schools (ISSEP 2019): Second Call for Papers Message-ID: <122H654I-J8WO-T76-3KNZ-S81IPD0QG5E@cs.ucy.ac.cy> *** SECOND CALL FOR PAPERS *** 12th International Conference on Informatics in Schools (ISSEP 2019) Lordos Beach Hotel, Larnaca, Cyprus, November 18-20, 2019 http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkxMnRoIEludGVybmF0aW9uYWwgQ29uZmVyZW5jZSBvbiBJbmZvcm1hdGljcyBpbiBTY2hvb2xzIChJU1NFUCAyMDE5KTogU2Vjb25kIENhbGwgZm9yIFBhcGVycwkzMzkJTGlzdHMJMTQyCWNsaWNrCXllcwlubw==&url=http%3A%2F%2Fcyprusconferences.org%2Fissep2019%2F *** Submission Deadline: May 3rd, 2019 *** The International Conference on Informatics in Schools: Situation, Evolution and Perspectives (ISSEP) is a forum for researchers and practitioners in the area of Informatics education, in both primary and secondary schools. The conference provides an opportunity for educators and researchers to reflect upon the goals and objectives of this subject matter, its curricula, various teaching and learning paradigms and topics, as well as the connections to everyday life -- including the various ways of developing Informatics Education in schools. The conference focuses on educational goals and objectives of Informatics or Computer Science as a subject matter in primary, secondary and vocational education and their different realisation in compulsory and voluntary courses. Scope The main topics of the conference are: · Sustainable education in Informatics for pupils of all ages · Connecting Informatics lessons to the students' everyday lives · Teacher education in Informatics · Research on Informatics in schools (empirical / qualitative / quantitative / theory building / research methods / comparative studies / transferability of methods and results from other disciplines) · Computer tools in teaching and studying Informatics In particular, contributions solicited cover a variety of topics including but not limited to: · Accessibility · Assessment · Application of intelligent technologies to personalise learning · Application of Learning Analytics to analyse learners behaviour · Classroom management · Communication skills · Contests and Competitions in Informatics · Computers and society · Courseware · Curriculum issues · Diagnostic teaching · Empirical methods · Ethical/societal issues · Gender and diversity issues · High school/college transition issues · Information systems · Interdisciplinary courses and projects · Laboratory/active learning · Learner profiles · Learning personalisation · Misconceptions · Multimedia · Pedagogy · Programming contests · Students cognitive traits · Students learning styles · Student retention and persistence · Research in Informatics education · Role of programming and algorithmics · Teacher education · Using emerging instructional technologies · Web-based techniques Work submitted to ISSEP should be novel and material that has been previously published should not be republished unless the work has been significantly revised. Note however, that while novel work is highly valued, constructive replication of previous studies can also be a significant contribution, and a new interpretation or evaluation of previously-published work can make a good contribution. The submission site for ISSEP 2019 will be available soon on the conference web site. Call for Manuscripts Authors are invited to submit high-quality manuscripts reporting original unpublished research and recent developments in the topics related to the conference. All papers will be peer reviewed and comments will be provided to the authors. There are three different submission categories: · Research and theory papers · Best practice papers / country reports · Work in progress / discussion papers Submissions must be formatted according to the Springer LNCS style guidelines using LaTeX. The maximum length of the paper (including references, but excluding the optional appendix) is 12 pages. For online Latex editors, see e.g. Overleaf and ShareLatex. Abstract length -- 200-300 words. Submissions are reviewed using a double-blind process. Authors should leave their names and affiliations blank in the articles submitted for review, and take care to avoid details in the article that could be used to identify the authors. These include institution information, specific funding information and clear self-citations. When using the LNCS style, do not change the margin size or the font, do not make a separate title page, etc.: use the LNCS style file as given. However, please do add page numbers, which can be done, for example, by adding \pagestyle{plain} just before \begin{document}. Accepted papers will be included in the ISSEP 2019 local proceedings. Selected top quality papers will be published in the Springer Lecture Notes in Computer Science (LNCS) series. Authors will also have the possibility to extend their work and publish it in the journal "Computer Tools in Education Journal". Important Dates · Abstract submission: May 3rd, 2019 · Paper submission: May 31st, 2019 · Notification of acceptance: August 30th, 2019 · Camera-ready submission: September 13th, 2019 · Author registration: September 13th, 2019 · Early (non-author) registration: October 18th, 2019 Committees General and Organising Chair George A. Papadopoulos, University of Cyprus, Cyprus Steering Committee Andreas Bollin, University of Klagenfurt, Austria Valentina Dagiere, Vilnius University, Lithuania Yasemin Gulbahar, Ankara University, Turkey Juraj Hromkovi?, Swiss Federal Institute of Technology Zurich, Switzerland Ivan Kalas, Comenius University, Slovakia George A. Papadopoulos, University of Cyprus, Cyprus Sergei Pozdniakov, Saint Petersburg Electrotechnical University, Russia Program Committee Chair Sergei Pozdniakov, Saint Petersburg Electrotechnical University, Russia Program Committee Erik Barendsen, Radboud University Nijmegen and Open Universiteit, Netherlands Andrej Brodnik, University of Ljubljana, Slovenia Christian Datzko, SVIA-SSIE-SSII, Basel, Switzerland Ira Diethelm, Oldenburg University, Germany Michalis Giannakos, Norwegian University of Science and Technology, Norway Bruria Haberman, Holon Institute of Technology, Tel Aviv, Israel Peter Hubwieser , Technical University Munich, Germany Petri Ihantola, Tampere University of Technology, Finland Dennis Komm, Pedagogical University Chur, Switzerland Mark Laanpere, Tallinn University, Estonia Peter Micheuz, University Klagenfurt and Gymnasium Völkermarkt, Austria Mattia Monga, Università degli Studi di Milano, Italy Ralf Romeike, University Erlangen (FAU), Germany Giovanni Serafini, Swiss Federal Institute of Technology Zurich, Switzerland Maciej M. Syslo, Nicolaus Copernicus University, Torun, Poland -------------- next part -------------- An HTML attachment was scrubbed... URL: From announce at cs.ucy.ac.cy Thu Jan 31 14:30:12 2019 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Thu, 31 Jan 2019 15:30:12 +0200 Subject: [fg-arc] 8th Computer Science Education Research Conference (CSERC' 19): Second Call for Papers Message-ID: <6ZT7H8RF-KCDP-ZEK2-H58K-5MSZ76ZQCTB@cs.ucy.ac.cy> *** SECOND CALL FOR PAPERS *** 8th Computer Science Education Research Conference (CSERC '19) Lordos Beach Hotel, Larnaca, Cyprus, November 18-20, 2019 http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQk4dGggQ29tcHV0ZXIgU2NpZW5jZSBFZHVjYXRpb24gUmVzZWFyY2ggQ29uZmVyZW5jZSAoQ1NFUkMnIDE5KTogU2Vjb25kIENhbGwgZm9yIFBhcGVycwkzNDEJTGlzdHMJMTQyCWNsaWNrCXllcwlubw==&url=https%3A%2F%2Fwww.ou.nl%2Fweb%2Fcserc *** Submission Deadline: May 3rd, 2019 *** *** Proceedings to be published by ACM ICPS *** The Computer Science Education Research Conference (CSERC) is an international forum for researchers with interests in educational aspects of all computing disciplines including computer science, computer engineering, software engineering, and information systems. It embraces a broad view of the current and future trends in computing education and aspires to be a lively environment for presenting the latest research and empirical results. Submissions to CSERC 2019 might cover, but are not limited to, the following topics: · Specific educational subject matter, such as programming, database systems, computer security, and modelling. · Particular educational innovations, such as MOOCs, flipped-classroom, game-based education, and E-Learning. · Specific groups of students, such as first years, women, masters students, minorities, impaired students. · Broader topics, such as curriculum, group-work, assessment, class infrastructure. Submissions Original and unpublished submissions in all areas related to computing education are invited in the following categories: · Research Paper: Reporting theoretical or theoretically-informed empirical studies undertaken to investigate a specific aspect or address a particular problem in computing education. · Experience Report: Describing a classroom innovation and an evaluation of its impact. · Software Report: Describing developed tools for supporting teaching, learning or assessment in computing education. Types of accepted submissions include: · Full Paper (approximately 12 pages). · Practical Report (about 6 pages). · Poster (2 pages). Submission Format Templates for submissions can be found at the ACM SIG roceedings website, http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQk4dGggQ29tcHV0ZXIgU2NpZW5jZSBFZHVjYXRpb24gUmVzZWFyY2ggQ29uZmVyZW5jZSAoQ1NFUkMnIDE5KTogU2Vjb25kIENhbGwgZm9yIFBhcGVycwkzNDEJTGlzdHMJMTQyCWNsaWNrCXllcwlubw==&url=https%3A%2F%2Fwww.acm.org%2Fpublications%2Fproceedings-template . Papers can be submitted using EasyChair: http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQk4dGggQ29tcHV0ZXIgU2NpZW5jZSBFZHVjYXRpb24gUmVzZWFyY2ggQ29uZmVyZW5jZSAoQ1NFUkMnIDE5KTogU2Vjb25kIENhbGwgZm9yIFBhcGVycwkzNDEJTGlzdHMJMTQyCWNsaWNrCXllcwlubw==&url=https%3A%2F%2Feasychair.org%2Fconferences%2F%3Fconf%3Dcserc2019 . Documents proposed for conference presentation should be high quality, unpublished, original work and submitted on-line. The official language of the conference is English. Review Process and Publication Papers submitted for presentation at the conference are reviewed by the international Program Committee. The authors of the reviewed submissions will receive constructive feedback provided by CSERC Program Committee. Authors of papers presented at the conference will produce a final version of the paper, which takes into account the discussions that were held during the conference. The final versions of the papers accepted for presentation at CSERC'19 will be published in the ACM Digital library. At least one co-author of every accepted paper must register for the event and present the paper. Important Dates · Abstract submission: Friday 3 May 2019 · Paper submission deadline: Tuesday 21 May 2019 · Notification of paper acceptance: Friday 30 August 2019 · Author registration: Friday 13 September 2019 · Early (non-author) registration: Friday 18 October 2019 · Submission of camera ready papers taking reviewer comments in consideration: Thursday 19 December 2019 · Submission of paper final versions: Friday 10 January 2020 Colocation with ISSEP 2019 CSERC'19 co-locates with the 12th International Conference on Informatics in Schools: Situation, Evolution and Perspectives (ISSEP 2019). ISSEP is a forum for researchers and practitioners in the area of Informatics education, in both primary and secondary schools. It provides an opportunity for educators to reflect upon the goals and objectives of this subject matter, its curricula and various teaching/learning paradigms and topics, possible connections to everyday life and various ways of developing Informatics Education in schools. Combining CSERC and ISSEP provides a unique opportunity for educational researchers and practitioners to get a broad and comprehensive overview of educational research initiatives taking place at primary and secondary schools as well as higher education. Committees Program Committee Chair Ebrahim Rahimi, Open Universiteit, The Netherlands Program Committee Co-Chair Dave Stikkolorum, University of Leiden, The Netherlands Organising Chair George A. Papadopoulos, University of Cyprus, Cyprus Web Master Evert van de Vrie, Open Universiteit, The Netherlands -------------- next part -------------- An HTML attachment was scrubbed... URL: