From grlmc at grlmc.com Fri Oct 6 01:22:24 2017 From: grlmc at grlmc.com (GRLMC) Date: Fri, 06 Oct 2017 01:22:24 +0200 Subject: [fg-arc] SLSP 2017: call for participation Message-ID: <545102060a010b0702515303060b5a505b54530753020207020a09070e00005004040152015d010b065e0450035450@grlmc_ip-zone_com-6> SLSP 2017: call for participation*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line* ********************************************************************************** 5th INTERNATIONAL CONFERENCE ON STATISTICAL LANGUAGE AND SPEECH PROCESSING SLSP 2017 Le Mans, France October 23-25, 2017 Organized by: Computer Science Lab (LIUM) University of Le Mans Research Group on Mathematical Linguistics (GRLMC) Rovira i Virgili University http://grammars.grlmc.com/SLSP2017/ ********************************************************************************** PROGRAM Monday, October 23 09:00 - 09:30    Registration 09:30 - 09:40    Opening 09:40 - 10:30    Haizhou Li: Recent Advances in Singing Synthesis - Invited lecture 10:30 - 11:00    Coffee break 11:00 - 12:15 Mercedes García Martínez, Loïc Barrault and Fethi Bougares. Neural Machine Translation by Generating Multiple Linguistic Factors Denis Jouvet, Katarina Bartkova, Mathilde Dargnat and Lou Lee. Analysis and Automatic Classification of Some Discourse Particles on a Large Set of French Spoken Corpora Javad Nouri and Roman Yangarber. Toward Learning Morphology of Natural Language as a Finite-state Grammar 12:15 - 13:45    Lunch 13:45 - 15:00 Ferdinand Fuhrmann, Anna Maly, Christina Leitner and Franz Graf. Three Experiments on the Application of Automatic Speech Recognition in Industrial Environments Sahar Ghannay, Yannick Estève and Nathalie Camelin. Enriching Confusion Networks for Post-processing Alp Öktem, Mireia Farrús and Leo Wanner. Attentional Parallel RNNs for Generating Punctuation in Transcribed Speech 15:00 - 15:15    Break 15:15 - 16:30 Céline Manenti, Thomas Pellegrini and Julien Pinquier. Unsupervised Speech Unit Discovery using k-means and Neural Networks Gueorgui Pironkov, Stéphane Dupont, Sean Wood and Thierry Dutoit. Noise and Speech Estimation as Auxiliary Tasks for Robust Speech Recognition Radek Šafarík and Jan Nouza. Unified Approach to Development of ASR Systems for East Slavic Languages --- Tuesday, October 24 09:00 - 09:50    Bhiksha Raj Ramakrishnan: An Introduction to Neural Networks - Invited lecture 09:50 - 10:20    Coffee break 10:20 - 11:35 Sadeen Alharbi, Madina Hasan and Anthony A.J. Simons. Detecting Stuttering Events in Transcripts of Children's Speech Kevin El Haddad, Ilaria Torre, Emer Gilmartin, Huseyin Cakmak, Stéphane Dupont, Thierry Dutoit and Nick Campbell. Introducing AmuS: The Amused Speech Database Abdelwahab Heba, Thomas Pellegrini, Tom Jorquera, Régine André-Obrecht and Jean-Pierre Lorré. Lexical Emphasis Detection in Spoken French using F-BANKs and Neural Networks 11:35 - 11:50    Break and Group photo 11:50 - 13:05 Michal Novák, Katerina Rysová, Magdaléna Rysová and Jirí Mírovský. Incorporating Coreference to Automatic Evaluation of Coherence in Essays Etienne Papegnies, Vincent Labatut, Richard Dufour and Georges Linarès. Graph-based Features for Automatic Online Abuse Detection Mathias Quillot, Cassandre Ollivier, Richard Dufour and Vincent Labatut. Exploring Temporal Analysis of Tweet Contents from Cultural Events 13:05 -    14:35    Lunch 14:35 - 15:35    Poster presentations Sina Ahmadi. Recurrent Neural Network Based Language Models for Spelling and Grammatical Error Correction Sunil Kumar Kopparapu and C. Anantaram. Reusing General Purpose ASR for Domain Specific Speech Recognition Using Posteriors Seongmin Mun, Guillaume Desagulier and Kyungwon Lee. How Can We Capture Multiword Expressions? Roelant Ossewaarde, Roel Jonkers, Fedor Jalvingh and Roelien Bastiaanse. Automated Detection of Unfilled Pauses in Speech of Healthy and Brain-damaged Individuals Amit Sangroya, C. Anantaram, Mrinal Rawat and Sunil Kumar Kopparapu. A Bio-inspired Mechanism to Improve Accuracy of ASR Output Sentences Patrice A. Yemmene and Ron C. Chiang. Automatic Speech Recognition for Ngiemboon Language in Mobile and Cloud Computing 16:00 - 18:00    Touristic visit --- Wednesday, October 25 09:00 - 09:50    Paolo Rosso: Author Profiling in Social Media: The Impact of Emotions in Discourse Analysis - Invited lecture 09:50 - 10:20    Coffee break 10:20 - 11:35 Manny Rayner, Nikolaos Tsourakis and Johanna Gerlach. Lightweight Spoken Utterance Classification with CFG, tf-idf and Dynamic Programming Máté Ákos Tündik, Balázs Tarján and György Szaszák. Low Latency MaxEnt- and RNN-based Word Sequence Models for Punctuation Restoration of Closed Caption Data Jan Vanek, Daniel Soutner, Josef Psutka and Jan Zelinka. A Regularization Post Layer: An Additional Way how to Make Deep Neural Networks Robust 11:35 - 11:50    Break 11:50 - 13:05 Gil Rocha and Henrique Lopes Cardoso. Towards a Relation-based Argument Model for Argumentation Mining Jose Patino, Héctor Delgado and Nicholas Evans. Speaker Change Detection using Binary Key Modelling with Contextual Information Marie Tahon, Gwénolé Lecorvé, Damien Lolive and Raheel Qader. Perception of Expressivity in TTS: Linguistics, Phonetics or Prosody? 13:05 - 13:15    Closing 13:15 -        Lunch -------------- next part -------------- An HTML attachment was scrubbed... URL: From jpg at ruc.dk Fri Oct 6 13:40:44 2017 From: jpg at ruc.dk (John Patrick Gallagher) Date: Fri, 6 Oct 2017 11:40:44 +0000 Subject: [fg-arc] FIRST call for papers. VPT 2018 - Sixth International Workshop on Verification and Program Transformation References: Message-ID: <4A3ED2AE-2291-4E95-A78F-A50DC414E87B@ruc.dk> FIRST CALL FOR PAPERS Sixth International Workshop on Verification and Program Transformation April 21st 2018, Thessaloniki, Greece Co-Located with ETAPS 2018 The Sixth International Workshop on Verification and Program Transformation (VPT 2018) aims to bring together researchers working in the areas of Program Verification and Program Transformation. The previous workshops in this series were: VPT 2013, Saint Petersburg, Russia VPT 2014, Vienna, Austria VPT 2015, London, UK VPT 2016, Eindhoven, The Netherlands VPT 2017, Uppsala, Sweden The workshop solicits research, position, application, and system description papers with a special emphasis on case studies, demonstrating viability of the interactions between the research fields of program transformation and program verification in a broad sense. Also papers in related areas, such as program testing and program synthesis are welcomed. Topics of interest include, but are not limited to: Verification by Program Transformation Verification Techniques in Program Transformation and Synthesis Verification and Certification of Programs Transformations Program Analysis and Transformation Program Testing and Transformation Verifiable Computing and Program Transformation Case studies Important Dates January 16th, 2018: Abstract submission deadline January 22nd, 2018: Paper submission deadline February 19th, 2018: Acceptance notification February 25th, 2018: Camera ready version (for the pre-proceedings) April 21st, 2018: Workshop Submission Guidelines Authors should submit an electronic copy of the paper in PDF, formatted in the Electronic Proceedings in Theoretical Computer Science LaTeX Style (http://style.eptcs.org/), via the Easychair submission website for VPT 2018 : https://easychair.org/conferences/?conf=vpt2018 Papers must describe original work that has not been published, or currently submitted, to a journal, conference, or workshop with refereed proceedings. Also papers that already appeared in unpublished or informally published workshop proceedings may be submitted. Each submission must include on its first page the paper title; authors and their affiliations; contact author's email; abstract; and three to four keywords that will be used to assist the PC in selecting appropriate reviewers for the paper. Page numbers should appear on the manuscript to help the reviewers in writing their report. Submissions should not exceed 15 pages including references but excluding well-marked appendices not intended for publication. Reviewers are not required to read the appendices, and thus papers should be intelligible without them. Proceedings We hope to publish the post-proceedings in the Electronic Proceedings in Theoretical Computer (EPTCS) series (http://about.eptcs.org/), as was done for previous editions of VPT. If the workshop will attract sufficiently many high quality papers, a special issue of a journal on the topic of the workshop will be considered. The special issue will be open to high quality papers accepted for presentation in previous editions of the workshop. Program Committee: Emanuele De Angelis, University G.d'Annunzio of Chieti-Pescara, Italy Olivier Danvy, Yale-NUS College, Singapore John Gallagher, Roskilde University and IMDEA Software Institute, Denmark and Spain (Chair) Robert Glueck, University of Copenhagen, Denmark Geoff W. Hamilton, Dublin City University, Republic of Ireland Bishoksan Kafle, The University of Melbourne, Australia Julia Lawall, INRIA Paris, France Alexei Lisitsa, The University of Liverpool, UK Andrei P. Nemytykh, Program Systems Institute of RAS, Russia Maurizio Proietti, IASI-CNR, Rome, Italy C. R. Ramakrishnan, Stony Brook University, USA Kostis Sagonas, Uppsala University, Sweden Hirohisa Seki, Nagoya Institute of Technology, Japan Organisers: Alexei Lisitsa (The University of Liverpool, UK) Andrei P. Nemytykh (Program Systems Institute of RAS, Russia) John Gallagher (Roskilde University and IMDEA Software Institute) Contacts E-mail: Alexei Lisitsa, a.lisitsa at csc.liv.ac.uk Andrei P. Nemytykh, nemytykh at math.botik.ru John Gallagher, jpg at ruc.dk Web: http://refal.botik.ru/vpt/vpt2018/, http://www.etaps.org/index.php/2018/workshops From grlmc at grlmc.com Tue Oct 10 01:30:41 2017 From: grlmc at grlmc.com (GRLMC) Date: Tue, 10 Oct 2017 01:30:41 +0200 Subject: [fg-arc] BigDat 2018: early registration October 19 Message-ID: <545102060a010b070355500306045a5d035351020652005756560850000e5b5454530454575f525004040453570252@grlmc_ip-zone_com-6> BigDat 2018: early registration October 19*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line* ******************************************************* 4th INTERNATIONAL WINTER SCHOOL ON BIG DATA BigDat 2018 Timisoara, Romania January 22-26, 2018 Organized by: West University of Timisoara Rovira i Virgili University http://grammars.grlmc.com/BigDat2018/ ******************************************************* --- Early registration deadline: October 19, 2017 --- ******************************************************* SCOPE: BigDat 2018 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 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, 26 five hour and fifteen minute-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. Also, there will be two special sessions with industrial and recruitment profiles. ADDRESSED TO: Master 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 2018 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 2018 will take place in Timisoara, which has been nominated one of the European Capitals of Culture in 2021. The venue will be: Universitatea de Vest Blvd. Vasile Parvân, nr. 4 300223 Timisoara KEYNOTE SPEAKERS: (to be completed) tba PROFESSORS AND COURSES: Paul Bliese (University of South Carolina), [introductory/intermediate] Using R for Mixed-effects (Multilevel) Models Hendrik Blockeel (KU Leuven), [intermediate] Decision Trees for Big Data Analytics Diego Calvanese (Free University of Bozen-Bolzano), [intermediate] tba Nick Duffield (Texas A&M University), [introductory/intermediate] Sampling for Big Data Sašo Džeroski (Jožef Stefan Institute), [introductory/intermediate] Multi-target Prediction: Techniques and Applications Geoffrey C. Fox (Indiana University, Bloomington), [intermediate] Integration of HPC, Big Data Analytics and Software Ecosystem Minos Garofalakis (Technical University of Crete), [intermediate/advanced] Data Streaming Analytics David W. Gerbing (Portland State University), [introductory] Data Visualization with R Xiaohua Tony Hu (Drexel University), [introductory/advanced] Big Data Analysis in Microbiome Study Maurizio Lenzerini (Sapienza University of Rome), [intermediate/advanced] Semantic Technologies for Open Data Publishing Bing Liu (University of Illinois, Chicago), [intermediate/advanced] Lifelong Learning and its Applications in NLP B.S. Manjunath (University of California, Santa Barbara), [introductory/intermediate] Working with Unstructured (Big) Data Folker Meyer (Argonne National Laboratory), [introductory/intermediate] Efficient Multi Cloud Execution of Reproducible Data Analytics using Common Workflow Language, AWE and SHOCK Wladek Minor (University of Virginia), [introductory/advanced] Big Data in Biomedical Sciences Fionn Murtagh (University of Huddersfield), [introductory/advanced] The New Science of Big Data Analytics, Based on the Geometry and the Topology of Complex, Hierarchic Systems Raymond Ng (University of British Columbia), [introductory] Mining and Summarizing Text Conversations Srinivasan Parthasarathy (Ohio State University), [introductory/intermediate] Network Science Fundamentals Hanan Samet (University of Maryland, College Park), [introductory/intermediate] Sorting in Space: Multidimensional, Spatial, and Metric Data Structures for Applications in Spatial Databases, Geographic Information Systems (GIS), and Location-based Services Kyuseok Shim (Seoul National University), [introductory/intermediate] MapReduce Algorithms for Big Data Analysis Jaideep Srivastava (Qatar Computing Research Institute), [introductory/intermediate] Social Computing Jeffrey Ullman (Stanford University), [introductory] Big-data Algorithms That Aren't Machine Learning Pascal Van Hentenryck (University of Michigan, Ann Arbor), [intermediate] Big Data in Transportation and Mobility Sebastián Ventura (University of Córdoba), [intermediate/advanced] Pattern Mining on Big Data Haixun Wang (Facebook), [intermediate/advanced] Understanding Natural Language: End-to-end and Structure Learning Approaches Xiaowei Xu (University of Arkansas, Little Rock), [introductory/advanced] Mining Big Networked Data Zhongfei Zhang (Binghamton University), [introductory/advanced] Relational and Media Data Learning and Knowledge Discovery 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.silva409 (at) yahoo.com by January 15, 2018. INDUSTRIAL SESSION: A session will be devoted to 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, the duration requested and the logistics necessary. At least one of the people participating in the demonstration should have registered for the event. Expressions of interest have to be submitted to david.silva409 (at) yahoo.com by January 15, 2018. EMPLOYER SESSION: Firms searching for personnel well skilled in big data will have a space reserved for one-to-one contacts. At least one of the people in charge of the search should have registered for the event. Expressions of interest have to be submitted to david.silva409 (at) yahoo.com by January 15, 2018. ORGANIZING COMMITTEE: Carlos Martín-Vide (co-chair) Viorel Negru Manuel J. Parra Royón Dana Petcu Monica Sancira (co-chair) David Silva REGISTRATION: It has to be done at http://grammars.grlmc.com/BigDat2018/registration.php  The selection of up to 8 courses requested in the registration template is only tentative and non-binding. For the sake of organization, it will be helpful to have an approximation of the respective demand for each course. 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 if 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: Participants will be delivered a certificate of attendance indicating the number of hours of lectures. QUESTIONS AND FURTHER INFORMATION: david.silva409 (at) yahoo.com ACKNOWLEDGMENTS: Universitatea de Vest din Timisoara Universitat Rovira i Virgili   -------------- next part -------------- An HTML attachment was scrubbed... URL: From cesar.a.munoz at nasa.gov Wed Oct 11 15:11:20 2017 From: cesar.a.munoz at nasa.gov (Munoz, Cesar (LARC-D320)) Date: Wed, 11 Oct 2017 13:11:20 +0000 Subject: [fg-arc] [fm-announcements] NFM 2018 - 2nd CFP - Extended Deadlines Message-ID: <0CDD3F1E-69B1-4FC8-B5D2-B6BA64E4B270@nasa.gov> NFM 2018 - 2nd Call for Papers *** EXTENDED DEADLINES *** The 10th NASA Formal Methods Symposium 30 Years of Formal Methods at NASA ------------------------------------- https://shemesh.larc.nasa.gov/NFM2018/ April 17-19, 2018 Newport News Marriott at City Center Newport News, VA, USA Theme of the Symposium ---------------------- The widespread use and increasing complexity of mission-critical and safety-critical systems at NASA and in the aerospace industry require advanced techniques that address these systems' specification, design, verification, validation, and certification requirements. The NASA Formal Methods Symposium (NFM) is a forum to foster collaboration between theoreticians and practitioners from NASA, academia, and industry. NFM's goals are to identify challenges and to provide solutions for achieving assurance for such critical systems. New developments and emerging applications like autonomous software for Unmanned Aerial Systems (UAS), UAS Traffic Management (UTM), advanced separation assurance algorithms for aircraft, and the need for system-wide fault detection, diagnosis, and prognostics provide new challenges for system specification, development, and verification approaches. Similar challenges need to be addressed during development and deployment of on-board software for both spacecraft and ground systems. The focus of the symposium will be on formal techniques and other approaches for software assurance, including their theory, current capabilities and limitations, as well as their potential application to aerospace, robotics, and other NASA-relevant safety-critical systems during all stages of the software life-cycle. Topics of interest include but are not limited to: ------------------------------------------------- * Formal verification, including theorem proving, model checking, and static analysis * Advances in automated theorem proving including SAT and SMT solving * Use of formal methods in software and system testing * Run-time verification * Techniques and algorithms for scaling formal methods such as abstraction and symbolic methods, compositional techniques, as well as parallel and/or distributed techniques * Code generation from formally verified models * Safety cases and system safety * Formal approaches to fault tolerance * Theoretical advances and empirical evaluations of formal methods techniques for safety-critical systems, including hybrid and embedded systems * Formal methods in systems engineering and model-based development Submission Details ------------------ There are two categories of submissions: 1. Regular papers describing fully developed work and complete results (maximum 15 pages) 2. Short papers on tools, experience reports, or work in progress with preliminary results (maximum 6 pages) All papers must be in English and describe original work that has not been published or submitted elsewhere. All submissions will be fully reviewed by at least three members of the Program Committee. Papers will appear in a volume of Springer's Lecture Notes in Computer Science (LNCS), and must use LNCS style formatting. Papers must be submitted in PDF format at the EasyChair submission site: https://easychair.org/conferences/?conf=nfm2018 Authors of selected best papers will be invited to submit an extended version to a special issue in Springer's Innovations in Systems and Software Engineering: A NASA Journal (http://www.springer.com/computer/swe/journal/11334). Important Dates --------------- Abstract Submission: December 1, 2017 ** Extended ** Paper Submission: December 11, 2017 ** Extended ** Paper Notification: January 23, 2018 Camera Ready Deadline: February 6, 2018 Symposium: April 17-19, 2018 Program Committee ---------------- Erika Abraham, RWTH Aachen University, Germany Mauricio Ayala-Rincon, Universidade de Brasilia, Brazil Julia Badger, NASA, USA Dirk Beyer, LMU Munich, Germany Nikolaj Bjorner, Microsoft, USA Jasmin Christian Blanchette, Vrije Universiteit Amsterdam, The Netherlands Sylvie Boldo, Inria, France Kalou Cabrera Castillos, LAAS-CNRS, France Misty Davies, NASA, USA Catherine Dubois, ENSIIE, France Stefania Gnesi, ISTI, Italy Alberto Griggio, FBK, Itlaly George Hagen, NASA, USA John Harrison, Intel, USA Klaus Havelund, JPL/NASA, USA Ashlie Hocking, Dependable Computing, USA Susmit Jha, SRI International, USA Rajeev Joshi, JPL/NASA, USA Laura Kovacs, Vienna University of Technology, Austria Panagiotis Manolios, Northeastern University, USA Natasha Neogi, NASA, USA Lee Pike, USA Murali Rangarajan, Boeing, USA Elvinia Riccobene, University of Milan, Italy Camilo Rocha, Universidad Javeriana de Cali, Colombia Kristin Yvonne Rozier, Iowa State University, USA Sriram Sankaranarayanan, University of Colorado Boulder, USA Johann Schumann, SGT, USA Konrad Slind, Rockwell Collins, USA Cesare Tinelli, University of Iowa, USA Laura Titolo, National Institute of Aerospace, USA Christoph Torens, DLR, Germany Michael Whalen, University of Minnesota, USA Virginie Wiels, ONERA, France Organizing Committee ---------------- Anthony Narkawicz (Conference Chair) Aaron Dutle (Program Committee Co-Chair) Cesar Munoz (Program Committee Co-Chair) Location -------- The symposium will take place at Newport News Marriott at City Center, Newport News, VA, USA. Registration is required but is free of charge. Contact -------- Email: nfm2018 [at] easychair [dot] org Web: https://shemesh.larc.nasa.gov/NFM2018/ --- To opt-out from this mailing list, send an email to fm-announcements-request at lists.nasa.gov with the word 'unsubscribe' as subject or in the body. You can also make the request by contacting fm-announcements-owner at lists.nasa.gov From andreas.steffens at swc.rwth-aachen.de Thu Oct 12 22:40:19 2017 From: andreas.steffens at swc.rwth-aachen.de (Steffens, Andreas) Date: Thu, 12 Oct 2017 20:40:19 +0000 Subject: [fg-arc] CfP - 3nd Workshop on Continuous Software Engineering in conjunction with SE 2018, Ulm March 6, 2018 Message-ID: CALL FOR PAPERS ----------------------------------------------------------------------------------- 3nd Workshop on Continuous Software Engineering (CSE 2018) ----------------------------------------------------------------------------------- http://cse2018.swc-rwth.de/ In conjunction with Software Engineering 2018 Ulm, March 6, 2018 Scope of the workshop: ---------------------- In order to develop and deliver high-quality products to their customers, software companies have to adopt state-of-the-art software development processes. To face this challenge, companies are applying innovative methods, approaches and techniques like agile methods, DevOps, Continuous Delivery, test automation, infrastructure as code or container-based virtualization. These new approaches have a high impact on the specification, design, development, maintenance, operation and the evolution of software systems. Therefore, common software engineering activities, organizational forms and processes have to be questioned, adapted and extended to ensure continuous and unobstructed soft-ware development (Continuous Software Engineering). So far, there is a lack of systematic approaches to face these challenges. The goal of this workshop is to present and discuss innovative solutions, ideas and experiences in the area of Continuous Software Engineering (CSE). Workshop topics: ---------------- The specific topics of the workshop include, but are not limited to: Processes & Workflows * Change Management - Handling User Feedback * Software Development Lifecycle for CSE * Continuous Delivery for Requirements Engineering/Early Prototyping * Lean Agile Processes & Practices Technologies & Tools * Infrastructure as Code * Provisioning of Software & Infrastructure * Engineering of Deployment Pipelines Architecture * Design for Scalability * Software Architecture for CSE * Model Driven Architecture for CSE Quality & Testing * Test Automation & Optimization * Monitoring & Performance * Security for DevOps * Metrics for DevOps Microservices & DevOps * Pattern & Best-Practices * Domain Specific Languages for Microservices * Distributed Persistence * Containerization Culture & Business * Teaching CSE Approaches * Organizational Issues for CSE * Digital Transformation & Innovation Submission guidelines: ---------------------- We solicit three types of submissions: full research papers (up to 7 pages), short papers (up to 4 pages) and industry papers (up to 2 pages). Full research papers present original unpublished research results whereas short papers describe novel ideas, identified challenges, and especially experience reports related to the workshop’s theme. We invite active practitioners to introduce new perspectives from industry projects by submitting a concise industry paper of their intended talk. We encourage you to submit a contribution, both from academia and industry. All submissions will be peer reviewed and judged on the basis of their clarity, relevance, and interest to the workshop participants. Paper submissions must be in English and conform to the IEEE Double Column format. Papers are to be submitted electronically to the CSE2018 EasyChair paper submission system. The workshop proceedings will be published at CEUR-WS. Authors of accepted papers have to register for the workshop. Important Dates: ---------------- Abstract submission: December 7, 2017 Paper submission: December 14, 2017 Acceptance notification: January 14, 2018 Camera-ready version: January 24, 2018 Workshop: March 6, 2018 Organizers: ----------- Stephan Krusche, TU München Horst Lichter, Andreas Steffens RWTH Aachen University Dirk Riehle, FAU Nürnberg supported by the GI workinggroup Microservice & DevOps Contact: -------- Web: http://cse2018.swc-rwth.de E-Mail: steffens at swc.rwth-aachen.de Phone: +49 241 80-21341 -------------- next part -------------- A non-text attachment was scrubbed... Name: smime.p7s Type: application/pkcs7-signature Size: 5455 bytes Desc: not available URL: From epontell at cs.nmsu.edu Mon Oct 16 04:09:17 2017 From: epontell at cs.nmsu.edu (NMSU COMPUTER SCIENCE) Date: Sun, 15 Oct 2017 20:09:17 -0600 Subject: [fg-arc] CFP: International Conference on Logic Programming 2018; First Call for Papers Message-ID: <605BFCCB-E46C-496F-A6D3-B0B12EA6B296@cs.nmsu.edu> Apologies if you receive multiple copies of this announcement ———— 34th International Conference on Logic Programming (ICLP 2018) First Call for Papers ===================== July 14-17, 2018 Oxford, UK http://www.logicprogramming.org/iclp2018 The 34th International Conference on Logic Programming (ICLP 2018) will take place in Oxford, U.K. as part of FLOC'2018 (http://www.floc2018.org/) from July 14 to July 17, 2018. Scope: ------ ICLP is the premier conference on foundations and applications of logic programming, including but not restricted to answer-set programming, non-monotonic reasoning, unification and constraints based logic languages, constraint handling rules, argumentation logics, deductive databases, description logics, inductive and co-inductive logic programming. Papers are solicited on: * Foundations: semantics, execution algorithms, formal models * Implementation: virtual machines, compilation, memory management, parallel execution, foreign interfaces * Language Design: inference engines, type systems, concurrency and distribution, modules, metaprogramming, relations to object-oriented and functional programming, logic-based domain-specific languages * Software-Development Techniques: declarative algorithms and data structures, design patterns, debugging, testing, profiling, execution visualization * Transformation and Analysis: assertions, type and mode inference, partial evaluation, abstract interpretation, program transformations * Applications and Synergies: interaction with SAT, SMT and CSP solvers, logic programming techniques for type inference and theorem proving, Horn-clause analysis, knowledge representation, cognitive computing, artificial intelligence, natural language processing, information retrieval, web programming, education, computational life sciences, computational mathematics. Submission Details: ------------------- Submissions of regular papers must be made in the condensed TPLP format via EasyChair. A regular paper must not exceed 14 pages including the bibliography, but the paper may be supplemented with appendices for proofs and details of datasets. These will not not count towards this limit and will be available as supplementary material to the published paper in the TPLP website. We accept three kinds of papers: - Technical papers for technically sound, innovative ideas that can advance the state of logic programming; - Application papers that impact interesting application domains; - System and tool papers which emphasize novelty, practicality, usability, and availability of the systems and tools described. Application, system, and tool papers need to be clearly marked in their title. All submissions must be written in English and describe original, previously unpublished research, and must not simultaneously be submitted for publication elsewhere. Papers of the highest quality will be selected to be published in the journal of Theory and Practice of Logic Programming (TPLP), Cambridge University Press (CUP). In order to ensure the quality of the final version, papers may be subject to more than one round of refereeing (within the decision period). The program committee may recommend some papers to be published as Technical Communications (TCs). TCs will be published by Dagstuhl Publishing in the OpenAccess Series in Informatics (OASIcs). TCs must follow the OASIcs format (template available here) and not exceed 14 pages excluding the bibliography and a short appendix (up to 5 more pages). TC’s authors can also elect to convert their submissions into extended abstracts, of 2 or 3 pages, for inclusion in the OASIcs proceedings. This should allow authors to submit a long version elsewhere. Doctoral consortium position papers, of between 10 and 14 pages, will also be published as TCs. Authors of accepted papers will, by default, be automatically included in the list of ALP members, who will receive quarterly updates from the Logic Programming Newsletter at no cost. Important Dates: ---------------- Abstract registration January 22, 2018 Paper submission January 29, 2018 Notification March 15 Revision submission (TPLP papers) April 1 Final notifications (TPLP papers) April 15 Camera-ready copy May 1 Conference July 14 / July 17, 2018 General Chair: Marco Gavanelli Program Chairs: Alessandro Dal Palù University of Parma Paul Tarau University of North Texas Program Committee: Mario Alviano University of Calabria Hassan Ait-Kaci Marcello Balduccini St. John's University Mutsunori Banbara Kobe University Pedro Cabalar University of Corunna Mats Carlsson SICS Manuel Carro UPM and IMDEA Software Institute Michael Codish Ben-Gurion University of the Negev Marina De Vos University of Bath Thomas Eiter TU Wien Esra Erdem Sabanci University Thom Fruehwirth University of Ulm Marco Gavanelli University of Ferrara Martin Gebser University of Potsdam Gopal Gupta University of Texas at Dallas Michael Hanus CAU Kiel Amelia Harrison University of Texas at Austin Manuel Hermenegildo UPM Angelica Kimmig Cardiff University Ekaterina Komendantskaya Heriot-Watt University Nicola Leone University of Calabria Michael Leuschel University of Dusseldorf Yuliya Lierler University of Nebraska at Omaha Vladimir Lifschitz University of Texas at Austin David Pearce Technical University of Madrid (UPM) Enrico Pontelli New Mexico State University Ricardo Rocha University of Porto Chiaki Sakama Wakayama University Vitor Santos Costa University of Porto Tom Schrijvers KU Leuven Tran Cao Son New Mexico State University Theresa Swift Universidade Nova de Lisboa Mirek Truszczynski University of Kentucky German Vidal Universitat Politècnica de València Jan Wielemaker VU University of Amsterdam Stefan Woltran TU Wien Jia-Huai You University of Alberta Neng-Fa Zhou CUNY Brooklyn College and Graduate Center From grlmc at grlmc.com Tue Oct 17 01:10:22 2017 From: grlmc at grlmc.com (GRLMC) Date: Tue, 17 Oct 2017 01:10:22 +0200 Subject: [fg-arc] LATA 2018: 2nd call for papers Message-ID: <545102060a010b07035f51030e075a5d015051070103500051515a0105025b00565602555209530b07560707500255@grlmc_ip-zone_com-6> LATA 2018: 2nd call for papers*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line*   ************************************************************************ 12th INTERNATIONAL CONFERENCE ON LANGUAGE AND AUTOMATA THEORY AND APPLICATIONS   LATA 2018   Bar-Ilan near Tel Aviv, Israel   April 8-12, 2018   Organized by:             Department of Computer Science Bar-Ilan University   Research Group on Mathematical Linguistics (GRLMC) Rovira i Virgili University   http://grammars.grlmc.com/LATA2018/ ************************************************************************   AIMS:   LATA is a conference series on theoretical computer science and its applications. Following the tradition of the diverse PhD training events in the field organized by Rovira i Virgili University since 2002, LATA 2018 will reserve significant room for young scholars at the beginning of their career. It will aim at attracting contributions from classical theory fields as well as application areas.   VENUE:   LATA 2018 will take place in Ramat Gan, in the district of Tel Aviv and home to one of the world's major diamond exchanges. The venue will be the Faculty of Exact Sciences of Bar-Ilan University.   SCOPE:   Topics of either theoretical or applied interest include, but are not limited to:   algebraic language theory algorithms for semi-structured data mining algorithms on automata and words automata and logic automata for system analysis and programme verification automata networks automatic structures codes combinatorics on words computational complexity concurrency and Petri nets data and image compression descriptional complexity foundations of finite state technology foundations of XML grammars (Chomsky hierarchy, contextual, unification, categorial, etc.) grammatical inference and algorithmic learning graphs and graph transformation language varieties and semigroups language-based cryptography mathematical and logical foundations of programming methodologies parallel and regulated rewriting parsing patterns power series string processing algorithms symbolic dynamics term rewriting transducers trees, tree languages and tree automata weighted automata   STRUCTURE:   LATA 2018 will consist of:   invited talks peer-reviewed contributions   INVITED SPEAKERS:   Andrei Bulatov (Simon Fraser University), Constraint Satisfaction Problems and Their Complexity (tutorial)   Markus Lohrey (University of Siegen), Streaming Algorithms in Formal Language Theory   Alexander Okhotin (Saint Petersburg State University), tba   Eli Shamir (Hebrew University of Jerusalem), Reshaping the Context-free Model: Linguistic and Algorithmic Aspects   James Worrell (University of Oxford), Invariants for Linear Loops   PROGRAMME COMMITTEE:   Christel Baier (Technical University of Dresden, DE) Pablo Barceló (University of Chile, CL) Francine Blanchet-Sadri (University of North Carolina, Greensboro, US) Alexander Clark (King's College London, UK) Frank Drewes (Umeå University, SE) Manfred Droste (University of Leipzig, DE) Dora Giammarresi (University of Rome Tor Vergata, IT) Erich Grädel (RWTH Aachen University, DE) Peter Habermehl (Paris Diderot University, FR) Jeffrey Heinz (Stony Brook University, US) Pedro Rangel Henriques (University of Minho, PT) Christian Höner zu Siederdissen (University of Leipzig, DE) Hendrik Jan Hoogeboom (Leiden University, NL) David Janin (University of Bordeaux, FR) Marcin Jurdziński (University of Warwick, UK) Makoto Kanazawa (National Institute of Informatics, JP) Jarkko Kari (University of Turku, FI) Shmuel Tomi Klein (Bar-Ilan University, IL) Salvatore La Torre (University of Salerno, IT) Salvador Lucas (Polytechnic University of Valencia, ES) Stuart W. Margolis (Bar-Ilan University, IL) Carlos Martín-Vide (Rovira i Virgili University, ES, chair) Fernando Orejas (Polytechnic University of Catalonia, ES) Paritosh K. Pandya (Tata Institute of Fundamental Research, IN) Gennaro Parlato (University of Southampton, UK) Dominique Perrin (University Paris-Est Marne-la-Vallée, FR) Detlef Plump (University of York, UK) Matteo Pradella (Polytechnic University of Milan, IT) Arend Rensink (University of Twente, NL) Kai Salomaa (Queen's University, CA) Sven Schewe (University of Liverpool, UK) Helmut Seidl (Technical University of Munich, DE) William F. Smyth (McMaster University, CA) Jiri Srba (Aalborg University, DK) Benjamin Steinberg (City College of New York, US) Frank Stephan (National University of Singapore, SG) K.G. Subramanian (University Sains Malaysia, MY) Klaus Sutner (Carnegie Mellon University, US) Menno van Zaanen (Tilburg University, NL) Margus Veanes (Microsoft Research, US) Éric Villemonte de la Clergerie (INRIA, FR) Mahesh Viswanathan (University of Illinois, Urbana-Champaign, US) Mikhail Volkov (Ural State University, RU)   ORGANIZING COMMITTEE:   Shmuel Tomi Klein (Ramat Gan, co-chair) Carlos Martín-Vide (Tarragona, co-chair) Manuel Jesús Parra Royón (Granada) Dana Shapira (Ariel) David Silva (London)   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). If necessary, exceptionally authors are allowed to provide missing proofs in a clearly marked appendix.   Submissions have to be uploaded to:   https://easychair.org/conferences/?conf=lata2018   PUBLICATIONS:   A volume of proceedings published by Springer in the LNCS series will be available by the time of the conference.   A special issue of the journal Information and Computation (Elsevier, 2016 JCR impact factor: 1.05) will be later published containing peer-reviewed substantially extended versions of some of the papers contributed to the conference. Submissions to it will be by invitation.   REGISTRATION:   The registration form can be found at:   http://grammars.grlmc.com/LATA2018/Registration.php   DEADLINES (all at 23:59 CET):   Paper submission: November 17, 2017 Notification of paper acceptance or rejection: December 24, 2017 Final version of the paper for the LNCS proceedings: January 4, 2018 Early registration: January 4, 2018 Late registration: March 25, 2018 Submission to the journal special issue: July 12, 2018   QUESTIONS AND FURTHER INFORMATION:   david.silva409 (at) yahoo.com   POSTAL ADDRESS:   LATA 2018 Research Group on Mathematical Linguistics (GRLMC) Rovira i Virgili University Av. Catalunya, 35 43002 Tarragona, Spain   ACKNOWLEDGMENTS:   אוניברסיטת בר-אילן Universitat Rovira i Virgili -------------- next part -------------- An HTML attachment was scrubbed... URL: From sauer at upb.de Tue Oct 17 08:32:31 2017 From: sauer at upb.de (Stefan Sauer) Date: Tue, 17 Oct 2017 08:32:31 +0200 Subject: [fg-arc] Call for Papers: 4. Workshop Modellbasierte und modellgetriebene Softwaremodernisierung (MMSM 2018) @ Modellierung 2018 Message-ID: <07af589c-1c30-2820-156c-a71874d54732@upb.de> Sehr geehrte Kolleginnen und Kollegen, bitte entschuldigen Sie, falls Sie den nachfolgenden Aufruf zur Einreichung von Beiträgen mehrfach erhalten! Einreichungsfrist: 24. November 2017 _______________________________________________________________ *4. Workshop „Modellbasierte und modellgetriebene Softwaremodernisierung“* *(MMSM 2018)* _______________________________________________________________ gemeinsamer Workshop der Arbeitskreise „Langlebige Software-Systeme“ (L2S2), „Modellgetriebene Software-Entwicklung“ (MDA) und „Traceability/Evolution“ http://akl2s2.ipd.kit.edu/veranstaltungen/mmsm2018/ im Rahmen der Konferenz Modellierung 2018 21. – 23. Februar 2018 in Braunschweig https://modellierung2018.wordpress.com/ Aufruf zur Einreichung von Beiträgen Forderungen nach permanenter Änderbarkeit und nach verbesserten Qualitätseigenschaften von Softwaresystemen wie Performanz, Sicherheit und Zuverlässigkeit erfordern umfangreiche und regelmäßige Modernisierungsmaßnahmen. Zur Modernisierung zählen sowohl die Migration auf eine neue technische Plattform oder in eine andere Einsatzumgebung (Portierung) als auch Anpassung der Software zur Erfüllung geänderter funktionaler und nicht-funktionaler Anforderungen (Wartung oder Erweiterung). Diese Forderungen werden umso drängender, je wichtiger diese Systeme für Geschäftsprozesse und Produkte sind. Wegen der Kritikalität und der Größe vieler Systeme beinhaltet die Modernisierung sehr komplexe Aufgaben mit hohen Kosten und großen Risiken. Die Verwendung von Modellen kann helfen, die Komplexität zu beherrschen und durch frühzeitige Bewertung von Qualitätseigenschaften die Risiken zu verringern. Der Workshop dient der Identifikation neuer Forschungstrends auf Basis des aktuellen industriellen Bedarfs, der Suche nach geeigneten Ansätzen zur Problemlösung sowie zum Austausch von Erfahrungen mit modellbasierten und modellgetriebenen Techniken und Methoden für die Softwaremodernisierung. Er richtet sich an Wissenschafter und Praktiker. Beiträge werden insbesondere zu der folgenden, nicht abschließenden Liste von Themen erwartet: • Verbindung von Architekturmodellierung mit Anforderungsbeschreibung und Implementierung • Transformationen von Architekturmodellen • Methoden des Architektur-Reengineering • Visualisierung von Architekturen • Modellbasiertes Refactoring • Architekturqualität • Reengineering-Entscheidungen • Modellierung von Traceability im Reengineering • Konsistenzsicherung zwischen Anforderungen, Modellen und Code beim Roundtrip-Engineering • Modellbasierte Komponenteninteroperabilitätsprüfung und -adaption • Modellbasierte Integration und Migration *Einreichungen und Publikation* Zum Workshop können sowohl wissenschaftlich-technische Beiträge als auch Praxis-/Erfahrungsberichte eingereicht werden. Sie sollen eine Länge von 6–12 Seiten im LNI-Format (https://www.gi.de/service/publikationen/lni/autorenrichtlinien.html) haben. Die eingereichten Beiträge werden von einem Programmkomitee begutachtet und für den Workshop ausgewählt. Die elektronische Einreichung der Beiträge im PDF-Format und die Begutachtung erfolgen über den zugehörigen Track der Modellierung 2018 in EasyChair: https://easychair.org/conferences/?conf=modellierung2018. Die akzeptierten Beiträge werden elektronisch im Workshop-Band der Modellierung 2018 publiziert (CEUR-WS). *Workshop-Format* Der eintägige Workshop im Programm der Konferenz „Modellierung 2018“ bietet neben Präsentationen der akzeptierten Beiträge Raum für viele Diskussionen. Insbesondere sollen mit den Teilnehmern/-innen aktuelle Forschungsfragen und Themen der Softwaremodernisierung in Wissenschaft und Praxis diskutiert werden. Eröffnet wird das Programm durch einen eingeladenen Vortrag. *Termine* Einreichung der Beiträge: 24. November 2017 Benachrichtigung der Autoren: 18. Dezember 2017 Einreichung der Endfassung: 10. Januar 2018 Workshop: 21. Februar 2018 *Organisatoren* Stefan Sauer, Universität Paderborn [Kontakt] Steffen Becker, Universität Stuttgart Robert Heinrich, KIT Karlsruhe Marco Konersmann, Universität Duisburg-Essen Matthias Riebisch, Universität Hamburg *Kontakt*: sauer at uni-paderborn.de From icpeconf at gmail.com Tue Oct 17 20:38:46 2017 From: icpeconf at gmail.com (ICPE ICPE) Date: Tue, 17 Oct 2017 13:38:46 -0500 Subject: [fg-arc] ACM/SPEC ICPE 2018 Call for Contributions - Extended Deadline Oct 25th Message-ID: ------------------------------------------------------------------------ Call for Contributions ------------------------------------------------------------------------ ICPE 2018 9th ACM/SPEC International Conference on Performance Engineering Sponsored by ACM SIGMETRICS, SIGSOFT, and SPEC RG Berlin, Germany April 9-13, 2018 Web: https://icpe2018.spec.org/ Twitter: https://twitter.com/ICPEconf/ ------------------------------------------------------------------------ IMPORTANT DATES Research and industrial/experience abstracts: [EXTENDED] Oct 25, 2017 Research and industrial/experience papers: [EXTENDED] Oct 25, 2017 Research and industrial/experience paper notification: Dec 8, 2017 Artifact registration: Dec 15, 2017 Artifact submission: Dec 22, 2017 Artifact notification: Feb 07, 2018 Work-in-progress/vision papers: Jan 10, 2018 Work-in-progress/vision paper notification: Feb 8, 2018 Poster/demo submission: Jan 03, 2018 Poster/demo notification: Jan 26, 2018 Workshop Proposals submission: PASSED Workshop Proposals Notification: PASSED Tutorial proposals submission: Oct 18, 2017 Tutorial proposals notification: Nov 18, 2017 Dates for doctoral symposium will be announced (see also https://icpe2018.spec.org/important-dates/). ------------------------------------------------------------------------ SCOPE AND TOPICS The goal of the International Conference on Performance Engineering (ICPE) is to integrate theory and practice in the field of performance engineering by providing a forum for sharing ideas and experiences between industry and academia. Nowadays, complex systems of all types, like Web-based systems, data centers and cloud infrastructures, social networks, peer-to-peer, mobile and wireless systems, cyber-physical systems, the Internet of Things, real-time and embedded systems, have increasingly distributed and dynamic system architectures that provide high flexibility, however, also increase the complexity of managing end-to-end application performance. ICPE brings together researchers and industry practitioners to share and present their experiences, discuss challenges, and report state-of-the-art and in-progress research on performance engineering of software and systems, including performance measurement, modeling, benchmark design, and run-time performance management. The focus is both on classical metrics such as response time, throughput, resource utilization, and (energy) efficiency, as well as on the relationship of such metrics to other system properties including but not limited to scalability, elasticity, availability, reliability, and security. This year's main theme is “continuous performance assurance in agile delivery”. Topics of interest include, but are not limited to: Performance modeling of software * Languages and ontologies * Methods and tools * Relationship/integration/tradeoffs with other QoS attributes * Analytical, simulation and statistical modeling methodologies * Model validation and calibration techniques * Automatic model extraction * Performance modeling and analysis tools Performance and software development processes/paradigms * Software performance patterns and anti-patterns * Software/performance tool interoperability (models and data interchange formats) * Performance-oriented design, implementation and configuration management * Software Performance Engineering and Model-Driven Development * Gathering, interpreting and exploiting software performance annotations and data * System sizing and capacity planning techniques * (Model-driven) Performance requirements engineering * Relationship between performance and architecture * Collaboration of development and operation (DevOps) for performance * Performance and agile methods * Performance in Service-Oriented Architectures (SOA) * Performance of microservice architectures and containers Performance measurement, monitoring and analysis * Performance measurement and monitoring techniques * Analysis of measured application performance data * Application tracing and profiling * Workload characterization techniques * Experimental design * Tools for performance testing, measurement, profiling and tuning Benchmarking * Performance metrics and benchmark suites * Benchmarking methodologies * Development of parameterizable, flexible benchmarks * Benchmark workloads and scenarios * Use of benchmarks in industry and academia Run-time performance management * Use of models at run-time * Online performance prediction * Autonomic resource management * Utility-based optimization * Capacity management Power and performance, energy efficiency * Power consumption models and management techniques * Tradeoffs between performance and energy efficiency * Performance-driven resource and power management Performance modeling and evaluation in different environments and application domains * Web-based systems, e-business, Web services * Big data systems, deep-learning systems, and other data analytics systems * Internet of Things * Social networks * Cyber-physical systems * Industrial Internet (Industry 4.0) * Virtualization and cloud computing * Autonomous/adaptive systems * Transaction-oriented systems * Communication networks * Parallel and distributed systems * Embedded systems * Multi-core systems * Cluster and grid computing environments * High performance computing * Event-based systems * Real-time and multimedia systems * Low-latency systems * Peer-to-peer, mobile and wireless systems All other topics related to performance of software and systems. ------------------------------------------------------------------------ SUBMISSION GUIDELINES Authors are invited to submit original, unpublished papers that are not being considered in another forum. A variety of contribution styles for papers is solicited including: basic and applied research papers for novel scientific insights, industrial and experience papers reporting on applying performance engineering or benchmarks in practice, and work-in-progress/vision papers for ongoing innovative work. Different acceptance criteria apply based on the expected content of the individual contribution types. Authors will be requested to self-classify their papers according to the provided topic areas when submitting their papers. Submissions to all tracks need to be uploaded to ICPE's submission system and conform to the ACM submission format. For detailed submission instructions, please visit: https://icpe2018.spec.org/submissions.html. At least one author of each accepted paper is required to register at the full rate, attend the conference and present the paper. Presented papers will be published in the ICPE 2018 conference proceedings that will be published by ACM and included in the ACM Digital Library. Authors of accepted research papers are invited to submit an artifact to the ACM/SPEC ICPE 2018 Artifact Track. The highest quality papers, judged by multiple relevant factors, will be recognized with an award. Authors of selected papers will be invited to submit an extended version of their work to a journal. 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.) ------------------------------------------------------------------------ PROGRAM COMMITTEE (RESEARCH PAPERS) J. Nelson Amaral, University of Alberta, Canada Varsha Apte, IIT Bombay, India Alberto Avritzer, independent, USA Steffen Becker, University of Stuttgart, Germany Umesh Bellur, IIT Bombay, India Cor-Paul Bezemer, Queen’s University, Canada Andre B. Bondi, Software Performance and Scalability Consulting LLC, USA Giuliano Casale, Imperial College London, UK Lucy Cherkasova, HyTrust, USA Vittorio Cortellessa, Universita' dell'Aquila, Italy Vittoria de Nitto Personè, Università di Roma Tor Vergata, Italy Tadashi Dohi, Hiroshima University, Japan Wilhelm Hasselbring, Kiel University, Germany Evangelia Kalyvianaki, City University London, UK Samuel Kounev, University of Wuerzburg, Germany Anne Koziolek, Karlsruhe Institute of Technology, Germany Patrick Lee, The Chinese University of Hong Kong, Hong Kong Marin Litoiu, York University, Canada Catalina M. Lladó, Universitat Illes Balears, Spain Philipp Leitner, University of Zurich, Switzerland Paulo R. M. Maciel, Federal University of Pernambuco, Brazil Martina Maggio, Lund University, Sweden Andrea Marin, University of Venice, Italy Daniel Menasce, George Mason University, USA José Merseguer, Universidad de Zaragoza, Spain Ningfang Mi, Northeastern University, USA Raffaela Mirandola, Politecnico di Milano, Italy Juan F. Perez, Universidad del Rosario, Colombia Dorina Petriu, Carleton University, Canada Alma Riska, Network Appliances, USA Evgenia Smirni, College of William and Mary, USA Nigel Thomas, Newcastle University, UK Mirco Tribastone, IMT Institute for Advanced Studies, Italy Catia Trubiani, Gran Sasso Science Institute, Italy Petr Tuma, Charles University, Czech Republic Ana Lucia Varbanescu, University of Amsterdam, the Netherlands Enrico Vicario, University of Florence, Italy Murray Woodside, Carleton University, Canada Huaming Wu, Tianjin University, China Feng Yan, University of Nevada-Reno, USA Xiaoyun Zhu, Futurewei Technologies Inc., USA PROGRAM COMMITTEE (INDUSTRY/EXPERIENCE PAPERS) Klaus-Dieter Lange, HPE, USA Meikel Poess, Oracle, USA Tilmann Rabl, TU Berlin, Germany Matthias Scholze, QMethods, USA Rekha Singhal, TCS, India Cloyce Spradling, Oracle, USA Alexander Wert, NovaTec, Germany Boris Zibitsker, BEZNext, USA ------------------------------------------------------------------------ ORGANIZING COMMITTEE General Chairs * Will Knottenbelt, Imperial College, UK * Katinka Wolter, FU Berlin, Germany Research Program Chairs * André van Hoorn, University of Stuttgart, Germany * Manoj Nambiar, Tata Consultancy Services, India Industry Program Chair * Heiko Koziolek, ABB, Germany Artifact Evaluation Chairs * Wilhelm Hasselbring, Kiel University, Germany * Petr Tuma, Charles University, Czech Republic Tutorials Chairs * Alma Dimnaku (Riska), Network Appliances, USA * Andrea Marin, University of Venice, Italy Workshops Chairs * Eva Kalyvianaki, City University London, UK * Yao-Min Chen, Oracle, USA Posters and Demos Chair * Marco Paolieri, University of Southern California, USA Awards Chairs * Lydia Chen, IBM Zurich, Switzerland * John Murphy, UC Dublin, Ireland Publicity Chairs * Juan F. Perez, Universidad del Rosario, Colombia * Huaming Wu, Tianjin University, China Finance Chair * Matt Forshaw, Newcastle University, UK Proceedings Chair * Vladimir Stankovic, City University London, UK Registration Chair * Zhihao Shang, FU Berlin, Germany Web Site Chair * Thomas F. Düllmann, University of Stuttgart, Germany -------------- next part -------------- An HTML attachment was scrubbed... URL: From flm at informatik.uni-kiel.de Thu Oct 19 09:31:29 2017 From: flm at informatik.uni-kiel.de (Florin Manea) Date: Thu, 19 Oct 2017 09:31:29 +0200 Subject: [fg-arc] CiE 2018: Preliminary announcement Message-ID: <6519168629d2bc438c8fc5b81aed9dc8@informatik.uni-kiel.de> Appologies for multiple postings. ========================= PRELIMINARY ANNOUNCEMENT: ========================= CiE 2018: Sailing Routes in the World of Computation Kiel, Germany July 30 - August 3, 2018 http://cie2018.uni-kiel.de IMPORTANT DATES (tentative): ============================ Deadline for article registration (abstract submission): January 17, 2018 Deadline for article submission: February 1, 2018 Notification of acceptance: April 6, 2018 Final versions due: April 20, 2018 Deadline for informal presentations submission: April 20, 2018 (the notifications of acceptance for informal presentations will be sent few days after submission) Early registration before: May 30, 2018 CiE 2018 is the fourteenth conference organized by CiE (Computability in Europe), a European association of mathematicians, logicians, computer scientists, philosophers, physicists and others interested in new developments in computability and their underlying significance for the real world. Previous meetings have taken place in Amsterdam (2005), Swansea (2006), Siena (2007), Athens (2008), Heidelberg (2009), Ponta Delgada (2010), Sofia (2011), Cambridge (2012), Milan (2013), Budapest (2014), Bucharest (2015), Paris (2016), and Turku (2017). TUTORIAL SPEAKERS: ================== Pinar Heggernes (Bergen, Norway) Bakhadyr Khoussainov (Auckland, NZ) INVITED SPEAKERS: ================= Kousha Etessami (Edinburgh, UK) Johanna Franklin (Hempstead, US) Mai Gehrke (Paris, France) Alberto Marcone (Udine, Italy) Alexandra Silva (London, UK) Jeffrey O. Shallit (Waterloo, Canada) ORGANIZED BY: ============= Department of Computer Science, Kiel University For questions please contact the PC-Chairs, Russell Miller and Dirk Nowotka, or the CiE conference series Steering Committee Chair Florin Manea. SPECIAL SESSIONS: ================= Approximation and Optimisation Bioinformatics and Bio-inspired Computing Computing with Imperfect Information Continuous Computation History and Philosophy of Computing SAT-Solving The organisers and speakers of the special sessions will be announced soon. CONTRIBUTED PAPERS: =================== Contributed papers will be selected from submissions received by the PROGRAM COMMITTEE consisting of: Eric Allender (Rutgers), Arnold Beckmann (Swansea), Marco Benini (Insubria), Olaf Beyersdorff (Leeds), Patricia Bouyer (Paris), Alessandra Carbone (Paris), Barbara Csima (Waterloo), Anuj Dawar (Cambridge), Henning Fernau (Trier), Ekaterina Fokina (Vienna), Peter Høyer (Calgary), Georgiana Ifrim (Dublin), Lila Kari (Waterloo), Elham Kashefi (Edinburgh), Karen Lange (Wellesley), Benedikt Löwe (Amsterdam), Barnaby Martin (Durham), Florin Manea (Kiel), Klaus Meer (Cottbus), Russell Miller (New York, chair), Angelo Montanari (Udine), Andrey Morozov (Novosibirsk), Anca Muscholl (Bordeaux), Dirk Nowotka (Kiel, chair), Arno Pauly (Bruxelles), Isabella Peters (Kiel), Giuseppe Primiero (Middlesex), Henning Schnoor (Kiel), Monika Seisenberger (Swansea), Shinnosuke Seki (Tokyo), Mariya Soskova (Wisconsin–Madison), Raymond Turner (Essex), Peter Van Emde Boas (Amsterdam), Heribert Vollmer (Hannover). The CiE conferences serve as an interdisciplinary forum for research in all aspects of computability, foundations of computer science, logic, and theoretical computer science, as well as the interplay of these areas with practical issues in computer science and with other disciplines such as biology, mathematics, philosophy, or physics. THE PROGRAMME COMMITTEE cordially invites all researchers (European and non-European) to submit their papers in all areas related to the above for presentation at the conference and inclusion in the proceedings at https://easychair.org/conferences/?conf=cie2018 . Papers must be submitted in PDF format, using the LNCS style (available at ftp://ftp.springer.de/pub/tex/latex/llncs/latex2e/llncs2e.zip) and should have a maximum of 10 pages, including references but excluding a possible appendix in which one can include proofs and other additional material. Papers building bridges between different parts of the research community are particularly welcome. The CONFERENCE PROCEEDINGS will be published by LNCS, Springer Verlag. INFORMAL PRESENTATIONS: ======================= Continuing the tradition of past CiE conferences, in addition to the formal presentations based on the LNCS proceedings volume, CiE 2018 will host a track of informal presentations, that are prepared very shortly before the conference and inform the participants about current research and work in progress. The deadline for the submission of abstracts for informal presentations is May 1st, 2018. WOMEN IN COMPUTABILITY: ======================= We are very happy to announce that within the framework of the Women in Computability programme, sponsored by ACM-Women, we are able to offer four grants of up to 250 EUR for junior female researchers who want to participate in CiE 2018. Applications for this grant should be sent to Liesbeth De Mol, liesbeth.demol at univ-lille3.fr, before 15 May 2018 and include a short cv (at most 2 pages) and contact information for an academic reference. Preference will be given to junior female researchers who are presenting a paper (including informal presentations) at CiE 2018. Association CiE: http://www.computability.org.uk CiE Conference Series: http://www.computability.org.uk/index.php/cie-conference-series/ From marcello.balduccini at gmail.com Tue Oct 24 05:16:46 2017 From: marcello.balduccini at gmail.com (Marcello Balduccini) Date: Mon, 23 Oct 2017 23:16:46 -0400 Subject: [fg-arc] KR18 - Call for Tutorial and Workshop Proposals Message-ID: <201710240316.v9O3GkWC002901@coSAT.msgn> [Apologies if you receive multiple copies of this email. Please distribute to interested parties.] KR18 - Call for Tutorial and Workshop Proposals ** Apologies if you receive multiple copies of this call ** ** Please distribute to interested parties ** ======================================== Call for Tutorial and Workshop Proposals 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018) Tempe, Arizona (USA) Workshop/Tutorial dates: 27-29 October 2018 KR main program: 30 October to 2 November 2018 http://kr2018.org/ *** Deadline (for proposal submissions): 21 February 2018 *** For its 2018 edition, KR will solicit proposals for both the Tutorial and Workshop tracks. Tutorials and workshops will be held from 27 to 29 October 2018, prior to the KR main technical program, which will run from 30 October to 1 November 2018. The attendance of tutorials is complimentary to all KR registered participants. Workshop attendance will be subject to payment of a workshop fee, which is separate from that of the main conference. ** SUBMISSION INSTRUCTIONS ** Each proposal (tutorial or workshop) should be in English and must be submitted electronically using the following submission forms: Tutorial proposal: http://tinyurl.com/kr18tute Workshop proposal: http://tinyurl.com/kr18workshop For all accepted proposals, KR will take care of all local arrangements. * SUBMISSION REQUIREMENTS FOR TUTORIAL PROPOSALS * Each tutorial proposal should contain the following information: - A short title of the tutorial. - A two-paragraph description of the tutorial. - Proposed length of the tutorial (half day is the default and recommended length, but an argument can be made for a full day tutorial). - A detailed outline of the tutorial. - The potential target audience for the tutorial and prerequisite knowledge. - A brief resume of the presenter(s) including: . Name,affiliation, and email address. . Evidence of scholarship in the area, including a list of publications. . Evidence of teaching experience. The main duties of the tutorial organizers are: - Setup a web-site for the tutorial, which should include, at least, title and abstract of the tutorial, presenters? details, outline, tutorial notes and related reading material. - Deliver the tutorial at KR 2018. * SUBMISSION REQUIREMENTS FOR WORKSHOP PROPOSALS * Each workshop proposal should contain the following information: - Title of the workshop and acronym. - Names, affiliations, and contact details of the organisers. - Short description and format. - History of the workshop (if applicable) and related events. - Size of the workshop and duration. - Tentative list of PC members with their respective affiliations. - Experience of the organisers. - Tentative call for papers. The main duties of the workshop chairs are: - Set up a website for the workshop. - Advertise the workshop and distribute its call for papers. - Coordinate the peer-reviewing of submitted contributions. - Organise a schedule for the workshop in collaboration with the local organisers and the Workshop Co-Chairs. - Coordinate and moderate the workshop participation and content. Each accepted proposal will be waived two workshop registrations to be used at the discretion of the organisers (e.g., to cover the registration of an invited speaker). KR reserves the right to cancel a workshop if it does not have enough participants to cover its running costs. ** IMPORTANT DATES ** - Proposal submission deadline: 21 February 2018. - Notification: 31 March 2018. - Workshops paper submission deadline: 21 July 2018. - Workshops paper notification: 25 August 2018. - Workshops registration deadline: TBD. - Tutorial and workshop dates: 27-29 October 2018. ** SUBMISSIONS AND INQUIRIES ** Those interested in presenting a tutorial or workshop should register their interest and proposal in the following forms: 1) Tutorial proposals: http://tinyurl.com/kr18tute 2) Workshop proposals: http://tinyurl.com/kr18workshop Inquiries should be sent by email to the tutorials/workshop chairs: Sebastian Sardina School of Computer Science and Information Technology RMIT University sebastian.sardina at rmit.edu.au Ivan Varzinczak CRIL, Univ. Artois & CNRS, France varzinczak at cril.fr From grlmc at grlmc.com Sat Oct 28 21:37:06 2017 From: grlmc at grlmc.com (GRLMC) Date: Sat, 28 Oct 2017 21:37:06 +0200 Subject: [fg-arc] TPNC 2017: call for posters Message-ID: <545102060a010b070452580106015a5c570303520b5553560a050f09050f065052000705070f040105050201000154@grlmc_ip-zone_com-6> TPNC 2017: call for posters*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line* ------------------------------------------------------ The 6th International Conference on the Theory and Practice of Natural Computing (TPNC 2017) invites researchers to submit poster presentations. TPNC 2017 will be held in Prague on December 18-20, 2017. See  http://grammars.grlmc.com/TPNC2017/ Poster presentations are intended to enhance informal interactions with conference participants, at the same time allowing for in-depth discussion. TOPICS Presentations displaying novel work in progress on computational principles, models and techniques inspired by information processing in nature are invited. Posters do not need to show final research results. Work that might lead to new interesting developments is welcome. KEY DATES Poster submission deadline: November 11, 2017 Notification of poster acceptance or rejection: November 18, 2017 SUBMISSION Please submit a .pdf abstract through: https://easychair.org/conferences/?conf=tpnc2017 It should contain the title, author(s) and affiliation, and should not exceed 500 words. PRESENTATION Posters will be allocated 10 minutes each in the programme for oral presentation. Moreover, they will remain hanging out during the whole conference for discussion. PUBLICATION Posters will not appear in the LNCS proceedings volume of TPNC 2017. However, they will be eligible for submission to the post-conference journal special issue in BioSystems (Elsevier, 2015 JCR impact factor: 1.495). REGISTRATION At least one author of each accepted poster must register to the conference by December 4, 2017. The registration fare is reduced: 285 Euro. It gives the same rights all other conference participants have (attendance, copy of the proceedings volume, coffee breaks, lunches). Contributors of regular papers who in addition get a poster accepted must register for the latter independently. -------------- next part -------------- An HTML attachment was scrubbed... URL: From grlmc at grlmc.com Tue Oct 31 02:04:01 2017 From: grlmc at grlmc.com (GRLMC) Date: Tue, 31 Oct 2017 02:04:01 +0100 Subject: [fg-arc] BigDat 2018: early registration November 11 Message-ID: <545102060a010b070556590600055a505b5e54595706050703035f02045201505c50560e565a525700055651020152@grlmc_ip-zone_com-6> BigDat 2018: early registration November 11*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line*   *******************************************************   4th INTERNATIONAL WINTER SCHOOL ON BIG DATA   BigDat 2018   Timișoara, Romania   January 22-26, 2018   Organized by: West University of Timișoara Rovira i Virgili University   http://grammars.grlmc.com/BigDat2018/   *******************************************************   --- Early registration deadline: November 11, 2017 ---   *******************************************************   SCOPE:   BigDat 2018 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 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, 25 five-hour and fifteen-minute 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. Also, there will be two special sessions with industrial and recruitment profiles.   ADDRESSED TO:   Master 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 2018 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 2018 will take place in Timișoara, which has been nominated one of the European Capitals of Culture in 2021. The venue will be:   Universitatea de Vest Blvd. Vasile Parvân, nr. 4 300223 Timișoara   KEYNOTE SPEAKERS: (to be completed)   tba   PROFESSORS AND COURSES:   Paul Bliese (University of South Carolina), [introductory/intermediate] Using R for Mixed-effects (Multilevel) Models   Hendrik Blockeel (KU Leuven), [intermediate] Decision Trees for Big Data Analytics   Diego Calvanese (Free University of Bozen-Bolzano), [intermediate] tba   Nick Duffield (Texas A&M University), [introductory/intermediate] Sampling for Big Data   Sašo Džeroski (Jožef Stefan Institute), [introductory/intermediate] Multi-target Prediction: Techniques and Applications   Geoffrey C. Fox (Indiana University, Bloomington), [intermediate] Integration of HPC, Big Data Analytics and Software Ecosystem   Minos Garofalakis (Technical University of Crete), [intermediate/advanced] Data Streaming Analytics   David W. Gerbing (Portland State University), [introductory] Data Visualization with R   Maurizio Lenzerini (Sapienza University of Rome), [intermediate/advanced] Semantic Technologies for Open Data Publishing   Bing Liu (University of Illinois, Chicago), [intermediate/advanced] Lifelong Learning and its Applications in NLP   B.S. Manjunath (University of California, Santa Barbara), [introductory] Unstructured (Big) Data   Folker Meyer (Argonne National Laboratory), [introductory/intermediate] Efficient Multi Cloud Execution of Reproducible Data Analytics using Common Workflow Language, AWE and SHOCK   Wladek Minor (University of Virginia), [introductory/advanced] Big Data in Biomedical Sciences   Fionn Murtagh (University of Huddersfield), [introductory/advanced] The New Science of Big Data Analytics, Based on the Geometry and the Topology of Complex, Hierarchic Systems   Raymond Ng (University of British Columbia), [introductory] Mining and Summarizing Text Conversations   Srinivasan Parthasarathy (Ohio State University), [introductory/intermediate] Network Science Fundamentals   Hanan Samet (University of Maryland, College Park), [introductory/intermediate] Sorting in Space: Multidimensional, Spatial, and Metric Data Structures for Applications in Spatial Databases, Geographic Information Systems (GIS), and Location-based Services   Kyuseok Shim (Seoul National University), [introductory/intermediate] MapReduce Algorithms for Big Data Analysis   Jaideep Srivastava (Qatar Computing Research Institute), [introductory/intermediate] Social Computing   Jeffrey Ullman (Stanford University), [introductory] Big-data Algorithms That Aren't Machine Learning   Pascal Van Hentenryck (University of Michigan, Ann Arbor), [intermediate] Big Data in Transportation and Mobility   Sebastián Ventura (University of Córdoba), [intermediate/advanced] Pattern Mining on Big Data   Haixun Wang (Facebook), [intermediate/advanced] Understanding Natural Language: End-to-end and Structure Learning Approaches   Xiaowei Xu (University of Arkansas, Little Rock), [introductory/advanced] Mining Big Networked Data   Zhongfei Zhang (Binghamton University), [introductory/advanced] Relational and Media Data Learning and Knowledge Discovery   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.silva409 (at) yahoo.com by January 15, 2018.   INDUSTRIAL SESSION:   A session will be devoted to 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, the duration requested and the logistics necessary. At least one of the people participating in the demonstration should have registered for the event. Expressions of interest have to be submitted to david.silva409 (at) yahoo.com by January 15, 2018.   EMPLOYER SESSION:   Firms searching for personnel well skilled in big data will have a space reserved for one-to-one contacts. At least one of the people in charge of the search should have registered for the event. Expressions of interest have to be submitted to david.silva409 (at) yahoo.com by January 15, 2018.   ORGANIZING COMMITTEE:   Carlos Martín-Vide (co-chair) Viorel Negru Manuel J. Parra Royón Dana Petcu Monica Sancira (co-chair) David Silva   REGISTRATION:   It has to be done at   http://grammars.grlmc.com/BigDat2018/registration.php   The selection of up to 8 courses requested in the registration template is only tentative and non-binding. For the sake of organization, it will be helpful to have an approximation of the respective demand for each course. 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 if 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:   Participants will be delivered a certificate of attendance indicating the number of hours of lectures.   QUESTIONS AND FURTHER INFORMATION:   david.silva409 (at) yahoo.com   ACKNOWLEDGMENTS:   Universitatea de Vest din Timișoara Universitat Rovira i Virgili -------------- next part -------------- An HTML attachment was scrubbed... URL: