From zoltan.mann at gmail.com Thu May 2 23:09:41 2019 From: zoltan.mann at gmail.com (=?UTF-8?B?Wm9sdMOhbiBNYW5u?=) Date: Thu, 2 May 2019 23:09:41 +0200 Subject: [fg-arc] CfP: 2nd International Workshop on Software Architecture Challenges in Big Data (SACBD 2019) Message-ID: Call for Papers 2nd International Workshop on Software Architecture Challenges in Big Data (SACBD 2019) Co-located with ECSA 2019, the 13th European Conference on Software Architecture 9-10 September 2019, Paris, France Paper submission deadline: 31 May 2019 http://www.bdva.eu/node/1262 BACKGROUND ========== Software systems managing big data have very challenging architectural requirements, e.g., in terms of performance, flexibility, and reliability. Big data systems often embody a number of technologies, such as cloud computing, the Internet of Things (IoT), fog computing, high-performance computing (HPC), artificial intelligence (AI), and in particular machine learning (ML). These technologies come with their own technical limitations and constraints that also impact the architecture of big data systems. Enforcing security, privacy, transparency, and ethics are also concerns of increasing importance, with potential architectural implications. OBJECTIVES ========== The Big Data Value Association (BDVA, http://www.bdva.eu/) initiated the SACBD workshop series to provide a forum for discussing all aspects of the software architecture challenges of big data systems. The workshop welcomes the contributions of practitioners and researchers alike. The workshop is open to all, both BDVA members and non-members. Technical issues and challenges related to software architecture are well covered by the European Big Data Value Strategic Research and Innovation Agenda (http://www.bdva.eu/SRIA). Such software architecture trends are facilitating new data-driven operations and services which are at the core of the new economy revolving around big data value. As organizations become more and more data-centric, they need to re-design their software architectures accordingly. For example, data-intensive systems and applications need to be put in place and properly integrated with traditional systems (e.g. web applications). This affects not only the architecture design but also its implementation and non-functional aspects. For example, performance and data protection are paramount when dealing with Big Data. This situation creates a need for new methods and tools to design and reason about software architectures in Big Data scenarios and paves the way for various research directions. For example, how to design software architectures when dealing with Big Data? Which are the typical architectural patterns? How to assess the performance or the privacy risk of Big Data architectures? The workshop will focus on these and many others aspects of software architectures in the Big Data era. TOPICS OF INTEREST ================== The workshop solicits papers on all aspects of software architecture for big data. Topics of interest include, but are not limited to: * Software architectures in genuine big data scenarios * Architectural patterns for big data * Architectures of big data systems (e.g., Spark, Flink, Hadoop) * Integration of Big Data systems with other business systems * Non-functional requirements (e.g., performance, security, privacy, reliability) * Combining big data with IoT, HPC, cloud computing, fog computing * Applying machine learning to big data scenarios, big data integration with artificial intelligence * Fostering business with big data and analytics SUBMISSION GUIDELINES ===================== Original, high-quality papers are solicited, from researchers and practitioners alike. Both full papers (maximum 8 pages) and short papers (maximum 4 pages) will be considered. All papers must be written in English and follow the ACM formatting instructions and templates for conference papers, as specified under https://www.acm.org/publications/icps-instructions/. Independently from the length, several types of papers will be considered (experience reports, new approaches, review or analysis of existing approaches, empirical studies, theoretical results, negative results, position papers, vision papers). The contribution of a paper must be commensurate with its length. Submitted papers must be original, not submitted and not published elsewhere. Accepted papers will be published in the ECSA companion proceedings in the ACM Digital Library. Papers must be submitted in PDF using the online submission system under the following link: https://easychair.org/conferences/?conf=sacbd2019. All submissions will be reviewed by at least three members of the program committee. Paper acceptance will be based on originality, significance, technical soundness, clarity of presentation, and relevance to the workshop topics. FURTHER INFORMATION =================== SACBD 2019 will be co-located with ECSA 2019, the 13th European Conference on Software Architecture (https://ecsa2019.univ-lille.fr/). The workshop will take place on 9-10 September 2019 in Paris, right before the main ECSA conference. At least one author of each accepted paper must register, attend the workshop, and present the work. Registration is subject to the terms, conditions and procedure of the ECSA 2019 conference. Workshop website: http://www.bdva.eu/node/1262 IMPORTANT DATES =============== Paper submission: May 31, 2019 Notification: June 26, 2019 Camera-ready: July 5, 2019 Workshop: September 9-10, 2019 ORGANIZING COMMITTEE ==================== Zoltán Ádám Mann, University of Duisburg-Essen, Germany Daniel Alonso Román, Technology Institute of Valencia, Spain Michele Guerriero, Politecnico di Milano, Italy Alessandra Bagnato, Softeam, France PROGRAM COMMITTEE (to be confirmed) ================= Ali Serdar Atalay, Bitnet, Turkey Peter Baumann, rasdaman, Germany Arne Berre, SINTEF, Norway David Bowden, DELL, Ireland Sergio Campos, TECNALIA, Spain Carlos Cuesta, URJC, Spain Edward Curry, Insight, Ireland Javier Del Ser, TECNALIA, Spain Philippe Desfray, Softeam, France Elisabetta Di Nitto, Politecnico di Milano, Italy Omar Elloumi, NOKIA, Ireland Javier Gómez, URJC, Spain Ibai Laña, TECNALIA, Spain Andreas Metzger, University of Duisburg-Essen, Germany Ignacio Olabarrieta, TECNALIA, Spain Diego Perez, Linnaeus University, Sweden Zoheir Sabeur, Bournemouth University, UK Andrey Sadovykh, Innopolis University, Russia Angel Serrano Sánchez de León, URJC, Spain Damian Andrew Tamburri, TU Eindhoven, Netherlands Ana Isabel Torre, TECNALIA, Spain Anwar Vahed, DIRISA, South Africa Juan Manuel Vara, URJC, Spain -------------- next part -------------- An HTML attachment was scrubbed... URL: From engels at uni-paderborn.de Sun May 5 17:27:03 2019 From: engels at uni-paderborn.de (Gregor Engels) Date: Sun, 5 May 2019 17:27:03 +0200 Subject: [fg-arc] MODELS 2019 - Call for Doctoral Symposium Contributions In-Reply-To: References: Message-ID: <127b6acc-fe55-edfc-cf05-732062c9e10f@uni-paderborn.de> MODELS 2019 - Call for Doctoral Symposium Contributions (https://modelsconf19.org/?page_id=1118) Munich, September 17, 2019 Deadline for Abstract Submission: June 10, 2019 The goal of the MODELS 2019 Doctoral Symposium is to provide an international forum for doctoral students to interact with their fellow students and faculty mentors working in the area of model-driven engineering. The symposium supports students by providing independent and constructive feedback about their already completed and, more importantly, planned research work. The Symposium will be attended by prominent experts in the field of model-driven engineering, who will actively participate in critical and constructive discussions. The doctoral symposium will have the format of a one-day workshop, with presentations of the doctoral students who have their paper accepted in a peer-review process, feedback from the mentors, and plenty of time for discussion. The presentations will be open for mentors, students, and other conference participants; only supervisors of the presenters are excluded from the sessions in which their students deliver their presentation. Submission Guidelines Submissions (exclusively authored by the doctoral student) are invited from students who have settled on a doctoral dissertation topic, but are still sufficiently far away from completion to be able to take full advantage of the given feedback. Submissions should present research in progress that is intended to lead to a doctoral dissertation, using the following structure: * Problem: The problem the research intends to solve, the target audience of this research, and a motivation of why the problem is important and needs to be solved. * Related work: A review of the relevant related work, with an emphasis on how the proposed approach is different and what advantages it has over the existing state of the art. * Proposed solution: A description of the proposed solution and which other work (e.g., methods or tools) it depends on. * Plan for evaluation and validation: A description of how it will be shown that the work does indeed solve the targeted problem and is superior to the existing state of the art (e.g., prototyping, industry case studies, user studies, experiments). * Expected contributions: A list of the expected contributions to both theory and practice. * Current status: A description of the work to-date, results achieved so far and a proposed planned timeline for completion. Submissions must not exceed five (5) pages plus two (2) pages for references. Submissions must adhere to the IEEE formatting instructions, which can be found at https://www.ieee.org/conferences/publishing/templates.html All papers have to be submitted electronically in PDF format. The submission page for Doctoral Symposium @MODELS’19 is through Easychair (https://easychair.org/conferences/?conf=models2019) All accepted submissions will be available via IEEE Xplore Digital Library. Important Dates All submission deadlines are AoE (i.e. UTC-12). * Abstract Submission: June 10, 2019 * Paper Submission: June 17, 2019 * Acceptance Notification: July 25, 2019 * Camera Ready: August 1, 2019 * Doctoral Symposium: Tuesday, September 17, 2019 Selection Committee Silvia Abrahão, Universitat Politècnica de València (Spain) Mark van den Brand, Eindhoven University of Technology (The Netherlands) Ruth Breu, Universität Innsbruck (Austria) Marsha Chechik, University of Toronto (Canada) Betty Cheng, Michigan State University (USA) Antonio Cicchetti, Mälardalen University (Sweden) Peter Clarke, Florida International University (USA) Benoit Combemale, University of Toulouse (France) Jeff Gray, University of Alabama (USA) Joel Greenyer, Leibniz Universität Hannover (Germany) Richard Paige, University of York (UK) Alfonso Pierantonio, University of L’Aquila (Italy) Gabriele Taentzer, Universität Marburg (Germany) Matthias Tichy, Ulm University (Germany) Antonio Vallecillo, University of Malaga (Spain) Hans Vangheluwe, University of Antwerp and McGill University (Belgium, Canada) Organizers Gregor Engels, Paderborn University (Germany) Gerti Kappel, Technical University of Vienna (Austria) -------------- next part -------------- An HTML attachment was scrubbed... URL: -------------- next part -------------- A non-text attachment was scrubbed... Name: engels.vcf Type: text/x-vcard Size: 387 bytes Desc: not available URL: From fioretto.ferdinando at isye.gatech.edu Wed May 1 04:48:14 2019 From: fioretto.ferdinando at isye.gatech.edu (Fioretto, Ferdinando) Date: Wed, 1 May 2019 02:48:14 +0000 Subject: [fg-arc] CFP: The 35th International Conference on Logic Programming (ICLP 2019) - updated deadlines Message-ID: Apologies for cross-posting - Please forward to anybody who might be interested The 35th International Conference on Logic Programming (ICLP 2019) Call for Papers ===================== September 20-25, 2019 Las Cruces, New Mexico (USA) https://www.cs.nmsu.edu/ALP/iclp2019/ Scope ------ Since the first conference held in Marseille in 1982, ICLP has been the premier international event for presenting research in logic programming. Contributions are sought in all areas of logic programming, including but not restricted to: * Foundations: Semantics, Formalisms, Nonmonotonic reasoning, Knowledge representation. * Languages: Concurrency, Objects, Coordination, Mobility, Higher Order, Types, Modes, Assertions, Modules, Meta-programming, Logic-based domain-specific languages, Programming Techniques. * Declarative programming: Declarative program development, Analysis, Type and mode inference, Partial evaluation, Abstract interpretation, Transformation, Validation, Verification, Debugging, Profiling, Testing, Execution visualization. * Implementation: Virtual machines, Compilation, Memory management, Parallel/distributed execution, Constraint handling rules, Tabling, Foreign interfaces, User interfaces. * Related Paradigms and Synergies: Inductive and Co-inductive Logic Programming, Constraint Logic Programming, Answer Set Programming, Interaction with SAT, SMT and CSP solvers, Logic programming techniques for type inference and theorem proving, Argumentation, Probabilistic Logic Programming, Relations to object-oriented and Functional programming. * Applications: Databases, Big Data, Data integration and federation, Software engineering, Natural language processing, Web and Semantic Web, Agents, Artificial intelligence, Computational life sciences, Education, Cybersecurity, and Robotics. Tracks and Special Sessions --------------------------- Besides the main track, ICLP 2019 will host additional tracks and special sessions: * Applications Track: This track invites submissions of papers on emerging and deployed applications of LP, describing all aspects of the development, deployment, and evaluation of logic programming systems to solve real-world problems, including interesting case studies and benchmarks, and discussing lessons learned. * Sister Conferences and Journal Presentation Track: This track provides a forum to discuss important results related to logic programming that appeared recently (from January 2017 onwards) in selective journals and conferences, but have not been previously presented at ICLP. * Research Challenges in Logic Programming Track: This track invites submissions of papers describing research challenges that an individual researcher or a research group is currently attacking. The goal of the track is to promote discussions, exchange of ideas, and possibly stimulate new collaborations. * Special Session: Women in Logic Programming: This special session will include invited talks and presentations by women in logic programming. Every track and special session will have its own dedicated chairs, PC, evaluation criteria, and CFP with the submission details. Submission Details ------------------- All submissions of the main track must be made via the EasyChair conference system: https://easychair.org/conferences/?conf=iclp2019 . Regular papers must be in the condensed TPLP format and not exceed 14 pages including bibliography. Regular papers may be supplemented with appendices for proofs and details of datasets which do not count towards the page limit and which will be available as appendices to the published paper. Three kinds of regular papers will be accepted: * 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. These restrictions do not apply to previously accepted workshop papers with a limited audience and/or without archival proceedings. 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 regular papers to be published as Technical communications, which will be published by Dagstuhl Publishing in the OpenAccess Series in Informatics (OASIcs). Technical communications must be in the OASIcs format (template here) and not exceed 14 pages excluding the bibliography and a short appendix (up to 5 more pages). The authors of the technical communications 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. All regular papers and technical communications will be presented during the conference. 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: May 8, 2019 * Paper submission: May 15, 2019 * Notification: June 19, 2019 * TPLP revision submission: July 3, 2019 * TPLP final notifications: July 17, 2019 * Camera-ready copy: July 31, 2017 * Conference: September 22, 2019 Organization ------------- General Chairs: Enrico Pontelli - New Mexico State University Son Tran Cao - New Mexico State University Program Chairs: Esra Erdem - Sabanci University German Vidal - Universitat Politecnica de Valencia Publicity Chair: Ferdinando Fioretto - Georgia Institute of Technology Workshops Chair: Martin Gebser - University of Klagenfurt and Graz University of Technology Tutorials Chair: Pedro Cabalar - University of Corunna DC Chairs: Paul Fodor - Stony Brook New York Daniela Inclezan - Miami University Programming Competition Chairs: Manuel Carro - Technical University of Madrid (UPM) and IMDEA Software Institute Orkunt Sabuncu - TED University Applications Track Chairs: Andrea Formisano - Universita' di Perugia Fangkai Yang - NVIDIA Corporation Sister Conferences and Journal Presentation Track Chairs: Bart Bogaerts - KU Leuven Giovambattista Ianni - Universita' della Calabria Research Challenges in Logic Programming Track Chairs: Alessandro dal Palu - Universita' di Parma Amelia Harrison - University of Texas at Austin and Google Inc. Joohyung Lee - Arizona State University Women in Logic Programming Special Session Chairs: Alicia Villanueva - Universitat Politecnica de Valencia Marina De Vos - University of Bath Program Committee: Hassan Ait-Kaci - University of Lyon 1 Mario Alviano - University of Calabria Roman Bartak - Charles University Rachel Ben-Eliyahu-Zohary - Azrieli College of Engineering Bart Bogaerts - KU Leuven Gerhard Brewka - Leipzig University Pedro Cabalar - University of Corunna Michael Codish - Ben-Gurion University of the Negev Stefania Costantini - University of L'Aquila Marina De Vos - University of Bath Agostino Dovier - University of Udine Thomas Eiter - Vienna University of Technology Wolfgang Faber - Alpen-Adria-Universitat Klagenfurt Fabio Fioravanti - University of Chieti-Pescara Andrea Formisano - Universita' di Perugia John Gallagher - Roskilde University and IMDEA Software Institute Martin Gebser - University of Klagenfurt and Graz University of Technology Michael Gelfond - Texas Tech University Michael Hanus - CAU Kiel Amelia Harrison - University of Texas at Austin and Google Inc. Manuel Hermenegildo - Technical University of Madrid (UPM) and IMDEA Software Institute Giovambattista Ianni - Universita' della Calabria Daniela Inclezan - Miami University Katsumi Inoue - National Institute of Informatics Tomi Janhunen - Aalto University Angelika Kimmig - Cardiff University Ekaterina Komendantskaya - Heriot-Watt University Vladimir Lifschitz - University of Texas at Austin Evelina Lamma - University of Ferrara Joohyung Lee - Arizona State University Nicola Leone - University of Calabria Yanhong Annie Liu - Stony Brook New York Fred Mesnard - Universite de la Reunion Jose F. Morales - IMDEA Software Institute Emilia Oikarinen - Aalto University Carlos Olarte - Universidade Federal do Rio Grande do Norte Magdalena Ortiz - Vienna University of Technology Mauricio Osorio - Universidad de las Americas Puebla Barry O'Sullivan - University College Cork Simona Perri - University of Calabria Enrico Pontelli - New Mexico State University Ricardo Rocha - University of Porto Alessandra Russo - Imperial College Orkunt Sabuncu - TED University Chiaki Sakama - Wakayama University Torsten Schaub - University of Potsdam Guillermo R. Simari - Universidad Nacional del Sur Theresa Swift - Universidade Nova de Lisboa Francesca Toni - Imperial College Paolo Torroni - University of Bologna Son Tran Cao - New Mexico State University Alicia Villanueva - Universitat Politecnica de Valencia Kewen Wang - Griffith University Jan Wielemaker - VU University of Amsterdam Stefan Woltran - Vienna University of Technology Fangkai Yang - NVIDIA Corporation Roland Yap - National University of Singapore Jia-Huai You - University of Alberta Zhizheng Zhang - Southeast University -------------- next part -------------- An HTML attachment was scrubbed... URL: From fioretto.ferdinando at isye.gatech.edu Wed May 1 04:48:14 2019 From: fioretto.ferdinando at isye.gatech.edu (Fioretto, Ferdinando) Date: Wed, 1 May 2019 02:48:14 +0000 Subject: [fg-arc] CFP: The 35th International Conference on Logic Programming (ICLP 2019) - updated deadlines Message-ID: Apologies for cross-posting - Please forward to anybody who might be interested The 35th International Conference on Logic Programming (ICLP 2019) Call for Papers ===================== September 20-25, 2019 Las Cruces, New Mexico (USA) https://www.cs.nmsu.edu/ALP/iclp2019/ Scope ------ Since the first conference held in Marseille in 1982, ICLP has been the premier international event for presenting research in logic programming. Contributions are sought in all areas of logic programming, including but not restricted to: * Foundations: Semantics, Formalisms, Nonmonotonic reasoning, Knowledge representation. * Languages: Concurrency, Objects, Coordination, Mobility, Higher Order, Types, Modes, Assertions, Modules, Meta-programming, Logic-based domain-specific languages, Programming Techniques. * Declarative programming: Declarative program development, Analysis, Type and mode inference, Partial evaluation, Abstract interpretation, Transformation, Validation, Verification, Debugging, Profiling, Testing, Execution visualization. * Implementation: Virtual machines, Compilation, Memory management, Parallel/distributed execution, Constraint handling rules, Tabling, Foreign interfaces, User interfaces. * Related Paradigms and Synergies: Inductive and Co-inductive Logic Programming, Constraint Logic Programming, Answer Set Programming, Interaction with SAT, SMT and CSP solvers, Logic programming techniques for type inference and theorem proving, Argumentation, Probabilistic Logic Programming, Relations to object-oriented and Functional programming. * Applications: Databases, Big Data, Data integration and federation, Software engineering, Natural language processing, Web and Semantic Web, Agents, Artificial intelligence, Computational life sciences, Education, Cybersecurity, and Robotics. Tracks and Special Sessions --------------------------- Besides the main track, ICLP 2019 will host additional tracks and special sessions: * Applications Track: This track invites submissions of papers on emerging and deployed applications of LP, describing all aspects of the development, deployment, and evaluation of logic programming systems to solve real-world problems, including interesting case studies and benchmarks, and discussing lessons learned. * Sister Conferences and Journal Presentation Track: This track provides a forum to discuss important results related to logic programming that appeared recently (from January 2017 onwards) in selective journals and conferences, but have not been previously presented at ICLP. * Research Challenges in Logic Programming Track: This track invites submissions of papers describing research challenges that an individual researcher or a research group is currently attacking. The goal of the track is to promote discussions, exchange of ideas, and possibly stimulate new collaborations. * Special Session: Women in Logic Programming: This special session will include invited talks and presentations by women in logic programming. Every track and special session will have its own dedicated chairs, PC, evaluation criteria, and CFP with the submission details. Submission Details ------------------- All submissions of the main track must be made via the EasyChair conference system: https://easychair.org/conferences/?conf=iclp2019 . Regular papers must be in the condensed TPLP format and not exceed 14 pages including bibliography. Regular papers may be supplemented with appendices for proofs and details of datasets which do not count towards the page limit and which will be available as appendices to the published paper. Three kinds of regular papers will be accepted: * 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. These restrictions do not apply to previously accepted workshop papers with a limited audience and/or without archival proceedings. 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 regular papers to be published as Technical communications, which will be published by Dagstuhl Publishing in the OpenAccess Series in Informatics (OASIcs). Technical communications must be in the OASIcs format (template here) and not exceed 14 pages excluding the bibliography and a short appendix (up to 5 more pages). The authors of the technical communications 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. All regular papers and technical communications will be presented during the conference. 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: May 8, 2019 * Paper submission: May 15, 2019 * Notification: June 19, 2019 * TPLP revision submission: July 3, 2019 * TPLP final notifications: July 17, 2019 * Camera-ready copy: July 31, 2017 * Conference: September 22, 2019 Organization ------------- General Chairs: Enrico Pontelli - New Mexico State University Son Tran Cao - New Mexico State University Program Chairs: Esra Erdem - Sabanci University German Vidal - Universitat Politecnica de Valencia Publicity Chair: Ferdinando Fioretto - Georgia Institute of Technology Workshops Chair: Martin Gebser - University of Klagenfurt and Graz University of Technology Tutorials Chair: Pedro Cabalar - University of Corunna DC Chairs: Paul Fodor - Stony Brook New York Daniela Inclezan - Miami University Programming Competition Chairs: Manuel Carro - Technical University of Madrid (UPM) and IMDEA Software Institute Orkunt Sabuncu - TED University Applications Track Chairs: Andrea Formisano - Universita' di Perugia Fangkai Yang - NVIDIA Corporation Sister Conferences and Journal Presentation Track Chairs: Bart Bogaerts - KU Leuven Giovambattista Ianni - Universita' della Calabria Research Challenges in Logic Programming Track Chairs: Alessandro dal Palu - Universita' di Parma Amelia Harrison - University of Texas at Austin and Google Inc. Joohyung Lee - Arizona State University Women in Logic Programming Special Session Chairs: Alicia Villanueva - Universitat Politecnica de Valencia Marina De Vos - University of Bath Program Committee: Hassan Ait-Kaci - University of Lyon 1 Mario Alviano - University of Calabria Roman Bartak - Charles University Rachel Ben-Eliyahu-Zohary - Azrieli College of Engineering Bart Bogaerts - KU Leuven Gerhard Brewka - Leipzig University Pedro Cabalar - University of Corunna Michael Codish - Ben-Gurion University of the Negev Stefania Costantini - University of L'Aquila Marina De Vos - University of Bath Agostino Dovier - University of Udine Thomas Eiter - Vienna University of Technology Wolfgang Faber - Alpen-Adria-Universitat Klagenfurt Fabio Fioravanti - University of Chieti-Pescara Andrea Formisano - Universita' di Perugia John Gallagher - Roskilde University and IMDEA Software Institute Martin Gebser - University of Klagenfurt and Graz University of Technology Michael Gelfond - Texas Tech University Michael Hanus - CAU Kiel Amelia Harrison - University of Texas at Austin and Google Inc. Manuel Hermenegildo - Technical University of Madrid (UPM) and IMDEA Software Institute Giovambattista Ianni - Universita' della Calabria Daniela Inclezan - Miami University Katsumi Inoue - National Institute of Informatics Tomi Janhunen - Aalto University Angelika Kimmig - Cardiff University Ekaterina Komendantskaya - Heriot-Watt University Vladimir Lifschitz - University of Texas at Austin Evelina Lamma - University of Ferrara Joohyung Lee - Arizona State University Nicola Leone - University of Calabria Yanhong Annie Liu - Stony Brook New York Fred Mesnard - Universite de la Reunion Jose F. Morales - IMDEA Software Institute Emilia Oikarinen - Aalto University Carlos Olarte - Universidade Federal do Rio Grande do Norte Magdalena Ortiz - Vienna University of Technology Mauricio Osorio - Universidad de las Americas Puebla Barry O'Sullivan - University College Cork Simona Perri - University of Calabria Enrico Pontelli - New Mexico State University Ricardo Rocha - University of Porto Alessandra Russo - Imperial College Orkunt Sabuncu - TED University Chiaki Sakama - Wakayama University Torsten Schaub - University of Potsdam Guillermo R. Simari - Universidad Nacional del Sur Theresa Swift - Universidade Nova de Lisboa Francesca Toni - Imperial College Paolo Torroni - University of Bologna Son Tran Cao - New Mexico State University Alicia Villanueva - Universitat Politecnica de Valencia Kewen Wang - Griffith University Jan Wielemaker - VU University of Amsterdam Stefan Woltran - Vienna University of Technology Fangkai Yang - NVIDIA Corporation Roland Yap - National University of Singapore Jia-Huai You - University of Alberta Zhizheng Zhang - Southeast University -------------- next part -------------- An HTML attachment was scrubbed... URL: From irdta at irdta.eu Tue May 7 01:29:41 2019 From: irdta at irdta.eu (IRDTA) Date: Tue, 07 May 2019 01:29:41 +0200 Subject: [fg-arc] AlCoB 2019: call for participation Message-ID: <545102060a010b0a0553520a00035a5d55510107000152540b555d06040553575d07010056005457095e0553540254@grlmc_ip-zone_com-6> AlCoB 2019: call for participation*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line* ********************************************************************************** 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/ ********************************************************************************** PROGRAM Tuesday, May 28 09:00 - 09:30    Registration 09:30 - 09:40    Opening 09:40 - 10:30    Igor Jurisica. Explanable AI for Data-driven Medicine - Invited lecture 10:30 - 10:45    Break 10:45 - 12:00 Tom Davot, Annie Chateau, Rodolphe Giroudeau and Mathias Weller. New Polynomial-time Algorithm around the Scaffolding Problem Ozan Kahramanogullari. Enumerating Dominant Pathways in Biological Networks by Information Flow Analysis Sridevi Maharaj, Zarin Ohiba and Wayne Hayes. Comparing Different Graphlet Measures for Evaluating Network Model Fits to BioGRID PPI Networks 12:00 - 13:30    Lunch 13:30 - 14:20    Lior Pachter. Algorithms for Single-cell Genomics - Invited lecture 14:20 - 14:35    Break 14:35 - 15:50 Louis Petingi and Tamar Schlick. Graph-theoretic Partitioning of RNAs and Classification of Pseudoknots Alexander Shlemov and Anton Korobeynikov. PathRacer: Racing Profile HMM Paths on Assembly Graph Pavel Avdeyev, Maria Atamanova, and Max A. Alekseyev. A Uniform Theory of Adequate Subgraphs for the Genome Median, Halving, and Aliquoting Problems 15:50 - 17:00    Poster session I --- Wednesday, May 29 09:30 - 10:20    Pavel A. Pevzner. Bioinformatics: A Servant or the Queen of Molecular Biology? - Invited lecture 10:20 - 10:35    Break 10:35 - 11:50 Veronica Guerrini and Giovanna Rosone. Lightweight Metagenomic Classification via eBWT Christopher Wright, Sriram Krishnamoorty and Milind Kulkarni. MULKSG: MULtiple K Simultaneous Graph Assembly João Paulo Pereira Zanetti, Leonid Chindelevitch and João Meidanis. Counting Sorting Scenarios and Intermediate Genomes for the Rank Distance 11:50 - 13:20    Group photo and Lunch 13:20 - 14:10    Teresa Przytycka. Exploring Phenotypic Heterogeneity across Tissues and Conditions with Network-based Approaches - Invited lecture 14:10 - 14:25    Break 14:25 - 15:40     João Paulo Pereira Zanetti, Leonid Chindelevitch and João Meidanis. Generalizations of the Genomic Rank Distance to Indels Thien Le, Aaron Sy, Erin K. Molloy, Qiuyi (Richard) Zhang, Satish Rao and Tandy Warnow. Using INC within Divide-and-Conquer Phylogeny Estimation Alona Levy-Jurgenson, Xavier Tekpli, Vessela N. Kristensen and Zohar Yakhini. Predicting Methylation from Sequence and Gene Expression Using Deep Learning with Attention 15:40 - 16:50    Poster session II 17:00        Walk around the campus --- Thursday, May 30 09:30 - 10:20    Tandy Warnow. Advances in Mathematical Approaches to Constructing the Tree of Life - Invited lecture 10:20 - 10:35    Break 10:35 - 11:50 Kari Nousiainen, Jukka Intosalmi and Harri Lähdesmäki. A Mathematical Model for Enhancer Activation Kinetics during Cell Differentiation Atif Rahman and Lior Pachter. Transcript Abundance Estimation and the Laminar Packing Problem Peng Xiao, Xingyu Cai and Sanguthevar Rajasekaran. Efficient Algorithms for Finding Edit-distance Based Motifs 11:50 - 12:00    Closing 12:00    Lunch   -------------- next part -------------- An HTML attachment was scrubbed... URL: From rmcouto at outlook.pt Thu May 9 17:10:05 2019 From: rmcouto at outlook.pt (rui couto) Date: Thu, 9 May 2019 15:10:05 +0000 Subject: [fg-arc] EICS 2019 - Program and Early Registration Message-ID: (Apologies for cross-postings) The early registration runs until May 18th: https://eics.acm.org/2019/registration.html The program is now available: http://eics.acm.org/2019/sources/programEICS2019.pdf 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 Further information can be found on the web site: https://eics.acm.org/2019/ -------------- next part -------------- An HTML attachment was scrubbed... URL: From fioretto.ferdinando at isye.gatech.edu Wed May 1 05:00:12 2019 From: fioretto.ferdinando at isye.gatech.edu (Fioretto, Ferdinando) Date: Wed, 1 May 2019 03:00:12 +0000 Subject: [fg-arc] CFP - ICLP 2019 (Special Session: Women in Logic Programming ) - updated deadlines Message-ID: Apologies for cross-posting - Please forward to anybody who might be interested The 35th International Conference on Logic Programming (ICLP 2019) Special Session: Women in Logic Programming =========================================== This special session aims to increase the visibility and impact of women in LP, fostering awareness of one another’s work. To have good role models is very important for female students and this session is an opportunity to celebrate women’s work in the community. We hope this will be particularly attractive to early-career women. The session will include one or two invited talks and presentations by women in logic programming. Submission Details ================== The submissions to this special session must be made via the EasyChair conference system: https://easychair.org/conferences/?conf=iclp2019 All submissions must be written in English and at least one coauthor must be a woman. Contributions can be sent in the form of short papers (7 pages in OASIcs format, including references) and can describe published research. The accepted short papers that describe original and previously unpublished work will be published as TCs, along with the selected ICLP-TC papers. The accepted short papers that describe published research will be made available at the conference webpage, with the permission of the authors. All technical communications will be presented during the conference, preferably by women. 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. Keynotes ======== TBA Important Dates =============== Paper submission: June 25, 2019 Notification: June 17, 2019 Camera-ready copy due: July 31, 2019 Main conference: September 20-25, 2019 Organization ============ Session Chairs: Marina De Vos - University of Bath Alicia Villanueva - Universitat Politècnica de València Program Committee ================= Elvira Albert - Universidad Complutense de Madrid Stefania Costantini - University of L’Aquila Ines Dutra - University of Porto Daniela Inclezan - Miami University Ekaterina Komendantskaya - Heriot-Watt University Simona Perri - University of Calabria -------------- next part -------------- An HTML attachment was scrubbed... URL: From sefm2019 at gmail.com Mon May 6 10:42:20 2019 From: sefm2019 at gmail.com (Lina Marsso) Date: Mon, 6 May 2019 10:42:20 +0200 Subject: [fg-arc] SEFM 2019 - Final CfP with Extended Deadlines Message-ID: --------------------------------------------------------------------- Final 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 13, 2019 (AoE) - EXTENDED DEADLINE Paper submission deadline: May 20, 2019 (AoE) - EXTENDED DEADLINE 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." INVITED SPEAKERS Wil van der Aalst (RWTH Aachen University, Germany) David Basin (ETH Zurich, Switzerland) Koushik Sen (University of California, Berkeley, USA) PROGRAM CHAIRS Peter Csaba Olveczky (University of Oslo, Norway) Gwen Salaun (Universite 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) Jose 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 (Universite 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, Universite 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 Universitat 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 apvereda at uma.es Wed May 8 13:39:19 2019 From: apvereda at uma.es (=?utf-8?Q?Alejandro=20Perez=20Vereda?=) Date: Wed, 8 May 2019 11:39:19 +0000 Subject: [fg-arc] =?utf-8?q?FOCLASA_2019_-_CFP?= Message-ID: <9b6934846f06d860c185471e4.677bd6e3f0.20190508113912.d24749b233.093ca2b2@mail123.sea91.rsgsv.net> Foclasa 2019 Invite and Call for Papers ** FOCLASA 2019 ------------------------------------------------------------ 17th International Workshop on Orchestration, Coordination Languages and Self-Adaptive Systems Oslo, Norway September 17, 2019 https://unipi.us20.list-manage.com/track/click?u=9b6934846f06d860c185471e4&id=9653f09d65&e=677bd6e3f0 ------------------------------------------------------------ PUBLICATIONS * Publication of the proceedings in the Lecture Notes of Computer Science of Springer-Verlag, following the collective volumes published by SEFM 2019 * Publication of extended version of selected work is planned in a special issue of an international journal as in previous editions of FOCLASA ------------------------------------------------------------ IMPORTANT DATES * Submission of abstract: June 9, 2019 * Submission of papers: June 16, 2019 * Notification of acceptance: July 21, 2019 * Final version: July 31, 2019 * Workshop: September 17, 2019 ------------------------------------------------------------ WORKSHOP GOALS Nowadays software systems are distributed, concurrent, mobile, and often involve the composition of heterogeneous components and stand-alone (micro)services. Service coordination, service orchestration and self-adaptation constitute the core characteristics of distributed and service-oriented systems. Theoretical/practical approaches to modelling and reasoning about (self-)adaptive behaviour help to simplify the development of complex distributed systems, enable their validation and evaluation, and improve interoperability, reusability and maintainability of such systems. The goal of the FOCLASA workshop is to gather researchers and practitioners of the aforementioned fields, to share and identify common problems, and to devise general novel solutions. ------------------------------------------------------------ Topics of interest include (but are not limited to) both theoretical and practical solutions for what follows: * Coordination, orchestration, composition and adaptation of components, services or microservices. * Business processes and concurrent system modelling. * Languages and models for component and service interaction, their semantics, expressiveness, validation and verification, type checking, static and dynamic analysis. * Cloud/fog/edge computing, and large-scale distributed systems. * Dynamic software architectures, self-adaptive, self-monitoring and self-organizing systems. * Peer-to-peer and multi-agent systems, and blockchains. * QoS observation, storage, history-based analysis in self-adaptive systems. ------------------------------------------------------------ PROCEEDINGS The conference proceedings will be published by Springer, in the Lecture Notes in Computer Science (LNCS) series. Extended versions of a selection of the best papers is planned to be published in a special issue of an international journal as in previous editions of FOCLASA. ------------------------------------------------------------ SUBMISSION INSTRUCTIONS Papers must be submitted electronically in PostScript or PDF by using a two-phase online submission process. Registration of information and and abstract (max. 250 words) of papers must be completed before June 9, 2019. Final submission of papers is due no later than June 16, 2019. All submissions will be handled through the EasyChair conference management system, accessible from the conference web site: https://unipi.us20.list-manage.com/track/click?u=9b6934846f06d860c185471e4&id=3e00449d9d&e=677bd6e3f0 Contributions must be written in English and report on original, unpublished work not submitted for publication elsewhere. Full papers should be 15 pages long, including figures and references, and prepared by using Springer's LNCS style. Short papers (8 pages long) describing preliminary results or work-in-progress are encouraged as well. Submissions not adhering to the above specified constraints may be rejected without any review. Papers should be submitted as PDF via EasyChair. ------------------------------------------------------------ PROGRAM COMMITTEE Co-Chairs Ernesto Pimentel University of Malaga, Spain epimentel at uma.es https://unipi.us20.list-manage.com/track/click?u=9b6934846f06d860c185471e4&id=cb90229aa2&e=677bd6e3f0 Jacopo Soldani University of Pisa, Italy soldani at di.unipi.it https://unipi.us20.list-manage.com/track/click?u=9b6934846f06d860c185471e4&id=3e98286c03&e=677bd6e3f0 Members * Farhad Arbab, CWI, The Netherlands * Simon Bliudze, INRIA Lille - Nord Europe, France * Uwe Breitenbücher, University of Stuttgart, Germany * Antonio Brogi, University of Pisa, Italy * Javier Cámara, Carnegie Mellon University, USA * Flavio De Paoli, University of Milano Bicocca, Italy * Francisco J. Durán, Universidad de Malaga, Spain * Erik de Vink, Eindhoven University of Technology, The Netherlands * Schahram Dustdar, TU Wien, Austria * Nahla El-Araby, Vienna University of Technology, Austria (TBC) * Jean-Marie Jacquet, University of Namur, Belgium * Einar Broch Johnsen, University of Oslo, Norway * Alberto Lluch Lafuente, Technical University of Denmark, Denmark * Sun Meng, Peking University, China * Fabrizio Montesi, University of Southern Denmark, Denmark (TBC) * Hernan C. Melgratti, University of Buenos Aires, Argentina * Cesare Pautasso, University of Lugano, Switzerland (TBC) * Pascal Poizat, Universite Paris Ouest, France * Jose Proenca, INESC TEC & Universidade do Minho, Portugal * Gwen Salaün, University of Grenoble, France * Marjan Sirjani, Reykjavik University, Iceland * Emilio Tuosto, University of Leicester, UK * Mirko Viroli, University of Bologna, Italy * Lina Ye, CentraleSupelec, France ============================================================ Copyright © 2019 FOCLASA Workshop, All rights reserved. If you do not want to receive more email from here ** unsubscribe from this list (https://unipi.us20.list-manage.com/unsubscribe?u=9b6934846f06d860c185471e4&id=3aefc5abde&e=677bd6e3f0&c=d24749b233) . Email Marketing Powered by Mailchimp http://www.mailchimp.com/monkey-rewards/?utm_source=freemium_newsletter&utm_medium=email&utm_campaign=monkey_rewards&aid=9b6934846f06d860c185471e4&afl=1 -------------- next part -------------- An HTML attachment was scrubbed... URL: From robert.heinrich at kit.edu Fri May 10 16:26:48 2019 From: robert.heinrich at kit.edu (Heinrich, Robert (IPD)) Date: Fri, 10 May 2019 14:26:48 +0000 Subject: [fg-arc] Architekturen 2019 Jahrestagung der GI-Fachgruppe Architekturen In-Reply-To: <238aa8eda1464ea39dc4e3a9f0663f4a@kit-msx-31.kit.edu> References: <238aa8eda1464ea39dc4e3a9f0663f4a@kit-msx-31.kit.edu> Message-ID: ----------------- Jahrestagung der GI FG Architekturen 2019 Motto: "Architectures in the Age of Data-Driven Systems" Datum: 13. - 14.6.2019 Ort: FZI Forschungszentrum Informatik, Haid-und-Neu-Straße 10-14, 76131 Karlsruhe Webseite: https://architekturen2019.ipd.kit.edu ----------------- Sehr geehrte Damen und Herren, in etwa einem Monat findet die Jahrestagung der GI-Fachgruppe Architekturen in Karlsruhe statt. *** Die Registrierung ist schon seit einiger Zeit offen. Bitte helfen Sie uns mit der Planung durch eine zeitnahe Anmeldung. *** Die Veranstaltung findet am 13. und 14. Juni am FZI Forschungszentrum Informatik statt. Das Motto in diesem Jahr lautet: "Architectures in the Age of Data-Driven Systems". Die Tagungsreihe Architekturen wurde von der GI-Fachgruppe Architekturen initiiert. Die Tagungsreihe hat sich zu einer der wichtigsten Plattformen für IT-Architekten entwickelt und bringt Fachleute aus Praxis, Forschung und Forschungstransfer im Bereich der Softwarearchitekturen zusammen. Nutzen auch Sie diese Chance, knüpfen Sie Kontakte und tauschen Sie sich zu den neuesten Trends, Herausforderungen, und Erfolgen zum Thema Softwarearchitekturen aus. Neben den Fachvorträgen von namenhaften Vortragenden sind auch Treffen der GI-Arbeitskreise der Fachgruppe geplant. Das vollständige Programm sowie weitere Informationen finden Sie unter https://architekturen2019.ipd.kit.edu/programm. Dank unserer Sponsoren ist die Veranstaltung für Sie als Teilnehmer/-in kostenlos. Bitte registrieren Sie sich *** bis spätestens zum 3. Juni *** über unsere Registrierungsseite https://architekturen2019.ipd.kit.edu/registrierung. Wir freuen uns auf Ihre Anmeldung und lebhafte Diskussionen! == Organisation und Kontakt == Prof. Dr. Ralf Reussner Dr. Robert Heinrich == Sponsoren == - andrena objects, https://www.andrena.de - Capgemini, https://www.capgemini.com - Vector Informatik GmbH, https://www.vector.com -------------- next part -------------- An HTML attachment was scrubbed... URL: From amedeo.napoli at loria.fr Thu May 16 12:07:32 2019 From: amedeo.napoli at loria.fr (Amedeo Napoli) Date: Thu, 16 May 2019 12:07:32 +0200 (CEST) Subject: [fg-arc] IJCAI Workshop FCA4AI 2019 CFP Message-ID: <1137164415.7434495.1558001252937.JavaMail.zimbra@loria.fr> ------------------------------------------------------------------------------------------------------------------- -- FCA4AI (Seventh Edition) -- ``What can FCA do for Artificial Intelligence?'' co-located with IJCAI 2019, Macao, China August 10 2019 http://www.fca4ai.hse.ru/2019 ------------------------------------------------------------------------------------------------------------------- General Information. The six preceding editions of the FCA4AI Workshop (since ECAI 2012 until IJCAI 2018) showed that many researchers working in Artificial Intelligence are indeed interested by a powerful method for classification and mining such as Formal Concept Analysis. This year, we still have the chance to organize a new edition of the workshop in Macao co-located with the IJCAI 2019 Conference. Formal Concept Analysis (FCA) is a mathematically well-founded theory aimed at data analysis and classification. FCA allows one to build a concept lattice and a system of dependencies (implications) which can be used for many AI needs, e.g. knowledge processing, knowledge discovery, knowledge representation and reasoning, ontology engineering as well as information retrieval, recommendation, social network analysis and text processing. Thus, there exist many ``natural links'' between FCA and AI. Recent years have been witnessing increased scientific activity around FCA, in particular a strand of work emerged that is aimed at extending the possibilities of FCA w.r.t. knowledge processing, such as work on pattern structures and relational context analysis. These extensions are aimed at allowing FCA to deal with more complex than just binary data, for solving more complex problems in data analysis, classification, knowledge processing... All these works extend the capabilities of FCA and offer new possibilities for AI activities in the framework of FCA. Accordingly, in this workshop, we will be interested in these main issues: - How can FCA support AI activities such as knowledge discovery, knowledge representation and reasoning, machine learning, natural language processing... - How can FCA be extended in order to help AI researchers to solve new and complex problems in their domain. The workshop is dedicated to discuss such issues. TOPICS OF INTEREST include but are not limited to: - Concept lattices and related structures: description logics, pattern structures, relational structures. - Knowledge discovery and data mining with FCA: association rules, itemsets and data dependencies, attribute implications, data pre-processing, redundancy and dimensionality reduction, classification, clustering, and biclustering. - Machine learning: neural networks, random forests, SVM, and combination of classifiers with FCA. - Knowledge engineering, knowledge representation and reasoning, and ontology engineering (semantic web activities). - Scalable algorithms for concept lattices and artificial intelligence ``in the large'' (distributed aspects, big data). - AI tasks based on FCA: information retrieval, recommendation, social network analysis, data visualization and navigation, pattern recognition... - Practical applications in agronomy, biology, chemistry, finance, manufacturing, medicine... The workshop will include time for audience discussion for having a better understanding of the issues, challenges, and ideas being presented. IMPORTANT DATES: Submission deadline: June 8, 2019 Notification to authors: June 29, 2019 Final version: July 15, 2019 Workshop: August 10 2019 SUBMISSION DETAILS: The workshop welcomes submissions in pdf format in Springer's LNCS style. Submissions can be: - technical papers not exceeding 12 pages, - system descriptions or position papers on work in progress not exceeding 6 pages Submissions are via EasyChair at https://easychair.org/conferences/?conf=fca4ai2019 The workshop proceedings will be published as CEUR proceedings (see preceding editions in CEUR Proceedings Vol-2149, Vol-1703, Vol-1430, Vol-1257, Vol-1058, and Vol-939). WORKSHOP CHAIRS: Sergei O. Kuznetsov Higher Schools of Economics, Moscow, Russia Amedeo Napoli LORIA-INRIA, Vandoeuvre les Nancy, France Sebastian Rudolph Technische Universitaet Dresden, Germany ------------------------------------------------------------------------------------------------------------------- ------------------------------------------------------------------------------------------------------------------- -------------- next part -------------- An HTML attachment was scrubbed... URL: From alexander.perucci at univaq.it Thu May 16 12:44:17 2019 From: alexander.perucci at univaq.it (alexander.perucci at univaq.it) Date: Thu, 16 May 2019 12:44:17 +0200 (CEST) Subject: [fg-arc] [3rd Call for Papers] ASYDE 2019 @ SEFM 2019 Message-ID: <192434612.40.1558003457983.JavaMail.Alexander@DESKTOP-7TKA96C> [Apologies for multiple postings] ** Reminder: the ASYDE @ SEFM'19 submission deadline is June 10th, 2019 ** Keynote by Marjan Sirjani, Mälardalen University (Tile and abstract to be announced) -- Third Call for Papers -- ASYDE 2019: 1st International Workshop on on Automated and verifiable Software sYstem DEvelopment, co-located with the 17th International Conference on Software Engineering and Formal Methods (SEFM 2019), Oslo, Norway - September 16, 2019 During the last three decades, automation in software development has gone mainstream. Software development teams strive to automate as much of the software development activities as possible. Automation helps, in fact, to reduce development time and cost, as well as to concentrate knowledge by bringing quality into every step of the development process. Realizing high-quality software systems requires producing software that is efficient, errorfree, cost-effective, and that satisfies customer requirements. Thus, one of the most crucial factors impacting software quality concerns not only the automation of the development process but also the ability to verify the outcomes of each process activity and the goodness of the resulting software product as well. ASYDE 2019 provides a forum for researchers and practitioners to propose and discuss on automated software development methods and techniques, compositional verification theories, integration architectures, flexible and dynamic composition, and automated planning mechanisms. ASYDE 2019 welcomes research papers, (industrial) experience papers and case-studies, tool demonstrations and visionary papers; nevertheless, papers describing novel research contributions and innovative applications are of particular interest. Details on workshop goals and themes can be found at: http://asyde2019.disim.univaq.it/ == IMPORTANT DATES == - Abstract submission: June 3rd, 2019 - Paper submission: June 10th, 2019 - Notification: July 15th, 2019 - Camera ready: July 22nd, 2019 == TOPICS OF INTEREST (although not limited to) == - Specification, architecture, and design of software and verification models - Formal methods for automated software development - Model-driven software development - Correct-by-construction software development - Automated synthesis of software integration code - Automated software development and integration - Automated and verifiable software development - Automated planning methods - Non-functional properties of software - Software quality assurance for automated software development - Compositional theories for software development and its (dynamic) verification - Dynamic verification and testing - Service-oriented and Component-based software development - Machine learning techniques == PAPER SUBMISSION == Workshop papers must follow the SEFM 2019 Format and Submission Guidelines: https://sefm2019.inria.fr/cfp/ The submission Web page for ASYDE 2019 is https://easychair.org/conferences/?conf=asyde2019 Each submitted paper will undergo a process of formal peer review by at least 3 PC members. Contributions can be: - Regular papers (from 10 to 15 pages): In this category fall those contributions that propose novel research contributions, address challenging problems with innovative ideas, or offer practical contributions (e.g., industrial experiences and case-studies) in the application of FM and SE approaches for automated and verifiable software development. Regular papers must clearly describe the situation or problem tackled, the relevant state of the art, the proposed position or solution, and the potential benefits of the contribution. Authors of papers reporting industrial experiences are encouraged to make their experimental results available for use by reviewers. - Short papers (from 6 to 8 pages): This category includes tool demonstrations, position papers, and visionary papers. Authors of tool demonstration papers should make their tool available for use by reviewers == WORKSHOP CHAIRS == - Farhad Arbab, CWI, The Netherlands Farhad.Arbab at cwi.nl - Marco Autili, University of L'Aquila, Italy marco.autili at univaq.it - Federico Ciccozzi, Mälardalen University, Sweden federico.ciccozzi at mdh.se - Pascal Poizat, Sorbonne Université, France pascal.poizat at lip6.fr - Massimo Tivoli, University of L'Aquila, Italy, massimo.tivoli at univaq.it == PROGRAM COMMITTEE == - Luciano Baresi, Politecnico di Milano - Steffen Becker, University of Stuttgart - Domenico Bianculli, SnT Centre - University of Luxembourg - Antonio Brogi, University of Pisa - Radu Calinescu, University of York - Antinisca Di Marco, University of L'Aquila - Amleto Di Salle, University of L'Aqula - Schahram Dustdar, Vienna University of Technology - Nikolaos Georgantas, INRIA - Marina Mongiello, Politecnico di Bari - Cristina Seceleanu, Mälardalen University - Meng Sun, Peking University - Apostolos Zarras, University of Ioannina == KEYNOTE == - Marjan Sirjani, Mälardalen University (Tile and abstract to be announced) == WEB CHAIR == - Amleto Di Salle, University of L'Aquila, Italy == PUBLICITY CHAIR == - Alexander Perucci, University of L'Aquila, Italy From irdta at irdta.eu Fri May 17 01:52:13 2019 From: irdta at irdta.eu (IRDTA) Date: Fri, 17 May 2019 01:52:13 +0200 Subject: [fg-arc] TPNC 2019: 1st call for papers Message-ID: <545102060a010b0a0657560407005a545303035050530f5405005c0853005b51015851515600015509515651550554@grlmc_ip-zone_com-6> TPNC 2019: 1st call for papers*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line*   **************************************************************************** 8th INTERNATIONAL CONFERENCE ON THE THEORY AND PRACTICE OF NATURAL COMPUTING   TPNC 2019   Kingston, Canada   December 9-11, 2019   Co-organized by:   Royal Military College of Canada   Institute for Research Development, Training and Advice Brussels / London   http://tpnc2019.irdta.eu/ ****************************************************************************   AIMS:   TPNC is a conference series intending to cover the wide spectrum of computational principles, models and techniques inspired by information processing in nature. TPNC 2019 will reserve significant room for young scholars at the beginning of their career and particular focus will be put on methodology. The conference aims at attracting contributions to nature-inspired models of computation, synthesizing nature by means of computation, nature-inspired materials, and information processing in nature.   VENUE:   TPNC 2019 will take place in Kingston, a city midway between Toronto and Montréal with an important military history. The venue will be:   Royal Military College of Canada Kingston, Ontario Canada K7K 7B4   https://www.rmc-cmr.ca/en   SCOPE:   Topics include, but are not limited to:   - Theoretical contributions to:   ant colony optimization artificial immune systems artificial life cellular automata cognitive computing collective behaviour collective intelligence computational intelligence computing with words developmental systems DNA computing DNA nanotechnology evolutionary algorithms evolutionary computing fuzzy logic fuzzy sets fuzzy systems genetic algorithms genetic programming granular computing heuristics intelligent agents intelligent systems machine intelligence metaheuristics molecular programming multiobjective optimization neural networks quantum communication quantum computing quantum information rough sets self-organization soft computing swarm intelligence unconventional computing   - Applications of natural computing to:   algorithmics bioinformatics control cryptography design economics graphics hardware human-computer interaction knowledge discovery learning logistics medicine natural language processing optimization pattern recognition planning and scheduling programming robotics telecommunications web intelligence   A flexible "theory to/from practice" approach would be the perfect focus for the expected contributions.   STRUCTURE:   TPNC 2019 will consist of:   - invited talks - peer-reviewed contributions - posters   INVITED SPEAKERS:   tba   PROGRAMME COMMITTEE: (to be completed)   Thomas Bäck (Leiden University, NL) Mauro Birattari (Université Libre de Bruxelles, BE) Shyi-Ming Chen (National Taiwan University of Science and Technology, TW) Carlos A. Coello Coello (CINVESTAV – National Polytechnic Institute, MX) Marco Dorigo (Université Libre de Bruxelles, BE) Matthias Ehrgott (Lancaster University, UK) Andries Engelbrecht (Stellenbosch University, ZA) Deborah M. Gordon (Stanford University, US) Etienne E. Kerre (Ghent University, BE) Chung-Sheng Li (Accenture, IE) Gui Lu Long (Tsinghua University, CN) Vittorio Maniezzo (University of Bologna, IT) Carlos Martín-Vide (Rovira i Virgili University, ES, chair) Luis Martínez López (University of Jaén, ES) Serge Massar (Université Libre de Bruxelles, BE) Geoffrey Pond (Royal Military College of Canada, CA) Shahab Shamshirband (Norwegian University of Science and Technology, NO) José Luis Verdegay (University of Granada, ES) Xin-She Yang (Middlesex University, UK) Yi Zhang (Sichuan University, CN)   ORGANIZING COMMITTEE:   Sara Morales (Brussels) Manuel Parra-Royón (Granada) Geoffrey Pond (Kingston, co-chair) 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=tpnc2019   PUBLICATIONS:   A volume of proceedings published by Springer in the LNCS series will be available by the time of the conference.   A special issue of a major journal will be later published containing peer-reviewed substantially extended versions of some of the papers contributed to the conference. Submissions to it will be by invitation.   REGISTRATION:   The registration form can be found at:   http://tpnc2019.irdta.eu/Registration.php   DEADLINES (all at 23:59 CET):   Paper submission: July 27, 2019 Notification of paper acceptance or rejection: August 31, 2019 Final version of the paper for the LNCS proceedings: September 7, 2019 Early registration: September 7, 2019 Late registration: November 25, 2019 Submission to the journal special issue: March 11, 2020   QUESTIONS AND FURTHER INFORMATION:   david at irdta.eu   ACKNOWLEDGMENTS:   Royal Military College of Canada / Collège militaire royal du Canada   IRDTA – Institute for Research Development, Training and Advice, Brussels/London   -------------- next part -------------- An HTML attachment was scrubbed... URL: From lpulina at uniss.it Fri May 17 08:18:23 2019 From: lpulina at uniss.it (Luca Pulina) Date: Fri, 17 May 2019 08:18:23 +0200 Subject: [fg-arc] [Call for Papers] AIIA19 - The 18th International Conference of the Italian Association for Artificial Intelligence Message-ID: [apologies for any cross-posting] **************************************************************************************************************************************************************** Call for Papers AIIA19 - The 18th International Conference of the Italian Association for Artificial Intelligence UNICAL, Rende (CS), 19-22 November 2019 **************************************************************************************************************************************************************** ----------------------------------------------------------------- Topics of Interest ----------------------------------------------------------------- The conference covers broadly the many aspects of theoretical and applied Artificial Intelligence. A series of workshops dedicated to specific topics enhances the program. AIIA 2019 welcomes submissions covering all areas of AI, including (but not limited to) machine learning, search, planning, knowledge representation, reasoning, constraint satisfaction, natural language processing, robotics and perception, and multiagent systems. We encourage all types of high-quality contributions including theoretical, engineering and applied papers. We also encourage contributions on AI techniques in the context of novel application domains, such as security, sustainability, health care, transportation, and commerce. Besides regular original papers, in this edition we also welcome discussion papers containing descriptions of results recently published or accepted for the presentation in international conferences. Discussion papers are expected to be more broadly accessible than regular papers, they are an opportunity for the authors to present their recent results to the AI community, and a valuable addition for the attendees of AIIA 2019. At least one author of each accepted paper is required to register and attend the conference to present the work. ----------------------------------------------------------------- Important Dates ----------------------------------------------------------------- Abstract submission by 28 May 2019 Paper submission by 4 June 2019 Notification to authors by 23 July 2019 Camera-ready copies due by 3 September 2019 ----------------------------------------------------------------- Proceedings of Regular Papers ----------------------------------------------------------------- The regular papers will be included in the proceedings of the conference, and will be published by Springer Verlag in the Lecture Notes in Artificial Intelligence series. Authors of selected regular papers accepted to the main track will be invited to submit an extended version for publication on "Intelligenza Artificiale", the International Journal of the Italian Association for Artificial Intelligence, edited by IOS Press and indexed by Thomson Reuters' "Emerging Sources Citation Index" and Scopus by Elsevier. ----------------------------------------------------------------- Proceedings of Discussion Papers ----------------------------------------------------------------- The discussion papers will not be included in the LNCS proceedings of the conference, and will be made available through the conference WEB-Site and possibly published on CEUR WS Proceedings upon request. ----------------------------------------------------------------- Best Papers ----------------------------------------------------------------- The Program Committee will select the Best Student Paper Award and the Best Paper Award from the accepted regular papers. In order to be eligible for the Best Student Paper award, at least one author must be a student. ----------------------------------------------------------------- Submission Instructions ----------------------------------------------------------------- The submitted papers should be written in English and formatted according to the Springer LNCS style. Regular papers must be original papers which are not being submitted simultaneously for publication elsewhere. These papers should not exceed 12 pages plus bibliography. The discussion papers report results already published or accepted for the publication in international conferences, and should not exceed 8 pages plus bibliography. Paper submission is electronic via easychair at the address: https://easychair.org/conferences/?conf=aiia2019 ----------------------------------------------------------------- Conference Web Site ----------------------------------------------------------------- For the most up to date information, please visit: https://aiia2019.mat.unical.it ----------------------------------------------------------------- Organizing Committee ----------------------------------------------------------------- Conference Chair: Nicola Leone (UNICAL, Italy) Program Chairs: Mario Alviano (UNICAL, Italy) Gianluigi Greco (UNICAL, Italy) Francesco Scarcello (UNICAL, Italy) Organization Chairs: Francesco Ricca (UNICAL, Italy) Chiara Ghidini (FBK, Trento) Workshop and Tutorial Chair: Rafael Penaloza (UNIMIB, Italy) Doctoral Consortium Chair: Marco Maratea (UNIGE, Italy) Publicity and Web Chair: Luca Pulina (UNISS, Italy) -- -- *Dona il  5x1000* all'Università degli Studi di Sassaricodice fiscale: 00196350904 From simon.hacks at swc.rwth-aachen.de Wed May 22 08:03:02 2019 From: simon.hacks at swc.rwth-aachen.de (Hacks, Simon) Date: Wed, 22 May 2019 06:03:02 +0000 Subject: [fg-arc] Deadline Extension: 1st Workshop on the Value and Quality of Enterprise Modelling, (VEnMo 2019) Message-ID: <9baa3d6e898f455bb6437db73d95971f@swc.rwth-aachen.de> *********************************************************************** 1st Workshop on the Value and Quality of Enterprise Modelling (VEnMo 2019) in conjunction with the 17th International Conference on Business Process Management (BPM 2019) 2 September 2019 in Vienna *********************************************************************** In computer science and information systems development, enterprise modelling (EM) is used for different purposes, like representing requirements, visualizing established work processes, specifying system design, expressing information structures, formalizing the relationships between organizational structures and IT landscapes and many more. Despite this large spectrum of modelling purposes and use cases, the value of modelling in general and of enterprise models in particular is still subject of research. The 1st VEnMo Workshop invites researchers and practitioners with strong interest in the value of EM to discuss approaches and experiences in measuring, assessing, evaluating, and improving the value of enterprise related models like enterprise models, enterprise architecture models, or business process models. While it is common sense that EM adds value to organizations, existing research is still vague regarding how this value manifests. Therefore, the workshop aims to shed light on existing as well as new theories, concepts and frameworks for describing, understanding and measuring the benefit of EM. One important aspect in this context may be the quality of EM, as only models of an adequate quality with respect to their intended purpose allow organizations to exploit the full value of EM. Therefore, the workshop further encourages researchers and practitioners to report on insights or approaches how to assess the quality of enterprise models. Contributions may span from generic methods and appropriate quantifiable quality metrics to studies that investigate what makes an enterprise model of high quality from the perspective of relevant stakeholders. However, we support a broad interpretation of the topics „value“ and „quality“ and encourage submissions also in related areas. **Topics** • interpretations or conceptualizations of the terms “value” and “quality” in the context of Enterprise related Models (EM, EA models, BPM, ) • new approaches to measure, assess, evaluate, or improve the value of enterprise related models • interrelations between model, method, and tool value • perceived value of models, methods, and tools • stakeholder perspectives on value and quality of EM • metrics, quantitative, and qualitative approaches to assess the quality of enterprise related models. • theories or best practices for maximizing modelling value • relationship between quality, quantity and value • management of value aspects in modelling • case studies and industrial experience reports on successful or failed application of approaches to assess the value or quality of enterprise related models. • tools, infrastructure and environments supporting the assessment of value or quality of enterprise related models. • empirical studies, evaluation and comparison of measurement techniques and models. • we support a broad interpretation of the topics „value“ and „quality“ and encourage submissions also in related areas. **Submissions** Two kinds of papers will be accepted: • Full papers with a page limit of 12 pages, • Short papers with a page limit of 6 pages. Additionally, we accept “alternative formats”, like conducting experiments or discussions with the participants on a certain topic. If you are interested in doing so, please hand in a short abstract of 3 pages describing your concept, i.e. what you plan to do and what the result should be. Papers should be written in English, following the LNBIP format and should be submitted through the BPM 2019 easychair installation, accessible via https://easychair.org/my/conference.cgi?conf=bpm2019. All workshop papers will be published by Springer as a post-workshop proceedings volume in the series Lecture Notes in Business Information Processing (LNBIP). These proceedings will be made available to all registered participants approximately four months after the workshops, while preliminary proceedings will be distributed during the workshop. **Key Dates** • Workshop papers submission deadline: May 24, 2019 **new** May 31, 2019 • Workshop papers notification deadline: June 28, 2019 • Workshop camera-ready papers deadline: July 12, 2019 • Workshop VEnMo: September 2, 2019 **Web Site** More information and link to the submission site: http://www.venmo2019.informatik.uni-rostock.de/ **Program Committee** • Mathias Ekstedt, KTH (Sweden) • Peter Fettke, DFKI and Saarland University (Germany) • Janis Grabis, Riga Technical University (Latvia) • Marite Kirikova, Riga Technical University (Latvia) • Agnes Koschmider, Karlsruhe Institute of Technology (Germany) • Robert Lagerström, KTH (Sweden) • Birger Lantow, Rostock University (Germany) • Michael Leyer, Rostock University (Germany) • Monika Malinova, Vienna University of Economics and Business (Austria) • Judith Michael, RWTH Aachen University (Germany) • Alexander Nolte, University of Tartu (Estonia) • Erik Proper, Luxembourg Institute for Science and Technology (Luxembourg) • Alixandre Santana, UFRPE (Brazil) • Rainer Schmidt, Munich University (Germany) • Ulf Seigerroth, Jönköping University (Sweden) • Nuno Silva, UTL (Portugal) • Janis Stirna, Stockholm University (Sweden) • Margus Välja, Scania AB (Sweden) **Organization Committee** • Felix Timm*, University of Rostock (Germany) • Simon Hacks*, RWTH Aachen University (Germany) • Kurt Sandkuhl, University of Rostock (Germany) • Michael Fellmann, University of Rostock (Germany) *Co-Chairs -- Simon Hacks Research Assistant Faculty of Mathematics, Computer Science and Natural Sciences SWC - Computer Science 3 Research Group Software Construction RWTH Aachen University Ahornstraße 55 D-52074 Aachen, Germany phone: +49 241 80-21332 fax: +49 241 80-621331 simon.hacks at swc.rwth-aachen.de http://www.swc.rwth-aachen.de room: 4105 (building E1, 1st floor) -------------- next part -------------- An HTML attachment was scrubbed... URL: -------------- next part -------------- A non-text attachment was scrubbed... Name: smime.p7s Type: application/pkcs7-signature Size: 7670 bytes Desc: not available URL: From zoltan.mann at gmail.com Thu May 23 17:07:40 2019 From: zoltan.mann at gmail.com (=?UTF-8?B?Wm9sdMOhbiBNYW5u?=) Date: Thu, 23 May 2019 17:07:40 +0200 Subject: [fg-arc] CfP: 2nd International Workshop on Software Architecture Challenges in Big Data (SACBD 2019) Message-ID: 2nd Call for Papers 2nd International Workshop on Software Architecture Challenges in Big Data (SACBD 2019) Co-located with ECSA 2019, the 13th European Conference on Software Architecture 9-10 September 2019, Paris, France Paper submission deadline: 31 May 2019 http://www.bdva.eu/node/1262 BACKGROUND ========== Software systems managing big data have very challenging architectural requirements, e.g., in terms of performance, flexibility, and reliability. Big data systems often embody a number of technologies, such as cloud computing, the Internet of Things (IoT), fog computing, high-performance computing (HPC), artificial intelligence (AI), and in particular machine learning (ML). These technologies come with their own technical limitations and constraints that also impact the architecture of big data systems. Enforcing security, privacy, transparency, and ethics are also concerns of increasing importance, with potential architectural implications. OBJECTIVES ========== The Big Data Value Association (BDVA, http://www.bdva.eu/) initiated the SACBD workshop series to provide a forum for discussing all aspects of the software architecture challenges of big data systems. The workshop welcomes the contributions of practitioners and researchers alike. The workshop is open to all, both BDVA members and non-members. Technical issues and challenges related to software architecture are well covered by the European Big Data Value Strategic Research and Innovation Agenda (http://www.bdva.eu/SRIA). Such software architecture trends are facilitating new data-driven operations and services which are at the core of the new economy revolving around big data value. As organizations become more and more data-centric, they need to re-design their software architectures accordingly. For example, data-intensive systems and applications need to be put in place and properly integrated with traditional systems (e.g. web applications). This affects not only the architecture design but also its implementation and non-functional aspects. For example, performance and data protection are paramount when dealing with Big Data. This situation creates a need for new methods and tools to design and reason about software architectures in Big Data scenarios and paves the way for various research directions. For example, how to design software architectures when dealing with Big Data? Which are the typical architectural patterns? How to assess the performance or the privacy risk of Big Data architectures? The workshop will focus on these and many others aspects of software architectures in the Big Data era. TOPICS OF INTEREST ================== The workshop solicits papers on all aspects of software architecture for big data. Topics of interest include, but are not limited to: * Software architectures in genuine big data scenarios * Architectural patterns for big data * Architectures of big data systems (e.g., Spark, Flink, Hadoop) * Integration of Big Data systems with other business systems * Non-functional requirements (e.g., performance, security, privacy, reliability) * Combining big data with IoT, HPC, cloud computing, fog computing * Applying machine learning to big data scenarios, big data integration with artificial intelligence * Fostering business with big data and analytics SUBMISSION GUIDELINES ===================== Original, high-quality papers are solicited, from researchers and practitioners alike. Both full papers (maximum 8 pages) and short papers (maximum 4 pages) will be considered. All papers must be written in English and follow the ACM formatting instructions and templates for conference papers, as specified under https://www.acm.org/publications/icps-instructions/. Independently from the length, several types of papers will be considered (experience reports, new approaches, review or analysis of existing approaches, empirical studies, theoretical results, negative results, position papers, vision papers). The contribution of a paper must be commensurate with its length. Submitted papers must be original, not submitted and not published elsewhere. Accepted papers will be published in the ECSA companion proceedings in the ACM Digital Library. Papers must be submitted in PDF using the online submission system under the following link: https://easychair.org/conferences/?conf=sacbd2019. All submissions will be reviewed by at least three members of the program committee. Paper acceptance will be based on originality, significance, technical soundness, clarity of presentation, and relevance to the workshop topics. FURTHER INFORMATION =================== SACBD 2019 will be co-located with ECSA 2019, the 13th European Conference on Software Architecture (https://ecsa2019.univ-lille.fr/). The workshop will take place on 9-10 September 2019 in Paris, right before the main ECSA conference. At least one author of each accepted paper must register, attend the workshop, and present the work. Registration is subject to the terms, conditions and procedure of the ECSA 2019 conference. Workshop website: http://www.bdva.eu/node/1262 IMPORTANT DATES =============== Paper submission: May 31, 2019 Notification: June 26, 2019 Camera-ready: July 5, 2019 Workshop: September 9-10, 2019 ORGANIZING COMMITTEE ==================== Zoltán Ádám Mann, University of Duisburg-Essen, Germany Daniel Alonso Román, Technology Institute of Valencia, Spain Michele Guerriero, Politecnico di Milano, Italy Alessandra Bagnato, Softeam, France PROGRAM COMMITTEE ================= Ali Serdar Atalay, BitNet, Turkey Peter Baumann, Jacobs University Bremen, Germany Arne Berre, SINTEF, Norway David Bowden, DELL, Ireland Sergio Campos, Tecnalia Research & Innovation, Spain Alexandru Costan, IRISA / INSA Rennes, France Carlos E. Cuesta, Universidad Rey Juan Carlos, Spain Alfredo Cuzzocrea, University of Trieste, Italy Elisabetta Di Nitto, Politecnico di Milano, Italy Omar Elloumi, Nokia Bell Labs, Ireland Ibai Laña, Tecnalia, Spain Daphne Lopez, Vellore Institute of Technology, India Andreas Metzger, University of Duisburg-Essen, Germany Ignacio Olabarrieta Palacios, Tecnalia, Spain Diego Perez-Palacin, Linnaeus University, Sweden Zoheir Sabeur, Bournemouth University, UK Andrey Sadovykh, Innopolis University, Russia Angel Serrano Sánchez de León, Universidad Rey Juan Carlos, Spain Damian Andrew Tamburri, Technical University of Eindhoven, Netherlands Ana Isabel Torre, Tecnalia, Spain Anwar Vahed, Meraka Institute, South Africa Juan Manuel Vara, Universidad Rey Juan Carlos, Spain -------------- next part -------------- An HTML attachment was scrubbed... URL: From fioretto.ferdinando at isye.gatech.edu Tue May 21 03:50:22 2019 From: fioretto.ferdinando at isye.gatech.edu (Fioretto, Ferdinando) Date: Tue, 21 May 2019 01:50:22 +0000 Subject: [fg-arc] CFP: ICLP 2019 - Special Session: Women in Logic Programming Message-ID: [Apologies for cross-posting - Please forward to anybody who might be interested] The 35th International Conference on Logic Programming (ICLP 2019) Special Session: Women in Logic Programming =========================================== This special session aims to increase the visibility and impact of women in LP, fostering awareness of one another’s work. To have good role models is very important for female students and this session is an opportunity to celebrate women’s work in the community. We hope this will be particularly attractive to early-career women. The session will include one or two invited talks and presentations by women in logic programming. Submission Details ================== The submissions to this special session must be made via the EasyChair conference system: https://easychair.org/conferences/?conf=iclp2019 All submissions must be written in English and at least one coauthor must be a woman. Contributions can be sent in the form of short papers (7 pages in OASIcs format, including references) and can describe published research. The accepted short papers that describe original and previously unpublished work will be published as TCs, along with the selected ICLP-TC papers. The accepted short papers that describe published research will be made available at the conference webpage, with the permission of the authors. All technical communications will be presented during the conference, preferably by women. 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. Keynotes ======== Yuliya Lierler Important Dates =============== Paper submission: June 25, 2019 Final notification: July 17, 2019 Camera-ready copy due: July 31, 2019 Main conference: September 20--25, 2019 Organization ============ Session Chairs: Marina De Vos - University of Bath Alicia Villanueva - Universitat Politècnica de València Program Committee ================= Elvira Albert - Universidad Complutense de Madrid Stefania Costantini - University of L’Aquila Ines Dutra - University of Porto Daniela Inclezan - Miami University Ekaterina Komendantskaya - Heriot-Watt University Simona Perri - University of Calabria From irdta at irdta.eu Wed May 22 01:31:10 2019 From: irdta at irdta.eu (IRDTA) Date: Wed, 22 May 2019 01:31:10 +0200 Subject: [fg-arc] SLSP 2019: 3rd call for papers Message-ID: <545102060a010b0a065e5007060b5a52545104575605030306025d000f055202075707010a5a055156075205030b07@grlmc_ip-zone_com-6> SLSP 2019: 3rd call for papers*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line*   **********************************************************************************   7th INTERNATIONAL CONFERENCE ON STATISTICAL LANGUAGE AND SPEECH PROCESSING   SLSP 2019   Ljubljana, Slovenia   October 14-16, 2019   Co-organized by:   Jožef Stefan Institute   Institute for Research Development, Training and Advice (IRDTA), Brussels/London   http://slsp2019.irdta.eu/   **********************************************************************************   AIMS:   SLSP is a yearly conference series aimed at promoting and displaying excellent research on the wide spectrum of statistical methods that are currently in use in computational language or speech processing. It aims at attracting contributions from both fields. Though there exist large conferences and workshops hosting contributions to any of these areas, SLSP is a more focused meeting where synergies between the two domains will hopefully happen. In SLSP 2019, significant room will be reserved to young scholars at the beginning of their career and particular focus will be put on methodology.   VENUE:   SLSP 2019 will take place in Ljubljana, a charming city full of art and one of the smallest capital cities in Europe. The venue will be:   Jožef Stefan Institute Jamova cesta 39 1000 Ljubljana Slovenia   https://www.ijs.si/ijsw/JSI   SCOPE:   The conference invites submissions discussing the employment of statistical models (including machine learning) within language and speech processing. Topics of either theoretical or applied interest include, but are not limited to:   anaphora and coreference resolution authorship identification, plagiarism and spam filtering computer-aided translation corpora and language resources data mining and semantic web information extraction information retrieval knowledge representation and ontologies lexicons and dictionaries machine translation multimodal technologies natural language understanding neural representation of speech and language opinion mining and sentiment analysis parsing part-of-speech tagging question-answering systems semantic role labelling speaker identification and verification speech and language generation speech recognition speech synthesis speech transcription spelling correction spoken dialogue systems term extraction text categorisation text summarisation user modeling   STRUCTURE:   SLSP 2019 will consist of:   invited talks peer-reviewed contributions posters   INVITED SPEAKERS:   Jure Leskovec (Stanford University), Learning and Reasoning with Knowledge Graphs   Alexandros Potamianos (National Technical University of Athens), Emotion and Behavioral Tracking in the Lab and in the Wild   Odette Scharenborg (Delft University of Technology), The Representation and Processing of Speech in Human Listeners and Deep Neural Network-based Automatic Speech Recognition Systems   PROGRAMME COMMITTEE:   Jon Barker (University of Sheffield, UK) Roberto Basili (University of Rome Tor Vergata, IT) Pushpak Bhattacharyya (Indian Institute of Technology, Bombay, IN) Fethi Bougares (University of Le Mans, FR) Philipp Cimiano (Bielefeld University, DE) Carol Espy-Wilson (University of Maryland, US) Nikos Fakotakis (University of Patras, GR) Robert Gaizauskas (University of Sheffield, UK) Julio Gonzalo (National Distance Education University, ES) Reinhold Häb-Umbach (Paderborn University, DE) John Hershey (Google, US) Julia Hirschberg (Columbia University, US) Jing Huang (JD AI Research, US) Mei-Yuh Hwang (Mobvoi AI Lab, US) Nancy Ide (Vassar College, US) Martin Karafiát (Brno University of Technology, CZ) Vangelis Karkaletsis (National Center for Scientific Research "Demokritos", GR) Tomi Kinnunen (University of Eastern Finland, FI) Sandra Kübler (Indiana University, US) Carlos Martín-Vide (Rovira i Virgili University, ES, chair) David Milne (University of Technology Sydney, AU) Marie-Francine Moens (KU Leuven, BE) Preslav Nakov (Qatar Computing Research Institute, QA) Elmar Nöth (University of Erlangen-Nuremberg, DE) Senja Pollak (Jožef Stefan Institute, SI) Stephen Pulman (University of Oxford, UK) Matthew Purver (Queen Mary University of London, UK) Mats Rooth (Cornell University, US) Tony Russell-Rose (UX Labs, UK) Horacio Saggion (Pompeu Fabra University, ES) Tanja Schultz (University of Bremen, DE) Efstathios Stamatatos (University of the Aegean, GR) Erik Tjong Kim Sang (Netherlands eScience Center, NL) Isabel Trancoso (Instituto Superior Técnico, PT) Josef van Genabith (German Research Center for Artificial Intelligence, DE) K. Vijay-Shanker (University of Delaware, US) Atro Voutilainen (University of Helsinki, FI) Hsin-Min Wang (Academia Sinica, TW) Hua Xu (University of Texas, Houston, US) Edmund S. Yu (Syracuse University, US) François Yvon (CNRS - Limsi, FR) Wlodek Zadrozny (University of North Carolina, Charlotte, US)   ORGANIZING COMMITTEE:   Tina Anžič (Ljubljana) Jan Kralj (Ljubljana) Matej Martinc (Ljubljana) Sara Morales (Brussels) Manuel Parra-Royón (Granada) Senja Pollak (Ljubljana, co-chair) Matthew Purver (London) David Silva (London, co-chair) Anita Valmarska (Ljubljana)   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=slsp2019   PUBLICATIONS:   A volume of proceedings published by Springer in the LNCS/LNAI series will be available by the time of the conference.   A special issue of a major journal will be later published containing peer-reviewed substantially extended versions of some of the papers contributed to the conference. Submissions to it will be by invitation.   REGISTRATION:   The registration form can be found at:   http://slsp2019.irdta.eu/Registration.php   DEADLINES (all at 23:59 CET):   Paper submission: June 1, 2019 Notification of paper acceptance or rejection: July 8, 2019 Final version of the paper for the LNCS/LNAI proceedings: July 15, 2019 Early registration: July 15, 2019 Late registration: September 30, 2019 Submission to the journal special issue: January 16, 2020   QUESTIONS AND FURTHER INFORMATION:   david at irdta.eu   ACKNOWLEDGMENTS:   Institut "Jožef Stefan"   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 May 25 10:01:20 2019 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Sat, 25 May 2019 11:01:20 +0300 Subject: [fg-arc] 23rd Pan-Hellenic Conference on Informatics (PCI 2019): Second Call for Papers Message-ID: *** SECOND CALL FOR PAPERS *** 23rd Pan-Hellenic Conference on Informatics (PCI 2019) University of Nicosia, Nicosia, Cyprus, November 28-30, 2019 http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkyM3JkIFBhbi1IZWxsZW5pYyBDb25mZXJlbmNlIG9uIEluZm9ybWF0aWNzIChQQ0kgMjAxOSk6IFNlY29uZCBDYWxsIGZvciBQYXBlcnMJMzg3CUxpc3RzCTE1MAljbGljawl5ZXMJbm8=&url=http%3A%2F%2Funic.ac.cy%2Fpci2019 *** Submission Deadline: September 10, 2019 *** *** Proceedings to be published by ACM ICPS (pending approval) *** The University of Nicosia, the University of Cyprus, the Open University Cyprus and the Greek Computer Society organize the 23rd Pan-Hellenic Conference on Informatics (PCI 2019) in Nicosia, Cyprus on November 28-30, 2019. PCI 2019 aims to provide an effective channel of communication among researchers, practitioners, decision-makers and entities concerned with the latest research, scientific development and practice on ICT to discuss current, state-of-the-art topics that are of relevance and significance for national competitiveness as well as for sustainable, robust and equitable regional development. Submissions to PCI 2019 might cover, but are not limited, to the following topics: · Algorithms & Data Structures · Artificial Intelligence · Bioinformatics · Bio & Nature Inspired Computing · Blockchain Technologies · Cloud Computing · Communication & Information Systems Security and Privacy · Computational Science · Computer & Communication Networks · CRM & ERP Systems · Databases · Data Mining · Digital Libraries · Digital Systems · Distributed Computing · eCommerce, eBusiness, eHealth · Telecommunication Systems · Wireless & Mobile Computing · Learning Technologies · Graphics, Visualization, Multimedia & Virtual Reality · Grid, Cluster & P2P Computing · Hardware & Architecture · Embedded Systems · Human-Computer Interaction · Image and Video Processing · Information Retrieval · Information Society: Legal and Regulatory Issues · Information Systems · Information Theory · Knowledge Based Systems · Numerical & Scientific Computation · Open Source Software · Operating Systems · Parallel & Distributed Systems · Programming Languages · Signal Processing · Software Engineering PCI 2019 encourages the submission of high quality papers with original content in the following tracks: · Research Paper: full paper (8 pages) describing original and unpublished results of conceptual, empirical, experimental, or theoretical work in all areas of Computer Science. · Research Project Results: extended abstract (2 pages) presenting the results of funded completed or ongoing research projects at national or European level. · Industry: extended abstract (2 pages) presenting novel industrial solutions, success stories, and challenges that are encountered in an industry setting when adopting IT technologies. Templates for submissions can be found at the ACM SIG proceedings website: http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkyM3JkIFBhbi1IZWxsZW5pYyBDb25mZXJlbmNlIG9uIEluZm9ybWF0aWNzIChQQ0kgMjAxOSk6IFNlY29uZCBDYWxsIGZvciBQYXBlcnMJMzg3CUxpc3RzCTE1MAljbGljawl5ZXMJbm8=&url=https%3A%2F%2Fwww.acm.org%2Fpublications%2Fproceedings-template . Papers should be submitted via EasyChair using the following link: http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkyM3JkIFBhbi1IZWxsZW5pYyBDb25mZXJlbmNlIG9uIEluZm9ybWF0aWNzIChQQ0kgMjAxOSk6IFNlY29uZCBDYWxsIGZvciBQYXBlcnMJMzg3CUxpc3RzCTE1MAljbGljawl5ZXMJbm8=&url=https%3A%2F%2Feasychair.org%2Fmy%2Fconference%3Fconf%3Dpci2019 . The submitted research papers and extended abstracts will be peer-reviewed on the basis of technical quality, relevance to scope of PCI, originality, significance, and clarity. Note that submitted papers should have neither been published nor submitted for publication elsewhere. The working language of the conference is English and the papers should be written in that language. As in previous years, the final version of the research papers accepted for presentation at PCI 2019 will be published by ACM in the ICPS Series (pending approval) and will be included in the ACM Digital library. The accepted extended abstracts will be allocated either a demo or poster slot during the conference. At least one author of each accepted paper or abstract is expected to register, attend the conference and present their contribution. Important Dates · Paper submission deadline:                         September 10, 2019 · Notification of paper acceptance/rejection: October 17, 2019 · Submission of camera ready papers:           October 24, 2019 · Author registration:                                    October 24, 2019 Organization General Chairs · Yannis Manolopoulos, Open University Cyprus, Cyprus · George Angelos Papadopoulos, University of Cyprus, Cyprus · Athena Stassopoulou, University of Nicosia, Cyprus Program Chairs · Ioanna Dionysiou, University of Nicosia, Cyprus · Ioannis Kyriakides, University of Nicosia, Cyprus · Nicolas Tsapatsoulis, Cyprus University of Technology, Cyprus Local Advisory Committee · Demetris Trihinas (chair, University of Nicosia) · Achilleas Achilleos (Frederick University Cyprus) · Panayiotis Andreou (University of Central Lancashire-Cyprus) · Christodoulos Efstathiades (European University Cyprus) · Angelika Kokkinaki (University of Nicosia) · Ioannis Krikidis (University of Cyprus) · Jahna Otterbacher (Open University Cyprus) · Vicky Papadopoulou (European University Cyprus) · Nearchos Paspallis (University of Central Lancashire-Cyprus) · Michalis Sirivianos (Cyprus University of Technology) · Stavros Stavrou (Open University Cyprus) · Demetris Zeinalipour (University of Cyprus) Proceedings Editor · Harald Gjermundrod (University of Nicosia) Steering Committee · Christos Douligeris (Greek Computer Society) · Nikitas Karanikolas (Greek Computer Society) · Christos Koilias (Greek Computer Society) · Cleo Sgouropoulou (Greek Computer Society) · Ioannis Voyatzis (chair, Greek Computer Society) -------------- next part -------------- An HTML attachment was scrubbed... URL: From t.liu at unibo.it Mon May 20 17:26:13 2019 From: t.liu at unibo.it (Tong Liu) Date: Mon, 20 May 2019 15:26:13 +0000 Subject: [fg-arc] LOPSTR 2019: Fist Call for Papers Message-ID: <18074A27F07D9F273586FBFF3911C3BBC14C47CF@unknown> [LOPSTR 2019: Our apologies for possible duplicates] ===================================================================== LOPSTR 2019: Fist Call for Papers ====================================================================== 29th International Symposium on Logic-Based Program Synthesis and Transformation LOPSTR 2019 http://www.cs.unibo.it/projects/lopstr19/ Porto, Portugal, October 8-10, 2019 (co-located with the Symposium on Formal Methods, FM'19 and a part of the FM Week) The aim of the LOPSTR series is to stimulate and promote international research and collaboration on logic-based program development. LOPSTR is open to contributions in logic-based program development in any language paradigm. LOPSTR has a reputation for being a lively, friendly forum for presenting and discussing work in progress. Formal proceedings are produced only after the symposium so that authors can incorporate this feedback in the published papers. The 29th International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR 2019) will be held at the Porto, Portugal. Previous symposia were held in Namur, Edinburgh, Siena, Canterbury, Madrid, Leuven, Odense, Hagenberg, Coimbra, Valencia, Lyngby, Venice, London, Verona, Uppsala, Madrid, Paphos, London, Venice, Manchester, Leuven, Stockholm, Arnhem, Pisa, Louvain-la-Neuve, Manchester and Frankfurt. LOPSTR 2019 will be co-located with the Symposium on Formal Methods, FM'19 and a part of the FM Week. Topics of interest cover all aspects of logic-based program development, all stages of the software life cycle, and issues of both programming-in-the-small and programming-in-the-large. This year LOPSTR extends its traditional topics to include also logic-based program development based on integration of sub-symbolic and symbolic models, on machine learning techniques and on differential semantics. Both full papers and extended abstracts describing applications in all these areas are especially welcome. Contributions are welcome on all aspects of logic-based program development, including, but not limited to: * synthesis * transformation * specialization * composition * optimization * inversion * specification * analysis and verification * testing and certification * program and model manipulation * machine learning for program development * integration of sub-symbolic and symbolic models * differential semantics * transformational techniques in SE * applications and tools Survey papers that present some aspects of the above topics from a new perspective, and application papers that describe experience with industrial applications are also welcome. Papers must describe original work, be written and presented in English, and must not substantially overlap with papers that have been published or that are simultaneously submitted to a journal, conference, or workshop with refereed proceedings. Work that already appeared in unpublished or informally published workshop proceedings may be submitted (please contact the PC chair in case of questions). Important Dates Abstract submission: June 17, 2019 Paper/Extended abstract submission: June 24, 2019 Notification: July 24, 2018 Camera-ready (for electronic pre-proceedings): August 7, 2019 Symposium: October 8-10, 2019 Submission Guidelines Authors should submit an electronic copy of the paper (written in English) in PDF, formatted in the Lecture Notes in Computer Science style. Each submission must include on its first page the paper title; authors and their affiliations; contact author's email; abstract; and three to four keywords which will be used to assist the PC in selecting appropriate reviewers for the paper. Page numbers (and, if possible, line numbers) should appear on the manuscript to help the reviewers in writing their report. Submissions cannot exceed 15 pages including references but excluding well-marked appendices not intended for publication. Reviewers are not required to read the appendices, and thus papers should be intelligible without them. Papers should be submitted via the Easychair submission website for LOPSTR 2019. Best Paper Award and Prize A best paper award will be granted, which will include a 500 EUR prize provided by Springer. This award will be given to the best paper submitted to the conference, based on the relevance, originality, and technical quality. The program committee may split the award among two or more papers, also considering authorship (e.g., student paper). Proceedings The formal post-conference proceedings will be published by Springer in the Lecture Notes in Computer Science series. Full papers can be directly accepted for publication in the formal proceedings, or accepted only for presentation at the symposium and inclusion in informal proceedings. After the symposium, all authors of extended abstracts and full papers accepted only for presentation will be invited to revise and/or extend their submissions in the light of the feedback solicited at the symposium. Then, after another round of reviewing, these revised papers may also be published in the formal proceedings. After the symposium, a selection of the best papers might be invited for submission to a special issue of a journal. Program Committee Sabine Broda - University of Porto, Portugal Manuel Carro - Technical University of Madrid and IMDEA, Spain Ugo Dal Lago - University of Bologna, Italy Daniel De Schreye - KU Leuven, Belgium Santiago Escobar - Polytechnic University of Valencia, Spain Moreno Falaschi - University of Siena, Italy Laurent Fribourg - CNRS, France Arnaud Gotlieb - SIMULA Research Laboratory, Norway Gopal Gupta - The University of Texas at Dallas, U.S.A Andy King - University of Kent, U.K. Herbert Kuchen - University of Muenster, Germany Jacopo Mauro - University of Southern Denmark, Denmark Hernan Melgratti - University of Buenos Aires, Argentina Maria Chiara Meo - University G. D'Annunzio, Chieti Pescara, Italy Carlos Olarte - Federal University of Rio Grande do Norte, Brazil Hirohisa Seki - Nagoya Institute of Technology, Japan Caterina Urban - INRIA, France Herbert Wiklicky - Imperial College London, U.K. Program Chair Maurizio Gabbrielli - University of Bologna, Italy General Chair of FM 19 Jose' Nuno Oliveira, INESC TEC & University of Minho Publicity Chair Tong Liu - University of Bologna, Italy From fioretto.ferdinando at isye.gatech.edu Tue May 21 03:38:21 2019 From: fioretto.ferdinando at isye.gatech.edu (Fioretto, Ferdinando) Date: Tue, 21 May 2019 01:38:21 +0000 Subject: [fg-arc] [CFP] ICLP 2019 - Research Challenges in Logic Programming Track Message-ID: Apologies for cross-posting - Please forward to anybody who might be interested The 35th International Conference on Logic Programming (ICLP 2019) Research Challenges in Logic Programming Track September 20–25, 2019 Las Cruces, New Mexico (USA) https://www.cs.nmsu.edu/ALP/iclp2019/ ------------------------------------------------------------------------- Objectives Are you a researcher in logic programming working on a problem that appears to be particularly challenging? Perhaps you feel a little stuck? Or, are you facing a problem that needs some LP technology you are not familiar with? Would you like to open a discussion for collaboration? The goal of the Research Challenges Track is to help researchers overcome their challenges by providing a venue to invite input from the broader community. Contributors to this less formal track will be given an opportunity to exchange ideas with other researchers who may have come up against, or are currently working on, similar problems. We hope the track will foster discussion and possibly even new collaborations. Expected contributions The Research Challenges Track at ICLP 2019 invites submissions describing LP research challenges in a wide range of areas, including but not limited to: * Industry-level application of logic programming * applications of logic programming to other sciences and AI (bioinformatics, natural language processing, digital forensics, etc.) * logic programming and big data * machine learning and logic programming * logic programming and other computational paradigms * theoretical foundations of logic programming Evaluation and Feedback In this track, the selection process will be less formal. While authors will receive some feedback, the review process will not be typical. We do not expect contributions only from seasoned researchers. Ph.D. students and junior researchers are more than welcome to contribute. Also, contributors outside the LP community will be given special attention. Any contribution that clearly describes a research problem relevant to logic programming will be evaluated positively. The chance to interact with other researchers during the conference will provide additional feedback and hopefully lead to a longer-term discussion/collaboration. Important Dates (Tentative) * Abstract registration and paper submission: July 15, 2019 * Notification: July 31, 2019 * Camera-ready copy: September 1, 2017 * Conference: September 20-25, 2019 Submission Details All submissions must be written in English. Submissions should be no more than 4 pages in OASIcs format, including references, and should describe a research problem or challenge. Accepted papers will be presented during the conference. Authors of accepted papers are expected to register to ICLP and present their work. Any additional questions can be directed towards the Research Challenges Track Chairs: Alessandro Dal Palu', Universita' di Parma alessandro.dalpalu at unipr.it Amelia Harrison, Google amelia.j.harrison at gmail.com Joohyung Lee, Arizona State University joolee at asu.edu -------------- next part -------------- An HTML attachment was scrubbed... URL: From alexander.perucci at univaq.it Fri May 24 12:40:04 2019 From: alexander.perucci at univaq.it (alexander.perucci at univaq.it) Date: Fri, 24 May 2019 12:40:04 +0200 (CEST) Subject: [fg-arc] [CfP] ASYDE workshop @SEFM'19 - Springer Special Issue and Keynote ready Message-ID: <118474021.39.1558694404685.JavaMail.Alexander@DESKTOP-7TKA96C> [Apologies for multiple postings] ** Reminder: the ASYDE @SEFM'19 submission deadline is June 10th, 2019 ** Keynote by Marjan Sirjani @ASYDE 2019, Mälardalen University ** Special Issue on Automated and Verifiable Internet Services and Applications Development - Springer Journal of Internet Services and Applications (JISA) is open and calling for exciting papers. More on http://asyde2019.disim.univaq.it/ == KEYNOTE == - Marjan Sirjani, Mälardalen University - TITLE: Reactive Systems: From Requirements to Verifiable Models to Code - ABSTRACT: Software systems are complicated, and the scientific and engineering methodologies for software development are relatively young. We need robust methods for handling the ever-increasing complexity of software systems that are now in every corner of our lives. In this talk I will focus on asynchronous event-based reactive systems and show how we start from the requirements, move to actor-based models, verify the models for correctness, and build executable codes based on that. I show how we can use the architecture design and sequence diagrams to build the behavioral model, and the state diagrams to write the properties of interest, and then use model checking to check the properties. We then refine the verified models to develop the executable code. The natural mappings among the models for requirements, the formal models, and the executable code improve the effectiveness and efficiency of the approach. It also helps in runtime monitoring and adaptation. == SPECIAL ISSUE == During the last three decades, automation in internet services and applications development has gone mainstream. Software development teams strive to automate as much of the software development activities as possible. Automation helps, in fact, to reduce development time and cost, as well as to concentrate knowledge by bringing quality into every step of the development process. Realizing high-quality internet services and applications requires producing software that is efficient, error-free, cost-effective, and that satisfies customer requirements. Thus, one of the most crucial factors impacting software quality concerns not only the automation of the development process but also the ability to verify the outcomes of each process activity and the goodness of the resulting software product as well. This JISA Thematic Series aims at new automated software development methods and techniques, compositional verification theories, integration architectures, flexible and dynamic composition, and automated planning mechanisms. We seek contributions at various levels: from foundational aspects to concrete application experiments; from modeling to verification and analysis; from deployment to execution; from (industrial) experience papers and case-studies, to tool demonstrations and visionary papers; papers describing novel research contributions and innovative applications are of particular interest == IMPORTANT DATES == - Paper submissions: October 1st, 2019 - First response to authors: December 22nd, 2019 == TOPICS OF INTEREST (although not limited to) == - Specification and design of services and applications - Architecture and implementation of services and applications - Services and applications verification models - Formal methods for automated development of services and applications - Model-driven development of services and applications - Correct-by-construction development of services and applications - Automated synthesis of software integration code - Automated development and integration of services and applications - Automated and verifiable software development - Automated planning methods for software development - Non-functional properties of services and applications - Software quality assurance for automated software development - Compositional theories for software development and its (dynamic) verification - Dynamic verification and testing - Service-oriented and component-based software development - Machine learning techniques for the development of services and applications JISA is an open access journal. Recent papers can be downloaded from https://jisajournal.springeropen.com/articles == SUBMISSION INSTRUCTIONS == Prior to submission, authors should carefully read over the Instructions for Authors, which are located at https://jisajournal.springeropen.com/submission-guidelines. Prospective authors should submit an electronic copy of their complete manuscript through the SpringerOpen submission system at https://www.editorialmanager.com/jisa/ according to the submission schedule. Upon submitting, authors should choose the correct Thematic Series in the “sections” box by selecting “TS: Automated and Verifiable ISA Development”. In addition, they should specify the manuscript as a submission to the “Automated and Verifiable Internet Services and Applications Development” in the cover letter. If you have any difficulty in paying the author processing charges (APC), please request a waiver from the editors. == GUEST EDITORS == - Farhad Arbab, CWI, The Netherlands - Marco Autili, University of L'Aquila, Italy (Lead Editor) - Federico Ciccozzi, Malardalen University, Sweden - Pascal Poizat, Sorbonne Université, France - Massimo Tivoli, University of L'Aquila, Italy Please address queries related to this call to: farhad.arbab at cwi.nl; marco.autili at univaq.it; federico.ciccozzi at mdh.se; pascal.poizat at lip6.fr; massimo.tivoli at univaq.it From fioretto.ferdinando at isye.gatech.edu Tue May 21 03:26:10 2019 From: fioretto.ferdinando at isye.gatech.edu (Fioretto, Ferdinando) Date: Tue, 21 May 2019 01:26:10 +0000 Subject: [fg-arc] ICLP 2019 Sister Conferences and Journal Presentation Track - Call for Papers Message-ID: <346B3FDF-8D74-4893-ABAF-46B2C004791E@gatech.edu> Apologies for cross-posting ICLP 2019 Sister Conferences and Journal Presentation Track - Call for Papers The program committee of the 35th International Conference on Logic Programming (ICLP) invites submissions of published journal papers and papers presented at related conferences for the Sister Conferences and Journal Presentation Track. The track is designed to provide a forum to discuss important results related to logic programming that appeared since 2017 in selective journals or were presented recently at related conferences but, but that have not been previously presented at ICLP. The goal of this track is twofold: * To provide authors an opportunity to present at the conference important results published in journals that might otherwise not be submitted to the conference due to their length and complexity. Papers that differ from traditional ICLP format and topics are welcome. * To broaden the program with lines of work at the intersection between logic programming and related fields such as for example constraint programming, operations research, control, knowledge representation and reasoning, machine learning, multi-agent systems, robotics, computer games, and cognitive science. Papers that use logic programming in some innovative way are welcome. Paper Presentation All accepted submissions will be presented orally during the conference - at least one author is expected to register to ICLP 2019 and to present the paper in person. Complete citations and URLs of the original papers (if available from the publisher) will be published on the ICLP 2019 web site as a permanent reference. A 2-page extended abstract summarizing the line of research leading to the presented results can optionally be submitted for presentation in the technical communications of ICLP. Submission Requirements Submissions must meet the following criteria: * Candidate papers must be published in a journal such as (but not limited to) AIJ, ACM TOCL, JAIR, or other leading journals or in the proceedings of related conferences such as KR, LPNMR, AAMAS, AAAI, IJCAI, ECAI, ICAPS, SAT, ICML, ICDT, PODS, VLDB, WWW, ISWC, ESWC, DL, JELIA. * Candidate papers must have appeared since 2017. * Papers that are in press may be submitted as long as the final camera-ready version is available. * Extensions of papers that have been previously presented at ICLP are not eligible for this track. Submission Process All submissions will be done via EasyChair ( https://easychair.org/conferences/?conf=iclp2019). Please select the "New submission" and then the track "Sister Conferences and Journal Presentation" - The submission will be in the following format: * Title of the original journal paper (to be published on the Web); * Complete reference of the original paper (to be published on the Web); * URL where the paper can be downloaded from the publisher (if available) (to be published on the Web); * An accompanying letter containing an explanation of why this paper is interesting to the logic programming community (in PDF); * A copy of the paper with its final camera-ready contents (in PDF). * A 2-page extended abstract of the paper (in PDF, LNCS format) (optional: only if the authors wish to publish such an extended abstract in the technical communications of ICLP). Submissions will go through a selection process. Selection criteria include significance of the results and relevance to the logic programming community. Important Dates * Submission deadline: June 27th, 2019 * Notification of acceptance: July 15, 2019 * Conference: September 20-25, 2019 Journal Presentation Track Chairs * Bart Bogaerts, Vrije Universiteit Brussel, bart.bogaerts at vub.be * Giovambattista Ianni, University of Calabria, ianni at unical.it -------------- next part -------------- An HTML attachment was scrubbed... URL: From announce at cs.ucy.ac.cy Fri May 24 13:37:51 2019 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Fri, 24 May 2019 14:37:51 +0300 Subject: [fg-arc] 46th International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM 2020): Second Call for Papers Message-ID: <20QTJYBY-WGRF-NEJL-YC63-ZTP5NDK0L76X@cs.ucy.ac.cy> *** Second Call for Papers *** 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=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQk0NnRoIEludGVybmF0aW9uYWwgQ29uZmVyZW5jZSBvbiBDdXJyZW50IFRyZW5kcyBpbiBUaGVvcnkgYW5kIFByYWN0aWNlIG9mIENvbXB1dGVyIFNjaWVuY2UgKFNPRlNFTSAyMDIwKTogU2Vjb25kIENhbGwgZm9yIFBhcGVycwkzODUJTGlzdHMJMTUwCWNsaWNrCXllcwlubw==&url=http%3A%2F%2Fcyprusconferences.org%2Fsofsem2020%2F *** Submission Deadline: July 29, 2019 *** (Proceedings to be published by Springer) INVITED SPEAKERS (list incomplete) · Mikolaj Bojanczyk, Poland · Erol Gelenbe, UK · Gunnar Klau, Germany · Elias Koutsoupias, UK SOFSEM (SOFtware SEMinar) is an annual international winter conference devoted to the theory and practice of computer science. The first SOFSEM was organized in 1974. SOFSEM consists of invited talks by prominent researchers, of contributed talks selected from the submitted papers, and of the Student Research Forum. The program is organized in plenary talks and parallel tracks devoted to original research in the selected research areas. SOFSEM has a long-standing tradition of facilitating discussions and collegial interactions. It 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 cover contemporary important areas, such as artificial intelligence, cryptography, security, verification, data science, knowledge engineering, social computing and human factors, software and web engineering, etc. The Track Chairs are soliciting technical papers for presentation at the conference and inclusion in the proceedings published by Springer in the ARCoSS/LNCS series. The topics of the conference are organised in four tracks and the (non exhaustive) list of topics for each track is as follows: Foundations of Computer Science · Algorithms and data structures · Automata and formal languages · Complexity theory · Computability theory · Cryptography and security · Graphs and networks · Machine learning · Non-classical models of computing · Theory of databases, semi-structured data, and finite model theory · Theory of programming languages Foundations of Software Engineering · Methods and tools for improved software processes · Software architecture of complex software-intensive systems · Requirements Engineering · Model-based software engineering methods and tools · Data-driven improvement of methods, models, and tools · Methods and tools for software engineering applications · Empirical Software Engineering Foundations of Data Science · Data Models and Query Languages · Data Integration and Interoperability · Query Processing and Optimization · Distributed, Parallel, and P2P Data Processing and Management · Data Semantics and Linked Data · Spatial, Temporal, Multimedia Data · Web- and Graph-based Data · Probabilistic and Uncertain Data · Information Extraction and Retrieval · Data Privacy, Security, and Trust Foundations of Algorithmic Computational Biology · Alignment and assembly of sequences · Biological networks · Cancer genomics · Comparative genomics · Gene expression · Phylogenetics · Sequence analysis · System biology PAPER SUBMISSION Detailed guidelines for submission will appear shortly on the conference web site (https://cyprusconferences.org/sofsem2020/). Papers must be submitted electronically via Easychair in standard Springer format (max 12 pages). Submitted papers will undergo a peer review process. PROCEEDINGS The proceedings will be published by Springer in the ARCoSS/LNCS series. IMPORTANT DATES · July 29th, 2019: Submission of abstracts · August 5th, 2019: Submission of full papers · September 30th, 2019: Notification of Acceptance/Rejection · November 25th, 2019: Camera Ready Papers, registration deadline · January 20-24, 2020: Conference Dates ORGANISATION General Chairs · Yannis Manolopoulos, Open University of Cyprus, Cyprus · George A. Papadopoulos, University of Cyprus, Cyprus Steering Committee · Barbara Catania, University of Genova, Italy · Miroslaw Kutylowski, Wroclaw Uni. of Technology, Poland · Jan van Leeuwen, Utrecht University, Utrecht, Netherlands · Tiziana Margaria-Steffen, University of Limerick, Ireland · Branislav Rovan, Comenius University, Bratislava, Slovakia · Petr Saloun, Technical University of Ostrava, Czech Republic · Julius Stuller, Academy of Sciences, Prague, Czech Republic, chair Tracks and Track Chairs · Foundations of Computer Science: Christos Kapoutsis, Qatar · Foundations of Data Science: Herodotos Herodotou, Cyprus · Foundations of Software Engineering, Alexander Chatzigeorgiou, Greece · Foundations of Algorithmic Computational Biology, Riccardo Dondi, Italy and Florian Sikora, France Student Research Forum Chair · Theodoros Tzouramanis, Greece Webadmin · Kyriakos Georgiades, Cyprus -------------- next part -------------- An HTML attachment was scrubbed... URL: From lpulina at uniss.it Fri May 24 16:04:49 2019 From: lpulina at uniss.it (Luca Pulina) Date: Fri, 24 May 2019 16:04:49 +0200 Subject: [fg-arc] Call for Participation - CPS Summer School 2019 Message-ID: [apologies if you receive multiple copies of this message] ------------------------------------------------------------------------------ CPS Summer School 2019 Designing Cyber-Physical Systems – From concepts to implementation Porto Conte Ricerche - Alghero - Sardinia - Italy September 23-27, 2019 http://www.cpsschool.eu ------------------------------------------------------------------------------ Cyber-physical systems (CPS) are complex and autonomous ensembles of different components that interact to offer smart and adaptive functionalities. These systems are increasingly used in a variety of applications with a growing market, potentially bringing about significant social benefits. However, there is no such thing as a free lunch, and there area several new challenges and trade-offs to face when designing CPS, especially since they should be able to adapt to the changing environments, or heal themselves. Uncertain operation environments and interactions with humans as users and/or as operators complicate the scenarios of these ever increasingly pervasive systems. The CPS summer school is targeted at students, research scientists, and R&D experts from academia and industry, who want to learn about CPS engineering and applications. The program is composed of both lectures and practical sessions, covering all the design phases of CPS (i.e., from concept to the definition of the final system and the discussion of the key challenges). Topics (http://www.cpsschool.eu/program/) include, but are not limited to, the following: - Market trends for CPS - Hardware/software and multi-view modelling - Adaptivity - Low power design of heterogeneous systems - Tools for dataflow design, high-level synthesis, hardware/software co-design, and coarse/fine reconfiguration Application and Registration (http://www.cpsschool.eu/application/) The school is open to up to 40 participants. Application deadline: June 10, 2019. Notification deadline: June 15, 2019. Confirmed Speakers (http://www.cpsschool.eu/confirmed-speakers/) include the following lecturers: - Davide Ariu, PluribusOne, Cagliari (Italy) - Luca Carloni - Columbia University, New York City (USA) - Luigia Carlucci Aiello, La Sapienza University, Rome (Italy) - Jeronimo Castrillon, Technische Universität Dresden, Dresden (Germany) - Nuria de Lama, Vice-Secretary General (BDVA) and European Programs Manager (Atos) - Nikil Dutt - University of California, Irvine (USA) - Giovanni Pruneddu - University of Sassari, Sassari (Italy) - Alberto Sangiovanni-Vincentelli - University of California, Berkeley (USA) - Armando Tacchella - University of Genova, Genova (Italy) Organization Francesca Palumbo, Università degli Studi di Sassari (ITA) [School Director, fpalumbo at uniss.it] Christian Pilato, Politecnico di Milano (ITA) Luca Pulina, Università degli Studi di Sassari (ITA) Carlo Sau, Università degli Studi di Cagliari (ITA) -- -- *Dona il  5x1000* all'Università degli Studi di Sassaricodice fiscale: 00196350904 From lpulina at uniss.it Fri May 24 16:18:28 2019 From: lpulina at uniss.it (Luca Pulina) Date: Fri, 24 May 2019 16:18:28 +0200 Subject: [fg-arc] Call for Papers - 2nd PhD Workshop on Cyber-Physical Systems Message-ID: <540ea089-54e8-5b23-ea4b-da6fed64b611@uniss.it> [apologies if you receive multiple copies of this message] ------------------------------------------------------------------------------ 2nd PhD Workshop on Cyber-Physical Systems Porto Conte Ricerche - Alghero - Sardinia - Italy September 23, 2019 http://www.cpsschool.eu/cps-workshop/ ------------------------------------------------------------------------------ The PhD Workshop on Cyber-Physical Systems (CPS) is an initiative of the CPS Summer School community to offer participants a close contact with leading experts on the field,  as well as the opportunity to present and discuss their ideas in a dynamic and friendly setting. We invite PhD students to submit papers describing their research on any of the topics of interest of the school. Topics of Interest Models, methods, tools, and architectures for CPS Testing, modelling, and validation of CPS Verification and formal methods for CPS Intelligent methods and algorithms for CPS Reactive and real-time systems Reconfigurable and self-aware systems On-line monitoring and management of CPS Security, trust and dependability of CPS Examples of CPS applications Submission The submissions should contain a description of the problem being addressed, your motivation for addressing the problem, proposed plan of research, the progress to date (what you have already achieved and what remains to be done), and related work. The accepted papers will be presented during the evening on the September 23th to an interested audience and will be discussed with a panel of senior researchers from academia and the industry. Participants will present their work with brief oral presentations and poster session. Papers are expected to be 6-10 pages (excluding references), written in English following the LNCS format and submitted electronically in PDF format via EasyChair (https://easychair.org/conferences/?conf=cpsws19). Important deadlines Submission by 21 June 2019 Notification by 28 June 2019 Camera-ready by 5 July 2019 Proceedings Accepted papers will be published online as part of CEUR- WS Proceedings, which are broadly indexed, e.g., by SCOPUS and listed in standard bibliographic databases such as DBLP. N.B. Papers accepted will only be included in the published Proceedings under the condition that at least one author attend the workshop to present it. Fees Workshop only: 30 € for PhD student, and 50 € for others. Workshop Chair Luca Pulina, University of Sassari -- -- *Dona il  5x1000* all'Università degli Studi di Sassaricodice fiscale: 00196350904 From robert.heinrich at kit.edu Tue May 28 09:41:50 2019 From: robert.heinrich at kit.edu (Heinrich, Robert (IPD)) Date: Tue, 28 May 2019 07:41:50 +0000 Subject: [fg-arc] Registrierung Architekturen 2019 Jahrestagung der GI-Fachgruppe Architekturen Message-ID: <40e25efa72ff42aca6174e08c6f7f632@kit-msx-31.kit.edu> ----------------- Jahrestagung der GI FG Architekturen 2019 Motto: "Architectures in the Age of Data-Driven Systems" Datum: 13. - 14.06.2019 Registrierung: bis 03.06.2019 Ort: FZI Forschungszentrum Informatik, Haid-und-Neu-Straße 10-14, 76131 Karlsruhe Webseite: https://architekturen2019.ipd.kit.edu ----------------- Sehr geehrte Damen und Herren, die Jahrestagung der GI-Fachgruppe Architekturen findet am 13. und 14. Juni am FZI Forschungszentrum Informatik statt. Das Motto in diesem Jahr lautet: "Architectures in the Age of Data-Driven Systems". *** Die Registrierung ist noch bis 3. Juni offen. Bitte helfen Sie uns mit der Planung durch eine zeitnahe Anmeldung. *** Dank unserer Sponsoren ist die Veranstaltung für Sie als Teilnehmer/-in kostenlos. Bitte registrieren Sie sich über unsere Registrierungsseite https://architekturen2019.ipd.kit.edu/registrierung. Die Tagungsreihe Architekturen wurde von der GI-Fachgruppe Architekturen initiiert. Die Tagungsreihe hat sich zu einer der wichtigsten Plattformen für IT-Architekten entwickelt und bringt Fachleute aus Praxis, Forschung und Forschungstransfer im Bereich der Softwarearchitekturen zusammen. Nutzen auch Sie diese Chance, knüpfen Sie Kontakte und tauschen Sie sich zu den neuesten Trends, Herausforderungen, und Erfolgen zum Thema Softwarearchitekturen aus. Neben den Fachvorträgen von namenhaften Vortragenden sind auch Treffen der GI-Arbeitskreise der Fachgruppe geplant. Das vollständige Programm sowie weitere Informationen finden Sie unter https://architekturen2019.ipd.kit.edu/programm. Wir freuen uns auf Ihre Anmeldung und lebhafte Diskussionen! == Organisation und Kontakt == Prof. Dr. Ralf Reussner > Dr. Robert Heinrich > == Sponsoren == - andrena objects, https://www.andrena.de - Capgemini, https://www.capgemini.com - Vector Informatik GmbH, https://www.vector.com -------------- next part -------------- An HTML attachment was scrubbed... URL: From lpulina at uniss.it Wed May 29 09:35:32 2019 From: lpulina at uniss.it (Luca Pulina) Date: Wed, 29 May 2019 09:35:32 +0200 Subject: [fg-arc] [Call for Papers] AIIA19 - The 18th International Conference of the Italian Association for Artificial Intelligence Message-ID: [apologies for any cross-posting] **************************************************************************************************************************************************************** Call for Papers [NEW DEADLINES!] AIIA19 - The 18th International Conference of the Italian Association for Artificial Intelligence UNICAL, Rende (CS), 19-22 November 2019 **************************************************************************************************************************************************************** ----------------------------------------------------------------- Topics of Interest ----------------------------------------------------------------- The conference covers broadly the many aspects of theoretical and applied Artificial Intelligence. A series of workshops dedicated to specific topics enhances the program. AIIA 2019 welcomes submissions covering all areas of AI, including (but not limited to) machine learning, search, planning, knowledge representation, reasoning, constraint satisfaction, natural language processing, robotics and perception, and multiagent systems. We encourage all types of high-quality contributions including theoretical, engineering and applied papers. We also encourage contributions on AI techniques in the context of novel application domains, such as security, sustainability, health care, transportation, and commerce. Besides regular original papers, in this edition we also welcome discussion papers containing descriptions of results recently published or accepted for the presentation in international conferences. Discussion papers are expected to be more broadly accessible than regular papers, they are an opportunity for the authors to present their recent results to the AI community, and a valuable addition for the attendees of AIIA 2019. At least one author of each accepted paper is required to register and attend the conference to present the work. ----------------------------------------------------------------- Proceedings of Regular Papers ----------------------------------------------------------------- The regular papers will be included in the proceedings of the conference, and will be published by Springer Verlag in the Lecture Notes in Artificial Intelligence series. Authors of selected regular papers accepted to the main track will be invited to submit an extended version for publication on "Intelligenza Artificiale", the International Journal of the Italian Association for Artificial Intelligence, edited by IOS Press and indexed by Thomson Reuters' "Emerging Sources Citation Index" and Scopus by Elsevier. ----------------------------------------------------------------- Proceedings of Discussion Papers ----------------------------------------------------------------- The discussion papers will not be included in the LNCS proceedings of the conference, and will be made available through the conference WEB-Site and possibly published on CEUR WS Proceedings upon request. ----------------------------------------------------------------- Best Papers ----------------------------------------------------------------- The Program Committee will select the Best Student Paper Award and the Best Paper Award from the accepted regular papers. In order to be eligible for the Best Student Paper award, at least one author must be a student. ----------------------------------------------------------------- Submission Instructions ----------------------------------------------------------------- The submitted papers should be written in English and formatted according to the Springer LNCS style. Regular papers must be original papers which are not being submitted simultaneously for publication elsewhere. These papers should not exceed 12 pages plus bibliography. The discussion papers report results already published or accepted for the publication in international conferences, and should not exceed 8 pages plus bibliography. Paper submission is electronic via easychair at the address: https://easychair.org/conferences/?conf=aiia2019 ----------------------------------------------------------------- Important Dates ----------------------------------------------------------------- Abstract of regular paper submission: (was 28 May 2019) 18 June 2019 Regular paper submission: (was 4 June 2019) 25 June 2019 Notification to authors of regular papers: (was 23 July 2019) 13 August 2019 Camera ready of regular papers: (was 3 September 2019) 17 September 2019 Abstract of discussion paper submission: (was 28 May 2019) 2 July 2019 Discussion paper submission: (was 4 June 2019) 9 July 2019 Notification to authors of discussion papers: (was 23 July 2019) 27 August 2019 Camera ready of discussion papers: (was 3 September 2019) 1 October 2019 ----------------------------------------------------------------- Conference Web Site ----------------------------------------------------------------- For the most up to date information, please visit: https://aiia2019.mat.unical.it ----------------------------------------------------------------- Organizing Committee ----------------------------------------------------------------- Conference Chair: Nicola Leone (UNICAL, Italy) Program Chairs: Mario Alviano (UNICAL, Italy) Gianluigi Greco (UNICAL, Italy) Francesco Scarcello (UNICAL, Italy) Organization Chairs: Francesco Ricca (UNICAL, Italy) Chiara Ghidini (FBK, Trento) Workshop and Tutorial Chair: Rafael Penaloza (UNIMIB, Italy) Doctoral Consortium Chair: Marco Maratea (UNIGE, Italy) Publicity and Web Chair: Luca Pulina (UNISS, Italy) -- -- *Dona il  5x1000* all'Università degli Studi di Sassaricodice fiscale: 00196350904 -------------- next part -------------- An HTML attachment was scrubbed... URL: From zoltan.mann at gmail.com Wed May 29 23:57:44 2019 From: zoltan.mann at gmail.com (=?UTF-8?B?Wm9sdMOhbiBNYW5u?=) Date: Wed, 29 May 2019 23:57:44 +0200 Subject: [fg-arc] deadline extension: 2nd International Workshop on Software Architecture Challenges in Big Data (SACBD 2019) In-Reply-To: References: Message-ID: Submission deadline extended to June 10, 2019. The other details described below remain unchanged. 2nd International Workshop on Software Architecture Challenges in Big Data > (SACBD 2019) > > Co-located with ECSA 2019, the 13th European Conference on Software > Architecture > 9-10 September 2019, Paris, France > Paper submission deadline: 31 May 2019 > http://www.bdva.eu/node/1262 > > > BACKGROUND > ========== > > Software systems managing big data have very challenging architectural > requirements, e.g., in terms of performance, flexibility, and reliability. > Big data systems often embody a number of technologies, such as cloud > computing, the Internet of Things (IoT), fog computing, high-performance > computing (HPC), artificial intelligence (AI), and in particular machine > learning (ML). These technologies come with their own technical limitations > and constraints that also impact the architecture of big data systems. > Enforcing security, privacy, transparency, and ethics are also concerns of > increasing importance, with potential architectural implications. > > > OBJECTIVES > ========== > > The Big Data Value Association (BDVA, http://www.bdva.eu/) initiated the > SACBD workshop series to provide a forum for discussing all aspects of the > software architecture challenges of big data systems. The workshop welcomes > the contributions of practitioners and researchers alike. The workshop is > open to all, both BDVA members and non-members. > > Technical issues and challenges related to software architecture are well > covered by the European Big Data Value Strategic Research and Innovation > Agenda (http://www.bdva.eu/SRIA). Such software architecture trends are > facilitating new data-driven operations and services which are at the core > of the new economy revolving around big data value. As organizations become > more and more data-centric, they need to re-design their software > architectures accordingly. For example, data-intensive systems and > applications need to be put in place and properly integrated with > traditional systems (e.g. web applications). This affects not only the > architecture design but also its implementation and non-functional aspects. > For example, performance and data protection are paramount when dealing > with Big Data. This situation creates a need for new methods and tools to > design and reason about software architectures in Big Data scenarios and > paves the way for various research directions. For example, how to design > software architectures when dealing with Big Data? Which are the typical > architectural patterns? How to assess the performance or the privacy risk > of Big Data architectures? The workshop will focus on these and many others > aspects of software architectures in the Big Data era. > > > TOPICS OF INTEREST > ================== > > The workshop solicits papers on all aspects of software architecture for > big data. Topics of interest include, but are not limited to: > > * Software architectures in genuine big data scenarios > * Architectural patterns for big data > * Architectures of big data systems (e.g., Spark, Flink, Hadoop) > * Integration of Big Data systems with other business systems > * Non-functional requirements (e.g., performance, security, privacy, > reliability) > * Combining big data with IoT, HPC, cloud computing, fog computing > * Applying machine learning to big data scenarios, big data integration > with artificial intelligence > * Fostering business with big data and analytics > > > SUBMISSION GUIDELINES > ===================== > > Original, high-quality papers are solicited, from researchers and > practitioners alike. Both full papers (maximum 8 pages) and short papers > (maximum 4 pages) will be considered. All papers must be written in English > and follow the ACM formatting instructions and templates for conference > papers, as specified under > https://www.acm.org/publications/icps-instructions/. Independently from > the length, several types of papers will be considered (experience reports, > new approaches, review or analysis of existing approaches, empirical > studies, theoretical results, negative results, position papers, vision > papers). The contribution of a paper must be commensurate with its length. > > Submitted papers must be original, not submitted and not published > elsewhere. Accepted papers will be published in the ECSA companion > proceedings in the ACM Digital Library. Papers must be submitted in PDF > using the online submission system under the following link: > https://easychair.org/conferences/?conf=sacbd2019. > > All submissions will be reviewed by at least three members of the program > committee. Paper acceptance will be based on originality, significance, > technical soundness, clarity of presentation, and relevance to the workshop > topics. > > > FURTHER INFORMATION > =================== > > SACBD 2019 will be co-located with ECSA 2019, the 13th European Conference > on Software Architecture (https://ecsa2019.univ-lille.fr/). The workshop > will take place on 9-10 September 2019 in Paris, right before the main ECSA > conference. > > At least one author of each accepted paper must register, attend the > workshop, and present the work. Registration is subject to the terms, > conditions and procedure of the ECSA 2019 conference. > > Workshop website: http://www.bdva.eu/node/1262 > > > IMPORTANT DATES > =============== > > Paper submission: May 31, 2019 > Notification: June 26, 2019 > Camera-ready: July 5, 2019 > Workshop: September 9-10, 2019 > > > ORGANIZING COMMITTEE > ==================== > > Zoltán Ádám Mann, University of Duisburg-Essen, Germany > Daniel Alonso Román, Technology Institute of Valencia, Spain > Michele Guerriero, Politecnico di Milano, Italy > Alessandra Bagnato, Softeam, France > > > PROGRAM COMMITTEE > ================= > > Ali Serdar Atalay, BitNet, Turkey > Peter Baumann, Jacobs University Bremen, Germany > Arne Berre, SINTEF, Norway > David Bowden, DELL, Ireland > Sergio Campos, Tecnalia Research & Innovation, Spain > Alexandru Costan, IRISA / INSA Rennes, France > Carlos E. Cuesta, Universidad Rey Juan Carlos, Spain > Alfredo Cuzzocrea, University of Trieste, Italy > Elisabetta Di Nitto, Politecnico di Milano, Italy > Omar Elloumi, Nokia Bell Labs, Ireland > Ibai Laña, Tecnalia, Spain > Daphne Lopez, Vellore Institute of Technology, India > Andreas Metzger, University of Duisburg-Essen, Germany > Ignacio Olabarrieta Palacios, Tecnalia, Spain > Diego Perez-Palacin, Linnaeus University, Sweden > Zoheir Sabeur, Bournemouth University, UK > Andrey Sadovykh, Innopolis University, Russia > Angel Serrano Sánchez de León, Universidad Rey Juan Carlos, Spain > Damian Andrew Tamburri, Technical University of Eindhoven, Netherlands > Ana Isabel Torre, Tecnalia, Spain > Anwar Vahed, Meraka Institute, South Africa > Juan Manuel Vara, Universidad Rey Juan Carlos, Spain > > -------------- next part -------------- An HTML attachment was scrubbed... URL: From irdta at irdta.eu Wed May 29 20:41:06 2019 From: irdta at irdta.eu (IRDTA) Date: Wed, 29 May 2019 20:41:06 +0200 Subject: [fg-arc] SLSP 2019: extended submission deadline June 8 Message-ID: <545102060a010b0a075254060f015a065253035456500e03560509545202015007550506560c010404050002575653@grlmc_ip-zone_com-6> SLSP 2019: extended submission deadline June 8*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line*   ------------------------------------------------------------------------------ ***** SUBMISSION DEADLINE EXTENDED: June 8 ***** ------------------------------------------------------------------------------   **********************************************************************************   7th INTERNATIONAL CONFERENCE ON STATISTICAL LANGUAGE AND SPEECH PROCESSING   SLSP 2019   Ljubljana, Slovenia   October 14-16, 2019   Co-organized by:   Jožef Stefan Institute   Institute for Research Development, Training and Advice (IRDTA), Brussels/London   http://slsp2019.irdta.eu/   **********************************************************************************   AIMS:   SLSP is a yearly conference series aimed at promoting and displaying excellent research on the wide spectrum of statistical methods that are currently in use in computational language or speech processing. It aims at attracting contributions from both fields. Though there exist large conferences and workshops hosting contributions to any of these areas, SLSP is a more focused meeting where synergies between the two domains will hopefully happen. In SLSP 2019, significant room will be reserved to young scholars at the beginning of their career and particular focus will be put on methodology.   VENUE:   SLSP 2019 will take place in Ljubljana, a charming city full of art and one of the smallest capital cities in Europe. The venue will be:   Jožef Stefan Institute Jamova cesta 39 1000 Ljubljana Slovenia   https://www.ijs.si/ijsw/JSI   SCOPE:   The conference invites submissions discussing the employment of statistical models (including machine learning) within language and speech processing. Topics of either theoretical or applied interest include, but are not limited to:   anaphora and coreference resolution authorship identification, plagiarism and spam filtering computer-aided translation corpora and language resources data mining and semantic web information extraction information retrieval knowledge representation and ontologies lexicons and dictionaries machine translation multimodal technologies natural language understanding neural representation of speech and language opinion mining and sentiment analysis parsing part-of-speech tagging question-answering systems semantic role labelling speaker identification and verification speech and language generation speech recognition speech synthesis speech transcription spelling correction spoken dialogue systems term extraction text categorisation text summarisation user modeling   STRUCTURE:   SLSP 2019 will consist of:   invited talks peer-reviewed contributions posters   INVITED SPEAKERS:   Jure Leskovec (Stanford University), Learning and Reasoning with Knowledge Graphs   Alexandros Potamianos (National Technical University of Athens), Emotion and Behavioral Tracking in the Lab and in the Wild   Odette Scharenborg (Delft University of Technology), The Representation and Processing of Speech in Human Listeners and Deep Neural Network-based Automatic Speech Recognition Systems   PROGRAMME COMMITTEE:   Jon Barker (University of Sheffield, UK) Roberto Basili (University of Rome Tor Vergata, IT) Pushpak Bhattacharyya (Indian Institute of Technology, Bombay, IN) Fethi Bougares (University of Le Mans, FR) Philipp Cimiano (Bielefeld University, DE) Carol Espy-Wilson (University of Maryland, US) Nikos Fakotakis (University of Patras, GR) Robert Gaizauskas (University of Sheffield, UK) Julio Gonzalo (National Distance Education University, ES) Reinhold Häb-Umbach (Paderborn University, DE) John Hershey (Google, US) Julia Hirschberg (Columbia University, US) Jing Huang (JD AI Research, US) Mei-Yuh Hwang (Mobvoi AI Lab, US) Nancy Ide (Vassar College, US) Martin Karafiát (Brno University of Technology, CZ) Vangelis Karkaletsis (National Center for Scientific Research "Demokritos", GR) Tomi Kinnunen (University of Eastern Finland, FI) Sandra Kübler (Indiana University, US) Carlos Martín-Vide (Rovira i Virgili University, ES, chair) David Milne (University of Technology Sydney, AU) Marie-Francine Moens (KU Leuven, BE) Preslav Nakov (Qatar Computing Research Institute, QA) Elmar Nöth (University of Erlangen-Nuremberg, DE) Senja Pollak (Jožef Stefan Institute, SI) Stephen Pulman (University of Oxford, UK) Matthew Purver (Queen Mary University of London, UK) Mats Rooth (Cornell University, US) Tony Russell-Rose (UX Labs, UK) Horacio Saggion (Pompeu Fabra University, ES) Tanja Schultz (University of Bremen, DE) Efstathios Stamatatos (University of the Aegean, GR) Erik Tjong Kim Sang (Netherlands eScience Center, NL) Isabel Trancoso (Instituto Superior Técnico, PT) Josef van Genabith (German Research Center for Artificial Intelligence, DE) K. Vijay-Shanker (University of Delaware, US) Atro Voutilainen (University of Helsinki, FI) Hsin-Min Wang (Academia Sinica, TW) Hua Xu (University of Texas, Houston, US) Edmund S. Yu (Syracuse University, US) François Yvon (CNRS - Limsi, FR) Wlodek Zadrozny (University of North Carolina, Charlotte, US)   ORGANIZING COMMITTEE:   Tina Anžič (Ljubljana) Jan Kralj (Ljubljana) Matej Martinc (Ljubljana) Sara Morales (Brussels) Manuel Parra-Royón (Granada) Senja Pollak (Ljubljana, co-chair) Matthew Purver (London) David Silva (London, co-chair) Anita Valmarska (Ljubljana)   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=slsp2019   PUBLICATIONS:   A volume of proceedings published by Springer in the LNCS/LNAI series will be available by the time of the conference.   A special issue of a major journal will be later published containing peer-reviewed substantially extended versions of some of the papers contributed to the conference. Submissions to it will be by invitation.   REGISTRATION:   The registration form can be found at:   http://slsp2019.irdta.eu/Registration.php   DEADLINES (all at 23:59 CET):   Paper submission: June 8, 2019 – EXTENDED – Notification of paper acceptance or rejection: July 8, 2019 Final version of the paper for the LNCS/LNAI proceedings: July 15, 2019 Early registration: July 15, 2019 Late registration: September 30, 2019 Submission to the journal special issue: January 16, 2020   QUESTIONS AND FURTHER INFORMATION:   david at irdta.eu   ACKNOWLEDGMENTS:   Institut "Jožef Stefan"   Institute for Research Development, Training and Advice (IRDTA), Brussels/London   -------------- next part -------------- An HTML attachment was scrubbed... URL: From Luigia.Petre at abo.fi Fri May 31 10:22:09 2019 From: Luigia.Petre at abo.fi (Luigia Petre) Date: Fri, 31 May 2019 08:22:09 +0000 Subject: [fg-arc] FMTea19, deadline extension: Formal Methods Teaching Workshop and Tutorial Message-ID: <7866bd9afeb34588b7142400b9ee52f5@abo.fi> Dear colleagues, Please consider submitting a paper on your experiences with formal methods teaching to our FMTea19 workshop affiliated with the FM conference in Porto in October. We are encouraging a wide spectrum discussion on how we should teach formal methods in the 21st century, so your contribution will be much appreciated. Also note our excellent invited and tutorial speakers: Carroll Morgan, Tony Hoare, and Bas Luttik! Deadline extended to June 15, paper length 15 pages, publication in Springer LNCS. Looking forward to meeting you in Porto for a cup of FMTea, Luigia, Graeme, Brijesh FMTea19 Formal Methods Teaching Workshop and Tutorial, Event affiliated with FM2019, 3rd World Congress on Formal Methods 7 October 2019, Porto, Portugal Deadline extended to June 15, 2019 OBJECTIVES AND SCOPE Formal Methods provide software engineering with tools and techniques for rigorously reasoning about the correctness of systems. While in recent years formal methods are increasingly being used in industry, university curricula are not adapting at the same pace. Some existing formal methods classes interest and challenge students, whereas others fail to ignite student motivation. We need to find ways to teach formal methods to the next generation, and doing so will require us to adapt our teaching to the 21st century students. FMTea19 is a combined workshop and tutorial at the 3rd World Congress on Formal Methods, FM2019. Its aim is to share experiences of teaching formal methods that have gone well, or that failed in surprising ways, as well as to develop ways to reboot the presence of formal methods in curricula. Tutorial part of FMTea19 We are very pleased to have Carroll Morgan giving an invited talk on his approach to and experiences with teaching formal methods to undergraduate students. Sir Tony Hoare will also join us to give a talk on the foundations of teaching computer science for future formal methods scientists. We will run two more tutorial presentations, held by Holger Hermanns and Bas Luttik, on experiences with concurrency and online teaching. Our goal is to discuss various models of existing FM teaching, together with innovative proposals for remaining relevant as educators of Formal Methods in the 21st century. Workshop Part of FMTea19 In the workshop part of the event, we aim to attract papers detailing authors' experiences with FM Teaching. We would like to get papers discussing successes and failures of various methods, case studies, tools, etc. As self-learning seems to be an important aspect of FM teaching, we appreciate experiences with online teaching, including experiences with teaching formal methods via MOOCs. A non-exhaustive list of topics of interest for the FMTea19 workshop is below: * traditional FM teaching: lectures, exercises, exams * online FM teaching/learning: experiences/proposals * teaching FM for industry * integrating/embedding FM teaching/thinking within other computer science courses * student projects on FM, including group projects Computer science is transforming into a rigorous engineering discipline. Improved teaching techniques will ensure that FM is at the heart of this transformation process. ORGANIZATION FMTea19 is organized by FME's Teaching Committee. Our broad aim is to support a worldwide improvement in learning Formal Methods, mainly by teaching but also via self-learning. To that end, we have already gathered a list of FM courses taught worldwide, that can be seen, for the time being, here: https://github.com/luigiapetre/Formal-Methods-Courses/issues (we are in the process of migrating the courses to a webpage, so they will not live much longer as issues) and plan to collect other resources as well, such as FM case studies, FM inspirational papers, etc. PROGRAM COMMITTEE * Luigia Petre, Åbo Akademi University, Finland (co-chair) * Brijesh Dongol, University of Surrey, UK (co-chair) * Graeme Smith, University of Queensland, Australia (co-chair) * Catherine Dubois, ENSIIE, France * Joao F. Ferreira, University of Lisbon, Portugal * K. Rustan M. Leino, Amazon Web Services, US * Alexandra Mendes, University of Beira Interior, Portugal * Leila Ribeiro, Federal University of Rio Grande do Sul, Brazil * Pierluigi San Pietro, Politecnico di Milano, Italy * Kenji Taguchi, CAV, Japan PREVIOUS EDITIONS Several events focused on teaching aspects for Formal Methods were held in the beginning of the 2000s: two BCS-FACS TFM workshops (Oxford in 2003 and London in 2006), the TFM 2004 conference in Ghent (with proceedings published as Springer LNCS Volume 3294), the FM-Ed 2006 workshop (Hamilton, co-located with FM'06), FORMED (Budapest, at ETAPS 2008), and FMET 2008 (Kitakyushu 2008, co-located with ICFEM). The latest event was TFM2009, the 2nd International FME Conference on Teaching Formal Methods, in November 2009 in Eindhoven, the Netherlands. SUBMISSION DETAILS FMTea19 invites high quality papers reporting on opinions, approaches, and experiences related to the topic of teaching Formal Methods. Each submitted paper will be reviewed by at least three PC members. The conference proceedings is planned to be published in Springer's Lecture Notes in Computer Science series. All submissions must be original, unpublished, and not submitted for publication elsewhere. Submissions must be in PDF format, using the Springer LNCS style files; we suggest to use the LaTeX2e package (the llncs.cls class file, available in llncs2e.zip and the typeinst.dem available in typeinst.zip as a template for your contribution). Papers should not exceed 15 pages in length. Submissions should be made using the FMTea19 Easychair web site: https://easychair.org/conferences/?conf=FMTea19 All accepted papers must be presented at the workshop. Their authors must be prepared to sign a copyright transfer statement. At least one author of each accepted paper must register to the conference by an early date, to be indicated by the FM2019 organizers, and present the paper. IMPORTANT DATES * June 15 (June 1), 2019: Submission of papers * July 15 (July 1), 2019: Notifications to authors * August 15 (August 1), 2019: Proceedings version ready * October 7, 2019: FMTea19 in Porto -------------- next part -------------- An HTML attachment was scrubbed... URL: