From facs.conf.2021 at gmail.com Tue May 4 15:48:56 2021 From: facs.conf.2021 at gmail.com (FACS 2021) Date: Tue, 4 May 2021 15:48:56 +0200 Subject: [fg-arc] FACS 2021 - Second Call for Papers Message-ID: ============================================================================= ** ** Second Call for Papers: FACS 2021 ** ** 17th International Conference on Formal Aspects of Component Software ** ** Virtual Event ** ** https://facs2021.inria.fr ** ============================================================================= ## OVERVIEW Component-based software development proposes sound engineering principles and techniques to cope with the complexity of present-day software systems. However, many challenging conceptual and technological issues remain in component-based software development theory and practice. Furthermore, the advent of service-oriented and cloud computing, cyber-physical systems, and the Internet of Things has brought to the fore new dimensions, such as quality of service and robustness to withstand faults, which require revisiting established concepts and developing new ones. FACS 2021 is concerned with how formal methods can be applied to component-based software and system development. Formal methods have provided foundations for component-based software through research on mathematical models for components, composition and adaptation, and rigorous approaches to verification, deployment, testing, and certification. ## INVITED SPEAKERS * Radu Calinescu (University of York, UK) * Corina Pasareanu (NASA Ames, CMU, USA) ## DATES * Abstract: June 25, 2021 * Paper: July 2, 2021 * Notification: August 20, 2021 * Conference: October 28-29, 2021 All deadlines are AoE. ## SCOPE The conference seeks to address the application of formal methods in all aspects of software components and services. Specific topics include, but are not limited to: * formal models for software components and their interaction; * formal aspects of services, service-oriented architectures, business processes, cloud computing, cyber-physical systems, Internet of Things, and other artifacts; * formal syntax and semantics of modeling languages; * design and verification methods for software components and services; * composition and deployment: models, calculi, languages; * formal methods and modeling languages for components and services; * (behavioral) type systems for components and services; * models for QoS and other extra-functional properties (e.g., trust, compliance, security) of components and services; * components for real-time, safety-critical, secure, and/or embedded systems; * rigorous model-based analysis; * components for the Internet of things and cyber-physical systems; * artificial intelligence and machine learning for components and services; * probabilistic techniques for modeling and verification of component-based systems; * model-based testing of components and services; * case studies and experience reports; * tools supporting formal methods for components and services. ## SUBMISSION & PUBLICATION We solicit submissions related to the topics mentioned above in the following categories: * full papers: original research, applications and experiences, surveys (16 pages max, excluding references); * short papers: tools and demonstrations, new ideas and emerging results, position papers (6 pages max, excluding references). Paper submission is done via EasyChair at: https://easychair.org/conferences/?conf=facs2021. All submissions must be original, unpublished, and not submitted concurrently for publication elsewhere. Each paper will be reviewed by at least three PC members and evaluated in terms of novelty, importance, evidence, and clarity. The proceedings of FACS 2021 will be published as a volume of LNCS. All accepted papers will be published in this LNCS volume. Authors should consult Springer’s authors’ guidelines and use their proceedings templates, either for LaTeX or for Word, for the preparation of their papers. Springer encourages authors to include their ORCIDs in their papers. In addition, the corresponding author of each paper, acting on behalf of all of the authors of that paper, must complete and sign a Consent-to-Publish form. The corresponding author signing the copyright form should match the corresponding author marked on the paper. Once the files have been sent to Springer, changes relating to the authorship of the papers cannot be made. The authors of a selected subset of accepted papers will be invited to submit extended versions of their papers to special issue of the International Journal on Software and Systems Modeling (SoSyM). ## CHAIRS Gwen Salaün, University Grenoble Alpes, France Anton Wijs, Eindhoven University of Technology, The Netherlands ## PROGRAM COMMITTEE Kyungmin Bae, Pohang University of Science and Technology, Korea Christel Baier, TU Dresden, Germany Luís Soares Barbosa, University of Minho, Portugal, Simon Bliudze, Inria Lille, France Javier Camara, University of York, UK Francisco Duran, University of Malaga, Spain Fatemeh Ghassemi, University of Tehran, Iran Sung-Shik Jongmans, Open University and CWI, the Netherlands Olga Kouchnarenko, University of Franche-Comté, France Alfons Laarman, Leiden University, The Netherlands Ivan Lanese, University of Bologna, Italy Zhiming Liu, Southwest University, China Alberto Lluch-Lafuente, Technical University of Denmark, Denmark Markus Lumpe, Swinburne University of Technology, Australia Eric Madelaine, Inria Sophia Antipolis, France Mieke Massink, CNR ISTI, Italy Hernán Melgratti, University of Buenos Aires, Argentina Fabrizio Montesi, University of Southern Denmark Peter Csaba Ölveczky, University of Oslo, Norway Jun Pang, University of Luxembourg José Proença, CISTER, Portugal Jorge Pérez, University of Groningen, The Netherlands Camilo Rocha, Pontificia Universidad Javeriana Cali, Colombia Gwen Salaün, Université Grenoble Alpes, France Ana Sokolova, University of Salzburg, Austria Jacopo Soldani, University of Pisa, Italy Anton Wijs, Eindhoven University of Technology, The Netherlands Shoji Yuen, Nagoya University, Japan -------------- next part -------------- An HTML attachment was scrubbed... URL: From eric.bodden at uni-paderborn.de Mon May 10 13:00:35 2021 From: eric.bodden at uni-paderborn.de (Eric Bodden) Date: Mon, 10 May 2021 11:00:35 +0000 Subject: [fg-arc] Three openings for professorships in the field of Software Engineering at Paderborn University, Germany Message-ID: <8EBE7679-DF4F-48F8-988B-CCCE278B71A8@uni-paderborn.de> Paderborn University is a high-performance and internationally oriented university with approximately 20,000 students. Within interdisciplinary teams, we undertake forward-looking research, design innovative teaching concepts and actively transfer knowledge into society. As an important research and cooperation partner, the university also shapes regional development strategies. We offer our more than 2,500 employees in research, teaching, technology and administration a lively, family-friendly, equal opportunity environment, a lean management structure and diverse opportunities. Join us to invent the future! The Department of Computer Science, part of the Faculty of Computer Science, Electrical Engineering and Mathematics, is currently forming a new topic area “Continuous Software Engineering”. This area will cover the entire software lifecycle, from design to deployment; it will contribute the Department’s strategic focus on data science and security. This topic area will be formed from the existing research group on Secure Software Engineering, together with the following three positions. For the official announcements, please see here: https://www.uni-paderborn.de/zv/4-4/stellenangebote/stellenangeboteeprof https://www.uni-paderborn.de/zv/4-4/stellenangebote/stellenangebotejunprof Full Professor (tenured) – W 3 (f/m/d) in Software Engineering Successful applicants should have a proven, outstanding track record in software-construction aspects of software engineering, e.g., methods and tools for requirements engineering, model-driven software engineering or the design and evaluation of programming languages/paradigms to improve software quality. Full Professor (tenured) – W 3 (f/md/) in Empirical Software Engineering Successful applicants should have a proven, outstanding track record in empirical aspects of software engineering, e.g., analysis of software repositories or ecosystems, software experimentation, quantitative analysis, qualitative analysis, or user studies and surveys. Junior Professor – W 1 (f/m/d) in Agile Software Quality Assurance Successful applicants should have a proven, outstanding track record in at least one of the following areas: Tools support and automation systems for agile software development, in particular, DevOps and DevSecOps; methods for test and build automation; efficient concepts for automated validation and verification; empirical studies for tools and methods supporting agile processes. For this W1 professorship: The recruitment is made in civil service for initially three years. After a positive evaluation the employment will be extended for further three years. A continuation in a permanent employment relationship (“tenure track”) is not planned. We expect the willingness and interest to cooperate among these research groups, with research groups of the strategic focus data science and security, as well as with other groups within and outside of the department. Applicants should have demonstrated their scientific excellence by publications in internationally leading conferences or journals of software engineering. Experience in obtaining and executing third-party funded projects are expected for W3 positions and a plus for W1 positions. We also expect readiness and willingness to prepare large-scale, interdisciplinary research proposals and the ability to cooperate with existing research institutions. To this end, Paderborn University offers an excellent environment, e.g., the opportunity to collaborate with institutions like the SICP – Software lnnovation Campus Paderborn, the Paderborn lnstitute for Data Science and Scientific Computing (DaSCo), or the Paderborn Center for Parallel Computing (PC2), possibly in leading roles, as well as the Heinz Nixdorf Institute (HNI) or the Fraunhofer Institute for Mechatronic Systems Design (IEM). We also expect readiness to cooperate across disciplines, relevant teaching experience, and the ability to teach in English and German (at least mid-term). Hiring requirements: § 36 Abs. 1 Ziff. 1-3 HG NRW – University law of the State of NRW – (completed university degree, pedagogical aptitude, Ph.D. degree and additional research achievements) and, for W3 position, additional research achievements (§ 36 Abs. 1 Ziff. 4 HG NRW) and fulfilling the requirements of § 37 Abs. 2 HG NRW. Since Paderborn University seeks to increase the number of female professors, applications of women are especially welcome. In case of equal qualification and scientific achievements, they will receive preferential treatment according to the North Rhine-Westphalian Equal Opportunities Policy (LGG), unless there are cogent reasons to give preference to another applicant. Likewise, applications of disabled people with appropriate qualification are explicitly requested. This also applies to people with equal status according to the German social law SGB lX. For further information, please contact the Head of the Department of Computer Science at Paderborn University, Prof. Dr. Holger Karl (eim-i-prodekan at uni-paderborn.de). Applications with common material, including a research and teaching plan, must be received by 30.06.2021 (Ref. No. 4622 for Software Engineering, Ref. Nr. 4623 for Empirical Software Engineering, Ref. Nr. 4624 for Agile Software Quality). Please send your application in a single PDF file by e-mail to eim-i-4622 at upb.de, eim-i-4623 at upb.de, or eim-i-4624 at upb.de, respectively, or by post to the address below. Information regarding the processing of your personal data can be located at: https://www.uni-paderborn.de/en/zv/personaldatenschutz In case of any questions regarding any of these openings, do not hesitate to contact me. Best wishes Eric Bodden From miguel-areias at dcc.fc.up.pt Tue May 4 23:56:45 2021 From: miguel-areias at dcc.fc.up.pt (Miguel Areias) Date: Tue, 4 May 2021 22:56:45 +0100 Subject: [fg-arc] CFP - 37th International Conference on Logic Programming (extended deadlines) Message-ID: =========================================================================                           FINAL CALL FOR PAPERS     The 37th International Conference on Logic Programming (ICLP 2021)                     Fully virtual event hosted by the          Department of Computer Science of the University of Porto ========================================================================= New: Extended deadlines (regular papers) ** Abstract registration: May 12, 2021 ** Paper submission: May 18, 2021 New: Invited speakers ** William W. Cohen, Google AI ** John Hooker, CMU ** Phokion Kolaitis, UC Santa Cruz and IBM Almaden ** Stuart Russell, UC Berkeley ** Jeffrey Ullman, Stanford University ========================================================================= Contributions are sought in all areas of logic programming, including but not restricted to: ** Foundations: Semantics, Formalisms, Nonmonotonic reasoning,    Knowledge representation. ** Languages issues: Concurrency, Objects, Coordination, Mobility,    Higher order, Types, Modes, Assertions, Modules, Meta-programming,    Logic-based domain-specific languages, Programming techniques. ** Programming support: Program analysis, Transformation, Validation,    Verification, Debugging, Profiling, Testing, Execution    visualization. ** Implementation: Compilation, Virtual machines, Memory management,    Parallel/distributed execution, Constraint handling rules, Tabling,    Foreign interfaces, User interfaces. ** Related Paradigms and Synergies: Inductive and coinductive logic    programming, Constraint logic programming, Answer set programming,    Interaction with SAT, SMT and CSP solvers, Theorem proving,    Argumentation, Probabilistic programming, Machine learning. ** Applications: Databases, Big data, Data integration and federation,    Software engineering, Natural language processing, Web and semantic    web, Agents, Artificial intelligence, Computational life sciences,    Cybersecurity, Robotics, Education. Tracks and Affiliated Events **************************** Besides the main track, ICLP 2021 will host additional tracks: ** Applications Track ** Recently Published Research Track and affiliated events: ** MentorLP - Mentoring Workshop on Logic Programming ** Fall School on Logic and Constraint Programming ** Doctoral Consortium ** Tutorials and co-located Workshops More details ************ https://iclp2021.dcc.fc.up.pt Any additional question can be directed towards ICLP Chairs: iclp2021 at easychair.org ========================================================================= From announce at cs.ucy.ac.cy Sat May 8 13:48:08 2021 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Sat, 8 May 2021 14:48:08 +0300 Subject: [fg-arc] First International Conference on ICT for Health, Accessibility and Wellbeing (IHAW 2021): Fourth Call for Papers Message-ID: *** Fourth Call for Papers *** First International Conference on ICT for Health, Accessibility and Wellbeing (IHAW 2021) November 8-10, 2021, Golden Bay Hotel 5*, Larnaca, Cyprus http://cyprusconferences.org/ihaw2021/ (Proceedings to be published by Springer; Special Journal Issue with SN Computer Science) ICT for Health, Accessibility and Wellbeing (IHAW 2021) is the first of the series of International Conferences on "ICT for Societal Challenges". It is a showcase for high quality oral and poster presentations and demonstrations sessions. This conference aims to be a platform for multi and interdisciplinary research at the interplay between Information and Communication Technologies, Biomedical, Neuro-cognitive, and Experimental research. This research includes the design, experimental evaluation and standardization of new ICT scalable systems and in-silico systems for new and future inclusive and sustainable technologies that benefit all: healthy people, people with disabilities or other impairments, people having chronic diseases, etc. User-centered design and innovation, new intuitive ways of human -computer interaction, and user acceptance are the topics of particular interest. Conference Topics Relevant topics include (but are not limited to) the following: • AI and Cognition, Cognitive Mechatronics, Human-Machine Interaction, Cobotics, Model-based design and configuration tools for healthcare and well-being, AI methods for medical device testing • Systems for management of health and care (mental health, pain, neurological disorders, sight, hearing, balance, space awareness; sensory based physiological and psychological non-invasive measurements, preventive healthcare, m-healthcare, e-healthcare, integrated care, serious games, electronic health record, self-management, patient-centered systems for survivorship, palliation and/or end-of-life care) • Precision medicine • ICT for in-silico trials • Implantable medical devices • Computational methods for medical device • Models for human-device interaction for medicine • Systems promoting access to the socio-economical and cultural environment • Age-friendly systems for active and healthy aging (telepresence, robotics solutions, innovative solutions for independent living, innovative elderly care, integrated care, age-related risks prevention/detection) • Multimodal assistive ICT devices to empower people with sensory, cognitive, motor, balance and spatial impairments • ICT systems to improve the quality of life and for daily life activities assistance (education, recreation, and nutrition) • Smart living homes and wearables (Intelligent and personalized digital solutions for sustaining and extending healthy and independent living; personalized early risk detection and intervention) • New experimental validation methods with end-users • Standardization, certification, labeling, privacy, security and communication issues (related to aging well, to sensory impairment) High-quality original submissions that address such future issues, show the design and evaluation in (near-) real scenarios, explain how to benchmark systems, and outline the education and training procedures for acquiring new perceptual skills while using such systems are welcome. Research and technical papers are expected to present significant and original contributions validated with the targeted end-users. Early works and works- in-progress are invited to submit a short or demo paper. Submissions should clearly state the progress beyond the existing state-of- the-art and the expected societal benefits of the developed technology. When possible, validate scenarios with the target user groups and well-identified technology readiness levels (https://en.wikipedia.org/wiki/Technology_readiness_level) should be at least outlined. Submissions We invite three types of paper submissions: 1. Research and Technical papers, up to 15 pages, describing original unpublished research, making a substantial contribution to the research field 2. Short papers, up to 6 pages, describing original unpublished research, making a small but solid contribution to the field 3. Demos, up to 4 pages, describing innovative tools that address topics relevant to the conference All submissions will be reviewed by the Program Committee. Accepted contributions will appear in the archival proceedings of IHAW 2021, published by Springer in the Communications in Computer and Information Science (CCIS) series (https://www.springer.com/series/7899), and will be presented in plenary sessions of the conference. The authors of the best papers accepted for IHAW2021 will be invited to submit extended versions for a special issue with SN Computer Science (https://www.springer.com/journal/42979). Submissions of all types should be carefully formatted according to the Springer format for conference proceedings: https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines and should specify on the first page the type of submission ("R&T", "Short", "Demo"). The submission process will be handled through Easy Chair and the submission link is: https://easychair.org/conferences/?conf=icihaw2021 . Important Dates • Submission Deadline: June 7, 2021 (AoE) • Notification: August 23, 2021 • Camera-Ready Submission Deadline: September 6, 2021 • Author Registration Deadline: September 6, 2021 Organizers Honorary General Chair • Edwige Pissaloux, University of Rouen Normandy, France General Chair • George A. Papadopoulos, University of Cyprus, Cyprus Scientific Chair • Salim Bouhlel, University of Sfax, Tunisia Scientific Vice-Chair • Achilleas Achilleos, Frederick University, Cyprus Publicity Chair • Ramiro Velazquez, Universidad Panamericana, Mexico Finance Chair • Petros Stratis, Easy Conferences LTD., Cyprus -------------- next part -------------- An HTML attachment was scrubbed... URL: From s-dgq at thorsten-wissmann.de Sat May 8 22:21:17 2021 From: s-dgq at thorsten-wissmann.de (Thorsten Wissmann) Date: Sat, 8 May 2021 22:21:17 +0200 Subject: [fg-arc] CALCO 2021: Second call for papers Message-ID: <20210508202117.GA29768@dobby> [Apologies if you receive multiple copies of this message] ========================================================= CALL FOR PAPERS: CALCO 2021 9th International Conference on Algebra and Coalgebra in Computer Science 31 Aug - 03 Sep 2021 Salzburg, Austria (if possible) Co-located with MFPS XXXV ========================================================== Paper submission: 3 June 2021 Author notification: 29 July 2021 Final version due: 12 August 2021 ========================================================== Scope ===== Algebraic and coalgebraic methods and tools are a mainstay of computer science. From data types to development techniques and specification formalisms, both theoreticians and practitioners have benefited from the large body of research proposed and implemented since the pioneering works of the 1960s. CALCO aims to bring together researchers with interests in both foundational and applicative uses of algebra and coalgebra in computer science, traditional as well as emerging ones. CALCO is a high-level, bi-annual conference formed by joining the forces and reputations of CMCS (the International Workshop on Coalgebraic Methods in Computer Science) and WADT (the Workshop on Algebraic Development Techniques). Previous CALCO editions took place in Swansea (Wales, 2005), Bergen (Norway, 2007), Udine (Italy, 2009), Winchester (UK, 2011), Warsaw (Poland, 2013), Nijmegen (the Netherlands, 2015), Ljubljana (Slovenia,2017), and London (UK, 2019). The 9th edition will be held in Salzburg, Austria, colocated with MFPS XXXVII. Joint CALCO-MFPS Speaker ======================== * Eugenia Cheng (School of the Art Institute of Chicago) Submission Categories ===================== CALCO invites papers relating to all aspects of algebraic and coalgebraic theory and applications, and distinguishes between four categories of submissions. 1. Regular papers that report * results on theoretical foundations * novel methods and techniques for software development * experiences with the technology transfer to industry. 2. (Co)Algebraic Pearls papers that * present possibly known material in a novel and enlightening way. 3. Early ideas abstracts that lead to * presentations of work in progress * proposals for original venues of research. 4. Tool presentation papers that * report on the features and uses of algebraic/coalgebra-based tools. Topics of Interests =================== All topics relating to algebraic and coalgebraic theory and applications are of interest for CALCO, and among them * Models and logics - Automata and languages - Graph transformations and term rewriting - Modal logics - Proof systems - Relational systems * Algebraic and coalgebraic semantics - Abstract data types - Re-engineering techniques (program transformation) - Semantics of conceptual modelling methods and techniques - Semantics of programming languages * Methodologies in software and systems engineering - Development processes - Method integration - Usage guidelines * Specialised models and calculi - Hybrid, probabilistic, and timed systems - Concurrent, distributed, mobile, cyber-physical, and context-aware computational paradigms - Systems theory and computational models (chemical, biological, etc.) * System specification and verification - Formal testing and quality assurance - Generative programming and model-driven development - Integration of formal specification techniques - Model-driven development - Specification languages, methods, and environments * Tools supporting algebraic and coalgebraic methods for - Advances in automated verification - Model checking - Theorem proving - Testing * String diagrams and network theory - Theory of PROPs and operads - Rewriting problems and higher-dimensional approaches - Automated reasoning with string diagrams - Applications of string diagrams * Quantum computing - Categorical semantics for quantum computing - Quantum calculi and programming languages - Foundational structures for quantum computing - Applications of quantum algebra Submissions Guidelines ====================== All submissions will be handled via EasyChair https://easychair.org/conferences/?conf=calco2021 The format for all submissions is specified by LIPIcs. Please use the latest version of the style http://www.dagstuhl.de/en/publications/lipics/instructions-for-authors/ It is recommended that submissions adhere to that format and length. Submissions that are clearly too long may be rejected immediately. Regular papers ============== Prospective authors are invited to submit full papers in English presenting original research. Submitted papers must be unpublished and not submitted for publication elsewhere. Regular papers should be maximum 15 pages long, excluding references. Proofs omitted due to space limitations may be included in a clearly marked appendix. Each submission will be evaluated by at least three reviewers. Proceedings will be published in the Dagstuhl LIPIcs Leibniz International Proceedings in Informatics series. A special issue of the open access journal Logical Methods in Computer Science (http://www.lmcs-online.org), containing extended versions of selected papers, is planned. (Co)algebraic pearls ==================== This is a new submission category in 2021. Explaining a known idea in a new way may make as strong a contribution as inventing a new idea. We encourage the submission of pearls: elegant essays that illustrate an idea in a beautiful or didactically clever way, perhaps by developing an application. Pearls are typically short and concise and so should not be longer than regular papers in the format specified by LIPIcs. Authors who feel they need a bit more space should consult with the PC co-chairs. The accepted papers will be included in the final proceedings of the conference. Each submission will be evaluated by at least two reviewers. Early ideas abstracts ===================== Submissions should not exceed 2 pages in the format specified by LIPIcs. The volume of selected abstracts will be made available on arXiv and on the CALCO pages. Authors will retain copyright, and are also encouraged to disseminate the results by subsequent publication elsewhere. Each submission will be evaluated by at least two reviewers. Tool papers =========== Submissions should not exceed 5 pages in the format specified by LIPIcs. The accepted tool papers will be included in the final proceedings of the conference. The tools should be made available on the web at the time of submission for download and evaluation. Each submission will be evaluated by at least three reviewers, and one or more of the reviewers will be asked to download and use the tool. Best Paper and Best Presentation Awards ======================================= This edition of CALCO will feature two awards: a Best Paper Award whose recipients will be selected by the PC before the conference and a Best Presentation Award, elected by the participants. Programme Committee =================== * Zena M. Ariola (University of Oregon) * Paolo Baldan (University of Padova) * Rui Soares Barbosa (International Iberian Nanotechnology Laboratory) * Luis Caires (NOVA University Lisbon) * Francisco Durán (University of Málaga) * Brendan Fong (Massachusetts Institute of Technology) * Fabrizio Romano Genovese (University of Pisa) * Jules Hedges (University of Strathclyde, Glasgow) * Thomas Hildebrandt (IT University of Copenhagen) * Peter Jipsen (Chapman University) * Wolfram Kahl (McMaster University) * Marie Kerjean (CNRS -- Laboratoire d'Informatique de Paris Nord) * Jean Krivine (CNRS -- Université de Paris) * Michele Loreti (University of Camerino) * Sonia Marin (University College London) * Manuel A. Martins (University of Aveiro) * Annabelle McIver (Macquarie University) * Hernan Melgratti (University of Buenos Aires) * Koko Muroya (RIMS, Kyoto University) * Elaine Pimentel (UFRN) * Elvinia Riccobene (University of Milan) * Alex Simpson (University of Ljubljana) * David I. Spivak (Massachusetts Institute of Technology) * Christine Tasson (LIP6 - Sorbonne Université) * Tarmo Uustalu (Reykjavik University/Tallinn U. of Technology) * Maaike Zwart (University of Oxford) * Rob van Glabbeek (Data61 - CSIRO) Chairs ====== * Fabio Gadducci (University of Pisa) * Alexandra Silva (University College London) Local Organiser =============== * Ana Sokolova (University of Salzburg) From amedeo.napoli at loria.fr Tue May 11 16:04:40 2021 From: amedeo.napoli at loria.fr (Amedeo Napoli) Date: Tue, 11 May 2021 16:04:40 +0200 (CEST) Subject: [fg-arc] Call for papers FCA4AI 2021 Workshop co-located with IJCAI 2021, August 21 2021 Message-ID: <1266476171.797313.1620741880621.JavaMail.zimbra@loria.fr> -------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- -- FCA4AI (Nineth Edition) -- ``What can FCA do for Artificial Intelligence?'' co-located with IJCAI 2021, Montréal, Canada August 21 2021 http://www.fca4ai.hse.ru/2021 -------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- General Information. The preceding editions of the FCA4AI Workshop (from ECAI 2012 until ECAI 2020) showed that many researchers working in Artificial Intelligence are indeed interested by powerful techniques for classification and data mining provided by Formal Concept Analysis. Again, we have the chance to organize a new edition of the workshop in Montréal, co-located with the IJCAI 2021 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 and association rules) 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 are 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 plain FCA w.r.t. knowledge processing, such as work on pattern structures and relational context analysis, as well as on hybridization with other formalisms. These extensions are aimed at allowing FCA to deal with more complex than just binary data, for solving complex problems in data analysis, classification, knowledge processing... While the capabilities of FCA are extended, new possibilities are arising in the framework of FCA. As usual, the FCA4AI workshop is dedicated to discuss such issues, and in particular: - How can FCA support AI activities in knowledge discovery, knowledge representation and reasoning, machine learning, natural language processing... - By contrast, how the current developments in AI can be integrated within FCA to help AI researchers to solve complex problems in their domain. 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, dimensionality reduction, classification, clustering, and biclustering. - Pattern mining, subgroup discovery, exceptional model mining, interestingness measures, MDL-based approaches in data mining. - Machine learning and hybridization: neural networks, random forests, SVM, and combination of classifiers with FCA. - Knowledge engineering, knowledge representation and reasoning, and ontology engineering. - Scalable and distributed algorithms for FCA and artificial intelligence, and for mining 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 13 2021 Notification to authors: July 10 2021 Final version: July 31 2021 Workshop: August 21 2021 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=fca4ai2021 The workshop proceedings will be published as CEUR proceedings (see preceding editions in CEUR Proceedings Vol-2729, Vol-2529, Vol-2149, Vol-1703, Vol-1430, Vol-1257, Vol-1058, and Vol-939). WORKSHOP CHAIRS: Sergei O. Kuznetsov National Research University Higher Schools of Economics, Moscow, Russia Amedeo Napoli Université de Lorraine, CNRS, Inria, LORIA, Nancy, France Sebastian Rudolph Technische Universität Dresden, Germany -------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- -------------- next part -------------- An HTML attachment was scrubbed... URL: From franconi at inf.unibz.it Fri May 7 15:41:25 2021 From: franconi at inf.unibz.it (=?ISO-8859-1?Q?Enrico_Franconi?=) Date: Fri, 07 May 2021 15:41:25 +0200 Subject: [fg-arc] 13 four-year PhD grants at the Faculty of Computer Science of the Free University of Bozen-Bolzano in Italy Message-ID: <07052021154125943GGh77pfXqRRd0191@smtp.office365.com> 13 four-year grants are offered by the Faculty of Computer Science of the Free University of Bozen-Bolzano in Italy for its PhD programme. Each grant amounts to 68,000 € (i.e., 17,000 euro per year, net after taxes); for research visits abroad the grant increases up to 50%. Additional substantial extra funding (including a personal budget of 2,500 euro per year) is available for participation to international conferences, schools, workshops, research visits. The language of the PhD programme is English. The deadline for applications will be on the 30th of June, 2021. For more info, the call, and applications look at: www.unibz.it/en/faculties/computer-science/phd-computer-science The university is located in one of the most fascinating European regions, the Dolomites. This young university has already established itself as an important research institution, both in Italy and abroad. According to the Times Higher Education World University Rankings 2019, the university is the ninth world’s best small university and it is the second best young Italian University, and its Faculty of Computer Science is ranked among the 150 best Computer Science departments worldwide (in absolute terms) and it is the 21st best Computer Science department worldwide for scientific citations. According to the same ranking, the Faculty of Computer Science of the Free University of Bozen-Bolzano is the third best Italian computer science department, it is the best for international outlook Italian computer science department, and it is the best for citations Italian computer science department. At this time of global uncertainty, you may be wondering whether your application to the PhD programme will be affected. The Free University of Bozen-Bolzano is in constant contact with the competent authorities to monitor the development of the COVID-19 emergency to provide the adequate preventive actions for the university community. All interviews for short-listed candidates will be held online. It is possible that by November 2020, when the PhD programme starts, some restrictive measures may be in place: the university will support new students to go through the initial process as smoothly as possible. In any case, we are committed to continue our research and supervision at the usual high quality level. The KRDB Research Centre for Knowledge and Data of the faculty is widely recognised as one of the internationally leading groups in Artificial Intelligence Knowledge Representation research, with a synergy between foundational and application-oriented research. Among the various available PhD topics (fully described in the call), the KRDB Research Centre is looking for PhD students interested in: 1 Logic-based languages for knowledge representation; 2 Intelligent data access and integration; 3 Semantic technologies; 4 Conceptual and cognitive modelling; 5 Data-aware process modelling, verification, and synthesis; 6 Business process monitoring, mining, and conformance; 7 Temporal aspects of data and knowledge; 8 Extending database technologies; 9 Visual and verbal paradigms for information exploration; 10 Reasoning with uncertain and imprecise knowledge. To get in contact with the KRDB Research Centre and discuss about the opportunities of this call contact prof. Alessandro Artale at artale at inf.unibz.it -------------- next part -------------- An HTML attachment was scrubbed... URL: From david_georg.reichelt at uni-leipzig.de Mon May 10 15:03:08 2021 From: david_georg.reichelt at uni-leipzig.de (David Georg Reichelt) Date: Mon, 10 May 2021 15:03:08 +0200 Subject: [fg-arc] CfP: 12th Symposium on Software Performance 2021 Message-ID: *12th Symposium on Software Performance 2021* *Call for Papers* *Leipzig, November 09-10, 2021* *https://www.performance-symposium.org/2021/* The Symposium on Software Performance (SSP) brings together researchers and practitioners interested in software performance, where "performance" is understood both in a classical sense as "the amount of useful work accomplished by a software system compared to the time and resources used", as well as in a broader sense as "the manner in which or the efficiency with which a software system reacts or fulfills its intended purpose". The scope of SSP spans measurement, modeling, benchmark design, and run-time management. The focus is both on classical performance metrics such as response time, throughput, and resource utilization, as well as on the relationship of such metrics to other software quality attributes including but not limited to scalability, elasticity, (energy) efficiency, dependability (in terms of availability and reliability), resilience, security, and privacy. Topics of interest include the design of metrics, benchmarks, and tools for quantitative system evaluation and analysis, as well as the development of methodologies, techniques and tools for modeling, measurement, load testing, monitoring, profiling, workload characterization, and run-time management of software systems with respect to the mentioned quality attributes. The symposium is organized by the three established research groups Descartes, Kieker, and Palladio; thus this symposium also serves as a joint community meeting. Descartes' focus are techniques and tools for engineering self-aware computing systems designed for maximum dependability and efficiency. Kieker is a well-established tool and approach for monitoring software performance of complex, large, and distributed IT systems. Palladio is a likewise-established tool and approach for modeling architectures of IT systems and for simulating quality properties, such as for example performance or reliability metrics. SSP 2021 is supported by the GI special interest group "Softwaretechnik". *Scope:* Submission are thought for plans, ongoing work, or results on: - Software quality analysis in regard to:   - Performance   - Scalability and elasticity   - Energy efficiency   - Dependability and resilience   - Security and privacy   - Application performance measurement and management - Performance measurement and benchmarking - Performance modeling (modeling, simulation, extraction and calibration) - Automated run-time management of software systems - Automated approaches for performance problem detection and resolution - Performance-related challenges in industrial software systems - Application of Descartes, Kieker, or Palladio in projects *Submission:* We solicit technical papers (5-6 pages) and extended abstracts for industry or experience talks (maximum 700 words). More submission details are published on the website. EasyChair: https://easychair.org/conferences/?conf=ssp2021 *Publication:* Accepted papers will be published in Proceedings of Symposium on Software Performance 2021. Proceedings shall be submitted to CEUR-WS.org for online publication. *Important Dates:* - Apr. 07, 2021    CfP-Publication, Submission opening - Aug. 13, 2021   Abstract submission until 23.59 AoE (for all paper types) - Aug., 27, 2021  Paper submission until 23.59 AoE - Oct. 01, 2021    Acceptance Notification - Oct. 15, 2021    Camery ready papers - Oct. 15, 2021    Program announcement - Oct. 20, 2021    Registration deadline - Nov. 08, 2021    Descartes/Kieker/Palladio developer meetings (participation welcome) - Nov. 09-10, 2021 Technical symposium program *Steering Committee:* - Steffen Becker, Uni Stuttgart - Wilhelm Hasselbring, Kiel University - André van Hoorn, Uni Stuttgart - Samuel Kounev, Uni Würzburg - Ralf Reussner, KIT / FZI - Anne Koziolek, KIT *Program Committee:* - Dusan Okanovic, Novatec Consulting GmbH - Reiner Jung, Kiel University - Henning Schnoor, Kiel University - Holger Knoche, ivv GmbH - Norbert Schmitt, University of Würzburg - Johannes Grohmann, University of Würzburg - Sebastian Krach, FZI - Dominik Werle, KIT - Robert Heinrich, KIT - Holger Eichelberger, University of Hildesheim - Johannes Kroß, Fortiss GmbH - David Georg Reichelt, Leipzig University *Local Organizers:* - David Georg Reichelt, Leipzig University - Richard Müller, Leipzig University *Contact:* David Georg Reichelt, Leipzig University, University Computing Centre, +49 341 97 33300, david_georg.reichelt at uni-leipzig.de -------------- next part -------------- An HTML attachment was scrubbed... URL: From chisvasileandrei at gmail.com Thu May 13 12:38:23 2021 From: chisvasileandrei at gmail.com (Andrei Chis) Date: Thu, 13 May 2021 12:38:23 +0200 Subject: [fg-arc] CFP: SLE 2021 - 14th ACM SIGPLAN International Conference on Software Language Engineering Message-ID: ------------------------------------------------------------------------ 14th ACM SIGPLAN International Conference on Software Language Engineering (SLE 2021) October 17-19, 2021 Chicago, Illinois https://conf.researchr.org/home/sle-2021 http://www.sleconf.org/2021 Follow us on twitter: https://twitter.com/sleconf ------------------------------------------------------------------------ We are pleased to invite you to submit papers to the 14th ACM SIGPLAN International Conference on Software Language Engineering (SLE 2021), held in conjunction with SPLASH, GPCE and SAS 2021. Based on the future developments the conference will be hosted in Chicago, Illinois, United States on October 17-19, 2021 or will be held as a virtual event. --------------------------- Scope --------------------------- The ACM SIGPLAN International Conference on Software Language Engineering (SLE) is devoted to the principles of software languages: their design, their implementation, and their evolution. With the ubiquity of computers, software has become the dominating intellectual asset of our time. In turn, this software depends on software languages, namely the languages it is written in, the languages used to describe its environment, and the languages driving its development process. Given that everything depends on software and that software depends on software languages, it seems fair to say that for many years to come, everything will depend on software languages. Software language engineering (SLE) is the discipline of engineering languages and their tools required for the creation of software. It abstracts from the differences between programming languages, modelling languages, and other software languages, and emphasizes the engineering facet of the creation of such languages, that is, the establishment of the scientific methods and practices that enable the best results. While SLE is certainly driven by its metacircular character (software languages are engineered using software languages), SLE is not self-satisfying: its scope extends to the engineering of languages for all and everything. Like its predecessors, the 14th edition of the SLE conference, SLE 2021, will bring together researchers from different areas united by their common interest in the creation, capture, and tooling of software languages. It overlaps with traditional conferences on the design and implementation of programming languages, model-driven engineering, and compiler construction, and emphasizes the fusion of their communities. To foster the latter, SLE traditionally fills a two-day program with a single track, with the only temporal overlap occurring between co-located events. --------------------------- Topics of Interest --------------------------- SLE 2021 solicits high-quality contributions in areas ranging from theoretical and conceptual contributions, to tools, techniques, and frameworks in the domain of software language engineering. Broadly speaking, SLE covers software language engineering rather than engineering a specific software language. Topics of interest include, but are not limited to: * Software Language Design and Implementation - Approaches to and methods for language design - Static semantics (e.g., design rules, well-formedness constraints) - Techniques for specifying behavioral / executable semantics - Generative approaches (incl. code synthesis, compilation) - Meta-languages, meta-tools, language workbenches * Software Language Validation - Verification and formal methods for languages - Testing techniques for languages - Simulation techniques for languages * Software Language Integration and Composition - Coordination of heterogeneous languages and tools - Mappings between languages (incl. transformation languages) - Traceability between languages - Deployment of languages to different platforms * Software Language Maintenance - Software language reuse - Language evolution - Language families and variability * Domain-specific approaches for any aspects of SLE (design, implementation, validation, maintenance) * Empirical evaluation and experience reports of language engineering tools - User studies evaluating usability - Performance benchmarks - Industrial applications --------------------------- Important Dates --------------------------- All dates are Anywhere on Earth. * Mon 5 Jul 2021 - Abstract Submissions * Fri 9 Jul 2021 - Paper Submissions * Wed 1 Sep 2021 - Review Notification * Wed-Fri 1-3 Sep 2021 - Author Response Period * Mon 13 Sep 2021 - Notification * Wed 15 Sept 2021 - Artifact Submissions * Tue 28 Sep 2021 - Artifact Kick-the-tires Author Response * Tue 12 Oct 2021 - Artifact Notification * Sun-Tue 17-19 Oct 2021 - SLE Conference --------------------------- Types of Submissions --------------------------- SLE 2021 solicits three types of papers: * Research papers These are "traditional" papers detailing research contributions to SLE. These papers have a limit of 12 pages, and may optionally include 8 further pages of bibliography/appendices * Tool papers These are papers which focus on the tooling aspects which are often forgotten or neglected in research papers. A good tool paper focuses on practical insights that are likely to be useful to other implementers or users in the future. Any of the SLE topics of interest are appropriate areas for tool demonstrations. Submissions must not exceed 5 pages and may optionally include 1 further page of bibliography / appendices. They may optionally come with an appendix with a demo outline / screenshots and/or a short video/screencast illustrating the tool. The title of a Tool paper must start with "Tool Demo:". *New ideas / vision papers These are papers on forward-looking, innovative research in software language engineering. Our aim here is to accelerate the exposure of the software language engineering community to early yet potentially ground-breaking research results, or to techniques and perspectives that challenge the status quo in the discipline. New ideas / vision papers must not exceed 5 pages, and may optionally include 1 further page of bibliography / appendices. The title of a new ideas / vision papers must start with "New Ideas:" or "Vision:". --------------------------- Artifact Evaluation --------------------------- For the sixth year, SLE will use an evaluation process for assessing the quality of the artifacts on which papers are based to foster the culture of experimental reproducibility. Authors of accepted papers are invited to submit artifacts. For more information, please have a look at the Artifact Evaluation page (http://www.sleconf.org/2021/ArtifactEvaluation.html). --------------------------- Submission --------------------------- Submissions have to use the ACM SIGPLAN Conference Format “acmart” (http://sigplan.org/Resources/Author/#acmart-format); please make sure that you always use the latest ACM SIGPLAN acmart LaTeX template(https://www.acm.org/binaries/content/assets/publications/consolidated-tex-template/acmart-master.zip), and that the document class definition is \documentclass[sigplan,anonymous,review]{acmart}. Do not make any changes to this format! Ensure that your submission is legible when printed on a black and white printer. In particular, please check that colors remain distinct and font sizes in figures and tables are legible. To increase fairness in reviewing, a double-blind review process has become standard across SIGPLAN conferences. In this line, SLE will follow the double-blind process. Author names and institutions should be omitted from submitted papers, and references to the authors’ own related work should be in the third person. No other changes are necessary, and authors will not be penalized if reviewers are able to infer their identities in implicit ways. All submissions must be in PDF format. Concurrent Submissions: Papers must describe unpublished work that is not currently submitted for publication elsewhere as described by SIGPLAN’s Republication Policy (http://www.sigplan.org/Resources/Policies/Republication). Submitters should also be aware of ACM’s Policy and Procedures on Plagiarism (http://www.acm.org/publications/policies/plagiarism_policy). Submissions that violate these policies will be desk-rejected. Submission Site: Submissions will be accepted at https://sle21.hotcrp.com/ --------------------------- Reviewing Process --------------------------- All submitted papers will be reviewed by at least three members of the program committee. Research papers and tool papers will be evaluated concerning novelty, correctness, significance, readability, and alignment with the conference call. New ideas / vision papers will be evaluated primarily concerning novelty, significance, readability, and alignment with the conference call. For fairness reasons, all submitted papers must conform to the above instructions. Submissions that violate these instructions may be rejected without review, at the discretion of the PC chairs. --------------------------- Awards --------------------------- * Distinguished paper: Award for most notable paper, as determined by the PC chairs based on the recommendations of the programme committee. * Distinguished reviewer: Award for distinguished reviewer, as determined by the PC chairs. * Distinguished artifact: Award for the artifact most significantly exceeding expectations, as determined by the AEC chairs based on the recommendations of the artifact evaluation committee. --------------------------- Publication --------------------------- All accepted papers will be published in the ACM Digital Library. AUTHORS TAKE NOTE: The official publication date is the date the proceedings are made available in the ACM Digital Library. This date may be up to two weeks prior to the first day of the conference. The official publication date affects the deadline for any patent filings related to published work. --------------------------- Organisation --------------------------- Chairs: * General chair: Eelco Visser, Delft University of Technology, Netherlands * Program co-chair: Dimitris Kolovos, University of York, United Kingdom * Program co-chair: Emma Söderberg, Lund University, Sweden * Artefact Evaluation co-chair: Elias Castegren, KTH, Sweden * Artefact Evaluation co-chair: Andreas Wortmann, RWTH Aachen University, Germany Program Committee: Vincent Aranega, University of Lille, France Mikhail Barash, University of Bergen, Norway Melanie Bats, Obeo, France David Broman, KTH, Sweden Shigeru Chiba, University of Tokyo, Japan Alfonso de la Vega, University of York, United Kingdom Juan De Lara, Universidad Autónoma de Madrid, Spain Davide Di Ruscio, University of L'Aquila, Italy Marcos Didonet del Fabro, Universidade Federal do Paraná, Brazil Juergen Dingel, Queen's University, Canada Michalis Famelis, University of Montreal, Canada Bernd Fischer, Stellenbosch University, South Africa Niklas Fors, Lund University, Sweden Antonio Garcia Dominguez, Aston University, United Kingdom Esther Guerra, Universidad Autónoma de Madrid, Spain Görel Hedin, Lund University, Sweden Stuart Hutchesson, Independent, United Kingdom Adrian Johnstone, Royal Holloway, United Kingdom Paddy Krishnan, Oracle Labs, Australia James Noble, Victoria University of Wellington, New Zealand Carlos Olarte, ECT UFRN, Brazil João Saraiva, HASLab / INESC TEC and Universidade do Minho, Portugal Anthony Sloane, Macquarie University, Australia Daniel Strüber, Radboud University , Netherlands Ulyana Tikhonova, CWI, Netherlands Mark van der Brand, TU Eindhoven, Netherlands Juan Manuel Vara, Universidad Rey Juan Carlos, Spain Ran Wei, Dalian University of Technology, China Bahman Zamani, University of Isfahan, Iran --------------------------- Contact --------------------------- For additional information, clarification, or answers to questions, please contact the Program Chairs (Emma Söderberg and Dimitris Kolovos). From ecsa.publicity at gmail.com Tue May 25 21:35:53 2021 From: ecsa.publicity at gmail.com (ECSA Publicity) Date: Tue, 25 May 2021 19:35:53 -0000 Subject: [fg-arc] [Deadlines in 1 month] CFP: 15th European Conference on Software Architecture (ECSA 2021) In-Reply-To: References: Message-ID: ********************************************************** CFP: 15th European Conference on Software Architecture (ECSA 2021) Växjö, Sweden, September 13-17, 2021 (virtual) ********************************************************** Web: https://conf.researchr.org/home/ecsa-2021 Twitter: @ECSACONF The European Conference on Software Architecture (ECSA) is the premier European software architecture conference, providing researchers, practitioners, and educators with a platform to present and discuss the most recent, innovative and significant findings and experiences in the field of software architecture research and practice. The 15th European Conference on Software Architecture (ECSA 2021) will be held from 13 to 17 September 2021. ECSA 2021 was originally planned in the beautiful city of Växjö Sweden. Yet due to COVID-19 and considering what impact this may have on the conference, the ECSA Steering and Organizing Committee decided to organize ECSA 2021 as a virtual event. We would like to express our empathy and condolences with those affected by COVID-19. Our primary concern is that members of our community, and their families and friends, remain safe and well. ***SPECIAL ISSUE*** Selected papers from the conference will be considered for a Special Issue on “Architecting for the Digital Society” in the Journal of Systems and Software (JCR IF 2.450): https://www.journals.elsevier.com/journal-of-systems-and-software/call-for-papers/special-issue-on-architecting-for-the-digital-society ***SCOPE*** ECSA 2021 aims to focus on how Software Architecture can enable the success of the next generation of software-enabled systems to address the challenges of society, such as health, climate, sustainability, mobility, diversity, and future of production. This raises questions such as: What are the current research successes that position Software Architecture at the core of the ability to build and sustain systems of the future? What automation, tools, and techniques do software architects and engineers need in order to ensure architectures developed are adaptable, evolvable, verifiable, and meet their quality and functional requirements? The program committee of 15th European Conference on Software Architecture seeks submissions of original and unpublished high-quality papers describing fundamental and applied research, new methods, approaches, and processes, novel applications, approaches for education and training in software architecture, and experience reports on all topics related to software architecture including, but not limited to: - Foundational principles of software architecture - Linking requirements engineering and software architectures - Quality attributes and software architectures - Architectural design, analysis and evaluation - Architecture description languages and meta-models - Architecture verification and validation - Management of architectural knowledge, decisions, and rationale - Cross-disciplinary efforts and software architecture - Architectures for reconfigurable and self-adaptive systems - Architectural concerns of autonomic systems - Architectural patterns, styles and tactics, reference architectures - Architecture viewpoints and views - Architecture conformance - Software architecture and virtualization - Architecture-centric process models and frameworks - Software architecture and agility, continuous integration, continuous development and DevOps tools - Component-based models and deployment, middleware - Software architecture and system architecture, including software-defined networking - Software tools and environments for architecture-centric software engineering - Cultural, economic, business, social and managerial aspects of software architecture - Software architecture in different areas such as the cloud/edge-cloud, big data, blockchain, cyber-physical systems, IoT, autonomous systems, systems of systems, energy-aware software - Architecture and technical debt - Empirical studies, systematic literature reviews, and mapping studies in software architecture. ***PAPER SUBMISSIONS*** ECSA 2021 seeks three types of papers for the research track: - Research papers (max. 16 pages in LNCS style) which describe novel contributions to software architecture research (submissions should cover work that has a sound scientific/technological basis and has been validated) - Education and training papers (max. 16 pages in LNCS style) that address methodologies, experiences and best practices in teaching and training of software architecture. - Short papers (max. 8 pages in LNCS style) that present novel and preliminary work-in-progress or challenges in a topic of software architecture research or education and training software architectures. Submissions must have a sound basis, but not necessarily be validated in full. All submitted papers will undergo a rigorous peer review process. Papers will be selected based on originality, quality, soundness and relevance. All contributions must be original, not published, accepted or submitted for publication elsewhere. Contravention of this concurrent submission policy will be deemed a serious breach of scientific ethics, and appropriate action will be taken in all such cases. For this aim, plagiarism checking will be conducted and any paper reporting more than 20% of coincidence will be desk-rejected. All contributions must be formatted according to the Springer LNCS style ( http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0). The aforementioned limit of pages includes figures and references. Contributions need to be submitted in pdf format via EasyChair to the ECSA 2021 Research Track. The proceedings will be published by Springer-Verlag as part of the Lecture Notes in Computer Science (LNCS) series. ***IMPORTANT DATES*** Main Conference & Journal First - Notification of papers June 14, 2021 - Camera ready June 29, 2021 Industry Program - Notification of full papers June 14, 2021 - Full papers camera ready June 29, 2021 ---------------------------------------------------------------- - Short papers and presentations submission June 25, 2021 - Notification of short papers and presentations July 16, 2021 - Short papers camera ready July 29, 2021 Tools & Demos, Diversity, Equity and Inclusion & Doctoral Symposium: - Papers submission June 25, 2021 - Notification of papers July 16, 2021 - Camera ready July 29, 2021 Submission dates are 23:59h AoE (anywhere on Earth). Submission dates are strict and no extensions will be granted. ***ORGANIZERS*** - General Co-Chair, Raffaela Mirandola, Politecnico di Milano, Italy - General Co-Chair, Danny Weyns, KU Leuven, Belgium and Linnaeus University, Sweden - Program Co-Chair, Stefan Biffl, Technische Universität Wien, Austria - Program Co-Chair, Elena Navarro, University of Castilla‐La Mancha, Spain - Industrial Co-Chair, Marjan Sirjani, Malardalen University, Sweden - Industrial Co-Chair, Welf Löwe, Linnaeus University, Sweden - Workshop & Tutorial Co-Chair, Patrizia Scandurra, University of Bergamo, Italy - Workshop & Tutorial Co-Chair, Matthias Galster, University of Canterbury, New Zealand - Tool Demos Co-Chair, Romina Spalazzese, Malmö University, Sweden - Tool Demos Co-Chair, Ilias Gerostathopoulos, Vrije Universiteit Amsterdam, Netherlands - DE&I Co-Chair, Ingrid Nunes, Universidade Federal do Rio Grande do Sul (UFRGS), Brazil - DE&I Co-Chair, Thomas Vogel, Humboldt-Universität zu Berlin, Germany - Doctoral Symposium Co-Chair, Genaina Rodrigues, University of Brasilia, Brazil - Doctoral Symposium Co-Chair, Radu Calinescu, University of York, United Kingdom - Journal First Chair, Tomi Männistö, University of Helsinki, Finland - Proceeding Chair, Robert Heinrich, Karlsruhe Institute of Technology (KIT), Germany - Publicity Co-Chair, Aurora Macías, University of Castilla-La Mancha, Spain - Publicity Co-Chair, Jürgen Musil, TU Wien, Austria - Local Chair, Diana Unander, Linnaeus University, Sweden - Virtualization Co-Chair, Mauro Caporuscio, Linnaeus University, Sweden - Virtualization Co-Chair, Romain Christian Herault, Linnaeus University, Sweden - Web Chair, Mirko D’Angelo, Ericsson Research, Sweden -------------- next part -------------- An HTML attachment was scrubbed... URL: From miguel-areias at dcc.fc.up.pt Fri May 21 17:22:46 2021 From: miguel-areias at dcc.fc.up.pt (Miguel Areias) Date: Fri, 21 May 2021 15:22:46 -0000 Subject: [fg-arc] CFP - 17th Doctoral Consortium (DC) on Logic Programming (ICLP-DC 2021) Message-ID: <7e47e1ac-deaf-f71e-3614-af8a901f0ef1@dcc.fc.up.pt> =========================================================================                           CALL FOR PAPERS      ICLP DC 2021 - 17th Doctoral Consortium (DC) on Logic Programming ========================================================================= The 17th Doctoral Consortium (DC) on Logic Programming provides students with the opportunity to present and discuss their research directions, and to obtain feedback from both peers and experts in the field. The preliminary website of the DC can be found at: https://sites.google.com/view/iclp-dc-2021/iclp-2021-doctoral-consortium The DC will take place during the 37th International Conference on Logic Programming (ICLP) https://iclp2021.dcc.fc.up.pt (September 20-27, 2021), as a fully virtual event. The best paper from the DC will be given the opportunity to make a presentation in a session of the main ICLP conference. Important Dates *************** Paper submission: July 15, 2021 Notification: August 01, 2021 Camera-ready copy: August 10, 2021 DC presentations: TBA (fully virtual event) DC students are highly recommended to attend the Autumn School on Logic Programming and Constraint Programming (https://sites.google.com/view/iclp-dc-2021/autumn-school-on-logic-programming). Audience ******** The DC is designed for students currently enrolled in a Ph.D. program, though we are also open to exceptions (e.g., students currently in a Master's program and interested in doctoral studies). Students at any stage in their doctoral studies are encouraged to apply for participation in the DC. Applicants are expected to conduct research in areas related to logic and constraint programming; topics of interest include (but are not limited 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. Submissions by students who have presented their work at previous ICLP DC editions are allowed, but should occur only if there are substantial changes or improvements to the student's work. The DC offers participants a convenient, more informal way to interact with established researchers and fellow students, through presentations, question-answer sessions, panel discussions, and invited presentations. The Doctoral Consortium will also provide the possibility to reflect - through short activities, information sessions, and discussions - on the process and lessons of research and life in academia. Each participant will give a short, critiqued, research presentation. Discussants *********** Renowned experts and researchers in the fields of logic and constraint programming will join in evaluating submissions and will participate in the DC, providing valuable feedback to DC participants. Goals ***** ** To provide doctoral students working in the fields of logic and    constraint programming with a friendly and open forum to present    their research ideas, listen to ongoing work from peer students,    and receive constructive feedback. ** To provide students with relevant information about important    issues for doctoral candidates and future academics. ** To develop a supportive community of scholars and a spirit of    collaborative research. ** To support a new generation of researchers with information and    advice on academic, research, industrial, and non-traditional    career paths. Submission Details ****************** Submissions of the research summary must be made in EPTCS format (http://info.eptcs.org/) and submitted via EasyChair. All papers must be written in English and should be between 5 and 10 pages. For all accepted DC papers, the student is required to attend the DC program and give a presentation during the DC. A program committee consisting of experts in various areas related to logic and constraint programming reviews the submissions. Papers are reviewed by at least two, and usually three, referees.  The submission package should consist of the research summary in the format mentioned above, a short vita or cover letter of the applicant, a letter of recommendation from applicant's faculty advisor, and one paragraph statement outlining how the school will benefit the applicant. All material is to be submitted electronically, in PDF format on the Easychair system. Easychair link: https://easychair.org/conferences/?conf=iclp2021 (Doctoral Consortium track) Research summary (make sure to include your complete name, address, and affiliation): The body of your research summary (no more than 10 pages, but 5 is fine as well!) should provide a clear overview of your research, its potential impact, and its current status. You are encouraged to include the following sections: ** Introduction and problem description ** Background and overview of the existing literature ** Goal of the research ** Current status of the research ** Preliminary results accomplished (if any) ** Open issues and expected achievements ** Bibliographical references Review Criteria *************** The DC program committee will select participants based on their anticipated contribution to the DC objectives. Participants typically have settled on their thesis directions and have their research proposal accepted by their thesis committee. Students will be selected based on clarity and completeness of their submission package, relevance of their research area w.r.t. the focus of ICLP, stage of research, recommendation letter, and evidence of promise towards a successful career in research and academia, such as published papers or technical reports. Registration ************ Registration is part of the ICLP 2021 registration. Registration costs for ICLP will be lower than usual since it is virtual this year. We aim to find sponsoring to cover the registration cost of students participating in the DC, but this still has to be confirmed. Program co-chairs ***************** Bart Bogaerts, Vrije Universiteit Brussel Carmine Dodaro, University of Calabria Program Committee ***************** Daniela Inclezan, Miami University OH Johannes Fichte, TU Dresden Fabio Fioravanti, University of Chieti-Pescara Gregory Gelfond, University of Nebraska at Omaha Zeynep G. Saribatur, Vienna University of Technology Frank Valencia, LIX, Ecole Polytechnique Matthias Van der Hallen, KU Leuven Yi Wang, Arizona State University Jessica Zangari, University of Calabria From miguel-areias at dcc.fc.up.pt Wed May 26 20:49:34 2021 From: miguel-areias at dcc.fc.up.pt (Miguel Areias) Date: Wed, 26 May 2021 19:49:34 +0100 Subject: [fg-arc] Call For Short Papers - 37th International Conference on Logic Programming (ICLP 2021) Message-ID: <3c96a7ae-62a0-6ed8-f726-05b940dd2c73@dcc.fc.up.pt> =========================================================================                           CALL FOR SHORT PAPERS     The 37th International Conference on Logic Programming (ICLP 2021) ========================================================================= We are pleased to announce our distinguished invited speakers. ** William W. Cohen, Google AI ** John Hooker, CMU ** Phokion Kolaitis, UC Santa Cruz and IBM Almaden ** Stuart Russell, UC Berkeley ** Jeffrey Ullman, Stanford University ========================================================================= Contributions are sought in all areas of logic programming, including but not restricted to: ** Foundations: Semantics, Formalisms, Nonmonotonic reasoning,    Knowledge representation. ** Languages issues: Concurrency, Objects, Coordination, Mobility,    Higher order, Types, Modes, Assertions, Modules, Meta-programming,    Logic-based domain-specific languages, Programming techniques. ** Programming support: Program analysis, Transformation, Validation,    Verification, Debugging, Profiling, Testing, Execution    visualization. ** Implementation: Compilation, Virtual machines, Memory management,    Parallel/distributed execution, Constraint handling rules, Tabling,    Foreign interfaces, User interfaces. ** Related Paradigms and Synergies: Inductive and coinductive logic    programming, Constraint logic programming, Answer set programming,    Interaction with SAT, SMT and CSP solvers, Theorem proving,    Argumentation, Probabilistic programming, Machine learning. ** Applications: Databases, Big data, Data integration and federation,    Software engineering, Natural language processing, Web and semantic    web, Agents, Artificial intelligence, Computational life sciences,    Cybersecurity, Robotics, Education. Important Dates *************** ** Short Paper Submission: July 4, 2021 ** Notification: July 30, 2021 ** Camera-ready copy due: August 10, 2021 ** Conference: September 20--27, 2021 Submission Details ****************** Expected submissions must follow the instructions: ** Short papers (7 pages in EPTCS format (http://info.eptcs.org/),    including references) can describe published research.    The accepted short papers that describe original and previously    unpublished work will be published as technical communications,    along with the selected ICLP technical communications papers.    The accepted short papers that describe published research will be    made available at the conference webpage, with the permission of    the authors. All submissions must be written in English. Accepted technical communications will be presented during the conference. Authors of accepted technical communications 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. Submissions will be done via EasyChair. The submission Web page for ICLP2021 is https://easychair.org/conferences/?conf=iclp2021 More details ************ https://iclp2021.dcc.fc.up.pt Any additional question can be directed towards ICLP Chairs: iclp2021 at easychair.org ========================================================================= From s-dgq at thorsten-wissmann.de Sat May 29 16:20:41 2021 From: s-dgq at thorsten-wissmann.de (Thorsten Wissmann) Date: Sat, 29 May 2021 16:20:41 +0200 Subject: [fg-arc] CALCO 2021: Deadline extension and invited speakers Message-ID: <20210529142041.GA3479@dobby> [Apologies if you receive multiple copies of this message] ========================================================= CALL FOR PAPERS: CALCO 2021 9th International Conference on Algebra and Coalgebra in Computer Science 31 Aug - 03 Sep 2021 Salzburg, Austria (if possible) Co-located with MFPS XXXV ========================================================== Paper submission: 10 June 2021 AoE (NEW) Author notification: 29 July 2021 Final version due: 12 August 2021 ========================================================== Scope ===== Algebraic and coalgebraic methods and tools are a mainstay of computer science. From data types to development techniques and specification formalisms, both theoreticians and practitioners have benefited from the large body of research proposed and implemented since the pioneering works of the 1960s. CALCO aims to bring together researchers with interests in both foundational and applicative uses of algebra and coalgebra in computer science, traditional as well as emerging ones. CALCO is a high-level, bi-annual conference formed by joining the forces and reputations of CMCS (the International Workshop on Coalgebraic Methods in Computer Science) and WADT (the Workshop on Algebraic Development Techniques). Previous CALCO editions took place in Swansea (Wales, 2005), Bergen (Norway, 2007), Udine (Italy, 2009), Winchester (UK, 2011), Warsaw (Poland, 2013), Nijmegen (the Netherlands, 2015), Ljubljana (Slovenia,2017), and London (UK, 2019). The 9th edition will be held in Salzburg, Austria, co-located with MFPS XXXVII. Joint CALCO-MFPS Invited Speaker ================================ * Eugenia Cheng (School of the Art Institute of Chicago) CALCO Invited Speakers ====================== * Valeria De Paiva (Topos Institute, Berkeley) * Holger Giese (Hasso-Plattner Institute, Potsdam) * Viktor Vafeiadis (Max Plank Institute, Kaiserslautern) Joint CALCO-MFPS Special Session on Termination Analysis and Synthesis ====================================================================== * Azadeh Farzan (University of Toronto) Submission Categories ===================== CALCO invites papers relating to all aspects of algebraic and coalgebraic theory and applications, and distinguishes between four categories of submissions. 1. Regular papers that report * results on theoretical foundations * novel methods and techniques for software development * experiences with the technology transfer to industry. 2. (Co)Algebraic Pearls papers that * present possibly known material in a novel and enlightening way. 3. Early ideas abstracts that lead to * presentations of work in progress * proposals for original venues of research. 4. Tool presentation papers that * report on the features and uses of algebraic/coalgebra-based tools. Topics of Interests =================== All topics relating to algebraic and coalgebraic theory and applications are of interest for CALCO, and among them * Models and logics - Automata and languages - Graph transformations and term rewriting - Modal logics - Proof systems - Relational systems * Algebraic and coalgebraic semantics - Abstract data types - Re-engineering techniques (program transformation) - Semantics of conceptual modelling methods and techniques - Semantics of programming languages * Methodologies in software and systems engineering - Development processes - Method integration - Usage guidelines * Specialised models and calculi - Hybrid, probabilistic, and timed systems - Concurrent, distributed, mobile, cyber-physical, and context-aware computational paradigms - Systems theory and computational models (chemical, biological, etc.) * System specification and verification - Formal testing and quality assurance - Generative programming and model-driven development - Integration of formal specification techniques - Model-driven development - Specification languages, methods, and environments * Tools supporting algebraic and coalgebraic methods for - Advances in automated verification - Model checking - Theorem proving - Testing * String diagrams and network theory - Theory of PROPs and operads - Rewriting problems and higher-dimensional approaches - Automated reasoning with string diagrams - Applications of string diagrams * Quantum computing - Categorical semantics for quantum computing - Quantum calculi and programming languages - Foundational structures for quantum computing - Applications of quantum algebra Submissions Guidelines ====================== All submissions will be handled via EasyChair https://easychair.org/conferences/?conf=calco2021 The format for all submissions is specified by LIPIcs. Please use the latest version of the style http://www.dagstuhl.de/en/publications/lipics/instructions-for-authors/ It is recommended that submissions adhere to that format and length. Submissions that are clearly too long may be rejected immediately. Regular papers ============== Prospective authors are invited to submit full papers in English presenting original research. Submitted papers must be unpublished and not submitted for publication elsewhere. Regular papers should be maximum 15 pages long, excluding references. Proofs omitted due to space limitations may be included in a clearly marked appendix. Each submission will be evaluated by at least three reviewers. Proceedings will be published in the Dagstuhl LIPIcs Leibniz International Proceedings in Informatics series. A special issue of the open access journal Logical Methods in Computer Science (http://www.lmcs-online.org) will contain the extended versions of selected papers. (Co)algebraic pearls ==================== This is a new submission category in 2021. Explaining a known idea in a new way may make as strong a contribution as inventing a new idea. We encourage the submission of pearls: elegant essays that illustrate an idea in a beautiful or didactically clever way, perhaps by developing an application. Pearls are typically short and concise and so should not be longer than regular papers in the format specified by LIPIcs. Authors who feel they need a bit more space should consult with the PC co-chairs. The accepted papers will be included in the final proceedings of the conference. Each submission will be evaluated by at least two reviewers. Early ideas abstracts ===================== Submissions should not exceed 2 pages in the format specified by LIPIcs. The volume of selected abstracts will be made available on arXiv and on the CALCO pages. Authors will retain copyright, and are also encouraged to disseminate the results by subsequent publication elsewhere. Each submission will be evaluated by at least two reviewers. Tool papers =========== Submissions should not exceed 5 pages in the format specified by LIPIcs. The accepted tool papers will be included in the final proceedings of the conference. The tools should be made available on the web at the time of submission for download and evaluation. Each submission will be evaluated by at least three reviewers, and one or more of the reviewers will be asked to download and use the tool. Best Paper and Best Presentation Awards ======================================= This edition of CALCO will feature two awards: a Best Paper Award whose recipients will be selected by the PC before the conference and a Best Presentation Award, elected by the participants. Programme Committee =================== * Zena M. Ariola (University of Oregon) * Paolo Baldan (University of Padova) * Rui Soares Barbosa (International Iberian Nanotechnology Laboratory) * Luis Caires (NOVA University Lisbon) * Francisco Durán (University of Málaga) * Brendan Fong (Massachusetts Institute of Technology) * Fabrizio Romano Genovese (University of Pisa) * Jules Hedges (University of Strathclyde, Glasgow) * Thomas Hildebrandt (IT University of Copenhagen) * Peter Jipsen (Chapman University) * Wolfram Kahl (McMaster University) * Marie Kerjean (CNRS -- Laboratoire d'Informatique de Paris Nord) * Jean Krivine (CNRS -- Université de Paris) * Michele Loreti (University of Camerino) * Sonia Marin (University College London) * Manuel A. Martins (University of Aveiro) * Annabelle McIver (Macquarie University) * Hernan Melgratti (University of Buenos Aires) * Koko Muroya (RIMS, Kyoto University) * Elaine Pimentel (UFRN) * Elvinia Riccobene (University of Milan) * Alex Simpson (University of Ljubljana) * David I. Spivak (Massachusetts Institute of Technology) * Christine Tasson (LIP6 - Sorbonne Université) * Tarmo Uustalu (Reykjavik University/Tallinn U. of Technology) * Maaike Zwart (University of Oxford) * Rob van Glabbeek (Data61 - CSIRO) Chairs ====== * Fabio Gadducci (University of Pisa) * Alexandra Silva (University College London) Local Organiser =============== * Ana Sokolova (University of Salzburg) From miguel-areias at dcc.fc.up.pt Mon May 31 19:36:53 2021 From: miguel-areias at dcc.fc.up.pt (Miguel Areias) Date: Mon, 31 May 2021 18:36:53 +0100 Subject: [fg-arc] CFP - 14th Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP 2021) Message-ID: =========================================================================                           CALL FOR PAPERS             ASPOCP 2021: 14th Workshop on Answer Set Programming and                        Other Computing Paradigms                   https://sites.google.com/site/aspocp2021 =========================================================================    A workshop of 37th International Conference on Logic Programming                        September 20-27, 2021                      (the event will be virtual) ========================================================================= AIMS AND SCOPE ************** Since its introduction in the late 1980s, Answer Set Programming (ASP) has been widely applied to various knowledge-intensive tasks and combinatorial search problems. ASP was found to be closely related to SAT, which led to a new method of computing answer sets using SAT solvers and techniques adapted from SAT. This has been a much studied relationship, and is currently extended towards satisfiability modulo theories (SMT). The relationship of ASP to other computing paradigms, such as constraint satisfaction, quantified Boolean formulas (QBF), Constraint Logic Programming (CLP), first-order logic (FOL), and FO(ID) is also the subject of active research. Consequently, new methods of computing answer sets are being developed based on relationships to these formalisms. Furthermore, the practical applications of ASP also foster work on multi-paradigm problem-solving, and in particular language and solver integration. The most prominent examples in this area currently are the integration of ASP with description logics (in the realm of the Semantic Web) and constraint satisfaction (which recently led to the Constraint Answer Set Programming (CASP) research direction). A large body of general results regarding ASP is available and several efficient ASP solvers have been implemented. However, there are still significant challenges in applying ASP to real life applications, and more interest in relating ASP to other computing paradigms is emerging. This workshop will provide opportunities for researchers to identify these challenges and to exchange ideas for overcoming them. TOPICS Topics of interests include (but are not limited to): ***************************************************** * ASP and classical logic formalisms (SAT/FOL/QBF/SMT/DL). * ASP and constraint programming. * ASP and other logic programming paradigms, e.g., FO(ID). * ASP and other nonmonotonic languages, e.g., action languages. * ASP and external means of computation. * ASP and probabilistic reasoning. * ASP and knowledge compilation. * ASP and machine learning. * New methods of computing answer sets using algorithms or systems of   other paradigms. * Language extensions to ASP. * ASP and multi-agent systems. * ASP and multi-context systems. * Modularity and ASP. * ASP and argumentation. * Multi-paradigm problem solving involving ASP. * Evaluation and comparison of ASP to other paradigms. * ASP and related paradigms in applications. * Hybridizing ASP with procedural approaches. * Enhanced grounding or beyond grounding. SUBMISSIONS *********** The workshop invites two types of submissions: * papers describing original research, * non-original papers already published on formal proceedings or   journals. Original papers must not exceed 13 pages (excluding references) and must be formatted using the Springer LNCS style available here. Authors are requested to clearly specify whether their submission is original or not with a footnote on the first page. Authors are invited to submit their manuscripts in PDF via the EasyChair system at the link: https://easychair.org/conferences/?conf=aspocp2021 IMPORTANT DATES *************** * All dates are 'Anywhere on Earth', namely 23:59 UTC-12. * Abstract registration:      July 1, 2021 * Paper submission:           July 8, 2021 * Notification:               July 31, 2021 * Camera-ready articles due:  August 10, 2021 PROCEEDINGS *********** Authors of all accepted original contributions can opt to publish their work on formal proceedings. Accepted non-original contributions will be given visibility on the conference web site including a link to the original publication, if already published. A selection of extended and revised versions of accepted papers could appear in a special issue. Extended versions of accepted non-original contributions, if not published in a journal yet, might be included in the issue. LOCATION ******** Virtual WORKSHOP CO-CHAIRS ****************** * Jessica Zangari, Department of Mathematics and Computer Science,   University of Calabria, Italy   zangari_AT_mat.unical.it * Markus Hecher, TU Wien, Austria & University of Potsdam, Germany   hecher_AT_dbai.tuwien.ac.at PROGRAM COMMITTEE ***************** TBA =========================================================================